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-3728613-1338672000/watcher-3728613-1338672000 -o /tmp/evaluation-result-3728613-1338672000/solver-3728613-1338672000 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728613-1338672000.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 3.99 3.68 4/178 27232
/proc/meminfo: memFree=30102812/32873844 swapFree=7372/7372
[pid=27232] ppid=27230 vsize=6196 CPUtime=0 cores=0,2,4,6
/proc/27232/stat : 27232 (pwbo2.02) R 27230 27232 26396 0 -1 4202496 866 0 0 0 0 0 0 0 20 0 1 0 333328612 6344704 811 33554432000 4194304 5964478 140734174907168 140735188327048 4297174 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/27232/statm: 1549 824 170 433 0 1113 0

[startup+0.087618 s]
/proc/loadavg: 4.00 3.99 3.68 4/178 27232
/proc/meminfo: memFree=30102812/32873844 swapFree=7372/7372
[pid=27232] ppid=27230 vsize=163160 CPUtime=0.15 cores=0,2,4,6
/proc/27232/stat : 27232 (pwbo2.02) S 27230 27232 26396 0 -1 4202496 1748 0 0 0 15 0 0 0 20 0 3 0 333328612 167075840 1693 33554432000 4194304 5964478 140734174907168 140734174906688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27232/statm: 40790 1693 198 433 0 40354 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 163160

[startup+0.100162 s]
/proc/loadavg: 4.00 3.99 3.68 4/178 27232
/proc/meminfo: memFree=30102812/32873844 swapFree=7372/7372
[pid=27232] ppid=27230 vsize=163160 CPUtime=0.18 cores=0,2,4,6
/proc/27232/stat : 27232 (pwbo2.02) S 27230 27232 26396 0 -1 4202496 1808 0 0 0 18 0 0 0 20 0 3 0 333328612 167075840 1753 33554432000 4194304 5964478 140734174907168 140734174906688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27232/statm: 40790 1753 198 433 0 40354 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 163160

[startup+0.300116 s]
/proc/loadavg: 4.00 3.99 3.68 4/178 27232
/proc/meminfo: memFree=30102812/32873844 swapFree=7372/7372
[pid=27232] ppid=27230 vsize=163160 CPUtime=0.58 cores=0,2,4,6
/proc/27232/stat : 27232 (pwbo2.02) S 27230 27232 26396 0 -1 4202496 2738 0 0 0 56 2 0 0 20 0 3 0 333328612 167075840 2683 33554432000 4194304 5964478 140734174907168 140734174906688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27232/statm: 40790 2683 198 433 0 40354 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 163160

[startup+0.700135 s]
/proc/loadavg: 4.00 3.99 3.68 4/178 27232
/proc/meminfo: memFree=30102812/32873844 swapFree=7372/7372
[pid=27232] ppid=27230 vsize=163160 CPUtime=1.38 cores=0,2,4,6
/proc/27232/stat : 27232 (pwbo2.02) S 27230 27232 26396 0 -1 4202496 4413 0 0 0 132 6 0 0 20 0 3 0 333328612 167075840 4358 33554432000 4194304 5964478 140734174907168 140734174906688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27232/statm: 40790 4358 198 433 0 40354 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 163160

[startup+1.50027 s]
/proc/loadavg: 4.00 3.99 3.68 5/181 27235
/proc/meminfo: memFree=30068500/32873844 swapFree=7372/7372
[pid=27232] ppid=27230 vsize=163160 CPUtime=2.97 cores=0,2,4,6
/proc/27232/stat : 27232 (pwbo2.02) S 27230 27232 26396 0 -1 4202496 7288 0 0 0 289 8 0 0 20 0 3 0 333328612 167075840 7233 33554432000 4194304 5964478 140734174907168 140734174906688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27232/statm: 40790 7233 198 433 0 40354 0
[pid=27232/tid=27234] ppid=27230 vsize=163160 CPUtime=1.47 cores=0,2,4,6
/proc/27232/task/27234/stat : 27234 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 3471 0 0 0 140 7 0 0 20 0 3 0 333328612 167075840 7233 33554432000 4194304 5964478 140734174907168 139963217066024 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27232/tid=27235] ppid=27230 vsize=163160 CPUtime=1.47 cores=0,2,4,6
/proc/27232/task/27235/stat : 27235 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 2842 0 0 0 146 1 0 0 20 0 3 0 333328612 167075840 7233 33554432000 4194304 5964478 140734174907168 139963206576440 4399920 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) 163160

