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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Current StackSize limit: 8192 KiB

solver pid=21295, runsolver pid=21292

[startup+0.100072 s]*
/proc/loadavg: 4.59 4.31 4.26 6/331 21313
/proc/meminfo: memFree=122445064/131382120 swapFree=33010684/33010684
[pid=21295] ppid=21292 vsize=18930384 memory=52524 CPUtime=0.11 cores=5,7
/proc/21295/stat : 21295 (java) S 21292 21295 20294 0 -1 4194304 5808 0 0 0 8 3 0 0 20 0 18 0 34684644 19384713216 13131 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
/proc/21295/statm: 4732596 13131 5303 1 0 547011 0
[pid=21295/tid=21297] ppid=21292 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/21295/task/21297/stat : 21297 (java) R 21292 21295 20294 0 -1 4194368 4715 0 0 0 5 2 0 0 20 0 18 0 34684646 19384713216 13131 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21306] ppid=21292 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/21295/task/21306/stat : 21306 (Finalizer) S 21292 21295 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 34684649 19384713216 13131 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21313] ppid=21292 vsize=18930384 memory=55195547748946 CPUtime=0 cores=5,7
/proc/21295/task/21313/stat : 21313 (Common-Cleaner) S 21292 21295 20294 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 34684650 19384713216 13131 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52524 KiB

[startup+0.215036 s]*
/proc/loadavg: 4.59 4.31 4.26 6/331 21313
/proc/meminfo: memFree=122434856/131382120 swapFree=33010684/33010684
[pid=21295] ppid=21292 vsize=18930384 memory=61452 CPUtime=0.26 cores=5,7
/proc/21295/stat : 21295 (java) S 21292 21295 20294 0 -1 4194304 6493 0 0 0 23 3 0 0 20 0 18 0 34684644 19384713216 15363 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
/proc/21295/statm: 4732596 15363 5335 1 0 547627 0
[pid=21295/tid=21297] ppid=21292 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=5,7
/proc/21295/task/21297/stat : 21297 (java) R 21292 21295 20294 0 -1 4194368 5066 0 0 0 15 2 0 0 20 0 18 0 34684646 19384713216 15363 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21306] ppid=21292 vsize=18930384 memory=2576 CPUtime=0 cores=5,7
/proc/21295/task/21306/stat : 21306 (Finalizer) S 21292 21295 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 34684649 19384713216 15363 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21313] ppid=21292 vsize=18930384 memory=54096036103158 CPUtime=0 cores=5,7
/proc/21295/task/21313/stat : 21313 (Common-Cleaner) S 21292 21295 20294 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 34684650 19384713216 15363 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61452 KiB

[startup+0.318986 s]*
/proc/loadavg: 4.59 4.31 4.26 6/331 21313
/proc/meminfo: memFree=122426664/131382120 swapFree=33010684/33010684
[pid=21295] ppid=21292 vsize=18930384 memory=62860 CPUtime=0.42 cores=5,7
/proc/21295/stat : 21295 (java) S 21292 21295 20294 0 -1 4194304 6743 0 0 0 39 3 0 0 20 0 18 0 34684644 19384713216 15715 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
/proc/21295/statm: 4732596 15715 5431 1 0 547841 0
[pid=21295/tid=21297] ppid=21292 vsize=18930384 memory=-6000919498409405293 CPUtime=0.25 cores=5,7
/proc/21295/task/21297/stat : 21297 (java) R 21292 21295 20294 0 -1 4194368 5247 0 0 0 23 2 0 0 20 0 18 0 34684646 19384713216 15715 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21306] ppid=21292 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/21295/task/21306/stat : 21306 (Finalizer) S 21292 21295 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 34684649 19384713216 15715 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21313] ppid=21292 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/21295/task/21313/stat : 21313 (Common-Cleaner) S 21292 21295 20294 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 34684650 19384713216 15715 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 62860 KiB

