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-3712795-1338201174/watcher-3712795-1338201174 -o /tmp/evaluation-result-3712795-1338201174/solver-3712795-1338201174 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712795-1338201174.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: 4.00 4.02 3.98 4/179 24320
/proc/meminfo: memFree=30177312/32873844 swapFree=7112/7112
[pid=24320] ppid=24318 vsize=5580 CPUtime=0 cores=0,2,4,6
/proc/24320/stat : 24320 (pwbo2.01) R 24318 24320 22874 0 -1 4202496 723 0 0 0 0 0 0 0 20 0 1 0 286242700 5713920 668 33554432000 4194304 5964478 140737406932800 140734458143928 4297174 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/24320/statm: 1513 676 170 433 0 1077 0

[startup+0.0498381 s]
/proc/loadavg: 4.00 4.02 3.98 4/179 24320
/proc/meminfo: memFree=30177312/32873844 swapFree=7112/7112
[pid=24320] ppid=24318 vsize=163332 CPUtime=0.08 cores=0,2,4,6
/proc/24320/stat : 24320 (pwbo2.01) S 24318 24320 22874 0 -1 4202496 1640 0 0 0 8 0 0 0 20 0 3 0 286242700 167251968 1584 33554432000 4194304 5964478 140737406932800 140737406932320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24320/statm: 40833 1584 198 433 0 40397 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 163332

[startup+0.100159 s]
/proc/loadavg: 4.00 4.02 3.98 4/179 24320
/proc/meminfo: memFree=30177312/32873844 swapFree=7112/7112
[pid=24320] ppid=24318 vsize=163332 CPUtime=0.18 cores=0,2,4,6
/proc/24320/stat : 24320 (pwbo2.01) S 24318 24320 22874 0 -1 4202496 1887 0 0 0 18 0 0 0 20 0 3 0 286242700 167251968 1831 33554432000 4194304 5964478 140737406932800 140737406932320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24320/statm: 40833 1831 198 433 0 40397 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 163332

[startup+0.300118 s]
/proc/loadavg: 4.00 4.02 3.98 4/179 24320
/proc/meminfo: memFree=30177312/32873844 swapFree=7112/7112
[pid=24320] ppid=24318 vsize=163332 CPUtime=0.57 cores=0,2,4,6
/proc/24320/stat : 24320 (pwbo2.01) S 24318 24320 22874 0 -1 4202496 2767 0 0 0 57 0 0 0 20 0 3 0 286242700 167251968 2711 33554432000 4194304 5964478 140737406932800 140737406932320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24320/statm: 40833 2711 198 433 0 40397 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 163332

[startup+0.700119 s]
/proc/loadavg: 4.00 4.02 3.98 4/179 24320
/proc/meminfo: memFree=30177312/32873844 swapFree=7112/7112
[pid=24320] ppid=24318 vsize=163332 CPUtime=1.38 cores=0,2,4,6
/proc/24320/stat : 24320 (pwbo2.01) S 24318 24320 22874 0 -1 4202496 4445 0 0 0 136 2 0 0 20 0 3 0 286242700 167251968 4389 33554432000 4194304 5964478 140737406932800 140737406932320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24320/statm: 40833 4389 198 433 0 40397 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 163332

[startup+1.50026 s]
/proc/loadavg: 4.00 4.02 3.98 5/182 24323
/proc/meminfo: memFree=30154416/32873844 swapFree=7112/7112
[pid=24320] ppid=24318 vsize=163332 CPUtime=2.97 cores=0,2,4,6
/proc/24320/stat : 24320 (pwbo2.01) S 24318 24320 22874 0 -1 4202496 7217 0 0 0 293 4 0 0 20 0 3 0 286242700 167251968 7161 33554432000 4194304 5964478 140737406932800 140737406932320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24320/statm: 40833 7161 198 433 0 40397 0
[pid=24320/tid=24322] ppid=24318 vsize=163332 CPUtime=1.47 cores=0,2,4,6
/proc/24320/task/24322/stat : 24322 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 3223 0 0 0 144 3 0 0 20 0 3 0 286242700 167251968 7161 33554432000 4194304 5964478 140737406932800 140053116159992 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24320/tid=24323] ppid=24318 vsize=163332 CPUtime=1.47 cores=0,2,4,6
/proc/24320/task/24323/stat : 24323 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 2990 0 0 0 146 1 0 0 20 0 3 0 286242700 167251968 7161 33554432000 4194304 5964478 140737406932800 140053105670456 4400075 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 163332

