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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682096-1277483549/watcher-2682096-1277483549 -o /tmp/evaluation-result-2682096-1277483549/solver-2682096-1277483549 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682096-1277483549.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: 1.00 1.00 0.93 2/106 31030
/proc/meminfo: memFree=1786044/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=2280 CPUtime=0
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 272 0 0 0 0 0 0 0 22 0 1 0 123958932 2334720 192 1992294400 134512640 136421960 4287209456 18446744073709551615 135717557 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31030/statm: 570 192 145 467 0 101 0

[startup+0.0961131 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 31030
/proc/meminfo: memFree=1786044/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=2612 CPUtime=0.09
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 359 0 0 0 9 0 0 0 24 0 1 0 123958932 2674688 279 1992294400 134512640 136421960 4287209456 18446744073709551615 135717557 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31030/statm: 653 279 145 467 0 184 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2612

[startup+0.101113 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 31030
/proc/meminfo: memFree=1786044/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=2612 CPUtime=0.09
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 364 0 0 0 9 0 0 0 24 0 1 0 123958932 2674688 284 1992294400 134512640 136421960 4287209456 18446744073709551615 135153499 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31030/statm: 653 284 145 467 0 184 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2612

[startup+0.301137 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 31030
/proc/meminfo: memFree=1786044/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=3532 CPUtime=0.29
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 599 0 0 0 29 0 0 0 25 0 1 0 123958932 3616768 486 1992294400 134512640 136421960 4287209456 18446744073709551615 135652494 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31030/statm: 883 486 145 467 0 414 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3532

[startup+0.701183 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 31030
/proc/meminfo: memFree=1786044/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=5240 CPUtime=0.69
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 1065 0 0 0 69 0 0 0 25 0 1 0 123958932 5365760 887 1992294400 134512640 136421960 4287209456 18446744073709551615 135378072 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31030/statm: 1310 887 145 467 0 841 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5240

[startup+1.50028 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 31031
/proc/meminfo: memFree=1781820/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=41232 CPUtime=1.49
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 10340 0 0 0 144 5 0 0 25 0 1 0 123958932 42221568 9480 1992294400 134512640 136421960 4287209456 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31030/statm: 10308 9481 189 467 0 9839 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41232

[startup+3.10046 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 31031
/proc/meminfo: memFree=1607352/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=209936 CPUtime=3.09
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 54947 0 0 0 289 20 0 0 25 0 1 0 123958932 214974464 50168 1992294400 134512640 136421960 4287209456 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31030/statm: 52484 50170 236 467 0 52015 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 209936

[startup+6.30084 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 31031
/proc/meminfo: memFree=1564696/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=238876 CPUtime=6.29
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 62184 0 0 0 602 27 0 0 25 0 1 0 123958932 244609024 57403 1992294400 134512640 136421960 4287209456 18446744073709551615 135006694 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31030/statm: 59719 57403 236 467 0 59250 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 238876

[startup+12.7006 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 31031
/proc/meminfo: memFree=1507416/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=293700 CPUtime=12.69
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 75901 0 0 0 1230 39 0 0 25 0 1 0 123958932 300748800 71120 1992294400 134512640 136421960 4287209456 18446744073709551615 134864598 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31030/statm: 73425 71120 236 467 0 72956 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 293700

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 31031
/proc/meminfo: memFree=1407100/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=390136 CPUtime=25.48
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 99994 0 0 0 2486 62 0 0 25 0 1 0 123958932 399499264 95212 1992294400 134512640 136421960 4287209456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31030/statm: 97534 95212 236 467 0 97065 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 390136

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 31033
/proc/meminfo: memFree=1277892/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=517036 CPUtime=51.08
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 131729 0 0 0 5007 101 0 0 25 0 1 0 123958932 529444864 126947 1992294400 134512640 136421960 4287209456 18446744073709551615 135023265 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31030/statm: 129259 126947 236 467 0 128790 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 517036

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 31033
/proc/meminfo: memFree=1208080/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=586632 CPUtime=102.27
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 149096 0 0 0 10075 152 0 0 25 0 1 0 123958932 600711168 144314 1992294400 134512640 136421960 4287209456 18446744073709551615 134643074 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31030/statm: 146658 144314 236 467 0 146189 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 586632

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 31035
/proc/meminfo: memFree=1209072/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=584868 CPUtime=162.24
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 149097 0 0 0 16016 208 0 0 25 0 1 0 123958932 598904832 143889 1992294400 134512640 136421960 4287209456 18446744073709551615 134859688 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31030/statm: 146217 143889 236 467 0 145748 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 584868

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 31037
/proc/meminfo: memFree=1209072/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=584868 CPUtime=222.23
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 149098 0 0 0 21967 256 0 0 25 0 1 0 123958932 598904832 143889 1992294400 134512640 136421960 4287209456 18446744073709551615 134867020 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31030/statm: 146217 143889 236 467 0 145748 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 584868

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 31039
/proc/meminfo: memFree=1209072/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=584868 CPUtime=282.22
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 149098 0 0 0 27917 305 0 0 25 0 1 0 123958932 598904832 143889 1992294400 134512640 136421960 4287209456 18446744073709551615 135010223 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31030/statm: 146217 143889 236 467 0 145748 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 584868

[startup+342.302 s]
/proc/loadavg: 1.08 1.02 0.94 2/107 31041
/proc/meminfo: memFree=1209072/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=584868 CPUtime=342.2
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 149098 0 0 0 33864 356 0 0 25 0 1 0 123958932 598904832 143889 1992294400 134512640 136421960 4287209456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31030/statm: 146217 143889 236 467 0 145748 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 584868

[startup+402.302 s]
/proc/loadavg: 1.03 1.01 0.94 2/107 31041
/proc/meminfo: memFree=1209072/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=584868 CPUtime=402.19
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 149098 0 0 0 39814 405 0 0 25 0 1 0 123958932 598904832 143889 1992294400 134512640 136421960 4287209456 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31030/statm: 146217 143889 236 467 0 145748 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 584868

[startup+462.302 s]
/proc/loadavg: 1.01 1.00 0.94 2/107 31043
/proc/meminfo: memFree=1208948/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=584868 CPUtime=462.17
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 149098 0 0 0 45779 438 0 0 25 0 1 0 123958932 598904832 143889 1992294400 134512640 136421960 4287209456 18446744073709551615 134859686 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31030/statm: 146217 143889 236 467 0 145748 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 584868

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 31045
/proc/meminfo: memFree=1208948/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=584868 CPUtime=522.16
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 149098 0 0 0 51729 487 0 0 25 0 1 0 123958932 598904832 143889 1992294400 134512640 136421960 4287209456 18446744073709551615 135022223 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31030/statm: 146217 143889 236 467 0 145748 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 584868

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 31047
/proc/meminfo: memFree=1208948/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=584868 CPUtime=582.13
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 149098 0 0 0 57680 533 0 0 25 0 1 0 123958932 598904832 143889 1992294400 134512640 136421960 4287209456 18446744073709551615 135010246 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31030/statm: 146217 143889 236 467 0 145748 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 584868

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 31049
/proc/meminfo: memFree=1208948/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=584868 CPUtime=642.13
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 149098 0 0 0 63630 583 0 0 25 0 1 0 123958932 598904832 143889 1992294400 134512640 136421960 4287209456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31030/statm: 146217 143889 236 467 0 145748 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 584868

[startup+702.302 s]

################
# More data... #
################

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 31055
/proc/meminfo: memFree=1208700/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=584868 CPUtime=882.05
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 149098 0 0 0 87437 768 0 0 25 0 1 0 123958932 598904832 143889 1992294400 134512640 136421960 4287209456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31030/statm: 146217 143889 236 467 0 145748 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 584868

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 31057
/proc/meminfo: memFree=1208700/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=584868 CPUtime=942.03
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 149098 0 0 0 93399 804 0 0 25 0 1 0 123958932 598904832 143889 1992294400 134512640 136421960 4287209456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31030/statm: 146217 143889 236 467 0 145748 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 584868

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 31057
/proc/meminfo: memFree=1176088/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=617972 CPUtime=1002.02
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 157358 0 0 0 99356 846 0 0 25 0 1 0 123958932 632803328 152149 1992294400 134512640 136421960 4287209456 18446744073709551615 134859865 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31030/statm: 154493 152149 236 467 0 154024 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 617972

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 31059
/proc/meminfo: memFree=1176088/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=617972 CPUtime=1062.01
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 157360 0 0 0 105323 878 0 0 25 0 1 0 123958932 632803328 152151 1992294400 134512640 136421960 4287209456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31030/statm: 154493 152151 236 467 0 154024 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 617972

[startup+1122.3 s]
/proc/loadavg: 1.15 1.03 0.95 2/107 31061
/proc/meminfo: memFree=1175592/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=618504 CPUtime=1121.99
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 157484 0 0 0 111285 914 0 0 25 0 1 0 123958932 633348096 152275 1992294400 134512640 136421960 4287209456 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31030/statm: 154626 152275 236 467 0 154157 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 618504

[startup+1182.3 s]
/proc/loadavg: 1.13 1.04 0.95 2/107 31063
/proc/meminfo: memFree=1173112/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=620904 CPUtime=1181.97
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 158081 0 0 0 117234 963 0 0 25 0 1 0 123958932 635805696 152872 1992294400 134512640 136421960 4287209456 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31030/statm: 155226 152872 236 467 0 154757 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 620904

[startup+1242.3 s]
/proc/loadavg: 1.14 1.06 0.96 2/107 31065
/proc/meminfo: memFree=1175096/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=618040 CPUtime=1241.96
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 158081 0 0 0 123191 1005 0 0 25 0 1 0 123958932 632872960 152178 1992294400 134512640 136421960 4287209456 18446744073709551615 134859688 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31030/statm: 154510 152178 236 467 0 154041 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 618040

[startup+1302.3 s]
/proc/loadavg: 1.20 1.08 0.97 2/107 31065
/proc/meminfo: memFree=1171996/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=621768 CPUtime=1301.95
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 158991 0 0 0 129144 1051 0 0 25 0 1 0 123958932 636690432 153088 1992294400 134512640 136421960 4287209456 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31030/statm: 155442 153088 236 467 0 154973 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 621768

[startup+1362.3 s]
/proc/loadavg: 1.20 1.10 0.98 2/107 31067
/proc/meminfo: memFree=1174600/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=618536 CPUtime=1361.92
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 158991 0 0 0 135096 1096 0 0 25 0 1 0 123958932 633380864 152302 1992294400 134512640 136421960 4287209456 18446744073709551615 135006251 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31030/statm: 154634 152302 236 467 0 154165 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 618536

[startup+1422.31 s]
/proc/loadavg: 1.20 1.11 1.00 2/107 31069
/proc/meminfo: memFree=1174600/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=618536 CPUtime=1421.91
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 158991 0 0 0 141050 1141 0 0 25 0 1 0 123958932 633380864 152302 1992294400 134512640 136421960 4287209456 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31030/statm: 154634 152302 236 467 0 154165 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 618536

[startup+1482.3 s]
/proc/loadavg: 1.20 1.12 1.00 2/107 31071
/proc/meminfo: memFree=1174600/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=618536 CPUtime=1481.89
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 158991 0 0 0 147003 1186 0 0 25 0 1 0 123958932 633380864 152302 1992294400 134512640 136421960 4287209456 18446744073709551615 135010246 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31030/statm: 154634 152302 236 467 0 154165 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 618536

[startup+1542.3 s]
/proc/loadavg: 1.20 1.12 1.01 2/107 31073
/proc/meminfo: memFree=1170136/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=623708 CPUtime=1541.87
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 160268 0 0 0 152961 1226 0 0 25 0 1 0 123958932 638676992 153579 1992294400 134512640 136421960 4287209456 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31030/statm: 155927 153579 236 467 0 155458 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 623708

[startup+1602.3 s]
/proc/loadavg: 1.20 1.13 1.01 2/107 31073
/proc/meminfo: memFree=1170136/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=623708 CPUtime=1601.86
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 160268 0 0 0 158927 1259 0 0 25 0 1 0 123958932 638676992 153579 1992294400 134512640 136421960 4287209456 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31030/statm: 155927 153579 236 467 0 155458 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 623708

[startup+1662.3 s]
/proc/loadavg: 1.24 1.15 1.02 2/107 31075
/proc/meminfo: memFree=1172120/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=621016 CPUtime=1661.85
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 160268 0 0 0 164878 1307 0 0 25 0 1 0 123958932 635920384 152922 1992294400 134512640 136421960 4287209456 18446744073709551615 134859688 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31030/statm: 155254 152922 236 467 0 154785 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 621016

[startup+1722.3 s]
/proc/loadavg: 1.23 1.16 1.03 2/107 31086
/proc/meminfo: memFree=1171500/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=621016 CPUtime=1721.81
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 160268 0 0 0 170823 1358 0 0 25 0 1 0 123958932 635920384 152922 1992294400 134512640 136421960 4287209456 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31030/statm: 155254 152922 236 467 0 154785 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 621016

[startup+1782.3 s]
/proc/loadavg: 1.20 1.15 1.03 2/107 31088
/proc/meminfo: memFree=1171624/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=621016 CPUtime=1781.8
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 160268 0 0 0 176772 1408 0 0 25 0 1 0 123958932 635920384 152922 1992294400 134512640 136421960 4287209456 18446744073709551615 134864686 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31030/statm: 155254 152922 236 467 0 154785 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 621016



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.16 1.14 1.03 2/107 31088
/proc/meminfo: memFree=1171624/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=621016 CPUtime=1800
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 160268 0 0 0 178580 1420 0 0 25 0 1 0 123958932 635920384 152922 1992294400 134512640 136421960 4287209456 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31030/statm: 155254 152922 236 467 0 154785 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 621016

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.5 s]
/proc/loadavg: 1.16 1.14 1.03 2/107 31088
/proc/meminfo: memFree=1171624/2059040 swapFree=4136396/4192956
[pid=31030] ppid=31028 vsize=621016 CPUtime=1800
/proc/31030/stat : 31030 (pbct) R 31028 31030 30354 0 -1 4202496 160268 0 0 0 178580 1420 0 0 25 0 1 0 123958932 635920384 152922 1992294400 134512640 136421960 4287209456 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31030/statm: 155254 152922 236 467 0 154785 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 621016

Child status: 0
Real time (s): 1800.57
CPU time (s): 1800.08
CPU user time (s): 1785.81
CPU system time (s): 14.2678
CPU usage (%): 99.9724
Max. virtual memory (cumulated for all children) (KiB): 623708

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

runsolver used 2.75258 second user time and 8.72667 second system time

The end