[startup+3.10018 s]
/proc/loadavg: 4.00 3.99 3.68 5/182 27238
/proc/meminfo: memFree=30045520/32873844 swapFree=7372/7372
[pid=27232] ppid=27230 vsize=163448 CPUtime=6.17 cores=0,2,4,6
/proc/27232/stat : 27232 (pwbo2.02) S 27230 27232 26396 0 -1 4202496 10255 0 0 0 607 10 0 0 20 0 3 0 333328612 167370752 10200 33554432000 4194304 5964478 140734174907168 140734174906688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27232/statm: 40862 10200 198 433 0 40426 0
[pid=27232/tid=27234] ppid=27230 vsize=163448 CPUtime=3.07 cores=0,2,4,6
/proc/27232/task/27234/stat : 27234 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 4725 0 0 0 299 8 0 0 20 0 3 0 333328612 167370752 10200 33554432000 4194304 5964478 140734174907168 139963217065976 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27232/tid=27235] ppid=27230 vsize=163448 CPUtime=3.06 cores=0,2,4,6
/proc/27232/task/27235/stat : 27235 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 4555 0 0 0 304 2 0 0 20 0 3 0 333328612 167370752 10200 33554432000 4194304 5964478 140734174907168 139963206576440 4221120 0 0 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 163448

[startup+6.30032 s]
/proc/loadavg: 4.00 3.99 3.68 5/182 27238
/proc/meminfo: memFree=29991580/32873844 swapFree=7372/7372
[pid=27232] ppid=27230 vsize=163592 CPUtime=12.57 cores=0,2,4,6
/proc/27232/stat : 27232 (pwbo2.02) S 27230 27232 26396 0 -1 4202496 13866 0 0 0 1244 13 0 0 20 0 3 0 333328612 167518208 13811 33554432000 4194304 5964478 140734174907168 140734174906688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27232/statm: 40898 13811 198 433 0 40462 0
[pid=27232/tid=27234] ppid=27230 vsize=163592 CPUtime=6.26 cores=0,2,4,6
/proc/27232/task/27234/stat : 27234 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 6354 0 0 0 618 8 0 0 20 0 3 0 333328612 167518208 13811 33554432000 4194304 5964478 140734174907168 139963217065976 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27232/tid=27235] ppid=27230 vsize=163592 CPUtime=6.25 cores=0,2,4,6
/proc/27232/task/27235/stat : 27235 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 6537 0 0 0 621 4 0 0 20 0 3 0 333328612 167518208 13811 33554432000 4194304 5964478 140734174907168 139963206576440 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 163592

[startup+12.7003 s]
/proc/loadavg: 4.00 3.99 3.68 5/182 27238
/proc/meminfo: memFree=29940100/32873844 swapFree=7372/7372
[pid=27232] ppid=27230 vsize=163856 CPUtime=25.36 cores=0,2,4,6
/proc/27232/stat : 27232 (pwbo2.02) S 27230 27232 26396 0 -1 4202496 21521 0 0 0 2520 16 0 0 20 0 3 0 333328612 167788544 21466 33554432000 4194304 5964478 140734174907168 140734174906688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27232/statm: 40964 21466 198 433 0 40528 0
[pid=27232/tid=27234] ppid=27230 vsize=163856 CPUtime=12.64 cores=0,2,4,6
/proc/27232/task/27234/stat : 27234 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 10539 0 0 0 1254 10 0 0 20 0 3 0 333328612 167788544 21466 33554432000 4194304 5964478 140734174907168 139963217065976 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27232/tid=27235] ppid=27230 vsize=163856 CPUtime=12.64 cores=0,2,4,6
/proc/27232/task/27235/stat : 27235 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 10007 0 0 0 1258 6 0 0 20 0 3 0 333328612 167788544 21466 33554432000 4194304 5964478 140734174907168 139963206576440 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 163856