[startup+0.700387 s]
/proc/loadavg: 4.59 4.31 4.26 7/331 21313
/proc/meminfo: memFree=122389044/131382120 swapFree=33010684/33010684
[pid=21295] ppid=21292 vsize=18930384 memory=98348 CPUtime=1.09 cores=5,7
/proc/21295/stat : 21295 (java) S 21292 21295 20294 0 -1 4194304 8364 0 0 0 103 6 0 0 20 0 18 0 34684644 19384713216 24587 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
/proc/21295/statm: 4732596 24587 5431 1 0 548987 0
[pid=21295/tid=21297] ppid=21292 vsize=18930384 memory=17024 CPUtime=0.54 cores=5,7
/proc/21295/task/21297/stat : 21297 (java) R 21292 21295 20294 0 -1 4194368 5315 0 0 0 51 3 0 0 20 0 18 0 34684646 19384713216 24587 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21306] ppid=21292 vsize=18930384 memory=11264 CPUtime=0 cores=5,7
/proc/21295/task/21306/stat : 21306 (Finalizer) S 21292 21295 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 34684649 19384713216 24587 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21313] ppid=21292 vsize=18930384 memory=3200 CPUtime=0 cores=5,7
/proc/21295/task/21313/stat : 21313 (Common-Cleaner) S 21292 21295 20294 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 34684650 19384713216 24587 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 98348 KiB

[startup+1.50028 s]
/proc/loadavg: 4.59 4.31 4.26 7/332 21314
/proc/meminfo: memFree=122279588/131382120 swapFree=33010684/33010684
[pid=21295] ppid=21292 vsize=18996948 memory=136476 CPUtime=2.67 cores=5,7
/proc/21295/stat : 21295 (java) S 21292 21295 20294 0 -1 4194304 15775 0 0 0 259 8 0 0 20 0 19 0 34684644 19452874752 34119 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
/proc/21295/statm: 4749237 34119 5431 1 0 551590 0
[pid=21295/tid=21297] ppid=21292 vsize=18996948 memory=3200 CPUtime=1.27 cores=5,7
/proc/21295/task/21297/stat : 21297 (java) R 21292 21295 20294 0 -1 4194368 5792 0 0 0 123 4 0 0 20 0 19 0 34684646 19452874752 34119 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21306] ppid=21292 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/21295/task/21306/stat : 21306 (Finalizer) S 21292 21295 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 34684649 19452874752 34119 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21313] ppid=21292 vsize=18996948 memory=11264 CPUtime=0 cores=5,7
/proc/21295/task/21313/stat : 21313 (Common-Cleaner) S 21292 21295 20294 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 34684650 19452874752 34119 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21314] ppid=21292 vsize=18996948 memory=14464 CPUtime=0 cores=5,7
/proc/21295/task/21314/stat : 21314 (Timer-0) S 21292 21295 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 34684715 19452874752 34119 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 136476 KiB

[startup+3.10628 s]
/proc/loadavg: 4.62 4.32 4.26 6/333 21315
/proc/meminfo: memFree=121939164/131382120 swapFree=33010684/33010684
[pid=21295] ppid=21292 vsize=19063512 memory=177528 CPUtime=5.83 cores=5,7
/proc/21295/stat : 21295 (java) S 21292 21295 20294 0 -1 4194304 20826 0 0 0 572 11 0 0 20 0 20 0 34684644 19521036288 44382 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
/proc/21295/statm: 4765878 44382 5495 1 0 553092 0
[pid=21295/tid=21297] ppid=21292 vsize=19063512 memory=14464 CPUtime=2.82 cores=5,7
/proc/21295/task/21297/stat : 21297 (java) R 21292 21295 20294 0 -1 4194368 6769 0 0 0 276 6 0 0 20 0 20 0 34684646 19521036288 44382 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21306] ppid=21292 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/21295/task/21306/stat : 21306 (Finalizer) S 21292 21295 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34684649 19521036288 44382 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21313] ppid=21292 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/21295/task/21313/stat : 21313 (Common-Cleaner) S 21292 21295 20294 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 34684650 19521036288 44382 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21314] ppid=21292 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/21295/task/21314/stat : 21314 (Timer-0) S 21292 21295 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34684715 19521036288 44382 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
Current children cumulated CPU time: 5.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177528 KiB

