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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490665-1751383116/watcher-4490665-1751383116 -o /tmp/evaluation-result-4490665-1751383116/solver-4490665-1751383116 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751379491-49327 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4490665-1751383116 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4490665-1751383116.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
solver pid=49773, runsolver pid=49770
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 4.09 4.17 4.14 5/333 49791
/proc/meminfo: memFree=92832708/131382120 swapFree=33010684/33010684
[pid=49773] ppid=49770 vsize=18930384 memory=48468 CPUtime=0.1 cores=5,7
/proc/49773/stat : 49773 (java) S 49770 49773 49314 0 -1 4194304 5831 0 0 0 7 3 0 0 20 0 18 0 53990310 19384713216 12117 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
/proc/49773/statm: 4732596 12117 5320 1 0 547027 0
[pid=49773/tid=49775] ppid=49770 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/49773/task/49775/stat : 49775 (java) R 49770 49773 49314 0 -1 4194368 4688 0 0 0 5 2 0 0 20 0 18 0 53990312 19384713216 12117 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49784] ppid=49770 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/49773/task/49784/stat : 49784 (Finalizer) S 49770 49773 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 53990317 19384713216 12117 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49791] ppid=49770 vsize=18930384 memory=59593594259917 CPUtime=0 cores=5,7
/proc/49773/task/49791/stat : 49791 (Common-Cleaner) S 49770 49773 49314 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 53990317 19384713216 12117 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48468 KiB

[startup+0.207033 s]*
/proc/loadavg: 4.09 4.17 4.14 6/333 49791
/proc/meminfo: memFree=92831196/131382120 swapFree=33010684/33010684
[pid=49773] ppid=49770 vsize=18930384 memory=55596 CPUtime=0.25 cores=5,7
/proc/49773/stat : 49773 (java) S 49770 49773 49314 0 -1 4194304 6546 0 0 0 21 4 0 0 20 0 18 0 53990310 19384713216 13899 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
/proc/49773/statm: 4732596 13899 5352 1 0 547588 0
[pid=49773/tid=49775] ppid=49770 vsize=18930384 memory=4026663196 CPUtime=0.17 cores=5,7
/proc/49773/task/49775/stat : 49775 (java) R 49770 49773 49314 0 -1 4194368 5035 0 0 0 15 2 0 0 20 0 18 0 53990312 19384713216 13899 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49784] ppid=49770 vsize=18930384 memory=16878 CPUtime=0 cores=5,7
/proc/49773/task/49784/stat : 49784 (Finalizer) S 49770 49773 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 53990317 19384713216 13899 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49791] ppid=49770 vsize=18930384 memory=58494082614266 CPUtime=0 cores=5,7
/proc/49773/task/49791/stat : 49791 (Common-Cleaner) S 49770 49773 49314 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 53990317 19384713216 13899 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55596 KiB

[startup+0.306856 s]*
/proc/loadavg: 4.09 4.17 4.14 5/333 49791
/proc/meminfo: memFree=92827100/131382120 swapFree=33010684/33010684
[pid=49773] ppid=49770 vsize=18930384 memory=59264 CPUtime=0.38 cores=5,7
/proc/49773/stat : 49773 (java) S 49770 49773 49314 0 -1 4194304 6861 0 0 0 34 4 0 0 20 0 18 0 53990310 19384713216 14816 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
/proc/49773/statm: 4732596 14816 5448 1 0 547810 0
[pid=49773/tid=49775] ppid=49770 vsize=18930384 memory=-6000919507032564587 CPUtime=0.27 cores=5,7
/proc/49773/task/49775/stat : 49775 (java) R 49770 49773 49314 0 -1 4194368 5218 0 0 0 24 3 0 0 20 0 18 0 53990312 19384713216 14816 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49784] ppid=49770 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/49773/task/49784/stat : 49784 (Finalizer) S 49770 49773 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 53990317 19384713216 14816 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49791] ppid=49770 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/49773/task/49791/stat : 49791 (Common-Cleaner) S 49770 49773 49314 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 53990317 19384713216 14816 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59264 KiB

