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-3463078-1307179519/watcher-3463078-1307179519 -o /tmp/evaluation-result-3463078-1307179519/solver-3463078-1307179519 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463078-1307179519.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.02 2.00 2/558 9156
/proc/meminfo: memFree=28705968/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=11236 CPUtime=0 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 324 0 0 0 0 0 0 0 25 0 1 0 908182558 11505664 279 33554432000 134512640 137138936 4292648272 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 2809 279 190 642 0 2086 0
[startup+0.0860869 s]
/proc/loadavg: 2.00 2.02 2.00 2/558 9156
/proc/meminfo: memFree=28705968/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=12372 CPUtime=0.08 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 794 0 0 0 8 0 0 0 25 0 1 0 908182558 12668928 670 33554432000 134512640 137138936 4292648272 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 3093 670 192 642 0 2449 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12372
[startup+0.101088 s]
/proc/loadavg: 2.00 2.02 2.00 2/558 9156
/proc/meminfo: memFree=28705968/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=12372 CPUtime=0.09 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 794 0 0 0 9 0 0 0 25 0 1 0 908182558 12668928 670 33554432000 134512640 137138936 4292648272 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 3093 670 192 642 0 2449 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12372
[startup+0.301054 s]
/proc/loadavg: 2.00 2.02 2.00 2/558 9156
/proc/meminfo: memFree=28705968/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=12884 CPUtime=0.29 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 893 0 0 0 29 0 0 0 25 0 1 0 908182558 13193216 769 33554432000 134512640 137138936 4292648272 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 3221 769 192 642 0 2577 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12884
[startup+0.700987 s]
/proc/loadavg: 2.00 2.02 2.00 2/558 9156
/proc/meminfo: memFree=28705968/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=13932 CPUtime=0.69 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 1154 0 0 0 69 0 0 0 25 0 1 0 908182558 14266368 1030 33554432000 134512640 137138936 4292648272 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 3483 1030 192 642 0 2839 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13932
[startup+1.50085 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 9158
/proc/meminfo: memFree=28700628/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=15712 CPUtime=1.49 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 1626 0 0 0 149 0 0 0 25 0 1 0 908182558 16089088 1502 33554432000 134512640 137138936 4292648272 18446744073709551615 134542273 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 3928 1502 192 642 0 3284 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15712
[startup+3.10058 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 9158
/proc/meminfo: memFree=28697032/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=18404 CPUtime=3.09 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 2295 0 0 0 308 1 0 0 25 0 1 0 908182558 18845696 2171 33554432000 134512640 137138936 4292648272 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 4601 2171 192 642 0 3957 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18404
[startup+6.30105 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 9158
/proc/meminfo: memFree=28691740/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=22880 CPUtime=6.29 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 3407 0 0 0 628 1 0 0 25 0 1 0 908182558 23429120 3283 33554432000 134512640 137138936 4292648272 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 5720 3283 192 642 0 5076 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22880
[startup+12.701 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 9158
/proc/meminfo: memFree=28684664/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=29004 CPUtime=12.69 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 4928 0 0 0 1266 3 0 0 25 0 1 0 908182558 29700096 4804 33554432000 134512640 137138936 4292648272 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 7251 4804 192 642 0 6607 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29004
[startup+25.5008 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 9160
/proc/meminfo: memFree=28674120/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=39232 CPUtime=25.49 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 7480 0 0 0 2544 5 0 0 25 0 1 0 908182558 40173568 7356 33554432000 134512640 137138936 4292648272 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 9808 7356 192 642 0 9164 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 39232
[startup+51.1006 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 9160
/proc/meminfo: memFree=28660624/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=52676 CPUtime=51.1 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 10847 0 0 0 5101 9 0 0 25 0 1 0 908182558 53940224 10723 33554432000 134512640 137138936 4292648272 18446744073709551615 136520965 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 13169 10723 192 642 0 12525 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 52676
[startup+102.322 s]
/proc/loadavg: 2.00 2.01 2.00 3/559 9162
/proc/meminfo: memFree=28643744/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=68356 CPUtime=102.31 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 14786 0 0 0 10217 14 0 0 25 0 1 0 908182558 69996544 14662 33554432000 134512640 137138936 4292648272 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 17089 14662 192 642 0 16445 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 68356
[startup+162.301 s]
/proc/loadavg: 2.13 2.04 2.01 3/559 9162
/proc/meminfo: memFree=28637136/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=73924 CPUtime=162.29 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 16267 0 0 0 16211 18 0 0 25 0 1 0 908182558 75698176 16030 33554432000 134512640 137138936 4292648272 18446744073709551615 134575213 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 18481 16030 192 642 0 17837 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 73924
[startup+222.301 s]
/proc/loadavg: 2.17 2.06 2.01 3/559 9164
/proc/meminfo: memFree=28637332/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=73924 CPUtime=222.3 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 16267 0 0 0 22207 23 0 0 25 0 1 0 908182558 75698176 16030 33554432000 134512640 137138936 4292648272 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 18481 16030 192 642 0 17837 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 73924
[startup+282.301 s]
/proc/loadavg: 2.20 2.09 2.02 3/559 9166
/proc/meminfo: memFree=28633052/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=78920 CPUtime=282.3 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 17515 0 0 0 28202 28 0 0 25 0 1 0 908182558 80814080 17278 33554432000 134512640 137138936 4292648272 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 19730 17278 192 642 0 19086 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 78920
[startup+342.301 s]
/proc/loadavg: 2.11 2.08 2.02 3/559 9169
/proc/meminfo: memFree=28622068/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=89916 CPUtime=342.29 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 20267 0 0 0 34197 32 0 0 25 0 1 0 908182558 92073984 20030 33554432000 134512640 137138936 4292648272 18446744073709551615 136504116 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 22479 20030 192 642 0 21835 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 89916
[startup+402.301 s]
/proc/loadavg: 2.04 2.07 2.02 3/559 9171
/proc/meminfo: memFree=28609128/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=102500 CPUtime=402.29 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 23426 0 0 0 40192 37 0 0 25 0 1 0 908182558 104960000 23189 33554432000 134512640 137138936 4292648272 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 25625 23189 192 642 0 24981 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 102500
[startup+462.301 s]
/proc/loadavg: 2.01 2.05 2.01 3/559 9171
/proc/meminfo: memFree=28599656/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=111472 CPUtime=462.3 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 25679 0 0 0 46188 42 0 0 25 0 1 0 908182558 114147328 25442 33554432000 134512640 137138936 4292648272 18446744073709551615 136520918 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 27868 25442 192 642 0 27224 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 111472
[startup+522.301 s]
/proc/loadavg: 2.00 2.04 2.01 3/559 9173
/proc/meminfo: memFree=28592412/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=118964 CPUtime=522.3 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 27547 0 0 0 52184 46 0 0 25 0 1 0 908182558 121819136 27310 33554432000 134512640 137138936 4292648272 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 29741 27310 192 642 0 29097 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 118964
[startup+582.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/559 9175
/proc/meminfo: memFree=28581068/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=130204 CPUtime=582.3 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 30360 0 0 0 58180 50 0 0 25 0 1 0 908182558 133328896 30123 33554432000 134512640 137138936 4292648272 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 32551 30123 192 642 0 31907 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 130204
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=28539176/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=171336 CPUtime=1062.31 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 40943 0 0 0 106161 70 0 0 25 0 1 0 908182558 175448064 40400 33554432000 134512640 137138936 4292648272 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 42834 40400 192 642 0 42190 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 171336
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/559 9193
/proc/meminfo: memFree=28539524/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=171336 CPUtime=1122.31 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 40943 0 0 0 112157 74 0 0 25 0 1 0 908182558 175448064 40400 33554432000 134512640 137138936 4292648272 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 42834 40400 192 642 0 42190 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 171336
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 9195
/proc/meminfo: memFree=28539848/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=171336 CPUtime=1182.3 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 40943 0 0 0 118154 76 0 0 25 0 1 0 908182558 175448064 40400 33554432000 134512640 137138936 4292648272 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 42834 40400 192 642 0 42190 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 171336
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 9197
/proc/meminfo: memFree=28540392/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=171336 CPUtime=1242.31 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 40943 0 0 0 124151 80 0 0 25 0 1 0 908182558 175448064 40400 33554432000 134512640 137138936 4292648272 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 42834 40400 192 642 0 42190 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 171336
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/559 9199
/proc/meminfo: memFree=28539352/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=171336 CPUtime=1302.32 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 40943 0 0 0 130149 83 0 0 25 0 1 0 908182558 175448064 40400 33554432000 134512640 137138936 4292648272 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 42834 40400 192 642 0 42190 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 171336
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/559 9199
/proc/meminfo: memFree=28540648/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=171336 CPUtime=1362.31 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 40943 0 0 0 136144 87 0 0 25 0 1 0 908182558 175448064 40400 33554432000 134512640 137138936 4292648272 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 42834 40400 192 642 0 42190 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 171336
[startup+1422.32 s]
/proc/loadavg: 2.29 2.08 2.02 3/559 9201
/proc/meminfo: memFree=28540732/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=171336 CPUtime=1422.34 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 40943 0 0 0 142143 91 0 0 25 0 1 0 908182558 175448064 40400 33554432000 134512640 137138936 4292648272 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 42834 40400 192 642 0 42190 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 171336
[startup+1482.3 s]
/proc/loadavg: 2.21 2.09 2.03 3/559 9203
/proc/meminfo: memFree=28540316/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=171336 CPUtime=1482.31 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 40943 0 0 0 148138 93 0 0 25 0 1 0 908182558 175448064 40400 33554432000 134512640 137138936 4292648272 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 42834 40400 192 642 0 42190 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 171336
[startup+1542.3 s]
/proc/loadavg: 2.14 2.09 2.03 3/559 9232
/proc/meminfo: memFree=28533752/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=171336 CPUtime=1542.31 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 40943 0 0 0 154135 96 0 0 25 0 1 0 908182558 175448064 40400 33554432000 134512640 137138936 4292648272 18446744073709551615 134542620 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 42834 40400 192 642 0 42190 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 171336
[startup+1602.3 s]
/proc/loadavg: 2.08 2.08 2.03 3/559 9234
/proc/meminfo: memFree=28527140/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=171336 CPUtime=1602.31 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 40943 0 0 0 160132 99 0 0 25 0 1 0 908182558 175448064 40400 33554432000 134512640 137138936 4292648272 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 42834 40400 192 642 0 42190 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 171336
[startup+1662.3 s]
/proc/loadavg: 2.03 2.07 2.02 3/559 9234
/proc/meminfo: memFree=28525608/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=171336 CPUtime=1662.32 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 40943 0 0 0 166129 103 0 0 25 0 1 0 908182558 175448064 40400 33554432000 134512640 137138936 4292648272 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 42834 40400 192 642 0 42190 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 171336
[startup+1722.3 s]
/proc/loadavg: 2.01 2.05 2.02 3/559 9236
/proc/meminfo: memFree=28524448/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=171336 CPUtime=1722.32 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 40943 0 0 0 172127 105 0 0 25 0 1 0 908182558 175448064 40400 33554432000 134512640 137138936 4292648272 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 42834 40400 192 642 0 42190 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 171336
[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/559 9238
/proc/meminfo: memFree=28523044/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=171336 CPUtime=1782.32 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 40943 0 0 0 178125 107 0 0 25 0 1 0 908182558 175448064 40400 33554432000 134512640 137138936 4292648272 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 42834 40400 192 642 0 42190 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 171336
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.04 2.01 3/559 9238
/proc/meminfo: memFree=28524280/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=171336 CPUtime=1785.51 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 40943 0 0 0 178444 107 0 0 25 0 1 0 908182558 175448064 40400 33554432000 134512640 137138936 4292648272 18446744073709551615 135984544 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 42834 40400 192 642 0 42190 0
Current children cumulated CPU time (s) 1785.51
Current children cumulated vsize (KiB) 171336
[startup+1791.92 s]
/proc/loadavg: 2.00 2.04 2.01 3/559 9238
/proc/meminfo: memFree=28524392/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=171336 CPUtime=1791.94 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 40943 0 0 0 179086 108 0 0 25 0 1 0 908182558 175448064 40400 33554432000 134512640 137138936 4292648272 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 42834 40400 192 642 0 42190 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 171336
[startup+1795.1 s]
/proc/loadavg: 2.00 2.04 2.01 3/559 9238
/proc/meminfo: memFree=28524392/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=171336 CPUtime=1795.13 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 40943 0 0 0 179405 108 0 0 25 0 1 0 908182558 175448064 40400 33554432000 134512640 137138936 4292648272 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 42834 40400 192 642 0 42190 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (KiB) 171336
[startup+1796.7 s]
/proc/loadavg: 2.00 2.04 2.01 3/559 9238
/proc/meminfo: memFree=28524392/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=171336 CPUtime=1796.72 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 40943 0 0 0 179564 108 0 0 25 0 1 0 908182558 175448064 40400 33554432000 134512640 137138936 4292648272 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 42834 40400 192 642 0 42190 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 171336
[startup+1797.5 s]
/proc/loadavg: 2.00 2.04 2.01 3/559 9238
/proc/meminfo: memFree=28523896/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=171336 CPUtime=1797.52 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 40943 0 0 0 179644 108 0 0 25 0 1 0 908182558 175448064 40400 33554432000 134512640 137138936 4292648272 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 42834 40400 192 642 0 42190 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (KiB) 171336
[startup+1797.9 s]
/proc/loadavg: 2.00 2.04 2.01 3/559 9238
/proc/meminfo: memFree=28523896/32951124 swapFree=34426104/67111528
[pid=9156] ppid=9154 vsize=171336 CPUtime=1797.92 cores=1,3,5,7
/proc/9156/stat : 9156 (bsolo) R 9154 9156 7463 0 -1 4202496 40943 0 0 0 179684 108 0 0 25 0 1 0 908182558 175448064 40400 33554432000 134512640 137138936 4292648272 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9156/statm: 42834 40400 192 642 0 42190 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 171336
Child status: 0
Real time (s): 1797.98
CPU time (s): 1798.01
CPU user time (s): 1796.92
CPU system time (s): 1.09083
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 172560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.92
system time used= 1.09083
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40944
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= 4
involuntary context switches= 2657
runsolver used 10.0625 second user time and 23.7964 second system time
The end