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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682090-1277483533/watcher-2682090-1277483533 -o /tmp/evaluation-result-2682090-1277483533/solver-2682090-1277483533 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682090-1277483533.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.98 0.92 2/106 24322
/proc/meminfo: memFree=1814432/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=2280 CPUtime=0
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 272 0 0 0 0 0 0 0 20 0 1 0 123954914 2334720 192 1992294400 134512640 136421960 4294460000 18446744073709551615 134531634 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24322/statm: 570 192 145 467 0 101 0

[startup+0.094477 s]
/proc/loadavg: 0.99 0.98 0.92 2/106 24322
/proc/meminfo: memFree=1814432/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=2612 CPUtime=0.09
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 355 0 0 0 9 0 0 0 20 0 1 0 123954914 2674688 275 1992294400 134512640 136421960 4294460000 18446744073709551615 135203799 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24322/statm: 653 275 145 467 0 184 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2612

[startup+0.101478 s]
/proc/loadavg: 0.99 0.98 0.92 2/106 24322
/proc/meminfo: memFree=1814432/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=2612 CPUtime=0.1
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 363 0 0 0 10 0 0 0 20 0 1 0 123954914 2674688 283 1992294400 134512640 136421960 4294460000 18446744073709551615 135162411 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24322/statm: 653 283 145 467 0 184 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2612

[startup+0.30152 s]
/proc/loadavg: 0.99 0.98 0.92 2/106 24322
/proc/meminfo: memFree=1814432/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=3532 CPUtime=0.29
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 594 0 0 0 29 0 0 0 20 0 1 0 123954914 3616768 481 1992294400 134512640 136421960 4294460000 18446744073709551615 134524000 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24322/statm: 883 481 145 467 0 414 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3532

[startup+0.701605 s]
/proc/loadavg: 0.99 0.98 0.92 2/106 24322
/proc/meminfo: memFree=1814432/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=5108 CPUtime=0.69
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 1050 0 0 0 69 0 0 0 21 0 1 0 123954914 5230592 872 1992294400 134512640 136421960 4294460000 18446744073709551615 135820613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24322/statm: 1277 872 145 467 0 808 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5108

[startup+1.50078 s]
/proc/loadavg: 0.99 0.98 0.92 2/107 24323
/proc/meminfo: memFree=1810208/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=39912 CPUtime=1.49
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 9927 0 0 0 146 3 0 0 23 0 1 0 123954914 40869888 9065 1992294400 134512640 136421960 4294460000 18446744073709551615 134700931 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24322/statm: 9978 9066 189 467 0 9509 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39912

[startup+3.10112 s]
/proc/loadavg: 0.99 0.98 0.92 2/107 24323
/proc/meminfo: memFree=1637476/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=209144 CPUtime=3.09
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 54739 0 0 0 289 20 0 0 25 0 1 0 123954914 214163456 49951 1992294400 134512640 136421960 4294460000 18446744073709551615 135010304 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24322/statm: 52286 49951 236 467 0 51817 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 209144

[startup+6.3008 s]
/proc/loadavg: 0.99 0.98 0.92 2/107 24323
/proc/meminfo: memFree=1593200/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=238940 CPUtime=6.29
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 62202 0 0 0 600 29 0 0 25 0 1 0 123954914 244674560 57412 1992294400 134512640 136421960 4294460000 18446744073709551615 134860085 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24322/statm: 59735 57412 236 467 0 59266 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 238940

[startup+12.7012 s]
/proc/loadavg: 0.99 0.98 0.92 2/107 24323
/proc/meminfo: memFree=1533812/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=295888 CPUtime=12.69
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 76420 0 0 0 1227 42 0 0 25 0 1 0 123954914 302989312 71629 1992294400 134512640 136421960 4294460000 18446744073709551615 134864389 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24322/statm: 73972 71629 236 467 0 73503 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 295888

[startup+25.5019 s]
/proc/loadavg: 0.99 0.98 0.92 2/107 24323
/proc/meminfo: memFree=1432504/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=393144 CPUtime=25.49
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 100726 0 0 0 2484 65 0 0 25 0 1 0 123954914 402579456 95935 1992294400 134512640 136421960 4294460000 18446744073709551615 134863698 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24322/statm: 98286 95935 236 467 0 97817 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 393144

[startup+51.1013 s]
/proc/loadavg: 0.99 0.98 0.92 2/107 24325
/proc/meminfo: memFree=1342852/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=480408 CPUtime=51.07
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 122546 0 0 0 5010 97 0 0 25 0 1 0 123954914 491937792 117754 1992294400 134512640 136421960 4294460000 18446744073709551615 134860952 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24322/statm: 120102 117754 236 467 0 119633 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 480408

[startup+102.309 s]
/proc/loadavg: 1.03 1.00 0.93 2/107 24325
/proc/meminfo: memFree=1302304/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=520756 CPUtime=102.26
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 133562 0 0 0 10079 147 0 0 25 0 1 0 123954914 533254144 127861 1992294400 134512640 136421960 4294460000 18446744073709551615 134860100 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24322/statm: 130189 127861 236 467 0 129720 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 520756

