runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3707713-1338230699/watcher-3707713-1338230699 -o /tmp/evaluation-result-3707713-1338230699/solver-3707713-1338230699 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707713-1338230699.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.92 2.00 1.99 3/172 7599
/proc/meminfo: memFree=27771344/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=19304 CPUtime=0 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 289195344 19767296 311 33554432000 134512640 137138936 4293842240 4293839384 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 4826 311 177 642 0 4079 0
[startup+0.049289 s]
/proc/loadavg: 1.92 2.00 1.99 3/172 7599
/proc/meminfo: memFree=27771344/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=13088 CPUtime=0.04 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 979 0 0 0 4 0 0 0 20 0 1 0 289195344 13402112 830 33554432000 134512640 137138936 4293842240 4293762604 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 3272 830 184 642 0 2628 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13088
[startup+0.100142 s]
/proc/loadavg: 1.92 2.00 1.99 3/172 7599
/proc/meminfo: memFree=27771344/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=13088 CPUtime=0.09 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 979 0 0 0 9 0 0 0 20 0 1 0 289195344 13402112 830 33554432000 134512640 137138936 4293842240 4293762604 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 3272 830 184 642 0 2628 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13088
[startup+0.300159 s]
/proc/loadavg: 1.92 2.00 1.99 3/172 7599
/proc/meminfo: memFree=27771344/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=13088 CPUtime=0.29 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 980 0 0 0 29 0 0 0 20 0 1 0 289195344 13402112 831 33554432000 134512640 137138936 4293842240 4293762604 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 3272 831 184 642 0 2628 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13088
[startup+0.700094 s]
/proc/loadavg: 1.92 2.00 1.99 3/172 7599
/proc/meminfo: memFree=27771344/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=13088 CPUtime=0.69 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 980 0 0 0 69 0 0 0 20 0 1 0 289195344 13402112 831 33554432000 134512640 137138936 4293842240 4293762604 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 3272 831 184 642 0 2628 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13088
[startup+1.5001 s]
/proc/loadavg: 1.92 2.00 1.99 3/177 7609
/proc/meminfo: memFree=27763584/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=13852 CPUtime=1.49 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 1298 0 0 0 148 1 0 0 20 0 1 0 289195344 14184448 1041 33554432000 134512640 137138936 4293842240 4293841356 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 3463 1041 192 642 0 2819 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13852
[startup+3.1001 s]
/proc/loadavg: 1.92 2.00 1.99 3/177 7609
/proc/meminfo: memFree=27756116/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=19144 CPUtime=3.09 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 2628 0 0 0 304 5 0 0 20 0 1 0 289195344 19603456 2373 33554432000 134512640 137138936 4293842240 4293841356 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 4786 2373 192 642 0 4142 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19144
[startup+6.30021 s]
/proc/loadavg: 1.93 2.00 1.99 3/177 7609
/proc/meminfo: memFree=27731448/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=28080 CPUtime=6.29 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 4852 0 0 0 619 10 0 0 20 0 1 0 289195344 28753920 4597 33554432000 134512640 137138936 4293842240 4293841356 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 7020 4597 192 642 0 6376 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28080
[startup+12.7002 s]
/proc/loadavg: 1.93 2.00 1.99 3/177 7609
/proc/meminfo: memFree=27695116/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=45212 CPUtime=12.69 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 9309 0 0 0 1254 15 0 0 20 0 1 0 289195344 46297088 8894 33554432000 134512640 137138936 4293842240 4293841356 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 11303 8894 192 642 0 10659 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45212
[startup+25.5002 s]
/proc/loadavg: 1.95 2.00 1.99 3/177 7609
/proc/meminfo: memFree=27613340/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=87512 CPUtime=25.48 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 20036 0 0 0 2526 22 0 0 20 0 1 0 289195344 89612288 19455 33554432000 134512640 137138936 4293842240 4293841356 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 21878 19455 192 642 0 21234 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 87512
[startup+51.1002 s]
/proc/loadavg: 1.96 2.00 1.99 3/176 7609
/proc/meminfo: memFree=27513372/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=139680 CPUtime=51.06 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 34124 0 0 0 5067 39 0 0 20 0 1 0 289195344 143032320 32498 33554432000 134512640 137138936 4293842240 4293841168 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 34920 32498 192 642 0 34276 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 139680
[startup+102.306 s]
/proc/loadavg: 1.98 2.00 1.99 3/177 7610
/proc/meminfo: memFree=27311644/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=259696 CPUtime=102.21 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 67249 0 0 0 10163 58 0 0 20 0 1 0 289195344 265928704 62515 33554432000 134512640 137138936 4293842240 4293841168 134542513 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 64924 62515 192 642 0 64280 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 259696
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 7610
/proc/meminfo: memFree=27128176/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=375972 CPUtime=162.16 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 99919 0 0 0 16142 74 0 0 20 0 1 0 289195344 384995328 91584 33554432000 134512640 137138936 4293842240 4293841168 134542972 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 93993 91584 192 642 0 93349 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 375972
[startup+222.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 7610
/proc/meminfo: memFree=26968740/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=474692 CPUtime=222.11 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 129048 0 0 0 22126 85 0 0 20 0 1 0 289195344 486084608 116264 33554432000 134512640 137138936 4293842240 4293840664 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 118673 116264 192 642 0 118029 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 474692
[startup+282.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 7611
/proc/meminfo: memFree=26803352/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=576440 CPUtime=282.06 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 157867 0 0 0 28111 95 0 0 20 0 1 0 289195344 590274560 141681 33554432000 134512640 137138936 4293842240 4293841168 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 144110 141681 192 642 0 143466 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 576440
[startup+342.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 7614
/proc/meminfo: memFree=26675552/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=652224 CPUtime=342.01 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 177949 0 0 0 34093 108 0 0 20 0 1 0 289195344 667877376 160647 33554432000 134512640 137138936 4293842240 4293841168 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 163056 160647 192 642 0 162412 0
Current children cumulated CPU time (s) 342.01
Current children cumulated vsize (KiB) 652224
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 7614
/proc/meminfo: memFree=26547992/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=737500 CPUtime=401.97 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 199372 0 0 0 40081 116 0 0 20 0 1 0 289195344 755200000 181938 33554432000 134512640 137138936 4293842240 4293840664 134607009 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 184375 181938 192 642 0 183731 0
Current children cumulated CPU time (s) 401.97
Current children cumulated vsize (KiB) 737500
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 7614
/proc/meminfo: memFree=26446960/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=790332 CPUtime=461.94 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 212727 0 0 0 46069 125 0 0 20 0 1 0 289195344 809299968 195159 33554432000 134512640 137138936 4293842240 4293841168 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 197583 195159 192 642 0 196939 0
Current children cumulated CPU time (s) 461.94
Current children cumulated vsize (KiB) 790332
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7614
/proc/meminfo: memFree=26358208/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=832744 CPUtime=521.89 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 223439 0 0 0 52053 136 0 0 20 0 1 0 289195344 852729856 206228 33554432000 134512640 137138936 4293842240 4293841168 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 208186 206228 192 642 0 207542 0
Current children cumulated CPU time (s) 521.89
Current children cumulated vsize (KiB) 832744
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7615
/proc/meminfo: memFree=26272660/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=863736 CPUtime=581.88 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 231237 0 0 0 58042 146 0 0 20 0 1 0 289195344 884465664 213971 33554432000 134512640 137138936 4293842240 4293841168 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 215934 213971 192 642 0 215290 0
Current children cumulated CPU time (s) 581.88
Current children cumulated vsize (KiB) 863736
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25699276/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=1038312 CPUtime=1121.79 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 279860 0 0 0 111974 205 0 0 20 0 1 0 289195344 1063231488 257627 33554432000 134512640 137138936 4293842240 4293840984 135984569 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 259578 257627 192 642 0 258934 0
Current children cumulated CPU time (s) 1121.79
Current children cumulated vsize (KiB) 1038312
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7643
/proc/meminfo: memFree=25699296/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=1038312 CPUtime=1181.78 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 279860 0 0 0 117969 209 0 0 20 0 1 0 289195344 1063231488 257627 33554432000 134512640 137138936 4293842240 4293840756 134551345 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 259578 257627 192 642 0 258934 0
Current children cumulated CPU time (s) 1181.78
Current children cumulated vsize (KiB) 1038312
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7643
/proc/meminfo: memFree=25699296/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=1038312 CPUtime=1241.77 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 279860 0 0 0 123966 211 0 0 20 0 1 0 289195344 1063231488 257627 33554432000 134512640 137138936 4293842240 4293840992 134573202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 259578 257627 192 642 0 258934 0
Current children cumulated CPU time (s) 1241.77
Current children cumulated vsize (KiB) 1038312
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7643
/proc/meminfo: memFree=25698924/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=1038312 CPUtime=1301.77 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 279860 0 0 0 129963 214 0 0 20 0 1 0 289195344 1063231488 257627 33554432000 134512640 137138936 4293842240 4293841168 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 259578 257627 192 642 0 258934 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 1038312
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7643
/proc/meminfo: memFree=25699296/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=1038312 CPUtime=1361.75 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 279860 0 0 0 135960 215 0 0 20 0 1 0 289195344 1063231488 257627 33554432000 134512640 137138936 4293842240 4293840664 134606982 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 259578 257627 192 642 0 258934 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 1038312
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7643
/proc/meminfo: memFree=25699296/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=1038312 CPUtime=1421.75 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 279860 0 0 0 141955 220 0 0 20 0 1 0 289195344 1063231488 257627 33554432000 134512640 137138936 4293842240 4293841168 134542301 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 259578 257627 192 642 0 258934 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 1038312
[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 7644
/proc/meminfo: memFree=25699296/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=1038312 CPUtime=1481.74 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 279860 0 0 0 147949 225 0 0 20 0 1 0 289195344 1063231488 257627 33554432000 134512640 137138936 4293842240 4293841356 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 259578 257627 192 642 0 258934 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 1038312
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 7647
/proc/meminfo: memFree=25699420/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=1038312 CPUtime=1541.74 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 279860 0 0 0 153946 228 0 0 20 0 1 0 289195344 1063231488 257627 33554432000 134512640 137138936 4293842240 4293841168 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 259578 257627 192 642 0 258934 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 1038312
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 7647
/proc/meminfo: memFree=25699432/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=1038312 CPUtime=1601.73 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 279860 0 0 0 159941 232 0 0 20 0 1 0 289195344 1063231488 257627 33554432000 134512640 137138936 4293842240 4293841356 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 259578 257627 192 642 0 258934 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 1038312
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7647
/proc/meminfo: memFree=25699804/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=1038312 CPUtime=1661.72 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 279860 0 0 0 165937 235 0 0 20 0 1 0 289195344 1063231488 257627 33554432000 134512640 137138936 4293842240 4293840736 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 259578 257627 192 642 0 258934 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 1038312
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7647
/proc/meminfo: memFree=25699088/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=1038312 CPUtime=1721.67 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 279902 0 0 0 171930 237 0 0 20 0 1 0 289195344 1063231488 257627 33554432000 134512640 137138936 4293842240 4293841168 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 259578 257627 192 642 0 258934 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 1038312
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7648
/proc/meminfo: memFree=25698496/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=1038312 CPUtime=1781.62 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 279946 0 0 0 177922 240 0 0 20 0 1 0 289195344 1063231488 257627 33554432000 134512640 137138936 4293842240 4293841168 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 259578 257627 192 642 0 258934 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (KiB) 1038312
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7648
/proc/meminfo: memFree=25698668/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=1038312 CPUtime=1791.23 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 279951 0 0 0 178882 241 0 0 20 0 1 0 289195344 1063231488 257627 33554432000 134512640 137138936 4293842240 4293841168 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 259578 257627 192 642 0 258934 0
Current children cumulated CPU time (s) 1791.23
Current children cumulated vsize (KiB) 1038312
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7648
/proc/meminfo: memFree=25698792/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=1038312 CPUtime=1794.42 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 279951 0 0 0 179201 241 0 0 20 0 1 0 289195344 1063231488 257627 33554432000 134512640 137138936 4293842240 4293841168 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 259578 257627 192 642 0 258934 0
Current children cumulated CPU time (s) 1794.42
Current children cumulated vsize (KiB) 1038312
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7648
/proc/meminfo: memFree=25698792/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=1038312 CPUtime=1796.02 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 279951 0 0 0 179361 241 0 0 20 0 1 0 289195344 1063231488 257627 33554432000 134512640 137138936 4293842240 4293841168 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 259578 257627 192 642 0 258934 0
Current children cumulated CPU time (s) 1796.02
Current children cumulated vsize (KiB) 1038312
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7648
/proc/meminfo: memFree=25698792/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=1038312 CPUtime=1796.82 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 279951 0 0 0 179441 241 0 0 20 0 1 0 289195344 1063231488 257627 33554432000 134512640 137138936 4293842240 4293840756 134551060 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 259578 257627 192 642 0 258934 0
Current children cumulated CPU time (s) 1796.82
Current children cumulated vsize (KiB) 1038312
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7648
/proc/meminfo: memFree=25698792/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=1038312 CPUtime=1797.62 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 279951 0 0 0 179521 241 0 0 20 0 1 0 289195344 1063231488 257627 33554432000 134512640 137138936 4293842240 4293840552 136504420 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 259578 257627 192 642 0 258934 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (KiB) 1038312
[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7648
/proc/meminfo: memFree=25698792/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=1038312 CPUtime=1797.82 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 279951 0 0 0 179541 241 0 0 20 0 1 0 289195344 1063231488 257627 33554432000 134512640 137138936 4293842240 4293840664 134606653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 259578 257627 192 642 0 258934 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 1038312
[startup+1798.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7648
/proc/meminfo: memFree=25698792/32873648 swapFree=7104/7104
[pid=7599] ppid=7597 vsize=1038312 CPUtime=1797.92 cores=1,3,5,7
/proc/7599/stat : 7599 (bsolo) R 7597 7599 7472 0 -1 4202496 279951 0 0 0 179551 241 0 0 20 0 1 0 289195344 1063231488 257627 33554432000 134512640 137138936 4293842240 4293840664 134606653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7599/statm: 259578 257627 192 642 0 258934 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 1038312
Child status: 0
Real time (s): 1798.68
CPU time (s): 1798
CPU user time (s): 1795.59
CPU system time (s): 2.41663
CPU usage (%): 99.9624
Max. virtual memory (cumulated for all children) (KiB): 1038312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.59
system time used= 2.41663
maximum resident set size= 1030988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279951
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= 475
involuntary context switches= 1834
runsolver used 2.72059 second user time and 7.09492 second system time
The end