[startup+0.700285 s]
/proc/loadavg: 4.09 4.17 4.14 7/334 49792
/proc/meminfo: memFree=92819728/131382120 swapFree=33010684/33010684
[pid=49773] ppid=49770 vsize=18996948 memory=83208 CPUtime=1.07 cores=5,7
/proc/49773/stat : 49773 (java) S 49770 49773 49314 0 -1 4194304 9019 0 0 0 101 6 0 0 20 0 19 0 53990310 19452874752 20802 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
/proc/49773/statm: 4749237 20802 5480 1 0 549138 0
[pid=49773/tid=49775] ppid=49770 vsize=18996948 memory=18304 CPUtime=0.6 cores=5,7
/proc/49773/task/49775/stat : 49775 (java) R 49770 49773 49314 0 -1 4194368 5416 0 0 0 56 4 0 0 20 0 19 0 53990312 19452874752 20802 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49784] ppid=49770 vsize=18996948 memory=11136 CPUtime=0 cores=5,7
/proc/49773/task/49784/stat : 49784 (Finalizer) S 49770 49773 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 53990317 19452874752 20802 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49791] ppid=49770 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/49773/task/49791/stat : 49791 (Common-Cleaner) S 49770 49773 49314 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 53990317 19452874752 20802 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49792] ppid=49770 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/49773/task/49792/stat : 49792 (Timer-0) S 49770 49773 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 53990349 19452874752 20802 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 83208 KiB

[startup+1.50026 s]
/proc/loadavg: 4.09 4.17 4.14 6/334 49792
/proc/meminfo: memFree=92750988/131382120 swapFree=33010684/33010684
[pid=49773] ppid=49770 vsize=19063512 memory=176108 CPUtime=2.66 cores=5,7
/proc/49773/stat : 49773 (java) S 49770 49773 49314 0 -1 4194304 20788 0 0 0 255 11 0 0 20 0 20 0 53990310 19521036288 44027 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
/proc/49773/statm: 4765878 44027 5512 1 0 553996 0
[pid=49773/tid=49775] ppid=49770 vsize=19063512 memory=0 CPUtime=1.36 cores=5,7
/proc/49773/task/49775/stat : 49775 (java) R 49770 49773 49314 0 -1 4194368 5829 0 0 0 130 6 0 0 20 0 20 0 53990312 19521036288 44027 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49784] ppid=49770 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/49773/task/49784/stat : 49784 (Finalizer) S 49770 49773 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53990317 19521036288 44027 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49791] ppid=49770 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/49773/task/49791/stat : 49791 (Common-Cleaner) S 49770 49773 49314 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 53990317 19521036288 44027 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49792] ppid=49770 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/49773/task/49792/stat : 49792 (Timer-0) S 49770 49773 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53990349 19521036288 44027 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176108 KiB

[startup+3.10553 s]
/proc/loadavg: 4.09 4.17 4.14 5/335 49793
/proc/meminfo: memFree=92665796/131382120 swapFree=33010684/33010684
[pid=49773] ppid=49770 vsize=19063512 memory=178904 CPUtime=5.38 cores=5,7
/proc/49773/stat : 49773 (java) S 49770 49773 49314 0 -1 4194304 22839 0 0 0 524 14 0 0 20 0 20 0 53990310 19521036288 44726 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
/proc/49773/statm: 4765878 44726 5512 1 0 553999 0
[pid=49773/tid=49775] ppid=49770 vsize=19063512 memory=11136 CPUtime=2.92 cores=5,7
/proc/49773/task/49775/stat : 49775 (java) R 49770 49773 49314 0 -1 4194368 6282 0 0 0 284 8 0 0 20 0 20 0 53990312 19521036288 44726 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49784] ppid=49770 vsize=19063512 memory=-6000919507032564587 CPUtime=0 cores=5,7
/proc/49773/task/49784/stat : 49784 (Finalizer) S 49770 49773 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53990317 19521036288 44726 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49791] ppid=49770 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/49773/task/49791/stat : 49791 (Common-Cleaner) S 49770 49773 49314 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 53990317 19521036288 44726 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49792] ppid=49770 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/49773/task/49792/stat : 49792 (Timer-0) S 49770 49773 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53990349 19521036288 44726 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
Current children cumulated CPU time: 5.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178904 KiB

