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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682070-1277483050/watcher-2682070-1277483050 -o /tmp/evaluation-result-2682070-1277483050/solver-2682070-1277483050 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682070-1277483050.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.92 3/106 28483
/proc/meminfo: memFree=1803804/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=2280 CPUtime=0
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 272 0 0 0 0 0 0 0 22 0 1 0 89595736 2334720 192 1992294400 134512640 136421960 4289287744 18446744073709551615 135809504 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28483/statm: 570 192 145 467 0 101 0

[startup+0.0521209 s]
/proc/loadavg: 1.00 1.00 0.92 3/106 28483
/proc/meminfo: memFree=1803804/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=2428 CPUtime=0.05
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 314 0 0 0 5 0 0 0 22 0 1 0 89595736 2486272 234 1992294400 134512640 136421960 4289287744 18446744073709551615 135158942 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28483/statm: 607 234 145 467 0 138 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2428

[startup+0.101126 s]
/proc/loadavg: 1.00 1.00 0.92 3/106 28483
/proc/meminfo: memFree=1803804/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=2604 CPUtime=0.09
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 362 0 0 0 9 0 0 0 23 0 1 0 89595736 2666496 282 1992294400 134512640 136421960 4289287744 18446744073709551615 134553599 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28483/statm: 651 282 145 467 0 182 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2604

[startup+0.301148 s]
/proc/loadavg: 1.00 1.00 0.92 3/106 28483
/proc/meminfo: memFree=1803804/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=3524 CPUtime=0.29
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 594 0 0 0 29 0 0 0 23 0 1 0 89595736 3608576 481 1992294400 134512640 136421960 4289287744 18446744073709551615 135818305 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28483/statm: 881 481 145 467 0 412 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3524

[startup+0.701192 s]
/proc/loadavg: 1.00 1.00 0.92 3/106 28483
/proc/meminfo: memFree=1803804/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=5232 CPUtime=0.69
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 1056 0 0 0 69 0 0 0 25 0 1 0 89595736 5357568 878 1992294400 134512640 136421960 4289287744 18446744073709551615 135153487 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28483/statm: 1308 878 145 467 0 839 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5232

