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 (57154 MiB free)
memory of node 1: 64510 MiB (54330 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446881-1721349761/watcher-4446881-1721349761 -o /tmp/evaluation-result-4446881-1721349761/solver-4446881-1721349761 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721342580-1001658 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4446881-1721349761.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
Current StackSize limit: 8192 KiB
solver pid=1005988, runsolver pid=1005985
[startup+0.100948 s]*
/proc/loadavg: 4.66 4.49 4.31 5/331 1006006
/proc/meminfo: memFree=114118148/131524600 swapFree=131071996/131071996
[pid=1005988] ppid=1005985 vsize=18975048 memory=62972 CPUtime=0.13 cores=0,2
/proc/1005988/stat : 1005988 (java) S 1005985 1005988 1001648 0 -1 1077936128 7225 0 0 0 12 1 0 0 20 0 18 0 187145846 19430449152 15743 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
/proc/1005988/statm: 4743762 15743 5679 1 0 549322 0
[pid=1005988/tid=1005990] ppid=1005985 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/1005988/task/1005990/stat : 1005990 (java) R 1005985 1005988 1001648 0 -1 1077936192 5744 0 0 0 7 1 0 0 20 0 18 0 187145846 19430449152 15743 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1005999] ppid=1005985 vsize=18975048 memory=228556276070 CPUtime=0 cores=0,2
/proc/1005988/task/1005999/stat : 1005999 (Finalizer) S 1005985 1005988 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187145849 19430449152 15743 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1006006] ppid=1005985 vsize=18975048 memory=15817789847927870 CPUtime=0 cores=0,2
/proc/1005988/task/1006006/stat : 1006006 (Common-Cleaner) S 1005985 1005988 1001648 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 187145849 19430449152 15743 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62972 KiB
[startup+0.206532 s]*
/proc/loadavg: 4.66 4.49 4.31 7/331 1006006
/proc/meminfo: memFree=114095372/131524600 swapFree=131071996/131071996
[pid=1005988] ppid=1005985 vsize=18975048 memory=84432 CPUtime=0.33 cores=0,2
/proc/1005988/stat : 1005988 (java) S 1005985 1005988 1001648 0 -1 1077936128 7770 0 0 0 30 3 0 0 20 0 18 0 187145846 19430449152 21108 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
/proc/1005988/statm: 4743762 21108 5859 1 0 549681 0
[pid=1005988/tid=1005990] ppid=1005985 vsize=18975048 memory=6876556183782621315 CPUtime=0.17 cores=0,2
/proc/1005988/task/1005990/stat : 1005990 (java) R 1005985 1005988 1001648 0 -1 4194368 6021 0 0 0 15 2 0 0 20 0 18 0 187145846 19430449152 21108 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1005999] ppid=1005985 vsize=18975048 memory=17963 CPUtime=0 cores=0,2
/proc/1005988/task/1005999/stat : 1005999 (Finalizer) S 1005985 1005988 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187145849 19430449152 21108 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1006006] ppid=1005985 vsize=18975048 memory=14697378909259238 CPUtime=0 cores=0,2
/proc/1005988/task/1006006/stat : 1006006 (Common-Cleaner) S 1005985 1005988 1001648 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 187145849 19430449152 21108 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 84432 KiB
[startup+0.307362 s]*
/proc/loadavg: 4.66 4.49 4.31 5/332 1006007
/proc/meminfo: memFree=114012936/131524600 swapFree=131071996/131071996
[pid=1005988] ppid=1005985 vsize=19041612 memory=168668 CPUtime=0.52 cores=0,2
/proc/1005988/stat : 1005988 (java) S 1005985 1005988 1001648 0 -1 1077936128 9406 0 0 0 47 5 0 0 20 0 19 0 187145846 19498610688 42167 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
/proc/1005988/statm: 4760403 42167 5875 1 0 550949 0
[pid=1005988/tid=1005990] ppid=1005985 vsize=19041612 memory=-7452997215881028446 CPUtime=0.27 cores=0,2
/proc/1005988/task/1005990/stat : 1005990 (java) S 1005985 1005988 1001648 0 -1 1077936192 6061 0 0 0 23 4 0 0 20 0 19 0 187145846 19498610688 42167 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1005999] ppid=1005985 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1005988/task/1005999/stat : 1005999 (Finalizer) S 1005985 1005988 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187145849 19498610688 42167 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1006006] ppid=1005985 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1005988/task/1006006/stat : 1006006 (Common-Cleaner) S 1005985 1005988 1001648 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187145849 19498610688 42167 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 168668 KiB
[startup+0.700358 s]
/proc/loadavg: 4.66 4.49 4.31 5/332 1006007
/proc/meminfo: memFree=114012432/131524600 swapFree=131071996/131071996
[pid=1005988] ppid=1005985 vsize=19041612 memory=712740 CPUtime=1.15 cores=0,2
/proc/1005988/stat : 1005988 (java) S 1005985 1005988 1001648 0 -1 1077936128 11671 0 0 0 100 15 0 0 20 0 19 0 187145846 19498610688 178185 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
/proc/1005988/statm: 4760403 178185 5923 1 0 1038775 0
[pid=1005988/tid=1005990] ppid=1005985 vsize=19041612 memory=5492 CPUtime=0.62 cores=0,2
/proc/1005988/task/1005990/stat : 1005990 (java) R 1005985 1005988 1001648 0 -1 4194368 6328 0 0 0 48 14 0 0 20 0 19 0 187145846 19498610688 178185 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1005999] ppid=1005985 vsize=19041612 memory=12312 CPUtime=0 cores=0,2
/proc/1005988/task/1005999/stat : 1005999 (Finalizer) S 1005985 1005988 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187145849 19498610688 178185 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1006006] ppid=1005985 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1005988/task/1006006/stat : 1006006 (Common-Cleaner) S 1005985 1005988 1001648 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187145849 19498610688 178185 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 712740 KiB
[startup+1.50053 s]
/proc/loadavg: 4.69 4.50 4.32 6/332 1006007
/proc/meminfo: memFree=112434888/131524600 swapFree=131071996/131071996
[pid=1005988] ppid=1005985 vsize=19041612 memory=2483080 CPUtime=2.69 cores=0,2
/proc/1005988/stat : 1005988 (java) S 1005985 1005988 1001648 0 -1 1077936128 23065 0 0 0 218 51 0 0 20 0 19 0 187145846 19498610688 620770 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
/proc/1005988/statm: 4760403 620770 5923 1 0 1043689 0
[pid=1005988/tid=1005990] ppid=1005985 vsize=19041612 memory=12312 CPUtime=1.39 cores=0,2
/proc/1005988/task/1005990/stat : 1005990 (java) R 1005985 1005988 1001648 0 -1 4194368 7264 0 0 0 93 46 0 0 20 0 19 0 187145846 19498610688 620770 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1005999] ppid=1005985 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1005988/task/1005999/stat : 1005999 (Finalizer) S 1005985 1005988 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187145849 19498610688 620770 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1006006] ppid=1005985 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1005988/task/1006006/stat : 1006006 (Common-Cleaner) S 1005985 1005988 1001648 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187145849 19498610688 620770 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2483080 KiB
[startup+3.11164 s]
/proc/loadavg: 4.69 4.50 4.32 6/333 1006010
/proc/meminfo: memFree=111691364/131524600 swapFree=131071996/131071996
[pid=1005988] ppid=1005985 vsize=19108176 memory=2485996 CPUtime=5.88 cores=0,2
/proc/1005988/stat : 1005988 (java) S 1005985 1005988 1001648 0 -1 1077936128 23948 0 0 0 536 52 0 0 20 0 20 0 187145846 19566772224 621499 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
/proc/1005988/statm: 4777044 621499 5923 1 0 1044134 0
[pid=1005988/tid=1005990] ppid=1005985 vsize=19108176 memory=198340509722 CPUtime=2.95 cores=0,2
/proc/1005988/task/1005990/stat : 1005990 (java) R 1005985 1005988 1001648 0 -1 4194368 7481 0 0 0 249 46 0 0 20 0 20 0 187145846 19566772224 621499 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1005999] ppid=1005985 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1005988/task/1005999/stat : 1005999 (Finalizer) S 1005985 1005988 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187145849 19566772224 621499 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1006006] ppid=1005985 vsize=19108176 memory=12312 CPUtime=0 cores=0,2
/proc/1005988/task/1006006/stat : 1006006 (Common-Cleaner) S 1005985 1005988 1001648 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 187145849 19566772224 621499 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1006008] ppid=1005985 vsize=19108176 memory=2484324 CPUtime=0 cores=0,2
/proc/1005988/task/1006008/stat : 1006008 (Timer-0) S 1005985 1005988 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187146008 19566772224 621499 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
Current children cumulated CPU time: 5.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2485996 KiB
[startup+6.30025 s]
/proc/loadavg: 4.63 4.49 4.32 5/333 1006010
/proc/meminfo: memFree=111689196/131524600 swapFree=131071996/131071996
[pid=1005988] ppid=1005985 vsize=19108176 memory=2487736 CPUtime=11.36 cores=0,2
/proc/1005988/stat : 1005988 (java) S 1005985 1005988 1001648 0 -1 1077936128 24886 0 0 0 1084 52 0 0 20 0 20 0 187145846 19566772224 621934 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
/proc/1005988/statm: 4777044 621934 5939 1 0 1044242 0
[pid=1005988/tid=1005990] ppid=1005985 vsize=19108176 memory=0 CPUtime=6.1 cores=0,2
/proc/1005988/task/1005990/stat : 1005990 (java) R 1005985 1005988 1001648 0 -1 4194368 8011 0 0 0 564 46 0 0 20 0 20 0 187145846 19566772224 621934 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1005999] ppid=1005985 vsize=19108176 memory=12312 CPUtime=0 cores=0,2
/proc/1005988/task/1005999/stat : 1005999 (Finalizer) S 1005985 1005988 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187145849 19566772224 621934 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1006006] ppid=1005985 vsize=19108176 memory=2485212 CPUtime=0 cores=0,2
/proc/1005988/task/1006006/stat : 1006006 (Common-Cleaner) S 1005985 1005988 1001648 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 187145849 19566772224 621934 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1006008] ppid=1005985 vsize=19108176 memory=2487476 CPUtime=0 cores=0,2
/proc/1005988/task/1006008/stat : 1006008 (Timer-0) S 1005985 1005988 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187146008 19566772224 621934 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
Current children cumulated CPU time: 11.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2487736 KiB
[startup+12.7002 s]
/proc/loadavg: 4.66 4.50 4.32 5/333 1006011
/proc/meminfo: memFree=111678608/131524600 swapFree=131071996/131071996
[pid=1005988] ppid=1005985 vsize=19108176 memory=2498236 CPUtime=18 cores=0,2
/proc/1005988/stat : 1005988 (java) S 1005985 1005988 1001648 0 -1 1077936128 29025 0 0 0 1747 53 0 0 20 0 20 0 187145846 19566772224 624559 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
/proc/1005988/statm: 4777044 624559 5939 1 0 1044244 0
[pid=1005988/tid=1005990] ppid=1005985 vsize=19108176 memory=2498180 CPUtime=12.46 cores=0,2
/proc/1005988/task/1005990/stat : 1005990 (java) R 1005985 1005988 1001648 0 -1 4194368 9062 0 0 0 1199 47 0 0 20 0 20 0 187145846 19566772224 624559 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1005999] ppid=1005985 vsize=19108176 memory=12340 CPUtime=0 cores=0,2
/proc/1005988/task/1005999/stat : 1005999 (Finalizer) S 1005985 1005988 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187145849 19566772224 624559 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1006006] ppid=1005985 vsize=19108176 memory=4641350100799023464 CPUtime=0 cores=0,2
/proc/1005988/task/1006006/stat : 1006006 (Common-Cleaner) S 1005985 1005988 1001648 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 187145849 19566772224 624559 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1006008] ppid=1005985 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1005988/task/1006008/stat : 1006008 (Timer-0) S 1005985 1005988 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187146008 19566772224 624559 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
Current children cumulated CPU time: 18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2498236 KiB
[startup+25.5003 s]
/proc/loadavg: 4.56 4.48 4.32 5/333 1006013
/proc/meminfo: memFree=111677744/131524600 swapFree=131071996/131071996
[pid=1005988] ppid=1005985 vsize=19108176 memory=2498520 CPUtime=31.24 cores=0,2
/proc/1005988/stat : 1005988 (java) S 1005985 1005988 1001648 0 -1 1077936128 32296 0 0 0 3070 54 0 0 20 0 20 0 187145846 19566772224 624630 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
/proc/1005988/statm: 4777044 624630 5939 1 0 1044260 0
[pid=1005988/tid=1005990] ppid=1005985 vsize=19108176 memory=4641350100799023464 CPUtime=25.21 cores=0,2
/proc/1005988/task/1005990/stat : 1005990 (java) R 1005985 1005988 1001648 0 -1 4194368 10178 0 0 0 2474 47 0 0 20 0 20 0 187145846 19566772224 624630 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1005999] ppid=1005985 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1005988/task/1005999/stat : 1005999 (Finalizer) S 1005985 1005988 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187145849 19566772224 624630 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1006006] ppid=1005985 vsize=19108176 memory=32284 CPUtime=0 cores=0,2
/proc/1005988/task/1006006/stat : 1006006 (Common-Cleaner) S 1005985 1005988 1001648 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 187145849 19566772224 624630 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1006008] ppid=1005985 vsize=19108176 memory=-7452997215881028446 CPUtime=0 cores=0,2
/proc/1005988/task/1006008/stat : 1006008 (Timer-0) S 1005985 1005988 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187146008 19566772224 624630 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
Current children cumulated CPU time: 31.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2498520 KiB
[startup+51.1057 s]
/proc/loadavg: 4.34 4.44 4.30 5/333 1006016
/proc/meminfo: memFree=111596752/131524600 swapFree=131071996/131071996
[pid=1005988] ppid=1005985 vsize=19108176 memory=2579004 CPUtime=57.12 cores=0,2
/proc/1005988/stat : 1005988 (java) S 1005985 1005988 1001648 0 -1 1077936128 40158 0 0 0 5655 57 0 0 20 0 20 0 187145846 19566772224 644751 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
/proc/1005988/statm: 4777044 644751 5939 1 0 1044293 0
[pid=1005988/tid=1005990] ppid=1005985 vsize=19108176 memory=2578992 CPUtime=50.56 cores=0,2
/proc/1005988/task/1005990/stat : 1005990 (java) R 1005985 1005988 1001648 0 -1 4194368 11724 0 0 0 5009 47 0 0 20 0 20 0 187145846 19566772224 644751 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1005999] ppid=1005985 vsize=19108176 memory=12340 CPUtime=0 cores=0,2
/proc/1005988/task/1005999/stat : 1005999 (Finalizer) S 1005985 1005988 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187145849 19566772224 644751 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1006006] ppid=1005985 vsize=19108176 memory=12340 CPUtime=0 cores=0,2
/proc/1005988/task/1006006/stat : 1006006 (Common-Cleaner) S 1005985 1005988 1001648 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 187145849 19566772224 644751 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1006008] ppid=1005985 vsize=19108176 memory=12340 CPUtime=0 cores=0,2
/proc/1005988/task/1006008/stat : 1006008 (Timer-0) S 1005985 1005988 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187146008 19566772224 644751 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
################
# More data... #
################
/proc/1005988/task/1005999/stat : 1005999 (Finalizer) S 1005985 1005988 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187145849 19566772224 1159223 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1006006] ppid=1005985 vsize=19108176 memory=4636888 CPUtime=0 cores=0,2
/proc/1005988/task/1006006/stat : 1006006 (Common-Cleaner) S 1005985 1005988 1001648 0 -1 1077936192 4610 0 0 0 0 0 0 0 20 0 20 0 187145849 19566772224 1159223 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1006008] ppid=1005985 vsize=19108176 memory=4636892 CPUtime=0 cores=0,2
/proc/1005988/task/1006008/stat : 1006008 (Timer-0) S 1005985 1005988 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187146008 19566772224 1159223 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
Current children cumulated CPU time: 3231.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4636892 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.17 4.18 5/331 1007783
/proc/meminfo: memFree=100820144/131524600 swapFree=131071996/131071996
[pid=1005988] ppid=1005985 vsize=19108176 memory=4636892 CPUtime=3291.03 cores=0,2
/proc/1005988/stat : 1005988 (java) S 1005985 1005988 1001648 0 -1 1077936128 346441 0 0 0 328875 228 0 0 20 0 20 0 187145846 19566772224 1159223 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
/proc/1005988/statm: 4777044 1159223 5970 1 0 1175309 0
[pid=1005988/tid=1005990] ppid=1005985 vsize=19108176 memory=4636892 CPUtime=3252.63 cores=0,2
/proc/1005988/task/1005990/stat : 1005990 (java) R 1005985 1005988 1001648 0 -1 4194368 145587 0 0 0 325174 89 0 0 20 0 20 0 187145846 19566772224 1159223 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1005999] ppid=1005985 vsize=19108176 memory=4636892 CPUtime=0 cores=0,2
/proc/1005988/task/1005999/stat : 1005999 (Finalizer) S 1005985 1005988 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187145849 19566772224 1159223 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1006006] ppid=1005985 vsize=19108176 memory=4636892 CPUtime=0 cores=0,2
/proc/1005988/task/1006006/stat : 1006006 (Common-Cleaner) S 1005985 1005988 1001648 0 -1 1077936192 4739 0 0 0 0 0 0 0 20 0 20 0 187145849 19566772224 1159223 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1006008] ppid=1005985 vsize=19108176 memory=12340 CPUtime=0 cores=0,2
/proc/1005988/task/1006008/stat : 1006008 (Timer-0) S 1005985 1005988 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187146008 19566772224 1159223 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
Current children cumulated CPU time: 3291.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4636892 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.17 4.18 5/331 1007793
/proc/meminfo: memFree=100819828/131524600 swapFree=131071996/131071996
[pid=1005988] ppid=1005985 vsize=19108176 memory=4636892 CPUtime=3350.83 cores=0,2
/proc/1005988/stat : 1005988 (java) S 1005985 1005988 1001648 0 -1 1077936128 352346 0 0 0 334852 231 0 0 20 0 20 0 187145846 19566772224 1159223 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
/proc/1005988/statm: 4777044 1159223 5970 1 0 1175309 0
[pid=1005988/tid=1005990] ppid=1005985 vsize=19108176 memory=4636892 CPUtime=3311.68 cores=0,2
/proc/1005988/task/1005990/stat : 1005990 (java) R 1005985 1005988 1001648 0 -1 4194368 148013 0 0 0 331078 90 0 0 20 0 20 0 187145846 19566772224 1159223 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1005999] ppid=1005985 vsize=19108176 memory=4636892 CPUtime=0 cores=0,2
/proc/1005988/task/1005999/stat : 1005999 (Finalizer) S 1005985 1005988 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187145849 19566772224 1159223 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1006006] ppid=1005985 vsize=19108176 memory=12340 CPUtime=0 cores=0,2
/proc/1005988/task/1006006/stat : 1006006 (Common-Cleaner) S 1005985 1005988 1001648 0 -1 1077936192 4834 0 0 0 0 0 0 0 20 0 20 0 187145849 19566772224 1159223 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1006008] ppid=1005985 vsize=19108176 memory=12340 CPUtime=0 cores=0,2
/proc/1005988/task/1006008/stat : 1006008 (Timer-0) S 1005985 1005988 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187146008 19566772224 1159223 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
Current children cumulated CPU time: 3350.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4636892 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.14 4.16 5/331 1007803
/proc/meminfo: memFree=100819184/131524600 swapFree=131071996/131071996
[pid=1005988] ppid=1005985 vsize=19108176 memory=4636892 CPUtime=3410.47 cores=0,2
/proc/1005988/stat : 1005988 (java) S 1005985 1005988 1001648 0 -1 1077936128 357299 0 0 0 340813 234 0 0 20 0 20 0 187145846 19566772224 1159223 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
/proc/1005988/statm: 4777044 1159223 5970 1 0 1175309 0
[pid=1005988/tid=1005990] ppid=1005985 vsize=19108176 memory=4636892 CPUtime=3370.86 cores=0,2
/proc/1005988/task/1005990/stat : 1005990 (java) R 1005985 1005988 1001648 0 -1 4194368 151169 0 0 0 336995 91 0 0 20 0 20 0 187145846 19566772224 1159223 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1005999] ppid=1005985 vsize=19108176 memory=47236 CPUtime=0 cores=0,2
/proc/1005988/task/1005999/stat : 1005999 (Finalizer) S 1005985 1005988 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187145849 19566772224 1159223 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1006006] ppid=1005985 vsize=19108176 memory=4636892 CPUtime=0 cores=0,2
/proc/1005988/task/1006006/stat : 1006006 (Common-Cleaner) S 1005985 1005988 1001648 0 -1 1077936192 4965 0 0 0 0 0 0 0 20 0 20 0 187145849 19566772224 1159223 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1006008] ppid=1005985 vsize=19108176 memory=5492 CPUtime=0 cores=0,2
/proc/1005988/task/1006008/stat : 1006008 (Timer-0) S 1005985 1005988 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187146008 19566772224 1159223 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
Current children cumulated CPU time: 3410.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4636892 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/333 1007834
/proc/meminfo: memFree=100818612/131524600 swapFree=131071996/131071996
[pid=1005988] ppid=1005985 vsize=19108176 memory=4636892 CPUtime=3470.02 cores=0,2
/proc/1005988/stat : 1005988 (java) S 1005985 1005988 1001648 0 -1 1077936128 361649 0 0 0 346767 235 0 0 20 0 20 0 187145846 19566772224 1159223 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
/proc/1005988/statm: 4777044 1159223 5970 1 0 1175309 0
[pid=1005988/tid=1005990] ppid=1005985 vsize=19108176 memory=4636892 CPUtime=3430.18 cores=0,2
/proc/1005988/task/1005990/stat : 1005990 (java) R 1005985 1005988 1001648 0 -1 4194368 153755 0 0 0 342927 91 0 0 20 0 20 0 187145846 19566772224 1159223 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1005999] ppid=1005985 vsize=19108176 memory=47236 CPUtime=0 cores=0,2
/proc/1005988/task/1005999/stat : 1005999 (Finalizer) S 1005985 1005988 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187145849 19566772224 1159223 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1006006] ppid=1005985 vsize=19108176 memory=4636892 CPUtime=0 cores=0,2
/proc/1005988/task/1006006/stat : 1006006 (Common-Cleaner) S 1005985 1005988 1001648 0 -1 1077936192 5107 0 0 0 0 0 0 0 20 0 20 0 187145849 19566772224 1159223 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1006008] ppid=1005985 vsize=19108176 memory=12340 CPUtime=0 cores=0,2
/proc/1005988/task/1006008/stat : 1006008 (Timer-0) S 1005985 1005988 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187146008 19566772224 1159223 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
Current children cumulated CPU time: 3470.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4636892 KiB
[startup+3522.3 s]
/proc/loadavg: 3.59 4.01 4.12 3/281 1007913
/proc/meminfo: memFree=112769512/131524600 swapFree=131071996/131071996
[pid=1005988] ppid=1005985 vsize=19108176 memory=5096696 CPUtime=3530.74 cores=0,2
/proc/1005988/stat : 1005988 (java) S 1005985 1005988 1001648 0 -1 1077936128 367029 0 0 0 352827 247 0 0 20 0 20 0 187145846 19566772224 1274174 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
/proc/1005988/statm: 4777044 1274174 5970 1 0 1292284 0
[pid=1005988/tid=1005990] ppid=1005985 vsize=19108176 memory=4636892 CPUtime=3488.7 cores=0,2
/proc/1005988/task/1005990/stat : 1005990 (java) R 1005985 1005988 1001648 0 -1 4194368 155873 0 0 0 348769 101 0 0 20 0 20 0 187145846 19566772224 1274174 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1005999] ppid=1005985 vsize=19108176 memory=4636892 CPUtime=0 cores=0,2
/proc/1005988/task/1005999/stat : 1005999 (Finalizer) S 1005985 1005988 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187145849 19566772224 1274174 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1006006] ppid=1005985 vsize=19108176 memory=12312 CPUtime=0 cores=0,2
/proc/1005988/task/1006006/stat : 1006006 (Common-Cleaner) S 1005985 1005988 1001648 0 -1 1077936192 5203 0 0 0 0 0 0 0 20 0 20 0 187145849 19566772224 1274174 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1006008] ppid=1005985 vsize=19108176 memory=47236 CPUtime=0 cores=0,2
/proc/1005988/task/1006008/stat : 1006008 (Timer-0) S 1005985 1005988 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187146008 19566772224 1274174 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
Current children cumulated CPU time: 3530.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5096696 KiB
[startup+3582.3 s]
/proc/loadavg: 2.10 3.52 3.94 2/255 1007957
/proc/meminfo: memFree=118623784/131524600 swapFree=131071996/131071996
[pid=1005988] ppid=1005985 vsize=19108176 memory=5096732 CPUtime=3590.69 cores=0,2
/proc/1005988/stat : 1005988 (java) S 1005985 1005988 1001648 0 -1 1077936128 371850 0 0 0 358819 250 0 0 20 0 20 0 187145846 19566772224 1274183 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
/proc/1005988/statm: 4777044 1274183 5970 1 0 1292284 0
[pid=1005988/tid=1005990] ppid=1005985 vsize=19108176 memory=12312 CPUtime=3548.38 cores=0,2
/proc/1005988/task/1005990/stat : 1005990 (java) R 1005985 1005988 1001648 0 -1 4194368 158131 0 0 0 354737 101 0 0 20 0 20 0 187145846 19566772224 1274183 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1005999] ppid=1005985 vsize=19108176 memory=5096732 CPUtime=0 cores=0,2
/proc/1005988/task/1005999/stat : 1005999 (Finalizer) S 1005985 1005988 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187145849 19566772224 1274183 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1006006] ppid=1005985 vsize=19108176 memory=5492 CPUtime=0 cores=0,2
/proc/1005988/task/1006006/stat : 1006006 (Common-Cleaner) S 1005985 1005988 1001648 0 -1 1077936192 5299 0 0 0 0 0 0 0 20 0 20 0 187145849 19566772224 1274183 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1006008] ppid=1005985 vsize=19108176 memory=5096732 CPUtime=0 cores=0,2
/proc/1005988/task/1006008/stat : 1006008 (Timer-0) S 1005985 1005988 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187146008 19566772224 1274183 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
Current children cumulated CPU time: 3590.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5096732 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3591.7 s]
/proc/loadavg: 2.01 3.48 3.93 2/255 1007957
/proc/meminfo: memFree=118623784/131524600 swapFree=131071996/131071996
[pid=1005988] ppid=1005985 vsize=19108176 memory=5096732 CPUtime=3600.08 cores=0,2
/proc/1005988/stat : 1005988 (java) S 1005985 1005988 1001648 0 -1 1077936128 371950 0 0 0 359757 251 0 0 20 0 20 0 187145846 19566772224 1274183 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
/proc/1005988/statm: 4777044 1274183 5970 1 0 1292284 0
[pid=1005988/tid=1005990] ppid=1005985 vsize=19108176 memory=5096696 CPUtime=3557.75 cores=0,2
/proc/1005988/task/1005990/stat : 1005990 (java) R 1005985 1005988 1001648 0 -1 4194368 158231 0 0 0 355674 101 0 0 20 0 20 0 187145846 19566772224 1274183 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1005999] ppid=1005985 vsize=19108176 memory=-7452997215881028446 CPUtime=0 cores=0,2
/proc/1005988/task/1005999/stat : 1005999 (Finalizer) S 1005985 1005988 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187145849 19566772224 1274183 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1006006] ppid=1005985 vsize=19108176 memory=5096732 CPUtime=0 cores=0,2
/proc/1005988/task/1006006/stat : 1006006 (Common-Cleaner) S 1005985 1005988 1001648 0 -1 1077936192 5299 0 0 0 0 0 0 0 20 0 20 0 187145849 19566772224 1274183 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
[pid=1005988/tid=1006008] ppid=1005985 vsize=19108176 memory=5096732 CPUtime=0 cores=0,2
/proc/1005988/task/1006008/stat : 1006008 (Timer-0) S 1005985 1005988 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187146008 19566772224 1274183 134679101440 93963456614400 93963456618096 140729096486784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963456625912 93963456626704 93963459076096 140729096492019 140729096492127 140729096492127 140729096499144 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5096732 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3591.81 s]
# the end of solver process 1005988 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.73 s, system=2.53641 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3591.8 s]*
/proc/loadavg: 1.93 3.44 3.91 2/237 1007962
/proc/meminfo: memFree=123568300/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3591.81
CPU time (s): 3600.27
CPU user time (s): 3597.73
CPU system time (s): 2.53641
CPU usage (%): 100.235
Max. virtual memory (cumulated for all children) (KiB): 19113524
Max. memory (cumulated for all children) (KiB): 5096732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.73
system time used= 2.53641
maximum resident set size= 5098528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 377904
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119141
involuntary context switches= 31645
# summary of solver processes directly reported to runsolver:
# pid: 1005988
# total CPU time (s): 3600.27
# total CPU user time (s): 3597.73
# total CPU system time (s): 2.53641
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.46737 second user time and 18.9473 second system time
The end