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: 63931 MiB (54210 MiB free)
memory of node 1: 64510 MiB (55965 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448105-1721360606/watcher-4448105-1721360606 -o /tmp/evaluation-result-4448105-1721360606/solver-4448105-1721360606 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721360068-1012979 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4448105-1721360606.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=1013672, runsolver pid=1013669
[startup+0.101651 s]*
/proc/loadavg: 4.68 3.90 2.62 7/332 1013690
/proc/meminfo: memFree=112778376/131524600 swapFree=131071996/131071996
[pid=1013672] ppid=1013669 vsize=18975048 memory=63612 CPUtime=0.14 cores=5,7
/proc/1013672/stat : 1013672 (java) S 1013669 1013672 1006321 0 -1 1077936128 7228 0 0 0 12 2 0 0 20 0 18 0 188228921 19430449152 15903 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
/proc/1013672/statm: 4743762 15903 5748 1 0 549356 0
[pid=1013672/tid=1013674] ppid=1013669 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/1013672/task/1013674/stat : 1013674 (java) R 1013669 1013672 1006321 0 -1 1077936192 5763 0 0 0 7 2 0 0 20 0 18 0 188228921 19430449152 15903 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013683] ppid=1013669 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/1013672/task/1013683/stat : 1013683 (Finalizer) S 1013669 1013672 1006321 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 188228924 19430449152 15903 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013690] ppid=1013669 vsize=18975048 memory=14408220236082459 CPUtime=0 cores=5,7
/proc/1013672/task/1013690/stat : 1013690 (Common-Cleaner) S 1013669 1013672 1006321 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 188228924 19430449152 15903 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63612 KiB
[startup+0.206773 s]*
/proc/loadavg: 4.68 3.90 2.62 10/332 1013690
/proc/meminfo: memFree=112763828/131524600 swapFree=131071996/131071996
[pid=1013672] ppid=1013669 vsize=18975048 memory=78384 CPUtime=0.33 cores=5,7
/proc/1013672/stat : 1013672 (java) S 1013669 1013672 1006321 0 -1 1077936128 7793 0 0 0 31 2 0 0 20 0 18 0 188228921 19430449152 19596 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
/proc/1013672/statm: 4743762 19596 5850 1 0 549716 0
[pid=1013672/tid=1013674] ppid=1013669 vsize=18975048 memory=6876556183782621315 CPUtime=0.18 cores=5,7
/proc/1013672/task/1013674/stat : 1013674 (java) R 1013669 1013672 1006321 0 -1 4194368 6032 0 0 0 16 2 0 0 20 0 18 0 188228921 19430449152 19596 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013683] ppid=1013669 vsize=18975048 memory=15945 CPUtime=0 cores=5,7
/proc/1013672/task/1013683/stat : 1013683 (Finalizer) S 1013669 1013672 1006321 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 188228924 19430449152 19596 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013690] ppid=1013669 vsize=18975048 memory=14418111545738801 CPUtime=0 cores=5,7
/proc/1013672/task/1013690/stat : 1013690 (Common-Cleaner) S 1013669 1013672 1006321 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 188228924 19430449152 19596 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 78384 KiB
[startup+0.305776 s]*
/proc/loadavg: 4.68 3.90 2.62 8/333 1013691
/proc/meminfo: memFree=112730516/131524600 swapFree=131071996/131071996
[pid=1013672] ppid=1013669 vsize=19041612 memory=111476 CPUtime=0.52 cores=5,7
/proc/1013672/stat : 1013672 (java) S 1013669 1013672 1006321 0 -1 1077936128 9396 0 0 0 49 3 0 0 20 0 19 0 188228921 19498610688 27869 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
/proc/1013672/statm: 4760403 27869 5850 1 0 551030 0
[pid=1013672/tid=1013674] ppid=1013669 vsize=19041612 memory=-7596830928979912033 CPUtime=0.28 cores=5,7
/proc/1013672/task/1013674/stat : 1013674 (java) R 1013669 1013672 1006321 0 -1 4194368 6124 0 0 0 25 3 0 0 20 0 19 0 188228921 19498610688 27869 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013683] ppid=1013669 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1013672/task/1013683/stat : 1013683 (Finalizer) S 1013669 1013672 1006321 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 188228924 19498610688 27869 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013690] ppid=1013669 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1013672/task/1013690/stat : 1013690 (Common-Cleaner) S 1013669 1013672 1006321 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 188228924 19498610688 27869 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013691] ppid=1013669 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1013672/task/1013691/stat : 1013691 (Timer-0) S 1013669 1013672 1006321 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 188228946 19498610688 27869 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 111476 KiB
[startup+0.700776 s]
/proc/loadavg: 4.68 3.90 2.62 7/334 1013692
/proc/meminfo: memFree=112674348/131524600 swapFree=131071996/131071996
[pid=1013672] ppid=1013669 vsize=19108176 memory=176320 CPUtime=1.29 cores=5,7
/proc/1013672/stat : 1013672 (java) S 1013669 1013672 1006321 0 -1 1077936128 14678 0 0 0 124 5 0 0 20 0 20 0 188228921 19566772224 44080 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
/proc/1013672/statm: 4777044 44080 5850 1 0 554496 0
[pid=1013672/tid=1013674] ppid=1013669 vsize=19108176 memory=13120 CPUtime=0.63 cores=5,7
/proc/1013672/task/1013674/stat : 1013674 (java) R 1013669 1013672 1006321 0 -1 4194368 6184 0 0 0 60 3 0 0 20 0 20 0 188228921 19566772224 44080 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013683] ppid=1013669 vsize=19108176 memory=13120 CPUtime=0 cores=5,7
/proc/1013672/task/1013683/stat : 1013683 (Finalizer) S 1013669 1013672 1006321 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 188228924 19566772224 44080 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013690] ppid=1013669 vsize=19108176 memory=117636 CPUtime=0 cores=5,7
/proc/1013672/task/1013690/stat : 1013690 (Common-Cleaner) S 1013669 1013672 1006321 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 188228924 19566772224 44080 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013691] ppid=1013669 vsize=19108176 memory=1848 CPUtime=0 cores=5,7
/proc/1013672/task/1013691/stat : 1013691 (Timer-0) S 1013669 1013672 1006321 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 188228946 19566772224 44080 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 176320 KiB
[startup+1.50079 s]
/proc/loadavg: 4.68 3.90 2.62 6/334 1013692
/proc/meminfo: memFree=112653012/131524600 swapFree=131071996/131071996
[pid=1013672] ppid=1013669 vsize=19108176 memory=309884 CPUtime=2.86 cores=5,7
/proc/1013672/stat : 1013672 (java) S 1013669 1013672 1006321 0 -1 1077936128 20736 0 0 0 278 8 0 0 20 0 20 0 188228921 19566772224 77471 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
/proc/1013672/statm: 4777044 77471 5850 1 0 554953 0
[pid=1013672/tid=1013674] ppid=1013669 vsize=19108176 memory=13120 CPUtime=1.41 cores=5,7
/proc/1013672/task/1013674/stat : 1013674 (java) R 1013669 1013672 1006321 0 -1 4194368 6576 0 0 0 136 5 0 0 20 0 20 0 188228921 19566772224 77471 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013683] ppid=1013669 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1013672/task/1013683/stat : 1013683 (Finalizer) S 1013669 1013672 1006321 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 188228924 19566772224 77471 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013690] ppid=1013669 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1013672/task/1013690/stat : 1013690 (Common-Cleaner) S 1013669 1013672 1006321 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 188228924 19566772224 77471 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013691] ppid=1013669 vsize=19108176 memory=65 CPUtime=0 cores=5,7
/proc/1013672/task/1013691/stat : 1013691 (Timer-0) S 1013669 1013672 1006321 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 188228946 19566772224 77471 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 309884 KiB
[startup+3.10574 s]
/proc/loadavg: 4.62 3.90 2.62 5/334 1013692
/proc/meminfo: memFree=111996032/131524600 swapFree=131071996/131071996
[pid=1013672] ppid=1013669 vsize=19108176 memory=869524 CPUtime=4.78 cores=5,7
/proc/1013672/stat : 1013672 (java) S 1013669 1013672 1006321 0 -1 1077936128 23019 0 0 0 459 19 0 0 20 0 20 0 188228921 19566772224 217381 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
/proc/1013672/statm: 4777044 217381 5858 1 0 554958 0
[pid=1013672/tid=1013674] ppid=1013669 vsize=19108176 memory=0 CPUtime=3 cores=5,7
/proc/1013672/task/1013674/stat : 1013674 (java) R 1013669 1013672 1006321 0 -1 4194368 7554 0 0 0 284 16 0 0 20 0 20 0 188228921 19566772224 217381 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013683] ppid=1013669 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1013672/task/1013683/stat : 1013683 (Finalizer) S 1013669 1013672 1006321 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 188228924 19566772224 217381 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013690] ppid=1013669 vsize=19108176 memory=504492 CPUtime=0 cores=5,7
/proc/1013672/task/1013690/stat : 1013690 (Common-Cleaner) S 1013669 1013672 1006321 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 188228924 19566772224 217381 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013691] ppid=1013669 vsize=19108176 memory=13120 CPUtime=0 cores=5,7
/proc/1013672/task/1013691/stat : 1013691 (Timer-0) S 1013669 1013672 1006321 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 188228946 19566772224 217381 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
Current children cumulated CPU time: 4.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 869524 KiB
[startup+6.30028 s]
/proc/loadavg: 4.62 3.90 2.62 6/334 1013692
/proc/meminfo: memFree=111913800/131524600 swapFree=131071996/131071996
[pid=1013672] ppid=1013669 vsize=19108176 memory=875672 CPUtime=8.02 cores=5,7
/proc/1013672/stat : 1013672 (java) S 1013669 1013672 1006321 0 -1 1077936128 23159 0 0 0 782 20 0 0 20 0 20 0 188228921 19566772224 218918 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
/proc/1013672/statm: 4777044 218918 5858 1 0 554958 0
[pid=1013672/tid=1013674] ppid=1013669 vsize=19108176 memory=13120 CPUtime=6.13 cores=5,7
/proc/1013672/task/1013674/stat : 1013674 (java) R 1013669 1013672 1006321 0 -1 4194368 7592 0 0 0 597 16 0 0 20 0 20 0 188228921 19566772224 218918 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013683] ppid=1013669 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1013672/task/1013683/stat : 1013683 (Finalizer) S 1013669 1013672 1006321 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 188228924 19566772224 218918 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013690] ppid=1013669 vsize=19108176 memory=7593456421827210604 CPUtime=0 cores=5,7
/proc/1013672/task/1013690/stat : 1013690 (Common-Cleaner) S 1013669 1013672 1006321 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 188228924 19566772224 218918 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013691] ppid=1013669 vsize=19108176 memory=5428 CPUtime=0 cores=5,7
/proc/1013672/task/1013691/stat : 1013691 (Timer-0) S 1013669 1013672 1006321 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 188228946 19566772224 218918 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
Current children cumulated CPU time: 8.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 875672 KiB
[startup+12.7003 s]
/proc/loadavg: 4.73 3.94 2.64 6/334 1013694
/proc/meminfo: memFree=111536952/131524600 swapFree=131071996/131071996
[pid=1013672] ppid=1013669 vsize=19108176 memory=1189104 CPUtime=14.48 cores=5,7
/proc/1013672/stat : 1013672 (java) S 1013669 1013672 1006321 0 -1 1077936128 25272 0 0 0 1421 27 0 0 20 0 20 0 188228921 19566772224 297276 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
/proc/1013672/statm: 4777044 297276 5858 1 0 554958 0
[pid=1013672/tid=1013674] ppid=1013669 vsize=19108176 memory=0 CPUtime=12.39 cores=5,7
/proc/1013672/task/1013674/stat : 1013674 (java) R 1013669 1013672 1006321 0 -1 4194368 8776 0 0 0 1218 21 0 0 20 0 20 0 188228921 19566772224 297276 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013683] ppid=1013669 vsize=19108176 memory=1189084 CPUtime=0 cores=5,7
/proc/1013672/task/1013683/stat : 1013683 (Finalizer) S 1013669 1013672 1006321 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 188228924 19566772224 297276 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013690] ppid=1013669 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1013672/task/1013690/stat : 1013690 (Common-Cleaner) S 1013669 1013672 1006321 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 188228924 19566772224 297276 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013691] ppid=1013669 vsize=19108176 memory=16216 CPUtime=0 cores=5,7
/proc/1013672/task/1013691/stat : 1013691 (Timer-0) S 1013669 1013672 1006321 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 188228946 19566772224 297276 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
Current children cumulated CPU time: 14.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1189104 KiB
[startup+25.5003 s]
/proc/loadavg: 4.71 3.97 2.68 6/334 1013695
/proc/meminfo: memFree=111109864/131524600 swapFree=131071996/131071996
[pid=1013672] ppid=1013669 vsize=19108176 memory=1667460 CPUtime=27.46 cores=5,7
/proc/1013672/stat : 1013672 (java) S 1013669 1013672 1006321 0 -1 1077936128 29451 0 0 0 2710 36 0 0 20 0 20 0 188228921 19566772224 416865 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
/proc/1013672/statm: 4777044 416865 5889 1 0 661485 0
[pid=1013672/tid=1013674] ppid=1013669 vsize=19108176 memory=1189084 CPUtime=24.82 cores=5,7
/proc/1013672/task/1013674/stat : 1013674 (java) R 1013669 1013672 1006321 0 -1 4194368 10806 0 0 0 2454 28 0 0 20 0 20 0 188228921 19566772224 416865 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013683] ppid=1013669 vsize=19108176 memory=16216 CPUtime=0 cores=5,7
/proc/1013672/task/1013683/stat : 1013683 (Finalizer) S 1013669 1013672 1006321 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 188228924 19566772224 416865 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013690] ppid=1013669 vsize=19108176 memory=3460 CPUtime=0 cores=5,7
/proc/1013672/task/1013690/stat : 1013690 (Common-Cleaner) S 1013669 1013672 1006321 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 188228924 19566772224 416865 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013691] ppid=1013669 vsize=19108176 memory=1607832 CPUtime=0 cores=5,7
/proc/1013672/task/1013691/stat : 1013691 (Timer-0) S 1013669 1013672 1006321 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 188228946 19566772224 416865 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
Current children cumulated CPU time: 27.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1667460 KiB
[startup+51.1058 s]
/proc/loadavg: 4.71 4.04 2.73 6/334 1013701
/proc/meminfo: memFree=110689856/131524600 swapFree=131071996/131071996
[pid=1013672] ppid=1013669 vsize=19108176 memory=1753564 CPUtime=53.35 cores=5,7
/proc/1013672/stat : 1013672 (java) S 1013669 1013672 1006321 0 -1 1077936128 32579 0 0 0 5296 39 0 0 20 0 20 0 188228921 19566772224 438391 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
/proc/1013672/statm: 4777044 438391 5889 1 0 661485 0
[pid=1013672/tid=1013674] ppid=1013669 vsize=19108176 memory=11400 CPUtime=50 cores=5,7
/proc/1013672/task/1013674/stat : 1013674 (java) R 1013669 1013672 1006321 0 -1 4194368 12648 0 0 0 4971 29 0 0 20 0 20 0 188228921 19566772224 438391 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
################
# More data... #
################
/proc/loadavg: 4.61 4.63 4.02 7/341 1014448
/proc/meminfo: memFree=102074752/131524600 swapFree=131071996/131071996
[pid=1013672] ppid=1013669 vsize=19108176 memory=2614288 CPUtime=1038.52 cores=5,7
/proc/1013672/stat : 1013672 (java) S 1013669 1013672 1006321 0 -1 1077936128 134801 0 0 0 103737 115 0 0 20 0 20 0 188228921 19566772224 653572 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
/proc/1013672/statm: 4777044 653572 5889 1 0 665552 0
[pid=1013672/tid=1013674] ppid=1013669 vsize=19108176 memory=-7596830928979912033 CPUtime=1011.91 cores=5,7
/proc/1013672/task/1013674/stat : 1013674 (java) R 1013669 1013672 1006321 0 -1 4194368 60097 0 0 0 101155 36 0 0 20 0 20 0 188228921 19566772224 653572 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013683] ppid=1013669 vsize=19108176 memory=1468803973692162177 CPUtime=0 cores=5,7
/proc/1013672/task/1013683/stat : 1013683 (Finalizer) S 1013669 1013672 1006321 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 188228924 19566772224 653572 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013690] ppid=1013669 vsize=19108176 memory=4427168676181800490 CPUtime=0 cores=5,7
/proc/1013672/task/1013690/stat : 1013690 (Common-Cleaner) S 1013669 1013672 1006321 0 -1 1077936192 1124 0 0 0 0 0 0 0 20 0 20 0 188228924 19566772224 653572 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013691] ppid=1013669 vsize=19108176 memory=4427168676181800490 CPUtime=0 cores=5,7
/proc/1013672/task/1013691/stat : 1013691 (Timer-0) S 1013669 1013672 1006321 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 188228946 19566772224 653572 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
Current children cumulated CPU time: 1038.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2614288 KiB
[startup+1036.8 s]
/proc/loadavg: 4.74 4.66 4.03 5/341 1014451
/proc/meminfo: memFree=101989196/131524600 swapFree=131071996/131071996
[pid=1013672] ppid=1013669 vsize=19108176 memory=2614328 CPUtime=1051.52 cores=5,7
/proc/1013672/stat : 1013672 (java) S 1013669 1013672 1006321 0 -1 1077936128 135505 0 0 0 105036 116 0 0 20 0 20 0 188228921 19566772224 653582 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
/proc/1013672/statm: 4777044 653582 5889 1 0 665552 0
[pid=1013672/tid=1013674] ppid=1013669 vsize=19108176 memory=2614248 CPUtime=1024.58 cores=5,7
/proc/1013672/task/1013674/stat : 1013674 (java) R 1013669 1013672 1006321 0 -1 4194368 60706 0 0 0 102421 37 0 0 20 0 20 0 188228921 19566772224 653582 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013683] ppid=1013669 vsize=19108176 memory=11400 CPUtime=0 cores=5,7
/proc/1013672/task/1013683/stat : 1013683 (Finalizer) S 1013669 1013672 1006321 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 188228924 19566772224 653582 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013690] ppid=1013669 vsize=19108176 memory=-7596830928979912033 CPUtime=0 cores=5,7
/proc/1013672/task/1013690/stat : 1013690 (Common-Cleaner) S 1013669 1013672 1006321 0 -1 1077936192 1124 0 0 0 0 0 0 0 20 0 20 0 188228924 19566772224 653582 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013691] ppid=1013669 vsize=19108176 memory=2614296 CPUtime=0 cores=5,7
/proc/1013672/task/1013691/stat : 1013691 (Timer-0) S 1013669 1013672 1006321 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 188228946 19566772224 653582 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
Current children cumulated CPU time: 1051.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2614328 KiB
[startup+1043.2 s]
/proc/loadavg: 4.94 4.71 4.06 6/341 1014463
/proc/meminfo: memFree=101985312/131524600 swapFree=131071996/131071996
[pid=1013672] ppid=1013669 vsize=19108176 memory=2615232 CPUtime=1060.43 cores=5,7
/proc/1013672/stat : 1013672 (java) S 1013669 1013672 1006321 0 -1 1077936128 151234 0 0 0 105923 120 0 0 20 0 20 0 188228921 19566772224 653808 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
/proc/1013672/statm: 4777044 653808 5889 1 0 665809 0
[pid=1013672/tid=1013674] ppid=1013669 vsize=19108176 memory=2614360 CPUtime=1030.76 cores=5,7
/proc/1013672/task/1013674/stat : 1013674 (java) R 1013669 1013672 1006321 0 -1 4194368 66270 0 0 0 103039 37 0 0 20 0 20 0 188228921 19566772224 653808 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013683] ppid=1013669 vsize=19108176 memory=2614288 CPUtime=0 cores=5,7
/proc/1013672/task/1013683/stat : 1013683 (Finalizer) S 1013669 1013672 1006321 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 188228924 19566772224 653808 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013690] ppid=1013669 vsize=19108176 memory=44604 CPUtime=0 cores=5,7
/proc/1013672/task/1013690/stat : 1013690 (Common-Cleaner) S 1013669 1013672 1006321 0 -1 1077936192 1124 0 0 0 0 0 0 0 20 0 20 0 188228924 19566772224 653808 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013691] ppid=1013669 vsize=19108176 memory=26340 CPUtime=0 cores=5,7
/proc/1013672/task/1013691/stat : 1013691 (Timer-0) S 1013669 1013672 1006321 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 188228946 19566772224 653808 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
Current children cumulated CPU time: 1060.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2615232 KiB
[startup+1049.6 s]
/proc/loadavg: 4.87 4.69 4.05 5/341 1014463
/proc/meminfo: memFree=101849560/131524600 swapFree=131071996/131071996
[pid=1013672] ppid=1013669 vsize=19108176 memory=2615232 CPUtime=1066.82 cores=5,7
/proc/1013672/stat : 1013672 (java) S 1013669 1013672 1006321 0 -1 1077936128 151466 0 0 0 106562 120 0 0 20 0 20 0 188228921 19566772224 653808 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
/proc/1013672/statm: 4777044 653808 5889 1 0 665809 0
[pid=1013672/tid=1013674] ppid=1013669 vsize=19108176 memory=13120 CPUtime=1037.14 cores=5,7
/proc/1013672/task/1013674/stat : 1013674 (java) R 1013669 1013672 1006321 0 -1 4194368 66500 0 0 0 103677 37 0 0 20 0 20 0 188228921 19566772224 653808 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013683] ppid=1013669 vsize=19108176 memory=2614156 CPUtime=0 cores=5,7
/proc/1013672/task/1013683/stat : 1013683 (Finalizer) S 1013669 1013672 1006321 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 188228924 19566772224 653808 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013690] ppid=1013669 vsize=19108176 memory=11400 CPUtime=0 cores=5,7
/proc/1013672/task/1013690/stat : 1013690 (Common-Cleaner) S 1013669 1013672 1006321 0 -1 1077936192 1124 0 0 0 0 0 0 0 20 0 20 0 188228924 19566772224 653808 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013691] ppid=1013669 vsize=19108176 memory=44604 CPUtime=0 cores=5,7
/proc/1013672/task/1013691/stat : 1013691 (Timer-0) S 1013669 1013672 1006321 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 188228946 19566772224 653808 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
Current children cumulated CPU time: 1066.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2615232 KiB
[startup+1052.8 s]
/proc/loadavg: 4.87 4.69 4.05 5/341 1014465
/proc/meminfo: memFree=101849364/131524600 swapFree=131071996/131071996
[pid=1013672] ppid=1013669 vsize=19108176 memory=2615232 CPUtime=1070.08 cores=5,7
/proc/1013672/stat : 1013672 (java) S 1013669 1013672 1006321 0 -1 1077936128 151787 0 0 0 106888 120 0 0 20 0 20 0 188228921 19566772224 653808 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
/proc/1013672/statm: 4777044 653808 5889 1 0 665809 0
[pid=1013672/tid=1013674] ppid=1013669 vsize=19108176 memory=5428 CPUtime=1040.26 cores=5,7
/proc/1013672/task/1013674/stat : 1013674 (java) R 1013669 1013672 1006321 0 -1 4194368 66521 0 0 0 103989 37 0 0 20 0 20 0 188228921 19566772224 653808 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013683] ppid=1013669 vsize=19108176 memory=2615232 CPUtime=0 cores=5,7
/proc/1013672/task/1013683/stat : 1013683 (Finalizer) S 1013669 1013672 1006321 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 188228924 19566772224 653808 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013690] ppid=1013669 vsize=19108176 memory=2615232 CPUtime=0 cores=5,7
/proc/1013672/task/1013690/stat : 1013690 (Common-Cleaner) S 1013669 1013672 1006321 0 -1 1077936192 1124 0 0 0 0 0 0 0 20 0 20 0 188228924 19566772224 653808 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013691] ppid=1013669 vsize=19108176 memory=1904 CPUtime=0 cores=5,7
/proc/1013672/task/1013691/stat : 1013691 (Timer-0) S 1013669 1013672 1006321 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 188228946 19566772224 653808 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
Current children cumulated CPU time: 1070.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2615232 KiB
[startup+1054.4 s]
/proc/loadavg: 4.80 4.68 4.05 5/341 1014465
/proc/meminfo: memFree=101849364/131524600 swapFree=131071996/131071996
[pid=1013672] ppid=1013669 vsize=19108176 memory=2615232 CPUtime=1071.68 cores=5,7
/proc/1013672/stat : 1013672 (java) S 1013669 1013672 1006321 0 -1 1077936128 151790 0 0 0 107048 120 0 0 20 0 20 0 188228921 19566772224 653808 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
/proc/1013672/statm: 4777044 653808 5889 1 0 665809 0
[pid=1013672/tid=1013674] ppid=1013669 vsize=19108176 memory=5428 CPUtime=1041.85 cores=5,7
/proc/1013672/task/1013674/stat : 1013674 (java) R 1013669 1013672 1006321 0 -1 4194368 66524 0 0 0 104148 37 0 0 20 0 20 0 188228921 19566772224 653808 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013683] ppid=1013669 vsize=19108176 memory=16216 CPUtime=0 cores=5,7
/proc/1013672/task/1013683/stat : 1013683 (Finalizer) S 1013669 1013672 1006321 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 188228924 19566772224 653808 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013690] ppid=1013669 vsize=19108176 memory=2615232 CPUtime=0 cores=5,7
/proc/1013672/task/1013690/stat : 1013690 (Common-Cleaner) S 1013669 1013672 1006321 0 -1 1077936192 1124 0 0 0 0 0 0 0 20 0 20 0 188228924 19566772224 653808 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013691] ppid=1013669 vsize=19108176 memory=2228 CPUtime=0 cores=5,7
/proc/1013672/task/1013691/stat : 1013691 (Timer-0) S 1013669 1013672 1006321 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 188228946 19566772224 653808 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
Current children cumulated CPU time: 1071.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2615232 KiB
[startup+1055.2 s]
/proc/loadavg: 4.80 4.68 4.05 5/341 1014465
/proc/meminfo: memFree=101849364/131524600 swapFree=131071996/131071996
[pid=1013672] ppid=1013669 vsize=19108176 memory=2615232 CPUtime=1072.48 cores=5,7
/proc/1013672/stat : 1013672 (java) S 1013669 1013672 1006321 0 -1 1077936128 151898 0 0 0 107128 120 0 0 20 0 20 0 188228921 19566772224 653808 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
/proc/1013672/statm: 4777044 653808 5889 1 0 665809 0
[pid=1013672/tid=1013674] ppid=1013669 vsize=19108176 memory=26340 CPUtime=1042.65 cores=5,7
/proc/1013672/task/1013674/stat : 1013674 (java) R 1013669 1013672 1006321 0 -1 4194368 66632 0 0 0 104228 37 0 0 20 0 20 0 188228921 19566772224 653808 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013683] ppid=1013669 vsize=19108176 memory=11400 CPUtime=0 cores=5,7
/proc/1013672/task/1013683/stat : 1013683 (Finalizer) S 1013669 1013672 1006321 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 188228924 19566772224 653808 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013690] ppid=1013669 vsize=19108176 memory=44604 CPUtime=0 cores=5,7
/proc/1013672/task/1013690/stat : 1013690 (Common-Cleaner) S 1013669 1013672 1006321 0 -1 1077936192 1124 0 0 0 0 0 0 0 20 0 20 0 188228924 19566772224 653808 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013691] ppid=1013669 vsize=19108176 memory=13120 CPUtime=0 cores=5,7
/proc/1013672/task/1013691/stat : 1013691 (Timer-0) S 1013669 1013672 1006321 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 188228946 19566772224 653808 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
Current children cumulated CPU time: 1072.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2615232 KiB
[startup+1055.6 s]
/proc/loadavg: 4.80 4.68 4.05 5/341 1014465
/proc/meminfo: memFree=101849364/131524600 swapFree=131071996/131071996
[pid=1013672] ppid=1013669 vsize=19108176 memory=2615232 CPUtime=1072.88 cores=5,7
/proc/1013672/stat : 1013672 (java) S 1013669 1013672 1006321 0 -1 1077936128 151909 0 0 0 107168 120 0 0 20 0 20 0 188228921 19566772224 653808 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
/proc/1013672/statm: 4777044 653808 5889 1 0 665809 0
[pid=1013672/tid=1013674] ppid=1013669 vsize=19108176 memory=-7596830928979912033 CPUtime=1043.05 cores=5,7
/proc/1013672/task/1013674/stat : 1013674 (java) R 1013669 1013672 1006321 0 -1 4194368 66643 0 0 0 104268 37 0 0 20 0 20 0 188228921 19566772224 653808 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013683] ppid=1013669 vsize=19108176 memory=18812 CPUtime=0 cores=5,7
/proc/1013672/task/1013683/stat : 1013683 (Finalizer) S 1013669 1013672 1006321 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 188228924 19566772224 653808 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013690] ppid=1013669 vsize=19108176 memory=3592 CPUtime=0 cores=5,7
/proc/1013672/task/1013690/stat : 1013690 (Common-Cleaner) S 1013669 1013672 1006321 0 -1 1077936192 1124 0 0 0 0 0 0 0 20 0 20 0 188228924 19566772224 653808 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013691] ppid=1013669 vsize=19108176 memory=20296 CPUtime=0 cores=5,7
/proc/1013672/task/1013691/stat : 1013691 (Timer-0) S 1013669 1013672 1006321 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 188228946 19566772224 653808 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
Current children cumulated CPU time: 1072.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2615232 KiB
[startup+1055.7 s]
/proc/loadavg: 4.80 4.68 4.05 5/341 1014465
/proc/meminfo: memFree=101849364/131524600 swapFree=131071996/131071996
[pid=1013672] ppid=1013669 vsize=19241304 memory=2615800 CPUtime=1073.02 cores=5,7
/proc/1013672/stat : 1013672 (java) S 1013669 1013672 1006321 0 -1 1077936128 153088 0 0 0 107182 120 0 0 20 0 20 0 188228921 19703095296 653950 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
/proc/1013672/statm: 4810326 653950 5888 1 0 666458 0
[pid=1013672/tid=1013674] ppid=1013669 vsize=19241304 memory=2611696 CPUtime=1043.06 cores=5,7
/proc/1013672/task/1013674/stat : 1013674 (java) S 1013669 1013672 1006321 0 -1 1077936192 67385 0 0 0 104269 37 0 0 20 0 20 0 188228921 19703095296 653950 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013683] ppid=1013669 vsize=19241304 memory=2609104 CPUtime=0 cores=5,7
/proc/1013672/task/1013683/stat : 1013683 (Finalizer) S 1013669 1013672 1006321 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 188228924 19703095296 653950 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
[pid=1013672/tid=1013690] ppid=1013669 vsize=19241304 memory=26340 CPUtime=0 cores=5,7
/proc/1013672/task/1013690/stat : 1013690 (Common-Cleaner) S 1013669 1013672 1006321 0 -1 1077936192 1124 0 0 0 0 0 0 0 20 0 20 0 188228924 19703095296 653950 134679101440 94575859695616 94575859699312 140733150330304 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94575859707128 94575859707920 94575867219968 140733150335982 140733150336095 140733150336095 140733150343112 0
Current children cumulated CPU time: 1073.02 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 2615800 KiB
Child status: 20
Real time (s): 1055.78
CPU time (s): 1073.12
CPU user time (s): 1071.9
CPU system time (s): 1.21878
CPU usage (%): 101.642
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 2615800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1071.9
system time used= 1.21878
maximum resident set size= 2616896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153257
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36256
involuntary context switches= 3365
# summary of solver processes directly reported to runsolver:
# pid: 1013672
# total CPU time (s): 1073.12
# total CPU user time (s): 1071.9
# total CPU system time (s): 1.21878
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.26479 second user time and 5.43187 second system time
The end