runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4243516-1500673289/watcher-4243516-1500673289 -o /tmp/evaluation-result-4243516-1500673289/solver-4243516-1500673289 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500669853-12911 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243516-1500673289.xml
pid=13871
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 8.30 6.21 4.15 3/262 13874
/proc/meminfo: memFree=31212344/32770624 swapFree=5780/27812
[pid=13874] ppid=13871 vsize=8350772 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/stat : 13874 (java) S 13871 13874 9811 0 -1 1077944320 2227 0 0 0 0 0 0 0 20 0 3 0 2594045 8551190528 2461 33554432000 4194304 4196468 140726604699088 140726604681632 140354746965751 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
/proc/13874/statm: 2087693 2461 1197 1 0 2076604 0
[pid=13874/tid=13875] ppid=13871 vsize=8351800 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13875/stat : 13875 (java) R 13871 13874 9811 0 -1 4202560 926 0 0 0 0 0 0 0 20 0 4 0 2594045 8552243200 2461 33554432000 4194304 4196468 140726604699088 140354751207120 140354739202878 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13876] ppid=13871 vsize=8352828 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13876/stat : 13876 (java) S 13871 13874 9811 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 5 0 2594046 8553295872 2461 33554432000 4194304 4196468 140726604699088 140354354076896 140354746975957 0 4 0 16784584 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13877] ppid=13871 vsize=8352828 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13877/stat : 13877 (java) S 13871 13874 9811 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 5 0 2594046 8553295872 2461 33554432000 4194304 4196468 140726604699088 140354353024096 140354746975957 0 4 0 16784584 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13878] ppid=13871 vsize=8353856 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13878/stat : 13878 (java) S 13871 13874 9811 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 6 0 2594046 8554348544 2461 33554432000 4194304 4196468 140726604699088 140354351971808 140354746975957 0 4 0 16784584 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13879] ppid=13871 vsize=8354884 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13879/stat : 13879 (java) S 13871 13874 9811 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 6 0 2594046 8555401216 2461 33554432000 4194304 4196468 140726604699088 140354350919008 140354746975957 0 4 0 16784584 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13880] ppid=13871 vsize=8354884 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13880/stat : 13880 (java) R 13871 13874 9811 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 7 0 2594046 8555401216 2461 33554432000 4194304 4196468 140726604699088 140354751207120 140354739705601 0 4 0 16784584 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[startup+0.1001 s]
/proc/loadavg: 8.30 6.21 4.15 3/262 13874
/proc/meminfo: memFree=31212344/32770624 swapFree=5780/27812
[pid=13874] ppid=13871 vsize=10900456 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/13874/stat : 13874 (java) S 13871 13874 9811 0 -1 1077944320 4759 0 0 0 8 1 0 0 20 0 20 0 2594045 11162066944 5872 33554432000 4194304 4196468 140726604699088 140726604681632 140354746965751 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
/proc/13874/statm: 2725114 5872 2636 1 0 2713552 0
[pid=13874/tid=13875] ppid=13871 vsize=10900456 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13875/stat : 13875 (java) R 13871 13874 9811 0 -1 4202560 2843 0 0 0 7 1 0 0 20 0 20 0 2594045 11162066944 5872 33554432000 4194304 4196468 140726604699088 140354751204944 140354731052173 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13876] ppid=13871 vsize=10900456 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13876/stat : 13876 (java) S 13871 13874 9811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2594046 11162066944 5872 33554432000 4194304 4196468 140726604699088 140354354076560 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13877] ppid=13871 vsize=10900456 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13877/stat : 13877 (java) S 13871 13874 9811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2594046 11162066944 5872 33554432000 4194304 4196468 140726604699088 140354353023760 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13878] ppid=13871 vsize=10900456 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13878/stat : 13878 (java) S 13871 13874 9811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2594046 11162066944 5872 33554432000 4194304 4196468 140726604699088 140354351971472 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13879] ppid=13871 vsize=10900456 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13879/stat : 13879 (java) S 13871 13874 9811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2594046 11162066944 5872 33554432000 4194304 4196468 140726604699088 140354350918672 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13880] ppid=13871 vsize=10900456 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13880/stat : 13880 (java) S 13871 13874 9811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2594046 11162066944 5872 33554432000 4194304 4196468 140726604699088 140354349865360 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900456
[startup+0.200624 s]
/proc/loadavg: 8.30 6.21 4.15 3/262 13874
/proc/meminfo: memFree=31212344/32770624 swapFree=5780/27812
[pid=13874] ppid=13871 vsize=10900556 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/13874/stat : 13874 (java) S 13871 13874 9811 0 -1 1077944320 7055 0 0 0 24 2 0 0 20 0 20 0 2594045 11162169344 8355 33554432000 4194304 4196468 140726604699088 140726604681632 140354746965751 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
/proc/13874/statm: 2725139 8355 2853 1 0 2713552 0
[pid=13874/tid=13875] ppid=13871 vsize=10900556 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13875/stat : 13875 (java) R 13871 13874 9811 0 -1 4202560 4678 0 0 0 17 1 0 0 20 0 20 0 2594045 11162169344 8355 33554432000 4194304 4196468 140726604699088 140354751177584 140354731046238 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13876] ppid=13871 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13876/stat : 13876 (java) S 13871 13874 9811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2594046 11162169344 8355 33554432000 4194304 4196468 140726604699088 140354354076560 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13877] ppid=13871 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13877/stat : 13877 (java) S 13871 13874 9811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2594046 11162169344 8355 33554432000 4194304 4196468 140726604699088 140354353023760 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13878] ppid=13871 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13878/stat : 13878 (java) S 13871 13874 9811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2594046 11162169344 8355 33554432000 4194304 4196468 140726604699088 140354351971472 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13879] ppid=13871 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13879/stat : 13879 (java) S 13871 13874 9811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2594046 11162169344 8355 33554432000 4194304 4196468 140726604699088 140354350918672 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13880] ppid=13871 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13880/stat : 13880 (java) S 13871 13874 9811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2594046 11162169344 8355 33554432000 4194304 4196468 140726604699088 140354349865360 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556
[startup+0.300508 s]
/proc/loadavg: 8.30 6.21 4.15 3/262 13874
/proc/meminfo: memFree=31212344/32770624 swapFree=5780/27812
[pid=13874] ppid=13871 vsize=10900556 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/13874/stat : 13874 (java) S 13871 13874 9811 0 -1 1077944320 8522 0 0 0 41 3 0 0 20 0 20 0 2594045 11162169344 10719 33554432000 4194304 4196468 140726604699088 140726604681632 140354746965751 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
/proc/13874/statm: 2725139 10719 2986 1 0 2713552 0
[pid=13874/tid=13875] ppid=13871 vsize=10900556 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13875/stat : 13875 (java) R 13871 13874 9811 0 -1 4202560 5454 0 0 0 26 2 0 0 20 0 20 0 2594045 11162169344 10719 33554432000 4194304 4196468 140726604699088 140354751199072 140354731046238 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13876] ppid=13871 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13876/stat : 13876 (java) S 13871 13874 9811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2594046 11162169344 10719 33554432000 4194304 4196468 140726604699088 140354354076560 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13877] ppid=13871 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13877/stat : 13877 (java) S 13871 13874 9811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2594046 11162169344 10719 33554432000 4194304 4196468 140726604699088 140354353023760 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13878] ppid=13871 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13878/stat : 13878 (java) S 13871 13874 9811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2594046 11162169344 10719 33554432000 4194304 4196468 140726604699088 140354351971472 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13879] ppid=13871 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13879/stat : 13879 (java) S 13871 13874 9811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2594046 11162169344 10719 33554432000 4194304 4196468 140726604699088 140354350918672 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13880] ppid=13871 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13880/stat : 13880 (java) S 13871 13874 9811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2594046 11162169344 10719 33554432000 4194304 4196468 140726604699088 140354349865360 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 10900556
[startup+0.704523 s]
/proc/loadavg: 8.30 6.21 4.15 3/262 13874
/proc/meminfo: memFree=31212344/32770624 swapFree=5780/27812
[pid=13874] ppid=13871 vsize=10900632 CPUtime=1.98 cores=0,2,4,6,8,10,12,14
/proc/13874/stat : 13874 (java) S 13871 13874 9811 0 -1 1077944320 13925 0 0 0 187 11 0 0 20 0 20 0 2594045 11162247168 48277 33554432000 4194304 4196468 140726604699088 140726604681632 140354746965751 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
/proc/13874/statm: 2725158 48277 3094 1 0 2713552 0
[pid=13874/tid=13875] ppid=13871 vsize=10900632 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13875/stat : 13875 (java) S 13871 13874 9811 0 -1 1077944384 5877 0 0 0 63 4 0 0 20 0 20 0 2594045 11162247168 48277 33554432000 4194304 4196468 140726604699088 140354751196880 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13876] ppid=13871 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13876/stat : 13876 (java) R 13871 13874 9811 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 2594046 11162247168 48277 33554432000 4194304 4196468 140726604699088 140354354076560 140354731987826 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13877] ppid=13871 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13877/stat : 13877 (java) R 13871 13874 9811 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 2594046 11162247168 48277 33554432000 4194304 4196468 140726604699088 140354353023760 140354731993625 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13878] ppid=13871 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13878/stat : 13878 (java) R 13871 13874 9811 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 2594046 11162247168 48277 33554432000 4194304 4196468 140726604699088 140354351971472 140354731993616 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13879] ppid=13871 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13879/stat : 13879 (java) R 13871 13874 9811 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 2594046 11162247168 48277 33554432000 4194304 4196468 140726604699088 140354350918672 140354731993625 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13880] ppid=13871 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13880/stat : 13880 (java) R 13871 13874 9811 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 2594046 11162247168 48277 33554432000 4194304 4196468 140726604699088 140354349865360 140354731993616 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 10900632
[startup+1.50943 s]
/proc/loadavg: 8.30 6.21 4.15 6/282 13894
/proc/meminfo: memFree=30909644/32770624 swapFree=5780/27888
[pid=13874] ppid=13871 vsize=10900632 CPUtime=5.97 cores=0,2,4,6,8,10,12,14
/proc/13874/stat : 13874 (java) S 13871 13874 9811 0 -1 1077944320 24711 0 0 0 506 91 0 0 20 0 20 0 2594045 11162247168 128212 33554432000 4194304 4196468 140726604699088 140726604681632 140354746965751 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
/proc/13874/statm: 2725158 128212 3125 1 0 2713552 0
[pid=13874/tid=13875] ppid=13871 vsize=10900632 CPUtime=1.22 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13875/stat : 13875 (java) S 13871 13874 9811 0 -1 1077944384 5945 0 0 0 117 5 0 0 20 0 20 0 2594045 11162247168 128212 33554432000 4194304 4196468 140726604699088 140354751180368 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13876] ppid=13871 vsize=10900632 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13876/stat : 13876 (java) R 13871 13874 9811 0 -1 4202560 125 0 0 0 9 8 0 0 20 0 20 0 2594046 11162247168 128212 33554432000 4194304 4196468 140726604699088 140354354076760 140354731993987 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13877] ppid=13871 vsize=10900632 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13877/stat : 13877 (java) R 13871 13874 9811 0 -1 4202560 128 0 0 0 10 8 0 0 20 0 20 0 2594046 11162247168 128212 33554432000 4194304 4196468 140726604699088 140354353023960 140354731993625 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13878] ppid=13871 vsize=10900632 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13878/stat : 13878 (java) R 13871 13874 9811 0 -1 4202560 124 0 0 0 12 12 0 0 20 0 20 0 2594046 11162247168 128212 33554432000 4194304 4196468 140726604699088 140354351971672 140354731993987 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13879] ppid=13871 vsize=10900632 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13879/stat : 13879 (java) R 13871 13874 9811 0 -1 4202560 108 0 0 0 11 11 0 0 20 0 20 0 2594046 11162247168 128212 33554432000 4194304 4196468 140726604699088 140354350918872 140354731987872 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13880] ppid=13871 vsize=10900632 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13880/stat : 13880 (java) R 13871 13874 9811 0 -1 4202560 124 0 0 0 9 10 0 0 20 0 20 0 2594046 11162247168 128212 33554432000 4194304 4196468 140726604699088 140354349865560 140354728591536 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13881] ppid=13871 vsize=10900632 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13881/stat : 13881 (java) R 13871 13874 9811 0 -1 4202560 151 0 0 0 9 10 0 0 20 0 20 0 2594046 11162247168 128212 33554432000 4194304 4196468 140726604699088 140354348812760 140354731987872 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13882] ppid=13871 vsize=10900632 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13882/stat : 13882 (java) R 13871 13874 9811 0 -1 4202560 123 0 0 0 11 10 0 0 20 0 20 0 2594046 11162247168 128212 33554432000 4194304 4196468 140726604699088 140354347760160 140354740062452 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13883] ppid=13871 vsize=10900632 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13883/stat : 13883 (java) R 13871 13874 9811 0 -1 4202560 151 0 0 0 15 8 0 0 20 0 20 0 2594046 11162247168 128212 33554432000 4194304 4196468 140726604699088 140354346707672 140354731993170 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13885] ppid=13871 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13885/stat : 13885 (java) S 13871 13874 9811 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 2594049 11162247168 128212 33554432000 4194304 4196468 140726604699088 140354088039584 140354746975957 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13886] ppid=13871 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13886/stat : 13886 (java) S 13871 13874 9811 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2594049 11162247168 128212 33554432000 4194304 4196468 140726604699088 140354086987040 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13887] ppid=13871 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13887/stat : 13887 (java) S 13871 13874 9811 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2594050 11162247168 128212 33554432000 4194304 4196468 140726604699088 140354085934704 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13888] ppid=13871 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13888/stat : 13888 (java) S 13871 13874 9811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2594053 11162247168 128212 33554432000 4194304 4196468 140726604699088 140354084883024 140354746984347 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13889] ppid=13871 vsize=10900632 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13889/stat : 13889 (java) S 13871 13874 9811 0 -1 1077944384 5801 0 0 0 90 0 0 0 20 0 20 0 2594053 11162247168 128212 33554432000 4194304 4196468 140726604699088 140354083829872 140354746976898 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13890] ppid=13871 vsize=10900632 CPUtime=1.08 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13890/stat : 13890 (java) R 13871 13874 9811 0 -1 4202560 4303 0 0 0 107 1 0 0 20 0 20 0 2594053 11162247168 128212 33554432000 4194304 4196468 140726604699088 140354082758640 140354731357857 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13891] ppid=13871 vsize=10900632 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13891/stat : 13891 (java) S 13871 13874 9811 0 -1 1077944384 3972 0 0 0 76 1 0 0 20 0 20 0 2594053 11162247168 128212 33554432000 4194304 4196468 140726604699088 140354081724784 140354746976898 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13892] ppid=13871 vsize=10900632 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13892/stat : 13892 (java) S 13871 13874 9811 0 -1 1077944384 2206 0 0 0 25 0 0 0 20 0 20 0 2594053 11162247168 128212 33554432000 4194304 4196468 140726604699088 140354080671984 140354746976898 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13893] ppid=13871 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13893/stat : 13893 (java) S 13871 13874 9811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2594054 11162247168 128212 33554432000 4194304 4196468 140726604699088 140354079619936 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13894] ppid=13871 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13894/stat : 13894 (java) S 13871 13874 9811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2594054 11162247168 128212 33554432000 4194304 4196468 140726604699088 140354078567216 140354746976898 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 10900632
[startup+3.1009 s]
/proc/loadavg: 8.30 6.21 4.15 3/282 13894
/proc/meminfo: memFree=30584884/32770624 swapFree=5780/27900
[pid=13874] ppid=13871 vsize=10900632 CPUtime=13.11 cores=0,2,4,6,8,10,12,14
/proc/13874/stat : 13874 (java) S 13871 13874 9811 0 -1 1077944320 28450 0 0 0 1115 196 0 0 20 0 20 0 2594045 11162247168 200888 33554432000 4194304 4196468 140726604699088 140726604681632 140354746965751 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
/proc/13874/statm: 2725158 200888 3140 1 0 2713552 0
[pid=13874/tid=13875] ppid=13871 vsize=10900632 CPUtime=1.68 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13875/stat : 13875 (java) R 13871 13874 9811 0 -1 4202560 5979 0 0 0 163 5 0 0 20 0 20 0 2594045 11162247168 200888 33554432000 4194304 4196468 140726604699088 140354751186240 140354383333400 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13876] ppid=13871 vsize=10900632 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13876/stat : 13876 (java) S 13871 13874 9811 0 -1 1077944384 390 0 0 0 73 22 0 0 20 0 20 0 2594046 11162247168 200888 33554432000 4194304 4196468 140726604699088 140354354076560 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13877] ppid=13871 vsize=10900632 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13877/stat : 13877 (java) S 13871 13874 9811 0 -1 1077944384 384 0 0 0 70 19 0 0 20 0 20 0 2594046 11162247168 200888 33554432000 4194304 4196468 140726604699088 140354353023760 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13878] ppid=13871 vsize=10900632 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13878/stat : 13878 (java) S 13871 13874 9811 0 -1 1077944384 399 0 0 0 77 25 0 0 20 0 20 0 2594046 11162247168 200888 33554432000 4194304 4196468 140726604699088 140354351971472 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13879] ppid=13871 vsize=10900632 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13879/stat : 13879 (java) S 13871 13874 9811 0 -1 1077944384 414 0 0 0 76 26 0 0 20 0 20 0 2594046 11162247168 200888 33554432000 4194304 4196468 140726604699088 140354350918672 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13880] ppid=13871 vsize=10900632 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13880/stat : 13880 (java) S 13871 13874 9811 0 -1 1077944384 305 0 0 0 76 23 0 0 20 0 20 0 2594046 11162247168 200888 33554432000 4194304 4196468 140726604699088 140354349865360 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13881] ppid=13871 vsize=10900632 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13881/stat : 13881 (java) S 13871 13874 9811 0 -1 1077944384 402 0 0 0 73 25 0 0 20 0 20 0 2594046 11162247168 200888 33554432000 4194304 4196468 140726604699088 140354348812560 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13882] ppid=13871 vsize=10900632 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13882/stat : 13882 (java) S 13871 13874 9811 0 -1 1077944384 360 0 0 0 72 22 0 0 20 0 20 0 2594046 11162247168 200888 33554432000 4194304 4196468 140726604699088 140354347760272 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13883] ppid=13871 vsize=10900632 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13883/stat : 13883 (java) S 13871 13874 9811 0 -1 1077944384 893 0 0 0 79 19 0 0 20 0 20 0 2594046 11162247168 200888 33554432000 4194304 4196468 140726604699088 140354346707472 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13885] ppid=13871 vsize=10900632 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13885/stat : 13885 (java) S 13871 13874 9811 0 -1 1077944384 525 0 0 0 32 0 0 0 20 0 20 0 2594049 11162247168 200888 33554432000 4194304 4196468 140726604699088 140354088041072 140354746976898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13886] ppid=13871 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13886/stat : 13886 (java) S 13871 13874 9811 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2594049 11162247168 200888 33554432000 4194304 4196468 140726604699088 140354086987040 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
################
# More data... #
################
[pid=13874/tid=13890] ppid=13871 vsize=10900632 CPUtime=1.35 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13890/stat : 13890 (java) S 13871 13874 9811 0 -1 1077944384 5489 0 0 0 133 2 0 0 20 0 20 0 2594053 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354082777120 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13891] ppid=13871 vsize=10900632 CPUtime=1.14 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13891/stat : 13891 (java) S 13871 13874 9811 0 -1 1077944384 5990 0 0 0 113 1 0 0 20 0 20 0 2594053 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354081724544 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13892] ppid=13871 vsize=10900632 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13892/stat : 13892 (java) S 13871 13874 9811 0 -1 1077944384 2629 0 0 0 26 0 0 0 20 0 20 0 2594053 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354080672032 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13893] ppid=13871 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13893/stat : 13893 (java) S 13871 13874 9811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2594054 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354079619936 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13894] ppid=13871 vsize=10900632 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13894/stat : 13894 (java) S 13871 13874 9811 0 -1 1077944384 1441 0 0 0 8 4 0 0 20 0 20 0 2594054 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354078567216 140354746976898 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
Current children cumulated CPU time (s) 2400.59
Current children cumulated vsize (KiB) 10900632
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -13874
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 13874 sig 9
??? end of watcher thread
Solver just ended.
Dumping a history of the last processes samples
[startup+347.201 s]
/proc/loadavg: 8.69 7.22 5.15 10/282 13899
/proc/meminfo: memFree=21606164/32770624 swapFree=5780/28288
[pid=13874] ppid=13871 vsize=10900632 CPUtime=2406.96 cores=0,2,4,6,8,10,12,14
/proc/13874/stat : 13874 (java) S 13871 13874 9811 0 -1 1077944320 239344 0 0 0 238085 2611 0 0 20 0 20 0 2594045 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140726604681632 140354746965751 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
/proc/13874/statm: 2725158 2073446 3142 1 0 2713552 0
[pid=13874/tid=13875] ppid=13871 vsize=10900632 CPUtime=17.34 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13875/stat : 13875 (java) S 13871 13874 9811 0 -1 1077944384 13278 0 0 0 1725 9 0 0 20 0 20 0 2594045 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354751181536 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13876] ppid=13871 vsize=10900632 CPUtime=294.44 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13876/stat : 13876 (java) R 13871 13874 9811 0 -1 4202560 22690 0 0 0 29145 299 0 0 20 0 20 0 2594046 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354354076760 140354731664609 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13877] ppid=13871 vsize=10900632 CPUtime=293.7 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13877/stat : 13877 (java) R 13871 13874 9811 0 -1 4202560 11800 0 0 0 29034 336 0 0 20 0 20 0 2594046 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354353023960 140354731423136 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13878] ppid=13871 vsize=10900632 CPUtime=296.91 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13878/stat : 13878 (java) R 13871 13874 9811 0 -1 4202560 24200 0 0 0 29382 309 0 0 20 0 20 0 2594046 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354351971672 140354731962103 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13879] ppid=13871 vsize=10900632 CPUtime=294.56 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13879/stat : 13879 (java) R 13871 13874 9811 0 -1 4202560 13070 0 0 0 29108 348 0 0 20 0 20 0 2594046 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354350918872 140354731962320 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13880] ppid=13871 vsize=10900632 CPUtime=294.64 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13880/stat : 13880 (java) R 13871 13874 9811 0 -1 4202560 15484 0 0 0 29138 326 0 0 20 0 20 0 2594046 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354349865560 140354731962260 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13881] ppid=13871 vsize=10900632 CPUtime=294.45 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13881/stat : 13881 (java) R 13871 13874 9811 0 -1 4202560 14890 0 0 0 29113 332 0 0 20 0 20 0 2594046 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354348812760 140354731664448 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13882] ppid=13871 vsize=10900632 CPUtime=294.64 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13882/stat : 13882 (java) R 13871 13874 9811 0 -1 4202560 22927 0 0 0 29158 306 0 0 20 0 20 0 2594046 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354347760160 140354731962148 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13883] ppid=13871 vsize=10900632 CPUtime=294.91 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13883/stat : 13883 (java) R 13871 13874 9811 0 -1 4202560 18251 0 0 0 29161 330 0 0 20 0 20 0 2594046 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354346707672 140354731962413 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13885] ppid=13871 vsize=10900632 CPUtime=27.39 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13885/stat : 13885 (java) S 13871 13874 9811 0 -1 1077944384 59200 0 0 0 2736 3 0 0 20 0 20 0 2594049 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354088039616 140354746975957 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13886] ppid=13871 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13886/stat : 13886 (java) S 13871 13874 9811 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2594049 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354086987040 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13887] ppid=13871 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13887/stat : 13887 (java) S 13871 13874 9811 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2594050 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354085934704 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13888] ppid=13871 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13888/stat : 13888 (java) S 13871 13874 9811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2594053 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354084882672 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13889] ppid=13871 vsize=10900632 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13889/stat : 13889 (java) S 13871 13874 9811 0 -1 1077944384 6635 0 0 0 96 0 0 0 20 0 20 0 2594053 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354083829920 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13890] ppid=13871 vsize=10900632 CPUtime=1.35 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13890/stat : 13890 (java) S 13871 13874 9811 0 -1 1077944384 5489 0 0 0 133 2 0 0 20 0 20 0 2594053 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354082777120 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13891] ppid=13871 vsize=10900632 CPUtime=1.14 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13891/stat : 13891 (java) S 13871 13874 9811 0 -1 1077944384 5990 0 0 0 113 1 0 0 20 0 20 0 2594053 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354081724544 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13892] ppid=13871 vsize=10900632 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13892/stat : 13892 (java) S 13871 13874 9811 0 -1 1077944384 2629 0 0 0 26 0 0 0 20 0 20 0 2594053 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354080672032 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13893] ppid=13871 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13893/stat : 13893 (java) S 13871 13874 9811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2594054 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354079619936 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13894] ppid=13871 vsize=10900632 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13894/stat : 13894 (java) S 13871 13874 9811 0 -1 1077944384 1441 0 0 0 8 4 0 0 20 0 20 0 2594054 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354078567216 140354746976898 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
Current children cumulated CPU time (s) 2406.96
Current children cumulated vsize (KiB) 10900632
[startup+348.001 s]
/proc/loadavg: 8.69 7.22 5.15 10/282 13899
/proc/meminfo: memFree=21606164/32770624 swapFree=5780/28288
[pid=13874] ppid=13871 vsize=10900632 CPUtime=2413.18 cores=0,2,4,6,8,10,12,14
/proc/13874/stat : 13874 (java) S 13871 13874 9811 0 -1 1077944320 239350 0 0 0 238706 2612 0 0 20 0 20 0 2594045 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140726604681632 140354746965751 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
/proc/13874/statm: 2725158 2073446 3142 1 0 2713552 0
[pid=13874/tid=13875] ppid=13871 vsize=10900632 CPUtime=17.34 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13875/stat : 13875 (java) S 13871 13874 9811 0 -1 1077944384 13278 0 0 0 1725 9 0 0 20 0 20 0 2594045 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354751181536 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13876] ppid=13871 vsize=10900632 CPUtime=295.2 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13876/stat : 13876 (java) R 13871 13874 9811 0 -1 4202560 22694 0 0 0 29220 300 0 0 20 0 20 0 2594046 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354354076680 140354739593959 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13877] ppid=13871 vsize=10900632 CPUtime=294.49 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13877/stat : 13877 (java) R 13871 13874 9811 0 -1 4202560 11800 0 0 0 29113 336 0 0 20 0 20 0 2594046 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354353023880 140354739593959 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13878] ppid=13871 vsize=10900632 CPUtime=297.7 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13878/stat : 13878 (java) R 13871 13874 9811 0 -1 4202560 24200 0 0 0 29461 309 0 0 20 0 20 0 2594046 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354351971592 140354739593959 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13879] ppid=13871 vsize=10900632 CPUtime=295.36 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13879/stat : 13879 (java) R 13871 13874 9811 0 -1 4202560 13070 0 0 0 29188 348 0 0 20 0 20 0 2594046 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354350918872 140354731423373 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13880] ppid=13871 vsize=10900632 CPUtime=295.39 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13880/stat : 13880 (java) R 13871 13874 9811 0 -1 4202560 15486 0 0 0 29213 326 0 0 20 0 20 0 2594046 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354349865480 140354739593959 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13881] ppid=13871 vsize=10900632 CPUtime=295.21 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13881/stat : 13881 (java) R 13871 13874 9811 0 -1 4202560 14890 0 0 0 29189 332 0 0 20 0 20 0 2594046 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354348812680 140354739593959 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13882] ppid=13871 vsize=10900632 CPUtime=295.43 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13882/stat : 13882 (java) R 13871 13874 9811 0 -1 4202560 22927 0 0 0 29237 306 0 0 20 0 20 0 2594046 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354347760392 140354732724568 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13883] ppid=13871 vsize=10900632 CPUtime=295.7 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13883/stat : 13883 (java) R 13871 13874 9811 0 -1 4202560 18251 0 0 0 29239 331 0 0 20 0 20 0 2594046 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354346707592 140354739593959 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13885] ppid=13871 vsize=10900632 CPUtime=27.39 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13885/stat : 13885 (java) S 13871 13874 9811 0 -1 1077944384 59200 0 0 0 2736 3 0 0 20 0 20 0 2594049 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354088039616 140354746975957 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13886] ppid=13871 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13886/stat : 13886 (java) S 13871 13874 9811 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2594049 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354086987040 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13887] ppid=13871 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13887/stat : 13887 (java) S 13871 13874 9811 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2594050 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354085934704 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13888] ppid=13871 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13888/stat : 13888 (java) S 13871 13874 9811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2594053 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354084882672 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13889] ppid=13871 vsize=10900632 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13889/stat : 13889 (java) S 13871 13874 9811 0 -1 1077944384 6635 0 0 0 96 0 0 0 20 0 20 0 2594053 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354083829920 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13890] ppid=13871 vsize=10900632 CPUtime=1.35 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13890/stat : 13890 (java) S 13871 13874 9811 0 -1 1077944384 5489 0 0 0 133 2 0 0 20 0 20 0 2594053 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354082777120 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13891] ppid=13871 vsize=10900632 CPUtime=1.14 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13891/stat : 13891 (java) S 13871 13874 9811 0 -1 1077944384 5990 0 0 0 113 1 0 0 20 0 20 0 2594053 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354081724544 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13892] ppid=13871 vsize=10900632 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13892/stat : 13892 (java) S 13871 13874 9811 0 -1 1077944384 2629 0 0 0 26 0 0 0 20 0 20 0 2594053 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354080672032 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13893] ppid=13871 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13893/stat : 13893 (java) S 13871 13874 9811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2594054 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354079619936 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13894] ppid=13871 vsize=10900632 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13894/stat : 13894 (java) S 13871 13874 9811 0 -1 1077944384 1441 0 0 0 8 4 0 0 20 0 20 0 2594054 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354078567216 140354746976898 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
Current children cumulated CPU time (s) 2413.18
Current children cumulated vsize (KiB) 10900632
[startup+348.401 s]
/proc/loadavg: 8.69 7.22 5.15 10/282 13899
/proc/meminfo: memFree=21606164/32770624 swapFree=5780/28288
[pid=13874] ppid=13871 vsize=10900632 CPUtime=2416.3 cores=0,2,4,6,8,10,12,14
/proc/13874/stat : 13874 (java) S 13871 13874 9811 0 -1 1077944320 239350 0 0 0 239016 2614 0 0 20 0 20 0 2594045 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140726604681632 140354746965751 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
/proc/13874/statm: 2725158 2073446 3142 1 0 2713552 0
[pid=13874/tid=13875] ppid=13871 vsize=10900632 CPUtime=17.34 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13875/stat : 13875 (java) S 13871 13874 9811 0 -1 1077944384 13278 0 0 0 1725 9 0 0 20 0 20 0 2594045 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354751181536 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13876] ppid=13871 vsize=10900632 CPUtime=295.59 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13876/stat : 13876 (java) R 13871 13874 9811 0 -1 4202560 22694 0 0 0 29259 300 0 0 20 0 20 0 2594046 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354354076680 140354739593959 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13877] ppid=13871 vsize=10900632 CPUtime=294.88 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13877/stat : 13877 (java) R 13871 13874 9811 0 -1 4202560 11800 0 0 0 29152 336 0 0 20 0 20 0 2594046 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354353023880 140354739593959 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13878] ppid=13871 vsize=10900632 CPUtime=298.09 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13878/stat : 13878 (java) R 13871 13874 9811 0 -1 4202560 24200 0 0 0 29500 309 0 0 20 0 20 0 2594046 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354351971592 140354730348786 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13879] ppid=13871 vsize=10900632 CPUtime=295.76 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13879/stat : 13879 (java) R 13871 13874 9811 0 -1 4202560 13070 0 0 0 29228 348 0 0 20 0 20 0 2594046 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354350918872 140354731962155 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13880] ppid=13871 vsize=10900632 CPUtime=295.78 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13880/stat : 13880 (java) R 13871 13874 9811 0 -1 4202560 15486 0 0 0 29251 327 0 0 20 0 20 0 2594046 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354349865480 140354739593959 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13881] ppid=13871 vsize=10900632 CPUtime=295.6 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13881/stat : 13881 (java) R 13871 13874 9811 0 -1 4202560 14890 0 0 0 29228 332 0 0 20 0 20 0 2594046 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354348812680 140354739593959 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13882] ppid=13871 vsize=10900632 CPUtime=295.82 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13882/stat : 13882 (java) R 13871 13874 9811 0 -1 4202560 22927 0 0 0 29276 306 0 0 20 0 20 0 2594046 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354347760392 140354739593959 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13883] ppid=13871 vsize=10900632 CPUtime=296.08 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13883/stat : 13883 (java) R 13871 13874 9811 0 -1 4202560 18251 0 0 0 29277 331 0 0 20 0 20 0 2594046 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354346707592 140354739593959 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13885] ppid=13871 vsize=10900632 CPUtime=27.39 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13885/stat : 13885 (java) S 13871 13874 9811 0 -1 1077944384 59200 0 0 0 2736 3 0 0 20 0 20 0 2594049 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354088039616 140354746975957 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13886] ppid=13871 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13886/stat : 13886 (java) S 13871 13874 9811 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2594049 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354086987040 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13887] ppid=13871 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13887/stat : 13887 (java) S 13871 13874 9811 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2594050 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354085934704 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13888] ppid=13871 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13888/stat : 13888 (java) S 13871 13874 9811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2594053 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354084882672 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13889] ppid=13871 vsize=10900632 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13889/stat : 13889 (java) S 13871 13874 9811 0 -1 1077944384 6635 0 0 0 96 0 0 0 20 0 20 0 2594053 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354083829920 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13890] ppid=13871 vsize=10900632 CPUtime=1.35 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13890/stat : 13890 (java) S 13871 13874 9811 0 -1 1077944384 5489 0 0 0 133 2 0 0 20 0 20 0 2594053 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354082777120 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13891] ppid=13871 vsize=10900632 CPUtime=1.14 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13891/stat : 13891 (java) S 13871 13874 9811 0 -1 1077944384 5990 0 0 0 113 1 0 0 20 0 20 0 2594053 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354081724544 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13892] ppid=13871 vsize=10900632 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13892/stat : 13892 (java) S 13871 13874 9811 0 -1 1077944384 2629 0 0 0 26 0 0 0 20 0 20 0 2594053 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354080672032 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13893] ppid=13871 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13893/stat : 13893 (java) S 13871 13874 9811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2594054 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354079619936 140354746975957 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
[pid=13874/tid=13894] ppid=13871 vsize=10900632 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/13874/task/13894/stat : 13894 (java) S 13871 13874 9811 0 -1 1077944384 1441 0 0 0 8 4 0 0 20 0 20 0 2594054 11162247168 2073446 33554432000 4194304 4196468 140726604699088 140354078567216 140354746976898 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7180288 140726604706987 140726604707140 140726604707140 140726604709839 0
Current children cumulated CPU time (s) 2416.3
Current children cumulated vsize (KiB) 10900632
Child ended because it received signal 9 (SIGKILL)
Real time (s): 348.452
CPU time (s): 2416.37
CPU user time (s): 2390.18
CPU system time (s): 26.1895
CPU usage (%): 693.458
Max. virtual memory (cumulated for all children) (KiB): 10902772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2390.18
system time used= 26.1895
maximum resident set size= 8294052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239354
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55641
involuntary context switches= 232799
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.06418 second user time and 3.36579 second system time
The end