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: 63931 MiB (59129 MiB free)
  memory of node 1: 64510 MiB (57579 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451041-1721424805/watcher-4451041-1721424805 -o /tmp/evaluation-result-4451041-1721424805/solver-4451041-1721424805 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721421240-1021652 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4451041-1721424805.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
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 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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1023805, runsolver pid=1023802

[startup+0.100517 s]*
/proc/loadavg: 4.43 4.53 4.39 5/332 1023823
/proc/meminfo: memFree=119462516/131524600 swapFree=131071996/131071996
[pid=1023805] ppid=1023802 vsize=18975048 memory=64840 CPUtime=0.14 cores=0,2
/proc/1023805/stat : 1023805 (java) S 1023802 1023805 1021642 0 -1 1077936128 7626 0 0 0 12 2 0 0 20 0 18 0 194645418 19430449152 16210 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
/proc/1023805/statm: 4743762 16210 5680 1 0 549359 0
[pid=1023805/tid=1023807] ppid=1023802 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/1023805/task/1023807/stat : 1023807 (java) R 1023802 1023805 1021642 0 -1 1078198336 6197 0 0 0 7 1 0 0 20 0 18 0 194645418 19430449152 16210 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023816] ppid=1023802 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/1023805/task/1023816/stat : 1023816 (Finalizer) S 1023802 1023805 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 194645421 19430449152 16210 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023823] ppid=1023802 vsize=18975048 memory=14979970577492358 CPUtime=0 cores=0,2
/proc/1023805/task/1023823/stat : 1023823 (Common-Cleaner) S 1023802 1023805 1021642 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 194645421 19430449152 16210 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64840 KiB

[startup+0.208752 s]*
/proc/loadavg: 4.43 4.53 4.39 7/332 1023823
/proc/meminfo: memFree=119435392/131524600 swapFree=131071996/131071996
[pid=1023805] ppid=1023802 vsize=18975048 memory=92084 CPUtime=0.34 cores=0,2
/proc/1023805/stat : 1023805 (java) S 1023802 1023805 1021642 0 -1 1077936128 8177 0 0 0 31 3 0 0 20 0 18 0 194645418 19430449152 23021 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
/proc/1023805/statm: 4743762 23021 5831 1 0 549702 0
[pid=1023805/tid=1023807] ppid=1023802 vsize=18975048 memory=6876556183782621315 CPUtime=0.18 cores=0,2
/proc/1023805/task/1023807/stat : 1023807 (java) R 1023802 1023805 1021642 0 -1 4194368 6475 0 0 0 16 2 0 0 20 0 18 0 194645418 19430449152 23021 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023816] ppid=1023802 vsize=18975048 memory=17986 CPUtime=0 cores=0,2
/proc/1023805/task/1023816/stat : 1023816 (Finalizer) S 1023802 1023805 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 194645421 19430449152 23021 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023823] ppid=1023802 vsize=18975048 memory=13855165887284967 CPUtime=0 cores=0,2
/proc/1023805/task/1023823/stat : 1023823 (Common-Cleaner) S 1023802 1023805 1021642 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 194645421 19430449152 23021 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 92084 KiB

[startup+0.307751 s]*
/proc/loadavg: 4.43 4.53 4.39 7/333 1023824
/proc/meminfo: memFree=119419492/131524600 swapFree=131071996/131071996
[pid=1023805] ppid=1023802 vsize=19041612 memory=109528 CPUtime=0.52 cores=0,2
/proc/1023805/stat : 1023805 (java) S 1023802 1023805 1021642 0 -1 1077936128 9336 0 0 0 48 4 0 0 20 0 19 0 194645418 19498610688 27382 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
/proc/1023805/statm: 4760403 27382 5831 1 0 550736 0
[pid=1023805/tid=1023807] ppid=1023802 vsize=19041612 memory=-7596549454003661663 CPUtime=0.26 cores=0,2
/proc/1023805/task/1023807/stat : 1023807 (java) R 1023802 1023805 1021642 0 -1 4194368 6583 0 0 0 24 2 0 0 20 0 19 0 194645418 19498610688 27382 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023816] ppid=1023802 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1023805/task/1023816/stat : 1023816 (Finalizer) S 1023802 1023805 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194645421 19498610688 27382 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023823] ppid=1023802 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1023805/task/1023823/stat : 1023823 (Common-Cleaner) S 1023802 1023805 1021642 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194645421 19498610688 27382 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023824] ppid=1023802 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1023805/task/1023824/stat : 1023824 (Timer-0) S 1023802 1023805 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194645440 19498610688 27382 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 109528 KiB

