runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (61620 MiB free)
  memory of node 1: 64507 MiB (48973 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503465-1751163736/watcher-4503465-1751163736 -o /tmp/evaluation-result-4503465-1751163736/solver-4503465-1751163736 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751156506-16354 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4503465-1751163736 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4503465-1751163736.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64

solver pid=18240, runsolver pid=18237
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 4.50 4.28 4.21 7/343 18258
/proc/meminfo: memFree=113213448/131250000 swapFree=33010684/33010684
[pid=18240] ppid=18237 vsize=18930384 memory=59464 CPUtime=0.12 cores=0,2
/proc/18240/stat : 18240 (java) S 18237 18240 16344 0 -1 4194304 6488 0 0 0 10 2 0 0 20 0 18 0 32053532 19384713216 14866 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
/proc/18240/statm: 4732596 14866 5351 1 0 547620 0
[pid=18240/tid=18242] ppid=18237 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/18240/task/18242/stat : 18242 (java) R 18237 18240 16344 0 -1 4194368 5077 0 0 0 6 1 0 0 20 0 18 0 32053533 19384713216 14866 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18251] ppid=18237 vsize=18930384 memory=241407623509 CPUtime=0 cores=0,2
/proc/18240/task/18251/stat : 18251 (Finalizer) S 18237 18240 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32053535 19384713216 14866 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18258] ppid=18237 vsize=18930384 memory=61784027586760 CPUtime=0 cores=0,2
/proc/18240/task/18258/stat : 18258 (Common-Cleaner) S 18237 18240 16344 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 32053536 19384713216 14866 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59464 KiB

[startup+0.205802 s]*
/proc/loadavg: 4.50 4.28 4.21 7/343 18258
/proc/meminfo: memFree=113207624/131250000 swapFree=33010684/33010684
[pid=18240] ppid=18237 vsize=18930384 memory=65720 CPUtime=0.29 cores=0,2
/proc/18240/stat : 18240 (java) S 18237 18240 16344 0 -1 4194304 6927 0 0 0 26 3 0 0 20 0 18 0 32053532 19384713216 16430 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
/proc/18240/statm: 4732596 16430 5447 1 0 547996 0
[pid=18240/tid=18242] ppid=18237 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=0,2
/proc/18240/task/18242/stat : 18242 (java) R 18237 18240 16344 0 -1 4194368 5308 0 0 0 15 2 0 0 20 0 18 0 32053533 19384713216 16430 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18251] ppid=18237 vsize=18930384 memory=18954 CPUtime=0 cores=0,2
/proc/18240/task/18251/stat : 18251 (Finalizer) S 18237 18240 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32053535 19384713216 16430 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18258] ppid=18237 vsize=18930384 memory=60684515935208 CPUtime=0 cores=0,2
/proc/18240/task/18258/stat : 18258 (Common-Cleaner) S 18237 18240 16344 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 32053536 19384713216 16430 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 65720 KiB

[startup+0.305764 s]*
/proc/loadavg: 4.50 4.28 4.21 6/343 18258
/proc/meminfo: memFree=113165972/131250000 swapFree=33010684/33010684
[pid=18240] ppid=18237 vsize=18930384 memory=106280 CPUtime=0.49 cores=0,2
/proc/18240/stat : 18240 (java) S 18237 18240 16344 0 -1 4194304 8295 0 0 0 45 4 0 0 20 0 18 0 32053532 19384713216 26570 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
/proc/18240/statm: 4732596 26570 5447 1 0 548932 0
[pid=18240/tid=18242] ppid=18237 vsize=18930384 memory=-6000919477035230318 CPUtime=0.26 cores=0,2
/proc/18240/task/18242/stat : 18242 (java) R 18237 18240 16344 0 -1 4194368 5331 0 0 0 24 2 0 0 20 0 18 0 32053533 19384713216 26570 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18251] ppid=18237 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/18240/task/18251/stat : 18251 (Finalizer) S 18237 18240 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32053535 19384713216 26570 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18258] ppid=18237 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/18240/task/18258/stat : 18258 (Common-Cleaner) S 18237 18240 16344 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 32053536 19384713216 26570 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 106280 KiB

