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-3712443-1338192321/watcher-3712443-1338192321 -o /tmp/evaluation-result-3712443-1338192321/solver-3712443-1338192321 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712443-1338192321.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: 4.00 4.00 3.95 4/178 27486
/proc/meminfo: memFree=30994272/32873648 swapFree=7112/7112
[pid=27486] ppid=27484 vsize=6392 CPUtime=0 cores=0,2,4,6
/proc/27486/stat : 27486 (pwbo2.01) R 27484 27486 26380 0 -1 4202496 925 0 0 0 0 0 0 0 20 0 1 0 285358025 6545408 869 33554432000 4194304 5964478 140736225740608 140734011487352 4297174 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/27486/statm: 1835 880 170 433 0 1399 0
[startup+0.021167 s]
/proc/loadavg: 4.00 4.00 3.95 4/178 27486
/proc/meminfo: memFree=30994272/32873648 swapFree=7112/7112
[pid=27486] ppid=27484 vsize=163356 CPUtime=0.02 cores=0,2,4,6
/proc/27486/stat : 27486 (pwbo2.01) S 27484 27486 26380 0 -1 4202496 1502 0 0 0 2 0 0 0 20 0 3 0 285358025 167276544 1446 33554432000 4194304 5964478 140736225740608 140736225740128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27486/statm: 40839 1446 197 433 0 40403 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 163356
[startup+0.100155 s]
/proc/loadavg: 4.00 4.00 3.95 4/178 27486
/proc/meminfo: memFree=30994272/32873648 swapFree=7112/7112
[pid=27486] ppid=27484 vsize=163356 CPUtime=0.19 cores=0,2,4,6
/proc/27486/stat : 27486 (pwbo2.01) S 27484 27486 26380 0 -1 4202496 1976 0 0 0 18 1 0 0 20 0 3 0 285358025 167276544 1920 33554432000 4194304 5964478 140736225740608 140736225740128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27486/statm: 40839 1920 198 433 0 40403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 163356
[startup+0.300118 s]
/proc/loadavg: 4.00 4.00 3.95 4/178 27486
/proc/meminfo: memFree=30994272/32873648 swapFree=7112/7112
[pid=27486] ppid=27484 vsize=163356 CPUtime=0.58 cores=0,2,4,6
/proc/27486/stat : 27486 (pwbo2.01) S 27484 27486 26380 0 -1 4202496 2967 0 0 0 57 1 0 0 20 0 3 0 285358025 167276544 2911 33554432000 4194304 5964478 140736225740608 140736225740128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27486/statm: 40839 2911 198 433 0 40403 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 163356
[startup+0.700125 s]
/proc/loadavg: 4.00 4.00 3.95 4/178 27486
/proc/meminfo: memFree=30994272/32873648 swapFree=7112/7112
[pid=27486] ppid=27484 vsize=163356 CPUtime=1.39 cores=0,2,4,6
/proc/27486/stat : 27486 (pwbo2.01) S 27484 27486 26380 0 -1 4202496 4673 0 0 0 137 2 0 0 20 0 3 0 285358025 167276544 4617 33554432000 4194304 5964478 140736225740608 140736225740128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27486/statm: 40839 4617 198 433 0 40403 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 163356
[startup+1.50024 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 27489
/proc/meminfo: memFree=30967084/32873648 swapFree=7112/7112
[pid=27486] ppid=27484 vsize=163356 CPUtime=2.98 cores=0,2,4,6
/proc/27486/stat : 27486 (pwbo2.01) S 27484 27486 26380 0 -1 4202496 7069 0 0 0 296 2 0 0 20 0 3 0 285358025 167276544 7013 33554432000 4194304 5964478 140736225740608 140736225740128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27486/statm: 40839 7013 198 433 0 40403 0
[pid=27486/tid=27488] ppid=27484 vsize=163356 CPUtime=1.48 cores=0,2,4,6
/proc/27486/task/27488/stat : 27488 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 3518 0 0 0 146 2 0 0 20 0 3 0 285358026 167276544 7013 33554432000 4194304 5964478 140736225740608 140233282799608 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27486/tid=27489] ppid=27484 vsize=163356 CPUtime=1.48 cores=0,2,4,6
/proc/27486/task/27489/stat : 27489 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 2538 0 0 0 148 0 0 0 20 0 3 0 285358026 167276544 7013 33554432000 4194304 5964478 140736225740608 140233272310072 4381424 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 163356
[startup+3.10021 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 27489
/proc/meminfo: memFree=30950128/32873648 swapFree=7112/7112
[pid=27486] ppid=27484 vsize=163644 CPUtime=6.18 cores=0,2,4,6
/proc/27486/stat : 27486 (pwbo2.01) S 27484 27486 26380 0 -1 4202496 9969 0 0 0 614 4 0 0 20 0 3 0 285358025 167571456 9913 33554432000 4194304 5964478 140736225740608 140736225740128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27486/statm: 40911 9913 198 433 0 40475 0
[pid=27486/tid=27488] ppid=27484 vsize=163644 CPUtime=3.08 cores=0,2,4,6
/proc/27486/task/27488/stat : 27488 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 4333 0 0 0 305 3 0 0 20 0 3 0 285358026 167571456 9913 33554432000 4194304 5964478 140736225740608 140233282799608 4400071 0 0 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=27486/tid=27489] ppid=27484 vsize=163644 CPUtime=3.08 cores=0,2,4,6
/proc/27486/task/27489/stat : 27489 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 4623 0 0 0 306 2 0 0 20 0 3 0 285358026 167571456 9913 33554432000 4194304 5964478 140736225740608 140233272310072 4381894 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 163644
[startup+6.3002 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 27489
/proc/meminfo: memFree=30930164/32873648 swapFree=7112/7112
[pid=27486] ppid=27484 vsize=163924 CPUtime=12.58 cores=0,2,4,6
/proc/27486/stat : 27486 (pwbo2.01) S 27484 27486 26380 0 -1 4202496 12312 0 0 0 1253 5 0 0 20 0 3 0 285358025 167858176 12256 33554432000 4194304 5964478 140736225740608 140736225740128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27486/statm: 40981 12256 198 433 0 40545 0
[pid=27486/tid=27488] ppid=27484 vsize=163924 CPUtime=6.27 cores=0,2,4,6
/proc/27486/task/27488/stat : 27488 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 6004 0 0 0 624 3 0 0 20 0 3 0 285358026 167858176 12256 33554432000 4194304 5964478 140736225740608 140233282799608 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=27486/tid=27489] ppid=27484 vsize=163924 CPUtime=6.28 cores=0,2,4,6
/proc/27486/task/27489/stat : 27489 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 5295 0 0 0 626 2 0 0 20 0 3 0 285358026 167858176 12256 33554432000 4194304 5964478 140736225740608 140233272310072 4391355 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 163924
[startup+12.7003 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 27489
/proc/meminfo: memFree=30886524/32873648 swapFree=7112/7112
[pid=27486] ppid=27484 vsize=164272 CPUtime=25.37 cores=0,2,4,6
/proc/27486/stat : 27486 (pwbo2.01) S 27484 27486 26380 0 -1 4202496 21374 0 0 0 2529 8 0 0 20 0 3 0 285358025 168214528 21318 33554432000 4194304 5964478 140736225740608 140736225740128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27486/statm: 41068 21318 198 433 0 40632 0
[pid=27486/tid=27488] ppid=27484 vsize=164272 CPUtime=12.67 cores=0,2,4,6
/proc/27486/task/27488/stat : 27488 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 10067 0 0 0 1262 5 0 0 20 0 3 0 285358026 168214528 21318 33554432000 4194304 5964478 140736225740608 140233282799608 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=27486/tid=27489] ppid=27484 vsize=164272 CPUtime=12.68 cores=0,2,4,6
/proc/27486/task/27489/stat : 27489 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 10294 0 0 0 1264 4 0 0 20 0 3 0 285358026 168214528 21318 33554432000 4194304 5964478 140736225740608 140233272310072 4400062 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 164272
[startup+25.5003 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 27489
/proc/meminfo: memFree=30814152/32873648 swapFree=7112/7112
[pid=27486] ppid=27484 vsize=230516 CPUtime=50.97 cores=0,2,4,6
/proc/27486/stat : 27486 (pwbo2.01) S 27484 27486 26380 0 -1 4202496 34096 0 0 0 5084 13 0 0 20 0 3 0 285358025 236048384 34040 33554432000 4194304 5964478 140736225740608 140736225740128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27486/statm: 57629 34040 198 433 0 57193 0
[pid=27486/tid=27488] ppid=27484 vsize=230516 CPUtime=25.47 cores=0,2,4,6
/proc/27486/task/27488/stat : 27488 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 16572 0 0 0 2539 8 0 0 20 0 3 0 285358026 236048384 34040 33554432000 4194304 5964478 140736225740608 140233282799608 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27486/tid=27489] ppid=27484 vsize=230516 CPUtime=25.48 cores=0,2,4,6
/proc/27486/task/27489/stat : 27489 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 16511 0 0 0 2542 6 0 0 20 0 3 0 285358026 236048384 34040 33554432000 4194304 5964478 140736225740608 140233272310072 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 230516
[startup+51.1003 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 27489
/proc/meminfo: memFree=30729180/32873648 swapFree=7112/7112
[pid=27486] ppid=27484 vsize=296344 CPUtime=102.16 cores=0,2,4,6
/proc/27486/stat : 27486 (pwbo2.01) S 27484 27486 26380 0 -1 4202496 48569 0 0 0 10196 20 0 0 20 0 3 0 285358025 303456256 48513 33554432000 4194304 5964478 140736225740608 140736225740128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27486/statm: 74086 48513 198 433 0 73650 0
[pid=27486/tid=27488] ppid=27484 vsize=296344 CPUtime=51.07 cores=0,2,4,6
/proc/27486/task/27488/stat : 27488 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 25488 0 0 0 5094 13 0 0 20 0 3 0 285358026 303456256 48513 33554432000 4194304 5964478 140736225740608 140233282799608 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27486/tid=27489] ppid=27484 vsize=296344 CPUtime=51.07 cores=0,2,4,6
/proc/27486/task/27489/stat : 27489 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 22068 0 0 0 5099 8 0 0 20 0 3 0 285358026 303456256 48513 33554432000 4194304 5964478 140736225740608 140233272310120 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 296344
[startup+102.307 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 27489
/proc/meminfo: memFree=30607016/32873648 swapFree=7112/7112
[pid=27486] ppid=27484 vsize=363044 CPUtime=204.51 cores=0,2,4,6
/proc/27486/stat : 27486 (pwbo2.01) S 27484 27486 26380 0 -1 4202496 68647 0 0 0 20422 29 0 0 20 0 3 0 285358025 371757056 68707 33554432000 4194304 5964478 140736225740608 140736225740128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27486/statm: 90761 68707 198 433 0 90325 0
[pid=27486/tid=27488] ppid=27484 vsize=363044 CPUtime=102.27 cores=0,2,4,6
/proc/27486/task/27488/stat : 27488 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 37647 0 0 0 10207 20 0 0 20 0 3 0 285358026 371757056 68707 33554432000 4194304 5964478 140736225740608 140233282799608 4400062 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27486/tid=27489] ppid=27484 vsize=363044 CPUtime=102.25 cores=0,2,4,6
/proc/27486/task/27489/stat : 27489 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 29987 0 0 0 10212 13 0 0 20 0 3 0 285358026 371757056 68707 33554432000 4194304 5964478 140736225740608 140233272309832 4400040 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.51
Current children cumulated vsize (KiB) 363044
[startup+162.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 27489
/proc/meminfo: memFree=30546844/32873648 swapFree=7112/7112
[pid=27486] ppid=27484 vsize=429172 CPUtime=324.45 cores=0,2,4,6
/proc/27486/stat : 27486 (pwbo2.01) S 27484 27486 26380 0 -1 4202496 76590 0 0 0 32412 33 0 0 20 0 3 0 285358025 439472128 76681 33554432000 4194304 5964478 140736225740608 140736225740128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27486/statm: 107293 76681 198 433 0 106857 0
[pid=27486/tid=27488] ppid=27484 vsize=429172 CPUtime=162.23 cores=0,2,4,6
/proc/27486/task/27488/stat : 27488 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 41175 0 0 0 16200 23 0 0 20 0 3 0 285358026 439472128 76681 33554432000 4194304 5964478 140736225740608 140233282799608 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27486/tid=27489] ppid=27484 vsize=429172 CPUtime=162.24 cores=0,2,4,6
/proc/27486/task/27489/stat : 27489 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 34402 0 0 0 16208 16 0 0 20 0 3 0 285358026 439472128 76681 33554432000 4194304 5964478 140736225740608 140233272309832 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.45
Current children cumulated vsize (KiB) 429172
[startup+222.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 27489
/proc/meminfo: memFree=30506800/32873648 swapFree=7112/7112
[pid=27486] ppid=27484 vsize=430080 CPUtime=444.43 cores=0,2,4,6
/proc/27486/stat : 27486 (pwbo2.01) S 27484 27486 26380 0 -1 4202496 80196 0 0 0 44408 35 0 0 20 0 3 0 285358025 440401920 81384 33554432000 4194304 5964478 140736225740608 140736225740128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27486/statm: 107520 81384 198 433 0 107084 0
[pid=27486/tid=27488] ppid=27484 vsize=430080 CPUtime=222.23 cores=0,2,4,6
/proc/27486/task/27488/stat : 27488 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 42060 0 0 0 22199 24 0 0 20 0 3 0 285358026 440401920 81384 33554432000 4194304 5964478 140736225740608 140233282799608 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27486/tid=27489] ppid=27484 vsize=430080 CPUtime=222.25 cores=0,2,4,6
/proc/27486/task/27489/stat : 27489 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 37123 0 0 0 22207 18 0 0 20 0 3 0 285358026 440401920 81384 33554432000 4194304 5964478 140736225740608 140233272310104 4400526 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.43
Current children cumulated vsize (KiB) 430080
[startup+282.3 s]
/proc/loadavg: 4.03 4.01 3.95 5/182 27492
/proc/meminfo: memFree=30415492/32873648 swapFree=7112/7112
[pid=27486] ppid=27484 vsize=496816 CPUtime=564.4 cores=0,2,4,6
/proc/27486/stat : 27486 (pwbo2.01) S 27484 27486 26380 0 -1 4202496 100581 0 0 0 56394 46 0 0 20 0 3 0 285358025 508739584 101769 33554432000 4194304 5964478 140736225740608 140736225740128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27486/statm: 124204 101769 198 433 0 123768 0
[pid=27486/tid=27488] ppid=27484 vsize=496816 CPUtime=282.23 cores=0,2,4,6
/proc/27486/task/27488/stat : 27488 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 59463 0 0 0 28188 35 0 0 20 0 3 0 285358026 508739584 101769 33554432000 4194304 5964478 140736225740608 140233282799608 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27486/tid=27489] ppid=27484 vsize=496816 CPUtime=282.25 cores=0,2,4,6
/proc/27486/task/27489/stat : 27489 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 40105 0 0 0 28204 21 0 0 20 0 3 0 285358026 508739584 101769 33554432000 4194304 5964478 140736225740608 140233272310072 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.4
Current children cumulated vsize (KiB) 496816
[startup+342.3 s]
/proc/loadavg: 4.01 4.01 3.95 5/181 27493
/proc/meminfo: memFree=30371004/32873648 swapFree=7112/7112
[pid=27486] ppid=27484 vsize=497736 CPUtime=684.38 cores=0,2,4,6
/proc/27486/stat : 27486 (pwbo2.01) S 27484 27486 26380 0 -1 4202496 106141 0 0 0 68385 53 0 0 20 0 3 0 285358025 509681664 107631 33554432000 4194304 5964478 140736225740608 140736225740128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27486/statm: 124434 107631 198 433 0 123998 0
[pid=27486/tid=27488] ppid=27484 vsize=497736 CPUtime=342.24 cores=0,2,4,6
/proc/27486/task/27488/stat : 27488 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 64829 0 0 0 34182 42 0 0 20 0 3 0 285358026 509681664 107631 33554432000 4194304 5964478 140736225740608 140233282799608 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27486/tid=27489] ppid=27484 vsize=497736 CPUtime=342.24 cores=0,2,4,6
/proc/27486/task/27489/stat : 27489 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 40299 0 0 0 34202 22 0 0 20 0 3 0 285358026 509681664 107631 33554432000 4194304 5964478 140736225740608 140233272309880 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.38
Current children cumulated vsize (KiB) 497736
[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 27493
/proc/meminfo: memFree=30238828/32873648 swapFree=7112/7112
[pid=27486] ppid=27484 vsize=564640 CPUtime=804.34 cores=0,2,4,6
/proc/27486/stat : 27486 (pwbo2.01) S 27484 27486 26380 0 -1 4202496 132689 0 0 0 80363 71 0 0 20 0 3 0 285358025 578191360 134239 33554432000 4194304 5964478 140736225740608 140736225740128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27486/statm: 141160 134239 198 433 0 140724 0
[pid=27486/tid=27488] ppid=27484 vsize=564640 CPUtime=402.22 cores=0,2,4,6
/proc/27486/task/27488/stat : 27488 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 64852 0 0 0 40179 43 0 0 20 0 3 0 285358026 578191360 134239 33554432000 4194304 5964478 140736225740608 140233282799608 4400075 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27486/tid=27489] ppid=27484 vsize=564640 CPUtime=402.23 cores=0,2,4,6
/proc/27486/task/27489/stat : 27489 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 66824 0 0 0 40182 41 0 0 20 0 3 0 285358026 578191360 134239 33554432000 4194304 5964478 140736225740608 140233272310072 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.34
Current children cumulated vsize (KiB) 564640
[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 27493
/proc/meminfo: memFree=30226516/32873648 swapFree=7112/7112
[pid=27486] ppid=27484 vsize=564640 CPUtime=924.31 cores=0,2,4,6
/proc/27486/stat : 27486 (pwbo2.01) S 27484 27486 26380 0 -1 4202496 132719 0 0 0 92360 71 0 0 20 0 3 0 285358025 578191360 134331 33554432000 4194304 5964478 140736225740608 140736225740128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27486/statm: 141160 134331 198 433 0 140724 0
[pid=27486/tid=27488] ppid=27484 vsize=564640 CPUtime=462.21 cores=0,2,4,6
/proc/27486/task/27488/stat : 27488 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 64870 0 0 0 46177 44 0 0 20 0 3 0 285358026 578191360 134331 33554432000 4194304 5964478 140736225740608 140233282799608 4400040 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27486/tid=27489] ppid=27484 vsize=564640 CPUtime=462.23 cores=0,2,4,6
/proc/27486/task/27489/stat : 27489 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 66836 0 0 0 46181 42 0 0 20 0 3 0 285358026 578191360 134331 33554432000 4194304 5964478 140736225740608 140233272310072 4400081 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.31
Current children cumulated vsize (KiB) 564640
[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 27493
/proc/meminfo: memFree=30215108/32873648 swapFree=7112/7112
[pid=27486] ppid=27484 vsize=565252 CPUtime=1044.29 cores=0,2,4,6
/proc/27486/stat : 27486 (pwbo2.01) S 27484 27486 26380 0 -1 4202496 132847 0 0 0 104358 71 0 0 20 0 3 0 285358025 578818048 134459 33554432000 4194304 5964478 140736225740608 140736225740128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27486/statm: 141313 134459 198 433 0 140877 0
[pid=27486/tid=27488] ppid=27484 vsize=565252 CPUtime=522.21 cores=0,2,4,6
/proc/27486/task/27488/stat : 27488 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 64870 0 0 0 52177 44 0 0 20 0 3 0 285358026 578818048 134459 33554432000 4194304 5964478 140736225740608 140233282799608 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27486/tid=27489] ppid=27484 vsize=565252 CPUtime=522.23 cores=0,2,4,6
/proc/27486/task/27489/stat : 27489 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 66964 0 0 0 52181 42 0 0 20 0 3 0 285358026 578818048 134459 33554432000 4194304 5964478 140736225740608 140233272310120 4400093 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.29
Current children cumulated vsize (KiB) 565252
[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 27493
/proc/meminfo: memFree=30205252/32873648 swapFree=7112/7112
[pid=27486] ppid=27484 vsize=565252 CPUtime=1164.26 cores=0,2,4,6
/proc/27486/stat : 27486 (pwbo2.01) S 27484 27486 26380 0 -1 4202496 133345 0 0 0 116355 71 0 0 20 0 3 0 285358025 578818048 134957 33554432000 4194304 5964478 140736225740608 140736225740128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27486/statm: 141313 134957 198 433 0 140877 0
[pid=27486/tid=27488] ppid=27484 vsize=565252 CPUtime=582.22 cores=0,2,4,6
/proc/27486/task/27488/stat : 27488 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 65368 0 0 0 58177 45 0 0 20 0 3 0 285358026 578818048 134957 33554432000 4194304 5964478 140736225740608 140233282799608 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27486/tid=27489] ppid=27484 vsize=565252 CPUtime=582.23 cores=0,2,4,6
/proc/27486/task/27489/stat : 27489 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 66964 0 0 0 58180 43 0 0 20 0 3 0 285358026 578818048 134957 33554432000 4194304 5964478 140736225740608 140233272310120 4400099 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.26
Current children cumulated vsize (KiB) 565252
[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 27494
/proc/meminfo: memFree=30112888/32873648 swapFree=7112/7112
[pid=27486] ppid=27484 vsize=699848 CPUtime=1284.27 cores=0,2,4,6
/proc/27486/stat : 27486 (pwbo2.01) S 27484 27486 26380 0 -1 4202496 151884 0 0 0 128340 87 0 0 20 0 3 0 285358025 716644352 153491 33554432000 4194304 5964478 140736225740608 140736225740128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27486/statm: 174962 153491 198 433 0 174526 0
[pid=27486/tid=27488] ppid=27484 vsize=699848 CPUtime=642.23 cores=0,2,4,6
/proc/27486/task/27488/stat : 27488 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 71759 0 0 0 64172 51 0 0 20 0 3 0 285358026 716644352 153491 33554432000 4194304 5964478 140736225740608 140233282799416 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27486/tid=27489] ppid=27484 vsize=699848 CPUtime=642.24 cores=0,2,4,6
/proc/27486/task/27489/stat : 27489 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 79112 0 0 0 64169 55 0 0 20 0 3 0 285358026 716644352 153491 33554432000 4194304 5964478 140736225740608 140233272310120 4400099 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.27
Current children cumulated vsize (KiB) 699848
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 27494
/proc/meminfo: memFree=30087284/32873648 swapFree=7112/7112
[pid=27486] ppid=27484 vsize=702044 CPUtime=1404.23 cores=0,2,4,6
/proc/27486/stat : 27486 (pwbo2.01) S 27484 27486 26380 0 -1 4202496 155372 0 0 0 140332 91 0 0 20 0 3 0 285358025 718893056 156979 33554432000 4194304 5964478 140736225740608 140736225740128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27486/statm: 175511 156979 198 433 0 175075 0
[pid=27486/tid=27488] ppid=27484 vsize=702044 CPUtime=702.22 cores=0,2,4,6
/proc/27486/task/27488/stat : 27488 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 75042 0 0 0 70166 56 0 0 20 0 3 0 285358026 718893056 156979 33554432000 4194304 5964478 140736225740608 140233282799608 4400430 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27486/tid=27489] ppid=27484 vsize=702044 CPUtime=702.24 cores=0,2,4,6
/proc/27486/task/27489/stat : 27489 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 79317 0 0 0 70168 56 0 0 20 0 3 0 285358026 718893056 156979 33554432000 4194304 5964478 140736225740608 140233272310072 4400040 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.23
Current children cumulated vsize (KiB) 702044
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 27494
/proc/meminfo: memFree=30068180/32873648 swapFree=7112/7112
[pid=27486] ppid=27484 vsize=703192 CPUtime=1524.22 cores=0,2,4,6
/proc/27486/stat : 27486 (pwbo2.01) S 27484 27486 26380 0 -1 4202496 158374 0 0 0 152328 94 0 0 20 0 3 0 285358025 720068608 159959 33554432000 4194304 5964478 140736225740608 140736225740128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27486/statm: 175798 159959 198 433 0 175362 0
[pid=27486/tid=27488] ppid=27484 vsize=703192 CPUtime=762.23 cores=0,2,4,6
/proc/27486/task/27488/stat : 27488 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 77933 0 0 0 76163 60 0 0 20 0 3 0 285358026 720068608 159959 33554432000 4194304 5964478 140736225740608 140233282799608 4400051 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27486/tid=27489] ppid=27484 vsize=703192 CPUtime=762.24 cores=0,2,4,6
/proc/27486/task/27489/stat : 27489 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 79428 0 0 0 76167 57 0 0 20 0 3 0 285358026 720068608 159959 33554432000 4194304 5964478 140736225740608 140233272309896 4400062 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.22
Current children cumulated vsize (KiB) 703192
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 27494
/proc/meminfo: memFree=30011544/32873648 swapFree=7112/7112
[pid=27486] ppid=27484 vsize=770428 CPUtime=1644.16 cores=0,2,4,6
/proc/27486/stat : 27486 (pwbo2.01) S 27484 27486 26380 0 -1 4202496 169515 0 0 0 164303 113 0 0 20 0 3 0 285358025 788918272 171148 33554432000 4194304 5964478 140736225740608 140736225740128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27486/statm: 192607 171148 198 433 0 192171 0
[pid=27486/tid=27488] ppid=27484 vsize=770428 CPUtime=822.22 cores=0,2,4,6
/proc/27486/task/27488/stat : 27488 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 82591 0 0 0 82155 67 0 0 20 0 3 0 285358026 788918272 171148 33554432000 4194304 5964478 140736225740608 140233282799608 4400075 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27486/tid=27489] ppid=27484 vsize=770428 CPUtime=822.21 cores=0,2,4,6
/proc/27486/task/27489/stat : 27489 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 85911 0 0 0 82150 71 0 0 20 0 3 0 285358026 788918272 171148 33554432000 4194304 5964478 140736225740608 140233272310072 4399907 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.16
Current children cumulated vsize (KiB) 770428
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/182 27497
/proc/meminfo: memFree=29973540/32873648 swapFree=7112/7112
[pid=27486] ppid=27484 vsize=837096 CPUtime=1764.12 cores=0,2,4,6
/proc/27486/stat : 27486 (pwbo2.01) S 27484 27486 26380 0 -1 4202496 177007 0 0 0 176291 121 0 0 20 0 3 0 285358025 857186304 178632 33554432000 4194304 5964478 140736225740608 140736225740128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27486/statm: 209274 178632 198 433 0 208838 0
[pid=27486/tid=27488] ppid=27484 vsize=837096 CPUtime=882.21 cores=0,2,4,6
/proc/27486/task/27488/stat : 27488 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 90030 0 0 0 88145 76 0 0 20 0 3 0 285358026 857186304 178632 33554432000 4194304 5964478 140736225740608 140233282799608 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27486/tid=27489] ppid=27484 vsize=837096 CPUtime=882.21 cores=0,2,4,6
/proc/27486/task/27489/stat : 27489 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 85964 0 0 0 88148 73 0 0 20 0 3 0 285358026 857186304 178632 33554432000 4194304 5964478 140736225740608 140233272309880 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.12
Current children cumulated vsize (KiB) 837096
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.07 4.02 3.96 3/178 27498
/proc/meminfo: memFree=30308828/32873648 swapFree=7112/7112
[pid=27486] ppid=27484 vsize=838344 CPUtime=1800.13 cores=0,2,4,6
/proc/27486/stat : 27486 (pwbo2.01) S 27484 27486 26380 0 -1 4202496 177864 0 0 0 179891 122 0 0 20 0 3 0 285358025 858464256 179488 33554432000 4194304 5964478 140736225740608 140736225740128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27486/statm: 209586 179488 198 433 0 209150 0
[pid=27486/tid=27488] ppid=27484 vsize=838344 CPUtime=900.22 cores=0,2,4,6
/proc/27486/task/27488/stat : 27488 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 90788 0 0 0 89946 76 0 0 20 0 3 0 285358026 858464256 179488 33554432000 4194304 5964478 140736225740608 140233282799608 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27486/tid=27489] ppid=27484 vsize=838344 CPUtime=900.21 cores=0,2,4,6
/proc/27486/task/27489/stat : 27489 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 86063 0 0 0 89948 73 0 0 20 0 3 0 285358026 858464256 179488 33554432000 4194304 5964478 140736225740608 140233272309880 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 838344
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.3 s]
/proc/loadavg: 4.07 4.02 3.96 3/178 27498
/proc/meminfo: memFree=30308828/32873648 swapFree=7112/7112
[pid=27486] ppid=27484 vsize=838344 CPUtime=1800.13 cores=0,2,4,6
/proc/27486/stat : 27486 (pwbo2.01) S 27484 27486 26380 0 -1 4202496 177864 0 0 0 179891 122 0 0 20 0 3 0 285358025 858464256 179488 33554432000 4194304 5964478 140736225740608 140736225740128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27486/statm: 209586 179488 198 433 0 209150 0
[pid=27486/tid=27488] ppid=27484 vsize=838344 CPUtime=900.22 cores=0,2,4,6
/proc/27486/task/27488/stat : 27488 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 90788 0 0 0 89946 76 0 0 20 0 3 0 285358026 858464256 179488 33554432000 4194304 5964478 140736225740608 140233282799608 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27486/tid=27489] ppid=27484 vsize=838344 CPUtime=900.21 cores=0,2,4,6
/proc/27486/task/27489/stat : 27489 (pwbo2.01) R 27484 27486 26380 0 -1 4202560 86063 0 0 0 89948 73 0 0 20 0 3 0 285358026 858464256 179488 33554432000 4194304 5964478 140736225740608 140233272309880 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 838344
Child status: 0
Real time (s): 900.321
CPU time (s): 1800.48
CPU user time (s): 1798.97
CPU system time (s): 1.51077
CPU usage (%): 199.982
Max. virtual memory (cumulated for all children) (KiB): 838344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.97
system time used= 1.51077
maximum resident set size= 717960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177866
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= 547
involuntary context switches= 1964
runsolver used 1.9507 second user time and 4.98424 second system time
The end