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-3703641-1338091461/watcher-3703641-1338091461 -o /tmp/evaluation-result-3703641-1338091461/solver-3703641-1338091461 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703641-1338091461.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.84 3.95 3.90 4/178 7813
/proc/meminfo: memFree=27940520/32873648 swapFree=7372/7372
[pid=7813] ppid=7811 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/7813/stat : 7813 (runsolver) D 7811 7813 7065 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 1 0 275272145 12095488 50 33554432000 4194304 5436572 140736368715232 140736368711528 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/7813/statm: 2953 50 31 304 0 2645 0

[startup+0.0943391 s]
/proc/loadavg: 3.84 3.95 3.90 4/178 7813
/proc/meminfo: memFree=27940520/32873648 swapFree=7372/7372
[pid=7813] ppid=7811 vsize=15080 CPUtime=0.08 cores=0,2,4,6
/proc/7813/stat : 7813 (pwbo2.0) R 7811 7813 7065 0 -1 4202496 2706 0 0 0 8 0 0 0 20 0 1 0 275272145 15441920 2593 33554432000 4194304 5965102 140737029574832 140736368711112 4344632 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7813/statm: 3770 2594 447 433 0 2678 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15080

[startup+0.100245 s]
/proc/loadavg: 3.84 3.95 3.90 4/178 7813
/proc/meminfo: memFree=27940520/32873648 swapFree=7372/7372
[pid=7813] ppid=7811 vsize=15476 CPUtime=0.08 cores=0,2,4,6
/proc/7813/stat : 7813 (pwbo2.0) R 7811 7813 7065 0 -1 4202496 2858 0 0 0 8 0 0 0 20 0 1 0 275272145 15847424 2745 33554432000 4194304 5965102 140737029574832 140736368711112 5137146 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7813/statm: 3869 2745 467 433 0 2777 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15476

[startup+0.300153 s]
/proc/loadavg: 3.84 3.95 3.90 4/178 7813
/proc/meminfo: memFree=27940520/32873648 swapFree=7372/7372
[pid=7813] ppid=7811 vsize=191432 CPUtime=0.35 cores=0,2,4,6
/proc/7813/stat : 7813 (pwbo2.0) S 7811 7813 7065 0 -1 4202496 19062 0 0 0 28 7 0 0 20 0 3 0 275272145 196026368 17947 33554432000 4194304 5965102 140737029574832 140737029574352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7813/statm: 47858 17952 201 433 0 47422 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 191432

[startup+0.70018 s]
/proc/loadavg: 3.84 3.95 3.90 4/178 7813
/proc/meminfo: memFree=27940520/32873648 swapFree=7372/7372
[pid=7813] ppid=7811 vsize=193584 CPUtime=1.14 cores=0,2,4,6
/proc/7813/stat : 7813 (pwbo2.0) S 7811 7813 7065 0 -1 4202496 22107 0 0 0 106 8 0 0 20 0 3 0 275272145 198230016 20774 33554432000 4194304 5965102 140737029574832 140737029574352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7813/statm: 48396 20774 204 433 0 47960 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 193584

[startup+1.5002 s]
/proc/loadavg: 3.84 3.95 3.90 5/181 7816
/proc/meminfo: memFree=27858276/32873648 swapFree=7372/7372
[pid=7813] ppid=7811 vsize=193584 CPUtime=2.73 cores=0,2,4,6
/proc/7813/stat : 7813 (pwbo2.0) S 7811 7813 7065 0 -1 4202496 22365 0 0 0 265 8 0 0 20 0 3 0 275272145 198230016 21032 33554432000 4194304 5965102 140737029574832 140737029574352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7813/statm: 48396 21032 205 433 0 47960 0
[pid=7813/tid=7815] ppid=7811 vsize=193584 CPUtime=1.27 cores=0,2,4,6
/proc/7813/task/7815/stat : 7815 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 7222 0 0 0 125 2 0 0 20 0 3 0 275272164 198230016 21032 33554432000 4194304 5965102 140737029574832 140492474858008 5131557 0 0 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=7813/tid=7816] ppid=7811 vsize=193584 CPUtime=1.28 cores=0,2,4,6
/proc/7813/task/7816/stat : 7816 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 9102 0 0 0 122 6 0 0 20 0 3 0 275272164 198230016 21032 33554432000 4194304 5965102 140737029574832 140492464367864 4393958 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 193584

