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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442171-1721301272/watcher-4442171-1721301272 -o /tmp/evaluation-result-4442171-1721301272/solver-4442171-1721301272 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721293749-941962 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4442171-1721301272.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
Current StackSize limit: 8192 KiB

solver pid=947277, runsolver pid=947274

[startup+0.100066 s]*
/proc/loadavg: 4.21 4.27 4.31 5/318 947295
/proc/meminfo: memFree=112564324/131655788 swapFree=131071996/131071996
[pid=947277] ppid=947274 vsize=18975048 memory=58052 CPUtime=0.12 cores=5,7
/proc/947277/stat : 947277 (java) S 947274 947277 941949 0 -1 1077936128 6589 0 0 0 10 2 0 0 20 0 18 0 182283348 19430449152 14513 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
/proc/947277/statm: 4743762 14513 5521 1 0 550925 0
[pid=947277/tid=947279] ppid=947274 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/947277/task/947279/stat : 947279 (java) R 947274 947277 941949 0 -1 4194368 5493 0 0 0 7 1 0 0 20 0 18 0 182283348 19430449152 14513 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947288] ppid=947274 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/947277/task/947288/stat : 947288 (Finalizer) S 947274 947277 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 182283351 19430449152 14513 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947295] ppid=947274 vsize=18975048 memory=15255952358280619 CPUtime=0 cores=5,7
/proc/947277/task/947295/stat : 947295 (Common-Cleaner) S 947274 947277 941949 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 182283352 19430449152 14513 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58052 KiB

[startup+0.223487 s]*
/proc/loadavg: 4.21 4.27 4.31 8/318 947295
/proc/meminfo: memFree=112552184/131655788 swapFree=131071996/131071996
[pid=947277] ppid=947274 vsize=18975048 memory=71108 CPUtime=0.33 cores=5,7
/proc/947277/stat : 947277 (java) S 947274 947277 941949 0 -1 1077936128 7541 0 0 0 30 3 0 0 20 0 18 0 182283348 19430449152 17777 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
/proc/947277/statm: 4743762 17777 5802 1 0 551703 0
[pid=947277/tid=947279] ppid=947274 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=5,7
/proc/947277/task/947279/stat : 947279 (java) R 947274 947277 941949 0 -1 4194368 6043 0 0 0 17 2 0 0 20 0 18 0 182283348 19430449152 17777 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947288] ppid=947274 vsize=18975048 memory=3711 CPUtime=0 cores=5,7
/proc/947277/task/947288/stat : 947288 (Finalizer) S 947274 947277 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 182283351 19430449152 17777 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947295] ppid=947274 vsize=18975048 memory=13572595761026746 CPUtime=0 cores=5,7
/proc/947277/task/947295/stat : 947295 (Common-Cleaner) S 947274 947277 941949 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 182283352 19430449152 17777 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 71108 KiB

[startup+0.314487 s]*
/proc/loadavg: 4.21 4.27 4.31 7/318 947295
/proc/meminfo: memFree=112547500/131655788 swapFree=131071996/131071996
[pid=947277] ppid=947274 vsize=18975048 memory=75848 CPUtime=0.49 cores=5,7
/proc/947277/stat : 947277 (java) S 947274 947277 941949 0 -1 1077936128 7683 0 0 0 46 3 0 0 20 0 18 0 182283348 19430449152 18962 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
/proc/947277/statm: 4743762 18962 5834 1 0 551756 0
[pid=947277/tid=947279] ppid=947274 vsize=18975048 memory=-8887405699447169724 CPUtime=0.25 cores=5,7
/proc/947277/task/947279/stat : 947279 (java) R 947274 947277 941949 0 -1 4194368 6053 0 0 0 23 2 0 0 20 0 18 0 182283348 19430449152 18962 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947288] ppid=947274 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/947277/task/947288/stat : 947288 (Finalizer) S 947274 947277 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 182283351 19430449152 18962 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947295] ppid=947274 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/947277/task/947295/stat : 947295 (Common-Cleaner) S 947274 947277 941949 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 182283352 19430449152 18962 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 75848 KiB