[startup+162.301 s]
/proc/loadavg: 1.04 1.01 0.93 2/107 24327
/proc/meminfo: memFree=1298832/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=524088 CPUtime=162.23
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 134400 0 0 0 16021 202 0 0 25 0 1 0 123954914 536666112 128699 1992294400 134512640 136421960 4294460000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24322/statm: 131022 128699 236 467 0 130553 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 524088

[startup+222.301 s]
/proc/loadavg: 1.01 1.01 0.93 2/107 24329
/proc/meminfo: memFree=1218852/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=604112 CPUtime=222.21
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 154362 0 0 0 21967 254 0 0 25 0 1 0 123954914 618610688 148661 1992294400 134512640 136421960 4294460000 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24322/statm: 151028 148661 236 467 0 150559 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 604112

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 24331
/proc/meminfo: memFree=1216744/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=605976 CPUtime=282.19
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 154847 0 0 0 27914 305 0 0 25 0 1 0 123954914 620519424 149146 1992294400 134512640 136421960 4294460000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24322/statm: 151494 149146 236 467 0 151025 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 605976

[startup+342.3 s]
/proc/loadavg: 1.04 1.01 0.94 2/107 24333
/proc/meminfo: memFree=1215876/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=606908 CPUtime=342.16
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 155078 0 0 0 33861 355 0 0 25 0 1 0 123954914 621473792 149377 1992294400 134512640 136421960 4294460000 18446744073709551615 135810938 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24322/statm: 151727 149377 236 467 0 151258 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 606908