[startup+3.10029 s]
/proc/loadavg: 3.84 3.95 3.90 5/181 7816
/proc/meminfo: memFree=27855772/32873648 swapFree=7372/7372
[pid=7813] ppid=7811 vsize=193584 CPUtime=5.93 cores=0,2,4,6
/proc/7813/stat : 7813 (pwbo2.0) S 7811 7813 7065 0 -1 4202496 23032 0 0 0 585 8 0 0 20 0 3 0 275272145 198230016 20955 33554432000 4194304 5965102 140737029574832 140737029574352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7813/statm: 48396 20955 205 433 0 47960 0
[pid=7813/tid=7815] ppid=7811 vsize=193584 CPUtime=2.87 cores=0,2,4,6
/proc/7813/task/7815/stat : 7815 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 7843 0 0 0 285 2 0 0 20 0 3 0 275272164 198230016 20955 33554432000 4194304 5965102 140737029574832 140492474858008 5131557 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=7813/tid=7816] ppid=7811 vsize=193584 CPUtime=2.88 cores=0,2,4,6
/proc/7813/task/7816/stat : 7816 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 9148 0 0 0 282 6 0 0 20 0 3 0 275272164 198230016 20955 33554432000 4194304 5965102 140737029574832 140492464367864 4401188 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 193584

[startup+6.30031 s]
/proc/loadavg: 3.85 3.95 3.90 5/181 7816
/proc/meminfo: memFree=27844348/32873648 swapFree=7372/7372
[pid=7813] ppid=7811 vsize=193584 CPUtime=12.32 cores=0,2,4,6
/proc/7813/stat : 7813 (pwbo2.0) S 7811 7813 7065 0 -1 4202496 23404 0 0 0 1224 8 0 0 20 0 3 0 275272145 198230016 21327 33554432000 4194304 5965102 140737029574832 140737029574352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7813/statm: 48396 21327 205 433 0 47960 0
[pid=7813/tid=7815] ppid=7811 vsize=193584 CPUtime=6.06 cores=0,2,4,6
/proc/7813/task/7815/stat : 7815 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 8100 0 0 0 604 2 0 0 20 0 3 0 275272164 198230016 21327 33554432000 4194304 5965102 140737029574832 140492474858008 5139822 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=7813/tid=7816] ppid=7811 vsize=193584 CPUtime=6.07 cores=0,2,4,6
/proc/7813/task/7816/stat : 7816 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 9263 0 0 0 601 6 0 0 20 0 3 0 275272164 198230016 21327 33554432000 4194304 5965102 140737029574832 140492464367736 4404383 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 193584

[startup+12.7003 s]
/proc/loadavg: 3.86 3.95 3.90 5/181 7816
/proc/meminfo: memFree=27774824/32873648 swapFree=7372/7372
[pid=7813] ppid=7811 vsize=193584 CPUtime=25.12 cores=0,2,4,6
/proc/7813/stat : 7813 (pwbo2.0) S 7811 7813 7065 0 -1 4202496 24534 0 0 0 2503 9 0 0 20 0 3 0 275272145 198230016 22457 33554432000 4194304 5965102 140737029574832 140737029574352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7813/statm: 48396 22457 205 433 0 47960 0
[pid=7813/tid=7815] ppid=7811 vsize=193584 CPUtime=12.47 cores=0,2,4,6
/proc/7813/task/7815/stat : 7815 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 8810 0 0 0 1244 3 0 0 20 0 3 0 275272164 198230016 22457 33554432000 4194304 5965102 140737029574832 140492474858008 5144240 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=7813/tid=7816] ppid=7811 vsize=193584 CPUtime=12.47 cores=0,2,4,6
/proc/7813/task/7816/stat : 7816 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 9683 0 0 0 1241 6 0 0 20 0 3 0 275272164 198230016 22457 33554432000 4194304 5965102 140737029574832 140492464367864 4388991 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 193584

