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-3500186-1307992218/watcher-3500186-1307992218 -o /var/tmp/evaluation-result-3500186-1307992218/solver-3500186-1307992218 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500186-1307992218.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.03 3.90 3.22 3/179 729
/proc/meminfo: memFree=13123476/32951124 swapFree=67055536/67111528
[pid=729] ppid=727 vsize=2272 CPUtime=0 cores=0,2,4,6
/proc/729/stat : 729 (pwbo1.1) R 727 729 306 0 -1 4202496 312 0 0 0 0 0 0 0 25 0 1 0 891637914 2326528 265 33554432000 4194304 5714118 140735319331520 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/729/statm: 568 265 156 372 0 151 0
[startup+0.00724704 s]
/proc/loadavg: 4.03 3.90 3.22 3/179 729
/proc/meminfo: memFree=13123476/32951124 swapFree=67055536/67111528
[pid=729] ppid=727 vsize=2404 CPUtime=0 cores=0,2,4,6
/proc/729/stat : 729 (pwbo1.1) R 727 729 306 0 -1 4202496 352 0 0 0 0 0 0 0 25 0 1 0 891637914 2461696 305 33554432000 4194304 5714118 140735319331520 18446744073709551615 5136787 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/729/statm: 601 305 172 372 0 184 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2404
[startup+0.33522 s]
/proc/loadavg: 4.03 3.90 3.22 3/179 729
/proc/meminfo: memFree=13123476/32951124 swapFree=67055536/67111528
[pid=729] ppid=727 vsize=159240 CPUtime=0.64 cores=0,2,4,6
/proc/729/stat : 729 (pwbo1.1) S 727 729 306 0 -1 4202496 12625 0 0 0 56 8 0 0 25 0 3 0 891637914 163061760 12421 33554432000 4194304 5714118 140735319331520 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/729/statm: 39810 12421 178 372 0 39435 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 159240
[startup+0.400231 s]
/proc/loadavg: 4.03 3.90 3.22 3/179 729
/proc/meminfo: memFree=13123476/32951124 swapFree=67055536/67111528
[pid=729] ppid=727 vsize=159240 CPUtime=0.77 cores=0,2,4,6
/proc/729/stat : 729 (pwbo1.1) S 727 729 306 0 -1 4202496 12702 0 0 0 69 8 0 0 25 0 3 0 891637914 163061760 12481 33554432000 4194304 5714118 140735319331520 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/729/statm: 39810 12481 179 372 0 39435 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 159240
[startup+0.700156 s]
/proc/loadavg: 4.03 3.90 3.22 3/179 729
/proc/meminfo: memFree=13123476/32951124 swapFree=67055536/67111528
[pid=729] ppid=727 vsize=159240 CPUtime=1.37 cores=0,2,4,6
/proc/729/stat : 729 (pwbo1.1) S 727 729 306 0 -1 4202496 12856 0 0 0 128 9 0 0 25 0 3 0 891637914 163061760 12635 33554432000 4194304 5714118 140735319331520 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/729/statm: 39810 12635 179 372 0 39435 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 159240
[startup+1.50105 s]
/proc/loadavg: 4.03 3.90 3.22 5/182 732
/proc/meminfo: memFree=13031628/32951124 swapFree=67055536/67111528
[pid=729] ppid=727 vsize=159240 CPUtime=2.98 cores=0,2,4,6
/proc/729/stat : 729 (pwbo1.1) S 727 729 306 0 -1 4202496 13352 0 0 0 287 11 0 0 25 0 3 0 891637914 163061760 13131 33554432000 4194304 5714118 140735319331520 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/729/statm: 39810 13131 179 372 0 39435 0
[pid=729/tid=731] ppid=727 vsize=159240 CPUtime=1.48 cores=0,2,4,6
/proc/729/task/731/stat : 731 (pwbo1.1) R 727 729 306 0 -1 4202560 1239 0 0 0 146 2 0 0 20 0 3 0 891637915 163061760 13131 33554432000 4194304 5714118 140735319331520 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=729/tid=732] ppid=727 vsize=159240 CPUtime=1.47 cores=0,2,4,6
/proc/729/task/732/stat : 732 (pwbo1.1) R 727 729 306 0 -1 4202560 11532 0 0 0 139 8 0 0 20 0 3 0 891637915 163061760 13131 33554432000 4194304 5714118 140735319331520 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 159240
[startup+3.10075 s]
/proc/loadavg: 4.03 3.90 3.22 5/182 732
/proc/meminfo: memFree=13014888/32951124 swapFree=67055536/67111528
[pid=729] ppid=727 vsize=159240 CPUtime=6.18 cores=0,2,4,6
/proc/729/stat : 729 (pwbo1.1) S 727 729 306 0 -1 4202496 13961 0 0 0 604 14 0 0 25 0 3 0 891637914 163061760 13740 33554432000 4194304 5714118 140735319331520 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/729/statm: 39810 13740 179 372 0 39435 0
[pid=729/tid=731] ppid=727 vsize=159240 CPUtime=3.08 cores=0,2,4,6
/proc/729/task/731/stat : 731 (pwbo1.1) R 727 729 306 0 -1 4202560 1615 0 0 0 304 4 0 0 25 0 3 0 891637915 163061760 13740 33554432000 4194304 5714118 140735319331520 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=729/tid=732] ppid=727 vsize=159240 CPUtime=3.07 cores=0,2,4,6
/proc/729/task/732/stat : 732 (pwbo1.1) R 727 729 306 0 -1 4202560 11765 0 0 0 298 9 0 0 25 0 3 0 891637915 163061760 13740 33554432000 4194304 5714118 140735319331520 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 159240
[startup+6.3012 s]
/proc/loadavg: 4.03 3.90 3.22 5/182 732
/proc/meminfo: memFree=12939688/32951124 swapFree=67055536/67111528
[pid=729] ppid=727 vsize=159240 CPUtime=12.57 cores=0,2,4,6
/proc/729/stat : 729 (pwbo1.1) S 727 729 306 0 -1 4202496 14982 0 0 0 1238 19 0 0 25 0 3 0 891637914 163061760 14735 33554432000 4194304 5714118 140735319331520 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/729/statm: 39810 14735 179 372 0 39435 0
[pid=729/tid=731] ppid=727 vsize=159240 CPUtime=6.27 cores=0,2,4,6
/proc/729/task/731/stat : 731 (pwbo1.1) R 727 729 306 0 -1 4202560 2562 0 0 0 619 8 0 0 25 0 3 0 891637915 163061760 14735 33554432000 4194304 5714118 140735319331520 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=729/tid=732] ppid=727 vsize=159240 CPUtime=6.27 cores=0,2,4,6
/proc/729/task/732/stat : 732 (pwbo1.1) R 727 729 306 0 -1 4202560 11839 0 0 0 617 10 0 0 25 0 3 0 891637915 163061760 14735 33554432000 4194304 5714118 140735319331520 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 159240
[startup+12.7011 s]
/proc/loadavg: 4.10 3.92 3.24 5/182 732
/proc/meminfo: memFree=12885456/32951124 swapFree=67055536/67111528
[pid=729] ppid=727 vsize=159240 CPUtime=25.37 cores=0,2,4,6
/proc/729/stat : 729 (pwbo1.1) S 727 729 306 0 -1 4202496 15736 0 0 0 2507 30 0 0 25 0 3 0 891637914 163061760 15489 33554432000 4194304 5714118 140735319331520 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/729/statm: 39810 15489 180 372 0 39435 0
[pid=729/tid=731] ppid=727 vsize=159240 CPUtime=12.67 cores=0,2,4,6
/proc/729/task/731/stat : 731 (pwbo1.1) R 727 729 306 0 -1 4202560 3308 0 0 0 1249 18 0 0 25 0 3 0 891637915 163061760 15489 33554432000 4194304 5714118 140735319331520 18446744073709551615 4300064 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=729/tid=732] ppid=727 vsize=159240 CPUtime=12.67 cores=0,2,4,6
/proc/729/task/732/stat : 732 (pwbo1.1) R 727 729 306 0 -1 4202560 11847 0 0 0 1256 11 0 0 25 0 3 0 891637915 163061760 15489 33554432000 4194304 5714118 140735319331520 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 159240
[startup+25.5068 s]
/proc/loadavg: 4.08 3.93 3.25 5/182 733
/proc/meminfo: memFree=12820584/32951124 swapFree=67055536/67111528
[pid=729] ppid=727 vsize=159636 CPUtime=50.98 cores=0,2,4,6
/proc/729/stat : 729 (pwbo1.1) S 727 729 306 0 -1 4202496 20481 0 0 0 5049 49 0 0 25 0 3 0 891637914 163467264 20196 33554432000 4194304 5714118 140735319331520 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/729/statm: 39909 20196 180 372 0 39534 0
[pid=729/tid=731] ppid=727 vsize=159636 CPUtime=25.48 cores=0,2,4,6
/proc/729/task/731/stat : 731 (pwbo1.1) R 727 729 306 0 -1 4202560 6501 0 0 0 2517 31 0 0 25 0 3 0 891637915 163467264 20196 33554432000 4194304 5714118 140735319331520 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=729/tid=732] ppid=727 vsize=159636 CPUtime=25.47 cores=0,2,4,6
/proc/729/task/732/stat : 732 (pwbo1.1) R 727 729 306 0 -1 4202560 13399 0 0 0 2530 17 0 0 25 0 3 0 891637915 163467264 20196 33554432000 4194304 5714118 140735319331520 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 159636
[startup+51.1003 s]
/proc/loadavg: 4.05 3.93 3.27 5/182 734
/proc/meminfo: memFree=12732248/32951124 swapFree=67055536/67111528
[pid=729] ppid=727 vsize=161024 CPUtime=102.16 cores=0,2,4,6
/proc/729/stat : 729 (pwbo1.1) S 727 729 306 0 -1 4202496 30825 0 0 0 10128 88 0 0 25 0 3 0 891637914 164888576 30540 33554432000 4194304 5714118 140735319331520 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/729/statm: 40256 30540 180 372 0 39881 0
[pid=729/tid=731] ppid=727 vsize=161024 CPUtime=51.07 cores=0,2,4,6
/proc/729/task/731/stat : 731 (pwbo1.1) R 727 729 306 0 -1 4202560 12088 0 0 0 5055 52 0 0 25 0 3 0 891637915 164888576 30540 33554432000 4194304 5714118 140735319331520 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=729/tid=732] ppid=727 vsize=161024 CPUtime=51.06 cores=0,2,4,6
/proc/729/task/732/stat : 732 (pwbo1.1) R 727 729 306 0 -1 4202560 18156 0 0 0 5071 35 0 0 25 0 3 0 891637915 164888576 30540 33554432000 4194304 5714118 140735319331520 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 161024
Solver just ended. Dumping a history of the last processes samples
[startup+51.3003 s]
/proc/loadavg: 4.05 3.93 3.27 5/182 734
/proc/meminfo: memFree=12732248/32951124 swapFree=67055536/67111528
[pid=729] ppid=727 vsize=161024 CPUtime=102.56 cores=0,2,4,6
/proc/729/stat : 729 (pwbo1.1) S 727 729 306 0 -1 4202496 30826 0 0 0 10168 88 0 0 25 0 3 0 891637914 164888576 30541 33554432000 4194304 5714118 140735319331520 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/729/statm: 40256 30541 180 372 0 39881 0
[pid=729/tid=731] ppid=727 vsize=161024 CPUtime=51.27 cores=0,2,4,6
/proc/729/task/731/stat : 731 (pwbo1.1) R 727 729 306 0 -1 4202560 12089 0 0 0 5075 52 0 0 25 0 3 0 891637915 164888576 30541 33554432000 4194304 5714118 140735319331520 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=729/tid=732] ppid=727 vsize=161024 CPUtime=51.26 cores=0,2,4,6
/proc/729/task/732/stat : 732 (pwbo1.1) R 727 729 306 0 -1 4202560 18156 0 0 0 5091 35 0 0 25 0 3 0 891637915 164888576 30541 33554432000 4194304 5714118 140735319331520 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 102.56
Current children cumulated vsize (KiB) 161024
[startup+64.101 s]
/proc/loadavg: 4.04 3.93 3.28 5/182 734
/proc/meminfo: memFree=12698516/32951124 swapFree=67055536/67111528
[pid=729] ppid=727 vsize=228112 CPUtime=128.16 cores=0,2,4,6
/proc/729/stat : 729 (pwbo1.1) S 727 729 306 0 -1 4202496 37280 0 0 0 12698 118 0 0 25 0 3 0 891637914 233586688 36995 33554432000 4194304 5714118 140735319331520 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/729/statm: 57028 36995 180 372 0 56653 0
[pid=729/tid=731] ppid=727 vsize=228112 CPUtime=64.07 cores=0,2,4,6
/proc/729/task/731/stat : 731 (pwbo1.1) R 727 729 306 0 -1 4202560 12113 0 0 0 6347 60 0 0 25 0 3 0 891637915 233586688 36995 33554432000 4194304 5714118 140735319331520 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=729/tid=732] ppid=727 vsize=228112 CPUtime=64.07 cores=0,2,4,6
/proc/729/task/732/stat : 732 (pwbo1.1) R 727 729 306 0 -1 4202560 24586 0 0 0 6349 58 0 0 25 0 3 0 891637915 233586688 36995 33554432000 4194304 5714118 140735319331520 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 128.16
Current children cumulated vsize (KiB) 228112
[startup+70.5009 s]
/proc/loadavg: 4.04 3.93 3.28 5/182 734
/proc/meminfo: memFree=12672844/32951124 swapFree=67055536/67111528
[pid=729] ppid=727 vsize=228556 CPUtime=140.96 cores=0,2,4,6
/proc/729/stat : 729 (pwbo1.1) S 727 729 306 0 -1 4202496 41132 0 0 0 13966 130 0 0 25 0 3 0 891637914 234041344 40847 33554432000 4194304 5714118 140735319331520 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/729/statm: 57139 40847 180 372 0 56764 0
[pid=729/tid=731] ppid=727 vsize=228556 CPUtime=70.48 cores=0,2,4,6
/proc/729/task/731/stat : 731 (pwbo1.1) R 727 729 306 0 -1 4202560 13765 0 0 0 6983 65 0 0 25 0 3 0 891637915 234041344 40847 33554432000 4194304 5714118 140735319331520 18446744073709551615 4300228 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=729/tid=732] ppid=727 vsize=228556 CPUtime=70.47 cores=0,2,4,6
/proc/729/task/732/stat : 732 (pwbo1.1) R 727 729 306 0 -1 4202560 26786 0 0 0 6982 65 0 0 18 0 3 0 891637915 234041344 40847 33554432000 4194304 5714118 140735319331520 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 140.96
Current children cumulated vsize (KiB) 228556
[startup+73.7004 s]
/proc/loadavg: 4.03 3.94 3.28 5/182 734
/proc/meminfo: memFree=12662056/32951124 swapFree=67055536/67111528
[pid=729] ppid=727 vsize=228704 CPUtime=147.36 cores=0,2,4,6
/proc/729/stat : 729 (pwbo1.1) S 727 729 306 0 -1 4202496 43353 0 0 0 14596 140 0 0 25 0 3 0 891637914 234192896 43068 33554432000 4194304 5714118 140735319331520 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/729/statm: 57176 43068 180 372 0 56801 0
[pid=729/tid=731] ppid=727 vsize=228704 CPUtime=73.67 cores=0,2,4,6
/proc/729/task/731/stat : 731 (pwbo1.1) R 727 729 306 0 -1 4202560 14584 0 0 0 7300 67 0 0 25 0 3 0 891637915 234192896 43068 33554432000 4194304 5714118 140735319331520 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=729/tid=732] ppid=727 vsize=228704 CPUtime=73.67 cores=0,2,4,6
/proc/729/task/732/stat : 732 (pwbo1.1) R 727 729 306 0 -1 4202560 28188 0 0 0 7295 72 0 0 18 0 3 0 891637915 234192896 43068 33554432000 4194304 5714118 140735319331520 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 147.36
Current children cumulated vsize (KiB) 228704
[startup+75.3011 s]
/proc/loadavg: 4.03 3.94 3.28 5/182 734
/proc/meminfo: memFree=12655356/32951124 swapFree=67055536/67111528
[pid=729] ppid=727 vsize=229092 CPUtime=150.56 cores=0,2,4,6
/proc/729/stat : 729 (pwbo1.1) S 727 729 306 0 -1 4202496 44537 0 0 0 14913 143 0 0 25 0 3 0 891637914 234590208 44252 33554432000 4194304 5714118 140735319331520 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/729/statm: 57273 44252 180 372 0 56898 0
[pid=729/tid=731] ppid=727 vsize=229092 CPUtime=75.28 cores=0,2,4,6
/proc/729/task/731/stat : 731 (pwbo1.1) R 727 729 306 0 -1 4202560 15020 0 0 0 7459 69 0 0 25 0 3 0 891637915 234590208 44252 33554432000 4194304 5714118 140735319331520 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=729/tid=732] ppid=727 vsize=229092 CPUtime=75.26 cores=0,2,4,6
/proc/729/task/732/stat : 732 (pwbo1.1) R 727 729 306 0 -1 4202560 28936 0 0 0 7452 74 0 0 19 0 3 0 891637915 234590208 44252 33554432000 4194304 5714118 140735319331520 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 150.56
Current children cumulated vsize (KiB) 229092
[startup+76.9008 s]
/proc/loadavg: 4.03 3.94 3.29 5/182 734
/proc/meminfo: memFree=12652628/32951124 swapFree=67055536/67111528
[pid=729] ppid=727 vsize=229416 CPUtime=153.76 cores=0,2,4,6
/proc/729/stat : 729 (pwbo1.1) S 727 729 306 0 -1 4202496 45793 0 0 0 15228 148 0 0 25 0 3 0 891637914 234921984 45508 33554432000 4194304 5714118 140735319331520 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/729/statm: 57354 45508 180 372 0 56979 0
[pid=729/tid=731] ppid=727 vsize=229416 CPUtime=76.87 cores=0,2,4,6
/proc/729/task/731/stat : 731 (pwbo1.1) R 727 729 306 0 -1 4202560 15603 0 0 0 7617 70 0 0 25 0 3 0 891637915 234921984 45508 33554432000 4194304 5714118 140735319331520 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=729/tid=732] ppid=727 vsize=229416 CPUtime=76.86 cores=0,2,4,6
/proc/729/task/732/stat : 732 (pwbo1.1) R 727 729 306 0 -1 4202560 29609 0 0 0 7609 77 0 0 18 0 3 0 891637915 234921984 45508 33554432000 4194304 5714118 140735319331520 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 153.76
Current children cumulated vsize (KiB) 229416
[startup+77.7007 s]
/proc/loadavg: 4.03 3.94 3.29 5/182 734
/proc/meminfo: memFree=12649528/32951124 swapFree=67055536/67111528
[pid=729] ppid=727 vsize=229416 CPUtime=155.36 cores=0,2,4,6
/proc/729/stat : 729 (pwbo1.1) S 727 729 306 0 -1 4202496 45959 0 0 0 15388 148 0 0 25 0 3 0 891637914 234921984 45674 33554432000 4194304 5714118 140735319331520 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/729/statm: 57354 45674 180 372 0 56979 0
[pid=729/tid=731] ppid=727 vsize=229416 CPUtime=77.68 cores=0,2,4,6
/proc/729/task/731/stat : 731 (pwbo1.1) R 727 729 306 0 -1 4202560 15614 0 0 0 7697 71 0 0 25 0 3 0 891637915 234921984 45674 33554432000 4194304 5714118 140735319331520 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=729/tid=732] ppid=727 vsize=229416 CPUtime=77.66 cores=0,2,4,6
/proc/729/task/732/stat : 732 (pwbo1.1) R 727 729 306 0 -1 4202560 29764 0 0 0 7689 77 0 0 20 0 3 0 891637915 234921984 45674 33554432000 4194304 5714118 140735319331520 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 155.36
Current children cumulated vsize (KiB) 229416
[startup+77.9006 s]
/proc/loadavg: 4.03 3.94 3.29 5/182 734
/proc/meminfo: memFree=12649528/32951124 swapFree=67055536/67111528
[pid=729] ppid=727 vsize=229416 CPUtime=155.76 cores=0,2,4,6
/proc/729/stat : 729 (pwbo1.1) S 727 729 306 0 -1 4202496 46141 0 0 0 15427 149 0 0 25 0 3 0 891637914 234921984 45856 33554432000 4194304 5714118 140735319331520 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/729/statm: 57354 45856 180 372 0 56979 0
[pid=729/tid=731] ppid=727 vsize=229416 CPUtime=77.88 cores=0,2,4,6
/proc/729/task/731/stat : 731 (pwbo1.1) R 727 729 306 0 -1 4202560 15737 0 0 0 7717 71 0 0 25 0 3 0 891637915 234921984 45856 33554432000 4194304 5714118 140735319331520 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=729/tid=732] ppid=727 vsize=229416 CPUtime=77.87 cores=0,2,4,6
/proc/729/task/732/stat : 732 (pwbo1.1) R 727 729 306 0 -1 4202560 29823 0 0 0 7709 78 0 0 20 0 3 0 891637915 234921984 45856 33554432000 4194304 5714118 140735319331520 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 155.76
Current children cumulated vsize (KiB) 229416
[startup+78.0006 s]
/proc/loadavg: 4.03 3.94 3.29 5/182 734
/proc/meminfo: memFree=12649528/32951124 swapFree=67055536/67111528
[pid=729] ppid=727 vsize=229416 CPUtime=155.96 cores=0,2,4,6
/proc/729/stat : 729 (pwbo1.1) S 727 729 306 0 -1 4202496 46275 0 0 0 15446 150 0 0 25 0 3 0 891637914 234921984 45990 33554432000 4194304 5714118 140735319331520 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/729/statm: 57354 45991 180 372 0 56979 0
[pid=729/tid=731] ppid=727 vsize=229416 CPUtime=77.97 cores=0,2,4,6
/proc/729/task/731/stat : 731 (pwbo1.1) R 727 729 306 0 -1 4202560 15825 0 0 0 7726 71 0 0 25 0 3 0 891637915 234921984 45991 33554432000 4194304 5714118 140735319331520 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=729/tid=732] ppid=727 vsize=229416 CPUtime=77.96 cores=0,2,4,6
/proc/729/task/732/stat : 732 (pwbo1.1) R 727 729 306 0 -1 4202560 29870 0 0 0 7718 78 0 0 18 0 3 0 891637915 234921984 45991 33554432000 4194304 5714118 140735319331520 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 155.96
Current children cumulated vsize (KiB) 229416
Child status: 0
Real time (s): 78.0641
CPU time (s): 156.085
CPU user time (s): 154.571
CPU system time (s): 1.51377
CPU usage (%): 199.945
Max. virtual memory (cumulated for all children) (KiB): 229416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 154.572
system time used= 1.51377
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46401
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= 90
involuntary context switches= 1293
runsolver used 0.147977 second user time and 0.277957 second system time
The end