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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682626-1277476104/watcher-2682626-1277476104 -o /tmp/evaluation-result-2682626-1277476104/solver-2682626-1277476104 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682626-1277476104.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.79 0.39 3/106 29700
/proc/meminfo: memFree=1794644/2059040 swapFree=4140556/4192956
[pid=29700] ppid=29698 vsize=2136 CPUtime=0
/proc/29700/stat : 29700 (pbct) R 29698 29700 29393 0 -1 4202496 248 0 0 0 0 0 0 0 18 0 1 0 88905835 2187264 167 1992294400 134512640 136421960 4294219136 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29700/statm: 534 167 144 467 0 65 0

[startup+0.0707029 s]
/proc/loadavg: 0.99 0.79 0.39 3/106 29700
/proc/meminfo: memFree=1794644/2059040 swapFree=4140556/4192956
[pid=29700] ppid=29698 vsize=2268 CPUtime=0.07
/proc/29700/stat : 29700 (pbct) R 29698 29700 29393 0 -1 4202496 296 0 0 0 7 0 0 0 20 0 1 0 88905835 2322432 215 1992294400 134512640 136421960 4294219136 18446744073709551615 135818473 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29700/statm: 567 215 144 467 0 98 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2268

[startup+0.100706 s]
/proc/loadavg: 0.99 0.79 0.39 3/106 29700
/proc/meminfo: memFree=1794644/2059040 swapFree=4140556/4192956
[pid=29700] ppid=29698 vsize=2400 CPUtime=0.1
/proc/29700/stat : 29700 (pbct) R 29698 29700 29393 0 -1 4202496 322 0 0 0 10 0 0 0 20 0 1 0 88905835 2457600 241 1992294400 134512640 136421960 4294219136 18446744073709551615 135380591 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29700/statm: 600 241 144 467 0 131 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2400

[startup+0.300718 s]
/proc/loadavg: 0.99 0.79 0.39 3/106 29700
/proc/meminfo: memFree=1794644/2059040 swapFree=4140556/4192956
[pid=29700] ppid=29698 vsize=3060 CPUtime=0.29
/proc/29700/stat : 29700 (pbct) R 29698 29700 29393 0 -1 4202496 470 0 0 0 29 0 0 0 20 0 1 0 88905835 3133440 389 1992294400 134512640 136421960 4294219136 18446744073709551615 135818469 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29700/statm: 765 389 144 467 0 296 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3060

[startup+0.700744 s]
/proc/loadavg: 0.99 0.79 0.39 3/106 29700
/proc/meminfo: memFree=1794644/2059040 swapFree=4140556/4192956
[pid=29700] ppid=29698 vsize=4244 CPUtime=0.69
/proc/29700/stat : 29700 (pbct) R 29698 29700 29393 0 -1 4202496 806 0 0 0 69 0 0 0 20 0 1 0 88905835 4345856 692 1992294400 134512640 136421960 4294219136 18446744073709551615 135154711 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29700/statm: 1061 692 144 467 0 592 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4244

[startup+1.5008 s]
/proc/loadavg: 0.99 0.79 0.39 2/107 29701
/proc/meminfo: memFree=1791412/2059040 swapFree=4140556/4192956
[pid=29700] ppid=29698 vsize=6612 CPUtime=1.49
/proc/29700/stat : 29700 (pbct) R 29698 29700 29393 0 -1 4202496 1472 0 0 0 149 0 0 0 23 0 1 0 88905835 6770688 1293 1992294400 134512640 136421960 4294219136 18446744073709551615 135810737 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29700/statm: 1653 1294 144 467 0 1184 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6612

[startup+3.1009 s]
/proc/loadavg: 0.99 0.79 0.39 2/107 29701
/proc/meminfo: memFree=1787816/2059040 swapFree=4140556/4192956
[pid=29700] ppid=29698 vsize=12504 CPUtime=3.09
/proc/29700/stat : 29700 (pbct) R 29698 29700 29393 0 -1 4202496 3061 0 0 0 307 2 0 0 25 0 1 0 88905835 12804096 2496 1992294400 134512640 136421960 4294219136 18446744073709551615 134516468 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29700/statm: 3126 2496 144 467 0 2657 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12504

[startup+6.3011 s]
/proc/loadavg: 0.99 0.80 0.39 2/107 29701
/proc/meminfo: memFree=1685516/2059040 swapFree=4140556/4192956
[pid=29700] ppid=29698 vsize=173908 CPUtime=6.29
/proc/29700/stat : 29700 (pbct) R 29698 29700 29393 0 -1 4202496 49215 0 0 0 608 21 0 0 25 0 1 0 88905835 178081792 41242 1992294400 134512640 136421960 4294219136 18446744073709551615 134706995 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29700/statm: 43477 41242 187 467 0 43008 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 173908

