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-3728879-1338674023/watcher-3728879-1338674023 -o /tmp/evaluation-result-3728879-1338674023/solver-3728879-1338674023 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728879-1338674023.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.03 3.99 3.87 3/179 32598
/proc/meminfo: memFree=26551484/32873844 swapFree=7628/7628
[pid=32598] ppid=32596 vsize=5264 CPUtime=0 cores=0,2,4,6
/proc/32598/stat : 32598 (pwbo2.02) R 32596 32598 30325 0 -1 4202496 589 0 0 0 0 0 0 0 20 0 1 0 333526677 5390336 533 33554432000 4194304 5964478 140737033321232 140734641867256 4297148 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/32598/statm: 1316 533 170 433 0 880 0

[startup+0.0383209 s]
/proc/loadavg: 4.03 3.99 3.87 3/179 32598
/proc/meminfo: memFree=26551484/32873844 swapFree=7628/7628
[pid=32598] ppid=32596 vsize=163332 CPUtime=0.06 cores=0,2,4,6
/proc/32598/stat : 32598 (pwbo2.02) S 32596 32598 30325 0 -1 4202496 1583 0 0 0 6 0 0 0 20 0 3 0 333526677 167251968 1526 33554432000 4194304 5964478 140737033321232 140737033320752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32598/statm: 40833 1526 198 433 0 40397 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 163332

[startup+0.100161 s]
/proc/loadavg: 4.03 3.99 3.87 3/179 32598
/proc/meminfo: memFree=26551484/32873844 swapFree=7628/7628
[pid=32598] ppid=32596 vsize=163332 CPUtime=0.18 cores=0,2,4,6
/proc/32598/stat : 32598 (pwbo2.02) S 32596 32598 30325 0 -1 4202496 1876 0 0 0 18 0 0 0 20 0 3 0 333526677 167251968 1819 33554432000 4194304 5964478 140737033321232 140737033320752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32598/statm: 40833 1819 198 433 0 40397 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 163332

[startup+0.300151 s]
/proc/loadavg: 4.03 3.99 3.87 3/179 32598
/proc/meminfo: memFree=26551484/32873844 swapFree=7628/7628
[pid=32598] ppid=32596 vsize=163332 CPUtime=0.58 cores=0,2,4,6
/proc/32598/stat : 32598 (pwbo2.02) S 32596 32598 30325 0 -1 4202496 2729 0 0 0 56 2 0 0 20 0 3 0 333526677 167251968 2672 33554432000 4194304 5964478 140737033321232 140737033320752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32598/statm: 40833 2673 198 433 0 40397 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 163332

[startup+0.70015 s]
/proc/loadavg: 4.03 3.99 3.87 3/179 32598
/proc/meminfo: memFree=26551484/32873844 swapFree=7628/7628
[pid=32598] ppid=32596 vsize=163332 CPUtime=1.38 cores=0,2,4,6
/proc/32598/stat : 32598 (pwbo2.02) S 32596 32598 30325 0 -1 4202496 4377 0 0 0 133 5 0 0 20 0 3 0 333526677 167251968 4320 33554432000 4194304 5964478 140737033321232 140737033320752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32598/statm: 40833 4320 198 433 0 40397 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 163332

