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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682622-1277476067/watcher-2682622-1277476067 -o /tmp/evaluation-result-2682622-1277476067/solver-2682622-1277476067 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682622-1277476067.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.75 0.35 3/106 25465
/proc/meminfo: memFree=1774820/2059040 swapFree=4136480/4192956
[pid=25465] ppid=25463 vsize=2136 CPUtime=0
/proc/25465/stat : 25465 (pbct) R 25463 25465 25212 0 -1 4202496 246 0 0 0 0 0 0 0 18 0 1 0 123208321 2187264 166 1992294400 134512640 136421960 4288600944 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25465/statm: 534 166 144 467 0 65 0

[startup+0.08688 s]
/proc/loadavg: 0.99 0.75 0.35 3/106 25465
/proc/meminfo: memFree=1774820/2059040 swapFree=4136480/4192956
[pid=25465] ppid=25463 vsize=2400 CPUtime=0.08
/proc/25465/stat : 25465 (pbct) R 25463 25465 25212 0 -1 4202496 306 0 0 0 8 0 0 0 20 0 1 0 123208321 2457600 226 1992294400 134512640 136421960 4288600944 18446744073709551615 135818454 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25465/statm: 600 226 144 467 0 131 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2400

[startup+0.100881 s]
/proc/loadavg: 0.99 0.75 0.35 3/106 25465
/proc/meminfo: memFree=1774820/2059040 swapFree=4136480/4192956
[pid=25465] ppid=25463 vsize=2400 CPUtime=0.09
/proc/25465/stat : 25465 (pbct) R 25463 25465 25212 0 -1 4202496 320 0 0 0 9 0 0 0 20 0 1 0 123208321 2457600 240 1992294400 134512640 136421960 4288600944 18446744073709551615 135372747 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25465/statm: 600 240 144 467 0 131 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2400

[startup+0.300916 s]
/proc/loadavg: 0.99 0.75 0.35 3/106 25465
/proc/meminfo: memFree=1774820/2059040 swapFree=4136480/4192956
[pid=25465] ppid=25463 vsize=3060 CPUtime=0.29
/proc/25465/stat : 25465 (pbct) R 25463 25465 25212 0 -1 4202496 470 0 0 0 29 0 0 0 20 0 1 0 123208321 3133440 390 1992294400 134512640 136421960 4288600944 18446744073709551615 135372698 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25465/statm: 765 390 144 467 0 296 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3060

[startup+0.700989 s]
/proc/loadavg: 0.99 0.75 0.35 3/106 25465
/proc/meminfo: memFree=1774820/2059040 swapFree=4136480/4192956
[pid=25465] ppid=25463 vsize=4244 CPUtime=0.69
/proc/25465/stat : 25465 (pbct) R 25463 25465 25212 0 -1 4202496 810 0 0 0 69 0 0 0 21 0 1 0 123208321 4345856 697 1992294400 134512640 136421960 4288600944 18446744073709551615 135372727 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25465/statm: 1061 697 144 467 0 592 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4244

[startup+1.50113 s]
/proc/loadavg: 0.99 0.75 0.35 2/107 25466
/proc/meminfo: memFree=1771588/2059040 swapFree=4136480/4192956
[pid=25465] ppid=25463 vsize=6744 CPUtime=1.49
/proc/25465/stat : 25465 (pbct) R 25463 25465 25212 0 -1 4202496 1486 0 0 0 149 0 0 0 23 0 1 0 123208321 6905856 1308 1992294400 134512640 136421960 4288600944 18446744073709551615 135160320 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25465/statm: 1686 1308 144 467 0 1217 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6744

[startup+3.10142 s]
/proc/loadavg: 0.99 0.75 0.35 2/107 25466
/proc/meminfo: memFree=1767992/2059040 swapFree=4136480/4192956
[pid=25465] ppid=25463 vsize=12504 CPUtime=3.09
/proc/25465/stat : 25465 (pbct) R 25463 25465 25212 0 -1 4202496 3089 0 0 0 307 2 0 0 25 0 1 0 123208321 12804096 2525 1992294400 134512640 136421960 4288600944 18446744073709551615 134552747 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25465/statm: 3126 2525 144 467 0 2657 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12504

[startup+6.30099 s]
/proc/loadavg: 1.07 0.77 0.36 2/107 25466
/proc/meminfo: memFree=1662344/2059040 swapFree=4136480/4192956
[pid=25465] ppid=25463 vsize=174836 CPUtime=6.29
/proc/25465/stat : 25465 (pbct) R 25463 25465 25212 0 -1 4202496 49428 0 0 0 611 18 0 0 25 0 1 0 123208321 179032064 41456 1992294400 134512640 136421960 4288600944 18446744073709551615 134706995 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25465/statm: 43709 41456 187 467 0 43240 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 174836

