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-18062-serial-file.bin HOME/instance-4305437-1534065589.xml
0.66/0.52
0.66/0.53 scop order+minisat_release (2018-07-31)
0.66/0.53 (Encoding Process)
0.66/0.53
0.66/0.55 c BEGIN-Prog: Sun Aug 12 11:19:50 CEST 2018
0.66/0.55 c PID: 18065
0.66/0.55 c IP: 172.20.3.139
0.66/0.55 c HOST: node139.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.38/0.98 c (0,0) Parsing End
1.38/0.98 c (0,0) CSP: 68 int (0 aux), 17 bool (0 aux), 52 ctr, max domain size 200
1.38/0.98 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.38/0.98 c (0,0) Constraint Name Generate Begin
1.38/0.99 c (0,0) Ctr:HOME/instance-4305437-1534065589.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num
1.38/0.99 c (0,0) Constraint Name Generate End
1.38/0.99 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.38/0.99 c (0,0) CSP to CSPinCNF Begin
1.61/1.07 c (0,0) translated 6 (10%) constraints
1.61/1.07 c (0,0) translated 11 (20%) constraints
1.61/1.08 c (0,0) translated 16 (30%) constraints
1.61/1.08 c (0,0) translated 21 (40%) constraints
1.61/1.08 c (0,0) translated 26 (50%) constraints
1.61/1.09 c (0,0) translated 32 (60%) constraints
1.77/1.18 c (0,0) translated 37 (70%) constraints
1.95/1.23 c (0,0) translated 42 (80%) constraints
1.95/1.27 c (0,0) translated 47 (90%) constraints
2.25/1.32 c (0,0) translated 52 (100%) constraints
2.52/1.46 c (0,0) STATISTICS1:HOME/instance-4305437-1534065589.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,149,411,380,192,4,3,380:4;374:8;370:12;366:16;358:72;354:32;348:36;346:40;344:44;330:48;324:52;320:56;286:30;276:62;143:30;138:2;2:32;1:2,192:66;190:66;187:66;185:66;183:66;179:198;177:66;174:66;173:66;172:66;165:66;162:66;160:66;143:66;138:66;2:1088;1:34,4:136;3:80;2:160;1:35,3:544;2:34;1:544;0:17,
2.52/1.46 c (0,0) ==========================================
2.52/1.46 c (0,0) Order
2.52/1.46 c (0,0) ==========================================
2.52/1.47 c (0,0) translated 42 (10%) constraints
2.52/1.48 c (0,0) translated 83 (20%) constraints
2.52/1.49 c (0,0) translated 124 (30%) constraints
2.52/1.49 c (0,0) translated 165 (40%) constraints
2.52/1.49 c (0,0) translated 206 (50%) constraints
2.52/1.49 c (0,0) translated 247 (60%) constraints
2.52/1.50 c (0,0) translated 288 (70%) constraints
2.87/1.51 c (0,0) translated 329 (80%) constraints
2.87/1.51 c (0,0) translated 370 (90%) constraints
2.87/1.52 c (0,0) translated 411 (100%) constraints
2.87/1.52 c (0,0) CSP to CSPinCNF End
2.87/1.52 c (0,0) CSP: 68 int (0 aux), 81 bool (64 aux), 411 ctr, max domain size 192
2.87/1.52 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.87/1.52 c (0,0) CSPinCNF Propagation Begin
2.87/1.59 c (1,1) 0 values, 16 unsatisfiable literals, and 3 valid clauses are removed
2.87/1.59 c (1,1) CSPinCNF Propagation End
2.87/1.59 c (1,1) CSP: 68 int (0 aux), 81 bool (64 aux), 408 ctr, max domain size 192
2.87/1.59 c (1,1) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.87/1.59 c (1,1) Simplify CSPinCNF Begin
3.18/1.66 c (1,1) Simplify CSPinCNF End
3.18/1.66 c (1,1) CSP: 68 int (0 aux), 625 bool (608 aux), 952 ctr, max domain size 192
3.18/1.66 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.18/1.66 c (1,1) Calculate Precise Domain Begin
3.18/1.66 c (1,1) 0 values are removed by re-calculation
3.18/1.66 c (1,1) Calculate Precise Domain End
3.18/1.66 c (1,1) CSP: 68 int (0 aux), 625 bool (608 aux), 952 ctr, max domain size 192
3.18/1.66 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.18/1.66 c (1,1) CSPinCNF to SatSolver Begin
3.53/1.72 c (1,1) 96 (10 %) CSP clauses are encoded (6499 SAT variables, 5903 SAT clauses)
3.53/1.73 c (1,1) 191 (20 %) CSP clauses are encoded (6499 SAT variables, 5998 SAT clauses)
3.53/1.76 c (1,1) 286 (30 %) CSP clauses are encoded (6499 SAT variables, 8420 SAT clauses)
3.87/1.87 c (1,1) 381 (40 %) CSP clauses are encoded (6499 SAT variables, 25999 SAT clauses)
4.19/1.95 c (1,1) 476 (50 %) CSP clauses are encoded (6499 SAT variables, 46212 SAT clauses)
4.19/2.01 c (1,1) 572 (60 %) CSP clauses are encoded (6499 SAT variables, 64006 SAT clauses)
4.52/2.05 c (1,1) 667 (70 %) CSP clauses are encoded (6499 SAT variables, 80788 SAT clauses)
4.52/2.10 c (1,1) 762 (80 %) CSP clauses are encoded (6499 SAT variables, 100739 SAT clauses)
4.75/2.15 c (1,1) 857 (90 %) CSP clauses are encoded (6499 SAT variables, 116519 SAT clauses)
4.92/2.25 c (1,1) 952 (100 %) CSP clauses are encoded (6499 SAT variables, 134982 SAT clauses)
4.92/2.25 c (1,1) Launch Command will be: minisat_release
4.92/2.25 c (1,1) CSPinCNF to SatSolver End
4.92/2.25 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
4.92/2.27 c (1,1) STATISTICS2:HOME/instance-4305437-1534065589.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,693,952,380,192,4,3,380:4;374:8;370:12;366:16;358:72;354:32;348:36;346:40;344:44;330:48;324:52;320:56;286:30;276:62;143:30;138:2;2:32,192:66;190:66;187:66;185:66;183:66;179:198;177:66;174:66;173:66;172:66;165:66;162:66;160:66;143:64;138:66;2:2176;1:32,4:136;3:64;2:720;1:32,3:544;2:32;1:1632,
4.92/2.27 c (1,1) 6499 bool, 135140 clause
4.92/2.27 c (1,1) Export Begin
5.19/2.38 c (1,1) Export to HOME/scop-18062-serial-file.bin
5.19/2.38 c (1,1) Export End
5.19/2.38 c (1,1) Export File Size: 0.03 MB
5.19/2.38 c (1,1) 0,0,0,1,1,1,1,STOP-AFTER(DIMACS)
5.19/2.38 c END-Prog: Sun Aug 12 11:19:52 CEST 2018
5.19/2.39 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-18062-serial-file.bin
5.41/2.89 c (0,0) Read Serial File Begin
5.41/2.89 c (0,0) HOME/scop-18062-serial-file.bin
6.22/3.08 c (0,0) Read Serial File End
6.22/3.09
6.22/3.09 scop order+minisat_release (2018-07-31)
6.22/3.09 (Solving Process)
6.22/3.09
6.42/3.11 c BEGIN-Prog: Sun Aug 12 11:19:52 CEST 2018
6.42/3.11 c PID: 18080
6.42/3.11 c IP: 172.20.3.139
6.42/3.11 c HOST: node139.alineos.net
6.42/3.12 c (0,0) SatSolver.solve Begin
6.42/3.12 c (0,0) 0 bool, 0 clause
6.42/3.12 c (0,0) minisat_release HOME/instance-4305437-1534065589.xml-scop-18065.cnf
453.33/449.67 c (446,0) c This is COMiniSatPS.
453.33/449.67 c (446,0) c WARNING: for repeatability, setting FPU to use double precision
453.33/449.67 c (446,0) c ============================[ Problem Statistics ]=============================
453.33/449.67 c (446,0) c | |
453.33/449.67 c (446,0) c | Number of variables: 6499 |
453.33/449.67 c (446,0) c | Number of clauses: 135140 |
453.33/449.67 c (446,0) c | Parse time: 0.04 s |
453.33/449.67 c (446,0) c | Eliminated clauses: 0.02 Mb |
453.33/449.67 c (446,0) c Reduced to 5720 vars, 133014 cls (grow=0)
453.33/449.67 c (446,0) c No iterative elimination performed. (vars=5720, c/v ratio=23.3)
453.33/449.67 c (446,0) c | Simplification time: 0.24 s |
453.33/449.67 c (446,0) c | |
453.33/449.67 c (446,0) c ============================[ Search Statistics ]==============================
453.33/449.67 c (446,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
453.33/449.67 c (446,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
453.33/449.67 c (446,0) c ===============================================================================
453.33/449.67 c (446,0) c ===============================================================================
453.33/449.67 c (446,0) c restarts : 4138
453.33/449.67 c (446,0) c conflicts : 2078381 (4655 /sec)
453.33/449.67 c (446,0) c decisions : 3112985 (0.00 % random) (6973 /sec)
453.33/449.67 c (446,0) c propagations : 949263012 (2126232 /sec)
453.33/449.67 c (446,0) c conflict literals : 70719650 (47.11 % deleted)
453.33/449.67 c (446,0) c CPU time : 446.453 s
453.33/449.67 c (446,0)
453.33/449.68 c (446,0) s SATISFIABLE
453.33/449.70 c (446,0) SatSolver.solve End
453.33/449.70 c (446,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
453.33/449.70 c (446,0) Show results Begin
453.48/449.76 s SATISFIABLE
453.48/449.77 v <instantiation>
453.48/449.77 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] w[0] w[1] w[2] w[3] w[4] w[5] w[6] w[7] w[8] w[9] w[10] w[11] w[12] w[13] w[14] w[15] w[16] h[0] h[1] h[2] h[3] h[4] h[5] h[6] h[7] h[8] h[9] h[10] h[11] h[12] h[13] h[14] h[15] h[16] r[0] r[1] r[2] r[3] r[4] r[5] r[6] r[7] r[8] r[9] r[10] r[11] r[12] r[13] r[14] r[15] r[16]</list>
453.48/449.77 v <values>0 18 27 0 0 18 0 0 49 49 107 123 123 132 132 137 159 171 85 96 63 0 96 140 85 143 85 63 101 63 39 0 101 39 137 31 22 107 132 9 27 18 74 58 16 14 36 27 68 22 41 29 11 75 22 63 44 31 55 28 58 80 70 38 24 39 99 161 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1</values>
453.48/449.77 v </instantiation>
453.48/449.77 c (446,0) Show results End
453.48/449.77 c (446,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
453.48/449.77 c (446,0) 446,446,STOP-AFTER(ALL)
453.48/449.77 c END-Prog: Sun Aug 12 11:27:19 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 (4669 MiB free)
memory of node 1: 16384 MiB (5686 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305437-1534065589/watcher-4305437-1534065589 -o /tmp/evaluation-result-4305437-1534065589/solver-4305437-1534065589 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534060441-16801 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305437-1534065589.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
solver pid=18062, runsolver pid=18059
Current StackSize limit: 8192 KiB
[startup+0.101086 s]*
/proc/loadavg: 2.00 2.01 2.04 3/222 18079
/proc/meminfo: memFree=10542632/32770624 swapFree=67108860/67108860
[pid=18062] ppid=18059 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/18062/stat : 18062 (scop.sh) S 18059 18062 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224122099 115843072 348 33554432000 4194304 5098028 140722656463872 140722656461128 140209759380092 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35049472 140722656465984 140722656466183 140722656466183 140722656468941 0
/proc/18062/statm: 28282 348 296 221 0 87 0
[pid=18065] ppid=18062 vsize=15012476 memory=73064 CPUtime=0.1 cores=0,2,4,6
/proc/18065/stat : 18065 (java) S 18062 18062 16770 0 -1 1077944320 5903 0 0 0 9 1 0 0 20 0 15 0 224122099 15372775424 18266 33554432000 4194304 4196468 140727846790272 140727846772816 140169827897079 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
/proc/18065/statm: 3753119 18266 2743 1 0 3715579 0
[pid=18065/tid=18066] ppid=18062 vsize=15012476 memory=-6148396199699595205 CPUtime=0.08 cores=0,2,4,6
/proc/18065/task/18066/stat : 18066 (java) R 18062 18062 16770 0 -1 4202560 4036 0 0 0 7 1 0 0 20 0 15 0 224122099 15372775424 18266 33554432000 4194304 4196468 140727846790272 140169799691280 140169827919005 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18067] ppid=18062 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18067/stat : 18067 (java) S 18062 18062 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224122101 15372775424 18266 33554432000 4194304 4196468 140727846790272 140169832139792 140169827907285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18068] ppid=18062 vsize=15012476 memory=139919842793088 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18068/stat : 18068 (java) S 18062 18062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224122101 15372775424 18266 33554432000 4194304 4196468 140727846790272 140169623223440 140169827907285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18069] ppid=18062 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18069/stat : 18069 (java) S 18062 18062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224122101 15372775424 18266 33554432000 4194304 4196468 140727846790272 140169622170384 140169827907285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18070] ppid=18062 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18070/stat : 18070 (java) S 18062 18062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224122101 15372775424 18266 33554432000 4194304 4196468 140727846790272 140169621117840 140169827907285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18071] ppid=18062 vsize=15012476 memory=139919842793088 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18071/stat : 18071 (java) S 18062 18062 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224122102 15372775424 18266 33554432000 4194304 4196468 140727846790272 140169167452400 140169827908226 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18072] ppid=18062 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18072/stat : 18072 (java) S 18062 18062 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224122103 15372775424 18266 33554432000 4194304 4196468 140727846790272 140168438736032 140169827907285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18073] ppid=18062 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18073/stat : 18073 (java) S 18062 18062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224122103 15372775424 18266 33554432000 4194304 4196468 140727846790272 140168203854576 140169827907285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18074] ppid=18062 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18074/stat : 18074 (java) S 18062 18062 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224122105 15372775424 18266 33554432000 4194304 4196468 140727846790272 140167829346256 140169827915675 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18075] ppid=18062 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18075/stat : 18075 (java) S 18062 18062 16770 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 224122105 15372775424 18266 33554432000 4194304 4196468 140727846790272 140169166400240 140169827908226 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18076] ppid=18062 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18076/stat : 18076 (java) S 18062 18062 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224122105 15372775424 18266 33554432000 4194304 4196468 140727846790272 140169165347696 140169827908226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18077] ppid=18062 vsize=15012476 memory=139919842793088 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18077/stat : 18077 (java) R 18062 18062 16770 0 -1 4202560 251 0 0 0 0 0 0 0 20 0 15 0 224122105 15372775424 18266 33554432000 4194304 4196468 140727846790272 140169164294640 140169827910961 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18078] ppid=18062 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18078/stat : 18078 (java) S 18062 18062 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224122106 15372775424 18266 33554432000 4194304 4196468 140727846790272 140167331441504 140169827907285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18079] ppid=18062 vsize=15012476 memory=139919842793088 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18079/stat : 18079 (java) S 18062 18062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224122106 15372775424 18266 33554432000 4194304 4196468 140727846790272 140169163242032 140169827908226 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74456 KiB
[startup+0.210463 s]*
/proc/loadavg: 2.00 2.01 2.04 4/222 18079
/proc/meminfo: memFree=10528944/32770624 swapFree=67108860/67108860
[pid=18062] ppid=18059 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/18062/stat : 18062 (scop.sh) S 18059 18062 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224122099 115843072 348 33554432000 4194304 5098028 140722656463872 140722656461128 140209759380092 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35049472 140722656465984 140722656466183 140722656466183 140722656468941 0
/proc/18062/statm: 28282 348 296 221 0 87 0
[pid=18065] ppid=18062 vsize=15012476 memory=86676 CPUtime=0.24 cores=0,2,4,6
/proc/18065/stat : 18065 (java) S 18062 18062 16770 0 -1 1077944320 9479 0 0 0 22 2 0 0 20 0 15 0 224122099 15372775424 21669 33554432000 4194304 4196468 140727846790272 140727846772816 140169827897079 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
/proc/18065/statm: 3753119 21669 2903 1 0 3715579 0
[pid=18065/tid=18066] ppid=18062 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/18065/task/18066/stat : 18066 (java) R 18062 18062 16770 0 -1 4202560 7401 0 0 0 18 2 0 0 20 0 15 0 224122099 15372775424 21669 33554432000 4194304 4196468 140727846790272 140169799718880 140169294458091 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18067] ppid=18062 vsize=15012476 memory=365 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18067/stat : 18067 (java) S 18062 18062 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224122101 15372775424 21669 33554432000 4194304 4196468 140727846790272 140169832139792 140169827907285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18068] ppid=18062 vsize=15012476 memory=139919843981587 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18068/stat : 18068 (java) S 18062 18062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224122101 15372775424 21669 33554432000 4194304 4196468 140727846790272 140169623223440 140169827907285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18069] ppid=18062 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18069/stat : 18069 (java) S 18062 18062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224122101 15372775424 21669 33554432000 4194304 4196468 140727846790272 140169622170384 140169827907285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18070] ppid=18062 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18070/stat : 18070 (java) S 18062 18062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224122101 15372775424 21669 33554432000 4194304 4196468 140727846790272 140169621117840 140169827907285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18071] ppid=18062 vsize=15012476 memory=139919842793088 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18071/stat : 18071 (java) S 18062 18062 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224122102 15372775424 21669 33554432000 4194304 4196468 140727846790272 140169167452400 140169827908226 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18072] ppid=18062 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18072/stat : 18072 (java) S 18062 18062 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224122103 15372775424 21669 33554432000 4194304 4196468 140727846790272 140168438736032 140169827907285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18073] ppid=18062 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18073/stat : 18073 (java) S 18062 18062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224122103 15372775424 21669 33554432000 4194304 4196468 140727846790272 140168203854576 140169827907285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18074] ppid=18062 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18074/stat : 18074 (java) S 18062 18062 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224122105 15372775424 21669 33554432000 4194304 4196468 140727846790272 140167829346256 140169827915675 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18075] ppid=18062 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/18065/task/18075/stat : 18075 (java) S 18062 18062 16770 0 -1 1077944384 305 0 0 0 1 0 0 0 20 0 15 0 224122105 15372775424 21669 33554432000 4194304 4196468 140727846790272 140169166400240 140169827908226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18076] ppid=18062 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18076/stat : 18076 (java) S 18062 18062 16770 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 224122105 15372775424 21669 33554432000 4194304 4196468 140727846790272 140169165347696 140169827908226 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18077] ppid=18062 vsize=15012476 memory=139919842793088 CPUtime=0.03 cores=0,2,4,6
/proc/18065/task/18077/stat : 18077 (java) S 18062 18062 16770 0 -1 1077944384 286 0 0 0 3 0 0 0 20 0 15 0 224122105 15372775424 21669 33554432000 4194304 4196468 140727846790272 140169164294640 140169827908226 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18078] ppid=18062 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18078/stat : 18078 (java) S 18062 18062 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224122106 15372775424 21669 33554432000 4194304 4196468 140727846790272 140167331441504 140169827907285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18079] ppid=18062 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18079/stat : 18079 (java) S 18062 18062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224122106 15372775424 21669 33554432000 4194304 4196468 140727846790272 140169163242032 140169827908226 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88068 KiB
[startup+0.310536 s]*
/proc/loadavg: 2.00 2.01 2.04 3/222 18079
/proc/meminfo: memFree=10525780/32770624 swapFree=67108860/67108860
[pid=18062] ppid=18059 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/18062/stat : 18062 (scop.sh) S 18059 18062 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224122099 115843072 348 33554432000 4194304 5098028 140722656463872 140722656461128 140209759380092 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35049472 140722656465984 140722656466183 140722656466183 140722656468941 0
/proc/18062/statm: 28282 348 296 221 0 87 0
[pid=18065] ppid=18062 vsize=15012476 memory=90196 CPUtime=0.42 cores=0,2,4,6
/proc/18065/stat : 18065 (java) S 18062 18062 16770 0 -1 1077944320 10008 0 0 0 39 3 0 0 20 0 15 0 224122099 15372775424 22549 33554432000 4194304 4196468 140727846790272 140727846772816 140169827897079 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
/proc/18065/statm: 3753119 22549 2973 1 0 3715579 0
[pid=18065/tid=18066] ppid=18062 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/18065/task/18066/stat : 18066 (java) R 18062 18062 16770 0 -1 4202560 7771 0 0 0 27 2 0 0 20 0 15 0 224122099 15372775424 22549 33554432000 4194304 4196468 140727846790272 140169799692528 140169811083917 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18067] ppid=18062 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18067/stat : 18067 (java) S 18062 18062 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224122101 15372775424 22549 33554432000 4194304 4196468 140727846790272 140169832139792 140169827907285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18068] ppid=18062 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18068/stat : 18068 (java) S 18062 18062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224122101 15372775424 22549 33554432000 4194304 4196468 140727846790272 140169623223440 140169827907285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18069] ppid=18062 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18069/stat : 18069 (java) S 18062 18062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224122101 15372775424 22549 33554432000 4194304 4196468 140727846790272 140169622170384 140169827907285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18070] ppid=18062 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18070/stat : 18070 (java) S 18062 18062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224122101 15372775424 22549 33554432000 4194304 4196468 140727846790272 140169621117840 140169827907285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18071] ppid=18062 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18071/stat : 18071 (java) S 18062 18062 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224122102 15372775424 22549 33554432000 4194304 4196468 140727846790272 140169167452400 140169827908226 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18072] ppid=18062 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18072/stat : 18072 (java) S 18062 18062 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224122103 15372775424 22549 33554432000 4194304 4196468 140727846790272 140168438736032 140169827907285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18073] ppid=18062 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18073/stat : 18073 (java) S 18062 18062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224122103 15372775424 22549 33554432000 4194304 4196468 140727846790272 140168203854576 140169827907285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18074] ppid=18062 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18074/stat : 18074 (java) S 18062 18062 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224122105 15372775424 22549 33554432000 4194304 4196468 140727846790272 140167829346256 140169827915675 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18075] ppid=18062 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18065/task/18075/stat : 18075 (java) S 18062 18062 16770 0 -1 1077944384 421 0 0 0 2 0 0 0 20 0 15 0 224122105 15372775424 22549 33554432000 4194304 4196468 140727846790272 140169166400240 140169827908226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18076] ppid=18062 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/18065/task/18076/stat : 18076 (java) S 18062 18062 16770 0 -1 1077944384 179 0 0 0 1 0 0 0 20 0 15 0 224122105 15372775424 22549 33554432000 4194304 4196468 140727846790272 140169165347696 140169827908226 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18077] ppid=18062 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18065/task/18077/stat : 18077 (java) S 18062 18062 16770 0 -1 1077944384 306 0 0 0 7 0 0 0 20 0 15 0 224122105 15372775424 22549 33554432000 4194304 4196468 140727846790272 140169164294640 140169827908226 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18078] ppid=18062 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18078/stat : 18078 (java) S 18062 18062 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224122106 15372775424 22549 33554432000 4194304 4196468 140727846790272 140167331441504 140169827907285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18079] ppid=18062 vsize=15012476 memory=3761410793958088753 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18079/stat : 18079 (java) S 18062 18062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224122106 15372775424 22549 33554432000 4194304 4196468 140727846790272 140169163242032 140169827908226 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91588 KiB
[startup+0.701063 s]
/proc/loadavg: 2.00 2.01 2.04 3/222 18079
/proc/meminfo: memFree=10501968/32770624 swapFree=67108860/67108860
[pid=18062] ppid=18059 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/18062/stat : 18062 (scop.sh) S 18059 18062 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224122099 115843072 348 33554432000 4194304 5098028 140722656463872 140722656461128 140209759380092 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35049472 140722656465984 140722656466183 140722656466183 140722656468941 0
/proc/18062/statm: 28282 348 296 221 0 87 0
[pid=18065] ppid=18062 vsize=15020872 memory=127648 CPUtime=0.99 cores=0,2,4,6
/proc/18065/stat : 18065 (java) S 18062 18062 16770 0 -1 1077944320 17021 0 0 0 94 5 0 0 20 0 15 0 224122099 15381372928 31912 33554432000 4194304 4196468 140727846790272 140727846772816 140169827897079 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
/proc/18065/statm: 3755218 31912 3145 1 0 3716603 0
[pid=18065/tid=18066] ppid=18062 vsize=15020872 memory=-7816663703405220396 CPUtime=0.67 cores=0,2,4,6
/proc/18065/task/18066/stat : 18066 (java) S 18062 18062 16770 0 -1 1077944384 14351 0 0 0 63 4 0 0 20 0 15 0 224122099 15381372928 31912 33554432000 4194304 4196468 140727846790272 140169799718208 140169827907285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18067] ppid=18062 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18067/stat : 18067 (java) S 18062 18062 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224122101 15381372928 31912 33554432000 4194304 4196468 140727846790272 140169832139792 140169827907285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18068] ppid=18062 vsize=15020872 memory=60820 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18068/stat : 18068 (java) S 18062 18062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224122101 15381372928 31912 33554432000 4194304 4196468 140727846790272 140169623223440 140169827907285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18069] ppid=18062 vsize=15020872 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18069/stat : 18069 (java) S 18062 18062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224122101 15381372928 31912 33554432000 4194304 4196468 140727846790272 140169622170384 140169827907285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18070] ppid=18062 vsize=15020872 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18070/stat : 18070 (java) S 18062 18062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224122101 15381372928 31912 33554432000 4194304 4196468 140727846790272 140169621117840 140169827907285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18071] ppid=18062 vsize=15020872 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18071/stat : 18071 (java) S 18062 18062 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224122102 15381372928 31912 33554432000 4194304 4196468 140727846790272 140169167452400 140169827908226 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18072] ppid=18062 vsize=15020872 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18072/stat : 18072 (java) S 18062 18062 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224122103 15381372928 31912 33554432000 4194304 4196468 140727846790272 140168438736032 140169827907285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18073] ppid=18062 vsize=15020872 memory=796 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18073/stat : 18073 (java) S 18062 18062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224122103 15381372928 31912 33554432000 4194304 4196468 140727846790272 140168203854576 140169827907285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18074] ppid=18062 vsize=15020872 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18074/stat : 18074 (java) S 18062 18062 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224122105 15381372928 31912 33554432000 4194304 4196468 140727846790272 140167829346256 140169827915675 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18075] ppid=18062 vsize=15020872 memory=876 CPUtime=0.09 cores=0,2,4,6
/proc/18065/task/18075/stat : 18075 (java) S 18062 18062 16770 0 -1 1077944384 639 0 0 0 9 0 0 0 20 0 15 0 224122105 15381372928 31912 33554432000 4194304 4196468 140727846790272 140169166387792 140169827907285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18076] ppid=18062 vsize=15020872 memory=10096 CPUtime=0.05 cores=0,2,4,6
/proc/18065/task/18076/stat : 18076 (java) S 18062 18062 16770 0 -1 1077944384 275 0 0 0 5 0 0 0 20 0 15 0 224122105 15381372928 31912 33554432000 4194304 4196468 140727846790272 140169165347696 140169827908226 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18077] ppid=18062 vsize=15020872 memory=1228 CPUtime=0.15 cores=0,2,4,6
/proc/18065/task/18077/stat : 18077 (java) S 18062 18062 16770 0 -1 1077944384 424 0 0 0 15 0 0 0 20 0 15 0 224122105 15381372928 31912 33554432000 4194304 4196468 140727846790272 140169164294640 140169827908226 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18078] ppid=18062 vsize=15020872 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18078/stat : 18078 (java) S 18062 18062 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224122106 15381372928 31912 33554432000 4194304 4196468 140727846790272 140167331441504 140169827907285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
[pid=18065/tid=18079] ppid=18062 vsize=15020872 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18079/stat : 18079 (java) S 18062 18062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224122106 15381372928 31912 33554432000 4194304 4196468 140727846790272 140169163242032 140169827908226 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10190848 140727846798342 140727846798641 140727846798641 140727846801359 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 129040 KiB
[startup+1.50901 s]
/proc/loadavg: 2.00 2.01 2.04 3/222 18079
/proc/meminfo: memFree=10472580/32770624 swapFree=67108860/67108860
[pid=18062] ppid=18059 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/18062/stat : 18062 (scop.sh) S 18059 18062 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224122099 115843072 348 33554432000 4194304 5098028 140722656463872 140722656461128 140209759380092 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35049472 140722656465984 140722656466183 140722656466183 140722656468941 0
/proc/18062/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
/proc/18080/task/18096/stat : 18096 (java) S 18062 18062 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224122413 8261857280 28965 33554432000 4194304 4196468 140734637162192 140088950547648 140089516158745 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18098] ppid=18062 vsize=8068220 memory=636 CPUtime=0 cores=0,2,4,6
/proc/18080/task/18098/stat : 18098 (java) S 18062 18062 16770 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 224122413 8261857280 28965 33554432000 4194304 4196468 140734637162192 140086532353296 140089516156061 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18099] ppid=18062 vsize=8068220 memory=960 CPUtime=0 cores=0,2,4,6
/proc/18080/task/18099/stat : 18099 (java) S 18062 18062 16770 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224122413 8261857280 28965 33554432000 4194304 4196468 140734637162192 140086263922832 140089516156061 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18100] ppid=18062 vsize=8068220 memory=-7824251494391043435 CPUtime=0 cores=0,2,4,6
/proc/18080/task/18100/stat : 18100 (java) S 18062 18062 16770 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 224122416 8261857280 28965 33554432000 4194304 4196468 140734637162192 140086666583712 140089516144341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
Current children cumulated CPU time: 452.53 s
Current children cumulated vsize: 8247716 KiB
Current children cumulated memory: 164816 KiB
[startup+449.201 s]
/proc/loadavg: 2.01 2.02 2.05 3/227 18115
/proc/meminfo: memFree=10429008/32770624 swapFree=67108860/67108860
[pid=18062] ppid=18059 vsize=113128 memory=1468 CPUtime=5.41 cores=0,2,4,6
/proc/18062/stat : 18062 (scop.sh) S 18059 18062 16770 0 -1 4202496 590 24611 0 0 0 0 525 16 20 0 1 0 224122099 115843072 367 33554432000 4194304 5098028 140722656463872 140722656460616 140209759380092 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35049472 140722656465984 140722656466183 140722656466183 140722656468941 0
/proc/18062/statm: 28282 367 311 221 0 87 0
[pid=18080] ppid=18062 vsize=8068220 memory=115860 CPUtime=1.49 cores=0,2,4,6
/proc/18080/stat : 18080 (java) S 18062 18062 16770 0 -1 1077944320 18823 0 0 0 132 17 0 0 20 0 19 0 224122338 8261857280 28965 33554432000 4194304 4196468 140734637162192 140734637144736 140089516134135 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
/proc/18080/statm: 2017055 28965 3127 1 0 1978454 0
[pid=18095] ppid=18080 vsize=66368 memory=47776 CPUtime=446.03 cores=0,2,4,6
/proc/18095/stat : 18095 (minisat_release) R 18080 18062 16770 0 -1 4202496 60402 0 0 0 44597 6 0 0 20 0 1 0 224122413 67960832 11944 33554432000 4194304 4308513 140734080975024 140734080972024 4289173 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 12324864 140734080980084 140734080980182 140734080980182 140734080982981 0
/proc/18095/statm: 16592 11944 341 28 0 12832 0
[pid=18080/tid=18081] ppid=18062 vsize=8068220 memory=796 CPUtime=0.77 cores=0,2,4,6
/proc/18080/task/18081/stat : 18081 (java) S 18062 18062 16770 0 -1 1077944384 15663 0 0 0 72 5 0 0 20 0 19 0 224122339 8261857280 28965 33554432000 4194304 4196468 140734637162192 140089487974288 140089516144341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18082] ppid=18062 vsize=8068220 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/18080/task/18082/stat : 18082 (java) S 18062 18062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224122340 8261857280 28965 33554432000 4194304 4196468 140734637162192 140089520376976 140089516144341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18083] ppid=18062 vsize=8068220 memory=876 CPUtime=0 cores=0,2,4,6
/proc/18080/task/18083/stat : 18083 (java) S 18062 18062 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224122340 8261857280 28965 33554432000 4194304 4196468 140734637162192 140089001094160 140089516144341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18084] ppid=18062 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/18080/task/18084/stat : 18084 (java) S 18062 18062 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224122340 8261857280 28965 33554432000 4194304 4196468 140734637162192 140089000041360 140089516144341 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18085] ppid=18062 vsize=8068220 memory=279839400551456 CPUtime=0 cores=0,2,4,6
/proc/18080/task/18085/stat : 18085 (java) S 18062 18062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224122340 8261857280 28965 33554432000 4194304 4196468 140734637162192 140088998988560 140089516144341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18086] ppid=18062 vsize=8068220 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/18080/task/18086/stat : 18086 (java) S 18062 18062 16770 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 224122341 8261857280 28965 33554432000 4194304 4196468 140734637162192 140088962566512 140089516145282 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18087] ppid=18062 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18080/task/18087/stat : 18087 (java) S 18062 18062 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224122342 8261857280 28965 33554432000 4194304 4196468 140734637162192 140088210088992 140089516144341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18088] ppid=18062 vsize=8068220 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/18080/task/18088/stat : 18088 (java) S 18062 18062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224122342 8261857280 28965 33554432000 4194304 4196468 140734637162192 140087941653360 140089516144341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18089] ppid=18062 vsize=8068220 memory=60836 CPUtime=0 cores=0,2,4,6
/proc/18080/task/18089/stat : 18089 (java) S 18062 18062 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224122344 8261857280 28965 33554432000 4194304 4196468 140734637162192 140087567144784 140089516152731 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18090] ppid=18062 vsize=8068220 memory=4128 CPUtime=0.11 cores=0,2,4,6
/proc/18080/task/18090/stat : 18090 (java) S 18062 18062 16770 0 -1 1077944384 714 0 0 0 11 0 0 0 20 0 19 0 224122344 8261857280 28965 33554432000 4194304 4196468 140734637162192 140088961514352 140089516145282 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18091] ppid=18062 vsize=8068220 memory=1580 CPUtime=0.05 cores=0,2,4,6
/proc/18080/task/18091/stat : 18091 (java) S 18062 18062 16770 0 -1 1077944384 186 0 0 0 5 0 0 0 20 0 19 0 224122344 8261857280 28965 33554432000 4194304 4196468 140734637162192 140088960461552 140089516145282 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18092] ppid=18062 vsize=8068220 memory=2240 CPUtime=0.21 cores=0,2,4,6
/proc/18080/task/18092/stat : 18092 (java) S 18062 18062 16770 0 -1 1077944384 813 0 0 0 21 0 0 0 20 0 19 0 224122344 8261857280 28965 33554432000 4194304 4196468 140734637162192 140088959408752 140089516145282 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18093] ppid=18062 vsize=8068220 memory=-7824251494391043435 CPUtime=0 cores=0,2,4,6
/proc/18080/task/18093/stat : 18093 (java) S 18062 18062 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224122344 8261857280 28965 33554432000 4194304 4196468 140734637162192 140087069240032 140089516144341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18094] ppid=18062 vsize=8068220 memory=2100 CPUtime=0.29 cores=0,2,4,6
/proc/18080/task/18094/stat : 18094 (java) S 18062 18062 16770 0 -1 1077944384 31 0 0 0 17 12 0 0 20 0 19 0 224122345 8261857280 28965 33554432000 4194304 4196468 140734637162192 140088958356144 140089516145282 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18096] ppid=18062 vsize=8068220 memory=7528 CPUtime=0 cores=0,2,4,6
/proc/18080/task/18096/stat : 18096 (java) S 18062 18062 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224122413 8261857280 28965 33554432000 4194304 4196468 140734637162192 140088950547648 140089516158745 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18098] ppid=18062 vsize=8068220 memory=840 CPUtime=0 cores=0,2,4,6
/proc/18080/task/18098/stat : 18098 (java) S 18062 18062 16770 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 224122413 8261857280 28965 33554432000 4194304 4196468 140734637162192 140086532353296 140089516156061 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18099] ppid=18062 vsize=8068220 memory=279839401538176 CPUtime=0 cores=0,2,4,6
/proc/18080/task/18099/stat : 18099 (java) S 18062 18062 16770 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224122413 8261857280 28965 33554432000 4194304 4196468 140734637162192 140086263922832 140089516156061 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18100] ppid=18062 vsize=8068220 memory=279839399480048 CPUtime=0 cores=0,2,4,6
/proc/18080/task/18100/stat : 18100 (java) S 18062 18062 16770 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 224122416 8261857280 28965 33554432000 4194304 4196468 140734637162192 140086666583712 140089516144341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
Current children cumulated CPU time: 452.93 s
Current children cumulated vsize: 8247716 KiB
Current children cumulated memory: 165104 KiB
[startup+449.601 s]
/proc/loadavg: 2.01 2.02 2.05 3/227 18115
/proc/meminfo: memFree=10429008/32770624 swapFree=67108860/67108860
[pid=18062] ppid=18059 vsize=113128 memory=1468 CPUtime=5.41 cores=0,2,4,6
/proc/18062/stat : 18062 (scop.sh) S 18059 18062 16770 0 -1 4202496 590 24611 0 0 0 0 525 16 20 0 1 0 224122099 115843072 367 33554432000 4194304 5098028 140722656463872 140722656460616 140209759380092 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35049472 140722656465984 140722656466183 140722656466183 140722656468941 0
/proc/18062/statm: 28282 367 311 221 0 87 0
[pid=18080] ppid=18062 vsize=8068220 memory=115860 CPUtime=1.49 cores=0,2,4,6
/proc/18080/stat : 18080 (java) S 18062 18062 16770 0 -1 1077944320 18823 0 0 0 132 17 0 0 20 0 19 0 224122338 8261857280 28965 33554432000 4194304 4196468 140734637162192 140734637144736 140089516134135 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
/proc/18080/statm: 2017055 28965 3127 1 0 1978454 0
[pid=18095] ppid=18080 vsize=66368 memory=48024 CPUtime=446.43 cores=0,2,4,6
/proc/18095/stat : 18095 (minisat_release) R 18080 18062 16770 0 -1 4202496 60495 0 0 0 44637 6 0 0 20 0 1 0 224122413 67960832 12006 33554432000 4194304 4308513 140734080975024 140734080972024 4276425 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 12324864 140734080980084 140734080980182 140734080980182 140734080982981 0
/proc/18095/statm: 16592 12006 341 28 0 12832 0
[pid=18080/tid=18081] ppid=18062 vsize=8068220 memory=932 CPUtime=0.77 cores=0,2,4,6
/proc/18080/task/18081/stat : 18081 (java) S 18062 18062 16770 0 -1 1077944384 15663 0 0 0 72 5 0 0 20 0 19 0 224122339 8261857280 28965 33554432000 4194304 4196468 140734637162192 140089487974288 140089516144341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18082] ppid=18062 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/18080/task/18082/stat : 18082 (java) S 18062 18062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224122340 8261857280 28965 33554432000 4194304 4196468 140734637162192 140089520376976 140089516144341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18083] ppid=18062 vsize=8068220 memory=115860 CPUtime=0 cores=0,2,4,6
/proc/18080/task/18083/stat : 18083 (java) S 18062 18062 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224122340 8261857280 28965 33554432000 4194304 4196468 140734637162192 140089001094160 140089516144341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18084] ppid=18062 vsize=8068220 memory=47488 CPUtime=0 cores=0,2,4,6
/proc/18080/task/18084/stat : 18084 (java) S 18062 18062 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224122340 8261857280 28965 33554432000 4194304 4196468 140734637162192 140089000041360 140089516144341 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18085] ppid=18062 vsize=8068220 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/18080/task/18085/stat : 18085 (java) S 18062 18062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224122340 8261857280 28965 33554432000 4194304 4196468 140734637162192 140088998988560 140089516144341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18086] ppid=18062 vsize=8068220 memory=60836 CPUtime=0 cores=0,2,4,6
/proc/18080/task/18086/stat : 18086 (java) S 18062 18062 16770 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 224122341 8261857280 28965 33554432000 4194304 4196468 140734637162192 140088962566512 140089516145282 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18087] ppid=18062 vsize=8068220 memory=-7824251494391043435 CPUtime=0 cores=0,2,4,6
/proc/18080/task/18087/stat : 18087 (java) S 18062 18062 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224122342 8261857280 28965 33554432000 4194304 4196468 140734637162192 140088210088992 140089516144341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18088] ppid=18062 vsize=8068220 memory=47488 CPUtime=0 cores=0,2,4,6
/proc/18080/task/18088/stat : 18088 (java) S 18062 18062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224122342 8261857280 28965 33554432000 4194304 4196468 140734637162192 140087941653360 140089516144341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18089] ppid=18062 vsize=8068220 memory=8804 CPUtime=0 cores=0,2,4,6
/proc/18080/task/18089/stat : 18089 (java) S 18062 18062 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224122344 8261857280 28965 33554432000 4194304 4196468 140734637162192 140087567144784 140089516152731 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18090] ppid=18062 vsize=8068220 memory=4616 CPUtime=0.11 cores=0,2,4,6
/proc/18080/task/18090/stat : 18090 (java) S 18062 18062 16770 0 -1 1077944384 714 0 0 0 11 0 0 0 20 0 19 0 224122344 8261857280 28965 33554432000 4194304 4196468 140734637162192 140088961514352 140089516145282 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18091] ppid=18062 vsize=8068220 memory=1428 CPUtime=0.05 cores=0,2,4,6
/proc/18080/task/18091/stat : 18091 (java) S 18062 18062 16770 0 -1 1077944384 186 0 0 0 5 0 0 0 20 0 19 0 224122344 8261857280 28965 33554432000 4194304 4196468 140734637162192 140088960461552 140089516145282 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18092] ppid=18062 vsize=8068220 memory=15880 CPUtime=0.21 cores=0,2,4,6
/proc/18080/task/18092/stat : 18092 (java) S 18062 18062 16770 0 -1 1077944384 813 0 0 0 21 0 0 0 20 0 19 0 224122344 8261857280 28965 33554432000 4194304 4196468 140734637162192 140088959408752 140089516145282 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18093] ppid=18062 vsize=8068220 memory=16228 CPUtime=0 cores=0,2,4,6
/proc/18080/task/18093/stat : 18093 (java) S 18062 18062 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224122344 8261857280 28965 33554432000 4194304 4196468 140734637162192 140087069240032 140089516144341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18094] ppid=18062 vsize=8068220 memory=33824 CPUtime=0.29 cores=0,2,4,6
/proc/18080/task/18094/stat : 18094 (java) S 18062 18062 16770 0 -1 1077944384 31 0 0 0 17 12 0 0 20 0 19 0 224122345 8261857280 28965 33554432000 4194304 4196468 140734637162192 140088958356144 140089516145282 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18096] ppid=18062 vsize=8068220 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/18080/task/18096/stat : 18096 (java) S 18062 18062 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224122413 8261857280 28965 33554432000 4194304 4196468 140734637162192 140088950547648 140089516158745 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18098] ppid=18062 vsize=8068220 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/18080/task/18098/stat : 18098 (java) S 18062 18062 16770 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 224122413 8261857280 28965 33554432000 4194304 4196468 140734637162192 140086532353296 140089516156061 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18099] ppid=18062 vsize=8068220 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/18080/task/18099/stat : 18099 (java) S 18062 18062 16770 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224122413 8261857280 28965 33554432000 4194304 4196468 140734637162192 140086263922832 140089516156061 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18100] ppid=18062 vsize=8068220 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/18080/task/18100/stat : 18100 (java) S 18062 18062 16770 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 224122416 8261857280 28965 33554432000 4194304 4196468 140734637162192 140086666583712 140089516144341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
Current children cumulated CPU time: 453.33 s
Current children cumulated vsize: 8247716 KiB
Current children cumulated memory: 165352 KiB
[startup+449.707 s]
/proc/loadavg: 2.01 2.02 2.05 3/227 18115
/proc/meminfo: memFree=10429008/32770624 swapFree=67108860/67108860
[pid=18062] ppid=18059 vsize=113128 memory=1468 CPUtime=5.41 cores=0,2,4,6
/proc/18062/stat : 18062 (scop.sh) S 18059 18062 16770 0 -1 4202496 590 24611 0 0 0 0 525 16 20 0 1 0 224122099 115843072 367 33554432000 4194304 5098028 140722656463872 140722656460616 140209759380092 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35049472 140722656465984 140722656466183 140722656466183 140722656468941 0
/proc/18062/statm: 28282 367 311 221 0 87 0
[pid=18080] ppid=18062 vsize=7937144 memory=117412 CPUtime=448.07 cores=0,2,4,6
/proc/18080/stat : 18080 (java) S 18062 18062 16770 0 -1 1077944320 19205 60537 0 0 139 17 44645 6 20 0 17 0 224122338 8127635456 29353 33554432000 4194304 4196468 140734637162192 140734637144736 140089516134135 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
/proc/18080/statm: 1984286 29353 3152 1 0 1945685 0
[pid=18080/tid=18081] ppid=18062 vsize=7937144 memory=115860 CPUtime=447.29 cores=0,2,4,6
/proc/18080/task/18081/stat : 18081 (java) R 18062 18062 16770 0 -1 4202560 15681 60537 0 0 73 5 44645 6 20 0 17 0 224122339 8127635456 29353 33554432000 4194304 4196468 140734637162192 140089487962048 140089500214622 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18082] ppid=18062 vsize=7937144 memory=1468 CPUtime=446.51 cores=0,2,4,6
/proc/18080/task/18082/stat : 18082 (java) S 18062 18062 16770 0 -1 1077944384 1 60537 0 0 0 0 44645 6 20 0 17 0 224122340 8127635456 29353 33554432000 4194304 4196468 140734637162192 140089520376976 140089516144341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18083] ppid=18062 vsize=7937144 memory=115860 CPUtime=446.51 cores=0,2,4,6
/proc/18080/task/18083/stat : 18083 (java) S 18062 18062 16770 0 -1 1077944384 2 60537 0 0 0 0 44645 6 20 0 17 0 224122340 8127635456 29353 33554432000 4194304 4196468 140734637162192 140089001094160 140089516144341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18084] ppid=18062 vsize=7937144 memory=0 CPUtime=446.51 cores=0,2,4,6
/proc/18080/task/18084/stat : 18084 (java) S 18062 18062 16770 0 -1 1077944384 2 60537 0 0 0 0 44645 6 20 0 17 0 224122340 8127635456 29353 33554432000 4194304 4196468 140734637162192 140089000041360 140089516144341 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18085] ppid=18062 vsize=7937144 memory=47488 CPUtime=446.51 cores=0,2,4,6
/proc/18080/task/18085/stat : 18085 (java) S 18062 18062 16770 0 -1 1077944384 1 60537 0 0 0 0 44645 6 20 0 17 0 224122340 8127635456 29353 33554432000 4194304 4196468 140734637162192 140088998988560 140089516144341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18086] ppid=18062 vsize=7937144 memory=115860 CPUtime=446.51 cores=0,2,4,6
/proc/18080/task/18086/stat : 18086 (java) S 18062 18062 16770 0 -1 1077944384 7 60537 0 0 0 0 44645 6 20 0 17 0 224122341 8127635456 29353 33554432000 4194304 4196468 140734637162192 140088962566512 140089516145282 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18087] ppid=18062 vsize=7937144 memory=47488 CPUtime=446.51 cores=0,2,4,6
/proc/18080/task/18087/stat : 18087 (java) S 18062 18062 16770 0 -1 1077944384 13 60537 0 0 0 0 44645 6 20 0 17 0 224122342 8127635456 29353 33554432000 4194304 4196468 140734637162192 140088210088992 140089516144341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18088] ppid=18062 vsize=7937144 memory=47488 CPUtime=446.51 cores=0,2,4,6
/proc/18080/task/18088/stat : 18088 (java) S 18062 18062 16770 0 -1 1077944384 1 60537 0 0 0 0 44645 6 20 0 17 0 224122342 8127635456 29353 33554432000 4194304 4196468 140734637162192 140087941653360 140089516144341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18089] ppid=18062 vsize=7937144 memory=1468 CPUtime=446.51 cores=0,2,4,6
/proc/18080/task/18089/stat : 18089 (java) S 18062 18062 16770 0 -1 1077944384 3 60537 0 0 0 0 44645 6 20 0 17 0 224122344 8127635456 29353 33554432000 4194304 4196468 140734637162192 140087567144784 140089516152731 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18090] ppid=18062 vsize=7937144 memory=1468 CPUtime=446.64 cores=0,2,4,6
/proc/18080/task/18090/stat : 18090 (java) R 18062 18062 16770 0 -1 4202560 757 60537 0 0 13 0 44645 6 20 0 17 0 224122344 8127635456 29353 33554432000 4194304 4196468 140734637162192 140088961504208 140089501055938 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18091] ppid=18062 vsize=7937144 memory=1468 CPUtime=446.57 cores=0,2,4,6
/proc/18080/task/18091/stat : 18091 (java) S 18062 18062 16770 0 -1 1077944384 332 60537 0 0 6 0 44645 6 20 0 17 0 224122344 8127635456 29353 33554432000 4194304 4196468 140734637162192 140088960461552 140089516145282 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18092] ppid=18062 vsize=7937144 memory=115860 CPUtime=446.73 cores=0,2,4,6
/proc/18080/task/18092/stat : 18092 (java) S 18062 18062 16770 0 -1 1077944384 924 60537 0 0 22 0 44645 6 20 0 17 0 224122344 8127635456 29353 33554432000 4194304 4196468 140734637162192 140088959408752 140089516145282 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18093] ppid=18062 vsize=7937144 memory=115860 CPUtime=446.51 cores=0,2,4,6
/proc/18080/task/18093/stat : 18093 (java) S 18062 18062 16770 0 -1 1077944384 3 60537 0 0 0 0 44645 6 20 0 17 0 224122344 8127635456 29353 33554432000 4194304 4196468 140734637162192 140087069240032 140089516144341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18094] ppid=18062 vsize=7937144 memory=1468 CPUtime=446.8 cores=0,2,4,6
/proc/18080/task/18094/stat : 18094 (java) S 18062 18062 16770 0 -1 1077944384 31 60537 0 0 17 12 44645 6 20 0 17 0 224122345 8127635456 29353 33554432000 4194304 4196468 140734637162192 140088958356144 140089516145282 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18096] ppid=18062 vsize=7937144 memory=115860 CPUtime=446.51 cores=0,2,4,6
/proc/18080/task/18096/stat : 18096 (java) S 18062 18062 16770 0 -1 1077944384 30 60537 0 0 0 0 44645 6 20 0 17 0 224122413 8127635456 29353 33554432000 4194304 4196468 140734637162192 140088950546832 140089516145282 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
[pid=18080/tid=18100] ppid=18062 vsize=7937144 memory=1468 CPUtime=446.51 cores=0,2,4,6
/proc/18080/task/18100/stat : 18100 (java) S 18062 18062 16770 0 -1 1077944384 36 60537 0 0 0 0 44645 6 20 0 17 0 224122416 8127635456 29353 33554432000 4194304 4196468 140734637162192 140086666585520 140089516145282 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33972224 140734637163701 140734637163825 140734637163825 140734637166543 0
Current children cumulated CPU time: 453.48 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 118880 KiB
Child status: 0
Real time (s): 449.783
CPU time (s): 453.668
CPU user time (s): 453.246
CPU system time (s): 0.42252
CPU usage (%): 100.864
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 518160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 453.246
system time used= 0.42252
maximum resident set size= 521164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105290
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15323
involuntary context switches= 249
# summary of solver processes directly reported to runsolver:
# pid: 18062
# total CPU time (s): 453.668
# total CPU user time (s): 453.246
# total CPU system time (s): 0.42252
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.3324 second user time and 4.71674 second system time
The end