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-3500432-1307995094/watcher-3500432-1307995094 -o /var/tmp/evaluation-result-3500432-1307995094/solver-3500432-1307995094 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500432-1307995094.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.83 3.94 3.90 3/179 13261
/proc/meminfo: memFree=12567804/32951124 swapFree=67056684/67111528
[pid=13261] ppid=13259 vsize=134732 CPUtime=0 cores=1,3,5,7
/proc/13261/stat : 13261 (pwbo1.1) S 13259 13261 12151 0 -1 4202496 379 0 0 0 0 0 0 0 19 0 3 0 911110118 137965568 330 33554432000 4194304 5714118 140735429299744 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13261/statm: 33683 330 181 372 0 33308 0
[pid=13261/tid=13262] ppid=13259 vsize=134732 CPUtime=0 cores=1,3,5,7
/proc/13261/task/13262/stat : 13262 (pwbo1.1) R 13259 13261 12151 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 3 0 911110118 137965568 331 33554432000 4194304 5714118 140735429299744 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13261/tid=13263] ppid=13259 vsize=134732 CPUtime=0 cores=1,3,5,7
/proc/13261/task/13263/stat : 13263 (pwbo1.1) R 13259 13261 12151 0 -1 4202560 23 0 0 0 0 0 0 0 18 0 3 0 911110118 137965568 331 33554432000 4194304 5714118 140735429299744 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[startup+0.027516 s]
/proc/loadavg: 3.83 3.94 3.90 3/179 13261
/proc/meminfo: memFree=12567804/32951124 swapFree=67056684/67111528
[pid=13261] ppid=13259 vsize=134732 CPUtime=0.04 cores=1,3,5,7
/proc/13261/stat : 13261 (pwbo1.1) S 13259 13261 12151 0 -1 4202496 516 0 0 0 4 0 0 0 19 0 3 0 911110118 137965568 467 33554432000 4194304 5714118 140735429299744 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13261/statm: 33683 467 181 372 0 33308 0
[pid=13261/tid=13262] ppid=13259 vsize=134732 CPUtime=0.02 cores=1,3,5,7
/proc/13261/task/13262/stat : 13262 (pwbo1.1) R 13259 13261 12151 0 -1 4202560 125 0 0 0 2 0 0 0 20 0 3 0 911110118 137965568 467 33554432000 4194304 5714118 140735429299744 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13261/tid=13263] ppid=13259 vsize=134732 CPUtime=0.02 cores=1,3,5,7
/proc/13261/task/13263/stat : 13263 (pwbo1.1) R 13259 13261 12151 0 -1 4202560 74 0 0 0 2 0 0 0 18 0 3 0 911110118 137965568 467 33554432000 4194304 5714118 140735429299744 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 134732
[startup+0.100513 s]
/proc/loadavg: 3.83 3.94 3.90 3/179 13261
/proc/meminfo: memFree=12567804/32951124 swapFree=67056684/67111528
[pid=13261] ppid=13259 vsize=134732 CPUtime=0.19 cores=1,3,5,7
/proc/13261/stat : 13261 (pwbo1.1) S 13259 13261 12151 0 -1 4202496 853 0 0 0 18 1 0 0 19 0 3 0 911110118 137965568 804 33554432000 4194304 5714118 140735429299744 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13261/statm: 33683 804 181 372 0 33308 0
[pid=13261/tid=13262] ppid=13259 vsize=134732 CPUtime=0.09 cores=1,3,5,7
/proc/13261/task/13262/stat : 13262 (pwbo1.1) R 13259 13261 12151 0 -1 4202560 329 0 0 0 9 0 0 0 20 0 3 0 911110118 137965568 804 33554432000 4194304 5714118 140735429299744 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13261/tid=13263] ppid=13259 vsize=134732 CPUtime=0.09 cores=1,3,5,7
/proc/13261/task/13263/stat : 13263 (pwbo1.1) R 13259 13261 12151 0 -1 4202560 207 0 0 0 9 0 0 0 18 0 3 0 911110118 137965568 804 33554432000 4194304 5714118 140735429299744 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 134732
[startup+0.300465 s]
/proc/loadavg: 3.83 3.94 3.90 3/179 13261
/proc/meminfo: memFree=12567804/32951124 swapFree=67056684/67111528
[pid=13261] ppid=13259 vsize=134732 CPUtime=0.59 cores=1,3,5,7
/proc/13261/stat : 13261 (pwbo1.1) S 13259 13261 12151 0 -1 4202496 1378 0 0 0 57 2 0 0 19 0 3 0 911110118 137965568 1329 33554432000 4194304 5714118 140735429299744 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13261/statm: 33683 1329 181 372 0 33308 0
[pid=13261/tid=13262] ppid=13259 vsize=134732 CPUtime=0.29 cores=1,3,5,7
/proc/13261/task/13262/stat : 13262 (pwbo1.1) R 13259 13261 12151 0 -1 4202560 657 0 0 0 28 1 0 0 21 0 3 0 911110118 137965568 1329 33554432000 4194304 5714118 140735429299744 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13261/tid=13263] ppid=13259 vsize=134732 CPUtime=0.29 cores=1,3,5,7
/proc/13261/task/13263/stat : 13263 (pwbo1.1) R 13259 13261 12151 0 -1 4202560 404 0 0 0 28 1 0 0 18 0 3 0 911110118 137965568 1329 33554432000 4194304 5714118 140735429299744 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 134732
[startup+0.700393 s]
/proc/loadavg: 3.83 3.94 3.90 3/179 13261
/proc/meminfo: memFree=12567804/32951124 swapFree=67056684/67111528
[pid=13261] ppid=13259 vsize=135020 CPUtime=1.39 cores=1,3,5,7
/proc/13261/stat : 13261 (pwbo1.1) S 13259 13261 12151 0 -1 4202496 1820 0 0 0 135 4 0 0 19 0 3 0 911110118 138260480 1771 33554432000 4194304 5714118 140735429299744 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13261/statm: 33755 1771 181 372 0 33380 0
[pid=13261/tid=13262] ppid=13259 vsize=135020 CPUtime=0.69 cores=1,3,5,7
/proc/13261/task/13262/stat : 13262 (pwbo1.1) R 13259 13261 12151 0 -1 4202560 984 0 0 0 67 2 0 0 22 0 3 0 911110118 138260480 1771 33554432000 4194304 5714118 140735429299744 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13261/tid=13263] ppid=13259 vsize=135020 CPUtime=0.69 cores=1,3,5,7
/proc/13261/task/13263/stat : 13263 (pwbo1.1) R 13259 13261 12151 0 -1 4202560 519 0 0 0 67 2 0 0 18 0 3 0 911110118 138260480 1771 33554432000 4194304 5714118 140735429299744 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 135020
[startup+1.50025 s]
/proc/loadavg: 3.83 3.94 3.90 5/182 13264
/proc/meminfo: memFree=12561356/32951124 swapFree=67056684/67111528
[pid=13261] ppid=13259 vsize=135020 CPUtime=2.99 cores=1,3,5,7
/proc/13261/stat : 13261 (pwbo1.1) S 13259 13261 12151 0 -1 4202496 2358 0 0 0 292 7 0 0 19 0 3 0 911110118 138260480 2309 33554432000 4194304 5714118 140735429299744 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13261/statm: 33755 2309 182 372 0 33380 0
[pid=13261/tid=13262] ppid=13259 vsize=135020 CPUtime=1.49 cores=1,3,5,7
/proc/13261/task/13262/stat : 13262 (pwbo1.1) R 13259 13261 12151 0 -1 4202560 1424 0 0 0 145 4 0 0 25 0 3 0 911110118 138260480 2309 33554432000 4194304 5714118 140735429299744 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13261/tid=13263] ppid=13259 vsize=135020 CPUtime=1.49 cores=1,3,5,7
/proc/13261/task/13263/stat : 13263 (pwbo1.1) R 13259 13261 12151 0 -1 4202560 617 0 0 0 146 3 0 0 20 0 3 0 911110118 138260480 2309 33554432000 4194304 5714118 140735429299744 18446744073709551615 4300224 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 135020
[startup+3.10095 s]
/proc/loadavg: 3.83 3.94 3.90 5/182 13264
/proc/meminfo: memFree=12557548/32951124 swapFree=67056684/67111528
[pid=13261] ppid=13259 vsize=135092 CPUtime=6.19 cores=1,3,5,7
/proc/13261/stat : 13261 (pwbo1.1) S 13259 13261 12151 0 -1 4202496 3464 0 0 0 603 16 0 0 19 0 3 0 911110118 138334208 3415 33554432000 4194304 5714118 140735429299744 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13261/statm: 33773 3415 182 372 0 33398 0
[pid=13261/tid=13262] ppid=13259 vsize=135092 CPUtime=3.09 cores=1,3,5,7
/proc/13261/task/13262/stat : 13262 (pwbo1.1) R 13259 13261 12151 0 -1 4202560 2340 0 0 0 301 8 0 0 25 0 3 0 911110118 138334208 3415 33554432000 4194304 5714118 140735429299744 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13261/tid=13263] ppid=13259 vsize=135092 CPUtime=3.09 cores=1,3,5,7
/proc/13261/task/13263/stat : 13263 (pwbo1.1) R 13259 13261 12151 0 -1 4202560 807 0 0 0 302 7 0 0 25 0 3 0 911110118 138334208 3415 33554432000 4194304 5714118 140735429299744 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 135092
[startup+6.30037 s]
/proc/loadavg: 3.85 3.94 3.90 5/182 13264
/proc/meminfo: memFree=12548380/32951124 swapFree=67056684/67111528
[pid=13261] ppid=13259 vsize=135740 CPUtime=12.59 cores=1,3,5,7
/proc/13261/stat : 13261 (pwbo1.1) S 13259 13261 12151 0 -1 4202496 5080 0 0 0 1229 30 0 0 19 0 3 0 911110118 138997760 5031 33554432000 4194304 5714118 140735429299744 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13261/statm: 33935 5031 182 372 0 33560 0
[pid=13261/tid=13262] ppid=13259 vsize=135740 CPUtime=6.29 cores=1,3,5,7
/proc/13261/task/13262/stat : 13262 (pwbo1.1) R 13259 13261 12151 0 -1 4202560 3780 0 0 0 613 16 0 0 25 0 3 0 911110118 138997760 5031 33554432000 4194304 5714118 140735429299744 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13261/tid=13263] ppid=13259 vsize=135740 CPUtime=6.29 cores=1,3,5,7
/proc/13261/task/13263/stat : 13263 (pwbo1.1) R 13259 13261 12151 0 -1 4202560 983 0 0 0 615 14 0 0 25 0 3 0 911110118 138997760 5031 33554432000 4194304 5714118 140735429299744 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 135740
[startup+12.7002 s]
/proc/loadavg: 3.86 3.94 3.90 5/182 13264
/proc/meminfo: memFree=12531056/32951124 swapFree=67056684/67111528
[pid=13261] ppid=13259 vsize=137180 CPUtime=25.39 cores=1,3,5,7
/proc/13261/stat : 13261 (pwbo1.1) S 13259 13261 12151 0 -1 4202496 7928 0 0 0 2485 54 0 0 19 0 3 0 911110118 140472320 7879 33554432000 4194304 5714118 140735429299744 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13261/statm: 34295 7879 182 372 0 33920 0
[pid=13261/tid=13262] ppid=13259 vsize=137180 CPUtime=12.69 cores=1,3,5,7
/proc/13261/task/13262/stat : 13262 (pwbo1.1) R 13259 13261 12151 0 -1 4202560 6282 0 0 0 1241 28 0 0 25 0 3 0 911110118 140472320 7879 33554432000 4194304 5714118 140735429299744 18446744073709551615 4299904 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13261/tid=13263] ppid=13259 vsize=137180 CPUtime=12.69 cores=1,3,5,7
/proc/13261/task/13263/stat : 13263 (pwbo1.1) R 13259 13261 12151 0 -1 4202560 1329 0 0 0 1244 25 0 0 25 0 3 0 911110118 140472320 7879 33554432000 4194304 5714118 140735429299744 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 137180
[startup+25.5009 s]
/proc/loadavg: 3.89 3.94 3.90 5/182 13265
/proc/meminfo: memFree=12502788/32951124 swapFree=67056684/67111528
[pid=13261] ppid=13259 vsize=139484 CPUtime=51 cores=1,3,5,7
/proc/13261/stat : 13261 (pwbo1.1) S 13259 13261 12151 0 -1 4202496 12412 0 0 0 4998 102 0 0 19 0 3 0 911110118 142831616 12363 33554432000 4194304 5714118 140735429299744 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13261/statm: 34871 12364 182 372 0 34496 0
[pid=13261/tid=13262] ppid=13259 vsize=139484 CPUtime=25.49 cores=1,3,5,7
/proc/13261/task/13262/stat : 13262 (pwbo1.1) R 13259 13261 12151 0 -1 4202560 10554 0 0 0 2496 53 0 0 25 0 3 0 911110118 142831616 12364 33554432000 4194304 5714118 140735429299744 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13261/tid=13263] ppid=13259 vsize=139484 CPUtime=25.49 cores=1,3,5,7
/proc/13261/task/13263/stat : 13263 (pwbo1.1) R 13259 13261 12151 0 -1 4202560 1542 0 0 0 2501 48 0 0 25 0 3 0 911110118 142831616 12364 33554432000 4194304 5714118 140735429299744 18446744073709551615 4319689 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 139484
[startup+51.1012 s]
/proc/loadavg: 3.93 3.94 3.90 5/182 13265
/proc/meminfo: memFree=12450308/32951124 swapFree=67056684/67111528
[pid=13261] ppid=13259 vsize=206964 CPUtime=102.19 cores=1,3,5,7
/proc/13261/stat : 13261 (pwbo1.1) S 13259 13261 12151 0 -1 4202496 20327 0 0 0 10032 187 0 0 19 0 3 0 911110118 211931136 20278 33554432000 4194304 5714118 140735429299744 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13261/statm: 51741 20278 182 372 0 51366 0
[pid=13261/tid=13262] ppid=13259 vsize=206964 CPUtime=51.09 cores=1,3,5,7
/proc/13261/task/13262/stat : 13262 (pwbo1.1) R 13259 13261 12151 0 -1 4202560 18217 0 0 0 5013 96 0 0 25 0 3 0 911110118 211931136 20278 33554432000 4194304 5714118 140735429299744 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13261/tid=13263] ppid=13259 vsize=206964 CPUtime=51.1 cores=1,3,5,7
/proc/13261/task/13263/stat : 13263 (pwbo1.1) R 13259 13261 12151 0 -1 4202560 1793 0 0 0 5019 91 0 0 25 0 3 0 911110118 211931136 20278 33554432000 4194304 5714118 140735429299744 18446744073709551615 4300239 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 206964
[startup+102.307 s]
/proc/loadavg: 3.97 3.95 3.91 5/182 13267
/proc/meminfo: memFree=12385936/32951124 swapFree=67056684/67111528
[pid=13261] ppid=13259 vsize=209952 CPUtime=204.61 cores=1,3,5,7
/proc/13261/stat : 13261 (pwbo1.1) S 13259 13261 12151 0 -1 4202496 33907 0 0 0 20122 339 0 0 19 0 3 0 911110118 214990848 33843 33554432000 4194304 5714118 140735429299744 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13261/statm: 52488 33843 182 372 0 52113 0
[pid=13261/tid=13262] ppid=13259 vsize=209952 CPUtime=102.3 cores=1,3,5,7
/proc/13261/task/13262/stat : 13262 (pwbo1.1) R 13259 13261 12151 0 -1 4202560 31482 0 0 0 10061 169 0 0 25 0 3 0 911110118 214990848 33843 33554432000 4194304 5714118 140735429299744 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13261/tid=13263] ppid=13259 vsize=209952 CPUtime=102.3 cores=1,3,5,7
/proc/13261/task/13263/stat : 13263 (pwbo1.1) R 13259 13261 12151 0 -1 4202560 2108 0 0 0 10061 169 0 0 25 0 3 0 911110118 214990848 33843 33554432000 4194304 5714118 140735429299744 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.61
Current children cumulated vsize (KiB) 209952
Solver just ended. Dumping a history of the last processes samples
[startup+127.901 s]
/proc/loadavg: 3.98 3.95 3.91 5/182 13267
/proc/meminfo: memFree=12351828/32951124 swapFree=67056684/67111528
[pid=13261] ppid=13259 vsize=276532 CPUtime=255.8 cores=1,3,5,7
/proc/13261/stat : 13261 (pwbo1.1) S 13259 13261 12151 0 -1 4202496 40406 0 0 0 25173 407 0 0 19 0 3 0 911110118 283168768 40342 33554432000 4194304 5714118 140735429299744 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13261/statm: 69133 40342 182 372 0 68758 0
[pid=13261/tid=13262] ppid=13259 vsize=276532 CPUtime=127.9 cores=1,3,5,7
/proc/13261/task/13262/stat : 13262 (pwbo1.1) R 13259 13261 12151 0 -1 4202560 37825 0 0 0 12586 204 0 0 25 0 3 0 911110118 283168768 40342 33554432000 4194304 5714118 140735429299744 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13261/tid=13263] ppid=13259 vsize=276532 CPUtime=127.89 cores=1,3,5,7
/proc/13261/task/13263/stat : 13263 (pwbo1.1) R 13259 13261 12151 0 -1 4202560 2264 0 0 0 12586 203 0 0 25 0 3 0 911110118 283168768 40342 33554432000 4194304 5714118 140735429299744 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 255.8
Current children cumulated vsize (KiB) 276532
[startup+140.701 s]
/proc/loadavg: 3.98 3.95 3.91 5/182 13268
/proc/meminfo: memFree=12338800/32951124 swapFree=67056684/67111528
[pid=13261] ppid=13259 vsize=276784 CPUtime=281.41 cores=1,3,5,7
/proc/13261/stat : 13261 (pwbo1.1) S 13259 13261 12151 0 -1 4202496 43407 0 0 0 27706 435 0 0 19 0 3 0 911110118 283426816 43343 33554432000 4194304 5714118 140735429299744 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13261/statm: 69196 43343 182 372 0 68821 0
[pid=13261/tid=13262] ppid=13259 vsize=276784 CPUtime=140.7 cores=1,3,5,7
/proc/13261/task/13262/stat : 13262 (pwbo1.1) R 13259 13261 12151 0 -1 4202560 40780 0 0 0 13852 218 0 0 25 0 3 0 911110118 283426816 43343 33554432000 4194304 5714118 140735429299744 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13261/tid=13263] ppid=13259 vsize=276784 CPUtime=140.7 cores=1,3,5,7
/proc/13261/task/13263/stat : 13263 (pwbo1.1) R 13259 13261 12151 0 -1 4202560 2310 0 0 0 13853 217 0 0 25 0 3 0 911110118 283426816 43343 33554432000 4194304 5714118 140735429299744 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 281.41
Current children cumulated vsize (KiB) 276784
[startup+143.901 s]
/proc/loadavg: 3.98 3.95 3.91 5/182 13268
/proc/meminfo: memFree=12337556/32951124 swapFree=67056684/67111528
[pid=13261] ppid=13259 vsize=276784 CPUtime=287.8 cores=1,3,5,7
/proc/13261/stat : 13261 (pwbo1.1) S 13259 13261 12151 0 -1 4202496 44104 0 0 0 28338 442 0 0 19 0 3 0 911110118 283426816 44040 33554432000 4194304 5714118 140735429299744 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13261/statm: 69196 44040 182 372 0 68821 0
[pid=13261/tid=13262] ppid=13259 vsize=276784 CPUtime=143.89 cores=1,3,5,7
/proc/13261/task/13262/stat : 13262 (pwbo1.1) R 13259 13261 12151 0 -1 4202560 41399 0 0 0 14168 221 0 0 25 0 3 0 911110118 283426816 44040 33554432000 4194304 5714118 140735429299744 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13261/tid=13263] ppid=13259 vsize=276784 CPUtime=143.89 cores=1,3,5,7
/proc/13261/task/13263/stat : 13263 (pwbo1.1) R 13259 13261 12151 0 -1 4202560 2388 0 0 0 14169 220 0 0 25 0 3 0 911110118 283426816 44040 33554432000 4194304 5714118 140735429299744 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 287.8
Current children cumulated vsize (KiB) 276784
[startup+145.501 s]
/proc/loadavg: 3.98 3.95 3.91 5/182 13268
/proc/meminfo: memFree=12334580/32951124 swapFree=67056684/67111528
[pid=13261] ppid=13259 vsize=277000 CPUtime=291 cores=1,3,5,7
/proc/13261/stat : 13261 (pwbo1.1) S 13259 13261 12151 0 -1 4202496 44442 0 0 0 28655 445 0 0 19 0 3 0 911110118 283648000 44378 33554432000 4194304 5714118 140735429299744 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13261/statm: 69250 44378 182 372 0 68875 0
[pid=13261/tid=13262] ppid=13259 vsize=277000 CPUtime=145.5 cores=1,3,5,7
/proc/13261/task/13262/stat : 13262 (pwbo1.1) R 13259 13261 12151 0 -1 4202560 41735 0 0 0 14327 223 0 0 25 0 3 0 911110118 283648000 44378 33554432000 4194304 5714118 140735429299744 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13261/tid=13263] ppid=13259 vsize=277000 CPUtime=145.5 cores=1,3,5,7
/proc/13261/task/13263/stat : 13263 (pwbo1.1) R 13259 13261 12151 0 -1 4202560 2390 0 0 0 14328 222 0 0 25 0 3 0 911110118 283648000 44378 33554432000 4194304 5714118 140735429299744 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 291
Current children cumulated vsize (KiB) 277000
[startup+146.307 s]
/proc/loadavg: 3.98 3.95 3.91 5/182 13268
/proc/meminfo: memFree=12334332/32951124 swapFree=67056684/67111528
[pid=13261] ppid=13259 vsize=277000 CPUtime=292.62 cores=1,3,5,7
/proc/13261/stat : 13261 (pwbo1.1) S 13259 13261 12151 0 -1 4202496 44486 0 0 0 28815 447 0 0 19 0 3 0 911110118 283648000 44422 33554432000 4194304 5714118 140735429299744 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13261/statm: 69250 44422 182 372 0 68875 0
[pid=13261/tid=13262] ppid=13259 vsize=277000 CPUtime=146.3 cores=1,3,5,7
/proc/13261/task/13262/stat : 13262 (pwbo1.1) R 13259 13261 12151 0 -1 4202560 41735 0 0 0 14406 224 0 0 25 0 3 0 911110118 283648000 44422 33554432000 4194304 5714118 140735429299744 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13261/tid=13263] ppid=13259 vsize=277000 CPUtime=146.3 cores=1,3,5,7
/proc/13261/task/13263/stat : 13263 (pwbo1.1) R 13259 13261 12151 0 -1 4202560 2434 0 0 0 14408 222 0 0 25 0 3 0 911110118 283648000 44422 33554432000 4194304 5714118 140735429299744 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 292.62
Current children cumulated vsize (KiB) 277000
[startup+146.701 s]
/proc/loadavg: 3.98 3.95 3.91 5/182 13268
/proc/meminfo: memFree=12334332/32951124 swapFree=67056684/67111528
[pid=13261] ppid=13259 vsize=277000 CPUtime=293.36 cores=1,3,5,7
/proc/13261/stat : 13261 (pwbo1.1) S 13259 13261 12151 0 -1 4202496 44584 0 0 0 28889 447 0 0 18 0 2 0 911110118 283648000 44520 33554432000 4194304 5714118 140735429299744 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13261/statm: 69250 44520 182 372 0 68875 0
[pid=13261/tid=13263] ppid=13259 vsize=277000 CPUtime=146.69 cores=1,3,5,7
/proc/13261/task/13263/stat : 13263 (pwbo1.1) R 13259 13261 12151 0 -1 4202560 2446 0 0 0 14447 222 0 0 25 0 2 0 911110118 283648000 44520 33554432000 4194304 5714118 140735429299744 18446744073709551615 4300228 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 293.36
Current children cumulated vsize (KiB) 277000
[startup+146.901 s]
/proc/loadavg: 3.98 3.95 3.91 5/182 13268
/proc/meminfo: memFree=12334332/32951124 swapFree=67056684/67111528
[pid=13261] ppid=13259 vsize=277000 CPUtime=293.56 cores=1,3,5,7
/proc/13261/stat : 13261 (pwbo1.1) S 13259 13261 12151 0 -1 4202496 44584 0 0 0 28909 447 0 0 18 0 2 0 911110118 283648000 44520 33554432000 4194304 5714118 140735429299744 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13261/statm: 69250 44520 182 372 0 68875 0
[pid=13261/tid=13263] ppid=13259 vsize=277000 CPUtime=146.89 cores=1,3,5,7
/proc/13261/task/13263/stat : 13263 (pwbo1.1) R 13259 13261 12151 0 -1 4202560 2446 0 0 0 14467 222 0 0 25 0 2 0 911110118 283648000 44520 33554432000 4194304 5714118 140735429299744 18446744073709551615 4300228 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 293.56
Current children cumulated vsize (KiB) 277000
Child status: 0
Real time (s): 146.966
CPU time (s): 293.638
CPU user time (s): 289.152
CPU system time (s): 4.48632
CPU usage (%): 199.8
Max. virtual memory (cumulated for all children) (KiB): 277000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 289.152
system time used= 4.48632
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44588
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= 12
involuntary context switches= 416
runsolver used 0.184971 second user time and 0.495924 second system time
The end