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-3712708-1338198817/watcher-3712708-1338198817 -o /tmp/evaluation-result-3712708-1338198817/solver-3712708-1338198817 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712708-1338198817.wbo
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: 4.03 4.00 3.97 4/178 29099
/proc/meminfo: memFree=30850440/32873648 swapFree=7112/7112
[pid=29099] ppid=29097 vsize=163100 CPUtime=0 cores=1,3,5,7
/proc/29099/stat : 29099 (pwbo2.01) S 29097 29099 26380 0 -1 4202496 1229 0 0 0 0 0 0 0 20 0 3 0 286007624 167014400 1178 33554432000 4194304 5964478 140736928343168 140736928342688 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29099/statm: 40775 1180 200 433 0 40339 0
[pid=29099/tid=29100] ppid=29097 vsize=163100 CPUtime=0 cores=1,3,5,7
/proc/29099/task/29100/stat : 29100 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 105 0 0 0 0 0 0 0 20 0 3 0 286007625 167014400 1183 33554432000 4194304 5964478 140736928343168 140206372460536 4389377 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29099/tid=29101] ppid=29097 vsize=163100 CPUtime=0 cores=1,3,5,7
/proc/29099/task/29101/stat : 29101 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 317 0 0 0 0 0 0 0 20 0 3 0 286007625 167014400 1185 33554432000 4194304 5964478 140736928343168 140206361970648 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[startup+0.014835 s]
/proc/loadavg: 4.03 4.00 3.97 4/178 29099
/proc/meminfo: memFree=30850440/32873648 swapFree=7112/7112
[pid=29099] ppid=29097 vsize=164000 CPUtime=0.01 cores=1,3,5,7
/proc/29099/stat : 29099 (pwbo2.01) S 29097 29099 26380 0 -1 4202496 1927 0 0 0 1 0 0 0 20 0 3 0 286007624 167936000 1876 33554432000 4194304 5964478 140736928343168 140736928342688 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29099/statm: 41000 1878 203 433 0 40564 0
[pid=29099/tid=29100] ppid=29097 vsize=164000 CPUtime=0 cores=1,3,5,7
/proc/29099/task/29100/stat : 29100 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 145 0 0 0 0 0 0 0 20 0 3 0 286007625 167936000 1879 33554432000 4194304 5964478 140736928343168 140206372460344 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29099/tid=29101] ppid=29097 vsize=164000 CPUtime=0 cores=1,3,5,7
/proc/29099/task/29101/stat : 29101 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 973 0 0 0 0 0 0 0 20 0 3 0 286007625 167936000 1882 33554432000 4194304 5964478 140736928343168 140206361969304 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 164000
[startup+0.100295 s]
/proc/loadavg: 4.03 4.00 3.97 4/178 29099
/proc/meminfo: memFree=30850440/32873648 swapFree=7112/7112
[pid=29099] ppid=29097 vsize=167520 CPUtime=0.18 cores=1,3,5,7
/proc/29099/stat : 29099 (pwbo2.01) S 29097 29099 26380 0 -1 4202496 6164 0 0 0 17 1 0 0 20 0 3 0 286007624 171540480 6080 33554432000 4194304 5964478 140736928343168 140736928342688 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29099/statm: 41880 6080 204 433 0 41444 0
[pid=29099/tid=29100] ppid=29097 vsize=167520 CPUtime=0.08 cores=1,3,5,7
/proc/29099/task/29100/stat : 29100 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 364 0 0 0 8 0 0 0 20 0 3 0 286007625 171540480 6080 33554432000 4194304 5964478 140736928343168 140206372460536 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29099/tid=29101] ppid=29097 vsize=167520 CPUtime=0.08 cores=1,3,5,7
/proc/29099/task/29101/stat : 29101 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 4986 0 0 0 7 1 0 0 20 0 3 0 286007625 171540480 6080 33554432000 4194304 5964478 140736928343168 140206361970808 4408961 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 167520
[startup+0.300237 s]
/proc/loadavg: 4.03 4.00 3.97 4/178 29099
/proc/meminfo: memFree=30850440/32873648 swapFree=7112/7112
[pid=29099] ppid=29097 vsize=167520 CPUtime=0.58 cores=1,3,5,7
/proc/29099/stat : 29099 (pwbo2.01) S 29097 29099 26380 0 -1 4202496 6800 0 0 0 57 1 0 0 20 0 3 0 286007624 171540480 6716 33554432000 4194304 5964478 140736928343168 140736928342688 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29099/statm: 41880 6716 204 433 0 41444 0
[pid=29099/tid=29100] ppid=29097 vsize=167520 CPUtime=0.28 cores=1,3,5,7
/proc/29099/task/29100/stat : 29100 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 698 0 0 0 28 0 0 0 20 0 3 0 286007625 171540480 6716 33554432000 4194304 5964478 140736928343168 140206372460344 4400075 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29099/tid=29101] ppid=29097 vsize=167520 CPUtime=0.28 cores=1,3,5,7
/proc/29099/task/29101/stat : 29101 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 5288 0 0 0 27 1 0 0 20 0 3 0 286007625 171540480 6716 33554432000 4194304 5964478 140736928343168 140206361971048 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 167520
[startup+0.700231 s]
/proc/loadavg: 4.03 4.00 3.97 4/178 29099
/proc/meminfo: memFree=30850440/32873648 swapFree=7112/7112
[pid=29099] ppid=29097 vsize=167520 CPUtime=1.39 cores=1,3,5,7
/proc/29099/stat : 29099 (pwbo2.01) S 29097 29099 26380 0 -1 4202496 7709 0 0 0 137 2 0 0 20 0 3 0 286007624 171540480 7625 33554432000 4194304 5964478 140736928343168 140736928342688 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29099/statm: 41880 7625 204 433 0 41444 0
[pid=29099/tid=29100] ppid=29097 vsize=167520 CPUtime=0.68 cores=1,3,5,7
/proc/29099/task/29100/stat : 29100 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 1127 0 0 0 68 0 0 0 20 0 3 0 286007625 171540480 7625 33554432000 4194304 5964478 140736928343168 140206372460536 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29099/tid=29101] ppid=29097 vsize=167520 CPUtime=0.68 cores=1,3,5,7
/proc/29099/task/29101/stat : 29101 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 5768 0 0 0 67 1 0 0 20 0 3 0 286007625 171540480 7625 33554432000 4194304 5964478 140736928343168 140206361971000 4400071 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 167520
[startup+1.50019 s]
/proc/loadavg: 4.02 4.00 3.97 5/181 29102
/proc/meminfo: memFree=30818168/32873648 swapFree=7112/7112
[pid=29099] ppid=29097 vsize=167520 CPUtime=2.98 cores=1,3,5,7
/proc/29099/stat : 29099 (pwbo2.01) S 29097 29099 26380 0 -1 4202496 8992 0 0 0 296 2 0 0 20 0 3 0 286007624 171540480 8908 33554432000 4194304 5964478 140736928343168 140736928342688 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29099/statm: 41880 8908 204 433 0 41444 0
[pid=29099/tid=29100] ppid=29097 vsize=167520 CPUtime=1.48 cores=1,3,5,7
/proc/29099/task/29100/stat : 29100 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 2012 0 0 0 147 1 0 0 20 0 3 0 286007625 171540480 8908 33554432000 4194304 5964478 140736928343168 140206372460344 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29099/tid=29101] ppid=29097 vsize=167520 CPUtime=1.49 cores=1,3,5,7
/proc/29099/task/29101/stat : 29101 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 6166 0 0 0 147 2 0 0 20 0 3 0 286007625 171540480 8908 33554432000 4194304 5964478 140736928343168 140206361970936 4400040 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 167520
[startup+3.10025 s]
/proc/loadavg: 4.02 4.00 3.97 5/181 29102
/proc/meminfo: memFree=30813324/32873648 swapFree=7112/7112
[pid=29099] ppid=29097 vsize=167664 CPUtime=6.18 cores=1,3,5,7
/proc/29099/stat : 29099 (pwbo2.01) S 29097 29099 26380 0 -1 4202496 10038 0 0 0 616 2 0 0 20 0 3 0 286007624 171687936 9954 33554432000 4194304 5964478 140736928343168 140736928342688 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29099/statm: 41916 9954 204 433 0 41480 0
[pid=29099/tid=29100] ppid=29097 vsize=167664 CPUtime=3.09 cores=1,3,5,7
/proc/29099/task/29100/stat : 29100 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 2538 0 0 0 307 2 0 0 20 0 3 0 286007625 171687936 9954 33554432000 4194304 5964478 140736928343168 140206372460344 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29099/tid=29101] ppid=29097 vsize=167664 CPUtime=3.09 cores=1,3,5,7
/proc/29099/task/29101/stat : 29101 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 6686 0 0 0 307 2 0 0 20 0 3 0 286007625 171687936 9954 33554432000 4194304 5964478 140736928343168 140206361970808 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 167664
[startup+6.30022 s]
/proc/loadavg: 4.02 4.00 3.97 5/181 29102
/proc/meminfo: memFree=30806300/32873648 swapFree=7112/7112
[pid=29099] ppid=29097 vsize=167808 CPUtime=12.58 cores=1,3,5,7
/proc/29099/stat : 29099 (pwbo2.01) S 29097 29099 26380 0 -1 4202496 11423 0 0 0 1256 2 0 0 20 0 3 0 286007624 171835392 11339 33554432000 4194304 5964478 140736928343168 140736928342688 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29099/statm: 41952 11339 204 433 0 41516 0
[pid=29099/tid=29100] ppid=29097 vsize=167808 CPUtime=6.29 cores=1,3,5,7
/proc/29099/task/29100/stat : 29100 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 3212 0 0 0 627 2 0 0 20 0 3 0 286007625 171835392 11339 33554432000 4194304 5964478 140736928343168 140206372460344 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29099/tid=29101] ppid=29097 vsize=167808 CPUtime=6.29 cores=1,3,5,7
/proc/29099/task/29101/stat : 29101 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 7397 0 0 0 627 2 0 0 20 0 3 0 286007625 171835392 11339 33554432000 4194304 5964478 140736928343168 140206361971048 4400051 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 167808
[startup+12.7003 s]
/proc/loadavg: 4.02 4.00 3.97 5/181 29102
/proc/meminfo: memFree=30791388/32873648 swapFree=7112/7112
[pid=29099] ppid=29097 vsize=168092 CPUtime=25.38 cores=1,3,5,7
/proc/29099/stat : 29099 (pwbo2.01) S 29097 29099 26380 0 -1 4202496 14953 0 0 0 2534 4 0 0 20 0 3 0 286007624 172126208 14869 33554432000 4194304 5964478 140736928343168 140736928342688 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29099/statm: 42023 14869 204 433 0 41587 0
[pid=29099/tid=29100] ppid=29097 vsize=168092 CPUtime=12.69 cores=1,3,5,7
/proc/29099/task/29100/stat : 29100 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 4758 0 0 0 1266 3 0 0 20 0 3 0 286007625 172126208 14869 33554432000 4194304 5964478 140736928343168 140206372460536 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29099/tid=29101] ppid=29097 vsize=168092 CPUtime=12.69 cores=1,3,5,7
/proc/29099/task/29101/stat : 29101 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 9381 0 0 0 1266 3 0 0 20 0 3 0 286007625 172126208 14869 33554432000 4194304 5964478 140736928343168 140206361971000 4400090 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 168092
[startup+25.5002 s]
/proc/loadavg: 4.02 4.00 3.97 5/181 29102
/proc/meminfo: memFree=30776064/32873648 swapFree=7112/7112
[pid=29099] ppid=29097 vsize=168540 CPUtime=50.98 cores=1,3,5,7
/proc/29099/stat : 29099 (pwbo2.01) S 29097 29099 26380 0 -1 4202496 18203 0 0 0 5092 6 0 0 20 0 3 0 286007624 172584960 18119 33554432000 4194304 5964478 140736928343168 140736928342688 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29099/statm: 42135 18119 204 433 0 41699 0
[pid=29099/tid=29100] ppid=29097 vsize=168540 CPUtime=25.48 cores=1,3,5,7
/proc/29099/task/29100/stat : 29100 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 6109 0 0 0 2545 3 0 0 20 0 3 0 286007625 172584960 18119 33554432000 4194304 5964478 140736928343168 140206372460344 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29099/tid=29101] ppid=29097 vsize=168540 CPUtime=25.48 cores=1,3,5,7
/proc/29099/task/29101/stat : 29101 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 11280 0 0 0 2544 4 0 0 20 0 3 0 286007625 172584960 18119 33554432000 4194304 5964478 140736928343168 140206361971000 4400071 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 168540
[startup+51.1003 s]
/proc/loadavg: 4.01 4.00 3.97 5/181 29102
/proc/meminfo: memFree=30750944/32873648 swapFree=7112/7112
[pid=29099] ppid=29097 vsize=172732 CPUtime=102.17 cores=1,3,5,7
/proc/29099/stat : 29099 (pwbo2.01) S 29097 29099 26380 0 -1 4202496 23481 0 0 0 10206 11 0 0 20 0 3 0 286007624 176877568 23397 33554432000 4194304 5964478 140736928343168 140736928342688 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29099/statm: 43183 23397 204 433 0 42747 0
[pid=29099/tid=29100] ppid=29097 vsize=172732 CPUtime=51.08 cores=1,3,5,7
/proc/29099/task/29100/stat : 29100 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 8283 0 0 0 5104 4 0 0 20 0 3 0 286007625 176877568 23397 33554432000 4194304 5964478 140736928343168 140206372460536 4400081 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29099/tid=29101] ppid=29097 vsize=172732 CPUtime=51.08 cores=1,3,5,7
/proc/29099/task/29101/stat : 29101 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 14384 0 0 0 5100 8 0 0 20 0 3 0 286007625 176877568 23397 33554432000 4194304 5964478 140736928343168 140206361971048 4400099 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 172732
[startup+102.307 s]
/proc/loadavg: 4.00 4.00 3.97 5/181 29102
/proc/meminfo: memFree=30718548/32873648 swapFree=7112/7112
[pid=29099] ppid=29097 vsize=178120 CPUtime=204.56 cores=1,3,5,7
/proc/29099/stat : 29099 (pwbo2.01) S 29097 29099 26380 0 -1 4202496 27294 0 0 0 20441 15 0 0 20 0 3 0 286007624 182394880 27195 33554432000 4194304 5964478 140736928343168 140736928342688 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29099/statm: 44530 27195 204 433 0 44094 0
[pid=29099/tid=29100] ppid=29097 vsize=178120 CPUtime=102.29 cores=1,3,5,7
/proc/29099/task/29100/stat : 29100 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 10282 0 0 0 10223 6 0 0 20 0 3 0 286007625 182394880 27195 33554432000 4194304 5964478 140736928343168 140206372460344 4400040 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29099/tid=29101] ppid=29097 vsize=178120 CPUtime=102.29 cores=1,3,5,7
/proc/29099/task/29101/stat : 29101 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 16198 0 0 0 10217 12 0 0 20 0 3 0 286007625 182394880 27195 33554432000 4194304 5964478 140736928343168 140206361971000 4400040 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 204.56
Current children cumulated vsize (KiB) 178120
[startup+162.3 s]
/proc/loadavg: 4.00 4.00 3.97 5/181 29102
/proc/meminfo: memFree=30679752/32873648 swapFree=7112/7112
[pid=29099] ppid=29097 vsize=246048 CPUtime=324.5 cores=1,3,5,7
/proc/29099/stat : 29099 (pwbo2.01) S 29097 29099 26380 0 -1 4202496 32117 0 0 0 32429 21 0 0 20 0 3 0 286007624 251953152 32394 33554432000 4194304 5964478 140736928343168 140736928342688 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29099/statm: 61512 32394 204 433 0 61076 0
[pid=29099/tid=29100] ppid=29097 vsize=246048 CPUtime=162.27 cores=1,3,5,7
/proc/29099/task/29100/stat : 29100 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 11985 0 0 0 16217 10 0 0 20 0 3 0 286007625 251953152 32394 33554432000 4194304 5964478 140736928343168 140206372460344 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29099/tid=29101] ppid=29097 vsize=246048 CPUtime=162.26 cores=1,3,5,7
/proc/29099/task/29101/stat : 29101 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 19318 0 0 0 16209 17 0 0 20 0 3 0 286007625 251953152 32394 33554432000 4194304 5964478 140736928343168 140206361971000 4400071 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 324.5
Current children cumulated vsize (KiB) 246048
[startup+222.3 s]
/proc/loadavg: 4.05 4.01 3.98 5/181 29103
/proc/meminfo: memFree=30651128/32873648 swapFree=7112/7112
[pid=29099] ppid=29097 vsize=249768 CPUtime=444.48 cores=1,3,5,7
/proc/29099/stat : 29099 (pwbo2.01) S 29097 29099 26380 0 -1 4202496 34210 0 0 0 44423 25 0 0 20 0 3 0 286007624 255762432 35727 33554432000 4194304 5964478 140736928343168 140736928342688 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29099/statm: 62442 35727 204 433 0 62006 0
[pid=29099/tid=29100] ppid=29097 vsize=249768 CPUtime=222.26 cores=1,3,5,7
/proc/29099/task/29100/stat : 29100 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 12329 0 0 0 22215 11 0 0 20 0 3 0 286007625 255762432 35727 33554432000 4194304 5964478 140736928343168 140206372460344 4400081 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29099/tid=29101] ppid=29097 vsize=249768 CPUtime=222.26 cores=1,3,5,7
/proc/29099/task/29101/stat : 29101 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 21067 0 0 0 22205 21 0 0 20 0 3 0 286007625 255762432 35727 33554432000 4194304 5964478 140736928343168 140206361970808 4399904 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 444.48
Current children cumulated vsize (KiB) 249768
[startup+282.3 s]
/proc/loadavg: 4.02 4.01 3.98 5/181 29103
/proc/meminfo: memFree=30637036/32873648 swapFree=7112/7112
[pid=29099] ppid=29097 vsize=252300 CPUtime=564.46 cores=1,3,5,7
/proc/29099/stat : 29099 (pwbo2.01) S 29097 29099 26380 0 -1 4202496 37552 0 0 0 56416 30 0 0 20 0 3 0 286007624 258355200 39053 33554432000 4194304 5964478 140736928343168 140736928342688 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29099/statm: 63075 39053 204 433 0 62639 0
[pid=29099/tid=29100] ppid=29097 vsize=252300 CPUtime=282.26 cores=1,3,5,7
/proc/29099/task/29100/stat : 29100 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 14101 0 0 0 28211 15 0 0 20 0 3 0 286007625 258355200 39053 33554432000 4194304 5964478 140736928343168 140206372460344 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29099/tid=29101] ppid=29097 vsize=252300 CPUtime=282.26 cores=1,3,5,7
/proc/29099/task/29101/stat : 29101 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 22637 0 0 0 28202 24 0 0 20 0 3 0 286007625 258355200 39053 33554432000 4194304 5964478 140736928343168 140206361971000 4399904 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 564.46
Current children cumulated vsize (KiB) 252300
[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.98 5/181 29103
/proc/meminfo: memFree=30591284/32873648 swapFree=7112/7112
[pid=29099] ppid=29097 vsize=256096 CPUtime=684.44 cores=1,3,5,7
/proc/29099/stat : 29099 (pwbo2.01) S 29097 29099 26380 0 -1 4202496 40014 0 0 0 68410 34 0 0 20 0 3 0 286007624 262242304 41515 33554432000 4194304 5964478 140736928343168 140736928342688 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29099/statm: 64024 41515 204 433 0 63588 0
[pid=29099/tid=29100] ppid=29097 vsize=256096 CPUtime=342.25 cores=1,3,5,7
/proc/29099/task/29100/stat : 29100 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 14394 0 0 0 34209 16 0 0 20 0 3 0 286007625 262242304 41515 33554432000 4194304 5964478 140736928343168 140206372460344 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29099/tid=29101] ppid=29097 vsize=256096 CPUtime=342.25 cores=1,3,5,7
/proc/29099/task/29101/stat : 29101 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 24806 0 0 0 34196 29 0 0 20 0 3 0 286007625 262242304 41515 33554432000 4194304 5964478 140736928343168 140206361971000 4400419 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 684.44
Current children cumulated vsize (KiB) 256096
[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.98 5/182 29106
/proc/meminfo: memFree=30556188/32873648 swapFree=7112/7112
[pid=29099] ppid=29097 vsize=259896 CPUtime=804.42 cores=1,3,5,7
/proc/29099/stat : 29099 (pwbo2.01) S 29097 29099 26380 0 -1 4202496 44764 0 0 0 80401 41 0 0 20 0 3 0 286007624 266133504 46266 33554432000 4194304 5964478 140736928343168 140736928342688 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29099/statm: 64974 46266 204 433 0 64538 0
[pid=29099/tid=29100] ppid=29097 vsize=259896 CPUtime=402.25 cores=1,3,5,7
/proc/29099/task/29100/stat : 29100 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 17967 0 0 0 40202 23 0 0 20 0 3 0 286007625 266133504 46266 33554432000 4194304 5964478 140736928343168 140206372460344 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29099/tid=29101] ppid=29097 vsize=259896 CPUtime=402.24 cores=1,3,5,7
/proc/29099/task/29101/stat : 29101 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 25983 0 0 0 40193 31 0 0 20 0 3 0 286007625 266133504 46266 33554432000 4194304 5964478 140736928343168 140206361970808 4399910 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 804.42
Current children cumulated vsize (KiB) 259896
[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.98 5/182 29129
/proc/meminfo: memFree=30531972/32873648 swapFree=7112/7112
[pid=29099] ppid=29097 vsize=328504 CPUtime=924.39 cores=1,3,5,7
/proc/29099/stat : 29099 (pwbo2.01) S 29097 29099 26380 0 -1 4202496 48539 0 0 0 92393 46 0 0 20 0 3 0 286007624 336388096 50060 33554432000 4194304 5964478 140736928343168 140736928342688 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29099/statm: 82126 50060 204 433 0 81690 0
[pid=29099/tid=29100] ppid=29097 vsize=328504 CPUtime=462.24 cores=1,3,5,7
/proc/29099/task/29100/stat : 29100 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 19306 0 0 0 46198 26 0 0 20 0 3 0 286007625 336388096 50060 33554432000 4194304 5964478 140736928343168 140206372460344 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29099/tid=29101] ppid=29097 vsize=328504 CPUtime=462.24 cores=1,3,5,7
/proc/29099/task/29101/stat : 29101 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 28419 0 0 0 46188 36 0 0 20 0 3 0 286007625 336388096 50060 33554432000 4194304 5964478 140736928343168 140206361971000 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 924.39
Current children cumulated vsize (KiB) 328504
[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.98 5/181 29130
/proc/meminfo: memFree=30482984/32873648 swapFree=7112/7112
[pid=29099] ppid=29097 vsize=339852 CPUtime=1044.37 cores=1,3,5,7
/proc/29099/stat : 29099 (pwbo2.01) S 29097 29099 26380 0 -1 4202496 59867 0 0 0 104384 53 0 0 20 0 3 0 286007624 348008448 61373 33554432000 4194304 5964478 140736928343168 140736928342688 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29099/statm: 84963 61373 204 433 0 84527 0
[pid=29099/tid=29100] ppid=29097 vsize=339852 CPUtime=522.24 cores=1,3,5,7
/proc/29099/task/29100/stat : 29100 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 20563 0 0 0 52197 27 0 0 20 0 3 0 286007625 348008448 61373 33554432000 4194304 5964478 140736928343168 140206372460584 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29099/tid=29101] ppid=29097 vsize=339852 CPUtime=522.24 cores=1,3,5,7
/proc/29099/task/29101/stat : 29101 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 38490 0 0 0 52182 42 0 0 20 0 3 0 286007625 348008448 61373 33554432000 4194304 5964478 140736928343168 140206361970808 4400075 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1044.37
Current children cumulated vsize (KiB) 339852
[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.98 5/181 29171
/proc/meminfo: memFree=30666428/32873648 swapFree=7112/7112
[pid=29099] ppid=29097 vsize=408116 CPUtime=1164.35 cores=1,3,5,7
/proc/29099/stat : 29099 (pwbo2.01) S 29097 29099 26380 0 -1 4202496 66739 0 0 0 116374 61 0 0 20 0 3 0 286007624 417910784 68307 33554432000 4194304 5964478 140736928343168 140736928342688 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29099/statm: 102029 68307 204 433 0 101593 0
[pid=29099/tid=29100] ppid=29097 vsize=408116 CPUtime=582.24 cores=1,3,5,7
/proc/29099/task/29100/stat : 29100 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 21750 0 0 0 58195 29 0 0 20 0 3 0 286007625 417910784 68307 33554432000 4194304 5964478 140736928343168 140206372460584 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29099/tid=29101] ppid=29097 vsize=408116 CPUtime=582.24 cores=1,3,5,7
/proc/29099/task/29101/stat : 29101 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 44175 0 0 0 58175 49 0 0 20 0 3 0 286007625 417910784 68307 33554432000 4194304 5964478 140736928343168 140206361971000 4400071 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1164.35
Current children cumulated vsize (KiB) 408116
[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.98 5/181 29171
/proc/meminfo: memFree=30606744/32873648 swapFree=7112/7112
[pid=29099] ppid=29097 vsize=410860 CPUtime=1284.33 cores=1,3,5,7
/proc/29099/stat : 29099 (pwbo2.01) S 29097 29099 26380 0 -1 4202496 72445 0 0 0 128364 69 0 0 20 0 3 0 286007624 420720640 74085 33554432000 4194304 5964478 140736928343168 140736928342688 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29099/statm: 102715 74085 204 433 0 102279 0
[pid=29099/tid=29100] ppid=29097 vsize=410860 CPUtime=642.24 cores=1,3,5,7
/proc/29099/task/29100/stat : 29100 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 24209 0 0 0 64190 34 0 0 20 0 3 0 286007625 420720640 74085 33554432000 4194304 5964478 140736928343168 140206372460536 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29099/tid=29101] ppid=29097 vsize=410860 CPUtime=642.23 cores=1,3,5,7
/proc/29099/task/29101/stat : 29101 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 47422 0 0 0 64169 54 0 0 20 0 3 0 286007625 420720640 74085 33554432000 4194304 5964478 140736928343168 140206361971000 4400071 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1284.33
Current children cumulated vsize (KiB) 410860
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.98 5/181 29171
/proc/meminfo: memFree=30516140/32873648 swapFree=7112/7112
[pid=29099] ppid=29097 vsize=414220 CPUtime=1404.3 cores=1,3,5,7
/proc/29099/stat : 29099 (pwbo2.01) S 29097 29099 26380 0 -1 4202496 77184 0 0 0 140355 75 0 0 20 0 3 0 286007624 424161280 78804 33554432000 4194304 5964478 140736928343168 140736928342688 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29099/statm: 103555 78804 204 433 0 103119 0
[pid=29099/tid=29100] ppid=29097 vsize=414220 CPUtime=702.23 cores=1,3,5,7
/proc/29099/task/29100/stat : 29100 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 25690 0 0 0 70186 37 0 0 20 0 3 0 286007625 424161280 78804 33554432000 4194304 5964478 140736928343168 140206372460584 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29099/tid=29101] ppid=29097 vsize=414220 CPUtime=702.23 cores=1,3,5,7
/proc/29099/task/29101/stat : 29101 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 50680 0 0 0 70164 59 0 0 20 0 3 0 286007625 424161280 78804 33554432000 4194304 5964478 140736928343168 140206361971000 4400071 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1404.3
Current children cumulated vsize (KiB) 414220
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.98 5/181 29171
/proc/meminfo: memFree=30483696/32873648 swapFree=7116/7116
[pid=29099] ppid=29097 vsize=425932 CPUtime=1524.29 cores=1,3,5,7
/proc/29099/stat : 29099 (pwbo2.01) S 29097 29099 26380 0 -1 4202496 82409 0 0 0 152350 79 0 0 20 0 3 0 286007624 436154368 84010 33554432000 4194304 5964478 140736928343168 140736928342688 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29099/statm: 106483 84010 204 433 0 106047 0
[pid=29099/tid=29100] ppid=29097 vsize=425932 CPUtime=762.24 cores=1,3,5,7
/proc/29099/task/29100/stat : 29100 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 25889 0 0 0 76186 38 0 0 20 0 3 0 286007625 436154368 84010 33554432000 4194304 5964478 140736928343168 140206372460584 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29099/tid=29101] ppid=29097 vsize=425932 CPUtime=762.23 cores=1,3,5,7
/proc/29099/task/29101/stat : 29101 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 55706 0 0 0 76159 64 0 0 20 0 3 0 286007625 436154368 84010 33554432000 4194304 5964478 140736928343168 140206361971048 4400075 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1524.29
Current children cumulated vsize (KiB) 425932
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.98 5/180 29171
/proc/meminfo: memFree=30432920/32873648 swapFree=7112/7112
[pid=29099] ppid=29097 vsize=502268 CPUtime=1644.27 cores=1,3,5,7
/proc/29099/stat : 29099 (pwbo2.01) S 29097 29099 26380 0 -1 4202496 91305 0 0 0 164338 89 0 0 20 0 3 0 286007624 514322432 92881 33554432000 4194304 5964478 140736928343168 140736928342688 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29099/statm: 125567 92881 204 433 0 125131 0
[pid=29099/tid=29100] ppid=29097 vsize=502268 CPUtime=822.23 cores=1,3,5,7
/proc/29099/task/29100/stat : 29100 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 27257 0 0 0 82182 41 0 0 20 0 3 0 286007625 514322432 92881 33554432000 4194304 5964478 140736928343168 140206372460584 4400075 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29099/tid=29101] ppid=29097 vsize=502268 CPUtime=822.22 cores=1,3,5,7
/proc/29099/task/29101/stat : 29101 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 63234 0 0 0 82149 73 0 0 20 0 3 0 286007625 514322432 92881 33554432000 4194304 5964478 140736928343168 140206361970808 4400051 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1644.27
Current children cumulated vsize (KiB) 502268
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.98 5/181 29172
/proc/meminfo: memFree=30414020/32873648 swapFree=7112/7112
[pid=29099] ppid=29097 vsize=507032 CPUtime=1764.22 cores=1,3,5,7
/proc/29099/stat : 29099 (pwbo2.01) S 29097 29099 26380 0 -1 4202496 94568 0 0 0 176329 93 0 0 20 0 3 0 286007624 519200768 96247 33554432000 4194304 5964478 140736928343168 140736928342688 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29099/statm: 126758 96247 204 433 0 126322 0
[pid=29099/tid=29100] ppid=29097 vsize=507032 CPUtime=882.22 cores=1,3,5,7
/proc/29099/task/29100/stat : 29100 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 28399 0 0 0 88179 43 0 0 20 0 3 0 286007625 519200768 96247 33554432000 4194304 5964478 140736928343168 140206372460584 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29099/tid=29101] ppid=29097 vsize=507032 CPUtime=882.2 cores=1,3,5,7
/proc/29099/task/29101/stat : 29101 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 65355 0 0 0 88143 77 0 0 20 0 3 0 286007625 519200768 96247 33554432000 4194304 5964478 140736928343168 140206361971000 4399904 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1764.22
Current children cumulated vsize (KiB) 507032
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.2 s]
/proc/loadavg: 4.00 4.00 3.98 5/181 29172
/proc/meminfo: memFree=30402416/32873648 swapFree=7112/7112
[pid=29099] ppid=29097 vsize=507732 CPUtime=1800.02 cores=1,3,5,7
/proc/29099/stat : 29099 (pwbo2.01) S 29097 29099 26380 0 -1 4202496 97299 0 0 0 179905 97 0 0 20 0 3 0 286007624 519917568 99097 33554432000 4194304 5964478 140736928343168 140736928342688 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29099/statm: 126933 99097 204 433 0 126497 0
[pid=29099/tid=29100] ppid=29097 vsize=507732 CPUtime=900.12 cores=1,3,5,7
/proc/29099/task/29100/stat : 29100 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 30239 0 0 0 89967 45 0 0 20 0 3 0 286007625 519917568 99097 33554432000 4194304 5964478 140736928343168 140206372460536 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=29099/tid=29101] ppid=29097 vsize=507732 CPUtime=900.11 cores=1,3,5,7
/proc/29099/task/29101/stat : 29101 (pwbo2.01) R 29097 29099 26380 0 -1 4202560 66246 0 0 0 89932 79 0 0 20 0 3 0 286007625 519917568 99097 33554432000 4194304 5964478 140736928343168 140206361971000 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 507732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 900.219
CPU time (s): 1800.28
CPU user time (s): 1799.02
CPU system time (s): 1.26281
CPU usage (%): 199.982
Max. virtual memory (cumulated for all children) (KiB): 507732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.02
system time used= 1.26281
maximum resident set size= 396400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97302
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= 271
involuntary context switches= 2180
runsolver used 2.04969 second user time and 4.85626 second system time
The end