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-12854-serial-file.bin HOME/instance-4305404-1534094449.xml
0.54/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 19:20:50 CEST 2018
0.65/0.54 c PID: 12857
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
1.77/1.01 c (0,0) Parsing End
1.77/1.02 c (0,0) CSP: 153 int (0 aux), 0 bool (0 aux), 146 ctr, max domain size 81
1.77/1.02 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.77/1.02 c (0,0) Constraint Name Generate Begin
1.77/1.03 c (0,0) Ctr:HOME/instance-4305404-1534094449.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num
1.77/1.03 c (0,0) Constraint Name Generate End
1.77/1.03 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.77/1.03 c (0,0) CSP to CSPinCNF Begin
2.73/1.49 c (0,0) translated 15 (10%) constraints
3.05/1.57 c (1,1) translated 30 (20%) constraints
3.32/1.63 c (1,1) translated 44 (30%) constraints
3.32/1.69 c (1,1) translated 59 (40%) constraints
3.63/1.75 c (1,1) translated 73 (50%) constraints
3.63/1.78 c (1,1) translated 88 (60%) constraints
3.63/1.78 c (1,1) translated 103 (70%) constraints
3.63/1.78 c (1,1) translated 117 (80%) constraints
3.63/1.78 c (1,1) translated 132 (90%) constraints
3.63/1.78 c (1,1) translated 146 (100%) constraints
3.95/1.88 c (1,1) STATISTICS1:HOME/instance-4305404-1534094449.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num,153,6597,81,81,9,3,81:144;9:504;1:144,81:5904;9:6768;1:837,9:36;3:5832;2:648;1:81,3:144;2:648;1:17838,
3.95/1.88 c (1,1) ==========================================
3.95/1.88 c (1,1) Order
3.95/1.88 c (1,1) ==========================================
4.31/1.97 c (1,1) translated 660 (10%) constraints
4.74/2.08 c (1,1) translated 1320 (20%) constraints
5.06/2.15 c (1,1) translated 1980 (30%) constraints
5.33/2.21 c (1,1) translated 2639 (40%) constraints
5.33/2.27 c (1,1) translated 3299 (50%) constraints
5.64/2.32 c (1,1) translated 3959 (60%) constraints
5.64/2.38 c (1,1) translated 4618 (70%) constraints
5.94/2.43 c (1,1) translated 5278 (80%) constraints
5.94/2.47 c (1,1) translated 5938 (90%) constraints
6.24/2.52 c (1,1) translated 6597 (100%) constraints
6.24/2.52 c (1,1) CSP to CSPinCNF End
6.24/2.52 c (2,1) CSP: 153 int (0 aux), 729 bool (729 aux), 18342 ctr, max domain size 81
6.24/2.52 c (2,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
6.24/2.52 c (2,1) CSPinCNF Propagation Begin
6.88/2.78 c (2,2) 288 values, 2508 unsatisfiable literals, and 3600 valid clauses are removed
6.88/2.78 c (2,2) CSPinCNF Propagation End
6.88/2.78 c (2,2) CSP: 261 int (108 aux), 621 bool (621 aux), 14742 ctr, max domain size 79
6.88/2.78 c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
6.88/2.78 c (2,2) Simplify CSPinCNF Begin
7.19/2.86 c (2,2) Simplify CSPinCNF End
7.19/2.86 c (2,2) CSP: 261 int (108 aux), 1845 bool (1845 aux), 15966 ctr, max domain size 79
7.19/2.86 c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
7.19/2.86 c (2,2) Calculate Precise Domain Begin
7.19/2.87 c (2,2) 0 values are removed by re-calculation
7.19/2.87 c (2,2) Calculate Precise Domain End
7.19/2.87 c (2,2) CSP: 261 int (108 aux), 1845 bool (1845 aux), 15966 ctr, max domain size 79
7.19/2.87 c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
7.19/2.87 c (2,2) CSPinCNF to SatSolver Begin
7.88/3.04 c (2,2) 1597 (10 %) CSP clauses are encoded (7627 SAT variables, 13452 SAT clauses)
7.88/3.07 c (2,2) 3194 (20 %) CSP clauses are encoded (7627 SAT variables, 16111 SAT clauses)
7.88/3.08 c (2,2) 4790 (30 %) CSP clauses are encoded (7627 SAT variables, 17707 SAT clauses)
7.88/3.10 c (2,2) 6387 (40 %) CSP clauses are encoded (7627 SAT variables, 19304 SAT clauses)
8.19/3.11 c (2,2) 7983 (50 %) CSP clauses are encoded (7627 SAT variables, 20900 SAT clauses)
8.19/3.12 c (2,2) 9580 (60 %) CSP clauses are encoded (7627 SAT variables, 22497 SAT clauses)
8.19/3.14 c (2,2) 11177 (70 %) CSP clauses are encoded (7627 SAT variables, 24094 SAT clauses)
8.19/3.15 c (2,2) 12773 (80 %) CSP clauses are encoded (7627 SAT variables, 25690 SAT clauses)
8.19/3.16 c (2,2) 14370 (90 %) CSP clauses are encoded (7627 SAT variables, 27287 SAT clauses)
8.47/3.21 c (2,2) 15966 (100 %) CSP clauses are encoded (7627 SAT variables, 38841 SAT clauses)
8.47/3.21 c (2,2) Launch Command will be: minisat_release
8.47/3.21 c (2,2) CSPinCNF to SatSolver End
8.47/3.21 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
8.47/3.29 c (2,2) STATISTICS2:HOME/instance-4305404-1534094449.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num,2106,15966,81,79,7,3,81:84;64:48;49:12;9:420;8:428;7:160;1:216,79:4740;78:1872;69:3036;68:272;59:708;9:7056;8:3552;7:776;2:15866;1:216,7:32;3:4634;2:11156;1:144,3:144;2:1224;1:35214,
8.47/3.29 c (2,2) 7627 bool, 38888 clause
8.47/3.29 c (2,2) Export Begin
8.78/3.38 c (2,2) Export to HOME/scop-12854-serial-file.bin
8.78/3.38 c (2,2) Export End
8.78/3.38 c (2,2) Export File Size: 0.03 MB
8.78/3.38 c (2,2) 0,0,2,2,2,2,2,STOP-AFTER(DIMACS)
8.78/3.38 c END-Prog: Sun Aug 12 19:20:53 CEST 2018
8.78/3.40 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-12854-serial-file.bin
9.02/3.90 c (0,0) Read Serial File Begin
9.02/3.90 c (0,0) HOME/scop-12854-serial-file.bin
9.80/4.07 c (0,0) Read Serial File End
9.80/4.08
9.80/4.08 scop order+minisat_release (2018-07-31)
9.80/4.08 (Solving Process)
9.80/4.08
9.80/4.11 c BEGIN-Prog: Sun Aug 12 19:20:54 CEST 2018
9.80/4.11 c PID: 12872
9.80/4.11 c IP: 172.20.3.151
9.80/4.11 c HOST: node151.alineos.net
9.96/4.11 c (0,0) SatSolver.solve Begin
9.96/4.11 c (0,0) 0 bool, 0 clause
9.96/4.11 c (0,0) minisat_release HOME/instance-4305404-1534094449.xml-scop-12857.cnf
9.96/4.19 c (0,0) c This is COMiniSatPS.
9.96/4.19 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
9.96/4.19 c (0,0) c ============================[ Problem Statistics ]=============================
9.96/4.19 c (0,0) c | |
9.96/4.19 c (0,0) c | Number of variables: 7627 |
9.96/4.19 c (0,0) c | Number of clauses: 38888 |
9.96/4.19 c (0,0) c | Parse time: 0.01 s |
9.96/4.19 c (0,0) c | Eliminated clauses: 0.13 Mb |
9.96/4.19 c (0,0) c Reduced to 4267 vars, 29263 cls (grow=0)
9.96/4.19 c (0,0) c No iterative elimination performed. (vars=4267, c/v ratio=6.9)
9.96/4.19 c (0,0) c | Simplification time: 0.03 s |
9.96/4.19 c (0,0) c | |
9.96/4.19 c (0,0) c ============================[ Search Statistics ]==============================
9.96/4.19 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
9.96/4.19 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
9.96/4.19 c (0,0) c ===============================================================================
9.96/4.19 c (0,0) c ===============================================================================
9.96/4.19 c (0,0) c restarts : 1
9.96/4.19 c (0,0) c conflicts : 51 (991 /sec)
9.96/4.19 c (0,0) c decisions : 133 (0.00 % random) (2583 /sec)
9.96/4.19 c (0,0) c propagations : 39157 (760581 /sec)
9.96/4.19 c (0,0) c conflict literals : 1464 (14.69 % deleted)
9.96/4.19 c (0,0) c CPU time : 0.051483 s
9.96/4.19 c (0,0)
9.96/4.19 c (0,0) s SATISFIABLE
10.21/4.22 c (0,0) SatSolver.solve End
10.21/4.22 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
10.21/4.22 c (0,0) Show results Begin
10.21/4.29 s SATISFIABLE
10.43/4.31 v <instantiation>
10.43/4.31 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[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[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[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[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[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[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[1][0] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[2][0] y[2][1] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[3][0] y[3][1] y[3][2] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[4][0] y[4][1] y[4][2] y[4][3] y[4][5] y[4][6] y[4][7] y[4][8] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][6] y[5][7] y[5][8] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][7] y[6][8] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][8] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7]</list>
10.43/4.31 v <values>0 2 7 6 8 3 4 1 5 5 1 3 7 0 6 8 2 4 6 8 2 4 7 1 5 3 0 8 0 6 3 5 7 1 4 2 2 6 1 0 4 8 3 5 7 4 3 0 2 1 5 7 8 6 1 7 8 5 2 4 6 0 3 3 4 5 8 6 0 2 7 1 7 5 4 1 3 2 0 6 8 47 61 78 26 39 13 28 68 23 75 7 54 33 71 38 49 69 35 58 16 1 77 48 36 62 63 42 5 25 46 76 11 74 6 64 45 17 21 59 34 31 57 9 65 73 43 8 24 37 79 53 14 29 67 18 3 12 22 32 44 51 72 2 55 52 41 4 19 66 56 27 15</values>
10.43/4.31 v </instantiation>
10.43/4.31 c (0,0) Show results End
10.43/4.31 c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
10.43/4.31 c (0,0) 0,0,STOP-AFTER(ALL)
10.43/4.31 c END-Prog: Sun Aug 12 19:20:54 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 (8726 MiB free)
memory of node 1: 16384 MiB (9600 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305404-1534094449/watcher-4305404-1534094449 -o /tmp/evaluation-result-4305404-1534094449/solver-4305404-1534094449 -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-4305404-1534094449.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=12854, runsolver pid=12851
Current StackSize limit: 8192 KiB
[startup+0.101054 s]*
/proc/loadavg: 1.00 1.01 1.05 2/195 12871
/proc/meminfo: memFree=18705012/32770624 swapFree=67108196/67108860
[pid=12854] ppid=12851 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12854/stat : 12854 (scop.sh) S 12851 12854 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 227008138 115843072 349 33554432000 4194304 5098028 140726646076768 140726646074024 140118821204604 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19636224 140726646084672 140726646084871 140726646084871 140726646087629 0
/proc/12854/statm: 28282 349 296 221 0 87 0
[pid=12857] ppid=12854 vsize=15012476 memory=72604 CPUtime=0.11 cores=1,3,5,7
/proc/12857/stat : 12857 (java) S 12854 12854 3762 0 -1 1077944320 6823 0 0 0 9 2 0 0 20 0 15 0 227008139 15372775424 18151 33554432000 4194304 4196468 140723623896704 140723623879248 139637220220663 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
/proc/12857/statm: 3753119 18151 2741 1 0 3715579 0
[pid=12857/tid=12858] ppid=12854 vsize=15012476 memory=-6368769841661317475 CPUtime=0.08 cores=1,3,5,7
/proc/12857/task/12858/stat : 12858 (java) R 12854 12854 3762 0 -1 4202560 4990 0 0 0 7 1 0 0 20 0 15 0 227008139 15372775424 18282 33554432000 4194304 4196468 140723623896704 139637192032648 139637204301150 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12859] ppid=12854 vsize=15012476 memory=5767624795302525321 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12859/stat : 12859 (java) S 12854 12854 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227008141 15372775424 18282 33554432000 4194304 4196468 140723623896704 139637224463376 139637220230869 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12860] ppid=12854 vsize=15012476 memory=140716962334336 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12860/stat : 12860 (java) S 12854 12854 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227008141 15372775424 18282 33554432000 4194304 4196468 140723623896704 139637038619792 139637220230869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12861] ppid=12854 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12861/stat : 12861 (java) S 12854 12854 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227008141 15372775424 18282 33554432000 4194304 4196468 140723623896704 139636679977744 139637220230869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12862] ppid=12854 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12862/stat : 12862 (java) S 12854 12854 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227008141 15372775424 18282 33554432000 4194304 4196468 140723623896704 139636678925200 139637220230869 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12863] ppid=12854 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12863/stat : 12863 (java) S 12854 12854 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227008142 15372775424 18282 33554432000 4194304 4196468 140723623896704 139636257798384 139637220231810 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12864] ppid=12854 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12864/stat : 12864 (java) S 12854 12854 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 227008143 15372775424 18282 33554432000 4194304 4196468 140723623896704 139635762128032 139637220230869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12865] ppid=12854 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12865/stat : 12865 (java) S 12854 12854 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227008143 15372775424 18282 33554432000 4194304 4196468 140723623896704 139635493692144 139637220230869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12866] ppid=12854 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12866/stat : 12866 (java) S 12854 12854 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227008145 15372775424 18282 33554432000 4194304 4196468 140723623896704 139635119183824 139637220239259 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12867] ppid=12854 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12867/stat : 12867 (java) S 12854 12854 3762 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 227008145 15372775424 18282 33554432000 4194304 4196468 140723623896704 139636256746224 139637220231810 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12868] ppid=12854 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12868/stat : 12868 (java) S 12854 12854 3762 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 227008145 15372775424 18282 33554432000 4194304 4196468 140723623896704 139636255693680 139637220231810 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12869] ppid=12854 vsize=15012476 memory=140716962334336 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12869/stat : 12869 (java) R 12854 12854 3762 0 -1 4202560 277 0 0 0 0 0 0 0 20 0 15 0 227008145 15372775424 18282 33554432000 4194304 4196468 140723623896704 139636254636568 139637199177313 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12870] ppid=12854 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12870/stat : 12870 (java) S 12854 12854 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227008146 15372775424 18282 33554432000 4194304 4196468 140723623896704 139634621279072 139637220230869 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12871] ppid=12854 vsize=15012476 memory=140716962334336 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12871/stat : 12871 (java) S 12854 12854 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227008146 15372775424 18282 33554432000 4194304 4196468 140723623896704 139636253588016 139637220231810 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74000 KiB
[startup+0.210343 s]*
/proc/loadavg: 1.00 1.01 1.05 2/195 12871
/proc/meminfo: memFree=18691060/32770624 swapFree=67108196/67108860
[pid=12854] ppid=12851 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12854/stat : 12854 (scop.sh) S 12851 12854 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 227008138 115843072 349 33554432000 4194304 5098028 140726646076768 140726646074024 140118821204604 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19636224 140726646084672 140726646084871 140726646084871 140726646087629 0
/proc/12854/statm: 28282 349 296 221 0 87 0
[pid=12857] ppid=12854 vsize=15012476 memory=86164 CPUtime=0.25 cores=1,3,5,7
/proc/12857/stat : 12857 (java) S 12854 12854 3762 0 -1 1077944320 10392 0 0 0 22 3 0 0 20 0 15 0 227008139 15372775424 21541 33554432000 4194304 4196468 140723623896704 140723623879248 139637220220663 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
/proc/12857/statm: 3753119 21541 2878 1 0 3715579 0
[pid=12857/tid=12858] ppid=12854 vsize=15012476 memory=8256956774946349212 CPUtime=0.19 cores=1,3,5,7
/proc/12857/task/12858/stat : 12858 (java) R 12854 12854 3762 0 -1 4202560 8301 0 0 0 17 2 0 0 20 0 15 0 227008139 15372775424 21541 33554432000 4194304 4196468 140723623896704 139637192047056 139637220232598 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12859] ppid=12854 vsize=15012476 memory=5767624795302525321 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12859/stat : 12859 (java) S 12854 12854 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227008141 15372775424 21541 33554432000 4194304 4196468 140723623896704 139637224463376 139637220230869 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12860] ppid=12854 vsize=15012476 memory=140716962334336 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12860/stat : 12860 (java) S 12854 12854 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227008141 15372775424 21541 33554432000 4194304 4196468 140723623896704 139637038619792 139637220230869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12861] ppid=12854 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12861/stat : 12861 (java) S 12854 12854 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227008141 15372775424 21541 33554432000 4194304 4196468 140723623896704 139636679977744 139637220230869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12862] ppid=12854 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12862/stat : 12862 (java) S 12854 12854 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227008141 15372775424 21541 33554432000 4194304 4196468 140723623896704 139636678925200 139637220230869 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12863] ppid=12854 vsize=15012476 memory=140716962334336 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12863/stat : 12863 (java) S 12854 12854 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227008142 15372775424 21541 33554432000 4194304 4196468 140723623896704 139636257798384 139637220231810 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12864] ppid=12854 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12864/stat : 12864 (java) S 12854 12854 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 227008143 15372775424 21541 33554432000 4194304 4196468 140723623896704 139635762128032 139637220230869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12865] ppid=12854 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12865/stat : 12865 (java) S 12854 12854 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227008143 15372775424 21541 33554432000 4194304 4196468 140723623896704 139635493692144 139637220230869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12866] ppid=12854 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12866/stat : 12866 (java) S 12854 12854 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227008145 15372775424 21541 33554432000 4194304 4196468 140723623896704 139635119183824 139637220239259 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12867] ppid=12854 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12867/stat : 12867 (java) S 12854 12854 3762 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 227008145 15372775424 21541 33554432000 4194304 4196468 140723623896704 139636256746224 139637220231810 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12868] ppid=12854 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12868/stat : 12868 (java) S 12854 12854 3762 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 227008145 15372775424 21541 33554432000 4194304 4196468 140723623896704 139636255693680 139637220231810 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12869] ppid=12854 vsize=15012476 memory=140716962334336 CPUtime=0.02 cores=1,3,5,7
/proc/12857/task/12869/stat : 12869 (java) R 12854 12854 3762 0 -1 4202560 293 0 0 0 2 0 0 0 20 0 15 0 227008145 15372775424 21541 33554432000 4194304 4196468 140723623896704 139636254640624 139637212457790 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12870] ppid=12854 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12870/stat : 12870 (java) S 12854 12854 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227008146 15372775424 21541 33554432000 4194304 4196468 140723623896704 139634621279072 139637220230869 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12871] ppid=12854 vsize=15012476 memory=140716962334336 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12871/stat : 12871 (java) S 12854 12854 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227008146 15372775424 21541 33554432000 4194304 4196468 140723623896704 139636253588016 139637220231810 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87560 KiB
[startup+0.310313 s]*
/proc/loadavg: 1.00 1.01 1.05 2/195 12871
/proc/meminfo: memFree=18687896/32770624 swapFree=67108196/67108860
[pid=12854] ppid=12851 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12854/stat : 12854 (scop.sh) S 12851 12854 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 227008138 115843072 349 33554432000 4194304 5098028 140726646076768 140726646074024 140118821204604 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19636224 140726646084672 140726646084871 140726646084871 140726646087629 0
/proc/12854/statm: 28282 349 296 221 0 87 0
[pid=12857] ppid=12854 vsize=15012476 memory=89688 CPUtime=0.41 cores=1,3,5,7
/proc/12857/stat : 12857 (java) S 12854 12854 3762 0 -1 1077944320 10914 0 0 0 38 3 0 0 20 0 15 0 227008139 15372775424 22422 33554432000 4194304 4196468 140723623896704 140723623879248 139637220220663 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
/proc/12857/statm: 3753119 22422 2974 1 0 3715579 0
[pid=12857/tid=12858] ppid=12854 vsize=15012476 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/12857/task/12858/stat : 12858 (java) R 12854 12854 3762 0 -1 4202560 8678 0 0 0 27 2 0 0 20 0 15 0 227008139 15372775424 22422 33554432000 4194304 4196468 140723623896704 139637192015664 139637204301150 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12859] ppid=12854 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12859/stat : 12859 (java) S 12854 12854 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227008141 15372775424 22422 33554432000 4194304 4196468 140723623896704 139637224463376 139637220230869 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12860] ppid=12854 vsize=15012476 memory=281433637882400 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12860/stat : 12860 (java) S 12854 12854 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227008141 15372775424 22422 33554432000 4194304 4196468 140723623896704 139637038619792 139637220230869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12861] ppid=12854 vsize=15012476 memory=281433637884704 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12861/stat : 12861 (java) S 12854 12854 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227008141 15372775424 22422 33554432000 4194304 4196468 140723623896704 139636679977744 139637220230869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12862] ppid=12854 vsize=15012476 memory=140716818927375 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12862/stat : 12862 (java) S 12854 12854 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227008141 15372775424 22422 33554432000 4194304 4196468 140723623896704 139636678925200 139637220230869 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12863] ppid=12854 vsize=15012476 memory=281433781268608 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12863/stat : 12863 (java) S 12854 12854 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227008142 15372775424 22422 33554432000 4194304 4196468 140723623896704 139636257798384 139637220231810 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12864] ppid=12854 vsize=15012476 memory=140716818931983 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12864/stat : 12864 (java) S 12854 12854 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 227008143 15372775424 22422 33554432000 4194304 4196468 140723623896704 139635762128032 139637220230869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12865] ppid=12854 vsize=15012476 memory=140716818938050 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12865/stat : 12865 (java) S 12854 12854 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227008143 15372775424 22422 33554432000 4194304 4196468 140723623896704 139635493692144 139637220230869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12866] ppid=12854 vsize=15012476 memory=140716818940380 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12866/stat : 12866 (java) S 12854 12854 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227008145 15372775424 22422 33554432000 4194304 4196468 140723623896704 139635119183824 139637220239259 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12867] ppid=12854 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/12857/task/12867/stat : 12867 (java) S 12854 12854 3762 0 -1 1077944384 442 0 0 0 1 0 0 0 20 0 15 0 227008145 15372775424 22422 33554432000 4194304 4196468 140723623896704 139636256746224 139637220231810 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12868] ppid=12854 vsize=15012476 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/12857/task/12868/stat : 12868 (java) S 12854 12854 3762 0 -1 1077944384 151 0 0 0 2 0 0 0 20 0 15 0 227008145 15372775424 22422 33554432000 4194304 4196468 140723623896704 139636255693680 139637220231810 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12869] ppid=12854 vsize=15012476 memory=140716962334336 CPUtime=0.07 cores=1,3,5,7
/proc/12857/task/12869/stat : 12869 (java) S 12854 12854 3762 0 -1 1077944384 313 0 0 0 7 0 0 0 20 0 15 0 227008145 15372775424 22422 33554432000 4194304 4196468 140723623896704 139636254640624 139637220231810 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12870] ppid=12854 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12870/stat : 12870 (java) S 12854 12854 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227008146 15372775424 22422 33554432000 4194304 4196468 140723623896704 139634621279072 139637220230869 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12871] ppid=12854 vsize=15012476 memory=140716962335732 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12871/stat : 12871 (java) S 12854 12854 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227008146 15372775424 22422 33554432000 4194304 4196468 140723623896704 139636253588016 139637220231810 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91084 KiB
[startup+0.700999 s]
/proc/loadavg: 1.00 1.01 1.05 2/195 12871
/proc/meminfo: memFree=18663464/32770624 swapFree=67108196/67108860
[pid=12854] ppid=12851 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12854/stat : 12854 (scop.sh) S 12851 12854 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 227008138 115843072 349 33554432000 4194304 5098028 140726646076768 140726646074024 140118821204604 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19636224 140726646084672 140726646084871 140726646084871 140726646087629 0
/proc/12854/statm: 28282 349 296 221 0 87 0
[pid=12857] ppid=12854 vsize=15020872 memory=129920 CPUtime=1 cores=1,3,5,7
/proc/12857/stat : 12857 (java) S 12854 12854 3762 0 -1 1077944320 18145 0 0 0 95 5 0 0 20 0 15 0 227008139 15381372928 32480 33554432000 4194304 4196468 140723623896704 140723623879248 139637220220663 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
/proc/12857/statm: 3755218 32480 3151 1 0 3716603 0
[pid=12857/tid=12858] ppid=12854 vsize=15020872 memory=8751464017575360309 CPUtime=0.67 cores=1,3,5,7
/proc/12857/task/12858/stat : 12858 (java) R 12854 12854 3762 0 -1 4202560 15398 0 0 0 63 4 0 0 20 0 15 0 227008139 15381372928 32480 33554432000 4194304 4196468 140723623896704 139637192046896 139637204301150 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12859] ppid=12854 vsize=15020872 memory=7813587196152395573 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12859/stat : 12859 (java) S 12854 12854 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227008141 15381372928 32480 33554432000 4194304 4196468 140723623896704 139637224463376 139637220230869 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12860] ppid=12854 vsize=15020872 memory=5789185273153740882 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12860/stat : 12860 (java) S 12854 12854 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227008141 15381372928 32480 33554432000 4194304 4196468 140723623896704 139637038619792 139637220230869 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12861] ppid=12854 vsize=15020872 memory=7666631141572832339 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12861/stat : 12861 (java) S 12854 12854 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227008141 15381372928 32480 33554432000 4194304 4196468 140723623896704 139636679977744 139637220230869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12862] ppid=12854 vsize=15020872 memory=1128 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12862/stat : 12862 (java) S 12854 12854 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227008141 15381372928 32480 33554432000 4194304 4196468 140723623896704 139636678925200 139637220230869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12863] ppid=12854 vsize=15020872 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12863/stat : 12863 (java) S 12854 12854 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 227008142 15381372928 32480 33554432000 4194304 4196468 140723623896704 139636257798384 139637220231810 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12864] ppid=12854 vsize=15020872 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12864/stat : 12864 (java) S 12854 12854 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 227008143 15381372928 32480 33554432000 4194304 4196468 140723623896704 139635762128032 139637220230869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12865] ppid=12854 vsize=15020872 memory=4168 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12865/stat : 12865 (java) S 12854 12854 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227008143 15381372928 32480 33554432000 4194304 4196468 140723623896704 139635493692144 139637220230869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12866] ppid=12854 vsize=15020872 memory=7852 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12866/stat : 12866 (java) S 12854 12854 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227008145 15381372928 32480 33554432000 4194304 4196468 140723623896704 139635119183824 139637220239259 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12867] ppid=12854 vsize=15020872 memory=1628 CPUtime=0.09 cores=1,3,5,7
/proc/12857/task/12867/stat : 12867 (java) R 12854 12854 3762 0 -1 1077944384 706 0 0 0 9 0 0 0 20 0 15 0 227008145 15381372928 32480 33554432000 4194304 4196468 140723623896704 139636256733072 139637220230869 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12868] ppid=12854 vsize=15020872 memory=1140 CPUtime=0.06 cores=1,3,5,7
/proc/12857/task/12868/stat : 12868 (java) R 12854 12854 3762 0 -1 4202560 242 0 0 0 6 0 0 0 20 0 15 0 227008145 15381372928 32480 33554432000 4194304 4196468 140723623896704 139636255684064 139637201750226 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12869] ppid=12854 vsize=15020872 memory=15244 CPUtime=0.16 cores=1,3,5,7
/proc/12857/task/12869/stat : 12869 (java) S 12854 12854 3762 0 -1 1077944384 464 0 0 0 16 0 0 0 20 0 15 0 227008145 15381372928 32480 33554432000 4194304 4196468 140723623896704 139636254640624 139637220231810 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12870] ppid=12854 vsize=15020872 memory=35140 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12870/stat : 12870 (java) S 12854 12854 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227008146 15381372928 32480 33554432000 4194304 4196468 140723623896704 139634621279072 139637220230869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12871] ppid=12854 vsize=15020872 memory=33 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12871/stat : 12871 (java) S 12854 12854 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227008146 15381372928 32480 33554432000 4194304 4196468 140723623896704 139636253588016 139637220231810 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131316 KiB
[startup+1.50905 s]
/proc/loadavg: 1.00 1.01 1.05 3/195 12871
/proc/meminfo: memFree=18632012/32770624 swapFree=67108196/67108860
[pid=12854] ppid=12851 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12854/stat : 12854 (scop.sh) S 12851 12854 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 227008138 115843072 349 33554432000 4194304 5098028 140726646076768 140726646074024 140118821204604 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19636224 140726646084672 140726646084871 140726646084871 140726646087629 0
/proc/12854/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/12854/stat : 12854 (scop.sh) S 12851 12854 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 227008138 115843072 349 33554432000 4194304 5098028 140726646076768 140726646074024 140118821204604 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19636224 140726646084672 140726646084871 140726646084871 140726646087629 0
/proc/12854/statm: 28282 349 296 221 0 87 0
[pid=12857] ppid=12854 vsize=15027084 memory=609940 CPUtime=8.47 cores=1,3,5,7
/proc/12857/stat : 12857 (java) S 12854 12854 3762 0 -1 1077944320 28645 0 0 0 831 16 0 0 20 0 15 0 227008139 15387734016 152485 33554432000 4194304 4196468 140723623896704 140723623879248 139637220220663 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
/proc/12857/statm: 3756771 152485 3213 1 0 3717627 0
[pid=12857/tid=12858] ppid=12854 vsize=15027084 memory=0 CPUtime=3.15 cores=1,3,5,7
/proc/12857/task/12858/stat : 12858 (java) R 12854 12854 3762 0 -1 4202560 17167 0 0 0 304 11 0 0 20 0 15 0 227008139 15387734016 152485 33554432000 4194304 4196468 140723623896704 139637192056432 139636726377298 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12859] ppid=12854 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12859/stat : 12859 (java) S 12854 12854 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227008141 15387734016 152485 33554432000 4194304 4196468 140723623896704 139637224463376 139637220230869 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12860] ppid=12854 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12860/stat : 12860 (java) S 12854 12854 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227008141 15387734016 152485 33554432000 4194304 4196468 140723623896704 139637038619792 139637220230869 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12861] ppid=12854 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12861/stat : 12861 (java) S 12854 12854 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227008141 15387734016 152485 33554432000 4194304 4196468 140723623896704 139636679977744 139637220230869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12862] ppid=12854 vsize=15027084 memory=153 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12862/stat : 12862 (java) S 12854 12854 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227008141 15387734016 152485 33554432000 4194304 4196468 140723623896704 139636678925200 139637220230869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12863] ppid=12854 vsize=15027084 memory=149 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12863/stat : 12863 (java) S 12854 12854 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 227008142 15387734016 152485 33554432000 4194304 4196468 140723623896704 139636257798384 139637220231810 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12864] ppid=12854 vsize=15027084 memory=95 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12864/stat : 12864 (java) S 12854 12854 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 227008143 15387734016 152485 33554432000 4194304 4196468 140723623896704 139635762128032 139637220230869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12865] ppid=12854 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12865/stat : 12865 (java) S 12854 12854 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227008143 15387734016 152485 33554432000 4194304 4196468 140723623896704 139635493692144 139637220230869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12866] ppid=12854 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12866/stat : 12866 (java) S 12854 12854 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227008145 15387734016 152485 33554432000 4194304 4196468 140723623896704 139635119183824 139637220239259 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12867] ppid=12854 vsize=15027084 memory=288230574492221466 CPUtime=2.11 cores=1,3,5,7
/proc/12857/task/12867/stat : 12867 (java) R 12854 12854 3762 0 -1 4202560 3842 0 0 0 210 1 0 0 20 0 15 0 227008145 15387734016 152485 33554432000 4194304 4196468 140723623896704 139636256731872 139637204973441 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12868] ppid=12854 vsize=15027084 memory=288230596050944315 CPUtime=2.07 cores=1,3,5,7
/proc/12857/task/12868/stat : 12868 (java) R 12854 12854 3762 0 -1 4202560 2746 0 0 0 207 0 0 0 20 0 15 0 227008145 15387734016 152485 33554432000 4194304 4196468 140723623896704 139636255680432 139637201764780 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12869] ppid=12854 vsize=15027084 memory=14133359542538213 CPUtime=1.09 cores=1,3,5,7
/proc/12857/task/12869/stat : 12869 (java) S 12854 12854 3762 0 -1 1077944384 3554 0 0 0 108 1 0 0 20 0 15 0 227008145 15387734016 152485 33554432000 4194304 4196468 140723623896704 139636254640624 139637220231810 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12870] ppid=12854 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12870/stat : 12870 (java) S 12854 12854 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227008146 15387734016 152485 33554432000 4194304 4196468 140723623896704 139634621279072 139637220230869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
[pid=12857/tid=12871] ppid=12854 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12857/task/12871/stat : 12871 (java) S 12854 12854 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227008146 15387734016 152485 33554432000 4194304 4196468 140723623896704 139636253588016 139637220231810 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9363456 140723623900166 140723623900465 140723623900465 140723623903183 0
Current children cumulated CPU time: 8.47 s
Current children cumulated vsize: 15140212 KiB
Current children cumulated memory: 611336 KiB
[startup+4.00035 s]*
/proc/loadavg: 1.08 1.03 1.05 2/195 12886
/proc/meminfo: memFree=18682440/32770624 swapFree=67108196/67108860
[pid=12854] ppid=12851 vsize=113128 memory=1472 CPUtime=9.02 cores=1,3,5,7
/proc/12854/stat : 12854 (scop.sh) S 12851 12854 3762 0 -1 4202496 591 30064 0 0 0 0 883 19 20 0 1 0 227008138 115843072 368 33554432000 4194304 5098028 140726646076768 140726646073512 140118821204604 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19636224 140726646084672 140726646084871 140726646084871 140726646087629 0
/proc/12854/statm: 28282 368 311 221 0 87 0
[pid=12872] ppid=12854 vsize=7406384 memory=96780 CPUtime=0.78 cores=1,3,5,7
/proc/12872/stat : 12872 (java) S 12854 12854 3762 0 -1 1077944320 16803 0 0 0 74 4 0 0 20 0 15 0 227008479 7584137216 24195 33554432000 4194304 4196468 140726563340256 140726563322800 140255694466807 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
/proc/12872/statm: 1851596 24195 3049 1 0 1813530 0
[pid=12872/tid=12873] ppid=12854 vsize=7406384 memory=281433637689736 CPUtime=0.56 cores=1,3,5,7
/proc/12872/task/12873/stat : 12873 (java) R 12854 12854 3762 0 -1 4202560 14412 0 0 0 53 3 0 0 20 0 15 0 227008479 7584137216 24195 33554432000 4194304 4196468 140726563340256 140255666301616 140255678547294 0 4 2 25189581 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12874] ppid=12854 vsize=7406384 memory=5767624795302525321 CPUtime=0 cores=1,3,5,7
/proc/12872/task/12874/stat : 12874 (java) S 12854 12854 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227008480 7584137216 24195 33554432000 4194304 4196468 140726563340256 140255698709648 140255694477013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12875] ppid=12854 vsize=7406384 memory=140716962334336 CPUtime=0 cores=1,3,5,7
/proc/12872/task/12875/stat : 12875 (java) S 12854 12854 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227008480 7584137216 24195 33554432000 4194304 4196468 140726563340256 140255179734032 140255694477013 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12876] ppid=12854 vsize=7406384 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12872/task/12876/stat : 12876 (java) S 12854 12854 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227008480 7584137216 24195 33554432000 4194304 4196468 140726563340256 140255178681232 140255694477013 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12877] ppid=12854 vsize=7406384 memory=140716818825335 CPUtime=0 cores=1,3,5,7
/proc/12872/task/12877/stat : 12877 (java) S 12854 12854 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227008480 7584137216 24195 33554432000 4194304 4196468 140726563340256 140255177628432 140255694477013 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12878] ppid=12854 vsize=7406384 memory=140716962334336 CPUtime=0 cores=1,3,5,7
/proc/12872/task/12878/stat : 12878 (java) S 12854 12854 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227008481 7584137216 24195 33554432000 4194304 4196468 140726563340256 140255006693744 140255694477954 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12879] ppid=12854 vsize=7406384 memory=3472328296227680299 CPUtime=0 cores=1,3,5,7
/proc/12872/task/12879/stat : 12879 (java) S 12854 12854 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 227008482 7584137216 24195 33554432000 4194304 4196468 140726563340256 140254505853984 140255694477013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12880] ppid=12854 vsize=7406384 memory=-3535359994705172579 CPUtime=0 cores=1,3,5,7
/proc/12872/task/12880/stat : 12880 (java) S 12854 12854 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227008482 7584137216 24195 33554432000 4194304 4196468 140726563340256 140254237418352 140255694477013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12881] ppid=12854 vsize=7406384 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12872/task/12881/stat : 12881 (java) S 12854 12854 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227008485 7584137216 24195 33554432000 4194304 4196468 140726563340256 140253862909776 140255694485403 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12882] ppid=12854 vsize=7406384 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/12872/task/12882/stat : 12882 (java) S 12854 12854 3762 0 -1 1077944384 400 0 0 0 3 0 0 0 20 0 15 0 227008486 7584137216 24195 33554432000 4194304 4196468 140726563340256 140255005641584 140255694477954 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12883] ppid=12854 vsize=7406384 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/12872/task/12883/stat : 12883 (java) S 12854 12854 3762 0 -1 1077944384 231 0 0 0 4 0 0 0 20 0 15 0 227008486 7584137216 24195 33554432000 4194304 4196468 140726563340256 140255004588784 140255694477954 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12884] ppid=12854 vsize=7406384 memory=140716962334336 CPUtime=0.12 cores=1,3,5,7
/proc/12872/task/12884/stat : 12884 (java) S 12854 12854 3762 0 -1 1077944384 433 0 0 0 12 0 0 0 20 0 15 0 227008486 7584137216 24195 33554432000 4194304 4196468 140726563340256 140255003535984 140255694477954 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12885] ppid=12854 vsize=7406384 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12872/task/12885/stat : 12885 (java) S 12854 12854 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227008487 7584137216 24195 33554432000 4194304 4196468 140726563340256 140253365005024 140255694477013 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12886] ppid=12854 vsize=7406384 memory=140721257301632 CPUtime=0 cores=1,3,5,7
/proc/12872/task/12886/stat : 12886 (java) S 12854 12854 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227008487 7584137216 24195 33554432000 4194304 4196468 140726563340256 140255002483376 140255694477954 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
Current children cumulated CPU time: 9.8 s
Current children cumulated vsize: 7519512 KiB
Current children cumulated memory: 98252 KiB
[startup+4.20258 s]
/proc/loadavg: 1.08 1.03 1.05 2/195 12886
/proc/meminfo: memFree=18682440/32770624 swapFree=67108196/67108860
[pid=12854] ppid=12851 vsize=113128 memory=1472 CPUtime=9.02 cores=1,3,5,7
/proc/12854/stat : 12854 (scop.sh) S 12851 12854 3762 0 -1 4202496 591 30064 0 0 0 0 883 19 20 0 1 0 227008138 115843072 368 33554432000 4194304 5098028 140726646076768 140726646073512 140118821204604 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19636224 140726646084672 140726646084871 140726646084871 140726646087629 0
/proc/12854/statm: 28282 368 311 221 0 87 0
[pid=12872] ppid=12854 vsize=8068220 memory=118716 CPUtime=1.19 cores=1,3,5,7
/proc/12872/stat : 12872 (java) S 12854 12854 3762 0 -1 1077944320 18362 2290 0 0 109 5 5 0 20 0 18 0 227008479 8261857280 29679 33554432000 4194304 4196468 140726563340256 140726563322800 140255694466807 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
/proc/12872/statm: 2017055 29679 3150 1 0 1978454 0
[pid=12872/tid=12873] ppid=12854 vsize=8068220 memory=281433638303040 CPUtime=0.79 cores=1,3,5,7
/proc/12872/task/12873/stat : 12873 (java) S 12854 12854 3762 0 -1 1077944384 15322 2290 0 0 70 4 5 0 20 0 18 0 227008479 8261857280 29679 33554432000 4194304 4196468 140726563340256 140255666306960 140255694477013 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12874] ppid=12854 vsize=8068252 memory=281433637976864 CPUtime=0.05 cores=1,3,5,7
/proc/12872/task/12874/stat : 12874 (java) S 12854 12854 3762 0 -1 1077944384 3 2290 0 0 0 0 5 0 20 0 18 0 227008480 8261890048 29679 33554432000 4194304 4196468 140726563340256 140255698709648 140255694477013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12875] ppid=12854 vsize=8068252 memory=281433637977056 CPUtime=0.05 cores=1,3,5,7
/proc/12872/task/12875/stat : 12875 (java) S 12854 12854 3762 0 -1 1077944384 2 2290 0 0 0 0 5 0 20 0 18 0 227008480 8261890048 29679 33554432000 4194304 4196468 140726563340256 140255179734032 140255694477013 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12876] ppid=12854 vsize=8068220 memory=8775 CPUtime=0.05 cores=1,3,5,7
/proc/12872/task/12876/stat : 12876 (java) S 12854 12854 3762 0 -1 1077944384 2 2290 0 0 0 0 5 0 20 0 18 0 227008480 8261857280 29680 33554432000 4194304 4196468 140726563340256 140255178681232 140255694477013 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12877] ppid=12854 vsize=8068220 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/12872/task/12877/stat : 12877 (java) S 12854 12854 3762 0 -1 1077944384 2 2290 0 0 0 0 5 0 20 0 18 0 227008480 8261857280 29680 33554432000 4194304 4196468 140726563340256 140255177628432 140255694477013 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12878] ppid=12854 vsize=8068220 memory=5859277021789765728 CPUtime=0.05 cores=1,3,5,7
/proc/12872/task/12878/stat : 12878 (java) S 12854 12854 3762 0 -1 1077944384 5 2290 0 0 0 0 5 0 20 0 18 0 227008481 8261857280 29680 33554432000 4194304 4196468 140726563340256 140255006693744 140255694477954 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12879] ppid=12854 vsize=8068220 memory=5795117241467496816 CPUtime=0.05 cores=1,3,5,7
/proc/12872/task/12879/stat : 12879 (java) S 12854 12854 3762 0 -1 1077944384 13 2290 0 0 0 0 5 0 20 0 18 0 227008482 8261857280 29680 33554432000 4194304 4196468 140726563340256 140254505853984 140255694477013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12880] ppid=12854 vsize=8068220 memory=5859271421084521832 CPUtime=0.05 cores=1,3,5,7
/proc/12872/task/12880/stat : 12880 (java) S 12854 12854 3762 0 -1 1077944384 1 2290 0 0 0 0 5 0 20 0 18 0 227008482 8261857280 29680 33554432000 4194304 4196468 140726563340256 140254237418352 140255694477013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12881] ppid=12854 vsize=8068220 memory=-6168368575958768251 CPUtime=0.05 cores=1,3,5,7
/proc/12872/task/12881/stat : 12881 (java) S 12854 12854 3762 0 -1 1077944384 3 2290 0 0 0 0 5 0 20 0 18 0 227008485 8261857280 29680 33554432000 4194304 4196468 140726563340256 140253862909776 140255694485403 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12882] ppid=12854 vsize=8068220 memory=8370611207638964880 CPUtime=0.13 cores=1,3,5,7
/proc/12872/task/12882/stat : 12882 (java) S 12854 12854 3762 0 -1 1077944384 636 2290 0 0 8 0 5 0 20 0 18 0 227008486 8261857280 29680 33554432000 4194304 4196468 140726563340256 140255005641584 140255694477954 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12883] ppid=12854 vsize=8068220 memory=-8558119624972079972 CPUtime=0.14 cores=1,3,5,7
/proc/12872/task/12883/stat : 12883 (java) R 12854 12854 3762 0 -1 4202560 329 2290 0 0 9 0 5 0 20 0 18 0 227008486 8261857280 29680 33554432000 4194304 4196468 140726563340256 140255004578576 140255678005281 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12884] ppid=12854 vsize=8068252 memory=7100839852556323184 CPUtime=0.25 cores=1,3,5,7
/proc/12872/task/12884/stat : 12884 (java) S 12854 12854 3762 0 -1 1077944384 615 2290 0 0 20 0 5 0 20 0 18 0 227008486 8261890048 29680 33554432000 4194304 4196468 140726563340256 140255003535984 140255694477954 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12885] ppid=12854 vsize=8068252 memory=-8540895662816206197 CPUtime=0.05 cores=1,3,5,7
/proc/12872/task/12885/stat : 12885 (java) S 12854 12854 3762 0 -1 1077944384 3 2290 0 0 0 0 5 0 20 0 18 0 227008487 8261890048 29680 33554432000 4194304 4196468 140726563340256 140253365005024 140255694477013 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12886] ppid=12854 vsize=8068252 memory=7228958452316856429 CPUtime=0.05 cores=1,3,5,7
/proc/12872/task/12886/stat : 12886 (java) S 12854 12854 3762 0 -1 1077944384 1 2290 0 0 0 0 5 0 20 0 18 0 227008487 8261890048 29680 33554432000 4194304 4196468 140726563340256 140255002483376 140255694477954 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
Current children cumulated CPU time: 10.21 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 120188 KiB
[startup+4.30074 s]
/proc/loadavg: 1.08 1.03 1.05 2/195 12886
/proc/meminfo: memFree=18682440/32770624 swapFree=67108196/67108860
[pid=12854] ppid=12851 vsize=113128 memory=1472 CPUtime=9.02 cores=1,3,5,7
/proc/12854/stat : 12854 (scop.sh) S 12851 12854 3762 0 -1 4202496 591 30064 0 0 0 0 883 19 20 0 1 0 227008138 115843072 368 33554432000 4194304 5098028 140726646076768 140726646073512 140118821204604 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19636224 140726646084672 140726646084871 140726646084871 140726646087629 0
/proc/12854/statm: 28282 368 311 221 0 87 0
[pid=12872] ppid=12854 vsize=7937144 memory=123072 CPUtime=1.41 cores=1,3,5,7
/proc/12872/stat : 12872 (java) S 12854 12854 3762 0 -1 1077944320 19025 2290 0 0 130 6 5 0 20 0 17 0 227008479 8127635456 30768 33554432000 4194304 4196468 140726563340256 140726563322800 140255694466807 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
/proc/12872/statm: 1984286 30768 3171 1 0 1945685 0
[pid=12872/tid=12873] ppid=12854 vsize=7937144 memory=1472 CPUtime=0.86 cores=1,3,5,7
/proc/12872/task/12873/stat : 12873 (java) R 12854 12854 3762 0 -1 4202560 15617 2290 0 0 77 4 5 0 20 0 17 0 227008479 8127635456 30768 33554432000 4194304 4196468 140726563340256 140255666303456 140255676030289 0 4 2 25189581 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12874] ppid=12854 vsize=7937144 memory=101172 CPUtime=0.05 cores=1,3,5,7
/proc/12872/task/12874/stat : 12874 (java) S 12854 12854 3762 0 -1 1077944384 3 2290 0 0 0 0 5 0 20 0 17 0 227008480 8127635456 30768 33554432000 4194304 4196468 140726563340256 140255698709648 140255694477013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12875] ppid=12854 vsize=7937144 memory=281433637940024 CPUtime=0.05 cores=1,3,5,7
/proc/12872/task/12875/stat : 12875 (java) S 12854 12854 3762 0 -1 1077944384 2 2290 0 0 0 0 5 0 20 0 17 0 227008480 8127635456 30768 33554432000 4194304 4196468 140726563340256 140255179734032 140255694477013 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12876] ppid=12854 vsize=7937144 memory=281433637948912 CPUtime=0.05 cores=1,3,5,7
/proc/12872/task/12876/stat : 12876 (java) S 12854 12854 3762 0 -1 1077944384 2 2290 0 0 0 0 5 0 20 0 17 0 227008480 8127635456 30768 33554432000 4194304 4196468 140726563340256 140255178681232 140255694477013 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12877] ppid=12854 vsize=7937144 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/12872/task/12877/stat : 12877 (java) S 12854 12854 3762 0 -1 1077944384 2 2290 0 0 0 0 5 0 20 0 17 0 227008480 8127635456 30768 33554432000 4194304 4196468 140726563340256 140255177628432 140255694477013 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12878] ppid=12854 vsize=7937144 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/12872/task/12878/stat : 12878 (java) S 12854 12854 3762 0 -1 1077944384 5 2290 0 0 0 0 5 0 20 0 17 0 227008481 8127635456 30768 33554432000 4194304 4196468 140726563340256 140255006693744 140255694477954 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12879] ppid=12854 vsize=7937144 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/12872/task/12879/stat : 12879 (java) S 12854 12854 3762 0 -1 1077944384 13 2290 0 0 0 0 5 0 20 0 17 0 227008482 8127635456 30768 33554432000 4194304 4196468 140726563340256 140254505853984 140255694477013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12880] ppid=12854 vsize=7937144 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/12872/task/12880/stat : 12880 (java) S 12854 12854 3762 0 -1 1077944384 1 2290 0 0 0 0 5 0 20 0 17 0 227008482 8127635456 30768 33554432000 4194304 4196468 140726563340256 140254237418352 140255694477013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12881] ppid=12854 vsize=7937144 memory=8110268428378128441 CPUtime=0.05 cores=1,3,5,7
/proc/12872/task/12881/stat : 12881 (java) S 12854 12854 3762 0 -1 1077944384 3 2290 0 0 0 0 5 0 20 0 17 0 227008485 8127635456 30768 33554432000 4194304 4196468 140726563340256 140253862909776 140255694485403 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12882] ppid=12854 vsize=7937144 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/12872/task/12882/stat : 12882 (java) S 12854 12854 3762 0 -1 1077944384 667 2290 0 0 11 0 5 0 20 0 17 0 227008486 8127635456 30768 33554432000 4194304 4196468 140726563340256 140255005641584 140255694477954 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12883] ppid=12854 vsize=7937144 memory=140716818990976 CPUtime=0.18 cores=1,3,5,7
/proc/12872/task/12883/stat : 12883 (java) S 12854 12854 3762 0 -1 1077944384 417 2290 0 0 13 0 5 0 20 0 17 0 227008486 8127635456 30768 33554432000 4194304 4196468 140726563340256 140255004588784 140255694477954 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12884] ppid=12854 vsize=7937144 memory=140720308486729 CPUtime=0.29 cores=1,3,5,7
/proc/12872/task/12884/stat : 12884 (java) R 12854 12854 3762 0 -1 4202560 722 2290 0 0 24 0 5 0 20 0 17 0 227008486 8127635456 30768 33554432000 4194304 4196468 140726563340256 140255003535984 140255678547294 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12885] ppid=12854 vsize=7937144 memory=4168 CPUtime=0.05 cores=1,3,5,7
/proc/12872/task/12885/stat : 12885 (java) S 12854 12854 3762 0 -1 1077944384 3 2290 0 0 0 0 5 0 20 0 17 0 227008487 8127635456 30768 33554432000 4194304 4196468 140726563340256 140253365005024 140255694477013 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
[pid=12872/tid=12886] ppid=12854 vsize=7937144 memory=7163631965283378496 CPUtime=0.05 cores=1,3,5,7
/proc/12872/task/12886/stat : 12886 (java) S 12854 12854 3762 0 -1 1077944384 1 2290 0 0 0 0 5 0 20 0 17 0 227008487 8127635456 30768 33554432000 4194304 4196468 140726563340256 140255002483376 140255694477954 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39014400 140726563341493 140726563341617 140726563341617 140726563344335 0
Current children cumulated CPU time: 10.43 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 124544 KiB
Child status: 0
Real time (s): 4.32835
CPU time (s): 10.4977
CPU user time (s): 10.2263
CPU system time (s): 0.271447
CPU usage (%): 242.534
Max. virtual memory (cumulated for all children) (KiB): 15140212
Max. memory (cumulated for all children) (KiB): 668748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.2263
system time used= 0.271447
maximum resident set size= 671108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52044
page faults= 0
swaps= 0
block input operations= 8
block output operations= 1312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6011
involuntary context switches= 51
# summary of solver processes directly reported to runsolver:
# pid: 12854
# total CPU time (s): 10.4977
# total CPU user time (s): 10.2263
# total CPU system time (s): 0.271447
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.052647 second user time and 0.086059 second system time
The end