[startup+25.5004 s]
/proc/loadavg: 4.00 3.99 3.68 5/182 27238
/proc/meminfo: memFree=29837816/32873844 swapFree=7372/7372
[pid=27232] ppid=27230 vsize=229608 CPUtime=50.96 cores=0,2,4,6
/proc/27232/stat : 27232 (pwbo2.02) S 27230 27232 26396 0 -1 4202496 33222 0 0 0 5076 20 0 0 20 0 3 0 333328612 235118592 33167 33554432000 4194304 5964478 140734174907168 140734174906688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27232/statm: 57402 33167 198 433 0 56966 0
[pid=27232/tid=27234] ppid=27230 vsize=229608 CPUtime=25.41 cores=0,2,4,6
/proc/27232/task/27234/stat : 27234 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 19374 0 0 0 2528 13 0 0 20 0 3 0 333328612 235118592 33167 33554432000 4194304 5964478 140734174907168 139963217065976 4400103 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27232/tid=27235] ppid=27230 vsize=229608 CPUtime=25.4 cores=0,2,4,6
/proc/27232/task/27235/stat : 27235 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 12873 0 0 0 2533 7 0 0 20 0 3 0 333328612 235118592 33167 33554432000 4194304 5964478 140734174907168 139963206576248 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 229608

[startup+51.1004 s]
/proc/loadavg: 4.00 3.99 3.69 5/182 27239
/proc/meminfo: memFree=29679544/32873844 swapFree=7372/7372
[pid=27232] ppid=27230 vsize=295884 CPUtime=102.14 cores=0,2,4,6
/proc/27232/stat : 27232 (pwbo2.02) S 27230 27232 26396 0 -1 4202496 48443 0 0 0 10186 28 0 0 20 0 3 0 333328612 302985216 48388 33554432000 4194304 5964478 140734174907168 140734174906688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27232/statm: 73971 48388 198 433 0 73535 0
[pid=27232/tid=27234] ppid=27230 vsize=295884 CPUtime=50.95 cores=0,2,4,6
/proc/27232/task/27234/stat : 27234 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 27787 0 0 0 5078 17 0 0 20 0 3 0 333328612 302985216 48388 33554432000 4194304 5964478 140734174907168 139963217065976 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27232/tid=27235] ppid=27230 vsize=295884 CPUtime=50.93 cores=0,2,4,6
/proc/27232/task/27235/stat : 27235 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 19681 0 0 0 5082 11 0 0 20 0 3 0 333328612 302985216 48388 33554432000 4194304 5964478 140734174907168 139963206576440 4400087 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) 295884

[startup+102.3 s]
/proc/loadavg: 4.00 3.99 3.71 5/181 27239
/proc/meminfo: memFree=29368612/32873844 swapFree=7372/7372
[pid=27232] ppid=27230 vsize=427716 CPUtime=204.54 cores=0,2,4,6
/proc/27232/stat : 27232 (pwbo2.02) S 27230 27232 26396 0 -1 4202496 75290 0 0 0 20412 42 0 0 20 0 3 0 333328612 437981184 75235 33554432000 4194304 5964478 140734174907168 140734174906688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27232/statm: 106929 75235 198 433 0 106493 0
[pid=27232/tid=27234] ppid=27230 vsize=427716 CPUtime=102.02 cores=0,2,4,6
/proc/27232/task/27234/stat : 27234 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 39060 0 0 0 10178 24 0 0 20 0 3 0 333328612 437981184 75235 33554432000 4194304 5964478 140734174907168 139963217065976 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27232/tid=27235] ppid=27230 vsize=427716 CPUtime=102.01 cores=0,2,4,6
/proc/27232/task/27235/stat : 27235 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 35255 0 0 0 10181 20 0 0 20 0 3 0 333328612 437981184 75235 33554432000 4194304 5964478 140734174907168 139963206576440 4400078 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.54
Current children cumulated vsize (KiB) 427716

