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-8178-serial-file.bin HOME/instance-4388212-1568296651.xml
0.66/0.53
0.66/0.53 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.53
0.66/0.55 c BEGIN-Prog: Thu Sep 12 15:56:53 CEST 2019
0.66/0.55 c PID: 8181
0.66/0.55 c IP: 172.20.3.119
0.66/0.55 c HOST: node119.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.96/1.11 c (0,0) Parsing End
2.33/1.11 c (0,0) CSP: 75 int (0 aux), 1 bool (0 aux), 350 ctr, max domain size 1001
2.33/1.11 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.33/1.11 c (0,0) Constraint Name Generate Begin
2.33/1.12 c (0,0) Ctr:HOME/instance-4388212-1568296651.xml,ExtensionConflict:ExtensionSupport:Var
2.33/1.12 c (0,0) Constraint Name Generate End
2.33/1.12 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.33/1.12 c (0,0) CSP to CSPinCNF Begin
3.80/1.64 c (1,1) translated 35 (10%) constraints
4.41/1.80 c (1,1) translated 70 (20%) constraints
4.72/1.93 c (1,1) translated 105 (30%) constraints
5.05/2.03 c (1,1) translated 140 (40%) constraints
5.36/2.12 c (1,1) translated 175 (50%) constraints
5.63/2.20 c (1,1) translated 210 (60%) constraints
5.63/2.27 c (1,1) translated 245 (70%) constraints
5.94/2.33 c (1,1) translated 280 (80%) constraints
92.09/81.18 c (80,79) translated 315 (90%) constraints
118.27/103.57 c (103,100) translated 350 (100%) constraints
118.27/103.57 c (103,100) ===========================================
118.78/103.81 c (103,101) Hybrid: #OE=9111, #LE=0
118.78/103.81 c (103,101) Hybrid
118.78/103.81 c (103,101) ===========================================
123.64/106.34 c (105,103) translated 78986 (10%) constraints
125.80/108.22 c (107,104) translated 157972 (20%) constraints
127.74/110.11 c (109,106) translated 236957 (30%) constraints
129.56/111.99 c (111,108) translated 315943 (40%) constraints
133.87/114.49 c (113,110) translated 394928 (50%) constraints
135.77/116.38 c (115,112) translated 473914 (60%) constraints
137.68/118.27 c (117,114) translated 552900 (70%) constraints
139.58/120.16 c (119,116) translated 631885 (80%) constraints
143.47/122.56 c (122,118) translated 710871 (90%) constraints
145.38/124.45 c (123,120) translated 789856 (100%) constraints
145.38/124.45 c (123,120) CSP to CSPinCNF End
145.38/124.46 c (123,120) CSP: 75 int (0 aux), 9036 bool (9035 aux), 789856 ctr, max domain size 180
145.38/124.46 c (123,120) Heap : 2233 MiB used (max 10507 MiB), NonHeap : 27 MiB used (max 0 MiB)
145.38/124.46 c (123,120) CSPinCNF Propagation Begin
171.07/142.49 c (141,135) 668 values, 271462 unsatisfiable literals, and 211441 valid clauses are removed
171.07/142.49 c (141,135) CSPinCNF Propagation End
171.07/142.49 c (141,135) CSP: 75 int (0 aux), 9036 bool (9035 aux), 578415 ctr, max domain size 180
171.07/142.49 c (141,135) Heap : 1880 MiB used (max 10529 MiB), NonHeap : 28 MiB used (max 0 MiB)
171.31/142.65 c (142,136) Hybrid: #OE=9111, #LE=0
171.31/142.65 c (142,136) Simplify CSPinCNF Begin
172.80/143.98 c (143,137) Simplify CSPinCNF End
172.80/143.98 c (143,137) CSP: 75 int (0 aux), 9036 bool (9035 aux), 578415 ctr, max domain size 180
172.80/143.98 c (143,137) Heap : 2657 MiB used (max 10529 MiB), NonHeap : 29 MiB used (max 0 MiB)
172.80/143.98 c (143,137) Calculate Precise Domain Begin
172.80/143.99 c (143,137) 0 values are removed by re-calculation
172.80/143.99 c (143,137) Calculate Precise Domain End
172.80/143.99 c (143,137) CSP: 75 int (0 aux), 9036 bool (9035 aux), 578415 ctr, max domain size 180
172.80/143.99 c (143,137) Heap : 2657 MiB used (max 10529 MiB), NonHeap : 29 MiB used (max 0 MiB)
172.80/143.99 c (143,137) CSPinCNF to SatSolver Begin
175.31/145.11 c (144,138) 57842 (10 %) CSP clauses are encoded (0 SAT variables, 62811 SAT clauses)
177.57/146.22 c (145,139) 115683 (20 %) CSP clauses are encoded (0 SAT variables, 120652 SAT clauses)
178.26/146.94 c (146,140) 173525 (30 %) CSP clauses are encoded (0 SAT variables, 178494 SAT clauses)
178.95/147.66 c (147,140) 231366 (40 %) CSP clauses are encoded (0 SAT variables, 236335 SAT clauses)
179.66/148.38 c (147,141) 289208 (50 %) CSP clauses are encoded (0 SAT variables, 294177 SAT clauses)
181.45/149.38 c (148,142) 347049 (60 %) CSP clauses are encoded (0 SAT variables, 352018 SAT clauses)
182.15/150.10 c (149,142) 404891 (70 %) CSP clauses are encoded (0 SAT variables, 409860 SAT clauses)
182.95/150.82 c (150,143) 462732 (80 %) CSP clauses are encoded (0 SAT variables, 467701 SAT clauses)
184.38/151.73 c (151,144) 520574 (90 %) CSP clauses are encoded (0 SAT variables, 525543 SAT clauses)
185.11/152.41 c (151,145) 578415 (100 %) CSP clauses are encoded (0 SAT variables, 583384 SAT clauses)
185.11/152.41 c (151,145) CSPinCNF to SatSolver End
185.11/152.41 c (151,145) Heap : 2692 MiB used (max 10547 MiB), NonHeap : 30 MiB used (max 0 MiB)
185.11/152.41 c (151,145) 13565 bool, 583385 clause
185.11/152.41 c (151,145) Export Begin
185.30/152.52 c (151,145) Export to HOME/scop-8178-serial-file.bin
185.30/152.52 c (151,145) Export End
185.30/152.52 c (151,145) Export File Size: 0.05 MB
185.30/152.52 c (151,145) 0,0,123,141,143,143,151,STOP-AFTER(DIMACS)
185.30/152.52 c END-Prog: Thu Sep 12 15:59:25 CEST 2019
185.30/152.55 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-8178-serial-file.bin
185.39/153.01 c (0,0) Read Serial File Begin
185.39/153.01 c (0,0) HOME/scop-8178-serial-file.bin
186.28/153.25 c (0,0) Read Serial File End
186.28/153.26
186.28/153.26 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
186.28/153.26 (Solving Process)
186.28/153.26
186.28/153.28 c BEGIN-Prog: Thu Sep 12 15:59:25 CEST 2019
186.28/153.28 c PID: 8207
186.28/153.28 c IP: 172.20.3.119
186.28/153.28 c HOST: node119.alineos.net
186.28/153.29 c (0,0) SatSolver.solve Begin
186.28/153.29 c (0,0) HOME/cryptominisat5 HOME/instance-4388212-1568296651.xml-scop-8181.cnf
186.45/153.32 c (0,0) c Outputting solution to console
186.45/153.32 c (0,0) c CryptoMiniSat version 5.6.8
186.45/153.32 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
186.45/153.32 c (0,0) c CMS SHA revision GIT-notfound
186.45/153.32 c (0,0) c CMS is MIT licensed
186.45/153.32 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
186.45/153.32 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
186.45/153.32 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388212-1568296651.xml-scop-8181.cnf
186.45/153.32 c (0,0) c Reading file 'HOME/instance-4388212-1568296651.xml-scop-8181.cnf'
186.45/153.32 c (0,0) c -- header says num vars: 13565
186.45/153.32 c (0,0) c -- header says num clauses: 583385
186.60/153.51 c (0,0) c -- clauses added: 583385
186.60/153.51 c (0,0) c -- xor clauses added: 0
186.60/153.51 c (0,0) c -- vars added 13565
186.60/153.51 c (0,0) c Parsing time: 0.18 s
186.60/153.55 c (0,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
186.60/153.55 c (0,0) c [distill] long cls tried: 5/4 cl-short:5 lit-r:1 T: 0.00 T-out: N T-r: 99.99%
187.39/154.15 c (1,0) c [distill] long cls tried: 478/402 cl-short:475 lit-r:1361 T: 0.09 T-out: N T-r: 99.15%
188.49/155.23 c (2,0) c [distill] long cls tried: 569/897 cl-short:569 lit-r:1409 T: 0.13 T-out: N T-r: 98.82%
188.58/155.37 c (2,0) c glue 1 57 8193 12044 134K 16459 5.93 5.50 1043 2228 3784 1052 64.21 56.14
189.67/156.43 c (3,0) c [distill] long cls tried: 1930/2569 cl-short:1879 lit-r:12114 T: 0.43 T-out: N T-r: 96.12%
190.68/157.42 c (4,0) c geom 1 106 16386 11767 134K 16459 5.93 5.50 3513 4143 6614 1968 63.47 56.02
191.18/157.91 c (4,0) c [distill] long cls tried: 1131/3581 cl-short:1123 lit-r:15581 T: 0.30 T-out: N T-r: 97.24%
192.89/159.63 c (6,0) c [distill] long cls tried: 2321/5665 cl-short:2309 lit-r:9855 T: 0.59 T-out: N T-r: 94.54%
192.98/159.70 c (6,0) c glue 1 154 24K 11557 134K 16459 5.93 5.50 5698 4666 11321 2758 60.26 53.68
195.29/162.09 c (9,0) c [distill] long cls tried: 2735/8173 cl-short:2728 lit-r:12701 T: 0.81 T-out: N T-r: 92.70%
195.50/162.22 c (9,0) c glue 1 206 32K 11370 134K 16459 5.93 5.50 8220 6473 13137 3236 59.27 53.30
197.19/163.95 c (11,0) c glue 1 271 40K 11358 134K 16459 5.93 5.50 10394 5429 20K 3411 61.03 55.91
198.29/165.09 c (12,0) c [distill] long cls tried: 2287/10315 cl-short:2284 lit-r:11433 T: 0.79 T-out: N T-r: 93.08%
199.88/166.67 c (13,0) c glue 1 339 49K 11352 134K 16459 5.93 5.50 11002 8567 20K 3649 58.96 54.18
201.98/168.78 c (15,0) c [distill] long cls tried: 2354/12355 cl-short:2354 lit-r:9174 T: 0.94 T-out: N T-r: 91.52%
202.79/169.53 c (16,0) c geom 1 418 57K 11305 119K 15010 5.69 5.28 12512 7118 27K 3663 62.22 57.90
204.69/171.41 c (18,0) c glue 1 483 65K 11303 119K 15010 5.69 5.28 14198 7403 27K 3711 62.87 58.58
206.20/172.92 c (19,0) c [distill] long cls tried: 1942/14197 cl-short:1939 lit-r:5567 T: 0.77 T-out: N T-r: 92.34%
206.60/173.37 c (20,0) c recursive minimization cost OK: 18172Kcost/(% lits removed)
206.60/173.37 c (20,0) c more minimization effectiveness low: 0.00 % lits removed --> disabling
206.60/173.37 c (20,0) c --> Executing strategy token: handle-comps
206.60/173.37 c (20,0) c --> Executing strategy token: scc-vrepl
206.60/173.37 c (20,0) c [scc] new: 99 BP 0M T: 0.00
206.70/173.48 c (20,0) c [vrep] vars 83 lits 39983 rem-bin-cls 386 rem-long-cls 240 BP 0M T: 0.11
206.70/173.49 c (20,0) c --> Executing strategy token: cache-clean
206.70/173.49 c (20,0) c --> Executing strategy token: cache-tryboth
206.70/173.49 c (20,0) c --> Executing strategy token: sub-impl
206.70/173.49 c (20,0) c [impl sub] bin: 384 T: 0.01 T-out: N w-visit: 27130
206.80/173.51 c (20,0) c --> Executing strategy token: intree-probe
206.80/173.51 c (20,0) c [scc] new: 15 BP 0M T: 0.00
206.80/173.56 c (20,0) c [vrep] vars 13 lits 3174 rem-bin-cls 56 rem-long-cls 1 BP 0M T: 0.04
206.80/173.58 c (20,0) c [scc] new: 0 BP 0M T: 0.00
206.90/173.61 c (20,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 0M T: 0.03
210.60/177.31 c (24,0) c [intree] Set 1918 vars hyper-added: 165369 trans-irred::0 trans-red::68189 T: 3.69 T-out: N T-r: 77.64%
210.91/177.64 c (24,0) c --> Executing strategy token: probe
210.91/177.64 c (24,0) c --> Executing strategy token: sub-str-cls-with-bin
210.91/177.64 c (24,0) c [distill] cache-based irred-- cl tried 203488 cl-sh 7674 cl-rem 5949 lit-rem 38670 T: 0.26 T-out: N
210.91/177.64 c (24,0) c [distill] cache-based red-- cl tried 27725 cl-sh 759 cl-rem 358 lit-rem 2103 T: 0.05 T-out: N
212.11/178.83 c (25,0) c --> Executing strategy token: distill-cls
212.11/178.83 c (25,0) c [distill] long cls tried: 2579/95364 cl-short:1558 lit-r:1365 T: 1.19 T-out: Y T-r: -0.05%
212.11/178.83 c (25,0) c [distill] long useful: 3116/5158/191298 lits-rem: 2730 0-depth-assigns: 4 T: 2.37 T-out: Y
212.11/178.83 c (25,0) c --> Executing strategy token: scc-vrepl
212.11/178.83 c (25,0) c [scc] new: 442 BP 0M T: 0.00
212.21/178.97 c (26,0) c [vrep] vars 402 lits 358401 rem-bin-cls 1774 rem-long-cls 72 BP 1M T: 0.14
212.21/178.99 c (26,0) c --> Executing strategy token: sub-impl
212.21/178.99 c (26,0) c [impl sub] bin: 267 T: 0.02 T-out: N w-visit: 27130
212.21/178.99 c (26,0) c --> Executing strategy token: str-impl
212.21/178.99 c (26,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.32% w-visit: 27130
212.31/179.01 c (26,0) c --> Executing strategy token: sub-impl
212.31/179.01 c (26,0) c [impl sub] bin: 0 T: 0.01 T-out: N w-visit: 27130
212.31/179.03 c (26,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
212.31/179.03 c (26,0) c [occ] mem usage for occur 16 MB
212.31/179.06 c (26,0) c [occ] mem usage for occur 4 MB
212.41/179.12 c (26,0) c Mem for watch alloc : 26 MB (44.71 %)
212.41/179.12 c (26,0) c Mem for watch array : 0 MB (1.05 %)
212.71/179.40 c (26,0) c --> Executing OCC strategy token: occ-backw-sub-str
212.71/179.40 c (26,0) c [occ-backw-sub-str-long-w-bins] subs: 69 str: 6162 tried: 221837 0-depth ass: 0 T: 0.28 T-out: N T-r: 57.68%
212.82/179.56 c (26,0) c [occ-sub-long-w-long] rem cl: 2061 tried: 295692/147846 (200.0%) T: 0.16 T-out: N T-r: 63.08%
213.12/179.87 c (26,0) c [occ-sub-str-long-w-long] sub: 4 str: 1545 tried: 443538/147846 (300.0) T: 0.31 T-out: N T-r: 57.14%
213.12/179.87 c (26,0) c [occ-sub-str-w-added-long] sub: 0 str: 0 0-depth ass: 0 T: 0.00 T-out: N T-r: 99.83%
213.12/179.89 c (26,0) c --> Executing OCC strategy token: occ-clean-implicit
213.12/179.89 c (26,0) c --> Executing OCC strategy token: occ-bve
213.12/179.89 c (26,0) c [occ-empty-res] Empty resolvent elimed: 2 T: 0.01 T-out: N
213.52/180.29 c (27,0) c [occ-bve] iter v-elim 1501
213.52/180.29 c (27,0) c cl_inc_rate=1.0, var_dec_rate=1.2 (grow=0)
213.52/180.30 c (27,0) c Reduced to 7374 vars, 113003 cls (grow=0)
213.91/180.63 c (27,0) c [occ-bve] iter v-elim 632
213.91/180.63 c (27,0) c cl_inc_rate=1.0, var_dec_rate=1.1 (grow=8)
213.91/180.63 c (27,0) c Reduced to 6742 vars, 114230 cls (grow=8)
213.91/180.63 c (27,0) c x n vars : 6742
213.91/180.63 c (27,0) c #try to eliminate: 27K
213.91/180.63 c (27,0) c #var-elim : 2133
213.91/180.63 c (27,0) c #T-o: N
213.91/180.63 c (27,0) c #T-r: 99.94%
213.91/180.63 c (27,0) c #T : 0.74
213.91/180.63 c (27,0) c [occur] 0.09 is overhead
213.91/180.63 c (27,0) c [occur] link-in T: 0.09 cleanup T: 0.00
213.91/180.63 c (27,0) c --> Executing OCC strategy token: occ-bva
213.91/180.63 c (27,0) c [occ-bva] global numcalls: 0
213.91/180.66 c (27,0) c --> Executing OCC strategy token: occ-ternary-res
213.91/180.66 c (27,0) c --> Executing OCC strategy token: occ-xor
213.91/180.66 c (27,0) c [occ-xor] sort occur list T: 0.03
214.01/180.73 c (27,0) c [occ-xor] found 33 avg sz 3.0 min sz 3 max sz 3 T: 0.10 T-out: N T-r: 98.51%
214.01/180.73 c (27,0) c [xor-together] xored together 20 xors orig num xors: 33 T: 0.00
214.01/180.73 c (27,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
214.01/180.78 c (27,0) c --> Executing strategy token: cl-consolidate
214.01/180.78 c (27,0) c [mem] consolidate old-sz: 22M new-sz: 6205K new bits offs: 0 T: 0.01
214.01/180.78 c (27,0) c --> Executing strategy token: str-impl
214.01/180.78 c (27,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.37% w-visit: 27130
214.33/181.06 c (28,0) c --> Executing strategy token: cache-clean
214.33/181.06 c (28,0) c --> Executing strategy token: sub-str-cls-with-bin
214.33/181.06 c (28,0) c [distill] cache-based irred-- cl tried 173811 cl-sh 0 cl-rem 181 lit-rem 0 T: 0.24 T-out: N
214.33/181.06 c (28,0) c [distill] cache-based red-- cl tried 20164 cl-sh 242 cl-rem 18 lit-rem 664 T: 0.04 T-out: N
215.33/182.08 c (29,0) c --> Executing strategy token: distill-cls
215.33/182.08 c (29,0) c [distill] long cls tried: 4375/86677 cl-short:2284 lit-r:1813 T: 1.01 T-out: Y T-r: -0.09%
215.33/182.08 c (29,0) c [distill] long useful: 4568/8750/173630 lits-rem: 3626 0-depth-assigns: 16 T: 2.02 T-out: Y
215.33/182.08 c (29,0) c --> Executing strategy token: scc-vrepl
215.33/182.08 c (29,0) c [scc] new: 2 BP 0M T: 0.00
215.33/182.09 c (29,0) c --> Executing strategy token: check-cache-size
215.33/182.09 c (29,0) c --> Executing strategy token: renumber
215.33/182.09 c (29,0) c [xor-clean] T: 0.00
215.33/182.10 c (29,0) c [renumber] T: 0.02
215.33/182.10 c (29,0) c --> Executing strategy token: sls
215.33/182.10 c (29,0) c [consolidate] mini T: 0.00
215.33/182.10 c (29,0) c global_timeout_multiplier: 4.40
215.45/182.11 c (29,0) c clause size stats. size3: 12212 size4: 70234 size5: 368 larger: 3712
216.14/182.84 c (29,0) c luby 0 543 73K 6734 86K 27K 5.67 4.79 10194 3579 9315 76K 28.47 8.13
217.94/184.62 c (31,0) c luby 0 575 81K 6734 86K 27K 5.67 4.79 10908 3255 16045 76K 36.57 11.77
219.85/186.53 c (33,0) c [distill] long cls tried: 2402/10836 cl-short:2392 lit-r:4938 T: 0.82 T-out: N T-r: 92.91%
220.94/187.68 c (34,0) c luby 0 593 90K 6733 86K 27K 5.67 4.79 11108 3460 23K 76K 42.30 15.24
223.24/189.93 c (36,0) c luby 0 624 98K 6733 86K 27K 5.67 4.79 11147 3753 30K 76K 44.94 18.04
225.64/192.39 c (39,0) c luby 0 650 106K 6733 86K 27K 5.67 4.79 11572 3509 32K 76K 44.37 18.13
226.65/193.38 c (40,0) c [distill] long cls tried: 741/11556 cl-short:740 lit-r:774 T: 0.26 T-out: N T-r: 97.79%
228.35/195.00 c (42,0) c luby 0 651 114K 6733 86K 27K 5.67 4.79 11965 2865 40K 76K 46.22 20.53
230.65/197.32 c (44,0) c luby 0 682 122K 6733 86K 27K 5.67 4.79 12341 3354 35K 76K 46.25 19.62
233.05/199.70 c (46,0) c luby 0 713 131K 6733 86K 27K 5.67 4.79 12529 3043 43K 76K 49.31 22.56
234.46/201.19 c (48,0) c [distill] long cls tried: 978/12515 cl-short:978 lit-r:1244 T: 0.39 T-out: N T-r: 96.45%
235.85/202.57 c (49,0) c luby 0 739 139K 6733 86K 27K 5.67 4.79 12564 3733 36K 76K 49.95 21.52
237.25/203.95 c (51,0) c ------- FINAL TOTAL SEARCH STATS ---------
237.25/203.95 c (51,0) c UIP search time : 41.64 (82.37 % time)
237.25/203.95 c (51,0) c restarts : 754 (190.98 confls per restart)
237.25/203.95 c (51,0) c blocked restarts : 172 (0.23 per normal restart)
237.25/203.95 c (51,0) c time : 41.64
237.25/203.95 c (51,0) c decisions : 394389 (0.00 % random)
237.25/203.95 c (51,0) c propagations : 124066947
237.25/203.95 c (51,0) c decisions/conflicts : 2.74
237.25/203.95 c (51,0) c conflicts : 143997 (3457.85 / sec)
237.25/203.95 c (51,0) c conf lits non-minim : 27534989 (191.22 lit/confl)
237.25/203.95 c (51,0) c conf lits final : 65.87
237.25/203.95 c (51,0) c cache hit re-learnt cl : 0 (0.00 % of confl)
237.25/203.95 c (51,0) c red which0 : 6126 (4.25 % of confl)
237.25/203.95 c (51,0) c props/decision : 0.00
237.25/203.95 c (51,0) c props/conflict : 0.00
237.25/203.95 c (51,0) c 0-depth assigns : 4199 (62.36 % vars)
237.25/203.95 c (51,0) c 0-depth assigns by CNF : 0 (0.00 % vars)
237.25/203.95 c (51,0) c reduceDB time : 0.05 (0.09 % time)
237.25/203.95 c (51,0) c OccSimplifier time : 0.70 (1.39 % time)
237.25/203.95 c (51,0) c [occur] 0.13 is overhead
237.25/203.95 c (51,0) c [occur] link-in T: 0.09 cleanup T: 0.03
237.25/203.95 c (51,0) c [occ-substr] long subBySub: 2061 subByStr: 4 lits-rem-str: 13800 T: 0.47
237.25/203.95 c (51,0) c SCC time : 0.02 (0.04 % time)
237.25/203.95 c (51,0) c [scc] new: 558 BP 0M T: 0.02
237.25/203.95 c (51,0) c vrep replace time : 0.32 (0.64 % time)
237.25/203.95 c (51,0) c vrep tree roots : 346
237.25/203.95 c (51,0) c vrep trees' crown : 498 (1.44 leafs/tree)
237.25/203.95 c (51,0) c distill time : 10.72 (21.21 % time)
237.25/203.95 c (51,0) c strength cache-irred time: 0.49 (0.97 % time)
237.25/203.95 c (51,0) c strength cache-red time : 0.09 (0.18 % time)
237.25/203.95 c (51,0) c Conflicts in UIP : 143997 (2848.27 confl/time_this_thread)
237.25/203.95 c (51,0) c Mem used : 62.05 MB
237.25/203.95 c (51,0) c Total time (this thread) : 50.56
237.25/203.95 c (51,0) s SATISFIABLE
237.48/204.03 c (51,0) SatSolver.solve End
237.48/204.03 c (51,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
237.48/204.04 c (51,0) Show results Begin
237.82/204.12 c (51,0) w3 = 180
237.82/204.12 c (51,0) w4 = 0
237.82/204.12 c (51,0) x[0] = 12
237.82/204.12 c (51,0) x[1] = 21
237.82/204.12 c (51,0) x[2] = 15
237.82/204.12 c (51,0) x[3] = 18
237.82/204.12 c (51,0) x[4] = 3
237.82/204.12 c (51,0) x[5] = 11
237.82/204.12 c (51,0) x[6] = 8
237.82/204.12 c (51,0) x[7] = 14
237.82/204.12 c (51,0) x[8] = 7
237.82/204.12 c (51,0) x[9] = 4
237.82/204.12 c (51,0) x[10] = 1
237.82/204.12 c (51,0) x[11] = 25
237.82/204.12 c (51,0) x[12] = 23
237.82/204.12 c (51,0) x[13] = 13
237.82/204.12 c (51,0) x[14] = 17
237.82/204.12 c (51,0) x[15] = 22
237.82/204.12 c (51,0) x[16] = 9
237.82/204.12 c (51,0) x[17] = 20
237.82/204.12 c (51,0) x[18] = 5
237.82/204.12 c (51,0) x[19] = 19
237.82/204.12 c (51,0) x[20] = 10
237.82/204.12 c (51,0) x[21] = 2
237.82/204.12 c (51,0) x[22] = 24
237.82/204.12 c (51,0) x[23] = 16
237.82/204.12 c (51,0) x[24] = 6
237.82/204.12 c (51,0) y[0] = 4
237.82/204.12 c (51,0) y[1] = 9
237.82/204.12 c (51,0) y[2] = 2
237.82/204.12 c (51,0) y[3] = 1
237.82/204.12 c (51,0) y[4] = 18
237.82/204.12 c (51,0) y[5] = 4
237.82/204.12 c (51,0) y[6] = 16
237.82/204.12 c (51,0) y[7] = 0
237.82/204.12 c (51,0) y[8] = 8
237.82/204.12 c (51,0) y[9] = 2
237.82/204.12 c (51,0) y[10] = 3
237.82/204.12 c (51,0) y[11] = 2
237.82/204.12 c (51,0) y[12] = 5
237.82/204.12 c (51,0) y[13] = 10
237.82/204.12 c (51,0) y[14] = 14
237.82/204.12 c (51,0) y[15] = 0
237.82/204.12 c (51,0) y[16] = 5
237.82/204.12 c (51,0) y[17] = 1
237.82/204.12 c (51,0) y[18] = 20
237.82/204.12 c (51,0) y[19] = 0
237.82/204.12 c (51,0) y[20] = 23
237.82/204.12 c (51,0) y[21] = 9
237.82/204.12 c (51,0) y[22] = 17
237.82/204.12 c (51,0) y[23] = 5
237.82/204.12 c (51,0) y[24] = 2
237.82/204.12 c (51,0) z[0] = 13
237.82/204.12 c (51,0) z[1] = 15
237.82/204.12 c (51,0) z[2] = 16
237.82/204.12 c (51,0) z[3] = 34
237.82/204.12 c (51,0) z[4] = 38
237.82/204.12 c (51,0) z[5] = 54
237.82/204.12 c (51,0) z[6] = 54
237.82/204.12 c (51,0) z[7] = 62
237.82/204.12 c (51,0) z[8] = 64
237.82/204.12 c (51,0) z[9] = 67
237.82/204.12 c (51,0) z[10] = 69
237.82/204.12 c (51,0) z[11] = 74
237.82/204.12 c (51,0) z[12] = 84
237.82/204.12 c (51,0) z[13] = 98
237.82/204.12 c (51,0) z[14] = 98
237.82/204.12 c (51,0) z[15] = 103
237.82/204.12 c (51,0) z[16] = 104
237.82/204.12 c (51,0) z[17] = 124
237.82/204.12 c (51,0) z[18] = 124
237.82/204.12 c (51,0) z[19] = 147
237.82/204.12 c (51,0) z[20] = 156
237.82/204.12 c (51,0) z[21] = 173
237.82/204.12 c (51,0) z[22] = 178
237.82/204.12 c (51,0) z[23] = 180
237.82/204.12 s SATISFIABLE
237.82/204.13 v <instantiation>
237.82/204.13 v <list>w3 w4 x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] z[0] z[1] z[2] z[3] z[4] z[5] z[6] z[7] z[8] z[9] z[10] z[11] z[12] z[13] z[14] z[15] z[16] z[17] z[18] z[19] z[20] z[21] z[22] z[23]</list>
237.82/204.13 v <values>180 0 12 21 15 18 3 11 8 14 7 4 1 25 23 13 17 22 9 20 5 19 10 2 24 16 6 4 9 2 1 18 4 16 0 8 2 3 2 5 10 14 0 5 1 20 0 23 9 17 5 2 13 15 16 34 38 54 54 62 64 67 69 74 84 98 98 103 104 124 124 147 156 173 178 180</values>
237.82/204.13 v </instantiation>
237.82/204.13 c (51,0) Show results End
237.82/204.13 c (51,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
237.82/204.13 c (51,0) 51,51,STOP-AFTER(ALL)
237.82/204.13 c END-Prog: Thu Sep 12 16:00:16 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 (3718 MiB free)
memory of node 1: 16384 MiB (12058 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388212-1568296651/watcher-4388212-1568296651 -o /tmp/evaluation-result-4388212-1568296651/solver-4388212-1568296651 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568285951-4194 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388212-1568296651.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8178, runsolver pid=8175
[startup+0.100109 s]*
/proc/loadavg: 2.00 2.07 2.16 3/236 8195
/proc/meminfo: memFree=16094184/32770624 swapFree=66939824/67108860
[pid=8178] ppid=8175 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8178/stat : 8178 (scop.sh) S 8175 8178 3344 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405580074 115843072 349 33554432000 4194304 5098028 140720861949040 140720861946296 139908093293180 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36732928 140720861954915 140720861955184 140720861955184 140720861958093 0
/proc/8178/statm: 28282 349 296 221 0 87 0
[pid=8181] ppid=8178 vsize=15013720 memory=74824 CPUtime=0.11 cores=1,3,5,7
/proc/8181/stat : 8181 (java) S 8178 8178 3344 0 -1 1077944320 6487 0 0 0 9 2 0 0 20 0 15 0 405580074 15374049280 18706 33554432000 4194304 4196468 140733161505424 140733161487968 140460339564279 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
/proc/8181/statm: 3753430 18706 2893 1 0 3715835 0
[pid=8181/tid=8182] ppid=8178 vsize=15016308 memory=-7828588039587137883 CPUtime=0.09 cores=1,3,5,7
/proc/8181/task/8182/stat : 8182 (java) R 8178 8178 3344 0 -1 4202560 4515 0 0 0 7 2 0 0 20 0 15 0 405580074 15376699392 18970 33554432000 4194304 4196468 140733161505424 140460311348528 140460331854720 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8183] ppid=8178 vsize=15016308 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8183/stat : 8183 (java) S 8178 8178 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405580076 15376699392 19036 33554432000 4194304 4196468 140733161505424 140460343806480 140460339574485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8184] ppid=8178 vsize=15016308 memory=140018756036224 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8184/stat : 8184 (java) S 8178 8178 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405580076 15376699392 19036 33554432000 4194304 4196468 140733161505424 140460134890128 140460339574485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8185] ppid=8178 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8185/stat : 8185 (java) S 8178 8178 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405580076 15376699392 19036 33554432000 4194304 4196468 140733161505424 140460133837072 140460339574485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8186] ppid=8178 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8186/stat : 8186 (java) S 8178 8178 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405580076 15376699392 19036 33554432000 4194304 4196468 140733161505424 140460132784528 140460339574485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8187] ppid=8178 vsize=15016308 memory=140018756036224 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8187/stat : 8187 (java) S 8178 8178 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405580077 15376699392 19102 33554432000 4194304 4196468 140733161505424 140459198319344 140460339575426 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8188] ppid=8178 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8188/stat : 8188 (java) S 8178 8178 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405580078 15376699392 19102 33554432000 4194304 4196468 140733161505424 140458986563232 140460339574485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8189] ppid=8178 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8189/stat : 8189 (java) S 8178 8178 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405580078 15376699392 19102 33554432000 4194304 4196468 140733161505424 140458718127344 140460339574485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8190] ppid=8178 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8190/stat : 8190 (java) S 8178 8178 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405580081 15376699392 19102 33554432000 4194304 4196468 140733161505424 140458343619024 140460339582875 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8191] ppid=8178 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8191/stat : 8191 (java) S 8178 8178 3344 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 405580081 15376699392 19102 33554432000 4194304 4196468 140733161505424 140459197266160 140460339575426 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8192] ppid=8178 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8192/stat : 8192 (java) S 8178 8178 3344 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 405580081 15376699392 19168 33554432000 4194304 4196468 140733161505424 140459196213616 140460339575426 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8193] ppid=8178 vsize=15016308 memory=140018756036224 CPUtime=0.01 cores=1,3,5,7
/proc/8181/task/8193/stat : 8193 (java) S 8178 8178 3344 0 -1 1077944384 463 0 0 0 1 0 0 0 20 0 15 0 405580081 15376699392 19168 33554432000 4194304 4196468 140733161505424 140459195160560 140460339575426 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8194] ppid=8178 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8194/stat : 8194 (java) S 8178 8178 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405580081 15376699392 19168 33554432000 4194304 4196468 140733161505424 140457845713248 140460339574485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8195] ppid=8178 vsize=15016308 memory=140018756036224 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8195/stat : 8195 (java) S 8178 8178 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405580081 15376699392 19168 33554432000 4194304 4196468 140733161505424 140459194108976 140460339575426 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15126848 KiB
Current children cumulated memory: 76220 KiB
[startup+0.21112 s]*
/proc/loadavg: 2.00 2.07 2.16 3/236 8195
/proc/meminfo: memFree=16078400/32770624 swapFree=66939824/67108860
[pid=8178] ppid=8175 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8178/stat : 8178 (scop.sh) S 8175 8178 3344 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405580074 115843072 349 33554432000 4194304 5098028 140720861949040 140720861946296 139908093293180 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36732928 140720861954915 140720861955184 140720861955184 140720861958093 0
/proc/8178/statm: 28282 349 296 221 0 87 0
[pid=8181] ppid=8178 vsize=15012696 memory=86736 CPUtime=0.26 cores=1,3,5,7
/proc/8181/stat : 8181 (java) S 8178 8178 3344 0 -1 1077944320 10746 0 0 0 22 4 0 0 20 0 15 0 405580074 15373000704 21684 33554432000 4194304 4196468 140733161505424 140733161487968 140460339564279 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
/proc/8181/statm: 3753174 21684 2958 1 0 3715579 0
[pid=8181/tid=8182] ppid=8178 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/8181/task/8182/stat : 8182 (java) R 8178 8178 3344 0 -1 4202560 8469 0 0 0 17 3 0 0 20 0 15 0 405580074 15373000704 21749 33554432000 4194304 4196468 140733161505424 140460311379520 140460325257617 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8183] ppid=8178 vsize=15012696 memory=540 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8183/stat : 8183 (java) S 8178 8178 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405580076 15373000704 21749 33554432000 4194304 4196468 140733161505424 140460343806480 140460339574485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8184] ppid=8178 vsize=15012696 memory=140018756044659 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8184/stat : 8184 (java) S 8178 8178 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405580076 15373000704 21749 33554432000 4194304 4196468 140733161505424 140460134890128 140460339574485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8185] ppid=8178 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8185/stat : 8185 (java) S 8178 8178 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405580076 15373000704 21749 33554432000 4194304 4196468 140733161505424 140460133837072 140460339574485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8186] ppid=8178 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8186/stat : 8186 (java) S 8178 8178 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405580076 15373000704 21749 33554432000 4194304 4196468 140733161505424 140460132784528 140460339574485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8187] ppid=8178 vsize=15012696 memory=140018756036224 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8187/stat : 8187 (java) S 8178 8178 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405580077 15373000704 21749 33554432000 4194304 4196468 140733161505424 140459198319344 140460339575426 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8188] ppid=8178 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8188/stat : 8188 (java) S 8178 8178 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405580078 15373000704 21749 33554432000 4194304 4196468 140733161505424 140458986563232 140460339574485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8189] ppid=8178 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8189/stat : 8189 (java) S 8178 8178 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405580078 15373000704 21749 33554432000 4194304 4196468 140733161505424 140458718127344 140460339574485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8190] ppid=8178 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8190/stat : 8190 (java) S 8178 8178 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405580081 15373000704 21749 33554432000 4194304 4196468 140733161505424 140458343619024 140460339582875 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8191] ppid=8178 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8191/stat : 8191 (java) S 8178 8178 3344 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 15 0 405580081 15373000704 21749 33554432000 4194304 4196468 140733161505424 140459197266160 140460339575426 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8192] ppid=8178 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8192/stat : 8192 (java) S 8178 8178 3344 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 15 0 405580081 15373000704 21749 33554432000 4194304 4196468 140733161505424 140459196213616 140460339575426 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8193] ppid=8178 vsize=15012696 memory=140018756036224 CPUtime=0.03 cores=1,3,5,7
/proc/8181/task/8193/stat : 8193 (java) S 8178 8178 3344 0 -1 1077944384 480 0 0 0 3 0 0 0 20 0 15 0 405580081 15373000704 21749 33554432000 4194304 4196468 140733161505424 140459195160560 140460339575426 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8194] ppid=8178 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8194/stat : 8194 (java) S 8178 8178 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405580081 15373000704 21749 33554432000 4194304 4196468 140733161505424 140457845713248 140460339574485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8195] ppid=8178 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8195/stat : 8195 (java) S 8178 8178 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405580081 15373000704 21749 33554432000 4194304 4196468 140733161505424 140459194108976 140460339575426 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 88132 KiB
[startup+0.310856 s]*
/proc/loadavg: 2.08 2.09 2.16 4/236 8195
/proc/meminfo: memFree=16075484/32770624 swapFree=66939824/67108860
[pid=8178] ppid=8175 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8178/stat : 8178 (scop.sh) S 8175 8178 3344 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405580074 115843072 349 33554432000 4194304 5098028 140720861949040 140720861946296 139908093293180 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36732928 140720861954915 140720861955184 140720861955184 140720861958093 0
/proc/8178/statm: 28282 349 296 221 0 87 0
[pid=8181] ppid=8178 vsize=15012696 memory=90684 CPUtime=0.43 cores=1,3,5,7
/proc/8181/stat : 8181 (java) S 8178 8178 3344 0 -1 1077944320 11674 0 0 0 39 4 0 0 20 0 15 0 405580074 15373000704 22671 33554432000 4194304 4196468 140733161505424 140733161487968 140460339564279 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
/proc/8181/statm: 3753174 22671 3065 1 0 3715579 0
[pid=8181/tid=8182] ppid=8178 vsize=15012696 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/8181/task/8182/stat : 8182 (java) R 8178 8178 3344 0 -1 4202560 9212 0 0 0 26 4 0 0 20 0 15 0 405580074 15373000704 22671 33554432000 4194304 4196468 140733161505424 140460311347296 140460322751105 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8183] ppid=8178 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8183/stat : 8183 (java) S 8178 8178 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405580076 15373000704 22671 33554432000 4194304 4196468 140733161505424 140460343806480 140460339574485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8184] ppid=8178 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8184/stat : 8184 (java) S 8178 8178 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405580076 15373000704 22671 33554432000 4194304 4196468 140733161505424 140460134890128 140460339574485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8185] ppid=8178 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8185/stat : 8185 (java) S 8178 8178 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405580076 15373000704 22671 33554432000 4194304 4196468 140733161505424 140460133837072 140460339574485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8186] ppid=8178 vsize=15012696 memory=7079758230011356562 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8186/stat : 8186 (java) S 8178 8178 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405580076 15373000704 22671 33554432000 4194304 4196468 140733161505424 140460132784528 140460339574485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8187] ppid=8178 vsize=15012696 memory=6944938067432061290 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8187/stat : 8187 (java) S 8178 8178 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405580077 15373000704 22671 33554432000 4194304 4196468 140733161505424 140459198319344 140460339575426 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8188] ppid=8178 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8188/stat : 8188 (java) S 8178 8178 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405580078 15373000704 22671 33554432000 4194304 4196468 140733161505424 140458986563232 140460339574485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8189] ppid=8178 vsize=15012696 memory=7100839852926015589 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8189/stat : 8189 (java) S 8178 8178 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405580078 15373000704 22671 33554432000 4194304 4196468 140733161505424 140458718127344 140460339574485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8190] ppid=8178 vsize=15012696 memory=-8412656567168561567 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8190/stat : 8190 (java) S 8178 8178 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405580081 15373000704 22671 33554432000 4194304 4196468 140733161505424 140458343619024 140460339582875 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8191] ppid=8178 vsize=15012696 memory=-7384621950708166502 CPUtime=0.02 cores=1,3,5,7
/proc/8181/task/8191/stat : 8191 (java) S 8178 8178 3344 0 -1 1077944384 424 0 0 0 2 0 0 0 20 0 15 0 405580081 15373000704 22671 33554432000 4194304 4196468 140733161505424 140459197266160 140460339575426 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8192] ppid=8178 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8181/task/8192/stat : 8192 (java) S 8178 8178 3344 0 -1 1077944384 211 0 0 0 2 0 0 0 20 0 15 0 405580081 15373000704 22671 33554432000 4194304 4196468 140733161505424 140459196213616 140460339575426 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8193] ppid=8178 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8181/task/8193/stat : 8193 (java) S 8178 8178 3344 0 -1 1077944384 499 0 0 0 7 0 0 0 20 0 15 0 405580081 15373000704 22671 33554432000 4194304 4196468 140733161505424 140459195160560 140460339575426 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8194] ppid=8178 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8194/stat : 8194 (java) S 8178 8178 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405580081 15373000704 22671 33554432000 4194304 4196468 140733161505424 140457845713248 140460339574485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8195] ppid=8178 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8195/stat : 8195 (java) S 8178 8178 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405580081 15373000704 22671 33554432000 4194304 4196468 140733161505424 140459194108976 140460339575426 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 92080 KiB
[startup+0.700867 s]
/proc/loadavg: 2.08 2.09 2.16 3/236 8195
/proc/meminfo: memFree=16052644/32770624 swapFree=66939824/67108860
[pid=8178] ppid=8175 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8178/stat : 8178 (scop.sh) S 8175 8178 3344 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405580074 115843072 349 33554432000 4194304 5098028 140720861949040 140720861946296 139908093293180 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36732928 140720861954915 140720861955184 140720861955184 140720861958093 0
/proc/8178/statm: 28282 349 296 221 0 87 0
[pid=8181] ppid=8178 vsize=15021016 memory=130080 CPUtime=1.03 cores=1,3,5,7
/proc/8181/stat : 8181 (java) S 8178 8178 3344 0 -1 1077944320 19235 0 0 0 97 6 0 0 20 0 15 0 405580074 15381520384 32520 33554432000 4194304 4196468 140733161505424 140733161487968 140460339564279 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
/proc/8181/statm: 3755254 32520 3183 1 0 3716603 0
[pid=8181/tid=8182] ppid=8178 vsize=15021016 memory=297312208 CPUtime=0.67 cores=1,3,5,7
/proc/8181/task/8182/stat : 8182 (java) R 8178 8178 3344 0 -1 4202560 16231 0 0 0 62 5 0 0 20 0 15 0 405580074 15381520384 32520 33554432000 4194304 4196468 140733161505424 140460311386384 140460339586205 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8183] ppid=8178 vsize=15021016 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8183/stat : 8183 (java) S 8178 8178 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405580076 15381520384 32520 33554432000 4194304 4196468 140733161505424 140460343806480 140460339574485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8184] ppid=8178 vsize=15021016 memory=116 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8184/stat : 8184 (java) S 8178 8178 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405580076 15381520384 32520 33554432000 4194304 4196468 140733161505424 140460134890128 140460339574485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8185] ppid=8178 vsize=15021016 memory=10770 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8185/stat : 8185 (java) S 8178 8178 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405580076 15381520384 32520 33554432000 4194304 4196468 140733161505424 140460133837072 140460339574485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8186] ppid=8178 vsize=15021016 memory=24402 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8186/stat : 8186 (java) S 8178 8178 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405580076 15381520384 32520 33554432000 4194304 4196468 140733161505424 140460132784528 140460339574485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8187] ppid=8178 vsize=15021016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8187/stat : 8187 (java) S 8178 8178 3344 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405580077 15381520384 32520 33554432000 4194304 4196468 140733161505424 140459198319344 140460339575426 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8188] ppid=8178 vsize=15021016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8188/stat : 8188 (java) S 8178 8178 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405580078 15381520384 32520 33554432000 4194304 4196468 140733161505424 140458986563232 140460339574485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8189] ppid=8178 vsize=15021016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8189/stat : 8189 (java) S 8178 8178 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405580078 15381520384 32520 33554432000 4194304 4196468 140733161505424 140458718127344 140460339574485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8190] ppid=8178 vsize=15021016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8190/stat : 8190 (java) S 8178 8178 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405580081 15381520384 32520 33554432000 4194304 4196468 140733161505424 140458343619024 140460339582875 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8191] ppid=8178 vsize=15021016 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8181/task/8191/stat : 8191 (java) S 8178 8178 3344 0 -1 1077944384 607 0 0 0 8 0 0 0 20 0 15 0 405580081 15381520384 32520 33554432000 4194304 4196468 140733161505424 140459197266160 140460339575426 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8192] ppid=8178 vsize=15021016 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/8181/task/8192/stat : 8192 (java) R 8178 8178 3344 0 -1 4202560 440 0 0 0 9 0 0 0 20 0 15 0 405580081 15381520384 32520 33554432000 4194304 4196468 140733161505424 140459196202880 140460323093052 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8193] ppid=8178 vsize=15021016 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/8181/task/8193/stat : 8193 (java) S 8178 8178 3344 0 -1 1077944384 625 0 0 0 16 0 0 0 20 0 15 0 405580081 15381520384 32520 33554432000 4194304 4196468 140733161505424 140459195160560 140460339575426 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8194] ppid=8178 vsize=15021016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8194/stat : 8194 (java) S 8178 8178 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405580081 15381520384 32520 33554432000 4194304 4196468 140733161505424 140457845713248 140460339574485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
[pid=8181/tid=8195] ppid=8178 vsize=15021016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8181/task/8195/stat : 8195 (java) S 8178 8178 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405580081 15381520384 32520 33554432000 4194304 4196468 140733161505424 140459194108976 140460339575426 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38948864 140733161509674 140733161510042 140733161510042 140733161512911 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15134144 KiB
Current children cumulated memory: 131476 KiB
[startup+1.50474 s]
/proc/loadavg: 2.08 2.09 2.16 5/236 8195
/proc/meminfo: memFree=16003428/32770624 swapFree=66939824/67108860
[pid=8178] ppid=8175 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8178/stat : 8178 (scop.sh) S 8175 8178 3344 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405580074 115843072 349 33554432000 4194304 5098028 140720861949040 140720861946296 139908093293180 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36732928 140720861954915 140720861955184 140720861955184 140720861958093 0
/proc/8178/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/8207/task/8223/stat : 8223 (java) S 8178 8178 3344 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405595405 8262082560 29916 33554432000 4194304 4196468 140727757488960 139790284248640 139790917177113 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8225] ppid=8178 vsize=8068440 memory=988 CPUtime=0.01 cores=1,3,5,7
/proc/8207/task/8225/stat : 8225 (java) S 8178 8178 3344 0 -1 4202560 34 0 0 0 1 0 0 0 20 0 19 0 405595406 8262082560 29916 33554432000 4194304 4196468 140727757488960 139788166344816 139790917174429 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8226] ppid=8178 vsize=8068440 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/8207/task/8226/stat : 8226 (java) S 8178 8178 3344 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 405595406 8262082560 29916 33554432000 4194304 4196468 140727757488960 139788032122128 139790917174429 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8227] ppid=8178 vsize=8068440 memory=7980 CPUtime=0 cores=1,3,5,7
/proc/8207/task/8227/stat : 8227 (java) S 8178 8178 3344 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 405595408 8262082560 29916 33554432000 4194304 4196468 140727757488960 139788300573744 139790917162709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
Current children cumulated CPU time: 235.05 s
Current children cumulated vsize: 8278668 KiB
Current children cumulated memory: 184648 KiB
[startup+203.301 s]
/proc/loadavg: 1.97 2.04 2.13 3/241 8239
/proc/meminfo: memFree=15953884/32770624 swapFree=66939824/67108860
[pid=8178] ppid=8175 vsize=113128 memory=1476 CPUtime=185.39 cores=1,3,5,7
/proc/8178/stat : 8178 (scop.sh) S 8175 8178 3344 0 -1 4202496 582 71664 0 0 0 0 18160 379 20 0 1 0 405580074 115843072 369 33554432000 4194304 5098028 140720861949040 140720861945784 139908093293180 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36732928 140720861954915 140720861955184 140720861955184 140720861958093 0
/proc/8178/statm: 28282 369 311 221 0 87 0
[pid=8207] ppid=8178 vsize=8068440 memory=119664 CPUtime=1.28 cores=1,3,5,7
/proc/8207/stat : 8207 (java) S 8178 8178 3344 0 -1 1077944320 20330 0 0 0 120 8 0 0 20 0 19 0 405595329 8262082560 29916 33554432000 4194304 4196468 140727757488960 140727757471504 139790917152503 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
/proc/8207/statm: 2017110 29916 3211 1 0 1978454 0
[pid=8222] ppid=8207 vsize=97100 memory=63544 CPUtime=49.98 cores=1,3,5,7
/proc/8222/stat : 8222 (cryptominisat5) R 8207 8178 3344 0 -1 4202496 68445 0 0 0 4990 8 0 0 20 0 1 0 405595405 99430400 15886 33554432000 4194304 4451008 140721974334400 140721974330520 140051051136665 0 4 0 2 0 0 0 17 1 0 0 0 0 0 6549032 6559120 28377088 140721974338493 140721974338624 140721974338624 140721974341574 0
/proc/8222/statm: 24275 15886 741 63 0 18002 0
[pid=8207/tid=8208] ppid=8178 vsize=8068440 memory=119664 CPUtime=0.78 cores=1,3,5,7
/proc/8207/task/8208/stat : 8208 (java) S 8178 8178 3344 0 -1 1077944384 16949 0 0 0 72 6 0 0 20 0 19 0 405595330 8262082560 29916 33554432000 4194304 4196468 140727757488960 139790888992672 139790917162709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8209] ppid=8178 vsize=8068440 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/8207/task/8209/stat : 8209 (java) S 8178 8178 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405595331 8262082560 29916 33554432000 4194304 4196468 140727757488960 139790921394448 139790917162709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8210] ppid=8178 vsize=8068440 memory=668 CPUtime=0 cores=1,3,5,7
/proc/8207/task/8210/stat : 8210 (java) S 8178 8178 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405595331 8262082560 29916 33554432000 4194304 4196468 140727757488960 139790721563024 139790917162709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8211] ppid=8178 vsize=8068440 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/8207/task/8211/stat : 8211 (java) S 8178 8178 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405595331 8262082560 29916 33554432000 4194304 4196468 140727757488960 139790720510480 139790917162709 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8212] ppid=8178 vsize=8068440 memory=-3622645143214314312 CPUtime=0 cores=1,3,5,7
/proc/8207/task/8212/stat : 8212 (java) S 8178 8178 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405595331 8262082560 29916 33554432000 4194304 4196468 140727757488960 139790719457936 139790917162709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8213] ppid=8178 vsize=8068440 memory=924 CPUtime=0 cores=1,3,5,7
/proc/8207/task/8213/stat : 8213 (java) S 8178 8178 3344 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 405595332 8262082560 29916 33554432000 4194304 4196468 140727757488960 139790296492528 139790917163650 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8214] ppid=8178 vsize=8068440 memory=3688 CPUtime=0 cores=1,3,5,7
/proc/8207/task/8214/stat : 8214 (java) S 8178 8178 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405595333 8262082560 29916 33554432000 4194304 4196468 140727757488960 139789844080032 139790917162709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8215] ppid=8178 vsize=8068440 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/8207/task/8215/stat : 8215 (java) S 8178 8178 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405595333 8262082560 29916 33554432000 4194304 4196468 140727757488960 139789575644656 139790917162709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8216] ppid=8178 vsize=8068440 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/8207/task/8216/stat : 8216 (java) S 8178 8178 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405595336 8262082560 29916 33554432000 4194304 4196468 140727757488960 139789201136336 139790917171099 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8217] ppid=8178 vsize=8068440 memory=804 CPUtime=0.09 cores=1,3,5,7
/proc/8207/task/8217/stat : 8217 (java) S 8178 8178 3344 0 -1 1077944384 478 0 0 0 9 0 0 0 20 0 19 0 405595336 8262082560 29916 33554432000 4194304 4196468 140727757488960 139790295439344 139790917163650 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8218] ppid=8178 vsize=8068440 memory=6943526294502006880 CPUtime=0.1 cores=1,3,5,7
/proc/8207/task/8218/stat : 8218 (java) S 8178 8178 3344 0 -1 1077944384 487 0 0 0 10 0 0 0 20 0 19 0 405595336 8262082560 29916 33554432000 4194304 4196468 140727757488960 139790294386800 139790917163650 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8219] ppid=8178 vsize=8068440 memory=37376 CPUtime=0.24 cores=1,3,5,7
/proc/8207/task/8219/stat : 8219 (java) S 8178 8178 3344 0 -1 1077944384 993 0 0 0 24 0 0 0 20 0 19 0 405595336 8262082560 29916 33554432000 4194304 4196468 140727757488960 139790293334256 139790917163650 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8220] ppid=8178 vsize=8068440 memory=988 CPUtime=0 cores=1,3,5,7
/proc/8207/task/8220/stat : 8220 (java) S 8178 8178 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405595336 8262082560 29916 33554432000 4194304 4196468 140727757488960 139788703230560 139790917162709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8221] ppid=8178 vsize=8068440 memory=2008 CPUtime=0.02 cores=1,3,5,7
/proc/8207/task/8221/stat : 8221 (java) S 8178 8178 3344 0 -1 1077944384 5 0 0 0 1 1 0 0 20 0 19 0 405595336 8262082560 29916 33554432000 4194304 4196468 140727757488960 139790292282160 139790917163650 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8223] ppid=8178 vsize=8068440 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/8207/task/8223/stat : 8223 (java) S 8178 8178 3344 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405595405 8262082560 29916 33554432000 4194304 4196468 140727757488960 139790284248640 139790917177113 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8225] ppid=8178 vsize=8068440 memory=4164 CPUtime=0.01 cores=1,3,5,7
/proc/8207/task/8225/stat : 8225 (java) S 8178 8178 3344 0 -1 4202560 34 0 0 0 1 0 0 0 20 0 19 0 405595406 8262082560 29916 33554432000 4194304 4196468 140727757488960 139788166344816 139790917174429 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8226] ppid=8178 vsize=8068440 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/8207/task/8226/stat : 8226 (java) S 8178 8178 3344 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 405595406 8262082560 29916 33554432000 4194304 4196468 140727757488960 139788032122128 139790917174429 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8227] ppid=8178 vsize=8068440 memory=1608 CPUtime=0 cores=1,3,5,7
/proc/8207/task/8227/stat : 8227 (java) S 8178 8178 3344 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 405595408 8262082560 29916 33554432000 4194304 4196468 140727757488960 139788300573744 139790917162709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
Current children cumulated CPU time: 236.65 s
Current children cumulated vsize: 8278668 KiB
Current children cumulated memory: 184684 KiB
[startup+203.701 s]
/proc/loadavg: 1.97 2.04 2.13 3/241 8239
/proc/meminfo: memFree=15953884/32770624 swapFree=66939824/67108860
[pid=8178] ppid=8175 vsize=113128 memory=1476 CPUtime=185.39 cores=1,3,5,7
/proc/8178/stat : 8178 (scop.sh) S 8175 8178 3344 0 -1 4202496 582 71664 0 0 0 0 18160 379 20 0 1 0 405580074 115843072 369 33554432000 4194304 5098028 140720861949040 140720861945784 139908093293180 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36732928 140720861954915 140720861955184 140720861955184 140720861958093 0
/proc/8178/statm: 28282 369 311 221 0 87 0
[pid=8207] ppid=8178 vsize=8068440 memory=119664 CPUtime=1.28 cores=1,3,5,7
/proc/8207/stat : 8207 (java) S 8178 8178 3344 0 -1 1077944320 20330 0 0 0 120 8 0 0 20 0 19 0 405595329 8262082560 29916 33554432000 4194304 4196468 140727757488960 140727757471504 139790917152503 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
/proc/8207/statm: 2017110 29916 3211 1 0 1978454 0
[pid=8222] ppid=8207 vsize=97100 memory=63544 CPUtime=50.38 cores=1,3,5,7
/proc/8222/stat : 8222 (cryptominisat5) R 8207 8178 3344 0 -1 4202496 68453 0 0 0 5030 8 0 0 20 0 1 0 405595405 99430400 15886 33554432000 4194304 4451008 140721974334400 140721974330328 140051050885328 0 4 0 2 0 0 0 17 1 0 0 0 0 0 6549032 6559120 28377088 140721974338493 140721974338624 140721974338624 140721974341574 0
/proc/8222/statm: 24275 15886 741 63 0 18002 0
[pid=8207/tid=8208] ppid=8178 vsize=8068440 memory=3688 CPUtime=0.78 cores=1,3,5,7
/proc/8207/task/8208/stat : 8208 (java) S 8178 8178 3344 0 -1 1077944384 16949 0 0 0 72 6 0 0 20 0 19 0 405595330 8262082560 29916 33554432000 4194304 4196468 140727757488960 139790888992672 139790917162709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8209] ppid=8178 vsize=8068440 memory=55 CPUtime=0 cores=1,3,5,7
/proc/8207/task/8209/stat : 8209 (java) S 8178 8178 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405595331 8262082560 29916 33554432000 4194304 4196468 140727757488960 139790921394448 139790917162709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8210] ppid=8178 vsize=8068440 memory=-3704326594973231466 CPUtime=0 cores=1,3,5,7
/proc/8207/task/8210/stat : 8210 (java) S 8178 8178 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405595331 8262082560 29916 33554432000 4194304 4196468 140727757488960 139790721563024 139790917162709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8211] ppid=8178 vsize=8068440 memory=-7029379521808015264 CPUtime=0 cores=1,3,5,7
/proc/8207/task/8211/stat : 8211 (java) S 8178 8178 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405595331 8262082560 29916 33554432000 4194304 4196468 140727757488960 139790720510480 139790917162709 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8212] ppid=8178 vsize=8068440 memory=8259761640030508194 CPUtime=0 cores=1,3,5,7
/proc/8207/task/8212/stat : 8212 (java) S 8178 8178 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405595331 8262082560 29916 33554432000 4194304 4196468 140727757488960 139790719457936 139790917162709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8213] ppid=8178 vsize=8068440 memory=-7606742959547834223 CPUtime=0 cores=1,3,5,7
/proc/8207/task/8213/stat : 8213 (java) S 8178 8178 3344 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 405595332 8262082560 29916 33554432000 4194304 4196468 140727757488960 139790296492528 139790917163650 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8214] ppid=8178 vsize=8068440 memory=-7595718148000617580 CPUtime=0 cores=1,3,5,7
/proc/8207/task/8214/stat : 8214 (java) S 8178 8178 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405595333 8262082560 29916 33554432000 4194304 4196468 140727757488960 139789844080032 139790917162709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8215] ppid=8178 vsize=8068440 memory=6944656591801718422 CPUtime=0 cores=1,3,5,7
/proc/8207/task/8215/stat : 8215 (java) S 8178 8178 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405595333 8262082560 29916 33554432000 4194304 4196468 140727757488960 139789575644656 139790917162709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8216] ppid=8178 vsize=8068440 memory=-2317720213663851332 CPUtime=0 cores=1,3,5,7
/proc/8207/task/8216/stat : 8216 (java) S 8178 8178 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405595336 8262082560 29916 33554432000 4194304 4196468 140727757488960 139789201136336 139790917171099 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8217] ppid=8178 vsize=8068440 memory=6943526294502006880 CPUtime=0.09 cores=1,3,5,7
/proc/8207/task/8217/stat : 8217 (java) S 8178 8178 3344 0 -1 1077944384 478 0 0 0 9 0 0 0 20 0 19 0 405595336 8262082560 29916 33554432000 4194304 4196468 140727757488960 139790295439344 139790917163650 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8218] ppid=8178 vsize=8068440 memory=6656426216303648864 CPUtime=0.1 cores=1,3,5,7
/proc/8207/task/8218/stat : 8218 (java) S 8178 8178 3344 0 -1 1077944384 487 0 0 0 10 0 0 0 20 0 19 0 405595336 8262082560 29916 33554432000 4194304 4196468 140727757488960 139790294386800 139790917163650 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8219] ppid=8178 vsize=8068440 memory=-7662980745959663145 CPUtime=0.24 cores=1,3,5,7
/proc/8207/task/8219/stat : 8219 (java) S 8178 8178 3344 0 -1 1077944384 993 0 0 0 24 0 0 0 20 0 19 0 405595336 8262082560 29916 33554432000 4194304 4196468 140727757488960 139790293334256 139790917163650 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8220] ppid=8178 vsize=8068440 memory=3053811428158493008 CPUtime=0 cores=1,3,5,7
/proc/8207/task/8220/stat : 8220 (java) S 8178 8178 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405595336 8262082560 29916 33554432000 4194304 4196468 140727757488960 139788703230560 139790917162709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8221] ppid=8178 vsize=8068440 memory=-7449383003082255507 CPUtime=0.02 cores=1,3,5,7
/proc/8207/task/8221/stat : 8221 (java) S 8178 8178 3344 0 -1 1077944384 5 0 0 0 1 1 0 0 20 0 19 0 405595336 8262082560 29916 33554432000 4194304 4196468 140727757488960 139790292282160 139790917163650 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8223] ppid=8178 vsize=8068440 memory=6944656592455360569 CPUtime=0 cores=1,3,5,7
/proc/8207/task/8223/stat : 8223 (java) S 8178 8178 3344 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405595405 8262082560 29916 33554432000 4194304 4196468 140727757488960 139790284248640 139790917177113 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8225] ppid=8178 vsize=8068440 memory=3047711428313588876 CPUtime=0.01 cores=1,3,5,7
/proc/8207/task/8225/stat : 8225 (java) S 8178 8178 3344 0 -1 4202560 34 0 0 0 1 0 0 0 20 0 19 0 405595406 8262082560 29916 33554432000 4194304 4196468 140727757488960 139788166344816 139790917174429 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8226] ppid=8178 vsize=8068440 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/8207/task/8226/stat : 8226 (java) S 8178 8178 3344 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 405595406 8262082560 29916 33554432000 4194304 4196468 140727757488960 139788032122128 139790917174429 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8227] ppid=8178 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8207/task/8227/stat : 8227 (java) S 8178 8178 3344 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 405595408 8262082560 29916 33554432000 4194304 4196468 140727757488960 139788300573744 139790917162709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
Current children cumulated CPU time: 237.05 s
Current children cumulated vsize: 8278668 KiB
Current children cumulated memory: 184684 KiB
[startup+204.101 s]*
/proc/loadavg: 1.97 2.04 2.13 5/238 8239
/proc/meminfo: memFree=15998580/32770624 swapFree=66939824/67108860
[pid=8178] ppid=8175 vsize=113128 memory=1476 CPUtime=185.39 cores=1,3,5,7
/proc/8178/stat : 8178 (scop.sh) S 8175 8178 3344 0 -1 4202496 582 71664 0 0 0 0 18160 379 20 0 1 0 405580074 115843072 369 33554432000 4194304 5098028 140720861949040 140720861945784 139908093293180 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36732928 140720861954915 140720861955184 140720861955184 140720861958093 0
/proc/8178/statm: 28282 369 311 221 0 87 0
[pid=8207] ppid=8178 vsize=7937364 memory=137784 CPUtime=52.43 cores=1,3,5,7
/proc/8207/stat : 8207 (java) S 8178 8178 3344 0 -1 1077944320 22344 68832 0 0 170 9 5056 8 20 0 17 0 405595329 8127860736 34446 33554432000 4194304 4196468 140727757488960 140727757471504 139790917152503 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
/proc/8207/statm: 1984341 34446 3232 1 0 1945685 0
[pid=8207/tid=8208] ppid=8178 vsize=7937364 memory=8317482817917895235 CPUtime=51.49 cores=1,3,5,7
/proc/8207/task/8208/stat : 8208 (java) R 8178 8178 3344 0 -1 4202560 17159 68832 0 0 79 6 5056 8 20 0 17 0 405595330 8127860736 34446 33554432000 4194304 4196468 140727757488960 139790888991152 139790900525621 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8209] ppid=8178 vsize=7937364 memory=4872558044660077418 CPUtime=50.64 cores=1,3,5,7
/proc/8207/task/8209/stat : 8209 (java) S 8178 8178 3344 0 -1 1077944384 1 68832 0 0 0 0 5056 8 20 0 17 0 405595331 8127860736 34446 33554432000 4194304 4196468 140727757488960 139790921394448 139790917162709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8210] ppid=8178 vsize=7937364 memory=78113 CPUtime=50.64 cores=1,3,5,7
/proc/8207/task/8210/stat : 8210 (java) S 8178 8178 3344 0 -1 1077944384 1 68832 0 0 0 0 5056 8 20 0 17 0 405595331 8127860736 34446 33554432000 4194304 4196468 140727757488960 139790721563024 139790917162709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8211] ppid=8178 vsize=7937364 memory=3472323898181245105 CPUtime=50.64 cores=1,3,5,7
/proc/8207/task/8211/stat : 8211 (java) S 8178 8178 3344 0 -1 1077944384 1 68832 0 0 0 0 5056 8 20 0 17 0 405595331 8127860736 34446 33554432000 4194304 4196468 140727757488960 139790720510480 139790917162709 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8212] ppid=8178 vsize=7937364 memory=73697 CPUtime=50.64 cores=1,3,5,7
/proc/8207/task/8212/stat : 8212 (java) S 8178 8178 3344 0 -1 1077944384 2 68832 0 0 0 0 5056 8 20 0 17 0 405595331 8127860736 34446 33554432000 4194304 4196468 140727757488960 139790719457936 139790917162709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8213] ppid=8178 vsize=7937364 memory=71489 CPUtime=50.64 cores=1,3,5,7
/proc/8207/task/8213/stat : 8213 (java) S 8178 8178 3344 0 -1 1077944384 8 68832 0 0 0 0 5056 8 20 0 17 0 405595332 8127860736 34446 33554432000 4194304 4196468 140727757488960 139790296492528 139790917163650 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8214] ppid=8178 vsize=7937364 memory=0 CPUtime=50.64 cores=1,3,5,7
/proc/8207/task/8214/stat : 8214 (java) S 8178 8178 3344 0 -1 1077944384 13 68832 0 0 0 0 5056 8 20 0 17 0 405595333 8127860736 34446 33554432000 4194304 4196468 140727757488960 139789844080032 139790917162709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8215] ppid=8178 vsize=7937364 memory=0 CPUtime=50.64 cores=1,3,5,7
/proc/8207/task/8215/stat : 8215 (java) S 8178 8178 3344 0 -1 1077944384 1 68832 0 0 0 0 5056 8 20 0 17 0 405595333 8127860736 34446 33554432000 4194304 4196468 140727757488960 139789575644656 139790917162709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8216] ppid=8178 vsize=7937364 memory=0 CPUtime=50.64 cores=1,3,5,7
/proc/8207/task/8216/stat : 8216 (java) S 8178 8178 3344 0 -1 1077944384 3 68832 0 0 0 0 5056 8 20 0 17 0 405595336 8127860736 34446 33554432000 4194304 4196468 140727757488960 139789201136336 139790917171099 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8217] ppid=8178 vsize=7937364 memory=0 CPUtime=50.84 cores=1,3,5,7
/proc/8207/task/8217/stat : 8217 (java) S 8178 8178 3344 0 -1 1077944384 983 68832 0 0 20 0 5056 8 20 0 17 0 405595336 8127860736 34446 33554432000 4194304 4196468 140727757488960 139790295439344 139790917163650 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8218] ppid=8178 vsize=7937364 memory=0 CPUtime=50.87 cores=1,3,5,7
/proc/8207/task/8218/stat : 8218 (java) R 8178 8178 3344 0 -1 4202560 1264 68832 0 0 23 0 5056 8 20 0 17 0 405595336 8127860736 34446 33554432000 4194304 4196468 140727757488960 139790294372680 139790902277204 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8219] ppid=8178 vsize=7937364 memory=0 CPUtime=50.98 cores=1,3,5,7
/proc/8207/task/8219/stat : 8219 (java) R 8178 8178 3344 0 -1 4202560 1424 68832 0 0 34 0 5056 8 20 0 17 0 405595336 8127860736 34446 33554432000 4194304 4196468 140727757488960 139790293334256 139790917173850 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8220] ppid=8178 vsize=7937364 memory=0 CPUtime=50.64 cores=1,3,5,7
/proc/8207/task/8220/stat : 8220 (java) S 8178 8178 3344 0 -1 1077944384 3 68832 0 0 0 0 5056 8 20 0 17 0 405595336 8127860736 34446 33554432000 4194304 4196468 140727757488960 139788703230560 139790917162709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8221] ppid=8178 vsize=7937364 memory=0 CPUtime=50.66 cores=1,3,5,7
/proc/8207/task/8221/stat : 8221 (java) S 8178 8178 3344 0 -1 1077944384 5 68832 0 0 1 1 5056 8 20 0 17 0 405595336 8127860736 34446 33554432000 4194304 4196468 140727757488960 139790292282160 139790917163650 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8223] ppid=8178 vsize=7937364 memory=0 CPUtime=50.64 cores=1,3,5,7
/proc/8207/task/8223/stat : 8223 (java) S 8178 8178 3344 0 -1 1077944384 40 68832 0 0 0 0 5056 8 20 0 17 0 405595405 8127860736 34446 33554432000 4194304 4196468 140727757488960 139790284247824 139790917163650 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
[pid=8207/tid=8227] ppid=8178 vsize=7937364 memory=0 CPUtime=50.64 cores=1,3,5,7
/proc/8207/task/8227/stat : 8227 (java) S 8178 8178 3344 0 -1 1077944384 28 68832 0 0 0 0 5056 8 20 0 17 0 405595408 8127860736 34446 33554432000 4194304 4196468 140727757488960 139788300575536 139790917163650 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140727757493244 140727757493402 140727757493402 140727757496271 0
Current children cumulated CPU time: 237.82 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 139260 KiB
Child status: 0
Real time (s): 204.152
CPU time (s): 237.921
CPU user time (s): 233.934
CPU system time (s): 3.98743
CPU usage (%): 116.541
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 5852912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 233.934
system time used= 3.98743
maximum resident set size= 5851984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164211
page faults= 0
swaps= 0
block input operations= 0
block output operations= 29728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12231
involuntary context switches= 437
# summary of solver processes directly reported to runsolver:
# pid: 8178
# total CPU time (s): 237.921
# total CPU user time (s): 233.934
# total CPU system time (s): 3.98743
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.32594 second user time and 2.13628 second system time
The end