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-3500182-1307992187/watcher-3500182-1307992187 -o /tmp/evaluation-result-3500182-1307992187/solver-3500182-1307992187 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500182-1307992187.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.99 3.97 3.53 2/172 14777
/proc/meminfo: memFree=32036124/32951124 swapFree=67050044/67111528
[pid=14777] ppid=14775 vsize=135272 CPUtime=0 cores=1,3,5,7
/proc/14777/stat : 14777 (pwbo1.1) S 14775 14777 14247 0 -1 4202496 566 0 0 0 0 0 0 0 24 0 3 0 910821493 138518528 508 33554432000 4194304 5714118 140736955718256 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14777/statm: 33818 523 178 372 0 33443 0
[pid=14777/tid=14778] ppid=14775 vsize=135524 CPUtime=0 cores=1,3,5,7
/proc/14777/task/14778/stat : 14778 (pwbo1.1) R 14775 14777 14247 0 -1 4202560 80 0 0 0 0 0 0 0 18 0 3 0 910821493 138776576 558 33554432000 4194304 5714118 140736955718256 18446744073709551615 5078183 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=14777/tid=14779] ppid=14775 vsize=135524 CPUtime=0 cores=1,3,5,7
/proc/14777/task/14779/stat : 14779 (pwbo1.1) R 14775 14777 14247 0 -1 4202560 158 0 0 0 0 0 0 0 25 0 3 0 910821493 138776576 560 33554432000 4194304 5714118 140736955718256 18446744073709551615 4315294 0 0 4096 16387 0 0 0 -1 3 0 0 0
[startup+0.023622 s]
/proc/loadavg: 3.99 3.97 3.53 2/172 14777
/proc/meminfo: memFree=32036124/32951124 swapFree=67050044/67111528
[pid=14777] ppid=14775 vsize=137616 CPUtime=0.03 cores=1,3,5,7
/proc/14777/stat : 14777 (pwbo1.1) S 14775 14777 14247 0 -1 4202496 1895 0 0 0 3 0 0 0 24 0 3 0 910821493 140918784 1809 33554432000 4194304 5714118 140736955718256 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14777/statm: 34404 1809 178 372 0 34029 0
[pid=14777/tid=14778] ppid=14775 vsize=137616 CPUtime=0.01 cores=1,3,5,7
/proc/14777/task/14778/stat : 14778 (pwbo1.1) R 14775 14777 14247 0 -1 4202560 108 0 0 0 1 0 0 0 18 0 3 0 910821493 140918784 1809 33554432000 4194304 5714118 140736955718256 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=14777/tid=14779] ppid=14775 vsize=137616 CPUtime=0.01 cores=1,3,5,7
/proc/14777/task/14779/stat : 14779 (pwbo1.1) R 14775 14777 14247 0 -1 4202560 1409 0 0 0 1 0 0 0 25 0 3 0 910821493 140918784 1809 33554432000 4194304 5714118 140736955718256 18446744073709551615 4277626 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 137616
[startup+0.100607 s]
/proc/loadavg: 3.99 3.97 3.53 2/172 14777
/proc/meminfo: memFree=32036124/32951124 swapFree=67050044/67111528
[pid=14777] ppid=14775 vsize=137616 CPUtime=0.19 cores=1,3,5,7
/proc/14777/stat : 14777 (pwbo1.1) S 14775 14777 14247 0 -1 4202496 2064 0 0 0 18 1 0 0 24 0 3 0 910821493 140918784 1978 33554432000 4194304 5714118 140736955718256 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14777/statm: 34404 1978 179 372 0 34029 0
[pid=14777/tid=14778] ppid=14775 vsize=137616 CPUtime=0.08 cores=1,3,5,7
/proc/14777/task/14778/stat : 14778 (pwbo1.1) R 14775 14777 14247 0 -1 4202560 261 0 0 0 8 0 0 0 18 0 3 0 910821493 140918784 1978 33554432000 4194304 5714118 140736955718256 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=14777/tid=14779] ppid=14775 vsize=137616 CPUtime=0.09 cores=1,3,5,7
/proc/14777/task/14779/stat : 14779 (pwbo1.1) R 14775 14777 14247 0 -1 4202560 1425 0 0 0 9 0 0 0 25 0 3 0 910821493 140918784 1978 33554432000 4194304 5714118 140736955718256 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) 137616
[startup+0.300582 s]
/proc/loadavg: 3.99 3.97 3.53 2/172 14777
/proc/meminfo: memFree=32036124/32951124 swapFree=67050044/67111528
[pid=14777] ppid=14775 vsize=137616 CPUtime=0.58 cores=1,3,5,7
/proc/14777/stat : 14777 (pwbo1.1) S 14775 14777 14247 0 -1 4202496 2405 0 0 0 56 2 0 0 24 0 3 0 910821493 140918784 2319 33554432000 4194304 5714118 140736955718256 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14777/statm: 34404 2319 179 372 0 34029 0
[pid=14777/tid=14778] ppid=14775 vsize=137616 CPUtime=0.29 cores=1,3,5,7
/proc/14777/task/14778/stat : 14778 (pwbo1.1) R 14775 14777 14247 0 -1 4202560 549 0 0 0 27 2 0 0 18 0 3 0 910821493 140918784 2319 33554432000 4194304 5714118 140736955718256 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=14777/tid=14779] ppid=14775 vsize=137616 CPUtime=0.28 cores=1,3,5,7
/proc/14777/task/14779/stat : 14779 (pwbo1.1) R 14775 14777 14247 0 -1 4202560 1478 0 0 0 28 0 0 0 25 0 3 0 910821493 140918784 2319 33554432000 4194304 5714118 140736955718256 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 137616
[startup+0.700499 s]
/proc/loadavg: 3.99 3.97 3.53 2/172 14777
/proc/meminfo: memFree=32036124/32951124 swapFree=67050044/67111528
[pid=14777] ppid=14775 vsize=137616 CPUtime=1.39 cores=1,3,5,7
/proc/14777/stat : 14777 (pwbo1.1) S 14775 14777 14247 0 -1 4202496 2853 0 0 0 133 6 0 0 24 0 3 0 910821493 140918784 2767 33554432000 4194304 5714118 140736955718256 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14777/statm: 34404 2767 179 372 0 34029 0
[pid=14777/tid=14778] ppid=14775 vsize=137616 CPUtime=0.69 cores=1,3,5,7
/proc/14777/task/14778/stat : 14778 (pwbo1.1) R 14775 14777 14247 0 -1 4202560 884 0 0 0 65 4 0 0 18 0 3 0 910821493 140918784 2767 33554432000 4194304 5714118 140736955718256 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=14777/tid=14779] ppid=14775 vsize=137616 CPUtime=0.69 cores=1,3,5,7
/proc/14777/task/14779/stat : 14779 (pwbo1.1) R 14775 14777 14247 0 -1 4202560 1591 0 0 0 68 1 0 0 25 0 3 0 910821493 140918784 2767 33554432000 4194304 5714118 140736955718256 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) 137616
[startup+1.50036 s]
/proc/loadavg: 3.91 3.95 3.53 5/182 14836
/proc/meminfo: memFree=32006968/32951124 swapFree=67050044/67111528
[pid=14777] ppid=14775 vsize=137752 CPUtime=2.99 cores=1,3,5,7
/proc/14777/stat : 14777 (pwbo1.1) S 14775 14777 14247 0 -1 4202496 3983 0 0 0 290 9 0 0 24 0 3 0 910821493 141058048 3871 33554432000 4194304 5714118 140736955718256 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14777/statm: 34438 3872 179 372 0 34063 0
[pid=14777/tid=14778] ppid=14775 vsize=137752 CPUtime=1.48 cores=1,3,5,7
/proc/14777/task/14778/stat : 14778 (pwbo1.1) R 14775 14777 14247 0 -1 4202560 1560 0 0 0 142 6 0 0 20 0 3 0 910821493 141058048 3872 33554432000 4194304 5714118 140736955718256 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=14777/tid=14779] ppid=14775 vsize=137752 CPUtime=1.49 cores=1,3,5,7
/proc/14777/task/14779/stat : 14779 (pwbo1.1) R 14775 14777 14247 0 -1 4202560 2046 0 0 0 147 2 0 0 25 0 3 0 910821493 141058048 3872 33554432000 4194304 5714118 140736955718256 18446744073709551615 5070743 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) 137752
[startup+3.10108 s]
/proc/loadavg: 3.91 3.95 3.53 5/182 14836
/proc/meminfo: memFree=31977284/32951124 swapFree=67050044/67111528
[pid=14777] ppid=14775 vsize=138152 CPUtime=6.18 cores=1,3,5,7
/proc/14777/stat : 14777 (pwbo1.1) S 14775 14777 14247 0 -1 4202496 4930 0 0 0 606 12 0 0 24 0 3 0 910821493 141467648 4818 33554432000 4194304 5714118 140736955718256 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14777/statm: 34538 4818 179 372 0 34163 0
[pid=14777/tid=14778] ppid=14775 vsize=138152 CPUtime=3.09 cores=1,3,5,7
/proc/14777/task/14778/stat : 14778 (pwbo1.1) R 14775 14777 14247 0 -1 4202560 1887 0 0 0 300 9 0 0 25 0 3 0 910821493 141467648 4818 33554432000 4194304 5714118 140736955718256 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=14777/tid=14779] ppid=14775 vsize=138152 CPUtime=3.09 cores=1,3,5,7
/proc/14777/task/14779/stat : 14779 (pwbo1.1) R 14775 14777 14247 0 -1 4202560 2665 0 0 0 306 3 0 0 25 0 3 0 910821493 141467648 4818 33554432000 4194304 5714118 140736955718256 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 138152
[startup+6.30051 s]
/proc/loadavg: 3.91 3.95 3.53 5/182 14836
/proc/meminfo: memFree=31938932/32951124 swapFree=67050044/67111528
[pid=14777] ppid=14775 vsize=139436 CPUtime=12.58 cores=1,3,5,7
/proc/14777/stat : 14777 (pwbo1.1) S 14775 14777 14247 0 -1 4202496 8264 0 0 0 1238 20 0 0 24 0 3 0 910821493 142782464 8152 33554432000 4194304 5714118 140736955718256 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14777/statm: 34859 8152 180 372 0 34484 0
[pid=14777/tid=14778] ppid=14775 vsize=139436 CPUtime=6.28 cores=1,3,5,7
/proc/14777/task/14778/stat : 14778 (pwbo1.1) R 14775 14777 14247 0 -1 4202560 3460 0 0 0 614 14 0 0 25 0 3 0 910821493 142782464 8152 33554432000 4194304 5714118 140736955718256 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=14777/tid=14779] ppid=14775 vsize=139436 CPUtime=6.28 cores=1,3,5,7
/proc/14777/task/14779/stat : 14779 (pwbo1.1) R 14775 14777 14247 0 -1 4202560 4426 0 0 0 623 5 0 0 25 0 3 0 910821493 142782464 8152 33554432000 4194304 5714118 140736955718256 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 139436
[startup+12.7004 s]
/proc/loadavg: 3.93 3.95 3.53 5/182 14836
/proc/meminfo: memFree=31903668/32951124 swapFree=67050044/67111528
[pid=14777] ppid=14775 vsize=140060 CPUtime=25.39 cores=1,3,5,7
/proc/14777/stat : 14777 (pwbo1.1) S 14775 14777 14247 0 -1 4202496 11852 0 0 0 2504 35 0 0 24 0 3 0 910821493 143421440 11740 33554432000 4194304 5714118 140736955718256 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14777/statm: 35015 11740 180 372 0 34640 0
[pid=14777/tid=14778] ppid=14775 vsize=140060 CPUtime=12.69 cores=1,3,5,7
/proc/14777/task/14778/stat : 14778 (pwbo1.1) R 14775 14777 14247 0 -1 4202560 5688 0 0 0 1245 24 0 0 25 0 3 0 910821493 143421440 11740 33554432000 4194304 5714118 140736955718256 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=14777/tid=14779] ppid=14775 vsize=140060 CPUtime=12.69 cores=1,3,5,7
/proc/14777/task/14779/stat : 14779 (pwbo1.1) R 14775 14777 14247 0 -1 4202560 5786 0 0 0 1259 10 0 0 25 0 3 0 910821493 143421440 11740 33554432000 4194304 5714118 140736955718256 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) 140060
[startup+25.5011 s]
/proc/loadavg: 3.94 3.96 3.54 5/182 14836
/proc/meminfo: memFree=31869576/32951124 swapFree=67050044/67111528
[pid=14777] ppid=14775 vsize=140756 CPUtime=50.98 cores=1,3,5,7
/proc/14777/stat : 14777 (pwbo1.1) S 14775 14777 14247 0 -1 4202496 15483 0 0 0 5040 58 0 0 24 0 3 0 910821493 144134144 15325 33554432000 4194304 5714118 140736955718256 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14777/statm: 35189 15325 180 372 0 34814 0
[pid=14777/tid=14778] ppid=14775 vsize=140756 CPUtime=25.49 cores=1,3,5,7
/proc/14777/task/14778/stat : 14778 (pwbo1.1) R 14775 14777 14247 0 -1 4202560 8898 0 0 0 2507 42 0 0 25 0 3 0 910821493 144134144 15325 33554432000 4194304 5714118 140736955718256 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=14777/tid=14779] ppid=14775 vsize=140756 CPUtime=25.49 cores=1,3,5,7
/proc/14777/task/14779/stat : 14779 (pwbo1.1) R 14775 14777 14247 0 -1 4202560 6207 0 0 0 2533 16 0 0 25 0 3 0 910821493 144134144 15325 33554432000 4194304 5714118 140736955718256 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 140756
Solver just ended. Dumping a history of the last processes samples
[startup+31.906 s]
/proc/loadavg: 3.95 3.96 3.54 5/182 14837
/proc/meminfo: memFree=31860764/32951124 swapFree=67050044/67111528
[pid=14777] ppid=14775 vsize=141092 CPUtime=63.8 cores=1,3,5,7
/proc/14777/stat : 14777 (pwbo1.1) S 14775 14777 14247 0 -1 4202496 16424 0 0 0 6309 71 0 0 24 0 3 0 910821493 144478208 15961 33554432000 4194304 5714118 140736955718256 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14777/statm: 35273 15961 180 372 0 34898 0
[pid=14777/tid=14778] ppid=14775 vsize=141092 CPUtime=31.89 cores=1,3,5,7
/proc/14777/task/14778/stat : 14778 (pwbo1.1) R 14775 14777 14247 0 -1 4202560 8909 0 0 0 3138 51 0 0 25 0 3 0 910821493 144478208 15961 33554432000 4194304 5714118 140736955718256 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=14777/tid=14779] ppid=14775 vsize=141092 CPUtime=31.89 cores=1,3,5,7
/proc/14777/task/14779/stat : 14779 (pwbo1.1) R 14775 14777 14247 0 -1 4202560 7137 0 0 0 3170 19 0 0 25 0 3 0 910821493 144478208 15961 33554432000 4194304 5714118 140736955718256 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 63.8
Current children cumulated vsize (KiB) 141092
[startup+35.1004 s]
/proc/loadavg: 3.95 3.96 3.54 5/182 14837
/proc/meminfo: memFree=31853180/32951124 swapFree=67050044/67111528
[pid=14777] ppid=14775 vsize=141396 CPUtime=70.2 cores=1,3,5,7
/proc/14777/stat : 14777 (pwbo1.1) S 14775 14777 14247 0 -1 4202496 17439 0 0 0 6943 77 0 0 24 0 3 0 910821493 144789504 16976 33554432000 4194304 5714118 140736955718256 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14777/statm: 35349 16976 180 372 0 34974 0
[pid=14777/tid=14778] ppid=14775 vsize=141396 CPUtime=35.1 cores=1,3,5,7
/proc/14777/task/14778/stat : 14778 (pwbo1.1) R 14775 14777 14247 0 -1 4202560 8914 0 0 0 3454 56 0 0 25 0 3 0 910821493 144789504 16976 33554432000 4194304 5714118 140736955718256 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=14777/tid=14779] ppid=14775 vsize=141396 CPUtime=35.09 cores=1,3,5,7
/proc/14777/task/14779/stat : 14779 (pwbo1.1) R 14775 14777 14247 0 -1 4202560 8147 0 0 0 3488 21 0 0 25 0 3 0 910821493 144789504 16976 33554432000 4194304 5714118 140736955718256 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 70.2
Current children cumulated vsize (KiB) 141396
[startup+36.7011 s]
/proc/loadavg: 3.95 3.96 3.54 5/182 14837
/proc/meminfo: memFree=31843384/32951124 swapFree=67050044/67111528
[pid=14777] ppid=14775 vsize=141552 CPUtime=73.38 cores=1,3,5,7
/proc/14777/stat : 14777 (pwbo1.1) S 14775 14777 14247 0 -1 4202496 18014 0 0 0 7258 80 0 0 24 0 3 0 910821493 144949248 17551 33554432000 4194304 5714118 140736955718256 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14777/statm: 35388 17551 180 372 0 35013 0
[pid=14777/tid=14778] ppid=14775 vsize=141552 CPUtime=36.69 cores=1,3,5,7
/proc/14777/task/14778/stat : 14778 (pwbo1.1) R 14775 14777 14247 0 -1 4202560 8914 0 0 0 3611 58 0 0 25 0 3 0 910821493 144949248 17551 33554432000 4194304 5714118 140736955718256 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=14777/tid=14779] ppid=14775 vsize=141552 CPUtime=36.69 cores=1,3,5,7
/proc/14777/task/14779/stat : 14779 (pwbo1.1) R 14775 14777 14247 0 -1 4202560 8722 0 0 0 3647 22 0 0 25 0 3 0 910821493 144949248 17551 33554432000 4194304 5714118 140736955718256 18446744073709551615 4319380 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 73.38
Current children cumulated vsize (KiB) 141552
[startup+37.501 s]
/proc/loadavg: 3.95 3.96 3.54 5/182 14837
/proc/meminfo: memFree=31840036/32951124 swapFree=67050044/67111528
[pid=14777] ppid=14775 vsize=141724 CPUtime=74.99 cores=1,3,5,7
/proc/14777/stat : 14777 (pwbo1.1) S 14775 14777 14247 0 -1 4202496 18378 0 0 0 7417 82 0 0 24 0 3 0 910821493 145125376 17915 33554432000 4194304 5714118 140736955718256 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14777/statm: 35431 17915 180 372 0 35056 0
[pid=14777/tid=14778] ppid=14775 vsize=141724 CPUtime=37.49 cores=1,3,5,7
/proc/14777/task/14778/stat : 14778 (pwbo1.1) R 14775 14777 14247 0 -1 4202560 8980 0 0 0 3690 59 0 0 25 0 3 0 910821493 145125376 17915 33554432000 4194304 5714118 140736955718256 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=14777/tid=14779] ppid=14775 vsize=141724 CPUtime=37.48 cores=1,3,5,7
/proc/14777/task/14779/stat : 14779 (pwbo1.1) R 14775 14777 14247 0 -1 4202560 9020 0 0 0 3726 22 0 0 25 0 3 0 910821493 145125376 17915 33554432000 4194304 5714118 140736955718256 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 74.99
Current children cumulated vsize (KiB) 141724
[startup+37.9009 s]
/proc/loadavg: 3.95 3.96 3.54 5/182 14837
/proc/meminfo: memFree=31840036/32951124 swapFree=67050044/67111528
[pid=14777] ppid=14775 vsize=141724 CPUtime=75.79 cores=1,3,5,7
/proc/14777/stat : 14777 (pwbo1.1) S 14775 14777 14247 0 -1 4202496 18667 0 0 0 7496 83 0 0 24 0 3 0 910821493 145125376 18204 33554432000 4194304 5714118 140736955718256 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14777/statm: 35431 18204 180 372 0 35056 0
[pid=14777/tid=14778] ppid=14775 vsize=141724 CPUtime=37.89 cores=1,3,5,7
/proc/14777/task/14778/stat : 14778 (pwbo1.1) R 14775 14777 14247 0 -1 4202560 9068 0 0 0 3729 60 0 0 25 0 3 0 910821493 145125376 18204 33554432000 4194304 5714118 140736955718256 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=14777/tid=14779] ppid=14775 vsize=141724 CPUtime=37.89 cores=1,3,5,7
/proc/14777/task/14779/stat : 14779 (pwbo1.1) R 14775 14777 14247 0 -1 4202560 9221 0 0 0 3766 23 0 0 25 0 3 0 910821493 145125376 18204 33554432000 4194304 5714118 140736955718256 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 75.79
Current children cumulated vsize (KiB) 141724
[startup+38.3008 s]
/proc/loadavg: 3.95 3.96 3.54 5/182 14837
/proc/meminfo: memFree=31840036/32951124 swapFree=67050044/67111528
[pid=14777] ppid=14775 vsize=141724 CPUtime=76.58 cores=1,3,5,7
/proc/14777/stat : 14777 (pwbo1.1) S 14775 14777 14247 0 -1 4202496 18896 0 0 0 7574 84 0 0 24 0 3 0 910821493 145125376 18433 33554432000 4194304 5714118 140736955718256 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/14777/statm: 35431 18433 180 372 0 35056 0
[pid=14777/tid=14778] ppid=14775 vsize=141724 CPUtime=38.29 cores=1,3,5,7
/proc/14777/task/14778/stat : 14778 (pwbo1.1) R 14775 14777 14247 0 -1 4202560 9124 0 0 0 3769 60 0 0 25 0 3 0 910821493 145125376 18433 33554432000 4194304 5714118 140736955718256 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=14777/tid=14779] ppid=14775 vsize=141724 CPUtime=38.28 cores=1,3,5,7
/proc/14777/task/14779/stat : 14779 (pwbo1.1) R 14775 14777 14247 0 -1 4202560 9394 0 0 0 3805 23 0 0 25 0 3 0 910821493 145125376 18433 33554432000 4194304 5714118 140736955718256 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 76.58
Current children cumulated vsize (KiB) 141724
Child status: 0
Real time (s): 38.3775
CPU time (s): 76.7423
CPU user time (s): 75.8915
CPU system time (s): 0.85087
CPU usage (%): 199.967
Max. virtual memory (cumulated for all children) (KiB): 141724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 75.8915
system time used= 0.85087
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18948
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= 48
involuntary context switches= 497
runsolver used 0.058991 second user time and 0.12998 second system time
The end