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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682635-1277476177/watcher-2682635-1277476177 -o /tmp/evaluation-result-2682635-1277476177/solver-2682635-1277476177 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682635-1277476177.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: 0.99 0.83 0.43 3/106 26166
/proc/meminfo: memFree=1817080/2059040 swapFree=4136000/4192956
[pid=26166] ppid=26164 vsize=2136 CPUtime=0
/proc/26166/stat : 26166 (pbct) R 26164 26166 25911 0 -1 4202496 247 0 0 0 0 0 0 0 18 0 1 0 123219368 2187264 166 1992294400 134512640 136421960 4287588768 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26166/statm: 534 166 144 467 0 65 0

[startup+0.076816 s]
/proc/loadavg: 0.99 0.83 0.43 3/106 26166
/proc/meminfo: memFree=1817080/2059040 swapFree=4136000/4192956
[pid=26166] ppid=26164 vsize=2268 CPUtime=0.07
/proc/26166/stat : 26166 (pbct) R 26164 26166 25911 0 -1 4202496 300 0 0 0 7 0 0 0 20 0 1 0 123219368 2322432 219 1992294400 134512640 136421960 4287588768 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26166/statm: 567 219 144 467 0 98 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2268

[startup+0.10082 s]
/proc/loadavg: 0.99 0.83 0.43 3/106 26166
/proc/meminfo: memFree=1817080/2059040 swapFree=4136000/4192956
[pid=26166] ppid=26164 vsize=2400 CPUtime=0.09
/proc/26166/stat : 26166 (pbct) R 26164 26166 25911 0 -1 4202496 321 0 0 0 9 0 0 0 20 0 1 0 123219368 2457600 240 1992294400 134512640 136421960 4287588768 18446744073709551615 134523602 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26166/statm: 600 240 144 467 0 131 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2400

[startup+0.300859 s]
/proc/loadavg: 0.99 0.83 0.43 3/106 26166
/proc/meminfo: memFree=1817080/2059040 swapFree=4136000/4192956
[pid=26166] ppid=26164 vsize=3060 CPUtime=0.29
/proc/26166/stat : 26166 (pbct) R 26164 26166 25911 0 -1 4202496 471 0 0 0 29 0 0 0 20 0 1 0 123219368 3133440 390 1992294400 134512640 136421960 4287588768 18446744073709551615 135650308 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26166/statm: 765 390 144 467 0 296 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3060

[startup+0.700937 s]
/proc/loadavg: 0.99 0.83 0.43 3/106 26166
/proc/meminfo: memFree=1817080/2059040 swapFree=4136000/4192956
[pid=26166] ppid=26164 vsize=4244 CPUtime=0.69
/proc/26166/stat : 26166 (pbct) R 26164 26166 25911 0 -1 4202496 810 0 0 0 69 0 0 0 21 0 1 0 123219368 4345856 696 1992294400 134512640 136421960 4287588768 18446744073709551615 135829940 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26166/statm: 1061 696 144 467 0 592 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4244

[startup+1.50109 s]
/proc/loadavg: 0.99 0.83 0.43 2/107 26167
/proc/meminfo: memFree=1813848/2059040 swapFree=4136000/4192956
[pid=26166] ppid=26164 vsize=6744 CPUtime=1.49
/proc/26166/stat : 26166 (pbct) R 26164 26166 25911 0 -1 4202496 1486 0 0 0 149 0 0 0 23 0 1 0 123219368 6905856 1307 1992294400 134512640 136421960 4287588768 18446744073709551615 135377342 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26166/statm: 1686 1307 144 467 0 1217 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6744

[startup+3.10141 s]
/proc/loadavg: 0.99 0.83 0.43 2/107 26167
/proc/meminfo: memFree=1810500/2059040 swapFree=4136000/4192956
[pid=26166] ppid=26164 vsize=12504 CPUtime=3.09
/proc/26166/stat : 26166 (pbct) R 26164 26166 25911 0 -1 4202496 3092 0 0 0 307 2 0 0 25 0 1 0 123219368 12804096 2527 1992294400 134512640 136421960 4287588768 18446744073709551615 135822081 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26166/statm: 3126 2527 144 467 0 2657 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12504

[startup+6.30103 s]
/proc/loadavg: 0.99 0.83 0.43 2/107 26167
/proc/meminfo: memFree=1703116/2059040 swapFree=4136000/4192956
[pid=26166] ppid=26164 vsize=174808 CPUtime=6.29
/proc/26166/stat : 26166 (pbct) R 26164 26166 25911 0 -1 4202496 49443 0 0 0 608 21 0 0 25 0 1 0 123219368 179003392 41477 1992294400 134512640 136421960 4287588768 18446744073709551615 134706995 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26166/statm: 43702 41477 187 467 0 43233 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 174808

