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: runsolver -s SIGUSR1 -M 1124 -C 150 -d 10 -w /tmp/misc2012/2012-09-02-17:21/basic/cudf_fumax_bu-0.1/paranoid-size/real/cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.log.runsolver /home/competition/cudf_fumax_bu-0.1/cudf_fumax_bu-0.1 /home/competition/data/real/cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf /tmp/misc2012/2012-09-02-17:21/basic/cudf_fumax_bu-0.1/paranoid-size/real/cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.result -count(removed),-sum(solution,installedsize),-count(changed) 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 150 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 180 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 0.86 0.97 0.95 2/59 22768
/proc/meminfo: memFree=154796/1022884 swapFree=0/0
[pid=22768] ppid=22767 vsize=2148 CPUtime=0
/proc/22768/stat : 22768 (cudf_fumax_bu-0) D 22767 22768 1733 0 -1 4202496 246 0 0 0 0 0 0 0 20 0 1 0 115664519 2199552 168 18446744073709551615 4194304 5895655 140736651309840 140736651305752 5193680 0 0 16781316 16929 0 0 0 17 0 0 0 0 0 0
/proc/22768/statm: 537 168 135 416 0 118 0

[startup+0.195675 s]
/proc/loadavg: 0.86 0.97 0.95 2/59 22768
/proc/meminfo: memFree=154796/1022884 swapFree=0/0
[pid=22768] ppid=22767 vsize=10200 CPUtime=0.17
/proc/22768/stat : 22768 (cudf_fumax_bu-0) R 22767 22768 1733 0 -1 4202496 2287 0 0 0 17 0 0 0 20 0 1 0 115664519 10444800 2209 18446744073709551615 4194304 5895655 140736651309840 140736651305752 4407692 0 0 16781316 16929 0 0 0 17 0 0 0 1 0 0
/proc/22768/statm: 2550 2209 146 416 0 2131 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10200

[startup+0.200362 s]
/proc/loadavg: 0.86 0.97 0.95 2/59 22768
/proc/meminfo: memFree=154796/1022884 swapFree=0/0
[pid=22768] ppid=22767 vsize=10464 CPUtime=0.17
/proc/22768/stat : 22768 (cudf_fumax_bu-0) R 22767 22768 1733 0 -1 4202496 2335 0 0 0 17 0 0 0 20 0 1 0 115664519 10715136 2257 18446744073709551615 4194304 5895655 140736651309840 140736651305752 4410519 0 0 16781316 16929 0 0 0 17 0 0 0 1 0 0
/proc/22768/statm: 2616 2257 146 416 0 2197 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10464

[startup+0.300365 s]
/proc/loadavg: 0.86 0.97 0.95 2/59 22768
/proc/meminfo: memFree=154796/1022884 swapFree=0/0
[pid=22768] ppid=22767 vsize=14556 CPUtime=0.27
/proc/22768/stat : 22768 (cudf_fumax_bu-0) R 22767 22768 1733 0 -1 4202496 3364 0 0 0 26 1 0 0 20 0 1 0 115664519 14905344 3286 18446744073709551615 4194304 5895655 140736651309840 140736651305752 4406668 0 0 16781316 16929 0 0 0 17 0 0 0 1 0 0
/proc/22768/statm: 3639 3286 149 416 0 3220 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 14556

[startup+0.70027 s]
/proc/loadavg: 0.86 0.97 0.95 2/59 22768
/proc/meminfo: memFree=154796/1022884 swapFree=0/0
[pid=22768] ppid=22767 vsize=29620 CPUtime=0.66
/proc/22768/stat : 22768 (cudf_fumax_bu-0) R 22767 22768 1733 0 -1 4202496 7171 0 0 0 62 4 0 0 20 0 1 0 115664519 30330880 7044 18446744073709551615 4194304 5895655 140736651309840 140736651305608 4302147 0 0 16781316 16929 0 0 0 17 0 0 0 2 0 0
/proc/22768/statm: 7405 7044 149 416 0 6986 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 29620

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

[startup+0.800347 s]
/proc/loadavg: 0.86 0.97 0.95 2/59 22768
/proc/meminfo: memFree=154796/1022884 swapFree=0/0
[pid=22768] ppid=22767 vsize=32856 CPUtime=0.76
/proc/22768/stat : 22768 (cudf_fumax_bu-0) R 22767 22768 1733 0 -1 4202496 8045 0 0 0 70 6 0 0 20 0 1 0 115664519 33644544 7869 18446744073709551615 4194304 5895655 140736651309840 140736651305752 4769028 0 0 16781316 16929 0 0 0 17 0 0 0 2 0 0
/proc/22768/statm: 8214 7869 149 416 0 7795 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 32856

Child status: 0
Real time (s): 0.841751
CPU time (s): 0.80805
CPU user time (s): 0.744046
CPU system time (s): 0.064004
CPU usage (%): 95.9963
Max. virtual memory (cumulated for all children) (KiB): 32856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.744046
system time used= 0.064004
maximum resident set size= 31836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8139
page faults= 0
swaps= 0
block input operations= 19040
block output operations= 24
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 98

runsolver used 0.008 second user time and 0.004 second system time

The end