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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682093-1277483501/watcher-2682093-1277483501 -o /tmp/evaluation-result-2682093-1277483501/solver-2682093-1277483501 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682093-1277483501.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 22620
/proc/meminfo: memFree=1857924/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=2280 CPUtime=0
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 271 0 0 0 0 0 0 0 20 0 1 0 122006483 2334720 190 1992294400 134512640 136421960 4290912512 18446744073709551615 135377240 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22620/statm: 570 190 145 467 0 101 0

[startup+0.0707279 s]
/proc/loadavg: 1.00 1.00 0.92 3/106 22620
/proc/meminfo: memFree=1857924/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=2424 CPUtime=0.06
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 330 0 0 0 6 0 0 0 20 0 1 0 122006483 2482176 249 1992294400 134512640 136421960 4290912512 18446744073709551615 134523850 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22620/statm: 606 250 145 467 0 137 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2424

[startup+0.100733 s]
/proc/loadavg: 1.00 1.00 0.92 3/106 22620
/proc/meminfo: memFree=1857924/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=2600 CPUtime=0.09
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 361 0 0 0 9 0 0 0 20 0 1 0 122006483 2662400 280 1992294400 134512640 136421960 4290912512 18446744073709551615 135809580 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22620/statm: 650 280 145 467 0 181 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2600

[startup+0.30077 s]
/proc/loadavg: 1.00 1.00 0.92 3/106 22620
/proc/meminfo: memFree=1857924/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=3520 CPUtime=0.29
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 595 0 0 0 29 0 0 0 20 0 1 0 122006483 3604480 481 1992294400 134512640 136421960 4290912512 18446744073709551615 135377328 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22620/statm: 880 481 145 467 0 411 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3520

[startup+0.700844 s]
/proc/loadavg: 1.00 1.00 0.92 3/106 22620
/proc/meminfo: memFree=1857924/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=5228 CPUtime=0.69
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 1059 0 0 0 69 0 0 0 21 0 1 0 122006483 5353472 880 1992294400 134512640 136421960 4290912512 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22620/statm: 1307 880 145 467 0 838 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5228