[startup+3.10026 s]
/proc/loadavg: 4.00 4.02 3.98 5/182 24323
/proc/meminfo: memFree=30143884/32873844 swapFree=7112/7112
[pid=24320] ppid=24318 vsize=163620 CPUtime=6.17 cores=0,2,4,6
/proc/24320/stat : 24320 (pwbo2.01) S 24318 24320 22874 0 -1 4202496 10039 0 0 0 611 6 0 0 20 0 3 0 286242700 167546880 9983 33554432000 4194304 5964478 140737406932800 140737406932320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24320/statm: 40905 9984 198 433 0 40469 0
[pid=24320/tid=24322] ppid=24318 vsize=163620 CPUtime=3.08 cores=0,2,4,6
/proc/24320/task/24322/stat : 24322 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 4673 0 0 0 303 5 0 0 20 0 3 0 286242700 167546880 9984 33554432000 4194304 5964478 140737406932800 140053116159992 4222464 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24320/tid=24323] ppid=24318 vsize=163620 CPUtime=3.07 cores=0,2,4,6
/proc/24320/task/24323/stat : 24323 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 4363 0 0 0 305 2 0 0 20 0 3 0 286242700 167546880 9984 33554432000 4194304 5964478 140737406932800 140053105670456 5136404 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 163620

[startup+6.30025 s]
/proc/loadavg: 4.00 4.02 3.98 5/182 24323
/proc/meminfo: memFree=30124788/32873844 swapFree=7112/7112
[pid=24320] ppid=24318 vsize=163620 CPUtime=12.57 cores=0,2,4,6
/proc/24320/stat : 24320 (pwbo2.01) S 24318 24320 22874 0 -1 4202496 14325 0 0 0 1250 7 0 0 20 0 3 0 286242700 167546880 14269 33554432000 4194304 5964478 140737406932800 140737406932320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24320/statm: 40905 14269 198 433 0 40469 0
[pid=24320/tid=24322] ppid=24318 vsize=163620 CPUtime=6.27 cores=0,2,4,6
/proc/24320/task/24322/stat : 24322 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 7242 0 0 0 622 5 0 0 20 0 3 0 286242700 167546880 14269 33554432000 4194304 5964478 140737406932800 140053116159992 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24320/tid=24323] ppid=24318 vsize=163620 CPUtime=6.26 cores=0,2,4,6
/proc/24320/task/24323/stat : 24323 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 6079 0 0 0 624 2 0 0 20 0 3 0 286242700 167546880 14269 33554432000 4194304 5964478 140737406932800 140053105670456 4400071 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 163620

[startup+12.7003 s]
/proc/loadavg: 4.00 4.02 3.98 5/182 24323
/proc/meminfo: memFree=30093680/32873844 swapFree=7112/7112
[pid=24320] ppid=24318 vsize=163764 CPUtime=25.37 cores=0,2,4,6
/proc/24320/stat : 24320 (pwbo2.01) S 24318 24320 22874 0 -1 4202496 21648 0 0 0 2521 16 0 0 20 0 3 0 286242700 167694336 21592 33554432000 4194304 5964478 140737406932800 140737406932320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24320/statm: 40941 21592 198 433 0 40505 0
[pid=24320/tid=24322] ppid=24318 vsize=163764 CPUtime=12.64 cores=0,2,4,6
/proc/24320/task/24322/stat : 24322 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 10725 0 0 0 1258 6 0 0 20 0 3 0 286242700 167694336 21592 33554432000 4194304 5964478 140737406932800 140053116159800 4400099 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24320/tid=24323] ppid=24318 vsize=163764 CPUtime=12.63 cores=0,2,4,6
/proc/24320/task/24323/stat : 24323 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 9919 0 0 0 1254 9 0 0 20 0 3 0 286242700 167694336 21592 33554432000 4194304 5964478 140737406932800 140053105670456 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 163764

