0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-14023-serial-file.bin HOME/instance-4305681-1534129073.xml
0.55/0.52
0.66/0.52 scop both+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Mon Aug 13 04:57:54 CEST 2018
0.66/0.55 c PID: 14027
0.66/0.55 c IP: 172.20.3.132
0.66/0.55 c HOST: node132.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.63/1.02 c (0,0) Parsing End
1.63/1.03 c (0,0) CSP: 287 int (0 aux), 0 bool (0 aux), 147 ctr, max domain size 91
1.63/1.03 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.63/1.03 c (0,0) Constraint Name Generate Begin
1.63/1.04 c (0,0) Ctr:HOME/instance-4305681-1534129073.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num
1.63/1.04 c (0,0) Constraint Name Generate End
1.63/1.04 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.63/1.04 c (0,0) CSP to CSPinCNF Begin
4.34/2.06 c (1,1) translated 15 (10%) constraints
5.48/2.46 c (1,1) translated 30 (20%) constraints
6.66/2.82 c (2,2) translated 45 (30%) constraints
7.31/3.11 c (2,2) translated 59 (40%) constraints
7.71/3.41 c (2,2) translated 74 (50%) constraints
8.02/3.70 c (3,3) translated 89 (60%) constraints
8.88/4.03 c (3,3) translated 103 (70%) constraints
10.44/4.59 c (4,4) translated 118 (80%) constraints
10.74/4.68 c (4,4) translated 133 (90%) constraints
11.06/4.74 c (4,4) translated 147 (100%) constraints
12.33/5.17 c (4,4) STATISTICS1:HOME/instance-4305681-1534129073.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,12586,56253,134217728,91,91,28,134217728:196;33554432:196;91:3486;64:26;13:1281;1:609,91:38136;13:42294;2:85582;1:3185,91:2;14:301;13:91;12:91;11:91;10:91;9:91;8:91;7:91;6:91;5:91;4:14105;3:14574;2:26131;1:321,28:196;26:196;7:26;2:5376;1:153356;0:91,
12.33/5.17 c (4,4) ==========================================
12.33/5.17 c (4,4) Both Encoding selects:
12.33/5.18 c (4,4) Order
12.33/5.18 c (4,4) ==========================================
12.92/5.30 c (4,4) translated 5626 (10%) constraints
13.24/5.41 c (4,4) translated 11251 (20%) constraints
13.51/5.51 c (4,4) translated 16876 (30%) constraints
13.76/5.60 c (5,5) translated 22502 (40%) constraints
13.76/5.69 c (5,5) translated 28127 (50%) constraints
13.85/5.77 c (5,5) translated 33752 (60%) constraints
13.98/5.85 c (5,5) translated 39378 (70%) constraints
14.07/5.95 c (5,5) translated 45003 (80%) constraints
14.99/6.27 c (5,5) translated 50628 (90%) constraints
16.85/6.83 c (6,6) translated 56253 (100%) constraints
16.85/6.83 c (6,6) CSP to CSPinCNF End
16.85/6.84 c (6,6) CSP: 1072 int (785 aux), 15134 bool (15134 aux), 63217 ctr, max domain size 89
16.85/6.84 c (6,6) Heap : 1915 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
16.85/6.84 c (6,6) CSPinCNF Propagation Begin
18.65/7.54 c (7,6) 2514 values, 9493 unsatisfiable literals, and 7097 valid clauses are removed
18.65/7.54 c (7,6) CSPinCNF Propagation End
18.65/7.54 c (7,6) CSP: 2962 int (2675 aux), 13244 bool (13244 aux), 56120 ctr, max domain size 89
18.65/7.54 c (7,6) Heap : 2253 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
18.65/7.54 c (7,6) Simplify CSPinCNF Begin
19.75/7.91 c (7,7) Simplify CSPinCNF End
19.75/7.91 c (7,7) CSP: 2962 int (2675 aux), 23422 bool (23422 aux), 66298 ctr, max domain size 89
19.75/7.91 c (7,7) Heap : 2365 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
19.75/7.91 c (7,7) Calculate Precise Domain Begin
19.75/7.96 c (7,7) 7 values are removed by re-calculation
19.75/7.96 c (7,7) Calculate Precise Domain End
19.75/7.96 c (7,7) CSP: 2962 int (2675 aux), 23422 bool (23422 aux), 66298 ctr, max domain size 89
19.75/7.96 c (7,7) Heap : 2422 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
19.75/7.96 c (7,7) CSPinCNF to SatSolver Begin
20.33/8.15 c (7,7) 6630 (10 %) CSP clauses are encoded (35386 SAT variables, 17570 SAT clauses)
20.33/8.19 c (7,7) 13260 (20 %) CSP clauses are encoded (35386 SAT variables, 24200 SAT clauses)
20.60/8.23 c (7,7) 19890 (30 %) CSP clauses are encoded (35386 SAT variables, 30830 SAT clauses)
20.60/8.28 c (7,7) 26520 (40 %) CSP clauses are encoded (35386 SAT variables, 37460 SAT clauses)
20.72/8.32 c (7,7) 33149 (50 %) CSP clauses are encoded (35386 SAT variables, 44089 SAT clauses)
20.72/8.36 c (7,7) 39779 (60 %) CSP clauses are encoded (35386 SAT variables, 50719 SAT clauses)
22.52/9.33 c (8,8) 46409 (70 %) CSP clauses are encoded (35386 SAT variables, 371509 SAT clauses)
23.34/10.13 c (9,9) 53039 (80 %) CSP clauses are encoded (35386 SAT variables, 684555 SAT clauses)
23.95/10.48 c (9,9) 59669 (90 %) CSP clauses are encoded (35386 SAT variables, 742499 SAT clauses)
24.49/10.72 c (10,9) 66298 (100 %) CSP clauses are encoded (35386 SAT variables, 805672 SAT clauses)
24.49/10.72 c (10,9) Launch Command will be: minisat_release
24.49/10.72 c (10,9) CSPinCNF to SatSolver End
24.49/10.72 c (10,9) Heap : 1800 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
25.37/11.07 c (10,10) STATISTICS2:HOME/instance-4305681-1534129073.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,26384,66298,1024,89,13,11,1024:2;512:306;256:614;128:2;89:6972;72:1;64:24;32:56;27:65;18:6;16:196;15:18;13:693;12:1680;10:1;9:252;4:42;1:840,89:44674;13:36260;12:7812;10:2;9:296;8:2;5:80;3:1678;2:104692;1:2660,13:168;12:168;11:84;10:84;9:84;8:84;7:110;6:84;5:84;4:13020;3:12243;2:38493;1:1592,11:196;10:784;9:196;7:24;3:385;2:10185;1:164703,
25.37/11.07 c (10,10) 35386 bool, 805684 clause
25.37/11.07 c (10,10) Export Begin
25.66/11.18 c (10,10) Export to HOME/scop-14023-serial-file.bin
25.66/11.18 c (10,10) Export End
25.66/11.18 c (10,10) Export File Size: 0.06 MB
25.66/11.18 c (10,10) 0,0,6,7,7,7,10,STOP-AFTER(DIMACS)
25.66/11.18 c END-Prog: Mon Aug 13 04:58:05 CEST 2018
0.00/11.20 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-14023-serial-file.bin
25.93/11.70 c (0,0) Read Serial File Begin
25.93/11.70 c (0,0) HOME/scop-14023-serial-file.bin
25.93/11.90 c (0,0) Read Serial File End
25.93/11.91
25.93/11.91 scop order+minisat_release (2018-07-31)
25.93/11.91 (Solving Process)
25.93/11.91
25.93/11.93 c BEGIN-Prog: Mon Aug 13 04:58:06 CEST 2018
25.93/11.93 c PID: 14057
25.93/11.93 c IP: 172.20.3.132
25.93/11.93 c HOST: node132.alineos.net
25.93/11.94 c (0,0) SatSolver.solve Begin
25.93/11.94 c (0,0) 0 bool, 0 clause
25.93/11.94 c (0,0) minisat_release HOME/instance-4305681-1534129073.xml-scop-14027.cnf
1844.88/1828.55 c (1816,0) c This is COMiniSatPS.
1844.88/1828.55 c (1816,0) c WARNING: for repeatability, setting FPU to use double precision
1844.88/1828.55 c (1816,0) c ============================[ Problem Statistics ]=============================
1844.88/1828.55 c (1816,0) c | |
1844.88/1828.55 c (1816,0) c | Number of variables: 35386 |
1844.88/1828.55 c (1816,0) c | Number of clauses: 805684 |
1844.88/1828.55 c (1816,0) c | Parse time: 0.22 s |
1844.88/1828.55 c (1816,0) c | Eliminated clauses: 0.58 Mb |
1844.88/1828.55 c (1816,0) c Reduced to 18504 vars, 727581 cls (grow=0)
1844.88/1828.55 c (1816,0) c No iterative elimination performed. (vars=18504, c/v ratio=39.3)
1844.88/1828.55 c (1816,0) c | Simplification time: 1.57 s |
1844.88/1828.55 c (1816,0) c | |
1844.88/1828.55 c (1816,0) c ============================[ Search Statistics ]==============================
1844.88/1828.56 c (1816,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
1844.88/1828.56 c (1816,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1844.88/1828.56 c (1816,0) c ===============================================================================
1844.88/1828.56 c (1816,0) c ===============================================================================
1844.88/1828.56 c (1816,0) c restarts : 6199
1844.88/1828.56 c (1816,0) c conflicts : 3516427 (1937 /sec)
1844.88/1828.56 c (1816,0) c decisions : 8712194 (0.00 % random) (4800 /sec)
1844.88/1828.56 c (1816,0) c propagations : 3647625637 (2009490 /sec)
1844.88/1828.56 c (1816,0) c conflict literals : 370877709 (22.46 % deleted)
1844.88/1828.56 c (1816,0) c CPU time : 1815.2 s
1844.88/1828.56 c (1816,0)
1844.88/1828.56 c (1816,0) s SATISFIABLE
1845.06/1828.61 c (1817,0) SatSolver.solve End
1845.06/1828.61 c (1817,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1845.06/1828.61 c (1817,0) Show results Begin
1845.06/1828.68 s SATISFIABLE
1845.29/1828.71 v <instantiation>
1845.29/1828.71 v <list>h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[0][11] h[0][12] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[1][11] h[1][12] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[2][11] h[2][12] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[3][11] h[3][12] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[4][11] h[4][12] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] h[5][11] h[5][12] h[6][0] h[6][1] h[6][2] h[6][3] h[6][4] h[6][5] h[6][6] h[6][7] h[6][8] h[6][9] h[6][10] h[6][11] h[6][12] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[0][11] a[0][12] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[1][11] a[1][12] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[2][11] a[2][12] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[3][11] a[3][12] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[4][11] a[4][12] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] a[5][11] a[5][12] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[6][7] a[6][8] a[6][9] a[6][10] a[6][11] a[6][12] m[0][0] m[0][1] m[0][2] m[0][3] m[0][4] m[0][5] m[0][6] m[0][7] m[0][8] m[0][9] m[0][10] m[0][11] m[0][12] m[1][0] m[1][1] m[1][2] m[1][3] m[1][4] m[1][5] m[1][6] m[1][7] m[1][8] m[1][9] m[1][10] m[1][11] m[1][12] m[2][0] m[2][1] m[2][2] m[2][3] m[2][4] m[2][5] m[2][6] m[2][7] m[2][8] m[2][9] m[2][10] m[2][11] m[2][12] m[3][0] m[3][1] m[3][2] m[3][3] m[3][4] m[3][5] m[3][6] m[3][7] m[3][8] m[3][9] m[3][10] m[3][11] m[3][12] m[4][0] m[4][1] m[4][2] m[4][3] m[4][4] m[4][5] m[4][6] m[4][7] m[4][8] m[4][9] m[4][10] m[4][11] m[4][12] m[5][0] m[5][1] m[5][2] m[5][3] m[5][4] m[5][5] m[5][6] m[5][7] m[5][8] m[5][9] m[5][10] m[5][11] m[5][12] m[6][0] m[6][1] m[6][2] m[6][3] m[6][4] m[6][5] m[6][6] m[6][7] m[6][8] m[6][9] m[6][10] m[6][11] m[6][12] hd[0] hd[1] hd[2] hd[3] hd[4] hd[5] hd[6] ad[0] ad[1] ad[2] ad[3] ad[4] ad[5] ad[6]</list>
1845.29/1828.71 v <values>0 3 5 8 1 9 2 6 3 4 2 0 7 2 6 1 5 4 0 8 3 7 1 10 7 4 4 8 0 1 9 3 6 2 2 7 1 5 0 6 1 9 0 2 8 5 0 1 5 4 6 3 8 5 4 2 3 10 0 1 4 3 0 2 1 10 0 2 9 7 1 1 4 0 6 5 3 5 12 4 7 3 0 2 11 11 6 0 3 1 2 1 13 12 10 13 11 4 10 5 8 9 12 11 3 12 8 11 11 6 12 9 13 2 13 9 10 5 11 3 6 10 4 9 7 10 12 12 13 13 7 10 13 4 12 13 10 8 11 9 7 11 12 9 7 6 13 6 12 7 5 12 11 11 8 9 11 2 11 12 8 7 3 13 9 13 6 10 8 13 9 10 7 5 5 13 12 8 10 8 4 6 0 45 61 77 24 82 26 66 37 49 31 11 73 25 68 19 60 52 5 79 41 75 13 87 71 51 46 78 2 17 81 36 65 29 32 74 23 62 12 63 21 84 3 34 80 59 7 22 58 48 67 44 76 56 47 35 38 86 6 16 53 43 10 30 20 85 1 33 83 70 18 14 54 8 69 55 42 57 90 50 72 39 4 27 89 88 64 9 40 15 28 6 0 8 2 10 4 1 7 5 11 3 13 12 9</values>
1845.29/1828.71 v </instantiation>
1845.29/1828.71 c (1817,0) Show results End
1845.29/1828.71 c (1817,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
1845.29/1828.71 c (1817,0) 1817,1817,STOP-AFTER(ALL)
1845.29/1828.71 c END-Prog: Mon Aug 13 05:28:22 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 (6911 MiB free)
memory of node 1: 16384 MiB (10455 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305681-1534129073/watcher-4305681-1534129073 -o /tmp/evaluation-result-4305681-1534129073/solver-4305681-1534129073 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534129073-13989 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305681-1534129073.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=14023, runsolver pid=14018
[startup+0.100173 s]*
/proc/loadavg: 0.60 0.93 1.21 5/222 14054
/proc/meminfo: memFree=17663176/32770624 swapFree=67108860/67108860
[pid=14023] ppid=14018 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14023/stat : 14023 (scop.sh) S 14018 14023 6975 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230470525 115843072 349 33554432000 4194304 5098028 140723103164000 140723103161256 140627415560828 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11137024 140723103171649 140723103171847 140723103171847 140723103174605 0
/proc/14023/statm: 28282 349 296 221 0 87 0
[pid=14027] ppid=14023 vsize=15012476 memory=71944 CPUtime=0.11 cores=0,2,4,6
/proc/14027/stat : 14027 (java) S 14023 14023 6975 0 -1 1077944320 6617 0 0 0 9 2 0 0 20 0 15 0 230470526 15372775424 17986 33554432000 4194304 4196468 140724466372208 140724466354752 140068539576055 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
/proc/14027/statm: 3753119 17986 2741 1 0 3715579 0
[pid=14027/tid=14028] ppid=14023 vsize=15012476 memory=-6601833317647732518 CPUtime=0.09 cores=0,2,4,6
/proc/14027/task/14028/stat : 14028 (java) R 14023 14023 6975 0 -1 4202560 4878 0 0 0 8 1 0 0 20 0 15 0 230470526 15372775424 18118 33554432000 4194304 4196468 140724466372208 140068511352976 140068519851883 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14033] ppid=14023 vsize=15012476 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14033/stat : 14033 (java) S 14023 14023 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230470528 15372775424 18118 33554432000 4194304 4196468 140724466372208 140068543818512 140068539586261 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14034] ppid=14023 vsize=15012476 memory=139698550920832 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14034/stat : 14034 (java) S 14023 14023 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230470528 15372775424 18118 33554432000 4194304 4196468 140724466372208 140068357974928 140068539586261 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14035] ppid=14023 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14035/stat : 14035 (java) S 14023 14023 6975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230470528 15372775424 18118 33554432000 4194304 4196468 140724466372208 140068356922384 140068539586261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14036] ppid=14023 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14036/stat : 14036 (java) S 14023 14023 6975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230470528 15372775424 18118 33554432000 4194304 4196468 140724466372208 140068355869840 140068539586261 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14038] ppid=14023 vsize=15012476 memory=139698550920832 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14038/stat : 14038 (java) S 14023 14023 6975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230470529 15372775424 18118 33554432000 4194304 4196468 140724466372208 140067946256368 140068539587202 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14041] ppid=14023 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14041/stat : 14041 (java) S 14023 14023 6975 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230470530 15372775424 18118 33554432000 4194304 4196468 140724466372208 140067070796704 140068539586261 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14042] ppid=14023 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14042/stat : 14042 (java) S 14023 14023 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230470530 15372775424 18118 33554432000 4194304 4196468 140724466372208 140066802361328 140068539586261 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14048] ppid=14023 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14048/stat : 14048 (java) S 14023 14023 6975 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230470532 15372775424 18118 33554432000 4194304 4196468 140724466372208 140066427853008 140068539594651 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14049] ppid=14023 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14049/stat : 14049 (java) S 14023 14023 6975 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 230470532 15372775424 18184 33554432000 4194304 4196468 140724466372208 140067945204208 140068539587202 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14050] ppid=14023 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14050/stat : 14050 (java) S 14023 14023 6975 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230470532 15372775424 18184 33554432000 4194304 4196468 140724466372208 140067876104816 140068539587202 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14051] ppid=14023 vsize=15012476 memory=139698550920832 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14051/stat : 14051 (java) S 14023 14023 6975 0 -1 1077944384 238 0 0 0 0 0 0 0 20 0 15 0 230470532 15372775424 18184 33554432000 4194304 4196468 140724466372208 140067875052272 140068539587202 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14053] ppid=14023 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14053/stat : 14053 (java) S 14023 14023 6975 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230470532 15372775424 18184 33554432000 4194304 4196468 140724466372208 140065929948256 140068539586261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14054] ppid=14023 vsize=15012476 memory=139698550920832 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14054/stat : 14054 (java) S 14023 14023 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230470533 15372775424 18184 33554432000 4194304 4196468 140724466372208 140067873999152 140068539587202 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73340 KiB
[startup+0.21063 s]*
/proc/loadavg: 0.60 0.93 1.21 6/222 14054
/proc/meminfo: memFree=17632584/32770624 swapFree=67108860/67108860
[pid=14023] ppid=14018 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14023/stat : 14023 (scop.sh) S 14018 14023 6975 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230470525 115843072 349 33554432000 4194304 5098028 140723103164000 140723103161256 140627415560828 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11137024 140723103171649 140723103171847 140723103171847 140723103174605 0
/proc/14023/statm: 28282 349 296 221 0 87 0
[pid=14027] ppid=14023 vsize=15012476 memory=88132 CPUtime=0.25 cores=0,2,4,6
/proc/14027/stat : 14027 (java) S 14023 14023 6975 0 -1 1077944320 10868 0 0 0 22 3 0 0 20 0 15 0 230470526 15372775424 22033 33554432000 4194304 4196468 140724466372208 140724466354752 140068539576055 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
/proc/14027/statm: 3753119 22033 2871 1 0 3715579 0
[pid=14027/tid=14028] ppid=14023 vsize=15012476 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/14027/task/14028/stat : 14028 (java) R 14023 14023 6975 0 -1 4202560 8798 0 0 0 17 2 0 0 20 0 15 0 230470526 15372775424 22033 33554432000 4194304 4196468 140724466372208 140068511395088 140068523656542 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14033] ppid=14023 vsize=15012476 memory=15369 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14033/stat : 14033 (java) S 14023 14023 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230470528 15372775424 22033 33554432000 4194304 4196468 140724466372208 140068543818512 140068539586261 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14034] ppid=14023 vsize=15012476 memory=288370074702632576 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14034/stat : 14034 (java) S 14023 14023 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230470528 15372775424 22033 33554432000 4194304 4196468 140724466372208 140068357974928 140068539586261 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14035] ppid=14023 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14035/stat : 14035 (java) S 14023 14023 6975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230470528 15372775424 22033 33554432000 4194304 4196468 140724466372208 140068356922384 140068539586261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14036] ppid=14023 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14036/stat : 14036 (java) S 14023 14023 6975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230470528 15372775424 22033 33554432000 4194304 4196468 140724466372208 140068355869840 140068539586261 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14038] ppid=14023 vsize=15012476 memory=139698550920832 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14038/stat : 14038 (java) S 14023 14023 6975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230470529 15372775424 22033 33554432000 4194304 4196468 140724466372208 140067946256368 140068539587202 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14041] ppid=14023 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14041/stat : 14041 (java) S 14023 14023 6975 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230470530 15372775424 22033 33554432000 4194304 4196468 140724466372208 140067070796704 140068539586261 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14042] ppid=14023 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14042/stat : 14042 (java) S 14023 14023 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230470530 15372775424 22033 33554432000 4194304 4196468 140724466372208 140066802361328 140068539586261 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14048] ppid=14023 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14048/stat : 14048 (java) S 14023 14023 6975 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230470532 15372775424 22033 33554432000 4194304 4196468 140724466372208 140066427853008 140068539594651 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14049] ppid=14023 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14049/stat : 14049 (java) S 14023 14023 6975 0 -1 1077944384 456 0 0 0 0 0 0 0 20 0 15 0 230470532 15372775424 22033 33554432000 4194304 4196468 140724466372208 140067945204208 140068539587202 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14050] ppid=14023 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14050/stat : 14050 (java) S 14023 14023 6975 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 230470532 15372775424 22033 33554432000 4194304 4196468 140724466372208 140067876104816 140068539587202 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14051] ppid=14023 vsize=15012476 memory=139698550920832 CPUtime=0.03 cores=0,2,4,6
/proc/14027/task/14051/stat : 14051 (java) S 14023 14023 6975 0 -1 1077944384 269 0 0 0 3 0 0 0 20 0 15 0 230470532 15372775424 22033 33554432000 4194304 4196468 140724466372208 140067875052272 140068539587202 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14053] ppid=14023 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14053/stat : 14053 (java) S 14023 14023 6975 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230470532 15372775424 22033 33554432000 4194304 4196468 140724466372208 140065929948256 140068539586261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14054] ppid=14023 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14054/stat : 14054 (java) S 14023 14023 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230470533 15372775424 22033 33554432000 4194304 4196468 140724466372208 140067873999152 140068539587202 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89528 KiB
[startup+0.310632 s]*
/proc/loadavg: 0.60 0.93 1.21 4/222 14054
/proc/meminfo: memFree=17625140/32770624 swapFree=67108860/67108860
[pid=14023] ppid=14018 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14023/stat : 14023 (scop.sh) S 14018 14023 6975 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230470525 115843072 349 33554432000 4194304 5098028 140723103164000 140723103161256 140627415560828 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11137024 140723103171649 140723103171847 140723103171847 140723103174605 0
/proc/14023/statm: 28282 349 296 221 0 87 0
[pid=14027] ppid=14023 vsize=15012476 memory=91612 CPUtime=0.42 cores=0,2,4,6
/proc/14027/stat : 14027 (java) S 14023 14023 6975 0 -1 1077944320 11403 0 0 0 39 3 0 0 20 0 15 0 230470526 15372775424 22903 33554432000 4194304 4196468 140724466372208 140724466354752 140068539576055 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
/proc/14027/statm: 3753119 22903 2976 1 0 3715579 0
[pid=14027/tid=14028] ppid=14023 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/14027/task/14028/stat : 14028 (java) R 14023 14023 6975 0 -1 4202560 9158 0 0 0 27 3 0 0 20 0 15 0 230470526 15372775424 22903 33554432000 4194304 4196468 140724466372208 140068511371056 140068523656542 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14033] ppid=14023 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14033/stat : 14033 (java) S 14023 14023 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230470528 15372775424 22903 33554432000 4194304 4196468 140724466372208 140068543818512 140068539586261 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14034] ppid=14023 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14034/stat : 14034 (java) S 14023 14023 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230470528 15372775424 22903 33554432000 4194304 4196468 140724466372208 140068357974928 140068539586261 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14035] ppid=14023 vsize=15012476 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14035/stat : 14035 (java) S 14023 14023 6975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230470528 15372775424 22903 33554432000 4194304 4196468 140724466372208 140068356922384 140068539586261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14036] ppid=14023 vsize=15012476 memory=7379517710693473142 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14036/stat : 14036 (java) S 14023 14023 6975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230470528 15372775424 22903 33554432000 4194304 4196468 140724466372208 140068355869840 140068539586261 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14038] ppid=14023 vsize=15012476 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14038/stat : 14038 (java) S 14023 14023 6975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230470529 15372775424 22903 33554432000 4194304 4196468 140724466372208 140067946256368 140068539587202 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14041] ppid=14023 vsize=15012476 memory=-9001728533042062950 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14041/stat : 14041 (java) S 14023 14023 6975 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230470530 15372775424 22903 33554432000 4194304 4196468 140724466372208 140067070796704 140068539586261 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14042] ppid=14023 vsize=15012476 memory=-6519613052471072158 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14042/stat : 14042 (java) S 14023 14023 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230470530 15372775424 22903 33554432000 4194304 4196468 140724466372208 140066802361328 140068539586261 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14048] ppid=14023 vsize=15012476 memory=-8187100386482147110 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14048/stat : 14048 (java) S 14023 14023 6975 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230470532 15372775424 22903 33554432000 4194304 4196468 140724466372208 140066427853008 140068539594651 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14049] ppid=14023 vsize=15012476 memory=4426078206164241782 CPUtime=0.03 cores=0,2,4,6
/proc/14027/task/14049/stat : 14049 (java) R 14023 14023 6975 0 -1 1077944384 566 0 0 0 3 0 0 0 20 0 15 0 230470532 15372775424 22903 33554432000 4194304 4196468 140724466372208 140067945204208 140068539587202 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14050] ppid=14023 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/14027/task/14050/stat : 14050 (java) S 14023 14023 6975 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 15 0 230470532 15372775424 22903 33554432000 4194304 4196468 140724466372208 140067876104816 140068539587202 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14051] ppid=14023 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14027/task/14051/stat : 14051 (java) R 14023 14023 6975 0 -1 1077944384 313 0 0 0 7 0 0 0 20 0 15 0 230470532 15372775424 22903 33554432000 4194304 4196468 140724466372208 140067875052272 140068539587202 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14053] ppid=14023 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14053/stat : 14053 (java) S 14023 14023 6975 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230470532 15372775424 22903 33554432000 4194304 4196468 140724466372208 140065929948256 140068539586261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14054] ppid=14023 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14054/stat : 14054 (java) S 14023 14023 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230470533 15372775424 22903 33554432000 4194304 4196468 140724466372208 140067873999152 140068539587202 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 93008 KiB
[startup+0.706339 s]
/proc/loadavg: 0.60 0.93 1.21 4/222 14054
/proc/meminfo: memFree=17578196/32770624 swapFree=67108860/67108860
[pid=14023] ppid=14018 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14023/stat : 14023 (scop.sh) S 14018 14023 6975 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230470525 115843072 349 33554432000 4194304 5098028 140723103164000 140723103161256 140627415560828 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11137024 140723103171649 140723103171847 140723103171847 140723103174605 0
/proc/14023/statm: 28282 349 296 221 0 87 0
[pid=14027] ppid=14023 vsize=15020872 memory=130080 CPUtime=1.02 cores=0,2,4,6
/proc/14027/stat : 14027 (java) S 14023 14023 6975 0 -1 1077944320 18201 0 0 0 96 6 0 0 20 0 15 0 230470526 15381372928 32520 33554432000 4194304 4196468 140724466372208 140724466354752 140068539576055 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
/proc/14027/statm: 3755218 32520 3157 1 0 3716603 0
[pid=14027/tid=14028] ppid=14023 vsize=15020872 memory=1832 CPUtime=0.66 cores=0,2,4,6
/proc/14027/task/14028/stat : 14028 (java) R 14023 14023 6975 0 -1 4202560 15363 0 0 0 62 4 0 0 20 0 15 0 230470526 15381372928 32520 33554432000 4194304 4196468 140724466372208 140068511402624 140068539597981 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14033] ppid=14023 vsize=15020872 memory=1920 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14033/stat : 14033 (java) S 14023 14023 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230470528 15381372928 32520 33554432000 4194304 4196468 140724466372208 140068543818512 140068539586261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14034] ppid=14023 vsize=15020872 memory=1192 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14034/stat : 14034 (java) S 14023 14023 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230470528 15381372928 32520 33554432000 4194304 4196468 140724466372208 140068357974928 140068539586261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14035] ppid=14023 vsize=15020872 memory=1616 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14035/stat : 14035 (java) S 14023 14023 6975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230470528 15381372928 32520 33554432000 4194304 4196468 140724466372208 140068356922384 140068539586261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14036] ppid=14023 vsize=15020872 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14036/stat : 14036 (java) S 14023 14023 6975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230470528 15381372928 32520 33554432000 4194304 4196468 140724466372208 140068355869840 140068539586261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14038] ppid=14023 vsize=15020872 memory=752 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14038/stat : 14038 (java) S 14023 14023 6975 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 230470529 15381372928 32520 33554432000 4194304 4196468 140724466372208 140067946256368 140068539587202 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14041] ppid=14023 vsize=15020872 memory=7304 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14041/stat : 14041 (java) S 14023 14023 6975 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230470530 15381372928 32520 33554432000 4194304 4196468 140724466372208 140067070796704 140068539586261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14042] ppid=14023 vsize=15020872 memory=5400 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14042/stat : 14042 (java) S 14023 14023 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230470530 15381372928 32520 33554432000 4194304 4196468 140724466372208 140066802361328 140068539586261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14048] ppid=14023 vsize=15020872 memory=1108 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14048/stat : 14048 (java) S 14023 14023 6975 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230470532 15381372928 32520 33554432000 4194304 4196468 140724466372208 140066427853008 140068539594651 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14049] ppid=14023 vsize=15020872 memory=10784 CPUtime=0.09 cores=0,2,4,6
/proc/14027/task/14049/stat : 14049 (java) S 14023 14023 6975 0 -1 1077944384 779 0 0 0 9 0 0 0 20 0 15 0 230470532 15381372928 32520 33554432000 4194304 4196468 140724466372208 140067945204208 140068539587202 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14050] ppid=14023 vsize=15020872 memory=872 CPUtime=0.07 cores=0,2,4,6
/proc/14027/task/14050/stat : 14050 (java) R 14023 14023 6975 0 -1 4202560 265 0 0 0 7 0 0 0 20 0 15 0 230470532 15381372928 32520 33554432000 4194304 4196468 140724466372208 140067876090880 140068521097249 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14051] ppid=14023 vsize=15020872 memory=4280 CPUtime=0.16 cores=0,2,4,6
/proc/14027/task/14051/stat : 14051 (java) R 14023 14023 6975 0 -1 4202560 462 0 0 0 16 0 0 0 20 0 15 0 230470532 15381372928 32520 33554432000 4194304 4196468 140724466372208 140067875050064 140068523656542 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14053] ppid=14023 vsize=15020872 memory=14888 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14053/stat : 14053 (java) S 14023 14023 6975 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230470532 15381372928 32520 33554432000 4194304 4196468 140724466372208 140065929948256 140068539586261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
[pid=14027/tid=14054] ppid=14023 vsize=15020872 memory=34616 CPUtime=0 cores=0,2,4,6
/proc/14027/task/14054/stat : 14054 (java) S 14023 14023 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230470533 15381372928 32520 33554432000 4194304 4196468 140724466372208 140067873999152 140068539587202 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28872704 140724466377735 140724466378033 140724466378033 140724466380751 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131476 KiB
[startup+1.50187 s]
/proc/loadavg: 0.72 0.95 1.22 8/222 14054
/proc/meminfo: memFree=17520936/32770624 swapFree=67108860/67108860
[pid=14023] ppid=14018 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14023/stat : 14023 (scop.sh) S 14018 14023 6975 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230470525 115843072 349 33554432000 4194304 5098028 140723103164000 140723103161256 140627415560828 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11137024 140723103171649 140723103171847 140723103171847 140723103174605 0
/proc/14023/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=14057/tid=14070] ppid=14023 vsize=8068220 memory=3556 CPUtime=0 cores=0,2,4,6
/proc/14057/task/14070/stat : 14070 (java) S 14023 14023 6975 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230471653 8261857280 29638 33554432000 4194304 4196468 140724869727088 139695891671904 139698086508245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14071] ppid=14023 vsize=8068220 memory=1408 CPUtime=1.21 cores=0,2,4,6
/proc/14057/task/14071/stat : 14071 (java) S 14023 14023 6975 0 -1 1077944384 123 0 0 0 59 62 0 0 20 0 19 0 230471653 8261857280 29638 33554432000 4194304 4196468 140724869727088 139697528670768 139698086509186 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14073] ppid=14023 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/14057/task/14073/stat : 14073 (java) S 14023 14023 6975 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230471722 8261857280 29638 33554432000 4194304 4196468 140724869727088 139697520862528 139698086522649 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14075] ppid=14023 vsize=8068220 memory=3444 CPUtime=0 cores=0,2,4,6
/proc/14057/task/14075/stat : 14075 (java) S 14023 14023 6975 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 230471722 8261857280 29638 33554432000 4194304 4196468 140724869727088 139695354785200 139698086519965 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14076] ppid=14023 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/14057/task/14076/stat : 14076 (java) S 14023 14023 6975 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230471723 8261857280 29638 33554432000 4194304 4196468 140724869727088 139695489007664 139698086519965 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14077] ppid=14023 vsize=8068220 memory=118552 CPUtime=0 cores=0,2,4,6
/proc/14057/task/14077/stat : 14077 (java) S 14023 14023 6975 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 230471725 8261857280 29638 33554432000 4194304 4196468 140724869727088 139695086362400 139698086508245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
Current children cumulated CPU time: 1844.39 s
Current children cumulated vsize: 8371568 KiB
Current children cumulated memory: 282672 KiB
[startup+1828.4 s]
/proc/loadavg: 2.06 2.03 1.90 4/230 14181
/proc/meminfo: memFree=15234688/32770624 swapFree=67108860/67108860
[pid=14023] ppid=14018 vsize=113128 memory=1472 CPUtime=25.93 cores=0,2,4,6
/proc/14023/stat : 14023 (scop.sh) S 14018 14023 6975 0 -1 4202496 591 41536 0 0 0 0 2523 70 20 0 1 0 230470525 115843072 368 33554432000 4194304 5098028 140723103164000 140723103160744 140627415560828 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11137024 140723103171649 140723103171847 140723103171847 140723103174605 0
/proc/14023/statm: 28282 368 311 221 0 87 0
[pid=14057] ppid=14023 vsize=8068220 memory=118552 CPUtime=2.59 cores=0,2,4,6
/proc/14057/stat : 14057 (java) S 14023 14023 6975 0 -1 1077944320 18505 0 0 0 196 63 0 0 20 0 19 0 230471646 8261857280 29638 33554432000 4194304 4196468 140724869727088 140724869709632 139698086498039 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
/proc/14057/statm: 2017055 29638 3162 1 0 1978454 0
[pid=14072] ppid=14057 vsize=190220 memory=164696 CPUtime=1816.26 cores=0,2,4,6
/proc/14072/stat : 14072 (minisat_release) R 14057 14023 6975 0 -1 4202496 558299 0 0 0 181504 122 0 0 20 0 1 0 230471722 194785280 41174 33554432000 4194304 4308513 140726890744384 140726890741832 4276577 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 28262400 140726890746996 140726890747094 140726890747094 140726890749893 0
/proc/14072/statm: 47555 41174 341 28 0 43795 0
[pid=14057/tid=14058] ppid=14023 vsize=8068220 memory=34644 CPUtime=0.77 cores=0,2,4,6
/proc/14057/task/14058/stat : 14058 (java) S 14023 14023 6975 0 -1 1077944384 15015 0 0 0 73 4 0 0 20 0 19 0 230471647 8261857280 29638 33554432000 4194304 4196468 140724869727088 139698058338192 139698086508245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14059] ppid=14023 vsize=8068220 memory=15932 CPUtime=0 cores=0,2,4,6
/proc/14057/task/14059/stat : 14059 (java) S 14023 14023 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230471648 8261857280 29638 33554432000 4194304 4196468 140724869727088 139698090740752 139698086508245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14060] ppid=14023 vsize=8068220 memory=3332 CPUtime=0 cores=0,2,4,6
/proc/14057/task/14060/stat : 14060 (java) S 14023 14023 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230471648 8261857280 29638 33554432000 4194304 4196468 140724869727088 139697908829328 139698086508245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14061] ppid=14023 vsize=8068220 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/14057/task/14061/stat : 14061 (java) S 14023 14023 6975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230471648 8261857280 29638 33554432000 4194304 4196468 140724869727088 139697907776272 139698086508245 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14062] ppid=14023 vsize=8068220 memory=118552 CPUtime=0 cores=0,2,4,6
/proc/14057/task/14062/stat : 14062 (java) S 14023 14023 6975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230471648 8261857280 29638 33554432000 4194304 4196468 140724869727088 139697906723728 139698086508245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14063] ppid=14023 vsize=8068220 memory=162648 CPUtime=0.04 cores=0,2,4,6
/proc/14057/task/14063/stat : 14063 (java) S 14023 14023 6975 0 -1 1077944384 7 0 0 0 2 2 0 0 20 0 19 0 230471650 8261857280 29638 33554432000 4194304 4196468 140724869727088 139697532881136 139698086509186 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14064] ppid=14023 vsize=8068220 memory=752 CPUtime=0 cores=0,2,4,6
/proc/14057/task/14064/stat : 14064 (java) S 14023 14023 6975 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230471650 8261857280 29638 33554432000 4194304 4196468 140724869727088 139696898303136 139698086508245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14065] ppid=14023 vsize=8068220 memory=7304 CPUtime=0 cores=0,2,4,6
/proc/14057/task/14065/stat : 14065 (java) S 14023 14023 6975 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 230471650 8261857280 29638 33554432000 4194304 4196468 140724869727088 139696764080880 139698086508245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14066] ppid=14023 vsize=8068220 memory=5400 CPUtime=0 cores=0,2,4,6
/proc/14057/task/14066/stat : 14066 (java) S 14023 14023 6975 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230471653 8261857280 29638 33554432000 4194304 4196468 140724869727088 139696389576656 139698086516635 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14067] ppid=14023 vsize=8068220 memory=1108 CPUtime=0.12 cores=0,2,4,6
/proc/14057/task/14067/stat : 14067 (java) S 14023 14023 6975 0 -1 1077944384 656 0 0 0 11 1 0 0 20 0 19 0 230471653 8261857280 29638 33554432000 4194304 4196468 140724869727088 139697531828976 139698086509186 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14068] ppid=14023 vsize=8068220 memory=-7824251494390585451 CPUtime=0.17 cores=0,2,4,6
/proc/14057/task/14068/stat : 14068 (java) S 14023 14023 6975 0 -1 1077944384 669 0 0 0 17 0 0 0 20 0 19 0 230471653 8261857280 29638 33554432000 4194304 4196468 140724869727088 139697530776432 139698086509186 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14069] ppid=14023 vsize=8068220 memory=7288 CPUtime=0.22 cores=0,2,4,6
/proc/14057/task/14069/stat : 14069 (java) S 14023 14023 6975 0 -1 1077944384 633 0 0 0 22 0 0 0 20 0 19 0 230471653 8261857280 29638 33554432000 4194304 4196468 140724869727088 139697529723376 139698086509186 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14070] ppid=14023 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/14057/task/14070/stat : 14070 (java) S 14023 14023 6975 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230471653 8261857280 29638 33554432000 4194304 4196468 140724869727088 139695891671904 139698086508245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14071] ppid=14023 vsize=8068220 memory=118552 CPUtime=1.21 cores=0,2,4,6
/proc/14057/task/14071/stat : 14071 (java) S 14023 14023 6975 0 -1 1077944384 123 0 0 0 59 62 0 0 20 0 19 0 230471653 8261857280 29638 33554432000 4194304 4196468 140724869727088 139697528670768 139698086509186 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14073] ppid=14023 vsize=8068220 memory=168624 CPUtime=0 cores=0,2,4,6
/proc/14057/task/14073/stat : 14073 (java) S 14023 14023 6975 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230471722 8261857280 29638 33554432000 4194304 4196468 140724869727088 139697520862528 139698086522649 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14075] ppid=14023 vsize=8068220 memory=3844 CPUtime=0 cores=0,2,4,6
/proc/14057/task/14075/stat : 14075 (java) S 14023 14023 6975 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 230471722 8261857280 29638 33554432000 4194304 4196468 140724869727088 139695354785200 139698086519965 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14076] ppid=14023 vsize=8068220 memory=2292 CPUtime=0 cores=0,2,4,6
/proc/14057/task/14076/stat : 14076 (java) S 14023 14023 6975 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230471723 8261857280 29638 33554432000 4194304 4196468 140724869727088 139695489007664 139698086519965 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14077] ppid=14023 vsize=8068220 memory=118552 CPUtime=0 cores=0,2,4,6
/proc/14057/task/14077/stat : 14077 (java) S 14023 14023 6975 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 230471725 8261857280 29638 33554432000 4194304 4196468 140724869727088 139695086362400 139698086508245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
Current children cumulated CPU time: 1844.78 s
Current children cumulated vsize: 8371568 KiB
Current children cumulated memory: 284720 KiB
[startup+1828.6 s]
/proc/loadavg: 2.06 2.03 1.90 4/230 14181
/proc/meminfo: memFree=15234688/32770624 swapFree=67108860/67108860
[pid=14023] ppid=14018 vsize=113128 memory=1472 CPUtime=25.93 cores=0,2,4,6
/proc/14023/stat : 14023 (scop.sh) S 14018 14023 6975 0 -1 4202496 591 41536 0 0 0 0 2523 70 20 0 1 0 230470525 115843072 368 33554432000 4194304 5098028 140723103164000 140723103160744 140627415560828 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11137024 140723103171649 140723103171847 140723103171847 140723103174605 0
/proc/14023/statm: 28282 368 311 221 0 87 0
[pid=14057] ppid=14023 vsize=8068220 memory=129916 CPUtime=1819.13 cores=0,2,4,6
/proc/14057/stat : 14057 (java) S 14023 14023 6975 0 -1 1077944320 19353 558467 0 0 207 63 181520 123 20 0 18 0 230471646 8261857280 32479 33554432000 4194304 4196468 140724869727088 140724869709632 139698086498039 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
/proc/14057/statm: 2017055 32479 3169 1 0 1978454 0
[pid=14057/tid=14058] ppid=14023 vsize=8068220 memory=118552 CPUtime=1817.2 cores=0,2,4,6
/proc/14057/task/14058/stat : 14058 (java) S 14023 14023 6975 0 -1 1077944384 15015 558467 0 0 73 4 181520 123 20 0 18 0 230471647 8261857280 32479 33554432000 4194304 4196468 140724869727088 139698058338192 139698086508245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14059] ppid=14023 vsize=8068220 memory=0 CPUtime=1816.43 cores=0,2,4,6
/proc/14057/task/14059/stat : 14059 (java) S 14023 14023 6975 0 -1 1077944384 1 558467 0 0 0 0 181520 123 20 0 18 0 230471648 8261857280 32479 33554432000 4194304 4196468 140724869727088 139698090740752 139698086508245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14060] ppid=14023 vsize=8068220 memory=199926432689590 CPUtime=1816.43 cores=0,2,4,6
/proc/14057/task/14060/stat : 14060 (java) S 14023 14023 6975 0 -1 1077944384 1 558467 0 0 0 0 181520 123 20 0 18 0 230471648 8261857280 32479 33554432000 4194304 4196468 140724869727088 139697908829328 139698086508245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14061] ppid=14023 vsize=8068220 memory=199926432689591 CPUtime=1816.43 cores=0,2,4,6
/proc/14057/task/14061/stat : 14061 (java) S 14023 14023 6975 0 -1 1077944384 1 558467 0 0 0 0 181520 123 20 0 18 0 230471648 8261857280 32479 33554432000 4194304 4196468 140724869727088 139697907776272 139698086508245 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14062] ppid=14023 vsize=8068220 memory=0 CPUtime=1816.43 cores=0,2,4,6
/proc/14057/task/14062/stat : 14062 (java) S 14023 14023 6975 0 -1 1077944384 2 558467 0 0 0 0 181520 123 20 0 18 0 230471648 8261857280 32479 33554432000 4194304 4196468 140724869727088 139697906723728 139698086508245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14063] ppid=14023 vsize=8068220 memory=199926432689592 CPUtime=1816.47 cores=0,2,4,6
/proc/14057/task/14063/stat : 14063 (java) S 14023 14023 6975 0 -1 1077944384 7 558467 0 0 2 2 181520 123 20 0 18 0 230471650 8261857280 32479 33554432000 4194304 4196468 140724869727088 139697532881136 139698086509186 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14064] ppid=14023 vsize=8068220 memory=4629771062077588875 CPUtime=1816.43 cores=0,2,4,6
/proc/14057/task/14064/stat : 14064 (java) S 14023 14023 6975 0 -1 1077944384 13 558467 0 0 0 0 181520 123 20 0 18 0 230471650 8261857280 32479 33554432000 4194304 4196468 140724869727088 139696898303136 139698086508245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14065] ppid=14023 vsize=8068220 memory=-8961168018402230209 CPUtime=1816.43 cores=0,2,4,6
/proc/14057/task/14065/stat : 14065 (java) S 14023 14023 6975 0 -1 1077944384 21 558467 0 0 0 0 181520 123 20 0 18 0 230471650 8261857280 32479 33554432000 4194304 4196468 140724869727088 139696764080880 139698086508245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14066] ppid=14023 vsize=8068220 memory=199926432689595 CPUtime=1816.43 cores=0,2,4,6
/proc/14057/task/14066/stat : 14066 (java) S 14023 14023 6975 0 -1 1077944384 3 558467 0 0 0 0 181520 123 20 0 18 0 230471653 8261857280 32479 33554432000 4194304 4196468 140724869727088 139696389576656 139698086516635 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14067] ppid=14023 vsize=8068220 memory=199926432689596 CPUtime=1816.58 cores=0,2,4,6
/proc/14057/task/14067/stat : 14067 (java) S 14023 14023 6975 0 -1 1077944384 1016 558467 0 0 14 1 181520 123 20 0 18 0 230471653 8261857280 32479 33554432000 4194304 4196468 140724869727088 139697531828976 139698086509186 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14068] ppid=14023 vsize=8068220 memory=199904957839047 CPUtime=1816.61 cores=0,2,4,6
/proc/14057/task/14068/stat : 14068 (java) S 14023 14023 6975 0 -1 1077944384 679 558467 0 0 18 0 181520 123 20 0 18 0 230471653 8261857280 32479 33554432000 4194304 4196468 140724869727088 139697530776432 139698086509186 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14069] ppid=14023 vsize=8068220 memory=4132 CPUtime=1816.68 cores=0,2,4,6
/proc/14057/task/14069/stat : 14069 (java) R 14023 14023 6975 0 -1 4202560 1064 558467 0 0 24 1 181520 123 20 0 18 0 230471653 8261857280 32479 33554432000 4194304 4196468 140724869727088 139697529723376 139698071627702 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14070] ppid=14023 vsize=8068220 memory=62708 CPUtime=1816.43 cores=0,2,4,6
/proc/14057/task/14070/stat : 14070 (java) S 14023 14023 6975 0 -1 1077944384 3 558467 0 0 0 0 181520 123 20 0 18 0 230471653 8261857280 32479 33554432000 4194304 4196468 140724869727088 139695891671904 139698086508245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14071] ppid=14023 vsize=8068220 memory=1236 CPUtime=1817.64 cores=0,2,4,6
/proc/14057/task/14071/stat : 14071 (java) S 14023 14023 6975 0 -1 1077944384 123 558467 0 0 59 62 181520 123 20 0 18 0 230471653 8261857280 32479 33554432000 4194304 4196468 140724869727088 139697528670768 139698086509186 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14073] ppid=14023 vsize=8068220 memory=2444 CPUtime=1816.43 cores=0,2,4,6
/proc/14057/task/14073/stat : 14073 (java) S 14023 14023 6975 0 -1 1077944384 23 558467 0 0 0 0 181520 123 20 0 18 0 230471722 8261857280 32479 33554432000 4194304 4196468 140724869727088 139697520861712 139698086509186 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14075] ppid=14023 vsize=8068220 memory=1832 CPUtime=1816.47 cores=0,2,4,6
/proc/14057/task/14075/stat : 14075 (java) R 14023 14023 6975 0 -1 4202560 48 558467 0 0 4 0 181520 123 20 0 18 0 230471722 8261857280 32479 33554432000 4194304 4196468 140724869727088 139695354791680 139698086509974 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14077] ppid=14023 vsize=8068220 memory=1192 CPUtime=1816.43 cores=0,2,4,6
/proc/14057/task/14077/stat : 14077 (java) S 14023 14023 6975 0 -1 1077944384 4 558467 0 0 0 0 181520 123 20 0 18 0 230471725 8261857280 32479 33554432000 4194304 4196468 140724869727088 139695086362160 139698086508245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
Current children cumulated CPU time: 1845.06 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 131388 KiB
[startup+1828.7 s]
/proc/loadavg: 2.06 2.03 1.90 4/230 14181
/proc/meminfo: memFree=15234688/32770624 swapFree=67108860/67108860
[pid=14023] ppid=14018 vsize=113128 memory=1472 CPUtime=25.93 cores=0,2,4,6
/proc/14023/stat : 14023 (scop.sh) S 14018 14023 6975 0 -1 4202496 591 41536 0 0 0 0 2523 70 20 0 1 0 230470525 115843072 368 33554432000 4194304 5098028 140723103164000 140723103160744 140627415560828 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11137024 140723103171649 140723103171847 140723103171847 140723103174605 0
/proc/14023/statm: 28282 368 311 221 0 87 0
[pid=14057] ppid=14023 vsize=7937144 memory=131896 CPUtime=1819.36 cores=0,2,4,6
/proc/14057/stat : 14057 (java) S 14023 14023 6975 0 -1 1077944320 19752 558467 0 0 230 63 181520 123 20 0 17 0 230471646 8127635456 32974 33554432000 4194304 4196468 140724869727088 140724869709632 139698086498039 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
/proc/14057/statm: 1984286 32974 3177 1 0 1945685 0
[pid=14057/tid=14058] ppid=14023 vsize=7937144 memory=118552 CPUtime=1817.28 cores=0,2,4,6
/proc/14057/task/14058/stat : 14058 (java) R 14023 14023 6975 0 -1 4202560 15239 558467 0 0 81 4 181520 123 20 0 17 0 230471647 8127635456 32974 33554432000 4194304 4196468 140724869727088 139698058336032 139698086509974 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14059] ppid=14023 vsize=7937144 memory=1472 CPUtime=1816.43 cores=0,2,4,6
/proc/14057/task/14059/stat : 14059 (java) S 14023 14023 6975 0 -1 1077944384 1 558467 0 0 0 0 181520 123 20 0 17 0 230471648 8127635456 32974 33554432000 4194304 4196468 140724869727088 139698090740752 139698086508245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14060] ppid=14023 vsize=7937144 memory=118552 CPUtime=1816.43 cores=0,2,4,6
/proc/14057/task/14060/stat : 14060 (java) S 14023 14023 6975 0 -1 1077944384 1 558467 0 0 0 0 181520 123 20 0 17 0 230471648 8127635456 32974 33554432000 4194304 4196468 140724869727088 139697908829328 139698086508245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14061] ppid=14023 vsize=7937144 memory=118552 CPUtime=1816.43 cores=0,2,4,6
/proc/14057/task/14061/stat : 14061 (java) S 14023 14023 6975 0 -1 1077944384 1 558467 0 0 0 0 181520 123 20 0 17 0 230471648 8127635456 32974 33554432000 4194304 4196468 140724869727088 139697907776272 139698086508245 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14062] ppid=14023 vsize=7937144 memory=118552 CPUtime=1816.43 cores=0,2,4,6
/proc/14057/task/14062/stat : 14062 (java) S 14023 14023 6975 0 -1 1077944384 2 558467 0 0 0 0 181520 123 20 0 17 0 230471648 8127635456 32974 33554432000 4194304 4196468 140724869727088 139697906723728 139698086508245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14063] ppid=14023 vsize=7937144 memory=1472 CPUtime=1816.47 cores=0,2,4,6
/proc/14057/task/14063/stat : 14063 (java) S 14023 14023 6975 0 -1 1077944384 7 558467 0 0 2 2 181520 123 20 0 17 0 230471650 8127635456 32974 33554432000 4194304 4196468 140724869727088 139697532881136 139698086509186 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14064] ppid=14023 vsize=7937144 memory=8171334488155712086 CPUtime=1816.43 cores=0,2,4,6
/proc/14057/task/14064/stat : 14064 (java) S 14023 14023 6975 0 -1 1077944384 13 558467 0 0 0 0 181520 123 20 0 17 0 230471650 8127635456 32974 33554432000 4194304 4196468 140724869727088 139696898303136 139698086508245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14065] ppid=14023 vsize=7937144 memory=160600 CPUtime=1816.43 cores=0,2,4,6
/proc/14057/task/14065/stat : 14065 (java) S 14023 14023 6975 0 -1 1077944384 21 558467 0 0 0 0 181520 123 20 0 17 0 230471650 8127635456 32974 33554432000 4194304 4196468 140724869727088 139696764080880 139698086508245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14066] ppid=14023 vsize=7937144 memory=118552 CPUtime=1816.43 cores=0,2,4,6
/proc/14057/task/14066/stat : 14066 (java) S 14023 14023 6975 0 -1 1077944384 3 558467 0 0 0 0 181520 123 20 0 17 0 230471653 8127635456 32974 33554432000 4194304 4196468 140724869727088 139696389576656 139698086516635 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14067] ppid=14023 vsize=7937144 memory=1472 CPUtime=1816.62 cores=0,2,4,6
/proc/14057/task/14067/stat : 14067 (java) R 14023 14023 6975 0 -1 4202560 1044 558467 0 0 18 1 181520 123 20 0 17 0 230471653 8127635456 32974 33554432000 4194304 4196468 140724869727088 139697531811808 139698069981270 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14068] ppid=14023 vsize=7937144 memory=1472 CPUtime=1816.64 cores=0,2,4,6
/proc/14057/task/14068/stat : 14068 (java) R 14023 14023 6975 0 -1 4202560 695 558467 0 0 21 0 181520 123 20 0 17 0 230471653 8127635456 32974 33554432000 4194304 4196468 140724869727088 139697530763744 139698066160880 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14069] ppid=14023 vsize=7937144 memory=1472 CPUtime=1816.73 cores=0,2,4,6
/proc/14057/task/14069/stat : 14069 (java) R 14023 14023 6975 0 -1 1077944384 1191 558467 0 0 29 1 181520 123 20 0 17 0 230471653 8127635456 32974 33554432000 4194304 4196468 140724869727088 139697529723376 139698086509186 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14070] ppid=14023 vsize=7937144 memory=1472 CPUtime=1816.43 cores=0,2,4,6
/proc/14057/task/14070/stat : 14070 (java) S 14023 14023 6975 0 -1 1077944384 3 558467 0 0 0 0 181520 123 20 0 17 0 230471653 8127635456 32974 33554432000 4194304 4196468 140724869727088 139695891671904 139698086508245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14071] ppid=14023 vsize=7937144 memory=1472 CPUtime=1817.64 cores=0,2,4,6
/proc/14057/task/14071/stat : 14071 (java) S 14023 14023 6975 0 -1 1077944384 123 558467 0 0 59 62 181520 123 20 0 17 0 230471653 8127635456 32974 33554432000 4194304 4196468 140724869727088 139697528670768 139698086509186 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14073] ppid=14023 vsize=7937144 memory=1472 CPUtime=1816.43 cores=0,2,4,6
/proc/14057/task/14073/stat : 14073 (java) S 14023 14023 6975 0 -1 1077944384 23 558467 0 0 0 0 181520 123 20 0 17 0 230471722 8127635456 32974 33554432000 4194304 4196468 140724869727088 139697520861712 139698086509186 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
[pid=14057/tid=14077] ppid=14023 vsize=7937144 memory=118552 CPUtime=1816.43 cores=0,2,4,6
/proc/14057/task/14077/stat : 14077 (java) S 14023 14023 6975 0 -1 1077944384 8 558467 0 0 0 0 181520 123 20 0 17 0 230471725 8127635456 32974 33554432000 4194304 4196468 140724869727088 139695086364208 139698086509186 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12890112 140724869735605 140724869735729 140724869735729 140724869738447 0
Current children cumulated CPU time: 1845.29 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 133368 KiB
Child status: 0
Real time (s): 1828.72
CPU time (s): 1845.37
CPU user time (s): 1842.78
CPU system time (s): 2.58985
CPU usage (%): 100.91
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3106684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1842.78
system time used= 2.58985
maximum resident set size= 3106704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 620398
page faults= 0
swaps= 0
block input operations= 984
block output operations= 33640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47356
involuntary context switches= 2561
# summary of solver processes directly reported to runsolver:
# pid: 14023
# total CPU time (s): 1845.37
# total CPU user time (s): 1842.78
# total CPU system time (s): 2.58985
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5267 second user time and 19.7337 second system time
The end