[startup+6.30024 s]
/proc/loadavg: 4.08 4.17 4.14 5/335 49793
/proc/meminfo: memFree=92346764/131382120 swapFree=33010684/33010684
[pid=49773] ppid=49770 vsize=19063512 memory=449148 CPUtime=8.88 cores=5,7
/proc/49773/stat : 49773 (java) S 49770 49773 49314 0 -1 4194304 23398 0 0 0 865 23 0 0 20 0 20 0 53990310 19521036288 112287 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
/proc/49773/statm: 4765878 112287 5512 1 0 554001 0
[pid=49773/tid=49775] ppid=49770 vsize=19063512 memory=0 CPUtime=6.07 cores=5,7
/proc/49773/task/49775/stat : 49775 (java) R 49770 49773 49314 0 -1 4194368 6742 0 0 0 590 17 0 0 20 0 20 0 53990312 19521036288 112287 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49784] ppid=49770 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/49773/task/49784/stat : 49784 (Finalizer) S 49770 49773 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53990317 19521036288 112287 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49791] ppid=49770 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/49773/task/49791/stat : 49791 (Common-Cleaner) S 49770 49773 49314 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 53990317 19521036288 112287 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49792] ppid=49770 vsize=19063512 memory=176236 CPUtime=0 cores=5,7
/proc/49773/task/49792/stat : 49792 (Timer-0) S 49770 49773 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53990349 19521036288 112287 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
Current children cumulated CPU time: 8.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 449148 KiB

[startup+12.7004 s]
/proc/loadavg: 4.07 4.17 4.14 5/316 49811
/proc/meminfo: memFree=94674124/131382120 swapFree=33010684/33010684
[pid=49773] ppid=49770 vsize=19063512 memory=838312 CPUtime=15.44 cores=5,7
/proc/49773/stat : 49773 (java) S 49770 49773 49314 0 -1 4194304 27122 0 0 0 1508 36 0 0 20 0 20 0 53990310 19521036288 209578 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
/proc/49773/statm: 4765878 209578 5512 1 0 554001 0
[pid=49773/tid=49775] ppid=49770 vsize=19063512 memory=176236 CPUtime=12.44 cores=5,7
/proc/49773/task/49775/stat : 49775 (java) R 49770 49773 49314 0 -1 4194368 8228 0 0 0 1214 30 0 0 20 0 20 0 53990312 19521036288 209578 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49784] ppid=49770 vsize=19063512 memory=713384 CPUtime=0 cores=5,7
/proc/49773/task/49784/stat : 49784 (Finalizer) S 49770 49773 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53990317 19521036288 209578 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49791] ppid=49770 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/49773/task/49791/stat : 49791 (Common-Cleaner) S 49770 49773 49314 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 53990317 19521036288 209578 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49792] ppid=49770 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/49773/task/49792/stat : 49792 (Timer-0) S 49770 49773 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53990349 19521036288 209578 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
Current children cumulated CPU time: 15.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 838312 KiB

[startup+25.5004 s]
/proc/loadavg: 4.21 4.19 4.15 4/312 49890
/proc/meminfo: memFree=104222020/131382120 swapFree=33010684/33010684
[pid=49773] ppid=49770 vsize=19063512 memory=879284 CPUtime=28.22 cores=5,7
/proc/49773/stat : 49773 (java) S 49770 49773 49314 0 -1 4194304 29426 0 0 0 2776 46 0 0 20 0 20 0 53990310 19521036288 219821 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
/proc/49773/statm: 4765878 219821 5512 1 0 554001 0
[pid=49773/tid=49775] ppid=49770 vsize=19063512 memory=879284 CPUtime=25.1 cores=5,7
/proc/49773/task/49775/stat : 49775 (java) R 49770 49773 49314 0 -1 4194368 8713 0 0 0 2471 39 0 0 20 0 20 0 53990312 19521036288 219821 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49784] ppid=49770 vsize=19063512 memory=16544 CPUtime=0 cores=5,7
/proc/49773/task/49784/stat : 49784 (Finalizer) S 49770 49773 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53990317 19521036288 219821 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49791] ppid=49770 vsize=19063512 memory=18304 CPUtime=0 cores=5,7
/proc/49773/task/49791/stat : 49791 (Common-Cleaner) S 49770 49773 49314 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 53990317 19521036288 219821 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49792] ppid=49770 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/49773/task/49792/stat : 49792 (Timer-0) S 49770 49773 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53990349 19521036288 219821 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
Current children cumulated CPU time: 28.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 879284 KiB