[startup+0.700225 s]
/proc/loadavg: 4.50 4.28 4.21 7/345 18260
/proc/meminfo: memFree=113104596/131250000 swapFree=33010684/33010684
[pid=18240] ppid=18237 vsize=19063512 memory=175112 CPUtime=1.25 cores=0,2
/proc/18240/stat : 18240 (java) S 18237 18240 16344 0 -1 4194304 13754 0 0 0 119 6 0 0 20 0 20 0 32053532 19521036288 43778 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
/proc/18240/statm: 4765878 43778 5479 1 0 553411 0
[pid=18240/tid=18242] ppid=18237 vsize=19063512 memory=17536 CPUtime=0.62 cores=0,2
/proc/18240/task/18242/stat : 18242 (java) R 18237 18240 16344 0 -1 4194368 5427 0 0 0 59 3 0 0 20 0 20 0 32053533 19521036288 43778 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18251] ppid=18237 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/18240/task/18251/stat : 18251 (Finalizer) S 18237 18240 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32053535 19521036288 43778 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18258] ppid=18237 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/18240/task/18258/stat : 18258 (Common-Cleaner) S 18237 18240 16344 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 32053536 19521036288 43778 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18260] ppid=18237 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/18240/task/18260/stat : 18260 (Timer-0) S 18237 18240 16344 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32053581 19521036288 43778 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 175112 KiB

[startup+1.50024 s]
/proc/loadavg: 4.50 4.28 4.21 6/345 18260
/proc/meminfo: memFree=113074040/131250000 swapFree=33010684/33010684
[pid=18240] ppid=18237 vsize=19063512 memory=184092 CPUtime=2.83 cores=0,2
/proc/18240/stat : 18240 (java) S 18237 18240 16344 0 -1 4194304 23670 0 0 0 276 7 0 0 20 0 20 0 32053532 19521036288 46023 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
/proc/18240/statm: 4765878 46023 5479 1 0 554820 0
[pid=18240/tid=18242] ppid=18237 vsize=19063512 memory=0 CPUtime=1.37 cores=0,2
/proc/18240/task/18242/stat : 18242 (java) R 18237 18240 16344 0 -1 4194368 6400 0 0 0 133 4 0 0 20 0 20 0 32053533 19521036288 46023 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18251] ppid=18237 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/18240/task/18251/stat : 18251 (Finalizer) S 18237 18240 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32053535 19521036288 46023 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18258] ppid=18237 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/18240/task/18258/stat : 18258 (Common-Cleaner) S 18237 18240 16344 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 32053536 19521036288 46023 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18260] ppid=18237 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/18240/task/18260/stat : 18260 (Timer-0) S 18237 18240 16344 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32053581 19521036288 46023 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 184092 KiB

[startup+3.10559 s]
/proc/loadavg: 4.50 4.28 4.21 6/345 18260
/proc/meminfo: memFree=113051000/131250000 swapFree=33010684/33010684
[pid=18240] ppid=18237 vsize=19063512 memory=191076 CPUtime=5.57 cores=0,2
/proc/18240/stat : 18240 (java) S 18237 18240 16344 0 -1 4194304 26377 0 0 0 549 8 0 0 20 0 20 0 32053532 19521036288 47769 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
/proc/18240/statm: 4765878 47769 5479 1 0 555175 0
[pid=18240/tid=18242] ppid=18237 vsize=19063512 memory=10880 CPUtime=2.94 cores=0,2
/proc/18240/task/18242/stat : 18242 (java) R 18237 18240 16344 0 -1 4194368 6728 0 0 0 290 4 0 0 20 0 20 0 32053533 19521036288 47769 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18251] ppid=18237 vsize=19063512 memory=-6000919477035230318 CPUtime=0 cores=0,2
/proc/18240/task/18251/stat : 18251 (Finalizer) S 18237 18240 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32053535 19521036288 47769 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18258] ppid=18237 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/18240/task/18258/stat : 18258 (Common-Cleaner) S 18237 18240 16344 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 32053536 19521036288 47769 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18260] ppid=18237 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/18240/task/18260/stat : 18260 (Timer-0) S 18237 18240 16344 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32053581 19521036288 47769 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
Current children cumulated CPU time: 5.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 191076 KiB