[startup+12.7013 s]
/proc/loadavg: 0.99 0.83 0.43 2/107 26167
/proc/meminfo: memFree=1081008/2059040 swapFree=4136000/4192956
[pid=26166] ppid=26164 vsize=771848 CPUtime=12.68
/proc/26166/stat : 26166 (pbct) R 26164 26166 25911 0 -1 4202496 206252 0 0 0 1188 80 0 0 25 0 1 0 123219368 790372352 185710 1992294400 134512640 136421960 4287588768 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26166/statm: 192962 185710 203 467 0 192493 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 771848

[startup+25.5008 s]
/proc/loadavg: 0.99 0.84 0.44 2/107 26169
/proc/meminfo: memFree=1058564/2059040 swapFree=4136000/4192956
[pid=26166] ppid=26164 vsize=790560 CPUtime=25.48
/proc/26166/stat : 26166 (pbct) R 26164 26166 25911 0 -1 4202496 211376 0 0 0 2450 98 0 0 25 0 1 0 123219368 809533440 189421 1992294400 134512640 136421960 4287588768 18446744073709551615 135006289 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26166/statm: 197640 189421 215 467 0 197171 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 790560

[startup+51.1008 s]
/proc/loadavg: 0.99 0.85 0.45 2/107 26169
/proc/meminfo: memFree=1058068/2059040 swapFree=4136000/4192956
[pid=26166] ppid=26164 vsize=790956 CPUtime=51.07
/proc/26166/stat : 26166 (pbct) R 26164 26166 25911 0 -1 4202496 211506 0 0 0 4975 132 0 0 25 0 1 0 123219368 809938944 189551 1992294400 134512640 136421960 4287588768 18446744073709551615 135019594 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26166/statm: 197739 189551 215 467 0 197270 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 790956

[startup+102.308 s]
/proc/loadavg: 0.99 0.87 0.48 2/107 26171
/proc/meminfo: memFree=1057820/2059040 swapFree=4136000/4192956
[pid=26166] ppid=26164 vsize=791220 CPUtime=102.26
/proc/26166/stat : 26166 (pbct) R 26164 26166 25911 0 -1 4202496 211551 0 0 0 10030 196 0 0 25 0 1 0 123219368 810209280 189596 1992294400 134512640 136421960 4287588768 18446744073709551615 135006289 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26166/statm: 197805 189596 215 467 0 197336 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 791220

[startup+162.301 s]
/proc/loadavg: 0.99 0.89 0.51 2/107 26171
/proc/meminfo: memFree=1057572/2059040 swapFree=4136000/4192956
[pid=26166] ppid=26164 vsize=791352 CPUtime=162.22
/proc/26166/stat : 26166 (pbct) R 26164 26166 25911 0 -1 4202496 211603 0 0 0 15955 267 0 0 25 0 1 0 123219368 810344448 189648 1992294400 134512640 136421960 4287588768 18446744073709551615 135032112 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26166/statm: 197838 189648 215 467 0 197369 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 791352

[startup+222.301 s]
/proc/loadavg: 0.99 0.91 0.54 2/107 26173
/proc/meminfo: memFree=1057324/2059040 swapFree=4136000/4192956
[pid=26166] ppid=26164 vsize=791484 CPUtime=222.2
/proc/26166/stat : 26166 (pbct) R 26164 26166 25911 0 -1 4202496 211650 0 0 0 21880 340 0 0 25 0 1 0 123219368 810479616 189695 1992294400 134512640 136421960 4287588768 18446744073709551615 134862075 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26166/statm: 197871 189695 215 467 0 197402 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 791484

[startup+282.301 s]
/proc/loadavg: 0.99 0.92 0.56 2/107 26175
/proc/meminfo: memFree=1057076/2059040 swapFree=4136000/4192956
[pid=26166] ppid=26164 vsize=791748 CPUtime=282.18
/proc/26166/stat : 26166 (pbct) R 26164 26166 25911 0 -1 4202496 211739 0 0 0 27814 404 0 0 25 0 1 0 123219368 810749952 189784 1992294400 134512640 136421960 4287588768 18446744073709551615 135025621 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26166/statm: 197937 189784 215 467 0 197468 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 791748

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

[startup+294.301 s]
/proc/loadavg: 0.99 0.92 0.57 2/107 26175
/proc/meminfo: memFree=1056952/2059040 swapFree=4136000/4192956
[pid=26166] ppid=26164 vsize=791748 CPUtime=294.18
/proc/26166/stat : 26166 (pbct) R 26164 26166 25911 0 -1 4202496 211746 0 0 0 29001 417 0 0 25 0 1 0 123219368 810749952 189791 1992294400 134512640 136421960 4287588768 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26166/statm: 197937 189791 215 467 0 197468 0
Current children cumulated CPU time (s) 294.18
Current children cumulated vsize (KiB) 791748

