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-3705406-1338105707/watcher-3705406-1338105707 -o /tmp/evaluation-result-3705406-1338105707/solver-3705406-1338105707 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705406-1338105707.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: 1.99 1.98 1.99 3/178 4171
/proc/meminfo: memFree=29918148/32873844 swapFree=7628/7628
[pid=4171] ppid=4169 vsize=4612 CPUtime=0 cores=1,3,5,7
/proc/4171/stat : 4171 (wbo1.7) R 4169 4171 2698 0 -1 4202496 436 0 0 0 0 0 0 0 20 0 1 0 276695064 4722688 389 33554432000 4194304 5963574 140736603266208 140736603264088 4350392 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4171/statm: 1153 389 169 432 0 472 0
[startup+0.0096309 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 4171
/proc/meminfo: memFree=29918148/32873844 swapFree=7628/7628
[pid=4171] ppid=4169 vsize=4744 CPUtime=0 cores=1,3,5,7
/proc/4171/stat : 4171 (wbo1.7) R 4169 4171 2698 0 -1 4202496 465 0 0 0 0 0 0 0 20 0 1 0 276695064 4857856 418 33554432000 4194304 5963574 140736603266208 140736603264088 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4171/statm: 1186 418 183 432 0 505 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4744
[startup+0.100158 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 4171
/proc/meminfo: memFree=29918148/32873844 swapFree=7628/7628
[pid=4171] ppid=4169 vsize=86384 CPUtime=0.09 cores=1,3,5,7
/proc/4171/stat : 4171 (wbo1.7) S 4169 4171 2698 0 -1 4202496 2932 0 0 0 9 0 0 0 20 0 2 0 276695064 88457216 2519 33554432000 4194304 5963574 140736603266208 140736603265728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4171/statm: 21596 2519 194 432 0 21161 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 86384
[startup+0.300097 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 4171
/proc/meminfo: memFree=29918148/32873844 swapFree=7628/7628
[pid=4171] ppid=4169 vsize=86384 CPUtime=0.29 cores=1,3,5,7
/proc/4171/stat : 4171 (wbo1.7) S 4169 4171 2698 0 -1 4202496 3361 0 0 0 29 0 0 0 20 0 2 0 276695064 88457216 2627 33554432000 4194304 5963574 140736603266208 140736603265728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4171/statm: 21596 2627 194 432 0 21161 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 86384
[startup+0.700099 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 4171
/proc/meminfo: memFree=29918148/32873844 swapFree=7628/7628
[pid=4171] ppid=4169 vsize=86384 CPUtime=0.69 cores=1,3,5,7
/proc/4171/stat : 4171 (wbo1.7) S 4169 4171 2698 0 -1 4202496 4304 0 0 0 69 0 0 0 20 0 2 0 276695064 88457216 2835 33554432000 4194304 5963574 140736603266208 140736603265728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4171/statm: 21596 2835 194 432 0 21161 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 86384
[startup+1.50028 s]
/proc/loadavg: 1.99 1.98 1.99 3/180 4173
/proc/meminfo: memFree=29906120/32873844 swapFree=7628/7628
[pid=4171] ppid=4169 vsize=86384 CPUtime=1.48 cores=1,3,5,7
/proc/4171/stat : 4171 (wbo1.7) S 4169 4171 2698 0 -1 4202496 5743 0 0 0 148 0 0 0 20 0 2 0 276695064 88457216 3138 33554432000 4194304 5963574 140736603266208 140736603265728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4171/statm: 21596 3138 198 432 0 21161 0
[pid=4171/tid=4173] ppid=4169 vsize=86384 CPUtime=1.41 cores=1,3,5,7
/proc/4171/task/4173/stat : 4173 (wbo1.7) R 4169 4171 2698 0 -1 4202560 4065 0 0 0 141 0 0 0 20 0 2 0 276695071 88457216 3138 33554432000 4194304 5963574 140736603266208 139905834035736 4419071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 86384
[startup+3.10026 s]
/proc/loadavg: 1.99 1.98 1.99 3/180 4173
/proc/meminfo: memFree=29901152/32873844 swapFree=7628/7628
[pid=4171] ppid=4169 vsize=86384 CPUtime=3.09 cores=1,3,5,7
/proc/4171/stat : 4171 (wbo1.7) S 4169 4171 2698 0 -1 4202496 6703 0 0 0 308 1 0 0 20 0 2 0 276695064 88457216 3972 33554432000 4194304 5963574 140736603266208 140736603265728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4171/statm: 21596 3972 198 432 0 21161 0
[pid=4171/tid=4173] ppid=4169 vsize=86384 CPUtime=3.01 cores=1,3,5,7
/proc/4171/task/4173/stat : 4173 (wbo1.7) R 4169 4171 2698 0 -1 4202560 5025 0 0 0 301 0 0 0 20 0 2 0 276695071 88457216 3972 33554432000 4194304 5963574 140736603266208 139905834035736 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 86384
[startup+6.30033 s]
/proc/loadavg: 1.99 1.98 1.99 3/180 4173
/proc/meminfo: memFree=29886380/32873844 swapFree=7628/7628
[pid=4171] ppid=4169 vsize=86384 CPUtime=6.29 cores=1,3,5,7
/proc/4171/stat : 4171 (wbo1.7) S 4169 4171 2698 0 -1 4202496 8949 0 0 0 627 2 0 0 20 0 2 0 276695064 88457216 6218 33554432000 4194304 5963574 140736603266208 140736603265728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4171/statm: 21596 6218 198 432 0 21161 0
[pid=4171/tid=4173] ppid=4169 vsize=86384 CPUtime=6.2 cores=1,3,5,7
/proc/4171/task/4173/stat : 4173 (wbo1.7) R 4169 4171 2698 0 -1 4202560 7271 0 0 0 619 1 0 0 20 0 2 0 276695071 88457216 6218 33554432000 4194304 5963574 140736603266208 139905834035240 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 86384
[startup+12.7003 s]
/proc/loadavg: 1.99 1.98 1.99 3/180 4173
/proc/meminfo: memFree=29876368/32873844 swapFree=7628/7628
[pid=4171] ppid=4169 vsize=86384 CPUtime=12.68 cores=1,3,5,7
/proc/4171/stat : 4171 (wbo1.7) S 4169 4171 2698 0 -1 4202496 10070 0 0 0 1266 2 0 0 20 0 2 0 276695064 88457216 7339 33554432000 4194304 5963574 140736603266208 140736603265728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4171/statm: 21596 7339 198 432 0 21161 0
[pid=4171/tid=4173] ppid=4169 vsize=86384 CPUtime=12.58 cores=1,3,5,7
/proc/4171/task/4173/stat : 4173 (wbo1.7) R 4169 4171 2698 0 -1 4202560 8392 0 0 0 1256 2 0 0 20 0 2 0 276695071 88457216 7339 33554432000 4194304 5963574 140736603266208 139905834035192 4399642 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 86384
[startup+25.5003 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 4173
/proc/meminfo: memFree=29853040/32873844 swapFree=7628/7628
[pid=4171] ppid=4169 vsize=86384 CPUtime=25.49 cores=1,3,5,7
/proc/4171/stat : 4171 (wbo1.7) S 4169 4171 2698 0 -1 4202496 12469 0 0 0 2546 3 0 0 20 0 2 0 276695064 88457216 9738 33554432000 4194304 5963574 140736603266208 140736603265728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4171/statm: 21596 9738 198 432 0 21161 0
[pid=4171/tid=4173] ppid=4169 vsize=86384 CPUtime=25.35 cores=1,3,5,7
/proc/4171/task/4173/stat : 4173 (wbo1.7) R 4169 4171 2698 0 -1 4202560 10791 0 0 0 2532 3 0 0 20 0 2 0 276695071 88457216 9738 33554432000 4194304 5963574 140736603266208 139905834035736 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 86384
[startup+51.1003 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 4173
/proc/meminfo: memFree=29780096/32873844 swapFree=7628/7628
[pid=4171] ppid=4169 vsize=86868 CPUtime=51.08 cores=1,3,5,7
/proc/4171/stat : 4171 (wbo1.7) S 4169 4171 2698 0 -1 4202496 16333 0 0 0 5103 5 0 0 20 0 2 0 276695064 88952832 13602 33554432000 4194304 5963574 140736603266208 140736603265728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4171/statm: 21717 13602 198 432 0 21282 0
[pid=4171/tid=4173] ppid=4169 vsize=86868 CPUtime=50.88 cores=1,3,5,7
/proc/4171/task/4173/stat : 4173 (wbo1.7) R 4169 4171 2698 0 -1 4202560 14655 0 0 0 5084 4 0 0 20 0 2 0 276695071 88952832 13602 33554432000 4194304 5963574 140736603266208 139905834035000 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 86868
[startup+102.307 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 4173
/proc/meminfo: memFree=29672508/32873844 swapFree=7628/7628
[pid=4171] ppid=4169 vsize=152644 CPUtime=102.27 cores=1,3,5,7
/proc/4171/stat : 4171 (wbo1.7) S 4169 4171 2698 0 -1 4202496 24174 0 0 0 10220 7 0 0 20 0 2 0 276695064 156307456 21442 33554432000 4194304 5963574 140736603266208 140736603265728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4171/statm: 38161 21442 198 432 0 37726 0
[pid=4171/tid=4173] ppid=4169 vsize=152644 CPUtime=101.96 cores=1,3,5,7
/proc/4171/task/4173/stat : 4173 (wbo1.7) R 4169 4171 2698 0 -1 4202560 22496 0 0 0 10188 8 0 0 20 0 2 0 276695071 156307456 21442 33554432000 4194304 5963574 140736603266208 139905834035000 4399592 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 152644
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 4173
/proc/meminfo: memFree=29588984/32873844 swapFree=7628/7628
[pid=4171] ppid=4169 vsize=153004 CPUtime=162.25 cores=1,3,5,7
/proc/4171/stat : 4171 (wbo1.7) S 4169 4171 2698 0 -1 4202496 31571 0 0 0 16213 12 0 0 20 0 2 0 276695064 156676096 29094 33554432000 4194304 5963574 140736603266208 140736603265728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4171/statm: 38251 29094 198 432 0 37816 0
[pid=4171/tid=4173] ppid=4169 vsize=153004 CPUtime=161.79 cores=1,3,5,7
/proc/4171/task/4173/stat : 4173 (wbo1.7) R 4169 4171 2698 0 -1 4202560 29893 0 0 0 16165 14 0 0 20 0 2 0 276695071 156676096 29094 33554432000 4194304 5963574 140736603266208 139905834035192 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 153004
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 4174
/proc/meminfo: memFree=29547676/32873844 swapFree=7628/7628
[pid=4171] ppid=4169 vsize=219564 CPUtime=222.22 cores=1,3,5,7
/proc/4171/stat : 4171 (wbo1.7) S 4169 4171 2698 0 -1 4202496 41515 0 0 0 22200 22 0 0 20 0 2 0 276695064 224833536 39295 33554432000 4194304 5963574 140736603266208 140736603265728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4171/statm: 54891 39295 198 432 0 54456 0
[pid=4171/tid=4173] ppid=4169 vsize=219564 CPUtime=221.6 cores=1,3,5,7
/proc/4171/task/4173/stat : 4173 (wbo1.7) R 4169 4171 2698 0 -1 4202560 39837 0 0 0 22136 24 0 0 20 0 2 0 276695071 224833536 39295 33554432000 4194304 5963574 140736603266208 139905834035064 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 219564
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 4174
/proc/meminfo: memFree=29514788/32873844 swapFree=7628/7628
[pid=4171] ppid=4169 vsize=219564 CPUtime=282.21 cores=1,3,5,7
/proc/4171/stat : 4171 (wbo1.7) S 4169 4171 2698 0 -1 4202496 49675 0 0 0 28192 29 0 0 20 0 2 0 276695064 224833536 47454 33554432000 4194304 5963574 140736603266208 140736603265728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4171/statm: 54891 47454 198 432 0 54456 0
[pid=4171/tid=4173] ppid=4169 vsize=219564 CPUtime=281.45 cores=1,3,5,7
/proc/4171/task/4173/stat : 4173 (wbo1.7) R 4169 4171 2698 0 -1 4202560 47997 0 0 0 28113 32 0 0 20 0 2 0 276695071 224833536 47454 33554432000 4194304 5963574 140736603266208 139905834035192 4399488 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 219564
[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 4174
/proc/meminfo: memFree=29480332/32873844 swapFree=7628/7628
[pid=4171] ppid=4169 vsize=285584 CPUtime=342.2 cores=1,3,5,7
/proc/4171/stat : 4171 (wbo1.7) S 4169 4171 2698 0 -1 4202496 58183 0 0 0 34184 36 0 0 20 0 2 0 276695064 292438016 55961 33554432000 4194304 5963574 140736603266208 140736603265728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4171/statm: 71396 55961 198 432 0 70961 0
[pid=4171/tid=4173] ppid=4169 vsize=285584 CPUtime=341.29 cores=1,3,5,7
/proc/4171/task/4173/stat : 4173 (wbo1.7) R 4169 4171 2698 0 -1 4202560 56505 0 0 0 34088 41 0 0 20 0 2 0 276695071 292438016 55961 33554432000 4194304 5963574 140736603266208 139905834035000 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 285584
[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 4174
/proc/meminfo: memFree=29376792/32873844 swapFree=7628/7628
[pid=4171] ppid=4169 vsize=286876 CPUtime=402.19 cores=1,3,5,7
/proc/4171/stat : 4171 (wbo1.7) S 4169 4171 2698 0 -1 4202496 63498 0 0 0 40177 42 0 0 20 0 2 0 276695064 293761024 61275 33554432000 4194304 5963574 140736603266208 140736603265728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4171/statm: 71719 61275 198 432 0 71284 0
[pid=4171/tid=4173] ppid=4169 vsize=286876 CPUtime=401.14 cores=1,3,5,7
/proc/4171/task/4173/stat : 4173 (wbo1.7) R 4169 4171 2698 0 -1 4202560 61820 0 0 0 40066 48 0 0 20 0 2 0 276695071 293761024 61275 33554432000 4194304 5963574 140736603266208 139905834035000 4400040 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 286876
[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 4174
/proc/meminfo: memFree=29332316/32873844 swapFree=7628/7628
[pid=4171] ppid=4169 vsize=287360 CPUtime=462.17 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 4184
/proc/meminfo: memFree=28420240/32873844 swapFree=7628/7628
[pid=4171] ppid=4169 vsize=565952 CPUtime=1421.97 cores=1,3,5,7
/proc/4171/stat : 4171 (wbo1.7) S 4169 4171 2698 0 -1 4202496 128519 0 0 0 142090 107 0 0 20 0 2 0 276695064 579534848 127932 33554432000 4194304 5963574 140736603266208 140736603265728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4171/statm: 141488 127932 198 432 0 141053 0
[pid=4171/tid=4173] ppid=4169 vsize=565952 CPUtime=1418.44 cores=1,3,5,7
/proc/4171/task/4173/stat : 4173 (wbo1.7) R 4169 4171 2698 0 -1 4202560 126841 0 0 0 141717 127 0 0 20 0 2 0 276695071 579534848 127932 33554432000 4194304 5963574 140736603266208 139905834035240 4399474 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 565952
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4184
/proc/meminfo: memFree=28403136/32873844 swapFree=7628/7628
[pid=4171] ppid=4169 vsize=568248 CPUtime=1481.95 cores=1,3,5,7
/proc/4171/stat : 4171 (wbo1.7) S 4169 4171 2698 0 -1 4202496 132747 0 0 0 148084 111 0 0 20 0 2 0 276695064 581885952 132160 33554432000 4194304 5963574 140736603266208 140736603265728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4171/statm: 142062 132160 198 432 0 141627 0
[pid=4171/tid=4173] ppid=4169 vsize=568248 CPUtime=1478.28 cores=1,3,5,7
/proc/4171/task/4173/stat : 4173 (wbo1.7) R 4169 4171 2698 0 -1 4202560 131069 0 0 0 147696 132 0 0 20 0 2 0 276695071 581885952 132160 33554432000 4194304 5963574 140736603266208 139905834035192 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 568248
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4184
/proc/meminfo: memFree=28390984/32873844 swapFree=7628/7628
[pid=4171] ppid=4169 vsize=568488 CPUtime=1541.94 cores=1,3,5,7
/proc/4171/stat : 4171 (wbo1.7) S 4169 4171 2698 0 -1 4202496 135826 0 0 0 154080 114 0 0 20 0 2 0 276695064 582131712 135239 33554432000 4194304 5963574 140736603266208 140736603265728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4171/statm: 142122 135239 198 432 0 141687 0
[pid=4171/tid=4173] ppid=4169 vsize=568488 CPUtime=1538.12 cores=1,3,5,7
/proc/4171/task/4173/stat : 4173 (wbo1.7) R 4169 4171 2698 0 -1 4202560 134148 0 0 0 153675 137 0 0 20 0 2 0 276695071 582131712 135239 33554432000 4194304 5963574 140736603266208 139905834035192 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 568488
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4184
/proc/meminfo: memFree=28389372/32873844 swapFree=7628/7628
[pid=4171] ppid=4169 vsize=568972 CPUtime=1601.93 cores=1,3,5,7
/proc/4171/stat : 4171 (wbo1.7) S 4169 4171 2698 0 -1 4202496 136261 0 0 0 160078 115 0 0 20 0 2 0 276695064 582627328 135622 33554432000 4194304 5963574 140736603266208 140736603265728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4171/statm: 142243 135622 198 432 0 141808 0
[pid=4171/tid=4173] ppid=4169 vsize=568972 CPUtime=1597.97 cores=1,3,5,7
/proc/4171/task/4173/stat : 4173 (wbo1.7) R 4169 4171 2698 0 -1 4202560 134583 0 0 0 159659 138 0 0 20 0 2 0 276695071 582627328 135622 33554432000 4194304 5963574 140736603266208 139905834035064 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 568972
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4184
/proc/meminfo: memFree=28388504/32873844 swapFree=7628/7628
[pid=4171] ppid=4169 vsize=570424 CPUtime=1661.92 cores=1,3,5,7
/proc/4171/stat : 4171 (wbo1.7) S 4169 4171 2698 0 -1 4202496 136565 0 0 0 166077 115 0 0 20 0 2 0 276695064 584114176 135878 33554432000 4194304 5963574 140736603266208 140736603265728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4171/statm: 142606 135878 198 432 0 142171 0
[pid=4171/tid=4173] ppid=4169 vsize=570424 CPUtime=1657.82 cores=1,3,5,7
/proc/4171/task/4173/stat : 4173 (wbo1.7) R 4169 4171 2698 0 -1 4202560 134887 0 0 0 165643 139 0 0 20 0 2 0 276695071 584114176 135878 33554432000 4194304 5963574 140736603266208 139905834035000 4399592 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 570424
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 4266
/proc/meminfo: memFree=29506216/32873844 swapFree=7628/7628
[pid=4171] ppid=4169 vsize=571148 CPUtime=1721.92 cores=1,3,5,7
/proc/4171/stat : 4171 (wbo1.7) S 4169 4171 2698 0 -1 4202496 137016 0 0 0 172077 115 0 0 20 0 2 0 276695064 584855552 136327 33554432000 4194304 5963574 140736603266208 140736603265728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4171/statm: 142787 136327 198 432 0 142352 0
[pid=4171/tid=4173] ppid=4169 vsize=571148 CPUtime=1717.66 cores=1,3,5,7
/proc/4171/task/4173/stat : 4173 (wbo1.7) R 4169 4171 2698 0 -1 4202560 135338 0 0 0 171626 140 0 0 20 0 2 0 276695071 584855552 136327 33554432000 4194304 5963574 140736603266208 139905834035000 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 571148
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4266
/proc/meminfo: memFree=29431428/32873844 swapFree=7628/7628
[pid=4171] ppid=4169 vsize=574164 CPUtime=1781.89 cores=1,3,5,7
/proc/4171/stat : 4171 (wbo1.7) S 4169 4171 2698 0 -1 4202496 137665 0 0 0 178074 115 0 0 20 0 2 0 276695064 587943936 137146 33554432000 4194304 5963574 140736603266208 140736603265728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4171/statm: 143541 137146 198 432 0 143106 0
[pid=4171/tid=4173] ppid=4169 vsize=574164 CPUtime=1777.49 cores=1,3,5,7
/proc/4171/task/4173/stat : 4173 (wbo1.7) R 4169 4171 2698 0 -1 4202560 135987 0 0 0 177608 141 0 0 20 0 2 0 276695071 587943936 137146 33554432000 4194304 5963574 140736603266208 139905834035240 4399451 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 574164
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4266
/proc/meminfo: memFree=29408300/32873844 swapFree=7628/7628
[pid=4171] ppid=4169 vsize=574404 CPUtime=1791.49 cores=1,3,5,7
/proc/4171/stat : 4171 (wbo1.7) S 4169 4171 2698 0 -1 4202496 137693 0 0 0 179034 115 0 0 20 0 2 0 276695064 588189696 137173 33554432000 4194304 5963574 140736603266208 140736603265728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4171/statm: 143601 137173 198 432 0 143166 0
[pid=4171/tid=4173] ppid=4169 vsize=574404 CPUtime=1787.07 cores=1,3,5,7
/proc/4171/task/4173/stat : 4173 (wbo1.7) R 4169 4171 2698 0 -1 4202560 136015 0 0 0 178566 141 0 0 20 0 2 0 276695071 588189696 137173 33554432000 4194304 5963574 140736603266208 139905834035240 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.49
Current children cumulated vsize (KiB) 574404
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4266
/proc/meminfo: memFree=29407804/32873844 swapFree=7628/7628
[pid=4171] ppid=4169 vsize=574888 CPUtime=1794.69 cores=1,3,5,7
/proc/4171/stat : 4171 (wbo1.7) S 4169 4171 2698 0 -1 4202496 137795 0 0 0 179354 115 0 0 20 0 2 0 276695064 588685312 137275 33554432000 4194304 5963574 140736603266208 140736603265728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4171/statm: 143722 137275 198 432 0 143287 0
[pid=4171/tid=4173] ppid=4169 vsize=574888 CPUtime=1790.26 cores=1,3,5,7
/proc/4171/task/4173/stat : 4173 (wbo1.7) R 4169 4171 2698 0 -1 4202560 136117 0 0 0 178885 141 0 0 20 0 2 0 276695071 588685312 137275 33554432000 4194304 5963574 140736603266208 139905834035000 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.69
Current children cumulated vsize (KiB) 574888
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4266
/proc/meminfo: memFree=29407308/32873844 swapFree=7628/7628
[pid=4171] ppid=4169 vsize=575128 CPUtime=1797.88 cores=1,3,5,7
/proc/4171/stat : 4171 (wbo1.7) S 4169 4171 2698 0 -1 4202496 137815 0 0 0 179673 115 0 0 20 0 2 0 276695064 588931072 137295 33554432000 4194304 5963574 140736603266208 140736603265728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4171/statm: 143782 137295 198 432 0 143347 0
[pid=4171/tid=4173] ppid=4169 vsize=575128 CPUtime=1793.44 cores=1,3,5,7
/proc/4171/task/4173/stat : 4173 (wbo1.7) R 4169 4171 2698 0 -1 4202560 136137 0 0 0 179203 141 0 0 20 0 2 0 276695071 588931072 137295 33554432000 4194304 5963574 140736603266208 139905834035240 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.88
Current children cumulated vsize (KiB) 575128
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4266
/proc/meminfo: memFree=29407432/32873844 swapFree=7628/7628
[pid=4171] ppid=4169 vsize=575128 CPUtime=1798.68 cores=1,3,5,7
/proc/4171/stat : 4171 (wbo1.7) S 4169 4171 2698 0 -1 4202496 137816 0 0 0 179753 115 0 0 20 0 2 0 276695064 588931072 137296 33554432000 4194304 5963574 140736603266208 140736603265728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4171/statm: 143782 137296 198 432 0 143347 0
[pid=4171/tid=4173] ppid=4169 vsize=575128 CPUtime=1794.24 cores=1,3,5,7
/proc/4171/task/4173/stat : 4173 (wbo1.7) R 4169 4171 2698 0 -1 4202560 136138 0 0 0 179283 141 0 0 20 0 2 0 276695071 588931072 137296 33554432000 4194304 5963574 140736603266208 139905834035240 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.68
Current children cumulated vsize (KiB) 575128
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4266
/proc/meminfo: memFree=29407804/32873844 swapFree=7628/7628
[pid=4171] ppid=4169 vsize=575128 CPUtime=1799.09 cores=1,3,5,7
/proc/4171/stat : 4171 (wbo1.7) S 4169 4171 2698 0 -1 4202496 137816 0 0 0 179794 115 0 0 20 0 2 0 276695064 588931072 137296 33554432000 4194304 5963574 140736603266208 140736603265728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4171/statm: 143782 137296 198 432 0 143347 0
[pid=4171/tid=4173] ppid=4169 vsize=575128 CPUtime=1794.65 cores=1,3,5,7
/proc/4171/task/4173/stat : 4173 (wbo1.7) R 4169 4171 2698 0 -1 4202560 136138 0 0 0 179324 141 0 0 20 0 2 0 276695071 588931072 137296 33554432000 4194304 5963574 140736603266208 139905834035240 4399488 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.09
Current children cumulated vsize (KiB) 575128
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4266
/proc/meminfo: memFree=29407804/32873844 swapFree=7628/7628
[pid=4171] ppid=4169 vsize=575128 CPUtime=1799.48 cores=1,3,5,7
/proc/4171/stat : 4171 (wbo1.7) S 4169 4171 2698 0 -1 4202496 137817 0 0 0 179833 115 0 0 20 0 2 0 276695064 588931072 137297 33554432000 4194304 5963574 140736603266208 140736603265728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4171/statm: 143782 137297 198 432 0 143347 0
[pid=4171/tid=4173] ppid=4169 vsize=575128 CPUtime=1795.04 cores=1,3,5,7
/proc/4171/task/4173/stat : 4173 (wbo1.7) R 4169 4171 2698 0 -1 4202560 136139 0 0 0 179363 141 0 0 20 0 2 0 276695071 588931072 137297 33554432000 4194304 5963574 140736603266208 139905834035240 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.48
Current children cumulated vsize (KiB) 575128
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4266
/proc/meminfo: memFree=29407804/32873844 swapFree=7628/7628
[pid=4171] ppid=4169 vsize=575128 CPUtime=1799.58 cores=1,3,5,7
/proc/4171/stat : 4171 (wbo1.7) S 4169 4171 2698 0 -1 4202496 137817 0 0 0 179843 115 0 0 20 0 2 0 276695064 588931072 137297 33554432000 4194304 5963574 140736603266208 140736603265728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4171/statm: 143782 137297 198 432 0 143347 0
[pid=4171/tid=4173] ppid=4169 vsize=575128 CPUtime=1795.14 cores=1,3,5,7
/proc/4171/task/4173/stat : 4173 (wbo1.7) R 4169 4171 2698 0 -1 4202560 136139 0 0 0 179373 141 0 0 20 0 2 0 276695071 588931072 137297 33554432000 4194304 5963574 140736603266208 139905834035240 4399574 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.58
Current children cumulated vsize (KiB) 575128
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4171 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=801300
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=433782
# CPU time returned by wait4() is 1795.24
# while last known CPU time is 1799.58
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.01
CPU time (s): 1799.58
CPU user time (s): 1798.43
CPU system time (s): 1.15
CPU usage (%): 99.9759
Max. virtual memory (cumulated for all children) (KiB): 575128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.8
system time used= 1.43378
maximum resident set size= 549188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137817
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= 214
involuntary context switches= 1861
runsolver used 2.74758 second user time and 7.27489 second system time
The end