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-3463070-1307177686/watcher-3463070-1307177686 -o /tmp/evaluation-result-3463070-1307177686/solver-3463070-1307177686 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463070-1307177686.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.07 2.02 1.94 3/273 13201
/proc/meminfo: memFree=28242764/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=13420 CPUtime=0 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 276 0 0 0 0 0 0 0 22 0 1 0 829369353 13742080 231 33554432000 134512640 137138936 4287263312 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 3355 232 168 642 0 2055 0
[startup+0.082554 s]
/proc/loadavg: 2.07 2.02 1.94 3/273 13201
/proc/meminfo: memFree=28242764/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=18504 CPUtime=0.07 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 1849 0 0 0 7 0 0 0 22 0 1 0 829369353 18948096 1804 33554432000 134512640 137138936 4287263312 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 4626 1805 473 642 0 3326 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 18504
[startup+0.100547 s]
/proc/loadavg: 2.07 2.02 1.94 3/273 13201
/proc/meminfo: memFree=28242764/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=19608 CPUtime=0.09 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 2213 0 0 0 9 0 0 0 22 0 1 0 829369353 20078592 2168 33554432000 134512640 137138936 4287263312 18446744073709551615 136525315 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 4902 2169 544 642 0 3602 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19608
[startup+0.300518 s]
/proc/loadavg: 2.07 2.02 1.94 3/273 13201
/proc/meminfo: memFree=28242764/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=30288 CPUtime=0.29 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 5812 0 0 0 28 1 0 0 23 0 1 0 829369353 31014912 5111 33554432000 134512640 137138936 4287263312 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 7572 5111 185 642 0 6928 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30288
[startup+0.700456 s]
/proc/loadavg: 2.07 2.02 1.94 3/273 13201
/proc/meminfo: memFree=28242764/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=30288 CPUtime=0.69 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 5812 0 0 0 63 6 0 0 25 0 1 0 829369353 31014912 5111 33554432000 134512640 137138936 4287263312 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 7572 5111 185 642 0 6928 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30288
[startup+1.5003 s]
/proc/loadavg: 2.07 2.02 1.94 3/274 13202
/proc/meminfo: memFree=28222916/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=32332 CPUtime=1.49 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 8008 0 0 0 138 11 0 0 25 0 1 0 829369353 33107968 5631 33554432000 134512640 137138936 4287263312 18446744073709551615 134551776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 8083 5631 192 642 0 7439 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32332
[startup+3.10101 s]
/proc/loadavg: 2.06 2.02 1.94 3/274 13202
/proc/meminfo: memFree=28212524/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=53380 CPUtime=3.08 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 13289 0 0 0 297 11 0 0 25 0 1 0 829369353 54661120 10912 33554432000 134512640 137138936 4287263312 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 13345 10912 192 642 0 12701 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 53380
[startup+6.30043 s]
/proc/loadavg: 2.06 2.02 1.94 3/274 13203
/proc/meminfo: memFree=28171740/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=90760 CPUtime=6.28 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 22631 0 0 0 615 13 0 0 25 0 1 0 829369353 92938240 20254 33554432000 134512640 137138936 4287263312 18446744073709551615 134551810 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 22690 20254 192 642 0 22046 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 90760
[startup+12.7003 s]
/proc/loadavg: 2.05 2.02 1.94 3/274 13203
/proc/meminfo: memFree=28103304/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=155660 CPUtime=12.68 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 38860 0 0 0 1252 16 0 0 25 0 1 0 829369353 159395840 36483 33554432000 134512640 137138936 4287263312 18446744073709551615 136520963 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 38915 36483 192 642 0 38271 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 155660
[startup+25.5009 s]
/proc/loadavg: 2.04 2.02 1.94 3/274 13203
/proc/meminfo: memFree=27993944/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=260248 CPUtime=25.48 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 65015 0 0 0 2528 20 0 0 25 0 1 0 829369353 266493952 62638 33554432000 134512640 137138936 4287263312 18446744073709551615 136502651 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 65062 62638 192 642 0 64418 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 260248
[startup+51.1002 s]
/proc/loadavg: 2.03 2.02 1.94 3/274 13204
/proc/meminfo: memFree=27832060/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=422028 CPUtime=51.08 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 105456 0 0 0 5080 28 0 0 25 0 1 0 829369353 432156672 103079 33554432000 134512640 137138936 4287263312 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 105507 103079 192 642 0 104863 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 422028
[startup+102.31 s]
/proc/loadavg: 2.01 2.01 1.94 3/274 13205
/proc/meminfo: memFree=27600416/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=651016 CPUtime=102.29 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 162700 0 0 0 10190 39 0 0 25 0 1 0 829369353 666640384 160323 33554432000 134512640 137138936 4287263312 18446744073709551615 136504256 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 162754 160323 192 642 0 162110 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 651016
[startup+162.301 s]
/proc/loadavg: 1.94 1.99 1.93 3/274 13234
/proc/meminfo: memFree=27618936/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=694604 CPUtime=162.29 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 173635 0 0 0 16186 43 0 0 25 0 1 0 829369353 711274496 171220 33554432000 134512640 137138936 4287263312 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 173651 171220 192 642 0 173007 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 694604
[startup+222.301 s]
/proc/loadavg: 1.98 1.99 1.93 3/274 13235
/proc/meminfo: memFree=27040856/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=928640 CPUtime=222.29 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 232120 0 0 0 22177 52 0 0 25 0 1 0 829369353 950927360 229705 33554432000 134512640 137138936 4287263312 18446744073709551615 134542330 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 232160 229705 192 642 0 231516 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 928640
[startup+282.301 s]
/proc/loadavg: 1.99 1.99 1.93 3/274 13237
/proc/meminfo: memFree=26772504/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=1038836 CPUtime=282.29 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 259727 0 0 0 28171 58 0 0 25 0 1 0 829369353 1063768064 257254 33554432000 134512640 137138936 4287263312 18446744073709551615 134599894 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 259709 257254 192 642 0 259065 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1038836
[startup+342.301 s]
/proc/loadavg: 2.07 2.01 1.94 3/274 13239
/proc/meminfo: memFree=26772116/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=1038836 CPUtime=342.3 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 259727 0 0 0 34169 61 0 0 25 0 1 0 829369353 1063768064 257254 33554432000 134512640 137138936 4287263312 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 259709 257254 192 642 0 259065 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1038836
[startup+402.301 s]
/proc/loadavg: 2.03 2.00 1.94 3/274 13249
/proc/meminfo: memFree=26688060/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=1038836 CPUtime=402.29 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 259727 0 0 0 40167 62 0 0 25 0 1 0 829369353 1063768064 257254 33554432000 134512640 137138936 4287263312 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 259709 257254 192 642 0 259065 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1038836
[startup+462.301 s]
/proc/loadavg: 2.06 2.01 1.94 3/274 13251
/proc/meminfo: memFree=26641640/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=1038836 CPUtime=462.3 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 259727 0 0 0 46165 65 0 0 25 0 1 0 829369353 1063768064 257254 33554432000 134512640 137138936 4287263312 18446744073709551615 134551018 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 259709 257254 192 642 0 259065 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1038836
[startup+522.301 s]
/proc/loadavg: 2.02 2.01 1.94 3/274 13252
/proc/meminfo: memFree=26641628/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=1038836 CPUtime=522.31 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 259727 0 0 0 52164 67 0 0 25 0 1 0 829369353 1063768064 257254 33554432000 134512640 137138936 4287263312 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 259709 257254 192 642 0 259065 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1038836
[startup+582.301 s]
/proc/loadavg: 2.04 2.02 1.95 3/274 13257
/proc/meminfo: memFree=26642124/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=1038836 CPUtime=582.31 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 259727 0 0 0 58162 69 0 0 25 0 1 0 829369353 1063768064 257254 33554432000 134512640 137138936 4287263312 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 259709 257254 192 642 0 259065 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1038836
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=26471568/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=1053112 CPUtime=1122.32 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 264025 0 0 0 112146 86 0 0 25 0 1 0 829369353 1078386688 260823 33554432000 134512640 137138936 4287263312 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 263278 260823 192 642 0 262634 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1053112
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/274 13273
/proc/meminfo: memFree=26471668/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=1053112 CPUtime=1182.32 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 264025 0 0 0 118145 87 0 0 25 0 1 0 829369353 1078386688 260823 33554432000 134512640 137138936 4287263312 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 263278 260823 192 642 0 262634 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1053112
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/274 13275
/proc/meminfo: memFree=26471656/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=1053112 CPUtime=1242.33 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 264025 0 0 0 124144 89 0 0 25 0 1 0 829369353 1078386688 260823 33554432000 134512640 137138936 4287263312 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 263278 260823 192 642 0 262634 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1053112
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/274 13276
/proc/meminfo: memFree=26471392/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=1053112 CPUtime=1302.33 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 264025 0 0 0 130143 90 0 0 25 0 1 0 829369353 1078386688 260823 33554432000 134512640 137138936 4287263312 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 263278 260823 192 642 0 262634 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1053112
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/274 13278
/proc/meminfo: memFree=26471252/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=1053112 CPUtime=1362.33 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 264025 0 0 0 136141 92 0 0 25 0 1 0 829369353 1078386688 260823 33554432000 134512640 137138936 4287263312 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 263278 260823 192 642 0 262634 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1053112
[startup+1422.31 s]
/proc/loadavg: 2.11 2.03 1.96 3/274 13279
/proc/meminfo: memFree=26471608/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=1053112 CPUtime=1422.34 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 264025 0 0 0 142140 94 0 0 25 0 1 0 829369353 1078386688 260823 33554432000 134512640 137138936 4287263312 18446744073709551615 134573759 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 263278 260823 192 642 0 262634 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1053112
[startup+1482.3 s]
/proc/loadavg: 2.04 2.02 1.96 3/274 13281
/proc/meminfo: memFree=26471336/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=1053112 CPUtime=1482.33 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 264025 0 0 0 148138 95 0 0 25 0 1 0 829369353 1078386688 260823 33554432000 134512640 137138936 4287263312 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 263278 260823 192 642 0 262634 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1053112
[startup+1542.3 s]
/proc/loadavg: 2.06 2.03 1.97 3/274 13283
/proc/meminfo: memFree=26471448/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=1053112 CPUtime=1542.34 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 264025 0 0 0 154137 97 0 0 25 0 1 0 829369353 1078386688 260823 33554432000 134512640 137138936 4287263312 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 263278 260823 192 642 0 262634 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1053112
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 1.97 3/274 13284
/proc/meminfo: memFree=26471436/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=1053112 CPUtime=1602.34 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 264025 0 0 0 160135 99 0 0 25 0 1 0 829369353 1078386688 260823 33554432000 134512640 137138936 4287263312 18446744073709551615 136504020 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 263278 260823 192 642 0 262634 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1053112
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/274 13286
/proc/meminfo: memFree=26472044/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=1052696 CPUtime=1662.34 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 264025 0 0 0 166133 101 0 0 25 0 1 0 829369353 1077960704 260751 33554432000 134512640 137138936 4287263312 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 263174 260751 192 642 0 262530 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1052696
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/274 13287
/proc/meminfo: memFree=26471660/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=1052696 CPUtime=1722.34 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 264025 0 0 0 172131 103 0 0 25 0 1 0 829369353 1077960704 260751 33554432000 134512640 137138936 4287263312 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 263174 260751 192 642 0 262530 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1052696
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/274 13289
/proc/meminfo: memFree=26471028/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=1052696 CPUtime=1782.34 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 264025 0 0 0 178130 104 0 0 25 0 1 0 829369353 1077960704 260751 33554432000 134512640 137138936 4287263312 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 263174 260751 192 642 0 262530 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1052696
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.01 1.97 3/274 13289
/proc/meminfo: memFree=26471028/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=1052696 CPUtime=1785.54 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 264025 0 0 0 178450 104 0 0 25 0 1 0 829369353 1077960704 260751 33554432000 134512640 137138936 4287263312 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 263174 260751 192 642 0 262530 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 1052696
[startup+1791.91 s]
/proc/loadavg: 2.00 2.01 1.97 3/274 13289
/proc/meminfo: memFree=26471524/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=1052696 CPUtime=1791.95 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 264025 0 0 0 179091 104 0 0 25 0 1 0 829369353 1077960704 260751 33554432000 134512640 137138936 4287263312 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 263174 260751 192 642 0 262530 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 1052696
[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 1.97 3/274 13289
/proc/meminfo: memFree=26471524/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=1052696 CPUtime=1795.14 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 264025 0 0 0 179410 104 0 0 25 0 1 0 829369353 1077960704 260751 33554432000 134512640 137138936 4287263312 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 263174 260751 192 642 0 262530 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 1052696
[startup+1796.7 s]
/proc/loadavg: 2.00 2.01 1.97 3/274 13289
/proc/meminfo: memFree=26471524/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=1052696 CPUtime=1796.74 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 264025 0 0 0 179570 104 0 0 25 0 1 0 829369353 1077960704 260751 33554432000 134512640 137138936 4287263312 18446744073709551615 136520965 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 263174 260751 192 642 0 262530 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 1052696
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.97 3/274 13289
/proc/meminfo: memFree=26471524/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=1052696 CPUtime=1797.55 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 264025 0 0 0 179650 105 0 0 25 0 1 0 829369353 1077960704 260751 33554432000 134512640 137138936 4287263312 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 263174 260751 192 642 0 262530 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 1052696
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 1.97 3/274 13289
/proc/meminfo: memFree=26471524/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=1052696 CPUtime=1797.95 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) R 13199 13201 10640 0 -1 4202496 264025 0 0 0 179690 105 0 0 25 0 1 0 829369353 1077960704 260751 33554432000 134512640 137138936 4287263312 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13201/statm: 263174 260751 192 642 0 262530 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 1052696
[startup+1798 s]
/proc/loadavg: 2.00 2.00 1.97 3/274 13289
/proc/meminfo: memFree=26471524/32951124 swapFree=55664332/67111528
[pid=13201] ppid=13199 vsize=0 CPUtime=1798.04 cores=1,3,5,7
/proc/13201/stat : 13201 (bsolo) S 13199 13201 10640 0 -1 4202500 264026 0 0 0 179695 109 0 0 25 0 1 0 829369353 0 0 33554432000 0 0 0 0 0 0 2147483391 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/13201/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.04
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798
CPU time (s): 1798.05
CPU user time (s): 1796.96
CPU system time (s): 1.09483
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1054668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.96
system time used= 1.09483
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 264026
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= 2984
runsolver used 4.11937 second user time and 10.5974 second system time
The end