runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (63158 MiB free)
memory of node 1: 64507 MiB (63967 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484498-1751292833/watcher-4484498-1751292833 -o /tmp/evaluation-result-4484498-1751292833/solver-4484498-1751292833 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751292833-39483 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4484498-1751292833.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=39528, runsolver pid=39523
[startup+0.100076 s]*
/proc/loadavg: 1.28 3.23 3.79 7/290 39582
/proc/meminfo: memFree=130147556/131382112 swapFree=33010160/33010684
[pid=39528] ppid=39523 vsize=18930384 memory=45876 CPUtime=0.1 cores=4,6
/proc/39528/stat : 39528 (java) S 39523 39528 39472 0 -1 4194304 5487 0 0 0 6 4 0 0 20 0 18 0 44962216 19384713216 11469 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
/proc/39528/statm: 4732596 11469 4943 1 0 546730 0
[pid=39528/tid=39539] ppid=39523 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=4,6
/proc/39528/task/39539/stat : 39539 (java) R 39523 39528 39472 0 -1 4194368 4593 0 0 0 4 2 0 0 20 0 18 0 44962218 19384713216 11469 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39570] ppid=39523 vsize=18930384 memory=1593 CPUtime=0 cores=4,6
/proc/39528/task/39570/stat : 39570 (Finalizer) S 39523 39528 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 44962224 19384713216 11469 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39581] ppid=39523 vsize=18930384 memory=60693105869820 CPUtime=0 cores=4,6
/proc/39528/task/39581/stat : 39581 (Common-Cleaner) S 39523 39528 39472 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 44962225 19384713216 11469 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 45876 KiB
[startup+0.217242 s]*
/proc/loadavg: 1.28 3.23 3.79 7/318 39610
/proc/meminfo: memFree=130134892/131382112 swapFree=33010160/33010684
[pid=39528] ppid=39523 vsize=18930384 memory=52196 CPUtime=0.26 cores=4,6
/proc/39528/stat : 39528 (java) S 39523 39528 39472 0 -1 4194304 6206 0 0 0 22 4 0 0 20 0 18 0 44962216 19384713216 13049 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
/proc/39528/statm: 4732596 13049 5359 1 0 547329 0
[pid=39528/tid=39539] ppid=39523 vsize=18930384 memory=4026663196 CPUtime=0.16 cores=4,6
/proc/39528/task/39539/stat : 39539 (java) R 39523 39528 39472 0 -1 4194368 4969 0 0 0 14 2 0 0 20 0 18 0 44962218 19384713216 13049 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39570] ppid=39523 vsize=18930384 memory=1593 CPUtime=0 cores=4,6
/proc/39528/task/39570/stat : 39570 (Finalizer) S 39523 39528 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 44962224 19384713216 13049 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39581] ppid=39523 vsize=18930384 memory=60693105869820 CPUtime=0 cores=4,6
/proc/39528/task/39581/stat : 39581 (Common-Cleaner) S 39523 39528 39472 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 44962225 19384713216 13049 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52196 KiB
[startup+0.314363 s]*
/proc/loadavg: 1.28 3.23 3.79 9/318 39610
/proc/meminfo: memFree=130102756/131382112 swapFree=33010160/33010684
[pid=39528] ppid=39523 vsize=18930384 memory=58184 CPUtime=0.43 cores=4,6
/proc/39528/stat : 39528 (java) S 39523 39528 39472 0 -1 4194304 6662 0 0 0 38 5 0 0 20 0 18 0 44962216 19384713216 14546 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
/proc/39528/statm: 4732596 14546 5359 1 0 547685 0
[pid=39528/tid=39539] ppid=39523 vsize=18930384 memory=-6000919507099804524 CPUtime=0.26 cores=4,6
/proc/39528/task/39539/stat : 39539 (java) R 39523 39528 39472 0 -1 4194368 5143 0 0 0 23 3 0 0 20 0 18 0 44962218 19384713216 14546 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39570] ppid=39523 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/39528/task/39570/stat : 39570 (Finalizer) S 39523 39528 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 44962224 19384713216 14546 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39581] ppid=39523 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/39528/task/39581/stat : 39581 (Common-Cleaner) S 39523 39528 39472 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 44962225 19384713216 14546 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58184 KiB
[startup+0.700399 s]
/proc/loadavg: 1.28 3.23 3.79 13/318 39610
/proc/meminfo: memFree=130089776/131382112 swapFree=33010160/33010684
[pid=39528] ppid=39523 vsize=18996948 memory=67524 CPUtime=1.12 cores=4,6
/proc/39528/stat : 39528 (java) S 39523 39528 39472 0 -1 4194304 7361 0 2 0 104 8 0 0 20 0 19 0 44962216 19452874752 16881 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
/proc/39528/statm: 4749237 16881 5487 1 0 548352 0
[pid=39528/tid=39539] ppid=39523 vsize=18996948 memory=17664 CPUtime=0.54 cores=4,6
/proc/39528/task/39539/stat : 39539 (java) R 39523 39528 39472 0 -1 4194368 5505 0 2 0 50 4 0 0 20 0 19 0 44962218 19452874752 16881 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39570] ppid=39523 vsize=18996948 memory=11264 CPUtime=0 cores=4,6
/proc/39528/task/39570/stat : 39570 (Finalizer) S 39523 39528 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 44962224 19452874752 16881 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39581] ppid=39523 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/39528/task/39581/stat : 39581 (Common-Cleaner) S 39523 39528 39472 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 44962225 19452874752 16881 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 67524 KiB
[startup+1.50026 s]
/proc/loadavg: 1.28 3.23 3.79 10/322 39614
/proc/meminfo: memFree=129823792/131382112 swapFree=33010160/33010684
[pid=39528] ppid=39523 vsize=18996948 memory=141764 CPUtime=2.69 cores=4,6
/proc/39528/stat : 39528 (java) S 39523 39528 39472 0 -1 4194304 15636 0 2 0 257 12 0 0 20 0 19 0 44962216 19452874752 35441 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
/proc/39528/statm: 4749237 35441 5487 1 0 551888 0
[pid=39528/tid=39539] ppid=39523 vsize=18996948 memory=3200 CPUtime=1.29 cores=4,6
/proc/39528/task/39539/stat : 39539 (java) R 39523 39528 39472 0 -1 4194368 6136 0 2 0 124 5 0 0 20 0 19 0 44962218 19452874752 35441 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39570] ppid=39523 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/39528/task/39570/stat : 39570 (Finalizer) S 39523 39528 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 44962224 19452874752 35441 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39581] ppid=39523 vsize=18996948 memory=11264 CPUtime=0 cores=4,6
/proc/39528/task/39581/stat : 39581 (Common-Cleaner) S 39523 39528 39472 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 44962225 19452874752 35441 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39611] ppid=39523 vsize=18996948 memory=14720 CPUtime=0 cores=4,6
/proc/39528/task/39611/stat : 39611 (Timer-0) S 39523 39528 39472 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 44962281 19452874752 35441 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 141764 KiB
[startup+3.10532 s]
/proc/loadavg: 1.74 3.29 3.80 7/326 39618
/proc/meminfo: memFree=129616384/131382112 swapFree=33010160/33010684
[pid=39528] ppid=39523 vsize=19063512 memory=236560 CPUtime=5.79 cores=4,6
/proc/39528/stat : 39528 (java) S 39523 39528 39472 0 -1 4194304 23966 0 2 0 564 15 0 0 20 0 20 0 44962216 19521036288 59140 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
/proc/39528/statm: 4765878 59140 5519 1 0 667523 0
[pid=39528/tid=39539] ppid=39523 vsize=19063512 memory=14720 CPUtime=2.7 cores=4,6
/proc/39528/task/39539/stat : 39539 (java) R 39523 39528 39472 0 -1 4194368 6624 0 2 0 264 6 0 0 20 0 20 0 44962218 19521036288 59140 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39570] ppid=39523 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/39528/task/39570/stat : 39570 (Finalizer) S 39523 39528 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44962224 19521036288 59140 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39581] ppid=39523 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/39528/task/39581/stat : 39581 (Common-Cleaner) S 39523 39528 39472 0 -1 4194368 45 0 0 0 0 0 0 0 20 0 20 0 44962225 19521036288 59140 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39611] ppid=39523 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/39528/task/39611/stat : 39611 (Timer-0) S 39523 39528 39472 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44962281 19521036288 59140 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
Current children cumulated CPU time: 5.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 236560 KiB
[startup+6.30065 s]
/proc/loadavg: 1.74 3.29 3.80 6/326 39618
/proc/meminfo: memFree=128969344/131382112 swapFree=33010160/33010684
[pid=39528] ppid=39523 vsize=19063512 memory=840060 CPUtime=10.39 cores=4,6
/proc/39528/stat : 39528 (java) S 39523 39528 39472 0 -1 4194304 26136 0 2 0 1013 26 0 0 20 0 20 0 44962216 19521036288 210015 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
/proc/39528/statm: 4765878 210015 5519 1 0 969274 0
[pid=39528/tid=39539] ppid=39523 vsize=19063512 memory=0 CPUtime=5.76 cores=4,6
/proc/39528/task/39539/stat : 39539 (java) R 39523 39528 39472 0 -1 4194368 6910 0 2 0 561 15 0 0 20 0 20 0 44962218 19521036288 210015 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39570] ppid=39523 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/39528/task/39570/stat : 39570 (Finalizer) S 39523 39528 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44962224 19521036288 210015 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39581] ppid=39523 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/39528/task/39581/stat : 39581 (Common-Cleaner) S 39523 39528 39472 0 -1 4194368 45 0 0 0 0 0 0 0 20 0 20 0 44962225 19521036288 210015 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39611] ppid=39523 vsize=19063512 memory=158280 CPUtime=0 cores=4,6
/proc/39528/task/39611/stat : 39611 (Timer-0) S 39523 39528 39472 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44962281 19521036288 210015 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
Current children cumulated CPU time: 10.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 840060 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 3.32 3.81 5/326 39618
/proc/meminfo: memFree=128001004/131382112 swapFree=33010160/33010684
[pid=39528] ppid=39523 vsize=19063512 memory=1690212 CPUtime=17.53 cores=4,6
/proc/39528/stat : 39528 (java) S 39523 39528 39472 0 -1 4194304 26923 0 2 0 1712 41 0 0 20 0 20 0 44962216 19521036288 422553 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
/proc/39528/statm: 4765878 422553 5519 1 0 969280 0
[pid=39528/tid=39539] ppid=39523 vsize=19063512 memory=158280 CPUtime=11.97 cores=4,6
/proc/39528/task/39539/stat : 39539 (java) S 39523 39528 39472 0 -1 4194368 7583 0 2 0 1169 28 0 0 20 0 20 0 44962218 19521036288 422553 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39570] ppid=39523 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/39528/task/39570/stat : 39570 (Finalizer) S 39523 39528 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44962224 19521036288 422553 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39581] ppid=39523 vsize=19063512 memory=1690212 CPUtime=0 cores=4,6
/proc/39528/task/39581/stat : 39581 (Common-Cleaner) S 39523 39528 39472 0 -1 4194368 45 0 0 0 0 0 0 0 20 0 20 0 44962225 19521036288 422553 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39611] ppid=39523 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/39528/task/39611/stat : 39611 (Timer-0) S 39523 39528 39472 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44962281 19521036288 422553 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
Current children cumulated CPU time: 17.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1690212 KiB
[startup+25.5005 s]
/proc/loadavg: 2.58 3.39 3.83 5/326 39619
/proc/meminfo: memFree=126790744/131382112 swapFree=33010160/33010684
[pid=39528] ppid=39523 vsize=19063512 memory=2492960 CPUtime=31.23 cores=4,6
/proc/39528/stat : 39528 (java) S 39523 39528 39472 0 -1 4194304 35183 0 2 0 3064 59 0 0 20 0 20 0 44962216 19521036288 623240 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
/proc/39528/statm: 4765878 623240 5519 1 0 1151006 0
[pid=39528/tid=39539] ppid=39523 vsize=19063512 memory=-6000919494231679852 CPUtime=24.16 cores=4,6
/proc/39528/task/39539/stat : 39539 (java) R 39523 39528 39472 0 -1 4194368 9810 0 2 0 2374 42 0 0 20 0 20 0 44962218 19521036288 623240 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39570] ppid=39523 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/39528/task/39570/stat : 39570 (Finalizer) S 39523 39528 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44962224 19521036288 623240 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39581] ppid=39523 vsize=19063512 memory=2492960 CPUtime=0 cores=4,6
/proc/39528/task/39581/stat : 39581 (Common-Cleaner) S 39523 39528 39472 0 -1 4194368 45 0 0 0 0 0 0 0 20 0 20 0 44962225 19521036288 623240 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39611] ppid=39523 vsize=19063512 memory=-6000919494231679852 CPUtime=0 cores=4,6
/proc/39528/task/39611/stat : 39611 (Timer-0) S 39523 39528 39472 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44962281 19521036288 623240 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
Current children cumulated CPU time: 31.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2492960 KiB
[startup+51.1138 s]
/proc/loadavg: 3.26 3.49 3.85 5/326 39619
/proc/meminfo: memFree=123744844/131382112 swapFree=33010160/33010684
[pid=39528] ppid=39523 vsize=19063512 memory=3001444 CPUtime=59.97 cores=4,6
/proc/39528/stat : 39528 (java) S 39523 39528 39472 0 -1 4194304 59933 0 2 0 5923 74 0 0 20 0 20 0 44962216 19521036288 750361 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
/proc/39528/statm: 4765878 750361 5519 1 0 1156372 0
[pid=39528/tid=39539] ppid=39523 vsize=19063512 memory=14720 CPUtime=49.17 cores=4,6
/proc/39528/task/39539/stat : 39539 (java) R 39523 39528 39472 0 -1 4194368 12993 0 2 0 4867 50 0 0 20 0 20 0 44962218 19521036288 750361 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39570] ppid=39523 vsize=19063512 memory=1690212 CPUtime=0 cores=4,6
/proc/39528/task/39570/stat : 39570 (Finalizer) S 39523 39528 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44962224 19521036288 750361 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39581] ppid=39523 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/39528/task/39581/stat : 39581 (Common-Cleaner) S 39523 39528 39472 0 -1 4194368 45 0 0 0 0 0 0 0 20 0 20 0 44962225 19521036288 750361 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
################
# More data... #
################
/proc/meminfo: memFree=97123596/131382112 swapFree=33010160/33010684
[pid=39528] ppid=39523 vsize=19063512 memory=5054604 CPUtime=3109.99 cores=4,6
/proc/39528/stat : 39528 (java) S 39523 39528 39472 0 -1 4194304 235572 0 2 0 310375 624 0 0 20 0 20 0 44962216 19521036288 1263651 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
/proc/39528/statm: 4765878 1263651 5519 1 0 1275906 0
[pid=39528/tid=39539] ppid=39523 vsize=19063512 memory=5054604 CPUtime=2763.93 cores=4,6
/proc/39528/task/39539/stat : 39539 (java) R 39523 39528 39472 0 -1 4194368 80044 0 2 0 276323 70 0 0 20 0 20 0 44962218 19521036288 1263651 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39570] ppid=39523 vsize=19063512 memory=5054604 CPUtime=0 cores=4,6
/proc/39528/task/39570/stat : 39570 (Finalizer) S 39523 39528 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44962224 19521036288 1263651 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39581] ppid=39523 vsize=19063512 memory=5054604 CPUtime=0 cores=4,6
/proc/39528/task/39581/stat : 39581 (Common-Cleaner) S 39523 39528 39472 0 -1 4194368 1266 0 0 0 0 0 0 0 20 0 20 0 44962225 19521036288 1263651 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39611] ppid=39523 vsize=19063512 memory=-6000919494231679852 CPUtime=0 cores=4,6
/proc/39528/task/39611/stat : 39611 (Timer-0) S 39523 39528 39472 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44962281 19521036288 1263651 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
Current children cumulated CPU time: 3109.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5054604 KiB
[startup+2862.3 s]
/proc/loadavg: 4.52 4.60 4.62 6/328 39765
/proc/meminfo: memFree=97028708/131382112 swapFree=33010160/33010684
[pid=39528] ppid=39523 vsize=19063512 memory=5054604 CPUtime=3176.79 cores=4,6
/proc/39528/stat : 39528 (java) S 39523 39528 39472 0 -1 4194304 237794 0 2 0 317044 635 0 0 20 0 20 0 44962216 19521036288 1263651 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
/proc/39528/statm: 4765878 1263651 5519 1 0 1275906 0
[pid=39528/tid=39539] ppid=39523 vsize=19063512 memory=5054604 CPUtime=2823.69 cores=4,6
/proc/39528/task/39539/stat : 39539 (java) R 39523 39528 39472 0 -1 4194368 81461 0 2 0 282298 71 0 0 20 0 20 0 44962218 19521036288 1263651 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39570] ppid=39523 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/39528/task/39570/stat : 39570 (Finalizer) S 39523 39528 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44962224 19521036288 1263651 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39581] ppid=39523 vsize=19063512 memory=5054604 CPUtime=0 cores=4,6
/proc/39528/task/39581/stat : 39581 (Common-Cleaner) S 39523 39528 39472 0 -1 4194368 1308 0 0 0 0 0 0 0 20 0 20 0 44962225 19521036288 1263651 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39611] ppid=39523 vsize=19063512 memory=17664 CPUtime=0 cores=4,6
/proc/39528/task/39611/stat : 39611 (Timer-0) S 39523 39528 39472 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44962281 19521036288 1263651 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
Current children cumulated CPU time: 3176.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5054604 KiB
[startup+2922.3 s]
/proc/loadavg: 4.77 4.64 4.63 5/328 39767
/proc/meminfo: memFree=96350948/131382112 swapFree=33010160/33010684
[pid=39528] ppid=39523 vsize=19063512 memory=5054732 CPUtime=3251.82 cores=4,6
/proc/39528/stat : 39528 (java) S 39523 39528 39472 0 -1 4194304 242499 0 2 0 324527 655 0 0 20 0 20 0 44962216 19521036288 1263683 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
/proc/39528/statm: 4765878 1263683 5519 1 0 1275908 0
[pid=39528/tid=39539] ppid=39523 vsize=19063512 memory=5054604 CPUtime=2883 cores=4,6
/proc/39528/task/39539/stat : 39539 (java) R 39523 39528 39472 0 -1 4194368 83126 0 2 0 288229 71 0 0 20 0 20 0 44962218 19521036288 1263683 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39570] ppid=39523 vsize=19063512 memory=5054604 CPUtime=0 cores=4,6
/proc/39528/task/39570/stat : 39570 (Finalizer) S 39523 39528 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44962224 19521036288 1263683 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39581] ppid=39523 vsize=19063512 memory=5054732 CPUtime=0 cores=4,6
/proc/39528/task/39581/stat : 39581 (Common-Cleaner) S 39523 39528 39472 0 -1 4194368 1308 0 0 0 0 0 0 0 20 0 20 0 44962225 19521036288 1263683 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39611] ppid=39523 vsize=19063512 memory=4352 CPUtime=0 cores=4,6
/proc/39528/task/39611/stat : 39611 (Timer-0) S 39523 39528 39472 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44962281 19521036288 1263683 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
Current children cumulated CPU time: 3251.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5054732 KiB
[startup+2982.3 s]
/proc/loadavg: 4.99 4.71 4.66 5/328 39769
/proc/meminfo: memFree=96028448/131382112 swapFree=33010160/33010684
[pid=39528] ppid=39523 vsize=19063512 memory=5054732 CPUtime=3333.1 cores=4,6
/proc/39528/stat : 39528 (java) S 39523 39528 39472 0 -1 4194304 244787 0 2 0 332627 683 0 0 20 0 20 0 44962216 19521036288 1263683 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
/proc/39528/statm: 4765878 1263683 5519 1 0 1275908 0
[pid=39528/tid=39539] ppid=39523 vsize=19063512 memory=7024 CPUtime=2942.07 cores=4,6
/proc/39528/task/39539/stat : 39539 (java) R 39523 39528 39472 0 -1 4194368 83956 0 2 0 294135 72 0 0 20 0 20 0 44962218 19521036288 1263683 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39570] ppid=39523 vsize=19063512 memory=17664 CPUtime=0 cores=4,6
/proc/39528/task/39570/stat : 39570 (Finalizer) S 39523 39528 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44962224 19521036288 1263683 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39581] ppid=39523 vsize=19063512 memory=-6000919494231679852 CPUtime=0 cores=4,6
/proc/39528/task/39581/stat : 39581 (Common-Cleaner) S 39523 39528 39472 0 -1 4194368 1331 0 0 0 0 0 0 0 20 0 20 0 44962225 19521036288 1263683 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39611] ppid=39523 vsize=19063512 memory=5054732 CPUtime=0 cores=4,6
/proc/39528/task/39611/stat : 39611 (Timer-0) S 39523 39528 39472 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44962281 19521036288 1263683 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
Current children cumulated CPU time: 3333.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5054732 KiB
[startup+3042.3 s]
/proc/loadavg: 4.65 4.66 4.64 7/327 39771
/proc/meminfo: memFree=96029132/131382112 swapFree=33010160/33010684
[pid=39528] ppid=39523 vsize=19063512 memory=5054732 CPUtime=3407.03 cores=4,6
/proc/39528/stat : 39528 (java) S 39523 39528 39472 0 -1 4194304 248883 0 2 0 340001 702 0 0 20 0 20 0 44962216 19521036288 1263683 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
/proc/39528/statm: 4765878 1263683 5519 1 0 1275908 0
[pid=39528/tid=39539] ppid=39523 vsize=19063512 memory=17664 CPUtime=3001.12 cores=4,6
/proc/39528/task/39539/stat : 39539 (java) R 39523 39528 39472 0 -1 4194368 85010 0 2 0 300040 72 0 0 20 0 20 0 44962218 19521036288 1263683 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39570] ppid=39523 vsize=19063512 memory=4892 CPUtime=0 cores=4,6
/proc/39528/task/39570/stat : 39570 (Finalizer) S 39523 39528 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44962224 19521036288 1263683 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39581] ppid=39523 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/39528/task/39581/stat : 39581 (Common-Cleaner) S 39523 39528 39472 0 -1 4194368 1371 0 0 0 0 0 0 0 20 0 20 0 44962225 19521036288 1263683 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39611] ppid=39523 vsize=19063512 memory=5054732 CPUtime=0 cores=4,6
/proc/39528/task/39611/stat : 39611 (Timer-0) S 39523 39528 39472 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44962281 19521036288 1263683 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
Current children cumulated CPU time: 3407.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5054732 KiB
[startup+3102.3 s]
/proc/loadavg: 5.01 4.77 4.68 6/328 39774
/proc/meminfo: memFree=95644196/131382112 swapFree=33010160/33010684
[pid=39528] ppid=39523 vsize=19063512 memory=5054860 CPUtime=3484.55 cores=4,6
/proc/39528/stat : 39528 (java) S 39523 39528 39472 0 -1 4194304 251387 0 2 0 347730 725 0 0 20 0 20 0 44962216 19521036288 1263715 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
/proc/39528/statm: 4765878 1263715 5519 1 0 1275908 0
[pid=39528/tid=39539] ppid=39523 vsize=19063512 memory=5054732 CPUtime=3060.19 cores=4,6
/proc/39528/task/39539/stat : 39539 (java) R 39523 39528 39472 0 -1 4194368 85875 0 2 0 305947 72 0 0 20 0 20 0 44962218 19521036288 1263715 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39570] ppid=39523 vsize=19063512 memory=5054860 CPUtime=0 cores=4,6
/proc/39528/task/39570/stat : 39570 (Finalizer) S 39523 39528 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44962224 19521036288 1263715 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39581] ppid=39523 vsize=19063512 memory=5054860 CPUtime=0 cores=4,6
/proc/39528/task/39581/stat : 39581 (Common-Cleaner) S 39523 39528 39472 0 -1 4194368 1372 0 0 0 0 0 0 0 20 0 20 0 44962225 19521036288 1263715 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39611] ppid=39523 vsize=19063512 memory=5054860 CPUtime=0 cores=4,6
/proc/39528/task/39611/stat : 39611 (Timer-0) S 39523 39528 39472 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44962281 19521036288 1263715 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
Current children cumulated CPU time: 3484.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5054860 KiB
[startup+3162.3 s]
/proc/loadavg: 4.87 4.77 4.68 5/328 39776
/proc/meminfo: memFree=95480652/131382112 swapFree=33010160/33010684
[pid=39528] ppid=39523 vsize=19063512 memory=5139052 CPUtime=3568.66 cores=4,6
/proc/39528/stat : 39528 (java) S 39523 39528 39472 0 -1 4194304 257734 0 2 0 356107 759 0 0 20 0 20 0 44962216 19521036288 1284763 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
/proc/39528/statm: 4765878 1284763 5519 1 0 1296788 0
[pid=39528/tid=39539] ppid=39523 vsize=19063512 memory=5054860 CPUtime=3118.89 cores=4,6
/proc/39528/task/39539/stat : 39539 (java) R 39523 39528 39472 0 -1 4194368 88007 0 2 0 311815 74 0 0 20 0 20 0 44962218 19521036288 1284763 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39570] ppid=39523 vsize=19063512 memory=5054860 CPUtime=0 cores=4,6
/proc/39528/task/39570/stat : 39570 (Finalizer) S 39523 39528 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44962224 19521036288 1284763 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39581] ppid=39523 vsize=19063512 memory=5054860 CPUtime=0 cores=4,6
/proc/39528/task/39581/stat : 39581 (Common-Cleaner) S 39523 39528 39472 0 -1 4194368 1411 0 0 0 0 0 0 0 20 0 20 0 44962225 19521036288 1284763 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39611] ppid=39523 vsize=19063512 memory=5105708 CPUtime=0 cores=4,6
/proc/39528/task/39611/stat : 39611 (Timer-0) S 39523 39528 39472 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44962281 19521036288 1284763 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
Current children cumulated CPU time: 3568.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5139052 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3183.8 s]
/proc/loadavg: 4.99 4.80 4.70 7/328 39776
/proc/meminfo: memFree=95426020/131382112 swapFree=33010160/33010684
[pid=39528] ppid=39523 vsize=19063512 memory=5180700 CPUtime=3600.06 cores=4,6
/proc/39528/stat : 39528 (java) S 39523 39528 39472 0 -1 4194304 261904 0 2 0 359235 771 0 0 20 0 20 0 44962216 19521036288 1295175 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
/proc/39528/statm: 4765878 1295175 5519 1 0 1307233 0
[pid=39528/tid=39539] ppid=39523 vsize=19063512 memory=12416 CPUtime=3139.88 cores=4,6
/proc/39528/task/39539/stat : 39539 (java) R 39523 39528 39472 0 -1 4194368 89092 0 2 0 313913 75 0 0 20 0 20 0 44962218 19521036288 1295175 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39570] ppid=39523 vsize=19063512 memory=10112 CPUtime=0 cores=4,6
/proc/39528/task/39570/stat : 39570 (Finalizer) S 39523 39528 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44962224 19521036288 1295175 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39581] ppid=39523 vsize=19063512 memory=-6000919494231679852 CPUtime=0 cores=4,6
/proc/39528/task/39581/stat : 39581 (Common-Cleaner) S 39523 39528 39472 0 -1 4194368 1469 0 0 0 0 0 0 0 20 0 20 0 44962225 19521036288 1295175 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
[pid=39528/tid=39611] ppid=39523 vsize=19063512 memory=5888 CPUtime=0 cores=4,6
/proc/39528/task/39611/stat : 39611 (Timer-0) S 39523 39528 39472 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44962281 19521036288 1295175 18446744073709551615 94643997057024 94643997060720 140723325054528 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94643997068536 94643997069328 94644017676288 140723325061502 140723325061606 140723325061606 140723325067208 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5180700 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3183.88 s]
# the end of solver process 39528 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3592.47 s, system=7.73951 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3183.88
CPU time (s): 3600.21
CPU user time (s): 3592.47
CPU system time (s): 7.73951
CPU usage (%): 113.076
Max. virtual memory (cumulated for all children) (KiB): 19069656
Max. memory (cumulated for all children) (KiB): 5180700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.47
system time used= 7.73951
maximum resident set size= 5181596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 263523
page faults= 2
swaps= 0
block input operations= 368
block output operations= 5600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 162623
involuntary context switches= 32149
# summary of solver processes directly reported to runsolver:
# pid: 39528
# total CPU time (s): 3600.21
# total CPU user time (s): 3592.47
# total CPU system time (s): 7.73951
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.162 second user time and 30.7953 second system time
The end