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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512907-1751208227/watcher-4512907-1751208227 -o /tmp/evaluation-result-4512907-1751208227/solver-4512907-1751208227 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751208227-27395 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4512907-1751208227 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4512907-1751208227.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

solver pid=27450, runsolver pid=27435
Current StackSize limit: 8192 KiB


[startup+0.10007 s]*
/proc/loadavg: 0.83 2.76 3.61 16/318 27520
/proc/meminfo: memFree=130179848/131382112 swapFree=33010684/33010684
[pid=27450] ppid=27435 vsize=18930384 memory=50832 CPUtime=0.1 cores=5,7
/proc/27450/stat : 27450 (java) S 27435 27450 27382 0 -1 4194304 5607 0 0 0 6 4 0 0 20 0 18 0 36502099 19384713216 12708 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
/proc/27450/statm: 4732596 12708 5072 1 0 546833 0
[pid=27450/tid=27456] ppid=27435 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=5,7
/proc/27450/task/27456/stat : 27456 (java) R 27435 27450 27382 0 -1 4194368 4588 0 0 0 4 2 0 0 20 0 18 0 36502102 19384713216 12708 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27493] ppid=27435 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/27450/task/27493/stat : 27493 (Finalizer) S 27435 27450 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 36502107 19384713216 12708 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27519] ppid=27435 vsize=18930384 memory=58494082630061 CPUtime=0 cores=5,7
/proc/27450/task/27519/stat : 27519 (Common-Cleaner) S 27435 27450 27382 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 36502108 19384713216 12708 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 50832 KiB

[startup+0.213607 s]*
/proc/loadavg: 0.83 2.76 3.61 12/318 27520
/proc/meminfo: memFree=130174356/131382112 swapFree=33010684/33010684
[pid=27450] ppid=27435 vsize=18930384 memory=55728 CPUtime=0.27 cores=5,7
/proc/27450/stat : 27450 (java) S 27435 27450 27382 0 -1 4194304 6089 0 0 0 23 4 0 0 20 0 18 0 36502099 19384713216 13932 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
/proc/27450/statm: 4732596 13932 5328 1 0 547235 0
[pid=27450/tid=27456] ppid=27435 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=5,7
/proc/27450/task/27456/stat : 27456 (java) R 27435 27450 27382 0 -1 4194368 4971 0 0 0 14 3 0 0 20 0 18 0 36502102 19384713216 13932 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27493] ppid=27435 vsize=18930384 memory=13926 CPUtime=0 cores=5,7
/proc/27450/task/27493/stat : 27493 (Finalizer) S 27435 27450 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 36502107 19384713216 13932 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27519] ppid=27435 vsize=18930384 memory=57394570986489 CPUtime=0 cores=5,7
/proc/27450/task/27519/stat : 27519 (Common-Cleaner) S 27435 27450 27382 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 36502108 19384713216 13932 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55728 KiB

[startup+0.313296 s]*
/proc/loadavg: 0.83 2.76 3.61 12/318 27520
/proc/meminfo: memFree=130152764/131382112 swapFree=33010684/33010684
[pid=27450] ppid=27435 vsize=18930384 memory=61684 CPUtime=0.44 cores=5,7
/proc/27450/stat : 27450 (java) S 27435 27450 27382 0 -1 4194304 6587 0 0 0 39 5 0 0 20 0 18 0 36502099 19384713216 15421 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
/proc/27450/statm: 4732596 15421 5328 1 0 547709 0
[pid=27450/tid=27456] ppid=27435 vsize=18930384 memory=-6000919485625034093 CPUtime=0.25 cores=5,7
/proc/27450/task/27456/stat : 27456 (java) R 27435 27450 27382 0 -1 4194368 5134 0 0 0 22 3 0 0 20 0 18 0 36502102 19384713216 15421 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27493] ppid=27435 vsize=18930384 memory=-4421386513394263141 CPUtime=0 cores=5,7
/proc/27450/task/27493/stat : 27493 (Finalizer) S 27435 27450 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 36502107 19384713216 15421 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27519] ppid=27435 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/27450/task/27519/stat : 27519 (Common-Cleaner) S 27435 27450 27382 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 36502108 19384713216 15421 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61684 KiB