[startup+0.700353 s]
/proc/loadavg: 4.21 4.27 4.31 7/319 947296
/proc/meminfo: memFree=112530172/131655788 swapFree=131071996/131071996
[pid=947277] ppid=947274 vsize=19041612 memory=126176 CPUtime=1.18 cores=5,7
/proc/947277/stat : 947277 (java) S 947274 947277 941949 0 -1 1077936128 9504 0 0 0 114 4 0 0 20 0 19 0 182283348 19498610688 31544 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
/proc/947277/statm: 4760403 31544 5834 1 0 553154 0
[pid=947277/tid=947279] ppid=947274 vsize=19041612 memory=5616 CPUtime=0.57 cores=5,7
/proc/947277/task/947279/stat : 947279 (java) R 947274 947277 941949 0 -1 4194368 6182 0 0 0 54 3 0 0 20 0 19 0 182283348 19498610688 31544 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947288] ppid=947274 vsize=19041612 memory=11884 CPUtime=0 cores=5,7
/proc/947277/task/947288/stat : 947288 (Finalizer) S 947274 947277 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 182283351 19498610688 31544 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947295] ppid=947274 vsize=19041612 memory=164 CPUtime=0 cores=5,7
/proc/947277/task/947295/stat : 947295 (Common-Cleaner) S 947274 947277 941949 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 182283352 19498610688 31544 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947296] ppid=947274 vsize=19041612 memory=117636 CPUtime=0 cores=5,7
/proc/947277/task/947296/stat : 947296 (Timer-0) S 947274 947277 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 182283385 19498610688 31544 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 126176 KiB

[startup+1.50047 s]
/proc/loadavg: 4.21 4.27 4.31 6/320 947297
/proc/meminfo: memFree=112451528/131655788 swapFree=131071996/131071996
[pid=947277] ppid=947274 vsize=19108176 memory=189244 CPUtime=2.77 cores=5,7
/proc/947277/stat : 947277 (java) S 947274 947277 941949 0 -1 1077936128 18942 0 0 0 269 8 0 0 20 0 20 0 182283348 19566772224 47311 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
/proc/947277/statm: 4777044 47311 5866 1 0 556197 0
[pid=947277/tid=947279] ppid=947274 vsize=19108176 memory=11884 CPUtime=1.34 cores=5,7
/proc/947277/task/947279/stat : 947279 (java) R 947274 947277 941949 0 -1 4194368 6429 0 0 0 130 4 0 0 20 0 20 0 182283348 19566772224 47311 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947288] ppid=947274 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/947277/task/947288/stat : 947288 (Finalizer) S 947274 947277 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182283351 19566772224 47311 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947295] ppid=947274 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/947277/task/947295/stat : 947295 (Common-Cleaner) S 947274 947277 941949 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 182283352 19566772224 47311 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947296] ppid=947274 vsize=19108176 memory=281417665914128 CPUtime=0 cores=5,7
/proc/947277/task/947296/stat : 947296 (Timer-0) S 947274 947277 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182283385 19566772224 47311 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 189244 KiB

[startup+3.10914 s]
/proc/loadavg: 4.27 4.29 4.31 7/320 947298
/proc/meminfo: memFree=111781872/131655788 swapFree=131071996/131071996
[pid=947277] ppid=947274 vsize=19108176 memory=905212 CPUtime=5.4 cores=5,7
/proc/947277/stat : 947277 (java) S 947274 947277 941949 0 -1 1077936128 22966 0 0 0 518 22 0 0 20 0 20 0 182283348 19566772224 226303 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
/proc/947277/statm: 4777044 226303 5866 1 0 557977 0
[pid=947277/tid=947279] ppid=947274 vsize=19108176 memory=0 CPUtime=2.92 cores=5,7
/proc/947277/task/947279/stat : 947279 (java) R 947274 947277 941949 0 -1 4194368 7268 0 0 0 275 17 0 0 20 0 20 0 182283348 19566772224 226303 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947288] ppid=947274 vsize=19108176 memory=11884 CPUtime=0 cores=5,7
/proc/947277/task/947288/stat : 947288 (Finalizer) S 947274 947277 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182283351 19566772224 226303 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947295] ppid=947274 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/947277/task/947295/stat : 947295 (Common-Cleaner) S 947274 947277 941949 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 182283352 19566772224 226303 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947296] ppid=947274 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/947277/task/947296/stat : 947296 (Timer-0) S 947274 947277 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182283385 19566772224 226303 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
Current children cumulated CPU time: 5.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 905212 KiB

