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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2669030-1276433438/watcher-2669030-1276433438 -o /tmp/evaluation-result-2669030-1276433438/solver-2669030-1276433438 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2669030-1276433438.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 24434
/proc/meminfo: memFree=1837228/2059040 swapFree=4135784/4192956
[pid=24434] ppid=24432 vsize=2208 CPUtime=0
/proc/24434/stat : 24434 (pbct) R 24432 24434 24140 0 -1 4202496 256 0 0 0 0 0 0 0 20 0 1 0 18945224 2260992 178 1992294400 134512640 136485738 4294932512 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24434/statm: 552 178 156 482 0 68 0

[startup+0.0291911 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 24434
/proc/meminfo: memFree=1837228/2059040 swapFree=4135784/4192956
[pid=24434] ppid=24432 vsize=2208 CPUtime=0.02
/proc/24434/stat : 24434 (pbct) R 24432 24434 24140 0 -1 4202496 268 0 0 0 2 0 0 0 22 0 1 0 18945224 2260992 190 1992294400 134512640 136485738 4294932512 18446744073709551615 135864499 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24434/statm: 552 190 156 482 0 68 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2208

[startup+0.101198 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 24434
/proc/meminfo: memFree=1837228/2059040 swapFree=4135784/4192956
[pid=24434] ppid=24432 vsize=2340 CPUtime=0.1
/proc/24434/stat : 24434 (pbct) R 24432 24434 24140 0 -1 4202496 310 0 0 0 10 0 0 0 22 0 1 0 18945224 2396160 232 1992294400 134512640 136485738 4294932512 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24434/statm: 585 232 156 482 0 101 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2340

[startup+0.301216 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 24434
/proc/meminfo: memFree=1837228/2059040 swapFree=4135784/4192956
[pid=24434] ppid=24432 vsize=2868 CPUtime=0.29
/proc/24434/stat : 24434 (pbct) R 24432 24434 24140 0 -1 4202496 424 0 0 0 29 0 0 0 22 0 1 0 18945224 2936832 346 1992294400 134512640 136485738 4294932512 18446744073709551615 135681427 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24434/statm: 717 346 156 482 0 233 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2868

[startup+0.701254 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 24434
/proc/meminfo: memFree=1837228/2059040 swapFree=4135784/4192956
[pid=24434] ppid=24432 vsize=3788 CPUtime=0.69
/proc/24434/stat : 24434 (pbct) R 24432 24434 24140 0 -1 4202496 687 0 0 0 69 0 0 0 23 0 1 0 18945224 3878912 576 1992294400 134512640 136485738 4294932512 18446744073709551615 135860656 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24434/statm: 947 576 156 482 0 463 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3788

[startup+1.50133 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24435
/proc/meminfo: memFree=1834864/2059040 swapFree=4135784/4192956
[pid=24434] ppid=24432 vsize=5760 CPUtime=1.49
/proc/24434/stat : 24434 (pbct) R 24432 24434 24140 0 -1 4202496 1210 0 0 0 149 0 0 0 25 0 1 0 18945224 5898240 1034 1992294400 134512640 136485738 4294932512 18446744073709551615 134550765 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24434/statm: 1440 1034 156 482 0 956 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5760

[startup+3.10048 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24435
/proc/meminfo: memFree=1831764/2059040 swapFree=4135784/4192956
[pid=24434] ppid=24432 vsize=9440 CPUtime=3.09
/proc/24434/stat : 24434 (pbct) R 24432 24434 24140 0 -1 4202496 2256 0 0 0 308 1 0 0 25 0 1 0 18945224 9666560 1951 1992294400 134512640 136485738 4294932512 18446744073709551615 135411144 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24434/statm: 2360 1951 156 482 0 1876 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9440

[startup+6.30078 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24435
/proc/meminfo: memFree=1810808/2059040 swapFree=4135784/4192956
[pid=24434] ppid=24432 vsize=90040 CPUtime=6.29
/proc/24434/stat : 24434 (pbct) R 24432 24434 24140 0 -1 4202496 24205 0 0 0 619 10 0 0 25 0 1 0 18945224 92200960 21191 1992294400 134512640 136485738 4294932512 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24434/statm: 22510 21191 191 482 0 22026 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 90040

[startup+12.7004 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24435
/proc/meminfo: memFree=1137860/2059040 swapFree=4135784/4192956
[pid=24434] ppid=24432 vsize=752828 CPUtime=12.68
/proc/24434/stat : 24434 (pbct) R 24432 24434 24140 0 -1 4202496 201032 0 0 0 1193 75 0 0 25 0 1 0 18945224 770895872 181270 1992294400 134512640 136485738 4294932512 18446744073709551615 135857111 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24434/statm: 188207 181270 208 482 0 187723 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 752828

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24435
/proc/meminfo: memFree=1078464/2059040 swapFree=4135784/4192956
[pid=24434] ppid=24432 vsize=790408 CPUtime=25.49
/proc/24434/stat : 24434 (pbct) R 24432 24434 24140 0 -1 4202496 211338 0 0 0 2454 95 0 0 25 0 1 0 18945224 809377792 189391 1992294400 134512640 136485738 4294932512 18446744073709551615 135044346 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24434/statm: 197602 189391 225 482 0 197118 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 790408

[startup+51.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24437
/proc/meminfo: memFree=1077720/2059040 swapFree=4135784/4192956
[pid=24434] ppid=24432 vsize=791072 CPUtime=51.07
/proc/24434/stat : 24434 (pbct) R 24432 24434 24140 0 -1 4202496 211494 0 0 0 4977 130 0 0 25 0 1 0 18945224 810057728 189547 1992294400 134512640 136485738 4294932512 18446744073709551615 135047024 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24434/statm: 197768 189547 225 482 0 197284 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 791072

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24439
/proc/meminfo: memFree=1077472/2059040 swapFree=4135784/4192956
[pid=24434] ppid=24432 vsize=791336 CPUtime=102.26
/proc/24434/stat : 24434 (pbct) R 24432 24434 24140 0 -1 4202496 211558 0 0 0 10029 197 0 0 25 0 1 0 18945224 810328064 189611 1992294400 134512640 136485738 4294932512 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24434/statm: 197834 189611 225 482 0 197350 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 791336

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24439
/proc/meminfo: memFree=1077348/2059040 swapFree=4135784/4192956
[pid=24434] ppid=24432 vsize=791472 CPUtime=162.23
/proc/24434/stat : 24434 (pbct) R 24432 24434 24140 0 -1 4202496 211604 0 0 0 15952 271 0 0 25 0 1 0 18945224 810467328 189657 1992294400 134512640 136485738 4294932512 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24434/statm: 197868 189657 225 482 0 197384 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 791472

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24441
/proc/meminfo: memFree=1076976/2059040 swapFree=4135784/4192956
[pid=24434] ppid=24432 vsize=791604 CPUtime=222.22
/proc/24434/stat : 24434 (pbct) R 24432 24434 24140 0 -1 4202496 211681 0 0 0 21879 343 0 0 25 0 1 0 18945224 810602496 189734 1992294400 134512640 136485738 4294932512 18446744073709551615 135050800 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24434/statm: 197901 189734 225 482 0 197417 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 791604

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24443
/proc/meminfo: memFree=1076604/2059040 swapFree=4135784/4192956
[pid=24434] ppid=24432 vsize=792000 CPUtime=282.21
/proc/24434/stat : 24434 (pbct) R 24432 24434 24140 0 -1 4202496 211774 0 0 0 27813 408 0 0 25 0 1 0 18945224 811008000 189827 1992294400 134512640 136485738 4294932512 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24434/statm: 198000 189827 225 482 0 197516 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 792000

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

[startup+287.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24443
/proc/meminfo: memFree=1076604/2059040 swapFree=4135784/4192956
[pid=24434] ppid=24432 vsize=792000 CPUtime=287.8
/proc/24434/stat : 24434 (pbct) R 24432 24434 24140 0 -1 4202496 211774 0 0 0 28367 413 0 0 25 0 1 0 18945224 811008000 189827 1992294400 134512640 136485738 4294932512 18446744073709551615 135047563 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24434/statm: 198000 189827 225 482 0 197516 0
Current children cumulated CPU time (s) 287.8
Current children cumulated vsize (KiB) 792000

[startup+294.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24443
/proc/meminfo: memFree=1076604/2059040 swapFree=4135784/4192956
[pid=24434] ppid=24432 vsize=792000 CPUtime=294.2
/proc/24434/stat : 24434 (pbct) R 24432 24434 24140 0 -1 4202496 211774 0 0 0 29001 419 0 0 25 0 1 0 18945224 811008000 189827 1992294400 134512640 136485738 4294932512 18446744073709551615 135024859 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24434/statm: 198000 189827 225 482 0 197516 0
Current children cumulated CPU time (s) 294.2
Current children cumulated vsize (KiB) 792000

[startup+295.908 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24443
/proc/meminfo: memFree=1103512/2059040 swapFree=4135784/4192956
[pid=24434] ppid=24432 vsize=756992 CPUtime=295.8
/proc/24434/stat : 24434 (pbct) R 24432 24434 24140 0 -1 4202496 212020 0 0 0 29160 420 0 0 25 0 1 0 18945224 775159808 182982 1992294400 134512640 136485738 4294932512 18446744073709551615 135856905 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24434/statm: 189248 182982 247 482 0 188764 0
Current children cumulated CPU time (s) 295.8
Current children cumulated vsize (KiB) 756992

[startup+297.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24443
/proc/meminfo: memFree=1128312/2059040 swapFree=4135784/4192956
[pid=24434] ppid=24432 vsize=731068 CPUtime=297.39
/proc/24434/stat : 24434 (pbct) R 24432 24434 24140 0 -1 4202496 212020 0 0 0 29319 420 0 0 25 0 1 0 18945224 748613632 176804 1992294400 134512640 136485738 4294932512 18446744073709551615 135839991 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24434/statm: 182767 176804 247 482 0 182283 0
Current children cumulated CPU time (s) 297.39
Current children cumulated vsize (KiB) 731068

[startup+297.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24443
/proc/meminfo: memFree=1128312/2059040 swapFree=4135784/4192956
[pid=24434] ppid=24432 vsize=675096 CPUtime=297.8
/proc/24434/stat : 24434 (pbct) R 24432 24434 24140 0 -1 4202496 212020 0 0 0 29359 421 0 0 25 0 1 0 18945224 691298304 168082 1992294400 134512640 136485738 4294932512 18446744073709551615 135839931 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24434/statm: 168774 168082 247 482 0 168290 0
Current children cumulated CPU time (s) 297.8
Current children cumulated vsize (KiB) 675096

[startup+298.108 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24443
/proc/meminfo: memFree=1163280/2059040 swapFree=4135784/4192956
[pid=24434] ppid=24432 vsize=675096 CPUtime=298.01
/proc/24434/stat : 24434 (pbct) R 24432 24434 24140 0 -1 4202496 212020 0 0 0 29380 421 0 0 25 0 1 0 18945224 691298304 168082 1992294400 134512640 136485738 4294932512 18446744073709551615 135839991 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24434/statm: 168774 168082 247 482 0 168290 0
Current children cumulated CPU time (s) 298.01
Current children cumulated vsize (KiB) 675096

[startup+298.201 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24443
/proc/meminfo: memFree=1163280/2059040 swapFree=4135784/4192956
[pid=24434] ppid=24432 vsize=675096 CPUtime=298.1
/proc/24434/stat : 24434 (pbct) R 24432 24434 24140 0 -1 4202496 212020 0 0 0 29389 421 0 0 25 0 1 0 18945224 691298304 168082 1992294400 134512640 136485738 4294932512 18446744073709551615 135839931 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24434/statm: 168774 168082 247 482 0 168290 0
Current children cumulated CPU time (s) 298.1
Current children cumulated vsize (KiB) 675096

Child status: 0
Real time (s): 298.278
CPU time (s): 298.183
CPU user time (s): 293.908
CPU system time (s): 4.27435
CPU usage (%): 99.9681
Max. virtual memory (cumulated for all children) (KiB): 793548

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

runsolver used 0.464929 second user time and 1.44378 second system time

The end