0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-19462-serial-file.bin HOME/instance-4305520-1534074993.xml
0.55/0.51
0.55/0.51 scop order+minisat_release (2018-07-31)
0.55/0.51 (Encoding Process)
0.55/0.51
0.66/0.54 c BEGIN-Prog: Sun Aug 12 13:56:34 CEST 2018
0.66/0.54 c PID: 19465
0.66/0.54 c IP: 172.20.3.107
0.66/0.54 c HOST: node107.alineos.net
0.66/0.55 c (0,0) Parsing Begin
2.04/1.09 c (0,0) Parsing End
2.04/1.10 c (0,0) CSP: 360 int (0 aux), 0 bool (0 aux), 253 ctr, max domain size 30
2.04/1.10 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.04/1.10 c (0,0) Constraint Name Generate Begin
2.37/1.11 c (0,0) Ctr:HOME/instance-4305520-1534074993.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr
2.37/1.11 c (0,0) Constraint Name Generate End
2.37/1.11 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.37/1.11 c (0,0) CSP to CSPinCNF Begin
3.45/1.54 c (1,1) translated 26 (10%) constraints
3.45/1.56 c (1,1) translated 51 (20%) constraints
6.00/2.30 c (1,1) translated 76 (30%) constraints
6.00/2.38 c (1,1) translated 102 (40%) constraints
6.32/2.44 c (1,1) translated 127 (50%) constraints
6.32/2.49 c (1,1) translated 152 (60%) constraints
6.66/2.54 c (2,1) translated 178 (70%) constraints
6.66/2.59 c (2,2) translated 203 (80%) constraints
6.98/2.63 c (2,2) translated 228 (90%) constraints
6.98/2.68 c (2,2) translated 253 (100%) constraints
7.62/2.80 c (2,2) STATISTICS1:HOME/instance-4305520-1534074993.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.62/2.80 c (2,2) ==========================================
7.62/2.80 c (2,2) Order
7.62/2.80 c (2,2) ==========================================
7.62/2.88 c (2,2) translated 1091 (10%) constraints
7.94/2.93 c (2,2) translated 2181 (20%) constraints
8.27/3.01 c (2,2) translated 3271 (30%) constraints
8.58/3.14 c (2,2) translated 4362 (40%) constraints
8.85/3.27 c (2,2) translated 5452 (50%) constraints
9.16/3.38 c (2,2) translated 6542 (60%) constraints
9.47/3.49 c (2,2) translated 7633 (70%) constraints
10.00/3.67 c (3,3) translated 8723 (80%) constraints
10.11/3.72 c (3,3) translated 9813 (90%) constraints
10.11/3.75 c (3,3) translated 10903 (100%) constraints
10.11/3.75 c (3,3) CSP to CSPinCNF End
10.11/3.76 c (3,3) CSP: 360 int (0 aux), 6115 bool (6115 aux), 21703 ctr, max domain size 30
10.11/3.76 c (3,3) Heap : 619 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
10.11/3.76 c (3,3) CSPinCNF Propagation Begin
11.07/4.01 c (3,3) 72 values, 731 unsatisfiable literals, and 522 valid clauses are removed
11.07/4.01 c (3,3) CSPinCNF Propagation End
11.07/4.01 c (3,3) CSP: 414 int (54 aux), 6061 bool (6061 aux), 21181 ctr, max domain size 30
11.07/4.01 c (3,3) Heap : 732 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
11.07/4.01 c (3,3) Simplify CSPinCNF Begin
11.63/4.21 c (3,3) Simplify CSPinCNF End
11.63/4.21 c (3,3) CSP: 414 int (54 aux), 11788 bool (11788 aux), 26908 ctr, max domain size 30
11.63/4.21 c (3,3) Heap : 788 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.63/4.21 c (3,3) Calculate Precise Domain Begin
11.63/4.21 c (3,3) 0 values are removed by re-calculation
11.63/4.21 c (3,3) Calculate Precise Domain End
11.63/4.21 c (3,3) CSP: 414 int (54 aux), 11788 bool (11788 aux), 26908 ctr, max domain size 30
11.63/4.21 c (3,3) Heap : 788 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.63/4.21 c (3,3) CSPinCNF to SatSolver Begin
12.61/4.55 c (4,3) 2691 (10 %) CSP clauses are encoded (17404 SAT variables, 58456 SAT clauses)
12.94/4.72 c (4,4) 5382 (20 %) CSP clauses are encoded (17404 SAT variables, 111891 SAT clauses)
13.05/4.87 c (4,4) 8073 (30 %) CSP clauses are encoded (17404 SAT variables, 161918 SAT clauses)
13.05/4.89 c (4,4) 10764 (40 %) CSP clauses are encoded (17404 SAT variables, 165257 SAT clauses)
13.19/4.91 c (4,4) 13454 (50 %) CSP clauses are encoded (17404 SAT variables, 167947 SAT clauses)
13.19/4.92 c (4,4) 16145 (60 %) CSP clauses are encoded (17404 SAT variables, 170638 SAT clauses)
13.19/4.94 c (4,4) 18836 (70 %) CSP clauses are encoded (17404 SAT variables, 173329 SAT clauses)
13.19/4.95 c (4,4) 21527 (80 %) CSP clauses are encoded (17404 SAT variables, 176020 SAT clauses)
13.19/4.97 c (4,4) 24218 (90 %) CSP clauses are encoded (17404 SAT variables, 179415 SAT clauses)
13.35/5.01 c (4,4) 26908 (100 %) CSP clauses are encoded (17404 SAT variables, 189008 SAT clauses)
13.35/5.01 c (4,4) Launch Command will be: minisat_release
13.35/5.01 c (4,4) CSPinCNF to SatSolver End
13.35/5.01 c (4,4) Heap : 1295 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
13.66/5.18 c (4,4) STATISTICS2:HOME/instance-4305520-1534074993.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,
13.66/5.18 c (4,4) 17404 bool, 189009 clause
13.66/5.18 c (4,4) Export Begin
13.94/5.29 c (4,4) Export to HOME/scop-19462-serial-file.bin
13.94/5.29 c (4,4) Export End
13.94/5.29 c (4,4) Export File Size: 0.07 MB
13.94/5.29 c (4,4) 0,0,3,3,3,3,4,STOP-AFTER(DIMACS)
13.94/5.30 c END-Prog: Sun Aug 12 13:56:39 CEST 2018
14.23/5.32 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-19462-serial-file.bin
14.24/5.81 c (0,0) Read Serial File Begin
14.24/5.81 c (0,0) HOME/scop-19462-serial-file.bin
15.25/6.02 c (0,0) Read Serial File End
15.25/6.03
15.25/6.03 scop order+minisat_release (2018-07-31)
15.25/6.03 (Solving Process)
15.25/6.03
15.25/6.05 c BEGIN-Prog: Sun Aug 12 13:56:39 CEST 2018
15.25/6.05 c PID: 19480
15.25/6.05 c IP: 172.20.3.107
15.25/6.05 c HOST: node107.alineos.net
15.25/6.06 c (0,0) SatSolver.solve Begin
15.25/6.06 c (0,0) 0 bool, 0 clause
15.25/6.06 c (0,0) minisat_release HOME/instance-4305520-1534074993.xml-scop-19465.cnf
15.51/6.38 c (0,0) c This is COMiniSatPS.
15.51/6.38 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
15.51/6.38 c (0,0) c ============================[ Problem Statistics ]=============================
15.51/6.38 c (0,0) c | |
15.51/6.38 c (0,0) c | Number of variables: 17404 |
15.51/6.38 c (0,0) c | Number of clauses: 188622 |
15.51/6.38 c (0,0) c | Parse time: 0.05 s |
15.51/6.38 c (0,0) c | Eliminated clauses: 0.18 Mb |
15.51/6.38 c (0,0) c Reduced to 7888 vars, 162213 cls (grow=0)
15.51/6.38 c (0,0) c No iterative elimination performed. (vars=7888, c/v ratio=20.6)
15.51/6.38 c (0,0) c | Simplification time: 0.18 s |
15.51/6.38 c (0,0) c | |
15.51/6.38 c (0,0) c ============================[ Search Statistics ]==============================
15.51/6.38 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
15.51/6.38 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
15.51/6.38 c (0,0) c ===============================================================================
15.51/6.38 c (0,0) c ===============================================================================
15.51/6.38 c (0,0) c restarts : 4
15.51/6.38 c (0,0) c conflicts : 1407 (4825 /sec)
15.51/6.38 c (0,0) c decisions : 4291 (0.00 % random) (14716 /sec)
15.51/6.38 c (0,0) c propagations : 309102 (1060035 /sec)
15.51/6.38 c (0,0) c conflict literals : 23312 (6.05 % deleted)
15.51/6.38 c (0,0) c CPU time : 0.291596 s
15.51/6.38 c (0,0)
15.51/6.38 c (0,0) s SATISFIABLE
15.87/6.42 c (0,0) SatSolver.solve End
15.87/6.42 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
15.87/6.42 c (0,0) Show results Begin
16.09/6.50 s SATISFIABLE
16.09/6.52 v <instantiation>
16.09/6.52 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.09/6.52 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.09/6.52 v </instantiation>
16.09/6.52 c (0,0) Show results End
16.09/6.52 c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
16.09/6.52 c (0,0) 0,0,STOP-AFTER(ALL)
16.09/6.52 c END-Prog: Sun Aug 12 13:56:40 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 (12669 MiB free)
memory of node 1: 16384 MiB (11395 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305520-1534074993/watcher-4305520-1534074993 -o /tmp/evaluation-result-4305520-1534074993/solver-4305520-1534074993 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534064712-16637 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305520-1534074993.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=19462, runsolver pid=19459
Current StackSize limit: 8192 KiB
[startup+0.100133 s]*
/proc/loadavg: 2.00 2.09 2.07 4/222 19479
/proc/meminfo: memFree=24578476/32770624 swapFree=67108860/67108860
[pid=19462] ppid=19459 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19462/stat : 19462 (scop.sh) S 19459 19462 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225062529 115843072 349 33554432000 4194304 5098028 140731740665392 140731740662648 140270115222140 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20021248 140731740673088 140731740673287 140731740673287 140731740676045 0
/proc/19462/statm: 28282 349 296 221 0 87 0
[pid=19465] ppid=19462 vsize=15012476 memory=76336 CPUtime=0.11 cores=1,3,5,7
/proc/19465/stat : 19465 (java) S 19462 19462 16605 0 -1 1077944320 6638 0 0 0 9 2 0 0 20 0 15 0 225062529 15372775424 19018 33554432000 4194304 4196468 140737189892288 140737189874832 139795507347191 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
/proc/19465/statm: 3753119 19018 2770 1 0 3715579 0
[pid=19465/tid=19466] ppid=19462 vsize=15012476 memory=-6078870780940435399 CPUtime=0.09 cores=1,3,5,7
/proc/19465/task/19466/stat : 19466 (java) R 19462 19462 16605 0 -1 4202560 4776 0 0 0 7 2 0 0 20 0 15 0 225062530 15372775424 19084 33554432000 4194304 4196468 140737189892288 139795479124272 139795487623005 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19467] ppid=19462 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19467/stat : 19467 (java) S 19462 19462 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225062531 15372775424 19084 33554432000 4194304 4196468 140737189892288 139795511589904 139795507357397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19468] ppid=19462 vsize=15012476 memory=140438970279552 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19468/stat : 19468 (java) S 19462 19462 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225062531 15372775424 19084 33554432000 4194304 4196468 140737189892288 139795287293072 139795507357397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19469] ppid=19462 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19469/stat : 19469 (java) S 19462 19462 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225062531 15372775424 19084 33554432000 4194304 4196468 140737189892288 139795286240016 139795507357397 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19470] ppid=19462 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19470/stat : 19470 (java) S 19462 19462 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225062531 15372775424 19084 33554432000 4194304 4196468 140737189892288 139795285187472 139795507357397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19471] ppid=19462 vsize=15012476 memory=140438970279552 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19471/stat : 19471 (java) S 19462 19462 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225062533 15372775424 19150 33554432000 4194304 4196468 140737189892288 139794845755632 139795507358338 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19472] ppid=19462 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19472/stat : 19472 (java) S 19462 19462 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225062533 15372775424 19150 33554432000 4194304 4196468 140737189892288 139794139047072 139795507357397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19473] ppid=19462 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19473/stat : 19473 (java) S 19462 19462 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225062533 15372775424 19150 33554432000 4194304 4196468 140737189892288 139793870611184 139795507357397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19474] ppid=19462 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19474/stat : 19474 (java) S 19462 19462 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225062536 15372775424 19150 33554432000 4194304 4196468 140737189892288 139793496102864 139795507365787 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19475] ppid=19462 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19475/stat : 19475 (java) S 19462 19462 16605 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 225062536 15372775424 19150 33554432000 4194304 4196468 140737189892288 139794844703472 139795507358338 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19476] ppid=19462 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19476/stat : 19476 (java) S 19462 19462 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225062536 15372775424 19150 33554432000 4194304 4196468 140737189892288 139794843650928 139795507358338 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19477] ppid=19462 vsize=15012476 memory=140438970279552 CPUtime=0.01 cores=1,3,5,7
/proc/19465/task/19477/stat : 19477 (java) S 19462 19462 16605 0 -1 1077944384 277 0 0 0 1 0 0 0 20 0 15 0 225062536 15372775424 19150 33554432000 4194304 4196468 140737189892288 139794842597872 139795507358338 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19478] ppid=19462 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19478/stat : 19478 (java) S 19462 19462 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225062536 15372775424 19150 33554432000 4194304 4196468 140737189892288 139792998198112 139795507357397 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19479] ppid=19462 vsize=15012476 memory=140438970279552 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19479/stat : 19479 (java) S 19462 19462 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225062536 15372775424 19150 33554432000 4194304 4196468 140737189892288 139794841545264 139795507358338 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 77732 KiB
[startup+0.21054 s]*
/proc/loadavg: 2.00 2.09 2.07 3/222 19479
/proc/meminfo: memFree=24564988/32770624 swapFree=67108860/67108860
[pid=19462] ppid=19459 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19462/stat : 19462 (scop.sh) S 19459 19462 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225062529 115843072 349 33554432000 4194304 5098028 140731740665392 140731740662648 140270115222140 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20021248 140731740673088 140731740673287 140731740673287 140731740676045 0
/proc/19462/statm: 28282 349 296 221 0 87 0
[pid=19465] ppid=19462 vsize=15012476 memory=88620 CPUtime=0.26 cores=1,3,5,7
/proc/19465/stat : 19465 (java) S 19462 19462 16605 0 -1 1077944320 9986 0 0 0 23 3 0 0 20 0 15 0 225062529 15372775424 22155 33554432000 4194304 4196468 140737189892288 140737189874832 139795507347191 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
/proc/19465/statm: 3753119 22155 2881 1 0 3715579 0
[pid=19465/tid=19466] ppid=19462 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/19465/task/19466/stat : 19466 (java) R 19462 19462 16605 0 -1 4202560 7900 0 0 0 17 2 0 0 20 0 15 0 225062530 15372775424 22155 33554432000 4194304 4196468 140737189892288 139795479170976 139795493587718 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19467] ppid=19462 vsize=15012476 memory=539 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19467/stat : 19467 (java) S 19462 19462 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225062531 15372775424 22155 33554432000 4194304 4196468 140737189892288 139795511589904 139795507357397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19468] ppid=19462 vsize=15012476 memory=3762954239776892576 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19468/stat : 19468 (java) S 19462 19462 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225062531 15372775424 22155 33554432000 4194304 4196468 140737189892288 139795287293072 139795507357397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19469] ppid=19462 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19469/stat : 19469 (java) S 19462 19462 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225062531 15372775424 22155 33554432000 4194304 4196468 140737189892288 139795286240016 139795507357397 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19470] ppid=19462 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19470/stat : 19470 (java) S 19462 19462 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225062531 15372775424 22155 33554432000 4194304 4196468 140737189892288 139795285187472 139795507357397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19471] ppid=19462 vsize=15012476 memory=140438970279552 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19471/stat : 19471 (java) S 19462 19462 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225062533 15372775424 22155 33554432000 4194304 4196468 140737189892288 139794845755632 139795507358338 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19472] ppid=19462 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19472/stat : 19472 (java) S 19462 19462 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225062533 15372775424 22155 33554432000 4194304 4196468 140737189892288 139794139047072 139795507357397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19473] ppid=19462 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19473/stat : 19473 (java) S 19462 19462 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225062533 15372775424 22155 33554432000 4194304 4196468 140737189892288 139793870611184 139795507357397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19474] ppid=19462 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19474/stat : 19474 (java) S 19462 19462 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225062536 15372775424 22155 33554432000 4194304 4196468 140737189892288 139793496102864 139795507365787 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19475] ppid=19462 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/19465/task/19475/stat : 19475 (java) R 19462 19462 16605 0 -1 1077944384 419 0 0 0 1 0 0 0 20 0 15 0 225062536 15372775424 22155 33554432000 4194304 4196468 140737189892288 139794844703472 139795507358338 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19476] ppid=19462 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19476/stat : 19476 (java) R 19462 19462 16605 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 15 0 225062536 15372775424 22155 33554432000 4194304 4196468 140737189892288 139794843642576 139795485215008 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19477] ppid=19462 vsize=15012476 memory=140438970279552 CPUtime=0.03 cores=1,3,5,7
/proc/19465/task/19477/stat : 19477 (java) S 19462 19462 16605 0 -1 1077944384 295 0 0 0 3 0 0 0 20 0 15 0 225062536 15372775424 22155 33554432000 4194304 4196468 140737189892288 139794842597872 139795507358338 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19478] ppid=19462 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19478/stat : 19478 (java) S 19462 19462 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225062536 15372775424 22155 33554432000 4194304 4196468 140737189892288 139792998198112 139795507357397 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19479] ppid=19462 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19479/stat : 19479 (java) S 19462 19462 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225062536 15372775424 22155 33554432000 4194304 4196468 140737189892288 139794841545264 139795507358338 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 90016 KiB
[startup+0.310643 s]*
/proc/loadavg: 2.00 2.09 2.07 3/222 19479
/proc/meminfo: memFree=24561344/32770624 swapFree=67108860/67108860
[pid=19462] ppid=19459 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19462/stat : 19462 (scop.sh) S 19459 19462 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225062529 115843072 349 33554432000 4194304 5098028 140731740665392 140731740662648 140270115222140 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20021248 140731740673088 140731740673287 140731740673287 140731740676045 0
/proc/19462/statm: 28282 349 296 221 0 87 0
[pid=19465] ppid=19462 vsize=15012476 memory=92412 CPUtime=0.43 cores=1,3,5,7
/proc/19465/stat : 19465 (java) S 19462 19462 16605 0 -1 1077944320 10533 0 0 0 39 4 0 0 20 0 15 0 225062529 15372775424 23103 33554432000 4194304 4196468 140737189892288 140737189874832 139795507347191 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
/proc/19465/statm: 3753119 23103 3021 1 0 3715579 0
[pid=19465/tid=19466] ppid=19462 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/19465/task/19466/stat : 19466 (java) R 19462 19462 16605 0 -1 4202560 8279 0 0 0 27 3 0 0 20 0 15 0 225062530 15372775424 23103 33554432000 4194304 4196468 140737189892288 139795479142192 139795488912161 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19467] ppid=19462 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19467/stat : 19467 (java) S 19462 19462 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225062531 15372775424 23103 33554432000 4194304 4196468 140737189892288 139795511589904 139795507357397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19468] ppid=19462 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19468/stat : 19468 (java) S 19462 19462 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225062531 15372775424 23103 33554432000 4194304 4196468 140737189892288 139795287293072 139795507357397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19469] ppid=19462 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19469/stat : 19469 (java) S 19462 19462 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225062531 15372775424 23103 33554432000 4194304 4196468 140737189892288 139795286240016 139795507357397 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19470] ppid=19462 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19470/stat : 19470 (java) S 19462 19462 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225062531 15372775424 23103 33554432000 4194304 4196468 140737189892288 139795285187472 139795507357397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19471] ppid=19462 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19471/stat : 19471 (java) S 19462 19462 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225062533 15372775424 23103 33554432000 4194304 4196468 140737189892288 139794845755632 139795507358338 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19472] ppid=19462 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19472/stat : 19472 (java) S 19462 19462 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225062533 15372775424 23103 33554432000 4194304 4196468 140737189892288 139794139047072 139795507357397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19473] ppid=19462 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19473/stat : 19473 (java) S 19462 19462 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225062533 15372775424 23103 33554432000 4194304 4196468 140737189892288 139793870611184 139795507357397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19474] ppid=19462 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19474/stat : 19474 (java) S 19462 19462 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225062536 15372775424 23103 33554432000 4194304 4196468 140737189892288 139793496102864 139795507365787 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19475] ppid=19462 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/19465/task/19475/stat : 19475 (java) R 19462 19462 16605 0 -1 4202560 479 0 0 0 2 0 0 0 20 0 15 0 225062536 15372775424 23103 33554432000 4194304 4196468 140737189892288 139794844703472 139795499636640 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19476] ppid=19462 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/19465/task/19476/stat : 19476 (java) R 19462 19462 16605 0 -1 1077944384 134 0 0 0 2 0 0 0 20 0 15 0 225062536 15372775424 23103 33554432000 4194304 4196468 140737189892288 139794843650928 139795507358338 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19477] ppid=19462 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19465/task/19477/stat : 19477 (java) R 19462 19462 16605 0 -1 4202560 314 0 0 0 7 0 0 0 20 0 15 0 225062536 15372775424 23103 33554432000 4194304 4196468 140737189892288 139794842597872 139795485908428 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19478] ppid=19462 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19478/stat : 19478 (java) S 19462 19462 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225062536 15372775424 23103 33554432000 4194304 4196468 140737189892288 139792998198112 139795507357397 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19479] ppid=19462 vsize=15012476 memory=3617295605882232881 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19479/stat : 19479 (java) S 19462 19462 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225062536 15372775424 23103 33554432000 4194304 4196468 140737189892288 139794841545264 139795507358338 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 93808 KiB
[startup+0.700829 s]
/proc/loadavg: 2.00 2.09 2.07 4/222 19479
/proc/meminfo: memFree=24536944/32770624 swapFree=67108860/67108860
[pid=19462] ppid=19459 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19462/stat : 19462 (scop.sh) S 19459 19462 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225062529 115843072 349 33554432000 4194304 5098028 140731740665392 140731740662648 140270115222140 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20021248 140731740673088 140731740673287 140731740673287 140731740676045 0
/proc/19462/statm: 28282 349 296 221 0 87 0
[pid=19465] ppid=19462 vsize=15020872 memory=131648 CPUtime=1.01 cores=1,3,5,7
/proc/19465/stat : 19465 (java) S 19462 19462 16605 0 -1 1077944320 17561 0 0 0 95 6 0 0 20 0 15 0 225062529 15381372928 32912 33554432000 4194304 4196468 140737189892288 140737189874832 139795507347191 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
/proc/19465/statm: 3755218 32912 3149 1 0 3716603 0
[pid=19465/tid=19466] ppid=19462 vsize=15020872 memory=-7816663703405220396 CPUtime=0.67 cores=1,3,5,7
/proc/19465/task/19466/stat : 19466 (java) R 19462 19462 16605 0 -1 4202560 14856 0 0 0 62 5 0 0 20 0 15 0 225062530 15381372928 32912 33554432000 4194304 4196468 140737189892288 139795479172960 139795491390821 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19467] ppid=19462 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19467/stat : 19467 (java) S 19462 19462 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225062531 15381372928 32912 33554432000 4194304 4196468 140737189892288 139795511589904 139795507357397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19468] ppid=19462 vsize=15020872 memory=61220 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19468/stat : 19468 (java) S 19462 19462 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225062531 15381372928 32912 33554432000 4194304 4196468 140737189892288 139795287293072 139795507357397 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19469] ppid=19462 vsize=15020872 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19469/stat : 19469 (java) S 19462 19462 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225062531 15381372928 32912 33554432000 4194304 4196468 140737189892288 139795286240016 139795507357397 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19470] ppid=19462 vsize=15020872 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19470/stat : 19470 (java) S 19462 19462 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225062531 15381372928 32912 33554432000 4194304 4196468 140737189892288 139795285187472 139795507357397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19471] ppid=19462 vsize=15020872 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19471/stat : 19471 (java) S 19462 19462 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225062533 15381372928 32912 33554432000 4194304 4196468 140737189892288 139794845755632 139795507358338 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19472] ppid=19462 vsize=15020872 memory=11192 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19472/stat : 19472 (java) S 19462 19462 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225062533 15381372928 32912 33554432000 4194304 4196468 140737189892288 139794139047072 139795507357397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19473] ppid=19462 vsize=15020872 memory=752 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19473/stat : 19473 (java) S 19462 19462 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225062533 15381372928 32912 33554432000 4194304 4196468 140737189892288 139793870611184 139795507357397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19474] ppid=19462 vsize=15020872 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19474/stat : 19474 (java) S 19462 19462 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225062536 15381372928 32912 33554432000 4194304 4196468 140737189892288 139793496102864 139795507365787 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19475] ppid=19462 vsize=15020872 memory=1120 CPUtime=0.08 cores=1,3,5,7
/proc/19465/task/19475/stat : 19475 (java) R 19462 19462 16605 0 -1 4202560 556 0 0 0 8 0 0 0 20 0 15 0 225062536 15381372928 32912 33554432000 4194304 4196468 140737189892288 139794844693264 139795490841647 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19476] ppid=19462 vsize=15020872 memory=6120 CPUtime=0.08 cores=1,3,5,7
/proc/19465/task/19476/stat : 19476 (java) S 19462 19462 16605 0 -1 1077944384 360 0 0 0 8 0 0 0 20 0 15 0 225062536 15381372928 32912 33554432000 4194304 4196468 140737189892288 139794843650928 139795507358338 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19477] ppid=19462 vsize=15020872 memory=1724 CPUtime=0.17 cores=1,3,5,7
/proc/19465/task/19477/stat : 19477 (java) R 19462 19462 16605 0 -1 4202560 454 0 0 0 17 0 0 0 20 0 15 0 225062536 15381372928 32912 33554432000 4194304 4196468 140737189892288 139794842597872 139795486305532 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19478] ppid=19462 vsize=15020872 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19478/stat : 19478 (java) S 19462 19462 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225062536 15381372928 32912 33554432000 4194304 4196468 140737189892288 139792998198112 139795507357397 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19479] ppid=19462 vsize=15020872 memory=3516 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19479/stat : 19479 (java) S 19462 19462 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225062536 15381372928 32912 33554432000 4194304 4196468 140737189892288 139794841545264 139795507358338 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 133044 KiB
[startup+1.50321 s]
/proc/loadavg: 2.00 2.09 2.07 5/222 19479
/proc/meminfo: memFree=24500344/32770624 swapFree=67108860/67108860
[pid=19462] ppid=19459 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19462/stat : 19462 (scop.sh) S 19459 19462 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225062529 115843072 349 33554432000 4194304 5098028 140731740665392 140731740662648 140270115222140 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20021248 140731740673088 140731740673287 140731740673287 140731740676045 0
/proc/19462/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/19465/task/19467/stat : 19467 (java) S 19462 19462 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225062531 15385567232 131920 33554432000 4194304 4196468 140737189892288 139795511589904 139795507357397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19468] ppid=19462 vsize=15024968 memory=280877707904864 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19468/stat : 19468 (java) S 19462 19462 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225062531 15385567232 131920 33554432000 4194304 4196468 140737189892288 139795287293072 139795507357397 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19469] ppid=19462 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19469/stat : 19469 (java) S 19462 19462 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225062531 15385567232 131920 33554432000 4194304 4196468 140737189892288 139795286240016 139795507357397 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19470] ppid=19462 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19470/stat : 19470 (java) S 19462 19462 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225062531 15385567232 131920 33554432000 4194304 4196468 140737189892288 139795285187472 139795507357397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19471] ppid=19462 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19471/stat : 19471 (java) S 19462 19462 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225062533 15385567232 131920 33554432000 4194304 4196468 140737189892288 139794845755632 139795507358338 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19472] ppid=19462 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19472/stat : 19472 (java) S 19462 19462 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225062533 15385567232 131920 33554432000 4194304 4196468 140737189892288 139794139047072 139795507357397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19473] ppid=19462 vsize=15024968 memory=10881 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19473/stat : 19473 (java) S 19462 19462 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225062533 15385567232 131920 33554432000 4194304 4196468 140737189892288 139793870611184 139795507357397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19474] ppid=19462 vsize=15024968 memory=20710 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19474/stat : 19474 (java) S 19462 19462 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225062536 15385567232 131920 33554432000 4194304 4196468 140737189892288 139793496102864 139795507365787 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19475] ppid=19462 vsize=15024968 memory=0 CPUtime=2.12 cores=1,3,5,7
/proc/19465/task/19475/stat : 19475 (java) R 19462 19462 16605 0 -1 4202560 3460 0 0 0 211 1 0 0 20 0 15 0 225062536 15385567232 131920 33554432000 4194304 4196468 140737189892288 139794844689496 139795492271630 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19476] ppid=19462 vsize=15024968 memory=0 CPUtime=2.19 cores=1,3,5,7
/proc/19465/task/19476/stat : 19476 (java) R 19462 19462 16605 0 -1 4202560 2448 0 0 0 219 0 0 0 20 0 15 0 225062536 15385567232 131920 33554432000 4194304 4196468 140737189892288 139794843631360 139795490875962 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19477] ppid=19462 vsize=15024968 memory=1396 CPUtime=1.16 cores=1,3,5,7
/proc/19465/task/19477/stat : 19477 (java) S 19462 19462 16605 0 -1 1077944384 3643 0 0 0 115 1 0 0 20 0 15 0 225062536 15385567232 131920 33554432000 4194304 4196468 140737189892288 139794842597872 139795507358338 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19478] ppid=19462 vsize=15024968 memory=406340 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19478/stat : 19478 (java) S 19462 19462 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225062536 15385567232 131920 33554432000 4194304 4196468 140737189892288 139792998198112 139795507357397 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
[pid=19465/tid=19479] ppid=19462 vsize=15024968 memory=3712 CPUtime=0 cores=1,3,5,7
/proc/19465/task/19479/stat : 19479 (java) S 19462 19462 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225062536 15385567232 131920 33554432000 4194304 4196468 140737189892288 139794841545264 139795507358338 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16879616 140737189901318 140737189901617 140737189901617 140737189904335 0
Current children cumulated CPU time: 8.58 s
Current children cumulated vsize: 15138096 KiB
Current children cumulated memory: 529076 KiB
[startup+6.30087 s]
/proc/loadavg: 1.92 2.07 2.07 4/222 19494
/proc/meminfo: memFree=24549516/32770624 swapFree=67108860/67108860
[pid=19462] ppid=19459 vsize=113128 memory=1472 CPUtime=14.24 cores=1,3,5,7
/proc/19462/stat : 19462 (scop.sh) S 19459 19462 16605 0 -1 4202496 591 33752 0 0 0 0 1388 36 20 0 1 0 225062529 115843072 368 33554432000 4194304 5098028 140731740665392 140731740662136 140270115222140 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20021248 140731740673088 140731740673287 140731740673287 140731740676045 0
/proc/19462/statm: 28282 368 311 221 0 87 0
[pid=19480] ppid=19462 vsize=8068220 memory=118804 CPUtime=1.27 cores=1,3,5,7
/proc/19480/stat : 19480 (java) S 19462 19462 16605 0 -1 1077944320 18419 0 0 0 120 7 0 0 20 0 19 0 225063061 8261857280 29701 33554432000 4194304 4196468 140720436513456 140720436496000 140511920955127 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
/proc/19480/statm: 2017055 29701 3155 1 0 1978454 0
[pid=19480/tid=19481] ppid=19462 vsize=8068220 memory=0 CPUtime=0.77 cores=1,3,5,7
/proc/19480/task/19481/stat : 19481 (java) S 19462 19462 16605 0 -1 1077944384 15053 0 0 0 72 5 0 0 20 0 19 0 225063062 8261857280 29701 33554432000 4194304 4196468 140720436513456 140511892795280 140511920965333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19482] ppid=19462 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19480/task/19482/stat : 19482 (java) S 19462 19462 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225063063 8261857280 29701 33554432000 4194304 4196468 140720436513456 140511925197968 140511920965333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19483] ppid=19462 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19480/task/19483/stat : 19483 (java) S 19462 19462 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225063063 8261857280 29701 33554432000 4194304 4196468 140720436513456 140511739354128 140511920965333 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19484] ppid=19462 vsize=8068220 memory=3712 CPUtime=0 cores=1,3,5,7
/proc/19480/task/19484/stat : 19484 (java) S 19462 19462 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225063063 8261857280 29701 33554432000 4194304 4196468 140720436513456 140511738301328 140511920965333 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19485] ppid=19462 vsize=8068220 memory=61220 CPUtime=0 cores=1,3,5,7
/proc/19480/task/19485/stat : 19485 (java) S 19462 19462 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225063063 8261857280 29701 33554432000 4194304 4196468 140720436513456 140511737248528 140511920965333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19486] ppid=19462 vsize=8068220 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/19480/task/19486/stat : 19486 (java) S 19462 19462 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225063064 8261857280 29701 33554432000 4194304 4196468 140720436513456 140510964418928 140511920966274 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19487] ppid=19462 vsize=8068220 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/19480/task/19487/stat : 19487 (java) S 19462 19462 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225063065 8261857280 29701 33554432000 4194304 4196468 140720436513456 140510861714464 140511920965333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19488] ppid=19462 vsize=8068220 memory=164 CPUtime=0 cores=1,3,5,7
/proc/19480/task/19488/stat : 19488 (java) S 19462 19462 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225063065 8261857280 29701 33554432000 4194304 4196468 140720436513456 140510593278832 140511920965333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19489] ppid=19462 vsize=8068220 memory=301741394933055803 CPUtime=0 cores=1,3,5,7
/proc/19480/task/19489/stat : 19489 (java) S 19462 19462 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225063067 8261857280 29701 33554432000 4194304 4196468 140720436513456 140510218770256 140511920973723 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19490] ppid=19462 vsize=8068220 memory=13850759267617157 CPUtime=0.14 cores=1,3,5,7
/proc/19480/task/19490/stat : 19490 (java) S 19462 19462 16605 0 -1 1077944384 1046 0 0 0 14 0 0 0 20 0 19 0 225063067 8261857280 29701 33554432000 4194304 4196468 140720436513456 140510963366768 140511920966274 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19491] ppid=19462 vsize=8068220 memory=6655300316396806240 CPUtime=0.1 cores=1,3,5,7
/proc/19480/task/19491/stat : 19491 (java) S 19462 19462 16605 0 -1 1077944384 318 0 0 0 10 0 0 0 20 0 19 0 225063067 8261857280 29701 33554432000 4194304 4196468 140720436513456 140510962313968 140511920966274 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19492] ppid=19462 vsize=8068220 memory=6944656592387989600 CPUtime=0.23 cores=1,3,5,7
/proc/19480/task/19492/stat : 19492 (java) S 19462 19462 16605 0 -1 1077944384 595 0 0 0 23 0 0 0 20 0 19 0 225063067 8261857280 29701 33554432000 4194304 4196468 140720436513456 140510961261168 140511920966274 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19493] ppid=19462 vsize=8068220 memory=180 CPUtime=0 cores=1,3,5,7
/proc/19480/task/19493/stat : 19493 (java) S 19462 19462 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225063068 8261857280 29701 33554432000 4194304 4196468 140720436513456 140509720865504 140511920965333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19494] ppid=19462 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19480/task/19494/stat : 19494 (java) S 19462 19462 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225063068 8261857280 29701 33554432000 4194304 4196468 140720436513456 140510960208560 140511920966274 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
Current children cumulated CPU time: 15.51 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 120276 KiB
[startup+6.54416 s]
# the end of solver process 19462 was just reported to runsolver
# cumulated CPU time of all completed processes: user=15.7388 s, system=0.459449 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.4072 s]
/proc/loadavg: 1.92 2.07 2.07 4/222 19494
/proc/meminfo: memFree=24549516/32770624 swapFree=67108860/67108860
[pid=19462] ppid=19459 vsize=113128 memory=1472 CPUtime=14.24 cores=1,3,5,7
/proc/19462/stat : 19462 (scop.sh) S 19459 19462 16605 0 -1 4202496 591 33752 0 0 0 0 1388 36 20 0 1 0 225062529 115843072 368 33554432000 4194304 5098028 140731740665392 140731740662136 140270115222140 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20021248 140731740673088 140731740673287 140731740673287 140731740676045 0
/proc/19462/statm: 28282 368 311 221 0 87 0
[pid=19480] ppid=19462 vsize=8068220 memory=123004 CPUtime=1.63 cores=1,3,5,7
/proc/19480/stat : 19480 (java) S 19462 19462 16605 0 -1 1077944320 18506 6990 0 0 126 7 29 1 20 0 18 0 225063061 8261857280 30751 33554432000 4194304 4196468 140720436513456 140720436496000 140511920955127 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
/proc/19480/statm: 2017055 30751 3155 1 0 1978454 0
[pid=19480/tid=19481] ppid=19462 vsize=8068220 memory=7680491646476186387 CPUtime=1.07 cores=1,3,5,7
/proc/19480/task/19481/stat : 19481 (java) S 19462 19462 16605 0 -1 1077944384 15053 6990 0 0 72 5 29 1 20 0 18 0 225063062 8261857280 30751 33554432000 4194304 4196468 140720436513456 140511892795280 140511920965333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19482] ppid=19462 vsize=8068220 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/19480/task/19482/stat : 19482 (java) S 19462 19462 16605 0 -1 1077944384 1 6990 0 0 0 0 29 1 20 0 18 0 225063063 8261857280 30751 33554432000 4194304 4196468 140720436513456 140511925197968 140511920965333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19483] ppid=19462 vsize=8068220 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/19480/task/19483/stat : 19483 (java) S 19462 19462 16605 0 -1 1077944384 1 6990 0 0 0 0 29 1 20 0 18 0 225063063 8261857280 30751 33554432000 4194304 4196468 140720436513456 140511739354128 140511920965333 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19484] ppid=19462 vsize=8068220 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/19480/task/19484/stat : 19484 (java) S 19462 19462 16605 0 -1 1077944384 1 6990 0 0 0 0 29 1 20 0 18 0 225063063 8261857280 30751 33554432000 4194304 4196468 140720436513456 140511738301328 140511920965333 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19485] ppid=19462 vsize=8068220 memory=4580 CPUtime=0.3 cores=1,3,5,7
/proc/19480/task/19485/stat : 19485 (java) S 19462 19462 16605 0 -1 1077944384 2 6990 0 0 0 0 29 1 20 0 18 0 225063063 8261857280 30751 33554432000 4194304 4196468 140720436513456 140511737248528 140511920965333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19486] ppid=19462 vsize=8068220 memory=24292 CPUtime=0.3 cores=1,3,5,7
/proc/19480/task/19486/stat : 19486 (java) S 19462 19462 16605 0 -1 1077944384 5 6990 0 0 0 0 29 1 20 0 18 0 225063064 8261857280 30751 33554432000 4194304 4196468 140720436513456 140510964418928 140511920966274 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19487] ppid=19462 vsize=8068220 memory=26500 CPUtime=0.3 cores=1,3,5,7
/proc/19480/task/19487/stat : 19487 (java) S 19462 19462 16605 0 -1 1077944384 13 6990 0 0 0 0 29 1 20 0 18 0 225063065 8261857280 30751 33554432000 4194304 4196468 140720436513456 140510861714464 140511920965333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19488] ppid=19462 vsize=8068220 memory=28708 CPUtime=0.3 cores=1,3,5,7
/proc/19480/task/19488/stat : 19488 (java) S 19462 19462 16605 0 -1 1077944384 1 6990 0 0 0 0 29 1 20 0 18 0 225063065 8261857280 30751 33554432000 4194304 4196468 140720436513456 140510593278832 140511920965333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19489] ppid=19462 vsize=8068220 memory=30916 CPUtime=0.3 cores=1,3,5,7
/proc/19480/task/19489/stat : 19489 (java) S 19462 19462 16605 0 -1 1077944384 3 6990 0 0 0 0 29 1 20 0 18 0 225063067 8261857280 30751 33554432000 4194304 4196468 140720436513456 140510218770256 140511920973723 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19490] ppid=19462 vsize=8068220 memory=33124 CPUtime=0.46 cores=1,3,5,7
/proc/19480/task/19490/stat : 19490 (java) R 19462 19462 16605 0 -1 4202560 1054 6990 0 0 16 0 29 1 20 0 18 0 225063067 8261857280 30751 33554432000 4194304 4196468 140720436513456 140510963366768 140511902499216 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19491] ppid=19462 vsize=8068220 memory=1396 CPUtime=0.41 cores=1,3,5,7
/proc/19480/task/19491/stat : 19491 (java) R 19462 19462 16605 0 -1 4202560 324 6990 0 0 11 0 29 1 20 0 18 0 225063067 8261857280 30751 33554432000 4194304 4196468 140720436513456 140510962313968 140511902476321 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19492] ppid=19462 vsize=8068220 memory=1401400 CPUtime=0.53 cores=1,3,5,7
/proc/19480/task/19492/stat : 19492 (java) S 19462 19462 16605 0 -1 1077944384 620 6990 0 0 23 0 29 1 20 0 18 0 225063067 8261857280 30751 33554432000 4194304 4196468 140720436513456 140510961261168 140511920966274 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19493] ppid=19462 vsize=8068220 memory=3852 CPUtime=0.3 cores=1,3,5,7
/proc/19480/task/19493/stat : 19493 (java) S 19462 19462 16605 0 -1 1077944384 3 6990 0 0 0 0 29 1 20 0 18 0 225063068 8261857280 30751 33554432000 4194304 4196468 140720436513456 140509720865504 140511920965333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19494] ppid=19462 vsize=8068220 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/19480/task/19494/stat : 19494 (java) S 19462 19462 16605 0 -1 1077944384 1 6990 0 0 0 0 29 1 20 0 18 0 225063068 8261857280 30751 33554432000 4194304 4196468 140720436513456 140510960208560 140511920966274 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
Current children cumulated CPU time: 15.87 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 124476 KiB
[startup+6.50124 s]
/proc/loadavg: 1.92 2.07 2.07 4/222 19494
/proc/meminfo: memFree=24549516/32770624 swapFree=67108860/67108860
[pid=19462] ppid=19459 vsize=113128 memory=1472 CPUtime=14.24 cores=1,3,5,7
/proc/19462/stat : 19462 (scop.sh) S 19459 19462 16605 0 -1 4202496 591 33752 0 0 0 0 1388 36 20 0 1 0 225062529 115843072 368 33554432000 4194304 5098028 140731740665392 140731740662136 140270115222140 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20021248 140731740673088 140731740673287 140731740673287 140731740676045 0
/proc/19462/statm: 28282 368 311 221 0 87 0
[pid=19480] ppid=19462 vsize=7937144 memory=126672 CPUtime=1.85 cores=1,3,5,7
/proc/19480/stat : 19480 (java) S 19462 19462 16605 0 -1 1077944320 18927 6990 0 0 148 7 29 1 20 0 17 0 225063061 8127635456 31668 33554432000 4194304 4196468 140720436513456 140720436496000 140511920955127 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
/proc/19480/statm: 1984286 31668 3162 1 0 1945685 0
[pid=19480/tid=19481] ppid=19462 vsize=7937144 memory=0 CPUtime=1.14 cores=1,3,5,7
/proc/19480/task/19481/stat : 19481 (java) R 19462 19462 16605 0 -1 4202560 15302 6990 0 0 79 5 29 1 20 0 17 0 225063062 8127635456 31668 33554432000 4194304 4196468 140720436513456 140511892780712 140511900487557 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19482] ppid=19462 vsize=7937144 memory=180 CPUtime=0.3 cores=1,3,5,7
/proc/19480/task/19482/stat : 19482 (java) S 19462 19462 16605 0 -1 1077944384 1 6990 0 0 0 0 29 1 20 0 17 0 225063063 8127635456 31668 33554432000 4194304 4196468 140720436513456 140511925197968 140511920965333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19483] ppid=19462 vsize=7937144 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/19480/task/19483/stat : 19483 (java) S 19462 19462 16605 0 -1 1077944384 1 6990 0 0 0 0 29 1 20 0 17 0 225063063 8127635456 31668 33554432000 4194304 4196468 140720436513456 140511739354128 140511920965333 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19484] ppid=19462 vsize=7937144 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/19480/task/19484/stat : 19484 (java) S 19462 19462 16605 0 -1 1077944384 1 6990 0 0 0 0 29 1 20 0 17 0 225063063 8127635456 31668 33554432000 4194304 4196468 140720436513456 140511738301328 140511920965333 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19485] ppid=19462 vsize=7937144 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/19480/task/19485/stat : 19485 (java) S 19462 19462 16605 0 -1 1077944384 2 6990 0 0 0 0 29 1 20 0 17 0 225063063 8127635456 31668 33554432000 4194304 4196468 140720436513456 140511737248528 140511920965333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19486] ppid=19462 vsize=7937144 memory=3712 CPUtime=0.3 cores=1,3,5,7
/proc/19480/task/19486/stat : 19486 (java) S 19462 19462 16605 0 -1 1077944384 5 6990 0 0 0 0 29 1 20 0 17 0 225063064 8127635456 31668 33554432000 4194304 4196468 140720436513456 140510964418928 140511920966274 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19487] ppid=19462 vsize=7937144 memory=61220 CPUtime=0.3 cores=1,3,5,7
/proc/19480/task/19487/stat : 19487 (java) S 19462 19462 16605 0 -1 1077944384 13 6990 0 0 0 0 29 1 20 0 17 0 225063065 8127635456 31668 33554432000 4194304 4196468 140720436513456 140510861714464 140511920965333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19488] ppid=19462 vsize=7937144 memory=1064 CPUtime=0.3 cores=1,3,5,7
/proc/19480/task/19488/stat : 19488 (java) S 19462 19462 16605 0 -1 1077944384 1 6990 0 0 0 0 29 1 20 0 17 0 225063065 8127635456 31668 33554432000 4194304 4196468 140720436513456 140510593278832 140511920965333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19489] ppid=19462 vsize=7937144 memory=2072 CPUtime=0.3 cores=1,3,5,7
/proc/19480/task/19489/stat : 19489 (java) S 19462 19462 16605 0 -1 1077944384 3 6990 0 0 0 0 29 1 20 0 17 0 225063067 8127635456 31668 33554432000 4194304 4196468 140720436513456 140510218770256 140511920973723 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19490] ppid=19462 vsize=7937144 memory=164 CPUtime=0.5 cores=1,3,5,7
/proc/19480/task/19490/stat : 19490 (java) S 19462 19462 16605 0 -1 1077944384 1077 6990 0 0 20 0 29 1 20 0 17 0 225063067 8127635456 31668 33554432000 4194304 4196468 140720436513456 140510963366768 140511920966274 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19491] ppid=19462 vsize=7937144 memory=301741394933055803 CPUtime=0.45 cores=1,3,5,7
/proc/19480/task/19491/stat : 19491 (java) S 19462 19462 16605 0 -1 1077944384 355 6990 0 0 15 0 29 1 20 0 17 0 225063067 8127635456 31668 33554432000 4194304 4196468 140720436513456 140510962313968 140511920966274 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19492] ppid=19462 vsize=7937144 memory=13850759267617157 CPUtime=0.58 cores=1,3,5,7
/proc/19480/task/19492/stat : 19492 (java) S 19462 19462 16605 0 -1 1077944384 728 6990 0 0 28 0 29 1 20 0 17 0 225063067 8127635456 31668 33554432000 4194304 4196468 140720436513456 140510961261168 140511920966274 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19493] ppid=19462 vsize=7937144 memory=6655300316396806240 CPUtime=0.3 cores=1,3,5,7
/proc/19480/task/19493/stat : 19493 (java) S 19462 19462 16605 0 -1 1077944384 3 6990 0 0 0 0 29 1 20 0 17 0 225063068 8127635456 31668 33554432000 4194304 4196468 140720436513456 140509720865504 140511920965333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
[pid=19480/tid=19494] ppid=19462 vsize=7937144 memory=6944656592387989600 CPUtime=0.3 cores=1,3,5,7
/proc/19480/task/19494/stat : 19494 (java) S 19462 19462 16605 0 -1 1077944384 1 6990 0 0 0 0 29 1 20 0 17 0 225063068 8127635456 31668 33554432000 4194304 4196468 140720436513456 140510960208560 140511920966274 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33476608 140720436516021 140720436516145 140720436516145 140720436518863 0
Current children cumulated CPU time: 16.09 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 128144 KiB
Child status: 0
Real time (s): 6.54425
CPU time (s): 16.1982
CPU user time (s): 15.7388
CPU system time (s): 0.459449
CPU usage (%): 247.519
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 1408304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.7388
system time used= 0.459449
maximum resident set size= 1406932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60367
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6300
involuntary context switches= 43
# summary of solver processes directly reported to runsolver:
# pid: 19462
# total CPU time (s): 16.1982
# total CPU user time (s): 15.7388
# total CPU system time (s): 0.459449
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.062869 second user time and 0.113808 second system time
The end