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-3712490-1338196304/watcher-3712490-1338196304 -o /tmp/evaluation-result-3712490-1338196304/solver-3712490-1338196304 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712490-1338196304.wbo
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.00 3.94 3.21 3/178 14914
/proc/meminfo: memFree=31279832/32873648 swapFree=7116/7116
[pid=14914] ppid=14912 vsize=162468 CPUtime=0 cores=0,2,4,6
/proc/14914/stat : 14914 (pwbo2.01) S 14912 14914 14514 0 -1 4202496 885 0 0 0 0 0 0 0 20 0 3 0 285755853 166367232 835 33554432000 4194304 5964478 140733432753200 140733432752720 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14914/statm: 40617 835 195 433 0 40181 0
[pid=14914/tid=14915] ppid=14912 vsize=162468 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14915/stat : 14915 (pwbo2.01) R 14912 14914 14514 0 -1 4202560 75 0 0 0 0 0 0 0 20 0 3 0 285755853 166367232 835 33554432000 4194304 5964478 140733432753200 139924127636568 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14916] ppid=14912 vsize=162468 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14916/stat : 14916 (pwbo2.01) R 14912 14914 14514 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 3 0 285755853 166367232 835 33554432000 4194304 5964478 140733432753200 139924117146672 5136474 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[startup+0.096474 s]
/proc/loadavg: 4.00 3.94 3.21 3/178 14914
/proc/meminfo: memFree=31279832/32873648 swapFree=7116/7116
[pid=14914] ppid=14912 vsize=162468 CPUtime=0.18 cores=0,2,4,6
/proc/14914/stat : 14914 (pwbo2.01) S 14912 14914 14514 0 -1 4202496 1473 0 0 0 18 0 0 0 20 0 3 0 285755853 166367232 1423 33554432000 4194304 5964478 140733432753200 140733432752720 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14914/statm: 40617 1423 198 433 0 40181 0
[pid=14914/tid=14915] ppid=14912 vsize=162468 CPUtime=0.08 cores=0,2,4,6
/proc/14914/task/14915/stat : 14915 (pwbo2.01) R 14912 14914 14514 0 -1 4202560 382 0 0 0 8 0 0 0 20 0 3 0 285755853 166367232 1423 33554432000 4194304 5964478 140733432753200 139924127635440 4400081 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14916] ppid=14912 vsize=162468 CPUtime=0.08 cores=0,2,4,6
/proc/14914/task/14916/stat : 14916 (pwbo2.01) R 14912 14914 14514 0 -1 4202560 310 0 0 0 8 0 0 0 20 0 3 0 285755853 166367232 1424 33554432000 4194304 5964478 140733432753200 139924117145904 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 162468
[startup+0.100315 s]
/proc/loadavg: 4.00 3.94 3.21 3/178 14914
/proc/meminfo: memFree=31279832/32873648 swapFree=7116/7116
[pid=14914] ppid=14912 vsize=162468 CPUtime=0.19 cores=0,2,4,6
/proc/14914/stat : 14914 (pwbo2.01) S 14912 14914 14514 0 -1 4202496 1494 0 0 0 19 0 0 0 20 0 3 0 285755853 166367232 1444 33554432000 4194304 5964478 140733432753200 140733432752720 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14914/statm: 40617 1444 198 433 0 40181 0
[pid=14914/tid=14915] ppid=14912 vsize=162468 CPUtime=0.08 cores=0,2,4,6
/proc/14914/task/14915/stat : 14915 (pwbo2.01) R 14912 14914 14514 0 -1 4202560 390 0 0 0 8 0 0 0 20 0 3 0 285755853 166367232 1444 33554432000 4194304 5964478 140733432753200 139924127635440 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14916] ppid=14912 vsize=162468 CPUtime=0.08 cores=0,2,4,6
/proc/14914/task/14916/stat : 14916 (pwbo2.01) R 14912 14914 14514 0 -1 4202560 322 0 0 0 8 0 0 0 20 0 3 0 285755853 166367232 1444 33554432000 4194304 5964478 140733432753200 139924117145904 4403565 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 162468
[startup+0.300277 s]
/proc/loadavg: 4.00 3.94 3.21 3/178 14914
/proc/meminfo: memFree=31279832/32873648 swapFree=7116/7116
[pid=14914] ppid=14912 vsize=162468 CPUtime=0.59 cores=0,2,4,6
/proc/14914/stat : 14914 (pwbo2.01) S 14912 14914 14514 0 -1 4202496 1959 0 0 0 59 0 0 0 20 0 3 0 285755853 166367232 1909 33554432000 4194304 5964478 140733432753200 140733432752720 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14914/statm: 40617 1909 198 433 0 40181 0
[pid=14914/tid=14915] ppid=14912 vsize=162468 CPUtime=0.28 cores=0,2,4,6
/proc/14914/task/14915/stat : 14915 (pwbo2.01) R 14912 14914 14514 0 -1 4202560 774 0 0 0 28 0 0 0 20 0 3 0 285755853 166367232 1909 33554432000 4194304 5964478 140733432753200 139924127635112 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14916] ppid=14912 vsize=162468 CPUtime=0.28 cores=0,2,4,6
/proc/14914/task/14916/stat : 14916 (pwbo2.01) R 14912 14914 14514 0 -1 4202560 403 0 0 0 28 0 0 0 20 0 3 0 285755853 166367232 1909 33554432000 4194304 5964478 140733432753200 139924117146056 4388513 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 162468
[startup+0.700216 s]
/proc/loadavg: 4.00 3.94 3.21 3/178 14914
/proc/meminfo: memFree=31279832/32873648 swapFree=7116/7116
[pid=14914] ppid=14912 vsize=162468 CPUtime=1.39 cores=0,2,4,6
/proc/14914/stat : 14914 (pwbo2.01) S 14912 14914 14514 0 -1 4202496 2710 0 0 0 139 0 0 0 20 0 3 0 285755853 166367232 2660 33554432000 4194304 5964478 140733432753200 140733432752720 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14914/statm: 40617 2660 198 433 0 40181 0
[pid=14914/tid=14915] ppid=14912 vsize=162468 CPUtime=0.68 cores=0,2,4,6
/proc/14914/task/14915/stat : 14915 (pwbo2.01) R 14912 14914 14514 0 -1 4202560 1302 0 0 0 68 0 0 0 20 0 3 0 285755853 166367232 2660 33554432000 4194304 5964478 140733432753200 139924127635448 4400081 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14916] ppid=14912 vsize=162468 CPUtime=0.68 cores=0,2,4,6
/proc/14914/task/14916/stat : 14916 (pwbo2.01) R 14912 14914 14514 0 -1 4202560 626 0 0 0 68 0 0 0 20 0 3 0 285755853 166367232 2660 33554432000 4194304 5964478 140733432753200 139924117145912 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 162468
[startup+1.50017 s]
/proc/loadavg: 4.00 3.94 3.21 5/181 14917
/proc/meminfo: memFree=31268012/32873648 swapFree=7116/7116
[pid=14914] ppid=14912 vsize=162612 CPUtime=2.99 cores=0,2,4,6
/proc/14914/stat : 14914 (pwbo2.01) S 14912 14914 14514 0 -1 4202496 3339 0 0 0 299 0 0 0 20 0 3 0 285755853 166514688 3289 33554432000 4194304 5964478 140733432753200 140733432752720 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14914/statm: 40653 3289 198 433 0 40217 0
[pid=14914/tid=14915] ppid=14912 vsize=162612 CPUtime=1.48 cores=0,2,4,6
/proc/14914/task/14915/stat : 14915 (pwbo2.01) R 14912 14914 14514 0 -1 4202560 1811 0 0 0 148 0 0 0 20 0 3 0 285755853 166514688 3289 33554432000 4194304 5964478 140733432753200 139924127635256 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14916] ppid=14912 vsize=162612 CPUtime=1.48 cores=0,2,4,6
/proc/14914/task/14916/stat : 14916 (pwbo2.01) R 14912 14914 14514 0 -1 4202560 746 0 0 0 148 0 0 0 20 0 3 0 285755853 166514688 3289 33554432000 4194304 5964478 140733432753200 139924117145824 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 162612
[startup+3.10021 s]
/proc/loadavg: 4.00 3.94 3.21 5/181 14917
/proc/meminfo: memFree=31263548/32873648 swapFree=7116/7116
[pid=14914] ppid=14912 vsize=162756 CPUtime=6.18 cores=0,2,4,6
/proc/14914/stat : 14914 (pwbo2.01) S 14912 14914 14514 0 -1 4202496 4673 0 0 0 618 0 0 0 20 0 3 0 285755853 166662144 4623 33554432000 4194304 5964478 140733432753200 140733432752720 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14914/statm: 40689 4623 198 433 0 40253 0
[pid=14914/tid=14915] ppid=14912 vsize=162756 CPUtime=3.07 cores=0,2,4,6
/proc/14914/task/14915/stat : 14915 (pwbo2.01) R 14912 14914 14514 0 -1 4202560 2612 0 0 0 307 0 0 0 20 0 3 0 285755853 166662144 4623 33554432000 4194304 5964478 140733432753200 139924127635256 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14916] ppid=14912 vsize=162756 CPUtime=3.07 cores=0,2,4,6
/proc/14914/task/14916/stat : 14916 (pwbo2.01) R 14912 14914 14514 0 -1 4202560 1279 0 0 0 307 0 0 0 20 0 3 0 285755853 166662144 4623 33554432000 4194304 5964478 140733432753200 139924117145904 4399970 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 162756
[startup+6.30033 s]
/proc/loadavg: 4.00 3.94 3.22 5/181 14917
/proc/meminfo: memFree=31253384/32873648 swapFree=7116/7116
[pid=14914] ppid=14912 vsize=162960 CPUtime=12.58 cores=0,2,4,6
/proc/14914/stat : 14914 (pwbo2.01) S 14912 14914 14514 0 -1 4202496 6106 0 0 0 1257 1 0 0 20 0 3 0 285755853 166871040 6056 33554432000 4194304 5964478 140733432753200 140733432752720 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14914/statm: 40740 6056 198 433 0 40304 0
[pid=14914/tid=14915] ppid=14912 vsize=162960 CPUtime=6.26 cores=0,2,4,6
/proc/14914/task/14915/stat : 14915 (pwbo2.01) R 14912 14914 14514 0 -1 4202560 3847 0 0 0 626 0 0 0 20 0 3 0 285755853 166871040 6056 33554432000 4194304 5964478 140733432753200 139924127635256 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14916] ppid=14912 vsize=162960 CPUtime=6.26 cores=0,2,4,6
/proc/14914/task/14916/stat : 14916 (pwbo2.01) R 14912 14914 14514 0 -1 4202560 1477 0 0 0 626 0 0 0 20 0 3 0 285755853 166871040 6056 33554432000 4194304 5964478 140733432753200 139924117145912 4403676 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 162960
[startup+12.7003 s]
/proc/loadavg: 4.00 3.94 3.22 5/181 14917
/proc/meminfo: memFree=31233732/32873648 swapFree=7116/7116
[pid=14914] ppid=14912 vsize=163392 CPUtime=25.38 cores=0,2,4,6
/proc/14914/stat : 14914 (pwbo2.01) S 14912 14914 14514 0 -1 4202496 9870 0 0 0 2536 2 0 0 20 0 3 0 285755853 167313408 9820 33554432000 4194304 5964478 140733432753200 140733432752720 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14914/statm: 40848 9820 198 433 0 40412 0
[pid=14914/tid=14915] ppid=14912 vsize=163392 CPUtime=12.65 cores=0,2,4,6
/proc/14914/task/14915/stat : 14915 (pwbo2.01) R 14912 14914 14514 0 -1 4202560 5910 0 0 0 1264 1 0 0 20 0 3 0 285755853 167313408 9820 33554432000 4194304 5964478 140733432753200 139924127635496 5136474 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14916] ppid=14912 vsize=163392 CPUtime=12.65 cores=0,2,4,6
/proc/14914/task/14916/stat : 14916 (pwbo2.01) R 14912 14914 14514 0 -1 4202560 3178 0 0 0 1265 0 0 0 20 0 3 0 285755853 167313408 9820 33554432000 4194304 5964478 140733432753200 139924117145720 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 163392
Solver just ended. Dumping a history of the last processes samples
[startup+15.9003 s]
/proc/loadavg: 4.00 3.94 3.23 5/181 14917
/proc/meminfo: memFree=31224192/32873648 swapFree=7116/7116
[pid=14914] ppid=14912 vsize=163536 CPUtime=31.78 cores=0,2,4,6
/proc/14914/stat : 14914 (pwbo2.01) S 14912 14914 14514 0 -1 4202496 11672 0 0 0 3175 3 0 0 20 0 3 0 285755853 167460864 11622 33554432000 4194304 5964478 140733432753200 140733432752720 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14914/statm: 40884 11622 198 433 0 40448 0
[pid=14914/tid=14915] ppid=14912 vsize=163536 CPUtime=15.84 cores=0,2,4,6
/proc/14914/task/14915/stat : 14915 (pwbo2.01) R 14912 14914 14514 0 -1 4202560 6424 0 0 0 1583 1 0 0 20 0 3 0 285755853 167460864 11622 33554432000 4194304 5964478 140733432753200 139924127635256 4391715 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14916] ppid=14912 vsize=163536 CPUtime=15.84 cores=0,2,4,6
/proc/14914/task/14916/stat : 14916 (pwbo2.01) R 14912 14914 14514 0 -1 4202560 4466 0 0 0 1583 1 0 0 20 0 3 0 285755853 167460864 11622 33554432000 4194304 5964478 140733432753200 139924117145904 4400067 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 31.78
Current children cumulated vsize (KiB) 163536
[startup+19.1003 s]
/proc/loadavg: 4.00 3.94 3.23 5/181 14917
/proc/meminfo: memFree=31221324/32873648 swapFree=7116/7116
[pid=14914] ppid=14912 vsize=163696 CPUtime=38.18 cores=0,2,4,6
/proc/14914/stat : 14914 (pwbo2.01) S 14912 14914 14514 0 -1 4202496 12489 0 0 0 3815 3 0 0 20 0 3 0 285755853 167624704 12439 33554432000 4194304 5964478 140733432753200 140733432752720 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14914/statm: 40924 12439 198 433 0 40488 0
[pid=14914/tid=14915] ppid=14912 vsize=163696 CPUtime=19.03 cores=0,2,4,6
/proc/14914/task/14915/stat : 14915 (pwbo2.01) R 14912 14914 14514 0 -1 4202560 7197 0 0 0 1901 2 0 0 20 0 3 0 285755853 167624704 12439 33554432000 4194304 5964478 140733432753200 139924127635448 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14916] ppid=14912 vsize=163696 CPUtime=19.03 cores=0,2,4,6
/proc/14914/task/14916/stat : 14916 (pwbo2.01) R 14912 14914 14514 0 -1 4202560 4510 0 0 0 1902 1 0 0 20 0 3 0 285755853 167624704 12439 33554432000 4194304 5964478 140733432753200 139924117145720 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 38.18
Current children cumulated vsize (KiB) 163696
[startup+20.7003 s]
/proc/loadavg: 4.00 3.94 3.23 5/181 14917
/proc/meminfo: memFree=31217232/32873648 swapFree=7116/7116
[pid=14914] ppid=14912 vsize=163228 CPUtime=41.38 cores=0,2,4,6
/proc/14914/stat : 14914 (pwbo2.01) S 14912 14914 14514 0 -1 4202496 13718 0 0 0 4134 4 0 0 20 0 3 0 285755853 167145472 13531 33554432000 4194304 5964478 140733432753200 140733432752720 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14914/statm: 40807 13531 200 433 0 40371 0
[pid=14914/tid=14915] ppid=14912 vsize=163228 CPUtime=20.63 cores=0,2,4,6
/proc/14914/task/14915/stat : 14915 (pwbo2.01) R 14912 14914 14514 0 -1 4202560 7786 0 0 0 2061 2 0 0 20 0 3 0 285755853 167145472 13531 33554432000 4194304 5964478 140733432753200 139924127635552 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14916] ppid=14912 vsize=163228 CPUtime=20.62 cores=0,2,4,6
/proc/14914/task/14916/stat : 14916 (pwbo2.01) R 14912 14914 14514 0 -1 4202560 5150 0 0 0 2061 1 0 0 20 0 3 0 285755853 167145472 13531 33554432000 4194304 5964478 140733432753200 139924117145960 4400526 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 41.38
Current children cumulated vsize (KiB) 163228
[startup+21.1004 s]
/proc/loadavg: 4.00 3.94 3.23 5/181 14917
/proc/meminfo: memFree=31215248/32873648 swapFree=7116/7116
[pid=14914] ppid=14912 vsize=163228 CPUtime=42.18 cores=0,2,4,6
/proc/14914/stat : 14914 (pwbo2.01) S 14912 14914 14514 0 -1 4202496 13914 0 0 0 4214 4 0 0 20 0 3 0 285755853 167145472 13727 33554432000 4194304 5964478 140733432753200 140733432752720 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14914/statm: 40807 13727 200 433 0 40371 0
[pid=14914/tid=14915] ppid=14912 vsize=163228 CPUtime=21.03 cores=0,2,4,6
/proc/14914/task/14915/stat : 14915 (pwbo2.01) R 14912 14914 14514 0 -1 4202560 7787 0 0 0 2101 2 0 0 20 0 3 0 285755853 167145472 13727 33554432000 4194304 5964478 140733432753200 139924127635552 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14916] ppid=14912 vsize=163228 CPUtime=21.02 cores=0,2,4,6
/proc/14914/task/14916/stat : 14916 (pwbo2.01) R 14912 14914 14514 0 -1 4202560 5345 0 0 0 2101 1 0 0 20 0 3 0 285755853 167145472 13727 33554432000 4194304 5964478 140733432753200 139924117145960 4399936 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 42.18
Current children cumulated vsize (KiB) 163228
[startup+21.5002 s]
/proc/loadavg: 4.00 3.94 3.23 5/181 14917
/proc/meminfo: memFree=31215248/32873648 swapFree=7116/7116
[pid=14914] ppid=14912 vsize=163228 CPUtime=42.98 cores=0,2,4,6
/proc/14914/stat : 14914 (pwbo2.01) S 14912 14914 14514 0 -1 4202496 14133 0 0 0 4294 4 0 0 20 0 3 0 285755853 167145472 13946 33554432000 4194304 5964478 140733432753200 140733432752720 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14914/statm: 40807 13946 200 433 0 40371 0
[pid=14914/tid=14915] ppid=14912 vsize=163228 CPUtime=21.43 cores=0,2,4,6
/proc/14914/task/14915/stat : 14915 (pwbo2.01) R 14912 14914 14514 0 -1 4202560 7787 0 0 0 2141 2 0 0 20 0 3 0 285755853 167145472 13946 33554432000 4194304 5964478 140733432753200 139924127635552 4400081 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14916] ppid=14912 vsize=163228 CPUtime=21.42 cores=0,2,4,6
/proc/14914/task/14916/stat : 14916 (pwbo2.01) R 14912 14914 14514 0 -1 4202560 5564 0 0 0 2141 1 0 0 20 0 3 0 285755853 167145472 13946 33554432000 4194304 5964478 140733432753200 139924117145720 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 42.98
Current children cumulated vsize (KiB) 163228
[startup+21.6002 s]
/proc/loadavg: 4.00 3.94 3.23 5/181 14917
/proc/meminfo: memFree=31215248/32873648 swapFree=7116/7116
[pid=14914] ppid=14912 vsize=163228 CPUtime=43.18 cores=0,2,4,6
/proc/14914/stat : 14914 (pwbo2.01) S 14912 14914 14514 0 -1 4202496 14156 0 0 0 4314 4 0 0 20 0 3 0 285755853 167145472 13969 33554432000 4194304 5964478 140733432753200 140733432752720 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14914/statm: 40807 13969 200 433 0 40371 0
[pid=14914/tid=14915] ppid=14912 vsize=163228 CPUtime=21.53 cores=0,2,4,6
/proc/14914/task/14915/stat : 14915 (pwbo2.01) R 14912 14914 14514 0 -1 4202560 7787 0 0 0 2151 2 0 0 20 0 3 0 285755853 167145472 13969 33554432000 4194304 5964478 140733432753200 139924127635552 4400075 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14916] ppid=14912 vsize=163228 CPUtime=21.52 cores=0,2,4,6
/proc/14914/task/14916/stat : 14916 (pwbo2.01) R 14912 14914 14514 0 -1 4202560 5587 0 0 0 2151 1 0 0 20 0 3 0 285755853 167145472 13969 33554432000 4194304 5964478 140733432753200 139924117145720 4379216 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 43.18
Current children cumulated vsize (KiB) 163228
Child status: 255
Real time (s): 21.6865
CPU time (s): 43.2504
CPU user time (s): 43.1944
CPU system time (s): 0.055991
CPU usage (%): 199.434
Max. virtual memory (cumulated for all children) (KiB): 163840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.1944
system time used= 0.055991
maximum resident set size= 55896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14161
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= 66
involuntary context switches= 59
runsolver used 0.042993 second user time and 0.109983 second system time
The end