[startup+402.3 s]
/proc/loadavg: 1.01 1.01 0.94 2/107 24333
/proc/meminfo: memFree=1215752/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=606908 CPUtime=402.15
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 155079 0 0 0 39816 399 0 0 25 0 1 0 123954914 621473792 149377 1992294400 134512640 136421960 4294460000 18446744073709551615 134643259 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24322/statm: 151727 149377 236 467 0 151258 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 606908

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24335
/proc/meminfo: memFree=1215628/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=606908 CPUtime=462.12
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 155079 0 0 0 45776 436 0 0 25 0 1 0 123954914 621473792 149377 1992294400 134512640 136421960 4294460000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24322/statm: 151727 149377 236 467 0 151258 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 606908

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24337
/proc/meminfo: memFree=1215628/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=606908 CPUtime=522.1
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 155079 0 0 0 51726 484 0 0 25 0 1 0 123954914 621473792 149377 1992294400 134512640 136421960 4294460000 18446744073709551615 135010280 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24322/statm: 151727 149377 236 467 0 151258 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 606908

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24339
/proc/meminfo: memFree=1215504/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=606908 CPUtime=582.08
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 155079 0 0 0 57676 532 0 0 25 0 1 0 123954914 621473792 149377 1992294400 134512640 136421960 4294460000 18446744073709551615 134859887 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24322/statm: 151727 149377 236 467 0 151258 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 606908

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24341
/proc/meminfo: memFree=1215380/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=606908 CPUtime=642.07
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 155079 0 0 0 63622 585 0 0 25 0 1 0 123954914 621473792 149377 1992294400 134512640 136421960 4294460000 18446744073709551615 134859688 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24322/statm: 151727 149377 236 467 0 151258 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 606908

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24347
/proc/meminfo: memFree=1215132/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=606908 CPUtime=881.97
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 155079 0 0 0 87425 772 0 0 25 0 1 0 123954914 621473792 149377 1992294400 134512640 136421960 4294460000 18446744073709551615 134859688 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24322/statm: 151727 149377 236 467 0 151258 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 606908

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24349
/proc/meminfo: memFree=1215008/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=606908 CPUtime=941.94
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 155079 0 0 0 93385 809 0 0 25 0 1 0 123954914 621473792 149377 1992294400 134512640 136421960 4294460000 18446744073709551615 134862021 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24322/statm: 151727 149377 236 467 0 151258 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 606908

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24349
/proc/meminfo: memFree=1205460/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=616748 CPUtime=1001.93
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 157540 0 0 0 99346 847 0 0 25 0 1 0 123954914 631549952 151838 1992294400 134512640 136421960 4294460000 18446744073709551615 134862027 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24322/statm: 154187 151838 236 467 0 153718 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 616748

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24351
/proc/meminfo: memFree=1202608/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=619684 CPUtime=1061.9
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 158268 0 0 0 105313 877 0 0 25 0 1 0 123954914 634556416 152566 1992294400 134512640 136421960 4294460000 18446744073709551615 135022211 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24322/statm: 154921 152566 236 467 0 154452 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 619684

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24353
/proc/meminfo: memFree=1202484/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=619684 CPUtime=1121.88
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 158268 0 0 0 111269 919 0 0 25 0 1 0 123954914 634556416 152566 1992294400 134512640 136421960 4294460000 18446744073709551615 134857561 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24322/statm: 154921 152566 236 467 0 154452 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 619684

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24355
/proc/meminfo: memFree=1210296/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=611136 CPUtime=1181.86
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 158268 0 0 0 117219 967 0 0 25 0 1 0 123954914 625803264 150448 1992294400 134512640 136421960 4294460000 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24322/statm: 152784 150448 236 467 0 152315 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 611136

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24357
/proc/meminfo: memFree=1214636/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=606708 CPUtime=1241.84
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 158268 0 0 0 123171 1013 0 0 25 0 1 0 123954914 621268992 149341 1992294400 134512640 136421960 4294460000 18446744073709551615 134866197 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24322/statm: 151677 149341 236 467 0 151208 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 606708

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24357
/proc/meminfo: memFree=1213644/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=608300 CPUtime=1301.82
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 158654 0 0 0 129122 1060 0 0 25 0 1 0 123954914 622899200 149727 1992294400 134512640 136421960 4294460000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24322/statm: 152075 149727 236 467 0 151606 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 608300

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24359
/proc/meminfo: memFree=1211288/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=610560 CPUtime=1361.79
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 159226 0 0 0 135076 1103 0 0 25 0 1 0 123954914 625213440 150299 1992294400 134512640 136421960 4294460000 18446744073709551615 134860003 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24322/statm: 152640 150299 236 467 0 152171 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 610560

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24361
/proc/meminfo: memFree=1210668/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=610564 CPUtime=1421.78
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 159991 0 0 0 141022 1156 0 0 25 0 1 0 123954914 625217536 150305 1992294400 134512640 136421960 4294460000 18446744073709551615 134862016 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24322/statm: 152641 150305 236 467 0 152172 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 610564

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24363
/proc/meminfo: memFree=1210668/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=610564 CPUtime=1481.75
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 159991 0 0 0 146968 1207 0 0 25 0 1 0 123954914 625217536 150305 1992294400 134512640 136421960 4294460000 18446744073709551615 134859757 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24322/statm: 152641 150305 236 467 0 152172 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 610564

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24365
/proc/meminfo: memFree=1210544/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=610564 CPUtime=1541.73
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 159991 0 0 0 152923 1250 0 0 25 0 1 0 123954914 625217536 150305 1992294400 134512640 136421960 4294460000 18446744073709551615 134864565 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24322/statm: 152641 150305 236 467 0 152172 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 610564

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24365
/proc/meminfo: memFree=1210668/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=610564 CPUtime=1601.7
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 159991 0 0 0 158883 1287 0 0 25 0 1 0 123954914 625217536 150305 1992294400 134512640 136421960 4294460000 18446744073709551615 134643238 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24322/statm: 152641 150305 236 467 0 152172 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 610564

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24367
/proc/meminfo: memFree=1210668/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=610564 CPUtime=1661.68
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 159991 0 0 0 164834 1334 0 0 25 0 1 0 123954914 625217536 150305 1992294400 134512640 136421960 4294460000 18446744073709551615 135006694 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24322/statm: 152641 150305 236 467 0 152172 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 610564

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24369
/proc/meminfo: memFree=1210544/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=610564 CPUtime=1721.66
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 159991 0 0 0 170783 1383 0 0 25 0 1 0 123954914 625217536 150305 1992294400 134512640 136421960 4294460000 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24322/statm: 152641 150305 236 467 0 152172 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 610564

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24380
/proc/meminfo: memFree=1210172/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=610564 CPUtime=1781.62
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 159991 0 0 0 176733 1429 0 0 25 0 1 0 123954914 625217536 150305 1992294400 134512640 136421960 4294460000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24322/statm: 152641 150305 236 467 0 152172 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (KiB) 610564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24380
/proc/meminfo: memFree=1210172/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=610564 CPUtime=1800.03
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 159991 0 0 0 178559 1444 0 0 25 0 1 0 123954914 625217536 150305 1992294400 134512640 136421960 4294460000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24322/statm: 152641 150305 236 467 0 152172 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 610564

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24380
/proc/meminfo: memFree=1210172/2059040 swapFree=4139960/4192956
[pid=24322] ppid=24320 vsize=610564 CPUtime=1800.03
/proc/24322/stat : 24322 (pbct) R 24320 24322 23625 0 -1 4202496 159991 0 0 0 178559 1444 0 0 25 0 1 0 123954914 625217536 150305 1992294400 134512640 136421960 4294460000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24322/statm: 152641 150305 236 467 0 152172 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 610564

Child status: 0
Real time (s): 1800.78
CPU time (s): 1800.1
CPU user time (s): 1785.59
CPU system time (s): 14.5138
CPU usage (%): 99.9625
Max. virtual memory (cumulated for all children) (KiB): 619684

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

runsolver used 3.07753 second user time and 8.39872 second system time

The end