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: 64059 MiB (16398 MiB free)
  memory of node 1: 64510 MiB (48117 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459273-1721886483/watcher-4459273-1721886483 -o /tmp/evaluation-result-4459273-1721886483/solver-4459273-1721886483 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721877730-262297 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4459273-1721886483.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
solver pid=267708, runsolver pid=267705
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 5.31 5.37 5.43 5/316 267726
/proc/meminfo: memFree=66022552/131655788 swapFree=131058856/131071996
[pid=267708] ppid=267705 vsize=18975048 memory=62872 CPUtime=0.13 cores=4,6
/proc/267708/stat : 267708 (java) S 267705 267708 262286 0 -1 1077936128 7208 0 0 0 11 2 0 0 20 0 18 0 24637848 19430449152 15718 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
/proc/267708/statm: 4743762 15718 5623 1 0 551408 0
[pid=267708/tid=267710] ppid=267705 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/267708/task/267710/stat : 267710 (java) S 267705 267708 262286 0 -1 1077936192 5749 0 0 0 7 1 0 0 20 0 18 0 24637848 19430449152 15718 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267719] ppid=267705 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/267708/task/267719/stat : 267719 (Finalizer) S 267705 267708 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 24637851 19430449152 15718 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267726] ppid=267705 vsize=18975048 memory=14128957269627868 CPUtime=0 cores=4,6
/proc/267708/task/267726/stat : 267726 (Common-Cleaner) S 267705 267708 262286 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 24637851 19430449152 15718 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62872 KiB

[startup+0.205769 s]*
/proc/loadavg: 5.31 5.37 5.43 7/316 267726
/proc/meminfo: memFree=65996780/131655788 swapFree=131058856/131071996
[pid=267708] ppid=267705 vsize=18975048 memory=89004 CPUtime=0.33 cores=4,6
/proc/267708/stat : 267708 (java) S 267705 267708 262286 0 -1 1077936128 9116 0 0 0 31 2 0 0 20 0 18 0 24637848 19430449152 22251 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
/proc/267708/statm: 4743762 22251 5868 1 0 552633 0
[pid=267708/tid=267710] ppid=267705 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/267708/task/267710/stat : 267710 (java) R 267705 267708 262286 0 -1 4194368 5875 0 0 0 17 1 0 0 20 0 18 0 24637848 19430449152 22251 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267719] ppid=267705 vsize=18975048 memory=1466016 CPUtime=0 cores=4,6
/proc/267708/task/267719/stat : 267719 (Finalizer) S 267705 267708 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 24637851 19430449152 22251 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267726] ppid=267705 vsize=18975048 memory=16102571999764192 CPUtime=0 cores=4,6
/proc/267708/task/267726/stat : 267726 (Common-Cleaner) S 267705 267708 262286 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 24637851 19430449152 22251 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 89004 KiB

[startup+0.305701 s]*
/proc/loadavg: 5.31 5.37 5.43 7/316 267726
/proc/meminfo: memFree=65974136/131655788 swapFree=131058856/131071996
[pid=267708] ppid=267705 vsize=18975048 memory=113564 CPUtime=0.52 cores=4,6
/proc/267708/stat : 267708 (java) S 267705 267708 262286 0 -1 1077936128 9640 0 0 0 49 3 0 0 20 0 18 0 24637848 19430449152 28391 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
/proc/267708/statm: 4743762 28391 5868 1 0 552971 0
[pid=267708/tid=267710] ppid=267705 vsize=18975048 memory=-8817312932654981820 CPUtime=0.29 cores=4,6
/proc/267708/task/267710/stat : 267710 (java) R 267705 267708 262286 0 -1 4194368 5933 0 0 0 27 2 0 0 20 0 18 0 24637848 19430449152 28391 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267719] ppid=267705 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/267708/task/267719/stat : 267719 (Finalizer) S 267705 267708 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 24637851 19430449152 28391 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267726] ppid=267705 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/267708/task/267726/stat : 267726 (Common-Cleaner) S 267705 267708 262286 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 24637851 19430449152 28391 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 113564 KiB