[startup+6.30048 s]
/proc/loadavg: 4.27 4.29 4.31 5/320 947298
/proc/meminfo: memFree=111296028/131655788 swapFree=131071996/131071996
[pid=947277] ppid=947274 vsize=19108176 memory=1324520 CPUtime=8.86 cores=5,7
/proc/947277/stat : 947277 (java) S 947274 947277 941949 0 -1 1077936128 23771 0 0 0 854 32 0 0 20 0 20 0 182283348 19566772224 331130 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
/proc/947277/statm: 4777044 331130 5866 1 0 557978 0
[pid=947277/tid=947279] ppid=947274 vsize=19108176 memory=11884 CPUtime=6.05 cores=5,7
/proc/947277/task/947279/stat : 947279 (java) R 947274 947277 941949 0 -1 4194368 7526 0 0 0 579 26 0 0 20 0 20 0 182283348 19566772224 331130 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947288] ppid=947274 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/947277/task/947288/stat : 947288 (Finalizer) S 947274 947277 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182283351 19566772224 331130 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947295] ppid=947274 vsize=19108176 memory=212672 CPUtime=0 cores=5,7
/proc/947277/task/947295/stat : 947295 (Common-Cleaner) S 947274 947277 941949 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 182283352 19566772224 331130 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947296] ppid=947274 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/947277/task/947296/stat : 947296 (Timer-0) S 947274 947277 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182283385 19566772224 331130 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
Current children cumulated CPU time: 8.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1324520 KiB

[startup+12.7005 s]
/proc/loadavg: 4.47 4.33 4.33 5/320 947301
/proc/meminfo: memFree=111289620/131655788 swapFree=131071996/131071996
[pid=947277] ppid=947274 vsize=19108176 memory=1330668 CPUtime=15.35 cores=5,7
/proc/947277/stat : 947277 (java) S 947274 947277 941949 0 -1 1077936128 24444 0 0 0 1503 32 0 0 20 0 20 0 182283348 19566772224 332667 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
/proc/947277/statm: 4777044 332667 5866 1 0 557978 0
[pid=947277/tid=947279] ppid=947274 vsize=19108176 memory=0 CPUtime=12.31 cores=5,7
/proc/947277/task/947279/stat : 947279 (java) R 947274 947277 941949 0 -1 4194368 8113 0 0 0 1205 26 0 0 20 0 20 0 182283348 19566772224 332667 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947288] ppid=947274 vsize=19108176 memory=-8887405699447169724 CPUtime=0 cores=5,7
/proc/947277/task/947288/stat : 947288 (Finalizer) S 947274 947277 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182283351 19566772224 332667 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947295] ppid=947274 vsize=19108176 memory=2220 CPUtime=0 cores=5,7
/proc/947277/task/947295/stat : 947295 (Common-Cleaner) S 947274 947277 941949 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 182283352 19566772224 332667 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947296] ppid=947274 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/947277/task/947296/stat : 947296 (Timer-0) S 947274 947277 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182283385 19566772224 332667 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
Current children cumulated CPU time: 15.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1330668 KiB

[startup+25.5005 s]
/proc/loadavg: 4.47 4.33 4.33 5/320 947302
/proc/meminfo: memFree=110865796/131655788 swapFree=131071996/131071996
[pid=947277] ppid=947274 vsize=19108176 memory=1753608 CPUtime=28.62 cores=5,7
/proc/947277/stat : 947277 (java) S 947274 947277 941949 0 -1 1077936128 31307 0 0 0 2818 44 0 0 20 0 20 0 182283348 19566772224 438402 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
/proc/947277/statm: 4777044 438402 5866 1 0 664570 0
[pid=947277/tid=947279] ppid=947274 vsize=19108176 memory=11596 CPUtime=24.8 cores=5,7
/proc/947277/task/947279/stat : 947279 (java) R 947274 947277 941949 0 -1 4194368 10428 0 0 0 2444 36 0 0 20 0 20 0 182283348 19566772224 438402 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947288] ppid=947274 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/947277/task/947288/stat : 947288 (Finalizer) S 947274 947277 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182283351 19566772224 438402 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947295] ppid=947274 vsize=19108176 memory=1324520 CPUtime=0 cores=5,7
/proc/947277/task/947295/stat : 947295 (Common-Cleaner) S 947274 947277 941949 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 182283352 19566772224 438402 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947296] ppid=947274 vsize=19108176 memory=281417665860912 CPUtime=0 cores=5,7
/proc/947277/task/947296/stat : 947296 (Timer-0) S 947274 947277 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182283385 19566772224 438402 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
Current children cumulated CPU time: 28.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1753608 KiB