[startup+51.1142 s]
/proc/loadavg: 4.32 4.22 4.16 5/339 49997
/proc/meminfo: memFree=120921336/131382120 swapFree=33010684/33010684
[pid=49773] ppid=49770 vsize=19063512 memory=1194700 CPUtime=53.67 cores=5,7
/proc/49773/stat : 49773 (java) S 49770 49773 49314 0 -1 4194304 34027 0 0 0 5300 67 0 0 20 0 20 0 53990310 19521036288 298675 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
/proc/49773/statm: 4765878 298675 5512 1 0 554001 0
[pid=49773/tid=49775] ppid=49770 vsize=19063512 memory=1194700 CPUtime=50.39 cores=5,7
/proc/49773/task/49775/stat : 49775 (java) R 49770 49773 49314 0 -1 4194368 10502 0 0 0 4982 57 0 0 20 0 20 0 53990312 19521036288 298675 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49784] ppid=49770 vsize=19063512 memory=1194700 CPUtime=0 cores=5,7
/proc/49773/task/49784/stat : 49784 (Finalizer) S 49770 49773 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53990317 19521036288 298675 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0

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

[startup+3282.3 s]
/proc/loadavg: 4.62 4.32 4.22 5/331 50309
/proc/meminfo: memFree=99072340/131382120 swapFree=33010684/33010684
[pid=49773] ppid=49770 vsize=19063512 memory=2169284 CPUtime=3247.26 cores=5,7
/proc/49773/stat : 49773 (java) S 49770 49773 49314 0 -1 4194304 88864 0 0 0 323735 991 0 0 20 0 20 0 53990310 19521036288 542321 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
/proc/49773/statm: 4765878 542321 5544 1 0 555882 0
[pid=49773/tid=49775] ppid=49770 vsize=19063512 memory=2169284 CPUtime=3229.35 cores=5,7
/proc/49773/task/49775/stat : 49775 (java) R 49770 49773 49314 0 -1 4194368 40788 0 0 0 322134 801 0 0 20 0 20 0 53990312 19521036288 542321 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49784] ppid=49770 vsize=19063512 memory=2169156 CPUtime=0 cores=5,7
/proc/49773/task/49784/stat : 49784 (Finalizer) S 49770 49773 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53990317 19521036288 542321 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49791] ppid=49770 vsize=19063512 memory=2169156 CPUtime=0 cores=5,7
/proc/49773/task/49791/stat : 49791 (Common-Cleaner) S 49770 49773 49314 0 -1 4194368 1651 0 0 0 0 0 0 0 20 0 20 0 53990317 19521036288 542321 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49792] ppid=49770 vsize=19063512 memory=2169156 CPUtime=0 cores=5,7
/proc/49773/task/49792/stat : 49792 (Timer-0) S 49770 49773 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53990349 19521036288 542321 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
Current children cumulated CPU time: 3247.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2169284 KiB