[startup+0.700335 s]
/proc/loadavg: 4.43 4.53 4.39 8/334 1023825
/proc/meminfo: memFree=119357220/131524600 swapFree=131071996/131071996
[pid=1023805] ppid=1023802 vsize=19108176 memory=170712 CPUtime=1.26 cores=0,2
/proc/1023805/stat : 1023805 (java) S 1023802 1023805 1021642 0 -1 1077936128 11227 0 0 0 121 5 0 0 20 0 20 0 194645418 19566772224 42678 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
/proc/1023805/statm: 4777044 42678 5847 1 0 552164 0
[pid=1023805/tid=1023807] ppid=1023802 vsize=19108176 memory=13072 CPUtime=0.59 cores=0,2
/proc/1023805/task/1023807/stat : 1023807 (java) R 1023802 1023805 1021642 0 -1 4194368 6621 0 0 0 56 3 0 0 20 0 20 0 194645418 19566772224 42678 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023816] ppid=1023802 vsize=19108176 memory=13072 CPUtime=0 cores=0,2
/proc/1023805/task/1023816/stat : 1023816 (Finalizer) S 1023802 1023805 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194645421 19566772224 42678 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023823] ppid=1023802 vsize=19108176 memory=117636 CPUtime=0 cores=0,2
/proc/1023805/task/1023823/stat : 1023823 (Common-Cleaner) S 1023802 1023805 1021642 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194645421 19566772224 42678 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023824] ppid=1023802 vsize=19108176 memory=5528 CPUtime=0 cores=0,2
/proc/1023805/task/1023824/stat : 1023824 (Timer-0) S 1023802 1023805 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194645440 19566772224 42678 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 170712 KiB

[startup+1.50076 s]
/proc/loadavg: 4.43 4.53 4.39 6/334 1023825
/proc/meminfo: memFree=119287400/131524600 swapFree=131071996/131071996
[pid=1023805] ppid=1023802 vsize=19108176 memory=535344 CPUtime=2.85 cores=0,2
/proc/1023805/stat : 1023805 (java) S 1023802 1023805 1021642 0 -1 1077936128 20990 0 0 0 272 13 0 0 20 0 20 0 194645418 19566772224 133836 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
/proc/1023805/statm: 4777044 133836 5863 1 0 555576 0
[pid=1023805/tid=1023807] ppid=1023802 vsize=19108176 memory=13072 CPUtime=1.36 cores=0,2
/proc/1023805/task/1023807/stat : 1023807 (java) R 1023802 1023805 1021642 0 -1 4194368 7067 0 0 0 126 10 0 0 20 0 20 0 194645418 19566772224 133836 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023816] ppid=1023802 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1023805/task/1023816/stat : 1023816 (Finalizer) S 1023802 1023805 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194645421 19566772224 133836 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023823] ppid=1023802 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1023805/task/1023823/stat : 1023823 (Common-Cleaner) S 1023802 1023805 1021642 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194645421 19566772224 133836 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023824] ppid=1023802 vsize=19108176 memory=65 CPUtime=0 cores=0,2
/proc/1023805/task/1023824/stat : 1023824 (Timer-0) S 1023802 1023805 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194645440 19566772224 133836 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 535344 KiB