[startup+25.5003 s]
/proc/loadavg: 3.89 3.96 3.91 5/181 7816
/proc/meminfo: memFree=27730512/32873648 swapFree=7372/7372
[pid=7813] ppid=7811 vsize=193584 CPUtime=50.72 cores=0,2,4,6
/proc/7813/stat : 7813 (pwbo2.0) S 7811 7813 7065 0 -1 4202496 40686 0 0 0 5058 14 0 0 20 0 3 0 275272145 198230016 30873 33554432000 4194304 5965102 140737029574832 140737029574352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7813/statm: 48396 30873 205 433 0 47960 0
[pid=7813/tid=7815] ppid=7811 vsize=193584 CPUtime=25.27 cores=0,2,4,6
/proc/7813/task/7815/stat : 7815 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 18501 0 0 0 2522 5 0 0 20 0 3 0 275272164 198230016 30873 33554432000 4194304 5965102 140737029574832 140492474858008 4446175 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=7813/tid=7816] ppid=7811 vsize=193584 CPUtime=25.27 cores=0,2,4,6
/proc/7813/task/7816/stat : 7816 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 16144 0 0 0 2518 9 0 0 20 0 3 0 275272164 198230016 30873 33554432000 4194304 5965102 140737029574832 140492464367928 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 193584

[startup+51.1003 s]
/proc/loadavg: 4.00 3.97 3.91 5/181 7817
/proc/meminfo: memFree=27607348/32873648 swapFree=7372/7372
[pid=7813] ppid=7811 vsize=259120 CPUtime=101.9 cores=0,2,4,6
/proc/7813/stat : 7813 (pwbo2.0) S 7811 7813 7065 0 -1 4202496 85388 0 0 0 10158 32 0 0 20 0 3 0 275272145 265338880 50347 33554432000 4194304 5965102 140737029574832 140737029574352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7813/statm: 64780 50347 206 433 0 64344 0
[pid=7813/tid=7815] ppid=7811 vsize=259120 CPUtime=50.86 cores=0,2,4,6
/proc/7813/task/7815/stat : 7815 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 46976 0 0 0 5073 13 0 0 20 0 3 0 275272164 265338880 50347 33554432000 4194304 5965102 140737029574832 140492474858008 5136313 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=7813/tid=7816] ppid=7811 vsize=259120 CPUtime=50.87 cores=0,2,4,6
/proc/7813/task/7816/stat : 7816 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 32371 0 0 0 5067 20 0 0 20 0 3 0 275272164 265338880 50347 33554432000 4194304 5965102 140737029574832 140492464367736 4401041 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 259120

[startup+102.3 s]
/proc/loadavg: 4.00 3.97 3.91 5/181 7817
/proc/meminfo: memFree=27443696/32873648 swapFree=7372/7372
[pid=7813] ppid=7811 vsize=457352 CPUtime=204.29 cores=0,2,4,6
/proc/7813/stat : 7813 (pwbo2.0) S 7811 7813 7065 0 -1 4202496 125207 0 0 0 20377 52 0 0 20 0 3 0 275272145 468328448 85607 33554432000 4194304 5965102 140737029574832 140737029574352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7813/statm: 114338 85607 206 433 0 113902 0
[pid=7813/tid=7815] ppid=7811 vsize=457352 CPUtime=102.07 cores=0,2,4,6
/proc/7813/task/7815/stat : 7815 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 61514 0 0 0 10188 19 0 0 20 0 3 0 275272164 468328448 85607 33554432000 4194304 5965102 140737029574832 140492474858008 4401024 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=7813/tid=7816] ppid=7811 vsize=457352 CPUtime=102.07 cores=0,2,4,6
/proc/7813/task/7816/stat : 7816 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 57652 0 0 0 10171 36 0 0 20 0 3 0 275272164 468328448 85607 33554432000 4194304 5965102 140737029574832 140492464367928 4401137 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.29
Current children cumulated vsize (KiB) 457352

