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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2669041-1276433579/watcher-2669041-1276433579 -o /tmp/evaluation-result-2669041-1276433579/solver-2669041-1276433579 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2669041-1276433579.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.08 1.02 1.00 3/106 25243
/proc/meminfo: memFree=1812488/2059040 swapFree=4136456/4192956
[pid=25243] ppid=25241 vsize=2208 CPUtime=0
/proc/25243/stat : 25243 (pbct) R 25241 25243 23834 0 -1 4202496 254 0 0 0 0 0 0 0 18 0 1 0 18961955 2260992 177 1992294400 134512640 136485738 4294937616 18446744073709551615 135567398 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25243/statm: 552 177 156 482 0 68 0

[startup+0.0289171 s]
/proc/loadavg: 1.08 1.02 1.00 3/106 25243
/proc/meminfo: memFree=1812488/2059040 swapFree=4136456/4192956
[pid=25243] ppid=25241 vsize=2208 CPUtime=0.02
/proc/25243/stat : 25243 (pbct) R 25241 25243 23834 0 -1 4202496 266 0 0 0 2 0 0 0 20 0 1 0 18961955 2260992 189 1992294400 134512640 136485738 4294937616 18446744073709551615 135681291 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25243/statm: 552 189 156 482 0 68 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2208

[startup+0.101925 s]
/proc/loadavg: 1.08 1.02 1.00 3/106 25243
/proc/meminfo: memFree=1812488/2059040 swapFree=4136456/4192956
[pid=25243] ppid=25241 vsize=2340 CPUtime=0.1
/proc/25243/stat : 25243 (pbct) R 25241 25243 23834 0 -1 4202496 308 0 0 0 10 0 0 0 20 0 1 0 18961955 2396160 231 1992294400 134512640 136485738 4294937616 18446744073709551615 134548797 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25243/statm: 585 231 156 482 0 101 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2340

[startup+0.300947 s]
/proc/loadavg: 1.08 1.02 1.00 3/106 25243
/proc/meminfo: memFree=1812488/2059040 swapFree=4136456/4192956
[pid=25243] ppid=25241 vsize=2868 CPUtime=0.3
/proc/25243/stat : 25243 (pbct) R 25241 25243 23834 0 -1 4202496 422 0 0 0 30 0 0 0 20 0 1 0 18961955 2936832 345 1992294400 134512640 136485738 4294937616 18446744073709551615 135844759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25243/statm: 717 345 156 482 0 233 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 2868

[startup+0.700995 s]
/proc/loadavg: 1.08 1.02 1.00 3/106 25243
/proc/meminfo: memFree=1812488/2059040 swapFree=4136456/4192956
[pid=25243] ppid=25241 vsize=3788 CPUtime=0.69
/proc/25243/stat : 25243 (pbct) R 25241 25243 23834 0 -1 4202496 683 0 0 0 69 0 0 0 21 0 1 0 18961955 3878912 573 1992294400 134512640 136485738 4294937616 18446744073709551615 135446978 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25243/statm: 947 573 156 482 0 463 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3788