[startup+0.700628 s]
/proc/loadavg: 5.31 5.37 5.43 6/317 267728
/proc/meminfo: memFree=65906316/131655788 swapFree=131058856/131071996
[pid=267708] ppid=267705 vsize=19041612 memory=196988 CPUtime=1.28 cores=4,6
/proc/267708/stat : 267708 (java) S 267705 267708 262286 0 -1 1077936128 14859 0 0 0 122 6 0 0 20 0 19 0 24637848 19498610688 49247 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
/proc/267708/statm: 4760403 49247 5868 1 0 556187 0
[pid=267708/tid=267710] ppid=267705 vsize=19041612 memory=5468 CPUtime=0.63 cores=4,6
/proc/267708/task/267710/stat : 267710 (java) R 267705 267708 262286 0 -1 4194368 5961 0 0 0 60 3 0 0 20 0 19 0 24637848 19498610688 49247 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267719] ppid=267705 vsize=19041612 memory=11904 CPUtime=0 cores=4,6
/proc/267708/task/267719/stat : 267719 (Finalizer) S 267705 267708 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 24637851 19498610688 49247 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267726] ppid=267705 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/267708/task/267726/stat : 267726 (Common-Cleaner) S 267705 267708 262286 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 24637851 19498610688 49247 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 196988 KiB

[startup+1.50963 s]
/proc/loadavg: 5.29 5.36 5.43 7/317 267728
/proc/meminfo: memFree=65858352/131655788 swapFree=131058856/131071996
[pid=267708] ppid=267705 vsize=19108176 memory=433868 CPUtime=2.8 cores=4,6
/proc/267708/stat : 267708 (java) S 267705 267708 262286 0 -1 1077936128 18187 0 0 0 268 12 0 0 20 0 20 0 24637848 19566772224 108467 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
/proc/267708/statm: 4777044 108467 5906 1 0 1079917 0
[pid=267708/tid=267710] ppid=267705 vsize=19108176 memory=11904 CPUtime=1.33 cores=4,6
/proc/267708/task/267710/stat : 267710 (java) R 267705 267708 262286 0 -1 4194368 6220 0 0 0 126 7 0 0 20 0 20 0 24637848 19566772224 108467 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267719] ppid=267705 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/267708/task/267719/stat : 267719 (Finalizer) S 267705 267708 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24637851 19566772224 108467 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267726] ppid=267705 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/267708/task/267726/stat : 267726 (Common-Cleaner) S 267705 267708 262286 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 24637851 19566772224 108467 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 433868 KiB

[startup+3.11313 s]
/proc/loadavg: 5.29 5.36 5.43 5/318 267729
/proc/meminfo: memFree=65650140/131655788 swapFree=131058856/131071996
[pid=267708] ppid=267705 vsize=19108176 memory=434716 CPUtime=5.03 cores=4,6
/proc/267708/stat : 267708 (java) S 267705 267708 262286 0 -1 1077936128 18333 0 0 0 491 12 0 0 20 0 20 0 24637848 19566772224 108679 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
/proc/267708/statm: 4777044 108679 5922 1 0 1079926 0
[pid=267708/tid=267710] ppid=267705 vsize=19108176 memory=198340509722 CPUtime=2.92 cores=4,6
/proc/267708/task/267710/stat : 267710 (java) R 267705 267708 262286 0 -1 4194368 6226 0 0 0 285 7 0 0 20 0 20 0 24637848 19566772224 108679 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267719] ppid=267705 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/267708/task/267719/stat : 267719 (Finalizer) S 267705 267708 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24637851 19566772224 108679 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267726] ppid=267705 vsize=19108176 memory=11904 CPUtime=0 cores=4,6
/proc/267708/task/267726/stat : 267726 (Common-Cleaner) S 267705 267708 262286 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 24637851 19566772224 108679 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267729] ppid=267705 vsize=19108176 memory=434456 CPUtime=0 cores=4,6
/proc/267708/task/267729/stat : 267729 (Timer-0) S 267705 267708 262286 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 24637987 19566772224 108679 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
Current children cumulated CPU time: 5.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 434716 KiB