[startup+162.3 s]
/proc/loadavg: 4.00 3.97 3.91 5/181 7817
/proc/meminfo: memFree=27266776/32873648 swapFree=7372/7372
[pid=7813] ppid=7811 vsize=588424 CPUtime=324.23 cores=0,2,4,6
/proc/7813/stat : 7813 (pwbo2.0) S 7811 7813 7065 0 -1 4202496 160842 0 0 0 32346 77 0 0 20 0 3 0 275272145 602546176 121195 33554432000 4194304 5965102 140737029574832 140737029574352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7813/statm: 147106 121195 206 433 0 146670 0
[pid=7813/tid=7815] ppid=7811 vsize=588424 CPUtime=162.06 cores=0,2,4,6
/proc/7813/task/7815/stat : 7815 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 68490 0 0 0 16183 23 0 0 20 0 3 0 275272164 602546176 121195 33554432000 4194304 5965102 140737029574832 140492474857464 4401127 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=7813/tid=7816] ppid=7811 vsize=588424 CPUtime=162.03 cores=0,2,4,6
/proc/7813/task/7816/stat : 7816 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 86311 0 0 0 16145 58 0 0 20 0 3 0 275272164 602546176 121195 33554432000 4194304 5965102 140737029574832 140492464367928 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.23
Current children cumulated vsize (KiB) 588424

[startup+222.307 s]
/proc/loadavg: 4.00 3.97 3.91 5/181 7817
/proc/meminfo: memFree=26954204/32873648 swapFree=7372/7372
[pid=7813] ppid=7811 vsize=720304 CPUtime=444.2 cores=0,2,4,6
/proc/7813/stat : 7813 (pwbo2.0) S 7811 7813 7065 0 -1 4202496 193673 0 0 0 44321 99 0 0 20 0 3 0 275272145 737591296 153983 33554432000 4194304 5965102 140737029574832 140737029574352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7813/statm: 180076 153983 206 433 0 179640 0
[pid=7813/tid=7815] ppid=7811 vsize=720304 CPUtime=222.05 cores=0,2,4,6
/proc/7813/task/7815/stat : 7815 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 73059 0 0 0 22179 26 0 0 20 0 3 0 275272164 737591296 153983 33554432000 4194304 5965102 140737029574832 140492474858008 4401582 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=7813/tid=7816] ppid=7811 vsize=720304 CPUtime=222.02 cores=0,2,4,6
/proc/7813/task/7816/stat : 7816 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 114573 0 0 0 22123 79 0 0 20 0 3 0 275272164 737591296 153983 33554432000 4194304 5965102 140737029574832 140492464367928 5137076 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.2
Current children cumulated vsize (KiB) 720304

