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-3726704-1339017753/watcher-3726704-1339017753 -o /tmp/evaluation-result-3726704-1339017753/solver-3726704-1339017753 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3726704-1339017753.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: 0.00 0.00 0.00 4/177 6506
/proc/meminfo: memFree=30890124/32873844 swapFree=7120/7120
[pid=6506] ppid=6502 vsize=5560 CPUtime=0 cores=1,3,5,7
/proc/6506/stat : 6506 (pwbo2.02) R 6502 6506 6463 0 -1 4202496 569 0 0 0 0 0 0 0 20 0 1 0 11742720 5693440 521 33554432000 4194304 5964478 140735992706096 140737093115960 4395406 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/6506/statm: 1390 521 164 433 0 626 0
[startup+0.0118529 s]
/proc/loadavg: 0.00 0.00 0.00 4/177 6506
/proc/meminfo: memFree=30890124/32873844 swapFree=7120/7120
[pid=6506] ppid=6502 vsize=6976 CPUtime=0 cores=1,3,5,7
/proc/6506/stat : 6506 (pwbo2.02) R 6502 6506 6463 0 -1 4202496 887 0 0 0 0 0 0 0 20 0 1 0 11742720 7143424 839 33554432000 4194304 5964478 140735992706096 140737093115960 4344880 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/6506/statm: 1744 841 177 433 0 980 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6976
[startup+0.100211 s]
/proc/loadavg: 0.00 0.00 0.00 4/177 6506
/proc/meminfo: memFree=30890124/32873844 swapFree=7120/7120
[pid=6506] ppid=6502 vsize=12632 CPUtime=0.09 cores=1,3,5,7
/proc/6506/stat : 6506 (pwbo2.02) R 6502 6506 6463 0 -1 4202496 2588 0 0 0 9 0 0 0 20 0 1 0 11742720 12935168 2507 33554432000 4194304 5964478 140735992706096 140737093115960 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/6506/statm: 3158 2507 475 433 0 2394 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12632
[startup+0.300157 s]
/proc/loadavg: 0.00 0.00 0.00 4/177 6506
/proc/meminfo: memFree=30890124/32873844 swapFree=7120/7120
[pid=6506] ppid=6502 vsize=93972 CPUtime=0.29 cores=1,3,5,7
/proc/6506/stat : 6506 (pwbo2.02) S 6502 6506 6463 0 -1 4202496 6188 0 0 0 28 1 0 0 20 0 2 0 11742720 96227328 5275 33554432000 4194304 5964478 140735992706096 140735992705616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6506/statm: 23493 5275 186 433 0 23057 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 93972
[startup+0.700129 s]
/proc/loadavg: 0.00 0.00 0.00 4/177 6506
/proc/meminfo: memFree=30890124/32873844 swapFree=7120/7120
[pid=6506] ppid=6502 vsize=93972 CPUtime=0.69 cores=1,3,5,7
/proc/6506/stat : 6506 (pwbo2.02) S 6502 6506 6463 0 -1 4202496 6449 0 0 0 68 1 0 0 20 0 2 0 11742720 96227328 5536 33554432000 4194304 5964478 140735992706096 140735992705616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6506/statm: 23493 5536 186 433 0 23057 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 93972
[startup+1.50022 s]
/proc/loadavg: 0.00 0.00 0.00 4/181 6510
/proc/meminfo: memFree=30844592/32873844 swapFree=7120/7120
[pid=6506] ppid=6502 vsize=93972 CPUtime=1.48 cores=1,3,5,7
/proc/6506/stat : 6506 (pwbo2.02) S 6502 6506 6463 0 -1 4202496 7036 0 0 0 147 1 0 0 20 0 2 0 11742720 96227328 6123 33554432000 4194304 5964478 140735992706096 140735992705616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6506/statm: 23493 6123 186 433 0 23057 0
[pid=6506/tid=6509] ppid=6502 vsize=93972 CPUtime=1.38 cores=1,3,5,7
/proc/6506/task/6509/stat : 6509 (pwbo2.02) R 6502 6506 6463 0 -1 4202560 3942 0 0 0 136 2 0 0 20 0 2 0 11742731 96227328 6123 33554432000 4194304 5964478 140735992706096 140682519365624 4222416 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 93972
[startup+3.10025 s]
/proc/loadavg: 0.16 0.03 0.01 4/181 6510
/proc/meminfo: memFree=30837764/32873844 swapFree=7120/7120
[pid=6506] ppid=6502 vsize=93972 CPUtime=3.08 cores=1,3,5,7
/proc/6506/stat : 6506 (pwbo2.02) S 6502 6506 6463 0 -1 4202496 8124 0 0 0 306 2 0 0 20 0 2 0 11742720 96227328 7211 33554432000 4194304 5964478 140735992706096 140735992705616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6506/statm: 23493 7211 186 433 0 23057 0
[pid=6506/tid=6509] ppid=6502 vsize=93972 CPUtime=2.98 cores=1,3,5,7
/proc/6506/task/6509/stat : 6509 (pwbo2.02) R 6502 6506 6463 0 -1 4202560 5030 0 0 0 296 2 0 0 20 0 2 0 11742731 96227328 7211 33554432000 4194304 5964478 140735992706096 140682519365624 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 93972
[startup+6.30028 s]
/proc/loadavg: 0.16 0.03 0.01 4/181 6510
/proc/meminfo: memFree=30820992/32873844 swapFree=7120/7120
[pid=6506] ppid=6502 vsize=93972 CPUtime=6.29 cores=1,3,5,7
/proc/6506/stat : 6506 (pwbo2.02) S 6502 6506 6463 0 -1 4202496 10185 0 0 0 626 3 0 0 20 0 2 0 11742720 96227328 9272 33554432000 4194304 5964478 140735992706096 140735992705616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6506/statm: 23493 9272 186 433 0 23057 0
[pid=6506/tid=6509] ppid=6502 vsize=93972 CPUtime=6.18 cores=1,3,5,7
/proc/6506/task/6509/stat : 6509 (pwbo2.02) R 6502 6506 6463 0 -1 4202560 7091 0 0 0 615 3 0 0 20 0 2 0 11742731 96227328 9272 33554432000 4194304 5964478 140735992706096 140682519365432 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 93972
[startup+12.7003 s]
/proc/loadavg: 0.44 0.10 0.03 4/181 6510
/proc/meminfo: memFree=30797812/32873844 swapFree=7120/7120
[pid=6506] ppid=6502 vsize=93972 CPUtime=12.68 cores=1,3,5,7
/proc/6506/stat : 6506 (pwbo2.02) S 6502 6506 6463 0 -1 4202496 12520 0 0 0 1264 4 0 0 20 0 2 0 11742720 96227328 11607 33554432000 4194304 5964478 140735992706096 140735992705616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6506/statm: 23493 11607 186 433 0 23057 0
[pid=6506/tid=6509] ppid=6502 vsize=93972 CPUtime=12.57 cores=1,3,5,7
/proc/6506/task/6509/stat : 6509 (pwbo2.02) R 6502 6506 6463 0 -1 4202560 9426 0 0 0 1254 3 0 0 20 0 2 0 11742731 96227328 11607 33554432000 4194304 5964478 140735992706096 140682519365624 4388769 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 93972
[startup+25.5003 s]
/proc/loadavg: 0.68 0.16 0.05 4/181 6510
/proc/meminfo: memFree=30780436/32873844 swapFree=7120/7120
[pid=6506] ppid=6502 vsize=93972 CPUtime=25.48 cores=1,3,5,7
/proc/6506/stat : 6506 (pwbo2.02) S 6502 6506 6463 0 -1 4202496 14255 0 0 0 2544 4 0 0 20 0 2 0 11742720 96227328 13342 33554432000 4194304 5964478 140735992706096 140735992705616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6506/statm: 23493 13342 186 433 0 23057 0
[pid=6506/tid=6509] ppid=6502 vsize=93972 CPUtime=25.37 cores=1,3,5,7
/proc/6506/task/6509/stat : 6509 (pwbo2.02) R 6502 6506 6463 0 -1 4202560 11161 0 0 0 2533 4 0 0 20 0 2 0 11742731 96227328 13342 33554432000 4194304 5964478 140735992706096 140682519365624 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 93972
[startup+51.1003 s]
/proc/loadavg: 1.13 0.31 0.10 4/181 6510
/proc/meminfo: memFree=30673632/32873844 swapFree=7120/7120
[pid=6506] ppid=6502 vsize=159508 CPUtime=51.08 cores=1,3,5,7
/proc/6506/stat : 6506 (pwbo2.02) S 6502 6506 6463 0 -1 4202496 29460 0 0 0 5099 9 0 0 20 0 2 0 11742720 163336192 28547 33554432000 4194304 5964478 140735992706096 140735992705616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6506/statm: 39877 28547 186 433 0 39441 0
[pid=6506/tid=6509] ppid=6502 vsize=159508 CPUtime=50.97 cores=1,3,5,7
/proc/6506/task/6509/stat : 6509 (pwbo2.02) R 6502 6506 6463 0 -1 4202560 26366 0 0 0 5088 9 0 0 20 0 2 0 11742731 163336192 28547 33554432000 4194304 5964478 140735992706096 140682519365624 4389160 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 159508
[startup+102.307 s]
/proc/loadavg: 1.65 0.59 0.21 4/181 6510
/proc/meminfo: memFree=30616452/32873844 swapFree=7120/7120
[pid=6506] ppid=6502 vsize=160232 CPUtime=102.25 cores=1,3,5,7
/proc/6506/stat : 6506 (pwbo2.02) S 6502 6506 6463 0 -1 4202496 32953 0 0 0 10215 10 0 0 20 0 2 0 11742720 164077568 32063 33554432000 4194304 5964478 140735992706096 140735992705616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6506/statm: 40058 32063 186 433 0 39622 0
[pid=6506/tid=6509] ppid=6502 vsize=160232 CPUtime=102.15 cores=1,3,5,7
/proc/6506/task/6509/stat : 6509 (pwbo2.02) R 6502 6506 6463 0 -1 4202560 29859 0 0 0 10204 11 0 0 20 0 2 0 11742731 164077568 32063 33554432000 4194304 5964478 140735992706096 140682519365624 4382023 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 160232
[startup+162.3 s]
/proc/loadavg: 1.87 0.84 0.32 4/181 6510
/proc/meminfo: memFree=30547940/32873844 swapFree=7120/7120
[pid=6506] ppid=6502 vsize=226128 CPUtime=162.21 cores=1,3,5,7
/proc/6506/stat : 6506 (pwbo2.02) S 6502 6506 6463 0 -1 4202496 44672 0 0 0 16206 15 0 0 20 0 2 0 11742720 231555072 43770 33554432000 4194304 5964478 140735992706096 140735992705616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6506/statm: 56532 43770 186 433 0 56096 0
[pid=6506/tid=6509] ppid=6502 vsize=226128 CPUtime=162.13 cores=1,3,5,7
/proc/6506/task/6509/stat : 6509 (pwbo2.02) R 6502 6506 6463 0 -1 4202560 41578 0 0 0 16195 18 0 0 20 0 2 0 11742731 231555072 43770 33554432000 4194304 5964478 140735992706096 140682519365624 4382268 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 226128
[startup+222.3 s]
/proc/loadavg: 1.95 1.05 0.42 4/181 6510
/proc/meminfo: memFree=30447784/32873844 swapFree=7120/7120
[pid=6506] ppid=6502 vsize=291664 CPUtime=222.21 cores=1,3,5,7
/proc/6506/stat : 6506 (pwbo2.02) S 6502 6506 6463 0 -1 4202496 54780 0 0 0 22201 20 0 0 20 0 2 0 11742720 298663936 53878 33554432000 4194304 5964478 140735992706096 140735992705616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6506/statm: 72916 53878 186 433 0 72480 0
[pid=6506/tid=6509] ppid=6502 vsize=291664 CPUtime=222.13 cores=1,3,5,7
/proc/6506/task/6509/stat : 6509 (pwbo2.02) R 6502 6506 6463 0 -1 4202560 51686 0 0 0 22190 23 0 0 20 0 2 0 11742731 298663936 53878 33554432000 4194304 5964478 140735992706096 140682519365432 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 291664
[startup+282.3 s]
/proc/loadavg: 1.98 1.22 0.52 4/181 6511
/proc/meminfo: memFree=30417812/32873844 swapFree=7120/7120
[pid=6506] ppid=6502 vsize=291664 CPUtime=282.18 cores=1,3,5,7
/proc/6506/stat : 6506 (pwbo2.02) S 6502 6506 6463 0 -1 4202496 56663 0 0 0 28198 20 0 0 20 0 2 0 11742720 298663936 55763 33554432000 4194304 5964478 140735992706096 140735992705616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6506/statm: 72916 55763 186 433 0 72480 0
[pid=6506/tid=6509] ppid=6502 vsize=291664 CPUtime=282.12 cores=1,3,5,7
/proc/6506/task/6509/stat : 6509 (pwbo2.02) R 6502 6506 6463 0 -1 4202560 53569 0 0 0 28187 25 0 0 20 0 2 0 11742731 298663936 55763 33554432000 4194304 5964478 140735992706096 140682519365624 4381993 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 291664
[startup+342.3 s]
/proc/loadavg: 1.99 1.36 0.61 4/181 6511
/proc/meminfo: memFree=30312164/32873844 swapFree=7120/7120
[pid=6506] ppid=6502 vsize=357740 CPUtime=342.15 cores=1,3,5,7
/proc/6506/stat : 6506 (pwbo2.02) S 6502 6506 6463 0 -1 4202496 81847 0 0 0 34186 29 0 0 20 0 2 0 11742720 366325760 80941 33554432000 4194304 5964478 140735992706096 140735992705616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6506/statm: 89435 80941 186 433 0 88999 0
[pid=6506/tid=6509] ppid=6502 vsize=357740 CPUtime=342.09 cores=1,3,5,7
/proc/6506/task/6509/stat : 6509 (pwbo2.02) R 6502 6506 6463 0 -1 4202560 78753 0 0 0 34175 34 0 0 20 0 2 0 11742731 366325760 80941 33554432000 4194304 5964478 140735992706096 140682519365624 4381960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 357740
[startup+402.3 s]
/proc/loadavg: 1.99 1.47 0.69 4/181 6511
/proc/meminfo: memFree=30299692/32873844 swapFree=7120/7120
[pid=6506] ppid=6502 vsize=357740 CPUtime=402.14 cores=1,3,5,7
/proc/6506/stat : 6506 (pwbo2.02) S 6502 6506 6463 0 -1 4202496 85032 0 0 0 40184 30 0 0 20 0 2 0 11742720 366325760 84123 33554432000 4194304 5964478 140735992706096 140735992705616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6506/statm: 89435 84123 186 433 0 88999 0
[pid=6506/tid=6509] ppid=6502 vsize=357740 CPUtime=402.09 cores=1,3,5,7
/proc/6506/task/6509/stat : 6509 (pwbo2.02) R 6502 6506 6463 0 -1 4202560 81938 0 0 0 40172 37 0 0 20 0 2 0 11742731 366325760 84123 33554432000 4194304 5964478 140735992706096 140682519365432 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 357740
[startup+462.3 s]
/proc/loadavg: 1.99 1.57 0.77 4/182 6514
/proc/meminfo: memFree=30279044/32873844 swapFree=7120/7120
[pid=6506] ppid=6502 vsize=357740 CPUtime=462.13 cores=1,3,5,7
################
# More data... #
################
/proc/6506/task/6509/stat : 6509 (pwbo2.02) R 6502 6506 6463 0 -1 4202560 110416 0 0 0 130141 62 0 0 20 0 2 0 11742731 501370880 113108 33554432000 4194304 5964478 140735992706096 140682519365800 4382271 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 489620
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.52 4/181 6520
/proc/meminfo: memFree=29911840/32873844 swapFree=7120/7120
[pid=6506] ppid=6502 vsize=489620 CPUtime=1361.9 cores=1,3,5,7
/proc/6506/stat : 6506 (pwbo2.02) S 6502 6506 6463 0 -1 4202496 113510 0 0 0 136147 43 0 0 20 0 2 0 11742720 501370880 113108 33554432000 4194304 5964478 140735992706096 140735992705616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6506/statm: 122405 113108 186 433 0 121969 0
[pid=6506/tid=6509] ppid=6502 vsize=489620 CPUtime=1362.03 cores=1,3,5,7
/proc/6506/task/6509/stat : 6509 (pwbo2.02) R 6502 6506 6463 0 -1 4202560 110416 0 0 0 136140 63 0 0 20 0 2 0 11742731 501370880 113108 33554432000 4194304 5964478 140735992706096 140682519365800 4382029 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 489620
[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.55 4/181 6520
/proc/meminfo: memFree=29906840/32873844 swapFree=7120/7120
[pid=6506] ppid=6502 vsize=489620 CPUtime=1421.9 cores=1,3,5,7
/proc/6506/stat : 6506 (pwbo2.02) S 6502 6506 6463 0 -1 4202496 114709 0 0 0 142146 44 0 0 20 0 2 0 11742720 501370880 114307 33554432000 4194304 5964478 140735992706096 140735992705616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6506/statm: 122405 114307 186 433 0 121969 0
[pid=6506/tid=6509] ppid=6502 vsize=489620 CPUtime=1422.04 cores=1,3,5,7
/proc/6506/task/6509/stat : 6509 (pwbo2.02) R 6502 6506 6463 0 -1 4202560 111615 0 0 0 142139 65 0 0 20 0 2 0 11742731 501370880 114307 33554432000 4194304 5964478 140735992706096 140682519365624 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 489620
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.57 4/182 6521
/proc/meminfo: memFree=29898960/32873844 swapFree=7120/7120
[pid=6506] ppid=6502 vsize=489620 CPUtime=1481.89 cores=1,3,5,7
/proc/6506/stat : 6506 (pwbo2.02) S 6502 6506 6463 0 -1 4202496 116457 0 0 0 148144 45 0 0 20 0 2 0 11742720 501370880 116055 33554432000 4194304 5964478 140735992706096 140735992705616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6506/statm: 122405 116055 186 433 0 121969 0
[pid=6506/tid=6509] ppid=6502 vsize=489620 CPUtime=1482.03 cores=1,3,5,7
/proc/6506/task/6509/stat : 6509 (pwbo2.02) R 6502 6506 6463 0 -1 4202560 113363 0 0 0 148136 67 0 0 20 0 2 0 11742731 501370880 116055 33554432000 4194304 5964478 140735992706096 140682519365432 4221984 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 489620
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.60 4/181 6522
/proc/meminfo: memFree=29892892/32873844 swapFree=7120/7120
[pid=6506] ppid=6502 vsize=489620 CPUtime=1541.88 cores=1,3,5,7
/proc/6506/stat : 6506 (pwbo2.02) S 6502 6506 6463 0 -1 4202496 118176 0 0 0 154142 46 0 0 20 0 2 0 11742720 501370880 117774 33554432000 4194304 5964478 140735992706096 140735992705616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6506/statm: 122405 117774 186 433 0 121969 0
[pid=6506/tid=6509] ppid=6502 vsize=489620 CPUtime=1542.03 cores=1,3,5,7
/proc/6506/task/6509/stat : 6509 (pwbo2.02) R 6502 6506 6463 0 -1 4202560 115082 0 0 0 154134 69 0 0 20 0 2 0 11742731 501370880 117774 33554432000 4194304 5964478 140735992706096 140682519365624 4392893 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 489620
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.62 4/181 6522
/proc/meminfo: memFree=29778068/32873844 swapFree=7120/7120
[pid=6506] ppid=6502 vsize=620692 CPUtime=1601.87 cores=1,3,5,7
/proc/6506/stat : 6506 (pwbo2.02) S 6502 6506 6463 0 -1 4202496 140855 0 0 0 160133 54 0 0 20 0 2 0 11742720 635588608 140453 33554432000 4194304 5964478 140735992706096 140735992705616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6506/statm: 155173 140453 186 433 0 154737 0
[pid=6506/tid=6509] ppid=6502 vsize=620692 CPUtime=1602.04 cores=1,3,5,7
/proc/6506/task/6509/stat : 6509 (pwbo2.02) R 6502 6506 6463 0 -1 4202560 137761 0 0 0 160126 78 0 0 20 0 2 0 11742731 635588608 140453 33554432000 4194304 5964478 140735992706096 140682519365624 4400067 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 620692
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.64 4/182 6525
/proc/meminfo: memFree=29769380/32873844 swapFree=7120/7120
[pid=6506] ppid=6502 vsize=620692 CPUtime=1661.86 cores=1,3,5,7
/proc/6506/stat : 6506 (pwbo2.02) S 6502 6506 6463 0 -1 4202496 140857 0 0 0 166132 54 0 0 20 0 2 0 11742720 635588608 140455 33554432000 4194304 5964478 140735992706096 140735992705616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6506/statm: 155173 140455 186 433 0 154737 0
[pid=6506/tid=6509] ppid=6502 vsize=620692 CPUtime=1662.04 cores=1,3,5,7
/proc/6506/task/6509/stat : 6509 (pwbo2.02) R 6502 6506 6463 0 -1 4202560 137763 0 0 0 166125 79 0 0 20 0 2 0 11742731 635588608 140455 33554432000 4194304 5964478 140735992706096 140682519365624 4400109 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 620692
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.66 4/181 6525
/proc/meminfo: memFree=29737624/32873844 swapFree=7120/7120
[pid=6506] ppid=6502 vsize=620692 CPUtime=1721.82 cores=1,3,5,7
/proc/6506/stat : 6506 (pwbo2.02) S 6502 6506 6463 0 -1 4202496 140894 0 0 0 172128 54 0 0 20 0 2 0 11742720 635588608 140490 33554432000 4194304 5964478 140735992706096 140735992705616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6506/statm: 155173 140490 186 433 0 154737 0
[pid=6506/tid=6509] ppid=6502 vsize=620692 CPUtime=1722.01 cores=1,3,5,7
/proc/6506/task/6509/stat : 6509 (pwbo2.02) R 6502 6506 6463 0 -1 4202560 137800 0 0 0 172120 81 0 0 20 0 2 0 11742731 635588608 140490 33554432000 4194304 5964478 140735992706096 140682519365624 4389170 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 620692
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.68 4/181 6525
/proc/meminfo: memFree=29698316/32873844 swapFree=7120/7120
[pid=6506] ppid=6502 vsize=620692 CPUtime=1781.82 cores=1,3,5,7
/proc/6506/stat : 6506 (pwbo2.02) S 6502 6506 6463 0 -1 4202496 141864 0 0 0 178127 55 0 0 20 0 2 0 11742720 635588608 141460 33554432000 4194304 5964478 140735992706096 140735992705616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6506/statm: 155173 141460 186 433 0 154737 0
[pid=6506/tid=6509] ppid=6502 vsize=620692 CPUtime=1782.02 cores=1,3,5,7
/proc/6506/task/6509/stat : 6509 (pwbo2.02) R 6502 6506 6463 0 -1 4202560 138770 0 0 0 178120 82 0 0 20 0 2 0 11742731 635588608 141460 33554432000 4194304 5964478 140735992706096 140682519365432 5136420 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 620692
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 1.99 1.68 4/181 6525
/proc/meminfo: memFree=29678528/32873844 swapFree=7120/7120
[pid=6506] ppid=6502 vsize=620692 CPUtime=1791.41 cores=1,3,5,7
/proc/6506/stat : 6506 (pwbo2.02) S 6502 6506 6463 0 -1 4202496 145368 0 0 0 179085 56 0 0 20 0 2 0 11742720 635588608 144970 33554432000 4194304 5964478 140735992706096 140735992705616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6506/statm: 155173 144970 186 433 0 154737 0
[pid=6506/tid=6509] ppid=6502 vsize=620692 CPUtime=1791.62 cores=1,3,5,7
/proc/6506/task/6509/stat : 6509 (pwbo2.02) R 6502 6506 6463 0 -1 4202560 142274 0 0 0 179078 84 0 0 20 0 2 0 11742731 635588608 144970 33554432000 4194304 5964478 140735992706096 140682519365432 4400056 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1791.41
Current children cumulated vsize (KiB) 620692
[startup+1795.1 s]
/proc/loadavg: 2.00 1.99 1.68 4/181 6525
/proc/meminfo: memFree=29673940/32873844 swapFree=7120/7120
[pid=6506] ppid=6502 vsize=620692 CPUtime=1794.61 cores=1,3,5,7
/proc/6506/stat : 6506 (pwbo2.02) S 6502 6506 6463 0 -1 4202496 146156 0 0 0 179404 57 0 0 20 0 2 0 11742720 635588608 145758 33554432000 4194304 5964478 140735992706096 140735992705616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6506/statm: 155173 145758 186 433 0 154737 0
[pid=6506/tid=6509] ppid=6502 vsize=620692 CPUtime=1794.82 cores=1,3,5,7
/proc/6506/task/6509/stat : 6509 (pwbo2.02) R 6502 6506 6463 0 -1 4202560 143062 0 0 0 179398 84 0 0 20 0 2 0 11742731 635588608 145758 33554432000 4194304 5964478 140735992706096 140682519365624 4389085 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (KiB) 620692
[startup+1798.3 s]
/proc/loadavg: 2.00 1.99 1.68 4/181 6525
/proc/meminfo: memFree=29670344/32873844 swapFree=7120/7120
[pid=6506] ppid=6502 vsize=620692 CPUtime=1797.8 cores=1,3,5,7
/proc/6506/stat : 6506 (pwbo2.02) S 6502 6506 6463 0 -1 4202496 146843 0 0 0 179723 57 0 0 20 0 2 0 11742720 635588608 146445 33554432000 4194304 5964478 140735992706096 140735992705616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6506/statm: 155173 146445 186 433 0 154737 0
[pid=6506/tid=6509] ppid=6502 vsize=620692 CPUtime=1798.01 cores=1,3,5,7
/proc/6506/task/6509/stat : 6509 (pwbo2.02) R 6502 6506 6463 0 -1 4202560 143749 0 0 0 179716 85 0 0 20 0 2 0 11742731 635588608 146445 33554432000 4194304 5964478 140735992706096 140682519365624 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (KiB) 620692
[startup+1799.1 s]
/proc/loadavg: 2.00 1.99 1.68 4/181 6525
/proc/meminfo: memFree=29669228/32873844 swapFree=7120/7120
[pid=6506] ppid=6502 vsize=620692 CPUtime=1798.6 cores=1,3,5,7
/proc/6506/stat : 6506 (pwbo2.02) S 6502 6506 6463 0 -1 4202496 147061 0 0 0 179803 57 0 0 20 0 2 0 11742720 635588608 146663 33554432000 4194304 5964478 140735992706096 140735992705616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6506/statm: 155173 146663 186 433 0 154737 0
[pid=6506/tid=6509] ppid=6502 vsize=620692 CPUtime=1798.81 cores=1,3,5,7
/proc/6506/task/6509/stat : 6509 (pwbo2.02) R 6502 6506 6463 0 -1 4202560 143967 0 0 0 179796 85 0 0 20 0 2 0 11742731 635588608 146663 33554432000 4194304 5964478 140735992706096 140682519365624 5136420 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.6
Current children cumulated vsize (KiB) 620692
[startup+1799.5 s]
/proc/loadavg: 2.00 1.99 1.68 4/181 6525
/proc/meminfo: memFree=29666996/32873844 swapFree=7120/7120
[pid=6506] ppid=6502 vsize=620692 CPUtime=1799.01 cores=1,3,5,7
/proc/6506/stat : 6506 (pwbo2.02) S 6502 6506 6463 0 -1 4202496 147188 0 0 0 179844 57 0 0 20 0 2 0 11742720 635588608 146790 33554432000 4194304 5964478 140735992706096 140735992705616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6506/statm: 155173 146790 186 433 0 154737 0
[pid=6506/tid=6509] ppid=6502 vsize=620692 CPUtime=1799.22 cores=1,3,5,7
/proc/6506/task/6509/stat : 6509 (pwbo2.02) R 6502 6506 6463 0 -1 4202560 144094 0 0 0 179837 85 0 0 20 0 2 0 11742731 635588608 146790 33554432000 4194304 5964478 140735992706096 140682519365432 4393765 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.01
Current children cumulated vsize (KiB) 620692
[startup+1799.9 s]
/proc/loadavg: 2.00 1.99 1.68 4/181 6525
/proc/meminfo: memFree=29666996/32873844 swapFree=7120/7120
[pid=6506] ppid=6502 vsize=620692 CPUtime=1799.4 cores=1,3,5,7
/proc/6506/stat : 6506 (pwbo2.02) S 6502 6506 6463 0 -1 4202496 147260 0 0 0 179883 57 0 0 20 0 2 0 11742720 635588608 146862 33554432000 4194304 5964478 140735992706096 140735992705616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6506/statm: 155173 146862 186 433 0 154737 0
[pid=6506/tid=6509] ppid=6502 vsize=620692 CPUtime=1799.61 cores=1,3,5,7
/proc/6506/task/6509/stat : 6509 (pwbo2.02) R 6502 6506 6463 0 -1 4202560 144166 0 0 0 179876 85 0 0 20 0 2 0 11742731 635588608 146862 33554432000 4194304 5964478 140735992706096 140682519365432 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.4
Current children cumulated vsize (KiB) 620692
[startup+1800 s]
/proc/loadavg: 2.00 1.99 1.68 4/181 6525
/proc/meminfo: memFree=29666996/32873844 swapFree=7120/7120
[pid=6506] ppid=6502 vsize=620692 CPUtime=1799.5 cores=1,3,5,7
/proc/6506/stat : 6506 (pwbo2.02) S 6502 6506 6463 0 -1 4202496 147279 0 0 0 179893 57 0 0 20 0 2 0 11742720 635588608 146881 33554432000 4194304 5964478 140735992706096 140735992705616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6506/statm: 155173 146881 186 433 0 154737 0
[pid=6506/tid=6509] ppid=6502 vsize=620692 CPUtime=1799.71 cores=1,3,5,7
/proc/6506/task/6509/stat : 6509 (pwbo2.02) R 6502 6506 6463 0 -1 4202560 144185 0 0 0 179886 85 0 0 20 0 2 0 11742731 635588608 146881 33554432000 4194304 5964478 140735992706096 140682519365432 4399932 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.5
Current children cumulated vsize (KiB) 620692
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.84
CPU user time (s): 1798.97
CPU system time (s): 0.866868
CPU usage (%): 99.9905
Max. virtual memory (cumulated for all children) (KiB): 620692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.97
system time used= 0.866868
maximum resident set size= 587536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147282
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= 228
involuntary context switches= 2546
runsolver used 2.95255 second user time and 8.50771 second system time
The end