[startup+6.30045 s]
/proc/loadavg: 5.19 5.34 5.42 6/318 267729
/proc/meminfo: memFree=65535392/131655788 swapFree=131058856/131071996
[pid=267708] ppid=267705 vsize=19108176 memory=549700 CPUtime=8.67 cores=4,6
/proc/267708/stat : 267708 (java) S 267705 267708 262286 0 -1 1077936128 23164 0 0 0 852 15 0 0 20 0 20 0 24637848 19566772224 137425 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
/proc/267708/statm: 4777044 137425 5938 1 0 1079976 0
[pid=267708/tid=267710] ppid=267705 vsize=19108176 memory=0 CPUtime=5.83 cores=4,6
/proc/267708/task/267710/stat : 267710 (java) R 267705 267708 262286 0 -1 4194368 7990 0 0 0 576 7 0 0 20 0 20 0 24637848 19566772224 137425 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267719] ppid=267705 vsize=19108176 memory=11904 CPUtime=0 cores=4,6
/proc/267708/task/267719/stat : 267719 (Finalizer) S 267705 267708 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24637851 19566772224 137425 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267726] ppid=267705 vsize=19108176 memory=434716 CPUtime=0 cores=4,6
/proc/267708/task/267726/stat : 267726 (Common-Cleaner) S 267705 267708 262286 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 24637851 19566772224 137425 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267729] ppid=267705 vsize=19108176 memory=549536 CPUtime=0 cores=4,6
/proc/267708/task/267729/stat : 267729 (Timer-0) S 267705 267708 262286 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 24637987 19566772224 137425 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
Current children cumulated CPU time: 8.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 549700 KiB

[startup+12.7005 s]
/proc/loadavg: 5.09 5.32 5.42 5/318 267731
/proc/meminfo: memFree=65115592/131655788 swapFree=131058856/131071996
[pid=267708] ppid=267705 vsize=19108176 memory=1009360 CPUtime=15.72 cores=4,6
/proc/267708/stat : 267708 (java) S 267705 267708 262286 0 -1 1077936128 25772 0 0 0 1545 27 0 0 20 0 20 0 24637848 19566772224 252340 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
/proc/267708/statm: 4777044 252340 5938 1 0 1600105 0
[pid=267708/tid=267710] ppid=267705 vsize=19108176 memory=947920 CPUtime=11.76 cores=4,6
/proc/267708/task/267710/stat : 267710 (java) R 267705 267708 262286 0 -1 4194368 8276 0 0 0 1164 12 0 0 20 0 20 0 24637848 19566772224 252340 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267719] ppid=267705 vsize=19108176 memory=11644 CPUtime=0 cores=4,6
/proc/267708/task/267719/stat : 267719 (Finalizer) S 267705 267708 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24637851 19566772224 252340 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267726] ppid=267705 vsize=19108176 memory=6083914965065491283 CPUtime=0 cores=4,6
/proc/267708/task/267726/stat : 267726 (Common-Cleaner) S 267705 267708 262286 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 24637851 19566772224 252340 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267729] ppid=267705 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/267708/task/267729/stat : 267729 (Timer-0) S 267705 267708 262286 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 24637987 19566772224 252340 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
Current children cumulated CPU time: 15.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1009360 KiB