[startup+307.101 s]
/proc/loadavg: 0.99 0.93 0.57 2/107 26175
/proc/meminfo: memFree=1056952/2059040 swapFree=4136000/4192956
[pid=26166] ppid=26164 vsize=791880 CPUtime=306.96
/proc/26166/stat : 26166 (pbct) R 26164 26166 25911 0 -1 4202496 211764 0 0 0 30265 431 0 0 25 0 1 0 123219368 810885120 189809 1992294400 134512640 136421960 4287588768 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26166/statm: 197970 189809 215 467 0 197501 0
Current children cumulated CPU time (s) 306.96
Current children cumulated vsize (KiB) 791880

[startup+310.3 s]
/proc/loadavg: 0.99 0.93 0.58 2/107 26175
/proc/meminfo: memFree=1056828/2059040 swapFree=4136000/4192956
[pid=26166] ppid=26164 vsize=791880 CPUtime=310.17
/proc/26166/stat : 26166 (pbct) R 26164 26166 25911 0 -1 4202496 211785 0 0 0 30583 434 0 0 25 0 1 0 123219368 810885120 189830 1992294400 134512640 136421960 4287588768 18446744073709551615 135022001 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26166/statm: 197970 189830 215 467 0 197501 0
Current children cumulated CPU time (s) 310.17
Current children cumulated vsize (KiB) 791880

[startup+311.901 s]
/proc/loadavg: 0.99 0.93 0.58 2/107 26175
/proc/meminfo: memFree=1056828/2059040 swapFree=4136000/4192956
[pid=26166] ppid=26164 vsize=757004 CPUtime=311.77
/proc/26166/stat : 26166 (pbct) R 26164 26166 25911 0 -1 4202496 212030 0 0 0 30742 435 0 0 25 0 1 0 123219368 775172096 182984 1992294400 134512640 136421960 4287588768 18446744073709551615 135801367 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26166/statm: 189251 182984 240 467 0 188782 0
Current children cumulated CPU time (s) 311.77
Current children cumulated vsize (KiB) 757004

[startup+313.509 s]
/proc/loadavg: 0.99 0.93 0.58 2/107 26175
/proc/meminfo: memFree=1108536/2059040 swapFree=4136000/4192956
[pid=26166] ppid=26164 vsize=731080 CPUtime=313.37
/proc/26166/stat : 26166 (pbct) R 26164 26166 25911 0 -1 4202496 212030 0 0 0 30902 435 0 0 25 0 1 0 123219368 748625920 176806 1992294400 134512640 136421960 4287588768 18446744073709551615 135801301 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26166/statm: 182770 176806 240 467 0 182301 0
Current children cumulated CPU time (s) 313.37
Current children cumulated vsize (KiB) 731080

[startup+314.301 s]
/proc/loadavg: 0.99 0.93 0.58 2/107 26175
/proc/meminfo: memFree=1108536/2059040 swapFree=4136000/4192956
[pid=26166] ppid=26164 vsize=729540 CPUtime=314.16
/proc/26166/stat : 26166 (pbct) R 26164 26166 25911 0 -1 4202496 212030 0 0 0 30981 435 0 0 25 0 1 0 123219368 747048960 176421 1992294400 134512640 136421960 4287588768 18446744073709551615 135818225 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26166/statm: 182385 176421 240 467 0 181916 0
Current children cumulated CPU time (s) 314.16
Current children cumulated vsize (KiB) 729540

[startup+314.7 s]
/proc/loadavg: 0.99 0.93 0.58 2/107 26175
/proc/meminfo: memFree=1143504/2059040 swapFree=4136000/4192956
[pid=26166] ppid=26164 vsize=675108 CPUtime=314.56
/proc/26166/stat : 26166 (pbct) R 26164 26166 25911 0 -1 4202496 212030 0 0 0 31021 435 0 0 25 0 1 0 123219368 691310592 168084 1992294400 134512640 136421960 4287588768 18446744073709551615 135801301 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26166/statm: 168777 168084 240 467 0 168308 0
Current children cumulated CPU time (s) 314.56
Current children cumulated vsize (KiB) 675108

[startup+314.8 s]
/proc/loadavg: 0.99 0.93 0.58 2/107 26175
/proc/meminfo: memFree=1143504/2059040 swapFree=4136000/4192956
[pid=26166] ppid=26164 vsize=0 CPUtime=314.66
/proc/26166/stat : 26166 (pbct) R 26164 26166 25911 0 -1 4202500 212031 0 0 0 31025 441 0 0 25 0 1 0 123219368 0 0 1992294400 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/26166/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 314.66
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 314.808
CPU time (s): 314.682
CPU user time (s): 310.255
CPU system time (s): 4.42733
CPU usage (%): 99.9599
Max. virtual memory (cumulated for all children) (KiB): 793560

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

runsolver used 0.487925 second user time and 1.52877 second system time

The end