[startup+282.3 s]
/proc/loadavg: 4.08 3.99 3.92 5/181 7817
/proc/meminfo: memFree=26762404/32873648 swapFree=7372/7372
[pid=7813] ppid=7811 vsize=853000 CPUtime=564.13 cores=0,2,4,6
/proc/7813/stat : 7813 (pwbo2.0) S 7811 7813 7065 0 -1 4202496 222212 0 0 0 56294 119 0 0 20 0 3 0 275272145 873472000 182490 33554432000 4194304 5965102 140737029574832 140737029574352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7813/statm: 213250 182490 206 433 0 212814 0
[pid=7813/tid=7815] ppid=7811 vsize=853000 CPUtime=282.04 cores=0,2,4,6
/proc/7813/task/7815/stat : 7815 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 78915 0 0 0 28173 31 0 0 20 0 3 0 275272164 873472000 182490 33554432000 4194304 5965102 140737029574832 140492474857464 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=7813/tid=7816] ppid=7811 vsize=853000 CPUtime=281.98 cores=0,2,4,6
/proc/7813/task/7816/stat : 7816 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 137256 0 0 0 28102 96 0 0 20 0 3 0 275272164 873472000 182490 33554432000 4194304 5965102 140737029574832 140492464367928 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.13
Current children cumulated vsize (KiB) 853000

[startup+342.3 s]
/proc/loadavg: 4.03 3.99 3.92 5/181 7861
/proc/meminfo: memFree=28005372/32873648 swapFree=7372/7372
[pid=7813] ppid=7811 vsize=919088 CPUtime=684.1 cores=0,2,4,6
/proc/7813/stat : 7813 (pwbo2.0) S 7811 7813 7065 0 -1 4202496 251735 0 0 0 68271 139 0 0 20 0 3 0 275272145 941146112 212239 33554432000 4194304 5965102 140737029574832 140737029574352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7813/statm: 229772 212239 206 433 0 229336 0
[pid=7813/tid=7815] ppid=7811 vsize=919088 CPUtime=342.04 cores=0,2,4,6
/proc/7813/task/7815/stat : 7815 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 83426 0 0 0 34169 35 0 0 20 0 3 0 275272164 941146112 212239 33554432000 4194304 5965102 140737029574832 140492474857272 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=7813/tid=7816] ppid=7811 vsize=919088 CPUtime=341.96 cores=0,2,4,6
/proc/7813/task/7816/stat : 7816 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 162268 0 0 0 34082 114 0 0 20 0 3 0 275272164 941146112 212239 33554432000 4194304 5965102 140737029574832 140492464367928 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.1
Current children cumulated vsize (KiB) 919088

[startup+402.3 s]
/proc/loadavg: 4.01 3.99 3.92 5/181 7862
/proc/meminfo: memFree=27668124/32873648 swapFree=7372/7372
[pid=7813] ppid=7811 vsize=1050160 CPUtime=804.05 cores=0,2,4,6
/proc/7813/stat : 7813 (pwbo2.0) S 7811 7813 7065 0 -1 4202496 276434 0 0 0 80248 157 0 0 20 0 3 0 275272145 1075363840 236586 33554432000 4194304 5965102 140737029574832 140737029574352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7813/statm: 262540 236586 206 433 0 262104 0
[pid=7813/tid=7815] ppid=7811 vsize=1050160 CPUtime=402.04 cores=0,2,4,6
/proc/7813/task/7815/stat : 7815 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 84547 0 0 0 40168 36 0 0 20 0 3 0 275272164 1075363840 236586 33554432000 4194304 5965102 140737029574832 140492474858424 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=7813/tid=7816] ppid=7811 vsize=1050160 CPUtime=401.93 cores=0,2,4,6
/proc/7813/task/7816/stat : 7816 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 185846 0 0 0 40060 133 0 0 20 0 3 0 275272164 1075363840 236586 33554432000 4194304 5965102 140737029574832 140492464367928 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.05
Current children cumulated vsize (KiB) 1050160