[startup+25.5005 s]
/proc/loadavg: 4.92 5.27 5.40 5/318 267732
/proc/meminfo: memFree=64419776/131655788 swapFree=131058856/131071996
[pid=267708] ppid=267705 vsize=19108176 memory=1663040 CPUtime=29.48 cores=4,6
/proc/267708/stat : 267708 (java) S 267705 267708 262286 0 -1 1077936128 32023 0 0 0 2906 42 0 0 20 0 20 0 24637848 19566772224 415760 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
/proc/267708/statm: 4777044 415760 5938 1 0 1600116 0
[pid=267708/tid=267710] ppid=267705 vsize=19108176 memory=6083914965065491283 CPUtime=23.71 cores=4,6
/proc/267708/task/267710/stat : 267710 (java) R 267705 267708 262286 0 -1 4194368 9345 0 0 0 2358 13 0 0 20 0 20 0 24637848 19566772224 415760 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267719] ppid=267705 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/267708/task/267719/stat : 267719 (Finalizer) S 267705 267708 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24637851 19566772224 415760 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267726] ppid=267705 vsize=19108176 memory=100 CPUtime=0 cores=4,6
/proc/267708/task/267726/stat : 267726 (Common-Cleaner) S 267705 267708 262286 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 24637851 19566772224 415760 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267729] ppid=267705 vsize=19108176 memory=-8817312932654981820 CPUtime=0 cores=4,6
/proc/267708/task/267729/stat : 267729 (Timer-0) S 267705 267708 262286 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 24637987 19566772224 415760 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
Current children cumulated CPU time: 29.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1663040 KiB

[startup+51.1066 s]
/proc/loadavg: 4.69 5.18 5.36 5/318 267737
/proc/meminfo: memFree=63518580/131655788 swapFree=131058856/131071996
[pid=267708] ppid=267705 vsize=19108176 memory=2472028 CPUtime=56.26 cores=4,6
/proc/267708/stat : 267708 (java) S 267705 267708 262286 0 -1 1077936128 37751 0 0 0 5565 61 0 0 20 0 20 0 24637848 19566772224 618007 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
/proc/267708/statm: 4777044 618007 5938 1 0 1600116 0
[pid=267708/tid=267710] ppid=267705 vsize=19108176 memory=2205788 CPUtime=48.05 cores=4,6
/proc/267708/task/267710/stat : 267710 (java) R 267705 267708 262286 0 -1 4194368 10915 0 0 0 4791 14 0 0 20 0 20 0 24637848 19566772224 618007 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267719] ppid=267705 vsize=19108176 memory=11644 CPUtime=0 cores=4,6
/proc/267708/task/267719/stat : 267719 (Finalizer) S 267705 267708 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24637851 19566772224 618007 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267726] ppid=267705 vsize=19108176 memory=11644 CPUtime=0 cores=4,6
/proc/267708/task/267726/stat : 267726 (Common-Cleaner) S 267705 267708 262286 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 24637851 19566772224 618007 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267729] ppid=267705 vsize=19108176 memory=11644 CPUtime=0 cores=4,6
/proc/267708/task/267729/stat : 267729 (Timer-0) S 267705 267708 262286 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 24637987 19566772224 618007 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0

################
# More data... #
################

Current children cumulated memory: 16328108 KiB

[startup+2562.3 s]
/proc/loadavg: 4.53 4.57 4.62 5/322 269585
/proc/meminfo: memFree=46859616/131655788 swapFree=131058856/131071996
[pid=267708] ppid=267705 vsize=19108176 memory=16328144 CPUtime=3146.25 cores=4,6
/proc/267708/stat : 267708 (java) S 267705 267708 262286 0 -1 1077936128 4876784 0 0 0 313762 863 0 0 20 0 20 0 24637848 19566772224 4082036 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
/proc/267708/statm: 4777044 4082036 5975 1 0 4094277 0
[pid=267708/tid=267710] ppid=267705 vsize=19108176 memory=11644 CPUtime=2217.77 cores=4,6
/proc/267708/task/267710/stat : 267710 (java) R 267705 267708 262286 0 -1 4194368 716356 0 0 0 221629 148 0 0 20 0 20 0 24637848 19566772224 4082036 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267719] ppid=267705 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/267708/task/267719/stat : 267719 (Finalizer) S 267705 267708 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24637851 19566772224 4082036 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267726] ppid=267705 vsize=19108176 memory=220697 CPUtime=0 cores=4,6
/proc/267708/task/267726/stat : 267726 (Common-Cleaner) S 267705 267708 262286 0 -1 1077936192 560 0 0 0 0 0 0 0 20 0 20 0 24637851 19566772224 4082036 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267729] ppid=267705 vsize=19108176 memory=16318468 CPUtime=0 cores=4,6
/proc/267708/task/267729/stat : 267729 (Timer-0) S 267705 267708 262286 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 24637987 19566772224 4082036 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
Current children cumulated CPU time: 3146.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16328144 KiB