[startup+6.30046 s]
/proc/loadavg: 4.62 4.32 4.26 5/333 21315
/proc/meminfo: memFree=121754292/131382120 swapFree=33010684/33010684
[pid=21295] ppid=21292 vsize=19063512 memory=315388 CPUtime=9.89 cores=5,7
/proc/21295/stat : 21295 (java) S 21292 21295 20294 0 -1 4194304 22340 0 0 0 972 17 0 0 20 0 20 0 34684644 19521036288 78847 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
/proc/21295/statm: 4765878 78847 5495 1 0 554299 0
[pid=21295/tid=21297] ppid=21292 vsize=19063512 memory=0 CPUtime=5.95 cores=5,7
/proc/21295/task/21297/stat : 21297 (java) R 21292 21295 20294 0 -1 4194368 6942 0 0 0 584 11 0 0 20 0 20 0 34684646 19521036288 78847 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21306] ppid=21292 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/21295/task/21306/stat : 21306 (Finalizer) S 21292 21295 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34684649 19521036288 78847 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21313] ppid=21292 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/21295/task/21313/stat : 21313 (Common-Cleaner) S 21292 21295 20294 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 34684650 19521036288 78847 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21314] ppid=21292 vsize=19063512 memory=148764 CPUtime=0 cores=5,7
/proc/21295/task/21314/stat : 21314 (Timer-0) S 21292 21295 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34684715 19521036288 78847 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
Current children cumulated CPU time: 9.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 315388 KiB

[startup+12.7004 s]
/proc/loadavg: 4.57 4.31 4.26 6/332 21383
/proc/meminfo: memFree=128279832/131382120 swapFree=33010684/33010684
[pid=21295] ppid=21292 vsize=19063512 memory=677344 CPUtime=17.3 cores=5,7
/proc/21295/stat : 21295 (java) S 21292 21295 20294 0 -1 4194304 33942 0 0 0 1699 31 0 0 20 0 20 0 34684644 19521036288 169336 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
/proc/21295/statm: 4765878 169336 5527 1 0 555404 0
[pid=21295/tid=21297] ppid=21292 vsize=19063512 memory=665036 CPUtime=12.14 cores=5,7
/proc/21295/task/21297/stat : 21297 (java) R 21292 21295 20294 0 -1 4194368 8250 0 0 0 1194 20 0 0 20 0 20 0 34684646 19521036288 169336 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21306] ppid=21292 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/21295/task/21306/stat : 21306 (Finalizer) S 21292 21295 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34684649 19521036288 169336 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21313] ppid=21292 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/21295/task/21313/stat : 21313 (Common-Cleaner) S 21292 21295 20294 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 34684650 19521036288 169336 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21314] ppid=21292 vsize=19063512 memory=14464 CPUtime=0 cores=5,7
/proc/21295/task/21314/stat : 21314 (Timer-0) S 21292 21295 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34684715 19521036288 169336 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
Current children cumulated CPU time: 17.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 677344 KiB

[startup+25.5005 s]
/proc/loadavg: 4.59 4.33 4.27 6/332 21383
/proc/meminfo: memFree=125910264/131382120 swapFree=33010684/33010684
[pid=21295] ppid=21292 vsize=19063512 memory=1120936 CPUtime=30.07 cores=5,7
/proc/21295/stat : 21295 (java) S 21292 21295 20294 0 -1 4194304 37060 0 0 0 2959 48 0 0 20 0 20 0 34684644 19521036288 280234 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
/proc/21295/statm: 4765878 280234 5527 1 0 661927 0
[pid=21295/tid=21297] ppid=21292 vsize=19063512 memory=14464 CPUtime=24.41 cores=5,7
/proc/21295/task/21297/stat : 21297 (java) R 21292 21295 20294 0 -1 4194368 9343 0 0 0 2407 34 0 0 20 0 20 0 34684646 19521036288 280234 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21306] ppid=21292 vsize=19063512 memory=7733643089853900393 CPUtime=0 cores=5,7
/proc/21295/task/21306/stat : 21306 (Finalizer) S 21292 21295 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34684649 19521036288 280234 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21313] ppid=21292 vsize=19063512 memory=911860 CPUtime=0 cores=5,7
/proc/21295/task/21313/stat : 21313 (Common-Cleaner) S 21292 21295 20294 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 34684650 19521036288 280234 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21314] ppid=21292 vsize=19063512 memory=778740 CPUtime=0 cores=5,7
/proc/21295/task/21314/stat : 21314 (Timer-0) S 21292 21295 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34684715 19521036288 280234 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
Current children cumulated CPU time: 30.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1120936 KiB

