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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682624-1277476084/watcher-2682624-1277476084 -o /tmp/evaluation-result-2682624-1277476084/solver-2682624-1277476084 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682624-1277476084.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.91 0.76 0.37 3/106 20934
/proc/meminfo: memFree=1793160/2059040 swapFree=4136184/4192956
[pid=20934] ppid=20932 vsize=2136 CPUtime=0
/proc/20934/stat : 20934 (pbct) R 20932 20934 20789 0 -1 4202496 247 0 0 0 0 0 0 0 21 0 1 0 121260287 2187264 167 1992294400 134512640 136421960 4288768240 18446744073709551615 135523838 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20934/statm: 534 167 144 467 0 65 0

[startup+0.108458 s]
/proc/loadavg: 0.91 0.76 0.37 3/106 20934
/proc/meminfo: memFree=1793160/2059040 swapFree=4136184/4192956
[pid=20934] ppid=20932 vsize=2400 CPUtime=0.1
/proc/20934/stat : 20934 (pbct) R 20932 20934 20789 0 -1 4202496 324 0 0 0 10 0 0 0 23 0 1 0 121260287 2457600 244 1992294400 134512640 136421960 4288768240 18446744073709551615 135818454 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20934/statm: 600 244 144 467 0 131 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2400

[startup+0.201475 s]
/proc/loadavg: 0.91 0.76 0.37 3/106 20934
/proc/meminfo: memFree=1793160/2059040 swapFree=4136184/4192956
[pid=20934] ppid=20932 vsize=2796 CPUtime=0.19
/proc/20934/stat : 20934 (pbct) R 20932 20934 20789 0 -1 4202496 402 0 0 0 19 0 0 0 23 0 1 0 121260287 2863104 322 1992294400 134512640 136421960 4288768240 18446744073709551615 135372685 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20934/statm: 699 322 144 467 0 230 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 2796

[startup+0.301493 s]
/proc/loadavg: 0.91 0.76 0.37 3/106 20934
/proc/meminfo: memFree=1793160/2059040 swapFree=4136184/4192956
[pid=20934] ppid=20932 vsize=3060 CPUtime=0.29
/proc/20934/stat : 20934 (pbct) R 20932 20934 20789 0 -1 4202496 471 0 0 0 29 0 0 0 24 0 1 0 121260287 3133440 391 1992294400 134512640 136421960 4288768240 18446744073709551615 135818274 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20934/statm: 765 391 144 467 0 296 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3060

[startup+0.701565 s]
/proc/loadavg: 0.91 0.76 0.37 3/106 20934
/proc/meminfo: memFree=1793160/2059040 swapFree=4136184/4192956
[pid=20934] ppid=20932 vsize=4244 CPUtime=0.69
/proc/20934/stat : 20934 (pbct) R 20932 20934 20789 0 -1 4202496 810 0 0 0 69 0 0 0 25 0 1 0 121260287 4345856 697 1992294400 134512640 136421960 4288768240 18446744073709551615 135641987 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20934/statm: 1061 697 144 467 0 592 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4244

[startup+1.50171 s]
/proc/loadavg: 0.91 0.76 0.37 2/107 20935
/proc/meminfo: memFree=1789556/2059040 swapFree=4136184/4192956
[pid=20934] ppid=20932 vsize=6612 CPUtime=1.49
/proc/20934/stat : 20934 (pbct) R 20932 20934 20789 0 -1 4202496 1484 0 0 0 148 1 0 0 25 0 1 0 121260287 6770688 1306 1992294400 134512640 136421960 4288768240 18446744073709551615 135161815 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20934/statm: 1653 1306 144 467 0 1184 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6612

[startup+3.101 s]
/proc/loadavg: 0.91 0.76 0.37 2/107 20935
/proc/meminfo: memFree=1785960/2059040 swapFree=4136184/4192956
[pid=20934] ppid=20932 vsize=12504 CPUtime=3.09
/proc/20934/stat : 20934 (pbct) R 20932 20934 20789 0 -1 4202496 3086 0 0 0 307 2 0 0 25 0 1 0 121260287 12804096 2522 1992294400 134512640 136421960 4288768240 18446744073709551615 135528630 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20934/statm: 3126 2522 144 467 0 2657 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12504

[startup+6.30158 s]
/proc/loadavg: 1.08 0.80 0.38 2/107 20935
/proc/meminfo: memFree=1674360/2059040 swapFree=4136184/4192956
[pid=20934] ppid=20932 vsize=174784 CPUtime=6.29
/proc/20934/stat : 20934 (pbct) R 20932 20934 20789 0 -1 4202496 49426 0 0 0 611 18 0 0 25 0 1 0 121260287 178978816 41466 1992294400 134512640 136421960 4288768240 18446744073709551615 134706995 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/20934/statm: 43696 41466 187 467 0 43227 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 174784