[startup+162.3 s]
/proc/loadavg: 4.00 3.99 3.72 5/181 27239
/proc/meminfo: memFree=29025920/32873844 swapFree=7372/7372
[pid=27232] ppid=27230 vsize=428132 CPUtime=324.5 cores=0,2,4,6
/proc/27232/stat : 27232 (pwbo2.02) S 27230 27232 26396 0 -1 4202496 86774 0 0 0 32402 48 0 0 20 0 3 0 333328612 438407168 87057 33554432000 4194304 5964478 140734174907168 140734174906688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27232/statm: 107033 87057 198 433 0 106597 0
[pid=27232/tid=27234] ppid=27230 vsize=428132 CPUtime=161.86 cores=0,2,4,6
/proc/27232/task/27234/stat : 27234 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 49048 0 0 0 16156 30 0 0 20 0 3 0 333328612 438407168 87057 33554432000 4194304 5964478 140734174907168 139963217065784 4400538 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27232/tid=27235] ppid=27230 vsize=428132 CPUtime=161.83 cores=0,2,4,6
/proc/27232/task/27235/stat : 27235 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 36751 0 0 0 16161 22 0 0 20 0 3 0 333328612 438407168 87057 33554432000 4194304 5964478 140734174907168 139963206576264 4400087 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) 428132

[startup+222.306 s]
/proc/loadavg: 4.00 3.99 3.74 5/181 27239
/proc/meminfo: memFree=28880748/32873844 swapFree=7372/7372
[pid=27232] ppid=27230 vsize=495180 CPUtime=444.47 cores=0,2,4,6
/proc/27232/stat : 27232 (pwbo2.02) S 27230 27232 26396 0 -1 4202496 101602 0 0 0 44390 57 0 0 20 0 3 0 333328612 507064320 101944 33554432000 4194304 5964478 140734174907168 140734174906688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27232/statm: 123795 101944 198 433 0 123359 0
[pid=27232/tid=27234] ppid=27230 vsize=495180 CPUtime=221.7 cores=0,2,4,6
/proc/27232/task/27234/stat : 27234 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 55366 0 0 0 22135 35 0 0 20 0 3 0 333328612 507064320 101944 33554432000 4194304 5964478 140734174907168 139963217065976 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27232/tid=27235] ppid=27230 vsize=495180 CPUtime=221.66 cores=0,2,4,6
/proc/27232/task/27235/stat : 27235 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 45261 0 0 0 22138 28 0 0 20 0 3 0 333328612 507064320 101944 33554432000 4194304 5964478 140734174907168 139963206576440 4400067 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.47
Current children cumulated vsize (KiB) 495180

[startup+282.3 s]
/proc/loadavg: 4.00 3.99 3.75 5/181 27239
/proc/meminfo: memFree=28779840/32873844 swapFree=7372/7372
[pid=27232] ppid=27230 vsize=495336 CPUtime=564.39 cores=0,2,4,6
/proc/27232/stat : 27232 (pwbo2.02) S 27230 27232 26396 0 -1 4202496 106386 0 0 0 56380 59 0 0 20 0 3 0 333328612 507224064 106736 33554432000 4194304 5964478 140734174907168 140734174906688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27232/statm: 123834 106736 198 433 0 123398 0
[pid=27232/tid=27234] ppid=27230 vsize=495336 CPUtime=281.53 cores=0,2,4,6
/proc/27232/task/27234/stat : 27234 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 59257 0 0 0 28115 38 0 0 20 0 3 0 333328612 507224064 106736 33554432000 4194304 5964478 140734174907168 139963217065976 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27232/tid=27235] ppid=27230 vsize=495336 CPUtime=281.48 cores=0,2,4,6
/proc/27232/task/27235/stat : 27235 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 46154 0 0 0 28119 29 0 0 20 0 3 0 333328612 507224064 106736 33554432000 4194304 5964478 140734174907168 139963206576200 4382008 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.39
Current children cumulated vsize (KiB) 495336

