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 (60884 MiB free)
memory of node 1: 64465 MiB (60276 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4495430-1751159543/watcher-4495430-1751159543 -o /tmp/evaluation-result-4495430-1751159543/solver-4495430-1751159543 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751159086-19277 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4495430-1751159543.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=19482, runsolver pid=19479
[startup+0.100062 s]*
/proc/loadavg: 4.09 3.50 2.48 5/342 19500
/proc/meminfo: memFree=124043888/131249996 swapFree=33010684/33010684
[pid=19482] ppid=19479 vsize=18930384 memory=57588 CPUtime=0.12 cores=4,6
/proc/19482/stat : 19482 (java) S 19479 19482 19266 0 -1 4194304 6555 0 0 0 10 2 0 0 20 0 18 0 31632975 19384713216 14397 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
/proc/19482/statm: 4732596 14397 5324 1 0 547604 0
[pid=19482/tid=19484] ppid=19479 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/19482/task/19484/stat : 19484 (java) R 19479 19482 19266 0 -1 4194368 5061 0 0 0 6 1 0 0 20 0 18 0 31632977 19384713216 14397 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19493] ppid=19479 vsize=18930384 memory=241407623509 CPUtime=0 cores=4,6
/proc/19482/task/19493/stat : 19493 (Finalizer) S 19479 19482 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31632979 19384713216 14397 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19500] ppid=19479 vsize=18930384 memory=61784027576291 CPUtime=0 cores=4,6
/proc/19482/task/19500/stat : 19500 (Common-Cleaner) S 19479 19482 19266 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 31632979 19384713216 14429 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57588 KiB
[startup+0.205803 s]*
/proc/loadavg: 4.09 3.50 2.48 8/343 19501
/proc/meminfo: memFree=124040864/131249996 swapFree=33010684/33010684
[pid=19482] ppid=19479 vsize=18996948 memory=62452 CPUtime=0.32 cores=4,6
/proc/19482/stat : 19482 (java) S 19479 19482 19266 0 -1 4194304 7251 0 0 0 29 3 0 0 20 0 19 0 31632975 19452874752 15613 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
/proc/19482/statm: 4749237 15613 5452 1 0 548348 0
[pid=19482/tid=19484] ppid=19479 vsize=18996948 memory=4026597660 CPUtime=0.17 cores=4,6
/proc/19482/task/19484/stat : 19484 (java) R 19479 19482 19266 0 -1 4194368 5419 0 0 0 15 2 0 0 20 0 19 0 31632977 19452874752 15613 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19493] ppid=19479 vsize=18996948 memory=13937 CPUtime=0 cores=4,6
/proc/19482/task/19493/stat : 19493 (Finalizer) S 19479 19482 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31632979 19452874752 15613 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19500] ppid=19479 vsize=18996948 memory=60684515935208 CPUtime=0 cores=4,6
/proc/19482/task/19500/stat : 19500 (Common-Cleaner) S 19479 19482 19266 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 31632979 19452874752 15613 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19501] ppid=19479 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/19482/task/19501/stat : 19501 (Timer-0) S 19479 19482 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 31632995 19452874752 15613 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62452 KiB
[startup+0.305736 s]*
/proc/loadavg: 4.09 3.50 2.48 6/343 19501
/proc/meminfo: memFree=124031412/131249996 swapFree=33010684/33010684
[pid=19482] ppid=19479 vsize=18996948 memory=75000 CPUtime=0.51 cores=4,6
/proc/19482/stat : 19482 (java) S 19479 19482 19266 0 -1 4194304 8035 0 0 0 47 4 0 0 20 0 19 0 31632975 19452874752 18750 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
/proc/19482/statm: 4749237 18750 5452 1 0 548708 0
[pid=19482/tid=19484] ppid=19479 vsize=18996948 memory=-6000919468378055534 CPUtime=0.25 cores=4,6
/proc/19482/task/19484/stat : 19484 (java) R 19479 19482 19266 0 -1 4194368 5458 0 0 0 23 2 0 0 20 0 19 0 31632977 19452874752 18750 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19493] ppid=19479 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/19482/task/19493/stat : 19493 (Finalizer) S 19479 19482 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31632979 19452874752 18750 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19500] ppid=19479 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/19482/task/19500/stat : 19500 (Common-Cleaner) S 19479 19482 19266 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 31632979 19452874752 18750 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19501] ppid=19479 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/19482/task/19501/stat : 19501 (Timer-0) S 19479 19482 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 31632995 19452874752 18750 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 75000 KiB
[startup+0.700225 s]
/proc/loadavg: 4.09 3.50 2.48 6/343 19501
/proc/meminfo: memFree=123964996/131249996 swapFree=33010684/33010684
[pid=19482] ppid=19479 vsize=19063512 memory=167028 CPUtime=1.28 cores=4,6
/proc/19482/stat : 19482 (java) S 19479 19482 19266 0 -1 4194304 12495 0 0 0 121 7 0 0 20 0 20 0 31632975 19521036288 41757 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
/proc/19482/statm: 4765878 41757 5452 1 0 551274 0
[pid=19482/tid=19484] ppid=19479 vsize=19063512 memory=17408 CPUtime=0.59 cores=4,6
/proc/19482/task/19484/stat : 19484 (java) R 19479 19482 19266 0 -1 4194368 5496 0 0 0 55 4 0 0 20 0 20 0 31632977 19521036288 41757 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19493] ppid=19479 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/19482/task/19493/stat : 19493 (Finalizer) S 19479 19482 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31632979 19521036288 41757 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19500] ppid=19479 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/19482/task/19500/stat : 19500 (Common-Cleaner) S 19479 19482 19266 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31632979 19521036288 41757 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19501] ppid=19479 vsize=19063512 memory=4496 CPUtime=0 cores=4,6
/proc/19482/task/19501/stat : 19501 (Timer-0) S 19479 19482 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31632995 19521036288 41757 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 167028 KiB
[startup+1.50026 s]
/proc/loadavg: 4.09 3.50 2.48 6/344 19502
/proc/meminfo: memFree=123928764/131249996 swapFree=33010684/33010684
[pid=19482] ppid=19479 vsize=19063512 memory=253024 CPUtime=2.85 cores=4,6
/proc/19482/stat : 19482 (java) S 19479 19482 19266 0 -1 4194304 19918 0 0 0 276 9 0 0 20 0 20 0 31632975 19521036288 63256 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
/proc/19482/statm: 4765878 63256 5452 1 0 552658 0
[pid=19482/tid=19484] ppid=19479 vsize=19063512 memory=0 CPUtime=1.3 cores=4,6
/proc/19482/task/19484/stat : 19484 (java) R 19479 19482 19266 0 -1 4194368 6208 0 0 0 125 5 0 0 20 0 20 0 31632977 19521036288 63256 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19493] ppid=19479 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/19482/task/19493/stat : 19493 (Finalizer) S 19479 19482 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31632979 19521036288 63256 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19500] ppid=19479 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/19482/task/19500/stat : 19500 (Common-Cleaner) S 19479 19482 19266 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31632979 19521036288 63256 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19501] ppid=19479 vsize=19063512 memory=4496 CPUtime=0 cores=4,6
/proc/19482/task/19501/stat : 19501 (Timer-0) S 19479 19482 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31632995 19521036288 63256 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 253024 KiB
[startup+3.1057 s]
/proc/loadavg: 4.09 3.50 2.48 5/344 19502
/proc/meminfo: memFree=122523252/131249996 swapFree=33010684/33010684
[pid=19482] ppid=19479 vsize=19063512 memory=1706348 CPUtime=5.84 cores=4,6
/proc/19482/stat : 19482 (java) S 19479 19482 19266 0 -1 4194304 28005 0 0 0 547 37 0 0 20 0 20 0 31632975 19521036288 426587 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
/proc/19482/statm: 4765878 426587 5452 1 0 923094 0
[pid=19482/tid=19484] ppid=19479 vsize=19063512 memory=11136 CPUtime=2.88 cores=4,6
/proc/19482/task/19484/stat : 19484 (java) R 19479 19482 19266 0 -1 4194368 7396 0 0 0 257 31 0 0 20 0 20 0 31632977 19521036288 426587 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19493] ppid=19479 vsize=19063512 memory=-6000919468378055534 CPUtime=0 cores=4,6
/proc/19482/task/19493/stat : 19493 (Finalizer) S 19479 19482 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31632979 19521036288 426587 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19500] ppid=19479 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/19482/task/19500/stat : 19500 (Common-Cleaner) S 19479 19482 19266 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31632979 19521036288 426587 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19501] ppid=19479 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/19482/task/19501/stat : 19501 (Timer-0) S 19479 19482 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31632995 19521036288 426587 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
Current children cumulated CPU time: 5.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1706348 KiB
[startup+6.30023 s]
/proc/loadavg: 4.17 3.52 2.49 5/344 19502
/proc/meminfo: memFree=122283472/131249996 swapFree=33010684/33010684
[pid=19482] ppid=19479 vsize=19063512 memory=1844756 CPUtime=9.2 cores=4,6
/proc/19482/stat : 19482 (java) S 19479 19482 19266 0 -1 4194304 28991 0 0 0 880 40 0 0 20 0 20 0 31632975 19521036288 461189 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
/proc/19482/statm: 4765878 461189 5452 1 0 923113 0
[pid=19482/tid=19484] ppid=19479 vsize=19063512 memory=0 CPUtime=6.02 cores=4,6
/proc/19482/task/19484/stat : 19484 (java) R 19479 19482 19266 0 -1 4194368 7636 0 0 0 569 33 0 0 20 0 20 0 31632977 19521036288 461189 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19493] ppid=19479 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/19482/task/19493/stat : 19493 (Finalizer) S 19479 19482 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31632979 19521036288 461189 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19500] ppid=19479 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/19482/task/19500/stat : 19500 (Common-Cleaner) S 19479 19482 19266 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31632979 19521036288 461189 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19501] ppid=19479 vsize=19063512 memory=14572 CPUtime=0 cores=4,6
/proc/19482/task/19501/stat : 19501 (Timer-0) S 19479 19482 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31632995 19521036288 461189 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
Current children cumulated CPU time: 9.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1844756 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 3.53 2.50 5/344 19502
/proc/meminfo: memFree=121860472/131249996 swapFree=33010684/33010684
[pid=19482] ppid=19479 vsize=19063512 memory=2235872 CPUtime=15.7 cores=4,6
/proc/19482/stat : 19482 (java) S 19479 19482 19266 0 -1 4194304 29802 0 0 0 1522 48 0 0 20 0 20 0 31632975 19521036288 558968 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
/proc/19482/statm: 4765878 558968 5452 1 0 923114 0
[pid=19482/tid=19484] ppid=19479 vsize=19063512 memory=2225576 CPUtime=12.34 cores=4,6
/proc/19482/task/19484/stat : 19484 (java) R 19479 19482 19266 0 -1 4194368 8335 0 0 0 1195 39 0 0 20 0 20 0 31632977 19521036288 558968 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19493] ppid=19479 vsize=19063512 memory=2229708 CPUtime=0 cores=4,6
/proc/19482/task/19493/stat : 19493 (Finalizer) S 19479 19482 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31632979 19521036288 558968 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19500] ppid=19479 vsize=19063512 memory=14572 CPUtime=0 cores=4,6
/proc/19482/task/19500/stat : 19500 (Common-Cleaner) S 19479 19482 19266 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31632979 19521036288 558968 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19501] ppid=19479 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/19482/task/19501/stat : 19501 (Timer-0) S 19479 19482 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31632995 19521036288 558968 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
Current children cumulated CPU time: 15.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2235872 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 3.56 2.53 5/344 19502
/proc/meminfo: memFree=121799688/131249996 swapFree=33010684/33010684
[pid=19482] ppid=19479 vsize=19063512 memory=2272796 CPUtime=28.63 cores=4,6
/proc/19482/stat : 19482 (java) S 19479 19482 19266 0 -1 4194304 34385 0 0 0 2813 50 0 0 20 0 20 0 31632975 19521036288 568199 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
/proc/19482/statm: 4765878 568199 5452 1 0 923114 0
[pid=19482/tid=19484] ppid=19479 vsize=19063512 memory=2229708 CPUtime=25 cores=4,6
/proc/19482/task/19484/stat : 19484 (java) R 19479 19482 19266 0 -1 4194368 10137 0 0 0 2460 40 0 0 20 0 20 0 31632977 19521036288 568199 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19493] ppid=19479 vsize=19063512 memory=2272796 CPUtime=0 cores=4,6
/proc/19482/task/19493/stat : 19493 (Finalizer) S 19479 19482 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31632979 19521036288 568199 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19500] ppid=19479 vsize=19063512 memory=2272796 CPUtime=0 cores=4,6
/proc/19482/task/19500/stat : 19500 (Common-Cleaner) S 19479 19482 19266 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31632979 19521036288 568199 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19501] ppid=19479 vsize=19063512 memory=2266624 CPUtime=0 cores=4,6
/proc/19482/task/19501/stat : 19501 (Timer-0) S 19479 19482 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31632995 19521036288 568199 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
Current children cumulated CPU time: 28.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2272796 KiB
[startup+51.1059 s]
/proc/loadavg: 4.20 3.62 2.58 5/344 19503
/proc/meminfo: memFree=121763632/131249996 swapFree=33010684/33010684
[pid=19482] ppid=19479 vsize=19063512 memory=2291248 CPUtime=54.27 cores=4,6
/proc/19482/stat : 19482 (java) S 19479 19482 19266 0 -1 4194304 38341 0 0 0 5375 52 0 0 20 0 20 0 31632975 19521036288 572812 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
/proc/19482/statm: 4765878 572812 5452 1 0 923114 0
[pid=19482/tid=19484] ppid=19479 vsize=19063512 memory=9856 CPUtime=50.49 cores=4,6
################
# More data... #
################
[pid=19482] ppid=19479 vsize=19063512 memory=2619312 CPUtime=1436.07 cores=4,6
/proc/19482/stat : 19482 (java) S 19479 19482 19266 0 -1 4194304 71285 0 0 0 143473 134 0 0 20 0 20 0 31632975 19521036288 654828 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
/proc/19482/statm: 4765878 654828 5452 1 0 923115 0
[pid=19482/tid=19484] ppid=19479 vsize=19063512 memory=2586492 CPUtime=1426.67 cores=4,6
/proc/19482/task/19484/stat : 19484 (java) R 19479 19482 19266 0 -1 4194368 29344 0 0 0 142615 52 0 0 20 0 20 0 31632977 19521036288 654828 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19493] ppid=19479 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/19482/task/19493/stat : 19493 (Finalizer) S 19479 19482 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31632979 19521036288 654828 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19500] ppid=19479 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/19482/task/19500/stat : 19500 (Common-Cleaner) S 19479 19482 19266 0 -1 4194368 717 0 0 0 0 0 0 0 20 0 20 0 31632979 19521036288 654828 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19501] ppid=19479 vsize=19063512 memory=56 CPUtime=0 cores=4,6
/proc/19482/task/19501/stat : 19501 (Timer-0) S 19479 19482 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31632995 19521036288 654828 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
Current children cumulated CPU time: 1436.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2619312 KiB
[startup+1459.2 s]
/proc/loadavg: 4.18 4.13 3.83 5/340 19580
/proc/meminfo: memFree=120765740/131249996 swapFree=33010684/33010684
[pid=19482] ppid=19479 vsize=19063512 memory=2625464 CPUtime=1461.64 cores=4,6
/proc/19482/stat : 19482 (java) S 19479 19482 19266 0 -1 4194304 71298 0 0 0 146029 135 0 0 20 0 20 0 31632975 19521036288 656366 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
/proc/19482/statm: 4765878 656366 5452 1 0 923115 0
[pid=19482/tid=19484] ppid=19479 vsize=19063512 memory=17408 CPUtime=1452.19 cores=4,6
/proc/19482/task/19484/stat : 19484 (java) R 19479 19482 19266 0 -1 4194368 29347 0 0 0 145167 52 0 0 20 0 20 0 31632977 19521036288 656366 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19493] ppid=19479 vsize=19063512 memory=17408 CPUtime=0 cores=4,6
/proc/19482/task/19493/stat : 19493 (Finalizer) S 19479 19482 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31632979 19521036288 656366 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19500] ppid=19479 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/19482/task/19500/stat : 19500 (Common-Cleaner) S 19479 19482 19266 0 -1 4194368 717 0 0 0 0 0 0 0 20 0 20 0 31632979 19521036288 656366 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19501] ppid=19479 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/19482/task/19501/stat : 19501 (Timer-0) S 19479 19482 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31632995 19521036288 656366 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
Current children cumulated CPU time: 1461.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2625464 KiB
[startup+1472 s]*
/proc/loadavg: 4.16 4.12 3.83 5/340 19581
/proc/meminfo: memFree=120753612/131249996 swapFree=33010684/33010684
[pid=19482] ppid=19479 vsize=19063512 memory=2637756 CPUtime=1474.45 cores=4,6
/proc/19482/stat : 19482 (java) S 19479 19482 19266 0 -1 4194304 71557 0 0 0 147309 136 0 0 20 0 20 0 31632975 19521036288 659439 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
/proc/19482/statm: 4765878 659439 5452 1 0 923115 0
[pid=19482/tid=19484] ppid=19479 vsize=19063512 memory=2665672 CPUtime=1464.93 cores=4,6
/proc/19482/task/19484/stat : 19484 (java) R 19479 19482 19266 0 -1 4194368 29572 0 0 0 146441 52 0 0 20 0 20 0 31632977 19521036288 659439 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19493] ppid=19479 vsize=19063512 memory=2179664 CPUtime=0 cores=4,6
/proc/19482/task/19493/stat : 19493 (Finalizer) S 19479 19482 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31632979 19521036288 659439 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19500] ppid=19479 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=4,6
/proc/19482/task/19500/stat : 19500 (Common-Cleaner) S 19479 19482 19266 0 -1 4194368 717 0 0 0 0 0 0 0 20 0 20 0 31632979 19521036288 659439 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19501] ppid=19479 vsize=19063512 memory=6896 CPUtime=0 cores=4,6
/proc/19482/task/19501/stat : 19501 (Timer-0) S 19479 19482 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31632995 19521036288 659439 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
Current children cumulated CPU time: 1474.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2637756 KiB
[startup+1478.4 s]
/proc/loadavg: 4.14 4.12 3.83 5/340 19581
/proc/meminfo: memFree=120751584/131249996 swapFree=33010684/33010684
[pid=19482] ppid=19479 vsize=19063512 memory=2637756 CPUtime=1480.84 cores=4,6
/proc/19482/stat : 19482 (java) S 19479 19482 19266 0 -1 4194304 71828 0 0 0 147948 136 0 0 20 0 20 0 31632975 19521036288 659439 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
/proc/19482/statm: 4765878 659439 5452 1 0 923115 0
[pid=19482/tid=19484] ppid=19479 vsize=19063512 memory=2637756 CPUtime=1471.3 cores=4,6
/proc/19482/task/19484/stat : 19484 (java) R 19479 19482 19266 0 -1 4194368 29651 0 0 0 147078 52 0 0 20 0 20 0 31632977 19521036288 659439 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19493] ppid=19479 vsize=19063512 memory=2637756 CPUtime=0 cores=4,6
/proc/19482/task/19493/stat : 19493 (Finalizer) S 19479 19482 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31632979 19521036288 659439 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19500] ppid=19479 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/19482/task/19500/stat : 19500 (Common-Cleaner) S 19479 19482 19266 0 -1 4194368 717 0 0 0 0 0 0 0 20 0 20 0 31632979 19521036288 659439 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19501] ppid=19479 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/19482/task/19501/stat : 19501 (Timer-0) S 19479 19482 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31632995 19521036288 659439 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
Current children cumulated CPU time: 1480.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2637756 KiB
[startup+1480 s]*
/proc/loadavg: 4.13 4.12 3.83 5/340 19581
/proc/meminfo: memFree=120751584/131249996 swapFree=33010684/33010684
[pid=19482] ppid=19479 vsize=19063512 memory=2637756 CPUtime=1482.45 cores=4,6
/proc/19482/stat : 19482 (java) S 19479 19482 19266 0 -1 4194304 71954 0 0 0 148109 136 0 0 20 0 20 0 31632975 19521036288 659439 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
/proc/19482/statm: 4765878 659439 5452 1 0 923115 0
[pid=19482/tid=19484] ppid=19479 vsize=19063512 memory=-6000919468378055534 CPUtime=1472.9 cores=4,6
/proc/19482/task/19484/stat : 19484 (java) R 19479 19482 19266 0 -1 4194368 29776 0 0 0 147238 52 0 0 20 0 20 0 31632977 19521036288 659439 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19493] ppid=19479 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=4,6
/proc/19482/task/19493/stat : 19493 (Finalizer) S 19479 19482 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31632979 19521036288 659439 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19500] ppid=19479 vsize=19063512 memory=4532 CPUtime=0 cores=4,6
/proc/19482/task/19500/stat : 19500 (Common-Cleaner) S 19479 19482 19266 0 -1 4194368 717 0 0 0 0 0 0 0 20 0 20 0 31632979 19521036288 659439 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19501] ppid=19479 vsize=19063512 memory=4660 CPUtime=0 cores=4,6
/proc/19482/task/19501/stat : 19501 (Timer-0) S 19479 19482 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31632995 19521036288 659439 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
Current children cumulated CPU time: 1482.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2637756 KiB
[startup+1480.8 s]
/proc/loadavg: 4.13 4.12 3.83 5/340 19581
/proc/meminfo: memFree=120751584/131249996 swapFree=33010684/33010684
[pid=19482] ppid=19479 vsize=19063512 memory=2637756 CPUtime=1483.25 cores=4,6
/proc/19482/stat : 19482 (java) S 19479 19482 19266 0 -1 4194304 71954 0 0 0 148189 136 0 0 20 0 20 0 31632975 19521036288 659439 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
/proc/19482/statm: 4765878 659439 5452 1 0 923115 0
[pid=19482/tid=19484] ppid=19479 vsize=19063512 memory=-6000919468378055534 CPUtime=1473.69 cores=4,6
/proc/19482/task/19484/stat : 19484 (java) R 19479 19482 19266 0 -1 4194368 29776 0 0 0 147317 52 0 0 20 0 20 0 31632977 19521036288 659439 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19493] ppid=19479 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/19482/task/19493/stat : 19493 (Finalizer) S 19479 19482 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31632979 19521036288 659439 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19500] ppid=19479 vsize=19063512 memory=2208 CPUtime=0 cores=4,6
/proc/19482/task/19500/stat : 19500 (Common-Cleaner) S 19479 19482 19266 0 -1 4194368 717 0 0 0 0 0 0 0 20 0 20 0 31632979 19521036288 659439 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19501] ppid=19479 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/19482/task/19501/stat : 19501 (Timer-0) S 19479 19482 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31632995 19521036288 659439 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
Current children cumulated CPU time: 1483.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2637756 KiB
[startup+1481.2 s]
/proc/loadavg: 4.13 4.12 3.83 5/340 19581
/proc/meminfo: memFree=120751616/131249996 swapFree=33010684/33010684
[pid=19482] ppid=19479 vsize=19063512 memory=2637756 CPUtime=1483.65 cores=4,6
/proc/19482/stat : 19482 (java) S 19479 19482 19266 0 -1 4194304 71957 0 0 0 148229 136 0 0 20 0 20 0 31632975 19521036288 659439 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
/proc/19482/statm: 4765878 659439 5452 1 0 923115 0
[pid=19482/tid=19484] ppid=19479 vsize=19063512 memory=-6000919468378055534 CPUtime=1474.08 cores=4,6
/proc/19482/task/19484/stat : 19484 (java) R 19479 19482 19266 0 -1 4194368 29776 0 0 0 147356 52 0 0 20 0 20 0 31632977 19521036288 659439 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19493] ppid=19479 vsize=19063512 memory=6896 CPUtime=0 cores=4,6
/proc/19482/task/19493/stat : 19493 (Finalizer) S 19479 19482 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31632979 19521036288 659439 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19500] ppid=19479 vsize=19063512 memory=2637756 CPUtime=0 cores=4,6
/proc/19482/task/19500/stat : 19500 (Common-Cleaner) S 19479 19482 19266 0 -1 4194368 717 0 0 0 0 0 0 0 20 0 20 0 31632979 19521036288 659439 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19501] ppid=19479 vsize=19063512 memory=-6000919468378055534 CPUtime=0 cores=4,6
/proc/19482/task/19501/stat : 19501 (Timer-0) S 19479 19482 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31632995 19521036288 659439 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
Current children cumulated CPU time: 1483.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2637756 KiB
[startup+1481.4 s]
/proc/loadavg: 4.13 4.12 3.83 5/340 19581
/proc/meminfo: memFree=120751616/131249996 swapFree=33010684/33010684
[pid=19482] ppid=19479 vsize=19063512 memory=2637756 CPUtime=1483.85 cores=4,6
/proc/19482/stat : 19482 (java) S 19479 19482 19266 0 -1 4194304 71957 0 0 0 148249 136 0 0 20 0 20 0 31632975 19521036288 659439 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
/proc/19482/statm: 4765878 659439 5452 1 0 923115 0
[pid=19482/tid=19484] ppid=19479 vsize=19063512 memory=-6000919468378055534 CPUtime=1474.28 cores=4,6
/proc/19482/task/19484/stat : 19484 (java) R 19479 19482 19266 0 -1 4194368 29776 0 0 0 147376 52 0 0 20 0 20 0 31632977 19521036288 659439 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19493] ppid=19479 vsize=19063512 memory=215587488049 CPUtime=0 cores=4,6
/proc/19482/task/19493/stat : 19493 (Finalizer) S 19479 19482 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31632979 19521036288 659439 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19500] ppid=19479 vsize=19063512 memory=54113165640434 CPUtime=0 cores=4,6
/proc/19482/task/19500/stat : 19500 (Common-Cleaner) S 19479 19482 19266 0 -1 4194368 717 0 0 0 0 0 0 0 20 0 20 0 31632979 19521036288 659439 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19501] ppid=19479 vsize=19063512 memory=93288 CPUtime=0 cores=4,6
/proc/19482/task/19501/stat : 19501 (Timer-0) S 19479 19482 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31632995 19521036288 659439 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
Current children cumulated CPU time: 1483.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2637756 KiB
[startup+1481.5 s]
/proc/loadavg: 4.13 4.12 3.83 5/340 19581
/proc/meminfo: memFree=120751616/131249996 swapFree=33010684/33010684
[pid=19482] ppid=19479 vsize=19063512 memory=2637756 CPUtime=1483.95 cores=4,6
/proc/19482/stat : 19482 (java) S 19479 19482 19266 0 -1 4194304 71965 0 0 0 148259 136 0 0 20 0 20 0 31632975 19521036288 659439 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
/proc/19482/statm: 4765878 659439 5452 1 0 923115 0
[pid=19482/tid=19484] ppid=19479 vsize=19063512 memory=3200 CPUtime=1474.38 cores=4,6
/proc/19482/task/19484/stat : 19484 (java) R 19479 19482 19266 0 -1 4194368 29784 0 0 0 147386 52 0 0 20 0 20 0 31632977 19521036288 659439 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19493] ppid=19479 vsize=19063512 memory=2625464 CPUtime=0 cores=4,6
/proc/19482/task/19493/stat : 19493 (Finalizer) S 19479 19482 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31632979 19521036288 659439 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19500] ppid=19479 vsize=19063512 memory=2619312 CPUtime=0 cores=4,6
/proc/19482/task/19500/stat : 19500 (Common-Cleaner) S 19479 19482 19266 0 -1 4194368 717 0 0 0 0 0 0 0 20 0 20 0 31632979 19521036288 659439 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
[pid=19482/tid=19501] ppid=19479 vsize=19063512 memory=2637756 CPUtime=0 cores=4,6
/proc/19482/task/19501/stat : 19501 (Timer-0) S 19479 19482 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31632995 19521036288 659439 18446744073709551615 93844030775296 93844030778992 140730065763104 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93844030786808 93844030787600 93844033904640 140730065770878 140730065770982 140730065770982 140730065776584 0
Current children cumulated CPU time: 1483.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2637756 KiB
Child status: 20
Real time (s): 1481.59
CPU time (s): 1484.07
CPU user time (s): 1482.68
CPU system time (s): 1.38193
CPU usage (%): 100.167
Max. virtual memory (cumulated for all children) (KiB): 19066092
Max. memory (cumulated for all children) (KiB): 2637756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1482.68
system time used= 1.38193
maximum resident set size= 2638652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74282
page faults= 0
swaps= 0
block input operations= 32
block output operations= 2520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80173
involuntary context switches= 3196
# summary of solver processes directly reported to runsolver:
# pid: 19482
# total CPU time (s): 1484.07
# total CPU user time (s): 1482.68
# total CPU system time (s): 1.38193
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.24609 second user time and 7.16563 second system time
The end