[startup+6.30021 s]
/proc/loadavg: 4.46 4.28 4.20 5/346 18261
/proc/meminfo: memFree=113031380/131250000 swapFree=33010684/33010684
[pid=18240] ppid=18237 vsize=19063512 memory=186912 CPUtime=9 cores=0,2
/proc/18240/stat : 18240 (java) S 18237 18240 16344 0 -1 4194304 26506 0 0 0 891 9 0 0 20 0 20 0 32053532 19521036288 46728 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
/proc/18240/statm: 4765878 46728 5479 1 0 555176 0
[pid=18240/tid=18242] ppid=18237 vsize=19063512 memory=0 CPUtime=6.11 cores=0,2
/proc/18240/task/18242/stat : 18242 (java) R 18237 18240 16344 0 -1 4194368 6764 0 0 0 607 4 0 0 20 0 20 0 32053533 19521036288 46728 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18251] ppid=18237 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/18240/task/18251/stat : 18251 (Finalizer) S 18237 18240 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32053535 19521036288 46728 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18258] ppid=18237 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/18240/task/18258/stat : 18258 (Common-Cleaner) S 18237 18240 16344 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 32053536 19521036288 46728 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18260] ppid=18237 vsize=19063512 memory=184220 CPUtime=0 cores=0,2
/proc/18240/task/18260/stat : 18260 (Timer-0) S 18237 18240 16344 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32053581 19521036288 46728 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
Current children cumulated CPU time: 9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 186912 KiB

[startup+12.7002 s]
/proc/loadavg: 4.42 4.27 4.20 5/346 18261
/proc/meminfo: memFree=112869952/131250000 swapFree=33010684/33010684
[pid=18240] ppid=18237 vsize=19063512 memory=312000 CPUtime=15.5 cores=0,2
/proc/18240/stat : 18240 (java) S 18237 18240 16344 0 -1 4194304 29268 0 0 0 1536 14 0 0 20 0 20 0 32053532 19521036288 78000 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
/proc/18240/statm: 4765878 78000 5479 1 0 555176 0
[pid=18240/tid=18242] ppid=18237 vsize=19063512 memory=184220 CPUtime=12.47 cores=0,2
/proc/18240/task/18242/stat : 18242 (java) R 18237 18240 16344 0 -1 4194368 7485 0 0 0 1238 9 0 0 20 0 20 0 32053533 19521036288 78000 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18251] ppid=18237 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/18240/task/18251/stat : 18251 (Finalizer) S 18237 18240 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32053535 19521036288 78000 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18258] ppid=18237 vsize=19063512 memory=312000 CPUtime=0 cores=0,2
/proc/18240/task/18258/stat : 18258 (Common-Cleaner) S 18237 18240 16344 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 32053536 19521036288 78000 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18260] ppid=18237 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/18240/task/18260/stat : 18260 (Timer-0) S 18237 18240 16344 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32053581 19521036288 78000 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
Current children cumulated CPU time: 15.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 312000 KiB

[startup+25.5002 s]
/proc/loadavg: 4.40 4.28 4.20 5/346 18262
/proc/meminfo: memFree=112170356/131250000 swapFree=33010684/33010684
[pid=18240] ppid=18237 vsize=19063512 memory=915916 CPUtime=28.83 cores=0,2
/proc/18240/stat : 18240 (java) S 18237 18240 16344 0 -1 4194304 36821 0 0 0 2854 29 0 0 20 0 20 0 32053532 19521036288 228979 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
/proc/18240/statm: 4765878 228979 5511 1 0 555176 0
[pid=18240/tid=18242] ppid=18237 vsize=19063512 memory=-6000919477035230318 CPUtime=25.22 cores=0,2
/proc/18240/task/18242/stat : 18242 (java) R 18237 18240 16344 0 -1 4194368 9408 0 0 0 2498 24 0 0 20 0 20 0 32053533 19521036288 228979 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18251] ppid=18237 vsize=19063512 memory=17536 CPUtime=0 cores=0,2
/proc/18240/task/18251/stat : 18251 (Finalizer) S 18237 18240 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32053535 19521036288 228979 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18258] ppid=18237 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/18240/task/18258/stat : 18258 (Common-Cleaner) S 18237 18240 16344 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 32053536 19521036288 228979 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18260] ppid=18237 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/18240/task/18260/stat : 18260 (Timer-0) S 18237 18240 16344 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32053581 19521036288 228979 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
Current children cumulated CPU time: 28.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 915916 KiB