[startup+51.1292 s]
/proc/loadavg: 4.52 4.35 4.34 6/320 947305
/proc/meminfo: memFree=109698240/131655788 swapFree=131071996/131071996
[pid=947277] ppid=947274 vsize=19108176 memory=2791696 CPUtime=54.79 cores=5,7
/proc/947277/stat : 947277 (java) S 947274 947277 941949 0 -1 1077936128 44343 0 0 0 5411 68 0 0 20 0 20 0 182283348 19566772224 697924 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
/proc/947277/statm: 4777044 697924 5866 1 0 925801 0
[pid=947277/tid=947279] ppid=947274 vsize=19108176 memory=2329584 CPUtime=49.61 cores=5,7
/proc/947277/task/947279/stat : 947279 (java) R 947274 947277 941949 0 -1 4194368 14102 0 0 0 4905 56 0 0 20 0 20 0 182283348 19566772224 697924 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947288] ppid=947274 vsize=19108176 memory=281417666610560 CPUtime=0 cores=5,7
/proc/947277/task/947288/stat : 947288 (Finalizer) S 947274 947277 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182283351 19566772224 697924 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0

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

[pid=947277] ppid=947274 vsize=19108176 memory=3995576 CPUtime=415.46 cores=5,7
/proc/947277/stat : 947277 (java) S 947274 947277 941949 0 -1 1077936128 86483 0 0 0 41424 122 0 0 20 0 20 0 182283348 19566772224 998894 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
/proc/947277/statm: 4777044 998894 5879 1 0 1176471 0
[pid=947277/tid=947279] ppid=947274 vsize=19108176 memory=3872048 CPUtime=398.29 cores=5,7
/proc/947277/task/947279/stat : 947279 (java) R 947274 947277 941949 0 -1 4194368 35642 0 0 0 39749 80 0 0 20 0 20 0 182283348 19566772224 998894 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947288] ppid=947274 vsize=19108176 memory=16216 CPUtime=0 cores=5,7
/proc/947277/task/947288/stat : 947288 (Finalizer) S 947274 947277 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182283351 19566772224 998894 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947295] ppid=947274 vsize=19108176 memory=5616 CPUtime=0 cores=5,7
/proc/947277/task/947295/stat : 947295 (Common-Cleaner) S 947274 947277 941949 0 -1 1077936192 357 0 0 0 0 0 0 0 20 0 20 0 182283352 19566772224 998894 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947296] ppid=947274 vsize=19108176 memory=11884 CPUtime=0 cores=5,7
/proc/947277/task/947296/stat : 947296 (Timer-0) S 947274 947277 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182283385 19566772224 998894 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
Current children cumulated CPU time: 415.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3995576 KiB

[startup+435.201 s]
/proc/loadavg: 4.08 4.23 4.30 5/320 947448
/proc/meminfo: memFree=107983416/131655788 swapFree=131071996/131071996
[pid=947277] ppid=947274 vsize=19108176 memory=3999680 CPUtime=441.29 cores=5,7
/proc/947277/stat : 947277 (java) S 947274 947277 941949 0 -1 1077936128 87417 0 0 0 44005 124 0 0 20 0 20 0 182283348 19566772224 999920 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
/proc/947277/statm: 4777044 999920 5879 1 0 1176471 0
[pid=947277/tid=947279] ppid=947274 vsize=19108176 memory=3995576 CPUtime=423.4 cores=5,7
/proc/947277/task/947279/stat : 947279 (java) R 947274 947277 941949 0 -1 4194368 36417 0 0 0 42259 81 0 0 20 0 20 0 182283348 19566772224 999920 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947288] ppid=947274 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/947277/task/947288/stat : 947288 (Finalizer) S 947274 947277 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182283351 19566772224 999920 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947295] ppid=947274 vsize=19108176 memory=3999680 CPUtime=0 cores=5,7
/proc/947277/task/947295/stat : 947295 (Common-Cleaner) S 947274 947277 941949 0 -1 1077936192 357 0 0 0 0 0 0 0 20 0 20 0 182283352 19566772224 999920 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947296] ppid=947274 vsize=19108176 memory=43588 CPUtime=0 cores=5,7
/proc/947277/task/947296/stat : 947296 (Timer-0) S 947274 947277 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182283385 19566772224 999920 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
Current children cumulated CPU time: 441.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3999680 KiB

