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 /var/tmp/evaluation-result-3500155-1307991984/watcher-3500155-1307991984 -o /var/tmp/evaluation-result-3500155-1307991984/solver-3500155-1307991984 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500155-1307991984.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.86 3.94 3.83 3/179 25072
/proc/meminfo: memFree=14971768/32951124 swapFree=67057920/67111528
[pid=25072] ppid=25070 vsize=2344 CPUtime=0 cores=1,3,5,7
/proc/25072/stat : 25072 (pwbo1.1) R 25070 25072 24381 0 -1 4202496 323 0 0 0 0 0 0 0 25 0 1 0 891613704 2400256 275 33554432000 4194304 5714118 140735815302944 18446744073709551615 4228496 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/25072/statm: 586 275 171 372 0 151 0
[startup+0.0503641 s]
/proc/loadavg: 3.86 3.94 3.83 3/179 25072
/proc/meminfo: memFree=14971768/32951124 swapFree=67057920/67111528
[pid=25072] ppid=25070 vsize=136456 CPUtime=0.08 cores=1,3,5,7
/proc/25072/stat : 25072 (pwbo1.1) S 25070 25072 24381 0 -1 4202496 1455 0 0 0 7 1 0 0 25 0 3 0 891613704 139730944 1334 33554432000 4194304 5714118 140735815302944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25072/statm: 34114 1334 181 372 0 33739 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 136456
[startup+0.100355 s]
/proc/loadavg: 3.86 3.94 3.83 3/179 25072
/proc/meminfo: memFree=14971768/32951124 swapFree=67057920/67111528
[pid=25072] ppid=25070 vsize=136456 CPUtime=0.17 cores=1,3,5,7
/proc/25072/stat : 25072 (pwbo1.1) S 25070 25072 24381 0 -1 4202496 1642 0 0 0 16 1 0 0 25 0 3 0 891613704 139730944 1521 33554432000 4194304 5714118 140735815302944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25072/statm: 34114 1521 181 372 0 33739 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 136456
[startup+0.300319 s]
/proc/loadavg: 3.86 3.94 3.83 3/179 25072
/proc/meminfo: memFree=14971768/32951124 swapFree=67057920/67111528
[pid=25072] ppid=25070 vsize=136456 CPUtime=0.58 cores=1,3,5,7
/proc/25072/stat : 25072 (pwbo1.1) S 25070 25072 24381 0 -1 4202496 2204 0 0 0 55 3 0 0 25 0 3 0 891613704 139730944 2083 33554432000 4194304 5714118 140735815302944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25072/statm: 34114 2083 181 372 0 33739 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 136456
[startup+0.700248 s]
/proc/loadavg: 3.86 3.94 3.83 3/179 25072
/proc/meminfo: memFree=14971768/32951124 swapFree=67057920/67111528
[pid=25072] ppid=25070 vsize=136456 CPUtime=1.37 cores=1,3,5,7
/proc/25072/stat : 25072 (pwbo1.1) S 25070 25072 24381 0 -1 4202496 3302 0 0 0 132 5 0 0 25 0 3 0 891613704 139730944 3181 33554432000 4194304 5714118 140735815302944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25072/statm: 34114 3181 181 372 0 33739 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 136456
[startup+1.50111 s]
/proc/loadavg: 3.86 3.94 3.83 6/182 25075
/proc/meminfo: memFree=14952844/32951124 swapFree=67057920/67111528
[pid=25072] ppid=25070 vsize=136456 CPUtime=2.97 cores=1,3,5,7
/proc/25072/stat : 25072 (pwbo1.1) S 25070 25072 24381 0 -1 4202496 5057 0 0 0 288 9 0 0 25 0 3 0 891613704 139730944 4936 33554432000 4194304 5714118 140735815302944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25072/statm: 34114 4936 181 372 0 33739 0
[pid=25072/tid=25074] ppid=25070 vsize=136456 CPUtime=1.47 cores=1,3,5,7
/proc/25072/task/25074/stat : 25074 (pwbo1.1) R 25070 25072 24381 0 -1 4202560 2272 0 0 0 143 4 0 0 18 0 3 0 891613706 139730944 4936 33554432000 4194304 5714118 140735815302944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=25072/tid=25075] ppid=25070 vsize=136456 CPUtime=1.47 cores=1,3,5,7
/proc/25072/task/25075/stat : 25075 (pwbo1.1) R 25070 25072 24381 0 -1 4202560 2280 0 0 0 143 4 0 0 20 0 3 0 891613706 139730944 4936 33554432000 4194304 5714118 140735815302944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 136456
[startup+3.10082 s]
/proc/loadavg: 3.86 3.94 3.83 5/182 25075
/proc/meminfo: memFree=14946272/32951124 swapFree=67057920/67111528
[pid=25072] ppid=25070 vsize=136456 CPUtime=6.18 cores=1,3,5,7
/proc/25072/stat : 25072 (pwbo1.1) S 25070 25072 24381 0 -1 4202496 6513 0 0 0 601 17 0 0 25 0 3 0 891613704 139730944 6392 33554432000 4194304 5714118 140735815302944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25072/statm: 34114 6392 181 372 0 33739 0
[pid=25072/tid=25074] ppid=25070 vsize=136456 CPUtime=3.07 cores=1,3,5,7
/proc/25072/task/25074/stat : 25074 (pwbo1.1) R 25070 25072 24381 0 -1 4202560 2763 0 0 0 299 8 0 0 21 0 3 0 891613706 139730944 6392 33554432000 4194304 5714118 140735815302944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=25072/tid=25075] ppid=25070 vsize=136456 CPUtime=3.07 cores=1,3,5,7
/proc/25072/task/25075/stat : 25075 (pwbo1.1) R 25070 25072 24381 0 -1 4202560 3245 0 0 0 299 8 0 0 25 0 3 0 891613706 139730944 6392 33554432000 4194304 5714118 140735815302944 18446744073709551615 4319232 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 136456
[startup+6.30026 s]
/proc/loadavg: 3.87 3.94 3.83 5/182 25075
/proc/meminfo: memFree=14918928/32951124 swapFree=67057920/67111528
[pid=25072] ppid=25070 vsize=136804 CPUtime=12.57 cores=1,3,5,7
/proc/25072/stat : 25072 (pwbo1.1) S 25070 25072 24381 0 -1 4202496 10857 0 0 0 1230 27 0 0 25 0 3 0 891613704 140087296 10707 33554432000 4194304 5714118 140735815302944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25072/statm: 34201 10707 181 372 0 33826 0
[pid=25072/tid=25074] ppid=25070 vsize=136804 CPUtime=6.27 cores=1,3,5,7
/proc/25072/task/25074/stat : 25074 (pwbo1.1) R 25070 25072 24381 0 -1 4202560 3903 0 0 0 612 15 0 0 25 0 3 0 891613706 140087296 10707 33554432000 4194304 5714118 140735815302944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=25072/tid=25075] ppid=25070 vsize=136804 CPUtime=6.27 cores=1,3,5,7
/proc/25072/task/25075/stat : 25075 (pwbo1.1) R 25070 25072 24381 0 -1 4202560 6449 0 0 0 616 11 0 0 25 0 3 0 891613706 140087296 10707 33554432000 4194304 5714118 140735815302944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 136804
[startup+12.7011 s]
/proc/loadavg: 3.88 3.94 3.83 5/182 25075
/proc/meminfo: memFree=14884844/32951124 swapFree=67057920/67111528
[pid=25072] ppid=25070 vsize=137100 CPUtime=25.37 cores=1,3,5,7
/proc/25072/stat : 25072 (pwbo1.1) S 25070 25072 24381 0 -1 4202496 16059 0 0 0 2491 46 0 0 25 0 3 0 891613704 140390400 15909 33554432000 4194304 5714118 140735815302944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25072/statm: 34275 15909 182 372 0 33900 0
[pid=25072/tid=25074] ppid=25070 vsize=137100 CPUtime=12.67 cores=1,3,5,7
/proc/25072/task/25074/stat : 25074 (pwbo1.1) R 25070 25072 24381 0 -1 4202560 5521 0 0 0 1239 28 0 0 25 0 3 0 891613706 140390400 15909 33554432000 4194304 5714118 140735815302944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=25072/tid=25075] ppid=25070 vsize=137100 CPUtime=12.67 cores=1,3,5,7
/proc/25072/task/25075/stat : 25075 (pwbo1.1) R 25070 25072 24381 0 -1 4202560 10033 0 0 0 1250 17 0 0 25 0 3 0 891613706 140390400 15909 33554432000 4194304 5714118 140735815302944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 137100
[startup+25.5009 s]
/proc/loadavg: 3.91 3.94 3.83 5/182 25075
/proc/meminfo: memFree=14828296/32951124 swapFree=67057920/67111528
[pid=25072] ppid=25070 vsize=137632 CPUtime=50.97 cores=1,3,5,7
/proc/25072/stat : 25072 (pwbo1.1) S 25070 25072 24381 0 -1 4202496 23881 0 0 0 5018 79 0 0 25 0 3 0 891613704 140935168 23731 33554432000 4194304 5714118 140735815302944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25072/statm: 34408 23731 182 372 0 34033 0
[pid=25072/tid=25074] ppid=25070 vsize=137632 CPUtime=25.47 cores=1,3,5,7
/proc/25072/task/25074/stat : 25074 (pwbo1.1) R 25070 25072 24381 0 -1 4202560 11224 0 0 0 2493 54 0 0 25 0 3 0 891613706 140935168 23731 33554432000 4194304 5714118 140735815302944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=25072/tid=25075] ppid=25070 vsize=137632 CPUtime=25.47 cores=1,3,5,7
/proc/25072/task/25075/stat : 25075 (pwbo1.1) R 25070 25072 24381 0 -1 4202560 12152 0 0 0 2523 24 0 0 25 0 3 0 891613706 140935168 23731 33554432000 4194304 5714118 140735815302944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 137632
[startup+51.1003 s]
/proc/loadavg: 3.94 3.95 3.84 5/182 25076
/proc/meminfo: memFree=14737716/32951124 swapFree=67057920/67111528
[pid=25072] ppid=25070 vsize=137856 CPUtime=102.17 cores=1,3,5,7
/proc/25072/stat : 25072 (pwbo1.1) S 25070 25072 24381 0 -1 4202496 32264 0 0 0 10082 135 0 0 25 0 3 0 891613704 141164544 32068 33554432000 4194304 5714118 140735815302944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25072/statm: 34464 32068 182 372 0 34089 0
[pid=25072/tid=25074] ppid=25070 vsize=137856 CPUtime=51.07 cores=1,3,5,7
/proc/25072/task/25074/stat : 25074 (pwbo1.1) R 25070 25072 24381 0 -1 4202560 14820 0 0 0 5011 96 0 0 25 0 3 0 891613706 141164544 32068 33554432000 4194304 5714118 140735815302944 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=25072/tid=25075] ppid=25070 vsize=137856 CPUtime=51.07 cores=1,3,5,7
/proc/25072/task/25075/stat : 25075 (pwbo1.1) R 25070 25072 24381 0 -1 4202560 16939 0 0 0 5069 38 0 0 25 0 3 0 891613706 141164544 32068 33554432000 4194304 5714118 140735815302944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 137856
[startup+102.306 s]
/proc/loadavg: 3.97 3.95 3.84 5/182 25077
/proc/meminfo: memFree=14598688/32951124 swapFree=67057920/67111528
[pid=25072] ppid=25070 vsize=269788 CPUtime=204.59 cores=1,3,5,7
/proc/25072/stat : 25072 (pwbo1.1) S 25070 25072 24381 0 -1 4202496 41831 0 0 0 20199 260 0 0 25 0 3 0 891613704 276262912 41635 33554432000 4194304 5714118 140735815302944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25072/statm: 67447 41635 182 372 0 67072 0
[pid=25072/tid=25074] ppid=25070 vsize=269788 CPUtime=102.28 cores=1,3,5,7
/proc/25072/task/25074/stat : 25074 (pwbo1.1) R 25070 25072 24381 0 -1 4202560 22563 0 0 0 10039 189 0 0 25 0 3 0 891613706 276262912 41635 33554432000 4194304 5714118 140735815302944 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=25072/tid=25075] ppid=25070 vsize=269788 CPUtime=102.28 cores=1,3,5,7
/proc/25072/task/25075/stat : 25075 (pwbo1.1) R 25070 25072 24381 0 -1 4202560 18763 0 0 0 10157 71 0 0 25 0 3 0 891613706 276262912 41635 33554432000 4194304 5714118 140735815302944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.59
Current children cumulated vsize (KiB) 269788
[startup+162.301 s]
/proc/loadavg: 3.99 3.96 3.85 5/182 25079
/proc/meminfo: memFree=14405960/32951124 swapFree=67057920/67111528
[pid=25072] ppid=25070 vsize=335896 CPUtime=324.58 cores=1,3,5,7
/proc/25072/stat : 25072 (pwbo1.1) S 25070 25072 24381 0 -1 4202496 59477 0 0 0 32091 367 0 0 25 0 3 0 891613704 343957504 59264 33554432000 4194304 5714118 140735815302944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25072/statm: 83974 59264 182 372 0 83599 0
[pid=25072/tid=25074] ppid=25070 vsize=335896 CPUtime=162.28 cores=1,3,5,7
/proc/25072/task/25074/stat : 25074 (pwbo1.1) R 25070 25072 24381 0 -1 4202560 35625 0 0 0 15969 259 0 0 25 0 3 0 891613706 343957504 59264 33554432000 4194304 5714118 140735815302944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=25072/tid=25075] ppid=25070 vsize=335896 CPUtime=162.27 cores=1,3,5,7
/proc/25072/task/25075/stat : 25075 (pwbo1.1) R 25070 25072 24381 0 -1 4202560 23347 0 0 0 16120 107 0 0 25 0 3 0 891613706 343957504 59264 33554432000 4194304 5714118 140735815302944 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 324.58
Current children cumulated vsize (KiB) 335896
[startup+222.301 s]
/proc/loadavg: 3.99 3.96 3.85 5/182 25081
/proc/meminfo: memFree=14232092/32951124 swapFree=67057920/67111528
[pid=25072] ppid=25070 vsize=401792 CPUtime=444.59 cores=1,3,5,7
/proc/25072/stat : 25072 (pwbo1.1) S 25070 25072 24381 0 -1 4202496 73552 0 0 0 44004 455 0 0 25 0 3 0 891613704 411435008 73332 33554432000 4194304 5714118 140735815302944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25072/statm: 100448 73332 182 372 0 100073 0
[pid=25072/tid=25074] ppid=25070 vsize=401792 CPUtime=222.28 cores=1,3,5,7
/proc/25072/task/25074/stat : 25074 (pwbo1.1) R 25070 25072 24381 0 -1 4202560 49470 0 0 0 21908 320 0 0 25 0 3 0 891613706 411435008 73332 33554432000 4194304 5714118 140735815302944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=25072/tid=25075] ppid=25070 vsize=401792 CPUtime=222.28 cores=1,3,5,7
/proc/25072/task/25075/stat : 25075 (pwbo1.1) R 25070 25072 24381 0 -1 4202560 23577 0 0 0 22094 134 0 0 25 0 3 0 891613706 411435008 73332 33554432000 4194304 5714118 140735815302944 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 401792
[startup+282.3 s]
/proc/loadavg: 3.99 3.97 3.86 5/182 25082
/proc/meminfo: memFree=14160520/32951124 swapFree=67057920/67111528
[pid=25072] ppid=25070 vsize=401980 CPUtime=564.58 cores=1,3,5,7
/proc/25072/stat : 25072 (pwbo1.1) S 25070 25072 24381 0 -1 4202496 74321 0 0 0 55912 546 0 0 25 0 3 0 891613704 411627520 74101 33554432000 4194304 5714118 140735815302944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25072/statm: 100495 74101 182 372 0 100120 0
[pid=25072/tid=25074] ppid=25070 vsize=401980 CPUtime=282.28 cores=1,3,5,7
/proc/25072/task/25074/stat : 25074 (pwbo1.1) R 25070 25072 24381 0 -1 4202560 50152 0 0 0 27845 383 0 0 25 0 3 0 891613706 411627520 74101 33554432000 4194304 5714118 140735815302944 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=25072/tid=25075] ppid=25070 vsize=401980 CPUtime=282.28 cores=1,3,5,7
/proc/25072/task/25075/stat : 25075 (pwbo1.1) R 25070 25072 24381 0 -1 4202560 23664 0 0 0 28066 162 0 0 25 0 3 0 891613706 411627520 74101 33554432000 4194304 5714118 140735815302944 18446744073709551615 4319206 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 564.58
Current children cumulated vsize (KiB) 401980
[startup+342.301 s]
/proc/loadavg: 4.03 3.99 3.87 5/182 25084
/proc/meminfo: memFree=13999184/32951124 swapFree=67057920/67111528
[pid=25072] ppid=25070 vsize=402120 CPUtime=684.59 cores=1,3,5,7
/proc/25072/stat : 25072 (pwbo1.1) S 25070 25072 24381 0 -1 4202496 92243 0 0 0 67819 640 0 0 25 0 3 0 891613704 411770880 92023 33554432000 4194304 5714118 140735815302944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25072/statm: 100530 92023 182 372 0 100155 0
[pid=25072/tid=25074] ppid=25070 vsize=402120 CPUtime=342.28 cores=1,3,5,7
/proc/25072/task/25074/stat : 25074 (pwbo1.1) R 25070 25072 24381 0 -1 4202560 60971 0 0 0 33790 438 0 0 25 0 3 0 891613706 411770880 92023 33554432000 4194304 5714118 140735815302944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=25072/tid=25075] ppid=25070 vsize=402120 CPUtime=342.28 cores=1,3,5,7
/proc/25072/task/25075/stat : 25075 (pwbo1.1) R 25070 25072 24381 0 -1 4202560 30767 0 0 0 34027 201 0 0 25 0 3 0 891613706 411770880 92023 33554432000 4194304 5714118 140735815302944 18446744073709551615 4300224 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 684.59
Current children cumulated vsize (KiB) 402120
[startup+402.3 s]
/proc/loadavg: 4.01 3.99 3.87 5/182 25085
/proc/meminfo: memFree=13902952/32951124 swapFree=67057920/67111528
[pid=25072] ppid=25070 vsize=467844 CPUtime=804.59 cores=1,3,5,7
/proc/25072/stat : 25072 (pwbo1.1) S 25070 25072 24381 0 -1 4202496 98416 0 0 0 79697 762 0 0 25 0 3 0 891613704 479072256 94715 33554432000 4194304 5714118 140735815302944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25072/statm: 116961 94715 182 372 0 116586 0
[pid=25072/tid=25074] ppid=25070 vsize=467844 CPUtime=402.29 cores=1,3,5,7
/proc/25072/task/25074/stat : 25074 (pwbo1.1) R 25070 25072 24381 0 -1 4202560 67107 0 0 0 39710 519 0 0 25 0 3 0 891613706 479072256 94715 33554432000 4194304 5714118 140735815302944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=25072/tid=25075] ppid=25070 vsize=467844 CPUtime=402.28 cores=1,3,5,7
/proc/25072/task/25075/stat : 25075 (pwbo1.1) R 25070 25072 24381 0 -1 4202560 30804 0 0 0 39985 243 0 0 25 0 3 0 891613706 479072256 94715 33554432000 4194304 5714118 140735815302944 18446744073709551615 4319206 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 804.59
Current children cumulated vsize (KiB) 467844
[startup+462.301 s]
/proc/loadavg: 4.00 3.99 3.88 5/182 25087
/proc/meminfo: memFree=13776204/32951124 swapFree=67057920/67111528
[pid=25072] ppid=25070 vsize=468148 CPUtime=924.59 cores=1,3,5,7
/proc/25072/stat : 25072 (pwbo1.1) S 25070 25072 24381 0 -1 4202496 109150 0 0 0 91593 866 0 0 25 0 3 0 891613704 479383552 105449 33554432000 4194304 5714118 140735815302944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25072/statm: 117037 105449 182 372 0 116662 0
[pid=25072/tid=25074] ppid=25070 vsize=468148 CPUtime=462.28 cores=1,3,5,7
/proc/25072/task/25074/stat : 25074 (pwbo1.1) R 25070 25072 24381 0 -1 4202560 77793 0 0 0 45641 587 0 0 25 0 3 0 891613706 479383552 105449 33554432000 4194304 5714118 140735815302944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=25072/tid=25075] ppid=25070 vsize=468148 CPUtime=462.28 cores=1,3,5,7
/proc/25072/task/25075/stat : 25075 (pwbo1.1) R 25070 25072 24381 0 -1 4202560 30852 0 0 0 45950 278 0 0 25 0 3 0 891613706 479383552 105449 33554432000 4194304 5714118 140735815302944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 924.59
Current children cumulated vsize (KiB) 468148
[startup+522.301 s]
/proc/loadavg: 4.00 3.99 3.89 5/182 25089
/proc/meminfo: memFree=13688896/32951124 swapFree=67057920/67111528
[pid=25072] ppid=25070 vsize=533684 CPUtime=1044.6 cores=1,3,5,7
/proc/25072/stat : 25072 (pwbo1.1) S 25070 25072 24381 0 -1 4202496 113775 0 0 0 103485 975 0 0 25 0 3 0 891613704 546492416 110073 33554432000 4194304 5714118 140735815302944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25072/statm: 133421 110073 182 372 0 133046 0
[pid=25072/tid=25074] ppid=25070 vsize=533684 CPUtime=522.29 cores=1,3,5,7
/proc/25072/task/25074/stat : 25074 (pwbo1.1) R 25070 25072 24381 0 -1 4202560 82413 0 0 0 51574 655 0 0 25 0 3 0 891613706 546492416 110073 33554432000 4194304 5714118 140735815302944 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=25072/tid=25075] ppid=25070 vsize=533684 CPUtime=522.28 cores=1,3,5,7
/proc/25072/task/25075/stat : 25075 (pwbo1.1) R 25070 25072 24381 0 -1 4202560 30857 0 0 0 51909 319 0 0 25 0 3 0 891613706 546492416 110073 33554432000 4194304 5714118 140735815302944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1044.6
Current children cumulated vsize (KiB) 533684
[startup+582.3 s]
/proc/loadavg: 3.92 3.97 3.89 4/181 25090
/proc/meminfo: memFree=13572432/32951124 swapFree=67057920/67111528
[pid=25072] ppid=25070 vsize=533816 CPUtime=1156.94 cores=1,3,5,7
/proc/25072/stat : 25072 (pwbo1.1) S 25070 25072 24381 0 -1 4202496 125380 0 0 0 114609 1085 0 0 25 0 2 0 891613704 546627584 121678 33554432000 4194304 5714118 140735815302944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25072/statm: 133454 121678 183 372 0 133079 0
[pid=25072/tid=25074] ppid=25070 vsize=533816 CPUtime=582.29 cores=1,3,5,7
/proc/25072/task/25074/stat : 25074 (pwbo1.1) R 25070 25072 24381 0 -1 4202560 93995 0 0 0 57499 730 0 0 25 0 2 0 891613706 546627584 121678 33554432000 4194304 5714118 140735815302944 18446744073709551615 4324900 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1156.94
Current children cumulated vsize (KiB) 533816
Solver just ended. Dumping a history of the last processes samples
[startup+583.901 s]
/proc/loadavg: 3.92 3.97 3.89 4/181 25090
/proc/meminfo: memFree=13571440/32951124 swapFree=67057920/67111528
[pid=25072] ppid=25070 vsize=533816 CPUtime=1158.54 cores=1,3,5,7
/proc/25072/stat : 25072 (pwbo1.1) S 25070 25072 24381 0 -1 4202496 125381 0 0 0 114769 1085 0 0 25 0 2 0 891613704 546627584 121679 33554432000 4194304 5714118 140735815302944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25072/statm: 133454 121679 183 372 0 133079 0
[pid=25072/tid=25074] ppid=25070 vsize=533816 CPUtime=583.89 cores=1,3,5,7
/proc/25072/task/25074/stat : 25074 (pwbo1.1) R 25070 25072 24381 0 -1 4202560 93996 0 0 0 57659 730 0 0 25 0 2 0 891613706 546627584 121679 33554432000 4194304 5714118 140735815302944 18446744073709551615 4325013 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1158.54
Current children cumulated vsize (KiB) 533816
[startup+585.501 s]
/proc/loadavg: 3.85 3.95 3.88 4/181 25091
/proc/meminfo: memFree=13568712/32951124 swapFree=67057920/67111528
[pid=25072] ppid=25070 vsize=533816 CPUtime=1160.14 cores=1,3,5,7
/proc/25072/stat : 25072 (pwbo1.1) S 25070 25072 24381 0 -1 4202496 125381 0 0 0 114929 1085 0 0 25 0 2 0 891613704 546627584 121679 33554432000 4194304 5714118 140735815302944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25072/statm: 133454 121679 183 372 0 133079 0
[pid=25072/tid=25074] ppid=25070 vsize=533816 CPUtime=585.49 cores=1,3,5,7
/proc/25072/task/25074/stat : 25074 (pwbo1.1) R 25070 25072 24381 0 -1 4202560 93996 0 0 0 57819 730 0 0 25 0 2 0 891613706 546627584 121679 33554432000 4194304 5714118 140735815302944 18446744073709551615 4324808 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1160.14
Current children cumulated vsize (KiB) 533816
[startup+586.307 s]
/proc/loadavg: 3.85 3.95 3.88 4/181 25091
/proc/meminfo: memFree=13567100/32951124 swapFree=67057920/67111528
[pid=25072] ppid=25070 vsize=533816 CPUtime=1160.95 cores=1,3,5,7
/proc/25072/stat : 25072 (pwbo1.1) S 25070 25072 24381 0 -1 4202496 125381 0 0 0 115010 1085 0 0 25 0 2 0 891613704 546627584 121679 33554432000 4194304 5714118 140735815302944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25072/statm: 133454 121679 183 372 0 133079 0
[pid=25072/tid=25074] ppid=25070 vsize=533816 CPUtime=586.29 cores=1,3,5,7
/proc/25072/task/25074/stat : 25074 (pwbo1.1) R 25070 25072 24381 0 -1 4202560 93996 0 0 0 57899 730 0 0 25 0 2 0 891613706 546627584 121679 33554432000 4194304 5714118 140735815302944 18446744073709551615 4324808 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1160.95
Current children cumulated vsize (KiB) 533816
[startup+586.701 s]
/proc/loadavg: 3.85 3.95 3.88 4/181 25091
/proc/meminfo: memFree=13567100/32951124 swapFree=67057920/67111528
[pid=25072] ppid=25070 vsize=533816 CPUtime=1161.34 cores=1,3,5,7
/proc/25072/stat : 25072 (pwbo1.1) S 25070 25072 24381 0 -1 4202496 125381 0 0 0 115049 1085 0 0 25 0 2 0 891613704 546627584 121679 33554432000 4194304 5714118 140735815302944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/25072/statm: 133454 121679 183 372 0 133079 0
[pid=25072/tid=25074] ppid=25070 vsize=533816 CPUtime=586.69 cores=1,3,5,7
/proc/25072/task/25074/stat : 25074 (pwbo1.1) R 25070 25072 24381 0 -1 4202560 93996 0 0 0 57939 730 0 0 25 0 2 0 891613706 546627584 121679 33554432000 4194304 5714118 140735815302944 18446744073709551615 4324512 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1161.34
Current children cumulated vsize (KiB) 533816
Child status: 0
Real time (s): 586.769
CPU time (s): 1161.42
CPU user time (s): 1150.54
CPU system time (s): 10.8773
CPU usage (%): 197.935
Max. virtual memory (cumulated for all children) (KiB): 533816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1150.54
system time used= 10.8773
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125385
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= 197
involuntary context switches= 7833
runsolver used 0.927858 second user time and 2.27665 second system time
The end