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 (60542 MiB free)
memory of node 1: 64510 MiB (60340 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446551-1721342568/watcher-4446551-1721342568 -o /tmp/evaluation-result-4446551-1721342568/solver-4446551-1721342568 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721342580-1001658 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4446551-1721342568.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
solver pid=1001720, runsolver pid=1001707
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 1.10 1.13 1.65 17/325 1001790
/proc/meminfo: memFree=123613156/131524600 swapFree=131071996/131071996
[pid=1001720] ppid=1001707 vsize=18975048 memory=65232 CPUtime=0.14 cores=0,2
/proc/1001720/stat : 1001720 (java) S 1001707 1001720 1001648 0 -1 1077936128 7169 0 0 0 12 2 0 0 20 0 18 0 186426549 19430449152 16308 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
/proc/1001720/statm: 4743762 16308 5727 1 0 549431 0
[pid=1001720/tid=1001726] ppid=1001707 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/1001720/task/1001726/stat : 1001726 (java) R 1001707 1001720 1001648 0 -1 4194368 5674 0 0 0 7 1 0 0 20 0 18 0 186426549 19430449152 16308 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 186426549 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001770] ppid=1001707 vsize=18975048 memory=228556276070 CPUtime=0 cores=0,2
/proc/1001720/task/1001770/stat : 1001770 (Finalizer) S 1001707 1001720 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186426552 19430449152 16308 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001789] ppid=1001707 vsize=18975048 memory=15817789847927870 CPUtime=0 cores=0,2
/proc/1001720/task/1001789/stat : 1001789 (Common-Cleaner) S 1001707 1001720 1001648 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 186426552 19430449152 16308 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65232 KiB
[startup+0.206385 s]*
/proc/loadavg: 1.10 1.13 1.65 14/325 1001790
/proc/meminfo: memFree=123524008/131524600 swapFree=131071996/131071996
[pid=1001720] ppid=1001707 vsize=18975048 memory=92100 CPUtime=0.34 cores=0,2
/proc/1001720/stat : 1001720 (java) S 1001707 1001720 1001648 0 -1 1077936128 7696 0 0 0 31 3 0 0 20 0 18 0 186426549 19430449152 23025 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
/proc/1001720/statm: 4743762 23025 5885 1 0 549739 0
[pid=1001720/tid=1001726] ppid=1001707 vsize=18975048 memory=8603368907145347203 CPUtime=0.18 cores=0,2
/proc/1001720/task/1001726/stat : 1001726 (java) R 1001707 1001720 1001648 0 -1 4194368 5932 0 0 0 16 2 0 0 20 0 18 0 186426549 19430449152 23025 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 186426549 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001770] ppid=1001707 vsize=18975048 memory=17963 CPUtime=0 cores=0,2
/proc/1001720/task/1001770/stat : 1001770 (Finalizer) S 1001707 1001720 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186426552 19430449152 23025 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001789] ppid=1001707 vsize=18975048 memory=14697378909259238 CPUtime=0 cores=0,2
/proc/1001720/task/1001789/stat : 1001789 (Common-Cleaner) S 1001707 1001720 1001648 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 186426552 19430449152 23025 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 92100 KiB
[startup+0.306066 s]*
/proc/loadavg: 1.10 1.13 1.65 13/328 1001793
/proc/meminfo: memFree=123250564/131524600 swapFree=131071996/131071996
[pid=1001720] ppid=1001707 vsize=19041612 memory=170244 CPUtime=0.51 cores=0,2
/proc/1001720/stat : 1001720 (java) S 1001707 1001720 1001648 0 -1 1077936128 9276 0 0 0 46 5 0 0 20 0 19 0 186426549 19498610688 42561 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
/proc/1001720/statm: 4760403 42561 5917 1 0 550991 0
[pid=1001720/tid=1001726] ppid=1001707 vsize=19041612 memory=-7741227592032611168 CPUtime=0.26 cores=0,2
/proc/1001720/task/1001726/stat : 1001726 (java) R 1001707 1001720 1001648 0 -1 1077936192 5972 0 0 0 22 4 0 0 20 0 19 0 186426549 19498610688 42561 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 186426549 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001770] ppid=1001707 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1001720/task/1001770/stat : 1001770 (Finalizer) S 1001707 1001720 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 186426552 19498610688 42561 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001789] ppid=1001707 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1001720/task/1001789/stat : 1001789 (Common-Cleaner) S 1001707 1001720 1001648 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 186426552 19498610688 42561 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 170244 KiB
[startup+0.700603 s]
/proc/loadavg: 1.10 1.13 1.65 10/329 1001794
/proc/meminfo: memFree=122580328/131524600 swapFree=131071996/131071996
[pid=1001720] ppid=1001707 vsize=19041612 memory=1140720 CPUtime=1.22 cores=0,2
/proc/1001720/stat : 1001720 (java) S 1001707 1001720 1001648 0 -1 1077936128 15018 0 0 0 98 24 0 0 20 0 19 0 186426549 19498610688 284668 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
/proc/1001720/statm: 4760403 285180 5917 1 0 1079587 0
[pid=1001720/tid=1001726] ppid=1001707 vsize=19041612 memory=5492 CPUtime=0.61 cores=0,2
/proc/1001720/task/1001726/stat : 1001726 (java) R 1001707 1001720 1001648 0 -1 4194368 6442 0 0 0 39 22 0 0 20 0 19 0 186426549 19498610688 285180 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 186426549 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001770] ppid=1001707 vsize=19041612 memory=12312 CPUtime=0 cores=0,2
/proc/1001720/task/1001770/stat : 1001770 (Finalizer) S 1001707 1001720 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 186426552 19498610688 285180 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001789] ppid=1001707 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1001720/task/1001789/stat : 1001789 (Common-Cleaner) S 1001707 1001720 1001648 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 186426552 19498610688 285180 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1140720 KiB
[startup+1.50019 s]
/proc/loadavg: 1.10 1.13 1.65 12/329 1001794
/proc/meminfo: memFree=117010852/131524600 swapFree=131071996/131071996
[pid=1001720] ppid=1001707 vsize=19041612 memory=2578100 CPUtime=2.79 cores=0,2
/proc/1001720/stat : 1001720 (java) S 1001707 1001720 1001648 0 -1 1077936128 23687 0 0 0 225 54 0 0 20 0 19 0 186426549 19498610688 644525 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
/proc/1001720/statm: 4760403 644525 5917 1 0 1084068 0
[pid=1001720/tid=1001726] ppid=1001707 vsize=19041612 memory=0 CPUtime=1.38 cores=0,2
/proc/1001720/task/1001726/stat : 1001726 (java) R 1001707 1001720 1001648 0 -1 4194368 7149 0 0 0 88 50 0 0 20 0 19 0 186426549 19498610688 644525 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 186426549 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001770] ppid=1001707 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1001720/task/1001770/stat : 1001770 (Finalizer) S 1001707 1001720 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 186426552 19498610688 644525 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001789] ppid=1001707 vsize=19041612 memory=12312 CPUtime=0 cores=0,2
/proc/1001720/task/1001789/stat : 1001789 (Common-Cleaner) S 1001707 1001720 1001648 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 186426552 19498610688 644525 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
Current children cumulated CPU time: 2.79 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2578100 KiB
[startup+3.1106 s]
/proc/loadavg: 1.97 1.31 1.70 15/333 1001798
/proc/meminfo: memFree=115883960/131524600 swapFree=131071996/131071996
[pid=1001720] ppid=1001707 vsize=19108176 memory=2580484 CPUtime=5.98 cores=0,2
/proc/1001720/stat : 1001720 (java) S 1001707 1001720 1001648 0 -1 1077936128 24342 0 0 0 544 54 0 0 20 0 20 0 186426549 19566772224 645121 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
/proc/1001720/statm: 4777044 645121 5917 1 0 1084490 0
[pid=1001720/tid=1001726] ppid=1001707 vsize=19108176 memory=12312 CPUtime=2.94 cores=0,2
/proc/1001720/task/1001726/stat : 1001726 (java) R 1001707 1001720 1001648 0 -1 4194368 7253 0 0 0 244 50 0 0 20 0 20 0 186426549 19566772224 645121 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 186426549 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001770] ppid=1001707 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1001720/task/1001770/stat : 1001770 (Finalizer) S 1001707 1001720 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 645121 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001789] ppid=1001707 vsize=19108176 memory=2579388 CPUtime=0 cores=0,2
/proc/1001720/task/1001789/stat : 1001789 (Common-Cleaner) S 1001707 1001720 1001648 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 645121 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001798] ppid=1001707 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1001720/task/1001798/stat : 1001798 (Timer-0) S 1001707 1001720 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186426703 19566772224 645121 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
Current children cumulated CPU time: 5.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2580484 KiB
[startup+6.3006 s]
/proc/loadavg: 1.97 1.31 1.70 9/333 1001800
/proc/meminfo: memFree=115342124/131524600 swapFree=131071996/131071996
[pid=1001720] ppid=1001707 vsize=19108176 memory=2576336 CPUtime=10.31 cores=0,2
/proc/1001720/stat : 1001720 (java) S 1001707 1001720 1001648 0 -1 1077936128 25156 0 0 0 976 55 0 0 20 0 20 0 186426549 19566772224 644084 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
/proc/1001720/statm: 4777044 644084 5933 1 0 1084517 0
[pid=1001720/tid=1001726] ppid=1001707 vsize=19108176 memory=0 CPUtime=6.08 cores=0,2
/proc/1001720/task/1001726/stat : 1001726 (java) R 1001707 1001720 1001648 0 -1 4194368 7880 0 0 0 558 50 0 0 20 0 20 0 186426549 19566772224 644084 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 186426549 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001770] ppid=1001707 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1001720/task/1001770/stat : 1001770 (Finalizer) S 1001707 1001720 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 644084 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001789] ppid=1001707 vsize=19108176 memory=6933690326582337681 CPUtime=0 cores=0,2
/proc/1001720/task/1001789/stat : 1001789 (Common-Cleaner) S 1001707 1001720 1001648 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 644084 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001798] ppid=1001707 vsize=19108176 memory=2579112 CPUtime=0 cores=0,2
/proc/1001720/task/1001798/stat : 1001798 (Timer-0) S 1001707 1001720 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186426703 19566772224 644084 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
Current children cumulated CPU time: 10.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2576336 KiB
[startup+12.7006 s]
/proc/loadavg: 2.14 1.36 1.72 8/334 1001801
/proc/meminfo: memFree=113722800/131524600 swapFree=131071996/131071996
[pid=1001720] ppid=1001707 vsize=19108176 memory=2593972 CPUtime=18.03 cores=0,2
/proc/1001720/stat : 1001720 (java) S 1001707 1001720 1001648 0 -1 1077936128 33859 0 0 0 1747 56 0 0 20 0 20 0 186426549 19566772224 648493 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
/proc/1001720/statm: 4777044 648493 5933 1 0 1085172 0
[pid=1001720/tid=1001726] ppid=1001707 vsize=19108176 memory=2579112 CPUtime=12.39 cores=0,2
/proc/1001720/task/1001726/stat : 1001726 (java) R 1001707 1001720 1001648 0 -1 4194368 9204 0 0 0 1189 50 0 0 20 0 20 0 186426549 19566772224 648493 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 186426549 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001770] ppid=1001707 vsize=19108176 memory=12340 CPUtime=0 cores=0,2
/proc/1001720/task/1001770/stat : 1001770 (Finalizer) S 1001707 1001720 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 648493 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001789] ppid=1001707 vsize=19108176 memory=46904 CPUtime=0 cores=0,2
/proc/1001720/task/1001789/stat : 1001789 (Common-Cleaner) S 1001707 1001720 1001648 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 648493 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001798] ppid=1001707 vsize=19108176 memory=2593972 CPUtime=0 cores=0,2
/proc/1001720/task/1001798/stat : 1001798 (Timer-0) S 1001707 1001720 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186426703 19566772224 648493 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
Current children cumulated CPU time: 18.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2593972 KiB
[startup+25.5006 s]
/proc/loadavg: 2.62 1.51 1.76 8/334 1001804
/proc/meminfo: memFree=112210080/131524600 swapFree=131071996/131071996
[pid=1001720] ppid=1001707 vsize=19108176 memory=2599684 CPUtime=32.23 cores=0,2
/proc/1001720/stat : 1001720 (java) S 1001707 1001720 1001648 0 -1 1077936128 45227 0 0 0 3165 58 0 0 20 0 20 0 186426549 19566772224 649921 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
/proc/1001720/statm: 4777044 649921 5933 1 0 1085359 0
[pid=1001720/tid=1001726] ppid=1001707 vsize=19108176 memory=0 CPUtime=25.07 cores=0,2
/proc/1001720/task/1001726/stat : 1001726 (java) R 1001707 1001720 1001648 0 -1 4194368 10893 0 0 0 2456 51 0 0 20 0 20 0 186426549 19566772224 649921 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 186426549 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001770] ppid=1001707 vsize=19108176 memory=12340 CPUtime=0 cores=0,2
/proc/1001720/task/1001770/stat : 1001770 (Finalizer) S 1001707 1001720 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 649921 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001789] ppid=1001707 vsize=19108176 memory=46904 CPUtime=0 cores=0,2
/proc/1001720/task/1001789/stat : 1001789 (Common-Cleaner) S 1001707 1001720 1001648 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 649921 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001798] ppid=1001707 vsize=19108176 memory=6944656592455097440 CPUtime=0 cores=0,2
/proc/1001720/task/1001798/stat : 1001798 (Timer-0) S 1001707 1001720 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186426703 19566772224 649921 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
Current children cumulated CPU time: 32.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2599684 KiB
[startup+51.1064 s]
/proc/loadavg: 3.09 1.71 1.82 8/334 1001807
/proc/meminfo: memFree=111853572/131524600 swapFree=131071996/131071996
[pid=1001720] ppid=1001707 vsize=19108176 memory=2687120 CPUtime=58.68 cores=0,2
/proc/1001720/stat : 1001720 (java) S 1001707 1001720 1001648 0 -1 1077936128 55530 0 0 0 5806 62 0 0 20 0 20 0 186426549 19566772224 671780 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
/proc/1001720/statm: 4777044 671780 5949 1 0 1085472 0
[pid=1001720/tid=1001726] ppid=1001707 vsize=19108176 memory=2687120 CPUtime=50.33 cores=0,2
/proc/1001720/task/1001726/stat : 1001726 (java) R 1001707 1001720 1001648 0 -1 4194368 13241 0 0 0 4982 51 0 0 20 0 20 0 186426549 19566772224 671780 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 186426549 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001770] ppid=1001707 vsize=19108176 memory=2686976 CPUtime=0 cores=0,2
/proc/1001720/task/1001770/stat : 1001770 (Finalizer) S 1001707 1001720 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 671780 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001789] ppid=1001707 vsize=19108176 memory=2686976 CPUtime=0 cores=0,2
/proc/1001720/task/1001789/stat : 1001789 (Common-Cleaner) S 1001707 1001720 1001648 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 671780 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001798] ppid=1001707 vsize=19108176 memory=2220 CPUtime=0 cores=0,2
/proc/1001720/task/1001798/stat : 1001798 (Timer-0) S 1001707 1001720 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186426703 19566772224 671780 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
Current children cumulated CPU time: 58.68 s
################
# More data... #
################
/proc/meminfo: memFree=108360676/131524600 swapFree=131071996/131071996
[pid=1001720] ppid=1001707 vsize=19108176 memory=4305080 CPUtime=3231.78 cores=0,2
/proc/1001720/stat : 1001720 (java) S 1001707 1001720 1001648 0 -1 1077936128 340664 0 0 0 322938 240 0 0 20 0 20 0 186426549 19566772224 1076270 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
/proc/1001720/statm: 4777044 1076270 5979 1 0 1091642 0
[pid=1001720/tid=1001726] ppid=1001707 vsize=19108176 memory=12340 CPUtime=3192.62 cores=0,2
/proc/1001720/task/1001726/stat : 1001726 (java) R 1001707 1001720 1001648 0 -1 4194368 127089 0 0 0 319177 85 0 0 20 0 20 0 186426549 19566772224 1076270 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 186426552 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001770] ppid=1001707 vsize=19108176 memory=-7741227592032611168 CPUtime=0 cores=0,2
/proc/1001720/task/1001770/stat : 1001770 (Finalizer) S 1001707 1001720 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 1076270 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001789] ppid=1001707 vsize=19108176 memory=12340 CPUtime=0 cores=0,2
/proc/1001720/task/1001789/stat : 1001789 (Common-Cleaner) S 1001707 1001720 1001648 0 -1 1077936192 3577 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 1076270 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001798] ppid=1001707 vsize=19108176 memory=4305080 CPUtime=0 cores=0,2
/proc/1001720/task/1001798/stat : 1001798 (Timer-0) S 1001707 1001720 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186426703 19566772224 1076270 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
Current children cumulated CPU time: 3231.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4305080 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.17 4.10 8/331 1003572
/proc/meminfo: memFree=108914968/131524600 swapFree=131071996/131071996
[pid=1001720] ppid=1001707 vsize=19108176 memory=4305080 CPUtime=3291.69 cores=0,2
/proc/1001720/stat : 1001720 (java) S 1001707 1001720 1001648 0 -1 1077936128 343517 0 0 0 328926 243 0 0 20 0 20 0 186426549 19566772224 1076270 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
/proc/1001720/statm: 4777044 1076270 5979 1 0 1091642 0
[pid=1001720/tid=1001726] ppid=1001707 vsize=19108176 memory=46904 CPUtime=3252.32 cores=0,2
/proc/1001720/task/1001726/stat : 1001726 (java) R 1001707 1001720 1001648 0 -1 4194368 128371 0 0 0 325147 85 0 0 20 0 20 0 186426549 19566772224 1076270 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 186426552 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001770] ppid=1001707 vsize=19108176 memory=12340 CPUtime=0 cores=0,2
/proc/1001720/task/1001770/stat : 1001770 (Finalizer) S 1001707 1001720 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 1076270 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001789] ppid=1001707 vsize=19108176 memory=27652 CPUtime=0 cores=0,2
/proc/1001720/task/1001789/stat : 1001789 (Common-Cleaner) S 1001707 1001720 1001648 0 -1 1077936192 3660 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 1076270 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001798] ppid=1001707 vsize=19108176 memory=4305080 CPUtime=0 cores=0,2
/proc/1001720/task/1001798/stat : 1001798 (Timer-0) S 1001707 1001720 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186426703 19566772224 1076270 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
Current children cumulated CPU time: 3291.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4305080 KiB
[startup+3342.3 s]
/proc/loadavg: 4.23 4.18 4.10 8/331 1003582
/proc/meminfo: memFree=107936064/131524600 swapFree=131071996/131071996
[pid=1001720] ppid=1001707 vsize=19108176 memory=4305084 CPUtime=3351.8 cores=0,2
/proc/1001720/stat : 1001720 (java) S 1001707 1001720 1001648 0 -1 1077936128 346023 0 0 0 334933 247 0 0 20 0 20 0 186426549 19566772224 1076271 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
/proc/1001720/statm: 4777044 1076271 5979 1 0 1091642 0
[pid=1001720/tid=1001726] ppid=1001707 vsize=19108176 memory=4305084 CPUtime=3311.74 cores=0,2
/proc/1001720/task/1001726/stat : 1001726 (java) R 1001707 1001720 1001648 0 -1 4194368 128771 0 0 0 331088 86 0 0 20 0 20 0 186426549 19566772224 1076271 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 186426552 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001770] ppid=1001707 vsize=19108176 memory=4305084 CPUtime=0 cores=0,2
/proc/1001720/task/1001770/stat : 1001770 (Finalizer) S 1001707 1001720 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 1076271 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001789] ppid=1001707 vsize=19108176 memory=12340 CPUtime=0 cores=0,2
/proc/1001720/task/1001789/stat : 1001789 (Common-Cleaner) S 1001707 1001720 1001648 0 -1 1077936192 3681 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 1076271 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001798] ppid=1001707 vsize=19108176 memory=12340 CPUtime=0 cores=0,2
/proc/1001720/task/1001798/stat : 1001798 (Timer-0) S 1001707 1001720 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186426703 19566772224 1076271 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
Current children cumulated CPU time: 3351.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4305084 KiB
[startup+3402.3 s]
/proc/loadavg: 4.21 4.19 4.11 8/331 1003592
/proc/meminfo: memFree=107459596/131524600 swapFree=131071996/131071996
[pid=1001720] ppid=1001707 vsize=19108176 memory=4305084 CPUtime=3411.71 cores=0,2
/proc/1001720/stat : 1001720 (java) S 1001707 1001720 1001648 0 -1 1077936128 346661 0 0 0 340922 249 0 0 20 0 20 0 186426549 19566772224 1076271 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
/proc/1001720/statm: 4777044 1076271 5979 1 0 1091642 0
[pid=1001720/tid=1001726] ppid=1001707 vsize=19108176 memory=4305084 CPUtime=3371.44 cores=0,2
/proc/1001720/task/1001726/stat : 1001726 (java) R 1001707 1001720 1001648 0 -1 4194368 129378 0 0 0 337057 87 0 0 20 0 20 0 186426549 19566772224 1076271 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 186426552 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001770] ppid=1001707 vsize=19108176 memory=46904 CPUtime=0 cores=0,2
/proc/1001720/task/1001770/stat : 1001770 (Finalizer) S 1001707 1001720 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 1076271 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001789] ppid=1001707 vsize=19108176 memory=12340 CPUtime=0 cores=0,2
/proc/1001720/task/1001789/stat : 1001789 (Common-Cleaner) S 1001707 1001720 1001648 0 -1 1077936192 3681 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 1076271 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001798] ppid=1001707 vsize=19108176 memory=4305084 CPUtime=0 cores=0,2
/proc/1001720/task/1001798/stat : 1001798 (Timer-0) S 1001707 1001720 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186426703 19566772224 1076271 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
Current children cumulated CPU time: 3411.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4305084 KiB
[startup+3462.3 s]
/proc/loadavg: 4.23 4.20 4.11 8/330 1003602
/proc/meminfo: memFree=107289820/131524600 swapFree=131071996/131071996
[pid=1001720] ppid=1001707 vsize=19108176 memory=4305084 CPUtime=3471.71 cores=0,2
/proc/1001720/stat : 1001720 (java) S 1001707 1001720 1001648 0 -1 1077936128 349819 0 0 0 346918 253 0 0 20 0 20 0 186426549 19566772224 1076271 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
/proc/1001720/statm: 4777044 1076271 5979 1 0 1091642 0
[pid=1001720/tid=1001726] ppid=1001707 vsize=19108176 memory=4305084 CPUtime=3430.96 cores=0,2
/proc/1001720/task/1001726/stat : 1001726 (java) R 1001707 1001720 1001648 0 -1 4194368 130752 0 0 0 343009 87 0 0 20 0 20 0 186426549 19566772224 1076271 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 186426552 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001770] ppid=1001707 vsize=19108176 memory=4305084 CPUtime=0 cores=0,2
/proc/1001720/task/1001770/stat : 1001770 (Finalizer) S 1001707 1001720 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 1076271 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001789] ppid=1001707 vsize=19108176 memory=4305084 CPUtime=0 cores=0,2
/proc/1001720/task/1001789/stat : 1001789 (Common-Cleaner) S 1001707 1001720 1001648 0 -1 1077936192 3760 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 1076271 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001798] ppid=1001707 vsize=19108176 memory=12340 CPUtime=0 cores=0,2
/proc/1001720/task/1001798/stat : 1001798 (Timer-0) S 1001707 1001720 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186426703 19566772224 1076271 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
Current children cumulated CPU time: 3471.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4305084 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.18 4.11 8/332 1003617
/proc/meminfo: memFree=107289184/131524600 swapFree=131071996/131071996
[pid=1001720] ppid=1001707 vsize=19108176 memory=4305084 CPUtime=3531.61 cores=0,2
/proc/1001720/stat : 1001720 (java) S 1001707 1001720 1001648 0 -1 1077936128 350251 0 0 0 352905 256 0 0 20 0 20 0 186426549 19566772224 1076271 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
/proc/1001720/statm: 4777044 1076271 5979 1 0 1091642 0
[pid=1001720/tid=1001726] ppid=1001707 vsize=19108176 memory=4305084 CPUtime=3490.65 cores=0,2
/proc/1001720/task/1001726/stat : 1001726 (java) R 1001707 1001720 1001648 0 -1 4194368 131135 0 0 0 348977 88 0 0 20 0 20 0 186426549 19566772224 1076271 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 186426552 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001770] ppid=1001707 vsize=19108176 memory=4305084 CPUtime=0 cores=0,2
/proc/1001720/task/1001770/stat : 1001770 (Finalizer) S 1001707 1001720 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 1076271 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001789] ppid=1001707 vsize=19108176 memory=46904 CPUtime=0 cores=0,2
/proc/1001720/task/1001789/stat : 1001789 (Common-Cleaner) S 1001707 1001720 1001648 0 -1 1077936192 3783 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 1076271 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001798] ppid=1001707 vsize=19108176 memory=4305084 CPUtime=0 cores=0,2
/proc/1001720/task/1001798/stat : 1001798 (Timer-0) S 1001707 1001720 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186426703 19566772224 1076271 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
Current children cumulated CPU time: 3531.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4305084 KiB
[startup+3582.3 s]
/proc/loadavg: 4.84 4.34 4.16 7/310 1003790
/proc/meminfo: memFree=114586240/131524600 swapFree=131071996/131071996
[pid=1001720] ppid=1001707 vsize=19108176 memory=4305084 CPUtime=3591.59 cores=0,2
/proc/1001720/stat : 1001720 (java) S 1001707 1001720 1001648 0 -1 1077936128 350946 0 0 0 358901 258 0 0 20 0 20 0 186426549 19566772224 1076271 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
/proc/1001720/statm: 4777044 1076271 5979 1 0 1091642 0
[pid=1001720/tid=1001726] ppid=1001707 vsize=19108176 memory=4305084 CPUtime=3550.23 cores=0,2
/proc/1001720/task/1001726/stat : 1001726 (java) R 1001707 1001720 1001648 0 -1 4194368 131681 0 0 0 354935 88 0 0 20 0 20 0 186426549 19566772224 1076271 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 186426552 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001770] ppid=1001707 vsize=19108176 memory=5492 CPUtime=0 cores=0,2
/proc/1001720/task/1001770/stat : 1001770 (Finalizer) S 1001707 1001720 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 1076271 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001789] ppid=1001707 vsize=19108176 memory=4305084 CPUtime=0 cores=0,2
/proc/1001720/task/1001789/stat : 1001789 (Common-Cleaner) S 1001707 1001720 1001648 0 -1 1077936192 3784 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 1076271 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001798] ppid=1001707 vsize=19108176 memory=-7741227592032611168 CPUtime=0 cores=0,2
/proc/1001720/task/1001798/stat : 1001798 (Timer-0) S 1001707 1001720 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186426703 19566772224 1076271 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
Current children cumulated CPU time: 3591.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4305084 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3590.8 s]
/proc/loadavg: 5.25 4.44 4.20 5/333 1003834
/proc/meminfo: memFree=110767976/131524600 swapFree=131071996/131071996
[pid=1001720] ppid=1001707 vsize=19108176 memory=4305084 CPUtime=3600.08 cores=0,2
/proc/1001720/stat : 1001720 (java) S 1001707 1001720 1001648 0 -1 1077936128 351150 0 0 0 359749 259 0 0 20 0 20 0 186426549 19566772224 1076271 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
/proc/1001720/statm: 4777044 1076271 5979 1 0 1091642 0
[pid=1001720/tid=1001726] ppid=1001707 vsize=19108176 memory=37484 CPUtime=3558.7 cores=0,2
/proc/1001720/task/1001726/stat : 1001726 (java) R 1001707 1001720 1001648 0 -1 4194368 131884 0 0 0 355782 88 0 0 20 0 20 0 186426549 19566772224 1076271 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 186426552 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001770] ppid=1001707 vsize=19108176 memory=-7741227592032611168 CPUtime=0 cores=0,2
/proc/1001720/task/1001770/stat : 1001770 (Finalizer) S 1001707 1001720 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 1076271 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001789] ppid=1001707 vsize=19108176 memory=4305084 CPUtime=0 cores=0,2
/proc/1001720/task/1001789/stat : 1001789 (Common-Cleaner) S 1001707 1001720 1001648 0 -1 1077936192 3785 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 1076271 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
[pid=1001720/tid=1001798] ppid=1001707 vsize=19108176 memory=4305084 CPUtime=0 cores=0,2
/proc/1001720/task/1001798/stat : 1001798 (Timer-0) S 1001707 1001720 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186426703 19566772224 1076271 134679101440 94621770809344 94621770813040 140721698775632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94621770820856 94621770821648 94621772660736 140721698784243 140721698784351 140721698784351 140721698791368 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4305084 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3590.88 s]
# the end of solver process 1001720 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.6 s, system=2.61404 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3590.88
CPU time (s): 3600.21
CPU user time (s): 3597.6
CPU system time (s): 2.61404
CPU usage (%): 100.26
Max. virtual memory (cumulated for all children) (KiB): 19113572
Max. memory (cumulated for all children) (KiB): 4305084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.6
system time used= 2.61404
maximum resident set size= 4306784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 354906
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118604
involuntary context switches= 32295
# summary of solver processes directly reported to runsolver:
# pid: 1001720
# total CPU time (s): 3600.21
# total CPU user time (s): 3597.6
# total CPU system time (s): 2.61404
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.18685 second user time and 20.5656 second system time
The end