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-18176-serial-file.bin HOME/instance-4305438-1534066040.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:27:20 CEST 2018
0.66/0.55 c PID: 18179
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.39/0.97 c (0,0) Parsing End
1.39/0.98 c (0,0) CSP: 68 int (0 aux), 17 bool (0 aux), 52 ctr, max domain size 200
1.39/0.98 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.39/0.98 c (0,0) Constraint Name Generate Begin
1.39/0.99 c (0,0) Ctr:HOME/instance-4305438-1534066040.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num
1.39/0.99 c (0,0) Constraint Name Generate End
1.39/0.99 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.39/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.07 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.96/1.24 c (0,0) translated 42 (80%) constraints
1.96/1.28 c (0,0) translated 47 (90%) constraints
2.23/1.33 c (0,0) translated 52 (100%) constraints
2.52/1.47 c (0,0) STATISTICS1:HOME/instance-4305438-1534066040.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,153,425,384,196,4,3,384:4;382:8;380:12;378:16;372:20;368:24;350:28;344:32;334:36;332:40;330:44;322:48;318:52;304:56;274:60;262:64;2:34,196:66;192:66;191:66;190:66;189:66;186:66;184:66;175:66;172:66;167:66;166:66;165:66;161:66;159:66;152:66;137:66;131:66;2:1156,4:136;3:85;2:170;1:34,3:544;2:34;1:578;0:17,
2.52/1.47 c (0,0) ==========================================
2.52/1.47 c (0,0) Order
2.52/1.47 c (0,0) ==========================================
2.52/1.48 c (0,0) translated 43 (10%) constraints
2.52/1.49 c (0,0) translated 85 (20%) constraints
2.52/1.49 c (0,0) translated 128 (30%) constraints
2.52/1.50 c (0,0) translated 170 (40%) constraints
2.52/1.50 c (0,0) translated 213 (50%) constraints
2.52/1.50 c (0,0) translated 255 (60%) constraints
2.87/1.51 c (0,0) translated 298 (70%) constraints
2.87/1.51 c (0,0) translated 340 (80%) constraints
2.87/1.52 c (0,0) translated 383 (90%) constraints
2.87/1.52 c (0,0) translated 425 (100%) constraints
2.87/1.53 c (0,0) CSP to CSPinCNF End
2.87/1.53 c (0,0) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 196
2.87/1.53 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.87/1.53 c (0,0) CSPinCNF Propagation Begin
2.87/1.59 c (1,1) 0 values, 17 unsatisfiable literals, and 0 valid clauses are removed
2.87/1.59 c (1,1) CSPinCNF Propagation End
2.87/1.60 c (1,1) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 196
2.87/1.60 c (1,1) Heap : 112 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
2.87/1.60 c (1,1) Simplify CSPinCNF Begin
3.19/1.66 c (1,1) Simplify CSPinCNF End
3.19/1.66 c (1,1) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 196
3.19/1.66 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.19/1.66 c (1,1) Calculate Precise Domain Begin
3.19/1.66 c (1,1) 0 values are removed by re-calculation
3.19/1.66 c (1,1) Calculate Precise Domain End
3.19/1.66 c (1,1) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 196
3.19/1.66 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.19/1.66 c (1,1) CSPinCNF to SatSolver Begin
3.50/1.72 c (1,1) 97 (10 %) CSP clauses are encoded (6455 SAT variables, 5854 SAT clauses)
3.50/1.73 c (1,1) 194 (20 %) CSP clauses are encoded (6455 SAT variables, 5951 SAT clauses)
3.50/1.73 c (1,1) 291 (30 %) CSP clauses are encoded (6455 SAT variables, 6048 SAT clauses)
3.84/1.86 c (1,1) 388 (40 %) CSP clauses are encoded (6455 SAT variables, 24313 SAT clauses)
4.15/1.95 c (1,1) 485 (50 %) CSP clauses are encoded (6455 SAT variables, 45110 SAT clauses)
4.15/2.00 c (1,1) 582 (60 %) CSP clauses are encoded (6455 SAT variables, 60101 SAT clauses)
4.48/2.06 c (1,1) 679 (70 %) CSP clauses are encoded (6455 SAT variables, 80074 SAT clauses)
4.68/2.12 c (1,1) 776 (80 %) CSP clauses are encoded (6455 SAT variables, 102531 SAT clauses)
4.68/2.17 c (1,1) 873 (90 %) CSP clauses are encoded (6455 SAT variables, 124013 SAT clauses)
4.80/2.22 c (1,1) 969 (100 %) CSP clauses are encoded (6455 SAT variables, 141024 SAT clauses)
4.80/2.22 c (1,1) Launch Command will be: minisat_release
4.80/2.22 c (1,1) CSPinCNF to SatSolver End
4.80/2.22 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
4.80/2.24 c (1,1) STATISTICS2:HOME/instance-4305438-1534066040.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,697,969,384,196,4,3,384:4;382:8;380:12;378:16;372:20;368:24;350:28;344:32;334:36;332:40;330:44;322:48;318:52;304:56;274:60;262:64;2:34,196:66;192:66;191:66;190:66;189:66;186:66;184:66;175:66;172:66;167:66;166:66;165:66;161:66;159:66;152:66;137:66;131:66;2:2244,4:136;3:68;2:731;1:34,3:544;2:34;1:1666,
4.80/2.24 c (1,1) 6455 bool, 141255 clause
4.80/2.24 c (1,1) Export Begin
4.98/2.34 c (1,1) Export to HOME/scop-18176-serial-file.bin
4.98/2.34 c (1,1) Export End
4.98/2.35 c (1,1) Export File Size: 0.03 MB
4.98/2.35 c (1,1) 0,0,0,1,1,1,1,STOP-AFTER(DIMACS)
4.98/2.35 c END-Prog: Sun Aug 12 11:27:22 CEST 2018
4.98/2.36 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-18176-serial-file.bin
5.10/2.85 c (0,0) Read Serial File Begin
5.10/2.85 c (0,0) HOME/scop-18176-serial-file.bin
5.99/3.04 c (0,0) Read Serial File End
5.99/3.06
5.99/3.06 scop order+minisat_release (2018-07-31)
5.99/3.06 (Solving Process)
5.99/3.06
5.99/3.08 c BEGIN-Prog: Sun Aug 12 11:27:23 CEST 2018
5.99/3.08 c PID: 18194
5.99/3.08 c IP: 172.20.3.139
5.99/3.08 c HOST: node139.alineos.net
5.99/3.08 c (0,0) SatSolver.solve Begin
5.99/3.08 c (0,0) 0 bool, 0 clause
5.99/3.08 c (0,0) minisat_release HOME/instance-4305438-1534066040.xml-scop-18179.cnf
875.03/871.48 c (868,0) c This is COMiniSatPS.
875.03/871.48 c (868,0) c WARNING: for repeatability, setting FPU to use double precision
875.03/871.48 c (868,0) c ============================[ Problem Statistics ]=============================
875.03/871.48 c (868,0) c | |
875.03/871.48 c (868,0) c | Number of variables: 6455 |
875.03/871.48 c (868,0) c | Number of clauses: 141255 |
875.03/871.49 c (868,0) c | Parse time: 0.04 s |
875.03/871.49 c (868,0) c | Eliminated clauses: 0.01 Mb |
875.03/871.49 c (868,0) c Reduced to 5929 vars, 140576 cls (grow=0)
875.03/871.49 c (868,0) c No iterative elimination performed. (vars=5929, c/v ratio=23.7)
875.03/871.49 c (868,0) c | Simplification time: 0.26 s |
875.03/871.49 c (868,0) c | |
875.03/871.49 c (868,0) c ============================[ Search Statistics ]==============================
875.03/871.49 c (868,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
875.03/871.49 c (868,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
875.03/871.49 c (868,0) c ===============================================================================
875.03/871.49 c (868,0) c ===============================================================================
875.03/871.49 c (868,0) c restarts : 7114
875.03/871.49 c (868,0) c conflicts : 3990798 (4597 /sec)
875.03/871.49 c (868,0) c decisions : 6231934 (0.00 % random) (7178 /sec)
875.03/871.49 c (868,0) c propagations : 1635849237 (1884251 /sec)
875.03/871.49 c (868,0) c conflict literals : 137269787 (41.28 % deleted)
875.03/871.49 c (868,0) c CPU time : 868.169 s
875.03/871.49 c (868,0)
875.03/871.49 c (868,0) s SATISFIABLE
875.16/871.51 c (868,0) SatSolver.solve End
875.16/871.51 c (868,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
875.16/871.51 c (868,0) Show results Begin
875.16/871.57 s SATISFIABLE
875.16/871.58 v <instantiation>
875.16/871.58 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>
875.16/871.58 v <values>36 71 0 88 158 71 76 11 0 36 88 114 11 114 0 79 79 64 64 64 34 34 118 118 145 145 150 122 122 160 151 0 34 0 35 17 36 70 42 5 12 25 11 40 26 44 77 86 79 9 121 86 54 81 88 117 32 42 15 55 10 78 29 40 49 64 30 34 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0</values>
875.16/871.58 v </instantiation>
875.16/871.58 c (868,0) Show results End
875.16/871.58 c (868,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
875.16/871.58 c (868,0) 868,868,STOP-AFTER(ALL)
875.16/871.58 c END-Prog: Sun Aug 12 11:41:52 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 (4668 MiB free)
memory of node 1: 16384 MiB (5667 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305438-1534066040/watcher-4305438-1534066040 -o /tmp/evaluation-result-4305438-1534066040/solver-4305438-1534066040 -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-4305438-1534066040.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=18176, runsolver pid=18173
[startup+0.100292 s]*
/proc/loadavg: 2.01 2.02 2.05 3/222 18193
/proc/meminfo: memFree=10525364/32770624 swapFree=67108860/67108860
[pid=18176] ppid=18173 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/18176/stat : 18176 (scop.sh) S 18173 18176 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224167157 115843072 348 33554432000 4194304 5098028 140720602377408 140720602374664 140172830909052 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22040576 140720602379328 140720602379527 140720602379527 140720602382285 0
/proc/18176/statm: 28282 348 296 221 0 87 0
[pid=18179] ppid=18176 vsize=15012476 memory=71572 CPUtime=0.1 cores=0,2,4,6
/proc/18179/stat : 18179 (java) S 18176 18176 16770 0 -1 1077944320 6541 0 0 0 9 1 0 0 20 0 15 0 224167157 15372775424 17893 33554432000 4194304 4196468 140731998767824 140731998750368 139743941902071 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
/proc/18179/statm: 3753119 17893 2739 1 0 3715579 0
[pid=18179/tid=18180] ppid=18176 vsize=15012476 memory=-6292511387775451073 CPUtime=0.08 cores=0,2,4,6
/proc/18179/task/18180/stat : 18180 (java) R 18176 18176 16770 0 -1 4202560 4674 0 0 0 7 1 0 0 20 0 15 0 224167158 15372775424 17893 33554432000 4194304 4196468 140731998767824 139743913705016 139743925982558 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18181] ppid=18176 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18181/stat : 18181 (java) S 18176 18176 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224167159 15372775424 17893 33554432000 4194304 4196468 140731998767824 139743946144528 139743941912277 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18182] ppid=18176 vsize=15012476 memory=139919293736576 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18182/stat : 18182 (java) S 18176 18176 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224167159 15372775424 17893 33554432000 4194304 4196468 140731998767824 139743744920464 139743941912277 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18183] ppid=18176 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18183/stat : 18183 (java) S 18176 18176 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224167159 15372775424 17893 33554432000 4194304 4196468 140731998767824 139743743867920 139743941912277 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18184] ppid=18176 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18184/stat : 18184 (java) S 18176 18176 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224167159 15372775424 17893 33554432000 4194304 4196468 140731998767824 139743742815376 139743941912277 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18185] ppid=18176 vsize=15012476 memory=139919293736576 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18185/stat : 18185 (java) S 18176 18176 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224167161 15372775424 17893 33554432000 4194304 4196468 140731998767824 139743348590576 139743941913218 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18186] ppid=18176 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18186/stat : 18186 (java) S 18176 18176 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224167161 15372775424 17893 33554432000 4194304 4196468 140731998767824 139742498775968 139743941912277 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18187] ppid=18176 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18187/stat : 18187 (java) S 18176 18176 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224167161 15372775424 17893 33554432000 4194304 4196468 140731998767824 139742263895024 139743941912277 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18188] ppid=18176 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18188/stat : 18188 (java) S 18176 18176 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224167164 15372775424 17893 33554432000 4194304 4196468 140731998767824 139741889386704 139743941920667 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18189] ppid=18176 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18189/stat : 18189 (java) S 18176 18176 16770 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 224167164 15372775424 17893 33554432000 4194304 4196468 140731998767824 139743347538416 139743941913218 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18190] ppid=18176 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18190/stat : 18190 (java) S 18176 18176 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224167164 15372775424 17893 33554432000 4194304 4196468 140731998767824 139743346485872 139743941913218 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18191] ppid=18176 vsize=15012476 memory=139919293736576 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18191/stat : 18191 (java) S 18176 18176 16770 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 15 0 224167164 15372775424 17893 33554432000 4194304 4196468 140731998767824 139743345433328 139743941913218 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18192] ppid=18176 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18192/stat : 18192 (java) S 18176 18176 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224167164 15372775424 17893 33554432000 4194304 4196468 140731998767824 139741391481952 139743941912277 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18193] ppid=18176 vsize=15012476 memory=139919293736576 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18193/stat : 18193 (java) S 18176 18176 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224167164 15372775424 17893 33554432000 4194304 4196468 140731998767824 139743344380208 139743941913218 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 72964 KiB
[startup+0.211259 s]*
/proc/loadavg: 2.01 2.02 2.05 4/222 18193
/proc/meminfo: memFree=10510640/32770624 swapFree=67108860/67108860
[pid=18176] ppid=18173 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/18176/stat : 18176 (scop.sh) S 18173 18176 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224167157 115843072 348 33554432000 4194304 5098028 140720602377408 140720602374664 140172830909052 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22040576 140720602379328 140720602379527 140720602379527 140720602382285 0
/proc/18176/statm: 28282 348 296 221 0 87 0
[pid=18179] ppid=18176 vsize=15012476 memory=85392 CPUtime=0.25 cores=0,2,4,6
/proc/18179/stat : 18179 (java) S 18176 18176 16770 0 -1 1077944320 10248 0 0 0 22 3 0 0 20 0 15 0 224167157 15372775424 21348 33554432000 4194304 4196468 140731998767824 140731998750368 139743941902071 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
/proc/18179/statm: 3753119 21348 2903 1 0 3715579 0
[pid=18179/tid=18180] ppid=18176 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/18179/task/18180/stat : 18180 (java) R 18176 18176 16770 0 -1 4202560 8141 0 0 0 17 2 0 0 20 0 15 0 224167158 15372775424 21348 33554432000 4194304 4196468 140731998767824 139743913723240 139743925945701 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18181] ppid=18176 vsize=15012476 memory=365 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18181/stat : 18181 (java) S 18176 18176 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224167159 15372775424 21348 33554432000 4194304 4196468 140731998767824 139743946144528 139743941912277 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18182] ppid=18176 vsize=15012476 memory=139919294925075 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18182/stat : 18182 (java) S 18176 18176 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224167159 15372775424 21348 33554432000 4194304 4196468 140731998767824 139743744920464 139743941912277 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18183] ppid=18176 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18183/stat : 18183 (java) S 18176 18176 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224167159 15372775424 21348 33554432000 4194304 4196468 140731998767824 139743743867920 139743941912277 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18184] ppid=18176 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18184/stat : 18184 (java) S 18176 18176 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224167159 15372775424 21348 33554432000 4194304 4196468 140731998767824 139743742815376 139743941912277 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18185] ppid=18176 vsize=15012476 memory=139919293736576 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18185/stat : 18185 (java) S 18176 18176 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224167161 15372775424 21348 33554432000 4194304 4196468 140731998767824 139743348590576 139743941913218 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18186] ppid=18176 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18186/stat : 18186 (java) S 18176 18176 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224167161 15372775424 21348 33554432000 4194304 4196468 140731998767824 139742498775968 139743941912277 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18187] ppid=18176 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18187/stat : 18187 (java) S 18176 18176 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224167161 15372775424 21348 33554432000 4194304 4196468 140731998767824 139742263895024 139743941912277 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18188] ppid=18176 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18188/stat : 18188 (java) S 18176 18176 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224167164 15372775424 21348 33554432000 4194304 4196468 140731998767824 139741889386704 139743941920667 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18189] ppid=18176 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/18179/task/18189/stat : 18189 (java) S 18176 18176 16770 0 -1 1077944384 330 0 0 0 1 0 0 0 20 0 15 0 224167164 15372775424 21348 33554432000 4194304 4196468 140731998767824 139743347538416 139743941913218 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18190] ppid=18176 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18190/stat : 18190 (java) S 18176 18176 16770 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 224167164 15372775424 21348 33554432000 4194304 4196468 140731998767824 139743346485872 139743941913218 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18191] ppid=18176 vsize=15012476 memory=139919293736576 CPUtime=0.03 cores=0,2,4,6
/proc/18179/task/18191/stat : 18191 (java) S 18176 18176 16770 0 -1 1077944384 312 0 0 0 3 0 0 0 20 0 15 0 224167164 15372775424 21348 33554432000 4194304 4196468 140731998767824 139743345433328 139743941913218 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18192] ppid=18176 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18192/stat : 18192 (java) S 18176 18176 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224167164 15372775424 21348 33554432000 4194304 4196468 140731998767824 139741391481952 139743941912277 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18193] ppid=18176 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18193/stat : 18193 (java) S 18176 18176 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224167164 15372775424 21348 33554432000 4194304 4196468 140731998767824 139743344380208 139743941913218 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86784 KiB
[startup+0.310437 s]*
/proc/loadavg: 2.01 2.02 2.05 3/222 18193
/proc/meminfo: memFree=10507104/32770624 swapFree=67108860/67108860
[pid=18176] ppid=18173 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/18176/stat : 18176 (scop.sh) S 18173 18176 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224167157 115843072 348 33554432000 4194304 5098028 140720602377408 140720602374664 140172830909052 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22040576 140720602379328 140720602379527 140720602379527 140720602382285 0
/proc/18176/statm: 28282 348 296 221 0 87 0
[pid=18179] ppid=18176 vsize=15012476 memory=89584 CPUtime=0.42 cores=0,2,4,6
/proc/18179/stat : 18179 (java) S 18176 18176 16770 0 -1 1077944320 10855 0 0 0 39 3 0 0 20 0 15 0 224167157 15372775424 22396 33554432000 4194304 4196468 140731998767824 140731998750368 139743941902071 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
/proc/18179/statm: 3753119 22396 2980 1 0 3715579 0
[pid=18179/tid=18180] ppid=18176 vsize=15012476 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/18179/task/18180/stat : 18180 (java) R 18176 18176 16770 0 -1 4202560 8575 0 0 0 26 2 0 0 20 0 15 0 224167158 15372775424 22396 33554432000 4194304 4196468 140731998767824 139743913697520 139743925088897 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18181] ppid=18176 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18181/stat : 18181 (java) S 18176 18176 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224167159 15372775424 22396 33554432000 4194304 4196468 140731998767824 139743946144528 139743941912277 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18182] ppid=18176 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18182/stat : 18182 (java) S 18176 18176 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224167159 15372775424 22396 33554432000 4194304 4196468 140731998767824 139743744920464 139743941912277 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18183] ppid=18176 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18183/stat : 18183 (java) S 18176 18176 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224167159 15372775424 22396 33554432000 4194304 4196468 140731998767824 139743743867920 139743941912277 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18184] ppid=18176 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18184/stat : 18184 (java) S 18176 18176 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224167159 15372775424 22396 33554432000 4194304 4196468 140731998767824 139743742815376 139743941912277 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18185] ppid=18176 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18185/stat : 18185 (java) S 18176 18176 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224167161 15372775424 22396 33554432000 4194304 4196468 140731998767824 139743348590576 139743941913218 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18186] ppid=18176 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18186/stat : 18186 (java) S 18176 18176 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224167161 15372775424 22396 33554432000 4194304 4196468 140731998767824 139742498775968 139743941912277 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18187] ppid=18176 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18187/stat : 18187 (java) S 18176 18176 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224167161 15372775424 22396 33554432000 4194304 4196468 140731998767824 139742263895024 139743941912277 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18188] ppid=18176 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18188/stat : 18188 (java) S 18176 18176 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224167164 15372775424 22396 33554432000 4194304 4196468 140731998767824 139741889386704 139743941920667 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18189] ppid=18176 vsize=15012476 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/18179/task/18189/stat : 18189 (java) S 18176 18176 16770 0 -1 1077944384 439 0 0 0 3 0 0 0 20 0 15 0 224167164 15372775424 22396 33554432000 4194304 4196468 140731998767824 139743347538416 139743941913218 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18190] ppid=18176 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/18179/task/18190/stat : 18190 (java) S 18176 18176 16770 0 -1 1077944384 150 0 0 0 1 0 0 0 20 0 15 0 224167164 15372775424 22396 33554432000 4194304 4196468 140731998767824 139743346485872 139743941913218 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18191] ppid=18176 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18179/task/18191/stat : 18191 (java) S 18176 18176 16770 0 -1 1077944384 359 0 0 0 7 0 0 0 20 0 15 0 224167164 15372775424 22396 33554432000 4194304 4196468 140731998767824 139743345433328 139743941913218 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18192] ppid=18176 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18192/stat : 18192 (java) S 18176 18176 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224167164 15372775424 22396 33554432000 4194304 4196468 140731998767824 139741391481952 139743941912277 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18193] ppid=18176 vsize=15012476 memory=3977302101095161905 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18193/stat : 18193 (java) S 18176 18176 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224167164 15372775424 22396 33554432000 4194304 4196468 140731998767824 139743344380208 139743941913218 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 90976 KiB
[startup+0.704509 s]
/proc/loadavg: 2.01 2.02 2.05 3/222 18193
/proc/meminfo: memFree=10482920/32770624 swapFree=67108860/67108860
[pid=18176] ppid=18173 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/18176/stat : 18176 (scop.sh) S 18173 18176 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224167157 115843072 348 33554432000 4194304 5098028 140720602377408 140720602374664 140172830909052 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22040576 140720602379328 140720602379527 140720602379527 140720602382285 0
/proc/18176/statm: 28282 348 296 221 0 87 0
[pid=18179] ppid=18176 vsize=15020872 memory=129928 CPUtime=1 cores=0,2,4,6
/proc/18179/stat : 18179 (java) S 18176 18176 16770 0 -1 1077944320 18113 0 0 0 95 5 0 0 20 0 15 0 224167157 15381372928 32482 33554432000 4194304 4196468 140731998767824 140731998750368 139743941902071 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
/proc/18179/statm: 3755218 32482 3165 1 0 3716603 0
[pid=18179/tid=18180] ppid=18176 vsize=15020872 memory=-7816663703405220396 CPUtime=0.67 cores=0,2,4,6
/proc/18179/task/18180/stat : 18180 (java) R 18176 18176 16770 0 -1 4202560 15326 0 0 0 62 5 0 0 20 0 15 0 224167158 15381372928 32482 33554432000 4194304 4196468 140731998767824 139743913730560 139743941923997 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18181] ppid=18176 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18181/stat : 18181 (java) S 18176 18176 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224167159 15381372928 32482 33554432000 4194304 4196468 140731998767824 139743946144528 139743941912277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18182] ppid=18176 vsize=15020872 memory=60836 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18182/stat : 18182 (java) S 18176 18176 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224167159 15381372928 32482 33554432000 4194304 4196468 140731998767824 139743744920464 139743941912277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18183] ppid=18176 vsize=15020872 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18183/stat : 18183 (java) S 18176 18176 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224167159 15381372928 32482 33554432000 4194304 4196468 140731998767824 139743743867920 139743941912277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18184] ppid=18176 vsize=15020872 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18184/stat : 18184 (java) S 18176 18176 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224167159 15381372928 32482 33554432000 4194304 4196468 140731998767824 139743742815376 139743941912277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18185] ppid=18176 vsize=15020872 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18185/stat : 18185 (java) S 18176 18176 16770 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 224167161 15381372928 32482 33554432000 4194304 4196468 140731998767824 139743348590576 139743941913218 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18186] ppid=18176 vsize=15020872 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18186/stat : 18186 (java) S 18176 18176 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224167161 15381372928 32482 33554432000 4194304 4196468 140731998767824 139742498775968 139743941912277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18187] ppid=18176 vsize=15020872 memory=796 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18187/stat : 18187 (java) S 18176 18176 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224167161 15381372928 32482 33554432000 4194304 4196468 140731998767824 139742263895024 139743941912277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18188] ppid=18176 vsize=15020872 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18188/stat : 18188 (java) S 18176 18176 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224167164 15381372928 32482 33554432000 4194304 4196468 140731998767824 139741889386704 139743941920667 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18189] ppid=18176 vsize=15020872 memory=876 CPUtime=0.1 cores=0,2,4,6
/proc/18179/task/18189/stat : 18189 (java) R 18176 18176 16770 0 -1 4202560 662 0 0 0 10 0 0 0 20 0 15 0 224167164 15381372928 32482 33554432000 4194304 4196468 140731998767824 139743347525968 139743927966048 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18190] ppid=18176 vsize=15020872 memory=10096 CPUtime=0.05 cores=0,2,4,6
/proc/18179/task/18190/stat : 18190 (java) R 18176 18176 16770 0 -1 4202560 284 0 0 0 5 0 0 0 20 0 15 0 224167164 15381372928 32482 33554432000 4194304 4196468 140731998767824 139743346466888 139743923446798 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18191] ppid=18176 vsize=15020872 memory=1228 CPUtime=0.16 cores=0,2,4,6
/proc/18179/task/18191/stat : 18191 (java) R 18176 18176 16770 0 -1 1077944384 505 0 0 0 16 0 0 0 20 0 15 0 224167164 15381372928 32482 33554432000 4194304 4196468 140731998767824 139743345432512 139743941912277 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18192] ppid=18176 vsize=15020872 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18192/stat : 18192 (java) S 18176 18176 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224167164 15381372928 32482 33554432000 4194304 4196468 140731998767824 139741391481952 139743941912277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
[pid=18179/tid=18193] ppid=18176 vsize=15020872 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/18179/task/18193/stat : 18193 (java) S 18176 18176 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224167164 15381372928 32482 33554432000 4194304 4196468 140731998767824 139743344380208 139743941913218 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21024768 140731998770182 140731998770481 140731998770481 140731998773199 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131320 KiB
[startup+1.50625 s]
/proc/loadavg: 2.01 2.02 2.05 3/222 18193
/proc/meminfo: memFree=10453764/32770624 swapFree=67108860/67108860
[pid=18176] ppid=18173 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/18176/stat : 18176 (scop.sh) S 18173 18176 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224167157 115843072 348 33554432000 4194304 5098028 140720602377408 140720602374664 140172830909052 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22040576 140720602379328 140720602379527 140720602379527 140720602382285 0
/proc/18176/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
/proc/18194/task/18212/stat : 18212 (java) S 18176 18176 16770 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 224167468 8261857280 29216 33554432000 4194304 4196468 140720496319600 140307991604752 140310849180829 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18213] ppid=18176 vsize=8068220 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18213/stat : 18213 (java) S 18176 18176 16770 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 224167468 8261857280 29216 33554432000 4194304 4196468 140720496319600 140308125826960 140310849180829 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18214] ppid=18176 vsize=8068220 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18214/stat : 18214 (java) S 18176 18176 16770 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 224167470 8261857280 29216 33554432000 4194304 4196468 140720496319600 140307723181472 140310849169109 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
Current children cumulated CPU time: 874.03 s
Current children cumulated vsize: 8272204 KiB
Current children cumulated memory: 186268 KiB
[startup+871.201 s]
/proc/loadavg: 2.12 2.04 2.05 3/228 18245
/proc/meminfo: memFree=10398464/32770624 swapFree=67108860/67108860
[pid=18176] ppid=18173 vsize=113128 memory=1468 CPUtime=5.1 cores=0,2,4,6
/proc/18176/stat : 18176 (scop.sh) S 18173 18176 16770 0 -1 4202496 590 24782 0 0 0 0 493 17 20 0 1 0 224167157 115843072 367 33554432000 4194304 5098028 140720602377408 140720602374152 140172830909052 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22040576 140720602379328 140720602379527 140720602379527 140720602382285 0
/proc/18176/statm: 28282 367 311 221 0 87 0
[pid=18194] ppid=18176 vsize=8068220 memory=116864 CPUtime=1.75 cores=0,2,4,6
/proc/18194/stat : 18194 (java) S 18176 18176 16770 0 -1 1077944320 18584 0 0 0 147 28 0 0 20 0 19 0 224167393 8261857280 29216 33554432000 4194304 4196468 140720496319600 140720496302144 140310849158903 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
/proc/18194/statm: 2017055 29216 3148 1 0 1978454 0
[pid=18209] ppid=18194 vsize=90856 memory=67936 CPUtime=867.98 cores=0,2,4,6
/proc/18209/stat : 18209 (minisat_release) R 18194 18176 16770 0 -1 4202496 99004 0 0 0 86788 10 0 0 20 0 1 0 224167468 93036544 16984 33554432000 4194304 4308513 140723949976800 140723949973704 4276436 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 28639232 140723949978740 140723949978838 140723949978838 140723949981637 0
/proc/18209/statm: 22714 16984 341 28 0 18954 0
[pid=18194/tid=18195] ppid=18176 vsize=8068220 memory=-7824251494390781034 CPUtime=0.76 cores=0,2,4,6
/proc/18194/task/18195/stat : 18195 (java) S 18176 18176 16770 0 -1 1077944384 15641 0 0 0 72 4 0 0 20 0 19 0 224167393 8261857280 29216 33554432000 4194304 4196468 140720496319600 140310820999056 140310849169109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18196] ppid=18176 vsize=8068220 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18196/stat : 18196 (java) S 18176 18176 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224167395 8261857280 29216 33554432000 4194304 4196468 140720496319600 140310853401488 140310849169109 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18197] ppid=18176 vsize=8068220 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18197/stat : 18197 (java) S 18176 18176 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224167395 8261857280 29216 33554432000 4194304 4196468 140720496319600 140310678043408 140310849169109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18198] ppid=18176 vsize=8068220 memory=279838328120144 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18198/stat : 18198 (java) S 18176 18176 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224167395 8261857280 29216 33554432000 4194304 4196468 140720496319600 140310332734608 140310849169109 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18199] ppid=18176 vsize=8068220 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18199/stat : 18199 (java) S 18176 18176 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224167395 8261857280 29216 33554432000 4194304 4196468 140720496319600 140310331681808 140310849169109 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18200] ppid=18176 vsize=8068220 memory=590024333707077100 CPUtime=0.01 cores=0,2,4,6
/proc/18194/task/18200/stat : 18200 (java) S 18176 18176 16770 0 -1 1077944384 7 0 0 0 1 0 0 0 20 0 19 0 224167396 8261857280 29216 33554432000 4194304 4196468 140720496319600 140310295582832 140310849170050 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18201] ppid=18176 vsize=8068220 memory=-7824251494390781034 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18201/stat : 18201 (java) S 18176 18176 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224167396 8261857280 29216 33554432000 4194304 4196468 140720496319600 140309669339936 140310849169109 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18202] ppid=18176 vsize=8068220 memory=67936 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18202/stat : 18202 (java) S 18176 18176 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224167397 8261857280 29216 33554432000 4194304 4196468 140720496319600 140309400904816 140310849169109 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18203] ppid=18176 vsize=8068220 memory=67936 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18203/stat : 18203 (java) S 18176 18176 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224167399 8261857280 29216 33554432000 4194304 4196468 140720496319600 140309026396240 140310849177499 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18204] ppid=18176 vsize=8068220 memory=4048 CPUtime=0.09 cores=0,2,4,6
/proc/18194/task/18204/stat : 18204 (java) S 18176 18176 16770 0 -1 1077944384 649 0 0 0 9 0 0 0 20 0 19 0 224167399 8261857280 29216 33554432000 4194304 4196468 140720496319600 140310294530672 140310849170050 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18205] ppid=18176 vsize=8068220 memory=4486604260213485459 CPUtime=0.09 cores=0,2,4,6
/proc/18194/task/18205/stat : 18205 (java) S 18176 18176 16770 0 -1 1077944384 281 0 0 0 9 0 0 0 20 0 19 0 224167399 8261857280 29216 33554432000 4194304 4196468 140720496319600 140310293477872 140310849170050 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18206] ppid=18176 vsize=8068220 memory=116864 CPUtime=0.21 cores=0,2,4,6
/proc/18194/task/18206/stat : 18206 (java) S 18176 18176 16770 0 -1 1077944384 542 0 0 0 21 0 0 0 20 0 19 0 224167399 8261857280 29216 33554432000 4194304 4196468 140720496319600 140310292425584 140310849170050 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18207] ppid=18176 vsize=8068220 memory=67936 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18207/stat : 18207 (java) S 18176 18176 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224167399 8261857280 29216 33554432000 4194304 4196468 140720496319600 140308528491488 140310849169109 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18208] ppid=18176 vsize=8068220 memory=4048 CPUtime=0.53 cores=0,2,4,6
/proc/18194/task/18208/stat : 18208 (java) S 18176 18176 16770 0 -1 1077944384 59 0 0 0 28 25 0 0 20 0 19 0 224167400 8261857280 29216 33554432000 4194304 4196468 140720496319600 140310291372464 140310849170050 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18210] ppid=18176 vsize=8068220 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18210/stat : 18210 (java) S 18176 18176 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224167468 8261857280 29216 33554432000 4194304 4196468 140720496319600 140310283563968 140310849183513 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18212] ppid=18176 vsize=8068220 memory=876 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18212/stat : 18212 (java) S 18176 18176 16770 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 224167468 8261857280 29216 33554432000 4194304 4196468 140720496319600 140307991604752 140310849180829 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18213] ppid=18176 vsize=8068220 memory=10096 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18213/stat : 18213 (java) S 18176 18176 16770 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 224167468 8261857280 29216 33554432000 4194304 4196468 140720496319600 140308125826960 140310849180829 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18214] ppid=18176 vsize=8068220 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18214/stat : 18214 (java) S 18176 18176 16770 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 224167470 8261857280 29216 33554432000 4194304 4196468 140720496319600 140307723181472 140310849169109 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
Current children cumulated CPU time: 874.83 s
Current children cumulated vsize: 8272204 KiB
Current children cumulated memory: 186268 KiB
[startup+871.401 s]
/proc/loadavg: 2.12 2.04 2.05 3/228 18245
/proc/meminfo: memFree=10398464/32770624 swapFree=67108860/67108860
[pid=18176] ppid=18173 vsize=113128 memory=1468 CPUtime=5.1 cores=0,2,4,6
/proc/18176/stat : 18176 (scop.sh) S 18173 18176 16770 0 -1 4202496 590 24782 0 0 0 0 493 17 20 0 1 0 224167157 115843072 367 33554432000 4194304 5098028 140720602377408 140720602374152 140172830909052 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22040576 140720602379328 140720602379527 140720602379527 140720602382285 0
/proc/18176/statm: 28282 367 311 221 0 87 0
[pid=18194] ppid=18176 vsize=8068220 memory=116864 CPUtime=1.75 cores=0,2,4,6
/proc/18194/stat : 18194 (java) S 18176 18176 16770 0 -1 1077944320 18584 0 0 0 147 28 0 0 20 0 19 0 224167393 8261857280 29216 33554432000 4194304 4196468 140720496319600 140720496302144 140310849158903 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
/proc/18194/statm: 2017055 29216 3148 1 0 1978454 0
[pid=18209] ppid=18194 vsize=90856 memory=67936 CPUtime=868.18 cores=0,2,4,6
/proc/18209/stat : 18209 (minisat_release) R 18194 18176 16770 0 -1 4202496 99010 0 0 0 86808 10 0 0 20 0 1 0 224167468 93036544 16984 33554432000 4194304 4308513 140723949976800 140723949973704 4275982 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 28639232 140723949978740 140723949978838 140723949978838 140723949981637 0
/proc/18209/statm: 22714 16984 341 28 0 18954 0
[pid=18194/tid=18195] ppid=18176 vsize=8068220 memory=1468 CPUtime=0.76 cores=0,2,4,6
/proc/18194/task/18195/stat : 18195 (java) S 18176 18176 16770 0 -1 1077944384 15641 0 0 0 72 4 0 0 20 0 19 0 224167393 8261857280 29216 33554432000 4194304 4196468 140720496319600 140310820999056 140310849169109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18196] ppid=18176 vsize=8068220 memory=116864 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18196/stat : 18196 (java) S 18176 18176 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224167395 8261857280 29216 33554432000 4194304 4196468 140720496319600 140310853401488 140310849169109 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18197] ppid=18176 vsize=8068220 memory=67936 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18197/stat : 18197 (java) S 18176 18176 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224167395 8261857280 29216 33554432000 4194304 4196468 140720496319600 140310678043408 140310849169109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18198] ppid=18176 vsize=8068220 memory=116864 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18198/stat : 18198 (java) S 18176 18176 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224167395 8261857280 29216 33554432000 4194304 4196468 140720496319600 140310332734608 140310849169109 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18199] ppid=18176 vsize=8068220 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18199/stat : 18199 (java) S 18176 18176 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224167395 8261857280 29216 33554432000 4194304 4196468 140720496319600 140310331681808 140310849169109 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18200] ppid=18176 vsize=8068220 memory=1952 CPUtime=0.01 cores=0,2,4,6
/proc/18194/task/18200/stat : 18200 (java) S 18176 18176 16770 0 -1 1077944384 7 0 0 0 1 0 0 0 20 0 19 0 224167396 8261857280 29216 33554432000 4194304 4196468 140720496319600 140310295582832 140310849170050 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18201] ppid=18176 vsize=8068220 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18201/stat : 18201 (java) S 18176 18176 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224167396 8261857280 29216 33554432000 4194304 4196468 140720496319600 140309669339936 140310849169109 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18202] ppid=18176 vsize=8068220 memory=8804 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18202/stat : 18202 (java) S 18176 18176 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224167397 8261857280 29216 33554432000 4194304 4196468 140720496319600 140309400904816 140310849169109 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18203] ppid=18176 vsize=8068220 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18203/stat : 18203 (java) S 18176 18176 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224167399 8261857280 29216 33554432000 4194304 4196468 140720496319600 140309026396240 140310849177499 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18204] ppid=18176 vsize=8068220 memory=1428 CPUtime=0.09 cores=0,2,4,6
/proc/18194/task/18204/stat : 18204 (java) S 18176 18176 16770 0 -1 1077944384 649 0 0 0 9 0 0 0 20 0 19 0 224167399 8261857280 29216 33554432000 4194304 4196468 140720496319600 140310294530672 140310849170050 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18205] ppid=18176 vsize=8068220 memory=279838326925536 CPUtime=0.09 cores=0,2,4,6
/proc/18194/task/18205/stat : 18205 (java) S 18176 18176 16770 0 -1 1077944384 281 0 0 0 9 0 0 0 20 0 19 0 224167399 8261857280 29216 33554432000 4194304 4196468 140720496319600 140310293477872 140310849170050 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18206] ppid=18176 vsize=8068220 memory=80317901703402 CPUtime=0.21 cores=0,2,4,6
/proc/18194/task/18206/stat : 18206 (java) S 18176 18176 16770 0 -1 1077944384 542 0 0 0 21 0 0 0 20 0 19 0 224167399 8261857280 29216 33554432000 4194304 4196468 140720496319600 140310292425584 140310849170050 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18207] ppid=18176 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18207/stat : 18207 (java) S 18176 18176 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224167399 8261857280 29216 33554432000 4194304 4196468 140720496319600 140308528491488 140310849169109 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18208] ppid=18176 vsize=8068220 memory=116864 CPUtime=0.53 cores=0,2,4,6
/proc/18194/task/18208/stat : 18208 (java) S 18176 18176 16770 0 -1 1077944384 59 0 0 0 28 25 0 0 20 0 19 0 224167400 8261857280 29216 33554432000 4194304 4196468 140720496319600 140310291372464 140310849170050 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18210] ppid=18176 vsize=8068220 memory=67936 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18210/stat : 18210 (java) S 18176 18176 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224167468 8261857280 29216 33554432000 4194304 4196468 140720496319600 140310283563968 140310849183513 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18212] ppid=18176 vsize=8068220 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18212/stat : 18212 (java) S 18176 18176 16770 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 224167468 8261857280 29216 33554432000 4194304 4196468 140720496319600 140307991604752 140310849180829 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18213] ppid=18176 vsize=8068220 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18213/stat : 18213 (java) S 18176 18176 16770 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 224167468 8261857280 29216 33554432000 4194304 4196468 140720496319600 140308125826960 140310849180829 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18214] ppid=18176 vsize=8068220 memory=3500 CPUtime=0 cores=0,2,4,6
/proc/18194/task/18214/stat : 18214 (java) S 18176 18176 16770 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 224167470 8261857280 29216 33554432000 4194304 4196468 140720496319600 140307723181472 140310849169109 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
Current children cumulated CPU time: 875.03 s
Current children cumulated vsize: 8272204 KiB
Current children cumulated memory: 186268 KiB
[startup+871.501 s]
/proc/loadavg: 2.12 2.04 2.05 3/228 18245
/proc/meminfo: memFree=10398464/32770624 swapFree=67108860/67108860
[pid=18176] ppid=18173 vsize=113128 memory=1468 CPUtime=5.1 cores=0,2,4,6
/proc/18176/stat : 18176 (scop.sh) S 18173 18176 16770 0 -1 4202496 590 24782 0 0 0 0 493 17 20 0 1 0 224167157 115843072 367 33554432000 4194304 5098028 140720602377408 140720602374152 140172830909052 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22040576 140720602379328 140720602379527 140720602379527 140720602382285 0
/proc/18176/statm: 28282 367 311 221 0 87 0
[pid=18194] ppid=18176 vsize=8068220 memory=119388 CPUtime=870.06 cores=0,2,4,6
/proc/18194/stat : 18194 (java) S 18176 18176 16770 0 -1 1077944320 18656 99033 0 0 150 28 86817 11 20 0 18 0 224167393 8261857280 29847 33554432000 4194304 4196468 140720496319600 140720496302144 140310849158903 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
/proc/18194/statm: 2017055 29847 3149 1 0 1978454 0
[pid=18194/tid=18195] ppid=18176 vsize=8068220 memory=1468 CPUtime=869.04 cores=0,2,4,6
/proc/18194/task/18195/stat : 18195 (java) S 18176 18176 16770 0 -1 1077944384 15641 99033 0 0 72 4 86817 11 20 0 18 0 224167393 8261857280 29847 33554432000 4194304 4196468 140720496319600 140310820999056 140310849169109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18196] ppid=18176 vsize=8068220 memory=116864 CPUtime=868.28 cores=0,2,4,6
/proc/18194/task/18196/stat : 18196 (java) S 18176 18176 16770 0 -1 1077944384 1 99033 0 0 0 0 86817 11 20 0 18 0 224167395 8261857280 29847 33554432000 4194304 4196468 140720496319600 140310853401488 140310849169109 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18197] ppid=18176 vsize=8068220 memory=116864 CPUtime=868.28 cores=0,2,4,6
/proc/18194/task/18197/stat : 18197 (java) S 18176 18176 16770 0 -1 1077944384 1 99033 0 0 0 0 86817 11 20 0 18 0 224167395 8261857280 29847 33554432000 4194304 4196468 140720496319600 140310678043408 140310849169109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18198] ppid=18176 vsize=8068220 memory=116864 CPUtime=868.28 cores=0,2,4,6
/proc/18194/task/18198/stat : 18198 (java) S 18176 18176 16770 0 -1 1077944384 1 99033 0 0 0 0 86817 11 20 0 18 0 224167395 8261857280 29847 33554432000 4194304 4196468 140720496319600 140310332734608 140310849169109 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18199] ppid=18176 vsize=8068220 memory=116864 CPUtime=868.28 cores=0,2,4,6
/proc/18194/task/18199/stat : 18199 (java) S 18176 18176 16770 0 -1 1077944384 2 99033 0 0 0 0 86817 11 20 0 18 0 224167395 8261857280 29847 33554432000 4194304 4196468 140720496319600 140310331681808 140310849169109 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18200] ppid=18176 vsize=8068220 memory=116864 CPUtime=868.29 cores=0,2,4,6
/proc/18194/task/18200/stat : 18200 (java) S 18176 18176 16770 0 -1 1077944384 7 99033 0 0 1 0 86817 11 20 0 18 0 224167396 8261857280 29847 33554432000 4194304 4196468 140720496319600 140310295582832 140310849170050 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18201] ppid=18176 vsize=8068220 memory=116864 CPUtime=868.28 cores=0,2,4,6
/proc/18194/task/18201/stat : 18201 (java) S 18176 18176 16770 0 -1 1077944384 13 99033 0 0 0 0 86817 11 20 0 18 0 224167396 8261857280 29847 33554432000 4194304 4196468 140720496319600 140309669339936 140310849169109 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18202] ppid=18176 vsize=8068220 memory=1468 CPUtime=868.28 cores=0,2,4,6
/proc/18194/task/18202/stat : 18202 (java) S 18176 18176 16770 0 -1 1077944384 1 99033 0 0 0 0 86817 11 20 0 18 0 224167397 8261857280 29847 33554432000 4194304 4196468 140720496319600 140309400904816 140310849169109 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18203] ppid=18176 vsize=8068220 memory=0 CPUtime=868.28 cores=0,2,4,6
/proc/18194/task/18203/stat : 18203 (java) S 18176 18176 16770 0 -1 1077944384 3 99033 0 0 0 0 86817 11 20 0 18 0 224167399 8261857280 29847 33554432000 4194304 4196468 140720496319600 140309026396240 140310849177499 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18204] ppid=18176 vsize=8068220 memory=116864 CPUtime=868.37 cores=0,2,4,6
/proc/18194/task/18204/stat : 18204 (java) R 18176 18176 16770 0 -1 4202560 651 99033 0 0 9 0 86817 11 20 0 18 0 224167399 8261857280 29847 33554432000 4194304 4196468 140720496319600 140310294530672 140310849180250 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18205] ppid=18176 vsize=8068220 memory=612 CPUtime=868.38 cores=0,2,4,6
/proc/18194/task/18205/stat : 18205 (java) R 18176 18176 16770 0 -1 4202560 289 99033 0 0 10 0 86817 11 20 0 18 0 224167399 8261857280 29847 33554432000 4194304 4196468 140720496319600 140310293477872 140310826499312 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18206] ppid=18176 vsize=8068220 memory=636 CPUtime=868.49 cores=0,2,4,6
/proc/18194/task/18206/stat : 18206 (java) R 18176 18176 16770 0 -1 1077944384 563 99033 0 0 21 0 86817 11 20 0 18 0 224167399 8261857280 29847 33554432000 4194304 4196468 140720496319600 140310292425584 140310849170050 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18207] ppid=18176 vsize=8068220 memory=116864 CPUtime=868.28 cores=0,2,4,6
/proc/18194/task/18207/stat : 18207 (java) S 18176 18176 16770 0 -1 1077944384 3 99033 0 0 0 0 86817 11 20 0 18 0 224167399 8261857280 29847 33554432000 4194304 4196468 140720496319600 140308528491488 140310849169109 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18208] ppid=18176 vsize=8068220 memory=4128 CPUtime=868.81 cores=0,2,4,6
/proc/18194/task/18208/stat : 18208 (java) S 18176 18176 16770 0 -1 1077944384 59 99033 0 0 28 25 86817 11 20 0 18 0 224167400 8261857280 29847 33554432000 4194304 4196468 140720496319600 140310291372464 140310849170050 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18210] ppid=18176 vsize=8068220 memory=6791534058613427641 CPUtime=868.28 cores=0,2,4,6
/proc/18194/task/18210/stat : 18210 (java) S 18176 18176 16770 0 -1 1077944384 28 99033 0 0 0 0 86817 11 20 0 18 0 224167468 8261857280 29847 33554432000 4194304 4196468 140720496319600 140310283563152 140310849170050 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18212] ppid=18176 vsize=8068220 memory=1796 CPUtime=868.29 cores=0,2,4,6
/proc/18194/task/18212/stat : 18212 (java) R 18176 18176 16770 0 -1 4202560 62 99033 0 0 1 0 86817 11 20 0 18 0 224167468 8261857280 29847 33554432000 4194304 4196468 140720496319600 140307991612832 140310849170838 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
[pid=18194/tid=18214] ppid=18176 vsize=8068220 memory=1468 CPUtime=868.28 cores=0,2,4,6
/proc/18194/task/18214/stat : 18214 (java) S 18176 18176 16770 0 -1 1077944384 4 99033 0 0 0 0 86817 11 20 0 18 0 224167470 8261857280 29847 33554432000 4194304 4196468 140720496319600 140307723181232 140310849169109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25157632 140720496325813 140720496325937 140720496325937 140720496328655 0
Current children cumulated CPU time: 875.16 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 120856 KiB
Child status: 0
Real time (s): 871.592
CPU time (s): 875.362
CPU user time (s): 874.785
CPU system time (s): 0.577237
CPU usage (%): 100.433
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 536040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 874.785
system time used= 0.577237
maximum resident set size= 539904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143513
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24587
involuntary context switches= 687
# summary of solver processes directly reported to runsolver:
# pid: 18176
# total CPU time (s): 875.362
# total CPU user time (s): 874.785
# total CPU system time (s): 0.577237
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.15746 second user time and 9.47714 second system time
The end