[startup+3.10557 s]
/proc/loadavg: 4.43 4.53 4.39 6/334 1023825
/proc/meminfo: memFree=118318984/131524600 swapFree=131071996/131071996
[pid=1023805] ppid=1023802 vsize=19108176 memory=1287872 CPUtime=5.6 cores=0,2
/proc/1023805/stat : 1023805 (java) S 1023802 1023805 1021642 0 -1 1077936128 26105 0 0 0 530 30 0 0 20 0 20 0 194645418 19566772224 321968 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
/proc/1023805/statm: 4777044 321968 5863 1 0 555692 0
[pid=1023805/tid=1023807] ppid=1023802 vsize=19108176 memory=0 CPUtime=2.94 cores=0,2
/proc/1023805/task/1023807/stat : 1023807 (java) R 1023802 1023805 1021642 0 -1 4194368 8804 0 0 0 268 26 0 0 20 0 20 0 194645418 19566772224 321968 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023816] ppid=1023802 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1023805/task/1023816/stat : 1023816 (Finalizer) S 1023802 1023805 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194645421 19566772224 321968 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023823] ppid=1023802 vsize=19108176 memory=787428 CPUtime=0 cores=0,2
/proc/1023805/task/1023823/stat : 1023823 (Common-Cleaner) S 1023802 1023805 1021642 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194645421 19566772224 321968 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023824] ppid=1023802 vsize=19108176 memory=13072 CPUtime=0 cores=0,2
/proc/1023805/task/1023824/stat : 1023824 (Timer-0) S 1023802 1023805 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194645440 19566772224 321968 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
Current children cumulated CPU time: 5.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1287872 KiB

[startup+6.30075 s]
/proc/loadavg: 4.47 4.54 4.39 5/334 1023826
/proc/meminfo: memFree=118115516/131524600 swapFree=131071996/131071996
[pid=1023805] ppid=1023802 vsize=19108176 memory=1325608 CPUtime=8.93 cores=0,2
/proc/1023805/stat : 1023805 (java) S 1023802 1023805 1021642 0 -1 1077936128 26727 0 0 0 862 31 0 0 20 0 20 0 194645418 19566772224 331402 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
/proc/1023805/statm: 4777044 331402 5863 1 0 555693 0
[pid=1023805/tid=1023807] ppid=1023802 vsize=19108176 memory=13072 CPUtime=6.07 cores=0,2
/proc/1023805/task/1023807/stat : 1023807 (java) R 1023802 1023805 1021642 0 -1 4194368 8934 0 0 0 581 26 0 0 20 0 20 0 194645418 19566772224 331402 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023816] ppid=1023802 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1023805/task/1023816/stat : 1023816 (Finalizer) S 1023802 1023805 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194645421 19566772224 331402 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023823] ppid=1023802 vsize=19108176 memory=7234012876567437424 CPUtime=0 cores=0,2
/proc/1023805/task/1023823/stat : 1023823 (Common-Cleaner) S 1023802 1023805 1021642 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194645421 19566772224 331402 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023824] ppid=1023802 vsize=19108176 memory=5516 CPUtime=0 cores=0,2
/proc/1023805/task/1023824/stat : 1023824 (Timer-0) S 1023802 1023805 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194645440 19566772224 331402 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
Current children cumulated CPU time: 8.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1325608 KiB

