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-3478896-1307442179/watcher-3478896-1307442179 -o /tmp/evaluation-result-3478896-1307442179/solver-3478896-1307442179 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3478896-1307442179.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: 2.00 2.03 2.00 2/517 11451
/proc/meminfo: memFree=21009916/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=19484 CPUtime=0 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 414 0 0 0 0 0 0 0 19 0 1 0 855814574 19951616 369 33554432000 134512640 137138936 4293864944 18446744073709551615 134538746 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11451/statm: 4871 370 203 642 0 2157 0
[startup+0.0263691 s]
/proc/loadavg: 2.00 2.03 2.00 2/517 11451
/proc/meminfo: memFree=21009916/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=20296 CPUtime=0.02 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 660 0 0 0 2 0 0 0 19 0 1 0 855814574 20783104 615 33554432000 134512640 137138936 4293864944 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11451/statm: 5074 615 260 642 0 2360 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 20296
[startup+0.100364 s]
/proc/loadavg: 2.00 2.03 2.00 2/517 11451
/proc/meminfo: memFree=21009916/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=23852 CPUtime=0.09 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 1867 0 0 0 9 0 0 0 19 0 1 0 855814574 24424448 1822 33554432000 134512640 137138936 4293864944 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11451/statm: 5963 1822 555 642 0 3249 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23852
[startup+0.300325 s]
/proc/loadavg: 2.00 2.03 2.00 2/517 11451
/proc/meminfo: memFree=21009916/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=32988 CPUtime=0.29 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 4901 0 0 0 29 0 0 0 20 0 1 0 855814574 33779712 4856 33554432000 134512640 137138936 4293864944 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11451/statm: 8247 4857 1313 642 0 5533 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32988
[startup+0.701244 s]
/proc/loadavg: 2.00 2.03 2.00 2/517 11451
/proc/meminfo: memFree=21009916/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=46528 CPUtime=0.69 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 11290 0 0 0 68 1 0 0 20 0 1 0 855814574 47644672 9175 33554432000 134512640 137138936 4293864944 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11451/statm: 11632 9175 184 642 0 10988 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46528
[startup+1.50108 s]
/proc/loadavg: 2.00 2.03 2.00 3/518 11452
/proc/meminfo: memFree=20959488/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=59160 CPUtime=1.49 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 14430 0 0 0 143 6 0 0 23 0 1 0 855814574 60579840 12315 33554432000 134512640 137138936 4293864944 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11451/statm: 14790 12315 185 642 0 14146 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59160
[startup+3.10077 s]
/proc/loadavg: 2.00 2.03 2.00 3/518 11452
/proc/meminfo: memFree=20957752/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=59160 CPUtime=3.09 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 14433 0 0 0 297 12 0 0 25 0 1 0 855814574 60579840 12318 33554432000 134512640 137138936 4293864944 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11451/statm: 14790 12318 185 642 0 14146 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 59160
[startup+6.30112 s]
/proc/loadavg: 2.00 2.03 2.00 3/518 11452
/proc/meminfo: memFree=20954408/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=59160 CPUtime=6.29 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 14437 0 0 0 612 17 0 0 25 0 1 0 855814574 60579840 12322 33554432000 134512640 137138936 4293864944 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11451/statm: 14790 12322 185 642 0 14146 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59160
[startup+12.7009 s]
/proc/loadavg: 2.08 2.04 2.00 3/518 11453
/proc/meminfo: memFree=20960580/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=50020 CPUtime=12.69 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 15261 0 0 0 1194 75 0 0 25 0 1 0 855814574 51220480 10039 33554432000 134512640 137138936 4293864944 18446744073709551615 134578144 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11451/statm: 12505 10039 192 642 0 11861 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50020
[startup+25.5003 s]
/proc/loadavg: 2.06 2.04 2.00 3/518 11453
/proc/meminfo: memFree=20934508/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=67576 CPUtime=25.5 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 19678 0 0 0 2446 104 0 0 25 0 1 0 855814574 69197824 14456 33554432000 134512640 137138936 4293864944 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11451/statm: 16894 14456 192 642 0 16250 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 67576
[startup+51.1012 s]
/proc/loadavg: 2.04 2.04 2.00 3/518 11454
/proc/meminfo: memFree=20894968/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=90720 CPUtime=51.03 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 25439 0 0 0 4961 142 0 0 25 0 1 0 855814574 92897280 20217 33554432000 134512640 137138936 4293864944 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11451/statm: 22680 20217 192 642 0 22036 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 90720
[startup+102.32 s]
/proc/loadavg: 2.01 2.03 2.00 3/518 11455
/proc/meminfo: memFree=20842760/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=108076 CPUtime=102.25 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 29797 0 0 0 10071 154 0 0 25 0 1 0 855814574 110669824 24575 33554432000 134512640 137138936 4293864944 18446744073709551615 134542898 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11451/statm: 27019 24575 192 642 0 26375 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 108076
[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 11457
/proc/meminfo: memFree=20804672/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=124928 CPUtime=162.23 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 33991 0 0 0 16064 159 0 0 25 0 1 0 855814574 127926272 28769 33554432000 134512640 137138936 4293864944 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11451/statm: 31232 28769 192 642 0 30588 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 124928
[startup+222.301 s]
/proc/loadavg: 2.11 2.05 2.01 3/518 11458
/proc/meminfo: memFree=20734708/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=175520 CPUtime=222.23 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 46658 0 0 0 22029 194 0 0 25 0 1 0 855814574 179732480 41436 33554432000 134512640 137138936 4293864944 18446744073709551615 136502581 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11451/statm: 43880 41436 192 642 0 43236 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 175520
[startup+282.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/518 11460
/proc/meminfo: memFree=20694124/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=185516 CPUtime=282.22 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 49160 0 0 0 28026 196 0 0 25 0 1 0 855814574 189968384 43938 33554432000 134512640 137138936 4293864944 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11451/statm: 46379 43938 192 642 0 45735 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 185516
[startup+342.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/518 11461
/proc/meminfo: memFree=20664088/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=195536 CPUtime=342.22 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 51673 0 0 0 34024 198 0 0 25 0 1 0 855814574 200228864 46451 33554432000 134512640 137138936 4293864944 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11451/statm: 48884 46451 192 642 0 48240 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 195536
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 11463
/proc/meminfo: memFree=20625740/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=203888 CPUtime=402.23 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 53733 0 0 0 40022 201 0 0 25 0 1 0 855814574 208781312 48511 33554432000 134512640 137138936 4293864944 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11451/statm: 50972 48511 192 642 0 50328 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 203888
[startup+462.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/518 11465
/proc/meminfo: memFree=20588380/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=212168 CPUtime=462.22 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 55820 0 0 0 46008 214 0 0 25 0 1 0 855814574 217260032 50598 33554432000 134512640 137138936 4293864944 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11451/statm: 53042 50598 192 642 0 52398 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 212168
[startup+522.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/518 11466
/proc/meminfo: memFree=20548660/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=222720 CPUtime=522.22 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 58458 0 0 0 52006 216 0 0 25 0 1 0 855814574 228065280 53236 33554432000 134512640 137138936 4293864944 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11451/statm: 55680 53236 192 642 0 55036 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 222720
[startup+582.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/518 11468
/proc/meminfo: memFree=20511928/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=230192 CPUtime=582.23 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 60309 0 0 0 58005 218 0 0 25 0 1 0 855814574 235716608 55087 33554432000 134512640 137138936 4293864944 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11451/statm: 57548 55087 192 642 0 56904 0
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (KiB) 230192
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=20688132/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=650864 CPUtime=1122.25 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 165487 0 0 0 111834 391 0 0 25 0 1 0 855814574 666484736 160265 33554432000 134512640 137138936 4293864944 18446744073709551615 135984544 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11451/statm: 162716 160265 192 642 0 162072 0
Current children cumulated CPU time (s) 1122.25
Current children cumulated vsize (KiB) 650864
[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/518 11512
/proc/meminfo: memFree=20613080/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=699612 CPUtime=1182.25 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 177671 0 0 0 117823 402 0 0 25 0 1 0 855814574 716402688 172449 33554432000 134512640 137138936 4293864944 18446744073709551615 134539030 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11451/statm: 174903 172449 192 642 0 174259 0
Current children cumulated CPU time (s) 1182.25
Current children cumulated vsize (KiB) 699612
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 11513
/proc/meminfo: memFree=20525760/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=759792 CPUtime=1242.25 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 192741 0 0 0 123810 415 0 0 25 0 1 0 855814574 778027008 187519 33554432000 134512640 137138936 4293864944 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11451/statm: 189948 187519 192 642 0 189304 0
Current children cumulated CPU time (s) 1242.25
Current children cumulated vsize (KiB) 759792
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 11515
/proc/meminfo: memFree=20415488/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=812556 CPUtime=1302.26 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 205902 0 0 0 129799 427 0 0 25 0 1 0 855814574 832057344 200680 33554432000 134512640 137138936 4293864944 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11451/statm: 203139 200680 192 642 0 202495 0
Current children cumulated CPU time (s) 1302.26
Current children cumulated vsize (KiB) 812556
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 11517
/proc/meminfo: memFree=20364264/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=853980 CPUtime=1362.25 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 216271 0 0 0 135789 436 0 0 25 0 1 0 855814574 874475520 211049 33554432000 134512640 137138936 4293864944 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11451/statm: 213495 211049 192 642 0 212851 0
Current children cumulated CPU time (s) 1362.25
Current children cumulated vsize (KiB) 853980
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 11518
/proc/meminfo: memFree=20307316/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=901988 CPUtime=1422.27 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 228262 0 0 0 141784 443 0 0 25 0 1 0 855814574 923635712 223040 33554432000 134512640 137138936 4293864944 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11451/statm: 225497 223040 192 642 0 224853 0
Current children cumulated CPU time (s) 1422.27
Current children cumulated vsize (KiB) 901988
[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/518 11520
/proc/meminfo: memFree=20247764/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=954712 CPUtime=1482.25 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 241470 0 0 0 147776 449 0 0 25 0 1 0 855814574 977625088 236248 33554432000 134512640 137138936 4293864944 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11451/statm: 238678 236248 192 642 0 238034 0
Current children cumulated CPU time (s) 1482.25
Current children cumulated vsize (KiB) 954712
[startup+1542.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/518 11521
/proc/meminfo: memFree=20190940/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=1003520 CPUtime=1542.26 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 253643 0 0 0 153768 458 0 0 25 0 1 0 855814574 1027604480 248421 33554432000 134512640 137138936 4293864944 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11451/statm: 250880 248421 192 642 0 250236 0
Current children cumulated CPU time (s) 1542.26
Current children cumulated vsize (KiB) 1003520
[startup+1602.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/518 11523
/proc/meminfo: memFree=20172812/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=1014188 CPUtime=1602.25 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 256310 0 0 0 159765 460 0 0 25 0 1 0 855814574 1038528512 251088 33554432000 134512640 137138936 4293864944 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11451/statm: 253547 251088 192 642 0 252903 0
Current children cumulated CPU time (s) 1602.25
Current children cumulated vsize (KiB) 1014188
[startup+1662.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/518 11525
/proc/meminfo: memFree=20161496/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=1017836 CPUtime=1662.26 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 257243 0 0 0 165764 462 0 0 25 0 1 0 855814574 1042264064 252021 33554432000 134512640 137138936 4293864944 18446744073709551615 134542357 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11451/statm: 254459 252021 192 642 0 253815 0
Current children cumulated CPU time (s) 1662.26
Current children cumulated vsize (KiB) 1017836
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/518 11526
/proc/meminfo: memFree=20149932/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=1023460 CPUtime=1722.25 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 258649 0 0 0 171759 466 0 0 25 0 1 0 855814574 1048023040 253427 33554432000 134512640 137138936 4293864944 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11451/statm: 255865 253427 192 642 0 255221 0
Current children cumulated CPU time (s) 1722.25
Current children cumulated vsize (KiB) 1023460
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/518 11528
/proc/meminfo: memFree=20133908/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=1033860 CPUtime=1782.25 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 261233 0 0 0 177751 474 0 0 25 0 1 0 855814574 1058672640 256011 33554432000 134512640 137138936 4293864944 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11451/statm: 258465 256011 192 642 0 257821 0
Current children cumulated CPU time (s) 1782.25
Current children cumulated vsize (KiB) 1033860
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 11528
/proc/meminfo: memFree=20134400/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=1034208 CPUtime=1785.44 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 261334 0 0 0 178069 475 0 0 25 0 1 0 855814574 1059028992 256112 33554432000 134512640 137138936 4293864944 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11451/statm: 258552 256112 192 642 0 257908 0
Current children cumulated CPU time (s) 1785.44
Current children cumulated vsize (KiB) 1034208
[startup+1791.92 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 11528
/proc/meminfo: memFree=20132664/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=1035168 CPUtime=1791.87 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 261555 0 0 0 178707 480 0 0 25 0 1 0 855814574 1060012032 256333 33554432000 134512640 137138936 4293864944 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11451/statm: 258792 256333 192 642 0 258148 0
Current children cumulated CPU time (s) 1791.87
Current children cumulated vsize (KiB) 1035168
[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 11528
/proc/meminfo: memFree=20131672/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=1035628 CPUtime=1795.06 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 261690 0 0 0 179025 481 0 0 25 0 1 0 855814574 1060483072 256468 33554432000 134512640 137138936 4293864944 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11451/statm: 258907 256468 192 642 0 258263 0
Current children cumulated CPU time (s) 1795.06
Current children cumulated vsize (KiB) 1035628
[startup+1796.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 11528
/proc/meminfo: memFree=20130308/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=1035960 CPUtime=1796.65 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 261780 0 0 0 179184 481 0 0 25 0 1 0 855814574 1060823040 256558 33554432000 134512640 137138936 4293864944 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11451/statm: 258990 256558 192 642 0 258346 0
Current children cumulated CPU time (s) 1796.65
Current children cumulated vsize (KiB) 1035960
[startup+1797.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 11528
/proc/meminfo: memFree=20130060/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=1035964 CPUtime=1797.45 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 261783 0 0 0 179263 482 0 0 25 0 1 0 855814574 1060827136 256561 33554432000 134512640 137138936 4293864944 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11451/statm: 258991 256561 192 642 0 258347 0
Current children cumulated CPU time (s) 1797.45
Current children cumulated vsize (KiB) 1035964
[startup+1797.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 11528
/proc/meminfo: memFree=20130060/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=1036156 CPUtime=1797.85 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 261817 0 0 0 179303 482 0 0 25 0 1 0 855814574 1061023744 256595 33554432000 134512640 137138936 4293864944 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11451/statm: 259039 256595 192 642 0 258395 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 1036156
[startup+1798 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 11528
/proc/meminfo: memFree=20130060/32950928 swapFree=34259960/67111528
[pid=11451] ppid=11449 vsize=1036156 CPUtime=1797.95 cores=1,3,5,7
/proc/11451/stat : 11451 (bsolo) R 11449 11451 11029 0 -1 4202496 261834 0 0 0 179313 482 0 0 25 0 1 0 855814574 1061023744 256612 33554432000 134512640 137138936 4293864944 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11451/statm: 259039 256612 192 642 0 258395 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 1036156
Child status: 0
Real time (s): 1798.09
CPU time (s): 1798.04
CPU user time (s): 1793.18
CPU system time (s): 4.86626
CPU usage (%): 99.9975
Max. virtual memory (cumulated for all children) (KiB): 1036156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.18
system time used= 4.86626
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 261834
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= 6
involuntary context switches= 23623
runsolver used 8.5307 second user time and 22.5296 second system time
The end