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-25644-serial-file.bin HOME/instance-4305763-1534068230.xml
0.66/0.52
0.66/0.53 scop both+minisat_release (2018-07-31)
0.66/0.53 (Encoding Process)
0.66/0.53
0.66/0.55 c BEGIN-Prog: Sun Aug 12 12:03:50 CEST 2018
0.66/0.55 c PID: 25647
0.66/0.55 c IP: 172.20.3.106
0.66/0.55 c HOST: node106.alineos.net
0.66/0.56 c (0,0) Parsing Begin
5.34/2.06 c (1,1) Parsing End
5.34/2.07 c (1,1) CSP: 680 int (0 aux), 0 bool (0 aux), 4103 ctr, max domain size 38
5.34/2.07 c (1,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
5.34/2.07 c (1,1) Constraint Name Generate Begin
5.34/2.10 c (1,1) Ctr:HOME/instance-4305763-1534068230.xml,Dist:Eq:IntVar:Le:Num
5.34/2.10 c (1,1) Constraint Name Generate End
5.34/2.10 c (1,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.34/2.10 c (1,1) CSP to CSPinCNF Begin
6.28/2.38 c (1,1) translated 411 (10%) constraints
6.59/2.45 c (1,1) translated 821 (20%) constraints
6.90/2.50 c (1,1) translated 1231 (30%) constraints
6.90/2.55 c (2,2) translated 1642 (40%) constraints
6.90/2.60 c (2,2) translated 2052 (50%) constraints
7.20/2.64 c (2,2) translated 2462 (60%) constraints
7.20/2.68 c (2,2) translated 2873 (70%) constraints
7.50/2.72 c (2,2) translated 3283 (80%) constraints
7.50/2.76 c (2,2) translated 3693 (90%) constraints
7.81/2.85 c (2,2) translated 4103 (100%) constraints
8.15/2.93 c (2,2) STATISTICS1:HOME/instance-4305763-1534068230.xml,Dist:Eq:IntVar:Le:Num,680,4783,38,38,2,2,38:3314;31:5144;22:344;21:24;6:60,38:9348;31:7956;22:364;21:40;6:64,2:4103;1:680,2:8886,
8.15/2.93 c (2,2) ==========================================
8.15/2.93 c (2,2) Both Encoding selects:
8.15/2.93 c (2,2) Order
8.15/2.93 c (2,2) ==========================================
8.15/2.97 c (2,2) translated 479 (10%) constraints
8.15/2.99 c (2,2) translated 957 (20%) constraints
8.50/3.01 c (2,2) translated 1435 (30%) constraints
8.50/3.03 c (2,2) translated 1914 (40%) constraints
8.50/3.06 c (2,2) translated 2392 (50%) constraints
8.50/3.08 c (2,2) translated 2870 (60%) constraints
8.50/3.10 c (2,2) translated 3349 (70%) constraints
8.80/3.11 c (2,2) translated 3827 (80%) constraints
8.80/3.13 c (2,2) translated 4305 (90%) constraints
8.80/3.15 c (2,2) translated 4783 (100%) constraints
8.80/3.15 c (2,2) CSP to CSPinCNF End
8.80/3.15 c (2,2) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 38
8.80/3.15 c (2,2) Heap : 732 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
8.80/3.15 c (2,2) CSPinCNF Propagation Begin
11.15/4.54 c (4,4) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
11.15/4.54 c (4,4) CSPinCNF Propagation End
11.15/4.55 c (4,4) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 38
11.15/4.55 c (4,4) Heap : 2140 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
11.15/4.55 c (4,4) Simplify CSPinCNF Begin
11.93/4.80 c (4,4) Simplify CSPinCNF End
11.93/4.80 c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 38
11.93/4.80 c (4,4) Heap : 2196 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
11.93/4.80 c (4,4) Calculate Precise Domain Begin
11.93/4.81 c (4,4) 0 values are removed by re-calculation
11.93/4.81 c (4,4) Calculate Precise Domain End
11.93/4.81 c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 38
11.93/4.81 c (4,4) Heap : 2196 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
11.93/4.81 c (4,4) CSPinCNF to SatSolver Begin
12.65/5.10 c (4,4) 1299 (10 %) CSP clauses are encoded (30722 SAT variables, 49182 SAT clauses)
13.24/5.21 c (4,4) 2598 (20 %) CSP clauses are encoded (30722 SAT variables, 76139 SAT clauses)
13.53/5.31 c (4,4) 3897 (30 %) CSP clauses are encoded (30722 SAT variables, 101027 SAT clauses)
13.79/5.41 c (4,4) 5196 (40 %) CSP clauses are encoded (30722 SAT variables, 128140 SAT clauses)
13.99/5.51 c (4,4) 6495 (50 %) CSP clauses are encoded (30722 SAT variables, 156350 SAT clauses)
14.22/5.61 c (5,5) 7794 (60 %) CSP clauses are encoded (30722 SAT variables, 185019 SAT clauses)
14.44/5.71 c (5,5) 9093 (70 %) CSP clauses are encoded (30722 SAT variables, 213390 SAT clauses)
14.64/5.80 c (5,5) 10392 (80 %) CSP clauses are encoded (30722 SAT variables, 241884 SAT clauses)
14.64/5.90 c (5,5) 11691 (90 %) CSP clauses are encoded (30722 SAT variables, 269302 SAT clauses)
14.83/6.00 c (5,5) 12989 (100 %) CSP clauses are encoded (30722 SAT variables, 294232 SAT clauses)
14.83/6.00 c (5,5) Launch Command will be: minisat_release
14.83/6.00 c (5,5) CSPinCNF to SatSolver End
14.83/6.00 c (5,5) Heap : 81 MiB used (max 10795 MiB), NonHeap : 35 MiB used (max 0 MiB)
15.14/6.09 c (5,5) STATISTICS2:HOME/instance-4305763-1534068230.xml,Dist:Eq:IntVar:Le:Num,8886,12989,38,38,2,2,38:3314;31:5144;22:344;21:24;6:60,38:9348;31:7956;22:364;21:40;6:64;2:16412,2:12309;1:680,2:8886;1:16412,
15.14/6.10 c (5,5) 30722 bool, 294244 clause
15.14/6.10 c (5,5) Export Begin
16.28/6.46 c (5,5) Export to HOME/scop-25644-serial-file.bin
16.28/6.46 c (5,5) Export End
16.28/6.46 c (5,5) Export File Size: 4.19 MB
16.28/6.46 c (5,5) 1,1,2,4,4,4,5,STOP-AFTER(DIMACS)
16.28/6.46 c END-Prog: Sun Aug 12 12:03:56 CEST 2018
16.28/6.49 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-25644-serial-file.bin
16.38/6.98 c (0,0) Read Serial File Begin
16.38/6.98 c (0,0) HOME/scop-25644-serial-file.bin
17.75/7.35 c (0,0) Read Serial File End
17.75/7.37
17.75/7.37 scop order+minisat_release (2018-07-31)
17.75/7.37 (Solving Process)
17.75/7.37
17.75/7.39 c BEGIN-Prog: Sun Aug 12 12:03:57 CEST 2018
17.75/7.39 c PID: 25662
17.75/7.39 c IP: 172.20.3.106
17.75/7.39 c HOST: node106.alineos.net
17.75/7.39 c (0,0) SatSolver.solve Begin
17.75/7.39 c (0,0) 0 bool, 0 clause
17.75/7.39 c (0,0) minisat_release HOME/instance-4305763-1534068230.xml-scop-25647.cnf
18.22/7.90 c (1,0) c This is COMiniSatPS.
18.22/7.90 c (1,0) c WARNING: for repeatability, setting FPU to use double precision
18.22/7.90 c (1,0) c ============================[ Problem Statistics ]=============================
18.22/7.90 c (1,0) c | |
18.22/7.90 c (1,0) c | Number of variables: 30722 |
18.22/7.90 c (1,0) c | Number of clauses: 294244 |
18.22/7.90 c (1,0) c | Parse time: 0.10 s |
18.22/7.90 c (1,0) c | Eliminated clauses: 0.08 Mb |
18.22/7.90 c (1,0) c Reduced to 26488 vars, 285159 cls (grow=0)
18.22/7.90 c (1,0) c No iterative elimination performed. (vars=26488, c/v ratio=10.8)
18.22/7.90 c (1,0) c | Simplification time: 0.32 s |
18.22/7.90 c (1,0) c | |
18.22/7.90 c (1,0) c ============================[ Search Statistics ]==============================
18.22/7.90 c (1,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
18.22/7.90 c (1,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
18.22/7.90 c (1,0) c ===============================================================================
18.22/7.90 c (1,0) c ===============================================================================
18.22/7.90 c (1,0) c restarts : 1
18.22/7.90 c (1,0) c conflicts : 726 (1555 /sec)
18.22/7.90 c (1,0) c decisions : 1463 (0.00 % random) (3133 /sec)
18.22/7.90 c (1,0) c propagations : 169832 (363643 /sec)
18.22/7.90 c (1,0) c conflict literals : 6719 (29.36 % deleted)
18.22/7.90 c (1,0) c CPU time : 0.46703 s
18.22/7.90 c (1,0)
18.22/7.90 c (1,0) s UNSATISFIABLE
18.22/7.90 c (1,0) SatSolver.solve End
18.22/7.91 c (1,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
18.22/7.91 c (1,0) Show results Begin
18.22/7.91 s UNSATISFIABLE
18.22/7.91 c (1,0) Show results End
18.22/7.91 c (1,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
18.22/7.91 c (1,0) 1,1,STOP-AFTER(ALL)
18.22/7.91 c END-Prog: Sun Aug 12 12:03:58 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 (8581 MiB free)
memory of node 1: 16384 MiB (11480 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305763-1534068230/watcher-4305763-1534068230 -o /tmp/evaluation-result-4305763-1534068230/solver-4305763-1534068230 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534060601-23198 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305763-1534068230.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=25644, runsolver pid=25641
[startup+0.100092 s]*
/proc/loadavg: 2.42 2.20 2.12 3/224 25661
/proc/meminfo: memFree=20483816/32770624 swapFree=67108688/67108860
[pid=25644] ppid=25641 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/25644/stat : 25644 (scop.sh) S 25641 25644 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224385845 115843072 348 33554432000 4194304 5098028 140737213205600 140737213202856 139998000845436 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26722304 140737213207617 140737213207815 140737213207815 140737213210573 0
/proc/25644/statm: 28282 348 296 221 0 87 0
[pid=25647] ppid=25644 vsize=15012476 memory=72224 CPUtime=0.11 cores=0,2,4,6
/proc/25647/stat : 25647 (java) S 25644 25644 23167 0 -1 1077944320 6169 0 0 0 9 2 0 0 20 0 15 0 224385846 15372775424 18056 33554432000 4194304 4196468 140722160331888 140722160314432 140060442410743 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
/proc/25647/statm: 3753119 18056 2770 1 0 3715579 0
[pid=25647/tid=25648] ppid=25644 vsize=15012476 memory=-6078870780940435399 CPUtime=0.08 cores=0,2,4,6
/proc/25647/task/25648/stat : 25648 (java) R 25644 25644 23167 0 -1 4202560 4257 0 0 0 7 1 0 0 20 0 15 0 224385846 15372775424 18056 33554432000 4194304 4196468 140722160331888 140060414222728 140060423974272 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25649] ppid=25644 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25649/stat : 25649 (java) S 25644 25644 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224385848 15372775424 18056 33554432000 4194304 4196468 140722160331888 140060446652688 140060442420949 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25650] ppid=25644 vsize=15012476 memory=139688297289344 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25650/stat : 25650 (java) S 25644 25644 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224385848 15372775424 18056 33554432000 4194304 4196468 140722160331888 140060237736336 140060442420949 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25651] ppid=25644 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25651/stat : 25651 (java) S 25644 25644 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224385848 15372775424 18056 33554432000 4194304 4196468 140722160331888 140060236683792 140060442420949 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25652] ppid=25644 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25652/stat : 25652 (java) S 25644 25644 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224385848 15372775424 18056 33554432000 4194304 4196468 140722160331888 140060235631248 140060442420949 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25653] ppid=25644 vsize=15012476 memory=139688297289344 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25653/stat : 25653 (java) S 25644 25644 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224385849 15372775424 18056 33554432000 4194304 4196468 140722160331888 140059412883952 140060442421890 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25654] ppid=25644 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25654/stat : 25654 (java) S 25644 25644 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224385850 15372775424 18056 33554432000 4194304 4196468 140722160331888 140059017733536 140060442420949 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25655] ppid=25644 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25655/stat : 25655 (java) S 25644 25644 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224385850 15372775424 18056 33554432000 4194304 4196468 140722160331888 140058749298160 140060442420949 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25656] ppid=25644 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25656/stat : 25656 (java) S 25644 25644 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224385852 15372775424 18056 33554432000 4194304 4196468 140722160331888 140058374789840 140060442429339 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25657] ppid=25644 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25657/stat : 25657 (java) S 25644 25644 23167 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 224385852 15372775424 18056 33554432000 4194304 4196468 140722160331888 140059411830768 140060442421890 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25658] ppid=25644 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25658/stat : 25658 (java) S 25644 25644 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224385852 15372775424 18056 33554432000 4194304 4196468 140722160331888 140059410778224 140060442421890 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25659] ppid=25644 vsize=15012476 memory=139688297289344 CPUtime=0.01 cores=0,2,4,6
/proc/25647/task/25659/stat : 25659 (java) S 25644 25644 23167 0 -1 1077944384 281 0 0 0 1 0 0 0 20 0 15 0 224385852 15372775424 18056 33554432000 4194304 4196468 140722160331888 140059409725680 140060442421890 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25660] ppid=25644 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25660/stat : 25660 (java) S 25644 25644 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224385852 15372775424 18056 33554432000 4194304 4196468 140722160331888 140057876884064 140060442420949 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25661] ppid=25644 vsize=15012476 memory=139688297289344 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25661/stat : 25661 (java) S 25644 25644 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224385853 15372775424 18056 33554432000 4194304 4196468 140722160331888 140059408673584 140060442421890 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73616 KiB
[startup+0.210704 s]*
/proc/loadavg: 2.42 2.20 2.12 4/224 25661
/proc/meminfo: memFree=20469276/32770624 swapFree=67108688/67108860
[pid=25644] ppid=25641 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/25644/stat : 25644 (scop.sh) S 25641 25644 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224385845 115843072 348 33554432000 4194304 5098028 140737213205600 140737213202856 139998000845436 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26722304 140737213207617 140737213207815 140737213207815 140737213210573 0
/proc/25644/statm: 28282 348 296 221 0 87 0
[pid=25647] ppid=25644 vsize=15012476 memory=85780 CPUtime=0.25 cores=0,2,4,6
/proc/25647/stat : 25647 (java) S 25644 25644 23167 0 -1 1077944320 9762 0 0 0 22 3 0 0 20 0 15 0 224385846 15372775424 21445 33554432000 4194304 4196468 140722160331888 140722160314432 140060442410743 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
/proc/25647/statm: 3753119 21445 2936 1 0 3715579 0
[pid=25647/tid=25648] ppid=25644 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/25647/task/25648/stat : 25648 (java) R 25644 25644 23167 0 -1 4202560 7660 0 0 0 17 2 0 0 20 0 15 0 224385846 15372775424 21445 33554432000 4194304 4196468 140722160331888 140060414219488 140060442432669 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25649] ppid=25644 vsize=15012476 memory=546 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25649/stat : 25649 (java) S 25644 25644 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224385848 15372775424 21445 33554432000 4194304 4196468 140722160331888 140060446652688 140060442420949 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25650] ppid=25644 vsize=15012476 memory=139688298481630 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25650/stat : 25650 (java) S 25644 25644 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224385848 15372775424 21445 33554432000 4194304 4196468 140722160331888 140060237736336 140060442420949 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25651] ppid=25644 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25651/stat : 25651 (java) S 25644 25644 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224385848 15372775424 21445 33554432000 4194304 4196468 140722160331888 140060236683792 140060442420949 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25652] ppid=25644 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25652/stat : 25652 (java) S 25644 25644 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224385848 15372775424 21445 33554432000 4194304 4196468 140722160331888 140060235631248 140060442420949 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25653] ppid=25644 vsize=15012476 memory=139688297289344 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25653/stat : 25653 (java) S 25644 25644 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224385849 15372775424 21445 33554432000 4194304 4196468 140722160331888 140059412883952 140060442421890 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25654] ppid=25644 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25654/stat : 25654 (java) S 25644 25644 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224385850 15372775424 21445 33554432000 4194304 4196468 140722160331888 140059017733536 140060442420949 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25655] ppid=25644 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25655/stat : 25655 (java) S 25644 25644 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224385850 15372775424 21445 33554432000 4194304 4196468 140722160331888 140058749298160 140060442420949 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25656] ppid=25644 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25656/stat : 25656 (java) S 25644 25644 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224385852 15372775424 21445 33554432000 4194304 4196468 140722160331888 140058374789840 140060442429339 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25657] ppid=25644 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25657/stat : 25657 (java) S 25644 25644 23167 0 -1 1077944384 331 0 0 0 0 0 0 0 20 0 15 0 224385852 15372775424 21445 33554432000 4194304 4196468 140722160331888 140059411830768 140060442421890 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25658] ppid=25644 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25658/stat : 25658 (java) S 25644 25644 23167 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 224385852 15372775424 21445 33554432000 4194304 4196468 140722160331888 140059410778224 140060442421890 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25659] ppid=25644 vsize=15012476 memory=139688297289344 CPUtime=0.03 cores=0,2,4,6
/proc/25647/task/25659/stat : 25659 (java) R 25644 25644 23167 0 -1 4202560 305 0 0 0 3 0 0 0 20 0 15 0 224385852 15372775424 21445 33554432000 4194304 4196468 140722160331888 140059409725680 140060442432090 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25660] ppid=25644 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25660/stat : 25660 (java) S 25644 25644 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224385852 15372775424 21445 33554432000 4194304 4196468 140722160331888 140057876884064 140060442420949 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25661] ppid=25644 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25661/stat : 25661 (java) S 25644 25644 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224385853 15372775424 21445 33554432000 4194304 4196468 140722160331888 140059408673584 140060442421890 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87172 KiB
[startup+0.310746 s]*
/proc/loadavg: 2.46 2.21 2.12 3/224 25661
/proc/meminfo: memFree=20465072/32770624 swapFree=67108688/67108860
[pid=25644] ppid=25641 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/25644/stat : 25644 (scop.sh) S 25641 25644 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224385845 115843072 348 33554432000 4194304 5098028 140737213205600 140737213202856 139998000845436 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26722304 140737213207617 140737213207815 140737213207815 140737213210573 0
/proc/25644/statm: 28282 348 296 221 0 87 0
[pid=25647] ppid=25644 vsize=15012476 memory=89652 CPUtime=0.42 cores=0,2,4,6
/proc/25647/stat : 25647 (java) S 25644 25644 23167 0 -1 1077944320 10376 0 0 0 38 4 0 0 20 0 15 0 224385846 15372775424 22413 33554432000 4194304 4196468 140722160331888 140722160314432 140060442410743 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
/proc/25647/statm: 3753119 22413 2976 1 0 3715579 0
[pid=25647/tid=25648] ppid=25644 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/25647/task/25648/stat : 25648 (java) R 25644 25644 23167 0 -1 4202560 8092 0 0 0 26 3 0 0 20 0 15 0 224385846 15372775424 22413 33554432000 4194304 4196468 140722160331888 140060414206192 140060426491230 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25649] ppid=25644 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25649/stat : 25649 (java) S 25644 25644 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224385848 15372775424 22413 33554432000 4194304 4196468 140722160331888 140060446652688 140060442420949 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25650] ppid=25644 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25650/stat : 25650 (java) S 25644 25644 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224385848 15372775424 22413 33554432000 4194304 4196468 140722160331888 140060237736336 140060442420949 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25651] ppid=25644 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25651/stat : 25651 (java) S 25644 25644 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224385848 15372775424 22413 33554432000 4194304 4196468 140722160331888 140060236683792 140060442420949 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25652] ppid=25644 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25652/stat : 25652 (java) S 25644 25644 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224385848 15372775424 22413 33554432000 4194304 4196468 140722160331888 140060235631248 140060442420949 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25653] ppid=25644 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25653/stat : 25653 (java) S 25644 25644 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224385849 15372775424 22413 33554432000 4194304 4196468 140722160331888 140059412883952 140060442421890 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25654] ppid=25644 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25654/stat : 25654 (java) S 25644 25644 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224385850 15372775424 22413 33554432000 4194304 4196468 140722160331888 140059017733536 140060442420949 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25655] ppid=25644 vsize=15012476 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25655/stat : 25655 (java) S 25644 25644 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224385850 15372775424 22413 33554432000 4194304 4196468 140722160331888 140058749298160 140060442420949 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25656] ppid=25644 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25656/stat : 25656 (java) S 25644 25644 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224385852 15372775424 22413 33554432000 4194304 4196468 140722160331888 140058374789840 140060442429339 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25657] ppid=25644 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25647/task/25657/stat : 25657 (java) S 25644 25644 23167 0 -1 1077944384 421 0 0 0 2 0 0 0 20 0 15 0 224385852 15372775424 22413 33554432000 4194304 4196468 140722160331888 140059411830768 140060442421890 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25658] ppid=25644 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25647/task/25658/stat : 25658 (java) S 25644 25644 23167 0 -1 1077944384 189 0 0 0 1 0 0 0 20 0 15 0 224385852 15372775424 22413 33554432000 4194304 4196468 140722160331888 140059410778224 140060442421890 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25659] ppid=25644 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25647/task/25659/stat : 25659 (java) S 25644 25644 23167 0 -1 1077944384 342 0 0 0 7 0 0 0 20 0 15 0 224385852 15372775424 22413 33554432000 4194304 4196468 140722160331888 140059409725680 140060442421890 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25660] ppid=25644 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25660/stat : 25660 (java) S 25644 25644 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224385852 15372775424 22413 33554432000 4194304 4196468 140722160331888 140057876884064 140060442420949 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25661] ppid=25644 vsize=15012476 memory=3905244507057233969 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25661/stat : 25661 (java) S 25644 25644 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224385853 15372775424 22413 33554432000 4194304 4196468 140722160331888 140059408673584 140060442421890 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91044 KiB
[startup+0.703811 s]
/proc/loadavg: 2.46 2.21 2.12 3/224 25661
/proc/meminfo: memFree=20441272/32770624 swapFree=67108688/67108860
[pid=25644] ppid=25641 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/25644/stat : 25644 (scop.sh) S 25641 25644 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224385845 115843072 348 33554432000 4194304 5098028 140737213205600 140737213202856 139998000845436 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26722304 140737213207617 140737213207815 140737213207815 140737213210573 0
/proc/25644/statm: 28282 348 296 221 0 87 0
[pid=25647] ppid=25644 vsize=15018748 memory=126616 CPUtime=1.02 cores=0,2,4,6
/proc/25647/stat : 25647 (java) S 25644 25644 23167 0 -1 1077944320 17334 0 0 0 95 7 0 0 20 0 15 0 224385846 15379197952 31654 33554432000 4194304 4196468 140722160331888 140722160314432 140060442410743 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
/proc/25647/statm: 3754687 31654 3127 1 0 3716091 0
[pid=25647/tid=25648] ppid=25644 vsize=15018748 memory=2372 CPUtime=0.68 cores=0,2,4,6
/proc/25647/task/25648/stat : 25648 (java) R 25644 25644 23167 0 -1 4202560 14568 0 0 0 62 6 0 0 20 0 15 0 224385846 15379197952 31654 33554432000 4194304 4196468 140722160331888 140060414246368 140060442432669 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25649] ppid=25644 vsize=15018748 memory=116 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25649/stat : 25649 (java) S 25644 25644 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224385848 15379197952 31654 33554432000 4194304 4196468 140722160331888 140060446652688 140060442420949 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25650] ppid=25644 vsize=15018748 memory=12868 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25650/stat : 25650 (java) S 25644 25644 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224385848 15379197952 31654 33554432000 4194304 4196468 140722160331888 140060237736336 140060442420949 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25651] ppid=25644 vsize=15018748 memory=26497 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25651/stat : 25651 (java) S 25644 25644 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224385848 15379197952 31654 33554432000 4194304 4196468 140722160331888 140060236683792 140060442420949 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25652] ppid=25644 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25652/stat : 25652 (java) S 25644 25644 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224385848 15379197952 31654 33554432000 4194304 4196468 140722160331888 140060235631248 140060442420949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25653] ppid=25644 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25653/stat : 25653 (java) S 25644 25644 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224385849 15379197952 31654 33554432000 4194304 4196468 140722160331888 140059412883952 140060442421890 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25654] ppid=25644 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25654/stat : 25654 (java) S 25644 25644 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224385850 15379197952 31654 33554432000 4194304 4196468 140722160331888 140059017733536 140060442420949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25655] ppid=25644 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25655/stat : 25655 (java) S 25644 25644 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224385850 15379197952 31654 33554432000 4194304 4196468 140722160331888 140058749298160 140060442420949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25656] ppid=25644 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25656/stat : 25656 (java) S 25644 25644 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224385852 15379197952 31654 33554432000 4194304 4196468 140722160331888 140058374789840 140060442429339 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25657] ppid=25644 vsize=15018748 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/25647/task/25657/stat : 25657 (java) R 25644 25644 23167 0 -1 4202560 650 0 0 0 9 0 0 0 20 0 15 0 224385852 15379197952 31654 33554432000 4194304 4196468 140722160331888 140059411830768 140060442432090 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25658] ppid=25644 vsize=15018748 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/25647/task/25658/stat : 25658 (java) R 25644 25644 23167 0 -1 4202560 275 0 0 0 6 0 0 0 20 0 15 0 224385852 15379197952 31654 33554432000 4194304 4196468 140722160331888 140059410778224 140060427292674 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25659] ppid=25644 vsize=15018748 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/25647/task/25659/stat : 25659 (java) R 25644 25644 23167 0 -1 4202560 505 0 0 0 17 0 0 0 20 0 15 0 224385852 15379197952 31654 33554432000 4194304 4196468 140722160331888 140059409722856 140060420530908 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25660] ppid=25644 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25660/stat : 25660 (java) S 25644 25644 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224385852 15379197952 31654 33554432000 4194304 4196468 140722160331888 140057876884064 140060442420949 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
[pid=25647/tid=25661] ppid=25644 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25647/task/25661/stat : 25661 (java) S 25644 25644 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224385853 15379197952 31654 33554432000 4194304 4196468 140722160331888 140059408673584 140060442421890 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35323904 140722160333831 140722160334129 140722160334129 140722160336847 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 128008 KiB
[startup+1.50508 s]
/proc/loadavg: 2.46 2.21 2.12 6/224 25661
/proc/meminfo: memFree=20222500/32770624 swapFree=67108688/67108860
[pid=25644] ppid=25641 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/25644/stat : 25644 (scop.sh) S 25641 25644 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224385845 115843072 348 33554432000 4194304 5098028 140737213205600 140737213202856 139998000845436 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26722304 140737213207617 140737213207815 140737213207815 140737213210573 0
/proc/25644/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
/proc/25644/stat : 25644 (scop.sh) S 25641 25644 23167 0 -1 4202496 590 34505 0 0 0 0 1564 74 20 0 1 0 224385845 115843072 367 33554432000 4194304 5098028 140737213205600 140737213202344 139998000845436 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26722304 140737213207617 140737213207815 140737213207815 140737213210573 0
/proc/25644/statm: 28282 367 311 221 0 87 0
[pid=25662] ppid=25644 vsize=7408432 memory=105820 CPUtime=1.06 cores=0,2,4,6
/proc/25662/stat : 25662 (java) S 25644 25644 23167 0 -1 1077944320 18225 0 0 0 99 7 0 0 20 0 15 0 224386494 7586234368 26455 33554432000 4194304 4196468 140729484843840 140729484826384 139745314103031 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
/proc/25662/statm: 1852108 26455 3104 1 0 1814042 0
[pid=25662/tid=25663] ppid=25644 vsize=7408432 memory=6791534058613427641 CPUtime=0.68 cores=0,2,4,6
/proc/25662/task/25663/stat : 25663 (java) R 25644 25644 23167 0 -1 4202560 14703 0 0 0 63 5 0 0 20 0 15 0 224386495 7586234368 26455 33554432000 4194304 4196468 140729484843840 139745285935344 139745314124957 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25664] ppid=25644 vsize=7408432 memory=139688174298992 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25664/stat : 25664 (java) S 25644 25644 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224386496 7586234368 26455 33554432000 4194304 4196468 140729484843840 139745318345104 139745314113237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25665] ppid=25644 vsize=7408432 memory=139688174297184 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25665/stat : 25665 (java) S 25644 25644 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224386496 7586234368 26455 33554432000 4194304 4196468 140729484843840 139744799729936 139745314113237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25666] ppid=25644 vsize=7408432 memory=3545654789766927714 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25666/stat : 25666 (java) S 25644 25644 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224386496 7586234368 26455 33554432000 4194304 4196468 140729484843840 139744798677648 139745314113237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25667] ppid=25644 vsize=7408432 memory=3833608102007167177 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25667/stat : 25667 (java) S 25644 25644 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224386496 7586234368 26455 33554432000 4194304 4196468 140729484843840 139744797624848 139745314113237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25668] ppid=25644 vsize=7408432 memory=7380671248541445222 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25668/stat : 25668 (java) S 25644 25644 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224386497 7586234368 26521 33554432000 4194304 4196468 140729484843840 139744626367088 139745314114178 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25669] ppid=25644 vsize=7408432 memory=7380671248541445222 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25669/stat : 25669 (java) S 25644 25644 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224386498 7586234368 26521 33554432000 4194304 4196468 140729484843840 139744142943520 139745314113237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25670] ppid=25644 vsize=7408432 memory=-8253362762722141311 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25670/stat : 25670 (java) S 25644 25644 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224386498 7586234368 26521 33554432000 4194304 4196468 140729484843840 139743874508400 139745314113237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25671] ppid=25644 vsize=7408432 memory=7100839861465685612 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25671/stat : 25671 (java) S 25644 25644 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224386500 7586234368 26521 33554432000 4194304 4196468 140729484843840 139743499999824 139745314121627 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25672] ppid=25644 vsize=7408432 memory=-7175204567652784766 CPUtime=0.09 cores=0,2,4,6
/proc/25662/task/25672/stat : 25672 (java) R 25644 25644 23167 0 -1 4202560 803 0 0 0 9 0 0 0 20 0 15 0 224386500 7586234368 26521 33554432000 4194304 4196468 140729484843840 139744625313904 139745295647050 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25673] ppid=25644 vsize=7408432 memory=7883944108235712103 CPUtime=0.08 cores=0,2,4,6
/proc/25662/task/25673/stat : 25673 (java) R 25644 25644 23167 0 -1 4202560 660 0 0 0 8 0 0 0 20 0 15 0 224386500 7586234368 26521 33554432000 4194304 4196468 140729484843840 139744624247128 139745299228967 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25674] ppid=25644 vsize=7408432 memory=-9174445032661854264 CPUtime=0.18 cores=0,2,4,6
/proc/25662/task/25674/stat : 25674 (java) R 25644 25644 23167 0 -1 4202560 726 0 0 0 18 0 0 0 20 0 15 0 224386501 7586234368 26521 33554432000 4194304 4196468 140729484843840 139744623208816 139745298183518 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25675] ppid=25644 vsize=7408432 memory=-2893623298589923098 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25675/stat : 25675 (java) S 25644 25644 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224386501 7586234368 26521 33554432000 4194304 4196468 140729484843840 139743002094048 139745314113237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25676] ppid=25644 vsize=7408432 memory=-2746958450906831424 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25676/stat : 25676 (java) S 25644 25644 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224386501 7586234368 26521 33554432000 4194304 4196468 140729484843840 139744622156720 139745314114178 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
Current children cumulated CPU time: 17.44 s
Current children cumulated vsize: 7521560 KiB
Current children cumulated memory: 107288 KiB
[startup+7.60076 s]
/proc/loadavg: 2.67 2.26 2.14 3/224 25676
/proc/meminfo: memFree=20454240/32770624 swapFree=67108688/67108860
[pid=25644] ppid=25641 vsize=113128 memory=1468 CPUtime=16.38 cores=0,2,4,6
/proc/25644/stat : 25644 (scop.sh) S 25641 25644 23167 0 -1 4202496 590 34505 0 0 0 0 1564 74 20 0 1 0 224385845 115843072 367 33554432000 4194304 5098028 140737213205600 140737213202344 139998000845436 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26722304 140737213207617 140737213207815 140737213207815 140737213210573 0
/proc/25644/statm: 28282 367 311 221 0 87 0
[pid=25662] ppid=25644 vsize=8068220 memory=138892 CPUtime=1.84 cores=0,2,4,6
/proc/25662/stat : 25662 (java) S 25644 25644 23167 0 -1 1077944320 19857 0 0 0 172 12 0 0 20 0 19 0 224386494 8261857280 34723 33554432000 4194304 4196468 140729484843840 140729484826384 139745314103031 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
/proc/25662/statm: 2017055 34723 3169 1 0 1978454 0
[pid=25662/tid=25663] ppid=25644 vsize=8068220 memory=3868 CPUtime=0.95 cores=0,2,4,6
/proc/25662/task/25663/stat : 25663 (java) S 25644 25644 23167 0 -1 1077944384 15618 0 0 0 85 10 0 0 20 0 19 0 224386495 8261857280 34723 33554432000 4194304 4196468 140729484843840 139745285943184 139745314113237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25664] ppid=25644 vsize=8068220 memory=61088 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25664/stat : 25664 (java) S 25644 25644 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224386496 8261857280 34723 33554432000 4194304 4196468 140729484843840 139745318345104 139745314113237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25665] ppid=25644 vsize=8068220 memory=115544 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25665/stat : 25665 (java) S 25644 25644 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224386496 8261857280 34723 33554432000 4194304 4196468 140729484843840 139744799729936 139745314113237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25666] ppid=25644 vsize=8068220 memory=-7313654673739556905 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25666/stat : 25666 (java) S 25644 25644 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224386496 8261857280 34723 33554432000 4194304 4196468 140729484843840 139744798677648 139745314113237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25667] ppid=25644 vsize=8068220 memory=-9174445032661854264 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25667/stat : 25667 (java) S 25644 25644 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224386496 8261857280 34723 33554432000 4194304 4196468 140729484843840 139744797624848 139745314113237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25668] ppid=25644 vsize=8068220 memory=-4866526899798303339 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25668/stat : 25668 (java) S 25644 25644 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224386497 8261857280 34723 33554432000 4194304 4196468 140729484843840 139744626367088 139745314114178 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25669] ppid=25644 vsize=8068220 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25669/stat : 25669 (java) S 25644 25644 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224386498 8261857280 34723 33554432000 4194304 4196468 140729484843840 139744142943520 139745314113237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25670] ppid=25644 vsize=8068220 memory=279376348728928 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25670/stat : 25670 (java) S 25644 25644 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224386498 8261857280 34723 33554432000 4194304 4196468 140729484843840 139743874508400 139745314113237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25671] ppid=25644 vsize=8068220 memory=7594035895123460204 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25671/stat : 25671 (java) S 25644 25644 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224386500 8261857280 34723 33554432000 4194304 4196468 140729484843840 139743499999824 139745314121627 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25672] ppid=25644 vsize=8068220 memory=33 CPUtime=0.32 cores=0,2,4,6
/proc/25662/task/25672/stat : 25672 (java) S 25644 25644 23167 0 -1 1077944384 1165 0 0 0 32 0 0 0 20 0 19 0 224386500 8261857280 34723 33554432000 4194304 4196468 140729484843840 139744625313904 139745314114178 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25673] ppid=25644 vsize=8068220 memory=6298394452329916728 CPUtime=0.29 cores=0,2,4,6
/proc/25662/task/25673/stat : 25673 (java) S 25644 25644 23167 0 -1 1077944384 819 0 0 0 29 0 0 0 20 0 19 0 224386500 8261857280 34723 33554432000 4194304 4196468 140729484843840 139744624261104 139745314114178 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25674] ppid=25644 vsize=8068220 memory=-7668917182949848288 CPUtime=0.24 cores=0,2,4,6
/proc/25662/task/25674/stat : 25674 (java) S 25644 25644 23167 0 -1 1077944384 859 0 0 0 24 0 0 0 20 0 19 0 224386501 8261857280 34723 33554432000 4194304 4196468 140729484843840 139744623208816 139745314114178 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25675] ppid=25644 vsize=8068220 memory=8326441112149131572 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25675/stat : 25675 (java) S 25644 25644 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224386501 8261857280 34723 33554432000 4194304 4196468 140729484843840 139743002094048 139745314113237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25676] ppid=25644 vsize=8068220 memory=-8412661042793834669 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25676/stat : 25676 (java) S 25644 25644 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224386501 8261857280 34723 33554432000 4194304 4196468 140729484843840 139744622156720 139745314114178 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
Current children cumulated CPU time: 18.22 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 140360 KiB
[startup+7.80075 s]
/proc/loadavg: 2.67 2.26 2.14 3/224 25676
/proc/meminfo: memFree=20454240/32770624 swapFree=67108688/67108860
[pid=25644] ppid=25641 vsize=113128 memory=1468 CPUtime=16.38 cores=0,2,4,6
/proc/25644/stat : 25644 (scop.sh) S 25641 25644 23167 0 -1 4202496 590 34505 0 0 0 0 1564 74 20 0 1 0 224385845 115843072 367 33554432000 4194304 5098028 140737213205600 140737213202344 139998000845436 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26722304 140737213207617 140737213207815 140737213207815 140737213210573 0
/proc/25644/statm: 28282 367 311 221 0 87 0
[pid=25662] ppid=25644 vsize=8068220 memory=138892 CPUtime=1.84 cores=0,2,4,6
/proc/25662/stat : 25662 (java) S 25644 25644 23167 0 -1 1077944320 19857 0 0 0 172 12 0 0 20 0 19 0 224386494 8261857280 34723 33554432000 4194304 4196468 140729484843840 140729484826384 139745314103031 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
/proc/25662/statm: 2017055 34723 3169 1 0 1978454 0
[pid=25662/tid=25663] ppid=25644 vsize=8068220 memory=1072 CPUtime=0.95 cores=0,2,4,6
/proc/25662/task/25663/stat : 25663 (java) S 25644 25644 23167 0 -1 1077944384 15618 0 0 0 85 10 0 0 20 0 19 0 224386495 8261857280 34723 33554432000 4194304 4196468 140729484843840 139745285943184 139745314113237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25664] ppid=25644 vsize=8068220 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25664/stat : 25664 (java) S 25644 25644 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224386496 8261857280 34723 33554432000 4194304 4196468 140729484843840 139745318345104 139745314113237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25665] ppid=25644 vsize=8068220 memory=3316 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25665/stat : 25665 (java) S 25644 25644 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224386496 8261857280 34723 33554432000 4194304 4196468 140729484843840 139744799729936 139745314113237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25666] ppid=25644 vsize=8068220 memory=15768 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25666/stat : 25666 (java) S 25644 25644 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224386496 8261857280 34723 33554432000 4194304 4196468 140729484843840 139744798677648 139745314113237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25667] ppid=25644 vsize=8068220 memory=34496 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25667/stat : 25667 (java) S 25644 25644 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224386496 8261857280 34723 33554432000 4194304 4196468 140729484843840 139744797624848 139745314113237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25668] ppid=25644 vsize=8068220 memory=1612 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25668/stat : 25668 (java) S 25644 25644 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224386497 8261857280 34723 33554432000 4194304 4196468 140729484843840 139744626367088 139745314114178 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25669] ppid=25644 vsize=8068220 memory=496 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25669/stat : 25669 (java) S 25644 25644 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224386498 8261857280 34723 33554432000 4194304 4196468 140729484843840 139744142943520 139745314113237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25670] ppid=25644 vsize=8068220 memory=924 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25670/stat : 25670 (java) S 25644 25644 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224386498 8261857280 34723 33554432000 4194304 4196468 140729484843840 139743874508400 139745314113237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25671] ppid=25644 vsize=8068220 memory=1168 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25671/stat : 25671 (java) S 25644 25644 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224386500 8261857280 34723 33554432000 4194304 4196468 140729484843840 139743499999824 139745314121627 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25672] ppid=25644 vsize=8068220 memory=2336 CPUtime=0.32 cores=0,2,4,6
/proc/25662/task/25672/stat : 25672 (java) S 25644 25644 23167 0 -1 1077944384 1165 0 0 0 32 0 0 0 20 0 19 0 224386500 8261857280 34723 33554432000 4194304 4196468 140729484843840 139744625313904 139745314114178 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25673] ppid=25644 vsize=8068220 memory=1572 CPUtime=0.29 cores=0,2,4,6
/proc/25662/task/25673/stat : 25673 (java) S 25644 25644 23167 0 -1 1077944384 819 0 0 0 29 0 0 0 20 0 19 0 224386500 8261857280 34723 33554432000 4194304 4196468 140729484843840 139744624261104 139745314114178 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25674] ppid=25644 vsize=8068220 memory=924 CPUtime=0.24 cores=0,2,4,6
/proc/25662/task/25674/stat : 25674 (java) S 25644 25644 23167 0 -1 1077944384 859 0 0 0 24 0 0 0 20 0 19 0 224386501 8261857280 34723 33554432000 4194304 4196468 140729484843840 139744623208816 139745314114178 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25675] ppid=25644 vsize=8068220 memory=2192 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25675/stat : 25675 (java) S 25644 25644 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224386501 8261857280 34723 33554432000 4194304 4196468 140729484843840 139743002094048 139745314113237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25676] ppid=25644 vsize=8068220 memory=3980 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25676/stat : 25676 (java) S 25644 25644 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224386501 8261857280 34723 33554432000 4194304 4196468 140729484843840 139744622156720 139745314114178 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
Current children cumulated CPU time: 18.22 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 140360 KiB
[startup+7.90078 s]
/proc/loadavg: 2.67 2.26 2.14 3/224 25676
/proc/meminfo: memFree=20454240/32770624 swapFree=67108688/67108860
[pid=25644] ppid=25641 vsize=113128 memory=1468 CPUtime=16.38 cores=0,2,4,6
/proc/25644/stat : 25644 (scop.sh) S 25641 25644 23167 0 -1 4202496 590 34505 0 0 0 0 1564 74 20 0 1 0 224385845 115843072 367 33554432000 4194304 5098028 140737213205600 140737213202344 139998000845436 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26722304 140737213207617 140737213207815 140737213207815 140737213210573 0
/proc/25644/statm: 28282 367 311 221 0 87 0
[pid=25662] ppid=25644 vsize=8068220 memory=138892 CPUtime=1.84 cores=0,2,4,6
/proc/25662/stat : 25662 (java) S 25644 25644 23167 0 -1 1077944320 19857 0 0 0 172 12 0 0 20 0 19 0 224386494 8261857280 34723 33554432000 4194304 4196468 140729484843840 140729484826384 139745314103031 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
/proc/25662/statm: 2017055 34723 3169 1 0 1978454 0
[pid=25662/tid=25663] ppid=25644 vsize=8068220 memory=4452 CPUtime=0.95 cores=0,2,4,6
/proc/25662/task/25663/stat : 25663 (java) S 25644 25644 23167 0 -1 1077944384 15618 0 0 0 85 10 0 0 20 0 19 0 224386495 8261857280 34723 33554432000 4194304 4196468 140729484843840 139745285943184 139745314113237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25664] ppid=25644 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25664/stat : 25664 (java) S 25644 25644 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224386496 8261857280 34723 33554432000 4194304 4196468 140729484843840 139745318345104 139745314113237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25665] ppid=25644 vsize=8068220 memory=138892 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25665/stat : 25665 (java) S 25644 25644 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224386496 8261857280 34723 33554432000 4194304 4196468 140729484843840 139744799729936 139745314113237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25666] ppid=25644 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25666/stat : 25666 (java) S 25644 25644 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224386496 8261857280 34723 33554432000 4194304 4196468 140729484843840 139744798677648 139745314113237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25667] ppid=25644 vsize=8068220 memory=138892 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25667/stat : 25667 (java) S 25644 25644 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224386496 8261857280 34723 33554432000 4194304 4196468 140729484843840 139744797624848 139745314113237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25668] ppid=25644 vsize=8068220 memory=139688174298800 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25668/stat : 25668 (java) S 25644 25644 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224386497 8261857280 34723 33554432000 4194304 4196468 140729484843840 139744626367088 139745314114178 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25669] ppid=25644 vsize=8068220 memory=7100839852556452215 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25669/stat : 25669 (java) S 25644 25644 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224386498 8261857280 34723 33554432000 4194304 4196468 140729484843840 139744142943520 139745314113237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25670] ppid=25644 vsize=8068220 memory=7739549631589543987 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25670/stat : 25670 (java) S 25644 25644 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224386498 8261857280 34723 33554432000 4194304 4196468 140729484843840 139743874508400 139745314113237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25671] ppid=25644 vsize=8068220 memory=7381512400759382576 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25671/stat : 25671 (java) S 25644 25644 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224386500 8261857280 34723 33554432000 4194304 4196468 140729484843840 139743499999824 139745314121627 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25672] ppid=25644 vsize=8068220 memory=748 CPUtime=0.32 cores=0,2,4,6
/proc/25662/task/25672/stat : 25672 (java) S 25644 25644 23167 0 -1 1077944384 1165 0 0 0 32 0 0 0 20 0 19 0 224386500 8261857280 34723 33554432000 4194304 4196468 140729484843840 139744625313904 139745314114178 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25673] ppid=25644 vsize=8068220 memory=1220 CPUtime=0.29 cores=0,2,4,6
/proc/25662/task/25673/stat : 25673 (java) S 25644 25644 23167 0 -1 1077944384 819 0 0 0 29 0 0 0 20 0 19 0 224386500 8261857280 34723 33554432000 4194304 4196468 140729484843840 139744624261104 139745314114178 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25674] ppid=25644 vsize=8068220 memory=6580 CPUtime=0.24 cores=0,2,4,6
/proc/25662/task/25674/stat : 25674 (java) S 25644 25644 23167 0 -1 1077944384 859 0 0 0 24 0 0 0 20 0 19 0 224386501 8261857280 34723 33554432000 4194304 4196468 140729484843840 139744623208816 139745314114178 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25675] ppid=25644 vsize=8068220 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25675/stat : 25675 (java) S 25644 25644 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224386501 8261857280 34723 33554432000 4194304 4196468 140729484843840 139743002094048 139745314113237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
[pid=25662/tid=25676] ppid=25644 vsize=8068220 memory=2336 CPUtime=0 cores=0,2,4,6
/proc/25662/task/25676/stat : 25676 (java) S 25644 25644 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224386501 8261857280 34723 33554432000 4194304 4196468 140729484843840 139744622156720 139745314114178 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24350720 140729484850357 140729484850481 140729484850481 140729484853199 0
Current children cumulated CPU time: 18.22 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 140360 KiB
Child status: 0
Real time (s): 7.92218
CPU time (s): 18.7478
CPU user time (s): 17.8399
CPU system time (s): 0.907892
CPU usage (%): 236.65
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 2900752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.8399
system time used= 0.907892
maximum resident set size= 2902028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64035
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5324
involuntary context switches= 53
# summary of solver processes directly reported to runsolver:
# pid: 25644
# total CPU time (s): 18.7478
# total CPU user time (s): 17.8399
# total CPU system time (s): 0.907892
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.08796 second user time and 0.109225 second system time
The end