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-19967-serial-file.bin HOME/instance-4305516-1534075069.xml
0.55/0.51
0.55/0.52 scop order+minisat_release (2018-07-31)
0.55/0.52 (Encoding Process)
0.55/0.52
0.67/0.54 c BEGIN-Prog: Sun Aug 12 13:57:50 CEST 2018
0.67/0.54 c PID: 19970
0.67/0.54 c IP: 172.20.3.107
0.67/0.54 c HOST: node107.alineos.net
0.67/0.55 c (0,0) Parsing Begin
2.03/1.09 c (0,0) Parsing End
2.03/1.10 c (0,0) CSP: 384 int (0 aux), 0 bool (0 aux), 257 ctr, max domain size 24
2.03/1.10 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.03/1.10 c (0,0) Constraint Name Generate Begin
2.41/1.11 c (0,0) Ctr:HOME/instance-4305516-1534075069.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.51/1.56 c (1,1) translated 26 (10%) constraints
3.51/1.58 c (1,1) translated 52 (20%) constraints
6.12/2.30 c (1,1) translated 78 (30%) constraints
6.12/2.38 c (1,1) translated 103 (40%) constraints
6.48/2.44 c (1,1) translated 129 (50%) constraints
6.48/2.49 c (1,1) translated 155 (60%) constraints
6.81/2.55 c (2,2) translated 180 (70%) constraints
7.13/2.60 c (2,2) translated 206 (80%) constraints
7.13/2.65 c (2,2) translated 232 (90%) constraints
7.44/2.70 c (2,2) translated 257 (100%) constraints
7.77/2.85 c (2,2) STATISTICS1:HOME/instance-4305516-1534075069.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,1360,10768,24,24,24,2,24:2094;23:116;22:101;21:211;5:144;4:144,24:15766;23:461;22:374;21:731;5:1248;4:1056;2:4272,24:16;6:96;5:96;4:208;3:5594;2:4720;1:38,2:2810;1:22896;0:192,
7.77/2.85 c (2,2) ==========================================
7.77/2.85 c (2,2) Order
7.77/2.85 c (2,2) ==========================================
8.11/2.92 c (2,2) translated 1077 (10%) constraints
8.20/3.09 c (2,2) translated 2154 (20%) constraints
8.74/3.20 c (2,2) translated 3231 (30%) constraints
9.05/3.33 c (2,2) translated 4308 (40%) constraints
9.35/3.46 c (2,2) translated 5384 (50%) constraints
9.65/3.58 c (3,2) translated 6461 (60%) constraints
9.96/3.68 c (3,3) translated 7538 (70%) constraints
10.26/3.71 c (3,3) translated 8615 (80%) constraints
10.26/3.74 c (3,3) translated 9692 (90%) constraints
10.26/3.77 c (3,3) translated 10768 (100%) constraints
10.26/3.77 c (3,3) CSP to CSPinCNF End
10.26/3.78 c (3,3) CSP: 384 int (0 aux), 5584 bool (5584 aux), 19984 ctr, max domain size 24
10.26/3.78 c (3,3) Heap : 619 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
10.26/3.78 c (3,3) CSPinCNF Propagation Begin
10.91/3.98 c (3,3) 95 values, 827 unsatisfiable literals, and 597 valid clauses are removed
10.91/3.98 c (3,3) CSPinCNF Propagation End
10.91/3.98 c (3,3) CSP: 455 int (71 aux), 5513 bool (5513 aux), 19387 ctr, max domain size 24
10.91/3.98 c (3,3) Heap : 675 MiB used (max 10795 MiB), NonHeap : 35 MiB used (max 0 MiB)
10.91/3.98 c (3,3) Simplify CSPinCNF Begin
11.55/4.17 c (3,3) Simplify CSPinCNF End
11.55/4.17 c (3,3) CSP: 455 int (71 aux), 10669 bool (10669 aux), 24543 ctr, max domain size 24
11.55/4.17 c (3,3) Heap : 788 MiB used (max 10795 MiB), NonHeap : 35 MiB used (max 0 MiB)
11.55/4.17 c (3,3) Calculate Precise Domain Begin
11.55/4.17 c (3,3) 0 values are removed by re-calculation
11.55/4.17 c (3,3) Calculate Precise Domain End
11.55/4.18 c (3,3) CSP: 455 int (71 aux), 10669 bool (10669 aux), 24543 ctr, max domain size 24
11.55/4.18 c (3,3) Heap : 788 MiB used (max 10795 MiB), NonHeap : 35 MiB used (max 0 MiB)
11.55/4.18 c (3,3) CSPinCNF to SatSolver Begin
12.50/4.50 c (3,3) 2455 (10 %) CSP clauses are encoded (15686 SAT variables, 43137 SAT clauses)
13.11/4.63 c (4,3) 4909 (20 %) CSP clauses are encoded (15686 SAT variables, 82020 SAT clauses)
13.31/4.73 c (4,4) 7363 (30 %) CSP clauses are encoded (15686 SAT variables, 111855 SAT clauses)
13.31/4.74 c (4,4) 9818 (40 %) CSP clauses are encoded (15686 SAT variables, 114882 SAT clauses)
13.31/4.76 c (4,4) 12272 (50 %) CSP clauses are encoded (15686 SAT variables, 117336 SAT clauses)
13.31/4.77 c (4,4) 14726 (60 %) CSP clauses are encoded (15686 SAT variables, 119790 SAT clauses)
13.31/4.78 c (4,4) 17181 (70 %) CSP clauses are encoded (15686 SAT variables, 122245 SAT clauses)
13.43/4.80 c (4,4) 19635 (80 %) CSP clauses are encoded (15686 SAT variables, 124699 SAT clauses)
13.43/4.83 c (4,4) 22089 (90 %) CSP clauses are encoded (15686 SAT variables, 134027 SAT clauses)
13.43/4.85 c (4,4) 24543 (100 %) CSP clauses are encoded (15686 SAT variables, 136481 SAT clauses)
13.43/4.85 c (4,4) Launch Command will be: minisat_release
13.43/4.85 c (4,4) CSPinCNF to SatSolver End
13.43/4.85 c (4,4) Heap : 1126 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
13.70/5.00 c (4,4) STATISTICS2:HOME/instance-4305516-1534075069.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,11124,24543,24,24,24,2,24:3374;23:208;22:391;21:757;5:288;4:288,24:25466;23:756;22:1338;21:2314;5:1536;4:1344;2:27926,24:4;21:11;19:1;5:96;4:304;3:5116;2:18973;1:38,2:5306;1:50068,
13.70/5.00 c (4,4) 15686 bool, 136482 clause
13.70/5.00 c (4,4) Export Begin
14.38/5.12 c (4,4) Export to HOME/scop-19967-serial-file.bin
14.38/5.12 c (4,4) Export End
14.38/5.13 c (4,4) Export File Size: 0.08 MB
14.38/5.13 c (4,4) 0,0,3,3,3,3,4,STOP-AFTER(DIMACS)
14.38/5.13 c END-Prog: Sun Aug 12 13:57:54 CEST 2018
14.38/5.15 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-19967-serial-file.bin
14.47/5.64 c (0,0) Read Serial File Begin
14.47/5.64 c (0,0) HOME/scop-19967-serial-file.bin
14.47/5.84 c (0,0) Read Serial File End
14.47/5.85
14.47/5.85 scop order+minisat_release (2018-07-31)
14.47/5.85 (Solving Process)
14.47/5.85
14.47/5.88 c BEGIN-Prog: Sun Aug 12 13:57:55 CEST 2018
14.47/5.88 c PID: 19985
14.47/5.88 c IP: 172.20.3.107
14.47/5.88 c HOST: node107.alineos.net
14.47/5.88 c (0,0) SatSolver.solve Begin
14.47/5.88 c (0,0) 0 bool, 0 clause
14.47/5.88 c (0,0) minisat_release HOME/instance-4305516-1534075069.xml-scop-19970.cnf
15.82/6.10 c (0,0) c This is COMiniSatPS.
15.82/6.10 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
15.82/6.10 c (0,0) c ============================[ Problem Statistics ]=============================
15.82/6.10 c (0,0) c | |
15.82/6.10 c (0,0) c | Number of variables: 15686 |
15.82/6.10 c (0,0) c | Number of clauses: 136126 |
15.82/6.10 c (0,0) c | Parse time: 0.04 s |
15.82/6.10 c (0,0) c | Eliminated clauses: 0.17 Mb |
15.82/6.10 c (0,0) c Reduced to 7193 vars, 115965 cls (grow=0)
15.82/6.10 c (0,0) c No iterative elimination performed. (vars=7193, c/v ratio=16.1)
15.82/6.10 c (0,0) c | Simplification time: 0.11 s |
15.82/6.10 c (0,0) c | |
15.82/6.10 c (0,0) c ============================[ Search Statistics ]==============================
15.82/6.10 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
15.82/6.10 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
15.82/6.10 c (0,0) c ===============================================================================
15.82/6.10 c (0,0) c ===============================================================================
15.82/6.10 c (0,0) c restarts : 5
15.82/6.10 c (0,0) c conflicts : 431 (2297 /sec)
15.82/6.10 c (0,0) c decisions : 3481 (0.00 % random) (18553 /sec)
15.82/6.10 c (0,0) c propagations : 141377 (753512 /sec)
15.82/6.10 c (0,0) c conflict literals : 3387 (8.39 % deleted)
15.82/6.10 c (0,0) c CPU time : 0.187624 s
15.82/6.10 c (0,0)
15.82/6.10 c (0,0) s SATISFIABLE
16.00/6.14 c (0,0) SatSolver.solve End
16.00/6.14 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
16.00/6.14 c (0,0) Show results Begin
16.17/6.21 s SATISFIABLE
16.17/6.24 v <instantiation>
16.17/6.24 v <list>vr[0][0] vr[0][1] vr[0][2] vr[0][3] vr[1][0] vr[1][1] vr[1][2] vr[1][3] vr[2][0] vr[2][1] vr[2][2] vr[2][3] vr[3][0] vr[3][1] vr[3][2] vr[3][3] vr[4][0] vr[4][1] vr[4][2] vr[4][3] vr[5][0] vr[5][1] vr[5][2] vr[5][3] vr[6][0] vr[6][1] vr[6][2] vr[6][3] vr[7][0] vr[7][1] vr[7][2] vr[7][3] vr[8][0] vr[8][1] vr[8][2] vr[8][3] vr[9][0] vr[9][1] vr[9][2] vr[9][3] vr[10][0] vr[10][1] vr[10][2] vr[10][3] vr[11][0] vr[11][1] vr[11][2] vr[11][3] vr[12][0] vr[12][1] vr[12][2] vr[12][3] vr[13][0] vr[13][1] vr[13][2] vr[13][3] vr[14][0] vr[14][1] vr[14][2] vr[14][3] vr[15][0] vr[15][1] vr[15][2] vr[15][3] vr[16][0] vr[16][1] vr[16][2] vr[16][3] vr[17][0] vr[17][1] vr[17][2] vr[17][3] vr[18][0] vr[18][1] vr[18][2] vr[18][3] vr[19][0] vr[19][1] vr[19][2] vr[19][3] vr[20][0] vr[20][1] vr[20][2] vr[20][3] vr[21][0] vr[21][1] vr[21][2] vr[21][3] vr[22][0] vr[22][1] vr[22][2] vr[22][3] vr[23][0] vr[23][1] vr[23][2] vr[23][3] ve[0][0] ve[0][1] ve[0][2] ve[0][3] ve[1][0] ve[1][1] ve[1][2] ve[1][3] ve[2][0] ve[2][1] ve[2][2] ve[2][3] ve[3][0] ve[3][1] ve[3][2] ve[3][3] ve[4][0] ve[4][1] ve[4][2] ve[4][3] ve[5][0] ve[5][1] ve[5][2] ve[5][3] ve[6][0] ve[6][1] ve[6][2] ve[6][3] ve[7][0] ve[7][1] ve[7][2] ve[7][3] ve[8][0] ve[8][1] ve[8][2] ve[8][3] ve[9][0] ve[9][1] ve[9][2] ve[9][3] ve[10][0] ve[10][1] ve[10][2] ve[10][3] ve[11][0] ve[11][1] ve[11][2] ve[11][3] ve[12][0] ve[12][1] ve[12][2] ve[12][3] ve[13][0] ve[13][1] ve[13][2] ve[13][3] ve[14][0] ve[14][1] ve[14][2] ve[14][3] ve[15][0] ve[15][1] ve[15][2] ve[15][3] ve[16][0] ve[16][1] ve[16][2] ve[16][3] ve[17][0] ve[17][1] ve[17][2] ve[17][3] ve[18][0] ve[18][1] ve[18][2] ve[18][3] ve[19][0] ve[19][1] ve[19][2] ve[19][3] ve[20][0] ve[20][1] ve[20][2] ve[20][3] ve[21][0] ve[21][1] ve[21][2] ve[21][3] ve[22][0] ve[22][1] ve[22][2] ve[22][3] ve[23][0] ve[23][1] ve[23][2] ve[23][3] gvr[0][0] gvr[0][1] gvr[0][2] gvr[0][3] gvr[1][0] gvr[1][1] gvr[1][2] gvr[1][3] gvr[2][0] gvr[2][1] gvr[2][2] gvr[2][3] gvr[3][0] gvr[3][1] gvr[3][2] gvr[3][3] gvr[4][0] gvr[4][1] gvr[4][2] gvr[4][3] gvr[5][0] gvr[5][1] gvr[5][2] gvr[5][3] gvr[6][0] gvr[6][1] gvr[6][2] gvr[6][3] gvr[7][0] gvr[7][1] gvr[7][2] gvr[7][3] gvr[8][0] gvr[8][1] gvr[8][2] gvr[8][3] gvr[9][0] gvr[9][1] gvr[9][2] gvr[9][3] gvr[10][0] gvr[10][1] gvr[10][2] gvr[10][3] gvr[11][0] gvr[11][1] gvr[11][2] gvr[11][3] gvr[12][0] gvr[12][1] gvr[12][2] gvr[12][3] gvr[13][0] gvr[13][1] gvr[13][2] gvr[13][3] gvr[14][0] gvr[14][1] gvr[14][2] gvr[14][3] gvr[15][0] gvr[15][1] gvr[15][2] gvr[15][3] gvr[16][0] gvr[16][1] gvr[16][2] gvr[16][3] gvr[17][0] gvr[17][1] gvr[17][2] gvr[17][3] gvr[18][0] gvr[18][1] gvr[18][2] gvr[18][3] gvr[19][0] gvr[19][1] gvr[19][2] gvr[19][3] gvr[20][0] gvr[20][1] gvr[20][2] gvr[20][3] gvr[21][0] gvr[21][1] gvr[21][2] gvr[21][3] gvr[22][0] gvr[22][1] gvr[22][2] gvr[22][3] gvr[23][0] gvr[23][1] gvr[23][2] gvr[23][3] gve[0][0] gve[0][1] gve[0][2] gve[0][3] gve[1][0] gve[1][1] gve[1][2] gve[1][3] gve[2][0] gve[2][1] gve[2][2] gve[2][3] gve[3][0] gve[3][1] gve[3][2] gve[3][3] gve[4][0] gve[4][1] gve[4][2] gve[4][3] gve[5][0] gve[5][1] gve[5][2] gve[5][3] gve[6][0] gve[6][1] gve[6][2] gve[6][3] gve[7][0] gve[7][1] gve[7][2] gve[7][3] gve[8][0] gve[8][1] gve[8][2] gve[8][3] gve[9][0] gve[9][1] gve[9][2] gve[9][3] gve[10][0] gve[10][1] gve[10][2] gve[10][3] gve[11][0] gve[11][1] gve[11][2] gve[11][3] gve[12][0] gve[12][1] gve[12][2] gve[12][3] gve[13][0] gve[13][1] gve[13][2] gve[13][3] gve[14][0] gve[14][1] gve[14][2] gve[14][3] gve[15][0] gve[15][1] gve[15][2] gve[15][3] gve[16][0] gve[16][1] gve[16][2] gve[16][3] gve[17][0] gve[17][1] gve[17][2] gve[17][3] gve[18][0] gve[18][1] gve[18][2] gve[18][3] gve[19][0] gve[19][1] gve[19][2] gve[19][3] gve[20][0] gve[20][1] gve[20][2] gve[20][3] gve[21][0] gve[21][1] gve[21][2] gve[21][3] gve[22][0] gve[22][1] gve[22][2] gve[22][3] gve[23][0] gve[23][1] gve[23][2] gve[23][3]</list>
16.17/6.24 v <values>0 11 16 19 1 13 18 8 2 20 7 17 3 14 23 9 4 21 10 12 5 16 9 18 6 17 1 23 7 3 19 15 8 22 4 13 9 23 3 16 10 19 17 2 11 15 0 20 12 7 22 1 13 4 8 21 14 18 6 5 15 6 20 3 16 9 21 4 17 10 5 22 18 12 11 0 19 8 2 14 20 0 12 6 21 1 13 7 22 2 14 10 23 5 15 11 0 20 11 18 1 21 6 12 2 22 19 10 3 7 9 15 4 13 8 16 5 23 17 14 6 15 14 20 7 12 2 21 8 19 13 1 9 16 5 3 10 17 4 22 11 0 18 23 12 18 20 4 13 1 21 8 14 3 22 19 15 11 23 7 16 5 0 9 17 6 10 2 18 14 1 5 19 10 7 0 20 2 15 11 21 4 16 13 22 8 12 17 23 9 3 6 0 1 2 3 0 2 3 1 0 3 1 2 0 2 3 1 0 3 1 2 0 2 1 3 1 2 0 3 1 0 3 2 1 3 0 2 1 3 0 2 1 3 2 0 1 2 0 3 2 1 3 0 2 0 1 3 2 3 1 0 2 1 3 0 2 1 3 0 2 1 0 3 3 2 1 0 3 1 0 2 3 0 2 1 3 0 2 1 3 0 2 1 3 0 2 1 0 4 2 3 0 4 1 2 0 4 3 2 0 1 2 3 0 2 1 3 1 4 3 2 1 3 2 4 1 2 0 4 1 3 2 0 2 3 1 0 2 3 0 4 2 0 3 4 2 3 4 0 2 0 4 1 2 0 4 3 3 2 4 1 3 1 0 2 3 1 2 0 3 2 0 1 3 2 1 0 4 0 3 2 4 0 3 2 4 1 2 3 4 2 0 1</values>
16.17/6.24 v </instantiation>
16.17/6.24 c (0,0) Show results End
16.17/6.24 c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
16.17/6.24 c (0,0) 0,0,STOP-AFTER(ALL)
16.17/6.24 c END-Prog: Sun Aug 12 13:57:55 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-4305516-1534075069/watcher-4305516-1534075069 -o /tmp/evaluation-result-4305516-1534075069/solver-4305516-1534075069 -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-4305516-1534075069.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=19967, runsolver pid=19964
Current StackSize limit: 8192 KiB
[startup+0.100141 s]*
/proc/loadavg: 2.63 2.28 2.14 3/222 19984
/proc/meminfo: memFree=24581660/32770624 swapFree=67108860/67108860
[pid=19967] ppid=19964 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/19967/stat : 19967 (scop.sh) S 19964 19967 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225070109 115843072 348 33554432000 4194304 5098028 140727906605920 140727906603176 140275328500348 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10543104 140727906608192 140727906608391 140727906608391 140727906611149 0
/proc/19967/statm: 28282 348 296 221 0 87 0
[pid=19970] ppid=19967 vsize=15012476 memory=73124 CPUtime=0.11 cores=1,3,5,7
/proc/19970/stat : 19970 (java) S 19967 19967 16605 0 -1 1077944320 6375 0 0 0 9 2 0 0 20 0 15 0 225070109 15372775424 18281 33554432000 4194304 4196468 140729002787920 140729002770464 140714245803767 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
/proc/19970/statm: 3753119 18281 2768 1 0 3715579 0
[pid=19970/tid=19971] ppid=19967 vsize=15012476 memory=-6150928374978363333 CPUtime=0.08 cores=1,3,5,7
/proc/19970/task/19971/stat : 19971 (java) R 19967 19967 16605 0 -1 4202560 4494 0 0 0 7 1 0 0 20 0 15 0 225070110 15372775424 18281 33554432000 4194304 4196468 140729002787920 140714217615752 140714226079581 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19972] ppid=19967 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19972/stat : 19972 (java) S 19967 19967 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225070111 15372775424 18281 33554432000 4194304 4196468 140729002787920 140714250046352 140714245813973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19973] ppid=19967 vsize=15012476 memory=139981840651904 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19973/stat : 19973 (java) S 19967 19967 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225070111 15372775424 18281 33554432000 4194304 4196468 140729002787920 140713706203920 140714245813973 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19974] ppid=19967 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19974/stat : 19974 (java) S 19967 19967 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225070111 15372775424 18281 33554432000 4194304 4196468 140729002787920 140713705151632 140714245813973 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19975] ppid=19967 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19975/stat : 19975 (java) S 19967 19967 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225070111 15372775424 18347 33554432000 4194304 4196468 140729002787920 140713704098832 140714245813973 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19976] ppid=19967 vsize=15012476 memory=139981840651904 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19976/stat : 19976 (java) S 19967 19967 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225070113 15372775424 18347 33554432000 4194304 4196468 140729002787920 140713584961648 140714245814914 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19977] ppid=19967 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19977/stat : 19977 (java) S 19967 19967 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225070113 15372775424 18347 33554432000 4194304 4196468 140729002787920 140712859394848 140714245813973 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19978] ppid=19967 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19978/stat : 19978 (java) S 19967 19967 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225070114 15372775424 18347 33554432000 4194304 4196468 140729002787920 140712590959728 140714245813973 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19979] ppid=19967 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19979/stat : 19979 (java) S 19967 19967 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225070116 15372775424 18347 33554432000 4194304 4196468 140729002787920 140712216451152 140714245822363 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19980] ppid=19967 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19980/stat : 19980 (java) S 19967 19967 16605 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 225070116 15372775424 18347 33554432000 4194304 4196468 140729002787920 140713583909488 140714245814914 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19981] ppid=19967 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19981/stat : 19981 (java) S 19967 19967 16605 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 225070116 15372775424 18347 33554432000 4194304 4196468 140729002787920 140713582856688 140714245814914 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19982] ppid=19967 vsize=15012476 memory=139981840651904 CPUtime=0.01 cores=1,3,5,7
/proc/19970/task/19982/stat : 19982 (java) S 19967 19967 16605 0 -1 1077944384 280 0 0 0 1 0 0 0 20 0 15 0 225070116 15372775424 18347 33554432000 4194304 4196468 140729002787920 140713581804400 140714245814914 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19983] ppid=19967 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19983/stat : 19983 (java) S 19967 19967 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225070116 15372775424 18347 33554432000 4194304 4196468 140729002787920 140711718546400 140714245813973 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19984] ppid=19967 vsize=15012476 memory=139981840651904 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19984/stat : 19984 (java) S 19967 19967 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225070116 15372775424 18347 33554432000 4194304 4196468 140729002787920 140713580751280 140714245814914 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74516 KiB
[startup+0.210634 s]*
/proc/loadavg: 2.63 2.28 2.14 3/222 19984
/proc/meminfo: memFree=24567444/32770624 swapFree=67108860/67108860
[pid=19967] ppid=19964 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/19967/stat : 19967 (scop.sh) S 19964 19967 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225070109 115843072 348 33554432000 4194304 5098028 140727906605920 140727906603176 140275328500348 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10543104 140727906608192 140727906608391 140727906608391 140727906611149 0
/proc/19967/statm: 28282 348 296 221 0 87 0
[pid=19970] ppid=19967 vsize=15012476 memory=85636 CPUtime=0.25 cores=1,3,5,7
/proc/19970/stat : 19970 (java) S 19967 19967 16605 0 -1 1077944320 9765 0 0 0 22 3 0 0 20 0 15 0 225070109 15372775424 21409 33554432000 4194304 4196468 140729002787920 140729002770464 140714245803767 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
/proc/19970/statm: 3753119 21409 2904 1 0 3715579 0
[pid=19970/tid=19971] ppid=19967 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/19970/task/19971/stat : 19971 (java) R 19967 19967 16605 0 -1 4202560 7649 0 0 0 18 2 0 0 20 0 15 0 225070110 15372775424 21409 33554432000 4194304 4196468 140729002787920 140714217627552 140714229884254 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19972] ppid=19967 vsize=15012476 memory=539 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19972/stat : 19972 (java) S 19967 19967 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225070111 15372775424 21409 33554432000 4194304 4196468 140729002787920 140714250046352 140714245813973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19973] ppid=19967 vsize=15012476 memory=3762953782647264928 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19973/stat : 19973 (java) S 19967 19967 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225070111 15372775424 21409 33554432000 4194304 4196468 140729002787920 140713706203920 140714245813973 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19974] ppid=19967 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19974/stat : 19974 (java) S 19967 19967 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225070111 15372775424 21409 33554432000 4194304 4196468 140729002787920 140713705151632 140714245813973 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19975] ppid=19967 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19975/stat : 19975 (java) S 19967 19967 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225070111 15372775424 21409 33554432000 4194304 4196468 140729002787920 140713704098832 140714245813973 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19976] ppid=19967 vsize=15012476 memory=139981840651904 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19976/stat : 19976 (java) S 19967 19967 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225070113 15372775424 21409 33554432000 4194304 4196468 140729002787920 140713584961648 140714245814914 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19977] ppid=19967 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19977/stat : 19977 (java) S 19967 19967 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225070113 15372775424 21409 33554432000 4194304 4196468 140729002787920 140712859394848 140714245813973 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19978] ppid=19967 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19978/stat : 19978 (java) S 19967 19967 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225070114 15372775424 21409 33554432000 4194304 4196468 140729002787920 140712590959728 140714245813973 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19979] ppid=19967 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19979/stat : 19979 (java) S 19967 19967 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225070116 15372775424 21409 33554432000 4194304 4196468 140729002787920 140712216451152 140714245822363 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19980] ppid=19967 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/19970/task/19980/stat : 19980 (java) R 19967 19967 16605 0 -1 4202560 326 0 0 0 1 0 0 0 20 0 15 0 225070116 15372775424 21409 33554432000 4194304 4196468 140729002787920 140713583909488 140714224966928 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19981] ppid=19967 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19981/stat : 19981 (java) R 19967 19967 16605 0 -1 4202560 158 0 0 0 0 0 0 0 20 0 15 0 225070116 15372775424 21409 33554432000 4194304 4196468 140729002787920 140713582848192 140714245825114 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19982] ppid=19967 vsize=15012476 memory=139981840651904 CPUtime=0.03 cores=1,3,5,7
/proc/19970/task/19982/stat : 19982 (java) R 19967 19967 16605 0 -1 1077944384 311 0 0 0 3 0 0 0 20 0 15 0 225070116 15372775424 21409 33554432000 4194304 4196468 140729002787920 140713581804400 140714245814914 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19983] ppid=19967 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19983/stat : 19983 (java) S 19967 19967 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225070116 15372775424 21409 33554432000 4194304 4196468 140729002787920 140711718546400 140714245813973 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19984] ppid=19967 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19984/stat : 19984 (java) S 19967 19967 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225070116 15372775424 21409 33554432000 4194304 4196468 140729002787920 140713580751280 140714245814914 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87028 KiB
[startup+0.310709 s]*
/proc/loadavg: 2.63 2.28 2.14 3/222 19984
/proc/meminfo: memFree=24563652/32770624 swapFree=67108860/67108860
[pid=19967] ppid=19964 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/19967/stat : 19967 (scop.sh) S 19964 19967 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225070109 115843072 348 33554432000 4194304 5098028 140727906605920 140727906603176 140275328500348 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10543104 140727906608192 140727906608391 140727906608391 140727906611149 0
/proc/19967/statm: 28282 348 296 221 0 87 0
[pid=19970] ppid=19967 vsize=15012476 memory=89852 CPUtime=0.43 cores=1,3,5,7
/proc/19970/stat : 19970 (java) S 19967 19967 16605 0 -1 1077944320 10389 0 0 0 39 4 0 0 20 0 15 0 225070109 15372775424 22463 33554432000 4194304 4196468 140729002787920 140729002770464 140714245803767 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
/proc/19970/statm: 3753119 22463 3025 1 0 3715579 0
[pid=19970/tid=19971] ppid=19967 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/19970/task/19971/stat : 19971 (java) R 19967 19967 16605 0 -1 4202560 8087 0 0 0 27 2 0 0 20 0 15 0 225070110 15372775424 22463 33554432000 4194304 4196468 140729002787920 140714217634096 140714227368720 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19972] ppid=19967 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19972/stat : 19972 (java) S 19967 19967 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225070111 15372775424 22463 33554432000 4194304 4196468 140729002787920 140714250046352 140714245813973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19973] ppid=19967 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19973/stat : 19973 (java) S 19967 19967 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225070111 15372775424 22463 33554432000 4194304 4196468 140729002787920 140713706203920 140714245813973 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19974] ppid=19967 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19974/stat : 19974 (java) S 19967 19967 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225070111 15372775424 22463 33554432000 4194304 4196468 140729002787920 140713705151632 140714245813973 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19975] ppid=19967 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19975/stat : 19975 (java) S 19967 19967 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225070111 15372775424 22463 33554432000 4194304 4196468 140729002787920 140713704098832 140714245813973 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19976] ppid=19967 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19976/stat : 19976 (java) S 19967 19967 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225070113 15372775424 22463 33554432000 4194304 4196468 140729002787920 140713584961648 140714245814914 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19977] ppid=19967 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19977/stat : 19977 (java) S 19967 19967 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225070113 15372775424 22463 33554432000 4194304 4196468 140729002787920 140712859394848 140714245813973 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19978] ppid=19967 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19978/stat : 19978 (java) S 19967 19967 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225070114 15372775424 22463 33554432000 4194304 4196468 140729002787920 140712590959728 140714245813973 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19979] ppid=19967 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19979/stat : 19979 (java) S 19967 19967 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225070116 15372775424 22463 33554432000 4194304 4196468 140729002787920 140712216451152 140714245822363 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19980] ppid=19967 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/19970/task/19980/stat : 19980 (java) R 19967 19967 16605 0 -1 4202560 347 0 0 0 2 0 0 0 20 0 15 0 225070116 15372775424 22463 33554432000 4194304 4196468 140729002787920 140713583909488 140714225050976 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19981] ppid=19967 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/19970/task/19981/stat : 19981 (java) S 19967 19967 16605 0 -1 1077944384 270 0 0 0 2 0 0 0 20 0 15 0 225070116 15372775424 22463 33554432000 4194304 4196468 140729002787920 140713582856688 140714245814914 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19982] ppid=19967 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19970/task/19982/stat : 19982 (java) S 19967 19967 16605 0 -1 1077944384 354 0 0 0 7 0 0 0 20 0 15 0 225070116 15372775424 22463 33554432000 4194304 4196468 140729002787920 140713581804400 140714245814914 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19983] ppid=19967 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19983/stat : 19983 (java) S 19967 19967 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225070116 15372775424 22463 33554432000 4194304 4196468 140729002787920 140711718546400 140714245813973 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19984] ppid=19967 vsize=15012476 memory=3977302101095161905 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19984/stat : 19984 (java) S 19967 19967 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225070116 15372775424 22463 33554432000 4194304 4196468 140729002787920 140713580751280 140714245814914 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91244 KiB
[startup+0.709294 s]
/proc/loadavg: 2.63 2.28 2.14 3/222 19984
/proc/meminfo: memFree=24539344/32770624 swapFree=67108860/67108860
[pid=19967] ppid=19964 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/19967/stat : 19967 (scop.sh) S 19964 19967 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225070109 115843072 348 33554432000 4194304 5098028 140727906605920 140727906603176 140275328500348 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10543104 140727906608192 140727906608391 140727906608391 140727906611149 0
/proc/19967/statm: 28282 348 296 221 0 87 0
[pid=19970] ppid=19967 vsize=15020872 memory=130172 CPUtime=1.03 cores=1,3,5,7
/proc/19970/stat : 19970 (java) S 19967 19967 16605 0 -1 1077944320 17658 0 0 0 98 5 0 0 20 0 15 0 225070109 15381372928 32543 33554432000 4194304 4196468 140729002787920 140729002770464 140714245803767 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
/proc/19970/statm: 3755218 32543 3164 1 0 3716603 0
[pid=19970/tid=19971] ppid=19967 vsize=15020872 memory=-7816663703405220396 CPUtime=0.68 cores=1,3,5,7
/proc/19970/task/19971/stat : 19971 (java) R 19967 19967 16605 0 -1 4202560 14825 0 0 0 64 4 0 0 20 0 15 0 225070110 15381372928 32543 33554432000 4194304 4196468 140729002787920 140714217630176 140714229147514 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19972] ppid=19967 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19972/stat : 19972 (java) S 19967 19967 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225070111 15381372928 32543 33554432000 4194304 4196468 140729002787920 140714250046352 140714245813973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19973] ppid=19967 vsize=15020872 memory=61220 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19973/stat : 19973 (java) S 19967 19967 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225070111 15381372928 32543 33554432000 4194304 4196468 140729002787920 140713706203920 140714245813973 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19974] ppid=19967 vsize=15020872 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19974/stat : 19974 (java) S 19967 19967 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225070111 15381372928 32543 33554432000 4194304 4196468 140729002787920 140713705151632 140714245813973 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19975] ppid=19967 vsize=15020872 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19975/stat : 19975 (java) S 19967 19967 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225070111 15381372928 32543 33554432000 4194304 4196468 140729002787920 140713704098832 140714245813973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19976] ppid=19967 vsize=15020872 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19976/stat : 19976 (java) S 19967 19967 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225070113 15381372928 32543 33554432000 4194304 4196468 140729002787920 140713584961648 140714245814914 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19977] ppid=19967 vsize=15020872 memory=11192 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19977/stat : 19977 (java) S 19967 19967 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225070113 15381372928 32543 33554432000 4194304 4196468 140729002787920 140712859394848 140714245813973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19978] ppid=19967 vsize=15020872 memory=752 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19978/stat : 19978 (java) S 19967 19967 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225070114 15381372928 32543 33554432000 4194304 4196468 140729002787920 140712590959728 140714245813973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19979] ppid=19967 vsize=15020872 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19979/stat : 19979 (java) S 19967 19967 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225070116 15381372928 32543 33554432000 4194304 4196468 140729002787920 140712216451152 140714245822363 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19980] ppid=19967 vsize=15020872 memory=1120 CPUtime=0.09 cores=1,3,5,7
/proc/19970/task/19980/stat : 19980 (java) R 19967 19967 16605 0 -1 4202560 602 0 0 0 9 0 0 0 20 0 15 0 225070116 15381372928 32543 33554432000 4194304 4196468 140729002787920 140713583895552 140714224222823 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19981] ppid=19967 vsize=15020872 memory=6120 CPUtime=0.07 cores=1,3,5,7
/proc/19970/task/19981/stat : 19981 (java) R 19967 19967 16605 0 -1 4202560 374 0 0 0 7 0 0 0 20 0 15 0 225070116 15381372928 32543 33554432000 4194304 4196468 140729002787920 140713582846480 140714245825114 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19982] ppid=19967 vsize=15020872 memory=1724 CPUtime=0.17 cores=1,3,5,7
/proc/19970/task/19982/stat : 19982 (java) R 19967 19967 16605 0 -1 4202560 524 0 0 0 17 0 0 0 20 0 15 0 225070116 15381372928 32543 33554432000 4194304 4196468 140729002787920 140713581804400 140714238907399 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19983] ppid=19967 vsize=15020872 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19983/stat : 19983 (java) S 19967 19967 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225070116 15381372928 32543 33554432000 4194304 4196468 140729002787920 140711718546400 140714245813973 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19984] ppid=19967 vsize=15020872 memory=3516 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19984/stat : 19984 (java) S 19967 19967 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225070116 15381372928 32543 33554432000 4194304 4196468 140729002787920 140713580751280 140714245814914 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131564 KiB
[startup+1.5013 s]
/proc/loadavg: 2.63 2.28 2.14 5/222 19984
/proc/meminfo: memFree=24500892/32770624 swapFree=67108860/67108860
[pid=19967] ppid=19964 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/19967/stat : 19967 (scop.sh) S 19964 19967 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225070109 115843072 348 33554432000 4194304 5098028 140727906605920 140727906603176 140275328500348 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10543104 140727906608192 140727906608391 140727906608391 140727906611149 0
/proc/19967/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
[pid=19970/tid=19981] ppid=19967 vsize=15024968 memory=0 CPUtime=2.23 cores=1,3,5,7
/proc/19970/task/19981/stat : 19981 (java) R 19967 19967 16605 0 -1 4202560 3151 0 0 0 222 1 0 0 20 0 15 0 225070116 15385567232 122841 33554432000 4194304 4196468 140729002787920 140713582849712 140714227325043 0 4 2 25189581 0 0 0 -1 3 0 0 11 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19982] ppid=19967 vsize=15024968 memory=0 CPUtime=1.26 cores=1,3,5,7
/proc/19970/task/19982/stat : 19982 (java) S 19967 19967 16605 0 -1 1077944384 4170 0 0 0 125 1 0 0 20 0 15 0 225070116 15385567232 122841 33554432000 4194304 4196468 140729002787920 140713581804400 140714245814914 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19983] ppid=19967 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19983/stat : 19983 (java) S 19967 19967 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225070116 15385567232 122841 33554432000 4194304 4196468 140729002787920 140711718546400 140714245813973 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19984] ppid=19967 vsize=15024968 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19984/stat : 19984 (java) S 19967 19967 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225070116 15385567232 122841 33554432000 4194304 4196468 140729002787920 140713580751280 140714245814914 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
Current children cumulated CPU time: 8.74 s
Current children cumulated vsize: 15138096 KiB
Current children cumulated memory: 492756 KiB
[startup+4.80081 s]
/proc/loadavg: 2.74 2.31 2.15 5/222 19984
/proc/meminfo: memFree=23927312/32770624 swapFree=67108860/67108860
[pid=19967] ppid=19964 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/19967/stat : 19967 (scop.sh) S 19964 19967 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225070109 115843072 348 33554432000 4194304 5098028 140727906605920 140727906603176 140275328500348 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10543104 140727906608192 140727906608391 140727906608391 140727906611149 0
/proc/19967/statm: 28282 348 296 221 0 87 0
[pid=19970] ppid=19967 vsize=15029132 memory=1113596 CPUtime=13.43 cores=1,3,5,7
/proc/19970/stat : 19970 (java) S 19967 19967 16605 0 -1 1077944320 33625 0 0 0 1317 26 0 0 20 0 15 0 225070109 15389831168 278399 33554432000 4194304 4196468 140729002787920 140729002770464 140714245803767 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
/proc/19970/statm: 3757283 278399 3214 1 0 3718139 0
[pid=19970/tid=19971] ppid=19967 vsize=15029132 memory=-8820188211957838939 CPUtime=4.64 cores=1,3,5,7
/proc/19970/task/19971/stat : 19971 (java) R 19967 19967 16605 0 -1 4202560 17629 0 0 0 444 20 0 0 20 0 15 0 225070110 15389831168 278399 33554432000 4194304 4196468 140729002787920 140714217642896 140713761674532 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19972] ppid=19967 vsize=15029132 memory=7595720320831548772 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19972/stat : 19972 (java) S 19967 19967 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225070111 15389831168 278399 33554432000 4194304 4196468 140729002787920 140714250046352 140714245813973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19973] ppid=19967 vsize=15029132 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19973/stat : 19973 (java) S 19967 19967 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225070111 15389831168 278399 33554432000 4194304 4196468 140729002787920 140713706203920 140714245813973 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19974] ppid=19967 vsize=15029132 memory=7162531440177276259 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19974/stat : 19974 (java) S 19967 19967 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225070111 15389831168 278399 33554432000 4194304 4196468 140729002787920 140713705151632 140714245813973 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19975] ppid=19967 vsize=15029132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19975/stat : 19975 (java) S 19967 19967 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225070111 15389831168 278399 33554432000 4194304 4196468 140729002787920 140713704098832 140714245813973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19976] ppid=19967 vsize=15029132 memory=2273 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19976/stat : 19976 (java) S 19967 19967 16605 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 225070113 15389831168 278399 33554432000 4194304 4196468 140729002787920 140713584961648 140714245814914 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19977] ppid=19967 vsize=15029132 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19977/stat : 19977 (java) S 19967 19967 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225070113 15389831168 278399 33554432000 4194304 4196468 140729002787920 140712859394848 140714245813973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19978] ppid=19967 vsize=15029132 memory=279963417407648 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19978/stat : 19978 (java) S 19967 19967 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225070114 15389831168 278399 33554432000 4194304 4196468 140729002787920 140712590959728 140714245813973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19979] ppid=19967 vsize=15029132 memory=279963417307408 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19979/stat : 19979 (java) S 19967 19967 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225070116 15389831168 278399 33554432000 4194304 4196468 140729002787920 140712216451152 140714245822363 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19980] ppid=19967 vsize=15029132 memory=1192837 CPUtime=3.62 cores=1,3,5,7
/proc/19970/task/19980/stat : 19980 (java) S 19967 19967 16605 0 -1 1077944384 4945 0 0 0 360 2 0 0 20 0 15 0 225070116 15389831168 278399 33554432000 4194304 4196468 140729002787920 140713583909488 140714245814914 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19981] ppid=19967 vsize=15029132 memory=0 CPUtime=3.67 cores=1,3,5,7
/proc/19970/task/19981/stat : 19981 (java) S 19967 19967 16605 0 -1 1077944384 5451 0 0 0 366 1 0 0 20 0 15 0 225070116 15389831168 278399 33554432000 4194304 4196468 140729002787920 140713582856688 140714245814914 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19982] ppid=19967 vsize=15029132 memory=6791534058613427641 CPUtime=1.46 cores=1,3,5,7
/proc/19970/task/19982/stat : 19982 (java) S 19967 19967 16605 0 -1 1077944384 4263 0 0 0 144 2 0 0 20 0 15 0 225070116 15389831168 278399 33554432000 4194304 4196468 140729002787920 140713581804400 140714245814914 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19983] ppid=19967 vsize=15029132 memory=229904 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19983/stat : 19983 (java) S 19967 19967 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225070116 15389831168 278399 33554432000 4194304 4196468 140729002787920 140711718546400 140714245813973 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
[pid=19970/tid=19984] ppid=19967 vsize=15029132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19970/task/19984/stat : 19984 (java) S 19967 19967 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225070116 15389831168 278399 33554432000 4194304 4196468 140729002787920 140713580751280 140714245814914 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10784768 140729002791942 140729002792241 140729002792241 140729002794959 0
Current children cumulated CPU time: 13.43 s
Current children cumulated vsize: 15142260 KiB
Current children cumulated memory: 1114988 KiB
[startup+5.60029 s]
/proc/loadavg: 2.74 2.31 2.15 5/222 19984
/proc/meminfo: memFree=23420684/32770624 swapFree=67108860/67108860
[pid=19967] ppid=19964 vsize=113128 memory=1468 CPUtime=14.47 cores=1,3,5,7
/proc/19967/stat : 19967 (scop.sh) S 19964 19967 16605 0 -1 4202496 590 34961 0 0 0 0 1416 31 20 0 1 0 225070109 115843072 367 33554432000 4194304 5098028 140727906605920 140727906602664 140275328500348 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10543104 140727906608192 140727906608391 140727906608391 140727906611149 0
/proc/19967/statm: 28282 367 311 221 0 87 0
Current children cumulated CPU time: 14.47 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1468 KiB
[startup+6.00037 s]*
/proc/loadavg: 2.74 2.31 2.15 3/227 20005
/proc/meminfo: memFree=24517504/32770624 swapFree=67108860/67108860
[pid=19967] ppid=19964 vsize=113128 memory=1468 CPUtime=14.47 cores=1,3,5,7
/proc/19967/stat : 19967 (scop.sh) S 19964 19967 16605 0 -1 4202496 590 34961 0 0 0 0 1416 31 20 0 1 0 225070109 115843072 367 33554432000 4194304 5098028 140727906605920 140727906602664 140275328500348 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10543104 140727906608192 140727906608391 140727906608391 140727906611149 0
/proc/19967/statm: 28282 367 311 221 0 87 0
[pid=19985] ppid=19967 vsize=8068220 memory=116644 CPUtime=1.26 cores=1,3,5,7
/proc/19985/stat : 19985 (java) S 19967 19967 16605 0 -1 1077944320 18433 0 0 0 121 5 0 0 20 0 19 0 225070625 8261857280 29161 33554432000 4194304 4196468 140734729309872 140734729292416 139854024556279 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21184512 140734729315509 140734729315633 140734729315633 140734729318351 0
/proc/19985/statm: 2017055 29161 3159 1 0 1978454 0
[pid=20000] ppid=19985 vsize=37404 memory=18472 CPUtime=0.09 cores=1,3,5,7
/proc/20000/stat : 20000 (minisat_release) R 19985 19967 16605 0 -1 4202496 4382 0 0 0 9 0 0 0 20 0 1 0 225070700 38301696 4618 33554432000 4194304 4308513 140732097867952 140732097865096 4279608 0 4 0 8388610 0 0 0 17 5 0 0 0 0 0 6409496 6410680 16084992 140732097868916 140732097869014 140732097869014 140732097871813 0
/proc/20000/statm: 9351 4618 320 28 0 5591 0
[pid=19985/tid=19986] ppid=19967 vsize=8068220 memory=-7824251494390715746 CPUtime=0.77 cores=1,3,5,7
/proc/19985/task/19986/stat : 19986 (java) S 19967 19967 16605 0 -1 1077944384 14998 0 0 0 73 4 0 0 20 0 19 0 225070625 8261857280 29161 33554432000 4194304 4196468 140734729309872 139853996396432 139854024566485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21184512 140734729315509 140734729315633 140734729315633 140734729318351 0
[pid=19985/tid=19987] ppid=19967 vsize=8068220 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/19985/task/19987/stat : 19987 (java) S 19967 19967 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225070626 8261857280 29161 33554432000 4194304 4196468 140734729309872 139854028798992 139854024566485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21184512 140734729315509 140734729315633 140734729315633 140734729318351 0
[pid=19985/tid=19988] ppid=19967 vsize=8068220 memory=7012782367289071712 CPUtime=0 cores=1,3,5,7
/proc/19985/task/19988/stat : 19988 (java) S 19967 19967 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225070626 8261857280 29161 33554432000 4194304 4196468 140734729309872 139853828967568 139854024566485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21184512 140734729315509 140734729315633 140734729315633 140734729318351 0
[pid=19985/tid=19989] ppid=19967 vsize=8068220 memory=7446251550593476432 CPUtime=0 cores=1,3,5,7
/proc/19985/task/19989/stat : 19989 (java) S 19967 19967 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225070626 8261857280 29161 33554432000 4194304 4196468 140734729309872 139853827914512 139854024566485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21184512 140734729315509 140734729315633 140734729315633 140734729318351 0
[pid=19985/tid=19990] ppid=19967 vsize=8068220 memory=-2023959437020729679 CPUtime=0 cores=1,3,5,7
/proc/19985/task/19990/stat : 19990 (java) S 19967 19967 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225070626 8261857280 29161 33554432000 4194304 4196468 140734729309872 139853826861968 139854024566485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21184512 140734729315509 140734729315633 140734729315633 140734729318351 0
[pid=19985/tid=19991] ppid=19967 vsize=8068220 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/19985/task/19991/stat : 19991 (java) S 19967 19967 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225070628 8261857280 29161 33554432000 4194304 4196468 140734729309872 139853470587120 139854024567426 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21184512 140734729315509 140734729315633 140734729315633 140734729318351 0
[pid=19985/tid=19992] ppid=19967 vsize=8068220 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/19985/task/19992/stat : 19992 (java) S 19967 19967 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225070628 8261857280 29161 33554432000 4194304 4196468 140734729309872 139852859303072 139854024566485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21184512 140734729315509 140734729315633 140734729315633 140734729318351 0
[pid=19985/tid=19993] ppid=19967 vsize=8068220 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/19985/task/19993/stat : 19993 (java) S 19967 19967 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225070628 8261857280 29161 33554432000 4194304 4196468 140734729309872 139852725080816 139854024566485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21184512 140734729315509 140734729315633 140734729315633 140734729318351 0
[pid=19985/tid=19994] ppid=19967 vsize=8068220 memory=-7088785026380002758 CPUtime=0 cores=1,3,5,7
/proc/19985/task/19994/stat : 19994 (java) S 19967 19967 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225070631 8261857280 29161 33554432000 4194304 4196468 140734729309872 139852350576592 139854024574875 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21184512 140734729315509 140734729315633 140734729315633 140734729318351 0
[pid=19985/tid=19995] ppid=19967 vsize=8068220 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/19985/task/19995/stat : 19995 (java) S 19967 19967 16605 0 -1 1077944384 1043 0 0 0 13 0 0 0 20 0 19 0 225070631 8261857280 29161 33554432000 4194304 4196468 140734729309872 139853469534960 139854024567426 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21184512 140734729315509 140734729315633 140734729315633 140734729318351 0
[pid=19985/tid=19996] ppid=19967 vsize=8068220 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/19985/task/19996/stat : 19996 (java) S 19967 19967 16605 0 -1 1077944384 317 0 0 0 11 0 0 0 20 0 19 0 225070631 8261857280 29161 33554432000 4194304 4196468 140734729309872 139853468482416 139854024567426 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21184512 140734729315509 140734729315633 140734729315633 140734729318351 0
[pid=19985/tid=19997] ppid=19967 vsize=8068220 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/19985/task/19997/stat : 19997 (java) S 19967 19967 16605 0 -1 1077944384 645 0 0 0 21 0 0 0 20 0 19 0 225070631 8261857280 29161 33554432000 4194304 4196468 140734729309872 139853467429360 139854024567426 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21184512 140734729315509 140734729315633 140734729315633 140734729318351 0
[pid=19985/tid=19998] ppid=19967 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19985/task/19998/stat : 19998 (java) S 19967 19967 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225070631 8261857280 29161 33554432000 4194304 4196468 140734729309872 139851852671840 139854024566485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21184512 140734729315509 140734729315633 140734729315633 140734729318351 0
[pid=19985/tid=19999] ppid=19967 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19985/task/19999/stat : 19999 (java) S 19967 19967 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225070631 8261857280 29161 33554432000 4194304 4196468 140734729309872 139853466376752 139854024567426 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21184512 140734729315509 140734729315633 140734729315633 140734729318351 0
[pid=19985/tid=20001] ppid=19967 vsize=8068220 memory=4121982442391216136 CPUtime=0 cores=1,3,5,7
/proc/19985/task/20001/stat : 20001 (java) S 19967 19967 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225070700 8261857280 29161 33554432000 4194304 4196468 140734729309872 139853465322816 139854024580889 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 21184512 140734729315509 140734729315633 140734729315633 140734729318351 0
[pid=19985/tid=20003] ppid=19967 vsize=8068220 memory=7719362657689745056 CPUtime=0 cores=1,3,5,7
/proc/19985/task/20003/stat : 20003 (java) S 19967 19967 16605 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225070700 8261857280 29161 33554432000 4194304 4196468 140734729309872 139851315785104 139854024578205 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 21184512 140734729315509 140734729315633 140734729315633 140734729318351 0
[pid=19985/tid=20004] ppid=19967 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19985/task/20004/stat : 20004 (java) S 19967 19967 16605 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225070700 8261857280 29161 33554432000 4194304 4196468 140734729309872 139851450007568 139854024578205 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 21184512 140734729315509 140734729315633 140734729315633 140734729318351 0
[pid=19985/tid=20005] ppid=19967 vsize=8068220 memory=7308332046621037065 CPUtime=0 cores=1,3,5,7
/proc/19985/task/20005/stat : 20005 (java) S 19967 19967 16605 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 225070702 8261857280 29161 33554432000 4194304 4196468 140734729309872 139851047362336 139854024566485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21184512 140734729315509 140734729315633 140734729315633 140734729318351 0
Current children cumulated CPU time: 15.82 s
Current children cumulated vsize: 8218752 KiB
Current children cumulated memory: 136584 KiB
[startup+6.20098 s]
/proc/loadavg: 2.74 2.31 2.15 3/227 20005
/proc/meminfo: memFree=24517504/32770624 swapFree=67108860/67108860
[pid=19967] ppid=19964 vsize=113128 memory=1468 CPUtime=14.47 cores=1,3,5,7
/proc/19967/stat : 19967 (scop.sh) S 19964 19967 16605 0 -1 4202496 590 34961 0 0 0 0 1416 31 20 0 1 0 225070109 115843072 367 33554432000 4194304 5098028 140727906605920 140727906602664 140275328500348 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10543104 140727906608192 140727906608391 140727906608391 140727906611149 0
/proc/19967/statm: 28282 367 311 221 0 87 0
[pid=19985] ppid=19967 vsize=7937144 memory=124300 CPUtime=1.7 cores=1,3,5,7
/proc/19985/stat : 19985 (java) S 19967 19967 16605 0 -1 1077944320 18832 5874 0 0 144 6 19 1 20 0 17 0 225070625 8127635456 31075 33554432000 4194304 4196468 140734729309872 140734729292416 139854024556279 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21184512 140734729315509 140734729315633 140734729315633 140734729318351 0
/proc/19985/statm: 1984286 31075 3165 1 0 1945685 0
[pid=19985/tid=19986] ppid=19967 vsize=7937144 memory=7100839852556323184 CPUtime=1.03 cores=1,3,5,7
/proc/19985/task/19986/stat : 19986 (java) R 19967 19967 16605 0 -1 4202560 15167 5874 0 0 79 4 19 1 20 0 17 0 225070625 8127635456 31075 33554432000 4194304 4196468 140734729309872 139853996386976 139854007749013 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21184512 140734729315509 140734729315633 140734729315633 140734729318351 0
[pid=19985/tid=19987] ppid=19967 vsize=7937144 memory=-7163935624071343270 CPUtime=0.2 cores=1,3,5,7
/proc/19985/task/19987/stat : 19987 (java) S 19967 19967 16605 0 -1 1077944384 2 5874 0 0 0 0 19 1 20 0 17 0 225070626 8127635456 31075 33554432000 4194304 4196468 140734729309872 139854028798992 139854024566485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21184512 140734729315509 140734729315633 140734729315633 140734729318351 0
[pid=19985/tid=19988] ppid=19967 vsize=7937144 memory=279963417519584 CPUtime=0.2 cores=1,3,5,7
/proc/19985/task/19988/stat : 19988 (java) S 19967 19967 16605 0 -1 1077944384 2 5874 0 0 0 0 19 1 20 0 17 0 225070626 8127635456 31075 33554432000 4194304 4196468 140734729309872 139853828967568 139854024566485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21184512 140734729315509 140734729315633 140734729315633 140734729318351 0
[pid=19985/tid=19989] ppid=19967 vsize=7937144 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/19985/task/19989/stat : 19989 (java) S 19967 19967 16605 0 -1 1077944384 1 5874 0 0 0 0 19 1 20 0 17 0 225070626 8127635456 31075 33554432000 4194304 4196468 140734729309872 139853827914512 139854024566485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21184512 140734729315509 140734729315633 140734729315633 140734729318351 0
[pid=19985/tid=19990] ppid=19967 vsize=7937144 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/19985/task/19990/stat : 19990 (java) S 19967 19967 16605 0 -1 1077944384 1 5874 0 0 0 0 19 1 20 0 17 0 225070626 8127635456 31075 33554432000 4194304 4196468 140734729309872 139853826861968 139854024566485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21184512 140734729315509 140734729315633 140734729315633 140734729318351 0
[pid=19985/tid=19991] ppid=19967 vsize=7937144 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/19985/task/19991/stat : 19991 (java) S 19967 19967 16605 0 -1 1077944384 5 5874 0 0 0 0 19 1 20 0 17 0 225070628 8127635456 31075 33554432000 4194304 4196468 140734729309872 139853470587120 139854024567426 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21184512 140734729315509 140734729315633 140734729315633 140734729318351 0
[pid=19985/tid=19992] ppid=19967 vsize=7937144 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/19985/task/19992/stat : 19992 (java) S 19967 19967 16605 0 -1 1077944384 13 5874 0 0 0 0 19 1 20 0 17 0 225070628 8127635456 31075 33554432000 4194304 4196468 140734729309872 139852859303072 139854024566485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21184512 140734729315509 140734729315633 140734729315633 140734729318351 0
[pid=19985/tid=19993] ppid=19967 vsize=7937144 memory=1392 CPUtime=0.2 cores=1,3,5,7
/proc/19985/task/19993/stat : 19993 (java) S 19967 19967 16605 0 -1 1077944384 21 5874 0 0 0 0 19 1 20 0 17 0 225070628 8127635456 31075 33554432000 4194304 4196468 140734729309872 139852725080816 139854024566485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21184512 140734729315509 140734729315633 140734729315633 140734729318351 0
[pid=19985/tid=19994] ppid=19967 vsize=7937144 memory=542952 CPUtime=0.2 cores=1,3,5,7
/proc/19985/task/19994/stat : 19994 (java) S 19967 19967 16605 0 -1 1077944384 3 5874 0 0 0 0 19 1 20 0 17 0 225070631 8127635456 31075 33554432000 4194304 4196468 140734729309872 139852350576592 139854024574875 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21184512 140734729315509 140734729315633 140734729315633 140734729318351 0
[pid=19985/tid=19995] ppid=19967 vsize=7937144 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/19985/task/19995/stat : 19995 (java) S 19967 19967 16605 0 -1 1077944384 1072 5874 0 0 17 0 19 1 20 0 17 0 225070631 8127635456 31075 33554432000 4194304 4196468 140734729309872 139853469534960 139854024567426 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21184512 140734729315509 140734729315633 140734729315633 140734729318351 0
[pid=19985/tid=19996] ppid=19967 vsize=7937144 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/19985/task/19996/stat : 19996 (java) S 19967 19967 16605 0 -1 1077944384 348 5874 0 0 16 0 19 1 20 0 17 0 225070631 8127635456 31075 33554432000 4194304 4196468 140734729309872 139853468482416 139854024567426 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21184512 140734729315509 140734729315633 140734729315633 140734729318351 0
[pid=19985/tid=19997] ppid=19967 vsize=7937144 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/19985/task/19997/stat : 19997 (java) S 19967 19967 16605 0 -1 1077944384 759 5874 0 0 26 0 19 1 20 0 17 0 225070631 8127635456 31075 33554432000 4194304 4196468 140734729309872 139853467429360 139854024567426 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21184512 140734729315509 140734729315633 140734729315633 140734729318351 0
[pid=19985/tid=19998] ppid=19967 vsize=7937144 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/19985/task/19998/stat : 19998 (java) S 19967 19967 16605 0 -1 1077944384 3 5874 0 0 0 0 19 1 20 0 17 0 225070631 8127635456 31075 33554432000 4194304 4196468 140734729309872 139851852671840 139854024566485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21184512 140734729315509 140734729315633 140734729315633 140734729318351 0
[pid=19985/tid=19999] ppid=19967 vsize=7937144 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/19985/task/19999/stat : 19999 (java) S 19967 19967 16605 0 -1 1077944384 1 5874 0 0 0 0 19 1 20 0 17 0 225070631 8127635456 31075 33554432000 4194304 4196468 140734729309872 139853466376752 139854024567426 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21184512 140734729315509 140734729315633 140734729315633 140734729318351 0
[pid=19985/tid=20001] ppid=19967 vsize=7937144 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/19985/task/20001/stat : 20001 (java) S 19967 19967 16605 0 -1 1077944384 27 5874 0 0 0 0 19 1 20 0 17 0 225070700 8127635456 31075 33554432000 4194304 4196468 140734729309872 139853465322000 139854024567426 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21184512 140734729315509 140734729315633 140734729315633 140734729318351 0
[pid=19985/tid=20005] ppid=19967 vsize=7937144 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/19985/task/20005/stat : 20005 (java) S 19967 19967 16605 0 -1 1077944384 9 5874 0 0 0 0 19 1 20 0 17 0 225070702 8127635456 31075 33554432000 4194304 4196468 140734729309872 139851047364144 139854024567426 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21184512 140734729315509 140734729315633 140734729315633 140734729318351 0
Current children cumulated CPU time: 16.17 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 125768 KiB
Child status: 0
Real time (s): 6.26171
CPU time (s): 16.2928
CPU user time (s): 15.8924
CPU system time (s): 0.40045
CPU usage (%): 260.198
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 1237036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.8924
system time used= 0.40045
maximum resident set size= 1238420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60469
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5763
involuntary context switches= 57
# summary of solver processes directly reported to runsolver:
# pid: 19967
# total CPU time (s): 16.2928
# total CPU user time (s): 15.8924
# total CPU system time (s): 0.40045
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.063616 second user time and 0.111589 second system time
The end