[startup+0.700373 s]
/proc/loadavg: 0.83 2.76 3.61 15/318 27520
/proc/meminfo: memFree=130132664/131382112 swapFree=33010684/33010684
[pid=27450] ppid=27435 vsize=18930384 memory=81544 CPUtime=1.13 cores=5,7
/proc/27450/stat : 27450 (java) S 27435 27450 27382 0 -1 4194304 8280 0 0 0 106 7 0 0 20 0 18 0 36502099 19384713216 20386 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
/proc/27450/statm: 4732596 20386 5424 1 0 548968 0
[pid=27450/tid=27456] ppid=27435 vsize=18930384 memory=17280 CPUtime=0.53 cores=5,7
/proc/27450/task/27456/stat : 27456 (java) R 27435 27450 27382 0 -1 4194368 5321 0 0 0 49 4 0 0 20 0 18 0 36502102 19384713216 20386 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27493] ppid=27435 vsize=18930384 memory=11264 CPUtime=0 cores=5,7
/proc/27450/task/27493/stat : 27493 (Finalizer) S 27435 27450 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 36502107 19384713216 20386 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27519] ppid=27435 vsize=18930384 memory=3200 CPUtime=0 cores=5,7
/proc/27450/task/27519/stat : 27519 (Common-Cleaner) S 27435 27450 27382 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 36502108 19384713216 20386 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 81544 KiB

[startup+1.50027 s]
/proc/loadavg: 0.83 2.76 3.61 15/322 27524
/proc/meminfo: memFree=129979384/131382112 swapFree=33010684/33010684
[pid=27450] ppid=27435 vsize=18996948 memory=146780 CPUtime=2.71 cores=5,7
/proc/27450/stat : 27450 (java) S 27435 27450 27382 0 -1 4194304 18542 0 0 0 259 12 0 0 20 0 19 0 36502099 19452874752 36695 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
/proc/27450/statm: 4749237 36695 5424 1 0 553662 0
[pid=27450/tid=27456] ppid=27435 vsize=18996948 memory=3200 CPUtime=1.25 cores=5,7
/proc/27450/task/27456/stat : 27456 (java) R 27435 27450 27382 0 -1 4194368 5775 0 0 0 119 6 0 0 20 0 19 0 36502102 19452874752 36695 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27493] ppid=27435 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/27450/task/27493/stat : 27493 (Finalizer) S 27435 27450 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 36502107 19452874752 36695 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27519] ppid=27435 vsize=18996948 memory=11264 CPUtime=0 cores=5,7
/proc/27450/task/27519/stat : 27519 (Common-Cleaner) S 27435 27450 27382 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 36502108 19452874752 36695 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27521] ppid=27435 vsize=18996948 memory=14720 CPUtime=0 cores=5,7
/proc/27450/task/27521/stat : 27521 (Timer-0) S 27435 27450 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 36502180 19452874752 36695 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 146780 KiB

[startup+3.1057 s]
/proc/loadavg: 1.40 2.85 3.64 11/326 27528
/proc/meminfo: memFree=129659284/131382112 swapFree=33010684/33010684
[pid=27450] ppid=27435 vsize=19063512 memory=183076 CPUtime=5.88 cores=5,7
/proc/27450/stat : 27450 (java) S 27435 27450 27382 0 -1 4194304 24009 0 0 0 574 14 0 0 20 0 20 0 36502099 19521036288 45769 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
/proc/27450/statm: 4765878 45769 5456 1 0 554546 0
[pid=27450/tid=27456] ppid=27435 vsize=19063512 memory=14720 CPUtime=2.79 cores=5,7
/proc/27450/task/27456/stat : 27456 (java) R 27435 27450 27382 0 -1 4194368 6597 0 0 0 272 7 0 0 20 0 20 0 36502102 19521036288 45769 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27493] ppid=27435 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/27450/task/27493/stat : 27493 (Finalizer) S 27435 27450 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36502107 19521036288 45769 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27519] ppid=27435 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/27450/task/27519/stat : 27519 (Common-Cleaner) S 27435 27450 27382 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 36502108 19521036288 45769 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27521] ppid=27435 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/27450/task/27521/stat : 27521 (Timer-0) S 27435 27450 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36502180 19521036288 45769 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
Current children cumulated CPU time: 5.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 183076 KiB

