0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/cryptominisat5 -solverOption default -tmp HOME -serialFile HOME/scop-3921-serial-file.bin HOME/instance-4387747-1568289768.xml
0.67/0.52
0.67/0.52 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.67/0.52
0.67/0.55 c BEGIN-Prog: Thu Sep 12 14:02:07 CEST 2019
0.67/0.55 c PID: 3924
0.67/0.55 c IP: 172.20.3.145
0.67/0.55 c HOST: node145.alineos.net
0.67/0.56 c (0,0) Parsing Begin
1.20/0.88 c (0,0) Parsing End
1.20/0.89 c (0,0) CSP: 79 int (0 aux), 0 bool (0 aux), 41 ctr, max domain size 40
1.20/0.89 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.20/0.89 c (0,0) Constraint Name Generate Begin
1.20/0.89 c (0,0) Ctr:HOME/instance-4387747-1568289768.xml,AllDifferent:Dist:Eq:Var
1.20/0.89 c (0,0) Constraint Name Generate End
1.20/0.89 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.20/0.89 c (0,0) CSP to CSPinCNF Begin
2.42/1.36 c (0,0) translated 5 (10%) constraints
2.42/1.37 c (0,0) translated 9 (20%) constraints
2.42/1.37 c (0,0) translated 13 (30%) constraints
2.42/1.38 c (0,0) translated 17 (40%) constraints
2.42/1.38 c (0,0) translated 21 (50%) constraints
2.42/1.39 c (0,0) translated 25 (60%) constraints
2.42/1.39 c (0,0) translated 29 (70%) constraints
2.42/1.39 c (0,0) translated 33 (80%) constraints
2.42/1.40 c (0,0) translated 37 (90%) constraints
2.42/1.40 c (0,0) translated 41 (100%) constraints
2.42/1.40 c (0,0) ===========================================
2.76/1.42 c (0,0) Hybrid: #OE=79, #LE=0
2.76/1.42 c (0,0) Hybrid
2.76/1.42 c (0,0) ===========================================
2.76/1.45 c (0,0) translated 173 (10%) constraints
2.76/1.47 c (0,0) translated 345 (20%) constraints
2.76/1.48 c (0,0) translated 517 (30%) constraints
2.76/1.50 c (0,0) translated 689 (40%) constraints
3.71/1.71 c (1,1) translated 861 (50%) constraints
3.71/1.72 c (1,1) translated 1033 (60%) constraints
3.71/1.73 c (1,1) translated 1205 (70%) constraints
3.71/1.74 c (1,1) translated 1377 (80%) constraints
3.71/1.75 c (1,1) translated 1549 (90%) constraints
4.01/1.89 c (1,1) translated 1721 (100%) constraints
4.01/1.90 c (1,1) CSP to CSPinCNF End
4.31/1.90 c (1,1) CSP: 79 int (0 aux), 3121 bool (3121 aux), 7963 ctr, max domain size 40
4.31/1.90 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.31/1.90 c (1,1) CSPinCNF Propagation Begin
4.31/1.99 c (1,1) 0 values, 0 unsatisfiable literals, and 158 valid clauses are removed
4.31/1.99 c (1,1) CSPinCNF Propagation End
4.31/1.99 c (1,1) CSP: 79 int (0 aux), 3121 bool (3121 aux), 7805 ctr, max domain size 40
4.31/1.99 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.65/2.01 c (1,1) Hybrid: #OE=3200, #LE=0
4.65/2.01 c (1,1) Simplify CSPinCNF Begin
4.98/2.15 c (1,1) Simplify CSPinCNF End
4.98/2.15 c (1,1) CSP: 79 int (0 aux), 6241 bool (6241 aux), 10925 ctr, max domain size 40
4.98/2.15 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.98/2.15 c (1,1) Calculate Precise Domain Begin
4.98/2.15 c (1,1) 0 values are removed by re-calculation
4.98/2.15 c (1,1) Calculate Precise Domain End
4.98/2.15 c (1,1) CSP: 79 int (0 aux), 6241 bool (6241 aux), 10925 ctr, max domain size 40
4.98/2.15 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.98/2.15 c (1,1) CSPinCNF to SatSolver Begin
6.59/2.64 c (2,2) 1093 (10 %) CSP clauses are encoded (0 SAT variables, 32447 SAT clauses)
7.21/2.87 c (2,2) 2185 (20 %) CSP clauses are encoded (0 SAT variables, 61931 SAT clauses)
7.50/2.91 c (2,2) 3278 (30 %) CSP clauses are encoded (0 SAT variables, 67080 SAT clauses)
7.50/2.92 c (2,2) 4370 (40 %) CSP clauses are encoded (0 SAT variables, 68172 SAT clauses)
7.50/2.94 c (2,2) 5463 (50 %) CSP clauses are encoded (0 SAT variables, 69265 SAT clauses)
7.79/3.08 c (2,2) 6555 (60 %) CSP clauses are encoded (0 SAT variables, 96995 SAT clauses)
8.12/3.22 c (2,2) 7648 (70 %) CSP clauses are encoded (0 SAT variables, 125790 SAT clauses)
8.12/3.25 c (2,2) 8740 (80 %) CSP clauses are encoded (0 SAT variables, 128858 SAT clauses)
8.12/3.26 c (2,2) 9833 (90 %) CSP clauses are encoded (0 SAT variables, 129951 SAT clauses)
9.55/3.77 c (3,3) 10925 (100 %) CSP clauses are encoded (0 SAT variables, 251749 SAT clauses)
9.55/3.77 c (3,3) CSPinCNF to SatSolver End
9.55/3.77 c (3,3) Heap : 1126 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.55/3.78 c (3,3) 9283 bool, 252568 clause
9.55/3.78 c (3,3) Export Begin
9.72/3.86 c (3,3) Export to HOME/scop-3921-serial-file.bin
9.72/3.86 c (3,3) Export End
9.72/3.86 c (3,3) Export File Size: 0.01 MB
9.72/3.86 c (3,3) 0,0,1,1,1,1,3,STOP-AFTER(DIMACS)
9.72/3.86 c END-Prog: Thu Sep 12 14:02:11 CEST 2019
9.72/3.88 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-3921-serial-file.bin
10.40/4.34 c (0,0) Read Serial File Begin
10.40/4.34 c (0,0) HOME/scop-3921-serial-file.bin
10.69/4.54 c (0,0) Read Serial File End
11.00/4.86
11.00/4.86 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
11.00/4.86 (Solving Process)
11.00/4.86
11.00/4.86 c BEGIN-Prog: Thu Sep 12 14:02:11 CEST 2019
11.00/4.86 c PID: 3939
11.00/4.86 c IP: 172.20.3.145
11.00/4.86 c HOST: node145.alineos.net
11.00/4.86 c (0,0) SatSolver.solve Begin
11.00/4.86 c (0,0) HOME/cryptominisat5 HOME/instance-4387747-1568289768.xml-scop-3924.cnf
11.00/4.86 c (0,0) c Outputting solution to console
11.00/4.86 c (0,0) c CryptoMiniSat version 5.6.8
11.00/4.86 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
11.00/4.86 c (0,0) c CMS SHA revision GIT-notfound
11.00/4.86 c (0,0) c CMS is MIT licensed
11.00/4.86 c (0,0) c CMS compilation env CMAKE_CXX_COMPILER = /usr/bin/c++ | CMAKE_CXX_FLAGS = -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic | COMPILE_DEFINES = -DLARGE_OFFSETS -DBOOST_TEST_DYN_LINK -DUSE_ZLIB -DYALSAT_FPU | STATICCOMPILE = OFF | ONLY_SIMPLE = OFF | Boost_FOUND = 1 | STATS = OFF | SQLITE3_FOUND = | ZLIB_FOUND = TRUE | VALGRIND_FOUND = | ENABLE_TESTING = OFF | M4RI_FOUND = FALSE | NOM4RI = OFF | SLOW_DEBUG = OFF | ENABLE_ASSERTIONS = ON | PYTHON_EXECUTABLE = /usr/bin/python2.7 | PYTHON_LIBRARY = /usr/lib64/libpython2.7.so | PYTHON_INCLUDE_DIRS = /usr/include/python2.7 | MY_TARGETS = | LARGEMEM = ON | LIMITMEM = OFF | compilation date time = Jul 11 2019 16:04:13
11.00/4.86 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
11.00/4.86 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387747-1568289768.xml-scop-3924.cnf
11.00/4.86 c (0,0) c Reading file 'HOME/instance-4387747-1568289768.xml-scop-3924.cnf'
11.00/4.86 c (0,0) c -- header says num vars: 9283
11.00/4.86 c (0,0) c -- header says num clauses: 252568
11.00/4.86 c (0,0) c -- clauses added: 252568
11.00/4.86 c (0,0) c -- xor clauses added: 0
11.00/4.86 c (0,0) c -- vars added 9283
11.00/4.86 c (0,0) c Parsing time: 0.07 s
11.00/4.86 c (0,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
11.00/4.86 c (0,0) c [distill] long cls tried: 88/86 cl-short:88 lit-r:9 T: 0.03 T-out: N T-r: 99.64%
11.69/5.33 c (1,0) c [distill] long cls tried: 664/732 cl-short:664 lit-r:51 T: 0.12 T-out: N T-r: 98.39%
12.40/6.04 c (1,0) c [distill] long cls tried: 462/1183 cl-short:462 lit-r:40 T: 0.08 T-out: N T-r: 99.02%
12.69/6.31 c (2,0) c glue 1 74 8193 9283 235K 16847 3.25 3.16 1433 1859 4841 63 50.42 50.05
13.59/7.23 c (2,0) c [distill] long cls tried: 1849/3009 cl-short:1849 lit-r:180 T: 0.36 T-out: N T-r: 95.51%
14.29/7.94 c (3,0) c ------- FINAL TOTAL SEARCH STATS ---------
14.29/7.94 c (3,0) c UIP search time : 3.24 (97.89 % time)
14.29/7.94 c (3,0) c restarts : 128 (120.49 confls per restart)
14.29/7.94 c (3,0) c blocked restarts : 28 (0.22 per normal restart)
14.29/7.94 c (3,0) c time : 3.24
14.29/7.94 c (3,0) c decisions : 121268 (0.00 % random)
14.29/7.94 c (3,0) c propagations : 8767914
14.29/7.94 c (3,0) c decisions/conflicts : 7.86
14.29/7.94 c (3,0) c conflicts : 15423 (4752.91 / sec)
14.29/7.94 c (3,0) c conf lits non-minim : 1211312 (78.54 lit/confl)
14.29/7.94 c (3,0) c conf lits final : 71.06
14.29/7.94 c (3,0) c cache hit re-learnt cl : 0 (0.00 % of confl)
14.29/7.94 c (3,0) c red which0 : 2351 (15.24 % of confl)
14.29/7.94 c (3,0) c props/decision : 0.00
14.29/7.94 c (3,0) c props/conflict : 0.00
14.29/7.94 c (3,0) c 0-depth assigns : 0 (0.00 % vars)
14.29/7.94 c (3,0) c 0-depth assigns by CNF : 0 (0.00 % vars)
14.29/7.94 c (3,0) c reduceDB time : 0.00 (0.06 % time)
14.29/7.94 c (3,0) c OccSimplifier time : 0.00 (0.00 % time)
14.29/7.94 c (3,0) c [occur] 0.00 is overhead
14.29/7.94 c (3,0) c [occur] link-in T: 0.00 cleanup T: 0.00
14.29/7.94 c (3,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
14.29/7.94 c (3,0) c SCC time : 0.00 (0.00 % time)
14.29/7.94 c (3,0) c [scc] new: 0 BP 0M T: 0.00
14.29/7.94 c (3,0) c vrep replace time : 0.00 (0.00 % time)
14.29/7.94 c (3,0) c vrep tree roots : 0
14.29/7.94 c (3,0) c vrep trees' crown : 0 (0.00 leafs/tree)
14.29/7.94 c (3,0) c distill time : 0.59 (17.68 % time)
14.29/7.94 c (3,0) c strength cache-irred time: 0.00 (0.00 % time)
14.29/7.94 c (3,0) c strength cache-red time : 0.00 (0.00 % time)
14.29/7.94 c (3,0) c Conflicts in UIP : 15423 (4652.77 confl/time_this_thread)
14.29/7.94 c (3,0) c Mem used : 37.89 MB
14.29/7.94 c (3,0) c Total time (this thread) : 3.31
14.29/7.94 c (3,0) s SATISFIABLE
14.56/8.03 c (3,0) SatSolver.solve End
14.56/8.03 c (3,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
14.56/8.03 c (3,0) Show results Begin
14.78/8.13 c (3,0) x[0] = 19
14.78/8.13 c (3,0) x[1] = 21
14.78/8.13 c (3,0) x[2] = 6
14.78/8.13 c (3,0) x[3] = 33
14.78/8.13 c (3,0) x[4] = 4
14.78/8.13 c (3,0) x[5] = 36
14.78/8.13 c (3,0) x[6] = 1
14.78/8.13 c (3,0) x[7] = 39
14.78/8.13 c (3,0) x[8] = 0
14.78/8.13 c (3,0) x[9] = 37
14.78/8.13 c (3,0) x[10] = 3
14.78/8.13 c (3,0) x[11] = 34
14.78/8.13 c (3,0) x[12] = 9
14.78/8.13 c (3,0) x[13] = 27
14.78/8.13 c (3,0) x[14] = 16
14.78/8.13 c (3,0) x[15] = 17
14.78/8.13 c (3,0) x[16] = 23
14.78/8.13 c (3,0) x[17] = 20
14.78/8.13 c (3,0) x[18] = 13
14.78/8.13 c (3,0) x[19] = 30
14.78/8.13 c (3,0) x[20] = 7
14.78/8.13 c (3,0) x[21] = 35
14.78/8.13 c (3,0) x[22] = 2
14.78/8.13 c (3,0) x[23] = 38
14.78/8.13 c (3,0) x[24] = 8
14.78/8.13 c (3,0) x[25] = 28
14.78/8.13 c (3,0) x[26] = 18
14.78/8.13 c (3,0) x[27] = 22
14.78/8.13 c (3,0) x[28] = 14
14.78/8.13 c (3,0) x[29] = 26
14.78/8.13 c (3,0) x[30] = 10
14.78/8.13 c (3,0) x[31] = 32
14.78/8.13 c (3,0) x[32] = 11
14.78/8.13 c (3,0) x[33] = 25
14.78/8.13 c (3,0) x[34] = 12
14.78/8.13 c (3,0) x[35] = 31
14.78/8.13 c (3,0) x[36] = 5
14.78/8.13 c (3,0) x[37] = 29
14.78/8.13 c (3,0) x[38] = 24
14.78/8.13 c (3,0) x[39] = 15
14.78/8.13 c (3,0) y[0] = 2
14.78/8.13 c (3,0) y[1] = 15
14.78/8.13 c (3,0) y[2] = 27
14.78/8.13 c (3,0) y[3] = 29
14.78/8.13 c (3,0) y[4] = 32
14.78/8.13 c (3,0) y[5] = 35
14.78/8.13 c (3,0) y[6] = 38
14.78/8.13 c (3,0) y[7] = 39
14.78/8.13 c (3,0) y[8] = 37
14.78/8.13 c (3,0) y[9] = 34
14.78/8.13 c (3,0) y[10] = 31
14.78/8.13 c (3,0) y[11] = 25
14.78/8.13 c (3,0) y[12] = 18
14.78/8.13 c (3,0) y[13] = 11
14.78/8.13 c (3,0) y[14] = 1
14.78/8.13 c (3,0) y[15] = 6
14.78/8.13 c (3,0) y[16] = 3
14.78/8.13 c (3,0) y[17] = 7
14.78/8.13 c (3,0) y[18] = 17
14.78/8.13 c (3,0) y[19] = 23
14.78/8.13 c (3,0) y[20] = 28
14.78/8.13 c (3,0) y[21] = 33
14.78/8.13 c (3,0) y[22] = 36
14.78/8.13 c (3,0) y[23] = 30
14.78/8.13 c (3,0) y[24] = 20
14.78/8.13 c (3,0) y[25] = 10
14.78/8.13 c (3,0) y[26] = 4
14.78/8.13 c (3,0) y[27] = 8
14.78/8.13 c (3,0) y[28] = 12
14.78/8.13 c (3,0) y[29] = 16
14.78/8.13 c (3,0) y[30] = 22
14.78/8.13 c (3,0) y[31] = 21
14.78/8.13 c (3,0) y[32] = 14
14.78/8.13 c (3,0) y[33] = 13
14.78/8.13 c (3,0) y[34] = 19
14.78/8.13 c (3,0) y[35] = 26
14.78/8.13 c (3,0) y[36] = 24
14.78/8.13 c (3,0) y[37] = 5
14.78/8.13 c (3,0) y[38] = 9
14.78/8.13 s SATISFIABLE
14.78/8.13 v <instantiation>
14.78/8.13 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] y[29] y[30] y[31] y[32] y[33] y[34] y[35] y[36] y[37] y[38]</list>
14.78/8.13 v <values>19 21 6 33 4 36 1 39 0 37 3 34 9 27 16 17 23 20 13 30 7 35 2 38 8 28 18 22 14 26 10 32 11 25 12 31 5 29 24 15 2 15 27 29 32 35 38 39 37 34 31 25 18 11 1 6 3 7 17 23 28 33 36 30 20 10 4 8 12 16 22 21 14 13 19 26 24 5 9</values>
14.78/8.13 v </instantiation>
14.78/8.13 c (3,0) Show results End
14.78/8.13 c (3,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
14.78/8.14 c (3,0) 3,3,STOP-AFTER(ALL)
14.78/8.14 c END-Prog: Thu Sep 12 14:02:15 CEST 2019
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 (6958 MiB free)
memory of node 1: 16384 MiB (8830 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387747-1568289768/watcher-4387747-1568289768 -o /tmp/evaluation-result-4387747-1568289768/solver-4387747-1568289768 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568289720-3778 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387747-1568289768.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=3921, runsolver pid=3918
[startup+0.100122 s]*
/proc/loadavg: 5.87 6.72 6.71 3/231 3938
/proc/meminfo: memFree=16072956/32770624 swapFree=66997568/67108860
[pid=3921] ppid=3918 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/3921/stat : 3921 (scop.sh) S 3918 3921 3746 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404913353 115843072 349 33554432000 4194304 5098028 140731450210736 140731450207992 140531044577916 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29171712 140731450213219 140731450213488 140731450213488 140731450216397 0
/proc/3921/statm: 28282 349 296 221 0 87 0
[pid=3924] ppid=3921 vsize=15012696 memory=72908 CPUtime=0.12 cores=1,3,5,7
/proc/3924/stat : 3924 (java) S 3921 3921 3746 0 -1 1077944320 6955 0 0 0 10 2 0 0 20 0 15 0 404913354 15373000704 18161 33554432000 4194304 4196468 140729046681040 140729046663584 140542724779767 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
/proc/3924/statm: 3753174 18227 2917 1 0 3715579 0
[pid=3924/tid=3925] ppid=3921 vsize=15012696 memory=8180089925722843723 CPUtime=0.09 cores=1,3,5,7
/proc/3924/task/3925/stat : 3925 (java) R 3921 3921 3746 0 -1 4202560 4794 0 0 0 8 1 0 0 20 0 15 0 404913354 15373000704 18227 33554432000 4194304 4196468 140729046681040 140542696574928 140542724801693 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3926] ppid=3921 vsize=15012696 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3926/stat : 3926 (java) S 3921 3921 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404913355 15373000704 18227 33554432000 4194304 4196468 140729046681040 140542729022096 140542724789973 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3927] ppid=3921 vsize=15012696 memory=140275029886592 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3927/stat : 3927 (java) S 3921 3921 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404913355 15373000704 18227 33554432000 4194304 4196468 140729046681040 140542543178256 140542724789973 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3928] ppid=3921 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3928/stat : 3928 (java) S 3921 3921 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404913355 15373000704 18227 33554432000 4194304 4196468 140729046681040 140542542125456 140542724789973 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3929] ppid=3921 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3929/stat : 3929 (java) S 3921 3921 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404913355 15373000704 18227 33554432000 4194304 4196468 140729046681040 140542541072656 140542724789973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3930] ppid=3921 vsize=15012696 memory=140275029886592 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3930/stat : 3930 (java) S 3921 3921 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404913357 15373000704 18227 33554432000 4194304 4196468 140729046681040 140541695040368 140542724790914 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3931] ppid=3921 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3931/stat : 3931 (java) S 3921 3921 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404913357 15373000704 18227 33554432000 4194304 4196468 140729046681040 140541329139232 140542724789973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3932] ppid=3921 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3932/stat : 3932 (java) S 3921 3921 3746 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404913358 15373000704 18227 33554432000 4194304 4196468 140729046681040 140541194917232 140542724789973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3933] ppid=3921 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3933/stat : 3933 (java) S 3921 3921 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404913360 15373000704 18227 33554432000 4194304 4196468 140729046681040 140540820412752 140542724798363 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3934] ppid=3921 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3934/stat : 3934 (java) S 3921 3921 3746 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 15 0 404913360 15373000704 18227 33554432000 4194304 4196468 140729046681040 140541693987184 140542724790914 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3935] ppid=3921 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3935/stat : 3935 (java) S 3921 3921 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404913360 15373000704 18227 33554432000 4194304 4196468 140729046681040 140541692934384 140542724790914 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3936] ppid=3921 vsize=15012696 memory=140275029886592 CPUtime=0.01 cores=1,3,5,7
/proc/3924/task/3936/stat : 3936 (java) S 3921 3921 3746 0 -1 1077944384 435 0 0 0 1 0 0 0 20 0 15 0 404913360 15373000704 18227 33554432000 4194304 4196468 140729046681040 140541691881584 140542724790914 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3937] ppid=3921 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3937/stat : 3937 (java) S 3921 3921 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404913360 15373000704 18227 33554432000 4194304 4196468 140729046681040 140540322506976 140542724789973 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3938] ppid=3921 vsize=15012696 memory=140275029886592 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3938/stat : 3938 (java) S 3921 3921 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404913360 15373000704 18227 33554432000 4194304 4196468 140729046681040 140541690830000 140542724790914 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74304 KiB
[startup+0.211092 s]*
/proc/loadavg: 5.87 6.72 6.71 3/231 3938
/proc/meminfo: memFree=16013968/32770624 swapFree=66997568/67108860
[pid=3921] ppid=3918 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/3921/stat : 3921 (scop.sh) S 3918 3921 3746 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404913353 115843072 349 33554432000 4194304 5098028 140731450210736 140731450207992 140531044577916 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29171712 140731450213219 140731450213488 140731450213488 140731450216397 0
/proc/3921/statm: 28282 349 296 221 0 87 0
[pid=3924] ppid=3921 vsize=15012696 memory=87972 CPUtime=0.25 cores=1,3,5,7
/proc/3924/stat : 3924 (java) S 3921 3921 3746 0 -1 1077944320 12089 0 0 0 21 4 0 0 20 0 15 0 404913354 15373000704 21993 33554432000 4194304 4196468 140729046681040 140729046663584 140542724779767 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
/proc/3924/statm: 3753174 21993 2923 1 0 3715579 0
[pid=3924/tid=3925] ppid=3921 vsize=15012696 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/3924/task/3925/stat : 3925 (java) R 3921 3921 3746 0 -1 4202560 9816 0 0 0 17 3 0 0 20 0 15 0 404913354 15373000704 21993 33554432000 4194304 4196468 140729046681040 140542696579152 140542708860254 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3926] ppid=3921 vsize=15012696 memory=9253 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3926/stat : 3926 (java) S 3921 3921 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404913355 15373000704 21993 33554432000 4194304 4196468 140729046681040 140542729022096 140542724789973 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3927] ppid=3921 vsize=15012696 memory=576195 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3927/stat : 3927 (java) S 3921 3921 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404913355 15373000704 21993 33554432000 4194304 4196468 140729046681040 140542543178256 140542724789973 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3928] ppid=3921 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3928/stat : 3928 (java) S 3921 3921 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404913355 15373000704 21993 33554432000 4194304 4196468 140729046681040 140542542125456 140542724789973 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3929] ppid=3921 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3929/stat : 3929 (java) S 3921 3921 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404913355 15373000704 21993 33554432000 4194304 4196468 140729046681040 140542541072656 140542724789973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3930] ppid=3921 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3930/stat : 3930 (java) S 3921 3921 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404913357 15373000704 21993 33554432000 4194304 4196468 140729046681040 140541695040368 140542724790914 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3931] ppid=3921 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3931/stat : 3931 (java) S 3921 3921 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404913357 15373000704 21993 33554432000 4194304 4196468 140729046681040 140541329139232 140542724789973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3932] ppid=3921 vsize=15012696 memory=140275029886592 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3932/stat : 3932 (java) S 3921 3921 3746 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404913358 15373000704 21993 33554432000 4194304 4196468 140729046681040 140541194917232 140542724789973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3933] ppid=3921 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3933/stat : 3933 (java) S 3921 3921 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404913360 15373000704 21993 33554432000 4194304 4196468 140729046681040 140540820412752 140542724798363 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3934] ppid=3921 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3934/stat : 3934 (java) S 3921 3921 3746 0 -1 1077944384 443 0 0 0 0 0 0 0 20 0 15 0 404913360 15373000704 21993 33554432000 4194304 4196468 140729046681040 140541693987184 140542724790914 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3935] ppid=3921 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3935/stat : 3935 (java) S 3921 3921 3746 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 404913360 15373000704 21993 33554432000 4194304 4196468 140729046681040 140541692934384 140542724790914 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3936] ppid=3921 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/3924/task/3936/stat : 3936 (java) R 3921 3921 3746 0 -1 4202560 445 0 0 0 3 0 0 0 20 0 15 0 404913360 15373000704 21993 33554432000 4194304 4196468 140729046681040 140541691881584 140542708955746 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3937] ppid=3921 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3937/stat : 3937 (java) S 3921 3921 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404913360 15373000704 21993 33554432000 4194304 4196468 140729046681040 140540322506976 140542724789973 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3938] ppid=3921 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3938/stat : 3938 (java) S 3921 3921 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404913360 15373000704 21993 33554432000 4194304 4196468 140729046681040 140541690830000 140542724790914 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89368 KiB
[startup+0.311139 s]*
/proc/loadavg: 5.87 6.72 6.71 3/231 3938
/proc/meminfo: memFree=15973692/32770624 swapFree=66997568/67108860
[pid=3921] ppid=3918 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/3921/stat : 3921 (scop.sh) S 3918 3921 3746 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404913353 115843072 349 33554432000 4194304 5098028 140731450210736 140731450207992 140531044577916 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29171712 140731450213219 140731450213488 140731450213488 140731450216397 0
/proc/3921/statm: 28282 349 296 221 0 87 0
[pid=3924] ppid=3921 vsize=15012696 memory=91944 CPUtime=0.43 cores=1,3,5,7
/proc/3924/stat : 3924 (java) S 3921 3921 3746 0 -1 1077944320 12587 0 0 0 39 4 0 0 20 0 15 0 404913354 15373000704 22986 33554432000 4194304 4196468 140729046681040 140729046663584 140542724779767 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
/proc/3924/statm: 3753174 22986 3031 1 0 3715579 0
[pid=3924/tid=3925] ppid=3921 vsize=15012696 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/3924/task/3925/stat : 3925 (java) R 3921 3921 3746 0 -1 4202560 10109 0 0 0 27 3 0 0 20 0 15 0 404913354 15373000704 22986 33554432000 4194304 4196468 140729046681040 140542696606304 140542705055648 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3926] ppid=3921 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3926/stat : 3926 (java) S 3921 3921 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404913355 15373000704 22986 33554432000 4194304 4196468 140729046681040 140542729022096 140542724789973 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3927] ppid=3921 vsize=15012696 memory=2927772 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3927/stat : 3927 (java) S 3921 3921 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404913355 15373000704 22986 33554432000 4194304 4196468 140729046681040 140542543178256 140542724789973 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3928] ppid=3921 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3928/stat : 3928 (java) S 3921 3921 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404913355 15373000704 22986 33554432000 4194304 4196468 140729046681040 140542542125456 140542724789973 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3929] ppid=3921 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3929/stat : 3929 (java) S 3921 3921 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404913355 15373000704 22986 33554432000 4194304 4196468 140729046681040 140542541072656 140542724789973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3930] ppid=3921 vsize=15012696 memory=140275029886592 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3930/stat : 3930 (java) S 3921 3921 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404913357 15373000704 22986 33554432000 4194304 4196468 140729046681040 140541695040368 140542724790914 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3931] ppid=3921 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3931/stat : 3931 (java) S 3921 3921 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404913357 15373000704 22986 33554432000 4194304 4196468 140729046681040 140541329139232 140542724789973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3932] ppid=3921 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3932/stat : 3932 (java) S 3921 3921 3746 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404913358 15373000704 22986 33554432000 4194304 4196468 140729046681040 140541194917232 140542724789973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3933] ppid=3921 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3933/stat : 3933 (java) S 3921 3921 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404913360 15373000704 22986 33554432000 4194304 4196468 140729046681040 140540820412752 140542724798363 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3934] ppid=3921 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/3924/task/3934/stat : 3934 (java) S 3921 3921 3746 0 -1 1077944384 514 0 0 0 3 0 0 0 20 0 15 0 404913360 15373000704 22986 33554432000 4194304 4196468 140729046681040 140541693987184 140542724790914 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3935] ppid=3921 vsize=15012696 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/3924/task/3935/stat : 3935 (java) S 3921 3921 3746 0 -1 1077944384 126 0 0 0 1 0 0 0 20 0 15 0 404913360 15373000704 22986 33554432000 4194304 4196468 140729046681040 140541692934384 140542724790914 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3936] ppid=3921 vsize=15012696 memory=140275029886592 CPUtime=0.07 cores=1,3,5,7
/proc/3924/task/3936/stat : 3936 (java) S 3921 3921 3746 0 -1 1077944384 486 0 0 0 7 0 0 0 20 0 15 0 404913360 15373000704 22986 33554432000 4194304 4196468 140729046681040 140541691881584 140542724790914 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3937] ppid=3921 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3937/stat : 3937 (java) S 3921 3921 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404913360 15373000704 22986 33554432000 4194304 4196468 140729046681040 140540322506976 140542724789973 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3938] ppid=3921 vsize=15012696 memory=140275029886592 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3938/stat : 3938 (java) S 3921 3921 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404913360 15373000704 22986 33554432000 4194304 4196468 140729046681040 140541690830000 140542724790914 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93340 KiB
[startup+0.702301 s]
/proc/loadavg: 5.87 6.72 6.71 3/231 3938
/proc/meminfo: memFree=15881984/32770624 swapFree=66997568/67108860
[pid=3921] ppid=3918 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/3921/stat : 3921 (scop.sh) S 3918 3921 3746 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404913353 115843072 349 33554432000 4194304 5098028 140731450210736 140731450207992 140531044577916 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29171712 140731450213219 140731450213488 140731450213488 140731450216397 0
/proc/3921/statm: 28282 349 296 221 0 87 0
[pid=3924] ppid=3921 vsize=15021092 memory=130016 CPUtime=1.02 cores=1,3,5,7
/proc/3924/stat : 3924 (java) S 3921 3921 3746 0 -1 1077944320 20437 0 0 0 95 7 0 0 20 0 15 0 404913354 15381598208 32504 33554432000 4194304 4196468 140729046681040 140729046663584 140542724779767 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
/proc/3924/statm: 3755273 32504 3207 1 0 3716603 0
[pid=3924/tid=3925] ppid=3921 vsize=15021092 memory=2120 CPUtime=0.68 cores=1,3,5,7
/proc/3924/task/3925/stat : 3925 (java) R 3921 3921 3746 0 -1 4202560 17524 0 0 0 62 6 0 0 20 0 15 0 404913354 15381598208 32504 33554432000 4194304 4196468 140729046681040 140542696614256 140542724791702 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3926] ppid=3921 vsize=15021092 memory=508 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3926/stat : 3926 (java) S 3921 3921 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404913355 15381598208 32504 33554432000 4194304 4196468 140729046681040 140542729022096 140542724789973 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3927] ppid=3921 vsize=15021092 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3927/stat : 3927 (java) S 3921 3921 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404913355 15381598208 32504 33554432000 4194304 4196468 140729046681040 140542543178256 140542724789973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3928] ppid=3921 vsize=15021092 memory=932 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3928/stat : 3928 (java) S 3921 3921 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404913355 15381598208 32504 33554432000 4194304 4196468 140729046681040 140542542125456 140542724789973 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3929] ppid=3921 vsize=15021092 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3929/stat : 3929 (java) S 3921 3921 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404913355 15381598208 32504 33554432000 4194304 4196468 140729046681040 140542541072656 140542724789973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3930] ppid=3921 vsize=15021092 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3930/stat : 3930 (java) S 3921 3921 3746 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404913357 15381598208 32504 33554432000 4194304 4196468 140729046681040 140541695040368 140542724790914 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3931] ppid=3921 vsize=15021092 memory=896 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3931/stat : 3931 (java) S 3921 3921 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404913357 15381598208 32504 33554432000 4194304 4196468 140729046681040 140541329139232 140542724789973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3932] ppid=3921 vsize=15021092 memory=1976 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3932/stat : 3932 (java) S 3921 3921 3746 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404913358 15381598208 32504 33554432000 4194304 4196468 140729046681040 140541194917232 140542724789973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3933] ppid=3921 vsize=15021092 memory=2496 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3933/stat : 3933 (java) S 3921 3921 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404913360 15381598208 32504 33554432000 4194304 4196468 140729046681040 140540820412752 140542724798363 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3934] ppid=3921 vsize=15021092 memory=7302135314614015842 CPUtime=0.1 cores=1,3,5,7
/proc/3924/task/3934/stat : 3934 (java) S 3921 3921 3746 0 -1 1077944384 747 0 0 0 10 0 0 0 20 0 15 0 404913360 15381598208 32504 33554432000 4194304 4196468 140729046681040 140541693987184 140542724790914 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3935] ppid=3921 vsize=15021092 memory=6440519468944351853 CPUtime=0.06 cores=1,3,5,7
/proc/3924/task/3935/stat : 3935 (java) S 3921 3921 3746 0 -1 1077944384 193 0 0 0 6 0 0 0 20 0 15 0 404913360 15381598208 32504 33554432000 4194304 4196468 140729046681040 140541692934384 140542724790914 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3936] ppid=3921 vsize=15021092 memory=7223887401239728208 CPUtime=0.16 cores=1,3,5,7
/proc/3924/task/3936/stat : 3936 (java) S 3921 3921 3746 0 -1 1077944384 622 0 0 0 16 0 0 0 20 0 15 0 404913360 15381598208 32504 33554432000 4194304 4196468 140729046681040 140541691881584 140542724790914 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3937] ppid=3921 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3937/stat : 3937 (java) S 3921 3921 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404913360 15381598208 32504 33554432000 4194304 4196468 140729046681040 140540322506976 140542724789973 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
[pid=3924/tid=3938] ppid=3921 vsize=15021092 memory=7451892092875527016 CPUtime=0 cores=1,3,5,7
/proc/3924/task/3938/stat : 3938 (java) S 3921 3921 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404913360 15381598208 32504 33554432000 4194304 4196468 140729046681040 140541690830000 140542724790914 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140729046684458 140729046684826 140729046684826 140729046687695 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 131412 KiB
[startup+1.50085 s]
/proc/loadavg: 5.87 6.72 6.71 5/231 3938
/proc/meminfo: memFree=15674900/32770624 swapFree=66997568/67108860
[pid=3921] ppid=3918 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/3921/stat : 3921 (scop.sh) S 3918 3921 3746 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404913353 115843072 349 33554432000 4194304 5098028 140731450210736 140731450207992 140531044577916 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29171712 140731450213219 140731450213488 140731450213488 140731450216397 0
/proc/3921/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=3939/tid=3952] ppid=3921 vsize=8068440 memory=288230604624101685 CPUtime=0 cores=1,3,5,7
/proc/3939/task/3952/stat : 3952 (java) S 3921 3921 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404913748 8262082560 29891 33554432000 4194304 4196468 140736595902704 139816284974176 139818579662549 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3953] ppid=3921 vsize=8068440 memory=16099264824608231 CPUtime=0 cores=1,3,5,7
/proc/3939/task/3953/stat : 3953 (java) S 3921 3921 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404913748 8262082560 29891 33554432000 4194304 4196468 140736595902704 139817954273584 139818579663490 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3955] ppid=3921 vsize=8068440 memory=8836 CPUtime=0 cores=1,3,5,7
/proc/3939/task/3955/stat : 3955 (java) S 3921 3921 3746 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 404913814 8262082560 29891 33554432000 4194304 4196468 140736595902704 139818030281792 139818579676953 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3957] ppid=3921 vsize=8068440 memory=11044 CPUtime=0 cores=1,3,5,7
/proc/3939/task/3957/stat : 3957 (java) S 3921 3921 3746 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 404913814 8262082560 29891 33554432000 4194304 4196468 140736595902704 139815748087440 139818579674269 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3958] ppid=3921 vsize=8068440 memory=13252 CPUtime=0 cores=1,3,5,7
/proc/3939/task/3958/stat : 3958 (java) S 3921 3921 3746 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 404913814 8262082560 29891 33554432000 4194304 4196468 140736595902704 139815882309392 139818579674269 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3959] ppid=3921 vsize=8068440 memory=15460 CPUtime=0 cores=1,3,5,7
/proc/3939/task/3959/stat : 3959 (java) S 3921 3921 3746 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 404913816 8262082560 29891 33554432000 4194304 4196468 140736595902704 139815479664176 139818579662549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
Current children cumulated CPU time: 13.59 s
Current children cumulated vsize: 8243296 KiB
Current children cumulated memory: 157716 KiB
[startup+7.60094 s]
/proc/loadavg: 5.20 6.55 6.66 3/236 3959
/proc/meminfo: memFree=14847444/32770624 swapFree=66997568/67108860
[pid=3921] ppid=3918 vsize=113128 memory=1476 CPUtime=9.86 cores=1,3,5,7
/proc/3921/stat : 3921 (scop.sh) S 3918 3921 3746 0 -1 4202496 583 29445 0 0 0 0 957 29 20 0 1 0 404913353 115843072 369 33554432000 4194304 5098028 140731450210736 140731450207480 140531044577916 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29171712 140731450213219 140731450213488 140731450213488 140731450216397 0
/proc/3921/statm: 28282 369 311 221 0 87 0
[pid=3939] ppid=3921 vsize=8068440 memory=119564 CPUtime=1.14 cores=1,3,5,7
/proc/3939/stat : 3939 (java) S 3921 3921 3746 0 -1 1077944320 19304 0 0 0 109 5 0 0 20 0 19 0 404913742 8262082560 29891 33554432000 4194304 4196468 140736595902704 140736595885248 139818579652343 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
/proc/3939/statm: 2017110 29891 3209 1 0 1978454 0
[pid=3954] ppid=3939 vsize=62152 memory=37348 CPUtime=2.99 cores=1,3,5,7
/proc/3954/stat : 3954 (cryptominisat5) R 3939 3921 3746 0 -1 4202496 16860 0 0 0 297 2 0 0 20 0 1 0 404913814 63643648 9337 33554432000 4194304 4451008 140732688570672 140732688566792 140489961747811 0 4 0 2 0 0 0 17 3 0 0 0 0 0 6549032 6559120 35049472 140732688577469 140732688577600 140732688577600 140732688580550 0
/proc/3954/statm: 15538 9337 638 63 0 9265 0
[pid=3939/tid=3940] ppid=3921 vsize=8068440 memory=1056 CPUtime=0.74 cores=1,3,5,7
/proc/3939/task/3940/stat : 3940 (java) S 3921 3921 3746 0 -1 1077944384 16358 0 0 0 70 4 0 0 20 0 19 0 404913742 8262082560 29891 33554432000 4194304 4196468 140736595902704 139818551492512 139818579662549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3941] ppid=3921 vsize=8068440 memory=3928 CPUtime=0 cores=1,3,5,7
/proc/3939/task/3941/stat : 3941 (java) S 3921 3921 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404913743 8262082560 29891 33554432000 4194304 4196468 140736595902704 139818583894800 139818579662549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3942] ppid=3921 vsize=8068440 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/3939/task/3942/stat : 3942 (java) S 3921 3921 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404913743 8262082560 29891 33554432000 4194304 4196468 140736595902704 139818384063376 139818579662549 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3943] ppid=3921 vsize=8068440 memory=1676 CPUtime=0 cores=1,3,5,7
/proc/3939/task/3943/stat : 3943 (java) S 3921 3921 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404913743 8262082560 29891 33554432000 4194304 4196468 140736595902704 139818383010832 139818579662549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3944] ppid=3921 vsize=8068440 memory=1212 CPUtime=0 cores=1,3,5,7
/proc/3939/task/3944/stat : 3944 (java) S 3921 3921 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404913743 8262082560 29891 33554432000 4194304 4196468 140736595902704 139818381958288 139818579662549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3945] ppid=3921 vsize=8068440 memory=1044 CPUtime=0 cores=1,3,5,7
/proc/3939/task/3945/stat : 3945 (java) S 3921 3921 3746 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 404913745 8262082560 29891 33554432000 4194304 4196468 140736595902704 139817958483952 139818579663490 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3946] ppid=3921 vsize=8068440 memory=-3622645143214314312 CPUtime=0 cores=1,3,5,7
/proc/3939/task/3946/stat : 3946 (java) S 3921 3921 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404913745 8262082560 29891 33554432000 4194304 4196468 140736595902704 139817425822624 139818579662549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3947] ppid=3921 vsize=8068440 memory=804 CPUtime=0 cores=1,3,5,7
/proc/3939/task/3947/stat : 3947 (java) S 3921 3921 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404913746 8262082560 29891 33554432000 4194304 4196468 140736595902704 139817157387248 139818579662549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3948] ppid=3921 vsize=8068440 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/3939/task/3948/stat : 3948 (java) S 3921 3921 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404913748 8262082560 29891 33554432000 4194304 4196468 140736595902704 139816782878928 139818579670939 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3949] ppid=3921 vsize=8068440 memory=1804 CPUtime=0.08 cores=1,3,5,7
/proc/3939/task/3949/stat : 3949 (java) S 3921 3921 3746 0 -1 1077944384 781 0 0 0 8 0 0 0 20 0 19 0 404913748 8262082560 29891 33554432000 4194304 4196468 140736595902704 139817957431792 139818579663490 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3950] ppid=3921 vsize=8068440 memory=916 CPUtime=0.1 cores=1,3,5,7
/proc/3939/task/3950/stat : 3950 (java) S 3921 3921 3746 0 -1 1077944384 273 0 0 0 10 0 0 0 20 0 19 0 404913748 8262082560 29891 33554432000 4194304 4196468 140736595902704 139817956379248 139818579663490 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3951] ppid=3921 vsize=8068440 memory=3808 CPUtime=0.19 cores=1,3,5,7
/proc/3939/task/3951/stat : 3951 (java) S 3921 3921 3746 0 -1 1077944384 503 0 0 0 19 0 0 0 20 0 19 0 404913748 8262082560 29891 33554432000 4194304 4196468 140736595902704 139817955326704 139818579663490 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3952] ppid=3921 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3939/task/3952/stat : 3952 (java) S 3921 3921 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404913748 8262082560 29891 33554432000 4194304 4196468 140736595902704 139816284974176 139818579662549 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3953] ppid=3921 vsize=8068440 memory=15620 CPUtime=0 cores=1,3,5,7
/proc/3939/task/3953/stat : 3953 (java) S 3921 3921 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404913748 8262082560 29891 33554432000 4194304 4196468 140736595902704 139817954273584 139818579663490 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3955] ppid=3921 vsize=8068440 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/3939/task/3955/stat : 3955 (java) S 3921 3921 3746 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 404913814 8262082560 29891 33554432000 4194304 4196468 140736595902704 139818030281792 139818579676953 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3957] ppid=3921 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3939/task/3957/stat : 3957 (java) S 3921 3921 3746 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 404913814 8262082560 29891 33554432000 4194304 4196468 140736595902704 139815748087440 139818579674269 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3958] ppid=3921 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3939/task/3958/stat : 3958 (java) S 3921 3921 3746 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 404913814 8262082560 29891 33554432000 4194304 4196468 140736595902704 139815882309392 139818579674269 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3959] ppid=3921 vsize=8068440 memory=140274907545760 CPUtime=0 cores=1,3,5,7
/proc/3939/task/3959/stat : 3959 (java) S 3921 3921 3746 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 404913816 8262082560 29891 33554432000 4194304 4196468 140736595902704 139815479664176 139818579662549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
Current children cumulated CPU time: 13.99 s
Current children cumulated vsize: 8243720 KiB
Current children cumulated memory: 158388 KiB
[startup+8.00719 s]*
/proc/loadavg: 5.20 6.55 6.66 6/234 3959
/proc/meminfo: memFree=14876892/32770624 swapFree=66997568/67108860
[pid=3921] ppid=3918 vsize=113128 memory=1476 CPUtime=9.86 cores=1,3,5,7
/proc/3921/stat : 3921 (scop.sh) S 3918 3921 3746 0 -1 4202496 583 29445 0 0 0 0 957 29 20 0 1 0 404913353 115843072 369 33554432000 4194304 5098028 140731450210736 140731450207480 140531044577916 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29171712 140731450213219 140731450213488 140731450213488 140731450216397 0
/proc/3921/statm: 28282 369 311 221 0 87 0
[pid=3939] ppid=3921 vsize=8068440 memory=124588 CPUtime=4.7 cores=1,3,5,7
/proc/3939/stat : 3939 (java) S 3921 3921 3746 0 -1 1077944320 20066 17317 0 0 130 6 331 3 20 0 18 0 404913742 8262082560 31147 33554432000 4194304 4196468 140736595902704 140736595885248 139818579652343 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
/proc/3939/statm: 2017110 31147 3211 1 0 1978454 0
[pid=3939/tid=3940] ppid=3921 vsize=8068440 memory=1398722017469774279 CPUtime=4.08 cores=1,3,5,7
/proc/3939/task/3940/stat : 3940 (java) S 3921 3921 3746 0 -1 1077944384 16358 17317 0 0 70 4 331 3 20 0 18 0 404913742 8262082560 31147 33554432000 4194304 4196468 140736595902704 139818551492512 139818579662549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3941] ppid=3921 vsize=8068440 memory=0 CPUtime=3.34 cores=1,3,5,7
/proc/3939/task/3941/stat : 3941 (java) S 3921 3921 3746 0 -1 1077944384 1 17317 0 0 0 0 331 3 20 0 18 0 404913743 8262082560 31147 33554432000 4194304 4196468 140736595902704 139818583894800 139818579662549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3942] ppid=3921 vsize=8068440 memory=0 CPUtime=3.34 cores=1,3,5,7
/proc/3939/task/3942/stat : 3942 (java) S 3921 3921 3746 0 -1 1077944384 1 17317 0 0 0 0 331 3 20 0 18 0 404913743 8262082560 31147 33554432000 4194304 4196468 140736595902704 139818384063376 139818579662549 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3943] ppid=3921 vsize=8068440 memory=0 CPUtime=3.34 cores=1,3,5,7
/proc/3939/task/3943/stat : 3943 (java) S 3921 3921 3746 0 -1 1077944384 2 17317 0 0 0 0 331 3 20 0 18 0 404913743 8262082560 31147 33554432000 4194304 4196468 140736595902704 139818383010832 139818579662549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3944] ppid=3921 vsize=8068440 memory=0 CPUtime=3.34 cores=1,3,5,7
/proc/3939/task/3944/stat : 3944 (java) S 3921 3921 3746 0 -1 1077944384 2 17317 0 0 0 0 331 3 20 0 18 0 404913743 8262082560 31147 33554432000 4194304 4196468 140736595902704 139818381958288 139818579662549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3945] ppid=3921 vsize=8068440 memory=3616445700238290207 CPUtime=3.34 cores=1,3,5,7
/proc/3939/task/3945/stat : 3945 (java) S 3921 3921 3746 0 -1 1077944384 6 17317 0 0 0 0 331 3 20 0 18 0 404913745 8262082560 31147 33554432000 4194304 4196468 140736595902704 139817958483952 139818579663490 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3946] ppid=3921 vsize=8068440 memory=3756055072752153395 CPUtime=3.34 cores=1,3,5,7
/proc/3939/task/3946/stat : 3946 (java) S 3921 3921 3746 0 -1 1077944384 13 17317 0 0 0 0 331 3 20 0 18 0 404913745 8262082560 31147 33554432000 4194304 4196468 140736595902704 139817425822624 139818579662549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3947] ppid=3921 vsize=8068440 memory=6083358604262791271 CPUtime=3.34 cores=1,3,5,7
/proc/3939/task/3947/stat : 3947 (java) S 3921 3921 3746 0 -1 1077944384 1 17317 0 0 0 0 331 3 20 0 18 0 404913746 8262082560 31147 33554432000 4194304 4196468 140736595902704 139817157387248 139818579662549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3948] ppid=3921 vsize=8068440 memory=7593748901231481201 CPUtime=3.34 cores=1,3,5,7
/proc/3939/task/3948/stat : 3948 (java) S 3921 3921 3746 0 -1 1077944384 3 17317 0 0 0 0 331 3 20 0 18 0 404913748 8262082560 31147 33554432000 4194304 4196468 140736595902704 139816782878928 139818579670939 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3949] ppid=3921 vsize=8068440 memory=0 CPUtime=3.46 cores=1,3,5,7
/proc/3939/task/3949/stat : 3949 (java) R 3921 3921 3746 0 -1 4202560 802 17317 0 0 12 0 331 3 20 0 18 0 404913748 8262082560 31147 33554432000 4194304 4196468 140736595902704 139817957412992 139818561173525 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3950] ppid=3921 vsize=8068440 memory=7235402728604918129 CPUtime=3.48 cores=1,3,5,7
/proc/3939/task/3950/stat : 3950 (java) R 3921 3921 3746 0 -1 4202560 300 17317 0 0 14 0 331 3 20 0 18 0 404913748 8262082560 31147 33554432000 4194304 4196468 140736595902704 139817956379248 139818564041799 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3951] ppid=3921 vsize=8068440 memory=665102244248624266 CPUtime=3.58 cores=1,3,5,7
/proc/3939/task/3951/stat : 3951 (java) R 3921 3921 3746 0 -1 1077944384 658 17317 0 0 24 0 331 3 20 0 18 0 404913748 8262082560 31147 33554432000 4194304 4196468 140736595902704 139817955326704 139818579663490 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3952] ppid=3921 vsize=8068440 memory=3616731564670459935 CPUtime=3.34 cores=1,3,5,7
/proc/3939/task/3952/stat : 3952 (java) S 3921 3921 3746 0 -1 1077944384 3 17317 0 0 0 0 331 3 20 0 18 0 404913748 8262082560 31147 33554432000 4194304 4196468 140736595902704 139816284974176 139818579662549 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3953] ppid=3921 vsize=8068440 memory=4051163462199666313 CPUtime=3.34 cores=1,3,5,7
/proc/3939/task/3953/stat : 3953 (java) S 3921 3921 3746 0 -1 1077944384 1 17317 0 0 0 0 331 3 20 0 18 0 404913748 8262082560 31147 33554432000 4194304 4196468 140736595902704 139817954273584 139818579663490 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3955] ppid=3921 vsize=8068440 memory=739271074832719903 CPUtime=3.34 cores=1,3,5,7
/proc/3939/task/3955/stat : 3955 (java) S 3921 3921 3746 0 -1 1077944384 35 17317 0 0 0 0 331 3 20 0 18 0 404913814 8262082560 31147 33554432000 4194304 4196468 140736595902704 139818030280976 139818579663490 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3957] ppid=3921 vsize=8068440 memory=2315000629913455597 CPUtime=3.41 cores=1,3,5,7
/proc/3939/task/3957/stat : 3957 (java) R 3921 3921 3746 0 -1 4202560 558 17317 0 0 7 0 331 3 20 0 18 0 404913814 8262082560 31147 33554432000 4194304 4196468 140736595902704 139815748091488 139818563732830 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3959] ppid=3921 vsize=8068440 memory=3467824627879786548 CPUtime=3.34 cores=1,3,5,7
/proc/3939/task/3959/stat : 3959 (java) S 3921 3921 3746 0 -1 1077944384 4 17317 0 0 0 0 331 3 20 0 18 0 404913816 8262082560 31147 33554432000 4194304 4196468 140736595902704 139815479663936 139818579662549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
Current children cumulated CPU time: 14.56 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 126064 KiB
[startup+8.11431 s]
/proc/loadavg: 5.20 6.55 6.66 6/234 3959
/proc/meminfo: memFree=14876892/32770624 swapFree=66997568/67108860
[pid=3921] ppid=3918 vsize=113128 memory=1476 CPUtime=9.86 cores=1,3,5,7
/proc/3921/stat : 3921 (scop.sh) S 3918 3921 3746 0 -1 4202496 583 29445 0 0 0 0 957 29 20 0 1 0 404913353 115843072 369 33554432000 4194304 5098028 140731450210736 140731450207480 140531044577916 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29171712 140731450213219 140731450213488 140731450213488 140731450216397 0
/proc/3921/statm: 28282 369 311 221 0 87 0
[pid=3939] ppid=3921 vsize=7937364 memory=130604 CPUtime=4.92 cores=1,3,5,7
/proc/3939/stat : 3939 (java) S 3921 3921 3746 0 -1 1077944320 20586 17317 0 0 151 7 331 3 20 0 17 0 404913742 8127860736 32651 33554432000 4194304 4196468 140736595902704 140736595885248 139818579652343 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
/proc/3939/statm: 1984341 32651 3223 1 0 1945685 0
[pid=3939/tid=3940] ppid=3921 vsize=7937364 memory=119564 CPUtime=4.16 cores=1,3,5,7
/proc/3939/task/3940/stat : 3940 (java) R 3921 3921 3746 0 -1 4202560 16663 17317 0 0 78 4 331 3 20 0 17 0 404913742 8127860736 32651 33554432000 4194304 4196468 140736595902704 139818551482944 139818579664278 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3941] ppid=3921 vsize=7937364 memory=0 CPUtime=3.34 cores=1,3,5,7
/proc/3939/task/3941/stat : 3941 (java) S 3921 3921 3746 0 -1 1077944384 1 17317 0 0 0 0 331 3 20 0 17 0 404913743 8127860736 32651 33554432000 4194304 4196468 140736595902704 139818583894800 139818579662549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3942] ppid=3921 vsize=7937364 memory=38372 CPUtime=3.34 cores=1,3,5,7
/proc/3939/task/3942/stat : 3942 (java) S 3921 3921 3746 0 -1 1077944384 1 17317 0 0 0 0 331 3 20 0 17 0 404913743 8127860736 32651 33554432000 4194304 4196468 140736595902704 139818384063376 139818579662549 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3943] ppid=3921 vsize=7937364 memory=6655300316396806240 CPUtime=3.34 cores=1,3,5,7
/proc/3939/task/3943/stat : 3943 (java) S 3921 3921 3746 0 -1 1077944384 2 17317 0 0 0 0 331 3 20 0 17 0 404913743 8127860736 32651 33554432000 4194304 4196468 140736595902704 139818383010832 139818579662549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3944] ppid=3921 vsize=7937364 memory=6944656592387989600 CPUtime=3.34 cores=1,3,5,7
/proc/3939/task/3944/stat : 3944 (java) S 3921 3921 3746 0 -1 1077944384 2 17317 0 0 0 0 331 3 20 0 17 0 404913743 8127860736 32651 33554432000 4194304 4196468 140736595902704 139818381958288 139818579662549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3945] ppid=3921 vsize=7937364 memory=0 CPUtime=3.34 cores=1,3,5,7
/proc/3939/task/3945/stat : 3945 (java) S 3921 3921 3746 0 -1 1077944384 6 17317 0 0 0 0 331 3 20 0 17 0 404913745 8127860736 32651 33554432000 4194304 4196468 140736595902704 139817958483952 139818579663490 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3946] ppid=3921 vsize=7937364 memory=140275029890769 CPUtime=3.34 cores=1,3,5,7
/proc/3939/task/3946/stat : 3946 (java) S 3921 3921 3746 0 -1 1077944384 13 17317 0 0 0 0 331 3 20 0 17 0 404913745 8127860736 32651 33554432000 4194304 4196468 140736595902704 139817425822624 139818579662549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3947] ppid=3921 vsize=7937364 memory=8514701219881254558 CPUtime=3.34 cores=1,3,5,7
/proc/3939/task/3947/stat : 3947 (java) S 3921 3921 3746 0 -1 1077944384 1 17317 0 0 0 0 331 3 20 0 17 0 404913746 8127860736 32651 33554432000 4194304 4196468 140736595902704 139817157387248 139818579662549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3948] ppid=3921 vsize=7937364 memory=-3622645143214314312 CPUtime=3.34 cores=1,3,5,7
/proc/3939/task/3948/stat : 3948 (java) S 3921 3921 3746 0 -1 1077944384 3 17317 0 0 0 0 331 3 20 0 17 0 404913748 8127860736 32651 33554432000 4194304 4196468 140736595902704 139816782878928 139818579670939 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3949] ppid=3921 vsize=7937364 memory=14080 CPUtime=3.5 cores=1,3,5,7
/proc/3939/task/3949/stat : 3949 (java) R 3921 3921 3746 0 -1 1077944384 849 17317 0 0 16 0 331 3 20 0 17 0 404913748 8127860736 32651 33554432000 4194304 4196468 140736595902704 139817957431792 139818579663490 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3950] ppid=3921 vsize=7937364 memory=19868 CPUtime=3.51 cores=1,3,5,7
/proc/3939/task/3950/stat : 3950 (java) R 3921 3921 3746 0 -1 1077944384 333 17317 0 0 17 0 331 3 20 0 17 0 404913748 8127860736 32651 33554432000 4194304 4196468 140736595902704 139817956379248 139818579663490 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3951] ppid=3921 vsize=7937364 memory=1476 CPUtime=3.63 cores=1,3,5,7
/proc/3939/task/3951/stat : 3951 (java) S 3921 3921 3746 0 -1 1077944384 778 17317 0 0 29 0 331 3 20 0 17 0 404913748 8127860736 32651 33554432000 4194304 4196468 140736595902704 139817955326704 139818579663490 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3952] ppid=3921 vsize=7937364 memory=119564 CPUtime=3.34 cores=1,3,5,7
/proc/3939/task/3952/stat : 3952 (java) S 3921 3921 3746 0 -1 1077944384 3 17317 0 0 0 0 331 3 20 0 17 0 404913748 8127860736 32651 33554432000 4194304 4196468 140736595902704 139816284974176 139818579662549 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3953] ppid=3921 vsize=7937364 memory=32020 CPUtime=3.34 cores=1,3,5,7
/proc/3939/task/3953/stat : 3953 (java) S 3921 3921 3746 0 -1 1077944384 1 17317 0 0 0 0 331 3 20 0 17 0 404913748 8127860736 32651 33554432000 4194304 4196468 140736595902704 139817954273584 139818579663490 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3955] ppid=3921 vsize=7937364 memory=6944652177228980320 CPUtime=3.34 cores=1,3,5,7
/proc/3939/task/3955/stat : 3955 (java) S 3921 3921 3746 0 -1 1077944384 35 17317 0 0 0 0 331 3 20 0 17 0 404913814 8127860736 32651 33554432000 4194304 4196468 140736595902704 139818030280976 139818579663490 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
[pid=3939/tid=3959] ppid=3921 vsize=7937364 memory=9125 CPUtime=3.34 cores=1,3,5,7
/proc/3939/task/3959/stat : 3959 (java) S 3921 3921 3746 0 -1 1077944384 11 17317 0 0 0 0 331 3 20 0 17 0 404913816 8127860736 32651 33554432000 4194304 4196468 140736595902704 139815479665968 139818579663490 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35192832 140736595907580 140736595907738 140736595907738 140736595910607 0
Current children cumulated CPU time: 14.78 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 132080 KiB
Child status: 0
Real time (s): 8.14735
CPU time (s): 14.8833
CPU user time (s): 14.4694
CPU system time (s): 0.413833
CPU usage (%): 182.676
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 1153384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.4694
system time used= 0.413833
maximum resident set size= 1157888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68036
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5974
involuntary context switches= 44
# summary of solver processes directly reported to runsolver:
# pid: 3921
# total CPU time (s): 14.8833
# total CPU user time (s): 14.4694
# total CPU system time (s): 0.413833
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.092649 second user time and 0.125591 second system time
The end