runsolver version 3.4.0 (svn: 3012) 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: 16374 MiB (1517 MiB free)
memory of node 1: 16384 MiB (6033 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295191-1532535188/watcher-4295191-1532535188 -o /tmp/evaluation-result-4295191-1532535188/solver-4295191-1532535188 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532535188-26470 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1320955892 -superng HOME/instance-4295191-1532535188.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=26495, runsolver pid=26490
Current StackSize limit: 8192 KiB
[startup+0.100119 s]*
/proc/loadavg: 1.00 1.00 1.05 3/190 26604
/proc/meminfo: memFree=7727268/32770624 swapFree=67108860/67108860
[pid=26495] ppid=26490 vsize=9972712 memory=13640 CPUtime=0.08 cores=1,3,5,7
/proc/26495/stat : 26495 (java) S 26490 26495 26438 0 -1 1077944320 3535 12921 0 0 1 0 4 3 20 0 6 0 71081971 10212057088 3410 33554432000 4194304 4196468 140729481941712 140729481924256 140302985379575 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
/proc/26495/statm: 2493178 3410 1378 1 0 2481616 0
[pid=26495/tid=26603] ppid=26490 vsize=9972712 memory=-8540663193526752614 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26603/stat : 26603 (java) R 26490 26495 26438 0 -1 4202560 1408 12921 0 0 0 0 4 3 20 0 6 0 71081980 10212057088 3476 33554432000 4194304 4196468 140729481941712 140302957216336 140302908456557 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26605] ppid=26490 vsize=9972712 memory=4211974440277740938 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26605/stat : 26605 (java) S 26490 26495 26438 0 -1 1077944384 1 12921 0 0 0 0 4 3 20 0 6 0 71081981 10212057088 3476 33554432000 4194304 4196468 140729481941712 140302989621520 140302985389781 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26606] ppid=26490 vsize=9972712 memory=140714072950400 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26606/stat : 26606 (java) S 26490 26495 26438 0 -1 1077944384 2 12921 0 0 0 0 4 3 20 0 6 0 71081981 10212057088 3476 33554432000 4194304 4196468 140729481941712 140302893824400 140302985389781 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26607] ppid=26490 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26607/stat : 26607 (java) S 26490 26495 26438 0 -1 1077944384 1 12921 0 0 0 0 4 3 20 0 6 0 71081981 10212057088 3476 33554432000 4194304 4196468 140729481941712 140302892771856 140302985389781 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26608] ppid=26490 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26608/stat : 26608 (java) S 26490 26495 26438 0 -1 1077944384 2 12921 0 0 0 0 4 3 20 0 6 0 71081981 10212057088 3476 33554432000 4194304 4196468 140729481941712 140302556650128 140302985389781 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 13640 KiB
[startup+0.210546 s]*
/proc/loadavg: 1.00 1.00 1.05 5/216 26630
/proc/meminfo: memFree=7676572/32770624 swapFree=67108860/67108860
[pid=26495] ppid=26490 vsize=10818904 memory=41576 CPUtime=0.25 cores=1,3,5,7
/proc/26495/stat : 26495 (java) S 26490 26495 26438 0 -1 1077944320 7167 12921 0 0 17 1 4 3 20 0 15 0 71081971 11078557696 10394 33554432000 4194304 4196468 140729481941712 140729481924256 140302985379575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
/proc/26495/statm: 2704726 10394 2927 1 0 2667149 0
[pid=26495/tid=26603] ppid=26490 vsize=10818904 memory=4871374705135476842 CPUtime=0.17 cores=1,3,5,7
/proc/26495/task/26603/stat : 26603 (java) R 26490 26495 26438 0 -1 4202560 3836 12921 0 0 10 0 4 3 20 0 15 0 71081980 11078557696 10460 33554432000 4194304 4196468 140729481941712 140302957196688 140302965655282 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26605] ppid=26490 vsize=10818904 memory=4211974440277740938 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26605/stat : 26605 (java) S 26490 26495 26438 0 -1 1077944384 1 12921 0 0 0 0 4 3 20 0 15 0 71081981 11078557696 10460 33554432000 4194304 4196468 140729481941712 140302989621520 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26606] ppid=26490 vsize=10818904 memory=140714072950400 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26606/stat : 26606 (java) S 26490 26495 26438 0 -1 1077944384 2 12921 0 0 0 0 4 3 20 0 15 0 71081981 11078557696 10460 33554432000 4194304 4196468 140729481941712 140302893824400 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26607] ppid=26490 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26607/stat : 26607 (java) S 26490 26495 26438 0 -1 1077944384 1 12921 0 0 0 0 4 3 20 0 15 0 71081981 11078557696 10460 33554432000 4194304 4196468 140729481941712 140302892771856 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26608] ppid=26490 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26608/stat : 26608 (java) S 26490 26495 26438 0 -1 1077944384 2 12921 0 0 0 0 4 3 20 0 15 0 71081981 11078557696 10460 33554432000 4194304 4196468 140729481941712 140302556650128 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26613] ppid=26490 vsize=10818904 memory=140714072950400 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26613/stat : 26613 (java) S 26490 26495 26438 0 -1 1077944384 2 12921 0 0 0 0 4 3 20 0 15 0 71081983 11078557696 10460 33554432000 4194304 4196468 140729481941712 140302257269232 140302985390722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26615] ppid=26490 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26615/stat : 26615 (java) S 26490 26495 26438 0 -1 1077944384 33 12921 0 0 0 0 4 3 20 0 15 0 71081983 11078557696 10460 33554432000 4194304 4196468 140729481941712 140302256215456 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26616] ppid=26490 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26616/stat : 26616 (java) S 26490 26495 26438 0 -1 1077944384 1 12921 0 0 0 0 4 3 20 0 15 0 71081983 11078557696 10460 33554432000 4194304 4196468 140729481941712 140302153147888 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26619] ppid=26490 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26619/stat : 26619 (java) S 26490 26495 26438 0 -1 1077944384 2 12921 0 0 0 0 4 3 20 0 15 0 71081986 11078557696 10460 33554432000 4194304 4196468 140729481941712 140302018931408 140302985398171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26620] ppid=26490 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26495/task/26620/stat : 26620 (java) S 26490 26495 26438 0 -1 1077944384 523 12921 0 0 1 0 4 3 20 0 15 0 71081986 11078557696 10460 33554432000 4194304 4196468 140729481941712 140302222657520 140302985390722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26621] ppid=26490 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26621/stat : 26621 (java) S 26490 26495 26438 0 -1 1077944384 54 12921 0 0 0 0 4 3 20 0 15 0 71081986 11078557696 10460 33554432000 4194304 4196468 140729481941712 140302221604976 140302985390722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26622] ppid=26490 vsize=10818904 memory=140714072950400 CPUtime=0.1 cores=1,3,5,7
/proc/26495/task/26622/stat : 26622 (java) S 26490 26495 26438 0 -1 1077944384 569 12921 0 0 3 0 4 3 20 0 15 0 71081986 11078557696 10526 33554432000 4194304 4196468 140729481941712 140302119590128 140302985390722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26626] ppid=26490 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26626/stat : 26626 (java) S 26490 26495 26438 0 -1 1077944384 3 12921 0 0 0 0 4 3 20 0 15 0 71081986 11078557696 10526 33554432000 4194304 4196468 140729481941712 140301884713568 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26629] ppid=26490 vsize=10818904 memory=140714072950400 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26629/stat : 26629 (java) S 26490 26495 26438 0 -1 1077944384 1 12921 0 0 0 0 4 3 20 0 15 0 71081986 11078557696 10526 33554432000 4194304 4196468 140729481941712 140302118538032 140302985390722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 41576 KiB
[startup+0.310238 s]*
/proc/loadavg: 1.00 1.00 1.05 3/216 26630
/proc/meminfo: memFree=7650764/32770624 swapFree=67108860/67108860
[pid=26495] ppid=26490 vsize=10819352 memory=55144 CPUtime=0.37 cores=1,3,5,7
/proc/26495/stat : 26495 (java) S 26490 26495 26438 0 -1 1077944320 10415 12921 0 0 29 1 4 3 20 0 15 0 71081971 11079016448 13786 33554432000 4194304 4196468 140729481941712 140729481924256 140302985379575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
/proc/26495/statm: 2704838 13786 3046 1 0 2667149 0
[pid=26495/tid=26603] ppid=26490 vsize=10819352 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/26495/task/26603/stat : 26603 (java) R 26490 26495 26438 0 -1 4202560 7015 12921 0 0 19 1 4 3 20 0 15 0 71081980 11079016448 13786 33554432000 4194304 4196468 140729481941712 140302957191584 140302985401501 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26605] ppid=26490 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26605/stat : 26605 (java) S 26490 26495 26438 0 -1 1077944384 1 12921 0 0 0 0 4 3 20 0 15 0 71081981 11079016448 13786 33554432000 4194304 4196468 140729481941712 140302989621520 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26606] ppid=26490 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26606/stat : 26606 (java) S 26490 26495 26438 0 -1 1077944384 2 12921 0 0 0 0 4 3 20 0 15 0 71081981 11079016448 13786 33554432000 4194304 4196468 140729481941712 140302893824400 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26607] ppid=26490 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26607/stat : 26607 (java) S 26490 26495 26438 0 -1 1077944384 1 12921 0 0 0 0 4 3 20 0 15 0 71081981 11079016448 13786 33554432000 4194304 4196468 140729481941712 140302892771856 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26608] ppid=26490 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26608/stat : 26608 (java) S 26490 26495 26438 0 -1 1077944384 2 12921 0 0 0 0 4 3 20 0 15 0 71081981 11079016448 13786 33554432000 4194304 4196468 140729481941712 140302556650128 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26613] ppid=26490 vsize=10819352 memory=140714072950399 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26613/stat : 26613 (java) S 26490 26495 26438 0 -1 1077944384 2 12921 0 0 0 0 4 3 20 0 15 0 71081983 11079016448 13786 33554432000 4194304 4196468 140729481941712 140302257269232 140302985390722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26615] ppid=26490 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26615/stat : 26615 (java) S 26490 26495 26438 0 -1 1077944384 33 12921 0 0 0 0 4 3 20 0 15 0 71081983 11079016448 13786 33554432000 4194304 4196468 140729481941712 140302256215456 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26616] ppid=26490 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26616/stat : 26616 (java) S 26490 26495 26438 0 -1 1077944384 1 12921 0 0 0 0 4 3 20 0 15 0 71081983 11079016448 13786 33554432000 4194304 4196468 140729481941712 140302153147888 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26619] ppid=26490 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26619/stat : 26619 (java) S 26490 26495 26438 0 -1 1077944384 2 12921 0 0 0 0 4 3 20 0 15 0 71081986 11079016448 13786 33554432000 4194304 4196468 140729481941712 140302018931408 140302985398171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26620] ppid=26490 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/26495/task/26620/stat : 26620 (java) S 26490 26495 26438 0 -1 1077944384 524 12921 0 0 2 0 4 3 20 0 15 0 71081986 11079016448 13786 33554432000 4194304 4196468 140729481941712 140302222657520 140302985390722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26621] ppid=26490 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26495/task/26621/stat : 26621 (java) S 26490 26495 26438 0 -1 1077944384 54 12921 0 0 1 0 4 3 20 0 15 0 71081986 11079016448 13786 33554432000 4194304 4196468 140729481941712 140302221604976 140302985390722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26622] ppid=26490 vsize=10819352 memory=140714072950400 CPUtime=0.11 cores=1,3,5,7
/proc/26495/task/26622/stat : 26622 (java) S 26490 26495 26438 0 -1 1077944384 588 12921 0 0 4 0 4 3 20 0 15 0 71081986 11079016448 13786 33554432000 4194304 4196468 140729481941712 140302119590128 140302985390722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26626] ppid=26490 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26626/stat : 26626 (java) S 26490 26495 26438 0 -1 1077944384 3 12921 0 0 0 0 4 3 20 0 15 0 71081986 11079016448 13786 33554432000 4194304 4196468 140729481941712 140301884713568 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26629] ppid=26490 vsize=10819352 memory=140714072950400 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26629/stat : 26629 (java) S 26490 26495 26438 0 -1 1077944384 1 12921 0 0 0 0 4 3 20 0 15 0 71081986 11079016448 13786 33554432000 4194304 4196468 140729481941712 140302118538032 140302985390722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 55144 KiB
[startup+0.700784 s]
/proc/loadavg: 1.00 1.00 1.05 3/216 26630
/proc/meminfo: memFree=7627580/32770624 swapFree=67108860/67108860
[pid=26495] ppid=26490 vsize=10819352 memory=88340 CPUtime=0.98 cores=1,3,5,7
/proc/26495/stat : 26495 (java) S 26490 26495 26438 0 -1 1077944320 16763 12921 0 0 88 3 4 3 20 0 15 0 71081971 11079016448 22085 33554432000 4194304 4196468 140729481941712 140729481924256 140302985379575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
/proc/26495/statm: 2704838 22085 3237 1 0 2667149 0
[pid=26495/tid=26603] ppid=26490 vsize=10819352 memory=2241 CPUtime=0.65 cores=1,3,5,7
/proc/26495/task/26603/stat : 26603 (java) S 26490 26495 26438 0 -1 1077944384 12230 12921 0 0 56 2 4 3 20 0 15 0 71081980 11079016448 22085 33554432000 4194304 4196468 140729481941712 140302957200400 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26605] ppid=26490 vsize=10819352 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26605/stat : 26605 (java) S 26490 26495 26438 0 -1 1077944384 1 12921 0 0 0 0 4 3 20 0 15 0 71081981 11079016448 22085 33554432000 4194304 4196468 140729481941712 140302989621520 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26606] ppid=26490 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26606/stat : 26606 (java) S 26490 26495 26438 0 -1 1077944384 2 12921 0 0 0 0 4 3 20 0 15 0 71081981 11079016448 22085 33554432000 4194304 4196468 140729481941712 140302893824400 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26607] ppid=26490 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26607/stat : 26607 (java) S 26490 26495 26438 0 -1 1077944384 1 12921 0 0 0 0 4 3 20 0 15 0 71081981 11079016448 22085 33554432000 4194304 4196468 140729481941712 140302892771856 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26608] ppid=26490 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26608/stat : 26608 (java) S 26490 26495 26438 0 -1 1077944384 2 12921 0 0 0 0 4 3 20 0 15 0 71081981 11079016448 22085 33554432000 4194304 4196468 140729481941712 140302556650128 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26613] ppid=26490 vsize=10819352 memory=6655300316396806240 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26613/stat : 26613 (java) S 26490 26495 26438 0 -1 1077944384 5 12921 0 0 0 0 4 3 20 0 15 0 71081983 11079016448 22085 33554432000 4194304 4196468 140729481941712 140302257269232 140302985390722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26615] ppid=26490 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26615/stat : 26615 (java) S 26490 26495 26438 0 -1 1077944384 33 12921 0 0 0 0 4 3 20 0 15 0 71081983 11079016448 22085 33554432000 4194304 4196468 140729481941712 140302256215456 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26616] ppid=26490 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26616/stat : 26616 (java) S 26490 26495 26438 0 -1 1077944384 1 12921 0 0 0 0 4 3 20 0 15 0 71081983 11079016448 22085 33554432000 4194304 4196468 140729481941712 140302153147888 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26619] ppid=26490 vsize=10819352 memory=281427866288368 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26619/stat : 26619 (java) S 26490 26495 26438 0 -1 1077944384 2 12921 0 0 0 0 4 3 20 0 15 0 71081986 11079016448 22085 33554432000 4194304 4196468 140729481941712 140302018931408 140302985398171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26620] ppid=26490 vsize=10819352 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/26495/task/26620/stat : 26620 (java) S 26490 26495 26438 0 -1 1077944384 1185 12921 0 0 10 0 4 3 20 0 15 0 71081986 11079016448 22085 33554432000 4194304 4196468 140729481941712 140302222657520 140302985390722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26621] ppid=26490 vsize=10819352 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/26495/task/26621/stat : 26621 (java) S 26490 26495 26438 0 -1 1077944384 424 12921 0 0 6 0 4 3 20 0 15 0 71081986 11079016448 22085 33554432000 4194304 4196468 140729481941712 140302221604976 140302985390722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26622] ppid=26490 vsize=10819352 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/26495/task/26622/stat : 26622 (java) S 26490 26495 26438 0 -1 1077944384 685 12921 0 0 13 0 4 3 20 0 15 0 71081986 11079016448 22085 33554432000 4194304 4196468 140729481941712 140302119590128 140302985390722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26626] ppid=26490 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26626/stat : 26626 (java) S 26490 26495 26438 0 -1 1077944384 3 12921 0 0 0 0 4 3 20 0 15 0 71081986 11079016448 22085 33554432000 4194304 4196468 140729481941712 140301884713568 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26629] ppid=26490 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26629/stat : 26629 (java) S 26490 26495 26438 0 -1 1077944384 1 12921 0 0 0 0 4 3 20 0 15 0 71081986 11079016448 22085 33554432000 4194304 4196468 140729481941712 140302118538032 140302985390722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 88340 KiB
[startup+1.50075 s]
/proc/loadavg: 1.00 1.00 1.05 5/216 26630
/proc/meminfo: memFree=7536812/32770624 swapFree=67108860/67108860
[pid=26495] ppid=26490 vsize=10832204 memory=169976 CPUtime=2.8 cores=1,3,5,7
/proc/26495/stat : 26495 (java) S 26490 26495 26438 0 -1 1077944320 24852 12921 0 0 266 7 4 3 20 0 15 0 71081971 11092176896 42494 33554432000 4194304 4196468 140729481941712 140729481924256 140302985379575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
/proc/26495/statm: 2708051 42494 3450 1 0 2669709 0
[pid=26495/tid=26603] ppid=26490 vsize=10832204 memory=7 CPUtime=1.44 cores=1,3,5,7
/proc/26495/task/26603/stat : 26603 (java) S 26490 26495 26438 0 -1 1077944384 17222 12921 0 0 132 5 4 3 20 0 15 0 71081980 11092176896 42494 33554432000 4194304 4196468 140729481941712 140302957192768 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26605] ppid=26490 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26605/stat : 26605 (java) S 26490 26495 26438 0 -1 1077944384 1 12921 0 0 0 0 4 3 20 0 15 0 71081981 11092176896 42494 33554432000 4194304 4196468 140729481941712 140302989621520 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26606] ppid=26490 vsize=10832204 memory=281427866361072 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26606/stat : 26606 (java) S 26490 26495 26438 0 -1 1077944384 2 12921 0 0 0 0 4 3 20 0 15 0 71081981 11092176896 42494 33554432000 4194304 4196468 140729481941712 140302893824400 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26607] ppid=26490 vsize=10832204 memory=281427866361136 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26607/stat : 26607 (java) S 26490 26495 26438 0 -1 1077944384 1 12921 0 0 0 0 4 3 20 0 15 0 71081981 11092176896 42494 33554432000 4194304 4196468 140729481941712 140302892771856 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26608] ppid=26490 vsize=10832204 memory=281427866361200 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26608/stat : 26608 (java) S 26490 26495 26438 0 -1 1077944384 2 12921 0 0 0 0 4 3 20 0 15 0 71081981 11092176896 42494 33554432000 4194304 4196468 140729481941712 140302556650128 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26613] ppid=26490 vsize=10832204 memory=-1664385933527490352 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26613/stat : 26613 (java) R 26490 26495 26438 0 -1 4202560 19 12921 0 0 0 0 4 3 20 0 15 0 71081983 11092176896 42494 33554432000 4194304 4196468 140729481941712 140302257269232 140302966536064 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26615] ppid=26490 vsize=10832204 memory=6943526294502006880 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26615/stat : 26615 (java) S 26490 26495 26438 0 -1 1077944384 33 12921 0 0 0 0 4 3 20 0 15 0 71081983 11092176896 42494 33554432000 4194304 4196468 140729481941712 140302256215456 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26616] ppid=26490 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26616/stat : 26616 (java) S 26490 26495 26438 0 -1 1077944384 1 12921 0 0 0 0 4 3 20 0 15 0 71081983 11092176896 42494 33554432000 4194304 4196468 140729481941712 140302153147888 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26619] ppid=26490 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26619/stat : 26619 (java) S 26490 26495 26438 0 -1 1077944384 2 12921 0 0 0 0 4 3 20 0 15 0 71081986 11092176896 42494 33554432000 4194304 4196468 140729481941712 140302018931408 140302985398171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26620] ppid=26490 vsize=10832204 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/26495/task/26620/stat : 26620 (java) S 26490 26495 26438 0 -1 1077944384 1957 12921 0 0 46 0 4 3 20 0 15 0 71081986 11092176896 42494 33554432000 4194304 4196468 140729481941712 140302222657520 140302985390722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26621] ppid=26490 vsize=10832204 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/26495/task/26621/stat : 26621 (java) S 26490 26495 26438 0 -1 1077944384 1818 12921 0 0 43 0 4 3 20 0 15 0 71081986 11092176896 42494 33554432000 4194304 4196468 140729481941712 140302221604976 140302985390722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26622] ppid=26490 vsize=10832204 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/26495/task/26622/stat : 26622 (java) S 26490 26495 26438 0 -1 1077944384 1614 12921 0 0 42 0 4 3 20 0 15 0 71081986 11092176896 42494 33554432000 4194304 4196468 140729481941712 140302119590128 140302985390722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26626] ppid=26490 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26626/stat : 26626 (java) S 26490 26495 26438 0 -1 1077944384 3 12921 0 0 0 0 4 3 20 0 15 0 71081986 11092176896 42494 33554432000 4194304 4196468 140729481941712 140301884713568 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26629] ppid=26490 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26629/stat : 26629 (java) S 26490 26495 26438 0 -1 1077944384 3 12921 0 0 0 0 4 3 20 0 15 0 71081986 11092176896 42494 33554432000 4194304 4196468 140729481941712 140302118538032 140302985390722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 10832204 KiB
################
# More data... #
################
/proc/26495/task/26603/stat : 26603 (java) R 26490 26495 26438 0 -1 4202560 112085 12921 0 0 235902 60 4 3 20 0 15 0 71081980 11178180608 420520 33554432000 4194304 4196468 140729481941712 140302957215328 140302585117086 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26605] ppid=26490 vsize=10916192 memory=1682056 CPUtime=17.21 cores=1,3,5,7
/proc/26495/task/26605/stat : 26605 (java) S 26490 26495 26438 0 -1 1077944384 19591 12921 0 0 1663 51 4 3 20 0 15 0 71081981 11178180608 420520 33554432000 4194304 4196468 140729481941712 140302989621520 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26606] ppid=26490 vsize=10916192 memory=1682080 CPUtime=17.17 cores=1,3,5,7
/proc/26495/task/26606/stat : 26606 (java) S 26490 26495 26438 0 -1 1077944384 21588 12921 0 0 1665 45 4 3 20 0 15 0 71081981 11178180608 420520 33554432000 4194304 4196468 140729481941712 140302893824400 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26607] ppid=26490 vsize=10916192 memory=281427868135328 CPUtime=17.2 cores=1,3,5,7
/proc/26495/task/26607/stat : 26607 (java) S 26490 26495 26438 0 -1 1077944384 19833 12921 0 0 1665 48 4 3 20 0 15 0 71081981 11178180608 420520 33554432000 4194304 4196468 140729481941712 140302892771856 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26608] ppid=26490 vsize=10916192 memory=1682056 CPUtime=17.2 cores=1,3,5,7
/proc/26495/task/26608/stat : 26608 (java) S 26490 26495 26438 0 -1 1077944384 20442 12921 0 0 1665 48 4 3 20 0 15 0 71081981 11178180608 420520 33554432000 4194304 4196468 140729481941712 140302556650128 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26613] ppid=26490 vsize=10916192 memory=1682044 CPUtime=3.9 cores=1,3,5,7
/proc/26495/task/26613/stat : 26613 (java) S 26490 26495 26438 0 -1 1077944384 18536 12921 0 0 354 29 4 3 20 0 15 0 71081983 11178180608 420520 33554432000 4194304 4196468 140729481941712 140302257269232 140302985390722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26615] ppid=26490 vsize=10916192 memory=1682080 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26615/stat : 26615 (java) S 26490 26495 26438 0 -1 1077944384 42 12921 0 0 0 0 4 3 20 0 15 0 71081983 11178180608 420520 33554432000 4194304 4196468 140729481941712 140302256215520 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26616] ppid=26490 vsize=10916192 memory=1682080 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26616/stat : 26616 (java) S 26490 26495 26438 0 -1 1077944384 10 12921 0 0 0 0 4 3 20 0 15 0 71081983 11178180608 420520 33554432000 4194304 4196468 140729481941712 140302153147904 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26619] ppid=26490 vsize=10916192 memory=1682080 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26619/stat : 26619 (java) S 26490 26495 26438 0 -1 1077944384 2 12921 0 0 0 0 4 3 20 0 15 0 71081986 11178180608 420520 33554432000 4194304 4196468 140729481941712 140302018931408 140302985398171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26620] ppid=26490 vsize=10916192 memory=1682044 CPUtime=9.89 cores=1,3,5,7
/proc/26495/task/26620/stat : 26620 (java) S 26490 26495 26438 0 -1 1077944384 102295 12921 0 0 973 9 4 3 20 0 15 0 71081986 11178180608 420520 33554432000 4194304 4196468 140729481941712 140302222657520 140302985390722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26621] ppid=26490 vsize=10916192 memory=982 CPUtime=10.64 cores=1,3,5,7
/proc/26495/task/26621/stat : 26621 (java) S 26490 26495 26438 0 -1 1077944384 100217 12921 0 0 1047 10 4 3 20 0 15 0 71081986 11178180608 420520 33554432000 4194304 4196468 140729481941712 140302221604976 140302985390722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26622] ppid=26490 vsize=10916192 memory=1682080 CPUtime=4.03 cores=1,3,5,7
/proc/26495/task/26622/stat : 26622 (java) S 26490 26495 26438 0 -1 1077944384 109533 12921 0 0 386 10 4 3 20 0 15 0 71081986 11178180608 420520 33554432000 4194304 4196468 140729481941712 140302119590128 140302985390722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26626] ppid=26490 vsize=10916192 memory=1682056 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26626/stat : 26626 (java) S 26490 26495 26438 0 -1 1077944384 3 12921 0 0 0 0 4 3 20 0 15 0 71081986 11178180608 420520 33554432000 4194304 4196468 140729481941712 140301884713568 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26629] ppid=26490 vsize=10916192 memory=636 CPUtime=1.47 cores=1,3,5,7
/proc/26495/task/26629/stat : 26629 (java) S 26490 26495 26438 0 -1 1077944384 2782 12921 0 0 65 75 4 3 20 0 15 0 71081986 11178180608 420520 33554432000 4194304 4196468 140729481941712 140302118538032 140302985390722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
Current children cumulated CPU time: 2457.89 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1682080 KiB
[startup+2442.3 s]
/proc/loadavg: 1.49 1.42 1.36 6/215 26701
/proc/meminfo: memFree=4429528/32770624 swapFree=67108860/67108860
[pid=26495] ppid=26490 vsize=10916192 memory=1682152 CPUtime=2519.48 cores=1,3,5,7
/proc/26495/stat : 26495 (java) S 26490 26495 26438 0 -1 1077944320 534538 12921 0 0 251572 369 4 3 20 0 15 0 71081971 11178180608 420538 33554432000 4194304 4196468 140729481941712 140729481924256 140302985379575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
/proc/26495/statm: 2729048 420538 3528 1 0 2690701 0
[pid=26495/tid=26603] ppid=26490 vsize=10916192 memory=1682152 CPUtime=2419.09 cores=1,3,5,7
/proc/26495/task/26603/stat : 26603 (java) R 26490 26495 26438 0 -1 4202560 113089 12921 0 0 241842 60 4 3 20 0 15 0 71081980 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302957214864 140302573971917 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26605] ppid=26490 vsize=10916192 memory=1682152 CPUtime=17.67 cores=1,3,5,7
/proc/26495/task/26605/stat : 26605 (java) S 26490 26495 26438 0 -1 1077944384 19638 12921 0 0 1709 51 4 3 20 0 15 0 71081981 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302989621520 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26606] ppid=26490 vsize=10916192 memory=1682136 CPUtime=17.65 cores=1,3,5,7
/proc/26495/task/26606/stat : 26606 (java) S 26490 26495 26438 0 -1 1077944384 21699 12921 0 0 1712 46 4 3 20 0 15 0 71081981 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302893824400 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26607] ppid=26490 vsize=10916192 memory=1682080 CPUtime=17.68 cores=1,3,5,7
/proc/26495/task/26607/stat : 26607 (java) S 26490 26495 26438 0 -1 1077944384 20236 12921 0 0 1713 48 4 3 20 0 15 0 71081981 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302892771856 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26608] ppid=26490 vsize=10916192 memory=281427868135328 CPUtime=17.68 cores=1,3,5,7
/proc/26495/task/26608/stat : 26608 (java) S 26490 26495 26438 0 -1 1077944384 20680 12921 0 0 1712 49 4 3 20 0 15 0 71081981 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302556650128 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26613] ppid=26490 vsize=10916192 memory=1682044 CPUtime=3.99 cores=1,3,5,7
/proc/26495/task/26613/stat : 26613 (java) S 26490 26495 26438 0 -1 1077944384 18890 12921 0 0 363 29 4 3 20 0 15 0 71081983 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302257269232 140302985390722 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26615] ppid=26490 vsize=10916192 memory=1682080 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26615/stat : 26615 (java) S 26490 26495 26438 0 -1 1077944384 42 12921 0 0 0 0 4 3 20 0 15 0 71081983 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302256215520 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26616] ppid=26490 vsize=10916192 memory=1682096 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26616/stat : 26616 (java) S 26490 26495 26438 0 -1 1077944384 10 12921 0 0 0 0 4 3 20 0 15 0 71081983 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302153147904 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26619] ppid=26490 vsize=10916192 memory=1682136 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26619/stat : 26619 (java) S 26490 26495 26438 0 -1 1077944384 2 12921 0 0 0 0 4 3 20 0 15 0 71081986 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302018931408 140302985398171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26620] ppid=26490 vsize=10916192 memory=281427867286912 CPUtime=9.96 cores=1,3,5,7
/proc/26495/task/26620/stat : 26620 (java) S 26490 26495 26438 0 -1 1077944384 103211 12921 0 0 980 9 4 3 20 0 15 0 71081986 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302222657520 140302985390722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26621] ppid=26490 vsize=10916192 memory=1682136 CPUtime=10.71 cores=1,3,5,7
/proc/26495/task/26621/stat : 26621 (java) S 26490 26495 26438 0 -1 1077944384 101054 12921 0 0 1054 10 4 3 20 0 15 0 71081986 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302221604976 140302985390722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26622] ppid=26490 vsize=10916192 memory=1682152 CPUtime=4.06 cores=1,3,5,7
/proc/26495/task/26622/stat : 26622 (java) S 26490 26495 26438 0 -1 1077944384 110978 12921 0 0 389 10 4 3 20 0 15 0 71081986 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302119590128 140302985390722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26626] ppid=26490 vsize=10916192 memory=1682152 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26626/stat : 26626 (java) S 26490 26495 26438 0 -1 1077944384 3 12921 0 0 0 0 4 3 20 0 15 0 71081986 11178180608 420538 33554432000 4194304 4196468 140729481941712 140301884713568 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26629] ppid=26490 vsize=10916192 memory=1682152 CPUtime=1.51 cores=1,3,5,7
/proc/26495/task/26629/stat : 26629 (java) S 26490 26495 26438 0 -1 1077944384 2818 12921 0 0 67 77 4 3 20 0 15 0 71081986 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302118538032 140302985390722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
Current children cumulated CPU time: 2519.48 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1682152 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2442.9 s]
/proc/loadavg: 1.49 1.42 1.36 6/215 26701
/proc/meminfo: memFree=4429528/32770624 swapFree=67108860/67108860
[pid=26495] ppid=26490 vsize=10916192 memory=1682152 CPUtime=2520.1 cores=1,3,5,7
/proc/26495/stat : 26495 (java) S 26490 26495 26438 0 -1 1077944320 534542 12921 0 0 251634 369 4 3 20 0 15 0 71081971 11178180608 420538 33554432000 4194304 4196468 140729481941712 140729481924256 140302985379575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
/proc/26495/statm: 2729048 420538 3528 1 0 2690701 0
[pid=26495/tid=26603] ppid=26490 vsize=10916192 memory=1682136 CPUtime=2419.68 cores=1,3,5,7
/proc/26495/task/26603/stat : 26603 (java) R 26490 26495 26438 0 -1 4202560 113091 12921 0 0 241901 60 4 3 20 0 15 0 71081980 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302957214976 140302573731380 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26605] ppid=26490 vsize=10916192 memory=281427867286912 CPUtime=17.68 cores=1,3,5,7
/proc/26495/task/26605/stat : 26605 (java) S 26490 26495 26438 0 -1 1077944384 19638 12921 0 0 1710 51 4 3 20 0 15 0 71081981 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302989621520 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26606] ppid=26490 vsize=10916192 memory=1682136 CPUtime=17.65 cores=1,3,5,7
/proc/26495/task/26606/stat : 26606 (java) S 26490 26495 26438 0 -1 1077944384 21699 12921 0 0 1712 46 4 3 20 0 15 0 71081981 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302893824400 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26607] ppid=26490 vsize=10916192 memory=1682096 CPUtime=17.68 cores=1,3,5,7
/proc/26495/task/26607/stat : 26607 (java) S 26490 26495 26438 0 -1 1077944384 20237 12921 0 0 1713 48 4 3 20 0 15 0 71081981 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302892771856 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26608] ppid=26490 vsize=10916192 memory=1682080 CPUtime=17.69 cores=1,3,5,7
/proc/26495/task/26608/stat : 26608 (java) S 26490 26495 26438 0 -1 1077944384 20681 12921 0 0 1713 49 4 3 20 0 15 0 71081981 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302556650128 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26613] ppid=26490 vsize=10916192 memory=1682044 CPUtime=4 cores=1,3,5,7
/proc/26495/task/26613/stat : 26613 (java) S 26490 26495 26438 0 -1 1077944384 18890 12921 0 0 364 29 4 3 20 0 15 0 71081983 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302257269232 140302985390722 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26615] ppid=26490 vsize=10916192 memory=281427868135328 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26615/stat : 26615 (java) S 26490 26495 26438 0 -1 1077944384 42 12921 0 0 0 0 4 3 20 0 15 0 71081983 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302256215520 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26616] ppid=26490 vsize=10916192 memory=1682080 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26616/stat : 26616 (java) S 26490 26495 26438 0 -1 1077944384 10 12921 0 0 0 0 4 3 20 0 15 0 71081983 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302153147904 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26619] ppid=26490 vsize=10916192 memory=1682136 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26619/stat : 26619 (java) S 26490 26495 26438 0 -1 1077944384 2 12921 0 0 0 0 4 3 20 0 15 0 71081986 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302018931408 140302985398171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26620] ppid=26490 vsize=10916192 memory=1682152 CPUtime=9.96 cores=1,3,5,7
/proc/26495/task/26620/stat : 26620 (java) S 26490 26495 26438 0 -1 1077944384 103211 12921 0 0 980 9 4 3 20 0 15 0 71081986 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302222657520 140302985390722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26621] ppid=26490 vsize=10916192 memory=1682152 CPUtime=10.71 cores=1,3,5,7
/proc/26495/task/26621/stat : 26621 (java) S 26490 26495 26438 0 -1 1077944384 101054 12921 0 0 1054 10 4 3 20 0 15 0 71081986 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302221604976 140302985390722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26622] ppid=26490 vsize=10916192 memory=1682152 CPUtime=4.06 cores=1,3,5,7
/proc/26495/task/26622/stat : 26622 (java) S 26490 26495 26438 0 -1 1077944384 110978 12921 0 0 389 10 4 3 20 0 15 0 71081986 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302119590128 140302985390722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26626] ppid=26490 vsize=10916192 memory=1682152 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26626/stat : 26626 (java) S 26490 26495 26438 0 -1 1077944384 3 12921 0 0 0 0 4 3 20 0 15 0 71081986 11178180608 420538 33554432000 4194304 4196468 140729481941712 140301884713568 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26629] ppid=26490 vsize=10916192 memory=1682152 CPUtime=1.51 cores=1,3,5,7
/proc/26495/task/26629/stat : 26629 (java) S 26490 26495 26438 0 -1 1077944384 2818 12921 0 0 67 77 4 3 20 0 15 0 71081986 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302118538032 140302985390722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1682152 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2442.93 s]
# the end of solver process 26495 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.42 s, system=3.75033 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2442.9 s]
/proc/loadavg: 1.49 1.42 1.36 6/215 26701
/proc/meminfo: memFree=4429528/32770624 swapFree=67108860/67108860
[pid=26495] ppid=26490 vsize=10916192 memory=1682152 CPUtime=2520.1 cores=1,3,5,7
/proc/26495/stat : 26495 (java) S 26490 26495 26438 0 -1 1077944320 534542 12921 0 0 251634 369 4 3 20 0 15 0 71081971 11178180608 420538 33554432000 4194304 4196468 140729481941712 140729481924256 140302985379575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
/proc/26495/statm: 2729048 420538 3528 1 0 2690701 0
[pid=26495/tid=26603] ppid=26490 vsize=10916192 memory=1682136 CPUtime=2419.68 cores=1,3,5,7
/proc/26495/task/26603/stat : 26603 (java) R 26490 26495 26438 0 -1 4202560 113091 12921 0 0 241901 60 4 3 20 0 15 0 71081980 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302957214976 140302573731380 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26605] ppid=26490 vsize=10916192 memory=281427867286912 CPUtime=17.68 cores=1,3,5,7
/proc/26495/task/26605/stat : 26605 (java) S 26490 26495 26438 0 -1 1077944384 19638 12921 0 0 1710 51 4 3 20 0 15 0 71081981 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302989621520 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26606] ppid=26490 vsize=10916192 memory=1682136 CPUtime=17.65 cores=1,3,5,7
/proc/26495/task/26606/stat : 26606 (java) S 26490 26495 26438 0 -1 1077944384 21699 12921 0 0 1712 46 4 3 20 0 15 0 71081981 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302893824400 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26607] ppid=26490 vsize=10916192 memory=1682096 CPUtime=17.68 cores=1,3,5,7
/proc/26495/task/26607/stat : 26607 (java) S 26490 26495 26438 0 -1 1077944384 20237 12921 0 0 1713 48 4 3 20 0 15 0 71081981 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302892771856 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26608] ppid=26490 vsize=10916192 memory=1682080 CPUtime=17.69 cores=1,3,5,7
/proc/26495/task/26608/stat : 26608 (java) S 26490 26495 26438 0 -1 1077944384 20681 12921 0 0 1713 49 4 3 20 0 15 0 71081981 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302556650128 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26613] ppid=26490 vsize=10916192 memory=1682044 CPUtime=4 cores=1,3,5,7
/proc/26495/task/26613/stat : 26613 (java) S 26490 26495 26438 0 -1 1077944384 18890 12921 0 0 364 29 4 3 20 0 15 0 71081983 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302257269232 140302985390722 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26615] ppid=26490 vsize=10916192 memory=281427868135328 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26615/stat : 26615 (java) S 26490 26495 26438 0 -1 1077944384 42 12921 0 0 0 0 4 3 20 0 15 0 71081983 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302256215520 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26616] ppid=26490 vsize=10916192 memory=1682080 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26616/stat : 26616 (java) S 26490 26495 26438 0 -1 1077944384 10 12921 0 0 0 0 4 3 20 0 15 0 71081983 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302153147904 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26619] ppid=26490 vsize=10916192 memory=1682136 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26619/stat : 26619 (java) S 26490 26495 26438 0 -1 1077944384 2 12921 0 0 0 0 4 3 20 0 15 0 71081986 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302018931408 140302985398171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26620] ppid=26490 vsize=10916192 memory=1682152 CPUtime=9.96 cores=1,3,5,7
/proc/26495/task/26620/stat : 26620 (java) S 26490 26495 26438 0 -1 1077944384 103211 12921 0 0 980 9 4 3 20 0 15 0 71081986 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302222657520 140302985390722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26621] ppid=26490 vsize=10916192 memory=1682152 CPUtime=10.71 cores=1,3,5,7
/proc/26495/task/26621/stat : 26621 (java) S 26490 26495 26438 0 -1 1077944384 101054 12921 0 0 1054 10 4 3 20 0 15 0 71081986 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302221604976 140302985390722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26622] ppid=26490 vsize=10916192 memory=1682152 CPUtime=4.06 cores=1,3,5,7
/proc/26495/task/26622/stat : 26622 (java) S 26490 26495 26438 0 -1 1077944384 110978 12921 0 0 389 10 4 3 20 0 15 0 71081986 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302119590128 140302985390722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26626] ppid=26490 vsize=10916192 memory=1682152 CPUtime=0.07 cores=1,3,5,7
/proc/26495/task/26626/stat : 26626 (java) S 26490 26495 26438 0 -1 1077944384 3 12921 0 0 0 0 4 3 20 0 15 0 71081986 11178180608 420538 33554432000 4194304 4196468 140729481941712 140301884713568 140302985389781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
[pid=26495/tid=26629] ppid=26490 vsize=10916192 memory=1682152 CPUtime=1.51 cores=1,3,5,7
/proc/26495/task/26629/stat : 26629 (java) S 26490 26495 26438 0 -1 1077944384 2818 12921 0 0 67 77 4 3 20 0 15 0 71081986 11178180608 420538 33554432000 4194304 4196468 140729481941712 140302118538032 140302985390722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34041856 140729481943211 140729481946460 140729481946460 140729481949135 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1682152 KiB
Child status: 143
Real time (s): 2442.93
CPU time (s): 2520.17
CPU user time (s): 2516.42
CPU system time (s): 3.75033
CPU usage (%): 103.162
Max. virtual memory (cumulated for all children) (KiB): 10918900
Max. memory (cumulated for all children) (KiB): 2891512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.42
system time used= 3.75033
maximum resident set size= 2897668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 548014
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 139488
involuntary context switches= 4419
# summary of solver processes directly reported to runsolver:
# pid: 26495
# total CPU time (s): 2520.17
# total CPU user time (s): 2516.42
# total CPU system time (s): 3.75033
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0672 second user time and 23.8068 second system time
The end