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-3810-serial-file.bin HOME/instance-4387744-1568289761.xml
0.65/0.53
0.65/0.53 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.65/0.53
0.65/0.56 c BEGIN-Prog: Thu Sep 12 14:02:00 CEST 2019
0.65/0.56 c PID: 3813
0.65/0.56 c IP: 172.20.3.145
0.65/0.56 c HOST: node145.alineos.net
0.65/0.57 c (0,0) Parsing Begin
1.19/0.89 c (0,0) Parsing End
1.19/0.89 c (0,0) CSP: 69 int (0 aux), 0 bool (0 aux), 36 ctr, max domain size 35
1.19/0.89 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.19/0.89 c (0,0) Constraint Name Generate Begin
1.39/0.90 c (0,0) Ctr:HOME/instance-4387744-1568289761.xml,AllDifferent:Dist:Eq:Var
1.39/0.90 c (0,0) Constraint Name Generate End
1.39/0.90 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.90 c (0,0) CSP to CSPinCNF Begin
2.44/1.33 c (0,0) translated 4 (10%) constraints
2.78/1.44 c (0,0) translated 8 (20%) constraints
2.78/1.44 c (0,0) translated 11 (30%) constraints
2.78/1.44 c (0,0) translated 15 (40%) constraints
2.78/1.44 c (0,0) translated 18 (50%) constraints
2.78/1.44 c (0,0) translated 22 (60%) constraints
2.78/1.44 c (0,0) translated 26 (70%) constraints
2.78/1.44 c (0,0) translated 29 (80%) constraints
2.78/1.44 c (0,0) translated 33 (90%) constraints
2.78/1.44 c (0,0) translated 36 (100%) constraints
2.78/1.44 c (0,0) ===========================================
2.78/1.44 c (0,0) Hybrid: #OE=69, #LE=0
2.78/1.44 c (0,0) Hybrid
2.78/1.44 c (0,0) ===========================================
2.78/1.44 c (0,0) translated 134 (10%) constraints
2.78/1.44 c (0,0) translated 267 (20%) constraints
2.78/1.44 c (0,0) translated 400 (30%) constraints
2.78/1.45 c (0,0) translated 533 (40%) constraints
3.39/1.62 c (1,1) translated 666 (50%) constraints
3.39/1.63 c (1,1) translated 799 (60%) constraints
3.39/1.64 c (1,1) translated 932 (70%) constraints
3.39/1.65 c (1,1) translated 1065 (80%) constraints
3.39/1.67 c (1,1) translated 1198 (90%) constraints
3.72/1.78 c (1,1) translated 1331 (100%) constraints
3.72/1.78 c (1,1) CSP to CSPinCNF End
3.72/1.78 c (1,1) CSP: 69 int (0 aux), 2381 bool (2381 aux), 6093 ctr, max domain size 35
3.72/1.78 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.72/1.78 c (1,1) CSPinCNF Propagation Begin
4.01/1.86 c (1,1) 0 values, 0 unsatisfiable literals, and 138 valid clauses are removed
4.01/1.86 c (1,1) CSPinCNF Propagation End
4.01/1.86 c (1,1) CSP: 69 int (0 aux), 2381 bool (2381 aux), 5955 ctr, max domain size 35
4.01/1.86 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.01/1.88 c (1,1) Hybrid: #OE=2450, #LE=0
4.01/1.88 c (1,1) Simplify CSPinCNF Begin
4.33/1.98 c (1,1) Simplify CSPinCNF End
4.33/1.98 c (1,1) CSP: 69 int (0 aux), 4761 bool (4761 aux), 8335 ctr, max domain size 35
4.33/1.98 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.33/1.98 c (1,1) Calculate Precise Domain Begin
4.33/1.98 c (1,1) 0 values are removed by re-calculation
4.33/1.98 c (1,1) Calculate Precise Domain End
4.33/1.98 c (1,1) CSP: 69 int (0 aux), 4761 bool (4761 aux), 8335 ctr, max domain size 35
4.33/1.98 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.33/1.98 c (1,1) CSPinCNF to SatSolver Begin
5.66/2.39 c (1,1) 834 (10 %) CSP clauses are encoded (0 SAT variables, 21946 SAT clauses)
6.27/2.53 c (1,1) 1667 (20 %) CSP clauses are encoded (0 SAT variables, 41649 SAT clauses)
6.27/2.56 c (2,1) 2501 (30 %) CSP clauses are encoded (0 SAT variables, 45203 SAT clauses)
6.27/2.57 c (2,2) 3334 (40 %) CSP clauses are encoded (0 SAT variables, 46036 SAT clauses)
6.27/2.58 c (2,2) 4168 (50 %) CSP clauses are encoded (0 SAT variables, 46870 SAT clauses)
6.57/2.67 c (2,2) 5001 (60 %) CSP clauses are encoded (0 SAT variables, 65259 SAT clauses)
6.83/2.77 c (2,2) 5835 (70 %) CSP clauses are encoded (0 SAT variables, 84441 SAT clauses)
6.83/2.78 c (2,2) 6668 (80 %) CSP clauses are encoded (0 SAT variables, 86396 SAT clauses)
6.83/2.79 c (2,2) 7502 (90 %) CSP clauses are encoded (0 SAT variables, 87230 SAT clauses)
8.22/3.20 c (2,2) 8335 (100 %) CSP clauses are encoded (0 SAT variables, 168219 SAT clauses)
8.22/3.21 c (2,2) CSPinCNF to SatSolver End
8.22/3.21 c (2,2) Heap : 844 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.22/3.21 c (2,2) 7073 bool, 168848 clause
8.22/3.21 c (2,2) Export Begin
8.22/3.30 c (2,2) Export to HOME/scop-3810-serial-file.bin
8.22/3.30 c (2,2) Export End
8.22/3.30 c (2,2) Export File Size: 0.01 MB
8.22/3.30 c (2,2) 0,0,1,1,1,1,2,STOP-AFTER(DIMACS)
8.22/3.30 c END-Prog: Thu Sep 12 14:02:03 CEST 2019
8.55/3.32 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-3810-serial-file.bin
8.56/3.77 c (0,0) Read Serial File Begin
8.56/3.77 c (0,0) HOME/scop-3810-serial-file.bin
8.56/3.97 c (0,0) Read Serial File End
8.56/3.99
8.56/3.99 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
8.56/3.99 (Solving Process)
8.56/3.99
9.51/4.01 c BEGIN-Prog: Thu Sep 12 14:02:04 CEST 2019
9.51/4.01 c PID: 3841
9.51/4.01 c IP: 172.20.3.145
9.51/4.01 c HOST: node145.alineos.net
9.51/4.01 c (0,0) SatSolver.solve Begin
9.51/4.01 c (0,0) HOME/cryptominisat5 HOME/instance-4387744-1568289761.xml-scop-3813.cnf
9.69/4.26 c (0,0) c Outputting solution to console
9.69/4.26 c (0,0) c CryptoMiniSat version 5.6.8
9.69/4.26 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
9.69/4.26 c (0,0) c CMS SHA revision GIT-notfound
9.69/4.26 c (0,0) c CMS is MIT licensed
9.69/4.26 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
9.69/4.26 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
9.69/4.26 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387744-1568289761.xml-scop-3813.cnf
9.69/4.26 c (0,0) c Reading file 'HOME/instance-4387744-1568289761.xml-scop-3813.cnf'
9.69/4.26 c (0,0) c -- header says num vars: 7073
9.69/4.26 c (0,0) c -- header says num clauses: 168848
9.70/4.32 c (0,0) c -- clauses added: 168848
9.70/4.32 c (0,0) c -- xor clauses added: 0
9.70/4.32 c (0,0) c -- vars added 7073
9.70/4.32 c (0,0) c Parsing time: 0.05 s
9.70/4.33 c (0,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
9.70/4.34 c (0,0) c [distill] long cls tried: 76/76 cl-short:76 lit-r:0 T: 0.01 T-out: N T-r: 99.81%
9.70/4.81 c (1,0) c [distill] long cls tried: 633/694 cl-short:633 lit-r:40 T: 0.09 T-out: N T-r: 98.67%
10.73/5.36 c (1,0) c [distill] long cls tried: 421/1101 cl-short:421 lit-r:97 T: 0.05 T-out: N T-r: 99.32%
10.93/5.52 c (1,0) c glue 1 74 8193 7073 156K 12817 3.24 3.15 1215 1652 5236 91 59.72 59.07
11.13/5.79 c (2,0) c ------- FINAL TOTAL SEARCH STATS ---------
11.13/5.79 c (2,0) c UIP search time : 1.48 (96.33 % time)
11.13/5.79 c (2,0) c restarts : 87 (118.32 confls per restart)
11.13/5.79 c (2,0) c blocked restarts : 3 (0.03 per normal restart)
11.13/5.79 c (2,0) c time : 1.48
11.13/5.79 c (2,0) c decisions : 67021 (0.00 % random)
11.13/5.79 c (2,0) c propagations : 4500442
11.13/5.79 c (2,0) c decisions/conflicts : 6.51
11.13/5.79 c (2,0) c conflicts : 10294 (6975.12 / sec)
11.13/5.79 c (2,0) c conf lits non-minim : 745962 (72.47 lit/confl)
11.13/5.79 c (2,0) c conf lits final : 65.77
11.13/5.79 c (2,0) c cache hit re-learnt cl : 0 (0.00 % of confl)
11.13/5.79 c (2,0) c red which0 : 1534 (14.90 % of confl)
11.13/5.79 c (2,0) c props/decision : 0.00
11.13/5.79 c (2,0) c props/conflict : 0.00
11.13/5.79 c (2,0) c 0-depth assigns : 0 (0.00 % vars)
11.13/5.79 c (2,0) c 0-depth assigns by CNF : 0 (0.00 % vars)
11.13/5.79 c (2,0) c reduceDB time : 0.00 (0.00 % time)
11.13/5.79 c (2,0) c OccSimplifier time : 0.00 (0.00 % time)
11.13/5.79 c (2,0) c [occur] 0.00 is overhead
11.13/5.80 c (2,0) c [occur] link-in T: 0.00 cleanup T: 0.00
11.13/5.80 c (2,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
11.13/5.80 c (2,0) c SCC time : 0.00 (0.00 % time)
11.13/5.80 c (2,0) c [scc] new: 0 BP 0M T: 0.00
11.13/5.80 c (2,0) c vrep replace time : 0.00 (0.00 % time)
11.13/5.80 c (2,0) c vrep tree roots : 0
11.13/5.80 c (2,0) c vrep trees' crown : 0 (0.00 leafs/tree)
11.13/5.80 c (2,0) c distill time : 0.16 (10.18 % time)
11.13/5.80 c (2,0) c strength cache-irred time: 0.00 (0.00 % time)
11.13/5.80 c (2,0) c strength cache-red time : 0.00 (0.00 % time)
11.13/5.80 c (2,0) c Conflicts in UIP : 10294 (6719.32 confl/time_this_thread)
11.13/5.80 c (2,0) c Mem used : 25.61 MB
11.13/5.80 c (2,0) c Total time (this thread) : 1.53
11.13/5.80 c (2,0) s SATISFIABLE
11.26/5.87 c (2,0) SatSolver.solve End
11.26/5.87 c (2,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
11.26/5.87 c (2,0) Show results Begin
11.52/5.96 c (2,0) x[0] = 22
11.52/5.96 c (2,0) x[1] = 12
11.52/5.96 c (2,0) x[2] = 25
11.52/5.96 c (2,0) x[3] = 10
11.52/5.96 c (2,0) x[4] = 19
11.52/5.96 c (2,0) x[5] = 24
11.52/5.96 c (2,0) x[6] = 8
11.52/5.96 c (2,0) x[7] = 20
11.52/5.96 c (2,0) x[8] = 14
11.52/5.96 c (2,0) x[9] = 17
11.52/5.96 c (2,0) x[10] = 16
11.52/5.96 c (2,0) x[11] = 18
11.52/5.96 c (2,0) x[12] = 11
11.52/5.96 c (2,0) x[13] = 15
11.52/5.96 c (2,0) x[14] = 26
11.52/5.96 c (2,0) x[15] = 7
11.52/5.96 c (2,0) x[16] = 28
11.52/5.96 c (2,0) x[17] = 4
11.52/5.96 c (2,0) x[18] = 31
11.52/5.96 c (2,0) x[19] = 1
11.52/5.96 c (2,0) x[20] = 32
11.52/5.96 c (2,0) x[21] = 3
11.52/5.96 c (2,0) x[22] = 29
11.52/5.96 c (2,0) x[23] = 6
11.52/5.96 c (2,0) x[24] = 23
11.52/5.96 c (2,0) x[25] = 9
11.52/5.96 c (2,0) x[26] = 27
11.52/5.96 c (2,0) x[27] = 5
11.52/5.96 c (2,0) x[28] = 30
11.52/5.96 c (2,0) x[29] = 2
11.52/5.96 c (2,0) x[30] = 34
11.52/5.96 c (2,0) x[31] = 0
11.52/5.96 c (2,0) x[32] = 33
11.52/5.96 c (2,0) x[33] = 13
11.52/5.96 c (2,0) x[34] = 21
11.52/5.96 c (2,0) y[0] = 10
11.52/5.96 c (2,0) y[1] = 13
11.52/5.96 c (2,0) y[2] = 15
11.52/5.96 c (2,0) y[3] = 9
11.52/5.96 c (2,0) y[4] = 5
11.52/5.96 c (2,0) y[5] = 16
11.52/5.96 c (2,0) y[6] = 12
11.52/5.96 c (2,0) y[7] = 6
11.52/5.96 c (2,0) y[8] = 3
11.52/5.96 c (2,0) y[9] = 1
11.52/5.96 c (2,0) y[10] = 2
11.52/5.96 c (2,0) y[11] = 7
11.52/5.96 c (2,0) y[12] = 4
11.52/5.96 c (2,0) y[13] = 11
11.52/5.96 c (2,0) y[14] = 19
11.52/5.96 c (2,0) y[15] = 21
11.52/5.96 c (2,0) y[16] = 24
11.52/5.96 c (2,0) y[17] = 27
11.52/5.96 c (2,0) y[18] = 30
11.52/5.96 c (2,0) y[19] = 31
11.52/5.96 c (2,0) y[20] = 29
11.52/5.96 c (2,0) y[21] = 26
11.52/5.96 c (2,0) y[22] = 23
11.52/5.96 c (2,0) y[23] = 17
11.52/5.96 c (2,0) y[24] = 14
11.52/5.96 c (2,0) y[25] = 18
11.52/5.96 c (2,0) y[26] = 22
11.52/5.96 c (2,0) y[27] = 25
11.52/5.96 c (2,0) y[28] = 28
11.52/5.96 c (2,0) y[29] = 32
11.52/5.96 c (2,0) y[30] = 34
11.52/5.96 c (2,0) y[31] = 33
11.52/5.96 c (2,0) y[32] = 20
11.52/5.96 c (2,0) y[33] = 8
11.52/5.96 s SATISFIABLE
11.52/5.97 v <instantiation>
11.52/5.97 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] 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]</list>
11.52/5.97 v <values>22 12 25 10 19 24 8 20 14 17 16 18 11 15 26 7 28 4 31 1 32 3 29 6 23 9 27 5 30 2 34 0 33 13 21 10 13 15 9 5 16 12 6 3 1 2 7 4 11 19 21 24 27 30 31 29 26 23 17 14 18 22 25 28 32 34 33 20 8</values>
11.52/5.97 v </instantiation>
11.52/5.97 c (2,0) Show results End
11.52/5.97 c (2,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
11.52/5.97 c (2,0) 2,2,STOP-AFTER(ALL)
11.52/5.97 c END-Prog: Thu Sep 12 14:02:06 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 (8870 MiB free)
memory of node 1: 16384 MiB (8848 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387744-1568289761/watcher-4387744-1568289761 -o /tmp/evaluation-result-4387744-1568289761/solver-4387744-1568289761 -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-4387744-1568289761.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=3810, runsolver pid=3806
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 5.77 6.72 6.71 5/231 3840
/proc/meminfo: memFree=18024300/32770624 swapFree=66997568/67108860
[pid=3810] ppid=3806 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/3810/stat : 3810 (scop.sh) S 3806 3810 3746 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 404912641 115843072 348 33554432000 4194304 5098028 140736940027328 140736940024584 140617163403900 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27201536 140736940028771 140736940029040 140736940029040 140736940031949 0
/proc/3810/statm: 28282 348 296 221 0 87 0
[pid=3813] ppid=3810 vsize=15012696 memory=73856 CPUtime=0.12 cores=1,3,5,7
/proc/3813/stat : 3813 (java) S 3810 3810 3746 0 -1 1077944320 7215 0 0 0 10 2 0 0 20 0 15 0 404912641 15373000704 18464 33554432000 4194304 4196468 140723907802288 140723907784832 140572195163895 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
/proc/3813/statm: 3753174 18464 2922 1 0 3715579 0
[pid=3813/tid=3814] ppid=3810 vsize=15012696 memory=8180089925722843723 CPUtime=0.09 cores=1,3,5,7
/proc/3813/task/3814/stat : 3814 (java) R 3810 3810 3746 0 -1 4202560 5103 0 0 0 8 1 0 0 20 0 15 0 404912641 15373000704 18530 33554432000 4194304 4196468 140723907802288 140572166957704 140572179244382 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3819] ppid=3810 vsize=15012696 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3819/stat : 3819 (java) S 3810 3810 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404912643 15373000704 18530 33554432000 4194304 4196468 140723907802288 140572199406096 140572195174101 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3820] ppid=3810 vsize=15012696 memory=139990545139328 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3820/stat : 3820 (java) S 3810 3810 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404912643 15373000704 18530 33554432000 4194304 4196468 140723907802288 140571656051344 140572195174101 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3821] ppid=3810 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3821/stat : 3821 (java) S 3810 3810 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404912643 15373000704 18530 33554432000 4194304 4196468 140723907802288 140571654998288 140572195174101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3822] ppid=3810 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3822/stat : 3822 (java) S 3810 3810 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404912643 15373000704 18530 33554432000 4194304 4196468 140723907802288 140571653945744 140572195174101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3824] ppid=3810 vsize=15012696 memory=139990545139328 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3824/stat : 3824 (java) S 3810 3810 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404912644 15373000704 18530 33554432000 4194304 4196468 140723907802288 140571601918704 140572195175042 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3827] ppid=3810 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3827/stat : 3827 (java) S 3810 3810 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404912645 15373000704 18530 33554432000 4194304 4196468 140723907802288 140570857039520 140572195174101 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3828] ppid=3810 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3828/stat : 3828 (java) S 3810 3810 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404912645 15373000704 18530 33554432000 4194304 4196468 140723907802288 140570588603632 140572195174101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3834] ppid=3810 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3834/stat : 3834 (java) S 3810 3810 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404912647 15373000704 18530 33554432000 4194304 4196468 140723907802288 140570214095312 140572195182491 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3836] ppid=3810 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3836/stat : 3836 (java) S 3810 3810 3746 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 404912647 15373000704 18530 33554432000 4194304 4196468 140723907802288 140571600865520 140572195175042 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3837] ppid=3810 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3837/stat : 3837 (java) S 3810 3810 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404912647 15373000704 18530 33554432000 4194304 4196468 140723907802288 140571599812976 140572195175042 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3838] ppid=3810 vsize=15012696 memory=139990545139328 CPUtime=0.01 cores=1,3,5,7
/proc/3813/task/3838/stat : 3838 (java) R 3810 3810 3746 0 -1 4202560 443 0 0 0 1 0 0 0 20 0 15 0 404912647 15373000704 18530 33554432000 4194304 4196468 140723907802288 140571598756856 140572174122236 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3839] ppid=3810 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3839/stat : 3839 (java) S 3810 3810 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404912648 15373000704 18530 33554432000 4194304 4196468 140723907802288 140569716189536 140572195174101 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3840] ppid=3810 vsize=15012696 memory=139990545139328 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3840/stat : 3840 (java) S 3810 3810 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404912648 15373000704 18530 33554432000 4194304 4196468 140723907802288 140571597708336 140572195175042 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 75248 KiB
[startup+0.211219 s]*
/proc/loadavg: 5.77 6.72 6.71 4/231 3840
/proc/meminfo: memFree=17987008/32770624 swapFree=66997568/67108860
[pid=3810] ppid=3806 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/3810/stat : 3810 (scop.sh) S 3806 3810 3746 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 404912641 115843072 348 33554432000 4194304 5098028 140736940027328 140736940024584 140617163403900 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27201536 140736940028771 140736940029040 140736940029040 140736940031949 0
/proc/3810/statm: 28282 348 296 221 0 87 0
[pid=3813] ppid=3810 vsize=15012696 memory=88936 CPUtime=0.24 cores=1,3,5,7
/proc/3813/stat : 3813 (java) S 3810 3810 3746 0 -1 1077944320 12322 0 0 0 21 3 0 0 20 0 15 0 404912641 15373000704 22234 33554432000 4194304 4196468 140723907802288 140723907784832 140572195163895 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
/proc/3813/statm: 3753174 22234 2925 1 0 3715579 0
[pid=3813/tid=3814] ppid=3810 vsize=15012696 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/3813/task/3814/stat : 3814 (java) R 3810 3810 3746 0 -1 4202560 10064 0 0 0 17 2 0 0 20 0 15 0 404912641 15373000704 22234 33554432000 4194304 4196468 140723907802288 140572166947456 140572176727447 0 4 2 16800973 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3819] ppid=3810 vsize=15012696 memory=9253 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3819/stat : 3819 (java) S 3810 3810 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404912643 15373000704 22234 33554432000 4194304 4196468 140723907802288 140572199406096 140572195174101 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3820] ppid=3810 vsize=15012696 memory=576195 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3820/stat : 3820 (java) S 3810 3810 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404912643 15373000704 22234 33554432000 4194304 4196468 140723907802288 140571656051344 140572195174101 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3821] ppid=3810 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3821/stat : 3821 (java) S 3810 3810 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404912643 15373000704 22234 33554432000 4194304 4196468 140723907802288 140571654998288 140572195174101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3822] ppid=3810 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3822/stat : 3822 (java) S 3810 3810 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404912643 15373000704 22234 33554432000 4194304 4196468 140723907802288 140571653945744 140572195174101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3824] ppid=3810 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3824/stat : 3824 (java) S 3810 3810 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404912644 15373000704 22234 33554432000 4194304 4196468 140723907802288 140571601918704 140572195175042 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3827] ppid=3810 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3827/stat : 3827 (java) S 3810 3810 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404912645 15373000704 22234 33554432000 4194304 4196468 140723907802288 140570857039520 140572195174101 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3828] ppid=3810 vsize=15012696 memory=139990545139328 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3828/stat : 3828 (java) S 3810 3810 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404912645 15373000704 22234 33554432000 4194304 4196468 140723907802288 140570588603632 140572195174101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3834] ppid=3810 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3834/stat : 3834 (java) S 3810 3810 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404912647 15373000704 22234 33554432000 4194304 4196468 140723907802288 140570214095312 140572195182491 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3836] ppid=3810 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3813/task/3836/stat : 3836 (java) S 3810 3810 3746 0 -1 1077944384 459 0 0 0 1 0 0 0 20 0 15 0 404912647 15373000704 22234 33554432000 4194304 4196468 140723907802288 140571600865520 140572195175042 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3837] ppid=3810 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3837/stat : 3837 (java) S 3810 3810 3746 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 404912647 15373000704 22234 33554432000 4194304 4196468 140723907802288 140571599812976 140572195175042 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3838] ppid=3810 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/3813/task/3838/stat : 3838 (java) S 3810 3810 3746 0 -1 1077944384 450 0 0 0 2 0 0 0 20 0 15 0 404912647 15373000704 22234 33554432000 4194304 4196468 140723907802288 140571598759920 140572195175042 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3839] ppid=3810 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3839/stat : 3839 (java) S 3810 3810 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404912648 15373000704 22234 33554432000 4194304 4196468 140723907802288 140569716189536 140572195174101 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3840] ppid=3810 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3840/stat : 3840 (java) S 3810 3810 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404912648 15373000704 22234 33554432000 4194304 4196468 140723907802288 140571597708336 140572195175042 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90328 KiB
[startup+0.310152 s]*
/proc/loadavg: 5.77 6.72 6.71 5/231 3840
/proc/meminfo: memFree=17982880/32770624 swapFree=66997568/67108860
[pid=3810] ppid=3806 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/3810/stat : 3810 (scop.sh) S 3806 3810 3746 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 404912641 115843072 348 33554432000 4194304 5098028 140736940027328 140736940024584 140617163403900 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27201536 140736940028771 140736940029040 140736940029040 140736940031949 0
/proc/3810/statm: 28282 348 296 221 0 87 0
[pid=3813] ppid=3810 vsize=15012696 memory=92548 CPUtime=0.42 cores=1,3,5,7
/proc/3813/stat : 3813 (java) S 3810 3810 3746 0 -1 1077944320 13159 0 0 0 38 4 0 0 20 0 15 0 404912641 15373000704 23137 33554432000 4194304 4196468 140723907802288 140723907784832 140572195163895 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
/proc/3813/statm: 3753174 23137 3033 1 0 3715579 0
[pid=3813/tid=3814] ppid=3810 vsize=15012696 memory=7883960649037381690 CPUtime=0.29 cores=1,3,5,7
/proc/3813/task/3814/stat : 3814 (java) R 3810 3810 3746 0 -1 4202560 10745 0 0 0 26 3 0 0 20 0 15 0 404912641 15373000704 23137 33554432000 4194304 4196468 140723907802288 140572166971200 140572179244382 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3819] ppid=3810 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3819/stat : 3819 (java) S 3810 3810 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404912643 15373000704 23137 33554432000 4194304 4196468 140723907802288 140572199406096 140572195174101 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3820] ppid=3810 vsize=15012696 memory=2923279 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3820/stat : 3820 (java) S 3810 3810 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404912643 15373000704 23137 33554432000 4194304 4196468 140723907802288 140571656051344 140572195174101 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3821] ppid=3810 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3821/stat : 3821 (java) S 3810 3810 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404912643 15373000704 23137 33554432000 4194304 4196468 140723907802288 140571654998288 140572195174101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3822] ppid=3810 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3822/stat : 3822 (java) S 3810 3810 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404912643 15373000704 23137 33554432000 4194304 4196468 140723907802288 140571653945744 140572195174101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3824] ppid=3810 vsize=15012696 memory=139990545139328 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3824/stat : 3824 (java) S 3810 3810 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404912644 15373000704 23137 33554432000 4194304 4196468 140723907802288 140571601918704 140572195175042 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3827] ppid=3810 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3827/stat : 3827 (java) S 3810 3810 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404912645 15373000704 23137 33554432000 4194304 4196468 140723907802288 140570857039520 140572195174101 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3828] ppid=3810 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3828/stat : 3828 (java) S 3810 3810 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404912645 15373000704 23137 33554432000 4194304 4196468 140723907802288 140570588603632 140572195174101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3834] ppid=3810 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3834/stat : 3834 (java) S 3810 3810 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404912647 15373000704 23137 33554432000 4194304 4196468 140723907802288 140570214095312 140572195182491 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3836] ppid=3810 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/3813/task/3836/stat : 3836 (java) S 3810 3810 3746 0 -1 1077944384 565 0 0 0 2 0 0 0 20 0 15 0 404912647 15373000704 23137 33554432000 4194304 4196468 140723907802288 140571600865520 140572195175042 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3837] ppid=3810 vsize=15012696 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/3813/task/3837/stat : 3837 (java) R 3810 3810 3746 0 -1 4202560 52 0 0 0 1 0 0 0 20 0 15 0 404912647 15373000704 23137 33554432000 4194304 4196468 140723907802288 140571599812976 140572188148937 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3838] ppid=3810 vsize=15012696 memory=139990545139328 CPUtime=0.07 cores=1,3,5,7
/proc/3813/task/3838/stat : 3838 (java) S 3810 3810 3746 0 -1 1077944384 472 0 0 0 7 0 0 0 20 0 15 0 404912647 15373000704 23137 33554432000 4194304 4196468 140723907802288 140571598759920 140572195175042 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3839] ppid=3810 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3839/stat : 3839 (java) S 3810 3810 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404912648 15373000704 23137 33554432000 4194304 4196468 140723907802288 140569716189536 140572195174101 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3840] ppid=3810 vsize=15012696 memory=139990545139328 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3840/stat : 3840 (java) S 3810 3810 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404912648 15373000704 23137 33554432000 4194304 4196468 140723907802288 140571597708336 140572195175042 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93940 KiB
[startup+0.701723 s]
/proc/loadavg: 5.77 6.72 6.71 4/231 3840
/proc/meminfo: memFree=17940340/32770624 swapFree=66997568/67108860
[pid=3810] ppid=3806 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/3810/stat : 3810 (scop.sh) S 3806 3810 3746 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 404912641 115843072 348 33554432000 4194304 5098028 140736940027328 140736940024584 140617163403900 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27201536 140736940028771 140736940029040 140736940029040 140736940031949 0
/proc/3810/statm: 28282 348 296 221 0 87 0
[pid=3813] ppid=3810 vsize=15022116 memory=132348 CPUtime=0.99 cores=1,3,5,7
/proc/3813/stat : 3813 (java) S 3810 3810 3746 0 -1 1077944320 20349 0 0 0 92 7 0 0 20 0 15 0 404912641 15382646784 33087 33554432000 4194304 4196468 140723907802288 140723907784832 140572195163895 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
/proc/3813/statm: 3755529 33087 3201 1 0 3716859 0
[pid=3813/tid=3814] ppid=3810 vsize=15022116 memory=2120 CPUtime=0.67 cores=1,3,5,7
/proc/3813/task/3814/stat : 3814 (java) R 3810 3810 3746 0 -1 4202560 17435 0 0 0 62 5 0 0 20 0 15 0 404912641 15382646784 33087 33554432000 4194304 4196468 140723907802288 140572166972672 140572187843613 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3819] ppid=3810 vsize=15022116 memory=508 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3819/stat : 3819 (java) S 3810 3810 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404912643 15382646784 33087 33554432000 4194304 4196468 140723907802288 140572199406096 140572195174101 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3820] ppid=3810 vsize=15022116 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3820/stat : 3820 (java) S 3810 3810 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404912643 15382646784 33087 33554432000 4194304 4196468 140723907802288 140571656051344 140572195174101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3821] ppid=3810 vsize=15021092 memory=932 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3821/stat : 3821 (java) S 3810 3810 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404912643 15381598208 33087 33554432000 4194304 4196468 140723907802288 140571654998288 140572195174101 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3822] ppid=3810 vsize=15022116 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3822/stat : 3822 (java) S 3810 3810 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404912643 15382646784 33087 33554432000 4194304 4196468 140723907802288 140571653945744 140572195174101 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3824] ppid=3810 vsize=15022116 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3824/stat : 3824 (java) S 3810 3810 3746 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404912644 15382646784 33087 33554432000 4194304 4196468 140723907802288 140571601918704 140572195175042 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3827] ppid=3810 vsize=15022116 memory=896 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3827/stat : 3827 (java) S 3810 3810 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404912645 15382646784 33087 33554432000 4194304 4196468 140723907802288 140570857039520 140572195174101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3828] ppid=3810 vsize=15021092 memory=1976 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3828/stat : 3828 (java) S 3810 3810 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404912645 15381598208 33087 33554432000 4194304 4196468 140723907802288 140570588603632 140572195174101 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3834] ppid=3810 vsize=15021092 memory=2496 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3834/stat : 3834 (java) S 3810 3810 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404912647 15381598208 33087 33554432000 4194304 4196468 140723907802288 140570214095312 140572195182491 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3836] ppid=3810 vsize=15021092 memory=7302135314614015842 CPUtime=0.08 cores=1,3,5,7
/proc/3813/task/3836/stat : 3836 (java) R 3810 3810 3746 0 -1 4202560 746 0 0 0 8 0 0 0 20 0 15 0 404912647 15381598208 33087 33554432000 4194304 4196468 140723907802288 140571600865520 140572178650330 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3837] ppid=3810 vsize=15021092 memory=6440519468944351853 CPUtime=0.07 cores=1,3,5,7
/proc/3813/task/3837/stat : 3837 (java) R 3810 3810 3746 0 -1 1077944384 294 0 0 0 7 0 0 0 20 0 15 0 404912647 15381598208 33087 33554432000 4194304 4196468 140723907802288 140571599812976 140572195175042 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3838] ppid=3810 vsize=15021092 memory=7223887401239728208 CPUtime=0.14 cores=1,3,5,7
/proc/3813/task/3838/stat : 3838 (java) R 3810 3810 3746 0 -1 4202560 551 0 0 0 14 0 0 0 20 0 15 0 404912647 15381598208 33087 33554432000 4194304 4196468 140723907802288 140571598759920 140572174082464 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3839] ppid=3810 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3839/stat : 3839 (java) S 3810 3810 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404912648 15381598208 33087 33554432000 4194304 4196468 140723907802288 140569716189536 140572195174101 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
[pid=3813/tid=3840] ppid=3810 vsize=15021092 memory=7451892092875527016 CPUtime=0 cores=1,3,5,7
/proc/3813/task/3840/stat : 3840 (java) S 3810 3810 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404912648 15381598208 33087 33554432000 4194304 4196468 140723907802288 140571597708336 140572195175042 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22450176 140723907805994 140723907806362 140723907806362 140723907809231 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15135244 KiB
Current children cumulated memory: 133740 KiB
[startup+1.50722 s]
/proc/loadavg: 5.77 6.72 6.71 6/231 3840
/proc/meminfo: memFree=17851772/32770624 swapFree=66997568/67108860
[pid=3810] ppid=3806 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/3810/stat : 3810 (scop.sh) S 3806 3810 3746 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 404912641 115843072 348 33554432000 4194304 5098028 140736940027328 140736940024584 140617163403900 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27201536 140736940028771 140736940029040 140736940029040 140736940031949 0
/proc/3810/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
[pid=3841/tid=3850] ppid=3810 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3841/task/3850/stat : 3850 (java) S 3810 3810 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404912979 8262082560 28835 33554432000 4194304 4196468 140727256323504 140431231637456 140432889079707 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3851] ppid=3810 vsize=8068440 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/3841/task/3851/stat : 3851 (java) S 3810 3810 3746 0 -1 1077944384 702 0 0 0 10 0 0 0 20 0 19 0 404912979 8262082560 28835 33554432000 4194304 4196468 140727256323504 140432267356912 140432889072258 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3852] ppid=3810 vsize=8068440 memory=139990432794032 CPUtime=0.07 cores=1,3,5,7
/proc/3841/task/3852/stat : 3852 (java) S 3810 3810 3746 0 -1 1077944384 343 0 0 0 7 0 0 0 20 0 19 0 404912979 8262082560 28835 33554432000 4194304 4196468 140727256323504 140432266304368 140432889072258 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3853] ppid=3810 vsize=8068440 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/3841/task/3853/stat : 3853 (java) S 3810 3810 3746 0 -1 1077944384 510 0 0 0 18 0 0 0 20 0 19 0 404912979 8262082560 28835 33554432000 4194304 4196468 140727256323504 140432265251312 140432889072258 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3854] ppid=3810 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3841/task/3854/stat : 3854 (java) S 3810 3810 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404912979 8262082560 28835 33554432000 4194304 4196468 140727256323504 140430733732704 140432889071317 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3855] ppid=3810 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3841/task/3855/stat : 3855 (java) S 3810 3810 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404912979 8262082560 28835 33554432000 4194304 4196468 140727256323504 140432264198704 140432889072258 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
Current children cumulated CPU time: 9.7 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 116812 KiB
[startup+5.60094 s]
/proc/loadavg: 5.87 6.72 6.71 5/236 3861
/proc/meminfo: memFree=16798396/32770624 swapFree=66997568/67108860
[pid=3810] ppid=3806 vsize=113128 memory=1472 CPUtime=8.56 cores=1,3,5,7
/proc/3810/stat : 3810 (scop.sh) S 3806 3810 3746 0 -1 4202496 582 29019 0 0 0 0 834 22 20 0 1 0 404912641 115843072 368 33554432000 4194304 5098028 140736940027328 140736940024072 140617163403900 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27201536 140736940028771 140736940029040 140736940029040 140736940031949 0
/proc/3810/statm: 28282 368 311 221 0 87 0
[pid=3841] ppid=3810 vsize=8068440 memory=115340 CPUtime=1.14 cores=1,3,5,7
/proc/3841/stat : 3841 (java) S 3810 3810 3746 0 -1 1077944320 19711 0 0 0 108 6 0 0 20 0 19 0 404912973 8262082560 28835 33554432000 4194304 4196468 140727256323504 140727256306048 140432889061111 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
/proc/3841/statm: 2017110 28835 3209 1 0 1978454 0
[pid=3856] ppid=3841 vsize=50328 memory=25444 CPUtime=1.33 cores=1,3,5,7
/proc/3856/stat : 3856 (cryptominisat5) R 3841 3810 3746 0 -1 4202496 7089 0 2 0 133 0 0 0 20 0 1 0 404913044 51535872 6361 33554432000 4194304 4451008 140724263440240 140724263435320 140157602424572 0 4 0 2 0 0 0 17 1 0 0 10 0 0 6549032 6559120 31133696 140724263441341 140724263441472 140724263441472 140724263444422 0
/proc/3856/statm: 12582 6361 639 63 0 6309 0
[pid=3841/tid=3842] ppid=3810 vsize=8068440 memory=0 CPUtime=0.74 cores=1,3,5,7
/proc/3841/task/3842/stat : 3842 (java) S 3810 3810 3746 0 -1 1077944384 16727 0 0 0 70 4 0 0 20 0 19 0 404912973 8262082560 28835 33554432000 4194304 4196468 140727256323504 140432860901280 140432889071317 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3843] ppid=3810 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3841/task/3843/stat : 3843 (java) S 3810 3810 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404912974 8262082560 28835 33554432000 4194304 4196468 140727256323504 140432893303824 140432889071317 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3844] ppid=3810 vsize=8068440 memory=279980865521392 CPUtime=0 cores=1,3,5,7
/proc/3841/task/3844/stat : 3844 (java) S 3810 3810 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404912974 8262082560 28835 33554432000 4194304 4196468 140727256323504 140432693472400 140432889071317 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3845] ppid=3810 vsize=8068440 memory=4639159161163453313 CPUtime=0 cores=1,3,5,7
/proc/3841/task/3845/stat : 3845 (java) S 3810 3810 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404912974 8262082560 28835 33554432000 4194304 4196468 140727256323504 140432692419344 140432889071317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3846] ppid=3810 vsize=8068440 memory=-7735619938911498612 CPUtime=0 cores=1,3,5,7
/proc/3841/task/3846/stat : 3846 (java) S 3810 3810 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404912974 8262082560 28835 33554432000 4194304 4196468 140727256323504 140432691366800 140432889071317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3847] ppid=3810 vsize=8068440 memory=5869130807471212947 CPUtime=0 cores=1,3,5,7
/proc/3841/task/3847/stat : 3847 (java) S 3810 3810 3746 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 404912976 8262082560 28835 33554432000 4194304 4196468 140727256323504 140432268409072 140432889072258 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3848] ppid=3810 vsize=8068440 memory=7661031260136775567 CPUtime=0 cores=1,3,5,7
/proc/3841/task/3848/stat : 3848 (java) S 3810 3810 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404912976 8262082560 28835 33554432000 4194304 4196468 140727256323504 140431740363936 140432889071317 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3849] ppid=3810 vsize=8068440 memory=7588682270179350941 CPUtime=0 cores=1,3,5,7
/proc/3841/task/3849/stat : 3849 (java) S 3810 3810 3746 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 404912976 8262082560 28835 33554432000 4194304 4196468 140727256323504 140431606141680 140432889071317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3850] ppid=3810 vsize=8068440 memory=5941183977893631140 CPUtime=0 cores=1,3,5,7
/proc/3841/task/3850/stat : 3850 (java) S 3810 3810 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404912979 8262082560 28835 33554432000 4194304 4196468 140727256323504 140431231637456 140432889079707 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3851] ppid=3810 vsize=8068440 memory=5865182618966402455 CPUtime=0.1 cores=1,3,5,7
/proc/3841/task/3851/stat : 3851 (java) S 3810 3810 3746 0 -1 1077944384 702 0 0 0 10 0 0 0 20 0 19 0 404912979 8262082560 28835 33554432000 4194304 4196468 140727256323504 140432267356912 140432889072258 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3852] ppid=3810 vsize=8068440 memory=5936960864037607330 CPUtime=0.07 cores=1,3,5,7
/proc/3841/task/3852/stat : 3852 (java) S 3810 3810 3746 0 -1 1077944384 343 0 0 0 7 0 0 0 20 0 19 0 404912979 8262082560 28835 33554432000 4194304 4196468 140727256323504 140432266304368 140432889072258 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3853] ppid=3810 vsize=8068440 memory=25444 CPUtime=0.18 cores=1,3,5,7
/proc/3841/task/3853/stat : 3853 (java) S 3810 3810 3746 0 -1 1077944384 510 0 0 0 18 0 0 0 20 0 19 0 404912979 8262082560 28835 33554432000 4194304 4196468 140727256323504 140432265251312 140432889072258 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3854] ppid=3810 vsize=8068440 memory=288230604624101685 CPUtime=0 cores=1,3,5,7
/proc/3841/task/3854/stat : 3854 (java) S 3810 3810 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404912979 8262082560 28835 33554432000 4194304 4196468 140727256323504 140430733732704 140432889071317 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3855] ppid=3810 vsize=8068440 memory=3612 CPUtime=0 cores=1,3,5,7
/proc/3841/task/3855/stat : 3855 (java) S 3810 3810 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404912979 8262082560 28835 33554432000 4194304 4196468 140727256323504 140432264198704 140432889072258 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3857] ppid=3810 vsize=8068440 memory=36528 CPUtime=0 cores=1,3,5,7
/proc/3841/task/3857/stat : 3857 (java) S 3810 3810 3746 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 404913045 8262082560 28835 33554432000 4194304 4196468 140727256323504 140432256165184 140432889085721 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3859] ppid=3810 vsize=8068440 memory=988 CPUtime=0 cores=1,3,5,7
/proc/3841/task/3859/stat : 3859 (java) S 3810 3810 3746 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 19 0 404913045 8262082560 28835 33554432000 4194304 4196468 140727256323504 140430196845968 140432889083037 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3860] ppid=3810 vsize=8068440 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/3841/task/3860/stat : 3860 (java) S 3810 3810 3746 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 404913045 8262082560 28835 33554432000 4194304 4196468 140727256323504 140430331068432 140432889083037 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3861] ppid=3810 vsize=8068440 memory=1432 CPUtime=0 cores=1,3,5,7
/proc/3841/task/3861/stat : 3861 (java) S 3810 3810 3746 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 404913047 8262082560 28835 33554432000 4194304 4196468 140727256323504 140429928423216 140432889071317 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
Current children cumulated CPU time: 11.03 s
Current children cumulated vsize: 8231896 KiB
Current children cumulated memory: 142256 KiB
[startup+5.80494 s]
/proc/loadavg: 5.87 6.72 6.71 5/236 3861
/proc/meminfo: memFree=16798396/32770624 swapFree=66997568/67108860
[pid=3810] ppid=3806 vsize=113128 memory=1472 CPUtime=8.56 cores=1,3,5,7
/proc/3810/stat : 3810 (scop.sh) S 3806 3810 3746 0 -1 4202496 582 29019 0 0 0 0 834 22 20 0 1 0 404912641 115843072 368 33554432000 4194304 5098028 140736940027328 140736940024072 140617163403900 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27201536 140736940028771 140736940029040 140736940029040 140736940031949 0
/proc/3810/statm: 28282 368 311 221 0 87 0
[pid=3841] ppid=3810 vsize=8069464 memory=117780 CPUtime=2.7 cores=1,3,5,7
/proc/3841/stat : 3841 (java) S 3810 3810 3746 0 -1 1077944320 19802 7270 0 2 110 6 153 1 20 0 18 0 404912973 8263131136 29445 33554432000 4194304 4196468 140727256323504 140727256306048 140432889061111 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
/proc/3841/statm: 2017366 29445 3209 1 0 1978710 0
[pid=3841/tid=3842] ppid=3810 vsize=8068440 memory=6791534058613427641 CPUtime=2.28 cores=1,3,5,7
/proc/3841/task/3842/stat : 3842 (java) S 3810 3810 3746 0 -1 1077944384 16727 7270 0 2 70 4 153 1 20 0 18 0 404912973 8262082560 29445 33554432000 4194304 4196468 140727256323504 140432860901280 140432889071317 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3843] ppid=3810 vsize=8069464 memory=-7533228491584937888 CPUtime=1.54 cores=1,3,5,7
/proc/3841/task/3843/stat : 3843 (java) S 3810 3810 3746 0 -1 1077944384 1 7270 0 2 0 0 153 1 20 0 18 0 404912974 8263131136 29445 33554432000 4194304 4196468 140727256323504 140432893303824 140432889071317 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3844] ppid=3810 vsize=8069464 memory=-7025448733113094249 CPUtime=1.54 cores=1,3,5,7
/proc/3841/task/3844/stat : 3844 (java) S 3810 3810 3746 0 -1 1077944384 2 7270 0 2 0 0 153 1 20 0 18 0 404912974 8263131136 29445 33554432000 4194304 4196468 140727256323504 140432693472400 140432889071317 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3845] ppid=3810 vsize=8069464 memory=-8253362664378451600 CPUtime=1.54 cores=1,3,5,7
/proc/3841/task/3845/stat : 3845 (java) S 3810 3810 3746 0 -1 1077944384 2 7270 0 2 0 0 153 1 20 0 18 0 404912974 8263131136 29445 33554432000 4194304 4196468 140727256323504 140432692419344 140432889071317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3846] ppid=3810 vsize=8068440 memory=776 CPUtime=1.54 cores=1,3,5,7
/proc/3841/task/3846/stat : 3846 (java) S 3810 3810 3746 0 -1 1077944384 1 7270 0 2 0 0 153 1 20 0 18 0 404912974 8262082560 29445 33554432000 4194304 4196468 140727256323504 140432691366800 140432889071317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3847] ppid=3810 vsize=8069464 memory=1056 CPUtime=1.54 cores=1,3,5,7
/proc/3841/task/3847/stat : 3847 (java) S 3810 3810 3746 0 -1 1077944384 5 7270 0 2 0 0 153 1 20 0 18 0 404912976 8263131136 29445 33554432000 4194304 4196468 140727256323504 140432268409072 140432889072258 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3848] ppid=3810 vsize=8069464 memory=3928 CPUtime=1.54 cores=1,3,5,7
/proc/3841/task/3848/stat : 3848 (java) S 3810 3810 3746 0 -1 1077944384 13 7270 0 2 0 0 153 1 20 0 18 0 404912976 8263131136 29445 33554432000 4194304 4196468 140727256323504 140431740363936 140432889071317 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3849] ppid=3810 vsize=8069464 memory=1552 CPUtime=1.54 cores=1,3,5,7
/proc/3841/task/3849/stat : 3849 (java) S 3810 3810 3746 0 -1 1077944384 21 7270 0 2 0 0 153 1 20 0 18 0 404912976 8263131136 29445 33554432000 4194304 4196468 140727256323504 140431606141680 140432889071317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3850] ppid=3810 vsize=8068440 memory=1676 CPUtime=1.54 cores=1,3,5,7
/proc/3841/task/3850/stat : 3850 (java) S 3810 3810 3746 0 -1 1077944384 3 7270 0 2 0 0 153 1 20 0 18 0 404912979 8262082560 29445 33554432000 4194304 4196468 140727256323504 140431231637456 140432889079707 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3851] ppid=3810 vsize=8068440 memory=2241 CPUtime=1.64 cores=1,3,5,7
/proc/3841/task/3851/stat : 3851 (java) R 3810 3810 3746 0 -1 4202560 702 7270 0 2 10 0 153 1 20 0 18 0 404912979 8262082560 29445 33554432000 4194304 4196468 140727256323504 140432267356912 140432869761664 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3852] ppid=3810 vsize=8068440 memory=2244 CPUtime=1.61 cores=1,3,5,7
/proc/3841/task/3852/stat : 3852 (java) S 3810 3810 3746 0 -1 1077944384 343 7270 0 2 7 0 153 1 20 0 18 0 404912979 8262082560 29445 33554432000 4194304 4196468 140727256323504 140432266304368 140432889072258 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3853] ppid=3810 vsize=8068440 memory=0 CPUtime=1.73 cores=1,3,5,7
/proc/3841/task/3853/stat : 3853 (java) R 3810 3810 3746 0 -1 4202560 524 7270 0 2 19 0 153 1 20 0 18 0 404912979 8262082560 29445 33554432000 4194304 4196468 140727256323504 140432265251312 140432868015463 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3854] ppid=3810 vsize=8068440 memory=279980865108128 CPUtime=1.54 cores=1,3,5,7
/proc/3841/task/3854/stat : 3854 (java) S 3810 3810 3746 0 -1 1077944384 3 7270 0 2 0 0 153 1 20 0 18 0 404912979 8262082560 29445 33554432000 4194304 4196468 140727256323504 140430733732704 140432889071317 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3855] ppid=3810 vsize=8068440 memory=279980865112576 CPUtime=1.54 cores=1,3,5,7
/proc/3841/task/3855/stat : 3855 (java) S 3810 3810 3746 0 -1 1077944384 1 7270 0 2 0 0 153 1 20 0 18 0 404912979 8262082560 29445 33554432000 4194304 4196468 140727256323504 140432264198704 140432889072258 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3857] ppid=3810 vsize=8068440 memory=111636 CPUtime=1.54 cores=1,3,5,7
/proc/3841/task/3857/stat : 3857 (java) S 3810 3810 3746 0 -1 1077944384 33 7270 0 2 0 0 153 1 20 0 18 0 404913045 8262082560 29445 33554432000 4194304 4196468 140727256323504 140432256164368 140432889072258 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3859] ppid=3810 vsize=8068440 memory=804 CPUtime=1.54 cores=1,3,5,7
/proc/3841/task/3859/stat : 3859 (java) R 3810 3810 3746 0 -1 4202560 186 7270 0 2 0 0 153 1 20 0 18 0 404913045 8262082560 29445 33554432000 4194304 4196468 140727256323504 140430196832432 140432889082458 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3861] ppid=3810 vsize=8068440 memory=6944656592387989600 CPUtime=1.54 cores=1,3,5,7
/proc/3841/task/3861/stat : 3861 (java) S 3810 3810 3746 0 -1 1077944384 4 7270 0 2 0 0 153 1 20 0 18 0 404913047 8262082560 29445 33554432000 4194304 4196468 140727256323504 140429928422976 140432889071317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
Current children cumulated CPU time: 11.26 s
Current children cumulated vsize: 8182592 KiB
Current children cumulated memory: 119252 KiB
[startup+5.90082 s]
/proc/loadavg: 5.87 6.72 6.71 5/236 3861
/proc/meminfo: memFree=16798396/32770624 swapFree=66997568/67108860
[pid=3810] ppid=3806 vsize=113128 memory=1472 CPUtime=8.56 cores=1,3,5,7
/proc/3810/stat : 3810 (scop.sh) S 3806 3810 3746 0 -1 4202496 582 29019 0 0 0 0 834 22 20 0 1 0 404912641 115843072 368 33554432000 4194304 5098028 140736940027328 140736940024072 140617163403900 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27201536 140736940028771 140736940029040 140736940029040 140736940031949 0
/proc/3810/statm: 28282 368 311 221 0 87 0
[pid=3841] ppid=3810 vsize=7937364 memory=121532 CPUtime=2.96 cores=1,3,5,7
/proc/3841/stat : 3841 (java) S 3810 3810 3746 0 -1 1077944320 20370 7270 0 2 135 7 153 1 20 0 17 0 404912973 8127860736 30383 33554432000 4194304 4196468 140727256323504 140727256306048 140432889061111 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
/proc/3841/statm: 1984341 30383 3220 1 0 1945685 0
[pid=3841/tid=3842] ppid=3810 vsize=7937364 memory=25704 CPUtime=2.31 cores=1,3,5,7
/proc/3841/task/3842/stat : 3842 (java) R 3810 3810 3746 0 -1 4202560 16907 7270 0 2 73 4 153 1 20 0 17 0 404912973 8127860736 30383 33554432000 4194304 4196468 140727256323504 140432860898496 140432873104741 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3843] ppid=3810 vsize=7937364 memory=0 CPUtime=1.54 cores=1,3,5,7
/proc/3841/task/3843/stat : 3843 (java) S 3810 3810 3746 0 -1 1077944384 1 7270 0 2 0 0 153 1 20 0 17 0 404912974 8127860736 30383 33554432000 4194304 4196468 140727256323504 140432893303824 140432889071317 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3844] ppid=3810 vsize=7937364 memory=25444 CPUtime=1.54 cores=1,3,5,7
/proc/3841/task/3844/stat : 3844 (java) S 3810 3810 3746 0 -1 1077944384 2 7270 0 2 0 0 153 1 20 0 17 0 404912974 8127860736 30383 33554432000 4194304 4196468 140727256323504 140432693472400 140432889071317 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3845] ppid=3810 vsize=7937364 memory=0 CPUtime=1.54 cores=1,3,5,7
/proc/3841/task/3845/stat : 3845 (java) S 3810 3810 3746 0 -1 1077944384 2 7270 0 2 0 0 153 1 20 0 17 0 404912974 8127860736 30383 33554432000 4194304 4196468 140727256323504 140432692419344 140432889071317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3846] ppid=3810 vsize=7937364 memory=0 CPUtime=1.54 cores=1,3,5,7
/proc/3841/task/3846/stat : 3846 (java) S 3810 3810 3746 0 -1 1077944384 1 7270 0 2 0 0 153 1 20 0 17 0 404912974 8127860736 30383 33554432000 4194304 4196468 140727256323504 140432691366800 140432889071317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3847] ppid=3810 vsize=7937364 memory=139990432909710 CPUtime=1.54 cores=1,3,5,7
/proc/3841/task/3847/stat : 3847 (java) S 3810 3810 3746 0 -1 1077944384 5 7270 0 2 0 0 153 1 20 0 17 0 404912976 8127860736 30383 33554432000 4194304 4196468 140727256323504 140432268409072 140432889072258 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3848] ppid=3810 vsize=7937364 memory=279980865820784 CPUtime=1.54 cores=1,3,5,7
/proc/3841/task/3848/stat : 3848 (java) S 3810 3810 3746 0 -1 1077944384 13 7270 0 2 0 0 153 1 20 0 17 0 404912976 8127860736 30383 33554432000 4194304 4196468 140727256323504 140431740363936 140432889071317 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3849] ppid=3810 vsize=7937364 memory=8025788805588675948 CPUtime=1.54 cores=1,3,5,7
/proc/3841/task/3849/stat : 3849 (java) S 3810 3810 3746 0 -1 1077944384 21 7270 0 2 0 0 153 1 20 0 17 0 404912976 8127860736 30383 33554432000 4194304 4196468 140727256323504 140431606141680 140432889071317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3850] ppid=3810 vsize=7937364 memory=0 CPUtime=1.54 cores=1,3,5,7
/proc/3841/task/3850/stat : 3850 (java) S 3810 3810 3746 0 -1 1077944384 3 7270 0 2 0 0 153 1 20 0 17 0 404912979 8127860736 30383 33554432000 4194304 4196468 140727256323504 140431231637456 140432889079707 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3851] ppid=3810 vsize=7937364 memory=0 CPUtime=1.69 cores=1,3,5,7
/proc/3841/task/3851/stat : 3851 (java) S 3810 3810 3746 0 -1 1077944384 735 7270 0 2 15 0 153 1 20 0 17 0 404912979 8127860736 30383 33554432000 4194304 4196468 140727256323504 140432267356912 140432889072258 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3852] ppid=3810 vsize=7937364 memory=139990432793776 CPUtime=1.67 cores=1,3,5,7
/proc/3841/task/3852/stat : 3852 (java) S 3810 3810 3746 0 -1 1077944384 399 7270 0 2 13 0 153 1 20 0 17 0 404912979 8127860736 30383 33554432000 4194304 4196468 140727256323504 140432266304368 140432889072258 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3853] ppid=3810 vsize=7937364 memory=0 CPUtime=1.8 cores=1,3,5,7
/proc/3841/task/3853/stat : 3853 (java) S 3810 3810 3746 0 -1 1077944384 711 7270 0 2 26 0 153 1 20 0 17 0 404912979 8127860736 30383 33554432000 4194304 4196468 140727256323504 140432265251312 140432889072258 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3854] ppid=3810 vsize=7937364 memory=0 CPUtime=1.54 cores=1,3,5,7
/proc/3841/task/3854/stat : 3854 (java) S 3810 3810 3746 0 -1 1077944384 3 7270 0 2 0 0 153 1 20 0 17 0 404912979 8127860736 30383 33554432000 4194304 4196468 140727256323504 140430733732704 140432889071317 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3855] ppid=3810 vsize=7937364 memory=2525440770051 CPUtime=1.54 cores=1,3,5,7
/proc/3841/task/3855/stat : 3855 (java) S 3810 3810 3746 0 -1 1077944384 1 7270 0 2 0 0 153 1 20 0 17 0 404912979 8127860736 30383 33554432000 4194304 4196468 140727256323504 140432264198704 140432889072258 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3857] ppid=3810 vsize=7937364 memory=288230596034167089 CPUtime=1.54 cores=1,3,5,7
/proc/3841/task/3857/stat : 3857 (java) S 3810 3810 3746 0 -1 1077944384 33 7270 0 2 0 0 153 1 20 0 17 0 404913045 8127860736 30383 33554432000 4194304 4196468 140727256323504 140432256164368 140432889072258 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
[pid=3841/tid=3861] ppid=3810 vsize=7937364 memory=0 CPUtime=1.54 cores=1,3,5,7
/proc/3841/task/3861/stat : 3861 (java) S 3810 3810 3746 0 -1 1077944384 10 7270 0 2 0 0 153 1 20 0 17 0 404913047 8127860736 30383 33554432000 4194304 4196468 140727256323504 140429928425008 140432889072258 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39768064 140727256331260 140727256331418 140727256331418 140727256334287 0
Current children cumulated CPU time: 11.52 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 123004 KiB
Child status: 0
Real time (s): 5.97747
CPU time (s): 11.6944
CPU user time (s): 11.3727
CPU system time (s): 0.321647
CPU usage (%): 195.641
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 855264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.3727
system time used= 0.321647
maximum resident set size= 854116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57532
page faults= 2
swaps= 0
block input operations= 33320
block output operations= 6448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5517
involuntary context switches= 129
# summary of solver processes directly reported to runsolver:
# pid: 3810
# total CPU time (s): 11.6944
# total CPU user time (s): 11.3727
# total CPU system time (s): 0.321647
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.068047 second user time and 0.094065 second system time
The end