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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682627-1277476114/watcher-2682627-1277476114 -o /tmp/evaluation-result-2682627-1277476114/solver-2682627-1277476114 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682627-1277476114.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/107 23528
/proc/meminfo: memFree=1738680/2059040 swapFree=4139780/4192956
[pid=23528] ppid=23526 vsize=2136 CPUtime=0
/proc/23528/stat : 23528 (pbct) R 23526 23528 23356 0 -1 4202496 246 0 0 0 0 0 0 0 20 0 1 0 121267222 2187264 166 1992294400 134512640 136421960 4291391648 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23528/statm: 534 166 144 467 0 65 0

[startup+0.0627389 s]
/proc/loadavg: 0.99 0.79 0.39 3/107 23528
/proc/meminfo: memFree=1738680/2059040 swapFree=4139780/4192956
[pid=23528] ppid=23526 vsize=2268 CPUtime=0.06
/proc/23528/stat : 23528 (pbct) R 23526 23528 23356 0 -1 4202496 288 0 0 0 6 0 0 0 20 0 1 0 121267222 2322432 208 1992294400 134512640 136421960 4291391648 18446744073709551615 135809561 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23528/statm: 567 208 144 467 0 98 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2268

[startup+0.101741 s]
/proc/loadavg: 0.99 0.79 0.39 3/107 23528
/proc/meminfo: memFree=1738680/2059040 swapFree=4139780/4192956
[pid=23528] ppid=23526 vsize=2400 CPUtime=0.1
/proc/23528/stat : 23528 (pbct) R 23526 23528 23356 0 -1 4202496 320 0 0 0 10 0 0 0 20 0 1 0 121267222 2457600 240 1992294400 134512640 136421960 4291391648 18446744073709551615 134531764 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23528/statm: 600 240 144 467 0 131 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2400

[startup+0.301759 s]
/proc/loadavg: 0.99 0.79 0.39 3/107 23528
/proc/meminfo: memFree=1738680/2059040 swapFree=4139780/4192956
[pid=23528] ppid=23526 vsize=3060 CPUtime=0.3
/proc/23528/stat : 23528 (pbct) R 23526 23528 23356 0 -1 4202496 470 0 0 0 30 0 0 0 20 0 1 0 121267222 3133440 390 1992294400 134512640 136421960 4291391648 18446744073709551615 135818268 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23528/statm: 765 391 144 467 0 296 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 3060

[startup+0.700797 s]
/proc/loadavg: 0.99 0.79 0.39 3/107 23528
/proc/meminfo: memFree=1738680/2059040 swapFree=4139780/4192956
[pid=23528] ppid=23526 vsize=4244 CPUtime=0.69
/proc/23528/stat : 23528 (pbct) R 23526 23528 23356 0 -1 4202496 808 0 0 0 69 0 0 0 20 0 1 0 121267222 4345856 695 1992294400 134512640 136421960 4291391648 18446744073709551615 135372721 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23528/statm: 1061 695 144 467 0 592 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4244

[startup+1.50087 s]
/proc/loadavg: 0.99 0.79 0.39 2/108 23529
/proc/meminfo: memFree=1734952/2059040 swapFree=4139780/4192956
[pid=23528] ppid=23526 vsize=6612 CPUtime=1.49
/proc/23528/stat : 23528 (pbct) R 23526 23528 23356 0 -1 4202496 1484 0 0 0 148 1 0 0 23 0 1 0 121267222 6770688 1306 1992294400 134512640 136421960 4291391648 18446744073709551615 135152787 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23528/statm: 1653 1306 144 467 0 1184 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6612

[startup+3.10101 s]
/proc/loadavg: 0.99 0.79 0.39 2/108 23529
/proc/meminfo: memFree=1731604/2059040 swapFree=4139780/4192956
[pid=23528] ppid=23526 vsize=12504 CPUtime=3.09
/proc/23528/stat : 23528 (pbct) R 23526 23528 23356 0 -1 4202496 3089 0 0 0 307 2 0 0 25 0 1 0 121267222 12804096 2525 1992294400 134512640 136421960 4291391648 18446744073709551615 135526731 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23528/statm: 3126 2525 144 467 0 2657 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12504

[startup+6.3013 s]
/proc/loadavg: 0.99 0.80 0.39 2/108 23529
/proc/meminfo: memFree=1624592/2059040 swapFree=4139780/4192956
[pid=23528] ppid=23526 vsize=174916 CPUtime=6.29
/proc/23528/stat : 23528 (pbct) R 23526 23528 23356 0 -1 4202496 49447 0 0 0 611 18 0 0 25 0 1 0 121267222 179113984 41487 1992294400 134512640 136421960 4291391648 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23528/statm: 43729 41487 187 467 0 43260 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 174916

