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 (62889 MiB free)
memory of node 1: 64465 MiB (63438 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518462-1751549948/watcher-4518462-1751549948 -o /tmp/evaluation-result-4518462-1751549948/solver-4518462-1751549948 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751549948-75005 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4518462-1751549948.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=75050, runsolver pid=75044
[startup+0.100075 s]*
/proc/loadavg: 1.02 2.36 2.87 12/320 75131
/proc/meminfo: memFree=129283400/131382120 swapFree=33010416/33010684
[pid=75050] ppid=75044 vsize=18930344 memory=46432 CPUtime=0.1 cores=4,6
/proc/75050/stat : 75050 (java) S 75044 75050 74994 0 -1 4194304 5659 0 70 0 7 3 0 0 20 0 18 0 70673675 19384672256 11608 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
/proc/75050/statm: 4732586 11608 4923 1 0 546917 0
[pid=75050/tid=75064] ppid=75044 vsize=18930344 memory=4026532124 CPUtime=0.06 cores=4,6
/proc/75050/task/75064/stat : 75064 (java) R 75044 75050 74994 0 -1 4194368 4541 0 70 0 4 2 0 0 20 0 18 0 70673678 19384672256 11608 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75099] ppid=75044 vsize=18930344 memory=2576 CPUtime=0 cores=4,6
/proc/75050/task/75099/stat : 75099 (Finalizer) S 75044 75050 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70673683 19384672256 11608 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75126] ppid=75044 vsize=18930344 memory=54096036103158 CPUtime=0 cores=4,6
/proc/75050/task/75126/stat : 75126 (Common-Cleaner) S 75044 75050 74994 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 70673684 19384672256 11608 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 46432 KiB
[startup+0.216648 s]*
/proc/loadavg: 1.02 2.36 2.87 9/320 75131
/proc/meminfo: memFree=129274012/131382120 swapFree=33010416/33010684
[pid=75050] ppid=75044 vsize=18930384 memory=50016 CPUtime=0.27 cores=4,6
/proc/75050/stat : 75050 (java) S 75044 75050 74994 0 -1 4194304 6165 0 70 0 23 4 0 0 20 0 18 0 70673675 19384713216 12504 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
/proc/75050/statm: 4732596 12504 5307 1 0 547292 0
[pid=75050/tid=75064] ppid=75044 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=4,6
/proc/75050/task/75064/stat : 75064 (java) R 75044 75050 74994 0 -1 4194368 4943 0 70 0 15 2 0 0 20 0 18 0 70673678 19384713216 12504 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75099] ppid=75044 vsize=18930384 memory=2576 CPUtime=0 cores=4,6
/proc/75050/task/75099/stat : 75099 (Finalizer) S 75044 75050 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70673683 19384713216 12504 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75126] ppid=75044 vsize=18930384 memory=54096036103158 CPUtime=0 cores=4,6
/proc/75050/task/75126/stat : 75126 (Common-Cleaner) S 75044 75050 74994 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 70673684 19384713216 12504 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 50016 KiB
[startup+0.313369 s]*
/proc/loadavg: 1.02 2.36 2.87 10/320 75131
/proc/meminfo: memFree=129256696/131382120 swapFree=33010416/33010684
[pid=75050] ppid=75044 vsize=18930384 memory=55972 CPUtime=0.42 cores=4,6
/proc/75050/stat : 75050 (java) S 75044 75050 74994 0 -1 4194304 6641 0 70 0 37 5 0 0 20 0 18 0 70673675 19384713216 13993 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
/proc/75050/statm: 4732596 13993 5307 1 0 547684 0
[pid=75050/tid=75064] ppid=75044 vsize=18930384 memory=-6000919477018584936 CPUtime=0.25 cores=4,6
/proc/75050/task/75064/stat : 75064 (java) R 75044 75050 74994 0 -1 4194368 5111 0 70 0 22 3 0 0 20 0 18 0 70673678 19384713216 13993 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75099] ppid=75044 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/75050/task/75099/stat : 75099 (Finalizer) S 75044 75050 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70673683 19384713216 13993 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75126] ppid=75044 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/75050/task/75126/stat : 75126 (Common-Cleaner) S 75044 75050 74994 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 70673684 19384713216 13993 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55972 KiB
[startup+0.700343 s]
/proc/loadavg: 1.02 2.36 2.87 12/320 75131
/proc/meminfo: memFree=129236596/131382120 swapFree=33010416/33010684
[pid=75050] ppid=75044 vsize=18996948 memory=70228 CPUtime=1.12 cores=4,6
/proc/75050/stat : 75050 (java) S 75044 75050 74994 0 -1 4194304 7730 0 70 0 105 7 0 0 20 0 19 0 70673675 19452874752 17525 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
/proc/75050/statm: 4749237 17525 5467 1 0 548498 0
[pid=75050/tid=75064] ppid=75044 vsize=18996948 memory=17920 CPUtime=0.58 cores=4,6
/proc/75050/task/75064/stat : 75064 (java) R 75044 75050 74994 0 -1 4194368 5473 0 70 0 54 4 0 0 20 0 19 0 70673678 19452874752 17557 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75099] ppid=75044 vsize=18996948 memory=11264 CPUtime=0 cores=4,6
/proc/75050/task/75099/stat : 75099 (Finalizer) S 75044 75050 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70673683 19452874752 17557 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75126] ppid=75044 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/75050/task/75126/stat : 75126 (Common-Cleaner) S 75044 75050 74994 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 70673684 19452874752 17557 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 70228 KiB
[startup+1.50029 s]
/proc/loadavg: 1.02 2.36 2.87 11/324 75135
/proc/meminfo: memFree=129014976/131382120 swapFree=33010416/33010684
[pid=75050] ppid=75044 vsize=19063512 memory=171284 CPUtime=2.7 cores=4,6
/proc/75050/stat : 75050 (java) S 75044 75050 74994 0 -1 4194304 17385 0 70 0 257 13 0 0 20 0 20 0 70673675 19521036288 42821 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
/proc/75050/statm: 4765878 42821 5499 1 0 552272 0
[pid=75050/tid=75064] ppid=75044 vsize=19063512 memory=3200 CPUtime=1.25 cores=4,6
/proc/75050/task/75064/stat : 75064 (java) R 75044 75050 74994 0 -1 4194368 6113 0 70 0 119 6 0 0 20 0 20 0 70673678 19521036288 42821 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75099] ppid=75044 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/75050/task/75099/stat : 75099 (Finalizer) S 75044 75050 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70673683 19521036288 42821 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75126] ppid=75044 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/75050/task/75126/stat : 75126 (Common-Cleaner) S 75044 75050 74994 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 70673684 19521036288 42821 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75134] ppid=75044 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/75050/task/75134/stat : 75134 (Timer-0) S 75044 75050 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70673730 19521036288 42821 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 171284 KiB
[startup+3.10567 s]
/proc/loadavg: 1.02 2.36 2.87 8/328 75139
/proc/meminfo: memFree=127223500/131382120 swapFree=33010416/33010684
[pid=75050] ppid=75044 vsize=19063512 memory=480452 CPUtime=5.8 cores=4,6
/proc/75050/stat : 75050 (java) S 75044 75050 74994 0 -1 4194304 24747 0 70 0 560 20 0 0 20 0 20 0 70673675 19521036288 120113 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
/proc/75050/statm: 4765878 120113 5499 1 0 873950 0
[pid=75050/tid=75064] ppid=75044 vsize=19063512 memory=14464 CPUtime=2.71 cores=4,6
/proc/75050/task/75064/stat : 75064 (java) R 75044 75050 74994 0 -1 4194368 6816 0 70 0 259 12 0 0 20 0 20 0 70673678 19521036288 120113 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75099] ppid=75044 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/75050/task/75099/stat : 75099 (Finalizer) S 75044 75050 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70673683 19521036288 120113 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75126] ppid=75044 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/75050/task/75126/stat : 75126 (Common-Cleaner) S 75044 75050 74994 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 70673684 19521036288 120113 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75134] ppid=75044 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/75050/task/75134/stat : 75134 (Timer-0) S 75044 75050 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70673730 19521036288 120113 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
Current children cumulated CPU time: 5.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 480452 KiB
[startup+6.30037 s]
/proc/loadavg: 1.26 2.39 2.88 6/328 75139
/proc/meminfo: memFree=123548376/131382120 swapFree=33010416/33010684
[pid=75050] ppid=75044 vsize=19063512 memory=1523816 CPUtime=10.95 cores=4,6
/proc/75050/stat : 75050 (java) S 75044 75050 74994 0 -1 4194304 25591 0 70 0 1053 42 0 0 20 0 20 0 70673675 19521036288 380954 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
/proc/75050/statm: 4765878 380954 5499 1 0 873967 0
[pid=75050/tid=75064] ppid=75044 vsize=19063512 memory=0 CPUtime=5.84 cores=4,6
/proc/75050/task/75064/stat : 75064 (java) R 75044 75050 74994 0 -1 4194368 7348 0 70 0 551 33 0 0 20 0 20 0 70673678 19521036288 380954 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75099] ppid=75044 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/75050/task/75099/stat : 75099 (Finalizer) S 75044 75050 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70673683 19521036288 380954 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75126] ppid=75044 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/75050/task/75126/stat : 75126 (Common-Cleaner) S 75044 75050 74994 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 70673684 19521036288 380954 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75134] ppid=75044 vsize=19063512 memory=173444 CPUtime=0 cores=4,6
/proc/75050/task/75134/stat : 75134 (Timer-0) S 75044 75050 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70673730 19521036288 380954 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
Current children cumulated CPU time: 10.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1523816 KiB
[startup+12.7005 s]
/proc/loadavg: 1.48 2.42 2.88 5/327 75139
/proc/meminfo: memFree=121189808/131382120 swapFree=33010416/33010684
[pid=75050] ppid=75044 vsize=19063512 memory=2778020 CPUtime=17.75 cores=4,6
/proc/75050/stat : 75050 (java) S 75044 75050 74994 0 -1 4194304 27218 0 70 0 1705 70 0 0 20 0 20 0 70673675 19521036288 694505 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
/proc/75050/statm: 4765878 694505 5499 1 0 1149701 0
[pid=75050/tid=75064] ppid=75044 vsize=19063512 memory=173444 CPUtime=11.87 cores=4,6
/proc/75050/task/75064/stat : 75064 (java) R 75044 75050 74994 0 -1 4194368 8184 0 70 0 1130 57 0 0 20 0 20 0 70673678 19521036288 694505 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75099] ppid=75044 vsize=19063512 memory=2407332 CPUtime=0 cores=4,6
/proc/75050/task/75099/stat : 75099 (Finalizer) S 75044 75050 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70673683 19521036288 694505 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75126] ppid=75044 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/75050/task/75126/stat : 75126 (Common-Cleaner) S 75044 75050 74994 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 70673684 19521036288 694505 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75134] ppid=75044 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/75050/task/75134/stat : 75134 (Timer-0) S 75044 75050 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70673730 19521036288 694505 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
Current children cumulated CPU time: 17.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2778020 KiB
[startup+25.5005 s]
/proc/loadavg: 2.04 2.50 2.90 5/327 75139
/proc/meminfo: memFree=118871816/131382120 swapFree=33010416/33010684
[pid=75050] ppid=75044 vsize=19063512 memory=3245476 CPUtime=32.29 cores=4,6
/proc/75050/stat : 75050 (java) S 75044 75050 74994 0 -1 4194304 29482 0 70 0 3150 79 0 0 20 0 20 0 70673675 19521036288 811369 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
/proc/75050/statm: 4765878 811369 5499 1 0 1149743 0
[pid=75050/tid=75064] ppid=75044 vsize=19063512 memory=2407332 CPUtime=24.48 cores=4,6
/proc/75050/task/75064/stat : 75064 (java) R 75044 75050 74994 0 -1 4194368 9827 0 70 0 2383 65 0 0 20 0 20 0 70673678 19521036288 811369 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75099] ppid=75044 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/75050/task/75099/stat : 75099 (Finalizer) S 75044 75050 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70673683 19521036288 811369 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75126] ppid=75044 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/75050/task/75126/stat : 75126 (Common-Cleaner) S 75044 75050 74994 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 70673684 19521036288 811369 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75134] ppid=75044 vsize=19063512 memory=3245220 CPUtime=0 cores=4,6
/proc/75050/task/75134/stat : 75134 (Timer-0) S 75044 75050 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70673730 19521036288 811369 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
Current children cumulated CPU time: 32.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3245476 KiB
[startup+51.1138 s]
/proc/loadavg: 2.77 2.63 2.94 5/328 75141
/proc/meminfo: memFree=117944992/131382120 swapFree=33010416/33010684
[pid=75050] ppid=75044 vsize=19063512 memory=3245732 CPUtime=59.37 cores=4,6
/proc/75050/stat : 75050 (java) S 75044 75050 74994 0 -1 4194304 40033 0 70 0 5853 84 0 0 20 0 20 0 70673675 19521036288 811433 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
/proc/75050/statm: 4765878 811433 5499 1 0 1149745 0
[pid=75050/tid=75064] ppid=75044 vsize=19063512 memory=3245732 CPUtime=49.62 cores=4,6
/proc/75050/task/75064/stat : 75064 (java) R 75044 75050 74994 0 -1 4194368 14077 0 70 0 4896 66 0 0 20 0 20 0 70673678 19521036288 811433 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75099] ppid=75044 vsize=19063512 memory=2812836 CPUtime=0 cores=4,6
/proc/75050/task/75099/stat : 75099 (Finalizer) S 75044 75050 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70673683 19521036288 811433 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75126] ppid=75044 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/75050/task/75126/stat : 75126 (Common-Cleaner) S 75044 75050 74994 0 -1 4194368 88 0 0 0 0 0 0 0 20 0 20 0 70673684 19521036288 811433 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75134] ppid=75044 vsize=19063512 memory=3245604 CPUtime=0 cores=4,6
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.59 4.48 4.40 5/331 75306
/proc/meminfo: memFree=111455624/131382120 swapFree=33010416/33010684
[pid=75050] ppid=75044 vsize=19130076 memory=6171376 CPUtime=3285.34 cores=4,6
/proc/75050/stat : 75050 (java) S 75044 75050 74994 0 -1 4194304 202530 0 70 0 328142 392 0 0 20 0 21 0 70673675 19589197824 1542844 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
/proc/75050/statm: 4782519 1542844 5499 1 0 1569631 0
[pid=75050/tid=75064] ppid=75044 vsize=19130076 memory=6170992 CPUtime=3168.8 cores=4,6
/proc/75050/task/75064/stat : 75064 (java) R 75044 75050 74994 0 -1 4194368 112215 0 70 0 316757 123 0 0 20 0 21 0 70673678 19589197824 1542844 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75099] ppid=75044 vsize=19130076 memory=6170992 CPUtime=0 cores=4,6
/proc/75050/task/75099/stat : 75099 (Finalizer) S 75044 75050 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70673683 19589197824 1542844 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75126] ppid=75044 vsize=19130076 memory=6171248 CPUtime=0 cores=4,6
/proc/75050/task/75126/stat : 75126 (Common-Cleaner) S 75044 75050 74994 0 -1 4194368 2224 0 0 0 0 0 0 0 20 0 21 0 70673684 19589197824 1542844 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75134] ppid=75044 vsize=19130076 memory=6171248 CPUtime=0 cores=4,6
/proc/75050/task/75134/stat : 75134 (Timer-0) S 75044 75050 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 70673730 19589197824 1542844 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
Current children cumulated CPU time: 3285.34 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 6171376 KiB
[startup+3282.3 s]
/proc/loadavg: 4.54 4.48 4.40 6/331 75308
/proc/meminfo: memFree=111438228/131382120 swapFree=33010416/33010684
[pid=75050] ppid=75044 vsize=19130076 memory=6171504 CPUtime=3346.27 cores=4,6
/proc/75050/stat : 75050 (java) S 75044 75050 74994 0 -1 4194304 206453 0 70 0 334231 396 0 0 20 0 21 0 70673675 19589197824 1542876 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
/proc/75050/statm: 4782519 1542876 5499 1 0 1569647 0
[pid=75050/tid=75064] ppid=75044 vsize=19130076 memory=6171504 CPUtime=3227.83 cores=4,6
/proc/75050/task/75064/stat : 75064 (java) R 75044 75050 74994 0 -1 4194368 115285 0 70 0 322660 123 0 0 20 0 21 0 70673678 19589197824 1542876 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75099] ppid=75044 vsize=19130076 memory=6171248 CPUtime=0 cores=4,6
/proc/75050/task/75099/stat : 75099 (Finalizer) S 75044 75050 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70673683 19589197824 1542876 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75126] ppid=75044 vsize=19130076 memory=4352 CPUtime=0 cores=4,6
/proc/75050/task/75126/stat : 75126 (Common-Cleaner) S 75044 75050 74994 0 -1 4194368 2238 0 0 0 0 0 0 0 20 0 21 0 70673684 19589197824 1542876 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75134] ppid=75044 vsize=19130076 memory=6772 CPUtime=0 cores=4,6
/proc/75050/task/75134/stat : 75134 (Timer-0) S 75044 75050 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 70673730 19589197824 1542876 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
Current children cumulated CPU time: 3346.27 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 6171504 KiB
[startup+3342.3 s]
/proc/loadavg: 4.58 4.50 4.41 5/330 75313
/proc/meminfo: memFree=111429784/131382120 swapFree=33010416/33010684
[pid=75050] ppid=75044 vsize=19130076 memory=6171504 CPUtime=3407.12 cores=4,6
/proc/75050/stat : 75050 (java) S 75044 75050 74994 0 -1 4194304 208916 0 70 0 340310 402 0 0 20 0 21 0 70673675 19589197824 1542876 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
/proc/75050/statm: 4782519 1542876 5499 1 0 1569647 0
[pid=75050/tid=75064] ppid=75044 vsize=19130076 memory=4252 CPUtime=3286.92 cores=4,6
/proc/75050/task/75064/stat : 75064 (java) R 75044 75050 74994 0 -1 4194368 116949 0 70 0 328569 123 0 0 20 0 21 0 70673678 19589197824 1542876 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75099] ppid=75044 vsize=19130076 memory=11264 CPUtime=0 cores=4,6
/proc/75050/task/75099/stat : 75099 (Finalizer) S 75044 75050 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70673683 19589197824 1542876 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75126] ppid=75044 vsize=19130076 memory=6171504 CPUtime=0 cores=4,6
/proc/75050/task/75126/stat : 75126 (Common-Cleaner) S 75044 75050 74994 0 -1 4194368 2302 0 0 0 0 0 0 0 20 0 21 0 70673684 19589197824 1542876 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75134] ppid=75044 vsize=19130076 memory=11264 CPUtime=0 cores=4,6
/proc/75050/task/75134/stat : 75134 (Timer-0) S 75044 75050 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 70673730 19589197824 1542876 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
Current children cumulated CPU time: 3407.12 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 6171504 KiB
[startup+3402.3 s]
/proc/loadavg: 4.47 4.48 4.41 5/330 75383
/proc/meminfo: memFree=113781636/131382120 swapFree=33010416/33010684
[pid=75050] ppid=75044 vsize=19130076 memory=6171504 CPUtime=3467.94 cores=4,6
/proc/75050/stat : 75050 (java) S 75044 75050 74994 0 -1 4194304 212391 0 70 0 346386 408 0 0 20 0 21 0 70673675 19589197824 1542876 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
/proc/75050/statm: 4782519 1542876 5499 1 0 1569647 0
[pid=75050/tid=75064] ppid=75044 vsize=19130076 memory=6171504 CPUtime=3345.94 cores=4,6
/proc/75050/task/75064/stat : 75064 (java) R 75044 75050 74994 0 -1 4194368 119619 0 70 0 334470 124 0 0 20 0 21 0 70673678 19589197824 1542876 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75099] ppid=75044 vsize=19130076 memory=6171504 CPUtime=0 cores=4,6
/proc/75050/task/75099/stat : 75099 (Finalizer) S 75044 75050 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70673683 19589197824 1542876 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75126] ppid=75044 vsize=19130076 memory=6171504 CPUtime=0 cores=4,6
/proc/75050/task/75126/stat : 75126 (Common-Cleaner) S 75044 75050 74994 0 -1 4194368 2361 0 0 0 0 0 0 0 20 0 21 0 70673684 19589197824 1542876 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75134] ppid=75044 vsize=19130076 memory=3200 CPUtime=0 cores=4,6
/proc/75050/task/75134/stat : 75134 (Timer-0) S 75044 75050 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 70673730 19589197824 1542876 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
Current children cumulated CPU time: 3467.94 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 6171504 KiB
[startup+3462.3 s]
/proc/loadavg: 4.41 4.46 4.41 5/330 75453
/proc/meminfo: memFree=110725572/131382120 swapFree=33010416/33010684
[pid=75050] ppid=75044 vsize=19130076 memory=6171504 CPUtime=3528.76 cores=4,6
/proc/75050/stat : 75050 (java) S 75044 75050 74994 0 -1 4194304 216075 0 70 0 352464 412 0 0 20 0 21 0 70673675 19589197824 1542876 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
/proc/75050/statm: 4782519 1542876 5499 1 0 1569647 0
[pid=75050/tid=75064] ppid=75044 vsize=19130076 memory=6171504 CPUtime=3405.24 cores=4,6
/proc/75050/task/75064/stat : 75064 (java) R 75044 75050 74994 0 -1 4194368 122297 0 70 0 340399 125 0 0 20 0 21 0 70673678 19589197824 1542876 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75099] ppid=75044 vsize=19130076 memory=6171504 CPUtime=0 cores=4,6
/proc/75050/task/75099/stat : 75099 (Finalizer) S 75044 75050 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70673683 19589197824 1542876 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75126] ppid=75044 vsize=19130076 memory=6171504 CPUtime=0 cores=4,6
/proc/75050/task/75126/stat : 75126 (Common-Cleaner) S 75044 75050 74994 0 -1 4194368 2392 0 0 0 0 0 0 0 20 0 21 0 70673684 19589197824 1542876 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75134] ppid=75044 vsize=19130076 memory=6171504 CPUtime=0 cores=4,6
/proc/75050/task/75134/stat : 75134 (Timer-0) S 75044 75050 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 70673730 19589197824 1542876 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
Current children cumulated CPU time: 3528.76 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 6171504 KiB
[startup+3522.3 s]
/proc/loadavg: 4.38 4.43 4.40 6/329 75521
/proc/meminfo: memFree=113094012/131382120 swapFree=33010416/33010684
[pid=75050] ppid=75044 vsize=19130076 memory=6171504 CPUtime=3589.48 cores=4,6
/proc/75050/stat : 75050 (java) S 75044 75050 74994 0 -1 4194304 217253 0 70 0 358533 415 0 0 20 0 21 0 70673675 19589197824 1542876 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
/proc/75050/statm: 4782519 1542876 5499 1 0 1569647 0
[pid=75050/tid=75064] ppid=75044 vsize=19130076 memory=17920 CPUtime=3464.66 cores=4,6
/proc/75050/task/75064/stat : 75064 (java) R 75044 75050 74994 0 -1 4194368 123389 0 70 0 346341 125 0 0 20 0 21 0 70673678 19589197824 1542876 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75099] ppid=75044 vsize=19130076 memory=-6000919489903486824 CPUtime=0 cores=4,6
/proc/75050/task/75099/stat : 75099 (Finalizer) S 75044 75050 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70673683 19589197824 1542876 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75126] ppid=75044 vsize=19130076 memory=6171504 CPUtime=0 cores=4,6
/proc/75050/task/75126/stat : 75126 (Common-Cleaner) S 75044 75050 74994 0 -1 4194368 2392 0 0 0 0 0 0 0 20 0 21 0 70673684 19589197824 1542876 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75134] ppid=75044 vsize=19130076 memory=2736 CPUtime=0 cores=4,6
/proc/75050/task/75134/stat : 75134 (Timer-0) S 75044 75050 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 70673730 19589197824 1542876 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
Current children cumulated CPU time: 3589.48 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 6171504 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3532.6 s]
/proc/loadavg: 4.32 4.42 4.40 5/329 75521
/proc/meminfo: memFree=110838004/131382120 swapFree=33010416/33010684
[pid=75050] ppid=75044 vsize=19130076 memory=6171504 CPUtime=3600.08 cores=4,6
/proc/75050/stat : 75050 (java) S 75044 75050 74994 0 -1 4194304 217341 0 70 0 359593 415 0 0 20 0 21 0 70673675 19589197824 1542876 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
/proc/75050/statm: 4782519 1542876 5499 1 0 1569647 0
[pid=75050/tid=75064] ppid=75044 vsize=19130076 memory=17920 CPUtime=3474.54 cores=4,6
/proc/75050/task/75064/stat : 75064 (java) R 75044 75050 74994 0 -1 4194368 123474 0 70 0 347329 125 0 0 20 0 21 0 70673678 19589197824 1542876 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75099] ppid=75044 vsize=19130076 memory=11264 CPUtime=0 cores=4,6
/proc/75050/task/75099/stat : 75099 (Finalizer) S 75044 75050 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70673683 19589197824 1542876 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75126] ppid=75044 vsize=19130076 memory=5504 CPUtime=0 cores=4,6
/proc/75050/task/75126/stat : 75126 (Common-Cleaner) S 75044 75050 74994 0 -1 4194368 2392 0 0 0 0 0 0 0 20 0 21 0 70673684 19589197824 1542876 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75134] ppid=75044 vsize=19130076 memory=4252 CPUtime=0 cores=4,6
/proc/75050/task/75134/stat : 75134 (Timer-0) S 75044 75050 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 70673730 19589197824 1542876 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 6171504 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3532.79 s]
# the end of solver process 75050 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.25 s, system=4.18884 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3532.71 s]
/proc/loadavg: 4.32 4.42 4.40 5/329 75521
/proc/meminfo: memFree=110838004/131382120 swapFree=33010416/33010684
[pid=75050] ppid=75044 vsize=19329768 memory=6172400 CPUtime=3600.29 cores=4,6
/proc/75050/stat : 75050 (java) S 75044 75050 74994 0 -1 4194304 219006 0 70 0 359613 416 0 0 20 0 22 0 70673675 19793682432 1543100 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
/proc/75050/statm: 4832442 1543100 5531 1 0 1570598 0
[pid=75050/tid=75064] ppid=75044 vsize=19329768 memory=6171504 CPUtime=3474.64 cores=4,6
/proc/75050/task/75064/stat : 75064 (java) R 75044 75050 74994 0 -1 4194368 123509 0 70 0 347339 125 0 0 20 0 22 0 70673678 19793682432 1543100 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75099] ppid=75044 vsize=19329768 memory=5504 CPUtime=0 cores=4,6
/proc/75050/task/75099/stat : 75099 (Finalizer) S 75044 75050 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 22 0 70673683 19793682432 1543100 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
[pid=75050/tid=75126] ppid=75044 vsize=19329768 memory=4252 CPUtime=0 cores=4,6
/proc/75050/task/75126/stat : 75126 (Common-Cleaner) S 75044 75050 74994 0 -1 4194368 2392 0 0 0 0 0 0 0 20 0 22 0 70673684 19793682432 1543100 18446744073709551615 93880533311488 93880533315184 140721873918128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93880533323000 93880533323792 93880549982208 140721873922430 140721873922534 140721873922534 140721873928136 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 19329768 KiB
Current children cumulated memory: 6172400 KiB
Child status: 143
Real time (s): 3532.79
CPU time (s): 3600.44
CPU user time (s): 3596.25
CPU system time (s): 4.18884
CPU usage (%): 101.915
Max. virtual memory (cumulated for all children) (KiB): 19329768
Max. memory (cumulated for all children) (KiB): 6172400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.25
system time used= 4.18884
maximum resident set size= 6172656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 219765
page faults= 70
swaps= 0
block input operations= 0
block output operations= 3728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120904
involuntary context switches= 10717
# summary of solver processes directly reported to runsolver:
# pid: 75050
# total CPU time (s): 3600.44
# total CPU user time (s): 3596.25
# total CPU system time (s): 4.18884
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3538 second user time and 37.6001 second system time
The end