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 (62624 MiB free)
memory of node 1: 64507 MiB (63824 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521315-1751586197/watcher-4521315-1751586197 -o /tmp/evaluation-result-4521315-1751586197/solver-4521315-1751586197 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751586197-84158 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4521315-1751586197 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4521315-1751586197.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 FSIZE limit: 102400000 KiB
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB
solver pid=84202, runsolver pid=84196
[startup+0.100059 s]*
/proc/loadavg: 1.01 1.11 1.72 8/331 84284
/proc/meminfo: memFree=129413112/131250000 swapFree=33010416/33010684
[pid=84202] ppid=84196 vsize=18930384 memory=55372 CPUtime=0.11 cores=4,6
/proc/84202/stat : 84202 (java) S 84196 84202 84147 0 -1 4194304 6484 0 0 0 9 2 0 0 20 0 18 0 74299615 19384713216 13843 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
/proc/84202/statm: 4732596 13843 5336 1 0 547558 0
[pid=84202/tid=84209] ppid=84196 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=4,6
/proc/84202/task/84209/stat : 84209 (java) R 84196 84202 84147 0 -1 4194368 5020 0 0 0 5 1 0 0 20 0 18 0 74299617 19384713216 13843 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84233] ppid=84196 vsize=18930384 memory=18954 CPUtime=0 cores=4,6
/proc/84202/task/84233/stat : 84233 (Finalizer) S 84196 84202 84147 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 74299620 19384713216 13843 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84246] ppid=84196 vsize=18930384 memory=60684515935208 CPUtime=0 cores=4,6
/proc/84202/task/84246/stat : 84246 (Common-Cleaner) S 84196 84202 84147 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 74299620 19384713216 13843 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55372 KiB
[startup+0.205749 s]*
/proc/loadavg: 1.01 1.11 1.72 1/331 84284
/proc/meminfo: memFree=129396112/131250000 swapFree=33010416/33010684
[pid=84202] ppid=84196 vsize=18930384 memory=61568 CPUtime=0.22 cores=4,6
/proc/84202/stat : 84202 (java) S 84196 84202 84147 0 -1 4194304 6967 0 0 0 20 2 0 0 20 0 18 0 74299615 19384713216 15392 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
/proc/84202/statm: 4732596 15392 5400 1 0 547889 0
[pid=84202/tid=84209] ppid=84196 vsize=18930384 memory=4026794268 CPUtime=0.12 cores=4,6
/proc/84202/task/84209/stat : 84209 (java) D 84196 84202 84147 0 -1 4456512 5330 0 0 0 11 1 0 0 20 0 18 0 74299617 19384713216 15392 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84233] ppid=84196 vsize=18930384 memory=18954 CPUtime=0 cores=4,6
/proc/84202/task/84233/stat : 84233 (Finalizer) S 84196 84202 84147 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 74299620 19384713216 15392 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84246] ppid=84196 vsize=18930384 memory=60684515935208 CPUtime=0 cores=4,6
/proc/84202/task/84246/stat : 84246 (Common-Cleaner) S 84196 84202 84147 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 74299620 19384713216 15392 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61568 KiB
[startup+0.305561 s]*
/proc/loadavg: 1.01 1.11 1.72 1/331 84284
/proc/meminfo: memFree=129396112/131250000 swapFree=33010416/33010684
[pid=84202] ppid=84196 vsize=18930384 memory=61568 CPUtime=0.22 cores=4,6
/proc/84202/stat : 84202 (java) S 84196 84202 84147 0 -1 4194304 6967 0 0 0 20 2 0 0 20 0 18 0 74299615 19384713216 15392 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
/proc/84202/statm: 4732596 15392 5400 1 0 547889 0
[pid=84202/tid=84209] ppid=84196 vsize=18930384 memory=-6000919472790595687 CPUtime=0.12 cores=4,6
/proc/84202/task/84209/stat : 84209 (java) D 84196 84202 84147 0 -1 4456512 5330 0 0 0 11 1 0 0 20 0 18 0 74299617 19384713216 15392 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84233] ppid=84196 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/84202/task/84233/stat : 84233 (Finalizer) S 84196 84202 84147 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 74299620 19384713216 15392 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84246] ppid=84196 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/84202/task/84246/stat : 84246 (Common-Cleaner) S 84196 84202 84147 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 74299620 19384713216 15392 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61568 KiB
[startup+0.700247 s]
/proc/loadavg: 1.01 1.11 1.72 1/331 84284
/proc/meminfo: memFree=129396112/131250000 swapFree=33010416/33010684
[pid=84202] ppid=84196 vsize=18930384 memory=61568 CPUtime=0.22 cores=4,6
/proc/84202/stat : 84202 (java) S 84196 84202 84147 0 -1 4194304 6967 0 0 0 20 2 0 0 20 0 18 0 74299615 19384713216 15392 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
/proc/84202/statm: 4732596 15392 5400 1 0 547889 0
[pid=84202/tid=84209] ppid=84196 vsize=18930384 memory=18816 CPUtime=0.12 cores=4,6
/proc/84202/task/84209/stat : 84209 (java) D 84196 84202 84147 0 -1 4456512 5330 0 0 0 11 1 0 0 20 0 18 0 74299617 19384713216 15392 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84233] ppid=84196 vsize=18930384 memory=10880 CPUtime=0 cores=4,6
/proc/84202/task/84233/stat : 84233 (Finalizer) S 84196 84202 84147 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 74299620 19384713216 15392 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84246] ppid=84196 vsize=18930384 memory=3328 CPUtime=0 cores=4,6
/proc/84202/task/84246/stat : 84246 (Common-Cleaner) S 84196 84202 84147 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 74299620 19384713216 15392 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61568 KiB
[startup+1.50023 s]
/proc/loadavg: 1.01 1.11 1.72 1/331 84284
/proc/meminfo: memFree=129396480/131250000 swapFree=33010416/33010684
[pid=84202] ppid=84196 vsize=18930384 memory=61568 CPUtime=0.22 cores=4,6
/proc/84202/stat : 84202 (java) S 84196 84202 84147 0 -1 4194304 6967 0 0 0 20 2 0 0 20 0 18 0 74299615 19384713216 15392 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
/proc/84202/statm: 4732596 15392 5400 1 0 547889 0
[pid=84202/tid=84209] ppid=84196 vsize=18930384 memory=3328 CPUtime=0.12 cores=4,6
/proc/84202/task/84209/stat : 84209 (java) D 84196 84202 84147 0 -1 4456512 5330 0 0 0 11 1 0 0 20 0 18 0 74299617 19384713216 15392 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84233] ppid=84196 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/84202/task/84233/stat : 84233 (Finalizer) S 84196 84202 84147 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 74299620 19384713216 15392 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84246] ppid=84196 vsize=18930384 memory=10880 CPUtime=0 cores=4,6
/proc/84202/task/84246/stat : 84246 (Common-Cleaner) S 84196 84202 84147 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 74299620 19384713216 15392 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61568 KiB
[startup+3.10485 s]
/proc/loadavg: 1.25 1.16 1.73 1/332 84285
/proc/meminfo: memFree=129396696/131250000 swapFree=33010416/33010684
[pid=84202] ppid=84196 vsize=18930384 memory=61568 CPUtime=0.22 cores=4,6
/proc/84202/stat : 84202 (java) S 84196 84202 84147 0 -1 4194304 6967 0 0 0 20 2 0 0 20 0 18 0 74299615 19384713216 15392 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
/proc/84202/statm: 4732596 15392 5400 1 0 547889 0
[pid=84202/tid=84209] ppid=84196 vsize=18930384 memory=10880 CPUtime=0.12 cores=4,6
/proc/84202/task/84209/stat : 84209 (java) D 84196 84202 84147 0 -1 4456512 5330 0 0 0 11 1 0 0 20 0 18 0 74299617 19384713216 15392 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84233] ppid=84196 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/84202/task/84233/stat : 84233 (Finalizer) S 84196 84202 84147 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 74299620 19384713216 15392 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84246] ppid=84196 vsize=18930384 memory=5760 CPUtime=0 cores=4,6
/proc/84202/task/84246/stat : 84246 (Common-Cleaner) S 84196 84202 84147 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 74299620 19384713216 15392 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61568 KiB
heavy processes:
[startup+6.30023 s]
/proc/loadavg: 1.25 1.16 1.73 9/339 84292
/proc/meminfo: memFree=126120944/131250000 swapFree=33010416/33010684
[pid=84202] ppid=84196 vsize=19063512 memory=238640 CPUtime=3.36 cores=4,6
/proc/84202/stat : 84202 (java) S 84196 84202 84147 0 -1 4194304 24598 0 0 0 327 9 0 0 20 0 20 0 74299615 19521036288 59660 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
/proc/84202/statm: 4765878 59660 5496 1 0 556029 0
[pid=84202/tid=84209] ppid=84196 vsize=19063512 memory=10880 CPUtime=1.52 cores=4,6
/proc/84202/task/84209/stat : 84209 (java) R 84196 84202 84147 0 -1 4194368 5998 0 0 0 148 4 0 0 20 0 20 0 74299617 19521036288 59660 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84233] ppid=84196 vsize=19063512 memory=-6000919481229600871 CPUtime=0 cores=4,6
/proc/84202/task/84233/stat : 84233 (Finalizer) S 84196 84202 84147 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74299620 19521036288 59660 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84246] ppid=84196 vsize=19063512 memory=222384 CPUtime=0 cores=4,6
/proc/84202/task/84246/stat : 84246 (Common-Cleaner) S 84196 84202 84147 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 74299620 19521036288 59660 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84287] ppid=84196 vsize=19063512 memory=18816 CPUtime=0 cores=4,6
/proc/84202/task/84287/stat : 84287 (Timer-0) S 84196 84202 84147 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74300099 19521036288 59660 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
Current children cumulated CPU time: 3.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 238640 KiB
heavy processes:
[startup+12.7002 s]
/proc/loadavg: 1.63 1.24 1.75 6/340 84293
/proc/meminfo: memFree=123270388/131250000 swapFree=33010416/33010684
[pid=84202] ppid=84196 vsize=19063512 memory=1308956 CPUtime=12.37 cores=4,6
/proc/84202/stat : 84202 (java) S 84196 84202 84147 0 -1 4194304 29276 0 0 0 1205 32 0 0 20 0 20 0 74299615 19521036288 327239 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
/proc/84202/statm: 4765878 327239 5496 1 0 557069 0
[pid=84202/tid=84209] ppid=84196 vsize=19063512 memory=4714310728709467806 CPUtime=7.78 cores=4,6
/proc/84202/task/84209/stat : 84209 (java) R 84196 84202 84147 0 -1 4194368 7911 0 0 0 752 26 0 0 20 0 20 0 74299617 19521036288 327239 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84233] ppid=84196 vsize=19063512 memory=456840 CPUtime=0 cores=4,6
/proc/84202/task/84233/stat : 84233 (Finalizer) S 84196 84202 84147 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74299620 19521036288 327239 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84246] ppid=84196 vsize=19063512 memory=1308828 CPUtime=0 cores=4,6
/proc/84202/task/84246/stat : 84246 (Common-Cleaner) S 84196 84202 84147 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 74299620 19521036288 327239 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84287] ppid=84196 vsize=19063512 memory=960648 CPUtime=0 cores=4,6
/proc/84202/task/84287/stat : 84287 (Timer-0) S 84196 84202 84147 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74300099 19521036288 327239 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
Current children cumulated CPU time: 12.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1308956 KiB
[startup+25.5002 s]
/proc/loadavg: 2.23 1.39 1.79 5/340 84294
/proc/meminfo: memFree=121997908/131250000 swapFree=33010416/33010684
[pid=84202] ppid=84196 vsize=19063512 memory=1770208 CPUtime=25.45 cores=4,6
/proc/84202/stat : 84202 (java) S 84196 84202 84147 0 -1 4194304 37994 0 0 0 2502 43 0 0 20 0 20 0 74299615 19521036288 442552 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
/proc/84202/statm: 4765878 442552 5496 1 0 663601 0
[pid=84202/tid=84209] ppid=84196 vsize=19063512 memory=1308828 CPUtime=20.36 cores=4,6
/proc/84202/task/84209/stat : 84209 (java) R 84196 84202 84147 0 -1 4194368 10222 0 0 0 2001 35 0 0 20 0 20 0 74299617 19521036288 442552 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84233] ppid=84196 vsize=19063512 memory=456840 CPUtime=0 cores=4,6
/proc/84202/task/84233/stat : 84233 (Finalizer) S 84196 84202 84147 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74299620 19521036288 442552 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84246] ppid=84196 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/84202/task/84246/stat : 84246 (Common-Cleaner) S 84196 84202 84147 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 74299620 19521036288 442552 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84287] ppid=84196 vsize=19063512 memory=164 CPUtime=0 cores=4,6
/proc/84202/task/84287/stat : 84287 (Timer-0) S 84196 84202 84147 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74300099 19521036288 442552 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
Current children cumulated CPU time: 25.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1770208 KiB
[startup+51.1058 s]
/proc/loadavg: 2.84 1.60 1.85 5/341 84295
/proc/meminfo: memFree=121852844/131250000 swapFree=33010416/33010684
[pid=84202] ppid=84196 vsize=19063512 memory=1781200 CPUtime=51.63 cores=4,6
/proc/84202/stat : 84202 (java) S 84196 84202 84147 0 -1 4194304 48986 0 0 0 5116 47 0 0 20 0 20 0 74299615 19521036288 445300 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
/proc/84202/statm: 4765878 445300 5496 1 0 663675 0
[pid=84202/tid=84209] ppid=84196 vsize=19063512 memory=14720 CPUtime=45.59 cores=4,6
/proc/84202/task/84209/stat : 84209 (java) R 84196 84202 84147 0 -1 4194368 13052 0 0 0 4521 38 0 0 20 0 20 0 74299617 19521036288 445300 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84233] ppid=84196 vsize=19063512 memory=1779048 CPUtime=0 cores=4,6
/proc/84202/task/84233/stat : 84233 (Finalizer) S 84196 84202 84147 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74299620 19521036288 445300 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84246] ppid=84196 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/84202/task/84246/stat : 84246 (Common-Cleaner) S 84196 84202 84147 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 20 0 74299620 19521036288 445300 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84287] ppid=84196 vsize=19063512 memory=0 CPUtime=0 cores=4,6
################
# More data... #
################
[pid=84202] ppid=84196 vsize=19063512 memory=2576568 CPUtime=1100.93 cores=4,6
/proc/84202/stat : 84202 (java) S 84196 84202 84147 0 -1 4194304 101336 0 0 0 109927 166 0 0 20 0 20 0 74299615 19521036288 644142 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
/proc/84202/statm: 4765878 644142 5496 1 0 669110 0
[pid=84202/tid=84209] ppid=84196 vsize=19063512 memory=3328 CPUtime=1076.61 cores=4,6
/proc/84202/task/84209/stat : 84209 (java) R 84196 84202 84147 0 -1 4194368 31853 0 0 0 107565 96 0 0 20 0 20 0 74299617 19521036288 644142 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84233] ppid=84196 vsize=19063512 memory=2337 CPUtime=0 cores=4,6
/proc/84202/task/84233/stat : 84233 (Finalizer) S 84196 84202 84147 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74299620 19521036288 644142 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84246] ppid=84196 vsize=19063512 memory=2551988 CPUtime=0 cores=4,6
/proc/84202/task/84246/stat : 84246 (Common-Cleaner) S 84196 84202 84147 0 -1 4194368 686 0 0 0 0 0 0 0 20 0 20 0 74299620 19521036288 644142 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84287] ppid=84196 vsize=19063512 memory=18816 CPUtime=0 cores=4,6
/proc/84202/task/84287/stat : 84287 (Timer-0) S 84196 84202 84147 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74300099 19521036288 644142 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
Current children cumulated CPU time: 1100.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2576568 KiB
[startup+1152 s]*
/proc/loadavg: 4.13 4.07 3.47 5/344 84367
/proc/meminfo: memFree=118225112/131250000 swapFree=33010416/33010684
[pid=84202] ppid=84196 vsize=19063512 memory=2576824 CPUtime=1126.88 cores=4,6
/proc/84202/stat : 84202 (java) S 84196 84202 84147 0 -1 4194304 102691 0 0 0 112519 169 0 0 20 0 20 0 74299615 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
/proc/84202/statm: 4765878 644206 5496 1 0 669126 0
[pid=84202/tid=84209] ppid=84196 vsize=19063512 memory=23368 CPUtime=1101.89 cores=4,6
/proc/84202/task/84209/stat : 84209 (java) R 84196 84202 84147 0 -1 4194368 32516 0 0 0 110091 98 0 0 20 0 20 0 74299617 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84233] ppid=84196 vsize=19063512 memory=14328 CPUtime=0 cores=4,6
/proc/84202/task/84233/stat : 84233 (Finalizer) S 84196 84202 84147 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74299620 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84246] ppid=84196 vsize=19063512 memory=-4421386504821172063 CPUtime=0 cores=4,6
/proc/84202/task/84246/stat : 84246 (Common-Cleaner) S 84196 84202 84147 0 -1 4194368 686 0 0 0 0 0 0 0 20 0 20 0 74299620 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84287] ppid=84196 vsize=19063512 memory=2576568 CPUtime=0 cores=4,6
/proc/84202/task/84287/stat : 84287 (Timer-0) S 84196 84202 84147 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74300099 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
Current children cumulated CPU time: 1126.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2576824 KiB
[startup+1164.8 s]
/proc/loadavg: 4.24 4.10 3.49 5/344 84367
/proc/meminfo: memFree=118207316/131250000 swapFree=33010416/33010684
[pid=84202] ppid=84196 vsize=19063512 memory=2576824 CPUtime=1139.86 cores=4,6
/proc/84202/stat : 84202 (java) S 84196 84202 84147 0 -1 4194304 103550 0 0 0 113817 169 0 0 20 0 20 0 74299615 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
/proc/84202/statm: 4765878 644206 5496 1 0 669142 0
[pid=84202/tid=84209] ppid=84196 vsize=19063512 memory=139652271274097 CPUtime=1114.52 cores=4,6
/proc/84202/task/84209/stat : 84209 (java) R 84196 84202 84147 0 -1 4194368 33236 0 0 0 111354 98 0 0 20 0 20 0 74299617 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84233] ppid=84196 vsize=19063512 memory=2576824 CPUtime=0 cores=4,6
/proc/84202/task/84233/stat : 84233 (Finalizer) S 84196 84202 84147 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74299620 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84246] ppid=84196 vsize=19063512 memory=2576824 CPUtime=0 cores=4,6
/proc/84202/task/84246/stat : 84246 (Common-Cleaner) S 84196 84202 84147 0 -1 4194368 686 0 0 0 0 0 0 0 20 0 20 0 74299620 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84287] ppid=84196 vsize=19063512 memory=2576824 CPUtime=0 cores=4,6
/proc/84202/task/84287/stat : 84287 (Timer-0) S 84196 84202 84147 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74300099 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
Current children cumulated CPU time: 1139.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2576824 KiB
[startup+1168 s]*
/proc/loadavg: 4.22 4.10 3.50 5/344 84367
/proc/meminfo: memFree=118207068/131250000 swapFree=33010416/33010684
[pid=84202] ppid=84196 vsize=19063512 memory=2576824 CPUtime=1143.07 cores=4,6
/proc/84202/stat : 84202 (java) S 84196 84202 84147 0 -1 4194304 103679 0 0 0 114137 170 0 0 20 0 20 0 74299615 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
/proc/84202/statm: 4765878 644206 5496 1 0 669142 0
[pid=84202/tid=84209] ppid=84196 vsize=19063512 memory=6784 CPUtime=1117.67 cores=4,6
/proc/84202/task/84209/stat : 84209 (java) R 84196 84202 84147 0 -1 4194368 33364 0 0 0 111668 99 0 0 20 0 20 0 74299617 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84233] ppid=84196 vsize=19063512 memory=4788 CPUtime=0 cores=4,6
/proc/84202/task/84233/stat : 84233 (Finalizer) S 84196 84202 84147 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74299620 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84246] ppid=84196 vsize=19063512 memory=-4421386504821172063 CPUtime=0 cores=4,6
/proc/84202/task/84246/stat : 84246 (Common-Cleaner) S 84196 84202 84147 0 -1 4194368 686 0 0 0 0 0 0 0 20 0 20 0 74299620 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84287] ppid=84196 vsize=19063512 memory=8832 CPUtime=0 cores=4,6
/proc/84202/task/84287/stat : 84287 (Timer-0) S 84196 84202 84147 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74300099 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
Current children cumulated CPU time: 1143.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2576824 KiB
[startup+1171.2 s]
/proc/loadavg: 4.22 4.10 3.50 5/344 84367
/proc/meminfo: memFree=118218880/131250000 swapFree=33010416/33010684
[pid=84202] ppid=84196 vsize=19063512 memory=2576824 CPUtime=1146.27 cores=4,6
/proc/84202/stat : 84202 (java) S 84196 84202 84147 0 -1 4194304 103685 0 0 0 114456 171 0 0 20 0 20 0 74299615 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
/proc/84202/statm: 4765878 644206 5496 1 0 669142 0
[pid=84202/tid=84209] ppid=84196 vsize=19063512 memory=2576824 CPUtime=1120.82 cores=4,6
/proc/84202/task/84209/stat : 84209 (java) R 84196 84202 84147 0 -1 4194368 33366 0 0 0 111983 99 0 0 20 0 20 0 74299617 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84233] ppid=84196 vsize=19063512 memory=4352 CPUtime=0 cores=4,6
/proc/84202/task/84233/stat : 84233 (Finalizer) S 84196 84202 84147 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74299620 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84246] ppid=84196 vsize=19063512 memory=2576824 CPUtime=0 cores=4,6
/proc/84202/task/84246/stat : 84246 (Common-Cleaner) S 84196 84202 84147 0 -1 4194368 686 0 0 0 0 0 0 0 20 0 20 0 74299620 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84287] ppid=84196 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/84202/task/84287/stat : 84287 (Timer-0) S 84196 84202 84147 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74300099 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
Current children cumulated CPU time: 1146.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2576824 KiB
[startup+1172.8 s]
/proc/loadavg: 4.22 4.10 3.50 5/344 84367
/proc/meminfo: memFree=118215856/131250000 swapFree=33010416/33010684
[pid=84202] ppid=84196 vsize=19063512 memory=2576824 CPUtime=1147.87 cores=4,6
/proc/84202/stat : 84202 (java) S 84196 84202 84147 0 -1 4194304 103749 0 0 0 114616 171 0 0 20 0 20 0 74299615 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
/proc/84202/statm: 4765878 644206 5496 1 0 669142 0
[pid=84202/tid=84209] ppid=84196 vsize=19063512 memory=-6000919481229600871 CPUtime=1122.38 cores=4,6
/proc/84202/task/84209/stat : 84209 (java) R 84196 84202 84147 0 -1 4194368 33398 0 0 0 112139 99 0 0 20 0 20 0 74299617 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84233] ppid=84196 vsize=19063512 memory=4788 CPUtime=0 cores=4,6
/proc/84202/task/84233/stat : 84233 (Finalizer) S 84196 84202 84147 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74299620 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84246] ppid=84196 vsize=19063512 memory=2576824 CPUtime=0 cores=4,6
/proc/84202/task/84246/stat : 84246 (Common-Cleaner) S 84196 84202 84147 0 -1 4194368 716 0 0 0 0 0 0 0 20 0 20 0 74299620 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84287] ppid=84196 vsize=19063512 memory=10880 CPUtime=0 cores=4,6
/proc/84202/task/84287/stat : 84287 (Timer-0) S 84196 84202 84147 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74300099 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
Current children cumulated CPU time: 1147.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2576824 KiB
[startup+1173.2 s]
/proc/loadavg: 4.28 4.11 3.51 5/344 84367
/proc/meminfo: memFree=118215856/131250000 swapFree=33010416/33010684
[pid=84202] ppid=84196 vsize=19063512 memory=2576824 CPUtime=1148.26 cores=4,6
/proc/84202/stat : 84202 (java) S 84196 84202 84147 0 -1 4194304 103749 0 0 0 114655 171 0 0 20 0 20 0 74299615 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
/proc/84202/statm: 4765878 644206 5496 1 0 669142 0
[pid=84202/tid=84209] ppid=84196 vsize=19063512 memory=4660 CPUtime=1122.78 cores=4,6
/proc/84202/task/84209/stat : 84209 (java) R 84196 84202 84147 0 -1 4194368 33398 0 0 0 112179 99 0 0 20 0 20 0 74299617 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84233] ppid=84196 vsize=19063512 memory=6896 CPUtime=0 cores=4,6
/proc/84202/task/84233/stat : 84233 (Finalizer) S 84196 84202 84147 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74299620 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84246] ppid=84196 vsize=19063512 memory=6900 CPUtime=0 cores=4,6
/proc/84202/task/84246/stat : 84246 (Common-Cleaner) S 84196 84202 84147 0 -1 4194368 716 0 0 0 0 0 0 0 20 0 20 0 74299620 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84287] ppid=84196 vsize=19063512 memory=6896 CPUtime=0 cores=4,6
/proc/84202/task/84287/stat : 84287 (Timer-0) S 84196 84202 84147 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74300099 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
Current children cumulated CPU time: 1148.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2576824 KiB
[startup+1173.6 s]
/proc/loadavg: 4.28 4.11 3.51 5/344 84367
/proc/meminfo: memFree=118215856/131250000 swapFree=33010416/33010684
[pid=84202] ppid=84196 vsize=19063512 memory=2576824 CPUtime=1148.67 cores=4,6
/proc/84202/stat : 84202 (java) S 84196 84202 84147 0 -1 4194304 104556 0 0 0 114696 171 0 0 20 0 20 0 74299615 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
/proc/84202/statm: 4765878 644206 5496 1 0 669142 0
[pid=84202/tid=84209] ppid=84196 vsize=19063512 memory=18816 CPUtime=1123.19 cores=4,6
/proc/84202/task/84209/stat : 84209 (java) R 84196 84202 84147 0 -1 4194368 34153 0 0 0 112219 100 0 0 20 0 20 0 74299617 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84233] ppid=84196 vsize=19063512 memory=10880 CPUtime=0 cores=4,6
/proc/84202/task/84233/stat : 84233 (Finalizer) S 84196 84202 84147 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74299620 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84246] ppid=84196 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/84202/task/84246/stat : 84246 (Common-Cleaner) S 84196 84202 84147 0 -1 4194368 716 0 0 0 0 0 0 0 20 0 20 0 74299620 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84287] ppid=84196 vsize=19063512 memory=-6000919481229600871 CPUtime=0 cores=4,6
/proc/84202/task/84287/stat : 84287 (Timer-0) S 84196 84202 84147 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74300099 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
Current children cumulated CPU time: 1148.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2576824 KiB
[startup+1173.7 s]
/proc/loadavg: 4.28 4.11 3.51 5/344 84367
/proc/meminfo: memFree=118215856/131250000 swapFree=33010416/33010684
[pid=84202] ppid=84196 vsize=19063512 memory=2576824 CPUtime=1148.77 cores=4,6
/proc/84202/stat : 84202 (java) S 84196 84202 84147 0 -1 4194304 104558 0 0 0 114706 171 0 0 20 0 20 0 74299615 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
/proc/84202/statm: 4765878 644206 5496 1 0 669142 0
[pid=84202/tid=84209] ppid=84196 vsize=19063512 memory=2576824 CPUtime=1123.29 cores=4,6
/proc/84202/task/84209/stat : 84209 (java) R 84196 84202 84147 0 -1 4194368 34153 0 0 0 112229 100 0 0 20 0 20 0 74299617 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84233] ppid=84196 vsize=19063512 memory=2576824 CPUtime=0 cores=4,6
/proc/84202/task/84233/stat : 84233 (Finalizer) S 84196 84202 84147 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74299620 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84246] ppid=84196 vsize=19063512 memory=2576824 CPUtime=0 cores=4,6
/proc/84202/task/84246/stat : 84246 (Common-Cleaner) S 84196 84202 84147 0 -1 4194368 716 0 0 0 0 0 0 0 20 0 20 0 74299620 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
[pid=84202/tid=84287] ppid=84196 vsize=19063512 memory=2576824 CPUtime=0 cores=4,6
/proc/84202/task/84287/stat : 84287 (Timer-0) S 84196 84202 84147 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74300099 19521036288 644206 18446744073709551615 94502370418688 94502370422384 140729333578816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94502370430200 94502370430992 94502375546880 140729333586221 140729333586406 140729333586406 140729333592008 0
Current children cumulated CPU time: 1148.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2576824 KiB
Child status: 30
Real time (s): 1173.74
CPU time (s): 1148.83
CPU user time (s): 1147.09
CPU system time (s): 1.73342
CPU usage (%): 97.8773
Max. virtual memory (cumulated for all children) (KiB): 19066676
Max. memory (cumulated for all children) (KiB): 2576824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1147.09
system time used= 1.73342
maximum resident set size= 2577592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105654
page faults= 0
swaps= 0
block input operations= 0
block output operations= 472808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53201
involuntary context switches= 6225
# summary of solver processes directly reported to runsolver:
# pid: 84202
# total CPU time (s): 1148.83
# total CPU user time (s): 1147.09
# total CPU system time (s): 1.73342
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.5311 second user time and 5.5822 second system time
The end