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-11287-serial-file.bin HOME/instance-4387891-1568291858.xml
0.65/0.53
0.65/0.53 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.65/0.53
0.65/0.55 c BEGIN-Prog: Thu Sep 12 14:36:58 CEST 2019
0.65/0.55 c PID: 11290
0.65/0.55 c IP: 172.20.3.140
0.65/0.55 c HOST: node140.alineos.net
0.65/0.56 c (0,0) Parsing Begin
1.41/0.90 c (0,0) Parsing End
1.41/0.91 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 336
1.41/0.91 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.41/0.91 c (0,0) Constraint Name Generate Begin
1.41/0.91 c (0,0) Ctr:HOME/instance-4387891-1568291858.xml,Le:NoOverlap:Num:Var
1.41/0.91 c (0,0) Constraint Name Generate End
1.41/0.91 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.41/0.91 c (0,0) CSP to CSPinCNF Begin
1.41/0.99 c (0,0) translated 6 (10%) constraints
1.41/1.00 c (0,0) translated 11 (20%) constraints
1.41/1.00 c (0,0) translated 16 (30%) constraints
1.41/1.00 c (0,0) translated 22 (40%) constraints
1.41/1.01 c (0,0) translated 27 (50%) constraints
1.58/1.01 c (0,0) translated 32 (60%) constraints
1.58/1.01 c (0,0) translated 38 (70%) constraints
1.58/1.01 c (0,0) translated 43 (80%) constraints
1.58/1.01 c (0,0) translated 48 (90%) constraints
2.14/1.27 c (0,0) translated 53 (100%) constraints
2.14/1.27 c (0,0) ===========================================
2.14/1.29 c (0,0) Hybrid: #OE=50, #LE=0
2.14/1.29 c (0,0) Hybrid
2.14/1.29 c (0,0) ===========================================
2.46/1.30 c (0,0) translated 36 (10%) constraints
2.46/1.31 c (0,0) translated 71 (20%) constraints
2.46/1.32 c (0,0) translated 106 (30%) constraints
2.46/1.32 c (0,0) translated 141 (40%) constraints
2.46/1.33 c (0,0) translated 176 (50%) constraints
2.46/1.33 c (0,0) translated 212 (60%) constraints
2.46/1.34 c (0,0) translated 247 (70%) constraints
2.46/1.34 c (0,0) translated 282 (80%) constraints
2.46/1.35 c (0,0) translated 317 (90%) constraints
2.46/1.35 c (0,0) translated 352 (100%) constraints
2.46/1.36 c (0,0) CSP to CSPinCNF End
2.46/1.36 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 335
2.46/1.36 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.46/1.36 c (0,0) CSPinCNF Propagation Begin
2.46/1.38 c (0,0) 0 values, 8 unsatisfiable literals, and 51 valid clauses are removed
2.46/1.38 c (0,0) CSPinCNF Propagation End
2.46/1.39 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 335
2.46/1.39 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.46/1.39 c (0,0) Hybrid: #OE=50, #LE=0
2.46/1.39 c (0,0) Simplify CSPinCNF Begin
2.79/1.48 c (0,0) Simplify CSPinCNF End
2.79/1.49 c (0,0) CSP: 50 int (0 aux), 1192 bool (1192 aux), 1493 ctr, max domain size 335
2.79/1.49 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.79/1.49 c (0,0) Calculate Precise Domain Begin
2.79/1.49 c (0,0) 0 values are removed by re-calculation
2.79/1.49 c (0,0) Calculate Precise Domain End
2.79/1.49 c (0,0) CSP: 50 int (0 aux), 1192 bool (1192 aux), 1493 ctr, max domain size 335
2.79/1.49 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.79/1.49 c (0,0) CSPinCNF to SatSolver Begin
4.25/1.94 c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 48680 SAT clauses)
4.58/2.10 c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 82256 SAT clauses)
4.90/2.23 c (1,1) 448 (30 %) CSP clauses are encoded (0 SAT variables, 113495 SAT clauses)
5.03/2.37 c (1,1) 598 (40 %) CSP clauses are encoded (0 SAT variables, 146030 SAT clauses)
5.16/2.49 c (1,1) 747 (50 %) CSP clauses are encoded (0 SAT variables, 175578 SAT clauses)
5.38/2.61 c (2,2) 896 (60 %) CSP clauses are encoded (0 SAT variables, 205031 SAT clauses)
5.49/2.72 c (2,2) 1046 (70 %) CSP clauses are encoded (0 SAT variables, 232037 SAT clauses)
5.61/2.83 c (2,2) 1195 (80 %) CSP clauses are encoded (0 SAT variables, 258078 SAT clauses)
5.78/3.09 c (2,2) 1344 (90 %) CSP clauses are encoded (0 SAT variables, 280743 SAT clauses)
5.80/3.12 c (2,2) 1493 (100 %) CSP clauses are encoded (0 SAT variables, 296506 SAT clauses)
5.80/3.12 c (2,2) CSPinCNF to SatSolver End
5.80/3.12 c (2,2) Heap : 1239 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.80/3.12 c (2,2) 15376 bool, 296582 clause
5.80/3.12 c (2,2) Export Begin
5.97/3.20 c (2,2) Export to HOME/scop-11287-serial-file.bin
5.97/3.20 c (2,2) Export End
5.97/3.20 c (2,2) Export File Size: 0.01 MB
5.97/3.20 c (2,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS)
5.97/3.20 c END-Prog: Thu Sep 12 14:37:01 CEST 2019
5.97/3.23 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-11287-serial-file.bin
6.00/3.69 c (0,0) Read Serial File Begin
6.00/3.69 c (0,0) HOME/scop-11287-serial-file.bin
6.00/3.88 c (0,0) Read Serial File End
6.00/3.90
6.00/3.90 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
6.00/3.90 (Solving Process)
6.00/3.90
6.00/3.92 c BEGIN-Prog: Thu Sep 12 14:37:02 CEST 2019
6.00/3.92 c PID: 11305
6.00/3.92 c IP: 172.20.3.140
6.00/3.92 c HOST: node140.alineos.net
6.00/3.92 c (0,0) SatSolver.solve Begin
6.00/3.92 c (0,0) HOME/cryptominisat5 HOME/instance-4387891-1568291858.xml-scop-11290.cnf
6.00/3.95 c (0,0) c Outputting solution to console
6.00/3.95 c (0,0) c CryptoMiniSat version 5.6.8
6.00/3.95 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
6.00/3.95 c (0,0) c CMS SHA revision GIT-notfound
6.00/3.95 c (0,0) c CMS is MIT licensed
6.00/3.95 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
6.00/3.95 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
6.00/3.95 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387891-1568291858.xml-scop-11290.cnf
6.00/3.95 c (0,0) c Reading file 'HOME/instance-4387891-1568291858.xml-scop-11290.cnf'
6.00/3.95 c (0,0) c -- header says num vars: 15376
6.00/3.95 c (0,0) c -- header says num clauses: 296582
7.17/4.06 c (0,0) c -- clauses added: 296582
7.17/4.06 c (0,0) c -- xor clauses added: 0
7.17/4.06 c (0,0) c -- vars added 15376
7.17/4.06 c (0,0) c Parsing time: 0.09 s
7.17/4.08 c (0,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
7.17/4.08 c (0,0) c [distill] long cls tried: 3/3 cl-short:3 lit-r:6 T: 0.00 T-out: N T-r: 99.99%
7.47/4.37 c (0,0) c [distill] long cls tried: 154/157 cl-short:154 lit-r:107 T: 0.02 T-out: N T-r: 99.69%
7.88/4.76 c (1,0) c [distill] long cls tried: 156/310 cl-short:156 lit-r:88 T: 0.03 T-out: N T-r: 99.64%
8.08/4.91 c (1,0) c glue 1 53 8193 15276 280K 16558 3.00 2.95 367 2883 4935 10 20.80 20.77
8.78/5.60 c (1,0) c [distill] long cls tried: 1596/1899 cl-short:1595 lit-r:1868 T: 0.31 T-out: N T-r: 95.66%
9.29/6.17 c (2,0) c geom 1 100 16386 15260 280K 16558 3.00 2.95 2226 5900 8253 17 22.98 22.96
9.48/6.31 c (2,0) c [distill] long cls tried: 332/2229 cl-short:332 lit-r:571 T: 0.10 T-out: N T-r: 98.72%
10.78/7.63 c (4,0) c [distill] long cls tried: 1541/3746 cl-short:1541 lit-r:2714 T: 0.49 T-out: N T-r: 93.89%
10.98/7.85 c (4,0) c glue 1 145 24K 15260 280K 16558 3.00 2.95 3765 6673 14148 51 24.77 24.72
12.67/9.55 c (5,0) c [distill] long cls tried: 1629/5363 cl-short:1629 lit-r:3661 T: 0.72 T-out: N T-r: 92.08%
12.97/9.88 c (6,0) c glue 1 195 32K 15260 280K 16558 3.00 2.95 5403 9545 17185 63 26.14 26.09
15.19/12.09 c (8,0) c [distill] long cls tried: 1510/6868 cl-short:1510 lit-r:2948 T: 0.84 T-out: N T-r: 91.37%
15.38/12.26 c (8,0) c glue 1 232 40K 15260 280K 16558 3.00 2.95 6882 8256 25K 68 27.77 27.73
17.07/13.99 c (10,0) c glue 1 272 49K 15260 280K 16558 3.00 2.95 7266 12225 24K 75 28.30 28.26
18.77/15.62 c (12,0) c [distill] long cls tried: 1640/8494 cl-short:1640 lit-r:4450 T: 1.11 T-out: N T-r: 88.87%
19.97/16.81 c (13,0) c geom 1 312 57K 15260 280K 16558 3.00 2.95 8593 10249 33K 91 29.40 29.35
22.98/19.85 c (16,0) c [distill] long cls tried: 1505/9986 cl-short:1505 lit-r:3592 T: 1.16 T-out: N T-r: 88.58%
23.20/20.05 c (16,0) c glue 1 365 65K 15260 280K 16558 3.00 2.95 9995 10973 33K 105 29.36 29.31
24.39/21.21 c (17,0) c recursive minimization cost OK: 2764Kcost/(% lits removed)
24.39/21.21 c (17,0) c more minimization effectiveness low: 0.00 % lits removed --> disabling
24.39/21.21 c (17,0) c --> Executing strategy token: handle-comps
24.39/21.21 c (17,0) c --> Executing strategy token: scc-vrepl
24.39/21.21 c (17,0) c [scc] new: 0 BP 0M T: 0.01
24.39/21.23 c (17,0) c --> Executing strategy token: cache-clean
24.39/21.23 c (17,0) c --> Executing strategy token: cache-tryboth
24.39/21.23 c (17,0) c --> Executing strategy token: sub-impl
24.39/21.23 c (17,0) c [impl sub] bin: 16 T: 0.01 T-out: N w-visit: 30752
24.39/21.25 c (17,0) c --> Executing strategy token: intree-probe
24.39/21.25 c (17,0) c [scc] new: 0 BP 0M T: 0.00
24.39/21.27 c (17,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 1M T: 0.02
24.59/21.41 c (17,0) c [intree] Set 0 vars hyper-added: 68 trans-irred::315 trans-red::29 T: 0.14 T-out: N T-r: 99.35%
24.89/21.79 c (18,0) c --> Executing strategy token: probe
24.89/21.79 c (18,0) c --> Executing strategy token: sub-str-cls-with-bin
24.89/21.79 c (18,0) c [distill] cache-based irred-- cl tried 490765 cl-sh 0 cl-rem 22 lit-rem 0 T: 0.34 T-out: Y
24.89/21.79 c (18,0) c [distill] cache-based red-- cl tried 22359 cl-sh 143 cl-rem 25 lit-rem 156 T: 0.03 T-out: N
25.99/22.85 c (19,0) c --> Executing strategy token: distill-cls
25.99/22.85 c (19,0) c [distill] long cls tried: 2038/276662 cl-short:232 lit-r:34 T: 1.06 T-out: Y T-r: -0.08%
25.99/22.85 c (19,0) c [distill] long useful: 464/4076/553392 lits-rem: 68 0-depth-assigns: 0 T: 2.12 T-out: Y
25.99/22.86 c (19,0) c --> Executing strategy token: scc-vrepl
25.99/22.86 c (19,0) c [scc] new: 112 BP 0M T: 0.00
26.09/22.91 c (19,0) c [vrep] vars 77 lits 15561 rem-bin-cls 305 rem-long-cls 19 BP 1M T: 0.06
26.09/22.93 c (19,0) c --> Executing strategy token: sub-impl
26.09/22.93 c (19,0) c [impl sub] bin: 3 T: 0.02 T-out: N w-visit: 30752
26.09/22.93 c (19,0) c --> Executing strategy token: str-impl
26.09/22.93 c (19,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.74% w-visit: 30752
26.09/22.95 c (19,0) c --> Executing strategy token: sub-impl
26.09/22.95 c (19,0) c [impl sub] bin: 0 T: 0.02 T-out: N w-visit: 30752
26.09/22.98 c (19,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
26.09/22.98 c (19,0) c [occ] mem usage for occur 26 MB
26.22/23.04 c (19,0) c [occ] mem usage for occur 4 MB
26.22/23.10 c (19,0) c Mem for watch alloc : 22 MB (36.87 %)
26.22/23.10 c (19,0) c Mem for watch array : 0 MB (1.13 %)
26.32/23.12 c (19,0) c --> Executing OCC strategy token: occ-backw-sub-str
26.32/23.12 c (19,0) c [occ-backw-sub-str-long-w-bins] subs: 257 str: 65 tried: 32862 0-depth ass: 0 T: 0.02 T-out: N T-r: 99.30%
26.51/23.39 c (19,0) c [occ-sub-long-w-long] rem cl: 175 tried: 671600/335800 (200.0%) T: 0.27 T-out: N T-r: 64.78%
27.11/23.93 c (20,0) c [occ-sub-str-long-w-long] sub: 1 str: 87 tried: 1007400/335800 (300.0) T: 0.53 T-out: N T-r: 60.53%
27.11/23.94 c (20,0) c --> Executing OCC strategy token: occ-clean-implicit
27.11/23.94 c (20,0) c --> Executing OCC strategy token: occ-bve
27.11/23.94 c (20,0) c [occ-empty-res] Empty resolvent elimed: 0 T: 0.01 T-out: N
27.71/24.58 c (20,0) c [occ-bve] iter v-elim 425
27.71/24.58 c (20,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=0)
27.71/24.58 c (20,0) c Reduced to 14758 vars, 292283 cls (grow=0)
27.91/24.77 c (21,0) c [occ-bve] iter v-elim 0
27.91/24.77 c (21,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=8)
27.91/24.78 c (21,0) c Reduced to 14758 vars, 292283 cls (grow=8)
28.11/24.98 c (21,0) c [occ-bve] iter v-elim 0
28.11/24.98 c (21,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=16)
28.11/24.98 c (21,0) c Reduced to 14758 vars, 292283 cls (grow=16)
28.11/24.98 c (21,0) c x n vars : 14758
28.11/24.98 c (21,0) c #try to eliminate: 59K
28.11/24.98 c (21,0) c #var-elim : 425
28.11/24.98 c (21,0) c #T-o: N
28.11/24.98 c (21,0) c #T-r: 99.87%
28.11/24.98 c (21,0) c #T : 1.04
28.11/24.98 c (21,0) c [occur] 0.13 is overhead
28.11/24.98 c (21,0) c [occur] link-in T: 0.13 cleanup T: 0.00
28.11/24.98 c (21,0) c --> Executing OCC strategy token: occ-bva
28.11/24.98 c (21,0) c [occ-bva] global numcalls: 0
28.22/25.02 c (21,0) c --> Executing OCC strategy token: occ-ternary-res
28.22/25.02 c (21,0) c --> Executing OCC strategy token: occ-xor
28.22/25.02 c (21,0) c [occ-xor] sort occur list T: 0.04
28.52/25.30 c (21,0) c [occ-xor] found 0 T: 0.31 T-out: N T-r: 96.14%
28.52/25.30 c (21,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
28.52/25.39 c (21,0) c --> Executing strategy token: cl-consolidate
28.52/25.39 c (21,0) c [mem] consolidate old-sz: 25M new-sz: 11856K new bits offs: 0 T: 0.02
28.52/25.39 c (21,0) c --> Executing strategy token: str-impl
28.52/25.39 c (21,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.77% w-visit: 30752
28.81/25.65 c (22,0) c --> Executing strategy token: cache-clean
28.81/25.65 c (22,0) c --> Executing strategy token: sub-str-cls-with-bin
28.81/25.65 c (22,0) c [distill] cache-based irred-- cl tried 553375 cl-sh 0 cl-rem 27 lit-rem 0 T: 0.24 T-out: N
28.81/25.65 c (22,0) c [distill] cache-based red-- cl tried 4581 cl-sh 2 cl-rem 1 lit-rem 4 T: 0.00 T-out: N
29.82/26.69 c (23,0) c --> Executing strategy token: distill-cls
29.82/26.69 c (23,0) c [distill] long cls tried: 2445/276662 cl-short:218 lit-r:39 T: 1.04 T-out: Y T-r: -0.06%
29.82/26.69 c (23,0) c [distill] long useful: 436/4890/553348 lits-rem: 78 0-depth-assigns: 0 T: 2.08 T-out: Y
29.82/26.69 c (23,0) c --> Executing strategy token: scc-vrepl
29.82/26.69 c (23,0) c [scc] new: 0 BP 0M T: 0.00
29.82/26.69 c (23,0) c --> Executing strategy token: check-cache-size
29.82/26.69 c (23,0) c --> Executing strategy token: renumber
29.82/26.69 c (23,0) c --> Executing strategy token: sls
29.82/26.69 c (23,0) c [consolidate] mini T: 0.00
29.82/26.69 c (23,0) c global_timeout_multiplier: 4.40
29.92/26.70 c (23,0) c clause size stats. size3: 207132 size4: 1190 size5: 68340 larger: 0
30.73/27.57 c (23,0) c luby 0 410 73K 14758 276K 15595 3.50 3.42 2351 1800 3356 76 16.22 16.08
33.13/29.98 c (26,0) c [distill] long cls tried: 1384/3466 cl-short:1373 lit-r:1911 T: 0.60 T-out: N T-r: 93.58%
33.34/30.12 c (26,0) c luby 0 442 81K 14758 276K 15595 3.50 3.42 3473 2700 9526 91 20.94 20.84
35.23/32.03 c (28,0) c luby 0 460 90K 14758 276K 15595 3.50 3.42 4319 4578 14995 92 24.26 24.18
37.03/33.87 c (30,0) c luby 0 492 98K 14758 276K 15595 3.50 3.42 4349 5010 22K 92 26.22 26.15
38.23/35.09 c (31,0) c [distill] long cls tried: 1261/4721 cl-short:1259 lit-r:1630 T: 0.69 T-out: N T-r: 93.19%
39.72/36.53 c (32,0) c luby 0 517 106K 14758 276K 15595 3.50 3.42 4837 6062 26K 98 26.53 26.47
41.82/38.68 c (35,0) c luby 0 518 114K 14758 276K 15595 3.50 3.42 5284 4375 36K 98 27.79 27.73
44.25/41.09 c (37,0) c luby 0 549 122K 14758 276K 15595 3.50 3.42 5905 5386 35K 98 29.04 28.99
45.54/42.32 c (38,0) c [distill] long cls tried: 1189/5907 cl-short:1189 lit-r:1753 T: 0.84 T-out: N T-r: 92.51%
47.64/44.44 c (40,0) c luby 0 580 131K 14758 276K 15595 3.50 3.42 6362 4839 43K 101 30.65 30.60
50.25/47.06 c (43,0) c luby 0 606 139K 14758 276K 15595 3.50 3.42 6555 7301 36K 101 30.59 30.53
52.25/49.11 c (45,0) c ------- FINAL TOTAL SEARCH STATS ---------
52.25/49.11 c (45,0) c UIP search time : 39.49 (87.61 % time)
52.25/49.11 c (45,0) c restarts : 626 (231.56 confls per restart)
52.25/49.11 c (45,0) c blocked restarts : 68 (0.11 per normal restart)
52.25/49.11 c (45,0) c time : 39.49
52.25/49.11 c (45,0) c decisions : 286318 (0.00 % random)
52.25/49.11 c (45,0) c propagations : 128851734
52.25/49.11 c (45,0) c decisions/conflicts : 1.98
52.25/49.11 c (45,0) c conflicts : 144959 (3670.81 / sec)
52.25/49.11 c (45,0) c conf lits non-minim : 7649774 (52.77 lit/confl)
52.25/49.11 c (45,0) c conf lits final : 32.03
52.25/49.11 c (45,0) c cache hit re-learnt cl : 0 (0.00 % of confl)
52.25/49.11 c (45,0) c red which0 : 2076 (1.43 % of confl)
52.35/49.11 c (45,0) c props/decision : 0.00
52.35/49.11 c (45,0) c props/conflict : 0.00
52.35/49.11 c (45,0) c 0-depth assigns : 116 (0.75 % vars)
52.35/49.11 c (45,0) c 0-depth assigns by CNF : 0 (0.00 % vars)
52.35/49.11 c (45,0) c reduceDB time : 0.04 (0.09 % time)
52.35/49.11 c (45,0) c OccSimplifier time : 1.31 (2.91 % time)
52.35/49.11 c (45,0) c [occur] 0.19 is overhead
52.35/49.11 c (45,0) c [occur] link-in T: 0.13 cleanup T: 0.06
52.35/49.11 c (45,0) c [occ-substr] long subBySub: 175 subByStr: 1 lits-rem-str: 239 T: 0.80
52.35/49.11 c (45,0) c SCC time : 0.02 (0.04 % time)
52.35/49.11 c (45,0) c [scc] new: 112 BP 0M T: 0.02
52.35/49.11 c (45,0) c vrep replace time : 0.08 (0.18 % time)
52.35/49.11 c (45,0) c vrep tree roots : 4
52.35/49.11 c (45,0) c vrep trees' crown : 77 (19.25 leafs/tree)
52.35/49.11 c (45,0) c distill time : 11.11 (24.64 % time)
52.35/49.11 c (45,0) c strength cache-irred time: 0.57 (1.27 % time)
52.35/49.11 c (45,0) c strength cache-red time : 0.03 (0.08 % time)
52.35/49.11 c (45,0) c Conflicts in UIP : 144959 (3216.02 confl/time_this_thread)
52.35/49.11 c (45,0) c Mem used : 72.94 MB
52.35/49.11 c (45,0) c Total time (this thread) : 45.07
52.35/49.11 c (45,0) s SATISFIABLE
52.68/49.21 c (45,0) SatSolver.solve End
52.68/49.21 c (45,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
52.68/49.21 c (45,0) Show results Begin
52.96/49.30 c (45,0) x[0] = 224
52.96/49.30 c (45,0) x[1] = 105
52.96/49.30 c (45,0) x[2] = 101
52.96/49.30 c (45,0) x[3] = 101
52.96/49.30 c (45,0) x[4] = 176
52.96/49.30 c (45,0) x[5] = 108
52.96/49.31 c (45,0) x[6] = 118
52.96/49.31 c (45,0) x[7] = 101
52.96/49.31 c (45,0) x[8] = 79
52.96/49.31 c (45,0) x[9] = 105
52.96/49.31 c (45,0) x[10] = 73
52.96/49.31 c (45,0) x[11] = 226
52.96/49.31 c (45,0) x[12] = 224
52.96/49.31 c (45,0) x[13] = 184
52.96/49.31 c (45,0) x[14] = 73
52.96/49.31 c (45,0) x[15] = 176
52.96/49.31 c (45,0) x[16] = 79
52.96/49.31 c (45,0) x[17] = 118
52.96/49.31 c (45,0) x[18] = 0
52.96/49.31 c (45,0) x[19] = 262
52.96/49.31 c (45,0) x[20] = 0
52.96/49.31 c (45,0) x[21] = 132
52.96/49.31 c (45,0) x[22] = 226
52.96/49.31 c (45,0) x[23] = 184
52.96/49.31 c (45,0) x[24] = 0
52.96/49.31 c (45,0) y[0] = 190
52.96/49.31 c (45,0) y[1] = 253
52.96/49.31 c (45,0) y[2] = 253
52.96/49.31 c (45,0) y[3] = 246
52.96/49.31 c (45,0) y[4] = 184
52.96/49.31 c (45,0) y[5] = 246
52.96/49.31 c (45,0) y[6] = 242
52.96/49.31 c (45,0) y[7] = 229
52.96/49.31 c (45,0) y[8] = 257
52.96/49.31 c (45,0) y[9] = 256
52.96/49.31 c (45,0) y[10] = 229
52.96/49.31 c (45,0) y[11] = 190
52.96/49.31 c (45,0) y[12] = 152
52.96/49.31 c (45,0) y[13] = 152
52.96/49.31 c (45,0) y[14] = 184
52.96/49.31 c (45,0) y[15] = 192
52.96/49.31 c (45,0) y[16] = 283
52.96/49.31 c (45,0) y[17] = 184
52.96/49.31 c (45,0) y[18] = 184
52.96/49.31 c (45,0) y[19] = 152
52.96/49.31 c (45,0) y[20] = 257
52.96/49.31 c (45,0) y[21] = 242
52.96/49.31 c (45,0) y[22] = 226
52.96/49.31 c (45,0) y[23] = 0
52.96/49.31 c (45,0) y[24] = 0
52.96/49.31 s SATISFIABLE
52.96/49.31 v <instantiation>
52.96/49.31 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] 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]</list>
52.96/49.31 v <values>224 105 101 101 176 108 118 101 79 105 73 226 224 184 73 176 79 118 0 262 0 132 226 184 0 190 253 253 246 184 246 242 229 257 256 229 190 152 152 184 192 283 184 184 152 257 242 226 0 0</values>
52.96/49.31 v </instantiation>
52.96/49.31 c (45,0) Show results End
52.96/49.31 c (45,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
52.96/49.31 c (45,0) 45,45,STOP-AFTER(ALL)
52.96/49.31 c END-Prog: Thu Sep 12 14:37:47 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 (9593 MiB free)
memory of node 1: 16384 MiB (6155 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387891-1568291858/watcher-4387891-1568291858 -o /tmp/evaluation-result-4387891-1568291858/solver-4387891-1568291858 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568286731-10041 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387891-1568291858.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=11287, runsolver pid=11284
Current StackSize limit: 8192 KiB
[startup+0.100069 s]*
/proc/loadavg: 1.87 1.99 2.00 4/234 11304
/proc/meminfo: memFree=16064244/32770624 swapFree=66999124/67108860
[pid=11287] ppid=11284 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11287/stat : 11287 (scop.sh) S 11284 11287 9001 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 405124244 115843072 349 33554432000 4194304 5098028 140721165566720 140721165563976 140075378487932 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17129472 140721165570915 140721165571184 140721165571184 140721165574093 0
/proc/11287/statm: 28282 349 296 221 0 87 0
[pid=11290] ppid=11287 vsize=15012696 memory=75956 CPUtime=0.11 cores=0,2,4,6
/proc/11290/stat : 11290 (java) S 11287 11287 9001 0 -1 1077944320 6717 0 0 0 9 2 0 0 20 0 15 0 405124244 15373000704 18989 33554432000 4194304 4196468 140731589522640 140731589505184 139865971662583 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
/proc/11290/statm: 3753174 18989 2917 1 0 3715579 0
[pid=11290/tid=11291] ppid=11287 vsize=15012696 memory=-6221297119156027327 CPUtime=0.09 cores=0,2,4,6
/proc/11290/task/11291/stat : 11291 (java) R 11287 11287 9001 0 -1 4202560 4559 0 0 0 7 2 0 0 20 0 15 0 405124244 15373000704 19055 33554432000 4194304 4196468 140731589522640 139865943446552 139865951939408 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11292] ppid=11287 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11292/stat : 11292 (java) S 11287 11287 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405124246 15373000704 19055 33554432000 4194304 4196468 140731589522640 139865975905168 139865971672789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11293] ppid=11287 vsize=15012696 memory=139785009223296 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11293/stat : 11293 (java) S 11287 11287 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405124246 15373000704 19055 33554432000 4194304 4196468 140731589522640 139865751608080 139865971672789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11294] ppid=11287 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11294/stat : 11294 (java) S 11287 11287 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405124246 15373000704 19055 33554432000 4194304 4196468 140731589522640 139865750555792 139865971672789 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11295] ppid=11287 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11295/stat : 11295 (java) S 11287 11287 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405124246 15373000704 19055 33554432000 4194304 4196468 140731589522640 139865749502992 139865971672789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11296] ppid=11287 vsize=15012696 memory=139785009223296 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11296/stat : 11296 (java) S 11287 11287 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405124247 15373000704 19055 33554432000 4194304 4196468 140731589522640 139865009092720 139865971673730 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11297] ppid=11287 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11297/stat : 11297 (java) S 11287 11287 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405124248 15373000704 19055 33554432000 4194304 4196468 140731589522640 139864536245024 139865971672789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11298] ppid=11287 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11298/stat : 11298 (java) S 11287 11287 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405124248 15373000704 19055 33554432000 4194304 4196468 140731589522640 139864267809904 139865971672789 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11299] ppid=11287 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11299/stat : 11299 (java) S 11287 11287 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405124251 15373000704 19055 33554432000 4194304 4196468 140731589522640 139863893301328 139865971681179 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11300] ppid=11287 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11300/stat : 11300 (java) S 11287 11287 9001 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 15 0 405124251 15373000704 19055 33554432000 4194304 4196468 140731589522640 139865008040560 139865971673730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11301] ppid=11287 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11301/stat : 11301 (java) S 11287 11287 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405124251 15373000704 19055 33554432000 4194304 4196468 140731589522640 139864938899952 139865971673730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11302] ppid=11287 vsize=15012696 memory=139785009223296 CPUtime=0.01 cores=0,2,4,6
/proc/11290/task/11302/stat : 11302 (java) R 11287 11287 9001 0 -1 4202560 431 0 0 0 1 0 0 0 20 0 15 0 405124251 15373000704 19055 33554432000 4194304 4196468 140731589522640 139864937847664 139865963899710 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11303] ppid=11287 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11303/stat : 11303 (java) S 11287 11287 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405124251 15373000704 19055 33554432000 4194304 4196468 140731589522640 139863395396576 139865971672789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11304] ppid=11287 vsize=15012696 memory=139785009223296 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11304/stat : 11304 (java) S 11287 11287 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405124251 15373000704 19055 33554432000 4194304 4196468 140731589522640 139864936794544 139865971673730 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 77352 KiB
[startup+0.211083 s]*
/proc/loadavg: 1.87 1.99 2.00 3/234 11304
/proc/meminfo: memFree=16044524/32770624 swapFree=66999124/67108860
[pid=11287] ppid=11284 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11287/stat : 11287 (scop.sh) S 11284 11287 9001 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 405124244 115843072 349 33554432000 4194304 5098028 140721165566720 140721165563976 140075378487932 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17129472 140721165570915 140721165571184 140721165571184 140721165574093 0
/proc/11287/statm: 28282 349 296 221 0 87 0
[pid=11290] ppid=11287 vsize=15012696 memory=91320 CPUtime=0.25 cores=0,2,4,6
/proc/11290/stat : 11290 (java) S 11287 11287 9001 0 -1 1077944320 11838 0 0 0 21 4 0 0 20 0 15 0 405124244 15373000704 22830 33554432000 4194304 4196468 140731589522640 140731589505184 139865971662583 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
/proc/11290/statm: 3753174 22830 2976 1 0 3715579 0
[pid=11290/tid=11291] ppid=11287 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/11290/task/11291/stat : 11291 (java) R 11287 11287 9001 0 -1 4202560 9587 0 0 0 17 3 0 0 20 0 15 0 405124244 15373000704 22830 33554432000 4194304 4196468 140731589522640 139865943486160 139865971674518 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11292] ppid=11287 vsize=15012696 memory=398 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11292/stat : 11292 (java) S 11287 11287 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405124246 15373000704 22830 33554432000 4194304 4196468 140731589522640 139865975905168 139865971672789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11293] ppid=11287 vsize=15012696 memory=139785009234646 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11293/stat : 11293 (java) S 11287 11287 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405124246 15373000704 22830 33554432000 4194304 4196468 140731589522640 139865751608080 139865971672789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11294] ppid=11287 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11294/stat : 11294 (java) S 11287 11287 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405124246 15373000704 22830 33554432000 4194304 4196468 140731589522640 139865750555792 139865971672789 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11295] ppid=11287 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11295/stat : 11295 (java) S 11287 11287 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405124246 15373000704 22830 33554432000 4194304 4196468 140731589522640 139865749502992 139865971672789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11296] ppid=11287 vsize=15012696 memory=139785009223296 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11296/stat : 11296 (java) S 11287 11287 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405124247 15373000704 22830 33554432000 4194304 4196468 140731589522640 139865009092720 139865971673730 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11297] ppid=11287 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11297/stat : 11297 (java) S 11287 11287 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405124248 15373000704 22830 33554432000 4194304 4196468 140731589522640 139864536245024 139865971672789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11298] ppid=11287 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11298/stat : 11298 (java) S 11287 11287 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405124248 15373000704 22830 33554432000 4194304 4196468 140731589522640 139864267809904 139865971672789 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11299] ppid=11287 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11299/stat : 11299 (java) S 11287 11287 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405124251 15373000704 22830 33554432000 4194304 4196468 140731589522640 139863893301328 139865971681179 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11300] ppid=11287 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11300/stat : 11300 (java) S 11287 11287 9001 0 -1 1077944384 465 0 0 0 0 0 0 0 20 0 15 0 405124251 15373000704 22830 33554432000 4194304 4196468 140731589522640 139865008040560 139865971673730 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11301] ppid=11287 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11301/stat : 11301 (java) S 11287 11287 9001 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 405124251 15373000704 22830 33554432000 4194304 4196468 140731589522640 139864938899952 139865971673730 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11302] ppid=11287 vsize=15012696 memory=139785009223296 CPUtime=0.03 cores=0,2,4,6
/proc/11290/task/11302/stat : 11302 (java) R 11287 11287 9001 0 -1 4202560 438 0 0 0 3 0 0 0 20 0 15 0 405124251 15373000704 22830 33554432000 4194304 4196468 140731589522640 139864937847664 139865957343872 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11303] ppid=11287 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11303/stat : 11303 (java) S 11287 11287 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405124251 15373000704 22830 33554432000 4194304 4196468 140731589522640 139863395396576 139865971672789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11304] ppid=11287 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11304/stat : 11304 (java) S 11287 11287 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405124251 15373000704 22830 33554432000 4194304 4196468 140731589522640 139864936794544 139865971673730 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 92716 KiB
[startup+0.31089 s]*
/proc/loadavg: 1.87 1.99 2.00 3/234 11304
/proc/meminfo: memFree=16042396/32770624 swapFree=66999124/67108860
[pid=11287] ppid=11284 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11287/stat : 11287 (scop.sh) S 11284 11287 9001 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 405124244 115843072 349 33554432000 4194304 5098028 140721165566720 140721165563976 140075378487932 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17129472 140721165570915 140721165571184 140721165571184 140721165574093 0
/proc/11287/statm: 28282 349 296 221 0 87 0
[pid=11290] ppid=11287 vsize=15012696 memory=94400 CPUtime=0.43 cores=0,2,4,6
/proc/11290/stat : 11290 (java) S 11287 11287 9001 0 -1 1077944320 12191 0 0 0 39 4 0 0 20 0 15 0 405124244 15373000704 23600 33554432000 4194304 4196468 140731589522640 140731589505184 139865971662583 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
/proc/11290/statm: 3753174 23600 3013 1 0 3715579 0
[pid=11290/tid=11291] ppid=11287 vsize=15012696 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/11290/task/11291/stat : 11291 (java) R 11287 11287 9001 0 -1 4202560 9767 0 0 0 26 3 0 0 20 0 15 0 405124244 15373000704 23600 33554432000 4194304 4196468 140731589522640 139865943489168 139865951937970 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11292] ppid=11287 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11292/stat : 11292 (java) S 11287 11287 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405124246 15373000704 23600 33554432000 4194304 4196468 140731589522640 139865975905168 139865971672789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11293] ppid=11287 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11293/stat : 11293 (java) S 11287 11287 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405124246 15373000704 23600 33554432000 4194304 4196468 140731589522640 139865751608080 139865971672789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11294] ppid=11287 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11294/stat : 11294 (java) S 11287 11287 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405124246 15373000704 23600 33554432000 4194304 4196468 140731589522640 139865750555792 139865971672789 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11295] ppid=11287 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11295/stat : 11295 (java) S 11287 11287 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405124246 15373000704 23600 33554432000 4194304 4196468 140731589522640 139865749502992 139865971672789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11296] ppid=11287 vsize=15012696 memory=4498404016631593313 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11296/stat : 11296 (java) S 11287 11287 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405124247 15373000704 23600 33554432000 4194304 4196468 140731589522640 139865009092720 139865971673730 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11297] ppid=11287 vsize=15012696 memory=-6519613052471072158 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11297/stat : 11297 (java) S 11287 11287 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405124248 15373000704 23600 33554432000 4194304 4196468 140731589522640 139864536245024 139865971672789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11298] ppid=11287 vsize=15012696 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11298/stat : 11298 (java) S 11287 11287 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405124248 15373000704 23600 33554432000 4194304 4196468 140731589522640 139864267809904 139865971672789 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11299] ppid=11287 vsize=15012696 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11299/stat : 11299 (java) S 11287 11287 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405124251 15373000704 23600 33554432000 4194304 4196468 140731589522640 139863893301328 139865971681179 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11300] ppid=11287 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/11290/task/11300/stat : 11300 (java) S 11287 11287 9001 0 -1 1077944384 519 0 0 0 1 0 0 0 20 0 15 0 405124251 15373000704 23600 33554432000 4194304 4196468 140731589522640 139865008040560 139865971673730 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11301] ppid=11287 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11290/task/11301/stat : 11301 (java) S 11287 11287 9001 0 -1 1077944384 115 0 0 0 2 0 0 0 20 0 15 0 405124251 15373000704 23600 33554432000 4194304 4196468 140731589522640 139864938899952 139865971673730 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11302] ppid=11287 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11290/task/11302/stat : 11302 (java) S 11287 11287 9001 0 -1 1077944384 459 0 0 0 7 0 0 0 20 0 15 0 405124251 15373000704 23600 33554432000 4194304 4196468 140731589522640 139864937847664 139865971673730 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11303] ppid=11287 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11303/stat : 11303 (java) S 11287 11287 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405124251 15373000704 23600 33554432000 4194304 4196468 140731589522640 139863395396576 139865971672789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11304] ppid=11287 vsize=15012696 memory=3834024753814844464 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11304/stat : 11304 (java) S 11287 11287 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405124251 15373000704 23600 33554432000 4194304 4196468 140731589522640 139864936794544 139865971673730 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 95796 KiB
[startup+0.705448 s]
/proc/loadavg: 1.87 1.99 2.00 3/234 11304
/proc/meminfo: memFree=16020816/32770624 swapFree=66999124/67108860
[pid=11287] ppid=11284 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11287/stat : 11287 (scop.sh) S 11284 11287 9001 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 405124244 115843072 349 33554432000 4194304 5098028 140721165566720 140721165563976 140075378487932 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17129472 140721165570915 140721165571184 140721165571184 140721165574093 0
/proc/11287/statm: 28282 349 296 221 0 87 0
[pid=11290] ppid=11287 vsize=15021092 memory=132168 CPUtime=1.02 cores=0,2,4,6
/proc/11290/stat : 11290 (java) S 11287 11287 9001 0 -1 1077944320 19965 0 0 0 95 7 0 0 20 0 15 0 405124244 15381598208 33042 33554432000 4194304 4196468 140731589522640 140731589505184 139865971662583 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
/proc/11290/statm: 3755273 33042 3201 1 0 3716603 0
[pid=11290/tid=11291] ppid=11287 vsize=15021092 memory=2372 CPUtime=0.68 cores=0,2,4,6
/proc/11290/task/11291/stat : 11291 (java) R 11287 11287 9001 0 -1 4202560 17026 0 0 0 62 6 0 0 20 0 15 0 405124244 15381598208 33042 33554432000 4194304 4196468 140731589522640 139865943495824 139865971674518 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11292] ppid=11287 vsize=15021092 memory=116 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11292/stat : 11292 (java) S 11287 11287 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405124246 15381598208 33042 33554432000 4194304 4196468 140731589522640 139865975905168 139865971672789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11293] ppid=11287 vsize=15021092 memory=2129119 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11293/stat : 11293 (java) S 11287 11287 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405124246 15381598208 33042 33554432000 4194304 4196468 140731589522640 139865751608080 139865971672789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11294] ppid=11287 vsize=15021092 memory=2141618 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11294/stat : 11294 (java) S 11287 11287 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405124246 15381598208 33042 33554432000 4194304 4196468 140731589522640 139865750555792 139865971672789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11295] ppid=11287 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11295/stat : 11295 (java) S 11287 11287 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405124246 15381598208 33042 33554432000 4194304 4196468 140731589522640 139865749502992 139865971672789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11296] ppid=11287 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11296/stat : 11296 (java) S 11287 11287 9001 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405124247 15381598208 33042 33554432000 4194304 4196468 140731589522640 139865009092720 139865971673730 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11297] ppid=11287 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11297/stat : 11297 (java) S 11287 11287 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405124248 15381598208 33042 33554432000 4194304 4196468 140731589522640 139864536245024 139865971672789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11298] ppid=11287 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11298/stat : 11298 (java) S 11287 11287 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405124248 15381598208 33042 33554432000 4194304 4196468 140731589522640 139864267809904 139865971672789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11299] ppid=11287 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11299/stat : 11299 (java) S 11287 11287 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405124251 15381598208 33042 33554432000 4194304 4196468 140731589522640 139863893301328 139865971681179 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11300] ppid=11287 vsize=15021092 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/11290/task/11300/stat : 11300 (java) S 11287 11287 9001 0 -1 1077944384 721 0 0 0 6 0 0 0 20 0 15 0 405124251 15381598208 33042 33554432000 4194304 4196468 140731589522640 139865008040560 139865971673730 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11301] ppid=11287 vsize=15021092 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/11290/task/11301/stat : 11301 (java) R 11287 11287 9001 0 -1 4202560 326 0 0 0 10 0 0 0 20 0 15 0 405124251 15381598208 33042 33554432000 4194304 4196468 140731589522640 139864938881152 139865949258747 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11302] ppid=11287 vsize=15021092 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/11290/task/11302/stat : 11302 (java) R 11287 11287 9001 0 -1 1077944384 558 0 0 0 15 0 0 0 20 0 15 0 405124251 15381598208 33042 33554432000 4194304 4196468 140731589522640 139864937847664 139865971673730 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11303] ppid=11287 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11303/stat : 11303 (java) S 11287 11287 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405124251 15381598208 33042 33554432000 4194304 4196468 140731589522640 139863395396576 139865971672789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
[pid=11290/tid=11304] ppid=11287 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11290/task/11304/stat : 11304 (java) S 11287 11287 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405124251 15381598208 33042 33554432000 4194304 4196468 140731589522640 139864936794544 139865971673730 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8478720 140731589530409 140731589530778 140731589530778 140731589533647 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 133564 KiB
[startup+1.50082 s]
/proc/loadavg: 1.87 1.99 2.00 3/234 11304
/proc/meminfo: memFree=15995072/32770624 swapFree=66999124/67108860
[pid=11287] ppid=11284 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11287/stat : 11287 (scop.sh) S 11284 11287 9001 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 405124244 115843072 349 33554432000 4194304 5098028 140721165566720 140721165563976 140075378487932 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17129472 140721165570915 140721165571184 140721165571184 140721165574093 0
/proc/11287/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=11305/tid=11317] ppid=11287 vsize=8068440 memory=1412 CPUtime=0.21 cores=0,2,4,6
/proc/11305/task/11317/stat : 11317 (java) S 11287 11287 9001 0 -1 1077944384 951 0 0 0 21 0 0 0 20 0 19 0 405124573 8262082560 29848 33554432000 4194304 4196468 140727420497056 140417600702960 140418157456002 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11318] ppid=11287 vsize=8068440 memory=3056 CPUtime=0 cores=0,2,4,6
/proc/11305/task/11318/stat : 11318 (java) S 11287 11287 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405124573 8262082560 29848 33554432000 4194304 4196468 140727420497056 140415969782624 140418157455061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11319] ppid=11287 vsize=8068440 memory=1476 CPUtime=0.02 cores=0,2,4,6
/proc/11305/task/11319/stat : 11319 (java) S 11287 11287 9001 0 -1 1077944384 5 0 0 0 1 1 0 0 20 0 19 0 405124573 8262082560 29848 33554432000 4194304 4196468 140727420497056 140417599650352 140418157456002 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11321] ppid=11287 vsize=8068440 memory=119392 CPUtime=0 cores=0,2,4,6
/proc/11305/task/11321/stat : 11321 (java) S 11287 11287 9001 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405124639 8262082560 29848 33554432000 4194304 4196468 140727420497056 140417591616832 140418157469465 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11323] ppid=11287 vsize=8068440 memory=72128 CPUtime=0.01 cores=0,2,4,6
/proc/11305/task/11323/stat : 11323 (java) S 11287 11287 9001 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 405124639 8262082560 29848 33554432000 4194304 4196468 140727420497056 140415432895856 140418157466781 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11324] ppid=11287 vsize=8068440 memory=8039887049847965090 CPUtime=0 cores=0,2,4,6
/proc/11305/task/11324/stat : 11324 (java) S 11287 11287 9001 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 405124639 8262082560 29848 33554432000 4194304 4196468 140727420497056 140415298674704 140418157466781 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11325] ppid=11287 vsize=8068440 memory=2848 CPUtime=0 cores=0,2,4,6
/proc/11305/task/11325/stat : 11325 (java) S 11287 11287 9001 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 405124641 8262082560 29848 33554432000 4194304 4196468 140727420497056 140415567126320 140418157455061 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
Current children cumulated CPU time: 51.25 s
Current children cumulated vsize: 8284596 KiB
Current children cumulated memory: 195276 KiB
[startup+48.8009 s]
/proc/loadavg: 1.94 1.99 2.00 3/239 11328
/proc/meminfo: memFree=16155108/32770624 swapFree=66999124/67108860
[pid=11287] ppid=11284 vsize=113128 memory=1476 CPUtime=6 cores=0,2,4,6
/proc/11287/stat : 11287 (scop.sh) S 11284 11287 9001 0 -1 4202496 584 26210 0 0 0 0 572 28 20 0 1 0 405124244 115843072 369 33554432000 4194304 5098028 140721165566720 140721165563464 140075378487932 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17129472 140721165570915 140721165571184 140721165571184 140721165574093 0
/proc/11287/statm: 28282 369 311 221 0 87 0
[pid=11305] ppid=11287 vsize=8068440 memory=119392 CPUtime=1.21 cores=0,2,4,6
/proc/11305/stat : 11305 (java) S 11287 11287 9001 0 -1 1077944320 20289 0 0 0 113 8 0 0 20 0 19 0 405124567 8262082560 29848 33554432000 4194304 4196468 140727420497056 140727420479600 140418157444855 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
/proc/11305/statm: 2017110 29848 3202 1 0 1978454 0
[pid=11320] ppid=11305 vsize=103028 memory=74548 CPUtime=44.83 cores=0,2,4,6
/proc/11320/stat : 11320 (cryptominisat5) R 11305 11287 9001 0 -1 4202496 64279 0 0 0 4476 7 0 0 20 0 1 0 405124639 105500672 18637 33554432000 4194304 4451008 140733552490064 140733552486184 140678859346128 0 4 0 2 0 0 0 17 0 0 0 0 0 0 6549032 6559120 18247680 140733552493500 140733552493632 140733552493632 140733552496582 0
/proc/11320/statm: 25757 18637 733 63 0 19484 0
[pid=11305/tid=11306] ppid=11287 vsize=8068440 memory=165936 CPUtime=0.74 cores=0,2,4,6
/proc/11305/task/11306/stat : 11306 (java) S 11287 11287 9001 0 -1 1077944384 16883 0 0 0 69 5 0 0 20 0 19 0 405124567 8262082560 29848 33554432000 4194304 4196468 140727420497056 140418129285024 140418157455061 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11307] ppid=11287 vsize=8068440 memory=612 CPUtime=0 cores=0,2,4,6
/proc/11305/task/11307/stat : 11307 (java) S 11287 11287 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405124568 8262082560 29848 33554432000 4194304 4196468 140727420497056 140418161687568 140418157455061 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11308] ppid=11287 vsize=8068440 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/11305/task/11308/stat : 11308 (java) S 11287 11287 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405124568 8262082560 29848 33554432000 4194304 4196468 140727420497056 140417984183440 140418157455061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11309] ppid=11287 vsize=8068440 memory=14004 CPUtime=0 cores=0,2,4,6
/proc/11305/task/11309/stat : 11309 (java) S 11287 11287 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405124568 8262082560 29848 33554432000 4194304 4196468 140727420497056 140417641954064 140418157455061 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11310] ppid=11287 vsize=8068440 memory=14060 CPUtime=0 cores=0,2,4,6
/proc/11305/task/11310/stat : 11310 (java) S 11287 11287 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405124568 8262082560 29848 33554432000 4194304 4196468 140727420497056 140417640901520 140418157455061 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11311] ppid=11287 vsize=8068440 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/11305/task/11311/stat : 11311 (java) S 11287 11287 9001 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 405124570 8262082560 29848 33554432000 4194304 4196468 140727420497056 140417603860720 140418157456002 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11312] ppid=11287 vsize=8068440 memory=3624 CPUtime=0 cores=0,2,4,6
/proc/11305/task/11312/stat : 11312 (java) S 11287 11287 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405124570 8262082560 29848 33554432000 4194304 4196468 140727420497056 140416976413856 140418157455061 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11313] ppid=11287 vsize=8068440 memory=36696 CPUtime=0 cores=0,2,4,6
/proc/11305/task/11313/stat : 11313 (java) S 11287 11287 9001 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405124570 8262082560 29848 33554432000 4194304 4196468 140727420497056 140416842191600 140418157455061 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11314] ppid=11287 vsize=8068440 memory=988 CPUtime=0 cores=0,2,4,6
/proc/11305/task/11314/stat : 11314 (java) S 11287 11287 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405124573 8262082560 29848 33554432000 4194304 4196468 140727420497056 140416467687376 140418157463451 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11315] ppid=11287 vsize=8068440 memory=2016 CPUtime=0.11 cores=0,2,4,6
/proc/11305/task/11315/stat : 11315 (java) S 11287 11287 9001 0 -1 1077944384 757 0 0 0 11 0 0 0 20 0 19 0 405124573 8262082560 29848 33554432000 4194304 4196468 140727420497056 140417602808560 140418157456002 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11316] ppid=11287 vsize=8068440 memory=1424 CPUtime=0.07 cores=0,2,4,6
/proc/11305/task/11316/stat : 11316 (java) S 11287 11287 9001 0 -1 1077944384 276 0 0 0 7 0 0 0 20 0 19 0 405124573 8262082560 29848 33554432000 4194304 4196468 140727420497056 140417601756016 140418157456002 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11317] ppid=11287 vsize=8068440 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/11305/task/11317/stat : 11317 (java) S 11287 11287 9001 0 -1 1077944384 951 0 0 0 21 0 0 0 20 0 19 0 405124573 8262082560 29848 33554432000 4194304 4196468 140727420497056 140417600702960 140418157456002 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11318] ppid=11287 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11305/task/11318/stat : 11318 (java) S 11287 11287 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405124573 8262082560 29848 33554432000 4194304 4196468 140727420497056 140415969782624 140418157455061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11319] ppid=11287 vsize=8068440 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11305/task/11319/stat : 11319 (java) S 11287 11287 9001 0 -1 1077944384 5 0 0 0 1 1 0 0 20 0 19 0 405124573 8262082560 29848 33554432000 4194304 4196468 140727420497056 140417599650352 140418157456002 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11321] ppid=11287 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11305/task/11321/stat : 11321 (java) S 11287 11287 9001 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405124639 8262082560 29848 33554432000 4194304 4196468 140727420497056 140417591616832 140418157469465 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11323] ppid=11287 vsize=8068440 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/11305/task/11323/stat : 11323 (java) S 11287 11287 9001 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 405124639 8262082560 29848 33554432000 4194304 4196468 140727420497056 140415432895856 140418157466781 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11324] ppid=11287 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11305/task/11324/stat : 11324 (java) S 11287 11287 9001 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 405124639 8262082560 29848 33554432000 4194304 4196468 140727420497056 140415298674704 140418157466781 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11325] ppid=11287 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/11305/task/11325/stat : 11325 (java) S 11287 11287 9001 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 405124641 8262082560 29848 33554432000 4194304 4196468 140727420497056 140415567126320 140418157455061 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
Current children cumulated CPU time: 52.04 s
Current children cumulated vsize: 8284596 KiB
Current children cumulated memory: 195416 KiB
[startup+49.2104 s]
/proc/loadavg: 1.94 1.99 2.00 3/239 11328
/proc/meminfo: memFree=16154984/32770624 swapFree=66999124/67108860
[pid=11287] ppid=11284 vsize=113128 memory=1476 CPUtime=6 cores=0,2,4,6
/proc/11287/stat : 11287 (scop.sh) S 11284 11287 9001 0 -1 4202496 584 26210 0 0 0 0 572 28 20 0 1 0 405124244 115843072 369 33554432000 4194304 5098028 140721165566720 140721165563464 140075378487932 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17129472 140721165570915 140721165571184 140721165571184 140721165574093 0
/proc/11287/statm: 28282 369 311 221 0 87 0
[pid=11305] ppid=11287 vsize=7937364 memory=128144 CPUtime=46.68 cores=0,2,4,6
/proc/11305/stat : 11305 (java) S 11287 11287 9001 0 -1 1077944320 22048 66473 0 0 144 9 4507 8 20 0 17 0 405124567 8127860736 32036 33554432000 4194304 4196468 140727420497056 140727420479600 140418157444855 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
/proc/11305/statm: 1984341 32036 3226 1 0 1945685 0
[pid=11305/tid=11306] ppid=11287 vsize=7937364 memory=1980 CPUtime=45.9 cores=0,2,4,6
/proc/11305/task/11306/stat : 11306 (java) R 11287 11287 9001 0 -1 4202560 16888 66473 0 0 70 5 4507 8 20 0 17 0 405124567 8127860736 32036 33554432000 4194304 4196468 140727420497056 140418129285024 140418136970088 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11307] ppid=11287 vsize=7937364 memory=2540 CPUtime=45.15 cores=0,2,4,6
/proc/11305/task/11307/stat : 11307 (java) S 11287 11287 9001 0 -1 1077944384 1 66473 0 0 0 0 4507 8 20 0 17 0 405124568 8127860736 32036 33554432000 4194304 4196468 140727420497056 140418161687568 140418157455061 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11308] ppid=11287 vsize=7937364 memory=1760 CPUtime=45.15 cores=0,2,4,6
/proc/11305/task/11308/stat : 11308 (java) S 11287 11287 9001 0 -1 1077944384 1 66473 0 0 0 0 4507 8 20 0 17 0 405124568 8127860736 32036 33554432000 4194304 4196468 140727420497056 140417984183440 140418157455061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11309] ppid=11287 vsize=7937364 memory=111636 CPUtime=45.15 cores=0,2,4,6
/proc/11305/task/11309/stat : 11309 (java) S 11287 11287 9001 0 -1 1077944384 1 66473 0 0 0 0 4507 8 20 0 17 0 405124568 8127860736 32036 33554432000 4194304 4196468 140727420497056 140417641954064 140418157455061 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11310] ppid=11287 vsize=7937364 memory=1220 CPUtime=45.15 cores=0,2,4,6
/proc/11305/task/11310/stat : 11310 (java) S 11287 11287 9001 0 -1 1077944384 2 66473 0 0 0 0 4507 8 20 0 17 0 405124568 8127860736 32036 33554432000 4194304 4196468 140727420497056 140417640901520 140418157455061 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11311] ppid=11287 vsize=7937364 memory=14004 CPUtime=45.15 cores=0,2,4,6
/proc/11305/task/11311/stat : 11311 (java) S 11287 11287 9001 0 -1 1077944384 6 66473 0 0 0 0 4507 8 20 0 17 0 405124570 8127860736 32036 33554432000 4194304 4196468 140727420497056 140417603860720 140418157456002 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11312] ppid=11287 vsize=7937364 memory=14060 CPUtime=45.15 cores=0,2,4,6
/proc/11305/task/11312/stat : 11312 (java) S 11287 11287 9001 0 -1 1077944384 13 66473 0 0 0 0 4507 8 20 0 17 0 405124570 8127860736 32036 33554432000 4194304 4196468 140727420497056 140416976413856 140418157455061 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11313] ppid=11287 vsize=7937364 memory=2116 CPUtime=45.15 cores=0,2,4,6
/proc/11305/task/11313/stat : 11313 (java) S 11287 11287 9001 0 -1 1077944384 21 66473 0 0 0 0 4507 8 20 0 17 0 405124570 8127860736 32036 33554432000 4194304 4196468 140727420497056 140416842191600 140418157455061 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11314] ppid=11287 vsize=7937364 memory=17420 CPUtime=45.15 cores=0,2,4,6
/proc/11305/task/11314/stat : 11314 (java) S 11287 11287 9001 0 -1 1077944384 3 66473 0 0 0 0 4507 8 20 0 17 0 405124573 8127860736 32036 33554432000 4194304 4196468 140727420497056 140416467687376 140418157463451 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11315] ppid=11287 vsize=7937364 memory=532 CPUtime=45.33 cores=0,2,4,6
/proc/11305/task/11315/stat : 11315 (java) R 11287 11287 9001 0 -1 4202560 974 66473 0 0 18 0 4507 8 20 0 17 0 405124573 8127860736 32036 33554432000 4194304 4196468 140727420497056 140417602789576 140418150541691 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11316] ppid=11287 vsize=7937364 memory=1556 CPUtime=45.3 cores=0,2,4,6
/proc/11305/task/11316/stat : 11316 (java) R 11287 11287 9001 0 -1 4202560 888 66473 0 0 15 0 4507 8 20 0 17 0 405124573 8127860736 32036 33554432000 4194304 4196468 140727420497056 140417601742040 140418143463712 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11317] ppid=11287 vsize=7937364 memory=932 CPUtime=45.43 cores=0,2,4,6
/proc/11305/task/11317/stat : 11317 (java) S 11287 11287 9001 0 -1 1077944384 1286 66473 0 0 28 0 4507 8 20 0 17 0 405124573 8127860736 32036 33554432000 4194304 4196468 140727420497056 140417600702960 140418157456002 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11318] ppid=11287 vsize=7937364 memory=3680 CPUtime=45.15 cores=0,2,4,6
/proc/11305/task/11318/stat : 11318 (java) S 11287 11287 9001 0 -1 1077944384 3 66473 0 0 0 0 4507 8 20 0 17 0 405124573 8127860736 32036 33554432000 4194304 4196468 140727420497056 140415969782624 140418157455061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11319] ppid=11287 vsize=7937364 memory=864 CPUtime=45.17 cores=0,2,4,6
/proc/11305/task/11319/stat : 11319 (java) S 11287 11287 9001 0 -1 1077944384 5 66473 0 0 1 1 4507 8 20 0 17 0 405124573 8127860736 32036 33554432000 4194304 4196468 140727420497056 140417599650352 140418157456002 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11321] ppid=11287 vsize=7937364 memory=1436 CPUtime=45.15 cores=0,2,4,6
/proc/11305/task/11321/stat : 11321 (java) S 11287 11287 9001 0 -1 1077944384 37 66473 0 0 0 0 4507 8 20 0 17 0 405124639 8127860736 32036 33554432000 4194304 4196468 140727420497056 140417591616016 140418157456002 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11325] ppid=11287 vsize=7937364 memory=0 CPUtime=45.15 cores=0,2,4,6
/proc/11305/task/11325/stat : 11325 (java) S 11287 11287 9001 0 -1 1077944384 27 66473 0 0 0 0 4507 8 20 0 17 0 405124641 8127860736 32036 33554432000 4194304 4196468 140727420497056 140415567128112 140418157456002 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
Current children cumulated CPU time: 52.68 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 129620 KiB
[startup+49.3008 s]
/proc/loadavg: 1.94 1.99 2.00 3/239 11328
/proc/meminfo: memFree=16154984/32770624 swapFree=66999124/67108860
[pid=11287] ppid=11284 vsize=113128 memory=1476 CPUtime=6 cores=0,2,4,6
/proc/11287/stat : 11287 (scop.sh) S 11284 11287 9001 0 -1 4202496 584 26210 0 0 0 0 572 28 20 0 1 0 405124244 115843072 369 33554432000 4194304 5098028 140721165566720 140721165563464 140075378487932 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17129472 140721165570915 140721165571184 140721165571184 140721165574093 0
/proc/11287/statm: 28282 369 311 221 0 87 0
[pid=11305] ppid=11287 vsize=7937364 memory=138832 CPUtime=46.96 cores=0,2,4,6
/proc/11305/stat : 11305 (java) S 11287 11287 9001 0 -1 1077944320 23702 66473 0 0 172 9 4507 8 20 0 17 0 405124567 8127860736 34708 33554432000 4194304 4196468 140727420497056 140727420479600 140418157444855 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
/proc/11305/statm: 1984341 34708 3232 1 0 1945685 0
[pid=11305/tid=11306] ppid=11287 vsize=7937364 memory=1476 CPUtime=45.99 cores=0,2,4,6
/proc/11305/task/11306/stat : 11306 (java) R 11287 11287 9001 0 -1 4202560 17178 66473 0 0 79 5 4507 8 20 0 17 0 405124567 8127860736 34708 33554432000 4194304 4196468 140727420497056 140418129281312 140418157456790 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11307] ppid=11287 vsize=7937364 memory=119392 CPUtime=45.15 cores=0,2,4,6
/proc/11305/task/11307/stat : 11307 (java) S 11287 11287 9001 0 -1 1077944384 1 66473 0 0 0 0 4507 8 20 0 17 0 405124568 8127860736 34708 33554432000 4194304 4196468 140727420497056 140418161687568 140418157455061 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11308] ppid=11287 vsize=7937364 memory=119392 CPUtime=45.15 cores=0,2,4,6
/proc/11305/task/11308/stat : 11308 (java) S 11287 11287 9001 0 -1 1077944384 1 66473 0 0 0 0 4507 8 20 0 17 0 405124568 8127860736 34708 33554432000 4194304 4196468 140727420497056 140417984183440 140418157455061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11309] ppid=11287 vsize=7937364 memory=1476 CPUtime=45.15 cores=0,2,4,6
/proc/11305/task/11309/stat : 11309 (java) S 11287 11287 9001 0 -1 1077944384 1 66473 0 0 0 0 4507 8 20 0 17 0 405124568 8127860736 34708 33554432000 4194304 4196468 140727420497056 140417641954064 140418157455061 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11310] ppid=11287 vsize=7937364 memory=72208 CPUtime=45.15 cores=0,2,4,6
/proc/11305/task/11310/stat : 11310 (java) S 11287 11287 9001 0 -1 1077944384 2 66473 0 0 0 0 4507 8 20 0 17 0 405124568 8127860736 34708 33554432000 4194304 4196468 140727420497056 140417640901520 140418157455061 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11311] ppid=11287 vsize=7937364 memory=119360 CPUtime=45.15 cores=0,2,4,6
/proc/11305/task/11311/stat : 11311 (java) S 11287 11287 9001 0 -1 1077944384 6 66473 0 0 0 0 4507 8 20 0 17 0 405124570 8127860736 34708 33554432000 4194304 4196468 140727420497056 140417603860720 140418157456002 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11312] ppid=11287 vsize=7937364 memory=61104 CPUtime=45.15 cores=0,2,4,6
/proc/11305/task/11312/stat : 11312 (java) S 11287 11287 9001 0 -1 1077944384 13 66473 0 0 0 0 4507 8 20 0 17 0 405124570 8127860736 34708 33554432000 4194304 4196468 140727420497056 140416976413856 140418157455061 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11313] ppid=11287 vsize=7937364 memory=8039887049847965090 CPUtime=45.15 cores=0,2,4,6
/proc/11305/task/11313/stat : 11313 (java) S 11287 11287 9001 0 -1 1077944384 21 66473 0 0 0 0 4507 8 20 0 17 0 405124570 8127860736 34708 33554432000 4194304 4196468 140727420497056 140416842191600 140418157455061 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11314] ppid=11287 vsize=7937364 memory=0 CPUtime=45.15 cores=0,2,4,6
/proc/11305/task/11314/stat : 11314 (java) S 11287 11287 9001 0 -1 1077944384 3 66473 0 0 0 0 4507 8 20 0 17 0 405124573 8127860736 34708 33554432000 4194304 4196468 140727420497056 140416467687376 140418157463451 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11315] ppid=11287 vsize=7937364 memory=0 CPUtime=45.42 cores=0,2,4,6
/proc/11305/task/11315/stat : 11315 (java) R 11287 11287 9001 0 -1 4202560 1751 66473 0 0 27 0 4507 8 20 0 17 0 405124573 8127860736 34708 33554432000 4194304 4196468 140727420497056 140417602794440 140418138964688 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11316] ppid=11287 vsize=7937364 memory=4104 CPUtime=45.36 cores=0,2,4,6
/proc/11305/task/11316/stat : 11316 (java) R 11287 11287 9001 0 -1 1077944384 1146 66473 0 0 21 0 4507 8 20 0 17 0 405124573 8127860736 34708 33554432000 4194304 4196468 140727420497056 140417601756016 140418157456002 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11317] ppid=11287 vsize=7937364 memory=63152 CPUtime=45.47 cores=0,2,4,6
/proc/11305/task/11317/stat : 11317 (java) R 11287 11287 9001 0 -1 4202560 1615 66473 0 0 32 0 4507 8 20 0 17 0 405124573 8127860736 34708 33554432000 4194304 4196468 140727420497056 140417600702960 140418141525342 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11318] ppid=11287 vsize=7937364 memory=63152 CPUtime=45.15 cores=0,2,4,6
/proc/11305/task/11318/stat : 11318 (java) S 11287 11287 9001 0 -1 1077944384 3 66473 0 0 0 0 4507 8 20 0 17 0 405124573 8127860736 34708 33554432000 4194304 4196468 140727420497056 140415969782624 140418157455061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11319] ppid=11287 vsize=7937364 memory=1412 CPUtime=45.17 cores=0,2,4,6
/proc/11305/task/11319/stat : 11319 (java) S 11287 11287 9001 0 -1 1077944384 5 66473 0 0 1 1 4507 8 20 0 17 0 405124573 8127860736 34708 33554432000 4194304 4196468 140727420497056 140417599650352 140418157456002 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11321] ppid=11287 vsize=7937364 memory=3552 CPUtime=45.15 cores=0,2,4,6
/proc/11305/task/11321/stat : 11321 (java) S 11287 11287 9001 0 -1 1077944384 37 66473 0 0 0 0 4507 8 20 0 17 0 405124639 8127860736 34708 33554432000 4194304 4196468 140727420497056 140417591616016 140418157456002 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
[pid=11305/tid=11325] ppid=11287 vsize=7937364 memory=0 CPUtime=45.15 cores=0,2,4,6
/proc/11305/task/11325/stat : 11325 (java) S 11287 11287 9001 0 -1 1077944384 27 66473 0 0 0 0 4507 8 20 0 17 0 405124641 8127860736 34708 33554432000 4194304 4196468 140727420497056 140415567128112 140418157456002 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140727420503035 140727420503194 140727420503194 140727420506063 0
Current children cumulated CPU time: 52.96 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 140308 KiB
Child status: 0
Real time (s): 49.3315
CPU time (s): 53.043
CPU user time (s): 52.5768
CPU system time (s): 0.466247
CPU usage (%): 107.524
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 1246744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 52.5768
system time used= 0.466247
maximum resident set size= 1247688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117042
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6681
involuntary context switches= 104
# summary of solver processes directly reported to runsolver:
# pid: 11287
# total CPU time (s): 53.043
# total CPU user time (s): 52.5768
# total CPU system time (s): 0.466247
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.375979 second user time and 0.594009 second system time
The end