0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-23137-serial-file.bin HOME/instance-4305657-1534075054.xml
0.54/0.51
0.66/0.52 scop both+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Sun Aug 12 13:57:35 CEST 2018
0.66/0.54 c PID: 23140
0.66/0.54 c IP: 172.20.3.103
0.66/0.54 c HOST: node103.alineos.net
0.66/0.55 c (0,0) Parsing Begin
3.46/1.55 c (1,1) Parsing End
3.46/1.56 c (1,1) CSP: 112 int (0 aux), 0 bool (0 aux), 2529 ctr, max domain size 4
3.46/1.56 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.46/1.56 c (1,1) Constraint Name Generate Begin
3.46/1.59 c (1,1) Ctr:HOME/instance-4305657-1534075054.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or
3.46/1.59 c (1,1) Constraint Name Generate End
3.46/1.59 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.46/1.59 c (1,1) CSP to CSPinCNF Begin
4.06/1.76 c (1,1) translated 253 (10%) constraints
4.36/1.82 c (1,1) translated 506 (20%) constraints
4.36/1.86 c (1,1) translated 759 (30%) constraints
4.36/1.88 c (1,1) translated 1012 (40%) constraints
4.58/1.90 c (1,1) translated 1265 (50%) constraints
4.58/1.92 c (1,1) translated 1518 (60%) constraints
4.58/1.94 c (1,1) translated 1771 (70%) constraints
4.58/1.96 c (1,1) translated 2024 (80%) constraints
4.58/1.97 c (1,1) translated 2277 (90%) constraints
5.57/2.24 c (1,1) translated 2529 (100%) constraints
6.23/2.49 c (1,1) STATISTICS1:HOME/instance-4305657-1534075054.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,719,3820,32768,4,4,16,32768:56;4:4640;1:781,4:10079;2:1821;1:1675,4:2679;3:469;2:607;1:65,16:56;2:5421;1:2749,
6.23/2.49 c (1,1) ==========================================
6.23/2.49 c (1,1) Both Encoding selects:
6.23/2.49 c (1,1) Order
6.23/2.49 c (1,1) ==========================================
6.55/2.54 c (2,1) translated 382 (10%) constraints
6.55/2.57 c (2,2) translated 764 (20%) constraints
6.87/2.61 c (2,2) translated 1146 (30%) constraints
6.87/2.64 c (2,2) translated 1528 (40%) constraints
6.87/2.67 c (2,2) translated 1910 (50%) constraints
7.18/2.70 c (2,2) translated 2292 (60%) constraints
7.18/2.76 c (2,2) translated 2674 (70%) constraints
7.50/2.82 c (2,2) translated 3056 (80%) constraints
7.50/2.86 c (2,2) translated 3438 (90%) constraints
7.50/2.88 c (2,2) translated 3820 (100%) constraints
7.50/2.89 c (2,2) CSP to CSPinCNF End
7.50/2.89 c (2,2) CSP: 196 int (84 aux), 1055 bool (1055 aux), 4928 ctr, max domain size 5
7.50/2.89 c (2,2) Heap : 450 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
7.50/2.89 c (2,2) CSPinCNF Propagation Begin
7.82/2.99 c (2,2) 188 values, 1386 unsatisfiable literals, and 1122 valid clauses are removed
7.82/2.99 c (2,2) CSPinCNF Propagation End
7.82/2.99 c (2,2) CSP: 336 int (224 aux), 915 bool (915 aux), 3806 ctr, max domain size 5
7.82/2.99 c (2,2) Heap : 450 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
7.82/2.99 c (2,2) Simplify CSPinCNF Begin
8.49/3.11 c (2,2) Simplify CSPinCNF End
8.49/3.11 c (2,2) CSP: 336 int (224 aux), 2543 bool (2543 aux), 5434 ctr, max domain size 5
8.49/3.11 c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
8.49/3.11 c (2,2) Calculate Precise Domain Begin
8.49/3.15 c (2,2) 0 values are removed by re-calculation
8.49/3.15 c (2,2) Calculate Precise Domain End
8.49/3.16 c (2,2) CSP: 336 int (224 aux), 2543 bool (2543 aux), 5434 ctr, max domain size 5
8.49/3.16 c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
8.49/3.16 c (2,2) CSPinCNF to SatSolver Begin
8.75/3.25 c (2,2) 544 (10 %) CSP clauses are encoded (3119 SAT variables, 2067 SAT clauses)
8.75/3.28 c (2,2) 1087 (20 %) CSP clauses are encoded (3119 SAT variables, 3798 SAT clauses)
9.05/3.31 c (2,2) 1631 (30 %) CSP clauses are encoded (3119 SAT variables, 5335 SAT clauses)
9.05/3.33 c (2,2) 2174 (40 %) CSP clauses are encoded (3119 SAT variables, 6889 SAT clauses)
9.05/3.34 c (2,2) 2717 (50 %) CSP clauses are encoded (3119 SAT variables, 7444 SAT clauses)
9.05/3.35 c (2,2) 3261 (60 %) CSP clauses are encoded (3119 SAT variables, 7988 SAT clauses)
9.05/3.38 c (2,2) 3804 (70 %) CSP clauses are encoded (3119 SAT variables, 10435 SAT clauses)
9.35/3.41 c (2,2) 4348 (80 %) CSP clauses are encoded (3119 SAT variables, 12883 SAT clauses)
9.35/3.44 c (2,2) 4891 (90 %) CSP clauses are encoded (3119 SAT variables, 15330 SAT clauses)
9.35/3.45 c (2,2) 5434 (100 %) CSP clauses are encoded (3119 SAT variables, 16661 SAT clauses)
9.35/3.45 c (2,2) Launch Command will be: minisat_release
9.35/3.45 c (2,2) CSPinCNF to SatSolver End
9.35/3.45 c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
9.67/3.50 c (2,2) STATISTICS2:HOME/instance-4305657-1534075054.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,2879,5434,64,5,4,7,64:48;32:96;25:48;4:1760;1:35,5:288;4:4707;2:12385;1:35,4:1941;3:215;2:3069;1:209,7:48;6:96;3:48;2:1795;1:12769,
9.67/3.50 c (2,2) 3119 bool, 16664 clause
9.67/3.50 c (2,2) Export Begin
9.67/3.58 c (3,3) Export to HOME/scop-23137-serial-file.bin
9.67/3.58 c (3,3) Export End
9.67/3.58 c (3,3) Export File Size: 0.02 MB
9.67/3.58 c (3,3) 1,1,2,2,2,2,2,STOP-AFTER(DIMACS)
9.67/3.58 c END-Prog: Sun Aug 12 13:57:38 CEST 2018
9.85/3.60 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-23137-serial-file.bin
10.39/4.08 c (0,0) Read Serial File Begin
10.39/4.08 c (0,0) HOME/scop-23137-serial-file.bin
10.64/4.25 c (0,0) Read Serial File End
10.64/4.26
10.64/4.26 scop order+minisat_release (2018-07-31)
10.64/4.26 (Solving Process)
10.64/4.26
10.64/4.28 c BEGIN-Prog: Sun Aug 12 13:57:38 CEST 2018
10.64/4.28 c PID: 23155
10.64/4.28 c IP: 172.20.3.103
10.64/4.28 c HOST: node103.alineos.net
10.64/4.29 c (0,0) SatSolver.solve Begin
10.64/4.29 c (0,0) 0 bool, 0 clause
10.64/4.29 c (0,0) minisat_release HOME/instance-4305657-1534075054.xml-scop-23140.cnf
10.97/4.52 c (0,0) c This is COMiniSatPS.
10.97/4.52 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
10.97/4.52 c (0,0) c ============================[ Problem Statistics ]=============================
10.97/4.52 c (0,0) c | |
10.97/4.52 c (0,0) c | Number of variables: 3119 |
10.97/4.53 c (0,0) c | Number of clauses: 16664 |
10.97/4.53 c (0,0) c | Parse time: 0.01 s |
10.97/4.53 c (0,0) c | Eliminated clauses: 0.01 Mb |
10.97/4.53 c (0,0) c Reduced to 2406 vars, 15360 cls (grow=0)
10.97/4.53 c (0,0) c No iterative elimination performed. (vars=2406, c/v ratio=6.4)
10.97/4.53 c (0,0) c | Simplification time: 0.01 s |
10.97/4.53 c (0,0) c | |
10.97/4.53 c (0,0) c ============================[ Search Statistics ]==============================
10.97/4.53 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
10.97/4.53 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
10.97/4.53 c (0,0) c ===============================================================================
10.97/4.53 c (0,0) c ===============================================================================
10.97/4.53 c (0,0) c restarts : 13
10.97/4.53 c (0,0) c conflicts : 6589 (30877 /sec)
10.97/4.53 c (0,0) c decisions : 10811 (0.00 % random) (50662 /sec)
10.97/4.53 c (0,0) c propagations : 924261 (4331221 /sec)
10.97/4.53 c (0,0) c conflict literals : 123787 (14.29 % deleted)
10.97/4.53 c (0,0) c CPU time : 0.213395 s
10.97/4.53 c (0,0)
10.97/4.53 c (0,0) s UNSATISFIABLE
10.97/4.53 c (0,0) SatSolver.solve End
10.97/4.53 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
10.97/4.53 c (0,0) Show results Begin
10.97/4.53 s UNSATISFIABLE
10.97/4.53 c (0,0) Show results End
10.97/4.53 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
10.97/4.53 c (0,0) 0,0,STOP-AFTER(ALL)
10.97/4.53 c END-Prog: Sun Aug 12 13:57:39 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 (7868 MiB free)
memory of node 1: 16384 MiB (8750 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305657-1534075054/watcher-4305657-1534075054 -o /tmp/evaluation-result-4305657-1534075054/solver-4305657-1534075054 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534064938-20638 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305657-1534075054.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=23137, runsolver pid=23134
Current StackSize limit: 8192 KiB
[startup+0.100107 s]*
/proc/loadavg: 2.39 2.16 2.10 5/222 23154
/proc/meminfo: memFree=16956164/32770624 swapFree=67058740/67108860
[pid=23137] ppid=23134 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23137/stat : 23137 (scop.sh) S 23134 23137 20606 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225068599 115843072 349 33554432000 4194304 5098028 140725894529936 140725894527192 140466052518524 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19578880 140725894538305 140725894538503 140725894538503 140725894541261 0
/proc/23137/statm: 28282 349 296 221 0 87 0
[pid=23140] ppid=23137 vsize=15012476 memory=73248 CPUtime=0.1 cores=1,3,5,7
/proc/23140/stat : 23140 (java) S 23137 23137 20606 0 -1 1077944320 6977 0 0 0 9 1 0 0 20 0 15 0 225068599 15372775424 18312 33554432000 4194304 4196468 140725965110400 140725965092944 139790553685751 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
/proc/23140/statm: 3753119 18312 2744 1 0 3715579 0
[pid=23140/tid=23141] ppid=23137 vsize=15012476 memory=-6148396199699595201 CPUtime=0.09 cores=1,3,5,7
/proc/23140/task/23141/stat : 23141 (java) R 23137 23137 20606 0 -1 4202560 5144 0 0 0 8 1 0 0 20 0 15 0 225068599 15372775424 18378 33554432000 4194304 4196468 140725965110400 139790525462832 139790533961472 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23142] ppid=23137 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23142/stat : 23142 (java) S 23137 23137 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225068601 15372775424 18378 33554432000 4194304 4196468 140725965110400 139790557928080 139790553695957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23143] ppid=23137 vsize=15012476 memory=140572426110592 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23143/stat : 23143 (java) S 23137 23137 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068601 15372775424 18378 33554432000 4194304 4196468 140725965110400 139790382570000 139790553695957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23144] ppid=23137 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23144/stat : 23144 (java) S 23137 23137 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225068601 15372775424 18378 33554432000 4194304 4196468 140725965110400 139790013245840 139790553695957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23145] ppid=23137 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23145/stat : 23145 (java) S 23137 23137 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068601 15372775424 18378 33554432000 4194304 4196468 140725965110400 139790012193040 139790553695957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23146] ppid=23137 vsize=15012476 memory=140572426110592 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23146/stat : 23146 (java) S 23137 23137 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225068602 15372775424 18378 33554432000 4194304 4196468 140725965110400 139789758974832 139790553696898 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23147] ppid=23137 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23147/stat : 23147 (java) S 23137 23137 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225068603 15372775424 18378 33554432000 4194304 4196468 140725965110400 139789172991520 139790553695957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23148] ppid=23137 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23148/stat : 23148 (java) S 23137 23137 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068603 15372775424 18378 33554432000 4194304 4196468 140725965110400 139788904555888 139790553695957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23149] ppid=23137 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23149/stat : 23149 (java) S 23137 23137 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225068605 15372775424 18444 33554432000 4194304 4196468 140725965110400 139788530047312 139790553704347 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23150] ppid=23137 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23150/stat : 23150 (java) S 23137 23137 20606 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 225068605 15372775424 18444 33554432000 4194304 4196468 140725965110400 139789757921648 139790553696898 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23151] ppid=23137 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23151/stat : 23151 (java) S 23137 23137 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068605 15372775424 18444 33554432000 4194304 4196468 140725965110400 139789756868848 139790553696898 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23152] ppid=23137 vsize=15012476 memory=140572426110592 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23152/stat : 23152 (java) S 23137 23137 20606 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 15 0 225068605 15372775424 18444 33554432000 4194304 4196468 140725965110400 139789755816048 139790553696898 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23153] ppid=23137 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23153/stat : 23153 (java) S 23137 23137 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225068606 15372775424 18444 33554432000 4194304 4196468 140725965110400 139788032141536 139790553695957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23154] ppid=23137 vsize=15012476 memory=140572426110592 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23154/stat : 23154 (java) S 23137 23137 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068606 15372775424 18444 33554432000 4194304 4196468 140725965110400 139789754764464 139790553696898 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74644 KiB
[startup+0.210557 s]*
/proc/loadavg: 2.39 2.16 2.10 4/222 23154
/proc/meminfo: memFree=16939980/32770624 swapFree=67058740/67108860
[pid=23137] ppid=23134 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23137/stat : 23137 (scop.sh) S 23134 23137 20606 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225068599 115843072 349 33554432000 4194304 5098028 140725894529936 140725894527192 140466052518524 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19578880 140725894538305 140725894538503 140725894538503 140725894541261 0
/proc/23137/statm: 28282 349 296 221 0 87 0
[pid=23140] ppid=23137 vsize=15012476 memory=88640 CPUtime=0.25 cores=1,3,5,7
/proc/23140/stat : 23140 (java) S 23137 23137 20606 0 -1 1077944320 11035 0 0 0 23 2 0 0 20 0 15 0 225068599 15372775424 22160 33554432000 4194304 4196468 140725965110400 140725965092944 139790553685751 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
/proc/23140/statm: 3753119 22160 2867 1 0 3715579 0
[pid=23140/tid=23141] ppid=23137 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/23140/task/23141/stat : 23141 (java) R 23137 23137 20606 0 -1 4202560 8963 0 0 0 18 2 0 0 20 0 15 0 225068599 15372775424 22160 33554432000 4194304 4196468 140725965110400 139790525512144 139790553697686 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23142] ppid=23137 vsize=15012476 memory=545 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23142/stat : 23142 (java) S 23137 23137 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225068601 15372775424 22160 33554432000 4194304 4196468 140725965110400 139790557928080 139790553695957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23143] ppid=23137 vsize=15012476 memory=140572427273826 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23143/stat : 23143 (java) S 23137 23137 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068601 15372775424 22160 33554432000 4194304 4196468 140725965110400 139790382570000 139790553695957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23144] ppid=23137 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23144/stat : 23144 (java) S 23137 23137 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225068601 15372775424 22160 33554432000 4194304 4196468 140725965110400 139790013245840 139790553695957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23145] ppid=23137 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23145/stat : 23145 (java) S 23137 23137 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068601 15372775424 22160 33554432000 4194304 4196468 140725965110400 139790012193040 139790553695957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23146] ppid=23137 vsize=15012476 memory=140572426110592 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23146/stat : 23146 (java) S 23137 23137 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225068602 15372775424 22160 33554432000 4194304 4196468 140725965110400 139789758974832 139790553696898 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23147] ppid=23137 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23147/stat : 23147 (java) S 23137 23137 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225068603 15372775424 22160 33554432000 4194304 4196468 140725965110400 139789172991520 139790553695957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23148] ppid=23137 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23148/stat : 23148 (java) S 23137 23137 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068603 15372775424 22160 33554432000 4194304 4196468 140725965110400 139788904555888 139790553695957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23149] ppid=23137 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23149/stat : 23149 (java) S 23137 23137 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225068605 15372775424 22160 33554432000 4194304 4196468 140725965110400 139788530047312 139790553704347 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23150] ppid=23137 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23150/stat : 23150 (java) S 23137 23137 20606 0 -1 1077944384 454 0 0 0 0 0 0 0 20 0 15 0 225068605 15372775424 22160 33554432000 4194304 4196468 140725965110400 139789757921648 139790553696898 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23151] ppid=23137 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23151/stat : 23151 (java) S 23137 23137 20606 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 225068605 15372775424 22160 33554432000 4194304 4196468 140725965110400 139789756868848 139790553696898 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23152] ppid=23137 vsize=15012476 memory=140572426110592 CPUtime=0.03 cores=1,3,5,7
/proc/23140/task/23152/stat : 23152 (java) R 23137 23137 20606 0 -1 4202560 268 0 0 0 3 0 0 0 20 0 15 0 225068605 15372775424 22160 33554432000 4194304 4196468 140725965110400 139789755816048 139790553697686 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23153] ppid=23137 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23153/stat : 23153 (java) S 23137 23137 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225068606 15372775424 22160 33554432000 4194304 4196468 140725965110400 139788032141536 139790553695957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23154] ppid=23137 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23154/stat : 23154 (java) S 23137 23137 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068606 15372775424 22160 33554432000 4194304 4196468 140725965110400 139789754764464 139790553696898 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 90036 KiB
[startup+0.310734 s]*
/proc/loadavg: 2.39 2.16 2.10 3/222 23154
/proc/meminfo: memFree=16937064/32770624 swapFree=67058740/67108860
[pid=23137] ppid=23134 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23137/stat : 23137 (scop.sh) S 23134 23137 20606 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225068599 115843072 349 33554432000 4194304 5098028 140725894529936 140725894527192 140466052518524 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19578880 140725894538305 140725894538503 140725894538503 140725894541261 0
/proc/23137/statm: 28282 349 296 221 0 87 0
[pid=23140] ppid=23137 vsize=15012476 memory=92036 CPUtime=0.42 cores=1,3,5,7
/proc/23140/stat : 23140 (java) S 23137 23137 20606 0 -1 1077944320 11502 0 0 0 39 3 0 0 20 0 15 0 225068599 15372775424 23009 33554432000 4194304 4196468 140725965110400 140725965092944 139790553685751 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
/proc/23140/statm: 3753119 23009 2968 1 0 3715579 0
[pid=23140/tid=23141] ppid=23137 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/23140/task/23141/stat : 23141 (java) R 23137 23137 20606 0 -1 4202560 9265 0 0 0 27 2 0 0 20 0 15 0 225068599 15372775424 23009 33554432000 4194304 4196468 140725965110400 139790525480752 139790553707677 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23142] ppid=23137 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23142/stat : 23142 (java) S 23137 23137 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225068601 15372775424 23009 33554432000 4194304 4196468 140725965110400 139790557928080 139790553695957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23143] ppid=23137 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23143/stat : 23143 (java) S 23137 23137 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068601 15372775424 23009 33554432000 4194304 4196468 140725965110400 139790382570000 139790553695957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23144] ppid=23137 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23144/stat : 23144 (java) S 23137 23137 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225068601 15372775424 23009 33554432000 4194304 4196468 140725965110400 139790013245840 139790553695957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23145] ppid=23137 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23145/stat : 23145 (java) S 23137 23137 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068601 15372775424 23009 33554432000 4194304 4196468 140725965110400 139790012193040 139790553695957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23146] ppid=23137 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23146/stat : 23146 (java) S 23137 23137 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225068602 15372775424 23009 33554432000 4194304 4196468 140725965110400 139789758974832 139790553696898 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23147] ppid=23137 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23147/stat : 23147 (java) S 23137 23137 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225068603 15372775424 23009 33554432000 4194304 4196468 140725965110400 139789172991520 139790553695957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23148] ppid=23137 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23148/stat : 23148 (java) S 23137 23137 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068603 15372775424 23009 33554432000 4194304 4196468 140725965110400 139788904555888 139790553695957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23149] ppid=23137 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23149/stat : 23149 (java) S 23137 23137 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225068605 15372775424 23009 33554432000 4194304 4196468 140725965110400 139788530047312 139790553704347 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23150] ppid=23137 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23140/task/23150/stat : 23150 (java) R 23137 23137 20606 0 -1 1077944384 512 0 0 0 2 0 0 0 20 0 15 0 225068605 15372775424 23009 33554432000 4194304 4196468 140725965110400 139789757921648 139790553696898 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23151] ppid=23137 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23140/task/23151/stat : 23151 (java) R 23137 23137 20606 0 -1 4202560 103 0 0 0 1 0 0 0 20 0 15 0 225068605 15372775424 23009 33554432000 4194304 4196468 140725965110400 139789756868848 139790537096646 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23152] ppid=23137 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23140/task/23152/stat : 23152 (java) R 23137 23137 20606 0 -1 4202560 289 0 0 0 7 0 0 0 20 0 15 0 225068605 15372775424 23009 33554432000 4194304 4196468 140725965110400 139789755816048 139790532277873 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23153] ppid=23137 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23153/stat : 23153 (java) S 23137 23137 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225068606 15372775424 23009 33554432000 4194304 4196468 140725965110400 139788032141536 139790553695957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23154] ppid=23137 vsize=15012476 memory=3977583576071872561 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23154/stat : 23154 (java) S 23137 23137 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068606 15372775424 23009 33554432000 4194304 4196468 140725965110400 139789754764464 139790553696898 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 93432 KiB
[startup+0.701647 s]
/proc/loadavg: 2.39 2.16 2.10 3/222 23154
/proc/meminfo: memFree=16914616/32770624 swapFree=67058740/67108860
[pid=23137] ppid=23134 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23137/stat : 23137 (scop.sh) S 23134 23137 20606 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225068599 115843072 349 33554432000 4194304 5098028 140725894529936 140725894527192 140466052518524 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19578880 140725894538305 140725894538503 140725894538503 140725894541261 0
/proc/23137/statm: 28282 349 296 221 0 87 0
[pid=23140] ppid=23137 vsize=15018748 memory=132080 CPUtime=1.06 cores=1,3,5,7
/proc/23140/stat : 23140 (java) S 23137 23137 20606 0 -1 1077944320 18049 0 0 0 101 5 0 0 20 0 15 0 225068599 15379197952 32956 33554432000 4194304 4196468 140725965110400 140725965092944 139790553685751 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
/proc/23140/statm: 3754687 32956 3144 1 0 3716091 0
[pid=23140/tid=23141] ppid=23137 vsize=15018748 memory=2372 CPUtime=0.67 cores=1,3,5,7
/proc/23140/task/23141/stat : 23141 (java) R 23137 23137 20606 0 -1 4202560 15186 0 0 0 63 4 0 0 20 0 15 0 225068599 15379197952 33020 33554432000 4194304 4196468 140725965110400 139790525523232 139790537766238 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23142] ppid=23137 vsize=15018748 memory=116 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23142/stat : 23142 (java) S 23137 23137 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225068601 15379197952 33020 33554432000 4194304 4196468 140725965110400 139790557928080 139790553695957 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23143] ppid=23137 vsize=15018748 memory=12922 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23143/stat : 23143 (java) S 23137 23137 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068601 15379197952 33020 33554432000 4194304 4196468 140725965110400 139790382570000 139790553695957 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23144] ppid=23137 vsize=15018748 memory=448505 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23144/stat : 23144 (java) S 23137 23137 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225068601 15379197952 33020 33554432000 4194304 4196468 140725965110400 139790013245840 139790553695957 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23145] ppid=23137 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23145/stat : 23145 (java) S 23137 23137 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068601 15379197952 33020 33554432000 4194304 4196468 140725965110400 139790012193040 139790553695957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23146] ppid=23137 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23146/stat : 23146 (java) S 23137 23137 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225068602 15379197952 33020 33554432000 4194304 4196468 140725965110400 139789758974832 139790553696898 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23147] ppid=23137 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23147/stat : 23147 (java) S 23137 23137 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225068603 15379197952 33020 33554432000 4194304 4196468 140725965110400 139789172991520 139790553695957 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23148] ppid=23137 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23148/stat : 23148 (java) S 23137 23137 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068603 15379197952 33020 33554432000 4194304 4196468 140725965110400 139788904555888 139790553695957 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23149] ppid=23137 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23149/stat : 23149 (java) S 23137 23137 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225068605 15379197952 33020 33554432000 4194304 4196468 140725965110400 139788530047312 139790553704347 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23150] ppid=23137 vsize=15018748 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/23140/task/23150/stat : 23150 (java) R 23137 23137 20606 0 -1 4202560 816 0 0 0 10 0 0 0 20 0 15 0 225068605 15379197952 33020 33554432000 4194304 4196468 140725965110400 139789757911120 139790537185949 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23151] ppid=23137 vsize=15018748 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23140/task/23151/stat : 23151 (java) R 23137 23137 20606 0 -1 4202560 312 0 0 0 9 0 0 0 20 0 15 0 225068605 15379197952 33020 33554432000 4194304 4196468 140725965110400 139789756868976 139790553697686 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23152] ppid=23137 vsize=15018748 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/23140/task/23152/stat : 23152 (java) R 23137 23137 20606 0 -1 1077944384 419 0 0 0 17 0 0 0 20 0 15 0 225068605 15379197952 33020 33554432000 4194304 4196468 140725965110400 139789755811088 139790553695957 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23153] ppid=23137 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23153/stat : 23153 (java) S 23137 23137 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225068606 15379197952 33020 33554432000 4194304 4196468 140725965110400 139788032141536 139790553695957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23154] ppid=23137 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23154/stat : 23154 (java) S 23137 23137 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068606 15379197952 33020 33554432000 4194304 4196468 140725965110400 139789754764464 139790553696898 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 133476 KiB
[startup+1.50088 s]
/proc/loadavg: 2.39 2.16 2.10 3/222 23154
/proc/meminfo: memFree=16860108/32770624 swapFree=67058740/67108860
[pid=23137] ppid=23134 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23137/stat : 23137 (scop.sh) S 23134 23137 20606 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225068599 115843072 349 33554432000 4194304 5098028 140725894529936 140725894527192 140466052518524 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19578880 140725894538305 140725894538503 140725894538503 140725894541261 0
/proc/23137/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/23137/stat : 23137 (scop.sh) S 23134 23137 20606 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225068599 115843072 349 33554432000 4194304 5098028 140725894529936 140725894527192 140466052518524 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19578880 140725894538305 140725894538503 140725894538503 140725894541261 0
/proc/23137/statm: 28282 349 296 221 0 87 0
[pid=23140] ppid=23137 vsize=15027084 memory=505984 CPUtime=8.75 cores=1,3,5,7
/proc/23140/stat : 23140 (java) S 23137 23137 20606 0 -1 1077944320 27246 0 0 0 861 14 0 0 20 0 15 0 225068599 15387734016 126496 33554432000 4194304 4196468 140725965110400 140725965092944 139790553685751 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
/proc/23140/statm: 3756771 126496 3216 1 0 3717627 0
[pid=23140/tid=23141] ppid=23137 vsize=15027084 memory=114 CPUtime=3.15 cores=1,3,5,7
/proc/23140/task/23141/stat : 23141 (java) R 23137 23137 20606 0 -1 4202560 17261 0 0 0 304 11 0 0 20 0 15 0 225068599 15387734016 126496 33554432000 4194304 4196468 140725965110400 139790525519728 139790537729381 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23142] ppid=23137 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23142/stat : 23142 (java) S 23137 23137 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225068601 15387734016 126496 33554432000 4194304 4196468 140725965110400 139790557928080 139790553695957 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23143] ppid=23137 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23143/stat : 23143 (java) S 23137 23137 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068601 15387734016 126496 33554432000 4194304 4196468 140725965110400 139790382570000 139790553695957 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23144] ppid=23137 vsize=15027084 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23144/stat : 23144 (java) S 23137 23137 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225068601 15387734016 126496 33554432000 4194304 4196468 140725965110400 139790013245840 139790553695957 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23145] ppid=23137 vsize=15027084 memory=281144533330992 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23145/stat : 23145 (java) S 23137 23137 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068601 15387734016 126496 33554432000 4194304 4196468 140725965110400 139790012193040 139790553695957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23146] ppid=23137 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23146/stat : 23146 (java) S 23137 23137 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225068602 15387734016 126496 33554432000 4194304 4196468 140725965110400 139789758974832 139790553696898 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23147] ppid=23137 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23147/stat : 23147 (java) S 23137 23137 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225068603 15387734016 126496 33554432000 4194304 4196468 140725965110400 139789172991520 139790553695957 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23148] ppid=23137 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23148/stat : 23148 (java) S 23137 23137 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068603 15387734016 126496 33554432000 4194304 4196468 140725965110400 139788904555888 139790553695957 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23149] ppid=23137 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23149/stat : 23149 (java) S 23137 23137 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225068605 15387734016 126496 33554432000 4194304 4196468 140725965110400 139788530047312 139790553704347 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23150] ppid=23137 vsize=15027084 memory=0 CPUtime=2.14 cores=1,3,5,7
/proc/23140/task/23150/stat : 23150 (java) R 23137 23137 20606 0 -1 4202560 2469 0 0 0 214 0 0 0 20 0 15 0 225068605 15387734016 126496 33554432000 4194304 4196468 140725965110400 139789757921648 139790537974752 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23151] ppid=23137 vsize=15027084 memory=0 CPUtime=2.2 cores=1,3,5,7
/proc/23140/task/23151/stat : 23151 (java) R 23137 23137 20606 0 -1 4202560 2520 0 0 0 220 0 0 0 20 0 15 0 225068605 15387734016 126496 33554432000 4194304 4196468 140725965110400 139789756855696 139790531852232 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23152] ppid=23137 vsize=15027084 memory=0 CPUtime=1.22 cores=1,3,5,7
/proc/23140/task/23152/stat : 23152 (java) S 23137 23137 20606 0 -1 1077944384 3660 0 0 0 121 1 0 0 20 0 15 0 225068605 15387734016 126496 33554432000 4194304 4196468 140725965110400 139789755816048 139790553696898 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23153] ppid=23137 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23153/stat : 23153 (java) S 23137 23137 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225068606 15387734016 126496 33554432000 4194304 4196468 140725965110400 139788032141536 139790553695957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
[pid=23140/tid=23154] ppid=23137 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23140/task/23154/stat : 23154 (java) S 23137 23137 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068606 15387734016 126496 33554432000 4194304 4196468 140725965110400 139789754764464 139790553696898 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38809600 140725965112327 140725965112625 140725965112625 140725965115343 0
Current children cumulated CPU time: 8.75 s
Current children cumulated vsize: 15140212 KiB
Current children cumulated memory: 507380 KiB
[startup+4.00034 s]*
/proc/loadavg: 2.39 2.16 2.10 3/222 23169
/proc/meminfo: memFree=16956644/32770624 swapFree=67058740/67108860
[pid=23137] ppid=23134 vsize=113128 memory=1472 CPUtime=9.85 cores=1,3,5,7
/proc/23137/stat : 23137 (scop.sh) S 23134 23137 20606 0 -1 4202496 592 28904 0 0 0 0 967 18 20 0 1 0 225068599 115843072 368 33554432000 4194304 5098028 140725894529936 140725894526680 140466052518524 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19578880 140725894538305 140725894538503 140725894538503 140725894541261 0
/proc/23137/statm: 28282 368 311 221 0 87 0
[pid=23155] ppid=23137 vsize=7406364 memory=72004 CPUtime=0.54 cores=1,3,5,7
/proc/23155/stat : 23155 (java) S 23137 23137 20606 0 -1 1077944320 11575 0 0 0 50 4 0 0 20 0 15 0 225068959 7584116736 18001 33554432000 4194304 4196468 140725367512352 140725367494896 140018040901367 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
/proc/23155/statm: 1851591 18001 3029 1 0 1813530 0
[pid=23155/tid=23156] ppid=23137 vsize=7406364 memory=7019808074772799808 CPUtime=0.38 cores=1,3,5,7
/proc/23155/task/23156/stat : 23156 (java) R 23137 23137 20606 0 -1 4202560 9233 0 0 0 35 3 0 0 20 0 15 0 225068959 7584116736 18001 33554432000 4194304 4196468 140725367512352 140018012725184 140018024981854 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23157] ppid=23137 vsize=7406364 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/23155/task/23157/stat : 23157 (java) S 23137 23137 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068960 7584116736 18001 33554432000 4194304 4196468 140725367512352 140018045143824 140018040911573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23158] ppid=23137 vsize=7406364 memory=140572426128256 CPUtime=0 cores=1,3,5,7
/proc/23155/task/23158/stat : 23158 (java) S 23137 23137 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225068960 7584116736 18001 33554432000 4194304 4196468 140725367512352 140017845312400 140018040911573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23159] ppid=23137 vsize=7406364 memory=9004 CPUtime=0 cores=1,3,5,7
/proc/23155/task/23159/stat : 23159 (java) S 23137 23137 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068960 7584116736 18001 33554432000 4194304 4196468 140725367512352 140017844259856 140018040911573 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23160] ppid=23137 vsize=7406364 memory=3617551796267921439 CPUtime=0 cores=1,3,5,7
/proc/23155/task/23160/stat : 23160 (java) S 23137 23137 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225068960 7584116736 18001 33554432000 4194304 4196468 140725367512352 140017843207312 140018040911573 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23161] ppid=23137 vsize=7406364 memory=3906227339783781817 CPUtime=0 cores=1,3,5,7
/proc/23155/task/23161/stat : 23161 (java) S 23137 23137 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225068962 7584116736 18001 33554432000 4194304 4196468 140725367512352 140017486755824 140018040912514 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23162] ppid=23137 vsize=7406364 memory=3683997504517716273 CPUtime=0 cores=1,3,5,7
/proc/23155/task/23162/stat : 23162 (java) S 23137 23137 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225068962 7584116736 18001 33554432000 4194304 4196468 140725367512352 140016873366432 140018040911573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23163] ppid=23137 vsize=7406364 memory=3689909600872983657 CPUtime=0 cores=1,3,5,7
/proc/23155/task/23163/stat : 23163 (java) S 23137 23137 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068962 7584116736 18001 33554432000 4194304 4196468 140725367512352 140016604931056 140018040911573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23164] ppid=23137 vsize=7406364 memory=281144532732416 CPUtime=0 cores=1,3,5,7
/proc/23155/task/23164/stat : 23164 (java) S 23137 23137 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225068965 7584116736 18001 33554432000 4194304 4196468 140725367512352 140016230422736 140018040919963 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23165] ppid=23137 vsize=7406364 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23155/task/23165/stat : 23165 (java) S 23137 23137 20606 0 -1 1077944384 407 0 0 0 2 0 0 0 20 0 15 0 225068965 7584116736 18001 33554432000 4194304 4196468 140725367512352 140017485703664 140018040912514 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23166] ppid=23137 vsize=7406364 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23155/task/23166/stat : 23166 (java) S 23137 23137 20606 0 -1 1077944384 218 0 0 0 2 0 0 0 20 0 15 0 225068965 7584116736 18001 33554432000 4194304 4196468 140725367512352 140017484651120 140018040912514 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23167] ppid=23137 vsize=7406364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23155/task/23167/stat : 23167 (java) S 23137 23137 20606 0 -1 1077944384 383 0 0 0 8 0 0 0 20 0 15 0 225068965 7584116736 18001 33554432000 4194304 4196468 140725367512352 140017483598576 140018040912514 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23168] ppid=23137 vsize=7406364 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/23155/task/23168/stat : 23168 (java) S 23137 23137 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225068965 7584116736 18001 33554432000 4194304 4196468 140725367512352 140015732517984 140018040911573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23169] ppid=23137 vsize=7406364 memory=-7531822216213012384 CPUtime=0 cores=1,3,5,7
/proc/23155/task/23169/stat : 23169 (java) S 23137 23137 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225068965 7584116736 18001 33554432000 4194304 4196468 140725367512352 140017482545456 140018040912514 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
Current children cumulated CPU time: 10.39 s
Current children cumulated vsize: 7519492 KiB
Current children cumulated memory: 73476 KiB
[startup+4.40076 s]
/proc/loadavg: 2.39 2.16 2.10 3/222 23169
/proc/meminfo: memFree=16956644/32770624 swapFree=67058740/67108860
[pid=23137] ppid=23134 vsize=113128 memory=1472 CPUtime=9.85 cores=1,3,5,7
/proc/23137/stat : 23137 (scop.sh) S 23134 23137 20606 0 -1 4202496 592 28904 0 0 0 0 967 18 20 0 1 0 225068599 115843072 368 33554432000 4194304 5098028 140725894529936 140725894526680 140466052518524 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19578880 140725894538305 140725894538503 140725894538503 140725894541261 0
/proc/23137/statm: 28282 368 311 221 0 87 0
[pid=23155] ppid=23137 vsize=8068220 memory=116328 CPUtime=1.12 cores=1,3,5,7
/proc/23155/stat : 23155 (java) S 23137 23137 20606 0 -1 1077944320 17887 0 0 0 105 7 0 0 20 0 19 0 225068959 8261857280 29082 33554432000 4194304 4196468 140725367512352 140725367494896 140018040901367 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
/proc/23155/statm: 2017055 29082 3150 1 0 1978454 0
[pid=23155/tid=23156] ppid=23137 vsize=8068220 memory=7810475824287077989 CPUtime=0.73 cores=1,3,5,7
/proc/23155/task/23156/stat : 23156 (java) S 23137 23137 20606 0 -1 1077944384 14920 0 0 0 68 5 0 0 20 0 19 0 225068959 8261857280 29082 33554432000 4194304 4196468 140725367512352 140018012741520 140018040911573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23157] ppid=23137 vsize=8068220 memory=7666360636211222117 CPUtime=0 cores=1,3,5,7
/proc/23155/task/23157/stat : 23157 (java) S 23137 23137 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225068960 8261857280 29082 33554432000 4194304 4196468 140725367512352 140018045143824 140018040911573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23158] ppid=23137 vsize=8068220 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/23155/task/23158/stat : 23158 (java) S 23137 23137 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225068960 8261857280 29082 33554432000 4194304 4196468 140725367512352 140017845312400 140018040911573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23159] ppid=23137 vsize=8068220 memory=405164 CPUtime=0 cores=1,3,5,7
/proc/23155/task/23159/stat : 23159 (java) S 23137 23137 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225068960 8261857280 29082 33554432000 4194304 4196468 140725367512352 140017844259856 140018040911573 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23160] ppid=23137 vsize=8068220 memory=7086240636129136995 CPUtime=0 cores=1,3,5,7
/proc/23155/task/23160/stat : 23160 (java) S 23137 23137 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225068960 8261857280 29082 33554432000 4194304 4196468 140725367512352 140017843207312 140018040911573 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23161] ppid=23137 vsize=8068220 memory=7380106142448641387 CPUtime=0 cores=1,3,5,7
/proc/23155/task/23161/stat : 23161 (java) S 23137 23137 20606 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 225068962 8261857280 29082 33554432000 4194304 4196468 140725367512352 140017486755824 140018040912514 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23162] ppid=23137 vsize=8068220 memory=5788930165031592000 CPUtime=0 cores=1,3,5,7
/proc/23155/task/23162/stat : 23162 (java) S 23137 23137 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225068962 8261857280 29082 33554432000 4194304 4196468 140725367512352 140016873366432 140018040911573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23163] ppid=23137 vsize=8068220 memory=4139544268426278442 CPUtime=0 cores=1,3,5,7
/proc/23155/task/23163/stat : 23163 (java) S 23137 23137 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225068962 8261857280 29082 33554432000 4194304 4196468 140725367512352 140016604931056 140018040911573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23164] ppid=23137 vsize=8068220 memory=7522539056126125922 CPUtime=0 cores=1,3,5,7
/proc/23155/task/23164/stat : 23164 (java) S 23137 23137 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225068965 8261857280 29082 33554432000 4194304 4196468 140725367512352 140016230422736 140018040919963 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23165] ppid=23137 vsize=8068220 memory=-9062862659931694204 CPUtime=0.08 cores=1,3,5,7
/proc/23155/task/23165/stat : 23165 (java) S 23137 23137 20606 0 -1 1077944384 618 0 0 0 8 0 0 0 20 0 19 0 225068965 8261857280 29082 33554432000 4194304 4196468 140725367512352 140017485703664 140018040912514 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23166] ppid=23137 vsize=8068220 memory=-7173504570862900581 CPUtime=0.09 cores=1,3,5,7
/proc/23155/task/23166/stat : 23166 (java) S 23137 23137 20606 0 -1 1077944384 327 0 0 0 9 0 0 0 20 0 19 0 225068965 8261857280 29082 33554432000 4194304 4196468 140725367512352 140017484651120 140018040912514 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23167] ppid=23137 vsize=8068220 memory=4783210246294233184 CPUtime=0.19 cores=1,3,5,7
/proc/23155/task/23167/stat : 23167 (java) S 23137 23137 20606 0 -1 1077944384 602 0 0 0 19 0 0 0 20 0 19 0 225068965 8261857280 29082 33554432000 4194304 4196468 140725367512352 140017483598576 140018040912514 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23168] ppid=23137 vsize=8068220 memory=7680491646476186387 CPUtime=0 cores=1,3,5,7
/proc/23155/task/23168/stat : 23168 (java) S 23137 23137 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225068965 8261857280 29082 33554432000 4194304 4196468 140725367512352 140015732517984 140018040911573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23169] ppid=23137 vsize=8068220 memory=-7812736537705029536 CPUtime=0 cores=1,3,5,7
/proc/23155/task/23169/stat : 23169 (java) S 23137 23137 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225068965 8261857280 29082 33554432000 4194304 4196468 140725367512352 140017482545456 140018040912514 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
Current children cumulated CPU time: 10.97 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 117800 KiB
[startup+4.50076 s]
/proc/loadavg: 2.39 2.16 2.10 3/222 23169
/proc/meminfo: memFree=16956644/32770624 swapFree=67058740/67108860
[pid=23137] ppid=23134 vsize=113128 memory=1472 CPUtime=9.85 cores=1,3,5,7
/proc/23137/stat : 23137 (scop.sh) S 23134 23137 20606 0 -1 4202496 592 28904 0 0 0 0 967 18 20 0 1 0 225068599 115843072 368 33554432000 4194304 5098028 140725894529936 140725894526680 140466052518524 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19578880 140725894538305 140725894538503 140725894538503 140725894541261 0
/proc/23137/statm: 28282 368 311 221 0 87 0
[pid=23155] ppid=23137 vsize=8068220 memory=116328 CPUtime=1.12 cores=1,3,5,7
/proc/23155/stat : 23155 (java) S 23137 23137 20606 0 -1 1077944320 17887 0 0 0 105 7 0 0 20 0 19 0 225068959 8261857280 29082 33554432000 4194304 4196468 140725367512352 140725367494896 140018040901367 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
/proc/23155/statm: 2017055 29082 3150 1 0 1978454 0
[pid=23155/tid=23156] ppid=23137 vsize=8068220 memory=1472 CPUtime=0.73 cores=1,3,5,7
/proc/23155/task/23156/stat : 23156 (java) S 23137 23137 20606 0 -1 1077944384 14920 0 0 0 68 5 0 0 20 0 19 0 225068959 8261857280 29082 33554432000 4194304 4196468 140725367512352 140018012741520 140018040911573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23157] ppid=23137 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23155/task/23157/stat : 23157 (java) S 23137 23137 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225068960 8261857280 29082 33554432000 4194304 4196468 140725367512352 140018045143824 140018040911573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23158] ppid=23137 vsize=8068220 memory=281144533013888 CPUtime=0 cores=1,3,5,7
/proc/23155/task/23158/stat : 23158 (java) S 23137 23137 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225068960 8261857280 29082 33554432000 4194304 4196468 140725367512352 140017845312400 140018040911573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23159] ppid=23137 vsize=8068220 memory=7084821295264841834 CPUtime=0 cores=1,3,5,7
/proc/23155/task/23159/stat : 23159 (java) S 23137 23137 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225068960 8261857280 29082 33554432000 4194304 4196468 140725367512352 140017844259856 140018040911573 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23160] ppid=23137 vsize=8068220 memory=67 CPUtime=0 cores=1,3,5,7
/proc/23155/task/23160/stat : 23160 (java) S 23137 23137 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225068960 8261857280 29082 33554432000 4194304 4196468 140725367512352 140017843207312 140018040911573 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23161] ppid=23137 vsize=8068220 memory=48 CPUtime=0 cores=1,3,5,7
/proc/23155/task/23161/stat : 23161 (java) S 23137 23137 20606 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 225068962 8261857280 29082 33554432000 4194304 4196468 140725367512352 140017486755824 140018040912514 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23162] ppid=23137 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23155/task/23162/stat : 23162 (java) S 23137 23137 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225068962 8261857280 29082 33554432000 4194304 4196468 140725367512352 140016873366432 140018040911573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23163] ppid=23137 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23155/task/23163/stat : 23163 (java) S 23137 23137 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225068962 8261857280 29082 33554432000 4194304 4196468 140725367512352 140016604931056 140018040911573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23164] ppid=23137 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23155/task/23164/stat : 23164 (java) S 23137 23137 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225068965 8261857280 29082 33554432000 4194304 4196468 140725367512352 140016230422736 140018040919963 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23165] ppid=23137 vsize=8068220 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23155/task/23165/stat : 23165 (java) S 23137 23137 20606 0 -1 1077944384 618 0 0 0 8 0 0 0 20 0 19 0 225068965 8261857280 29082 33554432000 4194304 4196468 140725367512352 140017485703664 140018040912514 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23166] ppid=23137 vsize=8068220 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23155/task/23166/stat : 23166 (java) S 23137 23137 20606 0 -1 1077944384 327 0 0 0 9 0 0 0 20 0 19 0 225068965 8261857280 29082 33554432000 4194304 4196468 140725367512352 140017484651120 140018040912514 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23167] ppid=23137 vsize=8068220 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/23155/task/23167/stat : 23167 (java) S 23137 23137 20606 0 -1 1077944384 602 0 0 0 19 0 0 0 20 0 19 0 225068965 8261857280 29082 33554432000 4194304 4196468 140725367512352 140017483598576 140018040912514 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23168] ppid=23137 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23155/task/23168/stat : 23168 (java) S 23137 23137 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225068965 8261857280 29082 33554432000 4194304 4196468 140725367512352 140015732517984 140018040911573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
[pid=23155/tid=23169] ppid=23137 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23155/task/23169/stat : 23169 (java) S 23137 23137 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225068965 8261857280 29082 33554432000 4194304 4196468 140725367512352 140017482545456 140018040912514 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19783680 140725367514293 140725367514417 140725367514417 140725367517135 0
Current children cumulated CPU time: 10.97 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 117800 KiB
Child status: 0
Real time (s): 4.54335
CPU time (s): 11.2225
CPU user time (s): 10.9579
CPU system time (s): 0.264571
CPU usage (%): 247.009
Max. virtual memory (cumulated for all children) (KiB): 15140212
Max. memory (cumulated for all children) (KiB): 592656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.9579
system time used= 0.264571
maximum resident set size= 597776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48676
page faults= 0
swaps= 0
block input operations= 0
block output operations= 744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5387
involuntary context switches= 37
# summary of solver processes directly reported to runsolver:
# pid: 23137
# total CPU time (s): 11.2225
# total CPU user time (s): 10.9579
# total CPU system time (s): 0.264571
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045879 second user time and 0.098582 second system time
The end