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: 63708 MiB (62985 MiB free)
memory of node 1: 64465 MiB (63878 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506802-1751183386/watcher-4506802-1751183386 -o /tmp/evaluation-result-4506802-1751183386/solver-4506802-1751183386 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751183386-21556 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4506802-1751183386.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
Starting watchdog thread
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
solver pid=21600, runsolver pid=21592
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 0.69 1.07 1.96 7/316 21657
/proc/meminfo: memFree=129812972/131250000 swapFree=33010684/33010684
[pid=21600] ppid=21592 vsize=18930384 memory=59156 CPUtime=0.12 cores=0,2
/proc/21600/stat : 21600 (java) S 21592 21600 21543 0 -1 4194304 6424 0 0 0 10 2 0 0 20 0 18 0 34016151 19384713216 14789 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
/proc/21600/statm: 4732596 14789 5328 1 0 547573 0
[pid=21600/tid=21608] ppid=21592 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=0,2
/proc/21600/task/21608/stat : 21608 (java) S 21592 21600 21543 0 -1 4194368 5013 0 0 0 5 1 0 0 20 0 18 0 34016153 19384713216 14789 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21638] ppid=21592 vsize=18930384 memory=15987 CPUtime=0 cores=0,2
/proc/21600/task/21638/stat : 21638 (Finalizer) S 21592 21600 21543 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 34016155 19384713216 14789 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21648] ppid=21592 vsize=18930384 memory=59585004307431 CPUtime=0 cores=0,2
/proc/21600/task/21648/stat : 21648 (Common-Cleaner) S 21592 21600 21543 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 34016156 19384713216 14789 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59156 KiB
[startup+0.206007 s]*
/proc/loadavg: 0.69 1.07 1.96 9/316 21657
/proc/meminfo: memFree=129760804/131250000 swapFree=33010684/33010684
[pid=21600] ppid=21592 vsize=18930384 memory=69636 CPUtime=0.3 cores=0,2
/proc/21600/stat : 21600 (java) S 21592 21600 21543 0 -1 4194304 6911 0 0 0 27 3 0 0 20 0 18 0 34016151 19384713216 17409 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
/proc/21600/statm: 4732596 17409 5424 1 0 547978 0
[pid=21600/tid=21608] ppid=21592 vsize=18930384 memory=4026597660 CPUtime=0.16 cores=0,2
/proc/21600/task/21608/stat : 21608 (java) R 21592 21600 21543 0 -1 4194368 5351 0 0 0 14 2 0 0 20 0 18 0 34016153 19384713216 17409 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21638] ppid=21592 vsize=18930384 memory=15987 CPUtime=0 cores=0,2
/proc/21600/task/21638/stat : 21638 (Finalizer) S 21592 21600 21543 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 34016155 19384713216 17409 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21648] ppid=21592 vsize=18930384 memory=59585004307431 CPUtime=0 cores=0,2
/proc/21600/task/21648/stat : 21648 (Common-Cleaner) S 21592 21600 21543 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 34016156 19384713216 17409 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 69636 KiB
[startup+0.305877 s]*
/proc/loadavg: 0.69 1.07 1.96 8/316 21657
/proc/meminfo: memFree=129652740/131250000 swapFree=33010684/33010684
[pid=21600] ppid=21592 vsize=18930384 memory=100432 CPUtime=0.49 cores=0,2
/proc/21600/stat : 21600 (java) S 21592 21600 21543 0 -1 4194304 8387 0 0 0 45 4 0 0 20 0 18 0 34016151 19384713216 25108 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
/proc/21600/statm: 4732596 25108 5424 1 0 548984 0
[pid=21600/tid=21608] ppid=21592 vsize=18930384 memory=-6000919494114241389 CPUtime=0.24 cores=0,2
/proc/21600/task/21608/stat : 21608 (java) R 21592 21600 21543 0 -1 4194368 5379 0 0 0 22 2 0 0 20 0 18 0 34016153 19384713216 25108 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21638] ppid=21592 vsize=18930384 memory=6452091051787182395 CPUtime=0 cores=0,2
/proc/21600/task/21638/stat : 21638 (Finalizer) S 21592 21600 21543 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 34016155 19384713216 25108 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21648] ppid=21592 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/21600/task/21648/stat : 21648 (Common-Cleaner) S 21592 21600 21543 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 34016156 19384713216 25108 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 100432 KiB
[startup+0.700225 s]
/proc/loadavg: 0.69 1.07 1.96 9/321 21662
/proc/meminfo: memFree=129418444/131250000 swapFree=33010684/33010684
[pid=21600] ppid=21592 vsize=19063512 memory=165308 CPUtime=1.25 cores=0,2
/proc/21600/stat : 21600 (java) S 21592 21600 21543 0 -1 4194304 8767 0 0 0 119 6 0 0 20 0 20 0 34016151 19521036288 41327 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
/proc/21600/statm: 4765878 41327 5456 1 0 549727 0
[pid=21600/tid=21608] ppid=21592 vsize=19063512 memory=17408 CPUtime=0.56 cores=0,2
/proc/21600/task/21608/stat : 21608 (java) R 21592 21600 21543 0 -1 4194368 5473 0 0 0 53 3 0 0 20 0 20 0 34016153 19521036288 41327 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21638] ppid=21592 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/21600/task/21638/stat : 21638 (Finalizer) S 21592 21600 21543 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34016155 19521036288 41327 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21648] ppid=21592 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/21600/task/21648/stat : 21648 (Common-Cleaner) S 21592 21600 21543 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 34016156 19521036288 41327 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21660] ppid=21592 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/21600/task/21660/stat : 21660 (Timer-0) S 21592 21600 21543 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34016193 19521036288 41327 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 165308 KiB
[startup+1.50024 s]
/proc/loadavg: 0.69 1.07 1.96 8/320 21663
/proc/meminfo: memFree=129273856/131250000 swapFree=33010684/33010684
[pid=21600] ppid=21592 vsize=19063512 memory=188356 CPUtime=2.83 cores=0,2
/proc/21600/stat : 21600 (java) S 21592 21600 21543 0 -1 4194304 15853 0 0 0 275 8 0 0 20 0 20 0 34016151 19521036288 47089 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
/proc/21600/statm: 4765878 47089 5456 1 0 552264 0
[pid=21600/tid=21608] ppid=21592 vsize=19063512 memory=0 CPUtime=1.29 cores=0,2
/proc/21600/task/21608/stat : 21608 (java) R 21592 21600 21543 0 -1 4194368 5785 0 0 0 125 4 0 0 20 0 20 0 34016153 19521036288 47089 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21638] ppid=21592 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/21600/task/21638/stat : 21638 (Finalizer) S 21592 21600 21543 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34016155 19521036288 47089 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21648] ppid=21592 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/21600/task/21648/stat : 21648 (Common-Cleaner) S 21592 21600 21543 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 34016156 19521036288 47089 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21660] ppid=21592 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/21600/task/21660/stat : 21660 (Timer-0) S 21592 21600 21543 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34016193 19521036288 47089 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 188356 KiB
[startup+3.10613 s]
/proc/loadavg: 1.20 1.17 1.99 9/343 21691
/proc/meminfo: memFree=127797012/131250000 swapFree=33010684/33010684
[pid=21600] ppid=21592 vsize=19063512 memory=225344 CPUtime=5.82 cores=0,2
/proc/21600/stat : 21600 (java) S 21592 21600 21543 0 -1 4194304 20274 0 0 0 573 9 0 0 20 0 20 0 34016151 19521036288 56336 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
/proc/21600/statm: 4765878 56336 5456 1 0 552549 0
[pid=21600/tid=21608] ppid=21592 vsize=19063512 memory=10752 CPUtime=2.78 cores=0,2
/proc/21600/task/21608/stat : 21608 (java) R 21592 21600 21543 0 -1 4194368 6172 0 0 0 274 4 0 0 20 0 20 0 34016153 19521036288 56336 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21638] ppid=21592 vsize=19063512 memory=-6000919498409208685 CPUtime=0 cores=0,2
/proc/21600/task/21638/stat : 21638 (Finalizer) S 21592 21600 21543 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34016155 19521036288 56336 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21648] ppid=21592 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/21600/task/21648/stat : 21648 (Common-Cleaner) S 21592 21600 21543 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 34016156 19521036288 56336 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21660] ppid=21592 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/21600/task/21660/stat : 21660 (Timer-0) S 21592 21600 21543 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34016193 19521036288 56336 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
Current children cumulated CPU time: 5.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 225344 KiB
[startup+6.30018 s]
/proc/loadavg: 1.20 1.17 1.99 5/343 21691
/proc/meminfo: memFree=122900692/131250000 swapFree=33010684/33010684
[pid=21600] ppid=21592 vsize=19063512 memory=1341112 CPUtime=9.96 cores=0,2
/proc/21600/stat : 21600 (java) S 21592 21600 21543 0 -1 4194304 21478 0 0 0 963 33 0 0 20 0 20 0 34016151 19521036288 335278 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
/proc/21600/statm: 4765878 335278 5488 1 0 552736 0
[pid=21600/tid=21608] ppid=21592 vsize=19063512 memory=0 CPUtime=5.91 cores=0,2
/proc/21600/task/21608/stat : 21608 (java) R 21592 21600 21543 0 -1 4194368 6991 0 0 0 565 26 0 0 20 0 20 0 34016153 19521036288 335278 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21638] ppid=21592 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/21600/task/21638/stat : 21638 (Finalizer) S 21592 21600 21543 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34016155 19521036288 335278 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21648] ppid=21592 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/21600/task/21648/stat : 21648 (Common-Cleaner) S 21592 21600 21543 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 34016156 19521036288 335278 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21660] ppid=21592 vsize=19063512 memory=188484 CPUtime=0 cores=0,2
/proc/21600/task/21660/stat : 21660 (Timer-0) S 21592 21600 21543 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34016193 19521036288 335278 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
Current children cumulated CPU time: 9.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1341112 KiB
[startup+12.7002 s]
/proc/loadavg: 1.70 1.28 2.02 5/342 21691
/proc/meminfo: memFree=118644480/131250000 swapFree=33010684/33010684
[pid=21600] ppid=21592 vsize=19063512 memory=1575980 CPUtime=16.73 cores=0,2
/proc/21600/stat : 21600 (java) S 21592 21600 21543 0 -1 4194304 22247 0 0 0 1636 37 0 0 20 0 20 0 34016151 19521036288 393995 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
/proc/21600/statm: 4765878 393995 5488 1 0 680157 0
[pid=21600/tid=21608] ppid=21592 vsize=19063512 memory=188484 CPUtime=12.2 cores=0,2
/proc/21600/task/21608/stat : 21608 (java) R 21592 21600 21543 0 -1 4194368 7281 0 0 0 1190 30 0 0 20 0 20 0 34016153 19521036288 393995 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21638] ppid=21592 vsize=19063512 memory=182 CPUtime=0 cores=0,2
/proc/21600/task/21638/stat : 21638 (Finalizer) S 21592 21600 21543 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34016155 19521036288 393995 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21648] ppid=21592 vsize=19063512 memory=14432 CPUtime=0 cores=0,2
/proc/21600/task/21648/stat : 21648 (Common-Cleaner) S 21592 21600 21543 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 34016156 19521036288 393995 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21660] ppid=21592 vsize=19063512 memory=17408 CPUtime=0 cores=0,2
/proc/21600/task/21660/stat : 21660 (Timer-0) S 21592 21600 21543 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34016193 19521036288 393995 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
Current children cumulated CPU time: 16.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1575980 KiB
[startup+25.5002 s]
/proc/loadavg: 2.20 1.40 2.05 5/342 21691
/proc/meminfo: memFree=112944144/131250000 swapFree=33010684/33010684
[pid=21600] ppid=21592 vsize=19063512 memory=1883592 CPUtime=30.17 cores=0,2
/proc/21600/stat : 21600 (java) S 21592 21600 21543 0 -1 4194304 28703 0 0 0 2972 45 0 0 20 0 20 0 34016151 19521036288 470898 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
/proc/21600/statm: 4765878 470898 5488 1 0 680200 0
[pid=21600/tid=21608] ppid=21592 vsize=19063512 memory=17408 CPUtime=24.74 cores=0,2
/proc/21600/task/21608/stat : 21608 (java) R 21592 21600 21543 0 -1 4194368 9206 0 0 0 2439 35 0 0 20 0 20 0 34016153 19521036288 470898 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21638] ppid=21592 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/21600/task/21638/stat : 21638 (Finalizer) S 21592 21600 21543 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34016155 19521036288 470898 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21648] ppid=21592 vsize=19063512 memory=1858860 CPUtime=0 cores=0,2
/proc/21600/task/21648/stat : 21648 (Common-Cleaner) S 21592 21600 21543 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 34016156 19521036288 470898 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21660] ppid=21592 vsize=19063512 memory=17408 CPUtime=0 cores=0,2
/proc/21600/task/21660/stat : 21660 (Timer-0) S 21592 21600 21543 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34016193 19521036288 470898 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
Current children cumulated CPU time: 30.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1883592 KiB
[startup+51.1058 s]
/proc/loadavg: 2.87 1.63 2.11 5/344 21693
/proc/meminfo: memFree=112119512/131250000 swapFree=33010684/33010684
[pid=21600] ppid=21592 vsize=19063512 memory=1910488 CPUtime=56.26 cores=0,2
/proc/21600/stat : 21600 (java) S 21592 21600 21543 0 -1 4194304 36269 0 0 0 5579 47 0 0 20 0 20 0 34016151 19521036288 477622 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
/proc/21600/statm: 4765878 477622 5488 1 0 680234 0
[pid=21600/tid=21608] ppid=21592 vsize=19063512 memory=1883720 CPUtime=49.87 cores=0,2
/proc/21600/task/21608/stat : 21608 (java) R 21592 21600 21543 0 -1 4194368 12316 0 0 0 4951 36 0 0 20 0 20 0 34016153 19521036288 477622 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21638] ppid=21592 vsize=19063512 memory=1883720 CPUtime=0 cores=0,2
/proc/21600/task/21638/stat : 21638 (Finalizer) S 21592 21600 21543 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34016155 19521036288 477622 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
################
# More data... #
################
/proc/meminfo: memFree=98831048/131250000 swapFree=33010684/33010684
[pid=21600] ppid=21592 vsize=19063512 memory=5302816 CPUtime=3225.29 cores=0,2
/proc/21600/stat : 21600 (java) S 21592 21600 21543 0 -1 4194304 194845 0 0 0 322057 472 0 0 20 0 20 0 34016151 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
/proc/21600/statm: 4765878 1325704 5520 1 0 1339230 0
[pid=21600/tid=21608] ppid=21592 vsize=19063512 memory=5302688 CPUtime=2883.41 cores=0,2
/proc/21600/task/21608/stat : 21608 (java) R 21592 21600 21543 0 -1 4194368 84263 0 0 0 288240 101 0 0 20 0 20 0 34016153 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21638] ppid=21592 vsize=19063512 memory=5302816 CPUtime=0 cores=0,2
/proc/21600/task/21638/stat : 21638 (Finalizer) S 21592 21600 21543 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34016155 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21648] ppid=21592 vsize=19063512 memory=5302816 CPUtime=0 cores=0,2
/proc/21600/task/21648/stat : 21648 (Common-Cleaner) S 21592 21600 21543 0 -1 4194368 1379 0 0 0 0 0 0 0 20 0 20 0 34016156 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21660] ppid=21592 vsize=19063512 memory=2760 CPUtime=0 cores=0,2
/proc/21600/task/21660/stat : 21660 (Timer-0) S 21592 21600 21543 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34016193 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
Current children cumulated CPU time: 3225.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5302816 KiB
[startup+2982.3 s]
/proc/loadavg: 4.69 4.74 4.57 6/341 21851
/proc/meminfo: memFree=98830476/131250000 swapFree=33010684/33010684
[pid=21600] ppid=21592 vsize=19063512 memory=5302816 CPUtime=3290.05 cores=0,2
/proc/21600/stat : 21600 (java) S 21592 21600 21543 0 -1 4194304 196728 0 0 0 328528 477 0 0 20 0 20 0 34016151 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
/proc/21600/statm: 4765878 1325704 5520 1 0 1339230 0
[pid=21600/tid=21608] ppid=21592 vsize=19063512 memory=5302816 CPUtime=2943.14 cores=0,2
/proc/21600/task/21608/stat : 21608 (java) R 21592 21600 21543 0 -1 4194368 84419 0 0 0 294213 101 0 0 20 0 20 0 34016153 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21638] ppid=21592 vsize=19063512 memory=5302816 CPUtime=0 cores=0,2
/proc/21600/task/21638/stat : 21638 (Finalizer) S 21592 21600 21543 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34016155 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21648] ppid=21592 vsize=19063512 memory=5302816 CPUtime=0 cores=0,2
/proc/21600/task/21648/stat : 21648 (Common-Cleaner) S 21592 21600 21543 0 -1 4194368 1420 0 0 0 0 0 0 0 20 0 20 0 34016156 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21660] ppid=21592 vsize=19063512 memory=14432 CPUtime=0 cores=0,2
/proc/21600/task/21660/stat : 21660 (Timer-0) S 21592 21600 21543 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34016193 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
Current children cumulated CPU time: 3290.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5302816 KiB
[startup+3042.3 s]
/proc/loadavg: 4.70 4.73 4.58 5/341 21855
/proc/meminfo: memFree=98826172/131250000 swapFree=33010684/33010684
[pid=21600] ppid=21592 vsize=19063512 memory=5302816 CPUtime=3354.79 cores=0,2
/proc/21600/stat : 21600 (java) S 21592 21600 21543 0 -1 4194304 202010 0 0 0 334996 483 0 0 20 0 20 0 34016151 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
/proc/21600/statm: 4765878 1325704 5520 1 0 1339230 0
[pid=21600/tid=21608] ppid=21592 vsize=19063512 memory=5302816 CPUtime=3002.89 cores=0,2
/proc/21600/task/21608/stat : 21608 (java) R 21592 21600 21543 0 -1 4194368 86431 0 0 0 300188 101 0 0 20 0 20 0 34016153 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21638] ppid=21592 vsize=19063512 memory=5302816 CPUtime=0 cores=0,2
/proc/21600/task/21638/stat : 21638 (Finalizer) S 21592 21600 21543 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34016155 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21648] ppid=21592 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/21600/task/21648/stat : 21648 (Common-Cleaner) S 21592 21600 21543 0 -1 4194368 1538 0 0 0 0 0 0 0 20 0 20 0 34016156 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21660] ppid=21592 vsize=19063512 memory=5302816 CPUtime=0 cores=0,2
/proc/21600/task/21660/stat : 21660 (Timer-0) S 21592 21600 21543 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34016193 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
Current children cumulated CPU time: 3354.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5302816 KiB
[startup+3102.3 s]
/proc/loadavg: 4.77 4.73 4.59 6/341 21857
/proc/meminfo: memFree=98828376/131250000 swapFree=33010684/33010684
[pid=21600] ppid=21592 vsize=19063512 memory=5302816 CPUtime=3431.74 cores=0,2
/proc/21600/stat : 21600 (java) S 21592 21600 21543 0 -1 4194304 206614 0 0 0 342674 500 0 0 20 0 20 0 34016151 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
/proc/21600/statm: 4765878 1325704 5520 1 0 1339230 0
[pid=21600/tid=21608] ppid=21592 vsize=19063512 memory=5302816 CPUtime=3062.47 cores=0,2
/proc/21600/task/21608/stat : 21608 (java) R 21592 21600 21543 0 -1 4194368 88544 0 0 0 306145 102 0 0 20 0 20 0 34016153 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21638] ppid=21592 vsize=19063512 memory=5302816 CPUtime=0 cores=0,2
/proc/21600/task/21638/stat : 21638 (Finalizer) S 21592 21600 21543 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34016155 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21648] ppid=21592 vsize=19063512 memory=5302816 CPUtime=0 cores=0,2
/proc/21600/task/21648/stat : 21648 (Common-Cleaner) S 21592 21600 21543 0 -1 4194368 1658 0 0 0 0 0 0 0 20 0 20 0 34016156 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21660] ppid=21592 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/21600/task/21660/stat : 21660 (Timer-0) S 21592 21600 21543 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34016193 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
Current children cumulated CPU time: 3431.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5302816 KiB
[startup+3162.3 s]
/proc/loadavg: 5.25 4.89 4.66 5/341 21926
/proc/meminfo: memFree=102015768/131250000 swapFree=33010684/33010684
[pid=21600] ppid=21592 vsize=19063512 memory=5302816 CPUtime=3505.14 cores=0,2
/proc/21600/stat : 21600 (java) S 21592 21600 21543 0 -1 4194304 207478 0 0 0 350001 513 0 0 20 0 20 0 34016151 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
/proc/21600/statm: 4765878 1325704 5520 1 0 1339230 0
[pid=21600/tid=21608] ppid=21592 vsize=19063512 memory=5302816 CPUtime=3122.12 cores=0,2
/proc/21600/task/21608/stat : 21608 (java) R 21592 21600 21543 0 -1 4194368 88565 0 0 0 312109 103 0 0 20 0 20 0 34016153 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21638] ppid=21592 vsize=19063512 memory=14432 CPUtime=0 cores=0,2
/proc/21600/task/21638/stat : 21638 (Finalizer) S 21592 21600 21543 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34016155 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21648] ppid=21592 vsize=19063512 memory=5302816 CPUtime=0 cores=0,2
/proc/21600/task/21648/stat : 21648 (Common-Cleaner) S 21592 21600 21543 0 -1 4194368 1659 0 0 0 0 0 0 0 20 0 20 0 34016156 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21660] ppid=21592 vsize=19063512 memory=5302816 CPUtime=0 cores=0,2
/proc/21600/task/21660/stat : 21660 (Timer-0) S 21592 21600 21543 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34016193 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
Current children cumulated CPU time: 3505.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5302816 KiB
[startup+3222.3 s]
/proc/loadavg: 4.89 4.85 4.65 5/342 21929
/proc/meminfo: memFree=101855244/131250000 swapFree=33010684/33010684
[pid=21600] ppid=21592 vsize=19063512 memory=5302816 CPUtime=3582.61 cores=0,2
/proc/21600/stat : 21600 (java) S 21592 21600 21543 0 -1 4194304 211755 0 0 0 357728 533 0 0 20 0 20 0 34016151 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
/proc/21600/statm: 4765878 1325704 5520 1 0 1339230 0
[pid=21600/tid=21608] ppid=21592 vsize=19063512 memory=5302816 CPUtime=3181.18 cores=0,2
/proc/21600/task/21608/stat : 21608 (java) R 21592 21600 21543 0 -1 4194368 90918 0 0 0 318014 104 0 0 20 0 20 0 34016153 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21638] ppid=21592 vsize=19063512 memory=5302816 CPUtime=0 cores=0,2
/proc/21600/task/21638/stat : 21638 (Finalizer) S 21592 21600 21543 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34016155 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21648] ppid=21592 vsize=19063512 memory=17408 CPUtime=0 cores=0,2
/proc/21600/task/21648/stat : 21648 (Common-Cleaner) S 21592 21600 21543 0 -1 4194368 1700 0 0 0 0 0 0 0 20 0 20 0 34016156 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21660] ppid=21592 vsize=19063512 memory=14432 CPUtime=0 cores=0,2
/proc/21600/task/21660/stat : 21660 (Timer-0) S 21592 21600 21543 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34016193 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
Current children cumulated CPU time: 3582.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5302816 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3234.7 s]
/proc/loadavg: 5.01 4.87 4.66 6/342 21929
/proc/meminfo: memFree=101830304/131250000 swapFree=33010684/33010684
[pid=21600] ppid=21592 vsize=19063512 memory=5302816 CPUtime=3600.03 cores=0,2
/proc/21600/stat : 21600 (java) S 21592 21600 21543 0 -1 4194304 211805 0 0 0 359465 538 0 0 20 0 20 0 34016151 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
/proc/21600/statm: 4765878 1325704 5520 1 0 1339230 0
[pid=21600/tid=21608] ppid=21592 vsize=19063512 memory=5302816 CPUtime=3193.37 cores=0,2
/proc/21600/task/21608/stat : 21608 (java) R 21592 21600 21543 0 -1 4194368 90925 0 0 0 319233 104 0 0 20 0 20 0 34016153 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21638] ppid=21592 vsize=19063512 memory=5302816 CPUtime=0 cores=0,2
/proc/21600/task/21638/stat : 21638 (Finalizer) S 21592 21600 21543 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34016155 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21648] ppid=21592 vsize=19063512 memory=5302816 CPUtime=0 cores=0,2
/proc/21600/task/21648/stat : 21648 (Common-Cleaner) S 21592 21600 21543 0 -1 4194368 1700 0 0 0 0 0 0 0 20 0 20 0 34016156 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21660] ppid=21592 vsize=19063512 memory=5302816 CPUtime=0 cores=0,2
/proc/21600/task/21660/stat : 21660 (Timer-0) S 21592 21600 21543 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34016193 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5302816 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3234.78 s]
# the end of solver process 21600 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3594.77 s, system=5.41142 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3234.7 s]
/proc/loadavg: 5.01 4.87 4.66 6/342 21929
/proc/meminfo: memFree=101830304/131250000 swapFree=33010684/33010684
[pid=21600] ppid=21592 vsize=19063512 memory=5302816 CPUtime=3600.03 cores=0,2
/proc/21600/stat : 21600 (java) S 21592 21600 21543 0 -1 4194304 211805 0 0 0 359465 538 0 0 20 0 20 0 34016151 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
/proc/21600/statm: 4765878 1325704 5520 1 0 1339230 0
[pid=21600/tid=21608] ppid=21592 vsize=19063512 memory=5302816 CPUtime=3193.37 cores=0,2
/proc/21600/task/21608/stat : 21608 (java) R 21592 21600 21543 0 -1 4194368 90925 0 0 0 319233 104 0 0 20 0 20 0 34016153 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21638] ppid=21592 vsize=19063512 memory=5302816 CPUtime=0 cores=0,2
/proc/21600/task/21638/stat : 21638 (Finalizer) S 21592 21600 21543 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34016155 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21648] ppid=21592 vsize=19063512 memory=5302816 CPUtime=0 cores=0,2
/proc/21600/task/21648/stat : 21648 (Common-Cleaner) S 21592 21600 21543 0 -1 4194368 1700 0 0 0 0 0 0 0 20 0 20 0 34016156 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
[pid=21600/tid=21660] ppid=21592 vsize=19063512 memory=5302816 CPUtime=0 cores=0,2
/proc/21600/task/21660/stat : 21660 (Timer-0) S 21592 21600 21543 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34016193 19521036288 1325704 18446744073709551615 93854480052224 93854480055920 140732812076272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93854480063736 93854480064528 93854488494080 140732812085630 140732812085734 140732812085734 140732812091336 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5302816 KiB
Child status: 143
Real time (s): 3234.78
CPU time (s): 3600.18
CPU user time (s): 3594.77
CPU system time (s): 5.41142
CPU usage (%): 111.296
Max. virtual memory (cumulated for all children) (KiB): 19068112
Max. memory (cumulated for all children) (KiB): 5302816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.77
system time used= 5.41141
maximum resident set size= 5303712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 213295
page faults= 0
swaps= 0
block input operations= 32
block output operations= 13848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 151959
involuntary context switches= 30046
# summary of solver processes directly reported to runsolver:
# pid: 21600
# total CPU time (s): 3600.18
# total CPU user time (s): 3594.77
# total CPU system time (s): 5.41142
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.24718 second user time and 15.562 second system time
The end