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-3478830-1307440379/watcher-3478830-1307440379 -o /tmp/evaluation-result-3478830-1307440379/solver-3478830-1307440379 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3478830-1307440379.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 1.96 2/517 11283
/proc/meminfo: memFree=20987648/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=68232 CPUtime=0 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 417 0 0 0 0 0 0 0 22 0 1 0 855634738 69869568 371 33554432000 134512640 137138936 4292123568 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 17058 373 204 642 0 2157 0
[startup+0.0680189 s]
/proc/loadavg: 2.00 2.03 1.96 2/517 11283
/proc/meminfo: memFree=20987648/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=71096 CPUtime=0.06 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 1360 0 0 0 6 0 0 0 22 0 1 0 855634738 72802304 1314 33554432000 134512640 137138936 4292123568 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 17774 1314 427 642 0 2873 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 71096
[startup+0.101013 s]
/proc/loadavg: 2.00 2.03 1.96 2/517 11283
/proc/meminfo: memFree=20987648/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=72732 CPUtime=0.09 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 1900 0 0 0 9 0 0 0 23 0 1 0 855634738 74477568 1854 33554432000 134512640 137138936 4292123568 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 18183 1854 561 642 0 3282 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 72732
[startup+0.300975 s]
/proc/loadavg: 2.00 2.03 1.96 2/517 11283
/proc/meminfo: memFree=20987648/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=82016 CPUtime=0.29 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 5006 0 0 0 29 0 0 0 23 0 1 0 855634738 83984384 4960 33554432000 134512640 137138936 4292123568 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 20504 4961 1334 642 0 5603 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 82016
[startup+0.700897 s]
/proc/loadavg: 2.00 2.03 1.96 2/517 11283
/proc/meminfo: memFree=20987648/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=100596 CPUtime=0.69 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 11195 0 0 0 68 1 0 0 25 0 1 0 855634738 103010304 11149 33554432000 134512640 137138936 4292123568 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 25149 11149 2896 642 0 10248 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 100596
[startup+1.50074 s]
/proc/loadavg: 2.00 2.03 1.96 3/518 11284
/proc/meminfo: memFree=20940520/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=134344 CPUtime=1.49 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 22689 0 0 0 147 2 0 0 25 0 1 0 855634738 137568256 22603 33554432000 134512640 137138936 4292123568 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 33586 22604 5928 642 0 18685 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 134344
[startup+3.10041 s]
/proc/loadavg: 2.00 2.03 1.96 3/518 11284
/proc/meminfo: memFree=20894896/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=197352 CPUtime=3.09 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 44132 0 0 0 304 5 0 0 25 0 1 0 855634738 202088448 43967 33554432000 134512640 137138936 4292123568 18446744073709551615 134523143 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 49338 43967 11592 642 0 34437 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 197352
[startup+6.30078 s]
/proc/loadavg: 2.08 2.04 1.96 3/518 11285
/proc/meminfo: memFree=20756000/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=320560 CPUtime=6.29 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 92055 0 0 0 612 17 0 0 25 0 1 0 855634738 328253440 77475 33554432000 134512640 137138936 4292123568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 80140 77475 184 642 0 79496 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 320560
[startup+12.7005 s]
/proc/loadavg: 2.07 2.04 1.96 3/518 11285
/proc/meminfo: memFree=20676736/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=320692 CPUtime=12.69 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 92062 0 0 0 1242 27 0 0 25 0 1 0 855634738 328388608 77482 33554432000 134512640 137138936 4292123568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 80173 77482 184 642 0 79529 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 320692
[startup+25.5009 s]
/proc/loadavg: 2.22 2.07 1.97 3/518 11285
/proc/meminfo: memFree=20675992/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=320692 CPUtime=25.49 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 92070 0 0 0 2510 39 0 0 25 0 1 0 855634738 328388608 77490 33554432000 134512640 137138936 4292123568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 80173 77490 184 642 0 79529 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 320692
[startup+51.1008 s]
/proc/loadavg: 2.14 2.06 1.97 3/518 11286
/proc/meminfo: memFree=20673288/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=320692 CPUtime=51.1 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 92080 0 0 0 5052 58 0 0 25 0 1 0 855634738 328388608 77500 33554432000 134512640 137138936 4292123568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 80173 77500 184 642 0 79529 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 320692
[startup+102.321 s]
/proc/loadavg: 2.12 2.07 1.98 3/518 11287
/proc/meminfo: memFree=20667900/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=320824 CPUtime=102.31 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 92095 0 0 0 10148 83 0 0 25 0 1 0 855634738 328523776 77515 33554432000 134512640 137138936 4292123568 18446744073709551615 134540085 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 80206 77515 184 642 0 79562 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 320824
[startup+162.301 s]
/proc/loadavg: 2.04 2.05 1.98 3/518 11289
/proc/meminfo: memFree=20663072/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=320824 CPUtime=162.3 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 92109 0 0 0 16120 110 0 0 25 0 1 0 855634738 328523776 77529 33554432000 134512640 137138936 4292123568 18446744073709551615 134540051 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 80206 77529 184 642 0 79562 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 320824
[startup+222.301 s]
/proc/loadavg: 2.14 2.07 1.99 3/518 11290
/proc/meminfo: memFree=20661768/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=318420 CPUtime=222.3 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 92252 0 0 0 21947 283 0 0 25 0 1 0 855634738 326062080 76924 33554432000 134512640 137138936 4292123568 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 79605 76924 192 642 0 78961 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 318420
[startup+282.301 s]
/proc/loadavg: 2.11 2.07 2.00 3/518 11292
/proc/meminfo: memFree=20647972/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=328168 CPUtime=282.31 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 94689 0 0 0 27895 336 0 0 25 0 1 0 855634738 336044032 79361 33554432000 134512640 137138936 4292123568 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 82042 79361 192 642 0 81398 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 328168
[startup+342.301 s]
/proc/loadavg: 2.04 2.06 2.00 3/518 11293
/proc/meminfo: memFree=20588928/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=380724 CPUtime=342.31 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 107847 0 0 0 33849 382 0 0 25 0 1 0 855634738 389861376 92519 33554432000 134512640 137138936 4292123568 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 95181 92519 192 642 0 94537 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 380724
[startup+402.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/518 11295
/proc/meminfo: memFree=20538932/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=427392 CPUtime=402.31 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 119495 0 0 0 39821 410 0 0 25 0 1 0 855634738 437649408 104167 33554432000 134512640 137138936 4292123568 18446744073709551615 136500226 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 106848 104167 192 642 0 106204 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 427392
[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/518 11297
/proc/meminfo: memFree=20491524/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=468692 CPUtime=462.31 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 129820 0 0 0 45818 413 0 0 25 0 1 0 855634738 479940608 114492 33554432000 134512640 137138936 4292123568 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 117173 114492 192 642 0 116529 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 468692
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 11307
/proc/meminfo: memFree=20452984/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=503152 CPUtime=522.32 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 138435 0 0 0 51797 435 0 0 25 0 1 0 855634738 515227648 123107 33554432000 134512640 137138936 4292123568 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 125788 123107 192 642 0 125144 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 503152
[startup+582.301 s]
/proc/loadavg: 2.07 2.05 2.00 3/518 11309
/proc/meminfo: memFree=20410696/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=540232 CPUtime=582.32 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 147706 0 0 0 57794 438 0 0 25 0 1 0 855634738 553197568 132378 33554432000 134512640 137138936 4292123568 18446744073709551615 136504029 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 135058 132378 192 642 0 134414 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 540232
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=20539176/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=803648 CPUtime=1062.34 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 213564 0 0 0 105517 717 0 0 25 0 1 0 855634738 822935552 198236 33554432000 134512640 137138936 4292123568 18446744073709551615 134542620 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 200912 198236 192 642 0 200268 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 803648
[startup+1122.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/518 11407
/proc/meminfo: memFree=20473416/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=827212 CPUtime=1122.35 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 219455 0 0 0 111516 719 0 0 25 0 1 0 855634738 847065088 204127 33554432000 134512640 137138936 4292123568 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 206803 204127 192 642 0 206159 0
Current children cumulated CPU time (s) 1122.35
Current children cumulated vsize (KiB) 827212
[startup+1182.3 s]
/proc/loadavg: 2.03 2.06 2.01 3/518 11409
/proc/meminfo: memFree=20420320/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=853508 CPUtime=1182.35 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 226029 0 0 0 117514 721 0 0 25 0 1 0 855634738 873992192 210701 33554432000 134512640 137138936 4292123568 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 213377 210701 192 642 0 212733 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 853508
[startup+1242.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/518 11410
/proc/meminfo: memFree=20372656/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=873832 CPUtime=1242.35 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 231110 0 0 0 123512 723 0 0 25 0 1 0 855634738 894803968 215782 33554432000 134512640 137138936 4292123568 18446744073709551615 136511136 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 218458 215782 192 642 0 217814 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 873832
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/518 11412
/proc/meminfo: memFree=20314720/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=894904 CPUtime=1302.36 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 236378 0 0 0 129511 725 0 0 25 0 1 0 855634738 916381696 221050 33554432000 134512640 137138936 4292123568 18446744073709551615 136506283 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 223726 221050 192 642 0 223082 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 894904
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 11414
/proc/meminfo: memFree=20261856/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=916344 CPUtime=1362.36 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 241737 0 0 0 135509 727 0 0 25 0 1 0 855634738 938336256 226409 33554432000 134512640 137138936 4292123568 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 229086 226409 192 642 0 228442 0
Current children cumulated CPU time (s) 1362.36
Current children cumulated vsize (KiB) 916344
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 11415
/proc/meminfo: memFree=20216812/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=941184 CPUtime=1422.38 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 247948 0 0 0 141509 729 0 0 25 0 1 0 855634738 963772416 232620 33554432000 134512640 137138936 4292123568 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 235296 232620 192 642 0 234652 0
Current children cumulated CPU time (s) 1422.38
Current children cumulated vsize (KiB) 941184
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 11417
/proc/meminfo: memFree=20159852/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=966968 CPUtime=1482.36 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 254394 0 0 0 147505 731 0 0 25 0 1 0 855634738 990175232 239066 33554432000 134512640 137138936 4292123568 18446744073709551615 134542854 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 241742 239066 192 642 0 241098 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 966968
[startup+1542.3 s]
/proc/loadavg: 2.23 2.07 2.02 3/518 11418
/proc/meminfo: memFree=20094972/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=992256 CPUtime=1542.36 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 260716 0 0 0 153504 732 0 0 25 0 1 0 855634738 1016070144 245388 33554432000 134512640 137138936 4292123568 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 248064 245388 192 642 0 247420 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 992256
[startup+1602.3 s]
/proc/loadavg: 2.16 2.07 2.02 3/518 11420
/proc/meminfo: memFree=20038748/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=1010544 CPUtime=1602.37 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 265288 0 0 0 159485 752 0 0 25 0 1 0 855634738 1034797056 249960 33554432000 134512640 137138936 4292123568 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 252636 249960 192 642 0 251992 0
Current children cumulated CPU time (s) 1602.37
Current children cumulated vsize (KiB) 1010544
[startup+1662.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/518 11422
/proc/meminfo: memFree=19993464/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=1024764 CPUtime=1662.37 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 268843 0 0 0 165484 753 0 0 25 0 1 0 855634738 1049358336 253515 33554432000 134512640 137138936 4292123568 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 256191 253515 192 642 0 255547 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 1024764
[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/518 11423
/proc/meminfo: memFree=19963040/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=1043128 CPUtime=1722.37 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 273434 0 0 0 171483 754 0 0 25 0 1 0 855634738 1068163072 258106 33554432000 134512640 137138936 4292123568 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 260782 258106 192 642 0 260138 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 1043128
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/518 11425
/proc/meminfo: memFree=19932756/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=1050568 CPUtime=1782.37 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 275543 0 0 0 177482 755 0 0 25 0 1 0 855634738 1075781632 259966 33554432000 134512640 137138936 4292123568 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 262642 259966 192 642 0 261998 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 1050568
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.03 2.00 3/518 11425
/proc/meminfo: memFree=19930028/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=1050568 CPUtime=1785.57 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 275543 0 0 0 177802 755 0 0 25 0 1 0 855634738 1075781632 259966 33554432000 134512640 137138936 4292123568 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 262642 259966 192 642 0 261998 0
Current children cumulated CPU time (s) 1785.57
Current children cumulated vsize (KiB) 1050568
[startup+1791.92 s]
/proc/loadavg: 2.00 2.03 2.00 3/518 11425
/proc/meminfo: memFree=19923328/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=1050568 CPUtime=1792 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 275543 0 0 0 178444 756 0 0 25 0 1 0 855634738 1075781632 259966 33554432000 134512640 137138936 4292123568 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 262642 259966 192 642 0 261998 0
Current children cumulated CPU time (s) 1792
Current children cumulated vsize (KiB) 1050568
[startup+1795.1 s]
/proc/loadavg: 2.00 2.03 2.00 3/518 11425
/proc/meminfo: memFree=19919732/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=1050568 CPUtime=1795.19 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 275543 0 0 0 178763 756 0 0 25 0 1 0 855634738 1075781632 259966 33554432000 134512640 137138936 4292123568 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 262642 259966 192 642 0 261998 0
Current children cumulated CPU time (s) 1795.19
Current children cumulated vsize (KiB) 1050568
[startup+1796.7 s]
/proc/loadavg: 2.00 2.03 2.00 3/518 11425
/proc/meminfo: memFree=19918120/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=1050568 CPUtime=1796.78 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 275543 0 0 0 178922 756 0 0 25 0 1 0 855634738 1075781632 259966 33554432000 134512640 137138936 4292123568 18446744073709551615 136501691 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 262642 259966 192 642 0 261998 0
Current children cumulated CPU time (s) 1796.78
Current children cumulated vsize (KiB) 1050568
[startup+1797.5 s]
/proc/loadavg: 2.00 2.03 2.00 3/518 11425
/proc/meminfo: memFree=19917868/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=1050568 CPUtime=1797.58 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 275543 0 0 0 179002 756 0 0 25 0 1 0 855634738 1075781632 259966 33554432000 134512640 137138936 4292123568 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 262642 259966 192 642 0 261998 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (KiB) 1050568
[startup+1797.9 s]
/proc/loadavg: 2.00 2.03 2.00 3/518 11425
/proc/meminfo: memFree=19917868/32950928 swapFree=34259960/67111528
[pid=11283] ppid=11281 vsize=1050568 CPUtime=1797.98 cores=1,3,5,7
/proc/11283/stat : 11283 (bsolo) R 11281 11283 11029 0 -1 4202496 275543 0 0 0 179042 756 0 0 25 0 1 0 855634738 1075781632 259966 33554432000 134512640 137138936 4292123568 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11283/statm: 262642 259966 192 642 0 261998 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 1050568
Child status: 0
Real time (s): 1797.97
CPU time (s): 1798.05
CPU user time (s): 1790.45
CPU system time (s): 7.60384
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 1051564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.45
system time used= 7.60384
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275543
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= 1810
runsolver used 8.5497 second user time and 22.5156 second system time
The end