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-3500204-1307992291/watcher-3500204-1307992291 -o /tmp/evaluation-result-3500204-1307992291/solver-3500204-1307992291 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500204-1307992291.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: 3.85 3.97 3.85 4/177 30638
/proc/meminfo: memFree=11933076/32951132 swapFree=67054624/67111528
[pid=30638] ppid=30636 vsize=2368 CPUtime=0 cores=0,2,4,6
/proc/30638/stat : 30638 (pwbo1.1) R 30636 30638 29599 0 -1 4202496 362 0 0 0 0 0 0 0 25 0 1 0 910828738 2424832 299 33554432000 4194304 5714118 140734786995616 18446744073709551615 4605616 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/30638/statm: 592 308 160 372 0 217 0
[startup+0.0306461 s]
/proc/loadavg: 3.85 3.97 3.85 4/177 30638
/proc/meminfo: memFree=11933076/32951132 swapFree=67054624/67111528
[pid=30638] ppid=30636 vsize=146808 CPUtime=0.05 cores=0,2,4,6
/proc/30638/stat : 30638 (pwbo1.1) S 30636 30638 29599 0 -1 4202496 4429 0 0 0 4 1 0 0 25 0 3 0 910828738 150331392 4316 33554432000 4194304 5714118 140734786995616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/30638/statm: 36702 4320 177 372 0 36327 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 146808
[startup+0.100621 s]
/proc/loadavg: 3.85 3.97 3.85 4/177 30638
/proc/meminfo: memFree=11933076/32951132 swapFree=67054624/67111528
[pid=30638] ppid=30636 vsize=148576 CPUtime=0.18 cores=0,2,4,6
/proc/30638/stat : 30638 (pwbo1.1) S 30636 30638 29599 0 -1 4202496 7534 0 0 0 17 1 0 0 25 0 3 0 910828738 152141824 7412 33554432000 4194304 5714118 140734786995616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/30638/statm: 37144 7412 178 372 0 36769 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 148576
[startup+0.300594 s]
/proc/loadavg: 3.85 3.97 3.85 4/177 30638
/proc/meminfo: memFree=11933076/32951132 swapFree=67054624/67111528
[pid=30638] ppid=30636 vsize=148576 CPUtime=0.58 cores=0,2,4,6
/proc/30638/stat : 30638 (pwbo1.1) S 30636 30638 29599 0 -1 4202496 7874 0 0 0 56 2 0 0 25 0 3 0 910828738 152141824 7752 33554432000 4194304 5714118 140734786995616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/30638/statm: 37144 7752 179 372 0 36769 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 148576
[startup+0.868428 s]
/proc/loadavg: 3.85 3.97 3.85 4/177 30638
/proc/meminfo: memFree=11933076/32951132 swapFree=67054624/67111528
[pid=30638] ppid=30636 vsize=148576 CPUtime=1.72 cores=0,2,4,6
/proc/30638/stat : 30638 (pwbo1.1) S 30636 30638 29599 0 -1 4202496 8787 0 0 0 167 5 0 0 25 0 3 0 910828738 152141824 8665 33554432000 4194304 5714118 140734786995616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/30638/statm: 37177 8889 179 372 0 36802 0
Current children cumulated CPU time (s) 1.72
Current children cumulated vsize (KiB) 148576
[startup+1.56106 s]
/proc/loadavg: 3.85 3.97 3.85 4/177 30638
/proc/meminfo: memFree=11933076/32951132 swapFree=67054624/67111528
[pid=30638] ppid=30636 vsize=148984 CPUtime=3.19 cores=0,2,4,6
/proc/30638/stat : 30638 (pwbo1.1) S 30636 30638 29599 0 -1 4202496 10376 0 0 0 312 7 0 0 25 0 3 0 910828738 152559616 10228 33554432000 4194304 5714118 140734786995616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/30638/statm: 37246 10341 179 372 0 36871 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 148984
[startup+3.38206 s]
/proc/loadavg: 3.85 3.97 3.85 5/180 30641
/proc/meminfo: memFree=11877908/32951132 swapFree=67054624/67111528
[pid=30638] ppid=30636 vsize=149400 CPUtime=6.75 cores=0,2,4,6
/proc/30638/stat : 30638 (pwbo1.1) S 30636 30638 29599 0 -1 4202496 11894 0 0 0 662 13 0 0 25 0 3 0 910828738 152985600 11746 33554432000 4194304 5714118 140734786995616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/30638/statm: 37350 11746 179 372 0 36975 0
[pid=30638/tid=30640] ppid=30636 vsize=149400 CPUtime=3.36 cores=0,2,4,6
/proc/30638/task/30640/stat : 30640 (pwbo1.1) R 30636 30638 29599 0 -1 4202560 2059 0 0 0 329 7 0 0 21 0 3 0 910828738 152985600 11746 33554432000 4194304 5714118 140734786995616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=30638/tid=30641] ppid=30636 vsize=149400 CPUtime=3.37 cores=0,2,4,6
/proc/30638/task/30641/stat : 30641 (pwbo1.1) R 30636 30638 29599 0 -1 4202560 9399 0 0 0 332 5 0 0 25 0 3 0 910828738 152985600 11746 33554432000 4194304 5714118 140734786995616 18446744073709551615 4305115 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.75
Current children cumulated vsize (KiB) 149400
[startup+6.30055 s]
/proc/loadavg: 4.11 4.02 3.86 5/180 30641
/proc/meminfo: memFree=11848056/32951132 swapFree=67054624/67111528
[pid=30638] ppid=30636 vsize=150724 CPUtime=12.59 cores=0,2,4,6
/proc/30638/stat : 30638 (pwbo1.1) S 30636 30638 29599 0 -1 4202496 16412 0 0 0 1238 21 0 0 25 0 3 0 910828738 154341376 16264 33554432000 4194304 5714118 140734786995616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/30638/statm: 37681 16264 180 372 0 37306 0
[pid=30638/tid=30640] ppid=30636 vsize=150724 CPUtime=6.28 cores=0,2,4,6
/proc/30638/task/30640/stat : 30640 (pwbo1.1) R 30636 30638 29599 0 -1 4202560 3234 0 0 0 616 12 0 0 18 0 3 0 910828738 154341376 16264 33554432000 4194304 5714118 140734786995616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=30638/tid=30641] ppid=30636 vsize=150724 CPUtime=6.29 cores=0,2,4,6
/proc/30638/task/30641/stat : 30641 (pwbo1.1) R 30636 30638 29599 0 -1 4202560 12742 0 0 0 621 8 0 0 25 0 3 0 910828738 154341376 16264 33554432000 4194304 5714118 140734786995616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 150724
[startup+12.7004 s]
/proc/loadavg: 4.10 4.02 3.86 5/180 30641
/proc/meminfo: memFree=11787680/32951132 swapFree=67054624/67111528
[pid=30638] ppid=30636 vsize=218572 CPUtime=25.39 cores=0,2,4,6
/proc/30638/stat : 30638 (pwbo1.1) S 30636 30638 29599 0 -1 4202496 26852 0 0 0 2500 39 0 0 25 0 3 0 910828738 223817728 26704 33554432000 4194304 5714118 140734786995616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/30638/statm: 54643 26704 180 372 0 54268 0
[pid=30638/tid=30640] ppid=30636 vsize=218572 CPUtime=12.69 cores=0,2,4,6
/proc/30638/task/30640/stat : 30640 (pwbo1.1) R 30636 30638 29599 0 -1 4202560 5378 0 0 0 1244 25 0 0 18 0 3 0 910828738 223817728 26704 33554432000 4194304 5714118 140734786995616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=30638/tid=30641] ppid=30636 vsize=218572 CPUtime=12.68 cores=0,2,4,6
/proc/30638/task/30641/stat : 30641 (pwbo1.1) R 30636 30638 29599 0 -1 4202560 21038 0 0 0 1255 13 0 0 25 0 3 0 910828738 223817728 26704 33554432000 4194304 5714118 140734786995616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 218572
[startup+25.5012 s]
/proc/loadavg: 4.08 4.02 3.86 5/180 30641
/proc/meminfo: memFree=11747844/32951132 swapFree=67054624/67111528
[pid=30638] ppid=30636 vsize=219896 CPUtime=50.98 cores=0,2,4,6
/proc/30638/stat : 30638 (pwbo1.1) S 30636 30638 29599 0 -1 4202496 31754 0 0 0 5034 64 0 0 25 0 3 0 910828738 225173504 31564 33554432000 4194304 5714118 140734786995616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/30638/statm: 54974 31564 180 372 0 54599 0
[pid=30638/tid=30640] ppid=30636 vsize=219896 CPUtime=25.49 cores=0,2,4,6
/proc/30638/task/30640/stat : 30640 (pwbo1.1) R 30636 30638 29599 0 -1 4202560 7919 0 0 0 2507 42 0 0 25 0 3 0 910828738 225173504 31564 33554432000 4194304 5714118 140734786995616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=30638/tid=30641] ppid=30636 vsize=219896 CPUtime=25.48 cores=0,2,4,6
/proc/30638/task/30641/stat : 30641 (pwbo1.1) R 30636 30638 29599 0 -1 4202560 23399 0 0 0 2526 22 0 0 25 0 3 0 910828738 225173504 31564 33554432000 4194304 5714118 140734786995616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 219896
[startup+51.1008 s]
/proc/loadavg: 4.05 4.02 3.87 5/180 30643
/proc/meminfo: memFree=11672880/32951132 swapFree=67054624/67111528
[pid=30638] ppid=30636 vsize=221392 CPUtime=102.18 cores=0,2,4,6
/proc/30638/stat : 30638 (pwbo1.1) S 30636 30638 29599 0 -1 4202496 41814 0 0 0 10111 107 0 0 25 0 3 0 910828738 226705408 41624 33554432000 4194304 5714118 140734786995616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/30638/statm: 55348 41624 180 372 0 54973 0
[pid=30638/tid=30640] ppid=30636 vsize=221392 CPUtime=51.09 cores=0,2,4,6
/proc/30638/task/30640/stat : 30640 (pwbo1.1) R 30636 30638 29599 0 -1 4202560 15324 0 0 0 5031 78 0 0 21 0 3 0 910828738 226705408 41624 33554432000 4194304 5714118 140734786995616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=30638/tid=30641] ppid=30636 vsize=221392 CPUtime=51.08 cores=0,2,4,6
/proc/30638/task/30641/stat : 30641 (pwbo1.1) R 30636 30638 29599 0 -1 4202560 26054 0 0 0 5079 29 0 0 25 0 3 0 910828738 226705408 41624 33554432000 4194304 5714118 140734786995616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 221392
[startup+102.307 s]
/proc/loadavg: 4.02 4.01 3.87 5/180 30643
/proc/meminfo: memFree=11576012/32951132 swapFree=67054624/67111528
[pid=30638] ppid=30636 vsize=289172 CPUtime=204.59 cores=0,2,4,6
/proc/30638/stat : 30638 (pwbo1.1) S 30636 30638 29599 0 -1 4202496 63168 0 0 0 20276 183 0 0 25 0 3 0 910828738 296112128 62917 33554432000 4194304 5714118 140734786995616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/30638/statm: 72293 62917 180 372 0 71918 0
[pid=30638/tid=30640] ppid=30636 vsize=289172 CPUtime=102.29 cores=0,2,4,6
/proc/30638/task/30640/stat : 30640 (pwbo1.1) R 30636 30638 29599 0 -1 4202560 25189 0 0 0 10089 140 0 0 25 0 3 0 910828738 296112128 62917 33554432000 4194304 5714118 140734786995616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=30638/tid=30641] ppid=30636 vsize=289172 CPUtime=102.29 cores=0,2,4,6
/proc/30638/task/30641/stat : 30641 (pwbo1.1) R 30636 30638 29599 0 -1 4202560 37543 0 0 0 10186 43 0 0 25 0 3 0 910828738 296112128 62917 33554432000 4194304 5714118 140734786995616 18446744073709551615 4319974 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.59
Current children cumulated vsize (KiB) 289172
Solver just ended. Dumping a history of the last processes samples
[startup+104.507 s]
/proc/loadavg: 4.02 4.01 3.87 5/180 30644
/proc/meminfo: memFree=11574640/32951132 swapFree=67054624/67111528
[pid=30638] ppid=30636 vsize=289172 CPUtime=208.99 cores=0,2,4,6
/proc/30638/stat : 30638 (pwbo1.1) S 30636 30638 29599 0 -1 4202496 63484 0 0 0 20714 185 0 0 25 0 3 0 910828738 296112128 63233 33554432000 4194304 5714118 140734786995616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/30638/statm: 72293 63233 180 372 0 71918 0
[pid=30638/tid=30640] ppid=30636 vsize=289172 CPUtime=104.49 cores=0,2,4,6
/proc/30638/task/30640/stat : 30640 (pwbo1.1) R 30636 30638 29599 0 -1 4202560 25203 0 0 0 10308 141 0 0 25 0 3 0 910828738 296112128 63233 33554432000 4194304 5714118 140734786995616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=30638/tid=30641] ppid=30636 vsize=289172 CPUtime=104.48 cores=0,2,4,6
/proc/30638/task/30641/stat : 30641 (pwbo1.1) R 30636 30638 29599 0 -1 4202560 37845 0 0 0 10405 43 0 0 25 0 3 0 910828738 296112128 63233 33554432000 4194304 5714118 140734786995616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 208.99
Current children cumulated vsize (KiB) 289172
[startup+117.3 s]
/proc/loadavg: 4.01 4.01 3.87 5/180 30644
/proc/meminfo: memFree=11553936/32951132 swapFree=67054624/67111528
[pid=30638] ppid=30636 vsize=355076 CPUtime=234.58 cores=0,2,4,6
/proc/30638/stat : 30638 (pwbo1.1) S 30636 30638 29599 0 -1 4202496 64958 0 0 0 23263 195 0 0 25 0 3 0 910828738 363597824 64707 33554432000 4194304 5714118 140734786995616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/30638/statm: 88769 64707 180 372 0 88394 0
[pid=30638/tid=30640] ppid=30636 vsize=355076 CPUtime=117.28 cores=0,2,4,6
/proc/30638/task/30640/stat : 30640 (pwbo1.1) R 30636 30638 29599 0 -1 4202560 25241 0 0 0 11580 148 0 0 25 0 3 0 910828738 363597824 64707 33554432000 4194304 5714118 140734786995616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=30638/tid=30641] ppid=30636 vsize=355076 CPUtime=117.28 cores=0,2,4,6
/proc/30638/task/30641/stat : 30641 (pwbo1.1) R 30636 30638 29599 0 -1 4202560 39281 0 0 0 11682 46 0 0 25 0 3 0 910828738 363597824 64707 33554432000 4194304 5714118 140734786995616 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 234.58
Current children cumulated vsize (KiB) 355076
[startup+120.501 s]
/proc/loadavg: 4.01 4.01 3.87 5/180 30645
/proc/meminfo: memFree=11547116/32951132 swapFree=67054624/67111528
[pid=30638] ppid=30636 vsize=355076 CPUtime=240.98 cores=0,2,4,6
/proc/30638/stat : 30638 (pwbo1.1) S 30636 30638 29599 0 -1 4202496 65367 0 0 0 23901 197 0 0 25 0 3 0 910828738 363597824 65116 33554432000 4194304 5714118 140734786995616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/30638/statm: 88769 65116 180 372 0 88394 0
[pid=30638/tid=30640] ppid=30636 vsize=355076 CPUtime=120.49 cores=0,2,4,6
/proc/30638/task/30640/stat : 30640 (pwbo1.1) R 30636 30638 29599 0 -1 4202560 25242 0 0 0 11899 150 0 0 25 0 3 0 910828738 363597824 65116 33554432000 4194304 5714118 140734786995616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=30638/tid=30641] ppid=30636 vsize=355076 CPUtime=120.47 cores=0,2,4,6
/proc/30638/task/30641/stat : 30641 (pwbo1.1) R 30636 30638 29599 0 -1 4202560 39689 0 0 0 12001 46 0 0 25 0 3 0 910828738 363597824 65116 33554432000 4194304 5714118 140734786995616 18446744073709551615 4319453 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 240.98
Current children cumulated vsize (KiB) 355076
[startup+123.701 s]
/proc/loadavg: 4.01 4.01 3.87 5/180 30645
/proc/meminfo: memFree=11542156/32951132 swapFree=67054624/67111528
[pid=30638] ppid=30636 vsize=355236 CPUtime=247.38 cores=0,2,4,6
/proc/30638/stat : 30638 (pwbo1.1) S 30636 30638 29599 0 -1 4202496 65831 0 0 0 24540 198 0 0 25 0 3 0 910828738 363761664 65580 33554432000 4194304 5714118 140734786995616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/30638/statm: 88809 65580 180 372 0 88434 0
[pid=30638/tid=30640] ppid=30636 vsize=355236 CPUtime=123.69 cores=0,2,4,6
/proc/30638/task/30640/stat : 30640 (pwbo1.1) R 30636 30638 29599 0 -1 4202560 25242 0 0 0 12218 151 0 0 25 0 3 0 910828738 363761664 65580 33554432000 4194304 5714118 140734786995616 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=30638/tid=30641] ppid=30636 vsize=355236 CPUtime=123.68 cores=0,2,4,6
/proc/30638/task/30641/stat : 30641 (pwbo1.1) R 30636 30638 29599 0 -1 4202560 40153 0 0 0 12321 47 0 0 25 0 3 0 910828738 363761664 65580 33554432000 4194304 5714118 140734786995616 18446744073709551615 4310628 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 247.38
Current children cumulated vsize (KiB) 355236
[startup+125.301 s]
/proc/loadavg: 4.01 4.01 3.87 5/180 30645
/proc/meminfo: memFree=11538684/32951132 swapFree=67054624/67111528
[pid=30638] ppid=30636 vsize=355236 CPUtime=250.59 cores=0,2,4,6
/proc/30638/stat : 30638 (pwbo1.1) S 30636 30638 29599 0 -1 4202496 66034 0 0 0 24860 199 0 0 25 0 3 0 910828738 363761664 65783 33554432000 4194304 5714118 140734786995616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/30638/statm: 88809 65783 180 372 0 88434 0
[pid=30638/tid=30640] ppid=30636 vsize=355236 CPUtime=125.3 cores=0,2,4,6
/proc/30638/task/30640/stat : 30640 (pwbo1.1) R 30636 30638 29599 0 -1 4202560 25243 0 0 0 12378 152 0 0 25 0 3 0 910828738 363761664 65783 33554432000 4194304 5714118 140734786995616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=30638/tid=30641] ppid=30636 vsize=355236 CPUtime=125.28 cores=0,2,4,6
/proc/30638/task/30641/stat : 30641 (pwbo1.1) R 30636 30638 29599 0 -1 4202560 40355 0 0 0 12481 47 0 0 25 0 3 0 910828738 363761664 65783 33554432000 4194304 5714118 140734786995616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 250.59
Current children cumulated vsize (KiB) 355236
[startup+126.101 s]
/proc/loadavg: 4.01 4.01 3.87 5/180 30645
/proc/meminfo: memFree=11538684/32951132 swapFree=67054624/67111528
[pid=30638] ppid=30636 vsize=355236 CPUtime=252.18 cores=0,2,4,6
/proc/30638/stat : 30638 (pwbo1.1) S 30636 30638 29599 0 -1 4202496 66141 0 0 0 25018 200 0 0 25 0 3 0 910828738 363761664 65890 33554432000 4194304 5714118 140734786995616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/30638/statm: 88809 65890 180 372 0 88434 0
[pid=30638/tid=30640] ppid=30636 vsize=355236 CPUtime=126.09 cores=0,2,4,6
/proc/30638/task/30640/stat : 30640 (pwbo1.1) R 30636 30638 29599 0 -1 4202560 25243 0 0 0 12457 152 0 0 25 0 3 0 910828738 363761664 65890 33554432000 4194304 5714118 140734786995616 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=30638/tid=30641] ppid=30636 vsize=355236 CPUtime=126.07 cores=0,2,4,6
/proc/30638/task/30641/stat : 30641 (pwbo1.1) R 30636 30638 29599 0 -1 4202560 40462 0 0 0 12560 47 0 0 25 0 3 0 910828738 363761664 65890 33554432000 4194304 5714118 140734786995616 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 252.18
Current children cumulated vsize (KiB) 355236
[startup+126.301 s]
/proc/loadavg: 4.01 4.01 3.87 5/180 30645
/proc/meminfo: memFree=11538684/32951132 swapFree=67054624/67111528
[pid=30638] ppid=30636 vsize=355236 CPUtime=252.58 cores=0,2,4,6
/proc/30638/stat : 30638 (pwbo1.1) S 30636 30638 29599 0 -1 4202496 66175 0 0 0 25058 200 0 0 25 0 3 0 910828738 363761664 65924 33554432000 4194304 5714118 140734786995616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/30638/statm: 88809 65924 180 372 0 88434 0
[pid=30638/tid=30640] ppid=30636 vsize=355236 CPUtime=126.29 cores=0,2,4,6
/proc/30638/task/30640/stat : 30640 (pwbo1.1) R 30636 30638 29599 0 -1 4202560 25243 0 0 0 12477 152 0 0 25 0 3 0 910828738 363761664 65924 33554432000 4194304 5714118 140734786995616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=30638/tid=30641] ppid=30636 vsize=355236 CPUtime=126.27 cores=0,2,4,6
/proc/30638/task/30641/stat : 30641 (pwbo1.1) R 30636 30638 29599 0 -1 4202560 40496 0 0 0 12580 47 0 0 25 0 3 0 910828738 363761664 65924 33554432000 4194304 5714118 140734786995616 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 252.58
Current children cumulated vsize (KiB) 355236
Child status: 0
Real time (s): 126.376
CPU time (s): 252.728
CPU user time (s): 250.709
CPU system time (s): 2.01869
CPU usage (%): 199.981
Max. virtual memory (cumulated for all children) (KiB): 355236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.709
system time used= 2.01869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66196
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= 112
involuntary context switches= 1541
runsolver used 0.52292 second user time and 1.10083 second system time
The end