[startup+12.7007 s]
/proc/loadavg: 1.07 0.80 0.38 2/107 20935
/proc/meminfo: memFree=1054980/2059040 swapFree=4136184/4192956
[pid=20934] ppid=20932 vsize=776072 CPUtime=12.69
/proc/20934/stat : 20934 (pbct) R 20932 20934 20789 0 -1 4202496 207310 0 0 0 1190 79 0 0 25 0 1 0 121260287 794697728 185748 1992294400 134512640 136421960 4288768240 18446744073709551615 134587026 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/20934/statm: 194018 185748 203 467 0 193549 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 776072

[startup+25.5011 s]
/proc/loadavg: 1.06 0.81 0.39 2/107 20937
/proc/meminfo: memFree=1034272/2059040 swapFree=4136184/4192956
[pid=20934] ppid=20932 vsize=790484 CPUtime=25.48
/proc/20934/stat : 20934 (pbct) R 20932 20934 20789 0 -1 4202496 211346 0 0 0 2449 99 0 0 25 0 1 0 121260287 809455616 189397 1992294400 134512640 136421960 4288768240 18446744073709551615 135028347 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/20934/statm: 197621 189397 215 467 0 197152 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 790484

[startup+51.1017 s]
/proc/loadavg: 1.04 0.82 0.41 2/107 20937
/proc/meminfo: memFree=1033652/2059040 swapFree=4136184/4192956
[pid=20934] ppid=20932 vsize=791012 CPUtime=51.07
/proc/20934/stat : 20934 (pbct) R 20932 20934 20789 0 -1 4202496 211479 0 0 0 4973 134 0 0 25 0 1 0 121260287 809996288 189530 1992294400 134512640 136421960 4288768240 18446744073709551615 135028329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/20934/statm: 197753 189530 215 467 0 197284 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 791012

[startup+102.301 s]
/proc/loadavg: 1.01 0.85 0.44 2/107 20939
/proc/meminfo: memFree=1033404/2059040 swapFree=4136184/4192956
[pid=20934] ppid=20932 vsize=791144 CPUtime=102.26
/proc/20934/stat : 20934 (pbct) R 20932 20934 20789 0 -1 4202496 211556 0 0 0 10025 201 0 0 25 0 1 0 121260287 810131456 189607 1992294400 134512640 136421960 4288768240 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/20934/statm: 197786 189607 215 467 0 197317 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 791144

[startup+162.301 s]
/proc/loadavg: 1.00 0.87 0.47 2/107 20939
/proc/meminfo: memFree=1033156/2059040 swapFree=4136184/4192956
[pid=20934] ppid=20932 vsize=791304 CPUtime=162.24
/proc/20934/stat : 20934 (pbct) R 20932 20934 20789 0 -1 4202496 211600 0 0 0 15950 274 0 0 25 0 1 0 121260287 810295296 189651 1992294400 134512640 136421960 4288768240 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/20934/statm: 197826 189651 215 467 0 197357 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 791304

[startup+222.309 s]
/proc/loadavg: 1.00 0.89 0.50 2/107 20941
/proc/meminfo: memFree=1033032/2059040 swapFree=4136184/4192956
[pid=20934] ppid=20932 vsize=791436 CPUtime=222.23
/proc/20934/stat : 20934 (pbct) R 20932 20934 20789 0 -1 4202496 211626 0 0 0 21878 345 0 0 25 0 1 0 121260287 810430464 189677 1992294400 134512640 136421960 4288768240 18446744073709551615 134642113 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/20934/statm: 197859 189677 215 467 0 197390 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 791436

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

[startup+230.401 s]
/proc/loadavg: 1.00 0.89 0.50 2/107 20941
/proc/meminfo: memFree=1033032/2059040 swapFree=4136184/4192956
[pid=20934] ppid=20932 vsize=791568 CPUtime=230.31
/proc/20934/stat : 20934 (pbct) R 20932 20934 20789 0 -1 4202496 211651 0 0 0 22679 352 0 0 25 0 1 0 121260287 810565632 189702 1992294400 134512640 136421960 4288768240 18446744073709551615 135025665 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/20934/statm: 197892 189702 215 467 0 197423 0
Current children cumulated CPU time (s) 230.31
Current children cumulated vsize (KiB) 791568

