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: 63837 MiB (43760 MiB free)
memory of node 1: 64465 MiB (53405 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489374-1751342495/watcher-4489374-1751342495 -o /tmp/evaluation-result-4489374-1751342495/solver-4489374-1751342495 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751336095-58589 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4489374-1751342495.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=59360, runsolver pid=59357
[startup+0.100068 s]*
/proc/loadavg: 4.79 4.81 4.75 8/327 59378
/proc/meminfo: memFree=99485224/131382112 swapFree=33010684/33010684
[pid=59360] ppid=59357 vsize=18930344 memory=46444 CPUtime=0.08 cores=1,3
/proc/59360/stat : 59360 (java) S 59357 59360 58577 0 -1 4194304 5624 0 0 0 5 3 0 0 20 0 18 0 49928688 19384672256 11579 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
/proc/59360/statm: 4732586 11579 4943 1 0 546863 0
[pid=59360/tid=59362] ppid=59357 vsize=18930344 memory=4026531960 CPUtime=0.05 cores=1,3
/proc/59360/task/59362/stat : 59362 (java) R 59357 59360 58577 0 -1 4194368 4570 0 0 0 3 2 0 0 20 0 18 0 49928691 19384672256 11611 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59371] ppid=59357 vsize=18930344 memory=228522721619 CPUtime=0 cores=1,3
/proc/59360/task/59371/stat : 59371 (Finalizer) S 59357 59360 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49928696 19384672256 11643 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59378] ppid=59357 vsize=18930344 memory=58494082638250 CPUtime=0 cores=1,3
/proc/59360/task/59378/stat : 59378 (Common-Cleaner) S 59357 59360 58577 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 49928697 19384672256 11675 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 46444 KiB
[startup+0.213615 s]*
/proc/loadavg: 4.79 4.81 4.75 9/327 59379
/proc/meminfo: memFree=99481696/131382112 swapFree=33010684/33010684
[pid=59360] ppid=59357 vsize=18930384 memory=49900 CPUtime=0.25 cores=1,3
/proc/59360/stat : 59360 (java) S 59357 59360 58577 0 -1 4194304 6122 0 0 0 21 4 0 0 20 0 18 0 49928688 19384713216 12475 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
/proc/59360/statm: 4732596 12475 5359 1 0 547234 0
[pid=59360/tid=59362] ppid=59357 vsize=18930384 memory=4026663196 CPUtime=0.16 cores=1,3
/proc/59360/task/59362/stat : 59362 (java) R 59357 59360 58577 0 -1 4194368 4964 0 0 0 13 3 0 0 20 0 18 0 49928691 19384713216 12475 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59371] ppid=59357 vsize=18930384 memory=17127 CPUtime=0 cores=1,3
/proc/59360/task/59371/stat : 59371 (Finalizer) S 59357 59360 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49928696 19384713216 12475 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59378] ppid=59357 vsize=18930384 memory=57394570986489 CPUtime=0 cores=1,3
/proc/59360/task/59378/stat : 59378 (Common-Cleaner) S 59357 59360 58577 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 49928697 19384713216 12475 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49900 KiB
[startup+0.320764 s]*
/proc/loadavg: 4.79 4.81 4.75 8/327 59379
/proc/meminfo: memFree=99476088/131382112 swapFree=33010684/33010684
[pid=59360] ppid=59357 vsize=18930384 memory=56576 CPUtime=0.45 cores=1,3
/proc/59360/stat : 59360 (java) S 59357 59360 58577 0 -1 4194304 6750 0 0 0 40 5 0 0 20 0 18 0 49928688 19384713216 14144 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
/proc/59360/statm: 4732596 14144 5359 1 0 547775 0
[pid=59360/tid=59362] ppid=59357 vsize=18930384 memory=-6000919477001610090 CPUtime=0.27 cores=1,3
/proc/59360/task/59362/stat : 59362 (java) R 59357 59360 58577 0 -1 4194368 5206 0 0 0 24 3 0 0 20 0 18 0 49928691 19384713216 14144 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59371] ppid=59357 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/59360/task/59371/stat : 59371 (Finalizer) S 59357 59360 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49928696 19384713216 14144 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59378] ppid=59357 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/59360/task/59378/stat : 59378 (Common-Cleaner) S 59357 59360 58577 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 49928697 19384713216 14144 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 56576 KiB
[startup+0.700343 s]
/proc/loadavg: 4.79 4.81 4.75 8/327 59379
/proc/meminfo: memFree=99471992/131382112 swapFree=33010684/33010684
[pid=59360] ppid=59357 vsize=18996948 memory=65380 CPUtime=1.12 cores=1,3
/proc/59360/stat : 59360 (java) S 59357 59360 58577 0 -1 4194304 7363 0 0 0 105 7 0 0 20 0 19 0 49928688 19452874752 16345 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
/proc/59360/statm: 4749237 16345 5455 1 0 548397 0
[pid=59360/tid=59362] ppid=59357 vsize=18996948 memory=17664 CPUtime=0.55 cores=1,3
/proc/59360/task/59362/stat : 59362 (java) R 59357 59360 58577 0 -1 4194368 5487 0 0 0 50 5 0 0 20 0 19 0 49928691 19452874752 16345 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59371] ppid=59357 vsize=18996948 memory=11264 CPUtime=0 cores=1,3
/proc/59360/task/59371/stat : 59371 (Finalizer) S 59357 59360 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49928696 19452874752 16345 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59378] ppid=59357 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/59360/task/59378/stat : 59378 (Common-Cleaner) S 59357 59360 58577 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 49928697 19452874752 16345 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 65380 KiB
[startup+1.50028 s]
/proc/loadavg: 4.79 4.81 4.75 7/328 59380
/proc/meminfo: memFree=99386924/131382112 swapFree=33010684/33010684
[pid=59360] ppid=59357 vsize=19063512 memory=173808 CPUtime=2.68 cores=1,3
/proc/59360/stat : 59360 (java) S 59357 59360 58577 0 -1 4194304 17018 0 0 0 257 11 0 0 20 0 20 0 49928688 19521036288 43452 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
/proc/59360/statm: 4765878 43452 5519 1 0 552364 0
[pid=59360/tid=59362] ppid=59357 vsize=19063512 memory=3328 CPUtime=1.31 cores=1,3
/proc/59360/task/59362/stat : 59362 (java) R 59357 59360 58577 0 -1 4194368 6740 0 0 0 125 6 0 0 20 0 20 0 49928691 19521036288 43452 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59371] ppid=59357 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/59360/task/59371/stat : 59371 (Finalizer) S 59357 59360 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49928696 19521036288 43452 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59378] ppid=59357 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/59360/task/59378/stat : 59378 (Common-Cleaner) S 59357 59360 58577 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 49928697 19521036288 43452 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59380] ppid=59357 vsize=19063512 memory=14340 CPUtime=0 cores=1,3
/proc/59360/task/59380/stat : 59380 (Timer-0) S 59357 59360 58577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49928751 19521036288 43452 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173808 KiB
[startup+3.10539 s]
/proc/loadavg: 4.79 4.81 4.75 6/329 59381
/proc/meminfo: memFree=99234812/131382112 swapFree=33010684/33010684
[pid=59360] ppid=59357 vsize=19063512 memory=234504 CPUtime=5.85 cores=1,3
/proc/59360/stat : 59360 (java) S 59357 59360 58577 0 -1 4194304 28073 0 0 0 571 14 0 0 20 0 20 0 49928688 19521036288 58626 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
/proc/59360/statm: 4765878 58626 5519 1 0 723739 0
[pid=59360/tid=59362] ppid=59357 vsize=19063512 memory=14340 CPUtime=2.78 cores=1,3
/proc/59360/task/59362/stat : 59362 (java) R 59357 59360 58577 0 -1 4194368 7155 0 0 0 272 6 0 0 20 0 20 0 49928691 19521036288 58626 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59371] ppid=59357 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/59360/task/59371/stat : 59371 (Finalizer) S 59357 59360 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49928696 19521036288 58626 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59378] ppid=59357 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/59360/task/59378/stat : 59378 (Common-Cleaner) S 59357 59360 58577 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 49928697 19521036288 58626 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59380] ppid=59357 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/59360/task/59380/stat : 59380 (Timer-0) S 59357 59360 58577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49928751 19521036288 58626 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
Current children cumulated CPU time: 5.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 234504 KiB
[startup+6.30038 s]
/proc/loadavg: 4.89 4.83 4.76 6/329 59381
/proc/meminfo: memFree=98722136/131382112 swapFree=33010684/33010684
[pid=59360] ppid=59357 vsize=19063512 memory=817992 CPUtime=10.4 cores=1,3
/proc/59360/stat : 59360 (java) S 59357 59360 58577 0 -1 4194304 30579 0 0 0 1013 27 0 0 20 0 20 0 49928688 19521036288 204498 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
/proc/59360/statm: 4765878 204498 5519 1 0 996001 0
[pid=59360/tid=59362] ppid=59357 vsize=19063512 memory=0 CPUtime=5.81 cores=1,3
/proc/59360/task/59362/stat : 59362 (java) R 59357 59360 58577 0 -1 4194368 7580 0 0 0 565 16 0 0 20 0 20 0 49928691 19521036288 204498 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59371] ppid=59357 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/59360/task/59371/stat : 59371 (Finalizer) S 59357 59360 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49928696 19521036288 204498 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59378] ppid=59357 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/59360/task/59378/stat : 59378 (Common-Cleaner) S 59357 59360 58577 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 49928697 19521036288 204498 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59380] ppid=59357 vsize=19063512 memory=173936 CPUtime=0 cores=1,3
/proc/59360/task/59380/stat : 59380 (Timer-0) S 59357 59360 58577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49928751 19521036288 204498 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
Current children cumulated CPU time: 10.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 817992 KiB
[startup+12.7005 s]
/proc/loadavg: 4.98 4.85 4.76 5/329 59381
/proc/meminfo: memFree=97718868/131382112 swapFree=33010684/33010684
[pid=59360] ppid=59357 vsize=19063512 memory=1842228 CPUtime=17.49 cores=1,3
/proc/59360/stat : 59360 (java) S 59357 59360 58577 0 -1 4194304 31714 0 0 0 1702 47 0 0 20 0 20 0 49928688 19521036288 460557 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
/proc/59360/statm: 4765878 460557 5519 1 0 1204902 0
[pid=59360/tid=59362] ppid=59357 vsize=19063512 memory=173936 CPUtime=11.82 cores=1,3
/proc/59360/task/59362/stat : 59362 (java) R 59357 59360 58577 0 -1 4194368 8023 0 0 0 1149 33 0 0 20 0 20 0 49928691 19521036288 460557 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59371] ppid=59357 vsize=19063512 memory=1584036 CPUtime=0 cores=1,3
/proc/59360/task/59371/stat : 59371 (Finalizer) S 59357 59360 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49928696 19521036288 460557 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59378] ppid=59357 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/59360/task/59378/stat : 59378 (Common-Cleaner) S 59357 59360 58577 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 49928697 19521036288 460557 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59380] ppid=59357 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/59360/task/59380/stat : 59380 (Timer-0) S 59357 59360 58577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49928751 19521036288 460557 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
Current children cumulated CPU time: 17.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1842228 KiB
[startup+25.5005 s]
/proc/loadavg: 4.76 4.81 4.75 5/329 59381
/proc/meminfo: memFree=97042776/131382112 swapFree=33010684/33010684
[pid=59360] ppid=59357 vsize=19063512 memory=2477144 CPUtime=30.91 cores=1,3
/proc/59360/stat : 59360 (java) S 59357 59360 58577 0 -1 4194304 38802 0 0 0 3029 62 0 0 20 0 20 0 49928688 19521036288 619286 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
/proc/59360/statm: 4765878 619286 5519 1 0 1204906 0
[pid=59360/tid=59362] ppid=59357 vsize=19063512 memory=0 CPUtime=24.33 cores=1,3
/proc/59360/task/59362/stat : 59362 (java) R 59357 59360 58577 0 -1 4194368 10507 0 0 0 2388 45 0 0 20 0 20 0 49928691 19521036288 619286 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59371] ppid=59357 vsize=19063512 memory=14340 CPUtime=0 cores=1,3
/proc/59360/task/59371/stat : 59371 (Finalizer) S 59357 59360 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49928696 19521036288 619286 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59378] ppid=59357 vsize=19063512 memory=2200664 CPUtime=0 cores=1,3
/proc/59360/task/59378/stat : 59378 (Common-Cleaner) S 59357 59360 58577 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 49928697 19521036288 619286 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59380] ppid=59357 vsize=19063512 memory=1932372 CPUtime=0 cores=1,3
/proc/59360/task/59380/stat : 59380 (Timer-0) S 59357 59360 58577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49928751 19521036288 619286 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
Current children cumulated CPU time: 30.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2477144 KiB
[startup+51.1133 s]
/proc/loadavg: 4.78 4.81 4.75 6/328 59381
/proc/meminfo: memFree=96175756/131382112 swapFree=33010684/33010684
[pid=59360] ppid=59357 vsize=19063512 memory=3139028 CPUtime=57.5 cores=1,3
/proc/59360/stat : 59360 (java) S 59357 59360 58577 0 -1 4194304 46052 0 0 0 5673 77 0 0 20 0 20 0 49928688 19521036288 784757 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
/proc/59360/statm: 4765878 784757 5519 1 0 1204963 0
[pid=59360/tid=59362] ppid=59357 vsize=19063512 memory=3056872 CPUtime=49.2 cores=1,3
/proc/59360/task/59362/stat : 59362 (java) R 59357 59360 58577 0 -1 4194368 14991 0 0 0 4867 53 0 0 20 0 20 0 49928691 19521036288 784757 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59371] ppid=59357 vsize=19063512 memory=12544 CPUtime=0 cores=1,3
/proc/59360/task/59371/stat : 59371 (Finalizer) S 59357 59360 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49928696 19521036288 784757 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59378] ppid=59357 vsize=19063512 memory=2308 CPUtime=0 cores=1,3
/proc/59360/task/59378/stat : 59378 (Common-Cleaner) S 59357 59360 58577 0 -1 4194368 67 0 0 0 0 0 0 0 20 0 20 0 49928697 19521036288 784757 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59380] ppid=59357 vsize=19063512 memory=1842228 CPUtime=0 cores=1,3
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.74 4.70 4.60 6/326 59726
/proc/meminfo: memFree=83072560/131382112 swapFree=33010684/33010684
[pid=59360] ppid=59357 vsize=19130076 memory=7507256 CPUtime=3250.64 cores=1,3
/proc/59360/stat : 59360 (java) S 59357 59360 58577 0 -1 4194304 225972 0 0 0 324588 476 0 0 20 0 21 0 49928688 19589197824 1876814 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
/proc/59360/statm: 4782519 1876814 5519 1 0 1890021 0
[pid=59360/tid=59362] ppid=59357 vsize=19130076 memory=7507256 CPUtime=3043.66 cores=1,3
/proc/59360/task/59362/stat : 59362 (java) R 59357 59360 58577 0 -1 4194368 109404 0 0 0 304238 128 0 0 20 0 21 0 49928691 19589197824 1876814 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59371] ppid=59357 vsize=19130076 memory=7507256 CPUtime=0 cores=1,3
/proc/59360/task/59371/stat : 59371 (Finalizer) S 59357 59360 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 49928696 19589197824 1876814 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59378] ppid=59357 vsize=19130076 memory=7507256 CPUtime=0 cores=1,3
/proc/59360/task/59378/stat : 59378 (Common-Cleaner) S 59357 59360 58577 0 -1 4194368 2363 0 0 0 0 0 0 0 20 0 21 0 49928697 19589197824 1876814 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59380] ppid=59357 vsize=19130076 memory=7507256 CPUtime=0 cores=1,3
/proc/59360/task/59380/stat : 59380 (Timer-0) S 59357 59360 58577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 49928751 19589197824 1876814 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
Current children cumulated CPU time: 3250.64 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 7507256 KiB
[startup+3162.3 s]
/proc/loadavg: 4.84 4.74 4.62 5/326 59728
/proc/meminfo: memFree=83073056/131382112 swapFree=33010684/33010684
[pid=59360] ppid=59357 vsize=19130076 memory=7507256 CPUtime=3310.6 cores=1,3
/proc/59360/stat : 59360 (java) S 59357 59360 58577 0 -1 4194304 227594 0 0 0 330580 480 0 0 20 0 21 0 49928688 19589197824 1876814 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
/proc/59360/statm: 4782519 1876814 5519 1 0 1890021 0
[pid=59360/tid=59362] ppid=59357 vsize=19130076 memory=7507256 CPUtime=3103.31 cores=1,3
/proc/59360/task/59362/stat : 59362 (java) R 59357 59360 58577 0 -1 4194368 109416 0 0 0 310203 128 0 0 20 0 21 0 49928691 19589197824 1876814 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59371] ppid=59357 vsize=19130076 memory=7507256 CPUtime=0 cores=1,3
/proc/59360/task/59371/stat : 59371 (Finalizer) S 59357 59360 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 49928696 19589197824 1876814 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59378] ppid=59357 vsize=19130076 memory=5632 CPUtime=0 cores=1,3
/proc/59360/task/59378/stat : 59378 (Common-Cleaner) S 59357 59360 58577 0 -1 4194368 2363 0 0 0 0 0 0 0 20 0 21 0 49928697 19589197824 1876814 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59380] ppid=59357 vsize=19130076 memory=14340 CPUtime=0 cores=1,3
/proc/59360/task/59380/stat : 59380 (Timer-0) S 59357 59360 58577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 49928751 19589197824 1876814 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
Current children cumulated CPU time: 3310.6 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 7507256 KiB
[startup+3222.3 s]
/proc/loadavg: 4.62 4.69 4.61 5/326 59730
/proc/meminfo: memFree=83068236/131382112 swapFree=33010684/33010684
[pid=59360] ppid=59357 vsize=19130076 memory=7507256 CPUtime=3374.37 cores=1,3
/proc/59360/stat : 59360 (java) S 59357 59360 58577 0 -1 4194304 231057 0 0 0 336950 487 0 0 20 0 21 0 49928688 19589197824 1876814 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
/proc/59360/statm: 4782519 1876814 5519 1 0 1890021 0
[pid=59360/tid=59362] ppid=59357 vsize=19130076 memory=7507256 CPUtime=3163.11 cores=1,3
/proc/59360/task/59362/stat : 59362 (java) R 59357 59360 58577 0 -1 4194368 111175 0 0 0 316183 128 0 0 20 0 21 0 49928691 19589197824 1876814 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59371] ppid=59357 vsize=19130076 memory=11264 CPUtime=0 cores=1,3
/proc/59360/task/59371/stat : 59371 (Finalizer) S 59357 59360 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 49928696 19589197824 1876814 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59378] ppid=59357 vsize=19130076 memory=3328 CPUtime=0 cores=1,3
/proc/59360/task/59378/stat : 59378 (Common-Cleaner) S 59357 59360 58577 0 -1 4194368 2391 0 0 0 0 0 0 0 20 0 21 0 49928697 19589197824 1876814 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59380] ppid=59357 vsize=19130076 memory=14340 CPUtime=0 cores=1,3
/proc/59360/task/59380/stat : 59380 (Timer-0) S 59357 59360 58577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 49928751 19589197824 1876814 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
Current children cumulated CPU time: 3374.37 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 7507256 KiB
[startup+3282.3 s]
/proc/loadavg: 4.64 4.69 4.62 5/326 59732
/proc/meminfo: memFree=83070536/131382112 swapFree=33010684/33010684
[pid=59360] ppid=59357 vsize=19130076 memory=7507256 CPUtime=3438.41 cores=1,3
/proc/59360/stat : 59360 (java) S 59357 59360 58577 0 -1 4194304 236024 0 0 0 343346 495 0 0 20 0 21 0 49928688 19589197824 1876814 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
/proc/59360/statm: 4782519 1876814 5519 1 0 1890021 0
[pid=59360/tid=59362] ppid=59357 vsize=19130076 memory=14340 CPUtime=3222.66 cores=1,3
/proc/59360/task/59362/stat : 59362 (java) R 59357 59360 58577 0 -1 4194368 113393 0 0 0 322137 129 0 0 20 0 21 0 49928691 19589197824 1876814 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59371] ppid=59357 vsize=19130076 memory=-6000919477001610090 CPUtime=0 cores=1,3
/proc/59360/task/59371/stat : 59371 (Finalizer) S 59357 59360 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 49928696 19589197824 1876814 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59378] ppid=59357 vsize=19130076 memory=7507256 CPUtime=0 cores=1,3
/proc/59360/task/59378/stat : 59378 (Common-Cleaner) S 59357 59360 58577 0 -1 4194368 2440 0 0 0 0 0 0 0 20 0 21 0 49928697 19589197824 1876814 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59380] ppid=59357 vsize=19130076 memory=4252 CPUtime=0 cores=1,3
/proc/59360/task/59380/stat : 59380 (Timer-0) S 59357 59360 58577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 49928751 19589197824 1876814 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
Current children cumulated CPU time: 3438.41 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 7507256 KiB
[startup+3342.3 s]
/proc/loadavg: 4.73 4.71 4.63 5/326 59734
/proc/meminfo: memFree=83071164/131382112 swapFree=33010684/33010684
[pid=59360] ppid=59357 vsize=19130076 memory=7507256 CPUtime=3514.53 cores=1,3
/proc/59360/stat : 59360 (java) S 59357 59360 58577 0 -1 4194304 237694 0 0 0 350937 516 0 0 20 0 21 0 49928688 19589197824 1876814 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
/proc/59360/statm: 4782519 1876814 5519 1 0 1890021 0
[pid=59360/tid=59362] ppid=59357 vsize=19130076 memory=7507256 CPUtime=3281.59 cores=1,3
/proc/59360/task/59362/stat : 59362 (java) R 59357 59360 58577 0 -1 4194368 114153 0 0 0 328030 129 0 0 20 0 21 0 49928691 19589197824 1876814 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59371] ppid=59357 vsize=19130076 memory=7507256 CPUtime=0 cores=1,3
/proc/59360/task/59371/stat : 59371 (Finalizer) S 59357 59360 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 49928696 19589197824 1876814 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59378] ppid=59357 vsize=19130076 memory=7507256 CPUtime=0 cores=1,3
/proc/59360/task/59378/stat : 59378 (Common-Cleaner) S 59357 59360 58577 0 -1 4194368 2441 0 0 0 0 0 0 0 20 0 21 0 49928697 19589197824 1876814 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59380] ppid=59357 vsize=19130076 memory=2688 CPUtime=0 cores=1,3
/proc/59360/task/59380/stat : 59380 (Timer-0) S 59357 59360 58577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 49928751 19589197824 1876814 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
Current children cumulated CPU time: 3514.53 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 7507256 KiB
[startup+3402.3 s]
/proc/loadavg: 4.80 4.76 4.65 5/327 59739
/proc/meminfo: memFree=83070332/131382112 swapFree=33010684/33010684
[pid=59360] ppid=59357 vsize=19130076 memory=7507256 CPUtime=3582.34 cores=1,3
/proc/59360/stat : 59360 (java) S 59357 59360 58577 0 -1 4194304 240241 0 0 0 357707 527 0 0 20 0 21 0 49928688 19589197824 1876814 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
/proc/59360/statm: 4782519 1876814 5519 1 0 1890021 0
[pid=59360/tid=59362] ppid=59357 vsize=19130076 memory=7507256 CPUtime=3341.18 cores=1,3
/proc/59360/task/59362/stat : 59362 (java) R 59357 59360 58577 0 -1 4194368 115907 0 0 0 333989 129 0 0 20 0 21 0 49928691 19589197824 1876814 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59371] ppid=59357 vsize=19130076 memory=7507256 CPUtime=0 cores=1,3
/proc/59360/task/59371/stat : 59371 (Finalizer) S 59357 59360 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 49928696 19589197824 1876814 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59378] ppid=59357 vsize=19130076 memory=7507256 CPUtime=0 cores=1,3
/proc/59360/task/59378/stat : 59378 (Common-Cleaner) S 59357 59360 58577 0 -1 4194368 2501 0 0 0 0 0 0 0 20 0 21 0 49928697 19589197824 1876814 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59380] ppid=59357 vsize=19130076 memory=4760 CPUtime=0 cores=1,3
/proc/59360/task/59380/stat : 59380 (Timer-0) S 59357 59360 58577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 49928751 19589197824 1876814 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
Current children cumulated CPU time: 3582.34 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 7507256 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3420 s]*
/proc/loadavg: 4.63 4.73 4.64 5/327 59806
/proc/meminfo: memFree=88358796/131382112 swapFree=33010684/33010684
[pid=59360] ppid=59357 vsize=19130076 memory=7507256 CPUtime=3600.08 cores=1,3
/proc/59360/stat : 59360 (java) S 59357 59360 58577 0 -1 4194304 241019 0 0 0 359480 528 0 0 20 0 21 0 49928688 19589197824 1876814 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
/proc/59360/statm: 4782519 1876814 5519 1 0 1890021 0
[pid=59360/tid=59362] ppid=59357 vsize=19130076 memory=-6000919494130885482 CPUtime=3358.8 cores=1,3
/proc/59360/task/59362/stat : 59362 (java) R 59357 59360 58577 0 -1 4194368 115910 0 0 0 335751 129 0 0 20 0 21 0 49928691 19589197824 1876814 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59371] ppid=59357 vsize=19130076 memory=7507256 CPUtime=0 cores=1,3
/proc/59360/task/59371/stat : 59371 (Finalizer) S 59357 59360 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 49928696 19589197824 1876814 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59378] ppid=59357 vsize=19130076 memory=-6000919489852826474 CPUtime=0 cores=1,3
/proc/59360/task/59378/stat : 59378 (Common-Cleaner) S 59357 59360 58577 0 -1 4194368 2501 0 0 0 0 0 0 0 20 0 21 0 49928697 19589197824 1876814 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59380] ppid=59357 vsize=19130076 memory=5092 CPUtime=0 cores=1,3
/proc/59360/task/59380/stat : 59380 (Timer-0) S 59357 59360 58577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 49928751 19589197824 1876814 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 7507256 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3420.21 s]
# the end of solver process 59360 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.13 s, system=5.32363 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3420.12 s]
/proc/loadavg: 4.63 4.73 4.64 5/327 59806
/proc/meminfo: memFree=88358796/131382112 swapFree=33010684/33010684
[pid=59360] ppid=59357 vsize=19329768 memory=7508152 CPUtime=3600.28 cores=1,3
/proc/59360/stat : 59360 (java) S 59357 59360 58577 0 -1 4194304 242644 0 0 0 359499 529 0 0 20 0 22 0 49928688 19793682432 1877038 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
/proc/59360/statm: 4832442 1877038 5551 1 0 1890940 0
[pid=59360/tid=59362] ppid=59357 vsize=19329768 memory=7507256 CPUtime=3358.91 cores=1,3
/proc/59360/task/59362/stat : 59362 (java) R 59357 59360 58577 0 -1 4194368 115912 0 0 0 335762 129 0 0 20 0 22 0 49928691 19793682432 1877038 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59371] ppid=59357 vsize=19329768 memory=7507256 CPUtime=0 cores=1,3
/proc/59360/task/59371/stat : 59371 (Finalizer) S 59357 59360 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 22 0 49928696 19793682432 1877038 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
[pid=59360/tid=59378] ppid=59357 vsize=19329768 memory=7507256 CPUtime=0 cores=1,3
/proc/59360/task/59378/stat : 59378 (Common-Cleaner) S 59357 59360 58577 0 -1 4194368 2501 0 0 0 0 0 0 0 20 0 22 0 49928697 19793682432 1877038 18446744073709551615 93847643627520 93847643631216 140727466293216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93847643639032 93847643639824 93847657279488 140727466297726 140727466297830 140727466297830 140727466303432 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19329768 KiB
Current children cumulated memory: 7508152 KiB
Child status: 143
Real time (s): 3420.21
CPU time (s): 3600.45
CPU user time (s): 3595.13
CPU system time (s): 5.32363
CPU usage (%): 105.27
Max. virtual memory (cumulated for all children) (KiB): 19329768
Max. memory (cumulated for all children) (KiB): 7508152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.13
system time used= 5.32363
maximum resident set size= 7508280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 243128
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 132925
involuntary context switches= 17335
# summary of solver processes directly reported to runsolver:
# pid: 59360
# total CPU time (s): 3600.45
# total CPU user time (s): 3595.13
# total CPU system time (s): 5.32363
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7794 second user time and 33.8889 second system time
The end