[startup+12.7008 s]
/proc/loadavg: 4.44 4.53 4.39 7/334 1023894
/proc/meminfo: memFree=120958632/131524600 swapFree=131071996/131071996
[pid=1023805] ppid=1023802 vsize=19108176 memory=1331928 CPUtime=15.34 cores=0,2
/proc/1023805/stat : 1023805 (java) S 1023802 1023805 1021642 0 -1 1077936128 28043 0 0 0 1502 32 0 0 20 0 20 0 194645418 19566772224 332982 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
/proc/1023805/statm: 4777044 332982 5863 1 0 555693 0
[pid=1023805/tid=1023807] ppid=1023802 vsize=19108176 memory=0 CPUtime=12.3 cores=0,2
/proc/1023805/task/1023807/stat : 1023807 (java) R 1023802 1023805 1021642 0 -1 4194368 9669 0 0 0 1203 27 0 0 20 0 20 0 194645418 19566772224 332982 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023816] ppid=1023802 vsize=19108176 memory=1331916 CPUtime=0 cores=0,2
/proc/1023805/task/1023816/stat : 1023816 (Finalizer) S 1023802 1023805 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194645421 19566772224 332982 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023823] ppid=1023802 vsize=19108176 memory=16076 CPUtime=0 cores=0,2
/proc/1023805/task/1023823/stat : 1023823 (Common-Cleaner) S 1023802 1023805 1021642 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194645421 19566772224 332982 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023824] ppid=1023802 vsize=19108176 memory=2280 CPUtime=0 cores=0,2
/proc/1023805/task/1023824/stat : 1023824 (Timer-0) S 1023802 1023805 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194645440 19566772224 332982 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
Current children cumulated CPU time: 15.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1331928 KiB

[startup+25.5008 s]
/proc/loadavg: 4.37 4.51 4.38 5/334 1023896
/proc/meminfo: memFree=119136112/131524600 swapFree=131071996/131071996
[pid=1023805] ppid=1023802 vsize=19108176 memory=1767276 CPUtime=28.28 cores=0,2
/proc/1023805/stat : 1023805 (java) S 1023802 1023805 1021642 0 -1 1077936128 33280 0 0 0 2786 42 0 0 20 0 20 0 194645418 19566772224 441819 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
/proc/1023805/statm: 4777044 441819 5875 1 0 662220 0
[pid=1023805/tid=1023807] ppid=1023802 vsize=19108176 memory=1765152 CPUtime=24.69 cores=0,2
/proc/1023805/task/1023807/stat : 1023807 (java) R 1023802 1023805 1021642 0 -1 4194368 11295 0 0 0 2434 35 0 0 20 0 20 0 194645418 19566772224 441819 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023816] ppid=1023802 vsize=19108176 memory=1325608 CPUtime=0 cores=0,2
/proc/1023805/task/1023816/stat : 1023816 (Finalizer) S 1023802 1023805 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194645421 19566772224 441819 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023823] ppid=1023802 vsize=19108176 memory=11444 CPUtime=0 cores=0,2
/proc/1023805/task/1023823/stat : 1023823 (Common-Cleaner) S 1023802 1023805 1021642 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194645421 19566772224 441819 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023824] ppid=1023802 vsize=19108176 memory=5516 CPUtime=0 cores=0,2
/proc/1023805/task/1023824/stat : 1023824 (Timer-0) S 1023802 1023805 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194645440 19566772224 441819 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
Current children cumulated CPU time: 28.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1767276 KiB

[startup+51.1058 s]
/proc/loadavg: 4.27 4.48 4.37 5/334 1023901
/proc/meminfo: memFree=117911384/131524600 swapFree=131071996/131071996
[pid=1023805] ppid=1023802 vsize=19108176 memory=2835064 CPUtime=54.21 cores=0,2
/proc/1023805/stat : 1023805 (java) S 1023802 1023805 1021642 0 -1 1077936128 38175 0 0 0 5360 61 0 0 20 0 20 0 194645418 19566772224 708766 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
/proc/1023805/statm: 4777044 708766 5875 1 0 923348 0
[pid=1023805/tid=1023807] ppid=1023802 vsize=19108176 memory=5516 CPUtime=49.1 cores=0,2
/proc/1023805/task/1023807/stat : 1023807 (java) R 1023802 1023805 1021642 0 -1 4194368 14365 0 0 0 4857 53 0 0 20 0 20 0 194645418 19566772224 708766 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0

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

