runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201103021629/uns-trendy-0.0004/rand190.cudf.heavy.log.runsolver ./uns-trendy-0.0004 /home/misc2010/data/misc4/heavy//rand190.cudf /home/misc2010/tmp/201103021629/uns-trendy-0.0004/rand190.cudf.heavy.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB

[startup+0 s]
/proc/loadavg: 1.08 1.04 0.84 4/37 7848
/proc/meminfo: memFree=321936/1048576 swapFree=0/0
[pid=7848] ppid=7847 vsize=3016 CPUtime=0.01
/proc/7848/stat : 7848 (runsolver) R 7847 1684 1684 34817 1684 4202560 47 0 0 0 0 1 0 0 25 0 1 0 68415127 3088384 68 1283457024 134512640 134586868 4292771680 18446744073709551615 4159463959 0 0 0 24578 0 0 0 17 0 0 0 0
/proc/7848/statm: 754 68 37 19 0 53 0
Current StackSize limit: 8192 KiB


[startup+0.160265 s]
/proc/loadavg: 1.08 1.04 0.84 4/37 7848
/proc/meminfo: memFree=321936/1048576 swapFree=0/0
[pid=7848] ppid=7847 vsize=1676 CPUtime=0.01
/proc/7848/stat : 7848 (uns-trendy-0.00) S 7847 7848 1684 34817 1684 4202496 216 0 0 0 0 1 0 0 25 0 1 0 68415127 1716224 130 1283457024 134512640 134593992 4289414384 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/7848/statm: 419 130 113 20 0 46 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1676

[startup+0.210282 s]
/proc/loadavg: 1.08 1.04 0.84 4/37 7848
/proc/meminfo: memFree=321936/1048576 swapFree=0/0
[pid=7848] ppid=7847 vsize=1676 CPUtime=0.01
/proc/7848/stat : 7848 (uns-trendy-0.00) S 7847 7848 1684 34817 1684 4202496 216 0 0 0 0 1 0 0 25 0 1 0 68415127 1716224 130 1283457024 134512640 134593992 4289414384 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/7848/statm: 419 130 113 20 0 46 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1676

[startup+0.310297 s]
/proc/loadavg: 1.08 1.04 0.84 4/37 7848
/proc/meminfo: memFree=321936/1048576 swapFree=0/0
[pid=7848] ppid=7847 vsize=1676 CPUtime=0.01
/proc/7848/stat : 7848 (uns-trendy-0.00) S 7847 7848 1684 34817 1684 4202496 216 0 0 0 0 1 0 0 25 0 1 0 68415127 1716224 130 1283457024 134512640 134593992 4289414384 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/7848/statm: 419 130 113 20 0 46 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1676

[startup+0.71036 s]
/proc/loadavg: 1.08 1.04 0.84 4/37 7848
/proc/meminfo: memFree=321936/1048576 swapFree=0/0
[pid=7848] ppid=7847 vsize=1676 CPUtime=0.01
/proc/7848/stat : 7848 (uns-trendy-0.00) S 7847 7848 1684 34817 1684 4202496 216 0 0 0 0 1 0 0 25 0 1 0 68415127 1716224 130 1283457024 134512640 134593992 4289414384 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/7848/statm: 419 130 113 20 0 46 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1676

Solver just ended. Dumping a history of the last processes samples

[startup+0.810388 s]
/proc/loadavg: 1.08 1.04 0.84 4/37 7848
/proc/meminfo: memFree=321936/1048576 swapFree=0/0
[pid=7848] ppid=7847 vsize=1676 CPUtime=0.01
/proc/7848/stat : 7848 (uns-trendy-0.00) S 7847 7848 1684 34817 1684 4202496 216 0 0 0 0 1 0 0 25 0 1 0 68415127 1716224 130 1283457024 134512640 134593992 4289414384 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/7848/statm: 419 130 113 20 0 46 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1676

[startup+1.21045 s]
/proc/loadavg: 1.08 1.04 0.84 2/39 7850
/proc/meminfo: memFree=274788/1048576 swapFree=0/0
[pid=7848] ppid=7847 vsize=1676 CPUtime=0.01
/proc/7848/stat : 7848 (uns-trendy-0.00) S 7847 7848 1684 34817 1684 4202496 216 0 0 0 0 1 0 0 25 0 1 0 68415127 1716224 130 1283457024 134512640 134593992 4289414384 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/7848/statm: 419 130 113 20 0 46 0
[pid=7850] ppid=7848 vsize=58616 CPUtime=1.2
/proc/7850/stat : 7850 (cudfsolver-stat) R 7848 7848 1684 34817 1684 4202496 13236 0 0 0 114 6 0 0 25 0 1 0 68415127 60022784 12905 1283457024 134512640 141746657 4290893312 18446744073709551615 134595703 0 0 0 0 0 0 0 17 0 0 0 0
/proc/7850/statm: 14654 12905 150 1767 0 12864 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 60292

Child status: 139
Real time (s): 1.27054
CPU time (s): 1.28008
CPU user time (s): 1.17607
CPU system time (s): 0.104006
CPU usage (%): 100.751
Max. virtual memory (cumulated for all children) (KiB): 60292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.17607
system time used= 0.104006
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13951
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 20

runsolver used 0 second user time and 0 second system time

The end