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: 63708 MiB (62909 MiB free)
memory of node 1: 64465 MiB (63866 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498319-1751275719/watcher-4498319-1751275719 -o /tmp/evaluation-result-4498319-1751275719/solver-4498319-1751275719 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751275719-38148 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4498319-1751275719.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=38214, runsolver pid=38196
[startup+0.100059 s]*
/proc/loadavg: 1.13 2.33 3.34 9/331 38273
/proc/meminfo: memFree=129749116/131249988 swapFree=33010684/33010684
[pid=38214] ppid=38196 vsize=18930384 memory=53068 CPUtime=0.11 cores=5,7
/proc/38214/stat : 38214 (java) S 38196 38214 36885 0 -1 4194304 6311 0 196 0 10 1 0 0 20 0 18 0 43250495 19384713216 13267 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
/proc/38214/statm: 4732596 13267 5311 1 0 547557 0
[pid=38214/tid=38240] ppid=38196 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=5,7
/proc/38214/task/38240/stat : 38240 (java) R 38196 38214 36885 0 -1 4194368 4854 0 196 0 6 0 0 0 20 0 18 0 43250497 19384713216 13267 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38257] ppid=38196 vsize=18930384 memory=15156 CPUtime=0 cores=5,7
/proc/38214/task/38257/stat : 38257 (Finalizer) S 38196 38214 36885 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 43250499 19384713216 13267 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38272] ppid=38196 vsize=18930384 memory=56286469424100 CPUtime=0 cores=5,7
/proc/38214/task/38272/stat : 38272 (Common-Cleaner) S 38196 38214 36885 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 43250499 19384713216 13267 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53068 KiB
[startup+0.205955 s]*
/proc/loadavg: 1.13 2.33 3.34 14/331 38273
/proc/meminfo: memFree=129721404/131249988 swapFree=33010684/33010684
[pid=38214] ppid=38196 vsize=18930384 memory=62304 CPUtime=0.29 cores=5,7
/proc/38214/stat : 38214 (java) S 38196 38214 36885 0 -1 4194304 6982 0 196 0 28 1 0 0 20 0 18 0 43250495 19384713216 15576 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
/proc/38214/statm: 4732596 15576 5439 1 0 547997 0
[pid=38214/tid=38240] ppid=38196 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=5,7
/proc/38214/task/38240/stat : 38240 (java) R 38196 38214 36885 0 -1 4194368 5229 0 196 0 16 1 0 0 20 0 18 0 43250497 19384713216 15576 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38257] ppid=38196 vsize=18930384 memory=15156 CPUtime=0 cores=5,7
/proc/38214/task/38257/stat : 38257 (Finalizer) S 38196 38214 36885 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 43250499 19384713216 15576 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38272] ppid=38196 vsize=18930384 memory=56286469424100 CPUtime=0 cores=5,7
/proc/38214/task/38272/stat : 38272 (Common-Cleaner) S 38196 38214 36885 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 43250499 19384713216 15576 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 62304 KiB
[startup+0.305919 s]*
/proc/loadavg: 1.13 2.33 3.34 11/333 38275
/proc/meminfo: memFree=129649820/131249988 swapFree=33010684/33010684
[pid=38214] ppid=38196 vsize=18930384 memory=89480 CPUtime=0.49 cores=5,7
/proc/38214/stat : 38214 (java) S 38196 38214 36885 0 -1 4194304 7982 0 196 0 47 2 0 0 20 0 18 0 43250495 19384713216 22370 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
/proc/38214/statm: 4732596 22370 5439 1 0 548184 0
[pid=38214/tid=38240] ppid=38196 vsize=18930384 memory=-6000919476934632556 CPUtime=0.25 cores=5,7
/proc/38214/task/38240/stat : 38240 (java) R 38196 38214 36885 0 -1 4194368 5258 0 196 0 24 1 0 0 20 0 18 0 43250497 19384713216 22370 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38257] ppid=38196 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/38214/task/38257/stat : 38257 (Finalizer) S 38196 38214 36885 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 43250499 19384713216 22370 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38272] ppid=38196 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/38214/task/38272/stat : 38272 (Common-Cleaner) S 38196 38214 36885 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 43250499 19384713216 22370 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 89480 KiB
[startup+0.700226 s]
/proc/loadavg: 1.13 2.33 3.34 9/335 38277
/proc/meminfo: memFree=129516988/131249988 swapFree=33010684/33010684
[pid=38214] ppid=38196 vsize=18996948 memory=140784 CPUtime=1.25 cores=5,7
/proc/38214/stat : 38214 (java) S 38196 38214 36885 0 -1 4194304 10718 0 196 0 121 4 0 0 20 0 19 0 43250495 19452874752 35196 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
/proc/38214/statm: 4749237 35196 5471 1 0 550118 0
[pid=38214/tid=38240] ppid=38196 vsize=18996948 memory=17664 CPUtime=0.59 cores=5,7
/proc/38214/task/38240/stat : 38240 (java) R 38196 38214 36885 0 -1 4194368 5404 0 196 0 57 2 0 0 20 0 19 0 43250497 19452874752 35196 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38257] ppid=38196 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/38214/task/38257/stat : 38257 (Finalizer) S 38196 38214 36885 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43250499 19452874752 35196 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38272] ppid=38196 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/38214/task/38272/stat : 38272 (Common-Cleaner) S 38196 38214 36885 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 43250499 19452874752 35196 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38277] ppid=38196 vsize=18996948 memory=4760 CPUtime=0 cores=5,7
/proc/38214/task/38277/stat : 38277 (Timer-0) S 38196 38214 36885 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43250534 19452874752 35196 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 140784 KiB
[startup+1.50022 s]
/proc/loadavg: 1.13 2.33 3.34 9/339 38281
/proc/meminfo: memFree=129241124/131249988 swapFree=33010684/33010684
[pid=38214] ppid=38196 vsize=19063512 memory=206276 CPUtime=2.83 cores=5,7
/proc/38214/stat : 38214 (java) S 38196 38214 36885 0 -1 4194304 14446 0 196 0 277 6 0 0 20 0 20 0 43250495 19521036288 51569 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
/proc/38214/statm: 4765878 51569 5503 1 0 553083 0
[pid=38214/tid=38240] ppid=38196 vsize=19063512 memory=0 CPUtime=1.3 cores=5,7
/proc/38214/task/38240/stat : 38240 (java) R 38196 38214 36885 0 -1 4194368 5437 0 196 0 127 3 0 0 20 0 20 0 43250497 19521036288 51569 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38257] ppid=38196 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/38214/task/38257/stat : 38257 (Finalizer) S 38196 38214 36885 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43250499 19521036288 51569 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38272] ppid=38196 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/38214/task/38272/stat : 38272 (Common-Cleaner) S 38196 38214 36885 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 43250499 19521036288 51569 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38277] ppid=38196 vsize=19063512 memory=4760 CPUtime=0 cores=5,7
/proc/38214/task/38277/stat : 38277 (Timer-0) S 38196 38214 36885 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43250534 19521036288 51569 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 206276 KiB
[startup+3.10586 s]
/proc/loadavg: 1.68 2.42 3.36 7/339 38281
/proc/meminfo: memFree=128418780/131249988 swapFree=33010684/33010684
[pid=38214] ppid=38196 vsize=19063512 memory=346304 CPUtime=5.99 cores=5,7
/proc/38214/stat : 38214 (java) S 38196 38214 36885 0 -1 4194304 21554 0 196 0 589 10 0 0 20 0 20 0 43250495 19521036288 86576 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
/proc/38214/statm: 4765878 86576 5503 1 0 689977 0
[pid=38214/tid=38240] ppid=38196 vsize=19063512 memory=10752 CPUtime=2.8 cores=5,7
/proc/38214/task/38240/stat : 38240 (java) R 38196 38214 36885 0 -1 4194368 5795 0 196 0 275 5 0 0 20 0 20 0 43250497 19521036288 86576 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38257] ppid=38196 vsize=19063512 memory=-6000919481229599852 CPUtime=0 cores=5,7
/proc/38214/task/38257/stat : 38257 (Finalizer) S 38196 38214 36885 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43250499 19521036288 86576 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38272] ppid=38196 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/38214/task/38272/stat : 38272 (Common-Cleaner) S 38196 38214 36885 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 43250499 19521036288 86576 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38277] ppid=38196 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/38214/task/38277/stat : 38277 (Timer-0) S 38196 38214 36885 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43250534 19521036288 86576 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
Current children cumulated CPU time: 5.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 346304 KiB
[startup+6.30023 s]
/proc/loadavg: 1.68 2.42 3.36 5/339 38281
/proc/meminfo: memFree=125393872/131249988 swapFree=33010684/33010684
[pid=38214] ppid=38196 vsize=19063512 memory=848864 CPUtime=9.48 cores=5,7
/proc/38214/stat : 38214 (java) S 38196 38214 36885 0 -1 4194304 24782 0 196 0 927 21 0 0 20 0 20 0 43250495 19521036288 212216 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
/proc/38214/statm: 4765878 212216 5503 1 0 823686 0
[pid=38214/tid=38240] ppid=38196 vsize=19063512 memory=0 CPUtime=5.91 cores=5,7
/proc/38214/task/38240/stat : 38240 (java) R 38196 38214 36885 0 -1 4194368 6863 0 196 0 577 14 0 0 20 0 20 0 43250497 19521036288 212216 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38257] ppid=38196 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/38214/task/38257/stat : 38257 (Finalizer) S 38196 38214 36885 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43250499 19521036288 212216 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38272] ppid=38196 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/38214/task/38272/stat : 38272 (Common-Cleaner) S 38196 38214 36885 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 43250499 19521036288 212216 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38277] ppid=38196 vsize=19063512 memory=206404 CPUtime=0 cores=5,7
/proc/38214/task/38277/stat : 38277 (Timer-0) S 38196 38214 36885 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43250534 19521036288 212216 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
Current children cumulated CPU time: 9.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 848864 KiB
[startup+12.7002 s]
/proc/loadavg: 2.26 2.52 3.39 6/339 38281
/proc/meminfo: memFree=123122844/131249988 swapFree=33010684/33010684
[pid=38214] ppid=38196 vsize=19063512 memory=1359124 CPUtime=16.13 cores=5,7
/proc/38214/stat : 38214 (java) S 38196 38214 36885 0 -1 4194304 25734 0 196 0 1582 31 0 0 20 0 20 0 43250495 19521036288 339781 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
/proc/38214/statm: 4765878 339781 5503 1 0 823690 0
[pid=38214/tid=38240] ppid=38196 vsize=19063512 memory=206404 CPUtime=12.15 cores=5,7
/proc/38214/task/38240/stat : 38240 (java) R 38196 38214 36885 0 -1 4194368 7539 0 196 0 1194 21 0 0 20 0 20 0 43250497 19521036288 339781 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38257] ppid=38196 vsize=19063512 memory=1283144 CPUtime=0 cores=5,7
/proc/38214/task/38257/stat : 38257 (Finalizer) S 38196 38214 36885 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43250499 19521036288 339781 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38272] ppid=38196 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/38214/task/38272/stat : 38272 (Common-Cleaner) S 38196 38214 36885 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 43250499 19521036288 339781 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38277] ppid=38196 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/38214/task/38277/stat : 38277 (Timer-0) S 38196 38214 36885 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43250534 19521036288 339781 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
Current children cumulated CPU time: 16.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1359124 KiB
[startup+25.5002 s]
/proc/loadavg: 2.53 2.57 3.39 7/339 38281
/proc/meminfo: memFree=122318700/131249988 swapFree=33010684/33010684
[pid=38214] ppid=38196 vsize=19063512 memory=1691180 CPUtime=29.21 cores=5,7
/proc/38214/stat : 38214 (java) S 38196 38214 36885 0 -1 4194304 33485 0 196 0 2882 39 0 0 20 0 20 0 43250495 19521036288 422795 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
/proc/38214/statm: 4765878 422795 5535 1 0 823695 0
[pid=38214/tid=38240] ppid=38196 vsize=19063512 memory=1283144 CPUtime=24.73 cores=5,7
/proc/38214/task/38240/stat : 38240 (java) R 38196 38214 36885 0 -1 4194368 10369 0 196 0 2447 26 0 0 20 0 20 0 43250497 19521036288 422795 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38257] ppid=38196 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/38214/task/38257/stat : 38257 (Finalizer) S 38196 38214 36885 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43250499 19521036288 422795 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38272] ppid=38196 vsize=19063512 memory=1373584 CPUtime=0 cores=5,7
/proc/38214/task/38272/stat : 38272 (Common-Cleaner) S 38196 38214 36885 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 43250499 19521036288 422795 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38277] ppid=38196 vsize=19063512 memory=17664 CPUtime=0 cores=5,7
/proc/38214/task/38277/stat : 38277 (Timer-0) S 38196 38214 36885 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43250534 19521036288 422795 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
Current children cumulated CPU time: 29.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1691180 KiB
[startup+51.1059 s]
/proc/loadavg: 3.03 2.69 3.41 5/339 38281
/proc/meminfo: memFree=121212476/131249988 swapFree=33010684/33010684
[pid=38214] ppid=38196 vsize=19063512 memory=2275108 CPUtime=55.24 cores=5,7
/proc/38214/stat : 38214 (java) S 38196 38214 36885 0 -1 4194304 38496 0 196 0 5474 50 0 0 20 0 20 0 43250495 19521036288 568777 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
/proc/38214/statm: 4765878 568777 5535 1 0 823703 0
[pid=38214/tid=38240] ppid=38196 vsize=19063512 memory=2240212 CPUtime=49.78 cores=5,7
/proc/38214/task/38240/stat : 38240 (java) R 38196 38214 36885 0 -1 4194368 12479 0 196 0 4945 33 0 0 20 0 20 0 43250497 19521036288 568777 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38257] ppid=38196 vsize=19063512 memory=2240212 CPUtime=0 cores=5,7
/proc/38214/task/38257/stat : 38257 (Finalizer) S 38196 38214 36885 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43250499 19521036288 568777 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
################
# More data... #
################
/proc/meminfo: memFree=115151564/131249988 swapFree=33010684/33010684
[pid=38214] ppid=38196 vsize=19063512 memory=4524980 CPUtime=3205.09 cores=5,7
/proc/38214/stat : 38214 (java) S 38196 38214 36885 0 -1 4194304 172103 0 196 0 320114 395 0 0 20 0 20 0 43250495 19521036288 1131245 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
/proc/38214/statm: 4765878 1131245 5567 1 0 1142893 0
[pid=38214/tid=38240] ppid=38196 vsize=19063512 memory=3948800 CPUtime=2879.19 cores=5,7
/proc/38214/task/38240/stat : 38240 (java) R 38196 38214 36885 0 -1 4194368 74573 0 196 0 287848 71 0 0 20 0 20 0 43250497 19521036288 1131245 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38257] ppid=38196 vsize=19063512 memory=14344 CPUtime=0 cores=5,7
/proc/38214/task/38257/stat : 38257 (Finalizer) S 38196 38214 36885 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43250499 19521036288 1131245 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38272] ppid=38196 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/38214/task/38272/stat : 38272 (Common-Cleaner) S 38196 38214 36885 0 -1 4194368 1284 0 0 0 0 0 0 0 20 0 20 0 43250499 19521036288 1131245 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38277] ppid=38196 vsize=19063512 memory=4524980 CPUtime=0 cores=5,7
/proc/38214/task/38277/stat : 38277 (Timer-0) S 38196 38214 36885 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43250534 19521036288 1131245 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
Current children cumulated CPU time: 3205.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4524980 KiB
[startup+2982.3 s]
/proc/loadavg: 4.49 4.45 4.42 5/340 38437
/proc/meminfo: memFree=114619980/131249988 swapFree=33010684/33010684
[pid=38214] ppid=38196 vsize=19063512 memory=4524980 CPUtime=3276.6 cores=5,7
/proc/38214/stat : 38214 (java) S 38196 38214 36885 0 -1 4194304 176515 0 196 0 327253 407 0 0 20 0 20 0 43250495 19521036288 1131245 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
/proc/38214/statm: 4765878 1131245 5567 1 0 1142896 0
[pid=38214/tid=38240] ppid=38196 vsize=19063512 memory=4524980 CPUtime=2938.2 cores=5,7
/proc/38214/task/38240/stat : 38240 (java) R 38196 38214 36885 0 -1 4194368 77697 0 196 0 293749 71 0 0 20 0 20 0 43250497 19521036288 1131245 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38257] ppid=38196 vsize=19063512 memory=14344 CPUtime=0 cores=5,7
/proc/38214/task/38257/stat : 38257 (Finalizer) S 38196 38214 36885 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43250499 19521036288 1131245 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38272] ppid=38196 vsize=19063512 memory=6452091038935705660 CPUtime=0 cores=5,7
/proc/38214/task/38272/stat : 38272 (Common-Cleaner) S 38196 38214 36885 0 -1 4194368 1285 0 0 0 0 0 0 0 20 0 20 0 43250499 19521036288 1131245 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38277] ppid=38196 vsize=19063512 memory=4524980 CPUtime=0 cores=5,7
/proc/38214/task/38277/stat : 38277 (Timer-0) S 38196 38214 36885 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43250534 19521036288 1131245 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
Current children cumulated CPU time: 3276.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4524980 KiB
[startup+3042.3 s]
/proc/loadavg: 4.58 4.48 4.43 5/340 38439
/proc/meminfo: memFree=114610656/131249988 swapFree=33010684/33010684
[pid=38214] ppid=38196 vsize=19063512 memory=4524980 CPUtime=3348.29 cores=5,7
/proc/38214/stat : 38214 (java) S 38196 38214 36885 0 -1 4194304 180374 0 196 0 334411 418 0 0 20 0 20 0 43250495 19521036288 1131245 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
/proc/38214/statm: 4765878 1131245 5567 1 0 1142905 0
[pid=38214/tid=38240] ppid=38196 vsize=19063512 memory=5632 CPUtime=2997.32 cores=5,7
/proc/38214/task/38240/stat : 38240 (java) R 38196 38214 36885 0 -1 4194368 80060 0 196 0 299660 72 0 0 20 0 20 0 43250497 19521036288 1131245 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38257] ppid=38196 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/38214/task/38257/stat : 38257 (Finalizer) S 38196 38214 36885 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43250499 19521036288 1131245 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38272] ppid=38196 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/38214/task/38272/stat : 38272 (Common-Cleaner) S 38196 38214 36885 0 -1 4194368 1300 0 0 0 0 0 0 0 20 0 20 0 43250499 19521036288 1131245 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38277] ppid=38196 vsize=19063512 memory=4524980 CPUtime=0 cores=5,7
/proc/38214/task/38277/stat : 38277 (Timer-0) S 38196 38214 36885 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43250534 19521036288 1131245 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
Current children cumulated CPU time: 3348.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4524980 KiB
[startup+3102.3 s]
/proc/loadavg: 4.65 4.51 4.44 5/339 38442
/proc/meminfo: memFree=114602548/131249988 swapFree=33010684/33010684
[pid=38214] ppid=38196 vsize=19063512 memory=4525108 CPUtime=3420.01 cores=5,7
/proc/38214/stat : 38214 (java) S 38196 38214 36885 0 -1 4194304 184351 0 196 0 341573 428 0 0 20 0 20 0 43250495 19521036288 1131277 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
/proc/38214/statm: 4765878 1131277 5567 1 0 1142917 0
[pid=38214/tid=38240] ppid=38196 vsize=19063512 memory=3923672 CPUtime=3056.36 cores=5,7
/proc/38214/task/38240/stat : 38240 (java) R 38196 38214 36885 0 -1 4194368 81292 0 196 0 305564 72 0 0 20 0 20 0 43250497 19521036288 1131277 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38257] ppid=38196 vsize=19063512 memory=4031568 CPUtime=0 cores=5,7
/proc/38214/task/38257/stat : 38257 (Finalizer) S 38196 38214 36885 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43250499 19521036288 1131277 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38272] ppid=38196 vsize=19063512 memory=2760 CPUtime=0 cores=5,7
/proc/38214/task/38272/stat : 38272 (Common-Cleaner) S 38196 38214 36885 0 -1 4194368 1348 0 0 0 0 0 0 0 20 0 20 0 43250499 19521036288 1131277 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38277] ppid=38196 vsize=19063512 memory=4525108 CPUtime=0 cores=5,7
/proc/38214/task/38277/stat : 38277 (Timer-0) S 38196 38214 36885 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43250534 19521036288 1131277 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
Current children cumulated CPU time: 3420.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4525108 KiB
[startup+3162.3 s]
/proc/loadavg: 4.28 4.44 4.43 4/314 38478
/proc/meminfo: memFree=118891784/131249988 swapFree=33010684/33010684
[pid=38214] ppid=38196 vsize=19063512 memory=4525108 CPUtime=3491.49 cores=5,7
/proc/38214/stat : 38214 (java) S 38196 38214 36885 0 -1 4194304 189612 0 196 0 348709 440 0 0 20 0 20 0 43250495 19521036288 1131277 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
/proc/38214/statm: 4765878 1131277 5567 1 0 1142917 0
[pid=38214/tid=38240] ppid=38196 vsize=19063512 memory=3923672 CPUtime=3115.85 cores=5,7
/proc/38214/task/38240/stat : 38240 (java) R 38196 38214 36885 0 -1 4194368 83995 0 196 0 311512 73 0 0 20 0 20 0 43250497 19521036288 1131277 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38257] ppid=38196 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/38214/task/38257/stat : 38257 (Finalizer) S 38196 38214 36885 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43250499 19521036288 1131277 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38272] ppid=38196 vsize=19063512 memory=4525108 CPUtime=0 cores=5,7
/proc/38214/task/38272/stat : 38272 (Common-Cleaner) S 38196 38214 36885 0 -1 4194368 1348 0 0 0 0 0 0 0 20 0 20 0 43250499 19521036288 1131277 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38277] ppid=38196 vsize=19063512 memory=17664 CPUtime=0 cores=5,7
/proc/38214/task/38277/stat : 38277 (Timer-0) S 38196 38214 36885 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43250534 19521036288 1131277 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
Current children cumulated CPU time: 3491.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4525108 KiB
[startup+3222.3 s]
/proc/loadavg: 3.70 4.24 4.36 4/314 38480
/proc/meminfo: memFree=118887924/131249988 swapFree=33010684/33010684
[pid=38214] ppid=38196 vsize=19063512 memory=4525108 CPUtime=3563.07 cores=5,7
/proc/38214/stat : 38214 (java) S 38196 38214 36885 0 -1 4194304 194599 0 196 0 355856 451 0 0 20 0 20 0 43250495 19521036288 1131277 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
/proc/38214/statm: 4765878 1131277 5567 1 0 1142917 0
[pid=38214/tid=38240] ppid=38196 vsize=19063512 memory=4525108 CPUtime=3175.33 cores=5,7
/proc/38214/task/38240/stat : 38240 (java) R 38196 38214 36885 0 -1 4194368 86766 0 196 0 317460 73 0 0 20 0 20 0 43250497 19521036288 1131277 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38257] ppid=38196 vsize=19063512 memory=-6000919481229599852 CPUtime=0 cores=5,7
/proc/38214/task/38257/stat : 38257 (Finalizer) S 38196 38214 36885 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43250499 19521036288 1131277 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38272] ppid=38196 vsize=19063512 memory=17664 CPUtime=0 cores=5,7
/proc/38214/task/38272/stat : 38272 (Common-Cleaner) S 38196 38214 36885 0 -1 4194368 1396 0 0 0 0 0 0 0 20 0 20 0 43250499 19521036288 1131277 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38277] ppid=38196 vsize=19063512 memory=2204 CPUtime=0 cores=5,7
/proc/38214/task/38277/stat : 38277 (Timer-0) S 38196 38214 36885 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43250534 19521036288 1131277 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
Current children cumulated CPU time: 3563.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4525108 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3255.3 s]
/proc/loadavg: 3.45 4.12 4.31 4/314 38481
/proc/meminfo: memFree=118887816/131249988 swapFree=33010684/33010684
[pid=38214] ppid=38196 vsize=19063512 memory=4525108 CPUtime=3600.03 cores=5,7
/proc/38214/stat : 38214 (java) S 38196 38214 36885 0 -1 4194304 194664 0 196 0 359549 454 0 0 20 0 20 0 43250495 19521036288 1131277 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
/proc/38214/statm: 4765878 1131277 5567 1 0 1142917 0
[pid=38214/tid=38240] ppid=38196 vsize=19063512 memory=4525108 CPUtime=3208.07 cores=5,7
/proc/38214/task/38240/stat : 38240 (java) R 38196 38214 36885 0 -1 4194368 86802 0 196 0 320733 74 0 0 20 0 20 0 43250497 19521036288 1131277 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38257] ppid=38196 vsize=19063512 memory=-6000919481229599852 CPUtime=0 cores=5,7
/proc/38214/task/38257/stat : 38257 (Finalizer) S 38196 38214 36885 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43250499 19521036288 1131277 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38272] ppid=38196 vsize=19063512 memory=17664 CPUtime=0 cores=5,7
/proc/38214/task/38272/stat : 38272 (Common-Cleaner) S 38196 38214 36885 0 -1 4194368 1396 0 0 0 0 0 0 0 20 0 20 0 43250499 19521036288 1131277 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38277] ppid=38196 vsize=19063512 memory=4525108 CPUtime=0 cores=5,7
/proc/38214/task/38277/stat : 38277 (Timer-0) S 38196 38214 36885 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43250534 19521036288 1131277 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4525108 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3255.4 s]
# the end of solver process 38214 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.66 s, system=4.56804 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3255.3 s]
/proc/loadavg: 3.45 4.12 4.31 4/314 38481
/proc/meminfo: memFree=118887816/131249988 swapFree=33010684/33010684
[pid=38214] ppid=38196 vsize=19063512 memory=4525108 CPUtime=3600.03 cores=5,7
/proc/38214/stat : 38214 (java) S 38196 38214 36885 0 -1 4194304 194664 0 196 0 359549 454 0 0 20 0 20 0 43250495 19521036288 1131277 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
/proc/38214/statm: 4765878 1131277 5567 1 0 1142917 0
[pid=38214/tid=38240] ppid=38196 vsize=19063512 memory=4525108 CPUtime=3208.07 cores=5,7
/proc/38214/task/38240/stat : 38240 (java) R 38196 38214 36885 0 -1 4194368 86802 0 196 0 320733 74 0 0 20 0 20 0 43250497 19521036288 1131277 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38257] ppid=38196 vsize=19063512 memory=-6000919481229599852 CPUtime=0 cores=5,7
/proc/38214/task/38257/stat : 38257 (Finalizer) S 38196 38214 36885 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43250499 19521036288 1131277 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38272] ppid=38196 vsize=19063512 memory=17664 CPUtime=0 cores=5,7
/proc/38214/task/38272/stat : 38272 (Common-Cleaner) S 38196 38214 36885 0 -1 4194368 1396 0 0 0 0 0 0 0 20 0 20 0 43250499 19521036288 1131277 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
[pid=38214/tid=38277] ppid=38196 vsize=19063512 memory=4525108 CPUtime=0 cores=5,7
/proc/38214/task/38277/stat : 38277 (Timer-0) S 38196 38214 36885 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43250534 19521036288 1131277 18446744073709551615 94341215596544 94341215600240 140737241425536 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94341215608056 94341215608848 94341229871104 140737241430398 140737241430502 140737241430502 140737241436104 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4525108 KiB
Child status: 143
Real time (s): 3255.4
CPU time (s): 3600.23
CPU user time (s): 3595.66
CPU system time (s): 4.56804
CPU usage (%): 110.592
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 4525108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.66
system time used= 4.56804
maximum resident set size= 4525876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 196289
page faults= 196
swaps= 0
block input operations= 0
block output operations= 22056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 129271
involuntary context switches= 42779
# summary of solver processes directly reported to runsolver:
# pid: 38214
# total CPU time (s): 3600.23
# total CPU user time (s): 3595.66
# total CPU system time (s): 4.56804
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.74312 second user time and 16.429 second system time
The end