/proc/meminfo: memFree=111856528/131524600 swapFree=131071996/131071996
[pid=1023805] ppid=1023802 vsize=19108176 memory=4156116 CPUtime=3219.83 cores=0,2
/proc/1023805/stat : 1023805 (java) S 1023802 1023805 1021642 0 -1 1077936128 309559 0 0 0 321724 259 0 0 20 0 20 0 194645418 19566772224 1039029 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
/proc/1023805/statm: 4777044 1039029 5891 1 0 1052002 0
[pid=1023805/tid=1023807] ppid=1023802 vsize=19108176 memory=4156108 CPUtime=3057.62 cores=0,2
/proc/1023805/task/1023807/stat : 1023807 (java) R 1023802 1023805 1021642 0 -1 4194368 151354 0 0 0 305671 91 0 0 20 0 20 0 194645418 19566772224 1039029 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 22 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023816] ppid=1023802 vsize=19108176 memory=4156108 CPUtime=0 cores=0,2
/proc/1023805/task/1023816/stat : 1023816 (Finalizer) S 1023802 1023805 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194645421 19566772224 1039029 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023823] ppid=1023802 vsize=19108176 memory=46320 CPUtime=0 cores=0,2
/proc/1023805/task/1023823/stat : 1023823 (Common-Cleaner) S 1023802 1023805 1021642 0 -1 1077936192 2346 0 0 0 0 0 0 0 20 0 20 0 194645421 19566772224 1039029 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023824] ppid=1023802 vsize=19108176 memory=-7596549454003661663 CPUtime=0 cores=0,2
/proc/1023805/task/1023824/stat : 1023824 (Timer-0) S 1023802 1023805 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194645440 19566772224 1039029 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
Current children cumulated CPU time: 3219.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4156116 KiB

[startup+3222.3 s]
/proc/loadavg: 4.33 4.37 4.35 5/332 1025962
/proc/meminfo: memFree=111370068/131524600 swapFree=131071996/131071996
[pid=1023805] ppid=1023802 vsize=19108176 memory=4640788 CPUtime=3281.78 cores=0,2
/proc/1023805/stat : 1023805 (java) S 1023802 1023805 1021642 0 -1 1077936128 315585 0 0 0 327908 270 0 0 20 0 20 0 194645418 19566772224 1160197 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
/proc/1023805/statm: 4777044 1160197 5891 1 0 1175335 0
[pid=1023805/tid=1023807] ppid=1023802 vsize=19108176 memory=4156108 CPUtime=3115.35 cores=0,2
/proc/1023805/task/1023807/stat : 1023807 (java) R 1023802 1023805 1021642 0 -1 4194368 154298 0 0 0 311436 99 0 0 20 0 20 0 194645418 19566772224 1160197 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 22 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023816] ppid=1023802 vsize=19108176 memory=4156396 CPUtime=0 cores=0,2
/proc/1023805/task/1023816/stat : 1023816 (Finalizer) S 1023802 1023805 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194645421 19566772224 1160197 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023823] ppid=1023802 vsize=19108176 memory=46320 CPUtime=0 cores=0,2
/proc/1023805/task/1023823/stat : 1023823 (Common-Cleaner) S 1023802 1023805 1021642 0 -1 1077936192 2480 0 0 0 0 0 0 0 20 0 20 0 194645421 19566772224 1160197 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023824] ppid=1023802 vsize=19108176 memory=4640788 CPUtime=0 cores=0,2
/proc/1023805/task/1023824/stat : 1023824 (Timer-0) S 1023802 1023805 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194645440 19566772224 1160197 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
Current children cumulated CPU time: 3281.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4640788 KiB