[startup+448 s]*
/proc/loadavg: 4.21 4.26 4.30 5/320 947449
/proc/meminfo: memFree=107952644/131655788 swapFree=131071996/131071996
[pid=947277] ppid=947274 vsize=19108176 memory=4007880 CPUtime=454.21 cores=5,7
/proc/947277/stat : 947277 (java) S 947274 947277 941949 0 -1 1077936128 88194 0 0 0 45297 124 0 0 20 0 20 0 182283348 19566772224 1001970 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
/proc/947277/statm: 4777044 1001970 5879 1 0 1176471 0
[pid=947277/tid=947279] ppid=947274 vsize=19108176 memory=-8960025143926891196 CPUtime=435.88 cores=5,7
/proc/947277/task/947279/stat : 947279 (java) R 947274 947277 941949 0 -1 4194368 37090 0 0 0 43507 81 0 0 20 0 20 0 182283348 19566772224 1001970 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947288] ppid=947274 vsize=19108176 memory=-7233474409990874236 CPUtime=0 cores=5,7
/proc/947277/task/947288/stat : 947288 (Finalizer) S 947274 947277 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182283351 19566772224 1001970 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947295] ppid=947274 vsize=19108176 memory=30160 CPUtime=0 cores=5,7
/proc/947277/task/947295/stat : 947295 (Common-Cleaner) S 947274 947277 941949 0 -1 1077936192 405 0 0 0 0 0 0 0 20 0 20 0 182283352 19566772224 1001970 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947296] ppid=947274 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/947277/task/947296/stat : 947296 (Timer-0) S 947274 947277 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182283385 19566772224 1001970 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
Current children cumulated CPU time: 454.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4007880 KiB

[startup+454.4 s]
/proc/loadavg: 4.19 4.25 4.30 6/320 947451
/proc/meminfo: memFree=107944336/131655788 swapFree=131071996/131071996
[pid=947277] ppid=947274 vsize=19108176 memory=4016108 CPUtime=460.68 cores=5,7
/proc/947277/stat : 947277 (java) S 947274 947277 941949 0 -1 1077936128 91073 0 0 0 45942 126 0 0 20 0 20 0 182283348 19566772224 1004027 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
/proc/947277/statm: 4777044 1004027 5879 1 0 1176471 0
[pid=947277/tid=947279] ppid=947274 vsize=19108176 memory=4007880 CPUtime=442.03 cores=5,7
/proc/947277/task/947279/stat : 947279 (java) R 947274 947277 941949 0 -1 4194368 38618 0 0 0 44122 81 0 0 20 0 20 0 182283348 19566772224 1004027 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947288] ppid=947274 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/947277/task/947288/stat : 947288 (Finalizer) S 947274 947277 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182283351 19566772224 1004027 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947295] ppid=947274 vsize=19108176 memory=4016108 CPUtime=0 cores=5,7
/proc/947277/task/947295/stat : 947295 (Common-Cleaner) S 947274 947277 941949 0 -1 1077936192 405 0 0 0 0 0 0 0 20 0 20 0 182283352 19566772224 1004027 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947296] ppid=947274 vsize=19108176 memory=4005832 CPUtime=0 cores=5,7
/proc/947277/task/947296/stat : 947296 (Timer-0) S 947274 947277 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182283385 19566772224 1004027 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
Current children cumulated CPU time: 460.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4016108 KiB

[startup+457.6 s]
/proc/loadavg: 4.26 4.26 4.30 5/320 947451
/proc/meminfo: memFree=107921660/131655788 swapFree=131071996/131071996
[pid=947277] ppid=947274 vsize=19108176 memory=4016108 CPUtime=463.87 cores=5,7
/proc/947277/stat : 947277 (java) S 947274 947277 941949 0 -1 1077936128 91080 0 0 0 46261 126 0 0 20 0 20 0 182283348 19566772224 1004027 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
/proc/947277/statm: 4777044 1004027 5879 1 0 1176471 0
[pid=947277/tid=947279] ppid=947274 vsize=19108176 memory=4005832 CPUtime=445.22 cores=5,7
/proc/947277/task/947279/stat : 947279 (java) R 947274 947277 941949 0 -1 4194368 38625 0 0 0 44441 81 0 0 20 0 20 0 182283348 19566772224 1004027 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947288] ppid=947274 vsize=19108176 memory=1808 CPUtime=0 cores=5,7
/proc/947277/task/947288/stat : 947288 (Finalizer) S 947274 947277 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182283351 19566772224 1004027 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947295] ppid=947274 vsize=19108176 memory=-8887405699447169724 CPUtime=0 cores=5,7
/proc/947277/task/947295/stat : 947295 (Common-Cleaner) S 947274 947277 941949 0 -1 1077936192 405 0 0 0 0 0 0 0 20 0 20 0 182283352 19566772224 1004027 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947296] ppid=947274 vsize=19108176 memory=43588 CPUtime=0 cores=5,7
/proc/947277/task/947296/stat : 947296 (Timer-0) S 947274 947277 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182283385 19566772224 1004027 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
Current children cumulated CPU time: 463.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4016108 KiB