[startup+51.1157 s]
/proc/loadavg: 4.73 4.40 4.29 6/332 21383
/proc/meminfo: memFree=123776044/131382120 swapFree=33010684/33010684
[pid=21295] ppid=21292 vsize=19063512 memory=1722500 CPUtime=55.9 cores=5,7
/proc/21295/stat : 21295 (java) S 21292 21295 20294 0 -1 4194304 42927 0 0 0 5520 70 0 0 20 0 20 0 34684644 19521036288 430625 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
/proc/21295/statm: 4765878 430625 5527 1 0 789350 0
[pid=21295/tid=21297] ppid=21292 vsize=19063512 memory=17024 CPUtime=49.2 cores=5,7
/proc/21295/task/21297/stat : 21297 (java) R 21292 21295 20294 0 -1 4194368 10801 0 0 0 4868 52 0 0 20 0 20 0 34684646 19521036288 430625 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21306] ppid=21292 vsize=19063512 memory=-6000919498409405293 CPUtime=0 cores=5,7
/proc/21295/task/21306/stat : 21306 (Finalizer) S 21292 21295 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34684649 19521036288 430625 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21313] ppid=21292 vsize=19063512 memory=1722500 CPUtime=0 cores=5,7
/proc/21295/task/21313/stat : 21313 (Common-Cleaner) S 21292 21295 20294 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 34684650 19521036288 430625 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0

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

[startup+3222.3 s]
/proc/loadavg: 4.54 4.38 4.26 5/332 21549
/proc/meminfo: memFree=92741480/131382120 swapFree=33010684/33010684
[pid=21295] ppid=21292 vsize=19063512 memory=1760280 CPUtime=3259.71 cores=5,7
/proc/21295/stat : 21295 (java) S 21292 21295 20294 0 -1 4194304 168769 0 0 0 324862 1109 0 0 20 0 20 0 34684644 19521036288 440070 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
/proc/21295/statm: 4765878 440070 5527 1 0 451825 0
[pid=21295/tid=21297] ppid=21292 vsize=19063512 memory=1760280 CPUtime=3158.59 cores=5,7
/proc/21295/task/21297/stat : 21297 (java) R 21292 21295 20294 0 -1 4194368 82702 0 0 0 314987 872 0 0 20 0 20 0 34684646 19521036288 440070 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21306] ppid=21292 vsize=19063512 memory=1760280 CPUtime=0 cores=5,7
/proc/21295/task/21306/stat : 21306 (Finalizer) S 21292 21295 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34684649 19521036288 440070 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21313] ppid=21292 vsize=19063512 memory=1760280 CPUtime=0 cores=5,7
/proc/21295/task/21313/stat : 21313 (Common-Cleaner) S 21292 21295 20294 0 -1 4194368 1177 0 0 0 0 0 0 0 20 0 20 0 34684650 19521036288 440070 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21314] ppid=21292 vsize=19063512 memory=17024 CPUtime=0 cores=5,7
/proc/21295/task/21314/stat : 21314 (Timer-0) S 21292 21295 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34684715 19521036288 440070 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
Current children cumulated CPU time: 3259.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1760280 KiB