[startup+1.50109 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 25244
/proc/meminfo: memFree=1810000/2059040 swapFree=4136456/4192956
[pid=25243] ppid=25241 vsize=5760 CPUtime=1.49
/proc/25243/stat : 25243 (pbct) R 25241 25243 23834 0 -1 4202496 1205 0 0 0 149 0 0 0 23 0 1 0 18961955 5898240 1030 1992294400 134512640 136485738 4294937616 18446744073709551615 135844759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25243/statm: 1440 1030 156 482 0 956 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5760

[startup+3.10028 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 25244
/proc/meminfo: memFree=1806528/2059040 swapFree=4136456/4192956
[pid=25243] ppid=25241 vsize=9440 CPUtime=3.09
/proc/25243/stat : 25243 (pbct) R 25241 25243 23834 0 -1 4202496 2245 0 0 0 308 1 0 0 25 0 1 0 18961955 9666560 1941 1992294400 134512640 136485738 4294937616 18446744073709551615 135415794 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25243/statm: 2360 1941 156 482 0 1876 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9440

[startup+6.30065 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 25244
/proc/meminfo: memFree=1787680/2059040 swapFree=4136456/4192956
[pid=25243] ppid=25241 vsize=88200 CPUtime=6.29
/proc/25243/stat : 25243 (pbct) R 25241 25243 23834 0 -1 4202496 23639 0 0 0 619 10 0 0 25 0 1 0 18961955 90316800 20624 1992294400 134512640 136485738 4294937616 18446744073709551615 135856898 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25243/statm: 22050 20625 191 482 0 21566 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 88200

[startup+12.7004 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 25244
/proc/meminfo: memFree=1113244/2059040 swapFree=4136456/4192956
[pid=25243] ppid=25241 vsize=752836 CPUtime=12.69
/proc/25243/stat : 25243 (pbct) R 25241 25243 23834 0 -1 4202496 200980 0 0 0 1188 81 0 0 25 0 1 0 18961955 770904064 181214 1992294400 134512640 136485738 4294937616 18446744073709551615 135680451 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25243/statm: 188209 181214 208 482 0 187725 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 752836

[startup+25.5009 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 25244
/proc/meminfo: memFree=1053848/2059040 swapFree=4136456/4192956
[pid=25243] ppid=25241 vsize=790496 CPUtime=25.49
/proc/25243/stat : 25243 (pbct) R 25241 25243 23834 0 -1 4202496 211343 0 0 0 2447 102 0 0 25 0 1 0 18961955 809467904 189392 1992294400 134512640 136485738 4294937616 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25243/statm: 197624 189392 225 482 0 197140 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 790496

[startup+51.1009 s]
/proc/loadavg: 1.03 1.02 1.00 2/107 25244
/proc/meminfo: memFree=1053228/2059040 swapFree=4136456/4192956
[pid=25243] ppid=25241 vsize=791024 CPUtime=51.07
/proc/25243/stat : 25243 (pbct) R 25241 25243 23834 0 -1 4202496 211498 0 0 0 4973 134 0 0 25 0 1 0 18961955 810008576 189547 1992294400 134512640 136485738 4294937616 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25243/statm: 197756 189547 225 482 0 197272 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 791024

[startup+102.309 s]
/proc/loadavg: 1.05 1.03 1.00 2/107 25246
/proc/meminfo: memFree=1053104/2059040 swapFree=4136456/4192956
[pid=25243] ppid=25241 vsize=791288 CPUtime=102.27
/proc/25243/stat : 25243 (pbct) R 25241 25243 23834 0 -1 4202496 211551 0 0 0 10028 199 0 0 25 0 1 0 18961955 810278912 189600 1992294400 134512640 136485738 4294937616 18446744073709551615 135024859 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25243/statm: 197822 189600 225 482 0 197338 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 791288

[startup+162.301 s]
/proc/loadavg: 1.13 1.05 1.01 2/107 25248
/proc/meminfo: memFree=1052856/2059040 swapFree=4136456/4192956
[pid=25243] ppid=25241 vsize=791288 CPUtime=162.24
/proc/25243/stat : 25243 (pbct) R 25241 25243 23834 0 -1 4202496 211587 0 0 0 15957 267 0 0 25 0 1 0 18961955 810278912 189636 1992294400 134512640 136485738 4294937616 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25243/statm: 197822 189636 225 482 0 197338 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 791288

[startup+222.301 s]
/proc/loadavg: 1.12 1.05 1.00 2/107 25250
/proc/meminfo: memFree=1052608/2059040 swapFree=4136456/4192956
[pid=25243] ppid=25241 vsize=791556 CPUtime=222.22
/proc/25243/stat : 25243 (pbct) R 25241 25243 23834 0 -1 4202496 211665 0 0 0 21884 338 0 0 25 0 1 0 18961955 810553344 189714 1992294400 134512640 136485738 4294937616 18446744073709551615 135047024 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25243/statm: 197889 189714 225 482 0 197405 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 791556

[startup+282.301 s]
/proc/loadavg: 1.11 1.06 1.00 2/107 25252
/proc/meminfo: memFree=1052484/2059040 swapFree=4136456/4192956
[pid=25243] ppid=25241 vsize=791688 CPUtime=282.2
/proc/25243/stat : 25243 (pbct) R 25241 25243 23834 0 -1 4202496 211714 0 0 0 27821 399 0 0 25 0 1 0 18961955 810688512 189763 1992294400 134512640 136485738 4294937616 18446744073709551615 135037862 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25243/statm: 197922 189763 225 482 0 197438 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 791688

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

[startup+294.301 s]
/proc/loadavg: 1.09 1.06 1.00 2/107 25252
/proc/meminfo: memFree=1052236/2059040 swapFree=4136456/4192956
[pid=25243] ppid=25241 vsize=791952 CPUtime=294.2
/proc/25243/stat : 25243 (pbct) R 25241 25243 23834 0 -1 4202496 211769 0 0 0 29010 410 0 0 25 0 1 0 18961955 810958848 189818 1992294400 134512640 136485738 4294937616 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25243/statm: 197988 189818 225 482 0 197504 0
Current children cumulated CPU time (s) 294.2
Current children cumulated vsize (KiB) 791952

[startup+300.701 s]
/proc/loadavg: 1.08 1.06 1.00 2/107 25252
/proc/meminfo: memFree=1052112/2059040 swapFree=4136456/4192956
[pid=25243] ppid=25241 vsize=791952 CPUtime=300.59
/proc/25243/stat : 25243 (pbct) R 25241 25243 23834 0 -1 4202496 211769 0 0 0 29642 417 0 0 25 0 1 0 18961955 810958848 189818 1992294400 134512640 136485738 4294937616 18446744073709551615 135045802 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25243/statm: 197988 189818 225 482 0 197504 0
Current children cumulated CPU time (s) 300.59
Current children cumulated vsize (KiB) 791952

[startup+303.901 s]
/proc/loadavg: 1.08 1.05 1.00 2/107 25252
/proc/meminfo: memFree=1079020/2059040 swapFree=4136456/4192956
[pid=25243] ppid=25241 vsize=731020 CPUtime=303.8
/proc/25243/stat : 25243 (pbct) R 25241 25243 23834 0 -1 4202496 212006 0 0 0 29960 420 0 0 25 0 1 0 18961955 748564480 176786 1992294400 134512640 136485738 4294937616 18446744073709551615 135856849 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25243/statm: 182755 176786 247 482 0 182271 0
Current children cumulated CPU time (s) 303.8
Current children cumulated vsize (KiB) 731020

[startup+304.709 s]
/proc/loadavg: 1.08 1.05 1.00 2/107 25252
/proc/meminfo: memFree=1103820/2059040 swapFree=4136456/4192956
[pid=25243] ppid=25241 vsize=731020 CPUtime=304.61
/proc/25243/stat : 25243 (pbct) R 25241 25243 23834 0 -1 4202496 212006 0 0 0 30041 420 0 0 25 0 1 0 18961955 748564480 176786 1992294400 134512640 136485738 4294937616 18446744073709551615 135839940 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25243/statm: 182755 176786 247 482 0 182271 0
Current children cumulated CPU time (s) 304.61
Current children cumulated vsize (KiB) 731020

[startup+305.501 s]
/proc/loadavg: 1.08 1.05 1.00 2/107 25252
/proc/meminfo: memFree=1103820/2059040 swapFree=4136456/4192956
[pid=25243] ppid=25241 vsize=675048 CPUtime=305.39
/proc/25243/stat : 25243 (pbct) R 25241 25243 23834 0 -1 4202496 212006 0 0 0 30119 420 0 0 25 0 1 0 18961955 691249152 168064 1992294400 134512640 136485738 4294937616 18446744073709551615 135839931 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25243/statm: 168762 168064 247 482 0 168278 0
Current children cumulated CPU time (s) 305.39
Current children cumulated vsize (KiB) 675048

[startup+305.701 s]
/proc/loadavg: 1.07 1.05 1.00 2/107 25252
/proc/meminfo: memFree=1138788/2059040 swapFree=4136456/4192956
[pid=25243] ppid=25241 vsize=675048 CPUtime=305.6
/proc/25243/stat : 25243 (pbct) R 25241 25243 23834 0 -1 4202496 212006 0 0 0 30140 420 0 0 25 0 1 0 18961955 691249152 168064 1992294400 134512640 136485738 4294937616 18446744073709551615 135839991 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25243/statm: 168762 168064 247 482 0 168278 0
Current children cumulated CPU time (s) 305.6
Current children cumulated vsize (KiB) 675048

[startup+305.809 s]
/proc/loadavg: 1.07 1.05 1.00 2/107 25252
/proc/meminfo: memFree=1138788/2059040 swapFree=4136456/4192956
[pid=25243] ppid=25241 vsize=0 CPUtime=305.71
/proc/25243/stat : 25243 (pbct) R 25241 25243 23834 0 -1 4202500 212007 0 0 0 30149 422 0 0 25 0 1 0 18961955 0 0 1992294400 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/25243/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 305.71
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 305.857
CPU time (s): 305.761
CPU user time (s): 301.49
CPU system time (s): 4.27035
CPU usage (%): 99.9684
Max. virtual memory (cumulated for all children) (KiB): 793500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 301.49
system time used= 4.27035
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212007
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= 3028

runsolver used 0.515921 second user time and 1.44278 second system time

The end