[startup+342.3 s]
/proc/loadavg: 4.00 3.99 3.76 5/180 27239
/proc/meminfo: memFree=28654636/32873844 swapFree=7372/7372
[pid=27232] ppid=27230 vsize=628460 CPUtime=684.34 cores=0,2,4,6
/proc/27232/stat : 27232 (pwbo2.02) S 27230 27232 26396 0 -1 4202496 137811 0 0 0 68325 109 0 0 20 0 3 0 333328612 643543040 138154 33554432000 4194304 5964478 140734174907168 140734174906688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27232/statm: 157115 138154 198 433 0 156679 0
[pid=27232/tid=27234] ppid=27230 vsize=628460 CPUtime=341.34 cores=0,2,4,6
/proc/27232/task/27234/stat : 27234 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 78732 0 0 0 34063 71 0 0 20 0 3 0 333328612 643543040 138154 33554432000 4194304 5964478 140734174907168 139963217065976 4400628 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27232/tid=27235] ppid=27230 vsize=628460 CPUtime=341.32 cores=0,2,4,6
/proc/27232/task/27235/stat : 27235 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 58104 0 0 0 34084 48 0 0 20 0 3 0 333328612 643543040 138154 33554432000 4194304 5964478 140734174907168 139963206576248 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.34
Current children cumulated vsize (KiB) 628460

[startup+402.3 s]
/proc/loadavg: 4.00 3.99 3.77 5/181 27240
/proc/meminfo: memFree=28643020/32873844 swapFree=7372/7372
[pid=27232] ppid=27230 vsize=628752 CPUtime=804.31 cores=0,2,4,6
/proc/27232/stat : 27232 (pwbo2.02) S 27230 27232 26396 0 -1 4202496 139313 0 0 0 80318 113 0 0 20 0 3 0 333328612 643842048 140934 33554432000 4194304 5964478 140734174907168 140734174906688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27232/statm: 157188 140934 198 433 0 156752 0
[pid=27232/tid=27234] ppid=27230 vsize=628752 CPUtime=401.18 cores=0,2,4,6
/proc/27232/task/27234/stat : 27234 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 80187 0 0 0 40042 76 0 0 20 0 3 0 333328612 643842048 140934 33554432000 4194304 5964478 140734174907168 139963217065976 4400018 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27232/tid=27235] ppid=27230 vsize=628752 CPUtime=401.16 cores=0,2,4,6
/proc/27232/task/27235/stat : 27235 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 58151 0 0 0 40067 49 0 0 20 0 3 0 333328612 643842048 140934 33554432000 4194304 5964478 140734174907168 139963206576264 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.31
Current children cumulated vsize (KiB) 628752

