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-3500415-1307994933/watcher-3500415-1307994933 -o /var/tmp/evaluation-result-3500415-1307994933/solver-3500415-1307994933 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500415-1307994933.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 17622
/proc/meminfo: memFree=14287448/32951124 swapFree=67054712/67111528
[pid=17622] ppid=17620 vsize=2532 CPUtime=0 cores=1,3,5,7
/proc/17622/stat : 17622 (pwbo1.1) R 17620 17622 16567 0 -1 4202496 374 0 0 0 0 0 0 0 23 0 1 0 989723931 2592768 327 33554432000 4194304 5714118 140735835057728 18446744073709551615 5013131 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/17622/statm: 633 327 170 372 0 217 0
[startup+0.065226 s]
/proc/loadavg: 3.83 3.94 3.90 3/179 17622
/proc/meminfo: memFree=14287448/32951124 swapFree=67054712/67111528
[pid=17622] ppid=17620 vsize=145360 CPUtime=0.1 cores=1,3,5,7
/proc/17622/stat : 17622 (pwbo1.1) S 17620 17622 16567 0 -1 4202496 5810 0 0 0 10 0 0 0 23 0 3 0 989723931 148848640 5707 33554432000 4194304 5714118 140735835057728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/17622/statm: 36340 5707 180 372 0 35965 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 145360
[startup+0.100221 s]
/proc/loadavg: 3.83 3.94 3.90 3/179 17622
/proc/meminfo: memFree=14287448/32951124 swapFree=67054712/67111528
[pid=17622] ppid=17620 vsize=145724 CPUtime=0.17 cores=1,3,5,7
/proc/17622/stat : 17622 (pwbo1.1) S 17620 17622 16567 0 -1 4202496 5970 0 0 0 17 0 0 0 23 0 3 0 989723931 149221376 5867 33554432000 4194304 5714118 140735835057728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/17622/statm: 36431 5867 181 372 0 36056 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 145724
[startup+0.300187 s]
/proc/loadavg: 3.83 3.94 3.90 3/179 17622
/proc/meminfo: memFree=14287448/32951124 swapFree=67054712/67111528
[pid=17622] ppid=17620 vsize=145724 CPUtime=0.58 cores=1,3,5,7
/proc/17622/stat : 17622 (pwbo1.1) S 17620 17622 16567 0 -1 4202496 6392 0 0 0 56 2 0 0 23 0 3 0 989723931 149221376 6289 33554432000 4194304 5714118 140735835057728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/17622/statm: 36431 6289 181 372 0 36056 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 145724
[startup+0.701117 s]
/proc/loadavg: 3.83 3.94 3.90 3/179 17622
/proc/meminfo: memFree=14287448/32951124 swapFree=67054712/67111528
[pid=17622] ppid=17620 vsize=145724 CPUtime=1.37 cores=1,3,5,7
/proc/17622/stat : 17622 (pwbo1.1) S 17620 17622 16567 0 -1 4202496 8063 0 0 0 134 3 0 0 23 0 3 0 989723931 149221376 7960 33554432000 4194304 5714118 140735835057728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/17622/statm: 36431 7960 181 372 0 36056 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 145724
[startup+1.50101 s]
/proc/loadavg: 3.83 3.94 3.90 5/182 17625
/proc/meminfo: memFree=14251364/32951124 swapFree=67054712/67111528
[pid=17622] ppid=17620 vsize=145724 CPUtime=2.98 cores=1,3,5,7
/proc/17622/stat : 17622 (pwbo1.1) S 17620 17622 16567 0 -1 4202496 9159 0 0 0 290 8 0 0 23 0 3 0 989723931 149221376 9030 33554432000 4194304 5714118 140735835057728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/17622/statm: 36431 9030 181 372 0 36056 0
[pid=17622/tid=17624] ppid=17620 vsize=145724 CPUtime=1.47 cores=1,3,5,7
/proc/17622/task/17624/stat : 17624 (pwbo1.1) R 17620 17622 16567 0 -1 4202560 2232 0 0 0 143 4 0 0 25 0 3 0 989723932 149221376 9030 33554432000 4194304 5714118 140735835057728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17622/tid=17625] ppid=17620 vsize=145724 CPUtime=1.48 cores=1,3,5,7
/proc/17622/task/17625/stat : 17625 (pwbo1.1) R 17620 17622 16567 0 -1 4202560 6395 0 0 0 145 3 0 0 25 0 3 0 989723932 149221376 9030 33554432000 4194304 5714118 140735835057728 18446744073709551615 4339563 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 145724
[startup+3.10073 s]
/proc/loadavg: 3.83 3.94 3.90 5/182 17625
/proc/meminfo: memFree=14242812/32951124 swapFree=67054712/67111528
[pid=17622] ppid=17620 vsize=145724 CPUtime=6.18 cores=1,3,5,7
/proc/17622/stat : 17622 (pwbo1.1) S 17620 17622 16567 0 -1 4202496 11387 0 0 0 603 15 0 0 23 0 3 0 989723931 149221376 11258 33554432000 4194304 5714118 140735835057728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/17622/statm: 36431 11258 181 372 0 36056 0
[pid=17622/tid=17624] ppid=17620 vsize=145724 CPUtime=3.07 cores=1,3,5,7
/proc/17622/task/17624/stat : 17624 (pwbo1.1) R 17620 17622 16567 0 -1 4202560 2865 0 0 0 299 8 0 0 25 0 3 0 989723932 149221376 11258 33554432000 4194304 5714118 140735835057728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17622/tid=17625] ppid=17620 vsize=145724 CPUtime=3.08 cores=1,3,5,7
/proc/17622/task/17625/stat : 17625 (pwbo1.1) R 17620 17622 16567 0 -1 4202560 7990 0 0 0 302 6 0 0 25 0 3 0 989723932 149221376 11258 33554432000 4194304 5714118 140735835057728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 145724
[startup+6.30118 s]
/proc/loadavg: 3.85 3.94 3.90 5/182 17625
/proc/meminfo: memFree=14218420/32951124 swapFree=67054712/67111528
[pid=17622] ppid=17620 vsize=145724 CPUtime=12.58 cores=1,3,5,7
/proc/17622/stat : 17622 (pwbo1.1) S 17620 17622 16567 0 -1 4202496 13950 0 0 0 1231 27 0 0 23 0 3 0 989723931 149221376 13821 33554432000 4194304 5714118 140735835057728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/17622/statm: 36431 13821 181 372 0 36056 0
[pid=17622/tid=17624] ppid=17620 vsize=145724 CPUtime=6.27 cores=1,3,5,7
/proc/17622/task/17624/stat : 17624 (pwbo1.1) R 17620 17622 16567 0 -1 4202560 4071 0 0 0 613 14 0 0 25 0 3 0 989723932 149221376 13821 33554432000 4194304 5714118 140735835057728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17622/tid=17625] ppid=17620 vsize=145724 CPUtime=6.28 cores=1,3,5,7
/proc/17622/task/17625/stat : 17625 (pwbo1.1) R 17620 17622 16567 0 -1 4202560 9347 0 0 0 616 12 0 0 25 0 3 0 989723932 149221376 13821 33554432000 4194304 5714118 140735835057728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 145724
[startup+12.701 s]
/proc/loadavg: 3.86 3.94 3.90 5/182 17626
/proc/meminfo: memFree=14183036/32951124 swapFree=67054712/67111528
[pid=17622] ppid=17620 vsize=145724 CPUtime=25.37 cores=1,3,5,7
/proc/17622/stat : 17622 (pwbo1.1) S 17620 17622 16567 0 -1 4202496 18922 0 0 0 2491 46 0 0 23 0 3 0 989723931 149221376 18793 33554432000 4194304 5714118 140735835057728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/17622/statm: 36431 18793 182 372 0 36056 0
[pid=17622/tid=17624] ppid=17620 vsize=145724 CPUtime=12.67 cores=1,3,5,7
/proc/17622/task/17624/stat : 17624 (pwbo1.1) R 17620 17622 16567 0 -1 4202560 7012 0 0 0 1245 22 0 0 25 0 3 0 989723932 149221376 18793 33554432000 4194304 5714118 140735835057728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17622/tid=17625] ppid=17620 vsize=145724 CPUtime=12.67 cores=1,3,5,7
/proc/17622/task/17625/stat : 17625 (pwbo1.1) R 17620 17622 16567 0 -1 4202560 11378 0 0 0 1244 23 0 0 25 0 3 0 989723932 149221376 18793 33554432000 4194304 5714118 140735835057728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 145724
[startup+25.5008 s]
/proc/loadavg: 3.89 3.94 3.90 5/182 17626
/proc/meminfo: memFree=14082360/32951124 swapFree=67054712/67111528
[pid=17622] ppid=17620 vsize=211936 CPUtime=50.98 cores=1,3,5,7
/proc/17622/stat : 17622 (pwbo1.1) S 17620 17622 16567 0 -1 4202496 32442 0 0 0 5014 84 0 0 23 0 3 0 989723931 217022464 32313 33554432000 4194304 5714118 140735835057728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/17622/statm: 52984 32314 182 372 0 52609 0
[pid=17622/tid=17624] ppid=17620 vsize=211936 CPUtime=25.48 cores=1,3,5,7
/proc/17622/task/17624/stat : 17624 (pwbo1.1) R 17620 17622 16567 0 -1 4202560 12436 0 0 0 2504 44 0 0 25 0 3 0 989723932 217022464 32314 33554432000 4194304 5714118 140735835057728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17622/tid=17625] ppid=17620 vsize=211936 CPUtime=25.47 cores=1,3,5,7
/proc/17622/task/17625/stat : 17625 (pwbo1.1) R 17620 17622 16567 0 -1 4202560 19475 0 0 0 2508 39 0 0 25 0 3 0 989723932 217022464 32314 33554432000 4194304 5714118 140735835057728 18446744073709551615 4200288 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 211936
[startup+51.1003 s]
/proc/loadavg: 3.93 3.95 3.90 5/182 17627
/proc/meminfo: memFree=13952312/32951124 swapFree=67054712/67111528
[pid=17622] ppid=17620 vsize=278728 CPUtime=102.18 cores=1,3,5,7
/proc/17622/stat : 17622 (pwbo1.1) S 17620 17622 16567 0 -1 4202496 53289 0 0 0 10092 126 0 0 23 0 3 0 989723931 285417472 53160 33554432000 4194304 5714118 140735835057728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/17622/statm: 69682 53160 182 372 0 69307 0
[pid=17622/tid=17624] ppid=17620 vsize=278728 CPUtime=51.08 cores=1,3,5,7
/proc/17622/task/17624/stat : 17624 (pwbo1.1) R 17620 17622 16567 0 -1 4202560 19179 0 0 0 5041 67 0 0 25 0 3 0 989723932 285417472 53160 33554432000 4194304 5714118 140735835057728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17622/tid=17625] ppid=17620 vsize=278728 CPUtime=51.07 cores=1,3,5,7
/proc/17622/task/17625/stat : 17625 (pwbo1.1) R 17620 17622 16567 0 -1 4202560 33578 0 0 0 5049 58 0 0 25 0 3 0 989723932 285417472 53160 33554432000 4194304 5714118 140735835057728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 278728
[startup+102.306 s]
/proc/loadavg: 3.97 3.95 3.91 5/182 17628
/proc/meminfo: memFree=13886176/32951124 swapFree=67054712/67111528
[pid=17622] ppid=17620 vsize=279856 CPUtime=204.59 cores=1,3,5,7
/proc/17622/stat : 17622 (pwbo1.1) S 17620 17622 16567 0 -1 4202496 59110 0 0 0 20266 193 0 0 23 0 3 0 989723931 286572544 58930 33554432000 4194304 5714118 140735835057728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/17622/statm: 69964 58930 182 372 0 69589 0
[pid=17622/tid=17624] ppid=17620 vsize=279856 CPUtime=102.28 cores=1,3,5,7
/proc/17622/task/17624/stat : 17624 (pwbo1.1) R 17620 17622 16567 0 -1 4202560 23639 0 0 0 10114 114 0 0 25 0 3 0 989723932 286572544 58930 33554432000 4194304 5714118 140735835057728 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17622/tid=17625] ppid=17620 vsize=279856 CPUtime=102.28 cores=1,3,5,7
/proc/17622/task/17625/stat : 17625 (pwbo1.1) R 17620 17622 16567 0 -1 4202560 34939 0 0 0 10150 78 0 0 25 0 3 0 989723932 286572544 58930 33554432000 4194304 5714118 140735835057728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.59
Current children cumulated vsize (KiB) 279856
Solver just ended. Dumping a history of the last processes samples
[startup+108.7 s]
/proc/loadavg: 3.97 3.95 3.91 5/182 17628
/proc/meminfo: memFree=13873272/32951124 swapFree=67054712/67111528
[pid=17622] ppid=17620 vsize=345752 CPUtime=217.38 cores=1,3,5,7
/proc/17622/stat : 17622 (pwbo1.1) S 17620 17622 16567 0 -1 4202496 62724 0 0 0 21539 199 0 0 23 0 3 0 989723931 354050048 62544 33554432000 4194304 5714118 140735835057728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/17622/statm: 86438 62544 182 372 0 86063 0
[pid=17622/tid=17624] ppid=17620 vsize=345752 CPUtime=108.68 cores=1,3,5,7
/proc/17622/task/17624/stat : 17624 (pwbo1.1) R 17620 17622 16567 0 -1 4202560 23652 0 0 0 10751 117 0 0 25 0 3 0 989723932 354050048 62544 33554432000 4194304 5714118 140735835057728 18446744073709551615 4323024 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17622/tid=17625] ppid=17620 vsize=345752 CPUtime=108.68 cores=1,3,5,7
/proc/17622/task/17625/stat : 17625 (pwbo1.1) R 17620 17622 16567 0 -1 4202560 38540 0 0 0 10786 82 0 0 25 0 3 0 989723932 354050048 62544 33554432000 4194304 5714118 140735835057728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 217.38
Current children cumulated vsize (KiB) 345752
[startup+111.901 s]
/proc/loadavg: 3.97 3.95 3.91 5/182 17628
/proc/meminfo: memFree=13867568/32951124 swapFree=67054712/67111528
[pid=17622] ppid=17620 vsize=345752 CPUtime=223.78 cores=1,3,5,7
/proc/17622/stat : 17622 (pwbo1.1) S 17620 17622 16567 0 -1 4202496 64232 0 0 0 22174 204 0 0 23 0 3 0 989723931 354050048 64052 33554432000 4194304 5714118 140735835057728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/17622/statm: 86438 64052 182 372 0 86063 0
[pid=17622/tid=17624] ppid=17620 vsize=345752 CPUtime=111.87 cores=1,3,5,7
/proc/17622/task/17624/stat : 17624 (pwbo1.1) R 17620 17622 16567 0 -1 4202560 23656 0 0 0 11068 119 0 0 25 0 3 0 989723932 354050048 64052 33554432000 4194304 5714118 140735835057728 18446744073709551615 4319830 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17622/tid=17625] ppid=17620 vsize=345752 CPUtime=111.88 cores=1,3,5,7
/proc/17622/task/17625/stat : 17625 (pwbo1.1) R 17620 17622 16567 0 -1 4202560 40044 0 0 0 11104 84 0 0 25 0 3 0 989723932 354050048 64052 33554432000 4194304 5714118 140735835057728 18446744073709551615 4319327 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 223.78
Current children cumulated vsize (KiB) 345752
[startup+112.701 s]
/proc/loadavg: 3.97 3.95 3.91 5/182 17628
/proc/meminfo: memFree=13865212/32951124 swapFree=67054712/67111528
[pid=17622] ppid=17620 vsize=345752 CPUtime=225.38 cores=1,3,5,7
/proc/17622/stat : 17622 (pwbo1.1) S 17620 17622 16567 0 -1 4202496 64663 0 0 0 22332 206 0 0 23 0 3 0 989723931 354050048 64483 33554432000 4194304 5714118 140735835057728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/17622/statm: 86438 64483 182 372 0 86063 0
[pid=17622/tid=17624] ppid=17620 vsize=345752 CPUtime=112.67 cores=1,3,5,7
/proc/17622/task/17624/stat : 17624 (pwbo1.1) R 17620 17622 16567 0 -1 4202560 23656 0 0 0 11147 120 0 0 25 0 3 0 989723932 354050048 64483 33554432000 4194304 5714118 140735835057728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17622/tid=17625] ppid=17620 vsize=345752 CPUtime=112.68 cores=1,3,5,7
/proc/17622/task/17625/stat : 17625 (pwbo1.1) R 17620 17622 16567 0 -1 4202560 40475 0 0 0 11183 85 0 0 25 0 3 0 989723932 354050048 64483 33554432000 4194304 5714118 140735835057728 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 225.38
Current children cumulated vsize (KiB) 345752
[startup+113.1 s]
/proc/loadavg: 3.97 3.95 3.91 5/182 17628
/proc/meminfo: memFree=13865212/32951124 swapFree=67054712/67111528
[pid=17622] ppid=17620 vsize=345752 CPUtime=226.18 cores=1,3,5,7
/proc/17622/stat : 17622 (pwbo1.1) S 17620 17622 16567 0 -1 4202496 64909 0 0 0 22411 207 0 0 23 0 3 0 989723931 354050048 64729 33554432000 4194304 5714118 140735835057728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/17622/statm: 86438 64729 182 372 0 86063 0
[pid=17622/tid=17624] ppid=17620 vsize=345752 CPUtime=113.08 cores=1,3,5,7
/proc/17622/task/17624/stat : 17624 (pwbo1.1) R 17620 17622 16567 0 -1 4202560 23656 0 0 0 11187 121 0 0 25 0 3 0 989723932 354050048 64729 33554432000 4194304 5714118 140735835057728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17622/tid=17625] ppid=17620 vsize=345752 CPUtime=113.08 cores=1,3,5,7
/proc/17622/task/17625/stat : 17625 (pwbo1.1) R 17620 17622 16567 0 -1 4202560 40721 0 0 0 11223 85 0 0 25 0 3 0 989723932 354050048 64729 33554432000 4194304 5714118 140735835057728 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 226.18
Current children cumulated vsize (KiB) 345752
[startup+113.306 s]
/proc/loadavg: 3.97 3.95 3.91 5/182 17628
/proc/meminfo: memFree=13862608/32951124 swapFree=67054712/67111528
[pid=17622] ppid=17620 vsize=345752 CPUtime=226.59 cores=1,3,5,7
/proc/17622/stat : 17622 (pwbo1.1) S 17620 17622 16567 0 -1 4202496 65028 0 0 0 22452 207 0 0 23 0 3 0 989723931 354050048 64848 33554432000 4194304 5714118 140735835057728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/17622/statm: 86438 64848 182 372 0 86063 0
[pid=17622/tid=17624] ppid=17620 vsize=345752 CPUtime=113.29 cores=1,3,5,7
/proc/17622/task/17624/stat : 17624 (pwbo1.1) R 17620 17622 16567 0 -1 4202560 23656 0 0 0 11207 122 0 0 25 0 3 0 989723932 354050048 64848 33554432000 4194304 5714118 140735835057728 18446744073709551615 4968213 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17622/tid=17625] ppid=17620 vsize=345752 CPUtime=113.28 cores=1,3,5,7
/proc/17622/task/17625/stat : 17625 (pwbo1.1) R 17620 17622 16567 0 -1 4202560 40840 0 0 0 11243 85 0 0 25 0 3 0 989723932 354050048 64848 33554432000 4194304 5714118 140735835057728 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 226.59
Current children cumulated vsize (KiB) 345752
[startup+113.4 s]
/proc/loadavg: 3.97 3.95 3.91 5/182 17628
/proc/meminfo: memFree=13862608/32951124 swapFree=67054712/67111528
[pid=17622] ppid=17620 vsize=345752 CPUtime=226.78 cores=1,3,5,7
/proc/17622/stat : 17622 (pwbo1.1) S 17620 17622 16567 0 -1 4202496 65060 0 0 0 22470 208 0 0 23 0 3 0 989723931 354050048 64880 33554432000 4194304 5714118 140735835057728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0
/proc/17622/statm: 86438 64880 182 372 0 86063 0
[pid=17622/tid=17624] ppid=17620 vsize=345752 CPUtime=113.38 cores=1,3,5,7
/proc/17622/task/17624/stat : 17624 (pwbo1.1) R 17620 17622 16567 0 -1 4202560 23656 0 0 0 11216 122 0 0 25 0 3 0 989723932 354050048 64880 33554432000 4194304 5714118 140735835057728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17622/tid=17625] ppid=17620 vsize=345752 CPUtime=113.38 cores=1,3,5,7
/proc/17622/task/17625/stat : 17625 (pwbo1.1) R 17620 17622 16567 0 -1 4202560 40872 0 0 0 11253 85 0 0 25 0 3 0 989723932 354050048 64880 33554432000 4194304 5714118 140735835057728 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 226.78
Current children cumulated vsize (KiB) 345752
Child status: 0
Real time (s): 113.451
CPU time (s): 226.877
CPU user time (s): 224.779
CPU system time (s): 2.09768
CPU usage (%): 199.977
Max. virtual memory (cumulated for all children) (KiB): 345752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 224.779
system time used= 2.09768
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65091
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= 216
involuntary context switches= 1472
runsolver used 0.182972 second user time and 0.425935 second system time
The end