0.67/0.52
0.67/0.52 scop both+minisat_release (2018-06-13)
0.67/0.52
0.67/0.55 c BEGIN-Prog: Mon Jul 23 13:27:21 CEST 2018
0.67/0.55 c PID: 12174
0.67/0.55 c IP: 172.20.3.102
0.67/0.55 c HOST: node102.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.44/0.92 c (0,0) Parsing End
1.44/0.93 c (0,0) CSP: 98 int (0 aux), 0 bool (0 aux), 79 ctr, max domain size 78
1.44/0.93 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.44/0.93 c (0,0) Constraint Name Generate Begin
1.44/0.93 c (0,0) Ctr:HOME/instance-4293429-1532345240.xml,AllDifferent:Dist:Eq:IntVar
1.44/0.93 c (0,0) Constraint Name Generate End
1.44/0.93 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.44/0.93 c (0,0) CSP to CSPinCNF Begin
1.60/1.05 c (0,0) translated 8 (10%) constraints
1.60/1.07 c (0,0) translated 16 (20%) constraints
1.60/1.09 c (0,0) translated 24 (30%) constraints
1.84/1.11 c (0,0) translated 32 (40%) constraints
1.84/1.12 c (0,0) translated 40 (50%) constraints
1.84/1.13 c (0,0) translated 48 (60%) constraints
1.84/1.14 c (0,0) translated 56 (70%) constraints
1.84/1.16 c (0,0) translated 64 (80%) constraints
1.84/1.17 c (0,0) translated 72 (90%) constraints
2.07/1.24 c (0,0) translated 79 (100%) constraints
2.98/1.54 c (1,1) STATISTICS1:HOME/instance-4293429-1532345240.xml,AllDifferent:Dist:Eq:IntVar,98,3371,6006,78,77,3,6006:308;78:210;77:2926,78:1078;77:6314,77:2;21:2;2:3213;1:154,3:308;2:3136;1:196,
2.98/1.54 c (1,1) ===========================================
2.98/1.54 c (1,1) Both Encoding selects:
2.98/1.54 c (1,1) Order
2.98/1.54 c (1,1) ===========================================
2.98/1.58 c (1,1) translated 338 (10%) constraints
3.30/1.61 c (1,1) translated 675 (20%) constraints
3.30/1.63 c (1,1) translated 1012 (30%) constraints
3.30/1.66 c (1,1) translated 1349 (40%) constraints
3.30/1.68 c (1,1) translated 1686 (50%) constraints
3.60/1.71 c (1,1) translated 2023 (60%) constraints
3.60/1.73 c (1,1) translated 2360 (70%) constraints
3.60/1.75 c (1,1) translated 2697 (80%) constraints
3.60/1.77 c (1,1) translated 3034 (90%) constraints
3.60/1.79 c (1,1) translated 3371 (100%) constraints
3.91/1.80 c (1,1) CSP to CSPinCNF End
3.91/1.80 c (1,1) CSP: 98 int (0 aux), 0 bool (0 aux), 3371 ctr, max domain size 78
3.91/1.80 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.91/1.80 c (1,1) CSPinCNF Propagation Begin
3.91/1.85 c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
3.91/1.85 c (1,1) CSPinCNF Propagation End
3.91/1.85 c (1,1) CSP: 98 int (0 aux), 0 bool (0 aux), 3371 ctr, max domain size 78
3.91/1.85 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.91/1.85 c (1,1) Simplify CSPinCNF Begin
4.84/2.13 c (1,1) Simplify CSPinCNF End
4.84/2.13 c (1,1) CSP: 98 int (0 aux), 6426 bool (6426 aux), 9797 ctr, max domain size 78
4.84/2.13 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.84/2.13 c (1,1) Calculate Precise Domain Begin
4.84/2.14 c (1,1) 0 values are removed by re-calculation
4.84/2.14 c (1,1) Calculate Precise Domain End
4.84/2.14 c (1,1) CSP: 98 int (0 aux), 6426 bool (6426 aux), 9797 ctr, max domain size 78
4.84/2.14 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.84/2.14 c (1,1) CSPinCNF to SatSolver Begin
8.97/4.51 c (3,3) 980 (10 %) CSP clauses are encoded (13895 SAT variables, 963458 SAT clauses)
9.18/4.68 c (4,4) 1960 (20 %) CSP clauses are encoded (13895 SAT variables, 1014014 SAT clauses)
9.43/4.80 c (4,4) 2940 (30 %) CSP clauses are encoded (13895 SAT variables, 1064622 SAT clauses)
9.55/4.92 c (4,4) 3919 (40 %) CSP clauses are encoded (13895 SAT variables, 1115229 SAT clauses)
9.67/5.05 c (4,4) 4899 (50 %) CSP clauses are encoded (13895 SAT variables, 1165837 SAT clauses)
9.77/5.17 c (4,4) 5879 (60 %) CSP clauses are encoded (13895 SAT variables, 1216445 SAT clauses)
9.87/5.30 c (4,4) 6858 (70 %) CSP clauses are encoded (13895 SAT variables, 1267052 SAT clauses)
10.10/5.42 c (4,4) 7838 (80 %) CSP clauses are encoded (13895 SAT variables, 1317660 SAT clauses)
10.25/5.56 c (5,4) 8818 (90 %) CSP clauses are encoded (13895 SAT variables, 1368344 SAT clauses)
10.38/5.67 c (5,4) 9797 (100 %) CSP clauses are encoded (13895 SAT variables, 1418875 SAT clauses)
10.38/5.67 c (5,4) CSPinCNF to SatSolver End
10.38/5.67 c (5,4) Heap : 265 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.55/5.75 c (5,5) STATISTICS2:HOME/instance-4293429-1532345240.xml,AllDifferent:Dist:Eq:IntVar,6524,9797,6006,78,77,3,6006:308;78:420;77:5852,78:1498;77:12166;2:12852,77:2;21:2;2:9639;1:154,3:308;2:6272;1:13048,
10.55/5.75 c (5,5) SatSolver.solve Begin
10.55/5.75 c (5,5) 13895 bool, 1418876 clause
10.55/5.75 c (5,5) HOME/minisat_release -ccmin-mode=2 -cla-decay=0.9990000000000016 -gc-frac=0.06548219427789823 -min-step-size=0.06000000000000005 -phase-saving=2 -rfirst=100 -rinc=23.20514351897367 -rnd-freq=0.18183188062236774 -step-size=0.0002446387540884631 -step-size-dec=1.0000000000000004e-06 -var-decay=0.07581213234321858 HOME/instance-4293429-1532345240.xml-scop-12174.cnf HOME/instance-4293429-1532345240.xml-scop-12174.cnf.out
15.14/10.01 c (9,0) receiving signal SIGTERM
15.14/10.01 s UNKNOWN
15.14/10.02 c (9,5) SatSolver is killed by some reasons.
15.14/10.02 c (9,5) 0,0,1,1,1,1,5,TO,TO,STOP-AFTER(DIMACS)
15.14/10.02 c END-Prog: Mon Jul 23 13:27:30 CEST 2018
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 (4313 MiB free)
memory of node 1: 16384 MiB (10508 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293429-1532345240/watcher-4293429-1532345240 -o /tmp/evaluation-result-4293429-1532345240/solver-4293429-1532345240 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8951 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4293429-1532345240.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=12174, runsolver pid=12171
[startup+0.100144 s]*
/proc/loadavg: 2.06 2.12 2.08 3/220 12189
/proc/meminfo: memFree=15119068/32770624 swapFree=67108860/67108860
[pid=12174] ppid=12171 vsize=15011656 memory=72060 CPUtime=0.11 cores=1,3,5,7
/proc/12174/stat : 12174 (java) S 12171 12174 8919 0 -1 1077944320 7260 0 0 0 10 1 0 0 20 0 15 0 52087169 15371935744 18015 33554432000 4194304 4196468 140733735940048 140733735922592 139802251587319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
/proc/12174/statm: 3752914 18015 2779 1 0 3715374 0
[pid=12174/tid=12176] ppid=12171 vsize=15011656 memory=-6943317439038143312 CPUtime=0.09 cores=1,3,5,7
/proc/12174/task/12176/stat : 12176 (java) R 12171 12174 8919 0 -1 4202560 5410 0 0 0 8 1 0 0 20 0 15 0 52087169 15371935744 18147 33554432000 4194304 4196468 140733735940048 139802223383200 139802251599254 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12177] ppid=12171 vsize=15011656 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12177/stat : 12177 (java) S 12171 12174 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52087171 15371935744 18147 33554432000 4194304 4196468 140733735940048 139802255829392 139802251597525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12178] ppid=12171 vsize=15011656 memory=140576483350144 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12178/stat : 12178 (java) S 12171 12174 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52087171 15371935744 18147 33554432000 4194304 4196468 140733735940048 139802069985552 139802251597525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12179] ppid=12171 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12179/stat : 12179 (java) S 12171 12174 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52087171 15371935744 18147 33554432000 4194304 4196468 140733735940048 139802068933264 139802251597525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12180] ppid=12171 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12180/stat : 12180 (java) S 12171 12174 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52087171 15371935744 18147 33554432000 4194304 4196468 140733735940048 139802067880464 139802251597525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12181] ppid=12171 vsize=15011656 memory=140576483350144 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12181/stat : 12181 (java) S 12171 12174 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52087172 15371935744 18147 33554432000 4194304 4196468 140733735940048 139801222150768 139802251598466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12182] ppid=12171 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12182/stat : 12182 (java) S 12171 12174 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52087173 15371935744 18147 33554432000 4194304 4196468 140733735940048 139800849933600 139802251597525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12183] ppid=12171 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12183/stat : 12183 (java) S 12171 12174 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52087173 15371935744 18147 33554432000 4194304 4196468 140733735940048 139800715712112 139802251597525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12184] ppid=12171 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12184/stat : 12184 (java) S 12171 12174 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52087175 15371935744 18147 33554432000 4194304 4196468 140733735940048 139800341207632 139802251605915 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12185] ppid=12171 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12185/stat : 12185 (java) S 12171 12174 8919 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 52087175 15371935744 18147 33554432000 4194304 4196468 140733735940048 139801221097584 139802251598466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12186] ppid=12171 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12186/stat : 12186 (java) S 12171 12174 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52087175 15371935744 18147 33554432000 4194304 4196468 140733735940048 139801220044784 139802251598466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12187] ppid=12171 vsize=15011656 memory=140576483350144 CPUtime=0.01 cores=1,3,5,7
/proc/12174/task/12187/stat : 12187 (java) S 12171 12174 8919 0 -1 1077944384 268 0 0 0 1 0 0 0 20 0 15 0 52087176 15371935744 18147 33554432000 4194304 4196468 140733735940048 139801218992496 139802251598466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12188] ppid=12171 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12188/stat : 12188 (java) S 12171 12174 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52087176 15371935744 18147 33554432000 4194304 4196468 140733735940048 139799843301856 139802251597525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12189] ppid=12171 vsize=15011656 memory=140576483350144 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12189/stat : 12189 (java) S 12171 12174 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52087176 15371935744 18147 33554432000 4194304 4196468 140733735940048 139801217940400 139802251598466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72060 KiB
[startup+0.210546 s]*
/proc/loadavg: 2.06 2.12 2.08 4/220 12189
/proc/meminfo: memFree=15105240/32770624 swapFree=67108860/67108860
[pid=12174] ppid=12171 vsize=15011656 memory=83592 CPUtime=0.25 cores=1,3,5,7
/proc/12174/stat : 12174 (java) S 12171 12174 8919 0 -1 1077944320 10392 0 0 0 23 2 0 0 20 0 15 0 52087169 15371935744 20898 33554432000 4194304 4196468 140733735940048 140733735922592 139802251587319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
/proc/12174/statm: 3752914 20898 2878 1 0 3715374 0
[pid=12174/tid=12176] ppid=12171 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/12174/task/12176/stat : 12176 (java) R 12171 12174 8919 0 -1 4202560 8273 0 0 0 18 2 0 0 20 0 15 0 52087169 15371935744 20898 33554432000 4194304 4196468 140733735940048 139802223413232 139802251610909 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12177] ppid=12171 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12177/stat : 12177 (java) S 12171 12174 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52087171 15371935744 20898 33554432000 4194304 4196468 140733735940048 139802255829392 139802251597525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12178] ppid=12171 vsize=15011656 memory=288370952635061888 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12178/stat : 12178 (java) S 12171 12174 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52087171 15371935744 20898 33554432000 4194304 4196468 140733735940048 139802069985552 139802251597525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12179] ppid=12171 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12179/stat : 12179 (java) S 12171 12174 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52087171 15371935744 20898 33554432000 4194304 4196468 140733735940048 139802068933264 139802251597525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12180] ppid=12171 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12180/stat : 12180 (java) S 12171 12174 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52087171 15371935744 20898 33554432000 4194304 4196468 140733735940048 139802067880464 139802251597525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12181] ppid=12171 vsize=15011656 memory=140576483350144 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12181/stat : 12181 (java) S 12171 12174 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52087172 15371935744 20898 33554432000 4194304 4196468 140733735940048 139801222150768 139802251598466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12182] ppid=12171 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12182/stat : 12182 (java) S 12171 12174 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52087173 15371935744 20898 33554432000 4194304 4196468 140733735940048 139800849933600 139802251597525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12183] ppid=12171 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12183/stat : 12183 (java) S 12171 12174 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52087173 15371935744 20898 33554432000 4194304 4196468 140733735940048 139800715712112 139802251597525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12184] ppid=12171 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12184/stat : 12184 (java) S 12171 12174 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52087175 15371935744 20898 33554432000 4194304 4196468 140733735940048 139800341207632 139802251605915 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12185] ppid=12171 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/12174/task/12185/stat : 12185 (java) S 12171 12174 8919 0 -1 1077944384 434 0 0 0 1 0 0 0 20 0 15 0 52087175 15371935744 20898 33554432000 4194304 4196468 140733735940048 139801221097584 139802251598466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12186] ppid=12171 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12186/stat : 12186 (java) R 12171 12174 8919 0 -1 4202560 54 0 0 0 0 0 0 0 20 0 15 0 52087175 15371935744 20898 33554432000 4194304 4196468 140733735940048 139801220043968 139802235113813 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12187] ppid=12171 vsize=15011656 memory=140576483350144 CPUtime=0.03 cores=1,3,5,7
/proc/12174/task/12187/stat : 12187 (java) S 12171 12174 8919 0 -1 1077944384 285 0 0 0 3 0 0 0 20 0 15 0 52087176 15371935744 20898 33554432000 4194304 4196468 140733735940048 139801218992496 139802251598466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12188] ppid=12171 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12188/stat : 12188 (java) S 12171 12174 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52087176 15371935744 20898 33554432000 4194304 4196468 140733735940048 139799843301856 139802251597525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12189] ppid=12171 vsize=15011656 memory=140576483350144 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12189/stat : 12189 (java) S 12171 12174 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52087176 15371935744 20898 33554432000 4194304 4196468 140733735940048 139801217940400 139802251598466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 83592 KiB
[startup+0.310575 s]*
/proc/loadavg: 2.06 2.12 2.08 3/220 12189
/proc/meminfo: memFree=15101580/32770624 swapFree=67108860/67108860
[pid=12174] ppid=12171 vsize=15011656 memory=87668 CPUtime=0.44 cores=1,3,5,7
/proc/12174/stat : 12174 (java) S 12171 12174 8919 0 -1 1077944320 11023 0 0 0 41 3 0 0 20 0 15 0 52087169 15371935744 21917 33554432000 4194304 4196468 140733735940048 140733735922592 139802251587319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
/proc/12174/statm: 3752914 21917 3029 1 0 3715374 0
[pid=12174/tid=12176] ppid=12171 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=1,3,5,7
/proc/12174/task/12176/stat : 12176 (java) R 12171 12174 8919 0 -1 4202560 8709 0 0 0 27 2 0 0 20 0 15 0 52087169 15371935744 21917 33554432000 4194304 4196468 140733735940048 139802223391472 139802233150848 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12177] ppid=12171 vsize=15011656 memory=4294967638 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12177/stat : 12177 (java) S 12171 12174 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52087171 15371935744 21917 33554432000 4194304 4196468 140733735940048 139802255829392 139802251597525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12178] ppid=12171 vsize=15011656 memory=288370952635061888 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12178/stat : 12178 (java) S 12171 12174 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52087171 15371935744 21917 33554432000 4194304 4196468 140733735940048 139802069985552 139802251597525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12179] ppid=12171 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12179/stat : 12179 (java) S 12171 12174 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52087171 15371935744 21917 33554432000 4194304 4196468 140733735940048 139802068933264 139802251597525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12180] ppid=12171 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12180/stat : 12180 (java) S 12171 12174 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52087171 15371935744 21917 33554432000 4194304 4196468 140733735940048 139802067880464 139802251597525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12181] ppid=12171 vsize=15011656 memory=140576483350144 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12181/stat : 12181 (java) S 12171 12174 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52087172 15371935744 21917 33554432000 4194304 4196468 140733735940048 139801222150768 139802251598466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12182] ppid=12171 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12182/stat : 12182 (java) S 12171 12174 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52087173 15371935744 21917 33554432000 4194304 4196468 140733735940048 139800849933600 139802251597525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12183] ppid=12171 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12183/stat : 12183 (java) S 12171 12174 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52087173 15371935744 21917 33554432000 4194304 4196468 140733735940048 139800715712112 139802251597525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12184] ppid=12171 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12184/stat : 12184 (java) S 12171 12174 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52087175 15371935744 21917 33554432000 4194304 4196468 140733735940048 139800341207632 139802251605915 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12185] ppid=12171 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/12174/task/12185/stat : 12185 (java) S 12171 12174 8919 0 -1 1077944384 542 0 0 0 2 0 0 0 20 0 15 0 52087175 15371935744 21917 33554432000 4194304 4196468 140733735940048 139801221097584 139802251598466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12186] ppid=12171 vsize=15011656 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/12174/task/12186/stat : 12186 (java) S 12171 12174 8919 0 -1 1077944384 93 0 0 0 2 0 0 0 20 0 15 0 52087175 15371935744 21917 33554432000 4194304 4196468 140733735940048 139801220044784 139802251598466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12187] ppid=12171 vsize=15011656 memory=140576483350144 CPUtime=0.07 cores=1,3,5,7
/proc/12174/task/12187/stat : 12187 (java) R 12171 12174 8919 0 -1 4202560 325 0 0 0 7 0 0 0 20 0 15 0 52087176 15371935744 21917 33554432000 4194304 4196468 140733735940048 139801218992496 139802230541785 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12188] ppid=12171 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12188/stat : 12188 (java) S 12171 12174 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52087176 15371935744 21917 33554432000 4194304 4196468 140733735940048 139799843301856 139802251597525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12189] ppid=12171 vsize=15011656 memory=140576483350144 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12189/stat : 12189 (java) S 12171 12174 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52087176 15371935744 21917 33554432000 4194304 4196468 140733735940048 139801217940400 139802251598466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 87668 KiB
[startup+0.703771 s]
/proc/loadavg: 2.06 2.12 2.08 3/220 12189
/proc/meminfo: memFree=15076528/32770624 swapFree=67108860/67108860
[pid=12174] ppid=12171 vsize=15020052 memory=128348 CPUtime=1.03 cores=1,3,5,7
/proc/12174/stat : 12174 (java) S 12171 12174 8919 0 -1 1077944320 18283 0 0 0 98 5 0 0 20 0 15 0 52087169 15380533248 32036 33554432000 4194304 4196468 140733735940048 140733735922592 139802251587319 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
/proc/12174/statm: 3755013 32036 3175 1 0 3716398 0
[pid=12174/tid=12176] ppid=12171 vsize=15020052 memory=192893356622580 CPUtime=0.67 cores=1,3,5,7
/proc/12174/task/12176/stat : 12176 (java) R 12171 12174 8919 0 -1 4202560 15489 0 0 0 63 4 0 0 20 0 15 0 52087169 15380533248 32087 33554432000 4194304 4196468 140733735940048 139802223422016 139802235667806 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12177] ppid=12171 vsize=15020052 memory=286033 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12177/stat : 12177 (java) S 12171 12174 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52087171 15380533248 32087 33554432000 4194304 4196468 140733735940048 139802255829392 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12178] ppid=12171 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12178/stat : 12178 (java) S 12171 12174 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52087171 15380533248 32087 33554432000 4194304 4196468 140733735940048 139802069985552 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12179] ppid=12171 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12179/stat : 12179 (java) S 12171 12174 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52087171 15380533248 32087 33554432000 4194304 4196468 140733735940048 139802068933264 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12180] ppid=12171 vsize=15020052 memory=7809523229951467570 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12180/stat : 12180 (java) S 12171 12174 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52087171 15380533248 32087 33554432000 4194304 4196468 140733735940048 139802067880464 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12181] ppid=12171 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12181/stat : 12181 (java) S 12171 12174 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52087172 15380533248 32087 33554432000 4194304 4196468 140733735940048 139801222150768 139802251598466 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12182] ppid=12171 vsize=15020052 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12182/stat : 12182 (java) S 12171 12174 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52087173 15380533248 32087 33554432000 4194304 4196468 140733735940048 139800849933600 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12183] ppid=12171 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12183/stat : 12183 (java) S 12171 12174 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52087173 15380533248 32087 33554432000 4194304 4196468 140733735940048 139800715712112 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12184] ppid=12171 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12184/stat : 12184 (java) S 12171 12174 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52087175 15380533248 32087 33554432000 4194304 4196468 140733735940048 139800341207632 139802251605915 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12185] ppid=12171 vsize=15020052 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12174/task/12185/stat : 12185 (java) R 12171 12174 8919 0 -1 4202560 613 0 0 0 7 0 0 0 20 0 15 0 52087175 15380533248 32087 33554432000 4194304 4196468 140733735940048 139801221086576 139802236691596 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12186] ppid=12171 vsize=15020052 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12174/task/12186/stat : 12186 (java) R 12171 12174 8919 0 -1 1077944384 332 0 0 0 9 0 0 0 20 0 15 0 52087175 15380533248 32087 33554432000 4194304 4196468 140733735940048 139801220044784 139802251598466 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12187] ppid=12171 vsize=15020052 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/12174/task/12187/stat : 12187 (java) R 12171 12174 8919 0 -1 4202560 489 0 0 0 17 0 0 0 20 0 15 0 52087176 15380533248 32087 33554432000 4194304 4196468 140733735940048 139801218992496 139802251599254 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12188] ppid=12171 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12188/stat : 12188 (java) S 12171 12174 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52087176 15380533248 32087 33554432000 4194304 4196468 140733735940048 139799843301856 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12189] ppid=12171 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12189/stat : 12189 (java) S 12171 12174 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52087176 15380533248 32087 33554432000 4194304 4196468 140733735940048 139801217940400 139802251598466 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 128348 KiB
[startup+1.50559 s]
/proc/loadavg: 2.06 2.12 2.08 4/220 12189
/proc/meminfo: memFree=15047504/32770624 swapFree=67108860/67108860
[pid=12174] ppid=12171 vsize=15022100 memory=196460 CPUtime=2.98 cores=1,3,5,7
/proc/12174/stat : 12174 (java) S 12171 12174 8919 0 -1 1077944320 22060 0 0 0 291 7 0 0 20 0 15 0 52087169 15382630400 49115 33554432000 4194304 4196468 140733735940048 140733735922592 139802251587319 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
/proc/12174/statm: 3755525 49115 3202 1 0 3716910 0
[pid=12174/tid=12176] ppid=12171 vsize=15022100 memory=5794836780235445351 CPUtime=1.47 cores=1,3,5,7
/proc/12174/task/12176/stat : 12176 (java) R 12171 12174 8919 0 -1 4202560 16523 0 0 0 142 5 0 0 20 0 15 0 52087169 15382630400 49115 33554432000 4194304 4196468 140733735940048 139802223419056 139801746871382 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12177] ppid=12171 vsize=15022100 memory=6298673690012636263 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12177/stat : 12177 (java) S 12171 12174 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52087171 15382630400 49115 33554432000 4194304 4196468 140733735940048 139802255829392 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12178] ppid=12171 vsize=15022100 memory=7589518994032782182 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12178/stat : 12178 (java) S 12171 12174 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52087171 15382630400 49115 33554432000 4194304 4196468 140733735940048 139802069985552 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12179] ppid=12171 vsize=15022100 memory=7379256202966624598 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12179/stat : 12179 (java) S 12171 12174 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52087171 15382630400 49115 33554432000 4194304 4196468 140733735940048 139802068933264 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12180] ppid=12171 vsize=15022100 memory=4638778419807604048 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12180/stat : 12180 (java) S 12171 12174 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52087171 15382630400 49115 33554432000 4194304 4196468 140733735940048 139802067880464 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12181] ppid=12171 vsize=15022100 memory=7812450577151780435 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12181/stat : 12181 (java) S 12171 12174 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52087172 15382630400 49115 33554432000 4194304 4196468 140733735940048 139801222150768 139802251598466 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
################
# More data... #
################
/proc/12174/task/12187/stat : 12187 (java) S 12171 12174 8919 0 -1 1077944384 2670 0 0 0 68 0 0 0 20 0 15 0 52087176 15382630400 49115 33554432000 4194304 4196468 140733735940048 139801218992496 139802251598466 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12188] ppid=12171 vsize=15022100 memory=13773960120851 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12188/stat : 12188 (java) S 12171 12174 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52087176 15382630400 49115 33554432000 4194304 4196468 140733735940048 139799843301856 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12189] ppid=12171 vsize=15022100 memory=1 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12189/stat : 12189 (java) S 12171 12174 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52087176 15382630400 49115 33554432000 4194304 4196468 140733735940048 139801217940400 139802251598466 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 15022100 KiB
Current children cumulated memory: 196460 KiB
[startup+3.11035 s]
/proc/loadavg: 2.13 2.14 2.09 4/220 12189
/proc/meminfo: memFree=14361072/32770624 swapFree=67108860/67108860
[pid=12174] ppid=12171 vsize=15026264 memory=919852 CPUtime=7.29 cores=1,3,5,7
/proc/12174/stat : 12174 (java) S 12171 12174 8919 0 -1 1077944320 26216 0 0 0 709 20 0 0 20 0 15 0 52087169 15386894336 229963 33554432000 4194304 4196468 140733735940048 140733735922592 139802251587319 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
/proc/12174/statm: 3756566 229963 3223 1 0 3717422 0
[pid=12174/tid=12176] ppid=12171 vsize=15026264 memory=0 CPUtime=3.07 cores=1,3,5,7
/proc/12174/task/12176/stat : 12176 (java) R 12171 12174 8919 0 -1 4202560 17248 0 0 0 291 16 0 0 20 0 15 0 52087169 15386894336 229963 33554432000 4194304 4196468 140733735940048 139802223426592 139801745833502 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12177] ppid=12171 vsize=15026264 memory=245572 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12177/stat : 12177 (java) S 12171 12174 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52087171 15386894336 229963 33554432000 4194304 4196468 140733735940048 139802255829392 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12178] ppid=12171 vsize=15026264 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12178/stat : 12178 (java) S 12171 12174 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52087171 15386894336 229963 33554432000 4194304 4196468 140733735940048 139802069985552 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12179] ppid=12171 vsize=15026264 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12179/stat : 12179 (java) S 12171 12174 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52087171 15386894336 229963 33554432000 4194304 4196468 140733735940048 139802068933264 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12180] ppid=12171 vsize=15026264 memory=-5921431000321636112 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12180/stat : 12180 (java) S 12171 12174 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52087171 15386894336 229963 33554432000 4194304 4196468 140733735940048 139802067880464 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12181] ppid=12171 vsize=15026264 memory=281152720119648 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12181/stat : 12181 (java) S 12171 12174 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52087172 15386894336 229963 33554432000 4194304 4196468 140733735940048 139801222150768 139802251598466 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12182] ppid=12171 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12182/stat : 12182 (java) S 12171 12174 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52087173 15386894336 229963 33554432000 4194304 4196468 140733735940048 139800849933600 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12183] ppid=12171 vsize=15026264 memory=509504 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12183/stat : 12183 (java) S 12171 12174 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52087173 15386894336 229963 33554432000 4194304 4196468 140733735940048 139800715712112 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12184] ppid=12171 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12184/stat : 12184 (java) S 12171 12174 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52087175 15386894336 229963 33554432000 4194304 4196468 140733735940048 139800341207632 139802251605915 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12185] ppid=12171 vsize=15026264 memory=281152719959840 CPUtime=1.58 cores=1,3,5,7
/proc/12174/task/12185/stat : 12185 (java) S 12171 12174 8919 0 -1 1077944384 2539 0 0 0 158 0 0 0 20 0 15 0 52087175 15386894336 229963 33554432000 4194304 4196468 140733735940048 139801221097584 139802251598466 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12186] ppid=12171 vsize=15026264 memory=192848326582047 CPUtime=1.67 cores=1,3,5,7
/proc/12174/task/12186/stat : 12186 (java) S 12171 12174 8919 0 -1 1077944384 2022 0 0 0 166 1 0 0 20 0 15 0 52087175 15386894336 229963 33554432000 4194304 4196468 140733735940048 139801220044784 139802251598466 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12187] ppid=12171 vsize=15026264 memory=0 CPUtime=0.93 cores=1,3,5,7
/proc/12174/task/12187/stat : 12187 (java) S 12171 12174 8919 0 -1 1077944384 3046 0 0 0 92 1 0 0 20 0 15 0 52087176 15386894336 229963 33554432000 4194304 4196468 140733735940048 139801218992496 139802251598466 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12188] ppid=12171 vsize=15026264 memory=140576360007328 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12188/stat : 12188 (java) S 12171 12174 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52087176 15386894336 229963 33554432000 4194304 4196468 140733735940048 139799843301856 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12189] ppid=12171 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12189/stat : 12189 (java) S 12171 12174 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52087176 15386894336 229963 33554432000 4194304 4196468 140733735940048 139801217940400 139802251598466 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
Current children cumulated CPU time: 7.29 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 919852 KiB
[startup+6.301 s]
/proc/loadavg: 2.13 2.14 2.09 3/225 12195
/proc/meminfo: memFree=12064004/32770624 swapFree=67108860/67108860
[pid=12174] ppid=12171 vsize=15681864 memory=3021708 CPUtime=10.91 cores=1,3,5,7
/proc/12174/stat : 12174 (java) S 12171 12174 8919 0 -1 1077944320 29707 0 0 0 1034 57 0 0 20 0 19 0 52087169 16058228736 755427 33554432000 4194304 4196468 140733735940048 140733735922592 139802251587319 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
/proc/12174/statm: 3920466 755427 3236 1 0 3881322 0
[pid=12190] ppid=12174 vsize=134848 memory=101888 CPUtime=0.53 cores=1,3,5,7
/proc/12190/stat : 12190 (minisat_release) R 12174 12174 8919 0 -1 4202496 20834 0 0 0 50 3 0 0 20 0 1 0 52087746 138084352 25472 33554432000 4194304 4308513 140731087701904 140731086650312 4221720 0 4 0 8388610 0 0 0 17 3 0 0 0 0 0 6409496 6410680 8978432 140731087704751 140731087705262 140731087705262 140731087708101 0
/proc/12190/statm: 33712 25472 329 28 0 29952 0
[pid=12174/tid=12176] ppid=12171 vsize=15681864 memory=6944656592387989600 CPUtime=5.63 cores=1,3,5,7
/proc/12174/task/12176/stat : 12176 (java) S 12171 12174 8919 0 -1 1077944384 18623 0 0 0 512 51 0 0 20 0 19 0 52087169 16058228736 755427 33554432000 4194304 4196468 140733735940048 139802223426560 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12177] ppid=12171 vsize=15681864 memory=281152720672416 CPUtime=0.01 cores=1,3,5,7
/proc/12174/task/12177/stat : 12177 (java) S 12171 12174 8919 0 -1 1077944384 57 0 0 0 1 0 0 0 20 0 19 0 52087171 16058228736 755427 33554432000 4194304 4196468 140733735940048 139802255829392 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12178] ppid=12171 vsize=15681864 memory=-7357787915995474596 CPUtime=0.01 cores=1,3,5,7
/proc/12174/task/12178/stat : 12178 (java) S 12171 12174 8919 0 -1 1077944384 8 0 0 0 1 0 0 0 20 0 19 0 52087171 16058228736 755427 33554432000 4194304 4196468 140733735940048 139802069985552 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12179] ppid=12171 vsize=15681864 memory=-7523660553960122769 CPUtime=0.01 cores=1,3,5,7
/proc/12174/task/12179/stat : 12179 (java) S 12171 12174 8919 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 19 0 52087171 16058228736 755427 33554432000 4194304 4196468 140733735940048 139802068933264 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12180] ppid=12171 vsize=15681864 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/12174/task/12180/stat : 12180 (java) S 12171 12174 8919 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 19 0 52087171 16058228736 755427 33554432000 4194304 4196468 140733735940048 139802067880464 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12181] ppid=12171 vsize=15681864 memory=281152720016000 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12181/stat : 12181 (java) S 12171 12174 8919 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 52087172 16058228736 755427 33554432000 4194304 4196468 140733735940048 139801222150768 139802251598466 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12182] ppid=12171 vsize=15681864 memory=281152720088480 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12182/stat : 12182 (java) S 12171 12174 8919 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 52087173 16058228736 755427 33554432000 4194304 4196468 140733735940048 139800849933600 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12183] ppid=12171 vsize=15681864 memory=281152720014272 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12183/stat : 12183 (java) S 12171 12174 8919 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 52087173 16058228736 755427 33554432000 4194304 4196468 140733735940048 139800715712112 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12184] ppid=12171 vsize=15681864 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12184/stat : 12184 (java) S 12171 12174 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52087175 16058228736 755427 33554432000 4194304 4196468 140733735940048 139800341207632 139802251605915 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12185] ppid=12171 vsize=15681864 memory=0 CPUtime=2.13 cores=1,3,5,7
/proc/12174/task/12185/stat : 12185 (java) S 12171 12174 8919 0 -1 1077944384 3796 0 0 0 212 1 0 0 20 0 19 0 52087175 16058228736 755427 33554432000 4194304 4196468 140733735940048 139801221097584 139802251598466 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12186] ppid=12171 vsize=15681864 memory=0 CPUtime=2.07 cores=1,3,5,7
/proc/12174/task/12186/stat : 12186 (java) S 12171 12174 8919 0 -1 1077944384 2587 0 0 0 206 1 0 0 20 0 19 0 52087175 16058228736 755427 33554432000 4194304 4196468 140733735940048 139801220044784 139802251598466 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12187] ppid=12171 vsize=15681864 memory=0 CPUtime=0.98 cores=1,3,5,7
/proc/12174/task/12187/stat : 12187 (java) S 12171 12174 8919 0 -1 1077944384 3137 0 0 0 97 1 0 0 20 0 19 0 52087176 16058228736 755427 33554432000 4194304 4196468 140733735940048 139801218992496 139802251598466 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12188] ppid=12171 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12188/stat : 12188 (java) S 12171 12174 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52087176 16058228736 755427 33554432000 4194304 4196468 140733735940048 139799843301856 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12189] ppid=12171 vsize=15681864 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12189/stat : 12189 (java) S 12171 12174 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52087176 16058228736 755427 33554432000 4194304 4196468 140733735940048 139801217940400 139802251598466 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12191] ppid=12171 vsize=15681864 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12191/stat : 12191 (java) S 12171 12174 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52087746 16058228736 755427 33554432000 4194304 4196468 140733735940048 139801320027584 139802251611929 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12193] ppid=12171 vsize=15681864 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12193/stat : 12193 (java) S 12171 12174 8919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 52087746 16058228736 755427 33554432000 4194304 4196468 140733735940048 139799306420144 139802251609245 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12194] ppid=12171 vsize=15681864 memory=10776 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12194/stat : 12194 (java) S 12171 12174 8919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 52087747 16058228736 755427 33554432000 4194304 4196468 140733735940048 139799037984048 139802251609245 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12195] ppid=12171 vsize=15681864 memory=16444 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12195/stat : 12195 (java) S 12171 12174 8919 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 52087749 16058228736 755427 33554432000 4194304 4196468 140733735940048 139799574862752 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
Current children cumulated CPU time: 11.44 s
Current children cumulated vsize: 15816712 KiB
Current children cumulated memory: 3123596 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+10.0009 s]*
/proc/loadavg: 2.12 2.13 2.09 4/225 12195
/proc/meminfo: memFree=11970816/32770624 swapFree=67108860/67108860
[pid=12174] ppid=12171 vsize=15681864 memory=3021708 CPUtime=10.91 cores=1,3,5,7
/proc/12174/stat : 12174 (java) S 12171 12174 8919 0 -1 1077944320 29707 0 0 0 1034 57 0 0 20 0 19 0 52087169 16058228736 755427 33554432000 4194304 4196468 140733735940048 140733735922592 139802251587319 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
/proc/12174/statm: 3920466 755427 3236 1 0 3881322 0
[pid=12190] ppid=12174 vsize=204712 memory=167860 CPUtime=4.23 cores=1,3,5,7
/proc/12190/stat : 12190 (minisat_release) R 12174 12174 8919 0 -1 4202496 61890 0 0 0 417 6 0 0 20 0 1 0 52087746 209625088 41965 33554432000 4194304 4308513 140731087701904 140731087698952 4237386 0 4 0 8388610 0 0 0 17 3 0 0 0 0 0 6409496 6410680 8978432 140731087704751 140731087705262 140731087705262 140731087708101 0
/proc/12190/statm: 51178 41965 331 28 0 47418 0
[pid=12174/tid=12176] ppid=12171 vsize=15681864 memory=-7824251494390781546 CPUtime=5.63 cores=1,3,5,7
/proc/12174/task/12176/stat : 12176 (java) S 12171 12174 8919 0 -1 1077944384 18623 0 0 0 512 51 0 0 20 0 19 0 52087169 16058228736 755427 33554432000 4194304 4196468 140733735940048 139802223426560 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12177] ppid=12171 vsize=15681864 memory=4126316290023845779 CPUtime=0.01 cores=1,3,5,7
/proc/12174/task/12177/stat : 12177 (java) S 12171 12174 8919 0 -1 1077944384 57 0 0 0 1 0 0 0 20 0 19 0 52087171 16058228736 755427 33554432000 4194304 4196468 140733735940048 139802255829392 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12178] ppid=12171 vsize=15681864 memory=2276 CPUtime=0.01 cores=1,3,5,7
/proc/12174/task/12178/stat : 12178 (java) S 12171 12174 8919 0 -1 1077944384 8 0 0 0 1 0 0 0 20 0 19 0 52087171 16058228736 755427 33554432000 4194304 4196468 140733735940048 139802069985552 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12179] ppid=12171 vsize=15681864 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/12174/task/12179/stat : 12179 (java) S 12171 12174 8919 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 19 0 52087171 16058228736 755427 33554432000 4194304 4196468 140733735940048 139802068933264 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12180] ppid=12171 vsize=15681864 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/12174/task/12180/stat : 12180 (java) S 12171 12174 8919 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 19 0 52087171 16058228736 755427 33554432000 4194304 4196468 140733735940048 139802067880464 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12181] ppid=12171 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12181/stat : 12181 (java) S 12171 12174 8919 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 52087172 16058228736 755427 33554432000 4194304 4196468 140733735940048 139801222150768 139802251598466 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12182] ppid=12171 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12182/stat : 12182 (java) S 12171 12174 8919 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 52087173 16058228736 755427 33554432000 4194304 4196468 140733735940048 139800849933600 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12183] ppid=12171 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12183/stat : 12183 (java) S 12171 12174 8919 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 52087173 16058228736 755427 33554432000 4194304 4196468 140733735940048 139800715712112 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12184] ppid=12171 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12184/stat : 12184 (java) S 12171 12174 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52087175 16058228736 755427 33554432000 4194304 4196468 140733735940048 139800341207632 139802251605915 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12185] ppid=12171 vsize=15681864 memory=0 CPUtime=2.13 cores=1,3,5,7
/proc/12174/task/12185/stat : 12185 (java) S 12171 12174 8919 0 -1 1077944384 3796 0 0 0 212 1 0 0 20 0 19 0 52087175 16058228736 755427 33554432000 4194304 4196468 140733735940048 139801221097584 139802251598466 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12186] ppid=12171 vsize=15681864 memory=-2746958450906831424 CPUtime=2.07 cores=1,3,5,7
/proc/12174/task/12186/stat : 12186 (java) S 12171 12174 8919 0 -1 1077944384 2587 0 0 0 206 1 0 0 20 0 19 0 52087175 16058228736 755427 33554432000 4194304 4196468 140733735940048 139801220044784 139802251598466 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12187] ppid=12171 vsize=15681864 memory=6944656592455097440 CPUtime=0.98 cores=1,3,5,7
/proc/12174/task/12187/stat : 12187 (java) S 12171 12174 8919 0 -1 1077944384 3137 0 0 0 97 1 0 0 20 0 19 0 52087176 16058228736 755427 33554432000 4194304 4196468 140733735940048 139801218992496 139802251598466 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12188] ppid=12171 vsize=15681864 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12188/stat : 12188 (java) S 12171 12174 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52087176 16058228736 755427 33554432000 4194304 4196468 140733735940048 139799843301856 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12189] ppid=12171 vsize=15681864 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12189/stat : 12189 (java) S 12171 12174 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52087176 16058228736 755427 33554432000 4194304 4196468 140733735940048 139801217940400 139802251598466 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12191] ppid=12171 vsize=15681864 memory=-2605811476043407915 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12191/stat : 12191 (java) S 12171 12174 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52087746 16058228736 755427 33554432000 4194304 4196468 140733735940048 139801320027584 139802251611929 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12193] ppid=12171 vsize=15681864 memory=1414353297708861353 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12193/stat : 12193 (java) S 12171 12174 8919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 52087746 16058228736 755427 33554432000 4194304 4196468 140733735940048 139799306420144 139802251609245 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12194] ppid=12171 vsize=15681864 memory=-7385037615208631145 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12194/stat : 12194 (java) S 12171 12174 8919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 52087747 16058228736 755427 33554432000 4194304 4196468 140733735940048 139799037984048 139802251609245 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
[pid=12174/tid=12195] ppid=12171 vsize=15681864 memory=-8675733323038954102 CPUtime=0 cores=1,3,5,7
/proc/12174/task/12195/stat : 12195 (java) S 12171 12174 8919 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 52087749 16058228736 755427 33554432000 4194304 4196468 140733735940048 139799574862752 139802251597525 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25923584 140733735941108 140733735941385 140733735941385 140733735944143 0
Current children cumulated CPU time: 15.14 s
Current children cumulated vsize: 15886576 KiB
Current children cumulated memory: 3189568 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+10.0395 s]
# the end of solver process 12174 was just reported to runsolver
# cumulated CPU time of all completed processes: user=14.5265 s, system=0.674029 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 10.0396
CPU time (s): 15.2005
CPU user time (s): 14.5265
CPU system time (s): 0.674029
CPU usage (%): 151.406
Max. virtual memory (cumulated for all children) (KiB): 15886576
Max. memory (cumulated for all children) (KiB): 3189568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.5265
system time used= 0.674029
maximum resident set size= 3023756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91653
page faults= 0
swaps= 0
block input operations= 0
block output operations= 54840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4446
involuntary context switches= 32
# summary of solver processes directly reported to runsolver:
# pid: 12174
# total CPU time (s): 15.2005
# total CPU user time (s): 14.5265
# total CPU system time (s): 0.674029
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.09122 second user time and 0.146537 second system time
The end