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-23237-serial-file.bin HOME/instance-4305463-1534088295.xml
0.54/0.51
0.67/0.52 scop order+minisat_release (2018-07-31)
0.67/0.52 (Encoding Process)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Sun Aug 12 17:38:15 CEST 2018
0.67/0.54 c PID: 23240
0.67/0.54 c IP: 172.20.3.139
0.67/0.54 c HOST: node139.alineos.net
0.67/0.55 c (0,0) Parsing Begin
2.02/1.03 c (0,0) Parsing End
2.02/1.04 c (0,0) CSP: 30 int (0 aux), 0 bool (0 aux), 284 ctr, max domain size 15
2.02/1.04 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.02/1.04 c (0,0) Constraint Name Generate Begin
2.02/1.05 c (0,0) Ctr:HOME/instance-4305463-1534088295.xml,ExtensionConflict:IntVar
2.02/1.05 c (0,0) Constraint Name Generate End
2.02/1.05 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.02/1.05 c (0,0) CSP to CSPinCNF Begin
3.90/1.61 c (1,1) translated 29 (10%) constraints
4.22/1.77 c (1,1) translated 57 (20%) constraints
4.86/1.91 c (1,1) translated 86 (30%) constraints
5.16/2.03 c (1,1) translated 114 (40%) constraints
5.46/2.15 c (1,1) translated 142 (50%) constraints
5.73/2.26 c (1,1) translated 171 (60%) constraints
6.04/2.37 c (1,1) translated 199 (70%) constraints
6.34/2.47 c (1,1) translated 228 (80%) constraints
6.64/2.57 c (2,2) translated 256 (90%) constraints
6.95/2.66 c (2,2) translated 284 (100%) constraints
7.28/2.76 c (2,2) STATISTICS1:HOME/instance-4305463-1534088295.xml,ExtensionConflict:IntVar,30,12194,-1,15,4,1,,15:46913,4:10402;3:1721;2:71,1:46913,
7.28/2.76 c (2,2) ==========================================
7.28/2.76 c (2,2) Order
7.28/2.76 c (2,2) ==========================================
7.64/2.83 c (2,2) translated 1220 (10%) constraints
7.64/2.87 c (2,2) translated 2439 (20%) constraints
7.95/2.90 c (2,2) translated 3659 (30%) constraints
7.95/2.94 c (2,2) translated 4878 (40%) constraints
7.95/2.97 c (2,2) translated 6097 (50%) constraints
7.95/2.99 c (2,2) translated 7317 (60%) constraints
8.29/3.02 c (2,2) translated 8536 (70%) constraints
8.29/3.04 c (2,2) translated 9756 (80%) constraints
8.29/3.06 c (2,2) translated 10975 (90%) constraints
8.29/3.08 c (2,2) translated 12194 (100%) constraints
8.29/3.08 c (2,2) CSP to CSPinCNF End
8.29/3.08 c (2,2) CSP: 30 int (0 aux), 0 bool (0 aux), 12194 ctr, max domain size 15
8.29/3.08 c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.29/3.08 c (2,2) CSPinCNF Propagation Begin
8.76/3.23 c (2,2) 0 values, 1936 unsatisfiable literals, and 0 valid clauses are removed
8.76/3.23 c (2,2) CSPinCNF Propagation End
8.76/3.23 c (2,2) CSP: 30 int (0 aux), 0 bool (0 aux), 12194 ctr, max domain size 15
8.76/3.23 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
8.76/3.23 c (2,2) Simplify CSPinCNF Begin
8.76/3.27 c (2,2) Simplify CSPinCNF End
8.76/3.27 c (2,2) CSP: 30 int (0 aux), 0 bool (0 aux), 12194 ctr, max domain size 15
8.76/3.27 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
8.76/3.27 c (2,2) Calculate Precise Domain Begin
8.76/3.28 c (2,2) 0 values are removed by re-calculation
8.76/3.28 c (2,2) Calculate Precise Domain End
8.76/3.28 c (2,2) CSP: 30 int (0 aux), 0 bool (0 aux), 12194 ctr, max domain size 15
8.76/3.28 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
8.76/3.28 c (2,2) CSPinCNF to SatSolver Begin
9.09/3.35 c (2,2) 1220 (10 %) CSP clauses are encoded (420 SAT variables, 1609 SAT clauses)
9.09/3.37 c (2,2) 2439 (20 %) CSP clauses are encoded (420 SAT variables, 2828 SAT clauses)
9.37/3.40 c (2,2) 3659 (30 %) CSP clauses are encoded (420 SAT variables, 4048 SAT clauses)
9.37/3.42 c (2,2) 4878 (40 %) CSP clauses are encoded (420 SAT variables, 5267 SAT clauses)
9.37/3.44 c (2,2) 6097 (50 %) CSP clauses are encoded (420 SAT variables, 6486 SAT clauses)
9.37/3.46 c (2,2) 7317 (60 %) CSP clauses are encoded (420 SAT variables, 7706 SAT clauses)
9.37/3.47 c (2,2) 8536 (70 %) CSP clauses are encoded (420 SAT variables, 8925 SAT clauses)
9.37/3.48 c (2,2) 9756 (80 %) CSP clauses are encoded (420 SAT variables, 10145 SAT clauses)
9.37/3.50 c (2,2) 10975 (90 %) CSP clauses are encoded (420 SAT variables, 11364 SAT clauses)
9.67/3.51 c (2,2) 12194 (100 %) CSP clauses are encoded (420 SAT variables, 12583 SAT clauses)
9.67/3.51 c (2,2) Launch Command will be: minisat_release
9.67/3.51 c (2,2) CSPinCNF to SatSolver End
9.67/3.51 c (2,2) Heap : 732 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
9.67/3.59 c (3,3) STATISTICS2:HOME/instance-4305463-1534088295.xml,ExtensionConflict:IntVar,30,12194,-1,15,4,1,,15:44977,4:8717;3:3155;2:322,1:44977,
9.67/3.60 c (3,3) 420 bool, 12584 clause
9.67/3.60 c (3,3) Export Begin
9.99/3.68 c (3,3) Export to HOME/scop-23237-serial-file.bin
9.99/3.68 c (3,3) Export End
9.99/3.68 c (3,3) Export File Size: 0.01 MB
9.99/3.68 c (3,3) 0,0,2,2,2,2,2,STOP-AFTER(DIMACS)
9.99/3.68 c END-Prog: Sun Aug 12 17:38:19 CEST 2018
9.99/3.69 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-23237-serial-file.bin
10.78/4.18 c (0,0) Read Serial File Begin
10.78/4.18 c (0,0) HOME/scop-23237-serial-file.bin
11.05/4.35 c (0,0) Read Serial File End
11.05/4.36
11.05/4.36 scop order+minisat_release (2018-07-31)
11.05/4.36 (Solving Process)
11.05/4.36
11.05/4.39 c BEGIN-Prog: Sun Aug 12 17:38:19 CEST 2018
11.05/4.39 c PID: 23255
11.05/4.39 c IP: 172.20.3.139
11.05/4.39 c HOST: node139.alineos.net
11.05/4.39 c (0,0) SatSolver.solve Begin
11.05/4.39 c (0,0) 0 bool, 0 clause
11.05/4.39 c (0,0) minisat_release HOME/instance-4305463-1534088295.xml-scop-23240.cnf
11.36/4.54 c (0,0) c This is COMiniSatPS.
11.36/4.54 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
11.36/4.54 c (0,0) c ============================[ Problem Statistics ]=============================
11.36/4.54 c (0,0) c | |
11.36/4.54 c (0,0) c | Number of variables: 420 |
11.36/4.54 c (0,0) c | Number of clauses: 12584 |
11.36/4.54 c (0,0) c | Parse time: 0.00 s |
11.36/4.54 c (0,0) c Reduced to 420 vars, 12088 cls (grow=0)
11.36/4.54 c (0,0) c No iterative elimination performed. (vars=420, c/v ratio=28.8)
11.36/4.54 c (0,0) c | Simplification time: 0.01 s |
11.36/4.54 c (0,0) c | |
11.36/4.54 c (0,0) c ============================[ Search Statistics ]==============================
11.36/4.54 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
11.36/4.54 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
11.36/4.54 c (0,0) c ===============================================================================
11.36/4.54 c (0,0) c ===============================================================================
11.36/4.54 c (0,0) c restarts : 2
11.36/4.54 c (0,0) c conflicts : 4995 (40767 /sec)
11.36/4.54 c (0,0) c decisions : 6106 (0.00 % random) (49834 /sec)
11.36/4.54 c (0,0) c propagations : 333823 (2724507 /sec)
11.36/4.54 c (0,0) c conflict literals : 57935 (27.33 % deleted)
11.36/4.54 c (0,0) c CPU time : 0.122526 s
11.36/4.54 c (0,0)
11.36/4.54 c (0,0) s SATISFIABLE
11.36/4.55 c (0,0) SatSolver.solve End
11.36/4.55 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
11.36/4.55 c (0,0) Show results Begin
11.36/4.60 s SATISFIABLE
11.58/4.60 v <instantiation>
11.58/4.60 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] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29]</list>
11.58/4.60 v <values>4 3 1 9 13 2 6 8 1 6 8 1 5 9 0 1 1 12 9 8 13 13 5 5 3 8 9 5 5 9</values>
11.58/4.60 v </instantiation>
11.58/4.60 c (0,0) Show results End
11.58/4.60 c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
11.58/4.60 c (0,0) 0,0,STOP-AFTER(ALL)
11.58/4.60 c END-Prog: Sun Aug 12 17:38:19 CEST 2018
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (5596 MiB free)
memory of node 1: 16384 MiB (7042 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305463-1534088295/watcher-4305463-1534088295 -o /tmp/evaluation-result-4305463-1534088295/solver-4305463-1534088295 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534060441-16802 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305463-1534088295.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
Current StackSize limit: 8192 KiB
solver pid=23237, runsolver pid=23234
[startup+0.100145 s]*
/proc/loadavg: 2.71 2.23 2.11 3/222 23254
/proc/meminfo: memFree=12882252/32770624 swapFree=67108860/67108860
[pid=23237] ppid=23234 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/23237/stat : 23237 (scop.sh) S 23234 23237 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226392650 115843072 348 33554432000 4194304 5098028 140722973680704 140722973677960 140699696169596 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24104960 140722973688896 140722973689095 140722973689095 140722973691853 0
/proc/23237/statm: 28282 348 296 221 0 87 0
[pid=23240] ppid=23237 vsize=15012476 memory=71940 CPUtime=0.11 cores=1,3,5,7
/proc/23240/stat : 23240 (java) S 23237 23237 16770 0 -1 1077944320 6627 0 0 0 10 1 0 0 20 0 15 0 226392650 15372775424 17985 33554432000 4194304 4196468 140733870838976 140733870821520 140543404146423 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
/proc/23240/statm: 3753119 17985 2770 1 0 3715579 0
[pid=23240/tid=23241] ppid=23237 vsize=15012476 memory=-6078870780940435399 CPUtime=0.09 cores=1,3,5,7
/proc/23240/task/23241/stat : 23241 (java) R 23237 23237 16770 0 -1 4202560 4725 0 0 0 8 1 0 0 20 0 15 0 226392651 15372775424 17985 33554432000 4194304 4196468 140733870838976 140543375958408 140543384422172 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23242] ppid=23237 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23242/stat : 23242 (java) S 23237 23237 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226392652 15372775424 18051 33554432000 4194304 4196468 140733870838976 140543408389264 140543404156629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23243] ppid=23237 vsize=15012476 memory=140225272878720 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23243/stat : 23243 (java) S 23237 23237 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226392652 15372775424 18051 33554432000 4194304 4196468 140733870838976 140543222545424 140543404156629 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23244] ppid=23237 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23244/stat : 23244 (java) S 23237 23237 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226392652 15372775424 18051 33554432000 4194304 4196468 140733870838976 140543221492624 140543404156629 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23245] ppid=23237 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23245/stat : 23245 (java) S 23237 23237 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226392652 15372775424 18051 33554432000 4194304 4196468 140733870838976 140543220439824 140543404156629 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23246] ppid=23237 vsize=15012476 memory=140225272878720 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23246/stat : 23246 (java) S 23237 23237 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226392654 15372775424 18051 33554432000 4194304 4196468 140733870838976 140542441720176 140543404157570 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23247] ppid=23237 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23247/stat : 23247 (java) S 23237 23237 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226392654 15372775424 18051 33554432000 4194304 4196468 140733870838976 140541933118496 140543404156629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23248] ppid=23237 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23248/stat : 23248 (java) S 23237 23237 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226392655 15372775424 18051 33554432000 4194304 4196468 140733870838976 140541798896496 140543404156629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23249] ppid=23237 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23249/stat : 23249 (java) S 23237 23237 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226392657 15372775424 18051 33554432000 4194304 4196468 140733870838976 140541424392016 140543404165019 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23250] ppid=23237 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23250/stat : 23250 (java) S 23237 23237 16770 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 226392657 15372775424 18051 33554432000 4194304 4196468 140733870838976 140542440668016 140543404157570 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23251] ppid=23237 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23251/stat : 23251 (java) S 23237 23237 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226392657 15372775424 18051 33554432000 4194304 4196468 140733870838976 140542439615216 140543404157570 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23252] ppid=23237 vsize=15012476 memory=140225272878720 CPUtime=0.01 cores=1,3,5,7
/proc/23240/task/23252/stat : 23252 (java) S 23237 23237 16770 0 -1 1077944384 276 0 0 0 1 0 0 0 20 0 15 0 226392657 15372775424 18051 33554432000 4194304 4196468 140733870838976 140542438562416 140543404157570 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23253] ppid=23237 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23253/stat : 23253 (java) S 23237 23237 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226392657 15372775424 18117 33554432000 4194304 4196468 140733870838976 140540926487264 140543404156629 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23254] ppid=23237 vsize=15012476 memory=140225272878720 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23254/stat : 23254 (java) S 23237 23237 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226392657 15372775424 18117 33554432000 4194304 4196468 140733870838976 140542437509808 140543404157570 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73332 KiB
[startup+0.210756 s]*
/proc/loadavg: 2.71 2.23 2.11 3/222 23254
/proc/meminfo: memFree=12868184/32770624 swapFree=67108860/67108860
[pid=23237] ppid=23234 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/23237/stat : 23237 (scop.sh) S 23234 23237 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226392650 115843072 348 33554432000 4194304 5098028 140722973680704 140722973677960 140699696169596 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24104960 140722973688896 140722973689095 140722973689095 140722973691853 0
/proc/23237/statm: 28282 348 296 221 0 87 0
[pid=23240] ppid=23237 vsize=15012476 memory=85792 CPUtime=0.26 cores=1,3,5,7
/proc/23240/stat : 23240 (java) S 23237 23237 16770 0 -1 1077944320 10264 0 0 0 23 3 0 0 20 0 15 0 226392650 15372775424 21448 33554432000 4194304 4196468 140733870838976 140733870821520 140543404146423 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
/proc/23240/statm: 3753119 21448 2925 1 0 3715579 0
[pid=23240/tid=23241] ppid=23237 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/23240/task/23241/stat : 23241 (java) R 23237 23237 16770 0 -1 4202560 8129 0 0 0 18 2 0 0 20 0 15 0 226392651 15372775424 21448 33554432000 4194304 4196468 140733870838976 140543375961776 140543404158358 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23242] ppid=23237 vsize=15012476 memory=365 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23242/stat : 23242 (java) S 23237 23237 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226392652 15372775424 21448 33554432000 4194304 4196468 140733870838976 140543408389264 140543404156629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23243] ppid=23237 vsize=15012476 memory=140225273028937 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23243/stat : 23243 (java) S 23237 23237 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226392652 15372775424 21448 33554432000 4194304 4196468 140733870838976 140543222545424 140543404156629 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23244] ppid=23237 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23244/stat : 23244 (java) S 23237 23237 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226392652 15372775424 21448 33554432000 4194304 4196468 140733870838976 140543221492624 140543404156629 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23245] ppid=23237 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23245/stat : 23245 (java) S 23237 23237 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226392652 15372775424 21448 33554432000 4194304 4196468 140733870838976 140543220439824 140543404156629 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23246] ppid=23237 vsize=15012476 memory=140225272878720 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23246/stat : 23246 (java) S 23237 23237 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226392654 15372775424 21448 33554432000 4194304 4196468 140733870838976 140542441720176 140543404157570 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23247] ppid=23237 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23247/stat : 23247 (java) S 23237 23237 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226392654 15372775424 21448 33554432000 4194304 4196468 140733870838976 140541933118496 140543404156629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23248] ppid=23237 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23248/stat : 23248 (java) S 23237 23237 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226392655 15372775424 21448 33554432000 4194304 4196468 140733870838976 140541798896496 140543404156629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23249] ppid=23237 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23249/stat : 23249 (java) S 23237 23237 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226392657 15372775424 21448 33554432000 4194304 4196468 140733870838976 140541424392016 140543404165019 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23250] ppid=23237 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23250/stat : 23250 (java) S 23237 23237 16770 0 -1 1077944384 344 0 0 0 0 0 0 0 20 0 15 0 226392657 15372775424 21448 33554432000 4194304 4196468 140733870838976 140542440668016 140543404157570 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23251] ppid=23237 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23251/stat : 23251 (java) S 23237 23237 16770 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 226392657 15372775424 21448 33554432000 4194304 4196468 140733870838976 140542439615216 140543404157570 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23252] ppid=23237 vsize=15012476 memory=140225272878720 CPUtime=0.03 cores=1,3,5,7
/proc/23240/task/23252/stat : 23252 (java) R 23237 23237 16770 0 -1 4202560 308 0 0 0 3 0 0 0 20 0 15 0 226392657 15372775424 21448 33554432000 4194304 4196468 140733870838976 140542438562416 140543384117608 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23253] ppid=23237 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23253/stat : 23253 (java) S 23237 23237 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226392657 15372775424 21448 33554432000 4194304 4196468 140733870838976 140540926487264 140543404156629 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23254] ppid=23237 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23254/stat : 23254 (java) S 23237 23237 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226392657 15372775424 21448 33554432000 4194304 4196468 140733870838976 140542437509808 140543404157570 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87184 KiB
[startup+0.310787 s]*
/proc/loadavg: 2.71 2.23 2.11 3/222 23254
/proc/meminfo: memFree=12864028/32770624 swapFree=67108860/67108860
[pid=23237] ppid=23234 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/23237/stat : 23237 (scop.sh) S 23234 23237 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226392650 115843072 348 33554432000 4194304 5098028 140722973680704 140722973677960 140699696169596 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24104960 140722973688896 140722973689095 140722973689095 140722973691853 0
/proc/23237/statm: 28282 348 296 221 0 87 0
[pid=23240] ppid=23237 vsize=15012476 memory=89480 CPUtime=0.42 cores=1,3,5,7
/proc/23240/stat : 23240 (java) S 23237 23237 16770 0 -1 1077944320 10881 0 0 0 39 3 0 0 20 0 15 0 226392650 15372775424 22370 33554432000 4194304 4196468 140733870838976 140733870821520 140543404146423 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
/proc/23240/statm: 3753119 22370 2968 1 0 3715579 0
[pid=23240/tid=23241] ppid=23237 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/23240/task/23241/stat : 23241 (java) R 23237 23237 16770 0 -1 4202560 8563 0 0 0 27 2 0 0 20 0 15 0 226392651 15372775424 22370 33554432000 4194304 4196468 140733870838976 140543375941424 140543404168349 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23242] ppid=23237 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23242/stat : 23242 (java) S 23237 23237 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226392652 15372775424 22370 33554432000 4194304 4196468 140733870838976 140543408389264 140543404156629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23243] ppid=23237 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23243/stat : 23243 (java) S 23237 23237 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226392652 15372775424 22370 33554432000 4194304 4196468 140733870838976 140543222545424 140543404156629 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23244] ppid=23237 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23244/stat : 23244 (java) S 23237 23237 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226392652 15372775424 22370 33554432000 4194304 4196468 140733870838976 140543221492624 140543404156629 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23245] ppid=23237 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23245/stat : 23245 (java) S 23237 23237 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226392652 15372775424 22370 33554432000 4194304 4196468 140733870838976 140543220439824 140543404156629 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23246] ppid=23237 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23246/stat : 23246 (java) S 23237 23237 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226392654 15372775424 22370 33554432000 4194304 4196468 140733870838976 140542441720176 140543404157570 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23247] ppid=23237 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23247/stat : 23247 (java) S 23237 23237 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226392654 15372775424 22370 33554432000 4194304 4196468 140733870838976 140541933118496 140543404156629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23248] ppid=23237 vsize=15012476 memory=7827413994055111515 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23248/stat : 23248 (java) S 23237 23237 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226392655 15372775424 22370 33554432000 4194304 4196468 140733870838976 140541798896496 140543404156629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23249] ppid=23237 vsize=15012476 memory=8508281356422055839 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23249/stat : 23249 (java) S 23237 23237 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226392657 15372775424 22370 33554432000 4194304 4196468 140733870838976 140541424392016 140543404165019 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23250] ppid=23237 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23240/task/23250/stat : 23250 (java) R 23237 23237 16770 0 -1 1077944384 432 0 0 0 2 0 0 0 20 0 15 0 226392657 15372775424 22370 33554432000 4194304 4196468 140733870838976 140542440668016 140543404157570 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23251] ppid=23237 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23240/task/23251/stat : 23251 (java) R 23237 23237 16770 0 -1 4202560 186 0 0 0 1 0 0 0 20 0 15 0 226392657 15372775424 22370 33554432000 4194304 4196468 140733870838976 140542439615216 140543388543188 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23252] ppid=23237 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23240/task/23252/stat : 23252 (java) S 23237 23237 16770 0 -1 1077944384 348 0 0 0 7 0 0 0 20 0 15 0 226392657 15372775424 22370 33554432000 4194304 4196468 140733870838976 140542438562416 140543404157570 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23253] ppid=23237 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23253/stat : 23253 (java) S 23237 23237 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226392657 15372775424 22370 33554432000 4194304 4196468 140733870838976 140540926487264 140543404156629 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23254] ppid=23237 vsize=15012476 memory=3617295605882232881 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23254/stat : 23254 (java) S 23237 23237 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226392657 15372775424 22370 33554432000 4194304 4196468 140733870838976 140542437509808 140543404157570 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 90872 KiB
[startup+0.700836 s]
/proc/loadavg: 2.71 2.23 2.11 3/222 23254
/proc/meminfo: memFree=12839844/32770624 swapFree=67108860/67108860
[pid=23237] ppid=23234 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/23237/stat : 23237 (scop.sh) S 23234 23237 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226392650 115843072 348 33554432000 4194304 5098028 140722973680704 140722973677960 140699696169596 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24104960 140722973688896 140722973689095 140722973689095 140722973691853 0
/proc/23237/statm: 28282 348 296 221 0 87 0
[pid=23240] ppid=23237 vsize=15020872 memory=129452 CPUtime=1.01 cores=1,3,5,7
/proc/23240/stat : 23240 (java) S 23237 23237 16770 0 -1 1077944320 18022 0 0 0 96 5 0 0 20 0 15 0 226392650 15381372928 32363 33554432000 4194304 4196468 140733870838976 140733870821520 140543404146423 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
/proc/23240/statm: 3755218 32363 3147 1 0 3716603 0
[pid=23240/tid=23241] ppid=23237 vsize=15020872 memory=-7816663703405220396 CPUtime=0.67 cores=1,3,5,7
/proc/23240/task/23241/stat : 23241 (java) R 23237 23237 16770 0 -1 4202560 15225 0 0 0 63 4 0 0 20 0 15 0 226392651 15381372928 32363 33554432000 4194304 4196468 140733870838976 140543375977840 140543388226940 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23242] ppid=23237 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23242/stat : 23242 (java) S 23237 23237 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226392652 15381372928 32363 33554432000 4194304 4196468 140733870838976 140543408389264 140543404156629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23243] ppid=23237 vsize=15020872 memory=61436 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23243/stat : 23243 (java) S 23237 23237 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226392652 15381372928 32363 33554432000 4194304 4196468 140733870838976 140543222545424 140543404156629 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23244] ppid=23237 vsize=15020872 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23244/stat : 23244 (java) S 23237 23237 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226392652 15381372928 32363 33554432000 4194304 4196468 140733870838976 140543221492624 140543404156629 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23245] ppid=23237 vsize=15020872 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23245/stat : 23245 (java) S 23237 23237 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226392652 15381372928 32363 33554432000 4194304 4196468 140733870838976 140543220439824 140543404156629 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23246] ppid=23237 vsize=15020872 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23246/stat : 23246 (java) S 23237 23237 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226392654 15381372928 32363 33554432000 4194304 4196468 140733870838976 140542441720176 140543404157570 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23247] ppid=23237 vsize=15020872 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23247/stat : 23247 (java) S 23237 23237 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226392654 15381372928 32363 33554432000 4194304 4196468 140733870838976 140541933118496 140543404156629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23248] ppid=23237 vsize=15020872 memory=796 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23248/stat : 23248 (java) S 23237 23237 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226392655 15381372928 32363 33554432000 4194304 4196468 140733870838976 140541798896496 140543404156629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23249] ppid=23237 vsize=15020872 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23249/stat : 23249 (java) S 23237 23237 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226392657 15381372928 32363 33554432000 4194304 4196468 140733870838976 140541424392016 140543404165019 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23250] ppid=23237 vsize=15020872 memory=876 CPUtime=0.09 cores=1,3,5,7
/proc/23240/task/23250/stat : 23250 (java) S 23237 23237 16770 0 -1 1077944384 654 0 0 0 9 0 0 0 20 0 15 0 226392657 15381372928 32363 33554432000 4194304 4196468 140733870838976 140542440668016 140543404157570 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23251] ppid=23237 vsize=15020872 memory=10096 CPUtime=0.06 cores=1,3,5,7
/proc/23240/task/23251/stat : 23251 (java) S 23237 23237 16770 0 -1 1077944384 281 0 0 0 6 0 0 0 20 0 15 0 226392657 15381372928 32363 33554432000 4194304 4196468 140733870838976 140542439615216 140543404157570 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23252] ppid=23237 vsize=15020872 memory=1228 CPUtime=0.16 cores=1,3,5,7
/proc/23240/task/23252/stat : 23252 (java) S 23237 23237 16770 0 -1 1077944384 507 0 0 0 16 0 0 0 20 0 15 0 226392657 15381372928 32363 33554432000 4194304 4196468 140733870838976 140542438562416 140543404157570 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23253] ppid=23237 vsize=15020872 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23253/stat : 23253 (java) S 23237 23237 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226392657 15381372928 32363 33554432000 4194304 4196468 140733870838976 140540926487264 140543404156629 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23254] ppid=23237 vsize=15020872 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23254/stat : 23254 (java) S 23237 23237 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226392657 15381372928 32363 33554432000 4194304 4196468 140733870838976 140542437509808 140543404157570 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 130844 KiB
[startup+1.50444 s]
/proc/loadavg: 2.71 2.23 2.11 6/222 23254
/proc/meminfo: memFree=12794492/32770624 swapFree=67108860/67108860
[pid=23237] ppid=23234 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/23237/stat : 23237 (scop.sh) S 23234 23237 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226392650 115843072 348 33554432000 4194304 5098028 140722973680704 140722973677960 140699696169596 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24104960 140722973688896 140722973689095 140722973689095 140722973691853 0
/proc/23237/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
/proc/23237/stat : 23237 (scop.sh) S 23234 23237 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226392650 115843072 348 33554432000 4194304 5098028 140722973680704 140722973677960 140699696169596 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24104960 140722973688896 140722973689095 140722973689095 140722973691853 0
/proc/23237/statm: 28282 348 296 221 0 87 0
[pid=23240] ppid=23237 vsize=15024968 memory=682836 CPUtime=8.76 cores=1,3,5,7
/proc/23240/stat : 23240 (java) S 23237 23237 16770 0 -1 1077944320 27109 0 0 0 861 15 0 0 20 0 15 0 226392650 15385567232 170709 33554432000 4194304 4196468 140733870838976 140733870821520 140543404146423 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
/proc/23240/statm: 3756242 170709 3195 1 0 3717627 0
[pid=23240/tid=23241] ppid=23237 vsize=15024968 memory=2416 CPUtime=3.16 cores=1,3,5,7
/proc/23240/task/23241/stat : 23241 (java) R 23237 23237 16770 0 -1 4202560 17367 0 0 0 304 12 0 0 20 0 15 0 226392651 15385567232 170709 33554432000 4194304 4196468 140733870838976 140543375982432 140542901272335 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23242] ppid=23237 vsize=15024968 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23242/stat : 23242 (java) S 23237 23237 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226392652 15385567232 170709 33554432000 4194304 4196468 140733870838976 140543408389264 140543404156629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23243] ppid=23237 vsize=15024968 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23243/stat : 23243 (java) S 23237 23237 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226392652 15385567232 170709 33554432000 4194304 4196468 140733870838976 140543222545424 140543404156629 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23244] ppid=23237 vsize=15024968 memory=796 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23244/stat : 23244 (java) S 23237 23237 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226392652 15385567232 170709 33554432000 4194304 4196468 140733870838976 140543221492624 140543404156629 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23245] ppid=23237 vsize=15024968 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23245/stat : 23245 (java) S 23237 23237 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226392652 15385567232 170709 33554432000 4194304 4196468 140733870838976 140543220439824 140543404156629 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23246] ppid=23237 vsize=15024968 memory=876 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23246/stat : 23246 (java) S 23237 23237 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226392654 15385567232 170709 33554432000 4194304 4196468 140733870838976 140542441720176 140543404157570 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23247] ppid=23237 vsize=15024968 memory=10096 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23247/stat : 23247 (java) S 23237 23237 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226392654 15385567232 170709 33554432000 4194304 4196468 140733870838976 140541933118496 140543404156629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23248] ppid=23237 vsize=15024968 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23248/stat : 23248 (java) S 23237 23237 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226392655 15385567232 170709 33554432000 4194304 4196468 140733870838976 140541798896496 140543404156629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23249] ppid=23237 vsize=15024968 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23249/stat : 23249 (java) S 23237 23237 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226392657 15385567232 170709 33554432000 4194304 4196468 140733870838976 140541424392016 140543404165019 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23250] ppid=23237 vsize=15024968 memory=0 CPUtime=2.34 cores=1,3,5,7
/proc/23240/task/23250/stat : 23250 (java) R 23237 23237 16770 0 -1 4202560 2515 0 0 0 233 1 0 0 20 0 15 0 226392657 15385567232 170709 33554432000 4194304 4196468 140733870838976 140542440652336 140543383845226 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23251] ppid=23237 vsize=15024968 memory=0 CPUtime=2.27 cores=1,3,5,7
/proc/23240/task/23251/stat : 23251 (java) R 23237 23237 16770 0 -1 4202560 1981 0 0 0 227 0 0 0 20 0 15 0 226392657 15385567232 170709 33554432000 4194304 4196468 140733870838976 140542439601312 140543385668993 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23252] ppid=23237 vsize=15024968 memory=0 CPUtime=0.96 cores=1,3,5,7
/proc/23240/task/23252/stat : 23252 (java) S 23237 23237 16770 0 -1 1077944384 3891 0 0 0 95 1 0 0 20 0 15 0 226392657 15385567232 170709 33554432000 4194304 4196468 140733870838976 140542438562416 140543404157570 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23253] ppid=23237 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23253/stat : 23253 (java) S 23237 23237 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226392657 15385567232 170709 33554432000 4194304 4196468 140733870838976 140540926487264 140543404156629 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
[pid=23240/tid=23254] ppid=23237 vsize=15024968 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/23240/task/23254/stat : 23254 (java) S 23237 23237 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226392657 15385567232 170709 33554432000 4194304 4196468 140733870838976 140542437509808 140543404157570 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18825216 140733870846982 140733870847281 140733870847281 140733870849999 0
Current children cumulated CPU time: 8.76 s
Current children cumulated vsize: 15138096 KiB
Current children cumulated memory: 684228 KiB
[startup+4.00031 s]*
/proc/loadavg: 2.73 2.24 2.12 3/222 23269
/proc/meminfo: memFree=12888284/32770624 swapFree=67108860/67108860
[pid=23237] ppid=23234 vsize=113128 memory=1468 CPUtime=10.24 cores=1,3,5,7
/proc/23237/stat : 23237 (scop.sh) S 23234 23237 16770 0 -1 4202496 589 28454 0 0 0 0 1004 20 20 0 1 0 226392650 115843072 367 33554432000 4194304 5098028 140722973680704 140722973677448 140699696169596 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24104960 140722973688896 140722973689095 140722973689095 140722973691853 0
/proc/23237/statm: 28282 367 311 221 0 87 0
[pid=23255] ppid=23237 vsize=7404280 memory=64924 CPUtime=0.42 cores=1,3,5,7
/proc/23255/stat : 23255 (java) S 23237 23237 16770 0 -1 1077944320 11361 0 0 0 40 2 0 0 20 0 15 0 226393020 7581982720 16231 33554432000 4194304 4196468 140731629373264 140731629355808 140369024478967 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
/proc/23255/statm: 1851070 16231 2998 1 0 1813530 0
[pid=23255/tid=23256] ppid=23237 vsize=7404280 memory=5792001100673536080 CPUtime=0.29 cores=1,3,5,7
/proc/23255/task/23256/stat : 23256 (java) R 23237 23237 16770 0 -1 4202560 8889 0 0 0 27 2 0 0 20 0 15 0 226393020 7581982720 16231 33554432000 4194304 4196468 140731629373264 140368996284256 140368527569252 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23257] ppid=23237 vsize=7404280 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23257/stat : 23257 (java) S 23237 23237 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226393022 7581982720 16231 33554432000 4194304 4196468 140731629373264 140369028720912 140369024489173 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23258] ppid=23237 vsize=7404280 memory=3472464123454047920 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23258/stat : 23258 (java) S 23237 23237 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226393022 7581982720 16231 33554432000 4194304 4196468 140731629373264 140368509512080 140369024489173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23259] ppid=23237 vsize=7404280 memory=-3621219749712857441 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23259/stat : 23259 (java) S 23237 23237 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226393022 7581982720 16231 33554432000 4194304 4196468 140731629373264 140368508459536 140369024489173 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23260] ppid=23237 vsize=7404280 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23260/stat : 23260 (java) S 23237 23237 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226393022 7581982720 16231 33554432000 4194304 4196468 140731629373264 140368507406992 140369024489173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23261] ppid=23237 vsize=7404280 memory=140225272878720 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23261/stat : 23261 (java) S 23237 23237 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226393023 7581982720 16231 33554432000 4194304 4196468 140731629373264 140368470850032 140369024490114 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23262] ppid=23237 vsize=7404280 memory=140225112430031 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23262/stat : 23262 (java) S 23237 23237 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226393023 7581982720 16231 33554432000 4194304 4196468 140731629373264 140367852725664 140369024489173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23263] ppid=23237 vsize=7404280 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23263/stat : 23263 (java) S 23237 23237 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226393024 7581982720 16231 33554432000 4194304 4196468 140731629373264 140367584290288 140369024489173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23264] ppid=23237 vsize=7404280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23264/stat : 23264 (java) S 23237 23237 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226393026 7581982720 16231 33554432000 4194304 4196468 140731629373264 140367209781968 140369024497563 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23265] ppid=23237 vsize=7404280 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23255/task/23265/stat : 23265 (java) S 23237 23237 16770 0 -1 1077944384 452 0 0 0 2 0 0 0 20 0 15 0 226393026 7581982720 16231 33554432000 4194304 4196468 140731629373264 140368469796848 140369024490114 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23266] ppid=23237 vsize=7404280 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/23255/task/23266/stat : 23266 (java) S 23237 23237 16770 0 -1 1077944384 220 0 0 0 3 0 0 0 20 0 15 0 226393026 7581982720 16231 33554432000 4194304 4196468 140731629373264 140368468744304 140369024490114 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23267] ppid=23237 vsize=7404280 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23255/task/23267/stat : 23267 (java) S 23237 23237 16770 0 -1 1077944384 468 0 0 0 7 0 0 0 20 0 15 0 226393026 7581982720 16231 33554432000 4194304 4196468 140731629373264 140368467691760 140369024490114 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23268] ppid=23237 vsize=7404280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23268/stat : 23268 (java) S 23237 23237 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226393026 7581982720 16231 33554432000 4194304 4196468 140731629373264 140366711876192 140369024489173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23269] ppid=23237 vsize=7404280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23269/stat : 23269 (java) S 23237 23237 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226393026 7581982720 16231 33554432000 4194304 4196468 140731629373264 140368466639664 140369024490114 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
Current children cumulated CPU time: 10.66 s
Current children cumulated vsize: 7517408 KiB
Current children cumulated memory: 66392 KiB
[startup+4.40074 s]
/proc/loadavg: 2.73 2.24 2.12 3/222 23269
/proc/meminfo: memFree=12888284/32770624 swapFree=67108860/67108860
[pid=23237] ppid=23234 vsize=113128 memory=1468 CPUtime=10.24 cores=1,3,5,7
/proc/23237/stat : 23237 (scop.sh) S 23234 23237 16770 0 -1 4202496 589 28454 0 0 0 0 1004 20 20 0 1 0 226392650 115843072 367 33554432000 4194304 5098028 140722973680704 140722973677448 140699696169596 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24104960 140722973688896 140722973689095 140722973689095 140722973691853 0
/proc/23237/statm: 28282 367 311 221 0 87 0
[pid=23255] ppid=23237 vsize=7410572 memory=100936 CPUtime=0.96 cores=1,3,5,7
/proc/23255/stat : 23255 (java) S 23237 23237 16770 0 -1 1077944320 18038 0 0 0 91 5 0 0 20 0 15 0 226393020 7588425728 25234 33554432000 4194304 4196468 140731629373264 140731629355808 140369024478967 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
/proc/23255/statm: 1852643 25234 3117 1 0 1814042 0
[pid=23255/tid=23256] ppid=23237 vsize=7410572 memory=6944656592455097440 CPUtime=0.68 cores=1,3,5,7
/proc/23255/task/23256/stat : 23256 (java) R 23237 23237 16770 0 -1 4202560 15225 0 0 0 64 4 0 0 20 0 15 0 226393020 7588425728 25234 33554432000 4194304 4196468 140731629373264 140368996308800 140369024500893 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23257] ppid=23237 vsize=7410572 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23257/stat : 23257 (java) S 23237 23237 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226393022 7588425728 25234 33554432000 4194304 4196468 140731629373264 140369028720912 140369024489173 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23258] ppid=23237 vsize=7410572 memory=6944656592455359545 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23258/stat : 23258 (java) S 23237 23237 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226393022 7588425728 25234 33554432000 4194304 4196468 140731629373264 140368509512080 140369024489173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23259] ppid=23237 vsize=7410572 memory=-2026666227646604569 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23259/stat : 23259 (java) S 23237 23237 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226393022 7588425728 25234 33554432000 4194304 4196468 140731629373264 140368508459536 140369024489173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23260] ppid=23237 vsize=7410572 memory=-5628408999910123558 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23260/stat : 23260 (java) S 23237 23237 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226393022 7588425728 25234 33554432000 4194304 4196468 140731629373264 140368507406992 140369024489173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23261] ppid=23237 vsize=7410572 memory=594880191737587502 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23261/stat : 23261 (java) S 23237 23237 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226393023 7588425728 25234 33554432000 4194304 4196468 140731629373264 140368470850032 140369024490114 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23262] ppid=23237 vsize=7410572 memory=15274 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23262/stat : 23262 (java) S 23237 23237 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226393023 7588425728 25234 33554432000 4194304 4196468 140731629373264 140367852725664 140369024489173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23263] ppid=23237 vsize=7410572 memory=3906363822742700064 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23263/stat : 23263 (java) S 23237 23237 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226393024 7588425728 25234 33554432000 4194304 4196468 140731629373264 140367584290288 140369024489173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23264] ppid=23237 vsize=7410572 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23264/stat : 23264 (java) S 23237 23237 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226393026 7588425728 25234 33554432000 4194304 4196468 140731629373264 140367209781968 140369024497563 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23265] ppid=23237 vsize=7410572 memory=-7878833433568424315 CPUtime=0.05 cores=1,3,5,7
/proc/23255/task/23265/stat : 23265 (java) R 23237 23237 16770 0 -1 1077944384 477 0 0 0 5 0 0 0 20 0 15 0 226393026 7588425728 25234 33554432000 4194304 4196468 140731629373264 140368469788304 140369024489173 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23266] ppid=23237 vsize=7410572 memory=7517182128001340776 CPUtime=0.06 cores=1,3,5,7
/proc/23255/task/23266/stat : 23266 (java) R 23237 23237 16770 0 -1 4202560 316 0 0 0 6 0 0 0 20 0 15 0 226393026 7588425728 25234 33554432000 4194304 4196468 140731629373264 140368468723216 140369005179264 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23267] ppid=23237 vsize=7410572 memory=-7827150150926572482 CPUtime=0.16 cores=1,3,5,7
/proc/23255/task/23267/stat : 23267 (java) R 23237 23237 16770 0 -1 4202560 694 0 0 0 16 0 0 0 20 0 15 0 226393026 7588425728 25234 33554432000 4194304 4196468 140731629373264 140368467691760 140369017575803 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23268] ppid=23237 vsize=7410572 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23268/stat : 23268 (java) S 23237 23237 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226393026 7588425728 25234 33554432000 4194304 4196468 140731629373264 140366711876192 140369024489173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23269] ppid=23237 vsize=7410572 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23269/stat : 23269 (java) S 23237 23237 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226393026 7588425728 25234 33554432000 4194304 4196468 140731629373264 140368466639664 140369024490114 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
Current children cumulated CPU time: 11.2 s
Current children cumulated vsize: 7523700 KiB
Current children cumulated memory: 102404 KiB
[startup+4.60069 s]
/proc/loadavg: 2.73 2.24 2.12 3/222 23269
/proc/meminfo: memFree=12888284/32770624 swapFree=67108860/67108860
[pid=23237] ppid=23234 vsize=113128 memory=1468 CPUtime=10.24 cores=1,3,5,7
/proc/23237/stat : 23237 (scop.sh) S 23234 23237 16770 0 -1 4202496 589 28454 0 0 0 0 1004 20 20 0 1 0 226392650 115843072 367 33554432000 4194304 5098028 140722973680704 140722973677448 140699696169596 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24104960 140722973688896 140722973689095 140722973689095 140722973691853 0
/proc/23237/statm: 28282 367 311 221 0 87 0
[pid=23255] ppid=23237 vsize=7937144 memory=119376 CPUtime=1.34 cores=1,3,5,7
/proc/23255/stat : 23255 (java) S 23237 23237 16770 0 -1 1077944320 19127 914 0 0 116 6 12 0 20 0 17 0 226393020 8127635456 29844 33554432000 4194304 4196468 140731629373264 140731629355808 140369024478967 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
/proc/23255/statm: 1984286 29844 3148 1 0 1945685 0
[pid=23255/tid=23256] ppid=23237 vsize=7937144 memory=0 CPUtime=0.91 cores=1,3,5,7
/proc/23255/task/23256/stat : 23256 (java) R 23237 23237 16770 0 -1 4202560 15838 914 0 0 75 4 12 0 20 0 17 0 226393020 8127635456 29844 33554432000 4194304 4196468 140731629373264 140368996303280 140369016716094 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23257] ppid=23237 vsize=7937144 memory=7528 CPUtime=0.12 cores=1,3,5,7
/proc/23255/task/23257/stat : 23257 (java) S 23237 23237 16770 0 -1 1077944384 1 914 0 0 0 0 12 0 20 0 17 0 226393022 8127635456 29844 33554432000 4194304 4196468 140731629373264 140369028720912 140369024489173 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23258] ppid=23237 vsize=7937144 memory=840 CPUtime=0.12 cores=1,3,5,7
/proc/23255/task/23258/stat : 23258 (java) S 23237 23237 16770 0 -1 1077944384 1 914 0 0 0 0 12 0 20 0 17 0 226393022 8127635456 29844 33554432000 4194304 4196468 140731629373264 140368509512080 140369024489173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23259] ppid=23237 vsize=7937144 memory=1796 CPUtime=0.12 cores=1,3,5,7
/proc/23255/task/23259/stat : 23259 (java) S 23237 23237 16770 0 -1 1077944384 1 914 0 0 0 0 12 0 20 0 17 0 226393022 8127635456 29844 33554432000 4194304 4196468 140731629373264 140368508459536 140369024489173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23260] ppid=23237 vsize=7937144 memory=916 CPUtime=0.12 cores=1,3,5,7
/proc/23255/task/23260/stat : 23260 (java) S 23237 23237 16770 0 -1 1077944384 2 914 0 0 0 0 12 0 20 0 17 0 226393022 8127635456 29844 33554432000 4194304 4196468 140731629373264 140368507406992 140369024489173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23261] ppid=23237 vsize=7937144 memory=3848 CPUtime=0.12 cores=1,3,5,7
/proc/23255/task/23261/stat : 23261 (java) S 23237 23237 16770 0 -1 1077944384 5 914 0 0 0 0 12 0 20 0 17 0 226393023 8127635456 29844 33554432000 4194304 4196468 140731629373264 140368470850032 140369024490114 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23262] ppid=23237 vsize=7937144 memory=3428 CPUtime=0.12 cores=1,3,5,7
/proc/23255/task/23262/stat : 23262 (java) S 23237 23237 16770 0 -1 1077944384 13 914 0 0 0 0 12 0 20 0 17 0 226393023 8127635456 29844 33554432000 4194304 4196468 140731629373264 140367852725664 140369024489173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23263] ppid=23237 vsize=7937144 memory=3428 CPUtime=0.12 cores=1,3,5,7
/proc/23255/task/23263/stat : 23263 (java) S 23237 23237 16770 0 -1 1077944384 1 914 0 0 0 0 12 0 20 0 17 0 226393024 8127635456 29844 33554432000 4194304 4196468 140731629373264 140367584290288 140369024489173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23264] ppid=23237 vsize=7937144 memory=1408 CPUtime=0.12 cores=1,3,5,7
/proc/23255/task/23264/stat : 23264 (java) S 23237 23237 16770 0 -1 1077944384 3 914 0 0 0 0 12 0 20 0 17 0 226393026 8127635456 29844 33554432000 4194304 4196468 140731629373264 140367209781968 140369024497563 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23265] ppid=23237 vsize=7937144 memory=3488 CPUtime=0.2 cores=1,3,5,7
/proc/23255/task/23265/stat : 23265 (java) S 23237 23237 16770 0 -1 1077944384 567 914 0 0 8 0 12 0 20 0 17 0 226393026 8127635456 29844 33554432000 4194304 4196468 140731629373264 140368469796848 140369024490114 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23266] ppid=23237 vsize=7937144 memory=1472 CPUtime=0.21 cores=1,3,5,7
/proc/23255/task/23266/stat : 23266 (java) R 23237 23237 16770 0 -1 4202560 455 914 0 0 9 0 12 0 20 0 17 0 226393026 8127635456 29844 33554432000 4194304 4196468 140731629373264 140368468734688 140369008385414 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23267] ppid=23237 vsize=7937144 memory=116928 CPUtime=0.33 cores=1,3,5,7
/proc/23255/task/23267/stat : 23267 (java) S 23237 23237 16770 0 -1 1077944384 824 914 0 0 21 0 12 0 20 0 17 0 226393026 8127635456 29844 33554432000 4194304 4196468 140731629373264 140368467691760 140369024490114 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23268] ppid=23237 vsize=7937144 memory=46496 CPUtime=0.12 cores=1,3,5,7
/proc/23255/task/23268/stat : 23268 (java) S 23237 23237 16770 0 -1 1077944384 3 914 0 0 0 0 12 0 20 0 17 0 226393026 8127635456 29844 33554432000 4194304 4196468 140731629373264 140366711876192 140369024489173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
[pid=23255/tid=23269] ppid=23237 vsize=7937144 memory=4104 CPUtime=0.12 cores=1,3,5,7
/proc/23255/task/23269/stat : 23269 (java) S 23237 23237 16770 0 -1 1077944384 1 914 0 0 0 0 12 0 20 0 17 0 226393026 8127635456 29844 33554432000 4194304 4196468 140731629373264 140368466639664 140369024490114 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24416256 140731629376693 140731629376817 140731629376817 140731629379535 0
Current children cumulated CPU time: 11.58 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 120844 KiB
Child status: 0
Real time (s): 4.61547
CPU time (s): 11.6268
CPU user time (s): 11.35
CPU system time (s): 0.276839
CPU usage (%): 251.91
Max. virtual memory (cumulated for all children) (KiB): 15140212
Max. memory (cumulated for all children) (KiB): 848012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.35
system time used= 0.276839
maximum resident set size= 852548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49142
page faults= 0
swaps= 0
block input operations= 0
block output operations= 640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4607
involuntary context switches= 51
# summary of solver processes directly reported to runsolver:
# pid: 23237
# total CPU time (s): 11.6268
# total CPU user time (s): 11.35
# total CPU system time (s): 0.276839
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.057828 second user time and 0.089345 second system time
The end