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-3462811-1307183311/watcher-3462811-1307183311 -o /tmp/evaluation-result-3462811-1307183311/solver-3462811-1307183311 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462811-1307183311.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.03 2.00 2/511 7308
/proc/meminfo: memFree=16549696/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=11332 CPUtime=0 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 443 0 0 0 0 0 0 0 25 0 1 0 810747182 11603968 393 33554432000 134512640 137138936 4290168224 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 2833 393 185 642 0 2189 0
[startup+0.0995691 s]
/proc/loadavg: 2.00 2.03 2.00 2/511 7308
/proc/meminfo: memFree=16549696/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=11332 CPUtime=0.09 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 444 0 0 0 9 0 0 0 25 0 1 0 810747182 11603968 394 33554432000 134512640 137138936 4290168224 18446744073709551615 136297620 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 2833 394 185 642 0 2189 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11332
[startup+0.100544 s]
/proc/loadavg: 2.00 2.03 2.00 2/511 7308
/proc/meminfo: memFree=16549696/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=11332 CPUtime=0.09 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 444 0 0 0 9 0 0 0 25 0 1 0 810747182 11603968 394 33554432000 134512640 137138936 4290168224 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 2833 394 185 642 0 2189 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11332
[startup+0.300542 s]
/proc/loadavg: 2.00 2.03 2.00 2/511 7308
/proc/meminfo: memFree=16549696/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=11720 CPUtime=0.29 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 535 0 0 0 29 0 0 0 25 0 1 0 810747182 12001280 485 33554432000 134512640 137138936 4290168224 18446744073709551615 134618135 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 2930 485 192 642 0 2286 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11720
[startup+0.700453 s]
/proc/loadavg: 2.00 2.03 2.00 2/511 7308
/proc/meminfo: memFree=16549696/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=13680 CPUtime=0.69 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 1025 0 0 0 69 0 0 0 25 0 1 0 810747182 14008320 975 33554432000 134512640 137138936 4290168224 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 3420 975 192 642 0 2776 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13680
[startup+1.50033 s]
/proc/loadavg: 2.00 2.03 2.00 3/512 7310
/proc/meminfo: memFree=16544852/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=16860 CPUtime=1.49 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 1841 0 0 0 149 0 0 0 25 0 1 0 810747182 17264640 1791 33554432000 134512640 137138936 4290168224 18446744073709551615 134618524 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 4215 1791 192 642 0 3571 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16860
[startup+3.10105 s]
/proc/loadavg: 2.00 2.03 2.00 3/512 7310
/proc/meminfo: memFree=16540016/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=21264 CPUtime=3.09 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 2921 0 0 0 308 1 0 0 25 0 1 0 810747182 21774336 2871 33554432000 134512640 137138936 4290168224 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 5316 2871 192 642 0 4672 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21264
[startup+6.30044 s]
/proc/loadavg: 2.00 2.03 2.00 3/512 7310
/proc/meminfo: memFree=16532080/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=27792 CPUtime=6.29 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 4556 0 0 0 627 2 0 0 25 0 1 0 810747182 28459008 4506 33554432000 134512640 137138936 4290168224 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 6948 4506 192 642 0 6304 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27792
[startup+12.7003 s]
/proc/loadavg: 2.00 2.03 2.00 3/512 7310
/proc/meminfo: memFree=16521132/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=37744 CPUtime=12.69 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 7045 0 0 0 1265 4 0 0 25 0 1 0 810747182 38649856 6995 33554432000 134512640 137138936 4290168224 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 9436 6995 192 642 0 8792 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37744
[startup+25.5011 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 7310
/proc/meminfo: memFree=16518892/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=39376 CPUtime=25.49 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 7502 0 0 0 2542 7 0 0 25 0 1 0 810747182 40321024 7417 33554432000 134512640 137138936 4290168224 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 9844 7417 192 642 0 9200 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 39376
[startup+51.1006 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 7311
/proc/meminfo: memFree=16511220/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=45960 CPUtime=51.09 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 9182 0 0 0 5099 10 0 0 25 0 1 0 810747182 47063040 9055 33554432000 134512640 137138936 4290168224 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 11490 9055 192 642 0 10846 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 45960
[startup+102.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 7312
/proc/meminfo: memFree=16502760/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=52144 CPUtime=102.32 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 10807 0 0 0 10217 15 0 0 25 0 1 0 810747182 53395456 10583 33554432000 134512640 137138936 4290168224 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 13036 10583 192 642 0 12392 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 52144
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/512 7314
/proc/meminfo: memFree=16494536/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=58620 CPUtime=162.29 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 12504 0 0 0 16209 20 0 0 25 0 1 0 810747182 60026880 12224 33554432000 134512640 137138936 4290168224 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 14655 12224 192 642 0 14011 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 58620
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/512 7316
/proc/meminfo: memFree=16494628/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=60152 CPUtime=222.3 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 12946 0 0 0 22203 27 0 0 25 0 1 0 810747182 61595648 12605 33554432000 134512640 137138936 4290168224 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 15038 12605 192 642 0 14394 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 60152
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/512 7319
/proc/meminfo: memFree=16491504/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=60472 CPUtime=282.3 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 13005 0 0 0 28198 32 0 0 25 0 1 0 810747182 61923328 12664 33554432000 134512640 137138936 4290168224 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 15118 12664 192 642 0 14474 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 60472
[startup+342.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/512 7321
/proc/meminfo: memFree=16490480/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=61416 CPUtime=342.3 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 13269 0 0 0 34192 38 0 0 25 0 1 0 810747182 62889984 12928 33554432000 134512640 137138936 4290168224 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 15354 12928 192 642 0 14710 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 61416
[startup+402.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/512 7322
/proc/meminfo: memFree=16485872/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=66064 CPUtime=402.3 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 14470 0 0 0 40187 43 0 0 25 0 1 0 810747182 67649536 14062 33554432000 134512640 137138936 4290168224 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 16516 14062 192 642 0 15872 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 66064
[startup+462.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/512 7324
/proc/meminfo: memFree=16485228/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=66064 CPUtime=462.3 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 14483 0 0 0 46181 49 0 0 25 0 1 0 810747182 67649536 14075 33554432000 134512640 137138936 4290168224 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 16516 14075 192 642 0 15872 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 66064
[startup+522.301 s]
/proc/loadavg: 2.10 2.06 2.01 3/512 7325
/proc/meminfo: memFree=16484708/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=67364 CPUtime=522.3 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 14795 0 0 0 52177 53 0 0 25 0 1 0 810747182 68980736 14387 33554432000 134512640 137138936 4290168224 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 16841 14387 192 642 0 16197 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 67364
[startup+582.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/512 7327
/proc/meminfo: memFree=16480708/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=71636 CPUtime=582.3 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 15937 0 0 0 58172 58 0 0 25 0 1 0 810747182 73355264 15455 33554432000 134512640 137138936 4290168224 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 17909 15455 192 642 0 17265 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 71636
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=16476088/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=74652 CPUtime=1062.32 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 16807 0 0 0 106130 102 0 0 25 0 1 0 810747182 76443648 16241 33554432000 134512640 137138936 4290168224 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 18663 16241 192 642 0 18019 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 74652
[startup+1122.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/512 7344
/proc/meminfo: memFree=16476176/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=74652 CPUtime=1122.32 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 16807 0 0 0 112125 107 0 0 25 0 1 0 810747182 76443648 16241 33554432000 134512640 137138936 4290168224 18446744073709551615 134598920 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 18663 16241 192 642 0 18019 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 74652
[startup+1182.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/512 7346
/proc/meminfo: memFree=16465872/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=74652 CPUtime=1182.32 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 16807 0 0 0 118120 112 0 0 25 0 1 0 810747182 76443648 16241 33554432000 134512640 137138936 4290168224 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 18663 16241 192 642 0 18019 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 74652
[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/512 7348
/proc/meminfo: memFree=16466332/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=74652 CPUtime=1242.32 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 16807 0 0 0 124117 115 0 0 25 0 1 0 810747182 76443648 16241 33554432000 134512640 137138936 4290168224 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 18663 16241 192 642 0 18019 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 74652
[startup+1302.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/512 7381
/proc/meminfo: memFree=16637772/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=74652 CPUtime=1302.32 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 16807 0 0 0 130111 121 0 0 25 0 1 0 810747182 76443648 16241 33554432000 134512640 137138936 4290168224 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 18663 16241 192 642 0 18019 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 74652
[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/512 7412
/proc/meminfo: memFree=16613500/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=74652 CPUtime=1362.32 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 16807 0 0 0 136105 127 0 0 25 0 1 0 810747182 76443648 16241 33554432000 134512640 137138936 4290168224 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 18663 16241 192 642 0 18019 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 74652
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 7414
/proc/meminfo: memFree=16613580/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=74652 CPUtime=1422.34 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 16807 0 0 0 142101 133 0 0 25 0 1 0 810747182 76443648 16241 33554432000 134512640 137138936 4290168224 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 18663 16241 192 642 0 18019 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 74652
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 7416
/proc/meminfo: memFree=16612300/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=74652 CPUtime=1482.32 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 16807 0 0 0 148094 138 0 0 25 0 1 0 810747182 76443648 16241 33554432000 134512640 137138936 4290168224 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 18663 16241 192 642 0 18019 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 74652
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/512 7446
/proc/meminfo: memFree=16566024/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=74652 CPUtime=1542.32 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 16807 0 0 0 154090 142 0 0 25 0 1 0 810747182 76443648 16241 33554432000 134512640 137138936 4290168224 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 18663 16241 192 642 0 18019 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 74652
[startup+1602.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/512 7447
/proc/meminfo: memFree=16521592/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=74652 CPUtime=1602.32 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 16807 0 0 0 160085 147 0 0 25 0 1 0 810747182 76443648 16241 33554432000 134512640 137138936 4290168224 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 18663 16241 192 642 0 18019 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 74652
[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/512 7449
/proc/meminfo: memFree=16509404/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=74652 CPUtime=1662.32 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 16807 0 0 0 166076 156 0 0 25 0 1 0 810747182 76443648 16241 33554432000 134512640 137138936 4290168224 18446744073709551615 134543206 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 18663 16241 192 642 0 18019 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 74652
[startup+1722.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/512 7450
/proc/meminfo: memFree=16509616/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=74652 CPUtime=1722.32 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 16807 0 0 0 172070 162 0 0 25 0 1 0 810747182 76443648 16241 33554432000 134512640 137138936 4290168224 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 18663 16241 192 642 0 18019 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 74652
[startup+1782.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/512 7453
/proc/meminfo: memFree=16457344/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=74652 CPUtime=1782.32 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 16807 0 0 0 178064 168 0 0 25 0 1 0 810747182 76443648 16241 33554432000 134512640 137138936 4290168224 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 18663 16241 192 642 0 18019 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 74652
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.07 2.05 2.01 3/512 7453
/proc/meminfo: memFree=16456476/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=74652 CPUtime=1785.52 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 16807 0 0 0 178384 168 0 0 25 0 1 0 810747182 76443648 16241 33554432000 134512640 137138936 4290168224 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 18663 16241 192 642 0 18019 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (KiB) 74652
[startup+1791.92 s]
/proc/loadavg: 2.06 2.05 2.01 3/512 7453
/proc/meminfo: memFree=16451760/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=74652 CPUtime=1791.95 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 16807 0 0 0 179026 169 0 0 25 0 1 0 810747182 76443648 16241 33554432000 134512640 137138936 4290168224 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 18663 16241 192 642 0 18019 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 74652
[startup+1795.1 s]
/proc/loadavg: 2.06 2.05 2.00 3/512 7453
/proc/meminfo: memFree=16450520/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=74652 CPUtime=1795.14 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 16807 0 0 0 179345 169 0 0 25 0 1 0 810747182 76443648 16241 33554432000 134512640 137138936 4290168224 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 18663 16241 192 642 0 18019 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 74652
[startup+1796.7 s]
/proc/loadavg: 2.06 2.05 2.00 3/512 7453
/proc/meminfo: memFree=16449900/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=74652 CPUtime=1796.72 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 16807 0 0 0 179503 169 0 0 25 0 1 0 810747182 76443648 16241 33554432000 134512640 137138936 4290168224 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 18663 16241 192 642 0 18019 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 74652
[startup+1797.5 s]
/proc/loadavg: 2.06 2.05 2.00 3/512 7453
/proc/meminfo: memFree=16448412/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=74652 CPUtime=1797.52 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 16807 0 0 0 179583 169 0 0 25 0 1 0 810747182 76443648 16241 33554432000 134512640 137138936 4290168224 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 18663 16241 192 642 0 18019 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (KiB) 74652
[startup+1797.9 s]
/proc/loadavg: 2.06 2.05 2.00 3/512 7453
/proc/meminfo: memFree=16448412/32951124 swapFree=67111204/67111528
[pid=7308] ppid=7306 vsize=74652 CPUtime=1797.92 cores=0,2,4,6
/proc/7308/stat : 7308 (bsolo) R 7306 7308 5093 0 -1 4202496 16807 0 0 0 179623 169 0 0 25 0 1 0 810747182 76443648 16241 33554432000 134512640 137138936 4290168224 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7308/statm: 18663 16241 192 642 0 18019 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 74652
Child status: 0
Real time (s): 1797.97
CPU time (s): 1798.01
CPU user time (s): 1796.3
CPU system time (s): 1.70174
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 75116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.3
system time used= 1.70174
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16808
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= 3272
runsolver used 9.45556 second user time and 19.986 second system time
The end