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-3462946-1307175320/watcher-3462946-1307175320 -o /tmp/evaluation-result-3462946-1307175320/solver-3462946-1307175320 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462946-1307175320.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.70 1.96 1.98 2/474 29885
/proc/meminfo: memFree=21392860/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=13896 CPUtime=0.01 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 589 0 0 0 1 0 0 0 23 0 1 0 809947332 14229504 543 33554432000 134512640 137138936 4287371936 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 3474 543 226 642 0 2298 0
[startup+0.0379121 s]
/proc/loadavg: 1.70 1.96 1.98 2/474 29885
/proc/meminfo: memFree=21392860/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=15276 CPUtime=0.03 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 1014 0 0 0 3 0 0 0 23 0 1 0 809947332 15642624 968 33554432000 134512640 137138936 4287371936 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 3819 969 304 642 0 2643 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 15276
[startup+0.100904 s]
/proc/loadavg: 1.70 1.96 1.98 2/474 29885
/proc/meminfo: memFree=21392860/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=19316 CPUtime=0.09 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 2262 0 0 0 9 0 0 0 23 0 1 0 809947332 19779584 2216 33554432000 134512640 137138936 4287371936 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 4829 2216 541 642 0 3653 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19316
[startup+0.300872 s]
/proc/loadavg: 1.70 1.96 1.98 2/474 29885
/proc/meminfo: memFree=21392860/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=25272 CPUtime=0.29 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 4394 0 0 0 29 0 0 0 25 0 1 0 809947332 25878528 3776 33554432000 134512640 137138936 4287371936 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 6318 3776 184 642 0 5674 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25272
[startup+0.700798 s]
/proc/loadavg: 1.70 1.96 1.98 2/474 29885
/proc/meminfo: memFree=21392860/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=25536 CPUtime=0.69 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 4468 0 0 0 69 0 0 0 25 0 1 0 809947332 26148864 3850 33554432000 134512640 137138936 4287371936 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 6384 3850 184 642 0 5740 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25536
[startup+1.50066 s]
/proc/loadavg: 1.70 1.96 1.98 3/478 29892
/proc/meminfo: memFree=21326476/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=25668 CPUtime=1.49 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 4505 0 0 0 148 1 0 0 25 0 1 0 809947332 26284032 3887 33554432000 134512640 137138936 4287371936 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 6417 3887 184 642 0 5773 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25668
[startup+3.10038 s]
/proc/loadavg: 1.72 1.96 1.98 3/478 29892
/proc/meminfo: memFree=21258400/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=25668 CPUtime=3.09 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 4515 0 0 0 308 1 0 0 25 0 1 0 809947332 26284032 3897 33554432000 134512640 137138936 4287371936 18446744073709551615 134543241 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 6417 3897 184 642 0 5773 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25668
[startup+6.30082 s]
/proc/loadavg: 1.72 1.96 1.98 3/478 29893
/proc/meminfo: memFree=21258280/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=25800 CPUtime=6.29 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 4527 0 0 0 628 1 0 0 25 0 1 0 809947332 26419200 3909 33554432000 134512640 137138936 4287371936 18446744073709551615 136511209 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 6450 3909 184 642 0 5806 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25800
[startup+12.7007 s]
/proc/loadavg: 1.77 1.96 1.98 3/478 29893
/proc/meminfo: memFree=21256528/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=25800 CPUtime=12.69 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 4541 0 0 0 1267 2 0 0 25 0 1 0 809947332 26419200 3923 33554432000 134512640 137138936 4287371936 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 6450 3923 184 642 0 5806 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25800
[startup+25.5004 s]
/proc/loadavg: 1.80 1.96 1.98 3/478 29893
/proc/meminfo: memFree=21227924/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=56512 CPUtime=25.49 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 12449 0 0 0 2535 14 0 0 25 0 1 0 809947332 57868288 11598 33554432000 134512640 137138936 4287371936 18446744073709551615 134542327 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 14128 11598 192 642 0 13484 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 56512
[startup+51.1009 s]
/proc/loadavg: 1.87 1.96 1.98 3/478 29894
/proc/meminfo: memFree=21148608/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=137052 CPUtime=51.09 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 32586 0 0 0 5089 20 0 0 25 0 1 0 809947332 140341248 31735 33554432000 134512640 137138936 4287371936 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 34263 31735 192 642 0 33619 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 137052
[startup+102.318 s]
/proc/loadavg: 1.95 1.97 1.98 3/478 29895
/proc/meminfo: memFree=21035608/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=245424 CPUtime=102.31 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 59680 0 0 0 10201 30 0 0 25 0 1 0 809947332 251314176 58829 33554432000 134512640 137138936 4287371936 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 61356 58829 192 642 0 60712 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 245424
[startup+162.3 s]
/proc/loadavg: 2.03 1.99 1.98 3/478 29897
/proc/meminfo: memFree=20910572/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=369836 CPUtime=162.3 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 90804 0 0 0 16190 40 0 0 25 0 1 0 809947332 378712064 89953 33554432000 134512640 137138936 4287371936 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 92459 89953 192 642 0 91815 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 369836
[startup+222.301 s]
/proc/loadavg: 2.05 2.00 1.99 3/478 29898
/proc/meminfo: memFree=20802268/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=474476 CPUtime=222.29 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 116976 0 0 0 22183 46 0 0 25 0 1 0 809947332 485863424 116125 33554432000 134512640 137138936 4287371936 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 118619 116125 192 642 0 117975 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 474476
[startup+282.301 s]
/proc/loadavg: 2.02 2.00 1.99 3/478 29900
/proc/meminfo: memFree=20689500/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=573528 CPUtime=282.3 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 141709 0 0 0 28178 52 0 0 25 0 1 0 809947332 587292672 140858 33554432000 134512640 137138936 4287371936 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 143382 140858 192 642 0 142738 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 573528
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/478 29901
/proc/meminfo: memFree=20586388/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=670940 CPUtime=342.3 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 166060 0 0 0 34173 57 0 0 25 0 1 0 809947332 687042560 165209 33554432000 134512640 137138936 4287371936 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 167735 165209 192 642 0 167091 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 670940
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/478 29903
/proc/meminfo: memFree=20519124/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=723996 CPUtime=402.3 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 179324 0 0 0 40160 70 0 0 25 0 1 0 809947332 741371904 178473 33554432000 134512640 137138936 4287371936 18446744073709551615 134607623 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 180999 178473 192 642 0 180355 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 723996
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/478 29905
/proc/meminfo: memFree=20442196/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=784264 CPUtime=462.31 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 194391 0 0 0 46155 76 0 0 25 0 1 0 809947332 803086336 193540 33554432000 134512640 137138936 4287371936 18446744073709551615 136511183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 196066 193540 192 642 0 195422 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 784264
[startup+522.301 s]
/proc/loadavg: 2.04 2.01 1.99 3/478 29906
/proc/meminfo: memFree=20360176/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=851572 CPUtime=522.3 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 211220 0 0 0 52148 82 0 0 25 0 1 0 809947332 872009728 210369 33554432000 134512640 137138936 4287371936 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 212893 210369 192 642 0 212249 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 851572
[startup+582.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/478 29910
/proc/meminfo: memFree=20278780/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=909296 CPUtime=582.3 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 225649 0 0 0 58142 88 0 0 25 0 1 0 809947332 931119104 224798 33554432000 134512640 137138936 4287371936 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 227324 224798 192 642 0 226680 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 909296
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=20010552/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=1046496 CPUtime=1122.32 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 260233 0 0 0 112096 136 0 0 25 0 1 0 809947332 1071611904 259097 33554432000 134512640 137138936 4287371936 18446744073709551615 136504080 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 261624 259097 192 642 0 260980 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1046496
[startup+1182.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/478 29927
/proc/meminfo: memFree=19994996/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=1046496 CPUtime=1182.32 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 260233 0 0 0 118094 138 0 0 25 0 1 0 809947332 1071611904 259097 33554432000 134512640 137138936 4287371936 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 261624 259097 192 642 0 260980 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1046496
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/478 29928
/proc/meminfo: memFree=19978436/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=1046496 CPUtime=1242.32 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 260233 0 0 0 124088 144 0 0 25 0 1 0 809947332 1071611904 259097 33554432000 134512640 137138936 4287371936 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 261624 259097 192 642 0 260980 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1046496
[startup+1302.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/478 29930
/proc/meminfo: memFree=19964000/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=1046496 CPUtime=1302.34 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 260233 0 0 0 130082 152 0 0 25 0 1 0 809947332 1071611904 259097 33554432000 134512640 137138936 4287371936 18446744073709551615 134606598 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 261624 259097 192 642 0 260980 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1046496
[startup+1362.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/478 29932
/proc/meminfo: memFree=19950680/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=1046496 CPUtime=1362.33 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 260233 0 0 0 136077 156 0 0 25 0 1 0 809947332 1071611904 259097 33554432000 134512640 137138936 4287371936 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 261624 259097 192 642 0 260980 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1046496
[startup+1422.32 s]
/proc/loadavg: 2.02 2.04 2.00 3/478 29933
/proc/meminfo: memFree=19936120/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=1046496 CPUtime=1422.35 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 260233 0 0 0 142073 162 0 0 25 0 1 0 809947332 1071611904 259097 33554432000 134512640 137138936 4287371936 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 261624 259097 192 642 0 260980 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 1046496
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/478 29935
/proc/meminfo: memFree=19921316/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=1046496 CPUtime=1482.33 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 260233 0 0 0 148065 168 0 0 25 0 1 0 809947332 1071611904 259097 33554432000 134512640 137138936 4287371936 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 261624 259097 192 642 0 260980 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1046496
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 29936
/proc/meminfo: memFree=19911204/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=1046496 CPUtime=1542.33 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 260233 0 0 0 154062 171 0 0 25 0 1 0 809947332 1071611904 259097 33554432000 134512640 137138936 4287371936 18446744073709551615 134578233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 261624 259097 192 642 0 260980 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1046496
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 29938
/proc/meminfo: memFree=19901736/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=1046496 CPUtime=1602.33 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 260233 0 0 0 160058 175 0 0 25 0 1 0 809947332 1071611904 259097 33554432000 134512640 137138936 4287371936 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 261624 259097 192 642 0 260980 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1046496
[startup+1662.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/478 29940
/proc/meminfo: memFree=19891392/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=1046496 CPUtime=1662.34 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 260233 0 0 0 166052 182 0 0 25 0 1 0 809947332 1071611904 259097 33554432000 134512640 137138936 4287371936 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 261624 259097 192 642 0 260980 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1046496
[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/478 29941
/proc/meminfo: memFree=19880680/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=1046496 CPUtime=1722.33 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 260233 0 0 0 172045 188 0 0 25 0 1 0 809947332 1071611904 259097 33554432000 134512640 137138936 4287371936 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 261624 259097 192 642 0 260980 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1046496
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/478 29943
/proc/meminfo: memFree=19868968/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=1046496 CPUtime=1782.34 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 260233 0 0 0 178039 195 0 0 25 0 1 0 809947332 1071611904 259097 33554432000 134512640 137138936 4287371936 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 261624 259097 192 642 0 260980 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1046496
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.02 2.03 2.00 3/478 29943
/proc/meminfo: memFree=19868224/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=1046496 CPUtime=1785.53 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 260233 0 0 0 178358 195 0 0 25 0 1 0 809947332 1071611904 259097 33554432000 134512640 137138936 4287371936 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 261624 259097 192 642 0 260980 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 1046496
[startup+1791.92 s]
/proc/loadavg: 2.01 2.03 2.00 3/478 29943
/proc/meminfo: memFree=19867092/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=1046496 CPUtime=1791.95 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 260233 0 0 0 178999 196 0 0 25 0 1 0 809947332 1071611904 259097 33554432000 134512640 137138936 4287371936 18446744073709551615 134606970 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 261624 259097 192 642 0 260980 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 1046496
[startup+1795.1 s]
/proc/loadavg: 2.01 2.03 2.00 3/478 29943
/proc/meminfo: memFree=19867712/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=1046496 CPUtime=1795.15 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 260233 0 0 0 179319 196 0 0 25 0 1 0 809947332 1071611904 259097 33554432000 134512640 137138936 4287371936 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 261624 259097 192 642 0 260980 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 1046496
[startup+1796.7 s]
/proc/loadavg: 2.01 2.03 2.00 3/478 29943
/proc/meminfo: memFree=19866596/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=1046496 CPUtime=1796.73 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 260233 0 0 0 179477 196 0 0 25 0 1 0 809947332 1071611904 259097 33554432000 134512640 137138936 4287371936 18446744073709551615 134544845 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 261624 259097 192 642 0 260980 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 1046496
[startup+1797.5 s]
/proc/loadavg: 2.01 2.03 2.00 3/478 29943
/proc/meminfo: memFree=19866844/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=1046496 CPUtime=1797.53 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 260233 0 0 0 179557 196 0 0 25 0 1 0 809947332 1071611904 259097 33554432000 134512640 137138936 4287371936 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 261624 259097 192 642 0 260980 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 1046496
[startup+1797.9 s]
/proc/loadavg: 2.01 2.03 2.00 3/478 29943
/proc/meminfo: memFree=19866844/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=1046496 CPUtime=1797.93 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202496 260233 0 0 0 179597 196 0 0 25 0 1 0 809947332 1071611904 259097 33554432000 134512640 137138936 4287371936 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29885/statm: 261624 259097 192 642 0 260980 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 1046496
[startup+1798 s]
/proc/loadavg: 2.01 2.03 2.00 3/478 29943
/proc/meminfo: memFree=19866844/32951124 swapFree=67057928/67111528
[pid=29885] ppid=29883 vsize=0 CPUtime=1798.03 cores=1,3,5,7
/proc/29885/stat : 29885 (bsolo) R 29883 29885 28116 0 -1 4202500 260233 0 0 0 179603 200 0 0 25 0 1 0 809947332 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/29885/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.03
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.01
CPU time (s): 1798.05
CPU user time (s): 1796.04
CPU system time (s): 2.01269
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1047636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.04
system time used= 2.01269
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 260233
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= 3712
runsolver used 7.95879 second user time and 19.845 second system time
The end