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-3725930-1338654547/watcher-3725930-1338654547 -o /tmp/evaluation-result-3725930-1338654547/solver-3725930-1338654547 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725930-1338654547.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.01 4.00 3.83 4/178 28085
/proc/meminfo: memFree=26799036/32873844 swapFree=7628/7628
[pid=28085] ppid=28083 vsize=5820 CPUtime=0 cores=1,3,5,7
/proc/28085/stat : 28085 (pwbo2.02) R 28083 28085 25747 0 -1 4202496 447 0 0 0 0 0 0 0 20 0 1 0 331579115 5959680 399 33554432000 4194304 5964478 140737345839232 140737345837176 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/28085/statm: 1455 399 169 433 0 679 0
[startup+0.0223059 s]
/proc/loadavg: 4.01 4.00 3.83 4/178 28085
/proc/meminfo: memFree=26799036/32873844 swapFree=7628/7628
[pid=28085] ppid=28083 vsize=7376 CPUtime=0.02 cores=1,3,5,7
/proc/28085/stat : 28085 (pwbo2.02) R 28083 28085 25747 0 -1 4202496 874 0 0 0 2 0 0 0 20 0 1 0 331579115 7553024 826 33554432000 4194304 5964478 140737345839232 140737345837176 4344768 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/28085/statm: 1844 827 221 433 0 1068 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 7376
[startup+0.10027 s]
/proc/loadavg: 4.01 4.00 3.83 4/178 28085
/proc/meminfo: memFree=26799036/32873844 swapFree=7628/7628
[pid=28085] ppid=28083 vsize=14540 CPUtime=0.09 cores=1,3,5,7
/proc/28085/stat : 28085 (pwbo2.02) R 28083 28085 25747 0 -1 4202496 2952 0 0 0 9 0 0 0 20 0 1 0 331579115 14888960 2838 33554432000 4194304 5964478 140737345839232 140737345837176 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/28085/statm: 3635 2839 482 433 0 2859 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14540
[startup+0.300206 s]
/proc/loadavg: 4.01 4.00 3.83 4/178 28085
/proc/meminfo: memFree=26799036/32873844 swapFree=7628/7628
[pid=28085] ppid=28083 vsize=178200 CPUtime=0.47 cores=1,3,5,7
/proc/28085/stat : 28085 (pwbo2.02) S 28083 28085 25747 0 -1 4202496 12183 0 0 0 43 4 0 0 20 0 3 0 331579115 182476800 11479 33554432000 4194304 5964478 140737345839232 140737345838752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28085/statm: 44550 11479 201 433 0 44114 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 178200
[startup+0.700205 s]
/proc/loadavg: 4.01 4.00 3.83 4/178 28085
/proc/meminfo: memFree=26799036/32873844 swapFree=7628/7628
[pid=28085] ppid=28083 vsize=178200 CPUtime=1.27 cores=1,3,5,7
/proc/28085/stat : 28085 (pwbo2.02) S 28083 28085 25747 0 -1 4202496 12226 0 0 0 123 4 0 0 20 0 3 0 331579115 182476800 11522 33554432000 4194304 5964478 140737345839232 140737345838752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28085/statm: 44550 11522 202 433 0 44114 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 178200
[startup+1.50027 s]
/proc/loadavg: 4.01 4.00 3.83 5/181 28088
/proc/meminfo: memFree=26695200/32873844 swapFree=7628/7628
[pid=28085] ppid=28083 vsize=178200 CPUtime=2.86 cores=1,3,5,7
/proc/28085/stat : 28085 (pwbo2.02) S 28083 28085 25747 0 -1 4202496 12322 0 0 0 282 4 0 0 20 0 3 0 331579115 182476800 11618 33554432000 4194304 5964478 140737345839232 140737345838752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28085/statm: 44550 11618 202 433 0 44114 0
[pid=28085/tid=28087] ppid=28083 vsize=178200 CPUtime=1.36 cores=1,3,5,7
/proc/28085/task/28087/stat : 28087 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 3786 0 0 0 134 2 0 0 20 0 3 0 331579126 182476800 11618 33554432000 4194304 5964478 140737345839232 140151180065304 5143615 0 0 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=28085/tid=28088] ppid=28083 vsize=178200 CPUtime=1.38 cores=1,3,5,7
/proc/28085/task/28088/stat : 28088 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 5013 0 0 0 136 2 0 0 20 0 3 0 331579126 182476800 11618 33554432000 4194304 5964478 140737345839232 140151169575368 4399854 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 178200
[startup+3.1004 s]
/proc/loadavg: 4.09 4.02 3.84 5/181 28088
/proc/meminfo: memFree=26693332/32873844 swapFree=7628/7628
[pid=28085] ppid=28083 vsize=178200 CPUtime=6.05 cores=1,3,5,7
/proc/28085/stat : 28085 (pwbo2.02) S 28083 28085 25747 0 -1 4202496 12586 0 0 0 601 4 0 0 20 0 3 0 331579115 182476800 11882 33554432000 4194304 5964478 140737345839232 140737345838752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28085/statm: 44550 11882 202 433 0 44114 0
[pid=28085/tid=28087] ppid=28083 vsize=178200 CPUtime=2.95 cores=1,3,5,7
/proc/28085/task/28087/stat : 28087 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 3985 0 0 0 293 2 0 0 20 0 3 0 331579126 182476800 11882 33554432000 4194304 5964478 140737345839232 140151180065304 5139166 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=28085/tid=28088] ppid=28083 vsize=178200 CPUtime=2.97 cores=1,3,5,7
/proc/28085/task/28088/stat : 28088 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 5078 0 0 0 295 2 0 0 20 0 3 0 331579126 182476800 11882 33554432000 4194304 5964478 140737345839232 140151169575272 4403343 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 178200
[startup+6.3004 s]
/proc/loadavg: 4.09 4.02 3.84 5/181 28088
/proc/meminfo: memFree=26689116/32873844 swapFree=7628/7628
[pid=28085] ppid=28083 vsize=178200 CPUtime=12.45 cores=1,3,5,7
/proc/28085/stat : 28085 (pwbo2.02) S 28083 28085 25747 0 -1 4202496 13525 0 0 0 1240 5 0 0 20 0 3 0 331579115 182476800 12821 33554432000 4194304 5964478 140737345839232 140737345838752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28085/statm: 44550 12821 202 433 0 44114 0
[pid=28085/tid=28087] ppid=28083 vsize=178200 CPUtime=6.14 cores=1,3,5,7
/proc/28085/task/28087/stat : 28087 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 4511 0 0 0 612 2 0 0 20 0 3 0 331579126 182476800 12821 33554432000 4194304 5964478 140737345839232 140151180065224 5139118 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=28085/tid=28088] ppid=28083 vsize=178200 CPUtime=6.16 cores=1,3,5,7
/proc/28085/task/28088/stat : 28088 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 5491 0 0 0 614 2 0 0 20 0 3 0 331579126 182476800 12821 33554432000 4194304 5964478 140737345839232 140151169575224 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 178200
[startup+12.7004 s]
/proc/loadavg: 4.08 4.02 3.84 5/181 28088
/proc/meminfo: memFree=26664032/32873844 swapFree=7628/7628
[pid=28085] ppid=28083 vsize=178200 CPUtime=25.25 cores=1,3,5,7
/proc/28085/stat : 28085 (pwbo2.02) S 28083 28085 25747 0 -1 4202496 19927 0 0 0 2516 9 0 0 20 0 3 0 331579115 182476800 18094 33554432000 4194304 5964478 140737345839232 140737345838752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28085/statm: 44550 18094 203 433 0 44114 0
[pid=28085/tid=28087] ppid=28083 vsize=178200 CPUtime=12.53 cores=1,3,5,7
/proc/28085/task/28087/stat : 28087 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 6870 0 0 0 1250 3 0 0 20 0 3 0 331579126 182476800 18094 33554432000 4194304 5964478 140737345839232 140151180065304 5133791 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=28085/tid=28088] ppid=28083 vsize=178200 CPUtime=12.54 cores=1,3,5,7
/proc/28085/task/28088/stat : 28088 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 9534 0 0 0 1249 5 0 0 20 0 3 0 331579126 182476800 18094 33554432000 4194304 5964478 140737345839232 140151169575224 4400091 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 178200
[startup+25.5004 s]
/proc/loadavg: 4.06 4.01 3.84 5/181 28088
/proc/meminfo: memFree=26580728/32873844 swapFree=7628/7628
[pid=28085] ppid=28083 vsize=244460 CPUtime=50.85 cores=1,3,5,7
/proc/28085/stat : 28085 (pwbo2.02) S 28083 28085 25747 0 -1 4202496 36768 0 0 0 5068 17 0 0 20 0 3 0 331579115 250327040 30646 33554432000 4194304 5964478 140737345839232 140737345838752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28085/statm: 61115 30646 203 433 0 60679 0
[pid=28085/tid=28087] ppid=28083 vsize=244460 CPUtime=25.29 cores=1,3,5,7
/proc/28085/task/28087/stat : 28087 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 14082 0 0 0 2524 5 0 0 20 0 3 0 331579126 250327040 30646 33554432000 4194304 5964478 140737345839232 140151180065080 4400087 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=28085/tid=28088] ppid=28083 vsize=244460 CPUtime=25.31 cores=1,3,5,7
/proc/28085/task/28088/stat : 28088 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 19163 0 0 0 2520 11 0 0 20 0 3 0 331579126 250327040 30646 33554432000 4194304 5964478 140737345839232 140151169575224 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 244460
[startup+51.1005 s]
/proc/loadavg: 4.04 4.01 3.84 5/181 28088
/proc/meminfo: memFree=26460152/32873844 swapFree=7628/7628
[pid=28085] ppid=28083 vsize=244460 CPUtime=102.03 cores=1,3,5,7
/proc/28085/stat : 28085 (pwbo2.02) S 28083 28085 25747 0 -1 4202496 49593 0 0 0 10177 26 0 0 20 0 3 0 331579115 250327040 43471 33554432000 4194304 5964478 140737345839232 140737345838752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28085/statm: 61115 43471 203 433 0 60679 0
[pid=28085/tid=28087] ppid=28083 vsize=244460 CPUtime=50.82 cores=1,3,5,7
/proc/28085/task/28087/stat : 28087 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 19581 0 0 0 5074 8 0 0 20 0 3 0 331579126 250327040 43471 33554432000 4194304 5964478 140737345839232 140151180065304 4400083 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=28085/tid=28088] ppid=28083 vsize=244460 CPUtime=50.85 cores=1,3,5,7
/proc/28085/task/28088/stat : 28088 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 26489 0 0 0 5068 17 0 0 20 0 3 0 331579126 250327040 43471 33554432000 4194304 5964478 140737345839232 140151169575368 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.03
Current children cumulated vsize (KiB) 244460
[startup+102.307 s]
/proc/loadavg: 4.02 4.01 3.85 5/182 28091
/proc/meminfo: memFree=26219132/32873844 swapFree=7628/7628
[pid=28085] ppid=28083 vsize=376156 CPUtime=204.42 cores=1,3,5,7
/proc/28085/stat : 28085 (pwbo2.02) S 28083 28085 25747 0 -1 4202496 72600 0 0 0 20393 49 0 0 20 0 3 0 331579115 385183744 65728 33554432000 4194304 5964478 140737345839232 140737345838752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28085/statm: 94039 65728 203 433 0 93603 0
[pid=28085/tid=28087] ppid=28083 vsize=376156 CPUtime=101.89 cores=1,3,5,7
/proc/28085/task/28087/stat : 28087 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 23358 0 0 0 10177 12 0 0 20 0 3 0 331579126 385183744 65728 33554432000 4194304 5964478 140737345839232 140151180065608 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=28085/tid=28088] ppid=28083 vsize=376156 CPUtime=101.92 cores=1,3,5,7
/proc/28085/task/28088/stat : 28088 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 45719 0 0 0 10153 39 0 0 20 0 3 0 331579126 385183744 65728 33554432000 4194304 5964478 140737345839232 140151169575224 4399915 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.42
Current children cumulated vsize (KiB) 376156
[startup+162.3 s]
/proc/loadavg: 4.06 4.02 3.86 5/181 28091
/proc/meminfo: memFree=25968348/32873844 swapFree=7628/7628
[pid=28085] ppid=28083 vsize=508168 CPUtime=324.37 cores=1,3,5,7
/proc/28085/stat : 28085 (pwbo2.02) S 28083 28085 25747 0 -1 4202496 99789 0 0 0 32359 78 0 0 20 0 3 0 331579115 520364032 93242 33554432000 4194304 5964478 140737345839232 140737345838752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28085/statm: 127042 93242 203 433 0 126606 0
[pid=28085/tid=28087] ppid=28083 vsize=508168 CPUtime=161.73 cores=1,3,5,7
/proc/28085/task/28087/stat : 28087 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 27456 0 0 0 16158 15 0 0 20 0 3 0 331579126 520364032 93242 33554432000 4194304 5964478 140737345839232 140151180065128 4400628 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=28085/tid=28088] ppid=28083 vsize=508168 CPUtime=161.73 cores=1,3,5,7
/proc/28085/task/28088/stat : 28088 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 68810 0 0 0 16107 66 0 0 20 0 3 0 331579126 520364032 93242 33554432000 4194304 5964478 140737345839232 140151169575224 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.37
Current children cumulated vsize (KiB) 508168
[startup+222.3 s]
/proc/loadavg: 4.02 4.01 3.87 5/181 28092
/proc/meminfo: memFree=25805812/32873844 swapFree=7628/7628
[pid=28085] ppid=28083 vsize=509536 CPUtime=444.3 cores=1,3,5,7
/proc/28085/stat : 28085 (pwbo2.02) S 28083 28085 25747 0 -1 4202496 109538 0 0 0 44339 91 0 0 20 0 3 0 331579115 521764864 102956 33554432000 4194304 5964478 140737345839232 140737345838752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28085/statm: 127384 102956 203 433 0 126948 0
[pid=28085/tid=28087] ppid=28083 vsize=509536 CPUtime=221.57 cores=1,3,5,7
/proc/28085/task/28087/stat : 28087 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 32252 0 0 0 22135 22 0 0 20 0 3 0 331579126 521764864 102956 33554432000 4194304 5964478 140737345839232 140151180064568 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=28085/tid=28088] ppid=28083 vsize=509536 CPUtime=221.53 cores=1,3,5,7
/proc/28085/task/28088/stat : 28088 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 73763 0 0 0 22079 74 0 0 20 0 3 0 331579126 521764864 102956 33554432000 4194304 5964478 140737345839232 140151169574984 4400067 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.3
Current children cumulated vsize (KiB) 509536
[startup+282.3 s]
/proc/loadavg: 4.00 4.01 3.87 5/181 28092
/proc/meminfo: memFree=25675888/32873844 swapFree=7628/7628
[pid=28085] ppid=28083 vsize=509672 CPUtime=564.23 cores=1,3,5,7
/proc/28085/stat : 28085 (pwbo2.02) S 28083 28085 25747 0 -1 4202496 115824 0 0 0 56325 98 0 0 20 0 3 0 331579115 521904128 109455 33554432000 4194304 5964478 140737345839232 140737345838752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28085/statm: 127418 109455 203 433 0 126982 0
[pid=28085/tid=28087] ppid=28083 vsize=509672 CPUtime=281.39 cores=1,3,5,7
/proc/28085/task/28087/stat : 28087 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 35826 0 0 0 28112 27 0 0 20 0 3 0 331579126 521904128 109455 33554432000 4194304 5964478 140737345839232 140151180064568 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=28085/tid=28088] ppid=28083 vsize=509672 CPUtime=281.35 cores=1,3,5,7
/proc/28085/task/28088/stat : 28088 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 76475 0 0 0 28058 77 0 0 20 0 3 0 331579126 521904128 109455 33554432000 4194304 5964478 140737345839232 140151169575224 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.23
Current children cumulated vsize (KiB) 509672
[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.88 5/181 28092
/proc/meminfo: memFree=25503060/32873844 swapFree=7628/7628
[pid=28085] ppid=28083 vsize=575472 CPUtime=684.15 cores=1,3,5,7
/proc/28085/stat : 28085 (pwbo2.02) S 28083 28085 25747 0 -1 4202496 142470 0 0 0 68288 127 0 0 20 0 3 0 331579115 589283328 136071 33554432000 4194304 5964478 140737345839232 140737345838752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28085/statm: 143868 136071 203 433 0 143432 0
[pid=28085/tid=28087] ppid=28083 vsize=575472 CPUtime=341.21 cores=1,3,5,7
/proc/28085/task/28087/stat : 28087 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 38801 0 0 0 34089 32 0 0 20 0 3 0 331579126 589283328 136071 33554432000 4194304 5964478 140737345839232 140151180064568 4400010 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=28085/tid=28088] ppid=28083 vsize=575472 CPUtime=341.16 cores=1,3,5,7
/proc/28085/task/28088/stat : 28088 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 100146 0 0 0 34012 104 0 0 20 0 3 0 331579126 589283328 136071 33554432000 4194304 5964478 140737345839232 140151169575224 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.15
Current children cumulated vsize (KiB) 575472
[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.88 5/181 28092
/proc/meminfo: memFree=25380752/32873844 swapFree=7628/7628
[pid=28085] ppid=28083 vsize=772508 CPUtime=804.11 cores=1,3,5,7
/proc/28085/stat : 28085 (pwbo2.02) S 28083 28085 25747 0 -1 4202496 169423 0 0 0 80249 162 0 0 20 0 3 0 331579115 791048192 163515 33554432000 4194304 5964478 140737345839232 140737345838752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28085/statm: 193127 163515 203 433 0 192691 0
[pid=28085/tid=28087] ppid=28083 vsize=772508 CPUtime=401.04 cores=1,3,5,7
/proc/28085/task/28087/stat : 28087 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 44394 0 0 0 40064 40 0 0 20 0 3 0 331579126 791048192 163515 33554432000 4194304 5964478 140737345839232 140151180064808 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=28085/tid=28088] ppid=28083 vsize=772508 CPUtime=401 cores=1,3,5,7
/proc/28085/task/28088/stat : 28088 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 121506 0 0 0 39967 133 0 0 20 0 3 0 331579126 791048192 163515 33554432000 4194304 5964478 140737345839232 140151169575224 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.11
Current children cumulated vsize (KiB) 772508
[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.89 5/181 28092
/proc/meminfo: memFree=25260500/32873844 swapFree=7628/7628
[pid=28085] ppid=28083 vsize=839000 CPUtime=924.1 cores=1,3,5,7
/proc/28085/stat : 28085 (pwbo2.02) S 28083 28085 25747 0 -1 4202496 193835 0 0 0 92216 194 0 0 20 0 3 0 331579115 859136000 187926 33554432000 4194304 5964478 140737345839232 140737345838752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28085/statm: 209750 187926 203 433 0 209314 0
[pid=28085/tid=28087] ppid=28083 vsize=839000 CPUtime=460.89 cores=1,3,5,7
/proc/28085/task/28087/stat : 28087 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 50879 0 0 0 46042 47 0 0 20 0 3 0 331579126 859136000 187926 33554432000 4194304 5964478 140737345839232 140151180064568 4400024 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=28085/tid=28088] ppid=28083 vsize=839000 CPUtime=460.85 cores=1,3,5,7
/proc/28085/task/28088/stat : 28088 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 139433 0 0 0 45927 158 0 0 20 0 3 0 331579126 859136000 187926 33554432000 4194304 5964478 140737345839232 140151169575224 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.1
Current children cumulated vsize (KiB) 839000
[startup+522.3 s]
/proc/loadavg: 4.06 4.01 3.90 5/180 28092
/proc/meminfo: memFree=25156128/32873844 swapFree=7628/7628
[pid=28085] ppid=28083 vsize=905340 CPUtime=1044.07 cores=1,3,5,7
/proc/28085/stat : 28085 (pwbo2.02) S 28083 28085 25747 0 -1 4202496 214982 0 0 0 104187 220 0 0 20 0 3 0 331579115 927068160 209073 33554432000 4194304 5964478 140737345839232 140737345838752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28085/statm: 226335 209073 203 433 0 225899 0
[pid=28085/tid=28087] ppid=28083 vsize=905340 CPUtime=520.73 cores=1,3,5,7
/proc/28085/task/28087/stat : 28087 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 53534 0 0 0 52023 50 0 0 20 0 3 0 331579126 927068160 209073 33554432000 4194304 5964478 140737345839232 140151180064760 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=28085/tid=28088] ppid=28083 vsize=905340 CPUtime=520.69 cores=1,3,5,7
/proc/28085/task/28088/stat : 28088 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 157925 0 0 0 51886 183 0 0 20 0 3 0 331579126 927068160 209073 33554432000 4194304 5964478 140737345839232 140151169575224 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.07
Current children cumulated vsize (KiB) 905340
[startup+582.3 s]
/proc/loadavg: 4.02 4.01 3.91 5/181 28093
/proc/meminfo: memFree=25048452/32873844 swapFree=7628/7628
[pid=28085] ppid=28083 vsize=971012 CPUtime=1164.05 cores=1,3,5,7
/proc/28085/stat : 28085 (pwbo2.02) S 28083 28085 25747 0 -1 4202496 232575 0 0 0 116161 244 0 0 20 0 3 0 331579115 994316288 226663 33554432000 4194304 5964478 140737345839232 140737345838752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28085/statm: 242753 226663 203 433 0 242317 0
[pid=28085/tid=28087] ppid=28083 vsize=971012 CPUtime=580.57 cores=1,3,5,7
/proc/28085/task/28087/stat : 28087 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 54495 0 0 0 58004 53 0 0 20 0 3 0 331579126 994316288 226663 33554432000 4194304 5964478 140737345839232 140151180064760 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=28085/tid=28088] ppid=28083 vsize=971012 CPUtime=580.54 cores=1,3,5,7
/proc/28085/task/28088/stat : 28088 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 174557 0 0 0 57848 206 0 0 20 0 3 0 331579126 994316288 226663 33554432000 4194304 5964478 140737345839232 140151169575224 4400069 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.05
Current children cumulated vsize (KiB) 971012
[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 28093
/proc/meminfo: memFree=24984808/32873844 swapFree=7628/7628
[pid=28085] ppid=28083 vsize=1102376 CPUtime=1284.04 cores=1,3,5,7
/proc/28085/stat : 28085 (pwbo2.02) S 28083 28085 25747 0 -1 4202496 251809 0 0 0 128131 273 0 0 20 0 3 0 331579115 1128833024 245897 33554432000 4194304 5964478 140737345839232 140737345838752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28085/statm: 275594 245897 203 433 0 275158 0
[pid=28085/tid=28087] ppid=28083 vsize=1102376 CPUtime=640.42 cores=1,3,5,7
/proc/28085/task/28087/stat : 28087 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 61338 0 0 0 63971 71 0 0 20 0 3 0 331579126 1128833024 245897 33554432000 4194304 5964478 140737345839232 140151180064568 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=28085/tid=28088] ppid=28083 vsize=1102376 CPUtime=640.39 cores=1,3,5,7
/proc/28085/task/28088/stat : 28088 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 186948 0 0 0 63820 219 0 0 20 0 3 0 331579126 1128833024 245897 33554432000 4194304 5964478 140737345839232 140151169575224 4400519 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.04
Current children cumulated vsize (KiB) 1102376
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 28096
/proc/meminfo: memFree=24962464/32873844 swapFree=7628/7628
[pid=28085] ppid=28083 vsize=1102376 CPUtime=1404 cores=1,3,5,7
/proc/28085/stat : 28085 (pwbo2.02) S 28083 28085 25747 0 -1 4202496 257000 0 0 0 140115 285 0 0 20 0 3 0 331579115 1128833024 251088 33554432000 4194304 5964478 140737345839232 140737345838752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28085/statm: 275594 251088 203 433 0 275158 0
[pid=28085/tid=28087] ppid=28083 vsize=1102376 CPUtime=700.25 cores=1,3,5,7
/proc/28085/task/28087/stat : 28087 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 66529 0 0 0 69941 84 0 0 20 0 3 0 331579126 1128833024 251088 33554432000 4194304 5964478 140737345839232 140151180064760 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=28085/tid=28088] ppid=28083 vsize=1102376 CPUtime=700.23 cores=1,3,5,7
/proc/28085/task/28088/stat : 28088 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 186948 0 0 0 69803 220 0 0 20 0 3 0 331579126 1128833024 251088 33554432000 4194304 5964478 140737345839232 140151169575224 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404
Current children cumulated vsize (KiB) 1102376
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 28096
/proc/meminfo: memFree=24910516/32873844 swapFree=7628/7628
[pid=28085] ppid=28083 vsize=1168720 CPUtime=1523.99 cores=1,3,5,7
/proc/28085/stat : 28085 (pwbo2.02) S 28083 28085 25747 0 -1 4202496 262541 0 0 0 152097 302 0 0 20 0 3 0 331579115 1196769280 256629 33554432000 4194304 5964478 140737345839232 140737345838752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28085/statm: 292180 256629 203 433 0 291744 0
[pid=28085/tid=28087] ppid=28083 vsize=1168720 CPUtime=760.1 cores=1,3,5,7
/proc/28085/task/28087/stat : 28087 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 72062 0 0 0 75908 102 0 0 20 0 3 0 331579126 1196769280 256629 33554432000 4194304 5964478 140737345839232 140151180064760 4432077 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=28085/tid=28088] ppid=28083 vsize=1168720 CPUtime=760.08 cores=1,3,5,7
/proc/28085/task/28088/stat : 28088 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 186956 0 0 0 75787 221 0 0 20 0 3 0 331579126 1196769280 256629 33554432000 4194304 5964478 140737345839232 140151169575224 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1523.99
Current children cumulated vsize (KiB) 1168720
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 28096
/proc/meminfo: memFree=24802440/32873844 swapFree=7628/7628
[pid=28085] ppid=28083 vsize=1168888 CPUtime=1643.95 cores=1,3,5,7
/proc/28085/stat : 28085 (pwbo2.02) S 28083 28085 25747 0 -1 4202496 262936 0 0 0 164093 302 0 0 20 0 3 0 331579115 1196941312 257024 33554432000 4194304 5964478 140737345839232 140737345838752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28085/statm: 292222 257024 203 433 0 291786 0
[pid=28085/tid=28087] ppid=28083 vsize=1168888 CPUtime=819.93 cores=1,3,5,7
/proc/28085/task/28087/stat : 28087 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 72422 0 0 0 81890 103 0 0 20 0 3 0 331579126 1196941312 257024 33554432000 4194304 5964478 140737345839232 140151180064568 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=28085/tid=28088] ppid=28083 vsize=1168888 CPUtime=819.92 cores=1,3,5,7
/proc/28085/task/28088/stat : 28088 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 186991 0 0 0 81770 222 0 0 20 0 3 0 331579126 1196941312 257024 33554432000 4194304 5964478 140737345839232 140151169574984 4400001 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1643.95
Current children cumulated vsize (KiB) 1168888
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 28097
/proc/meminfo: memFree=24709812/32873844 swapFree=7628/7628
[pid=28085] ppid=28083 vsize=1169036 CPUtime=1763.93 cores=1,3,5,7
/proc/28085/stat : 28085 (pwbo2.02) S 28083 28085 25747 0 -1 4202496 263643 0 0 0 176091 302 0 0 20 0 3 0 331579115 1197092864 257730 33554432000 4194304 5964478 140737345839232 140737345838752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28085/statm: 292259 257730 203 433 0 291823 0
[pid=28085/tid=28087] ppid=28083 vsize=1169036 CPUtime=879.77 cores=1,3,5,7
/proc/28085/task/28087/stat : 28087 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 73083 0 0 0 87873 104 0 0 20 0 3 0 331579126 1197092864 257730 33554432000 4194304 5964478 140737345839232 140151180064632 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=28085/tid=28088] ppid=28083 vsize=1169036 CPUtime=879.77 cores=1,3,5,7
/proc/28085/task/28088/stat : 28088 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 187037 0 0 0 87754 223 0 0 20 0 3 0 331579126 1197092864 257730 33554432000 4194304 5964478 140737345839232 140151169574984 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1763.93
Current children cumulated vsize (KiB) 1169036
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.4 s]
/proc/loadavg: 4.00 4.00 3.91 3/177 28098
/proc/meminfo: memFree=25787496/32873844 swapFree=7628/7628
[pid=28085] ppid=28083 vsize=1169036 CPUtime=1800.13 cores=1,3,5,7
/proc/28085/stat : 28085 (pwbo2.02) S 28083 28085 25747 0 -1 4202496 263817 0 0 0 179711 302 0 0 20 0 3 0 331579115 1197092864 258148 33554432000 4194304 5964478 140737345839232 140737345838752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28085/statm: 292259 258148 203 433 0 291823 0
[pid=28085/tid=28087] ppid=28083 vsize=1169036 CPUtime=897.83 cores=1,3,5,7
/proc/28085/task/28087/stat : 28087 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 73247 0 0 0 89679 104 0 0 20 0 3 0 331579126 1197092864 258148 33554432000 4194304 5964478 140737345839232 140151180064568 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=28085/tid=28088] ppid=28083 vsize=1169036 CPUtime=897.83 cores=1,3,5,7
/proc/28085/task/28088/stat : 28088 (pwbo2.02) R 28083 28085 25747 0 -1 4202560 187047 0 0 0 89560 223 0 0 20 0 3 0 331579126 1197092864 258148 33554432000 4194304 5964478 140737345839232 140151169574984 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 1169036
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 28085 and gives
# childrusage.ru_utime.tv_sec=1792
# childrusage.ru_utime.tv_usec=496499
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=344491
# CPU time returned by wait4() is 1795.84
# while last known CPU time is 1800.13
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.461
CPU time (s): 1800.13
CPU user time (s): 1797.11
CPU system time (s): 3.02
CPU usage (%): 199.912
Max. virtual memory (cumulated for all children) (KiB): 1169036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.5
system time used= 3.34449
maximum resident set size= 1032596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 263818
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= 1466
involuntary context switches= 2142
runsolver used 1.25081 second user time and 6.26405 second system time
The end