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 (56895 MiB free)
memory of node 1: 64473 MiB (57606 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457863-1721865108/watcher-4457863-1721865108 -o /tmp/evaluation-result-4457863-1721865108/solver-4457863-1721865108 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721865105-264738 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4457863-1721865108.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Current StackSize limit: 8192 KiB
solver pid=265319, runsolver pid=265316
[startup+0.100548 s]*
/proc/loadavg: 0.43 0.16 0.11 9/331 265337
/proc/meminfo: memFree=117190296/131524600 swapFree=131071728/131071996
[pid=265319] ppid=265316 vsize=18975048 memory=62532 CPUtime=0.13 cores=4,6
/proc/265319/stat : 265319 (java) S 265316 265319 264727 0 -1 1077936128 7241 0 0 0 12 1 0 0 20 0 18 0 23033788 19430449152 15633 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
/proc/265319/statm: 4743762 15633 5514 1 0 549381 0
[pid=265319/tid=265321] ppid=265316 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/265319/task/265321/stat : 265321 (java) R 265316 265319 264727 0 -1 1078198336 5768 0 0 0 7 1 0 0 20 0 18 0 23033788 19430449152 15633 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265330] ppid=265316 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/265319/task/265330/stat : 265330 (Finalizer) S 265316 265319 264727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 23033790 19430449152 15633 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265337] ppid=265316 vsize=18975048 memory=14130048089961189 CPUtime=0 cores=4,6
/proc/265319/task/265337/stat : 265337 (Common-Cleaner) S 265316 265319 264727 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 23033791 19430449152 15633 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62532 KiB
[startup+0.210429 s]*
/proc/loadavg: 0.43 0.16 0.11 10/333 265339
/proc/meminfo: memFree=117160172/131524600 swapFree=131071728/131071996
[pid=265319] ppid=265316 vsize=19041612 memory=72724 CPUtime=0.34 cores=4,6
/proc/265319/stat : 265319 (java) S 265316 265319 264727 0 -1 1077936128 7968 0 0 0 32 2 0 0 20 0 19 0 23033788 19498610688 18181 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
/proc/265319/statm: 4760403 18181 5847 1 0 550105 0
[pid=265319/tid=265321] ppid=265316 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/265319/task/265321/stat : 265321 (java) R 265316 265319 264727 0 -1 4194368 6146 0 0 0 17 1 0 0 20 0 19 0 23033788 19498610688 18181 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265330] ppid=265316 vsize=19041612 memory=770575 CPUtime=0 cores=4,6
/proc/265319/task/265330/stat : 265330 (Finalizer) S 265316 265319 264727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23033790 19498610688 18181 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265337] ppid=265316 vsize=19041612 memory=15816698926204594 CPUtime=0 cores=4,6
/proc/265319/task/265337/stat : 265337 (Common-Cleaner) S 265316 265319 264727 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23033791 19498610688 18181 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265338] ppid=265316 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/265319/task/265338/stat : 265338 (Timer-0) S 265316 265319 264727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23033805 19498610688 18181 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 72724 KiB
[startup+0.306429 s]*
/proc/loadavg: 0.43 0.16 0.11 9/333 265339
/proc/meminfo: memFree=117140928/131524600 swapFree=131071728/131071996
[pid=265319] ppid=265316 vsize=19041612 memory=89904 CPUtime=0.53 cores=4,6
/proc/265319/stat : 265319 (java) S 265316 265319 264727 0 -1 1077936128 8275 0 0 0 50 3 0 0 20 0 19 0 23033788 19498610688 22476 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
/proc/265319/statm: 4760403 22476 5847 1 0 550159 0
[pid=265319/tid=265321] ppid=265316 vsize=19041612 memory=-8744978270276788924 CPUtime=0.28 cores=4,6
/proc/265319/task/265321/stat : 265321 (java) R 265316 265319 264727 0 -1 4194368 6178 0 0 0 26 2 0 0 20 0 19 0 23033788 19498610688 22476 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265330] ppid=265316 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/265319/task/265330/stat : 265330 (Finalizer) S 265316 265319 264727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23033790 19498610688 22413 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265337] ppid=265316 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/265319/task/265337/stat : 265337 (Common-Cleaner) S 265316 265319 264727 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23033791 19498610688 22413 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265338] ppid=265316 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/265319/task/265338/stat : 265338 (Timer-0) S 265316 265319 264727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23033805 19498610688 22413 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 89904 KiB
[startup+0.704439 s]
/proc/loadavg: 0.43 0.16 0.11 8/312 265341
/proc/meminfo: memFree=117227692/131524600 swapFree=131071728/131071996
[pid=265319] ppid=265316 vsize=19108176 memory=176136 CPUtime=1.27 cores=4,6
/proc/265319/stat : 265319 (java) S 265316 265319 264727 0 -1 1077936128 12571 0 0 0 121 6 0 0 20 0 20 0 23033788 19566772224 44034 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
/proc/265319/statm: 4777044 44034 5863 1 0 553334 0
[pid=265319/tid=265321] ppid=265316 vsize=19108176 memory=73000 CPUtime=0.6 cores=4,6
/proc/265319/task/265321/stat : 265321 (java) R 265316 265319 264727 0 -1 4194368 6225 0 0 0 56 4 0 0 20 0 20 0 23033788 19566772224 44034 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265330] ppid=265316 vsize=19108176 memory=12264 CPUtime=0 cores=4,6
/proc/265319/task/265330/stat : 265330 (Finalizer) S 265316 265319 264727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23033790 19566772224 44034 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265337] ppid=265316 vsize=19108176 memory=2248 CPUtime=0 cores=4,6
/proc/265319/task/265337/stat : 265337 (Common-Cleaner) S 265316 265319 264727 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 23033791 19566772224 44034 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265338] ppid=265316 vsize=19108176 memory=25948 CPUtime=0 cores=4,6
/proc/265319/task/265338/stat : 265338 (Timer-0) S 265316 265319 264727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23033805 19566772224 44034 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 176136 KiB
[startup+1.50443 s]
/proc/loadavg: 0.43 0.16 0.11 8/332 265405
/proc/meminfo: memFree=117138264/131524600 swapFree=131071728/131071996
[pid=265319] ppid=265316 vsize=19108176 memory=310348 CPUtime=2.85 cores=4,6
/proc/265319/stat : 265319 (java) S 265316 265319 264727 0 -1 1077936128 21023 0 0 0 276 9 0 0 20 0 20 0 23033788 19566772224 77587 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
/proc/265319/statm: 4777044 77587 5879 1 0 557638 0
[pid=265319/tid=265321] ppid=265316 vsize=19108176 memory=12264 CPUtime=1.37 cores=4,6
/proc/265319/task/265321/stat : 265321 (java) R 265316 265319 264727 0 -1 4194368 6355 0 0 0 131 6 0 0 20 0 20 0 23033788 19566772224 77587 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265330] ppid=265316 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/265319/task/265330/stat : 265330 (Finalizer) S 265316 265319 264727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23033790 19566772224 77587 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265337] ppid=265316 vsize=19108176 memory=2248 CPUtime=0 cores=4,6
/proc/265319/task/265337/stat : 265337 (Common-Cleaner) S 265316 265319 264727 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 23033791 19566772224 77587 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265338] ppid=265316 vsize=19108176 memory=25948 CPUtime=0 cores=4,6
/proc/265319/task/265338/stat : 265338 (Timer-0) S 265316 265319 264727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23033805 19566772224 77587 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 310348 KiB
[startup+3.10643 s]
/proc/loadavg: 0.43 0.16 0.11 7/334 265407
/proc/meminfo: memFree=116105240/131524600 swapFree=131071728/131071996
[pid=265319] ppid=265316 vsize=19108176 memory=1054392 CPUtime=5.48 cores=4,6
/proc/265319/stat : 265319 (java) S 265316 265319 264727 0 -1 1077936128 27663 0 0 0 525 23 0 0 20 0 20 0 23033788 19566772224 263598 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
/proc/265319/statm: 4777044 263598 5879 1 0 674922 0
[pid=265319/tid=265321] ppid=265316 vsize=19108176 memory=0 CPUtime=2.91 cores=4,6
/proc/265319/task/265321/stat : 265321 (java) R 265316 265319 264727 0 -1 4194368 7397 0 0 0 271 20 0 0 20 0 20 0 23033788 19566772224 263598 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265330] ppid=265316 vsize=19108176 memory=-8744978270276788924 CPUtime=0 cores=4,6
/proc/265319/task/265330/stat : 265330 (Finalizer) S 265316 265319 264727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23033790 19566772224 263598 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265337] ppid=265316 vsize=19108176 memory=12264 CPUtime=0 cores=4,6
/proc/265319/task/265337/stat : 265337 (Common-Cleaner) S 265316 265319 264727 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 23033791 19566772224 263598 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265338] ppid=265316 vsize=19108176 memory=2248 CPUtime=0 cores=4,6
/proc/265319/task/265338/stat : 265338 (Timer-0) S 265316 265319 264727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23033805 19566772224 263598 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
Current children cumulated CPU time: 5.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1054392 KiB
[startup+6.30043 s]
/proc/loadavg: 0.79 0.24 0.14 7/335 265410
/proc/meminfo: memFree=115383532/131524600 swapFree=131071728/131071996
[pid=265319] ppid=265316 vsize=19108176 memory=1373892 CPUtime=9.28 cores=4,6
/proc/265319/stat : 265319 (java) S 265316 265319 264727 0 -1 1077936128 29269 0 0 0 897 31 0 0 20 0 20 0 23033788 19566772224 343473 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
/proc/265319/statm: 4777044 343473 5879 1 0 675068 0
[pid=265319/tid=265321] ppid=265316 vsize=19108176 memory=2248 CPUtime=6.05 cores=4,6
/proc/265319/task/265321/stat : 265321 (java) R 265316 265319 264727 0 -1 4194368 8445 0 0 0 578 27 0 0 20 0 20 0 23033788 19566772224 343473 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265330] ppid=265316 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/265319/task/265330/stat : 265330 (Finalizer) S 265316 265319 264727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23033790 19566772224 343473 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265337] ppid=265316 vsize=19108176 memory=12264 CPUtime=0 cores=4,6
/proc/265319/task/265337/stat : 265337 (Common-Cleaner) S 265316 265319 264727 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 23033791 19566772224 343473 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265338] ppid=265316 vsize=19108176 memory=2308440551301077377 CPUtime=0 cores=4,6
/proc/265319/task/265338/stat : 265338 (Timer-0) S 265316 265319 264727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23033805 19566772224 343473 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
Current children cumulated CPU time: 9.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1373892 KiB
[startup+12.7003 s]
/proc/loadavg: 1.05 0.31 0.16 5/336 265411
/proc/meminfo: memFree=114696300/131524600 swapFree=131071728/131071996
[pid=265319] ppid=265316 vsize=19108176 memory=1613536 CPUtime=15.85 cores=4,6
/proc/265319/stat : 265319 (java) S 265316 265319 264727 0 -1 1077936128 29882 0 0 0 1550 35 0 0 20 0 20 0 23033788 19566772224 403384 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
/proc/265319/statm: 4777044 403384 5879 1 0 675070 0
[pid=265319/tid=265321] ppid=265316 vsize=19108176 memory=12264 CPUtime=12.35 cores=4,6
/proc/265319/task/265321/stat : 265321 (java) R 265316 265319 264727 0 -1 4194368 8768 0 0 0 1204 31 0 0 20 0 20 0 23033788 19566772224 403384 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265330] ppid=265316 vsize=19108176 memory=11616 CPUtime=0 cores=4,6
/proc/265319/task/265330/stat : 265330 (Finalizer) S 265316 265319 264727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23033790 19566772224 403384 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265337] ppid=265316 vsize=19108176 memory=1613520 CPUtime=0 cores=4,6
/proc/265319/task/265337/stat : 265337 (Common-Cleaner) S 265316 265319 264727 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 23033791 19566772224 403384 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265338] ppid=265316 vsize=19108176 memory=1613536 CPUtime=0 cores=4,6
/proc/265319/task/265338/stat : 265338 (Timer-0) S 265316 265319 264727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23033805 19566772224 403384 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
Current children cumulated CPU time: 15.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1613536 KiB
[startup+25.5003 s]
/proc/loadavg: 1.79 0.50 0.23 5/336 265413
/proc/meminfo: memFree=113916000/131524600 swapFree=131071728/131071996
[pid=265319] ppid=265316 vsize=19108176 memory=1634156 CPUtime=28.69 cores=4,6
/proc/265319/stat : 265319 (java) S 265316 265319 264727 0 -1 1077936128 34047 0 0 0 2833 36 0 0 20 0 20 0 23033788 19566772224 408539 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
/proc/265319/statm: 4777044 408539 5879 1 0 675070 0
[pid=265319/tid=265321] ppid=265316 vsize=19108176 memory=1613520 CPUtime=24.93 cores=4,6
/proc/265319/task/265321/stat : 265321 (java) R 265316 265319 264727 0 -1 4194368 10605 0 0 0 2462 31 0 0 20 0 20 0 23033788 19566772224 408539 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265330] ppid=265316 vsize=19108176 memory=2159 CPUtime=0 cores=4,6
/proc/265319/task/265330/stat : 265330 (Finalizer) S 265316 265319 264727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23033790 19566772224 408539 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265337] ppid=265316 vsize=19108176 memory=1634156 CPUtime=0 cores=4,6
/proc/265319/task/265337/stat : 265337 (Common-Cleaner) S 265316 265319 264727 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 23033791 19566772224 408539 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265338] ppid=265316 vsize=19108176 memory=1634156 CPUtime=0 cores=4,6
/proc/265319/task/265338/stat : 265338 (Timer-0) S 265316 265319 264727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23033805 19566772224 408539 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
Current children cumulated CPU time: 28.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1634156 KiB
[startup+51.1058 s]
/proc/loadavg: 2.69 0.82 0.34 5/336 265418
/proc/meminfo: memFree=112803756/131524600 swapFree=131071728/131071996
[pid=265319] ppid=265316 vsize=19108176 memory=1671316 CPUtime=54.74 cores=4,6
/proc/265319/stat : 265319 (java) S 265316 265319 264727 0 -1 1077936128 45439 0 0 0 5435 39 0 0 20 0 20 0 23033788 19566772224 417829 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
/proc/265319/statm: 4777044 417829 5879 1 0 675070 0
################
# More data... #
################
/proc/265319/task/265330/stat : 265330 (Finalizer) S 265316 265319 264727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23033790 19566772224 1053827 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265337] ppid=265316 vsize=19108176 memory=4215308 CPUtime=0 cores=4,6
/proc/265319/task/265337/stat : 265337 (Common-Cleaner) S 265316 265319 264727 0 -1 1077936192 3110 0 0 0 0 0 0 0 20 0 20 0 23033791 19566772224 1053827 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265338] ppid=265316 vsize=19108176 memory=4215308 CPUtime=0 cores=4,6
/proc/265319/task/265338/stat : 265338 (Timer-0) S 265316 265319 264727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23033805 19566772224 1053827 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
Current children cumulated CPU time: 3176.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4215308 KiB
[startup+3162.3 s]
/proc/loadavg: 4.64 4.40 4.19 5/332 267244
/proc/meminfo: memFree=106292508/131524600 swapFree=131071728/131071996
[pid=265319] ppid=265316 vsize=19108176 memory=4215308 CPUtime=3237.69 cores=4,6
/proc/265319/stat : 265319 (java) S 265316 265319 264727 0 -1 1077936128 360445 0 0 0 323515 254 0 0 20 0 20 0 23033788 19566772224 1053827 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
/proc/265319/statm: 4777044 1053827 5924 1 0 1065121 0
[pid=265319/tid=265321] ppid=265316 vsize=19108176 memory=4215308 CPUtime=3061.8 cores=4,6
/proc/265319/task/265321/stat : 265321 (java) R 265316 265319 264727 0 -1 4194368 171691 0 0 0 306094 86 0 0 20 0 20 0 23033788 19566772224 1053827 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 37 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265330] ppid=265316 vsize=19108176 memory=4215308 CPUtime=0 cores=4,6
/proc/265319/task/265330/stat : 265330 (Finalizer) S 265316 265319 264727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23033790 19566772224 1053827 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265337] ppid=265316 vsize=19108176 memory=-8744978270276788924 CPUtime=0 cores=4,6
/proc/265319/task/265337/stat : 265337 (Common-Cleaner) S 265316 265319 264727 0 -1 1077936192 3110 0 0 0 0 0 0 0 20 0 20 0 23033791 19566772224 1053827 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265338] ppid=265316 vsize=19108176 memory=12264 CPUtime=0 cores=4,6
/proc/265319/task/265338/stat : 265338 (Timer-0) S 265316 265319 264727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23033805 19566772224 1053827 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
Current children cumulated CPU time: 3237.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4215308 KiB
[startup+3222.3 s]
/proc/loadavg: 4.62 4.44 4.21 5/332 267255
/proc/meminfo: memFree=106291576/131524600 swapFree=131071728/131071996
[pid=265319] ppid=265316 vsize=19108176 memory=4215308 CPUtime=3298.71 cores=4,6
/proc/265319/stat : 265319 (java) S 265316 265319 264727 0 -1 1077936128 362151 0 0 0 329615 256 0 0 20 0 20 0 23033788 19566772224 1053827 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
/proc/265319/statm: 4777044 1053827 5924 1 0 1065121 0
[pid=265319/tid=265321] ppid=265316 vsize=19108176 memory=4215308 CPUtime=3120.38 cores=4,6
/proc/265319/task/265321/stat : 265321 (java) R 265316 265319 264727 0 -1 4194368 173121 0 0 0 311952 86 0 0 20 0 20 0 23033788 19566772224 1053827 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 37 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265330] ppid=265316 vsize=19108176 memory=4215308 CPUtime=0 cores=4,6
/proc/265319/task/265330/stat : 265330 (Finalizer) S 265316 265319 264727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23033790 19566772224 1053827 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265337] ppid=265316 vsize=19108176 memory=4215308 CPUtime=0 cores=4,6
/proc/265319/task/265337/stat : 265337 (Common-Cleaner) S 265316 265319 264727 0 -1 1077936192 3152 0 0 0 0 0 0 0 20 0 20 0 23033791 19566772224 1053827 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265338] ppid=265316 vsize=19108176 memory=11616 CPUtime=0 cores=4,6
/proc/265319/task/265338/stat : 265338 (Timer-0) S 265316 265319 264727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23033805 19566772224 1053827 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
Current children cumulated CPU time: 3298.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4215308 KiB
[startup+3282.3 s]
/proc/loadavg: 4.42 4.41 4.22 5/330 267265
/proc/meminfo: memFree=106127340/131524600 swapFree=131071728/131071996
[pid=265319] ppid=265316 vsize=19108176 memory=4215372 CPUtime=3360.98 cores=4,6
/proc/265319/stat : 265319 (java) S 265316 265319 264727 0 -1 1077936128 377185 0 0 0 335836 262 0 0 20 0 20 0 23033788 19566772224 1053843 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
/proc/265319/statm: 4777044 1053843 5924 1 0 1065129 0
[pid=265319/tid=265321] ppid=265316 vsize=19108176 memory=4215308 CPUtime=3178.53 cores=4,6
/proc/265319/task/265321/stat : 265321 (java) R 265316 265319 264727 0 -1 4194368 176789 0 0 0 317766 87 0 0 20 0 20 0 23033788 19566772224 1053843 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 37 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265330] ppid=265316 vsize=19108176 memory=4215308 CPUtime=0 cores=4,6
/proc/265319/task/265330/stat : 265330 (Finalizer) S 265316 265319 264727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23033790 19566772224 1053843 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265337] ppid=265316 vsize=19108176 memory=4215308 CPUtime=0 cores=4,6
/proc/265319/task/265337/stat : 265337 (Common-Cleaner) S 265316 265319 264727 0 -1 1077936192 3245 0 0 0 0 0 0 0 20 0 20 0 23033791 19566772224 1053843 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265338] ppid=265316 vsize=19108176 memory=4215308 CPUtime=0 cores=4,6
/proc/265319/task/265338/stat : 265338 (Timer-0) S 265316 265319 264727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23033805 19566772224 1053843 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
Current children cumulated CPU time: 3360.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4215372 KiB
[startup+3342.3 s]
/proc/loadavg: 4.64 4.46 4.25 5/330 267277
/proc/meminfo: memFree=106126492/131524600 swapFree=131071728/131071996
[pid=265319] ppid=265316 vsize=19108176 memory=4215444 CPUtime=3422.38 cores=4,6
/proc/265319/stat : 265319 (java) S 265316 265319 264727 0 -1 1077936128 382253 0 0 0 341974 264 0 0 20 0 20 0 23033788 19566772224 1053861 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
/proc/265319/statm: 4777044 1053861 5924 1 0 1065149 0
[pid=265319/tid=265321] ppid=265316 vsize=19108176 memory=4215372 CPUtime=3236.8 cores=4,6
/proc/265319/task/265321/stat : 265321 (java) R 265316 265319 264727 0 -1 4194368 179956 0 0 0 323592 88 0 0 20 0 20 0 23033788 19566772224 1053861 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 42 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265330] ppid=265316 vsize=19108176 memory=4215444 CPUtime=0 cores=4,6
/proc/265319/task/265330/stat : 265330 (Finalizer) S 265316 265319 264727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23033790 19566772224 1053861 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265337] ppid=265316 vsize=19108176 memory=4215444 CPUtime=0 cores=4,6
/proc/265319/task/265337/stat : 265337 (Common-Cleaner) S 265316 265319 264727 0 -1 1077936192 3245 0 0 0 0 0 0 0 20 0 20 0 23033791 19566772224 1053861 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265338] ppid=265316 vsize=19108176 memory=11616 CPUtime=0 cores=4,6
/proc/265319/task/265338/stat : 265338 (Timer-0) S 265316 265319 264727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23033805 19566772224 1053861 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
Current children cumulated CPU time: 3422.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4215444 KiB
[startup+3402.3 s]
/proc/loadavg: 4.67 4.50 4.28 6/330 267287
/proc/meminfo: memFree=106125364/131524600 swapFree=131071728/131071996
[pid=265319] ppid=265316 vsize=19108176 memory=4215456 CPUtime=3483.74 cores=4,6
/proc/265319/stat : 265319 (java) S 265316 265319 264727 0 -1 1077936128 387380 0 0 0 348106 268 0 0 20 0 20 0 23033788 19566772224 1053864 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
/proc/265319/statm: 4777044 1053864 5924 1 0 1065149 0
[pid=265319/tid=265321] ppid=265316 vsize=19108176 memory=4215444 CPUtime=3294.96 cores=4,6
/proc/265319/task/265321/stat : 265321 (java) R 265316 265319 264727 0 -1 4194368 183339 0 0 0 329408 88 0 0 20 0 20 0 23033788 19566772224 1053864 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 42 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265330] ppid=265316 vsize=19108176 memory=11616 CPUtime=0 cores=4,6
/proc/265319/task/265330/stat : 265330 (Finalizer) S 265316 265319 264727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23033790 19566772224 1053864 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265337] ppid=265316 vsize=19108176 memory=73000 CPUtime=0 cores=4,6
/proc/265319/task/265337/stat : 265337 (Common-Cleaner) S 265316 265319 264727 0 -1 1077936192 3338 0 0 0 0 0 0 0 20 0 20 0 23033791 19566772224 1053864 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265338] ppid=265316 vsize=19108176 memory=-8744978270276788924 CPUtime=0 cores=4,6
/proc/265319/task/265338/stat : 265338 (Timer-0) S 265316 265319 264727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23033805 19566772224 1053864 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
Current children cumulated CPU time: 3483.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4215456 KiB
[startup+3462.3 s]
/proc/loadavg: 4.51 4.50 4.29 5/330 267297
/proc/meminfo: memFree=106108216/131524600 swapFree=131071728/131071996
[pid=265319] ppid=265316 vsize=19108176 memory=4215456 CPUtime=3544.76 cores=4,6
/proc/265319/stat : 265319 (java) S 265316 265319 264727 0 -1 1077936128 388928 0 0 0 354205 271 0 0 20 0 20 0 23033788 19566772224 1053864 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
/proc/265319/statm: 4777044 1053864 5924 1 0 1065149 0
[pid=265319/tid=265321] ppid=265316 vsize=19108176 memory=4215444 CPUtime=3353.55 cores=4,6
/proc/265319/task/265321/stat : 265321 (java) R 265316 265319 264727 0 -1 4194368 184613 0 0 0 335266 89 0 0 20 0 20 0 23033788 19566772224 1053864 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 42 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265330] ppid=265316 vsize=19108176 memory=11616 CPUtime=0 cores=4,6
/proc/265319/task/265330/stat : 265330 (Finalizer) S 265316 265319 264727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23033790 19566772224 1053864 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265337] ppid=265316 vsize=19108176 memory=73000 CPUtime=0 cores=4,6
/proc/265319/task/265337/stat : 265337 (Common-Cleaner) S 265316 265319 264727 0 -1 1077936192 3381 0 0 0 0 0 0 0 20 0 20 0 23033791 19566772224 1053864 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265338] ppid=265316 vsize=19108176 memory=4215456 CPUtime=0 cores=4,6
/proc/265319/task/265338/stat : 265338 (Timer-0) S 265316 265319 264727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23033805 19566772224 1053864 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
Current children cumulated CPU time: 3544.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4215456 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3516.3 s]
/proc/loadavg: 4.47 4.49 4.30 5/330 267375
/proc/meminfo: memFree=107492692/131524600 swapFree=131071728/131071996
[pid=265319] ppid=265316 vsize=19108176 memory=4215456 CPUtime=3600.06 cores=4,6
/proc/265319/stat : 265319 (java) S 265316 265319 264727 0 -1 1077936128 393722 0 0 0 359733 273 0 0 20 0 20 0 23033788 19566772224 1053864 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
/proc/265319/statm: 4777044 1053864 5924 1 0 1065149 0
[pid=265319/tid=265321] ppid=265316 vsize=19108176 memory=4215456 CPUtime=3405.82 cores=4,6
/proc/265319/task/265321/stat : 265321 (java) R 265316 265319 264727 0 -1 4194368 187197 0 0 0 340493 89 0 0 20 0 20 0 23033788 19566772224 1053864 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 47 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265330] ppid=265316 vsize=19108176 memory=4215456 CPUtime=0 cores=4,6
/proc/265319/task/265330/stat : 265330 (Finalizer) S 265316 265319 264727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23033790 19566772224 1053864 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265337] ppid=265316 vsize=19108176 memory=4215456 CPUtime=0 cores=4,6
/proc/265319/task/265337/stat : 265337 (Common-Cleaner) S 265316 265319 264727 0 -1 1077936192 3381 0 0 0 0 0 0 0 20 0 20 0 23033791 19566772224 1053864 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
[pid=265319/tid=265338] ppid=265316 vsize=19108176 memory=1944 CPUtime=0 cores=4,6
/proc/265319/task/265338/stat : 265338 (Timer-0) S 265316 265319 264727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23033805 19566772224 1053864 134679101440 93864703909888 93864703913584 140723190735552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864703921400 93864703922192 93864736923648 140723190739957 140723190740065 140723190740065 140723190747080 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4215456 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3516.42 s]
# the end of solver process 265319 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.53 s, system=2.75596 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3516.41 s]*
/proc/loadavg: 4.47 4.49 4.30 5/312 267378
/proc/meminfo: memFree=111573496/131524600 swapFree=131071728/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3516.42
CPU time (s): 3600.29
CPU user time (s): 3597.53
CPU system time (s): 2.75596
CPU usage (%): 102.385
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 4215456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.53
system time used= 2.75596
maximum resident set size= 4216936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 397294
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 149852
involuntary context switches= 16705
# summary of solver processes directly reported to runsolver:
# pid: 265319
# total CPU time (s): 3600.29
# total CPU user time (s): 3597.53
# total CPU system time (s): 2.75596
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.21813 second user time and 16.9993 second system time
The end