[startup+1.50099 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 22621
/proc/meminfo: memFree=1838200/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=128992 CPUtime=1.49
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 32992 0 0 0 138 11 0 0 23 0 1 0 122006483 132087808 30719 1992294400 134512640 136421960 4290912512 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22620/statm: 32248 30724 195 467 0 31779 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 128992

[startup+3.10029 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 22621
/proc/meminfo: memFree=1710232/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=166440 CPUtime=3.09
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 42910 0 0 0 292 17 0 0 25 0 1 0 122006483 170434560 39350 1992294400 134512640 136421960 4290912512 18446744073709551615 135006694 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22620/statm: 41610 39352 236 467 0 41141 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 166440

[startup+6.30089 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 22621
/proc/meminfo: memFree=1679108/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=195696 CPUtime=6.29
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 50219 0 0 0 604 25 0 0 25 0 1 0 122006483 200392704 46658 1992294400 134512640 136421960 4290912512 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22620/statm: 48924 46660 236 467 0 48455 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 195696

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 22621
/proc/meminfo: memFree=1622812/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=249392 CPUtime=12.69
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 63642 0 0 0 1230 39 0 0 25 0 1 0 122006483 255377408 60080 1992294400 134512640 136421960 4290912512 18446744073709551615 135022223 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22620/statm: 62348 60080 236 467 0 61879 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 249392

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 22621
/proc/meminfo: memFree=1526960/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=341964 CPUtime=25.49
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 86780 0 0 0 2487 62 0 0 25 0 1 0 122006483 350171136 83218 1992294400 134512640 136421960 4290912512 18446744073709551615 134859887 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22620/statm: 85491 83218 236 467 0 85022 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 341964

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 22623
/proc/meminfo: memFree=1477112/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=388704 CPUtime=51.07
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 98692 0 0 0 5013 94 0 0 25 0 1 0 122006483 398032896 94917 1992294400 134512640 136421960 4290912512 18446744073709551615 134863644 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22620/statm: 97176 94917 236 467 0 96707 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 388704

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 22623
/proc/meminfo: memFree=1477112/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=388704 CPUtime=102.26
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 98692 0 0 0 10078 148 0 0 25 0 1 0 122006483 398032896 94917 1992294400 134512640 136421960 4290912512 18446744073709551615 134863654 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22620/statm: 97176 94917 236 467 0 96707 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 388704

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 22625
/proc/meminfo: memFree=1459008/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=407300 CPUtime=162.23
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 103334 0 0 0 16019 204 0 0 25 0 1 0 122006483 417075200 99559 1992294400 134512640 136421960 4290912512 18446744073709551615 134859893 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22620/statm: 101825 99559 236 467 0 101356 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 407300

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 22627
/proc/meminfo: memFree=1460372/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=405292 CPUtime=222.21
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 103336 0 0 0 21960 261 0 0 25 0 1 0 122006483 415019008 99061 1992294400 134512640 136421960 4290912512 18446744073709551615 134860107 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22620/statm: 101323 99061 236 467 0 100854 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 405292

[startup+282.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 22629
/proc/meminfo: memFree=1460372/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=405292 CPUtime=282.18
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 103336 0 0 0 27892 326 0 0 25 0 1 0 122006483 415019008 99061 1992294400 134512640 136421960 4290912512 18446744073709551615 135006694 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/22620/statm: 101323 99061 236 467 0 100854 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 405292

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 22631
/proc/meminfo: memFree=1460372/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=405292 CPUtime=342.16
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 103336 0 0 0 33839 377 0 0 25 0 1 0 122006483 415019008 99061 1992294400 134512640 136421960 4290912512 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22620/statm: 101323 99061 236 467 0 100854 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 405292

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 22634
/proc/meminfo: memFree=1459876/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=405292 CPUtime=402.13
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 103336 0 0 0 39791 422 0 0 25 0 1 0 122006483 415019008 99061 1992294400 134512640 136421960 4290912512 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22620/statm: 101323 99061 236 467 0 100854 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 405292

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 22636
/proc/meminfo: memFree=1460000/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=405292 CPUtime=462.11
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 103336 0 0 0 45728 483 0 0 25 0 1 0 122006483 415019008 99061 1992294400 134512640 136421960 4290912512 18446744073709551615 134859902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22620/statm: 101323 99061 236 467 0 100854 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 405292

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 22638
/proc/meminfo: memFree=1460000/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=405292 CPUtime=522.09
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 103336 0 0 0 51667 542 0 0 25 0 1 0 122006483 415019008 99061 1992294400 134512640 136421960 4290912512 18446744073709551615 134643043 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22620/statm: 101323 99061 236 467 0 100854 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 405292

[startup+582.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 22640
/proc/meminfo: memFree=1460000/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=405292 CPUtime=582.06
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 103336 0 0 0 57609 597 0 0 25 0 1 0 122006483 415019008 99061 1992294400 134512640 136421960 4290912512 18446744073709551615 135022228 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22620/statm: 101323 99061 236 467 0 100854 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 405292

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 22642
/proc/meminfo: memFree=1460000/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=405292 CPUtime=642.05
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 103336 0 0 0 63550 655 0 0 25 0 1 0 122006483 415019008 99061 1992294400 134512640 136421960 4290912512 18446744073709551615 134642090 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22620/statm: 101323 99061 236 467 0 100854 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 405292

[startup+702.302 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 22646
/proc/meminfo: memFree=1450576/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=414864 CPUtime=821.98
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 105694 0 0 0 81391 807 0 0 25 0 1 0 122006483 424820736 101419 1992294400 134512640 136421960 4290912512 18446744073709551615 134643054 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22620/statm: 103716 101419 236 467 0 103247 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 414864

[startup+882.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 22648
/proc/meminfo: memFree=1447848/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=417516 CPUtime=881.95
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 106376 0 0 0 87342 853 0 0 25 0 1 0 122006483 427536384 102101 1992294400 134512640 136421960 4290912512 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22620/statm: 104379 102101 236 467 0 103910 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 417516

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 22650
/proc/meminfo: memFree=1451072/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=413652 CPUtime=941.93
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 106376 0 0 0 93283 910 0 0 25 0 1 0 122006483 423579648 101148 1992294400 134512640 136421960 4290912512 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22620/statm: 103413 101148 236 467 0 102944 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 413652

[startup+1002.3 s]
/proc/loadavg: 1.03 1.01 0.93 2/107 22650
/proc/meminfo: memFree=1446608/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=418568 CPUtime=1001.91
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 107599 0 0 0 99225 966 0 0 25 0 1 0 122006483 428613632 102371 1992294400 134512640 136421960 4290912512 18446744073709551615 134860073 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22620/statm: 104642 102371 236 467 0 104173 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 418568

[startup+1062.3 s]
/proc/loadavg: 1.01 1.01 0.93 2/107 22652
/proc/meminfo: memFree=1446732/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=418440 CPUtime=1061.89
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 108785 0 0 0 105168 1021 0 0 25 0 1 0 122006483 428482560 102334 1992294400 134512640 136421960 4290912512 18446744073709551615 134863654 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22620/statm: 104610 102334 236 467 0 104141 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 418440

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 22654
/proc/meminfo: memFree=1446112/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=419104 CPUtime=1121.86
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 108935 0 0 0 111103 1083 0 0 25 0 1 0 122006483 429162496 102484 1992294400 134512640 136421960 4290912512 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22620/statm: 104776 102484 236 467 0 104307 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 419104

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 22656
/proc/meminfo: memFree=1446236/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=418288 CPUtime=1181.84
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 108986 0 0 0 117041 1143 0 0 25 0 1 0 122006483 428326912 102305 1992294400 134512640 136421960 4290912512 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22620/statm: 104572 102305 236 467 0 104103 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 418288

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 22658
/proc/meminfo: memFree=1444748/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=420416 CPUtime=1241.81
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 109492 0 0 0 122994 1187 0 0 25 0 1 0 122006483 430505984 102811 1992294400 134512640 136421960 4290912512 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22620/statm: 105104 102811 236 467 0 104635 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 420416

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 22658
/proc/meminfo: memFree=1444252/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=420816 CPUtime=1301.8
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 109614 0 0 0 128946 1234 0 0 25 0 1 0 122006483 430915584 102933 1992294400 134512640 136421960 4290912512 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22620/statm: 105204 102933 236 467 0 104735 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 420816

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 22660
/proc/meminfo: memFree=1444252/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=420816 CPUtime=1361.77
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 109614 0 0 0 134889 1288 0 0 25 0 1 0 122006483 430915584 102933 1992294400 134512640 136421960 4290912512 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22620/statm: 105204 102933 236 467 0 104735 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 420816

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 22662
/proc/meminfo: memFree=1442516/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=422640 CPUtime=1421.75
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 110335 0 0 0 140825 1350 0 0 25 0 1 0 122006483 432783360 103367 1992294400 134512640 136421960 4290912512 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22620/statm: 105660 103367 236 467 0 105191 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 422640

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 22664
/proc/meminfo: memFree=1441772/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=423268 CPUtime=1481.73
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 110921 0 0 0 146766 1407 0 0 25 0 1 0 122006483 433426432 103539 1992294400 134512640 136421960 4290912512 18446744073709551615 134864151 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22620/statm: 105817 103539 236 467 0 105348 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 423268

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 22666
/proc/meminfo: memFree=1444500/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=420256 CPUtime=1541.7
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 110921 0 0 0 152709 1461 0 0 25 0 1 0 122006483 430342144 102798 1992294400 134512640 136421960 4290912512 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22620/statm: 105064 102798 236 467 0 104595 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 420256

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 22666
/proc/meminfo: memFree=1442020/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=423316 CPUtime=1601.68
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 111662 0 0 0 158651 1517 0 0 25 0 1 0 122006483 433475584 103539 1992294400 134512640 136421960 4290912512 18446744073709551615 135006663 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22620/statm: 105829 103539 236 467 0 105360 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 423316

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 22668
/proc/meminfo: memFree=1442888/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=422520 CPUtime=1661.66
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 112201 0 0 0 164600 1566 0 0 25 0 1 0 122006483 432660480 103337 1992294400 134512640 136421960 4290912512 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22620/statm: 105630 103337 236 467 0 105161 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 422520

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 22670
/proc/meminfo: memFree=1442144/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=423052 CPUtime=1721.63
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 112361 0 0 0 170557 1606 0 0 25 0 1 0 122006483 433205248 103497 1992294400 134512640 136421960 4290912512 18446744073709551615 134859921 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22620/statm: 105763 103497 236 467 0 105294 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 423052

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 22681
/proc/meminfo: memFree=1438920/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=425580 CPUtime=1781.6
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 112966 0 0 0 176518 1642 0 0 25 0 1 0 122006483 435793920 104102 1992294400 134512640 136421960 4290912512 18446744073709551615 134859688 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22620/statm: 106395 104102 236 467 0 105926 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 425580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 22681
/proc/meminfo: memFree=1438796/2059040 swapFree=4140004/4192956
[pid=22620] ppid=22618 vsize=426244 CPUtime=1800.09
/proc/22620/stat : 22620 (pbct) R 22618 22620 21868 0 -1 4202496 113124 0 0 0 178355 1654 0 0 25 0 1 0 122006483 436473856 104260 1992294400 134512640 136421960 4290912512 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22620/statm: 106561 104260 236 467 0 106092 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 426244

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

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

Child status: 0
Real time (s): 1800.85
CPU time (s): 1800.15
CPU user time (s): 1783.56
CPU system time (s): 16.5915
CPU usage (%): 99.9611
Max. virtual memory (cumulated for all children) (KiB): 426244

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

runsolver used 2.81857 second user time and 8.66368 second system time

The end