[startup+1.50027 s]
/proc/loadavg: 4.03 3.99 3.87 5/182 32601
/proc/meminfo: memFree=26530376/32873844 swapFree=7628/7628
[pid=32598] ppid=32596 vsize=163332 CPUtime=2.97 cores=0,2,4,6
/proc/32598/stat : 32598 (pwbo2.02) S 32596 32598 30325 0 -1 4202496 7125 0 0 0 286 11 0 0 20 0 3 0 333526677 167251968 7068 33554432000 4194304 5964478 140737033321232 140737033320752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32598/statm: 40833 7068 198 433 0 40397 0
[pid=32598/tid=32600] ppid=32596 vsize=163332 CPUtime=1.47 cores=0,2,4,6
/proc/32598/task/32600/stat : 32600 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 3185 0 0 0 137 10 0 0 20 0 3 0 333526678 167251968 7069 33554432000 4194304 5964478 140737033321232 140502342854648 4382008 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32598/tid=32601] ppid=32596 vsize=163332 CPUtime=1.47 cores=0,2,4,6
/proc/32598/task/32601/stat : 32601 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 2935 0 0 0 146 1 0 0 20 0 3 0 333526678 167251968 7070 33554432000 4194304 5964478 140737033321232 140502332365112 4400091 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.10027 s]
/proc/loadavg: 4.03 3.99 3.87 5/182 32601
/proc/meminfo: memFree=26518224/32873844 swapFree=7628/7628
[pid=32598] ppid=32596 vsize=163620 CPUtime=6.17 cores=0,2,4,6
/proc/32598/stat : 32598 (pwbo2.02) S 32596 32598 30325 0 -1 4202496 9909 0 0 0 602 15 0 0 20 0 3 0 333526677 167546880 9852 33554432000 4194304 5964478 140737033321232 140737033320752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32598/statm: 40905 9852 198 433 0 40469 0
[pid=32598/tid=32600] ppid=32596 vsize=163620 CPUtime=3.07 cores=0,2,4,6
/proc/32598/task/32600/stat : 32600 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 4694 0 0 0 294 13 0 0 20 0 3 0 333526678 167546880 9852 33554432000 4194304 5964478 140737033321232 140502342854648 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32598/tid=32601] ppid=32596 vsize=163620 CPUtime=3.07 cores=0,2,4,6
/proc/32598/task/32601/stat : 32601 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 4209 0 0 0 306 1 0 0 20 0 3 0 333526678 167546880 9852 33554432000 4194304 5964478 140737033321232 140502332365112 4400542 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.30024 s]
/proc/loadavg: 4.02 3.99 3.87 5/182 32601
/proc/meminfo: memFree=26498632/32873844 swapFree=7628/7628
[pid=32598] ppid=32596 vsize=163620 CPUtime=12.57 cores=0,2,4,6
/proc/32598/stat : 32598 (pwbo2.02) S 32596 32598 30325 0 -1 4202496 14266 0 0 0 1235 22 0 0 20 0 3 0 333526677 167546880 14209 33554432000 4194304 5964478 140737033321232 140737033320752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32598/statm: 40905 14209 198 433 0 40469 0
[pid=32598/tid=32600] ppid=32596 vsize=163620 CPUtime=6.26 cores=0,2,4,6
/proc/32598/task/32600/stat : 32600 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 7203 0 0 0 606 20 0 0 20 0 3 0 333526678 167546880 14209 33554432000 4194304 5964478 140737033321232 140502342854648 5179243 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32598/tid=32601] ppid=32596 vsize=163620 CPUtime=6.26 cores=0,2,4,6
/proc/32598/task/32601/stat : 32601 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 6057 0 0 0 625 1 0 0 20 0 3 0 333526678 167546880 14209 33554432000 4194304 5964478 140737033321232 140502332365112 4222416 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.02 3.99 3.87 5/182 32601
/proc/meminfo: memFree=26466824/32873844 swapFree=7628/7628
[pid=32598] ppid=32596 vsize=163764 CPUtime=25.37 cores=0,2,4,6
/proc/32598/stat : 32598 (pwbo2.02) S 32596 32598 30325 0 -1 4202496 21128 0 0 0 2509 28 0 0 20 0 3 0 333526677 167694336 21071 33554432000 4194304 5964478 140737033321232 140737033320752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32598/statm: 40941 21071 198 433 0 40505 0
[pid=32598/tid=32600] ppid=32596 vsize=163764 CPUtime=12.64 cores=0,2,4,6
/proc/32598/task/32600/stat : 32600 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 10737 0 0 0 1240 24 0 0 20 0 3 0 333526678 167694336 21071 33554432000 4194304 5964478 140737033321232 140502342854648 4400078 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32598/tid=32601] ppid=32596 vsize=163764 CPUtime=12.64 cores=0,2,4,6
/proc/32598/task/32601/stat : 32601 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 9385 0 0 0 1261 3 0 0 20 0 3 0 333526678 167694336 21071 33554432000 4194304 5964478 140737033321232 140502332364920 4400087 0 0 4096 16387 0 0 0 -1 0 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.02 3.99 3.87 5/181 32601
/proc/meminfo: memFree=26404708/32873844 swapFree=7628/7628
[pid=32598] ppid=32596 vsize=295184 CPUtime=50.95 cores=0,2,4,6
/proc/32598/stat : 32598 (pwbo2.02) S 32596 32598 30325 0 -1 4202496 35177 0 0 0 5061 34 0 0 20 0 3 0 333526677 302268416 35120 33554432000 4194304 5964478 140737033321232 140737033320752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32598/statm: 73796 35120 198 433 0 73360 0
[pid=32598/tid=32600] ppid=32596 vsize=295184 CPUtime=25.41 cores=0,2,4,6
/proc/32598/task/32600/stat : 32600 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 17630 0 0 0 2514 27 0 0 20 0 3 0 333526678 302268416 35120 33554432000 4194304 5964478 140737033321232 140502342854648 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32598/tid=32601] ppid=32596 vsize=295184 CPUtime=25.4 cores=0,2,4,6
/proc/32598/task/32601/stat : 32601 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 16541 0 0 0 2534 6 0 0 20 0 3 0 333526678 302268416 35120 33554432000 4194304 5964478 140737033321232 140502332365112 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 295184

