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-3463099-1307175565/watcher-3463099-1307175565 -o /tmp/evaluation-result-3463099-1307175565/solver-3463099-1307175565 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463099-1307175565.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.53 1.91 1.96 4/510 6591
/proc/meminfo: memFree=16730928/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=11012 CPUtime=0 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 402 0 0 0 0 0 0 0 18 0 1 0 809972613 11276288 345 33554432000 134512640 137138936 4293675136 18446744073709551615 134712101 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 2753 345 218 642 0 2109 0
[startup+0.108557 s]
/proc/loadavg: 1.53 1.91 1.96 4/510 6591
/proc/meminfo: memFree=16730928/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=12596 CPUtime=0.1 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 802 0 0 0 10 0 0 0 18 0 1 0 809972613 12898304 645 33554432000 134512640 137138936 4293675136 18446744073709551615 134769665 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 3149 645 278 642 0 2505 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 12596
[startup+0.20054 s]
/proc/loadavg: 1.53 1.91 1.96 4/510 6591
/proc/meminfo: memFree=16730928/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=12932 CPUtime=0.19 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 1033 0 0 0 19 0 0 0 18 0 1 0 809972613 13242368 773 33554432000 134512640 137138936 4293675136 18446744073709551615 135463915 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 3233 774 278 642 0 2589 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12932
[startup+0.300536 s]
/proc/loadavg: 1.53 1.91 1.96 4/510 6591
/proc/meminfo: memFree=16730928/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=13060 CPUtime=0.29 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 1218 0 0 0 29 0 0 0 18 0 1 0 809972613 13373440 768 33554432000 134512640 137138936 4293675136 18446744073709551615 135464384 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 3265 768 278 642 0 2621 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13060
[startup+0.700453 s]
/proc/loadavg: 1.53 1.91 1.96 4/510 6591
/proc/meminfo: memFree=16730928/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=13108 CPUtime=0.69 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 3349 0 0 0 69 0 0 0 18 0 1 0 809972613 13422592 592 33554432000 134512640 137138936 4293675136 18446744073709551615 134768804 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 3277 592 283 642 0 2633 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13108
[startup+1.50031 s]
/proc/loadavg: 1.53 1.91 1.96 3/512 6594
/proc/meminfo: memFree=16726332/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=13424 CPUtime=1.49 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 8269 0 0 0 149 0 0 0 20 0 1 0 809972613 13746176 665 33554432000 134512640 137138936 4293675136 18446744073709551615 135456368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 3356 665 283 642 0 2712 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13424
[startup+3.10103 s]
/proc/loadavg: 1.56 1.91 1.96 3/512 6594
/proc/meminfo: memFree=16723976/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=13724 CPUtime=3.09 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 17586 0 0 0 308 1 0 0 25 0 1 0 809972613 14053376 609 33554432000 134512640 137138936 4293675136 18446744073709551615 135463649 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 3431 609 283 642 0 2787 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13724
[startup+6.30047 s]
/proc/loadavg: 1.56 1.91 1.96 3/512 6594
/proc/meminfo: memFree=16724040/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=13108 CPUtime=6.3 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 41804 0 0 0 625 5 0 0 25 0 1 0 809972613 13422592 559 33554432000 134512640 137138936 4293675136 18446744073709551615 135436669 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 3277 559 292 642 0 2633 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 13108
[startup+12.7003 s]
/proc/loadavg: 1.63 1.91 1.96 3/512 6594
/proc/meminfo: memFree=16720244/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=15288 CPUtime=12.69 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 107751 0 0 0 1255 14 0 0 25 0 1 0 809972613 15654912 920 33554432000 134512640 137138936 4293675136 18446744073709551615 134768890 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 3822 920 292 642 0 3178 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15288
[startup+25.5011 s]
/proc/loadavg: 1.69 1.91 1.96 3/512 6595
/proc/meminfo: memFree=16713676/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=19268 CPUtime=25.49 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 246353 0 0 0 2518 31 0 0 25 0 1 0 809972613 19730432 1885 33554432000 134512640 137138936 4293675136 18446744073709551615 135466058 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 4817 1885 292 642 0 4173 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19268
[startup+51.1006 s]
/proc/loadavg: 1.79 1.92 1.96 3/512 6595
/proc/meminfo: memFree=16659044/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=22544 CPUtime=51.09 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 497918 0 0 0 5046 63 0 0 25 0 1 0 809972613 23085056 2699 33554432000 134512640 137138936 4293675136 18446744073709551615 135445280 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 5636 2699 292 642 0 4992 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22544
[startup+102.301 s]
/proc/loadavg: 1.91 1.93 1.96 3/512 6597
/proc/meminfo: memFree=16585864/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=72736 CPUtime=102.3 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 1613710 0 0 0 10017 213 0 0 25 0 1 0 809972613 74481664 15153 33554432000 134512640 137138936 4293675136 18446744073709551615 135449769 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 18184 15153 292 642 0 17540 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 72736
[startup+162.301 s]
/proc/loadavg: 1.96 1.94 1.96 3/512 6598
/proc/meminfo: memFree=16563760/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=83364 CPUtime=162.3 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 2312624 0 0 0 15891 339 0 0 25 0 1 0 809972613 85364736 17986 33554432000 134512640 137138936 4293675136 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 20841 17986 292 642 0 20197 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 83364
[startup+222.321 s]
/proc/loadavg: 2.16 2.01 1.98 3/512 6600
/proc/meminfo: memFree=16537956/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=100020 CPUtime=222.32 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 3228901 0 0 0 21698 534 0 0 25 0 1 0 809972613 102420480 22139 33554432000 134512640 137138936 4293675136 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 25005 22139 292 642 0 24361 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 100020
[startup+282.301 s]
/proc/loadavg: 2.15 2.03 1.99 4/512 6601
/proc/meminfo: memFree=16523804/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=100172 CPUtime=282.3 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 4001875 0 0 0 27520 710 0 0 25 0 1 0 809972613 102576128 22719 33554432000 134512640 137138936 4293675136 18446744073709551615 134598928 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 25043 22719 292 642 0 24399 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 100172
[startup+342.3 s]
/proc/loadavg: 2.05 2.02 1.99 4/512 6606
/proc/meminfo: memFree=16496116/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=108152 CPUtime=342.29 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 4795819 0 0 0 33334 895 0 0 25 0 1 0 809972613 110747648 24714 33554432000 134512640 137138936 4293675136 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 27038 24714 292 642 0 26394 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 108152
[startup+402.301 s]
/proc/loadavg: 2.02 2.02 1.99 4/512 6608
/proc/meminfo: memFree=16489804/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=115280 CPUtime=402.31 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 5583121 0 0 0 39161 1070 0 0 25 0 1 0 809972613 118046720 26496 33554432000 134512640 137138936 4293675136 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 28820 26496 292 642 0 28176 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 115280
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.99 4/512 6609
/proc/meminfo: memFree=16489412/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=115276 CPUtime=462.31 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 6304109 0 0 0 44984 1247 0 0 25 0 1 0 809972613 118042624 26495 33554432000 134512640 137138936 4293675136 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 28819 26495 292 642 0 28175 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 115276
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 1.99 4/512 6611
/proc/meminfo: memFree=16486052/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=118628 CPUtime=522.3 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 7034756 0 0 0 50823 1407 0 0 25 0 1 0 809972613 121475072 27333 33554432000 134512640 137138936 4293675136 18446744073709551615 135783006 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 29657 27333 292 642 0 29013 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 118628
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.99 4/512 6612
/proc/meminfo: memFree=16468916/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=135980 CPUtime=582.3 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 7877488 0 0 0 56642 1588 0 0 25 0 1 0 809972613 139243520 31671 33554432000 134512640 137138936 4293675136 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 33995 31671 292 642 0 33351 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 135980
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=16449412/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=156220 CPUtime=1122.32 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 14371156 0 0 0 109103 3129 0 0 25 0 1 0 809972613 159969280 36731 33554432000 134512640 137138936 4293675136 18446744073709551615 136502581 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 39055 36731 292 642 0 38411 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 156220
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/512 6630
/proc/meminfo: memFree=16446660/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=156364 CPUtime=1182.32 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 15140694 0 0 0 114917 3315 0 0 25 0 1 0 809972613 160116736 36735 33554432000 134512640 137138936 4293675136 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 39091 36735 292 642 0 38447 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 156364
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/512 6632
/proc/meminfo: memFree=16440568/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=156160 CPUtime=1242.32 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 15760157 0 0 0 120760 3472 0 0 25 0 1 0 809972613 159907840 36716 33554432000 134512640 137138936 4293675136 18446744073709551615 135744672 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 39417 36721 292 642 0 38773 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 156160
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/512 6634
/proc/meminfo: memFree=16441292/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=158208 CPUtime=1302.32 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 16320615 0 0 0 126602 3630 0 0 25 0 1 0 809972613 162004992 36722 33554432000 134512640 137138936 4293675136 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 39552 36722 292 642 0 38908 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 158208
[startup+1362.3 s]
/proc/loadavg: 2.14 2.05 2.02 4/512 6635
/proc/meminfo: memFree=16419836/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=158236 CPUtime=1362.32 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 16889316 0 0 0 132457 3775 0 0 25 0 1 0 809972613 162033664 36722 33554432000 134512640 137138936 4293675136 18446744073709551615 134848311 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 39334 36717 292 642 0 38690 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 158236
[startup+1422.3 s]
/proc/loadavg: 2.10 2.07 2.02 4/512 6637
/proc/meminfo: memFree=16422172/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=157620 CPUtime=1422.33 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 17407286 0 0 0 138315 3918 0 0 25 0 1 0 809972613 161402880 36720 33554432000 134512640 137138936 4293675136 18446744073709551615 134733524 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 39478 36720 292 642 0 38834 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 157620
[startup+1482.3 s]
/proc/loadavg: 2.04 2.05 2.02 3/512 6638
/proc/meminfo: memFree=16421172/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=157936 CPUtime=1482.32 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 17924393 0 0 0 144184 4048 0 0 25 0 1 0 809972613 161726464 36720 33554432000 134512640 137138936 4293675136 18446744073709551615 135251462 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 39484 36720 292 642 0 38840 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 157936
[startup+1542.32 s]
/proc/loadavg: 2.01 2.04 2.01 3/512 6640
/proc/meminfo: memFree=16409616/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=169276 CPUtime=1542.35 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 18498643 0 0 0 150041 4194 0 0 25 0 1 0 809972613 173338624 39995 33554432000 134512640 137138936 4293675136 18446744073709551615 134603271 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 42319 39995 292 642 0 41675 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 169276
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/512 6642
/proc/meminfo: memFree=16394604/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=186636 CPUtime=1602.33 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 19350758 0 0 0 155845 4388 0 0 25 0 1 0 809972613 191115264 43750 33554432000 134512640 137138936 4293675136 18446744073709551615 135471492 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 46659 43750 292 642 0 46015 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 186636
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/512 6643
/proc/meminfo: memFree=16394452/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=186648 CPUtime=1662.33 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 20021087 0 0 0 161676 4557 0 0 25 0 1 0 809972613 191127552 43749 33554432000 134512640 137138936 4293675136 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 46662 43749 292 642 0 46018 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 186648
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/512 6645
/proc/meminfo: memFree=16394200/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=185732 CPUtime=1722.33 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 20623054 0 0 0 167530 4703 0 0 25 0 1 0 809972613 190189568 43743 33554432000 134512640 137138936 4293675136 18446744073709551615 135381138 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 46618 43746 292 642 0 45974 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 185732
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/512 6646
/proc/meminfo: memFree=16391824/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=186340 CPUtime=1782.33 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 21220933 0 0 0 173379 4854 0 0 25 0 1 0 809972613 190812160 43745 33554432000 134512640 137138936 4293675136 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 46585 43745 292 642 0 45941 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 186340
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.00 2.01 2.00 4/512 6647
/proc/meminfo: memFree=16391824/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=184244 CPUtime=1785.64 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 21252206 0 0 0 173700 4864 0 0 25 0 1 0 809972613 188665856 43737 33554432000 134512640 137138936 4293675136 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 46061 43737 292 642 0 45417 0
Current children cumulated CPU time (s) 1785.64
Current children cumulated vsize (KiB) 184244
[startup+1792.02 s]
/proc/loadavg: 2.00 2.01 2.00 3/512 6647
/proc/meminfo: memFree=16393928/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=184240 CPUtime=1792.05 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 21300628 0 0 0 174328 4877 0 0 25 0 1 0 809972613 188661760 43736 33554432000 134512640 137138936 4293675136 18446744073709551615 134750313 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 46060 43736 292 642 0 45416 0
Current children cumulated CPU time (s) 1792.05
Current children cumulated vsize (KiB) 184240
[startup+1795.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/512 6647
/proc/meminfo: memFree=16393924/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=184240 CPUtime=1795.24 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 21332694 0 0 0 174639 4885 0 0 25 0 1 0 809972613 188661760 43736 33554432000 134512640 137138936 4293675136 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 46060 43736 292 642 0 45416 0
Current children cumulated CPU time (s) 1795.24
Current children cumulated vsize (KiB) 184240
[startup+1796.8 s]
/proc/loadavg: 2.00 2.01 2.00 4/512 6647
/proc/meminfo: memFree=16393924/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=184240 CPUtime=1796.83 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 21348568 0 0 0 174793 4890 0 0 25 0 1 0 809972613 188661760 43736 33554432000 134512640 137138936 4293675136 18446744073709551615 134737552 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 46436 43741 292 642 0 45792 0
Current children cumulated CPU time (s) 1796.83
Current children cumulated vsize (KiB) 184240
[startup+1797.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/512 6647
/proc/meminfo: memFree=16393180/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=184240 CPUtime=1797.63 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 21356393 0 0 0 174871 4892 0 0 25 0 1 0 809972613 188661760 43736 33554432000 134512640 137138936 4293675136 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 46060 43736 292 642 0 45416 0
Current children cumulated CPU time (s) 1797.63
Current children cumulated vsize (KiB) 184240
[startup+1797.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/512 6647
/proc/meminfo: memFree=16393180/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=186360 CPUtime=1797.83 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 21358392 0 0 0 174890 4893 0 0 25 0 1 0 809972613 190832640 43744 33554432000 134512640 137138936 4293675136 18446744073709551615 134840732 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 46590 43744 292 642 0 45946 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 186360
[startup+1797.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/512 6647
/proc/meminfo: memFree=16393180/32951124 swapFree=67111204/67111528
[pid=6591] ppid=6587 vsize=186352 CPUtime=1797.93 cores=1,3,5,7
/proc/6591/stat : 6591 (bsolo) R 6587 6591 5093 0 -1 4202496 21359402 0 0 0 174900 4893 0 0 25 0 1 0 809972613 190824448 43744 33554432000 134512640 137138936 4293675136 18446744073709551615 135473167 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/6591/statm: 46588 43744 292 642 0 45944 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 186352
Child status: 0
Real time (s): 1797.97
CPU time (s): 1798.01
CPU user time (s): 1749.06
CPU system time (s): 48.9446
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 186736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1749.06
system time used= 48.9446
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21360021
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= 971
runsolver used 8.65368 second user time and 22.2936 second system time
The end