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 (47138 MiB free)
memory of node 1: 64465 MiB (46296 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525290-1751620422/watcher-4525290-1751620422 -o /tmp/evaluation-result-4525290-1751620422/solver-4525290-1751620422 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751617233-86407 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4525290-1751620422.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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=86749, runsolver pid=86746
Current StackSize limit: 8192 KiB
[startup+0.100022 s]*
/proc/loadavg: 4.61 4.67 4.51 6/337 86767
/proc/meminfo: memFree=95657368/131249988 swapFree=33010416/33010684
[pid=86749] ppid=86746 vsize=18930384 memory=58020 CPUtime=0.13 cores=0,2
/proc/86749/stat : 86749 (java) S 86746 86749 86397 0 -1 4194304 6604 0 0 0 11 2 0 0 20 0 18 0 77720717 19384713216 14505 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
/proc/86749/statm: 4732596 14505 5369 1 0 547640 0
[pid=86749/tid=86751] ppid=86746 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/86749/task/86751/stat : 86751 (java) R 86746 86749 86397 0 -1 4194368 5103 0 0 0 6 1 0 0 20 0 18 0 77720718 19384713216 14505 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86760] ppid=86746 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/86749/task/86760/stat : 86760 (Finalizer) S 86746 86749 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77720720 19384713216 14505 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86767] ppid=86746 vsize=18930384 memory=57385981078066 CPUtime=0 cores=0,2
/proc/86749/task/86767/stat : 86767 (Common-Cleaner) S 86746 86749 86397 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77720720 19384713216 14505 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58020 KiB
[startup+0.205652 s]*
/proc/loadavg: 4.61 4.67 4.51 8/337 86767
/proc/meminfo: memFree=95649240/131249988 swapFree=33010416/33010684
[pid=86749] ppid=86746 vsize=18930384 memory=64612 CPUtime=0.32 cores=0,2
/proc/86749/stat : 86749 (java) S 86746 86749 86397 0 -1 4194304 7181 0 0 0 29 3 0 0 20 0 18 0 77720717 19384713216 16153 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
/proc/86749/statm: 4732596 16153 5433 1 0 548017 0
[pid=86749/tid=86751] ppid=86746 vsize=18930384 memory=4026794268 CPUtime=0.17 cores=0,2
/proc/86749/task/86751/stat : 86751 (java) R 86746 86749 86397 0 -1 4194368 5373 0 0 0 15 2 0 0 20 0 18 0 77720718 19384713216 16153 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86760] ppid=86746 vsize=18930384 memory=15156 CPUtime=0 cores=0,2
/proc/86749/task/86760/stat : 86760 (Finalizer) S 86746 86749 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77720720 19384713216 16153 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86767] ppid=86746 vsize=18930384 memory=56286469424100 CPUtime=0 cores=0,2
/proc/86749/task/86767/stat : 86767 (Common-Cleaner) S 86746 86749 86397 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77720720 19384713216 16153 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64612 KiB
[startup+0.305604 s]*
/proc/loadavg: 4.61 4.67 4.51 8/338 86768
/proc/meminfo: memFree=95641048/131249988 swapFree=33010416/33010684
[pid=86749] ppid=86746 vsize=18996948 memory=74256 CPUtime=0.5 cores=0,2
/proc/86749/stat : 86749 (java) S 86746 86749 86397 0 -1 4194304 7720 0 0 0 46 4 0 0 20 0 19 0 77720717 19452874752 18564 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
/proc/86749/statm: 4749237 18564 5465 1 0 548568 0
[pid=86749/tid=86751] ppid=86746 vsize=18996948 memory=-6000919481313093223 CPUtime=0.24 cores=0,2
/proc/86749/task/86751/stat : 86751 (java) R 86746 86749 86397 0 -1 4194368 5514 0 0 0 22 2 0 0 20 0 19 0 77720718 19452874752 18564 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86760] ppid=86746 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/86749/task/86760/stat : 86760 (Finalizer) S 86746 86749 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77720720 19452874752 18564 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86767] ppid=86746 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/86749/task/86767/stat : 86767 (Common-Cleaner) S 86746 86749 86397 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77720720 19452874752 18564 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86768] ppid=86746 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/86749/task/86768/stat : 86768 (Timer-0) S 86746 86749 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77720743 19452874752 18564 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 74256 KiB
[startup+0.70022 s]
/proc/loadavg: 4.61 4.67 4.51 7/338 86768
/proc/meminfo: memFree=95598640/131249988 swapFree=33010416/33010684
[pid=86749] ppid=86746 vsize=19063512 memory=166988 CPUtime=1.26 cores=0,2
/proc/86749/stat : 86749 (java) S 86746 86749 86397 0 -1 4194304 11169 0 0 0 119 7 0 0 20 0 20 0 77720717 19521036288 41747 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
/proc/86749/statm: 4765878 41747 5497 1 0 550640 0
[pid=86749/tid=86751] ppid=86746 vsize=19063512 memory=18560 CPUtime=0.6 cores=0,2
/proc/86749/task/86751/stat : 86751 (java) R 86746 86749 86397 0 -1 4194368 5570 0 0 0 56 4 0 0 20 0 20 0 77720718 19521036288 41747 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86760] ppid=86746 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/86749/task/86760/stat : 86760 (Finalizer) S 86746 86749 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77720720 19521036288 41747 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86767] ppid=86746 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/86749/task/86767/stat : 86767 (Common-Cleaner) S 86746 86749 86397 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 77720720 19521036288 41747 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86768] ppid=86746 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/86749/task/86768/stat : 86768 (Timer-0) S 86746 86749 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77720743 19521036288 41747 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 166988 KiB
[startup+1.50027 s]
/proc/loadavg: 4.61 4.67 4.51 6/339 86769
/proc/meminfo: memFree=95543136/131249988 swapFree=33010416/33010684
[pid=86749] ppid=86746 vsize=19063512 memory=225300 CPUtime=2.84 cores=0,2
/proc/86749/stat : 86749 (java) S 86746 86749 86397 0 -1 4194304 16451 0 0 0 276 8 0 0 20 0 20 0 77720717 19521036288 56325 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
/proc/86749/statm: 4765878 56325 5497 1 0 554362 0
[pid=86749/tid=86751] ppid=86746 vsize=19063512 memory=0 CPUtime=1.3 cores=0,2
/proc/86749/task/86751/stat : 86751 (java) R 86746 86749 86397 0 -1 4194368 5589 0 0 0 126 4 0 0 20 0 20 0 77720718 19521036288 56325 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86760] ppid=86746 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/86749/task/86760/stat : 86760 (Finalizer) S 86746 86749 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77720720 19521036288 56325 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86767] ppid=86746 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/86749/task/86767/stat : 86767 (Common-Cleaner) S 86746 86749 86397 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 77720720 19521036288 56325 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86768] ppid=86746 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/86749/task/86768/stat : 86768 (Timer-0) S 86746 86749 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77720743 19521036288 56325 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 225300 KiB
[startup+3.10568 s]
/proc/loadavg: 4.61 4.67 4.51 6/339 86769
/proc/meminfo: memFree=95075944/131249988 swapFree=33010416/33010684
[pid=86749] ppid=86746 vsize=19063512 memory=640912 CPUtime=5.42 cores=0,2
/proc/86749/stat : 86749 (java) S 86746 86749 86397 0 -1 4194304 18662 0 0 0 526 16 0 0 20 0 20 0 77720717 19521036288 160228 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
/proc/86749/statm: 4765878 160228 5497 1 0 820841 0
[pid=86749/tid=86751] ppid=86746 vsize=19063512 memory=10752 CPUtime=2.85 cores=0,2
/proc/86749/task/86751/stat : 86751 (java) R 86746 86749 86397 0 -1 4194368 5769 0 0 0 274 11 0 0 20 0 20 0 77720718 19521036288 160228 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86760] ppid=86746 vsize=19063512 memory=-6000919481313093223 CPUtime=0 cores=0,2
/proc/86749/task/86760/stat : 86760 (Finalizer) S 86746 86749 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77720720 19521036288 160228 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86767] ppid=86746 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/86749/task/86767/stat : 86767 (Common-Cleaner) S 86746 86749 86397 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 77720720 19521036288 160228 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86768] ppid=86746 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/86749/task/86768/stat : 86768 (Timer-0) S 86746 86749 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77720743 19521036288 160228 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
Current children cumulated CPU time: 5.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 640912 KiB
[startup+6.30023 s]
/proc/loadavg: 4.56 4.65 4.51 5/339 86769
/proc/meminfo: memFree=94800780/131249988 swapFree=33010416/33010684
[pid=86749] ppid=86746 vsize=19063512 memory=882524 CPUtime=8.98 cores=0,2
/proc/86749/stat : 86749 (java) S 86746 86749 86397 0 -1 4194304 24866 0 0 0 875 23 0 0 20 0 20 0 77720717 19521036288 220631 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
/proc/86749/statm: 4765878 220631 5497 1 0 820844 0
[pid=86749/tid=86751] ppid=86746 vsize=19063512 memory=0 CPUtime=5.95 cores=0,2
/proc/86749/task/86751/stat : 86751 (java) R 86746 86749 86397 0 -1 4194368 7376 0 0 0 580 15 0 0 20 0 20 0 77720718 19521036288 220631 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86760] ppid=86746 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/86749/task/86760/stat : 86760 (Finalizer) S 86746 86749 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77720720 19521036288 220631 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86767] ppid=86746 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/86749/task/86767/stat : 86767 (Common-Cleaner) S 86746 86749 86397 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 77720720 19521036288 220631 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86768] ppid=86746 vsize=19063512 memory=230164 CPUtime=0 cores=0,2
/proc/86749/task/86768/stat : 86768 (Timer-0) S 86746 86749 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77720743 19521036288 220631 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
Current children cumulated CPU time: 8.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 882524 KiB
[startup+12.7002 s]
/proc/loadavg: 4.67 4.68 4.52 5/339 86769
/proc/meminfo: memFree=93653980/131249988 swapFree=33010416/33010684
[pid=86749] ppid=86746 vsize=19063512 memory=2009152 CPUtime=15.65 cores=0,2
/proc/86749/stat : 86749 (java) S 86746 86749 86397 0 -1 4194304 28191 0 0 0 1518 47 0 0 20 0 20 0 77720717 19521036288 502288 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
/proc/86749/statm: 4765878 502288 5497 1 0 820851 0
[pid=86749/tid=86751] ppid=86746 vsize=19063512 memory=230164 CPUtime=12.2 cores=0,2
/proc/86749/task/86751/stat : 86751 (java) R 86746 86749 86397 0 -1 4194368 9532 0 0 0 1184 36 0 0 20 0 20 0 77720718 19521036288 502288 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86760] ppid=86746 vsize=19063512 memory=1814540 CPUtime=0 cores=0,2
/proc/86749/task/86760/stat : 86760 (Finalizer) S 86746 86749 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77720720 19521036288 502288 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86767] ppid=86746 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/86749/task/86767/stat : 86767 (Common-Cleaner) S 86746 86749 86397 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 77720720 19521036288 502288 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86768] ppid=86746 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/86749/task/86768/stat : 86768 (Timer-0) S 86746 86749 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77720743 19521036288 502288 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
Current children cumulated CPU time: 15.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2009152 KiB
[startup+25.5002 s]
/proc/loadavg: 4.67 4.68 4.52 5/339 86769
/proc/meminfo: memFree=93604700/131249988 swapFree=33010416/33010684
[pid=86749] ppid=86746 vsize=19063512 memory=2042068 CPUtime=28.78 cores=0,2
/proc/86749/stat : 86749 (java) S 86746 86749 86397 0 -1 4194304 33819 0 0 0 2828 50 0 0 20 0 20 0 77720717 19521036288 510517 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
/proc/86749/statm: 4765878 510517 5497 1 0 820852 0
[pid=86749/tid=86751] ppid=86746 vsize=19063512 memory=2009152 CPUtime=24.76 cores=0,2
/proc/86749/task/86751/stat : 86751 (java) R 86746 86749 86397 0 -1 4194368 11499 0 0 0 2440 36 0 0 20 0 20 0 77720718 19521036288 510517 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86760] ppid=86746 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/86749/task/86760/stat : 86760 (Finalizer) S 86746 86749 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77720720 19521036288 510517 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86767] ppid=86746 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/86749/task/86767/stat : 86767 (Common-Cleaner) S 86746 86749 86397 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 77720720 19521036288 510517 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86768] ppid=86746 vsize=19063512 memory=2042068 CPUtime=0 cores=0,2
/proc/86749/task/86768/stat : 86768 (Timer-0) S 86746 86749 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77720743 19521036288 510517 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
Current children cumulated CPU time: 28.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2042068 KiB
[startup+51.1056 s]
/proc/loadavg: 4.44 4.62 4.50 5/339 86770
/proc/meminfo: memFree=93531196/131249988 swapFree=33010416/33010684
[pid=86749] ppid=86746 vsize=19063512 memory=2093664 CPUtime=55.1 cores=0,2
/proc/86749/stat : 86749 (java) S 86746 86749 86397 0 -1 4194304 40110 0 0 0 5458 52 0 0 20 0 20 0 77720717 19521036288 523416 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
/proc/86749/statm: 4765878 523416 5497 1 0 820884 0
[pid=86749/tid=86751] ppid=86746 vsize=19063512 memory=2050300 CPUtime=49.74 cores=0,2
/proc/86749/task/86751/stat : 86751 (java) R 86746 86749 86397 0 -1 4194368 14827 0 0 0 4938 36 0 0 20 0 20 0 77720718 19521036288 523416 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86760] ppid=86746 vsize=19063512 memory=164 CPUtime=0 cores=0,2
################
# More data... #
################
/proc/meminfo: memFree=94515716/131249988 swapFree=33010416/33010684
[pid=86749] ppid=86746 vsize=19063512 memory=3244368 CPUtime=3177.89 cores=0,2
/proc/86749/stat : 86749 (java) S 86746 86749 86397 0 -1 4194304 156401 0 0 0 317442 347 0 0 20 0 20 0 77720717 19521036288 811092 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
/proc/86749/statm: 4765878 811092 5497 1 0 822696 0
[pid=86749/tid=86751] ppid=86746 vsize=19063512 memory=3244368 CPUtime=2940.47 cores=0,2
/proc/86749/task/86751/stat : 86751 (java) R 86746 86749 86397 0 -1 4194368 82415 0 0 0 293964 83 0 0 20 0 20 0 77720718 19521036288 811092 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86760] ppid=86746 vsize=19063512 memory=3244368 CPUtime=0 cores=0,2
/proc/86749/task/86760/stat : 86760 (Finalizer) S 86746 86749 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77720720 19521036288 811092 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86767] ppid=86746 vsize=19063512 memory=3244368 CPUtime=0 cores=0,2
/proc/86749/task/86767/stat : 86767 (Common-Cleaner) S 86746 86749 86397 0 -1 4194368 1274 0 0 0 0 0 0 0 20 0 20 0 77720720 19521036288 811092 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86768] ppid=86746 vsize=19063512 memory=3244368 CPUtime=0 cores=0,2
/proc/86749/task/86768/stat : 86768 (Timer-0) S 86746 86749 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77720743 19521036288 811092 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
Current children cumulated CPU time: 3177.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3244368 KiB
[startup+3042.3 s]
/proc/loadavg: 4.80 4.55 4.39 6/338 87136
/proc/meminfo: memFree=94516380/131249988 swapFree=33010416/33010684
[pid=86749] ppid=86746 vsize=19063512 memory=3244496 CPUtime=3253.61 cores=0,2
/proc/86749/stat : 86749 (java) S 86746 86749 86397 0 -1 4194304 159927 0 0 0 325000 361 0 0 20 0 20 0 77720717 19521036288 811124 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
/proc/86749/statm: 4765878 811124 5497 1 0 822713 0
[pid=86749/tid=86751] ppid=86746 vsize=19063512 memory=3244368 CPUtime=2999.58 cores=0,2
/proc/86749/task/86751/stat : 86751 (java) R 86746 86749 86397 0 -1 4194368 84589 0 0 0 299874 84 0 0 20 0 20 0 77720718 19521036288 811124 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86760] ppid=86746 vsize=19063512 memory=3244368 CPUtime=0 cores=0,2
/proc/86749/task/86760/stat : 86760 (Finalizer) S 86746 86749 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77720720 19521036288 811124 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86767] ppid=86746 vsize=19063512 memory=3244368 CPUtime=0 cores=0,2
/proc/86749/task/86767/stat : 86767 (Common-Cleaner) S 86746 86749 86397 0 -1 4194368 1314 0 0 0 0 0 0 0 20 0 20 0 77720720 19521036288 811124 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86768] ppid=86746 vsize=19063512 memory=3244496 CPUtime=0 cores=0,2
/proc/86749/task/86768/stat : 86768 (Timer-0) S 86746 86749 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77720743 19521036288 811124 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
Current children cumulated CPU time: 3253.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3244496 KiB
[startup+3102.3 s]
/proc/loadavg: 4.72 4.57 4.41 5/339 87142
/proc/meminfo: memFree=94468580/131249988 swapFree=33010416/33010684
[pid=86749] ppid=86746 vsize=19063512 memory=3294580 CPUtime=3326.49 cores=0,2
/proc/86749/stat : 86749 (java) S 86746 86749 86397 0 -1 4194304 162769 0 0 0 332275 374 0 0 20 0 20 0 77720717 19521036288 823645 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
/proc/86749/statm: 4765878 823645 5497 1 0 835245 0
[pid=86749/tid=86751] ppid=86746 vsize=19063512 memory=3244368 CPUtime=3058.64 cores=0,2
/proc/86749/task/86751/stat : 86751 (java) R 86746 86749 86397 0 -1 4194368 85839 0 0 0 305778 86 0 0 20 0 20 0 77720718 19521036288 823645 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86760] ppid=86746 vsize=19063512 memory=3269604 CPUtime=0 cores=0,2
/proc/86749/task/86760/stat : 86760 (Finalizer) S 86746 86749 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77720720 19521036288 823645 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86767] ppid=86746 vsize=19063512 memory=14344 CPUtime=0 cores=0,2
/proc/86749/task/86767/stat : 86767 (Common-Cleaner) S 86746 86749 86397 0 -1 4194368 1365 0 0 0 0 0 0 0 20 0 20 0 77720720 19521036288 823645 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86768] ppid=86746 vsize=19063512 memory=3294580 CPUtime=0 cores=0,2
/proc/86749/task/86768/stat : 86768 (Timer-0) S 86746 86749 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77720743 19521036288 823645 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
Current children cumulated CPU time: 3326.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3294580 KiB
[startup+3162.3 s]
/proc/loadavg: 4.87 4.65 4.45 5/339 87144
/proc/meminfo: memFree=94413104/131249988 swapFree=33010416/33010684
[pid=86749] ppid=86746 vsize=19063512 memory=3353004 CPUtime=3399.61 cores=0,2
/proc/86749/stat : 86749 (java) S 86746 86749 86397 0 -1 4194304 164321 0 0 0 339571 390 0 0 20 0 20 0 77720717 19521036288 838251 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
/proc/86749/statm: 4765878 838251 5497 1 0 849865 0
[pid=86749/tid=86751] ppid=86746 vsize=19063512 memory=3244368 CPUtime=3117.7 cores=0,2
/proc/86749/task/86751/stat : 86751 (java) R 86746 86749 86397 0 -1 4194368 87099 0 0 0 311681 89 0 0 20 0 20 0 77720718 19521036288 838251 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86760] ppid=86746 vsize=19063512 memory=3269604 CPUtime=0 cores=0,2
/proc/86749/task/86760/stat : 86760 (Finalizer) S 86746 86749 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77720720 19521036288 838251 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86767] ppid=86746 vsize=19063512 memory=3327896 CPUtime=0 cores=0,2
/proc/86749/task/86767/stat : 86767 (Common-Cleaner) S 86746 86749 86397 0 -1 4194368 1366 0 0 0 0 0 0 0 20 0 20 0 77720720 19521036288 838251 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86768] ppid=86746 vsize=19063512 memory=3353004 CPUtime=0 cores=0,2
/proc/86749/task/86768/stat : 86768 (Timer-0) S 86746 86749 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77720743 19521036288 838251 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
Current children cumulated CPU time: 3399.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3353004 KiB
[startup+3222.3 s]
/proc/loadavg: 4.83 4.68 4.47 6/339 87146
/proc/meminfo: memFree=94389060/131249988 swapFree=33010416/33010684
[pid=86749] ppid=86746 vsize=19063512 memory=3378008 CPUtime=3472.79 cores=0,2
/proc/86749/stat : 86749 (java) S 86746 86749 86397 0 -1 4194304 167211 0 0 0 346875 404 0 0 20 0 20 0 77720717 19521036288 844502 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
/proc/86749/statm: 4765878 844502 5497 1 0 856135 0
[pid=86749/tid=86751] ppid=86746 vsize=19063512 memory=3269604 CPUtime=3176.78 cores=0,2
/proc/86749/task/86751/stat : 86751 (java) R 86746 86749 86397 0 -1 4194368 89355 0 0 0 317587 91 0 0 20 0 20 0 77720718 19521036288 844502 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86760] ppid=86746 vsize=19063512 memory=14344 CPUtime=0 cores=0,2
/proc/86749/task/86760/stat : 86760 (Finalizer) S 86746 86749 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77720720 19521036288 844502 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86767] ppid=86746 vsize=19063512 memory=3378008 CPUtime=0 cores=0,2
/proc/86749/task/86767/stat : 86767 (Common-Cleaner) S 86746 86749 86397 0 -1 4194368 1367 0 0 0 0 0 0 0 20 0 20 0 77720720 19521036288 844502 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86768] ppid=86746 vsize=19063512 memory=3378008 CPUtime=0 cores=0,2
/proc/86749/task/86768/stat : 86768 (Timer-0) S 86746 86749 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77720743 19521036288 844502 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
Current children cumulated CPU time: 3472.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3378008 KiB
[startup+3282.3 s]
/proc/loadavg: 4.82 4.71 4.49 5/339 87148
/proc/meminfo: memFree=94349916/131249988 swapFree=33010416/33010684
[pid=86749] ppid=86746 vsize=19063512 memory=3419688 CPUtime=3546.1 cores=0,2
/proc/86749/stat : 86749 (java) S 86746 86749 86397 0 -1 4194304 170249 0 0 0 354192 418 0 0 20 0 20 0 77720717 19521036288 854922 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
/proc/86749/statm: 4765878 854922 5497 1 0 866588 0
[pid=86749/tid=86751] ppid=86746 vsize=19063512 memory=14344 CPUtime=3235.92 cores=0,2
/proc/86749/task/86751/stat : 86751 (java) R 86746 86749 86397 0 -1 4194368 90754 0 0 0 323499 93 0 0 20 0 20 0 77720718 19521036288 854922 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86760] ppid=86746 vsize=19063512 memory=14344 CPUtime=0 cores=0,2
/proc/86749/task/86760/stat : 86760 (Finalizer) S 86746 86749 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77720720 19521036288 854922 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86767] ppid=86746 vsize=19063512 memory=3411352 CPUtime=0 cores=0,2
/proc/86749/task/86767/stat : 86767 (Common-Cleaner) S 86746 86749 86397 0 -1 4194368 1395 0 0 0 0 0 0 0 20 0 20 0 77720720 19521036288 854922 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86768] ppid=86746 vsize=19063512 memory=3419688 CPUtime=0 cores=0,2
/proc/86749/task/86768/stat : 86768 (Timer-0) S 86746 86749 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77720743 19521036288 854922 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
Current children cumulated CPU time: 3546.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3419688 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3326.11 s]
/proc/loadavg: 4.89 4.74 4.51 6/339 87149
/proc/meminfo: memFree=94308780/131249988 swapFree=33010416/33010684
[pid=86749] ppid=86746 vsize=19063512 memory=3461416 CPUtime=3600.04 cores=0,2
/proc/86749/stat : 86749 (java) S 86746 86749 86397 0 -1 4194304 171127 0 0 0 359576 428 0 0 20 0 20 0 77720717 19521036288 865354 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
/proc/86749/statm: 4765878 865354 5497 1 0 877032 0
[pid=86749/tid=86751] ppid=86746 vsize=19063512 memory=3453096 CPUtime=3279.12 cores=0,2
/proc/86749/task/86751/stat : 86751 (java) R 86746 86749 86397 0 -1 4194368 91394 0 0 0 327817 95 0 0 20 0 20 0 77720718 19521036288 865354 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86760] ppid=86746 vsize=19063512 memory=14344 CPUtime=0 cores=0,2
/proc/86749/task/86760/stat : 86760 (Finalizer) S 86746 86749 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77720720 19521036288 865354 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86767] ppid=86746 vsize=19063512 memory=14344 CPUtime=0 cores=0,2
/proc/86749/task/86767/stat : 86767 (Common-Cleaner) S 86746 86749 86397 0 -1 4194368 1395 0 0 0 0 0 0 0 20 0 20 0 77720720 19521036288 865354 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86768] ppid=86746 vsize=19063512 memory=14344 CPUtime=0 cores=0,2
/proc/86749/task/86768/stat : 86768 (Timer-0) S 86746 86749 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77720743 19521036288 865354 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3461416 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3326.19 s]
# the end of solver process 86749 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.9 s, system=4.29828 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3326.11 s]
/proc/loadavg: 4.89 4.74 4.51 6/339 87149
/proc/meminfo: memFree=94308780/131249988 swapFree=33010416/33010684
[pid=86749] ppid=86746 vsize=19063512 memory=3461416 CPUtime=3600.04 cores=0,2
/proc/86749/stat : 86749 (java) S 86746 86749 86397 0 -1 4194304 171127 0 0 0 359576 428 0 0 20 0 20 0 77720717 19521036288 865354 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
/proc/86749/statm: 4765878 865354 5497 1 0 877032 0
[pid=86749/tid=86751] ppid=86746 vsize=19063512 memory=3453096 CPUtime=3279.12 cores=0,2
/proc/86749/task/86751/stat : 86751 (java) R 86746 86749 86397 0 -1 4194368 91394 0 0 0 327817 95 0 0 20 0 20 0 77720718 19521036288 865354 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86760] ppid=86746 vsize=19063512 memory=14344 CPUtime=0 cores=0,2
/proc/86749/task/86760/stat : 86760 (Finalizer) S 86746 86749 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77720720 19521036288 865354 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86767] ppid=86746 vsize=19063512 memory=14344 CPUtime=0 cores=0,2
/proc/86749/task/86767/stat : 86767 (Common-Cleaner) S 86746 86749 86397 0 -1 4194368 1395 0 0 0 0 0 0 0 20 0 20 0 77720720 19521036288 865354 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
[pid=86749/tid=86768] ppid=86746 vsize=19063512 memory=14344 CPUtime=0 cores=0,2
/proc/86749/task/86768/stat : 86768 (Timer-0) S 86746 86749 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77720743 19521036288 865354 18446744073709551615 93850659741696 93850659745392 140735330300352 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93850659753208 93850659754000 93850660114432 140735330302332 140735330302436 140735330302436 140735330308040 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3461416 KiB
Child status: 143
Real time (s): 3326.19
CPU time (s): 3600.2
CPU user time (s): 3595.9
CPU system time (s): 4.29828
CPU usage (%): 108.238
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 3461416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.9
system time used= 4.29828
maximum resident set size= 3462312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172499
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 129755
involuntary context switches= 25480
# summary of solver processes directly reported to runsolver:
# pid: 86749
# total CPU time (s): 3600.2
# total CPU user time (s): 3595.9
# total CPU system time (s): 4.29828
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.96966 second user time and 16.0192 second system time
The end