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-3704522-1338093198/watcher-3704522-1338093198 -o /tmp/evaluation-result-3704522-1338093198/solver-3704522-1338093198 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3704522-1338093198.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.84 3.99 3.94 2/174 23620
/proc/meminfo: memFree=31224484/32873844 swapFree=6600/6600
[pid=23620] ppid=23618 vsize=4888 CPUtime=0 cores=1,3,5,7
/proc/23620/stat : 23620 (pwbo2.0) R 23618 23620 22912 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 275444669 5005312 489 33554432000 4194304 5965102 140733963953520 140733963950936 4350875 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23620/statm: 1222 490 174 433 0 760 0
[startup+0.044531 s]
/proc/loadavg: 3.84 3.99 3.94 2/174 23620
/proc/meminfo: memFree=31224484/32873844 swapFree=6600/6600
[pid=23620] ppid=23618 vsize=164516 CPUtime=0.07 cores=1,3,5,7
/proc/23620/stat : 23620 (pwbo2.0) S 23618 23620 22912 0 -1 4202496 2090 0 0 0 7 0 0 0 20 0 3 0 275444669 168464384 1958 33554432000 4194304 5965102 140733963953520 140733963953040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23620/statm: 41129 1958 206 433 0 40693 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 164516
[startup+0.100182 s]
/proc/loadavg: 3.84 3.99 3.94 2/174 23620
/proc/meminfo: memFree=31224484/32873844 swapFree=6600/6600
[pid=23620] ppid=23618 vsize=164516 CPUtime=0.18 cores=1,3,5,7
/proc/23620/stat : 23620 (pwbo2.0) S 23618 23620 22912 0 -1 4202496 2349 0 0 0 18 0 0 0 20 0 3 0 275444669 168464384 2108 33554432000 4194304 5965102 140733963953520 140733963953040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23620/statm: 41129 2108 206 433 0 40693 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 164516
[startup+0.300129 s]
/proc/loadavg: 3.84 3.99 3.94 2/174 23620
/proc/meminfo: memFree=31224484/32873844 swapFree=6600/6600
[pid=23620] ppid=23618 vsize=164516 CPUtime=0.57 cores=1,3,5,7
/proc/23620/stat : 23620 (pwbo2.0) S 23618 23620 22912 0 -1 4202496 2929 0 0 0 57 0 0 0 20 0 3 0 275444669 168464384 2668 33554432000 4194304 5965102 140733963953520 140733963953040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23620/statm: 41129 2668 206 433 0 40693 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 164516
[startup+0.700142 s]
/proc/loadavg: 3.84 3.99 3.94 2/174 23620
/proc/meminfo: memFree=31224484/32873844 swapFree=6600/6600
[pid=23620] ppid=23618 vsize=164516 CPUtime=1.37 cores=1,3,5,7
/proc/23620/stat : 23620 (pwbo2.0) S 23618 23620 22912 0 -1 4202496 3985 0 0 0 136 1 0 0 20 0 3 0 275444669 168464384 3724 33554432000 4194304 5965102 140733963953520 140733963953040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23620/statm: 41129 3724 206 433 0 40693 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 164516
[startup+1.50031 s]
/proc/loadavg: 3.84 3.99 3.94 3/177 23623
/proc/meminfo: memFree=31207348/32873844 swapFree=6600/6600
[pid=23620] ppid=23618 vsize=164660 CPUtime=2.96 cores=1,3,5,7
/proc/23620/stat : 23620 (pwbo2.0) S 23618 23620 22912 0 -1 4202496 5516 0 0 0 295 1 0 0 20 0 3 0 275444669 168611840 5255 33554432000 4194304 5965102 140733963953520 140733963953040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23620/statm: 41165 5255 206 433 0 40729 0
[pid=23620/tid=23622] ppid=23618 vsize=164660 CPUtime=1.47 cores=1,3,5,7
/proc/23620/task/23622/stat : 23622 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 1789 0 0 0 147 0 0 0 20 0 3 0 275444670 168611840 5255 33554432000 4194304 5965102 140733963953520 140618220599624 4401118 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23620/tid=23623] ppid=23618 vsize=164660 CPUtime=1.47 cores=1,3,5,7
/proc/23620/task/23623/stat : 23623 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 2619 0 0 0 146 1 0 0 20 0 3 0 275444670 168611840 5256 33554432000 4194304 5965102 140733963953520 140618210109752 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 164660
[startup+3.10029 s]
/proc/loadavg: 3.84 3.99 3.94 4/177 23639
/proc/meminfo: memFree=31204480/32873844 swapFree=6600/6600
[pid=23620] ppid=23618 vsize=164660 CPUtime=6.17 cores=1,3,5,7
/proc/23620/stat : 23620 (pwbo2.0) S 23618 23620 22912 0 -1 4202496 6531 0 0 0 615 2 0 0 20 0 3 0 275444669 168611840 6242 33554432000 4194304 5965102 140733963953520 140733963953040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23620/statm: 41165 6242 206 433 0 40729 0
[pid=23620/tid=23622] ppid=23618 vsize=164660 CPUtime=3.06 cores=1,3,5,7
/proc/23620/task/23622/stat : 23622 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 2374 0 0 0 306 0 0 0 20 0 3 0 275444670 168611840 6242 33554432000 4194304 5965102 140733963953520 140618220600248 4389864 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23620/tid=23623] ppid=23618 vsize=164660 CPUtime=3.07 cores=1,3,5,7
/proc/23620/task/23623/stat : 23623 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 3048 0 0 0 306 1 0 0 20 0 3 0 275444670 168611840 6242 33554432000 4194304 5965102 140733963953520 140618210109752 4221072 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 164660
[startup+6.30031 s]
/proc/loadavg: 3.85 3.99 3.94 5/181 23675
/proc/meminfo: memFree=31166124/32873844 swapFree=6600/6600
[pid=23620] ppid=23618 vsize=164948 CPUtime=12.57 cores=1,3,5,7
/proc/23620/stat : 23620 (pwbo2.0) S 23618 23620 22912 0 -1 4202496 9660 0 0 0 1251 6 0 0 20 0 3 0 275444669 168906752 9371 33554432000 4194304 5965102 140733963953520 140733963953040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23620/statm: 41237 9371 206 433 0 40801 0
[pid=23620/tid=23622] ppid=23618 vsize=164948 CPUtime=6.25 cores=1,3,5,7
/proc/23620/task/23622/stat : 23622 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 3665 0 0 0 624 1 0 0 20 0 3 0 275444670 168906752 9371 33554432000 4194304 5965102 140733963953520 140618220599288 4401099 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23620/tid=23623] ppid=23618 vsize=164948 CPUtime=6.26 cores=1,3,5,7
/proc/23620/task/23623/stat : 23623 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 4886 0 0 0 622 4 0 0 20 0 3 0 275444670 168906752 9371 33554432000 4194304 5965102 140733963953520 140618210109752 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 164948
[startup+12.7003 s]
/proc/loadavg: 3.86 3.99 3.94 5/181 23675
/proc/meminfo: memFree=31113404/32873844 swapFree=6600/6600
[pid=23620] ppid=23618 vsize=165164 CPUtime=25.37 cores=1,3,5,7
/proc/23620/stat : 23620 (pwbo2.0) S 23618 23620 22912 0 -1 4202496 16096 0 0 0 2518 19 0 0 20 0 3 0 275444669 169127936 15807 33554432000 4194304 5965102 140733963953520 140733963953040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23620/statm: 41291 15807 206 433 0 40855 0
[pid=23620/tid=23622] ppid=23618 vsize=165164 CPUtime=12.64 cores=1,3,5,7
/proc/23620/task/23622/stat : 23622 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 6371 0 0 0 1262 2 0 0 20 0 3 0 275444670 169127936 15807 33554432000 4194304 5965102 140733963953520 140618220599096 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23620/tid=23623] ppid=23618 vsize=165164 CPUtime=12.64 cores=1,3,5,7
/proc/23620/task/23623/stat : 23623 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 8616 0 0 0 1248 16 0 0 20 0 3 0 275444670 169127936 15807 33554432000 4194304 5965102 140733963953520 140618210109800 4401146 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 165164
[startup+25.5003 s]
/proc/loadavg: 3.97 4.01 3.95 5/181 23675
/proc/meminfo: memFree=31084344/32873844 swapFree=6600/6600
[pid=23620] ppid=23618 vsize=165456 CPUtime=50.95 cores=1,3,5,7
/proc/23620/stat : 23620 (pwbo2.0) S 23618 23620 22912 0 -1 4202496 19910 0 0 0 5074 21 0 0 20 0 3 0 275444669 169426944 19613 33554432000 4194304 5965102 140733963953520 140733963953040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23620/statm: 41364 19614 206 433 0 40928 0
[pid=23620/tid=23622] ppid=23618 vsize=165456 CPUtime=25.4 cores=1,3,5,7
/proc/23620/task/23622/stat : 23622 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 9864 0 0 0 2536 4 0 0 20 0 3 0 275444670 169426944 19614 33554432000 4194304 5965102 140733963953520 140618220599288 5137076 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23620/tid=23623] ppid=23618 vsize=165456 CPUtime=25.4 cores=1,3,5,7
/proc/23620/task/23623/stat : 23623 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 8938 0 0 0 2524 16 0 0 20 0 3 0 275444670 169426944 19614 33554432000 4194304 5965102 140733963953520 140618210109512 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 165456
[startup+51.1003 s]
/proc/loadavg: 3.98 4.00 3.95 5/181 23675
/proc/meminfo: memFree=30997992/32873844 swapFree=6600/6600
[pid=23620] ppid=23618 vsize=165888 CPUtime=102.11 cores=1,3,5,7
/proc/23620/stat : 23620 (pwbo2.0) S 23618 23620 22912 0 -1 4202496 30855 0 0 0 10167 44 0 0 20 0 3 0 275444669 169869312 30540 33554432000 4194304 5965102 140733963953520 140733963953040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23620/statm: 41472 30540 206 433 0 41036 0
[pid=23620/tid=23622] ppid=23618 vsize=165888 CPUtime=50.93 cores=1,3,5,7
/proc/23620/task/23622/stat : 23622 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 13485 0 0 0 5085 8 0 0 20 0 3 0 275444670 169869312 30540 33554432000 4194304 5965102 140733963953520 140618220599096 4401472 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23620/tid=23623] ppid=23618 vsize=165888 CPUtime=50.91 cores=1,3,5,7
/proc/23620/task/23623/stat : 23623 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 16261 0 0 0 5056 35 0 0 20 0 3 0 275444670 169869312 30540 33554432000 4194304 5965102 140733963953520 140618210109800 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 165888
[startup+102.307 s]
/proc/loadavg: 3.99 4.00 3.95 5/181 23675
/proc/meminfo: memFree=30911940/32873844 swapFree=6600/6600
[pid=23620] ppid=23618 vsize=231460 CPUtime=204.48 cores=1,3,5,7
/proc/23620/stat : 23620 (pwbo2.0) S 23618 23620 22912 0 -1 4202496 36027 0 0 0 20396 52 0 0 20 0 3 0 275444669 237015040 36992 33554432000 4194304 5965102 140733963953520 140733963953040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23620/statm: 57865 36992 206 433 0 57429 0
[pid=23620/tid=23622] ppid=23618 vsize=231460 CPUtime=101.98 cores=1,3,5,7
/proc/23620/task/23622/stat : 23622 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 15707 0 0 0 10187 11 0 0 20 0 3 0 275444670 237015040 36992 33554432000 4194304 5965102 140733963953520 140618220599096 4401536 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23620/tid=23623] ppid=23618 vsize=231460 CPUtime=101.99 cores=1,3,5,7
/proc/23620/task/23623/stat : 23623 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 19211 0 0 0 10156 43 0 0 20 0 3 0 275444670 237015040 36992 33554432000 4194304 5965102 140733963953520 140618210109752 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.48
Current children cumulated vsize (KiB) 231460
[startup+162.3 s]
/proc/loadavg: 3.99 4.00 3.95 5/181 23675
/proc/meminfo: memFree=30770112/32873844 swapFree=6600/6600
[pid=23620] ppid=23618 vsize=297988 CPUtime=324.45 cores=1,3,5,7
/proc/23620/stat : 23620 (pwbo2.0) S 23618 23620 22912 0 -1 4202496 56210 0 0 0 32366 79 0 0 20 0 3 0 275444669 305139712 57173 33554432000 4194304 5965102 140733963953520 140733963953040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23620/statm: 74497 57173 206 433 0 74061 0
[pid=23620/tid=23622] ppid=23618 vsize=297988 CPUtime=161.82 cores=1,3,5,7
/proc/23620/task/23622/stat : 23622 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 25107 0 0 0 16160 22 0 0 20 0 3 0 275444670 305139712 57173 33554432000 4194304 5965102 140733963953520 140618220599288 4401107 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23620/tid=23623] ppid=23618 vsize=297988 CPUtime=161.83 cores=1,3,5,7
/proc/23620/task/23623/stat : 23623 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 29994 0 0 0 16123 60 0 0 20 0 3 0 275444670 305139712 57173 33554432000 4194304 5965102 140733963953520 140618210109752 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.45
Current children cumulated vsize (KiB) 297988
[startup+222.3 s]
/proc/loadavg: 4.03 4.01 3.95 5/181 23675
/proc/meminfo: memFree=30747960/32873844 swapFree=6600/6600
[pid=23620] ppid=23618 vsize=298620 CPUtime=444.44 cores=1,3,5,7
/proc/23620/stat : 23620 (pwbo2.0) S 23618 23620 22912 0 -1 4202496 59638 0 0 0 44360 84 0 0 20 0 3 0 275444669 305786880 60598 33554432000 4194304 5965102 140733963953520 140733963953040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23620/statm: 74655 60598 206 433 0 74219 0
[pid=23620/tid=23622] ppid=23618 vsize=298620 CPUtime=221.66 cores=1,3,5,7
/proc/23620/task/23622/stat : 23622 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 28427 0 0 0 22138 28 0 0 20 0 3 0 275444670 305786880 60598 33554432000 4194304 5965102 140733963953520 140618220599160 4401127 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23620/tid=23623] ppid=23618 vsize=298620 CPUtime=221.67 cores=1,3,5,7
/proc/23620/task/23623/stat : 23623 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 30102 0 0 0 22106 61 0 0 20 0 3 0 275444670 305786880 60598 33554432000 4194304 5965102 140733963953520 140618210109512 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.44
Current children cumulated vsize (KiB) 298620
[startup+282.3 s]
/proc/loadavg: 4.01 4.01 3.95 5/181 23676
/proc/meminfo: memFree=30651284/32873844 swapFree=6600/6600
[pid=23620] ppid=23618 vsize=364288 CPUtime=564.38 cores=1,3,5,7
/proc/23620/stat : 23620 (pwbo2.0) S 23618 23620 22912 0 -1 4202496 67850 0 0 0 56343 95 0 0 20 0 3 0 275444669 373030912 69242 33554432000 4194304 5965102 140733963953520 140733963953040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23620/statm: 91072 69242 206 433 0 90636 0
[pid=23620/tid=23622] ppid=23618 vsize=364288 CPUtime=281.5 cores=1,3,5,7
/proc/23620/task/23622/stat : 23622 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 34089 0 0 0 28115 35 0 0 20 0 3 0 275444670 373030912 69242 33554432000 4194304 5965102 140733963953520 140618220599336 4401096 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23620/tid=23623] ppid=23618 vsize=364288 CPUtime=281.49 cores=1,3,5,7
/proc/23620/task/23623/stat : 23623 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 32652 0 0 0 28082 67 0 0 20 0 3 0 275444670 373030912 69242 33554432000 4194304 5965102 140733963953520 140618210109752 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.38
Current children cumulated vsize (KiB) 364288
[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 23676
/proc/meminfo: memFree=30604424/32873844 swapFree=6600/6600
[pid=23620] ppid=23618 vsize=364924 CPUtime=684.34 cores=1,3,5,7
/proc/23620/stat : 23620 (pwbo2.0) S 23618 23620 22912 0 -1 4202496 72915 0 0 0 68333 101 0 0 20 0 3 0 275444669 373682176 74591 33554432000 4194304 5965102 140733963953520 140733963953040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23620/statm: 91231 74591 206 433 0 90795 0
################
# More data... #
################
[pid=23620/tid=23623] ppid=23618 vsize=364924 CPUtime=341.33 cores=1,3,5,7
/proc/23620/task/23623/stat : 23623 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 32718 0 0 0 34064 69 0 0 20 0 3 0 275444670 373682176 74591 33554432000 4194304 5965102 140733963953520 140618210109512 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.34
Current children cumulated vsize (KiB) 364924
[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 23676
/proc/meminfo: memFree=30514496/32873844 swapFree=6600/6600
[pid=23620] ppid=23618 vsize=430800 CPUtime=804.3 cores=1,3,5,7
/proc/23620/stat : 23620 (pwbo2.0) S 23618 23620 22912 0 -1 4202496 89943 0 0 0 80300 130 0 0 20 0 3 0 275444669 441139200 91641 33554432000 4194304 5965102 140733963953520 140733963953040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23620/statm: 107700 91641 206 433 0 107264 0
[pid=23620/tid=23622] ppid=23618 vsize=430800 CPUtime=401.16 cores=1,3,5,7
/proc/23620/task/23622/stat : 23622 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 45410 0 0 0 40067 49 0 0 20 0 3 0 275444670 441139200 91641 33554432000 4194304 5965102 140733963953520 140618220599288 4401155 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23620/tid=23623] ppid=23618 vsize=430800 CPUtime=401.17 cores=1,3,5,7
/proc/23620/task/23623/stat : 23623 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 43424 0 0 0 40025 92 0 0 20 0 3 0 275444670 441139200 91641 33554432000 4194304 5965102 140733963953520 140618210109752 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.3
Current children cumulated vsize (KiB) 430800
[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/182 23679
/proc/meminfo: memFree=30427732/32873844 swapFree=6600/6600
[pid=23620] ppid=23618 vsize=496652 CPUtime=924.29 cores=1,3,5,7
/proc/23620/stat : 23620 (pwbo2.0) S 23618 23620 22912 0 -1 4202496 96797 0 0 0 92290 139 0 0 20 0 3 0 275444669 508571648 98495 33554432000 4194304 5965102 140733963953520 140733963953040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23620/statm: 124163 98495 206 433 0 123727 0
[pid=23620/tid=23622] ppid=23618 vsize=496652 CPUtime=461.01 cores=1,3,5,7
/proc/23620/task/23622/stat : 23622 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 51021 0 0 0 46045 56 0 0 20 0 3 0 275444670 508571648 98495 33554432000 4194304 5965102 140733963953520 140618220599096 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23620/tid=23623] ppid=23618 vsize=496652 CPUtime=461.02 cores=1,3,5,7
/proc/23620/task/23623/stat : 23623 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 44667 0 0 0 46007 95 0 0 20 0 3 0 275444670 508571648 98495 33554432000 4194304 5965102 140733963953520 140618210109752 4401050 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.29
Current children cumulated vsize (KiB) 496652
[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 23679
/proc/meminfo: memFree=30357312/32873844 swapFree=6600/6600
[pid=23620] ppid=23618 vsize=496652 CPUtime=1044.27 cores=1,3,5,7
/proc/23620/stat : 23620 (pwbo2.0) S 23618 23620 22912 0 -1 4202496 104620 0 0 0 104277 150 0 0 20 0 3 0 275444669 508571648 106312 33554432000 4194304 5965102 140733963953520 140733963953040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23620/statm: 124163 106312 206 433 0 123727 0
[pid=23620/tid=23622] ppid=23618 vsize=496652 CPUtime=520.85 cores=1,3,5,7
/proc/23620/task/23622/stat : 23622 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 58840 0 0 0 52017 68 0 0 20 0 3 0 275444670 508571648 106312 33554432000 4194304 5965102 140733963953520 140618220599096 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23620/tid=23623] ppid=23618 vsize=496652 CPUtime=520.87 cores=1,3,5,7
/proc/23620/task/23623/stat : 23623 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 44671 0 0 0 51991 96 0 0 20 0 3 0 275444670 508571648 106312 33554432000 4194304 5965102 140733963953520 140618210109784 4401096 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.27
Current children cumulated vsize (KiB) 496652
[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 23680
/proc/meminfo: memFree=30330520/32873844 swapFree=6600/6600
[pid=23620] ppid=23618 vsize=496800 CPUtime=1164.26 cores=1,3,5,7
/proc/23620/stat : 23620 (pwbo2.0) S 23618 23620 22912 0 -1 4202496 107380 0 0 0 116272 154 0 0 20 0 3 0 275444669 508723200 109072 33554432000 4194304 5965102 140733963953520 140733963953040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23620/statm: 124200 109072 206 433 0 123764 0
[pid=23620/tid=23622] ppid=23618 vsize=496800 CPUtime=580.7 cores=1,3,5,7
/proc/23620/task/23622/stat : 23622 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 61559 0 0 0 57998 72 0 0 20 0 3 0 275444670 508723200 109072 33554432000 4194304 5965102 140733963953520 140618220599288 4400972 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23620/tid=23623] ppid=23618 vsize=496800 CPUtime=580.71 cores=1,3,5,7
/proc/23620/task/23623/stat : 23623 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 44712 0 0 0 57974 97 0 0 20 0 3 0 275444670 508723200 109072 33554432000 4194304 5965102 140733963953520 140618210109512 4400966 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.26
Current children cumulated vsize (KiB) 496800
[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 23680
/proc/meminfo: memFree=30305720/32873844 swapFree=6600/6600
[pid=23620] ppid=23618 vsize=497532 CPUtime=1284.24 cores=1,3,5,7
/proc/23620/stat : 23620 (pwbo2.0) S 23618 23620 22912 0 -1 4202496 110563 0 0 0 128264 160 0 0 20 0 3 0 275444669 509472768 112253 33554432000 4194304 5965102 140733963953520 140733963953040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23620/statm: 124383 112253 206 433 0 123947 0
[pid=23620/tid=23622] ppid=23618 vsize=497532 CPUtime=640.55 cores=1,3,5,7
/proc/23620/task/23622/stat : 23622 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 64161 0 0 0 63977 78 0 0 20 0 3 0 275444670 509472768 112253 33554432000 4194304 5965102 140733963953520 140618220599288 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23620/tid=23623] ppid=23618 vsize=497532 CPUtime=640.57 cores=1,3,5,7
/proc/23620/task/23623/stat : 23623 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 45293 0 0 0 63957 100 0 0 20 0 3 0 275444670 509472768 112253 33554432000 4194304 5965102 140733963953520 140618210109512 4401582 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.24
Current children cumulated vsize (KiB) 497532
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 23680
/proc/meminfo: memFree=30216472/32873844 swapFree=6600/6600
[pid=23620] ppid=23618 vsize=628736 CPUtime=1404.16 cores=1,3,5,7
/proc/23620/stat : 23620 (pwbo2.0) S 23618 23620 22912 0 -1 4202496 120766 0 0 0 140238 178 0 0 20 0 3 0 275444669 643825664 123113 33554432000 4194304 5965102 140733963953520 140733963953040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23620/statm: 157184 123113 206 433 0 156748 0
[pid=23620/tid=23622] ppid=23618 vsize=628736 CPUtime=700.35 cores=1,3,5,7
/proc/23620/task/23622/stat : 23622 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 66317 0 0 0 69953 82 0 0 20 0 3 0 275444670 643825664 123113 33554432000 4194304 5965102 140733963953520 140618220599336 4401096 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23620/tid=23623] ppid=23618 vsize=628736 CPUtime=700.4 cores=1,3,5,7
/proc/23620/task/23623/stat : 23623 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 53340 0 0 0 69924 116 0 0 20 0 3 0 275444670 643825664 123113 33554432000 4194304 5965102 140733963953520 140618210109752 4400955 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.16
Current children cumulated vsize (KiB) 628736
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 23680
/proc/meminfo: memFree=30181844/32873844 swapFree=6600/6600
[pid=23620] ppid=23618 vsize=629432 CPUtime=1524.12 cores=1,3,5,7
/proc/23620/stat : 23620 (pwbo2.0) S 23618 23620 22912 0 -1 4202496 128860 0 0 0 152223 189 0 0 20 0 3 0 275444669 644538368 131370 33554432000 4194304 5965102 140733963953520 140733963953040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23620/statm: 157358 131370 206 433 0 156922 0
[pid=23620/tid=23622] ppid=23618 vsize=629432 CPUtime=760.19 cores=1,3,5,7
/proc/23620/task/23622/stat : 23622 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 72742 0 0 0 75929 90 0 0 20 0 3 0 275444670 644538368 131370 33554432000 4194304 5965102 140733963953520 140618220599160 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23620/tid=23623] ppid=23618 vsize=629432 CPUtime=760.22 cores=1,3,5,7
/proc/23620/task/23623/stat : 23623 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 55009 0 0 0 75901 121 0 0 20 0 3 0 275444670 644538368 131370 33554432000 4194304 5965102 140733963953520 140618210109752 4401123 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1524.12
Current children cumulated vsize (KiB) 629432
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 23680
/proc/meminfo: memFree=30106076/32873844 swapFree=6600/6600
[pid=23620] ppid=23618 vsize=629432 CPUtime=1644.1 cores=1,3,5,7
/proc/23620/stat : 23620 (pwbo2.0) S 23618 23620 22912 0 -1 4202496 129199 0 0 0 164220 190 0 0 20 0 3 0 275444669 644538368 131707 33554432000 4194304 5965102 140733963953520 140733963953040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23620/statm: 157358 131707 206 433 0 156922 0
[pid=23620/tid=23622] ppid=23618 vsize=629432 CPUtime=820.03 cores=1,3,5,7
/proc/23620/task/23622/stat : 23622 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 73079 0 0 0 81912 91 0 0 20 0 3 0 275444670 644538368 131707 33554432000 4194304 5965102 140733963953520 140618220599096 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23620/tid=23623] ppid=23618 vsize=629432 CPUtime=820.06 cores=1,3,5,7
/proc/23620/task/23623/stat : 23623 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 55011 0 0 0 81884 122 0 0 20 0 3 0 275444670 644538368 131707 33554432000 4194304 5965102 140733963953520 140618210109752 4401127 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1644.1
Current children cumulated vsize (KiB) 629432
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 23681
/proc/meminfo: memFree=30089460/32873844 swapFree=6600/6600
[pid=23620] ppid=23618 vsize=629576 CPUtime=1764.08 cores=1,3,5,7
/proc/23620/stat : 23620 (pwbo2.0) S 23618 23620 22912 0 -1 4202496 133368 0 0 0 176213 195 0 0 20 0 3 0 275444669 644685824 135875 33554432000 4194304 5965102 140733963953520 140733963953040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23620/statm: 157394 135875 206 433 0 156958 0
[pid=23620/tid=23622] ppid=23618 vsize=629576 CPUtime=879.87 cores=1,3,5,7
/proc/23620/task/23622/stat : 23622 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 77223 0 0 0 87890 97 0 0 20 0 3 0 275444670 644685824 135875 33554432000 4194304 5965102 140733963953520 140618220599096 4401127 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23620/tid=23623] ppid=23618 vsize=629576 CPUtime=879.91 cores=1,3,5,7
/proc/23620/task/23623/stat : 23623 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 55036 0 0 0 87868 123 0 0 20 0 3 0 275444670 644685824 135875 33554432000 4194304 5965102 140733963953520 140618210109512 4401582 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1764.08
Current children cumulated vsize (KiB) 629576
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 23681
/proc/meminfo: memFree=30086980/32873844 swapFree=6600/6600
[pid=23620] ppid=23618 vsize=629576 CPUtime=1800.08 cores=1,3,5,7
/proc/23620/stat : 23620 (pwbo2.0) S 23618 23620 22912 0 -1 4202496 133952 0 0 0 179812 196 0 0 20 0 3 0 275444669 644685824 136459 33554432000 4194304 5965102 140733963953520 140733963953040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23620/statm: 157394 136459 206 433 0 156958 0
[pid=23620/tid=23622] ppid=23618 vsize=629576 CPUtime=897.83 cores=1,3,5,7
/proc/23620/task/23622/stat : 23622 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 77795 0 0 0 89684 99 0 0 20 0 3 0 275444670 644685824 136459 33554432000 4194304 5965102 140733963953520 140618220599096 4401456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23620/tid=23623] ppid=23618 vsize=629576 CPUtime=897.87 cores=1,3,5,7
/proc/23620/task/23623/stat : 23623 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 55048 0 0 0 89664 123 0 0 20 0 3 0 275444670 644685824 136459 33554432000 4194304 5965102 140733963953520 140618210109512 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 629576
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.95 5/181 23681
/proc/meminfo: memFree=30086980/32873844 swapFree=6600/6600
[pid=23620] ppid=23618 vsize=629576 CPUtime=1800.08 cores=1,3,5,7
/proc/23620/stat : 23620 (pwbo2.0) S 23618 23620 22912 0 -1 4202496 133952 0 0 0 179812 196 0 0 20 0 3 0 275444669 644685824 136459 33554432000 4194304 5965102 140733963953520 140733963953040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23620/statm: 157394 136459 206 433 0 156958 0
[pid=23620/tid=23622] ppid=23618 vsize=629576 CPUtime=897.83 cores=1,3,5,7
/proc/23620/task/23622/stat : 23622 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 77795 0 0 0 89684 99 0 0 20 0 3 0 275444670 644685824 136459 33554432000 4194304 5965102 140733963953520 140618220599096 4401456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23620/tid=23623] ppid=23618 vsize=629576 CPUtime=897.87 cores=1,3,5,7
/proc/23620/task/23623/stat : 23623 (pwbo2.0) R 23618 23620 22912 0 -1 4202560 55048 0 0 0 89664 123 0 0 20 0 3 0 275444670 644685824 136459 33554432000 4194304 5965102 140733963953520 140618210109512 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 629576
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23620 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=507345
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=250657
# CPU time returned by wait4() is 1795.76
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.321
CPU time (s): 1800.08
CPU user time (s): 1798.12
CPU system time (s): 1.96
CPU usage (%): 199.938
Max. virtual memory (cumulated for all children) (KiB): 629576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.51
system time used= 2.25066
maximum resident set size= 545848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133955
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= 502
involuntary context switches= 1939
runsolver used 2.23166 second user time and 5.17621 second system time
The end