[startup+6.3004 s]
/proc/loadavg: 1.40 2.85 3.64 8/326 27528
/proc/meminfo: memFree=129124304/131382112 swapFree=33010684/33010684
[pid=27450] ppid=27435 vsize=19063512 memory=376572 CPUtime=10.09 cores=5,7
/proc/27450/stat : 27450 (java) S 27435 27450 27382 0 -1 4194304 25004 0 0 0 989 20 0 0 20 0 20 0 36502099 19521036288 94143 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
/proc/27450/statm: 4765878 94143 5488 1 0 554550 0
[pid=27450/tid=27456] ppid=27435 vsize=19063512 memory=0 CPUtime=5.94 cores=5,7
/proc/27450/task/27456/stat : 27456 (java) R 27435 27450 27382 0 -1 4194368 6847 0 0 0 582 12 0 0 20 0 20 0 36502102 19521036288 94143 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27493] ppid=27435 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/27450/task/27493/stat : 27493 (Finalizer) S 27435 27450 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36502107 19521036288 94143 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27519] ppid=27435 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/27450/task/27519/stat : 27519 (Common-Cleaner) S 27435 27450 27382 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 36502108 19521036288 94143 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27521] ppid=27435 vsize=19063512 memory=156256 CPUtime=0 cores=5,7
/proc/27450/task/27521/stat : 27521 (Timer-0) S 27435 27450 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36502180 19521036288 94143 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
Current children cumulated CPU time: 10.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 376572 KiB

[startup+12.7004 s]
/proc/loadavg: 1.77 2.90 3.65 8/329 27531
/proc/meminfo: memFree=127559032/131382112 swapFree=33010684/33010684
[pid=27450] ppid=27435 vsize=19063512 memory=581472 CPUtime=16.61 cores=5,7
/proc/27450/stat : 27450 (java) S 27435 27450 27382 0 -1 4194304 26824 0 0 0 1632 29 0 0 20 0 20 0 36502099 19521036288 145368 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
/proc/27450/statm: 4765878 145368 5488 1 0 554550 0
[pid=27450/tid=27456] ppid=27435 vsize=19063512 memory=156256 CPUtime=12.15 cores=5,7
/proc/27450/task/27456/stat : 27456 (java) R 27435 27450 27382 0 -1 4194368 7921 0 0 0 1196 19 0 0 20 0 20 0 36502102 19521036288 145368 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27493] ppid=27435 vsize=19063512 memory=581472 CPUtime=0 cores=5,7
/proc/27450/task/27493/stat : 27493 (Finalizer) S 27435 27450 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36502107 19521036288 145368 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27519] ppid=27435 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/27450/task/27519/stat : 27519 (Common-Cleaner) S 27435 27450 27382 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 36502108 19521036288 145368 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27521] ppid=27435 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/27450/task/27521/stat : 27521 (Timer-0) S 27435 27450 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36502180 19521036288 145368 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
Current children cumulated CPU time: 16.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 581472 KiB