[startup+51.1003 s]
/proc/loadavg: 4.01 3.99 3.88 5/181 32601
/proc/meminfo: memFree=26352380/32873844 swapFree=7628/7628
[pid=32598] ppid=32596 vsize=296060 CPUtime=102.14 cores=0,2,4,6
/proc/32598/stat : 32598 (pwbo2.02) S 32596 32598 30325 0 -1 4202496 47659 0 0 0 10165 49 0 0 20 0 3 0 333526677 303165440 47602 33554432000 4194304 5964478 140737033321232 140737033320752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32598/statm: 74015 47602 198 433 0 73579 0
[pid=32598/tid=32600] ppid=32596 vsize=296060 CPUtime=50.94 cores=0,2,4,6
/proc/32598/task/32600/stat : 32600 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 24500 0 0 0 5061 33 0 0 20 0 3 0 333526678 303165440 47602 33554432000 4194304 5964478 140737033321232 140502342854696 4388220 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32598/tid=32601] ppid=32596 vsize=296060 CPUtime=50.94 cores=0,2,4,6
/proc/32598/task/32601/stat : 32601 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 22153 0 0 0 5078 16 0 0 20 0 3 0 333526678 303165440 47602 33554432000 4194304 5964478 140737033321232 140502332364872 4400097 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 296060

