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 (8054 MiB free)
memory of node 1: 16384 MiB (9495 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304753-1534146197/watcher-4304753-1534146197 -o /tmp/evaluation-result-4304753-1534146197/solver-4304753-1534146197 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534138766-20508 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=44670453 HOME/instance-4304753-1534146197.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
Linux 3.10.0-514.16.1.el
solver pid=21933, runsolver pid=21930
Current StackSize limit: 8192 KiB
[startup+0.110227 s]*
/proc/loadavg: 1.67 1.48 1.42 3/206 21990
/proc/meminfo: memFree=17960800/32770624 swapFree=67108196/67108860
[pid=21933] ppid=21930 vsize=10453864 memory=22488 CPUtime=0.1 cores=1,3,5,7
/proc/21933/stat : 21933 (java) S 21930 21933 19646 0 -1 1077944320 4781 13257 0 0 2 1 5 2 20 0 9 0 232182891 10704756736 5622 33554432000 4194304 4196468 140737090043152 140737090025696 140109355847415 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
/proc/21933/statm: 2613466 5622 2076 1 0 2576007 0
[pid=21933/tid=21986] ppid=21930 vsize=10453864 memory=5855084838433490077 CPUtime=0.08 cores=1,3,5,7
/proc/21933/task/21986/stat : 21986 (java) R 21930 21933 19646 0 -1 4202560 2596 13257 0 0 1 0 5 2 20 0 9 0 232182900 10704756736 5669 33554432000 4194304 4196468 140737090043152 140109327683440 140109341529907 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21987] ppid=21930 vsize=10453864 memory=5793854947681855929 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21987/stat : 21987 (java) S 21930 21933 19646 0 -1 1077944384 1 13257 0 0 0 0 5 2 20 0 9 0 232182901 10704756736 5669 33554432000 4194304 4196468 140737090043152 140109360089616 140109355857621 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21988] ppid=21930 vsize=10453864 memory=139696671962752 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21988/stat : 21988 (java) S 21930 21933 19646 0 -1 1077944384 1 13257 0 0 0 0 5 2 20 0 9 0 232182901 10704756736 5669 33554432000 4194304 4196468 140737090043152 140109225425552 140109355857621 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21989] ppid=21930 vsize=10453864 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21989/stat : 21989 (java) S 21930 21933 19646 0 -1 1077944384 1 13257 0 0 0 0 5 2 20 0 9 0 232182901 10704756736 5669 33554432000 4194304 4196468 140737090043152 140109224372496 140109355857621 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21990] ppid=21930 vsize=10453864 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21990/stat : 21990 (java) S 21930 21933 19646 0 -1 1077944384 2 13257 0 0 0 0 5 2 20 0 9 0 232182901 10704756736 5669 33554432000 4194304 4196468 140737090043152 140109223319952 140109355857621 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21991] ppid=21930 vsize=10453864 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21991/stat : 21991 (java) S 21930 21933 19646 0 -1 1077944384 2 13257 0 0 0 0 5 2 20 0 9 0 232182902 10704756736 5669 33554432000 4194304 4196468 140737090043152 140108780829424 140109355858562 0 0 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21992] ppid=21930 vsize=10453864 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21992/stat : 21992 (java) S 21930 21933 19646 0 -1 1077944384 13 13257 0 0 0 0 5 2 20 0 9 0 232182903 10704756736 5669 33554432000 4194304 4196468 140737090043152 140108208531104 140109355857621 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21993] ppid=21930 vsize=10453864 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21993/stat : 21993 (java) S 21930 21933 19646 0 -1 1077944384 1 13257 0 0 0 0 5 2 20 0 9 0 232182903 10704756736 5669 33554432000 4194304 4196468 140737090043152 140108007204144 140109355857621 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10453864 KiB
Current children cumulated memory: 22488 KiB
[startup+0.210192 s]*
/proc/loadavg: 1.67 1.48 1.42 3/215 21999
/proc/meminfo: memFree=17940572/32770624 swapFree=67108196/67108860
[pid=21933] ppid=21930 vsize=10982744 memory=45448 CPUtime=0.25 cores=1,3,5,7
/proc/21933/stat : 21933 (java) S 21930 21933 19646 0 -1 1077944320 8101 13257 0 0 16 2 5 2 20 0 15 0 232182891 11246329856 11362 33554432000 4194304 4196468 140737090043152 140737090025696 140109355847415 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
/proc/21933/statm: 2745686 11362 2956 1 0 2708109 0
[pid=21933/tid=21986] ppid=21930 vsize=10983736 memory=-8540663193526752614 CPUtime=0.19 cores=1,3,5,7
/proc/21933/task/21986/stat : 21986 (java) R 21930 21933 19646 0 -1 4202560 4667 13257 0 0 11 1 5 2 20 0 15 0 232182900 11247345664 11428 33554432000 4194304 4196468 140737090043152 140109327672224 140109348527133 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21987] ppid=21930 vsize=10983736 memory=4211973422876753290 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21987/stat : 21987 (java) S 21930 21933 19646 0 -1 1077944384 1 13257 0 0 0 0 5 2 20 0 15 0 232182901 11247345664 11428 33554432000 4194304 4196468 140737090043152 140109360089616 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21988] ppid=21930 vsize=10983736 memory=139696671962752 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21988/stat : 21988 (java) S 21930 21933 19646 0 -1 1077944384 1 13257 0 0 0 0 5 2 20 0 15 0 232182901 11247345664 11428 33554432000 4194304 4196468 140737090043152 140109225425552 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21989] ppid=21930 vsize=10983736 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21989/stat : 21989 (java) S 21930 21933 19646 0 -1 1077944384 1 13257 0 0 0 0 5 2 20 0 15 0 232182901 11247345664 11428 33554432000 4194304 4196468 140737090043152 140109224372496 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21990] ppid=21930 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21990/stat : 21990 (java) S 21930 21933 19646 0 -1 1077944384 2 13257 0 0 0 0 5 2 20 0 15 0 232182901 11247345664 11428 33554432000 4194304 4196468 140737090043152 140109223319952 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21991] ppid=21930 vsize=10983736 memory=139696671962752 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21991/stat : 21991 (java) S 21930 21933 19646 0 -1 1077944384 2 13257 0 0 0 0 5 2 20 0 15 0 232182902 11247345664 11428 33554432000 4194304 4196468 140737090043152 140108780829424 140109355858562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21992] ppid=21930 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21992/stat : 21992 (java) S 21930 21933 19646 0 -1 1077944384 13 13257 0 0 0 0 5 2 20 0 15 0 232182903 11247345664 11494 33554432000 4194304 4196468 140737090043152 140108208531104 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21993] ppid=21930 vsize=10983736 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21993/stat : 21993 (java) S 21930 21933 19646 0 -1 1077944384 1 13257 0 0 0 0 5 2 20 0 15 0 232182903 11247345664 11494 33554432000 4194304 4196468 140737090043152 140108007204080 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21994] ppid=21930 vsize=10983736 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21994/stat : 21994 (java) S 21930 21933 19646 0 -1 1077944384 3 13257 0 0 0 0 5 2 20 0 15 0 232182906 11247345664 11494 33554432000 4194304 4196468 140737090043152 140107699804624 140109355866011 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21995] ppid=21930 vsize=10983736 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21933/task/21995/stat : 21995 (java) S 21930 21933 19646 0 -1 1077944384 424 13257 0 0 1 0 5 2 20 0 15 0 232182906 11247345664 11494 33554432000 4194304 4196468 140737090043152 140108779776240 140109355858562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21996] ppid=21930 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21996/stat : 21996 (java) S 21930 21933 19646 0 -1 1077944384 182 13257 0 0 0 0 5 2 20 0 15 0 232182906 11247345664 11560 33554432000 4194304 4196468 140737090043152 140108778723696 140109355858562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21997] ppid=21930 vsize=10983736 memory=139696671962752 CPUtime=0.1 cores=1,3,5,7
/proc/21933/task/21997/stat : 21997 (java) S 21930 21933 19646 0 -1 1077944384 624 13257 0 0 3 0 5 2 20 0 15 0 232182906 11247345664 11560 33554432000 4194304 4196468 140737090043152 140108777670640 140109355858562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21998] ppid=21930 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21998/stat : 21998 (java) S 21930 21933 19646 0 -1 1077944384 3 13257 0 0 0 0 5 2 20 0 15 0 232182906 11247345664 11560 33554432000 4194304 4196468 140737090043152 140107269007712 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21999] ppid=21930 vsize=10983736 memory=139696671962752 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21999/stat : 21999 (java) S 21930 21933 19646 0 -1 1077944384 1 13257 0 0 0 0 5 2 20 0 15 0 232182906 11247345664 11560 33554432000 4194304 4196468 140737090043152 140108776619056 140109355858562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45448 KiB
[startup+0.310294 s]*
/proc/loadavg: 1.67 1.48 1.42 3/215 21999
/proc/meminfo: memFree=17929284/32770624 swapFree=67108196/67108860
[pid=21933] ppid=21930 vsize=10983192 memory=56132 CPUtime=0.38 cores=1,3,5,7
/proc/21933/stat : 21933 (java) S 21930 21933 19646 0 -1 1077944320 10596 13257 0 0 28 3 5 2 20 0 15 0 232182891 11246788608 14033 33554432000 4194304 4196468 140737090043152 140737090025696 140109355847415 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
/proc/21933/statm: 2745798 14033 3075 1 0 2708109 0
[pid=21933/tid=21986] ppid=21930 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/21933/task/21986/stat : 21986 (java) R 21930 21933 19646 0 -1 4202560 7145 13257 0 0 19 2 5 2 20 0 15 0 232182900 11246788608 14033 33554432000 4194304 4196468 140737090043152 140109327659424 140109339927902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21987] ppid=21930 vsize=10983192 memory=-7003737579269690708 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21987/stat : 21987 (java) S 21930 21933 19646 0 -1 1077944384 1 13257 0 0 0 0 5 2 20 0 15 0 232182901 11246788608 14033 33554432000 4194304 4196468 140737090043152 140109360089616 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21988] ppid=21930 vsize=10983192 memory=139696671973345 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21988/stat : 21988 (java) S 21930 21933 19646 0 -1 1077944384 1 13257 0 0 0 0 5 2 20 0 15 0 232182901 11246788608 14033 33554432000 4194304 4196468 140737090043152 140109225425552 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21989] ppid=21930 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21989/stat : 21989 (java) S 21930 21933 19646 0 -1 1077944384 1 13257 0 0 0 0 5 2 20 0 15 0 232182901 11246788608 14033 33554432000 4194304 4196468 140737090043152 140109224372496 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21990] ppid=21930 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21990/stat : 21990 (java) S 21930 21933 19646 0 -1 1077944384 2 13257 0 0 0 0 5 2 20 0 15 0 232182901 11246788608 14033 33554432000 4194304 4196468 140737090043152 140109223319952 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21991] ppid=21930 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21991/stat : 21991 (java) S 21930 21933 19646 0 -1 1077944384 2 13257 0 0 0 0 5 2 20 0 15 0 232182902 11246788608 14033 33554432000 4194304 4196468 140737090043152 140108780829424 140109355858562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21992] ppid=21930 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21992/stat : 21992 (java) S 21930 21933 19646 0 -1 1077944384 13 13257 0 0 0 0 5 2 20 0 15 0 232182903 11246788608 14033 33554432000 4194304 4196468 140737090043152 140108208531104 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21993] ppid=21930 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21993/stat : 21993 (java) S 21930 21933 19646 0 -1 1077944384 1 13257 0 0 0 0 5 2 20 0 15 0 232182903 11246788608 14033 33554432000 4194304 4196468 140737090043152 140108007204080 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21994] ppid=21930 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21994/stat : 21994 (java) S 21930 21933 19646 0 -1 1077944384 3 13257 0 0 0 0 5 2 20 0 15 0 232182906 11246788608 14033 33554432000 4194304 4196468 140737090043152 140107699804624 140109355866011 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21995] ppid=21930 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21933/task/21995/stat : 21995 (java) S 21930 21933 19646 0 -1 1077944384 424 13257 0 0 1 0 5 2 20 0 15 0 232182906 11246788608 14033 33554432000 4194304 4196468 140737090043152 140108779776240 140109355858562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21996] ppid=21930 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/21933/task/21996/stat : 21996 (java) S 21930 21933 19646 0 -1 1077944384 183 13257 0 0 1 0 5 2 20 0 15 0 232182906 11246788608 14033 33554432000 4194304 4196468 140737090043152 140108778723696 140109355858562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21997] ppid=21930 vsize=10983192 memory=139696671962752 CPUtime=0.11 cores=1,3,5,7
/proc/21933/task/21997/stat : 21997 (java) S 21930 21933 19646 0 -1 1077944384 630 13257 0 0 4 0 5 2 20 0 15 0 232182906 11246788608 14033 33554432000 4194304 4196468 140737090043152 140108777670640 140109355858562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21998] ppid=21930 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21998/stat : 21998 (java) S 21930 21933 19646 0 -1 1077944384 3 13257 0 0 0 0 5 2 20 0 15 0 232182906 11246788608 14033 33554432000 4194304 4196468 140737090043152 140107269007712 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21999] ppid=21930 vsize=10983192 memory=139696671962752 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21999/stat : 21999 (java) S 21930 21933 19646 0 -1 1077944384 1 13257 0 0 0 0 5 2 20 0 15 0 232182906 11246788608 14033 33554432000 4194304 4196468 140737090043152 140108776619056 140109355858562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56132 KiB
[startup+0.700775 s]
/proc/loadavg: 1.70 1.49 1.42 3/215 21999
/proc/meminfo: memFree=17918112/32770624 swapFree=67108196/67108860
[pid=21933] ppid=21930 vsize=10983192 memory=88568 CPUtime=0.98 cores=1,3,5,7
/proc/21933/stat : 21933 (java) S 21930 21933 19646 0 -1 1077944320 16759 13257 0 0 87 4 5 2 20 0 15 0 232182891 11246788608 22142 33554432000 4194304 4196468 140737090043152 140737090025696 140109355847415 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
/proc/21933/statm: 2745798 22142 3238 1 0 2708109 0
[pid=21933/tid=21986] ppid=21930 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/21933/task/21986/stat : 21986 (java) R 21930 21933 19646 0 -1 4202560 12237 13257 0 0 56 3 5 2 20 0 15 0 232182900 11246788608 22142 33554432000 4194304 4196468 140737090043152 140109327668240 140109337410944 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21987] ppid=21930 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21987/stat : 21987 (java) S 21930 21933 19646 0 -1 1077944384 1 13257 0 0 0 0 5 2 20 0 15 0 232182901 11246788608 22142 33554432000 4194304 4196468 140737090043152 140109360089616 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21988] ppid=21930 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21988/stat : 21988 (java) S 21930 21933 19646 0 -1 1077944384 1 13257 0 0 0 0 5 2 20 0 15 0 232182901 11246788608 22142 33554432000 4194304 4196468 140737090043152 140109225425552 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21989] ppid=21930 vsize=10983192 memory=4637164475387183459 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21989/stat : 21989 (java) S 21930 21933 19646 0 -1 1077944384 1 13257 0 0 0 0 5 2 20 0 15 0 232182901 11246788608 22142 33554432000 4194304 4196468 140737090043152 140109224372496 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21990] ppid=21930 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21990/stat : 21990 (java) S 21930 21933 19646 0 -1 1077944384 2 13257 0 0 0 0 5 2 20 0 15 0 232182901 11246788608 22142 33554432000 4194304 4196468 140737090043152 140109223319952 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21991] ppid=21930 vsize=10983192 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21991/stat : 21991 (java) S 21930 21933 19646 0 -1 1077944384 5 13257 0 0 0 0 5 2 20 0 15 0 232182902 11246788608 22142 33554432000 4194304 4196468 140737090043152 140108780829424 140109355858562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21992] ppid=21930 vsize=10983192 memory=4028 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21992/stat : 21992 (java) S 21930 21933 19646 0 -1 1077944384 13 13257 0 0 0 0 5 2 20 0 15 0 232182903 11246788608 22142 33554432000 4194304 4196468 140737090043152 140108208531104 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21993] ppid=21930 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21993/stat : 21993 (java) S 21930 21933 19646 0 -1 1077944384 1 13257 0 0 0 0 5 2 20 0 15 0 232182903 11246788608 22142 33554432000 4194304 4196468 140737090043152 140108007204080 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21994] ppid=21930 vsize=10983192 memory=3688649601075911728 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21994/stat : 21994 (java) S 21930 21933 19646 0 -1 1077944384 3 13257 0 0 0 0 5 2 20 0 15 0 232182906 11246788608 22142 33554432000 4194304 4196468 140737090043152 140107699804624 140109355866011 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21995] ppid=21930 vsize=10983192 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/21933/task/21995/stat : 21995 (java) S 21930 21933 19646 0 -1 1077944384 1001 13257 0 0 9 0 5 2 20 0 15 0 232182906 11246788608 22142 33554432000 4194304 4196468 140737090043152 140108779776240 140109355858562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21996] ppid=21930 vsize=10983192 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/21933/task/21996/stat : 21996 (java) S 21930 21933 19646 0 -1 1077944384 590 13257 0 0 7 0 5 2 20 0 15 0 232182906 11246788608 22142 33554432000 4194304 4196468 140737090043152 140108778723696 140109355858562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21997] ppid=21930 vsize=10983192 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/21933/task/21997/stat : 21997 (java) S 21930 21933 19646 0 -1 1077944384 706 13257 0 0 13 0 5 2 20 0 15 0 232182906 11246788608 22142 33554432000 4194304 4196468 140737090043152 140108777670640 140109355858562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21998] ppid=21930 vsize=10983192 memory=7809523229951467568 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21998/stat : 21998 (java) S 21930 21933 19646 0 -1 1077944384 3 13257 0 0 0 0 5 2 20 0 15 0 232182906 11246788608 22142 33554432000 4194304 4196468 140737090043152 140107269007712 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21999] ppid=21930 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21999/stat : 21999 (java) S 21930 21933 19646 0 -1 1077944384 1 13257 0 0 0 0 5 2 20 0 15 0 232182906 11246788608 22142 33554432000 4194304 4196468 140737090043152 140108776619056 140109355858562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88568 KiB
[startup+1.50127 s]
/proc/loadavg: 1.70 1.49 1.42 3/215 21999
/proc/meminfo: memFree=17871628/32770624 swapFree=67108196/67108860
[pid=21933] ppid=21930 vsize=10991948 memory=241004 CPUtime=3.16 cores=1,3,5,7
/proc/21933/stat : 21933 (java) S 21930 21933 19646 0 -1 1077944320 23206 13257 0 0 300 9 5 2 20 0 15 0 232182891 11255754752 60251 33554432000 4194304 4196468 140737090043152 140737090025696 140109355847415 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
/proc/21933/statm: 2747987 60251 3477 1 0 2709645 0
[pid=21933/tid=21986] ppid=21930 vsize=10991948 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/21933/task/21986/stat : 21986 (java) R 21930 21933 19646 0 -1 4202560 15118 13257 0 0 130 6 5 2 20 0 15 0 232182900 11255754752 60251 33554432000 4194304 4196468 140737090043152 140109327680400 140108900729662 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21987] ppid=21930 vsize=10991948 memory=56 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21987/stat : 21987 (java) S 21930 21933 19646 0 -1 1077944384 82 13257 0 0 0 0 5 2 20 0 15 0 232182901 11255754752 60251 33554432000 4194304 4196468 140737090043152 140109360089616 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21988] ppid=21930 vsize=10991948 memory=14775 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21988/stat : 21988 (java) S 21930 21933 19646 0 -1 1077944384 4 13257 0 0 0 0 5 2 20 0 15 0 232182901 11255754752 60251 33554432000 4194304 4196468 140737090043152 140109225425552 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21989] ppid=21930 vsize=10991948 memory=4350 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21989/stat : 21989 (java) S 21930 21933 19646 0 -1 1077944384 5 13257 0 0 0 0 5 2 20 0 15 0 232182901 11255754752 60251 33554432000 4194304 4196468 140737090043152 140109224372496 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21990] ppid=21930 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21933/task/21990/stat : 21990 (java) S 21930 21933 19646 0 -1 1077944384 215 13257 0 0 1 0 5 2 20 0 15 0 232182901 11255754752 60251 33554432000 4194304 4196468 140737090043152 140109223319952 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21991] ppid=21930 vsize=10991948 memory=-3253322038155611931 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21991/stat : 21991 (java) S 21930 21933 19646 0 -1 1077944384 95 13257 0 0 0 0 5 2 20 0 15 0 232182902 11255754752 60251 33554432000 4194304 4196468 140737090043152 140108780829424 140109355858562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21992] ppid=21930 vsize=10991948 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21992/stat : 21992 (java) S 21930 21933 19646 0 -1 1077944384 13 13257 0 0 0 0 5 2 20 0 15 0 232182903 11255754752 60251 33554432000 4194304 4196468 140737090043152 140108208531104 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21993] ppid=21930 vsize=10991948 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21993/stat : 21993 (java) S 21930 21933 19646 0 -1 1077944384 1 13257 0 0 0 0 5 2 20 0 15 0 232182903 11255754752 60251 33554432000 4194304 4196468 140737090043152 140108007204080 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21994] ppid=21930 vsize=10991948 memory=103212 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21994/stat : 21994 (java) S 21930 21933 19646 0 -1 1077944384 3 13257 0 0 0 0 5 2 20 0 15 0 232182906 11255754752 60251 33554432000 4194304 4196468 140737090043152 140107699804624 140109355866011 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21995] ppid=21930 vsize=10991948 memory=0 CPUtime=0.7 cores=1,3,5,7
/proc/21933/task/21995/stat : 21995 (java) R 21930 21933 19646 0 -1 4202560 1860 13257 0 0 63 0 5 2 20 0 15 0 232182906 11255754752 60251 33554432000 4194304 4196468 140737090043152 140108779762264 140109340769168 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21996] ppid=21930 vsize=10991948 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/21933/task/21996/stat : 21996 (java) R 21930 21933 19646 0 -1 4202560 2173 13257 0 0 58 0 5 2 20 0 15 0 232182906 11255754752 60251 33554432000 4194304 4196468 140737090043152 140108778711328 140109340776911 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21997] ppid=21930 vsize=10991948 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/21933/task/21997/stat : 21997 (java) S 21930 21933 19646 0 -1 1077944384 1439 13257 0 0 43 0 5 2 20 0 15 0 232182906 11255754752 60251 33554432000 4194304 4196468 140737090043152 140108777670640 140109355858562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
################
# More data... #
################
/proc/21933/task/21986/stat : 21986 (java) R 21930 21933 19646 0 -1 4202560 205497 13257 0 0 237233 88 5 2 20 0 15 0 232182900 11280941056 801897 33554432000 4194304 4196468 140737090043152 140109327681504 140108919927425 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21987] ppid=21930 vsize=11016544 memory=3207588 CPUtime=7.24 cores=1,3,5,7
/proc/21933/task/21987/stat : 21987 (java) S 21930 21933 19646 0 -1 1077944384 22630 13257 0 0 682 35 5 2 20 0 15 0 232182901 11280941056 801897 33554432000 4194304 4196468 140737090043152 140109360089616 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21988] ppid=21930 vsize=11016544 memory=3207588 CPUtime=7.24 cores=1,3,5,7
/proc/21933/task/21988/stat : 21988 (java) S 21930 21933 19646 0 -1 1077944384 19414 13257 0 0 684 33 5 2 20 0 15 0 232182901 11280941056 801897 33554432000 4194304 4196468 140737090043152 140109225425552 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21989] ppid=21930 vsize=11016544 memory=0 CPUtime=7.22 cores=1,3,5,7
/proc/21933/task/21989/stat : 21989 (java) S 21930 21933 19646 0 -1 1077944384 29595 13257 0 0 681 34 5 2 20 0 15 0 232182901 11280941056 801897 33554432000 4194304 4196468 140737090043152 140109224372496 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21990] ppid=21930 vsize=11016544 memory=3207588 CPUtime=7.22 cores=1,3,5,7
/proc/21933/task/21990/stat : 21990 (java) S 21930 21933 19646 0 -1 1077944384 21086 13257 0 0 682 33 5 2 20 0 15 0 232182901 11280941056 801897 33554432000 4194304 4196468 140737090043152 140109223319952 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21991] ppid=21930 vsize=11016544 memory=3207588 CPUtime=1.28 cores=1,3,5,7
/proc/21933/task/21991/stat : 21991 (java) S 21930 21933 19646 0 -1 1077944384 32476 13257 0 0 103 18 5 2 20 0 15 0 232182902 11280941056 801897 33554432000 4194304 4196468 140737090043152 140108780829424 140109355858562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21992] ppid=21930 vsize=11016544 memory=4028 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21992/stat : 21992 (java) S 21930 21933 19646 0 -1 1077944384 19 13257 0 0 0 0 5 2 20 0 15 0 232182903 11280941056 801897 33554432000 4194304 4196468 140737090043152 140108208531168 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21993] ppid=21930 vsize=11016544 memory=63016 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21993/stat : 21993 (java) S 21930 21933 19646 0 -1 1077944384 3 13257 0 0 0 0 5 2 20 0 15 0 232182903 11280941056 801897 33554432000 4194304 4196468 140737090043152 140108007204096 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21994] ppid=21930 vsize=11016544 memory=3207588 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21994/stat : 21994 (java) S 21930 21933 19646 0 -1 1077944384 3 13257 0 0 0 0 5 2 20 0 15 0 232182906 11280941056 801897 33554432000 4194304 4196468 140737090043152 140107699804624 140109355866011 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21995] ppid=21930 vsize=11016544 memory=3207588 CPUtime=17.69 cores=1,3,5,7
/proc/21933/task/21995/stat : 21995 (java) S 21930 21933 19646 0 -1 1077944384 64038 13257 0 0 1753 9 5 2 20 0 15 0 232182906 11280941056 801897 33554432000 4194304 4196468 140737090043152 140108779776240 140109355858562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21996] ppid=21930 vsize=11016544 memory=3207588 CPUtime=17.24 cores=1,3,5,7
/proc/21933/task/21996/stat : 21996 (java) S 21930 21933 19646 0 -1 1077944384 62526 13257 0 0 1708 9 5 2 20 0 15 0 232182906 11280941056 801897 33554432000 4194304 4196468 140737090043152 140108778723696 140109355858562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21997] ppid=21930 vsize=11016544 memory=3207588 CPUtime=4.88 cores=1,3,5,7
/proc/21933/task/21997/stat : 21997 (java) S 21930 21933 19646 0 -1 1077944384 51188 13257 0 0 473 8 5 2 20 0 15 0 232182906 11280941056 801897 33554432000 4194304 4196468 140737090043152 140108777670640 140109355858562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21998] ppid=21930 vsize=11016544 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21998/stat : 21998 (java) S 21930 21933 19646 0 -1 1077944384 3 13257 0 0 0 0 5 2 20 0 15 0 232182906 11280941056 801897 33554432000 4194304 4196468 140737090043152 140107269007712 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21999] ppid=21930 vsize=11016544 memory=17816 CPUtime=1.45 cores=1,3,5,7
/proc/21933/task/21999/stat : 21999 (java) S 21930 21933 19646 0 -1 1077944384 1649 13257 0 0 60 78 5 2 20 0 15 0 232182906 11280941056 801897 33554432000 4194304 4196468 140737090043152 140108776619056 140109355858562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
Current children cumulated CPU time: 2444.24 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3207588 KiB
[startup+2442.3 s]
/proc/loadavg: 1.70 1.66 1.55 3/216 22228
/proc/meminfo: memFree=14514560/32770624 swapFree=67108196/67108860
[pid=21933] ppid=21930 vsize=11016544 memory=3207612 CPUtime=2504.39 cores=1,3,5,7
/proc/21933/stat : 21933 (java) S 21930 21933 19646 0 -1 1077944320 515052 13257 0 0 250097 335 5 2 20 0 15 0 232182891 11280941056 801903 33554432000 4194304 4196468 140737090043152 140737090025696 140109355847415 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
/proc/21933/statm: 2754136 801903 3539 1 0 2715789 0
[pid=21933/tid=21986] ppid=21930 vsize=11016544 memory=3207612 CPUtime=2433.24 cores=1,3,5,7
/proc/21933/task/21986/stat : 21986 (java) R 21930 21933 19646 0 -1 4202560 207292 13257 0 0 243228 89 5 2 20 0 15 0 232182900 11280941056 801903 33554432000 4194304 4196468 140737090043152 140109327681792 140108919628388 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21987] ppid=21930 vsize=11016544 memory=3207588 CPUtime=7.29 cores=1,3,5,7
/proc/21933/task/21987/stat : 21987 (java) S 21930 21933 19646 0 -1 1077944384 22733 13257 0 0 686 36 5 2 20 0 15 0 232182901 11280941056 801903 33554432000 4194304 4196468 140737090043152 140109360089616 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21988] ppid=21930 vsize=11016544 memory=3207596 CPUtime=7.28 cores=1,3,5,7
/proc/21933/task/21988/stat : 21988 (java) S 21930 21933 19646 0 -1 1077944384 19499 13257 0 0 688 33 5 2 20 0 15 0 232182901 11280941056 801903 33554432000 4194304 4196468 140737090043152 140109225425552 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21989] ppid=21930 vsize=11016544 memory=3207604 CPUtime=7.27 cores=1,3,5,7
/proc/21933/task/21989/stat : 21989 (java) S 21930 21933 19646 0 -1 1077944384 29761 13257 0 0 685 35 5 2 20 0 15 0 232182901 11280941056 801903 33554432000 4194304 4196468 140737090043152 140109224372496 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21990] ppid=21930 vsize=11016544 memory=3207612 CPUtime=7.25 cores=1,3,5,7
/proc/21933/task/21990/stat : 21990 (java) S 21930 21933 19646 0 -1 1077944384 21191 13257 0 0 685 33 5 2 20 0 15 0 232182901 11280941056 801903 33554432000 4194304 4196468 140737090043152 140109223319952 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21991] ppid=21930 vsize=11016544 memory=3207612 CPUtime=1.3 cores=1,3,5,7
/proc/21933/task/21991/stat : 21991 (java) S 21930 21933 19646 0 -1 1077944384 32673 13257 0 0 104 19 5 2 20 0 15 0 232182902 11280941056 801903 33554432000 4194304 4196468 140737090043152 140108780829424 140109355858562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21992] ppid=21930 vsize=11016544 memory=3207612 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21992/stat : 21992 (java) S 21930 21933 19646 0 -1 1077944384 19 13257 0 0 0 0 5 2 20 0 15 0 232182903 11280941056 801903 33554432000 4194304 4196468 140737090043152 140108208531168 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21993] ppid=21930 vsize=11016544 memory=3207612 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21993/stat : 21993 (java) S 21930 21933 19646 0 -1 1077944384 3 13257 0 0 0 0 5 2 20 0 15 0 232182903 11280941056 801903 33554432000 4194304 4196468 140737090043152 140108007204096 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21994] ppid=21930 vsize=11016544 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21994/stat : 21994 (java) S 21930 21933 19646 0 -1 1077944384 3 13257 0 0 0 0 5 2 20 0 15 0 232182906 11280941056 801903 33554432000 4194304 4196468 140737090043152 140107699804624 140109355866011 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21995] ppid=21930 vsize=11016544 memory=3207612 CPUtime=17.69 cores=1,3,5,7
/proc/21933/task/21995/stat : 21995 (java) S 21930 21933 19646 0 -1 1077944384 64041 13257 0 0 1753 9 5 2 20 0 15 0 232182906 11280941056 801903 33554432000 4194304 4196468 140737090043152 140108779776240 140109355858562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21996] ppid=21930 vsize=11016544 memory=3207612 CPUtime=17.24 cores=1,3,5,7
/proc/21933/task/21996/stat : 21996 (java) S 21930 21933 19646 0 -1 1077944384 62528 13257 0 0 1708 9 5 2 20 0 15 0 232182906 11280941056 801903 33554432000 4194304 4196468 140737090043152 140108778723696 140109355858562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21997] ppid=21930 vsize=11016544 memory=976 CPUtime=4.88 cores=1,3,5,7
/proc/21933/task/21997/stat : 21997 (java) S 21930 21933 19646 0 -1 1077944384 51443 13257 0 0 473 8 5 2 20 0 15 0 232182906 11280941056 801903 33554432000 4194304 4196468 140737090043152 140108777670640 140109355858562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21998] ppid=21930 vsize=11016544 memory=3207612 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21998/stat : 21998 (java) S 21930 21933 19646 0 -1 1077944384 3 13257 0 0 0 0 5 2 20 0 15 0 232182906 11280941056 801903 33554432000 4194304 4196468 140737090043152 140107269007712 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21999] ppid=21930 vsize=11016544 memory=288230574492221466 CPUtime=1.49 cores=1,3,5,7
/proc/21933/task/21999/stat : 21999 (java) S 21930 21933 19646 0 -1 1077944384 1669 13257 0 0 62 80 5 2 20 0 15 0 232182906 11280941056 801903 33554432000 4194304 4196468 140737090043152 140108776619056 140109355858562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
Current children cumulated CPU time: 2504.39 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3207612 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2457.9 s]
/proc/loadavg: 1.94 1.71 1.57 6/216 22356
/proc/meminfo: memFree=14216260/32770624 swapFree=67108196/67108860
[pid=21933] ppid=21930 vsize=11016544 memory=3207612 CPUtime=2520.04 cores=1,3,5,7
/proc/21933/stat : 21933 (java) S 21930 21933 19646 0 -1 1077944320 515651 13257 0 0 251661 336 5 2 20 0 15 0 232182891 11280941056 801903 33554432000 4194304 4196468 140737090043152 140737090025696 140109355847415 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
/proc/21933/statm: 2754136 801903 3539 1 0 2715789 0
[pid=21933/tid=21986] ppid=21930 vsize=11016544 memory=3207612 CPUtime=2448.81 cores=1,3,5,7
/proc/21933/task/21986/stat : 21986 (java) R 21930 21933 19646 0 -1 4202560 207812 13257 0 0 244785 89 5 2 20 0 15 0 232182900 11280941056 801903 33554432000 4194304 4196468 140737090043152 140109327682704 140108919628388 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21987] ppid=21930 vsize=11016544 memory=3207612 CPUtime=7.3 cores=1,3,5,7
/proc/21933/task/21987/stat : 21987 (java) S 21930 21933 19646 0 -1 1077944384 22742 13257 0 0 687 36 5 2 20 0 15 0 232182901 11280941056 801903 33554432000 4194304 4196468 140737090043152 140109360089616 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21988] ppid=21930 vsize=11016544 memory=3207612 CPUtime=7.3 cores=1,3,5,7
/proc/21933/task/21988/stat : 21988 (java) S 21930 21933 19646 0 -1 1077944384 19511 13257 0 0 690 33 5 2 20 0 15 0 232182901 11280941056 801903 33554432000 4194304 4196468 140737090043152 140109225425552 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21989] ppid=21930 vsize=11016544 memory=0 CPUtime=7.28 cores=1,3,5,7
/proc/21933/task/21989/stat : 21989 (java) S 21930 21933 19646 0 -1 1077944384 29780 13257 0 0 686 35 5 2 20 0 15 0 232182901 11280941056 801903 33554432000 4194304 4196468 140737090043152 140109224372496 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21990] ppid=21930 vsize=11016544 memory=3207328 CPUtime=7.27 cores=1,3,5,7
/proc/21933/task/21990/stat : 21990 (java) S 21930 21933 19646 0 -1 1077944384 21225 13257 0 0 687 33 5 2 20 0 15 0 232182901 11280941056 801903 33554432000 4194304 4196468 140737090043152 140109223319952 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21991] ppid=21930 vsize=11016544 memory=3207612 CPUtime=1.3 cores=1,3,5,7
/proc/21933/task/21991/stat : 21991 (java) S 21930 21933 19646 0 -1 1077944384 32678 13257 0 0 104 19 5 2 20 0 15 0 232182902 11280941056 801903 33554432000 4194304 4196468 140737090043152 140108780829424 140109355858562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21992] ppid=21930 vsize=11016544 memory=3207612 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21992/stat : 21992 (java) S 21930 21933 19646 0 -1 1077944384 19 13257 0 0 0 0 5 2 20 0 15 0 232182903 11280941056 801903 33554432000 4194304 4196468 140737090043152 140108208531168 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21993] ppid=21930 vsize=11016544 memory=3207612 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21993/stat : 21993 (java) S 21930 21933 19646 0 -1 1077944384 3 13257 0 0 0 0 5 2 20 0 15 0 232182903 11280941056 801903 33554432000 4194304 4196468 140737090043152 140108007204096 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21994] ppid=21930 vsize=11016544 memory=1240 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21994/stat : 21994 (java) S 21930 21933 19646 0 -1 1077944384 3 13257 0 0 0 0 5 2 20 0 15 0 232182906 11280941056 801903 33554432000 4194304 4196468 140737090043152 140107699804624 140109355866011 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21995] ppid=21930 vsize=11016544 memory=2196 CPUtime=17.69 cores=1,3,5,7
/proc/21933/task/21995/stat : 21995 (java) S 21930 21933 19646 0 -1 1077944384 64041 13257 0 0 1753 9 5 2 20 0 15 0 232182906 11280941056 801903 33554432000 4194304 4196468 140737090043152 140108779776240 140109355858562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21996] ppid=21930 vsize=11016544 memory=1789457860097 CPUtime=17.24 cores=1,3,5,7
/proc/21933/task/21996/stat : 21996 (java) S 21930 21933 19646 0 -1 1077944384 62528 13257 0 0 1708 9 5 2 20 0 15 0 232182906 11280941056 801903 33554432000 4194304 4196468 140737090043152 140108778723696 140109355858562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21997] ppid=21930 vsize=11016544 memory=1892537075201 CPUtime=4.88 cores=1,3,5,7
/proc/21933/task/21997/stat : 21997 (java) S 21930 21933 19646 0 -1 1077944384 51443 13257 0 0 473 8 5 2 20 0 15 0 232182906 11280941056 801903 33554432000 4194304 4196468 140737090043152 140108777670640 140109355858562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21998] ppid=21930 vsize=11016544 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21998/stat : 21998 (java) S 21930 21933 19646 0 -1 1077944384 3 13257 0 0 0 0 5 2 20 0 15 0 232182906 11280941056 801903 33554432000 4194304 4196468 140737090043152 140107269007712 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21999] ppid=21930 vsize=11016544 memory=6628 CPUtime=1.5 cores=1,3,5,7
/proc/21933/task/21999/stat : 21999 (java) S 21930 21933 19646 0 -1 1077944384 1669 13257 0 0 62 81 5 2 20 0 15 0 232182906 11280941056 801903 33554432000 4194304 4196468 140737090043152 140108776619056 140109355858562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3207612 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2457.94 s]
# the end of solver process 21933 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.7 s, system=3.41292 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2457.9 s]
/proc/loadavg: 1.94 1.71 1.57 6/216 22356
/proc/meminfo: memFree=14216260/32770624 swapFree=67108196/67108860
[pid=21933] ppid=21930 vsize=11016544 memory=3207612 CPUtime=2520.04 cores=1,3,5,7
/proc/21933/stat : 21933 (java) S 21930 21933 19646 0 -1 1077944320 515651 13257 0 0 251661 336 5 2 20 0 15 0 232182891 11280941056 801903 33554432000 4194304 4196468 140737090043152 140737090025696 140109355847415 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
/proc/21933/statm: 2754136 801903 3539 1 0 2715789 0
[pid=21933/tid=21986] ppid=21930 vsize=11016544 memory=3207612 CPUtime=2448.81 cores=1,3,5,7
/proc/21933/task/21986/stat : 21986 (java) R 21930 21933 19646 0 -1 4202560 207812 13257 0 0 244785 89 5 2 20 0 15 0 232182900 11280941056 801903 33554432000 4194304 4196468 140737090043152 140109327682704 140108919628388 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21987] ppid=21930 vsize=11016544 memory=3207612 CPUtime=7.3 cores=1,3,5,7
/proc/21933/task/21987/stat : 21987 (java) S 21930 21933 19646 0 -1 1077944384 22742 13257 0 0 687 36 5 2 20 0 15 0 232182901 11280941056 801903 33554432000 4194304 4196468 140737090043152 140109360089616 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21988] ppid=21930 vsize=11016544 memory=3207612 CPUtime=7.3 cores=1,3,5,7
/proc/21933/task/21988/stat : 21988 (java) S 21930 21933 19646 0 -1 1077944384 19511 13257 0 0 690 33 5 2 20 0 15 0 232182901 11280941056 801903 33554432000 4194304 4196468 140737090043152 140109225425552 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21989] ppid=21930 vsize=11016544 memory=0 CPUtime=7.28 cores=1,3,5,7
/proc/21933/task/21989/stat : 21989 (java) S 21930 21933 19646 0 -1 1077944384 29780 13257 0 0 686 35 5 2 20 0 15 0 232182901 11280941056 801903 33554432000 4194304 4196468 140737090043152 140109224372496 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21990] ppid=21930 vsize=11016544 memory=3207328 CPUtime=7.27 cores=1,3,5,7
/proc/21933/task/21990/stat : 21990 (java) S 21930 21933 19646 0 -1 1077944384 21225 13257 0 0 687 33 5 2 20 0 15 0 232182901 11280941056 801903 33554432000 4194304 4196468 140737090043152 140109223319952 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21991] ppid=21930 vsize=11016544 memory=3207612 CPUtime=1.3 cores=1,3,5,7
/proc/21933/task/21991/stat : 21991 (java) S 21930 21933 19646 0 -1 1077944384 32678 13257 0 0 104 19 5 2 20 0 15 0 232182902 11280941056 801903 33554432000 4194304 4196468 140737090043152 140108780829424 140109355858562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21992] ppid=21930 vsize=11016544 memory=3207612 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21992/stat : 21992 (java) S 21930 21933 19646 0 -1 1077944384 19 13257 0 0 0 0 5 2 20 0 15 0 232182903 11280941056 801903 33554432000 4194304 4196468 140737090043152 140108208531168 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21993] ppid=21930 vsize=11016544 memory=3207612 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21993/stat : 21993 (java) S 21930 21933 19646 0 -1 1077944384 3 13257 0 0 0 0 5 2 20 0 15 0 232182903 11280941056 801903 33554432000 4194304 4196468 140737090043152 140108007204096 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21994] ppid=21930 vsize=11016544 memory=1240 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21994/stat : 21994 (java) S 21930 21933 19646 0 -1 1077944384 3 13257 0 0 0 0 5 2 20 0 15 0 232182906 11280941056 801903 33554432000 4194304 4196468 140737090043152 140107699804624 140109355866011 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21995] ppid=21930 vsize=11016544 memory=2196 CPUtime=17.69 cores=1,3,5,7
/proc/21933/task/21995/stat : 21995 (java) S 21930 21933 19646 0 -1 1077944384 64041 13257 0 0 1753 9 5 2 20 0 15 0 232182906 11280941056 801903 33554432000 4194304 4196468 140737090043152 140108779776240 140109355858562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21996] ppid=21930 vsize=11016544 memory=1789457860097 CPUtime=17.24 cores=1,3,5,7
/proc/21933/task/21996/stat : 21996 (java) S 21930 21933 19646 0 -1 1077944384 62528 13257 0 0 1708 9 5 2 20 0 15 0 232182906 11280941056 801903 33554432000 4194304 4196468 140737090043152 140108778723696 140109355858562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21997] ppid=21930 vsize=11016544 memory=1892537075201 CPUtime=4.88 cores=1,3,5,7
/proc/21933/task/21997/stat : 21997 (java) S 21930 21933 19646 0 -1 1077944384 51443 13257 0 0 473 8 5 2 20 0 15 0 232182906 11280941056 801903 33554432000 4194304 4196468 140737090043152 140108777670640 140109355858562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21998] ppid=21930 vsize=11016544 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/21933/task/21998/stat : 21998 (java) S 21930 21933 19646 0 -1 1077944384 3 13257 0 0 0 0 5 2 20 0 15 0 232182906 11280941056 801903 33554432000 4194304 4196468 140737090043152 140107269007712 140109355857621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
[pid=21933/tid=21999] ppid=21930 vsize=11016544 memory=6628 CPUtime=1.5 cores=1,3,5,7
/proc/21933/task/21999/stat : 21999 (java) S 21930 21933 19646 0 -1 1077944384 1669 13257 0 0 62 81 5 2 20 0 15 0 232182906 11280941056 801903 33554432000 4194304 4196468 140737090043152 140108776619056 140109355858562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15626240 140737090046574 140737090049372 140737090049372 140737090052047 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3207612 KiB
Child status: 143
Real time (s): 2457.94
CPU time (s): 2520.11
CPU user time (s): 2516.7
CPU system time (s): 3.41292
CPU usage (%): 102.529
Max. virtual memory (cumulated for all children) (KiB): 11016544
Max. memory (cumulated for all children) (KiB): 3208080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.7
system time used= 3.41292
maximum resident set size= 3211820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 530419
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 88515
involuntary context switches= 3176
# summary of solver processes directly reported to runsolver:
# pid: 21933
# total CPU time (s): 2520.11
# total CPU user time (s): 2516.7
# total CPU system time (s): 3.41292
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7663 second user time and 22.3685 second system time
The end