[startup+51.1056 s]
/proc/loadavg: 4.34 4.27 4.20 5/345 18263
/proc/meminfo: memFree=111753504/131250000 swapFree=33010684/33010684
[pid=18240] ppid=18237 vsize=19063512 memory=1176032 CPUtime=54.37 cores=0,2
/proc/18240/stat : 18240 (java) S 18237 18240 16344 0 -1 4194304 38949 0 0 0 5398 39 0 0 20 0 20 0 32053532 19521036288 294008 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
/proc/18240/statm: 4765878 294008 5511 1 0 555176 0
[pid=18240/tid=18242] ppid=18237 vsize=19063512 memory=1176032 CPUtime=50.69 cores=0,2
/proc/18240/task/18242/stat : 18242 (java) R 18237 18240 16344 0 -1 4194368 10533 0 0 0 5036 33 0 0 20 0 20 0 32053533 19521036288 294008 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18251] ppid=18237 vsize=19063512 memory=915916 CPUtime=0 cores=0,2
/proc/18240/task/18251/stat : 18251 (Finalizer) S 18237 18240 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32053535 19521036288 294008 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0

################
# More data... #
################

/proc/loadavg: 4.22 4.24 4.19 5/345 18332
/proc/meminfo: memFree=116832180/131250000 swapFree=33010684/33010684
[pid=18240] ppid=18237 vsize=19063512 memory=1339908 CPUtime=105.45 cores=0,2
/proc/18240/stat : 18240 (java) S 18237 18240 16344 0 -1 4194304 41573 0 0 0 10496 49 0 0 20 0 20 0 32053532 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
/proc/18240/statm: 4765878 334977 5511 1 0 555176 0
[pid=18240/tid=18242] ppid=18237 vsize=19063512 memory=10880 CPUtime=101.68 cores=0,2
/proc/18240/task/18242/stat : 18242 (java) R 18237 18240 16344 0 -1 4194368 12218 0 0 0 10127 41 0 0 20 0 20 0 32053533 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18251] ppid=18237 vsize=19063512 memory=-6000919477035230318 CPUtime=0 cores=0,2
/proc/18240/task/18251/stat : 18251 (Finalizer) S 18237 18240 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32053535 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18258] ppid=18237 vsize=19063512 memory=12416 CPUtime=0 cores=0,2
/proc/18240/task/18258/stat : 18258 (Common-Cleaner) S 18237 18240 16344 0 -1 4194368 88 0 0 0 0 0 0 0 20 0 20 0 32053536 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18260] ppid=18237 vsize=19063512 memory=4252 CPUtime=0 cores=0,2
/proc/18240/task/18260/stat : 18260 (Timer-0) S 18237 18240 16344 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32053581 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
Current children cumulated CPU time: 105.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1339908 KiB

[startup+115.2 s]
/proc/loadavg: 4.25 4.25 4.20 5/345 18332
/proc/meminfo: memFree=116761416/131250000 swapFree=33010684/33010684
[pid=18240] ppid=18237 vsize=19063512 memory=1339908 CPUtime=118.22 cores=0,2
/proc/18240/stat : 18240 (java) S 18237 18240 16344 0 -1 4194304 42152 0 0 0 11771 51 0 0 20 0 20 0 32053532 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
/proc/18240/statm: 4765878 334977 5511 1 0 555176 0
[pid=18240/tid=18242] ppid=18237 vsize=19063512 memory=4352 CPUtime=114.44 cores=0,2
/proc/18240/task/18242/stat : 18242 (java) R 18237 18240 16344 0 -1 4194368 12724 0 0 0 11402 42 0 0 20 0 20 0 32053533 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18251] ppid=18237 vsize=19063512 memory=1792 CPUtime=0 cores=0,2
/proc/18240/task/18251/stat : 18251 (Finalizer) S 18237 18240 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32053535 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18258] ppid=18237 vsize=19063512 memory=1339908 CPUtime=0 cores=0,2
/proc/18240/task/18258/stat : 18258 (Common-Cleaner) S 18237 18240 16344 0 -1 4194368 88 0 0 0 0 0 0 0 20 0 20 0 32053536 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18260] ppid=18237 vsize=19063512 memory=348328 CPUtime=0 cores=0,2
/proc/18240/task/18260/stat : 18260 (Timer-0) S 18237 18240 16344 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32053581 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
Current children cumulated CPU time: 118.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1339908 KiB