[startup+102.306 s]
/proc/loadavg: 4.00 3.99 3.88 5/181 32601
/proc/meminfo: memFree=26247228/32873844 swapFree=7628/7628
[pid=32598] ppid=32596 vsize=428028 CPUtime=204.53 cores=0,2,4,6
/proc/32598/stat : 32598 (pwbo2.02) S 32596 32598 30325 0 -1 4202496 68965 0 0 0 20348 105 0 0 20 0 3 0 333526677 438300672 68908 33554432000 4194304 5964478 140737033321232 140737033320752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32598/statm: 107007 68908 198 433 0 106571 0
[pid=32598/tid=32600] ppid=32596 vsize=428028 CPUtime=102.01 cores=0,2,4,6
/proc/32598/task/32600/stat : 32600 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 34138 0 0 0 10146 55 0 0 20 0 3 0 333526678 438300672 68908 33554432000 4194304 5964478 140737033321232 140502342854648 4400103 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32598/tid=32601] ppid=32596 vsize=428028 CPUtime=102.01 cores=0,2,4,6
/proc/32598/task/32601/stat : 32601 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 33821 0 0 0 10150 51 0 0 20 0 3 0 333526678 438300672 68909 33554432000 4194304 5964478 140737033321232 140502332365112 4221120 0 0 4096 16387 0 0 0 -1 4 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.00 3.99 3.89 5/181 32601
/proc/meminfo: memFree=26151672/32873844 swapFree=7628/7628
[pid=32598] ppid=32596 vsize=428160 CPUtime=324.49 cores=0,2,4,6
/proc/32598/stat : 32598 (pwbo2.02) S 32596 32598 30325 0 -1 4202496 91089 0 0 0 32280 169 0 0 20 0 3 0 333526677 438435840 91306 33554432000 4194304 5964478 140737033321232 140737033320752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32598/statm: 107040 91306 198 433 0 106604 0
[pid=32598/tid=32600] ppid=32596 vsize=428160 CPUtime=161.85 cores=0,2,4,6
/proc/32598/task/32600/stat : 32600 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 49106 0 0 0 16091 94 0 0 20 0 3 0 333526678 438435840 91306 33554432000 4194304 5964478 140737033321232 140502342854648 4382029 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32598/tid=32601] ppid=32596 vsize=428160 CPUtime=161.85 cores=0,2,4,6
/proc/32598/task/32601/stat : 32601 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 40977 0 0 0 16106 79 0 0 20 0 3 0 333526678 438435840 91306 33554432000 4194304 5964478 140737033321232 140502332365112 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 324.49
Current children cumulated vsize (KiB) 428160

[startup+222.3 s]
/proc/loadavg: 4.00 3.99 3.89 5/181 32601
/proc/meminfo: memFree=26102480/32873844 swapFree=7628/7628
[pid=32598] ppid=32596 vsize=494056 CPUtime=444.45 cores=0,2,4,6
/proc/32598/stat : 32598 (pwbo2.02) S 32596 32598 30325 0 -1 4202496 97326 0 0 0 44257 188 0 0 20 0 3 0 333526677 505913344 97585 33554432000 4194304 5964478 140737033321232 140737033320752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32598/statm: 123514 97585 198 433 0 123078 0
[pid=32598/tid=32600] ppid=32596 vsize=494056 CPUtime=221.67 cores=0,2,4,6
/proc/32598/task/32600/stat : 32600 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 52466 0 0 0 22065 102 0 0 20 0 3 0 333526678 505913344 97585 33554432000 4194304 5964478 140737033321232 140502342854648 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32598/tid=32601] ppid=32596 vsize=494056 CPUtime=221.69 cores=0,2,4,6
/proc/32598/task/32601/stat : 32601 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 43854 0 0 0 22078 91 0 0 20 0 3 0 333526678 505913344 97585 33554432000 4194304 5964478 140737033321232 140502332365112 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 444.45
Current children cumulated vsize (KiB) 494056

[startup+282.3 s]
/proc/loadavg: 4.04 4.00 3.90 5/181 32602
/proc/meminfo: memFree=26068348/32873844 swapFree=7628/7628
[pid=32598] ppid=32596 vsize=494624 CPUtime=564.4 cores=0,2,4,6
/proc/32598/stat : 32598 (pwbo2.02) S 32596 32598 30325 0 -1 4202496 104937 0 0 0 56234 206 0 0 20 0 3 0 333526677 506494976 105278 33554432000 4194304 5964478 140737033321232 140737033320752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32598/statm: 123656 105278 198 433 0 123220 0
[pid=32598/tid=32600] ppid=32596 vsize=494624 CPUtime=281.5 cores=0,2,4,6
/proc/32598/task/32600/stat : 32600 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 58678 0 0 0 28030 120 0 0 20 0 3 0 333526678 506494976 105278 33554432000 4194304 5964478 140737033321232 140502342854648 4382031 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32598/tid=32601] ppid=32596 vsize=494624 CPUtime=281.52 cores=0,2,4,6
/proc/32598/task/32601/stat : 32601 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 45253 0 0 0 28059 93 0 0 20 0 3 0 333526678 506494976 105278 33554432000 4194304 5964478 140737033321232 140502332365112 4382023 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 564.4
Current children cumulated vsize (KiB) 494624

