runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4259400-1501659132/watcher-4259400-1501659132 -o /tmp/evaluation-result-4259400-1501659132/solver-4259400-1501659132 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node128-1501642693-29418 --watchdog 300 bin/concrete HOME/instance-4259400-1501659132.xml
pid=18544
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.48 1.84 1.96 3/194 18547
/proc/meminfo: memFree=26478264/32770624 swapFree=0/954124
[pid=18547] ppid=18544 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/18547/stat : 18547 (runsolver) D 18544 18547 5678 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 14537969 24240128 107 18446744073709551615 4194304 4338465 140726466364224 140726466361864 140193205940951 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 23683072 140726466371792 140726466372166 140726466372166 140726466375626 0
/proc/18547/statm: 5918 107 54 36 0 2156 0
[startup+0.100137 s]
/proc/loadavg: 1.48 1.84 1.96 3/194 18547
/proc/meminfo: memFree=26478264/32770624 swapFree=0/954124
[pid=18547] ppid=18544 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/18547/stat : 18547 (bash) S 18544 18547 5678 0 -1 4202496 683 1544 0 0 0 0 0 0 20 0 1 0 14537969 9736192 351 18446744073709551615 4194304 5098028 140725880120112 140725880117752 139981814721536 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 9 0 0 7196144 7232144 20787200 140725880123921 140725880124006 140725880124006 140725880127466 0
/proc/18547/statm: 2377 351 278 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508
[startup+0.200943 s]
/proc/loadavg: 1.48 1.84 1.96 3/194 18547
/proc/meminfo: memFree=26478264/32770624 swapFree=0/954124
[pid=18547] ppid=18544 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/18547/stat : 18547 (bash) S 18544 18547 5678 0 -1 4202496 896 6488 0 0 0 0 0 1 20 0 1 0 14537969 9867264 371 18446744073709551615 4194304 5098028 140725880120112 140725880114120 139981814721536 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 9 0 0 7196144 7232144 20787200 140725880123921 140725880124006 140725880124006 140725880127466 0
/proc/18547/statm: 2409 371 291 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.310751 s]
/proc/loadavg: 1.48 1.84 1.96 3/194 18547
/proc/meminfo: memFree=26478264/32770624 swapFree=0/954124
[pid=18547] ppid=18544 vsize=13974356 CPUtime=0.16 cores=1,3,5,7
/proc/18547/stat : 18547 (java) S 18544 18547 5678 0 -1 1077944320 6275 12364 0 0 8 1 5 2 20 0 15 0 14537969 14309740544 6937 18446744073709551615 4194304 4196468 140720757742176 140720757724720 139770753269495 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
/proc/18547/statm: 3493589 6937 2790 1 0 3482973 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 13974356
[startup+0.700282 s]
/proc/loadavg: 1.48 1.84 1.96 3/194 18547
/proc/meminfo: memFree=26478264/32770624 swapFree=0/954124
[pid=18547] ppid=18544 vsize=13974784 CPUtime=0.7 cores=1,3,5,7
/proc/18547/stat : 18547 (java) S 18544 18547 5678 0 -1 1077944320 13964 12364 0 0 59 4 5 2 20 0 15 0 14537969 14310178816 14922 18446744073709551615 4194304 4196468 140720757742176 140720757724720 139770753269495 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
/proc/18547/statm: 3493696 14922 3114 1 0 3482973 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 13974784
[startup+1.50061 s]
/proc/loadavg: 1.48 1.84 1.96 5/209 18610
/proc/meminfo: memFree=26332092/32770624 swapFree=0/954152
[pid=18547] ppid=18544 vsize=13985408 CPUtime=1.91 cores=1,3,5,7
/proc/18547/stat : 18547 (java) S 18544 18547 5678 0 -1 1077944320 29472 12364 0 0 174 10 5 2 20 0 15 0 14537969 14321057792 42676 18446744073709551615 4194304 4196468 140720757742176 140720757724720 139770753269495 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
/proc/18547/statm: 3496352 42676 3365 1 0 3485533 0
[pid=18547/tid=18597] ppid=18544 vsize=13985408 CPUtime=1.29 cores=1,3,5,7
/proc/18547/task/18597/stat : 18597 (java) R 18544 18547 5678 0 -1 4202560 22200 12364 0 0 115 7 5 2 20 0 15 0 14537990 14321057792 42676 18446744073709551615 4194304 4196468 140720757742176 139770757495888 139770739434240 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18598] ppid=18544 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/18547/task/18598/stat : 18598 (java) S 18544 18547 5678 0 -1 1077944384 56 12364 0 0 1 0 5 2 20 0 15 0 14537991 14321057792 42676 18446744073709551615 4194304 4196468 140720757742176 139770353421072 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18599] ppid=18544 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/18547/task/18599/stat : 18599 (java) S 18544 18547 5678 0 -1 1077944384 58 12364 0 0 1 0 5 2 20 0 15 0 14537991 14321057792 42676 18446744073709551615 4194304 4196468 140720757742176 139770352368528 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18600] ppid=18544 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/18547/task/18600/stat : 18600 (java) S 18544 18547 5678 0 -1 1077944384 185 12364 0 0 1 0 5 2 20 0 15 0 14537991 14321057792 42676 18446744073709551615 4194304 4196468 140720757742176 139770351315984 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18601] ppid=18544 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/18547/task/18601/stat : 18601 (java) S 18544 18547 5678 0 -1 1077944384 56 12364 0 0 1 0 5 2 20 0 15 0 14537991 14321057792 42676 18446744073709551615 4194304 4196468 140720757742176 139770350263440 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18602] ppid=18544 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/18547/task/18602/stat : 18602 (java) S 18544 18547 5678 0 -1 1077944384 1636 12364 0 0 1 0 5 2 20 0 15 0 14537992 14321057792 42676 18446744073709551615 4194304 4196468 140720757742176 139770231826416 139770753280642 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18603] ppid=18544 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/18547/task/18603/stat : 18603 (java) S 18544 18547 5678 0 -1 1077944384 54 12364 0 0 0 0 5 2 20 0 15 0 14537993 14321057792 42676 18446744073709551615 4194304 4196468 140720757742176 139770230772704 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18604] ppid=18544 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/18547/task/18604/stat : 18604 (java) S 18544 18547 5678 0 -1 1077944384 44 12364 0 0 0 0 5 2 20 0 15 0 14537993 14321057792 42676 18446744073709551615 4194304 4196468 140720757742176 139770229720064 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18605] ppid=18544 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/18547/task/18605/stat : 18605 (java) S 18544 18547 5678 0 -1 1077944384 3 12364 0 0 0 0 5 2 20 0 15 0 14537996 14321057792 42676 18446744073709551615 4194304 4196468 140720757742176 139770228668624 139770753288091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18606] ppid=18544 vsize=13985408 CPUtime=0.24 cores=1,3,5,7
/proc/18547/task/18606/stat : 18606 (java) S 18544 18547 5678 0 -1 1077944384 1096 12364 0 0 17 0 5 2 20 0 15 0 14537996 14321057792 42676 18446744073709551615 4194304 4196468 140720757742176 139770227616240 139770753280642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18607] ppid=18544 vsize=13985408 CPUtime=0.18 cores=1,3,5,7
/proc/18547/task/18607/stat : 18607 (java) S 18544 18547 5678 0 -1 1077944384 559 12364 0 0 11 0 5 2 20 0 15 0 14537996 14321057792 42676 18446744073709551615 4194304 4196468 140720757742176 139770226563696 139770753280642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18608] ppid=18544 vsize=13985408 CPUtime=0.3 cores=1,3,5,7
/proc/18547/task/18608/stat : 18608 (java) S 18544 18547 5678 0 -1 1077944384 1361 12364 0 0 23 0 5 2 20 0 15 0 14537996 14321057792 42676 18446744073709551615 4194304 4196468 140720757742176 139770225511152 139770753280642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18609] ppid=18544 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/18547/task/18609/stat : 18609 (java) S 18544 18547 5678 0 -1 1077944384 3 12364 0 0 0 0 5 2 20 0 15 0 14537996 14321057792 42676 18446744073709551615 4194304 4196468 140720757742176 139770224458848 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18610] ppid=18544 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/18547/task/18610/stat : 18610 (java) S 18544 18547 5678 0 -1 1077944384 6 12364 0 0 0 0 5 2 20 0 15 0 14537999 14321057792 42676 18446744073709551615 4194304 4196468 140720757742176 139770223405360 139770753280642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 13985408
[startup+3.10078 s]
/proc/loadavg: 1.48 1.84 1.96 3/209 18610
/proc/meminfo: memFree=26253892/32770624 swapFree=0/954152
[pid=18547] ppid=18544 vsize=13997884 CPUtime=5.54 cores=1,3,5,7
/proc/18547/stat : 18547 (java) S 18544 18547 5678 0 -1 1077944320 48045 12364 0 0 527 20 5 2 20 0 15 0 14537969 14333833216 75943 18446744073709551615 4194304 4196468 140720757742176 140720757724720 139770753269495 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
/proc/18547/statm: 3499471 75943 3452 1 0 3488093 0
[pid=18547/tid=18597] ppid=18544 vsize=13997884 CPUtime=2.85 cores=1,3,5,7
/proc/18547/task/18597/stat : 18597 (java) R 18544 18547 5678 0 -1 4202560 35678 12364 0 0 267 11 5 2 20 0 15 0 14537990 14333833216 75943 18446744073709551615 4194304 4196468 140720757742176 139770757458048 139770734834473 0 4 1 16800974 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18598] ppid=18544 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/18547/task/18598/stat : 18598 (java) S 18544 18547 5678 0 -1 1077944384 168 12364 0 0 2 0 5 2 20 0 15 0 14537991 14333833216 75943 18446744073709551615 4194304 4196468 140720757742176 139770353421072 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18599] ppid=18544 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/18547/task/18599/stat : 18599 (java) S 18544 18547 5678 0 -1 1077944384 84 12364 0 0 1 0 5 2 20 0 15 0 14537991 14333833216 75943 18446744073709551615 4194304 4196468 140720757742176 139770352368528 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18600] ppid=18544 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/18547/task/18600/stat : 18600 (java) S 18544 18547 5678 0 -1 1077944384 194 12364 0 0 2 0 5 2 20 0 15 0 14537991 14333833216 75943 18446744073709551615 4194304 4196468 140720757742176 139770351315984 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18601] ppid=18544 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/18547/task/18601/stat : 18601 (java) S 18544 18547 5678 0 -1 1077944384 69 12364 0 0 2 0 5 2 20 0 15 0 14537991 14333833216 75943 18446744073709551615 4194304 4196468 140720757742176 139770350263440 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18602] ppid=18544 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/18547/task/18602/stat : 18602 (java) S 18544 18547 5678 0 -1 1077944384 1800 12364 0 0 1 0 5 2 20 0 15 0 14537992 14333833216 75943 18446744073709551615 4194304 4196468 140720757742176 139770231826416 139770753280642 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18603] ppid=18544 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/18547/task/18603/stat : 18603 (java) S 18544 18547 5678 0 -1 1077944384 54 12364 0 0 0 0 5 2 20 0 15 0 14537993 14333833216 75943 18446744073709551615 4194304 4196468 140720757742176 139770230772704 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18604] ppid=18544 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/18547/task/18604/stat : 18604 (java) S 18544 18547 5678 0 -1 1077944384 44 12364 0 0 0 0 5 2 20 0 15 0 14537993 14333833216 75943 18446744073709551615 4194304 4196468 140720757742176 139770229720064 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18605] ppid=18544 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/18547/task/18605/stat : 18605 (java) S 18544 18547 5678 0 -1 1077944384 3 12364 0 0 0 0 5 2 20 0 15 0 14537996 14333833216 75943 18446744073709551615 4194304 4196468 140720757742176 139770228668624 139770753288091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18606] ppid=18544 vsize=13997884 CPUtime=0.91 cores=1,3,5,7
/proc/18547/task/18606/stat : 18606 (java) S 18544 18547 5678 0 -1 1077944384 2292 12364 0 0 83 1 5 2 20 0 15 0 14537996 14333833216 75943 18446744073709551615 4194304 4196468 140720757742176 139770227616240 139770753280642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18607] ppid=18544 vsize=13997884 CPUtime=0.89 cores=1,3,5,7
/proc/18547/task/18607/stat : 18607 (java) S 18544 18547 5678 0 -1 1077944384 1940 12364 0 0 81 1 5 2 20 0 15 0 14537996 14333833216 75943 18446744073709551615 4194304 4196468 140720757742176 139770226563696 139770753280642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18608] ppid=18544 vsize=13997884 CPUtime=0.91 cores=1,3,5,7
/proc/18547/task/18608/stat : 18608 (java) S 18544 18547 5678 0 -1 1077944384 3553 12364 0 0 83 1 5 2 20 0 15 0 14537996 14333833216 75943 18446744073709551615 4194304 4196468 140720757742176 139770225511152 139770753280642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18609] ppid=18544 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/18547/task/18609/stat : 18609 (java) S 18544 18547 5678 0 -1 1077944384 3 12364 0 0 0 0 5 2 20 0 15 0 14537996 14333833216 75943 18446744073709551615 4194304 4196468 140720757742176 139770224458848 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18610] ppid=18544 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/18547/task/18610/stat : 18610 (java) S 18544 18547 5678 0 -1 1077944384 8 12364 0 0 0 0 5 2 20 0 15 0 14537999 14333833216 75943 18446744073709551615 4194304 4196468 140720757742176 139770223405360 139770753280642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
Current children cumulated CPU time (s) 5.54
Current children cumulated vsize (KiB) 13997884
[startup+6.30063 s]
/proc/loadavg: 1.69 1.88 1.97 3/209 18611
/proc/meminfo: memFree=25990640/32770624 swapFree=0/954160
[pid=18547] ppid=18544 vsize=13999932 CPUtime=10.92 cores=1,3,5,7
/proc/18547/stat : 18547 (java) S 18544 18547 5678 0 -1 1077944320 51579 12364 0 0 1056 29 5 2 20 0 15 0 14537969 14335930368 133235 18446744073709551615 4194304 4196468 140720757742176 140720757724720 139770753269495 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
/proc/18547/statm: 3499983 133235 3456 1 0 3488605 0
[pid=18547/tid=18597] ppid=18544 vsize=13999932 CPUtime=6 cores=1,3,5,7
/proc/18547/task/18597/stat : 18597 (java) R 18544 18547 5678 0 -1 4202560 37777 12364 0 0 578 15 5 2 20 0 15 0 14537990 14335930368 133235 18446744073709551615 4194304 4196468 140720757742176 139770757500976 139770406330581 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18598] ppid=18544 vsize=13999932 CPUtime=0.13 cores=1,3,5,7
/proc/18547/task/18598/stat : 18598 (java) S 18544 18547 5678 0 -1 1077944384 192 12364 0 0 4 2 5 2 20 0 15 0 14537991 14335930368 133235 18446744073709551615 4194304 4196468 140720757742176 139770353421072 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18599] ppid=18544 vsize=13999932 CPUtime=0.13 cores=1,3,5,7
/proc/18547/task/18599/stat : 18599 (java) S 18544 18547 5678 0 -1 1077944384 118 12364 0 0 4 2 5 2 20 0 15 0 14537991 14335930368 133235 18446744073709551615 4194304 4196468 140720757742176 139770352368528 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18600] ppid=18544 vsize=13999932 CPUtime=0.12 cores=1,3,5,7
/proc/18547/task/18600/stat : 18600 (java) S 18544 18547 5678 0 -1 1077944384 215 12364 0 0 4 1 5 2 20 0 15 0 14537991 14335930368 133235 18446744073709551615 4194304 4196468 140720757742176 139770351315984 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18601] ppid=18544 vsize=13999932 CPUtime=0.12 cores=1,3,5,7
/proc/18547/task/18601/stat : 18601 (java) S 18544 18547 5678 0 -1 1077944384 96 12364 0 0 4 1 5 2 20 0 15 0 14537991 14335930368 133235 18446744073709551615 4194304 4196468 140720757742176 139770350263440 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18602] ppid=18544 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/18547/task/18602/stat : 18602 (java) S 18544 18547 5678 0 -1 1077944384 1925 12364 0 0 2 0 5 2 20 0 15 0 14537992 14335930368 133235 18446744073709551615 4194304 4196468 140720757742176 139770231826416 139770753280642 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18603] ppid=18544 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/18547/task/18603/stat : 18603 (java) S 18544 18547 5678 0 -1 1077944384 54 12364 0 0 0 0 5 2 20 0 15 0 14537993 14335930368 133235 18446744073709551615 4194304 4196468 140720757742176 139770230772704 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18604] ppid=18544 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/18547/task/18604/stat : 18604 (java) S 18544 18547 5678 0 -1 1077944384 44 12364 0 0 0 0 5 2 20 0 15 0 14537993 14335930368 133235 18446744073709551615 4194304 4196468 140720757742176 139770229720064 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18605] ppid=18544 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/18547/task/18605/stat : 18605 (java) S 18544 18547 5678 0 -1 1077944384 3 12364 0 0 0 0 5 2 20 0 15 0 14537996 14335930368 133235 18446744073709551615 4194304 4196468 140720757742176 139770228668624 139770753288091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18606] ppid=18544 vsize=13999932 CPUtime=1.8 cores=1,3,5,7
/proc/18547/task/18606/stat : 18606 (java) S 18544 18547 5678 0 -1 1077944384 2631 12364 0 0 172 1 5 2 20 0 15 0 14537996 14335930368 133235 18446744073709551615 4194304 4196468 140720757742176 139770227616240 139770753280642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18607] ppid=18544 vsize=13999932 CPUtime=1.78 cores=1,3,5,7
/proc/18547/task/18607/stat : 18607 (java) S 18544 18547 5678 0 -1 1077944384 2292 12364 0 0 170 1 5 2 20 0 15 0 14537996 14335930368 133235 18446744073709551615 4194304 4196468 140720757742176 139770226563696 139770753280642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18608] ppid=18544 vsize=13999932 CPUtime=1.19 cores=1,3,5,7
/proc/18547/task/18608/stat : 18608 (java) S 18544 18547 5678 0 -1 1077944384 4064 12364 0 0 111 1 5 2 20 0 15 0 14537996 14335930368 133235 18446744073709551615 4194304 4196468 140720757742176 139770225511152 139770753280642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18609] ppid=18544 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/18547/task/18609/stat : 18609 (java) S 18544 18547 5678 0 -1 1077944384 3 12364 0 0 0 0 5 2 20 0 15 0 14537996 14335930368 133235 18446744073709551615 4194304 4196468 140720757742176 139770224458848 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18610] ppid=18544 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/18547/task/18610/stat : 18610 (java) S 18544 18547 5678 0 -1 1077944384 10 12364 0 0 0 0 5 2 20 0 15 0 14537999 14335930368 133235 18446744073709551615 4194304 4196468 140720757742176 139770223405360 139770753280642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
Current children cumulated CPU time (s) 10.92
Current children cumulated vsize (KiB) 13999932
[startup+12.7007 s]
/proc/loadavg: 1.87 1.91 1.98 3/209 18611
/proc/meminfo: memFree=25413100/32770624 swapFree=0/954172
[pid=18547] ppid=18544 vsize=14069564 CPUtime=25.97 cores=1,3,5,7
/proc/18547/stat : 18547 (java) S 18544 18547 5678 0 -1 1077944320 81670 12364 0 0 2543 47 5 2 20 0 15 0 14537969 14407233536 251831 18446744073709551615 4194304 4196468 140720757742176 140720757724720 139770753269495 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
/proc/18547/statm: 3517391 251831 3471 1 0 3506013 0
[pid=18547/tid=18597] ppid=18544 vsize=14069564 CPUtime=12.29 cores=1,3,5,7
/proc/18547/task/18597/stat : 18597 (java) R 18544 18547 5678 0 -1 4202560 46221 12364 0 0 1200 22 5 2 20 0 15 0 14537990 14407233536 251831 18446744073709551615 4194304 4196468 140720757742176 139770757497184 139770406441728 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18598] ppid=18544 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/18547/task/18598/stat : 18598 (java) S 18544 18547 5678 0 -1 1077944384 319 12364 0 0 9 3 5 2 20 0 15 0 14537991 14407233536 251831 18446744073709551615 4194304 4196468 140720757742176 139770353421072 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18599] ppid=18544 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/18547/task/18599/stat : 18599 (java) S 18544 18547 5678 0 -1 1077944384 899 12364 0 0 9 3 5 2 20 0 15 0 14537991 14407233536 251831 18446744073709551615 4194304 4196468 140720757742176 139770352368528 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18600] ppid=18544 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/18547/task/18600/stat : 18600 (java) S 18544 18547 5678 0 -1 1077944384 363 12364 0 0 10 3 5 2 20 0 15 0 14537991 14407233536 251831 18446744073709551615 4194304 4196468 140720757742176 139770351315984 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18601] ppid=18544 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/18547/task/18601/stat : 18601 (java) S 18544 18547 5678 0 -1 1077944384 196 12364 0 0 9 3 5 2 20 0 15 0 14537991 14407233536 251831 18446744073709551615 4194304 4196468 140720757742176 139770350263440 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18602] ppid=18544 vsize=14069564 CPUtime=0.12 cores=1,3,5,7
/proc/18547/task/18602/stat : 18602 (java) S 18544 18547 5678 0 -1 1077944384 2831 12364 0 0 5 0 5 2 20 0 15 0 14537992 14407233536 251831 18446744073709551615 4194304 4196468 140720757742176 139770231826416 139770753280642 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18603] ppid=18544 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/18547/task/18603/stat : 18603 (java) S 18544 18547 5678 0 -1 1077944384 54 12364 0 0 0 0 5 2 20 0 15 0 14537993 14407233536 251831 18446744073709551615 4194304 4196468 140720757742176 139770230772704 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18604] ppid=18544 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/18547/task/18604/stat : 18604 (java) S 18544 18547 5678 0 -1 1077944384 44 12364 0 0 0 0 5 2 20 0 15 0 14537993 14407233536 251831 18446744073709551615 4194304 4196468 140720757742176 139770229720064 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18605] ppid=18544 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/18547/task/18605/stat : 18605 (java) S 18544 18547 5678 0 -1 1077944384 3 12364 0 0 0 0 5 2 20 0 15 0 14537996 14407233536 251831 18446744073709551615 4194304 4196468 140720757742176 139770228668624 139770753288091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
################
# More data... #
################
/proc/18547/task/18598/stat : 18598 (java) S 18544 18547 5678 0 -1 1077944384 2166 12364 0 0 58 12 5 2 20 0 15 0 14537991 14407233536 767386 18446744073709551615 4194304 4196468 140720757742176 139770353421072 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18599] ppid=18544 vsize=14069564 CPUtime=0.77 cores=1,3,5,7
/proc/18547/task/18599/stat : 18599 (java) S 18544 18547 5678 0 -1 1077944384 2685 12364 0 0 58 12 5 2 20 0 15 0 14537991 14407233536 767386 18446744073709551615 4194304 4196468 140720757742176 139770352368528 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18600] ppid=18544 vsize=14069564 CPUtime=0.78 cores=1,3,5,7
/proc/18547/task/18600/stat : 18600 (java) S 18544 18547 5678 0 -1 1077944384 3501 12364 0 0 59 12 5 2 20 0 15 0 14537991 14407233536 767386 18446744073709551615 4194304 4196468 140720757742176 139770351315984 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18601] ppid=18544 vsize=14069564 CPUtime=0.78 cores=1,3,5,7
/proc/18547/task/18601/stat : 18601 (java) S 18544 18547 5678 0 -1 1077944384 1483 12364 0 0 59 12 5 2 20 0 15 0 14537991 14407233536 767386 18446744073709551615 4194304 4196468 140720757742176 139770350263440 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18602] ppid=18544 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/18547/task/18602/stat : 18602 (java) S 18544 18547 5678 0 -1 1077944384 4904 12364 0 0 11 2 5 2 20 0 15 0 14537992 14407233536 767386 18446744073709551615 4194304 4196468 140720757742176 139770231826416 139770753280642 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18603] ppid=18544 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/18547/task/18603/stat : 18603 (java) S 18544 18547 5678 0 -1 1077944384 54 12364 0 0 0 0 5 2 20 0 15 0 14537993 14407233536 767386 18446744073709551615 4194304 4196468 140720757742176 139770230772704 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18604] ppid=18544 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/18547/task/18604/stat : 18604 (java) S 18544 18547 5678 0 -1 1077944384 44 12364 0 0 0 0 5 2 20 0 15 0 14537993 14407233536 767386 18446744073709551615 4194304 4196468 140720757742176 139770229720064 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18605] ppid=18544 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/18547/task/18605/stat : 18605 (java) S 18544 18547 5678 0 -1 1077944384 3 12364 0 0 0 0 5 2 20 0 15 0 14537996 14407233536 767386 18446744073709551615 4194304 4196468 140720757742176 139770228668624 139770753288091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18606] ppid=18544 vsize=14069564 CPUtime=6.56 cores=1,3,5,7
/proc/18547/task/18606/stat : 18606 (java) S 18544 18547 5678 0 -1 1077944384 16757 12364 0 0 646 3 5 2 20 0 15 0 14537996 14407233536 767386 18446744073709551615 4194304 4196468 140720757742176 139770227616240 139770753280642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18607] ppid=18544 vsize=14069564 CPUtime=6.2 cores=1,3,5,7
/proc/18547/task/18607/stat : 18607 (java) S 18544 18547 5678 0 -1 1077944384 16277 12364 0 0 610 3 5 2 20 0 15 0 14537996 14407233536 767386 18446744073709551615 4194304 4196468 140720757742176 139770226563696 139770753280642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18608] ppid=18544 vsize=14069564 CPUtime=1.95 cores=1,3,5,7
/proc/18547/task/18608/stat : 18608 (java) S 18544 18547 5678 0 -1 1077944384 11703 12364 0 0 186 2 5 2 20 0 15 0 14537996 14407233536 767386 18446744073709551615 4194304 4196468 140720757742176 139770225511152 139770753280642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18609] ppid=18544 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/18547/task/18609/stat : 18609 (java) S 18544 18547 5678 0 -1 1077944384 3 12364 0 0 0 0 5 2 20 0 15 0 14537996 14407233536 767386 18446744073709551615 4194304 4196468 140720757742176 139770224458848 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18610] ppid=18544 vsize=14069564 CPUtime=0.16 cores=1,3,5,7
/proc/18547/task/18610/stat : 18610 (java) S 18544 18547 5678 0 -1 1077944384 467 12364 0 0 4 5 5 2 20 0 15 0 14537999 14407233536 767386 18446744073709551615 4194304 4196468 140720757742176 139770223405360 139770753280642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
Current children cumulated CPU time (s) 178.84
Current children cumulated vsize (KiB) 14069564
[startup+222.301 s]
/proc/loadavg: 1.67 1.76 1.90 3/209 18756
/proc/meminfo: memFree=25227876/32770624 swapFree=0/954336
[pid=18547] ppid=18544 vsize=14069564 CPUtime=240.06 cores=1,3,5,7
/proc/18547/stat : 18547 (java) S 18544 18547 5678 0 -1 1077944320 137404 12364 0 0 23869 130 5 2 20 0 15 0 14537969 14407233536 663757 18446744073709551615 4194304 4196468 140720757742176 140720757724720 139770753269495 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
/proc/18547/statm: 3517391 663757 3474 1 0 3506013 0
[pid=18547/tid=18597] ppid=18544 vsize=14069564 CPUtime=220.74 cores=1,3,5,7
/proc/18547/task/18597/stat : 18597 (java) R 18544 18547 5678 0 -1 4202560 65620 12364 0 0 22013 54 5 2 20 0 15 0 14537990 14407233536 663757 18446744073709551615 4194304 4196468 140720757742176 139770757503840 139770403090039 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18598] ppid=18544 vsize=14069564 CPUtime=1.15 cores=1,3,5,7
/proc/18547/task/18598/stat : 18598 (java) S 18544 18547 5678 0 -1 1077944384 2635 12364 0 0 95 13 5 2 20 0 15 0 14537991 14407233536 663757 18446744073709551615 4194304 4196468 140720757742176 139770353421072 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18599] ppid=18544 vsize=14069564 CPUtime=1.16 cores=1,3,5,7
/proc/18547/task/18599/stat : 18599 (java) S 18544 18547 5678 0 -1 1077944384 4606 12364 0 0 95 14 5 2 20 0 15 0 14537991 14407233536 663757 18446744073709551615 4194304 4196468 140720757742176 139770352368528 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18600] ppid=18544 vsize=14069564 CPUtime=1.16 cores=1,3,5,7
/proc/18547/task/18600/stat : 18600 (java) S 18544 18547 5678 0 -1 1077944384 3941 12364 0 0 96 13 5 2 20 0 15 0 14537991 14407233536 663757 18446744073709551615 4194304 4196468 140720757742176 139770351315984 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18601] ppid=18544 vsize=14069564 CPUtime=1.16 cores=1,3,5,7
/proc/18547/task/18601/stat : 18601 (java) S 18544 18547 5678 0 -1 1077944384 2521 12364 0 0 96 13 5 2 20 0 15 0 14537991 14407233536 663757 18446744073709551615 4194304 4196468 140720757742176 139770350263440 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18602] ppid=18544 vsize=14069564 CPUtime=0.25 cores=1,3,5,7
/proc/18547/task/18602/stat : 18602 (java) S 18544 18547 5678 0 -1 1077944384 5422 12364 0 0 15 3 5 2 20 0 15 0 14537992 14407233536 663757 18446744073709551615 4194304 4196468 140720757742176 139770231826416 139770753280642 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18603] ppid=18544 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/18547/task/18603/stat : 18603 (java) S 18544 18547 5678 0 -1 1077944384 54 12364 0 0 0 0 5 2 20 0 15 0 14537993 14407233536 663757 18446744073709551615 4194304 4196468 140720757742176 139770230772704 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18604] ppid=18544 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/18547/task/18604/stat : 18604 (java) S 18544 18547 5678 0 -1 1077944384 44 12364 0 0 0 0 5 2 20 0 15 0 14537993 14407233536 663757 18446744073709551615 4194304 4196468 140720757742176 139770229720064 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18605] ppid=18544 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/18547/task/18605/stat : 18605 (java) S 18544 18547 5678 0 -1 1077944384 3 12364 0 0 0 0 5 2 20 0 15 0 14537996 14407233536 663757 18446744073709551615 4194304 4196468 140720757742176 139770228668624 139770753288091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18606] ppid=18544 vsize=14069564 CPUtime=6.59 cores=1,3,5,7
/proc/18547/task/18606/stat : 18606 (java) S 18544 18547 5678 0 -1 1077944384 21507 12364 0 0 649 3 5 2 20 0 15 0 14537996 14407233536 663757 18446744073709551615 4194304 4196468 140720757742176 139770227616240 139770753280642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18607] ppid=18544 vsize=14069564 CPUtime=6.2 cores=1,3,5,7
/proc/18547/task/18607/stat : 18607 (java) S 18544 18547 5678 0 -1 1077944384 16281 12364 0 0 610 3 5 2 20 0 15 0 14537996 14407233536 663757 18446744073709551615 4194304 4196468 140720757742176 139770226563696 139770753280642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18608] ppid=18544 vsize=14069564 CPUtime=1.95 cores=1,3,5,7
/proc/18547/task/18608/stat : 18608 (java) S 18544 18547 5678 0 -1 1077944384 12087 12364 0 0 186 2 5 2 20 0 15 0 14537996 14407233536 663757 18446744073709551615 4194304 4196468 140720757742176 139770225511152 139770753280642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18609] ppid=18544 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/18547/task/18609/stat : 18609 (java) S 18544 18547 5678 0 -1 1077944384 3 12364 0 0 0 0 5 2 20 0 15 0 14537996 14407233536 663757 18446744073709551615 4194304 4196468 140720757742176 139770224458848 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18610] ppid=18544 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/18547/task/18610/stat : 18610 (java) S 18544 18547 5678 0 -1 1077944384 525 12364 0 0 5 7 5 2 20 0 15 0 14537999 14407233536 663757 18446744073709551615 4194304 4196468 140720757742176 139770223405360 139770753280642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
Current children cumulated CPU time (s) 240.06
Current children cumulated vsize (KiB) 14069564
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.67 1.76 1.90 3/209 18756
/proc/meminfo: memFree=25536900/32770624 swapFree=0/954336
[pid=18547] ppid=18544 vsize=14069564 CPUtime=258.06 cores=1,3,5,7
/proc/18547/stat : 18547 (java) S 18544 18547 5678 0 -1 1077944320 138704 12364 0 0 25666 133 5 2 20 0 15 0 14537969 14407233536 630546 18446744073709551615 4194304 4196468 140720757742176 140720757724720 139770753269495 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
/proc/18547/statm: 3517391 630546 3474 1 0 3506013 0
[pid=18547/tid=18597] ppid=18544 vsize=14069564 CPUtime=238.31 cores=1,3,5,7
/proc/18547/task/18597/stat : 18597 (java) R 18544 18547 5678 0 -1 4202560 66764 12364 0 0 23770 54 5 2 20 0 15 0 14537990 14407233536 630546 18446744073709551615 4194304 4196468 140720757742176 139770757503824 139770402099121 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18598] ppid=18544 vsize=14069564 CPUtime=1.26 cores=1,3,5,7
/proc/18547/task/18598/stat : 18598 (java) S 18544 18547 5678 0 -1 1077944384 2661 12364 0 0 105 14 5 2 20 0 15 0 14537991 14407233536 630546 18446744073709551615 4194304 4196468 140720757742176 139770353421072 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18599] ppid=18544 vsize=14069564 CPUtime=1.26 cores=1,3,5,7
/proc/18547/task/18599/stat : 18599 (java) S 18544 18547 5678 0 -1 1077944384 4657 12364 0 0 105 14 5 2 20 0 15 0 14537991 14407233536 630546 18446744073709551615 4194304 4196468 140720757742176 139770352368528 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18600] ppid=18544 vsize=14069564 CPUtime=1.26 cores=1,3,5,7
/proc/18547/task/18600/stat : 18600 (java) S 18544 18547 5678 0 -1 1077944384 3979 12364 0 0 106 13 5 2 20 0 15 0 14537991 14407233536 630546 18446744073709551615 4194304 4196468 140720757742176 139770351315984 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18601] ppid=18544 vsize=14069564 CPUtime=1.26 cores=1,3,5,7
/proc/18547/task/18601/stat : 18601 (java) S 18544 18547 5678 0 -1 1077944384 2550 12364 0 0 105 14 5 2 20 0 15 0 14537991 14407233536 630546 18446744073709551615 4194304 4196468 140720757742176 139770350263440 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18602] ppid=18544 vsize=14069564 CPUtime=0.27 cores=1,3,5,7
/proc/18547/task/18602/stat : 18602 (java) S 18544 18547 5678 0 -1 1077944384 5434 12364 0 0 16 4 5 2 20 0 15 0 14537992 14407233536 630546 18446744073709551615 4194304 4196468 140720757742176 139770231826416 139770753280642 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18603] ppid=18544 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/18547/task/18603/stat : 18603 (java) S 18544 18547 5678 0 -1 1077944384 54 12364 0 0 0 0 5 2 20 0 15 0 14537993 14407233536 630546 18446744073709551615 4194304 4196468 140720757742176 139770230772704 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18604] ppid=18544 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/18547/task/18604/stat : 18604 (java) S 18544 18547 5678 0 -1 1077944384 44 12364 0 0 0 0 5 2 20 0 15 0 14537993 14407233536 630546 18446744073709551615 4194304 4196468 140720757742176 139770229720064 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18605] ppid=18544 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/18547/task/18605/stat : 18605 (java) S 18544 18547 5678 0 -1 1077944384 3 12364 0 0 0 0 5 2 20 0 15 0 14537996 14407233536 630546 18446744073709551615 4194304 4196468 140720757742176 139770228668624 139770753288091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18606] ppid=18544 vsize=14069564 CPUtime=6.59 cores=1,3,5,7
/proc/18547/task/18606/stat : 18606 (java) S 18544 18547 5678 0 -1 1077944384 21507 12364 0 0 649 3 5 2 20 0 15 0 14537996 14407233536 630546 18446744073709551615 4194304 4196468 140720757742176 139770227616240 139770753280642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18607] ppid=18544 vsize=14069564 CPUtime=6.2 cores=1,3,5,7
/proc/18547/task/18607/stat : 18607 (java) S 18544 18547 5678 0 -1 1077944384 16281 12364 0 0 610 3 5 2 20 0 15 0 14537996 14407233536 630546 18446744073709551615 4194304 4196468 140720757742176 139770226563696 139770753280642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18608] ppid=18544 vsize=14069564 CPUtime=1.95 cores=1,3,5,7
/proc/18547/task/18608/stat : 18608 (java) S 18544 18547 5678 0 -1 1077944384 12087 12364 0 0 186 2 5 2 20 0 15 0 14537996 14407233536 630546 18446744073709551615 4194304 4196468 140720757742176 139770225511152 139770753280642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18609] ppid=18544 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/18547/task/18609/stat : 18609 (java) S 18544 18547 5678 0 -1 1077944384 3 12364 0 0 0 0 5 2 20 0 15 0 14537996 14407233536 630546 18446744073709551615 4194304 4196468 140720757742176 139770224458848 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18610] ppid=18544 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/18547/task/18610/stat : 18610 (java) S 18544 18547 5678 0 -1 1077944384 525 12364 0 0 5 8 5 2 20 0 15 0 14537999 14407233536 630546 18446744073709551615 4194304 4196468 140720757742176 139770223405360 139770753280642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
Current children cumulated CPU time (s) 258.06
Current children cumulated vsize (KiB) 14069564
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 18547 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+240.307 s]
/proc/loadavg: 1.62 1.74 1.90 6/211 18758
/proc/meminfo: memFree=25543580/32770624 swapFree=0/954336
[pid=18547] ppid=18544 vsize=14202692 CPUtime=259.02 cores=1,3,5,7
/proc/18547/stat : 18547 (java) S 18544 18547 5678 0 -1 1077944320 149764 12364 0 0 25760 135 5 2 20 0 17 0 14537969 14543556608 626474 18446744073709551615 4194304 4196468 140720757742176 140720757724720 139770753269495 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
/proc/18547/statm: 3550673 626474 3474 1 0 3539295 0
[pid=18547/tid=18597] ppid=18544 vsize=14202692 CPUtime=238.32 cores=1,3,5,7
/proc/18547/task/18597/stat : 18597 (java) S 18544 18547 5678 0 -1 1077944384 67397 12364 0 0 23771 54 5 2 20 0 17 0 14537990 14543556608 626474 18446744073709551615 4194304 4196468 140720757742176 139770757507200 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18598] ppid=18544 vsize=14202692 CPUtime=1.48 cores=1,3,5,7
/proc/18547/task/18598/stat : 18598 (java) S 18544 18547 5678 0 -1 1077944384 2710 12364 0 0 127 14 5 2 20 0 17 0 14537991 14543556608 626474 18446744073709551615 4194304 4196468 140720757742176 139770353421072 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18599] ppid=18544 vsize=14202692 CPUtime=1.48 cores=1,3,5,7
/proc/18547/task/18599/stat : 18599 (java) S 18544 18547 5678 0 -1 1077944384 4720 12364 0 0 127 14 5 2 20 0 17 0 14537991 14543556608 626474 18446744073709551615 4194304 4196468 140720757742176 139770352368528 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18600] ppid=18544 vsize=14202692 CPUtime=1.48 cores=1,3,5,7
/proc/18547/task/18600/stat : 18600 (java) S 18544 18547 5678 0 -1 1077944384 4026 12364 0 0 127 14 5 2 20 0 17 0 14537991 14543556608 626474 18446744073709551615 4194304 4196468 140720757742176 139770351315984 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18601] ppid=18544 vsize=14202692 CPUtime=1.48 cores=1,3,5,7
/proc/18547/task/18601/stat : 18601 (java) S 18544 18547 5678 0 -1 1077944384 2633 12364 0 0 127 14 5 2 20 0 17 0 14537991 14543556608 626474 18446744073709551615 4194304 4196468 140720757742176 139770350263440 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18602] ppid=18544 vsize=14202692 CPUtime=0.34 cores=1,3,5,7
/proc/18547/task/18602/stat : 18602 (java) R 18544 18547 5678 0 -1 4202560 15207 12364 0 0 23 4 5 2 20 0 17 0 14537992 14543556608 626474 18446744073709551615 4194304 4196468 140720757742176 139770231824704 139770738403313 0 0 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18603] ppid=18544 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/18547/task/18603/stat : 18603 (java) S 18544 18547 5678 0 -1 1077944384 56 12364 0 0 0 0 5 2 20 0 17 0 14537993 14543556608 626474 18446744073709551615 4194304 4196468 140720757742176 139770230772304 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18604] ppid=18544 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/18547/task/18604/stat : 18604 (java) S 18544 18547 5678 0 -1 1077944384 44 12364 0 0 0 0 5 2 20 0 17 0 14537993 14543556608 626474 18446744073709551615 4194304 4196468 140720757742176 139770229720064 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18605] ppid=18544 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/18547/task/18605/stat : 18605 (java) S 18544 18547 5678 0 -1 1077944384 155 12364 0 0 0 0 5 2 20 0 17 0 14537996 14543556608 626474 18446744073709551615 4194304 4196468 140720757742176 139770228668624 139770753288091 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18606] ppid=18544 vsize=14202692 CPUtime=6.59 cores=1,3,5,7
/proc/18547/task/18606/stat : 18606 (java) S 18544 18547 5678 0 -1 1077944384 21507 12364 0 0 649 3 5 2 20 0 17 0 14537996 14543556608 626474 18446744073709551615 4194304 4196468 140720757742176 139770227616240 139770753280642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18607] ppid=18544 vsize=14202692 CPUtime=6.2 cores=1,3,5,7
/proc/18547/task/18607/stat : 18607 (java) S 18544 18547 5678 0 -1 1077944384 16281 12364 0 0 610 3 5 2 20 0 17 0 14537996 14543556608 626474 18446744073709551615 4194304 4196468 140720757742176 139770226563696 139770753280642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18608] ppid=18544 vsize=14202692 CPUtime=1.95 cores=1,3,5,7
/proc/18547/task/18608/stat : 18608 (java) S 18544 18547 5678 0 -1 1077944384 12087 12364 0 0 186 2 5 2 20 0 17 0 14537996 14543556608 626474 18446744073709551615 4194304 4196468 140720757742176 139770225511152 139770753280642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18609] ppid=18544 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/18547/task/18609/stat : 18609 (java) S 18544 18547 5678 0 -1 1077944384 3 12364 0 0 0 0 5 2 20 0 17 0 14537996 14543556608 626474 18446744073709551615 4194304 4196468 140720757742176 139770224458848 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18610] ppid=18544 vsize=14202692 CPUtime=0.2 cores=1,3,5,7
/proc/18547/task/18610/stat : 18610 (java) S 18544 18547 5678 0 -1 1077944384 525 12364 0 0 5 8 5 2 20 0 17 0 14537999 14543556608 626474 18446744073709551615 4194304 4196468 140720757742176 139770223405360 139770753280642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18757] ppid=18544 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/18547/task/18757/stat : 18757 (java) S 18544 18547 5678 0 -1 1077944384 230 12364 0 0 0 0 5 2 20 0 17 0 14561970 14543556608 626474 18446744073709551615 4194304 4196468 140720757742176 139770191675504 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
[pid=18547/tid=18758] ppid=18544 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/18547/task/18758/stat : 18758 (java) S 18544 18547 5678 0 -1 1077944384 27 12364 0 0 0 0 5 2 20 0 17 0 14561970 14543556608 626474 18446744073709551615 4194304 4196468 140720757742176 139770190623680 139770753279701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11644928 140720757749709 140720757752494 140720757752494 140720757755855 0
Current children cumulated CPU time (s) 259.02
Current children cumulated vsize (KiB) 14202692
[startup+240.401 s]
/proc/loadavg: 1.62 1.74 1.90 6/211 18758
/proc/meminfo: memFree=25543580/32770624 swapFree=0/954336
[pid=18547] ppid=18544 vsize=0 CPUtime=259.26 cores=1,3,5,7
/proc/18547/stat : 18547 (java) Z 18544 18547 5678 0 -1 4228108 149924 12364 0 0 25783 136 5 2 20 0 2 0 14537969 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 0 0 0 0 0 0 0 0
/proc/18547/statm: 0 0 0 0 0 0 0
[pid=18547/tid=18757] ppid=18544 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/18547/task/18757/stat : 18757 (java) R 18544 18547 5678 0 -1 4203588 230 12364 0 0 0 1 5 2 20 0 2 0 14561970 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 259.26
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 240.406
CPU time (s): 259.29
CPU user time (s): 257.889
CPU system time (s): 1.40093
CPU usage (%): 107.855
Max. virtual memory (cumulated for all children) (KiB): 14202692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 257.889
system time used= 1.40093
maximum resident set size= 3348452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162288
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16423
involuntary context switches= 435
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.83569 second user time and 1.70811 second system time
The end