[startup+462.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 7862
/proc/meminfo: memFree=27407380/32873648 swapFree=7372/7372
[pid=7813] ppid=7811 vsize=1115832 CPUtime=923.99 cores=0,2,4,6
/proc/7813/stat : 7813 (pwbo2.0) S 7811 7813 7065 0 -1 4202496 296827 0 0 0 92228 171 0 0 20 0 3 0 275272145 1142611968 256938 33554432000 4194304 5965102 140737029574832 140737029574352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7813/statm: 278958 256938 206 433 0 278522 0
[pid=7813/tid=7815] ppid=7811 vsize=1115832 CPUtime=462.05 cores=0,2,4,6
/proc/7813/task/7815/stat : 7815 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 84610 0 0 0 46168 37 0 0 20 0 3 0 275272164 1142611968 256938 33554432000 4194304 5965102 140737029574832 140492474858424 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=7813/tid=7816] ppid=7811 vsize=1115832 CPUtime=461.89 cores=0,2,4,6
/proc/7813/task/7816/stat : 7816 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 206176 0 0 0 46042 147 0 0 20 0 3 0 275272164 1142611968 256938 33554432000 4194304 5965102 140737029574832 140492464367928 4401137 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 923.99
Current children cumulated vsize (KiB) 1115832

[startup+522.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 7862
/proc/meminfo: memFree=27215712/32873648 swapFree=7372/7372
[pid=7813] ppid=7811 vsize=1181644 CPUtime=1043.95 cores=0,2,4,6
/proc/7813/stat : 7813 (pwbo2.0) S 7811 7813 7065 0 -1 4202496 315450 0 0 0 104210 185 0 0 20 0 3 0 275272145 1210003456 276059 33554432000 4194304 5965102 140737029574832 140737029574352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7813/statm: 295411 276059 206 433 0 294975 0
[pid=7813/tid=7815] ppid=7811 vsize=1181644 CPUtime=522.04 cores=0,2,4,6
/proc/7813/task/7815/stat : 7815 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 84787 0 0 0 52167 37 0 0 20 0 3 0 275272164 1210003456 276059 33554432000 4194304 5965102 140737029574832 140492474858424 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=7813/tid=7816] ppid=7811 vsize=1181644 CPUtime=521.87 cores=0,2,4,6
/proc/7813/task/7816/stat : 7816 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 224622 0 0 0 52025 162 0 0 20 0 3 0 275272164 1210003456 276059 33554432000 4194304 5965102 140737029574832 140492464367928 4401137 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1043.95
Current children cumulated vsize (KiB) 1181644

[startup+582.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 7862
/proc/meminfo: memFree=27093972/32873648 swapFree=7372/7372
[pid=7813] ppid=7811 vsize=1247316 CPUtime=1163.91 cores=0,2,4,6
/proc/7813/stat : 7813 (pwbo2.0) S 7811 7813 7065 0 -1 4202496 319051 0 0 0 116202 189 0 0 20 0 3 0 275272145 1277251584 279619 33554432000 4194304 5965102 140737029574832 140737029574352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7813/statm: 311829 279619 206 433 0 311393 0
[pid=7813/tid=7815] ppid=7811 vsize=1247316 CPUtime=582.04 cores=0,2,4,6
/proc/7813/task/7815/stat : 7815 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 88330 0 0 0 58162 42 0 0 20 0 3 0 275272164 1277251584 279619 33554432000 4194304 5965102 140737029574832 140492474857272 4401462 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=7813/tid=7816] ppid=7811 vsize=1247316 CPUtime=581.84 cores=0,2,4,6
/proc/7813/task/7816/stat : 7816 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 224680 0 0 0 58021 163 0 0 20 0 3 0 275272164 1277251584 279619 33554432000 4194304 5965102 140737029574832 140492464367688 4389285 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1163.91
Current children cumulated vsize (KiB) 1247316