[startup+3282.3 s]
/proc/loadavg: 4.22 4.33 4.34 5/334 1026143
/proc/meminfo: memFree=111369468/131524600 swapFree=131071996/131071996
[pid=1023805] ppid=1023802 vsize=19108176 memory=4640840 CPUtime=3342.37 cores=0,2
/proc/1023805/stat : 1023805 (java) S 1023802 1023805 1021642 0 -1 1077936128 316646 0 0 0 333964 273 0 0 20 0 20 0 194645418 19566772224 1160210 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
/proc/1023805/statm: 4777044 1160210 5891 1 0 1175335 0
[pid=1023805/tid=1023807] ppid=1023802 vsize=19108176 memory=4640840 CPUtime=3174.21 cores=0,2
/proc/1023805/task/1023807/stat : 1023807 (java) R 1023802 1023805 1021642 0 -1 4194368 155229 0 0 0 317321 100 0 0 20 0 20 0 194645418 19566772224 1160210 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 22 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023816] ppid=1023802 vsize=19108176 memory=4640840 CPUtime=0 cores=0,2
/proc/1023805/task/1023816/stat : 1023816 (Finalizer) S 1023802 1023805 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194645421 19566772224 1160210 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023823] ppid=1023802 vsize=19108176 memory=4640824 CPUtime=0 cores=0,2
/proc/1023805/task/1023823/stat : 1023823 (Common-Cleaner) S 1023802 1023805 1021642 0 -1 1077936192 2480 0 0 0 0 0 0 0 20 0 20 0 194645421 19566772224 1160210 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023824] ppid=1023802 vsize=19108176 memory=5528 CPUtime=0 cores=0,2
/proc/1023805/task/1023824/stat : 1023824 (Timer-0) S 1023802 1023805 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194645440 19566772224 1160210 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
Current children cumulated CPU time: 3342.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4640840 KiB

[startup+3342.3 s]
/proc/loadavg: 4.63 4.41 4.37 5/334 1026153
/proc/meminfo: memFree=111368904/131524600 swapFree=131071996/131071996
[pid=1023805] ppid=1023802 vsize=19108176 memory=4640952 CPUtime=3403.17 cores=0,2
/proc/1023805/stat : 1023805 (java) S 1023802 1023805 1021642 0 -1 1077936128 321348 0 0 0 340041 276 0 0 20 0 20 0 194645418 19566772224 1160238 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
/proc/1023805/statm: 4777044 1160238 5891 1 0 1175335 0
[pid=1023805/tid=1023807] ppid=1023802 vsize=19108176 memory=4640952 CPUtime=3232.58 cores=0,2
/proc/1023805/task/1023807/stat : 1023807 (java) R 1023802 1023805 1021642 0 -1 4194368 157660 0 0 0 323158 100 0 0 20 0 20 0 194645418 19566772224 1160238 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 28 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023816] ppid=1023802 vsize=19108176 memory=4640840 CPUtime=0 cores=0,2
/proc/1023805/task/1023816/stat : 1023816 (Finalizer) S 1023802 1023805 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194645421 19566772224 1160238 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023823] ppid=1023802 vsize=19108176 memory=4640952 CPUtime=0 cores=0,2
/proc/1023805/task/1023823/stat : 1023823 (Common-Cleaner) S 1023802 1023805 1021642 0 -1 1077936192 2480 0 0 0 0 0 0 0 20 0 20 0 194645421 19566772224 1160238 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023824] ppid=1023802 vsize=19108176 memory=1964 CPUtime=0 cores=0,2
/proc/1023805/task/1023824/stat : 1023824 (Timer-0) S 1023802 1023805 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194645440 19566772224 1160238 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
Current children cumulated CPU time: 3403.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4640952 KiB