[startup+3342.3 s]
/proc/loadavg: 4.53 4.36 4.24 5/331 50312
/proc/meminfo: memFree=98750408/131382120 swapFree=33010684/33010684
[pid=49773] ppid=49770 vsize=19063512 memory=2169284 CPUtime=3307.1 cores=5,7
/proc/49773/stat : 49773 (java) S 49770 49773 49314 0 -1 4194304 89146 0 0 0 329706 1004 0 0 20 0 20 0 53990310 19521036288 542321 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
/proc/49773/statm: 4765878 542321 5544 1 0 555882 0
[pid=49773/tid=49775] ppid=49770 vsize=19063512 memory=2169284 CPUtime=3289.04 cores=5,7
/proc/49773/task/49775/stat : 49775 (java) R 49770 49773 49314 0 -1 4194368 40960 0 0 0 328094 810 0 0 20 0 20 0 53990312 19521036288 542321 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49784] ppid=49770 vsize=19063512 memory=18304 CPUtime=0 cores=5,7
/proc/49773/task/49784/stat : 49784 (Finalizer) S 49770 49773 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53990317 19521036288 542321 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49791] ppid=49770 vsize=19063512 memory=16544 CPUtime=0 cores=5,7
/proc/49773/task/49791/stat : 49791 (Common-Cleaner) S 49770 49773 49314 0 -1 4194368 1719 0 0 0 0 0 0 0 20 0 20 0 53990317 19521036288 542321 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49792] ppid=49770 vsize=19063512 memory=16544 CPUtime=0 cores=5,7
/proc/49773/task/49792/stat : 49792 (Timer-0) S 49770 49773 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53990349 19521036288 542321 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
Current children cumulated CPU time: 3307.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2169284 KiB

[startup+3402.3 s]
/proc/loadavg: 4.54 4.41 4.27 5/332 50315
/proc/meminfo: memFree=98307872/131382120 swapFree=33010684/33010684
[pid=49773] ppid=49770 vsize=19063512 memory=2169284 CPUtime=3366.94 cores=5,7
/proc/49773/stat : 49773 (java) S 49770 49773 49314 0 -1 4194304 89174 0 0 0 335679 1015 0 0 20 0 20 0 53990310 19521036288 542321 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
/proc/49773/statm: 4765878 542321 5544 1 0 555882 0
[pid=49773/tid=49775] ppid=49770 vsize=19063512 memory=-6000919507032564587 CPUtime=3348.84 cores=5,7
/proc/49773/task/49775/stat : 49775 (java) R 49770 49773 49314 0 -1 4194368 40984 0 0 0 334066 818 0 0 20 0 20 0 53990312 19521036288 542321 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49784] ppid=49770 vsize=19063512 memory=-4421386504871504738 CPUtime=0 cores=5,7
/proc/49773/task/49784/stat : 49784 (Finalizer) S 49770 49773 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53990317 19521036288 542321 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49791] ppid=49770 vsize=19063512 memory=-6000919507032564587 CPUtime=0 cores=5,7
/proc/49773/task/49791/stat : 49791 (Common-Cleaner) S 49770 49773 49314 0 -1 4194368 1719 0 0 0 0 0 0 0 20 0 20 0 53990317 19521036288 542321 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49792] ppid=49770 vsize=19063512 memory=2169284 CPUtime=0 cores=5,7
/proc/49773/task/49792/stat : 49792 (Timer-0) S 49770 49773 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53990349 19521036288 542321 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
Current children cumulated CPU time: 3366.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2169284 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.34 4.25 5/332 50317
/proc/meminfo: memFree=97831656/131382120 swapFree=33010684/33010684
[pid=49773] ppid=49770 vsize=19063512 memory=2169284 CPUtime=3426.73 cores=5,7
/proc/49773/stat : 49773 (java) S 49770 49773 49314 0 -1 4194304 90018 0 0 0 341647 1026 0 0 20 0 20 0 53990310 19521036288 542321 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
/proc/49773/statm: 4765878 542321 5544 1 0 555882 0
[pid=49773/tid=49775] ppid=49770 vsize=19063512 memory=16544 CPUtime=3408.46 cores=5,7
/proc/49773/task/49775/stat : 49775 (java) R 49770 49773 49314 0 -1 4194368 41795 0 0 0 340020 826 0 0 20 0 20 0 53990312 19521036288 542321 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49784] ppid=49770 vsize=19063512 memory=2169284 CPUtime=0 cores=5,7
/proc/49773/task/49784/stat : 49784 (Finalizer) S 49770 49773 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53990317 19521036288 542321 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49791] ppid=49770 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/49773/task/49791/stat : 49791 (Common-Cleaner) S 49770 49773 49314 0 -1 4194368 1719 0 0 0 0 0 0 0 20 0 20 0 53990317 19521036288 542321 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49792] ppid=49770 vsize=19063512 memory=2169284 CPUtime=0 cores=5,7
/proc/49773/task/49792/stat : 49792 (Timer-0) S 49770 49773 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53990349 19521036288 542321 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
Current children cumulated CPU time: 3426.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2169284 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.30 4.24 5/332 50319
/proc/meminfo: memFree=97418756/131382120 swapFree=33010684/33010684
[pid=49773] ppid=49770 vsize=19063512 memory=2169412 CPUtime=3486.54 cores=5,7
/proc/49773/stat : 49773 (java) S 49770 49773 49314 0 -1 4194304 91161 0 0 0 347613 1041 0 0 20 0 20 0 53990310 19521036288 542353 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
/proc/49773/statm: 4765878 542353 5544 1 0 555882 0
[pid=49773/tid=49775] ppid=49770 vsize=19063512 memory=2169284 CPUtime=3468.1 cores=5,7
/proc/49773/task/49775/stat : 49775 (java) R 49770 49773 49314 0 -1 4194368 42202 0 0 0 345972 838 0 0 20 0 20 0 53990312 19521036288 542353 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49784] ppid=49770 vsize=19063512 memory=2169284 CPUtime=0 cores=5,7
/proc/49773/task/49784/stat : 49784 (Finalizer) S 49770 49773 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53990317 19521036288 542353 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49791] ppid=49770 vsize=19063512 memory=2169412 CPUtime=0 cores=5,7
/proc/49773/task/49791/stat : 49791 (Common-Cleaner) S 49770 49773 49314 0 -1 4194368 1770 0 0 0 0 0 0 0 20 0 20 0 53990317 19521036288 542353 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49792] ppid=49770 vsize=19063512 memory=7012 CPUtime=0 cores=5,7
/proc/49773/task/49792/stat : 49792 (Timer-0) S 49770 49773 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53990349 19521036288 542353 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
Current children cumulated CPU time: 3486.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2169412 KiB