[startup+2622.3 s]
/proc/loadavg: 4.55 4.57 4.62 6/321 269596
/proc/meminfo: memFree=46859104/131655788 swapFree=131058856/131071996
[pid=267708] ppid=267705 vsize=19108176 memory=16328168 CPUtime=3222.33 cores=4,6
/proc/267708/stat : 267708 (java) S 267705 267708 262286 0 -1 1077936128 5090005 0 0 0 321354 879 0 0 20 0 20 0 24637848 19566772224 4082042 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
/proc/267708/statm: 4777044 4082042 5975 1 0 4094277 0
[pid=267708/tid=267710] ppid=267705 vsize=19108176 memory=16318468 CPUtime=2271.44 cores=4,6
/proc/267708/task/267710/stat : 267710 (java) R 267705 267708 262286 0 -1 4194368 721201 0 0 0 226995 149 0 0 20 0 20 0 24637848 19566772224 4082042 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 15 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267719] ppid=267705 vsize=19108176 memory=16328144 CPUtime=0 cores=4,6
/proc/267708/task/267719/stat : 267719 (Finalizer) S 267705 267708 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24637851 19566772224 4082042 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267726] ppid=267705 vsize=19108176 memory=16328144 CPUtime=0 cores=4,6
/proc/267708/task/267726/stat : 267726 (Common-Cleaner) S 267705 267708 262286 0 -1 1077936192 560 0 0 0 0 0 0 0 20 0 20 0 24637851 19566772224 4082042 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267729] ppid=267705 vsize=19108176 memory=16328144 CPUtime=0 cores=4,6
/proc/267708/task/267729/stat : 267729 (Timer-0) S 267705 267708 262286 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 24637987 19566772224 4082042 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
Current children cumulated CPU time: 3222.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16328168 KiB

[startup+2682.3 s]
/proc/loadavg: 4.47 4.54 4.60 5/321 269606
/proc/meminfo: memFree=46856664/131655788 swapFree=131058856/131071996
[pid=267708] ppid=267705 vsize=19108176 memory=16328168 CPUtime=3303.21 cores=4,6
/proc/267708/stat : 267708 (java) S 267705 267708 262286 0 -1 1077936128 5500028 0 0 0 329405 916 0 0 20 0 20 0 24637848 19566772224 4082042 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
/proc/267708/statm: 4777044 4082042 5975 1 0 4094277 0
[pid=267708/tid=267710] ppid=267705 vsize=19108176 memory=16318468 CPUtime=2323.84 cores=4,6
/proc/267708/task/267710/stat : 267710 (java) R 267705 267708 262286 0 -1 4194368 732899 0 0 0 232234 150 0 0 20 0 20 0 24637848 19566772224 4082042 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267719] ppid=267705 vsize=19108176 memory=16328144 CPUtime=0 cores=4,6
/proc/267708/task/267719/stat : 267719 (Finalizer) S 267705 267708 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24637851 19566772224 4082042 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267726] ppid=267705 vsize=19108176 memory=11644 CPUtime=0 cores=4,6
/proc/267708/task/267726/stat : 267726 (Common-Cleaner) S 267705 267708 262286 0 -1 1077936192 560 0 0 0 0 0 0 0 20 0 20 0 24637851 19566772224 4082042 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267729] ppid=267705 vsize=19108176 memory=16328168 CPUtime=0 cores=4,6
/proc/267708/task/267729/stat : 267729 (Timer-0) S 267705 267708 262286 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 24637987 19566772224 4082042 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
Current children cumulated CPU time: 3303.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16328168 KiB