[startup+25.5004 s]
/proc/loadavg: 2.35 2.97 3.66 8/329 27531
/proc/meminfo: memFree=124864376/131382112 swapFree=33010684/33010684
[pid=27450] ppid=27435 vsize=19063512 memory=1320944 CPUtime=29.53 cores=5,7
/proc/27450/stat : 27450 (java) S 27435 27450 27382 0 -1 4194304 31708 0 0 0 2904 49 0 0 20 0 20 0 36502099 19521036288 330236 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
/proc/27450/statm: 4765878 330236 5488 1 0 554550 0
[pid=27450/tid=27456] ppid=27435 vsize=19063512 memory=581472 CPUtime=24.81 cores=5,7
/proc/27450/task/27456/stat : 27456 (java) R 27435 27450 27382 0 -1 4194368 9526 0 0 0 2443 38 0 0 20 0 20 0 36502102 19521036288 330236 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27493] ppid=27435 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/27450/task/27493/stat : 27493 (Finalizer) S 27435 27450 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36502107 19521036288 330236 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27519] ppid=27435 vsize=19063512 memory=868300 CPUtime=0 cores=5,7
/proc/27450/task/27519/stat : 27519 (Common-Cleaner) S 27435 27450 27382 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 36502108 19521036288 330236 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27521] ppid=27435 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/27450/task/27521/stat : 27521 (Timer-0) S 27435 27450 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36502180 19521036288 330236 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
Current children cumulated CPU time: 29.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1320944 KiB

[startup+51.1133 s]
/proc/loadavg: 2.91 3.06 3.67 8/331 27534
/proc/meminfo: memFree=124353872/131382112 swapFree=33010684/33010684
[pid=27450] ppid=27435 vsize=19063512 memory=1333240 CPUtime=55.08 cores=5,7
/proc/27450/stat : 27450 (java) S 27435 27450 27382 0 -1 4194304 35122 0 0 0 5447 61 0 0 20 0 20 0 36502099 19521036288 333310 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
/proc/27450/statm: 4765878 333310 5488 1 0 554550 0
[pid=27450/tid=27456] ppid=27435 vsize=19063512 memory=1333240 CPUtime=50.08 cores=5,7
/proc/27450/task/27456/stat : 27456 (java) R 27435 27450 27382 0 -1 4194368 10875 0 0 0 4961 47 0 0 20 0 20 0 36502102 19521036288 333310 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27493] ppid=27435 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/27450/task/27493/stat : 27493 (Finalizer) S 27435 27450 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36502107 19521036288 333310 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27519] ppid=27435 vsize=19063512 memory=17280 CPUtime=0 cores=5,7
/proc/27450/task/27519/stat : 27519 (Common-Cleaner) S 27435 27450 27382 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 36502108 19521036288 333310 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0

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