[startup+3582.3 s]
/proc/loadavg: 4.32 4.31 4.25 5/332 50324
/proc/meminfo: memFree=96993612/131382120 swapFree=33010684/33010684
[pid=49773] ppid=49770 vsize=19063512 memory=2169412 CPUtime=3546.34 cores=5,7
/proc/49773/stat : 49773 (java) S 49770 49773 49314 0 -1 4194304 92722 0 0 0 353580 1054 0 0 20 0 20 0 53990310 19521036288 542353 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
/proc/49773/statm: 4765878 542353 5544 1 0 555882 0
[pid=49773/tid=49775] ppid=49770 vsize=19063512 memory=2169284 CPUtime=3527.75 cores=5,7
/proc/49773/task/49775/stat : 49775 (java) R 49770 49773 49314 0 -1 4194368 43153 0 0 0 351927 848 0 0 20 0 20 0 53990312 19521036288 542353 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49784] ppid=49770 vsize=19063512 memory=2169412 CPUtime=0 cores=5,7
/proc/49773/task/49784/stat : 49784 (Finalizer) S 49770 49773 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53990317 19521036288 542353 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49791] ppid=49770 vsize=19063512 memory=18304 CPUtime=0 cores=5,7
/proc/49773/task/49791/stat : 49791 (Common-Cleaner) S 49770 49773 49314 0 -1 4194368 1856 0 0 0 0 0 0 0 20 0 20 0 53990317 19521036288 542353 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49792] ppid=49770 vsize=19063512 memory=2169412 CPUtime=0 cores=5,7
/proc/49773/task/49792/stat : 49792 (Timer-0) S 49770 49773 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53990349 19521036288 542353 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
Current children cumulated CPU time: 3546.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2169412 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3636.2 s]
/proc/loadavg: 4.24 4.29 4.24 5/332 50331
/proc/meminfo: memFree=96485876/131382120 swapFree=33010684/33010684
[pid=49773] ppid=49770 vsize=19063512 memory=2169412 CPUtime=3600.07 cores=5,7
/proc/49773/stat : 49773 (java) S 49770 49773 49314 0 -1 4194304 92731 0 0 0 358942 1065 0 0 20 0 20 0 53990310 19521036288 542353 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
/proc/49773/statm: 4765878 542353 5544 1 0 555882 0
[pid=49773/tid=49775] ppid=49770 vsize=19063512 memory=-6000919507032564587 CPUtime=3581.43 cores=5,7
/proc/49773/task/49775/stat : 49775 (java) R 49770 49773 49314 0 -1 4194368 43158 0 0 0 357287 856 0 0 20 0 20 0 53990312 19521036288 542353 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49784] ppid=49770 vsize=19063512 memory=3072 CPUtime=0 cores=5,7
/proc/49773/task/49784/stat : 49784 (Finalizer) S 49770 49773 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53990317 19521036288 542353 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49791] ppid=49770 vsize=19063512 memory=6784 CPUtime=0 cores=5,7
/proc/49773/task/49791/stat : 49791 (Common-Cleaner) S 49770 49773 49314 0 -1 4194368 1856 0 0 0 0 0 0 0 20 0 20 0 53990317 19521036288 542353 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49792] ppid=49770 vsize=19063512 memory=5300 CPUtime=0 cores=5,7
/proc/49773/task/49792/stat : 49792 (Timer-0) S 49770 49773 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53990349 19521036288 542353 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2169412 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.74 s, system=10.6747 s

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

