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-6970-serial-file.bin HOME/instance-4305423-1534074782.xml
0.53/0.51
0.65/0.52 scop order+minisat_release (2018-07-31)
0.65/0.52 (Encoding Process)
0.65/0.52
0.65/0.54 c BEGIN-Prog: Sun Aug 12 13:53:03 CEST 2018
0.65/0.54 c PID: 6973
0.65/0.54 c IP: 172.20.3.151
0.65/0.54 c HOST: node151.alineos.net
0.65/0.55 c (0,0) Parsing Begin
4.36/1.81 c (1,1) Parsing End
4.36/1.82 c (1,1) CSP: 150 int (0 aux), 0 bool (0 aux), 4508 ctr, max domain size 5
4.36/1.82 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.36/1.82 c (1,1) Constraint Name Generate Begin
4.36/1.85 c (1,1) Ctr:HOME/instance-4305423-1534074782.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or
4.36/1.85 c (1,1) Constraint Name Generate End
4.36/1.85 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
4.36/1.85 c (1,1) CSP to CSPinCNF Begin
4.91/2.07 c (1,1) translated 451 (10%) constraints
5.22/2.13 c (1,1) translated 902 (20%) constraints
5.22/2.16 c (1,1) translated 1353 (30%) constraints
5.22/2.19 c (1,1) translated 1804 (40%) constraints
5.47/2.22 c (1,1) translated 2254 (50%) constraints
5.47/2.25 c (1,1) translated 2705 (60%) constraints
5.47/2.28 c (1,1) translated 3156 (70%) constraints
5.74/2.31 c (1,1) translated 3607 (80%) constraints
5.74/2.34 c (1,1) translated 4058 (90%) constraints
6.77/2.68 c (2,2) translated 4508 (100%) constraints
8.00/3.04 c (2,2) STATISTICS1:HOME/instance-4305423-1534074782.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,1111,6535,16777216,5,4,25,16777216:60;5:7912;1:1597,5:17123;2:2883;1:3420,4:4711;3:779;2:961;1:84,25:60;2:9509;1:4433,
8.00/3.04 c (2,2) ==========================================
8.00/3.04 c (2,2) Order
8.00/3.04 c (2,2) ==========================================
8.00/3.10 c (2,2) translated 654 (10%) constraints
8.33/3.14 c (2,2) translated 1307 (20%) constraints
8.33/3.18 c (2,2) translated 1961 (30%) constraints
8.60/3.22 c (2,2) translated 2614 (40%) constraints
8.60/3.26 c (2,2) translated 3268 (50%) constraints
8.96/3.30 c (2,2) translated 3921 (60%) constraints
8.96/3.36 c (2,2) translated 4575 (70%) constraints
9.24/3.43 c (2,2) translated 5228 (80%) constraints
9.24/3.50 c (2,2) translated 5882 (90%) constraints
9.56/3.53 c (3,2) translated 6535 (100%) constraints
9.56/3.53 c (3,2) CSP to CSPinCNF End
9.56/3.54 c (3,3) CSP: 240 int (90 aux), 1711 bool (1711 aux), 8270 ctr, max domain size 6
9.56/3.54 c (3,3) Heap : 675 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
9.56/3.54 c (3,3) CSPinCNF Propagation Begin
10.20/3.71 c (3,3) 345 values, 2618 unsatisfiable literals, and 2143 valid clauses are removed
10.20/3.71 c (3,3) CSPinCNF Propagation End
10.20/3.71 c (3,3) CSP: 510 int (360 aux), 1441 bool (1441 aux), 6127 ctr, max domain size 6
10.20/3.71 c (3,3) Heap : 732 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
10.20/3.71 c (3,3) Simplify CSPinCNF Begin
10.52/3.88 c (3,3) Simplify CSPinCNF End
10.52/3.88 c (3,3) CSP: 510 int (360 aux), 4693 bool (4693 aux), 9379 ctr, max domain size 6
10.52/3.88 c (3,3) Heap : 788 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
10.52/3.88 c (3,3) Calculate Precise Domain Begin
10.81/3.93 c (3,3) 0 values are removed by re-calculation
10.81/3.93 c (3,3) Calculate Precise Domain End
10.81/3.93 c (3,3) CSP: 510 int (360 aux), 4693 bool (4693 aux), 9379 ctr, max domain size 6
10.81/3.93 c (3,3) Heap : 788 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
10.81/3.93 c (3,3) CSPinCNF to SatSolver Begin
11.20/4.06 c (3,3) 938 (10 %) CSP clauses are encoded (5568 SAT variables, 4188 SAT clauses)
11.48/4.11 c (3,3) 1876 (20 %) CSP clauses are encoded (5568 SAT variables, 8054 SAT clauses)
11.48/4.15 c (3,3) 2814 (30 %) CSP clauses are encoded (5568 SAT variables, 11416 SAT clauses)
11.48/4.18 c (3,3) 3752 (40 %) CSP clauses are encoded (5568 SAT variables, 14674 SAT clauses)
11.76/4.21 c (3,3) 4690 (50 %) CSP clauses are encoded (5568 SAT variables, 17364 SAT clauses)
11.76/4.23 c (3,3) 5628 (60 %) CSP clauses are encoded (5568 SAT variables, 18302 SAT clauses)
12.07/4.33 c (3,3) 6566 (70 %) CSP clauses are encoded (5568 SAT variables, 27095 SAT clauses)
12.68/4.55 c (4,4) 7504 (80 %) CSP clauses are encoded (5568 SAT variables, 43743 SAT clauses)
12.97/4.65 c (4,4) 8442 (90 %) CSP clauses are encoded (5568 SAT variables, 60391 SAT clauses)
12.97/4.66 c (4,4) 9379 (100 %) CSP clauses are encoded (5568 SAT variables, 62753 SAT clauses)
12.97/4.66 c (4,4) Launch Command will be: minisat_release
12.97/4.66 c (4,4) CSPinCNF to SatSolver End
12.97/4.66 c (4,4) Heap : 1013 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
13.19/4.75 c (4,4) STATISTICS2:HOME/instance-4305423-1534074782.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,5203,9379,512,6,4,10,512:50;256:100;36:50;5:3412;1:59,6:300;5:8883;2:20886;1:59,4:3183;3:407;2:5565;1:224,10:50;9:100;3:50;2:3471;1:21636,
13.19/4.75 c (4,4) 5568 bool, 62757 clause
13.19/4.75 c (4,4) Export Begin
13.51/4.84 c (4,4) Export to HOME/scop-6970-serial-file.bin
13.51/4.84 c (4,4) Export End
13.51/4.84 c (4,4) Export File Size: 0.03 MB
13.51/4.84 c (4,4) 1,1,3,3,3,3,4,STOP-AFTER(DIMACS)
13.51/4.84 c END-Prog: Sun Aug 12 13:53:07 CEST 2018
13.51/4.87 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-6970-serial-file.bin
14.25/5.36 c (0,0) Read Serial File Begin
14.25/5.36 c (0,0) HOME/scop-6970-serial-file.bin
14.54/5.53 c (0,0) Read Serial File End
14.54/5.54
14.54/5.54 scop order+minisat_release (2018-07-31)
14.54/5.54 (Solving Process)
14.54/5.54
14.54/5.56 c BEGIN-Prog: Sun Aug 12 13:53:08 CEST 2018
14.54/5.56 c PID: 6988
14.54/5.56 c IP: 172.20.3.151
14.54/5.56 c HOST: node151.alineos.net
14.54/5.57 c (0,0) SatSolver.solve Begin
14.54/5.57 c (0,0) 0 bool, 0 clause
14.54/5.57 c (0,0) minisat_release HOME/instance-4305423-1534074782.xml-scop-6973.cnf
15.30/6.13 c (0,0) c This is COMiniSatPS.
15.30/6.13 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
15.30/6.13 c (0,0) c ============================[ Problem Statistics ]=============================
15.30/6.13 c (0,0) c | |
15.30/6.13 c (0,0) c | Number of variables: 5568 |
15.30/6.13 c (0,0) c | Number of clauses: 62757 |
15.30/6.13 c (0,0) c | Parse time: 0.02 s |
15.30/6.13 c (0,0) c | Eliminated clauses: 0.02 Mb |
15.30/6.13 c (0,0) c Reduced to 4443 vars, 60736 cls (grow=0)
15.30/6.13 c (0,0) c No iterative elimination performed. (vars=4443, c/v ratio=13.7)
15.30/6.13 c (0,0) c | Simplification time: 0.12 s |
15.30/6.13 c (0,0) c | |
15.30/6.13 c (0,0) c ============================[ Search Statistics ]==============================
15.30/6.13 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
15.30/6.13 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
15.30/6.13 c (0,0) c ===============================================================================
15.30/6.13 c (0,0) c ===============================================================================
15.30/6.13 c (0,0) c restarts : 50
15.30/6.13 c (0,0) c conflicts : 9371 (17945 /sec)
15.30/6.13 c (0,0) c decisions : 19058 (0.00 % random) (36496 /sec)
15.30/6.13 c (0,0) c propagations : 1505372 (2882766 /sec)
15.30/6.13 c (0,0) c conflict literals : 253630 (6.02 % deleted)
15.30/6.13 c (0,0) c CPU time : 0.522197 s
15.30/6.13 c (0,0)
15.30/6.13 c (0,0) s SATISFIABLE
15.30/6.16 c (0,0) SatSolver.solve End
15.30/6.16 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
15.30/6.16 c (0,0) Show results Begin
15.48/6.22 s SATISFIABLE
15.48/6.23 v <instantiation>
15.48/6.23 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24]</list>
15.48/6.23 v <values>0 0 0 0 0 1 1 1 1 1 2 2 2 2 2 3 3 3 3 3 4 4 4 4 4 0 1 2 3 4 0 1 2 3 4 0 1 2 3 4 0 1 2 3 4 0 1 2 3 4 0 2 3 1 4 4 1 0 3 2 3 4 1 2 0 2 3 4 0 1 1 0 2 4 3 0 2 3 4 1 3 1 4 2 0 1 4 0 3 2 4 0 2 1 3 2 3 1 0 4 0 2 4 1 3 1 0 2 3 4 2 4 3 0 1 3 1 0 4 2 4 3 1 2 0 0 2 4 1 3 2 4 3 0 1 1 0 2 3 4 4 3 1 2 0 3 1 0 4 2</values>
15.48/6.23 v </instantiation>
15.48/6.23 c (0,0) Show results End
15.48/6.23 c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
15.48/6.23 c (0,0) 0,0,STOP-AFTER(ALL)
15.48/6.23 c END-Prog: Sun Aug 12 13:53:09 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 (2877 MiB free)
memory of node 1: 16384 MiB (5672 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305423-1534074782/watcher-4305423-1534074782 -o /tmp/evaluation-result-4305423-1534074782/solver-4305423-1534074782 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534062410-3794 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305423-1534074782.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=6970, runsolver pid=6967
Current StackSize limit: 8192 KiB
[startup+0.100267 s]*
/proc/loadavg: 2.02 2.04 2.05 3/223 6987
/proc/meminfo: memFree=8692592/32770624 swapFree=67108860/67108860
[pid=6970] ppid=6967 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6970/stat : 6970 (scop.sh) S 6967 6970 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225041431 115843072 349 33554432000 4194304 5098028 140733620909248 140733620906504 140162072773244 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35012608 140733620917312 140733620917511 140733620917511 140733620920269 0
/proc/6970/statm: 28282 349 296 221 0 87 0
[pid=6973] ppid=6970 vsize=15012476 memory=73320 CPUtime=0.11 cores=1,3,5,7
/proc/6973/stat : 6973 (java) S 6970 6970 3762 0 -1 1077944320 6448 0 0 0 9 2 0 0 20 0 15 0 225041432 15372775424 18264 33554432000 4194304 4196468 140734078752480 140734078735024 140574141411063 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
/proc/6973/statm: 3753119 18264 2741 1 0 3715579 0
[pid=6973/tid=6974] ppid=6970 vsize=15012476 memory=-6526411401870300574 CPUtime=0.08 cores=1,3,5,7
/proc/6973/task/6974/stat : 6974 (java) R 6970 6970 3762 0 -1 4202560 4580 0 0 0 7 1 0 0 20 0 15 0 225041432 15372775424 18394 33554432000 4194304 4196468 140734078752480 140574113223048 140574124597893 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6975] ppid=6970 vsize=15012476 memory=3472468850247939760 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6975/stat : 6975 (java) S 6970 6970 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225041434 15372775424 18394 33554432000 4194304 4196468 140734078752480 140574145653264 140574141421269 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6976] ppid=6970 vsize=15012476 memory=140554020259456 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6976/stat : 6976 (java) S 6970 6970 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225041434 15372775424 18394 33554432000 4194304 4196468 140734078752480 140573602208400 140574141421269 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6977] ppid=6970 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6977/stat : 6977 (java) S 6970 6970 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225041434 15372775424 18394 33554432000 4194304 4196468 140734078752480 140573601155344 140574141421269 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6978] ppid=6970 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6978/stat : 6978 (java) S 6970 6970 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225041434 15372775424 18394 33554432000 4194304 4196468 140734078752480 140573600102800 140574141421269 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6979] ppid=6970 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6979/stat : 6979 (java) S 6970 6970 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225041435 15372775424 18394 33554432000 4194304 4196468 140734078752480 140572910410480 140574141422210 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6980] ppid=6970 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6980/stat : 6980 (java) S 6970 6970 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225041436 15372775424 18394 33554432000 4194304 4196468 140734078752480 140572803196576 140574141421269 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6981] ppid=6970 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6981/stat : 6981 (java) S 6970 6970 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225041436 15372775424 18394 33554432000 4194304 4196468 140734078752480 140572534760688 140574141421269 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6982] ppid=6970 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6982/stat : 6982 (java) S 6970 6970 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225041438 15372775424 18394 33554432000 4194304 4196468 140734078752480 140572160252368 140574141429659 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6983] ppid=6970 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6983/stat : 6983 (java) S 6970 6970 3762 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 225041438 15372775424 18394 33554432000 4194304 4196468 140734078752480 140572909357296 140574141422210 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6984] ppid=6970 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6984/stat : 6984 (java) S 6970 6970 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225041438 15372775424 18394 33554432000 4194304 4196468 140734078752480 140572908304752 140574141422210 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6985] ppid=6970 vsize=15012476 memory=140554020259456 CPUtime=0.01 cores=1,3,5,7
/proc/6973/task/6985/stat : 6985 (java) S 6970 6970 3762 0 -1 1077944384 277 0 0 0 1 0 0 0 20 0 15 0 225041438 15372775424 18394 33554432000 4194304 4196468 140734078752480 140572907251696 140574141422210 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6986] ppid=6970 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6986/stat : 6986 (java) S 6970 6970 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225041438 15372775424 18394 33554432000 4194304 4196468 140734078752480 140571662346592 140574141421269 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6987] ppid=6970 vsize=15012476 memory=140554020259456 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6987/stat : 6987 (java) S 6970 6970 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225041439 15372775424 18394 33554432000 4194304 4196468 140734078752480 140572906200112 140574141422210 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74716 KiB
[startup+0.211269 s]*
/proc/loadavg: 2.02 2.04 2.05 4/223 6987
/proc/meminfo: memFree=8679324/32770624 swapFree=67108860/67108860
[pid=6970] ppid=6967 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6970/stat : 6970 (scop.sh) S 6967 6970 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225041431 115843072 349 33554432000 4194304 5098028 140733620909248 140733620906504 140162072773244 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35012608 140733620917312 140733620917511 140733620917511 140733620920269 0
/proc/6970/statm: 28282 349 296 221 0 87 0
[pid=6973] ppid=6970 vsize=15012476 memory=86624 CPUtime=0.25 cores=1,3,5,7
/proc/6973/stat : 6973 (java) S 6970 6970 3762 0 -1 1077944320 9998 0 0 0 22 3 0 0 20 0 15 0 225041432 15372775424 21656 33554432000 4194304 4196468 140734078752480 140734078735024 140574141411063 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
/proc/6973/statm: 3753119 21656 2878 1 0 3715579 0
[pid=6973/tid=6974] ppid=6970 vsize=15012476 memory=-8976644418600983157 CPUtime=0.19 cores=1,3,5,7
/proc/6973/task/6974/stat : 6974 (java) R 6970 6970 3762 0 -1 4202560 7910 0 0 0 17 2 0 0 20 0 15 0 225041432 15372775424 21656 33554432000 4194304 4196468 140734078752480 140574113237456 140574141422998 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6975] ppid=6970 vsize=15012476 memory=3472468850247939760 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6975/stat : 6975 (java) S 6970 6970 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225041434 15372775424 21656 33554432000 4194304 4196468 140734078752480 140574145653264 140574141421269 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6976] ppid=6970 vsize=15012476 memory=140554020259456 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6976/stat : 6976 (java) S 6970 6970 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225041434 15372775424 21656 33554432000 4194304 4196468 140734078752480 140573602208400 140574141421269 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6977] ppid=6970 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6977/stat : 6977 (java) S 6970 6970 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225041434 15372775424 21656 33554432000 4194304 4196468 140734078752480 140573601155344 140574141421269 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6978] ppid=6970 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6978/stat : 6978 (java) S 6970 6970 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225041434 15372775424 21656 33554432000 4194304 4196468 140734078752480 140573600102800 140574141421269 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6979] ppid=6970 vsize=15012476 memory=140554020259456 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6979/stat : 6979 (java) S 6970 6970 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225041435 15372775424 21656 33554432000 4194304 4196468 140734078752480 140572910410480 140574141422210 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6980] ppid=6970 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6980/stat : 6980 (java) S 6970 6970 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225041436 15372775424 21656 33554432000 4194304 4196468 140734078752480 140572803196576 140574141421269 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6981] ppid=6970 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6981/stat : 6981 (java) S 6970 6970 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225041436 15372775424 21656 33554432000 4194304 4196468 140734078752480 140572534760688 140574141421269 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6982] ppid=6970 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6982/stat : 6982 (java) S 6970 6970 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225041438 15372775424 21656 33554432000 4194304 4196468 140734078752480 140572160252368 140574141429659 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6983] ppid=6970 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6983/stat : 6983 (java) S 6970 6970 3762 0 -1 1077944384 448 0 0 0 0 0 0 0 20 0 15 0 225041438 15372775424 21656 33554432000 4194304 4196468 140734078752480 140572909357296 140574141422210 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6984] ppid=6970 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6984/stat : 6984 (java) S 6970 6970 3762 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 225041438 15372775424 21656 33554432000 4194304 4196468 140734078752480 140572908304752 140574141422210 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6985] ppid=6970 vsize=15012476 memory=140554020259456 CPUtime=0.03 cores=1,3,5,7
/proc/6973/task/6985/stat : 6985 (java) S 6970 6970 3762 0 -1 1077944384 293 0 0 0 3 0 0 0 20 0 15 0 225041438 15372775424 21656 33554432000 4194304 4196468 140734078752480 140572907251696 140574141422210 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6986] ppid=6970 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6986/stat : 6986 (java) S 6970 6970 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225041438 15372775424 21656 33554432000 4194304 4196468 140734078752480 140571662346592 140574141421269 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6987] ppid=6970 vsize=15012476 memory=140554020259456 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6987/stat : 6987 (java) S 6970 6970 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225041439 15372775424 21656 33554432000 4194304 4196468 140734078752480 140572906200112 140574141422210 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88020 KiB
[startup+0.310585 s]*
/proc/loadavg: 2.02 2.04 2.05 3/223 6987
/proc/meminfo: memFree=8675780/32770624 swapFree=67108860/67108860
[pid=6970] ppid=6967 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6970/stat : 6970 (scop.sh) S 6967 6970 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225041431 115843072 349 33554432000 4194304 5098028 140733620909248 140733620906504 140162072773244 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35012608 140733620917312 140733620917511 140733620917511 140733620920269 0
/proc/6970/statm: 28282 349 296 221 0 87 0
[pid=6973] ppid=6970 vsize=15012476 memory=89880 CPUtime=0.42 cores=1,3,5,7
/proc/6973/stat : 6973 (java) S 6970 6970 3762 0 -1 1077944320 10518 0 0 0 39 3 0 0 20 0 15 0 225041432 15372775424 22470 33554432000 4194304 4196468 140734078752480 140734078735024 140574141411063 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
/proc/6973/statm: 3753119 22470 2920 1 0 3715579 0
[pid=6973/tid=6974] ppid=6970 vsize=15012476 memory=-8976644418600983157 CPUtime=0.29 cores=1,3,5,7
/proc/6973/task/6974/stat : 6974 (java) R 6970 6970 3762 0 -1 4202560 8284 0 0 0 27 2 0 0 20 0 15 0 225041432 15372775424 22470 33554432000 4194304 4196468 140734078752480 140574113234944 140573626818795 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6975] ppid=6970 vsize=15012476 memory=3472468850247939760 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6975/stat : 6975 (java) S 6970 6970 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225041434 15372775424 22470 33554432000 4194304 4196468 140734078752480 140574145653264 140574141421269 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6976] ppid=6970 vsize=15012476 memory=281107898878848 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6976/stat : 6976 (java) S 6970 6970 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225041434 15372775424 22470 33554432000 4194304 4196468 140734078752480 140573602208400 140574141421269 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6977] ppid=6970 vsize=15012476 memory=281107757271072 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6977/stat : 6977 (java) S 6970 6970 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225041434 15372775424 22470 33554432000 4194304 4196468 140734078752480 140573601155344 140574141421269 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6978] ppid=6970 vsize=15012476 memory=140553878619407 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6978/stat : 6978 (java) S 6970 6970 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225041434 15372775424 22470 33554432000 4194304 4196468 140734078752480 140573600102800 140574141421269 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6979] ppid=6970 vsize=15012476 memory=281107898885760 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6979/stat : 6979 (java) S 6970 6970 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225041435 15372775424 22470 33554432000 4194304 4196468 140734078752480 140572910410480 140574141422210 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6980] ppid=6970 vsize=15012476 memory=140553878624015 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6980/stat : 6980 (java) S 6970 6970 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225041436 15372775424 22470 33554432000 4194304 4196468 140734078752480 140572803196576 140574141421269 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6981] ppid=6970 vsize=15012476 memory=140553878633113 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6981/stat : 6981 (java) S 6970 6970 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225041436 15372775424 22470 33554432000 4194304 4196468 140734078752480 140572534760688 140574141421269 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6982] ppid=6970 vsize=15012476 memory=281107757280288 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6982/stat : 6982 (java) S 6970 6970 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225041438 15372775424 22470 33554432000 4194304 4196468 140734078752480 140572160252368 140574141429659 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6983] ppid=6970 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/6973/task/6983/stat : 6983 (java) R 6970 6970 3762 0 -1 1077944384 462 0 0 0 1 0 0 0 20 0 15 0 225041438 15372775424 22470 33554432000 4194304 4196468 140734078752480 140572909357296 140574141422210 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6984] ppid=6970 vsize=15012476 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/6973/task/6984/stat : 6984 (java) R 6970 6970 3762 0 -1 4202560 130 0 0 0 2 0 0 0 20 0 15 0 225041438 15372775424 22470 33554432000 4194304 4196468 140734078752480 140572908304752 140574125701113 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6985] ppid=6970 vsize=15012476 memory=140554020259456 CPUtime=0.07 cores=1,3,5,7
/proc/6973/task/6985/stat : 6985 (java) R 6970 6970 3762 0 -1 4202560 314 0 0 0 7 0 0 0 20 0 15 0 225041438 15372775424 22470 33554432000 4194304 4196468 140734078752480 140572907250880 140574133648190 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6986] ppid=6970 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6986/stat : 6986 (java) S 6970 6970 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225041438 15372775424 22470 33554432000 4194304 4196468 140734078752480 140571662346592 140574141421269 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6987] ppid=6970 vsize=15012476 memory=140554020260852 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6987/stat : 6987 (java) S 6970 6970 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225041439 15372775424 22470 33554432000 4194304 4196468 140734078752480 140572906200112 140574141422210 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91276 KiB
[startup+0.706227 s]
/proc/loadavg: 2.02 2.04 2.05 3/223 6987
/proc/meminfo: memFree=8651472/32770624 swapFree=67108860/67108860
[pid=6970] ppid=6967 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6970/stat : 6970 (scop.sh) S 6967 6970 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225041431 115843072 349 33554432000 4194304 5098028 140733620909248 140733620906504 140162072773244 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35012608 140733620917312 140733620917511 140733620917511 140733620920269 0
/proc/6970/statm: 28282 349 296 221 0 87 0
[pid=6973] ppid=6970 vsize=15018748 memory=131264 CPUtime=1.07 cores=1,3,5,7
/proc/6973/stat : 6973 (java) S 6970 6970 3762 0 -1 1077944320 17448 0 0 0 102 5 0 0 20 0 15 0 225041432 15379197952 32816 33554432000 4194304 4196468 140734078752480 140734078735024 140574141411063 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
/proc/6973/statm: 3754687 32816 3134 1 0 3716091 0
[pid=6973/tid=6974] ppid=6970 vsize=15018748 memory=54 CPUtime=0.68 cores=1,3,5,7
/proc/6973/task/6974/stat : 6974 (java) R 6970 6970 3762 0 -1 4202560 14603 0 0 0 64 4 0 0 20 0 15 0 225041432 15379197952 32816 33554432000 4194304 4196468 140734078752480 140574113246736 140573625422108 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6975] ppid=6970 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6975/stat : 6975 (java) S 6970 6970 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225041434 15379197952 32816 33554432000 4194304 4196468 140734078752480 140574145653264 140574141421269 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6976] ppid=6970 vsize=15018748 memory=8751464017575360309 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6976/stat : 6976 (java) S 6970 6970 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225041434 15379197952 32816 33554432000 4194304 4196468 140734078752480 140573602208400 140574141421269 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6977] ppid=6970 vsize=15018748 memory=5788902676991533888 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6977/stat : 6977 (java) S 6970 6970 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225041434 15379197952 32816 33554432000 4194304 4196468 140734078752480 140573601155344 140574141421269 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6978] ppid=6970 vsize=15018748 memory=6440526044186890340 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6978/stat : 6978 (java) S 6970 6970 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225041434 15379197952 32816 33554432000 4194304 4196468 140734078752480 140573600102800 140574141421269 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6979] ppid=6970 vsize=15018748 memory=170926128 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6979/stat : 6979 (java) S 6970 6970 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225041435 15379197952 32816 33554432000 4194304 4196468 140734078752480 140572910410480 140574141422210 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6980] ppid=6970 vsize=15018748 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6980/stat : 6980 (java) S 6970 6970 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225041436 15379197952 32816 33554432000 4194304 4196468 140734078752480 140572803196576 140574141421269 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6981] ppid=6970 vsize=15018748 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6981/stat : 6981 (java) S 6970 6970 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225041436 15379197952 32816 33554432000 4194304 4196468 140734078752480 140572534760688 140574141421269 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6982] ppid=6970 vsize=15018748 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6982/stat : 6982 (java) S 6970 6970 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225041438 15379197952 32816 33554432000 4194304 4196468 140734078752480 140572160252368 140574141429659 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6983] ppid=6970 vsize=15018748 memory=4536 CPUtime=0.1 cores=1,3,5,7
/proc/6973/task/6983/stat : 6983 (java) R 6970 6970 3762 0 -1 4202560 840 0 0 0 10 0 0 0 20 0 15 0 225041438 15379197952 32816 33554432000 4194304 4196468 140734078752480 140572909338312 140574119386403 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6984] ppid=6970 vsize=15018748 memory=8448 CPUtime=0.09 cores=1,3,5,7
/proc/6973/task/6984/stat : 6984 (java) R 6970 6970 3762 0 -1 4202560 171 0 0 0 9 0 0 0 20 0 15 0 225041438 15379197952 32816 33554432000 4194304 4196468 140734078752480 140572908297776 140574126604704 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6985] ppid=6970 vsize=15018748 memory=1628 CPUtime=0.18 cores=1,3,5,7
/proc/6973/task/6985/stat : 6985 (java) S 6970 6970 3762 0 -1 1077944384 500 0 0 0 18 0 0 0 20 0 15 0 225041438 15379197952 32816 33554432000 4194304 4196468 140734078752480 140572907251696 140574141422210 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6986] ppid=6970 vsize=15018748 memory=1144 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6986/stat : 6986 (java) S 6970 6970 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225041438 15379197952 32816 33554432000 4194304 4196468 140734078752480 140571662346592 140574141421269 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6987] ppid=6970 vsize=15018748 memory=15244 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6987/stat : 6987 (java) S 6970 6970 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225041439 15379197952 32816 33554432000 4194304 4196468 140734078752480 140572906200112 140574141422210 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 132660 KiB
[startup+1.50155 s]
/proc/loadavg: 2.10 2.05 2.05 5/223 6987
/proc/meminfo: memFree=8583056/32770624 swapFree=67108860/67108860
[pid=6970] ppid=6967 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6970/stat : 6970 (scop.sh) S 6967 6970 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225041431 115843072 349 33554432000 4194304 5098028 140733620909248 140733620906504 140162072773244 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35012608 140733620917312 140733620917511 140733620917511 140733620920269 0
/proc/6970/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=6973/tid=6979] ppid=6970 vsize=15029152 memory=281107757541216 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6979/stat : 6979 (java) S 6970 6970 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225041435 15389851648 269301 33554432000 4194304 4196468 140734078752480 140572910410480 140574141422210 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6980] ppid=6970 vsize=15029152 memory=2319547349860635315 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6980/stat : 6980 (java) S 6970 6970 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225041436 15389851648 269301 33554432000 4194304 4196468 140734078752480 140572803196576 140574141421269 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6981] ppid=6970 vsize=15029152 memory=15505 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6981/stat : 6981 (java) S 6970 6970 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225041436 15389851648 269301 33554432000 4194304 4196468 140734078752480 140572534760688 140574141421269 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6982] ppid=6970 vsize=15029152 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6982/stat : 6982 (java) S 6970 6970 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225041438 15389851648 269301 33554432000 4194304 4196468 140734078752480 140572160252368 140574141429659 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6983] ppid=6970 vsize=15029152 memory=6628 CPUtime=3.61 cores=1,3,5,7
/proc/6973/task/6983/stat : 6983 (java) R 6970 6970 3762 0 -1 4202560 4411 0 0 0 360 1 0 0 20 0 15 0 225041438 15389851648 269301 33554432000 4194304 4196468 140734078752480 140572909344048 140574119825141 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6984] ppid=6970 vsize=15029152 memory=8836 CPUtime=3.66 cores=1,3,5,7
/proc/6973/task/6984/stat : 6984 (java) R 6970 6970 3762 0 -1 4202560 2493 0 0 0 365 1 0 0 20 0 15 0 225041438 15389851648 269301 33554432000 4194304 4196468 140734078752480 140572908289712 140574122955152 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6985] ppid=6970 vsize=15029152 memory=11044 CPUtime=1.45 cores=1,3,5,7
/proc/6973/task/6985/stat : 6985 (java) S 6970 6970 3762 0 -1 1077944384 4088 0 0 0 143 2 0 0 20 0 15 0 225041438 15389851648 269301 33554432000 4194304 4196468 140734078752480 140572907251696 140574141422210 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6986] ppid=6970 vsize=15029152 memory=13252 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6986/stat : 6986 (java) S 6970 6970 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225041438 15389851648 269301 33554432000 4194304 4196468 140734078752480 140571662346592 140574141421269 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
[pid=6973/tid=6987] ppid=6970 vsize=15029152 memory=15460 CPUtime=0 cores=1,3,5,7
/proc/6973/task/6987/stat : 6987 (java) S 6970 6970 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225041439 15389851648 269301 33554432000 4194304 4196468 140734078752480 140572906200112 140574141422210 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7315456 140734078759943 140734078760241 140734078760241 140734078762959 0
Current children cumulated CPU time: 13.51 s
Current children cumulated vsize: 15142280 KiB
Current children cumulated memory: 1078600 KiB
[startup+5.60723 s]
/proc/loadavg: 2.10 2.05 2.05 3/223 7002
/proc/meminfo: memFree=8709512/32770624 swapFree=67108860/67108860
[pid=6970] ppid=6967 vsize=113128 memory=1472 CPUtime=13.69 cores=1,3,5,7
/proc/6970/stat : 6970 (scop.sh) S 6967 6970 3762 0 -1 4202496 590 30340 0 0 0 0 1342 27 20 0 1 0 225041431 115843072 368 33554432000 4194304 5098028 140733620909248 140733620905992 140162072773244 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35012608 140733620917312 140733620917511 140733620917511 140733620920269 0
/proc/6970/statm: 28282 368 311 221 0 87 0
[pid=6988] ppid=6970 vsize=7869560 memory=111720 CPUtime=1.05 cores=1,3,5,7
/proc/6988/stat : 6988 (java) S 6970 6970 3762 0 -1 1077944320 17751 0 0 0 100 5 0 0 20 0 18 0 225041919 8058429440 27930 33554432000 4194304 4196468 140729238394176 140729238376720 139864513150711 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
/proc/6988/statm: 1967390 27930 3144 1 0 1928789 0
[pid=6988/tid=6989] ppid=6970 vsize=7869560 memory=1776 CPUtime=0.7 cores=1,3,5,7
/proc/6988/task/6989/stat : 6989 (java) R 6970 6970 3762 0 -1 4202560 14825 0 0 0 66 4 0 0 20 0 18 0 225041919 8058429440 27930 33554432000 4194304 4196468 140729238394176 139864484991344 139864513172637 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=6990] ppid=6970 vsize=7869560 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/6988/task/6990/stat : 6990 (java) S 6970 6970 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 18 0 225041920 8058429440 27930 33554432000 4194304 4196468 140729238394176 139864517393040 139864513160917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=6991] ppid=6970 vsize=7869560 memory=11764 CPUtime=0 cores=1,3,5,7
/proc/6988/task/6991/stat : 6991 (java) S 6970 6970 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 18 0 225041920 8058429440 27930 33554432000 4194304 4196468 140729238394176 139863998233104 139864513160917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=6992] ppid=6970 vsize=7869560 memory=1048964 CPUtime=0 cores=1,3,5,7
/proc/6988/task/6992/stat : 6992 (java) S 6970 6970 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 225041920 8058429440 27930 33554432000 4194304 4196468 140729238394176 139863997180304 139864513160917 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=6993] ppid=6970 vsize=7869560 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6988/task/6993/stat : 6993 (java) S 6970 6970 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 225041920 8058429440 27930 33554432000 4194304 4196468 140729238394176 139863996127504 139864513160917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=6994] ppid=6970 vsize=7869560 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/6988/task/6994/stat : 6994 (java) S 6970 6970 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 18 0 225041922 8058429440 27930 33554432000 4194304 4196468 140729238394176 139863825353584 139864513161858 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=6995] ppid=6970 vsize=7869560 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/6988/task/6995/stat : 6995 (java) S 6970 6970 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 18 0 225041922 8058429440 27930 33554432000 4194304 4196468 140729238394176 139863462503968 139864513160917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=6996] ppid=6970 vsize=7869560 memory=8836 CPUtime=0 cores=1,3,5,7
/proc/6988/task/6996/stat : 6996 (java) S 6970 6970 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 225041922 8058429440 27930 33554432000 4194304 4196468 140729238394176 139863194068336 139864513160917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=6997] ppid=6970 vsize=7869560 memory=11044 CPUtime=0 cores=1,3,5,7
/proc/6988/task/6997/stat : 6997 (java) S 6970 6970 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 225041925 8058429440 27930 33554432000 4194304 4196468 140729238394176 139862819559760 139864513169307 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=6998] ppid=6970 vsize=7869560 memory=13252 CPUtime=0.08 cores=1,3,5,7
/proc/6988/task/6998/stat : 6998 (java) R 6970 6970 3762 0 -1 4202560 734 0 0 0 8 0 0 0 20 0 18 0 225041925 8058429440 27930 33554432000 4194304 4196468 140729238394176 139863824286280 139864496955391 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=6999] ppid=6970 vsize=7869560 memory=15460 CPUtime=0.06 cores=1,3,5,7
/proc/6988/task/6999/stat : 6999 (java) S 6970 6970 3762 0 -1 1077944384 202 0 0 0 6 0 0 0 20 0 18 0 225041925 8058429440 27930 33554432000 4194304 4196468 140729238394176 139863823247600 139864513161858 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=7000] ppid=6970 vsize=7869560 memory=1396 CPUtime=0.18 cores=1,3,5,7
/proc/6988/task/7000/stat : 7000 (java) S 6970 6970 3762 0 -1 1077944384 583 0 0 0 18 0 0 0 20 0 18 0 225041925 8058429440 27930 33554432000 4194304 4196468 140729238394176 139863822194800 139864513161858 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=7001] ppid=6970 vsize=7869560 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6988/task/7001/stat : 7001 (java) S 6970 6970 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 225041925 8058429440 27930 33554432000 4194304 4196468 140729238394176 139862321653984 139864513160917 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=7002] ppid=6970 vsize=7869560 memory=4596 CPUtime=0 cores=1,3,5,7
/proc/6988/task/7002/stat : 7002 (java) S 6970 6970 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 225041925 8058429440 27930 33554432000 4194304 4196468 140729238394176 139863821143216 139864513161858 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
Current children cumulated CPU time: 14.74 s
Current children cumulated vsize: 7982688 KiB
Current children cumulated memory: 113192 KiB
[startup+6.00126 s]*
/proc/loadavg: 2.09 2.05 2.05 3/228 7008
/proc/meminfo: memFree=8638980/32770624 swapFree=67108860/67108860
[pid=6970] ppid=6967 vsize=113128 memory=1472 CPUtime=13.69 cores=1,3,5,7
/proc/6970/stat : 6970 (scop.sh) S 6967 6970 3762 0 -1 4202496 590 30340 0 0 0 0 1342 27 20 0 1 0 225041431 115843072 368 33554432000 4194304 5098028 140733620909248 140733620905992 140162072773244 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35012608 140733620917312 140733620917511 140733620917511 140733620920269 0
/proc/6970/statm: 28282 368 311 221 0 87 0
[pid=6988] ppid=6970 vsize=8068220 memory=116604 CPUtime=1.11 cores=1,3,5,7
/proc/6988/stat : 6988 (java) S 6970 6970 3762 0 -1 1077944320 17913 0 0 0 106 5 0 0 20 0 19 0 225041919 8261857280 29151 33554432000 4194304 4196468 140729238394176 140729238376720 139864513150711 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
/proc/6988/statm: 2017055 29151 3155 1 0 1978454 0
[pid=7003] ppid=6988 vsize=25616 memory=9072 CPUtime=0.4 cores=1,3,5,7
/proc/7003/stat : 7003 (minisat_release) R 6988 6970 3762 0 -1 4202496 2666 0 0 0 40 0 0 0 20 0 1 0 225041991 26230784 2268 33554432000 4194304 4308513 140729682371120 140729682368744 4289173 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 15941632 140729682375797 140729682375894 140729682375894 140729682378693 0
/proc/7003/statm: 6404 2268 340 28 0 2644 0
[pid=6988/tid=6989] ppid=6970 vsize=8068220 memory=4627829660337606006 CPUtime=0.74 cores=1,3,5,7
/proc/6988/task/6989/stat : 6989 (java) S 6970 6970 3762 0 -1 1077944384 14955 0 0 0 70 4 0 0 20 0 19 0 225041919 8261857280 29151 33554432000 4194304 4196468 140729238394176 139864484990864 139864513160917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=6990] ppid=6970 vsize=8068220 memory=749539532014709990 CPUtime=0 cores=1,3,5,7
/proc/6988/task/6990/stat : 6990 (java) S 6970 6970 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225041920 8261857280 29151 33554432000 4194304 4196468 140729238394176 139864517393040 139864513160917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=6991] ppid=6970 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6988/task/6991/stat : 6991 (java) S 6970 6970 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225041920 8261857280 29151 33554432000 4194304 4196468 140729238394176 139863998233104 139864513160917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=6992] ppid=6970 vsize=8068220 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6988/task/6992/stat : 6992 (java) S 6970 6970 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225041920 8261857280 29151 33554432000 4194304 4196468 140729238394176 139863997180304 139864513160917 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=6993] ppid=6970 vsize=8068220 memory=140554020259456 CPUtime=0 cores=1,3,5,7
/proc/6988/task/6993/stat : 6993 (java) S 6970 6970 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225041920 8261857280 29151 33554432000 4194304 4196468 140729238394176 139863996127504 139864513160917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=6994] ppid=6970 vsize=8068220 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6988/task/6994/stat : 6994 (java) S 6970 6970 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225041922 8261857280 29151 33554432000 4194304 4196468 140729238394176 139863825353584 139864513161858 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=6995] ppid=6970 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6988/task/6995/stat : 6995 (java) S 6970 6970 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225041922 8261857280 29151 33554432000 4194304 4196468 140729238394176 139863462503968 139864513160917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=6996] ppid=6970 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6988/task/6996/stat : 6996 (java) S 6970 6970 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225041922 8261857280 29151 33554432000 4194304 4196468 140729238394176 139863194068336 139864513160917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=6997] ppid=6970 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6988/task/6997/stat : 6997 (java) S 6970 6970 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225041925 8261857280 29151 33554432000 4194304 4196468 140729238394176 139862819559760 139864513169307 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=6998] ppid=6970 vsize=8068220 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6988/task/6998/stat : 6998 (java) S 6970 6970 3762 0 -1 1077944384 740 0 0 0 8 0 0 0 20 0 19 0 225041925 8261857280 29151 33554432000 4194304 4196468 140729238394176 139863824300400 139864513161858 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=6999] ppid=6970 vsize=8068220 memory=140554020259456 CPUtime=0.07 cores=1,3,5,7
/proc/6988/task/6999/stat : 6999 (java) S 6970 6970 3762 0 -1 1077944384 205 0 0 0 7 0 0 0 20 0 19 0 225041925 8261857280 29151 33554432000 4194304 4196468 140729238394176 139863823247600 139864513161858 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=7000] ppid=6970 vsize=8068220 memory=-1 CPUtime=0.19 cores=1,3,5,7
/proc/6988/task/7000/stat : 7000 (java) S 6970 6970 3762 0 -1 1077944384 603 0 0 0 19 0 0 0 20 0 19 0 225041925 8261857280 29151 33554432000 4194304 4196468 140729238394176 139863822194800 139864513161858 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=7001] ppid=6970 vsize=8068220 memory=140554020259456 CPUtime=0 cores=1,3,5,7
/proc/6988/task/7001/stat : 7001 (java) S 6970 6970 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225041925 8261857280 29151 33554432000 4194304 4196468 140729238394176 139862321653984 139864513160917 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=7002] ppid=6970 vsize=8068220 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6988/task/7002/stat : 7002 (java) S 6970 6970 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225041925 8261857280 29151 33554432000 4194304 4196468 140729238394176 139863821143216 139864513161858 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=7004] ppid=6970 vsize=8068220 memory=140554020259456 CPUtime=0 cores=1,3,5,7
/proc/6988/task/7004/stat : 7004 (java) S 6970 6970 3762 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 225041991 8261857280 29151 33554432000 4194304 4196468 140729238394176 139863813334720 139864513175321 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=7006] ppid=6970 vsize=8068220 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6988/task/7006/stat : 7006 (java) S 6970 6970 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225041991 8261857280 29151 33554432000 4194304 4196468 140729238394176 139861784768272 139864513172637 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=7007] ppid=6970 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6988/task/7007/stat : 7007 (java) S 6970 6970 3762 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225041991 8261857280 29151 33554432000 4194304 4196468 140729238394176 139861918989968 139864513172637 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=7008] ppid=6970 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6988/task/7008/stat : 7008 (java) S 6970 6970 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225041993 8261857280 29151 33554432000 4194304 4196468 140729238394176 139861516344480 139864513160917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
Current children cumulated CPU time: 15.2 s
Current children cumulated vsize: 8206964 KiB
Current children cumulated memory: 127148 KiB
[startup+6.20083 s]
/proc/loadavg: 2.09 2.05 2.05 3/228 7008
/proc/meminfo: memFree=8638980/32770624 swapFree=67108860/67108860
[pid=6970] ppid=6967 vsize=113128 memory=1472 CPUtime=13.69 cores=1,3,5,7
/proc/6970/stat : 6970 (scop.sh) S 6967 6970 3762 0 -1 4202496 590 30340 0 0 0 0 1342 27 20 0 1 0 225041431 115843072 368 33554432000 4194304 5098028 140733620909248 140733620905992 140162072773244 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35012608 140733620917312 140733620917511 140733620917511 140733620920269 0
/proc/6970/statm: 28282 368 311 221 0 87 0
[pid=6988] ppid=6970 vsize=7937144 memory=120108 CPUtime=1.79 cores=1,3,5,7
/proc/6988/stat : 6988 (java) S 6970 6970 3762 0 -1 1077944320 18270 2758 0 0 121 6 52 0 20 0 17 0 225041919 8127635456 30027 33554432000 4194304 4196468 140729238394176 140729238376720 139864513150711 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
/proc/6988/statm: 1984286 30027 3160 1 0 1945685 0
[pid=6988/tid=6989] ppid=6970 vsize=7937144 memory=-8458152057954561420 CPUtime=1.3 cores=1,3,5,7
/proc/6988/task/6989/stat : 6989 (java) R 6970 6970 3762 0 -1 4202560 15142 2758 0 0 74 4 52 0 20 0 17 0 225041919 8127635456 30027 33554432000 4194304 4196468 140729238394176 139864484981192 139864497231198 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=6990] ppid=6970 vsize=7937144 memory=-8675733323038954102 CPUtime=0.52 cores=1,3,5,7
/proc/6988/task/6990/stat : 6990 (java) S 6970 6970 3762 0 -1 1077944384 2 2758 0 0 0 0 52 0 20 0 17 0 225041920 8127635456 30027 33554432000 4194304 4196468 140729238394176 139864517393040 139864513160917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=6991] ppid=6970 vsize=7937144 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/6988/task/6991/stat : 6991 (java) S 6970 6970 3762 0 -1 1077944384 2 2758 0 0 0 0 52 0 20 0 17 0 225041920 8127635456 30027 33554432000 4194304 4196468 140729238394176 139863998233104 139864513160917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=6992] ppid=6970 vsize=7937144 memory=-7025448733113094249 CPUtime=0.52 cores=1,3,5,7
/proc/6988/task/6992/stat : 6992 (java) S 6970 6970 3762 0 -1 1077944384 1 2758 0 0 0 0 52 0 20 0 17 0 225041920 8127635456 30027 33554432000 4194304 4196468 140729238394176 139863997180304 139864513160917 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=6993] ppid=6970 vsize=7937144 memory=-8990767739041718176 CPUtime=0.52 cores=1,3,5,7
/proc/6988/task/6993/stat : 6993 (java) S 6970 6970 3762 0 -1 1077944384 1 2758 0 0 0 0 52 0 20 0 17 0 225041920 8127635456 30027 33554432000 4194304 4196468 140729238394176 139863996127504 139864513160917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=6994] ppid=6970 vsize=7937144 memory=-6586668835053300882 CPUtime=0.52 cores=1,3,5,7
/proc/6988/task/6994/stat : 6994 (java) S 6970 6970 3762 0 -1 1077944384 5 2758 0 0 0 0 52 0 20 0 17 0 225041922 8127635456 30027 33554432000 4194304 4196468 140729238394176 139863825353584 139864513161858 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=6995] ppid=6970 vsize=7937144 memory=140554020259456 CPUtime=0.52 cores=1,3,5,7
/proc/6988/task/6995/stat : 6995 (java) S 6970 6970 3762 0 -1 1077944384 13 2758 0 0 0 0 52 0 20 0 17 0 225041922 8127635456 30027 33554432000 4194304 4196468 140729238394176 139863462503968 139864513160917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=6996] ppid=6970 vsize=7937144 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/6988/task/6996/stat : 6996 (java) S 6970 6970 3762 0 -1 1077944384 1 2758 0 0 0 0 52 0 20 0 17 0 225041922 8127635456 30027 33554432000 4194304 4196468 140729238394176 139863194068336 139864513160917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=6997] ppid=6970 vsize=7937144 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/6988/task/6997/stat : 6997 (java) S 6970 6970 3762 0 -1 1077944384 3 2758 0 0 0 0 52 0 20 0 17 0 225041925 8127635456 30027 33554432000 4194304 4196468 140729238394176 139862819559760 139864513169307 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=6998] ppid=6970 vsize=7937144 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/6988/task/6998/stat : 6998 (java) S 6970 6970 3762 0 -1 1077944384 756 2758 0 0 10 0 52 0 20 0 17 0 225041925 8127635456 30027 33554432000 4194304 4196468 140729238394176 139863824300400 139864513161858 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=6999] ppid=6970 vsize=7937144 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/6988/task/6999/stat : 6999 (java) S 6970 6970 3762 0 -1 1077944384 218 2758 0 0 9 0 52 0 20 0 17 0 225041925 8127635456 30027 33554432000 4194304 4196468 140729238394176 139863823247600 139864513161858 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=7000] ppid=6970 vsize=7937144 memory=0 CPUtime=0.74 cores=1,3,5,7
/proc/6988/task/7000/stat : 7000 (java) S 6970 6970 3762 0 -1 1077944384 688 2758 0 0 22 0 52 0 20 0 17 0 225041925 8127635456 30027 33554432000 4194304 4196468 140729238394176 139863822194800 139864513161858 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=7001] ppid=6970 vsize=7937144 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/6988/task/7001/stat : 7001 (java) S 6970 6970 3762 0 -1 1077944384 3 2758 0 0 0 0 52 0 20 0 17 0 225041925 8127635456 30027 33554432000 4194304 4196468 140729238394176 139862321653984 139864513160917 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=7002] ppid=6970 vsize=7937144 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/6988/task/7002/stat : 7002 (java) S 6970 6970 3762 0 -1 1077944384 1 2758 0 0 0 0 52 0 20 0 17 0 225041925 8127635456 30027 33554432000 4194304 4196468 140729238394176 139863821143216 139864513161858 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=7004] ppid=6970 vsize=7937144 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/6988/task/7004/stat : 7004 (java) S 6970 6970 3762 0 -1 1077944384 30 2758 0 0 0 0 52 0 20 0 17 0 225041991 8127635456 30027 33554432000 4194304 4196468 140729238394176 139863813333904 139864513161858 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
[pid=6988/tid=7008] ppid=6970 vsize=7937144 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/6988/task/7008/stat : 7008 (java) S 6970 6970 3762 0 -1 1077944384 10 2758 0 0 0 0 52 0 20 0 17 0 225041993 8127635456 30027 33554432000 4194304 4196468 140729238394176 139861516346288 139864513161858 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34373632 140729238402230 140729238402353 140729238402353 140729238405071 0
Current children cumulated CPU time: 15.48 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 121580 KiB
Child status: 0
Real time (s): 6.25401
CPU time (s): 15.5919
CPU user time (s): 15.2436
CPU system time (s): 0.348335
CPU usage (%): 249.31
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 1078600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.2436
system time used= 0.348335
maximum resident set size= 1080136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52157
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6226
involuntary context switches= 78
# summary of solver processes directly reported to runsolver:
# pid: 6970
# total CPU time (s): 15.5919
# total CPU user time (s): 15.2436
# total CPU system time (s): 0.348335
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.060625 second user time and 0.116024 second system time
The end