[startup+12.7015 s]
/proc/loadavg: 0.99 0.80 0.39 2/107 29703
/proc/meminfo: memFree=1058448/2059040 swapFree=4140556/4192956
[pid=29700] ppid=29698 vsize=771596 CPUtime=12.69
/proc/29700/stat : 29700 (pbct) R 29698 29700 29393 0 -1 4202496 206147 0 0 0 1192 77 0 0 25 0 1 0 88905835 790114304 185598 1992294400 134512640 136421960 4294219136 18446744073709551615 135818454 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29700/statm: 192899 185598 203 467 0 192430 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 771596

[startup+25.5003 s]
/proc/loadavg: 0.99 0.81 0.40 2/107 29703
/proc/meminfo: memFree=1035756/2059040 swapFree=4140556/4192956
[pid=29700] ppid=29698 vsize=790568 CPUtime=25.48
/proc/29700/stat : 29700 (pbct) R 29698 29700 29393 0 -1 4202496 211383 0 0 0 2453 95 0 0 25 0 1 0 88905835 809541632 189421 1992294400 134512640 136421960 4294219136 18446744073709551615 135028336 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29700/statm: 197642 189421 215 467 0 197173 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 790568

[startup+51.101 s]
/proc/loadavg: 0.99 0.82 0.42 2/107 29703
/proc/meminfo: memFree=1035136/2059040 swapFree=4140556/4192956
[pid=29700] ppid=29698 vsize=791100 CPUtime=51.08
/proc/29700/stat : 29700 (pbct) R 29698 29700 29393 0 -1 4202496 211522 0 0 0 4980 128 0 0 25 0 1 0 88905835 810086400 189560 1992294400 134512640 136421960 4294219136 18446744073709551615 135006289 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29700/statm: 197775 189560 215 467 0 197306 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 791100

[startup+102.308 s]
/proc/loadavg: 0.99 0.85 0.45 2/107 29705
/proc/meminfo: memFree=1035012/2059040 swapFree=4140556/4192956
[pid=29700] ppid=29698 vsize=791252 CPUtime=102.27
/proc/29700/stat : 29700 (pbct) R 29698 29700 29393 0 -1 4202496 211574 0 0 0 10034 193 0 0 25 0 1 0 88905835 810242048 189612 1992294400 134512640 136421960 4294219136 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29700/statm: 197813 189612 215 467 0 197344 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 791252

[startup+162.301 s]
/proc/loadavg: 0.99 0.87 0.48 2/107 29707
/proc/meminfo: memFree=1034888/2059040 swapFree=4140556/4192956
[pid=29700] ppid=29698 vsize=791384 CPUtime=162.25
/proc/29700/stat : 29700 (pbct) R 29698 29700 29393 0 -1 4202496 211616 0 0 0 15963 262 0 0 25 0 1 0 88905835 810377216 189654 1992294400 134512640 136421960 4294219136 18446744073709551615 134640958 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29700/statm: 197846 189654 215 467 0 197377 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 791384

[startup+222.301 s]
/proc/loadavg: 1.05 0.91 0.51 2/107 29710
/proc/meminfo: memFree=1034020/2059040 swapFree=4140556/4192956
[pid=29700] ppid=29698 vsize=791516 CPUtime=222.23
/proc/29700/stat : 29700 (pbct) R 29698 29700 29393 0 -1 4202496 211661 0 0 0 21892 331 0 0 25 0 1 0 88905835 810512384 189699 1992294400 134512640 136421960 4294219136 18446744073709551615 135028329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29700/statm: 197879 189699 215 467 0 197410 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 791516

[startup+282.301 s]
/proc/loadavg: 1.02 0.92 0.54 2/107 29712
/proc/meminfo: memFree=1034020/2059040 swapFree=4140556/4192956
[pid=29700] ppid=29698 vsize=791780 CPUtime=282.22
/proc/29700/stat : 29700 (pbct) R 29698 29700 29393 0 -1 4202496 211712 0 0 0 27824 398 0 0 25 0 1 0 88905835 810782720 189750 1992294400 134512640 136421960 4294219136 18446744073709551615 135028857 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29700/statm: 197945 189750 215 467 0 197476 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 791780

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

[startup+307.1 s]
/proc/loadavg: 1.01 0.93 0.55 2/107 29712
/proc/meminfo: memFree=1033772/2059040 swapFree=4140556/4192956
[pid=29700] ppid=29698 vsize=791912 CPUtime=307.01
/proc/29700/stat : 29700 (pbct) R 29698 29700 29393 0 -1 4202496 211756 0 0 0 30279 422 0 0 25 0 1 0 88905835 810917888 189794 1992294400 134512640 136421960 4294219136 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29700/statm: 197978 189794 215 467 0 197509 0
Current children cumulated CPU time (s) 307.01
Current children cumulated vsize (KiB) 791912