[startup+25.5003 s]
/proc/loadavg: 4.00 4.02 3.98 5/182 24323
/proc/meminfo: memFree=30038668/32873844 swapFree=7112/7112
[pid=24320] ppid=24318 vsize=295184 CPUtime=50.95 cores=0,2,4,6
/proc/24320/stat : 24320 (pwbo2.01) S 24318 24320 22874 0 -1 4202496 35185 0 0 0 5061 34 0 0 20 0 3 0 286242700 302268416 35129 33554432000 4194304 5964478 140737406932800 140737406932320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24320/statm: 73796 35129 198 433 0 73360 0
[pid=24320/tid=24322] ppid=24318 vsize=295184 CPUtime=25.41 cores=0,2,4,6
/proc/24320/task/24322/stat : 24322 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 17616 0 0 0 2529 12 0 0 20 0 3 0 286242700 302268416 35129 33554432000 4194304 5964478 140737406932800 140053116159992 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24320/tid=24323] ppid=24318 vsize=295184 CPUtime=25.4 cores=0,2,4,6
/proc/24320/task/24323/stat : 24323 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 16565 0 0 0 2518 22 0 0 20 0 3 0 286242700 302268416 35129 33554432000 4194304 5964478 140737406932800 140053105670456 4389116 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 295184

[startup+51.1004 s]
/proc/loadavg: 4.00 4.02 3.98 5/183 24324
/proc/meminfo: memFree=29988036/32873844 swapFree=7112/7112
[pid=24320] ppid=24318 vsize=296060 CPUtime=102.14 cores=0,2,4,6
/proc/24320/stat : 24320 (pwbo2.01) S 24318 24320 22874 0 -1 4202496 47666 0 0 0 10163 51 0 0 20 0 3 0 286242700 303165440 47610 33554432000 4194304 5964478 140737406932800 140737406932320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24320/statm: 74015 47610 198 433 0 73579 0
[pid=24320/tid=24322] ppid=24318 vsize=296060 CPUtime=50.94 cores=0,2,4,6
/proc/24320/task/24322/stat : 24322 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 24483 0 0 0 5077 17 0 0 20 0 3 0 286242700 303165440 47610 33554432000 4194304 5964478 140737406932800 140053116159992 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24320/tid=24323] ppid=24318 vsize=296060 CPUtime=50.94 cores=0,2,4,6
/proc/24320/task/24323/stat : 24323 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 22179 0 0 0 5061 33 0 0 20 0 3 0 286242700 303165440 47610 33554432000 4194304 5964478 140737406932800 140053105670216 4400062 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 296060

[startup+102.3 s]
/proc/loadavg: 4.00 4.01 3.98 5/183 24324
/proc/meminfo: memFree=29733076/32873844 swapFree=7112/7112
[pid=24320] ppid=24318 vsize=428028 CPUtime=204.53 cores=0,2,4,6
/proc/24320/stat : 24320 (pwbo2.01) S 24318 24320 22874 0 -1 4202496 69925 0 0 0 20366 87 0 0 20 0 3 0 286242700 438300672 69869 33554432000 4194304 5964478 140737406932800 140737406932320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24320/statm: 107007 69869 198 433 0 106571 0
[pid=24320/tid=24322] ppid=24318 vsize=428028 CPUtime=102.02 cores=0,2,4,6
/proc/24320/task/24322/stat : 24322 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 35078 0 0 0 10172 30 0 0 20 0 3 0 286242700 438300672 69869 33554432000 4194304 5964478 140737406932800 140053116159992 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24320/tid=24323] ppid=24318 vsize=428028 CPUtime=102.01 cores=0,2,4,6
/proc/24320/task/24323/stat : 24323 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 33843 0 0 0 10142 59 0 0 20 0 3 0 286242700 438300672 69869 33554432000 4194304 5964478 140737406932800 140053105670456 4403512 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.53
Current children cumulated vsize (KiB) 428028