[startup+128 s]*
/proc/loadavg: 4.21 4.24 4.19 6/345 18332
/proc/meminfo: memFree=116378096/131250000 swapFree=33010684/33010684
[pid=18240] ppid=18237 vsize=19063512 memory=1339908 CPUtime=130.95 cores=0,2
/proc/18240/stat : 18240 (java) S 18237 18240 16344 0 -1 4194304 42850 0 0 0 13042 53 0 0 20 0 20 0 32053532 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
/proc/18240/statm: 4765878 334977 5511 1 0 555176 0
[pid=18240/tid=18242] ppid=18237 vsize=19063512 memory=-6000919472790529134 CPUtime=127.14 cores=0,2
/proc/18240/task/18242/stat : 18242 (java) R 18237 18240 16344 0 -1 4194368 12772 0 0 0 12670 44 0 0 20 0 20 0 32053533 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18251] ppid=18237 vsize=19063512 memory=6836 CPUtime=0 cores=0,2
/proc/18240/task/18251/stat : 18251 (Finalizer) S 18237 18240 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32053535 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18258] ppid=18237 vsize=19063512 memory=23368 CPUtime=0 cores=0,2
/proc/18240/task/18258/stat : 18258 (Common-Cleaner) S 18237 18240 16344 0 -1 4194368 182 0 0 0 0 0 0 0 20 0 20 0 32053536 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18260] ppid=18237 vsize=19063512 memory=13176 CPUtime=0 cores=0,2
/proc/18240/task/18260/stat : 18260 (Timer-0) S 18237 18240 16344 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32053581 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
Current children cumulated CPU time: 130.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1339908 KiB

[startup+134.4 s]
/proc/loadavg: 4.17 4.23 4.19 5/345 18332
/proc/meminfo: memFree=116304684/131250000 swapFree=33010684/33010684
[pid=18240] ppid=18237 vsize=19063512 memory=1339908 CPUtime=137.36 cores=0,2
/proc/18240/stat : 18240 (java) S 18237 18240 16344 0 -1 4194304 43020 0 0 0 13682 54 0 0 20 0 20 0 32053532 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
/proc/18240/statm: 4765878 334977 5511 1 0 555176 0
[pid=18240/tid=18242] ppid=18237 vsize=19063512 memory=1339908 CPUtime=133.52 cores=0,2
/proc/18240/task/18242/stat : 18242 (java) R 18237 18240 16344 0 -1 4194368 12811 0 0 0 13307 45 0 0 20 0 20 0 32053533 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18251] ppid=18237 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/18240/task/18251/stat : 18251 (Finalizer) S 18237 18240 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32053535 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18258] ppid=18237 vsize=19063512 memory=1339908 CPUtime=0 cores=0,2
/proc/18240/task/18258/stat : 18258 (Common-Cleaner) S 18237 18240 16344 0 -1 4194368 182 0 0 0 0 0 0 0 20 0 20 0 32053536 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18260] ppid=18237 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/18240/task/18260/stat : 18260 (Timer-0) S 18237 18240 16344 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32053581 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
Current children cumulated CPU time: 137.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1339908 KiB

