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: 63837 MiB (56523 MiB free)
  memory of node 1: 64465 MiB (42238 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499083-1751413475/watcher-4499083-1751413475 -o /tmp/evaluation-result-4499083-1751413475/solver-4499083-1751413475 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751407286-53562 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4499083-1751413475 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4499083-1751413475.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
Starting watchdog thread
solver pid=54474, runsolver pid=54471
Current StackSize limit: 8192 KiB


[startup+0.100071 s]*
/proc/loadavg: 4.60 4.60 4.60 5/330 54492
/proc/meminfo: memFree=101116920/131382120 swapFree=33010160/33010684
[pid=54474] ppid=54471 vsize=18930384 memory=48616 CPUtime=0.12 cores=0,2
/proc/54474/stat : 54474 (java) S 54471 54474 53552 0 -1 4194304 5828 0 0 0 9 3 0 0 20 0 18 0 57026583 19384713216 12154 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
/proc/54474/statm: 4732596 12154 5306 1 0 547019 0
[pid=54474/tid=54476] ppid=54471 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/54474/task/54476/stat : 54476 (java) R 54471 54474 53552 0 -1 4194368 4717 0 0 0 5 2 0 0 20 0 18 0 57026585 19384713216 12154 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54485] ppid=54471 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/54474/task/54485/stat : 54485 (Finalizer) S 54471 54474 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 57026590 19384713216 12154 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54492] ppid=54471 vsize=18930384 memory=59593594261064 CPUtime=0 cores=0,2
/proc/54474/task/54492/stat : 54492 (Common-Cleaner) S 54471 54474 53552 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 57026590 19384713216 12154 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48616 KiB

[startup+0.220184 s]*
/proc/loadavg: 4.60 4.60 4.60 7/330 54492
/proc/meminfo: memFree=101116176/131382120 swapFree=33010160/33010684
[pid=54474] ppid=54471 vsize=18930384 memory=58840 CPUtime=0.33 cores=0,2
/proc/54474/stat : 54474 (java) S 54471 54474 53552 0 -1 4194304 6764 0 0 0 29 4 0 0 20 0 18 0 57026583 19384713216 14710 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
/proc/54474/statm: 4732596 14710 5434 1 0 547795 0
[pid=54474/tid=54476] ppid=54471 vsize=18930384 memory=4026663196 CPUtime=0.19 cores=0,2
/proc/54474/task/54476/stat : 54476 (java) R 54471 54474 53552 0 -1 4194368 5270 0 0 0 17 2 0 0 20 0 18 0 57026585 19384713216 14710 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54485] ppid=54471 vsize=18930384 memory=15877 CPUtime=0 cores=0,2
/proc/54474/task/54485/stat : 54485 (Finalizer) S 54471 54474 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 57026590 19384713216 14710 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54492] ppid=54471 vsize=18930384 memory=58494082614266 CPUtime=0 cores=0,2
/proc/54474/task/54492/stat : 54492 (Common-Cleaner) S 54471 54474 53552 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 57026590 19384713216 14710 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58840 KiB

[startup+0.316272 s]*
/proc/loadavg: 4.60 4.60 4.60 7/330 54492
/proc/meminfo: memFree=101111072/131382120 swapFree=33010160/33010684
[pid=54474] ppid=54471 vsize=18930384 memory=63616 CPUtime=0.49 cores=0,2
/proc/54474/stat : 54474 (java) S 54471 54474 53552 0 -1 4194304 6931 0 0 0 45 4 0 0 20 0 18 0 57026583 19384713216 15904 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
/proc/54474/statm: 4732596 15904 5434 1 0 547906 0
[pid=54474/tid=54476] ppid=54471 vsize=18930384 memory=-6000919502737795178 CPUtime=0.27 cores=0,2
/proc/54474/task/54476/stat : 54476 (java) S 54471 54474 53552 0 -1 4194368 5320 0 0 0 25 2 0 0 20 0 18 0 57026585 19384713216 15904 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54485] ppid=54471 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/54474/task/54485/stat : 54485 (Finalizer) S 54471 54474 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 57026590 19384713216 15936 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54492] ppid=54471 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/54474/task/54492/stat : 54492 (Common-Cleaner) S 54471 54474 53552 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 57026590 19384713216 15936 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 63616 KiB