[startup+3282.3 s]
/proc/loadavg: 4.22 4.19 4.12 7/331 27779
/proc/meminfo: memFree=103962184/131382112 swapFree=33010684/33010684
[pid=27450] ppid=27435 vsize=19063512 memory=2165476 CPUtime=3275.51 cores=5,7
/proc/27450/stat : 27450 (java) S 27435 27450 27382 0 -1 4194304 97265 0 0 0 326651 900 0 0 20 0 20 0 36502099 19521036288 541369 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
/proc/27450/statm: 4765878 541369 5488 1 0 555361 0
[pid=27450/tid=27456] ppid=27435 vsize=19063512 memory=2165476 CPUtime=3244.23 cores=5,7
/proc/27450/task/27456/stat : 27456 (java) R 27435 27450 27382 0 -1 4194368 42029 0 0 0 323735 688 0 0 20 0 20 0 36502102 19521036288 541369 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27493] ppid=27435 vsize=19063512 memory=-6000919485625034093 CPUtime=0 cores=5,7
/proc/27450/task/27493/stat : 27493 (Finalizer) S 27435 27450 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36502107 19521036288 541369 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27519] ppid=27435 vsize=19063512 memory=2165476 CPUtime=0 cores=5,7
/proc/27450/task/27519/stat : 27519 (Common-Cleaner) S 27435 27450 27382 0 -1 4194368 1863 0 0 0 0 0 0 0 20 0 20 0 36502108 19521036288 541369 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27521] ppid=27435 vsize=19063512 memory=17280 CPUtime=0 cores=5,7
/proc/27450/task/27521/stat : 27521 (Timer-0) S 27435 27450 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36502180 19521036288 541369 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
Current children cumulated CPU time: 3275.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165476 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.18 4.12 7/332 27786
/proc/meminfo: memFree=103647948/131382112 swapFree=33010684/33010684
[pid=27450] ppid=27435 vsize=19063512 memory=2165604 CPUtime=3335.67 cores=5,7
/proc/27450/stat : 27450 (java) S 27435 27450 27382 0 -1 4194304 100976 0 0 0 332654 913 0 0 20 0 20 0 36502099 19521036288 541401 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
/proc/27450/statm: 4765878 541401 5488 1 0 555420 0
[pid=27450/tid=27456] ppid=27435 vsize=19063512 memory=14720 CPUtime=3303.57 cores=5,7
/proc/27450/task/27456/stat : 27456 (java) R 27435 27450 27382 0 -1 4194368 43358 0 0 0 329659 698 0 0 20 0 20 0 36502102 19521036288 541401 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27493] ppid=27435 vsize=19063512 memory=2165604 CPUtime=0 cores=5,7
/proc/27450/task/27493/stat : 27493 (Finalizer) S 27435 27450 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36502107 19521036288 541401 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27519] ppid=27435 vsize=19063512 memory=2165604 CPUtime=0 cores=5,7
/proc/27450/task/27519/stat : 27519 (Common-Cleaner) S 27435 27450 27382 0 -1 4194368 1936 0 0 0 0 0 0 0 20 0 20 0 36502108 19521036288 541401 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27521] ppid=27435 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/27450/task/27521/stat : 27521 (Timer-0) S 27435 27450 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36502180 19521036288 541401 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
Current children cumulated CPU time: 3335.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165604 KiB