[startup+136 s]*
/proc/loadavg: 4.17 4.23 4.19 5/345 18332
/proc/meminfo: memFree=116296904/131250000 swapFree=33010684/33010684
[pid=18240] ppid=18237 vsize=19063512 memory=1339908 CPUtime=138.97 cores=0,2
/proc/18240/stat : 18240 (java) S 18237 18240 16344 0 -1 4194304 43024 0 0 0 13842 55 0 0 20 0 20 0 32053532 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
/proc/18240/statm: 4765878 334977 5511 1 0 555176 0
[pid=18240/tid=18242] ppid=18237 vsize=19063512 memory=1339908 CPUtime=135.12 cores=0,2
/proc/18240/task/18242/stat : 18242 (java) R 18237 18240 16344 0 -1 4194368 12812 0 0 0 13467 45 0 0 20 0 20 0 32053533 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18251] ppid=18237 vsize=19063512 memory=6644 CPUtime=0 cores=0,2
/proc/18240/task/18251/stat : 18251 (Finalizer) S 18237 18240 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32053535 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18258] ppid=18237 vsize=19063512 memory=1197068 CPUtime=0 cores=0,2
/proc/18240/task/18258/stat : 18258 (Common-Cleaner) S 18237 18240 16344 0 -1 4194368 182 0 0 0 0 0 0 0 20 0 20 0 32053536 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18260] ppid=18237 vsize=19063512 memory=-6000919472790529134 CPUtime=0 cores=0,2
/proc/18240/task/18260/stat : 18260 (Timer-0) S 18237 18240 16344 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32053581 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
Current children cumulated CPU time: 138.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1339908 KiB

[startup+136.8 s]
/proc/loadavg: 4.17 4.23 4.19 5/345 18332
/proc/meminfo: memFree=116296904/131250000 swapFree=33010684/33010684
[pid=18240] ppid=18237 vsize=19063512 memory=1339908 CPUtime=139.76 cores=0,2
/proc/18240/stat : 18240 (java) S 18237 18240 16344 0 -1 4194304 43024 0 0 0 13921 55 0 0 20 0 20 0 32053532 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
/proc/18240/statm: 4765878 334977 5511 1 0 555176 0
[pid=18240/tid=18242] ppid=18237 vsize=19063512 memory=2175204 CPUtime=135.91 cores=0,2
/proc/18240/task/18242/stat : 18242 (java) R 18237 18240 16344 0 -1 4194368 12812 0 0 0 13546 45 0 0 20 0 20 0 32053533 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18251] ppid=18237 vsize=19063512 memory=6768 CPUtime=0 cores=0,2
/proc/18240/task/18251/stat : 18251 (Finalizer) S 18237 18240 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32053535 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18258] ppid=18237 vsize=19063512 memory=-6000919477035230318 CPUtime=0 cores=0,2
/proc/18240/task/18258/stat : 18258 (Common-Cleaner) S 18237 18240 16344 0 -1 4194368 182 0 0 0 0 0 0 0 20 0 20 0 32053536 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18260] ppid=18237 vsize=19063512 memory=12416 CPUtime=0 cores=0,2
/proc/18240/task/18260/stat : 18260 (Timer-0) S 18237 18240 16344 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32053581 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
Current children cumulated CPU time: 139.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1339908 KiB

[startup+137.6 s]
/proc/loadavg: 4.17 4.23 4.19 5/345 18332
/proc/meminfo: memFree=116288840/131250000 swapFree=33010684/33010684
[pid=18240] ppid=18237 vsize=19063512 memory=1339908 CPUtime=140.55 cores=0,2
/proc/18240/stat : 18240 (java) S 18237 18240 16344 0 -1 4194304 43025 0 0 0 14000 55 0 0 20 0 20 0 32053532 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
/proc/18240/statm: 4765878 334977 5511 1 0 555176 0
[pid=18240/tid=18242] ppid=18237 vsize=19063512 memory=1339908 CPUtime=136.71 cores=0,2
/proc/18240/task/18242/stat : 18242 (java) R 18237 18240 16344 0 -1 4194368 12813 0 0 0 13626 45 0 0 20 0 20 0 32053533 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18251] ppid=18237 vsize=19063512 memory=1339908 CPUtime=0 cores=0,2
/proc/18240/task/18251/stat : 18251 (Finalizer) S 18237 18240 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32053535 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18258] ppid=18237 vsize=19063512 memory=1339908 CPUtime=0 cores=0,2
/proc/18240/task/18258/stat : 18258 (Common-Cleaner) S 18237 18240 16344 0 -1 4194368 182 0 0 0 0 0 0 0 20 0 20 0 32053536 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18260] ppid=18237 vsize=19063512 memory=1339908 CPUtime=0 cores=0,2
/proc/18240/task/18260/stat : 18260 (Timer-0) S 18237 18240 16344 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32053581 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
Current children cumulated CPU time: 140.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1339908 KiB