[startup+2742.3 s]
/proc/loadavg: 4.44 4.51 4.58 5/320 269617
/proc/meminfo: memFree=46848184/131655788 swapFree=131058856/131071996
[pid=267708] ppid=267705 vsize=19108176 memory=16328204 CPUtime=3379.86 cores=4,6
/proc/267708/stat : 267708 (java) S 267705 267708 262286 0 -1 1077936128 5701302 0 0 0 337056 930 0 0 20 0 20 0 24637848 19566772224 4082051 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
/proc/267708/statm: 4777044 4082051 5975 1 0 4094277 0
[pid=267708/tid=267710] ppid=267705 vsize=19108176 memory=16318468 CPUtime=2368.66 cores=4,6
/proc/267708/task/267710/stat : 267710 (java) R 267705 267708 262286 0 -1 4194368 766092 0 0 0 236713 153 0 0 20 0 20 0 24637848 19566772224 4082051 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267719] ppid=267705 vsize=19108176 memory=16328144 CPUtime=0 cores=4,6
/proc/267708/task/267719/stat : 267719 (Finalizer) S 267705 267708 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24637851 19566772224 4082051 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267726] ppid=267705 vsize=19108176 memory=11644 CPUtime=0 cores=4,6
/proc/267708/task/267726/stat : 267726 (Common-Cleaner) S 267705 267708 262286 0 -1 1077936192 560 0 0 0 0 0 0 0 20 0 20 0 24637851 19566772224 4082051 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267729] ppid=267705 vsize=19108176 memory=5468 CPUtime=0 cores=4,6
/proc/267708/task/267729/stat : 267729 (Timer-0) S 267705 267708 262286 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 24637987 19566772224 4082051 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
Current children cumulated CPU time: 3379.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16328204 KiB

[startup+2802.3 s]
/proc/loadavg: 4.59 4.54 4.59 6/320 269627
/proc/meminfo: memFree=46836796/131655788 swapFree=131058856/131071996
[pid=267708] ppid=267705 vsize=19108176 memory=16328244 CPUtime=3455.47 cores=4,6
/proc/267708/stat : 267708 (java) S 267705 267708 262286 0 -1 1077936128 5774529 0 0 0 344605 942 0 0 20 0 20 0 24637848 19566772224 4082061 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
/proc/267708/statm: 4777044 4082061 5975 1 0 4094277 0
[pid=267708/tid=267710] ppid=267705 vsize=19108176 memory=16328204 CPUtime=2422.84 cores=4,6
/proc/267708/task/267710/stat : 267710 (java) R 267705 267708 262286 0 -1 4194368 793981 0 0 0 242129 155 0 0 20 0 20 0 24637848 19566772224 4082061 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267719] ppid=267705 vsize=19108176 memory=72492 CPUtime=0 cores=4,6
/proc/267708/task/267719/stat : 267719 (Finalizer) S 267705 267708 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24637851 19566772224 4082061 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267726] ppid=267705 vsize=19108176 memory=16192 CPUtime=0 cores=4,6
/proc/267708/task/267726/stat : 267726 (Common-Cleaner) S 267705 267708 262286 0 -1 1077936192 578 0 0 0 0 0 0 0 20 0 20 0 24637851 19566772224 4082061 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267729] ppid=267705 vsize=19108176 memory=16328244 CPUtime=0 cores=4,6
/proc/267708/task/267729/stat : 267729 (Timer-0) S 267705 267708 262286 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 24637987 19566772224 4082061 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
Current children cumulated CPU time: 3455.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16328244 KiB