[startup+12.7011 s]
/proc/loadavg: 1.07 0.77 0.37 2/107 25466
/proc/meminfo: memFree=1037880/2059040 swapFree=4136480/4192956
[pid=25465] ppid=25463 vsize=776204 CPUtime=12.69
/proc/25465/stat : 25465 (pbct) R 25463 25465 25212 0 -1 4202496 207342 0 0 0 1193 76 0 0 25 0 1 0 123208321 794832896 185768 1992294400 134512640 136421960 4288600944 18446744073709551615 135829973 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25465/statm: 194051 185768 203 467 0 193582 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 776204

[startup+25.5014 s]
/proc/loadavg: 1.05 0.79 0.37 2/107 25466
/proc/meminfo: memFree=1016180/2059040 swapFree=4136480/4192956
[pid=25465] ppid=25463 vsize=790444 CPUtime=25.48
/proc/25465/stat : 25465 (pbct) R 25463 25465 25212 0 -1 4202496 211340 0 0 0 2454 94 0 0 25 0 1 0 123208321 809414656 189379 1992294400 134512640 136421960 4288600944 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25465/statm: 197611 189379 215 467 0 197142 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 790444

[startup+51.101 s]
/proc/loadavg: 1.03 0.80 0.39 2/107 25468
/proc/meminfo: memFree=1015684/2059040 swapFree=4136480/4192956
[pid=25465] ppid=25463 vsize=790972 CPUtime=51.08
/proc/25465/stat : 25465 (pbct) R 25463 25465 25212 0 -1 4202496 211477 0 0 0 4976 132 0 0 25 0 1 0 123208321 809955328 189516 1992294400 134512640 136421960 4288600944 18446744073709551615 135021785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25465/statm: 197743 189516 215 467 0 197274 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 790972

[startup+102.308 s]
/proc/loadavg: 1.01 0.83 0.42 2/107 25468
/proc/meminfo: memFree=1015436/2059040 swapFree=4136480/4192956
[pid=25465] ppid=25463 vsize=791244 CPUtime=102.26
/proc/25465/stat : 25465 (pbct) R 25463 25465 25212 0 -1 4202496 211534 0 0 0 10028 198 0 0 25 0 1 0 123208321 810233856 189573 1992294400 134512640 136421960 4288600944 18446744073709551615 135020403 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25465/statm: 197811 189573 215 467 0 197342 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 791244

[startup+162.301 s]
/proc/loadavg: 1.00 0.86 0.45 2/107 25470
/proc/meminfo: memFree=1015312/2059040 swapFree=4136480/4192956
[pid=25465] ppid=25463 vsize=791244 CPUtime=162.23
/proc/25465/stat : 25465 (pbct) R 25463 25465 25212 0 -1 4202496 211567 0 0 0 15952 271 0 0 25 0 1 0 123208321 810233856 189606 1992294400 134512640 136421960 4288600944 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25465/statm: 197811 189606 215 467 0 197342 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 791244

[startup+222.301 s]
/proc/loadavg: 1.00 0.88 0.48 2/107 25472
/proc/meminfo: memFree=1015064/2059040 swapFree=4136480/4192956
[pid=25465] ppid=25463 vsize=791520 CPUtime=222.22
/proc/25465/stat : 25465 (pbct) R 25463 25465 25212 0 -1 4202496 211641 0 0 0 21883 339 0 0 25 0 1 0 123208321 810516480 189680 1992294400 134512640 136421960 4288600944 18446744073709551615 134868561 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25465/statm: 197880 189680 215 467 0 197411 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 791520

[startup+282.301 s]
/proc/loadavg: 1.00 0.90 0.51 2/107 25474
/proc/meminfo: memFree=1014692/2059040 swapFree=4136480/4192956
[pid=25465] ppid=25463 vsize=791784 CPUtime=282.2
/proc/25465/stat : 25465 (pbct) R 25463 25465 25212 0 -1 4202496 211725 0 0 0 27815 405 0 0 25 0 1 0 123208321 810786816 189764 1992294400 134512640 136421960 4288600944 18446744073709551615 135006289 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25465/statm: 197946 189764 215 467 0 197477 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 791784

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