[startup+342.3 s]
/proc/loadavg: 4.01 4.00 3.91 3/177 32603
/proc/meminfo: memFree=26281232/32873844 swapFree=7628/7628
[pid=32598] ppid=32596 vsize=627004 CPUtime=684.34 cores=0,2,4,6
/proc/32598/stat : 32598 (pwbo2.02) S 32596 32598 30325 0 -1 4202496 128372 0 0 0 68149 285 0 0 20 0 3 0 333526677 642052096 128715 33554432000 4194304 5964478 140737033321232 140737033320752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32598/statm: 156751 128715 198 433 0 156315 0

################
# More data... #
################

[pid=32598/tid=32601] ppid=32596 vsize=627004 CPUtime=341.33 cores=0,2,4,6
/proc/32598/task/32601/stat : 32601 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 58196 0 0 0 33991 142 0 0 20 0 3 0 333526678 642052096 128715 33554432000 4194304 5964478 140737033321232 140502332365160 4400078 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 684.34
Current children cumulated vsize (KiB) 627004

[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 32646
/proc/meminfo: memFree=25931184/32873844 swapFree=7628/7628
[pid=32598] ppid=32596 vsize=628588 CPUtime=804.29 cores=0,2,4,6
/proc/32598/stat : 32598 (pwbo2.02) S 32596 32598 30325 0 -1 4202496 144789 0 0 0 80110 319 0 0 20 0 3 0 333526677 643674112 146779 33554432000 4194304 5964478 140737033321232 140737033320752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32598/statm: 157147 146779 198 433 0 156711 0
[pid=32598/tid=32600] ppid=32596 vsize=628588 CPUtime=401.15 cores=0,2,4,6
/proc/32598/task/32600/stat : 32600 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 79777 0 0 0 39941 174 0 0 20 0 3 0 333526678 643674112 146779 33554432000 4194304 5964478 140737033321232 140502342854680 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32598/tid=32601] ppid=32596 vsize=628588 CPUtime=401.18 cores=0,2,4,6
/proc/32598/task/32601/stat : 32601 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 64006 0 0 0 39962 156 0 0 20 0 3 0 333526678 643674112 146779 33554432000 4194304 5964478 140737033321232 140502332365112 4400115 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 804.29
Current children cumulated vsize (KiB) 628588

[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 32669
/proc/meminfo: memFree=25658908/32873844 swapFree=7628/7628
[pid=32598] ppid=32596 vsize=628856 CPUtime=924.27 cores=0,2,4,6
/proc/32598/stat : 32598 (pwbo2.02) S 32596 32598 30325 0 -1 4202496 144857 0 0 0 92108 319 0 0 20 0 3 0 333526677 643948544 146847 33554432000 4194304 5964478 140737033321232 140737033320752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32598/statm: 157214 146847 198 433 0 156778 0
[pid=32598/tid=32600] ppid=32596 vsize=628856 CPUtime=461 cores=0,2,4,6
/proc/32598/task/32600/stat : 32600 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 79779 0 0 0 45926 174 0 0 20 0 3 0 333526678 643948544 146847 33554432000 4194304 5964478 140737033321232 140502342854680 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32598/tid=32601] ppid=32596 vsize=628856 CPUtime=461.02 cores=0,2,4,6
/proc/32598/task/32601/stat : 32601 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 64072 0 0 0 45946 156 0 0 20 0 3 0 333526678 643948544 146847 33554432000 4194304 5964478 140737033321232 140502332364936 4220672 0 0 4096 16387 0 0 0 -1 4 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: 4.00 4.00 3.91 5/181 32669
/proc/meminfo: memFree=25351176/32873844 swapFree=7628/7628
[pid=32598] ppid=32596 vsize=695620 CPUtime=1044.26 cores=0,2,4,6
/proc/32598/stat : 32598 (pwbo2.02) S 32596 32598 30325 0 -1 4202496 151146 0 0 0 104091 335 0 0 20 0 3 0 333526677 712314880 153136 33554432000 4194304 5964478 140737033321232 140737033320752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32598/statm: 173905 153136 198 433 0 173469 0
[pid=32598/tid=32600] ppid=32596 vsize=695620 CPUtime=520.84 cores=0,2,4,6
/proc/32598/task/32600/stat : 32600 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 85944 0 0 0 51893 191 0 0 20 0 3 0 333526678 712314880 153136 33554432000 4194304 5964478 140737033321232 140502342854648 4400401 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32598/tid=32601] ppid=32596 vsize=695620 CPUtime=520.87 cores=0,2,4,6
/proc/32598/task/32601/stat : 32601 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 64196 0 0 0 51930 157 0 0 20 0 3 0 333526678 712314880 153136 33554432000 4194304 5964478 140737033321232 140502332364872 4400091 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1044.26
Current children cumulated vsize (KiB) 695620

