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: 63665 MiB (59599 MiB free)
memory of node 1: 64507 MiB (58711 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512241-1751526768/watcher-4512241-1751526768 -o /tmp/evaluation-result-4512241-1751526768/solver-4512241-1751526768 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751519881-77405 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4512241-1751526768.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
solver pid=78479, runsolver pid=78476
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.47 4.61 4.66 5/340 78497
/proc/meminfo: memFree=121125180/131249996 swapFree=33010672/33010684
[pid=78479] ppid=78476 vsize=18930384 memory=57880 CPUtime=0.13 cores=5,7
/proc/78479/stat : 78479 (java) S 78476 78479 77392 0 -1 4194304 6595 0 0 0 11 2 0 0 20 0 18 0 68354526 19384713216 14470 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
/proc/78479/statm: 4732596 14470 5363 1 0 547640 0
[pid=78479/tid=78481] ppid=78476 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=5,7
/proc/78479/task/78481/stat : 78481 (java) R 78476 78479 77392 0 -1 4194368 5088 0 0 0 7 1 0 0 20 0 18 0 68354527 19384713216 14470 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78490] ppid=78476 vsize=18930384 memory=224227754321 CPUtime=0 cores=5,7
/proc/78479/task/78490/stat : 78490 (Finalizer) S 78476 78479 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 68354529 19384713216 14470 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78497] ppid=78476 vsize=18930384 memory=59585004335488 CPUtime=0 cores=5,7
/proc/78479/task/78497/stat : 78497 (Common-Cleaner) S 78476 78479 77392 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 68354529 19384713216 14470 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57880 KiB
[startup+0.205771 s]*
/proc/loadavg: 4.47 4.61 4.66 7/340 78497
/proc/meminfo: memFree=121122660/131249996 swapFree=33010672/33010684
[pid=78479] ppid=78476 vsize=18930384 memory=64272 CPUtime=0.33 cores=5,7
/proc/78479/stat : 78479 (java) S 78476 78479 77392 0 -1 4194304 7103 0 0 0 30 3 0 0 20 0 18 0 68354526 19384713216 16068 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
/proc/78479/statm: 4732596 16068 5427 1 0 547957 0
[pid=78479/tid=78481] ppid=78476 vsize=18930384 memory=4026728732 CPUtime=0.18 cores=5,7
/proc/78479/task/78481/stat : 78481 (java) R 78476 78479 77392 0 -1 4194368 5382 0 0 0 16 2 0 0 20 0 18 0 68354527 19384713216 16068 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78490] ppid=78476 vsize=18930384 memory=16195 CPUtime=0 cores=5,7
/proc/78479/task/78490/stat : 78490 (Finalizer) S 78476 78479 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 68354529 19384713216 16068 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78497] ppid=78476 vsize=18930384 memory=58485492679654 CPUtime=0 cores=5,7
/proc/78479/task/78497/stat : 78497 (Common-Cleaner) S 78476 78479 77392 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 68354529 19384713216 16068 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64272 KiB
[startup+0.305734 s]*
/proc/loadavg: 4.47 4.61 4.66 6/341 78498
/proc/meminfo: memFree=121115792/131249996 swapFree=33010672/33010684
[pid=78479] ppid=78476 vsize=18996948 memory=70884 CPUtime=0.51 cores=5,7
/proc/78479/stat : 78479 (java) S 78476 78479 77392 0 -1 4194304 8351 0 0 0 48 3 0 0 20 0 19 0 68354526 19452874752 17721 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
/proc/78479/statm: 4749237 17721 5491 1 0 548687 0
[pid=78479/tid=78481] ppid=78476 vsize=18996948 memory=-6000919481262957672 CPUtime=0.26 cores=5,7
/proc/78479/task/78481/stat : 78481 (java) R 78476 78479 77392 0 -1 4194368 5507 0 0 0 24 2 0 0 20 0 19 0 68354527 19452874752 17721 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78490] ppid=78476 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/78479/task/78490/stat : 78490 (Finalizer) S 78476 78479 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68354529 19452874752 17721 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78497] ppid=78476 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/78479/task/78497/stat : 78497 (Common-Cleaner) S 78476 78479 77392 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 68354529 19452874752 17721 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78498] ppid=78476 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/78479/task/78498/stat : 78498 (Timer-0) S 78476 78479 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 68354552 19452874752 17721 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 70884 KiB
[startup+0.700255 s]
/proc/loadavg: 4.47 4.61 4.66 7/341 78498
/proc/meminfo: memFree=121074016/131249996 swapFree=33010672/33010684
[pid=78479] ppid=78476 vsize=18996948 memory=154080 CPUtime=1.28 cores=5,7
/proc/78479/stat : 78479 (java) S 78476 78479 77392 0 -1 4194304 13211 0 0 0 122 6 0 0 20 0 19 0 68354526 19452874752 38520 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
/proc/78479/statm: 4749237 38520 5491 1 0 551861 0
[pid=78479/tid=78481] ppid=78476 vsize=18996948 memory=18688 CPUtime=0.64 cores=5,7
/proc/78479/task/78481/stat : 78481 (java) R 78476 78479 77392 0 -1 4194368 5545 0 0 0 61 3 0 0 20 0 19 0 68354527 19452874752 38520 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78490] ppid=78476 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/78479/task/78490/stat : 78490 (Finalizer) S 78476 78479 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68354529 19452874752 38520 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78497] ppid=78476 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/78479/task/78497/stat : 78497 (Common-Cleaner) S 78476 78479 77392 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 68354529 19452874752 38520 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78498] ppid=78476 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/78479/task/78498/stat : 78498 (Timer-0) S 78476 78479 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 68354552 19452874752 38520 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 154080 KiB
[startup+1.50025 s]
/proc/loadavg: 4.47 4.61 4.66 6/342 78499
/proc/meminfo: memFree=121015440/131249996 swapFree=33010672/33010684
[pid=78479] ppid=78476 vsize=19063512 memory=183704 CPUtime=2.84 cores=5,7
/proc/78479/stat : 78479 (java) S 78476 78479 77392 0 -1 4194304 20662 0 0 0 277 7 0 0 20 0 20 0 68354526 19521036288 45926 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
/proc/78479/statm: 4765878 45926 5523 1 0 553154 0
[pid=78479/tid=78481] ppid=78476 vsize=19063512 memory=10752 CPUtime=1.39 cores=5,7
/proc/78479/task/78481/stat : 78481 (java) R 78476 78479 77392 0 -1 4194368 6097 0 0 0 135 4 0 0 20 0 20 0 68354527 19521036288 45926 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78490] ppid=78476 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/78479/task/78490/stat : 78490 (Finalizer) S 78476 78479 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68354529 19521036288 45926 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78497] ppid=78476 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/78479/task/78497/stat : 78497 (Common-Cleaner) S 78476 78479 77392 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 68354529 19521036288 45926 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78498] ppid=78476 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/78479/task/78498/stat : 78498 (Timer-0) S 78476 78479 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68354552 19521036288 45926 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 183704 KiB
[startup+3.10562 s]
/proc/loadavg: 4.52 4.62 4.66 6/342 78499
/proc/meminfo: memFree=120802072/131249996 swapFree=33010672/33010684
[pid=78479] ppid=78476 vsize=19063512 memory=393372 CPUtime=5.95 cores=5,7
/proc/78479/stat : 78479 (java) S 78476 78479 77392 0 -1 4194304 23442 0 0 0 583 12 0 0 20 0 20 0 68354526 19521036288 98343 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
/proc/78479/statm: 4765878 98343 5523 1 0 814603 0
[pid=78479/tid=78481] ppid=78476 vsize=19063512 memory=10752 CPUtime=2.85 cores=5,7
/proc/78479/task/78481/stat : 78481 (java) R 78476 78479 77392 0 -1 4194368 6686 0 0 0 278 7 0 0 20 0 20 0 68354527 19521036288 98343 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78490] ppid=78476 vsize=19063512 memory=-6000919481262957672 CPUtime=0 cores=5,7
/proc/78479/task/78490/stat : 78490 (Finalizer) S 78476 78479 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68354529 19521036288 98343 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78497] ppid=78476 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/78479/task/78497/stat : 78497 (Common-Cleaner) S 78476 78479 77392 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 68354529 19521036288 98343 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78498] ppid=78476 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/78479/task/78498/stat : 78498 (Timer-0) S 78476 78479 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68354552 19521036288 98343 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
Current children cumulated CPU time: 5.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 393372 KiB
[startup+6.30019 s]
/proc/loadavg: 4.52 4.62 4.66 8/342 78499
/proc/meminfo: memFree=120433428/131249996 swapFree=33010672/33010684
[pid=78479] ppid=78476 vsize=19063512 memory=718224 CPUtime=9.41 cores=5,7
/proc/78479/stat : 78479 (java) S 78476 78479 77392 0 -1 4194304 23734 0 0 0 922 19 0 0 20 0 20 0 68354526 19521036288 179556 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
/proc/78479/statm: 4765878 179556 5523 1 0 814608 0
[pid=78479/tid=78481] ppid=78476 vsize=19063512 memory=0 CPUtime=5.97 cores=5,7
/proc/78479/task/78481/stat : 78481 (java) R 78476 78479 77392 0 -1 4194368 6822 0 0 0 585 12 0 0 20 0 20 0 68354527 19521036288 179556 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78490] ppid=78476 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/78479/task/78490/stat : 78490 (Finalizer) S 78476 78479 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68354529 19521036288 179556 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78497] ppid=78476 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/78479/task/78497/stat : 78497 (Common-Cleaner) S 78476 78479 77392 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 68354529 19521036288 179556 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78498] ppid=78476 vsize=19063512 memory=187080 CPUtime=0 cores=5,7
/proc/78479/task/78498/stat : 78498 (Timer-0) S 78476 78479 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68354552 19521036288 179556 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
Current children cumulated CPU time: 9.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 718224 KiB
[startup+12.7002 s]
/proc/loadavg: 4.51 4.61 4.66 5/343 78500
/proc/meminfo: memFree=119473768/131249996 swapFree=33010672/33010684
[pid=78479] ppid=78476 vsize=19063512 memory=1674780 CPUtime=16 cores=5,7
/proc/78479/stat : 78479 (java) S 78476 78479 77392 0 -1 4194304 25676 0 0 0 1561 39 0 0 20 0 20 0 68354526 19521036288 418695 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
/proc/78479/statm: 4765878 418695 5523 1 0 814614 0
[pid=78479/tid=78481] ppid=78476 vsize=19063512 memory=187080 CPUtime=12.2 cores=5,7
/proc/78479/task/78481/stat : 78481 (java) R 78476 78479 77392 0 -1 4194368 8128 0 0 0 1191 29 0 0 20 0 20 0 68354527 19521036288 418695 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78490] ppid=78476 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/78479/task/78490/stat : 78490 (Finalizer) S 78476 78479 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68354529 19521036288 418695 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78497] ppid=78476 vsize=19063512 memory=1654292 CPUtime=0 cores=5,7
/proc/78479/task/78497/stat : 78497 (Common-Cleaner) S 78476 78479 77392 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 68354529 19521036288 418695 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78498] ppid=78476 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/78479/task/78498/stat : 78498 (Timer-0) S 78476 78479 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68354552 19521036288 418695 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
Current children cumulated CPU time: 16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1674780 KiB
[startup+25.5003 s]
/proc/loadavg: 4.43 4.59 4.65 5/343 78500
/proc/meminfo: memFree=119011432/131249996 swapFree=33010672/33010684
[pid=78479] ppid=78476 vsize=19063512 memory=2071972 CPUtime=29.09 cores=5,7
/proc/78479/stat : 78479 (java) S 78476 78479 77392 0 -1 4194304 32524 0 0 0 2862 47 0 0 20 0 20 0 68354526 19521036288 517993 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
/proc/78479/statm: 4765878 517993 5523 1 0 814616 0
[pid=78479/tid=78481] ppid=78476 vsize=19063512 memory=10752 CPUtime=24.73 cores=5,7
/proc/78479/task/78481/stat : 78481 (java) R 78476 78479 77392 0 -1 4194368 10385 0 0 0 2438 35 0 0 20 0 20 0 68354527 19521036288 517993 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78490] ppid=78476 vsize=19063512 memory=1654292 CPUtime=0 cores=5,7
/proc/78479/task/78490/stat : 78490 (Finalizer) S 78476 78479 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68354529 19521036288 517993 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78497] ppid=78476 vsize=19063512 memory=5276 CPUtime=0 cores=5,7
/proc/78479/task/78497/stat : 78497 (Common-Cleaner) S 78476 78479 77392 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 68354529 19521036288 517993 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78498] ppid=78476 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/78479/task/78498/stat : 78498 (Timer-0) S 78476 78479 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68354552 19521036288 517993 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
Current children cumulated CPU time: 29.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2071972 KiB
[startup+51.1056 s]
/proc/loadavg: 4.34 4.56 4.64 5/343 78501
/proc/meminfo: memFree=118832468/131249996 swapFree=33010672/33010684
[pid=78479] ppid=78476 vsize=19063512 memory=2166228 CPUtime=55.16 cores=5,7
/proc/78479/stat : 78479 (java) S 78476 78479 77392 0 -1 4194304 38120 0 0 0 5467 49 0 0 20 0 20 0 68354526 19521036288 541557 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
/proc/78479/statm: 4765878 541557 5523 1 0 814617 0
[pid=78479/tid=78481] ppid=78476 vsize=19063512 memory=21996 CPUtime=49.72 cores=5,7
/proc/78479/task/78481/stat : 78481 (java) R 78476 78479 77392 0 -1 4194368 13062 0 0 0 4937 35 0 0 20 0 20 0 68354527 19521036288 541557 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
################
# More data... #
################
/proc/78479/task/78490/stat : 78490 (Finalizer) S 78476 78479 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68354529 19521036288 894084 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78497] ppid=78476 vsize=19063512 memory=3568012 CPUtime=0 cores=5,7
/proc/78479/task/78497/stat : 78497 (Common-Cleaner) S 78476 78479 77392 0 -1 4194368 989 0 0 0 0 0 0 0 20 0 20 0 68354529 19521036288 894084 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78498] ppid=78476 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/78479/task/78498/stat : 78498 (Timer-0) S 78476 78479 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68354552 19521036288 894084 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
Current children cumulated CPU time: 3116.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3576336 KiB
[startup+2802.3 s]
/proc/loadavg: 4.53 4.75 4.73 5/338 78625
/proc/meminfo: memFree=104266984/131249996 swapFree=33010672/33010684
[pid=78479] ppid=78476 vsize=19063512 memory=3592976 CPUtime=3192.41 cores=5,7
/proc/78479/stat : 78479 (java) S 78476 78479 77392 0 -1 4194304 148695 0 0 0 318808 433 0 0 20 0 20 0 68354526 19521036288 898244 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
/proc/78479/statm: 4765878 898244 5523 1 0 912740 0
[pid=78479/tid=78481] ppid=78476 vsize=19063512 memory=3592976 CPUtime=2762.45 cores=5,7
/proc/78479/task/78481/stat : 78481 (java) R 78476 78479 77392 0 -1 4194368 67542 0 0 0 276192 53 0 0 20 0 20 0 68354527 19521036288 898244 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78490] ppid=78476 vsize=19063512 memory=14824 CPUtime=0 cores=5,7
/proc/78479/task/78490/stat : 78490 (Finalizer) S 78476 78479 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68354529 19521036288 898244 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78497] ppid=78476 vsize=19063512 memory=3592976 CPUtime=0 cores=5,7
/proc/78479/task/78497/stat : 78497 (Common-Cleaner) S 78476 78479 77392 0 -1 4194368 989 0 0 0 0 0 0 0 20 0 20 0 68354529 19521036288 898244 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78498] ppid=78476 vsize=19063512 memory=3592976 CPUtime=0 cores=5,7
/proc/78479/task/78498/stat : 78498 (Timer-0) S 78476 78479 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68354552 19521036288 898244 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
Current children cumulated CPU time: 3192.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3592976 KiB
[startup+2862.3 s]
/proc/loadavg: 4.51 4.70 4.72 6/338 78693
/proc/meminfo: memFree=109992676/131249996 swapFree=33010672/33010684
[pid=78479] ppid=78476 vsize=19063512 memory=3617984 CPUtime=3264.61 cores=5,7
/proc/78479/stat : 78479 (java) S 78476 78479 77392 0 -1 4194304 151881 0 0 0 326016 445 0 0 20 0 20 0 68354526 19521036288 904496 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
/proc/78479/statm: 4765878 904496 5523 1 0 919007 0
[pid=78479/tid=78481] ppid=78476 vsize=19063512 memory=3617984 CPUtime=2822.04 cores=5,7
/proc/78479/task/78481/stat : 78481 (java) R 78476 78479 77392 0 -1 4194368 69857 0 0 0 282150 54 0 0 20 0 20 0 68354527 19521036288 904496 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78490] ppid=78476 vsize=19063512 memory=3609664 CPUtime=0 cores=5,7
/proc/78479/task/78490/stat : 78490 (Finalizer) S 78476 78479 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68354529 19521036288 904496 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78497] ppid=78476 vsize=19063512 memory=3592976 CPUtime=0 cores=5,7
/proc/78479/task/78497/stat : 78497 (Common-Cleaner) S 78476 78479 77392 0 -1 4194368 990 0 0 0 0 0 0 0 20 0 20 0 68354529 19521036288 904496 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78498] ppid=78476 vsize=19063512 memory=2764 CPUtime=0 cores=5,7
/proc/78479/task/78498/stat : 78498 (Timer-0) S 78476 78479 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68354552 19521036288 904496 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
Current children cumulated CPU time: 3264.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3617984 KiB
[startup+2922.3 s]
/proc/loadavg: 4.65 4.71 4.72 5/338 78706
/proc/meminfo: memFree=109668676/131249996 swapFree=33010672/33010684
[pid=78479] ppid=78476 vsize=19063512 memory=3659672 CPUtime=3339.96 cores=5,7
/proc/78479/stat : 78479 (java) S 78476 78479 77392 0 -1 4194304 155042 0 0 0 333537 459 0 0 20 0 20 0 68354526 19521036288 914918 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
/proc/78479/statm: 4765878 914918 5523 1 0 929451 0
[pid=78479/tid=78481] ppid=78476 vsize=19063512 memory=3592976 CPUtime=2881.41 cores=5,7
/proc/78479/task/78481/stat : 78481 (java) R 78476 78479 77392 0 -1 4194368 71005 0 0 0 288087 54 0 0 20 0 20 0 68354527 19521036288 914918 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78490] ppid=78476 vsize=19063512 memory=3617984 CPUtime=0 cores=5,7
/proc/78479/task/78490/stat : 78490 (Finalizer) S 78476 78479 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68354529 19521036288 914918 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78497] ppid=78476 vsize=19063512 memory=3651332 CPUtime=0 cores=5,7
/proc/78479/task/78497/stat : 78497 (Common-Cleaner) S 78476 78479 77392 0 -1 4194368 1023 0 0 0 0 0 0 0 20 0 20 0 68354529 19521036288 914918 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78498] ppid=78476 vsize=19063512 memory=3659544 CPUtime=0 cores=5,7
/proc/78479/task/78498/stat : 78498 (Timer-0) S 78476 78479 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68354552 19521036288 914918 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
Current children cumulated CPU time: 3339.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3659672 KiB
[startup+2982.3 s]
/proc/loadavg: 4.62 4.69 4.72 5/339 78843
/proc/meminfo: memFree=113662976/131249996 swapFree=33010672/33010684
[pid=78479] ppid=78476 vsize=19063512 memory=3676344 CPUtime=3417.9 cores=5,7
/proc/78479/stat : 78479 (java) S 78476 78479 77392 0 -1 4194304 156534 0 0 0 341314 476 0 0 20 0 20 0 68354526 19521036288 919086 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
/proc/78479/statm: 4765878 919086 5523 1 0 933629 0
[pid=78479/tid=78481] ppid=78476 vsize=19063512 memory=14824 CPUtime=2940.74 cores=5,7
/proc/78479/task/78481/stat : 78481 (java) R 78476 78479 77392 0 -1 4194368 72243 0 0 0 294019 55 0 0 20 0 20 0 68354527 19521036288 919086 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78490] ppid=78476 vsize=19063512 memory=3659672 CPUtime=0 cores=5,7
/proc/78479/task/78490/stat : 78490 (Finalizer) S 78476 78479 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68354529 19521036288 919086 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78497] ppid=78476 vsize=19063512 memory=14824 CPUtime=0 cores=5,7
/proc/78479/task/78497/stat : 78497 (Common-Cleaner) S 78476 78479 77392 0 -1 4194368 1023 0 0 0 0 0 0 0 20 0 20 0 68354529 19521036288 919086 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78498] ppid=78476 vsize=19063512 memory=14824 CPUtime=0 cores=5,7
/proc/78479/task/78498/stat : 78498 (Timer-0) S 78476 78479 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68354552 19521036288 919086 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
Current children cumulated CPU time: 3417.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3676344 KiB
[startup+3042.3 s]
/proc/loadavg: 4.51 4.64 4.70 6/341 78851
/proc/meminfo: memFree=113170608/131249996 swapFree=33010672/33010684
[pid=78479] ppid=78476 vsize=19063512 memory=3701448 CPUtime=3494.37 cores=5,7
/proc/78479/stat : 78479 (java) S 78476 78479 77392 0 -1 4194304 161013 0 0 0 348946 491 0 0 20 0 20 0 68354526 19521036288 925362 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
/proc/78479/statm: 4765878 925362 5523 1 0 939896 0
[pid=78479/tid=78481] ppid=78476 vsize=19063512 memory=3676344 CPUtime=3000.12 cores=5,7
/proc/78479/task/78481/stat : 78481 (java) R 78476 78479 77392 0 -1 4194368 74663 0 0 0 299956 56 0 0 20 0 20 0 68354527 19521036288 925362 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78490] ppid=78476 vsize=19063512 memory=3701320 CPUtime=0 cores=5,7
/proc/78479/task/78490/stat : 78490 (Finalizer) S 78476 78479 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68354529 19521036288 925362 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78497] ppid=78476 vsize=19063512 memory=3701448 CPUtime=0 cores=5,7
/proc/78479/task/78497/stat : 78497 (Common-Cleaner) S 78476 78479 77392 0 -1 4194368 1057 0 0 0 0 0 0 0 20 0 20 0 68354529 19521036288 925362 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78498] ppid=78476 vsize=19063512 memory=3701448 CPUtime=0 cores=5,7
/proc/78479/task/78498/stat : 78498 (Timer-0) S 78476 78479 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68354552 19521036288 925362 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
Current children cumulated CPU time: 3494.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3701448 KiB
[startup+3102.3 s]
/proc/loadavg: 4.44 4.60 4.68 5/341 78853
/proc/meminfo: memFree=112757472/131249996 swapFree=33010672/33010684
[pid=78479] ppid=78476 vsize=19063512 memory=3745172 CPUtime=3572.31 cores=5,7
/proc/78479/stat : 78479 (java) S 78476 78479 77392 0 -1 4194304 163345 0 0 0 356725 506 0 0 20 0 20 0 68354526 19521036288 936293 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
/proc/78479/statm: 4765878 936293 5523 1 0 950340 0
[pid=78479/tid=78481] ppid=78476 vsize=19063512 memory=3328 CPUtime=3059.56 cores=5,7
/proc/78479/task/78481/stat : 78481 (java) R 78476 78479 77392 0 -1 4194368 76329 0 0 0 305899 57 0 0 20 0 20 0 68354527 19521036288 936293 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78490] ppid=78476 vsize=19063512 memory=3720180 CPUtime=0 cores=5,7
/proc/78479/task/78490/stat : 78490 (Finalizer) S 78476 78479 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68354529 19521036288 936293 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78497] ppid=78476 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/78479/task/78497/stat : 78497 (Common-Cleaner) S 78476 78479 77392 0 -1 4194368 1076 0 0 0 0 0 0 0 20 0 20 0 68354529 19521036288 936293 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78498] ppid=78476 vsize=19063512 memory=18688 CPUtime=0 cores=5,7
/proc/78479/task/78498/stat : 78498 (Timer-0) S 78476 78479 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68354552 19521036288 936293 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
Current children cumulated CPU time: 3572.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3745172 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3124 s]*
/proc/loadavg: 4.43 4.58 4.67 5/341 78854
/proc/meminfo: memFree=112675552/131249996 swapFree=33010672/33010684
[pid=78479] ppid=78476 vsize=19063512 memory=3745172 CPUtime=3600 cores=5,7
/proc/78479/stat : 78479 (java) S 78476 78479 77392 0 -1 4194304 163377 0 0 0 359489 511 0 0 20 0 20 0 68354526 19521036288 936293 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
/proc/78479/statm: 4765878 936293 5523 1 0 950340 0
[pid=78479/tid=78481] ppid=78476 vsize=19063512 memory=4636324 CPUtime=3081.01 cores=5,7
/proc/78479/task/78481/stat : 78481 (java) R 78476 78479 77392 0 -1 4194368 76342 0 0 0 308044 57 0 0 20 0 20 0 68354527 19521036288 936293 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78490] ppid=78476 vsize=19063512 memory=7512078527790882324 CPUtime=0 cores=5,7
/proc/78479/task/78490/stat : 78490 (Finalizer) S 78476 78479 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68354529 19521036288 936293 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78497] ppid=78476 vsize=19063512 memory=10112 CPUtime=0 cores=5,7
/proc/78479/task/78497/stat : 78497 (Common-Cleaner) S 78476 78479 77392 0 -1 4194368 1076 0 0 0 0 0 0 0 20 0 20 0 68354529 19521036288 936293 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
[pid=78479/tid=78498] ppid=78476 vsize=19063512 memory=5744 CPUtime=0 cores=5,7
/proc/78479/task/78498/stat : 78498 (Timer-0) S 78476 78479 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68354552 19521036288 936293 18446744073709551615 94241166446592 94241166450288 140724683313328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94241166458104 94241166458896 94241197203456 140724683319678 140724683319782 140724683319782 140724683325384 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3745172 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3124.12 s]
# the end of solver process 78479 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.05 s, system=5.13404 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3124.11 s]*
/proc/loadavg: 4.43 4.58 4.67 5/323 78857
/proc/meminfo: memFree=116324868/131249996 swapFree=33010672/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3124.12
CPU time (s): 3600.19
CPU user time (s): 3595.05
CPU system time (s): 5.13404
CPU usage (%): 115.239
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 3745172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.05
system time used= 5.13404
maximum resident set size= 3745940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165029
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 128702
involuntary context switches= 47403
# summary of solver processes directly reported to runsolver:
# pid: 78479
# total CPU time (s): 3600.19
# total CPU user time (s): 3595.05
# total CPU system time (s): 5.13404
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.14655 second user time and 14.3318 second system time
The end