[startup+3402.3 s]
/proc/loadavg: 4.68 4.47 4.39 6/336 1026289
/proc/meminfo: memFree=113787152/131524600 swapFree=131071996/131071996
[pid=1023805] ppid=1023802 vsize=19108176 memory=4640952 CPUtime=3463.68 cores=0,2
/proc/1023805/stat : 1023805 (java) S 1023802 1023805 1021642 0 -1 1077936128 322749 0 0 0 346089 279 0 0 20 0 20 0 194645418 19566772224 1160238 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
/proc/1023805/statm: 4777044 1160238 5891 1 0 1175335 0
[pid=1023805/tid=1023807] ppid=1023802 vsize=19108176 memory=4640952 CPUtime=3291.02 cores=0,2
/proc/1023805/task/1023807/stat : 1023807 (java) R 1023802 1023805 1021642 0 -1 4194368 158791 0 0 0 329001 101 0 0 20 0 20 0 194645418 19566772224 1160238 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 28 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023816] ppid=1023802 vsize=19108176 memory=4640952 CPUtime=0 cores=0,2
/proc/1023805/task/1023816/stat : 1023816 (Finalizer) S 1023802 1023805 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194645421 19566772224 1160238 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023823] ppid=1023802 vsize=19108176 memory=4640952 CPUtime=0 cores=0,2
/proc/1023805/task/1023823/stat : 1023823 (Common-Cleaner) S 1023802 1023805 1021642 0 -1 1077936192 2567 0 0 0 0 0 0 0 20 0 20 0 194645421 19566772224 1160238 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023824] ppid=1023802 vsize=19108176 memory=4640952 CPUtime=0 cores=0,2
/proc/1023805/task/1023824/stat : 1023824 (Timer-0) S 1023802 1023805 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194645440 19566772224 1160238 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
Current children cumulated CPU time: 3463.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4640952 KiB

[startup+3462.3 s]
/proc/loadavg: 4.29 4.40 4.37 5/334 1026300
/proc/meminfo: memFree=112696156/131524600 swapFree=131071996/131071996
[pid=1023805] ppid=1023802 vsize=19108176 memory=4643004 CPUtime=3524.08 cores=0,2
/proc/1023805/stat : 1023805 (java) S 1023802 1023805 1021642 0 -1 1077936128 327465 0 0 0 352125 283 0 0 20 0 20 0 194645418 19566772224 1160751 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
/proc/1023805/statm: 4777044 1160751 5891 1 0 1175335 0
[pid=1023805/tid=1023807] ppid=1023802 vsize=19108176 memory=4640952 CPUtime=3349.08 cores=0,2
/proc/1023805/task/1023807/stat : 1023807 (java) R 1023802 1023805 1021642 0 -1 4194368 161475 0 0 0 334807 101 0 0 20 0 20 0 194645418 19566772224 1160751 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 28 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023816] ppid=1023802 vsize=19108176 memory=4640952 CPUtime=0 cores=0,2
/proc/1023805/task/1023816/stat : 1023816 (Finalizer) S 1023802 1023805 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194645421 19566772224 1160751 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023823] ppid=1023802 vsize=19108176 memory=4643004 CPUtime=0 cores=0,2
/proc/1023805/task/1023823/stat : 1023823 (Common-Cleaner) S 1023802 1023805 1021642 0 -1 1077936192 2567 0 0 0 0 0 0 0 20 0 20 0 194645421 19566772224 1160751 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023824] ppid=1023802 vsize=19108176 memory=4643004 CPUtime=0 cores=0,2
/proc/1023805/task/1023824/stat : 1023824 (Timer-0) S 1023802 1023805 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194645440 19566772224 1160751 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
Current children cumulated CPU time: 3524.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4643004 KiB

