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-3713170-1338214743/watcher-3713170-1338214743 -o /tmp/evaluation-result-3713170-1338214743/solver-3713170-1338214743 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3713170-1338214743.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 3/177 14169
/proc/meminfo: memFree=28774400/32873844 swapFree=7116/7116
[pid=14169] ppid=14167 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/14169/stat : 14169 (runsolver) D 14167 14169 12215 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 1 0 287599340 12095488 50 33554432000 4194304 5436572 140733404390864 140733404387160 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/14169/statm: 2953 50 31 304 0 2645 0
[startup+0.061279 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14169
/proc/meminfo: memFree=28774400/32873844 swapFree=7116/7116
[pid=14169] ppid=14167 vsize=83652 CPUtime=0.05 cores=0,2,4,6
/proc/14169/stat : 14169 (wbo1.71) S 14167 14169 12215 0 -1 4202496 984 0 0 0 5 0 0 0 20 0 2 0 287599340 85659648 934 33554432000 4194304 5964318 140733294701792 140733294701312 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14169/statm: 20913 934 194 433 0 20477 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 83652
[startup+0.100148 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14169
/proc/meminfo: memFree=28774400/32873844 swapFree=7116/7116
[pid=14169] ppid=14167 vsize=83652 CPUtime=0.09 cores=0,2,4,6
/proc/14169/stat : 14169 (wbo1.71) S 14167 14169 12215 0 -1 4202496 1096 0 0 0 9 0 0 0 20 0 2 0 287599340 85659648 1046 33554432000 4194304 5964318 140733294701792 140733294701312 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14169/statm: 20913 1046 194 433 0 20477 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83652
[startup+0.300112 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14169
/proc/meminfo: memFree=28774400/32873844 swapFree=7116/7116
[pid=14169] ppid=14167 vsize=83652 CPUtime=0.28 cores=0,2,4,6
/proc/14169/stat : 14169 (wbo1.71) S 14167 14169 12215 0 -1 4202496 1508 0 0 0 28 0 0 0 20 0 2 0 287599340 85659648 1458 33554432000 4194304 5964318 140733294701792 140733294701312 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14169/statm: 20913 1458 194 433 0 20477 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 83652
[startup+0.70011 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14169
/proc/meminfo: memFree=28774400/32873844 swapFree=7116/7116
[pid=14169] ppid=14167 vsize=83652 CPUtime=0.68 cores=0,2,4,6
/proc/14169/stat : 14169 (wbo1.71) S 14167 14169 12215 0 -1 4202496 1991 0 0 0 68 0 0 0 20 0 2 0 287599340 85659648 1941 33554432000 4194304 5964318 140733294701792 140733294701312 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14169/statm: 20913 1941 194 433 0 20477 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 83652
[startup+1.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14171
/proc/meminfo: memFree=28766456/32873844 swapFree=7116/7116
[pid=14169] ppid=14167 vsize=83796 CPUtime=1.48 cores=0,2,4,6
/proc/14169/stat : 14169 (wbo1.71) S 14167 14169 12215 0 -1 4202496 2472 0 0 0 147 1 0 0 20 0 2 0 287599340 85807104 2422 33554432000 4194304 5964318 140733294701792 140733294701312 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14169/statm: 20949 2422 194 433 0 20513 0
[pid=14169/tid=14171] ppid=14167 vsize=83796 CPUtime=1.47 cores=0,2,4,6
/proc/14169/task/14171/stat : 14171 (wbo1.71) R 14167 14169 12215 0 -1 4202560 1747 0 0 0 147 0 0 0 20 0 2 0 287599341 85807104 2422 33554432000 4194304 5964318 140733294701792 140287236425528 4399991 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) 83796
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14171
/proc/meminfo: memFree=28764720/32873844 swapFree=7116/7116
[pid=14169] ppid=14167 vsize=83796 CPUtime=3.08 cores=0,2,4,6
/proc/14169/stat : 14169 (wbo1.71) S 14167 14169 12215 0 -1 4202496 2968 0 0 0 307 1 0 0 20 0 2 0 287599340 85807104 2918 33554432000 4194304 5964318 140733294701792 140733294701312 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14169/statm: 20949 2918 194 433 0 20513 0
[pid=14169/tid=14171] ppid=14167 vsize=83796 CPUtime=3.06 cores=0,2,4,6
/proc/14169/task/14171/stat : 14171 (wbo1.71) R 14167 14169 12215 0 -1 4202560 2243 0 0 0 305 1 0 0 20 0 2 0 287599341 85807104 2918 33554432000 4194304 5964318 140733294701792 140287236425528 4399995 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 83796
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14171
/proc/meminfo: memFree=28760000/32873844 swapFree=7116/7116
[pid=14169] ppid=14167 vsize=83868 CPUtime=6.28 cores=0,2,4,6
/proc/14169/stat : 14169 (wbo1.71) S 14167 14169 12215 0 -1 4202496 4604 0 0 0 627 1 0 0 20 0 2 0 287599340 85880832 4554 33554432000 4194304 5964318 140733294701792 140733294701312 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14169/statm: 20967 4554 194 433 0 20531 0
[pid=14169/tid=14171] ppid=14167 vsize=83868 CPUtime=6.26 cores=0,2,4,6
/proc/14169/task/14171/stat : 14171 (wbo1.71) R 14167 14169 12215 0 -1 4202560 3879 0 0 0 625 1 0 0 20 0 2 0 287599341 85880832 4554 33554432000 4194304 5964318 140733294701792 140287236425720 5136324 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) 83868
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14171
/proc/meminfo: memFree=28754808/32873844 swapFree=7116/7116
[pid=14169] ppid=14167 vsize=83652 CPUtime=12.67 cores=0,2,4,6
/proc/14169/stat : 14169 (wbo1.71) S 14167 14169 12215 0 -1 4202496 5052 0 0 0 1266 1 0 0 20 0 2 0 287599340 85659648 4946 33554432000 4194304 5964318 140733294701792 140733294701312 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14169/statm: 20913 4946 198 433 0 20477 0
[pid=14169/tid=14171] ppid=14167 vsize=83652 CPUtime=12.63 cores=0,2,4,6
/proc/14169/task/14171/stat : 14171 (wbo1.71) R 14167 14169 12215 0 -1 4202560 4327 0 0 0 1262 1 0 0 20 0 2 0 287599341 85659648 4946 33554432000 4194304 5964318 140733294701792 140287236425528 4392889 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 83652
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14171
/proc/meminfo: memFree=28744304/32873844 swapFree=7116/7116
[pid=14169] ppid=14167 vsize=83652 CPUtime=25.47 cores=0,2,4,6
/proc/14169/stat : 14169 (wbo1.71) S 14167 14169 12215 0 -1 4202496 7710 0 0 0 2545 2 0 0 20 0 2 0 287599340 85659648 7536 33554432000 4194304 5964318 140733294701792 140733294701312 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14169/statm: 20913 7536 198 433 0 20477 0
[pid=14169/tid=14171] ppid=14167 vsize=83652 CPUtime=25.39 cores=0,2,4,6
/proc/14169/task/14171/stat : 14171 (wbo1.71) R 14167 14169 12215 0 -1 4202560 6985 0 0 0 2537 2 0 0 20 0 2 0 287599341 85659648 7536 33554432000 4194304 5964318 140733294701792 140287236426680 4399991 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 83652
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14171
/proc/meminfo: memFree=28744492/32873844 swapFree=7116/7116
[pid=14169] ppid=14167 vsize=83652 CPUtime=51.07 cores=0,2,4,6
/proc/14169/stat : 14169 (wbo1.71) S 14167 14169 12215 0 -1 4202496 7737 0 0 0 5105 2 0 0 20 0 2 0 287599340 85659648 7509 33554432000 4194304 5964318 140733294701792 140733294701312 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14169/statm: 20913 7509 198 433 0 20477 0
[pid=14169/tid=14171] ppid=14167 vsize=83652 CPUtime=50.93 cores=0,2,4,6
/proc/14169/task/14171/stat : 14171 (wbo1.71) R 14167 14169 12215 0 -1 4202560 7012 0 0 0 5091 2 0 0 20 0 2 0 287599341 85659648 7509 33554432000 4194304 5964318 140733294701792 140287236426264 4399890 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) 83652
[startup+102.306 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 14175
/proc/meminfo: memFree=28732384/32873844 swapFree=7116/7116
[pid=14169] ppid=14167 vsize=83652 CPUtime=102.27 cores=0,2,4,6
/proc/14169/stat : 14169 (wbo1.71) S 14167 14169 12215 0 -1 4202496 9913 0 0 0 10224 3 0 0 20 0 2 0 287599340 85659648 9601 33554432000 4194304 5964318 140733294701792 140733294701312 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14169/statm: 20913 9601 198 433 0 20477 0
[pid=14169/tid=14171] ppid=14167 vsize=83652 CPUtime=102 cores=0,2,4,6
/proc/14169/task/14171/stat : 14171 (wbo1.71) R 14167 14169 12215 0 -1 4202560 9188 0 0 0 10196 4 0 0 20 0 2 0 287599341 85659648 9601 33554432000 4194304 5964318 140733294701792 140287236426264 5122262 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 83652
[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 14175
/proc/meminfo: memFree=28705708/32873844 swapFree=7116/7116
[pid=14169] ppid=14167 vsize=83652 CPUtime=162.25 cores=0,2,4,6
/proc/14169/stat : 14169 (wbo1.71) S 14167 14169 12215 0 -1 4202496 12846 0 0 0 16221 4 0 0 20 0 2 0 287599340 85659648 13032 33554432000 4194304 5964318 140733294701792 140733294701312 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14169/statm: 20913 13032 198 433 0 20477 0
[pid=14169/tid=14171] ppid=14167 vsize=83652 CPUtime=161.83 cores=0,2,4,6
/proc/14169/task/14171/stat : 14171 (wbo1.71) R 14167 14169 12215 0 -1 4202560 12121 0 0 0 16178 5 0 0 20 0 2 0 287599341 85659648 13032 33554432000 4194304 5964318 140733294701792 140287236426088 4399995 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) 83652
[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14175
/proc/meminfo: memFree=28674452/32873844 swapFree=7116/7116
[pid=14169] ppid=14167 vsize=149912 CPUtime=222.24 cores=0,2,4,6
/proc/14169/stat : 14169 (wbo1.71) S 14167 14169 12215 0 -1 4202496 19694 0 0 0 22218 6 0 0 20 0 2 0 287599340 153509888 19934 33554432000 4194304 5964318 140733294701792 140733294701312 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14169/statm: 37478 19934 198 433 0 37042 0
[pid=14169/tid=14171] ppid=14167 vsize=149912 CPUtime=221.67 cores=0,2,4,6
/proc/14169/task/14171/stat : 14171 (wbo1.71) R 14167 14169 12215 0 -1 4202560 18969 0 0 0 22159 8 0 0 20 0 2 0 287599341 153509888 19934 33554432000 4194304 5964318 140733294701792 140287236425592 4399824 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 149912
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14175
/proc/meminfo: memFree=28655880/32873844 swapFree=7116/7116
[pid=14169] ppid=14167 vsize=149912 CPUtime=282.22 cores=0,2,4,6
/proc/14169/stat : 14169 (wbo1.71) S 14167 14169 12215 0 -1 4202496 24284 0 0 0 28214 8 0 0 20 0 2 0 287599340 153509888 24542 33554432000 4194304 5964318 140733294701792 140733294701312 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14169/statm: 37478 24542 198 433 0 37042 0
[pid=14169/tid=14171] ppid=14167 vsize=149912 CPUtime=281.5 cores=0,2,4,6
/proc/14169/task/14171/stat : 14171 (wbo1.71) R 14167 14169 12215 0 -1 4202560 23559 0 0 0 28138 12 0 0 20 0 2 0 287599341 153509888 24542 33554432000 4194304 5964318 140733294701792 140287236425528 4392822 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 149912
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14175
/proc/meminfo: memFree=28629716/32873844 swapFree=7116/7116
[pid=14169] ppid=14167 vsize=150272 CPUtime=342.21 cores=0,2,4,6
/proc/14169/stat : 14169 (wbo1.71) S 14167 14169 12215 0 -1 4202496 30825 0 0 0 34211 10 0 0 20 0 2 0 287599340 153878528 31082 33554432000 4194304 5964318 140733294701792 140733294701312 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14169/statm: 37568 31082 198 433 0 37132 0
[pid=14169/tid=14171] ppid=14167 vsize=150272 CPUtime=341.34 cores=0,2,4,6
/proc/14169/task/14171/stat : 14171 (wbo1.71) R 14167 14169 12215 0 -1 4202560 30100 0 0 0 34119 15 0 0 20 0 2 0 287599341 153878528 31082 33554432000 4194304 5964318 140733294701792 140287236425528 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 150272
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14176
/proc/meminfo: memFree=28610820/32873844 swapFree=7116/7116
[pid=14169] ppid=14167 vsize=215808 CPUtime=402.18 cores=0,2,4,6
/proc/14169/stat : 14169 (wbo1.71) S 14167 14169 12215 0 -1 4202496 35488 0 0 0 40205 13 0 0 20 0 2 0 287599340 220987392 36378 33554432000 4194304 5964318 140733294701792 140733294701312 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14169/statm: 53952 36378 198 433 0 53516 0
[pid=14169/tid=14171] ppid=14167 vsize=215808 CPUtime=401.16 cores=0,2,4,6
/proc/14169/task/14171/stat : 14171 (wbo1.71) R 14167 14169 12215 0 -1 4202560 34763 0 0 0 40097 19 0 0 20 0 2 0 287599341 220987392 36378 33554432000 4194304 5964318 140733294701792 140287236425768 4399873 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 215808
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14177
/proc/meminfo: memFree=28587496/32873844 swapFree=7116/7116
[pid=14169] ppid=14167 vsize=219428 CPUtime=462.17 cores=0,2,4,6
################
# More data... #
################
[startup+642.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 14177
/proc/meminfo: memFree=28535180/32873844 swapFree=7116/7116
[pid=14169] ppid=14167 vsize=223048 CPUtime=642.14 cores=0,2,4,6
/proc/14169/stat : 14169 (wbo1.71) S 14167 14169 12215 0 -1 4202496 47688 0 0 0 64194 20 0 0 20 0 2 0 287599340 228401152 49175 33554432000 4194304 5964318 140733294701792 140733294701312 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14169/statm: 55762 49175 198 433 0 55326 0
[pid=14169/tid=14171] ppid=14167 vsize=223048 CPUtime=640.52 cores=0,2,4,6
/proc/14169/task/14171/stat : 14171 (wbo1.71) R 14167 14169 12215 0 -1 4202560 46963 0 0 0 64023 29 0 0 20 0 2 0 287599341 228401152 49175 33554432000 4194304 5964318 140733294701792 140287236425528 4399824 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 223048
[startup+702.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 14181
/proc/meminfo: memFree=28510608/32873844 swapFree=7116/7116
[pid=14169] ppid=14167 vsize=292204 CPUtime=702.13 cores=0,2,4,6
/proc/14169/stat : 14169 (wbo1.71) S 14167 14169 12215 0 -1 4202496 52614 0 0 0 70189 24 0 0 20 0 2 0 287599340 299216896 53781 33554432000 4194304 5964318 140733294701792 140733294701312 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14169/statm: 73051 53782 198 433 0 72615 0
[pid=14169/tid=14171] ppid=14167 vsize=292204 CPUtime=700.36 cores=0,2,4,6
/proc/14169/task/14171/stat : 14171 (wbo1.71) R 14167 14169 12215 0 -1 4202560 51890 0 0 0 70003 33 0 0 20 0 2 0 287599341 299216896 53782 33554432000 4194304 5964318 140733294701792 140287236425592 4400442 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 702.13
Current children cumulated vsize (KiB) 292204
[startup+762.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14181
/proc/meminfo: memFree=28494864/32873844 swapFree=7116/7116
[pid=14169] ppid=14167 vsize=292744 CPUtime=762.12 cores=0,2,4,6
/proc/14169/stat : 14169 (wbo1.71) S 14167 14169 12215 0 -1 4202496 54397 0 0 0 76187 25 0 0 20 0 2 0 287599340 299769856 55560 33554432000 4194304 5964318 140733294701792 140733294701312 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14169/statm: 73186 55560 198 433 0 72750 0
[pid=14169/tid=14171] ppid=14167 vsize=292744 CPUtime=760.21 cores=0,2,4,6
/proc/14169/task/14171/stat : 14171 (wbo1.71) R 14167 14169 12215 0 -1 4202560 53672 0 0 0 75985 36 0 0 20 0 2 0 287599341 299769856 55560 33554432000 4194304 5964318 140733294701792 140287236425720 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 762.12
Current children cumulated vsize (KiB) 292744
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14181
/proc/meminfo: memFree=28474444/32873844 swapFree=7116/7116
[pid=14169] ppid=14167 vsize=295640 CPUtime=822.09 cores=0,2,4,6
/proc/14169/stat : 14169 (wbo1.71) S 14167 14169 12215 0 -1 4202496 57503 0 0 0 82182 27 0 0 20 0 2 0 287599340 302735360 58896 33554432000 4194304 5964318 140733294701792 140733294701312 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14169/statm: 73910 58896 198 433 0 73474 0
[pid=14169/tid=14171] ppid=14167 vsize=295640 CPUtime=820.04 cores=0,2,4,6
/proc/14169/task/14171/stat : 14171 (wbo1.71) R 14167 14169 12215 0 -1 4202560 56778 0 0 0 81965 39 0 0 20 0 2 0 287599341 302735360 58896 33554432000 4194304 5964318 140733294701792 140287236425528 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 295640
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14181
/proc/meminfo: memFree=28473808/32873844 swapFree=7116/7116
[pid=14169] ppid=14167 vsize=280260 CPUtime=882.08 cores=0,2,4,6
/proc/14169/stat : 14169 (wbo1.71) S 14167 14169 12215 0 -1 4202496 60738 0 0 0 88179 29 0 0 20 0 2 0 287599340 286986240 58511 33554432000 4194304 5964318 140733294701792 140733294701312 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14169/statm: 70065 58511 198 433 0 69629 0
[pid=14169/tid=14171] ppid=14167 vsize=280260 CPUtime=879.88 cores=0,2,4,6
/proc/14169/task/14171/stat : 14171 (wbo1.71) R 14167 14169 12215 0 -1 4202560 60013 0 0 0 87946 42 0 0 20 0 2 0 287599341 286986240 58511 33554432000 4194304 5964318 140733294701792 140287236426680 4399993 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 280260
[startup+942.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 14181
/proc/meminfo: memFree=28470204/32873844 swapFree=7116/7116
[pid=14169] ppid=14167 vsize=280260 CPUtime=942.07 cores=0,2,4,6
/proc/14169/stat : 14169 (wbo1.71) S 14167 14169 12215 0 -1 4202496 60762 0 0 0 94178 29 0 0 20 0 2 0 287599340 286986240 58535 33554432000 4194304 5964318 140733294701792 140733294701312 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14169/statm: 70065 58535 198 433 0 69629 0
[pid=14169/tid=14171] ppid=14167 vsize=280260 CPUtime=939.72 cores=0,2,4,6
/proc/14169/task/14171/stat : 14171 (wbo1.71) R 14167 14169 12215 0 -1 4202560 60037 0 0 0 93929 43 0 0 20 0 2 0 287599341 286986240 58535 33554432000 4194304 5964318 140733294701792 140287236426680 4399991 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 280260
[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 14182
/proc/meminfo: memFree=28468320/32873844 swapFree=7116/7116
[pid=14169] ppid=14167 vsize=280260 CPUtime=1002.06 cores=0,2,4,6
/proc/14169/stat : 14169 (wbo1.71) S 14167 14169 12215 0 -1 4202496 60780 0 0 0 100177 29 0 0 20 0 2 0 287599340 286986240 58680 33554432000 4194304 5964318 140733294701792 140733294701312 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14169/statm: 70065 58680 198 433 0 69629 0
[pid=14169/tid=14171] ppid=14167 vsize=280260 CPUtime=999.56 cores=0,2,4,6
/proc/14169/task/14171/stat : 14171 (wbo1.71) R 14167 14169 12215 0 -1 4202560 60055 0 0 0 99912 44 0 0 20 0 2 0 287599341 286986240 58680 33554432000 4194304 5964318 140733294701792 140287236426680 4399830 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 280260
Solver just ended. Dumping a history of the last processes samples
[startup+1004.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 14182
/proc/meminfo: memFree=28468320/32873844 swapFree=7116/7116
[pid=14169] ppid=14167 vsize=280260 CPUtime=1004.46 cores=0,2,4,6
/proc/14169/stat : 14169 (wbo1.71) S 14167 14169 12215 0 -1 4202496 60780 0 0 0 100417 29 0 0 20 0 2 0 287599340 286986240 58680 33554432000 4194304 5964318 140733294701792 140733294701312 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14169/statm: 70065 58680 198 433 0 69629 0
[pid=14169/tid=14171] ppid=14167 vsize=280260 CPUtime=1001.95 cores=0,2,4,6
/proc/14169/task/14171/stat : 14171 (wbo1.71) R 14167 14169 12215 0 -1 4202560 60055 0 0 0 100151 44 0 0 20 0 2 0 287599341 286986240 58680 33554432000 4194304 5964318 140733294701792 140287236426680 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1004.46
Current children cumulated vsize (KiB) 280260
[startup+1007.9 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14182
/proc/meminfo: memFree=28468320/32873844 swapFree=7116/7116
[pid=14169] ppid=14167 vsize=280260 CPUtime=1007.66 cores=0,2,4,6
/proc/14169/stat : 14169 (wbo1.71) S 14167 14169 12215 0 -1 4202496 60780 0 0 0 100737 29 0 0 20 0 2 0 287599340 286986240 58680 33554432000 4194304 5964318 140733294701792 140733294701312 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14169/statm: 70065 58680 198 433 0 69629 0
[pid=14169/tid=14171] ppid=14167 vsize=280260 CPUtime=1005.14 cores=0,2,4,6
/proc/14169/task/14171/stat : 14171 (wbo1.71) R 14167 14169 12215 0 -1 4202560 60055 0 0 0 100470 44 0 0 20 0 2 0 287599341 286986240 58680 33554432000 4194304 5964318 140733294701792 140287236426680 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1007.66
Current children cumulated vsize (KiB) 280260
[startup+1009.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14182
/proc/meminfo: memFree=28468320/32873844 swapFree=7116/7116
[pid=14169] ppid=14167 vsize=280260 CPUtime=1009.26 cores=0,2,4,6
/proc/14169/stat : 14169 (wbo1.71) S 14167 14169 12215 0 -1 4202496 60780 0 0 0 100897 29 0 0 20 0 2 0 287599340 286986240 58680 33554432000 4194304 5964318 140733294701792 140733294701312 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14169/statm: 70065 58680 198 433 0 69629 0
[pid=14169/tid=14171] ppid=14167 vsize=280260 CPUtime=1006.74 cores=0,2,4,6
/proc/14169/task/14171/stat : 14171 (wbo1.71) R 14167 14169 12215 0 -1 4202560 60055 0 0 0 100630 44 0 0 20 0 2 0 287599341 286986240 58680 33554432000 4194304 5964318 140733294701792 140287236426680 4379024 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1009.26
Current children cumulated vsize (KiB) 280260
[startup+1011.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14182
/proc/meminfo: memFree=28468196/32873844 swapFree=7116/7116
[pid=14169] ppid=14167 vsize=280260 CPUtime=1010.86 cores=0,2,4,6
/proc/14169/stat : 14169 (wbo1.71) S 14167 14169 12215 0 -1 4202496 60780 0 0 0 101057 29 0 0 20 0 2 0 287599340 286986240 58680 33554432000 4194304 5964318 140733294701792 140733294701312 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14169/statm: 70065 58680 198 433 0 69629 0
[pid=14169/tid=14171] ppid=14167 vsize=280260 CPUtime=1008.33 cores=0,2,4,6
/proc/14169/task/14171/stat : 14171 (wbo1.71) R 14167 14169 12215 0 -1 4202560 60055 0 0 0 100789 44 0 0 20 0 2 0 287599341 286986240 58680 33554432000 4194304 5964318 140733294701792 140287236426680 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1010.86
Current children cumulated vsize (KiB) 280260
[startup+1011.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14182
/proc/meminfo: memFree=28468196/32873844 swapFree=7116/7116
[pid=14169] ppid=14167 vsize=280260 CPUtime=1011.26 cores=0,2,4,6
/proc/14169/stat : 14169 (wbo1.71) S 14167 14169 12215 0 -1 4202496 60780 0 0 0 101097 29 0 0 20 0 2 0 287599340 286986240 58680 33554432000 4194304 5964318 140733294701792 140733294701312 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14169/statm: 70065 58680 198 433 0 69629 0
[pid=14169/tid=14171] ppid=14167 vsize=280260 CPUtime=1008.73 cores=0,2,4,6
/proc/14169/task/14171/stat : 14171 (wbo1.71) R 14167 14169 12215 0 -1 4202560 60055 0 0 0 100829 44 0 0 20 0 2 0 287599341 286986240 58680 33554432000 4194304 5964318 140733294701792 140287236426680 4400001 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1011.26
Current children cumulated vsize (KiB) 280260
[startup+1011.7 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14182
/proc/meminfo: memFree=28468196/32873844 swapFree=7116/7116
[pid=14169] ppid=14167 vsize=280260 CPUtime=1011.46 cores=0,2,4,6
/proc/14169/stat : 14169 (wbo1.71) S 14167 14169 12215 0 -1 4202496 60780 0 0 0 101117 29 0 0 20 0 2 0 287599340 286986240 58680 33554432000 4194304 5964318 140733294701792 140733294701312 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14169/statm: 70065 58680 198 433 0 69629 0
[pid=14169/tid=14171] ppid=14167 vsize=280260 CPUtime=1008.93 cores=0,2,4,6
/proc/14169/task/14171/stat : 14171 (wbo1.71) R 14167 14169 12215 0 -1 4202560 60055 0 0 0 100849 44 0 0 20 0 2 0 287599341 286986240 58680 33554432000 4194304 5964318 140733294701792 140287236426680 4403404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1011.46
Current children cumulated vsize (KiB) 280260
[startup+1011.8 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14182
/proc/meminfo: memFree=28468196/32873844 swapFree=7116/7116
[pid=14169] ppid=14167 vsize=280260 CPUtime=1011.56 cores=0,2,4,6
/proc/14169/stat : 14169 (wbo1.71) S 14167 14169 12215 0 -1 4202496 60780 0 0 0 101127 29 0 0 20 0 2 0 287599340 286986240 58680 33554432000 4194304 5964318 140733294701792 140733294701312 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14169/statm: 70065 58680 198 433 0 69629 0
[pid=14169/tid=14171] ppid=14167 vsize=280260 CPUtime=1009.03 cores=0,2,4,6
/proc/14169/task/14171/stat : 14171 (wbo1.71) R 14167 14169 12215 0 -1 4202560 60055 0 0 0 100859 44 0 0 20 0 2 0 287599341 286986240 58680 33554432000 4194304 5964318 140733294701792 140287236426680 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1011.56
Current children cumulated vsize (KiB) 280260
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14169 and gives
# childrusage.ru_utime.tv_sec=1008
# childrusage.ru_utime.tv_usec=636663
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=452931
# CPU time returned by wait4() is 1009.09
# while last known CPU time is 1011.56
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1011.84
CPU time (s): 1011.56
CPU user time (s): 1011.27
CPU system time (s): 0.29
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 297088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1008.64
system time used= 0.452931
maximum resident set size= 248996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60783
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= 112
involuntary context switches= 1203
runsolver used 1.47477 second user time and 4.05138 second system time
The end