[startup+642.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 7862
/proc/meminfo: memFree=26980504/32873648 swapFree=7372/7372
[pid=7813] ppid=7811 vsize=1247316 CPUtime=1283.87 cores=0,2,4,6
/proc/7813/stat : 7813 (pwbo2.0) S 7811 7813 7065 0 -1 4202496 319856 0 0 0 128198 189 0 0 20 0 3 0 275272145 1277251584 280390 33554432000 4194304 5965102 140737029574832 140737029574352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7813/statm: 311829 280390 206 433 0 311393 0
[pid=7813/tid=7815] ppid=7811 vsize=1247316 CPUtime=642.03 cores=0,2,4,6
/proc/7813/task/7815/stat : 7815 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 89082 0 0 0 64160 43 0 0 20 0 3 0 275272164 1277251584 280390 33554432000 4194304 5965102 140737029574832 140492474857272 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=7813/tid=7816] ppid=7811 vsize=1247316 CPUtime=641.83 cores=0,2,4,6
/proc/7813/task/7816/stat : 7816 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 224733 0 0 0 64019 164 0 0 20 0 3 0 275272164 1277251584 280390 33554432000 4194304 5965102 140737029574832 140492464367688 4401107 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1283.87
Current children cumulated vsize (KiB) 1247316

[startup+702.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 7863
/proc/meminfo: memFree=26902864/32873648 swapFree=7372/7372
[pid=7813] ppid=7811 vsize=1247588 CPUtime=1403.82 cores=0,2,4,6
/proc/7813/stat : 7813 (pwbo2.0) S 7811 7813 7065 0 -1 4202496 328453 0 0 0 140184 198 0 0 20 0 3 0 275272145 1277530112 288946 33554432000 4194304 5965102 140737029574832 140737029574352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7813/statm: 311897 288946 206 433 0 311461 0
[pid=7813/tid=7815] ppid=7811 vsize=1247588 CPUtime=702.02 cores=0,2,4,6
/proc/7813/task/7815/stat : 7815 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 97586 0 0 0 70150 52 0 0 20 0 3 0 275272164 1277530112 288946 33554432000 4194304 5965102 140737029574832 140492474857272 4401118 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=7813/tid=7816] ppid=7811 vsize=1247588 CPUtime=701.81 cores=0,2,4,6
/proc/7813/task/7816/stat : 7816 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 224826 0 0 0 70016 165 0 0 20 0 3 0 275272164 1277530112 288946 33554432000 4194304 5965102 140737029574832 140492464367688 4401672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1403.82
Current children cumulated vsize (KiB) 1247588

[startup+762.3 s]
/proc/loadavg: 4.03 4.00 3.92 5/181 7863
/proc/meminfo: memFree=26865848/32873648 swapFree=7372/7372
[pid=7813] ppid=7811 vsize=1315696 CPUtime=1523.81 cores=0,2,4,6
/proc/7813/stat : 7813 (pwbo2.0) S 7811 7813 7065 0 -1 4202496 337189 0 0 0 152174 207 0 0 20 0 3 0 275272145 1347272704 298192 33554432000 4194304 5965102 140737029574832 140737029574352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7813/statm: 328924 298192 206 433 0 328488 0
[pid=7813/tid=7815] ppid=7811 vsize=1315696 CPUtime=762.03 cores=0,2,4,6
/proc/7813/task/7815/stat : 7815 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 106288 0 0 0 76140 63 0 0 20 0 3 0 275272164 1347272704 298192 33554432000 4194304 5965102 140737029574832 140492474857464 4401015 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=7813/tid=7816] ppid=7811 vsize=1315696 CPUtime=761.81 cores=0,2,4,6
/proc/7813/task/7816/stat : 7816 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 224860 0 0 0 76015 166 0 0 20 0 3 0 275272164 1347272704 298192 33554432000 4194304 5965102 140737029574832 140492464367688 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1523.81
Current children cumulated vsize (KiB) 1315696