[startup+459.2 s]
/proc/loadavg: 4.26 4.26 4.30 5/320 947451
/proc/meminfo: memFree=107917572/131655788 swapFree=131071996/131071996
[pid=947277] ppid=947274 vsize=19108176 memory=4020204 CPUtime=465.49 cores=5,7
/proc/947277/stat : 947277 (java) S 947274 947277 941949 0 -1 1077936128 91123 0 0 0 46423 126 0 0 20 0 20 0 182283348 19566772224 1005051 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
/proc/947277/statm: 4777044 1005051 5879 1 0 1176471 0
[pid=947277/tid=947279] ppid=947274 vsize=19108176 memory=11596 CPUtime=446.65 cores=5,7
/proc/947277/task/947279/stat : 947279 (java) R 947274 947277 941949 0 -1 4194368 38655 0 0 0 44584 81 0 0 20 0 20 0 182283348 19566772224 1005051 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947288] ppid=947274 vsize=19108176 memory=-8887405699447169724 CPUtime=0 cores=5,7
/proc/947277/task/947288/stat : 947288 (Finalizer) S 947274 947277 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182283351 19566772224 1005051 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947295] ppid=947274 vsize=19108176 memory=11884 CPUtime=0 cores=5,7
/proc/947277/task/947295/stat : 947295 (Common-Cleaner) S 947274 947277 941949 0 -1 1077936192 405 0 0 0 0 0 0 0 20 0 20 0 182283352 19566772224 1005051 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947296] ppid=947274 vsize=19108176 memory=3312 CPUtime=0 cores=5,7
/proc/947277/task/947296/stat : 947296 (Timer-0) S 947274 947277 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182283385 19566772224 1005051 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
Current children cumulated CPU time: 465.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4020204 KiB

[startup+460 s]*
/proc/loadavg: 4.26 4.26 4.30 5/320 947451
/proc/meminfo: memFree=107917580/131655788 swapFree=131071996/131071996
[pid=947277] ppid=947274 vsize=19108176 memory=4020204 CPUtime=466.3 cores=5,7
/proc/947277/stat : 947277 (java) S 947274 947277 941949 0 -1 1077936128 91128 0 0 0 46504 126 0 0 20 0 20 0 182283348 19566772224 1005051 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
/proc/947277/statm: 4777044 1005051 5879 1 0 1176471 0
[pid=947277/tid=947279] ppid=947274 vsize=19108176 memory=-8960025143926891196 CPUtime=447.46 cores=5,7
/proc/947277/task/947279/stat : 947279 (java) R 947274 947277 941949 0 -1 4194368 38660 0 0 0 44665 81 0 0 20 0 20 0 182283348 19566772224 1005051 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947288] ppid=947274 vsize=19108176 memory=-7233474409990874236 CPUtime=0 cores=5,7
/proc/947277/task/947288/stat : 947288 (Finalizer) S 947274 947277 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182283351 19566772224 1005051 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947295] ppid=947274 vsize=19108176 memory=8836 CPUtime=0 cores=5,7
/proc/947277/task/947295/stat : 947295 (Common-Cleaner) S 947274 947277 941949 0 -1 1077936192 405 0 0 0 0 0 0 0 20 0 20 0 182283352 19566772224 1005051 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947296] ppid=947274 vsize=19108176 memory=3472328296227804525 CPUtime=0 cores=5,7
/proc/947277/task/947296/stat : 947296 (Timer-0) S 947274 947277 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182283385 19566772224 1005051 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
Current children cumulated CPU time: 466.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4020204 KiB