[startup+0.700317 s]
/proc/loadavg: 4.60 4.60 4.60 7/330 54492
/proc/meminfo: memFree=101105468/131382120 swapFree=33010160/33010684
[pid=54474] ppid=54471 vsize=18996948 memory=95416 CPUtime=1.21 cores=0,2
/proc/54474/stat : 54474 (java) S 54471 54474 53552 0 -1 4194304 9124 0 0 0 115 6 0 0 20 0 19 0 57026583 19452874752 23854 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
/proc/54474/statm: 4749237 23854 5498 1 0 549640 0
[pid=54474/tid=54476] ppid=54471 vsize=18996948 memory=18048 CPUtime=0.55 cores=0,2
/proc/54474/task/54476/stat : 54476 (java) R 54471 54474 53552 0 -1 4194368 5485 0 0 0 52 3 0 0 20 0 19 0 57026585 19452874752 23854 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54485] ppid=54471 vsize=18996948 memory=10496 CPUtime=0 cores=0,2
/proc/54474/task/54485/stat : 54485 (Finalizer) S 54471 54474 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 57026590 19452874752 23854 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54492] ppid=54471 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/54474/task/54492/stat : 54492 (Common-Cleaner) S 54471 54474 53552 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 57026590 19452874752 23854 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54493] ppid=54471 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/54474/task/54493/stat : 54493 (Timer-0) S 54471 54474 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 57026635 19452874752 23854 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 95416 KiB

[startup+1.50027 s]
/proc/loadavg: 4.60 4.60 4.60 6/331 54493
/proc/meminfo: memFree=101047024/131382120 swapFree=33010160/33010684
[pid=54474] ppid=54471 vsize=19063512 memory=172576 CPUtime=2.77 cores=0,2
/proc/54474/stat : 54474 (java) S 54471 54474 53552 0 -1 4194304 18403 0 0 0 268 9 0 0 20 0 20 0 57026583 19521036288 43144 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
/proc/54474/statm: 4765878 43144 5530 1 0 553099 0
[pid=54474/tid=54476] ppid=54471 vsize=19063512 memory=0 CPUtime=1.31 cores=0,2
/proc/54474/task/54476/stat : 54476 (java) R 54471 54474 53552 0 -1 4194368 5926 0 0 0 126 5 0 0 20 0 20 0 57026585 19521036288 43144 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54485] ppid=54471 vsize=19063512 memory=10496 CPUtime=0 cores=0,2
/proc/54474/task/54485/stat : 54485 (Finalizer) S 54471 54474 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 57026590 19521036288 43144 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54492] ppid=54471 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/54474/task/54492/stat : 54492 (Common-Cleaner) S 54471 54474 53552 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 57026590 19521036288 43144 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54493] ppid=54471 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/54474/task/54493/stat : 54493 (Timer-0) S 54471 54474 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 57026635 19521036288 43144 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 172576 KiB

[startup+3.1055 s]
/proc/loadavg: 4.60 4.60 4.60 6/332 54494
/proc/meminfo: memFree=100983064/131382120 swapFree=33010160/33010684
[pid=54474] ppid=54471 vsize=19063512 memory=225368 CPUtime=5.94 cores=0,2
/proc/54474/stat : 54474 (java) S 54471 54474 53552 0 -1 4194304 22118 0 0 0 581 13 0 0 20 0 20 0 57026583 19521036288 56342 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
/proc/54474/statm: 4765878 56342 5530 1 0 553206 0
[pid=54474/tid=54476] ppid=54471 vsize=19063512 memory=10496 CPUtime=2.85 cores=0,2
/proc/54474/task/54476/stat : 54476 (java) R 54471 54474 53552 0 -1 4194368 7178 0 0 0 277 8 0 0 20 0 20 0 57026585 19521036288 56342 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54485] ppid=54471 vsize=19063512 memory=-6000919502737795178 CPUtime=0 cores=0,2
/proc/54474/task/54485/stat : 54485 (Finalizer) S 54471 54474 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 57026590 19521036288 56342 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54492] ppid=54471 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/54474/task/54492/stat : 54492 (Common-Cleaner) S 54471 54474 53552 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 57026590 19521036288 56342 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54493] ppid=54471 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/54474/task/54493/stat : 54493 (Timer-0) S 54471 54474 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 57026635 19521036288 56342 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
Current children cumulated CPU time: 5.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 225368 KiB