[startup+822.3 s]
/proc/loadavg: 4.01 4.00 3.92 5/181 7863
/proc/meminfo: memFree=26852704/32873648 swapFree=7372/7372
[pid=7813] ppid=7811 vsize=1315844 CPUtime=1643.78 cores=0,2,4,6
/proc/7813/stat : 7813 (pwbo2.0) S 7811 7813 7065 0 -1 4202496 340350 0 0 0 164168 210 0 0 20 0 3 0 275272145 1347424256 301350 33554432000 4194304 5965102 140737029574832 140737029574352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7813/statm: 328961 301350 206 433 0 328525 0
[pid=7813/tid=7815] ppid=7811 vsize=1315844 CPUtime=822.03 cores=0,2,4,6
/proc/7813/task/7815/stat : 7815 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 109401 0 0 0 82136 67 0 0 20 0 3 0 275272164 1347424256 301350 33554432000 4194304 5965102 140737029574832 140492474857272 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=7813/tid=7816] ppid=7811 vsize=1315844 CPUtime=821.8 cores=0,2,4,6
/proc/7813/task/7816/stat : 7816 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 224908 0 0 0 82013 167 0 0 20 0 3 0 275272164 1347424256 301350 33554432000 4194304 5965102 140737029574832 140492464367688 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1643.78
Current children cumulated vsize (KiB) 1315844

[startup+882.307 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7863
/proc/meminfo: memFree=26847992/32873648 swapFree=7372/7372
[pid=7813] ppid=7811 vsize=1315844 CPUtime=1763.78 cores=0,2,4,6
/proc/7813/stat : 7813 (pwbo2.0) S 7811 7813 7065 0 -1 4202496 341130 0 0 0 176167 211 0 0 20 0 3 0 275272145 1347424256 302127 33554432000 4194304 5965102 140737029574832 140737029574352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7813/statm: 328961 302127 206 433 0 328525 0
[pid=7813/tid=7815] ppid=7811 vsize=1315844 CPUtime=882.04 cores=0,2,4,6
/proc/7813/task/7815/stat : 7815 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 110181 0 0 0 88135 69 0 0 20 0 3 0 275272164 1347424256 302127 33554432000 4194304 5965102 140737029574832 140492474857272 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=7813/tid=7816] ppid=7811 vsize=1315844 CPUtime=881.81 cores=0,2,4,6
/proc/7813/task/7816/stat : 7816 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 224908 0 0 0 88013 168 0 0 20 0 3 0 275272164 1347424256 302127 33554432000 4194304 5965102 140737029574832 140492464367688 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1763.78
Current children cumulated vsize (KiB) 1315844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.5 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7863
/proc/meminfo: memFree=26810544/32873648 swapFree=7372/7372
[pid=7813] ppid=7811 vsize=1315844 CPUtime=1800.17 cores=0,2,4,6
/proc/7813/stat : 7813 (pwbo2.0) S 7811 7813 7065 0 -1 4202496 341328 0 0 0 179806 211 0 0 20 0 3 0 275272145 1347424256 302325 33554432000 4194304 5965102 140737029574832 140737029574352 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7813/statm: 328961 302325 206 433 0 328525 0
[pid=7813/tid=7815] ppid=7811 vsize=1315844 CPUtime=900.24 cores=0,2,4,6
/proc/7813/task/7815/stat : 7815 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 110379 0 0 0 89955 69 0 0 20 0 3 0 275272164 1347424256 302325 33554432000 4194304 5965102 140737029574832 140492474857272 4400972 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=7813/tid=7816] ppid=7811 vsize=1315844 CPUtime=900.01 cores=0,2,4,6
/proc/7813/task/7816/stat : 7816 (pwbo2.0) R 7811 7813 7065 0 -1 4202560 224908 0 0 0 89833 168 0 0 20 0 3 0 275272164 1347424256 302325 33554432000 4194304 5965102 140737029574832 140492464367688 4401118 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) 1315844

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 0
Real time (s): 900.534
CPU time (s): 1800.49
CPU user time (s): 1798.07
CPU system time (s): 2.42463
CPU usage (%): 199.936
Max. virtual memory (cumulated for all children) (KiB): 1315844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.07
system time used= 2.42463
maximum resident set size= 1209308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 341330
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= 1916
involuntary context switches= 2328

runsolver used 1.89071 second user time and 4.95525 second system time

The end