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-4494998-1751159086/watcher-4494998-1751159086 -o /tmp/evaluation-result-4494998-1751159086/solver-4494998-1751159086 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751159086-19276 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4494998-1751159086.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Starti5.14.0-503.14.1.el9_5.x86_64
Starti5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB
solver pid=19327, runsolver pid=19318
[startup+0.100059 s]*
/proc/loadavg: 0.89 1.05 1.36 2/295 19363
/proc/meminfo: memFree=130207024/131249996 swapFree=33010684/33010684
[pid=19327] ppid=19318 vsize=18130736 memory=20692 CPUtime=0.01 cores=0,2
/proc/19327/stat : 19327 (java) S 19318 19327 19266 0 -1 4194304 1784 0 163 0 0 1 0 0 20 0 7 0 31587277 18565873664 5173 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 0 0 16784588 0 0 0 17 2 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
/proc/19327/statm: 4532684 5173 3168 1 0 540973 0
[pid=19327/tid=19338] ppid=19318 vsize=18130736 memory=4026532124 CPUtime=0 cores=0,2
/proc/19327/task/19338/stat : 19338 (java) D 19318 19327 19266 0 -1 4194368 1225 0 92 0 0 0 0 0 20 0 7 0 31587283 18565873664 5173 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16784588 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 18130736 KiB
Current children cumulated memory: 20692 KiB
[startup+0.205514 s]*
/proc/loadavg: 0.89 1.05 1.36 11/339 19407
/proc/meminfo: memFree=130138736/131249996 swapFree=33010684/33010684
[pid=19327] ppid=19318 vsize=18930384 memory=48500 CPUtime=0.07 cores=0,2
/proc/19327/stat : 19327 (java) S 19318 19327 19266 0 -1 4194304 5718 0 442 0 5 2 0 0 20 0 18 0 31587277 19384713216 12125 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
/proc/19327/statm: 4732596 12125 5196 1 0 547104 0
[pid=19327/tid=19338] ppid=19318 vsize=18930384 memory=3472328132922704156 CPUtime=0.04 cores=0,2
/proc/19327/task/19338/stat : 19338 (java) R 19318 19327 19266 0 -1 4194368 4602 0 338 0 3 1 0 0 20 0 18 0 31587283 19384713216 12125 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19378] ppid=19318 vsize=18930384 memory=13937 CPUtime=0 cores=0,2
/proc/19327/task/19378/stat : 19378 (Finalizer) S 19318 19327 19266 0 -1 4194368 25 0 1 0 0 0 0 0 20 0 18 0 31587294 19384713216 12125 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19405] ppid=19318 vsize=18930384 memory=60684515935208 CPUtime=0 cores=0,2
/proc/19327/task/19405/stat : 19405 (Common-Cleaner) S 19318 19327 19266 0 -1 4194368 27 0 1 0 0 0 0 0 20 0 18 0 31587295 19384713216 12125 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48500 KiB
[startup+0.305406 s]*
/proc/loadavg: 0.89 1.05 1.36 12/339 19407
/proc/meminfo: memFree=130097132/131249996 swapFree=33010684/33010684
[pid=19327] ppid=19318 vsize=18930384 memory=61276 CPUtime=0.23 cores=0,2
/proc/19327/stat : 19327 (java) S 19318 19327 19266 0 -1 4194304 6765 0 451 0 20 3 0 0 20 0 18 0 31587277 19384713216 15319 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
/proc/19327/statm: 4732596 15319 5324 1 0 547903 0
[pid=19327/tid=19338] ppid=19318 vsize=18930384 memory=-6000919494231810926 CPUtime=0.13 cores=0,2
/proc/19327/task/19338/stat : 19338 (java) R 19318 19327 19266 0 -1 4194368 5133 0 344 0 11 2 0 0 20 0 18 0 31587283 19384713216 15319 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19378] ppid=19318 vsize=18930384 memory=-4421386509116138086 CPUtime=0 cores=0,2
/proc/19327/task/19378/stat : 19378 (Finalizer) S 19318 19327 19266 0 -1 4194368 25 0 1 0 0 0 0 0 20 0 18 0 31587294 19384713216 15319 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19405] ppid=19318 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/19327/task/19405/stat : 19405 (Common-Cleaner) S 19318 19327 19266 0 -1 4194368 27 0 1 0 0 0 0 0 20 0 18 0 31587295 19384713216 15319 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61276 KiB
[startup+0.70024 s]
/proc/loadavg: 1.78 1.23 1.41 10/343 19411
/proc/meminfo: memFree=130027756/131249996 swapFree=33010684/33010684
[pid=19327] ppid=19318 vsize=19063512 memory=163256 CPUtime=0.99 cores=0,2
/proc/19327/stat : 19327 (java) S 19318 19327 19266 0 -1 4194304 10959 0 457 0 92 7 0 0 20 0 20 0 31587277 19521036288 40814 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
/proc/19327/statm: 4765878 40814 5388 1 0 550445 0
[pid=19327/tid=19338] ppid=19318 vsize=19063512 memory=17408 CPUtime=0.46 cores=0,2
/proc/19327/task/19338/stat : 19338 (java) R 19318 19327 19266 0 -1 4194368 5297 0 345 0 42 4 0 0 20 0 20 0 31587283 19521036288 40814 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19378] ppid=19318 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/19327/task/19378/stat : 19378 (Finalizer) S 19318 19327 19266 0 -1 4194368 25 0 1 0 0 0 0 0 20 0 20 0 31587294 19521036288 40814 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19405] ppid=19318 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/19327/task/19405/stat : 19405 (Common-Cleaner) R 19318 19327 19266 0 -1 4194368 27 0 1 0 0 0 0 0 20 0 20 0 31587295 19521036288 40814 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19408] ppid=19318 vsize=19063512 memory=2208 CPUtime=0 cores=0,2
/proc/19327/task/19408/stat : 19408 (Timer-0) S 19318 19327 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31587316 19521036288 40814 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 163256 KiB
[startup+1.50024 s]
/proc/loadavg: 1.78 1.23 1.41 9/347 19415
/proc/meminfo: memFree=129642628/131249996 swapFree=33010684/33010684
[pid=19327] ppid=19318 vsize=19063512 memory=249792 CPUtime=2.54 cores=0,2
/proc/19327/stat : 19327 (java) S 19318 19327 19266 0 -1 4194304 23428 0 457 0 244 10 0 0 20 0 20 0 31587277 19521036288 62448 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
/proc/19327/statm: 4765878 62448 5388 1 0 555519 0
[pid=19327/tid=19338] ppid=19318 vsize=19063512 memory=0 CPUtime=1.19 cores=0,2
/proc/19327/task/19338/stat : 19338 (java) R 19318 19327 19266 0 -1 4194368 5561 0 345 0 114 5 0 0 20 0 20 0 31587283 19521036288 62448 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19378] ppid=19318 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/19327/task/19378/stat : 19378 (Finalizer) S 19318 19327 19266 0 -1 4194368 25 0 1 0 0 0 0 0 20 0 20 0 31587294 19521036288 62448 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19405] ppid=19318 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/19327/task/19405/stat : 19405 (Common-Cleaner) S 19318 19327 19266 0 -1 4194368 28 0 1 0 0 0 0 0 20 0 20 0 31587295 19521036288 62448 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19408] ppid=19318 vsize=19063512 memory=2208 CPUtime=0 cores=0,2
/proc/19327/task/19408/stat : 19408 (Timer-0) S 19318 19327 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31587316 19521036288 62448 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
Current children cumulated CPU time: 2.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 249792 KiB
[startup+3.10571 s]
/proc/loadavg: 1.78 1.23 1.41 7/347 19415
/proc/meminfo: memFree=126931936/131249996 swapFree=33010684/33010684
[pid=19327] ppid=19318 vsize=19063512 memory=900120 CPUtime=5.54 cores=0,2
/proc/19327/stat : 19327 (java) S 19318 19327 19266 0 -1 4194304 29092 0 457 0 531 23 0 0 20 0 20 0 31587277 19521036288 225030 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
/proc/19327/statm: 4765878 225030 5388 1 0 908826 0
[pid=19327/tid=19338] ppid=19318 vsize=19063512 memory=0 CPUtime=2.7 cores=0,2
/proc/19327/task/19338/stat : 19338 (java) R 19318 19327 19266 0 -1 4194368 6490 0 345 0 254 16 0 0 20 0 20 0 31587283 19521036288 225030 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19378] ppid=19318 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/19327/task/19378/stat : 19378 (Finalizer) S 19318 19327 19266 0 -1 4194368 25 0 1 0 0 0 0 0 20 0 20 0 31587294 19521036288 225030 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19405] ppid=19318 vsize=19063512 memory=-6000919472773751662 CPUtime=0 cores=0,2
/proc/19327/task/19405/stat : 19405 (Common-Cleaner) S 19318 19327 19266 0 -1 4194368 28 0 1 0 0 0 0 0 20 0 20 0 31587295 19521036288 225030 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19408] ppid=19318 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/19327/task/19408/stat : 19408 (Timer-0) S 19318 19327 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31587316 19521036288 225030 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
Current children cumulated CPU time: 5.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 900120 KiB
[startup+6.30024 s]
/proc/loadavg: 1.96 1.28 1.43 5/347 19415
/proc/meminfo: memFree=124457068/131249996 swapFree=33010684/33010684
[pid=19327] ppid=19318 vsize=19063512 memory=1640476 CPUtime=8.98 cores=0,2
/proc/19327/stat : 19327 (java) S 19318 19327 19266 0 -1 4194304 30273 0 457 0 860 38 0 0 20 0 20 0 31587277 19521036288 410119 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
/proc/19327/statm: 4765878 410119 5388 1 0 908830 0
[pid=19327/tid=19338] ppid=19318 vsize=19063512 memory=0 CPUtime=5.87 cores=0,2
/proc/19327/task/19338/stat : 19338 (java) R 19318 19327 19266 0 -1 4194368 7216 0 345 0 556 31 0 0 20 0 20 0 31587283 19521036288 410119 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19378] ppid=19318 vsize=19063512 memory=1199288 CPUtime=0 cores=0,2
/proc/19327/task/19378/stat : 19378 (Finalizer) S 19318 19327 19266 0 -1 4194368 25 0 1 0 0 0 0 0 20 0 20 0 31587294 19521036288 410119 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19405] ppid=19318 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/19327/task/19405/stat : 19405 (Common-Cleaner) S 19318 19327 19266 0 -1 4194368 28 0 1 0 0 0 0 0 20 0 20 0 31587295 19521036288 410119 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19408] ppid=19318 vsize=19063512 memory=302040 CPUtime=0 cores=0,2
/proc/19327/task/19408/stat : 19408 (Timer-0) S 19318 19327 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31587316 19521036288 410119 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
Current children cumulated CPU time: 8.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1640476 KiB
[startup+12.7002 s]
/proc/loadavg: 2.20 1.34 1.45 5/347 19415
/proc/meminfo: memFree=122781424/131249996 swapFree=33010684/33010684
[pid=19327] ppid=19318 vsize=19063512 memory=2173036 CPUtime=15.46 cores=0,2
/proc/19327/stat : 19327 (java) S 19318 19327 19266 0 -1 4194304 31387 0 457 0 1497 49 0 0 20 0 20 0 31587277 19521036288 543259 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
/proc/19327/statm: 4765878 543259 5388 1 0 908837 0
[pid=19327/tid=19338] ppid=19318 vsize=19063512 memory=302040 CPUtime=12.2 cores=0,2
/proc/19327/task/19338/stat : 19338 (java) R 19318 19327 19266 0 -1 4194368 8144 0 345 0 1178 42 0 0 20 0 20 0 31587283 19521036288 543259 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19378] ppid=19318 vsize=19063512 memory=-6000919472773751662 CPUtime=0 cores=0,2
/proc/19327/task/19378/stat : 19378 (Finalizer) S 19318 19327 19266 0 -1 4194368 25 0 1 0 0 0 0 0 20 0 20 0 31587294 19521036288 543259 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19405] ppid=19318 vsize=19063512 memory=2173036 CPUtime=0 cores=0,2
/proc/19327/task/19405/stat : 19405 (Common-Cleaner) S 19318 19327 19266 0 -1 4194368 28 0 1 0 0 0 0 0 20 0 20 0 31587295 19521036288 543259 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19408] ppid=19318 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/19327/task/19408/stat : 19408 (Timer-0) S 19318 19327 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31587316 19521036288 543259 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
Current children cumulated CPU time: 15.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173036 KiB
[startup+25.5002 s]
/proc/loadavg: 2.48 1.43 1.48 5/347 19417
/proc/meminfo: memFree=122423220/131249996 swapFree=33010684/33010684
[pid=19327] ppid=19318 vsize=19063512 memory=2190516 CPUtime=28.6 cores=0,2
/proc/19327/stat : 19327 (java) S 19318 19327 19266 0 -1 4194304 41405 0 457 0 2809 51 0 0 20 0 20 0 31587277 19521036288 547629 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
/proc/19327/statm: 4765878 547629 5388 1 0 908863 0
[pid=19327/tid=19338] ppid=19318 vsize=19063512 memory=2173036 CPUtime=24.86 cores=0,2
/proc/19327/task/19338/stat : 19338 (java) R 19318 19327 19266 0 -1 4194368 10380 0 345 0 2444 42 0 0 20 0 20 0 31587283 19521036288 547629 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19378] ppid=19318 vsize=19063512 memory=46336 CPUtime=0 cores=0,2
/proc/19327/task/19378/stat : 19378 (Finalizer) S 19318 19327 19266 0 -1 4194368 25 0 1 0 0 0 0 0 20 0 20 0 31587294 19521036288 547629 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19405] ppid=19318 vsize=19063512 memory=2190516 CPUtime=0 cores=0,2
/proc/19327/task/19405/stat : 19405 (Common-Cleaner) S 19318 19327 19266 0 -1 4194368 28 0 1 0 0 0 0 0 20 0 20 0 31587295 19521036288 547629 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19408] ppid=19318 vsize=19063512 memory=-6000919472773751662 CPUtime=0 cores=0,2
/proc/19327/task/19408/stat : 19408 (Timer-0) S 19318 19327 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31587316 19521036288 547629 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
Current children cumulated CPU time: 28.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2190516 KiB
[startup+51.1058 s]
/proc/loadavg: 3.15 1.69 1.56 5/347 19417
/proc/meminfo: memFree=122312548/131249996 swapFree=33010684/33010684
[pid=19327] ppid=19318 vsize=19063512 memory=2219616 CPUtime=54.7 cores=0,2
/proc/19327/stat : 19327 (java) S 19318 19327 19266 0 -1 4194304 46253 0 457 0 5417 53 0 0 20 0 20 0 31587277 19521036288 554904 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
/proc/19327/statm: 4765878 554904 5388 1 0 908911 0
[pid=19327/tid=19338] ppid=19318 vsize=19063512 memory=2213420 CPUtime=50.12 cores=0,2
/proc/19327/task/19338/stat : 19338 (java) R 19318 19327 19266 0 -1 4194368 12587 0 345 0 4970 42 0 0 20 0 20 0 31587283 19521036288 554904 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19378] ppid=19318 vsize=19063512 memory=2213420 CPUtime=0 cores=0,2
/proc/19327/task/19378/stat : 19378 (Finalizer) S 19318 19327 19266 0 -1 4194368 25 0 1 0 0 0 0 0 20 0 20 0 31587294 19521036288 554904 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19405] ppid=19318 vsize=19063512 memory=17408 CPUtime=0 cores=0,2
/proc/19327/task/19405/stat : 19405 (Common-Cleaner) S 19318 19327 19266 0 -1 4194368 44 0 1 0 0 0 0 0 20 0 20 0 31587295 19521036288 554904 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19408] ppid=19318 vsize=19063512 memory=17408 CPUtime=0 cores=0,2
/proc/19327/task/19408/stat : 19408 (Timer-0) S 19318 19327 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31587316 19521036288 554904 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
################
# More data... #
################
/proc/meminfo: memFree=120551868/131249996 swapFree=33010684/33010684
[pid=19327] ppid=19318 vsize=19063512 memory=2806004 CPUtime=3232.55 cores=0,2
/proc/19327/stat : 19327 (java) S 19318 19327 19266 0 -1 4194304 126494 0 457 0 323076 179 0 0 20 0 20 0 31587277 19521036288 701501 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
/proc/19327/statm: 4765878 701501 5388 1 0 914711 0
[pid=19327/tid=19338] ppid=19318 vsize=19063512 memory=2803952 CPUtime=3200.43 cores=0,2
/proc/19327/task/19338/stat : 19338 (java) R 19318 19327 19266 0 -1 4194368 57254 0 345 0 319984 59 0 0 20 0 20 0 31587283 19521036288 701501 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19378] ppid=19318 vsize=19063512 memory=2791640 CPUtime=0 cores=0,2
/proc/19327/task/19378/stat : 19378 (Finalizer) S 19318 19327 19266 0 -1 4194368 25 0 1 0 0 0 0 0 20 0 20 0 31587294 19521036288 701501 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19405] ppid=19318 vsize=19063512 memory=2791640 CPUtime=0 cores=0,2
/proc/19327/task/19405/stat : 19405 (Common-Cleaner) S 19318 19327 19266 0 -1 4194368 1749 0 1 0 0 0 0 0 20 0 20 0 31587295 19521036288 701501 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19408] ppid=19318 vsize=19063512 memory=2803952 CPUtime=0 cores=0,2
/proc/19327/task/19408/stat : 19408 (Timer-0) S 19318 19327 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31587316 19521036288 701501 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
Current children cumulated CPU time: 3232.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2806004 KiB
[startup+3282.3 s]
/proc/loadavg: 4.43 4.23 4.12 5/340 19713
/proc/meminfo: memFree=120530396/131249996 swapFree=33010684/33010684
[pid=19327] ppid=19318 vsize=19063512 memory=2812164 CPUtime=3292.66 cores=0,2
/proc/19327/stat : 19327 (java) S 19318 19327 19266 0 -1 4194304 128695 0 457 0 329085 181 0 0 20 0 20 0 31587277 19521036288 703041 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
/proc/19327/statm: 4765878 703041 5388 1 0 914724 0
[pid=19327/tid=19338] ppid=19318 vsize=19063512 memory=2810108 CPUtime=3260.06 cores=0,2
/proc/19327/task/19338/stat : 19338 (java) R 19318 19327 19266 0 -1 4194368 58652 0 345 0 325947 59 0 0 20 0 20 0 31587283 19521036288 703041 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19378] ppid=19318 vsize=19063512 memory=2810108 CPUtime=0 cores=0,2
/proc/19327/task/19378/stat : 19378 (Finalizer) S 19318 19327 19266 0 -1 4194368 25 0 1 0 0 0 0 0 20 0 20 0 31587294 19521036288 703041 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19405] ppid=19318 vsize=19063512 memory=2810108 CPUtime=0 cores=0,2
/proc/19327/task/19405/stat : 19405 (Common-Cleaner) S 19318 19327 19266 0 -1 4194368 1840 0 1 0 0 0 0 0 20 0 20 0 31587295 19521036288 703041 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19408] ppid=19318 vsize=19063512 memory=2812164 CPUtime=0 cores=0,2
/proc/19327/task/19408/stat : 19408 (Timer-0) S 19318 19327 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31587316 19521036288 703041 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
Current children cumulated CPU time: 3292.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2812164 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.20 4.11 5/339 19716
/proc/meminfo: memFree=120523148/131249996 swapFree=33010684/33010684
[pid=19327] ppid=19318 vsize=19063512 memory=2816328 CPUtime=3352.76 cores=0,2
/proc/19327/stat : 19327 (java) S 19318 19327 19266 0 -1 4194304 131334 0 457 0 335093 183 0 0 20 0 20 0 31587277 19521036288 704082 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
/proc/19327/statm: 4765878 704082 5388 1 0 914724 0
[pid=19327/tid=19338] ppid=19318 vsize=19063512 memory=2816328 CPUtime=3319.7 cores=0,2
/proc/19327/task/19338/stat : 19338 (java) R 19318 19327 19266 0 -1 4194368 59825 0 345 0 331910 60 0 0 20 0 20 0 31587283 19521036288 704082 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19378] ppid=19318 vsize=19063512 memory=2816328 CPUtime=0 cores=0,2
/proc/19327/task/19378/stat : 19378 (Finalizer) S 19318 19327 19266 0 -1 4194368 25 0 1 0 0 0 0 0 20 0 20 0 31587294 19521036288 704082 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19405] ppid=19318 vsize=19063512 memory=2816328 CPUtime=0 cores=0,2
/proc/19327/task/19405/stat : 19405 (Common-Cleaner) S 19318 19327 19266 0 -1 4194368 1897 0 1 0 0 0 0 0 20 0 20 0 31587295 19521036288 704082 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19408] ppid=19318 vsize=19063512 memory=2816328 CPUtime=0 cores=0,2
/proc/19327/task/19408/stat : 19408 (Timer-0) S 19318 19327 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31587316 19521036288 704082 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
Current children cumulated CPU time: 3352.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2816328 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.18 4.10 5/339 19729
/proc/meminfo: memFree=120506916/131249996 swapFree=33010684/33010684
[pid=19327] ppid=19318 vsize=19063512 memory=2820460 CPUtime=3412.91 cores=0,2
/proc/19327/stat : 19327 (java) S 19318 19327 19266 0 -1 4194304 131679 0 457 0 341107 184 0 0 20 0 20 0 31587277 19521036288 705115 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
/proc/19327/statm: 4765878 705115 5388 1 0 914724 0
[pid=19327/tid=19338] ppid=19318 vsize=19063512 memory=2816328 CPUtime=3379.32 cores=0,2
/proc/19327/task/19338/stat : 19338 (java) R 19318 19327 19266 0 -1 4194368 59858 0 345 0 337872 60 0 0 20 0 20 0 31587283 19521036288 705115 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19378] ppid=19318 vsize=19063512 memory=2820460 CPUtime=0 cores=0,2
/proc/19327/task/19378/stat : 19378 (Finalizer) S 19318 19327 19266 0 -1 4194368 25 0 1 0 0 0 0 0 20 0 20 0 31587294 19521036288 705115 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19405] ppid=19318 vsize=19063512 memory=2820460 CPUtime=0 cores=0,2
/proc/19327/task/19405/stat : 19405 (Common-Cleaner) S 19318 19327 19266 0 -1 4194368 1897 0 1 0 0 0 0 0 20 0 20 0 31587295 19521036288 705115 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19408] ppid=19318 vsize=19063512 memory=2820460 CPUtime=0 cores=0,2
/proc/19327/task/19408/stat : 19408 (Timer-0) S 19318 19327 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31587316 19521036288 705115 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
Current children cumulated CPU time: 3412.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2820460 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.16 4.10 5/339 19731
/proc/meminfo: memFree=120478276/131249996 swapFree=33010684/33010684
[pid=19327] ppid=19318 vsize=19063512 memory=2822544 CPUtime=3472.99 cores=0,2
/proc/19327/stat : 19327 (java) S 19318 19327 19266 0 -1 4194304 132669 0 457 0 347113 186 0 0 20 0 20 0 31587277 19521036288 705636 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
/proc/19327/statm: 4765878 705636 5388 1 0 914724 0
[pid=19327/tid=19338] ppid=19318 vsize=19063512 memory=2816328 CPUtime=3438.96 cores=0,2
/proc/19327/task/19338/stat : 19338 (java) R 19318 19327 19266 0 -1 4194368 60807 0 345 0 343836 60 0 0 20 0 20 0 31587283 19521036288 705636 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19378] ppid=19318 vsize=19063512 memory=17408 CPUtime=0 cores=0,2
/proc/19327/task/19378/stat : 19378 (Finalizer) S 19318 19327 19266 0 -1 4194368 25 0 1 0 0 0 0 0 20 0 20 0 31587294 19521036288 705636 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19405] ppid=19318 vsize=19063512 memory=164 CPUtime=0 cores=0,2
/proc/19327/task/19405/stat : 19405 (Common-Cleaner) S 19318 19327 19266 0 -1 4194368 1897 0 1 0 0 0 0 0 20 0 20 0 31587295 19521036288 705636 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19408] ppid=19318 vsize=19063512 memory=-6000919472773751662 CPUtime=0 cores=0,2
/proc/19327/task/19408/stat : 19408 (Timer-0) S 19318 19327 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31587316 19521036288 705636 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
Current children cumulated CPU time: 3472.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2822544 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.14 4.09 5/341 19737
/proc/meminfo: memFree=120446976/131249996 swapFree=33010684/33010684
[pid=19327] ppid=19318 vsize=19063512 memory=2828700 CPUtime=3533.1 cores=0,2
/proc/19327/stat : 19327 (java) S 19318 19327 19266 0 -1 4194304 134851 0 457 0 353122 188 0 0 20 0 20 0 31587277 19521036288 707175 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
/proc/19327/statm: 4765878 707175 5388 1 0 914756 0
[pid=19327/tid=19338] ppid=19318 vsize=19063512 memory=2822544 CPUtime=3498.58 cores=0,2
/proc/19327/task/19338/stat : 19338 (java) R 19318 19327 19266 0 -1 4194368 61754 0 345 0 349798 60 0 0 20 0 20 0 31587283 19521036288 707175 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19378] ppid=19318 vsize=19063512 memory=2828700 CPUtime=0 cores=0,2
/proc/19327/task/19378/stat : 19378 (Finalizer) S 19318 19327 19266 0 -1 4194368 25 0 1 0 0 0 0 0 20 0 20 0 31587294 19521036288 707175 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19405] ppid=19318 vsize=19063512 memory=17408 CPUtime=0 cores=0,2
/proc/19327/task/19405/stat : 19405 (Common-Cleaner) S 19318 19327 19266 0 -1 4194368 1985 0 1 0 0 0 0 0 20 0 20 0 31587295 19521036288 707175 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19408] ppid=19318 vsize=19063512 memory=17332 CPUtime=0 cores=0,2
/proc/19327/task/19408/stat : 19408 (Timer-0) S 19318 19327 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31587316 19521036288 707175 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
Current children cumulated CPU time: 3533.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2828700 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.13 4.09 5/341 19743
/proc/meminfo: memFree=120411792/131249996 swapFree=33010684/33010684
[pid=19327] ppid=19318 vsize=19063512 memory=2832804 CPUtime=3593.17 cores=0,2
/proc/19327/stat : 19327 (java) S 19318 19327 19266 0 -1 4194304 135244 0 457 0 359127 190 0 0 20 0 20 0 31587277 19521036288 708201 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
/proc/19327/statm: 4765878 708201 5388 1 0 914756 0
[pid=19327/tid=19338] ppid=19318 vsize=19063512 memory=2830756 CPUtime=3558.22 cores=0,2
/proc/19327/task/19338/stat : 19338 (java) R 19318 19327 19266 0 -1 4194368 62106 0 345 0 355762 60 0 0 20 0 20 0 31587283 19521036288 708201 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19378] ppid=19318 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/19327/task/19378/stat : 19378 (Finalizer) S 19318 19327 19266 0 -1 4194368 25 0 1 0 0 0 0 0 20 0 20 0 31587294 19521036288 708201 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19405] ppid=19318 vsize=19063512 memory=14572 CPUtime=0 cores=0,2
/proc/19327/task/19405/stat : 19405 (Common-Cleaner) S 19318 19327 19266 0 -1 4194368 1985 0 1 0 0 0 0 0 20 0 20 0 31587295 19521036288 708201 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19408] ppid=19318 vsize=19063512 memory=14572 CPUtime=0 cores=0,2
/proc/19327/task/19408/stat : 19408 (Timer-0) S 19318 19327 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31587316 19521036288 708201 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
Current children cumulated CPU time: 3593.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2832804 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3589.2 s]
/proc/loadavg: 4.14 4.14 4.09 6/320 19763
/proc/meminfo: memFree=122636600/131249996 swapFree=33010684/33010684
[pid=19327] ppid=19318 vsize=19063512 memory=2832804 CPUtime=3600.09 cores=0,2
/proc/19327/stat : 19327 (java) S 19318 19327 19266 0 -1 4194304 135353 0 457 0 359818 191 0 0 20 0 20 0 31587277 19521036288 708201 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
/proc/19327/statm: 4765878 708201 5388 1 0 914756 0
[pid=19327/tid=19338] ppid=19318 vsize=19063512 memory=215587488049 CPUtime=3565.08 cores=0,2
/proc/19327/task/19338/stat : 19338 (java) R 19318 19327 19266 0 -1 4194368 62210 0 345 0 356447 61 0 0 20 0 20 0 31587283 19521036288 708201 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19378] ppid=19318 vsize=19063512 memory=54113165640434 CPUtime=0 cores=0,2
/proc/19327/task/19378/stat : 19378 (Finalizer) S 19318 19327 19266 0 -1 4194368 25 0 1 0 0 0 0 0 20 0 20 0 31587294 19521036288 708201 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19405] ppid=19318 vsize=19063512 memory=70720 CPUtime=0 cores=0,2
/proc/19327/task/19405/stat : 19405 (Common-Cleaner) S 19318 19327 19266 0 -1 4194368 1985 0 1 0 0 0 0 0 20 0 20 0 31587295 19521036288 708201 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
[pid=19327/tid=19408] ppid=19318 vsize=19063512 memory=1920 CPUtime=0 cores=0,2
/proc/19327/task/19408/stat : 19408 (Timer-0) S 19318 19327 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31587316 19521036288 708201 18446744073709551615 94756880994304 94756880998000 140728771162336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94756881005816 94756881006608 94756909498368 140728771164542 140728771164646 140728771164646 140728771170248 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2832804 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3589.28 s]
# the end of solver process 19327 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.31 s, system=1.92945 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3589.28
CPU time (s): 3600.24
CPU user time (s): 3598.31
CPU system time (s): 1.92945
CPU usage (%): 100.305
Max. virtual memory (cumulated for all children) (KiB): 19069532
Max. memory (cumulated for all children) (KiB): 2832804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.31
system time used= 1.92945
maximum resident set size= 2834084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137492
page faults= 457
swaps= 0
block input operations= 25856
block output operations= 6856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 132248
involuntary context switches= 11756
# summary of solver processes directly reported to runsolver:
# pid: 19327
# total CPU time (s): 3600.24
# total CPU user time (s): 3598.31
# total CPU system time (s): 1.92945
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.46887 second user time and 16.9595 second system time
The end