[startup+6.30036 s]
/proc/loadavg: 4.63 4.60 4.60 6/332 54494
/proc/meminfo: memFree=100767872/131382120 swapFree=33010160/33010684
[pid=54474] ppid=54471 vsize=19063512 memory=424520 CPUtime=9.73 cores=0,2
/proc/54474/stat : 54474 (java) S 54471 54474 53552 0 -1 4194304 22560 0 0 0 954 19 0 0 20 0 20 0 57026583 19521036288 106130 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
/proc/54474/statm: 4765878 106130 5530 1 0 553224 0
[pid=54474/tid=54476] ppid=54471 vsize=19063512 memory=0 CPUtime=5.91 cores=0,2
/proc/54474/task/54476/stat : 54476 (java) R 54471 54474 53552 0 -1 4194368 7324 0 0 0 580 11 0 0 20 0 20 0 57026585 19521036288 106130 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54485] ppid=54471 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/54474/task/54485/stat : 54485 (Finalizer) S 54471 54474 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 57026590 19521036288 106130 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54492] ppid=54471 vsize=19063512 memory=10496 CPUtime=0 cores=0,2
/proc/54474/task/54492/stat : 54492 (Common-Cleaner) S 54471 54474 53552 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 57026590 19521036288 106130 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54493] ppid=54471 vsize=19063512 memory=172832 CPUtime=0 cores=0,2
/proc/54474/task/54493/stat : 54493 (Timer-0) S 54471 54474 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 57026635 19521036288 106130 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
Current children cumulated CPU time: 9.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 424520 KiB

[startup+12.7004 s]
/proc/loadavg: 4.58 4.59 4.60 5/332 54494
/proc/meminfo: memFree=100112152/131382120 swapFree=33010160/33010684
[pid=54474] ppid=54471 vsize=19063512 memory=1137816 CPUtime=16.68 cores=0,2
/proc/54474/stat : 54474 (java) S 54471 54474 53552 0 -1 4194304 24794 0 0 0 1629 39 0 0 20 0 20 0 57026583 19521036288 284454 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
/proc/54474/statm: 4765878 284454 5530 1 0 1069161 0
[pid=54474/tid=54476] ppid=54471 vsize=19063512 memory=172832 CPUtime=11.87 cores=0,2
/proc/54474/task/54476/stat : 54476 (java) R 54471 54474 53552 0 -1 4194368 7900 0 0 0 1160 27 0 0 20 0 20 0 57026585 19521036288 284454 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54485] ppid=54471 vsize=19063512 memory=16336 CPUtime=0 cores=0,2
/proc/54474/task/54485/stat : 54485 (Finalizer) S 54471 54474 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 57026590 19521036288 284454 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54492] ppid=54471 vsize=19063512 memory=970300 CPUtime=0 cores=0,2
/proc/54474/task/54492/stat : 54492 (Common-Cleaner) S 54471 54474 53552 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 57026590 19521036288 284454 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54493] ppid=54471 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/54474/task/54493/stat : 54493 (Timer-0) S 54471 54474 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 57026635 19521036288 284454 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
Current children cumulated CPU time: 16.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1137816 KiB

[startup+25.5004 s]
/proc/loadavg: 4.45 4.56 4.59 5/332 54494
/proc/meminfo: memFree=99065220/131382120 swapFree=33010160/33010684
[pid=54474] ppid=54471 vsize=19063512 memory=1951428 CPUtime=29.81 cores=0,2
/proc/54474/stat : 54474 (java) S 54471 54474 53552 0 -1 4194304 27758 0 0 0 2919 62 0 0 20 0 20 0 57026583 19521036288 487857 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
/proc/54474/statm: 4765878 487857 5562 1 0 1069187 0
[pid=54474/tid=54476] ppid=54471 vsize=19063512 memory=-6000919502737795178 CPUtime=24.22 cores=0,2
/proc/54474/task/54476/stat : 54476 (java) R 54471 54474 53552 0 -1 4194368 8974 0 0 0 2377 45 0 0 20 0 20 0 57026585 19521036288 487857 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54485] ppid=54471 vsize=19063512 memory=18048 CPUtime=0 cores=0,2
/proc/54474/task/54485/stat : 54485 (Finalizer) S 54471 54474 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 57026590 19521036288 487857 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54492] ppid=54471 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/54474/task/54492/stat : 54492 (Common-Cleaner) S 54471 54474 53552 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 57026590 19521036288 487857 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54493] ppid=54471 vsize=19063512 memory=16336 CPUtime=0 cores=0,2
/proc/54474/task/54493/stat : 54493 (Timer-0) S 54471 54474 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 57026635 19521036288 487857 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
Current children cumulated CPU time: 29.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1951428 KiB