[startup+162.3 s]
/proc/loadavg: 4.10 4.04 3.99 5/183 24324
/proc/meminfo: memFree=29595092/32873844 swapFree=7112/7112
[pid=24320] ppid=24318 vsize=428160 CPUtime=324.5 cores=0,2,4,6
/proc/24320/stat : 24320 (pwbo2.01) S 24318 24320 22874 0 -1 4202496 91089 0 0 0 32334 116 0 0 20 0 3 0 286242700 438435840 91033 33554432000 4194304 5964478 140737406932800 140737406932320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24320/statm: 107040 91033 198 433 0 106604 0
[pid=24320/tid=24322] ppid=24318 vsize=428160 CPUtime=161.86 cores=0,2,4,6
/proc/24320/task/24322/stat : 24322 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 49089 0 0 0 16144 42 0 0 20 0 3 0 286242700 438435840 91033 33554432000 4194304 5964478 140737406932800 140053116159992 4399936 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24320/tid=24323] ppid=24318 vsize=428160 CPUtime=161.85 cores=0,2,4,6
/proc/24320/task/24323/stat : 24323 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 40996 0 0 0 16108 77 0 0 20 0 3 0 286242700 438435840 91033 33554432000 4194304 5964478 140737406932800 140053105670456 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.5
Current children cumulated vsize (KiB) 428160

[startup+222.307 s]
/proc/loadavg: 4.03 4.03 3.99 5/183 24324
/proc/meminfo: memFree=29453016/32873844 swapFree=7112/7112
[pid=24320] ppid=24318 vsize=494056 CPUtime=444.5 cores=0,2,4,6
/proc/24320/stat : 24320 (pwbo2.01) S 24318 24320 22874 0 -1 4202496 97290 0 0 0 44323 127 0 0 20 0 3 0 286242700 505913344 97234 33554432000 4194304 5964478 140737406932800 140737406932320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24320/statm: 123514 97234 198 433 0 123078 0
[pid=24320/tid=24322] ppid=24318 vsize=494056 CPUtime=221.71 cores=0,2,4,6
/proc/24320/task/24322/stat : 24322 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 52420 0 0 0 22124 47 0 0 20 0 3 0 286242700 505913344 97234 33554432000 4194304 5964478 140737406932800 140053116159992 4400099 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24320/tid=24323] ppid=24318 vsize=494056 CPUtime=221.7 cores=0,2,4,6
/proc/24320/task/24323/stat : 24323 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 43866 0 0 0 22085 85 0 0 20 0 3 0 286242700 505913344 97234 33554432000 4194304 5964478 140737406932800 140053105670456 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.5
Current children cumulated vsize (KiB) 494056

[startup+282.3 s]
/proc/loadavg: 3.90 3.99 3.98 5/183 24366
/proc/meminfo: memFree=30834996/32873844 swapFree=7112/7112
[pid=24320] ppid=24318 vsize=494624 CPUtime=564.45 cores=0,2,4,6
/proc/24320/stat : 24320 (pwbo2.01) S 24318 24320 22874 0 -1 4202496 104876 0 0 0 56309 136 0 0 20 0 3 0 286242700 506494976 105214 33554432000 4194304 5964478 140737406932800 140737406932320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24320/statm: 123656 105214 198 433 0 123220 0
[pid=24320/tid=24322] ppid=24318 vsize=494624 CPUtime=281.54 cores=0,2,4,6
/proc/24320/task/24322/stat : 24322 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 58627 0 0 0 28099 55 0 0 20 0 3 0 286242700 506494976 105214 33554432000 4194304 5964478 140737406932800 140053116159992 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24320/tid=24323] ppid=24318 vsize=494624 CPUtime=281.54 cores=0,2,4,6
/proc/24320/task/24323/stat : 24323 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 45245 0 0 0 28065 89 0 0 20 0 3 0 286242700 506494976 105214 33554432000 4194304 5964478 140737406932800 140053105670456 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.45
Current children cumulated vsize (KiB) 494624