[startup+12.7009 s]
/proc/loadavg: 0.99 0.80 0.40 2/108 23529
/proc/meminfo: memFree=1002360/2059040 swapFree=4139780/4192956
[pid=23528] ppid=23526 vsize=771984 CPUtime=12.69
/proc/23528/stat : 23528 (pbct) R 23526 23528 23356 0 -1 4202496 206252 0 0 0 1194 75 0 0 25 0 1 0 121267222 790511616 185716 1992294400 134512640 136421960 4291391648 18446744073709551615 135818268 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23528/statm: 192996 185716 203 467 0 192527 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 771984

[startup+25.501 s]
/proc/loadavg: 0.99 0.81 0.41 2/108 23531
/proc/meminfo: memFree=979916/2059040 swapFree=4139780/4192956
[pid=23528] ppid=23526 vsize=790596 CPUtime=25.49
/proc/23528/stat : 23528 (pbct) R 23526 23528 23356 0 -1 4202496 211363 0 0 0 2455 94 0 0 25 0 1 0 121267222 809570304 189414 1992294400 134512640 136421960 4291391648 18446744073709551615 135006289 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23528/statm: 197649 189414 215 467 0 197180 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 790596

[startup+51.1013 s]
/proc/loadavg: 0.99 0.82 0.42 2/108 23531
/proc/meminfo: memFree=979296/2059040 swapFree=4139780/4192956
[pid=23528] ppid=23526 vsize=790992 CPUtime=51.06
/proc/23528/stat : 23528 (pbct) R 23526 23528 23356 0 -1 4202496 211485 0 0 0 4976 130 0 0 25 0 1 0 121267222 809975808 189536 1992294400 134512640 136421960 4291391648 18446744073709551615 135025658 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23528/statm: 197748 189536 215 467 0 197279 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 790992

[startup+102.309 s]
/proc/loadavg: 0.99 0.85 0.45 2/108 23533
/proc/meminfo: memFree=979048/2059040 swapFree=4139780/4192956
[pid=23528] ppid=23526 vsize=791388 CPUtime=102.25
/proc/23528/stat : 23528 (pbct) R 23526 23528 23356 0 -1 4202496 211581 0 0 0 10027 198 0 0 25 0 1 0 121267222 810381312 189632 1992294400 134512640 136421960 4291391648 18446744073709551615 135028875 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23528/statm: 197847 189632 215 467 0 197378 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 791388

[startup+162.301 s]
/proc/loadavg: 0.99 0.87 0.48 2/108 23533
/proc/meminfo: memFree=978924/2059040 swapFree=4139780/4192956
[pid=23528] ppid=23526 vsize=791388 CPUtime=162.23
/proc/23528/stat : 23528 (pbct) R 23526 23528 23356 0 -1 4202496 211612 0 0 0 15950 273 0 0 25 0 1 0 121267222 810381312 189663 1992294400 134512640 136421960 4291391648 18446744073709551615 135028864 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23528/statm: 197847 189663 215 467 0 197378 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 791388

[startup+222.302 s]
/proc/loadavg: 0.99 0.89 0.51 2/108 23535
/proc/meminfo: memFree=978676/2059040 swapFree=4139780/4192956
[pid=23528] ppid=23526 vsize=791684 CPUtime=222.22
/proc/23528/stat : 23528 (pbct) R 23526 23528 23356 0 -1 4202496 211666 0 0 0 21876 346 0 0 25 0 1 0 121267222 810684416 189717 1992294400 134512640 136421960 4291391648 18446744073709551615 135028347 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23528/statm: 197921 189717 215 467 0 197452 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 791684

[startup+282.302 s]
/proc/loadavg: 0.99 0.91 0.54 2/108 23537
/proc/meminfo: memFree=978428/2059040 swapFree=4139780/4192956
[pid=23528] ppid=23526 vsize=791948 CPUtime=282.21
/proc/23528/stat : 23528 (pbct) R 23526 23528 23356 0 -1 4202496 211759 0 0 0 27812 409 0 0 25 0 1 0 121267222 810954752 189810 1992294400 134512640 136421960 4291391648 18446744073709551615 135006251 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23528/statm: 197987 189810 215 467 0 197518 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 791948

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

[startup+294.301 s]
/proc/loadavg: 0.99 0.91 0.54 2/108 23537
/proc/meminfo: memFree=978304/2059040 swapFree=4139780/4192956
[pid=23528] ppid=23526 vsize=792080 CPUtime=294.2
/proc/23528/stat : 23528 (pbct) R 23526 23528 23356 0 -1 4202496 211786 0 0 0 28997 423 0 0 25 0 1 0 121267222 811089920 189837 1992294400 134512640 136421960 4291391648 18446744073709551615 135686268 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23528/statm: 198020 189837 215 467 0 197551 0
Current children cumulated CPU time (s) 294.2
Current children cumulated vsize (KiB) 792080