[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 32670
/proc/meminfo: memFree=25029644/32873844 swapFree=7628/7628
[pid=32598] ppid=32596 vsize=765836 CPUtime=1164.23 cores=0,2,4,6
/proc/32598/stat : 32598 (pwbo2.02) S 32596 32598 30325 0 -1 4202496 174393 0 0 0 116007 416 0 0 20 0 3 0 333526677 784216064 176519 33554432000 4194304 5964478 140737033321232 140737033320752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32598/statm: 191459 176519 198 433 0 191023 0
[pid=32598/tid=32600] ppid=32596 vsize=765836 CPUtime=580.68 cores=0,2,4,6
/proc/32598/task/32600/stat : 32600 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 94066 0 0 0 57853 215 0 0 20 0 3 0 333526678 784216064 176519 33554432000 4194304 5964478 140737033321232 140502342854648 4410941 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32598/tid=32601] ppid=32596 vsize=765836 CPUtime=580.71 cores=0,2,4,6
/proc/32598/task/32601/stat : 32601 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 79321 0 0 0 57854 217 0 0 20 0 3 0 333526678 784216064 176519 33554432000 4194304 5964478 140737033321232 140502332365112 4381601 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1164.23
Current children cumulated vsize (KiB) 765836

[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 32670
/proc/meminfo: memFree=25029364/32873844 swapFree=7628/7628
[pid=32598] ppid=32596 vsize=765836 CPUtime=1284.2 cores=0,2,4,6
/proc/32598/stat : 32598 (pwbo2.02) S 32596 32598 30325 0 -1 4202496 174432 0 0 0 128004 416 0 0 20 0 3 0 333526677 784216064 176606 33554432000 4194304 5964478 140737033321232 140737033320752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32598/statm: 191459 176606 198 433 0 191023 0
[pid=32598/tid=32600] ppid=32596 vsize=765836 CPUtime=640.51 cores=0,2,4,6
/proc/32598/task/32600/stat : 32600 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 94098 0 0 0 63835 216 0 0 20 0 3 0 333526678 784216064 176606 33554432000 4194304 5964478 140737033321232 140502342854648 4400056 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32598/tid=32601] ppid=32596 vsize=765836 CPUtime=640.56 cores=0,2,4,6
/proc/32598/task/32601/stat : 32601 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 79328 0 0 0 63838 218 0 0 20 0 3 0 333526678 784216064 176606 33554432000 4194304 5964478 140737033321232 140502332365112 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1284.2
Current children cumulated vsize (KiB) 765836