[startup+342.3 s]
/proc/loadavg: 3.96 3.99 3.98 5/183 24366
/proc/meminfo: memFree=30699120/32873844 swapFree=7112/7112
[pid=24320] ppid=24318 vsize=627004 CPUtime=684.39 cores=0,2,4,6
/proc/24320/stat : 24320 (pwbo2.01) S 24318 24320 22874 0 -1 4202496 130065 0 0 0 68257 182 0 0 20 0 3 0 286242700 642052096 130460 33554432000 4194304 5964478 140737406932800 140737406932320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24320/statm: 156751 130460 198 433 0 156315 0
[pid=24320/tid=24322] ppid=24318 vsize=627004 CPUtime=341.37 cores=0,2,4,6
/proc/24320/task/24322/stat : 24322 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 70879 0 0 0 34069 68 0 0 20 0 3 0 286242700 642052096 130460 33554432000 4194304 5964478 140737406932800 140053116159992 4381560 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24320/tid=24323] ppid=24318 vsize=627004 CPUtime=341.38 cores=0,2,4,6
/proc/24320/task/24323/stat : 24323 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 58182 0 0 0 34014 124 0 0 20 0 3 0 286242700 642052096 130460 33554432000 4194304 5964478 140737406932800 140053105670456 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.39
Current children cumulated vsize (KiB) 627004

[startup+402.3 s]
/proc/loadavg: 3.98 3.99 3.98 5/183 24366
/proc/meminfo: memFree=30621524/32873844 swapFree=7112/7112
[pid=24320] ppid=24318 vsize=628588 CPUtime=804.33 cores=0,2,4,6
/proc/24320/stat : 24320 (pwbo2.01) S 24318 24320 22874 0 -1 4202496 144726 0 0 0 80228 205 0 0 20 0 3 0 286242700 643674112 145142 33554432000 4194304 5964478 140737406932800 140737406932320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24320/statm: 157147 145142 198 433 0 156711 0
[pid=24320/tid=24322] ppid=24318 vsize=628588 CPUtime=401.19 cores=0,2,4,6
/proc/24320/task/24322/stat : 24322 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 79749 0 0 0 40040 79 0 0 20 0 3 0 286242700 643674112 145142 33554432000 4194304 5964478 140737406932800 140053116160024 4400040 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24320/tid=24323] ppid=24318 vsize=628588 CPUtime=401.21 cores=0,2,4,6
/proc/24320/task/24323/stat : 24323 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 63973 0 0 0 39984 137 0 0 20 0 3 0 286242700 643674112 145142 33554432000 4194304 5964478 140737406932800 140053105670456 4400040 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.33
Current children cumulated vsize (KiB) 628588

