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-3705232-1338100572/watcher-3705232-1338100572 -o /tmp/evaluation-result-3705232-1338100572/solver-3705232-1338100572 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705232-1338100572.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23097
/proc/meminfo: memFree=29204596/32873844 swapFree=6856/6856
[pid=23097] ppid=23095 vsize=3368 CPUtime=0 cores=1,3,5,7
/proc/23097/stat : 23097 (wbo1.7) R 23095 23097 21940 0 -1 4202496 341 0 0 0 0 0 0 0 20 0 1 0 276182107 3448832 293 33554432000 4194304 5963574 140735921384496 140735263161992 4343959 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23097/statm: 842 293 170 432 0 383 0
[startup+0.0715561 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23097
/proc/meminfo: memFree=29204596/32873844 swapFree=6856/6856
[pid=23097] ppid=23095 vsize=83932 CPUtime=0.06 cores=1,3,5,7
/proc/23097/stat : 23097 (wbo1.7) S 23095 23097 21940 0 -1 4202496 1160 0 0 0 6 0 0 0 20 0 2 0 276182107 85946368 1080 33554432000 4194304 5963574 140735921384496 140735921384016 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23097/statm: 20983 1080 188 432 0 20548 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 83932
[startup+0.100161 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23097
/proc/meminfo: memFree=29204596/32873844 swapFree=6856/6856
[pid=23097] ppid=23095 vsize=83932 CPUtime=0.09 cores=1,3,5,7
/proc/23097/stat : 23097 (wbo1.7) S 23095 23097 21940 0 -1 4202496 1190 0 0 0 9 0 0 0 20 0 2 0 276182107 85946368 1096 33554432000 4194304 5963574 140735921384496 140735921384016 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23097/statm: 20983 1096 188 432 0 20548 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83932
[startup+0.300113 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23097
/proc/meminfo: memFree=29204596/32873844 swapFree=6856/6856
[pid=23097] ppid=23095 vsize=83932 CPUtime=0.29 cores=1,3,5,7
/proc/23097/stat : 23097 (wbo1.7) S 23095 23097 21940 0 -1 4202496 1465 0 0 0 29 0 0 0 20 0 2 0 276182107 85946368 1317 33554432000 4194304 5963574 140735921384496 140735921384016 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23097/statm: 20983 1317 192 432 0 20548 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83932
[startup+0.700112 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23097
/proc/meminfo: memFree=29204596/32873844 swapFree=6856/6856
[pid=23097] ppid=23095 vsize=83932 CPUtime=0.68 cores=1,3,5,7
/proc/23097/stat : 23097 (wbo1.7) S 23095 23097 21940 0 -1 4202496 2118 0 0 0 68 0 0 0 20 0 2 0 276182107 85946368 1970 33554432000 4194304 5963574 140735921384496 140735921384016 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23097/statm: 20983 1970 192 432 0 20548 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 83932
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23099
/proc/meminfo: memFree=29192832/32873844 swapFree=6856/6856
[pid=23097] ppid=23095 vsize=83932 CPUtime=1.49 cores=1,3,5,7
/proc/23097/stat : 23097 (wbo1.7) S 23095 23097 21940 0 -1 4202496 2729 0 0 0 148 1 0 0 20 0 2 0 276182107 85946368 2581 33554432000 4194304 5963574 140735921384496 140735921384016 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23097/statm: 20983 2581 192 432 0 20548 0
[pid=23097/tid=23099] ppid=23095 vsize=83932 CPUtime=1.47 cores=1,3,5,7
/proc/23097/task/23099/stat : 23099 (wbo1.7) R 23095 23097 21940 0 -1 4202560 1917 0 0 0 147 0 0 0 20 0 2 0 276182108 85946368 2581 33554432000 4194304 5963574 140735921384496 140420843903336 4403160 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83932
[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23099
/proc/meminfo: memFree=29188600/32873844 swapFree=6856/6856
[pid=23097] ppid=23095 vsize=84076 CPUtime=3.09 cores=1,3,5,7
/proc/23097/stat : 23097 (wbo1.7) S 23095 23097 21940 0 -1 4202496 3967 0 0 0 308 1 0 0 20 0 2 0 276182107 86093824 3819 33554432000 4194304 5963574 140735921384496 140735921384016 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23097/statm: 21019 3819 192 432 0 20584 0
[pid=23097/tid=23099] ppid=23095 vsize=84076 CPUtime=3.07 cores=1,3,5,7
/proc/23097/task/23099/stat : 23099 (wbo1.7) R 23095 23097 21940 0 -1 4202560 3155 0 0 0 306 1 0 0 20 0 2 0 276182108 86093824 3819 33554432000 4194304 5963574 140735921384496 140420843902776 4399603 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84076
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23099
/proc/meminfo: memFree=29172604/32873844 swapFree=6856/6856
[pid=23097] ppid=23095 vsize=84148 CPUtime=6.28 cores=1,3,5,7
/proc/23097/stat : 23097 (wbo1.7) S 23095 23097 21940 0 -1 4202496 5574 0 0 0 627 1 0 0 20 0 2 0 276182107 86167552 5426 33554432000 4194304 5963574 140735921384496 140735921384016 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23097/statm: 21037 5426 192 432 0 20602 0
[pid=23097/tid=23099] ppid=23095 vsize=84148 CPUtime=6.28 cores=1,3,5,7
/proc/23097/task/23099/stat : 23099 (wbo1.7) R 23095 23097 21940 0 -1 4202560 4762 0 0 0 626 2 0 0 20 0 2 0 276182108 86167552 5426 33554432000 4194304 5963574 140735921384496 140420843902968 4399937 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84148
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23099
/proc/meminfo: memFree=29147424/32873844 swapFree=6856/6856
[pid=23097] ppid=23095 vsize=84256 CPUtime=12.68 cores=1,3,5,7
/proc/23097/stat : 23097 (wbo1.7) S 23095 23097 21940 0 -1 4202496 12312 0 0 0 1265 3 0 0 20 0 2 0 276182107 86278144 12164 33554432000 4194304 5963574 140735921384496 140735921384016 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23097/statm: 21064 12164 192 432 0 20629 0
[pid=23097/tid=23099] ppid=23095 vsize=84256 CPUtime=12.68 cores=1,3,5,7
/proc/23097/task/23099/stat : 23099 (wbo1.7) R 23095 23097 21940 0 -1 4202560 11500 0 0 0 1264 4 0 0 20 0 2 0 276182108 86278144 12164 33554432000 4194304 5963574 140735921384496 140420843902776 4399623 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84256
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23099
/proc/meminfo: memFree=29087896/32873844 swapFree=6856/6856
[pid=23097] ppid=23095 vsize=149792 CPUtime=25.48 cores=1,3,5,7
/proc/23097/stat : 23097 (wbo1.7) S 23095 23097 21940 0 -1 4202496 20571 0 0 0 2542 6 0 0 20 0 2 0 276182107 153387008 20423 33554432000 4194304 5963574 140735921384496 140735921384016 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23097/statm: 37448 20423 192 432 0 37013 0
[pid=23097/tid=23099] ppid=23095 vsize=149792 CPUtime=25.47 cores=1,3,5,7
/proc/23097/task/23099/stat : 23099 (wbo1.7) R 23095 23097 21940 0 -1 4202560 19759 0 0 0 2540 7 0 0 20 0 2 0 276182108 153387008 20423 33554432000 4194304 5963574 140735921384496 140420843902776 4399623 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 149792
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23139
/proc/meminfo: memFree=29140236/32873844 swapFree=6856/6856
[pid=23097] ppid=23095 vsize=149952 CPUtime=51.07 cores=1,3,5,7
/proc/23097/stat : 23097 (wbo1.7) S 23095 23097 21940 0 -1 4202496 27306 0 0 0 5098 9 0 0 20 0 2 0 276182107 153550848 27162 33554432000 4194304 5963574 140735921384496 140735921384016 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23097/statm: 37488 27162 192 432 0 37053 0
[pid=23097/tid=23099] ppid=23095 vsize=149952 CPUtime=51.07 cores=1,3,5,7
/proc/23097/task/23099/stat : 23099 (wbo1.7) R 23095 23097 21940 0 -1 4202560 26494 0 0 0 5097 10 0 0 20 0 2 0 276182108 153550848 27162 33554432000 4194304 5963574 140735921384496 140420843902968 4403048 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 149952
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23139
/proc/meminfo: memFree=29067556/32873844 swapFree=6856/6856
[pid=23097] ppid=23095 vsize=216160 CPUtime=102.23 cores=1,3,5,7
/proc/23097/stat : 23097 (wbo1.7) S 23095 23097 21940 0 -1 4202496 36407 0 0 0 10211 12 0 0 20 0 2 0 276182107 221347840 36307 33554432000 4194304 5963574 140735921384496 140735921384016 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23097/statm: 54040 36307 192 432 0 53605 0
[pid=23097/tid=23099] ppid=23095 vsize=216160 CPUtime=102.24 cores=1,3,5,7
/proc/23097/task/23099/stat : 23099 (wbo1.7) R 23095 23097 21940 0 -1 4202560 35595 0 0 0 10210 14 0 0 20 0 2 0 276182108 221347840 36307 33554432000 4194304 5963574 140735921384496 140420843902776 4399623 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 216160
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23139
/proc/meminfo: memFree=28930096/32873844 swapFree=6856/6856
[pid=23097] ppid=23095 vsize=282704 CPUtime=162.21 cores=1,3,5,7
/proc/23097/stat : 23097 (wbo1.7) S 23095 23097 21940 0 -1 4202496 56182 0 0 0 16198 23 0 0 20 0 2 0 276182107 289488896 56278 33554432000 4194304 5963574 140735921384496 140735921384016 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23097/statm: 70676 56278 192 432 0 70241 0
[pid=23097/tid=23099] ppid=23095 vsize=282704 CPUtime=162.23 cores=1,3,5,7
/proc/23097/task/23099/stat : 23099 (wbo1.7) R 23095 23097 21940 0 -1 4202560 55370 0 0 0 16197 26 0 0 20 0 2 0 276182108 289488896 56278 33554432000 4194304 5963574 140735921384496 140420843902776 4399603 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 282704
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23139
/proc/meminfo: memFree=28873104/32873844 swapFree=6856/6856
[pid=23097] ppid=23095 vsize=285800 CPUtime=222.2 cores=1,3,5,7
/proc/23097/stat : 23097 (wbo1.7) S 23095 23097 21940 0 -1 4202496 62125 0 0 0 22194 26 0 0 20 0 2 0 276182107 292659200 62221 33554432000 4194304 5963574 140735921384496 140735921384016 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23097/statm: 71450 62221 192 432 0 71015 0
[pid=23097/tid=23099] ppid=23095 vsize=285800 CPUtime=222.23 cores=1,3,5,7
/proc/23097/task/23099/stat : 23099 (wbo1.7) R 23095 23097 21940 0 -1 4202560 61313 0 0 0 22194 29 0 0 20 0 2 0 276182108 292659200 62221 33554432000 4194304 5963574 140735921384496 140420843902776 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 285800
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23142
/proc/meminfo: memFree=28793500/32873844 swapFree=6856/6856
[pid=23097] ppid=23095 vsize=358768 CPUtime=282.17 cores=1,3,5,7
/proc/23097/stat : 23097 (wbo1.7) S 23095 23097 21940 0 -1 4202496 74443 0 0 0 28187 30 0 0 20 0 2 0 276182107 367378432 74663 33554432000 4194304 5963574 140735921384496 140735921384016 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23097/statm: 89692 74663 192 432 0 89257 0
[pid=23097/tid=23099] ppid=23095 vsize=358768 CPUtime=282.21 cores=1,3,5,7
/proc/23097/task/23099/stat : 23099 (wbo1.7) R 23095 23097 21940 0 -1 4202560 73631 0 0 0 28186 35 0 0 20 0 2 0 276182108 367378432 74663 33554432000 4194304 5963574 140735921384496 140420843902968 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 358768
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23143
/proc/meminfo: memFree=28759016/32873844 swapFree=6856/6856
[pid=23097] ppid=23095 vsize=358912 CPUtime=342.12 cores=1,3,5,7
/proc/23097/stat : 23097 (wbo1.7) S 23095 23097 21940 0 -1 4202496 74814 0 0 0 34182 30 0 0 20 0 2 0 276182107 367525888 75132 33554432000 4194304 5963574 140735921384496 140735921384016 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23097/statm: 89728 75132 192 432 0 89293 0
[pid=23097/tid=23099] ppid=23095 vsize=358912 CPUtime=342.17 cores=1,3,5,7
/proc/23097/task/23099/stat : 23099 (wbo1.7) R 23095 23097 21940 0 -1 4202560 74002 0 0 0 34181 36 0 0 20 0 2 0 276182108 367525888 75132 33554432000 4194304 5963574 140735921384496 140420843902776 4222416 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 358912
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23143
/proc/meminfo: memFree=28664880/32873844 swapFree=6856/6856
[pid=23097] ppid=23095 vsize=425384 CPUtime=402.11 cores=1,3,5,7
/proc/23097/stat : 23097 (wbo1.7) S 23095 23097 21940 0 -1 4202496 89857 0 0 0 40174 37 0 0 20 0 2 0 276182107 435593216 90674 33554432000 4194304 5963574 140735921384496 140735921384016 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23097/statm: 106346 90674 192 432 0 105911 0
[pid=23097/tid=23099] ppid=23095 vsize=425384 CPUtime=402.17 cores=1,3,5,7
/proc/23097/task/23099/stat : 23099 (wbo1.7) R 23095 23097 21940 0 -1 4202560 89045 0 0 0 40173 44 0 0 20 0 2 0 276182108 435593216 90674 33554432000 4194304 5963574 140735921384496 140420843902776 4399522 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 425384
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23143
/proc/meminfo: memFree=28623308/32873844 swapFree=6856/6856
[pid=23097] ppid=23095 vsize=429936 CPUtime=462.09 cores=1,3,5,7
################
# More data... #
################
/proc/23097/task/23099/stat : 23099 (wbo1.7) R 23095 23097 21940 0 -1 4202560 127582 0 0 0 130134 79 0 0 20 0 2 0 276182108 557371392 123134 33554432000 4194304 5963574 140735921384496 140420843902840 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 544308
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 23149
/proc/meminfo: memFree=28183580/32873844 swapFree=6856/6856
[pid=23097] ppid=23095 vsize=544308 CPUtime=1361.88 cores=1,3,5,7
/proc/23097/stat : 23097 (wbo1.7) S 23095 23097 21940 0 -1 4202496 128875 0 0 0 136129 59 0 0 20 0 2 0 276182107 557371392 123615 33554432000 4194304 5963574 140735921384496 140735921384016 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23097/statm: 136077 123615 192 432 0 135642 0
[pid=23097/tid=23099] ppid=23095 vsize=544308 CPUtime=1362.13 cores=1,3,5,7
/proc/23097/task/23099/stat : 23099 (wbo1.7) R 23095 23097 21940 0 -1 4202560 128063 0 0 0 136133 80 0 0 20 0 2 0 276182108 557371392 123615 33554432000 4194304 5963574 140735921384496 140420843902776 4399605 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 544308
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23149
/proc/meminfo: memFree=28118108/32873844 swapFree=6856/6856
[pid=23097] ppid=23095 vsize=544308 CPUtime=1421.87 cores=1,3,5,7
/proc/23097/stat : 23097 (wbo1.7) S 23095 23097 21940 0 -1 4202496 129313 0 0 0 142128 59 0 0 20 0 2 0 276182107 557371392 124052 33554432000 4194304 5963574 140735921384496 140735921384016 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23097/statm: 136077 124052 192 432 0 135642 0
[pid=23097/tid=23099] ppid=23095 vsize=544308 CPUtime=1422.14 cores=1,3,5,7
/proc/23097/task/23099/stat : 23099 (wbo1.7) R 23095 23097 21940 0 -1 4202560 128501 0 0 0 142133 81 0 0 20 0 2 0 276182108 557371392 124052 33554432000 4194304 5963574 140735921384496 140420843902776 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 544308
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23152
/proc/meminfo: memFree=28070892/32873844 swapFree=6856/6856
[pid=23097] ppid=23095 vsize=609844 CPUtime=1481.86 cores=1,3,5,7
/proc/23097/stat : 23097 (wbo1.7) S 23095 23097 21940 0 -1 4202496 141066 0 0 0 148120 66 0 0 20 0 2 0 276182107 624480256 135802 33554432000 4194304 5963574 140735921384496 140735921384016 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23097/statm: 152461 135802 192 432 0 152026 0
[pid=23097/tid=23099] ppid=23095 vsize=609844 CPUtime=1482.13 cores=1,3,5,7
/proc/23097/task/23099/stat : 23099 (wbo1.7) R 23095 23097 21940 0 -1 4202560 140254 0 0 0 148124 89 0 0 20 0 2 0 276182108 624480256 135802 33554432000 4194304 5963574 140735921384496 140420843902776 4399627 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 609844
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23175
/proc/meminfo: memFree=28038288/32873844 swapFree=6856/6856
[pid=23097] ppid=23095 vsize=609844 CPUtime=1541.85 cores=1,3,5,7
/proc/23097/stat : 23097 (wbo1.7) S 23095 23097 21940 0 -1 4202496 148925 0 0 0 154115 70 0 0 20 0 2 0 276182107 624480256 143655 33554432000 4194304 5963574 140735921384496 140735921384016 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23097/statm: 152461 143655 192 432 0 152026 0
[pid=23097/tid=23099] ppid=23095 vsize=609844 CPUtime=1542.13 cores=1,3,5,7
/proc/23097/task/23099/stat : 23099 (wbo1.7) R 23095 23097 21940 0 -1 4202560 148113 0 0 0 154119 94 0 0 20 0 2 0 276182108 624480256 143655 33554432000 4194304 5963574 140735921384496 140420843902968 5135572 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 609844
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 23176
/proc/meminfo: memFree=28021548/32873844 swapFree=6856/6856
[pid=23097] ppid=23095 vsize=609844 CPUtime=1601.84 cores=1,3,5,7
/proc/23097/stat : 23097 (wbo1.7) S 23095 23097 21940 0 -1 4202496 152866 0 0 0 160112 72 0 0 20 0 2 0 276182107 624480256 147591 33554432000 4194304 5963574 140735921384496 140735921384016 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23097/statm: 152461 147591 192 432 0 152026 0
[pid=23097/tid=23099] ppid=23095 vsize=609844 CPUtime=1602.13 cores=1,3,5,7
/proc/23097/task/23099/stat : 23099 (wbo1.7) R 23095 23097 21940 0 -1 4202560 152054 0 0 0 160116 97 0 0 20 0 2 0 276182108 624480256 147591 33554432000 4194304 5963574 140735921384496 140420843902840 4399639 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 609844
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 23176
/proc/meminfo: memFree=27993524/32873844 swapFree=6856/6856
[pid=23097] ppid=23095 vsize=675380 CPUtime=1661.83 cores=1,3,5,7
/proc/23097/stat : 23097 (wbo1.7) S 23095 23097 21940 0 -1 4202496 159950 0 0 0 166107 76 0 0 20 0 2 0 276182107 691589120 154619 33554432000 4194304 5963574 140735921384496 140735921384016 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23097/statm: 168845 154619 192 432 0 168410 0
[pid=23097/tid=23099] ppid=23095 vsize=675380 CPUtime=1662.14 cores=1,3,5,7
/proc/23097/task/23099/stat : 23099 (wbo1.7) R 23095 23097 21940 0 -1 4202560 159138 0 0 0 166112 102 0 0 20 0 2 0 276182108 691589120 154619 33554432000 4194304 5963574 140735921384496 140420843902776 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 675380
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23176
/proc/meminfo: memFree=27979388/32873844 swapFree=6856/6856
[pid=23097] ppid=23095 vsize=675380 CPUtime=1721.82 cores=1,3,5,7
/proc/23097/stat : 23097 (wbo1.7) S 23095 23097 21940 0 -1 4202496 163319 0 0 0 172104 78 0 0 20 0 2 0 276182107 691589120 157988 33554432000 4194304 5963574 140735921384496 140735921384016 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23097/statm: 168845 157988 192 432 0 168410 0
[pid=23097/tid=23099] ppid=23095 vsize=675380 CPUtime=1722.14 cores=1,3,5,7
/proc/23097/task/23099/stat : 23099 (wbo1.7) R 23095 23097 21940 0 -1 4202560 162507 0 0 0 172109 105 0 0 20 0 2 0 276182108 691589120 157988 33554432000 4194304 5963574 140735921384496 140420843902776 4399462 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 675380
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 23176
/proc/meminfo: memFree=27975752/32873844 swapFree=6856/6856
[pid=23097] ppid=23095 vsize=675380 CPUtime=1781.82 cores=1,3,5,7
/proc/23097/stat : 23097 (wbo1.7) S 23095 23097 21940 0 -1 4202496 164080 0 0 0 178103 79 0 0 20 0 2 0 276182107 691589120 158748 33554432000 4194304 5963574 140735921384496 140735921384016 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23097/statm: 168845 158748 192 432 0 168410 0
[pid=23097/tid=23099] ppid=23095 vsize=675380 CPUtime=1782.14 cores=1,3,5,7
/proc/23097/task/23099/stat : 23099 (wbo1.7) R 23095 23097 21940 0 -1 4202560 163268 0 0 0 178108 106 0 0 20 0 2 0 276182108 691589120 158748 33554432000 4194304 5963574 140735921384496 140420843902776 4399614 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 675380
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 23176
/proc/meminfo: memFree=27975364/32873844 swapFree=6856/6856
[pid=23097] ppid=23095 vsize=675380 CPUtime=1791.42 cores=1,3,5,7
/proc/23097/stat : 23097 (wbo1.7) S 23095 23097 21940 0 -1 4202496 164181 0 0 0 179063 79 0 0 20 0 2 0 276182107 691589120 158849 33554432000 4194304 5963574 140735921384496 140735921384016 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23097/statm: 168845 158849 192 432 0 168410 0
[pid=23097/tid=23099] ppid=23095 vsize=675380 CPUtime=1791.75 cores=1,3,5,7
/proc/23097/task/23099/stat : 23099 (wbo1.7) R 23095 23097 21940 0 -1 4202560 163369 0 0 0 179069 106 0 0 20 0 2 0 276182108 691589120 158849 33554432000 4194304 5963574 140735921384496 140420843902776 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 675380
[startup+1795.1 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 23176
/proc/meminfo: memFree=27974992/32873844 swapFree=6856/6856
[pid=23097] ppid=23095 vsize=675380 CPUtime=1794.62 cores=1,3,5,7
/proc/23097/stat : 23097 (wbo1.7) S 23095 23097 21940 0 -1 4202496 164267 0 0 0 179383 79 0 0 20 0 2 0 276182107 691589120 158935 33554432000 4194304 5963574 140735921384496 140735921384016 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23097/statm: 168845 158935 192 432 0 168410 0
[pid=23097/tid=23099] ppid=23095 vsize=675380 CPUtime=1794.95 cores=1,3,5,7
/proc/23097/task/23099/stat : 23099 (wbo1.7) R 23095 23097 21940 0 -1 4202560 163455 0 0 0 179389 106 0 0 20 0 2 0 276182108 691589120 158935 33554432000 4194304 5963574 140735921384496 140420843902776 4400068 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (KiB) 675380
[startup+1798.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 23176
/proc/meminfo: memFree=27974368/32873844 swapFree=6856/6856
[pid=23097] ppid=23095 vsize=675380 CPUtime=1797.81 cores=1,3,5,7
/proc/23097/stat : 23097 (wbo1.7) S 23095 23097 21940 0 -1 4202496 164352 0 0 0 179702 79 0 0 20 0 2 0 276182107 691589120 159020 33554432000 4194304 5963574 140735921384496 140735921384016 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23097/statm: 168845 159020 192 432 0 168410 0
[pid=23097/tid=23099] ppid=23095 vsize=675380 CPUtime=1798.14 cores=1,3,5,7
/proc/23097/task/23099/stat : 23099 (wbo1.7) R 23095 23097 21940 0 -1 4202560 163540 0 0 0 179708 106 0 0 20 0 2 0 276182108 691589120 159020 33554432000 4194304 5963574 140735921384496 140420843902776 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 675380
[startup+1799.1 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 23176
/proc/meminfo: memFree=27974616/32873844 swapFree=6856/6856
[pid=23097] ppid=23095 vsize=675380 CPUtime=1798.61 cores=1,3,5,7
/proc/23097/stat : 23097 (wbo1.7) S 23095 23097 21940 0 -1 4202496 164352 0 0 0 179782 79 0 0 20 0 2 0 276182107 691589120 159020 33554432000 4194304 5963574 140735921384496 140735921384016 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23097/statm: 168845 159020 192 432 0 168410 0
[pid=23097/tid=23099] ppid=23095 vsize=675380 CPUtime=1798.94 cores=1,3,5,7
/proc/23097/task/23099/stat : 23099 (wbo1.7) R 23095 23097 21940 0 -1 4202560 163540 0 0 0 179788 106 0 0 20 0 2 0 276182108 691589120 159020 33554432000 4194304 5963574 140735921384496 140420843902776 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1798.61
Current children cumulated vsize (KiB) 675380
[startup+1799.5 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 23176
/proc/meminfo: memFree=27974616/32873844 swapFree=6856/6856
[pid=23097] ppid=23095 vsize=675380 CPUtime=1799.02 cores=1,3,5,7
/proc/23097/stat : 23097 (wbo1.7) S 23095 23097 21940 0 -1 4202496 164352 0 0 0 179823 79 0 0 20 0 2 0 276182107 691589120 159020 33554432000 4194304 5963574 140735921384496 140735921384016 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23097/statm: 168845 159020 192 432 0 168410 0
[pid=23097/tid=23099] ppid=23095 vsize=675380 CPUtime=1799.35 cores=1,3,5,7
/proc/23097/task/23099/stat : 23099 (wbo1.7) R 23095 23097 21940 0 -1 4202560 163540 0 0 0 179829 106 0 0 20 0 2 0 276182108 691589120 159020 33554432000 4194304 5963574 140735921384496 140420843902776 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.02
Current children cumulated vsize (KiB) 675380
[startup+1799.9 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 23176
/proc/meminfo: memFree=27974616/32873844 swapFree=6856/6856
[pid=23097] ppid=23095 vsize=675380 CPUtime=1799.41 cores=1,3,5,7
/proc/23097/stat : 23097 (wbo1.7) S 23095 23097 21940 0 -1 4202496 164352 0 0 0 179862 79 0 0 20 0 2 0 276182107 691589120 159020 33554432000 4194304 5963574 140735921384496 140735921384016 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23097/statm: 168845 159020 192 432 0 168410 0
[pid=23097/tid=23099] ppid=23095 vsize=675380 CPUtime=1799.74 cores=1,3,5,7
/proc/23097/task/23099/stat : 23099 (wbo1.7) R 23095 23097 21940 0 -1 4202560 163540 0 0 0 179868 106 0 0 20 0 2 0 276182108 691589120 159020 33554432000 4194304 5963574 140735921384496 140420843902776 4400055 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.41
Current children cumulated vsize (KiB) 675380
[startup+1800 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 23176
/proc/meminfo: memFree=27974616/32873844 swapFree=6856/6856
[pid=23097] ppid=23095 vsize=675380 CPUtime=1799.51 cores=1,3,5,7
/proc/23097/stat : 23097 (wbo1.7) S 23095 23097 21940 0 -1 4202496 164352 0 0 0 179872 79 0 0 20 0 2 0 276182107 691589120 159020 33554432000 4194304 5963574 140735921384496 140735921384016 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23097/statm: 168845 159020 192 432 0 168410 0
[pid=23097/tid=23099] ppid=23095 vsize=675380 CPUtime=1799.84 cores=1,3,5,7
/proc/23097/task/23099/stat : 23099 (wbo1.7) R 23095 23097 21940 0 -1 4202560 163540 0 0 0 179878 106 0 0 20 0 2 0 276182108 691589120 159020 33554432000 4194304 5963574 140735921384496 140420843902776 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.51
Current children cumulated vsize (KiB) 675380
Child status: 255
Real time (s): 1800.02
CPU time (s): 1799.88
CPU user time (s): 1798.79
CPU system time (s): 1.08683
CPU usage (%): 99.9924
Max. virtual memory (cumulated for all children) (KiB): 675380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.79
system time used= 1.08683
maximum resident set size= 636080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164352
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= 210
involuntary context switches= 3019
runsolver used 2.67659 second user time and 7.40787 second system time
The end