[startup+3282.3 s]
/proc/loadavg: 4.25 4.33 4.25 5/331 21551
/proc/meminfo: memFree=92530364/131382120 swapFree=33010684/33010684
[pid=21295] ppid=21292 vsize=19063512 memory=1593620 CPUtime=3320.87 cores=5,7
/proc/21295/stat : 21295 (java) S 21292 21295 20294 0 -1 4194304 169303 0 0 0 330957 1130 0 0 20 0 20 0 34684644 19521036288 398405 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
/proc/21295/statm: 4765878 398405 5527 1 0 410065 0
[pid=21295/tid=21297] ppid=21292 vsize=19063512 memory=1760280 CPUtime=3217.2 cores=5,7
/proc/21295/task/21297/stat : 21297 (java) R 21292 21295 20294 0 -1 4194368 83021 0 0 0 320831 889 0 0 20 0 20 0 34684646 19521036288 398405 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21306] ppid=21292 vsize=19063512 memory=17024 CPUtime=0 cores=5,7
/proc/21295/task/21306/stat : 21306 (Finalizer) S 21292 21295 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34684649 19521036288 398405 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21313] ppid=21292 vsize=19063512 memory=14464 CPUtime=0 cores=5,7
/proc/21295/task/21313/stat : 21313 (Common-Cleaner) S 21292 21295 20294 0 -1 4194368 1177 0 0 0 0 0 0 0 20 0 20 0 34684650 19521036288 398405 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21314] ppid=21292 vsize=19063512 memory=2736 CPUtime=0 cores=5,7
/proc/21295/task/21314/stat : 21314 (Timer-0) S 21292 21295 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34684715 19521036288 398405 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
Current children cumulated CPU time: 3320.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1593620 KiB

[startup+3342.3 s]
/proc/loadavg: 4.33 4.33 4.25 5/331 21553
/proc/meminfo: memFree=92147220/131382120 swapFree=33010684/33010684
[pid=21295] ppid=21292 vsize=19063512 memory=1593620 CPUtime=3381.6 cores=5,7
/proc/21295/stat : 21295 (java) S 21292 21295 20294 0 -1 4194304 169497 0 0 0 337011 1149 0 0 20 0 20 0 34684644 19521036288 398405 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
/proc/21295/statm: 4765878 398405 5527 1 0 410067 0
[pid=21295/tid=21297] ppid=21292 vsize=19063512 memory=1593620 CPUtime=3275.93 cores=5,7
/proc/21295/task/21297/stat : 21297 (java) R 21292 21295 20294 0 -1 4194368 83203 0 0 0 326690 903 0 0 20 0 20 0 34684646 19521036288 398405 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21306] ppid=21292 vsize=19063512 memory=17024 CPUtime=0 cores=5,7
/proc/21295/task/21306/stat : 21306 (Finalizer) S 21292 21295 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34684649 19521036288 398405 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21313] ppid=21292 vsize=19063512 memory=1593620 CPUtime=0 cores=5,7
/proc/21295/task/21313/stat : 21313 (Common-Cleaner) S 21292 21295 20294 0 -1 4194368 1177 0 0 0 0 0 0 0 20 0 20 0 34684650 19521036288 398405 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21314] ppid=21292 vsize=19063512 memory=4252 CPUtime=0 cores=5,7
/proc/21295/task/21314/stat : 21314 (Timer-0) S 21292 21295 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34684715 19521036288 398405 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
Current children cumulated CPU time: 3381.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1593620 KiB

[startup+3402.3 s]
/proc/loadavg: 4.37 4.33 4.26 5/332 21560
/proc/meminfo: memFree=91665048/131382120 swapFree=33010684/33010684
[pid=21295] ppid=21292 vsize=19063512 memory=1677068 CPUtime=3442.6 cores=5,7
/proc/21295/stat : 21295 (java) S 21292 21295 20294 0 -1 4194304 170874 0 0 0 343080 1180 0 0 20 0 20 0 34684644 19521036288 419267 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
/proc/21295/statm: 4765878 419267 5527 1 0 430951 0
[pid=21295/tid=21297] ppid=21292 vsize=19063512 memory=1677068 CPUtime=3334.48 cores=5,7
/proc/21295/task/21297/stat : 21297 (java) R 21292 21295 20294 0 -1 4194368 83862 0 0 0 332518 930 0 0 20 0 20 0 34684646 19521036288 419267 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21306] ppid=21292 vsize=19063512 memory=1593620 CPUtime=0 cores=5,7
/proc/21295/task/21306/stat : 21306 (Finalizer) S 21292 21295 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34684649 19521036288 419267 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21313] ppid=21292 vsize=19063512 memory=4252 CPUtime=0 cores=5,7
/proc/21295/task/21313/stat : 21313 (Common-Cleaner) S 21292 21295 20294 0 -1 4194368 1177 0 0 0 0 0 0 0 20 0 20 0 34684650 19521036288 419267 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21314] ppid=21292 vsize=19063512 memory=1593620 CPUtime=0 cores=5,7
/proc/21295/task/21314/stat : 21314 (Timer-0) S 21292 21295 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34684715 19521036288 419267 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
Current children cumulated CPU time: 3442.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1677068 KiB