[startup+462.3 s]
/proc/loadavg: 3.99 3.99 3.98 5/184 24369
/proc/meminfo: memFree=30603688/32873844 swapFree=7112/7112
[pid=24320] ppid=24318 vsize=628856 CPUtime=924.27 cores=0,2,4,6
/proc/24320/stat : 24320 (pwbo2.01) S 24318 24320 22874 0 -1 4202496 144843 0 0 0 92222 205 0 0 20 0 3 0 286242700 643948544 145265 33554432000 4194304 5964478 140737406932800 140737406932320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24320/statm: 157214 145265 198 433 0 156778 0
[pid=24320/tid=24322] ppid=24318 vsize=628856 CPUtime=461.03 cores=0,2,4,6
/proc/24320/task/24322/stat : 24322 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 79752 0 0 0 46024 79 0 0 20 0 3 0 286242700 643948544 145265 33554432000 4194304 5964478 140737406932800 140053116160024 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24320/tid=24323] ppid=24318 vsize=628856 CPUtime=461.02 cores=0,2,4,6
/proc/24320/task/24323/stat : 24323 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 64087 0 0 0 45965 137 0 0 20 0 3 0 286242700 643948544 145265 33554432000 4194304 5964478 140737406932800 140053105670280 4400099 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.27
Current children cumulated vsize (KiB) 628856

[startup+522.3 s]
/proc/loadavg: 3.99 3.99 3.98 5/183 24369
/proc/meminfo: memFree=30562696/32873844 swapFree=7112/7112
[pid=24320] ppid=24318 vsize=695620 CPUtime=1044.23 cores=0,2,4,6
/proc/24320/stat : 24320 (pwbo2.01) S 24318 24320 22874 0 -1 4202496 152242 0 0 0 104206 217 0 0 20 0 3 0 286242700 712314880 153668 33554432000 4194304 5964478 140737406932800 140737406932320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24320/statm: 173905 153668 198 433 0 173469 0
[pid=24320/tid=24322] ppid=24318 vsize=695620 CPUtime=520.85 cores=0,2,4,6
/proc/24320/task/24322/stat : 24322 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 87022 0 0 0 51993 92 0 0 20 0 3 0 286242700 712314880 153668 33554432000 4194304 5964478 140737406932800 140053116159992 4400075 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24320/tid=24323] ppid=24318 vsize=695620 CPUtime=520.86 cores=0,2,4,6
/proc/24320/task/24323/stat : 24323 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 64216 0 0 0 51948 138 0 0 20 0 3 0 286242700 712314880 153668 33554432000 4194304 5964478 140737406932800 140053105670216 4400093 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.23
Current children cumulated vsize (KiB) 695620

[startup+582.3 s]
/proc/loadavg: 3.99 3.99 3.98 5/183 24370
/proc/meminfo: memFree=30454472/32873844 swapFree=7112/7112
[pid=24320] ppid=24318 vsize=765836 CPUtime=1164.2 cores=0,2,4,6
/proc/24320/stat : 24320 (pwbo2.01) S 24318 24320 22874 0 -1 4202496 174475 0 0 0 116155 265 0 0 20 0 3 0 286242700 784216064 176599 33554432000 4194304 5964478 140737406932800 140737406932320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24320/statm: 191459 176599 198 433 0 191023 0
[pid=24320/tid=24322] ppid=24318 vsize=765836 CPUtime=580.7 cores=0,2,4,6
/proc/24320/task/24322/stat : 24322 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 94138 0 0 0 57968 102 0 0 20 0 3 0 286242700 784216064 176599 33554432000 4194304 5964478 140737406932800 140053116159992 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24320/tid=24323] ppid=24318 vsize=765836 CPUtime=580.71 cores=0,2,4,6
/proc/24320/task/24323/stat : 24323 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 79333 0 0 0 57893 178 0 0 20 0 3 0 286242700 784216064 176599 33554432000 4194304 5964478 140737406932800 140053105670456 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.2
Current children cumulated vsize (KiB) 765836

