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-3727252-1338669564/watcher-3727252-1338669564 -o /tmp/evaluation-result-3727252-1338669564/solver-3727252-1338669564 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727252-1338669564.opb
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.24 3/172 18469
/proc/meminfo: memFree=27762092/32873844 swapFree=7628/7628
[pid=18469] ppid=18467 vsize=4692 CPUtime=0 cores=0,2,4,6
/proc/18469/stat : 18469 (wbo1.72) R 18467 18469 17860 0 -1 4202496 525 0 0 0 0 0 0 0 20 0 1 0 333081350 4804608 478 33554432000 4194304 5964350 140736488514240 140735989268632 5179632 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/18469/statm: 1173 489 160 433 0 634 0
[startup+0.100854 s]
/proc/loadavg: 2.00 2.00 2.24 3/172 18469
/proc/meminfo: memFree=27762092/32873844 swapFree=7628/7628
[pid=18469] ppid=18467 vsize=86536 CPUtime=0.09 cores=0,2,4,6
/proc/18469/stat : 18469 (wbo1.72) S 18467 18469 17860 0 -1 4202496 2576 0 0 0 9 0 0 0 20 0 2 0 333081350 88612864 2312 33554432000 4194304 5964350 140736488514240 140736488513760 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18469/statm: 21634 2312 186 433 0 21198 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 86536
[startup+0.20028 s]
/proc/loadavg: 2.00 2.00 2.24 3/172 18469
/proc/meminfo: memFree=27762092/32873844 swapFree=7628/7628
[pid=18469] ppid=18467 vsize=86536 CPUtime=0.19 cores=0,2,4,6
/proc/18469/stat : 18469 (wbo1.72) S 18467 18469 17860 0 -1 4202496 2718 0 0 0 19 0 0 0 20 0 2 0 333081350 88612864 2454 33554432000 4194304 5964350 140736488514240 140736488513760 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18469/statm: 21634 2454 186 433 0 21198 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 86536
[startup+0.30025 s]
/proc/loadavg: 2.00 2.00 2.24 3/172 18469
/proc/meminfo: memFree=27762092/32873844 swapFree=7628/7628
[pid=18469] ppid=18467 vsize=86536 CPUtime=0.29 cores=0,2,4,6
/proc/18469/stat : 18469 (wbo1.72) S 18467 18469 17860 0 -1 4202496 2844 0 0 0 29 0 0 0 20 0 2 0 333081350 88612864 2580 33554432000 4194304 5964350 140736488514240 140736488513760 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18469/statm: 21634 2580 186 433 0 21198 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 86536
[startup+0.700228 s]
/proc/loadavg: 2.00 2.00 2.24 3/172 18469
/proc/meminfo: memFree=27762092/32873844 swapFree=7628/7628
[pid=18469] ppid=18467 vsize=86536 CPUtime=0.69 cores=0,2,4,6
/proc/18469/stat : 18469 (wbo1.72) S 18467 18469 17860 0 -1 4202496 3324 0 0 0 69 0 0 0 20 0 2 0 333081350 88612864 3060 33554432000 4194304 5964350 140736488514240 140736488513760 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18469/statm: 21634 3060 186 433 0 21198 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 86536
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.24 3/179 18481
/proc/meminfo: memFree=27734444/32873844 swapFree=7628/7628
[pid=18469] ppid=18467 vsize=86536 CPUtime=1.49 cores=0,2,4,6
/proc/18469/stat : 18469 (wbo1.72) S 18467 18469 17860 0 -1 4202496 4335 0 0 0 149 0 0 0 20 0 2 0 333081350 88612864 4071 33554432000 4194304 5964350 140736488514240 140736488513760 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18469/statm: 21634 4071 186 433 0 21198 0
[pid=18469/tid=18480] ppid=18467 vsize=86536 CPUtime=1.44 cores=0,2,4,6
/proc/18469/task/18480/stat : 18480 (wbo1.72) R 18467 18469 17860 0 -1 4202560 2838 0 0 0 144 0 0 0 20 0 2 0 333081354 88612864 4071 33554432000 4194304 5964350 140736488514240 139666843981624 5136340 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 86536
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.24 3/179 18481
/proc/meminfo: memFree=27724648/32873844 swapFree=7628/7628
[pid=18469] ppid=18467 vsize=86536 CPUtime=3.08 cores=0,2,4,6
/proc/18469/stat : 18469 (wbo1.72) S 18467 18469 17860 0 -1 4202496 5053 0 0 0 308 0 0 0 20 0 2 0 333081350 88612864 4789 33554432000 4194304 5964350 140736488514240 140736488513760 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18469/statm: 21634 4789 186 433 0 21198 0
[pid=18469/tid=18480] ppid=18467 vsize=86536 CPUtime=3.04 cores=0,2,4,6
/proc/18469/task/18480/stat : 18480 (wbo1.72) R 18467 18469 17860 0 -1 4202560 3556 0 0 0 304 0 0 0 20 0 2 0 333081354 88612864 4789 33554432000 4194304 5964350 140736488514240 139666843981624 4399835 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 86536
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.24 3/179 18481
/proc/meminfo: memFree=27713248/32873844 swapFree=7628/7628
[pid=18469] ppid=18467 vsize=86536 CPUtime=6.29 cores=0,2,4,6
/proc/18469/stat : 18469 (wbo1.72) S 18467 18469 17860 0 -1 4202496 6716 0 0 0 628 1 0 0 20 0 2 0 333081350 88612864 6452 33554432000 4194304 5964350 140736488514240 140736488513760 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18469/statm: 21634 6452 186 433 0 21198 0
[pid=18469/tid=18480] ppid=18467 vsize=86536 CPUtime=6.24 cores=0,2,4,6
/proc/18469/task/18480/stat : 18480 (wbo1.72) R 18467 18469 17860 0 -1 4202560 5219 0 0 0 623 1 0 0 20 0 2 0 333081354 88612864 6452 33554432000 4194304 5964350 140736488514240 139666843981752 4381928 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 86536
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.24 3/179 18481
/proc/meminfo: memFree=27684140/32873844 swapFree=7628/7628
[pid=18469] ppid=18467 vsize=86536 CPUtime=12.68 cores=0,2,4,6
/proc/18469/stat : 18469 (wbo1.72) S 18467 18469 17860 0 -1 4202496 9594 0 0 0 1266 2 0 0 20 0 2 0 333081350 88612864 9337 33554432000 4194304 5964350 140736488514240 140736488513760 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18469/statm: 21634 9337 186 433 0 21198 0
[pid=18469/tid=18480] ppid=18467 vsize=86536 CPUtime=12.64 cores=0,2,4,6
/proc/18469/task/18480/stat : 18480 (wbo1.72) R 18467 18469 17860 0 -1 4202560 8097 0 0 0 1261 3 0 0 20 0 2 0 333081354 88612864 9337 33554432000 4194304 5964350 140736488514240 139666843981816 4400007 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) 86536
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.24 3/179 18481
/proc/meminfo: memFree=27653156/32873844 swapFree=7628/7628
[pid=18469] ppid=18467 vsize=86860 CPUtime=25.48 cores=0,2,4,6
/proc/18469/stat : 18469 (wbo1.72) S 18467 18469 17860 0 -1 4202496 13976 0 0 0 2544 4 0 0 20 0 2 0 333081350 88944640 13711 33554432000 4194304 5964350 140736488514240 140736488513760 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18469/statm: 21715 13711 186 433 0 21279 0
[pid=18469/tid=18480] ppid=18467 vsize=86860 CPUtime=25.43 cores=0,2,4,6
/proc/18469/task/18480/stat : 18480 (wbo1.72) R 18467 18469 17860 0 -1 4202560 12479 0 0 0 2539 4 0 0 20 0 2 0 333081354 88944640 13711 33554432000 4194304 5964350 140736488514240 139666843981816 4400011 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) 86860
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.23 3/179 18484
/proc/meminfo: memFree=27582624/32873844 swapFree=7628/7628
[pid=18469] ppid=18467 vsize=152556 CPUtime=51.05 cores=0,2,4,6
/proc/18469/stat : 18469 (wbo1.72) S 18467 18469 17860 0 -1 4202496 25752 0 0 0 5097 8 0 0 20 0 2 0 333081350 156217344 26485 33554432000 4194304 5964350 140736488514240 140736488513760 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18469/statm: 38139 26485 186 433 0 37703 0
[pid=18469/tid=18480] ppid=18467 vsize=152556 CPUtime=51.02 cores=0,2,4,6
/proc/18469/task/18480/stat : 18480 (wbo1.72) R 18467 18469 17860 0 -1 4202560 24255 0 0 0 5093 9 0 0 20 0 2 0 333081354 156217344 26485 33554432000 4194304 5964350 140736488514240 139666843981816 4381640 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 152556
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.21 3/179 18485
/proc/meminfo: memFree=27514296/32873844 swapFree=7628/7628
[pid=18469] ppid=18467 vsize=152796 CPUtime=102.26 cores=0,2,4,6
/proc/18469/stat : 18469 (wbo1.72) S 18467 18469 17860 0 -1 4202496 32242 0 0 0 10215 11 0 0 20 0 2 0 333081350 156463104 32975 33554432000 4194304 5964350 140736488514240 140736488513760 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18469/statm: 38199 32975 186 433 0 37763 0
[pid=18469/tid=18480] ppid=18467 vsize=152796 CPUtime=102.23 cores=0,2,4,6
/proc/18469/task/18480/stat : 18480 (wbo1.72) R 18467 18469 17860 0 -1 4202560 30745 0 0 0 10210 13 0 0 20 0 2 0 333081354 156463104 32975 33554432000 4194304 5964350 140736488514240 139666843981624 4400011 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 152796
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.20 3/179 18485
/proc/meminfo: memFree=27505484/32873844 swapFree=7628/7628
[pid=18469] ppid=18467 vsize=152796 CPUtime=162.21 cores=0,2,4,6
/proc/18469/stat : 18469 (wbo1.72) S 18467 18469 17860 0 -1 4202496 32398 0 0 0 16210 11 0 0 20 0 2 0 333081350 156463104 33134 33554432000 4194304 5964350 140736488514240 140736488513760 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18469/statm: 38199 33134 186 433 0 37763 0
[pid=18469/tid=18480] ppid=18467 vsize=152796 CPUtime=162.19 cores=0,2,4,6
/proc/18469/task/18480/stat : 18480 (wbo1.72) R 18467 18469 17860 0 -1 4202560 30901 0 0 0 16205 14 0 0 20 0 2 0 333081354 156463104 33134 33554432000 4194304 5964350 140736488514240 139666843981624 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 152796
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.18 3/179 18485
/proc/meminfo: memFree=27466176/32873844 swapFree=7628/7628
[pid=18469] ppid=18467 vsize=218332 CPUtime=222.2 cores=0,2,4,6
/proc/18469/stat : 18469 (wbo1.72) S 18467 18469 17860 0 -1 4202496 37875 0 0 0 22206 14 0 0 20 0 2 0 333081350 223571968 38611 33554432000 4194304 5964350 140736488514240 140736488513760 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18469/statm: 54583 38611 186 433 0 54147 0
[pid=18469/tid=18480] ppid=18467 vsize=218332 CPUtime=222.2 cores=0,2,4,6
/proc/18469/task/18480/stat : 18480 (wbo1.72) R 18467 18469 17860 0 -1 4202560 36378 0 0 0 22202 18 0 0 20 0 2 0 333081354 223571968 38611 33554432000 4194304 5964350 140736488514240 139666843981816 4400011 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 218332
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.17 3/179 18485
/proc/meminfo: memFree=27453912/32873844 swapFree=7628/7628
[pid=18469] ppid=18467 vsize=218332 CPUtime=282.19 cores=0,2,4,6
/proc/18469/stat : 18469 (wbo1.72) S 18467 18469 17860 0 -1 4202496 40432 0 0 0 28203 16 0 0 20 0 2 0 333081350 223571968 41168 33554432000 4194304 5964350 140736488514240 140736488513760 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18469/statm: 54583 41168 186 433 0 54147 0
[pid=18469/tid=18480] ppid=18467 vsize=218332 CPUtime=282.2 cores=0,2,4,6
/proc/18469/task/18480/stat : 18480 (wbo1.72) R 18467 18469 17860 0 -1 4202560 38935 0 0 0 28200 20 0 0 20 0 2 0 333081354 223571968 41168 33554432000 4194304 5964350 140736488514240 139666843981624 4400007 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 218332
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.16 3/179 18485
/proc/meminfo: memFree=27433056/32873844 swapFree=7628/7628
[pid=18469] ppid=18467 vsize=218332 CPUtime=342.17 cores=0,2,4,6
/proc/18469/stat : 18469 (wbo1.72) S 18467 18469 17860 0 -1 4202496 40968 0 0 0 34201 16 0 0 20 0 2 0 333081350 223571968 41812 33554432000 4194304 5964350 140736488514240 140736488513760 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18469/statm: 54583 41812 186 433 0 54147 0
[pid=18469/tid=18480] ppid=18467 vsize=218332 CPUtime=342.19 cores=0,2,4,6
/proc/18469/task/18480/stat : 18480 (wbo1.72) R 18467 18469 17860 0 -1 4202560 39471 0 0 0 34198 21 0 0 20 0 2 0 333081354 223571968 41812 33554432000 4194304 5964350 140736488514240 139666843981624 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 218332
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.14 3/179 18486
/proc/meminfo: memFree=27378052/32873844 swapFree=7628/7628
[pid=18469] ppid=18467 vsize=218332 CPUtime=402.15 cores=0,2,4,6
/proc/18469/stat : 18469 (wbo1.72) S 18467 18469 17860 0 -1 4202496 47035 0 0 0 40196 19 0 0 20 0 2 0 333081350 223571968 47916 33554432000 4194304 5964350 140736488514240 140736488513760 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18469/statm: 54583 47916 186 433 0 54147 0
[pid=18469/tid=18480] ppid=18467 vsize=218332 CPUtime=402.19 cores=0,2,4,6
/proc/18469/task/18480/stat : 18480 (wbo1.72) R 18467 18469 17860 0 -1 4202560 45538 0 0 0 40193 26 0 0 20 0 2 0 333081354 223571968 47916 33554432000 4194304 5964350 140736488514240 139666843981816 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 218332
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.13 3/179 18486
/proc/meminfo: memFree=27360940/32873844 swapFree=7628/7628
[pid=18469] ppid=18467 vsize=218332 CPUtime=462.14 cores=0,2,4,6
################
# More data... #
################
/proc/18469/task/18480/stat : 18480 (wbo1.72) R 18467 18469 17860 0 -1 4202560 90778 0 0 0 124156 62 0 0 20 0 2 0 333081354 425930752 93552 33554432000 4194304 5964350 140736488514240 139666843981624 4400007 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 415948
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/180 18518
/proc/meminfo: memFree=27046572/32873844 swapFree=7628/7628
[pid=18469] ppid=18467 vsize=415948 CPUtime=1301.95 cores=0,2,4,6
/proc/18469/stat : 18469 (wbo1.72) S 18467 18469 17860 0 -1 4202496 92295 0 0 0 130152 43 0 0 20 0 2 0 333081350 425930752 93724 33554432000 4194304 5964350 140736488514240 140736488513760 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18469/statm: 103987 93724 186 433 0 103551 0
[pid=18469/tid=18480] ppid=18467 vsize=415948 CPUtime=1302.17 cores=0,2,4,6
/proc/18469/task/18480/stat : 18480 (wbo1.72) R 18467 18469 17860 0 -1 4202560 90798 0 0 0 130154 63 0 0 20 0 2 0 333081354 425930752 93724 33554432000 4194304 5964350 140736488514240 139666843981624 4400007 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 415948
[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.04 3/179 18518
/proc/meminfo: memFree=27046064/32873844 swapFree=7628/7628
[pid=18469] ppid=18467 vsize=415948 CPUtime=1361.92 cores=0,2,4,6
/proc/18469/stat : 18469 (wbo1.72) S 18467 18469 17860 0 -1 4202496 92319 0 0 0 136149 43 0 0 20 0 2 0 333081350 425930752 93893 33554432000 4194304 5964350 140736488514240 140736488513760 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18469/statm: 103987 93893 186 433 0 103551 0
[pid=18469/tid=18480] ppid=18467 vsize=415948 CPUtime=1362.15 cores=0,2,4,6
/proc/18469/task/18480/stat : 18480 (wbo1.72) R 18467 18469 17860 0 -1 4202560 90822 0 0 0 136151 64 0 0 20 0 2 0 333081354 425930752 93893 33554432000 4194304 5964350 140736488514240 139666843981624 4399987 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 415948
[startup+1422.3 s]
/proc/loadavg: 2.01 2.01 2.03 3/179 18518
/proc/meminfo: memFree=27045940/32873844 swapFree=7628/7628
[pid=18469] ppid=18467 vsize=415948 CPUtime=1421.92 cores=0,2,4,6
/proc/18469/stat : 18469 (wbo1.72) S 18467 18469 17860 0 -1 4202496 92319 0 0 0 142149 43 0 0 20 0 2 0 333081350 425930752 93893 33554432000 4194304 5964350 140736488514240 140736488513760 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18469/statm: 103987 93893 186 433 0 103551 0
[pid=18469/tid=18480] ppid=18467 vsize=415948 CPUtime=1422.16 cores=0,2,4,6
/proc/18469/task/18480/stat : 18480 (wbo1.72) R 18467 18469 17860 0 -1 4202560 90822 0 0 0 142151 65 0 0 20 0 2 0 333081354 425930752 93893 33554432000 4194304 5964350 140736488514240 139666843981624 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 415948
[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 2.03 3/179 18518
/proc/meminfo: memFree=27045940/32873844 swapFree=7628/7628
[pid=18469] ppid=18467 vsize=415948 CPUtime=1481.91 cores=0,2,4,6
/proc/18469/stat : 18469 (wbo1.72) S 18467 18469 17860 0 -1 4202496 92319 0 0 0 148148 43 0 0 20 0 2 0 333081350 425930752 93893 33554432000 4194304 5964350 140736488514240 140736488513760 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18469/statm: 103987 93893 186 433 0 103551 0
[pid=18469/tid=18480] ppid=18467 vsize=415948 CPUtime=1482.16 cores=0,2,4,6
/proc/18469/task/18480/stat : 18480 (wbo1.72) R 18467 18469 17860 0 -1 4202560 90822 0 0 0 148150 66 0 0 20 0 2 0 333081354 425930752 93893 33554432000 4194304 5964350 140736488514240 139666843981624 4400003 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 415948
[startup+1542.31 s]
/proc/loadavg: 2.03 2.01 2.03 3/179 18518
/proc/meminfo: memFree=27025724/32873844 swapFree=7628/7628
[pid=18469] ppid=18467 vsize=415948 CPUtime=1541.9 cores=0,2,4,6
/proc/18469/stat : 18469 (wbo1.72) S 18467 18469 17860 0 -1 4202496 92319 0 0 0 154147 43 0 0 20 0 2 0 333081350 425930752 93893 33554432000 4194304 5964350 140736488514240 140736488513760 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18469/statm: 103987 93893 186 433 0 103551 0
[pid=18469/tid=18480] ppid=18467 vsize=415948 CPUtime=1542.17 cores=0,2,4,6
/proc/18469/task/18480/stat : 18480 (wbo1.72) R 18467 18469 17860 0 -1 4202560 90822 0 0 0 154150 67 0 0 20 0 2 0 333081354 425930752 93893 33554432000 4194304 5964350 140736488514240 139666843981624 4399989 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 415948
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.02 3/179 18519
/proc/meminfo: memFree=27016700/32873844 swapFree=7628/7628
[pid=18469] ppid=18467 vsize=415948 CPUtime=1601.89 cores=0,2,4,6
/proc/18469/stat : 18469 (wbo1.72) S 18467 18469 17860 0 -1 4202496 92319 0 0 0 160146 43 0 0 20 0 2 0 333081350 425930752 93893 33554432000 4194304 5964350 140736488514240 140736488513760 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18469/statm: 103987 93893 186 433 0 103551 0
[pid=18469/tid=18480] ppid=18467 vsize=415948 CPUtime=1602.16 cores=0,2,4,6
/proc/18469/task/18480/stat : 18480 (wbo1.72) R 18467 18469 17860 0 -1 4202560 90822 0 0 0 160148 68 0 0 20 0 2 0 333081354 425930752 93893 33554432000 4194304 5964350 140736488514240 139666843981624 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 415948
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 18519
/proc/meminfo: memFree=26998472/32873844 swapFree=7628/7628
[pid=18469] ppid=18467 vsize=416272 CPUtime=1661.88 cores=0,2,4,6
/proc/18469/stat : 18469 (wbo1.72) S 18467 18469 17860 0 -1 4202496 96933 0 0 0 166142 46 0 0 20 0 2 0 333081350 426262528 98506 33554432000 4194304 5964350 140736488514240 140736488513760 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18469/statm: 104068 98506 186 433 0 103632 0
[pid=18469/tid=18480] ppid=18467 vsize=416272 CPUtime=1662.17 cores=0,2,4,6
/proc/18469/task/18480/stat : 18480 (wbo1.72) R 18467 18469 17860 0 -1 4202560 95436 0 0 0 166145 72 0 0 20 0 2 0 333081354 426262528 98506 33554432000 4194304 5964350 140736488514240 139666843981624 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 416272
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 18519
/proc/meminfo: memFree=26986996/32873844 swapFree=7628/7628
[pid=18469] ppid=18467 vsize=481808 CPUtime=1721.87 cores=0,2,4,6
/proc/18469/stat : 18469 (wbo1.72) S 18467 18469 17860 0 -1 4202496 99700 0 0 0 172139 48 0 0 20 0 2 0 333081350 493371392 101329 33554432000 4194304 5964350 140736488514240 140736488513760 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18469/statm: 120452 101329 186 433 0 120016 0
[pid=18469/tid=18480] ppid=18467 vsize=481808 CPUtime=1722.17 cores=0,2,4,6
/proc/18469/task/18480/stat : 18480 (wbo1.72) R 18467 18469 17860 0 -1 4202560 98203 0 0 0 172142 75 0 0 20 0 2 0 333081354 493371392 101329 33554432000 4194304 5964350 140736488514240 139666843981816 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 481808
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18519
/proc/meminfo: memFree=26985852/32873844 swapFree=7628/7628
[pid=18469] ppid=18467 vsize=481808 CPUtime=1781.84 cores=0,2,4,6
/proc/18469/stat : 18469 (wbo1.72) S 18467 18469 17860 0 -1 4202496 99715 0 0 0 178136 48 0 0 20 0 2 0 333081350 493371392 101496 33554432000 4194304 5964350 140736488514240 140736488513760 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18469/statm: 120452 101496 186 433 0 120016 0
[pid=18469/tid=18480] ppid=18467 vsize=481808 CPUtime=1782.16 cores=0,2,4,6
/proc/18469/task/18480/stat : 18480 (wbo1.72) R 18467 18469 17860 0 -1 4202560 98218 0 0 0 178140 76 0 0 20 0 2 0 333081354 493371392 101496 33554432000 4194304 5964350 140736488514240 139666843981816 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 481808
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18519
/proc/meminfo: memFree=26986224/32873844 swapFree=7628/7628
[pid=18469] ppid=18467 vsize=481808 CPUtime=1791.55 cores=0,2,4,6
/proc/18469/stat : 18469 (wbo1.72) S 18467 18469 17860 0 -1 4202496 99722 0 0 0 179107 48 0 0 20 0 2 0 333081350 493371392 101503 33554432000 4194304 5964350 140736488514240 140736488513760 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18469/statm: 120452 101503 186 433 0 120016 0
[pid=18469/tid=18480] ppid=18467 vsize=481808 CPUtime=1791.86 cores=0,2,4,6
/proc/18469/task/18480/stat : 18480 (wbo1.72) R 18467 18469 17860 0 -1 4202560 98225 0 0 0 179110 76 0 0 20 0 2 0 333081354 493371392 101503 33554432000 4194304 5964350 140736488514240 139666843981816 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (KiB) 481808
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18519
/proc/meminfo: memFree=26986224/32873844 swapFree=7628/7628
[pid=18469] ppid=18467 vsize=481808 CPUtime=1794.75 cores=0,2,4,6
/proc/18469/stat : 18469 (wbo1.72) S 18467 18469 17860 0 -1 4202496 99722 0 0 0 179427 48 0 0 20 0 2 0 333081350 493371392 101503 33554432000 4194304 5964350 140736488514240 140736488513760 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18469/statm: 120452 101503 186 433 0 120016 0
[pid=18469/tid=18480] ppid=18467 vsize=481808 CPUtime=1795.06 cores=0,2,4,6
/proc/18469/task/18480/stat : 18480 (wbo1.72) R 18467 18469 17860 0 -1 4202560 98225 0 0 0 179430 76 0 0 20 0 2 0 333081354 493371392 101503 33554432000 4194304 5964350 140736488514240 139666843981816 4399846 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.75
Current children cumulated vsize (KiB) 481808
[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18519
/proc/meminfo: memFree=26986224/32873844 swapFree=7628/7628
[pid=18469] ppid=18467 vsize=481808 CPUtime=1797.94 cores=0,2,4,6
/proc/18469/stat : 18469 (wbo1.72) S 18467 18469 17860 0 -1 4202496 99722 0 0 0 179746 48 0 0 20 0 2 0 333081350 493371392 101503 33554432000 4194304 5964350 140736488514240 140736488513760 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18469/statm: 120452 101503 186 433 0 120016 0
[pid=18469/tid=18480] ppid=18467 vsize=481808 CPUtime=1798.26 cores=0,2,4,6
/proc/18469/task/18480/stat : 18480 (wbo1.72) R 18467 18469 17860 0 -1 4202560 98225 0 0 0 179750 76 0 0 20 0 2 0 333081354 493371392 101503 33554432000 4194304 5964350 140736488514240 139666843981816 4400011 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 481808
[startup+1799.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18519
/proc/meminfo: memFree=26986224/32873844 swapFree=7628/7628
[pid=18469] ppid=18467 vsize=481808 CPUtime=1798.74 cores=0,2,4,6
/proc/18469/stat : 18469 (wbo1.72) S 18467 18469 17860 0 -1 4202496 99722 0 0 0 179826 48 0 0 20 0 2 0 333081350 493371392 101503 33554432000 4194304 5964350 140736488514240 140736488513760 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18469/statm: 120452 101503 186 433 0 120016 0
[pid=18469/tid=18480] ppid=18467 vsize=481808 CPUtime=1799.06 cores=0,2,4,6
/proc/18469/task/18480/stat : 18480 (wbo1.72) R 18467 18469 17860 0 -1 4202560 98225 0 0 0 179830 76 0 0 20 0 2 0 333081354 493371392 101503 33554432000 4194304 5964350 140736488514240 139666843981816 4400007 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.74
Current children cumulated vsize (KiB) 481808
[startup+1799.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18519
/proc/meminfo: memFree=26986224/32873844 swapFree=7628/7628
[pid=18469] ppid=18467 vsize=481808 CPUtime=1799.15 cores=0,2,4,6
/proc/18469/stat : 18469 (wbo1.72) S 18467 18469 17860 0 -1 4202496 99722 0 0 0 179867 48 0 0 20 0 2 0 333081350 493371392 101503 33554432000 4194304 5964350 140736488514240 140736488513760 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18469/statm: 120452 101503 186 433 0 120016 0
[pid=18469/tid=18480] ppid=18467 vsize=481808 CPUtime=1799.46 cores=0,2,4,6
/proc/18469/task/18480/stat : 18480 (wbo1.72) R 18467 18469 17860 0 -1 4202560 98225 0 0 0 179870 76 0 0 20 0 2 0 333081354 493371392 101503 33554432000 4194304 5964350 140736488514240 139666843981816 4400035 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.15
Current children cumulated vsize (KiB) 481808
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18519
/proc/meminfo: memFree=26986224/32873844 swapFree=7628/7628
[pid=18469] ppid=18467 vsize=481808 CPUtime=1799.54 cores=0,2,4,6
/proc/18469/stat : 18469 (wbo1.72) S 18467 18469 17860 0 -1 4202496 99722 0 0 0 179906 48 0 0 20 0 2 0 333081350 493371392 101503 33554432000 4194304 5964350 140736488514240 140736488513760 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18469/statm: 120452 101503 186 433 0 120016 0
[pid=18469/tid=18480] ppid=18467 vsize=481808 CPUtime=1799.86 cores=0,2,4,6
/proc/18469/task/18480/stat : 18480 (wbo1.72) R 18467 18469 17860 0 -1 4202560 98225 0 0 0 179910 76 0 0 20 0 2 0 333081354 493371392 101503 33554432000 4194304 5964350 140736488514240 139666843981816 4400007 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.54
Current children cumulated vsize (KiB) 481808
Child status: 255
Real time (s): 1800
CPU time (s): 1799.92
CPU user time (s): 1799.15
CPU system time (s): 0.773882
CPU usage (%): 99.9954
Max. virtual memory (cumulated for all children) (KiB): 481808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.15
system time used= 0.773882
maximum resident set size= 406024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99725
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= 183
involuntary context switches= 2045
runsolver used 2.84957 second user time and 6.97194 second system time
The end