0.67/0.53
0.67/0.53 scop both+minisat_release (2018-06-13)
0.67/0.53
0.67/0.55 c BEGIN-Prog: Mon Jul 23 18:05:05 CEST 2018
0.67/0.55 c PID: 18159
0.67/0.55 c IP: 172.20.3.102
0.67/0.55 c HOST: node102.alineos.net
0.67/0.56 c (0,0) Parsing Begin
3.03/1.36 c (0,0) Parsing End
3.03/1.38 c (0,0) CSP: 1176 int (0 aux), 0 bool (0 aux), 701 ctr, max domain size 42
3.03/1.38 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.03/1.38 c (0,0) Constraint Name Generate Begin
3.03/1.39 c (0,0) Ctr:HOME/instance-4294531-1532361905.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr
3.03/1.39 c (0,0) Constraint Name Generate End
3.03/1.39 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.03/1.39 c (0,0) CSP to CSPinCNF Begin
5.69/2.21 c (1,1) translated 71 (10%) constraints
10.87/4.47 c (3,3) translated 141 (20%) constraints
11.52/4.68 c (4,4) translated 211 (30%) constraints
12.14/4.86 c (4,4) translated 281 (40%) constraints
12.78/5.03 c (4,4) translated 351 (50%) constraints
13.10/5.17 c (4,4) translated 421 (60%) constraints
13.71/5.34 c (4,4) translated 491 (70%) constraints
14.02/5.49 c (4,4) translated 561 (80%) constraints
14.44/5.63 c (5,5) translated 631 (90%) constraints
14.69/5.78 c (5,5) translated 701 (100%) constraints
16.53/6.31 c (5,5) STATISTICS1:HOME/instance-4294531-1532361905.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,6031,56774,42,42,42,2,42:11561;41:324;40:298;39:305;38:625;8:882;7:882,42:86359;41:1271;40:1121;39:1121;38:2210;8:6468;7:5880;2:22209,42:28;9:294;8:294;7:168;4:445;3:31211;2:24259;1:75,2:14877;1:121581;0:588,
16.53/6.31 c (5,5) ===========================================
16.53/6.31 c (5,5) Both Encoding selects:
16.53/6.31 c (5,5) Order
16.53/6.31 c (5,5) ===========================================
17.20/6.55 c (6,5) translated 5678 (10%) constraints
17.75/6.73 c (6,6) translated 11355 (20%) constraints
18.83/7.17 c (6,6) translated 17033 (30%) constraints
19.78/7.62 c (7,7) translated 22710 (40%) constraints
20.19/8.03 c (7,7) translated 28387 (50%) constraints
20.58/8.46 c (7,7) translated 34065 (60%) constraints
21.03/8.84 c (8,8) translated 39742 (70%) constraints
21.64/9.01 c (8,8) translated 45420 (80%) constraints
21.95/9.12 c (8,8) translated 51097 (90%) constraints
22.22/9.22 c (8,8) translated 56774 (100%) constraints
22.22/9.22 c (8,8) CSP to CSPinCNF End
22.22/9.23 c (8,8) CSP: 1176 int (0 aux), 29551 bool (29551 aux), 106166 ctr, max domain size 42
22.22/9.23 c (8,8) Heap : 2703 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
22.22/9.23 c (8,8) CSPinCNF Propagation Begin
24.28/10.02 c (9,9) 262 values, 2426 unsatisfiable literals, and 1752 valid clauses are removed
24.28/10.02 c (9,9) CSPinCNF Propagation End
24.28/10.03 c (9,9) CSP: 1368 int (192 aux), 29359 bool (29359 aux), 104414 ctr, max domain size 42
24.28/10.03 c (9,9) Heap : 408 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
24.28/10.03 c (9,9) Simplify CSPinCNF Begin
25.39/10.66 c (10,9) Simplify CSPinCNF End
25.39/10.68 c (10,9) CSP: 1368 int (192 aux), 57534 bool (57534 aux), 132589 ctr, max domain size 42
25.39/10.68 c (10,9) Heap : 794 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
25.39/10.68 c (10,9) Calculate Precise Domain Begin
25.39/10.68 c (10,9) 0 values are removed by re-calculation
25.39/10.68 c (10,9) Calculate Precise Domain End
25.64/10.70 c (10,10) CSP: 1368 int (192 aux), 57534 bool (57534 aux), 132589 ctr, max domain size 42
25.64/10.70 c (10,10) Heap : 794 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
25.64/10.70 c (10,10) CSPinCNF to SatSolver Begin
27.48/11.90 c (11,11) 13259 (10 %) CSP clauses are encoded (85272 SAT variables, 394862 SAT clauses)
28.51/12.86 c (12,12) 26518 (20 %) CSP clauses are encoded (85272 SAT variables, 764389 SAT clauses)
29.86/13.78 c (13,12) 39777 (30 %) CSP clauses are encoded (85272 SAT variables, 1053907 SAT clauses)
29.95/13.87 c (13,13) 53036 (40 %) CSP clauses are encoded (85272 SAT variables, 1075643 SAT clauses)
30.05/13.93 c (13,13) 66295 (50 %) CSP clauses are encoded (85272 SAT variables, 1088902 SAT clauses)
30.05/13.99 c (13,13) 79554 (60 %) CSP clauses are encoded (85272 SAT variables, 1102161 SAT clauses)
30.16/14.05 c (13,13) 92813 (70 %) CSP clauses are encoded (85272 SAT variables, 1115420 SAT clauses)
30.26/14.11 c (13,13) 106072 (80 %) CSP clauses are encoded (85272 SAT variables, 1128679 SAT clauses)
30.36/14.28 c (13,13) 119331 (90 %) CSP clauses are encoded (85272 SAT variables, 1184304 SAT clauses)
30.54/14.35 c (13,13) 132589 (100 %) CSP clauses are encoded (85272 SAT variables, 1197562 SAT clauses)
30.54/14.35 c (13,13) CSPinCNF to SatSolver End
30.54/14.35 c (13,13) Heap : 901 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
31.28/14.74 c (14,13) STATISTICS2:HOME/instance-4294531-1532361905.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,58902,132589,42,42,42,2,42:19934;41:606;40:1165;39:1124;38:2338;8:1764;7:1764,42:145153;41:2169;40:4035;39:3711;38:7308;8:8232;7:7644;2:151335,42:7;38:20;36:1;8:294;7:462;4:445;3:29791;2:101494;1:75,2:28695;1:272197,
31.28/14.74 c (14,13) SatSolver.solve Begin
31.28/14.74 c (14,13) 85272 bool, 1197563 clause
31.28/14.74 c (14,13) 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-4294531-1532361905.xml-scop-18159.cnf HOME/instance-4294531-1532361905.xml-scop-18159.cnf.out
33.06/16.40 c (15,0) receiving signal SIGTERM
33.06/16.40 s UNKNOWN
33.06/16.41 c (15,13) SatSolver is killed by some reasons.
33.06/16.41 c (15,13) 0,0,8,9,10,10,13,TO,TO,STOP-AFTER(DIMACS)
33.06/16.41 c END-Prog: Mon Jul 23 18:05:21 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 (5802 MiB free)
memory of node 1: 16384 MiB (8099 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294531-1532361905/watcher-4294531-1532361905 -o /tmp/evaluation-result-4294531-1532361905/solver-4294531-1532361905 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8950 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294531-1532361905.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=18159, runsolver pid=18156
Current StackSize limit: 8192 KiB
[startup+0.100106 s]*
/proc/loadavg: 2.93 2.27 2.13 5/221 18174
/proc/meminfo: memFree=14176648/32770624 swapFree=67108860/67108860
[pid=18159] ppid=18156 vsize=15011656 memory=72288 CPUtime=0.11 cores=0,2,4,6
/proc/18159/stat : 18159 (java) S 18156 18159 8919 0 -1 1077944320 6248 0 0 0 9 2 0 0 20 0 15 0 53753637 15371935744 18072 33554432000 4194304 4196468 140725007595552 140725007578096 140348334972663 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
/proc/18159/statm: 3752914 18072 2782 1 0 3715374 0
[pid=18159/tid=18161] ppid=18156 vsize=15011656 memory=-6871259845000215376 CPUtime=0.09 cores=0,2,4,6
/proc/18159/task/18161/stat : 18161 (java) R 18156 18159 8919 0 -1 4202560 4333 0 0 0 8 1 0 0 20 0 15 0 53753637 15371935744 18072 33554432000 4194304 4196468 140725007595552 140348306784648 140348327209790 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18162] ppid=18156 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18162/stat : 18162 (java) S 18156 18159 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53753639 15371935744 18072 33554432000 4194304 4196468 140725007595552 140348339214608 140348334982869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18163] ppid=18156 vsize=15011656 memory=140613714736768 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18163/stat : 18163 (java) S 18156 18159 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53753639 15371935744 18072 33554432000 4194304 4196468 140725007595552 140348130298256 140348334982869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18164] ppid=18156 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18164/stat : 18164 (java) S 18156 18159 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53753639 15371935744 18072 33554432000 4194304 4196468 140725007595552 140348129245712 140348334982869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18165] ppid=18156 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18165/stat : 18165 (java) S 18156 18159 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53753639 15371935744 18072 33554432000 4194304 4196468 140725007595552 140348128193168 140348334982869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18166] ppid=18156 vsize=15011656 memory=140613714736768 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18166/stat : 18166 (java) S 18156 18159 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53753641 15371935744 18072 33554432000 4194304 4196468 140725007595552 140347305834992 140348334983810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18167] ppid=18156 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18167/stat : 18167 (java) S 18156 18159 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53753641 15371935744 18072 33554432000 4194304 4196468 140725007595552 140346914760096 140348334982869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18168] ppid=18156 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18168/stat : 18168 (java) S 18156 18159 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53753641 15371935744 18138 33554432000 4194304 4196468 140725007595552 140346646324720 140348334982869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18169] ppid=18156 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18169/stat : 18169 (java) S 18156 18159 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53753644 15371935744 18138 33554432000 4194304 4196468 140725007595552 140346271816400 140348334991259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18170] ppid=18156 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18170/stat : 18170 (java) S 18156 18159 8919 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 53753644 15371935744 18138 33554432000 4194304 4196468 140725007595552 140347304781808 140348334983810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18171] ppid=18156 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18171/stat : 18171 (java) S 18156 18159 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53753644 15371935744 18138 33554432000 4194304 4196468 140725007595552 140347303729264 140348334983810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18172] ppid=18156 vsize=15011656 memory=140613714736768 CPUtime=0.01 cores=0,2,4,6
/proc/18159/task/18172/stat : 18172 (java) S 18156 18159 8919 0 -1 1077944384 273 0 0 0 1 0 0 0 20 0 15 0 53753644 15371935744 18138 33554432000 4194304 4196468 140725007595552 140347302676720 140348334983810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18173] ppid=18156 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18173/stat : 18173 (java) S 18156 18159 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53753644 15371935744 18138 33554432000 4194304 4196468 140725007595552 140345773910624 140348334982869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18174] ppid=18156 vsize=15011656 memory=140613714736768 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18174/stat : 18174 (java) S 18156 18159 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53753644 15371935744 18138 33554432000 4194304 4196468 140725007595552 140347301624624 140348334983810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72288 KiB
[startup+0.210696 s]*
/proc/loadavg: 2.93 2.27 2.13 4/221 18174
/proc/meminfo: memFree=14162944/32770624 swapFree=67108860/67108860
[pid=18159] ppid=18156 vsize=15011656 memory=85608 CPUtime=0.25 cores=0,2,4,6
/proc/18159/stat : 18159 (java) S 18156 18159 8919 0 -1 1077944320 9844 0 0 0 22 3 0 0 20 0 15 0 53753637 15371935744 21402 33554432000 4194304 4196468 140725007595552 140725007578096 140348334972663 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
/proc/18159/statm: 3752914 21402 2885 1 0 3715374 0
[pid=18159/tid=18161] ppid=18156 vsize=15011656 memory=8389772277269004345 CPUtime=0.19 cores=0,2,4,6
/proc/18159/task/18161/stat : 18161 (java) R 18156 18159 8919 0 -1 4202560 7747 0 0 0 17 2 0 0 20 0 15 0 53753637 15371935744 21402 33554432000 4194304 4196468 140725007595552 140348306763328 140348319053150 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18162] ppid=18156 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18162/stat : 18162 (java) S 18156 18159 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53753639 15371935744 21402 33554432000 4194304 4196468 140725007595552 140348339214608 140348334982869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18163] ppid=18156 vsize=15011656 memory=3906791426155378336 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18163/stat : 18163 (java) S 18156 18159 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53753639 15371935744 21402 33554432000 4194304 4196468 140725007595552 140348130298256 140348334982869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18164] ppid=18156 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18164/stat : 18164 (java) S 18156 18159 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53753639 15371935744 21402 33554432000 4194304 4196468 140725007595552 140348129245712 140348334982869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18165] ppid=18156 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18165/stat : 18165 (java) S 18156 18159 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53753639 15371935744 21402 33554432000 4194304 4196468 140725007595552 140348128193168 140348334982869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18166] ppid=18156 vsize=15011656 memory=140613714736768 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18166/stat : 18166 (java) S 18156 18159 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53753641 15371935744 21402 33554432000 4194304 4196468 140725007595552 140347305834992 140348334983810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18167] ppid=18156 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18167/stat : 18167 (java) S 18156 18159 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53753641 15371935744 21402 33554432000 4194304 4196468 140725007595552 140346914760096 140348334982869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18168] ppid=18156 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18168/stat : 18168 (java) S 18156 18159 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53753641 15371935744 21402 33554432000 4194304 4196468 140725007595552 140346646324720 140348334982869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18169] ppid=18156 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18169/stat : 18169 (java) S 18156 18159 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53753644 15371935744 21402 33554432000 4194304 4196468 140725007595552 140346271816400 140348334991259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18170] ppid=18156 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18170/stat : 18170 (java) S 18156 18159 8919 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 53753644 15371935744 21402 33554432000 4194304 4196468 140725007595552 140347304781808 140348334983810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18171] ppid=18156 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18171/stat : 18171 (java) S 18156 18159 8919 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 53753644 15371935744 21402 33554432000 4194304 4196468 140725007595552 140347303729264 140348334983810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18172] ppid=18156 vsize=15011656 memory=140613714736768 CPUtime=0.03 cores=0,2,4,6
/proc/18159/task/18172/stat : 18172 (java) R 18156 18159 8919 0 -1 4202560 296 0 0 0 3 0 0 0 20 0 15 0 53753644 15371935744 21402 33554432000 4194304 4196468 140725007595552 140347302676720 140348319053150 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18173] ppid=18156 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18173/stat : 18173 (java) S 18156 18159 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53753644 15371935744 21402 33554432000 4194304 4196468 140725007595552 140345773910624 140348334982869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18174] ppid=18156 vsize=15011656 memory=140613714736768 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18174/stat : 18174 (java) S 18156 18159 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53753644 15371935744 21402 33554432000 4194304 4196468 140725007595552 140347301624624 140348334983810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85608 KiB
[startup+0.31036 s]*
/proc/loadavg: 2.93 2.27 2.13 3/221 18174
/proc/meminfo: memFree=14159532/32770624 swapFree=67108860/67108860
[pid=18159] ppid=18156 vsize=15011656 memory=89672 CPUtime=0.42 cores=0,2,4,6
/proc/18159/stat : 18159 (java) S 18156 18159 8919 0 -1 1077944320 10460 0 0 0 39 3 0 0 20 0 15 0 53753637 15371935744 22418 33554432000 4194304 4196468 140725007595552 140725007578096 140348334972663 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
/proc/18159/statm: 3752914 22418 2990 1 0 3715374 0
[pid=18159/tid=18161] ppid=18156 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=0,2,4,6
/proc/18159/task/18161/stat : 18161 (java) R 18156 18159 8919 0 -1 4202560 8169 0 0 0 27 2 0 0 20 0 15 0 53753637 15371935744 22418 33554432000 4194304 4196468 140725007595552 140348306776816 140348319053150 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18162] ppid=18156 vsize=15011656 memory=4294967638 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18162/stat : 18162 (java) S 18156 18159 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53753639 15371935744 22418 33554432000 4194304 4196468 140725007595552 140348339214608 140348334982869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18163] ppid=18156 vsize=15011656 memory=3834733832117450400 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18163/stat : 18163 (java) S 18156 18159 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53753639 15371935744 22418 33554432000 4194304 4196468 140725007595552 140348130298256 140348334982869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18164] ppid=18156 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18164/stat : 18164 (java) S 18156 18159 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53753639 15371935744 22418 33554432000 4194304 4196468 140725007595552 140348129245712 140348334982869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18165] ppid=18156 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18165/stat : 18165 (java) S 18156 18159 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53753639 15371935744 22418 33554432000 4194304 4196468 140725007595552 140348128193168 140348334982869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18166] ppid=18156 vsize=15011656 memory=140613714736768 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18166/stat : 18166 (java) S 18156 18159 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53753641 15371935744 22418 33554432000 4194304 4196468 140725007595552 140347305834992 140348334983810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18167] ppid=18156 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18167/stat : 18167 (java) S 18156 18159 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53753641 15371935744 22418 33554432000 4194304 4196468 140725007595552 140346914760096 140348334982869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18168] ppid=18156 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18168/stat : 18168 (java) S 18156 18159 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53753641 15371935744 22418 33554432000 4194304 4196468 140725007595552 140346646324720 140348334982869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18169] ppid=18156 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18169/stat : 18169 (java) S 18156 18159 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53753644 15371935744 22418 33554432000 4194304 4196468 140725007595552 140346271816400 140348334991259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18170] ppid=18156 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18159/task/18170/stat : 18170 (java) R 18156 18159 8919 0 -1 1077944384 522 0 0 0 2 0 0 0 20 0 15 0 53753644 15371935744 22418 33554432000 4194304 4196468 140725007595552 140347304781808 140348334983810 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18171] ppid=18156 vsize=15011656 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/18159/task/18171/stat : 18171 (java) R 18156 18159 8919 0 -1 4202560 93 0 0 0 1 0 0 0 20 0 15 0 53753644 15371935744 22418 33554432000 4194304 4196468 140725007595552 140347303729264 140348327957705 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18172] ppid=18156 vsize=15011656 memory=140613714736768 CPUtime=0.07 cores=0,2,4,6
/proc/18159/task/18172/stat : 18172 (java) R 18156 18159 8919 0 -1 4202560 340 0 0 0 7 0 0 0 20 0 15 0 53753644 15371935744 22418 33554432000 4194304 4196468 140725007595552 140347302676720 140348334984598 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18173] ppid=18156 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18173/stat : 18173 (java) S 18156 18159 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53753644 15371935744 22418 33554432000 4194304 4196468 140725007595552 140345773910624 140348334982869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18174] ppid=18156 vsize=15011656 memory=140613714736768 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18174/stat : 18174 (java) S 18156 18159 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53753644 15371935744 22418 33554432000 4194304 4196468 140725007595552 140347301624624 140348334983810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89672 KiB
[startup+0.700656 s]
/proc/loadavg: 2.93 2.27 2.13 3/221 18174
/proc/meminfo: memFree=14134732/32770624 swapFree=67108860/67108860
[pid=18159] ppid=18156 vsize=15017928 memory=128952 CPUtime=1 cores=0,2,4,6
/proc/18159/stat : 18159 (java) S 18156 18159 8919 0 -1 1077944320 17403 0 0 0 95 5 0 0 20 0 15 0 53753637 15378358272 32238 33554432000 4194304 4196468 140725007595552 140725007578096 140348334972663 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
/proc/18159/statm: 3754482 32238 3145 1 0 3715886 0
[pid=18159/tid=18161] ppid=18156 vsize=15017928 memory=218635981314645 CPUtime=0.67 cores=0,2,4,6
/proc/18159/task/18161/stat : 18161 (java) R 18156 18159 8919 0 -1 4202560 14673 0 0 0 63 4 0 0 20 0 15 0 53753637 15378358272 32238 33554432000 4194304 4196468 140725007595552 140348306809872 140347804067988 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18162] ppid=18156 vsize=15017928 memory=298567 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18162/stat : 18162 (java) S 18156 18159 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53753639 15378358272 32238 33554432000 4194304 4196468 140725007595552 140348339214608 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18163] ppid=18156 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18163/stat : 18163 (java) S 18156 18159 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53753639 15378358272 32238 33554432000 4194304 4196468 140725007595552 140348130298256 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18164] ppid=18156 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18164/stat : 18164 (java) S 18156 18159 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53753639 15378358272 32238 33554432000 4194304 4196468 140725007595552 140348129245712 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18165] ppid=18156 vsize=15017928 memory=7809523229951467574 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18165/stat : 18165 (java) S 18156 18159 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53753639 15378358272 32238 33554432000 4194304 4196468 140725007595552 140348128193168 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18166] ppid=18156 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18166/stat : 18166 (java) S 18156 18159 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53753641 15378358272 32238 33554432000 4194304 4196468 140725007595552 140347305834992 140348334983810 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18167] ppid=18156 vsize=15017928 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18167/stat : 18167 (java) S 18156 18159 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53753641 15378358272 32238 33554432000 4194304 4196468 140725007595552 140346914760096 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18168] ppid=18156 vsize=15017928 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18168/stat : 18168 (java) S 18156 18159 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53753641 15378358272 32238 33554432000 4194304 4196468 140725007595552 140346646324720 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18169] ppid=18156 vsize=15017928 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18169/stat : 18169 (java) S 18156 18159 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53753644 15378358272 32238 33554432000 4194304 4196468 140725007595552 140346271816400 140348334991259 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18170] ppid=18156 vsize=15017928 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18159/task/18170/stat : 18170 (java) R 18156 18159 8919 0 -1 4202560 749 0 0 0 8 0 0 0 20 0 15 0 53753644 15378358272 32238 33554432000 4194304 4196468 140725007595552 140347304773728 140348334994010 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18171] ppid=18156 vsize=15017928 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/18159/task/18171/stat : 18171 (java) R 18156 18159 8919 0 -1 1077944384 137 0 0 0 6 0 0 0 20 0 15 0 53753644 15378358272 32238 33554432000 4194304 4196468 140725007595552 140347303729264 140348334983810 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18172] ppid=18156 vsize=15017928 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/18159/task/18172/stat : 18172 (java) R 18156 18159 8919 0 -1 4202560 504 0 0 0 17 0 0 0 20 0 15 0 53753644 15378358272 32238 33554432000 4194304 4196468 140725007595552 140347302672672 140348334984598 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18173] ppid=18156 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18173/stat : 18173 (java) S 18156 18159 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53753644 15378358272 32238 33554432000 4194304 4196468 140725007595552 140345773910624 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18174] ppid=18156 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18174/stat : 18174 (java) S 18156 18159 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53753644 15378358272 32238 33554432000 4194304 4196468 140725007595552 140347301624624 140348334983810 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 128952 KiB
[startup+1.50189 s]
/proc/loadavg: 2.93 2.27 2.13 5/221 18174
/proc/meminfo: memFree=14075168/32770624 swapFree=67108860/67108860
[pid=18159] ppid=18156 vsize=15022100 memory=202396 CPUtime=3.55 cores=0,2,4,6
/proc/18159/stat : 18159 (java) S 18156 18159 8919 0 -1 1077944320 21771 0 0 0 347 8 0 0 20 0 15 0 53753637 15382630400 50599 33554432000 4194304 4196468 140725007595552 140725007578096 140348334972663 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
/proc/18159/statm: 3755525 50599 3202 1 0 3716910 0
[pid=18159/tid=18161] ppid=18156 vsize=15022100 memory=5794836780235446629 CPUtime=1.47 cores=0,2,4,6
/proc/18159/task/18161/stat : 18161 (java) R 18156 18159 8919 0 -1 4202560 15841 0 0 0 141 6 0 0 20 0 15 0 53753637 15382630400 50599 33554432000 4194304 4196468 140725007595552 140348306804768 140347809772819 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18162] ppid=18156 vsize=15022100 memory=6298673690012637541 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18162/stat : 18162 (java) S 18156 18159 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53753639 15382630400 50599 33554432000 4194304 4196468 140725007595552 140348339214608 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18163] ppid=18156 vsize=15022100 memory=7589518994083113836 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18163/stat : 18163 (java) S 18156 18159 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53753639 15382630400 50599 33554432000 4194304 4196468 140725007595552 140348130298256 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18164] ppid=18156 vsize=15022100 memory=7307489966490544722 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18164/stat : 18164 (java) S 18156 18159 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53753639 15382630400 50599 33554432000 4194304 4196468 140725007595552 140348129245712 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18165] ppid=18156 vsize=15022100 memory=4638778424102571344 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18165/stat : 18165 (java) S 18156 18159 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53753639 15382630400 50599 33554432000 4194304 4196468 140725007595552 140348128193168 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18166] ppid=18156 vsize=15022100 memory=7163656257619519568 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18166/stat : 18166 (java) S 18156 18159 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53753641 15382630400 50599 33554432000 4194304 4196468 140725007595552 140347305834992 140348334983810 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
################
# More data... #
################
[pid=18159/tid=18167] ppid=18156 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18167/stat : 18167 (java) S 18156 18159 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53753641 15384727552 147181 33554432000 4194304 4196468 140725007595552 140346914760096 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18168] ppid=18156 vsize=15024148 memory=422444 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18168/stat : 18168 (java) S 18156 18159 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53753641 15384727552 147181 33554432000 4194304 4196468 140725007595552 140346646324720 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18169] ppid=18156 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18169/stat : 18169 (java) S 18156 18159 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53753644 15384727552 147181 33554432000 4194304 4196468 140725007595552 140346271816400 140348334991259 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18170] ppid=18156 vsize=15024148 memory=281227210798880 CPUtime=1.99 cores=0,2,4,6
/proc/18159/task/18170/stat : 18170 (java) S 18156 18159 8919 0 -1 1077944384 2205 0 0 0 199 0 0 0 20 0 15 0 53753644 15384727552 147181 33554432000 4194304 4196468 140725007595552 140347304781808 140348334983810 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18171] ppid=18156 vsize=15024148 memory=218592360566241 CPUtime=2.07 cores=0,2,4,6
/proc/18159/task/18171/stat : 18171 (java) S 18156 18159 8919 0 -1 1077944384 2587 0 0 0 206 1 0 0 20 0 15 0 53753644 15384727552 147181 33554432000 4194304 4196468 140725007595552 140347303729264 140348334983810 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18172] ppid=18156 vsize=15024148 memory=0 CPUtime=1.07 cores=0,2,4,6
/proc/18159/task/18172/stat : 18172 (java) S 18156 18159 8919 0 -1 1077944384 3514 0 0 0 106 1 0 0 20 0 15 0 53753644 15384727552 147181 33554432000 4194304 4196468 140725007595552 140347302676720 140348334983810 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18173] ppid=18156 vsize=15024148 memory=140613605426848 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18173/stat : 18173 (java) S 18156 18159 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53753644 15384727552 147181 33554432000 4194304 4196468 140725007595552 140345773910624 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18174] ppid=18156 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18174/stat : 18174 (java) S 18156 18159 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53753644 15384727552 147181 33554432000 4194304 4196468 140725007595552 140347301624624 140348334983810 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
Current children cumulated CPU time: 8.23 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 588724 KiB
[startup+6.30075 s]
/proc/loadavg: 2.94 2.29 2.14 6/221 18174
/proc/meminfo: memFree=12538032/32770624 swapFree=67108860/67108860
[pid=18159] ppid=18156 vsize=15024148 memory=1839744 CPUtime=16.53 cores=0,2,4,6
/proc/18159/stat : 18159 (java) S 18156 18159 8919 0 -1 1077944320 34034 0 0 0 1617 36 0 0 20 0 15 0 53753637 15384727552 459936 33554432000 4194304 4196468 140725007595552 140725007578096 140348334972663 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
/proc/18159/statm: 3756037 459936 3212 1 0 3717422 0
[pid=18159/tid=18161] ppid=18156 vsize=15024148 memory=281226539908000 CPUtime=6.26 cores=0,2,4,6
/proc/18159/task/18161/stat : 18161 (java) R 18156 18159 8919 0 -1 4202560 18176 0 0 0 595 31 0 0 20 0 15 0 53753637 15384727552 459936 33554432000 4194304 4196468 140725007595552 140348306810128 140347810563920 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18162] ppid=18156 vsize=15024148 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18162/stat : 18162 (java) S 18156 18159 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53753639 15384727552 459936 33554432000 4194304 4196468 140725007595552 140348339214608 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18163] ppid=18156 vsize=15024148 memory=281227211511456 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18163/stat : 18163 (java) S 18156 18159 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53753639 15384727552 459936 33554432000 4194304 4196468 140725007595552 140348130298256 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18164] ppid=18156 vsize=15024148 memory=-7357787915995474596 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18164/stat : 18164 (java) S 18156 18159 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53753639 15384727552 459936 33554432000 4194304 4196468 140725007595552 140348129245712 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18165] ppid=18156 vsize=15024148 memory=-7523660553960122769 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18165/stat : 18165 (java) S 18156 18159 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53753639 15384727552 459936 33554432000 4194304 4196468 140725007595552 140348128193168 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18166] ppid=18156 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18166/stat : 18166 (java) S 18156 18159 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53753641 15384727552 459936 33554432000 4194304 4196468 140725007595552 140347305834992 140348334983810 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18167] ppid=18156 vsize=15024148 memory=281227210855040 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18167/stat : 18167 (java) S 18156 18159 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53753641 15384727552 459936 33554432000 4194304 4196468 140725007595552 140346914760096 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18168] ppid=18156 vsize=15024148 memory=281227210927520 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18168/stat : 18168 (java) S 18156 18159 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53753641 15384727552 459936 33554432000 4194304 4196468 140725007595552 140346646324720 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18169] ppid=18156 vsize=15024148 memory=281227210853312 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18169/stat : 18169 (java) S 18156 18159 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53753644 15384727552 459936 33554432000 4194304 4196468 140725007595552 140346271816400 140348334991259 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18170] ppid=18156 vsize=15024148 memory=6791534058613427641 CPUtime=4.23 cores=0,2,4,6
/proc/18159/task/18170/stat : 18170 (java) R 18156 18159 8919 0 -1 4202560 4569 0 0 0 423 0 0 0 20 0 15 0 53753644 15384727552 459936 33554432000 4194304 4196468 140725007595552 140347304774328 140348318469422 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18171] ppid=18156 vsize=15024148 memory=15872 CPUtime=4.37 cores=0,2,4,6
/proc/18159/task/18171/stat : 18171 (java) R 18156 18159 8919 0 -1 4202560 5572 0 0 0 435 2 0 0 20 0 15 0 53753644 15384727552 459936 33554432000 4194304 4196468 140725007595552 140347303715336 140348314192323 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18172] ppid=18156 vsize=15024148 memory=4048 CPUtime=1.63 cores=0,2,4,6
/proc/18159/task/18172/stat : 18172 (java) S 18156 18159 8919 0 -1 1077944384 4374 0 0 0 162 1 0 0 20 0 15 0 53753644 15384727552 459936 33554432000 4194304 4196468 140725007595552 140347302676720 140348334983810 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18173] ppid=18156 vsize=15024148 memory=10996 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18173/stat : 18173 (java) S 18156 18159 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53753644 15384727552 459936 33554432000 4194304 4196468 140725007595552 140345773910624 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18174] ppid=18156 vsize=15024148 memory=16444 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18174/stat : 18174 (java) S 18156 18159 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53753644 15384727552 459936 33554432000 4194304 4196468 140725007595552 140347301624624 140348334983810 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
Current children cumulated CPU time: 16.53 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 1839744 KiB
[startup+12.7008 s]
/proc/loadavg: 3.17 2.36 2.16 3/221 18174
/proc/meminfo: memFree=11099424/32770624 swapFree=67108860/67108860
[pid=18159] ppid=18156 vsize=15028312 memory=3135072 CPUtime=28.41 cores=0,2,4,6
/proc/18159/stat : 18159 (java) S 18156 18159 8919 0 -1 1077944320 38953 0 0 0 2773 68 0 0 20 0 15 0 53753637 15388991488 783768 33554432000 4194304 4196468 140725007595552 140725007578096 140348334972663 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
/proc/18159/statm: 3757078 783768 3233 1 0 3717934 0
[pid=18159/tid=18161] ppid=18156 vsize=15028312 memory=3135072 CPUtime=12.5 cores=0,2,4,6
/proc/18159/task/18161/stat : 18161 (java) R 18156 18159 8919 0 -1 4202560 19789 0 0 0 1201 49 0 0 20 0 15 0 53753637 15388991488 783768 33554432000 4194304 4196468 140725007595552 140348306812192 140347819020697 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18162] ppid=18156 vsize=15028312 memory=4140 CPUtime=0.14 cores=0,2,4,6
/proc/18159/task/18162/stat : 18162 (java) S 18156 18159 8919 0 -1 1077944384 81 0 0 0 11 3 0 0 20 0 15 0 53753639 15388991488 783768 33554432000 4194304 4196468 140725007595552 140348339214608 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18163] ppid=18156 vsize=15028312 memory=17168 CPUtime=0.14 cores=0,2,4,6
/proc/18159/task/18163/stat : 18163 (java) S 18156 18159 8919 0 -1 1077944384 91 0 0 0 11 3 0 0 20 0 15 0 53753639 15388991488 783768 33554432000 4194304 4196468 140725007595552 140348130298256 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18164] ppid=18156 vsize=15028312 memory=1296 CPUtime=0.13 cores=0,2,4,6
/proc/18159/task/18164/stat : 18164 (java) S 18156 18159 8919 0 -1 1077944384 55 0 0 0 11 2 0 0 20 0 15 0 53753639 15388991488 783768 33554432000 4194304 4196468 140725007595552 140348129245712 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18165] ppid=18156 vsize=15028312 memory=56 CPUtime=0.13 cores=0,2,4,6
/proc/18159/task/18165/stat : 18165 (java) S 18156 18159 8919 0 -1 1077944384 55 0 0 0 10 3 0 0 20 0 15 0 53753639 15388991488 783768 33554432000 4194304 4196468 140725007595552 140348128193168 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18166] ppid=18156 vsize=15028312 memory=6935653653823705168 CPUtime=0.01 cores=0,2,4,6
/proc/18159/task/18166/stat : 18166 (java) S 18156 18159 8919 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 15 0 53753641 15388991488 783768 33554432000 4194304 4196468 140725007595552 140347305834992 140348334983810 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18167] ppid=18156 vsize=15028312 memory=6935655852846960720 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18167/stat : 18167 (java) S 18156 18159 8919 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 53753641 15388991488 783768 33554432000 4194304 4196468 140725007595552 140346914760160 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18168] ppid=18156 vsize=15028312 memory=2590452 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18168/stat : 18168 (java) S 18156 18159 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53753641 15388991488 783768 33554432000 4194304 4196468 140725007595552 140346646324720 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18169] ppid=18156 vsize=15028312 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18169/stat : 18169 (java) S 18156 18159 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53753644 15388991488 783768 33554432000 4194304 4196468 140725007595552 140346271816400 140348334991259 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18170] ppid=18156 vsize=15028312 memory=2242292 CPUtime=6.59 cores=0,2,4,6
/proc/18159/task/18170/stat : 18170 (java) S 18156 18159 8919 0 -1 1077944384 5460 0 0 0 659 0 0 0 20 0 15 0 53753644 15388991488 783768 33554432000 4194304 4196468 140725007595552 140347304781808 140348334983810 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18171] ppid=18156 vsize=15028312 memory=4140 CPUtime=6.68 cores=0,2,4,6
/proc/18159/task/18171/stat : 18171 (java) S 18156 18159 8919 0 -1 1077944384 7185 0 0 0 666 2 0 0 20 0 15 0 53753644 15388991488 783768 33554432000 4194304 4196468 140725007595552 140347303729264 140348334983810 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18172] ppid=18156 vsize=15028312 memory=3134488 CPUtime=2.01 cores=0,2,4,6
/proc/18159/task/18172/stat : 18172 (java) S 18156 18159 8919 0 -1 1077944384 4880 0 0 0 199 2 0 0 20 0 15 0 53753644 15388991488 783768 33554432000 4194304 4196468 140725007595552 140347302676720 140348334983810 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18173] ppid=18156 vsize=15028312 memory=2553588 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18173/stat : 18173 (java) S 18156 18159 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53753644 15388991488 783768 33554432000 4194304 4196468 140725007595552 140345773910624 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18174] ppid=18156 vsize=15028312 memory=796 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18174/stat : 18174 (java) S 18156 18159 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53753644 15388991488 783768 33554432000 4194304 4196468 140725007595552 140347301624624 140348334983810 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
Current children cumulated CPU time: 28.41 s
Current children cumulated vsize: 15028312 KiB
Current children cumulated memory: 3135072 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+16.4009 s]
/proc/loadavg: 3.17 2.36 2.16 3/226 18180
/proc/meminfo: memFree=10785248/32770624 swapFree=67108860/67108860
[pid=18159] ppid=18156 vsize=15683912 memory=3293204 CPUtime=31.43 cores=0,2,4,6
/proc/18159/stat : 18159 (java) S 18156 18159 8919 0 -1 1077944320 39601 0 0 0 3057 86 0 0 20 0 19 0 53753637 16060325888 823301 33554432000 4194304 4196468 140725007595552 140725007578096 140348334972663 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
/proc/18159/statm: 3920978 823301 3242 1 0 3881834 0
[pid=18175] ppid=18159 vsize=199704 memory=147796 CPUtime=1.63 cores=0,2,4,6
/proc/18175/stat : 18175 (minisat_release) R 18159 18159 8919 0 -1 4202496 29304 0 0 0 158 5 0 0 20 0 1 0 53755113 204496896 36949 33554432000 4194304 4308513 140735617423376 140735617420008 4239019 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6409496 6410680 18911232 140735617430191 140735617430702 140735617430702 140735617433541 0
/proc/18175/statm: 49926 36949 332 28 0 46166 0
[pid=18159/tid=18161] ppid=18156 vsize=15683912 memory=281227211487632 CPUtime=14.45 cores=0,2,4,6
/proc/18159/task/18161/stat : 18161 (java) S 18156 18159 8919 0 -1 1077944384 20094 0 0 0 1394 51 0 0 20 0 19 0 53753637 16060325888 823301 33554432000 4194304 4196468 140725007595552 140348306811904 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18162] ppid=18156 vsize=15683912 memory=327695 CPUtime=0.28 cores=0,2,4,6
/proc/18159/task/18162/stat : 18162 (java) S 18156 18159 8919 0 -1 1077944384 145 0 0 0 21 7 0 0 20 0 19 0 53753639 16060325888 823301 33554432000 4194304 4196468 140725007595552 140348339214608 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18163] ppid=18156 vsize=15683912 memory=7684433391216329530 CPUtime=0.28 cores=0,2,4,6
/proc/18159/task/18163/stat : 18163 (java) S 18156 18159 8919 0 -1 1077944384 155 0 0 0 22 6 0 0 20 0 19 0 53753639 16060325888 823301 33554432000 4194304 4196468 140725007595552 140348130298256 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18164] ppid=18156 vsize=15683912 memory=-8675733323038954102 CPUtime=0.28 cores=0,2,4,6
/proc/18159/task/18164/stat : 18164 (java) S 18156 18159 8919 0 -1 1077944384 132 0 0 0 22 6 0 0 20 0 19 0 53753639 16060325888 823301 33554432000 4194304 4196468 140725007595552 140348129245712 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18165] ppid=18156 vsize=15683912 memory=1028 CPUtime=0.28 cores=0,2,4,6
/proc/18159/task/18165/stat : 18165 (java) S 18156 18159 8919 0 -1 1077944384 119 0 0 0 21 7 0 0 20 0 19 0 53753639 16060325888 823301 33554432000 4194304 4196468 140725007595552 140348128193168 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18166] ppid=18156 vsize=15683912 memory=-6366275496874131391 CPUtime=0.01 cores=0,2,4,6
/proc/18159/task/18166/stat : 18166 (java) S 18156 18159 8919 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 19 0 53753641 16060325888 823301 33554432000 4194304 4196468 140725007595552 140347305834992 140348334983810 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18167] ppid=18156 vsize=15683912 memory=5450916406748941627 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18167/stat : 18167 (java) S 18156 18159 8919 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 53753641 16060325888 823301 33554432000 4194304 4196468 140725007595552 140346914760160 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18168] ppid=18156 vsize=15683912 memory=772 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18168/stat : 18168 (java) S 18156 18159 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53753641 16060325888 823301 33554432000 4194304 4196468 140725007595552 140346646324736 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18169] ppid=18156 vsize=15683912 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18169/stat : 18169 (java) S 18156 18159 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53753644 16060325888 823301 33554432000 4194304 4196468 140725007595552 140346271816400 140348334991259 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18170] ppid=18156 vsize=15683912 memory=12837 CPUtime=6.78 cores=0,2,4,6
/proc/18159/task/18170/stat : 18170 (java) S 18156 18159 8919 0 -1 1077944384 5460 0 0 0 678 0 0 0 20 0 19 0 53753644 16060325888 823301 33554432000 4194304 4196468 140725007595552 140347304781808 140348334983810 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18171] ppid=18156 vsize=15683912 memory=4208735216450615072 CPUtime=6.91 cores=0,2,4,6
/proc/18159/task/18171/stat : 18171 (java) S 18156 18159 8919 0 -1 1077944384 7185 0 0 0 689 2 0 0 20 0 19 0 53753644 16060325888 823301 33554432000 4194304 4196468 140725007595552 140347303729264 140348334983810 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18172] ppid=18156 vsize=15683912 memory=8170202901712039785 CPUtime=2.05 cores=0,2,4,6
/proc/18159/task/18172/stat : 18172 (java) S 18156 18159 8919 0 -1 1077944384 4885 0 0 0 203 2 0 0 20 0 19 0 53753644 16060325888 823301 33554432000 4194304 4196468 140725007595552 140347302676720 140348334983810 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18173] ppid=18156 vsize=15683912 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18173/stat : 18173 (java) S 18156 18159 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53753644 16060325888 823301 33554432000 4194304 4196468 140725007595552 140345773910624 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18174] ppid=18156 vsize=15683912 memory=12837 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18174/stat : 18174 (java) S 18156 18159 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53753644 16060325888 823301 33554432000 4194304 4196468 140725007595552 140347301624624 140348334983810 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18176] ppid=18156 vsize=15683912 memory=4293672347913707878 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18176/stat : 18176 (java) S 18156 18159 8919 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 53755113 16060325888 823301 33554432000 4194304 4196468 140725007595552 140347283592768 140348334997273 0 4 0 25189583 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18178] ppid=18156 vsize=15683912 memory=6935651454800449616 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18178/stat : 18178 (java) S 18156 18159 8919 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 53755113 16060325888 823301 33554432000 4194304 4196468 140725007595552 140345237024816 140348334994589 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18179] ppid=18156 vsize=15683912 memory=7738993309122904172 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18179/stat : 18179 (java) S 18156 18159 8919 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 53755113 16060325888 823301 33554432000 4194304 4196468 140725007595552 140345371245744 140348334994589 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
[pid=18159/tid=18180] ppid=18156 vsize=15683912 memory=15438481196 CPUtime=0 cores=0,2,4,6
/proc/18159/task/18180/stat : 18180 (java) S 18156 18159 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53755115 16060325888 823301 33554432000 4194304 4196468 140725007595552 140344968600608 140348334982869 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17178624 140725007602676 140725007602953 140725007602953 140725007605711 0
Current children cumulated CPU time: 33.06 s
Current children cumulated vsize: 15883616 KiB
Current children cumulated memory: 3441000 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+16.4335 s]
# the end of solver process 18159 was just reported to runsolver
# cumulated CPU time of all completed processes: user=32.164 s, system=0.949765 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 16.4336
CPU time (s): 33.1137
CPU user time (s): 32.164
CPU system time (s): 0.949765
CPU usage (%): 201.5
Max. virtual memory (cumulated for all children) (KiB): 15883616
Max. memory (cumulated for all children) (KiB): 3441000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.164
system time used= 0.949765
maximum resident set size= 3296136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68961
page faults= 0
swaps= 0
block input operations= 0
block output operations= 47464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6115
involuntary context switches= 85
# summary of solver processes directly reported to runsolver:
# pid: 18159
# total CPU time (s): 33.1137
# total CPU user time (s): 32.164
# total CPU system time (s): 0.949765
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.128174 second user time and 0.201773 second system time
The end