[startup+3636.3 s]
/proc/loadavg: 4.24 4.29 4.24 5/332 50331
/proc/meminfo: memFree=96485876/131382120 swapFree=33010684/33010684
[pid=49773] ppid=49770 vsize=19263204 memory=2170308 CPUtime=3600.26 cores=5,7
/proc/49773/stat : 49773 (java) S 49770 49773 49314 0 -1 4194304 94912 0 0 0 358961 1065 0 0 20 0 21 0 53990310 19725520896 542577 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
/proc/49773/statm: 4815801 542577 5576 1 0 556851 0
[pid=49773/tid=49775] ppid=49770 vsize=19263204 memory=2169412 CPUtime=3581.47 cores=5,7
/proc/49773/task/49775/stat : 49775 (java) S 49770 49773 49314 0 -1 4194368 43427 0 0 0 357291 856 0 0 20 0 21 0 53990312 19725520896 542577 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49784] ppid=49770 vsize=19263204 memory=2169412 CPUtime=0 cores=5,7
/proc/49773/task/49784/stat : 49784 (Finalizer) S 49770 49773 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 53990317 19725520896 542577 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
[pid=49773/tid=49791] ppid=49770 vsize=19263204 memory=16544 CPUtime=0 cores=5,7
/proc/49773/task/49791/stat : 49791 (Common-Cleaner) S 49770 49773 49314 0 -1 4194368 1857 0 0 0 0 0 0 0 20 0 21 0 53990317 19725520896 542577 18446744073709551615 94042341416960 94042341420656 140724960296256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94042341428472 94042341429264 94042368835584 140724960299312 140724960299494 140724960299494 140724960305096 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2170308 KiB

Child status: 143

Real time (s): 3636.43
CPU time (s): 3600.41
CPU user time (s): 3589.74
CPU system time (s): 10.6747
CPU usage (%): 99.0096
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2170308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.74
system time used= 10.6747
maximum resident set size= 2170564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95030
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5447968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109257
involuntary context switches= 11102


# summary of solver processes directly reported to runsolver:
#   pid: 49773
#   total CPU time (s): 3600.41
#   total CPU user time (s): 3589.74
#   total CPU system time (s): 10.6747

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.8426 second user time and 38.2414 second system time

The end