[startup+462.3 s]
/proc/loadavg: 4.00 3.99 3.78 5/181 27240
/proc/meminfo: memFree=28509004/32873844 swapFree=7372/7372
[pid=27232] ppid=27230 vsize=628900 CPUtime=924.29 cores=0,2,4,6
/proc/27232/stat : 27232 (pwbo2.02) S 27230 27232 26396 0 -1 4202496 139368 0 0 0 92316 113 0 0 20 0 3 0 333328612 643993600 140989 33554432000 4194304 5964478 140734174907168 140734174906688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27232/statm: 157225 140989 198 433 0 156789 0
[pid=27232/tid=27234] ppid=27230 vsize=628900 CPUtime=461.03 cores=0,2,4,6
/proc/27232/task/27234/stat : 27234 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 80189 0 0 0 46027 76 0 0 20 0 3 0 333328612 643993600 140989 33554432000 4194304 5964478 140734174907168 139963217065976 4399932 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27232/tid=27235] ppid=27230 vsize=628900 CPUtime=461 cores=0,2,4,6
/proc/27232/task/27235/stat : 27235 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 58204 0 0 0 46050 50 0 0 20 0 3 0 333328612 643993600 140989 33554432000 4194304 5964478 140734174907168 139963206576200 4400091 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.29
Current children cumulated vsize (KiB) 628900

[startup+522.3 s]
/proc/loadavg: 4.05 4.00 3.80 5/181 27240
/proc/meminfo: memFree=28457572/32873844 swapFree=7372/7372
[pid=27232] ppid=27230 vsize=698308 CPUtime=1044.28 cores=0,2,4,6
/proc/27232/stat : 27232 (pwbo2.02) S 27230 27232 26396 0 -1 4202496 148834 0 0 0 104306 122 0 0 20 0 3 0 333328612 715067392 150455 33554432000 4194304 5964478 140734174907168 140734174906688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27232/statm: 174577 150455 198 433 0 174141 0
[pid=27232/tid=27234] ppid=27230 vsize=698308 CPUtime=520.87 cores=0,2,4,6
/proc/27232/task/27234/stat : 27234 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 82821 0 0 0 52009 78 0 0 20 0 3 0 333328612 715067392 150455 33554432000 4194304 5964478 140734174907168 139963217065976 4400067 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27232/tid=27235] ppid=27230 vsize=698308 CPUtime=520.85 cores=0,2,4,6
/proc/27232/task/27235/stat : 27235 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 65038 0 0 0 52028 57 0 0 20 0 3 0 333328612 715067392 150455 33554432000 4194304 5964478 140734174907168 139963206576264 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.28
Current children cumulated vsize (KiB) 698308

[startup+582.3 s]
/proc/loadavg: 4.02 4.00 3.81 5/181 27240
/proc/meminfo: memFree=28413208/32873844 swapFree=7372/7372
[pid=27232] ppid=27230 vsize=699868 CPUtime=1164.25 cores=0,2,4,6
/proc/27232/stat : 27232 (pwbo2.02) S 27230 27232 26396 0 -1 4202496 159450 0 0 0 116295 130 0 0 20 0 3 0 333328612 716664832 161071 33554432000 4194304 5964478 140734174907168 140734174906688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27232/statm: 174967 161071 198 433 0 174531 0
[pid=27232/tid=27234] ppid=27230 vsize=699868 CPUtime=580.72 cores=0,2,4,6
/proc/27232/task/27234/stat : 27234 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 93408 0 0 0 57984 88 0 0 20 0 3 0 333328612 716664832 161071 33554432000 4194304 5964478 140734174907168 139963217065976 4400091 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27232/tid=27235] ppid=27230 vsize=699868 CPUtime=580.69 cores=0,2,4,6
/proc/27232/task/27235/stat : 27235 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 65067 0 0 0 58011 58 0 0 20 0 3 0 333328612 716664832 161071 33554432000 4194304 5964478 140734174907168 139963206576264 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.25
Current children cumulated vsize (KiB) 699868

