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-8018-serial-file.bin HOME/instance-4388164-1568296095.xml
0.66/0.53
0.66/0.53 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.53
0.66/0.56 c BEGIN-Prog: Thu Sep 12 15:49:56 CEST 2019
0.66/0.56 c PID: 8021
0.66/0.56 c IP: 172.20.3.139
0.66/0.56 c HOST: node139.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.58/0.94 c (0,0) Parsing End
1.58/0.95 c (0,0) CSP: 63 int (0 aux), 1 bool (0 aux), 34 ctr, max domain size 64
1.58/0.95 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.58/0.95 c (0,0) Constraint Name Generate Begin
1.58/0.95 c (0,0) Ctr:HOME/instance-4388164-1568296095.xml,AllDifferent:ExtensionSupport:Instantiation:Var
1.58/0.95 c (0,0) Constraint Name Generate End
1.58/0.95 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.58/0.95 c (0,0) CSP to CSPinCNF Begin
3.64/1.65 c (1,1) translated 4 (10%) constraints
5.83/2.32 c (1,1) translated 7 (20%) constraints
7.30/2.83 c (2,2) translated 11 (30%) constraints
8.22/3.18 c (2,2) translated 14 (40%) constraints
8.66/3.49 c (2,2) translated 17 (50%) constraints
9.24/3.90 c (3,3) translated 21 (60%) constraints
9.55/4.20 c (3,3) translated 24 (70%) constraints
9.95/4.60 c (4,4) translated 28 (80%) constraints
10.30/4.90 c (4,4) translated 31 (90%) constraints
10.45/5.12 c (4,4) translated 34 (100%) constraints
10.45/5.12 c (4,4) ===========================================
10.59/5.17 c (4,4) Hybrid: #OE=5895, #LE=3
10.59/5.17 c (4,4) Hybrid
10.59/5.17 c (4,4) ===========================================
12.04/5.66 c (5,5) translated 6228 (10%) constraints
12.55/5.82 c (5,5) translated 12455 (20%) constraints
12.65/5.96 c (5,5) translated 18682 (30%) constraints
12.79/6.10 c (5,5) translated 24909 (40%) constraints
12.99/6.23 c (5,5) translated 31136 (50%) constraints
13.09/6.37 c (5,5) translated 37363 (60%) constraints
13.35/6.50 c (5,5) translated 43590 (70%) constraints
13.46/6.63 c (6,6) translated 49817 (80%) constraints
13.55/6.77 c (6,6) translated 56044 (90%) constraints
13.75/6.90 c (6,6) translated 62271 (100%) constraints
13.75/6.90 c (6,6) CSP to CSPinCNF End
13.75/6.90 c (6,6) CSP: 63 int (0 aux), 9931 bool (9930 aux), 70465 ctr, max domain size 32
13.75/6.90 c (6,6) Heap : 1689 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
13.75/6.91 c (6,6) CSPinCNF Propagation Begin
14.82/7.40 c (6,6) 424 values, 2350 unsatisfiable literals, and 2291 valid clauses are removed
14.82/7.40 c (6,6) CSPinCNF Propagation End
14.82/7.41 c (6,6) CSP: 63 int (0 aux), 9931 bool (9930 aux), 68174 ctr, max domain size 32
14.82/7.41 c (6,6) Heap : 2027 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
14.82/7.45 c (6,6) Hybrid: #OE=9991, #LE=3
14.82/7.45 c (6,6) Simplify CSPinCNF Begin
15.52/7.70 c (7,7) Simplify CSPinCNF End
15.52/7.70 c (7,7) CSP: 63 int (0 aux), 13835 bool (13834 aux), 72078 ctr, max domain size 32
15.52/7.70 c (7,7) Heap : 2084 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
15.52/7.70 c (7,7) Calculate Precise Domain Begin
15.52/7.71 c (7,7) 0 values are removed by re-calculation
15.52/7.71 c (7,7) Calculate Precise Domain End
15.52/7.71 c (7,7) CSP: 63 int (0 aux), 13835 bool (13834 aux), 72078 ctr, max domain size 32
15.52/7.71 c (7,7) Heap : 2084 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
15.52/7.71 c (7,7) CSPinCNF to SatSolver Begin
17.77/8.63 c (8,8) 7208 (10 %) CSP clauses are encoded (0 SAT variables, 111376 SAT clauses)
17.92/8.72 c (8,8) 14416 (20 %) CSP clauses are encoded (0 SAT variables, 118584 SAT clauses)
18.09/8.80 c (8,8) 21624 (30 %) CSP clauses are encoded (0 SAT variables, 125792 SAT clauses)
18.09/8.88 c (8,8) 28832 (40 %) CSP clauses are encoded (0 SAT variables, 133000 SAT clauses)
18.19/8.96 c (8,8) 36039 (50 %) CSP clauses are encoded (0 SAT variables, 140207 SAT clauses)
18.32/9.03 c (8,8) 43247 (60 %) CSP clauses are encoded (0 SAT variables, 147415 SAT clauses)
18.81/9.21 c (8,8) 50455 (70 %) CSP clauses are encoded (0 SAT variables, 154623 SAT clauses)
18.81/9.27 c (8,8) 57663 (80 %) CSP clauses are encoded (0 SAT variables, 161831 SAT clauses)
18.94/9.34 c (8,8) 64871 (90 %) CSP clauses are encoded (0 SAT variables, 169039 SAT clauses)
19.04/9.41 c (8,8) 72078 (100 %) CSP clauses are encoded (0 SAT variables, 176246 SAT clauses)
19.04/9.41 c (8,8) CSPinCNF to SatSolver End
19.04/9.41 c (8,8) Heap : 323 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
19.04/9.41 c (8,8) 15207 bool, 176247 clause
19.04/9.41 c (8,8) Export Begin
19.23/9.52 c (8,8) Export to HOME/scop-8018-serial-file.bin
19.23/9.52 c (8,8) Export End
19.23/9.52 c (8,8) Export File Size: 0.06 MB
19.23/9.52 c (8,8) 0,0,6,6,7,7,8,STOP-AFTER(DIMACS)
19.23/9.52 c END-Prog: Thu Sep 12 15:50:05 CEST 2019
19.23/9.55 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-8018-serial-file.bin
19.93/10.02 c (0,0) Read Serial File Begin
19.93/10.02 c (0,0) HOME/scop-8018-serial-file.bin
20.20/10.26 c (0,0) Read Serial File End
20.20/10.27
20.20/10.27 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
20.20/10.27 (Solving Process)
20.20/10.27
20.20/10.30 c BEGIN-Prog: Thu Sep 12 15:50:06 CEST 2019
20.20/10.30 c PID: 8043
20.20/10.30 c IP: 172.20.3.139
20.20/10.30 c HOST: node139.alineos.net
20.38/10.30 c (0,0) SatSolver.solve Begin
20.38/10.30 c (0,0) HOME/cryptominisat5 HOME/instance-4388164-1568296095.xml-scop-8021.cnf
20.38/10.33 c (0,0) c Outputting solution to console
20.38/10.33 c (0,0) c CryptoMiniSat version 5.6.8
20.38/10.33 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
20.38/10.33 c (0,0) c CMS SHA revision GIT-notfound
20.38/10.33 c (0,0) c CMS is MIT licensed
20.38/10.33 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
20.38/10.33 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
20.38/10.33 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388164-1568296095.xml-scop-8021.cnf
20.38/10.33 c (0,0) c Reading file 'HOME/instance-4388164-1568296095.xml-scop-8021.cnf'
20.38/10.33 c (0,0) c -- header says num vars: 15207
20.38/10.33 c (0,0) c -- header says num clauses: 176247
20.38/10.39 c (0,0) c -- clauses added: 176247
20.38/10.39 c (0,0) c -- xor clauses added: 0
20.38/10.39 c (0,0) c -- vars added 15207
20.38/10.39 c (0,0) c Parsing time: 0.06 s
20.56/10.40 c (0,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
20.56/10.41 c (0,0) c [distill] long cls tried: 20/19 cl-short:20 lit-r:6 T: 0.00 T-out: N T-r: 99.99%
20.56/10.75 c (0,0) c [distill] long cls tried: 546/548 cl-short:546 lit-r:388 T: 0.04 T-out: N T-r: 99.53%
21.33/11.19 c (1,0) c [distill] long cls tried: 623/1149 cl-short:623 lit-r:465 T: 0.05 T-out: N T-r: 99.42%
21.52/11.35 c (1,0) c glue 1 55 8193 15195 148K 28K 3.11 2.94 1378 3200 3514 93 18.92 18.73
22.03/11.88 c (1,0) c [distill] long cls tried: 2083/3193 cl-short:2083 lit-r:4583 T: 0.19 T-out: N T-r: 97.89%
22.63/12.47 c (2,0) c geom 1 94 16386 15186 148K 28K 3.11 2.94 4067 5881 6058 179 19.04 18.85
22.83/12.64 c (2,0) c [distill] long cls tried: 963/4131 cl-short:963 lit-r:2508 T: 0.09 T-out: N T-r: 99.00%
23.93/13.77 c (3,0) c [distill] long cls tried: 2389/6477 cl-short:2389 lit-r:5979 T: 0.27 T-out: N T-r: 97.19%
24.13/13.90 c (3,0) c glue 1 135 24K 15180 148K 28K 3.11 2.94 6597 7404 10080 292 19.74 19.53
25.34/15.17 c (5,0) c [distill] long cls tried: 2706/9121 cl-short:2706 lit-r:7208 T: 0.34 T-out: N T-r: 96.45%
25.53/15.38 c (5,0) c glue 1 181 32K 15176 148K 28K 3.11 2.94 9300 9511 10319 387 19.01 18.79
27.24/17.03 c (7,0) c [distill] long cls tried: 2921/11956 cl-short:2919 lit-r:6360 T: 0.42 T-out: N T-r: 95.81%
27.24/17.10 c (7,0) c glue 1 233 40K 15152 148K 28K 3.11 2.94 11993 8655 16552 503 19.99 19.75
28.63/18.41 c (8,0) c glue 1 287 49K 15150 148K 28K 3.11 2.94 13081 12209 15124 533 19.46 19.23
29.63/19.46 c (9,0) c [distill] long cls tried: 3211/15090 cl-short:3210 lit-r:8428 T: 0.49 T-out: N T-r: 95.24%
30.53/20.35 c (10,0) c geom 1 351 57K 15147 148K 28K 3.11 2.94 15599 11069 21K 645 20.27 20.03
32.03/21.87 c (11,0) c glue 1 404 65K 15135 148K 28K 3.11 2.94 18389 10531 20K 667 19.17 18.94
32.73/22.53 c (12,0) c [distill] long cls tried: 3359/18362 cl-short:3358 lit-r:8986 T: 0.54 T-out: N T-r: 94.65%
33.53/23.30 c (13,0) c recursive minimization cost OK: 748Kcost/(% lits removed)
33.53/23.30 c (13,0) c more minimization effectiveness low: 0.00 % lits removed --> disabling
33.53/23.30 c (13,0) c --> Executing strategy token: handle-comps
33.53/23.30 c (13,0) c --> Executing strategy token: scc-vrepl
33.53/23.30 c (13,0) c [scc] new: 532 BP 0M T: 0.00
33.53/23.36 c (13,0) c [vrep] vars 332 lits 82066 rem-bin-cls 1562 rem-long-cls 1060 BP 1M T: 0.05
33.53/23.37 c (13,0) c --> Executing strategy token: cache-clean
33.53/23.37 c (13,0) c --> Executing strategy token: cache-tryboth
33.53/23.37 c (13,0) c --> Executing strategy token: sub-impl
33.53/23.37 c (13,0) c [impl sub] bin: 49 T: 0.01 T-out: N w-visit: 30414
33.53/23.39 c (13,0) c --> Executing strategy token: intree-probe
33.53/23.39 c (13,0) c [scc] new: 0 BP 0M T: 0.00
33.64/23.41 c (13,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 0M T: 0.02
33.94/23.72 c (13,0) c [intree] Set 1928 vars hyper-added: 94100 trans-irred::342 trans-red::8705 T: 0.30 T-out: N T-r: 98.01%
34.24/24.03 c (14,0) c --> Executing strategy token: probe
34.24/24.03 c (14,0) c --> Executing strategy token: sub-str-cls-with-bin
34.24/24.03 c (14,0) c [distill] cache-based irred-- cl tried 291881 cl-sh 1752 cl-rem 371 lit-rem 1752 T: 0.25 T-out: N
34.24/24.03 c (14,0) c [distill] cache-based red-- cl tried 37396 cl-sh 808 cl-rem 118 lit-rem 1003 T: 0.05 T-out: N
35.35/25.13 c (15,0) c --> Executing strategy token: distill-cls
35.35/25.13 c (15,0) c [distill] long cls tried: 5231/145715 cl-short:1056 lit-r:50 T: 1.10 T-out: Y T-r: -0.02%
35.35/25.13 c (15,0) c [distill] long useful: 2112/10462/291472 lits-rem: 100 0-depth-assigns: 0 T: 2.20 T-out: Y
35.35/25.14 c (15,0) c --> Executing strategy token: scc-vrepl
35.35/25.14 c (15,0) c [scc] new: 153 BP 0M T: 0.01
35.35/25.17 c (15,0) c [vrep] vars 116 lits 35169 rem-bin-cls 534 rem-long-cls 0 BP 0M T: 0.04
35.35/25.19 c (15,0) c --> Executing strategy token: sub-impl
35.35/25.19 c (15,0) c [impl sub] bin: 79 T: 0.02 T-out: N w-visit: 30414
35.45/25.20 c (15,0) c --> Executing strategy token: str-impl
35.45/25.20 c (15,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.01 T-out: N T-r: 99.29% w-visit: 30414
35.45/25.22 c (15,0) c --> Executing strategy token: sub-impl
35.45/25.22 c (15,0) c [impl sub] bin: 0 T: 0.02 T-out: N w-visit: 30414
35.45/25.24 c (15,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
35.45/25.24 c (15,0) c [occ] mem usage for occur 14 MB
35.45/25.27 c (15,0) c [occ] mem usage for occur 4 MB
35.55/25.30 c (15,0) c Mem for watch alloc : 18 MB (43.26 %)
35.55/25.30 c (15,0) c Mem for watch array : 0 MB (1.66 %)
35.55/25.38 c (15,0) c --> Executing OCC strategy token: occ-backw-sub-str
35.55/25.38 c (15,0) c [occ-backw-sub-str-long-w-bins] subs: 8 str: 25 tried: 218308 0-depth ass: 0 T: 0.08 T-out: N T-r: 94.52%
35.75/25.54 c (15,0) c [occ-sub-long-w-long] rem cl: 950 tried: 399410/199705 (200.0%) T: 0.15 T-out: N T-r: 77.51%
35.95/25.77 c (15,0) c [occ-sub-str-long-w-long] sub: 4 str: 179 tried: 599115/199705 (300.0) T: 0.24 T-out: N T-r: 78.41%
35.95/25.77 c (15,0) c [occ-sub-str-w-added-long] sub: 0 str: 0 0-depth ass: 0 T: 0.00 T-out: N T-r: 100.00%
35.95/25.78 c (15,0) c --> Executing OCC strategy token: occ-clean-implicit
35.95/25.78 c (15,0) c --> Executing OCC strategy token: occ-bve
35.95/25.78 c (15,0) c [occ-empty-res] Empty resolvent elimed: 0 T: 0.01 T-out: N
36.26/26.10 c (16,0) c [occ-bve] iter v-elim 2172
36.26/26.10 c (16,0) c cl_inc_rate=1.0, var_dec_rate=1.2 (grow=0)
36.36/26.11 c (16,0) c Reduced to 10585 vars, 166955 cls (grow=0)
36.65/26.45 c (16,0) c [occ-bve] iter v-elim 1079
36.65/26.45 c (16,0) c cl_inc_rate=1.0, var_dec_rate=1.1 (grow=8)
36.65/26.45 c (16,0) c Reduced to 9506 vars, 168743 cls (grow=8)
37.06/26.87 c (16,0) c [occ-bve] iter v-elim 624
37.06/26.87 c (16,0) c cl_inc_rate=1.0, var_dec_rate=1.1 (grow=16)
37.06/26.88 c (16,0) c Reduced to 8882 vars, 173430 cls (grow=16)
37.06/26.88 c (16,0) c x n vars : 8882
37.06/26.88 c (16,0) c #try to eliminate: 47K
37.06/26.88 c (16,0) c #var-elim : 3875
37.06/26.88 c (16,0) c #T-o: N
37.06/26.88 c (16,0) c #T-r: 99.91%
37.06/26.88 c (16,0) c #T : 1.09
37.06/26.88 c (16,0) c [occur] 0.07 is overhead
37.06/26.88 c (16,0) c [occur] link-in T: 0.07 cleanup T: 0.00
37.06/26.88 c (16,0) c --> Executing OCC strategy token: occ-bva
37.06/26.88 c (16,0) c [occ-bva] global numcalls: 0
37.16/26.90 c (16,0) c --> Executing OCC strategy token: occ-ternary-res
37.16/26.90 c (16,0) c --> Executing OCC strategy token: occ-xor
37.16/26.90 c (16,0) c [occ-xor] sort occur list T: 0.03
37.37/27.14 c (17,0) c [occ-xor] found 2 avg sz 3.0 min sz 3 max sz 3 T: 0.26 T-out: N T-r: 95.80%
37.37/27.14 c (17,0) c [xor-together] xored together 1 xors orig num xors: 2 T: 0.00
37.37/27.14 c (17,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
37.37/27.19 c (17,0) c --> Executing strategy token: cl-consolidate
37.37/27.19 c (17,0) c [mem] consolidate old-sz: 15447K new-sz: 7350K new bits offs: 0 T: 0.01
37.37/27.19 c (17,0) c --> Executing strategy token: str-impl
37.37/27.19 c (17,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.53% w-visit: 30414
37.77/27.50 c (17,0) c --> Executing strategy token: cache-clean
37.77/27.50 c (17,0) c --> Executing strategy token: sub-str-cls-with-bin
37.77/27.50 c (17,0) c [distill] cache-based irred-- cl tried 307809 cl-sh 0 cl-rem 968 lit-rem 0 T: 0.27 T-out: N
37.77/27.50 c (17,0) c [distill] cache-based red-- cl tried 17970 cl-sh 146 cl-rem 12 lit-rem 241 T: 0.02 T-out: N
38.67/28.44 c (18,0) c --> Executing strategy token: distill-cls
38.67/28.44 c (18,0) c [distill] long cls tried: 6529/153251 cl-short:1424 lit-r:1095 T: 0.94 T-out: Y T-r: -0.03%
38.67/28.44 c (18,0) c [distill] long useful: 2848/13058/306838 lits-rem: 2190 0-depth-assigns: 0 T: 1.87 T-out: Y
38.67/28.44 c (18,0) c --> Executing strategy token: scc-vrepl
38.67/28.44 c (18,0) c [scc] new: 0 BP 0M T: 0.01
38.67/28.45 c (18,0) c --> Executing strategy token: check-cache-size
38.67/28.45 c (18,0) c --> Executing strategy token: renumber
38.67/28.45 c (18,0) c [xor-clean] T: 0.00
38.67/28.47 c (18,0) c [renumber] T: 0.02
38.67/28.47 c (18,0) c --> Executing strategy token: sls
38.67/28.47 c (18,0) c [consolidate] mini T: 0.00
38.67/28.47 c (18,0) c global_timeout_multiplier: 4.40
38.67/28.48 c (18,0) c clause size stats. size3: 133384 size4: 9479 size5: 5796 larger: 4592
39.38/29.17 c (19,0) c luby 0 465 73K 8882 153K 19230 3.30 3.15 9344 4106 7539 50K 10.92 4.63
40.87/30.66 c (20,0) c luby 0 497 81K 8882 153K 19230 3.30 3.15 11442 4692 11108 50K 16.39 7.05
41.57/31.35 c (21,0) c [distill] long cls tried: 3737/11422 cl-short:3709 lit-r:6247 T: 0.52 T-out: N T-r: 94.98%
43.18/32.92 c (22,0) c luby 0 515 90K 8882 153K 19230 3.30 3.15 13437 5527 14092 50K 24.40 10.87
44.88/34.68 c (24,0) c luby 0 547 98K 8882 153K 19230 3.30 3.15 14240 7736 19257 50K 24.85 12.28
46.48/36.23 c (26,0) c [distill] long cls tried: 4276/15559 cl-short:4271 lit-r:8636 T: 0.71 T-out: N T-r: 93.61%
47.28/37.09 c (27,0) c luby 0 572 106K 8882 153K 19230 3.30 3.15 16145 8740 17705 50K 23.89 12.01
49.08/38.85 c (28,0) c luby 0 573 114K 8882 153K 19230 3.30 3.15 18052 7269 25K 50K 26.09 14.07
50.88/40.68 c (30,0) c luby 0 604 122K 8882 153K 19230 3.30 3.15 20K 7187 24K 50K 21.18 11.70
52.49/42.29 c (32,0) c [distill] long cls tried: 4830/20221 cl-short:4829 lit-r:9635 T: 0.87 T-out: N T-r: 92.12%
53.59/43.37 c (33,0) c luby 0 635 131K 8882 153K 19230 3.30 3.15 21K 6138 32K 50K 22.77 13.23
55.59/45.30 c (35,0) c luby 0 662 139K 8882 153K 19230 3.30 3.15 22K 8949 25K 50K 20.28 11.64
57.60/47.31 c (37,0) c luby 0 695 147K 8882 153K 19230 3.30 3.15 23K 7696 33K 50K 21.40 12.88
59.60/49.31 c (39,0) c luby 0 700 155K 8882 153K 19230 3.30 3.15 25K 7481 29K 50K 22.10 13.06
59.70/49.46 c (39,0) c ------- FINAL TOTAL SEARCH STATS ---------
59.70/49.46 c (39,0) c UIP search time : 33.83 (86.62 % time)
59.70/49.46 c (39,0) c restarts : 700 (223.28 confls per restart)
59.70/49.46 c (39,0) c blocked restarts : 183 (0.26 per normal restart)
59.70/49.46 c (39,0) c time : 33.83
59.70/49.46 c (39,0) c decisions : 458520 (0.00 % random)
59.70/49.46 c (39,0) c propagations : 116237704
59.70/49.46 c (39,0) c decisions/conflicts : 2.93
59.70/49.46 c (39,0) c conflicts : 156294 (4620.29 / sec)
59.70/49.46 c (39,0) c conf lits non-minim : 5691324 (36.41 lit/confl)
59.70/49.46 c (39,0) c conf lits final : 29.10
59.70/49.46 c (39,0) c cache hit re-learnt cl : 0 (0.00 % of confl)
59.70/49.46 c (39,0) c red which0 : 16136 (10.32 % of confl)
59.70/49.46 c (39,0) c props/decision : 0.00
59.70/49.46 c (39,0) c props/conflict : 0.00
59.70/49.46 c (39,0) c 0-depth assigns : 2002 (22.54 % vars)
59.70/49.46 c (39,0) c 0-depth assigns by CNF : 0 (0.00 % vars)
59.70/49.46 c (39,0) c reduceDB time : 0.06 (0.16 % time)
59.70/49.46 c (39,0) c OccSimplifier time : 0.75 (1.93 % time)
59.70/49.46 c (39,0) c [occur] 0.10 is overhead
59.70/49.46 c (39,0) c [occur] link-in T: 0.07 cleanup T: 0.03
59.70/49.46 c (39,0) c [occ-substr] long subBySub: 950 subByStr: 4 lits-rem-str: 5125 T: 0.39
59.70/49.46 c (39,0) c SCC time : 0.02 (0.05 % time)
59.70/49.46 c (39,0) c [scc] new: 685 BP 0M T: 0.02
59.70/49.46 c (39,0) c vrep replace time : 0.11 (0.29 % time)
59.70/49.46 c (39,0) c vrep tree roots : 206
59.70/49.46 c (39,0) c vrep trees' crown : 448 (2.17 leafs/tree)
59.70/49.46 c (39,0) c distill time : 8.62 (22.07 % time)
59.70/49.46 c (39,0) c strength cache-irred time: 0.52 (1.34 % time)
59.70/49.46 c (39,0) c strength cache-red time : 0.07 (0.18 % time)
59.70/49.46 c (39,0) c Conflicts in UIP : 156294 (4002.03 confl/time_this_thread)
59.70/49.46 c (39,0) c Mem used : 73.22 MB
59.70/49.46 c (39,0) c Total time (this thread) : 39.05
59.70/49.46 c (39,0) s SATISFIABLE
59.86/49.56 c (39,0) SatSolver.solve End
59.86/49.56 c (39,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
59.86/49.56 c (39,0) Show results Begin
60.21/49.62 c (39,0) x[0] = 0
60.21/49.62 c (39,0) x[1] = 10
60.21/49.62 c (39,0) x[2] = 20
60.21/49.62 c (39,0) x[3] = 37
60.21/49.62 c (39,0) x[4] = 27
60.21/49.62 c (39,0) x[5] = 12
60.21/49.62 c (39,0) x[6] = 2
60.21/49.62 c (39,0) x[7] = 8
60.21/49.62 c (39,0) x[8] = 25
60.21/49.62 c (39,0) x[9] = 40
60.21/49.62 c (39,0) x[10] = 57
60.21/49.62 c (39,0) x[11] = 42
60.21/49.62 c (39,0) x[12] = 32
60.21/49.62 c (39,0) x[13] = 49
60.21/49.62 c (39,0) x[14] = 59
60.21/49.62 c (39,0) x[15] = 53
60.21/49.62 c (39,0) x[16] = 63
60.21/49.62 c (39,0) x[17] = 46
60.21/49.62 c (39,0) x[18] = 31
60.21/49.62 c (39,0) x[19] = 14
60.21/49.62 c (39,0) x[20] = 29
60.21/49.62 c (39,0) x[21] = 35
60.21/49.62 c (39,0) x[22] = 50
60.21/49.62 c (39,0) x[23] = 56
60.21/49.62 c (39,0) x[24] = 41
60.21/49.62 c (39,0) x[25] = 24
60.21/49.62 c (39,0) x[26] = 34
60.21/49.62 c (39,0) x[27] = 44
60.21/49.62 c (39,0) x[28] = 61
60.21/49.62 c (39,0) x[29] = 55
60.21/49.62 c (39,0) x[30] = 38
60.21/49.62 c (39,0) x[31] = 23
60.21/49.62 c (39,0) x[32] = 6
60.21/49.62 c (39,0) x[33] = 21
60.21/49.62 c (39,0) x[34] = 4
60.21/49.62 c (39,0) x[35] = 19
60.21/49.62 c (39,0) x[36] = 36
60.21/49.62 c (39,0) x[37] = 51
60.21/49.62 c (39,0) x[38] = 45
60.21/49.62 c (39,0) x[39] = 60
60.21/49.62 c (39,0) x[40] = 54
60.21/49.62 c (39,0) x[41] = 39
60.21/49.62 c (39,0) x[42] = 22
60.21/49.62 c (39,0) x[43] = 7
60.21/49.62 c (39,0) x[44] = 13
60.21/49.62 c (39,0) x[45] = 3
60.21/49.62 c (39,0) x[46] = 9
60.21/49.62 c (39,0) x[47] = 26
60.21/49.62 c (39,0) x[48] = 16
60.21/49.62 c (39,0) x[49] = 1
60.21/49.62 c (39,0) x[50] = 18
60.21/49.62 c (39,0) x[51] = 28
60.21/49.62 c (39,0) x[52] = 43
60.21/49.62 c (39,0) x[53] = 33
60.21/49.62 c (39,0) x[54] = 48
60.21/49.62 c (39,0) x[55] = 58
60.21/49.62 c (39,0) x[56] = 52
60.21/49.62 c (39,0) x[57] = 62
60.21/49.62 c (39,0) x[58] = 47
60.21/49.62 c (39,0) x[59] = 30
60.21/49.62 c (39,0) x[60] = 15
60.21/49.62 c (39,0) x[61] = 5
60.21/49.62 c (39,0) x[62] = 11
60.21/49.62 c (39,0) x[63] = 17
60.21/49.62 s SATISFIABLE
60.21/49.63 v <instantiation>
60.21/49.63 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63]</list>
60.21/49.63 v <values>0 10 20 37 27 12 2 8 25 40 57 42 32 49 59 53 63 46 31 14 29 35 50 56 41 24 34 44 61 55 38 23 6 21 4 19 36 51 45 60 54 39 22 7 13 3 9 26 16 1 18 28 43 33 48 58 52 62 47 30 15 5 11 17</values>
60.21/49.63 v </instantiation>
60.21/49.63 c (39,0) Show results End
60.21/49.63 c (39,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
60.21/49.63 c (39,0) 39,39,STOP-AFTER(ALL)
60.21/49.63 c END-Prog: Thu Sep 12 15:50:45 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 (9000 MiB free)
memory of node 1: 16384 MiB (15041 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388164-1568296095/watcher-4388164-1568296095 -o /tmp/evaluation-result-4388164-1568296095/solver-4388164-1568296095 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568287468-5189 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388164-1568296095.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8018, runsolver pid=8015
[startup+0.10006 s]*
/proc/loadavg: 2.17 2.07 2.06 4/227 8035
/proc/meminfo: memFree=24553940/32770624 swapFree=66901228/67108860
[pid=8018] ppid=8015 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8018/stat : 8018 (scop.sh) S 8015 8018 3961 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405877016 115843072 349 33554432000 4194304 5098028 140735132885072 140735132882328 139960521417340 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40271872 140735132894051 140735132894320 140735132894320 140735132897229 0
/proc/8018/statm: 28282 349 296 221 0 87 0
[pid=8021] ppid=8018 vsize=15012696 memory=73804 CPUtime=0.11 cores=0,2,4,6
/proc/8021/stat : 8021 (java) S 8018 8018 3961 0 -1 1077944320 6223 0 0 0 10 1 0 0 20 0 15 0 405877017 15373000704 18451 33554432000 4194304 4196468 140728823708032 140728823690576 140419802046199 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
/proc/8021/statm: 3753174 18451 2890 1 0 3715579 0
[pid=8021/tid=8022] ppid=8018 vsize=15013720 memory=7971549067829547867 CPUtime=0.09 cores=0,2,4,6
/proc/8021/task/8022/stat : 8022 (java) R 8018 8018 3961 0 -1 4202560 4151 0 0 0 8 1 0 0 20 0 15 0 405877017 15374049280 18648 33554432000 4194304 4196468 140728823708032 140419773830448 140419794725917 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8023] ppid=8018 vsize=15013720 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8023/stat : 8023 (java) S 8018 8018 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405877019 15374049280 18648 33554432000 4194304 4196468 140728823708032 140419806288400 140419802056405 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8024] ppid=8018 vsize=15013720 memory=140404275934848 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8024/stat : 8024 (java) S 8018 8018 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405877019 15374049280 18648 33554432000 4194304 4196468 140728823708032 140419597372048 140419802056405 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8025] ppid=8018 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8025/stat : 8025 (java) S 8018 8018 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405877019 15374049280 18648 33554432000 4194304 4196468 140728823708032 140419596318992 140419802056405 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8026] ppid=8018 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8026/stat : 8026 (java) S 8018 8018 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405877019 15374049280 18648 33554432000 4194304 4196468 140728823708032 140419595266448 140419802056405 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8027] ppid=8018 vsize=15013720 memory=140404275934848 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8027/stat : 8027 (java) S 8018 8018 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405877020 15374049280 18714 33554432000 4194304 4196468 140728823708032 140419141552880 140419802057346 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8028] ppid=8018 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8028/stat : 8028 (java) S 8018 8018 3961 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405877021 15374049280 18714 33554432000 4194304 4196468 140728823708032 140418419254944 140419802056405 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8029] ppid=8018 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8029/stat : 8029 (java) S 8018 8018 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405877021 15374049280 18714 33554432000 4194304 4196468 140728823708032 140418184373488 140419802056405 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8030] ppid=8018 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8030/stat : 8030 (java) S 8018 8018 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405877023 15374049280 18714 33554432000 4194304 4196468 140728823708032 140417809865168 140419802064795 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8031] ppid=8018 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8031/stat : 8031 (java) S 8018 8018 3961 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 405877023 15374049280 18714 33554432000 4194304 4196468 140728823708032 140419140499696 140419802057346 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8032] ppid=8018 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8032/stat : 8032 (java) S 8018 8018 3961 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 405877023 15374049280 18714 33554432000 4194304 4196468 140728823708032 140419139447152 140419802057346 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8033] ppid=8018 vsize=15013720 memory=140404275934848 CPUtime=0.01 cores=0,2,4,6
/proc/8021/task/8033/stat : 8033 (java) S 8018 8018 3961 0 -1 1077944384 464 0 0 0 1 0 0 0 20 0 15 0 405877023 15374049280 18714 33554432000 4194304 4196468 140728823708032 140419138394096 140419802057346 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8034] ppid=8018 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8034/stat : 8034 (java) S 8018 8018 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405877023 15374049280 18714 33554432000 4194304 4196468 140728823708032 140417311959392 140419802056405 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8035] ppid=8018 vsize=15013720 memory=140404275934848 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8035/stat : 8035 (java) S 8018 8018 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405877024 15374049280 18714 33554432000 4194304 4196468 140728823708032 140419137342512 140419802057346 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 75200 KiB
[startup+0.210637 s]*
/proc/loadavg: 2.17 2.07 2.06 3/227 8035
/proc/meminfo: memFree=24517192/32770624 swapFree=66901228/67108860
[pid=8018] ppid=8015 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8018/stat : 8018 (scop.sh) S 8015 8018 3961 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405877016 115843072 349 33554432000 4194304 5098028 140735132885072 140735132882328 139960521417340 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40271872 140735132894051 140735132894320 140735132894320 140735132897229 0
/proc/8018/statm: 28282 349 296 221 0 87 0
[pid=8021] ppid=8018 vsize=15012696 memory=86780 CPUtime=0.25 cores=0,2,4,6
/proc/8021/stat : 8021 (java) S 8018 8018 3961 0 -1 1077944320 10734 0 0 0 22 3 0 0 20 0 15 0 405877017 15373000704 21695 33554432000 4194304 4196468 140728823708032 140728823690576 140419802046199 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
/proc/8021/statm: 3753174 21695 2955 1 0 3715579 0
[pid=8021/tid=8022] ppid=8018 vsize=15012696 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/8021/task/8022/stat : 8022 (java) R 8018 8018 3961 0 -1 4202560 8461 0 0 0 17 2 0 0 20 0 15 0 405877017 15373000704 21695 33554432000 4194304 4196468 140728823708032 140419773845584 140419802058134 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8023] ppid=8018 vsize=15012696 memory=12638 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8023/stat : 8023 (java) S 8018 8018 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405877019 15373000704 21695 33554432000 4194304 4196468 140728823708032 140419806288400 140419802056405 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8024] ppid=8018 vsize=15012696 memory=140404278337265 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8024/stat : 8024 (java) S 8018 8018 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405877019 15373000704 21695 33554432000 4194304 4196468 140728823708032 140419597372048 140419802056405 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8025] ppid=8018 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8025/stat : 8025 (java) S 8018 8018 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405877019 15373000704 21695 33554432000 4194304 4196468 140728823708032 140419596318992 140419802056405 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8026] ppid=8018 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8026/stat : 8026 (java) S 8018 8018 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405877019 15373000704 21695 33554432000 4194304 4196468 140728823708032 140419595266448 140419802056405 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8027] ppid=8018 vsize=15012696 memory=140404275934848 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8027/stat : 8027 (java) S 8018 8018 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405877020 15373000704 21695 33554432000 4194304 4196468 140728823708032 140419141552880 140419802057346 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8028] ppid=8018 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8028/stat : 8028 (java) S 8018 8018 3961 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405877021 15373000704 21695 33554432000 4194304 4196468 140728823708032 140418419254944 140419802056405 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8029] ppid=8018 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8029/stat : 8029 (java) S 8018 8018 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405877021 15373000704 21695 33554432000 4194304 4196468 140728823708032 140418184373488 140419802056405 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8030] ppid=8018 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8030/stat : 8030 (java) S 8018 8018 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405877023 15373000704 21695 33554432000 4194304 4196468 140728823708032 140417809865168 140419802064795 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8031] ppid=8018 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8031/stat : 8031 (java) S 8018 8018 3961 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 405877023 15373000704 21695 33554432000 4194304 4196468 140728823708032 140419140499696 140419802057346 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8032] ppid=8018 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8032/stat : 8032 (java) S 8018 8018 3961 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 15 0 405877023 15373000704 21695 33554432000 4194304 4196468 140728823708032 140419139447152 140419802057346 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8033] ppid=8018 vsize=15012696 memory=140404275934848 CPUtime=0.02 cores=0,2,4,6
/proc/8021/task/8033/stat : 8033 (java) R 8018 8018 3961 0 -1 4202560 478 0 0 0 2 0 0 0 20 0 15 0 405877023 15373000704 21695 33554432000 4194304 4196468 140728823708032 140419138394096 140419780680087 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8034] ppid=8018 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8034/stat : 8034 (java) S 8018 8018 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405877023 15373000704 21695 33554432000 4194304 4196468 140728823708032 140417311959392 140419802056405 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8035] ppid=8018 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8035/stat : 8035 (java) S 8018 8018 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405877024 15373000704 21695 33554432000 4194304 4196468 140728823708032 140419137342512 140419802057346 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 88176 KiB
[startup+0.310573 s]*
/proc/loadavg: 2.17 2.07 2.06 4/227 8035
/proc/meminfo: memFree=24510448/32770624 swapFree=66901228/67108860
[pid=8018] ppid=8015 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8018/stat : 8018 (scop.sh) S 8015 8018 3961 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405877016 115843072 349 33554432000 4194304 5098028 140735132885072 140735132882328 139960521417340 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40271872 140735132894051 140735132894320 140735132894320 140735132897229 0
/proc/8018/statm: 28282 349 296 221 0 87 0
[pid=8021] ppid=8018 vsize=15012696 memory=90464 CPUtime=0.43 cores=0,2,4,6
/proc/8021/stat : 8021 (java) S 8018 8018 3961 0 -1 1077944320 11671 0 0 0 39 4 0 0 20 0 15 0 405877017 15373000704 22616 33554432000 4194304 4196468 140728823708032 140728823690576 140419802046199 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
/proc/8021/statm: 3753174 22616 3034 1 0 3715579 0
[pid=8021/tid=8022] ppid=8018 vsize=15012696 memory=8112282956445269571 CPUtime=0.3 cores=0,2,4,6
/proc/8021/task/8022/stat : 8022 (java) R 8018 8018 3961 0 -1 4202560 9217 0 0 0 27 3 0 0 20 0 15 0 405877017 15373000704 22616 33554432000 4194304 4196468 140728823708032 140419773831184 140419783609755 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8023] ppid=8018 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8023/stat : 8023 (java) S 8018 8018 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405877019 15373000704 22616 33554432000 4194304 4196468 140728823708032 140419806288400 140419802056405 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8024] ppid=8018 vsize=15012696 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8024/stat : 8024 (java) S 8018 8018 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405877019 15373000704 22616 33554432000 4194304 4196468 140728823708032 140419597372048 140419802056405 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8025] ppid=8018 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8025/stat : 8025 (java) S 8018 8018 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405877019 15373000704 22616 33554432000 4194304 4196468 140728823708032 140419596318992 140419802056405 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8026] ppid=8018 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8026/stat : 8026 (java) S 8018 8018 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405877019 15373000704 22616 33554432000 4194304 4196468 140728823708032 140419595266448 140419802056405 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8027] ppid=8018 vsize=15012696 memory=7079758230011356562 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8027/stat : 8027 (java) S 8018 8018 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405877020 15373000704 22616 33554432000 4194304 4196468 140728823708032 140419141552880 140419802057346 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8028] ppid=8018 vsize=15012696 memory=6944938067432061290 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8028/stat : 8028 (java) S 8018 8018 3961 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405877021 15373000704 22616 33554432000 4194304 4196468 140728823708032 140418419254944 140419802056405 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8029] ppid=8018 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8029/stat : 8029 (java) S 8018 8018 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405877021 15373000704 22616 33554432000 4194304 4196468 140728823708032 140418184373488 140419802056405 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8030] ppid=8018 vsize=15012696 memory=7100839852926015589 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8030/stat : 8030 (java) S 8018 8018 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405877023 15373000704 22616 33554432000 4194304 4196468 140728823708032 140417809865168 140419802064795 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8031] ppid=8018 vsize=15012696 memory=-8412656567168561567 CPUtime=0.02 cores=0,2,4,6
/proc/8021/task/8031/stat : 8031 (java) S 8018 8018 3961 0 -1 1077944384 390 0 0 0 2 0 0 0 20 0 15 0 405877023 15373000704 22616 33554432000 4194304 4196468 140728823708032 140419140499696 140419802057346 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8032] ppid=8018 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8021/task/8032/stat : 8032 (java) S 8018 8018 3961 0 -1 1077944384 234 0 0 0 2 0 0 0 20 0 15 0 405877023 15373000704 22616 33554432000 4194304 4196468 140728823708032 140419139447152 140419802057346 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8033] ppid=8018 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8021/task/8033/stat : 8033 (java) S 8018 8018 3961 0 -1 1077944384 500 0 0 0 7 0 0 0 20 0 15 0 405877023 15373000704 22616 33554432000 4194304 4196468 140728823708032 140419138394096 140419802057346 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8034] ppid=8018 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8034/stat : 8034 (java) S 8018 8018 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405877023 15373000704 22616 33554432000 4194304 4196468 140728823708032 140417311959392 140419802056405 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8035] ppid=8018 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8035/stat : 8035 (java) S 8018 8018 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405877024 15373000704 22616 33554432000 4194304 4196468 140728823708032 140419137342512 140419802057346 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91860 KiB
[startup+0.701707 s]
/proc/loadavg: 2.17 2.07 2.06 3/227 8035
/proc/meminfo: memFree=24412652/32770624 swapFree=66901228/67108860
[pid=8018] ppid=8015 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8018/stat : 8018 (scop.sh) S 8015 8018 3961 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405877016 115843072 349 33554432000 4194304 5098028 140735132885072 140735132882328 139960521417340 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40271872 140735132894051 140735132894320 140735132894320 140735132897229 0
/proc/8018/statm: 28282 349 296 221 0 87 0
[pid=8021] ppid=8018 vsize=15021092 memory=130360 CPUtime=1.01 cores=0,2,4,6
/proc/8021/stat : 8021 (java) S 8018 8018 3961 0 -1 1077944320 19324 0 0 0 95 6 0 0 20 0 15 0 405877017 15381598208 32590 33554432000 4194304 4196468 140728823708032 140728823690576 140419802046199 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
/proc/8021/statm: 3755273 32590 3209 1 0 3716603 0
[pid=8021/tid=8022] ppid=8018 vsize=15022116 memory=36736 CPUtime=0.67 cores=0,2,4,6
/proc/8021/task/8022/stat : 8022 (java) R 8018 8018 3961 0 -1 4202560 16409 0 0 0 62 5 0 0 20 0 15 0 405877017 15382646784 32590 33554432000 4194304 4196468 140728823708032 140419773854976 140419794725917 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8023] ppid=8018 vsize=15022116 memory=988 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8023/stat : 8023 (java) S 8018 8018 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405877019 15382646784 32590 33554432000 4194304 4196468 140728823708032 140419806288400 140419802056405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8024] ppid=8018 vsize=15022116 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8024/stat : 8024 (java) S 8018 8018 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405877019 15382646784 32590 33554432000 4194304 4196468 140728823708032 140419597372048 140419802056405 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8025] ppid=8018 vsize=15021092 memory=1268 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8025/stat : 8025 (java) S 8018 8018 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405877019 15381598208 32590 33554432000 4194304 4196468 140728823708032 140419596318992 140419802056405 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8026] ppid=8018 vsize=15021092 memory=10728 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8026/stat : 8026 (java) S 8018 8018 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405877019 15381598208 32590 33554432000 4194304 4196468 140728823708032 140419595266448 140419802056405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8027] ppid=8018 vsize=15022116 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8027/stat : 8027 (java) S 8018 8018 3961 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405877020 15382646784 32590 33554432000 4194304 4196468 140728823708032 140419141552880 140419802057346 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8028] ppid=8018 vsize=15022116 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8028/stat : 8028 (java) S 8018 8018 3961 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405877021 15382646784 32590 33554432000 4194304 4196468 140728823708032 140418419254944 140419802056405 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8029] ppid=8018 vsize=15022116 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8029/stat : 8029 (java) S 8018 8018 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405877021 15382646784 32590 33554432000 4194304 4196468 140728823708032 140418184373488 140419802056405 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8030] ppid=8018 vsize=15022116 memory=624 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8030/stat : 8030 (java) S 8018 8018 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405877023 15382646784 32590 33554432000 4194304 4196468 140728823708032 140417809865168 140419802064795 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8031] ppid=8018 vsize=15021092 memory=1060 CPUtime=0.08 cores=0,2,4,6
/proc/8021/task/8031/stat : 8031 (java) S 8018 8018 3961 0 -1 1077944384 608 0 0 0 8 0 0 0 20 0 15 0 405877023 15381598208 32590 33554432000 4194304 4196468 140728823708032 140419140499696 140419802057346 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8032] ppid=8018 vsize=15021092 memory=1724 CPUtime=0.09 cores=0,2,4,6
/proc/8021/task/8032/stat : 8032 (java) S 8018 8018 3961 0 -1 1077944384 426 0 0 0 9 0 0 0 20 0 15 0 405877023 15381598208 32590 33554432000 4194304 4196468 140728823708032 140419139447152 140419802057346 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8033] ppid=8018 vsize=15022116 memory=1096 CPUtime=0.14 cores=0,2,4,6
/proc/8021/task/8033/stat : 8033 (java) R 8018 8018 3961 0 -1 4202560 569 0 0 0 14 0 0 0 20 0 15 0 405877023 15382646784 32590 33554432000 4194304 4196468 140728823708032 140419138394096 140419781181952 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8034] ppid=8018 vsize=15022116 memory=1192 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8034/stat : 8034 (java) S 8018 8018 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405877023 15382646784 32590 33554432000 4194304 4196468 140728823708032 140417311959392 140419802056405 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
[pid=8021/tid=8035] ppid=8018 vsize=15022116 memory=5940 CPUtime=0 cores=0,2,4,6
/proc/8021/task/8035/stat : 8035 (java) S 8018 8018 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405877024 15382646784 32590 33554432000 4194304 4196468 140728823708032 140419137342512 140419802057346 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30310400 140728823714602 140728823714970 140728823714970 140728823717839 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 131756 KiB
[startup+1.51066 s]
/proc/loadavg: 2.17 2.07 2.06 5/227 8035
/proc/meminfo: memFree=23910360/32770624 swapFree=66901228/67108860
[pid=8018] ppid=8015 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8018/stat : 8018 (scop.sh) S 8015 8018 3961 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405877016 115843072 349 33554432000 4194304 5098028 140735132885072 140735132882328 139960521417340 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40271872 140735132894051 140735132894320 140735132894320 140735132897229 0
/proc/8018/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/8043/task/8059/stat : 8059 (java) S 8018 8018 3961 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 405878049 8262082560 30855 33554432000 4194304 4196468 140722092399872 140537907049536 140538453896985 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8061] ppid=8018 vsize=8068440 memory=4112 CPUtime=0.02 cores=0,2,4,6
/proc/8043/task/8061/stat : 8061 (java) S 8018 8018 3961 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 405878049 8262082560 30855 33554432000 4194304 4196468 140722092399872 140535691980432 140538453894301 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8062] ppid=8018 vsize=8068440 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/8043/task/8062/stat : 8062 (java) S 8018 8018 3961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405878050 8262082560 30855 33554432000 4194304 4196468 140722092399872 140535423549232 140538453894301 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8063] ppid=8018 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/8043/task/8063/stat : 8063 (java) S 8018 8018 3961 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 405878051 8262082560 30855 33554432000 4194304 4196468 140722092399872 140535826210352 140538453882581 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
Current children cumulated CPU time: 58.31 s
Current children cumulated vsize: 8283444 KiB
Current children cumulated memory: 197616 KiB
[startup+48.801 s]
/proc/loadavg: 2.33 2.15 2.09 3/232 8066
/proc/meminfo: memFree=20011304/32770624 swapFree=66901228/67108860
[pid=8018] ppid=8015 vsize=113128 memory=1476 CPUtime=19.33 cores=0,2,4,6
/proc/8018/stat : 8018 (scop.sh) S 8015 8018 3961 0 -1 4202496 582 35393 0 0 0 0 1863 70 20 0 1 0 405877016 115843072 369 33554432000 4194304 5098028 140735132885072 140735132881816 139960521417340 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40271872 140735132894051 140735132894320 140735132894320 140735132897229 0
/proc/8018/statm: 28282 369 311 221 0 87 0
[pid=8043] ppid=8018 vsize=8068440 memory=123420 CPUtime=1.31 cores=0,2,4,6
/proc/8043/stat : 8043 (java) S 8018 8018 3961 0 -1 1077944320 20287 0 0 0 123 8 0 0 20 0 19 0 405877972 8262082560 30855 33554432000 4194304 4196468 140722092399872 140722092382416 140538453872375 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
/proc/8043/statm: 2017110 30855 3203 1 0 1978454 0
[pid=8058] ppid=8043 vsize=101876 memory=74768 CPUtime=38.46 cores=0,2,4,6
/proc/8058/stat : 8058 (cryptominisat5) R 8043 8018 3961 0 -1 4202496 48674 0 0 0 3839 7 0 0 20 0 1 0 405878049 104321024 18692 33554432000 4194304 4451008 140731318475152 140731318471080 140507796965827 0 4 0 2 0 0 0 17 2 0 0 0 0 0 6549032 6559120 30511104 140731318477757 140731318477888 140731318477888 140731318480838 0
/proc/8058/statm: 25469 18692 741 63 0 19196 0
[pid=8043/tid=8044] ppid=8018 vsize=8068440 memory=123420 CPUtime=0.79 cores=0,2,4,6
/proc/8043/task/8044/stat : 8044 (java) S 8018 8018 3961 0 -1 1077944384 16827 0 0 0 73 6 0 0 20 0 19 0 405877973 8262082560 30855 33554432000 4194304 4196468 140722092399872 140538425712544 140538453882581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8045] ppid=8018 vsize=8068440 memory=75312 CPUtime=0 cores=0,2,4,6
/proc/8043/task/8045/stat : 8045 (java) S 8018 8018 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405877974 8262082560 30855 33554432000 4194304 4196468 140722092399872 140538458114832 140538453882581 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8046] ppid=8018 vsize=8068440 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/8043/task/8046/stat : 8046 (java) S 8018 8018 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405877974 8262082560 30855 33554432000 4194304 4196468 140722092399872 140538258283408 140538453882581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8047] ppid=8018 vsize=8068440 memory=33 CPUtime=0 cores=0,2,4,6
/proc/8043/task/8047/stat : 8047 (java) S 8018 8018 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405877974 8262082560 30855 33554432000 4194304 4196468 140722092399872 140538257230864 140538453882581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8048] ppid=8018 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/8043/task/8048/stat : 8048 (java) S 8018 8018 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405877974 8262082560 30855 33554432000 4194304 4196468 140722092399872 140538256178320 140538453882581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8049] ppid=8018 vsize=8068440 memory=123420 CPUtime=0 cores=0,2,4,6
/proc/8043/task/8049/stat : 8049 (java) S 8018 8018 3961 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 405877975 8262082560 30855 33554432000 4194304 4196468 140722092399872 140537496565744 140538453883522 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8050] ppid=8018 vsize=8068440 memory=72720 CPUtime=0 cores=0,2,4,6
/proc/8043/task/8050/stat : 8050 (java) S 8018 8018 3961 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405877976 8262082560 30855 33554432000 4194304 4196468 140722092399872 140537369715616 140538453882581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8051] ppid=8018 vsize=8068440 memory=928 CPUtime=0 cores=0,2,4,6
/proc/8043/task/8051/stat : 8051 (java) S 8018 8018 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405877976 8262082560 30855 33554432000 4194304 4196468 140722092399872 140537101280240 140538453882581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8052] ppid=8018 vsize=8068440 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/8043/task/8052/stat : 8052 (java) S 8018 8018 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405877978 8262082560 30855 33554432000 4194304 4196468 140722092399872 140536726771920 140538453890971 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8053] ppid=8018 vsize=8068440 memory=2444 CPUtime=0.1 cores=0,2,4,6
/proc/8043/task/8053/stat : 8053 (java) S 8018 8018 3961 0 -1 1077944384 740 0 0 0 10 0 0 0 20 0 19 0 405877978 8262082560 30855 33554432000 4194304 4196468 140722092399872 140537495513584 140538453883522 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8054] ppid=8018 vsize=8068440 memory=1776 CPUtime=0.09 cores=0,2,4,6
/proc/8043/task/8054/stat : 8054 (java) S 8018 8018 3961 0 -1 1077944384 258 0 0 0 9 0 0 0 20 0 19 0 405877978 8262082560 30855 33554432000 4194304 4196468 140722092399872 140537494461040 140538453883522 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8055] ppid=8018 vsize=8068440 memory=828 CPUtime=0.24 cores=0,2,4,6
/proc/8043/task/8055/stat : 8055 (java) S 8018 8018 3961 0 -1 1077944384 1058 0 0 0 24 0 0 0 20 0 19 0 405877978 8262082560 30855 33554432000 4194304 4196468 140722092399872 140537493408496 140538453883522 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8056] ppid=8018 vsize=8068440 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8043/task/8056/stat : 8056 (java) S 8018 8018 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405877979 8262082560 30855 33554432000 4194304 4196468 140722092399872 140536228867168 140538453882581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8057] ppid=8018 vsize=8068440 memory=1748 CPUtime=0.02 cores=0,2,4,6
/proc/8043/task/8057/stat : 8057 (java) S 8018 8018 3961 0 -1 1077944384 5 0 0 0 1 1 0 0 20 0 19 0 405877979 8262082560 30855 33554432000 4194304 4196468 140722092399872 140537492355376 140538453883522 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8059] ppid=8018 vsize=8068440 memory=74768 CPUtime=0 cores=0,2,4,6
/proc/8043/task/8059/stat : 8059 (java) S 8018 8018 3961 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 405878049 8262082560 30855 33554432000 4194304 4196468 140722092399872 140537907049536 140538453896985 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8061] ppid=8018 vsize=8068440 memory=-3622645143214314312 CPUtime=0.02 cores=0,2,4,6
/proc/8043/task/8061/stat : 8061 (java) S 8018 8018 3961 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 405878049 8262082560 30855 33554432000 4194304 4196468 140722092399872 140535691980432 140538453894301 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8062] ppid=8018 vsize=8068440 memory=928 CPUtime=0 cores=0,2,4,6
/proc/8043/task/8062/stat : 8062 (java) S 8018 8018 3961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405878050 8262082560 30855 33554432000 4194304 4196468 140722092399872 140535423549232 140538453894301 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8063] ppid=8018 vsize=8068440 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/8043/task/8063/stat : 8063 (java) S 8018 8018 3961 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 405878051 8262082560 30855 33554432000 4194304 4196468 140722092399872 140535826210352 140538453882581 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
Current children cumulated CPU time: 59.1 s
Current children cumulated vsize: 8283444 KiB
Current children cumulated memory: 199664 KiB
[startup+49.201 s]
/proc/loadavg: 2.33 2.15 2.09 3/232 8066
/proc/meminfo: memFree=19997888/32770624 swapFree=66901228/67108860
[pid=8018] ppid=8015 vsize=113128 memory=1476 CPUtime=19.33 cores=0,2,4,6
/proc/8018/stat : 8018 (scop.sh) S 8015 8018 3961 0 -1 4202496 582 35393 0 0 0 0 1863 70 20 0 1 0 405877016 115843072 369 33554432000 4194304 5098028 140735132885072 140735132881816 139960521417340 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40271872 140735132894051 140735132894320 140735132894320 140735132897229 0
/proc/8018/statm: 28282 369 311 221 0 87 0
[pid=8043] ppid=8018 vsize=8068440 memory=123420 CPUtime=1.31 cores=0,2,4,6
/proc/8043/stat : 8043 (java) S 8018 8018 3961 0 -1 1077944320 20287 0 0 0 123 8 0 0 20 0 19 0 405877972 8262082560 30855 33554432000 4194304 4196468 140722092399872 140722092382416 140538453872375 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
/proc/8043/statm: 2017110 30855 3203 1 0 1978454 0
[pid=8058] ppid=8043 vsize=101876 memory=74768 CPUtime=38.86 cores=0,2,4,6
/proc/8058/stat : 8058 (cryptominisat5) R 8043 8018 3961 0 -1 4202496 48674 0 0 0 3879 7 0 0 20 0 1 0 405878049 104321024 18692 33554432000 4194304 4451008 140731318475152 140731318471080 140507796689060 0 4 0 2 0 0 0 17 2 0 0 0 0 0 6549032 6559120 30511104 140731318477757 140731318477888 140731318477888 140731318480838 0
/proc/8058/statm: 25469 18692 741 63 0 19196 0
[pid=8043/tid=8044] ppid=8018 vsize=8068440 memory=-3622645143214314312 CPUtime=0.79 cores=0,2,4,6
/proc/8043/task/8044/stat : 8044 (java) S 8018 8018 3961 0 -1 1077944384 16827 0 0 0 73 6 0 0 20 0 19 0 405877973 8262082560 30855 33554432000 4194304 4196468 140722092399872 140538425712544 140538453882581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8045] ppid=8018 vsize=8068440 memory=288230583166042426 CPUtime=0 cores=0,2,4,6
/proc/8043/task/8045/stat : 8045 (java) S 8018 8018 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405877974 8262082560 30855 33554432000 4194304 4196468 140722092399872 140538458114832 140538453882581 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8046] ppid=8018 vsize=8068440 memory=15823283127847325 CPUtime=0 cores=0,2,4,6
/proc/8043/task/8046/stat : 8046 (java) S 8018 8018 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405877974 8262082560 30855 33554432000 4194304 4196468 140722092399872 140538258283408 140538453882581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8047] ppid=8018 vsize=8068440 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/8043/task/8047/stat : 8047 (java) S 8018 8018 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405877974 8262082560 30855 33554432000 4194304 4196468 140722092399872 140538257230864 140538453882581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8048] ppid=8018 vsize=8068440 memory=288230583166042426 CPUtime=0 cores=0,2,4,6
/proc/8043/task/8048/stat : 8048 (java) S 8018 8018 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405877974 8262082560 30855 33554432000 4194304 4196468 140722092399872 140538256178320 140538453882581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8049] ppid=8018 vsize=8068440 memory=15823283127847325 CPUtime=0 cores=0,2,4,6
/proc/8043/task/8049/stat : 8049 (java) S 8018 8018 3961 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 405877975 8262082560 30855 33554432000 4194304 4196468 140722092399872 140537496565744 140538453883522 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8050] ppid=8018 vsize=8068440 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/8043/task/8050/stat : 8050 (java) S 8018 8018 3961 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405877976 8262082560 30855 33554432000 4194304 4196468 140722092399872 140537369715616 140538453882581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8051] ppid=8018 vsize=8068440 memory=920 CPUtime=0 cores=0,2,4,6
/proc/8043/task/8051/stat : 8051 (java) S 8018 8018 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405877976 8262082560 30855 33554432000 4194304 4196468 140722092399872 140537101280240 140538453882581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8052] ppid=8018 vsize=8068440 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/8043/task/8052/stat : 8052 (java) S 8018 8018 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405877978 8262082560 30855 33554432000 4194304 4196468 140722092399872 140536726771920 140538453890971 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8053] ppid=8018 vsize=8068440 memory=2880 CPUtime=0.1 cores=0,2,4,6
/proc/8043/task/8053/stat : 8053 (java) S 8018 8018 3961 0 -1 1077944384 740 0 0 0 10 0 0 0 20 0 19 0 405877978 8262082560 30855 33554432000 4194304 4196468 140722092399872 140537495513584 140538453883522 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8054] ppid=8018 vsize=8068440 memory=2940 CPUtime=0.09 cores=0,2,4,6
/proc/8043/task/8054/stat : 8054 (java) S 8018 8018 3961 0 -1 1077944384 258 0 0 0 9 0 0 0 20 0 19 0 405877978 8262082560 30855 33554432000 4194304 4196468 140722092399872 140537494461040 140538453883522 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8055] ppid=8018 vsize=8068440 memory=4112 CPUtime=0.24 cores=0,2,4,6
/proc/8043/task/8055/stat : 8055 (java) S 8018 8018 3961 0 -1 1077944384 1058 0 0 0 24 0 0 0 20 0 19 0 405877978 8262082560 30855 33554432000 4194304 4196468 140722092399872 140537493408496 140538453883522 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8056] ppid=8018 vsize=8068440 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/8043/task/8056/stat : 8056 (java) S 8018 8018 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405877979 8262082560 30855 33554432000 4194304 4196468 140722092399872 140536228867168 140538453882581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8057] ppid=8018 vsize=8068440 memory=2908 CPUtime=0.02 cores=0,2,4,6
/proc/8043/task/8057/stat : 8057 (java) S 8018 8018 3961 0 -1 1077944384 5 0 0 0 1 1 0 0 20 0 19 0 405877979 8262082560 30855 33554432000 4194304 4196468 140722092399872 140537492355376 140538453883522 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8059] ppid=8018 vsize=8068440 memory=74956 CPUtime=0 cores=0,2,4,6
/proc/8043/task/8059/stat : 8059 (java) S 8018 8018 3961 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 405878049 8262082560 30855 33554432000 4194304 4196468 140722092399872 140537907049536 140538453896985 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8061] ppid=8018 vsize=8068440 memory=-3622645143214314312 CPUtime=0.02 cores=0,2,4,6
/proc/8043/task/8061/stat : 8061 (java) S 8018 8018 3961 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 405878049 8262082560 30855 33554432000 4194304 4196468 140722092399872 140535691980432 140538453894301 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8062] ppid=8018 vsize=8068440 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/8043/task/8062/stat : 8062 (java) S 8018 8018 3961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405878050 8262082560 30855 33554432000 4194304 4196468 140722092399872 140535423549232 140538453894301 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8063] ppid=8018 vsize=8068440 memory=36719377081578 CPUtime=0 cores=0,2,4,6
/proc/8043/task/8063/stat : 8063 (java) S 8018 8018 3961 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 405878051 8262082560 30855 33554432000 4194304 4196468 140722092399872 140535826210352 140538453882581 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
Current children cumulated CPU time: 59.5 s
Current children cumulated vsize: 8283444 KiB
Current children cumulated memory: 199664 KiB
[startup+49.6031 s]
/proc/loadavg: 2.33 2.15 2.09 3/232 8066
/proc/meminfo: memFree=19997888/32770624 swapFree=66901228/67108860
[pid=8018] ppid=8015 vsize=113128 memory=1476 CPUtime=19.33 cores=0,2,4,6
/proc/8018/stat : 8018 (scop.sh) S 8015 8018 3961 0 -1 4202496 582 35393 0 0 0 0 1863 70 20 0 1 0 405877016 115843072 369 33554432000 4194304 5098028 140735132885072 140735132881816 139960521417340 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40271872 140735132894051 140735132894320 140735132894320 140735132897229 0
/proc/8018/statm: 28282 369 311 221 0 87 0
[pid=8043] ppid=8018 vsize=7937364 memory=138176 CPUtime=40.88 cores=0,2,4,6
/proc/8043/stat : 8043 (java) S 8018 8018 3961 0 -1 1077944320 22056 49117 0 0 168 8 3905 7 20 0 17 0 405877972 8127860736 34544 33554432000 4194304 4196468 140722092399872 140722092382416 140538453872375 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
/proc/8043/statm: 1984341 34544 3228 1 0 1945685 0
[pid=8043/tid=8044] ppid=8018 vsize=7937364 memory=1096 CPUtime=39.96 cores=0,2,4,6
/proc/8043/task/8044/stat : 8044 (java) R 8018 8018 3961 0 -1 1077944384 16940 49117 0 0 78 6 3905 7 20 0 17 0 405877973 8127860736 34544 33554432000 4194304 4196468 140722092399872 140538425711024 140538453882581 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8045] ppid=8018 vsize=7937364 memory=1192 CPUtime=39.12 cores=0,2,4,6
/proc/8043/task/8045/stat : 8045 (java) S 8018 8018 3961 0 -1 1077944384 1 49117 0 0 0 0 3905 7 20 0 17 0 405877974 8127860736 34544 33554432000 4194304 4196468 140722092399872 140538458114832 140538453882581 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8046] ppid=8018 vsize=7937364 memory=5940 CPUtime=39.12 cores=0,2,4,6
/proc/8043/task/8046/stat : 8046 (java) S 8018 8018 3961 0 -1 1077944384 1 49117 0 0 0 0 3905 7 20 0 17 0 405877974 8127860736 34544 33554432000 4194304 4196468 140722092399872 140538258283408 140538453882581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8047] ppid=8018 vsize=7937364 memory=780 CPUtime=39.12 cores=0,2,4,6
/proc/8043/task/8047/stat : 8047 (java) S 8018 8018 3961 0 -1 1077944384 1 49117 0 0 0 0 3905 7 20 0 17 0 405877974 8127860736 34544 33554432000 4194304 4196468 140722092399872 140538257230864 140538453882581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8048] ppid=8018 vsize=7937364 memory=1268 CPUtime=39.12 cores=0,2,4,6
/proc/8043/task/8048/stat : 8048 (java) S 8018 8018 3961 0 -1 1077944384 2 49117 0 0 0 0 3905 7 20 0 17 0 405877974 8127860736 34544 33554432000 4194304 4196468 140722092399872 140538256178320 140538453882581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8049] ppid=8018 vsize=7937364 memory=10728 CPUtime=39.12 cores=0,2,4,6
/proc/8043/task/8049/stat : 8049 (java) S 8018 8018 3961 0 -1 1077944384 8 49117 0 0 0 0 3905 7 20 0 17 0 405877975 8127860736 34544 33554432000 4194304 4196468 140722092399872 140537496565744 140538453883522 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8050] ppid=8018 vsize=7937364 memory=1552 CPUtime=39.12 cores=0,2,4,6
/proc/8043/task/8050/stat : 8050 (java) S 8018 8018 3961 0 -1 1077944384 13 49117 0 0 0 0 3905 7 20 0 17 0 405877976 8127860736 34544 33554432000 4194304 4196468 140722092399872 140537369715616 140538453882581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8051] ppid=8018 vsize=7937364 memory=4004 CPUtime=39.12 cores=0,2,4,6
/proc/8043/task/8051/stat : 8051 (java) S 8018 8018 3961 0 -1 1077944384 1 49117 0 0 0 0 3905 7 20 0 17 0 405877976 8127860736 34544 33554432000 4194304 4196468 140722092399872 140537101280240 140538453882581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8052] ppid=8018 vsize=7937364 memory=2832 CPUtime=39.12 cores=0,2,4,6
/proc/8043/task/8052/stat : 8052 (java) S 8018 8018 3961 0 -1 1077944384 3 49117 0 0 0 0 3905 7 20 0 17 0 405877978 8127860736 34544 33554432000 4194304 4196468 140722092399872 140536726771920 140538453890971 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8053] ppid=8018 vsize=7937364 memory=624 CPUtime=39.33 cores=0,2,4,6
/proc/8043/task/8053/stat : 8053 (java) R 8018 8018 3961 0 -1 4202560 1193 49117 0 0 21 0 3905 7 20 0 17 0 405877978 8127860736 34544 33554432000 4194304 4196468 140722092399872 140537495503376 140538431894624 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8054] ppid=8018 vsize=7937364 memory=1060 CPUtime=39.33 cores=0,2,4,6
/proc/8043/task/8054/stat : 8054 (java) R 8018 8018 3961 0 -1 4202560 964 49117 0 0 21 0 3905 7 20 0 17 0 405877978 8127860736 34544 33554432000 4194304 4196468 140722092399872 140537494442056 140538435416479 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8055] ppid=8018 vsize=7937364 memory=3620 CPUtime=39.45 cores=0,2,4,6
/proc/8043/task/8055/stat : 8055 (java) S 8018 8018 3961 0 -1 1077944384 1468 49117 0 0 33 0 3905 7 20 0 17 0 405877978 8127860736 34544 33554432000 4194304 4196468 140722092399872 140537493408496 140538453883522 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8056] ppid=8018 vsize=7937364 memory=36740 CPUtime=39.12 cores=0,2,4,6
/proc/8043/task/8056/stat : 8056 (java) S 8018 8018 3961 0 -1 1077944384 3 49117 0 0 0 0 3905 7 20 0 17 0 405877979 8127860736 34544 33554432000 4194304 4196468 140722092399872 140536228867168 140538453882581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8057] ppid=8018 vsize=7937364 memory=988 CPUtime=39.14 cores=0,2,4,6
/proc/8043/task/8057/stat : 8057 (java) S 8018 8018 3961 0 -1 1077944384 5 49117 0 0 1 1 3905 7 20 0 17 0 405877979 8127860736 34544 33554432000 4194304 4196468 140722092399872 140537492355376 140538453883522 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8059] ppid=8018 vsize=7937364 memory=2016 CPUtime=39.12 cores=0,2,4,6
/proc/8043/task/8059/stat : 8059 (java) S 8018 8018 3961 0 -1 1077944384 40 49117 0 0 0 0 3905 7 20 0 17 0 405878049 8127860736 34544 33554432000 4194304 4196468 140722092399872 140537907048720 140538453883522 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
[pid=8043/tid=8063] ppid=8018 vsize=7937364 memory=1552 CPUtime=39.12 cores=0,2,4,6
/proc/8043/task/8063/stat : 8063 (java) S 8018 8018 3961 0 -1 1077944384 30 49117 0 0 0 0 3905 7 20 0 17 0 405878051 8127860736 34544 33554432000 4194304 4196468 140722092399872 140535826212144 140538453883522 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140722092405756 140722092405914 140722092405914 140722092408783 0
Current children cumulated CPU time: 60.21 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 139652 KiB
Child status: 0
Real time (s): 49.6487
CPU time (s): 60.346
CPU user time (s): 59.4676
CPU system time (s): 0.878358
CPU usage (%): 121.546
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 3090704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 59.4676
system time used= 0.878358
maximum resident set size= 3090104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107906
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7786
involuntary context switches= 142
# summary of solver processes directly reported to runsolver:
# pid: 8018
# total CPU time (s): 60.346
# total CPU user time (s): 59.4676
# total CPU system time (s): 0.878358
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.377053 second user time and 0.569789 second system time
The end