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 (58884 MiB free)
memory of node 1: 64507 MiB (62298 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4493522-1751149767/watcher-4493522-1751149767 -o /tmp/evaluation-result-4493522-1751149767/solver-4493522-1751149767 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751146186-14184 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4493522-1751149767.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=15568, runsolver pid=15565
Current StackSize limit: 8192 KiB
[startup+0.100069 s]*
/proc/loadavg: 4.72 4.35 4.23 7/326 15586
/proc/meminfo: memFree=124063932/131382112 swapFree=33010684/33010684
[pid=15568] ppid=15565 vsize=18930384 memory=48500 CPUtime=0.13 cores=1,3
/proc/15568/stat : 15568 (java) S 15565 15568 14172 0 -1 4194304 5808 0 0 0 10 3 0 0 20 0 18 0 30656389 19384713216 12125 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
/proc/15568/statm: 4732596 12125 5337 1 0 547015 0
[pid=15568/tid=15570] ppid=15565 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=1,3
/proc/15568/task/15570/stat : 15570 (java) R 15565 15568 14172 0 -1 4194368 4698 0 0 0 6 2 0 0 20 0 18 0 30656390 19384713216 12125 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15579] ppid=15565 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/15568/task/15579/stat : 15579 (Finalizer) S 15565 15568 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 30656395 19384713216 12125 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15586] ppid=15565 vsize=18930384 memory=57394571004297 CPUtime=0 cores=1,3
/proc/15568/task/15586/stat : 15586 (Common-Cleaner) S 15565 15568 14172 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 30656396 19384713216 12157 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48500 KiB
[startup+0.217755 s]*
/proc/loadavg: 4.72 4.35 4.23 7/326 15586
/proc/meminfo: memFree=124052716/131382112 swapFree=33010684/33010684
[pid=15568] ppid=15565 vsize=18930384 memory=55532 CPUtime=0.32 cores=1,3
/proc/15568/stat : 15568 (java) S 15565 15568 14172 0 -1 4194304 6530 0 0 0 28 4 0 0 20 0 18 0 30656389 19384713216 13883 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
/proc/15568/statm: 4732596 13883 5337 1 0 547603 0
[pid=15568/tid=15570] ppid=15565 vsize=18930384 memory=4026597660 CPUtime=0.19 cores=1,3
/proc/15568/task/15570/stat : 15570 (java) R 15565 15568 14172 0 -1 4194368 5046 0 0 0 17 2 0 0 20 0 18 0 30656390 19384713216 13883 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15579] ppid=15565 vsize=18930384 memory=1707 CPUtime=0 cores=1,3
/proc/15568/task/15579/stat : 15579 (Finalizer) S 15565 15568 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 30656395 19384713216 13883 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15586] ppid=15565 vsize=18930384 memory=56295059358712 CPUtime=0 cores=1,3
/proc/15568/task/15586/stat : 15586 (Common-Cleaner) S 15565 15568 14172 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 30656396 19384713216 13883 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55532 KiB
[startup+0.313776 s]*
/proc/loadavg: 4.72 4.35 4.23 5/326 15586
/proc/meminfo: memFree=124052716/131382112 swapFree=33010684/33010684
[pid=15568] ppid=15565 vsize=18930384 memory=58684 CPUtime=0.47 cores=1,3
/proc/15568/stat : 15568 (java) S 15565 15568 14172 0 -1 4194304 6806 0 0 0 43 4 0 0 20 0 18 0 30656389 19384713216 14671 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
/proc/15568/statm: 4732596 14671 5337 1 0 547794 0
[pid=15568/tid=15570] ppid=15565 vsize=18930384 memory=-6000919485574637422 CPUtime=0.29 cores=1,3
/proc/15568/task/15570/stat : 15570 (java) S 15565 15568 14172 0 -1 4194368 5224 0 0 0 26 3 0 0 20 0 18 0 30656390 19384713216 14671 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15579] ppid=15565 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/15568/task/15579/stat : 15579 (Finalizer) S 15565 15568 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 30656395 19384713216 14671 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15586] ppid=15565 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/15568/task/15586/stat : 15586 (Common-Cleaner) S 15565 15568 14172 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 30656396 19384713216 14671 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58684 KiB
[startup+0.70032 s]
/proc/loadavg: 4.72 4.35 4.23 8/326 15586
/proc/meminfo: memFree=124048620/131382112 swapFree=33010684/33010684
[pid=15568] ppid=15565 vsize=18996948 memory=77716 CPUtime=1.16 cores=1,3
/proc/15568/stat : 15568 (java) S 15565 15568 14172 0 -1 4194304 7403 0 0 0 111 5 0 0 20 0 19 0 30656389 19452874752 19429 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
/proc/15568/statm: 4749237 19429 5401 1 0 548409 0
[pid=15568/tid=15570] ppid=15565 vsize=18996948 memory=17152 CPUtime=0.6 cores=1,3
/proc/15568/task/15570/stat : 15570 (java) R 15565 15568 14172 0 -1 4194368 5464 0 0 0 57 3 0 0 20 0 19 0 30656390 19452874752 19429 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15579] ppid=15565 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/15568/task/15579/stat : 15579 (Finalizer) S 15565 15568 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 30656395 19452874752 19429 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15586] ppid=15565 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/15568/task/15586/stat : 15586 (Common-Cleaner) S 15565 15568 14172 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 30656396 19452874752 19429 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 77716 KiB
[startup+1.50029 s]
/proc/loadavg: 4.72 4.35 4.23 7/327 15587
/proc/meminfo: memFree=123966324/131382112 swapFree=33010684/33010684
[pid=15568] ppid=15565 vsize=19063512 memory=174764 CPUtime=2.71 cores=1,3
/proc/15568/stat : 15568 (java) S 15565 15568 14172 0 -1 4194304 16315 0 0 0 262 9 0 0 20 0 20 0 30656389 19521036288 43691 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
/proc/15568/statm: 4765878 43691 5465 1 0 552170 0
[pid=15568/tid=15570] ppid=15565 vsize=19063512 memory=3200 CPUtime=1.32 cores=1,3
/proc/15568/task/15570/stat : 15570 (java) R 15565 15568 14172 0 -1 4194368 5820 0 0 0 127 5 0 0 20 0 20 0 30656390 19521036288 43691 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15579] ppid=15565 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/15568/task/15579/stat : 15579 (Finalizer) S 15565 15568 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30656395 19521036288 43691 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15586] ppid=15565 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/15568/task/15586/stat : 15586 (Common-Cleaner) S 15565 15568 14172 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 30656396 19521036288 43691 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15587] ppid=15565 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/15568/task/15587/stat : 15587 (Timer-0) S 15565 15568 14172 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30656442 19521036288 43691 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 174764 KiB
[startup+3.10553 s]
/proc/loadavg: 4.74 4.37 4.23 5/328 15588
/proc/meminfo: memFree=123307956/131382112 swapFree=33010684/33010684
[pid=15568] ppid=15565 vsize=19063512 memory=705108 CPUtime=5.7 cores=1,3
/proc/15568/stat : 15568 (java) S 15565 15568 14172 0 -1 4194304 21608 0 0 0 549 21 0 0 20 0 20 0 30656389 19521036288 176277 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
/proc/15568/statm: 4765878 176277 5465 1 0 555014 0
[pid=15568/tid=15570] ppid=15565 vsize=19063512 memory=14848 CPUtime=2.86 cores=1,3
/proc/15568/task/15570/stat : 15570 (java) R 15565 15568 14172 0 -1 4194368 6800 0 0 0 270 16 0 0 20 0 20 0 30656390 19521036288 176277 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15579] ppid=15565 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/15568/task/15579/stat : 15579 (Finalizer) S 15565 15568 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30656395 19521036288 176277 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15586] ppid=15565 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/15568/task/15586/stat : 15586 (Common-Cleaner) S 15565 15568 14172 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 30656396 19521036288 176277 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15587] ppid=15565 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/15568/task/15587/stat : 15587 (Timer-0) S 15565 15568 14172 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30656442 19521036288 176277 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
Current children cumulated CPU time: 5.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 705108 KiB
[startup+6.30049 s]
/proc/loadavg: 4.74 4.37 4.23 6/328 15588
/proc/meminfo: memFree=122262240/131382112 swapFree=33010684/33010684
[pid=15568] ppid=15565 vsize=19063512 memory=1543468 CPUtime=9.44 cores=1,3
/proc/15568/stat : 15568 (java) S 15565 15568 14172 0 -1 4194304 22936 0 0 0 907 37 0 0 20 0 20 0 30656389 19521036288 385867 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
/proc/15568/statm: 4765878 385867 5465 1 0 935185 0
[pid=15568/tid=15570] ppid=15565 vsize=19063512 memory=0 CPUtime=5.8 cores=1,3
/proc/15568/task/15570/stat : 15570 (java) R 15565 15568 14172 0 -1 4194368 7301 0 0 0 551 29 0 0 20 0 20 0 30656390 19521036288 385867 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15579] ppid=15565 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/15568/task/15579/stat : 15579 (Finalizer) S 15565 15568 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30656395 19521036288 385867 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15586] ppid=15565 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/15568/task/15586/stat : 15586 (Common-Cleaner) S 15565 15568 14172 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 30656396 19521036288 385867 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15587] ppid=15565 vsize=19063512 memory=180852 CPUtime=0 cores=1,3
/proc/15568/task/15587/stat : 15587 (Timer-0) S 15565 15568 14172 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30656442 19521036288 385867 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
Current children cumulated CPU time: 9.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1543468 KiB
[startup+12.7005 s]
/proc/loadavg: 4.68 4.36 4.23 5/328 15588
/proc/meminfo: memFree=121462008/131382112 swapFree=33010684/33010684
[pid=15568] ppid=15565 vsize=19063512 memory=1815892 CPUtime=15.91 cores=1,3
/proc/15568/stat : 15568 (java) S 15565 15568 14172 0 -1 4194304 23086 0 0 0 1547 44 0 0 20 0 20 0 30656389 19521036288 453973 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
/proc/15568/statm: 4765878 453973 5465 1 0 935185 0
[pid=15568/tid=15570] ppid=15565 vsize=19063512 memory=180852 CPUtime=11.93 cores=1,3
/proc/15568/task/15570/stat : 15570 (java) R 15565 15568 14172 0 -1 4194368 7416 0 0 0 1159 34 0 0 20 0 20 0 30656390 19521036288 453973 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15579] ppid=15565 vsize=19063512 memory=1811788 CPUtime=0 cores=1,3
/proc/15568/task/15579/stat : 15579 (Finalizer) S 15565 15568 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30656395 19521036288 453973 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15586] ppid=15565 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/15568/task/15586/stat : 15586 (Common-Cleaner) S 15565 15568 14172 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 30656396 19521036288 453973 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15587] ppid=15565 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/15568/task/15587/stat : 15587 (Timer-0) S 15565 15568 14172 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30656442 19521036288 453973 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
Current children cumulated CPU time: 15.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1815892 KiB
[startup+25.5005 s]
/proc/loadavg: 4.67 4.37 4.24 5/327 15588
/proc/meminfo: memFree=118475080/131382112 swapFree=33010684/33010684
[pid=15568] ppid=15565 vsize=19063512 memory=4368512 CPUtime=28.91 cores=1,3
/proc/15568/stat : 15568 (java) S 15565 15568 14172 0 -1 4194304 27202 0 0 0 2795 96 0 0 20 0 20 0 30656389 19521036288 1092128 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
/proc/15568/statm: 4765878 1092128 5465 1 0 1434439 0
[pid=15568/tid=15570] ppid=15565 vsize=19063512 memory=0 CPUtime=24.19 cores=1,3
/proc/15568/task/15570/stat : 15570 (java) R 15565 15568 14172 0 -1 4194368 10004 0 0 0 2335 84 0 0 20 0 20 0 30656390 19521036288 1092128 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15579] ppid=15565 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/15568/task/15579/stat : 15579 (Finalizer) S 15565 15568 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30656395 19521036288 1092128 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15586] ppid=15565 vsize=19063512 memory=4368512 CPUtime=0 cores=1,3
/proc/15568/task/15586/stat : 15586 (Common-Cleaner) S 15565 15568 14172 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 30656396 19521036288 1092128 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15587] ppid=15565 vsize=19063512 memory=3367012 CPUtime=0 cores=1,3
/proc/15568/task/15587/stat : 15587 (Timer-0) S 15565 15568 14172 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30656442 19521036288 1092128 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
Current children cumulated CPU time: 28.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4368512 KiB
[startup+51.1138 s]
/proc/loadavg: 4.57 4.38 4.24 5/326 15721
/proc/meminfo: memFree=119416584/131382112 swapFree=33010684/33010684
[pid=15568] ppid=15565 vsize=19063512 memory=4368640 CPUtime=54.95 cores=1,3
/proc/15568/stat : 15568 (java) S 15565 15568 14172 0 -1 4194304 31963 0 0 0 5390 105 0 0 20 0 20 0 30656389 19521036288 1092160 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
/proc/15568/statm: 4765878 1092160 5465 1 0 1434445 0
[pid=15568/tid=15570] ppid=15565 vsize=19063512 memory=4368512 CPUtime=49.42 cores=1,3
/proc/15568/task/15570/stat : 15570 (java) R 15565 15568 14172 0 -1 4194368 12243 0 0 0 4852 90 0 0 20 0 20 0 30656390 19521036288 1092160 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15579] ppid=15565 vsize=19063512 memory=4368640 CPUtime=0 cores=1,3
/proc/15568/task/15579/stat : 15579 (Finalizer) S 15565 15568 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30656395 19521036288 1092160 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15586] ppid=15565 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/15568/task/15586/stat : 15586 (Common-Cleaner) S 15565 15568 14172 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 30656396 19521036288 1092160 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15587] ppid=15565 vsize=19063512 memory=4368640 CPUtime=0 cores=1,3
################
# More data... #
################
/proc/15568/task/15570/stat : 15570 (java) R 15565 15568 14172 0 -1 4194368 95747 0 0 0 318221 113 0 0 20 0 20 0 30656390 19521036288 1380697 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15579] ppid=15565 vsize=19063512 memory=17152 CPUtime=0 cores=1,3
/proc/15568/task/15579/stat : 15579 (Finalizer) S 15565 15568 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30656395 19521036288 1380697 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15586] ppid=15565 vsize=19063512 memory=5516644 CPUtime=0 cores=1,3
/proc/15568/task/15586/stat : 15586 (Common-Cleaner) S 15565 15568 14172 0 -1 4194368 1800 0 0 0 0 0 0 0 20 0 20 0 30656396 19521036288 1380697 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15587] ppid=15565 vsize=19063512 memory=5520740 CPUtime=0 cores=1,3
/proc/15568/task/15587/stat : 15587 (Timer-0) S 15565 15568 14172 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30656442 19521036288 1380697 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
Current children cumulated CPU time: 3246.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5522788 KiB
[startup+3282.3 s]
/proc/loadavg: 4.30 4.26 4.27 5/327 15959
/proc/meminfo: memFree=107787652/131382112 swapFree=33010684/33010684
[pid=15568] ppid=15565 vsize=19063512 memory=5539176 CPUtime=3306.11 cores=1,3
/proc/15568/stat : 15568 (java) S 15565 15568 14172 0 -1 4194304 162355 0 0 0 330220 391 0 0 20 0 20 0 30656389 19521036288 1384794 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
/proc/15568/statm: 4765878 1384794 5465 1 0 1437950 0
[pid=15568/tid=15570] ppid=15565 vsize=19063512 memory=5539176 CPUtime=3242.84 cores=1,3
/proc/15568/task/15570/stat : 15570 (java) R 15565 15568 14172 0 -1 4194368 96698 0 0 0 324171 113 0 0 20 0 20 0 30656390 19521036288 1384794 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15579] ppid=15565 vsize=19063512 memory=5530980 CPUtime=0 cores=1,3
/proc/15568/task/15579/stat : 15579 (Finalizer) S 15565 15568 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30656395 19521036288 1384794 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15586] ppid=15565 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/15568/task/15586/stat : 15586 (Common-Cleaner) S 15565 15568 14172 0 -1 4194368 1855 0 0 0 0 0 0 0 20 0 20 0 30656396 19521036288 1384794 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15587] ppid=15565 vsize=19063512 memory=5537124 CPUtime=0 cores=1,3
/proc/15568/task/15587/stat : 15587 (Timer-0) S 15565 15568 14172 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30656442 19521036288 1384794 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
Current children cumulated CPU time: 3306.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5539176 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.23 4.26 5/327 15961
/proc/meminfo: memFree=107736824/131382112 swapFree=33010684/33010684
[pid=15568] ppid=15565 vsize=19063512 memory=5545320 CPUtime=3366.36 cores=1,3
/proc/15568/stat : 15568 (java) S 15565 15568 14172 0 -1 4194304 165832 0 0 0 336240 396 0 0 20 0 20 0 30656389 19521036288 1386330 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
/proc/15568/statm: 4765878 1386330 5465 1 0 1437950 0
[pid=15568/tid=15570] ppid=15565 vsize=19063512 memory=14848 CPUtime=3302.22 cores=1,3
/proc/15568/task/15570/stat : 15570 (java) R 15565 15568 14172 0 -1 4194368 99334 0 0 0 330109 113 0 0 20 0 20 0 30656390 19521036288 1386330 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15579] ppid=15565 vsize=19063512 memory=5545320 CPUtime=0 cores=1,3
/proc/15568/task/15579/stat : 15579 (Finalizer) S 15565 15568 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30656395 19521036288 1386330 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15586] ppid=15565 vsize=19063512 memory=1792 CPUtime=0 cores=1,3
/proc/15568/task/15586/stat : 15586 (Common-Cleaner) S 15565 15568 14172 0 -1 4194368 1973 0 0 0 0 0 0 0 20 0 20 0 30656396 19521036288 1386330 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15587] ppid=15565 vsize=19063512 memory=4352 CPUtime=0 cores=1,3
/proc/15568/task/15587/stat : 15587 (Timer-0) S 15565 15568 14172 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30656442 19521036288 1386330 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
Current children cumulated CPU time: 3366.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5545320 KiB
[startup+3402.3 s]
/proc/loadavg: 4.27 4.25 4.27 5/327 15963
/proc/meminfo: memFree=107674000/131382112 swapFree=33010684/33010684
[pid=15568] ppid=15565 vsize=19063512 memory=5565812 CPUtime=3426.51 cores=1,3
/proc/15568/stat : 15568 (java) S 15565 15568 14172 0 -1 4194304 168369 0 0 0 342250 401 0 0 20 0 20 0 30656389 19521036288 1391453 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
/proc/15568/statm: 4765878 1391453 5465 1 0 1437950 0
[pid=15568/tid=15570] ppid=15565 vsize=19063512 memory=5545320 CPUtime=3361.51 cores=1,3
/proc/15568/task/15570/stat : 15570 (java) R 15565 15568 14172 0 -1 4194368 101238 0 0 0 336037 114 0 0 20 0 20 0 30656390 19521036288 1391453 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15579] ppid=15565 vsize=19063512 memory=5559668 CPUtime=0 cores=1,3
/proc/15568/task/15579/stat : 15579 (Finalizer) S 15565 15568 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30656395 19521036288 1391453 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15586] ppid=15565 vsize=19063512 memory=5559668 CPUtime=0 cores=1,3
/proc/15568/task/15586/stat : 15586 (Common-Cleaner) S 15565 15568 14172 0 -1 4194368 2002 0 0 0 0 0 0 0 20 0 20 0 30656396 19521036288 1391453 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15587] ppid=15565 vsize=19063512 memory=5559668 CPUtime=0 cores=1,3
/proc/15568/task/15587/stat : 15587 (Timer-0) S 15565 15568 14172 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30656442 19521036288 1391453 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
Current children cumulated CPU time: 3426.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5565812 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.22 4.25 5/327 15965
/proc/meminfo: memFree=107637760/131382112 swapFree=33010684/33010684
[pid=15568] ppid=15565 vsize=19063512 memory=5582204 CPUtime=3486.77 cores=1,3
/proc/15568/stat : 15568 (java) S 15565 15568 14172 0 -1 4194304 168688 0 0 0 348272 405 0 0 20 0 20 0 30656389 19521036288 1395551 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
/proc/15568/statm: 4765878 1395551 5465 1 0 1437950 0
[pid=15568/tid=15570] ppid=15565 vsize=19063512 memory=1792 CPUtime=3420.97 cores=1,3
/proc/15568/task/15570/stat : 15570 (java) R 15565 15568 14172 0 -1 4194368 101377 0 0 0 341983 114 0 0 20 0 20 0 30656390 19521036288 1395551 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15579] ppid=15565 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/15568/task/15579/stat : 15579 (Finalizer) S 15565 15568 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30656395 19521036288 1395551 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15586] ppid=15565 vsize=19063512 memory=5578108 CPUtime=0 cores=1,3
/proc/15568/task/15586/stat : 15586 (Common-Cleaner) S 15565 15568 14172 0 -1 4194368 2003 0 0 0 0 0 0 0 20 0 20 0 30656396 19521036288 1395551 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15587] ppid=15565 vsize=19063512 memory=5580156 CPUtime=0 cores=1,3
/proc/15568/task/15587/stat : 15587 (Timer-0) S 15565 15568 14172 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30656442 19521036288 1395551 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
Current children cumulated CPU time: 3486.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5582204 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.22 4.25 5/326 16033
/proc/meminfo: memFree=115404116/131382112 swapFree=33010684/33010684
[pid=15568] ppid=15565 vsize=19063512 memory=5594492 CPUtime=3546.99 cores=1,3
/proc/15568/stat : 15568 (java) S 15565 15568 14172 0 -1 4194304 169659 0 0 0 354288 411 0 0 20 0 20 0 30656389 19521036288 1398623 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
/proc/15568/statm: 4765878 1398623 5465 1 0 1437950 0
[pid=15568/tid=15570] ppid=15565 vsize=19063512 memory=7294216895816834580 CPUtime=3480.35 cores=1,3
/proc/15568/task/15570/stat : 15570 (java) R 15565 15568 14172 0 -1 4194368 102176 0 0 0 347921 114 0 0 20 0 20 0 30656390 19521036288 1398623 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15579] ppid=15565 vsize=19063512 memory=5592444 CPUtime=0 cores=1,3
/proc/15568/task/15579/stat : 15579 (Finalizer) S 15565 15568 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30656395 19521036288 1398623 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15586] ppid=15565 vsize=19063512 memory=5594492 CPUtime=0 cores=1,3
/proc/15568/task/15586/stat : 15586 (Common-Cleaner) S 15565 15568 14172 0 -1 4194368 2003 0 0 0 0 0 0 0 20 0 20 0 30656396 19521036288 1398623 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15587] ppid=15565 vsize=19063512 memory=5594492 CPUtime=0 cores=1,3
/proc/15568/task/15587/stat : 15587 (Timer-0) S 15565 15568 14172 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30656442 19521036288 1398623 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
Current children cumulated CPU time: 3546.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5594492 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3575.11 s]
/proc/loadavg: 4.23 4.23 4.25 5/326 16035
/proc/meminfo: memFree=115315640/131382112 swapFree=33010684/33010684
[pid=15568] ppid=15565 vsize=19063512 memory=5606788 CPUtime=3600.02 cores=1,3
/proc/15568/stat : 15568 (java) S 15565 15568 14172 0 -1 4194304 172707 0 0 0 359587 415 0 0 20 0 20 0 30656389 19521036288 1401697 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
/proc/15568/statm: 4765878 1401697 5465 1 0 1437950 0
[pid=15568/tid=15570] ppid=15565 vsize=19063512 memory=14848 CPUtime=3532.56 cores=1,3
/proc/15568/task/15570/stat : 15570 (java) R 15565 15568 14172 0 -1 4194368 104270 0 0 0 353141 115 0 0 20 0 20 0 30656390 19521036288 1401697 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15579] ppid=15565 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/15568/task/15579/stat : 15579 (Finalizer) S 15565 15568 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30656395 19521036288 1401697 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15586] ppid=15565 vsize=19063512 memory=17152 CPUtime=0 cores=1,3
/proc/15568/task/15586/stat : 15586 (Common-Cleaner) S 15565 15568 14172 0 -1 4194368 2026 0 0 0 0 0 0 0 20 0 20 0 30656396 19521036288 1401697 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15587] ppid=15565 vsize=19063512 memory=5606788 CPUtime=0 cores=1,3
/proc/15568/task/15587/stat : 15587 (Timer-0) S 15565 15568 14172 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30656442 19521036288 1401697 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5606788 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3575.34 s]
# the end of solver process 15568 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.22 s, system=4.1937 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3575.21 s]
/proc/loadavg: 4.23 4.23 4.25 5/326 16035
/proc/meminfo: memFree=115315640/131382112 swapFree=33010684/33010684
[pid=15568] ppid=15565 vsize=19263204 memory=5607684 CPUtime=3600.21 cores=1,3
/proc/15568/stat : 15568 (java) S 15565 15568 14172 0 -1 4194304 174889 0 0 0 359605 416 0 0 20 0 21 0 30656389 19725520896 1401921 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
/proc/15568/statm: 4815801 1401921 5497 1 0 1438869 0
[pid=15568/tid=15570] ppid=15565 vsize=19263204 memory=7092 CPUtime=3532.65 cores=1,3
/proc/15568/task/15570/stat : 15570 (java) R 15565 15568 14172 0 -1 4194368 104270 0 0 0 353150 115 0 0 20 0 21 0 30656390 19725520896 1401921 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15579] ppid=15565 vsize=19263204 memory=5606788 CPUtime=0 cores=1,3
/proc/15568/task/15579/stat : 15579 (Finalizer) S 15565 15568 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 30656395 19725520896 1401921 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
[pid=15568/tid=15586] ppid=15565 vsize=19263204 memory=5606788 CPUtime=0 cores=1,3
/proc/15568/task/15586/stat : 15586 (Common-Cleaner) S 15565 15568 14172 0 -1 4194368 2026 0 0 0 0 0 0 0 20 0 21 0 30656396 19725520896 1401921 18446744073709551615 94355661373440 94355661377136 140728833769504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94355661384952 94355661385744 94355669417984 140728833775998 140728833776102 140728833776102 140728833781704 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 5607684 KiB
[startup+3575.3 s]*
/proc/loadavg: 4.23 4.23 4.25 5/308 16038
/proc/meminfo: memFree=116363208/131382112 swapFree=33010684/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): 3575.34
CPU time (s): 3600.41
CPU user time (s): 3596.22
CPU system time (s): 4.1937
CPU usage (%): 100.701
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 5607684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.22
system time used= 4.19369
maximum resident set size= 5607940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175220
page faults= 0
swaps= 0
block input operations= 32
block output operations= 3808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 132036
involuntary context switches= 6991
# summary of solver processes directly reported to runsolver:
# pid: 15568
# total CPU time (s): 3600.41
# total CPU user time (s): 3596.22
# total CPU system time (s): 4.1937
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.1301 second user time and 36.892 second system time
The end