[startup+137.8 s]
/proc/loadavg: 4.17 4.23 4.19 5/345 18332
/proc/meminfo: memFree=116288840/131250000 swapFree=33010684/33010684
[pid=18240] ppid=18237 vsize=19063512 memory=1339908 CPUtime=140.75 cores=0,2
/proc/18240/stat : 18240 (java) S 18237 18240 16344 0 -1 4194304 43025 0 0 0 14020 55 0 0 20 0 20 0 32053532 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
/proc/18240/statm: 4765878 334977 5511 1 0 555176 0
[pid=18240/tid=18242] ppid=18237 vsize=19063512 memory=10880 CPUtime=136.9 cores=0,2
/proc/18240/task/18242/stat : 18242 (java) R 18237 18240 16344 0 -1 4194368 12813 0 0 0 13645 45 0 0 20 0 20 0 32053533 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18251] ppid=18237 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/18240/task/18251/stat : 18251 (Finalizer) S 18237 18240 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32053535 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18258] ppid=18237 vsize=19063512 memory=-6000919477035230318 CPUtime=0 cores=0,2
/proc/18240/task/18258/stat : 18258 (Common-Cleaner) S 18237 18240 16344 0 -1 4194368 182 0 0 0 0 0 0 0 20 0 20 0 32053536 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18260] ppid=18237 vsize=19063512 memory=2892 CPUtime=0 cores=0,2
/proc/18240/task/18260/stat : 18260 (Timer-0) S 18237 18240 16344 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32053581 19521036288 334977 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
Current children cumulated CPU time: 140.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1339908 KiB

[startup+137.9 s]
/proc/loadavg: 4.17 4.23 4.19 5/345 18332
/proc/meminfo: memFree=116288840/131250000 swapFree=33010684/33010684
[pid=18240] ppid=18237 vsize=19196640 memory=1340420 CPUtime=140.86 cores=0,2
/proc/18240/stat : 18240 (java) S 18237 18240 16344 0 -1 4194304 44980 0 0 0 14030 56 0 0 20 0 20 0 32053532 19657359360 335105 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
/proc/18240/statm: 4799160 335105 5543 1 0 555794 0
[pid=18240/tid=18242] ppid=18237 vsize=19196640 memory=1339908 CPUtime=136.97 cores=0,2
/proc/18240/task/18242/stat : 18242 (java) S 18237 18240 16344 0 -1 4194368 14357 0 0 0 13651 46 0 0 20 0 20 0 32053533 19657359360 335105 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18251] ppid=18237 vsize=19196640 memory=1339908 CPUtime=0 cores=0,2
/proc/18240/task/18251/stat : 18251 (Finalizer) S 18237 18240 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32053535 19657359360 335105 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
[pid=18240/tid=18258] ppid=18237 vsize=19196640 memory=14720 CPUtime=0 cores=0,2
/proc/18240/task/18258/stat : 18258 (Common-Cleaner) S 18237 18240 16344 0 -1 4194368 182 0 0 0 0 0 0 0 20 0 20 0 32053536 19657359360 335105 18446744073709551615 94751487406080 94751487409776 140733561586416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94751487417592 94751487418384 94751505104896 140733561592112 140733561592294 140733561592294 140733561597896 0
Current children cumulated CPU time: 140.86 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 1340420 KiB

Child status: 10

Real time (s): 137.96
CPU time (s): 140.9
CPU user time (s): 140.331
CPU system time (s): 0.569034
CPU usage (%): 102.131
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 1340420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 140.331
system time used= 0.569034
maximum resident set size= 1340804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45217
page faults= 0
swaps= 0
block input operations= 0
block output operations= 377672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6669
involuntary context switches= 1572


# summary of solver processes directly reported to runsolver:
#   pid: 18240
#   total CPU time (s): 140.9
#   total CPU user time (s): 140.331
#   total CPU system time (s): 0.569034

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.423458 second user time and 0.565259 second system time

The end