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: 63794 MiB (57645 MiB free)
memory of node 1: 64507 MiB (51534 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514884-1751234862/watcher-4514884-1751234862 -o /tmp/evaluation-result-4514884-1751234862/solver-4514884-1751234862 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751227848-32846 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4514884-1751234862.opb
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=33815, runsolver pid=33812
[startup+0.100069 s]*
/proc/loadavg: 4.33 4.45 4.39 6/327 33833
/proc/meminfo: memFree=111770984/131382112 swapFree=33010684/33010684
[pid=33815] ppid=33812 vsize=18930384 memory=47368 CPUtime=0.11 cores=0,2
/proc/33815/stat : 33815 (java) S 33812 33815 32836 0 -1 4194304 5683 0 0 0 8 3 0 0 20 0 18 0 39166019 19384713216 11842 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
/proc/33815/statm: 4732596 11842 5145 1 0 546893 0
[pid=33815/tid=33817] ppid=33812 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=0,2
/proc/33815/task/33817/stat : 33817 (java) R 33812 33815 32836 0 -1 4194368 4588 0 0 0 4 2 0 0 20 0 18 0 39166021 19384713216 11842 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33826] ppid=33812 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/33815/task/33826/stat : 33826 (Finalizer) S 33812 33815 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39166026 19384713216 11842 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33833] ppid=33812 vsize=18930384 memory=59593594258114 CPUtime=0 cores=0,2
/proc/33815/task/33833/stat : 33833 (Common-Cleaner) S 33812 33815 32836 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 39166027 19384713216 11842 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 47368 KiB
[startup+0.213923 s]*
/proc/loadavg: 4.33 4.45 4.39 6/327 33833
/proc/meminfo: memFree=111770984/131382112 swapFree=33010684/33010684
[pid=33815] ppid=33812 vsize=18930384 memory=53028 CPUtime=0.26 cores=0,2
/proc/33815/stat : 33815 (java) S 33812 33815 32836 0 -1 4194304 6424 0 0 0 23 3 0 0 20 0 18 0 39166019 19384713216 13257 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
/proc/33815/statm: 4732596 13257 5337 1 0 547512 0
[pid=33815/tid=33817] ppid=33812 vsize=18930384 memory=4026597660 CPUtime=0.16 cores=0,2
/proc/33815/task/33817/stat : 33817 (java) R 33812 33815 32836 0 -1 4194368 4967 0 0 0 14 2 0 0 20 0 18 0 39166021 19384713216 13257 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33826] ppid=33812 vsize=18930384 memory=16142 CPUtime=0 cores=0,2
/proc/33815/task/33826/stat : 33826 (Finalizer) S 33812 33815 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39166026 19384713216 13257 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33833] ppid=33812 vsize=18930384 memory=58494082614266 CPUtime=0 cores=0,2
/proc/33815/task/33833/stat : 33833 (Common-Cleaner) S 33812 33815 32836 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 39166027 19384713216 13257 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53028 KiB
[startup+0.313694 s]*
/proc/loadavg: 4.33 4.45 4.39 7/327 33833
/proc/meminfo: memFree=111764872/131382112 swapFree=33010684/33010684
[pid=33815] ppid=33812 vsize=18930384 memory=58272 CPUtime=0.42 cores=0,2
/proc/33815/stat : 33815 (java) S 33812 33815 32836 0 -1 4194304 6689 0 0 0 38 4 0 0 20 0 18 0 39166019 19384713216 14568 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
/proc/33815/statm: 4732596 14568 5337 1 0 547709 0
[pid=33815/tid=33817] ppid=33812 vsize=18930384 memory=-6000919498543229292 CPUtime=0.24 cores=0,2
/proc/33815/task/33817/stat : 33817 (java) R 33812 33815 32836 0 -1 4194368 5127 0 0 0 21 3 0 0 20 0 18 0 39166021 19384713216 14568 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33826] ppid=33812 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/33815/task/33826/stat : 33826 (Finalizer) S 33812 33815 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39166026 19384713216 14568 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33833] ppid=33812 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/33815/task/33833/stat : 33833 (Common-Cleaner) S 33812 33815 32836 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 39166027 19384713216 14568 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58272 KiB
[startup+0.700321 s]
/proc/loadavg: 4.33 4.45 4.39 7/327 33833
/proc/meminfo: memFree=111760776/131382112 swapFree=33010684/33010684
[pid=33815] ppid=33812 vsize=18997356 memory=74492 CPUtime=1.11 cores=0,2
/proc/33815/stat : 33815 (java) S 33812 33815 32836 0 -1 4194304 8789 0 0 0 105 6 0 0 20 0 19 0 39166019 19453292544 18623 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
/proc/33815/statm: 4749339 18623 5433 1 0 549148 0
[pid=33815/tid=33817] ppid=33812 vsize=18997356 memory=17536 CPUtime=0.59 cores=0,2
/proc/33815/task/33817/stat : 33817 (java) R 33812 33815 32836 0 -1 4194368 5444 0 0 0 55 4 0 0 20 0 19 0 39166021 19453292544 18623 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33826] ppid=33812 vsize=18997356 memory=10624 CPUtime=0 cores=0,2
/proc/33815/task/33826/stat : 33826 (Finalizer) S 33812 33815 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39166026 19453292544 18623 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33833] ppid=33812 vsize=18997356 memory=3200 CPUtime=0 cores=0,2
/proc/33815/task/33833/stat : 33833 (Common-Cleaner) S 33812 33815 32836 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39166027 19453292544 18623 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 18997356 KiB
Current children cumulated memory: 74492 KiB
[startup+1.50028 s]
/proc/loadavg: 4.33 4.45 4.39 6/328 33834
/proc/meminfo: memFree=111720528/131382112 swapFree=33010684/33010684
[pid=33815] ppid=33812 vsize=19063512 memory=164008 CPUtime=2.69 cores=0,2
/proc/33815/stat : 33815 (java) S 33812 33815 32836 0 -1 4194304 13701 0 0 0 259 10 0 0 20 0 20 0 39166019 19521036288 41002 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
/proc/33815/statm: 4765878 41002 5497 1 0 550454 0
[pid=33815/tid=33817] ppid=33812 vsize=19063512 memory=3200 CPUtime=1.33 cores=0,2
/proc/33815/task/33817/stat : 33817 (java) R 33812 33815 32836 0 -1 4194368 5798 0 0 0 127 6 0 0 20 0 20 0 39166021 19521036288 41002 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33826] ppid=33812 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/33815/task/33826/stat : 33826 (Finalizer) S 33812 33815 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39166026 19521036288 41002 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33833] ppid=33812 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/33815/task/33833/stat : 33833 (Common-Cleaner) S 33812 33815 32836 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 39166027 19521036288 41002 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33834] ppid=33812 vsize=19063512 memory=14560 CPUtime=0 cores=0,2
/proc/33815/task/33834/stat : 33834 (Timer-0) S 33812 33815 32836 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39166073 19521036288 41002 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 164008 KiB
[startup+3.10561 s]
/proc/loadavg: 4.33 4.45 4.39 6/329 33835
/proc/meminfo: memFree=111290984/131382112 swapFree=33010684/33010684
[pid=33815] ppid=33812 vsize=19063512 memory=592116 CPUtime=5.61 cores=0,2
/proc/33815/stat : 33815 (java) S 33812 33815 32836 0 -1 4194304 20997 0 0 0 541 20 0 0 20 0 20 0 39166019 19521036288 148029 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
/proc/33815/statm: 4765878 148029 5497 1 0 784661 0
[pid=33815/tid=33817] ppid=33812 vsize=19063512 memory=14560 CPUtime=2.84 cores=0,2
/proc/33815/task/33817/stat : 33817 (java) R 33812 33815 32836 0 -1 4194368 6657 0 0 0 271 13 0 0 20 0 20 0 39166021 19521036288 148029 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33826] ppid=33812 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/33815/task/33826/stat : 33826 (Finalizer) S 33812 33815 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39166026 19521036288 148029 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33833] ppid=33812 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/33815/task/33833/stat : 33833 (Common-Cleaner) S 33812 33815 32836 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 39166027 19521036288 148029 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33834] ppid=33812 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/33815/task/33834/stat : 33834 (Timer-0) S 33812 33815 32836 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39166073 19521036288 148029 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
Current children cumulated CPU time: 5.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 592116 KiB
[startup+6.30032 s]
/proc/loadavg: 4.30 4.45 4.39 6/329 33835
/proc/meminfo: memFree=110307976/131382112 swapFree=33010684/33010684
[pid=33815] ppid=33812 vsize=19063512 memory=1680552 CPUtime=10.18 cores=0,2
/proc/33815/stat : 33815 (java) S 33812 33815 32836 0 -1 4194304 23174 0 0 0 976 42 0 0 20 0 20 0 39166019 19521036288 420138 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
/proc/33815/statm: 4765878 420138 5497 1 0 784698 0
[pid=33815/tid=33817] ppid=33812 vsize=19063512 memory=0 CPUtime=6.01 cores=0,2
/proc/33815/task/33817/stat : 33817 (java) R 33812 33815 32836 0 -1 4194368 7502 0 0 0 566 35 0 0 20 0 20 0 39166021 19521036288 420138 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33826] ppid=33812 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/33815/task/33826/stat : 33826 (Finalizer) S 33812 33815 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39166026 19521036288 420138 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33833] ppid=33812 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/33815/task/33833/stat : 33833 (Common-Cleaner) S 33812 33815 32836 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 39166027 19521036288 420138 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33834] ppid=33812 vsize=19063512 memory=164904 CPUtime=0 cores=0,2
/proc/33815/task/33834/stat : 33834 (Timer-0) S 33812 33815 32836 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39166073 19521036288 420138 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
Current children cumulated CPU time: 10.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1680552 KiB
[startup+12.7004 s]
/proc/loadavg: 4.28 4.44 4.39 5/306 33853
/proc/meminfo: memFree=111772808/131382112 swapFree=33010684/33010684
[pid=33815] ppid=33812 vsize=19063512 memory=3550004 CPUtime=17.4 cores=0,2
/proc/33815/stat : 33815 (java) S 33812 33815 32836 0 -1 4194304 25429 0 0 0 1660 80 0 0 20 0 20 0 39166019 19521036288 887501 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
/proc/33815/statm: 4765878 887501 5497 1 0 1208757 0
[pid=33815/tid=33817] ppid=33812 vsize=19063512 memory=164904 CPUtime=12.06 cores=0,2
/proc/33815/task/33817/stat : 33817 (java) R 33812 33815 32836 0 -1 4194368 9092 0 0 0 1136 70 0 0 20 0 20 0 39166021 19521036288 887501 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33826] ppid=33812 vsize=19063512 memory=2951860 CPUtime=0 cores=0,2
/proc/33815/task/33826/stat : 33826 (Finalizer) S 33812 33815 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39166026 19521036288 887501 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33833] ppid=33812 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/33815/task/33833/stat : 33833 (Common-Cleaner) S 33812 33815 32836 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 39166027 19521036288 887501 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33834] ppid=33812 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/33815/task/33834/stat : 33834 (Timer-0) S 33812 33815 32836 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39166073 19521036288 887501 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
Current children cumulated CPU time: 17.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3550004 KiB
[startup+25.5004 s]
/proc/loadavg: 4.49 4.48 4.41 6/328 33969
/proc/meminfo: memFree=112509372/131382112 swapFree=33010684/33010684
[pid=33815] ppid=33812 vsize=19063512 memory=3575420 CPUtime=31.77 cores=0,2
/proc/33815/stat : 33815 (java) S 33812 33815 32836 0 -1 4194304 44354 0 0 0 3093 84 0 0 20 0 20 0 39166019 19521036288 893855 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
/proc/33815/statm: 4765878 893855 5497 1 0 1214626 0
[pid=33815/tid=33817] ppid=33812 vsize=19063512 memory=2951860 CPUtime=24.59 cores=0,2
/proc/33815/task/33817/stat : 33817 (java) R 33812 33815 32836 0 -1 4194368 11338 0 0 0 2389 70 0 0 20 0 20 0 39166021 19521036288 893855 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33826] ppid=33812 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/33815/task/33826/stat : 33826 (Finalizer) S 33812 33815 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39166026 19521036288 893855 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33833] ppid=33812 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/33815/task/33833/stat : 33833 (Common-Cleaner) S 33812 33815 32836 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 39166027 19521036288 893855 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33834] ppid=33812 vsize=19063512 memory=17536 CPUtime=0 cores=0,2
/proc/33815/task/33834/stat : 33834 (Timer-0) S 33812 33815 32836 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39166073 19521036288 893855 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
Current children cumulated CPU time: 31.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3575420 KiB
[startup+51.1135 s]
/proc/loadavg: 4.39 4.46 4.40 5/328 33969
/proc/meminfo: memFree=109806620/131382112 swapFree=33010684/33010684
[pid=33815] ppid=33812 vsize=19063512 memory=3657540 CPUtime=57.61 cores=0,2
/proc/33815/stat : 33815 (java) S 33812 33815 32836 0 -1 4194304 48500 0 0 0 5673 88 0 0 20 0 20 0 39166019 19521036288 914385 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
/proc/33815/statm: 4765878 914385 5497 1 0 1214626 0
[pid=33815/tid=33817] ppid=33812 vsize=19063512 memory=3657540 CPUtime=49.6 cores=0,2
/proc/33815/task/33817/stat : 33817 (java) R 33812 33815 32836 0 -1 4194368 13551 0 0 0 4890 70 0 0 20 0 20 0 39166021 19521036288 914385 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33826] ppid=33812 vsize=19063512 memory=14560 CPUtime=0 cores=0,2
/proc/33815/task/33826/stat : 33826 (Finalizer) S 33812 33815 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39166026 19521036288 914385 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33833] ppid=33812 vsize=19063512 memory=3555892 CPUtime=0 cores=0,2
/proc/33815/task/33833/stat : 33833 (Common-Cleaner) S 33812 33815 32836 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 39166027 19521036288 914385 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33834] ppid=33812 vsize=19063512 memory=17536 CPUtime=0 cores=0,2
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.41 4.53 4.53 5/329 34255
/proc/meminfo: memFree=105061192/131382112 swapFree=33010684/33010684
[pid=33815] ppid=33812 vsize=19063512 memory=4813028 CPUtime=3209.7 cores=0,2
/proc/33815/stat : 33815 (java) S 33812 33815 32836 0 -1 4194304 176663 0 0 0 320430 540 0 0 20 0 20 0 39166019 19521036288 1203257 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
/proc/33815/statm: 4765878 1203257 5497 1 0 1214995 0
[pid=33815/tid=33817] ppid=33812 vsize=19063512 memory=4813028 CPUtime=3057.77 cores=0,2
/proc/33815/task/33817/stat : 33817 (java) R 33812 33815 32836 0 -1 4194368 83279 0 0 0 305693 84 0 0 20 0 20 0 39166021 19521036288 1203257 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33826] ppid=33812 vsize=19063512 memory=4810852 CPUtime=0 cores=0,2
/proc/33815/task/33826/stat : 33826 (Finalizer) S 33812 33815 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39166026 19521036288 1203257 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33833] ppid=33812 vsize=19063512 memory=-6000919498543229292 CPUtime=0 cores=0,2
/proc/33815/task/33833/stat : 33833 (Common-Cleaner) S 33812 33815 32836 0 -1 4194368 1701 0 0 0 0 0 0 0 20 0 20 0 39166027 19521036288 1203257 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33834] ppid=33812 vsize=19063512 memory=4813028 CPUtime=0 cores=0,2
/proc/33815/task/33834/stat : 33834 (Timer-0) S 33812 33815 32836 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39166073 19521036288 1203257 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
Current children cumulated CPU time: 3209.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4813028 KiB
[startup+3162.3 s]
/proc/loadavg: 4.37 4.51 4.53 5/329 34257
/proc/meminfo: memFree=105027620/131382112 swapFree=33010684/33010684
[pid=33815] ppid=33812 vsize=19063512 memory=4813156 CPUtime=3281.51 cores=0,2
/proc/33815/stat : 33815 (java) S 33812 33815 32836 0 -1 4194304 179779 0 0 0 327587 564 0 0 20 0 20 0 39166019 19521036288 1203289 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
/proc/33815/statm: 4765878 1203289 5497 1 0 1214995 0
[pid=33815/tid=33817] ppid=33812 vsize=19063512 memory=4810852 CPUtime=3116.71 cores=0,2
/proc/33815/task/33817/stat : 33817 (java) R 33812 33815 32836 0 -1 4194368 85672 0 0 0 311586 85 0 0 20 0 20 0 39166021 19521036288 1203289 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33826] ppid=33812 vsize=19063512 memory=-6000919498543229292 CPUtime=0 cores=0,2
/proc/33815/task/33826/stat : 33826 (Finalizer) S 33812 33815 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39166026 19521036288 1203289 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33833] ppid=33812 vsize=19063512 memory=4813028 CPUtime=0 cores=0,2
/proc/33815/task/33833/stat : 33833 (Common-Cleaner) S 33812 33815 32836 0 -1 4194368 1743 0 0 0 0 0 0 0 20 0 20 0 39166027 19521036288 1203289 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33834] ppid=33812 vsize=19063512 memory=4813028 CPUtime=0 cores=0,2
/proc/33815/task/33834/stat : 33834 (Timer-0) S 33812 33815 32836 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39166073 19521036288 1203289 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
Current children cumulated CPU time: 3281.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4813156 KiB
[startup+3222.3 s]
/proc/loadavg: 4.47 4.51 4.53 7/329 34274
/proc/meminfo: memFree=104942324/131382112 swapFree=33010684/33010684
[pid=33815] ppid=33812 vsize=19063512 memory=4813156 CPUtime=3351.91 cores=0,2
/proc/33815/stat : 33815 (java) S 33812 33815 32836 0 -1 4194304 179977 0 0 0 334604 587 0 0 20 0 20 0 39166019 19521036288 1203289 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
/proc/33815/statm: 4765878 1203289 5497 1 0 1214999 0
[pid=33815/tid=33817] ppid=33812 vsize=19063512 memory=-6000919498543229292 CPUtime=3175.79 cores=0,2
/proc/33815/task/33817/stat : 33817 (java) R 33812 33815 32836 0 -1 4194368 85756 0 0 0 317494 85 0 0 20 0 20 0 39166021 19521036288 1203289 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33826] ppid=33812 vsize=19063512 memory=4813028 CPUtime=0 cores=0,2
/proc/33815/task/33826/stat : 33826 (Finalizer) S 33812 33815 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39166026 19521036288 1203289 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33833] ppid=33812 vsize=19063512 memory=4813156 CPUtime=0 cores=0,2
/proc/33815/task/33833/stat : 33833 (Common-Cleaner) S 33812 33815 32836 0 -1 4194368 1766 0 0 0 0 0 0 0 20 0 20 0 39166027 19521036288 1203289 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33834] ppid=33812 vsize=19063512 memory=-6000919498543229292 CPUtime=0 cores=0,2
/proc/33815/task/33834/stat : 33834 (Timer-0) S 33812 33815 32836 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39166073 19521036288 1203289 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
Current children cumulated CPU time: 3351.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4813156 KiB
[startup+3282.3 s]
/proc/loadavg: 4.60 4.56 4.55 5/303 34314
/proc/meminfo: memFree=113447856/131382112 swapFree=33010684/33010684
[pid=33815] ppid=33812 vsize=19063512 memory=4813156 CPUtime=3421.58 cores=0,2
/proc/33815/stat : 33815 (java) S 33812 33815 32836 0 -1 4194304 180312 0 0 0 341551 607 0 0 20 0 20 0 39166019 19521036288 1203289 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
/proc/33815/statm: 4765878 1203289 5497 1 0 1214999 0
[pid=33815/tid=33817] ppid=33812 vsize=19063512 memory=5760 CPUtime=3235.11 cores=0,2
/proc/33815/task/33817/stat : 33817 (java) R 33812 33815 32836 0 -1 4194368 85760 0 0 0 323425 86 0 0 20 0 20 0 39166021 19521036288 1203289 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33826] ppid=33812 vsize=19063512 memory=4813156 CPUtime=0 cores=0,2
/proc/33815/task/33826/stat : 33826 (Finalizer) S 33812 33815 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39166026 19521036288 1203289 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33833] ppid=33812 vsize=19063512 memory=164 CPUtime=0 cores=0,2
/proc/33815/task/33833/stat : 33833 (Common-Cleaner) S 33812 33815 32836 0 -1 4194368 1767 0 0 0 0 0 0 0 20 0 20 0 39166027 19521036288 1203289 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33834] ppid=33812 vsize=19063512 memory=14560 CPUtime=0 cores=0,2
/proc/33815/task/33834/stat : 33834 (Timer-0) S 33812 33815 32836 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39166073 19521036288 1203289 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
Current children cumulated CPU time: 3421.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4813156 KiB
[startup+3342.3 s]
/proc/loadavg: 3.88 4.37 4.48 4/303 34316
/proc/meminfo: memFree=113445244/131382112 swapFree=33010684/33010684
[pid=33815] ppid=33812 vsize=19063512 memory=4813156 CPUtime=3490.96 cores=0,2
/proc/33815/stat : 33815 (java) S 33812 33815 32836 0 -1 4194304 184302 0 0 0 348469 627 0 0 20 0 20 0 39166019 19521036288 1203289 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
/proc/33815/statm: 4765878 1203289 5497 1 0 1214999 0
[pid=33815/tid=33817] ppid=33812 vsize=19063512 memory=4813156 CPUtime=3294.31 cores=0,2
/proc/33815/task/33817/stat : 33817 (java) R 33812 33815 32836 0 -1 4194368 88160 0 0 0 329345 86 0 0 20 0 20 0 39166021 19521036288 1203289 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33826] ppid=33812 vsize=19063512 memory=4813156 CPUtime=0 cores=0,2
/proc/33815/task/33826/stat : 33826 (Finalizer) S 33812 33815 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39166026 19521036288 1203289 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33833] ppid=33812 vsize=19063512 memory=4813156 CPUtime=0 cores=0,2
/proc/33815/task/33833/stat : 33833 (Common-Cleaner) S 33812 33815 32836 0 -1 4194368 1767 0 0 0 0 0 0 0 20 0 20 0 39166027 19521036288 1203289 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33834] ppid=33812 vsize=19063512 memory=-4050210904893669780 CPUtime=0 cores=0,2
/proc/33815/task/33834/stat : 33834 (Timer-0) S 33812 33815 32836 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39166073 19521036288 1203289 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
Current children cumulated CPU time: 3490.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4813156 KiB
[startup+3402.3 s]
/proc/loadavg: 3.61 4.19 4.41 5/303 34318
/proc/meminfo: memFree=113443668/131382112 swapFree=33010684/33010684
[pid=33815] ppid=33812 vsize=19063512 memory=4813156 CPUtime=3562.55 cores=0,2
/proc/33815/stat : 33815 (java) S 33812 33815 32836 0 -1 4194304 185027 0 0 0 355604 651 0 0 20 0 20 0 39166019 19521036288 1203289 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
/proc/33815/statm: 4765878 1203289 5497 1 0 1214999 0
[pid=33815/tid=33817] ppid=33812 vsize=19063512 memory=4813156 CPUtime=3353.51 cores=0,2
/proc/33815/task/33817/stat : 33817 (java) R 33812 33815 32836 0 -1 4194368 88267 0 0 0 335264 87 0 0 20 0 20 0 39166021 19521036288 1203289 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33826] ppid=33812 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/33815/task/33826/stat : 33826 (Finalizer) S 33812 33815 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39166026 19521036288 1203289 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33833] ppid=33812 vsize=19063512 memory=4813156 CPUtime=0 cores=0,2
/proc/33815/task/33833/stat : 33833 (Common-Cleaner) S 33812 33815 32836 0 -1 4194368 1809 0 0 0 0 0 0 0 20 0 20 0 39166027 19521036288 1203289 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33834] ppid=33812 vsize=19063512 memory=4813156 CPUtime=0 cores=0,2
/proc/33815/task/33834/stat : 33834 (Timer-0) S 33812 33815 32836 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39166073 19521036288 1203289 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
Current children cumulated CPU time: 3562.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4813156 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3435.11 s]
/proc/loadavg: 3.42 4.08 4.36 4/303 34319
/proc/meminfo: memFree=113443668/131382112 swapFree=33010684/33010684
[pid=33815] ppid=33812 vsize=19063512 memory=4813156 CPUtime=3600 cores=0,2
/proc/33815/stat : 33815 (java) S 33812 33815 32836 0 -1 4194304 186236 0 0 0 359338 662 0 0 20 0 20 0 39166019 19521036288 1203289 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
/proc/33815/statm: 4765878 1203289 5497 1 0 1214999 0
[pid=33815/tid=33817] ppid=33812 vsize=19063512 memory=-4050210904893669780 CPUtime=3386 cores=0,2
/proc/33815/task/33817/stat : 33817 (java) R 33812 33815 32836 0 -1 4194368 88798 0 0 0 338513 87 0 0 20 0 20 0 39166021 19521036288 1203289 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33826] ppid=33812 vsize=19063512 memory=17536 CPUtime=0 cores=0,2
/proc/33815/task/33826/stat : 33826 (Finalizer) S 33812 33815 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39166026 19521036288 1203289 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33833] ppid=33812 vsize=19063512 memory=4813156 CPUtime=0 cores=0,2
/proc/33815/task/33833/stat : 33833 (Common-Cleaner) S 33812 33815 32836 0 -1 4194368 1809 0 0 0 0 0 0 0 20 0 20 0 39166027 19521036288 1203289 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33834] ppid=33812 vsize=19063512 memory=14560 CPUtime=0 cores=0,2
/proc/33815/task/33834/stat : 33834 (Timer-0) S 33812 33815 32836 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39166073 19521036288 1203289 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4813156 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3435.29 s]
# the end of solver process 33815 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3593.66 s, system=6.64887 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3435.21 s]
/proc/loadavg: 3.42 4.08 4.36 4/303 34319
/proc/meminfo: memFree=113443668/131382112 swapFree=33010684/33010684
[pid=33815] ppid=33812 vsize=19263204 memory=4813924 CPUtime=3600.19 cores=0,2
/proc/33815/stat : 33815 (java) S 33812 33815 32836 0 -1 4194304 187545 0 0 0 359357 662 0 0 20 0 21 0 39166019 19725520896 1203481 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
/proc/33815/statm: 4815801 1203481 5497 1 0 1215937 0
[pid=33815/tid=33817] ppid=33812 vsize=19263204 memory=5760 CPUtime=3386.1 cores=0,2
/proc/33815/task/33817/stat : 33817 (java) R 33812 33815 32836 0 -1 4194368 88817 0 0 0 338523 87 0 0 20 0 21 0 39166021 19725520896 1203481 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33826] ppid=33812 vsize=19263204 memory=4813156 CPUtime=0 cores=0,2
/proc/33815/task/33826/stat : 33826 (Finalizer) S 33812 33815 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39166026 19725520896 1203481 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
[pid=33815/tid=33833] ppid=33812 vsize=19263204 memory=4352 CPUtime=0 cores=0,2
/proc/33815/task/33833/stat : 33833 (Common-Cleaner) S 33812 33815 32836 0 -1 4194368 1809 0 0 0 0 0 0 0 20 0 21 0 39166027 19725520896 1203481 18446744073709551615 94370874855424 94370874859120 140733535080704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94370874866936 94370874867728 94370900971520 140733535086974 140733535087078 140733535087078 140733535092680 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4813924 KiB
Child status: 143
Real time (s): 3435.29
CPU time (s): 3600.31
CPU user time (s): 3593.66
CPU system time (s): 6.64887
CPU usage (%): 104.804
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4813924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.66
system time used= 6.64887
maximum resident set size= 4814052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187703
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 184698
involuntary context switches= 24681
# summary of solver processes directly reported to runsolver:
# pid: 33815
# total CPU time (s): 3600.31
# total CPU user time (s): 3593.66
# total CPU system time (s): 6.64887
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.5334 second user time and 33.1607 second system time
The end