[startup+51.1134 s]
/proc/loadavg: 4.38 4.53 4.58 5/331 54495
/proc/meminfo: memFree=97920388/131382120 swapFree=33010160/33010684
[pid=54474] ppid=54471 vsize=19063512 memory=2811964 CPUtime=56.03 cores=0,2
/proc/54474/stat : 54474 (java) S 54471 54474 53552 0 -1 4194304 33230 0 0 0 5505 98 0 0 20 0 20 0 57026583 19521036288 702991 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
/proc/54474/statm: 4765878 702991 5562 1 0 1069192 0
[pid=54474/tid=54476] ppid=54471 vsize=19063512 memory=2797628 CPUtime=48.91 cores=0,2
/proc/54474/task/54476/stat : 54476 (java) R 54471 54474 53552 0 -1 4194368 11071 0 0 0 4821 70 0 0 20 0 20 0 57026585 19521036288 702991 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54485] ppid=54471 vsize=19063512 memory=2459660 CPUtime=0 cores=0,2
/proc/54474/task/54485/stat : 54485 (Finalizer) S 54471 54474 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 57026590 19521036288 702991 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0

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

[startup+3162.3 s]
/proc/loadavg: 3.14 3.44 3.89 4/307 55324
/proc/meminfo: memFree=85899964/131382120 swapFree=33010160/33010684
[pid=54474] ppid=54471 vsize=19129048 memory=2970856 CPUtime=3240.25 cores=0,2
/proc/54474/stat : 54474 (java) S 54471 54474 53552 0 -1 4194304 349937 0 0 0 322106 1919 0 0 20 0 20 0 57026583 19588145152 742714 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
/proc/54474/statm: 4782262 742714 5594 1 0 754523 0
[pid=54474/tid=54476] ppid=54471 vsize=19129048 memory=2970856 CPUtime=3068.99 cores=0,2
/proc/54474/task/54476/stat : 54476 (java) R 54471 54474 53552 0 -1 4194368 164331 0 0 0 305298 1601 0 0 20 0 20 0 57026585 19588145152 742714 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54485] ppid=54471 vsize=19129048 memory=2970856 CPUtime=0 cores=0,2
/proc/54474/task/54485/stat : 54485 (Finalizer) S 54471 54474 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 57026590 19588145152 742714 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54492] ppid=54471 vsize=19129048 memory=2970856 CPUtime=0 cores=0,2
/proc/54474/task/54492/stat : 54492 (Common-Cleaner) S 54471 54474 53552 0 -1 4194368 1962 0 0 0 0 0 0 0 20 0 20 0 57026590 19588145152 742714 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54493] ppid=54471 vsize=19129048 memory=2970856 CPUtime=0 cores=0,2
/proc/54474/task/54493/stat : 54493 (Timer-0) S 54471 54474 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 57026635 19588145152 742714 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
Current children cumulated CPU time: 3240.25 s
Current children cumulated vsize: 19129048 KiB
Current children cumulated memory: 2970856 KiB

