runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3462768-1307182696/watcher-3462768-1307182696 -o /tmp/evaluation-result-3462768-1307182696/solver-3462768-1307182696 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462768-1307182696.opb
running on 4 cores: 0,2,4,6
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/469 15392
/proc/meminfo: memFree=24017356/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=11940 CPUtime=0 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 448 0 0 0 0 0 0 0 25 0 1 0 908500042 12226560 402 33554432000 134512640 137138936 4287743040 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 2985 402 179 642 0 2225 0
[startup+0.115898 s]
/proc/loadavg: 2.00 2.00 2.00 2/469 15392
/proc/meminfo: memFree=24017356/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=31480 CPUtime=0.11 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 5549 0 0 0 11 0 0 0 25 0 1 0 908500042 32235520 5347 33554432000 134512640 137138936 4287743040 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 7870 5347 184 642 0 7226 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 31480
[startup+0.200833 s]
/proc/loadavg: 2.00 2.00 2.00 2/469 15392
/proc/meminfo: memFree=24017356/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=31852 CPUtime=0.19 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 5589 0 0 0 19 0 0 0 25 0 1 0 908500042 32616448 5387 33554432000 134512640 137138936 4287743040 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 7963 5387 185 642 0 7319 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31852
[startup+0.300818 s]
/proc/loadavg: 2.00 2.00 2.00 2/469 15392
/proc/meminfo: memFree=24017356/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=31852 CPUtime=0.29 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 5589 0 0 0 29 0 0 0 25 0 1 0 908500042 32616448 5387 33554432000 134512640 137138936 4287743040 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 7963 5387 185 642 0 7319 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31852
[startup+0.700717 s]
/proc/loadavg: 2.00 2.00 2.00 2/469 15392
/proc/meminfo: memFree=24017356/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=32152 CPUtime=0.69 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 5664 0 0 0 68 1 0 0 25 0 1 0 908500042 32923648 5462 33554432000 134512640 137138936 4287743040 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 8038 5462 185 642 0 7394 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32152
[startup+1.50056 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 15393
/proc/meminfo: memFree=23995520/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=35008 CPUtime=1.49 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 6907 0 0 0 147 2 0 0 25 0 1 0 908500042 35848192 6183 33554432000 134512640 137138936 4287743040 18446744073709551615 134598920 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 8752 6183 192 642 0 8108 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35008
[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 15393
/proc/meminfo: memFree=23986344/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=46432 CPUtime=3.09 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 9753 0 0 0 306 3 0 0 25 0 1 0 908500042 47546368 9029 33554432000 134512640 137138936 4287743040 18446744073709551615 136297616 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 11608 9030 192 642 0 10964 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46432
[startup+6.3007 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 15393
/proc/meminfo: memFree=23963184/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=69016 CPUtime=6.29 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 15394 0 0 0 625 4 0 0 25 0 1 0 908500042 70672384 14670 33554432000 134512640 137138936 4287743040 18446744073709551615 134550933 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 17254 14670 192 642 0 16610 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 69016
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 15393
/proc/meminfo: memFree=23927888/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=100140 CPUtime=12.69 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 23177 0 0 0 1264 5 0 0 25 0 1 0 908500042 102543360 22453 33554432000 134512640 137138936 4287743040 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 25035 22453 192 642 0 24391 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 100140
[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 15394
/proc/meminfo: memFree=23878172/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=148648 CPUtime=25.49 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 35324 0 0 0 2540 9 0 0 25 0 1 0 908500042 152215552 34600 33554432000 134512640 137138936 4287743040 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 37162 34600 192 642 0 36518 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 148648
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 15394
/proc/meminfo: memFree=23802000/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=226260 CPUtime=51.1 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 54717 0 0 0 5096 14 0 0 25 0 1 0 908500042 231690240 53993 33554432000 134512640 137138936 4287743040 18446744073709551615 134551130 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 56565 53993 192 642 0 55921 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 226260
[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 15396
/proc/meminfo: memFree=23677588/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=346596 CPUtime=102.3 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 84789 0 0 0 10209 21 0 0 25 0 1 0 908500042 354914304 84065 33554432000 134512640 137138936 4287743040 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 86649 84065 192 642 0 86005 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 346596
[startup+162.301 s]
/proc/loadavg: 2.13 2.03 2.01 3/470 15397
/proc/meminfo: memFree=23649536/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=374120 CPUtime=162.3 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 91686 0 0 0 16205 25 0 0 25 0 1 0 908500042 383098880 90962 33554432000 134512640 137138936 4287743040 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 93530 90962 192 642 0 92886 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 374120
[startup+222.317 s]
/proc/loadavg: 2.05 2.02 2.00 3/470 15399
/proc/meminfo: memFree=23650488/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=374120 CPUtime=222.32 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 91686 0 0 0 22205 27 0 0 25 0 1 0 908500042 383098880 90962 33554432000 134512640 137138936 4287743040 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 93530 90962 192 642 0 92886 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 374120
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/470 15401
/proc/meminfo: memFree=23650820/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=374384 CPUtime=282.3 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 91760 0 0 0 28202 28 0 0 25 0 1 0 908500042 383369216 91036 33554432000 134512640 137138936 4287743040 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 93596 91036 192 642 0 92952 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 374384
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 15402
/proc/meminfo: memFree=23637776/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=387248 CPUtime=342.3 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 94952 0 0 0 34198 32 0 0 25 0 1 0 908500042 396541952 94228 33554432000 134512640 137138936 4287743040 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 96812 94228 192 642 0 96168 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 387248
[startup+402.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/470 15404
/proc/meminfo: memFree=23637608/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=387248 CPUtime=402.3 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 94952 0 0 0 40196 34 0 0 25 0 1 0 908500042 396541952 94228 33554432000 134512640 137138936 4287743040 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 96812 94228 192 642 0 96168 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 387248
[startup+462.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/470 15405
/proc/meminfo: memFree=23618716/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=401964 CPUtime=462.3 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 98663 0 0 0 46193 37 0 0 25 0 1 0 908500042 411611136 97939 33554432000 134512640 137138936 4287743040 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 100491 97939 192 642 0 99847 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 401964
[startup+522.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/470 15407
/proc/meminfo: memFree=23618536/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=401964 CPUtime=522.3 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 98663 0 0 0 52190 40 0 0 25 0 1 0 908500042 411611136 97939 33554432000 134512640 137138936 4287743040 18446744073709551615 134573759 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 100491 97939 192 642 0 99847 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 401964
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 15409
/proc/meminfo: memFree=23618504/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=401964 CPUtime=582.31 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 98663 0 0 0 58187 44 0 0 25 0 1 0 908500042 411611136 97939 33554432000 134512640 137138936 4287743040 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 100491 97939 192 642 0 99847 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 401964
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=23590756/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=431280 CPUtime=1122.33 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 105963 0 0 0 112170 63 0 0 25 0 1 0 908500042 441630720 105239 33554432000 134512640 137138936 4287743040 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 107820 105239 192 642 0 107176 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 431280
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 15425
/proc/meminfo: memFree=23590356/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=431280 CPUtime=1182.33 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 105963 0 0 0 118168 65 0 0 25 0 1 0 908500042 441630720 105239 33554432000 134512640 137138936 4287743040 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 107820 105239 192 642 0 107176 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 431280
[startup+1242.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/470 15428
/proc/meminfo: memFree=23590704/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=430068 CPUtime=1242.33 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 105963 0 0 0 124166 67 0 0 25 0 1 0 908500042 440389632 104965 33554432000 134512640 137138936 4287743040 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 107517 104965 192 642 0 106873 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 430068
[startup+1302.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/470 15431
/proc/meminfo: memFree=23591736/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=430068 CPUtime=1302.34 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 105963 0 0 0 130164 70 0 0 25 0 1 0 908500042 440389632 104965 33554432000 134512640 137138936 4287743040 18446744073709551615 136297620 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 107517 104965 192 642 0 106873 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 430068
[startup+1362.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/470 15432
/proc/meminfo: memFree=23591952/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=430068 CPUtime=1362.34 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 105963 0 0 0 136161 73 0 0 25 0 1 0 908500042 440389632 104965 33554432000 134512640 137138936 4287743040 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 107517 104965 192 642 0 106873 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 430068
[startup+1422.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 15434
/proc/meminfo: memFree=23596612/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=425284 CPUtime=1422.35 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 105963 0 0 0 142159 76 0 0 25 0 1 0 908500042 435490816 103769 33554432000 134512640 137138936 4287743040 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 106321 103769 192 642 0 105677 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 425284
[startup+1482.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/470 15436
/proc/meminfo: memFree=23596440/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=425284 CPUtime=1482.34 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 105963 0 0 0 148156 78 0 0 25 0 1 0 908500042 435490816 103769 33554432000 134512640 137138936 4287743040 18446744073709551615 134542787 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 106321 103769 192 642 0 105677 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 425284
[startup+1542.32 s]
/proc/loadavg: 2.06 2.05 2.01 3/470 15464
/proc/meminfo: memFree=23647576/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=425580 CPUtime=1542.36 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 106005 0 0 0 154155 81 0 0 25 0 1 0 908500042 435793920 103811 33554432000 134512640 137138936 4287743040 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 106395 103811 192 642 0 105751 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 425580
[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/470 15466
/proc/meminfo: memFree=23646560/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=425580 CPUtime=1602.35 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 106005 0 0 0 160151 84 0 0 25 0 1 0 908500042 435793920 103811 33554432000 134512640 137138936 4287743040 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 106395 103811 192 642 0 105751 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 425580
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/470 15467
/proc/meminfo: memFree=23651596/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=414544 CPUtime=1662.34 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 106035 0 0 0 166149 85 0 0 25 0 1 0 908500042 424493056 101052 33554432000 134512640 137138936 4287743040 18446744073709551615 134542469 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 103636 101052 192 642 0 102992 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 414544
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 15469
/proc/meminfo: memFree=23588676/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=414544 CPUtime=1722.35 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 106035 0 0 0 172147 88 0 0 25 0 1 0 908500042 424493056 101052 33554432000 134512640 137138936 4287743040 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 103636 101052 192 642 0 102992 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 414544
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/470 15471
/proc/meminfo: memFree=23450480/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=414544 CPUtime=1782.36 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 106035 0 0 0 178144 92 0 0 25 0 1 0 908500042 424493056 101052 33554432000 134512640 137138936 4287743040 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 103636 101052 192 642 0 102992 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 414544
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.04 2.03 2.00 3/470 15471
/proc/meminfo: memFree=23429276/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=414544 CPUtime=1785.65 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 106035 0 0 0 178473 92 0 0 25 0 1 0 908500042 424493056 101052 33554432000 134512640 137138936 4287743040 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 103636 101052 192 642 0 102992 0
Current children cumulated CPU time (s) 1785.65
Current children cumulated vsize (KiB) 414544
[startup+1792.02 s]
/proc/loadavg: 2.04 2.03 2.00 3/470 15471
/proc/meminfo: memFree=23388472/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=414544 CPUtime=1792.07 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 106035 0 0 0 179115 92 0 0 25 0 1 0 908500042 424493056 101052 33554432000 134512640 137138936 4287743040 18446744073709551615 134542873 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 103636 101052 192 642 0 102992 0
Current children cumulated CPU time (s) 1792.07
Current children cumulated vsize (KiB) 414544
[startup+1795.2 s]
/proc/loadavg: 2.03 2.03 2.00 3/470 15471
/proc/meminfo: memFree=23368880/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=414544 CPUtime=1795.26 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 106035 0 0 0 179434 92 0 0 25 0 1 0 908500042 424493056 101052 33554432000 134512640 137138936 4287743040 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 103636 101052 192 642 0 102992 0
Current children cumulated CPU time (s) 1795.26
Current children cumulated vsize (KiB) 414544
[startup+1796.8 s]
/proc/loadavg: 2.03 2.03 2.00 3/470 15471
/proc/meminfo: memFree=23362184/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=414544 CPUtime=1796.85 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 106035 0 0 0 179593 92 0 0 25 0 1 0 908500042 424493056 101052 33554432000 134512640 137138936 4287743040 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 103636 101052 192 642 0 102992 0
Current children cumulated CPU time (s) 1796.85
Current children cumulated vsize (KiB) 414544
[startup+1797.6 s]
/proc/loadavg: 2.03 2.03 2.00 3/470 15471
/proc/meminfo: memFree=23355488/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=414544 CPUtime=1797.65 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 106035 0 0 0 179673 92 0 0 25 0 1 0 908500042 424493056 101052 33554432000 134512640 137138936 4287743040 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 103636 101052 192 642 0 102992 0
Current children cumulated CPU time (s) 1797.65
Current children cumulated vsize (KiB) 414544
[startup+1797.8 s]
/proc/loadavg: 2.03 2.03 2.00 3/470 15471
/proc/meminfo: memFree=23355488/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=414544 CPUtime=1797.85 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 106035 0 0 0 179693 92 0 0 25 0 1 0 908500042 424493056 101052 33554432000 134512640 137138936 4287743040 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 103636 101052 192 642 0 102992 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 414544
[startup+1797.9 s]
/proc/loadavg: 2.03 2.03 2.00 3/470 15471
/proc/meminfo: memFree=23355488/32951124 swapFree=56297244/67111528
[pid=15392] ppid=15390 vsize=414544 CPUtime=1797.95 cores=0,2,4,6
/proc/15392/stat : 15392 (bsolo) R 15390 15392 13385 0 -1 4202496 106035 0 0 0 179703 92 0 0 25 0 1 0 908500042 424493056 101052 33554432000 134512640 137138936 4287743040 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15392/statm: 103636 101052 192 642 0 102992 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 414544
Child status: 0
Real time (s): 1797.96
CPU time (s): 1798.02
CPU user time (s): 1797.08
CPU system time (s): 0.943856
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 431280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.08
system time used= 0.943856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106036
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= 4
involuntary context switches= 2653
runsolver used 9.2146 second user time and 18.2672 second system time
The end