[startup+236.801 s]
/proc/loadavg: 1.00 0.90 0.51 2/107 20941
/proc/meminfo: memFree=1033032/2059040 swapFree=4136184/4192956
[pid=20934] ppid=20932 vsize=791568 CPUtime=236.71
/proc/20934/stat : 20934 (pbct) R 20932 20934 20789 0 -1 4202496 211651 0 0 0 23310 361 0 0 25 0 1 0 121260287 810565632 189702 1992294400 134512640 136421960 4288768240 18446744073709551615 134643238 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/20934/statm: 197892 189702 215 467 0 197423 0
Current children cumulated CPU time (s) 236.71
Current children cumulated vsize (KiB) 791568

[startup+240.001 s]
/proc/loadavg: 1.00 0.90 0.51 2/107 20941
/proc/meminfo: memFree=1033032/2059040 swapFree=4136184/4192956
[pid=20934] ppid=20932 vsize=791568 CPUtime=239.91
/proc/20934/stat : 20934 (pbct) R 20932 20934 20789 0 -1 4202496 211651 0 0 0 23626 365 0 0 25 0 1 0 121260287 810565632 189702 1992294400 134512640 136421960 4288768240 18446744073709551615 135025621 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/20934/statm: 197892 189702 215 467 0 197423 0
Current children cumulated CPU time (s) 239.91
Current children cumulated vsize (KiB) 791568

[startup+243.209 s]
/proc/loadavg: 1.00 0.90 0.51 2/107 20943
/proc/meminfo: memFree=1059568/2059040 swapFree=4136184/4192956
[pid=20934] ppid=20932 vsize=756824 CPUtime=243.11
/proc/20934/stat : 20934 (pbct) R 20932 20934 20789 0 -1 4202496 211974 0 0 0 23943 368 0 0 25 0 1 0 121260287 774987776 182934 1992294400 134512640 136421960 4288768240 18446744073709551615 134654884 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/20934/statm: 189206 182934 240 467 0 188737 0
Current children cumulated CPU time (s) 243.11
Current children cumulated vsize (KiB) 756824

[startup+244.801 s]
/proc/loadavg: 1.00 0.90 0.51 2/107 20943
/proc/meminfo: memFree=1084368/2059040 swapFree=4136184/4192956
[pid=20934] ppid=20932 vsize=730900 CPUtime=244.71
/proc/20934/stat : 20934 (pbct) R 20932 20934 20789 0 -1 4202496 211974 0 0 0 24102 369 0 0 25 0 1 0 121260287 748441600 176756 1992294400 134512640 136421960 4288768240 18446744073709551615 134701458 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/20934/statm: 182725 176756 240 467 0 182256 0
Current children cumulated CPU time (s) 244.71
Current children cumulated vsize (KiB) 730900

[startup+245.201 s]
/proc/loadavg: 1.00 0.90 0.51 2/107 20943
/proc/meminfo: memFree=1084368/2059040 swapFree=4136184/4192956
[pid=20934] ppid=20932 vsize=729360 CPUtime=245.11
/proc/20934/stat : 20934 (pbct) R 20932 20934 20789 0 -1 4202496 211974 0 0 0 24142 369 0 0 25 0 1 0 121260287 746864640 176371 1992294400 134512640 136421960 4288768240 18446744073709551615 135818225 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/20934/statm: 182340 176371 240 467 0 181871 0
Current children cumulated CPU time (s) 245.11
Current children cumulated vsize (KiB) 729360

[startup+245.601 s]
/proc/loadavg: 1.00 0.90 0.51 2/107 20943
/proc/meminfo: memFree=1085856/2059040 swapFree=4136184/4192956
[pid=20934] ppid=20932 vsize=674928 CPUtime=245.51
/proc/20934/stat : 20934 (pbct) R 20932 20934 20789 0 -1 4202496 211974 0 0 0 24182 369 0 0 25 0 1 0 121260287 691126272 168034 1992294400 134512640 136421960 4288768240 18446744073709551615 135801367 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/20934/statm: 168732 168034 240 467 0 168263 0
Current children cumulated CPU time (s) 245.51
Current children cumulated vsize (KiB) 674928

[startup+245.701 s]
/proc/loadavg: 1.00 0.90 0.51 2/107 20943
/proc/meminfo: memFree=1085856/2059040 swapFree=4136184/4192956
[pid=20934] ppid=20932 vsize=0 CPUtime=245.61
/proc/20934/stat : 20934 (pbct) R 20932 20934 20789 0 -1 4202500 211975 0 0 0 24188 373 0 0 25 0 1 0 121260287 0 0 1992294400 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/20934/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 245.61
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 245.735
CPU time (s): 245.653
CPU user time (s): 241.888
CPU system time (s): 3.76443
CPU usage (%): 99.9666
Max. virtual memory (cumulated for all children) (KiB): 793380

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

runsolver used 0.430934 second user time and 1.17482 second system time

The end