[startup+3222.3 s]
/proc/loadavg: 3.26 3.40 3.85 4/306 55332
/proc/meminfo: memFree=85494820/131382120 swapFree=33010160/33010684
[pid=54474] ppid=54471 vsize=19129048 memory=2970856 CPUtime=3300.22 cores=0,2
/proc/54474/stat : 54474 (java) S 54471 54474 53552 0 -1 4194304 354591 0 0 0 328082 1940 0 0 20 0 20 0 57026583 19588145152 742714 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
/proc/54474/statm: 4782262 742714 5594 1 0 754523 0
[pid=54474/tid=54476] ppid=54471 vsize=19129048 memory=3200 CPUtime=3126.59 cores=0,2
/proc/54474/task/54476/stat : 54476 (java) R 54471 54474 53552 0 -1 4194368 165413 0 0 0 311041 1618 0 0 20 0 20 0 57026585 19588145152 742714 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54485] ppid=54471 vsize=19129048 memory=2970856 CPUtime=0 cores=0,2
/proc/54474/task/54485/stat : 54485 (Finalizer) S 54471 54474 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 57026590 19588145152 742714 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54492] ppid=54471 vsize=19129048 memory=2970856 CPUtime=0 cores=0,2
/proc/54474/task/54492/stat : 54492 (Common-Cleaner) S 54471 54474 53552 0 -1 4194368 2012 0 0 0 0 0 0 0 20 0 20 0 57026590 19588145152 742714 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54493] ppid=54471 vsize=19129048 memory=2970856 CPUtime=0 cores=0,2
/proc/54474/task/54493/stat : 54493 (Timer-0) S 54471 54474 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 57026635 19588145152 742714 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
Current children cumulated CPU time: 3300.22 s
Current children cumulated vsize: 19129048 KiB
Current children cumulated memory: 2970856 KiB

[startup+3282.3 s]
/proc/loadavg: 3.21 3.36 3.80 4/306 55336
/proc/meminfo: memFree=85005808/131382120 swapFree=33010160/33010684
[pid=54474] ppid=54471 vsize=19129048 memory=2970856 CPUtime=3360.59 cores=0,2
/proc/54474/stat : 54474 (java) S 54471 54474 53552 0 -1 4194304 354846 0 0 0 334097 1962 0 0 20 0 20 0 57026583 19588145152 742714 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
/proc/54474/statm: 4782262 742714 5594 1 0 754523 0
[pid=54474/tid=54476] ppid=54471 vsize=19129048 memory=18048 CPUtime=3185.57 cores=0,2
/proc/54474/task/54476/stat : 54476 (java) R 54471 54474 53552 0 -1 4194368 165600 0 0 0 316920 1637 0 0 20 0 20 0 57026585 19588145152 742714 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54485] ppid=54471 vsize=19129048 memory=2970856 CPUtime=0 cores=0,2
/proc/54474/task/54485/stat : 54485 (Finalizer) S 54471 54474 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 57026590 19588145152 742714 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54492] ppid=54471 vsize=19129048 memory=2970856 CPUtime=0 cores=0,2
/proc/54474/task/54492/stat : 54492 (Common-Cleaner) S 54471 54474 53552 0 -1 4194368 2054 0 0 0 0 0 0 0 20 0 20 0 57026590 19588145152 742714 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54493] ppid=54471 vsize=19129048 memory=12416 CPUtime=0 cores=0,2
/proc/54474/task/54493/stat : 54493 (Timer-0) S 54471 54474 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 57026635 19588145152 742714 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
Current children cumulated CPU time: 3360.59 s
Current children cumulated vsize: 19129048 KiB
Current children cumulated memory: 2970856 KiB

[startup+3342.3 s]
/proc/loadavg: 3.13 3.31 3.75 4/305 55338
/proc/meminfo: memFree=83329584/131382120 swapFree=33010160/33010684
[pid=54474] ppid=54471 vsize=19129048 memory=2970856 CPUtime=3421.55 cores=0,2
/proc/54474/stat : 54474 (java) S 54471 54474 53552 0 -1 4194304 356381 0 0 0 340165 1990 0 0 20 0 20 0 57026583 19588145152 742714 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
/proc/54474/statm: 4782262 742714 5594 1 0 754523 0
[pid=54474/tid=54476] ppid=54471 vsize=19129048 memory=3200 CPUtime=3244.07 cores=0,2
/proc/54474/task/54476/stat : 54476 (java) R 54471 54474 53552 0 -1 4194368 166865 0 0 0 322747 1660 0 0 20 0 20 0 57026585 19588145152 742714 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54485] ppid=54471 vsize=19129048 memory=-1088251628401078322 CPUtime=0 cores=0,2
/proc/54474/task/54485/stat : 54485 (Finalizer) S 54471 54474 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 57026590 19588145152 742714 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54492] ppid=54471 vsize=19129048 memory=2970856 CPUtime=0 cores=0,2
/proc/54474/task/54492/stat : 54492 (Common-Cleaner) S 54471 54474 53552 0 -1 4194368 2054 0 0 0 0 0 0 0 20 0 20 0 57026590 19588145152 742714 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54493] ppid=54471 vsize=19129048 memory=2970856 CPUtime=0 cores=0,2
/proc/54474/task/54493/stat : 54493 (Timer-0) S 54471 54474 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 57026635 19588145152 742714 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
Current children cumulated CPU time: 3421.55 s
Current children cumulated vsize: 19129048 KiB
Current children cumulated memory: 2970856 KiB