[startup+642.3 s]
/proc/loadavg: 3.99 3.99 3.98 5/183 24370
/proc/meminfo: memFree=30433332/32873844 swapFree=7112/7112
[pid=24320] ppid=24318 vsize=765836 CPUtime=1284.18 cores=0,2,4,6
/proc/24320/stat : 24320 (pwbo2.01) S 24318 24320 22874 0 -1 4202496 174491 0 0 0 128153 265 0 0 20 0 3 0 286242700 784216064 176645 33554432000 4194304 5964478 140737406932800 140737406932320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24320/statm: 191459 176645 198 433 0 191023 0
[pid=24320/tid=24322] ppid=24318 vsize=765836 CPUtime=640.55 cores=0,2,4,6
/proc/24320/task/24322/stat : 24322 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 94142 0 0 0 63952 103 0 0 20 0 3 0 286242700 784216064 176645 33554432000 4194304 5964478 140737406932800 140053116159992 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24320/tid=24323] ppid=24318 vsize=765836 CPUtime=640.55 cores=0,2,4,6
/proc/24320/task/24323/stat : 24323 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 79345 0 0 0 63876 179 0 0 20 0 3 0 286242700 784216064 176645 33554432000 4194304 5964478 140737406932800 140053105670456 4400503 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.18
Current children cumulated vsize (KiB) 765836

[startup+702.3 s]
/proc/loadavg: 3.99 3.99 3.98 5/183 24370
/proc/meminfo: memFree=30420556/32873844 swapFree=7112/7112
[pid=24320] ppid=24318 vsize=765836 CPUtime=1404.13 cores=0,2,4,6
/proc/24320/stat : 24320 (pwbo2.01) S 24318 24320 22874 0 -1 4202496 174523 0 0 0 140148 265 0 0 20 0 3 0 286242700 784216064 176690 33554432000 4194304 5964478 140737406932800 140737406932320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24320/statm: 191459 176690 198 433 0 191023 0
[pid=24320/tid=24322] ppid=24318 vsize=765836 CPUtime=700.37 cores=0,2,4,6
/proc/24320/task/24322/stat : 24322 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 94174 0 0 0 69933 104 0 0 20 0 3 0 286242700 784216064 176690 33554432000 4194304 5964478 140737406932800 140053116159992 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24320/tid=24323] ppid=24318 vsize=765836 CPUtime=700.39 cores=0,2,4,6
/proc/24320/task/24323/stat : 24323 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 79345 0 0 0 69859 180 0 0 20 0 3 0 286242700 784216064 176690 33554432000 4194304 5964478 140737406932800 140053105670456 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.13
Current children cumulated vsize (KiB) 765836

[startup+762.3 s]
/proc/loadavg: 3.99 3.99 3.98 5/183 24370
/proc/meminfo: memFree=30391944/32873844 swapFree=7112/7112
[pid=24320] ppid=24318 vsize=765980 CPUtime=1524.09 cores=0,2,4,6
/proc/24320/stat : 24320 (pwbo2.01) S 24318 24320 22874 0 -1 4202496 179056 0 0 0 152140 269 0 0 20 0 3 0 286242700 784363520 181296 33554432000 4194304 5964478 140737406932800 140737406932320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24320/statm: 191495 181296 198 433 0 191059 0
[pid=24320/tid=24322] ppid=24318 vsize=765980 CPUtime=760.2 cores=0,2,4,6
/proc/24320/task/24322/stat : 24322 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 98508 0 0 0 75910 110 0 0 20 0 3 0 286242700 784363520 181296 33554432000 4194304 5964478 140737406932800 140053116159992 4382003 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24320/tid=24323] ppid=24318 vsize=765980 CPUtime=760.22 cores=0,2,4,6
/proc/24320/task/24323/stat : 24323 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 79544 0 0 0 75841 181 0 0 20 0 3 0 286242700 784363520 181296 33554432000 4194304 5964478 140737406932800 140053105670456 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.09
Current children cumulated vsize (KiB) 765980