[startup+3402.3 s]
/proc/loadavg: 4.21 4.18 4.12 7/331 27788
/proc/meminfo: memFree=103320536/131382112 swapFree=33010684/33010684
[pid=27450] ppid=27435 vsize=19063512 memory=2165732 CPUtime=3395.61 cores=5,7
/proc/27450/stat : 27450 (java) S 27435 27450 27382 0 -1 4194304 102955 0 0 0 338637 924 0 0 20 0 20 0 36502099 19521036288 541433 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
/proc/27450/statm: 4765878 541433 5488 1 0 555425 0
[pid=27450/tid=27456] ppid=27435 vsize=19063512 memory=2165604 CPUtime=3363.15 cores=5,7
/proc/27450/task/27456/stat : 27456 (java) R 27435 27450 27382 0 -1 4194368 44205 0 0 0 335609 706 0 0 20 0 20 0 36502102 19521036288 541433 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27493] ppid=27435 vsize=19063512 memory=2165604 CPUtime=0 cores=5,7
/proc/27450/task/27493/stat : 27493 (Finalizer) S 27435 27450 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36502107 19521036288 541433 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27519] ppid=27435 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/27450/task/27519/stat : 27519 (Common-Cleaner) S 27435 27450 27382 0 -1 4194368 1937 0 0 0 0 0 0 0 20 0 20 0 36502108 19521036288 541433 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27521] ppid=27435 vsize=19063512 memory=-6000919485625034093 CPUtime=0 cores=5,7
/proc/27450/task/27521/stat : 27521 (Timer-0) S 27435 27450 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36502180 19521036288 541433 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
Current children cumulated CPU time: 3395.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165732 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.16 4.11 7/330 27790
/proc/meminfo: memFree=103035540/131382112 swapFree=33010684/33010684
[pid=27450] ppid=27435 vsize=19063512 memory=2165732 CPUtime=3455.53 cores=5,7
/proc/27450/stat : 27450 (java) S 27435 27450 27382 0 -1 4194304 103174 0 0 0 344615 938 0 0 20 0 20 0 36502099 19521036288 541433 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
/proc/27450/statm: 4765878 541433 5488 1 0 555426 0
[pid=27450/tid=27456] ppid=27435 vsize=19063512 memory=2165604 CPUtime=3422.76 cores=5,7
/proc/27450/task/27456/stat : 27456 (java) R 27435 27450 27382 0 -1 4194368 44289 0 0 0 341559 717 0 0 20 0 20 0 36502102 19521036288 541433 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27493] ppid=27435 vsize=19063512 memory=2165604 CPUtime=0 cores=5,7
/proc/27450/task/27493/stat : 27493 (Finalizer) S 27435 27450 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36502107 19521036288 541433 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27519] ppid=27435 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/27450/task/27519/stat : 27519 (Common-Cleaner) S 27435 27450 27382 0 -1 4194368 2016 0 0 0 0 0 0 0 20 0 20 0 36502108 19521036288 541433 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27521] ppid=27435 vsize=19063512 memory=2165732 CPUtime=0 cores=5,7
/proc/27450/task/27521/stat : 27521 (Timer-0) S 27435 27450 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36502180 19521036288 541433 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
Current children cumulated CPU time: 3455.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165732 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.16 4.11 7/330 27792
/proc/meminfo: memFree=102702588/131382112 swapFree=33010684/33010684
[pid=27450] ppid=27435 vsize=19063512 memory=2165732 CPUtime=3515.44 cores=5,7
/proc/27450/stat : 27450 (java) S 27435 27450 27382 0 -1 4194304 103386 0 0 0 350592 952 0 0 20 0 20 0 36502099 19521036288 541433 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
/proc/27450/statm: 4765878 541433 5488 1 0 555426 0
[pid=27450/tid=27456] ppid=27435 vsize=19063512 memory=2165732 CPUtime=3482.36 cores=5,7
/proc/27450/task/27456/stat : 27456 (java) R 27435 27450 27382 0 -1 4194368 44426 0 0 0 347509 727 0 0 20 0 20 0 36502102 19521036288 541433 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27493] ppid=27435 vsize=19063512 memory=2165732 CPUtime=0 cores=5,7
/proc/27450/task/27493/stat : 27493 (Finalizer) S 27435 27450 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36502107 19521036288 541433 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27519] ppid=27435 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/27450/task/27519/stat : 27519 (Common-Cleaner) S 27435 27450 27382 0 -1 4194368 2016 0 0 0 0 0 0 0 20 0 20 0 36502108 19521036288 541433 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27521] ppid=27435 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/27450/task/27521/stat : 27521 (Timer-0) S 27435 27450 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36502180 19521036288 541433 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
Current children cumulated CPU time: 3515.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165732 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.14 4.11 7/329 27794
/proc/meminfo: memFree=102424192/131382112 swapFree=33010684/33010684
[pid=27450] ppid=27435 vsize=19063512 memory=2165860 CPUtime=3575.42 cores=5,7
/proc/27450/stat : 27450 (java) S 27435 27450 27382 0 -1 4194304 105524 0 0 0 356576 966 0 0 20 0 20 0 36502099 19521036288 541465 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
/proc/27450/statm: 4765878 541465 5488 1 0 555426 0
[pid=27450/tid=27456] ppid=27435 vsize=19063512 memory=4252 CPUtime=3541.69 cores=5,7
/proc/27450/task/27456/stat : 27456 (java) R 27435 27450 27382 0 -1 4194368 45743 0 0 0 353431 738 0 0 20 0 20 0 36502102 19521036288 541465 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27493] ppid=27435 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/27450/task/27493/stat : 27493 (Finalizer) S 27435 27450 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36502107 19521036288 541465 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27519] ppid=27435 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/27450/task/27519/stat : 27519 (Common-Cleaner) S 27435 27450 27382 0 -1 4194368 2096 0 0 0 0 0 0 0 20 0 20 0 36502108 19521036288 541465 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27521] ppid=27435 vsize=19063512 memory=2165732 CPUtime=0 cores=5,7
/proc/27450/task/27521/stat : 27521 (Timer-0) S 27435 27450 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36502180 19521036288 541465 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
Current children cumulated CPU time: 3575.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165860 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3607 s]*
/proc/loadavg: 4.14 4.15 4.11 4/293 27862
/proc/meminfo: memFree=112165040/131382112 swapFree=33010684/33010684
[pid=27450] ppid=27435 vsize=19063512 memory=2165860 CPUtime=3600.02 cores=5,7
/proc/27450/stat : 27450 (java) S 27435 27450 27382 0 -1 4194304 105862 0 0 0 359029 973 0 0 20 0 20 0 36502099 19521036288 541465 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
/proc/27450/statm: 4765878 541465 5488 1 0 555426 0
[pid=27450/tid=27456] ppid=27435 vsize=19063512 memory=-7824251494390781032 CPUtime=3566.28 cores=5,7
/proc/27450/task/27456/stat : 27456 (java) R 27435 27450 27382 0 -1 4194368 46062 0 0 0 355883 745 0 0 20 0 20 0 36502102 19521036288 541465 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27493] ppid=27435 vsize=19063512 memory=6784 CPUtime=0 cores=5,7
/proc/27450/task/27493/stat : 27493 (Finalizer) S 27435 27450 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36502107 19521036288 541465 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27519] ppid=27435 vsize=19063512 memory=5044 CPUtime=0 cores=5,7
/proc/27450/task/27519/stat : 27519 (Common-Cleaner) S 27435 27450 27382 0 -1 4194368 2112 0 0 0 0 0 0 0 20 0 20 0 36502108 19521036288 541465 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27521] ppid=27435 vsize=19063512 memory=4788 CPUtime=0 cores=5,7
/proc/27450/task/27521/stat : 27521 (Timer-0) S 27435 27450 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36502180 19521036288 541465 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165860 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.47 s, system=9.76143 s

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

