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: 63968 MiB (50520 MiB free)
memory of node 1: 64473 MiB (57092 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451311-1721428121/watcher-4451311-1721428121 -o /tmp/evaluation-result-4451311-1721428121/solver-4451311-1721428121 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721421037-1046942 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4451311-1721428121.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=1051786, runsolver pid=1051783
[startup+0.1033 s]*
/proc/loadavg: 4.44 4.40 4.31 5/331 1051804
/proc/meminfo: memFree=110153824/131524600 swapFree=131071216/131071996
[pid=1051786] ppid=1051783 vsize=18975048 memory=63372 CPUtime=0.13 cores=1,3
/proc/1051786/stat : 1051786 (java) S 1051783 1051786 1046930 0 -1 1077936128 7200 0 0 0 11 2 0 0 20 0 18 0 194974465 19430449152 15843 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
/proc/1051786/statm: 4743762 15843 5736 1 0 549317 0
[pid=1051786/tid=1051788] ppid=1051783 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/1051786/task/1051788/stat : 1051788 (java) R 1051783 1051786 1046930 0 -1 1077936192 5742 0 0 0 7 1 0 0 20 0 18 0 194974466 19430449152 15843 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051797] ppid=1051783 vsize=18975048 memory=228556276070 CPUtime=0 cores=1,3
/proc/1051786/task/1051797/stat : 1051797 (Finalizer) S 1051783 1051786 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 194974468 19430449152 15843 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051804] ppid=1051783 vsize=18975048 memory=15819997462990744 CPUtime=0 cores=1,3
/proc/1051786/task/1051804/stat : 1051804 (Common-Cleaner) S 1051783 1051786 1046930 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 194974469 19430449152 15843 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63372 KiB
[startup+0.211081 s]*
/proc/loadavg: 4.44 4.40 4.31 7/332 1051805
/proc/meminfo: memFree=110146880/131524600 swapFree=131071216/131071996
[pid=1051786] ppid=1051783 vsize=19041612 memory=70200 CPUtime=0.34 cores=1,3
/proc/1051786/stat : 1051786 (java) S 1051783 1051786 1046930 0 -1 1077936128 7892 0 0 0 32 2 0 0 20 0 19 0 194974465 19498610688 17550 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
/proc/1051786/statm: 4760403 17550 5820 1 0 550043 0
[pid=1051786/tid=1051788] ppid=1051783 vsize=19041612 memory=6876556183782621315 CPUtime=0.18 cores=1,3
/proc/1051786/task/1051788/stat : 1051788 (java) R 1051783 1051786 1046930 0 -1 4194368 6109 0 0 0 17 1 0 0 20 0 19 0 194974466 19498610688 17550 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051797] ppid=1051783 vsize=19041612 memory=1905144 CPUtime=0 cores=1,3
/proc/1051786/task/1051797/stat : 1051797 (Finalizer) S 1051783 1051786 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194974468 19498610688 17550 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051804] ppid=1051783 vsize=19041612 memory=15538522484377282 CPUtime=0 cores=1,3
/proc/1051786/task/1051804/stat : 1051804 (Common-Cleaner) S 1051783 1051786 1046930 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194974469 19498610688 17550 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051805] ppid=1051783 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1051786/task/1051805/stat : 1051805 (Timer-0) S 1051783 1051786 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194974484 19498610688 17550 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 70200 KiB
[startup+0.312078 s]*
/proc/loadavg: 4.64 4.44 4.33 7/332 1051805
/proc/meminfo: memFree=110121800/131524600 swapFree=131071216/131071996
[pid=1051786] ppid=1051783 vsize=19041612 memory=97108 CPUtime=0.52 cores=1,3
/proc/1051786/stat : 1051786 (java) S 1051783 1051786 1046930 0 -1 1077936128 10202 0 0 0 50 2 0 0 20 0 19 0 194974465 19498610688 24277 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
/proc/1051786/statm: 4760403 24277 5852 1 0 551131 0
[pid=1051786/tid=1051788] ppid=1051783 vsize=19041612 memory=-7739820217149317984 CPUtime=0.26 cores=1,3
/proc/1051786/task/1051788/stat : 1051788 (java) R 1051783 1051786 1046930 0 -1 4194368 6128 0 0 0 25 1 0 0 20 0 19 0 194974466 19498610688 24277 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051797] ppid=1051783 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1051786/task/1051797/stat : 1051797 (Finalizer) S 1051783 1051786 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194974468 19498610688 24277 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051804] ppid=1051783 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1051786/task/1051804/stat : 1051804 (Common-Cleaner) S 1051783 1051786 1046930 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194974469 19498610688 24277 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051805] ppid=1051783 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1051786/task/1051805/stat : 1051805 (Timer-0) S 1051783 1051786 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194974484 19498610688 24277 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 97108 KiB
[startup+0.70708 s]
/proc/loadavg: 4.64 4.44 4.33 8/333 1051806
/proc/meminfo: memFree=110047948/131524600 swapFree=131071216/131071996
[pid=1051786] ppid=1051783 vsize=19108176 memory=186392 CPUtime=1.28 cores=1,3
/proc/1051786/stat : 1051786 (java) S 1051783 1051786 1046930 0 -1 1077936128 17369 0 0 0 122 6 0 0 20 0 20 0 194974465 19566772224 46598 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
/proc/1051786/statm: 4777044 46598 5852 1 0 556696 0
[pid=1051786/tid=1051788] ppid=1051783 vsize=19108176 memory=50416 CPUtime=0.62 cores=1,3
/proc/1051786/task/1051788/stat : 1051788 (java) R 1051783 1051786 1046930 0 -1 4194368 6174 0 0 0 59 3 0 0 20 0 20 0 194974466 19566772224 46598 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051797] ppid=1051783 vsize=19108176 memory=13124 CPUtime=0 cores=1,3
/proc/1051786/task/1051797/stat : 1051797 (Finalizer) S 1051783 1051786 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194974468 19566772224 46598 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051804] ppid=1051783 vsize=19108176 memory=2328 CPUtime=0 cores=1,3
/proc/1051786/task/1051804/stat : 1051804 (Common-Cleaner) S 1051783 1051786 1046930 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194974469 19566772224 46598 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051805] ppid=1051783 vsize=19108176 memory=100 CPUtime=0 cores=1,3
/proc/1051786/task/1051805/stat : 1051805 (Timer-0) S 1051783 1051786 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194974484 19566772224 46598 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 186392 KiB
[startup+1.50109 s]
/proc/loadavg: 4.64 4.44 4.33 6/333 1051806
/proc/meminfo: memFree=109974132/131524600 swapFree=131071216/131071996
[pid=1051786] ppid=1051783 vsize=19108176 memory=418876 CPUtime=2.85 cores=1,3
/proc/1051786/stat : 1051786 (java) S 1051783 1051786 1046930 0 -1 1077936128 24993 0 0 0 271 14 0 0 20 0 20 0 194974465 19566772224 104719 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
/proc/1051786/statm: 4777044 104719 5868 1 0 558667 0
[pid=1051786/tid=1051788] ppid=1051783 vsize=19108176 memory=13124 CPUtime=1.39 cores=1,3
/proc/1051786/task/1051788/stat : 1051788 (java) R 1051783 1051786 1046930 0 -1 4194368 6368 0 0 0 129 10 0 0 20 0 20 0 194974466 19566772224 104719 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051797] ppid=1051783 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1051786/task/1051797/stat : 1051797 (Finalizer) S 1051783 1051786 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194974468 19566772224 104719 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051804] ppid=1051783 vsize=19108176 memory=2328 CPUtime=0 cores=1,3
/proc/1051786/task/1051804/stat : 1051804 (Common-Cleaner) S 1051783 1051786 1046930 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194974469 19566772224 104719 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051805] ppid=1051783 vsize=19108176 memory=100 CPUtime=0 cores=1,3
/proc/1051786/task/1051805/stat : 1051805 (Timer-0) S 1051783 1051786 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194974484 19566772224 104719 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 418876 KiB
[startup+3.1058 s]
/proc/loadavg: 4.64 4.44 4.33 6/333 1051806
/proc/meminfo: memFree=109178804/131524600 swapFree=131071216/131071996
[pid=1051786] ppid=1051783 vsize=19108176 memory=1036324 CPUtime=5.58 cores=1,3
/proc/1051786/stat : 1051786 (java) S 1051783 1051786 1046930 0 -1 1077936128 29646 0 0 0 531 27 0 0 20 0 20 0 194974465 19566772224 259081 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
/proc/1051786/statm: 4777044 259081 5868 1 0 558731 0
[pid=1051786/tid=1051788] ppid=1051783 vsize=19108176 memory=0 CPUtime=2.94 cores=1,3
/proc/1051786/task/1051788/stat : 1051788 (java) R 1051783 1051786 1046930 0 -1 4194368 7649 0 0 0 272 22 0 0 20 0 20 0 194974466 19566772224 259081 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051797] ppid=1051783 vsize=19108176 memory=-7739820217149317984 CPUtime=0 cores=1,3
/proc/1051786/task/1051797/stat : 1051797 (Finalizer) S 1051783 1051786 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194974468 19566772224 259081 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051804] ppid=1051783 vsize=19108176 memory=13124 CPUtime=0 cores=1,3
/proc/1051786/task/1051804/stat : 1051804 (Common-Cleaner) S 1051783 1051786 1046930 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 194974469 19566772224 259081 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051805] ppid=1051783 vsize=19108176 memory=2328 CPUtime=0 cores=1,3
/proc/1051786/task/1051805/stat : 1051805 (Timer-0) S 1051783 1051786 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194974484 19566772224 259081 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
Current children cumulated CPU time: 5.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1036324 KiB
[startup+6.30027 s]
/proc/loadavg: 4.59 4.43 4.33 5/333 1051808
/proc/meminfo: memFree=108870748/131524600 swapFree=131071216/131071996
[pid=1051786] ppid=1051783 vsize=19108176 memory=1343820 CPUtime=9.38 cores=1,3
/proc/1051786/stat : 1051786 (java) S 1051783 1051786 1046930 0 -1 1077936128 30794 0 0 0 904 34 0 0 20 0 20 0 194974465 19566772224 335955 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
/proc/1051786/statm: 4777044 335955 5868 1 0 558735 0
[pid=1051786/tid=1051788] ppid=1051783 vsize=19108176 memory=2328 CPUtime=6.07 cores=1,3
/proc/1051786/task/1051788/stat : 1051788 (java) R 1051783 1051786 1046930 0 -1 4194368 8135 0 0 0 579 28 0 0 20 0 20 0 194974466 19566772224 335955 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051797] ppid=1051783 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1051786/task/1051797/stat : 1051797 (Finalizer) S 1051783 1051786 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194974468 19566772224 335955 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051804] ppid=1051783 vsize=19108176 memory=13124 CPUtime=0 cores=1,3
/proc/1051786/task/1051804/stat : 1051804 (Common-Cleaner) S 1051783 1051786 1046930 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 194974469 19566772224 335955 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051805] ppid=1051783 vsize=19108176 memory=-2832536777585008440 CPUtime=0 cores=1,3
/proc/1051786/task/1051805/stat : 1051805 (Timer-0) S 1051783 1051786 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194974484 19566772224 335955 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
Current children cumulated CPU time: 9.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1343820 KiB
[startup+12.7003 s]
/proc/loadavg: 4.71 4.46 4.33 5/333 1051808
/proc/meminfo: memFree=108460792/131524600 swapFree=131071216/131071996
[pid=1051786] ppid=1051783 vsize=19108176 memory=1752680 CPUtime=15.88 cores=1,3
/proc/1051786/stat : 1051786 (java) S 1051783 1051786 1046930 0 -1 1077936128 32058 0 0 0 1546 42 0 0 20 0 20 0 194974465 19566772224 438170 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
/proc/1051786/statm: 4777044 438170 5868 1 0 665261 0
[pid=1051786/tid=1051788] ppid=1051783 vsize=19108176 memory=13124 CPUtime=12.36 cores=1,3
/proc/1051786/task/1051788/stat : 1051788 (java) R 1051783 1051786 1046930 0 -1 4194368 8971 0 0 0 1199 37 0 0 20 0 20 0 194974466 19566772224 438170 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051797] ppid=1051783 vsize=19108176 memory=1762548 CPUtime=0 cores=1,3
/proc/1051786/task/1051797/stat : 1051797 (Finalizer) S 1051783 1051786 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194974468 19566772224 438170 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051804] ppid=1051783 vsize=19108176 memory=50416 CPUtime=0 cores=1,3
/proc/1051786/task/1051804/stat : 1051804 (Common-Cleaner) S 1051783 1051786 1046930 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 194974469 19566772224 438170 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051805] ppid=1051783 vsize=19108176 memory=13124 CPUtime=0 cores=1,3
/proc/1051786/task/1051805/stat : 1051805 (Timer-0) S 1051783 1051786 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194974484 19566772224 438170 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
Current children cumulated CPU time: 15.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1752680 KiB
[startup+25.5003 s]
/proc/loadavg: 4.60 4.44 4.33 5/333 1051809
/proc/meminfo: memFree=108461080/131524600 swapFree=131071216/131071996
[pid=1051786] ppid=1051783 vsize=19108176 memory=1754456 CPUtime=29.57 cores=1,3
/proc/1051786/stat : 1051786 (java) S 1051783 1051786 1046930 0 -1 1077936128 44621 0 0 0 2913 44 0 0 20 0 20 0 194974465 19566772224 438614 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
/proc/1051786/statm: 4777044 438614 5868 1 0 665261 0
[pid=1051786/tid=1051788] ppid=1051783 vsize=19108176 memory=6944656574621848725 CPUtime=24.89 cores=1,3
/proc/1051786/task/1051788/stat : 1051788 (java) R 1051783 1051786 1046930 0 -1 4194368 12505 0 0 0 2452 37 0 0 20 0 20 0 194974466 19566772224 438614 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051797] ppid=1051783 vsize=19108176 memory=14364 CPUtime=0 cores=1,3
/proc/1051786/task/1051797/stat : 1051797 (Finalizer) S 1051783 1051786 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194974468 19566772224 438614 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051804] ppid=1051783 vsize=19108176 memory=3458 CPUtime=0 cores=1,3
/proc/1051786/task/1051804/stat : 1051804 (Common-Cleaner) S 1051783 1051786 1046930 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 194974469 19566772224 438614 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051805] ppid=1051783 vsize=19108176 memory=13124 CPUtime=0 cores=1,3
/proc/1051786/task/1051805/stat : 1051805 (Timer-0) S 1051783 1051786 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194974484 19566772224 438614 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
Current children cumulated CPU time: 29.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1754456 KiB
[startup+51.1111 s]
/proc/loadavg: 4.36 4.40 4.32 5/333 1051814
/proc/meminfo: memFree=107948584/131524600 swapFree=131071216/131071996
[pid=1051786] ppid=1051783 vsize=19108176 memory=2263880 CPUtime=55.34 cores=1,3
/proc/1051786/stat : 1051786 (java) S 1051783 1051786 1046930 0 -1 1077936128 52329 0 0 0 5479 55 0 0 20 0 20 0 194974465 19566772224 565970 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
/proc/1051786/statm: 4777044 565970 5876 1 0 792687 0
################
# More data... #
################
/proc/meminfo: memFree=108708672/131524600 swapFree=131071216/131071996
[pid=1051786] ppid=1051783 vsize=19108176 memory=5120944 CPUtime=3214.33 cores=1,3
/proc/1051786/stat : 1051786 (java) S 1051783 1051786 1046930 0 -1 1077936128 372764 0 0 0 321155 278 0 0 20 0 20 0 194974465 19566772224 1280236 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
/proc/1051786/statm: 4777044 1280236 5923 1 0 1295427 0
[pid=1051786/tid=1051788] ppid=1051783 vsize=19108176 memory=5120836 CPUtime=3082.83 cores=1,3
/proc/1051786/task/1051788/stat : 1051788 (java) R 1051783 1051786 1046930 0 -1 4194368 201709 0 0 0 308167 116 0 0 20 0 20 0 194974466 19566772224 1280236 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 32 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051797] ppid=1051783 vsize=19108176 memory=5120912 CPUtime=0 cores=1,3
/proc/1051786/task/1051797/stat : 1051797 (Finalizer) S 1051783 1051786 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194974468 19566772224 1280236 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051804] ppid=1051783 vsize=19108176 memory=29676 CPUtime=0 cores=1,3
/proc/1051786/task/1051804/stat : 1051804 (Common-Cleaner) S 1051783 1051786 1046930 0 -1 1077936192 3192 0 0 0 0 0 0 0 20 0 20 0 194974469 19566772224 1280236 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051805] ppid=1051783 vsize=19108176 memory=5120944 CPUtime=0 cores=1,3
/proc/1051786/task/1051805/stat : 1051805 (Timer-0) S 1051783 1051786 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194974484 19566772224 1280236 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
Current children cumulated CPU time: 3214.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5120944 KiB
[startup+3222.3 s]
/proc/loadavg: 4.38 4.33 4.28 6/333 1053358
/proc/meminfo: memFree=108564728/131524600 swapFree=131071216/131071996
[pid=1051786] ppid=1051783 vsize=19108176 memory=5122448 CPUtime=3275.6 cores=1,3
/proc/1051786/stat : 1051786 (java) S 1051783 1051786 1046930 0 -1 1077936128 378852 0 0 0 327279 281 0 0 20 0 20 0 194974465 19566772224 1280612 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
/proc/1051786/statm: 4777044 1280612 5923 1 0 1295431 0
[pid=1051786/tid=1051788] ppid=1051783 vsize=19108176 memory=5120836 CPUtime=3141.48 cores=1,3
/proc/1051786/task/1051788/stat : 1051788 (java) R 1051783 1051786 1046930 0 -1 4194368 205666 0 0 0 314031 117 0 0 20 0 20 0 194974466 19566772224 1280612 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 32 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051797] ppid=1051783 vsize=19108176 memory=5120912 CPUtime=0 cores=1,3
/proc/1051786/task/1051797/stat : 1051797 (Finalizer) S 1051783 1051786 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194974468 19566772224 1280612 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051804] ppid=1051783 vsize=19108176 memory=13124 CPUtime=0 cores=1,3
/proc/1051786/task/1051804/stat : 1051804 (Common-Cleaner) S 1051783 1051786 1046930 0 -1 1077936192 3278 0 0 0 0 0 0 0 20 0 20 0 194974469 19566772224 1280612 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051805] ppid=1051783 vsize=19108176 memory=5120976 CPUtime=0 cores=1,3
/proc/1051786/task/1051805/stat : 1051805 (Timer-0) S 1051783 1051786 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194974484 19566772224 1280612 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
Current children cumulated CPU time: 3275.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5122448 KiB
[startup+3282.3 s]
/proc/loadavg: 4.38 4.34 4.28 6/333 1053368
/proc/meminfo: memFree=108437852/131524600 swapFree=131071216/131071996
[pid=1051786] ppid=1051783 vsize=19108176 memory=5123528 CPUtime=3336.7 cores=1,3
/proc/1051786/stat : 1051786 (java) S 1051783 1051786 1046930 0 -1 1077936128 384200 0 0 0 333385 285 0 0 20 0 20 0 194974465 19566772224 1280882 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
/proc/1051786/statm: 4777044 1280882 5923 1 0 1295431 0
[pid=1051786/tid=1051788] ppid=1051783 vsize=19108176 memory=5123528 CPUtime=3200.24 cores=1,3
/proc/1051786/task/1051788/stat : 1051788 (java) R 1051783 1051786 1046930 0 -1 4194368 208617 0 0 0 319906 118 0 0 20 0 20 0 194974466 19566772224 1280882 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 32 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051797] ppid=1051783 vsize=19108176 memory=50416 CPUtime=0 cores=1,3
/proc/1051786/task/1051797/stat : 1051797 (Finalizer) S 1051783 1051786 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194974468 19566772224 1280882 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051804] ppid=1051783 vsize=19108176 memory=5122448 CPUtime=0 cores=1,3
/proc/1051786/task/1051804/stat : 1051804 (Common-Cleaner) S 1051783 1051786 1046930 0 -1 1077936192 3327 0 0 0 0 0 0 0 20 0 20 0 194974469 19566772224 1280882 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051805] ppid=1051783 vsize=19108176 memory=5122448 CPUtime=0 cores=1,3
/proc/1051786/task/1051805/stat : 1051805 (Timer-0) S 1051783 1051786 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194974484 19566772224 1280882 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
Current children cumulated CPU time: 3336.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5123528 KiB
[startup+3342.3 s]
/proc/loadavg: 4.27 4.31 4.27 6/333 1053381
/proc/meminfo: memFree=108412328/131524600 swapFree=131071216/131071996
[pid=1051786] ppid=1051783 vsize=19108176 memory=5123812 CPUtime=3397.51 cores=1,3
/proc/1051786/stat : 1051786 (java) S 1051783 1051786 1046930 0 -1 1077936128 388387 0 0 0 339462 289 0 0 20 0 20 0 194974465 19566772224 1280953 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
/proc/1051786/statm: 4777044 1280953 5923 1 0 1295546 0
[pid=1051786/tid=1051788] ppid=1051783 vsize=19108176 memory=5123768 CPUtime=3258.63 cores=1,3
/proc/1051786/task/1051788/stat : 1051788 (java) R 1051783 1051786 1046930 0 -1 4194368 211344 0 0 0 325745 118 0 0 20 0 20 0 194974466 19566772224 1280953 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 35 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051797] ppid=1051783 vsize=19108176 memory=-7739820217149317984 CPUtime=0 cores=1,3
/proc/1051786/task/1051797/stat : 1051797 (Finalizer) S 1051783 1051786 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194974468 19566772224 1280953 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051804] ppid=1051783 vsize=19108176 memory=14364 CPUtime=0 cores=1,3
/proc/1051786/task/1051804/stat : 1051804 (Common-Cleaner) S 1051783 1051786 1046930 0 -1 1077936192 3408 0 0 0 0 0 0 0 20 0 20 0 194974469 19566772224 1280953 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051805] ppid=1051783 vsize=19108176 memory=2328 CPUtime=0 cores=1,3
/proc/1051786/task/1051805/stat : 1051805 (Timer-0) S 1051783 1051786 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194974484 19566772224 1280953 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
Current children cumulated CPU time: 3397.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5123812 KiB
[startup+3402.3 s]
/proc/loadavg: 4.25 4.30 4.27 6/333 1053774
/proc/meminfo: memFree=108341992/131524600 swapFree=131071216/131071996
[pid=1051786] ppid=1051783 vsize=19108176 memory=5124024 CPUtime=3458.78 cores=1,3
/proc/1051786/stat : 1051786 (java) S 1051783 1051786 1046930 0 -1 1077936128 392337 0 0 0 345586 292 0 0 20 0 20 0 194974465 19566772224 1281006 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
/proc/1051786/statm: 4777044 1281006 5923 1 0 1295557 0
[pid=1051786/tid=1051788] ppid=1051783 vsize=19108176 memory=5123812 CPUtime=3317.41 cores=1,3
/proc/1051786/task/1051788/stat : 1051788 (java) R 1051783 1051786 1046930 0 -1 4194368 214227 0 0 0 331622 119 0 0 20 0 20 0 194974466 19566772224 1281006 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 35 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051797] ppid=1051783 vsize=19108176 memory=14364 CPUtime=0 cores=1,3
/proc/1051786/task/1051797/stat : 1051797 (Finalizer) S 1051783 1051786 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194974468 19566772224 1281006 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051804] ppid=1051783 vsize=19108176 memory=13124 CPUtime=0 cores=1,3
/proc/1051786/task/1051804/stat : 1051804 (Common-Cleaner) S 1051783 1051786 1046930 0 -1 1077936192 3489 0 0 0 0 0 0 0 20 0 20 0 194974469 19566772224 1281006 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051805] ppid=1051783 vsize=19108176 memory=5124024 CPUtime=0 cores=1,3
/proc/1051786/task/1051805/stat : 1051805 (Timer-0) S 1051783 1051786 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194974484 19566772224 1281006 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
Current children cumulated CPU time: 3458.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5124024 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.27 4.26 6/333 1053784
/proc/meminfo: memFree=108325720/131524600 swapFree=131071216/131071996
[pid=1051786] ppid=1051783 vsize=19108176 memory=5124024 CPUtime=3519.67 cores=1,3
/proc/1051786/stat : 1051786 (java) S 1051783 1051786 1046930 0 -1 1077936128 396092 0 0 0 351673 294 0 0 20 0 20 0 194974465 19566772224 1281006 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
/proc/1051786/statm: 4777044 1281006 5923 1 0 1295557 0
[pid=1051786/tid=1051788] ppid=1051783 vsize=19108176 memory=2328 CPUtime=3375.87 cores=1,3
/proc/1051786/task/1051788/stat : 1051788 (java) R 1051783 1051786 1046930 0 -1 4194368 216566 0 0 0 337468 119 0 0 20 0 20 0 194974466 19566772224 1281006 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 35 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051797] ppid=1051783 vsize=19108176 memory=5124024 CPUtime=0 cores=1,3
/proc/1051786/task/1051797/stat : 1051797 (Finalizer) S 1051783 1051786 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194974468 19566772224 1281006 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051804] ppid=1051783 vsize=19108176 memory=5124024 CPUtime=0 cores=1,3
/proc/1051786/task/1051804/stat : 1051804 (Common-Cleaner) S 1051783 1051786 1046930 0 -1 1077936192 3564 0 0 0 0 0 0 0 20 0 20 0 194974469 19566772224 1281006 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051805] ppid=1051783 vsize=19108176 memory=5628 CPUtime=0 cores=1,3
/proc/1051786/task/1051805/stat : 1051805 (Timer-0) S 1051783 1051786 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194974484 19566772224 1281006 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
Current children cumulated CPU time: 3519.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5124024 KiB
[startup+3522.3 s]
/proc/loadavg: 4.23 4.27 4.26 8/332 1053795
/proc/meminfo: memFree=108300096/131524600 swapFree=131071216/131071996
[pid=1051786] ppid=1051783 vsize=19108176 memory=5124028 CPUtime=3580.79 cores=1,3
/proc/1051786/stat : 1051786 (java) S 1051783 1051786 1046930 0 -1 1077936128 399898 0 0 0 357782 297 0 0 20 0 20 0 194974465 19566772224 1281007 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
/proc/1051786/statm: 4777044 1281007 5923 1 0 1295557 0
[pid=1051786/tid=1051788] ppid=1051783 vsize=19108176 memory=5124024 CPUtime=3434.52 cores=1,3
/proc/1051786/task/1051788/stat : 1051788 (java) R 1051783 1051786 1046930 0 -1 4194368 219246 0 0 0 343333 119 0 0 20 0 20 0 194974466 19566772224 1281007 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 37 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051797] ppid=1051783 vsize=19108176 memory=5124024 CPUtime=0 cores=1,3
/proc/1051786/task/1051797/stat : 1051797 (Finalizer) S 1051783 1051786 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194974468 19566772224 1281007 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051804] ppid=1051783 vsize=19108176 memory=5124024 CPUtime=0 cores=1,3
/proc/1051786/task/1051804/stat : 1051804 (Common-Cleaner) S 1051783 1051786 1046930 0 -1 1077936192 3645 0 0 0 0 0 0 0 20 0 20 0 194974469 19566772224 1281007 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051805] ppid=1051783 vsize=19108176 memory=5124028 CPUtime=0 cores=1,3
/proc/1051786/task/1051805/stat : 1051805 (Timer-0) S 1051783 1051786 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194974484 19566772224 1281007 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
Current children cumulated CPU time: 3580.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5124028 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3541.2 s]
/proc/loadavg: 4.16 4.25 4.26 7/332 1053799
/proc/meminfo: memFree=108283100/131524600 swapFree=131071216/131071996
[pid=1051786] ppid=1051783 vsize=19108176 memory=5124028 CPUtime=3600 cores=1,3
/proc/1051786/stat : 1051786 (java) S 1051783 1051786 1046930 0 -1 1077936128 400335 0 0 0 359702 298 0 0 20 0 20 0 194974465 19566772224 1281007 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
/proc/1051786/statm: 4777044 1281007 5923 1 0 1295557 0
[pid=1051786/tid=1051788] ppid=1051783 vsize=19108176 memory=7196 CPUtime=3452.87 cores=1,3
/proc/1051786/task/1051788/stat : 1051788 (java) R 1051783 1051786 1046930 0 -1 4194368 219596 0 0 0 345168 119 0 0 20 0 20 0 194974466 19566772224 1281007 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 37 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051797] ppid=1051783 vsize=19108176 memory=29976 CPUtime=0 cores=1,3
/proc/1051786/task/1051797/stat : 1051797 (Finalizer) S 1051783 1051786 1046930 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194974468 19566772224 1281007 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051804] ppid=1051783 vsize=19108176 memory=20160 CPUtime=0 cores=1,3
/proc/1051786/task/1051804/stat : 1051804 (Common-Cleaner) S 1051783 1051786 1046930 0 -1 1077936192 3645 0 0 0 0 0 0 0 20 0 20 0 194974469 19566772224 1281007 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
[pid=1051786/tid=1051805] ppid=1051783 vsize=19108176 memory=33368 CPUtime=0 cores=1,3
/proc/1051786/task/1051805/stat : 1051805 (Timer-0) S 1051783 1051786 1046930 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194974484 19566772224 1281007 134679101440 94254839836672 94254839840368 140720448258448 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94254839848184 94254839848976 94254857998336 140720448267251 140720448267359 140720448267359 140720448274376 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5124028 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3541.3 s]
# the end of solver process 1051786 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.14 s, system=3.00691 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3541.3
CPU time (s): 3600.15
CPU user time (s): 3597.14
CPU system time (s): 3.00691
CPU usage (%): 101.662
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 5124028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.14
system time used= 3.00691
maximum resident set size= 5126136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 403002
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= 157696
involuntary context switches= 14834
# summary of solver processes directly reported to runsolver:
# pid: 1051786
# total CPU time (s): 3600.15
# total CPU user time (s): 3597.14
# total CPU system time (s): 3.00691
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.31818 second user time and 17.501 second system time
The end