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-3712638-1338206524/watcher-3712638-1338206524 -o /tmp/evaluation-result-3712638-1338206524/solver-3712638-1338206524 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712638-1338206524.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: 3.84 3.97 3.99 4/178 23010
/proc/meminfo: memFree=30394504/32873844 swapFree=6080/6080
[pid=23010] ppid=23008 vsize=162744 CPUtime=0 cores=1,3,5,7
/proc/23010/stat : 23010 (pwbo2.01) S 23008 23010 20249 0 -1 4202496 1114 0 0 0 0 0 0 0 20 0 3 0 286776995 166649856 1060 33554432000 4194304 5964478 140734644826736 140734644826256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23010/statm: 40686 1060 186 433 0 40250 0
[pid=23010/tid=23011] ppid=23008 vsize=162744 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23011/stat : 23011 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 134 0 0 0 0 0 0 0 20 0 3 0 286776995 166649856 1060 33554432000 4194304 5964478 140734644826736 140120733018824 4419032 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23010/tid=23012] ppid=23008 vsize=162744 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23012/stat : 23012 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 109 0 0 0 0 0 0 0 20 0 3 0 286776995 166649856 1062 33554432000 4194304 5964478 140734644826736 140120722528504 4400612 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[startup+0.0365 s]
/proc/loadavg: 3.84 3.97 3.99 4/178 23010
/proc/meminfo: memFree=30394504/32873844 swapFree=6080/6080
[pid=23010] ppid=23008 vsize=163928 CPUtime=0.05 cores=1,3,5,7
/proc/23010/stat : 23010 (pwbo2.01) S 23008 23010 20249 0 -1 4202496 2281 0 0 0 5 0 0 0 20 0 3 0 286776995 167862272 2208 33554432000 4194304 5964478 140734644826736 140734644826256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23010/statm: 40982 2208 202 433 0 40546 0
[pid=23010/tid=23011] ppid=23008 vsize=163928 CPUtime=0.02 cores=1,3,5,7
/proc/23010/task/23011/stat : 23011 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 294 0 0 0 2 0 0 0 20 0 3 0 286776995 167862272 2208 33554432000 4194304 5964478 140734644826736 140120733018104 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23010/tid=23012] ppid=23008 vsize=163928 CPUtime=0.02 cores=1,3,5,7
/proc/23010/task/23012/stat : 23012 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 1116 0 0 0 2 0 0 0 20 0 3 0 286776995 167862272 2208 33554432000 4194304 5964478 140734644826736 140120722528376 4399910 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 163928
[startup+0.100395 s]
/proc/loadavg: 3.84 3.97 3.99 4/178 23010
/proc/meminfo: memFree=30394504/32873844 swapFree=6080/6080
[pid=23010] ppid=23008 vsize=163928 CPUtime=0.18 cores=1,3,5,7
/proc/23010/stat : 23010 (pwbo2.01) S 23008 23010 20249 0 -1 4202496 2616 0 0 0 18 0 0 0 20 0 3 0 286776995 167862272 2543 33554432000 4194304 5964478 140734644826736 140734644826256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23010/statm: 40982 2543 202 433 0 40546 0
[pid=23010/tid=23011] ppid=23008 vsize=163928 CPUtime=0.08 cores=1,3,5,7
/proc/23010/task/23011/stat : 23011 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 603 0 0 0 8 0 0 0 20 0 3 0 286776995 167862272 2543 33554432000 4194304 5964478 140734644826736 140120733018104 4400026 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23010/tid=23012] ppid=23008 vsize=163928 CPUtime=0.08 cores=1,3,5,7
/proc/23010/task/23012/stat : 23012 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 1142 0 0 0 8 0 0 0 20 0 3 0 286776995 167862272 2543 33554432000 4194304 5964478 140734644826736 140120722528376 4399792 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 163928
[startup+0.30033 s]
/proc/loadavg: 3.84 3.97 3.99 4/178 23010
/proc/meminfo: memFree=30394504/32873844 swapFree=6080/6080
[pid=23010] ppid=23008 vsize=163928 CPUtime=0.58 cores=1,3,5,7
/proc/23010/stat : 23010 (pwbo2.01) S 23008 23010 20249 0 -1 4202496 3388 0 0 0 57 1 0 0 20 0 3 0 286776995 167862272 3315 33554432000 4194304 5964478 140734644826736 140734644826256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23010/statm: 40982 3315 202 433 0 40546 0
[pid=23010/tid=23011] ppid=23008 vsize=163928 CPUtime=0.28 cores=1,3,5,7
/proc/23010/task/23011/stat : 23011 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 1287 0 0 0 28 0 0 0 20 0 3 0 286776995 167862272 3316 33554432000 4194304 5964478 140734644826736 140120733018104 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23010/tid=23012] ppid=23008 vsize=163928 CPUtime=0.28 cores=1,3,5,7
/proc/23010/task/23012/stat : 23012 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 1231 0 0 0 28 0 0 0 20 0 3 0 286776995 167862272 3316 33554432000 4194304 5964478 140734644826736 140120722528568 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 163928
[startup+0.700289 s]
/proc/loadavg: 3.84 3.97 3.99 4/178 23010
/proc/meminfo: memFree=30394504/32873844 swapFree=6080/6080
[pid=23010] ppid=23008 vsize=163928 CPUtime=1.38 cores=1,3,5,7
/proc/23010/stat : 23010 (pwbo2.01) S 23008 23010 20249 0 -1 4202496 4018 0 0 0 137 1 0 0 20 0 3 0 286776995 167862272 3945 33554432000 4194304 5964478 140734644826736 140734644826256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23010/statm: 40982 3945 204 433 0 40546 0
[pid=23010/tid=23011] ppid=23008 vsize=163928 CPUtime=0.68 cores=1,3,5,7
/proc/23010/task/23011/stat : 23011 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 1740 0 0 0 66 2 0 0 20 0 3 0 286776995 167862272 3945 33554432000 4194304 5964478 140734644826736 140120733018152 4409232 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23010/tid=23012] ppid=23008 vsize=163928 CPUtime=0.68 cores=1,3,5,7
/proc/23010/task/23012/stat : 23012 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 1407 0 0 0 68 0 0 0 20 0 3 0 286776995 167862272 3945 33554432000 4194304 5964478 140734644826736 140120722528616 5136404 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 163928
[startup+1.50032 s]
/proc/loadavg: 3.84 3.97 3.99 5/181 23013
/proc/meminfo: memFree=30379120/32873844 swapFree=6080/6080
[pid=23010] ppid=23008 vsize=164060 CPUtime=2.98 cores=1,3,5,7
/proc/23010/stat : 23010 (pwbo2.01) S 23008 23010 20249 0 -1 4202496 4349 0 0 0 297 1 0 0 20 0 3 0 286776995 167997440 4276 33554432000 4194304 5964478 140734644826736 140734644826256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23010/statm: 41015 4276 204 433 0 40579 0
[pid=23010/tid=23011] ppid=23008 vsize=164060 CPUtime=1.48 cores=1,3,5,7
/proc/23010/task/23011/stat : 23011 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 1740 0 0 0 146 2 0 0 20 0 3 0 286776995 167997440 4276 33554432000 4194304 5964478 140734644826736 140120733018440 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23010/tid=23012] ppid=23008 vsize=164060 CPUtime=1.48 cores=1,3,5,7
/proc/23010/task/23012/stat : 23012 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 1738 0 0 0 148 0 0 0 20 0 3 0 286776995 167997440 4276 33554432000 4194304 5964478 140734644826736 140120722528568 4391766 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 164060
[startup+3.10035 s]
/proc/loadavg: 3.84 3.97 3.99 5/181 23013
/proc/meminfo: memFree=30377136/32873844 swapFree=6080/6080
[pid=23010] ppid=23008 vsize=164540 CPUtime=6.18 cores=1,3,5,7
/proc/23010/stat : 23010 (pwbo2.01) S 23008 23010 20249 0 -1 4202496 5406 0 0 0 616 2 0 0 20 0 3 0 286776995 168488960 5333 33554432000 4194304 5964478 140734644826736 140734644826256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23010/statm: 41135 5334 204 433 0 40699 0
[pid=23010/tid=23011] ppid=23008 vsize=164540 CPUtime=3.08 cores=1,3,5,7
/proc/23010/task/23011/stat : 23011 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 2213 0 0 0 306 2 0 0 20 0 3 0 286776995 168488960 5334 33554432000 4194304 5964478 140734644826736 140120733018104 4400081 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23010/tid=23012] ppid=23008 vsize=164540 CPUtime=3.07 cores=1,3,5,7
/proc/23010/task/23012/stat : 23012 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 2323 0 0 0 307 0 0 0 20 0 3 0 286776995 168488960 5334 33554432000 4194304 5964478 140734644826736 140120722528616 4399899 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 164540
[startup+6.30037 s]
/proc/loadavg: 3.86 3.97 3.99 5/181 23013
/proc/meminfo: memFree=30366844/32873844 swapFree=6080/6080
[pid=23010] ppid=23008 vsize=165200 CPUtime=12.58 cores=1,3,5,7
/proc/23010/stat : 23010 (pwbo2.01) S 23008 23010 20249 0 -1 4202496 7762 0 0 0 1255 3 0 0 20 0 3 0 286776995 169164800 7689 33554432000 4194304 5964478 140734644826736 140734644826256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23010/statm: 41300 7689 204 433 0 40864 0
[pid=23010/tid=23011] ppid=23008 vsize=165200 CPUtime=6.26 cores=1,3,5,7
/proc/23010/task/23011/stat : 23011 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 3764 0 0 0 624 2 0 0 20 0 3 0 286776995 169164800 7689 33554432000 4194304 5964478 140734644826736 140120733018104 4381843 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23010/tid=23012] ppid=23008 vsize=165200 CPUtime=6.26 cores=1,3,5,7
/proc/23010/task/23012/stat : 23012 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 3127 0 0 0 626 0 0 0 20 0 3 0 286776995 169164800 7689 33554432000 4194304 5964478 140734644826736 140120722528568 5136404 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 165200
[startup+12.7003 s]
/proc/loadavg: 3.87 3.97 3.99 5/181 23013
/proc/meminfo: memFree=30354576/32873844 swapFree=6080/6080
[pid=23010] ppid=23008 vsize=165752 CPUtime=25.37 cores=1,3,5,7
/proc/23010/stat : 23010 (pwbo2.01) S 23008 23010 20249 0 -1 4202496 10125 0 0 0 2534 3 0 0 20 0 3 0 286776995 169730048 10052 33554432000 4194304 5964478 140734644826736 140734644826256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23010/statm: 41438 10052 204 433 0 41002 0
[pid=23010/tid=23011] ppid=23008 vsize=165752 CPUtime=12.65 cores=1,3,5,7
/proc/23010/task/23011/stat : 23011 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 5582 0 0 0 1263 2 0 0 20 0 3 0 286776995 169730048 10052 33554432000 4194304 5964478 140734644826736 140120733018104 4399899 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23010/tid=23012] ppid=23008 vsize=165752 CPUtime=12.65 cores=1,3,5,7
/proc/23010/task/23012/stat : 23012 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 3672 0 0 0 1264 1 0 0 20 0 3 0 286776995 169730048 10052 33554432000 4194304 5964478 140734644826736 140120722528376 4400040 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 165752
[startup+25.5004 s]
/proc/loadavg: 3.90 3.97 3.99 5/181 23013
/proc/meminfo: memFree=30330380/32873844 swapFree=6080/6080
[pid=23010] ppid=23008 vsize=166396 CPUtime=50.98 cores=1,3,5,7
/proc/23010/stat : 23010 (pwbo2.01) S 23008 23010 20249 0 -1 4202496 15881 0 0 0 5089 9 0 0 20 0 3 0 286776995 170389504 15808 33554432000 4194304 5964478 140734644826736 140734644826256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23010/statm: 41599 15808 204 433 0 41163 0
[pid=23010/tid=23011] ppid=23008 vsize=166396 CPUtime=25.41 cores=1,3,5,7
/proc/23010/task/23011/stat : 23011 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 9960 0 0 0 2536 5 0 0 20 0 3 0 286776995 170389504 15808 33554432000 4194304 5964478 140734644826736 140120733018104 4389148 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23010/tid=23012] ppid=23008 vsize=166396 CPUtime=25.41 cores=1,3,5,7
/proc/23010/task/23012/stat : 23012 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 5050 0 0 0 2539 2 0 0 20 0 3 0 286776995 170389504 15808 33554432000 4194304 5964478 140734644826736 140120722528616 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 166396
[startup+51.1004 s]
/proc/loadavg: 3.99 3.99 3.99 5/181 23014
/proc/meminfo: memFree=30278068/32873844 swapFree=6080/6080
[pid=23010] ppid=23008 vsize=167600 CPUtime=102.17 cores=1,3,5,7
/proc/23010/stat : 23010 (pwbo2.01) S 23008 23010 20249 0 -1 4202496 23004 0 0 0 10202 15 0 0 20 0 3 0 286776995 171622400 22931 33554432000 4194304 5964478 140734644826736 140734644826256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23010/statm: 41900 22931 204 433 0 41464 0
[pid=23010/tid=23011] ppid=23008 vsize=167600 CPUtime=50.95 cores=1,3,5,7
/proc/23010/task/23011/stat : 23011 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 15140 0 0 0 5085 10 0 0 20 0 3 0 286776995 171622400 22931 33554432000 4194304 5964478 140734644826736 140120733018104 4409269 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23010/tid=23012] ppid=23008 vsize=167600 CPUtime=50.95 cores=1,3,5,7
/proc/23010/task/23012/stat : 23012 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 6993 0 0 0 5090 5 0 0 20 0 3 0 286776995 171622400 22931 33554432000 4194304 5964478 140734644826736 140120722528568 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 167600
[startup+102.307 s]
/proc/loadavg: 3.99 3.99 3.99 5/181 23014
/proc/meminfo: memFree=30199756/32873844 swapFree=6080/6080
[pid=23010] ppid=23008 vsize=233996 CPUtime=204.56 cores=1,3,5,7
/proc/23010/stat : 23010 (pwbo2.01) S 23008 23010 20249 0 -1 4202496 28227 0 0 0 20437 19 0 0 20 0 3 0 286776995 239611904 28053 33554432000 4194304 5964478 140734644826736 140734644826256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23010/statm: 58499 28053 204 433 0 58063 0
[pid=23010/tid=23011] ppid=23008 vsize=233996 CPUtime=102.02 cores=1,3,5,7
/proc/23010/task/23011/stat : 23011 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 17921 0 0 0 10189 13 0 0 20 0 3 0 286776995 239611904 28053 33554432000 4194304 5964478 140734644826736 140120733019064 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23010/tid=23012] ppid=23008 vsize=233996 CPUtime=102.02 cores=1,3,5,7
/proc/23010/task/23012/stat : 23012 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 9435 0 0 0 10194 8 0 0 20 0 3 0 286776995 239611904 28053 33554432000 4194304 5964478 140734644826736 140120722528568 4221072 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 204.56
Current children cumulated vsize (KiB) 233996
[startup+162.3 s]
/proc/loadavg: 3.99 3.99 3.99 5/181 23014
/proc/meminfo: memFree=30116048/32873844 swapFree=6080/6080
[pid=23010] ppid=23008 vsize=235980 CPUtime=324.53 cores=1,3,5,7
/proc/23010/stat : 23010 (pwbo2.01) S 23008 23010 20249 0 -1 4202496 36601 0 0 0 32422 31 0 0 20 0 3 0 286776995 241643520 36427 33554432000 4194304 5964478 140734644826736 140734644826256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23010/statm: 58995 36427 204 433 0 58559 0
[pid=23010/tid=23011] ppid=23008 vsize=235980 CPUtime=161.87 cores=1,3,5,7
/proc/23010/task/23011/stat : 23011 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 23590 0 0 0 16166 21 0 0 20 0 3 0 286776995 241643520 36427 33554432000 4194304 5964478 140734644826736 140120733017912 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23010/tid=23012] ppid=23008 vsize=235980 CPUtime=161.86 cores=1,3,5,7
/proc/23010/task/23012/stat : 23012 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 12140 0 0 0 16173 13 0 0 20 0 3 0 286776995 241643520 36427 33554432000 4194304 5964478 140734644826736 140120722528616 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 324.53
Current children cumulated vsize (KiB) 235980
[startup+222.3 s]
/proc/loadavg: 3.99 3.99 3.99 5/181 23014
/proc/meminfo: memFree=30105268/32873844 swapFree=6080/6080
[pid=23010] ppid=23008 vsize=237524 CPUtime=444.52 cores=1,3,5,7
/proc/23010/stat : 23010 (pwbo2.01) S 23008 23010 20249 0 -1 4202496 38972 0 0 0 44417 35 0 0 20 0 3 0 286776995 243224576 38798 33554432000 4194304 5964478 140734644826736 140734644826256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23010/statm: 59381 38798 204 433 0 58945 0
[pid=23010/tid=23011] ppid=23008 vsize=237524 CPUtime=221.71 cores=1,3,5,7
/proc/23010/task/23011/stat : 23011 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 25060 0 0 0 22147 24 0 0 20 0 3 0 286776995 243224576 38798 33554432000 4194304 5964478 140734644826736 140120733018104 4389154 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23010/tid=23012] ppid=23008 vsize=237524 CPUtime=221.71 cores=1,3,5,7
/proc/23010/task/23012/stat : 23012 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 13041 0 0 0 22155 16 0 0 20 0 3 0 286776995 243224576 38798 33554432000 4194304 5964478 140734644826736 140120722528328 4400603 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 444.52
Current children cumulated vsize (KiB) 237524
################
# More data... #
################
[pid=23010/tid=23012] ppid=23008 vsize=305656 CPUtime=341.4 cores=1,3,5,7
/proc/23010/task/23012/stat : 23012 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 17234 0 0 0 34117 23 0 0 20 0 3 0 286776995 312991744 56585 33554432000 4194304 5964478 140734644826736 140120722528568 4400008 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 684.48
Current children cumulated vsize (KiB) 305656
[startup+402.3 s]
/proc/loadavg: 3.99 3.99 3.99 5/181 23015
/proc/meminfo: memFree=29916344/32873844 swapFree=6080/6080
[pid=23010] ppid=23008 vsize=306996 CPUtime=804.46 cores=1,3,5,7
/proc/23010/stat : 23010 (pwbo2.01) S 23008 23010 20249 0 -1 4202496 65272 0 0 0 80367 79 0 0 20 0 3 0 286776995 314363904 65098 33554432000 4194304 5964478 140734644826736 140734644826256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23010/statm: 76749 65098 204 433 0 76313 0
[pid=23010/tid=23011] ppid=23008 vsize=306996 CPUtime=401.25 cores=1,3,5,7
/proc/23010/task/23011/stat : 23011 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 46211 0 0 0 40060 65 0 0 20 0 3 0 286776995 314363904 65098 33554432000 4194304 5964478 140734644826736 140120733018104 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23010/tid=23012] ppid=23008 vsize=306996 CPUtime=401.25 cores=1,3,5,7
/proc/23010/task/23012/stat : 23012 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 18190 0 0 0 40099 26 0 0 20 0 3 0 286776995 314363904 65098 33554432000 4194304 5964478 140734644826736 140120722528616 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 804.46
Current children cumulated vsize (KiB) 306996
[startup+462.3 s]
/proc/loadavg: 3.99 3.99 3.99 5/181 23015
/proc/meminfo: memFree=29821708/32873844 swapFree=6080/6080
[pid=23010] ppid=23008 vsize=372816 CPUtime=924.44 cores=1,3,5,7
/proc/23010/stat : 23010 (pwbo2.01) S 23008 23010 20249 0 -1 4202496 72214 0 0 0 92356 88 0 0 20 0 3 0 286776995 381763584 72040 33554432000 4194304 5964478 140734644826736 140734644826256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23010/statm: 93204 72040 204 433 0 92768 0
[pid=23010/tid=23011] ppid=23008 vsize=372816 CPUtime=461.1 cores=1,3,5,7
/proc/23010/task/23011/stat : 23011 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 53084 0 0 0 46037 73 0 0 20 0 3 0 286776995 381763584 72040 33554432000 4194304 5964478 140734644826736 140120733018152 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23010/tid=23012] ppid=23008 vsize=372816 CPUtime=461.09 cores=1,3,5,7
/proc/23010/task/23012/stat : 23012 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 18259 0 0 0 46082 27 0 0 20 0 3 0 286776995 381763584 72040 33554432000 4194304 5964478 140734644826736 140120722528328 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 924.44
Current children cumulated vsize (KiB) 372816
[startup+522.3 s]
/proc/loadavg: 3.99 3.99 3.99 5/182 23018
/proc/meminfo: memFree=29723412/32873844 swapFree=6080/6080
[pid=23010] ppid=23008 vsize=373572 CPUtime=1044.39 cores=1,3,5,7
/proc/23010/stat : 23010 (pwbo2.01) S 23008 23010 20249 0 -1 4202496 75671 0 0 0 104346 93 0 0 20 0 3 0 286776995 382537728 75976 33554432000 4194304 5964478 140734644826736 140734644826256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23010/statm: 93393 75976 204 433 0 92957 0
[pid=23010/tid=23011] ppid=23008 vsize=373572 CPUtime=520.91 cores=1,3,5,7
/proc/23010/task/23011/stat : 23011 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 56496 0 0 0 52011 80 0 0 20 0 3 0 286776995 382537728 75976 33554432000 4194304 5964478 140734644826736 140120733017912 4399916 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23010/tid=23012] ppid=23008 vsize=373572 CPUtime=520.94 cores=1,3,5,7
/proc/23010/task/23012/stat : 23012 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 18304 0 0 0 52067 27 0 0 20 0 3 0 286776995 382537728 75976 33554432000 4194304 5964478 140734644826736 140120722528328 4387980 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1044.39
Current children cumulated vsize (KiB) 373572
[startup+582.3 s]
/proc/loadavg: 3.99 3.99 3.99 5/181 23018
/proc/meminfo: memFree=29688728/32873844 swapFree=6080/6080
[pid=23010] ppid=23008 vsize=440232 CPUtime=1164.31 cores=1,3,5,7
/proc/23010/stat : 23010 (pwbo2.01) S 23008 23010 20249 0 -1 4202496 81597 0 0 0 116328 103 0 0 20 0 3 0 286776995 450797568 82087 33554432000 4194304 5964478 140734644826736 140734644826256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23010/statm: 110058 82087 204 433 0 109622 0
[pid=23010/tid=23011] ppid=23008 vsize=440232 CPUtime=580.7 cores=1,3,5,7
/proc/23010/task/23011/stat : 23011 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 60701 0 0 0 57982 88 0 0 20 0 3 0 286776995 450797568 82087 33554432000 4194304 5964478 140734644826736 140120733017912 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23010/tid=23012] ppid=23008 vsize=440232 CPUtime=580.78 cores=1,3,5,7
/proc/23010/task/23012/stat : 23012 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 20025 0 0 0 58047 31 0 0 20 0 3 0 286776995 450797568 82087 33554432000 4194304 5964478 140734644826736 140120722528376 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1164.31
Current children cumulated vsize (KiB) 440232
[startup+642.3 s]
/proc/loadavg: 3.99 3.99 3.99 5/180 23018
/proc/meminfo: memFree=29647472/32873844 swapFree=6080/6080
[pid=23010] ppid=23008 vsize=506624 CPUtime=1284.25 cores=1,3,5,7
/proc/23010/stat : 23010 (pwbo2.01) S 23008 23010 20249 0 -1 4202496 91489 0 0 0 128303 122 0 0 20 0 3 0 286776995 518782976 91967 33554432000 4194304 5964478 140734644826736 140734644826256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23010/statm: 126656 91967 204 433 0 126220 0
[pid=23010/tid=23011] ppid=23008 vsize=506624 CPUtime=640.52 cores=1,3,5,7
/proc/23010/task/23011/stat : 23011 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 67493 0 0 0 63949 103 0 0 20 0 3 0 286776995 518782976 91967 33554432000 4194304 5964478 140734644826736 140120733017912 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23010/tid=23012] ppid=23008 vsize=506624 CPUtime=640.62 cores=1,3,5,7
/proc/23010/task/23012/stat : 23012 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 23125 0 0 0 64025 37 0 0 20 0 3 0 286776995 518782976 91967 33554432000 4194304 5964478 140734644826736 140120722528568 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1284.25
Current children cumulated vsize (KiB) 506624
[startup+702.3 s]
/proc/loadavg: 3.99 3.99 3.99 5/181 23019
/proc/meminfo: memFree=29544036/32873844 swapFree=6080/6080
[pid=23010] ppid=23008 vsize=506944 CPUtime=1404.21 cores=1,3,5,7
/proc/23010/stat : 23010 (pwbo2.01) S 23008 23010 20249 0 -1 4202496 99933 0 0 0 140284 137 0 0 20 0 3 0 286776995 519110656 101633 33554432000 4194304 5964478 140734644826736 140734644826256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23010/statm: 126736 101633 204 433 0 126300 0
[pid=23010/tid=23011] ppid=23008 vsize=506944 CPUtime=700.36 cores=1,3,5,7
/proc/23010/task/23011/stat : 23011 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 73340 0 0 0 69922 114 0 0 20 0 3 0 286776995 519110656 101633 33554432000 4194304 5964478 140734644826736 140120733017704 4389148 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23010/tid=23012] ppid=23008 vsize=506944 CPUtime=700.44 cores=1,3,5,7
/proc/23010/task/23012/stat : 23012 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 25722 0 0 0 70003 41 0 0 20 0 3 0 286776995 519110656 101633 33554432000 4194304 5964478 140734644826736 140120722528568 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1404.21
Current children cumulated vsize (KiB) 506944
[startup+762.307 s]
/proc/loadavg: 3.99 3.99 3.99 5/181 23019
/proc/meminfo: memFree=29428000/32873844 swapFree=6080/6080
[pid=23010] ppid=23008 vsize=508480 CPUtime=1524.19 cores=1,3,5,7
/proc/23010/stat : 23010 (pwbo2.01) S 23008 23010 20249 0 -1 4202496 106577 0 0 0 152272 147 0 0 20 0 3 0 286776995 520683520 108277 33554432000 4194304 5964478 140734644826736 140734644826256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23010/statm: 127120 108277 204 433 0 126684 0
[pid=23010/tid=23011] ppid=23008 vsize=508480 CPUtime=760.21 cores=1,3,5,7
/proc/23010/task/23011/stat : 23011 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 78230 0 0 0 75898 123 0 0 20 0 3 0 286776995 520683520 108277 33554432000 4194304 5964478 140734644826736 140120733018120 4399922 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23010/tid=23012] ppid=23008 vsize=508480 CPUtime=760.29 cores=1,3,5,7
/proc/23010/task/23012/stat : 23012 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 27476 0 0 0 75984 45 0 0 20 0 3 0 286776995 520683520 108277 33554432000 4194304 5964478 140734644826736 140120722528376 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1524.19
Current children cumulated vsize (KiB) 508480
[startup+822.3 s]
/proc/loadavg: 3.11 3.77 3.92 3/173 23044
/proc/meminfo: memFree=30678592/32873844 swapFree=6080/6080
[pid=23010] ppid=23008 vsize=574016 CPUtime=1644.15 cores=1,3,5,7
/proc/23010/stat : 23010 (pwbo2.01) S 23008 23010 20249 0 -1 4202496 112046 0 0 0 164254 161 0 0 20 0 3 0 286776995 587792384 113753 33554432000 4194304 5964478 140734644826736 140734644826256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23010/statm: 143504 113753 204 433 0 143068 0
[pid=23010/tid=23011] ppid=23008 vsize=574016 CPUtime=820.05 cores=1,3,5,7
/proc/23010/task/23011/stat : 23011 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 83685 0 0 0 81867 138 0 0 20 0 3 0 286776995 587792384 113753 33554432000 4194304 5964478 140734644826736 140120733018152 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23010/tid=23012] ppid=23008 vsize=574016 CPUtime=820.11 cores=1,3,5,7
/proc/23010/task/23012/stat : 23012 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 27490 0 0 0 81965 46 0 0 20 0 3 0 286776995 587792384 113753 33554432000 4194304 5964478 140734644826736 140120722528376 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1644.15
Current children cumulated vsize (KiB) 574016
[startup+882.3 s]
/proc/loadavg: 2.41 3.44 3.80 3/173 23044
/proc/meminfo: memFree=30666432/32873844 swapFree=6080/6080
[pid=23010] ppid=23008 vsize=574016 CPUtime=1764.09 cores=1,3,5,7
/proc/23010/stat : 23010 (pwbo2.01) S 23008 23010 20249 0 -1 4202496 114896 0 0 0 176242 167 0 0 20 0 3 0 286776995 587792384 116680 33554432000 4194304 5964478 140734644826736 140734644826256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23010/statm: 143504 116680 204 433 0 143068 0
[pid=23010/tid=23011] ppid=23008 vsize=574016 CPUtime=879.85 cores=1,3,5,7
/proc/23010/task/23011/stat : 23011 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 86530 0 0 0 87840 145 0 0 20 0 3 0 286776995 587792384 116680 33554432000 4194304 5964478 140734644826736 140120733017912 4389131 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23010/tid=23012] ppid=23008 vsize=574016 CPUtime=879.96 cores=1,3,5,7
/proc/23010/task/23012/stat : 23012 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 27495 0 0 0 87949 47 0 0 20 0 3 0 286776995 587792384 116680 33554432000 4194304 5964478 140734644826736 140120722528376 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1764.09
Current children cumulated vsize (KiB) 574016
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 2.29 3.35 3.76 3/173 23044
/proc/meminfo: memFree=30660888/32873844 swapFree=6080/6080
[pid=23010] ppid=23008 vsize=574016 CPUtime=1800.08 cores=1,3,5,7
/proc/23010/stat : 23010 (pwbo2.01) S 23008 23010 20249 0 -1 4202496 116272 0 0 0 179839 169 0 0 20 0 3 0 286776995 587792384 118081 33554432000 4194304 5964478 140734644826736 140734644826256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23010/statm: 143504 118081 204 433 0 143068 0
[pid=23010/tid=23011] ppid=23008 vsize=574016 CPUtime=897.8 cores=1,3,5,7
/proc/23010/task/23011/stat : 23011 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 87906 0 0 0 89633 147 0 0 20 0 3 0 286776995 587792384 118081 33554432000 4194304 5964478 140734644826736 140120733018104 4403351 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23010/tid=23012] ppid=23008 vsize=574016 CPUtime=897.92 cores=1,3,5,7
/proc/23010/task/23012/stat : 23012 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 27495 0 0 0 89745 47 0 0 20 0 3 0 286776995 587792384 118081 33554432000 4194304 5964478 140734644826736 140120722528376 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 574016
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: 2.29 3.35 3.76 3/173 23044
/proc/meminfo: memFree=30660888/32873844 swapFree=6080/6080
[pid=23010] ppid=23008 vsize=574016 CPUtime=1800.08 cores=1,3,5,7
/proc/23010/stat : 23010 (pwbo2.01) S 23008 23010 20249 0 -1 4202496 116272 0 0 0 179839 169 0 0 20 0 3 0 286776995 587792384 118081 33554432000 4194304 5964478 140734644826736 140734644826256 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23010/statm: 143504 118081 204 433 0 143068 0
[pid=23010/tid=23011] ppid=23008 vsize=574016 CPUtime=897.8 cores=1,3,5,7
/proc/23010/task/23011/stat : 23011 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 87906 0 0 0 89633 147 0 0 20 0 3 0 286776995 587792384 118081 33554432000 4194304 5964478 140734644826736 140120733018104 4403351 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23010/tid=23012] ppid=23008 vsize=574016 CPUtime=897.92 cores=1,3,5,7
/proc/23010/task/23012/stat : 23012 (pwbo2.01) R 23008 23010 20249 0 -1 4202560 27495 0 0 0 89745 47 0 0 20 0 3 0 286776995 587792384 118081 33554432000 4194304 5964478 140734644826736 140120722528376 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 574016
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23010 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=790302
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=971700
# CPU time returned by wait4() is 1795.76
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.317
CPU time (s): 1800.08
CPU user time (s): 1798.39
CPU system time (s): 1.69
CPU usage (%): 199.939
Max. virtual memory (cumulated for all children) (KiB): 574016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.79
system time used= 1.9717
maximum resident set size= 472332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116274
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= 408
involuntary context switches= 2110
runsolver used 2.51162 second user time and 5.14422 second system time
The end