[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.82 5/182 27243
/proc/meminfo: memFree=28373796/32873844 swapFree=7372/7372
[pid=27232] ppid=27230 vsize=766340 CPUtime=1284.24 cores=0,2,4,6
/proc/27232/stat : 27232 (pwbo2.02) S 27230 27232 26396 0 -1 4202496 169200 0 0 0 128283 141 0 0 20 0 3 0 333328612 784732160 170821 33554432000 4194304 5964478 140734174907168 140734174906688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27232/statm: 191585 170821 198 433 0 191149 0
[pid=27232/tid=27234] ppid=27230 vsize=766340 CPUtime=640.57 cores=0,2,4,6
/proc/27232/task/27234/stat : 27234 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 93415 0 0 0 63968 89 0 0 20 0 3 0 333328612 784732160 170821 33554432000 4194304 5964478 140734174907168 139963217065976 4400056 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27232/tid=27235] ppid=27230 vsize=766340 CPUtime=640.53 cores=0,2,4,6
/proc/27232/task/27235/stat : 27235 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 74810 0 0 0 63984 69 0 0 20 0 3 0 333328612 784732160 170821 33554432000 4194304 5964478 140734174907168 139963206576440 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.24
Current children cumulated vsize (KiB) 766340

[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.83 5/181 27244
/proc/meminfo: memFree=28349900/32873844 swapFree=7372/7372
[pid=27232] ppid=27230 vsize=766824 CPUtime=1404.22 cores=0,2,4,6
/proc/27232/stat : 27232 (pwbo2.02) S 27230 27232 26396 0 -1 4202496 173654 0 0 0 140274 148 0 0 20 0 3 0 333328612 785227776 175275 33554432000 4194304 5964478 140734174907168 140734174906688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27232/statm: 191706 175275 198 433 0 191270 0
[pid=27232/tid=27234] ppid=27230 vsize=766824 CPUtime=700.42 cores=0,2,4,6
/proc/27232/task/27234/stat : 27234 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 97869 0 0 0 69945 97 0 0 20 0 3 0 333328612 785227776 175275 33554432000 4194304 5964478 140734174907168 139963217065976 4400115 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27232/tid=27235] ppid=27230 vsize=766824 CPUtime=700.38 cores=0,2,4,6
/proc/27232/task/27235/stat : 27235 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 74810 0 0 0 69967 71 0 0 20 0 3 0 333328612 785227776 175275 33554432000 4194304 5964478 140734174907168 139963206576440 4400078 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.22
Current children cumulated vsize (KiB) 766824

[startup+762.3 s]
/proc/loadavg: 4.00 4.00 3.83 5/181 27244
/proc/meminfo: memFree=28144088/32873844 swapFree=7372/7372
[pid=27232] ppid=27230 vsize=766824 CPUtime=1524.22 cores=0,2,4,6
/proc/27232/stat : 27232 (pwbo2.02) S 27230 27232 26396 0 -1 4202496 173677 0 0 0 152274 148 0 0 20 0 3 0 333328612 785227776 175298 33554432000 4194304 5964478 140734174907168 140734174906688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27232/statm: 191706 175298 198 433 0 191270 0
[pid=27232/tid=27234] ppid=27230 vsize=766824 CPUtime=760.27 cores=0,2,4,6
/proc/27232/task/27234/stat : 27234 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 97869 0 0 0 75929 98 0 0 20 0 3 0 333328612 785227776 175298 33554432000 4194304 5964478 140734174907168 139963217065976 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27232/tid=27235] ppid=27230 vsize=766824 CPUtime=760.23 cores=0,2,4,6
/proc/27232/task/27235/stat : 27235 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 74833 0 0 0 75951 72 0 0 20 0 3 0 333328612 785227776 175298 33554432000 4194304 5964478 140734174907168 139963206576440 4400078 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.22
Current children cumulated vsize (KiB) 766824

