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-3726301-1338658771/watcher-3726301-1338658771 -o /tmp/evaluation-result-3726301-1338658771/solver-3726301-1338658771 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726301-1338658771.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.05 4.00 3.93 4/178 30761
/proc/meminfo: memFree=27192748/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=5632 CPUtime=0 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) R 30759 30761 28266 0 -1 4202496 660 0 0 0 0 0 0 0 20 0 1 0 332001998 5767168 612 33554432000 4194304 5964478 140735929796416 140733333923704 5136490 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 1408 613 165 433 0 882 0
[startup+0.0389219 s]
/proc/loadavg: 4.05 4.00 3.93 4/178 30761
/proc/meminfo: memFree=27192748/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=165752 CPUtime=0.03 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 2324 0 0 0 3 0 0 0 20 0 3 0 332001998 169730048 2185 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 41438 2187 182 433 0 41002 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 165752
[startup+0.100176 s]
/proc/loadavg: 4.05 4.00 3.93 4/178 30761
/proc/meminfo: memFree=27192748/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=165884 CPUtime=0.15 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 3151 0 0 0 15 0 0 0 20 0 3 0 332001998 169865216 2954 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 41471 2954 194 433 0 41035 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 165884
[startup+0.300129 s]
/proc/loadavg: 4.05 4.00 3.93 4/178 30761
/proc/meminfo: memFree=27192748/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=165884 CPUtime=0.55 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 3535 0 0 0 54 1 0 0 20 0 3 0 332001998 169865216 3282 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 41471 3282 194 433 0 41035 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 165884
[startup+0.700138 s]
/proc/loadavg: 4.05 4.00 3.93 4/178 30761
/proc/meminfo: memFree=27192748/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=165884 CPUtime=1.35 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 4036 0 0 0 133 2 0 0 20 0 3 0 332001998 169865216 3648 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 41471 3648 194 433 0 41035 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 165884
[startup+1.50029 s]
/proc/loadavg: 4.05 4.00 3.93 5/181 30764
/proc/meminfo: memFree=27177992/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=165884 CPUtime=2.94 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 7011 0 0 0 290 4 0 0 20 0 3 0 332001998 169865216 4529 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 41471 4529 194 433 0 41035 0
[pid=30761/tid=30763] ppid=30759 vsize=165884 CPUtime=1.44 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 3962 0 0 0 143 1 0 0 20 0 3 0 332002001 169865216 4529 33554432000 4194304 5964478 140735929796416 140042231630360 5139118 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=165884 CPUtime=1.45 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 1357 0 0 0 141 4 0 0 20 0 3 0 332002001 169865216 4529 33554432000 4194304 5964478 140735929796416 140042221140328 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 165884
[startup+3.10029 s]
/proc/loadavg: 4.05 4.00 3.93 5/181 30764
/proc/meminfo: memFree=27174380/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=166148 CPUtime=6.15 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 12210 0 0 0 609 6 0 0 20 0 3 0 332001998 170135552 5669 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 41537 5669 194 433 0 41101 0
[pid=30761/tid=30763] ppid=30759 vsize=166148 CPUtime=3.04 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 8939 0 0 0 302 2 0 0 20 0 3 0 332002001 170135552 5669 33554432000 4194304 5964478 140735929796416 140042231630360 5139166 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=166148 CPUtime=3.04 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 1579 0 0 0 300 4 0 0 20 0 3 0 332002001 170135552 5669 33554432000 4194304 5964478 140735929796416 140042221140040 4399915 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 166148
[startup+6.30029 s]
/proc/loadavg: 4.13 4.02 3.93 5/181 30764
/proc/meminfo: memFree=27161360/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=167024 CPUtime=12.54 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 22305 0 0 0 1244 10 0 0 20 0 3 0 332001998 171032576 9219 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 41756 9219 194 433 0 41320 0
[pid=30761/tid=30763] ppid=30759 vsize=167024 CPUtime=6.23 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 17788 0 0 0 620 3 0 0 20 0 3 0 332002001 171032576 9219 33554432000 4194304 5964478 140735929796416 140042231630360 5139161 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=167024 CPUtime=6.23 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 2825 0 0 0 616 7 0 0 20 0 3 0 332002001 171032576 9219 33554432000 4194304 5964478 140735929796416 140042221140280 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 167024
[startup+12.7003 s]
/proc/loadavg: 4.12 4.02 3.93 5/181 30764
/proc/meminfo: memFree=27139732/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=168192 CPUtime=25.34 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 31864 0 0 0 2520 14 0 0 20 0 3 0 332001998 172228608 13649 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 42048 13649 195 433 0 41612 0
[pid=30761/tid=30763] ppid=30759 vsize=168192 CPUtime=12.61 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 26283 0 0 0 1256 5 0 0 20 0 3 0 332002001 172228608 13649 33554432000 4194304 5964478 140735929796416 140042231630776 4403727 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=168192 CPUtime=12.62 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 3889 0 0 0 1253 9 0 0 20 0 3 0 332002001 172228608 13649 33554432000 4194304 5964478 140735929796416 140042221140040 4388828 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 168192
[startup+25.5003 s]
/proc/loadavg: 4.09 4.02 3.93 5/181 30764
/proc/meminfo: memFree=27120380/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=170112 CPUtime=50.94 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 36661 0 0 0 5076 18 0 0 20 0 3 0 332001998 174194688 18446 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 42528 18446 195 433 0 42092 0
[pid=30761/tid=30763] ppid=30759 vsize=170112 CPUtime=25.38 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 29158 0 0 0 2533 5 0 0 20 0 3 0 332002001 174194688 18446 33554432000 4194304 5964478 140735929796416 140042231629624 4399827 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=170112 CPUtime=25.38 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 5811 0 0 0 2526 12 0 0 20 0 3 0 332002001 174194688 18446 33554432000 4194304 5964478 140735929796416 140042221140280 4400078 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 170112
[startup+51.1003 s]
/proc/loadavg: 4.13 4.03 3.94 5/182 30767
/proc/meminfo: memFree=27101600/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=174052 CPUtime=102.13 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 41401 0 0 0 10192 21 0 0 20 0 3 0 332001998 178229248 23004 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 43513 23004 195 433 0 43077 0
[pid=30761/tid=30763] ppid=30759 vsize=174052 CPUtime=50.91 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 32272 0 0 0 5085 6 0 0 20 0 3 0 332002001 178229248 23004 33554432000 4194304 5964478 140735929796416 140042231629864 4400115 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=174052 CPUtime=50.92 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 7437 0 0 0 5078 14 0 0 20 0 3 0 332002001 178229248 23004 33554432000 4194304 5964478 140735929796416 140042221140040 4400519 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 174052
[startup+102.307 s]
/proc/loadavg: 4.06 4.03 3.94 5/181 30768
/proc/meminfo: memFree=27017456/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=244588 CPUtime=204.52 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 55303 0 0 0 20418 34 0 0 20 0 3 0 332001998 250458112 36906 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 61147 36906 195 433 0 60711 0
[pid=30761/tid=30763] ppid=30759 vsize=244588 CPUtime=101.98 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 43436 0 0 0 10183 15 0 0 20 0 3 0 332002001 250458112 36906 33554432000 4194304 5964478 140735929796416 140042231629864 4409248 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=244588 CPUtime=101.99 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 10175 0 0 0 10179 20 0 0 20 0 3 0 332002001 250458112 36906 33554432000 4194304 5964478 140735929796416 140042221140040 4400519 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.52
Current children cumulated vsize (KiB) 244588
[startup+162.3 s]
/proc/loadavg: 4.02 4.02 3.94 5/181 30768
/proc/meminfo: memFree=26941364/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=314112 CPUtime=324.48 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 68427 0 0 0 32401 47 0 0 20 0 3 0 332001998 321650688 50407 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 78528 50407 195 433 0 78092 0
[pid=30761/tid=30763] ppid=30759 vsize=314112 CPUtime=161.82 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 52929 0 0 0 16159 23 0 0 20 0 3 0 332002001 321650688 50407 33554432000 4194304 5964478 140735929796416 140042231629816 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=314112 CPUtime=161.83 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 13806 0 0 0 16156 27 0 0 20 0 3 0 332002001 321650688 50407 33554432000 4194304 5964478 140735929796416 140042221140384 4387996 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 324.48
Current children cumulated vsize (KiB) 314112
[startup+222.3 s]
/proc/loadavg: 4.00 4.01 3.94 5/181 30768
/proc/meminfo: memFree=26906612/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=317524 CPUtime=444.43 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 73120 0 0 0 44393 50 0 0 20 0 3 0 332001998 325144576 55649 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 79381 55649 195 433 0 78945 0
[pid=30761/tid=30763] ppid=30759 vsize=317524 CPUtime=221.62 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 56261 0 0 0 22136 26 0 0 20 0 3 0 332002001 325144576 55649 33554432000 4194304 5964478 140735929796416 140042231629816 4399865 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=317524 CPUtime=221.66 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 15167 0 0 0 22137 29 0 0 20 0 3 0 332002001 325144576 55649 33554432000 4194304 5964478 140735929796416 140042221140280 4400010 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 444.43
Current children cumulated vsize (KiB) 317524
[startup+282.3 s]
/proc/loadavg: 4.07 4.02 3.94 5/181 30768
/proc/meminfo: memFree=26810552/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=320900 CPUtime=564.38 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 85497 0 0 0 56376 62 0 0 20 0 3 0 332001998 328601600 68019 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 80225 68019 195 433 0 79789 0
[pid=30761/tid=30763] ppid=30759 vsize=320900 CPUtime=281.44 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 66671 0 0 0 28107 37 0 0 20 0 3 0 332002001 328601600 68019 33554432000 4194304 5964478 140735929796416 140042231629624 4389129 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=320900 CPUtime=281.5 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 17134 0 0 0 28118 32 0 0 20 0 3 0 332002001 328601600 68019 33554432000 4194304 5964478 140735929796416 140042221140384 4400018 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 564.38
Current children cumulated vsize (KiB) 320900
[startup+342.3 s]
/proc/loadavg: 4.14 4.05 3.95 5/181 30768
/proc/meminfo: memFree=26709260/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=389376 CPUtime=684.35 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 86618 0 0 0 68373 62 0 0 20 0 3 0 332001998 398721024 70770 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 97344 70770 195 433 0 96908 0
################
# More data... #
################
[pid=30761/tid=30764] ppid=30759 vsize=389376 CPUtime=341.34 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 17807 0 0 0 34100 34 0 0 20 0 3 0 332002001 398721024 70770 33554432000 4194304 5964478 140735929796416 140042221140040 4400432 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 684.35
Current children cumulated vsize (KiB) 389376
[startup+402.3 s]
/proc/loadavg: 4.05 4.04 3.95 5/181 30769
/proc/meminfo: memFree=26602400/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=393168 CPUtime=804.33 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 96484 0 0 0 80359 74 0 0 20 0 3 0 332001998 402604032 80636 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 98292 80636 195 433 0 97856 0
[pid=30761/tid=30763] ppid=30759 vsize=393168 CPUtime=401.12 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 75562 0 0 0 40063 49 0 0 20 0 3 0 332002001 402604032 80636 33554432000 4194304 5964478 140735929796416 140042231629624 4389170 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=393168 CPUtime=401.19 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 19230 0 0 0 40083 36 0 0 20 0 3 0 332002001 402604032 80636 33554432000 4194304 5964478 140735929796416 140042221140040 4400435 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 804.33
Current children cumulated vsize (KiB) 393168
[startup+462.3 s]
/proc/loadavg: 4.02 4.03 3.95 5/181 30769
/proc/meminfo: memFree=26574888/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=395232 CPUtime=924.32 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 99820 0 0 0 92354 78 0 0 20 0 3 0 332001998 404717568 83969 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 98808 83969 195 433 0 98372 0
[pid=30761/tid=30763] ppid=30759 vsize=395232 CPUtime=460.97 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 76926 0 0 0 46046 51 0 0 20 0 3 0 332002001 404717568 83969 33554432000 4194304 5964478 140735929796416 140042231629688 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=395232 CPUtime=461.03 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 21202 0 0 0 46063 40 0 0 20 0 3 0 332002001 404717568 83969 33554432000 4194304 5964478 140735929796416 140042221140040 4399890 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 924.32
Current children cumulated vsize (KiB) 395232
[startup+522.3 s]
/proc/loadavg: 4.08 4.04 3.96 5/181 30769
/proc/meminfo: memFree=26562964/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=396696 CPUtime=1044.29 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 100772 0 0 0 104351 78 0 0 20 0 3 0 332001998 406216704 84920 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 99174 84920 195 433 0 98738 0
[pid=30761/tid=30763] ppid=30759 vsize=396696 CPUtime=520.82 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 77510 0 0 0 52031 51 0 0 20 0 3 0 332002001 406216704 84920 33554432000 4194304 5964478 140735929796416 140042231629864 4400115 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=396696 CPUtime=520.88 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 21570 0 0 0 52048 40 0 0 20 0 3 0 332002001 406216704 84920 33554432000 4194304 5964478 140735929796416 140042221140040 4399854 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1044.29
Current children cumulated vsize (KiB) 396696
[startup+582.3 s]
/proc/loadavg: 4.13 4.06 3.97 5/181 30769
/proc/meminfo: memFree=26496064/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=466648 CPUtime=1164.28 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 115657 0 0 0 116337 91 0 0 20 0 3 0 332001998 477847552 99803 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 116662 99803 195 433 0 116226 0
[pid=30761/tid=30763] ppid=30759 vsize=466648 CPUtime=580.66 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 91828 0 0 0 58001 65 0 0 20 0 3 0 332002001 477847552 99803 33554432000 4194304 5964478 140735929796416 140042231629816 4389100 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=466648 CPUtime=580.73 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 22137 0 0 0 58031 42 0 0 20 0 3 0 332002001 477847552 99803 33554432000 4194304 5964478 140735929796416 140042221140040 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1164.28
Current children cumulated vsize (KiB) 466648
[startup+642.3 s]
/proc/loadavg: 4.05 4.05 3.97 5/182 30772
/proc/meminfo: memFree=26470488/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=468520 CPUtime=1284.22 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 118917 0 0 0 128329 93 0 0 20 0 3 0 332001998 479764480 103850 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 117130 103850 195 433 0 116694 0
[pid=30761/tid=30763] ppid=30759 vsize=468520 CPUtime=640.48 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 94375 0 0 0 63981 67 0 0 20 0 3 0 332002001 479764480 103850 33554432000 4194304 5964478 140735929796416 140042231629864 4400091 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=468520 CPUtime=640.57 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 22850 0 0 0 64014 43 0 0 20 0 3 0 332002001 479764480 103850 33554432000 4194304 5964478 140735929796416 140042221140040 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1284.22
Current children cumulated vsize (KiB) 468520
[startup+702.3 s]
/proc/loadavg: 4.09 4.05 3.97 5/181 30773
/proc/meminfo: memFree=26405772/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=536768 CPUtime=1404.16 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 132554 0 0 0 140313 103 0 0 20 0 3 0 332001998 549650432 117859 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 134192 117859 195 433 0 133756 0
[pid=30761/tid=30763] ppid=30759 vsize=536768 CPUtime=700.28 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 106057 0 0 0 69951 77 0 0 20 0 3 0 332002001 549650432 117860 33554432000 4194304 5964478 140735929796416 140042231629624 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=536768 CPUtime=700.4 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 24806 0 0 0 69995 45 0 0 20 0 3 0 332002001 549650432 117860 33554432000 4194304 5964478 140735929796416 140042221140040 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1404.16
Current children cumulated vsize (KiB) 536768
[startup+762.307 s]
/proc/loadavg: 4.07 4.05 3.98 5/181 30814
/proc/meminfo: memFree=26795260/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=611728 CPUtime=1524.14 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 146167 0 0 0 152300 114 0 0 20 0 3 0 332001998 626409472 131727 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 152932 131727 195 433 0 152496 0
[pid=30761/tid=30763] ppid=30759 vsize=611728 CPUtime=760.11 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 119295 0 0 0 75923 88 0 0 20 0 3 0 332002001 626409472 131727 33554432000 4194304 5964478 140735929796416 140042231629816 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=611728 CPUtime=760.26 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 25180 0 0 0 75979 47 0 0 20 0 3 0 332002001 626409472 131727 33554432000 4194304 5964478 140735929796416 140042221140040 4400496 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1524.14
Current children cumulated vsize (KiB) 611728
[startup+822.3 s]
/proc/loadavg: 4.02 4.04 3.98 5/181 30814
/proc/meminfo: memFree=26763492/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=679008 CPUtime=1644.1 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 148330 0 0 0 164293 117 0 0 20 0 3 0 332001998 695304192 133886 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 169752 133886 195 433 0 169316 0
[pid=30761/tid=30763] ppid=30759 vsize=679008 CPUtime=819.95 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 119302 0 0 0 81906 89 0 0 20 0 3 0 332002001 695304192 133886 33554432000 4194304 5964478 140735929796416 140042231629816 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=679008 CPUtime=820.08 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 27336 0 0 0 81958 50 0 0 20 0 3 0 332002001 695304192 133886 33554432000 4194304 5964478 140735929796416 140042221140040 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1644.1
Current children cumulated vsize (KiB) 679008
[startup+882.3 s]
/proc/loadavg: 4.01 4.03 3.98 5/181 30814
/proc/meminfo: memFree=26734628/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=680108 CPUtime=1764.08 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 148612 0 0 0 176291 117 0 0 20 0 3 0 332001998 696430592 134555 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 170027 134555 195 433 0 169591 0
[pid=30761/tid=30763] ppid=30759 vsize=680108 CPUtime=879.8 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 119319 0 0 0 87890 90 0 0 20 0 3 0 332002001 696430592 134555 33554432000 4194304 5964478 140735929796416 140042231629728 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=680108 CPUtime=879.93 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 27601 0 0 0 87941 52 0 0 20 0 3 0 332002001 696430592 134555 33554432000 4194304 5964478 140735929796416 140042221140040 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1764.08
Current children cumulated vsize (KiB) 680108
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.00 4.03 3.98 5/181 30814
/proc/meminfo: memFree=26723312/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=680576 CPUtime=1800.09 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 148712 0 0 0 179892 117 0 0 20 0 3 0 332001998 696909824 134655 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 170144 134655 195 433 0 169708 0
[pid=30761/tid=30763] ppid=30759 vsize=680576 CPUtime=897.76 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 119319 0 0 0 89686 90 0 0 20 0 3 0 332002001 696909824 134655 33554432000 4194304 5964478 140735929796416 140042231629728 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=680576 CPUtime=897.89 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 27701 0 0 0 89737 52 0 0 20 0 3 0 332002001 696909824 134655 33554432000 4194304 5964478 140735929796416 140042221140040 4400519 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 680576
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.3 s]
/proc/loadavg: 4.00 4.03 3.98 5/181 30814
/proc/meminfo: memFree=26723312/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=680576 CPUtime=1800.09 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 148712 0 0 0 179892 117 0 0 20 0 3 0 332001998 696909824 134655 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 170144 134655 195 433 0 169708 0
[pid=30761/tid=30763] ppid=30759 vsize=680576 CPUtime=897.76 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 119319 0 0 0 89686 90 0 0 20 0 3 0 332002001 696909824 134655 33554432000 4194304 5964478 140735929796416 140042231629728 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=680576 CPUtime=897.89 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 27701 0 0 0 89737 52 0 0 20 0 3 0 332002001 696909824 134655 33554432000 4194304 5964478 140735929796416 140042221140040 4400519 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 680576
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30761 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=267229
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=450779
# CPU time returned by wait4() is 1795.72
# 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.32
CPU time (s): 1800.09
CPU user time (s): 1798.92
CPU system time (s): 1.17
CPU usage (%): 199.939
Max. virtual memory (cumulated for all children) (KiB): 680576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.27
system time used= 1.45078
maximum resident set size= 538624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148713
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= 431
involuntary context switches= 2414
runsolver used 2.10168 second user time and 4.77527 second system time
The end