runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (55882 MiB free)
memory of node 1: 64473 MiB (60392 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452331-1721446251/watcher-4452331-1721446251 -o /tmp/evaluation-result-4452331-1721446251/solver-4452331-1721446251 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721442671-1060303 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4452331-1721446251.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1063044, runsolver pid=1063041
Current StackSize limit: 8192 KiB
[startup+0.100078 s]*
/proc/loadavg: 4.24 4.24 4.22 5/332 1063062
/proc/meminfo: memFree=119012076/131524600 swapFree=131071216/131071996
[pid=1063044] ppid=1063041 vsize=18975048 memory=63508 CPUtime=0.13 cores=1,3
/proc/1063044/stat : 1063044 (java) S 1063041 1063044 1060291 0 -1 1077936128 7219 0 0 0 11 2 0 0 20 0 18 0 196787524 19430449152 15877 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
/proc/1063044/statm: 4743762 15877 5770 1 0 549330 0
[pid=1063044/tid=1063046] ppid=1063041 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/1063044/task/1063046/stat : 1063046 (java) R 1063041 1063044 1060291 0 -1 4194368 5769 0 0 0 7 2 0 0 20 0 18 0 196787524 19430449152 15877 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063055] ppid=1063041 vsize=18975048 memory=228556276070 CPUtime=0 cores=1,3
/proc/1063044/task/1063055/stat : 1063055 (Finalizer) S 1063041 1063044 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196787527 19430449152 15877 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063062] ppid=1063041 vsize=18975048 memory=15819997462990744 CPUtime=0 cores=1,3
/proc/1063044/task/1063062/stat : 1063062 (Common-Cleaner) S 1063041 1063044 1060291 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 196787527 19430449152 15877 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63508 KiB
[startup+0.20588 s]*
/proc/loadavg: 4.24 4.24 4.22 7/332 1063062
/proc/meminfo: memFree=118997436/131524600 swapFree=131071216/131071996
[pid=1063044] ppid=1063041 vsize=18975048 memory=75936 CPUtime=0.34 cores=1,3
/proc/1063044/stat : 1063044 (java) S 1063041 1063044 1060291 0 -1 1077936128 7730 0 0 0 31 3 0 0 20 0 18 0 196787524 19430449152 18984 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
/proc/1063044/statm: 4743762 18984 5871 1 0 549662 0
[pid=1063044/tid=1063046] ppid=1063041 vsize=18975048 memory=6876556183782621315 CPUtime=0.19 cores=1,3
/proc/1063044/task/1063046/stat : 1063046 (java) R 1063041 1063044 1060291 0 -1 4194368 6017 0 0 0 17 2 0 0 20 0 18 0 196787524 19430449152 18984 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063055] ppid=1063041 vsize=18975048 memory=1905144 CPUtime=0 cores=1,3
/proc/1063044/task/1063055/stat : 1063055 (Finalizer) S 1063041 1063044 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196787527 19430449152 18984 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063062] ppid=1063041 vsize=18975048 memory=15538522484377282 CPUtime=0 cores=1,3
/proc/1063044/task/1063062/stat : 1063062 (Common-Cleaner) S 1063041 1063044 1060291 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 196787527 19430449152 18984 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 75936 KiB
[startup+0.306368 s]*
/proc/loadavg: 4.24 4.24 4.22 6/332 1063062
/proc/meminfo: memFree=118958540/131524600 swapFree=131071216/131071996
[pid=1063044] ppid=1063041 vsize=18975048 memory=106784 CPUtime=0.52 cores=1,3
/proc/1063044/stat : 1063044 (java) S 1063041 1063044 1060291 0 -1 1077936128 11061 0 0 0 49 3 0 0 20 0 18 0 196787524 19430449152 26696 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
/proc/1063044/statm: 4743762 26696 5871 1 0 551823 0
[pid=1063044/tid=1063046] ppid=1063041 vsize=18975048 memory=-7595423554096883559 CPUtime=0.28 cores=1,3
/proc/1063044/task/1063046/stat : 1063046 (java) R 1063041 1063044 1060291 0 -1 4194368 6064 0 0 0 26 2 0 0 20 0 18 0 196787524 19430449152 26696 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063055] ppid=1063041 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/1063044/task/1063055/stat : 1063055 (Finalizer) S 1063041 1063044 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196787527 19430449152 26696 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063062] ppid=1063041 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/1063044/task/1063062/stat : 1063062 (Common-Cleaner) S 1063041 1063044 1060291 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 196787527 19430449152 26696 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 106784 KiB
[startup+0.702371 s]
/proc/loadavg: 4.24 4.24 4.22 7/333 1063063
/proc/meminfo: memFree=118865572/131524600 swapFree=131071216/131071996
[pid=1063044] ppid=1063041 vsize=19041612 memory=473712 CPUtime=1.24 cores=1,3
/proc/1063044/stat : 1063044 (java) S 1063041 1063044 1060291 0 -1 1077936128 12417 0 0 0 114 10 0 0 20 0 19 0 196787524 19498610688 118428 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
/proc/1063044/statm: 4760403 118428 5871 1 0 552899 0
[pid=1063044/tid=1063046] ppid=1063041 vsize=19041612 memory=5628 CPUtime=0.62 cores=1,3
/proc/1063044/task/1063046/stat : 1063046 (java) R 1063041 1063044 1060291 0 -1 4194368 6242 0 0 0 53 9 0 0 20 0 19 0 196787524 19498610688 118428 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063055] ppid=1063041 vsize=19041612 memory=13124 CPUtime=0 cores=1,3
/proc/1063044/task/1063055/stat : 1063055 (Finalizer) S 1063041 1063044 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 196787527 19498610688 118428 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063062] ppid=1063041 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1063044/task/1063062/stat : 1063062 (Common-Cleaner) S 1063041 1063044 1060291 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 196787527 19498610688 118428 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 473712 KiB
[startup+1.50027 s]
/proc/loadavg: 4.24 4.24 4.22 6/334 1063064
/proc/meminfo: memFree=117981848/131524600 swapFree=131071216/131071996
[pid=1063044] ppid=1063041 vsize=19108176 memory=990128 CPUtime=2.56 cores=1,3
/proc/1063044/stat : 1063044 (java) S 1063041 1063044 1060291 0 -1 1077936128 20790 0 0 0 234 22 0 0 20 0 20 0 196787524 19566772224 247532 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
/proc/1063044/statm: 4777044 247532 5887 1 0 556812 0
[pid=1063044/tid=1063046] ppid=1063041 vsize=19108176 memory=13124 CPUtime=1.42 cores=1,3
/proc/1063044/task/1063046/stat : 1063046 (java) R 1063041 1063044 1060291 0 -1 4194368 6531 0 0 0 123 19 0 0 20 0 20 0 196787524 19566772224 247532 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063055] ppid=1063041 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1063044/task/1063055/stat : 1063055 (Finalizer) S 1063041 1063044 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196787527 19566772224 247532 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063062] ppid=1063041 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1063044/task/1063062/stat : 1063062 (Common-Cleaner) S 1063041 1063044 1060291 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196787527 19566772224 247532 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063064] ppid=1063041 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1063044/task/1063064/stat : 1063064 (Timer-0) S 1063041 1063044 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196787611 19566772224 247532 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
Current children cumulated CPU time: 2.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 990128 KiB
[startup+3.10572 s]
/proc/loadavg: 4.24 4.24 4.22 5/334 1063064
/proc/meminfo: memFree=117824296/131524600 swapFree=131071216/131071996
[pid=1063044] ppid=1063041 vsize=19108176 memory=1025464 CPUtime=4.37 cores=1,3
/proc/1063044/stat : 1063044 (java) S 1063041 1063044 1060291 0 -1 1077936128 20867 0 0 0 414 23 0 0 20 0 20 0 196787524 19566772224 256366 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
/proc/1063044/statm: 4777044 256366 5887 1 0 556816 0
[pid=1063044/tid=1063046] ppid=1063041 vsize=19108176 memory=0 CPUtime=3.01 cores=1,3
/proc/1063044/task/1063046/stat : 1063046 (java) R 1063041 1063044 1060291 0 -1 4194368 6552 0 0 0 282 19 0 0 20 0 20 0 196787524 19566772224 256366 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063055] ppid=1063041 vsize=19108176 memory=14364 CPUtime=0 cores=1,3
/proc/1063044/task/1063055/stat : 1063055 (Finalizer) S 1063041 1063044 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196787527 19566772224 256366 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063062] ppid=1063041 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1063044/task/1063062/stat : 1063062 (Common-Cleaner) S 1063041 1063044 1060291 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196787527 19566772224 256366 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063064] ppid=1063041 vsize=19108176 memory=13124 CPUtime=0 cores=1,3
/proc/1063044/task/1063064/stat : 1063064 (Timer-0) S 1063041 1063044 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196787611 19566772224 256366 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
Current children cumulated CPU time: 4.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1025464 KiB
[startup+6.30027 s]
/proc/loadavg: 4.22 4.24 4.22 5/334 1063066
/proc/meminfo: memFree=117575136/131524600 swapFree=131071216/131071996
[pid=1063044] ppid=1063041 vsize=19108176 memory=1073324 CPUtime=7.95 cores=1,3
/proc/1063044/stat : 1063044 (java) S 1063041 1063044 1060291 0 -1 1077936128 24963 0 0 0 771 24 0 0 20 0 20 0 196787524 19566772224 268331 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
/proc/1063044/statm: 4777044 268331 5887 1 0 556844 0
[pid=1063044/tid=1063046] ppid=1063041 vsize=19108176 memory=0 CPUtime=6.2 cores=1,3
/proc/1063044/task/1063046/stat : 1063046 (java) R 1063041 1063044 1060291 0 -1 4194368 7110 0 0 0 600 20 0 0 20 0 20 0 196787524 19566772224 268331 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063055] ppid=1063041 vsize=19108176 memory=13124 CPUtime=0 cores=1,3
/proc/1063044/task/1063055/stat : 1063055 (Finalizer) S 1063041 1063044 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196787527 19566772224 268331 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063062] ppid=1063041 vsize=19108176 memory=14364 CPUtime=0 cores=1,3
/proc/1063044/task/1063062/stat : 1063062 (Common-Cleaner) S 1063041 1063044 1060291 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196787527 19566772224 268331 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063064] ppid=1063041 vsize=19108176 memory=50528 CPUtime=0 cores=1,3
/proc/1063044/task/1063064/stat : 1063064 (Timer-0) S 1063041 1063044 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196787611 19566772224 268331 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
Current children cumulated CPU time: 7.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1073324 KiB
[startup+12.7064 s]
/proc/loadavg: 4.29 4.25 4.23 5/334 1063066
/proc/meminfo: memFree=117401628/131524600 swapFree=131071216/131071996
[pid=1063044] ppid=1063041 vsize=19108176 memory=1146116 CPUtime=15.89 cores=1,3
/proc/1063044/stat : 1063044 (java) S 1063041 1063044 1060291 0 -1 1077936128 28224 0 0 0 1564 25 0 0 20 0 20 0 196787524 19566772224 286529 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
/proc/1063044/statm: 4777044 286529 5887 1 0 556862 0
[pid=1063044/tid=1063046] ppid=1063041 vsize=19108176 memory=804892 CPUtime=12.59 cores=1,3
/proc/1063044/task/1063046/stat : 1063046 (java) R 1063041 1063044 1060291 0 -1 4194368 7429 0 0 0 1238 21 0 0 20 0 20 0 196787524 19566772224 286529 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063055] ppid=1063041 vsize=19108176 memory=1135696 CPUtime=0 cores=1,3
/proc/1063044/task/1063055/stat : 1063055 (Finalizer) S 1063041 1063044 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196787527 19566772224 286529 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063062] ppid=1063041 vsize=19108176 memory=1025464 CPUtime=0 cores=1,3
/proc/1063044/task/1063062/stat : 1063062 (Common-Cleaner) S 1063041 1063044 1060291 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196787527 19566772224 286529 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063064] ppid=1063041 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1063044/task/1063064/stat : 1063064 (Timer-0) S 1063041 1063044 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196787611 19566772224 286529 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
Current children cumulated CPU time: 15.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1146116 KiB
[startup+25.5003 s]
/proc/loadavg: 4.38 4.27 4.23 5/334 1063270
/proc/meminfo: memFree=116492616/131524600 swapFree=131071216/131071996
[pid=1063044] ppid=1063041 vsize=19108176 memory=1294304 CPUtime=29.38 cores=1,3
/proc/1063044/stat : 1063044 (java) S 1063041 1063044 1060291 0 -1 1077936128 35758 0 0 0 2910 28 0 0 20 0 20 0 196787524 19566772224 323576 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
/proc/1063044/statm: 4777044 323576 5887 1 0 556862 0
[pid=1063044/tid=1063046] ppid=1063041 vsize=19108176 memory=1135696 CPUtime=25.35 cores=1,3
/proc/1063044/task/1063046/stat : 1063046 (java) R 1063041 1063044 1060291 0 -1 4194368 8762 0 0 0 2512 23 0 0 20 0 20 0 196787524 19566772224 323576 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063055] ppid=1063041 vsize=19108176 memory=1263544 CPUtime=0 cores=1,3
/proc/1063044/task/1063055/stat : 1063055 (Finalizer) S 1063041 1063044 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196787527 19566772224 323576 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063062] ppid=1063041 vsize=19108176 memory=1257400 CPUtime=0 cores=1,3
/proc/1063044/task/1063062/stat : 1063062 (Common-Cleaner) S 1063041 1063044 1060291 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196787527 19566772224 323576 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063064] ppid=1063041 vsize=19108176 memory=1025464 CPUtime=0 cores=1,3
/proc/1063044/task/1063064/stat : 1063064 (Timer-0) S 1063041 1063044 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196787611 19566772224 323576 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
Current children cumulated CPU time: 29.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1294304 KiB
[startup+51.1059 s]
/proc/loadavg: 4.19 4.23 4.22 5/334 1063341
/proc/meminfo: memFree=118167032/131524600 swapFree=131071216/131071996
[pid=1063044] ppid=1063041 vsize=19108176 memory=1366332 CPUtime=55.31 cores=1,3
/proc/1063044/stat : 1063044 (java) S 1063041 1063044 1060291 0 -1 1077936128 47787 0 0 0 5500 31 0 0 20 0 20 0 196787524 19566772224 341583 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
/proc/1063044/statm: 4777044 341583 5887 1 0 556862 0
[pid=1063044/tid=1063046] ppid=1063041 vsize=19108176 memory=1366304 CPUtime=50.8 cores=1,3
/proc/1063044/task/1063046/stat : 1063046 (java) R 1063041 1063044 1060291 0 -1 4194368 10471 0 0 0 5056 24 0 0 20 0 20 0 196787524 19566772224 341583 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063055] ppid=1063041 vsize=19108176 memory=1366280 CPUtime=0 cores=1,3
/proc/1063044/task/1063055/stat : 1063055 (Finalizer) S 1063041 1063044 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196787527 19566772224 341583 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063062] ppid=1063041 vsize=19108176 memory=14364 CPUtime=0 cores=1,3
/proc/1063044/task/1063062/stat : 1063062 (Common-Cleaner) S 1063041 1063044 1060291 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 196787527 19566772224 341583 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
################
# More data... #
################
/proc/meminfo: memFree=113148520/131524600 swapFree=131071216/131071996
[pid=1063044] ppid=1063041 vsize=19108176 memory=1817080 CPUtime=3219.3 cores=1,3
/proc/1063044/stat : 1063044 (java) S 1063041 1063044 1060291 0 -1 1077936128 150436 0 0 0 321789 141 0 0 20 0 20 0 196787524 19566772224 454270 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
/proc/1063044/statm: 4777044 454270 5902 1 0 558782 0
[pid=1063044/tid=1063046] ppid=1063041 vsize=19108176 memory=1806840 CPUtime=3209.92 cores=1,3
/proc/1063044/task/1063046/stat : 1063046 (java) R 1063041 1063044 1060291 0 -1 4194368 60182 0 0 0 320959 33 0 0 20 0 20 0 196787524 19566772224 454270 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063055] ppid=1063041 vsize=19108176 memory=14364 CPUtime=0 cores=1,3
/proc/1063044/task/1063055/stat : 1063055 (Finalizer) S 1063041 1063044 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196787527 19566772224 454270 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063062] ppid=1063041 vsize=19108176 memory=50644 CPUtime=0 cores=1,3
/proc/1063044/task/1063062/stat : 1063062 (Common-Cleaner) S 1063041 1063044 1060291 0 -1 1077936192 4813 0 0 0 0 0 0 0 20 0 20 0 196787527 19566772224 454270 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063064] ppid=1063041 vsize=19108176 memory=1817080 CPUtime=0 cores=1,3
/proc/1063044/task/1063064/stat : 1063064 (Timer-0) S 1063041 1063044 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196787611 19566772224 454270 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
Current children cumulated CPU time: 3219.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1817080 KiB
[startup+3282.3 s]
/proc/loadavg: 4.50 4.35 4.24 8/334 1065018
/proc/meminfo: memFree=113147600/131524600 swapFree=131071216/131071996
[pid=1063044] ppid=1063041 vsize=19108176 memory=1817080 CPUtime=3279.15 cores=1,3
/proc/1063044/stat : 1063044 (java) S 1063041 1063044 1060291 0 -1 1077936128 151463 0 0 0 327773 142 0 0 20 0 20 0 196787524 19566772224 454270 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
/proc/1063044/statm: 4777044 454270 5902 1 0 558782 0
[pid=1063044/tid=1063046] ppid=1063041 vsize=19108176 memory=2696 CPUtime=3269.75 cores=1,3
/proc/1063044/task/1063046/stat : 1063046 (java) R 1063041 1063044 1060291 0 -1 4194368 61042 0 0 0 326942 33 0 0 20 0 20 0 196787524 19566772224 454270 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063055] ppid=1063041 vsize=19108176 memory=1817080 CPUtime=0 cores=1,3
/proc/1063044/task/1063055/stat : 1063055 (Finalizer) S 1063041 1063044 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196787527 19566772224 454270 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063062] ppid=1063041 vsize=19108176 memory=1817080 CPUtime=0 cores=1,3
/proc/1063044/task/1063062/stat : 1063062 (Common-Cleaner) S 1063041 1063044 1060291 0 -1 1077936192 4922 0 0 0 0 0 0 0 20 0 20 0 196787527 19566772224 454270 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063064] ppid=1063041 vsize=19108176 memory=14364 CPUtime=0 cores=1,3
/proc/1063044/task/1063064/stat : 1063064 (Timer-0) S 1063041 1063044 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196787611 19566772224 454270 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
Current children cumulated CPU time: 3279.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1817080 KiB
[startup+3342.3 s]
/proc/loadavg: 4.25 4.30 4.23 6/333 1065029
/proc/meminfo: memFree=113147184/131524600 swapFree=131071216/131071996
[pid=1063044] ppid=1063041 vsize=19108176 memory=1817080 CPUtime=3339.01 cores=1,3
/proc/1063044/stat : 1063044 (java) S 1063041 1063044 1060291 0 -1 1077936128 152572 0 0 0 333757 144 0 0 20 0 20 0 196787524 19566772224 454270 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
/proc/1063044/statm: 4777044 454270 5902 1 0 558782 0
[pid=1063044/tid=1063046] ppid=1063041 vsize=19108176 memory=1817080 CPUtime=3329.58 cores=1,3
/proc/1063044/task/1063046/stat : 1063046 (java) R 1063041 1063044 1060291 0 -1 4194368 61899 0 0 0 332925 33 0 0 20 0 20 0 196787524 19566772224 454270 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063055] ppid=1063041 vsize=19108176 memory=1817080 CPUtime=0 cores=1,3
/proc/1063044/task/1063055/stat : 1063055 (Finalizer) S 1063041 1063044 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196787527 19566772224 454270 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063062] ppid=1063041 vsize=19108176 memory=14364 CPUtime=0 cores=1,3
/proc/1063044/task/1063062/stat : 1063062 (Common-Cleaner) S 1063041 1063044 1060291 0 -1 1077936192 5039 0 0 0 0 0 0 0 20 0 20 0 196787527 19566772224 454270 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063064] ppid=1063041 vsize=19108176 memory=1817080 CPUtime=0 cores=1,3
/proc/1063044/task/1063064/stat : 1063064 (Timer-0) S 1063041 1063044 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196787611 19566772224 454270 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
Current children cumulated CPU time: 3339.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1817080 KiB
[startup+3402.3 s]
/proc/loadavg: 4.26 4.29 4.23 5/333 1065041
/proc/meminfo: memFree=113114068/131524600 swapFree=131071216/131071996
[pid=1063044] ppid=1063041 vsize=19108176 memory=1847800 CPUtime=3398.66 cores=1,3
/proc/1063044/stat : 1063044 (java) S 1063041 1063044 1060291 0 -1 1077936128 153975 0 0 0 339719 147 0 0 20 0 20 0 196787524 19566772224 461950 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
/proc/1063044/statm: 4777044 461950 5902 1 0 558782 0
[pid=1063044/tid=1063046] ppid=1063041 vsize=19108176 memory=1817080 CPUtime=3389.07 cores=1,3
/proc/1063044/task/1063046/stat : 1063046 (java) R 1063041 1063044 1060291 0 -1 4194368 62521 0 0 0 338874 33 0 0 20 0 20 0 196787524 19566772224 461950 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063055] ppid=1063041 vsize=19108176 memory=14364 CPUtime=0 cores=1,3
/proc/1063044/task/1063055/stat : 1063055 (Finalizer) S 1063041 1063044 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196787527 19566772224 461950 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063062] ppid=1063041 vsize=19108176 memory=50644 CPUtime=0 cores=1,3
/proc/1063044/task/1063062/stat : 1063062 (Common-Cleaner) S 1063041 1063044 1060291 0 -1 1077936192 5055 0 0 0 0 0 0 0 20 0 20 0 196787527 19566772224 461950 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063064] ppid=1063041 vsize=19108176 memory=1847800 CPUtime=0 cores=1,3
/proc/1063044/task/1063064/stat : 1063064 (Timer-0) S 1063041 1063044 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196787611 19566772224 461950 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
Current children cumulated CPU time: 3398.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1847800 KiB
[startup+3462.3 s]
/proc/loadavg: 4.38 4.31 4.24 5/335 1065221
/proc/meminfo: memFree=113104732/131524600 swapFree=131071216/131071996
[pid=1063044] ppid=1063041 vsize=19108176 memory=1847800 CPUtime=3458.11 cores=1,3
/proc/1063044/stat : 1063044 (java) S 1063041 1063044 1060291 0 -1 1077936128 154736 0 0 0 345663 148 0 0 20 0 20 0 196787524 19566772224 461950 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
/proc/1063044/statm: 4777044 461950 5902 1 0 558782 0
[pid=1063044/tid=1063046] ppid=1063041 vsize=19108176 memory=1817080 CPUtime=3448.5 cores=1,3
/proc/1063044/task/1063046/stat : 1063046 (java) R 1063041 1063044 1060291 0 -1 4194368 63173 0 0 0 344817 33 0 0 20 0 20 0 196787524 19566772224 461950 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063055] ppid=1063041 vsize=19108176 memory=14364 CPUtime=0 cores=1,3
/proc/1063044/task/1063055/stat : 1063055 (Finalizer) S 1063041 1063044 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196787527 19566772224 461950 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063062] ppid=1063041 vsize=19108176 memory=50644 CPUtime=0 cores=1,3
/proc/1063044/task/1063062/stat : 1063062 (Common-Cleaner) S 1063041 1063044 1060291 0 -1 1077936192 5150 0 0 0 0 0 0 0 20 0 20 0 196787527 19566772224 461950 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063064] ppid=1063041 vsize=19108176 memory=1847800 CPUtime=0 cores=1,3
/proc/1063044/task/1063064/stat : 1063064 (Timer-0) S 1063041 1063044 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196787611 19566772224 461950 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
Current children cumulated CPU time: 3458.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1847800 KiB
[startup+3522.3 s]
/proc/loadavg: 4.24 4.29 4.24 5/335 1065231
/proc/meminfo: memFree=113104788/131524600 swapFree=131071216/131071996
[pid=1063044] ppid=1063041 vsize=19108176 memory=1847800 CPUtime=3517.56 cores=1,3
/proc/1063044/stat : 1063044 (java) S 1063041 1063044 1060291 0 -1 1077936128 155762 0 0 0 351606 150 0 0 20 0 20 0 196787524 19566772224 461950 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
/proc/1063044/statm: 4777044 461950 5902 1 0 558782 0
[pid=1063044/tid=1063046] ppid=1063041 vsize=19108176 memory=14364 CPUtime=3507.92 cores=1,3
/proc/1063044/task/1063046/stat : 1063046 (java) R 1063041 1063044 1060291 0 -1 4194368 64027 0 0 0 350759 33 0 0 20 0 20 0 196787524 19566772224 461950 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063055] ppid=1063041 vsize=19108176 memory=14364 CPUtime=0 cores=1,3
/proc/1063044/task/1063055/stat : 1063055 (Finalizer) S 1063041 1063044 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196787527 19566772224 461950 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063062] ppid=1063041 vsize=19108176 memory=39396 CPUtime=0 cores=1,3
/proc/1063044/task/1063062/stat : 1063062 (Common-Cleaner) S 1063041 1063044 1060291 0 -1 1077936192 5260 0 0 0 0 0 0 0 20 0 20 0 196787527 19566772224 461950 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063064] ppid=1063041 vsize=19108176 memory=1847800 CPUtime=0 cores=1,3
/proc/1063044/task/1063064/stat : 1063064 (Timer-0) S 1063041 1063044 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196787611 19566772224 461950 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
Current children cumulated CPU time: 3517.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1847800 KiB
[startup+3582.3 s]
/proc/loadavg: 4.32 4.31 4.25 5/338 1065369
/proc/meminfo: memFree=114524788/131524600 swapFree=131071216/131071996
[pid=1063044] ppid=1063041 vsize=19108176 memory=1866232 CPUtime=3577.34 cores=1,3
/proc/1063044/stat : 1063044 (java) S 1063041 1063044 1060291 0 -1 1077936128 157302 0 0 0 357582 152 0 0 20 0 20 0 196787524 19566772224 466558 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
/proc/1063044/statm: 4777044 466558 5902 1 0 558782 0
[pid=1063044/tid=1063046] ppid=1063041 vsize=19108176 memory=5628 CPUtime=3567.59 cores=1,3
/proc/1063044/task/1063046/stat : 1063046 (java) R 1063041 1063044 1060291 0 -1 4194368 64719 0 0 0 356725 34 0 0 20 0 20 0 196787524 19566772224 466558 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063055] ppid=1063041 vsize=19108176 memory=14364 CPUtime=0 cores=1,3
/proc/1063044/task/1063055/stat : 1063055 (Finalizer) S 1063041 1063044 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196787527 19566772224 466558 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063062] ppid=1063041 vsize=19108176 memory=13124 CPUtime=0 cores=1,3
/proc/1063044/task/1063062/stat : 1063062 (Common-Cleaner) S 1063041 1063044 1060291 0 -1 1077936192 5332 0 0 0 0 0 0 0 20 0 20 0 196787527 19566772224 466558 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063064] ppid=1063041 vsize=19108176 memory=1852 CPUtime=0 cores=1,3
/proc/1063044/task/1063064/stat : 1063064 (Timer-0) S 1063041 1063044 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196787611 19566772224 466558 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
Current children cumulated CPU time: 3577.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1866232 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3605 s]*
/proc/loadavg: 4.26 4.30 4.25 5/336 1065374
/proc/meminfo: memFree=114520564/131524600 swapFree=131071216/131071996
[pid=1063044] ppid=1063041 vsize=19108176 memory=1866232 CPUtime=3600 cores=1,3
/proc/1063044/stat : 1063044 (java) S 1063041 1063044 1060291 0 -1 1077936128 157859 0 0 0 359847 153 0 0 20 0 20 0 196787524 19566772224 466558 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
/proc/1063044/statm: 4777044 466558 5902 1 0 558782 0
[pid=1063044/tid=1063046] ppid=1063041 vsize=19108176 memory=-7451308366020961125 CPUtime=3590.23 cores=1,3
/proc/1063044/task/1063046/stat : 1063046 (java) R 1063041 1063044 1060291 0 -1 4194368 65217 0 0 0 358989 34 0 0 20 0 20 0 196787524 19566772224 466558 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063055] ppid=1063041 vsize=19108176 memory=1470776493274529921 CPUtime=0 cores=1,3
/proc/1063044/task/1063055/stat : 1063055 (Finalizer) S 1063041 1063044 1060291 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196787527 19566772224 466558 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063062] ppid=1063041 vsize=19108176 memory=2999992 CPUtime=0 cores=1,3
/proc/1063044/task/1063062/stat : 1063062 (Common-Cleaner) S 1063041 1063044 1060291 0 -1 1077936192 5332 0 0 0 0 0 0 0 20 0 20 0 196787527 19566772224 466558 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
[pid=1063044/tid=1063064] ppid=1063041 vsize=19108176 memory=2740 CPUtime=0 cores=1,3
/proc/1063044/task/1063064/stat : 1063064 (Timer-0) S 1063041 1063044 1060291 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196787611 19566772224 466558 134679101440 94065071923200 94065071926896 140724577973840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94065071934712 94065071935504 94065088393216 140724577977331 140724577977439 140724577977439 140724577984456 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1866232 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3605.06 s]
# the end of solver process 1063044 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.54 s, system=1.54098 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3605.06
CPU time (s): 3600.08
CPU user time (s): 3598.54
CPU system time (s): 1.54098
CPU usage (%): 99.8619
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 1866232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.54
system time used= 1.54098
maximum resident set size= 1866920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160527
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110305
involuntary context switches= 9219
# summary of solver processes directly reported to runsolver:
# pid: 1063044
# total CPU time (s): 3600.08
# total CPU user time (s): 3598.54
# total CPU system time (s): 1.54098
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.64649 second user time and 15.7589 second system time
The end