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-3728146-1338674697/watcher-3728146-1338674697 -o /tmp/evaluation-result-3728146-1338674697/solver-3728146-1338674697 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=wbo HOME/instance-3728146-1338674697.wbo
running on 4 cores: 0,2,4,6
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.00 2.00 4/175 7560
/proc/meminfo: memFree=26341152/32873648 swapFree=6864/6864
[pid=7560] ppid=7558 vsize=3448 CPUtime=0 cores=0,2,4,6
/proc/7560/stat : 7560 (wbo1.72) R 7558 7560 7055 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 333595114 3530752 317 33554432000 4194304 5964350 140735852233072 140736592402024 4395186 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7560/statm: 862 317 170 433 0 403 0
[startup+0.0452479 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 7560
/proc/meminfo: memFree=26341152/32873648 swapFree=6864/6864
[pid=7560] ppid=7558 vsize=84204 CPUtime=0.04 cores=0,2,4,6
/proc/7560/stat : 7560 (wbo1.72) S 7558 7560 7055 0 -1 4202496 1272 0 0 0 4 0 0 0 20 0 2 0 333595114 86224896 1202 33554432000 4194304 5964350 140735852233072 140735852232592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7560/statm: 21051 1202 193 433 0 20615 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 84204
[startup+0.100162 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 7560
/proc/meminfo: memFree=26341152/32873648 swapFree=6864/6864
[pid=7560] ppid=7558 vsize=84204 CPUtime=0.09 cores=0,2,4,6
/proc/7560/stat : 7560 (wbo1.72) S 7558 7560 7055 0 -1 4202496 1452 0 0 0 9 0 0 0 20 0 2 0 333595114 86224896 1382 33554432000 4194304 5964350 140735852233072 140735852232592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7560/statm: 21051 1382 193 433 0 20615 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84204
[startup+0.30011 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 7560
/proc/meminfo: memFree=26341152/32873648 swapFree=6864/6864
[pid=7560] ppid=7558 vsize=84204 CPUtime=0.29 cores=0,2,4,6
/proc/7560/stat : 7560 (wbo1.72) S 7558 7560 7055 0 -1 4202496 1944 0 0 0 29 0 0 0 20 0 2 0 333595114 86224896 1874 33554432000 4194304 5964350 140735852233072 140735852232592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7560/statm: 21051 1874 193 433 0 20615 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84204
[startup+0.700118 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 7560
/proc/meminfo: memFree=26341152/32873648 swapFree=6864/6864
[pid=7560] ppid=7558 vsize=84348 CPUtime=0.69 cores=0,2,4,6
/proc/7560/stat : 7560 (wbo1.72) S 7558 7560 7055 0 -1 4202496 2512 0 0 0 69 0 0 0 20 0 2 0 333595114 86372352 2442 33554432000 4194304 5964350 140735852233072 140735852232592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7560/statm: 21087 2442 193 433 0 20651 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84348
[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 7564
/proc/meminfo: memFree=26319108/32873648 swapFree=6864/6864
[pid=7560] ppid=7558 vsize=84348 CPUtime=1.48 cores=0,2,4,6
/proc/7560/stat : 7560 (wbo1.72) S 7558 7560 7055 0 -1 4202496 3797 0 0 0 148 0 0 0 20 0 2 0 333595114 86372352 3727 33554432000 4194304 5964350 140735852233072 140735852232592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7560/statm: 21087 3728 193 433 0 20651 0
[pid=7560/tid=7564] ppid=7558 vsize=84348 CPUtime=1.47 cores=0,2,4,6
/proc/7560/task/7564/stat : 7564 (wbo1.72) R 7558 7560 7055 0 -1 4202560 2946 0 0 0 147 0 0 0 20 0 2 0 333595115 86372352 3728 33554432000 4194304 5964350 140735852233072 140095087163384 5136340 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 84348
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 7564
/proc/meminfo: memFree=26305344/32873648 swapFree=6864/6864
[pid=7560] ppid=7558 vsize=84420 CPUtime=3.09 cores=0,2,4,6
/proc/7560/stat : 7560 (wbo1.72) S 7558 7560 7055 0 -1 4202496 6842 0 0 0 308 1 0 0 20 0 2 0 333595114 86446080 6772 33554432000 4194304 5964350 140735852233072 140735852232592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7560/statm: 21105 6772 193 433 0 20669 0
[pid=7560/tid=7564] ppid=7558 vsize=84420 CPUtime=3.07 cores=0,2,4,6
/proc/7560/task/7564/stat : 7564 (wbo1.72) R 7558 7560 7055 0 -1 4202560 5991 0 0 0 307 0 0 0 20 0 2 0 333595115 86446080 6773 33554432000 4194304 5964350 140735852233072 140095087163384 5136340 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84420
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 7564
/proc/meminfo: memFree=26264676/32873648 swapFree=6864/6864
[pid=7560] ppid=7558 vsize=84420 CPUtime=6.28 cores=0,2,4,6
/proc/7560/stat : 7560 (wbo1.72) S 7558 7560 7055 0 -1 4202496 12149 0 0 0 626 2 0 0 20 0 2 0 333595114 86446080 12079 33554432000 4194304 5964350 140735852233072 140735852232592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7560/statm: 21105 12079 193 433 0 20669 0
[pid=7560/tid=7564] ppid=7558 vsize=84420 CPUtime=6.28 cores=0,2,4,6
/proc/7560/task/7564/stat : 7564 (wbo1.72) R 7558 7560 7055 0 -1 4202560 11297 0 0 0 625 3 0 0 20 0 2 0 333595115 86446080 12079 33554432000 4194304 5964350 140735852233072 140095087163384 4400011 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84420
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 7564
/proc/meminfo: memFree=26192644/32873648 swapFree=6864/6864
[pid=7560] ppid=7558 vsize=150064 CPUtime=12.68 cores=0,2,4,6
/proc/7560/stat : 7560 (wbo1.72) S 7558 7560 7055 0 -1 4202496 20984 0 0 0 1263 5 0 0 20 0 2 0 333595114 153665536 20914 33554432000 4194304 5964350 140735852233072 140735852232592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7560/statm: 37516 20914 193 433 0 37080 0
[pid=7560/tid=7564] ppid=7558 vsize=150064 CPUtime=12.68 cores=0,2,4,6
/proc/7560/task/7564/stat : 7564 (wbo1.72) R 7558 7560 7055 0 -1 4202560 20132 0 0 0 1262 6 0 0 20 0 2 0 333595115 153665536 20914 33554432000 4194304 5964350 140735852233072 140095087163384 4399987 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 150064
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 7564
/proc/meminfo: memFree=26093116/32873648 swapFree=6864/6864
[pid=7560] ppid=7558 vsize=150224 CPUtime=25.48 cores=0,2,4,6
/proc/7560/stat : 7560 (wbo1.72) S 7558 7560 7055 0 -1 4202496 32965 0 0 0 2540 8 0 0 20 0 2 0 333595114 153829376 32895 33554432000 4194304 5964350 140735852233072 140735852232592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7560/statm: 37556 32895 193 433 0 37120 0
[pid=7560/tid=7564] ppid=7558 vsize=150224 CPUtime=25.47 cores=0,2,4,6
/proc/7560/task/7564/stat : 7564 (wbo1.72) R 7558 7560 7055 0 -1 4202560 32113 0 0 0 2538 9 0 0 20 0 2 0 333595115 153829376 32895 33554432000 4194304 5964350 140735852233072 140095087163384 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 150224
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 7564
/proc/meminfo: memFree=25994800/32873648 swapFree=6864/6864
[pid=7560] ppid=7558 vsize=216000 CPUtime=51.07 cores=0,2,4,6
/proc/7560/stat : 7560 (wbo1.72) S 7558 7560 7055 0 -1 4202496 45595 0 0 0 5096 11 0 0 20 0 2 0 333595114 221184000 45525 33554432000 4194304 5964350 140735852233072 140735852232592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7560/statm: 54000 45525 193 433 0 53564 0
[pid=7560/tid=7564] ppid=7558 vsize=216000 CPUtime=51.07 cores=0,2,4,6
/proc/7560/task/7564/stat : 7564 (wbo1.72) R 7558 7560 7055 0 -1 4202560 44743 0 0 0 5095 12 0 0 20 0 2 0 333595115 221184000 45525 33554432000 4194304 5964350 140735852233072 140095087163384 4400035 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 216000
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 7566
/proc/meminfo: memFree=25837500/32873648 swapFree=6864/6864
[pid=7560] ppid=7558 vsize=281824 CPUtime=102.28 cores=0,2,4,6
/proc/7560/stat : 7560 (wbo1.72) S 7558 7560 7055 0 -1 4202496 65306 0 0 0 10211 17 0 0 20 0 2 0 333595114 288587776 65236 33554432000 4194304 5964350 140735852233072 140735852232592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7560/statm: 70456 65236 193 433 0 70020 0
[pid=7560/tid=7564] ppid=7558 vsize=281824 CPUtime=102.28 cores=0,2,4,6
/proc/7560/task/7564/stat : 7564 (wbo1.72) R 7558 7560 7055 0 -1 4202560 64454 0 0 0 10209 19 0 0 20 0 2 0 333595115 288587776 65236 33554432000 4194304 5964350 140735852233072 140095087163384 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 281824
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 7566
/proc/meminfo: memFree=25693340/32873648 swapFree=6864/6864
[pid=7560] ppid=7558 vsize=413184 CPUtime=162.25 cores=0,2,4,6
/proc/7560/stat : 7560 (wbo1.72) S 7558 7560 7055 0 -1 4202496 83660 0 0 0 16203 22 0 0 20 0 2 0 333595114 423100416 83579 33554432000 4194304 5964350 140735852233072 140735852232592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7560/statm: 103296 83579 193 433 0 102860 0
[pid=7560/tid=7564] ppid=7558 vsize=413184 CPUtime=162.27 cores=0,2,4,6
/proc/7560/task/7564/stat : 7564 (wbo1.72) R 7558 7560 7055 0 -1 4202560 82808 0 0 0 16202 25 0 0 20 0 2 0 333595115 423100416 83579 33554432000 4194304 5964350 140735852233072 140095087163384 4400017 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 413184
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 7566
/proc/meminfo: memFree=25609488/32873648 swapFree=6864/6864
[pid=7560] ppid=7558 vsize=413400 CPUtime=222.21 cores=0,2,4,6
/proc/7560/stat : 7560 (wbo1.72) S 7558 7560 7055 0 -1 4202496 92945 0 0 0 22197 24 0 0 20 0 2 0 333595114 423321600 92854 33554432000 4194304 5964350 140735852233072 140735852232592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7560/statm: 103350 92854 193 433 0 102914 0
[pid=7560/tid=7564] ppid=7558 vsize=413400 CPUtime=222.24 cores=0,2,4,6
/proc/7560/task/7564/stat : 7564 (wbo1.72) R 7558 7560 7055 0 -1 4202560 92093 0 0 0 22196 28 0 0 20 0 2 0 333595115 423321600 92854 33554432000 4194304 5964350 140735852233072 140095087163384 4399958 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 413400
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 7566
/proc/meminfo: memFree=25605300/32873648 swapFree=6864/6864
[pid=7560] ppid=7558 vsize=413760 CPUtime=282.16 cores=0,2,4,6
/proc/7560/stat : 7560 (wbo1.72) S 7558 7560 7055 0 -1 4202496 94988 0 0 0 28191 25 0 0 20 0 2 0 333595114 423690240 94768 33554432000 4194304 5964350 140735852233072 140735852232592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7560/statm: 103440 94768 193 433 0 103004 0
[pid=7560/tid=7564] ppid=7558 vsize=413760 CPUtime=282.21 cores=0,2,4,6
/proc/7560/task/7564/stat : 7564 (wbo1.72) R 7558 7560 7055 0 -1 4202560 94136 0 0 0 28191 30 0 0 20 0 2 0 333595115 423690240 94768 33554432000 4194304 5964350 140735852233072 140095087163384 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 413760
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/180 7569
/proc/meminfo: memFree=25558228/32873648 swapFree=6864/6864
[pid=7560] ppid=7558 vsize=411884 CPUtime=342.12 cores=0,2,4,6
/proc/7560/stat : 7560 (wbo1.72) S 7558 7560 7055 0 -1 4202496 99572 0 0 0 34186 26 0 0 20 0 2 0 333595114 421769216 99418 33554432000 4194304 5964350 140735852233072 140735852232592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7560/statm: 102971 99418 197 433 0 102535 0
[pid=7560/tid=7564] ppid=7558 vsize=411884 CPUtime=342.18 cores=0,2,4,6
/proc/7560/task/7564/stat : 7564 (wbo1.72) R 7558 7560 7055 0 -1 4202560 98720 0 0 0 34186 32 0 0 20 0 2 0 333595115 421769216 99418 33554432000 4194304 5964350 140735852233072 140095087164344 4400035 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 411884
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 7569
/proc/meminfo: memFree=25458184/32873648 swapFree=6864/6864
[pid=7560] ppid=7558 vsize=411884 CPUtime=402.11 cores=0,2,4,6
/proc/7560/stat : 7560 (wbo1.72) S 7558 7560 7055 0 -1 4202496 99577 0 0 0 40185 26 0 0 20 0 2 0 333595114 421769216 99614 33554432000 4194304 5964350 140735852233072 140735852232592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7560/statm: 102971 99614 197 433 0 102535 0
[pid=7560/tid=7564] ppid=7558 vsize=411884 CPUtime=402.18 cores=0,2,4,6
/proc/7560/task/7564/stat : 7564 (wbo1.72) R 7558 7560 7055 0 -1 4202560 98725 0 0 0 40185 33 0 0 20 0 2 0 333595115 421769216 99614 33554432000 4194304 5964350 140735852233072 140095087164344 4399996 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 411884
Solver just ended. Dumping a history of the last processes samples
[startup+403.1 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 7570
/proc/meminfo: memFree=25458184/32873648 swapFree=6864/6864
[pid=7560] ppid=7558 vsize=411884 CPUtime=402.91 cores=0,2,4,6
/proc/7560/stat : 7560 (wbo1.72) S 7558 7560 7055 0 -1 4202496 99577 0 0 0 40265 26 0 0 20 0 2 0 333595114 421769216 99614 33554432000 4194304 5964350 140735852233072 140735852232592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7560/statm: 102971 99614 197 433 0 102535 0
[pid=7560/tid=7564] ppid=7558 vsize=411884 CPUtime=402.98 cores=0,2,4,6
/proc/7560/task/7564/stat : 7564 (wbo1.72) R 7558 7560 7055 0 -1 4202560 98725 0 0 0 40265 33 0 0 20 0 2 0 333595115 421769216 99614 33554432000 4194304 5964350 140735852233072 140095087164344 4381372 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.91
Current children cumulated vsize (KiB) 411884
[startup+406.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 7570
/proc/meminfo: memFree=25458300/32873648 swapFree=6864/6864
[pid=7560] ppid=7558 vsize=411884 CPUtime=406.12 cores=0,2,4,6
/proc/7560/stat : 7560 (wbo1.72) S 7558 7560 7055 0 -1 4202496 99582 0 0 0 40585 27 0 0 20 0 2 0 333595114 421769216 99619 33554432000 4194304 5964350 140735852233072 140735852232592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7560/statm: 102971 99619 197 433 0 102535 0
[pid=7560/tid=7564] ppid=7558 vsize=411884 CPUtime=406.18 cores=0,2,4,6
/proc/7560/task/7564/stat : 7564 (wbo1.72) R 7558 7560 7055 0 -1 4202560 98730 0 0 0 40585 33 0 0 20 0 2 0 333595115 421769216 99619 33554432000 4194304 5964350 140735852233072 140095087164344 4400017 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 406.12
Current children cumulated vsize (KiB) 411884
[startup+409.5 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 7570
/proc/meminfo: memFree=25458036/32873648 swapFree=6864/6864
[pid=7560] ppid=7558 vsize=411884 CPUtime=409.32 cores=0,2,4,6
/proc/7560/stat : 7560 (wbo1.72) S 7558 7560 7055 0 -1 4202496 99582 0 0 0 40905 27 0 0 20 0 2 0 333595114 421769216 99619 33554432000 4194304 5964350 140735852233072 140735852232592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7560/statm: 102971 99619 197 433 0 102535 0
[pid=7560/tid=7564] ppid=7558 vsize=411884 CPUtime=409.38 cores=0,2,4,6
/proc/7560/task/7564/stat : 7564 (wbo1.72) R 7558 7560 7055 0 -1 4202560 98730 0 0 0 40905 33 0 0 20 0 2 0 333595115 421769216 99619 33554432000 4194304 5964350 140735852233072 140095087164344 4399843 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 409.32
Current children cumulated vsize (KiB) 411884
[startup+410.307 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 7570
/proc/meminfo: memFree=25458036/32873648 swapFree=6864/6864
[pid=7560] ppid=7558 vsize=411884 CPUtime=410.13 cores=0,2,4,6
/proc/7560/stat : 7560 (wbo1.72) S 7558 7560 7055 0 -1 4202496 99582 0 0 0 40986 27 0 0 20 0 2 0 333595114 421769216 99619 33554432000 4194304 5964350 140735852233072 140735852232592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7560/statm: 102971 99619 197 433 0 102535 0
[pid=7560/tid=7564] ppid=7558 vsize=411884 CPUtime=410.19 cores=0,2,4,6
/proc/7560/task/7564/stat : 7564 (wbo1.72) R 7558 7560 7055 0 -1 4202560 98730 0 0 0 40986 33 0 0 20 0 2 0 333595115 421769216 99619 33554432000 4194304 5964350 140735852233072 140095087164344 4399987 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 410.13
Current children cumulated vsize (KiB) 411884
[startup+411.1 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 7570
/proc/meminfo: memFree=25458036/32873648 swapFree=6864/6864
[pid=7560] ppid=7558 vsize=411884 CPUtime=410.92 cores=0,2,4,6
/proc/7560/stat : 7560 (wbo1.72) S 7558 7560 7055 0 -1 4202496 99582 0 0 0 41065 27 0 0 20 0 2 0 333595114 421769216 99619 33554432000 4194304 5964350 140735852233072 140735852232592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7560/statm: 102971 99619 197 433 0 102535 0
[pid=7560/tid=7564] ppid=7558 vsize=411884 CPUtime=410.98 cores=0,2,4,6
/proc/7560/task/7564/stat : 7564 (wbo1.72) R 7558 7560 7055 0 -1 4202560 98730 0 0 0 41065 33 0 0 20 0 2 0 333595115 421769216 99619 33554432000 4194304 5964350 140735852233072 140095087164344 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 410.92
Current children cumulated vsize (KiB) 411884
[startup+411.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 7570
/proc/meminfo: memFree=25458036/32873648 swapFree=6864/6864
[pid=7560] ppid=7558 vsize=411884 CPUtime=411.13 cores=0,2,4,6
/proc/7560/stat : 7560 (wbo1.72) S 7558 7560 7055 0 -1 4202496 99582 0 0 0 41086 27 0 0 20 0 2 0 333595114 421769216 99619 33554432000 4194304 5964350 140735852233072 140735852232592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7560/statm: 102971 99619 197 433 0 102535 0
[pid=7560/tid=7564] ppid=7558 vsize=411884 CPUtime=411.19 cores=0,2,4,6
/proc/7560/task/7564/stat : 7564 (wbo1.72) R 7558 7560 7055 0 -1 4202560 98730 0 0 0 41086 33 0 0 20 0 2 0 333595115 421769216 99619 33554432000 4194304 5964350 140735852233072 140095087164344 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 411.13
Current children cumulated vsize (KiB) 411884
[startup+411.407 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 7570
/proc/meminfo: memFree=25458036/32873648 swapFree=6864/6864
[pid=7560] ppid=7558 vsize=411884 CPUtime=411.23 cores=0,2,4,6
/proc/7560/stat : 7560 (wbo1.72) S 7558 7560 7055 0 -1 4202496 99582 0 0 0 41096 27 0 0 20 0 2 0 333595114 421769216 99619 33554432000 4194304 5964350 140735852233072 140735852232592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7560/statm: 102971 99619 197 433 0 102535 0
[pid=7560/tid=7564] ppid=7558 vsize=411884 CPUtime=411.29 cores=0,2,4,6
/proc/7560/task/7564/stat : 7564 (wbo1.72) R 7558 7560 7055 0 -1 4202560 98730 0 0 0 41096 33 0 0 20 0 2 0 333595115 421769216 99619 33554432000 4194304 5964350 140735852233072 140095087164344 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 411.23
Current children cumulated vsize (KiB) 411884
Child status: 255
Real time (s): 411.458
CPU time (s): 411.361
CPU user time (s): 411.015
CPU system time (s): 0.346947
CPU usage (%): 99.9764
Max. virtual memory (cumulated for all children) (KiB): 414084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 411.015
system time used= 0.346947
maximum resident set size= 398488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99585
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= 158
involuntary context switches= 463
runsolver used 1.39279 second user time and 4.08538 second system time
The end