[startup+460.2 s]
/proc/loadavg: 4.26 4.26 4.30 5/320 947451
/proc/meminfo: memFree=107917580/131655788 swapFree=131071996/131071996
[pid=947277] ppid=947274 vsize=19108176 memory=4020252 CPUtime=466.53 cores=5,7
/proc/947277/stat : 947277 (java) S 947274 947277 941949 0 -1 1077936128 92671 0 0 0 46526 127 0 0 20 0 20 0 182283348 19566772224 1005063 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
/proc/947277/statm: 4777044 1005063 5879 1 0 1176471 0
[pid=947277/tid=947279] ppid=947274 vsize=19108176 memory=3565 CPUtime=447.65 cores=5,7
/proc/947277/task/947279/stat : 947279 (java) R 947274 947277 941949 0 -1 4194368 39070 0 0 0 44684 81 0 0 20 0 20 0 182283348 19566772224 1005063 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947288] ppid=947274 vsize=19108176 memory=28841 CPUtime=0 cores=5,7
/proc/947277/task/947288/stat : 947288 (Finalizer) S 947274 947277 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182283351 19566772224 1005063 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947295] ppid=947274 vsize=19108176 memory=3977302118356907450 CPUtime=0 cores=5,7
/proc/947277/task/947295/stat : 947295 (Common-Cleaner) S 947274 947277 941949 0 -1 1077936192 405 0 0 0 0 0 0 0 20 0 20 0 182283352 19566772224 1005063 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947296] ppid=947274 vsize=19108176 memory=6656426216303648864 CPUtime=0 cores=5,7
/proc/947277/task/947296/stat : 947296 (Timer-0) S 947274 947277 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182283385 19566772224 1005063 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
Current children cumulated CPU time: 466.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4020252 KiB

[startup+460.3 s]
/proc/loadavg: 4.26 4.26 4.30 5/320 947451
/proc/meminfo: memFree=107917580/131655788 swapFree=131071996/131071996
[pid=947277] ppid=947274 vsize=19108176 memory=4020252 CPUtime=466.73 cores=5,7
/proc/947277/stat : 947277 (java) S 947274 947277 941949 0 -1 1077936128 93312 0 0 0 46546 127 0 0 20 0 20 0 182283348 19566772224 1005063 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
/proc/947277/statm: 4777044 1005063 5879 1 0 1176471 0
[pid=947277/tid=947279] ppid=947274 vsize=19108176 memory=3999680 CPUtime=447.75 cores=5,7
/proc/947277/task/947279/stat : 947279 (java) R 947274 947277 941949 0 -1 4194368 39075 0 0 0 44694 81 0 0 20 0 20 0 182283348 19566772224 1005063 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947288] ppid=947274 vsize=19108176 memory=3991444 CPUtime=0 cores=5,7
/proc/947277/task/947288/stat : 947288 (Finalizer) S 947274 947277 941949 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182283351 19566772224 1005063 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947295] ppid=947274 vsize=19108176 memory=43588 CPUtime=0 cores=5,7
/proc/947277/task/947295/stat : 947295 (Common-Cleaner) S 947274 947277 941949 0 -1 1077936192 405 0 0 0 0 0 0 0 20 0 20 0 182283352 19566772224 1005063 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
[pid=947277/tid=947296] ppid=947274 vsize=19108176 memory=4016108 CPUtime=0 cores=5,7
/proc/947277/task/947296/stat : 947296 (Timer-0) S 947274 947277 941949 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182283385 19566772224 1005063 134679101440 94159679873024 94159679876720 140728304194832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94159679884536 94159679885328 94159689908224 140728304198644 140728304198752 140728304198752 140728304205768 0
Current children cumulated CPU time: 466.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4020252 KiB

Child status: 10

Real time (s): 460.386
CPU time (s): 466.851
CPU user time (s): 465.562
CPU system time (s): 1.28956
CPU usage (%): 101.404
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 4020252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 465.562
system time used= 1.28956
maximum resident set size= 4021636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96062
page faults= 0
swaps= 0
block input operations= 0
block output operations= 544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19532
involuntary context switches= 1617


# summary of solver processes directly reported to runsolver:
#   pid: 947277
#   total CPU time (s): 466.851
#   total CPU user time (s): 465.562
#   total CPU system time (s): 1.28956

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.32372 second user time and 4.95059 second system time

The end