[startup+300.701 s]
/proc/loadavg: 0.99 0.91 0.55 2/108 23537
/proc/meminfo: memFree=978304/2059040 swapFree=4139780/4192956
[pid=23528] ppid=23526 vsize=792080 CPUtime=300.6
/proc/23528/stat : 23528 (pbct) R 23526 23528 23356 0 -1 4202496 211787 0 0 0 29632 428 0 0 25 0 1 0 121267222 811089920 189838 1992294400 134512640 136421960 4291391648 18446744073709551615 135686965 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23528/statm: 198020 189838 215 467 0 197551 0
Current children cumulated CPU time (s) 300.6
Current children cumulated vsize (KiB) 792080

[startup+307.101 s]
/proc/loadavg: 0.99 0.92 0.55 2/108 23537
/proc/meminfo: memFree=978304/2059040 swapFree=4139780/4192956
[pid=23528] ppid=23526 vsize=792080 CPUtime=307
/proc/23528/stat : 23528 (pbct) R 23526 23528 23356 0 -1 4202496 211790 0 0 0 30266 434 0 0 25 0 1 0 121267222 811089920 189841 1992294400 134512640 136421960 4291391648 18446744073709551615 134861890 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23528/statm: 198020 189841 215 467 0 197551 0
Current children cumulated CPU time (s) 307
Current children cumulated vsize (KiB) 792080

[startup+308.7 s]
/proc/loadavg: 0.99 0.92 0.55 2/108 23537
/proc/meminfo: memFree=991076/2059040 swapFree=4139780/4192956
[pid=23528] ppid=23526 vsize=757204 CPUtime=308.6
/proc/23528/stat : 23528 (pbct) R 23526 23528 23356 0 -1 4202496 212063 0 0 0 30425 435 0 0 25 0 1 0 121267222 775376896 183023 1992294400 134512640 136421960 4291391648 18446744073709551615 134654884 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23528/statm: 189301 183023 240 467 0 188832 0
Current children cumulated CPU time (s) 308.6
Current children cumulated vsize (KiB) 757204

[startup+310.301 s]
/proc/loadavg: 0.99 0.92 0.55 2/108 23537
/proc/meminfo: memFree=1029888/2059040 swapFree=4139780/4192956
[pid=23528] ppid=23526 vsize=731280 CPUtime=310.2
/proc/23528/stat : 23528 (pbct) R 23526 23528 23356 0 -1 4202496 212063 0 0 0 30585 435 0 0 25 0 1 0 121267222 748830720 176845 1992294400 134512640 136421960 4291391648 18446744073709551615 135801301 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23528/statm: 182820 176845 240 467 0 182351 0
Current children cumulated CPU time (s) 310.2
Current children cumulated vsize (KiB) 731280

[startup+310.701 s]
/proc/loadavg: 0.99 0.92 0.55 2/108 23537
/proc/meminfo: memFree=1029888/2059040 swapFree=4139780/4192956
[pid=23528] ppid=23526 vsize=729740 CPUtime=310.6
/proc/23528/stat : 23528 (pbct) R 23526 23528 23356 0 -1 4202496 212063 0 0 0 30625 435 0 0 25 0 1 0 121267222 747253760 176460 1992294400 134512640 136421960 4291391648 18446744073709551615 135818225 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23528/statm: 182435 176460 240 467 0 181966 0
Current children cumulated CPU time (s) 310.6
Current children cumulated vsize (KiB) 729740

[startup+311.101 s]
/proc/loadavg: 0.99 0.92 0.55 2/108 23537
/proc/meminfo: memFree=1029888/2059040 swapFree=4139780/4192956
[pid=23528] ppid=23526 vsize=675308 CPUtime=311
/proc/23528/stat : 23528 (pbct) R 23526 23528 23356 0 -1 4202496 212063 0 0 0 30664 436 0 0 25 0 1 0 121267222 691515392 168122 1992294400 134512640 136421960 4291391648 18446744073709551615 135801307 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23528/statm: 168827 168122 240 467 0 168358 0
Current children cumulated CPU time (s) 311
Current children cumulated vsize (KiB) 675308

Child status: 0
Real time (s): 311.19
CPU time (s): 311.098
CPU user time (s): 306.665
CPU system time (s): 4.43233
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 793760

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

runsolver used 0.497924 second user time and 1.49877 second system time

The end