[startup+307.102 s]
/proc/loadavg: 1.00 0.91 0.52 2/107 25474
/proc/meminfo: memFree=1014444/2059040 swapFree=4136480/4192956
[pid=25465] ppid=25463 vsize=791916 CPUtime=306.99
/proc/25465/stat : 25465 (pbct) R 25463 25465 25212 0 -1 4202496 211778 0 0 0 30269 430 0 0 25 0 1 0 123208321 810921984 189817 1992294400 134512640 136421960 4288600944 18446744073709551615 135028852 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25465/statm: 197979 189817 215 467 0 197510 0
Current children cumulated CPU time (s) 306.99
Current children cumulated vsize (KiB) 791916

[startup+313.508 s]
/proc/loadavg: 1.00 0.91 0.53 2/107 25474
/proc/meminfo: memFree=1014444/2059040 swapFree=4136480/4192956
[pid=25465] ppid=25463 vsize=791916 CPUtime=313.4
/proc/25465/stat : 25465 (pbct) R 25463 25465 25212 0 -1 4202496 211779 0 0 0 30904 436 0 0 25 0 1 0 123208321 810921984 189818 1992294400 134512640 136421960 4288600944 18446744073709551615 134620057 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25465/statm: 197979 189818 215 467 0 197510 0
Current children cumulated CPU time (s) 313.4
Current children cumulated vsize (KiB) 791916

[startup+316.701 s]
/proc/loadavg: 1.00 0.91 0.53 2/107 25474
/proc/meminfo: memFree=1014444/2059040 swapFree=4136480/4192956
[pid=25465] ppid=25463 vsize=792048 CPUtime=316.6
/proc/25465/stat : 25465 (pbct) R 25463 25465 25212 0 -1 4202496 211785 0 0 0 31220 440 0 0 25 0 1 0 123208321 811057152 189824 1992294400 134512640 136421960 4288600944 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25465/statm: 198012 189824 215 467 0 197543 0
Current children cumulated CPU time (s) 316.6
Current children cumulated vsize (KiB) 792048

[startup+319.901 s]
/proc/loadavg: 1.00 0.91 0.53 3/107 25474
/proc/meminfo: memFree=1041104/2059040 swapFree=4136480/4192956
[pid=25465] ppid=25463 vsize=731248 CPUtime=319.78
/proc/25465/stat : 25465 (pbct) R 25463 25465 25212 0 -1 4202496 212080 0 0 0 31537 441 0 0 25 0 1 0 123208321 748797952 176850 1992294400 134512640 136421960 4288600944 18446744073709551615 134701435 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25465/statm: 182812 176850 240 467 0 182343 0
Current children cumulated CPU time (s) 319.78
Current children cumulated vsize (KiB) 731248

[startup+320.701 s]
/proc/loadavg: 1.00 0.91 0.53 2/107 25474
/proc/meminfo: memFree=1065904/2059040 swapFree=4136480/4192956
[pid=25465] ppid=25463 vsize=731248 CPUtime=320.58
/proc/25465/stat : 25465 (pbct) R 25463 25465 25212 0 -1 4202496 212080 0 0 0 31617 441 0 0 25 0 1 0 123208321 748797952 176850 1992294400 134512640 136421960 4288600944 18446744073709551615 135801367 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25465/statm: 182812 176850 240 467 0 182343 0
Current children cumulated CPU time (s) 320.58
Current children cumulated vsize (KiB) 731248

[startup+321.501 s]
/proc/loadavg: 1.00 0.91 0.53 3/107 25474
/proc/meminfo: memFree=1067392/2059040 swapFree=4136480/4192956
[pid=25465] ppid=25463 vsize=675276 CPUtime=321.38
/proc/25465/stat : 25465 (pbct) R 25463 25465 25212 0 -1 4202496 212080 0 0 0 31697 441 0 0 25 0 1 0 123208321 691482624 168128 1992294400 134512640 136421960 4288600944 18446744073709551615 135801163 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25465/statm: 168819 168128 240 467 0 168350 0
Current children cumulated CPU time (s) 321.38
Current children cumulated vsize (KiB) 675276

[startup+321.701 s]
/proc/loadavg: 1.00 0.91 0.53 3/107 25474
/proc/meminfo: memFree=1067392/2059040 swapFree=4136480/4192956
[pid=25465] ppid=25463 vsize=0 CPUtime=321.59
/proc/25465/stat : 25465 (pbct) R 25463 25465 25212 0 -1 4202500 212081 0 0 0 31715 444 0 0 25 0 1 0 123208321 0 0 1992294400 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/25465/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 321.59
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 321.748
CPU time (s): 321.641
CPU user time (s): 317.153
CPU system time (s): 4.48832
CPU usage (%): 99.9669
Max. virtual memory (cumulated for all children) (KiB): 793728

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

runsolver used 0.482926 second user time and 1.57376 second system time

The end