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 (56329 MiB free)
memory of node 1: 64510 MiB (53126 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446701-1721346138/watcher-4446701-1721346138 -o /tmp/evaluation-result-4446701-1721346138/solver-4446701-1721346138 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721342580-1001659 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4446701-1721346138.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1003742, runsolver pid=1003739
[startup+0.100464 s]*
/proc/loadavg: 4.54 4.26 4.14 8/330 1003760
/proc/meminfo: memFree=112038848/131524600 swapFree=131071996/131071996
[pid=1003742] ppid=1003739 vsize=18975048 memory=64764 CPUtime=0.14 cores=4,6
/proc/1003742/stat : 1003742 (java) S 1003739 1003742 1001648 0 -1 1077936128 7119 0 0 0 12 2 0 0 20 0 18 0 186783518 19430449152 16191 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
/proc/1003742/statm: 4743762 16191 5653 1 0 549357 0
[pid=1003742/tid=1003744] ppid=1003739 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/1003742/task/1003744/stat : 1003744 (java) R 1003739 1003742 1001648 0 -1 1077936192 5690 0 0 0 7 1 0 0 20 0 18 0 186783518 19430449152 16191 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003753] ppid=1003739 vsize=18975048 memory=228556276070 CPUtime=0 cores=4,6
/proc/1003742/task/1003753/stat : 1003753 (Finalizer) S 1003739 1003742 1001648 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 186783520 19430449152 16191 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003760] ppid=1003739 vsize=18975048 memory=15817789847927870 CPUtime=0 cores=4,6
/proc/1003742/task/1003760/stat : 1003760 (Common-Cleaner) S 1003739 1003742 1001648 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 186783521 19430449152 16191 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64764 KiB
[startup+0.205785 s]*
/proc/loadavg: 4.54 4.26 4.14 8/330 1003760
/proc/meminfo: memFree=112014192/131524600 swapFree=131071996/131071996
[pid=1003742] ppid=1003739 vsize=18975048 memory=87772 CPUtime=0.34 cores=4,6
/proc/1003742/stat : 1003742 (java) S 1003739 1003742 1001648 0 -1 1077936128 7636 0 0 0 31 3 0 0 20 0 18 0 186783518 19430449152 21943 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
/proc/1003742/statm: 4743762 21943 5843 1 0 549680 0
[pid=1003742/tid=1003744] ppid=1003739 vsize=18975048 memory=6876556183782621315 CPUtime=0.18 cores=4,6
/proc/1003742/task/1003744/stat : 1003744 (java) R 1003739 1003742 1001648 0 -1 4194368 5954 0 0 0 16 2 0 0 20 0 18 0 186783518 19430449152 21943 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003753] ppid=1003739 vsize=18975048 memory=17963 CPUtime=0 cores=4,6
/proc/1003742/task/1003753/stat : 1003753 (Finalizer) S 1003739 1003742 1001648 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 186783520 19430449152 21943 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003760] ppid=1003739 vsize=18975048 memory=14697378909259238 CPUtime=0 cores=4,6
/proc/1003742/task/1003760/stat : 1003760 (Common-Cleaner) S 1003739 1003742 1001648 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 186783521 19430449152 21943 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 87772 KiB
[startup+0.305789 s]*
/proc/loadavg: 4.54 4.26 4.14 10/331 1003761
/proc/meminfo: memFree=111935900/131524600 swapFree=131071996/131071996
[pid=1003742] ppid=1003739 vsize=19041612 memory=167952 CPUtime=0.49 cores=4,6
/proc/1003742/stat : 1003742 (java) S 1003739 1003742 1001648 0 -1 1077936128 9246 0 0 0 44 5 0 0 20 0 19 0 186783518 19498610688 41988 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
/proc/1003742/statm: 4760403 41988 5859 1 0 550971 0
[pid=1003742/tid=1003744] ppid=1003739 vsize=19041612 memory=-7597112403956623456 CPUtime=0.24 cores=4,6
/proc/1003742/task/1003744/stat : 1003744 (java) R 1003739 1003742 1001648 0 -1 4194368 5996 0 0 0 20 4 0 0 20 0 19 0 186783518 19498610688 41988 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003753] ppid=1003739 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1003742/task/1003753/stat : 1003753 (Finalizer) S 1003739 1003742 1001648 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 186783520 19498610688 41988 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003760] ppid=1003739 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1003742/task/1003760/stat : 1003760 (Common-Cleaner) S 1003739 1003742 1001648 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 186783521 19498610688 41988 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 167952 KiB
[startup+0.700785 s]
/proc/loadavg: 4.54 4.26 4.14 7/331 1003761
/proc/meminfo: memFree=111630000/131524600 swapFree=131071996/131071996
[pid=1003742] ppid=1003739 vsize=19041612 memory=1105592 CPUtime=1.21 cores=4,6
/proc/1003742/stat : 1003742 (java) S 1003739 1003742 1001648 0 -1 1077936128 14466 0 0 0 97 24 0 0 20 0 19 0 186783518 19498610688 276398 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
/proc/1003742/statm: 4760403 276398 5859 1 0 1108702 0
[pid=1003742/tid=1003744] ppid=1003739 vsize=19041612 memory=5492 CPUtime=0.59 cores=4,6
/proc/1003742/task/1003744/stat : 1003744 (java) R 1003739 1003742 1001648 0 -1 4194368 6452 0 0 0 37 22 0 0 20 0 19 0 186783518 19498610688 276398 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003753] ppid=1003739 vsize=19041612 memory=12312 CPUtime=0 cores=4,6
/proc/1003742/task/1003753/stat : 1003753 (Finalizer) S 1003739 1003742 1001648 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 186783520 19498610688 276398 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003760] ppid=1003739 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1003742/task/1003760/stat : 1003760 (Common-Cleaner) S 1003739 1003742 1001648 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 186783521 19498610688 276398 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1105592 KiB
[startup+1.50022 s]
/proc/loadavg: 4.54 4.26 4.14 7/331 1003761
/proc/meminfo: memFree=109968832/131524600 swapFree=131071996/131071996
[pid=1003742] ppid=1003739 vsize=19108176 memory=2640456 CPUtime=2.77 cores=4,6
/proc/1003742/stat : 1003742 (java) S 1003739 1003742 1001648 0 -1 1077936128 23605 0 0 0 222 55 0 0 20 0 20 0 186783518 19566772224 660114 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
/proc/1003742/statm: 4777044 660114 5859 1 0 1113106 0
[pid=1003742/tid=1003744] ppid=1003739 vsize=19108176 memory=12312 CPUtime=1.31 cores=4,6
/proc/1003742/task/1003744/stat : 1003744 (java) R 1003739 1003742 1001648 0 -1 4194368 7363 0 0 0 81 50 0 0 20 0 20 0 186783518 19566772224 660114 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003753] ppid=1003739 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1003742/task/1003753/stat : 1003753 (Finalizer) S 1003739 1003742 1001648 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186783520 19566772224 660114 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003760] ppid=1003739 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1003742/task/1003760/stat : 1003760 (Common-Cleaner) S 1003739 1003742 1001648 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 186783521 19566772224 660114 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2640456 KiB
[startup+3.10879 s]
/proc/loadavg: 4.54 4.26 4.14 6/332 1003762
/proc/meminfo: memFree=109456388/131524600 swapFree=131071996/131071996
[pid=1003742] ppid=1003739 vsize=19108176 memory=2642320 CPUtime=5.95 cores=4,6
/proc/1003742/stat : 1003742 (java) S 1003739 1003742 1001648 0 -1 1077936128 24053 0 0 0 540 55 0 0 20 0 20 0 186783518 19566772224 660580 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
/proc/1003742/statm: 4777044 660580 5859 1 0 1113227 0
[pid=1003742/tid=1003744] ppid=1003739 vsize=19108176 memory=198340509722 CPUtime=2.9 cores=4,6
/proc/1003742/task/1003744/stat : 1003744 (java) R 1003739 1003742 1001648 0 -1 4194368 7366 0 0 0 240 50 0 0 20 0 20 0 186783518 19566772224 660580 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003753] ppid=1003739 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1003742/task/1003753/stat : 1003753 (Finalizer) S 1003739 1003742 1001648 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186783520 19566772224 660580 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003760] ppid=1003739 vsize=19108176 memory=12312 CPUtime=0 cores=4,6
/proc/1003742/task/1003760/stat : 1003760 (Common-Cleaner) S 1003739 1003742 1001648 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 186783521 19566772224 660580 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003762] ppid=1003739 vsize=19108176 memory=2640980 CPUtime=0 cores=4,6
/proc/1003742/task/1003762/stat : 1003762 (Timer-0) S 1003739 1003742 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186783644 19566772224 660580 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
Current children cumulated CPU time: 5.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2642320 KiB
[startup+6.30079 s]
/proc/loadavg: 4.73 4.31 4.15 8/332 1003764
/proc/meminfo: memFree=109459608/131524600 swapFree=131071996/131071996
[pid=1003742] ppid=1003739 vsize=19108176 memory=2645784 CPUtime=10.27 cores=4,6
/proc/1003742/stat : 1003742 (java) S 1003739 1003742 1001648 0 -1 1077936128 26017 0 0 0 971 56 0 0 20 0 20 0 186783518 19566772224 661446 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
/proc/1003742/statm: 4777044 661446 5874 1 0 1113991 0
[pid=1003742/tid=1003744] ppid=1003739 vsize=19108176 memory=0 CPUtime=6.1 cores=4,6
/proc/1003742/task/1003744/stat : 1003744 (java) R 1003739 1003742 1001648 0 -1 4194368 7366 0 0 0 559 51 0 0 20 0 20 0 186783518 19566772224 661446 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003753] ppid=1003739 vsize=19108176 memory=12312 CPUtime=0 cores=4,6
/proc/1003742/task/1003753/stat : 1003753 (Finalizer) S 1003739 1003742 1001648 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186783520 19566772224 661446 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003760] ppid=1003739 vsize=19108176 memory=2641508 CPUtime=0 cores=4,6
/proc/1003742/task/1003760/stat : 1003760 (Common-Cleaner) S 1003739 1003742 1001648 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 186783521 19566772224 661446 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003762] ppid=1003739 vsize=19108176 memory=2638340 CPUtime=0 cores=4,6
/proc/1003742/task/1003762/stat : 1003762 (Timer-0) S 1003739 1003742 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186783644 19566772224 661446 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
Current children cumulated CPU time: 10.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2645784 KiB
[startup+12.7003 s]
/proc/loadavg: 4.84 4.34 4.16 5/332 1003764
/proc/meminfo: memFree=109426836/131524600 swapFree=131071996/131071996
[pid=1003742] ppid=1003739 vsize=19108176 memory=2647184 CPUtime=18.43 cores=4,6
/proc/1003742/stat : 1003742 (java) S 1003739 1003742 1001648 0 -1 1077936128 37055 0 0 0 1785 58 0 0 20 0 20 0 186783518 19566772224 661796 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
/proc/1003742/statm: 4777044 661796 5874 1 0 1116344 0
[pid=1003742/tid=1003744] ppid=1003739 vsize=19108176 memory=2647060 CPUtime=12.48 cores=4,6
/proc/1003742/task/1003744/stat : 1003744 (java) R 1003739 1003742 1001648 0 -1 4194368 9117 0 0 0 1197 51 0 0 20 0 20 0 186783518 19566772224 661796 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003753] ppid=1003739 vsize=19108176 memory=12340 CPUtime=0 cores=4,6
/proc/1003742/task/1003753/stat : 1003753 (Finalizer) S 1003739 1003742 1001648 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186783520 19566772224 661796 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003760] ppid=1003739 vsize=19108176 memory=4641350100799023464 CPUtime=0 cores=4,6
/proc/1003742/task/1003760/stat : 1003760 (Common-Cleaner) S 1003739 1003742 1001648 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 186783521 19566772224 661796 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003762] ppid=1003739 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1003742/task/1003762/stat : 1003762 (Timer-0) S 1003739 1003742 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186783644 19566772224 661796 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
Current children cumulated CPU time: 18.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2647184 KiB
[startup+25.5003 s]
/proc/loadavg: 5.31 4.47 4.21 6/333 1003904
/proc/meminfo: memFree=112423452/131524600 swapFree=131071996/131071996
[pid=1003742] ppid=1003739 vsize=19108176 memory=2647244 CPUtime=31.26 cores=4,6
/proc/1003742/stat : 1003742 (java) S 1003739 1003742 1001648 0 -1 1077936128 40086 0 0 0 3067 59 0 0 20 0 20 0 186783518 19566772224 661811 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
/proc/1003742/statm: 4777044 661811 5874 1 0 1116344 0
[pid=1003742/tid=1003744] ppid=1003739 vsize=19108176 memory=4641350100799023464 CPUtime=25.24 cores=4,6
/proc/1003742/task/1003744/stat : 1003744 (java) R 1003739 1003742 1001648 0 -1 4194368 10923 0 0 0 2473 51 0 0 20 0 20 0 186783518 19566772224 661811 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003753] ppid=1003739 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1003742/task/1003753/stat : 1003753 (Finalizer) S 1003739 1003742 1001648 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186783520 19566772224 661811 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003760] ppid=1003739 vsize=19108176 memory=2647184 CPUtime=0 cores=4,6
/proc/1003742/task/1003760/stat : 1003760 (Common-Cleaner) S 1003739 1003742 1001648 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 186783521 19566772224 661811 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003762] ppid=1003739 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1003742/task/1003762/stat : 1003762 (Timer-0) S 1003739 1003742 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186783644 19566772224 661811 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
Current children cumulated CPU time: 31.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2647244 KiB
[startup+51.1057 s]
/proc/loadavg: 5.00 4.46 4.21 5/333 1003907
/proc/meminfo: memFree=112255804/131524600 swapFree=131071996/131071996
[pid=1003742] ppid=1003739 vsize=19108176 memory=2690804 CPUtime=57.21 cores=4,6
/proc/1003742/stat : 1003742 (java) S 1003739 1003742 1001648 0 -1 1077936128 50311 0 0 0 5660 61 0 0 20 0 20 0 186783518 19566772224 672701 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
/proc/1003742/statm: 4777044 672701 5890 1 0 1116394 0
[pid=1003742/tid=1003744] ppid=1003739 vsize=19108176 memory=-7597112403956623456 CPUtime=50.72 cores=4,6
/proc/1003742/task/1003744/stat : 1003744 (java) R 1003739 1003742 1001648 0 -1 4194368 13379 0 0 0 5021 51 0 0 20 0 20 0 186783518 19566772224 672701 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003753] ppid=1003739 vsize=19108176 memory=2690696 CPUtime=0 cores=4,6
/proc/1003742/task/1003753/stat : 1003753 (Finalizer) S 1003739 1003742 1001648 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186783520 19566772224 672701 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003760] ppid=1003739 vsize=19108176 memory=2220 CPUtime=0 cores=4,6
/proc/1003742/task/1003760/stat : 1003760 (Common-Cleaner) S 1003739 1003742 1001648 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 186783521 19566772224 672701 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003762] ppid=1003739 vsize=19108176 memory=46904 CPUtime=0 cores=4,6
/proc/1003742/task/1003762/stat : 1003762 (Timer-0) S 1003739 1003742 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186783644 19566772224 672701 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
################
# More data... #
################
/proc/meminfo: memFree=101842848/131524600 swapFree=131071996/131071996
[pid=1003742] ppid=1003739 vsize=19108176 memory=4221692 CPUtime=3179.83 cores=4,6
/proc/1003742/stat : 1003742 (java) S 1003739 1003742 1001648 0 -1 1077936128 312223 0 0 0 317728 255 0 0 20 0 20 0 186783518 19566772224 1055423 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
/proc/1003742/statm: 4777044 1055423 5936 1 0 1070821 0
[pid=1003742/tid=1003744] ppid=1003739 vsize=19108176 memory=12312 CPUtime=3128.83 cores=4,6
/proc/1003742/task/1003744/stat : 1003744 (java) R 1003739 1003742 1001648 0 -1 4194368 92012 0 0 0 312806 77 0 0 20 0 20 0 186783518 19566772224 1055423 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003753] ppid=1003739 vsize=19108176 memory=12340 CPUtime=0 cores=4,6
/proc/1003742/task/1003753/stat : 1003753 (Finalizer) S 1003739 1003742 1001648 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186783520 19566772224 1055423 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003760] ppid=1003739 vsize=19108176 memory=-7597112403956623456 CPUtime=0 cores=4,6
/proc/1003742/task/1003760/stat : 1003760 (Common-Cleaner) S 1003739 1003742 1001648 0 -1 1077936192 2418 0 0 0 0 0 0 0 20 0 20 0 186783521 19566772224 1055423 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003762] ppid=1003739 vsize=19108176 memory=12312 CPUtime=0 cores=4,6
/proc/1003742/task/1003762/stat : 1003762 (Timer-0) S 1003739 1003742 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186783644 19566772224 1055423 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
Current children cumulated CPU time: 3179.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4221692 KiB
[startup+3222.3 s]
/proc/loadavg: 4.19 4.24 4.20 5/333 1005661
/proc/meminfo: memFree=101835864/131524600 swapFree=131071996/131071996
[pid=1003742] ppid=1003739 vsize=19108176 memory=4221692 CPUtime=3239.99 cores=4,6
/proc/1003742/stat : 1003742 (java) S 1003739 1003742 1001648 0 -1 1077936128 313597 0 0 0 323741 258 0 0 20 0 20 0 186783518 19566772224 1055423 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
/proc/1003742/statm: 4777044 1055423 5936 1 0 1070821 0
[pid=1003742/tid=1003744] ppid=1003739 vsize=19108176 memory=12312 CPUtime=3188.21 cores=4,6
/proc/1003742/task/1003744/stat : 1003744 (java) R 1003739 1003742 1001648 0 -1 4194368 93262 0 0 0 318744 77 0 0 20 0 20 0 186783518 19566772224 1055423 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003753] ppid=1003739 vsize=19108176 memory=12312 CPUtime=0 cores=4,6
/proc/1003742/task/1003753/stat : 1003753 (Finalizer) S 1003739 1003742 1001648 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186783520 19566772224 1055423 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003760] ppid=1003739 vsize=19108176 memory=4221692 CPUtime=0 cores=4,6
/proc/1003742/task/1003760/stat : 1003760 (Common-Cleaner) S 1003739 1003742 1001648 0 -1 1077936192 2418 0 0 0 0 0 0 0 20 0 20 0 186783521 19566772224 1055423 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003762] ppid=1003739 vsize=19108176 memory=4221692 CPUtime=0 cores=4,6
/proc/1003742/task/1003762/stat : 1003762 (Timer-0) S 1003739 1003742 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186783644 19566772224 1055423 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
Current children cumulated CPU time: 3239.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4221692 KiB
[startup+3282.3 s]
/proc/loadavg: 4.38 4.28 4.21 6/331 1005671
/proc/meminfo: memFree=101827736/131524600 swapFree=131071996/131071996
[pid=1003742] ppid=1003739 vsize=19108176 memory=4221704 CPUtime=3301.03 cores=4,6
/proc/1003742/stat : 1003742 (java) S 1003739 1003742 1001648 0 -1 1077936128 328706 0 0 0 329840 263 0 0 20 0 20 0 186783518 19566772224 1055426 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
/proc/1003742/statm: 4777044 1055426 5936 1 0 1070832 0
[pid=1003742/tid=1003744] ppid=1003739 vsize=19108176 memory=12340 CPUtime=3247.09 cores=4,6
/proc/1003742/task/1003744/stat : 1003744 (java) R 1003739 1003742 1001648 0 -1 4194368 93717 0 0 0 324632 77 0 0 20 0 20 0 186783518 19566772224 1055426 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003753] ppid=1003739 vsize=19108176 memory=4221704 CPUtime=0 cores=4,6
/proc/1003742/task/1003753/stat : 1003753 (Finalizer) S 1003739 1003742 1001648 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186783520 19566772224 1055426 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003760] ppid=1003739 vsize=19108176 memory=12312 CPUtime=0 cores=4,6
/proc/1003742/task/1003760/stat : 1003760 (Common-Cleaner) S 1003739 1003742 1001648 0 -1 1077936192 2465 0 0 0 0 0 0 0 20 0 20 0 186783521 19566772224 1055426 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003762] ppid=1003739 vsize=19108176 memory=46904 CPUtime=0 cores=4,6
/proc/1003742/task/1003762/stat : 1003762 (Timer-0) S 1003739 1003742 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186783644 19566772224 1055426 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
Current children cumulated CPU time: 3301.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4221704 KiB
[startup+3342.3 s]
/proc/loadavg: 4.42 4.31 4.23 6/331 1005683
/proc/meminfo: memFree=101827248/131524600 swapFree=131071996/131071996
[pid=1003742] ppid=1003739 vsize=19108176 memory=4221704 CPUtime=3362.17 cores=4,6
/proc/1003742/stat : 1003742 (java) S 1003739 1003742 1001648 0 -1 1077936128 329460 0 0 0 335950 267 0 0 20 0 20 0 186783518 19566772224 1055426 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
/proc/1003742/statm: 4777044 1055426 5936 1 0 1070832 0
[pid=1003742/tid=1003744] ppid=1003739 vsize=19108176 memory=12340 CPUtime=3305.95 cores=4,6
/proc/1003742/task/1003744/stat : 1003744 (java) R 1003739 1003742 1001648 0 -1 4194368 93826 0 0 0 330518 77 0 0 20 0 20 0 186783518 19566772224 1055426 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003753] ppid=1003739 vsize=19108176 memory=4221704 CPUtime=0 cores=4,6
/proc/1003742/task/1003753/stat : 1003753 (Finalizer) S 1003739 1003742 1001648 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186783520 19566772224 1055426 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003760] ppid=1003739 vsize=19108176 memory=4221704 CPUtime=0 cores=4,6
/proc/1003742/task/1003760/stat : 1003760 (Common-Cleaner) S 1003739 1003742 1001648 0 -1 1077936192 2467 0 0 0 0 0 0 0 20 0 20 0 186783521 19566772224 1055426 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003762] ppid=1003739 vsize=19108176 memory=4221704 CPUtime=0 cores=4,6
/proc/1003742/task/1003762/stat : 1003762 (Timer-0) S 1003739 1003742 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186783644 19566772224 1055426 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
Current children cumulated CPU time: 3362.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4221704 KiB
[startup+3402.3 s]
/proc/loadavg: 4.32 4.30 4.23 6/330 1005693
/proc/meminfo: memFree=101826764/131524600 swapFree=131071996/131071996
[pid=1003742] ppid=1003739 vsize=19108176 memory=4221708 CPUtime=3423.25 cores=4,6
/proc/1003742/stat : 1003742 (java) S 1003739 1003742 1001648 0 -1 1077936128 330255 0 0 0 342054 271 0 0 20 0 20 0 186783518 19566772224 1055427 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
/proc/1003742/statm: 4777044 1055427 5936 1 0 1070832 0
[pid=1003742/tid=1003744] ppid=1003739 vsize=19108176 memory=12340 CPUtime=3364.62 cores=4,6
/proc/1003742/task/1003744/stat : 1003744 (java) R 1003739 1003742 1001648 0 -1 4194368 94146 0 0 0 336384 78 0 0 20 0 20 0 186783518 19566772224 1055427 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003753] ppid=1003739 vsize=19108176 memory=4221704 CPUtime=0 cores=4,6
/proc/1003742/task/1003753/stat : 1003753 (Finalizer) S 1003739 1003742 1001648 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186783520 19566772224 1055427 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003760] ppid=1003739 vsize=19108176 memory=4221704 CPUtime=0 cores=4,6
/proc/1003742/task/1003760/stat : 1003760 (Common-Cleaner) S 1003739 1003742 1001648 0 -1 1077936192 2467 0 0 0 0 0 0 0 20 0 20 0 186783521 19566772224 1055427 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003762] ppid=1003739 vsize=19108176 memory=4221704 CPUtime=0 cores=4,6
/proc/1003742/task/1003762/stat : 1003762 (Timer-0) S 1003739 1003742 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186783644 19566772224 1055427 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
Current children cumulated CPU time: 3423.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4221708 KiB
[startup+3462.3 s]
/proc/loadavg: 4.71 4.39 4.26 5/330 1005703
/proc/meminfo: memFree=101826300/131524600 swapFree=131071996/131071996
[pid=1003742] ppid=1003739 vsize=19108176 memory=4221708 CPUtime=3483.74 cores=4,6
/proc/1003742/stat : 1003742 (java) S 1003739 1003742 1001648 0 -1 1077936128 330965 0 0 0 348100 274 0 0 20 0 20 0 186783518 19566772224 1055427 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
/proc/1003742/statm: 4777044 1055427 5936 1 0 1070832 0
[pid=1003742/tid=1003744] ppid=1003739 vsize=19108176 memory=12340 CPUtime=3423.42 cores=4,6
/proc/1003742/task/1003744/stat : 1003744 (java) R 1003739 1003742 1001648 0 -1 4194368 94739 0 0 0 342264 78 0 0 20 0 20 0 186783518 19566772224 1055427 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003753] ppid=1003739 vsize=19108176 memory=4221704 CPUtime=0 cores=4,6
/proc/1003742/task/1003753/stat : 1003753 (Finalizer) S 1003739 1003742 1001648 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186783520 19566772224 1055427 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003760] ppid=1003739 vsize=19108176 memory=4221704 CPUtime=0 cores=4,6
/proc/1003742/task/1003760/stat : 1003760 (Common-Cleaner) S 1003739 1003742 1001648 0 -1 1077936192 2469 0 0 0 0 0 0 0 20 0 20 0 186783521 19566772224 1055427 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003762] ppid=1003739 vsize=19108176 memory=4221704 CPUtime=0 cores=4,6
/proc/1003742/task/1003762/stat : 1003762 (Timer-0) S 1003739 1003742 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186783644 19566772224 1055427 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
Current children cumulated CPU time: 3483.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4221708 KiB
[startup+3522.3 s]
/proc/loadavg: 4.61 4.42 4.28 5/333 1005720
/proc/meminfo: memFree=101825424/131524600 swapFree=131071996/131071996
[pid=1003742] ppid=1003739 vsize=19108176 memory=4221720 CPUtime=3544.78 cores=4,6
/proc/1003742/stat : 1003742 (java) S 1003739 1003742 1001648 0 -1 1077936128 345565 0 0 0 354199 279 0 0 20 0 20 0 186783518 19566772224 1055430 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
/proc/1003742/statm: 4777044 1055430 5936 1 0 1070832 0
[pid=1003742/tid=1003744] ppid=1003739 vsize=19108176 memory=12340 CPUtime=3482.32 cores=4,6
/proc/1003742/task/1003744/stat : 1003744 (java) R 1003739 1003742 1001648 0 -1 4194368 95603 0 0 0 348154 78 0 0 20 0 20 0 186783518 19566772224 1055430 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003753] ppid=1003739 vsize=19108176 memory=46904 CPUtime=0 cores=4,6
/proc/1003742/task/1003753/stat : 1003753 (Finalizer) S 1003739 1003742 1001648 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186783520 19566772224 1055430 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003760] ppid=1003739 vsize=19108176 memory=4221720 CPUtime=0 cores=4,6
/proc/1003742/task/1003760/stat : 1003760 (Common-Cleaner) S 1003739 1003742 1001648 0 -1 1077936192 2562 0 0 0 0 0 0 0 20 0 20 0 186783521 19566772224 1055430 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003762] ppid=1003739 vsize=19108176 memory=5492 CPUtime=0 cores=4,6
/proc/1003742/task/1003762/stat : 1003762 (Timer-0) S 1003739 1003742 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186783644 19566772224 1055430 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
Current children cumulated CPU time: 3544.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4221720 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3577.4 s]
/proc/loadavg: 4.44 4.41 4.28 6/333 1005865
/proc/meminfo: memFree=109215404/131524600 swapFree=131071996/131071996
[pid=1003742] ppid=1003739 vsize=19108176 memory=4221720 CPUtime=3600.07 cores=4,6
/proc/1003742/stat : 1003742 (java) S 1003739 1003742 1001648 0 -1 1077936128 345968 0 0 0 359725 282 0 0 20 0 20 0 186783518 19566772224 1055430 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
/proc/1003742/statm: 4777044 1055430 5936 1 0 1070832 0
[pid=1003742/tid=1003744] ppid=1003739 vsize=19108176 memory=6748 CPUtime=3536.61 cores=4,6
/proc/1003742/task/1003744/stat : 1003744 (java) R 1003739 1003742 1001648 0 -1 4194368 95799 0 0 0 353583 78 0 0 20 0 20 0 186783518 19566772224 1055430 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003753] ppid=1003739 vsize=19108176 memory=8514726395714956179 CPUtime=0 cores=4,6
/proc/1003742/task/1003753/stat : 1003753 (Finalizer) S 1003739 1003742 1001648 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186783520 19566772224 1055430 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003760] ppid=1003739 vsize=19108176 memory=1404222122299264374 CPUtime=0 cores=4,6
/proc/1003742/task/1003760/stat : 1003760 (Common-Cleaner) S 1003739 1003742 1001648 0 -1 1077936192 2563 0 0 0 0 0 0 0 20 0 20 0 186783521 19566772224 1055430 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
[pid=1003742/tid=1003762] ppid=1003739 vsize=19108176 memory=4279135704013707688 CPUtime=0 cores=4,6
/proc/1003742/task/1003762/stat : 1003762 (Timer-0) S 1003739 1003742 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186783644 19566772224 1055430 134679101440 94678329466880 94678329470576 140733112829776 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94678329478392 94678329479184 94678353473536 140733112837107 140733112837215 140733112837215 140733112844232 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4221720 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3577.49 s]
# the end of solver process 1003742 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.39 s, system=2.83916 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3577.49
CPU time (s): 3600.23
CPU user time (s): 3597.39
CPU system time (s): 2.83916
CPU usage (%): 100.636
Max. virtual memory (cumulated for all children) (KiB): 19113540
Max. memory (cumulated for all children) (KiB): 4936452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.39
system time used= 2.83916
maximum resident set size= 4936460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 348468
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 174213
involuntary context switches= 9223
# summary of solver processes directly reported to runsolver:
# pid: 1003742
# total CPU time (s): 3600.23
# total CPU user time (s): 3597.39
# total CPU system time (s): 2.83916
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.52506 second user time and 17.9731 second system time
The end