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-3725885-1338651688/watcher-3725885-1338651688 -o /tmp/evaluation-result-3725885-1338651688/solver-3725885-1338651688 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725885-1338651688.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.97 2.79 1.94 4/178 26484
/proc/meminfo: memFree=31401424/32873844 swapFree=7116/7116
[pid=26484] ppid=26482 vsize=4776 CPUtime=0 cores=0,2,4,6
/proc/26484/stat : 26484 (pwbo2.02) R 26482 26484 24826 0 -1 4202496 521 0 0 0 0 0 0 0 20 0 1 0 331295781 4890624 463 33554432000 4194304 5964478 140736677903136 140736677902392 4297174 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/26484/statm: 1194 473 165 433 0 758 0
[startup+0.0373529 s]
/proc/loadavg: 3.97 2.79 1.94 4/178 26484
/proc/meminfo: memFree=31401424/32873844 swapFree=7116/7116
[pid=26484] ppid=26482 vsize=165952 CPUtime=0.05 cores=0,2,4,6
/proc/26484/stat : 26484 (pwbo2.02) S 26482 26484 24826 0 -1 4202496 2696 0 0 0 5 0 0 0 20 0 3 0 331295781 169934848 3114 33554432000 4194304 5964478 140736677903136 140736677902656 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26484/statm: 41488 3114 202 433 0 41052 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 165952
[startup+0.100209 s]
/proc/loadavg: 3.97 2.79 1.94 4/178 26484
/proc/meminfo: memFree=31401424/32873844 swapFree=7116/7116
[pid=26484] ppid=26482 vsize=165952 CPUtime=0.17 cores=0,2,4,6
/proc/26484/stat : 26484 (pwbo2.02) S 26482 26484 24826 0 -1 4202496 3207 0 0 0 17 0 0 0 20 0 3 0 331295781 169934848 3625 33554432000 4194304 5964478 140736677903136 140736677902656 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26484/statm: 41488 3625 203 433 0 41052 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 165952
[startup+0.300147 s]
/proc/loadavg: 3.97 2.79 1.94 4/178 26484
/proc/meminfo: memFree=31401424/32873844 swapFree=7116/7116
[pid=26484] ppid=26482 vsize=165952 CPUtime=0.57 cores=0,2,4,6
/proc/26484/stat : 26484 (pwbo2.02) S 26482 26484 24826 0 -1 4202496 3684 0 0 0 57 0 0 0 20 0 3 0 331295781 169934848 4102 33554432000 4194304 5964478 140736677903136 140736677902656 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26484/statm: 41488 4102 203 433 0 41052 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 165952
[startup+0.700137 s]
/proc/loadavg: 3.97 2.79 1.94 4/178 26484
/proc/meminfo: memFree=31401424/32873844 swapFree=7116/7116
[pid=26484] ppid=26482 vsize=165952 CPUtime=1.37 cores=0,2,4,6
/proc/26484/stat : 26484 (pwbo2.02) S 26482 26484 24826 0 -1 4202496 4421 0 0 0 137 0 0 0 20 0 3 0 331295781 169934848 4839 33554432000 4194304 5964478 140736677903136 140736677902656 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26484/statm: 41488 4840 203 433 0 41052 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 165952
[startup+1.50028 s]
/proc/loadavg: 3.97 2.79 1.94 5/181 26487
/proc/meminfo: memFree=31380768/32873844 swapFree=7116/7116
[pid=26484] ppid=26482 vsize=166096 CPUtime=2.97 cores=0,2,4,6
/proc/26484/stat : 26484 (pwbo2.02) S 26482 26484 24826 0 -1 4202496 5718 0 0 0 296 1 0 0 20 0 3 0 331295781 170082304 6136 33554432000 4194304 5964478 140736677903136 140736677902656 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26484/statm: 41524 6136 203 433 0 41088 0
[pid=26484/tid=26486] ppid=26482 vsize=166096 CPUtime=1.47 cores=0,2,4,6
/proc/26484/task/26486/stat : 26486 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 2545 0 0 0 147 0 0 0 20 0 3 0 331295781 170082304 6136 33554432000 4194304 5964478 140736677903136 140623176787960 4389100 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26484/tid=26487] ppid=26482 vsize=166096 CPUtime=1.48 cores=0,2,4,6
/proc/26484/task/26487/stat : 26487 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 2257 0 0 0 148 0 0 0 20 0 3 0 331295781 170082304 6136 33554432000 4194304 5964478 140736677903136 140623166298424 4373423 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 166096
[startup+3.10028 s]
/proc/loadavg: 3.97 2.79 1.94 5/181 26487
/proc/meminfo: memFree=31374412/32873844 swapFree=7116/7116
[pid=26484] ppid=26482 vsize=165952 CPUtime=6.17 cores=0,2,4,6
/proc/26484/stat : 26484 (pwbo2.02) S 26482 26484 24826 0 -1 4202496 7556 0 0 0 615 2 0 0 20 0 3 0 331295781 169934848 7947 33554432000 4194304 5964478 140736677903136 140736677902656 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26484/statm: 41488 7947 203 433 0 41052 0
[pid=26484/tid=26486] ppid=26482 vsize=165952 CPUtime=3.07 cores=0,2,4,6
/proc/26484/task/26486/stat : 26486 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 3407 0 0 0 307 0 0 0 20 0 3 0 331295781 169934848 7947 33554432000 4194304 5964478 140736677903136 140623176788504 4222320 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26484/tid=26487] ppid=26482 vsize=165952 CPUtime=3.08 cores=0,2,4,6
/proc/26484/task/26487/stat : 26487 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 3233 0 0 0 306 2 0 0 20 0 3 0 331295781 169934848 7947 33554432000 4194304 5964478 140736677903136 140623166298472 4399941 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 165952
[startup+6.3003 s]
/proc/loadavg: 3.97 2.81 1.95 5/181 26487
/proc/meminfo: memFree=31362648/32873844 swapFree=7116/7116
[pid=26484] ppid=26482 vsize=166492 CPUtime=12.57 cores=0,2,4,6
/proc/26484/stat : 26484 (pwbo2.02) S 26482 26484 24826 0 -1 4202496 10508 0 0 0 1253 4 0 0 20 0 3 0 331295781 170487808 10899 33554432000 4194304 5964478 140736677903136 140736677902656 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26484/statm: 41623 10899 203 433 0 41187 0
[pid=26484/tid=26486] ppid=26482 vsize=166492 CPUtime=6.27 cores=0,2,4,6
/proc/26484/task/26486/stat : 26486 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 4335 0 0 0 625 2 0 0 20 0 3 0 331295781 170487808 10899 33554432000 4194304 5964478 140736677903136 140623176787960 4222308 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26484/tid=26487] ppid=26482 vsize=166492 CPUtime=6.28 cores=0,2,4,6
/proc/26484/task/26487/stat : 26487 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 5257 0 0 0 625 3 0 0 20 0 3 0 331295781 170487808 10899 33554432000 4194304 5964478 140736677903136 140623166298424 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 166492
[startup+12.7003 s]
/proc/loadavg: 3.97 2.83 1.96 5/181 26487
/proc/meminfo: memFree=31343808/32873844 swapFree=7116/7116
[pid=26484] ppid=26482 vsize=166600 CPUtime=25.37 cores=0,2,4,6
/proc/26484/stat : 26484 (pwbo2.02) S 26482 26484 24826 0 -1 4202496 14493 0 0 0 2530 7 0 0 20 0 3 0 331295781 170598400 14884 33554432000 4194304 5964478 140736677903136 140736677902656 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26484/statm: 41650 14884 203 433 0 41214 0
[pid=26484/tid=26486] ppid=26482 vsize=166600 CPUtime=12.68 cores=0,2,4,6
/proc/26484/task/26486/stat : 26486 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 7969 0 0 0 1263 5 0 0 20 0 3 0 331295781 170598400 14884 33554432000 4194304 5964478 140736677903136 140623176787960 4400091 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26484/tid=26487] ppid=26482 vsize=166600 CPUtime=12.68 cores=0,2,4,6
/proc/26484/task/26487/stat : 26487 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 5608 0 0 0 1265 3 0 0 20 0 3 0 331295781 170598400 14884 33554432000 4194304 5964478 140736677903136 140623166298568 4399915 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 166600
[startup+25.5003 s]
/proc/loadavg: 3.98 2.89 1.99 5/181 26487
/proc/meminfo: memFree=31313544/32873844 swapFree=7116/7116
[pid=26484] ppid=26482 vsize=166760 CPUtime=50.96 cores=0,2,4,6
/proc/26484/stat : 26484 (pwbo2.02) S 26482 26484 24826 0 -1 4202496 21360 0 0 0 5085 11 0 0 20 0 3 0 331295781 170762240 22046 33554432000 4194304 5964478 140736677903136 140736677902656 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26484/statm: 41690 22046 203 433 0 41254 0
[pid=26484/tid=26486] ppid=26482 vsize=166760 CPUtime=25.47 cores=0,2,4,6
/proc/26484/task/26486/stat : 26486 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 11681 0 0 0 2541 6 0 0 20 0 3 0 331295781 170762240 22046 33554432000 4194304 5964478 140736677903136 140623176787768 4389132 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26484/tid=26487] ppid=26482 vsize=166760 CPUtime=25.48 cores=0,2,4,6
/proc/26484/task/26487/stat : 26487 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 8763 0 0 0 2542 6 0 0 20 0 3 0 331295781 170762240 22046 33554432000 4194304 5964478 140736677903136 140623166298424 4403421 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 166760
[startup+51.1003 s]
/proc/loadavg: 3.98 2.98 2.04 5/181 26487
/proc/meminfo: memFree=31264396/32873844 swapFree=7116/7116
[pid=26484] ppid=26482 vsize=234856 CPUtime=102.13 cores=0,2,4,6
/proc/26484/stat : 26484 (pwbo2.02) S 26482 26484 24826 0 -1 4202496 33385 0 0 0 10194 19 0 0 20 0 3 0 331295781 240492544 34322 33554432000 4194304 5964478 140736677903136 140736677902656 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26484/statm: 58714 34322 203 433 0 58278 0
[pid=26484/tid=26486] ppid=26482 vsize=234856 CPUtime=51.05 cores=0,2,4,6
/proc/26484/task/26486/stat : 26486 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 17851 0 0 0 5094 11 0 0 20 0 3 0 331295781 240492544 34322 33554432000 4194304 5964478 140736677903136 140623176787960 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26484/tid=26487] ppid=26482 vsize=234856 CPUtime=51.08 cores=0,2,4,6
/proc/26484/task/26487/stat : 26487 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 14618 0 0 0 5098 10 0 0 20 0 3 0 331295781 240492544 34322 33554432000 4194304 5964478 140736677903136 140623166298424 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 234856
[startup+102.306 s]
/proc/loadavg: 3.99 3.13 2.14 5/181 26487
/proc/meminfo: memFree=31206980/32873844 swapFree=7116/7116
[pid=26484] ppid=26482 vsize=303008 CPUtime=204.51 cores=0,2,4,6
/proc/26484/stat : 26484 (pwbo2.02) S 26482 26484 24826 0 -1 4202496 47621 0 0 0 20422 29 0 0 20 0 3 0 331295781 310280192 48526 33554432000 4194304 5964478 140736677903136 140736677902656 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26484/statm: 75752 48526 203 433 0 75316 0
[pid=26484/tid=26486] ppid=26482 vsize=303008 CPUtime=102.25 cores=0,2,4,6
/proc/26484/task/26486/stat : 26486 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 26794 0 0 0 10206 19 0 0 20 0 3 0 331295781 310280192 48526 33554432000 4194304 5964478 140736677903136 140623176787768 4400435 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26484/tid=26487] ppid=26482 vsize=303008 CPUtime=102.26 cores=0,2,4,6
/proc/26484/task/26487/stat : 26487 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 19911 0 0 0 10213 13 0 0 20 0 3 0 331295781 310280192 48526 33554432000 4194304 5964478 140736677903136 140623166298424 4403406 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 204.51
Current children cumulated vsize (KiB) 303008
[startup+162.3 s]
/proc/loadavg: 3.99 3.29 2.26 5/181 26487
/proc/meminfo: memFree=31154084/32873844 swapFree=7116/7116
[pid=26484] ppid=26482 vsize=374464 CPUtime=324.48 cores=0,2,4,6
/proc/26484/stat : 26484 (pwbo2.02) S 26482 26484 24826 0 -1 4202496 57227 0 0 0 32410 38 0 0 20 0 3 0 331295781 383451136 59324 33554432000 4194304 5964478 140736677903136 140736677902656 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26484/statm: 93616 59324 203 433 0 93180 0
[pid=26484/tid=26486] ppid=26482 vsize=374464 CPUtime=162.24 cores=0,2,4,6
/proc/26484/task/26486/stat : 26486 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 36400 0 0 0 16195 29 0 0 20 0 3 0 331295781 383451136 59324 33554432000 4194304 5964478 140736677903136 140623176788008 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26484/tid=26487] ppid=26482 vsize=374464 CPUtime=162.25 cores=0,2,4,6
/proc/26484/task/26487/stat : 26487 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 19911 0 0 0 16211 14 0 0 20 0 3 0 331295781 383451136 59324 33554432000 4194304 5964478 140736677903136 140623166298424 4399854 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 324.48
Current children cumulated vsize (KiB) 374464
[startup+222.3 s]
/proc/loadavg: 3.99 3.41 2.36 5/181 26488
/proc/meminfo: memFree=31097196/32873844 swapFree=7116/7116
[pid=26484] ppid=26482 vsize=377632 CPUtime=444.45 cores=0,2,4,6
/proc/26484/stat : 26484 (pwbo2.02) S 26482 26484 24826 0 -1 4202496 69987 0 0 0 44397 48 0 0 20 0 3 0 331295781 386695168 72076 33554432000 4194304 5964478 140736677903136 140736677902656 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26484/statm: 94408 72076 203 433 0 93972 0
[pid=26484/tid=26486] ppid=26482 vsize=377632 CPUtime=222.23 cores=0,2,4,6
/proc/26484/task/26486/stat : 26486 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 39362 0 0 0 22191 32 0 0 20 0 3 0 331295781 386695168 72076 33554432000 4194304 5964478 140736677903136 140623176787960 4400115 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26484/tid=26487] ppid=26482 vsize=377632 CPUtime=222.25 cores=0,2,4,6
/proc/26484/task/26487/stat : 26487 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 29709 0 0 0 22202 23 0 0 20 0 3 0 331295781 386695168 72076 33554432000 4194304 5964478 140736677903136 140623166298424 4388228 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 444.45
Current children cumulated vsize (KiB) 377632
[startup+282.3 s]
/proc/loadavg: 4.04 3.53 2.47 5/181 26488
/proc/meminfo: memFree=31054072/32873844 swapFree=7116/7116
[pid=26484] ppid=26482 vsize=380816 CPUtime=564.4 cores=0,2,4,6
/proc/26484/stat : 26484 (pwbo2.02) S 26482 26484 24826 0 -1 4202496 78975 0 0 0 56382 58 0 0 20 0 3 0 331295781 389955584 81146 33554432000 4194304 5964478 140736677903136 140736677902656 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26484/statm: 95204 81146 203 433 0 94768 0
[pid=26484/tid=26486] ppid=26482 vsize=380816 CPUtime=282.21 cores=0,2,4,6
/proc/26484/task/26486/stat : 26486 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 48329 0 0 0 28178 43 0 0 20 0 3 0 331295781 389955584 81146 33554432000 4194304 5964478 140736677903136 140623176787960 4400091 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26484/tid=26487] ppid=26482 vsize=380816 CPUtime=282.23 cores=0,2,4,6
/proc/26484/task/26487/stat : 26487 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 29730 0 0 0 28199 24 0 0 20 0 3 0 331295781 389955584 81146 33554432000 4194304 5964478 140736677903136 140623166298424 4400056 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 564.4
Current children cumulated vsize (KiB) 380816
[startup+342.3 s]
/proc/loadavg: 4.01 3.61 2.56 5/181 26488
/proc/meminfo: memFree=31015320/32873844 swapFree=7116/7116
[pid=26484] ppid=26482 vsize=448780 CPUtime=684.37 cores=0,2,4,6
/proc/26484/stat : 26484 (pwbo2.02) S 26482 26484 24826 0 -1 4202496 87073 0 0 0 68371 66 0 0 20 0 3 0 331295781 459550720 89244 33554432000 4194304 5964478 140736677903136 140736677902656 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26484/statm: 112195 89244 203 433 0 111759 0
[pid=26484/tid=26486] ppid=26482 vsize=448780 CPUtime=342.21 cores=0,2,4,6
/proc/26484/task/26486/stat : 26486 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 55903 0 0 0 34169 52 0 0 20 0 3 0 331295781 459550720 89244 33554432000 4194304 5964478 140736677903136 140623176787960 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26484/tid=26487] ppid=26482 vsize=448780 CPUtime=342.22 cores=0,2,4,6
/proc/26484/task/26487/stat : 26487 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 30254 0 0 0 34197 25 0 0 20 0 3 0 331295781 459550720 89244 33554432000 4194304 5964478 140736677903136 140623166298424 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 684.37
Current children cumulated vsize (KiB) 448780
[startup+402.3 s]
/proc/loadavg: 4.00 3.68 2.65 5/181 26488
/proc/meminfo: memFree=30940176/32873844 swapFree=7116/7116
[pid=26484] ppid=26482 vsize=519552 CPUtime=804.35 cores=0,2,4,6
/proc/26484/stat : 26484 (pwbo2.02) S 26482 26484 24826 0 -1 4202496 104497 0 0 0 80353 82 0 0 20 0 3 0 331295781 532021248 106664 33554432000 4194304 5964478 140736677903136 140736677902656 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26484/statm: 129888 106664 203 433 0 129452 0
[pid=26484/tid=26486] ppid=26482 vsize=519552 CPUtime=402.22 cores=0,2,4,6
/proc/26484/task/26486/stat : 26486 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 59177 0 0 0 40166 56 0 0 20 0 3 0 331295781 532021248 106664 33554432000 4194304 5964478 140736677903136 140623176788008 4379248 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26484/tid=26487] ppid=26482 vsize=519552 CPUtime=402.22 cores=0,2,4,6
/proc/26484/task/26487/stat : 26487 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 44404 0 0 0 40183 39 0 0 20 0 3 0 331295781 532021248 106664 33554432000 4194304 5964478 140736677903136 140623166298424 4388660 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 804.35
Current children cumulated vsize (KiB) 519552
[startup+462.3 s]
/proc/loadavg: 4.00 3.74 2.73 5/181 26488
/proc/meminfo: memFree=30886216/32873844 swapFree=7116/7116
[pid=26484] ppid=26482 vsize=520092 CPUtime=924.33 cores=0,2,4,6
/proc/26484/stat : 26484 (pwbo2.02) S 26482 26484 24826 0 -1 4202496 118125 0 0 0 92336 97 0 0 20 0 3 0 331295781 532574208 120292 33554432000 4194304 5964478 140736677903136 140736677902656 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26484/statm: 130023 120292 203 433 0 129587 0
[pid=26484/tid=26486] ppid=26482 vsize=520092 CPUtime=462.22 cores=0,2,4,6
/proc/26484/task/26486/stat : 26486 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 67472 0 0 0 46154 68 0 0 20 0 3 0 331295781 532574208 120292 33554432000 4194304 5964478 140736677903136 140623176787960 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26484/tid=26487] ppid=26482 vsize=520092 CPUtime=462.22 cores=0,2,4,6
/proc/26484/task/26487/stat : 26487 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 49737 0 0 0 46178 44 0 0 20 0 3 0 331295781 532574208 120292 33554432000 4194304 5964478 140736677903136 140623166298424 4399887 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 924.33
Current children cumulated vsize (KiB) 520092
[startup+522.3 s]
/proc/loadavg: 4.03 3.80 2.81 5/182 26492
/proc/meminfo: memFree=30802016/32873844 swapFree=7116/7116
[pid=26484] ppid=26482 vsize=654236 CPUtime=1044.3 cores=0,2,4,6
/proc/26484/stat : 26484 (pwbo2.02) S 26482 26484 24826 0 -1 4202496 138831 0 0 0 104314 116 0 0 20 0 3 0 331295781 669937664 140976 33554432000 4194304 5964478 140736677903136 140736677902656 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26484/statm: 163559 140976 203 433 0 163123 0
[pid=26484/tid=26486] ppid=26482 vsize=654236 CPUtime=522.22 cores=0,2,4,6
/proc/26484/task/26486/stat : 26486 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 71374 0 0 0 52150 72 0 0 20 0 3 0 331295781 669937664 140976 33554432000 4194304 5964478 140736677903136 140623176787960 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26484/tid=26487] ppid=26482 vsize=654236 CPUtime=522.21 cores=0,2,4,6
/proc/26484/task/26487/stat : 26487 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 66541 0 0 0 52162 59 0 0 20 0 3 0 331295781 669937664 140976 33554432000 4194304 5964478 140736677903136 140623166298424 4400083 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1044.3
Current children cumulated vsize (KiB) 654236
[startup+582.3 s]
/proc/loadavg: 4.01 3.83 2.88 5/181 26492
/proc/meminfo: memFree=30777032/32873844 swapFree=7116/7116
[pid=26484] ppid=26482 vsize=656720 CPUtime=1164.25 cores=0,2,4,6
/proc/26484/stat : 26484 (pwbo2.02) S 26482 26484 24826 0 -1 4202496 143081 0 0 0 116304 121 0 0 20 0 3 0 331295781 672481280 145211 33554432000 4194304 5964478 140736677903136 140736677902656 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26484/statm: 164180 145211 203 433 0 163744 0
[pid=26484/tid=26486] ppid=26482 vsize=656720 CPUtime=582.22 cores=0,2,4,6
/proc/26484/task/26486/stat : 26486 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 75583 0 0 0 58144 78 0 0 20 0 3 0 331295781 672481280 145211 33554432000 4194304 5964478 140736677903136 140623176788008 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26484/tid=26487] ppid=26482 vsize=656720 CPUtime=582.18 cores=0,2,4,6
/proc/26484/task/26487/stat : 26487 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 66582 0 0 0 58158 60 0 0 20 0 3 0 331295781 672481280 145211 33554432000 4194304 5964478 140736677903136 140623166298424 4403425 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1164.25
Current children cumulated vsize (KiB) 656720
[startup+642.3 s]
/proc/loadavg: 3.87 3.83 2.94 5/181 26533
/proc/meminfo: memFree=30853832/32873844 swapFree=7116/7116
[pid=26484] ppid=26482 vsize=723980 CPUtime=1284.2 cores=0,2,4,6
/proc/26484/stat : 26484 (pwbo2.02) S 26482 26484 24826 0 -1 4202496 147355 0 0 0 128295 125 0 0 20 0 3 0 331295781 741355520 149521 33554432000 4194304 5964478 140736677903136 140736677902656 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26484/statm: 180995 149521 203 433 0 180559 0
[pid=26484/tid=26486] ppid=26482 vsize=723980 CPUtime=642.2 cores=0,2,4,6
/proc/26484/task/26486/stat : 26486 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 76858 0 0 0 64140 80 0 0 20 0 3 0 331295781 741355520 149521 33554432000 4194304 5964478 140736677903136 140623176787768 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26484/tid=26487] ppid=26482 vsize=723980 CPUtime=642.18 cores=0,2,4,6
/proc/26484/task/26487/stat : 26487 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 69581 0 0 0 64154 64 0 0 20 0 3 0 331295781 741355520 149521 33554432000 4194304 5964478 140736677903136 140623166298424 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1284.2
Current children cumulated vsize (KiB) 723980
[startup+702.3 s]
/proc/loadavg: 3.95 3.86 3.00 5/181 26533
/proc/meminfo: memFree=30718404/32873844 swapFree=7116/7116
[pid=26484] ppid=26482 vsize=725492 CPUtime=1404.16 cores=0,2,4,6
/proc/26484/stat : 26484 (pwbo2.02) S 26482 26484 24826 0 -1 4202496 162612 0 0 0 140275 141 0 0 20 0 3 0 331295781 742903808 164817 33554432000 4194304 5964478 140736677903136 140736677902656 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26484/statm: 181373 164817 203 433 0 180937 0
[pid=26484/tid=26486] ppid=26482 vsize=725492 CPUtime=702.18 cores=0,2,4,6
/proc/26484/task/26486/stat : 26486 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 81416 0 0 0 70132 86 0 0 20 0 3 0 331295781 742903808 164817 33554432000 4194304 5964478 140736677903136 140623176787960 4399912 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26484/tid=26487] ppid=26482 vsize=725492 CPUtime=702.17 cores=0,2,4,6
/proc/26484/task/26487/stat : 26487 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 80280 0 0 0 70141 76 0 0 20 0 3 0 331295781 742903808 164817 33554432000 4194304 5964478 140736677903136 140623166298424 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1404.16
Current children cumulated vsize (KiB) 725492
[startup+762.306 s]
/proc/loadavg: 4.02 3.89 3.07 5/180 26533
/proc/meminfo: memFree=30612128/32873844 swapFree=7116/7116
[pid=26484] ppid=26482 vsize=791780 CPUtime=1524.15 cores=0,2,4,6
/proc/26484/stat : 26484 (pwbo2.02) S 26482 26484 24826 0 -1 4202496 169491 0 0 0 152265 150 0 0 20 0 3 0 331295781 810782720 171692 33554432000 4194304 5964478 140736677903136 140736677902656 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26484/statm: 197945 171692 203 433 0 197509 0
[pid=26484/tid=26486] ppid=26482 vsize=791780 CPUtime=762.19 cores=0,2,4,6
/proc/26484/task/26486/stat : 26486 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 88287 0 0 0 76123 96 0 0 20 0 3 0 331295781 810782720 171692 33554432000 4194304 5964478 140736677903136 140623176787768 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26484/tid=26487] ppid=26482 vsize=791780 CPUtime=762.17 cores=0,2,4,6
/proc/26484/task/26487/stat : 26487 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 80288 0 0 0 76140 77 0 0 20 0 3 0 331295781 810782720 171692 33554432000 4194304 5964478 140736677903136 140623166298424 4400018 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1524.15
Current children cumulated vsize (KiB) 791780
[startup+822.3 s]
/proc/loadavg: 4.01 3.91 3.12 5/180 26534
/proc/meminfo: memFree=30539588/32873844 swapFree=7116/7116
[pid=26484] ppid=26482 vsize=758208 CPUtime=1644.12 cores=0,2,4,6
/proc/26484/stat : 26484 (pwbo2.02) S 26482 26484 24826 0 -1 4202496 178430 0 0 0 164257 155 0 0 20 0 3 0 331295781 776404992 174094 33554432000 4194304 5964478 140736677903136 140736677902656 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26484/statm: 189552 174094 203 433 0 189116 0
[pid=26484/tid=26486] ppid=26482 vsize=758208 CPUtime=822.19 cores=0,2,4,6
/proc/26484/task/26486/stat : 26486 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 97226 0 0 0 82117 102 0 0 20 0 3 0 331295781 776404992 174094 33554432000 4194304 5964478 140736677903136 140623176788920 4399912 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26484/tid=26487] ppid=26482 vsize=758208 CPUtime=822.17 cores=0,2,4,6
/proc/26484/task/26487/stat : 26487 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 80288 0 0 0 82139 78 0 0 20 0 3 0 331295781 776404992 174094 33554432000 4194304 5964478 140736677903136 140623166298424 4400087 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1644.12
Current children cumulated vsize (KiB) 758208
[startup+882.3 s]
/proc/loadavg: 4.00 3.92 3.17 5/181 26535
/proc/meminfo: memFree=30490204/32873844 swapFree=7116/7116
[pid=26484] ppid=26482 vsize=758208 CPUtime=1764.1 cores=0,2,4,6
/proc/26484/stat : 26484 (pwbo2.02) S 26482 26484 24826 0 -1 4202496 178494 0 0 0 176255 155 0 0 20 0 3 0 331295781 776404992 174138 33554432000 4194304 5964478 140736677903136 140736677902656 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26484/statm: 189552 174138 203 433 0 189116 0
[pid=26484/tid=26486] ppid=26482 vsize=758208 CPUtime=882.19 cores=0,2,4,6
/proc/26484/task/26486/stat : 26486 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 97249 0 0 0 88116 103 0 0 20 0 3 0 331295781 776404992 174138 33554432000 4194304 5964478 140736677903136 140623176788920 4222464 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26484/tid=26487] ppid=26482 vsize=758208 CPUtime=882.16 cores=0,2,4,6
/proc/26484/task/26487/stat : 26487 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 80329 0 0 0 88137 79 0 0 20 0 3 0 331295781 776404992 174138 33554432000 4194304 5964478 140736677903136 140623166298456 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.1
Current children cumulated vsize (KiB) 758208
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.00 3.93 3.19 5/181 26535
/proc/meminfo: memFree=30479508/32873844 swapFree=7116/7116
[pid=26484] ppid=26482 vsize=758208 CPUtime=1800.1 cores=0,2,4,6
/proc/26484/stat : 26484 (pwbo2.02) S 26482 26484 24826 0 -1 4202496 178494 0 0 0 179855 155 0 0 20 0 3 0 331295781 776404992 174138 33554432000 4194304 5964478 140736677903136 140736677902656 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26484/statm: 189552 174138 203 433 0 189116 0
[pid=26484/tid=26486] ppid=26482 vsize=758208 CPUtime=900.2 cores=0,2,4,6
/proc/26484/task/26486/stat : 26486 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 97249 0 0 0 89917 103 0 0 20 0 3 0 331295781 776404992 174138 33554432000 4194304 5964478 140736677903136 140623176788920 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26484/tid=26487] ppid=26482 vsize=758208 CPUtime=900.16 cores=0,2,4,6
/proc/26484/task/26487/stat : 26487 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 80329 0 0 0 89937 79 0 0 20 0 3 0 331295781 776404992 174138 33554432000 4194304 5964478 140736677903136 140623166298456 4409220 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 758208
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 3.93 3.19 5/181 26535
/proc/meminfo: memFree=30479508/32873844 swapFree=7116/7116
[pid=26484] ppid=26482 vsize=758208 CPUtime=1800.1 cores=0,2,4,6
/proc/26484/stat : 26484 (pwbo2.02) S 26482 26484 24826 0 -1 4202496 178494 0 0 0 179855 155 0 0 20 0 3 0 331295781 776404992 174138 33554432000 4194304 5964478 140736677903136 140736677902656 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26484/statm: 189552 174138 203 433 0 189116 0
[pid=26484/tid=26486] ppid=26482 vsize=758208 CPUtime=900.2 cores=0,2,4,6
/proc/26484/task/26486/stat : 26486 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 97249 0 0 0 89917 103 0 0 20 0 3 0 331295781 776404992 174138 33554432000 4194304 5964478 140736677903136 140623176788920 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26484/tid=26487] ppid=26482 vsize=758208 CPUtime=900.16 cores=0,2,4,6
/proc/26484/task/26487/stat : 26487 (pwbo2.02) R 26482 26484 24826 0 -1 4202560 80329 0 0 0 89937 79 0 0 20 0 3 0 331295781 776404992 174138 33554432000 4194304 5964478 140736677903136 140623166298456 4409220 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 758208
Child status: 0
Real time (s): 900.323
CPU time (s): 1800.42
CPU user time (s): 1798.57
CPU system time (s): 1.85272
CPU usage (%): 199.975
Max. virtual memory (cumulated for all children) (KiB): 791780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.57
system time used= 1.85272
maximum resident set size= 722368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 178495
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= 452
involuntary context switches= 2393
runsolver used 2.28065 second user time and 4.44432 second system time
The end