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 (48644 MiB free)
memory of node 1: 64510 MiB (54854 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456099-1721718396/watcher-4456099-1721718396 -o /tmp/evaluation-result-4456099-1721718396/solver-4456099-1721718396 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721718396-86513 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4456099-1721718396.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=86554, runsolver pid=86545
[startup+0.100064 s]*
/proc/loadavg: 1.44 1.92 2.03 6/283 86604
/proc/meminfo: memFree=105896872/131524600 swapFree=131071996/131071996
[pid=86554] ppid=86545 vsize=18175400 memory=31868 CPUtime=0.01 cores=0,2
/proc/86554/stat : 86554 (java) S 86545 86554 86503 0 -1 1077936128 3199 0 81 0 0 1 0 0 20 0 7 0 8369924 18611609600 7967 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 0 0 16784588 0 0 0 17 0 0 0 3 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
/proc/86554/statm: 4543850 7967 3637 1 0 542675 0
[pid=86554/tid=86581] ppid=86545 vsize=18175400 memory=4026531971 CPUtime=0.01 cores=0,2
/proc/86554/task/86581/stat : 86581 (java) D 86545 86554 86503 0 -1 4194368 2640 0 50 0 0 1 0 0 20 0 7 0 8369928 18611609600 7967 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16784588 0 0 0 -1 0 0 0 4 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 18175400 KiB
Current children cumulated memory: 31868 KiB
[startup+0.206143 s]*
/proc/loadavg: 1.44 1.92 2.03 8/328 86649
/proc/meminfo: memFree=105796704/131524600 swapFree=131071996/131071996
[pid=86554] ppid=86545 vsize=18975048 memory=56988 CPUtime=0.09 cores=0,2
/proc/86554/stat : 86554 (java) S 86545 86554 86503 0 -1 1077936128 6851 0 139 0 7 2 0 0 20 0 18 0 8369924 19430449152 14247 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 0 0 16800975 0 0 0 17 0 0 0 3 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
/proc/86554/statm: 4743762 14247 5574 1 0 548966 0
[pid=86554/tid=86581] ppid=86545 vsize=18975048 memory=7885630755128410243 CPUtime=0.06 cores=0,2
/proc/86554/task/86581/stat : 86581 (java) R 86545 86554 86503 0 -1 4194368 5654 0 92 0 5 1 0 0 20 0 18 0 8369928 19430449152 14247 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86618] ppid=86545 vsize=18975048 memory=583 CPUtime=0 cores=0,2
/proc/86554/task/86618/stat : 86618 (Finalizer) S 86545 86554 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 8369940 19430449152 14247 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86648] ppid=86545 vsize=18975048 memory=14411523065906868 CPUtime=0 cores=0,2
/proc/86554/task/86648/stat : 86648 (Common-Cleaner) S 86545 86554 86503 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 8369941 19430449152 14247 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56988 KiB
[startup+0.311934 s]*
/proc/loadavg: 1.44 1.92 2.03 12/328 86649
/proc/meminfo: memFree=105751428/131524600 swapFree=131071996/131071996
[pid=86554] ppid=86545 vsize=18975048 memory=67344 CPUtime=0.28 cores=0,2
/proc/86554/stat : 86554 (java) S 86545 86554 86503 0 -1 1077936128 7791 0 139 0 25 3 0 0 20 0 18 0 8369924 19430449152 16836 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 0 0 16800975 0 0 0 17 0 0 0 3 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
/proc/86554/statm: 4743762 16836 5725 1 0 549644 0
[pid=86554/tid=86581] ppid=86545 vsize=18975048 memory=-6000919502737729127 CPUtime=0.16 cores=0,2
/proc/86554/task/86581/stat : 86581 (java) R 86545 86554 86503 0 -1 4194368 6066 0 92 0 14 2 0 0 20 0 18 0 8369928 19430449152 16836 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86618] ppid=86545 vsize=18975048 memory=-4421386500593116511 CPUtime=0 cores=0,2
/proc/86554/task/86618/stat : 86618 (Finalizer) S 86545 86554 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 8369940 19430449152 16836 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86648] ppid=86545 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/86554/task/86648/stat : 86648 (Common-Cleaner) S 86545 86554 86503 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 8369941 19430449152 16836 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67344 KiB
[startup+0.701107 s]
/proc/loadavg: 1.44 1.92 2.03 14/332 86653
/proc/meminfo: memFree=105521736/131524600 swapFree=131071996/131071996
[pid=86554] ppid=86545 vsize=19108176 memory=171980 CPUtime=0.98 cores=0,2
/proc/86554/stat : 86554 (java) S 86545 86554 86503 0 -1 1077936128 12402 0 140 0 93 5 0 0 20 0 20 0 8369924 19566772224 42995 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 0 0 16800975 0 0 0 17 0 0 0 3 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
/proc/86554/statm: 4777044 42995 5791 1 0 553027 0
[pid=86554/tid=86581] ppid=86545 vsize=19108176 memory=34848 CPUtime=0.49 cores=0,2
/proc/86554/task/86581/stat : 86581 (java) R 86545 86554 86503 0 -1 4194368 6265 0 93 0 46 3 0 0 20 0 20 0 8369928 19566772224 42995 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86618] ppid=86545 vsize=19108176 memory=12348 CPUtime=0 cores=0,2
/proc/86554/task/86618/stat : 86618 (Finalizer) S 86545 86554 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 42995 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86648] ppid=86545 vsize=19108176 memory=5552 CPUtime=0 cores=0,2
/proc/86554/task/86648/stat : 86648 (Common-Cleaner) S 86545 86554 86503 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 42995 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86651] ppid=86545 vsize=19108176 memory=16012 CPUtime=0 cores=0,2
/proc/86554/task/86651/stat : 86651 (Timer-0) S 86545 86554 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369966 19566772224 42995 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 171980 KiB
[startup+1.50093 s]
/proc/loadavg: 1.44 1.92 2.03 12/336 86657
/proc/meminfo: memFree=105308404/131524600 swapFree=131071996/131071996
[pid=86554] ppid=86545 vsize=19108176 memory=180568 CPUtime=2.57 cores=0,2
/proc/86554/stat : 86554 (java) S 86545 86554 86503 0 -1 1077936128 19877 0 140 0 251 6 0 0 20 0 20 0 8369924 19566772224 45142 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 0 0 16800975 0 0 0 17 0 0 0 3 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
/proc/86554/statm: 4777044 45142 5807 1 0 554901 0
[pid=86554/tid=86581] ppid=86545 vsize=19108176 memory=0 CPUtime=1.26 cores=0,2
/proc/86554/task/86581/stat : 86581 (java) R 86545 86554 86503 0 -1 4194368 6571 0 93 0 123 3 0 0 20 0 20 0 8369928 19566772224 45142 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86618] ppid=86545 vsize=19108176 memory=12348 CPUtime=0 cores=0,2
/proc/86554/task/86618/stat : 86618 (Finalizer) S 86545 86554 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 45142 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86648] ppid=86545 vsize=19108176 memory=33 CPUtime=0 cores=0,2
/proc/86554/task/86648/stat : 86648 (Common-Cleaner) S 86545 86554 86503 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 45142 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86651] ppid=86545 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/86554/task/86651/stat : 86651 (Timer-0) S 86545 86554 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369966 19566772224 45142 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
Current children cumulated CPU time: 2.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 180568 KiB
[startup+3.10793 s]
/proc/loadavg: 2.13 2.05 2.07 8/336 86657
/proc/meminfo: memFree=105068348/131524600 swapFree=131071996/131071996
[pid=86554] ppid=86545 vsize=19108176 memory=218808 CPUtime=5.5 cores=0,2
/proc/86554/stat : 86554 (java) S 86545 86554 86503 0 -1 1077936128 27276 0 140 0 542 8 0 0 20 0 20 0 8369924 19566772224 54702 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 0 0 16800975 0 0 0 17 0 0 0 3 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
/proc/86554/statm: 4777044 54702 5835 1 0 558068 0
[pid=86554/tid=86581] ppid=86545 vsize=19108176 memory=0 CPUtime=2.8 cores=0,2
/proc/86554/task/86581/stat : 86581 (java) R 86545 86554 86503 0 -1 4194368 7389 0 93 0 277 3 0 0 20 0 20 0 8369928 19566772224 54702 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86618] ppid=86545 vsize=19108176 memory=12348 CPUtime=0 cores=0,2
/proc/86554/task/86618/stat : 86618 (Finalizer) S 86545 86554 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 54702 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86648] ppid=86545 vsize=19108176 memory=-6000919485608191591 CPUtime=0 cores=0,2
/proc/86554/task/86648/stat : 86648 (Common-Cleaner) S 86545 86554 86503 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 54702 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86651] ppid=86545 vsize=19108176 memory=14411527360874681 CPUtime=0 cores=0,2
/proc/86554/task/86651/stat : 86651 (Timer-0) S 86545 86554 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369966 19566772224 54702 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
Current children cumulated CPU time: 5.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 218808 KiB
[startup+6.30026 s]
/proc/loadavg: 2.13 2.05 2.07 6/336 86658
/proc/meminfo: memFree=104533172/131524600 swapFree=131071996/131071996
[pid=86554] ppid=86545 vsize=19108176 memory=386836 CPUtime=8.93 cores=0,2
/proc/86554/stat : 86554 (java) S 86545 86554 86503 0 -1 1077936128 27514 0 140 0 882 11 0 0 20 0 20 0 8369924 19566772224 96709 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 0 0 16800975 0 0 0 17 0 0 0 3 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
/proc/86554/statm: 4777044 96709 5835 1 0 558085 0
[pid=86554/tid=86581] ppid=86545 vsize=19108176 memory=0 CPUtime=5.92 cores=0,2
/proc/86554/task/86581/stat : 86581 (java) R 86545 86554 86503 0 -1 4194368 7522 0 93 0 586 6 0 0 20 0 20 0 8369928 19566772224 96709 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86618] ppid=86545 vsize=19108176 memory=354068 CPUtime=0 cores=0,2
/proc/86554/task/86618/stat : 86618 (Finalizer) S 86545 86554 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 96709 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86648] ppid=86545 vsize=19108176 memory=12348 CPUtime=0 cores=0,2
/proc/86554/task/86648/stat : 86648 (Common-Cleaner) S 86545 86554 86503 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 96709 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86651] ppid=86545 vsize=19108176 memory=180568 CPUtime=0 cores=0,2
/proc/86554/task/86651/stat : 86651 (Timer-0) S 86545 86554 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369966 19566772224 96709 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
Current children cumulated CPU time: 8.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 386836 KiB
[startup+12.7003 s]
/proc/loadavg: 2.28 2.08 2.08 6/336 86658
/proc/meminfo: memFree=102864164/131524600 swapFree=131071996/131071996
[pid=86554] ppid=86545 vsize=19108176 memory=974900 CPUtime=15.57 cores=0,2
/proc/86554/stat : 86554 (java) S 86545 86554 86503 0 -1 1077936128 34066 0 140 0 1533 24 0 0 20 0 20 0 8369924 19566772224 243725 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 0 0 16800975 0 0 0 17 0 0 0 3 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
/proc/86554/statm: 4777044 243725 5836 1 0 558085 0
[pid=86554/tid=86581] ppid=86545 vsize=19108176 memory=180568 CPUtime=12.22 cores=0,2
/proc/86554/task/86581/stat : 86581 (java) R 86545 86554 86503 0 -1 4194368 8869 0 93 0 1206 16 0 0 20 0 20 0 8369928 19566772224 243725 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86618] ppid=86545 vsize=19108176 memory=974900 CPUtime=0 cores=0,2
/proc/86554/task/86618/stat : 86618 (Finalizer) S 86545 86554 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 243725 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86648] ppid=86545 vsize=19108176 memory=386836 CPUtime=0 cores=0,2
/proc/86554/task/86648/stat : 86648 (Common-Cleaner) S 86545 86554 86503 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 243725 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86651] ppid=86545 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/86554/task/86651/stat : 86651 (Timer-0) S 86545 86554 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369966 19566772224 243725 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
Current children cumulated CPU time: 15.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 974900 KiB
[startup+25.5003 s]
/proc/loadavg: 2.66 2.18 2.11 7/336 86660
/proc/meminfo: memFree=100778120/131524600 swapFree=131071996/131071996
[pid=86554] ppid=86545 vsize=19108176 memory=1457444 CPUtime=28.54 cores=0,2
/proc/86554/stat : 86554 (java) S 86545 86554 86503 0 -1 1077936128 39343 0 140 0 2821 33 0 0 20 0 20 0 8369924 19566772224 364361 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 0 0 16800975 0 0 0 17 0 0 0 3 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
/proc/86554/statm: 4777044 364361 5836 1 0 664609 0
[pid=86554/tid=86581] ppid=86545 vsize=19108176 memory=0 CPUtime=24.79 cores=0,2
/proc/86554/task/86581/stat : 86581 (java) R 86545 86554 86503 0 -1 4194368 11289 0 93 0 2455 24 0 0 20 0 20 0 8369928 19566772224 364361 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86618] ppid=86545 vsize=19108176 memory=323348 CPUtime=0 cores=0,2
/proc/86554/task/86618/stat : 86618 (Finalizer) S 86545 86554 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 364361 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86648] ppid=86545 vsize=19108176 memory=1457416 CPUtime=0 cores=0,2
/proc/86554/task/86648/stat : 86648 (Common-Cleaner) S 86545 86554 86503 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 364361 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86651] ppid=86545 vsize=19108176 memory=1457360 CPUtime=0 cores=0,2
/proc/86554/task/86651/stat : 86651 (Timer-0) S 86545 86554 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369966 19566772224 364361 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
Current children cumulated CPU time: 28.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1457444 KiB
[startup+51.106 s]
/proc/loadavg: 3.23 2.36 2.18 6/336 86665
/proc/meminfo: memFree=99561352/131524600 swapFree=131071996/131071996
[pid=86554] ppid=86545 vsize=19108176 memory=1740208 CPUtime=54.41 cores=0,2
/proc/86554/stat : 86554 (java) S 86545 86554 86503 0 -1 1077936128 49636 0 140 0 5400 41 0 0 20 0 20 0 8369924 19566772224 435052 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 0 0 16800975 0 0 0 17 0 0 0 3 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
/proc/86554/statm: 4777044 435052 5836 1 0 664628 0
[pid=86554/tid=86581] ppid=86545 vsize=19108176 memory=11576 CPUtime=50.02 cores=0,2
/proc/86554/task/86581/stat : 86581 (java) R 86545 86554 86503 0 -1 4194368 16138 0 93 0 4974 28 0 0 20 0 20 0 8369928 19566772224 435052 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86618] ppid=86545 vsize=19108176 memory=1740196 CPUtime=0 cores=0,2
/proc/86554/task/86618/stat : 86618 (Finalizer) S 86545 86554 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 435052 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86648] ppid=86545 vsize=19108176 memory=1740196 CPUtime=0 cores=0,2
/proc/86554/task/86648/stat : 86648 (Common-Cleaner) S 86545 86554 86503 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 435052 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86651] ppid=86545 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/86554/task/86651/stat : 86651 (Timer-0) S 86545 86554 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369966 19566772224 435052 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
################
# More data... #
################
/proc/meminfo: memFree=96354988/131524600 swapFree=131071996/131071996
[pid=86554] ppid=86545 vsize=19108176 memory=2625092 CPUtime=3170.58 cores=0,2
/proc/86554/stat : 86554 (java) S 86545 86554 86503 0 -1 1077936128 296122 0 141 0 316863 195 0 0 20 0 20 0 8369924 19566772224 656273 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 0 0 16800975 0 0 0 17 0 0 0 3 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
/proc/86554/statm: 4777044 656273 5891 1 0 665238 0
[pid=86554/tid=86581] ppid=86545 vsize=19108176 memory=5552 CPUtime=3123.14 cores=0,2
/proc/86554/task/86581/stat : 86581 (java) R 86545 86554 86503 0 -1 4194368 126229 0 93 0 312260 54 0 0 20 0 20 0 8369928 19566772224 656273 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86618] ppid=86545 vsize=19108176 memory=12348 CPUtime=0 cores=0,2
/proc/86554/task/86618/stat : 86618 (Finalizer) S 86545 86554 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 656273 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86648] ppid=86545 vsize=19108176 memory=-6000919485608191591 CPUtime=0 cores=0,2
/proc/86554/task/86648/stat : 86648 (Common-Cleaner) S 86545 86554 86503 0 -1 1077936192 3535 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 656273 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86651] ppid=86545 vsize=19108176 memory=279794168852528 CPUtime=0 cores=0,2
/proc/86554/task/86651/stat : 86651 (Timer-0) S 86545 86554 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369966 19566772224 656273 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
Current children cumulated CPU time: 3170.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2625092 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.26 4.19 6/335 88428
/proc/meminfo: memFree=96354076/131524600 swapFree=131071996/131071996
[pid=86554] ppid=86545 vsize=19108176 memory=2625092 CPUtime=3231.59 cores=0,2
/proc/86554/stat : 86554 (java) S 86545 86554 86503 0 -1 1077936128 300766 0 141 0 322960 199 0 0 20 0 20 0 8369924 19566772224 656273 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 0 0 16800975 0 0 0 17 0 0 0 3 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
/proc/86554/statm: 4777044 656273 5891 1 0 665238 0
[pid=86554/tid=86581] ppid=86545 vsize=19108176 memory=11576 CPUtime=3182.46 cores=0,2
/proc/86554/task/86581/stat : 86581 (java) S 86545 86554 86503 0 -1 1077936192 128078 0 93 0 318192 54 0 0 20 0 20 0 8369928 19566772224 656273 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 17 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86618] ppid=86545 vsize=19108176 memory=2625092 CPUtime=0 cores=0,2
/proc/86554/task/86618/stat : 86618 (Finalizer) S 86545 86554 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 656273 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86648] ppid=86545 vsize=19108176 memory=26028 CPUtime=0 cores=0,2
/proc/86554/task/86648/stat : 86648 (Common-Cleaner) S 86545 86554 86503 0 -1 1077936192 3580 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 656273 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86651] ppid=86545 vsize=19108176 memory=2625092 CPUtime=0 cores=0,2
/proc/86554/task/86651/stat : 86651 (Timer-0) S 86545 86554 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369966 19566772224 656273 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
Current children cumulated CPU time: 3231.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2625092 KiB
[startup+3282.31 s]
/proc/loadavg: 4.29 4.30 4.21 6/333 88451
/proc/meminfo: memFree=96352816/131524600 swapFree=131071996/131071996
[pid=86554] ppid=86545 vsize=19108176 memory=2625092 CPUtime=3292.29 cores=0,2
/proc/86554/stat : 86554 (java) S 86545 86554 86503 0 -1 1077936128 305429 0 141 0 329026 203 0 0 20 0 20 0 8369924 19566772224 656273 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 0 0 16800975 0 0 0 17 0 0 0 3 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
/proc/86554/statm: 4777044 656273 5891 1 0 665238 0
[pid=86554/tid=86581] ppid=86545 vsize=19108176 memory=2625092 CPUtime=3241.38 cores=0,2
/proc/86554/task/86581/stat : 86581 (java) R 86545 86554 86503 0 -1 4194368 130022 0 93 0 324083 55 0 0 20 0 20 0 8369928 19566772224 656273 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 17 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86618] ppid=86545 vsize=19108176 memory=2625092 CPUtime=0 cores=0,2
/proc/86554/task/86618/stat : 86618 (Finalizer) S 86545 86554 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 656273 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86648] ppid=86545 vsize=19108176 memory=2625092 CPUtime=0 cores=0,2
/proc/86554/task/86648/stat : 86648 (Common-Cleaner) S 86545 86554 86503 0 -1 1077936192 3659 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 656273 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86651] ppid=86545 vsize=19108176 memory=34848 CPUtime=0 cores=0,2
/proc/86554/task/86651/stat : 86651 (Timer-0) S 86545 86554 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369966 19566772224 656273 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
Current children cumulated CPU time: 3292.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2625092 KiB
[startup+3342.3 s]
/proc/loadavg: 4.28 4.29 4.21 7/333 88462
/proc/meminfo: memFree=96352108/131524600 swapFree=131071996/131071996
[pid=86554] ppid=86545 vsize=19108176 memory=2625100 CPUtime=3354.08 cores=0,2
/proc/86554/stat : 86554 (java) S 86545 86554 86503 0 -1 1077936128 310828 0 141 0 335201 207 0 0 20 0 20 0 8369924 19566772224 656275 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 0 0 16800975 0 0 0 17 0 0 0 3 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
/proc/86554/statm: 4777044 656275 5891 1 0 665243 0
[pid=86554/tid=86581] ppid=86545 vsize=19108176 memory=2625092 CPUtime=3300.45 cores=0,2
/proc/86554/task/86581/stat : 86581 (java) R 86545 86554 86503 0 -1 4194368 132578 0 93 0 329990 55 0 0 20 0 20 0 8369928 19566772224 656275 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86618] ppid=86545 vsize=19108176 memory=328956 CPUtime=0 cores=0,2
/proc/86554/task/86618/stat : 86618 (Finalizer) S 86545 86554 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 656275 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86648] ppid=86545 vsize=19108176 memory=28272 CPUtime=0 cores=0,2
/proc/86554/task/86648/stat : 86648 (Common-Cleaner) S 86545 86554 86503 0 -1 1077936192 3743 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 656275 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86651] ppid=86545 vsize=19108176 memory=2625092 CPUtime=0 cores=0,2
/proc/86554/task/86651/stat : 86651 (Timer-0) S 86545 86554 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369966 19566772224 656275 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
Current children cumulated CPU time: 3354.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2625100 KiB
[startup+3402.3 s]
/proc/loadavg: 4.28 4.29 4.21 6/333 88473
/proc/meminfo: memFree=96351716/131524600 swapFree=131071996/131071996
[pid=86554] ppid=86545 vsize=19108176 memory=2625100 CPUtime=3416.31 cores=0,2
/proc/86554/stat : 86554 (java) S 86545 86554 86503 0 -1 1077936128 315786 0 141 0 341420 211 0 0 20 0 20 0 8369924 19566772224 656275 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 0 0 16800975 0 0 0 17 0 0 0 3 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
/proc/86554/statm: 4777044 656275 5891 1 0 665243 0
[pid=86554/tid=86581] ppid=86545 vsize=19108176 memory=2625092 CPUtime=3359.85 cores=0,2
/proc/86554/task/86581/stat : 86581 (java) R 86545 86554 86503 0 -1 4194368 134488 0 93 0 335929 56 0 0 20 0 20 0 8369928 19566772224 656275 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86618] ppid=86545 vsize=19108176 memory=2625100 CPUtime=0 cores=0,2
/proc/86554/task/86618/stat : 86618 (Finalizer) S 86545 86554 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 656275 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86648] ppid=86545 vsize=19108176 memory=2625100 CPUtime=0 cores=0,2
/proc/86554/task/86648/stat : 86648 (Common-Cleaner) S 86545 86554 86503 0 -1 1077936192 3851 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 656275 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86651] ppid=86545 vsize=19108176 memory=2625100 CPUtime=0 cores=0,2
/proc/86554/task/86651/stat : 86651 (Timer-0) S 86545 86554 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369966 19566772224 656275 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
Current children cumulated CPU time: 3416.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2625100 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.27 4.21 6/332 88483
/proc/meminfo: memFree=96350804/131524600 swapFree=131071996/131071996
[pid=86554] ppid=86545 vsize=19108176 memory=2625104 CPUtime=3477.61 cores=0,2
/proc/86554/stat : 86554 (java) S 86545 86554 86503 0 -1 1077936128 319583 0 141 0 347546 215 0 0 20 0 20 0 8369924 19566772224 656276 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 0 0 16800975 0 0 0 17 0 0 0 3 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
/proc/86554/statm: 4777044 656276 5891 1 0 665243 0
[pid=86554/tid=86581] ppid=86545 vsize=19108176 memory=2625092 CPUtime=3419.18 cores=0,2
/proc/86554/task/86581/stat : 86581 (java) R 86545 86554 86503 0 -1 4194368 136596 0 93 0 341862 56 0 0 20 0 20 0 8369928 19566772224 656276 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86618] ppid=86545 vsize=19108176 memory=2625100 CPUtime=0 cores=0,2
/proc/86554/task/86618/stat : 86618 (Finalizer) S 86545 86554 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 656276 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86648] ppid=86545 vsize=19108176 memory=2625104 CPUtime=0 cores=0,2
/proc/86554/task/86648/stat : 86648 (Common-Cleaner) S 86545 86554 86503 0 -1 1077936192 3996 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 656276 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86651] ppid=86545 vsize=19108176 memory=2625104 CPUtime=0 cores=0,2
/proc/86554/task/86651/stat : 86651 (Timer-0) S 86545 86554 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369966 19566772224 656276 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
Current children cumulated CPU time: 3477.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2625104 KiB
[startup+3522.3 s]
/proc/loadavg: 4.41 4.31 4.22 6/332 88495
/proc/meminfo: memFree=96349972/131524600 swapFree=131071996/131071996
[pid=86554] ppid=86545 vsize=19108176 memory=2625140 CPUtime=3539.86 cores=0,2
/proc/86554/stat : 86554 (java) S 86545 86554 86503 0 -1 1077936128 325747 0 141 0 353768 218 0 0 20 0 20 0 8369924 19566772224 656285 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 0 0 16800975 0 0 0 17 0 0 0 3 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
/proc/86554/statm: 4777044 656285 5891 1 0 665245 0
[pid=86554/tid=86581] ppid=86545 vsize=19108176 memory=2625132 CPUtime=3478.65 cores=0,2
/proc/86554/task/86581/stat : 86581 (java) R 86545 86554 86503 0 -1 4194368 138401 0 93 0 347809 56 0 0 20 0 20 0 8369928 19566772224 656285 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86618] ppid=86545 vsize=19108176 memory=11576 CPUtime=0 cores=0,2
/proc/86554/task/86618/stat : 86618 (Finalizer) S 86545 86554 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 656285 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86648] ppid=86545 vsize=19108176 memory=2625140 CPUtime=0 cores=0,2
/proc/86554/task/86648/stat : 86648 (Common-Cleaner) S 86545 86554 86503 0 -1 1077936192 3996 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 656285 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86651] ppid=86545 vsize=19108176 memory=2625140 CPUtime=0 cores=0,2
/proc/86554/task/86651/stat : 86651 (Timer-0) S 86545 86554 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369966 19566772224 656285 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
Current children cumulated CPU time: 3539.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2625140 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3581.2 s]
/proc/loadavg: 4.25 4.28 4.22 6/329 88640
/proc/meminfo: memFree=92661464/131524600 swapFree=131071996/131071996
[pid=86554] ppid=86545 vsize=19108176 memory=2625140 CPUtime=3600 cores=0,2
/proc/86554/stat : 86554 (java) S 86545 86554 86503 0 -1 1077936128 328354 0 141 0 359779 221 0 0 20 0 20 0 8369924 19566772224 656285 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 0 0 16800975 0 0 0 17 0 0 0 3 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
/proc/86554/statm: 4777044 656285 5891 1 0 665245 0
[pid=86554/tid=86581] ppid=86545 vsize=19108176 memory=11540 CPUtime=3537.02 cores=0,2
/proc/86554/task/86581/stat : 86581 (java) R 86545 86554 86503 0 -1 4194368 140114 0 93 0 353645 57 0 0 20 0 20 0 8369928 19566772224 656285 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86618] ppid=86545 vsize=19108176 memory=-6000919485608191591 CPUtime=0 cores=0,2
/proc/86554/task/86618/stat : 86618 (Finalizer) S 86545 86554 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 656285 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86648] ppid=86545 vsize=19108176 memory=26028 CPUtime=0 cores=0,2
/proc/86554/task/86648/stat : 86648 (Common-Cleaner) S 86545 86554 86503 0 -1 1077936192 4051 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 656285 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
[pid=86554/tid=86651] ppid=86545 vsize=19108176 memory=1800 CPUtime=0 cores=0,2
/proc/86554/task/86651/stat : 86651 (Timer-0) S 86545 86554 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369966 19566772224 656285 134679101440 93842712391680 93842712395376 140725533414736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93842712403192 93842712403984 93842733572096 140725533418479 140725533418592 140725533418592 140725533425608 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2625140 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3581.29 s]
# the end of solver process 86554 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.94 s, system=2.22909 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3581.29
CPU time (s): 3600.17
CPU user time (s): 3597.94
CPU system time (s): 2.22909
CPU usage (%): 100.527
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2625140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.94
system time used= 2.2291
maximum resident set size= 2625812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 331208
page faults= 141
swaps= 0
block input operations= 30384
block output operations= 3824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 124174
involuntary context switches= 34572
# summary of solver processes directly reported to runsolver:
# pid: 86554
# total CPU time (s): 3600.17
# total CPU user time (s): 3597.94
# total CPU system time (s): 2.22909
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.13957 second user time and 19.1741 second system time
The end