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-3463364-1307174678/watcher-3463364-1307174678 -o /tmp/evaluation-result-3463364-1307174678/solver-3463364-1307174678 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463364-1307174678.opb
running on 4 cores: 1,3,5,7
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: 1.32 1.32 1.65 3/524 27370
/proc/meminfo: memFree=23883740/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=11328 CPUtime=0.01 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 448 0 0 0 1 0 0 0 25 0 1 0 829065567 11599872 381 33554432000 134512640 137138936 4291954096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 2832 381 192 642 0 2188 0
[startup+0.0844519 s]
/proc/loadavg: 1.32 1.32 1.65 3/524 27370
/proc/meminfo: memFree=23883740/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=11576 CPUtime=0.07 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 517 0 0 0 7 0 0 0 25 0 1 0 829065567 11853824 450 33554432000 134512640 137138936 4291954096 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 2894 450 192 642 0 2250 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11576
[startup+0.100449 s]
/proc/loadavg: 1.32 1.32 1.65 3/524 27370
/proc/meminfo: memFree=23883740/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=11576 CPUtime=0.09 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 534 0 0 0 9 0 0 0 25 0 1 0 829065567 11853824 467 33554432000 134512640 137138936 4291954096 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 2894 467 192 642 0 2250 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11576
[startup+0.300414 s]
/proc/loadavg: 1.32 1.32 1.65 3/524 27370
/proc/meminfo: memFree=23883740/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=12200 CPUtime=0.29 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 679 0 0 0 29 0 0 0 25 0 1 0 829065567 12492800 612 33554432000 134512640 137138936 4291954096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 3050 612 192 642 0 2406 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12200
[startup+0.700343 s]
/proc/loadavg: 1.32 1.32 1.65 3/524 27370
/proc/meminfo: memFree=23883740/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=13056 CPUtime=0.69 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 904 0 0 0 69 0 0 0 25 0 1 0 829065567 13369344 837 33554432000 134512640 137138936 4291954096 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 3264 837 192 642 0 2620 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13056
[startup+1.5002 s]
/proc/loadavg: 1.32 1.32 1.65 3/525 27371
/proc/meminfo: memFree=23879932/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=13552 CPUtime=1.48 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 1030 0 0 0 148 0 0 0 25 0 1 0 829065567 13877248 963 33554432000 134512640 137138936 4291954096 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 3388 963 192 642 0 2744 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13552
[startup+3.10091 s]
/proc/loadavg: 1.32 1.32 1.65 3/525 27371
/proc/meminfo: memFree=23877948/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=14052 CPUtime=3.09 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 1153 0 0 0 308 1 0 0 25 0 1 0 829065567 14389248 1086 33554432000 134512640 137138936 4291954096 18446744073709551615 134542243 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 3513 1086 192 642 0 2869 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14052
[startup+6.30034 s]
/proc/loadavg: 1.37 1.33 1.65 3/525 27371
/proc/meminfo: memFree=23877264/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=14540 CPUtime=6.29 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 1260 0 0 0 627 2 0 0 25 0 1 0 829065567 14888960 1193 33554432000 134512640 137138936 4291954096 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 3635 1193 192 642 0 2991 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14540
[startup+12.7002 s]
/proc/loadavg: 1.42 1.34 1.65 3/525 27373
/proc/meminfo: memFree=23875932/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=15160 CPUtime=12.69 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 1402 0 0 0 1264 5 0 0 25 0 1 0 829065567 15523840 1335 33554432000 134512640 137138936 4291954096 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 3790 1335 192 642 0 3146 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15160
[startup+25.5009 s]
/proc/loadavg: 1.55 1.37 1.66 3/525 27373
/proc/meminfo: memFree=23875024/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=16260 CPUtime=25.49 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 1690 0 0 0 2540 9 0 0 25 0 1 0 829065567 16650240 1623 33554432000 134512640 137138936 4291954096 18446744073709551615 134575773 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 4065 1623 192 642 0 3421 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16260
[startup+51.1002 s]
/proc/loadavg: 1.70 1.42 1.66 3/525 27374
/proc/meminfo: memFree=23874120/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=17236 CPUtime=51.09 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 1951 0 0 0 5094 15 0 0 25 0 1 0 829065567 17649664 1884 33554432000 134512640 137138936 4291954096 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 4309 1884 192 642 0 3665 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 17236
[startup+102.32 s]
/proc/loadavg: 1.87 1.51 1.68 3/525 27375
/proc/meminfo: memFree=23870492/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=18084 CPUtime=102.31 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 2154 0 0 0 10206 25 0 0 25 0 1 0 829065567 18518016 2087 33554432000 134512640 137138936 4291954096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 4521 2087 192 642 0 3877 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 18084
[startup+162.3 s]
/proc/loadavg: 1.95 1.60 1.70 3/525 27377
/proc/meminfo: memFree=23868728/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=19036 CPUtime=162.29 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 2379 0 0 0 16193 36 0 0 25 0 1 0 829065567 19492864 2312 33554432000 134512640 137138936 4291954096 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 4759 2312 192 642 0 4115 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 19036
[startup+222.3 s]
/proc/loadavg: 1.98 1.67 1.71 3/525 27378
/proc/meminfo: memFree=23868580/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=19812 CPUtime=222.29 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 2574 0 0 0 22182 47 0 0 25 0 1 0 829065567 20287488 2507 33554432000 134512640 137138936 4291954096 18446744073709551615 134542787 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 4953 2507 192 642 0 4309 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 19812
[startup+282.3 s]
/proc/loadavg: 2.10 1.75 1.74 3/525 27462
/proc/meminfo: memFree=23872052/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=20044 CPUtime=282.29 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 2648 0 0 0 28172 57 0 0 25 0 1 0 829065567 20525056 2581 33554432000 134512640 137138936 4291954096 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 5011 2581 192 642 0 4367 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 20044
[startup+342.301 s]
/proc/loadavg: 2.08 1.81 1.76 3/525 27463
/proc/meminfo: memFree=23869908/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=20876 CPUtime=342.29 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 2845 0 0 0 34162 67 0 0 25 0 1 0 829065567 21377024 2778 33554432000 134512640 137138936 4291954096 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 5219 2778 192 642 0 4575 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 20876
[startup+402.301 s]
/proc/loadavg: 2.03 1.84 1.77 3/525 27465
/proc/meminfo: memFree=23867400/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=20872 CPUtime=402.3 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 2845 0 0 0 40151 79 0 0 25 0 1 0 829065567 21372928 2778 33554432000 134512640 137138936 4291954096 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 5218 2778 192 642 0 4574 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 20872
[startup+462.301 s]
/proc/loadavg: 2.01 1.87 1.78 3/525 27467
/proc/meminfo: memFree=23867108/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=20872 CPUtime=462.29 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 2845 0 0 0 46140 89 0 0 25 0 1 0 829065567 21372928 2778 33554432000 134512640 137138936 4291954096 18446744073709551615 134601123 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 5218 2778 192 642 0 4574 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 20872
[startup+522.3 s]
/proc/loadavg: 2.00 1.89 1.79 3/525 27468
/proc/meminfo: memFree=23866324/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=21340 CPUtime=522.29 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 2959 0 0 0 52131 98 0 0 25 0 1 0 829065567 21852160 2892 33554432000 134512640 137138936 4291954096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 5335 2892 192 642 0 4691 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 21340
[startup+582.3 s]
/proc/loadavg: 2.00 1.91 1.80 3/525 27470
/proc/meminfo: memFree=23867284/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=21324 CPUtime=582.29 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 2959 0 0 0 58122 107 0 0 25 0 1 0 829065567 21835776 2892 33554432000 134512640 137138936 4291954096 18446744073709551615 136502662 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 5331 2892 192 642 0 4687 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 21324
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=23865848/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=21316 CPUtime=702.29 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 2959 0 0 0 70103 126 0 0 25 0 1 0 829065567 21827584 2892 33554432000 134512640 137138936 4291954096 18446744073709551615 134573847 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 5329 2892 192 642 0 4685 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 21316
[startup+762.32 s]
/proc/loadavg: 2.11 1.97 1.84 3/525 27475
/proc/meminfo: memFree=23865548/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=21636 CPUtime=762.32 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 3038 0 0 0 76096 136 0 0 25 0 1 0 829065567 22155264 2971 33554432000 134512640 137138936 4291954096 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 5409 2971 192 642 0 4765 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 21636
[startup+822.301 s]
/proc/loadavg: 2.19 2.00 1.86 3/525 27476
/proc/meminfo: memFree=23865732/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=22012 CPUtime=822.25 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 3137 0 0 0 82080 145 0 0 25 0 1 0 829065567 22540288 3070 33554432000 134512640 137138936 4291954096 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 5503 3070 192 642 0 4859 0
Current children cumulated CPU time (s) 822.25
Current children cumulated vsize (KiB) 22012
[startup+882.301 s]
/proc/loadavg: 2.13 2.02 1.87 3/525 27478
/proc/meminfo: memFree=23863196/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=23164 CPUtime=882.26 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 3416 0 0 0 88072 154 0 0 25 0 1 0 829065567 23719936 3349 33554432000 134512640 137138936 4291954096 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 5791 3349 192 642 0 5147 0
Current children cumulated CPU time (s) 882.26
Current children cumulated vsize (KiB) 23164
[startup+942.3 s]
/proc/loadavg: 2.05 2.01 1.87 3/525 27479
/proc/meminfo: memFree=23863908/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=23156 CPUtime=942.26 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 3416 0 0 0 94064 162 0 0 25 0 1 0 829065567 23711744 3349 33554432000 134512640 137138936 4291954096 18446744073709551615 134606997 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 5789 3349 192 642 0 5145 0
Current children cumulated CPU time (s) 942.26
Current children cumulated vsize (KiB) 23156
[startup+1002.3 s]
/proc/loadavg: 2.02 2.00 1.88 3/525 27481
/proc/meminfo: memFree=23864000/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=23096 CPUtime=1002.25 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 3416 0 0 0 100055 170 0 0 25 0 1 0 829065567 23650304 3349 33554432000 134512640 137138936 4291954096 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 5774 3349 192 642 0 5130 0
Current children cumulated CPU time (s) 1002.25
Current children cumulated vsize (KiB) 23096
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/525 27483
/proc/meminfo: memFree=23864084/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=23096 CPUtime=1062.25 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 3416 0 0 0 106047 178 0 0 25 0 1 0 829065567 23650304 3349 33554432000 134512640 137138936 4291954096 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 5774 3349 192 642 0 5130 0
Current children cumulated CPU time (s) 1062.25
Current children cumulated vsize (KiB) 23096
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/525 27484
/proc/meminfo: memFree=23862556/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=23092 CPUtime=1122.25 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 3416 0 0 0 112039 186 0 0 25 0 1 0 829065567 23646208 3348 33554432000 134512640 137138936 4291954096 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 5773 3348 192 642 0 5129 0
Current children cumulated CPU time (s) 1122.25
Current children cumulated vsize (KiB) 23092
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/525 27486
/proc/meminfo: memFree=23861284/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=23088 CPUtime=1182.26 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 3416 0 0 0 118031 195 0 0 25 0 1 0 829065567 23642112 3347 33554432000 134512640 137138936 4291954096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 5772 3347 192 642 0 5128 0
Current children cumulated CPU time (s) 1182.26
Current children cumulated vsize (KiB) 23088
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/525 27487
/proc/meminfo: memFree=23861640/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=23084 CPUtime=1242.25 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 3416 0 0 0 124021 204 0 0 25 0 1 0 829065567 23638016 3346 33554432000 134512640 137138936 4291954096 18446744073709551615 134542313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 5771 3346 192 642 0 5127 0
Current children cumulated CPU time (s) 1242.25
Current children cumulated vsize (KiB) 23084
[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 1.91 3/525 27489
/proc/meminfo: memFree=23860852/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=23080 CPUtime=1302.27 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 3416 0 0 0 130014 213 0 0 25 0 1 0 829065567 23633920 3345 33554432000 134512640 137138936 4291954096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 5770 3345 192 642 0 5126 0
Current children cumulated CPU time (s) 1302.27
Current children cumulated vsize (KiB) 23080
[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 1.92 3/525 27491
/proc/meminfo: memFree=23861792/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=23652 CPUtime=1362.26 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 3545 0 0 0 136005 221 0 0 25 0 1 0 829065567 24219648 3473 33554432000 134512640 137138936 4291954096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 5913 3473 192 642 0 5269 0
Current children cumulated CPU time (s) 1362.26
Current children cumulated vsize (KiB) 23652
[startup+1422.32 s]
/proc/loadavg: 2.09 2.05 1.93 3/525 27492
/proc/meminfo: memFree=23861872/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=23648 CPUtime=1422.27 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 3545 0 0 0 142000 227 0 0 25 0 1 0 829065567 24215552 3473 33554432000 134512640 137138936 4291954096 18446744073709551615 134542737 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 5912 3473 192 642 0 5268 0
Current children cumulated CPU time (s) 1422.27
Current children cumulated vsize (KiB) 23648
Solver just ended. Dumping a history of the last processes samples
[startup+1427.1 s]
/proc/loadavg: 2.09 2.05 1.93 3/525 27492
/proc/meminfo: memFree=23862120/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=23644 CPUtime=1427.05 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 3545 0 0 0 142478 227 0 0 25 0 1 0 829065567 24211456 3473 33554432000 134512640 137138936 4291954096 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 5911 3473 192 642 0 5267 0
Current children cumulated CPU time (s) 1427.05
Current children cumulated vsize (KiB) 23644
[startup+1430.3 s]
/proc/loadavg: 2.16 2.06 1.93 3/525 27492
/proc/meminfo: memFree=23861872/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=23644 CPUtime=1430.25 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 3545 0 0 0 142797 228 0 0 25 0 1 0 829065567 24211456 3473 33554432000 134512640 137138936 4291954096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 5911 3473 192 642 0 5267 0
Current children cumulated CPU time (s) 1430.25
Current children cumulated vsize (KiB) 23644
[startup+1431.12 s]
/proc/loadavg: 2.16 2.06 1.93 3/525 27492
/proc/meminfo: memFree=23861004/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=23644 CPUtime=1431.07 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 3545 0 0 0 142879 228 0 0 25 0 1 0 829065567 24211456 3473 33554432000 134512640 137138936 4291954096 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 5911 3473 192 642 0 5267 0
Current children cumulated CPU time (s) 1431.07
Current children cumulated vsize (KiB) 23644
[startup+1431.5 s]
/proc/loadavg: 2.16 2.06 1.93 3/525 27492
/proc/meminfo: memFree=23861004/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=23644 CPUtime=1431.46 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 3545 0 0 0 142917 229 0 0 25 0 1 0 829065567 24211456 3473 33554432000 134512640 137138936 4291954096 18446744073709551615 136297616 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 5911 3473 192 642 0 5267 0
Current children cumulated CPU time (s) 1431.46
Current children cumulated vsize (KiB) 23644
[startup+1431.7 s]
/proc/loadavg: 2.16 2.06 1.93 3/525 27492
/proc/meminfo: memFree=23861004/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=23644 CPUtime=1431.66 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 3545 0 0 0 142937 229 0 0 25 0 1 0 829065567 24211456 3473 33554432000 134512640 137138936 4291954096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 5911 3473 192 642 0 5267 0
Current children cumulated CPU time (s) 1431.66
Current children cumulated vsize (KiB) 23644
[startup+1431.8 s]
/proc/loadavg: 2.16 2.06 1.93 3/525 27492
/proc/meminfo: memFree=23861004/32951124 swapFree=56930356/67111528
[pid=27370] ppid=27368 vsize=23644 CPUtime=1431.76 cores=1,3,5,7
/proc/27370/stat : 27370 (bsolo) R 27368 27370 25956 0 -1 4202496 3545 0 0 0 142947 229 0 0 25 0 1 0 829065567 24211456 3473 33554432000 134512640 137138936 4291954096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27370/statm: 5911 3473 192 642 0 5267 0
Current children cumulated CPU time (s) 1431.76
Current children cumulated vsize (KiB) 23644
Child status: 0
Real time (s): 1431.9
CPU time (s): 1431.86
CPU user time (s): 1429.57
CPU system time (s): 2.29465
CPU usage (%): 99.9974
Max. virtual memory (cumulated for all children) (KiB): 23652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1429.57
system time used= 2.29465
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3545
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= 3577
runsolver used 7.40687 second user time and 17.3244 second system time
The end