runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2669028-1276433424/watcher-2669028-1276433424 -o /tmp/evaluation-result-2669028-1276433424/solver-2669028-1276433424 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2669028-1276433424.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 26280
/proc/meminfo: memFree=1802376/2059040 swapFree=4136184/4192956
[pid=26280] ppid=26278 vsize=2208 CPUtime=0
/proc/26280/stat : 26280 (pbct) R 26278 26280 25838 0 -1 4202496 256 0 0 0 0 0 0 0 20 0 1 0 18943979 2260992 178 1992294400 134512640 136485738 4290815728 18446744073709551615 135177482 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26280/statm: 552 178 156 482 0 68 0

[startup+0.093038 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 26280
/proc/meminfo: memFree=1802376/2059040 swapFree=4136184/4192956
[pid=26280] ppid=26278 vsize=2340 CPUtime=0.09
/proc/26280/stat : 26280 (pbct) R 26278 26280 25838 0 -1 4202496 305 0 0 0 9 0 0 0 22 0 1 0 18943979 2396160 227 1992294400 134512640 136485738 4290815728 18446744073709551615 135178807 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26280/statm: 585 227 156 482 0 101 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2340

[startup+0.101039 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 26280
/proc/meminfo: memFree=1802376/2059040 swapFree=4136184/4192956
[pid=26280] ppid=26278 vsize=2340 CPUtime=0.09
/proc/26280/stat : 26280 (pbct) R 26278 26280 25838 0 -1 4202496 309 0 0 0 9 0 0 0 22 0 1 0 18943979 2396160 231 1992294400 134512640 136485738 4290815728 18446744073709551615 135350462 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26280/statm: 585 231 156 482 0 101 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2340

[startup+0.301078 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 26280
/proc/meminfo: memFree=1802376/2059040 swapFree=4136184/4192956
[pid=26280] ppid=26278 vsize=2868 CPUtime=0.29
/proc/26280/stat : 26280 (pbct) R 26278 26280 25838 0 -1 4202496 424 0 0 0 29 0 0 0 22 0 1 0 18943979 2936832 346 1992294400 134512640 136485738 4290815728 18446744073709551615 135416615 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26280/statm: 717 346 156 482 0 233 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2868

[startup+0.701156 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 26280
/proc/meminfo: memFree=1802376/2059040 swapFree=4136184/4192956
[pid=26280] ppid=26278 vsize=3788 CPUtime=0.69
/proc/26280/stat : 26280 (pbct) R 26278 26280 25838 0 -1 4202496 686 0 0 0 69 0 0 0 23 0 1 0 18943979 3878912 575 1992294400 134512640 136485738 4290815728 18446744073709551615 135856817 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26280/statm: 947 575 156 482 0 463 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3788

[startup+1.50131 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26281
/proc/meminfo: memFree=1800012/2059040 swapFree=4136184/4192956
[pid=26280] ppid=26278 vsize=5760 CPUtime=1.49
/proc/26280/stat : 26280 (pbct) R 26278 26280 25838 0 -1 4202496 1209 0 0 0 149 0 0 0 25 0 1 0 18943979 5898240 1033 1992294400 134512640 136485738 4290815728 18446744073709551615 135857072 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26280/statm: 1440 1033 156 482 0 956 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5760

[startup+3.10163 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26281
/proc/meminfo: memFree=1797036/2059040 swapFree=4136184/4192956
[pid=26280] ppid=26278 vsize=9440 CPUtime=3.09
/proc/26280/stat : 26280 (pbct) R 26278 26280 25838 0 -1 4202496 2252 0 0 0 308 1 0 0 25 0 1 0 18943979 9666560 1947 1992294400 134512640 136485738 4290815728 18446744073709551615 135411160 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26280/statm: 2360 1947 156 482 0 1876 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9440

[startup+6.30125 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26281
/proc/meminfo: memFree=1777196/2059040 swapFree=4136184/4192956
[pid=26280] ppid=26278 vsize=88880 CPUtime=6.29
/proc/26280/stat : 26280 (pbct) R 26278 26280 25838 0 -1 4202496 23880 0 0 0 619 10 0 0 25 0 1 0 18943979 91013120 20860 1992294400 134512640 136485738 4290815728 18446744073709551615 134742056 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26280/statm: 22220 20861 191 482 0 21736 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 88880

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26281
/proc/meminfo: memFree=1103008/2059040 swapFree=4136184/4192956
[pid=26280] ppid=26278 vsize=752828 CPUtime=12.69
/proc/26280/stat : 26280 (pbct) R 26278 26280 25838 0 -1 4202496 201018 0 0 0 1193 76 0 0 25 0 1 0 18943979 770895872 181244 1992294400 134512640 136485738 4290815728 18446744073709551615 134949585 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26280/statm: 188207 181244 208 482 0 187723 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 752828

[startup+25.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26283
/proc/meminfo: memFree=1043488/2059040 swapFree=4136184/4192956
[pid=26280] ppid=26278 vsize=790388 CPUtime=25.48
/proc/26280/stat : 26280 (pbct) R 26278 26280 25838 0 -1 4202496 211399 0 0 0 2453 95 0 0 25 0 1 0 18943979 809357312 189440 1992294400 134512640 136485738 4290815728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26280/statm: 197597 189440 225 482 0 197113 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 790388

[startup+51.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26283
/proc/meminfo: memFree=1042868/2059040 swapFree=4136184/4192956
[pid=26280] ppid=26278 vsize=791048 CPUtime=51.07
/proc/26280/stat : 26280 (pbct) R 26278 26280 25838 0 -1 4202496 211554 0 0 0 4974 133 0 0 25 0 1 0 18943979 810033152 189595 1992294400 134512640 136485738 4290815728 18446744073709551615 135024897 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26280/statm: 197762 189595 225 482 0 197278 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 791048

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26285
/proc/meminfo: memFree=1042620/2059040 swapFree=4136184/4192956
[pid=26280] ppid=26278 vsize=791316 CPUtime=102.26
/proc/26280/stat : 26280 (pbct) R 26278 26280 25838 0 -1 4202496 211612 0 0 0 10026 200 0 0 25 0 1 0 18943979 810307584 189653 1992294400 134512640 136485738 4290815728 18446744073709551615 134638729 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26280/statm: 197829 189653 225 482 0 197345 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 791316

[startup+162.302 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 26285
/proc/meminfo: memFree=1042496/2059040 swapFree=4136184/4192956
[pid=26280] ppid=26278 vsize=791316 CPUtime=162.24
/proc/26280/stat : 26280 (pbct) R 26278 26280 25838 0 -1 4202496 211642 0 0 0 15949 275 0 0 25 0 1 0 18943979 810307584 189683 1992294400 134512640 136485738 4290815728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26280/statm: 197829 189683 225 482 0 197345 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 791316

[startup+222.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 26287
/proc/meminfo: memFree=1042372/2059040 swapFree=4136184/4192956
[pid=26280] ppid=26278 vsize=791484 CPUtime=222.22
/proc/26280/stat : 26280 (pbct) R 26278 26280 25838 0 -1 4202496 211702 0 0 0 21884 338 0 0 25 0 1 0 18943979 810479616 189743 1992294400 134512640 136485738 4290815728 18446744073709551615 135047024 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26280/statm: 197871 189743 225 482 0 197387 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 791484

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26289
/proc/meminfo: memFree=1042248/2059040 swapFree=4136184/4192956
[pid=26280] ppid=26278 vsize=791748 CPUtime=282.2
/proc/26280/stat : 26280 (pbct) R 26278 26280 25838 0 -1 4202496 211742 0 0 0 27823 397 0 0 25 0 1 0 18943979 810749952 189783 1992294400 134512640 136485738 4290815728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26280/statm: 197937 189783 225 482 0 197453 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 791748

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

[startup+294.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26289
/proc/meminfo: memFree=1042124/2059040 swapFree=4136184/4192956
[pid=26280] ppid=26278 vsize=791880 CPUtime=294.18
/proc/26280/stat : 26280 (pbct) R 26278 26280 25838 0 -1 4202496 211786 0 0 0 29010 408 0 0 25 0 1 0 18943979 810885120 189827 1992294400 134512640 136485738 4290815728 18446744073709551615 135048582 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26280/statm: 197970 189827 225 482 0 197486 0
Current children cumulated CPU time (s) 294.18
Current children cumulated vsize (KiB) 791880

[startup+300.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26289
/proc/meminfo: memFree=1042124/2059040 swapFree=4136184/4192956
[pid=26280] ppid=26278 vsize=791880 CPUtime=300.59
/proc/26280/stat : 26280 (pbct) R 26278 26280 25838 0 -1 4202496 211786 0 0 0 29641 418 0 0 25 0 1 0 18943979 810885120 189827 1992294400 134512640 136485738 4290815728 18446744073709551615 135024568 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26280/statm: 197970 189827 225 482 0 197486 0
Current children cumulated CPU time (s) 300.59
Current children cumulated vsize (KiB) 791880

[startup+303.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26289
/proc/meminfo: memFree=1042124/2059040 swapFree=4136184/4192956
[pid=26280] ppid=26278 vsize=791880 CPUtime=303.78
/proc/26280/stat : 26280 (pbct) R 26278 26280 25838 0 -1 4202496 211786 0 0 0 29958 420 0 0 25 0 1 0 18943979 810885120 189827 1992294400 134512640 136485738 4290815728 18446744073709551615 135039091 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26280/statm: 197970 189827 225 482 0 197486 0
Current children cumulated CPU time (s) 303.78
Current children cumulated vsize (KiB) 791880

[startup+305.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26289
/proc/meminfo: memFree=1054524/2059040 swapFree=4136184/4192956
[pid=26280] ppid=26278 vsize=757520 CPUtime=305.39
/proc/26280/stat : 26280 (pbct) R 26278 26280 25838 0 -1 4202496 212084 0 0 0 30118 421 0 0 25 0 1 0 18943979 775700480 183103 1992294400 134512640 136485738 4290815728 18446744073709551615 134673556 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26280/statm: 189380 183103 247 482 0 188896 0
Current children cumulated CPU time (s) 305.39
Current children cumulated vsize (KiB) 757520

[startup+307.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26289
/proc/meminfo: memFree=1093212/2059040 swapFree=4136184/4192956
[pid=26280] ppid=26278 vsize=731596 CPUtime=306.98
/proc/26280/stat : 26280 (pbct) R 26278 26280 25838 0 -1 4202496 212084 0 0 0 30277 421 0 0 25 0 1 0 18943979 749154304 176925 1992294400 134512640 136485738 4290815728 18446744073709551615 135856849 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26280/statm: 182899 176925 247 482 0 182415 0
Current children cumulated CPU time (s) 306.98
Current children cumulated vsize (KiB) 731596

[startup+307.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26289
/proc/meminfo: memFree=1093212/2059040 swapFree=4136184/4192956
[pid=26280] ppid=26278 vsize=675624 CPUtime=307.38
/proc/26280/stat : 26280 (pbct) R 26278 26280 25838 0 -1 4202496 212084 0 0 0 30317 421 0 0 25 0 1 0 18943979 691838976 168203 1992294400 134512640 136485738 4290815728 18446744073709551615 135839940 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26280/statm: 168906 168203 247 482 0 168422 0
Current children cumulated CPU time (s) 307.38
Current children cumulated vsize (KiB) 675624

[startup+307.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26289
/proc/meminfo: memFree=1093212/2059040 swapFree=4136184/4192956
[pid=26280] ppid=26278 vsize=675624 CPUtime=307.58
/proc/26280/stat : 26280 (pbct) R 26278 26280 25838 0 -1 4202496 212084 0 0 0 30337 421 0 0 25 0 1 0 18943979 691838976 168203 1992294400 134512640 136485738 4290815728 18446744073709551615 135839991 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26280/statm: 168906 168203 247 482 0 168422 0
Current children cumulated CPU time (s) 307.58
Current children cumulated vsize (KiB) 675624

[startup+307.801 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26289
/proc/meminfo: memFree=1093212/2059040 swapFree=4136184/4192956
[pid=26280] ppid=26278 vsize=0 CPUtime=307.68
/proc/26280/stat : 26280 (pbct) R 26278 26280 25838 0 -1 4202500 212085 0 0 0 30346 422 0 0 25 0 1 0 18943979 0 0 1992294400 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/26280/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 307.68
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 307.861
CPU time (s): 307.754
CPU user time (s): 303.468
CPU system time (s): 4.28635
CPU usage (%): 99.9655
Max. virtual memory (cumulated for all children) (KiB): 793560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 303.468
system time used= 4.28635
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212085
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= 1
involuntary context switches= 412

runsolver used 0.572912 second user time and 1.40179 second system time

The end