[startup+3607.12 s]
/proc/loadavg: 4.14 4.15 4.11 4/293 27862
/proc/meminfo: memFree=112165040/131382112 swapFree=33010684/33010684
[pid=27450] ppid=27435 vsize=19263204 memory=2166248 CPUtime=3600.2 cores=5,7
/proc/27450/stat : 27450 (java) S 27435 27450 27382 0 -1 4194304 108759 0 0 0 359046 974 0 0 20 0 16 0 36502099 19725520896 541562 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
/proc/27450/statm: 4815801 541562 5520 1 0 556428 0
[pid=27450/tid=27456] ppid=27435 vsize=19263204 memory=17280 CPUtime=3566.3 cores=5,7
/proc/27450/task/27456/stat : 27456 (java) S 27435 27450 27382 0 -1 4194368 46441 0 0 0 355885 745 0 0 20 0 16 0 36502102 19725520896 541562 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27493] ppid=27435 vsize=19263204 memory=0 CPUtime=0 cores=5,7
/proc/27450/task/27493/stat : 27493 (Finalizer) S 27435 27450 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 16 0 36502107 19725520896 541562 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
[pid=27450/tid=27519] ppid=27435 vsize=19263204 memory=2165860 CPUtime=0 cores=5,7
/proc/27450/task/27519/stat : 27519 (Common-Cleaner) S 27435 27450 27382 0 -1 4194368 2112 0 0 0 0 0 0 0 20 0 16 0 36502108 19725520896 541594 18446744073709551615 94462236332032 94462236335728 140732319682464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94462236343544 94462236344336 94462269403136 140732319684912 140732319685094 140732319685094 140732319690696 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2166248 KiB

Child status: 143

Real time (s): 3607.14
CPU time (s): 3600.23
CPU user time (s): 3590.47
CPU system time (s): 9.76143
CPU usage (%): 99.8084
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2166248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.47
system time used= 9.76143
maximum resident set size= 2166884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108788
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10988072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115664
involuntary context switches= 10967


# summary of solver processes directly reported to runsolver:
#   pid: 27450
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3590.47
#   total CPU system time (s): 9.76143

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.2061 second user time and 36.6779 second system time

The end