[startup+3402.3 s]
/proc/loadavg: 3.16 3.29 3.72 4/305 55340
/proc/meminfo: memFree=82979856/131382120 swapFree=33010160/33010684
[pid=54474] ppid=54471 vsize=19129048 memory=2753676 CPUtime=3484.17 cores=0,2
/proc/54474/stat : 54474 (java) S 54471 54474 53552 0 -1 4194304 362212 0 0 0 346392 2025 0 0 20 0 20 0 57026583 19588145152 688419 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
/proc/54474/statm: 4782262 688419 5594 1 0 698273 0
[pid=54474/tid=54476] ppid=54471 vsize=19129048 memory=18048 CPUtime=3302.23 cores=0,2
/proc/54474/task/54476/stat : 54476 (java) R 54471 54474 53552 0 -1 4194368 169166 0 0 0 328532 1691 0 0 20 0 20 0 57026585 19588145152 688419 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54485] ppid=54471 vsize=19129048 memory=2971496 CPUtime=0 cores=0,2
/proc/54474/task/54485/stat : 54485 (Finalizer) S 54471 54474 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 57026590 19588145152 688419 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54492] ppid=54471 vsize=19129048 memory=5504 CPUtime=0 cores=0,2
/proc/54474/task/54492/stat : 54492 (Common-Cleaner) S 54471 54474 53552 0 -1 4194368 2083 0 0 0 0 0 0 0 20 0 20 0 57026590 19588145152 688419 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54493] ppid=54471 vsize=19129048 memory=2978736 CPUtime=0 cores=0,2
/proc/54474/task/54493/stat : 54493 (Timer-0) S 54471 54474 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 57026635 19588145152 688419 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
Current children cumulated CPU time: 3484.17 s
Current children cumulated vsize: 19129048 KiB
Current children cumulated memory: 2753676 KiB