[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.84 5/181 27244
/proc/meminfo: memFree=28110392/32873844 swapFree=7372/7372
[pid=27232] ppid=27230 vsize=768584 CPUtime=1644.18 cores=0,2,4,6
/proc/27232/stat : 27232 (pwbo2.02) S 27230 27232 26396 0 -1 4202496 182099 0 0 0 164260 158 0 0 20 0 3 0 333328612 787030016 183720 33554432000 4194304 5964478 140734174907168 140734174906688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27232/statm: 192146 183720 198 433 0 191710 0
[pid=27232/tid=27234] ppid=27230 vsize=768584 CPUtime=820.11 cores=0,2,4,6
/proc/27232/task/27234/stat : 27234 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 98060 0 0 0 81912 99 0 0 20 0 3 0 333328612 787030016 183720 33554432000 4194304 5964478 140734174907168 139963217066024 4400056 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27232/tid=27235] ppid=27230 vsize=768584 CPUtime=820.06 cores=0,2,4,6
/proc/27232/task/27235/stat : 27235 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 83064 0 0 0 81923 83 0 0 20 0 3 0 333328612 787030016 183720 33554432000 4194304 5964478 140734174907168 139963206576440 4400078 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.18
Current children cumulated vsize (KiB) 768584

[startup+882.307 s]
/proc/loadavg: 4.00 4.00 3.85 5/181 27244
/proc/meminfo: memFree=27908644/32873844 swapFree=7372/7372
[pid=27232] ppid=27230 vsize=835992 CPUtime=1764.18 cores=0,2,4,6
/proc/27232/stat : 27232 (pwbo2.02) S 27230 27232 26396 0 -1 4202496 190122 0 0 0 176252 166 0 0 20 0 3 0 333328612 856055808 191743 33554432000 4194304 5964478 140734174907168 140734174906688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27232/statm: 208998 191743 198 433 0 208562 0
[pid=27232/tid=27234] ppid=27230 vsize=835992 CPUtime=879.96 cores=0,2,4,6
/proc/27232/task/27234/stat : 27234 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 106060 0 0 0 87889 107 0 0 20 0 3 0 333328612 856055808 191743 33554432000 4194304 5964478 140734174907168 139963217065976 4400103 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27232/tid=27235] ppid=27230 vsize=835992 CPUtime=879.91 cores=0,2,4,6
/proc/27232/task/27235/stat : 27235 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 83087 0 0 0 87907 84 0 0 20 0 3 0 333328612 856055808 191743 33554432000 4194304 5964478 140734174907168 139963206576440 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.18
Current children cumulated vsize (KiB) 835992



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.85 5/182 27245
/proc/meminfo: memFree=27833252/32873844 swapFree=7372/7372
[pid=27232] ppid=27230 vsize=836964 CPUtime=1800.17 cores=0,2,4,6
/proc/27232/stat : 27232 (pwbo2.02) S 27230 27232 26396 0 -1 4202496 197305 0 0 0 179839 178 0 0 20 0 3 0 333328612 857051136 198926 33554432000 4194304 5964478 140734174907168 140734174906688 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27232/statm: 209241 198926 198 433 0 208805 0
[pid=27232/tid=27234] ppid=27230 vsize=836964 CPUtime=897.92 cores=0,2,4,6
/proc/27232/task/27234/stat : 27234 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 113236 0 0 0 89673 119 0 0 20 0 3 0 333328612 857051136 198926 33554432000 4194304 5964478 140734174907168 139963217065976 4379316 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27232/tid=27235] ppid=27230 vsize=836964 CPUtime=897.86 cores=0,2,4,6
/proc/27232/task/27235/stat : 27235 (pwbo2.02) R 27230 27232 26396 0 -1 4202560 83094 0 0 0 89702 84 0 0 20 0 3 0 333328612 857051136 198926 33554432000 4194304 5964478 140734174907168 139963206576440 4400091 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 836964

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 27232 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=772305
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=79683
# CPU time returned by wait4() is 1795.85
# while last known CPU time is 1800.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.346
CPU time (s): 1800.17
CPU user time (s): 1798.39
CPU system time (s): 1.78
CPU usage (%): 199.942
Max. virtual memory (cumulated for all children) (KiB): 836964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.77
system time used= 2.07968
maximum resident set size= 795708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197306
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= 592
involuntary context switches= 1874

runsolver used 1.80173 second user time and 4.85426 second system time

The end