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 (57951 MiB free)
memory of node 1: 64510 MiB (54411 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446761-1721346160/watcher-4446761-1721346160 -o /tmp/evaluation-result-4446761-1721346160/solver-4446761-1721346160 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721342580-1001658 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4446761-1721346160.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1003882, runsolver pid=1003879
Current StackSize limit: 8192 KiB
[startup+0.100141 s]*
/proc/loadavg: 5.25 4.44 4.20 5/331 1003900
/proc/meminfo: memFree=115018132/131524600 swapFree=131071996/131071996
[pid=1003882] ppid=1003879 vsize=18975048 memory=63640 CPUtime=0.13 cores=0,2
/proc/1003882/stat : 1003882 (java) S 1003879 1003882 1001648 0 -1 1077936128 7228 0 0 0 11 2 0 0 20 0 18 0 186785669 19430449152 15910 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
/proc/1003882/statm: 4743762 15910 5748 1 0 549356 0
[pid=1003882/tid=1003884] ppid=1003879 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/1003882/task/1003884/stat : 1003884 (java) R 1003879 1003882 1001648 0 -1 4194368 5762 0 0 0 7 1 0 0 20 0 18 0 186785670 19430449152 15910 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003893] ppid=1003879 vsize=18975048 memory=228556276070 CPUtime=0 cores=0,2
/proc/1003882/task/1003893/stat : 1003893 (Finalizer) S 1003879 1003882 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186785672 19430449152 15910 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003900] ppid=1003879 vsize=18975048 memory=15817789847927870 CPUtime=0 cores=0,2
/proc/1003882/task/1003900/stat : 1003900 (Common-Cleaner) S 1003879 1003882 1001648 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 186785673 19430449152 15910 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63640 KiB
[startup+0.207944 s]*
/proc/loadavg: 5.25 4.44 4.20 6/331 1003900
/proc/meminfo: memFree=114995188/131524600 swapFree=131071996/131071996
[pid=1003882] ppid=1003879 vsize=18975048 memory=84292 CPUtime=0.34 cores=0,2
/proc/1003882/stat : 1003882 (java) S 1003879 1003882 1001648 0 -1 1077936128 7748 0 0 0 31 3 0 0 20 0 18 0 186785669 19430449152 21073 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
/proc/1003882/statm: 4743762 21073 5850 1 0 549676 0
[pid=1003882/tid=1003884] ppid=1003879 vsize=18975048 memory=6876556183782621315 CPUtime=0.19 cores=0,2
/proc/1003882/task/1003884/stat : 1003884 (java) S 1003879 1003882 1001648 0 -1 1077936192 6029 0 0 0 17 2 0 0 20 0 18 0 186785670 19430449152 21073 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003893] ppid=1003879 vsize=18975048 memory=17963 CPUtime=0 cores=0,2
/proc/1003882/task/1003893/stat : 1003893 (Finalizer) S 1003879 1003882 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186785672 19430449152 21073 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003900] ppid=1003879 vsize=18975048 memory=14697378909259238 CPUtime=0 cores=0,2
/proc/1003882/task/1003900/stat : 1003900 (Common-Cleaner) S 1003879 1003882 1001648 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 186785673 19430449152 21073 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 84292 KiB
[startup+0.306258 s]*
/proc/loadavg: 5.25 4.44 4.20 7/331 1003900
/proc/meminfo: memFree=114921160/131524600 swapFree=131071996/131071996
[pid=1003882] ppid=1003879 vsize=19041612 memory=162388 CPUtime=0.52 cores=0,2
/proc/1003882/stat : 1003882 (java) S 1003879 1003882 1001648 0 -1 1077936128 9373 0 0 0 47 5 0 0 20 0 19 0 186785669 19498610688 40597 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
/proc/1003882/statm: 4760403 40597 5866 1 0 550944 0
[pid=1003882/tid=1003884] ppid=1003879 vsize=19041612 memory=-7597112403956622431 CPUtime=0.28 cores=0,2
/proc/1003882/task/1003884/stat : 1003884 (java) S 1003879 1003882 1001648 0 -1 1077936192 6067 0 0 0 24 4 0 0 20 0 19 0 186785670 19498610688 40597 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003893] ppid=1003879 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1003882/task/1003893/stat : 1003893 (Finalizer) S 1003879 1003882 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 186785672 19498610688 40597 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003900] ppid=1003879 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1003882/task/1003900/stat : 1003900 (Common-Cleaner) S 1003879 1003882 1001648 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 186785673 19498610688 40597 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 162388 KiB
[startup+0.700258 s]
/proc/loadavg: 5.25 4.44 4.20 7/332 1003901
/proc/meminfo: memFree=114910052/131524600 swapFree=131071996/131071996
[pid=1003882] ppid=1003879 vsize=19041612 memory=661676 CPUtime=1.16 cores=0,2
/proc/1003882/stat : 1003882 (java) S 1003879 1003882 1001648 0 -1 1077936128 11736 0 0 0 101 15 0 0 20 0 19 0 186785669 19498610688 165419 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
/proc/1003882/statm: 4760403 165419 5898 1 0 1109740 0
[pid=1003882/tid=1003884] ppid=1003879 vsize=19041612 memory=5492 CPUtime=0.6 cores=0,2
/proc/1003882/task/1003884/stat : 1003884 (java) R 1003879 1003882 1001648 0 -1 4194368 6311 0 0 0 47 13 0 0 20 0 19 0 186785670 19498610688 165419 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003893] ppid=1003879 vsize=19041612 memory=12312 CPUtime=0 cores=0,2
/proc/1003882/task/1003893/stat : 1003893 (Finalizer) S 1003879 1003882 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 186785672 19498610688 165419 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003900] ppid=1003879 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1003882/task/1003900/stat : 1003900 (Common-Cleaner) S 1003879 1003882 1001648 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 186785673 19498610688 165419 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 661676 KiB
[startup+1.50126 s]
/proc/loadavg: 5.25 4.44 4.20 7/332 1003901
/proc/meminfo: memFree=113398036/131524600 swapFree=131071996/131071996
[pid=1003882] ppid=1003879 vsize=19041612 memory=2647756 CPUtime=2.71 cores=0,2
/proc/1003882/stat : 1003882 (java) S 1003879 1003882 1001648 0 -1 1077936128 23301 0 0 0 217 54 0 0 20 0 19 0 186785669 19498610688 661939 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
/proc/1003882/statm: 4760403 661939 5898 1 0 1114740 0
[pid=1003882/tid=1003884] ppid=1003879 vsize=19041612 memory=12312 CPUtime=1.37 cores=0,2
/proc/1003882/task/1003884/stat : 1003884 (java) R 1003879 1003882 1001648 0 -1 4194368 7352 0 0 0 87 50 0 0 20 0 19 0 186785670 19498610688 661939 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003893] ppid=1003879 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1003882/task/1003893/stat : 1003893 (Finalizer) S 1003879 1003882 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 186785672 19498610688 661939 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003900] ppid=1003879 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1003882/task/1003900/stat : 1003900 (Common-Cleaner) S 1003879 1003882 1001648 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 186785673 19498610688 661939 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2647756 KiB
[startup+3.1057 s]
/proc/loadavg: 5.31 4.47 4.21 6/333 1003902
/proc/meminfo: memFree=112423856/131524600 swapFree=131071996/131071996
[pid=1003882] ppid=1003879 vsize=19108176 memory=2650012 CPUtime=5.89 cores=0,2
/proc/1003882/stat : 1003882 (java) S 1003879 1003882 1001648 0 -1 1077936128 23907 0 0 0 534 55 0 0 20 0 20 0 186785669 19566772224 662503 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
/proc/1003882/statm: 4777044 662503 5898 1 0 1115164 0
[pid=1003882/tid=1003884] ppid=1003879 vsize=19108176 memory=198340509722 CPUtime=2.86 cores=0,2
/proc/1003882/task/1003884/stat : 1003884 (java) R 1003879 1003882 1001648 0 -1 4194368 7436 0 0 0 236 50 0 0 20 0 20 0 186785670 19566772224 662503 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003893] ppid=1003879 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1003882/task/1003893/stat : 1003893 (Finalizer) S 1003879 1003882 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186785672 19566772224 662503 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003900] ppid=1003879 vsize=19108176 memory=12312 CPUtime=0 cores=0,2
/proc/1003882/task/1003900/stat : 1003900 (Common-Cleaner) S 1003879 1003882 1001648 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 186785673 19566772224 662503 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003902] ppid=1003879 vsize=19108176 memory=2648800 CPUtime=0 cores=0,2
/proc/1003882/task/1003902/stat : 1003902 (Timer-0) S 1003879 1003882 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186785836 19566772224 662503 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
Current children cumulated CPU time: 5.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2650012 KiB
[startup+6.30624 s]
/proc/loadavg: 5.31 4.47 4.21 6/333 1003904
/proc/meminfo: memFree=112423144/131524600 swapFree=131071996/131071996
[pid=1003882] ppid=1003879 vsize=19108176 memory=2650972 CPUtime=10.12 cores=0,2
/proc/1003882/stat : 1003882 (java) S 1003879 1003882 1001648 0 -1 1077936128 24310 0 0 0 957 55 0 0 20 0 20 0 186785669 19566772224 662743 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
/proc/1003882/statm: 4777044 662743 5930 1 0 1115187 0
[pid=1003882/tid=1003884] ppid=1003879 vsize=19108176 memory=0 CPUtime=6.02 cores=0,2
/proc/1003882/task/1003884/stat : 1003884 (java) R 1003879 1003882 1001648 0 -1 4194368 7664 0 0 0 552 50 0 0 20 0 20 0 186785670 19566772224 662743 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003893] ppid=1003879 vsize=19108176 memory=12312 CPUtime=0 cores=0,2
/proc/1003882/task/1003893/stat : 1003893 (Finalizer) S 1003879 1003882 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186785672 19566772224 662743 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003900] ppid=1003879 vsize=19108176 memory=2649484 CPUtime=0 cores=0,2
/proc/1003882/task/1003900/stat : 1003900 (Common-Cleaner) S 1003879 1003882 1001648 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 186785673 19566772224 662743 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003902] ppid=1003879 vsize=19108176 memory=2650972 CPUtime=0 cores=0,2
/proc/1003882/task/1003902/stat : 1003902 (Timer-0) S 1003879 1003882 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186785836 19566772224 662743 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
Current children cumulated CPU time: 10.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2650972 KiB
[startup+12.7002 s]
/proc/loadavg: 5.19 4.47 4.21 5/333 1003904
/proc/meminfo: memFree=112339780/131524600 swapFree=131071996/131071996
[pid=1003882] ppid=1003879 vsize=19108176 memory=2647756 CPUtime=17.42 cores=0,2
/proc/1003882/stat : 1003882 (java) S 1003879 1003882 1001648 0 -1 1077936128 30687 0 0 0 1685 57 0 0 20 0 20 0 186785669 19566772224 661939 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
/proc/1003882/statm: 4777044 661939 5930 1 0 1115187 0
[pid=1003882/tid=1003884] ppid=1003879 vsize=19108176 memory=2647640 CPUtime=12.36 cores=0,2
/proc/1003882/task/1003884/stat : 1003884 (java) R 1003879 1003882 1001648 0 -1 4194368 9044 0 0 0 1186 50 0 0 20 0 20 0 186785670 19566772224 661939 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003893] ppid=1003879 vsize=19108176 memory=12340 CPUtime=0 cores=0,2
/proc/1003882/task/1003893/stat : 1003893 (Finalizer) S 1003879 1003882 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186785672 19566772224 661939 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003900] ppid=1003879 vsize=19108176 memory=4641350100799023464 CPUtime=0 cores=0,2
/proc/1003882/task/1003900/stat : 1003900 (Common-Cleaner) S 1003879 1003882 1001648 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 186785673 19566772224 661939 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003902] ppid=1003879 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1003882/task/1003902/stat : 1003902 (Timer-0) S 1003879 1003882 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186785836 19566772224 661939 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
Current children cumulated CPU time: 17.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2647756 KiB
[startup+25.5012 s]
/proc/loadavg: 5.08 4.47 4.21 5/333 1003907
/proc/meminfo: memFree=112256244/131524600 swapFree=131071996/131071996
[pid=1003882] ppid=1003879 vsize=19108176 memory=2664704 CPUtime=30.72 cores=0,2
/proc/1003882/stat : 1003882 (java) S 1003879 1003882 1001648 0 -1 1077936128 33610 0 0 0 3014 58 0 0 20 0 20 0 186785669 19566772224 666176 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
/proc/1003882/statm: 4777044 666176 5930 1 0 1115223 0
[pid=1003882/tid=1003884] ppid=1003879 vsize=19108176 memory=4641350100799023464 CPUtime=25.01 cores=0,2
/proc/1003882/task/1003884/stat : 1003884 (java) R 1003879 1003882 1001648 0 -1 4194368 9453 0 0 0 2450 51 0 0 20 0 20 0 186785670 19566772224 666176 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003893] ppid=1003879 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1003882/task/1003893/stat : 1003893 (Finalizer) S 1003879 1003882 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186785672 19566772224 666176 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003900] ppid=1003879 vsize=19108176 memory=32284 CPUtime=0 cores=0,2
/proc/1003882/task/1003900/stat : 1003900 (Common-Cleaner) S 1003879 1003882 1001648 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 186785673 19566772224 666176 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003902] ppid=1003879 vsize=19108176 memory=-7597112403956622431 CPUtime=0 cores=0,2
/proc/1003882/task/1003902/stat : 1003902 (Timer-0) S 1003879 1003882 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186785836 19566772224 666176 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
Current children cumulated CPU time: 30.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2664704 KiB
[startup+51.1062 s]
/proc/loadavg: 4.78 4.45 4.21 5/333 1003910
/proc/meminfo: memFree=112096612/131524600 swapFree=131071996/131071996
[pid=1003882] ppid=1003879 vsize=19108176 memory=2697756 CPUtime=56.38 cores=0,2
/proc/1003882/stat : 1003882 (java) S 1003879 1003882 1001648 0 -1 1077936128 44724 0 0 0 5578 60 0 0 20 0 20 0 186785669 19566772224 674439 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
/proc/1003882/statm: 4777044 674439 5930 1 0 1115224 0
[pid=1003882/tid=1003884] ppid=1003879 vsize=19108176 memory=2664852 CPUtime=50.32 cores=0,2
/proc/1003882/task/1003884/stat : 1003884 (java) R 1003879 1003882 1001648 0 -1 4194368 13112 0 0 0 4981 51 0 0 20 0 20 0 186785670 19566772224 674439 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003893] ppid=1003879 vsize=19108176 memory=12340 CPUtime=0 cores=0,2
/proc/1003882/task/1003893/stat : 1003893 (Finalizer) S 1003879 1003882 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186785672 19566772224 674439 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003900] ppid=1003879 vsize=19108176 memory=12340 CPUtime=0 cores=0,2
/proc/1003882/task/1003900/stat : 1003900 (Common-Cleaner) S 1003879 1003882 1001648 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 186785673 19566772224 674439 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003902] ppid=1003879 vsize=19108176 memory=12340 CPUtime=0 cores=0,2
/proc/1003882/task/1003902/stat : 1003902 (Timer-0) S 1003879 1003882 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186785836 19566772224 674439 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
################
# More data... #
################
/proc/1003882/task/1003893/stat : 1003893 (Finalizer) S 1003879 1003882 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186785672 19566772224 1102165 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003900] ppid=1003879 vsize=19108176 memory=4408660 CPUtime=0 cores=0,2
/proc/1003882/task/1003900/stat : 1003900 (Common-Cleaner) S 1003879 1003882 1001648 0 -1 1077936192 4862 0 0 0 0 0 0 0 20 0 20 0 186785673 19566772224 1102165 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003902] ppid=1003879 vsize=19108176 memory=4408660 CPUtime=0 cores=0,2
/proc/1003882/task/1003902/stat : 1003902 (Timer-0) S 1003879 1003882 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186785836 19566772224 1102165 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
Current children cumulated CPU time: 3222.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4408660 KiB
[startup+3282.3 s]
/proc/loadavg: 4.56 4.33 4.23 5/331 1005676
/proc/meminfo: memFree=101827668/131524600 swapFree=131071996/131071996
[pid=1003882] ppid=1003879 vsize=19108176 memory=4408660 CPUtime=3281.99 cores=0,2
/proc/1003882/stat : 1003882 (java) S 1003879 1003882 1001648 0 -1 1077936128 344207 0 0 0 327962 237 0 0 20 0 20 0 186785669 19566772224 1102165 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
/proc/1003882/statm: 4777044 1102165 5977 1 0 1121712 0
[pid=1003882/tid=1003884] ppid=1003879 vsize=19108176 memory=46904 CPUtime=3249.04 cores=0,2
/proc/1003882/task/1003884/stat : 1003884 (java) R 1003879 1003882 1001648 0 -1 4194368 141181 0 0 0 324821 83 0 0 20 0 20 0 186785670 19566772224 1102165 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003893] ppid=1003879 vsize=19108176 memory=4408660 CPUtime=0 cores=0,2
/proc/1003882/task/1003893/stat : 1003893 (Finalizer) S 1003879 1003882 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186785672 19566772224 1102165 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003900] ppid=1003879 vsize=19108176 memory=4408660 CPUtime=0 cores=0,2
/proc/1003882/task/1003900/stat : 1003900 (Common-Cleaner) S 1003879 1003882 1001648 0 -1 1077936192 5001 0 0 0 0 0 0 0 20 0 20 0 186785673 19566772224 1102165 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003902] ppid=1003879 vsize=19108176 memory=4408660 CPUtime=0 cores=0,2
/proc/1003882/task/1003902/stat : 1003902 (Timer-0) S 1003879 1003882 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186785836 19566772224 1102165 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
Current children cumulated CPU time: 3281.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4408660 KiB
[startup+3342.3 s]
/proc/loadavg: 4.30 4.29 4.22 5/330 1005686
/proc/meminfo: memFree=101827280/131524600 swapFree=131071996/131071996
[pid=1003882] ppid=1003879 vsize=19108176 memory=4408660 CPUtime=3341.89 cores=0,2
/proc/1003882/stat : 1003882 (java) S 1003879 1003882 1001648 0 -1 1077936128 348732 0 0 0 333950 239 0 0 20 0 20 0 186785669 19566772224 1102165 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
/proc/1003882/statm: 4777044 1102165 5977 1 0 1121712 0
[pid=1003882/tid=1003884] ppid=1003879 vsize=19108176 memory=12312 CPUtime=3308.73 cores=0,2
/proc/1003882/task/1003884/stat : 1003884 (java) R 1003879 1003882 1001648 0 -1 4194368 143930 0 0 0 330789 84 0 0 20 0 20 0 186785670 19566772224 1102165 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003893] ppid=1003879 vsize=19108176 memory=4408660 CPUtime=0 cores=0,2
/proc/1003882/task/1003893/stat : 1003893 (Finalizer) S 1003879 1003882 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186785672 19566772224 1102165 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003900] ppid=1003879 vsize=19108176 memory=15976 CPUtime=0 cores=0,2
/proc/1003882/task/1003900/stat : 1003900 (Common-Cleaner) S 1003879 1003882 1001648 0 -1 1077936192 5143 0 0 0 0 0 0 0 20 0 20 0 186785673 19566772224 1102165 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003902] ppid=1003879 vsize=19108176 memory=-7597112403956622431 CPUtime=0 cores=0,2
/proc/1003882/task/1003902/stat : 1003902 (Timer-0) S 1003879 1003882 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186785836 19566772224 1102165 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
Current children cumulated CPU time: 3341.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4408660 KiB
[startup+3402.3 s]
/proc/loadavg: 4.31 4.30 4.23 5/330 1005696
/proc/meminfo: memFree=101826724/131524600 swapFree=131071996/131071996
[pid=1003882] ppid=1003879 vsize=19108176 memory=4408660 CPUtime=3401.78 cores=0,2
/proc/1003882/stat : 1003882 (java) S 1003879 1003882 1001648 0 -1 1077936128 352980 0 0 0 339936 242 0 0 20 0 20 0 186785669 19566772224 1102165 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
/proc/1003882/statm: 4777044 1102165 5977 1 0 1121712 0
[pid=1003882/tid=1003884] ppid=1003879 vsize=19108176 memory=15976 CPUtime=3368.39 cores=0,2
/proc/1003882/task/1003884/stat : 1003884 (java) R 1003879 1003882 1001648 0 -1 4194368 146313 0 0 0 336754 85 0 0 20 0 20 0 186785670 19566772224 1102165 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003893] ppid=1003879 vsize=19108176 memory=12340 CPUtime=0 cores=0,2
/proc/1003882/task/1003893/stat : 1003893 (Finalizer) S 1003879 1003882 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186785672 19566772224 1102165 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003900] ppid=1003879 vsize=19108176 memory=5492 CPUtime=0 cores=0,2
/proc/1003882/task/1003900/stat : 1003900 (Common-Cleaner) S 1003879 1003882 1001648 0 -1 1077936192 5285 0 0 0 0 0 0 0 20 0 20 0 186785673 19566772224 1102165 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003902] ppid=1003879 vsize=19108176 memory=4408660 CPUtime=0 cores=0,2
/proc/1003882/task/1003902/stat : 1003902 (Timer-0) S 1003879 1003882 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186785836 19566772224 1102165 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
Current children cumulated CPU time: 3401.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4408660 KiB
[startup+3462.3 s]
/proc/loadavg: 4.77 4.43 4.28 5/330 1005706
/proc/meminfo: memFree=101826104/131524600 swapFree=131071996/131071996
[pid=1003882] ppid=1003879 vsize=19108176 memory=4408660 CPUtime=3461.43 cores=0,2
/proc/1003882/stat : 1003882 (java) S 1003879 1003882 1001648 0 -1 1077936128 357652 0 0 0 345899 244 0 0 20 0 20 0 186785669 19566772224 1102165 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
/proc/1003882/statm: 4777044 1102165 5977 1 0 1121712 0
[pid=1003882/tid=1003884] ppid=1003879 vsize=19108176 memory=15976 CPUtime=3427.83 cores=0,2
/proc/1003882/task/1003884/stat : 1003884 (java) R 1003879 1003882 1001648 0 -1 4194368 149056 0 0 0 342697 86 0 0 20 0 20 0 186785670 19566772224 1102165 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003893] ppid=1003879 vsize=19108176 memory=4408660 CPUtime=0 cores=0,2
/proc/1003882/task/1003893/stat : 1003893 (Finalizer) S 1003879 1003882 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186785672 19566772224 1102165 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003900] ppid=1003879 vsize=19108176 memory=4408660 CPUtime=0 cores=0,2
/proc/1003882/task/1003900/stat : 1003900 (Common-Cleaner) S 1003879 1003882 1001648 0 -1 1077936192 5377 0 0 0 0 0 0 0 20 0 20 0 186785673 19566772224 1102165 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003902] ppid=1003879 vsize=19108176 memory=4408660 CPUtime=0 cores=0,2
/proc/1003882/task/1003902/stat : 1003902 (Timer-0) S 1003879 1003882 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186785836 19566772224 1102165 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
Current children cumulated CPU time: 3461.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4408660 KiB
[startup+3522.3 s]
/proc/loadavg: 4.59 4.43 4.28 5/333 1005791
/proc/meminfo: memFree=104070284/131524600 swapFree=131071996/131071996
[pid=1003882] ppid=1003879 vsize=19108176 memory=4408680 CPUtime=3521.3 cores=0,2
/proc/1003882/stat : 1003882 (java) S 1003879 1003882 1001648 0 -1 1077936128 364395 0 0 0 351883 247 0 0 20 0 20 0 186785669 19566772224 1102170 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
/proc/1003882/statm: 4777044 1102170 5977 1 0 1121745 0
[pid=1003882/tid=1003884] ppid=1003879 vsize=19108176 memory=4408660 CPUtime=3487.42 cores=0,2
/proc/1003882/task/1003884/stat : 1003884 (java) R 1003879 1003882 1001648 0 -1 4194368 151271 0 0 0 348655 87 0 0 20 0 20 0 186785670 19566772224 1102170 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003893] ppid=1003879 vsize=19108176 memory=4408660 CPUtime=0 cores=0,2
/proc/1003882/task/1003893/stat : 1003893 (Finalizer) S 1003879 1003882 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186785672 19566772224 1102170 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003900] ppid=1003879 vsize=19108176 memory=12340 CPUtime=0 cores=0,2
/proc/1003882/task/1003900/stat : 1003900 (Common-Cleaner) S 1003879 1003882 1001648 0 -1 1077936192 5447 0 0 0 0 0 0 0 20 0 20 0 186785673 19566772224 1102170 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003902] ppid=1003879 vsize=19108176 memory=100 CPUtime=0 cores=0,2
/proc/1003882/task/1003902/stat : 1003902 (Timer-0) S 1003879 1003882 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186785836 19566772224 1102170 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
Current children cumulated CPU time: 3521.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4408680 KiB
[startup+3582.3 s]
/proc/loadavg: 4.73 4.49 4.31 5/333 1005937
/proc/meminfo: memFree=109859564/131524600 swapFree=131071996/131071996
[pid=1003882] ppid=1003879 vsize=19108176 memory=4408680 CPUtime=3581.22 cores=0,2
/proc/1003882/stat : 1003882 (java) S 1003879 1003882 1001648 0 -1 1077936128 368777 0 0 0 357872 250 0 0 20 0 20 0 186785669 19566772224 1102170 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
/proc/1003882/statm: 4777044 1102170 5977 1 0 1121745 0
[pid=1003882/tid=1003884] ppid=1003879 vsize=19108176 memory=4408680 CPUtime=3547.1 cores=0,2
/proc/1003882/task/1003884/stat : 1003884 (java) R 1003879 1003882 1001648 0 -1 4194368 153829 0 0 0 354622 88 0 0 20 0 20 0 186785670 19566772224 1102170 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003893] ppid=1003879 vsize=19108176 memory=12312 CPUtime=0 cores=0,2
/proc/1003882/task/1003893/stat : 1003893 (Finalizer) S 1003879 1003882 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186785672 19566772224 1102170 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003900] ppid=1003879 vsize=19108176 memory=12340 CPUtime=0 cores=0,2
/proc/1003882/task/1003900/stat : 1003900 (Common-Cleaner) S 1003879 1003882 1001648 0 -1 1077936192 5584 0 0 0 0 0 0 0 20 0 20 0 186785673 19566772224 1102170 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003902] ppid=1003879 vsize=19108176 memory=46904 CPUtime=0 cores=0,2
/proc/1003882/task/1003902/stat : 1003902 (Timer-0) S 1003879 1003882 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186785836 19566772224 1102170 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
Current children cumulated CPU time: 3581.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4408680 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3601.2 s]
/proc/loadavg: 4.66 4.49 4.31 5/333 1005940
/proc/meminfo: memFree=109764264/131524600 swapFree=131071996/131071996
[pid=1003882] ppid=1003879 vsize=19108176 memory=4408680 CPUtime=3600.06 cores=0,2
/proc/1003882/stat : 1003882 (java) S 1003879 1003882 1001648 0 -1 1077936128 370407 0 0 0 359755 251 0 0 20 0 20 0 186785669 19566772224 1102170 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
/proc/1003882/statm: 4777044 1102170 5977 1 0 1121745 0
[pid=1003882/tid=1003884] ppid=1003879 vsize=19108176 memory=19296 CPUtime=3565.93 cores=0,2
/proc/1003882/task/1003884/stat : 1003884 (java) R 1003879 1003882 1001648 0 -1 4194368 155204 0 0 0 356505 88 0 0 20 0 20 0 186785670 19566772224 1102170 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003893] ppid=1003879 vsize=19108176 memory=-7597112403956622431 CPUtime=0 cores=0,2
/proc/1003882/task/1003893/stat : 1003893 (Finalizer) S 1003879 1003882 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186785672 19566772224 1102170 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003900] ppid=1003879 vsize=19108176 memory=30192 CPUtime=0 cores=0,2
/proc/1003882/task/1003900/stat : 1003900 (Common-Cleaner) S 1003879 1003882 1001648 0 -1 1077936192 5584 0 0 0 0 0 0 0 20 0 20 0 186785673 19566772224 1102170 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
[pid=1003882/tid=1003902] ppid=1003879 vsize=19108176 memory=18748 CPUtime=0 cores=0,2
/proc/1003882/task/1003902/stat : 1003902 (Timer-0) S 1003879 1003882 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186785836 19566772224 1102170 134679101440 94875823484928 94875823488624 140736321577120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94875823496440 94875823497232 94875835604992 140736321586163 140736321586271 140736321586271 140736321593288 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4408680 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3601.31 s]
# the end of solver process 1003882 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.73 s, system=2.53657 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3601.31 s]*
/proc/loadavg: 4.66 4.49 4.31 5/314 1005943
/proc/meminfo: memFree=114158264/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): 3601.31
CPU time (s): 3600.26
CPU user time (s): 3597.73
CPU system time (s): 2.53657
CPU usage (%): 99.9708
Max. virtual memory (cumulated for all children) (KiB): 19113312
Max. memory (cumulated for all children) (KiB): 4408680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.73
system time used= 2.53657
maximum resident set size= 4410332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 375760
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120216
involuntary context switches= 34764
# summary of solver processes directly reported to runsolver:
# pid: 1003882
# total CPU time (s): 3600.26
# total CPU user time (s): 3597.73
# total CPU system time (s): 2.53657
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.80064 second user time and 17.8984 second system time
The end