[startup+1.50128 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28484
/proc/meminfo: memFree=1796604/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=49836 CPUtime=1.49
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 12927 0 0 0 144 5 0 0 25 0 1 0 89595736 51032064 11874 1992294400 134512640 136421960 4289287744 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28483/statm: 12459 11875 189 467 0 11990 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49836

[startup+3.10046 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28484
/proc/meminfo: memFree=1638876/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=185952 CPUtime=3.09
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 48197 0 0 0 290 19 0 0 25 0 1 0 89595736 190414848 44330 1992294400 134512640 136421960 4289287744 18446744073709551615 134859828 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28483/statm: 46488 44330 236 467 0 46019 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 185952

[startup+6.30081 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28484
/proc/meminfo: memFree=1604652/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=216276 CPUtime=6.29
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 55766 0 0 0 603 26 0 0 25 0 1 0 89595736 221466624 51899 1992294400 134512640 136421960 4289287744 18446744073709551615 135010296 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28483/statm: 54069 51899 236 467 0 53600 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 216276

[startup+12.7005 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28484
/proc/meminfo: memFree=1546124/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=272084 CPUtime=12.69
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 69707 0 0 0 1229 40 0 0 25 0 1 0 89595736 278614016 65839 1992294400 134512640 136421960 4289287744 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28483/statm: 68021 65839 236 467 0 67552 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 272084

[startup+25.5009 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28484
/proc/meminfo: memFree=1443824/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=370808 CPUtime=25.48
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 94388 0 0 0 2486 62 0 0 25 0 1 0 89595736 379707392 90520 1992294400 134512640 136421960 4289287744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28483/statm: 92702 90520 236 467 0 92233 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 370808

[startup+51.1008 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28484
/proc/meminfo: memFree=1334828/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=477212 CPUtime=51.08
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 120993 0 0 0 5011 97 0 0 25 0 1 0 89595736 488665088 117125 1992294400 134512640 136421960 4289287744 18446744073709551615 134864498 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28483/statm: 119303 117125 236 467 0 118834 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 477212

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28486
/proc/meminfo: memFree=1318212/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=493584 CPUtime=102.27
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 125083 0 0 0 10082 145 0 0 25 0 1 0 89595736 505430016 121214 1992294400 134512640 136421960 4289287744 18446744073709551615 134859540 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28483/statm: 123396 121214 236 467 0 122927 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 493584

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28488
/proc/meminfo: memFree=1318088/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=493584 CPUtime=162.25
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 125083 0 0 0 16020 205 0 0 25 0 1 0 89595736 505430016 121214 1992294400 134512640 136421960 4289287744 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28483/statm: 123396 121214 236 467 0 122927 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 493584

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28490
/proc/meminfo: memFree=1317964/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=493584 CPUtime=222.24
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 125083 0 0 0 21964 260 0 0 25 0 1 0 89595736 505430016 121214 1992294400 134512640 136421960 4289287744 18446744073709551615 134860118 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28483/statm: 123396 121214 236 467 0 122927 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 493584

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28492
/proc/meminfo: memFree=1317964/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=493584 CPUtime=282.22
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 125084 0 0 0 27910 312 0 0 25 0 1 0 89595736 505430016 121214 1992294400 134512640 136421960 4289287744 18446744073709551615 135006694 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28483/statm: 123396 121214 236 467 0 122927 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 493584

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28492
/proc/meminfo: memFree=1317840/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=493584 CPUtime=342.2
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 125084 0 0 0 33853 367 0 0 25 0 1 0 89595736 505430016 121214 1992294400 134512640 136421960 4289287744 18446744073709551615 134864654 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28483/statm: 123396 121214 236 467 0 122927 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 493584

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28494
/proc/meminfo: memFree=1317716/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=493584 CPUtime=402.19
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 125084 0 0 0 39810 409 0 0 25 0 1 0 89595736 505430016 121214 1992294400 134512640 136421960 4289287744 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28483/statm: 123396 121214 236 467 0 122927 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 493584

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28496
/proc/meminfo: memFree=1317716/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=493584 CPUtime=462.17
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 125084 0 0 0 45760 457 0 0 25 0 1 0 89595736 505430016 121214 1992294400 134512640 136421960 4289287744 18446744073709551615 135810238 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28483/statm: 123396 121214 236 467 0 122927 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 493584

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28501
/proc/meminfo: memFree=1316848/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=493584 CPUtime=522.15
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 125084 0 0 0 51704 511 0 0 25 0 1 0 89595736 505430016 121214 1992294400 134512640 136421960 4289287744 18446744073709551615 134863692 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28483/statm: 123396 121214 236 467 0 122927 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 493584

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28503
/proc/meminfo: memFree=1316848/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=493584 CPUtime=582.14
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 125084 0 0 0 57651 563 0 0 25 0 1 0 89595736 505430016 121214 1992294400 134512640 136421960 4289287744 18446744073709551615 134862093 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28483/statm: 123396 121214 236 467 0 122927 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 493584

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28503
/proc/meminfo: memFree=1316972/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=493584 CPUtime=642.12
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 125084 0 0 0 63601 611 0 0 25 0 1 0 89595736 505430016 121214 1992294400 134512640 136421960 4289287744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28483/statm: 123396 121214 236 467 0 122927 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 493584

[startup+702.302 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28511
/proc/meminfo: memFree=1304572/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=506704 CPUtime=882.06
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 128359 0 0 0 87397 809 0 0 25 0 1 0 89595736 518864896 124489 1992294400 134512640 136421960 4289287744 18446744073709551615 135022223 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28483/statm: 126676 124489 236 467 0 126207 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 506704

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28511
/proc/meminfo: memFree=1303208/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=508164 CPUtime=942.04
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 128722 0 0 0 93363 841 0 0 25 0 1 0 89595736 520359936 124852 1992294400 134512640 136421960 4289287744 18446744073709551615 134862304 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28483/statm: 127041 124852 236 467 0 126572 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 508164

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28513
/proc/meminfo: memFree=1303084/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=508164 CPUtime=1002.02
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 128722 0 0 0 99314 888 0 0 25 0 1 0 89595736 520359936 124852 1992294400 134512640 136421960 4289287744 18446744073709551615 134859974 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28483/statm: 127041 124852 236 467 0 126572 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 508164

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28515
/proc/meminfo: memFree=1300852/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=510432 CPUtime=1062.01
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 129300 0 0 0 105260 941 0 0 25 0 1 0 89595736 522682368 125430 1992294400 134512640 136421960 4289287744 18446744073709551615 135010280 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28483/statm: 127608 125430 236 467 0 127139 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 510432

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28517
/proc/meminfo: memFree=1302712/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=507900 CPUtime=1121.99
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 129300 0 0 0 111203 996 0 0 25 0 1 0 89595736 520089600 124814 1992294400 134512640 136421960 4289287744 18446744073709551615 134859688 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28483/statm: 126975 124814 236 467 0 126506 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 507900

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28519
/proc/meminfo: memFree=1302588/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=507900 CPUtime=1181.97
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 129300 0 0 0 117156 1041 0 0 25 0 1 0 89595736 520089600 124814 1992294400 134512640 136421960 4289287744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28483/statm: 126975 124814 236 467 0 126506 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 507900

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28519
/proc/meminfo: memFree=1301844/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=511888 CPUtime=1241.97
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 130285 0 0 0 123101 1096 0 0 25 0 1 0 89595736 524173312 125799 1992294400 134512640 136421960 4289287744 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28483/statm: 127972 125799 236 467 0 127503 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 511888

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28521
/proc/meminfo: memFree=1302340/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=507900 CPUtime=1301.95
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 130456 0 0 0 129046 1149 0 0 25 0 1 0 89595736 520089600 124814 1992294400 134512640 136421960 4289287744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28483/statm: 126975 124814 236 467 0 126506 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 507900

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28523
/proc/meminfo: memFree=1302464/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=507900 CPUtime=1361.93
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 130456 0 0 0 135000 1193 0 0 25 0 1 0 89595736 520089600 124814 1992294400 134512640 136421960 4289287744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28483/statm: 126975 124814 236 467 0 126506 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 507900

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28525
/proc/meminfo: memFree=1299612/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=511472 CPUtime=1421.92
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 131335 0 0 0 140966 1226 0 0 25 0 1 0 89595736 523747328 125693 1992294400 134512640 136421960 4289287744 18446744073709551615 134859688 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28483/statm: 127868 125693 236 467 0 127399 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 511472

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28527
/proc/meminfo: memFree=1296884/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=514004 CPUtime=1481.9
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 131974 0 0 0 146914 1276 0 0 25 0 1 0 89595736 526340096 126332 1992294400 134512640 136421960 4289287744 18446744073709551615 135010220 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28483/statm: 128501 126332 236 467 0 128032 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 514004

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28527
/proc/meminfo: memFree=1296884/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=514004 CPUtime=1541.88
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 131974 0 0 0 152862 1326 0 0 25 0 1 0 89595736 526340096 126332 1992294400 134512640 136421960 4289287744 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28483/statm: 128501 126332 236 467 0 128032 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 514004

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28529
/proc/meminfo: memFree=1296760/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=514004 CPUtime=1601.86
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 131974 0 0 0 158812 1374 0 0 25 0 1 0 89595736 526340096 126332 1992294400 134512640 136421960 4289287744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28483/statm: 128501 126332 236 467 0 128032 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 514004

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28531
/proc/meminfo: memFree=1296016/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=514796 CPUtime=1661.85
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 132154 0 0 0 164763 1422 0 0 25 0 1 0 89595736 527151104 126512 1992294400 134512640 136421960 4289287744 18446744073709551615 135009478 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28483/statm: 128699 126512 236 467 0 128230 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 514796

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28533
/proc/meminfo: memFree=1296016/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=514796 CPUtime=1721.83
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 132154 0 0 0 170713 1470 0 0 25 0 1 0 89595736 527151104 126512 1992294400 134512640 136421960 4289287744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28483/statm: 128699 126512 236 467 0 128230 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 514796

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28535
/proc/meminfo: memFree=1295644/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=514796 CPUtime=1781.82
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 132154 0 0 0 176657 1525 0 0 25 0 1 0 89595736 527151104 126512 1992294400 134512640 136421960 4289287744 18446744073709551615 134643584 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28483/statm: 128699 126512 236 467 0 128230 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 514796



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 28535
/proc/meminfo: memFree=1294280/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=516396 CPUtime=1800.02
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 132548 0 0 0 178464 1538 0 0 25 0 1 0 89595736 528789504 126906 1992294400 134512640 136421960 4289287744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28483/statm: 129099 126906 236 467 0 128630 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 516396

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.00 1.00 0.92 2/107 28535
/proc/meminfo: memFree=1294280/2059040 swapFree=4140996/4192956
[pid=28483] ppid=28481 vsize=516396 CPUtime=1800.02
/proc/28483/stat : 28483 (pbct) R 28481 28483 28022 0 -1 4202496 132548 0 0 0 178464 1538 0 0 25 0 1 0 89595736 528789504 126906 1992294400 134512640 136421960 4289287744 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28483/statm: 129099 126906 236 467 0 128630 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 516396

Child status: 0
Real time (s): 1800.56
CPU time (s): 1800.09
CPU user time (s): 1784.65
CPU system time (s): 15.4397
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 516396

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

runsolver used 3.25251 second user time and 8.22575 second system time

The end