[startup+822.3 s]
/proc/loadavg: 3.99 3.99 3.98 5/183 24370
/proc/meminfo: memFree=30356832/32873844 swapFree=7112/7112
[pid=24320] ppid=24318 vsize=832720 CPUtime=1644.06 cores=0,2,4,6
/proc/24320/stat : 24320 (pwbo2.01) S 24318 24320 22874 0 -1 4202496 185221 0 0 0 164131 275 0 0 20 0 3 0 286242700 852705280 187462 33554432000 4194304 5964478 140737406932800 140737406932320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24320/statm: 208180 187462 198 433 0 207744 0
[pid=24320/tid=24322] ppid=24318 vsize=832720 CPUtime=820.05 cores=0,2,4,6
/proc/24320/task/24322/stat : 24322 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 98508 0 0 0 81894 111 0 0 20 0 3 0 286242700 852705280 187462 33554432000 4194304 5964478 140737406932800 140053116159992 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24320/tid=24323] ppid=24318 vsize=832720 CPUtime=820.06 cores=0,2,4,6
/proc/24320/task/24323/stat : 24323 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 85709 0 0 0 81819 187 0 0 20 0 3 0 286242700 852705280 187462 33554432000 4194304 5964478 140737406932800 140053105670264 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.06
Current children cumulated vsize (KiB) 832720

[startup+882.306 s]
/proc/loadavg: 3.99 3.99 3.98 5/183 24371
/proc/meminfo: memFree=30335876/32873844 swapFree=7112/7112
[pid=24320] ppid=24318 vsize=898444 CPUtime=1764.05 cores=0,2,4,6
/proc/24320/stat : 24320 (pwbo2.01) S 24318 24320 22874 0 -1 4202496 189014 0 0 0 176126 279 0 0 20 0 3 0 286242700 920006656 190965 33554432000 4194304 5964478 140737406932800 140737406932320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24320/statm: 224611 190965 198 433 0 224175 0
[pid=24320/tid=24322] ppid=24318 vsize=898444 CPUtime=879.9 cores=0,2,4,6
/proc/24320/task/24322/stat : 24322 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 102260 0 0 0 87874 116 0 0 20 0 3 0 286242700 920006656 190965 33554432000 4194304 5964478 140737406932800 140053116159992 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24320/tid=24323] ppid=24318 vsize=898444 CPUtime=879.91 cores=0,2,4,6
/proc/24320/task/24323/stat : 24323 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 85750 0 0 0 87802 189 0 0 20 0 3 0 286242700 920006656 190965 33554432000 4194304 5964478 140737406932800 140053105670488 4400075 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.05
Current children cumulated vsize (KiB) 898444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 3.99 3.99 3.98 5/184 24372
/proc/meminfo: memFree=30335248/32873844 swapFree=7112/7112
[pid=24320] ppid=24318 vsize=898444 CPUtime=1800.04 cores=0,2,4,6
/proc/24320/stat : 24320 (pwbo2.01) S 24318 24320 22874 0 -1 4202496 189022 0 0 0 179725 279 0 0 20 0 3 0 286242700 920006656 190973 33554432000 4194304 5964478 140737406932800 140737406932320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24320/statm: 224611 190973 198 433 0 224175 0
[pid=24320/tid=24322] ppid=24318 vsize=898444 CPUtime=897.85 cores=0,2,4,6
/proc/24320/task/24322/stat : 24322 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 102260 0 0 0 89669 116 0 0 20 0 3 0 286242700 920006656 190973 33554432000 4194304 5964478 140737406932800 140053116159992 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24320/tid=24323] ppid=24318 vsize=898444 CPUtime=897.86 cores=0,2,4,6
/proc/24320/task/24323/stat : 24323 (pwbo2.01) R 24318 24320 22874 0 -1 4202560 85758 0 0 0 89597 189 0 0 20 0 3 0 286242700 920006656 190973 33554432000 4194304 5964478 140737406932800 140053105670216 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 898444

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 24320 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=694469
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=79531
# CPU time returned by wait4() is 1795.77
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.323
CPU time (s): 1800.04
CPU user time (s): 1797.25
CPU system time (s): 2.79
CPU usage (%): 199.933
Max. virtual memory (cumulated for all children) (KiB): 898444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.69
system time used= 3.07953
maximum resident set size= 764852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189024
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= 821
involuntary context switches= 1919

runsolver used 2.01369 second user time and 4.69329 second system time

The end