[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/180 32670
/proc/meminfo: memFree=24971876/32873844 swapFree=7628/7628
[pid=32598] ppid=32596 vsize=765836 CPUtime=1404.14 cores=0,2,4,6
/proc/32598/stat : 32598 (pwbo2.02) S 32596 32598 30325 0 -1 4202496 174464 0 0 0 139998 416 0 0 20 0 3 0 333526677 784216064 176720 33554432000 4194304 5964478 140737033321232 140737033320752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32598/statm: 191459 176720 198 433 0 191023 0
[pid=32598/tid=32600] ppid=32596 vsize=765836 CPUtime=700.32 cores=0,2,4,6
/proc/32598/task/32600/stat : 32600 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 94130 0 0 0 69815 217 0 0 20 0 3 0 333526678 784216064 176720 33554432000 4194304 5964478 140737033321232 140502342854648 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32598/tid=32601] ppid=32596 vsize=765836 CPUtime=700.4 cores=0,2,4,6
/proc/32598/task/32601/stat : 32601 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 79328 0 0 0 69821 219 0 0 20 0 3 0 333526678 784216064 176720 33554432000 4194304 5964478 140737033321232 140502332365112 4382029 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1404.14
Current children cumulated vsize (KiB) 765836

[startup+762.306 s]
/proc/loadavg: 4.07 4.02 3.91 5/181 32671
/proc/meminfo: memFree=24955792/32873844 swapFree=7628/7628
[pid=32598] ppid=32596 vsize=765980 CPUtime=1524.11 cores=0,2,4,6
/proc/32598/stat : 32598 (pwbo2.02) S 32596 32598 30325 0 -1 4202496 178520 0 0 0 151981 430 0 0 20 0 3 0 333526677 784363520 180819 33554432000 4194304 5964478 140737033321232 140737033320752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32598/statm: 191495 180819 198 433 0 191059 0
[pid=32598/tid=32600] ppid=32596 vsize=765980 CPUtime=760.17 cores=0,2,4,6
/proc/32598/task/32600/stat : 32600 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 97722 0 0 0 75787 230 0 0 20 0 3 0 333526678 784363520 180819 33554432000 4194304 5964478 140737033321232 140502342854648 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32598/tid=32601] ppid=32596 vsize=765980 CPUtime=760.23 cores=0,2,4,6
/proc/32598/task/32601/stat : 32601 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 79792 0 0 0 75802 221 0 0 20 0 3 0 333526678 784363520 180819 33554432000 4194304 5964478 140737033321232 140502332365112 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1524.11
Current children cumulated vsize (KiB) 765980

[startup+822.3 s]
/proc/loadavg: 4.02 4.01 3.91 5/181 32671
/proc/meminfo: memFree=24928288/32873844 swapFree=7628/7628
[pid=32598] ppid=32596 vsize=832720 CPUtime=1644.06 cores=0,2,4,6
/proc/32598/stat : 32598 (pwbo2.02) S 32596 32598 30325 0 -1 4202496 185235 0 0 0 163949 457 0 0 20 0 3 0 333526677 852705280 187539 33554432000 4194304 5964478 140737033321232 140737033320752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32598/statm: 208180 187539 198 433 0 207744 0
[pid=32598/tid=32600] ppid=32596 vsize=832720 CPUtime=820 cores=0,2,4,6
/proc/32598/task/32600/stat : 32600 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 98530 0 0 0 81766 234 0 0 20 0 3 0 333526678 852705280 187539 33554432000 4194304 5964478 140737033321232 140502342854648 4400067 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32598/tid=32601] ppid=32596 vsize=832720 CPUtime=820.06 cores=0,2,4,6
/proc/32598/task/32601/stat : 32601 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 85699 0 0 0 81759 247 0 0 20 0 3 0 333526678 852705280 187539 33554432000 4194304 5964478 140737033321232 140502332364920 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1644.06
Current children cumulated vsize (KiB) 832720

