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-17196-serial-file.bin HOME/instance-4305396-1534067235.xml
0.55/0.51
0.55/0.51 scop order+minisat_release (2018-07-31)
0.55/0.51 (Encoding Process)
0.55/0.51
0.67/0.54 c BEGIN-Prog: Sun Aug 12 11:47:15 CEST 2018
0.67/0.54 c PID: 17199
0.67/0.54 c IP: 172.20.3.107
0.67/0.54 c HOST: node107.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.21/0.85 c (0,0) Parsing End
1.21/0.85 c (0,0) CSP: 35 int (0 aux), 0 bool (0 aux), 27 ctr, max domain size 26
1.21/0.85 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.21/0.85 c (0,0) Constraint Name Generate Begin
1.21/0.86 c (0,0) Ctr:HOME/instance-4305396-1534067235.xml,AllDifferent:Dist:Eq:IntVar
1.21/0.86 c (0,0) Constraint Name Generate End
1.21/0.86 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.21/0.86 c (0,0) CSP to CSPinCNF Begin
1.38/0.96 c (0,0) translated 3 (10%) constraints
1.38/0.97 c (0,0) translated 6 (20%) constraints
1.38/0.98 c (0,0) translated 9 (30%) constraints
1.38/0.99 c (0,0) translated 11 (40%) constraints
1.38/1.00 c (0,0) translated 14 (50%) constraints
1.59/1.01 c (0,0) translated 17 (60%) constraints
1.59/1.01 c (0,0) translated 19 (70%) constraints
1.59/1.02 c (0,0) translated 22 (80%) constraints
1.59/1.03 c (0,0) translated 25 (90%) constraints
1.59/1.06 c (0,0) translated 27 (100%) constraints
2.15/1.23 c (0,0) STATISTICS1:HOME/instance-4305396-1534067235.xml,AllDifferent:Dist:Eq:IntVar,35,424,650,26,25,3,650:100;26:45;25:300,26:310;25:750,25:2;10:2;2:370;1:50,3:100;2:345;1:70,
2.15/1.23 c (0,0) ==========================================
2.15/1.23 c (0,0) Order
2.15/1.23 c (0,0) ==========================================
2.15/1.25 c (0,0) translated 43 (10%) constraints
2.15/1.26 c (0,0) translated 85 (20%) constraints
2.15/1.27 c (0,0) translated 128 (30%) constraints
2.15/1.28 c (0,0) translated 170 (40%) constraints
2.15/1.28 c (0,0) translated 212 (50%) constraints
2.15/1.29 c (0,0) translated 255 (60%) constraints
2.39/1.30 c (0,0) translated 297 (70%) constraints
2.39/1.31 c (0,0) translated 340 (80%) constraints
2.39/1.31 c (0,0) translated 382 (90%) constraints
2.39/1.32 c (0,0) translated 424 (100%) constraints
2.39/1.32 c (0,0) CSP to CSPinCNF End
2.39/1.32 c (0,0) CSP: 35 int (0 aux), 0 bool (0 aux), 424 ctr, max domain size 26
2.39/1.32 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.39/1.32 c (0,0) CSPinCNF Propagation Begin
2.39/1.34 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.39/1.34 c (0,0) CSPinCNF Propagation End
2.39/1.34 c (0,0) CSP: 35 int (0 aux), 0 bool (0 aux), 424 ctr, max domain size 26
2.39/1.34 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.39/1.34 c (0,0) Simplify CSPinCNF Begin
2.66/1.44 c (0,0) Simplify CSPinCNF End
2.66/1.44 c (0,0) CSP: 35 int (0 aux), 740 bool (740 aux), 1164 ctr, max domain size 26
2.66/1.44 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.66/1.44 c (0,0) Calculate Precise Domain Begin
2.66/1.44 c (0,0) 0 values are removed by re-calculation
2.66/1.44 c (0,0) Calculate Precise Domain End
2.66/1.44 c (0,0) CSP: 35 int (0 aux), 740 bool (740 aux), 1164 ctr, max domain size 26
2.66/1.44 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.66/1.44 c (0,0) CSPinCNF to SatSolver Begin
3.31/1.69 c (1,1) 117 (10 %) CSP clauses are encoded (1590 SAT variables, 31038 SAT clauses)
3.62/1.71 c (1,1) 233 (20 %) CSP clauses are encoded (1590 SAT variables, 35222 SAT clauses)
3.62/1.72 c (1,1) 350 (30 %) CSP clauses are encoded (1590 SAT variables, 37206 SAT clauses)
3.62/1.74 c (1,1) 466 (40 %) CSP clauses are encoded (1590 SAT variables, 39170 SAT clauses)
3.62/1.75 c (1,1) 582 (50 %) CSP clauses are encoded (1590 SAT variables, 41134 SAT clauses)
3.62/1.76 c (1,1) 699 (60 %) CSP clauses are encoded (1590 SAT variables, 43123 SAT clauses)
3.62/1.77 c (1,1) 815 (70 %) CSP clauses are encoded (1590 SAT variables, 45111 SAT clauses)
3.62/1.78 c (1,1) 932 (80 %) CSP clauses are encoded (1590 SAT variables, 47100 SAT clauses)
3.62/1.79 c (1,1) 1048 (90 %) CSP clauses are encoded (1590 SAT variables, 49064 SAT clauses)
3.93/1.80 c (1,1) 1164 (100 %) CSP clauses are encoded (1590 SAT variables, 51028 SAT clauses)
3.93/1.80 c (1,1) Launch Command will be: minisat_release
3.93/1.80 c (1,1) CSPinCNF to SatSolver End
3.93/1.80 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.93/1.82 c (1,1) STATISTICS2:HOME/instance-4305396-1534067235.xml,AllDifferent:Dist:Eq:IntVar,775,1164,650,26,25,3,650:100;26:90;25:600,26:400;25:1350;2:1480,25:2;10:2;2:1110;1:50,3:100;2:690;1:1550,
3.93/1.82 c (1,1) 1590 bool, 51029 clause
3.93/1.82 c (1,1) Export Begin
4.25/1.91 c (1,1) Export to HOME/scop-17196-serial-file.bin
4.25/1.91 c (1,1) Export End
4.25/1.91 c (1,1) Export File Size: 0.01 MB
4.25/1.91 c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
4.25/1.91 c END-Prog: Sun Aug 12 11:47:17 CEST 2018
4.25/1.93 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-17196-serial-file.bin
4.91/2.41 c (0,0) Read Serial File Begin
4.91/2.41 c (0,0) HOME/scop-17196-serial-file.bin
5.05/2.56 c (0,0) Read Serial File End
5.05/2.58
5.05/2.58 scop order+minisat_release (2018-07-31)
5.05/2.58 (Solving Process)
5.05/2.58
5.19/2.60 c BEGIN-Prog: Sun Aug 12 11:47:18 CEST 2018
5.19/2.60 c PID: 17214
5.19/2.60 c IP: 172.20.3.107
5.19/2.60 c HOST: node107.alineos.net
5.19/2.60 c (0,0) SatSolver.solve Begin
5.19/2.60 c (0,0) 0 bool, 0 clause
5.19/2.60 c (0,0) minisat_release HOME/instance-4305396-1534067235.xml-scop-17199.cnf
43.86/41.18 c (38,0) c This is COMiniSatPS.
43.86/41.18 c (38,0) c WARNING: for repeatability, setting FPU to use double precision
43.86/41.18 c (38,0) c ============================[ Problem Statistics ]=============================
43.86/41.18 c (38,0) c | |
43.86/41.18 c (38,0) c | Number of variables: 1590 |
43.86/41.18 c (38,0) c | Number of clauses: 51029 |
43.86/41.18 c (38,0) c | Parse time: 0.01 s |
43.86/41.18 c (38,0) c | Eliminated clauses: 0.01 Mb |
43.86/41.18 c (38,0) c Reduced to 1220 vars, 50659 cls (grow=0)
43.86/41.18 c (38,0) c No iterative elimination performed. (vars=1220, c/v ratio=41.5)
43.86/41.18 c (38,0) c | Simplification time: 0.06 s |
43.86/41.18 c (38,0) c | |
43.86/41.18 c (38,0) c ============================[ Search Statistics ]==============================
43.86/41.18 c (38,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
43.86/41.18 c (38,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
43.86/41.18 c (38,0) c ===============================================================================
43.86/41.18 c (38,0) c ===============================================================================
43.86/41.18 c (38,0) c restarts : 1098
43.86/41.18 c (38,0) c conflicts : 536725 (13928 /sec)
43.86/41.18 c (38,0) c decisions : 639647 (0.00 % random) (16598 /sec)
43.86/41.18 c (38,0) c propagations : 89204953 (2314785 /sec)
43.86/41.18 c (38,0) c conflict literals : 8795004 (40.83 % deleted)
43.86/41.18 c (38,0) c CPU time : 38.537 s
43.86/41.18 c (38,0)
43.86/41.19 c (38,0) s SATISFIABLE
43.97/41.20 c (38,0) SatSolver.solve End
43.97/41.20 c (38,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
43.97/41.20 c (38,0) Show results Begin
43.97/41.26 s SATISFIABLE
43.97/41.27 v <instantiation>
43.97/41.27 v <list>cn[0][0] cn[0][1] cn[0][2] cn[0][3] cn[0][4] cn[1][0] cn[1][1] cn[1][2] cn[1][3] cn[1][4] ce[0][0][1] ce[0][0][2] ce[0][0][3] ce[0][0][4] ce[0][1][2] ce[0][1][3] ce[0][1][4] ce[0][2][3] ce[0][2][4] ce[0][3][4] ce[1][0][1] ce[1][0][2] ce[1][0][3] ce[1][0][4] ce[1][1][2] ce[1][1][3] ce[1][1][4] ce[1][2][3] ce[1][2][4] ce[1][3][4] cie[0][0] cie[0][1] cie[0][2] cie[0][3] cie[0][4]</list>
43.97/41.27 v <values>0 6 21 7 25 24 22 11 19 2 6 21 7 25 15 1 19 14 4 18 2 13 5 22 11 3 20 8 9 17 24 16 10 12 23</values>
43.97/41.27 v </instantiation>
43.97/41.27 c (38,0) Show results End
43.97/41.27 c (38,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
43.97/41.27 c (38,0) 38,38,STOP-AFTER(ALL)
43.97/41.27 c END-Prog: Sun Aug 12 11:47:56 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 (12701 MiB free)
memory of node 1: 16384 MiB (11319 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305396-1534067235/watcher-4305396-1534067235 -o /tmp/evaluation-result-4305396-1534067235/solver-4305396-1534067235 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534064712-16637 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305396-1534067235.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17196, runsolver pid=17193
Current StackSize limit: 8192 KiB
[startup+0.100168 s]*
/proc/loadavg: 2.16 2.05 1.97 3/222 17213
/proc/meminfo: memFree=24537948/32770624 swapFree=67108860/67108860
[pid=17196] ppid=17193 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/17196/stat : 17196 (scop.sh) S 17193 17196 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224286676 115843072 348 33554432000 4194304 5098028 140729914028048 140729914025304 139924787761788 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33476608 140729914029120 140729914029319 140729914029319 140729914032077 0
/proc/17196/statm: 28282 348 296 221 0 87 0
[pid=17199] ppid=17196 vsize=15012476 memory=72732 CPUtime=0.11 cores=1,3,5,7
/proc/17199/stat : 17199 (java) S 17196 17196 16605 0 -1 1077944320 6298 0 0 0 9 2 0 0 20 0 15 0 224286676 15372775424 18183 33554432000 4194304 4196468 140729953397712 140729953380256 140182175469303 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
/proc/17199/statm: 3753119 18183 2765 1 0 3715579 0
[pid=17199/tid=17200] ppid=17196 vsize=15012476 memory=-6222985969016291271 CPUtime=0.08 cores=1,3,5,7
/proc/17199/task/17200/stat : 17200 (java) R 17196 17196 16605 0 -1 4202560 4427 0 0 0 7 1 0 0 20 0 15 0 224286676 15372775424 18249 33554432000 4194304 4196468 140729953397712 140182147281288 140182155745010 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17201] ppid=17196 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17201/stat : 17201 (java) S 17196 17196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224286678 15372775424 18249 33554432000 4194304 4196468 140729953397712 140182179711248 140182175479509 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17202] ppid=17196 vsize=15012476 memory=140093963380352 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17202/stat : 17202 (java) S 17196 17196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224286678 15372775424 18249 33554432000 4194304 4196468 140729953397712 140181970794896 140182175479509 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17203] ppid=17196 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17203/stat : 17203 (java) S 17196 17196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224286678 15372775424 18249 33554432000 4194304 4196468 140729953397712 140181969742352 140182175479509 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17204] ppid=17196 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17204/stat : 17204 (java) S 17196 17196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224286678 15372775424 18249 33554432000 4194304 4196468 140729953397712 140181968689808 140182175479509 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17205] ppid=17196 vsize=15012476 memory=140093963380352 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17205/stat : 17205 (java) S 17196 17196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224286679 15372775424 18249 33554432000 4194304 4196468 140729953397712 140181145340400 140182175480450 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17206] ppid=17196 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17206/stat : 17206 (java) S 17196 17196 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224286680 15372775424 18249 33554432000 4194304 4196468 140729953397712 140180753212832 140182175479509 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17207] ppid=17196 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17207/stat : 17207 (java) S 17196 17196 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224286680 15372775424 18249 33554432000 4194304 4196468 140729953397712 140180484777456 140182175479509 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17208] ppid=17196 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17208/stat : 17208 (java) S 17196 17196 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224286682 15372775424 18249 33554432000 4194304 4196468 140729953397712 140180110269136 140182175487899 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17209] ppid=17196 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17209/stat : 17209 (java) S 17196 17196 16605 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 224286683 15372775424 18315 33554432000 4194304 4196468 140729953397712 140181144287216 140182175480450 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17210] ppid=17196 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17210/stat : 17210 (java) S 17196 17196 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224286683 15372775424 18315 33554432000 4194304 4196468 140729953397712 140181143234672 140182175480450 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17211] ppid=17196 vsize=15012476 memory=140093963380352 CPUtime=0.01 cores=1,3,5,7
/proc/17199/task/17211/stat : 17211 (java) S 17196 17196 16605 0 -1 1077944384 274 0 0 0 1 0 0 0 20 0 15 0 224286683 15372775424 18315 33554432000 4194304 4196468 140729953397712 140181142182128 140182175480450 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17212] ppid=17196 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17212/stat : 17212 (java) S 17196 17196 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224286683 15372775424 18315 33554432000 4194304 4196468 140729953397712 140179612363360 140182175479509 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17213] ppid=17196 vsize=15012476 memory=140093963380352 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17213/stat : 17213 (java) S 17196 17196 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224286683 15372775424 18315 33554432000 4194304 4196468 140729953397712 140181141130032 140182175480450 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74124 KiB
[startup+0.21063 s]*
/proc/loadavg: 2.16 2.05 1.97 3/222 17213
/proc/meminfo: memFree=24523888/32770624 swapFree=67108860/67108860
[pid=17196] ppid=17193 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/17196/stat : 17196 (scop.sh) S 17193 17196 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224286676 115843072 348 33554432000 4194304 5098028 140729914028048 140729914025304 139924787761788 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33476608 140729914029120 140729914029319 140729914029319 140729914032077 0
/proc/17196/statm: 28282 348 296 221 0 87 0
[pid=17199] ppid=17196 vsize=15012476 memory=85808 CPUtime=0.26 cores=1,3,5,7
/proc/17199/stat : 17199 (java) S 17196 17196 16605 0 -1 1077944320 9768 0 0 0 23 3 0 0 20 0 15 0 224286676 15372775424 21452 33554432000 4194304 4196468 140729953397712 140729953380256 140182175469303 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
/proc/17199/statm: 3753119 21452 2930 1 0 3715579 0
[pid=17199/tid=17200] ppid=17196 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/17199/task/17200/stat : 17200 (java) R 17196 17196 16605 0 -1 4202560 7670 0 0 0 18 2 0 0 20 0 15 0 224286676 15372775424 21452 33554432000 4194304 4196468 140729953397712 140182147282176 140182159846423 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17201] ppid=17196 vsize=15012476 memory=539 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17201/stat : 17201 (java) S 17196 17196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224286678 15372775424 21452 33554432000 4194304 4196468 140729953397712 140182179711248 140182175479509 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17202] ppid=17196 vsize=15012476 memory=3545377032012572320 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17202/stat : 17202 (java) S 17196 17196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224286678 15372775424 21452 33554432000 4194304 4196468 140729953397712 140181970794896 140182175479509 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17203] ppid=17196 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17203/stat : 17203 (java) S 17196 17196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224286678 15372775424 21452 33554432000 4194304 4196468 140729953397712 140181969742352 140182175479509 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17204] ppid=17196 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17204/stat : 17204 (java) S 17196 17196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224286678 15372775424 21452 33554432000 4194304 4196468 140729953397712 140181968689808 140182175479509 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17205] ppid=17196 vsize=15012476 memory=140093963380352 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17205/stat : 17205 (java) S 17196 17196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224286679 15372775424 21452 33554432000 4194304 4196468 140729953397712 140181145340400 140182175480450 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17206] ppid=17196 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17206/stat : 17206 (java) S 17196 17196 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224286680 15372775424 21452 33554432000 4194304 4196468 140729953397712 140180753212832 140182175479509 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17207] ppid=17196 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17207/stat : 17207 (java) S 17196 17196 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224286680 15372775424 21452 33554432000 4194304 4196468 140729953397712 140180484777456 140182175479509 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17208] ppid=17196 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17208/stat : 17208 (java) S 17196 17196 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224286682 15372775424 21452 33554432000 4194304 4196468 140729953397712 140180110269136 140182175487899 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17209] ppid=17196 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17209/stat : 17209 (java) R 17196 17196 16605 0 -1 4202560 341 0 0 0 0 0 0 0 20 0 15 0 224286683 15372775424 21452 33554432000 4194304 4196468 140729953397712 140181144287216 140182154632464 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17210] ppid=17196 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17210/stat : 17210 (java) R 17196 17196 16605 0 -1 4202560 134 0 0 0 0 0 0 0 20 0 15 0 224286683 15372775424 21452 33554432000 4194304 4196468 140729953397712 140181143233856 140182161533248 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17211] ppid=17196 vsize=15012476 memory=140093963380352 CPUtime=0.03 cores=1,3,5,7
/proc/17199/task/17211/stat : 17211 (java) R 17196 17196 16605 0 -1 1077944384 295 0 0 0 3 0 0 0 20 0 15 0 224286683 15372775424 21452 33554432000 4194304 4196468 140729953397712 140181142182128 140182175480450 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17212] ppid=17196 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17212/stat : 17212 (java) S 17196 17196 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224286683 15372775424 21452 33554432000 4194304 4196468 140729953397712 140179612363360 140182175479509 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17213] ppid=17196 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17213/stat : 17213 (java) S 17196 17196 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224286683 15372775424 21452 33554432000 4194304 4196468 140729953397712 140181141130032 140182175480450 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87200 KiB
[startup+0.310606 s]*
/proc/loadavg: 2.16 2.05 1.97 3/222 17213
/proc/meminfo: memFree=24520104/32770624 swapFree=67108860/67108860
[pid=17196] ppid=17193 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/17196/stat : 17196 (scop.sh) S 17193 17196 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224286676 115843072 348 33554432000 4194304 5098028 140729914028048 140729914025304 139924787761788 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33476608 140729914029120 140729914029319 140729914029319 140729914032077 0
/proc/17196/statm: 28282 348 296 221 0 87 0
[pid=17199] ppid=17196 vsize=15012476 memory=89684 CPUtime=0.43 cores=1,3,5,7
/proc/17199/stat : 17199 (java) S 17196 17196 16605 0 -1 1077944320 10398 0 0 0 40 3 0 0 20 0 15 0 224286676 15372775424 22421 33554432000 4194304 4196468 140729953397712 140729953380256 140182175469303 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
/proc/17199/statm: 3753119 22421 2979 1 0 3715579 0
[pid=17199/tid=17200] ppid=17196 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/17199/task/17200/stat : 17200 (java) R 17196 17196 16605 0 -1 4202560 8109 0 0 0 27 2 0 0 20 0 15 0 224286676 15372775424 22421 33554432000 4194304 4196468 140729953397712 140182147264304 140182175483167 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17201] ppid=17196 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17201/stat : 17201 (java) S 17196 17196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224286678 15372775424 22421 33554432000 4194304 4196468 140729953397712 140182179711248 140182175479509 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17202] ppid=17196 vsize=15012476 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17202/stat : 17202 (java) S 17196 17196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224286678 15372775424 22421 33554432000 4194304 4196468 140729953397712 140181970794896 140182175479509 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17203] ppid=17196 vsize=15012476 memory=7161331908245094050 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17203/stat : 17203 (java) S 17196 17196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224286678 15372775424 22421 33554432000 4194304 4196468 140729953397712 140181969742352 140182175479509 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17204] ppid=17196 vsize=15012476 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17204/stat : 17204 (java) S 17196 17196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224286678 15372775424 22421 33554432000 4194304 4196468 140729953397712 140181968689808 140182175479509 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17205] ppid=17196 vsize=15012476 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17205/stat : 17205 (java) S 17196 17196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224286679 15372775424 22421 33554432000 4194304 4196468 140729953397712 140181145340400 140182175480450 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17206] ppid=17196 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17206/stat : 17206 (java) S 17196 17196 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224286680 15372775424 22421 33554432000 4194304 4196468 140729953397712 140180753212832 140182175479509 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17207] ppid=17196 vsize=15012476 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17207/stat : 17207 (java) S 17196 17196 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224286680 15372775424 22421 33554432000 4194304 4196468 140729953397712 140180484777456 140182175479509 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17208] ppid=17196 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17208/stat : 17208 (java) S 17196 17196 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224286682 15372775424 22421 33554432000 4194304 4196468 140729953397712 140180110269136 140182175487899 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17209] ppid=17196 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/17199/task/17209/stat : 17209 (java) R 17196 17196 16605 0 -1 4202560 376 0 0 0 2 0 0 0 20 0 15 0 224286683 15372775424 22421 33554432000 4194304 4196468 140729953397712 140181144287312 140182156987220 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17210] ppid=17196 vsize=15012476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/17199/task/17210/stat : 17210 (java) R 17196 17196 16605 0 -1 1077944384 241 0 0 0 3 0 0 0 20 0 15 0 224286683 15372775424 22421 33554432000 4194304 4196468 140729953397712 140181143234672 140182175480450 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17211] ppid=17196 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17199/task/17211/stat : 17211 (java) R 17196 17196 16605 0 -1 4202560 339 0 0 0 7 0 0 0 20 0 15 0 224286683 15372775424 22421 33554432000 4194304 4196468 140729953397712 140181142182128 140182167706430 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17212] ppid=17196 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17212/stat : 17212 (java) S 17196 17196 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224286683 15372775424 22421 33554432000 4194304 4196468 140729953397712 140179612363360 140182175479509 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17213] ppid=17196 vsize=15012476 memory=3545238011844304945 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17213/stat : 17213 (java) S 17196 17196 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224286683 15372775424 22421 33554432000 4194304 4196468 140729953397712 140181141130032 140182175480450 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91076 KiB
[startup+0.702122 s]
/proc/loadavg: 2.16 2.05 1.97 3/222 17213
/proc/meminfo: memFree=24495532/32770624 swapFree=67108860/67108860
[pid=17196] ppid=17193 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/17196/stat : 17196 (scop.sh) S 17193 17196 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224286676 115843072 348 33554432000 4194304 5098028 140729914028048 140729914025304 139924787761788 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33476608 140729914029120 140729914029319 140729914029319 140729914032077 0
/proc/17196/statm: 28282 348 296 221 0 87 0
[pid=17199] ppid=17196 vsize=15020872 memory=130272 CPUtime=1.02 cores=1,3,5,7
/proc/17199/stat : 17199 (java) S 17196 17196 16605 0 -1 1077944320 17660 0 0 0 96 6 0 0 20 0 15 0 224286676 15381372928 32568 33554432000 4194304 4196468 140729953397712 140729953380256 140182175469303 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
/proc/17199/statm: 3755218 32568 3165 1 0 3716603 0
[pid=17199/tid=17200] ppid=17196 vsize=15020872 memory=-7082918048272507482 CPUtime=0.67 cores=1,3,5,7
/proc/17199/task/17200/stat : 17200 (java) R 17196 17196 16605 0 -1 4202560 14894 0 0 0 62 5 0 0 20 0 15 0 224286676 15381372928 32568 33554432000 4194304 4196468 140729953397712 140182147304288 140182161164295 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17201] ppid=17196 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17201/stat : 17201 (java) S 17196 17196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224286678 15381372928 32568 33554432000 4194304 4196468 140729953397712 140182179711248 140182175479509 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17202] ppid=17196 vsize=15020872 memory=61008 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17202/stat : 17202 (java) S 17196 17196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224286678 15381372928 32568 33554432000 4194304 4196468 140729953397712 140181970794896 140182175479509 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17203] ppid=17196 vsize=15020872 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17203/stat : 17203 (java) S 17196 17196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224286678 15381372928 32568 33554432000 4194304 4196468 140729953397712 140181969742352 140182175479509 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17204] ppid=17196 vsize=15020872 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17204/stat : 17204 (java) S 17196 17196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224286678 15381372928 32568 33554432000 4194304 4196468 140729953397712 140181968689808 140182175479509 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17205] ppid=17196 vsize=15020872 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17205/stat : 17205 (java) S 17196 17196 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224286679 15381372928 32568 33554432000 4194304 4196468 140729953397712 140181145340400 140182175480450 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17206] ppid=17196 vsize=15020872 memory=11192 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17206/stat : 17206 (java) S 17196 17196 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224286680 15381372928 32568 33554432000 4194304 4196468 140729953397712 140180753212832 140182175479509 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17207] ppid=17196 vsize=15020872 memory=752 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17207/stat : 17207 (java) S 17196 17196 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224286680 15381372928 32568 33554432000 4194304 4196468 140729953397712 140180484777456 140182175479509 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17208] ppid=17196 vsize=15020872 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17208/stat : 17208 (java) S 17196 17196 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224286682 15381372928 32568 33554432000 4194304 4196468 140729953397712 140180110269136 140182175487899 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17209] ppid=17196 vsize=15020872 memory=1120 CPUtime=0.06 cores=1,3,5,7
/proc/17199/task/17209/stat : 17209 (java) S 17196 17196 16605 0 -1 1077944384 484 0 0 0 6 0 0 0 20 0 15 0 224286683 15381372928 32568 33554432000 4194304 4196468 140729953397712 140181144287216 140182175480450 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17210] ppid=17196 vsize=15020872 memory=6120 CPUtime=0.1 cores=1,3,5,7
/proc/17199/task/17210/stat : 17210 (java) S 17196 17196 16605 0 -1 1077944384 473 0 0 0 10 0 0 0 20 0 15 0 224286683 15381372928 32568 33554432000 4194304 4196468 140729953397712 140181143234672 140182175480450 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17211] ppid=17196 vsize=15020872 memory=1724 CPUtime=0.16 cores=1,3,5,7
/proc/17199/task/17211/stat : 17211 (java) R 17196 17196 16605 0 -1 4202560 472 0 0 0 16 0 0 0 20 0 15 0 224286683 15381372928 32568 33554432000 4194304 4196468 140729953397712 140181142182128 140182153959280 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17212] ppid=17196 vsize=15020872 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17212/stat : 17212 (java) S 17196 17196 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224286683 15381372928 32568 33554432000 4194304 4196468 140729953397712 140179612363360 140182175479509 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
[pid=17199/tid=17213] ppid=17196 vsize=15020872 memory=3516 CPUtime=0 cores=1,3,5,7
/proc/17199/task/17213/stat : 17213 (java) S 17196 17196 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224286683 15381372928 32568 33554432000 4194304 4196468 140729953397712 140181141130032 140182175480450 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140729953403910 140729953404209 140729953404209 140729953406927 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131664 KiB
[startup+1.50533 s]
/proc/loadavg: 2.16 2.05 1.97 4/222 17213
/proc/meminfo: memFree=24468672/32770624 swapFree=67108860/67108860
[pid=17196] ppid=17193 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/17196/stat : 17196 (scop.sh) S 17193 17196 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224286676 115843072 348 33554432000 4194304 5098028 140729914028048 140729914025304 139924787761788 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33476608 140729914029120 140729914029319 140729914029319 140729914032077 0
/proc/17196/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
/proc/17214/task/17232/stat : 17232 (java) S 17196 17196 16605 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 224286939 8261857280 29545 33554432000 4194304 4196468 140737427594896 139621736362000 139624497374365 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17233] ppid=17196 vsize=8068220 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/17214/task/17233/stat : 17233 (java) S 17196 17196 16605 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224286939 8261857280 29545 33554432000 4194304 4196468 140737427594896 139621602139536 139624497374365 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17234] ppid=17196 vsize=8068220 memory=11192 CPUtime=0 cores=1,3,5,7
/proc/17214/task/17234/stat : 17234 (java) S 17196 17196 16605 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 224286941 8261857280 29545 33554432000 4194304 4196468 140737427594896 139621870590880 139624497362645 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
Current children cumulated CPU time: 41.15 s
Current children cumulated vsize: 8224160 KiB
Current children cumulated memory: 145060 KiB
[startup+40.001 s]*
/proc/loadavg: 2.17 2.07 1.98 3/227 17234
/proc/meminfo: memFree=24442164/32770624 swapFree=67108860/67108860
[pid=17196] ppid=17193 vsize=113128 memory=1468 CPUtime=4.29 cores=1,3,5,7
/proc/17196/stat : 17196 (scop.sh) S 17193 17196 16605 0 -1 4202496 589 24292 0 0 0 0 416 13 20 0 1 0 224286676 115843072 367 33554432000 4194304 5098028 140729914028048 140729914024792 139924787761788 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33476608 140729914029120 140729914029319 140729914029319 140729914032077 0
/proc/17196/statm: 28282 367 311 221 0 87 0
[pid=17214] ppid=17196 vsize=8068220 memory=118180 CPUtime=1.09 cores=1,3,5,7
/proc/17214/stat : 17214 (java) S 17196 17196 16605 0 -1 1077944320 17814 0 0 0 103 6 0 0 20 0 19 0 224286869 8261857280 29545 33554432000 4194304 4196468 140737427594896 140737427577440 139624497352439 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
/proc/17214/statm: 2017055 29545 3145 1 0 1978454 0
[pid=17229] ppid=17214 vsize=42812 memory=25412 CPUtime=37.38 cores=1,3,5,7
/proc/17229/stat : 17229 (minisat_release) R 17214 17196 16605 0 -1 4202496 20201 0 0 0 3736 2 0 0 20 0 1 0 224286938 43839488 6353 33554432000 4194304 4308513 140726526293712 140726526290712 4276036 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 12529664 140726526297204 140726526297302 140726526297302 140726526300101 0
/proc/17229/statm: 10703 6353 342 28 0 6943 0
[pid=17214/tid=17215] ppid=17196 vsize=8068220 memory=-7824251494390783081 CPUtime=0.72 cores=1,3,5,7
/proc/17214/task/17215/stat : 17215 (java) S 17196 17196 16605 0 -1 1077944384 14982 0 0 0 68 4 0 0 20 0 19 0 224286869 8261857280 29545 33554432000 4194304 4196468 140737427594896 139624469192592 139624497362645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17216] ppid=17196 vsize=8068220 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/17214/task/17216/stat : 17216 (java) S 17196 17196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224286870 8261857280 29545 33554432000 4194304 4196468 140737427594896 139624501594512 139624497362645 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17217] ppid=17196 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17214/task/17217/stat : 17217 (java) S 17196 17196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224286870 8261857280 29545 33554432000 4194304 4196468 140737427594896 139624301762832 139624497362645 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17218] ppid=17196 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17214/task/17218/stat : 17218 (java) S 17196 17196 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224286870 8261857280 29545 33554432000 4194304 4196468 140737427594896 139624300710544 139624497362645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17219] ppid=17196 vsize=8068220 memory=3184238013923562144 CPUtime=0 cores=1,3,5,7
/proc/17214/task/17219/stat : 17219 (java) S 17196 17196 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224286870 8261857280 29545 33554432000 4194304 4196468 140737427594896 139624299657744 139624497362645 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17220] ppid=17196 vsize=8068220 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/17214/task/17220/stat : 17220 (java) S 17196 17196 16605 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 224286872 8261857280 29545 33554432000 4194304 4196468 140737427594896 139623741221488 139624497363586 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17221] ppid=17196 vsize=8068220 memory=2180 CPUtime=0 cores=1,3,5,7
/proc/17214/task/17221/stat : 17221 (java) S 17196 17196 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224286872 8261857280 29545 33554432000 4194304 4196468 140737427594896 139623414097184 139624497362645 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17222] ppid=17196 vsize=8068220 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/17214/task/17222/stat : 17222 (java) S 17196 17196 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224286872 8261857280 29545 33554432000 4194304 4196468 140737427594896 139623145662064 139624497362645 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17223] ppid=17196 vsize=8068220 memory=6120 CPUtime=0 cores=1,3,5,7
/proc/17214/task/17223/stat : 17223 (java) S 17196 17196 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224286875 8261857280 29545 33554432000 4194304 4196468 140737427594896 139622771153488 139624497371035 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17224] ppid=17196 vsize=8068220 memory=1724 CPUtime=0.09 cores=1,3,5,7
/proc/17214/task/17224/stat : 17224 (java) S 17196 17196 16605 0 -1 1077944384 758 0 0 0 9 0 0 0 20 0 19 0 224286875 8261857280 29545 33554432000 4194304 4196468 140737427594896 139623740168304 139624497363586 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17225] ppid=17196 vsize=8068220 memory=4004 CPUtime=0.07 cores=1,3,5,7
/proc/17214/task/17225/stat : 17225 (java) S 17196 17196 16605 0 -1 1077944384 188 0 0 0 7 0 0 0 20 0 19 0 224286875 8261857280 29545 33554432000 4194304 4196468 140737427594896 139623739115504 139624497363586 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17226] ppid=17196 vsize=8068220 memory=3516 CPUtime=0.17 cores=1,3,5,7
/proc/17214/task/17226/stat : 17226 (java) S 17196 17196 16605 0 -1 1077944384 482 0 0 0 17 0 0 0 20 0 19 0 224286875 8261857280 29545 33554432000 4194304 4196468 140737427594896 139623738063216 139624497363586 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17227] ppid=17196 vsize=8068220 memory=872 CPUtime=0 cores=1,3,5,7
/proc/17214/task/17227/stat : 17227 (java) S 17196 17196 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224286875 8261857280 29545 33554432000 4194304 4196468 140737427594896 139622273247712 139624497362645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17228] ppid=17196 vsize=8068220 memory=1288 CPUtime=0 cores=1,3,5,7
/proc/17214/task/17228/stat : 17228 (java) S 17196 17196 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224286875 8261857280 29545 33554432000 4194304 4196468 140737427594896 139623737011120 139624497363586 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17230] ppid=17196 vsize=8068220 memory=1088 CPUtime=0 cores=1,3,5,7
/proc/17214/task/17230/stat : 17230 (java) S 17196 17196 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224286939 8261857280 29545 33554432000 4194304 4196468 140737427594896 139624286795200 139624497377049 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17232] ppid=17196 vsize=8068220 memory=15512 CPUtime=0 cores=1,3,5,7
/proc/17214/task/17232/stat : 17232 (java) S 17196 17196 16605 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 224286939 8261857280 29545 33554432000 4194304 4196468 140737427594896 139621736362000 139624497374365 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17233] ppid=17196 vsize=8068220 memory=33776 CPUtime=0 cores=1,3,5,7
/proc/17214/task/17233/stat : 17233 (java) S 17196 17196 16605 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224286939 8261857280 29545 33554432000 4194304 4196468 140737427594896 139621602139536 139624497374365 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17234] ppid=17196 vsize=8068220 memory=3312 CPUtime=0 cores=1,3,5,7
/proc/17214/task/17234/stat : 17234 (java) S 17196 17196 16605 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 224286941 8261857280 29545 33554432000 4194304 4196468 140737427594896 139621870590880 139624497362645 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
Current children cumulated CPU time: 42.76 s
Current children cumulated vsize: 8224160 KiB
Current children cumulated memory: 145060 KiB
[startup+40.8009 s]
/proc/loadavg: 2.17 2.07 1.98 3/227 17234
/proc/meminfo: memFree=24442164/32770624 swapFree=67108860/67108860
[pid=17196] ppid=17193 vsize=113128 memory=1468 CPUtime=4.29 cores=1,3,5,7
/proc/17196/stat : 17196 (scop.sh) S 17193 17196 16605 0 -1 4202496 589 24292 0 0 0 0 416 13 20 0 1 0 224286676 115843072 367 33554432000 4194304 5098028 140729914028048 140729914024792 139924787761788 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33476608 140729914029120 140729914029319 140729914029319 140729914032077 0
/proc/17196/statm: 28282 367 311 221 0 87 0
[pid=17214] ppid=17196 vsize=8068220 memory=118180 CPUtime=1.09 cores=1,3,5,7
/proc/17214/stat : 17214 (java) S 17196 17196 16605 0 -1 1077944320 17814 0 0 0 103 6 0 0 20 0 19 0 224286869 8261857280 29545 33554432000 4194304 4196468 140737427594896 140737427577440 139624497352439 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
/proc/17214/statm: 2017055 29545 3145 1 0 1978454 0
[pid=17229] ppid=17214 vsize=42812 memory=25412 CPUtime=38.17 cores=1,3,5,7
/proc/17229/stat : 17229 (minisat_release) R 17214 17196 16605 0 -1 4202496 20204 0 0 0 3815 2 0 0 20 0 1 0 224286938 43839488 6353 33554432000 4194304 4308513 140726526293712 140726526290712 4264061 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 12529664 140726526297204 140726526297302 140726526297302 140726526300101 0
/proc/17229/statm: 10703 6353 342 28 0 6943 0
[pid=17214/tid=17215] ppid=17196 vsize=8068220 memory=-7824251494390783081 CPUtime=0.72 cores=1,3,5,7
/proc/17214/task/17215/stat : 17215 (java) S 17196 17196 16605 0 -1 1077944384 14982 0 0 0 68 4 0 0 20 0 19 0 224286869 8261857280 29545 33554432000 4194304 4196468 140737427594896 139624469192592 139624497362645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17216] ppid=17196 vsize=8068220 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/17214/task/17216/stat : 17216 (java) S 17196 17196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224286870 8261857280 29545 33554432000 4194304 4196468 140737427594896 139624501594512 139624497362645 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17217] ppid=17196 vsize=8068220 memory=504 CPUtime=0 cores=1,3,5,7
/proc/17214/task/17217/stat : 17217 (java) S 17196 17196 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224286870 8261857280 29545 33554432000 4194304 4196468 140737427594896 139624301762832 139624497362645 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17218] ppid=17196 vsize=8068220 memory=924 CPUtime=0 cores=1,3,5,7
/proc/17214/task/17218/stat : 17218 (java) S 17196 17196 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224286870 8261857280 29545 33554432000 4194304 4196468 140737427594896 139624300710544 139624497362645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17219] ppid=17196 vsize=8068220 memory=1168 CPUtime=0 cores=1,3,5,7
/proc/17214/task/17219/stat : 17219 (java) S 17196 17196 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224286870 8261857280 29545 33554432000 4194304 4196468 140737427594896 139624299657744 139624497362645 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17220] ppid=17196 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17214/task/17220/stat : 17220 (java) S 17196 17196 16605 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 224286872 8261857280 29545 33554432000 4194304 4196468 140737427594896 139623741221488 139624497363586 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17221] ppid=17196 vsize=8068220 memory=3933231958842933280 CPUtime=0 cores=1,3,5,7
/proc/17214/task/17221/stat : 17221 (java) S 17196 17196 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224286872 8261857280 29545 33554432000 4194304 4196468 140737427594896 139623414097184 139624497362645 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17222] ppid=17196 vsize=8068220 memory=118180 CPUtime=0 cores=1,3,5,7
/proc/17214/task/17222/stat : 17222 (java) S 17196 17196 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224286872 8261857280 29545 33554432000 4194304 4196468 140737427594896 139623145662064 139624497362645 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17223] ppid=17196 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/17214/task/17223/stat : 17223 (java) S 17196 17196 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224286875 8261857280 29545 33554432000 4194304 4196468 140737427594896 139622771153488 139624497371035 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17224] ppid=17196 vsize=8068220 memory=118180 CPUtime=0.09 cores=1,3,5,7
/proc/17214/task/17224/stat : 17224 (java) S 17196 17196 16605 0 -1 1077944384 758 0 0 0 9 0 0 0 20 0 19 0 224286875 8261857280 29545 33554432000 4194304 4196468 140737427594896 139623740168304 139624497363586 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17225] ppid=17196 vsize=8068220 memory=25412 CPUtime=0.07 cores=1,3,5,7
/proc/17214/task/17225/stat : 17225 (java) S 17196 17196 16605 0 -1 1077944384 188 0 0 0 7 0 0 0 20 0 19 0 224286875 8261857280 29545 33554432000 4194304 4196468 140737427594896 139623739115504 139624497363586 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17226] ppid=17196 vsize=8068220 memory=1724 CPUtime=0.17 cores=1,3,5,7
/proc/17214/task/17226/stat : 17226 (java) S 17196 17196 16605 0 -1 1077944384 482 0 0 0 17 0 0 0 20 0 19 0 224286875 8261857280 29545 33554432000 4194304 4196468 140737427594896 139623738063216 139624497363586 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17227] ppid=17196 vsize=8068220 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/17214/task/17227/stat : 17227 (java) S 17196 17196 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224286875 8261857280 29545 33554432000 4194304 4196468 140737427594896 139622273247712 139624497362645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17228] ppid=17196 vsize=8068220 memory=3516 CPUtime=0 cores=1,3,5,7
/proc/17214/task/17228/stat : 17228 (java) S 17196 17196 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224286875 8261857280 29545 33554432000 4194304 4196468 140737427594896 139623737011120 139624497363586 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17230] ppid=17196 vsize=8068220 memory=872 CPUtime=0 cores=1,3,5,7
/proc/17214/task/17230/stat : 17230 (java) S 17196 17196 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224286939 8261857280 29545 33554432000 4194304 4196468 140737427594896 139624286795200 139624497377049 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17232] ppid=17196 vsize=8068220 memory=1288 CPUtime=0 cores=1,3,5,7
/proc/17214/task/17232/stat : 17232 (java) S 17196 17196 16605 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 224286939 8261857280 29545 33554432000 4194304 4196468 140737427594896 139621736362000 139624497374365 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17233] ppid=17196 vsize=8068220 memory=1088 CPUtime=0 cores=1,3,5,7
/proc/17214/task/17233/stat : 17233 (java) S 17196 17196 16605 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224286939 8261857280 29545 33554432000 4194304 4196468 140737427594896 139621602139536 139624497374365 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17234] ppid=17196 vsize=8068220 memory=15512 CPUtime=0 cores=1,3,5,7
/proc/17214/task/17234/stat : 17234 (java) S 17196 17196 16605 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 224286941 8261857280 29545 33554432000 4194304 4196468 140737427594896 139621870590880 139624497362645 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
Current children cumulated CPU time: 43.55 s
Current children cumulated vsize: 8224160 KiB
Current children cumulated memory: 145060 KiB
[startup+41.2009 s]
/proc/loadavg: 2.17 2.07 1.98 3/227 17234
/proc/meminfo: memFree=24442164/32770624 swapFree=67108860/67108860
[pid=17196] ppid=17193 vsize=113128 memory=1468 CPUtime=4.29 cores=1,3,5,7
/proc/17196/stat : 17196 (scop.sh) S 17193 17196 16605 0 -1 4202496 589 24292 0 0 0 0 416 13 20 0 1 0 224286676 115843072 367 33554432000 4194304 5098028 140729914028048 140729914024792 139924787761788 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33476608 140729914029120 140729914029319 140729914029319 140729914032077 0
/proc/17196/statm: 28282 367 311 221 0 87 0
[pid=17214] ppid=17196 vsize=8068220 memory=118484 CPUtime=39.68 cores=1,3,5,7
/proc/17214/stat : 17214 (java) S 17196 17196 16605 0 -1 1077944320 17915 20222 0 0 107 6 3853 2 20 0 18 0 224286869 8261857280 29621 33554432000 4194304 4196468 140737427594896 140737427577440 139624497352439 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
/proc/17214/statm: 2017055 29621 3145 1 0 1978454 0
[pid=17214/tid=17215] ppid=17196 vsize=8068220 memory=13850759267617157 CPUtime=39.27 cores=1,3,5,7
/proc/17214/task/17215/stat : 17215 (java) S 17196 17196 16605 0 -1 1077944384 14982 20222 0 0 68 4 3853 2 20 0 18 0 224286869 8261857280 29621 33554432000 4194304 4196468 140737427594896 139624469192592 139624497362645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17216] ppid=17196 vsize=8068220 memory=5571041044932548709 CPUtime=38.55 cores=1,3,5,7
/proc/17214/task/17216/stat : 17216 (java) S 17196 17196 16605 0 -1 1077944384 2 20222 0 0 0 0 3853 2 20 0 18 0 224286870 8261857280 29621 33554432000 4194304 4196468 140737427594896 139624501594512 139624497362645 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17217] ppid=17196 vsize=8068220 memory=-1088251628401078322 CPUtime=38.55 cores=1,3,5,7
/proc/17214/task/17217/stat : 17217 (java) S 17196 17196 16605 0 -1 1077944384 2 20222 0 0 0 0 3853 2 20 0 18 0 224286870 8261857280 29621 33554432000 4194304 4196468 140737427594896 139624301762832 139624497362645 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17218] ppid=17196 vsize=8068220 memory=6943526294502006880 CPUtime=38.55 cores=1,3,5,7
/proc/17214/task/17218/stat : 17218 (java) S 17196 17196 16605 0 -1 1077944384 1 20222 0 0 0 0 3853 2 20 0 18 0 224286870 8261857280 29621 33554432000 4194304 4196468 140737427594896 139624300710544 139624497362645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17219] ppid=17196 vsize=8068220 memory=0 CPUtime=38.55 cores=1,3,5,7
/proc/17214/task/17219/stat : 17219 (java) S 17196 17196 16605 0 -1 1077944384 1 20222 0 0 0 0 3853 2 20 0 18 0 224286870 8261857280 29621 33554432000 4194304 4196468 140737427594896 139624299657744 139624497362645 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17220] ppid=17196 vsize=8068220 memory=-3351068996231046688 CPUtime=38.55 cores=1,3,5,7
/proc/17214/task/17220/stat : 17220 (java) S 17196 17196 16605 0 -1 1077944384 7 20222 0 0 0 0 3853 2 20 0 18 0 224286872 8261857280 29621 33554432000 4194304 4196468 140737427594896 139623741221488 139624497363586 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17221] ppid=17196 vsize=8068220 memory=288288857332646776 CPUtime=38.55 cores=1,3,5,7
/proc/17214/task/17221/stat : 17221 (java) S 17196 17196 16605 0 -1 1077944384 13 20222 0 0 0 0 3853 2 20 0 18 0 224286872 8261857280 29621 33554432000 4194304 4196468 140737427594896 139623414097184 139624497362645 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17222] ppid=17196 vsize=8068220 memory=7301579000282895213 CPUtime=38.55 cores=1,3,5,7
/proc/17214/task/17222/stat : 17222 (java) S 17196 17196 16605 0 -1 1077944384 1 20222 0 0 0 0 3853 2 20 0 18 0 224286872 8261857280 29621 33554432000 4194304 4196468 140737427594896 139623145662064 139624497362645 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17223] ppid=17196 vsize=8068220 memory=-8990767739041652640 CPUtime=38.55 cores=1,3,5,7
/proc/17214/task/17223/stat : 17223 (java) S 17196 17196 16605 0 -1 1077944384 3 20222 0 0 0 0 3853 2 20 0 18 0 224286875 8261857280 29621 33554432000 4194304 4196468 140737427594896 139622771153488 139624497371035 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17224] ppid=17196 vsize=8068220 memory=8041079860532773434 CPUtime=38.64 cores=1,3,5,7
/proc/17214/task/17224/stat : 17224 (java) S 17196 17196 16605 0 -1 1077944384 767 20222 0 0 9 0 3853 2 20 0 18 0 224286875 8261857280 29621 33554432000 4194304 4196468 140737427594896 139623740168304 139624497363586 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17225] ppid=17196 vsize=8068220 memory=-7098080424032564416 CPUtime=38.63 cores=1,3,5,7
/proc/17214/task/17225/stat : 17225 (java) S 17196 17196 16605 0 -1 1077944384 190 20222 0 0 8 0 3853 2 20 0 18 0 224286875 8261857280 29621 33554432000 4194304 4196468 140737427594896 139623739115504 139624497363586 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17226] ppid=17196 vsize=8068220 memory=3054156605268468128 CPUtime=38.73 cores=1,3,5,7
/proc/17214/task/17226/stat : 17226 (java) R 17196 17196 16605 0 -1 4202560 492 20222 0 0 18 0 3853 2 20 0 18 0 224286875 8261857280 29621 33554432000 4194304 4196468 140737427594896 139623738063216 139624476337275 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17227] ppid=17196 vsize=8068220 memory=1468 CPUtime=38.55 cores=1,3,5,7
/proc/17214/task/17227/stat : 17227 (java) S 17196 17196 16605 0 -1 1077944384 3 20222 0 0 0 0 3853 2 20 0 18 0 224286875 8261857280 29621 33554432000 4194304 4196468 140737427594896 139622273247712 139624497362645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17228] ppid=17196 vsize=8068220 memory=118180 CPUtime=38.55 cores=1,3,5,7
/proc/17214/task/17228/stat : 17228 (java) S 17196 17196 16605 0 -1 1077944384 5 20222 0 0 0 0 3853 2 20 0 18 0 224286875 8261857280 29621 33554432000 4194304 4196468 140737427594896 139623737011120 139624497363586 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17230] ppid=17196 vsize=8068220 memory=25412 CPUtime=38.55 cores=1,3,5,7
/proc/17214/task/17230/stat : 17230 (java) S 17196 17196 16605 0 -1 1077944384 24 20222 0 0 0 0 3853 2 20 0 18 0 224286939 8261857280 29621 33554432000 4194304 4196468 140737427594896 139624286794384 139624497363586 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17232] ppid=17196 vsize=8068220 memory=7589216731431136364 CPUtime=38.56 cores=1,3,5,7
/proc/17214/task/17232/stat : 17232 (java) R 17196 17196 16605 0 -1 4202560 84 20222 0 0 1 0 3853 2 20 0 18 0 224286939 8261857280 29621 33554432000 4194304 4196468 140737427594896 139621736368096 139624481432926 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
[pid=17214/tid=17234] ppid=17196 vsize=8068220 memory=8026941106525131344 CPUtime=38.55 cores=1,3,5,7
/proc/17214/task/17234/stat : 17234 (java) S 17196 17196 16605 0 -1 1077944384 28 20222 0 0 0 0 3853 2 20 0 18 0 224286941 8261857280 29621 33554432000 4194304 4196468 140737427594896 139621870590640 139624497362645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28385280 140737427600565 140737427600689 140737427600689 140737427603407 0
Current children cumulated CPU time: 43.97 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 119952 KiB
Child status: 0
Real time (s): 41.2784
CPU time (s): 44.1337
CPU user time (s): 43.8894
CPU system time (s): 0.244224
CPU usage (%): 106.917
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 301576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.8894
system time used= 0.244224
maximum resident set size= 304832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63390
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5725
involuntary context switches= 28
# summary of solver processes directly reported to runsolver:
# pid: 17196
# total CPU time (s): 44.1337
# total CPU user time (s): 43.8894
# total CPU system time (s): 0.244224
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.294369 second user time and 0.475656 second system time
The end