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: 63968 MiB (61762 MiB free)
memory of node 1: 64473 MiB (61077 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459267-1721900158/watcher-4459267-1721900158 -o /tmp/evaluation-result-4459267-1721900158/solver-4459267-1721900158 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721900158-231233 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4459267-1721900158.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=231345, runsolver pid=231342
Current StackSize limit: 8192 KiB
[startup+0.101483 s]*
/proc/loadavg: 1.06 1.09 1.46 13/324 231363
/proc/meminfo: memFree=125663260/131524600 swapFree=131055836/131071996
[pid=231345] ppid=231342 vsize=18975048 memory=64692 CPUtime=0.14 cores=5,7
/proc/231345/stat : 231345 (java) S 231342 231345 225610 0 -1 1077936128 7155 0 0 0 13 1 0 0 20 0 18 0 26545498 19430449152 16173 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
/proc/231345/statm: 4743762 16173 5613 1 0 549381 0
[pid=231345/tid=231347] ppid=231342 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/231345/task/231347/stat : 231347 (java) R 231342 231345 225610 0 -1 4194368 5718 0 0 0 8 1 0 0 20 0 18 0 26545498 19430449152 16173 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231356] ppid=231342 vsize=18975048 memory=237146210664 CPUtime=0 cores=5,7
/proc/231345/task/231356/stat : 231356 (Finalizer) S 231342 231345 225610 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 26545501 19430449152 16173 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231363] ppid=231342 vsize=18975048 memory=14131147602236477 CPUtime=0 cores=5,7
/proc/231345/task/231363/stat : 231363 (Common-Cleaner) S 231342 231345 225610 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 26545501 19430449152 16173 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64692 KiB
[startup+0.205889 s]*
/proc/loadavg: 1.06 1.09 1.46 16/327 231366
/proc/meminfo: memFree=125379096/131524600 swapFree=131055836/131071996
[pid=231345] ppid=231342 vsize=18975048 memory=79656 CPUtime=0.34 cores=5,7
/proc/231345/stat : 231345 (java) S 231342 231345 225610 0 -1 1077936128 7628 0 0 0 33 1 0 0 20 0 18 0 26545498 19430449152 19914 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
/proc/231345/statm: 4743762 19914 5846 1 0 549686 0
[pid=231345/tid=231347] ppid=231342 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=5,7
/proc/231345/task/231347/stat : 231347 (java) R 231342 231345 225610 0 -1 4194368 5937 0 0 0 18 1 0 0 20 0 18 0 26545498 19430449152 19914 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231356] ppid=231342 vsize=18975048 memory=1416227 CPUtime=0 cores=5,7
/proc/231345/task/231356/stat : 231356 (Finalizer) S 231342 231345 225610 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 26545501 19430449152 19914 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231363] ppid=231342 vsize=18975048 memory=15537422972749500 CPUtime=0 cores=5,7
/proc/231345/task/231363/stat : 231363 (Common-Cleaner) S 231342 231345 225610 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 26545501 19430449152 19914 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 79656 KiB
[startup+0.3069 s]*
/proc/loadavg: 1.06 1.09 1.46 12/328 231367
/proc/meminfo: memFree=125042528/131524600 swapFree=131055836/131071996
[pid=231345] ppid=231342 vsize=18975048 memory=147928 CPUtime=0.53 cores=5,7
/proc/231345/stat : 231345 (java) S 231342 231345 225610 0 -1 1077936128 9675 0 0 0 50 3 0 0 20 0 18 0 26545498 19430449152 36982 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
/proc/231345/statm: 4743762 36982 5846 1 0 550831 0
[pid=231345/tid=231347] ppid=231342 vsize=18975048 memory=-9032364238728569532 CPUtime=0.28 cores=5,7
/proc/231345/task/231347/stat : 231347 (java) R 231342 231345 225610 0 -1 4194368 5988 0 0 0 26 2 0 0 20 0 18 0 26545498 19430449152 36982 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231356] ppid=231342 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/231345/task/231356/stat : 231356 (Finalizer) S 231342 231345 225610 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 26545501 19430449152 36982 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231363] ppid=231342 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/231345/task/231363/stat : 231363 (Common-Cleaner) S 231342 231345 225610 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 26545501 19430449152 36982 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 147928 KiB
[startup+0.7009 s]
/proc/loadavg: 1.06 1.09 1.46 9/330 231371
/proc/meminfo: memFree=124182548/131524600 swapFree=131055836/131071996
[pid=231345] ppid=231342 vsize=19041612 memory=929108 CPUtime=1.11 cores=5,7
/proc/231345/stat : 231345 (java) S 231342 231345 225610 0 -1 1077936128 11310 0 0 0 92 19 0 0 20 0 19 0 26545498 19498610688 232277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
/proc/231345/statm: 4760403 232277 5894 1 0 1077832 0
[pid=231345/tid=231347] ppid=231342 vsize=19041612 memory=5476 CPUtime=0.6 cores=5,7
/proc/231345/task/231347/stat : 231347 (java) R 231342 231345 225610 0 -1 4194368 6365 0 0 0 43 17 0 0 20 0 19 0 26545498 19498610688 232277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231356] ppid=231342 vsize=19041612 memory=12928 CPUtime=0 cores=5,7
/proc/231345/task/231356/stat : 231356 (Finalizer) S 231342 231345 225610 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 26545501 19498610688 232277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231363] ppid=231342 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/231345/task/231363/stat : 231363 (Common-Cleaner) S 231342 231345 225610 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 26545501 19498610688 232277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 929108 KiB
[startup+1.5009 s]
/proc/loadavg: 1.06 1.09 1.46 9/307 231382
/proc/meminfo: memFree=123530684/131524600 swapFree=131055836/131071996
[pid=231345] ppid=231342 vsize=19041612 memory=2574672 CPUtime=2.55 cores=5,7
/proc/231345/stat : 231345 (java) S 231342 231345 225610 0 -1 1077936128 23163 0 0 0 203 52 0 0 20 0 19 0 26545498 19498610688 643668 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
/proc/231345/statm: 4760403 643668 5894 1 0 1083241 0
[pid=231345/tid=231347] ppid=231342 vsize=19041612 memory=12928 CPUtime=1.38 cores=5,7
/proc/231345/task/231347/stat : 231347 (java) R 231342 231345 225610 0 -1 4194368 7208 0 0 0 90 48 0 0 20 0 19 0 26545498 19498610688 643668 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231356] ppid=231342 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/231345/task/231356/stat : 231356 (Finalizer) S 231342 231345 225610 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 26545501 19498610688 643668 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231363] ppid=231342 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/231345/task/231363/stat : 231363 (Common-Cleaner) S 231342 231345 225610 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 26545501 19498610688 643668 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
Current children cumulated CPU time: 2.55 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2574672 KiB
[startup+3.1059 s]
/proc/loadavg: 1.06 1.09 1.46 9/331 231439
/proc/meminfo: memFree=120908852/131524600 swapFree=131055836/131071996
[pid=231345] ppid=231342 vsize=19041612 memory=2578840 CPUtime=4.65 cores=5,7
/proc/231345/stat : 231345 (java) S 231342 231345 225610 0 -1 1077936128 23906 0 0 0 412 53 0 0 20 0 19 0 26545498 19498610688 644710 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
/proc/231345/statm: 4760403 644710 5894 1 0 1083662 0
[pid=231345/tid=231347] ppid=231342 vsize=19041612 memory=0 CPUtime=2.94 cores=5,7
/proc/231345/task/231347/stat : 231347 (java) R 231342 231345 225610 0 -1 4194368 7374 0 0 0 246 48 0 0 20 0 19 0 26545498 19498610688 644710 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231356] ppid=231342 vsize=19041612 memory=12928 CPUtime=0 cores=5,7
/proc/231345/task/231356/stat : 231356 (Finalizer) S 231342 231345 225610 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 26545501 19498610688 644710 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231363] ppid=231342 vsize=19041612 memory=1134296568137649 CPUtime=0 cores=5,7
/proc/231345/task/231363/stat : 231363 (Common-Cleaner) S 231342 231345 225610 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 26545501 19498610688 644710 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
Current children cumulated CPU time: 4.65 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2578840 KiB
[startup+6.30091 s]
/proc/loadavg: 1.77 1.24 1.51 5/331 231439
/proc/meminfo: memFree=120338620/131524600 swapFree=131055836/131071996
[pid=231345] ppid=231342 vsize=19041612 memory=2581684 CPUtime=7.86 cores=5,7
/proc/231345/stat : 231345 (java) S 231342 231345 225610 0 -1 1077936128 24389 0 0 0 732 54 0 0 20 0 19 0 26545498 19498610688 645421 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
/proc/231345/statm: 4760403 645421 5894 1 0 1083664 0
[pid=231345/tid=231347] ppid=231342 vsize=19041612 memory=12928 CPUtime=6.03 cores=5,7
/proc/231345/task/231347/stat : 231347 (java) R 231342 231345 225610 0 -1 4194368 7810 0 0 0 554 49 0 0 20 0 19 0 26545498 19498610688 645421 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231356] ppid=231342 vsize=19041612 memory=2578840 CPUtime=0 cores=5,7
/proc/231345/task/231356/stat : 231356 (Finalizer) S 231342 231345 225610 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 26545501 19498610688 645421 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231363] ppid=231342 vsize=19041612 memory=11588 CPUtime=0 cores=5,7
/proc/231345/task/231363/stat : 231363 (Common-Cleaner) S 231342 231345 225610 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 26545501 19498610688 645421 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
Current children cumulated CPU time: 7.86 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2581684 KiB
[startup+12.7009 s]
/proc/loadavg: 1.95 1.28 1.52 5/331 231440
/proc/meminfo: memFree=119662044/131524600 swapFree=131055836/131071996
[pid=231345] ppid=231342 vsize=19041612 memory=2588864 CPUtime=14.29 cores=5,7
/proc/231345/stat : 231345 (java) S 231342 231345 225610 0 -1 1077936128 27093 0 0 0 1374 55 0 0 20 0 19 0 26545498 19498610688 647216 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
/proc/231345/statm: 4760403 647216 5894 1 0 1083664 0
[pid=231345/tid=231347] ppid=231342 vsize=19041612 memory=11588 CPUtime=12.2 cores=5,7
/proc/231345/task/231347/stat : 231347 (java) R 231342 231345 225610 0 -1 4194368 8874 0 0 0 1171 49 0 0 20 0 19 0 26545498 19498610688 647216 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231356] ppid=231342 vsize=19041612 memory=2586768 CPUtime=0 cores=5,7
/proc/231345/task/231356/stat : 231356 (Finalizer) S 231342 231345 225610 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 26545501 19498610688 647216 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231363] ppid=231342 vsize=19041612 memory=68448 CPUtime=0 cores=5,7
/proc/231345/task/231363/stat : 231363 (Common-Cleaner) S 231342 231345 225610 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 26545501 19498610688 647216 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
Current children cumulated CPU time: 14.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2588864 KiB
[startup+25.5009 s]
/proc/loadavg: 2.57 1.45 1.57 6/332 231444
/proc/meminfo: memFree=118924636/131524600 swapFree=131055836/131071996
[pid=231345] ppid=231342 vsize=19108176 memory=2611516 CPUtime=27.48 cores=5,7
/proc/231345/stat : 231345 (java) S 231342 231345 225610 0 -1 1077936128 38762 0 0 0 2690 58 0 0 20 0 20 0 26545498 19566772224 652879 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
/proc/231345/statm: 4777044 652879 5932 1 0 1084074 0
[pid=231345/tid=231347] ppid=231342 vsize=19108176 memory=2599388 CPUtime=24.52 cores=5,7
/proc/231345/task/231347/stat : 231347 (java) R 231342 231345 225610 0 -1 4194368 12529 0 0 0 2401 51 0 0 20 0 20 0 26545498 19566772224 652879 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231356] ppid=231342 vsize=19108176 memory=2599388 CPUtime=0 cores=5,7
/proc/231345/task/231356/stat : 231356 (Finalizer) S 231342 231345 225610 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26545501 19566772224 652879 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231363] ppid=231342 vsize=19108176 memory=12928 CPUtime=0 cores=5,7
/proc/231345/task/231363/stat : 231363 (Common-Cleaner) S 231342 231345 225610 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 26545501 19566772224 652879 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
Current children cumulated CPU time: 27.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2611516 KiB
[startup+51.1058 s]
/proc/loadavg: 3.13 1.67 1.65 5/332 231450
/proc/meminfo: memFree=117755480/131524600 swapFree=131055836/131071996
[pid=231345] ppid=231342 vsize=19108176 memory=2706836 CPUtime=56 cores=5,7
/proc/231345/stat : 231345 (java) S 231342 231345 225610 0 -1 1077936128 49843 0 0 0 5537 63 0 0 20 0 20 0 26545498 19566772224 676709 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
/proc/231345/statm: 4777044 676709 5948 1 0 1084155 0
[pid=231345/tid=231347] ppid=231342 vsize=19108176 memory=-9032364238728569532 CPUtime=49.94 cores=5,7
/proc/231345/task/231347/stat : 231347 (java) R 231342 231345 225610 0 -1 4194368 14531 0 0 0 4943 51 0 0 20 0 20 0 26545498 19566772224 676709 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231356] ppid=231342 vsize=19108176 memory=2706632 CPUtime=0 cores=5,7
/proc/231345/task/231356/stat : 231356 (Finalizer) S 231342 231345 225610 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26545501 19566772224 676709 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231363] ppid=231342 vsize=19108176 memory=2706632 CPUtime=0 cores=5,7
/proc/231345/task/231363/stat : 231363 (Common-Cleaner) S 231342 231345 225610 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 26545501 19566772224 676709 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231445] ppid=231342 vsize=19108176 memory=2580888 CPUtime=0 cores=5,7
/proc/231345/task/231445/stat : 231445 (Timer-0) S 231342 231345 225610 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 26548034 19566772224 676709 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
Current children cumulated CPU time: 56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2706836 KiB
[startup+102.3 s]
/proc/loadavg: 3.78 2.08 1.79 5/332 231458
/proc/meminfo: memFree=117078092/131524600 swapFree=131055836/131071996
[pid=231345] ppid=231342 vsize=19108176 memory=2707076 CPUtime=107.38 cores=5,7
################
# More data... #
################
/proc/meminfo: memFree=111595904/131524600 swapFree=131055836/131071996
[pid=231345] ppid=231342 vsize=19108176 memory=4217040 CPUtime=3224.53 cores=5,7
/proc/231345/stat : 231345 (java) S 231342 231345 225610 0 -1 1077936128 233120 0 0 0 322226 227 0 0 20 0 20 0 26545498 19566772224 1054260 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
/proc/231345/statm: 4777044 1054260 5980 1 0 1084156 0
[pid=231345/tid=231347] ppid=231342 vsize=19108176 memory=68448 CPUtime=3210.14 cores=5,7
/proc/231345/task/231347/stat : 231347 (java) R 231342 231345 225610 0 -1 4194368 123328 0 0 0 320950 64 0 0 20 0 20 0 26545498 19566772224 1054260 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231356] ppid=231342 vsize=19108176 memory=19124 CPUtime=0 cores=5,7
/proc/231345/task/231356/stat : 231356 (Finalizer) S 231342 231345 225610 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26545501 19566772224 1054260 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231363] ppid=231342 vsize=19108176 memory=4217040 CPUtime=0 cores=5,7
/proc/231345/task/231363/stat : 231363 (Common-Cleaner) S 231342 231345 225610 0 -1 1077936192 5820 0 0 0 0 0 0 0 20 0 20 0 26545501 19566772224 1054260 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231445] ppid=231342 vsize=19108176 memory=11588 CPUtime=0 cores=5,7
/proc/231345/task/231445/stat : 231445 (Timer-0) S 231342 231345 225610 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 26548034 19566772224 1054260 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
Current children cumulated CPU time: 3224.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4217040 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.23 4.13 5/335 233240
/proc/meminfo: memFree=111594664/131524600 swapFree=131055836/131071996
[pid=231345] ppid=231342 vsize=19108176 memory=4217108 CPUtime=3284.4 cores=5,7
/proc/231345/stat : 231345 (java) S 231342 231345 225610 0 -1 1077936128 236568 0 0 0 328211 229 0 0 20 0 20 0 26545498 19566772224 1054277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
/proc/231345/statm: 4777044 1054277 5996 1 0 1084156 0
[pid=231345/tid=231347] ppid=231342 vsize=19108176 memory=4217108 CPUtime=3269.97 cores=5,7
/proc/231345/task/231347/stat : 231347 (java) R 231342 231345 225610 0 -1 4194368 125714 0 0 0 326933 64 0 0 20 0 20 0 26545498 19566772224 1054277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231356] ppid=231342 vsize=19108176 memory=4216972 CPUtime=0 cores=5,7
/proc/231345/task/231356/stat : 231356 (Finalizer) S 231342 231345 225610 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26545501 19566772224 1054277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231363] ppid=231342 vsize=19108176 memory=5476 CPUtime=0 cores=5,7
/proc/231345/task/231363/stat : 231363 (Common-Cleaner) S 231342 231345 225610 0 -1 1077936192 5940 0 0 0 0 0 0 0 20 0 20 0 26545501 19566772224 1054277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231445] ppid=231342 vsize=19108176 memory=2220 CPUtime=0 cores=5,7
/proc/231345/task/231445/stat : 231445 (Timer-0) S 231342 231345 225610 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 26548034 19566772224 1054277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
Current children cumulated CPU time: 3284.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4217108 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.22 4.13 5/335 233252
/proc/meminfo: memFree=111593996/131524600 swapFree=131055836/131071996
[pid=231345] ppid=231342 vsize=19108176 memory=4217108 CPUtime=3344.41 cores=5,7
/proc/231345/stat : 231345 (java) S 231342 231345 225610 0 -1 1077936128 240437 0 0 0 334210 231 0 0 20 0 20 0 26545498 19566772224 1054277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
/proc/231345/statm: 4777044 1054277 5996 1 0 1084156 0
[pid=231345/tid=231347] ppid=231342 vsize=19108176 memory=32692 CPUtime=3329.64 cores=5,7
/proc/231345/task/231347/stat : 231347 (java) R 231342 231345 225610 0 -1 4194368 127888 0 0 0 332900 64 0 0 20 0 20 0 26545498 19566772224 1054277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231356] ppid=231342 vsize=19108176 memory=-9032364238728569532 CPUtime=0 cores=5,7
/proc/231345/task/231356/stat : 231356 (Finalizer) S 231342 231345 225610 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26545501 19566772224 1054277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231363] ppid=231342 vsize=19108176 memory=4217108 CPUtime=0 cores=5,7
/proc/231345/task/231363/stat : 231363 (Common-Cleaner) S 231342 231345 225610 0 -1 1077936192 6017 0 0 0 0 0 0 0 20 0 20 0 26545501 19566772224 1054277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231445] ppid=231342 vsize=19108176 memory=4217108 CPUtime=0 cores=5,7
/proc/231345/task/231445/stat : 231445 (Timer-0) S 231342 231345 225610 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 26548034 19566772224 1054277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
Current children cumulated CPU time: 3344.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4217108 KiB
[startup+3402.3 s]
/proc/loadavg: 4.28 4.24 4.14 5/335 233262
/proc/meminfo: memFree=111593376/131524600 swapFree=131055836/131071996
[pid=231345] ppid=231342 vsize=19108176 memory=4217108 CPUtime=3404.32 cores=5,7
/proc/231345/stat : 231345 (java) S 231342 231345 225610 0 -1 1077936128 242540 0 0 0 340198 234 0 0 20 0 20 0 26545498 19566772224 1054277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
/proc/231345/statm: 4777044 1054277 5996 1 0 1084156 0
[pid=231345/tid=231347] ppid=231342 vsize=19108176 memory=-9032364238728569532 CPUtime=3389.51 cores=5,7
/proc/231345/task/231347/stat : 231347 (java) R 231342 231345 225610 0 -1 4194368 129727 0 0 0 338886 65 0 0 20 0 20 0 26545498 19566772224 1054277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231356] ppid=231342 vsize=19108176 memory=4217108 CPUtime=0 cores=5,7
/proc/231345/task/231356/stat : 231356 (Finalizer) S 231342 231345 225610 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26545501 19566772224 1054277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231363] ppid=231342 vsize=19108176 memory=4217108 CPUtime=0 cores=5,7
/proc/231345/task/231363/stat : 231363 (Common-Cleaner) S 231342 231345 225610 0 -1 1077936192 6139 0 0 0 0 0 0 0 20 0 20 0 26545501 19566772224 1054277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231445] ppid=231342 vsize=19108176 memory=11588 CPUtime=0 cores=5,7
/proc/231345/task/231445/stat : 231445 (Timer-0) S 231342 231345 225610 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 26548034 19566772224 1054277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
Current children cumulated CPU time: 3404.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4217108 KiB
[startup+3462.3 s]
/proc/loadavg: 4.30 4.24 4.15 5/335 233272
/proc/meminfo: memFree=111592252/131524600 swapFree=131055836/131071996
[pid=231345] ppid=231342 vsize=19108176 memory=4217108 CPUtime=3464.19 cores=5,7
/proc/231345/stat : 231345 (java) S 231342 231345 225610 0 -1 1077936128 245077 0 0 0 346183 236 0 0 20 0 20 0 26545498 19566772224 1054277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
/proc/231345/statm: 4777044 1054277 5996 1 0 1084156 0
[pid=231345/tid=231347] ppid=231342 vsize=19108176 memory=-9032364238728569532 CPUtime=3449.34 cores=5,7
/proc/231345/task/231347/stat : 231347 (java) R 231342 231345 225610 0 -1 4194368 131961 0 0 0 344869 65 0 0 20 0 20 0 26545498 19566772224 1054277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231356] ppid=231342 vsize=19108176 memory=4217108 CPUtime=0 cores=5,7
/proc/231345/task/231356/stat : 231356 (Finalizer) S 231342 231345 225610 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26545501 19566772224 1054277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231363] ppid=231342 vsize=19108176 memory=4217108 CPUtime=0 cores=5,7
/proc/231345/task/231363/stat : 231363 (Common-Cleaner) S 231342 231345 225610 0 -1 1077936192 6261 0 0 0 0 0 0 0 20 0 20 0 26545501 19566772224 1054277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231445] ppid=231342 vsize=19108176 memory=11588 CPUtime=0 cores=5,7
/proc/231345/task/231445/stat : 231445 (Timer-0) S 231342 231345 225610 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 26548034 19566772224 1054277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
Current children cumulated CPU time: 3464.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4217108 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.22 4.15 4/309 233316
/proc/meminfo: memFree=115878488/131524600 swapFree=131055836/131071996
[pid=231345] ppid=231342 vsize=19108176 memory=4217108 CPUtime=3524.06 cores=5,7
/proc/231345/stat : 231345 (java) S 231342 231345 225610 0 -1 1077936128 247556 0 0 0 352168 238 0 0 20 0 20 0 26545498 19566772224 1054277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
/proc/231345/statm: 4777044 1054277 5996 1 0 1084156 0
[pid=231345/tid=231347] ppid=231342 vsize=19108176 memory=4217108 CPUtime=3509.19 cores=5,7
/proc/231345/task/231347/stat : 231347 (java) R 231342 231345 225610 0 -1 4194368 134103 0 0 0 350853 66 0 0 20 0 20 0 26545498 19566772224 1054277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231356] ppid=231342 vsize=19108176 memory=2220 CPUtime=0 cores=5,7
/proc/231345/task/231356/stat : 231356 (Finalizer) S 231342 231345 225610 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26545501 19566772224 1054277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231363] ppid=231342 vsize=19108176 memory=4217108 CPUtime=0 cores=5,7
/proc/231345/task/231363/stat : 231363 (Common-Cleaner) S 231342 231345 225610 0 -1 1077936192 6383 0 0 0 0 0 0 0 20 0 20 0 26545501 19566772224 1054277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231445] ppid=231342 vsize=19108176 memory=4217108 CPUtime=0 cores=5,7
/proc/231345/task/231445/stat : 231445 (Timer-0) S 231342 231345 225610 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 26548034 19566772224 1054277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
Current children cumulated CPU time: 3524.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4217108 KiB
[startup+3582.3 s]
/proc/loadavg: 2.85 3.83 4.02 3/279 233361
/proc/meminfo: memFree=118475064/131524600 swapFree=131055836/131071996
[pid=231345] ppid=231342 vsize=19108176 memory=4217108 CPUtime=3583.94 cores=5,7
/proc/231345/stat : 231345 (java) S 231342 231345 225610 0 -1 1077936128 250103 0 0 0 358154 240 0 0 20 0 20 0 26545498 19566772224 1054277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
/proc/231345/statm: 4777044 1054277 5996 1 0 1084156 0
[pid=231345/tid=231347] ppid=231342 vsize=19108176 memory=12928 CPUtime=3569.02 cores=5,7
/proc/231345/task/231347/stat : 231347 (java) R 231342 231345 225610 0 -1 4194368 136272 0 0 0 356836 66 0 0 20 0 20 0 26545498 19566772224 1054277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231356] ppid=231342 vsize=19108176 memory=11588 CPUtime=0 cores=5,7
/proc/231345/task/231356/stat : 231356 (Finalizer) S 231342 231345 225610 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26545501 19566772224 1054277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231363] ppid=231342 vsize=19108176 memory=4217108 CPUtime=0 cores=5,7
/proc/231345/task/231363/stat : 231363 (Common-Cleaner) S 231342 231345 225610 0 -1 1077936192 6505 0 0 0 0 0 0 0 20 0 20 0 26545501 19566772224 1054277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231445] ppid=231342 vsize=19108176 memory=11588 CPUtime=0 cores=5,7
/proc/231345/task/231445/stat : 231445 (Timer-0) S 231342 231345 225610 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 26548034 19566772224 1054277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
Current children cumulated CPU time: 3583.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4217108 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3598.4 s]
/proc/loadavg: 2.51 3.71 3.97 2/253 233397
/proc/meminfo: memFree=121664944/131524600 swapFree=131055836/131071996
[pid=231345] ppid=231342 vsize=19108176 memory=4217108 CPUtime=3600.01 cores=5,7
/proc/231345/stat : 231345 (java) S 231342 231345 225610 0 -1 1077936128 251557 0 0 0 359760 241 0 0 20 0 20 0 26545498 19566772224 1054277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
/proc/231345/statm: 4777044 1054277 5996 1 0 1084156 0
[pid=231345/tid=231347] ppid=231342 vsize=19108176 memory=11588 CPUtime=3585.09 cores=5,7
/proc/231345/task/231347/stat : 231347 (java) R 231342 231345 225610 0 -1 4194368 137433 0 0 0 358443 66 0 0 20 0 20 0 26545498 19566772224 1054277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231356] ppid=231342 vsize=19108176 memory=68448 CPUtime=0 cores=5,7
/proc/231345/task/231356/stat : 231356 (Finalizer) S 231342 231345 225610 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26545501 19566772224 1054277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231363] ppid=231342 vsize=19108176 memory=12928 CPUtime=0 cores=5,7
/proc/231345/task/231363/stat : 231363 (Common-Cleaner) S 231342 231345 225610 0 -1 1077936192 6505 0 0 0 0 0 0 0 20 0 20 0 26545501 19566772224 1054277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
[pid=231345/tid=231445] ppid=231342 vsize=19108176 memory=5476 CPUtime=0 cores=5,7
/proc/231345/task/231445/stat : 231445 (Timer-0) S 231342 231345 225610 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 26548034 19566772224 1054277 134679101440 94161691500544 94161691504240 140735396977888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94161691512056 94161691512848 94161707065344 140735396979701 140735396979809 140735396979809 140735396986824 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4217108 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3598.46 s]
# the end of solver process 231345 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.68 s, system=2.43634 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3598.46
CPU time (s): 3600.12
CPU user time (s): 3597.68
CPU system time (s): 2.43634
CPU usage (%): 100.046
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 4217108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.68
system time used= 2.43634
maximum resident set size= 4218416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 254645
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 128766
involuntary context switches= 1977
# summary of solver processes directly reported to runsolver:
# pid: 231345
# total CPU time (s): 3600.12
# total CPU user time (s): 3597.68
# total CPU system time (s): 2.43634
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.93046 second user time and 17.9481 second system time
The end