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-3728545-1338672389/watcher-3728545-1338672389 -o /tmp/evaluation-result-3728545-1338672389/solver-3728545-1338672389 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728545-1338672389.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: 3.93 3.97 3.85 3/178 32237
/proc/meminfo: memFree=27313468/32873844 swapFree=6608/6608
[pid=32237] ppid=32235 vsize=4300 CPUtime=0 cores=0,2,4,6
/proc/32237/stat : 32237 (pwbo2.02) R 32235 32237 31325 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 333363717 4403200 327 33554432000 4194304 5964478 140734765190560 140736784890568 5179243 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/32237/statm: 1075 327 167 433 0 617 0
[startup+0.028563 s]
/proc/loadavg: 3.93 3.97 3.85 3/178 32237
/proc/meminfo: memFree=27313468/32873844 swapFree=6608/6608
[pid=32237] ppid=32235 vsize=163348 CPUtime=0.03 cores=0,2,4,6
/proc/32237/stat : 32237 (pwbo2.02) S 32235 32237 31325 0 -1 4202496 1649 0 0 0 3 0 0 0 20 0 3 0 333363717 167268352 1438 33554432000 4194304 5964478 140734765190560 140734765190080 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32237/statm: 40837 1438 198 433 0 40401 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 163348
[startup+0.10016 s]
/proc/loadavg: 3.93 3.97 3.85 3/178 32237
/proc/meminfo: memFree=27313468/32873844 swapFree=6608/6608
[pid=32237] ppid=32235 vsize=163348 CPUtime=0.18 cores=0,2,4,6
/proc/32237/stat : 32237 (pwbo2.02) S 32235 32237 31325 0 -1 4202496 2128 0 0 0 17 1 0 0 20 0 3 0 333363717 167268352 1850 33554432000 4194304 5964478 140734765190560 140734765190080 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32237/statm: 40837 1850 198 433 0 40401 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 163348
[startup+0.300125 s]
/proc/loadavg: 3.93 3.97 3.85 3/178 32237
/proc/meminfo: memFree=27313468/32873844 swapFree=6608/6608
[pid=32237] ppid=32235 vsize=163348 CPUtime=0.57 cores=0,2,4,6
/proc/32237/stat : 32237 (pwbo2.02) S 32235 32237 31325 0 -1 4202496 2955 0 0 0 55 2 0 0 20 0 3 0 333363717 167268352 2510 33554432000 4194304 5964478 140734765190560 140734765190080 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32237/statm: 40837 2510 198 433 0 40401 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 163348
[startup+0.700137 s]
/proc/loadavg: 3.93 3.97 3.85 3/178 32237
/proc/meminfo: memFree=27313468/32873844 swapFree=6608/6608
[pid=32237] ppid=32235 vsize=163480 CPUtime=1.36 cores=0,2,4,6
/proc/32237/stat : 32237 (pwbo2.02) S 32235 32237 31325 0 -1 4202496 3971 0 0 0 132 4 0 0 20 0 3 0 333363717 167403520 3526 33554432000 4194304 5964478 140734765190560 140734765190080 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32237/statm: 40870 3526 198 433 0 40434 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 163480
[startup+1.50025 s]
/proc/loadavg: 3.93 3.97 3.85 5/181 32240
/proc/meminfo: memFree=27299316/32873844 swapFree=6608/6608
[pid=32237] ppid=32235 vsize=163744 CPUtime=2.96 cores=0,2,4,6
/proc/32237/stat : 32237 (pwbo2.02) S 32235 32237 31325 0 -1 4202496 4581 0 0 0 291 5 0 0 20 0 3 0 333363717 167673856 4122 33554432000 4194304 5964478 140734765190560 140734765190080 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32237/statm: 40936 4122 198 433 0 40500 0
[pid=32237/tid=32239] ppid=32235 vsize=163744 CPUtime=1.47 cores=0,2,4,6
/proc/32237/task/32239/stat : 32239 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 2021 0 0 0 142 5 0 0 20 0 3 0 333363718 167673856 4122 33554432000 4194304 5964478 140734765190560 140725543249904 4399926 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32237/tid=32240] ppid=32235 vsize=163744 CPUtime=1.47 cores=0,2,4,6
/proc/32237/task/32240/stat : 32240 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 1601 0 0 0 147 0 0 0 20 0 3 0 333363718 167673856 4122 33554432000 4194304 5964478 140734765190560 140725532760368 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 163744
[startup+3.10026 s]
/proc/loadavg: 3.93 3.97 3.85 5/181 32240
/proc/meminfo: memFree=27286792/32873844 swapFree=6608/6608
[pid=32237] ppid=32235 vsize=164008 CPUtime=6.16 cores=0,2,4,6
/proc/32237/stat : 32237 (pwbo2.02) S 32235 32237 31325 0 -1 4202496 6917 0 0 0 610 6 0 0 20 0 3 0 333363717 167944192 6441 33554432000 4194304 5964478 140734765190560 140734765190080 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32237/statm: 41002 6441 198 433 0 40566 0
[pid=32237/tid=32239] ppid=32235 vsize=164008 CPUtime=3.06 cores=0,2,4,6
/proc/32237/task/32239/stat : 32239 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 4054 0 0 0 300 6 0 0 20 0 3 0 333363718 167944192 6441 33554432000 4194304 5964478 140734765190560 140725543249904 4399952 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32237/tid=32240] ppid=32235 vsize=164008 CPUtime=3.06 cores=0,2,4,6
/proc/32237/task/32240/stat : 32240 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 1904 0 0 0 306 0 0 0 20 0 3 0 333363718 167944192 6442 33554432000 4194304 5964478 140734765190560 140725532760136 5136420 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 164008
[startup+6.30027 s]
/proc/loadavg: 3.78 3.94 3.84 5/181 32280
/proc/meminfo: memFree=27351332/32873844 swapFree=6608/6608
[pid=32237] ppid=32235 vsize=165016 CPUtime=12.56 cores=0,2,4,6
/proc/32237/stat : 32237 (pwbo2.02) S 32235 32237 31325 0 -1 4202496 13667 0 0 0 1246 10 0 0 20 0 3 0 333363717 168976384 13191 33554432000 4194304 5964478 140734765190560 140734765190080 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32237/statm: 41254 13191 198 433 0 40818 0
[pid=32237/tid=32239] ppid=32235 vsize=165016 CPUtime=6.25 cores=0,2,4,6
/proc/32237/task/32239/stat : 32239 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 7434 0 0 0 617 8 0 0 20 0 3 0 333363718 168976384 13191 33554432000 4194304 5964478 140734765190560 140725543249720 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32237/tid=32240] ppid=32235 vsize=165016 CPUtime=6.26 cores=0,2,4,6
/proc/32237/task/32240/stat : 32240 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 5274 0 0 0 624 2 0 0 20 0 3 0 333363718 168976384 13191 33554432000 4194304 5964478 140734765190560 140725532760136 4399915 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 165016
[startup+12.7003 s]
/proc/loadavg: 3.80 3.94 3.84 5/181 32280
/proc/meminfo: memFree=27216412/32873844 swapFree=6608/6608
[pid=32237] ppid=32235 vsize=166652 CPUtime=25.35 cores=0,2,4,6
/proc/32237/stat : 32237 (pwbo2.02) S 32235 32237 31325 0 -1 4202496 24519 0 0 0 2520 15 0 0 20 0 3 0 333363717 170651648 24391 33554432000 4194304 5964478 140734765190560 140734765190080 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32237/statm: 41663 24391 198 433 0 41227 0
[pid=32237/tid=32239] ppid=32235 vsize=166652 CPUtime=12.63 cores=0,2,4,6
/proc/32237/task/32239/stat : 32239 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 11606 0 0 0 1254 9 0 0 20 0 3 0 333363718 170651648 24391 33554432000 4194304 5964478 140734765190560 140725543249912 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32237/tid=32240] ppid=32235 vsize=166652 CPUtime=12.62 cores=0,2,4,6
/proc/32237/task/32240/stat : 32240 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 11954 0 0 0 1257 5 0 0 20 0 3 0 333363718 170651648 24391 33554432000 4194304 5964478 140734765190560 140725532760376 4400542 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 166652
[startup+25.5003 s]
/proc/loadavg: 3.84 3.94 3.84 5/181 32280
/proc/meminfo: memFree=27008744/32873844 swapFree=6608/6608
[pid=32237] ppid=32235 vsize=233088 CPUtime=50.93 cores=0,2,4,6
/proc/32237/stat : 32237 (pwbo2.02) S 32235 32237 31325 0 -1 4202496 37087 0 0 0 5072 21 0 0 20 0 3 0 333363717 238682112 36952 33554432000 4194304 5964478 140734765190560 140734765190080 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32237/statm: 58272 36952 198 433 0 57836 0
[pid=32237/tid=32239] ppid=32235 vsize=233088 CPUtime=25.4 cores=0,2,4,6
/proc/32237/task/32239/stat : 32239 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 20823 0 0 0 2526 14 0 0 20 0 3 0 333363718 238682112 36952 33554432000 4194304 5964478 140734765190560 140725543249912 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32237/tid=32240] ppid=32235 vsize=233088 CPUtime=25.38 cores=0,2,4,6
/proc/32237/task/32240/stat : 32240 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 15305 0 0 0 2532 6 0 0 20 0 3 0 333363718 238682112 36953 33554432000 4194304 5964478 140734765190560 140725532760288 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 233088
[startup+51.1003 s]
/proc/loadavg: 3.89 3.94 3.84 5/181 32280
/proc/meminfo: memFree=26782892/32873844 swapFree=6608/6608
[pid=32237] ppid=32235 vsize=300728 CPUtime=102.09 cores=0,2,4,6
/proc/32237/stat : 32237 (pwbo2.02) S 32235 32237 31325 0 -1 4202496 63238 0 0 0 10175 34 0 0 20 0 3 0 333363717 307945472 63084 33554432000 4194304 5964478 140734765190560 140734765190080 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32237/statm: 75182 63084 198 433 0 74746 0
[pid=32237/tid=32239] ppid=32235 vsize=300728 CPUtime=50.93 cores=0,2,4,6
/proc/32237/task/32239/stat : 32239 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 32814 0 0 0 5074 19 0 0 20 0 3 0 333363718 307945472 63084 33554432000 4194304 5964478 140734765190560 140725543249912 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32237/tid=32240] ppid=32235 vsize=300728 CPUtime=50.89 cores=0,2,4,6
/proc/32237/task/32240/stat : 32240 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 29465 0 0 0 5075 14 0 0 20 0 3 0 333363718 307945472 63084 33554432000 4194304 5964478 140734765190560 140725532760424 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.09
Current children cumulated vsize (KiB) 300728
[startup+102.307 s]
/proc/loadavg: 3.95 3.95 3.85 5/181 32280
/proc/meminfo: memFree=26638848/32873844 swapFree=6608/6608
[pid=32237] ppid=32235 vsize=367664 CPUtime=204.43 cores=0,2,4,6
/proc/32237/stat : 32237 (pwbo2.02) S 32235 32237 31325 0 -1 4202496 78332 0 0 0 20385 58 0 0 20 0 3 0 333363717 376487936 78146 33554432000 4194304 5964478 140734765190560 140734765190080 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32237/statm: 91916 78146 198 433 0 91480 0
[pid=32237/tid=32239] ppid=32235 vsize=367664 CPUtime=101.97 cores=0,2,4,6
/proc/32237/task/32239/stat : 32239 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 47615 0 0 0 10152 45 0 0 20 0 3 0 333363718 376487936 78146 33554432000 4194304 5964478 140734765190560 140725543249960 4400435 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32237/tid=32240] ppid=32235 vsize=367664 CPUtime=101.95 cores=0,2,4,6
/proc/32237/task/32240/stat : 32240 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 29758 0 0 0 10180 15 0 0 20 0 3 0 333363718 376487936 78146 33554432000 4194304 5964478 140734765190560 140725532760136 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.43
Current children cumulated vsize (KiB) 367664
[startup+162.3 s]
/proc/loadavg: 3.98 3.95 3.85 5/180 32280
/proc/meminfo: memFree=26320220/32873844 swapFree=6608/6608
[pid=32237] ppid=32235 vsize=565240 CPUtime=324.4 cores=0,2,4,6
/proc/32237/stat : 32237 (pwbo2.02) S 32235 32237 31325 0 -1 4202496 108773 0 0 0 32333 107 0 0 20 0 3 0 333363717 578805760 109527 33554432000 4194304 5964478 140734765190560 140734765190080 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32237/statm: 141310 109527 198 433 0 140874 0
[pid=32237/tid=32239] ppid=32235 vsize=565240 CPUtime=161.8 cores=0,2,4,6
/proc/32237/task/32239/stat : 32239 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 71959 0 0 0 16090 90 0 0 20 0 3 0 333363718 578805760 109527 33554432000 4194304 5964478 140734765190560 140725543249912 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32237/tid=32240] ppid=32235 vsize=565240 CPUtime=161.79 cores=0,2,4,6
/proc/32237/task/32240/stat : 32240 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 35855 0 0 0 16159 20 0 0 20 0 3 0 333363718 578805760 109527 33554432000 4194304 5964478 140734765190560 140725532760408 4388783 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.4
Current children cumulated vsize (KiB) 565240
[startup+222.3 s]
/proc/loadavg: 3.99 3.96 3.86 5/182 32284
/proc/meminfo: memFree=26128156/32873844 swapFree=6608/6608
[pid=32237] ppid=32235 vsize=632992 CPUtime=444.37 cores=0,2,4,6
/proc/32237/stat : 32237 (pwbo2.02) S 32235 32237 31325 0 -1 4202496 131266 0 0 0 44307 130 0 0 20 0 3 0 333363717 648183808 132020 33554432000 4194304 5964478 140734765190560 140734765190080 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32237/statm: 158248 132020 198 433 0 157812 0
[pid=32237/tid=32239] ppid=32235 vsize=632992 CPUtime=221.65 cores=0,2,4,6
/proc/32237/task/32239/stat : 32239 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 84955 0 0 0 22056 109 0 0 20 0 3 0 333363718 648183808 132020 33554432000 4194304 5964478 140734765190560 140725543249824 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32237/tid=32240] ppid=32235 vsize=632992 CPUtime=221.63 cores=0,2,4,6
/proc/32237/task/32240/stat : 32240 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 45352 0 0 0 22136 27 0 0 20 0 3 0 333363718 648183808 132020 33554432000 4194304 5964478 140734765190560 140725532760480 4400091 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.37
Current children cumulated vsize (KiB) 632992
[startup+282.3 s]
/proc/loadavg: 4.03 3.98 3.87 5/181 32284
/proc/meminfo: memFree=25938348/32873844 swapFree=6608/6608
[pid=32237] ppid=32235 vsize=634512 CPUtime=564.36 cores=0,2,4,6
/proc/32237/stat : 32237 (pwbo2.02) S 32235 32237 31325 0 -1 4202496 135919 0 0 0 56302 134 0 0 20 0 3 0 333363717 649740288 136673 33554432000 4194304 5964478 140734765190560 140734765190080 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32237/statm: 158628 136673 198 433 0 158192 0
[pid=32237/tid=32239] ppid=32235 vsize=634512 CPUtime=281.5 cores=0,2,4,6
/proc/32237/task/32239/stat : 32239 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 85021 0 0 0 28040 110 0 0 20 0 3 0 333363718 649740288 136673 33554432000 4194304 5964478 140734765190560 140725543249824 4381449 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32237/tid=32240] ppid=32235 vsize=634512 CPUtime=281.48 cores=0,2,4,6
/proc/32237/task/32240/stat : 32240 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 49939 0 0 0 28117 31 0 0 20 0 3 0 333363718 649740288 136673 33554432000 4194304 5964478 140734765190560 140725532760136 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.36
Current children cumulated vsize (KiB) 634512
[startup+342.3 s]
/proc/loadavg: 4.01 3.98 3.87 5/181 32285
/proc/meminfo: memFree=25700916/32873844 swapFree=6608/6608
[pid=32237] ppid=32235 vsize=701588 CPUtime=684.34 cores=0,2,4,6
/proc/32237/stat : 32237 (pwbo2.02) S 32235 32237 31325 0 -1 4202496 158033 0 0 0 68275 159 0 0 20 0 3 0 333363717 718426112 158787 33554432000 4194304 5964478 140734765190560 140734765190080 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32237/statm: 175397 158787 198 433 0 174961 0
[pid=32237/tid=32239] ppid=32235 vsize=701588 CPUtime=341.34 cores=0,2,4,6
/proc/32237/task/32239/stat : 32239 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 95782 0 0 0 34008 126 0 0 20 0 3 0 333363718 718426112 158787 33554432000 4194304 5964478 140734765190560 140725543249912 4400091 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32237/tid=32240] ppid=32235 vsize=701588 CPUtime=341.33 cores=0,2,4,6
/proc/32237/task/32240/stat : 32240 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 61292 0 0 0 34091 42 0 0 20 0 3 0 333363718 718426112 158787 33554432000 4194304 5964478 140734765190560 140725532760480 4400089 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.34
Current children cumulated vsize (KiB) 701588
[startup+402.3 s]
/proc/loadavg: 4.05 4.00 3.89 5/181 32285
/proc/meminfo: memFree=25545696/32873844 swapFree=6608/6608
[pid=32237] ppid=32235 vsize=768528 CPUtime=804.32 cores=0,2,4,6
/proc/32237/stat : 32237 (pwbo2.02) S 32235 32237 31325 0 -1 4202496 175215 0 0 0 80244 188 0 0 20 0 3 0 333363717 786972672 175968 33554432000 4194304 5964478 140734765190560 140734765190080 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32237/statm: 192132 175968 198 433 0 191696 0
[pid=32237/tid=32239] ppid=32235 vsize=768528 CPUtime=401.19 cores=0,2,4,6
/proc/32237/task/32239/stat : 32239 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 112784 0 0 0 39963 156 0 0 20 0 3 0 333363718 786972672 175968 33554432000 4194304 5964478 140734765190560 140725543249912 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32237/tid=32240] ppid=32235 vsize=768528 CPUtime=401.17 cores=0,2,4,6
/proc/32237/task/32240/stat : 32240 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 61472 0 0 0 40074 43 0 0 20 0 3 0 333363718 786972672 175968 33554432000 4194304 5964478 140734765190560 140725532760480 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.32
Current children cumulated vsize (KiB) 768528
[startup+462.3 s]
/proc/loadavg: 4.02 4.00 3.89 5/181 32285
/proc/meminfo: memFree=25438712/32873844 swapFree=6608/6608
[pid=32237] ppid=32235 vsize=838008 CPUtime=924.3 cores=0,2,4,6
/proc/32237/stat : 32237 (pwbo2.02) S 32235 32237 31325 0 -1 4202496 196593 0 0 0 92207 223 0 0 20 0 3 0 333363717 858120192 197346 33554432000 4194304 5964478 140734765190560 140734765190080 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32237/statm: 209502 197346 198 433 0 209066 0
[pid=32237/tid=32239] ppid=32235 vsize=838008 CPUtime=461.03 cores=0,2,4,6
/proc/32237/task/32239/stat : 32239 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 126626 0 0 0 45925 178 0 0 20 0 3 0 333363718 858120192 197346 33554432000 4194304 5964478 140734765190560 140725543249912 4379296 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32237/tid=32240] ppid=32235 vsize=838008 CPUtime=461.02 cores=0,2,4,6
/proc/32237/task/32240/stat : 32240 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 69008 0 0 0 46045 57 0 0 20 0 3 0 333363718 858120192 197346 33554432000 4194304 5964478 140734765190560 140725532760376 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.3
Current children cumulated vsize (KiB) 838008
[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.90 5/181 32286
/proc/meminfo: memFree=25428088/32873844 swapFree=6608/6608
[pid=32237] ppid=32235 vsize=903996 CPUtime=1044.28 cores=0,2,4,6
/proc/32237/stat : 32237 (pwbo2.02) S 32235 32237 31325 0 -1 4202496 199015 0 0 0 104199 229 0 0 20 0 3 0 333363717 925691904 199768 33554432000 4194304 5964478 140734765190560 140734765190080 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32237/statm: 225999 199768 198 433 0 225563 0
[pid=32237/tid=32239] ppid=32235 vsize=903996 CPUtime=520.88 cores=0,2,4,6
/proc/32237/task/32239/stat : 32239 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 126647 0 0 0 51909 179 0 0 20 0 3 0 333363718 925691904 199768 33554432000 4194304 5964478 140734765190560 140725543249912 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32237/tid=32240] ppid=32235 vsize=903996 CPUtime=520.86 cores=0,2,4,6
/proc/32237/task/32240/stat : 32240 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 71409 0 0 0 52023 63 0 0 20 0 3 0 333363718 925691904 199768 33554432000 4194304 5964478 140734765190560 140725532760136 4400115 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.28
Current children cumulated vsize (KiB) 903996
[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.90 5/181 32286
/proc/meminfo: memFree=25318444/32873844 swapFree=6608/6608
[pid=32237] ppid=32235 vsize=904800 CPUtime=1164.22 cores=0,2,4,6
/proc/32237/stat : 32237 (pwbo2.02) S 32235 32237 31325 0 -1 4202496 204840 0 0 0 116190 232 0 0 20 0 3 0 333363717 926515200 205889 33554432000 4194304 5964478 140734765190560 140734765190080 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32237/statm: 226200 205889 198 433 0 225764 0
[pid=32237/tid=32239] ppid=32235 vsize=904800 CPUtime=580.7 cores=0,2,4,6
/proc/32237/task/32239/stat : 32239 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 126709 0 0 0 57890 180 0 0 20 0 3 0 333363718 926515200 205889 33554432000 4194304 5964478 140734765190560 140725543249824 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32237/tid=32240] ppid=32235 vsize=904800 CPUtime=580.7 cores=0,2,4,6
/proc/32237/task/32240/stat : 32240 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 77172 0 0 0 58003 67 0 0 20 0 3 0 333363718 926515200 205889 33554432000 4194304 5964478 140734765190560 140725532760376 4400097 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.22
Current children cumulated vsize (KiB) 904800
[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 32286
/proc/meminfo: memFree=25256472/32873844 swapFree=6608/6608
[pid=32237] ppid=32235 vsize=905760 CPUtime=1284.16 cores=0,2,4,6
/proc/32237/stat : 32237 (pwbo2.02) S 32235 32237 31325 0 -1 4202496 210177 0 0 0 128174 242 0 0 20 0 3 0 333363717 927498240 211329 33554432000 4194304 5964478 140734765190560 140734765190080 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32237/statm: 226440 211329 198 433 0 226004 0
[pid=32237/tid=32239] ppid=32235 vsize=905760 CPUtime=640.51 cores=0,2,4,6
/proc/32237/task/32239/stat : 32239 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 126795 0 0 0 63870 181 0 0 20 0 3 0 333363718 927498240 211329 33554432000 4194304 5964478 140734765190560 140725543249824 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32237/tid=32240] ppid=32235 vsize=905760 CPUtime=640.55 cores=0,2,4,6
/proc/32237/task/32240/stat : 32240 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 82423 0 0 0 63977 78 0 0 20 0 3 0 333363718 927498240 211329 33554432000 4194304 5964478 140734765190560 140725532760136 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.16
Current children cumulated vsize (KiB) 905760
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 32286
/proc/meminfo: memFree=25030076/32873844 swapFree=6608/6608
[pid=32237] ppid=32235 vsize=972316 CPUtime=1404.09 cores=0,2,4,6
/proc/32237/stat : 32237 (pwbo2.02) S 32235 32237 31325 0 -1 4202496 223873 0 0 0 140149 260 0 0 20 0 3 0 333363717 995651584 225047 33554432000 4194304 5964478 140734765190560 140734765190080 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32237/statm: 243079 225047 198 433 0 242643 0
[pid=32237/tid=32239] ppid=32235 vsize=972316 CPUtime=700.32 cores=0,2,4,6
/proc/32237/task/32239/stat : 32239 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 126890 0 0 0 69850 182 0 0 20 0 3 0 333363718 995651584 225047 33554432000 4194304 5964478 140734765190560 140725543249824 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32237/tid=32240] ppid=32235 vsize=972316 CPUtime=700.37 cores=0,2,4,6
/proc/32237/task/32240/stat : 32240 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 96024 0 0 0 69941 96 0 0 20 0 3 0 333363718 995651584 225047 33554432000 4194304 5964478 140734765190560 140725532760480 4400115 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.09
Current children cumulated vsize (KiB) 972316
[startup+762.307 s]
/proc/loadavg: 4.04 4.01 3.91 5/181 32286
/proc/meminfo: memFree=24958184/32873844 swapFree=6608/6608
[pid=32237] ppid=32235 vsize=973760 CPUtime=1524.04 cores=0,2,4,6
/proc/32237/stat : 32237 (pwbo2.02) S 32235 32237 31325 0 -1 4202496 224130 0 0 0 152144 260 0 0 20 0 3 0 333363717 997130240 225202 33554432000 4194304 5964478 140734765190560 140734765190080 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32237/statm: 243440 225202 198 433 0 243004 0
[pid=32237/tid=32239] ppid=32235 vsize=973760 CPUtime=760.16 cores=0,2,4,6
/proc/32237/task/32239/stat : 32239 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 126960 0 0 0 75833 183 0 0 20 0 3 0 333363718 997130240 225202 33554432000 4194304 5964478 140734765190560 140725543249824 4400106 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32237/tid=32240] ppid=32235 vsize=973760 CPUtime=760.2 cores=0,2,4,6
/proc/32237/task/32240/stat : 32240 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 96211 0 0 0 75922 98 0 0 20 0 3 0 333363718 997130240 225202 33554432000 4194304 5964478 140734765190560 140725532760480 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.04
Current children cumulated vsize (KiB) 973760
[startup+822.3 s]
/proc/loadavg: 4.01 4.00 3.91 5/182 32290
/proc/meminfo: memFree=24862724/32873844 swapFree=6608/6608
[pid=32237] ppid=32235 vsize=1040404 CPUtime=1643.96 cores=0,2,4,6
/proc/32237/stat : 32237 (pwbo2.02) S 32235 32237 31325 0 -1 4202496 230838 0 0 0 164124 272 0 0 20 0 3 0 333363717 1065373696 231868 33554432000 4194304 5964478 140734765190560 140734765190080 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32237/statm: 260101 231868 198 433 0 259665 0
[pid=32237/tid=32239] ppid=32235 vsize=1040404 CPUtime=819.95 cores=0,2,4,6
/proc/32237/task/32239/stat : 32239 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 133499 0 0 0 81799 196 0 0 20 0 3 0 333363718 1065373696 231868 33554432000 4194304 5964478 140734765190560 140725543249912 4400115 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32237/tid=32240] ppid=32235 vsize=1040404 CPUtime=820.04 cores=0,2,4,6
/proc/32237/task/32240/stat : 32240 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 96380 0 0 0 81905 99 0 0 20 0 3 0 333363718 1065373696 231868 33554432000 4194304 5964478 140734765190560 140725532760480 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1643.96
Current children cumulated vsize (KiB) 1040404
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 32290
/proc/meminfo: memFree=24647124/32873844 swapFree=6608/6608
[pid=32237] ppid=32235 vsize=1041480 CPUtime=1763.89 cores=0,2,4,6
/proc/32237/stat : 32237 (pwbo2.02) S 32235 32237 31325 0 -1 4202496 240466 0 0 0 176101 288 0 0 20 0 3 0 333363717 1066475520 241470 33554432000 4194304 5964478 140734765190560 140734765190080 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32237/statm: 260370 241470 198 433 0 259934 0
[pid=32237/tid=32239] ppid=32235 vsize=1041480 CPUtime=879.78 cores=0,2,4,6
/proc/32237/task/32239/stat : 32239 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 142887 0 0 0 87764 214 0 0 20 0 3 0 333363718 1066475520 241470 33554432000 4194304 5964478 140734765190560 140725543249912 4400056 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32237/tid=32240] ppid=32235 vsize=1041480 CPUtime=879.87 cores=0,2,4,6
/proc/32237/task/32240/stat : 32240 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 96620 0 0 0 87887 100 0 0 20 0 3 0 333363718 1066475520 241470 33554432000 4194304 5964478 140734765190560 140725532760368 4399926 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1763.89
Current children cumulated vsize (KiB) 1041480
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.4 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 32290
/proc/meminfo: memFree=24614688/32873844 swapFree=6608/6608
[pid=32237] ppid=32235 vsize=1041964 CPUtime=1800.09 cores=0,2,4,6
/proc/32237/stat : 32237 (pwbo2.02) S 32235 32237 31325 0 -1 4202496 243988 0 0 0 179712 297 0 0 20 0 3 0 333363717 1066971136 244989 33554432000 4194304 5964478 140734765190560 140734765190080 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32237/statm: 260491 244989 198 433 0 260055 0
[pid=32237/tid=32239] ppid=32235 vsize=1041964 CPUtime=897.84 cores=0,2,4,6
/proc/32237/task/32239/stat : 32239 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 146404 0 0 0 89561 223 0 0 20 0 3 0 333363718 1066971136 244989 33554432000 4194304 5964478 140734765190560 140725543249912 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32237/tid=32240] ppid=32235 vsize=1041964 CPUtime=897.92 cores=0,2,4,6
/proc/32237/task/32240/stat : 32240 (pwbo2.02) R 32235 32237 31325 0 -1 4202560 96625 0 0 0 89692 100 0 0 20 0 3 0 333363718 1066971136 244989 33554432000 4194304 5964478 140734765190560 140725532760480 4400091 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1041964
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32237 and gives
# childrusage.ru_utime.tv_sec=1792
# childrusage.ru_utime.tv_usec=556489
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=262504
# CPU time returned by wait4() is 1795.82
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.427
CPU time (s): 1800.09
CPU user time (s): 1797.12
CPU system time (s): 2.97
CPU usage (%): 199.915
Max. virtual memory (cumulated for all children) (KiB): 1041964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.56
system time used= 3.2625
maximum resident set size= 979972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 243992
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= 843
involuntary context switches= 1858
runsolver used 1.9927 second user time and 4.87426 second system time
The end