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 (51728 MiB free)
memory of node 1: 64507 MiB (52349 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489696-1751343635/watcher-4489696-1751343635 -o /tmp/evaluation-result-4489696-1751343635/solver-4489696-1751343635 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751336994-44738 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4489696-1751343635.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=46638, runsolver pid=46635
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.96 5.20 5.12 6/340 46656
/proc/meminfo: memFree=106549760/131250000 swapFree=33010416/33010684
[pid=46638] ppid=46635 vsize=18930384 memory=52016 CPUtime=0.09 cores=4,6
/proc/46638/stat : 46638 (java) S 46635 46638 44727 0 -1 4194304 6160 0 0 0 8 1 0 0 20 0 18 0 50043440 19384713216 13004 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
/proc/46638/statm: 4732596 13004 5344 1 0 547264 0
[pid=46638/tid=46640] ppid=46635 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=4,6
/proc/46638/task/46640/stat : 46640 (java) R 46635 46638 44727 0 -1 4194368 4957 0 0 0 5 1 0 0 20 0 18 0 50043442 19384713216 13004 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46649] ppid=46635 vsize=18930384 memory=241407623509 CPUtime=0 cores=4,6
/proc/46638/task/46649/stat : 46649 (Finalizer) S 46635 46638 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50043444 19384713216 13004 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46656] ppid=46635 vsize=18930384 memory=61784027586760 CPUtime=0 cores=4,6
/proc/46638/task/46656/stat : 46656 (Common-Cleaner) S 46635 46638 44727 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 50043444 19384713216 13004 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52016 KiB
[startup+0.205955 s]*
/proc/loadavg: 4.96 5.20 5.12 7/340 46656
/proc/meminfo: memFree=106529168/131250000 swapFree=33010416/33010684
[pid=46638] ppid=46635 vsize=18930384 memory=66028 CPUtime=0.28 cores=4,6
/proc/46638/stat : 46638 (java) S 46635 46638 44727 0 -1 4194304 7025 0 0 0 26 2 0 0 20 0 18 0 50043440 19384713216 16507 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
/proc/46638/statm: 4732596 16507 5440 1 0 547913 0
[pid=46638/tid=46640] ppid=46635 vsize=18930384 memory=4026663196 CPUtime=0.15 cores=4,6
/proc/46638/task/46640/stat : 46640 (java) R 46635 46638 44727 0 -1 4194368 5320 0 0 0 14 1 0 0 20 0 18 0 50043442 19384713216 16507 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46649] ppid=46635 vsize=18930384 memory=18954 CPUtime=0 cores=4,6
/proc/46638/task/46649/stat : 46649 (Finalizer) S 46635 46638 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50043444 19384713216 16507 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46656] ppid=46635 vsize=18930384 memory=60684515935208 CPUtime=0 cores=4,6
/proc/46638/task/46656/stat : 46656 (Common-Cleaner) S 46635 46638 44727 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 50043444 19384713216 16507 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66028 KiB
[startup+0.305842 s]*
/proc/loadavg: 4.96 5.20 5.12 6/340 46656
/proc/meminfo: memFree=106515872/131250000 swapFree=33010416/33010684
[pid=46638] ppid=46635 vsize=18930384 memory=90176 CPUtime=0.47 cores=4,6
/proc/46638/stat : 46638 (java) S 46635 46638 44727 0 -1 4194304 9110 0 0 0 44 3 0 0 20 0 18 0 50043440 19384713216 22544 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
/proc/46638/statm: 4732596 22544 5440 1 0 549334 0
[pid=46638/tid=46640] ppid=46635 vsize=18930384 memory=-6000919485624903275 CPUtime=0.22 cores=4,6
/proc/46638/task/46640/stat : 46640 (java) R 46635 46638 44727 0 -1 4194368 5351 0 0 0 21 1 0 0 20 0 18 0 50043442 19384713216 22544 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46649] ppid=46635 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/46638/task/46649/stat : 46649 (Finalizer) S 46635 46638 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50043444 19384713216 22544 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46656] ppid=46635 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/46638/task/46656/stat : 46656 (Common-Cleaner) S 46635 46638 44727 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 50043444 19384713216 22544 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 90176 KiB
[startup+0.700238 s]
/proc/loadavg: 4.96 5.20 5.12 6/341 46657
/proc/meminfo: memFree=106432756/131250000 swapFree=33010416/33010684
[pid=46638] ppid=46635 vsize=18996948 memory=178376 CPUtime=1.22 cores=4,6
/proc/46638/stat : 46638 (java) S 46635 46638 44727 0 -1 4194304 11185 0 0 0 118 4 0 0 20 0 19 0 50043440 19452874752 44594 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
/proc/46638/statm: 4749237 44594 5472 1 0 550878 0
[pid=46638/tid=46640] ppid=46635 vsize=18996948 memory=17792 CPUtime=0.56 cores=4,6
/proc/46638/task/46640/stat : 46640 (java) R 46635 46638 44727 0 -1 4194368 5387 0 0 0 54 2 0 0 20 0 19 0 50043442 19452874752 44594 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46649] ppid=46635 vsize=18996948 memory=10880 CPUtime=0 cores=4,6
/proc/46638/task/46649/stat : 46649 (Finalizer) S 46635 46638 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 50043444 19452874752 44594 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46656] ppid=46635 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/46638/task/46656/stat : 46656 (Common-Cleaner) S 46635 46638 44727 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 50043444 19452874752 44594 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 178376 KiB
[startup+1.50024 s]
/proc/loadavg: 5.04 5.21 5.13 5/341 46657
/proc/meminfo: memFree=106337416/131250000 swapFree=33010416/33010684
[pid=46638] ppid=46635 vsize=18996948 memory=407824 CPUtime=2.36 cores=4,6
/proc/46638/stat : 46638 (java) S 46635 46638 44727 0 -1 4194304 13432 0 0 0 226 10 0 0 20 0 19 0 50043440 19452874752 101956 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
/proc/46638/statm: 4749237 101956 5472 1 0 1065449 0
[pid=46638/tid=46640] ppid=46635 vsize=18996948 memory=3328 CPUtime=1.26 cores=4,6
/proc/46638/task/46640/stat : 46640 (java) R 46635 46638 44727 0 -1 4194368 5480 0 0 0 120 6 0 0 20 0 19 0 50043442 19452874752 101956 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46649] ppid=46635 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/46638/task/46649/stat : 46649 (Finalizer) S 46635 46638 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 50043444 19452874752 101956 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46656] ppid=46635 vsize=18996948 memory=10880 CPUtime=0 cores=4,6
/proc/46638/task/46656/stat : 46656 (Common-Cleaner) S 46635 46638 44727 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 50043444 19452874752 101956 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
Current children cumulated CPU time: 2.36 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 407824 KiB
[startup+3.10573 s]
/proc/loadavg: 5.04 5.21 5.13 5/342 46658
/proc/meminfo: memFree=105852728/131250000 swapFree=33010416/33010684
[pid=46638] ppid=46635 vsize=19063512 memory=427920 CPUtime=4.73 cores=4,6
/proc/46638/stat : 46638 (java) S 46635 46638 44727 0 -1 4194304 14333 0 0 0 462 11 0 0 20 0 20 0 50043440 19521036288 106980 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
/proc/46638/statm: 4765878 106980 5536 1 0 1066302 0
[pid=46638/tid=46640] ppid=46635 vsize=19063512 memory=10880 CPUtime=2.77 cores=4,6
/proc/46638/task/46640/stat : 46640 (java) R 46635 46638 44727 0 -1 4194368 5622 0 0 0 271 6 0 0 20 0 20 0 50043442 19521036288 106980 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46649] ppid=46635 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/46638/task/46649/stat : 46649 (Finalizer) S 46635 46638 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50043444 19521036288 106980 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46656] ppid=46635 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/46638/task/46656/stat : 46656 (Common-Cleaner) S 46635 46638 44727 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 50043444 19521036288 106980 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46658] ppid=46635 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/46638/task/46658/stat : 46658 (Timer-0) S 46635 46638 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50043604 19521036288 106980 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
Current children cumulated CPU time: 4.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 427920 KiB
[startup+6.30024 s]
/proc/loadavg: 5.04 5.21 5.13 6/342 46658
/proc/meminfo: memFree=105229256/131250000 swapFree=33010416/33010684
[pid=46638] ppid=46635 vsize=19063512 memory=998600 CPUtime=8.44 cores=4,6
/proc/46638/stat : 46638 (java) S 46635 46638 44727 0 -1 4194304 21433 0 0 0 822 22 0 0 20 0 20 0 50043440 19521036288 249650 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
/proc/46638/statm: 4765878 249650 5536 1 0 1588530 0
[pid=46638/tid=46640] ppid=46635 vsize=19063512 memory=0 CPUtime=5.88 cores=4,6
/proc/46638/task/46640/stat : 46640 (java) R 46635 46638 44727 0 -1 4194368 6581 0 0 0 572 16 0 0 20 0 20 0 50043442 19521036288 249650 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46649] ppid=46635 vsize=19063512 memory=7245577201579234449 CPUtime=0 cores=4,6
/proc/46638/task/46649/stat : 46649 (Finalizer) S 46635 46638 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50043444 19521036288 249650 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46656] ppid=46635 vsize=19063512 memory=-6000919485624903275 CPUtime=0 cores=4,6
/proc/46638/task/46656/stat : 46656 (Common-Cleaner) S 46635 46638 44727 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 50043444 19521036288 249650 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46658] ppid=46635 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/46638/task/46658/stat : 46658 (Timer-0) S 46635 46638 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50043604 19521036288 249650 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
Current children cumulated CPU time: 8.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 998600 KiB
[startup+12.7002 s]
/proc/loadavg: 4.96 5.19 5.12 5/342 46658
/proc/meminfo: memFree=103463888/131250000 swapFree=33010416/33010684
[pid=46638] ppid=46635 vsize=19063512 memory=2106332 CPUtime=15.32 cores=4,6
/proc/46638/stat : 46638 (java) S 46635 46638 44727 0 -1 4194304 23790 0 0 0 1489 43 0 0 20 0 20 0 50043440 19521036288 526583 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
/proc/46638/statm: 4765878 526583 5536 1 0 1728530 0
[pid=46638/tid=46640] ppid=46635 vsize=19063512 memory=0 CPUtime=11.85 cores=4,6
/proc/46638/task/46640/stat : 46640 (java) R 46635 46638 44727 0 -1 4194368 7864 0 0 0 1157 28 0 0 20 0 20 0 50043442 19521036288 526583 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46649] ppid=46635 vsize=19063512 memory=1715804 CPUtime=0 cores=4,6
/proc/46638/task/46649/stat : 46649 (Finalizer) S 46635 46638 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50043444 19521036288 526583 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46656] ppid=46635 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/46638/task/46656/stat : 46656 (Common-Cleaner) S 46635 46638 44727 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 50043444 19521036288 526583 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46658] ppid=46635 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/46638/task/46658/stat : 46658 (Timer-0) S 46635 46638 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50043604 19521036288 526583 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
Current children cumulated CPU time: 15.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2106332 KiB
[startup+25.5002 s]
/proc/loadavg: 4.96 5.18 5.12 5/342 46659
/proc/meminfo: memFree=102237940/131250000 swapFree=33010416/33010684
[pid=46638] ppid=46635 vsize=19063512 memory=2610812 CPUtime=28.62 cores=4,6
/proc/46638/stat : 46638 (java) S 46635 46638 44727 0 -1 4194304 25095 0 0 0 2810 52 0 0 20 0 20 0 50043440 19521036288 652703 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
/proc/46638/statm: 4765878 652703 5536 1 0 1728607 0
[pid=46638/tid=46640] ppid=46635 vsize=19063512 memory=-6000919485624903275 CPUtime=24.07 cores=4,6
/proc/46638/task/46640/stat : 46640 (java) R 46635 46638 44727 0 -1 4194368 8615 0 0 0 2376 31 0 0 20 0 20 0 50043442 19521036288 652703 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46649] ppid=46635 vsize=19063512 memory=3101 CPUtime=0 cores=4,6
/proc/46638/task/46649/stat : 46649 (Finalizer) S 46635 46638 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50043444 19521036288 652703 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46656] ppid=46635 vsize=19063512 memory=2473364 CPUtime=0 cores=4,6
/proc/46638/task/46656/stat : 46656 (Common-Cleaner) S 46635 46638 44727 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 50043444 19521036288 652703 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46658] ppid=46635 vsize=19063512 memory=2418052 CPUtime=0 cores=4,6
/proc/46638/task/46658/stat : 46658 (Timer-0) S 46635 46638 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50043604 19521036288 652703 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
Current children cumulated CPU time: 28.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2610812 KiB
[startup+51.1058 s]
/proc/loadavg: 4.73 5.10 5.09 5/342 46659
/proc/meminfo: memFree=99676720/131250000 swapFree=33010416/33010684
[pid=46638] ppid=46635 vsize=19063512 memory=3977080 CPUtime=55.41 cores=4,6
/proc/46638/stat : 46638 (java) S 46635 46638 44727 0 -1 4194304 33765 0 0 0 5463 78 0 0 20 0 20 0 50043440 19521036288 994270 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
/proc/46638/statm: 4765878 994270 5568 1 0 1728612 0
[pid=46638/tid=46640] ppid=46635 vsize=19063512 memory=3977080 CPUtime=48.48 cores=4,6
/proc/46638/task/46640/stat : 46640 (java) R 46635 46638 44727 0 -1 4194368 11747 0 0 0 4802 46 0 0 20 0 20 0 50043442 19521036288 994270 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46649] ppid=46635 vsize=19063512 memory=-6000919485624903275 CPUtime=0 cores=4,6
/proc/46638/task/46649/stat : 46649 (Finalizer) S 46635 46638 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50043444 19521036288 994270 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46656] ppid=46635 vsize=19063512 memory=3723096 CPUtime=0 cores=4,6
/proc/46638/task/46656/stat : 46656 (Common-Cleaner) S 46635 46638 44727 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 50043444 19521036288 994270 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46658] ppid=46635 vsize=19063512 memory=2522600 CPUtime=0 cores=4,6
/proc/46638/task/46658/stat : 46658 (Timer-0) S 46635 46638 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50043604 19521036288 994270 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
Current children cumulated CPU time: 55.41 s
################
# More data... #
################
/proc/46638/task/46649/stat : 46649 (Finalizer) S 46635 46638 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50043444 19521036288 4052667 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46656] ppid=46635 vsize=19063512 memory=16210668 CPUtime=0 cores=4,6
/proc/46638/task/46656/stat : 46656 (Common-Cleaner) S 46635 46638 44727 0 -1 4194368 2458 0 0 0 0 0 0 0 20 0 20 0 50043444 19521036288 4052667 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46658] ppid=46635 vsize=19063512 memory=16210668 CPUtime=0 cores=4,6
/proc/46638/task/46658/stat : 46658 (Timer-0) S 46635 46638 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50043604 19521036288 4052667 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
Current children cumulated CPU time: 3184.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16210668 KiB
[startup+2982.3 s]
/proc/loadavg: 4.68 4.74 4.69 7/339 46866
/proc/meminfo: memFree=77307704/131250000 swapFree=33010416/33010684
[pid=46638] ppid=46635 vsize=19063512 memory=16227320 CPUtime=3257.74 cores=4,6
/proc/46638/stat : 46638 (java) S 46635 46638 44727 0 -1 4194304 575563 0 0 0 325276 498 0 0 20 0 20 0 50043440 19521036288 4056830 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
/proc/46638/statm: 4765878 4056830 5568 1 0 4070260 0
[pid=46638/tid=46640] ppid=46635 vsize=19063512 memory=17792 CPUtime=2894.97 cores=4,6
/proc/46638/task/46640/stat : 46640 (java) R 46635 46638 44727 0 -1 4194368 372485 0 0 0 289213 284 0 0 20 0 20 0 50043442 19521036288 4056830 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46649] ppid=46635 vsize=19063512 memory=16210668 CPUtime=0 cores=4,6
/proc/46638/task/46649/stat : 46649 (Finalizer) S 46635 46638 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50043444 19521036288 4056830 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46656] ppid=46635 vsize=19063512 memory=16227320 CPUtime=0 cores=4,6
/proc/46638/task/46656/stat : 46656 (Common-Cleaner) S 46635 46638 44727 0 -1 4194368 2539 0 0 0 0 0 0 0 20 0 20 0 50043444 19521036288 4056830 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46658] ppid=46635 vsize=19063512 memory=17792 CPUtime=0 cores=4,6
/proc/46638/task/46658/stat : 46658 (Timer-0) S 46635 46638 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50043604 19521036288 4056830 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
Current children cumulated CPU time: 3257.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16227320 KiB
[startup+3042.3 s]
/proc/loadavg: 4.74 4.75 4.70 5/340 46937
/proc/meminfo: memFree=89792180/131250000 swapFree=33010416/33010684
[pid=46638] ppid=46635 vsize=19063512 memory=16244220 CPUtime=3330.05 cores=4,6
/proc/46638/stat : 46638 (java) S 46635 46638 44727 0 -1 4194304 587852 0 0 0 332496 509 0 0 20 0 20 0 50043440 19521036288 4061055 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
/proc/46638/statm: 4765878 4061055 5568 1 0 4074472 0
[pid=46638/tid=46640] ppid=46635 vsize=19063512 memory=14720 CPUtime=2953.47 cores=4,6
/proc/46638/task/46640/stat : 46640 (java) R 46635 46638 44727 0 -1 4194368 381224 0 0 0 295061 286 0 0 20 0 20 0 50043442 19521036288 4061055 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46649] ppid=46635 vsize=19063512 memory=10880 CPUtime=0 cores=4,6
/proc/46638/task/46649/stat : 46649 (Finalizer) S 46635 46638 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50043444 19521036288 4061055 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46656] ppid=46635 vsize=19063512 memory=16244220 CPUtime=0 cores=4,6
/proc/46638/task/46656/stat : 46656 (Common-Cleaner) S 46635 46638 44727 0 -1 4194368 2670 0 0 0 0 0 0 0 20 0 20 0 50043444 19521036288 4061055 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46658] ppid=46635 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/46638/task/46658/stat : 46658 (Timer-0) S 46635 46638 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50043604 19521036288 4061055 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
Current children cumulated CPU time: 3330.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16244220 KiB
[startup+3102.3 s]
/proc/loadavg: 4.63 4.71 4.68 5/340 46944
/proc/meminfo: memFree=89627996/131250000 swapFree=33010416/33010684
[pid=46638] ppid=46635 vsize=19063512 memory=16244220 CPUtime=3391.69 cores=4,6
/proc/46638/stat : 46638 (java) S 46635 46638 44727 0 -1 4194304 600023 0 0 0 338658 511 0 0 20 0 20 0 50043440 19521036288 4061055 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
/proc/46638/statm: 4765878 4061055 5568 1 0 4074472 0
[pid=46638/tid=46640] ppid=46635 vsize=19063512 memory=14720 CPUtime=3011.49 cores=4,6
/proc/46638/task/46640/stat : 46640 (java) R 46635 46638 44727 0 -1 4194368 391088 0 0 0 300861 288 0 0 20 0 20 0 50043442 19521036288 4061055 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46649] ppid=46635 vsize=19063512 memory=16244220 CPUtime=0 cores=4,6
/proc/46638/task/46649/stat : 46649 (Finalizer) S 46635 46638 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50043444 19521036288 4061055 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46656] ppid=46635 vsize=19063512 memory=17792 CPUtime=0 cores=4,6
/proc/46638/task/46656/stat : 46656 (Common-Cleaner) S 46635 46638 44727 0 -1 4194368 2670 0 0 0 0 0 0 0 20 0 20 0 50043444 19521036288 4061055 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46658] ppid=46635 vsize=19063512 memory=16244220 CPUtime=0 cores=4,6
/proc/46638/task/46658/stat : 46658 (Timer-0) S 46635 46638 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50043604 19521036288 4061055 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
Current children cumulated CPU time: 3391.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16244220 KiB
[startup+3162.3 s]
/proc/loadavg: 4.76 4.72 4.69 5/340 46946
/proc/meminfo: memFree=89414256/131250000 swapFree=33010416/33010684
[pid=46638] ppid=46635 vsize=19063512 memory=16252548 CPUtime=3463.4 cores=4,6
/proc/46638/stat : 46638 (java) S 46635 46638 44727 0 -1 4194304 612708 0 0 0 345822 518 0 0 20 0 20 0 50043440 19521036288 4063137 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
/proc/46638/statm: 4765878 4063137 5568 1 0 4076563 0
[pid=46638/tid=46640] ppid=46635 vsize=19063512 memory=17792 CPUtime=3070.13 cores=4,6
/proc/46638/task/46640/stat : 46640 (java) R 46635 46638 44727 0 -1 4194368 398720 0 0 0 306724 289 0 0 20 0 20 0 50043442 19521036288 4063137 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46649] ppid=46635 vsize=19063512 memory=16244220 CPUtime=0 cores=4,6
/proc/46638/task/46649/stat : 46649 (Finalizer) S 46635 46638 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50043444 19521036288 4063137 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46656] ppid=46635 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/46638/task/46656/stat : 46656 (Common-Cleaner) S 46635 46638 44727 0 -1 4194368 2689 0 0 0 0 0 0 0 20 0 20 0 50043444 19521036288 4063137 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46658] ppid=46635 vsize=19063512 memory=16252548 CPUtime=0 cores=4,6
/proc/46638/task/46658/stat : 46658 (Timer-0) S 46635 46638 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50043604 19521036288 4063137 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
Current children cumulated CPU time: 3463.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16252548 KiB
[startup+3222.3 s]
/proc/loadavg: 4.47 4.65 4.67 5/340 46948
/proc/meminfo: memFree=89291044/131250000 swapFree=33010416/33010684
[pid=46638] ppid=46635 vsize=19063512 memory=16252548 CPUtime=3524.61 cores=4,6
/proc/46638/stat : 46638 (java) S 46635 46638 44727 0 -1 4194304 619355 0 0 0 351940 521 0 0 20 0 20 0 50043440 19521036288 4063137 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
/proc/46638/statm: 4765878 4063137 5568 1 0 4076563 0
[pid=46638/tid=46640] ppid=46635 vsize=19063512 memory=3328 CPUtime=3128.54 cores=4,6
/proc/46638/task/46640/stat : 46640 (java) R 46635 46638 44727 0 -1 4194368 404570 0 0 0 312564 290 0 0 20 0 20 0 50043442 19521036288 4063137 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46649] ppid=46635 vsize=19063512 memory=16252548 CPUtime=0 cores=4,6
/proc/46638/task/46649/stat : 46649 (Finalizer) S 46635 46638 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50043444 19521036288 4063137 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46656] ppid=46635 vsize=19063512 memory=16252548 CPUtime=0 cores=4,6
/proc/46638/task/46656/stat : 46656 (Common-Cleaner) S 46635 46638 44727 0 -1 4194368 2753 0 0 0 0 0 0 0 20 0 20 0 50043444 19521036288 4063137 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46658] ppid=46635 vsize=19063512 memory=16252548 CPUtime=0 cores=4,6
/proc/46638/task/46658/stat : 46658 (Timer-0) S 46635 46638 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50043604 19521036288 4063137 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
Current children cumulated CPU time: 3524.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16252548 KiB
[startup+3282.3 s]
/proc/loadavg: 3.81 4.43 4.59 4/315 46983
/proc/meminfo: memFree=105156880/131250000 swapFree=33010416/33010684
[pid=46638] ppid=46635 vsize=19063512 memory=16269096 CPUtime=3596.48 cores=4,6
/proc/46638/stat : 46638 (java) S 46635 46638 44727 0 -1 4194304 634521 0 0 0 359121 527 0 0 20 0 20 0 50043440 19521036288 4067274 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
/proc/46638/statm: 4765878 4067274 5568 1 0 4080741 0
[pid=46638/tid=46640] ppid=46635 vsize=19063512 memory=4252 CPUtime=3186.73 cores=4,6
/proc/46638/task/46640/stat : 46640 (java) R 46635 46638 44727 0 -1 4194368 413823 0 0 0 318381 292 0 0 20 0 20 0 50043442 19521036288 4067274 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46649] ppid=46635 vsize=19063512 memory=2892 CPUtime=0 cores=4,6
/proc/46638/task/46649/stat : 46649 (Finalizer) S 46635 46638 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50043444 19521036288 4067274 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46656] ppid=46635 vsize=19063512 memory=17792 CPUtime=0 cores=4,6
/proc/46638/task/46656/stat : 46656 (Common-Cleaner) S 46635 46638 44727 0 -1 4194368 2803 0 0 0 0 0 0 0 20 0 20 0 50043444 19521036288 4067274 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46658] ppid=46635 vsize=19063512 memory=12416 CPUtime=0 cores=4,6
/proc/46638/task/46658/stat : 46658 (Timer-0) S 46635 46638 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50043604 19521036288 4067274 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
Current children cumulated CPU time: 3596.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16269096 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3285.7 s]
/proc/loadavg: 3.81 4.43 4.59 4/315 46983
/proc/meminfo: memFree=105156880/131250000 swapFree=33010416/33010684
[pid=46638] ppid=46635 vsize=19063512 memory=16269096 CPUtime=3600.08 cores=4,6
/proc/46638/stat : 46638 (java) S 46635 46638 44727 0 -1 4194304 637083 0 0 0 359480 528 0 0 20 0 20 0 50043440 19521036288 4067274 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
/proc/46638/statm: 4765878 4067274 5568 1 0 4080741 0
[pid=46638/tid=46640] ppid=46635 vsize=19063512 memory=4252 CPUtime=3189.91 cores=4,6
/proc/46638/task/46640/stat : 46640 (java) R 46635 46638 44727 0 -1 4194368 415199 0 0 0 318699 292 0 0 20 0 20 0 50043442 19521036288 4067274 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46649] ppid=46635 vsize=19063512 memory=2892 CPUtime=0 cores=4,6
/proc/46638/task/46649/stat : 46649 (Finalizer) S 46635 46638 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50043444 19521036288 4067274 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46656] ppid=46635 vsize=19063512 memory=17792 CPUtime=0 cores=4,6
/proc/46638/task/46656/stat : 46656 (Common-Cleaner) S 46635 46638 44727 0 -1 4194368 2803 0 0 0 0 0 0 0 20 0 20 0 50043444 19521036288 4067274 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
[pid=46638/tid=46658] ppid=46635 vsize=19063512 memory=12416 CPUtime=0 cores=4,6
/proc/46638/task/46658/stat : 46658 (Timer-0) S 46635 46638 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50043604 19521036288 4067274 18446744073709551615 94074230325248 94074230328944 140729597561440 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94074230336760 94074230337552 94074255785984 140729597565310 140729597565414 140729597565414 140729597571016 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16269096 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3285.82 s]
# the end of solver process 46638 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3594.91 s, system=5.32835 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3285.8 s]*
/proc/loadavg: 3.81 4.43 4.59 5/297 46986
/proc/meminfo: memFree=116986120/131250000 swapFree=33010416/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): 3285.82
CPU time (s): 3600.24
CPU user time (s): 3594.91
CPU system time (s): 5.32835
CPU usage (%): 109.569
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 16269096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.91
system time used= 5.32835
maximum resident set size= 16269992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 639361
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118660
involuntary context switches= 22259
# summary of solver processes directly reported to runsolver:
# pid: 46638
# total CPU time (s): 3600.24
# total CPU user time (s): 3594.91
# total CPU system time (s): 5.32835
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.94479 second user time and 16.948 second system time
The end