[startup+3522.3 s]
/proc/loadavg: 4.34 4.39 4.36 5/335 1026378
/proc/meminfo: memFree=115488692/131524600 swapFree=131071996/131071996
[pid=1023805] ppid=1023802 vsize=19108176 memory=4643040 CPUtime=3585.06 cores=0,2
/proc/1023805/stat : 1023805 (java) S 1023802 1023805 1021642 0 -1 1077936128 329602 0 0 0 358219 287 0 0 20 0 20 0 194645418 19566772224 1160760 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
/proc/1023805/statm: 4777044 1160760 5891 1 0 1175340 0
[pid=1023805/tid=1023807] ppid=1023802 vsize=19108176 memory=3256 CPUtime=3407.49 cores=0,2
/proc/1023805/task/1023807/stat : 1023807 (java) R 1023802 1023805 1021642 0 -1 4194368 163142 0 0 0 340647 102 0 0 20 0 20 0 194645418 19566772224 1160760 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 28 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023816] ppid=1023802 vsize=19108176 memory=4643036 CPUtime=0 cores=0,2
/proc/1023805/task/1023816/stat : 1023816 (Finalizer) S 1023802 1023805 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194645421 19566772224 1160760 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023823] ppid=1023802 vsize=19108176 memory=2192 CPUtime=0 cores=0,2
/proc/1023805/task/1023823/stat : 1023823 (Common-Cleaner) S 1023802 1023805 1021642 0 -1 1077936192 2654 0 0 0 0 0 0 0 20 0 20 0 194645421 19566772224 1160760 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023824] ppid=1023802 vsize=19108176 memory=4643036 CPUtime=0 cores=0,2
/proc/1023805/task/1023824/stat : 1023824 (Timer-0) S 1023802 1023805 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194645440 19566772224 1160760 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
Current children cumulated CPU time: 3585.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4643040 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3536.8 s]
/proc/loadavg: 4.26 4.37 4.36 5/335 1026381
/proc/meminfo: memFree=114435392/131524600 swapFree=131071996/131071996
[pid=1023805] ppid=1023802 vsize=19108176 memory=4643040 CPUtime=3600 cores=0,2
/proc/1023805/stat : 1023805 (java) S 1023802 1023805 1021642 0 -1 1077936128 330014 0 0 0 359713 287 0 0 20 0 20 0 194645418 19566772224 1160760 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
/proc/1023805/statm: 4777044 1160760 5891 1 0 1175340 0
[pid=1023805/tid=1023807] ppid=1023802 vsize=19108176 memory=-7596549454003661663 CPUtime=3421.52 cores=0,2
/proc/1023805/task/1023807/stat : 1023807 (java) R 1023802 1023805 1021642 0 -1 4194368 163416 0 0 0 342050 102 0 0 20 0 20 0 194645418 19566772224 1160760 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 28 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023816] ppid=1023802 vsize=19108176 memory=-7380376671889418084 CPUtime=0 cores=0,2
/proc/1023805/task/1023816/stat : 1023816 (Finalizer) S 1023802 1023805 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194645421 19566772224 1160760 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023823] ppid=1023802 vsize=19108176 memory=4643040 CPUtime=0 cores=0,2
/proc/1023805/task/1023823/stat : 1023823 (Common-Cleaner) S 1023802 1023805 1021642 0 -1 1077936192 2654 0 0 0 0 0 0 0 20 0 20 0 194645421 19566772224 1160760 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
[pid=1023805/tid=1023824] ppid=1023802 vsize=19108176 memory=46320 CPUtime=0 cores=0,2
/proc/1023805/task/1023824/stat : 1023824 (Timer-0) S 1023802 1023805 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194645440 19566772224 1160760 134679101440 93941648334848 93941648338544 140736421553632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93941648346360 93941648347152 93941658771456 140736421557235 140736421557343 140736421557343 140736421564360 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4643040 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.25 s, system=2.89446 s

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

Child status: 143

Real time (s): 3536.9
CPU time (s): 3600.15
CPU user time (s): 3597.25
CPU system time (s): 2.89446
CPU usage (%): 101.788
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 4643040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.25
system time used= 2.89446
maximum resident set size= 4644696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 333230
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 167623
involuntary context switches= 37036


# summary of solver processes directly reported to runsolver:
#   pid: 1023805
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3597.25
#   total CPU system time (s): 2.89446

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.57205 second user time and 17.1603 second system time

The end