[startup+3462.3 s]
/proc/loadavg: 4.78 4.47 4.31 5/332 21562
/proc/meminfo: memFree=91256540/131382120 swapFree=33010684/33010684
[pid=21295] ppid=21292 vsize=19063512 memory=1677068 CPUtime=3502.83 cores=5,7
/proc/21295/stat : 21295 (java) S 21292 21295 20294 0 -1 4194304 174180 0 0 0 349085 1198 0 0 20 0 20 0 34684644 19521036288 419267 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
/proc/21295/statm: 4765878 419267 5527 1 0 430951 0
[pid=21295/tid=21297] ppid=21292 vsize=19063512 memory=1593620 CPUtime=3393.21 cores=5,7
/proc/21295/task/21297/stat : 21297 (java) R 21292 21295 20294 0 -1 4194368 85371 0 0 0 338377 944 0 0 20 0 20 0 34684646 19521036288 419267 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21306] ppid=21292 vsize=19063512 memory=4252 CPUtime=0 cores=5,7
/proc/21295/task/21306/stat : 21306 (Finalizer) S 21292 21295 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34684649 19521036288 419267 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21313] ppid=21292 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/21295/task/21313/stat : 21313 (Common-Cleaner) S 21292 21295 20294 0 -1 4194368 1261 0 0 0 0 0 0 0 20 0 20 0 34684650 19521036288 419267 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21314] ppid=21292 vsize=19063512 memory=5740 CPUtime=0 cores=5,7
/proc/21295/task/21314/stat : 21314 (Timer-0) S 21292 21295 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34684715 19521036288 419267 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
Current children cumulated CPU time: 3502.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1677068 KiB