[startup+882.3 s]
/proc/loadavg: 4.01 4.00 3.91 5/181 32672
/proc/meminfo: memFree=24780724/32873844 swapFree=7628/7628
[pid=32598] ppid=32596 vsize=898444 CPUtime=1764.05 cores=0,2,4,6
/proc/32598/stat : 32598 (pwbo2.02) S 32596 32598 30325 0 -1 4202496 189023 0 0 0 175937 468 0 0 20 0 3 0 333526677 920006656 191036 33554432000 4194304 5964478 140737033321232 140737033320752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32598/statm: 224611 191036 198 433 0 224175 0
[pid=32598/tid=32600] ppid=32596 vsize=898444 CPUtime=879.84 cores=0,2,4,6
/proc/32598/task/32600/stat : 32600 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 102282 0 0 0 87739 245 0 0 20 0 3 0 333526678 920006656 191036 33554432000 4194304 5964478 140737033321232 140502342854648 4400069 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32598/tid=32601] ppid=32596 vsize=898444 CPUtime=879.9 cores=0,2,4,6
/proc/32598/task/32601/stat : 32601 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 85735 0 0 0 87742 248 0 0 20 0 3 0 333526678 920006656 191036 33554432000 4194304 5964478 140737033321232 140502332364872 4382021 0 0 4096 16387 0 0 0 -1 4 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: 4.00 4.00 3.91 5/181 32672
/proc/meminfo: memFree=24748112/32873844 swapFree=7628/7628
[pid=32598] ppid=32596 vsize=898444 CPUtime=1800.05 cores=0,2,4,6
/proc/32598/stat : 32598 (pwbo2.02) S 32596 32598 30325 0 -1 4202496 189033 0 0 0 179537 468 0 0 20 0 3 0 333526677 920006656 191046 33554432000 4194304 5964478 140737033321232 140737033320752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32598/statm: 224611 191046 198 433 0 224175 0
[pid=32598/tid=32600] ppid=32596 vsize=898444 CPUtime=897.8 cores=0,2,4,6
/proc/32598/task/32600/stat : 32600 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 102283 0 0 0 89535 245 0 0 20 0 3 0 333526678 920006656 191046 33554432000 4194304 5964478 140737033321232 140502342854648 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32598/tid=32601] ppid=32596 vsize=898444 CPUtime=897.86 cores=0,2,4,6
/proc/32598/task/32601/stat : 32601 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 85744 0 0 0 89538 248 0 0 20 0 3 0 333526678 920006656 191046 33554432000 4194304 5964478 140737033321232 140502332364872 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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

[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 32672
/proc/meminfo: memFree=24748112/32873844 swapFree=7628/7628
[pid=32598] ppid=32596 vsize=898444 CPUtime=1800.05 cores=0,2,4,6
/proc/32598/stat : 32598 (pwbo2.02) S 32596 32598 30325 0 -1 4202496 189033 0 0 0 179537 468 0 0 20 0 3 0 333526677 920006656 191046 33554432000 4194304 5964478 140737033321232 140737033320752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32598/statm: 224611 191046 198 433 0 224175 0
[pid=32598/tid=32600] ppid=32596 vsize=898444 CPUtime=897.8 cores=0,2,4,6
/proc/32598/task/32600/stat : 32600 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 102283 0 0 0 89535 245 0 0 20 0 3 0 333526678 920006656 191046 33554432000 4194304 5964478 140737033321232 140502342854648 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32598/tid=32601] ppid=32596 vsize=898444 CPUtime=897.86 cores=0,2,4,6
/proc/32598/task/32601/stat : 32601 (pwbo2.02) R 32596 32598 30325 0 -1 4202560 85744 0 0 0 89538 248 0 0 20 0 3 0 333526678 920006656 191046 33554432000 4194304 5964478 140737033321232 140502332364872 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 898444

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32598 and gives
#  childrusage.ru_utime.tv_sec=1790
#  childrusage.ru_utime.tv_usec=750764
#  childrusage.ru_stime.tv_sec=4
#  childrusage.ru_stime.tv_usec=961245
# CPU time returned by wait4() is 1795.71
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.319
CPU time (s): 1800.05
CPU user time (s): 1795.37
CPU system time (s): 4.68
CPU usage (%): 199.935
Max. virtual memory (cumulated for all children) (KiB): 898444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.75
system time used= 4.96124
maximum resident set size= 765164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189034
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= 737
involuntary context switches= 1990

runsolver used 1.78273 second user time and 4.85226 second system time

The end