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-3500426-1307995046/watcher-3500426-1307995046 -o /var/tmp/evaluation-result-3500426-1307995046/solver-3500426-1307995046 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500426-1307995046.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.97 3.95 3.91 3/179 17665
/proc/meminfo: memFree=14121968/32951124 swapFree=67054712/67111528
[pid=17665] ppid=17663 vsize=134940 CPUtime=0 cores=1,3,5,7
/proc/17665/stat : 17665 (pwbo1.1) S 17663 17665 16567 0 -1 4202496 481 0 0 0 0 0 0 0 25 0 3 0 989735296 138178560 428 33554432000 4194304 5714118 140736552623760 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17665/statm: 33735 428 178 372 0 33360 0
[pid=17665/tid=17666] ppid=17663 vsize=134940 CPUtime=0 cores=1,3,5,7
/proc/17665/task/17666/stat : 17666 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 55 0 0 0 0 0 0 0 25 0 3 0 989735296 138178560 428 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17665/tid=17667] ppid=17663 vsize=134940 CPUtime=0 cores=1,3,5,7
/proc/17665/task/17667/stat : 17667 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 95 0 0 0 0 0 0 0 25 0 3 0 989735296 138178560 429 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[startup+0.015645 s]
/proc/loadavg: 3.97 3.95 3.91 3/179 17665
/proc/meminfo: memFree=14121968/32951124 swapFree=67054712/67111528
[pid=17665] ppid=17663 vsize=134940 CPUtime=0.02 cores=1,3,5,7
/proc/17665/stat : 17665 (pwbo1.1) S 17663 17665 16567 0 -1 4202496 555 0 0 0 2 0 0 0 25 0 3 0 989735296 138178560 502 33554432000 4194304 5714118 140736552623760 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17665/statm: 33735 504 179 372 0 33360 0
[pid=17665/tid=17666] ppid=17663 vsize=134940 CPUtime=0.01 cores=1,3,5,7
/proc/17665/task/17666/stat : 17666 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 97 0 0 0 1 0 0 0 25 0 3 0 989735296 138178560 504 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17665/tid=17667] ppid=17663 vsize=134940 CPUtime=0.01 cores=1,3,5,7
/proc/17665/task/17667/stat : 17667 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 128 0 0 0 1 0 0 0 25 0 3 0 989735296 138178560 504 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 134940
[startup+0.100631 s]
/proc/loadavg: 3.97 3.95 3.91 3/179 17665
/proc/meminfo: memFree=14121968/32951124 swapFree=67054712/67111528
[pid=17665] ppid=17663 vsize=134940 CPUtime=0.18 cores=1,3,5,7
/proc/17665/stat : 17665 (pwbo1.1) S 17663 17665 16567 0 -1 4202496 967 0 0 0 18 0 0 0 25 0 3 0 989735296 138178560 914 33554432000 4194304 5714118 140736552623760 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17665/statm: 33735 915 179 372 0 33360 0
[pid=17665/tid=17666] ppid=17663 vsize=134940 CPUtime=0.09 cores=1,3,5,7
/proc/17665/task/17666/stat : 17666 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 297 0 0 0 9 0 0 0 25 0 3 0 989735296 138178560 915 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17665/tid=17667] ppid=17663 vsize=134940 CPUtime=0.09 cores=1,3,5,7
/proc/17665/task/17667/stat : 17667 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 339 0 0 0 9 0 0 0 25 0 3 0 989735296 138178560 915 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 134940
[startup+0.300596 s]
/proc/loadavg: 3.97 3.95 3.91 3/179 17665
/proc/meminfo: memFree=14121968/32951124 swapFree=67054712/67111528
[pid=17665] ppid=17663 vsize=134940 CPUtime=0.58 cores=1,3,5,7
/proc/17665/stat : 17665 (pwbo1.1) S 17663 17665 16567 0 -1 4202496 1530 0 0 0 57 1 0 0 25 0 3 0 989735296 138178560 1477 33554432000 4194304 5714118 140736552623760 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17665/statm: 33735 1477 179 372 0 33360 0
[pid=17665/tid=17666] ppid=17663 vsize=134940 CPUtime=0.28 cores=1,3,5,7
/proc/17665/task/17666/stat : 17666 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 690 0 0 0 28 0 0 0 25 0 3 0 989735296 138178560 1477 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17665/tid=17667] ppid=17663 vsize=134940 CPUtime=0.28 cores=1,3,5,7
/proc/17665/task/17667/stat : 17667 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 508 0 0 0 28 0 0 0 25 0 3 0 989735296 138178560 1477 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 134940
[startup+0.700529 s]
/proc/loadavg: 3.97 3.95 3.91 3/179 17665
/proc/meminfo: memFree=14121968/32951124 swapFree=67054712/67111528
[pid=17665] ppid=17663 vsize=134940 CPUtime=1.39 cores=1,3,5,7
/proc/17665/stat : 17665 (pwbo1.1) S 17663 17665 16567 0 -1 4202496 2676 0 0 0 135 4 0 0 25 0 3 0 989735296 138178560 2623 33554432000 4194304 5714118 140736552623760 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17665/statm: 33735 2623 179 372 0 33360 0
[pid=17665/tid=17666] ppid=17663 vsize=134940 CPUtime=0.68 cores=1,3,5,7
/proc/17665/task/17666/stat : 17666 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 1349 0 0 0 67 1 0 0 25 0 3 0 989735296 138178560 2623 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17665/tid=17667] ppid=17663 vsize=134940 CPUtime=0.69 cores=1,3,5,7
/proc/17665/task/17667/stat : 17667 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 995 0 0 0 67 2 0 0 25 0 3 0 989735296 138178560 2623 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 134940
[startup+1.50039 s]
/proc/loadavg: 3.97 3.95 3.91 5/182 17668
/proc/meminfo: memFree=14110080/32951124 swapFree=67054712/67111528
[pid=17665] ppid=17663 vsize=135228 CPUtime=2.99 cores=1,3,5,7
/proc/17665/stat : 17665 (pwbo1.1) S 17663 17665 16567 0 -1 4202496 3973 0 0 0 293 6 0 0 25 0 3 0 989735296 138473472 3920 33554432000 4194304 5714118 140736552623760 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17665/statm: 33807 3920 179 372 0 33432 0
[pid=17665/tid=17666] ppid=17663 vsize=135228 CPUtime=1.49 cores=1,3,5,7
/proc/17665/task/17666/stat : 17666 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 2207 0 0 0 147 2 0 0 25 0 3 0 989735296 138473472 3920 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17665/tid=17667] ppid=17663 vsize=135228 CPUtime=1.49 cores=1,3,5,7
/proc/17665/task/17667/stat : 17667 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 1434 0 0 0 145 4 0 0 25 0 3 0 989735296 138473472 3920 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 135228
[startup+3.1011 s]
/proc/loadavg: 3.97 3.95 3.91 5/182 17668
/proc/meminfo: memFree=14104884/32951124 swapFree=67054712/67111528
[pid=17665] ppid=17663 vsize=135224 CPUtime=6.19 cores=1,3,5,7
/proc/17665/stat : 17665 (pwbo1.1) S 17663 17665 16567 0 -1 4202496 5140 0 0 0 607 12 0 0 25 0 3 0 989735296 138469376 5059 33554432000 4194304 5714118 140736552623760 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17665/statm: 33806 5059 180 372 0 33431 0
[pid=17665/tid=17666] ppid=17663 vsize=135224 CPUtime=3.09 cores=1,3,5,7
/proc/17665/task/17666/stat : 17666 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 3148 0 0 0 304 5 0 0 25 0 3 0 989735296 138469376 5059 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17665/tid=17667] ppid=17663 vsize=135224 CPUtime=3.09 cores=1,3,5,7
/proc/17665/task/17667/stat : 17667 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 1660 0 0 0 303 6 0 0 25 0 3 0 989735296 138469376 5059 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 135224
[startup+6.30055 s]
/proc/loadavg: 3.97 3.95 3.91 5/182 17668
/proc/meminfo: memFree=14100184/32951124 swapFree=67054712/67111528
[pid=17665] ppid=17663 vsize=135444 CPUtime=12.59 cores=1,3,5,7
/proc/17665/stat : 17665 (pwbo1.1) S 17663 17665 16567 0 -1 4202496 5913 0 0 0 1237 22 0 0 25 0 3 0 989735296 138694656 5832 33554432000 4194304 5714118 140736552623760 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17665/statm: 33861 5832 180 372 0 33486 0
[pid=17665/tid=17666] ppid=17663 vsize=135444 CPUtime=6.29 cores=1,3,5,7
/proc/17665/task/17666/stat : 17666 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 3368 0 0 0 618 11 0 0 25 0 3 0 989735296 138694656 5832 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17665/tid=17667] ppid=17663 vsize=135444 CPUtime=6.29 cores=1,3,5,7
/proc/17665/task/17667/stat : 17667 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 2213 0 0 0 618 11 0 0 25 0 3 0 989735296 138694656 5832 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 135444
[startup+12.7004 s]
/proc/loadavg: 3.98 3.95 3.91 5/182 17669
/proc/meminfo: memFree=14086160/32951124 swapFree=67054712/67111528
[pid=17665] ppid=17663 vsize=135856 CPUtime=25.39 cores=1,3,5,7
/proc/17665/stat : 17665 (pwbo1.1) S 17663 17665 16567 0 -1 4202496 9662 0 0 0 2501 38 0 0 25 0 3 0 989735296 139116544 9581 33554432000 4194304 5714118 140736552623760 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17665/statm: 33964 9581 180 372 0 33589 0
[pid=17665/tid=17666] ppid=17663 vsize=135856 CPUtime=12.69 cores=1,3,5,7
/proc/17665/task/17666/stat : 17666 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 6311 0 0 0 1251 18 0 0 25 0 3 0 989735296 139116544 9581 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17665/tid=17667] ppid=17663 vsize=135856 CPUtime=12.69 cores=1,3,5,7
/proc/17665/task/17667/stat : 17667 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 3019 0 0 0 1249 20 0 0 25 0 3 0 989735296 139116544 9581 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 135856
[startup+25.5012 s]
/proc/loadavg: 3.98 3.95 3.91 5/182 17669
/proc/meminfo: memFree=14063852/32951124 swapFree=67054712/67111528
[pid=17665] ppid=17663 vsize=136272 CPUtime=50.99 cores=1,3,5,7
/proc/17665/stat : 17665 (pwbo1.1) S 17663 17665 16567 0 -1 4202496 14733 0 0 0 5035 64 0 0 25 0 3 0 989735296 139542528 14652 33554432000 4194304 5714118 140736552623760 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17665/statm: 34068 14652 180 372 0 33693 0
[pid=17665/tid=17666] ppid=17663 vsize=136272 CPUtime=25.49 cores=1,3,5,7
/proc/17665/task/17666/stat : 17666 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 10377 0 0 0 2519 30 0 0 25 0 3 0 989735296 139542528 14652 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17665/tid=17667] ppid=17663 vsize=136272 CPUtime=25.48 cores=1,3,5,7
/proc/17665/task/17667/stat : 17667 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 4024 0 0 0 2515 33 0 0 25 0 3 0 989735296 139542528 14652 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 136272
[startup+51.1007 s]
/proc/loadavg: 3.99 3.96 3.91 5/182 17670
/proc/meminfo: memFree=14034004/32951124 swapFree=67054712/67111528
[pid=17665] ppid=17663 vsize=202348 CPUtime=102.19 cores=1,3,5,7
/proc/17665/stat : 17665 (pwbo1.1) S 17663 17665 16567 0 -1 4202496 22303 0 0 0 10100 119 0 0 25 0 3 0 989735296 207204352 22222 33554432000 4194304 5714118 140736552623760 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17665/statm: 50587 22222 180 372 0 50212 0
[pid=17665/tid=17666] ppid=17663 vsize=202348 CPUtime=51.09 cores=1,3,5,7
/proc/17665/task/17666/stat : 17666 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 17436 0 0 0 5057 52 0 0 25 0 3 0 989735296 207204352 22222 33554432000 4194304 5714118 140736552623760 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17665/tid=17667] ppid=17663 vsize=202348 CPUtime=51.09 cores=1,3,5,7
/proc/17665/task/17667/stat : 17667 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 4535 0 0 0 5042 67 0 0 25 0 3 0 989735296 207204352 22222 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 202348
[startup+102.307 s]
/proc/loadavg: 3.99 3.96 3.91 5/182 17671
/proc/meminfo: memFree=13971712/32951124 swapFree=67054712/67111528
[pid=17665] ppid=17663 vsize=203100 CPUtime=204.6 cores=1,3,5,7
/proc/17665/stat : 17665 (pwbo1.1) S 17663 17665 16567 0 -1 4202496 34982 0 0 0 20244 216 0 0 25 0 3 0 989735296 207974400 34901 33554432000 4194304 5714118 140736552623760 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17665/statm: 50775 34901 180 372 0 50400 0
[pid=17665/tid=17666] ppid=17663 vsize=203100 CPUtime=102.3 cores=1,3,5,7
/proc/17665/task/17666/stat : 17666 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 29182 0 0 0 10142 88 0 0 25 0 3 0 989735296 207974400 34901 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17665/tid=17667] ppid=17663 vsize=203100 CPUtime=102.3 cores=1,3,5,7
/proc/17665/task/17667/stat : 17667 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 5468 0 0 0 10102 128 0 0 25 0 3 0 989735296 207974400 34901 33554432000 4194304 5714118 140736552623760 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 203100
[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 17673
/proc/meminfo: memFree=13766936/32951124 swapFree=67054712/67111528
[pid=17665] ppid=17663 vsize=269228 CPUtime=324.6 cores=1,3,5,7
/proc/17665/stat : 17665 (pwbo1.1) S 17663 17665 16567 0 -1 4202496 48519 0 0 0 32127 333 0 0 25 0 3 0 989735296 275689472 48438 33554432000 4194304 5714118 140736552623760 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17665/statm: 67307 48438 180 372 0 66932 0
[pid=17665/tid=17666] ppid=17663 vsize=269228 CPUtime=162.29 cores=1,3,5,7
/proc/17665/task/17666/stat : 17666 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 41953 0 0 0 16097 132 0 0 25 0 3 0 989735296 275689472 48438 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17665/tid=17667] ppid=17663 vsize=269228 CPUtime=162.29 cores=1,3,5,7
/proc/17665/task/17667/stat : 17667 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 6234 0 0 0 16029 200 0 0 25 0 3 0 989735296 275689472 48438 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 324.6
Current children cumulated vsize (KiB) 269228
[startup+222.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 17683
/proc/meminfo: memFree=13502448/32951124 swapFree=67054712/67111528
[pid=17665] ppid=17663 vsize=336080 CPUtime=444.59 cores=1,3,5,7
/proc/17665/stat : 17665 (pwbo1.1) S 17663 17665 16567 0 -1 4202496 60793 0 0 0 44008 451 0 0 25 0 3 0 989735296 344145920 60712 33554432000 4194304 5714118 140736552623760 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17665/statm: 84020 60712 180 372 0 83645 0
[pid=17665/tid=17666] ppid=17663 vsize=336080 CPUtime=222.3 cores=1,3,5,7
/proc/17665/task/17666/stat : 17666 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 53802 0 0 0 22054 176 0 0 25 0 3 0 989735296 344145920 60712 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17665/tid=17667] ppid=17663 vsize=336080 CPUtime=222.29 cores=1,3,5,7
/proc/17665/task/17667/stat : 17667 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 6659 0 0 0 21954 275 0 0 25 0 3 0 989735296 344145920 60712 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 336080
################
# More data... #
################
/proc/17665/task/17667/stat : 17667 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 8447 0 0 0 39759 470 0 0 25 0 3 0 989735296 487038976 99587 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 804.61
Current children cumulated vsize (KiB) 475624
[startup+462.301 s]
/proc/loadavg: 4.04 4.00 3.92 5/182 17690
/proc/meminfo: memFree=12979068/32951124 swapFree=67054712/67111528
[pid=17665] ppid=17663 vsize=543968 CPUtime=924.61 cores=1,3,5,7
/proc/17665/stat : 17665 (pwbo1.1) S 17663 17665 16567 0 -1 4202496 110522 0 0 0 91617 844 0 0 25 0 3 0 989735296 557023232 110389 33554432000 4194304 5714118 140736552623760 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17665/statm: 135992 110389 180 372 0 135617 0
[pid=17665/tid=17666] ppid=17663 vsize=543968 CPUtime=462.3 cores=1,3,5,7
/proc/17665/task/17666/stat : 17666 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 101502 0 0 0 45909 321 0 0 25 0 3 0 989735296 557023232 110389 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17665/tid=17667] ppid=17663 vsize=543968 CPUtime=462.3 cores=1,3,5,7
/proc/17665/task/17667/stat : 17667 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 8688 0 0 0 45707 523 0 0 25 0 3 0 989735296 557023232 110389 33554432000 4194304 5714118 140736552623760 18446744073709551615 4319325 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 924.61
Current children cumulated vsize (KiB) 543968
[startup+522.301 s]
/proc/loadavg: 4.01 4.00 3.92 5/182 17691
/proc/meminfo: memFree=12935624/32951124 swapFree=67054712/67111528
[pid=17665] ppid=17663 vsize=546560 CPUtime=1044.62 cores=1,3,5,7
/proc/17665/stat : 17665 (pwbo1.1) S 17663 17665 16567 0 -1 4202496 119562 0 0 0 103518 944 0 0 25 0 3 0 989735296 559677440 119421 33554432000 4194304 5714118 140736552623760 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17665/statm: 136640 119421 180 372 0 136265 0
[pid=17665/tid=17666] ppid=17663 vsize=546560 CPUtime=522.31 cores=1,3,5,7
/proc/17665/task/17666/stat : 17666 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 110396 0 0 0 51875 356 0 0 25 0 3 0 989735296 559677440 119421 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17665/tid=17667] ppid=17663 vsize=546560 CPUtime=522.3 cores=1,3,5,7
/proc/17665/task/17667/stat : 17667 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 8834 0 0 0 51642 588 0 0 25 0 3 0 989735296 559677440 119421 33554432000 4194304 5714118 140736552623760 18446744073709551615 4299904 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1044.62
Current children cumulated vsize (KiB) 546560
[startup+582.301 s]
/proc/loadavg: 3.76 3.94 3.90 5/182 17734
/proc/meminfo: memFree=14262704/32951124 swapFree=67054712/67111528
[pid=17665] ppid=17663 vsize=665376 CPUtime=1164.62 cores=1,3,5,7
/proc/17665/stat : 17665 (pwbo1.1) S 17663 17665 16567 0 -1 4202496 144716 0 0 0 115396 1066 0 0 25 0 3 0 989735296 681345024 141924 33554432000 4194304 5714118 140736552623760 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17665/statm: 166344 141924 180 372 0 165969 0
[pid=17665/tid=17666] ppid=17663 vsize=665376 CPUtime=582.3 cores=1,3,5,7
/proc/17665/task/17666/stat : 17666 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 135263 0 0 0 57827 403 0 0 25 0 3 0 989735296 681345024 141924 33554432000 4194304 5714118 140736552623760 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17665/tid=17667] ppid=17663 vsize=665376 CPUtime=582.3 cores=1,3,5,7
/proc/17665/task/17667/stat : 17667 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 9121 0 0 0 57568 662 0 0 25 0 3 0 989735296 681345024 141924 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1164.62
Current children cumulated vsize (KiB) 665376
[startup+642.301 s]
/proc/loadavg: 3.91 3.95 3.91 5/182 17735
/proc/meminfo: memFree=14198424/32951124 swapFree=67054712/67111528
[pid=17665] ppid=17663 vsize=665660 CPUtime=1284.63 cores=1,3,5,7
/proc/17665/stat : 17665 (pwbo1.1) S 17663 17665 16567 0 -1 4202496 146156 0 0 0 127297 1166 0 0 25 0 3 0 989735296 681635840 143364 33554432000 4194304 5714118 140736552623760 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17665/statm: 166415 143364 180 372 0 166040 0
[pid=17665/tid=17666] ppid=17663 vsize=665660 CPUtime=642.31 cores=1,3,5,7
/proc/17665/task/17666/stat : 17666 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 135381 0 0 0 63787 444 0 0 25 0 3 0 989735296 681635840 143364 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17665/tid=17667] ppid=17663 vsize=665660 CPUtime=642.31 cores=1,3,5,7
/proc/17665/task/17667/stat : 17667 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 10443 0 0 0 63509 722 0 0 25 0 3 0 989735296 681635840 143364 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1284.63
Current children cumulated vsize (KiB) 665660
Solver just ended. Dumping a history of the last processes samples
[startup+665.506 s]
/proc/loadavg: 3.93 3.95 3.91 5/182 17736
/proc/meminfo: memFree=14178800/32951124 swapFree=67054712/67111528
[pid=17665] ppid=17663 vsize=665872 CPUtime=1331.03 cores=1,3,5,7
/proc/17665/stat : 17665 (pwbo1.1) S 17663 17665 16567 0 -1 4202496 146291 0 0 0 131894 1209 0 0 25 0 3 0 989735296 681852928 143499 33554432000 4194304 5714118 140736552623760 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17665/statm: 166468 143499 180 372 0 166093 0
[pid=17665/tid=17666] ppid=17663 vsize=665872 CPUtime=665.51 cores=1,3,5,7
/proc/17665/task/17666/stat : 17666 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 135442 0 0 0 66094 457 0 0 25 0 3 0 989735296 681852928 143499 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17665/tid=17667] ppid=17663 vsize=665872 CPUtime=665.51 cores=1,3,5,7
/proc/17665/task/17667/stat : 17667 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 10517 0 0 0 65799 752 0 0 25 0 3 0 989735296 681852928 143499 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1331.03
Current children cumulated vsize (KiB) 665872
[startup+678.301 s]
/proc/loadavg: 3.95 3.95 3.91 5/182 17736
/proc/meminfo: memFree=14168632/32951124 swapFree=67054712/67111528
[pid=17665] ppid=17663 vsize=665872 CPUtime=1356.62 cores=1,3,5,7
/proc/17665/stat : 17665 (pwbo1.1) S 17663 17665 16567 0 -1 4202496 146336 0 0 0 134432 1230 0 0 25 0 3 0 989735296 681852928 143544 33554432000 4194304 5714118 140736552623760 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17665/statm: 166468 143544 180 372 0 166093 0
[pid=17665/tid=17666] ppid=17663 vsize=665872 CPUtime=678.3 cores=1,3,5,7
/proc/17665/task/17666/stat : 17666 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 135481 0 0 0 67368 462 0 0 25 0 3 0 989735296 681852928 143544 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17665/tid=17667] ppid=17663 vsize=665872 CPUtime=678.31 cores=1,3,5,7
/proc/17665/task/17667/stat : 17667 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 10523 0 0 0 67064 767 0 0 25 0 3 0 989735296 681852928 143544 33554432000 4194304 5714118 140736552623760 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1356.62
Current children cumulated vsize (KiB) 665872
[startup+684.701 s]
/proc/loadavg: 3.95 3.95 3.91 5/182 17736
/proc/meminfo: memFree=14163920/32951124 swapFree=67054712/67111528
[pid=17665] ppid=17663 vsize=665872 CPUtime=1369.42 cores=1,3,5,7
/proc/17665/stat : 17665 (pwbo1.1) S 17663 17665 16567 0 -1 4202496 146336 0 0 0 135701 1241 0 0 25 0 3 0 989735296 681852928 143544 33554432000 4194304 5714118 140736552623760 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17665/statm: 166468 143544 180 372 0 166093 0
[pid=17665/tid=17666] ppid=17663 vsize=665872 CPUtime=684.71 cores=1,3,5,7
/proc/17665/task/17666/stat : 17666 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 135481 0 0 0 68005 466 0 0 25 0 3 0 989735296 681852928 143544 33554432000 4194304 5714118 140736552623760 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17665/tid=17667] ppid=17663 vsize=665872 CPUtime=684.71 cores=1,3,5,7
/proc/17665/task/17667/stat : 17667 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 10523 0 0 0 67696 775 0 0 25 0 3 0 989735296 681852928 143544 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1369.42
Current children cumulated vsize (KiB) 665872
[startup+691.101 s]
/proc/loadavg: 3.96 3.95 3.91 5/182 17737
/proc/meminfo: memFree=14158092/32951124 swapFree=67054712/67111528
[pid=17665] ppid=17663 vsize=665872 CPUtime=1382.22 cores=1,3,5,7
/proc/17665/stat : 17665 (pwbo1.1) S 17663 17665 16567 0 -1 4202496 146347 0 0 0 136972 1250 0 0 25 0 3 0 989735296 681852928 143555 33554432000 4194304 5714118 140736552623760 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17665/statm: 166468 143555 180 372 0 166093 0
[pid=17665/tid=17666] ppid=17663 vsize=665872 CPUtime=691.1 cores=1,3,5,7
/proc/17665/task/17666/stat : 17666 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 135492 0 0 0 68642 468 0 0 25 0 3 0 989735296 681852928 143555 33554432000 4194304 5714118 140736552623760 18446744073709551615 4300160 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17665/tid=17667] ppid=17663 vsize=665872 CPUtime=691.11 cores=1,3,5,7
/proc/17665/task/17667/stat : 17667 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 10523 0 0 0 68330 781 0 0 25 0 3 0 989735296 681852928 143555 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1382.22
Current children cumulated vsize (KiB) 665872
[startup+692.7 s]
/proc/loadavg: 3.96 3.95 3.91 5/182 17737
/proc/meminfo: memFree=14155612/32951124 swapFree=67054712/67111528
[pid=17665] ppid=17663 vsize=665872 CPUtime=1385.42 cores=1,3,5,7
/proc/17665/stat : 17665 (pwbo1.1) S 17663 17665 16567 0 -1 4202496 146348 0 0 0 137290 1252 0 0 25 0 3 0 989735296 681852928 143556 33554432000 4194304 5714118 140736552623760 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17665/statm: 166468 143556 180 372 0 166093 0
[pid=17665/tid=17666] ppid=17663 vsize=665872 CPUtime=692.71 cores=1,3,5,7
/proc/17665/task/17666/stat : 17666 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 135492 0 0 0 68801 470 0 0 25 0 3 0 989735296 681852928 143556 33554432000 4194304 5714118 140736552623760 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17665/tid=17667] ppid=17663 vsize=665872 CPUtime=692.7 cores=1,3,5,7
/proc/17665/task/17667/stat : 17667 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 10524 0 0 0 68488 782 0 0 25 0 3 0 989735296 681852928 143556 33554432000 4194304 5714118 140736552623760 18446744073709551615 4300224 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1385.42
Current children cumulated vsize (KiB) 665872
[startup+694.301 s]
/proc/loadavg: 3.96 3.95 3.91 5/182 17737
/proc/meminfo: memFree=14155728/32951124 swapFree=67054712/67111528
[pid=17665] ppid=17663 vsize=665872 CPUtime=1388.62 cores=1,3,5,7
/proc/17665/stat : 17665 (pwbo1.1) S 17663 17665 16567 0 -1 4202496 146348 0 0 0 137606 1256 0 0 25 0 3 0 989735296 681852928 143556 33554432000 4194304 5714118 140736552623760 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17665/statm: 166468 143556 180 372 0 166093 0
[pid=17665/tid=17666] ppid=17663 vsize=665872 CPUtime=694.31 cores=1,3,5,7
/proc/17665/task/17666/stat : 17666 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 135492 0 0 0 68960 471 0 0 25 0 3 0 989735296 681852928 143556 33554432000 4194304 5714118 140736552623760 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17665/tid=17667] ppid=17663 vsize=665872 CPUtime=694.31 cores=1,3,5,7
/proc/17665/task/17667/stat : 17667 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 10524 0 0 0 68646 785 0 0 25 0 3 0 989735296 681852928 143556 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1388.62
Current children cumulated vsize (KiB) 665872
[startup+694.701 s]
/proc/loadavg: 3.96 3.95 3.91 5/182 17737
/proc/meminfo: memFree=14155728/32951124 swapFree=67054712/67111528
[pid=17665] ppid=17663 vsize=665872 CPUtime=1389.42 cores=1,3,5,7
/proc/17665/stat : 17665 (pwbo1.1) S 17663 17665 16567 0 -1 4202496 146348 0 0 0 137685 1257 0 0 25 0 3 0 989735296 681852928 143556 33554432000 4194304 5714118 140736552623760 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17665/statm: 166468 143556 180 372 0 166093 0
[pid=17665/tid=17666] ppid=17663 vsize=665872 CPUtime=694.7 cores=1,3,5,7
/proc/17665/task/17666/stat : 17666 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 135492 0 0 0 68999 471 0 0 25 0 3 0 989735296 681852928 143556 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17665/tid=17667] ppid=17663 vsize=665872 CPUtime=694.7 cores=1,3,5,7
/proc/17665/task/17667/stat : 17667 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 10524 0 0 0 68685 785 0 0 25 0 3 0 989735296 681852928 143556 33554432000 4194304 5714118 140736552623760 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1389.42
Current children cumulated vsize (KiB) 665872
[startup+695.101 s]
/proc/loadavg: 3.96 3.95 3.91 5/182 17737
/proc/meminfo: memFree=14154240/32951124 swapFree=67054712/67111528
[pid=17665] ppid=17663 vsize=665872 CPUtime=1390.23 cores=1,3,5,7
/proc/17665/stat : 17665 (pwbo1.1) S 17663 17665 16567 0 -1 4202496 146348 0 0 0 137766 1257 0 0 25 0 3 0 989735296 681852928 143556 33554432000 4194304 5714118 140736552623760 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17665/statm: 166468 143556 180 372 0 166093 0
[pid=17665/tid=17666] ppid=17663 vsize=665872 CPUtime=695.11 cores=1,3,5,7
/proc/17665/task/17666/stat : 17666 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 135492 0 0 0 69040 471 0 0 25 0 3 0 989735296 681852928 143556 33554432000 4194304 5714118 140736552623760 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17665/tid=17667] ppid=17663 vsize=665872 CPUtime=695.11 cores=1,3,5,7
/proc/17665/task/17667/stat : 17667 (pwbo1.1) R 17663 17665 16567 0 -1 4202560 10524 0 0 0 68726 785 0 0 25 0 3 0 989735296 681852928 143556 33554432000 4194304 5714118 140736552623760 18446744073709551615 4300239 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1390.23
Current children cumulated vsize (KiB) 665872
[startup+695.207 s]
/proc/loadavg: 3.96 3.95 3.91 5/182 17737
/proc/meminfo: memFree=14154240/32951124 swapFree=67054712/67111528
[pid=17665] ppid=17663 vsize=0 CPUtime=1390.42 cores=1,3,5,7
/proc/17665/stat : 17665 (pwbo1.1) R 17663 17665 16567 0 -1 4202500 146353 0 0 0 137785 1257 0 0 18 0 1 0 989735296 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17665/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1390.42
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 695.23
CPU time (s): 1390.46
CPU user time (s): 1377.86
CPU system time (s): 12.6001
CPU usage (%): 200
Max. virtual memory (cumulated for all children) (KiB): 678604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1377.86
system time used= 12.6001
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146353
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= 59
involuntary context switches= 10025
runsolver used 1.20082 second user time and 2.48262 second system time
The end