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-3726816-1338660742/watcher-3726816-1338660742 -o /tmp/evaluation-result-3726816-1338660742/solver-3726816-1338660742 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726816-1338660742.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: 2.41 3.52 3.81 3/177 28062
/proc/meminfo: memFree=31491656/32873844 swapFree=7116/7116
[pid=28062] ppid=28060 vsize=162912 CPUtime=0 cores=0,2,4,6
/proc/28062/stat : 28062 (pwbo2.02) S 28060 28062 24826 0 -1 4202496 963 0 0 0 0 0 0 0 20 0 3 0 332201234 166821888 902 33554432000 4194304 5964478 140737412204096 140737412203616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28062/statm: 40728 910 176 433 0 40292 0
[pid=28062/tid=28064] ppid=28060 vsize=162912 CPUtime=0 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 3 0 332201235 166821888 929 33554432000 4194304 5964478 140737412204096 140700697779160 5136490 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=162912 CPUtime=0 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 3 0 332201235 166821888 934 33554432000 4194304 5964478 140737412204096 140700687289304 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[startup+0.0727231 s]
/proc/loadavg: 2.41 3.52 3.81 3/177 28062
/proc/meminfo: memFree=31491656/32873844 swapFree=7116/7116
[pid=28062] ppid=28060 vsize=163476 CPUtime=0.12 cores=0,2,4,6
/proc/28062/stat : 28062 (pwbo2.02) S 28060 28062 24826 0 -1 4202496 1593 0 0 0 12 0 0 0 20 0 3 0 332201234 167399424 1532 33554432000 4194304 5964478 140737412204096 140737412203616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28062/statm: 40869 1532 204 433 0 40433 0
[pid=28062/tid=28064] ppid=28060 vsize=163476 CPUtime=0.05 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 300 0 0 0 5 0 0 0 20 0 3 0 332201235 167399424 1532 33554432000 4194304 5964478 140737412204096 140700697778632 4389110 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=163476 CPUtime=0.05 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 373 0 0 0 5 0 0 0 20 0 3 0 332201235 167399424 1532 33554432000 4194304 5964478 140737412204096 140700687288632 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 163476
[startup+0.100299 s]
/proc/loadavg: 2.41 3.52 3.81 3/177 28062
/proc/meminfo: memFree=31491656/32873844 swapFree=7116/7116
[pid=28062] ppid=28060 vsize=163476 CPUtime=0.18 cores=0,2,4,6
/proc/28062/stat : 28062 (pwbo2.02) S 28060 28062 24826 0 -1 4202496 1645 0 0 0 18 0 0 0 20 0 3 0 332201234 167399424 1584 33554432000 4194304 5964478 140737412204096 140737412203616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28062/statm: 40869 1584 204 433 0 40433 0
[pid=28062/tid=28064] ppid=28060 vsize=163476 CPUtime=0.08 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 300 0 0 0 8 0 0 0 20 0 3 0 332201235 167399424 1584 33554432000 4194304 5964478 140737412204096 140700697778632 4391500 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=163476 CPUtime=0.08 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 425 0 0 0 8 0 0 0 20 0 3 0 332201235 167399424 1584 33554432000 4194304 5964478 140737412204096 140700687288632 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 163476
[startup+0.300262 s]
/proc/loadavg: 2.41 3.52 3.81 3/177 28062
/proc/meminfo: memFree=31491656/32873844 swapFree=7116/7116
[pid=28062] ppid=28060 vsize=163476 CPUtime=0.58 cores=0,2,4,6
/proc/28062/stat : 28062 (pwbo2.02) S 28060 28062 24826 0 -1 4202496 2299 0 0 0 58 0 0 0 20 0 3 0 332201234 167399424 2238 33554432000 4194304 5964478 140737412204096 140737412203616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28062/statm: 40869 2238 204 433 0 40433 0
[pid=28062/tid=28064] ppid=28060 vsize=163476 CPUtime=0.28 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 658 0 0 0 28 0 0 0 20 0 3 0 332201235 167399424 2238 33554432000 4194304 5964478 140737412204096 140700697778168 4403557 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=163476 CPUtime=0.28 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 721 0 0 0 28 0 0 0 20 0 3 0 332201235 167399424 2239 33554432000 4194304 5964478 140737412204096 140700687288632 4388228 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 163476
[startup+0.700263 s]
/proc/loadavg: 2.41 3.52 3.81 3/177 28062
/proc/meminfo: memFree=31491656/32873844 swapFree=7116/7116
[pid=28062] ppid=28060 vsize=163476 CPUtime=1.38 cores=0,2,4,6
/proc/28062/stat : 28062 (pwbo2.02) S 28060 28062 24826 0 -1 4202496 3033 0 0 0 138 0 0 0 20 0 3 0 332201234 167399424 2972 33554432000 4194304 5964478 140737412204096 140737412203616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28062/statm: 40869 2972 204 433 0 40433 0
[pid=28062/tid=28064] ppid=28060 vsize=163476 CPUtime=0.68 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 875 0 0 0 68 0 0 0 20 0 3 0 332201235 167399424 2972 33554432000 4194304 5964478 140737412204096 140700697777976 4400432 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=163476 CPUtime=0.68 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 1238 0 0 0 68 0 0 0 20 0 3 0 332201235 167399424 2972 33554432000 4194304 5964478 140737412204096 140700687288632 4400091 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 163476
[startup+1.50037 s]
/proc/loadavg: 2.41 3.52 3.81 5/181 28073
/proc/meminfo: memFree=31458732/32873844 swapFree=7116/7116
[pid=28062] ppid=28060 vsize=163620 CPUtime=2.98 cores=0,2,4,6
/proc/28062/stat : 28062 (pwbo2.02) S 28060 28062 24826 0 -1 4202496 4609 0 0 0 297 1 0 0 20 0 3 0 332201234 167546880 4522 33554432000 4194304 5964478 140737412204096 140737412203616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28062/statm: 40905 4522 204 433 0 40469 0
[pid=28062/tid=28064] ppid=28060 vsize=163620 CPUtime=1.48 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 1586 0 0 0 148 0 0 0 20 0 3 0 332201235 167546880 4522 33554432000 4194304 5964478 140737412204096 140700697779128 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=163620 CPUtime=1.48 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 2103 0 0 0 148 0 0 0 20 0 3 0 332201235 167546880 4522 33554432000 4194304 5964478 140737412204096 140700687288632 4400109 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 163620
[startup+3.10036 s]
/proc/loadavg: 2.54 3.53 3.81 5/181 28073
/proc/meminfo: memFree=31446044/32873844 swapFree=7116/7116
[pid=28062] ppid=28060 vsize=163620 CPUtime=6.17 cores=0,2,4,6
/proc/28062/stat : 28062 (pwbo2.02) S 28060 28062 24826 0 -1 4202496 5467 0 0 0 616 1 0 0 20 0 3 0 332201234 167546880 5380 33554432000 4194304 5964478 140737412204096 140737412203616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28062/statm: 40905 5380 204 433 0 40469 0
[pid=28062/tid=28064] ppid=28060 vsize=163620 CPUtime=3.08 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 1901 0 0 0 308 0 0 0 20 0 3 0 332201235 167546880 5380 33554432000 4194304 5964478 140737412204096 140700697777976 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=163620 CPUtime=3.08 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 2646 0 0 0 306 2 0 0 20 0 3 0 332201235 167546880 5380 33554432000 4194304 5964478 140737412204096 140700687288632 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 163620
[startup+6.30038 s]
/proc/loadavg: 2.54 3.53 3.81 5/181 28073
/proc/meminfo: memFree=31422112/32873844 swapFree=7116/7116
[pid=28062] ppid=28060 vsize=163908 CPUtime=12.58 cores=0,2,4,6
/proc/28062/stat : 28062 (pwbo2.02) S 28060 28062 24826 0 -1 4202496 7919 0 0 0 1256 2 0 0 20 0 3 0 332201234 167841792 7832 33554432000 4194304 5964478 140737412204096 140737412203616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28062/statm: 40977 7832 204 433 0 40541 0
[pid=28062/tid=28064] ppid=28060 vsize=163908 CPUtime=6.28 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 3378 0 0 0 628 0 0 0 20 0 3 0 332201235 167841792 7832 33554432000 4194304 5964478 140737412204096 140700697777976 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=163908 CPUtime=6.28 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 3621 0 0 0 626 2 0 0 20 0 3 0 332201235 167841792 7832 33554432000 4194304 5964478 140737412204096 140700687288680 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 163908
[startup+12.7004 s]
/proc/loadavg: 2.76 3.54 3.81 5/180 28073
/proc/meminfo: memFree=31376048/32873844 swapFree=7116/7116
[pid=28062] ppid=28060 vsize=164016 CPUtime=25.37 cores=0,2,4,6
/proc/28062/stat : 28062 (pwbo2.02) S 28060 28062 24826 0 -1 4202496 13121 0 0 0 2532 5 0 0 20 0 3 0 332201234 167952384 13309 33554432000 4194304 5964478 140737412204096 140737412203616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28062/statm: 41004 13309 204 433 0 40568 0
[pid=28062/tid=28064] ppid=28060 vsize=164016 CPUtime=12.67 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 5872 0 0 0 1264 3 0 0 20 0 3 0 332201235 167952384 13309 33554432000 4194304 5964478 140737412204096 140700697777976 4400091 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=164016 CPUtime=12.68 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 6329 0 0 0 1265 3 0 0 20 0 3 0 332201235 167952384 13309 33554432000 4194304 5964478 140737412204096 140700687288632 4400091 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 164016
[startup+25.5004 s]
/proc/loadavg: 3.03 3.57 3.82 5/181 28074
/proc/meminfo: memFree=31332892/32873844 swapFree=7116/7116
[pid=28062] ppid=28060 vsize=163932 CPUtime=50.95 cores=0,2,4,6
/proc/28062/stat : 28062 (pwbo2.02) S 28060 28062 24826 0 -1 4202496 18187 0 0 0 5088 7 0 0 20 0 3 0 332201234 167866368 18348 33554432000 4194304 5964478 140737412204096 140737412203616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28062/statm: 40983 18348 204 433 0 40547 0
[pid=28062/tid=28064] ppid=28060 vsize=163932 CPUtime=25.47 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 7103 0 0 0 2544 3 0 0 20 0 3 0 332201235 167866368 18348 33554432000 4194304 5964478 140737412204096 140700697779128 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=163932 CPUtime=25.47 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 10164 0 0 0 2542 5 0 0 20 0 3 0 332201235 167866368 18348 33554432000 4194304 5964478 140737412204096 140700687288632 18446744073699066235 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 163932
[startup+51.1003 s]
/proc/loadavg: 3.36 3.61 3.82 5/181 28074
/proc/meminfo: memFree=31243192/32873844 swapFree=7116/7116
[pid=28062] ppid=28060 vsize=164844 CPUtime=102.11 cores=0,2,4,6
/proc/28062/stat : 28062 (pwbo2.02) S 28060 28062 24826 0 -1 4202496 29748 0 0 0 10176 35 0 0 20 0 3 0 332201234 168800256 29890 33554432000 4194304 5964478 140737412204096 140737412203616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28062/statm: 41211 29890 204 433 0 40775 0
[pid=28062/tid=28064] ppid=28060 vsize=164844 CPUtime=51.07 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 12105 0 0 0 5099 8 0 0 20 0 3 0 332201235 168800256 29890 33554432000 4194304 5964478 140737412204096 140700697777976 4399986 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=164844 CPUtime=51.05 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 16723 0 0 0 5077 28 0 0 20 0 3 0 332201235 168800256 29890 33554432000 4194304 5964478 140737412204096 140700687288632 4399938 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 164844
[startup+102.306 s]
/proc/loadavg: 3.74 3.67 3.83 5/181 28074
/proc/meminfo: memFree=31148656/32873844 swapFree=7116/7116
[pid=28062] ppid=28060 vsize=296712 CPUtime=204.51 cores=0,2,4,6
/proc/28062/stat : 28062 (pwbo2.02) S 28060 28062 24826 0 -1 4202496 40102 0 0 0 20384 67 0 0 20 0 3 0 332201234 303833088 41955 33554432000 4194304 5964478 140737412204096 140737412203616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28062/statm: 74178 41955 204 433 0 73742 0
[pid=28062/tid=28064] ppid=28060 vsize=296712 CPUtime=102.27 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 19266 0 0 0 10199 28 0 0 20 0 3 0 332201235 303833088 41955 33554432000 4194304 5964478 140737412204096 140700697778168 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=296712 CPUtime=102.25 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 19916 0 0 0 10183 42 0 0 20 0 3 0 332201235 303833088 41955 33554432000 4194304 5964478 140737412204096 140700687288632 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 204.51
Current children cumulated vsize (KiB) 296712
[startup+162.3 s]
/proc/loadavg: 3.89 3.72 3.83 5/181 28074
/proc/meminfo: memFree=31002984/32873844 swapFree=7116/7116
[pid=28062] ppid=28060 vsize=296900 CPUtime=324.47 cores=0,2,4,6
/proc/28062/stat : 28062 (pwbo2.02) S 28060 28062 24826 0 -1 4202496 55738 0 0 0 32339 108 0 0 20 0 3 0 332201234 304025600 57591 33554432000 4194304 5964478 140737412204096 140737412203616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28062/statm: 74225 57591 204 433 0 73789 0
[pid=28062/tid=28064] ppid=28060 vsize=296900 CPUtime=162.27 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 26713 0 0 0 16184 43 0 0 20 0 3 0 332201235 304025600 57591 33554432000 4194304 5964478 140737412204096 140700697778168 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=296900 CPUtime=162.25 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 28106 0 0 0 16155 70 0 0 20 0 3 0 332201235 304025600 57592 33554432000 4194304 5964478 140737412204096 140700687288632 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 324.47
Current children cumulated vsize (KiB) 296900
[startup+222.3 s]
/proc/loadavg: 3.96 3.77 3.84 5/181 28074
/proc/meminfo: memFree=30887088/32873844 swapFree=7116/7116
[pid=28062] ppid=28060 vsize=297524 CPUtime=444.45 cores=0,2,4,6
/proc/28062/stat : 28062 (pwbo2.02) S 28060 28062 24826 0 -1 4202496 60498 0 0 0 44331 114 0 0 20 0 3 0 332201234 304664576 62347 33554432000 4194304 5964478 140737412204096 140737412203616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28062/statm: 74381 62347 204 433 0 73945 0
[pid=28062/tid=28064] ppid=28060 vsize=297524 CPUtime=222.27 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 30451 0 0 0 22177 50 0 0 20 0 3 0 332201235 304664576 62347 33554432000 4194304 5964478 140737412204096 140700697778040 4400516 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=297524 CPUtime=222.25 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 29127 0 0 0 22153 72 0 0 20 0 3 0 332201235 304664576 62347 33554432000 4194304 5964478 140737412204096 140700687288632 4400067 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 444.45
Current children cumulated vsize (KiB) 297524
[startup+282.3 s]
/proc/loadavg: 3.98 3.81 3.85 5/181 28074
/proc/meminfo: memFree=30768708/32873844 swapFree=7116/7116
[pid=28062] ppid=28060 vsize=429964 CPUtime=564.38 cores=0,2,4,6
/proc/28062/stat : 28062 (pwbo2.02) S 28060 28062 24826 0 -1 4202496 82660 0 0 0 56280 158 0 0 20 0 3 0 332201234 440283136 85229 33554432000 4194304 5964478 140737412204096 140737412203616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28062/statm: 107491 85229 204 433 0 107055 0
[pid=28062/tid=28064] ppid=28060 vsize=429964 CPUtime=282.23 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 36828 0 0 0 28165 58 0 0 20 0 3 0 332201235 440283136 85229 33554432000 4194304 5964478 140737412204096 140700697777976 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=429964 CPUtime=282.24 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 44912 0 0 0 28115 109 0 0 20 0 3 0 332201235 440283136 85229 33554432000 4194304 5964478 140737412204096 140700687288632 4400097 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 564.38
Current children cumulated vsize (KiB) 429964
[startup+342.3 s]
/proc/loadavg: 3.99 3.84 3.85 5/181 28075
/proc/meminfo: memFree=30625652/32873844 swapFree=7116/7116
[pid=28062] ppid=28060 vsize=430132 CPUtime=684.31 cores=0,2,4,6
/proc/28062/stat : 28062 (pwbo2.02) S 28060 28062 24826 0 -1 4202496 89197 0 0 0 68265 166 0 0 20 0 3 0 332201234 440455168 91882 33554432000 4194304 5964478 140737412204096 140737412203616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28062/statm: 107533 91882 204 433 0 107097 0
[pid=28062/tid=28064] ppid=28060 vsize=430132 CPUtime=342.21 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 43316 0 0 0 34154 67 0 0 20 0 3 0 332201235 440455168 91882 33554432000 4194304 5964478 140737412204096 140700697778168 4400109 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=430132 CPUtime=342.22 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 44961 0 0 0 34112 110 0 0 20 0 3 0 332201235 440455168 91882 33554432000 4194304 5964478 140737412204096 140700687288392 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 684.31
Current children cumulated vsize (KiB) 430132
[startup+402.3 s]
/proc/loadavg: 3.99 3.87 3.86 5/181 28075
/proc/meminfo: memFree=30531328/32873844 swapFree=7116/7116
[pid=28062] ppid=28060 vsize=495828 CPUtime=804.27 cores=0,2,4,6
/proc/28062/stat : 28062 (pwbo2.02) S 28060 28062 24826 0 -1 4202496 99553 0 0 0 80250 177 0 0 20 0 3 0 332201234 507727872 102227 33554432000 4194304 5964478 140737412204096 140737412203616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28062/statm: 123957 102227 204 433 0 123521 0
[pid=28062/tid=28064] ppid=28060 vsize=495828 CPUtime=402.21 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 49095 0 0 0 40146 75 0 0 20 0 3 0 332201235 507727872 102227 33554432000 4194304 5964478 140737412204096 140700697778168 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=495828 CPUtime=402.21 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 49538 0 0 0 40106 115 0 0 20 0 3 0 332201235 507727872 102227 33554432000 4194304 5964478 140737412204096 140700687288632 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 804.27
Current children cumulated vsize (KiB) 495828
Solver just ended. Dumping a history of the last processes samples
[startup+409.5 s]
/proc/loadavg: 3.99 3.87 3.86 5/181 28075
/proc/meminfo: memFree=30529468/32873844 swapFree=7116/7116
[pid=28062] ppid=28060 vsize=495828 CPUtime=818.67 cores=0,2,4,6
/proc/28062/stat : 28062 (pwbo2.02) S 28060 28062 24826 0 -1 4202496 99904 0 0 0 81689 178 0 0 20 0 3 0 332201234 507727872 102578 33554432000 4194304 5964478 140737412204096 140737412203616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28062/statm: 123957 102578 204 433 0 123521 0
[pid=28062/tid=28064] ppid=28060 vsize=495828 CPUtime=409.41 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 49437 0 0 0 40865 76 0 0 20 0 3 0 332201235 507727872 102578 33554432000 4194304 5964478 140737412204096 140700697778216 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=495828 CPUtime=409.41 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 49547 0 0 0 40826 115 0 0 20 0 3 0 332201235 507727872 102578 33554432000 4194304 5964478 140737412204096 140700687288632 4400056 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 818.67
Current children cumulated vsize (KiB) 495828
[startup+422.3 s]
/proc/loadavg: 3.99 3.88 3.86 5/181 28075
/proc/meminfo: memFree=30510992/32873844 swapFree=7116/7116
[pid=28062] ppid=28060 vsize=496796 CPUtime=844.28 cores=0,2,4,6
/proc/28062/stat : 28062 (pwbo2.02) S 28060 28062 24826 0 -1 4202496 102991 0 0 0 84243 185 0 0 20 0 3 0 332201234 508719104 105664 33554432000 4194304 5964478 140737412204096 140737412203616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28062/statm: 124199 105664 204 433 0 123763 0
[pid=28062/tid=28064] ppid=28060 vsize=496796 CPUtime=422.22 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 52523 0 0 0 42139 83 0 0 20 0 3 0 332201235 508719104 105664 33554432000 4194304 5964478 140737412204096 140700697778168 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=496796 CPUtime=422.22 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 49548 0 0 0 42107 115 0 0 20 0 3 0 332201235 508719104 105664 33554432000 4194304 5964478 140737412204096 140700687288632 4399915 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 844.28
Current children cumulated vsize (KiB) 496796
[startup+425.5 s]
/proc/loadavg: 3.99 3.88 3.86 5/181 28075
/proc/meminfo: memFree=30506900/32873844 swapFree=7116/7116
[pid=28062] ppid=28060 vsize=496796 CPUtime=850.67 cores=0,2,4,6
/proc/28062/stat : 28062 (pwbo2.02) S 28060 28062 24826 0 -1 4202496 103787 0 0 0 84880 187 0 0 20 0 3 0 332201234 508719104 106460 33554432000 4194304 5964478 140737412204096 140737412203616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28062/statm: 124199 106460 204 433 0 123763 0
[pid=28062/tid=28064] ppid=28060 vsize=496796 CPUtime=425.41 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 53319 0 0 0 42456 85 0 0 20 0 3 0 332201235 508719104 106460 33554432000 4194304 5964478 140737412204096 140700697778216 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=496796 CPUtime=425.41 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 49548 0 0 0 42426 115 0 0 20 0 3 0 332201235 508719104 106460 33554432000 4194304 5964478 140737412204096 140700687288632 4400097 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 850.67
Current children cumulated vsize (KiB) 496796
[startup+428.7 s]
/proc/loadavg: 3.99 3.88 3.86 5/181 28075
/proc/meminfo: memFree=30502188/32873844 swapFree=7116/7116
[pid=28062] ppid=28060 vsize=496796 CPUtime=857.06 cores=0,2,4,6
/proc/28062/stat : 28062 (pwbo2.02) S 28060 28062 24826 0 -1 4202496 104518 0 0 0 85517 189 0 0 20 0 3 0 332201234 508719104 107191 33554432000 4194304 5964478 140737412204096 140737412203616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28062/statm: 124199 107191 204 433 0 123763 0
[pid=28062/tid=28064] ppid=28060 vsize=496796 CPUtime=428.61 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 54042 0 0 0 42774 87 0 0 20 0 3 0 332201235 508719104 107191 33554432000 4194304 5964478 140737412204096 140700697778168 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=496796 CPUtime=428.61 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 49556 0 0 0 42746 115 0 0 20 0 3 0 332201235 508719104 107191 33554432000 4194304 5964478 140737412204096 140700687288632 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 857.06
Current children cumulated vsize (KiB) 496796
[startup+429.5 s]
/proc/loadavg: 3.99 3.88 3.86 5/181 28075
/proc/meminfo: memFree=30499632/32873844 swapFree=7116/7116
[pid=28062] ppid=28060 vsize=496796 CPUtime=858.66 cores=0,2,4,6
/proc/28062/stat : 28062 (pwbo2.02) S 28060 28062 24826 0 -1 4202496 104706 0 0 0 85677 189 0 0 20 0 3 0 332201234 508719104 107379 33554432000 4194304 5964478 140737412204096 140737412203616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28062/statm: 124199 107379 204 433 0 123763 0
[pid=28062/tid=28064] ppid=28060 vsize=496796 CPUtime=429.41 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 54230 0 0 0 42854 87 0 0 20 0 3 0 332201235 508719104 107379 33554432000 4194304 5964478 140737412204096 140700697778168 4400109 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=496796 CPUtime=429.41 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 49556 0 0 0 42826 115 0 0 20 0 3 0 332201235 508719104 107379 33554432000 4194304 5964478 140737412204096 140700687288632 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 858.66
Current children cumulated vsize (KiB) 496796
[startup+429.9 s]
/proc/loadavg: 3.99 3.88 3.86 5/181 28075
/proc/meminfo: memFree=30499632/32873844 swapFree=7116/7116
[pid=28062] ppid=28060 vsize=496796 CPUtime=859.46 cores=0,2,4,6
/proc/28062/stat : 28062 (pwbo2.02) S 28060 28062 24826 0 -1 4202496 104790 0 0 0 85757 189 0 0 20 0 3 0 332201234 508719104 107463 33554432000 4194304 5964478 140737412204096 140737412203616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28062/statm: 124199 107463 204 433 0 123763 0
[pid=28062/tid=28064] ppid=28060 vsize=496796 CPUtime=429.81 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 54314 0 0 0 42894 87 0 0 20 0 3 0 332201235 508719104 107463 33554432000 4194304 5964478 140737412204096 140700697778168 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=496796 CPUtime=429.81 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 49556 0 0 0 42866 115 0 0 20 0 3 0 332201235 508719104 107463 33554432000 4194304 5964478 140737412204096 140700687288632 4400067 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 859.46
Current children cumulated vsize (KiB) 496796
[startup+430.106 s]
/proc/loadavg: 3.99 3.88 3.86 5/181 28075
/proc/meminfo: memFree=30497772/32873844 swapFree=7116/7116
[pid=28062] ppid=28060 vsize=496796 CPUtime=859.87 cores=0,2,4,6
/proc/28062/stat : 28062 (pwbo2.02) S 28060 28062 24826 0 -1 4202496 104862 0 0 0 85798 189 0 0 20 0 3 0 332201234 508719104 107535 33554432000 4194304 5964478 140737412204096 140737412203616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28062/statm: 124199 107535 204 433 0 123763 0
[pid=28062/tid=28064] ppid=28060 vsize=496796 CPUtime=430.02 cores=0,2,4,6
/proc/28062/task/28064/stat : 28064 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 54386 0 0 0 42915 87 0 0 20 0 3 0 332201235 508719104 107535 33554432000 4194304 5964478 140737412204096 140700697778168 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=496796 CPUtime=430.02 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (pwbo2.02) R 28060 28062 24826 0 -1 4202560 49556 0 0 0 42887 115 0 0 20 0 3 0 332201235 508719104 107535 33554432000 4194304 5964478 140737412204096 140700687288632 4400091 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 859.87
Current children cumulated vsize (KiB) 496796
[startup+430.2 s]
/proc/loadavg: 3.99 3.88 3.86 5/181 28075
/proc/meminfo: memFree=30497772/32873844 swapFree=7116/7116
[pid=28062] ppid=28060 vsize=0 CPUtime=860.15 cores=0,2,4,6
/proc/28062/stat : 28062 (pwbo2.02) Z 28060 28062 24826 0 -1 4203532 104892 0 0 0 85818 197 0 0 20 0 2 0 332201234 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28062/statm: 0 0 0 0 0 0 0
[pid=28062/tid=28065] ppid=28060 vsize=0 CPUtime=430.11 cores=0,2,4,6
/proc/28062/task/28065/stat : 28065 (pwbo2.02) R 28060 28062 24826 0 -1 4202564 49561 0 0 0 42895 116 0 0 20 0 2 0 332201235 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 860.15
Current children cumulated vsize (KiB) 0
Child status: 255
Real time (s): 430.201
CPU time (s): 860.245
CPU user time (s): 858.194
CPU system time (s): 2.05169
CPU usage (%): 199.964
Max. virtual memory (cumulated for all children) (KiB): 496796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 858.194
system time used= 2.05169
maximum resident set size= 430260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104892
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= 399
involuntary context switches= 903
runsolver used 0.72289 second user time and 1.78473 second system time
The end