[startup+2862.3 s]
/proc/loadavg: 4.64 4.55 4.59 6/318 269637
/proc/meminfo: memFree=46831404/131655788 swapFree=131058856/131071996
[pid=267708] ppid=267705 vsize=19108176 memory=16328432 CPUtime=3539.91 cores=4,6
/proc/267708/stat : 267708 (java) S 267705 267708 262286 0 -1 1077936128 5853295 0 0 0 353038 953 0 0 20 0 20 0 24637848 19566772224 4082108 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
/proc/267708/statm: 4777044 4082108 5975 1 0 4094277 0
[pid=267708/tid=267710] ppid=267705 vsize=19108176 memory=72492 CPUtime=2468.14 cores=4,6
/proc/267708/task/267710/stat : 267710 (java) S 267705 267708 262286 0 -1 1077936192 799269 0 0 0 246658 156 0 0 20 0 20 0 24637848 19566772224 4082108 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 15 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267719] ppid=267705 vsize=19108176 memory=16328248 CPUtime=0 cores=4,6
/proc/267708/task/267719/stat : 267719 (Finalizer) S 267705 267708 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24637851 19566772224 4082108 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267726] ppid=267705 vsize=19108176 memory=16328248 CPUtime=0 cores=4,6
/proc/267708/task/267726/stat : 267726 (Common-Cleaner) S 267705 267708 262286 0 -1 1077936192 578 0 0 0 0 0 0 0 20 0 20 0 24637851 19566772224 4082108 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267729] ppid=267705 vsize=19108176 memory=11644 CPUtime=0 cores=4,6
/proc/267708/task/267729/stat : 267729 (Timer-0) S 267705 267708 262286 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 24637987 19566772224 4082108 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
Current children cumulated CPU time: 3539.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16328432 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2904.2 s]
/proc/loadavg: 4.77 4.59 4.60 6/318 269644
/proc/meminfo: memFree=46822708/131655788 swapFree=131058856/131071996
[pid=267708] ppid=267705 vsize=19108176 memory=16328300 CPUtime=3600.06 cores=4,6
/proc/267708/stat : 267708 (java) S 267705 267708 262286 0 -1 1077936128 5856036 0 0 0 359047 959 0 0 20 0 20 0 24637848 19566772224 4082075 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
/proc/267708/statm: 4777044 4082075 5975 1 0 4094277 0
[pid=267708/tid=267710] ppid=267705 vsize=19108176 memory=1466190 CPUtime=2506.59 cores=4,6
/proc/267708/task/267710/stat : 267710 (java) R 267705 267708 262286 0 -1 4194368 799466 0 0 0 250503 156 0 0 20 0 20 0 24637848 19566772224 4082075 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 15 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267719] ppid=267705 vsize=19108176 memory=1466533 CPUtime=0 cores=4,6
/proc/267708/task/267719/stat : 267719 (Finalizer) S 267705 267708 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24637851 19566772224 4082075 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267726] ppid=267705 vsize=19108176 memory=3762537819110120286 CPUtime=0 cores=4,6
/proc/267708/task/267726/stat : 267726 (Common-Cleaner) S 267705 267708 262286 0 -1 1077936192 578 0 0 0 0 0 0 0 20 0 20 0 24637851 19566772224 4082075 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
[pid=267708/tid=267729] ppid=267705 vsize=19108176 memory=2984 CPUtime=0 cores=4,6
/proc/267708/task/267729/stat : 267729 (Timer-0) S 267705 267708 262286 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 24637987 19566772224 4082075 134679101440 94453998850048 94453998853744 140736304481776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453998861560 94453998862352 94454019432448 140736304489479 140736304489569 140736304489569 140736304496584 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16328300 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2904.54 s]
# the end of solver process 267708 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3590.81 s, system=9.76395 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2904.4 s]*
/proc/loadavg: 4.77 4.59 4.60 5/300 269647
/proc/meminfo: memFree=57547296/131655788 swapFree=131058856/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+2904.51 s]
/proc/loadavg: 4.77 4.59 4.60 5/300 269647
/proc/meminfo: memFree=57547296/131655788 swapFree=131058856/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): 2904.54
CPU time (s): 3600.58
CPU user time (s): 3590.81
CPU system time (s): 9.76395
CPU usage (%): 123.964
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 16328896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.81
system time used= 9.76395
maximum resident set size= 16329796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5857857
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109594
involuntary context switches= 41672


# summary of solver processes directly reported to runsolver:
#   pid: 267708
#   total CPU time (s): 3600.58
#   total CPU user time (s): 3590.81
#   total CPU system time (s): 9.76395

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.7723 second user time and 22.3917 second system time

The end