[startup+3462.3 s]
/proc/loadavg: 3.17 3.27 3.68 4/305 55342
/proc/meminfo: memFree=81215928/131382120 swapFree=33010160/33010684
[pid=54474] ppid=54471 vsize=19129048 memory=3927468 CPUtime=3544.81 cores=0,2
/proc/54474/stat : 54474 (java) S 54471 54474 53552 0 -1 4194304 363993 0 0 0 352402 2079 0 0 20 0 20 0 57026583 19588145152 981867 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
/proc/54474/statm: 4782262 981867 5594 1 0 996857 0
[pid=54474/tid=54476] ppid=54471 vsize=19129048 memory=18048 CPUtime=3360.61 cores=0,2
/proc/54474/task/54476/stat : 54476 (java) R 54471 54474 53552 0 -1 4194368 170118 0 0 0 334321 1740 0 0 20 0 20 0 57026585 19588145152 981867 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54485] ppid=54471 vsize=19129048 memory=2971496 CPUtime=0 cores=0,2
/proc/54474/task/54485/stat : 54485 (Finalizer) S 54471 54474 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 57026590 19588145152 981867 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54492] ppid=54471 vsize=19129048 memory=5504 CPUtime=0 cores=0,2
/proc/54474/task/54492/stat : 54492 (Common-Cleaner) S 54471 54474 53552 0 -1 4194368 2149 0 0 0 0 0 0 0 20 0 20 0 57026590 19588145152 981867 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54493] ppid=54471 vsize=19129048 memory=3927468 CPUtime=0 cores=0,2
/proc/54474/task/54493/stat : 54493 (Timer-0) S 54471 54474 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 57026635 19588145152 981867 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
Current children cumulated CPU time: 3544.81 s
Current children cumulated vsize: 19129048 KiB
Current children cumulated memory: 3927468 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3515.7 s]
/proc/loadavg: 3.17 3.25 3.65 4/307 55346
/proc/meminfo: memFree=82566064/131382120 swapFree=33010160/33010684
[pid=54474] ppid=54471 vsize=19129048 memory=3945800 CPUtime=3600.02 cores=0,2
/proc/54474/stat : 54474 (java) S 54471 54474 53552 0 -1 4194304 370104 0 0 0 357900 2102 0 0 20 0 20 0 57026583 19588145152 986450 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
/proc/54474/statm: 4782262 986450 5594 1 0 996895 0
[pid=54474/tid=54476] ppid=54471 vsize=19129048 memory=3927468 CPUtime=3412.56 cores=0,2
/proc/54474/task/54476/stat : 54476 (java) R 54471 54474 53552 0 -1 4194368 171439 0 0 0 339498 1758 0 0 20 0 20 0 57026585 19588145152 986450 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54485] ppid=54471 vsize=19129048 memory=3945800 CPUtime=0 cores=0,2
/proc/54474/task/54485/stat : 54485 (Finalizer) S 54471 54474 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 57026590 19588145152 986450 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54492] ppid=54471 vsize=19129048 memory=3945800 CPUtime=0 cores=0,2
/proc/54474/task/54492/stat : 54492 (Common-Cleaner) S 54471 54474 53552 0 -1 4194368 2149 0 0 0 0 0 0 0 20 0 20 0 57026590 19588145152 986450 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54493] ppid=54471 vsize=19129048 memory=3945800 CPUtime=0 cores=0,2
/proc/54474/task/54493/stat : 54493 (Timer-0) S 54471 54474 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 57026635 19588145152 986450 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19129048 KiB
Current children cumulated memory: 3945800 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3515.85 s]
# the end of solver process 54474 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3579.18 s, system=21.0642 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3515.8 s]
/proc/loadavg: 3.17 3.25 3.65 4/307 55346
/proc/meminfo: memFree=82566064/131382120 swapFree=33010160/33010684
[pid=54474] ppid=54471 vsize=19328740 memory=3946568 CPUtime=3600.2 cores=0,2
/proc/54474/stat : 54474 (java) S 54471 54474 53552 0 -1 4194304 371474 0 0 0 357916 2104 0 0 20 0 21 0 57026583 19792629760 986642 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
/proc/54474/statm: 4832185 986642 5594 1 0 997841 0
[pid=54474/tid=54476] ppid=54471 vsize=19328740 memory=3200 CPUtime=3412.6 cores=0,2
/proc/54474/task/54476/stat : 54476 (java) S 54471 54474 53552 0 -1 4194368 171625 0 0 0 339500 1760 0 0 20 0 21 0 57026585 19792629760 986642 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54485] ppid=54471 vsize=19328740 memory=4764 CPUtime=0 cores=0,2
/proc/54474/task/54485/stat : 54485 (Finalizer) S 54471 54474 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 57026590 19792629760 986642 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
[pid=54474/tid=54492] ppid=54471 vsize=19328740 memory=-6000919502737795178 CPUtime=0 cores=0,2
/proc/54474/task/54492/stat : 54492 (Common-Cleaner) S 54471 54474 53552 0 -1 4194368 2149 0 0 0 0 0 0 0 20 0 21 0 57026590 19792629760 986642 18446744073709551615 94923962753024 94923962756720 140735763489776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94923962764536 94923962765328 94923979161600 140735763491120 140735763491302 140735763491302 140735763496904 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19328740 KiB
Current children cumulated memory: 3946568 KiB

Child status: 143

Real time (s): 3515.85
CPU time (s): 3600.25
CPU user time (s): 3579.18
CPU system time (s): 21.0642
CPU usage (%): 102.401
Max. virtual memory (cumulated for all children) (KiB): 19328740
Max. memory (cumulated for all children) (KiB): 7897516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.18
system time used= 21.0642
maximum resident set size= 7897516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 371531
page faults= 0
swaps= 0
block input operations= 0
block output operations= 30100648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 126902
involuntary context switches= 17862


# summary of solver processes directly reported to runsolver:
#   pid: 54474
#   total CPU time (s): 3600.25
#   total CPU user time (s): 3579.18
#   total CPU system time (s): 21.0642

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0422 second user time and 36.8604 second system time

The end