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-22164-serial-file.bin HOME/instance-4388053-1568294311.xml
0.67/0.52
0.67/0.52 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Thu Sep 12 15:17:50 CEST 2019
0.67/0.54 c PID: 22167
0.67/0.54 c IP: 172.20.3.134
0.67/0.54 c HOST: node134.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.43/0.90 c (0,0) Parsing End
1.43/0.91 c (0,0) CSP: 97 int (0 aux), 0 bool (0 aux), 60 ctr, max domain size 28
1.43/0.91 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.43/0.91 c (0,0) Constraint Name Generate Begin
1.43/0.91 c (0,0) Ctr:HOME/instance-4388053-1568294311.xml,Num:Var:WeightedSum
1.43/0.91 c (0,0) Constraint Name Generate End
1.43/0.91 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.43/0.91 c (0,0) CSP to CSPinCNF Begin
1.60/1.02 c (0,0) translated 6 (10%) constraints
1.60/1.03 c (0,0) translated 12 (20%) constraints
1.60/1.05 c (0,0) translated 18 (30%) constraints
1.60/1.06 c (0,0) translated 24 (40%) constraints
1.60/1.07 c (0,0) translated 30 (50%) constraints
1.60/1.08 c (0,0) translated 36 (60%) constraints
1.60/1.08 c (0,0) translated 42 (70%) constraints
1.60/1.09 c (0,0) translated 48 (80%) constraints
1.60/1.10 c (0,0) translated 54 (90%) constraints
1.60/1.11 c (0,0) translated 60 (100%) constraints
1.60/1.11 c (0,0) ===========================================
1.89/1.12 c (0,0) Hybrid: #OE=0, #LE=97
1.89/1.12 c (0,0) Hybrid
1.89/1.12 c (0,0) ===========================================
1.89/1.13 c (0,0) translated 6 (10%) constraints
1.89/1.14 c (0,0) translated 12 (20%) constraints
1.89/1.14 c (0,0) translated 18 (30%) constraints
1.89/1.15 c (0,0) translated 24 (40%) constraints
1.89/1.15 c (0,0) translated 30 (50%) constraints
1.89/1.16 c (0,0) translated 36 (60%) constraints
1.89/1.16 c (0,0) translated 42 (70%) constraints
1.89/1.17 c (0,0) translated 48 (80%) constraints
1.89/1.17 c (0,0) translated 54 (90%) constraints
1.89/1.17 c (0,0) translated 60 (100%) constraints
1.89/1.18 c (0,0) CSP to CSPinCNF End
1.89/1.18 c (0,0) CSP: 97 int (0 aux), 0 bool (0 aux), 120 ctr, max domain size 28
1.89/1.18 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
1.89/1.18 c (0,0) CSPinCNF Propagation Begin
1.89/1.19 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.89/1.19 c (0,0) CSPinCNF Propagation End
1.89/1.19 c (0,0) CSP: 97 int (0 aux), 0 bool (0 aux), 120 ctr, max domain size 28
1.89/1.19 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.16/1.20 c (0,0) Hybrid: #OE=0, #LE=97
2.16/1.20 c (0,0) Simplify CSPinCNF Begin
2.16/1.20 c (0,0) Simplify CSPinCNF End
2.16/1.20 c (0,0) CSP: 97 int (0 aux), 0 bool (0 aux), 120 ctr, max domain size 28
2.16/1.20 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.16/1.20 c (0,0) Calculate Precise Domain Begin
2.16/1.21 c (0,0) 0 values are removed by re-calculation
2.16/1.21 c (0,0) Calculate Precise Domain End
2.16/1.21 c (0,0) CSP: 97 int (0 aux), 0 bool (0 aux), 120 ctr, max domain size 28
2.16/1.21 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.16/1.21 c (0,0) CSPinCNF to SatSolver Begin
3.66/1.74 c (1,1) 12 (10 %) CSP clauses are encoded (0 SAT variables, 125475 SAT clauses)
3.87/1.86 c (1,1) 24 (20 %) CSP clauses are encoded (0 SAT variables, 182160 SAT clauses)
4.28/2.11 c (1,1) 36 (30 %) CSP clauses are encoded (0 SAT variables, 294648 SAT clauses)
4.62/2.46 c (1,1) 48 (40 %) CSP clauses are encoded (0 SAT variables, 460607 SAT clauses)
4.83/2.66 c (2,2) 60 (50 %) CSP clauses are encoded (0 SAT variables, 553150 SAT clauses)
5.03/2.81 c (2,2) 72 (60 %) CSP clauses are encoded (0 SAT variables, 624640 SAT clauses)
5.25/3.05 c (2,2) 84 (70 %) CSP clauses are encoded (0 SAT variables, 738809 SAT clauses)
5.37/3.12 c (2,2) 96 (80 %) CSP clauses are encoded (0 SAT variables, 773770 SAT clauses)
5.45/3.28 c (2,2) 108 (90 %) CSP clauses are encoded (0 SAT variables, 850432 SAT clauses)
5.66/3.40 c (2,2) 120 (100 %) CSP clauses are encoded (0 SAT variables, 908561 SAT clauses)
5.66/3.40 c (2,2) CSPinCNF to SatSolver End
5.66/3.40 c (2,2) Heap : 1746 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
5.66/3.40 c (2,2) 330527 bool, 908641 clause
5.66/3.40 c (2,2) Export Begin
5.86/3.52 c (2,2) Export to HOME/scop-22164-serial-file.bin
5.86/3.52 c (2,2) Export End
5.86/3.52 c (3,2) Export File Size: 0.09 MB
5.86/3.52 c (3,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS)
5.86/3.52 c END-Prog: Thu Sep 12 15:17:53 CEST 2019
5.86/3.54 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-22164-serial-file.bin
5.93/4.00 c (0,0) Read Serial File Begin
5.93/4.00 c (0,0) HOME/scop-22164-serial-file.bin
6.83/4.26 c (0,0) Read Serial File End
6.83/4.27
6.83/4.27 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
6.83/4.27 (Solving Process)
6.83/4.27
6.83/4.29 c BEGIN-Prog: Thu Sep 12 15:17:54 CEST 2019
6.83/4.29 c PID: 22182
6.83/4.29 c IP: 172.20.3.134
6.83/4.29 c HOST: node134.alineos.net
6.83/4.30 c (0,0) SatSolver.solve Begin
6.83/4.30 c (0,0) HOME/cryptominisat5 HOME/instance-4388053-1568294311.xml-scop-22167.cnf
7.11/4.33 c (0,0) c Outputting solution to console
7.11/4.33 c (0,0) c CryptoMiniSat version 5.6.8
7.11/4.33 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
7.11/4.33 c (0,0) c CMS SHA revision GIT-notfound
7.11/4.33 c (0,0) c CMS is MIT licensed
7.11/4.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
7.11/4.33 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
7.11/4.33 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388053-1568294311.xml-scop-22167.cnf
7.11/4.33 c (0,0) c Reading file 'HOME/instance-4388053-1568294311.xml-scop-22167.cnf'
7.11/4.33 c (0,0) c -- header says num vars: 330527
7.11/4.33 c (0,0) c -- header says num clauses: 908641
7.28/4.65 c (0,0) c -- clauses added: 908641
7.28/4.65 c (0,0) c -- xor clauses added: 0
7.28/4.65 c (0,0) c -- vars added 330527
7.28/4.65 c (0,0) c Parsing time: 0.30 s
7.28/4.72 c (0,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
7.28/4.73 c (0,0) c [distill] long cls tried: 15/14 cl-short:14 lit-r:4 T: 0.00 T-out: N T-r: 99.98%
8.75/5.88 c (1,0) c [distill] long cls tried: 423/313 cl-short:358 lit-r:309 T: 0.08 T-out: N T-r: 99.55%
10.34/7.48 c (3,0) c [distill] long cls tried: 501/747 cl-short:500 lit-r:253 T: 0.12 T-out: N T-r: 99.33%
10.84/7.94 c (4,0) c glue 1 70 8193 327366 827K 81K 3.00 2.91 939 2832 4026 288 17.08 16.55
12.95/10.05 c (6,0) c [distill] long cls tried: 1772/2280 cl-short:1680 lit-r:2429 T: 0.52 T-out: N T-r: 97.01%
15.64/12.73 c (8,0) c geom 1 123 16386 327175 827K 81K 3.00 2.91 2888 5559 7176 536 19.80 19.21
16.05/13.17 c (9,0) c [distill] long cls tried: 636/2841 cl-short:632 lit-r:572 T: 0.21 T-out: N T-r: 98.93%
20.25/17.38 c (13,0) c [distill] long cls tried: 1754/4504 cl-short:1753 lit-r:2721 T: 0.69 T-out: N T-r: 96.30%
20.96/18.01 c (14,0) c glue 1 178 24K 327082 827K 81K 3.00 2.91 4579 6624 12355 773 20.69 20.09
26.26/23.37 c (19,0) c [distill] long cls tried: 1787/6220 cl-short:1787 lit-r:2668 T: 0.87 T-out: N T-r: 95.47%
27.07/24.15 c (20,0) c glue 1 213 32K 327037 827K 81K 3.00 2.91 6315 9098 15011 908 21.29 20.73
33.97/31.06 c (27,0) c [distill] long cls tried: 1848/7942 cl-short:1796 lit-r:3266 T: 1.11 T-out: N T-r: 94.12%
34.07/31.17 c (27,0) c glue 1 257 40K 326038 827K 81K 3.00 2.91 7955 7285 23K 1034 22.03 21.51
40.76/37.82 c (33,0) c glue 1 299 49K 325963 827K 81K 3.00 2.91 8656 10868 23K 1085 21.40 20.92
45.56/42.63 c (38,0) c [distill] long cls tried: 2067/9932 cl-short:2065 lit-r:4094 T: 1.49 T-out: N T-r: 92.13%
49.47/46.51 c (42,0) c geom 1 356 57K 325949 827K 81K 3.00 2.91 10205 8952 31K 1209 22.08 21.61
56.77/53.86 c (49,0) c glue 1 380 65K 325916 827K 81K 3.00 2.91 11806 9637 30K 1233 21.17 20.73
59.58/56.69 c (52,0) c [distill] long cls tried: 1924/11781 cl-short:1923 lit-r:3822 T: 1.55 T-out: N T-r: 91.88%
62.88/59.91 c (55,0) c recursive minimization cost OK: 899Kcost/(% lits removed)
62.88/59.91 c (55,0) c more minimization effectiveness low: 0.00 % lits removed --> disabling
62.88/59.97 c (56,0) c --> Executing strategy token: handle-comps
62.88/59.97 c (56,0) c --> Executing strategy token: scc-vrepl
62.88/59.97 c (56,0) c [scc] new: 17 BP 0M T: 0.05
62.98/60.05 c (56,0) c --> Executing strategy token: cache-clean
62.98/60.05 c (56,0) c --> Executing strategy token: cache-tryboth
62.98/60.05 c (56,0) c --> Executing strategy token: sub-impl
62.98/60.05 c (56,0) c [impl sub] bin: 240 T: 0.09 T-out: N w-visit: 661054
63.08/60.17 c (56,0) c --> Executing strategy token: intree-probe
63.08/60.17 c (56,0) c [scc] new: 55 BP 0M T: 0.06
63.17/60.26 c (56,0) c [vrep] vars 34 lits 47156 rem-bin-cls 168 rem-long-cls 29 BP 3M T: 0.09
63.27/60.37 c (56,0) c [scc] new: 0 BP 0M T: 0.06
63.37/60.44 c (56,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 2M T: 0.07
82.19/79.23 c (75,0) c [intree] Set 4544 vars hyper-added: 5802668 trans-irred::119 trans-red::269740 T: 18.66 T-out: Y T-r: -0.50%
83.00/80.09 c (76,0) c --> Executing strategy token: probe
83.00/80.09 c (76,0) c --> Executing strategy token: sub-str-cls-with-bin
83.00/80.09 c (76,0) c [distill] cache-based irred-- cl tried 358030 cl-sh 48 cl-rem 19289 lit-rem 48 T: 0.53 T-out: Y
83.00/80.09 c (76,0) c [distill] cache-based red-- cl tried 26238 cl-sh 1174 cl-rem 297 lit-rem 1515 T: 0.14 T-out: N
85.20/82.23 c (78,0) c --> Executing strategy token: distill-cls
85.20/82.23 c (78,0) c [distill] long cls tried: 17548/765280 cl-short:5629 lit-r:75 T: 2.15 T-out: Y T-r: -0.00%
85.20/82.23 c (78,0) c [distill] long useful: 11258/35096/1530710 lits-rem: 150 0-depth-assigns: 0 T: 4.29 T-out: Y
85.30/82.38 c (78,0) c --> Executing strategy token: scc-vrepl
85.30/82.38 c (78,0) c [scc] new: 34 BP 3M T: 0.14
86.01/83.09 c (79,0) c --> Executing strategy token: sub-impl
86.01/83.09 c (79,0) c [impl sub] bin: 788 T: 0.71 T-out: N w-visit: 661054
86.20/83.26 c (79,0) c --> Executing strategy token: str-impl
86.20/83.26 c (79,0) c [impl str] lit bin: 4 (by stamp: 0) set-var: 8 T: 0.17 T-out: N T-r: 68.67% w-visit: 661054
86.70/83.77 c (79,0) c --> Executing strategy token: sub-impl
86.70/83.77 c (79,0) c [impl sub] bin: 0 T: 0.51 T-out: N w-visit: 661054
87.11/84.11 c (80,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
87.11/84.11 c (80,0) c [occ] mem usage for occur 94 MB
87.31/84.39 c (80,0) c [occ] mem usage for occur 27 MB
87.51/84.57 c (80,0) c Mem for watch alloc : 265 MB (63.81 %)
87.51/84.57 c (80,0) c Mem for watch array : 15 MB (3.64 %)
88.51/85.60 c (81,0) c --> Executing OCC strategy token: occ-backw-sub-str
88.51/85.60 c (81,0) c [occ-backw-sub-str-long-w-bins] subs: 11673 str: 7900 tried: 4602382 0-depth ass: 0 T: 1.02 T-out: Y T-r: -0.00%
88.61/85.61 c (81,0) c [occ-sub-long-w-long] rem cl: 0 tried: 0/820307 (0.0%) T: 0.02 T-out: Y T-r: 100.00%
89.61/86.64 c (82,0) c [occ-sub-str-long-w-long] sub: 877 str: 952 tried: 2460921/820307 (300.0) T: 1.03 T-out: N T-r: 28.46%
89.81/86.82 c (82,0) c --> Executing OCC strategy token: occ-clean-implicit
89.81/86.82 c (82,0) c --> Executing OCC strategy token: occ-bve
89.81/86.82 c (82,0) c [occ-empty-res] Empty resolvent elimed: 4880 T: 0.16 T-out: N
94.02/91.10 c (87,0) c [occ-bve] iter v-elim 69409
94.02/91.10 c (87,0) c cl_inc_rate=0.9, var_dec_rate=1.3 (grow=0)
94.12/91.12 c (87,0) c Reduced to 247027 vars, 736666 cls (grow=0)
101.31/98.32 c (94,0) c [occ-bve] iter v-elim 98326
101.31/98.32 c (94,0) c cl_inc_rate=1.3, var_dec_rate=1.7 (grow=8)
101.31/98.34 c (94,0) c Reduced to 148701 vars, 929874 cls (grow=8)
101.31/98.34 c (94,0) c x n vars : 148701
101.31/98.36 c (94,0) c #try to eliminate: 805K
101.31/98.36 c (94,0) c #var-elim : 167K
101.31/98.36 c (94,0) c #T-o: N
101.31/98.36 c (94,0) c #T-r: 96.86%
101.31/98.36 c (94,0) c #T : 11.49
101.31/98.36 c (94,0) c [occur] 0.59 is overhead
101.31/98.36 c (94,0) c [occur] link-in T: 0.59 cleanup T: 0.00
101.31/98.36 c (94,0) c --> Executing OCC strategy token: occ-bva
101.31/98.36 c (94,0) c [occ-bva] global numcalls: 0
101.62/98.61 c (94,0) c --> Executing OCC strategy token: occ-ternary-res
101.62/98.61 c (94,0) c --> Executing OCC strategy token: occ-xor
101.62/98.61 c (94,0) c [occ-xor] sort occur list T: 0.25
102.32/99.33 c (95,0) c [occ-xor] found 2 avg sz 3.0 min sz 3 max sz 3 T: 0.97 T-out: N T-r: 81.17%
102.32/99.33 c (95,0) c [xor-together] xored together 0 xors orig num xors: 2 T: 0.00
102.32/99.33 c (95,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
102.63/99.64 c (95,0) c --> Executing strategy token: cl-consolidate
102.63/99.64 c (95,0) c [mem] consolidate old-sz: 92M new-sz: 38M new bits offs: 0 T: 0.10
102.72/99.70 c (95,0) c --> Executing strategy token: str-impl
102.72/99.70 c (95,0) c [impl str] lit bin: 2 (by stamp: 0) set-var: 3 T: 0.06 T-out: N T-r: 93.48% w-visit: 661054
103.13/100.18 c (96,0) c --> Executing strategy token: cache-clean
103.13/100.18 c (96,0) c --> Executing strategy token: sub-str-cls-with-bin
103.13/100.18 c (96,0) c [distill] cache-based irred-- cl tried 44234 cl-sh 0 cl-rem 30 lit-rem 0 T: 0.35 T-out: Y
103.13/100.18 c (96,0) c [distill] cache-based red-- cl tried 4855 cl-sh 15 cl-rem 5 lit-rem 22 T: 0.06 T-out: N
104.52/101.59 c (97,0) c --> Executing strategy token: distill-cls
104.52/101.59 c (97,0) c [distill] long cls tried: 6062/875693 cl-short:3222 lit-r:189 T: 1.40 T-out: Y T-r: -0.03%
104.52/101.59 c (97,0) c [distill] long useful: 6444/12124/1751410 lits-rem: 378 0-depth-assigns: 0 T: 2.81 T-out: Y
104.62/101.66 c (97,0) c --> Executing strategy token: scc-vrepl
104.62/101.66 c (97,0) c [scc] new: 0 BP 1M T: 0.07
104.73/101.77 c (97,0) c --> Executing strategy token: check-cache-size
104.73/101.77 c (97,0) c --> Executing strategy token: renumber
104.73/101.77 c (97,0) c [xor-clean] T: 0.00
104.94/101.95 c (98,0) c [renumber] T: 0.29
104.94/101.98 c (98,0) c --> Executing strategy token: sls
104.94/101.98 c (98,0) c [consolidate] mini T: 0.00
104.94/101.98 c (98,0) c global_timeout_multiplier: 4.40
105.05/102.06 c (98,0) c clause size stats. size3: 240502 size4: 509265 size5: 40825 larger: 85101
107.74/104.71 c (100,0) c luby 0 413 73K 148698 875K 54K 4.38 4.24 2579 2765 4863 1049K 13.61 2.11
116.64/113.64 c (109,0) c luby 0 445 81K 148697 875K 54K 4.38 4.24 3608 2559 12202 1049K 17.16 2.26
118.44/115.42 c (111,0) c [distill] long cls tried: 1595/3607 cl-short:1536 lit-r:1469 T: 0.57 T-out: N T-r: 96.38%
124.44/121.49 c (117,0) c luby 0 463 90K 148697 875K 54K 4.38 4.24 4773 4573 17169 1049K 19.76 2.44
132.85/129.80 c (125,0) c luby 0 495 98K 148696 875K 54K 4.38 4.24 5036 5890 23K 1049K 20.64 2.60
139.35/136.37 c (132,0) c [distill] long cls tried: 2265/5819 cl-short:2261 lit-r:2514 T: 0.83 T-out: N T-r: 94.79%
142.66/139.68 c (135,0) c luby 0 520 106K 148694 875K 54K 4.38 4.24 6003 7352 23K 1049K 21.04 2.65
152.66/149.63 c (145,0) c luby 0 521 114K 148694 875K 54K 4.38 4.24 6735 6222 32K 1049K 22.18 2.84
162.66/159.63 c (155,0) c luby 0 552 122K 148694 875K 54K 4.38 4.24 7455 5917 33K 1049K 22.33 2.86
167.88/164.87 c (160,0) c [distill] long cls tried: 1763/7554 cl-short:1761 lit-r:2057 T: 0.80 T-out: N T-r: 94.95%
173.09/170.07 c (166,0) c luby 0 583 131K 148694 875K 54K 4.38 4.24 8377 4923 41K 1049K 22.62 3.02
180.98/177.98 c (174,0) c luby 0 610 139K 148694 875K 54K 4.38 4.24 8782 8426 33K 1049K 21.35 2.89
190.79/187.75 c (183,0) c luby 0 642 147K 148694 875K 54K 4.38 4.24 9527 7490 41K 1049K 21.64 3.04
199.69/196.62 c (192,0) c luby 0 648 155K 148694 875K 54K 4.38 4.24 10283 7958 37K 1049K 20.74 2.94
206.19/203.11 c (199,0) c [distill] long cls tried: 3296/10662 cl-short:3295 lit-r:4225 T: 1.40 T-out: N T-r: 91.17%
210.59/207.58 c (203,0) c luby 0 649 163K 148685 875K 54K 4.38 4.24 10720 5381 47K 1050K 21.56 3.12
216.30/213.26 c (209,0) c recursive minimization cost OK: 1174Kcost/(% lits removed)
216.40/213.32 c (209,0) c --> Executing strategy token: handle-comps
216.40/213.32 c (209,0) c --> Executing strategy token: scc-vrepl
216.40/213.32 c (209,0) c [scc] new: 1 BP 1M T: 0.06
216.60/213.52 c (209,0) c --> Executing strategy token: cache-clean
216.60/213.52 c (209,0) c --> Executing strategy token: cache-tryboth
216.60/213.52 c (209,0) c --> Executing strategy token: sub-impl
216.60/213.52 c (209,0) c [impl sub] bin: 17072 T: 0.20 T-out: N w-visit: 297396
216.70/213.69 c (209,0) c --> Executing strategy token: intree-probe
216.70/213.69 c (209,0) c [scc] new: 1 BP 1M T: 0.06
216.91/213.88 c (209,0) c [vrep] vars 1 lits 8646 rem-bin-cls 4 rem-long-cls 79 BP 2M T: 0.19
217.12/214.05 c (210,0) c [scc] new: 0 BP 1M T: 0.06
217.31/214.23 c (210,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 2M T: 0.18
239.41/236.35 c (232,0) c [intree] Set 396 vars hyper-added: 3027072 trans-irred::84 trans-red::505131 T: 22.10 T-out: Y T-r: -0.00%
239.91/236.86 c (232,0) c --> Executing strategy token: probe
239.91/236.86 c (232,0) c --> Executing strategy token: sub-str-cls-with-bin
239.91/236.86 c (232,0) c [distill] cache-based irred-- cl tried 54117 cl-sh 11 cl-rem 188 lit-rem 11 T: 0.22 T-out: Y
239.91/236.86 c (232,0) c [distill] cache-based red-- cl tried 18818 cl-sh 328 cl-rem 309 lit-rem 367 T: 0.12 T-out: Y
241.61/238.59 c (234,0) c --> Executing strategy token: distill-cls
241.61/238.59 c (234,0) c [distill] long cls tried: 8390/874284 cl-short:4392 lit-r:335 T: 1.73 T-out: Y T-r: -0.03%
241.61/238.59 c (234,0) c [distill] long useful: 8784/16780/1748622 lits-rem: 670 0-depth-assigns: 0 T: 3.46 T-out: Y
241.71/238.68 c (234,0) c --> Executing strategy token: scc-vrepl
241.71/238.68 c (234,0) c [scc] new: 1 BP 2M T: 0.09
242.22/239.15 c (235,0) c --> Executing strategy token: sub-impl
242.22/239.15 c (235,0) c [impl sub] bin: 58 T: 0.47 T-out: N w-visit: 297396
242.32/239.26 c (235,0) c --> Executing strategy token: str-impl
242.32/239.26 c (235,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.12 T-out: N T-r: 81.60% w-visit: 297396
242.72/239.61 c (235,0) c --> Executing strategy token: sub-impl
242.72/239.61 c (235,0) c [impl sub] bin: 0 T: 0.35 T-out: N w-visit: 297396
242.92/239.87 c (235,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
242.92/239.87 c (235,0) c [occ] mem usage for occur 128 MB
243.32/240.22 c (236,0) c [occ] mem usage for occur 13 MB
243.43/240.40 c (236,0) c Mem for watch alloc : 272 MB (55.17 %)
243.43/240.40 c (236,0) c Mem for watch array : 6 MB (1.38 %)
244.73/241.67 c (237,0) c --> Executing OCC strategy token: occ-backw-sub-str
244.73/241.67 c (237,0) c [occ-backw-sub-str-long-w-bins] subs: 1794 str: 1788 tried: 11779089 0-depth ass: 0 T: 1.27 T-out: Y T-r: -0.00%
244.73/241.69 c (237,0) c [occ-sub-long-w-long] rem cl: 0 tried: 0/929711 (0.0%) T: 0.02 T-out: Y T-r: 100.00%
246.33/243.23 c (239,0) c [occ-sub-str-long-w-long] sub: 2664 str: 1332 tried: 2462018/929711 (264.8) T: 1.54 T-out: Y T-r: -0.00%
246.33/243.23 c (239,0) c [occ-sub-str-w-added-long] sub: 0 str: 0 0-depth ass: 0 T: 0.00 T-out: Y T-r: 100.00%
246.43/243.40 c (239,0) c --> Executing OCC strategy token: occ-clean-implicit
246.43/243.40 c (239,0) c --> Executing OCC strategy token: occ-bve
246.43/243.40 c (239,0) c [occ-empty-res] Empty resolvent elimed: 19 T: 0.14 T-out: N
248.73/245.68 c (241,0) c [occ-bve] iter v-elim 169
248.73/245.68 c (241,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=0)
248.73/245.70 c (241,0) c Reduced to 148100 vars, 906641 cls (grow=0)
252.53/249.43 c (245,0) c [occ-bve] iter v-elim 2773
252.53/249.43 c (245,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=8)
252.53/249.44 c (245,0) c Reduced to 145327 vars, 916829 cls (grow=8)
252.53/249.44 c (245,0) c x n vars : 145327
252.53/249.44 c (245,0) c #try to eliminate: 311K
252.53/249.44 c (245,0) c #var-elim : 2942
252.53/249.44 c (245,0) c #T-o: N
252.53/249.44 c (245,0) c #T-r: 98.72%
252.53/249.44 c (245,0) c #T : 6.04
252.53/249.44 c (245,0) c [occur] 0.62 is overhead
252.53/249.44 c (245,0) c [occur] link-in T: 0.62 cleanup T: 0.00
252.53/249.44 c (245,0) c --> Executing OCC strategy token: occ-bva
252.53/249.44 c (245,0) c [occ-bva] global numcalls: 1
252.84/249.75 c (245,0) c --> Executing OCC strategy token: occ-ternary-res
252.84/249.75 c (245,0) c --> Executing OCC strategy token: occ-xor
252.84/249.75 c (245,0) c [occ-xor] sort occur list T: 0.30
254.15/251.06 c (247,0) c [occ-xor] found 1 avg sz 3.0 min sz 3 max sz 3 T: 1.61 T-out: N T-r: 79.34%
254.15/251.06 c (247,0) c [xor-together] xored together 0 xors orig num xors: 1 T: 0.00
254.15/251.06 c (247,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
254.44/251.36 c (247,0) c --> Executing strategy token: cl-consolidate
254.44/251.36 c (247,0) c Not consolidating memory.
254.55/251.46 c (247,0) c --> Executing strategy token: str-impl
254.55/251.46 c (247,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.10 T-out: N T-r: 84.62% w-visit: 297396
255.05/251.94 c (248,0) c --> Executing strategy token: cache-clean
255.05/251.94 c (248,0) c --> Executing strategy token: sub-str-cls-with-bin
255.05/251.94 c (248,0) c [distill] cache-based irred-- cl tried 22418 cl-sh 0 cl-rem 10 lit-rem 0 T: 0.20 T-out: Y
255.05/251.94 c (248,0) c [distill] cache-based red-- cl tried 10885 cl-sh 17 cl-rem 4 lit-rem 24 T: 0.14 T-out: Y
256.55/253.48 c (249,0) c --> Executing strategy token: distill-cls
256.55/253.48 c (249,0) c [distill] long cls tried: 5820/882832 cl-short:3016 lit-r:138 T: 1.54 T-out: Y T-r: -0.02%
256.55/253.48 c (249,0) c [distill] long useful: 6032/11640/1765698 lits-rem: 276 0-depth-assigns: 0 T: 3.08 T-out: Y
256.65/253.56 c (249,0) c --> Executing strategy token: scc-vrepl
256.65/253.56 c (249,0) c [scc] new: 1 BP 2M T: 0.08
256.65/253.56 c (249,0) c --> Executing strategy token: check-cache-size
256.65/253.56 c (249,0) c --> Executing strategy token: renumber
256.65/253.56 c (249,0) c --> Executing strategy token: sls
256.65/253.56 c (249,0) c [consolidate] mini T: 0.00
256.65/253.56 c (249,0) c global_timeout_multiplier: 4.8
257.16/254.06 c (250,0) c [features] numVars 143114, numClauses 916821, var_cl_ratio 0.2, binary 0.0, horn 0.3, horn_mean 0.0, horn_std 0.0, horn_min 0.0, horn_max 0.0, horn_spread 0.0, vcg_var_mean 0.0, vcg_var_std 9.0, vcg_var_min 0.0, vcg_var_max 0.0, vcg_var_spread 0.0, vcg_cls_mean 0.0, vcg_cls_std 0.6, vcg_cls_min 0.0, vcg_cls_max 0.0, vcg_cls_spread 0.0, pnr_var_mean 0.6, pnr_var_std 0.4, pnr_var_min 0.0, pnr_var_max 1.0, pnr_var_spread 1.0, pnr_cls_mean 0.8, pnr_cls_std 0.5, pnr_cls_min 0.0, pnr_cls_max 1.0, pnr_cls_spread 1.0, avg_confl_size 23.9, confl_size_min 1.0, confl_size_max 383.0, avg_confl_glue 10.7, confl_glue_min 1.0, confl_glue_max 49.0, avg_num_resolutions 0.0, num_resolutions_min 0.0, num_resolutions_max 0.0, learnt_bins_per_confl 0.0, avg_branch_depth 17.1, branch_depth_min 4.0, branch_depth_max 44.0, avg_trail_depth_delta 4142.3, trail_depth_delta_min 2.0, trail_depth_delta_max 24861.0, avg_branch_depth_delta 1.6, props_per_confl 0.0, confl_per_restart 258.9, decisions_per_conflict 2.5, irred_cl_distrib.glue_distr_mean 999.9, irred_cl_distrib.glue_distr_var 120.5, irred_cl_distrib.size_distr_mean 4.4, irred_cl_distrib.size_distr_var 5.1, irred_cl_distrib.uip_use_distr_mean 0, irred_cl_distrib.uip_use_distr_var 0, irred_cl_distrib.activity_distr_mean 0.0, irred_cl_distrib.activity_distr_var 389435.0, red_cl_distrib.glue_distr_mean 2.8, red_cl_distrib.glue_distr_var 0.2, red_cl_distrib.size_distr_mean 6.4, red_cl_distrib.size_distr_var 9.0, red_cl_distrib.uip_use_distr_mean 0, red_cl_distrib.uip_use_distr_var 0, red_cl_distrib.activity_distr_mean 19021.4, red_cl_distrib.activity_distr_var 7266405772.5, num_gates_found_last 0, num_xors_found_last 1
257.16/254.07 c (250,0) c clause size stats. size3: 247558 size4: 509744 size5: 41182 larger: 84348
262.36/259.21 c (255,0) c luby 0 671 172K 145327 882K 33K 4.36 4.27 10049 4312 35K 2956K 19.13 2.28
273.35/270.25 c (266,0) c luby 0 703 180K 145327 882K 33K 4.36 4.27 10823 5098 32K 2956K 18.06 2.26
282.97/279.85 c (275,0) c luby 0 720 188K 145327 882K 33K 4.36 4.27 10986 5992 39K 2956K 18.85 2.32
291.97/288.85 c (284,0) c [distill] long cls tried: 2845/11716 cl-short:2794 lit-r:3454 T: 1.32 T-out: N T-r: 92.23%
292.87/289.72 c (285,0) c luby 0 751 196K 145260 882K 33K 4.36 4.27 11760 8087 31K 2956K 17.43 2.26
302.87/299.74 c (295,0) c luby 0 776 204K 145260 882K 33K 4.36 4.27 12920 7681 38K 2956K 18.09 2.32
310.77/307.65 c (303,0) c luby 0 777 213K 145146 882K 33K 4.36 4.27 14186 8564 33K 2956K 19.96 2.33
319.69/316.57 c (312,0) c luby 0 809 221K 145146 882K 33K 4.36 4.27 14949 6995 42K 2956K 21.79 2.42
329.79/326.63 c (322,0) c luby 0 840 229K 145146 882K 33K 4.36 4.27 15219 9093 35K 2956K 22.75 2.41
338.59/335.41 c (331,0) c luby 0 868 237K 145146 882K 33K 4.36 4.27 15974 6777 45K 2956K 23.43 2.49
340.10/337.00 c (333,0) c [distill] long cls tried: 4258/15051 cl-short:3564 lit-r:6301 T: 1.43 T-out: N T-r: 91.02%
349.51/346.37 c (342,0) c luby 0 900 245K 145146 882K 33K 4.36 4.27 16086 6666 41K 2957K 22.60 2.44
360.61/357.48 c (353,0) c luby 0 904 253K 145081 882K 33K 4.36 4.27 17158 6222 49K 2957K 22.14 2.48
370.12/366.94 c (363,0) c luby 0 905 262K 145081 882K 33K 4.36 4.27 18350 7800 38K 2957K 19.86 2.38
376.43/373.29 c (369,0) c ------- FINAL TOTAL SEARCH STATS ---------
376.43/373.29 c (369,0) c UIP search time : 285.34 (77.46 % time)
376.43/373.29 c (369,0) c restarts : 905 (295.66 confls per restart)
376.43/373.29 c (369,0) c blocked restarts : 230 (0.25 per normal restart)
376.43/373.29 c (369,0) c time : 285.34
376.43/373.29 c (369,0) c decisions : 616684 (0.00 % random)
376.43/373.29 c (369,0) c propagations : 1126404120
376.43/373.29 c (369,0) c decisions/conflicts : 2.30
376.43/373.29 c (369,0) c conflicts : 267574 (937.74 / sec)
376.43/373.29 c (369,0) c conf lits non-minim : 14286611 (53.39 lit/confl)
376.43/373.29 c (369,0) c conf lits final : 24.52
376.43/373.29 c (369,0) c cache hit re-learnt cl : 0 (0.00 % of confl)
376.43/373.29 c (369,0) c red which0 : 10022 (3.75 % of confl)
376.43/373.29 c (369,0) c props/decision : 0.00
376.43/373.29 c (369,0) c props/conflict : 0.00
376.43/373.29 c (369,0) c 0-depth assigns : 9835 (6.61 % vars)
376.43/373.29 c (369,0) c 0-depth assigns by CNF : 211 (0.14 % vars)
376.43/373.29 c (369,0) c reduceDB time : 0.14 (0.04 % time)
376.43/373.29 c (369,0) c OccSimplifier time : 7.91 (2.15 % time)
376.43/373.29 c (369,0) c [occur] 1.69 is overhead
376.43/373.29 c (369,0) c [occur] link-in T: 1.20 cleanup T: 0.48
376.43/373.29 c (369,0) c [occ-substr] long subBySub: 0 subByStr: 4418 lits-rem-str: 99088 T: 3.65
376.43/373.29 c (369,0) c SCC time : 0.72 (0.20 % time)
376.43/373.29 c (369,0) c [scc] new: 110 BP 15M T: 0.72
376.43/373.29 c (369,0) c vrep replace time : 0.52 (0.14 % time)
376.43/373.29 c (369,0) c vrep tree roots : 12
376.43/373.29 c (369,0) c vrep trees' crown : 35 (2.92 leafs/tree)
376.43/373.29 c (369,0) c distill time : 26.65 (7.23 % time)
376.43/373.29 c (369,0) c strength cache-irred time: 1.29 (0.35 % time)
376.43/373.29 c (369,0) c strength cache-red time : 0.46 (0.12 % time)
376.43/373.29 c (369,0) c Conflicts in UIP : 267574 (726.39 confl/time_this_thread)
376.43/373.29 c (369,0) c Mem used : 510.87 MB
376.43/373.29 c (369,0) c Total time (this thread) : 368.36
376.43/373.29 c (369,0) s SATISFIABLE
377.97/373.82 c (369,0) SatSolver.solve End
377.97/373.82 c (369,0) Heap : 307 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
377.97/373.82 c (369,0) Show results Begin
377.97/373.89 c (369,0) x[0] = 7
377.97/373.89 c (369,0) x[1] = 17
377.97/373.89 c (369,0) x[2] = 19
377.97/373.89 c (369,0) x[3] = 13
377.97/373.89 c (369,0) x[4] = 7
377.97/373.89 c (369,0) x[5] = 13
377.97/373.89 c (369,0) x[6] = 17
377.97/373.89 c (369,0) x[7] = 5
377.97/373.89 c (369,0) x[8] = 29
377.97/373.89 c (369,0) x[9] = 3
377.97/373.89 c (369,0) x[10] = 5
377.97/373.89 c (369,0) x[11] = 19
377.97/373.89 c (369,0) x[12] = 2
377.97/373.89 c (369,0) x[13] = 29
377.97/373.89 c (369,0) x[14] = 7
377.97/373.89 c (369,0) x[15] = 17
377.97/373.89 c (369,0) x[16] = 2
377.97/373.89 c (369,0) x[17] = 17
377.97/373.89 c (369,0) x[18] = 5
377.97/373.89 c (369,0) x[20] = 3
377.97/373.89 c (369,0) x[21] = 23
377.97/373.89 c (369,0) x[22] = 19
377.97/373.89 c (369,0) x[23] = 29
377.97/373.89 c (369,0) x[24] = 5
377.97/373.89 c (369,0) x[25] = 2
377.97/373.89 c (369,0) x[26] = 5
377.97/373.89 c (369,0) x[27] = 7
377.97/373.89 c (369,0) x[28] = 19
377.97/373.89 c (369,0) x[29] = 13
377.97/373.89 c (369,0) x[30] = 29
377.97/373.89 c (369,0) x[31] = 5
377.97/373.89 c (369,0) x[32] = 5
377.97/373.89 c (369,0) x[33] = 23
377.97/373.89 c (369,0) x[34] = 29
377.97/373.89 c (369,0) x[35] = 19
377.97/373.89 c (369,0) x[36] = 7
377.97/373.89 c (369,0) x[37] = 17
377.97/373.89 c (369,0) x[38] = 3
377.97/373.89 c (369,0) x[39] = 5
377.97/373.89 c (369,0) x[40] = 29
377.97/373.89 c (369,0) x[41] = 7
377.97/373.89 c (369,0) x[42] = 3
377.97/373.89 c (369,0) x[43] = 29
377.97/373.89 c (369,0) x[44] = 11
377.97/373.89 c (369,0) x[45] = 19
377.97/373.89 c (369,0) x[46] = 23
377.97/373.89 c (369,0) x[47] = 11
377.97/373.89 c (369,0) x[48] = 13
377.97/373.89 c (369,0) x[49] = 2
377.97/373.89 c (369,0) x[50] = 7
377.97/373.89 c (369,0) x[51] = 17
377.97/373.89 c (369,0) x[52] = 3
377.97/373.89 c (369,0) x[53] = 2
377.97/373.89 c (369,0) x[54] = 17
377.97/373.89 c (369,0) x[55] = 7
377.97/373.89 c (369,0) x[56] = 5
377.97/373.89 c (369,0) x[57] = 2
377.97/373.89 c (369,0) x[58] = 17
377.97/373.89 c (369,0) x[59] = 3
377.97/373.89 c (369,0) x[60] = 13
377.97/373.89 c (369,0) x[61] = 13
377.97/373.89 c (369,0) x[62] = 11
377.97/373.89 c (369,0) x[63] = 19
377.97/373.89 c (369,0) x[64] = 17
377.97/373.89 c (369,0) x[65] = 13
377.97/373.89 c (369,0) x[66] = 17
377.97/373.89 c (369,0) x[67] = 29
377.97/373.89 c (369,0) x[68] = 7
377.97/373.89 c (369,0) x[69] = 19
377.97/373.89 c (369,0) x[70] = 11
377.97/373.89 c (369,0) x[72] = 5
377.97/373.89 c (369,0) x[73] = 13
377.97/373.89 c (369,0) x[74] = 11
377.97/373.89 c (369,0) x[75] = 19
377.97/373.89 c (369,0) x[76] = 11
377.97/373.89 c (369,0) x[77] = 11
377.97/373.89 c (369,0) x[78] = 7
377.97/373.89 c (369,0) x[79] = 2
377.97/373.89 c (369,0) x[80] = 19
377.97/373.89 c (369,0) x[81] = 23
377.97/373.89 c (369,0) x[82] = 17
377.97/373.89 c (369,0) x[83] = 23
377.97/373.89 c (369,0) x[84] = 23
377.97/373.89 c (369,0) x[85] = 11
377.97/373.89 c (369,0) x[86] = 7
377.97/373.89 c (369,0) x[87] = 3
377.97/373.89 c (369,0) x[88] = 11
377.97/373.89 c (369,0) x[89] = 29
377.97/373.89 c (369,0) x[90] = 5
377.97/373.89 c (369,0) x[91] = 2
377.97/373.89 c (369,0) x[92] = 17
377.97/373.89 c (369,0) x[93] = 23
377.97/373.89 c (369,0) x[94] = 29
377.97/373.89 c (369,0) x[95] = 5
377.97/373.89 c (369,0) x[96] = 17
377.97/373.89 c (369,0) x[97] = 17
377.97/373.89 c (369,0) x[99] = 29
377.97/373.89 s SATISFIABLE
377.97/373.90 v <instantiation>
377.97/373.90 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[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] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[99]</list>
377.97/373.90 v <values>7 17 19 13 7 13 17 5 29 3 5 19 2 29 7 17 2 17 5 3 23 19 29 5 2 5 7 19 13 29 5 5 23 29 19 7 17 3 5 29 7 3 29 11 19 23 11 13 2 7 17 3 2 17 7 5 2 17 3 13 13 11 19 17 13 17 29 7 19 11 5 13 11 19 11 11 7 2 19 23 17 23 23 11 7 3 11 29 5 2 17 23 29 5 17 17 29</values>
377.97/373.90 v </instantiation>
377.97/373.90 c (369,0) Show results End
377.97/373.90 c (369,0) Heap : 307 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
377.97/373.90 c (369,0) 369,369,STOP-AFTER(ALL)
377.97/373.90 c END-Prog: Thu Sep 12 15:24:03 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 (2770 MiB free)
memory of node 1: 16384 MiB (15379 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388053-1568294311/watcher-4388053-1568294311 -o /tmp/evaluation-result-4388053-1568294311/solver-4388053-1568294311 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568289862-20802 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388053-1568294311.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=22164, runsolver pid=22161
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 3.98 3.30 2.78 6/233 22181
/proc/meminfo: memFree=18524096/32770624 swapFree=66915644/67108860
[pid=22164] ppid=22161 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/22164/stat : 22164 (scop.sh) S 22161 22164 20770 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405681613 115843072 349 33554432000 4194304 5098028 140729239675200 140729239672456 140083141124732 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22036480 140729239683939 140729239684208 140729239684208 140729239687117 0
/proc/22164/statm: 28282 349 296 221 0 87 0
[pid=22167] ppid=22164 vsize=15012696 memory=74284 CPUtime=0.12 cores=1,3,5,7
/proc/22167/stat : 22167 (java) S 22164 22164 20770 0 -1 1077944320 6815 0 0 0 10 2 0 0 20 0 15 0 405681613 15373000704 18571 33554432000 4194304 4196468 140726338867104 140726338849648 140133400145655 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
/proc/22167/statm: 3753174 18571 2936 1 0 3715579 0
[pid=22167/tid=22168] ppid=22164 vsize=15012696 memory=-6601833317647732518 CPUtime=0.08 cores=1,3,5,7
/proc/22167/task/22168/stat : 22168 (java) R 22164 22164 20770 0 -1 4202560 4627 0 0 0 7 1 0 0 20 0 15 0 405681613 15373000704 18571 33554432000 4194304 4196468 140726338867104 140133371939560 140133384226142 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22169] ppid=22164 vsize=15012696 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22169/stat : 22169 (java) S 22164 22164 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405681615 15373000704 18571 33554432000 4194304 4196468 140726338867104 140133404387600 140133400155861 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22170] ppid=22164 vsize=15012696 memory=140010628150912 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22170/stat : 22170 (java) S 22164 22164 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405681615 15373000704 18571 33554432000 4194304 4196468 140726338867104 140133180090768 140133400155861 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22171] ppid=22164 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22171/stat : 22171 (java) S 22164 22164 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405681615 15373000704 18571 33554432000 4194304 4196468 140726338867104 140133179038224 140133400155861 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22172] ppid=22164 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22172/stat : 22172 (java) S 22164 22164 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405681615 15373000704 18571 33554432000 4194304 4196468 140726338867104 140133177985680 140133400155861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22173] ppid=22164 vsize=15012696 memory=140010628150912 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22173/stat : 22173 (java) S 22164 22164 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405681616 15373000704 18571 33554432000 4194304 4196468 140726338867104 140132437780976 140133400156802 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22174] ppid=22164 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22174/stat : 22174 (java) S 22164 22164 20770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405681617 15373000704 18571 33554432000 4194304 4196468 140726338867104 140131965068704 140133400155861 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22175] ppid=22164 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22175/stat : 22175 (java) S 22164 22164 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405681617 15373000704 18571 33554432000 4194304 4196468 140726338867104 140131696633328 140133400155861 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22176] ppid=22164 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22176/stat : 22176 (java) S 22164 22164 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405681619 15373000704 18571 33554432000 4194304 4196468 140726338867104 140131322125008 140133400164251 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22177] ppid=22164 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22177/stat : 22177 (java) S 22164 22164 20770 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 405681619 15373000704 18571 33554432000 4194304 4196468 140726338867104 140132436727792 140133400156802 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22178] ppid=22164 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22178/stat : 22178 (java) S 22164 22164 20770 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 15 0 405681619 15373000704 18571 33554432000 4194304 4196468 140726338867104 140132367722608 140133400156802 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22179] ppid=22164 vsize=15012696 memory=140010628150912 CPUtime=0.01 cores=1,3,5,7
/proc/22167/task/22179/stat : 22179 (java) R 22164 22164 20770 0 -1 4202560 418 0 0 0 1 0 0 0 20 0 15 0 405681619 15373000704 18571 33554432000 4194304 4196468 140726338867104 140132366667000 140133379014448 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22180] ppid=22164 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22180/stat : 22180 (java) S 22164 22164 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405681620 15373000704 18571 33554432000 4194304 4196468 140726338867104 140130824219232 140133400155861 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22181] ppid=22164 vsize=15012696 memory=140010628150912 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22181/stat : 22181 (java) S 22164 22164 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405681620 15373000704 18571 33554432000 4194304 4196468 140726338867104 140132365617968 140133400156802 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 75680 KiB
[startup+0.210995 s]*
/proc/loadavg: 3.98 3.30 2.78 6/233 22181
/proc/meminfo: memFree=18505204/32770624 swapFree=66915644/67108860
[pid=22164] ppid=22161 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/22164/stat : 22164 (scop.sh) S 22161 22164 20770 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405681613 115843072 349 33554432000 4194304 5098028 140729239675200 140729239672456 140083141124732 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22036480 140729239683939 140729239684208 140729239684208 140729239687117 0
/proc/22164/statm: 28282 349 296 221 0 87 0
[pid=22167] ppid=22164 vsize=15012696 memory=89400 CPUtime=0.25 cores=1,3,5,7
/proc/22167/stat : 22167 (java) S 22164 22164 20770 0 -1 1077944320 11869 0 0 0 22 3 0 0 20 0 15 0 405681613 15373000704 22350 33554432000 4194304 4196468 140726338867104 140726338849648 140133400145655 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
/proc/22167/statm: 3753174 22350 2965 1 0 3715579 0
[pid=22167/tid=22168] ppid=22164 vsize=15012696 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/22167/task/22168/stat : 22168 (java) R 22164 22164 20770 0 -1 4202560 9623 0 0 0 17 3 0 0 20 0 15 0 405681613 15373000704 22350 33554432000 4194304 4196468 140726338867104 140133371960896 140133400157590 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22169] ppid=22164 vsize=15012696 memory=13571 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22169/stat : 22169 (java) S 22164 22164 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405681615 15373000704 22350 33554432000 4194304 4196468 140726338867104 140133404387600 140133400155861 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22170] ppid=22164 vsize=15012696 memory=288370386779862656 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22170/stat : 22170 (java) S 22164 22164 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405681615 15373000704 22350 33554432000 4194304 4196468 140726338867104 140133180090768 140133400155861 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22171] ppid=22164 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22171/stat : 22171 (java) S 22164 22164 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405681615 15373000704 22350 33554432000 4194304 4196468 140726338867104 140133179038224 140133400155861 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22172] ppid=22164 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22172/stat : 22172 (java) S 22164 22164 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405681615 15373000704 22350 33554432000 4194304 4196468 140726338867104 140133177985680 140133400155861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22173] ppid=22164 vsize=15012696 memory=140010628150912 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22173/stat : 22173 (java) S 22164 22164 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405681616 15373000704 22350 33554432000 4194304 4196468 140726338867104 140132437780976 140133400156802 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22174] ppid=22164 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22174/stat : 22174 (java) S 22164 22164 20770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405681617 15373000704 22350 33554432000 4194304 4196468 140726338867104 140131965068704 140133400155861 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22175] ppid=22164 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22175/stat : 22175 (java) S 22164 22164 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405681617 15373000704 22350 33554432000 4194304 4196468 140726338867104 140131696633328 140133400155861 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22176] ppid=22164 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22176/stat : 22176 (java) S 22164 22164 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405681619 15373000704 22350 33554432000 4194304 4196468 140726338867104 140131322125008 140133400164251 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22177] ppid=22164 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22177/stat : 22177 (java) S 22164 22164 20770 0 -1 1077944384 337 0 0 0 0 0 0 0 20 0 15 0 405681619 15373000704 22350 33554432000 4194304 4196468 140726338867104 140132436727792 140133400156802 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22178] ppid=22164 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22178/stat : 22178 (java) S 22164 22164 20770 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 15 0 405681619 15373000704 22350 33554432000 4194304 4196468 140726338867104 140132367722608 140133400156802 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22179] ppid=22164 vsize=15012696 memory=140010628150912 CPUtime=0.03 cores=1,3,5,7
/proc/22167/task/22179/stat : 22179 (java) S 22164 22164 20770 0 -1 1077944384 427 0 0 0 3 0 0 0 20 0 15 0 405681619 15373000704 22350 33554432000 4194304 4196468 140726338867104 140132366670064 140133400156802 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22180] ppid=22164 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22180/stat : 22180 (java) S 22164 22164 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405681620 15373000704 22350 33554432000 4194304 4196468 140726338867104 140130824219232 140133400155861 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22181] ppid=22164 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22181/stat : 22181 (java) S 22164 22164 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405681620 15373000704 22350 33554432000 4194304 4196468 140726338867104 140132365617968 140133400156802 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90796 KiB
[startup+0.310894 s]*
/proc/loadavg: 3.98 3.30 2.78 5/233 22181
/proc/meminfo: memFree=18502660/32770624 swapFree=66915644/67108860
[pid=22164] ppid=22161 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/22164/stat : 22164 (scop.sh) S 22161 22164 20770 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405681613 115843072 349 33554432000 4194304 5098028 140729239675200 140729239672456 140083141124732 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22036480 140729239683939 140729239684208 140729239684208 140729239687117 0
/proc/22164/statm: 28282 349 296 221 0 87 0
[pid=22167] ppid=22164 vsize=15012696 memory=92748 CPUtime=0.43 cores=1,3,5,7
/proc/22167/stat : 22167 (java) S 22164 22164 20770 0 -1 1077944320 12231 0 0 0 40 3 0 0 20 0 15 0 405681613 15373000704 23187 33554432000 4194304 4196468 140726338867104 140726338849648 140133400145655 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
/proc/22167/statm: 3753174 23187 3055 1 0 3715579 0
[pid=22167/tid=22168] ppid=22164 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/22167/task/22168/stat : 22168 (java) R 22164 22164 20770 0 -1 4202560 9809 0 0 0 27 3 0 0 20 0 15 0 405681613 15373000704 23187 33554432000 4194304 4196468 140726338867104 140133371975728 140133384226142 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22169] ppid=22164 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22169/stat : 22169 (java) S 22164 22164 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405681615 15373000704 23187 33554432000 4194304 4196468 140726338867104 140133404387600 140133400155861 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22170] ppid=22164 vsize=15012696 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22170/stat : 22170 (java) S 22164 22164 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405681615 15373000704 23187 33554432000 4194304 4196468 140726338867104 140133180090768 140133400155861 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22171] ppid=22164 vsize=15012696 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22171/stat : 22171 (java) S 22164 22164 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405681615 15373000704 23187 33554432000 4194304 4196468 140726338867104 140133179038224 140133400155861 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22172] ppid=22164 vsize=15012696 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22172/stat : 22172 (java) S 22164 22164 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405681615 15373000704 23187 33554432000 4194304 4196468 140726338867104 140133177985680 140133400155861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22173] ppid=22164 vsize=15012696 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22173/stat : 22173 (java) S 22164 22164 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405681616 15373000704 23187 33554432000 4194304 4196468 140726338867104 140132437780976 140133400156802 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22174] ppid=22164 vsize=15012696 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22174/stat : 22174 (java) S 22164 22164 20770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405681617 15373000704 23187 33554432000 4194304 4196468 140726338867104 140131965068704 140133400155861 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22175] ppid=22164 vsize=15012696 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22175/stat : 22175 (java) S 22164 22164 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405681617 15373000704 23187 33554432000 4194304 4196468 140726338867104 140131696633328 140133400155861 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22176] ppid=22164 vsize=15012696 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22176/stat : 22176 (java) S 22164 22164 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405681619 15373000704 23187 33554432000 4194304 4196468 140726338867104 140131322125008 140133400164251 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22177] ppid=22164 vsize=15012696 memory=4426078206164241782 CPUtime=0.02 cores=1,3,5,7
/proc/22167/task/22177/stat : 22177 (java) S 22164 22164 20770 0 -1 1077944384 427 0 0 0 2 0 0 0 20 0 15 0 405681619 15373000704 23187 33554432000 4194304 4196468 140726338867104 140132436727792 140133400156802 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22178] ppid=22164 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22167/task/22178/stat : 22178 (java) S 22164 22164 20770 0 -1 1077944384 218 0 0 0 2 0 0 0 20 0 15 0 405681619 15373000704 23187 33554432000 4194304 4196468 140726338867104 140132367722608 140133400156802 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22179] ppid=22164 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22167/task/22179/stat : 22179 (java) S 22164 22164 20770 0 -1 1077944384 446 0 0 0 7 0 0 0 20 0 15 0 405681619 15373000704 23187 33554432000 4194304 4196468 140726338867104 140132366670064 140133400156802 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22180] ppid=22164 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22180/stat : 22180 (java) S 22164 22164 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405681620 15373000704 23187 33554432000 4194304 4196468 140726338867104 140130824219232 140133400155861 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22181] ppid=22164 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22181/stat : 22181 (java) S 22164 22164 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405681620 15373000704 23187 33554432000 4194304 4196468 140726338867104 140132365617968 140133400156802 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 94144 KiB
[startup+0.70244 s]
/proc/loadavg: 3.98 3.30 2.78 7/233 22181
/proc/meminfo: memFree=18481700/32770624 swapFree=66915644/67108860
[pid=22164] ppid=22161 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/22164/stat : 22164 (scop.sh) S 22161 22164 20770 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405681613 115843072 349 33554432000 4194304 5098028 140729239675200 140729239672456 140083141124732 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22036480 140729239683939 140729239684208 140729239684208 140729239687117 0
/proc/22164/statm: 28282 349 296 221 0 87 0
[pid=22167] ppid=22164 vsize=15021092 memory=130832 CPUtime=1.03 cores=1,3,5,7
/proc/22167/stat : 22167 (java) S 22164 22164 20770 0 -1 1077944320 20050 0 0 0 97 6 0 0 20 0 15 0 405681613 15381598208 32708 33554432000 4194304 4196468 140726338867104 140726338849648 140133400145655 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
/proc/22167/statm: 3755273 32708 3202 1 0 3716603 0
[pid=22167/tid=22168] ppid=22164 vsize=15021092 memory=36044 CPUtime=0.68 cores=1,3,5,7
/proc/22167/task/22168/stat : 22168 (java) R 22164 22164 20770 0 -1 4202560 17062 0 0 0 63 5 0 0 20 0 15 0 405681613 15381598208 32708 33554432000 4194304 4196468 140726338867104 140133371983632 140133384253730 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22169] ppid=22164 vsize=15021092 memory=992 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22169/stat : 22169 (java) S 22164 22164 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405681615 15381598208 32708 33554432000 4194304 4196468 140726338867104 140133404387600 140133400155861 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22170] ppid=22164 vsize=15021092 memory=2044 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22170/stat : 22170 (java) S 22164 22164 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405681615 15381598208 32708 33554432000 4194304 4196468 140726338867104 140133180090768 140133400155861 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22171] ppid=22164 vsize=15021092 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22171/stat : 22171 (java) S 22164 22164 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405681615 15381598208 32708 33554432000 4194304 4196468 140726338867104 140133179038224 140133400155861 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22172] ppid=22164 vsize=15021092 memory=620 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22172/stat : 22172 (java) S 22164 22164 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405681615 15381598208 32708 33554432000 4194304 4196468 140726338867104 140133177985680 140133400155861 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22173] ppid=22164 vsize=15021092 memory=3356 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22173/stat : 22173 (java) S 22164 22164 20770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405681616 15381598208 32708 33554432000 4194304 4196468 140726338867104 140132437780976 140133400156802 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22174] ppid=22164 vsize=15021092 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22174/stat : 22174 (java) S 22164 22164 20770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405681617 15381598208 32708 33554432000 4194304 4196468 140726338867104 140131965068704 140133400155861 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22175] ppid=22164 vsize=15021092 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22175/stat : 22175 (java) S 22164 22164 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405681617 15381598208 32708 33554432000 4194304 4196468 140726338867104 140131696633328 140133400155861 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22176] ppid=22164 vsize=15021092 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22176/stat : 22176 (java) S 22164 22164 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405681619 15381598208 32708 33554432000 4194304 4196468 140726338867104 140131322125008 140133400164251 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22177] ppid=22164 vsize=15021092 memory=944 CPUtime=0.08 cores=1,3,5,7
/proc/22167/task/22177/stat : 22177 (java) R 22164 22164 20770 0 -1 4202560 610 0 0 0 8 0 0 0 20 0 15 0 405681619 15381598208 32708 33554432000 4194304 4196468 140726338867104 140132436717904 140133385270935 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22178] ppid=22164 vsize=15021092 memory=1552 CPUtime=0.08 cores=1,3,5,7
/proc/22167/task/22178/stat : 22178 (java) R 22164 22164 20770 0 -1 4202560 439 0 0 0 8 0 0 0 20 0 15 0 405681619 15381598208 32708 33554432000 4194304 4196468 140726338867104 140132367708704 140133384535509 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22179] ppid=22164 vsize=15021092 memory=1052 CPUtime=0.17 cores=1,3,5,7
/proc/22167/task/22179/stat : 22179 (java) R 22164 22164 20770 0 -1 4202560 605 0 0 0 17 0 0 0 20 0 15 0 405681619 15381598208 32708 33554432000 4194304 4196468 140726338867104 140132366670064 140133392382782 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22180] ppid=22164 vsize=15021092 memory=5948 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22180/stat : 22180 (java) S 22164 22164 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405681620 15381598208 32708 33554432000 4194304 4196468 140726338867104 140130824219232 140133400155861 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
[pid=22167/tid=22181] ppid=22164 vsize=15021092 memory=8300 CPUtime=0 cores=1,3,5,7
/proc/22167/task/22181/stat : 22181 (java) S 22164 22164 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405681620 15381598208 32708 33554432000 4194304 4196468 140726338867104 140132365617968 140133400156802 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140726338876201 140726338876570 140726338876570 140726338879439 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 132228 KiB
[startup+1.50149 s]
/proc/loadavg: 3.98 3.30 2.78 8/233 22181
/proc/meminfo: memFree=18456952/32770624 swapFree=66915644/67108860
[pid=22164] ppid=22161 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/22164/stat : 22164 (scop.sh) S 22161 22164 20770 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405681613 115843072 349 33554432000 4194304 5098028 140729239675200 140729239672456 140083141124732 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22036480 140729239683939 140729239684208 140729239684208 140729239687117 0
/proc/22164/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/22182/task/22198/stat : 22198 (java) S 22164 22164 20770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405682045 8262082560 32019 33554432000 4194304 4196468 140735284391616 139822912853440 139823545802521 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22200] ppid=22164 vsize=8068440 memory=128076 CPUtime=0.03 cores=1,3,5,7
/proc/22182/task/22200/stat : 22200 (java) S 22164 22164 20770 0 -1 4202560 1692 0 0 0 2 1 0 0 20 0 19 0 405682045 8262082560 32019 33554432000 4194304 4196468 140735284391616 139820848361488 139823545799837 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22201] ppid=22164 vsize=8068440 memory=520992 CPUtime=0 cores=1,3,5,7
/proc/22182/task/22201/stat : 22201 (java) S 22164 22164 20770 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 405682045 8262082560 32019 33554432000 4194304 4196468 140735284391616 139820714139056 139823545799837 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22202] ppid=22164 vsize=8068440 memory=3300 CPUtime=0 cores=1,3,5,7
/proc/22182/task/22202/stat : 22202 (java) S 22164 22164 20770 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 405682048 8262082560 32019 33554432000 4194304 4196468 140735284391616 139820982590384 139823545788117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
Current children cumulated CPU time: 376.03 s
Current children cumulated vsize: 8761808 KiB
Current children cumulated memory: 652592 KiB
[startup+373.601 s]
/proc/loadavg: 2.07 2.74 2.75 3/244 22340
/proc/meminfo: memFree=29270240/32770624 swapFree=66915648/67108860
[pid=22164] ppid=22161 vsize=113128 memory=1476 CPUtime=5.93 cores=1,3,5,7
/proc/22164/stat : 22164 (scop.sh) S 22161 22164 20770 0 -1 4202496 581 27354 0 0 0 0 555 38 20 0 1 0 405681613 115843072 369 33554432000 4194304 5098028 140729239675200 140729239671944 140083141124732 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22036480 140729239683939 140729239684208 140729239684208 140729239687117 0
/proc/22164/statm: 28282 369 311 221 0 87 0
[pid=22182] ppid=22164 vsize=8068440 memory=229140 CPUtime=2.61 cores=1,3,5,7
/proc/22182/stat : 22182 (java) S 22164 22164 20770 0 -1 1077944320 27391 0 0 0 238 23 0 0 20 0 19 0 405681968 8262082560 57285 33554432000 4194304 4196468 140735284391616 140735284374160 139823545777911 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
/proc/22182/statm: 2017110 57285 3233 1 0 1978454 0
[pid=22197] ppid=22182 vsize=580240 memory=523132 CPUtime=368.98 cores=1,3,5,7
/proc/22197/stat : 22197 (cryptominisat5) R 22182 22164 20770 0 -1 4202496 588897 0 0 0 36840 58 0 0 20 0 1 0 405682045 594165760 130783 33554432000 4194304 4451008 140732973797392 140732973794616 140696728607840 0 4 0 2 0 0 0 17 1 0 0 0 0 0 6549032 6559120 18890752 140732973802428 140732973802560 140732973802560 140732973805510 0
/proc/22197/statm: 145060 130783 745 63 0 138787 0
[pid=22182/tid=22183] ppid=22164 vsize=8068440 memory=-7824251494390912362 CPUtime=0.8 cores=1,3,5,7
/proc/22182/task/22183/stat : 22183 (java) S 22164 22164 20770 0 -1 1077944384 16920 0 0 0 74 6 0 0 20 0 19 0 405681968 8262082560 57285 33554432000 4194304 4196468 140735284391616 139823517618080 139823545788117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22184] ppid=22164 vsize=8068440 memory=2044 CPUtime=0 cores=1,3,5,7
/proc/22182/task/22184/stat : 22184 (java) S 22164 22164 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405681969 8262082560 57285 33554432000 4194304 4196468 140735284391616 139823550019984 139823545788117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22185] ppid=22164 vsize=8068440 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/22182/task/22185/stat : 22185 (java) S 22164 22164 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405681969 8262082560 57285 33554432000 4194304 4196468 140735284391616 139823350188304 139823545788117 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22186] ppid=22164 vsize=8068440 memory=620 CPUtime=0 cores=1,3,5,7
/proc/22182/task/22186/stat : 22186 (java) S 22164 22164 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405681969 8262082560 57285 33554432000 4194304 4196468 140735284391616 139823349136016 139823545788117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22187] ppid=22164 vsize=8068440 memory=3356 CPUtime=0 cores=1,3,5,7
/proc/22182/task/22187/stat : 22187 (java) S 22164 22164 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405681969 8262082560 57285 33554432000 4194304 4196468 140735284391616 139823348083216 139823545788117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22188] ppid=22164 vsize=8068440 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/22182/task/22188/stat : 22188 (java) S 22164 22164 20770 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 405681970 8262082560 57285 33554432000 4194304 4196468 140735284391616 139822924540528 139823545789058 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22189] ppid=22164 vsize=8068440 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/22182/task/22189/stat : 22189 (java) S 22164 22164 20770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405681971 8262082560 57285 33554432000 4194304 4196468 140735284391616 139822391878944 139823545788117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22190] ppid=22164 vsize=8068440 memory=2528 CPUtime=0 cores=1,3,5,7
/proc/22182/task/22190/stat : 22190 (java) S 22164 22164 20770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405681971 8262082560 57285 33554432000 4194304 4196468 140735284391616 139822257657456 139823545788117 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22191] ppid=22164 vsize=8068440 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/22182/task/22191/stat : 22191 (java) S 22164 22164 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405681973 8262082560 57285 33554432000 4194304 4196468 140735284391616 139821883152976 139823545796507 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22192] ppid=22164 vsize=8068440 memory=111632 CPUtime=0.45 cores=1,3,5,7
/proc/22182/task/22192/stat : 22192 (java) R 22164 22164 20770 0 -1 4202560 2904 0 0 0 44 1 0 0 20 0 19 0 405681973 8262082560 57285 33554432000 4194304 4196468 140735284391616 139822923479832 139823530673801 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22193] ppid=22164 vsize=8068440 memory=792 CPUtime=0.42 cores=1,3,5,7
/proc/22182/task/22193/stat : 22193 (java) R 22164 22164 20770 0 -1 4202560 2913 0 0 0 41 1 0 0 20 0 19 0 405681973 8262082560 57285 33554432000 4194304 4196468 140735284391616 139822922420424 139823527297590 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22194] ppid=22164 vsize=8068440 memory=1640 CPUtime=0.34 cores=1,3,5,7
/proc/22182/task/22194/stat : 22194 (java) S 22164 22164 20770 0 -1 1077944384 1445 0 0 0 34 0 0 0 20 0 19 0 405681973 8262082560 57285 33554432000 4194304 4196468 140735284391616 139822921382256 139823545789058 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22195] ppid=22164 vsize=8068440 memory=128076 CPUtime=0 cores=1,3,5,7
/proc/22182/task/22195/stat : 22195 (java) S 22164 22164 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405681974 8262082560 57285 33554432000 4194304 4196468 140735284391616 139821385247200 139823545788117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22196] ppid=22164 vsize=8068440 memory=3364 CPUtime=0.2 cores=1,3,5,7
/proc/22182/task/22196/stat : 22196 (java) S 22164 22164 20770 0 -1 1077944384 28 0 0 0 8 12 0 0 20 0 19 0 405681974 8262082560 57285 33554432000 4194304 4196468 140735284391616 139822920330160 139823545789058 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22198] ppid=22164 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/22182/task/22198/stat : 22198 (java) S 22164 22164 20770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405682045 8262082560 57285 33554432000 4194304 4196468 140735284391616 139822912853440 139823545802521 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22200] ppid=22164 vsize=8068440 memory=523040 CPUtime=0.35 cores=1,3,5,7
/proc/22182/task/22200/stat : 22200 (java) R 22164 22164 20770 0 -1 4202560 1770 0 0 0 33 2 0 0 20 0 19 0 405682045 8262082560 57285 33554432000 4194304 4196468 140735284391616 139820848361776 139823545799837 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22201] ppid=22164 vsize=8068440 memory=128076 CPUtime=0 cores=1,3,5,7
/proc/22182/task/22201/stat : 22201 (java) S 22164 22164 20770 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 405682045 8262082560 57285 33554432000 4194304 4196468 140735284391616 139820714139056 139823545799837 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22202] ppid=22164 vsize=8068440 memory=523040 CPUtime=0 cores=1,3,5,7
/proc/22182/task/22202/stat : 22202 (java) S 22164 22164 20770 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 405682048 8262082560 57285 33554432000 4194304 4196468 140735284391616 139820982590384 139823545788117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
Current children cumulated CPU time: 377.52 s
Current children cumulated vsize: 8761808 KiB
Current children cumulated memory: 753748 KiB
[startup+373.801 s]
/proc/loadavg: 2.07 2.74 2.75 3/244 22340
/proc/meminfo: memFree=29270240/32770624 swapFree=66915648/67108860
[pid=22164] ppid=22161 vsize=113128 memory=1476 CPUtime=5.93 cores=1,3,5,7
/proc/22164/stat : 22164 (scop.sh) S 22161 22164 20770 0 -1 4202496 581 27354 0 0 0 0 555 38 20 0 1 0 405681613 115843072 369 33554432000 4194304 5098028 140729239675200 140729239671944 140083141124732 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22036480 140729239683939 140729239684208 140729239684208 140729239687117 0
/proc/22164/statm: 28282 369 311 221 0 87 0
[pid=22182] ppid=22164 vsize=8068440 memory=295688 CPUtime=2.92 cores=1,3,5,7
/proc/22182/stat : 22182 (java) S 22164 22164 20770 0 -1 1077944320 27667 0 0 0 268 24 0 0 20 0 19 0 405681968 8262082560 73922 33554432000 4194304 4196468 140735284391616 140735284374160 139823545777911 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
/proc/22182/statm: 2017110 73922 3233 1 0 1978454 0
[pid=22197] ppid=22182 vsize=465212 memory=62732 CPUtime=369.12 cores=1,3,5,7
/proc/22197/stat : 22197 (cryptominisat5) R 22182 22164 20770 0 -1 4202496 603169 0 0 0 36850 62 0 0 20 0 1 0 405682045 476377088 15683 33554432000 4194304 4451008 140732973797392 140732973794616 140696728630252 0 4 0 2 0 0 0 17 3 0 0 0 0 0 6549032 6559120 18890752 140732973802428 140732973802560 140732973802560 140732973805510 0
/proc/22197/statm: 116303 15683 751 63 0 110030 0
[pid=22182/tid=22183] ppid=22164 vsize=8068440 memory=792 CPUtime=0.8 cores=1,3,5,7
/proc/22182/task/22183/stat : 22183 (java) S 22164 22164 20770 0 -1 1077944384 16920 0 0 0 74 6 0 0 20 0 19 0 405681968 8262082560 73922 33554432000 4194304 4196468 140735284391616 139823517618080 139823545788117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22184] ppid=22164 vsize=8068440 memory=1640 CPUtime=0 cores=1,3,5,7
/proc/22182/task/22184/stat : 22184 (java) S 22164 22164 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405681969 8262082560 73922 33554432000 4194304 4196468 140735284391616 139823550019984 139823545788117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22185] ppid=22164 vsize=8068440 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/22182/task/22185/stat : 22185 (java) S 22164 22164 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405681969 8262082560 73922 33554432000 4194304 4196468 140735284391616 139823350188304 139823545788117 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22186] ppid=22164 vsize=8068440 memory=920 CPUtime=0 cores=1,3,5,7
/proc/22182/task/22186/stat : 22186 (java) S 22164 22164 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405681969 8262082560 73922 33554432000 4194304 4196468 140735284391616 139823349136016 139823545788117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22187] ppid=22164 vsize=8068440 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/22182/task/22187/stat : 22187 (java) S 22164 22164 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405681969 8262082560 73922 33554432000 4194304 4196468 140735284391616 139823348083216 139823545788117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22188] ppid=22164 vsize=8068440 memory=2952 CPUtime=0 cores=1,3,5,7
/proc/22182/task/22188/stat : 22188 (java) S 22164 22164 20770 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 405681970 8262082560 73922 33554432000 4194304 4196468 140735284391616 139822924540528 139823545789058 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22189] ppid=22164 vsize=8068440 memory=3340 CPUtime=0 cores=1,3,5,7
/proc/22182/task/22189/stat : 22189 (java) S 22164 22164 20770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405681971 8262082560 73922 33554432000 4194304 4196468 140735284391616 139822391878944 139823545788117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22190] ppid=22164 vsize=8068440 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/22182/task/22190/stat : 22190 (java) S 22164 22164 20770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405681971 8262082560 73922 33554432000 4194304 4196468 140735284391616 139822257657456 139823545788117 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22191] ppid=22164 vsize=8068440 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/22182/task/22191/stat : 22191 (java) S 22164 22164 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405681973 8262082560 73922 33554432000 4194304 4196468 140735284391616 139821883152976 139823545796507 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22192] ppid=22164 vsize=8068440 memory=3364 CPUtime=0.54 cores=1,3,5,7
/proc/22182/task/22192/stat : 22192 (java) S 22164 22164 20770 0 -1 1077944384 2924 0 0 0 53 1 0 0 20 0 19 0 405681973 8262082560 73922 33554432000 4194304 4196468 140735284391616 139822923487344 139823545789058 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22193] ppid=22164 vsize=8068440 memory=1476 CPUtime=0.53 cores=1,3,5,7
/proc/22182/task/22193/stat : 22193 (java) S 22164 22164 20770 0 -1 1077944384 3134 0 0 0 52 1 0 0 20 0 19 0 405681973 8262082560 73922 33554432000 4194304 4196468 140735284391616 139822922434544 139823545789058 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22194] ppid=22164 vsize=8068440 memory=128076 CPUtime=0.34 cores=1,3,5,7
/proc/22182/task/22194/stat : 22194 (java) S 22164 22164 20770 0 -1 1077944384 1448 0 0 0 34 0 0 0 20 0 19 0 405681973 8262082560 73922 33554432000 4194304 4196468 140735284391616 139822921382256 139823545789058 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22195] ppid=22164 vsize=8068440 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/22182/task/22195/stat : 22195 (java) S 22164 22164 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405681974 8262082560 73922 33554432000 4194304 4196468 140735284391616 139821385247200 139823545788117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22196] ppid=22164 vsize=8068440 memory=18792 CPUtime=0.2 cores=1,3,5,7
/proc/22182/task/22196/stat : 22196 (java) S 22164 22164 20770 0 -1 1077944384 28 0 0 0 8 12 0 0 20 0 19 0 405681974 8262082560 73922 33554432000 4194304 4196468 140735284391616 139822920330160 139823545789058 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22198] ppid=22164 vsize=8068440 memory=11936 CPUtime=0 cores=1,3,5,7
/proc/22182/task/22198/stat : 22198 (java) S 22164 22164 20770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405682045 8262082560 73922 33554432000 4194304 4196468 140735284391616 139822912853440 139823545802521 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22200] ppid=22164 vsize=8068440 memory=2116 CPUtime=0.46 cores=1,3,5,7
/proc/22182/task/22200/stat : 22200 (java) S 22164 22164 20770 0 -1 4202560 1802 0 0 0 43 3 0 0 20 0 19 0 405682045 8262082560 73922 33554432000 4194304 4196468 140735284391616 139820848361680 139823545799837 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22201] ppid=22164 vsize=8068440 memory=500 CPUtime=0 cores=1,3,5,7
/proc/22182/task/22201/stat : 22201 (java) S 22164 22164 20770 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 405682045 8262082560 73922 33554432000 4194304 4196468 140735284391616 139820714139056 139823545799837 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22202] ppid=22164 vsize=8068440 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/22182/task/22202/stat : 22202 (java) S 22164 22164 20770 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 405682048 8262082560 73922 33554432000 4194304 4196468 140735284391616 139820982590384 139823545788117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
Current children cumulated CPU time: 377.97 s
Current children cumulated vsize: 8646780 KiB
Current children cumulated memory: 359896 KiB
[startup+373.904 s]
/proc/loadavg: 2.07 2.74 2.75 3/244 22340
/proc/meminfo: memFree=29270240/32770624 swapFree=66915648/67108860
[pid=22164] ppid=22161 vsize=113128 memory=1476 CPUtime=5.93 cores=1,3,5,7
/proc/22164/stat : 22164 (scop.sh) S 22161 22164 20770 0 -1 4202496 581 27354 0 0 0 0 555 38 20 0 1 0 405681613 115843072 369 33554432000 4194304 5098028 140729239675200 140729239671944 140083141124732 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22036480 140729239683939 140729239684208 140729239684208 140729239687117 0
/proc/22164/statm: 28282 369 311 221 0 87 0
[pid=22182] ppid=22164 vsize=7937364 memory=299124 CPUtime=372.25 cores=1,3,5,7
/proc/22182/stat : 22182 (java) S 22164 22164 20770 0 -1 1077944320 27939 603202 0 0 288 25 36850 62 20 0 17 0 405681968 8127860736 74781 33554432000 4194304 4196468 140735284391616 140735284374160 139823545777911 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
/proc/22182/statm: 1984341 74781 3239 1 0 1945685 0
[pid=22182/tid=22183] ppid=22164 vsize=7937364 memory=186560 CPUtime=370.02 cores=1,3,5,7
/proc/22182/task/22183/stat : 22183 (java) R 22164 22164 20770 0 -1 4202560 17053 603202 0 0 83 7 36850 62 20 0 17 0 405681968 8127860736 74781 33554432000 4194304 4196468 140735284391616 139823517621272 139823527426859 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22184] ppid=22164 vsize=7937364 memory=128076 CPUtime=369.12 cores=1,3,5,7
/proc/22182/task/22184/stat : 22184 (java) S 22164 22164 20770 0 -1 1077944384 1 603202 0 0 0 0 36850 62 20 0 17 0 405681969 8127860736 74781 33554432000 4194304 4196468 140735284391616 139823550019984 139823545788117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22185] ppid=22164 vsize=7937364 memory=1476 CPUtime=369.12 cores=1,3,5,7
/proc/22182/task/22185/stat : 22185 (java) S 22164 22164 20770 0 -1 1077944384 2 603202 0 0 0 0 36850 62 20 0 17 0 405681969 8127860736 74781 33554432000 4194304 4196468 140735284391616 139823350188304 139823545788117 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22186] ppid=22164 vsize=7937364 memory=128224 CPUtime=369.12 cores=1,3,5,7
/proc/22182/task/22186/stat : 22186 (java) S 22164 22164 20770 0 -1 1077944384 2 603202 0 0 0 0 36850 62 20 0 17 0 405681969 8127860736 74781 33554432000 4194304 4196468 140735284391616 139823349136016 139823545788117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22187] ppid=22164 vsize=7937364 memory=287496 CPUtime=369.12 cores=1,3,5,7
/proc/22182/task/22187/stat : 22187 (java) S 22164 22164 20770 0 -1 1077944384 2 603202 0 0 0 0 36850 62 20 0 17 0 405681969 8127860736 75293 33554432000 4194304 4196468 140735284391616 139823348083216 139823545788117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22188] ppid=22164 vsize=7937364 memory=1476 CPUtime=369.12 cores=1,3,5,7
/proc/22182/task/22188/stat : 22188 (java) S 22164 22164 20770 0 -1 1077944384 12 603202 0 0 0 0 36850 62 20 0 17 0 405681970 8127860736 75293 33554432000 4194304 4196468 140735284391616 139822924540528 139823545789058 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22189] ppid=22164 vsize=7937364 memory=520992 CPUtime=369.12 cores=1,3,5,7
/proc/22182/task/22189/stat : 22189 (java) S 22164 22164 20770 0 -1 1077944384 13 603202 0 0 0 0 36850 62 20 0 17 0 405681971 8127860736 75293 33554432000 4194304 4196468 140735284391616 139822391878944 139823545788117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22190] ppid=22164 vsize=7937364 memory=792 CPUtime=369.12 cores=1,3,5,7
/proc/22182/task/22190/stat : 22190 (java) S 22164 22164 20770 0 -1 1077944384 21 603202 0 0 0 0 36850 62 20 0 17 0 405681971 8127860736 75293 33554432000 4194304 4196468 140735284391616 139822257657456 139823545788117 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22191] ppid=22164 vsize=7937364 memory=128076 CPUtime=369.12 cores=1,3,5,7
/proc/22182/task/22191/stat : 22191 (java) S 22164 22164 20770 0 -1 1077944384 3 603202 0 0 0 0 36850 62 20 0 17 0 405681973 8127860736 75293 33554432000 4194304 4196468 140735284391616 139821883152976 139823545796507 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22192] ppid=22164 vsize=7937364 memory=1476 CPUtime=369.69 cores=1,3,5,7
/proc/22182/task/22192/stat : 22192 (java) R 22164 22164 20770 0 -1 4202560 2939 603202 0 0 56 1 36850 62 20 0 17 0 405681973 8127860736 75293 33554432000 4194304 4196468 140735284391616 139822923473440 139823530885589 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22193] ppid=22164 vsize=7937364 memory=1476 CPUtime=369.68 cores=1,3,5,7
/proc/22182/task/22193/stat : 22193 (java) R 22164 22164 20770 0 -1 4202560 3146 603202 0 0 55 1 36850 62 20 0 17 0 405681973 8127860736 75293 33554432000 4194304 4196468 140735284391616 139822922434544 139823529165088 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22194] ppid=22164 vsize=7937364 memory=3628 CPUtime=369.5 cores=1,3,5,7
/proc/22182/task/22194/stat : 22194 (java) R 22164 22164 20770 0 -1 4202560 1550 603202 0 0 38 0 36850 62 20 0 17 0 405681973 8127860736 75293 33554432000 4194304 4196468 140735284391616 139822921382256 139823531472800 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22195] ppid=22164 vsize=7937364 memory=1476 CPUtime=369.12 cores=1,3,5,7
/proc/22182/task/22195/stat : 22195 (java) S 22164 22164 20770 0 -1 1077944384 3 603202 0 0 0 0 36850 62 20 0 17 0 405681974 8127860736 75293 33554432000 4194304 4196468 140735284391616 139821385247200 139823545788117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22196] ppid=22164 vsize=7937364 memory=128076 CPUtime=369.32 cores=1,3,5,7
/proc/22182/task/22196/stat : 22196 (java) S 22164 22164 20770 0 -1 1077944384 28 603202 0 0 8 12 36850 62 20 0 17 0 405681974 8127860736 75293 33554432000 4194304 4196468 140735284391616 139822920330160 139823545789058 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22198] ppid=22164 vsize=7937364 memory=1476 CPUtime=369.12 cores=1,3,5,7
/proc/22182/task/22198/stat : 22198 (java) S 22164 22164 20770 0 -1 1077944384 24 603202 0 0 0 0 36850 62 20 0 17 0 405682045 8127860736 75293 33554432000 4194304 4196468 140735284391616 139822912852624 139823545789058 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
[pid=22182/tid=22202] ppid=22164 vsize=7937364 memory=3628 CPUtime=369.12 cores=1,3,5,7
/proc/22182/task/22202/stat : 22202 (java) S 22164 22164 20770 0 -1 1077944384 29 603202 0 0 0 0 36850 62 20 0 17 0 405682048 8127860736 75293 33554432000 4194304 4196468 140735284391616 139820982592176 139823545789058 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140735284392955 140735284393114 140735284393114 140735284395983 0
Current children cumulated CPU time: 378.18 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 300600 KiB
Child status: 0
Real time (s): 373.925
CPU time (s): 378.24
CPU user time (s): 376.96
CPU system time (s): 1.28004
CPU usage (%): 101.154
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 1754908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 376.96
system time used= 1.28004
maximum resident set size= 1755936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 659099
page faults= 0
swaps= 0
block input operations= 0
block output operations= 37728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13956
involuntary context switches= 552
# summary of solver processes directly reported to runsolver:
# pid: 22164
# total CPU time (s): 378.24
# total CPU user time (s): 376.96
# total CPU system time (s): 1.28004
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.79899 second user time and 4.15844 second system time
The end