[startup+319.901 s]
/proc/loadavg: 1.01 0.93 0.56 2/107 29714
/proc/meminfo: memFree=1033772/2059040 swapFree=4140556/4192956
[pid=29700] ppid=29698 vsize=791912 CPUtime=319.8
/proc/29700/stat : 29700 (pbct) R 29698 29700 29393 0 -1 4202496 211779 0 0 0 31545 435 0 0 25 0 1 0 88905835 810917888 189817 1992294400 134512640 136421960 4294219136 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29700/statm: 197978 189817 215 467 0 197509 0
Current children cumulated CPU time (s) 319.8
Current children cumulated vsize (KiB) 791912

[startup+326.301 s]
/proc/loadavg: 1.01 0.93 0.56 2/107 29714
/proc/meminfo: memFree=1033772/2059040 swapFree=4140556/4192956
[pid=29700] ppid=29698 vsize=791912 CPUtime=326.2
/proc/29700/stat : 29700 (pbct) R 29698 29700 29393 0 -1 4202496 211781 0 0 0 32180 440 0 0 25 0 1 0 88905835 810917888 189819 1992294400 134512640 136421960 4294219136 18446744073709551615 135020391 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29700/statm: 197978 189819 215 467 0 197509 0
Current children cumulated CPU time (s) 326.2
Current children cumulated vsize (KiB) 791912

[startup+329.501 s]
/proc/loadavg: 1.01 0.93 0.56 2/107 29714
/proc/meminfo: memFree=1033772/2059040 swapFree=4140556/4192956
[pid=29700] ppid=29698 vsize=792044 CPUtime=329.4
/proc/29700/stat : 29700 (pbct) R 29698 29700 29393 0 -1 4202496 211790 0 0 0 32497 443 0 0 25 0 1 0 88905835 811053056 189828 1992294400 134512640 136421960 4294219136 18446744073709551615 135028336 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29700/statm: 198011 189828 215 467 0 197542 0
Current children cumulated CPU time (s) 329.4
Current children cumulated vsize (KiB) 792044

[startup+332.701 s]
/proc/loadavg: 1.01 0.93 0.56 2/107 29714
/proc/meminfo: memFree=1060432/2059040 swapFree=4140556/4192956
[pid=29700] ppid=29698 vsize=757168 CPUtime=332.6
/proc/29700/stat : 29700 (pbct) R 29698 29700 29393 0 -1 4202496 212073 0 0 0 32816 444 0 0 25 0 1 0 88905835 775340032 183020 1992294400 134512640 136421960 4294219136 18446744073709551615 134654884 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29700/statm: 189292 183020 240 467 0 188823 0
Current children cumulated CPU time (s) 332.6
Current children cumulated vsize (KiB) 757168

[startup+334.301 s]
/proc/loadavg: 1.01 0.93 0.56 2/107 29714
/proc/meminfo: memFree=1085232/2059040 swapFree=4140556/4192956
[pid=29700] ppid=29698 vsize=731244 CPUtime=334.21
/proc/29700/stat : 29700 (pbct) R 29698 29700 29393 0 -1 4202496 212073 0 0 0 32976 445 0 0 25 0 1 0 88905835 748793856 176842 1992294400 134512640 136421960 4294219136 18446744073709551615 135801268 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29700/statm: 182811 176842 240 467 0 182342 0
Current children cumulated CPU time (s) 334.21
Current children cumulated vsize (KiB) 731244

[startup+334.701 s]
/proc/loadavg: 1.01 0.93 0.56 2/107 29714
/proc/meminfo: memFree=1085232/2059040 swapFree=4140556/4192956
[pid=29700] ppid=29698 vsize=710820 CPUtime=334.6
/proc/29700/stat : 29700 (pbct) R 29698 29700 29393 0 -1 4202496 212073 0 0 0 33015 445 0 0 25 0 1 0 88905835 727879680 173357 1992294400 134512640 136421960 4294219136 18446744073709551615 134585672 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29700/statm: 177705 173357 240 467 0 177236 0
Current children cumulated CPU time (s) 334.6
Current children cumulated vsize (KiB) 710820

[startup+335.101 s]
/proc/loadavg: 1.01 0.93 0.56 2/107 29714
/proc/meminfo: memFree=1085232/2059040 swapFree=4140556/4192956
[pid=29700] ppid=29698 vsize=0 CPUtime=335
/proc/29700/stat : 29700 (pbct) R 29698 29700 29393 0 -1 4202500 212074 0 0 0 33050 450 0 0 25 0 1 0 88905835 0 0 1992294400 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/29700/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 335
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 335.125
CPU time (s): 335.033
CPU user time (s): 330.508
CPU system time (s): 4.52531
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 793724

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

runsolver used 0.540917 second user time and 1.60076 second system time

The end