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-3463786-1307185858/watcher-3463786-1307185858 -o /tmp/evaluation-result-3463786-1307185858/solver-3463786-1307185858 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463786-1307185858.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.03 2.03 2.00 2/521 32488
/proc/meminfo: memFree=21448096/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=18884 CPUtime=0.01 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 763 0 0 0 1 0 0 0 25 0 1 0 811001327 19337216 718 33554432000 134512640 137138936 4293668240 18446744073709551615 134534954 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32488/statm: 4721 719 234 642 0 2484 0
[startup+0.0251289 s]
/proc/loadavg: 2.03 2.03 2.00 2/521 32488
/proc/meminfo: memFree=21448096/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=19436 CPUtime=0.02 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 926 0 0 0 2 0 0 0 25 0 1 0 811001327 19902464 881 33554432000 134512640 137138936 4293668240 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32488/statm: 4859 882 257 642 0 2622 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19436
[startup+0.101127 s]
/proc/loadavg: 2.03 2.03 2.00 2/521 32488
/proc/meminfo: memFree=21448096/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=24360 CPUtime=0.09 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 2447 0 0 0 9 0 0 0 25 0 1 0 811001327 24944640 2362 33554432000 134512640 137138936 4293668240 18446744073709551615 136525321 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32488/statm: 6090 2363 518 642 0 3853 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24360
[startup+0.30109 s]
/proc/loadavg: 2.03 2.03 2.00 2/521 32488
/proc/meminfo: memFree=21448096/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=35280 CPUtime=0.29 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 5896 0 0 0 29 0 0 0 25 0 1 0 811001327 36126720 5732 33554432000 134512640 137138936 4293668240 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32488/statm: 8820 5733 1192 642 0 6583 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35280
[startup+0.701004 s]
/proc/loadavg: 2.03 2.03 2.00 2/521 32488
/proc/meminfo: memFree=21448096/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=53032 CPUtime=0.69 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 12363 0 0 0 68 1 0 0 25 0 1 0 811001327 54304768 10557 33554432000 134512640 137138936 4293668240 18446744073709551615 134543508 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32488/statm: 13258 10557 184 642 0 12614 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53032
[startup+1.50089 s]
/proc/loadavg: 2.02 2.03 2.00 3/522 32489
/proc/meminfo: memFree=21405928/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=53296 CPUtime=1.49 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 12450 0 0 0 148 1 0 0 25 0 1 0 811001327 54575104 10644 33554432000 134512640 137138936 4293668240 18446744073709551615 134543407 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32488/statm: 13324 10644 184 642 0 12680 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53296
[startup+3.10061 s]
/proc/loadavg: 2.02 2.03 2.00 3/522 32489
/proc/meminfo: memFree=21403864/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=53956 CPUtime=3.09 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 12593 0 0 0 308 1 0 0 25 0 1 0 811001327 55250944 10787 33554432000 134512640 137138936 4293668240 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32488/statm: 13489 10787 184 642 0 12845 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53956
[startup+6.30095 s]
/proc/loadavg: 2.02 2.03 2.00 3/522 32489
/proc/meminfo: memFree=21403340/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=53956 CPUtime=6.27 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 12612 0 0 0 626 1 0 0 25 0 1 0 811001327 55250944 10806 33554432000 134512640 137138936 4293668240 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/32488/statm: 13489 10806 184 642 0 12845 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 53956
[startup+12.7009 s]
/proc/loadavg: 2.02 2.03 2.00 3/522 32489
/proc/meminfo: memFree=21403388/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=53956 CPUtime=12.65 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 12612 0 0 0 1263 2 0 0 25 0 1 0 811001327 55250944 10806 33554432000 134512640 137138936 4293668240 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32488/statm: 13489 10806 184 642 0 12845 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 53956
[startup+25.5005 s]
/proc/loadavg: 2.02 2.03 2.00 3/522 32490
/proc/meminfo: memFree=21403412/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=53956 CPUtime=25.45 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 12616 0 0 0 2543 2 0 0 25 0 1 0 811001327 55250944 10810 33554432000 134512640 137138936 4293668240 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32488/statm: 13489 10810 184 642 0 12845 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 53956
[startup+51.1008 s]
/proc/loadavg: 2.12 2.06 2.01 3/522 32490
/proc/meminfo: memFree=21403104/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=53956 CPUtime=51.05 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 12630 0 0 0 5102 3 0 0 25 0 1 0 811001327 55250944 10824 33554432000 134512640 137138936 4293668240 18446744073709551615 134543427 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32488/statm: 13489 10824 184 642 0 12845 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 53956
[startup+102.319 s]
/proc/loadavg: 2.10 2.06 2.01 3/522 32492
/proc/meminfo: memFree=21403340/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=54088 CPUtime=102.26 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 12661 0 0 0 10222 4 0 0 25 0 1 0 811001327 55386112 10855 33554432000 134512640 137138936 4293668240 18446744073709551615 136500251 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32488/statm: 13522 10855 184 642 0 12878 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 54088
[startup+162.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/522 32493
/proc/meminfo: memFree=21377260/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=78976 CPUtime=162.25 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 19678 0 0 0 16211 14 0 0 25 0 1 0 811001327 80871424 17084 33554432000 134512640 137138936 4293668240 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32488/statm: 19744 17084 192 642 0 19100 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 78976
[startup+222.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/522 32495
/proc/meminfo: memFree=21325888/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=130808 CPUtime=222.25 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 32637 0 0 0 22207 18 0 0 25 0 1 0 811001327 133947392 30043 33554432000 134512640 137138936 4293668240 18446744073709551615 134551857 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32488/statm: 32702 30043 192 642 0 32058 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 130808
[startup+282.3 s]
/proc/loadavg: 2.10 2.08 2.01 3/522 32497
/proc/meminfo: memFree=21257876/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=198176 CPUtime=282.25 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 49858 0 0 0 28201 24 0 0 25 0 1 0 811001327 202932224 46885 33554432000 134512640 137138936 4293668240 18446744073709551615 134618200 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32488/statm: 49544 46885 192 642 0 48900 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 198176
[startup+342.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/522 32498
/proc/meminfo: memFree=21208232/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=248688 CPUtime=342.26 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 62486 0 0 0 34197 29 0 0 25 0 1 0 811001327 254656512 59513 33554432000 134512640 137138936 4293668240 18446744073709551615 134572783 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32488/statm: 62172 59513 192 642 0 61528 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 248688
[startup+402.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/522 32500
/proc/meminfo: memFree=21154492/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=302580 CPUtime=402.26 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 75960 0 0 0 40193 33 0 0 25 0 1 0 811001327 309841920 72987 33554432000 134512640 137138936 4293668240 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32488/statm: 75645 72987 192 642 0 75001 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 302580
[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/522 32501
/proc/meminfo: memFree=21117252/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=339568 CPUtime=462.25 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 85206 0 0 0 46189 36 0 0 25 0 1 0 811001327 347717632 82233 33554432000 134512640 137138936 4293668240 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32488/statm: 84892 82233 192 642 0 84248 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 339568
[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/522 32503
/proc/meminfo: memFree=21077880/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=379432 CPUtime=522.26 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 95173 0 0 0 52186 40 0 0 25 0 1 0 811001327 388538368 92200 33554432000 134512640 137138936 4293668240 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32488/statm: 94858 92200 192 642 0 94214 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 379432
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 32505
/proc/meminfo: memFree=21037164/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=415308 CPUtime=582.26 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 104142 0 0 0 58182 44 0 0 25 0 1 0 811001327 425275392 101169 33554432000 134512640 137138936 4293668240 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32488/statm: 103827 101169 192 642 0 103183 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 415308
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=20800840/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=746836 CPUtime=1122.28 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 187024 0 0 0 112151 77 0 0 25 0 1 0 811001327 764760064 184051 33554432000 134512640 137138936 4293668240 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32488/statm: 186709 184051 192 642 0 186065 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 746836
[startup+1182.3 s]
/proc/loadavg: 1.00 1.26 1.64 2/516 32541
/proc/meminfo: memFree=20773664/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=773488 CPUtime=1182.28 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 193687 0 0 0 118149 79 0 0 25 0 1 0 811001327 792051712 190714 33554432000 134512640 137138936 4293668240 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32488/statm: 193372 190714 192 642 0 192728 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 773488
[startup+1242.3 s]
/proc/loadavg: 1.00 1.21 1.59 2/516 32542
/proc/meminfo: memFree=20737556/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=809260 CPUtime=1242.28 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 202630 0 0 0 124148 80 0 0 25 0 1 0 811001327 828682240 199657 33554432000 134512640 137138936 4293668240 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32488/statm: 202315 199657 192 642 0 201671 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 809260
[startup+1302.3 s]
/proc/loadavg: 1.15 1.20 1.56 2/516 32544
/proc/meminfo: memFree=20712976/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=833012 CPUtime=1302.31 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 208568 0 0 0 130148 83 0 0 25 0 1 0 811001327 853004288 205595 33554432000 134512640 137138936 4293668240 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32488/statm: 208253 205595 192 642 0 207609 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 833012
[startup+1362.3 s]
/proc/loadavg: 1.12 1.18 1.53 2/516 32545
/proc/meminfo: memFree=20693116/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=852744 CPUtime=1362.29 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 213501 0 0 0 136144 85 0 0 25 0 1 0 811001327 873209856 210528 33554432000 134512640 137138936 4293668240 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32488/statm: 213186 210528 192 642 0 212542 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 852744
[startup+1422.32 s]
/proc/loadavg: 1.04 1.14 1.50 2/516 32547
/proc/meminfo: memFree=20668164/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=877732 CPUtime=1422.3 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 219748 0 0 0 142142 88 0 0 25 0 1 0 811001327 898797568 216775 33554432000 134512640 137138936 4293668240 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32488/statm: 219433 216775 192 642 0 218789 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 877732
[startup+1482.3 s]
/proc/loadavg: 1.01 1.12 1.46 2/516 32549
/proc/meminfo: memFree=20644096/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=901744 CPUtime=1482.29 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 225751 0 0 0 148138 91 0 0 25 0 1 0 811001327 923385856 222778 33554432000 134512640 137138936 4293668240 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32488/statm: 225436 222778 192 642 0 224792 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 901744
[startup+1542.3 s]
/proc/loadavg: 1.00 1.09 1.43 2/516 32550
/proc/meminfo: memFree=20623224/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=923952 CPUtime=1542.29 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 231303 0 0 0 154137 92 0 0 25 0 1 0 811001327 946126848 228330 33554432000 134512640 137138936 4293668240 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32488/statm: 230988 228330 192 642 0 230344 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 923952
[startup+1602.3 s]
/proc/loadavg: 1.00 1.07 1.40 2/516 32552
/proc/meminfo: memFree=20599284/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=947868 CPUtime=1602.3 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 237282 0 0 0 160136 94 0 0 25 0 1 0 811001327 970616832 234309 33554432000 134512640 137138936 4293668240 18446744073709551615 134542713 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32488/statm: 236967 234309 192 642 0 236323 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 947868
[startup+1662.3 s]
/proc/loadavg: 1.00 1.06 1.37 2/516 32553
/proc/meminfo: memFree=20578916/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=967832 CPUtime=1662.29 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 242273 0 0 0 166133 96 0 0 25 0 1 0 811001327 991059968 239300 33554432000 134512640 137138936 4293668240 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32488/statm: 241958 239300 192 642 0 241314 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 967832
[startup+1722.3 s]
/proc/loadavg: 1.00 1.04 1.35 2/516 32555
/proc/meminfo: memFree=20559932/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=986792 CPUtime=1722.3 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 247013 0 0 0 172132 98 0 0 25 0 1 0 811001327 1010475008 244040 33554432000 134512640 137138936 4293668240 18446744073709551615 136511128 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32488/statm: 246698 244040 192 642 0 246054 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 986792
[startup+1782.3 s]
/proc/loadavg: 1.00 1.03 1.32 2/516 32557
/proc/meminfo: memFree=20536716/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=1009040 CPUtime=1782.3 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 252575 0 0 0 178130 100 0 0 25 0 1 0 811001327 1033256960 249602 33554432000 134512640 137138936 4293668240 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32488/statm: 252260 249602 192 642 0 251616 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 1009040
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.03 1.32 2/516 32557
/proc/meminfo: memFree=20535972/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=1009968 CPUtime=1785.5 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 252817 0 0 0 178450 100 0 0 25 0 1 0 811001327 1034207232 249844 33554432000 134512640 137138936 4293668240 18446744073709551615 136504116 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32488/statm: 252492 249844 192 642 0 251848 0
Current children cumulated CPU time (s) 1785.5
Current children cumulated vsize (KiB) 1009968
[startup+1791.92 s]
/proc/loadavg: 1.00 1.03 1.32 2/516 32557
/proc/meminfo: memFree=20534356/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=1012432 CPUtime=1791.91 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 253423 0 0 0 179091 100 0 0 25 0 1 0 811001327 1036730368 250450 33554432000 134512640 137138936 4293668240 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32488/statm: 253108 250450 192 642 0 252464 0
Current children cumulated CPU time (s) 1791.91
Current children cumulated vsize (KiB) 1012432
[startup+1795.1 s]
/proc/loadavg: 1.00 1.03 1.32 2/516 32557
/proc/meminfo: memFree=20533364/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=1013404 CPUtime=1795.12 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 253665 0 0 0 179411 101 0 0 25 0 1 0 811001327 1037725696 250692 33554432000 134512640 137138936 4293668240 18446744073709551615 134607615 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32488/statm: 253351 250692 192 642 0 252707 0
Current children cumulated CPU time (s) 1795.12
Current children cumulated vsize (KiB) 1013404
[startup+1796.7 s]
/proc/loadavg: 1.00 1.03 1.32 2/516 32557
/proc/meminfo: memFree=20533364/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=1013868 CPUtime=1796.7 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 253782 0 0 0 179569 101 0 0 25 0 1 0 811001327 1038200832 250809 33554432000 134512640 137138936 4293668240 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32488/statm: 253467 250809 192 642 0 252823 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 1013868
[startup+1797.5 s]
/proc/loadavg: 1.00 1.03 1.32 2/516 32557
/proc/meminfo: memFree=20532496/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=1013868 CPUtime=1797.5 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 253782 0 0 0 179649 101 0 0 25 0 1 0 811001327 1038200832 250809 33554432000 134512640 137138936 4293668240 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32488/statm: 253467 250809 192 642 0 252823 0
Current children cumulated CPU time (s) 1797.5
Current children cumulated vsize (KiB) 1013868
[startup+1797.9 s]
/proc/loadavg: 1.00 1.03 1.32 2/516 32557
/proc/meminfo: memFree=20532496/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=1013868 CPUtime=1797.9 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202496 253782 0 0 0 179689 101 0 0 25 0 1 0 811001327 1038200832 250809 33554432000 134512640 137138936 4293668240 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32488/statm: 253467 250809 192 642 0 252823 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 1013868
[startup+1798 s]
/proc/loadavg: 1.00 1.03 1.32 2/516 32557
/proc/meminfo: memFree=20532496/32951124 swapFree=58800704/67111528
[pid=32488] ppid=32486 vsize=0 CPUtime=1798 cores=0,2,4,6
/proc/32488/stat : 32488 (bsolo) R 32486 32488 30263 0 -1 4202500 253782 0 0 0 179699 101 0 0 25 0 1 0 811001327 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/32488/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.04
CPU time (s): 1798.05
CPU user time (s): 1797
CPU system time (s): 1.05584
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 1013868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797
system time used= 1.05584
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 253782
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= 5
involuntary context switches= 1657
runsolver used 9.95949 second user time and 21.0428 second system time
The end