[startup+3522.3 s]
/proc/loadavg: 4.64 4.49 4.33 5/330 21564
/proc/meminfo: memFree=90956560/131382120 swapFree=33010684/33010684
[pid=21295] ppid=21292 vsize=19063512 memory=1593648 CPUtime=3565.49 cores=5,7
/proc/21295/stat : 21295 (java) S 21292 21295 20294 0 -1 4194304 181224 0 0 0 355332 1217 0 0 20 0 20 0 34684644 19521036288 398412 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
/proc/21295/statm: 4765878 398412 5527 1 0 410071 0
[pid=21295/tid=21297] ppid=21292 vsize=19063512 memory=14464 CPUtime=3452.22 cores=5,7
/proc/21295/task/21297/stat : 21297 (java) R 21292 21295 20294 0 -1 4194368 90061 0 0 0 344265 957 0 0 20 0 20 0 34684646 19521036288 398412 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21306] ppid=21292 vsize=19063512 memory=14464 CPUtime=0 cores=5,7
/proc/21295/task/21306/stat : 21306 (Finalizer) S 21292 21295 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34684649 19521036288 398412 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21313] ppid=21292 vsize=19063512 memory=4896 CPUtime=0 cores=5,7
/proc/21295/task/21313/stat : 21313 (Common-Cleaner) S 21292 21295 20294 0 -1 4194368 1261 0 0 0 0 0 0 0 20 0 20 0 34684650 19521036288 398412 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21314] ppid=21292 vsize=19063512 memory=17024 CPUtime=0 cores=5,7
/proc/21295/task/21314/stat : 21314 (Timer-0) S 21292 21295 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34684715 19521036288 398412 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
Current children cumulated CPU time: 3565.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1593648 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3556.8 s]
/proc/loadavg: 4.34 4.43 4.32 5/305 21598
/proc/meminfo: memFree=99675140/131382120 swapFree=33010684/33010684
[pid=21295] ppid=21292 vsize=19063512 memory=1593648 CPUtime=3600.08 cores=5,7
/proc/21295/stat : 21295 (java) S 21292 21295 20294 0 -1 4194304 181349 0 0 0 358780 1228 0 0 20 0 20 0 34684644 19521036288 398412 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
/proc/21295/statm: 4765878 398412 5527 1 0 410071 0
[pid=21295/tid=21297] ppid=21292 vsize=19063512 memory=-6000919498409405293 CPUtime=3486.09 cores=5,7
/proc/21295/task/21297/stat : 21297 (java) R 21292 21295 20294 0 -1 4194368 90138 0 0 0 347643 966 0 0 20 0 20 0 34684646 19521036288 398412 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21306] ppid=21292 vsize=19063512 memory=1792 CPUtime=0 cores=5,7
/proc/21295/task/21306/stat : 21306 (Finalizer) S 21292 21295 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34684649 19521036288 398412 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21313] ppid=21292 vsize=19063512 memory=1920 CPUtime=0 cores=5,7
/proc/21295/task/21313/stat : 21313 (Common-Cleaner) S 21292 21295 20294 0 -1 4194368 1300 0 0 0 0 0 0 0 20 0 20 0 34684650 19521036288 398412 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21314] ppid=21292 vsize=19063512 memory=6016 CPUtime=0 cores=5,7
/proc/21295/task/21314/stat : 21314 (Timer-0) S 21292 21295 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34684715 19521036288 398412 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1593648 KiB

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

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

# cumulated CPU time of all completed processes:  user=3588.06 s, system=12.3159 s

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

[startup+3556.9 s]
/proc/loadavg: 4.34 4.43 4.32 5/305 21598
/proc/meminfo: memFree=99675140/131382120 swapFree=33010684/33010684
[pid=21295] ppid=21292 vsize=19263204 memory=1594288 CPUtime=3600.26 cores=5,7
/proc/21295/stat : 21295 (java) S 21292 21295 20294 0 -1 4194304 182789 0 0 0 358797 1229 0 0 20 0 21 0 34684644 19725520896 398572 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
/proc/21295/statm: 4815801 398572 5527 1 0 410991 0
[pid=21295/tid=21297] ppid=21292 vsize=19263204 memory=1593648 CPUtime=3486.12 cores=5,7
/proc/21295/task/21297/stat : 21297 (java) S 21292 21295 20294 0 -1 4194368 90349 0 0 0 347645 967 0 0 20 0 21 0 34684646 19725520896 398572 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21306] ppid=21292 vsize=19263204 memory=1593648 CPUtime=0 cores=5,7
/proc/21295/task/21306/stat : 21306 (Finalizer) S 21292 21295 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 34684649 19725520896 398572 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
[pid=21295/tid=21313] ppid=21292 vsize=19263204 memory=1920 CPUtime=0 cores=5,7
/proc/21295/task/21313/stat : 21313 (Common-Cleaner) S 21292 21295 20294 0 -1 4194368 1300 0 0 0 0 0 0 0 20 0 21 0 34684650 19725520896 398572 18446744073709551615 94140963205120 94140963208816 140732211493104 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94140963216632 94140963217424 94140996444160 140732211501360 140732211501542 140732211501542 140732211507144 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1594288 KiB

Child status: 143

Real time (s): 3556.99
CPU time (s): 3600.37
CPU user time (s): 3588.06
CPU system time (s): 12.3159
CPU usage (%): 101.22
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3117112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.06
system time used= 12.3159
maximum resident set size= 3117112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182930
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14342064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 122619
involuntary context switches= 20310


# summary of solver processes directly reported to runsolver:
#   pid: 21295
#   total CPU time (s): 3600.37
#   total CPU user time (s): 3588.06
#   total CPU system time (s): 12.3159

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.9549 second user time and 36.9232 second system time

The end