0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-22533-serial-file.bin HOME/instance-4305756-1534075153.xml
0.67/0.52
0.67/0.52 scop both+minisat_release (2018-07-31)
0.67/0.52 (Encoding Process)
0.67/0.52
0.67/0.55 c BEGIN-Prog: Sun Aug 12 13:59:13 CEST 2018
0.67/0.55 c PID: 22536
0.67/0.55 c IP: 172.20.3.135
0.67/0.55 c HOST: node135.alineos.net
0.67/0.55 c (0,0) Parsing Begin
2.02/1.09 c (0,0) Parsing End
2.02/1.10 c (0,0) CSP: 360 int (0 aux), 0 bool (0 aux), 253 ctr, max domain size 30
2.02/1.10 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.02/1.10 c (0,0) Constraint Name Generate Begin
2.41/1.11 c (0,0) Ctr:HOME/instance-4305756-1534075153.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr
2.41/1.11 c (0,0) Constraint Name Generate End
2.41/1.11 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.41/1.11 c (0,0) CSP to CSPinCNF Begin
3.54/1.56 c (1,1) translated 26 (10%) constraints
3.54/1.58 c (1,1) translated 51 (20%) constraints
6.10/2.33 c (1,1) translated 76 (30%) constraints
6.44/2.42 c (1,1) translated 102 (40%) constraints
6.44/2.49 c (1,1) translated 127 (50%) constraints
6.78/2.53 c (2,1) translated 152 (60%) constraints
6.78/2.58 c (2,2) translated 178 (70%) constraints
7.12/2.64 c (2,2) translated 203 (80%) constraints
7.12/2.68 c (2,2) translated 228 (90%) constraints
7.42/2.73 c (2,2) translated 253 (100%) constraints
7.76/2.86 c (2,2) STATISTICS1:HOME/instance-4305756-1534075153.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,1075,10903,30,30,30,2,30:2480;29:116;28:93;27:193;4:90;3:90,30:17350;29:423;28:321;27:630;4:900;3:720;2:3045,30:12;5:90;4:175;3:6091;2:4495;1:40,2:3062;1:22665;0:180,
7.76/2.86 c (2,2) ==========================================
7.76/2.86 c (2,2) Both Encoding selects:
7.76/2.86 c (2,2) Order
7.76/2.86 c (2,2) ==========================================
8.10/2.94 c (2,2) translated 1091 (10%) constraints
8.10/2.99 c (2,2) translated 2181 (20%) constraints
8.41/3.07 c (2,2) translated 3271 (30%) constraints
8.98/3.21 c (2,2) translated 4362 (40%) constraints
9.29/3.33 c (2,2) translated 5452 (50%) constraints
9.60/3.44 c (2,2) translated 6542 (60%) constraints
9.91/3.55 c (3,3) translated 7633 (70%) constraints
10.20/3.63 c (3,3) translated 8723 (80%) constraints
10.20/3.67 c (3,3) translated 9813 (90%) constraints
10.52/3.70 c (3,3) translated 10903 (100%) constraints
10.52/3.70 c (3,3) CSP to CSPinCNF End
10.52/3.71 c (3,3) CSP: 360 int (0 aux), 6115 bool (6115 aux), 21703 ctr, max domain size 30
10.52/3.71 c (3,3) Heap : 675 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
10.52/3.71 c (3,3) CSPinCNF Propagation Begin
11.16/3.93 c (3,3) 72 values, 731 unsatisfiable literals, and 522 valid clauses are removed
11.16/3.93 c (3,3) CSPinCNF Propagation End
11.16/3.93 c (3,3) CSP: 414 int (54 aux), 6061 bool (6061 aux), 21181 ctr, max domain size 30
11.16/3.93 c (3,3) Heap : 788 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
11.16/3.93 c (3,3) Simplify CSPinCNF Begin
11.80/4.13 c (3,3) Simplify CSPinCNF End
11.80/4.13 c (3,3) CSP: 414 int (54 aux), 11788 bool (11788 aux), 26908 ctr, max domain size 30
11.80/4.13 c (3,3) Heap : 844 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
11.80/4.13 c (3,3) Calculate Precise Domain Begin
11.80/4.13 c (3,3) 0 values are removed by re-calculation
11.80/4.13 c (3,3) Calculate Precise Domain End
11.80/4.14 c (3,3) CSP: 414 int (54 aux), 11788 bool (11788 aux), 26908 ctr, max domain size 30
11.80/4.14 c (3,3) Heap : 844 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
11.80/4.14 c (3,3) CSPinCNF to SatSolver Begin
12.75/4.48 c (3,3) 2691 (10 %) CSP clauses are encoded (17404 SAT variables, 58456 SAT clauses)
13.19/4.65 c (4,4) 5382 (20 %) CSP clauses are encoded (17404 SAT variables, 111891 SAT clauses)
13.43/4.80 c (4,4) 8073 (30 %) CSP clauses are encoded (17404 SAT variables, 161918 SAT clauses)
13.43/4.82 c (4,4) 10764 (40 %) CSP clauses are encoded (17404 SAT variables, 165257 SAT clauses)
13.43/4.83 c (4,4) 13454 (50 %) CSP clauses are encoded (17404 SAT variables, 167947 SAT clauses)
13.43/4.85 c (4,4) 16145 (60 %) CSP clauses are encoded (17404 SAT variables, 170638 SAT clauses)
13.43/4.86 c (4,4) 18836 (70 %) CSP clauses are encoded (17404 SAT variables, 173329 SAT clauses)
13.43/4.88 c (4,4) 21527 (80 %) CSP clauses are encoded (17404 SAT variables, 176020 SAT clauses)
13.43/4.89 c (4,4) 24218 (90 %) CSP clauses are encoded (17404 SAT variables, 179415 SAT clauses)
13.55/4.94 c (4,4) 26908 (100 %) CSP clauses are encoded (17404 SAT variables, 189008 SAT clauses)
13.55/4.94 c (4,4) Launch Command will be: minisat_release
13.55/4.94 c (4,4) CSPinCNF to SatSolver End
13.55/4.94 c (4,4) Heap : 1351 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
14.16/5.11 c (4,4) STATISTICS2:HOME/instance-4305756-1534075153.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,12202,26908,30,30,30,2,30:4181;29:214;28:387;27:710;4:180;3:180,30:29667;29:733;28:1263;27:2116;4:1080;3:900;2:30275,30:3;27:8;25:1;4:175;3:5749;2:20932;1:40,2:5852;1:54330,
14.16/5.11 c (4,4) 17404 bool, 189009 clause
14.16/5.11 c (4,4) Export Begin
14.46/5.23 c (4,4) Export to HOME/scop-22533-serial-file.bin
14.46/5.23 c (4,4) Export End
14.46/5.23 c (4,4) Export File Size: 0.07 MB
14.46/5.23 c (4,4) 0,0,3,3,3,3,4,STOP-AFTER(DIMACS)
14.46/5.23 c END-Prog: Sun Aug 12 13:59:18 CEST 2018
14.46/5.25 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-22533-serial-file.bin
14.55/5.74 c (0,0) Read Serial File Begin
14.55/5.74 c (0,0) HOME/scop-22533-serial-file.bin
14.55/5.94 c (0,0) Read Serial File End
14.55/5.96
14.55/5.96 scop order+minisat_release (2018-07-31)
14.55/5.96 (Solving Process)
14.55/5.96
14.55/5.98 c BEGIN-Prog: Sun Aug 12 13:59:19 CEST 2018
14.55/5.98 c PID: 22551
14.55/5.98 c IP: 172.20.3.135
14.55/5.98 c HOST: node135.alineos.net
14.55/5.98 c (0,0) SatSolver.solve Begin
14.55/5.98 c (0,0) 0 bool, 0 clause
14.55/5.98 c (0,0) minisat_release HOME/instance-4305756-1534075153.xml-scop-22536.cnf
15.83/6.31 c (0,0) c This is COMiniSatPS.
15.83/6.31 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
15.83/6.31 c (0,0) c ============================[ Problem Statistics ]=============================
15.83/6.31 c (0,0) c | |
15.83/6.31 c (0,0) c | Number of variables: 17404 |
15.83/6.31 c (0,0) c | Number of clauses: 188622 |
15.83/6.31 c (0,0) c | Parse time: 0.06 s |
15.83/6.31 c (0,0) c | Eliminated clauses: 0.18 Mb |
15.83/6.31 c (0,0) c Reduced to 7888 vars, 162213 cls (grow=0)
15.83/6.31 c (0,0) c No iterative elimination performed. (vars=7888, c/v ratio=20.6)
15.83/6.31 c (0,0) c | Simplification time: 0.18 s |
15.83/6.31 c (0,0) c | |
15.83/6.31 c (0,0) c ============================[ Search Statistics ]==============================
15.83/6.31 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
15.83/6.31 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
15.83/6.31 c (0,0) c ===============================================================================
15.83/6.31 c (0,0) c ===============================================================================
15.83/6.31 c (0,0) c restarts : 4
15.83/6.31 c (0,0) c conflicts : 1407 (4722 /sec)
15.83/6.31 c (0,0) c decisions : 4291 (0.00 % random) (14402 /sec)
15.83/6.31 c (0,0) c propagations : 309102 (1037467 /sec)
15.83/6.31 c (0,0) c conflict literals : 23312 (6.05 % deleted)
15.83/6.31 c (0,0) c CPU time : 0.297939 s
15.83/6.31 c (0,0)
15.83/6.31 c (0,0) s SATISFIABLE
15.83/6.35 c (0,0) SatSolver.solve End
15.83/6.35 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
15.83/6.35 c (0,0) Show results Begin
16.37/6.43 s SATISFIABLE
16.37/6.45 v <instantiation>
16.37/6.45 v <list>vr[0][0] vr[0][1] vr[0][2] vr[1][0] vr[1][1] vr[1][2] vr[2][0] vr[2][1] vr[2][2] vr[3][0] vr[3][1] vr[3][2] vr[4][0] vr[4][1] vr[4][2] vr[5][0] vr[5][1] vr[5][2] vr[6][0] vr[6][1] vr[6][2] vr[7][0] vr[7][1] vr[7][2] vr[8][0] vr[8][1] vr[8][2] vr[9][0] vr[9][1] vr[9][2] vr[10][0] vr[10][1] vr[10][2] vr[11][0] vr[11][1] vr[11][2] vr[12][0] vr[12][1] vr[12][2] vr[13][0] vr[13][1] vr[13][2] vr[14][0] vr[14][1] vr[14][2] vr[15][0] vr[15][1] vr[15][2] vr[16][0] vr[16][1] vr[16][2] vr[17][0] vr[17][1] vr[17][2] vr[18][0] vr[18][1] vr[18][2] vr[19][0] vr[19][1] vr[19][2] vr[20][0] vr[20][1] vr[20][2] vr[21][0] vr[21][1] vr[21][2] vr[22][0] vr[22][1] vr[22][2] vr[23][0] vr[23][1] vr[23][2] vr[24][0] vr[24][1] vr[24][2] vr[25][0] vr[25][1] vr[25][2] vr[26][0] vr[26][1] vr[26][2] vr[27][0] vr[27][1] vr[27][2] vr[28][0] vr[28][1] vr[28][2] vr[29][0] vr[29][1] vr[29][2] ve[0][0] ve[0][1] ve[0][2] ve[1][0] ve[1][1] ve[1][2] ve[2][0] ve[2][1] ve[2][2] ve[3][0] ve[3][1] ve[3][2] ve[4][0] ve[4][1] ve[4][2] ve[5][0] ve[5][1] ve[5][2] ve[6][0] ve[6][1] ve[6][2] ve[7][0] ve[7][1] ve[7][2] ve[8][0] ve[8][1] ve[8][2] ve[9][0] ve[9][1] ve[9][2] ve[10][0] ve[10][1] ve[10][2] ve[11][0] ve[11][1] ve[11][2] ve[12][0] ve[12][1] ve[12][2] ve[13][0] ve[13][1] ve[13][2] ve[14][0] ve[14][1] ve[14][2] ve[15][0] ve[15][1] ve[15][2] ve[16][0] ve[16][1] ve[16][2] ve[17][0] ve[17][1] ve[17][2] ve[18][0] ve[18][1] ve[18][2] ve[19][0] ve[19][1] ve[19][2] ve[20][0] ve[20][1] ve[20][2] ve[21][0] ve[21][1] ve[21][2] ve[22][0] ve[22][1] ve[22][2] ve[23][0] ve[23][1] ve[23][2] ve[24][0] ve[24][1] ve[24][2] ve[25][0] ve[25][1] ve[25][2] ve[26][0] ve[26][1] ve[26][2] ve[27][0] ve[27][1] ve[27][2] ve[28][0] ve[28][1] ve[28][2] ve[29][0] ve[29][1] ve[29][2] gvr[0][0] gvr[0][1] gvr[0][2] gvr[1][0] gvr[1][1] gvr[1][2] gvr[2][0] gvr[2][1] gvr[2][2] gvr[3][0] gvr[3][1] gvr[3][2] gvr[4][0] gvr[4][1] gvr[4][2] gvr[5][0] gvr[5][1] gvr[5][2] gvr[6][0] gvr[6][1] gvr[6][2] gvr[7][0] gvr[7][1] gvr[7][2] gvr[8][0] gvr[8][1] gvr[8][2] gvr[9][0] gvr[9][1] gvr[9][2] gvr[10][0] gvr[10][1] gvr[10][2] gvr[11][0] gvr[11][1] gvr[11][2] gvr[12][0] gvr[12][1] gvr[12][2] gvr[13][0] gvr[13][1] gvr[13][2] gvr[14][0] gvr[14][1] gvr[14][2] gvr[15][0] gvr[15][1] gvr[15][2] gvr[16][0] gvr[16][1] gvr[16][2] gvr[17][0] gvr[17][1] gvr[17][2] gvr[18][0] gvr[18][1] gvr[18][2] gvr[19][0] gvr[19][1] gvr[19][2] gvr[20][0] gvr[20][1] gvr[20][2] gvr[21][0] gvr[21][1] gvr[21][2] gvr[22][0] gvr[22][1] gvr[22][2] gvr[23][0] gvr[23][1] gvr[23][2] gvr[24][0] gvr[24][1] gvr[24][2] gvr[25][0] gvr[25][1] gvr[25][2] gvr[26][0] gvr[26][1] gvr[26][2] gvr[27][0] gvr[27][1] gvr[27][2] gvr[28][0] gvr[28][1] gvr[28][2] gvr[29][0] gvr[29][1] gvr[29][2] gve[0][0] gve[0][1] gve[0][2] gve[1][0] gve[1][1] gve[1][2] gve[2][0] gve[2][1] gve[2][2] gve[3][0] gve[3][1] gve[3][2] gve[4][0] gve[4][1] gve[4][2] gve[5][0] gve[5][1] gve[5][2] gve[6][0] gve[6][1] gve[6][2] gve[7][0] gve[7][1] gve[7][2] gve[8][0] gve[8][1] gve[8][2] gve[9][0] gve[9][1] gve[9][2] gve[10][0] gve[10][1] gve[10][2] gve[11][0] gve[11][1] gve[11][2] gve[12][0] gve[12][1] gve[12][2] gve[13][0] gve[13][1] gve[13][2] gve[14][0] gve[14][1] gve[14][2] gve[15][0] gve[15][1] gve[15][2] gve[16][0] gve[16][1] gve[16][2] gve[17][0] gve[17][1] gve[17][2] gve[18][0] gve[18][1] gve[18][2] gve[19][0] gve[19][1] gve[19][2] gve[20][0] gve[20][1] gve[20][2] gve[21][0] gve[21][1] gve[21][2] gve[22][0] gve[22][1] gve[22][2] gve[23][0] gve[23][1] gve[23][2] gve[24][0] gve[24][1] gve[24][2] gve[25][0] gve[25][1] gve[25][2] gve[26][0] gve[26][1] gve[26][2] gve[27][0] gve[27][1] gve[27][2] gve[28][0] gve[28][1] gve[28][2] gve[29][0] gve[29][1] gve[29][2]</list>
16.37/6.45 v <values>0 12 24 1 14 27 2 13 22 3 25 19 4 20 18 5 23 10 6 28 16 7 29 17 8 21 11 9 15 26 10 22 9 11 5 29 12 24 4 13 6 25 14 2 20 15 8 23 16 7 21 17 26 2 18 27 5 19 9 28 20 11 8 21 3 14 22 4 15 23 0 13 24 16 7 25 1 12 26 10 0 27 17 1 28 18 3 29 19 6 0 23 26 1 25 27 2 14 17 3 21 28 4 22 12 5 11 18 6 13 29 7 16 24 8 15 20 9 19 10 10 26 5 11 20 8 12 0 25 13 2 23 14 1 21 15 9 22 16 24 6 17 27 7 18 28 4 19 29 3 20 4 14 21 8 16 22 10 2 23 5 15 24 12 0 25 3 13 26 17 9 27 18 1 28 6 19 29 7 11 0 1 2 0 1 2 0 1 2 0 2 1 0 2 1 0 2 1 0 2 1 0 2 1 0 2 1 0 1 2 1 2 0 1 0 2 1 2 0 1 0 2 1 0 2 1 0 2 1 0 2 1 2 0 1 2 0 1 0 2 2 1 0 2 0 1 2 0 1 2 0 1 2 1 0 2 0 1 2 1 0 2 1 0 2 1 0 2 1 0 0 2 3 0 2 3 0 1 2 0 2 3 0 2 1 0 1 2 0 1 3 0 1 2 0 1 2 0 2 1 1 3 0 1 2 0 1 0 2 1 0 2 1 0 2 1 0 2 1 2 0 2 3 0 2 3 0 2 3 0 2 0 1 2 0 1 2 1 0 2 0 1 2 1 0 2 0 1 3 2 0 3 2 0 3 0 2 3 0 1</values>
16.37/6.45 v </instantiation>
16.37/6.45 c (0,0) Show results End
16.37/6.45 c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
16.37/6.45 c (0,0) 0,0,STOP-AFTER(ALL)
16.37/6.45 c END-Prog: Sun Aug 12 13:59:19 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 (6946 MiB free)
memory of node 1: 16384 MiB (4576 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305756-1534075153/watcher-4305756-1534075153 -o /tmp/evaluation-result-4305756-1534075153/solver-4305756-1534075153 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534062530-19414 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305756-1534075153.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
Current StackSize limit: 8192 KiB
solver pid=22533, runsolver pid=22530
[startup+0.100061 s]*
/proc/loadavg: 2.00 2.02 2.05 3/226 22550
/proc/meminfo: memFree=11739756/32770624 swapFree=67108860/67108860
[pid=22533] ppid=22530 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22533/stat : 22533 (scop.sh) S 22530 22533 19383 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225078425 115843072 349 33554432000 4194304 5098028 140730834752416 140730834749672 140393057563260 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37937152 140730834756673 140730834756871 140730834756871 140730834759629 0
/proc/22533/statm: 28282 349 296 221 0 87 0
[pid=22536] ppid=22533 vsize=15012476 memory=72708 CPUtime=0.11 cores=0,2,4,6
/proc/22536/stat : 22536 (java) S 22533 22533 19383 0 -1 1077944320 6794 0 0 0 9 2 0 0 20 0 15 0 225078425 15372775424 18177 33554432000 4194304 4196468 140731692598800 140731692581344 139750847438583 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
/proc/22536/statm: 3753119 18177 2770 1 0 3715579 0
[pid=22536/tid=22537] ppid=22533 vsize=15012476 memory=7533807676074704953 CPUtime=0.09 cores=0,2,4,6
/proc/22536/task/22537/stat : 22537 (java) R 22533 22533 19383 0 -1 4202560 4880 0 0 0 8 1 0 0 20 0 15 0 225078425 15372775424 18177 33554432000 4194304 4196468 140731692598800 139750819250568 139750830625409 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22538] ppid=22533 vsize=15012476 memory=3472468409115850416 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22538/stat : 22538 (java) S 22533 22533 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225078427 15372775424 18177 33554432000 4194304 4196468 140731692598800 139750851681424 139750847448789 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22539] ppid=22533 vsize=15012476 memory=140112888170112 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22539/stat : 22539 (java) S 22533 22533 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225078427 15372775424 18177 33554432000 4194304 4196468 140731692598800 139750665837584 139750847448789 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22540] ppid=22533 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22540/stat : 22540 (java) S 22533 22533 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225078427 15372775424 18177 33554432000 4194304 4196468 140731692598800 139750664784784 139750847448789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22541] ppid=22533 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22541/stat : 22541 (java) S 22533 22533 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225078427 15372775424 18177 33554432000 4194304 4196468 140731692598800 139750663731984 139750847448789 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22542] ppid=22533 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22542/stat : 22542 (java) S 22533 22533 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225078429 15372775424 18177 33554432000 4194304 4196468 140731692598800 139749884983664 139750847449730 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22543] ppid=22533 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22543/stat : 22543 (java) S 22533 22533 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225078429 15372775424 18177 33554432000 4194304 4196468 140731692598800 139749377434656 139750847448789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22544] ppid=22533 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22544/stat : 22544 (java) S 22533 22533 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225078429 15372775424 18177 33554432000 4194304 4196468 140731692598800 139749108999024 139750847448789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22545] ppid=22533 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22545/stat : 22545 (java) S 22533 22533 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225078432 15372775424 18177 33554432000 4194304 4196468 140731692598800 139748734490448 139750847457179 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22546] ppid=22533 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22546/stat : 22546 (java) S 22533 22533 19383 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 225078432 15372775424 18177 33554432000 4194304 4196468 140731692598800 139749883931504 139750847449730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22547] ppid=22533 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22547/stat : 22547 (java) S 22533 22533 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225078432 15372775424 18177 33554432000 4194304 4196468 140731692598800 139749882878704 139750847449730 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22548] ppid=22533 vsize=15012476 memory=140112888170112 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22548/stat : 22548 (java) S 22533 22533 19383 0 -1 1077944384 283 0 0 0 0 0 0 0 20 0 15 0 225078432 15372775424 18177 33554432000 4194304 4196468 140731692598800 139749881825904 139750847449730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22549] ppid=22533 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22549/stat : 22549 (java) S 22533 22533 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225078432 15372775424 18177 33554432000 4194304 4196468 140731692598800 139748236585696 139750847448789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22550] ppid=22533 vsize=15012476 memory=140112888170112 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22550/stat : 22550 (java) S 22533 22533 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225078432 15372775424 18177 33554432000 4194304 4196468 140731692598800 139749880773296 139750847449730 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74104 KiB
[startup+0.210845 s]*
/proc/loadavg: 2.00 2.02 2.05 3/226 22550
/proc/meminfo: memFree=11726176/32770624 swapFree=67108860/67108860
[pid=22533] ppid=22530 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22533/stat : 22533 (scop.sh) S 22530 22533 19383 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225078425 115843072 349 33554432000 4194304 5098028 140730834752416 140730834749672 140393057563260 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37937152 140730834756673 140730834756871 140730834756871 140730834759629 0
/proc/22533/statm: 28282 349 296 221 0 87 0
[pid=22536] ppid=22533 vsize=15012476 memory=85740 CPUtime=0.26 cores=0,2,4,6
/proc/22536/stat : 22536 (java) S 22533 22533 19383 0 -1 1077944320 10302 0 0 0 23 3 0 0 20 0 15 0 225078425 15372775424 21435 33554432000 4194304 4196468 140731692598800 140731692581344 139750847438583 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
/proc/22536/statm: 3753119 21435 2903 1 0 3715579 0
[pid=22536/tid=22537] ppid=22533 vsize=15012476 memory=8514701219881124769 CPUtime=0.2 cores=0,2,4,6
/proc/22536/task/22537/stat : 22537 (java) R 22533 22533 19383 0 -1 4202560 8206 0 0 0 18 2 0 0 20 0 15 0 225078425 15372775424 21435 33554432000 4194304 4196468 140731692598800 139750819263392 139750847460509 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22538] ppid=22533 vsize=15012476 memory=3472468409115850416 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22538/stat : 22538 (java) S 22533 22533 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225078427 15372775424 21435 33554432000 4194304 4196468 140731692598800 139750851681424 139750847448789 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22539] ppid=22533 vsize=15012476 memory=140112888170112 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22539/stat : 22539 (java) S 22533 22533 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225078427 15372775424 21435 33554432000 4194304 4196468 140731692598800 139750665837584 139750847448789 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22540] ppid=22533 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22540/stat : 22540 (java) S 22533 22533 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225078427 15372775424 21435 33554432000 4194304 4196468 140731692598800 139750664784784 139750847448789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22541] ppid=22533 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22541/stat : 22541 (java) S 22533 22533 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225078427 15372775424 21435 33554432000 4194304 4196468 140731692598800 139750663731984 139750847448789 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22542] ppid=22533 vsize=15012476 memory=140112888170112 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22542/stat : 22542 (java) S 22533 22533 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225078429 15372775424 21435 33554432000 4194304 4196468 140731692598800 139749884983664 139750847449730 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22543] ppid=22533 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22543/stat : 22543 (java) S 22533 22533 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225078429 15372775424 21435 33554432000 4194304 4196468 140731692598800 139749377434656 139750847448789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22544] ppid=22533 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22544/stat : 22544 (java) S 22533 22533 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225078429 15372775424 21435 33554432000 4194304 4196468 140731692598800 139749108999024 139750847448789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22545] ppid=22533 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22545/stat : 22545 (java) S 22533 22533 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225078432 15372775424 21435 33554432000 4194304 4196468 140731692598800 139748734490448 139750847457179 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22546] ppid=22533 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22546/stat : 22546 (java) S 22533 22533 19383 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 225078432 15372775424 21435 33554432000 4194304 4196468 140731692598800 139749883931504 139750847449730 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22547] ppid=22533 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22547/stat : 22547 (java) S 22533 22533 19383 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 225078432 15372775424 21435 33554432000 4194304 4196468 140731692598800 139749882878704 139750847449730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22548] ppid=22533 vsize=15012476 memory=140112888170112 CPUtime=0.03 cores=0,2,4,6
/proc/22536/task/22548/stat : 22548 (java) R 22533 22533 19383 0 -1 4202560 299 0 0 0 3 0 0 0 20 0 15 0 225078432 15372775424 21435 33554432000 4194304 4196468 140731692598800 139749881825904 139750847459930 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22549] ppid=22533 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22549/stat : 22549 (java) S 22533 22533 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225078432 15372775424 21435 33554432000 4194304 4196468 140731692598800 139748236585696 139750847448789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22550] ppid=22533 vsize=15012476 memory=140112888170112 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22550/stat : 22550 (java) S 22533 22533 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225078432 15372775424 21435 33554432000 4194304 4196468 140731692598800 139749880773296 139750847449730 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87136 KiB
[startup+0.310834 s]*
/proc/loadavg: 2.00 2.02 2.05 3/226 22550
/proc/meminfo: memFree=11722004/32770624 swapFree=67108860/67108860
[pid=22533] ppid=22530 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22533/stat : 22533 (scop.sh) S 22530 22533 19383 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225078425 115843072 349 33554432000 4194304 5098028 140730834752416 140730834749672 140393057563260 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37937152 140730834756673 140730834756871 140730834756871 140730834759629 0
/proc/22533/statm: 28282 349 296 221 0 87 0
[pid=22536] ppid=22533 vsize=15012476 memory=89456 CPUtime=0.42 cores=0,2,4,6
/proc/22536/stat : 22536 (java) S 22533 22533 19383 0 -1 1077944320 10890 0 0 0 39 3 0 0 20 0 15 0 225078425 15372775424 22364 33554432000 4194304 4196468 140731692598800 140731692581344 139750847438583 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
/proc/22536/statm: 3753119 22364 2971 1 0 3715579 0
[pid=22536/tid=22537] ppid=22533 vsize=15012476 memory=8514701219881124769 CPUtime=0.29 cores=0,2,4,6
/proc/22536/task/22537/stat : 22537 (java) R 22533 22533 19383 0 -1 4202560 8621 0 0 0 27 2 0 0 20 0 15 0 225078425 15372775424 22364 33554432000 4194304 4196468 140731692598800 139750819234032 139750333878340 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22538] ppid=22533 vsize=15012476 memory=3472468409115850416 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22538/stat : 22538 (java) S 22533 22533 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225078427 15372775424 22364 33554432000 4194304 4196468 140731692598800 139750851681424 139750847448789 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22539] ppid=22533 vsize=15012476 memory=280225660226432 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22539/stat : 22539 (java) S 22533 22533 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225078427 15372775424 22364 33554432000 4194304 4196468 140731692598800 139750665837584 139750847448789 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22540] ppid=22533 vsize=15012476 memory=280225544144928 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22540/stat : 22540 (java) S 22533 22533 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225078427 15372775424 22364 33554432000 4194304 4196468 140731692598800 139750664784784 139750847448789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22541] ppid=22533 vsize=15012476 memory=140112772056335 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22541/stat : 22541 (java) S 22533 22533 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225078427 15372775424 22364 33554432000 4194304 4196468 140731692598800 139750663731984 139750847448789 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22542] ppid=22533 vsize=15012476 memory=280225660233344 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22542/stat : 22542 (java) S 22533 22533 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225078429 15372775424 22364 33554432000 4194304 4196468 140731692598800 139749884983664 139750847449730 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22543] ppid=22533 vsize=15012476 memory=140112772060943 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22543/stat : 22543 (java) S 22533 22533 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225078429 15372775424 22364 33554432000 4194304 4196468 140731692598800 139749377434656 139750847448789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22544] ppid=22533 vsize=15012476 memory=140112772085670 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22544/stat : 22544 (java) S 22533 22533 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225078429 15372775424 22364 33554432000 4194304 4196468 140731692598800 139749108999024 139750847448789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22545] ppid=22533 vsize=15012476 memory=280225544154144 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22545/stat : 22545 (java) S 22533 22533 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225078432 15372775424 22364 33554432000 4194304 4196468 140731692598800 139748734490448 139750847457179 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22546] ppid=22533 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22536/task/22546/stat : 22546 (java) S 22533 22533 19383 0 -1 1077944384 362 0 0 0 2 0 0 0 20 0 15 0 225078432 15372775424 22364 33554432000 4194304 4196468 140731692598800 139749883931504 139750847449730 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22547] ppid=22533 vsize=15012476 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/22536/task/22547/stat : 22547 (java) S 22533 22533 19383 0 -1 1077944384 247 0 0 0 2 0 0 0 20 0 15 0 225078432 15372775424 22364 33554432000 4194304 4196468 140731692598800 139749882878704 139750847449730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22548] ppid=22533 vsize=15012476 memory=140112888170112 CPUtime=0.07 cores=0,2,4,6
/proc/22536/task/22548/stat : 22548 (java) R 22533 22533 19383 0 -1 4202560 328 0 0 0 7 0 0 0 20 0 15 0 225078432 15372775424 22364 33554432000 4194304 4196468 140731692598800 139749881825904 139750847450518 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22549] ppid=22533 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22549/stat : 22549 (java) S 22533 22533 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225078432 15372775424 22364 33554432000 4194304 4196468 140731692598800 139748236585696 139750847448789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22550] ppid=22533 vsize=15012476 memory=140112888171508 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22550/stat : 22550 (java) S 22533 22533 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225078432 15372775424 22364 33554432000 4194304 4196468 140731692598800 139749880773296 139750847449730 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 90852 KiB
[startup+0.700997 s]
/proc/loadavg: 2.00 2.02 2.05 4/226 22550
/proc/meminfo: memFree=11697284/32770624 swapFree=67108860/67108860
[pid=22533] ppid=22530 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22533/stat : 22533 (scop.sh) S 22530 22533 19383 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225078425 115843072 349 33554432000 4194304 5098028 140730834752416 140730834749672 140393057563260 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37937152 140730834756673 140730834756871 140730834756871 140730834759629 0
/proc/22533/statm: 28282 349 296 221 0 87 0
[pid=22536] ppid=22533 vsize=15020872 memory=127664 CPUtime=1.01 cores=0,2,4,6
/proc/22536/stat : 22536 (java) S 22533 22533 19383 0 -1 1077944320 18019 0 0 0 96 5 0 0 20 0 15 0 225078425 15381372928 31916 33554432000 4194304 4196468 140731692598800 140731692581344 139750847438583 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
/proc/22536/statm: 3755218 31916 3164 1 0 3716603 0
[pid=22536/tid=22537] ppid=22533 vsize=15020872 memory=57 CPUtime=0.67 cores=0,2,4,6
/proc/22536/task/22537/stat : 22537 (java) R 22533 22533 19383 0 -1 4202560 15294 0 0 0 63 4 0 0 20 0 15 0 225078425 15381372928 31916 33554432000 4194304 4196468 140731692598800 139750819270480 139750831519070 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22538] ppid=22533 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22538/stat : 22538 (java) S 22533 22533 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225078427 15381372928 31916 33554432000 4194304 4196468 140731692598800 139750851681424 139750847448789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22539] ppid=22533 vsize=15020872 memory=7886766292050393141 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22539/stat : 22539 (java) S 22533 22533 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225078427 15381372928 31916 33554432000 4194304 4196468 140731692598800 139750665837584 139750847448789 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22540] ppid=22533 vsize=15020872 memory=7518566443438921570 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22540/stat : 22540 (java) S 22533 22533 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225078427 15381372928 31916 33554432000 4194304 4196468 140731692598800 139750664784784 139750847448789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22541] ppid=22533 vsize=15020872 memory=7372762397046498368 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22541/stat : 22541 (java) S 22533 22533 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225078427 15381372928 31916 33554432000 4194304 4196468 140731692598800 139750663731984 139750847448789 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22542] ppid=22533 vsize=15020872 memory=2319389199337275488 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22542/stat : 22542 (java) S 22533 22533 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225078429 15381372928 31916 33554432000 4194304 4196468 140731692598800 139749884983664 139750847449730 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22543] ppid=22533 vsize=15020872 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22543/stat : 22543 (java) S 22533 22533 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225078429 15381372928 31916 33554432000 4194304 4196468 140731692598800 139749377434656 139750847448789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22544] ppid=22533 vsize=15020872 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22544/stat : 22544 (java) S 22533 22533 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225078429 15381372928 31916 33554432000 4194304 4196468 140731692598800 139749108999024 139750847448789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22545] ppid=22533 vsize=15020872 memory=968 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22545/stat : 22545 (java) S 22533 22533 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225078432 15381372928 31916 33554432000 4194304 4196468 140731692598800 139748734490448 139750847457179 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22546] ppid=22533 vsize=15020872 memory=12144 CPUtime=0.07 cores=0,2,4,6
/proc/22536/task/22546/stat : 22546 (java) S 22533 22533 19383 0 -1 1077944384 450 0 0 0 7 0 0 0 20 0 15 0 225078432 15381372928 31916 33554432000 4194304 4196468 140731692598800 139749883931504 139750847449730 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22547] ppid=22533 vsize=15020872 memory=1712 CPUtime=0.09 cores=0,2,4,6
/proc/22536/task/22547/stat : 22547 (java) S 22533 22533 19383 0 -1 1077944384 471 0 0 0 9 0 0 0 20 0 15 0 225078432 15381372928 31916 33554432000 4194304 4196468 140731692598800 139749882878704 139750847449730 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22548] ppid=22533 vsize=15020872 memory=8812 CPUtime=0.16 cores=0,2,4,6
/proc/22536/task/22548/stat : 22548 (java) S 22533 22533 19383 0 -1 1077944384 471 0 0 0 16 0 0 0 20 0 15 0 225078432 15381372928 31916 33554432000 4194304 4196468 140731692598800 139749881825904 139750847449730 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22549] ppid=22533 vsize=15020872 memory=4576 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22549/stat : 22549 (java) S 22533 22533 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225078432 15381372928 31916 33554432000 4194304 4196468 140731692598800 139748236585696 139750847448789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22550] ppid=22533 vsize=15020872 memory=15868 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22550/stat : 22550 (java) S 22533 22533 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225078432 15381372928 31916 33554432000 4194304 4196468 140731692598800 139749880773296 139750847449730 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 129060 KiB
[startup+1.50075 s]
/proc/loadavg: 2.16 2.05 2.06 6/226 22550
/proc/meminfo: memFree=11660056/32770624 swapFree=67108860/67108860
[pid=22533] ppid=22530 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22533/stat : 22533 (scop.sh) S 22530 22533 19383 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225078425 115843072 349 33554432000 4194304 5098028 140730834752416 140730834749672 140393057563260 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37937152 140730834756673 140730834756871 140730834756871 140730834759629 0
/proc/22533/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/22536/task/22541/stat : 22541 (java) S 22533 22533 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225078427 15385567232 127643 33554432000 4194304 4196468 140731692598800 139750663731984 139750847448789 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22542] ppid=22533 vsize=15024968 memory=465348 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22542/stat : 22542 (java) S 22533 22533 19383 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 225078429 15385567232 127643 33554432000 4194304 4196468 140731692598800 139749884983664 139750847449730 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22543] ppid=22533 vsize=15024968 memory=56 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22543/stat : 22543 (java) S 22533 22533 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225078429 15385567232 127643 33554432000 4194304 4196468 140731692598800 139749377434656 139750847448789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22544] ppid=22533 vsize=15024968 memory=-3255422371651459150 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22544/stat : 22544 (java) S 22533 22533 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225078429 15385567232 127643 33554432000 4194304 4196468 140731692598800 139749108999024 139750847448789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22545] ppid=22533 vsize=15024968 memory=-2461829820114675750 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22545/stat : 22545 (java) S 22533 22533 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225078432 15385567232 127643 33554432000 4194304 4196468 140731692598800 139748734490448 139750847457179 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22546] ppid=22533 vsize=15024968 memory=5495740422247797458 CPUtime=2.26 cores=0,2,4,6
/proc/22536/task/22546/stat : 22546 (java) R 22533 22533 19383 0 -1 4202560 3843 0 0 0 225 1 0 0 20 0 15 0 225078432 15385567232 127643 33554432000 4194304 4196468 140731692598800 139749883912240 139750830823433 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22547] ppid=22533 vsize=15024968 memory=1396 CPUtime=2.18 cores=0,2,4,6
/proc/22536/task/22547/stat : 22547 (java) R 22533 22533 19383 0 -1 4202560 1980 0 0 0 218 0 0 0 20 0 15 0 225078432 15385567232 127643 33554432000 4194304 4196468 140731692598800 139749882864144 139750827292183 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22548] ppid=22533 vsize=15024968 memory=387524 CPUtime=1.17 cores=0,2,4,6
/proc/22536/task/22548/stat : 22548 (java) S 22533 22533 19383 0 -1 1077944384 3718 0 0 0 115 2 0 0 20 0 15 0 225078432 15385567232 127643 33554432000 4194304 4196468 140731692598800 139749881825904 139750847449730 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22549] ppid=22533 vsize=15024968 memory=280225544410592 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22549/stat : 22549 (java) S 22533 22533 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225078432 15385567232 127643 33554432000 4194304 4196468 140731692598800 139748236585696 139750847448789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
[pid=22536/tid=22550] ppid=22533 vsize=15024968 memory=6442517281453002838 CPUtime=0 cores=0,2,4,6
/proc/22536/task/22550/stat : 22550 (java) S 22533 22533 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225078432 15385567232 127643 33554432000 4194304 4196468 140731692598800 139749880773296 139750847449730 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19623936 140731692602375 140731692602673 140731692602673 140731692605391 0
Current children cumulated CPU time: 8.71 s
Current children cumulated vsize: 15138096 KiB
Current children cumulated memory: 511968 KiB
[startup+6.3008 s]
/proc/loadavg: 2.31 2.09 2.07 6/226 22565
/proc/meminfo: memFree=11699888/32770624 swapFree=67108860/67108860
[pid=22533] ppid=22530 vsize=113128 memory=1472 CPUtime=14.55 cores=0,2,4,6
/proc/22533/stat : 22533 (scop.sh) S 22530 22533 19383 0 -1 4202496 592 33985 0 0 0 0 1421 34 20 0 1 0 225078425 115843072 368 33554432000 4194304 5098028 140730834752416 140730834749160 140393057563260 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37937152 140730834756673 140730834756871 140730834756871 140730834759629 0
/proc/22533/statm: 28282 368 311 221 0 87 0
[pid=22551] ppid=22533 vsize=8068220 memory=118440 CPUtime=1.28 cores=0,2,4,6
/proc/22551/stat : 22551 (java) S 22533 22533 19383 0 -1 1077944320 17819 0 0 0 122 6 0 0 20 0 19 0 225078951 8261857280 29610 33554432000 4194304 4196468 140727294783104 140727294765648 140311814610679 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
/proc/22551/statm: 2017055 29610 3151 1 0 1978454 0
[pid=22551/tid=22552] ppid=22533 vsize=8068220 memory=3560 CPUtime=0.77 cores=0,2,4,6
/proc/22551/task/22552/stat : 22552 (java) S 22533 22533 19383 0 -1 1077944384 14545 0 0 0 73 4 0 0 20 0 19 0 225078951 8261857280 29610 33554432000 4194304 4196468 140727294783104 140311786450832 140311814620885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22553] ppid=22533 vsize=8068220 memory=61188 CPUtime=0 cores=0,2,4,6
/proc/22551/task/22553/stat : 22553 (java) S 22533 22533 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225078952 8261857280 29610 33554432000 4194304 4196468 140727294783104 140311818852624 140311814620885 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22554] ppid=22533 vsize=8068220 memory=56 CPUtime=0 cores=0,2,4,6
/proc/22551/task/22554/stat : 22554 (java) S 22533 22533 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225078952 8261857280 29610 33554432000 4194304 4196468 140727294783104 140311619021200 140311814620885 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22555] ppid=22533 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22551/task/22555/stat : 22555 (java) S 22533 22533 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225078952 8261857280 29610 33554432000 4194304 4196468 140727294783104 140311617968656 140311814620885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22556] ppid=22533 vsize=8068220 memory=180 CPUtime=0 cores=0,2,4,6
/proc/22551/task/22556/stat : 22556 (java) S 22533 22533 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225078952 8261857280 29610 33554432000 4194304 4196468 140727294783104 140311616916112 140311814620885 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22557] ppid=22533 vsize=8068220 memory=-6813221025157435174 CPUtime=0 cores=0,2,4,6
/proc/22551/task/22557/stat : 22557 (java) S 22533 22533 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225078953 8261857280 29610 33554432000 4194304 4196468 140727294783104 140311059741168 140311814621826 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22558] ppid=22533 vsize=8068220 memory=6944656592455360608 CPUtime=0 cores=0,2,4,6
/proc/22551/task/22558/stat : 22558 (java) S 22533 22533 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225078954 8261857280 29610 33554432000 4194304 4196468 140727294783104 140310743082400 140311814620885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22559] ppid=22533 vsize=8068220 memory=-6669105837081579302 CPUtime=0 cores=0,2,4,6
/proc/22551/task/22559/stat : 22559 (java) S 22533 22533 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225078954 8261857280 29610 33554432000 4194304 4196468 140727294783104 140310474647024 140311814620885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22560] ppid=22533 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22551/task/22560/stat : 22560 (java) S 22533 22533 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225078957 8261857280 29610 33554432000 4194304 4196468 140727294783104 140310100138704 140311814629275 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22561] ppid=22533 vsize=8068220 memory=140112772121536 CPUtime=0.15 cores=0,2,4,6
/proc/22551/task/22561/stat : 22561 (java) S 22533 22533 19383 0 -1 1077944384 942 0 0 0 15 0 0 0 20 0 19 0 225078957 8261857280 29610 33554432000 4194304 4196468 140727294783104 140311058687984 140311814621826 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22562] ppid=22533 vsize=8068220 memory=140112772122106 CPUtime=0.1 cores=0,2,4,6
/proc/22551/task/22562/stat : 22562 (java) S 22533 22533 19383 0 -1 1077944384 329 0 0 0 10 0 0 0 20 0 19 0 225078957 8261857280 29610 33554432000 4194304 4196468 140727294783104 140311057635440 140311814621826 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22563] ppid=22533 vsize=8068220 memory=6944656575208382560 CPUtime=0.22 cores=0,2,4,6
/proc/22551/task/22563/stat : 22563 (java) S 22533 22533 19383 0 -1 1077944384 593 0 0 0 22 0 0 0 20 0 19 0 225078957 8261857280 29610 33554432000 4194304 4196468 140727294783104 140311056582896 140311814621826 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22564] ppid=22533 vsize=8068220 memory=14972265422916166 CPUtime=0 cores=0,2,4,6
/proc/22551/task/22564/stat : 22564 (java) S 22533 22533 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225078957 8261857280 29610 33554432000 4194304 4196468 140727294783104 140309602232928 140311814620885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22565] ppid=22533 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22551/task/22565/stat : 22565 (java) S 22533 22533 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225078957 8261857280 29610 33554432000 4194304 4196468 140727294783104 140311055530800 140311814621826 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22567] ppid=22533 vsize=8068220 memory=280225543880944 CPUtime=0 cores=0,2,4,6
/proc/22551/task/22567/stat : 22567 (java) S 22533 22533 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225079026 8261857280 29610 33554432000 4194304 4196468 140727294783104 140311047722560 140311814635289 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
Current children cumulated CPU time: 15.83 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 119912 KiB
[startup+6.52334 s]
# the end of solver process 22533 was just reported to runsolver
# cumulated CPU time of all completed processes: user=16.0832 s, system=0.428472 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40688 s]
/proc/loadavg: 2.31 2.09 2.07 6/226 22565
/proc/meminfo: memFree=11699888/32770624 swapFree=67108860/67108860
[pid=22533] ppid=22530 vsize=113128 memory=1472 CPUtime=14.55 cores=0,2,4,6
/proc/22533/stat : 22533 (scop.sh) S 22530 22533 19383 0 -1 4202496 592 33985 0 0 0 0 1421 34 20 0 1 0 225078425 115843072 368 33554432000 4194304 5098028 140730834752416 140730834749160 140393057563260 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37937152 140730834756673 140730834756871 140730834756871 140730834759629 0
/proc/22533/statm: 28282 368 311 221 0 87 0
[pid=22551] ppid=22533 vsize=7937144 memory=123676 CPUtime=1.82 cores=0,2,4,6
/proc/22551/stat : 22551 (java) S 22533 22533 19383 0 -1 1077944320 18180 6815 0 0 145 6 30 1 20 0 17 0 225078951 8127635456 30919 33554432000 4194304 4196468 140727294783104 140727294765648 140311814610679 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
/proc/22551/statm: 1984286 30919 3156 1 0 1945685 0
[pid=22551/tid=22552] ppid=22533 vsize=7937144 memory=280225543880944 CPUtime=1.13 cores=0,2,4,6
/proc/22551/task/22552/stat : 22552 (java) R 22533 22533 19383 0 -1 4202560 14691 6815 0 0 78 4 30 1 20 0 17 0 225078951 8127635456 30919 33554432000 4194304 4196468 140727294783104 140311786449152 140311814622614 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22553] ppid=22533 vsize=7937144 memory=6791534058613427641 CPUtime=0.31 cores=0,2,4,6
/proc/22551/task/22553/stat : 22553 (java) S 22533 22533 19383 0 -1 1077944384 1 6815 0 0 0 0 30 1 20 0 17 0 225078952 8127635456 30919 33554432000 4194304 4196468 140727294783104 140311818852624 140311814620885 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22554] ppid=22533 vsize=7937144 memory=586528 CPUtime=0.31 cores=0,2,4,6
/proc/22551/task/22554/stat : 22554 (java) S 22533 22533 19383 0 -1 1077944384 1 6815 0 0 0 0 30 1 20 0 17 0 225078952 8127635456 30919 33554432000 4194304 4196468 140727294783104 140311619021200 140311814620885 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22555] ppid=22533 vsize=7937144 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/22551/task/22555/stat : 22555 (java) S 22533 22533 19383 0 -1 1077944384 1 6815 0 0 0 0 30 1 20 0 17 0 225078952 8127635456 30919 33554432000 4194304 4196468 140727294783104 140311617968656 140311814620885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22556] ppid=22533 vsize=7937144 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/22551/task/22556/stat : 22556 (java) S 22533 22533 19383 0 -1 1077944384 2 6815 0 0 0 0 30 1 20 0 17 0 225078952 8127635456 30919 33554432000 4194304 4196468 140727294783104 140311616916112 140311814620885 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22557] ppid=22533 vsize=7937144 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/22551/task/22557/stat : 22557 (java) S 22533 22533 19383 0 -1 1077944384 5 6815 0 0 0 0 30 1 20 0 17 0 225078953 8127635456 30919 33554432000 4194304 4196468 140727294783104 140311059741168 140311814621826 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22558] ppid=22533 vsize=7937144 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/22551/task/22558/stat : 22558 (java) S 22533 22533 19383 0 -1 1077944384 13 6815 0 0 0 0 30 1 20 0 17 0 225078954 8127635456 30919 33554432000 4194304 4196468 140727294783104 140310743082400 140311814620885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22559] ppid=22533 vsize=7937144 memory=280225544742080 CPUtime=0.31 cores=0,2,4,6
/proc/22551/task/22559/stat : 22559 (java) S 22533 22533 19383 0 -1 1077944384 1 6815 0 0 0 0 30 1 20 0 17 0 225078954 8127635456 30919 33554432000 4194304 4196468 140727294783104 140310474647024 140311814620885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22560] ppid=22533 vsize=7937144 memory=140112772376352 CPUtime=0.31 cores=0,2,4,6
/proc/22551/task/22560/stat : 22560 (java) S 22533 22533 19383 0 -1 1077944384 3 6815 0 0 0 0 30 1 20 0 17 0 225078957 8127635456 30919 33554432000 4194304 4196468 140727294783104 140310100138704 140311814629275 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22561] ppid=22533 vsize=7937144 memory=0 CPUtime=0.51 cores=0,2,4,6
/proc/22551/task/22561/stat : 22561 (java) R 22533 22533 19383 0 -1 4202560 972 6815 0 0 20 0 30 1 20 0 17 0 225078957 8127635456 30919 33554432000 4194304 4196468 140727294783104 140311058676096 140311797995583 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22562] ppid=22533 vsize=7937144 memory=8514701219730522529 CPUtime=0.45 cores=0,2,4,6
/proc/22551/task/22562/stat : 22562 (java) R 22533 22533 19383 0 -1 1077944384 349 6815 0 0 14 0 30 1 20 0 17 0 225078957 8127635456 30919 33554432000 4194304 4196468 140727294783104 140311057635440 140311814621826 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22563] ppid=22533 vsize=7937144 memory=9047017150487036571 CPUtime=0.58 cores=0,2,4,6
/proc/22551/task/22563/stat : 22563 (java) R 22533 22533 19383 0 -1 4202560 703 6815 0 0 27 0 30 1 20 0 17 0 225078957 8127635456 30919 33554432000 4194304 4196468 140727294783104 140311056582896 140311807707388 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22564] ppid=22533 vsize=7937144 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/22551/task/22564/stat : 22564 (java) S 22533 22533 19383 0 -1 1077944384 3 6815 0 0 0 0 30 1 20 0 17 0 225078957 8127635456 30919 33554432000 4194304 4196468 140727294783104 140309602232928 140311814620885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22565] ppid=22533 vsize=7937144 memory=236888921255950 CPUtime=0.31 cores=0,2,4,6
/proc/22551/task/22565/stat : 22565 (java) S 22533 22533 19383 0 -1 1077944384 1 6815 0 0 0 0 30 1 20 0 17 0 225078957 8127635456 30919 33554432000 4194304 4196468 140727294783104 140311055530800 140311814621826 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22567] ppid=22533 vsize=7937144 memory=236888921255951 CPUtime=0.31 cores=0,2,4,6
/proc/22551/task/22567/stat : 22567 (java) S 22533 22533 19383 0 -1 1077944384 28 6815 0 0 0 0 30 1 20 0 17 0 225079026 8127635456 30919 33554432000 4194304 4196468 140727294783104 140311047721744 140311814621826 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
Current children cumulated CPU time: 16.37 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 125148 KiB
[startup+6.50075 s]
/proc/loadavg: 2.31 2.09 2.07 6/226 22565
/proc/meminfo: memFree=11699888/32770624 swapFree=67108860/67108860
[pid=22533] ppid=22530 vsize=113128 memory=1472 CPUtime=14.55 cores=0,2,4,6
/proc/22533/stat : 22533 (scop.sh) S 22530 22533 19383 0 -1 4202496 592 33985 0 0 0 0 1421 34 20 0 1 0 225078425 115843072 368 33554432000 4194304 5098028 140730834752416 140730834749160 140393057563260 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37937152 140730834756673 140730834756871 140730834756871 140730834759629 0
/proc/22533/statm: 28282 368 311 221 0 87 0
[pid=22551] ppid=22533 vsize=7937144 memory=128904 CPUtime=1.94 cores=0,2,4,6
/proc/22551/stat : 22551 (java) S 22533 22533 19383 0 -1 1077944320 18402 6815 0 0 156 7 30 1 20 0 17 0 225078951 8127635456 32226 33554432000 4194304 4196468 140727294783104 140727294765648 140311814610679 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
/proc/22551/statm: 1984286 32226 3176 1 0 1945685 0
[pid=22551/tid=22552] ppid=22533 vsize=7937144 memory=3560 CPUtime=1.19 cores=0,2,4,6
/proc/22551/task/22552/stat : 22552 (java) D 22533 22533 19383 0 -1 4202560 14804 6815 0 0 83 5 30 1 20 0 17 0 225078951 8127635456 32226 33554432000 4194304 4196468 140727294783104 140311786452456 140311807296311 0 4 2 25189581 18446744072100899973 0 0 -1 0 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22553] ppid=22533 vsize=7937144 memory=61188 CPUtime=0.31 cores=0,2,4,6
/proc/22551/task/22553/stat : 22553 (java) S 22533 22533 19383 0 -1 1077944384 1 6815 0 0 0 0 30 1 20 0 17 0 225078952 8127635456 32226 33554432000 4194304 4196468 140727294783104 140311818852624 140311814620885 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22554] ppid=22533 vsize=7937144 memory=56 CPUtime=0.31 cores=0,2,4,6
/proc/22551/task/22554/stat : 22554 (java) S 22533 22533 19383 0 -1 1077944384 1 6815 0 0 0 0 30 1 20 0 17 0 225078952 8127635456 32226 33554432000 4194304 4196468 140727294783104 140311619021200 140311814620885 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22555] ppid=22533 vsize=7937144 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/22551/task/22555/stat : 22555 (java) S 22533 22533 19383 0 -1 1077944384 1 6815 0 0 0 0 30 1 20 0 17 0 225078952 8127635456 32226 33554432000 4194304 4196468 140727294783104 140311617968656 140311814620885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22556] ppid=22533 vsize=7937144 memory=280225544222240 CPUtime=0.31 cores=0,2,4,6
/proc/22551/task/22556/stat : 22556 (java) S 22533 22533 19383 0 -1 1077944384 2 6815 0 0 0 0 30 1 20 0 17 0 225078952 8127635456 32226 33554432000 4194304 4196468 140727294783104 140311616916112 140311814620885 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22557] ppid=22533 vsize=7937144 memory=-6513729450372338020 CPUtime=0.31 cores=0,2,4,6
/proc/22551/task/22557/stat : 22557 (java) S 22533 22533 19383 0 -1 1077944384 5 6815 0 0 0 0 30 1 20 0 17 0 225078953 8127635456 32226 33554432000 4194304 4196468 140727294783104 140311059741168 140311814621826 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22558] ppid=22533 vsize=7937144 memory=-6623554556026971303 CPUtime=0.31 cores=0,2,4,6
/proc/22551/task/22558/stat : 22558 (java) S 22533 22533 19383 0 -1 1077944384 13 6815 0 0 0 0 30 1 20 0 17 0 225078954 8127635456 32226 33554432000 4194304 4196468 140727294783104 140310743082400 140311814620885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22559] ppid=22533 vsize=7937144 memory=-6513729450372338020 CPUtime=0.31 cores=0,2,4,6
/proc/22551/task/22559/stat : 22559 (java) S 22533 22533 19383 0 -1 1077944384 1 6815 0 0 0 0 30 1 20 0 17 0 225078954 8127635456 32226 33554432000 4194304 4196468 140727294783104 140310474647024 140311814620885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22560] ppid=22533 vsize=7937144 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/22551/task/22560/stat : 22560 (java) S 22533 22533 19383 0 -1 1077944384 3 6815 0 0 0 0 30 1 20 0 17 0 225078957 8127635456 32226 33554432000 4194304 4196468 140727294783104 140310100138704 140311814629275 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22561] ppid=22533 vsize=7937144 memory=140112772121536 CPUtime=0.54 cores=0,2,4,6
/proc/22551/task/22561/stat : 22561 (java) S 22533 22533 19383 0 -1 1077944384 991 6815 0 0 23 0 30 1 20 0 17 0 225078957 8127635456 32226 33554432000 4194304 4196468 140727294783104 140311058687984 140311814621826 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22562] ppid=22533 vsize=7937144 memory=140112772122106 CPUtime=0.46 cores=0,2,4,6
/proc/22551/task/22562/stat : 22562 (java) S 22533 22533 19383 0 -1 1077944384 356 6815 0 0 15 0 30 1 20 0 17 0 225078957 8127635456 32226 33554432000 4194304 4196468 140727294783104 140311057635440 140311814621826 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22563] ppid=22533 vsize=7937144 memory=6944656575208382560 CPUtime=0.61 cores=0,2,4,6
/proc/22551/task/22563/stat : 22563 (java) S 22533 22533 19383 0 -1 1077944384 782 6815 0 0 30 0 30 1 20 0 17 0 225078957 8127635456 32226 33554432000 4194304 4196468 140727294783104 140311056582896 140311814621826 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22564] ppid=22533 vsize=7937144 memory=14972265422916166 CPUtime=0.31 cores=0,2,4,6
/proc/22551/task/22564/stat : 22564 (java) S 22533 22533 19383 0 -1 1077944384 3 6815 0 0 0 0 30 1 20 0 17 0 225078957 8127635456 32226 33554432000 4194304 4196468 140727294783104 140309602232928 140311814620885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22565] ppid=22533 vsize=7937144 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/22551/task/22565/stat : 22565 (java) S 22533 22533 19383 0 -1 1077944384 3 6815 0 0 0 0 30 1 20 0 17 0 225078957 8127635456 32226 33554432000 4194304 4196468 140727294783104 140311055530800 140311814621826 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
[pid=22551/tid=22567] ppid=22533 vsize=7937144 memory=280225543880944 CPUtime=0.31 cores=0,2,4,6
/proc/22551/task/22567/stat : 22567 (java) S 22533 22533 19383 0 -1 1077944384 28 6815 0 0 0 0 30 1 20 0 17 0 225079026 8127635456 32226 33554432000 4194304 4196468 140727294783104 140311047721744 140311814621826 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34115584 140727294788789 140727294788913 140727294788913 140727294791631 0
Current children cumulated CPU time: 16.49 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 130376 KiB
Child status: 0
Real time (s): 6.5234
CPU time (s): 16.5116
CPU user time (s): 16.0832
CPU system time (s): 0.428472
CPU usage (%): 253.114
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 1418088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.0832
system time used= 0.428472
maximum resident set size= 1419176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59830
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5993
involuntary context switches= 71
# summary of solver processes directly reported to runsolver:
# pid: 22533
# total CPU time (s): 16.5116
# total CPU user time (s): 16.0832
# total CPU system time (s): 0.428472
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.06358 second user time and 0.115278 second system time
The end