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 (63261 MiB free)
memory of node 1: 64465 MiB (63913 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4495034-1751159086/watcher-4495034-1751159086 -o /tmp/evaluation-result-4495034-1751159086/solver-4495034-1751159086 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751159086-19279 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4495034-1751159086.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19333, runsolver pid=19324
[startup+0.10006 s]*
/proc/loadavg: 0.89 1.05 1.36 2/295 19363
/proc/meminfo: memFree=130196460/131249996 swapFree=33010684/33010684
[pid=19333] ppid=19324 vsize=18130736 memory=25648 CPUtime=0.01 cores=5,7
/proc/19333/stat : 19333 (java) S 19324 19333 19266 0 -1 4194304 2959 0 145 0 0 1 0 0 20 0 7 0 31587279 18565873664 6412 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 0 0 16784588 0 0 0 17 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
/proc/19333/statm: 4532684 6412 3200 1 0 540973 0
[pid=19333/tid=19340] ppid=19324 vsize=18130736 memory=4026532124 CPUtime=0 cores=5,7
/proc/19333/task/19340/stat : 19340 (java) D 19324 19333 19266 0 -1 4194368 2390 0 148 0 0 0 0 0 20 0 7 0 31587284 18565873664 6444 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16784588 1 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 18130736 KiB
Current children cumulated memory: 25648 KiB
[startup+0.206071 s]*
/proc/loadavg: 0.89 1.05 1.36 7/339 19407
/proc/meminfo: memFree=130131628/131249996 swapFree=33010684/33010684
[pid=19333] ppid=19324 vsize=18930384 memory=51248 CPUtime=0.1 cores=5,7
/proc/19333/stat : 19333 (java) S 19324 19333 19266 0 -1 4194304 5960 0 324 0 8 2 0 0 20 0 18 0 31587279 19384713216 12812 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
/proc/19333/statm: 4732596 12812 5222 1 0 547211 0
[pid=19333/tid=19340] ppid=19324 vsize=18930384 memory=3472328300254200092 CPUtime=0.06 cores=5,7
/proc/19333/task/19340/stat : 19340 (java) R 19324 19333 19266 0 -1 4194368 4764 0 296 0 5 1 0 0 20 0 18 0 31587284 19384713216 12812 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19377] ppid=19324 vsize=18930384 memory=13937 CPUtime=0 cores=5,7
/proc/19333/task/19377/stat : 19377 (Finalizer) S 19324 19333 19266 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 31587294 19384713216 12812 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19404] ppid=19324 vsize=18930384 memory=60684515935208 CPUtime=0 cores=5,7
/proc/19333/task/19404/stat : 19404 (Common-Cleaner) S 19324 19333 19266 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 31587295 19384713216 12812 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51248 KiB
[startup+0.306215 s]*
/proc/loadavg: 0.89 1.05 1.36 12/339 19407
/proc/meminfo: memFree=130093036/131249996 swapFree=33010684/33010684
[pid=19333] ppid=19324 vsize=18930384 memory=61784 CPUtime=0.28 cores=5,7
/proc/19333/stat : 19333 (java) S 19324 19333 19266 0 -1 4194304 6918 0 324 0 25 3 0 0 20 0 18 0 31587279 19384713216 15446 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
/proc/19333/statm: 4732596 15446 5350 1 0 547935 0
[pid=19333/tid=19340] ppid=19324 vsize=18930384 memory=-6000919494231810926 CPUtime=0.15 cores=5,7
/proc/19333/task/19340/stat : 19340 (java) R 19324 19333 19266 0 -1 4194368 5182 0 296 0 14 1 0 0 20 0 18 0 31587284 19384713216 15446 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19377] ppid=19324 vsize=18930384 memory=-4421386509116138086 CPUtime=0 cores=5,7
/proc/19333/task/19377/stat : 19377 (Finalizer) S 19324 19333 19266 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 31587294 19384713216 15446 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19404] ppid=19324 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/19333/task/19404/stat : 19404 (Common-Cleaner) S 19324 19333 19266 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 31587295 19384713216 15446 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61784 KiB
[startup+0.70023 s]
/proc/loadavg: 1.78 1.23 1.41 10/343 19411
/proc/meminfo: memFree=130009608/131249996 swapFree=33010684/33010684
[pid=19333] ppid=19324 vsize=19063512 memory=160908 CPUtime=1.03 cores=5,7
/proc/19333/stat : 19333 (java) S 19324 19333 19266 0 -1 4194304 10023 0 324 0 97 6 0 0 20 0 20 0 31587279 19521036288 40227 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
/proc/19333/statm: 4765878 40227 5414 1 0 550295 0
[pid=19333/tid=19340] ppid=19324 vsize=19063512 memory=17408 CPUtime=0.47 cores=5,7
/proc/19333/task/19340/stat : 19340 (java) R 19324 19333 19266 0 -1 4194368 5323 0 296 0 44 3 0 0 20 0 20 0 31587284 19521036288 40227 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19377] ppid=19324 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/19333/task/19377/stat : 19377 (Finalizer) S 19324 19333 19266 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31587294 19521036288 40227 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19404] ppid=19324 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/19333/task/19404/stat : 19404 (Common-Cleaner) S 19324 19333 19266 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 31587295 19521036288 40227 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19410] ppid=19324 vsize=19063512 memory=2208 CPUtime=0 cores=5,7
/proc/19333/task/19410/stat : 19410 (Timer-0) S 19324 19333 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31587318 19521036288 40227 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 160908 KiB
[startup+1.50021 s]
/proc/loadavg: 1.78 1.23 1.41 10/347 19415
/proc/meminfo: memFree=129642628/131249996 swapFree=33010684/33010684
[pid=19333] ppid=19324 vsize=19063512 memory=216292 CPUtime=2.61 cores=5,7
/proc/19333/stat : 19333 (java) S 19324 19333 19266 0 -1 4194304 21107 0 324 0 253 8 0 0 20 0 20 0 31587279 19521036288 54073 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
/proc/19333/statm: 4765878 54073 5414 1 0 555280 0
[pid=19333/tid=19340] ppid=19324 vsize=19063512 memory=0 CPUtime=1.2 cores=5,7
/proc/19333/task/19340/stat : 19340 (java) R 19324 19333 19266 0 -1 4194368 5581 0 296 0 116 4 0 0 20 0 20 0 31587284 19521036288 54073 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19377] ppid=19324 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/19333/task/19377/stat : 19377 (Finalizer) S 19324 19333 19266 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31587294 19521036288 54073 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19404] ppid=19324 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/19333/task/19404/stat : 19404 (Common-Cleaner) S 19324 19333 19266 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 31587295 19521036288 54073 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19410] ppid=19324 vsize=19063512 memory=2208 CPUtime=0 cores=5,7
/proc/19333/task/19410/stat : 19410 (Timer-0) S 19324 19333 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31587318 19521036288 54073 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
Current children cumulated CPU time: 2.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 216292 KiB
[startup+3.10614 s]
/proc/loadavg: 1.78 1.23 1.41 8/347 19415
/proc/meminfo: memFree=126895072/131249996 swapFree=33010684/33010684
[pid=19333] ppid=19324 vsize=19063512 memory=891508 CPUtime=5.53 cores=5,7
/proc/19333/stat : 19333 (java) S 19324 19333 19266 0 -1 4194304 27608 0 324 0 530 23 0 0 20 0 20 0 31587279 19521036288 222877 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
/proc/19333/statm: 4765878 222877 5446 1 0 725233 0
[pid=19333/tid=19340] ppid=19324 vsize=19063512 memory=0 CPUtime=2.76 cores=5,7
/proc/19333/task/19340/stat : 19340 (java) R 19324 19333 19266 0 -1 4194368 6665 0 296 0 260 16 0 0 20 0 20 0 31587284 19521036288 222877 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19377] ppid=19324 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/19333/task/19377/stat : 19377 (Finalizer) S 19324 19333 19266 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31587294 19521036288 222877 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19404] ppid=19324 vsize=19063512 memory=-6000919489936843630 CPUtime=0 cores=5,7
/proc/19333/task/19404/stat : 19404 (Common-Cleaner) S 19324 19333 19266 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 31587295 19521036288 222877 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19410] ppid=19324 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/19333/task/19410/stat : 19410 (Timer-0) S 19324 19333 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31587318 19521036288 222877 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
Current children cumulated CPU time: 5.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 891508 KiB
[startup+6.30019 s]
/proc/loadavg: 1.96 1.28 1.43 7/347 19415
/proc/meminfo: memFree=124448876/131249996 swapFree=33010684/33010684
[pid=19333] ppid=19324 vsize=19063512 memory=1443020 CPUtime=8.79 cores=5,7
/proc/19333/stat : 19333 (java) S 19324 19333 19266 0 -1 4194304 28139 0 324 0 843 36 0 0 20 0 20 0 31587279 19521036288 360755 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
/proc/19333/statm: 4765878 360755 5446 1 0 725244 0
[pid=19333/tid=19340] ppid=19324 vsize=19063512 memory=0 CPUtime=5.86 cores=5,7
/proc/19333/task/19340/stat : 19340 (java) R 19324 19333 19266 0 -1 4194368 6940 0 296 0 557 29 0 0 20 0 20 0 31587284 19521036288 360755 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19377] ppid=19324 vsize=19063512 memory=1381032 CPUtime=0 cores=5,7
/proc/19333/task/19377/stat : 19377 (Finalizer) S 19324 19333 19266 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31587294 19521036288 360755 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19404] ppid=19324 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/19333/task/19404/stat : 19404 (Common-Cleaner) S 19324 19333 19266 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 31587295 19521036288 360755 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19410] ppid=19324 vsize=19063512 memory=265580 CPUtime=0 cores=5,7
/proc/19333/task/19410/stat : 19410 (Timer-0) S 19324 19333 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31587318 19521036288 360755 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
Current children cumulated CPU time: 8.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1443020 KiB
[startup+12.7002 s]
/proc/loadavg: 2.20 1.34 1.45 9/347 19415
/proc/meminfo: memFree=122781424/131249996 swapFree=33010684/33010684
[pid=19333] ppid=19324 vsize=19063512 memory=1744164 CPUtime=15.26 cores=5,7
/proc/19333/stat : 19333 (java) S 19324 19333 19266 0 -1 4194304 31767 0 324 0 1484 42 0 0 20 0 20 0 31587279 19521036288 436041 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
/proc/19333/statm: 4765878 436041 5446 1 0 725249 0
[pid=19333/tid=19340] ppid=19324 vsize=19063512 memory=265580 CPUtime=12.19 cores=5,7
/proc/19333/task/19340/stat : 19340 (java) R 19324 19333 19266 0 -1 4194368 8623 0 296 0 1185 34 0 0 20 0 20 0 31587284 19521036288 436041 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19377] ppid=19324 vsize=19063512 memory=-6000919489936843630 CPUtime=0 cores=5,7
/proc/19333/task/19377/stat : 19377 (Finalizer) S 19324 19333 19266 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31587294 19521036288 436041 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19404] ppid=19324 vsize=19063512 memory=1742072 CPUtime=0 cores=5,7
/proc/19333/task/19404/stat : 19404 (Common-Cleaner) S 19324 19333 19266 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 31587295 19521036288 436041 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19410] ppid=19324 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/19333/task/19410/stat : 19410 (Timer-0) S 19324 19333 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31587318 19521036288 436041 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
Current children cumulated CPU time: 15.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1744164 KiB
[startup+25.5002 s]
/proc/loadavg: 2.48 1.43 1.48 6/347 19417
/proc/meminfo: memFree=122423220/131249996 swapFree=33010684/33010684
[pid=19333] ppid=19324 vsize=19063512 memory=1760828 CPUtime=28.3 cores=5,7
/proc/19333/stat : 19333 (java) S 19324 19333 19266 0 -1 4194304 38611 0 324 0 2786 44 0 0 20 0 20 0 31587279 19521036288 440207 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
/proc/19333/statm: 4765878 440207 5446 1 0 725297 0
[pid=19333/tid=19340] ppid=19324 vsize=19063512 memory=1742072 CPUtime=24.81 cores=5,7
/proc/19333/task/19340/stat : 19340 (java) R 19324 19333 19266 0 -1 4194368 11616 0 296 0 2447 34 0 0 20 0 20 0 31587284 19521036288 440207 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19377] ppid=19324 vsize=19063512 memory=46336 CPUtime=0 cores=5,7
/proc/19333/task/19377/stat : 19377 (Finalizer) S 19324 19333 19266 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31587294 19521036288 440207 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19404] ppid=19324 vsize=19063512 memory=1756628 CPUtime=0 cores=5,7
/proc/19333/task/19404/stat : 19404 (Common-Cleaner) S 19324 19333 19266 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 31587295 19521036288 440207 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19410] ppid=19324 vsize=19063512 memory=-6000919489936843630 CPUtime=0 cores=5,7
/proc/19333/task/19410/stat : 19410 (Timer-0) S 19324 19333 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31587318 19521036288 440207 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
Current children cumulated CPU time: 28.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1760828 KiB
[startup+51.1063 s]
/proc/loadavg: 3.15 1.69 1.56 6/347 19417
/proc/meminfo: memFree=122312548/131249996 swapFree=33010684/33010684
[pid=19333] ppid=19324 vsize=19063512 memory=1785584 CPUtime=54.44 cores=5,7
/proc/19333/stat : 19333 (java) S 19324 19333 19266 0 -1 4194304 43191 0 325 0 5397 47 0 0 20 0 20 0 31587279 19521036288 446396 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
/proc/19333/statm: 4765878 446396 5446 1 0 725297 0
[pid=19333/tid=19340] ppid=19324 vsize=19063512 memory=1781480 CPUtime=50.08 cores=5,7
/proc/19333/task/19340/stat : 19340 (java) R 19324 19333 19266 0 -1 4194368 12731 0 297 0 4974 34 0 0 20 0 20 0 31587284 19521036288 446396 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19377] ppid=19324 vsize=19063512 memory=1775320 CPUtime=0 cores=5,7
/proc/19333/task/19377/stat : 19377 (Finalizer) S 19324 19333 19266 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31587294 19521036288 446396 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19404] ppid=19324 vsize=19063512 memory=17408 CPUtime=0 cores=5,7
/proc/19333/task/19404/stat : 19404 (Common-Cleaner) S 19324 19333 19266 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 31587295 19521036288 446396 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19410] ppid=19324 vsize=19063512 memory=17408 CPUtime=0 cores=5,7
/proc/19333/task/19410/stat : 19410 (Timer-0) S 19324 19333 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31587318 19521036288 446396 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
Current children cumulated CPU time: 54.44 s
################
# More data... #
################
/proc/meminfo: memFree=120551868/131249996 swapFree=33010684/33010684
[pid=19333] ppid=19324 vsize=19063512 memory=2298708 CPUtime=3229.85 cores=5,7
/proc/19333/stat : 19333 (java) S 19324 19333 19266 0 -1 4194304 96614 0 325 0 322840 145 0 0 20 0 20 0 31587279 19521036288 574677 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
/proc/19333/statm: 4765878 574677 5446 1 0 725458 0
[pid=19333/tid=19340] ppid=19324 vsize=19063512 memory=2298708 CPUtime=3197.82 cores=5,7
/proc/19333/task/19340/stat : 19340 (java) R 19324 19333 19266 0 -1 4194368 47074 0 297 0 319739 43 0 0 20 0 20 0 31587284 19521036288 574677 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19377] ppid=19324 vsize=19063512 memory=2286404 CPUtime=0 cores=5,7
/proc/19333/task/19377/stat : 19377 (Finalizer) S 19324 19333 19266 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31587294 19521036288 574677 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19404] ppid=19324 vsize=19063512 memory=2294612 CPUtime=0 cores=5,7
/proc/19333/task/19404/stat : 19404 (Common-Cleaner) S 19324 19333 19266 0 -1 4194368 1804 0 0 0 0 0 0 0 20 0 20 0 31587295 19521036288 574677 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19410] ppid=19324 vsize=19063512 memory=2298708 CPUtime=0 cores=5,7
/proc/19333/task/19410/stat : 19410 (Timer-0) S 19324 19333 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31587318 19521036288 574677 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
Current children cumulated CPU time: 3229.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2298708 KiB
[startup+3282.3 s]
/proc/loadavg: 4.43 4.23 4.12 6/340 19713
/proc/meminfo: memFree=120530396/131249996 swapFree=33010684/33010684
[pid=19333] ppid=19324 vsize=19063512 memory=2302884 CPUtime=3289.92 cores=5,7
/proc/19333/stat : 19333 (java) S 19324 19333 19266 0 -1 4194304 98670 0 325 0 328844 148 0 0 20 0 20 0 31587279 19521036288 575721 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
/proc/19333/statm: 4765878 575721 5446 1 0 725474 0
[pid=19333/tid=19340] ppid=19324 vsize=19063512 memory=2302884 CPUtime=3257.42 cores=5,7
/proc/19333/task/19340/stat : 19340 (java) R 19324 19333 19266 0 -1 4194368 48446 0 297 0 325698 44 0 0 20 0 20 0 31587284 19521036288 575721 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19377] ppid=19324 vsize=19063512 memory=2302884 CPUtime=0 cores=5,7
/proc/19333/task/19377/stat : 19377 (Finalizer) S 19324 19333 19266 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31587294 19521036288 575721 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19404] ppid=19324 vsize=19063512 memory=2300836 CPUtime=0 cores=5,7
/proc/19333/task/19404/stat : 19404 (Common-Cleaner) S 19324 19333 19266 0 -1 4194368 1804 0 0 0 0 0 0 0 20 0 20 0 31587295 19521036288 575721 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19410] ppid=19324 vsize=19063512 memory=17408 CPUtime=0 cores=5,7
/proc/19333/task/19410/stat : 19410 (Timer-0) S 19324 19333 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31587318 19521036288 575721 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
Current children cumulated CPU time: 3289.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2302884 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.20 4.11 6/339 19716
/proc/meminfo: memFree=120523148/131249996 swapFree=33010684/33010684
[pid=19333] ppid=19324 vsize=19063512 memory=2306984 CPUtime=3350 cores=5,7
/proc/19333/stat : 19333 (java) S 19324 19333 19266 0 -1 4194304 98989 0 325 0 334851 149 0 0 20 0 20 0 31587279 19521036288 576746 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
/proc/19333/statm: 4765878 576746 5446 1 0 725474 0
[pid=19333/tid=19340] ppid=19324 vsize=19063512 memory=2306984 CPUtime=3317 cores=5,7
/proc/19333/task/19340/stat : 19340 (java) R 19324 19333 19266 0 -1 4194368 48573 0 297 0 331656 44 0 0 20 0 20 0 31587284 19521036288 576746 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19377] ppid=19324 vsize=19063512 memory=17408 CPUtime=0 cores=5,7
/proc/19333/task/19377/stat : 19377 (Finalizer) S 19324 19333 19266 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31587294 19521036288 576746 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19404] ppid=19324 vsize=19063512 memory=-6000919489936843630 CPUtime=0 cores=5,7
/proc/19333/task/19404/stat : 19404 (Common-Cleaner) S 19324 19333 19266 0 -1 4194368 1872 0 0 0 0 0 0 0 20 0 20 0 31587295 19521036288 576746 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19410] ppid=19324 vsize=19063512 memory=2306984 CPUtime=0 cores=5,7
/proc/19333/task/19410/stat : 19410 (Timer-0) S 19324 19333 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31587318 19521036288 576746 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
Current children cumulated CPU time: 3350 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2306984 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.18 4.10 6/339 19729
/proc/meminfo: memFree=120506916/131249996 swapFree=33010684/33010684
[pid=19333] ppid=19324 vsize=19063512 memory=2313188 CPUtime=3410.1 cores=5,7
/proc/19333/stat : 19333 (java) S 19324 19333 19266 0 -1 4194304 99320 0 325 0 340859 151 0 0 20 0 20 0 31587279 19521036288 578297 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
/proc/19333/statm: 4765878 578297 5446 1 0 725474 0
[pid=19333/tid=19340] ppid=19324 vsize=19063512 memory=2306984 CPUtime=3376.54 cores=5,7
/proc/19333/task/19340/stat : 19340 (java) R 19324 19333 19266 0 -1 4194368 48858 0 297 0 337610 44 0 0 20 0 20 0 31587284 19521036288 578297 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19377] ppid=19324 vsize=19063512 memory=2311140 CPUtime=0 cores=5,7
/proc/19333/task/19377/stat : 19377 (Finalizer) S 19324 19333 19266 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31587294 19521036288 578297 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19404] ppid=19324 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/19333/task/19404/stat : 19404 (Common-Cleaner) S 19324 19333 19266 0 -1 4194368 1872 0 0 0 0 0 0 0 20 0 20 0 31587295 19521036288 578297 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19410] ppid=19324 vsize=19063512 memory=17408 CPUtime=0 cores=5,7
/proc/19333/task/19410/stat : 19410 (Timer-0) S 19324 19333 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31587318 19521036288 578297 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
Current children cumulated CPU time: 3410.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2313188 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.16 4.10 6/339 19731
/proc/meminfo: memFree=120478308/131249996 swapFree=33010684/33010684
[pid=19333] ppid=19324 vsize=19063512 memory=2319332 CPUtime=3470.15 cores=5,7
/proc/19333/stat : 19333 (java) S 19324 19333 19266 0 -1 4194304 100731 0 325 0 346862 153 0 0 20 0 20 0 31587279 19521036288 579833 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
/proc/19333/statm: 4765878 579833 5446 1 0 725474 0
[pid=19333/tid=19340] ppid=19324 vsize=19063512 memory=2306984 CPUtime=3436.07 cores=5,7
/proc/19333/task/19340/stat : 19340 (java) R 19324 19333 19266 0 -1 4194368 49910 0 297 0 343563 44 0 0 20 0 20 0 31587284 19521036288 579833 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19377] ppid=19324 vsize=19063512 memory=2311140 CPUtime=0 cores=5,7
/proc/19333/task/19377/stat : 19377 (Finalizer) S 19324 19333 19266 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31587294 19521036288 579833 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19404] ppid=19324 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/19333/task/19404/stat : 19404 (Common-Cleaner) S 19324 19333 19266 0 -1 4194368 1872 0 0 0 0 0 0 0 20 0 20 0 31587295 19521036288 579833 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19410] ppid=19324 vsize=19063512 memory=2317284 CPUtime=0 cores=5,7
/proc/19333/task/19410/stat : 19410 (Timer-0) S 19324 19333 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31587318 19521036288 579833 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
Current children cumulated CPU time: 3470.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2319332 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.14 4.09 6/341 19737
/proc/meminfo: memFree=120446976/131249996 swapFree=33010684/33010684
[pid=19333] ppid=19324 vsize=19063512 memory=2321508 CPUtime=3530.24 cores=5,7
/proc/19333/stat : 19333 (java) S 19324 19333 19266 0 -1 4194304 101863 0 325 0 352869 155 0 0 20 0 20 0 31587279 19521036288 580377 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
/proc/19333/statm: 4765878 580377 5446 1 0 725528 0
[pid=19333/tid=19340] ppid=19324 vsize=19063512 memory=2317284 CPUtime=3495.65 cores=5,7
/proc/19333/task/19340/stat : 19340 (java) R 19324 19333 19266 0 -1 4194368 50866 0 297 0 349521 44 0 0 20 0 20 0 31587284 19521036288 580377 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19377] ppid=19324 vsize=19063512 memory=2319332 CPUtime=0 cores=5,7
/proc/19333/task/19377/stat : 19377 (Finalizer) S 19324 19333 19266 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31587294 19521036288 580377 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19404] ppid=19324 vsize=19063512 memory=14572 CPUtime=0 cores=5,7
/proc/19333/task/19404/stat : 19404 (Common-Cleaner) S 19324 19333 19266 0 -1 4194368 1960 0 0 0 0 0 0 0 20 0 20 0 31587295 19521036288 580377 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19410] ppid=19324 vsize=19063512 memory=2321508 CPUtime=0 cores=5,7
/proc/19333/task/19410/stat : 19410 (Timer-0) S 19324 19333 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31587318 19521036288 580377 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
Current children cumulated CPU time: 3530.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2321508 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.13 4.09 6/341 19743
/proc/meminfo: memFree=120411840/131249996 swapFree=33010684/33010684
[pid=19333] ppid=19324 vsize=19063512 memory=2325672 CPUtime=3590.34 cores=5,7
/proc/19333/stat : 19333 (java) S 19324 19333 19266 0 -1 4194304 102709 0 325 0 358877 157 0 0 20 0 20 0 31587279 19521036288 581418 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
/proc/19333/statm: 4765878 581418 5446 1 0 725528 0
[pid=19333/tid=19340] ppid=19324 vsize=19063512 memory=2323600 CPUtime=3555.23 cores=5,7
/proc/19333/task/19340/stat : 19340 (java) R 19324 19333 19266 0 -1 4194368 51344 0 297 0 355479 44 0 0 20 0 20 0 31587284 19521036288 581418 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19377] ppid=19324 vsize=19063512 memory=2325672 CPUtime=0 cores=5,7
/proc/19333/task/19377/stat : 19377 (Finalizer) S 19324 19333 19266 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31587294 19521036288 581418 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19404] ppid=19324 vsize=19063512 memory=2325672 CPUtime=0 cores=5,7
/proc/19333/task/19404/stat : 19404 (Common-Cleaner) S 19324 19333 19266 0 -1 4194368 2002 0 0 0 0 0 0 0 20 0 20 0 31587295 19521036288 581418 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19410] ppid=19324 vsize=19063512 memory=4480 CPUtime=0 cores=5,7
/proc/19333/task/19410/stat : 19410 (Timer-0) S 19324 19333 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31587318 19521036288 581418 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
Current children cumulated CPU time: 3590.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2325672 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3592 s]*
/proc/loadavg: 4.37 4.19 4.11 6/341 19877
/proc/meminfo: memFree=124495692/131249996 swapFree=33010684/33010684
[pid=19333] ppid=19324 vsize=19063512 memory=2325672 CPUtime=3600.05 cores=5,7
/proc/19333/stat : 19333 (java) S 19324 19333 19266 0 -1 4194304 102718 0 325 0 359848 157 0 0 20 0 20 0 31587279 19521036288 581418 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
/proc/19333/statm: 4765878 581418 5446 1 0 725528 0
[pid=19333/tid=19340] ppid=19324 vsize=19063512 memory=-6000919489886184302 CPUtime=3564.88 cores=5,7
/proc/19333/task/19340/stat : 19340 (java) R 19324 19333 19266 0 -1 4194368 51348 0 297 0 356444 44 0 0 20 0 20 0 31587284 19521036288 581418 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19377] ppid=19324 vsize=19063512 memory=3456 CPUtime=0 cores=5,7
/proc/19333/task/19377/stat : 19377 (Finalizer) S 19324 19333 19266 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31587294 19521036288 581418 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19404] ppid=19324 vsize=19063512 memory=1920 CPUtime=0 cores=5,7
/proc/19333/task/19404/stat : 19404 (Common-Cleaner) S 19324 19333 19266 0 -1 4194368 2002 0 0 0 0 0 0 0 20 0 20 0 31587295 19521036288 581418 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
[pid=19333/tid=19410] ppid=19324 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/19333/task/19410/stat : 19410 (Timer-0) S 19324 19333 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31587318 19521036288 581418 18446744073709551615 94043988746240 94043988749936 140732864513664 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94043988757752 94043988758544 94044009426944 140732864522622 140732864522726 140732864522726 140732864528328 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2325672 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3592.1 s]
# the end of solver process 19333 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.64 s, system=1.58646 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3592.1
CPU time (s): 3600.23
CPU user time (s): 3598.64
CPU system time (s): 1.58646
CPU usage (%): 100.226
Max. virtual memory (cumulated for all children) (KiB): 19065376
Max. memory (cumulated for all children) (KiB): 2325672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.64
system time used= 1.58646
maximum resident set size= 2326568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105098
page faults= 325
swaps= 0
block input operations= 7288
block output operations= 7256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 136511
involuntary context switches= 23976
# summary of solver processes directly reported to runsolver:
# pid: 19333
# total CPU time (s): 3600.23
# total CPU user time (s): 3598.64
# total CPU system time (s): 1.58646
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.99405 second user time and 18.0311 second system time
The end