Trace number 4387651

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)SAT 48.9173 41.3468

General information on the benchmark

NameRandom/Random-D-t035/
rand-2-40-16-250-035-86.xml
MD5SUM95e1ba6edeec6aa2d568f833deab6719
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.6602
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints250
Number of domains1
Minimum domain size16
Maximum domain size16
Distribution of domain sizes[{"size":16,"count":40}]
Minimum variable degree8
Maximum variable degree19
Distribution of variable degrees[{"degree":8,"count":2},{"degree":9,"count":5},{"degree":10,"count":5},{"degree":11,"count":3},{"degree":12,"count":6},{"degree":13,"count":6},{"degree":14,"count":4},{"degree":15,"count":3},{"degree":16,"count":1},{"degree":17,"count":2},{"degree":18,"count":2},{"degree":19,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":250}]
Number of extensional constraints250
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":250}]
Optimization problemNO
Type of objective

Solver Data 

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-5209-serial-file.bin HOME/instance-4387651-1568287368.xml
0.66/0.53	
0.66/0.53	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.53	
0.66/0.56	c BEGIN-Prog: Thu Sep 12 13:24:29 CEST 2019
0.66/0.56	c PID: 5216
0.66/0.56	c IP: 172.20.3.139
0.66/0.56	c HOST: node139.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.00/1.06	c (0,0) Parsing End
2.00/1.07	c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 250 ctr, max domain size 16
2.00/1.07	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.00/1.07	c (0,0) Constraint Name Generate Begin
2.00/1.08	c (0,0) Ctr:HOME/instance-4387651-1568287368.xml,ExtensionConflict:Var
2.00/1.08	c (0,0) Constraint Name Generate End
2.00/1.08	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.00/1.08	c (0,0) CSP to CSPinCNF Begin
3.74/1.64	c (1,1) translated 25 (10%) constraints
4.03/1.79	c (1,1) translated 50 (20%) constraints
4.64/1.92	c (1,1) translated 75 (30%) constraints
4.96/2.04	c (1,1) translated 100 (40%) constraints
5.27/2.15	c (1,1) translated 125 (50%) constraints
5.55/2.26	c (1,1) translated 150 (60%) constraints
5.85/2.37	c (1,1) translated 175 (70%) constraints
6.15/2.49	c (1,1) translated 200 (80%) constraints
6.46/2.59	c (2,2) translated 225 (90%) constraints
7.06/2.70	c (2,2) translated 250 (100%) constraints
7.06/2.70	c (2,2) ===========================================
7.06/2.72	c (2,2) Hybrid: #OE=40, #LE=0
7.06/2.72	c (2,2) Hybrid
7.06/2.72	c (2,2) ===========================================
7.06/2.79	c (2,2) translated 1497 (10%) constraints
7.39/2.85	c (2,2) translated 2993 (20%) constraints
7.69/2.91	c (2,2) translated 4489 (30%) constraints
7.69/2.97	c (2,2) translated 5985 (40%) constraints
8.01/3.02	c (2,2) translated 7481 (50%) constraints
8.01/3.08	c (2,2) translated 8978 (60%) constraints
8.32/3.13	c (2,2) translated 10474 (70%) constraints
8.32/3.19	c (2,2) translated 11970 (80%) constraints
8.59/3.24	c (2,2) translated 13466 (90%) constraints
8.59/3.28	c (2,2) translated 14962 (100%) constraints
8.59/3.28	c (2,2) CSP to CSPinCNF End
8.59/3.28	c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 14962 ctr, max domain size 16
8.59/3.28	c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
8.59/3.28	c (2,2) CSPinCNF Propagation Begin
9.22/3.45	c (2,2) 0 values, 2338 unsatisfiable literals, and 0 valid clauses are removed
9.22/3.45	c (2,2) CSPinCNF Propagation End
9.22/3.45	c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 14962 ctr, max domain size 16
9.22/3.45	c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
9.22/3.47	c (2,2) Hybrid: #OE=40, #LE=0
9.22/3.47	c (2,2) Simplify CSPinCNF Begin
9.53/3.53	c (2,2) Simplify CSPinCNF End
9.53/3.53	c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 14962 ctr, max domain size 16
9.53/3.53	c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
9.53/3.53	c (2,2) Calculate Precise Domain Begin
9.53/3.53	c (2,2) 0 values are removed by re-calculation
9.53/3.53	c (2,2) Calculate Precise Domain End
9.53/3.53	c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 14962 ctr, max domain size 16
9.53/3.53	c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
9.53/3.53	c (2,2) CSPinCNF to SatSolver Begin
9.77/3.66	c (3,3) 1497 (10 %) CSP clauses are encoded (0 SAT variables, 2056 SAT clauses)
10.05/3.96	c (3,3) 2993 (20 %) CSP clauses are encoded (0 SAT variables, 3552 SAT clauses)
10.32/4.01	c (3,3) 4489 (30 %) CSP clauses are encoded (0 SAT variables, 5048 SAT clauses)
10.32/4.05	c (3,3) 5985 (40 %) CSP clauses are encoded (0 SAT variables, 6544 SAT clauses)
10.32/4.10	c (3,3) 7481 (50 %) CSP clauses are encoded (0 SAT variables, 8040 SAT clauses)
10.62/4.14	c (3,3) 8978 (60 %) CSP clauses are encoded (0 SAT variables, 9537 SAT clauses)
10.62/4.17	c (3,3) 10474 (70 %) CSP clauses are encoded (0 SAT variables, 11033 SAT clauses)
10.89/4.20	c (3,3) 11970 (80 %) CSP clauses are encoded (0 SAT variables, 12529 SAT clauses)
10.89/4.23	c (3,3) 13466 (90 %) CSP clauses are encoded (0 SAT variables, 14025 SAT clauses)
10.89/4.25	c (3,3) 14962 (100 %) CSP clauses are encoded (0 SAT variables, 15521 SAT clauses)
10.89/4.25	c (3,3) CSPinCNF to SatSolver End
10.89/4.25	c (3,3) Heap : 901 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.89/4.26	c (3,3) 600 bool, 15522 clause
10.89/4.26	c (3,3) Export Begin
11.22/4.35	c (3,3) Export to HOME/scop-5209-serial-file.bin
11.22/4.35	c (3,3) Export End
11.22/4.35	c (3,3) Export File Size: 0.01 MB
11.22/4.35	c (3,3) 0,0,2,2,2,2,3,STOP-AFTER(DIMACS)
11.22/4.35	c END-Prog: Thu Sep 12 13:24:33 CEST 2019
0.00/4.48	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-5209-serial-file.bin
11.38/4.94	c (0,0) Read Serial File Begin
11.38/4.94	c (0,0) HOME/scop-5209-serial-file.bin
12.23/5.15	c (0,0) Read Serial File End
12.23/5.16	
12.23/5.16	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
12.23/5.16	(Solving Process)
12.23/5.16	
12.23/5.18	c BEGIN-Prog: Thu Sep 12 13:24:34 CEST 2019
12.23/5.18	c PID: 5274
12.23/5.18	c IP: 172.20.3.139
12.23/5.18	c HOST: node139.alineos.net
12.23/5.19	c (0,0) SatSolver.solve Begin
12.23/5.19	c (0,0) HOME/cryptominisat5  HOME/instance-4387651-1568287368.xml-scop-5216.cnf
12.39/5.22	c (0,0) c Outputting solution to console
12.39/5.22	c (0,0) c CryptoMiniSat version 5.6.8
12.39/5.22	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
12.39/5.22	c (0,0) c CMS SHA revision GIT-notfound
12.39/5.22	c (0,0) c CMS is MIT licensed
12.39/5.22	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
12.39/5.22	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
12.39/5.22	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387651-1568287368.xml-scop-5216.cnf
12.39/5.22	c (0,0) c Reading file 'HOME/instance-4387651-1568287368.xml-scop-5216.cnf'
12.39/5.22	c (0,0) c -- header says num vars:            600
12.39/5.22	c (0,0) c -- header says num clauses:       15522
12.39/5.22	c (0,0) c -- clauses added: 15522
12.39/5.22	c (0,0) c -- xor clauses added: 0
12.39/5.22	c (0,0) c -- vars added 600
12.39/5.22	c (0,0) c Parsing time: 0.00 s
12.39/5.22	c (0,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
12.39/5.22	c (0,0) c [distill] long cls tried: 4/4 cl-short:4 lit-r:0 T: 0.00 T-out: N T-r: 100.00%
12.55/5.32	c (0,0) c [distill] long cls tried: 92/95 cl-short:92 lit-r:27 T: 0.00 T-out: N T-r: 99.98%
12.55/5.46	c (0,0) c [distill] long cls tried: 130/223 cl-short:130 lit-r:41 T: 0.00 T-out: N T-r: 99.96%
12.55/5.48	c (0,0) c   glue     1    27  8193     600 14603   919    3.73    3.63   247  1911  6029     6   12.94   12.94
12.55/5.68	c (0,0) c [distill] long cls tried: 1060/1282 cl-short:1060 lit-r:566 T: 0.05 T-out: N T-r: 99.55%
12.56/5.84	c (0,0) c   geom     1    47 16386     600 14603   919    3.73    3.63  1451  4858 10067    10   12.91   12.90
12.56/5.94	c (1,0) c [distill] long cls tried: 255/1536 cl-short:255 lit-r:137 T: 0.02 T-out: N T-r: 99.86%
13.53/6.22	c (1,0) c   glue     1    63   24K     600 14603   919    3.73    3.63  2703  5952 15908    16   13.12   13.11
13.63/6.36	c (1,0) c [distill] long cls tried: 1196/2727 cl-short:1196 lit-r:719 T: 0.09 T-out: N T-r: 99.24%
14.03/6.72	c (1,0) c   glue     1    71   32K     600 14603   919    3.73    3.63  4059  9306 18299    24   13.12   13.12
14.23/6.92	c (2,0) c [distill] long cls tried: 1361/4086 cl-short:1361 lit-r:872 T: 0.14 T-out: N T-r: 98.89%
14.64/7.33	c (2,0) c   glue     1    89   40K     600 14603   919    3.73    3.63  5413  7631   26K    29   13.26   13.25
15.14/7.87	c (3,0) c [distill] long cls tried: 1605/5689 cl-short:1605 lit-r:1106 T: 0.22 T-out: N T-r: 96.61%
15.35/8.03	c (3,0) c   glue     1    98   49K     600 14603   919    3.73    3.63  5763 11882   26K    34   13.08   13.07
15.94/8.61	c (3,0) c   geom     1   112   57K     600 14603   919    3.73    3.63  7143 10162   34K    41   13.17   13.16
16.24/8.96	c (4,0) c [distill] long cls tried: 1477/7165 cl-short:1476 lit-r:977 T: 0.25 T-out: N T-r: 96.23%
16.84/9.50	c (4,0) c   glue     1   124   65K     600 14603   919    3.73    3.63  8536 10503   34K    42   12.83   12.82
17.14/9.87	c (5,0) c recursive minimization cost OK: 132Kcost/(% lits removed)
17.14/9.87	c (5,0) c more minimization effectiveness low: 0.00 % lits removed --> disabling
17.14/9.87	c (5,0) c --> Executing strategy token: handle-comps
17.14/9.87	c (5,0) c --> Executing strategy token: scc-vrepl
17.14/9.87	c (5,0) c [scc] new: 0 BP 0M T: 0.00
17.14/9.88	c (5,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 0M T: 0.01
17.14/9.88	c (5,0) c --> Executing strategy token: cache-clean
17.14/9.88	c (5,0) c --> Executing strategy token: cache-tryboth
17.14/9.88	c (5,0) c --> Executing strategy token: sub-impl
17.14/9.88	c (5,0) c [impl sub] bin: 2 T: 0.00 T-out: N w-visit: 1200
17.14/9.89	c (5,0) c --> Executing strategy token: intree-probe
17.14/9.89	c (5,0) c [scc] new: 0 BP 0M T: 0.00
17.14/9.90	c (5,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 0M T: 0.01
17.24/9.91	c (5,0) c [intree] Set 0 vars hyper-added: 109 trans-irred::0 trans-red::11 T: 0.02 T-out: N T-r: 99.88%
17.24/9.97	c (5,0) c --> Executing strategy token: probe
17.24/9.97	c (5,0) c --> Executing strategy token: sub-str-cls-with-bin
17.24/9.97	c (5,0) c [distill] cache-based irred--  cl tried    29075 cl-sh    37 cl-rem  133 lit-rem     37 T: 0.02 T-out: N
17.24/9.97	c (5,0) c [distill] cache-based   red--  cl tried    17330 cl-sh   596 cl-rem    0 lit-rem    673 T: 0.03 T-out: N
17.94/10.64	c (5,0) c --> Executing strategy token: distill-cls
17.94/10.64	c (5,0) c [distill] long cls tried: 8098/14460 cl-short:861 lit-r:236 T: 0.67 T-out: Y T-r: -0.02%
17.94/10.64	c (5,0) c [distill] long useful: 1722/16196/28930 lits-rem: 472 0-depth-assigns: 0 T: 1.34 T-out: Y
17.94/10.64	c (5,0) c --> Executing strategy token: scc-vrepl
17.94/10.64	c (5,0) c [scc] new: 0 BP 0M T: 0.00
17.94/10.65	c (5,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 0M T: 0.01
17.94/10.65	c (5,0) c --> Executing strategy token: sub-impl
17.94/10.65	c (5,0) c [impl sub] bin: 0 T: 0.00 T-out: N w-visit: 1200
17.94/10.65	c (5,0) c --> Executing strategy token: str-impl
17.94/10.65	c (5,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.96% w-visit: 1200
17.94/10.66	c (5,0) c --> Executing strategy token: sub-impl
17.94/10.66	c (5,0) c [impl sub] bin: 0 T: 0.00 T-out: N w-visit: 1200
17.94/10.66	c (5,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
17.94/10.66	c (5,0) c [occ] mem usage for occur      1 MB
17.94/10.66	c (5,0) c [occ] mem usage for occur      1 MB
17.94/10.69	c (5,0) c Mem for watch alloc      : 5           MB (34.97     %)
17.94/10.69	c (5,0) c Mem for watch array      : 0           MB (0.16      %)
17.94/10.69	c (5,0) c --> Executing OCC strategy token: occ-backw-sub-str
17.94/10.69	c (5,0) c [occ-backw-sub-str-long-w-bins] subs: 0 str: 1 tried: 2136 0-depth ass: 0 T: 0.00 T-out: N T-r: 99.77%
18.04/10.78	c (5,0) c [occ-sub-long-w-long] rem cl: 262 tried: 144892/72446 (200.0%) T: 0.09 T-out: N T-r: 74.83%
18.24/10.95	c (6,0) c [occ-sub-str-long-w-long] sub: 3 str: 375 tried: 217338/72446 (300.0)  T: 0.17 T-out: N T-r: 80.52%
18.24/10.95	c (6,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.99%
18.24/10.95	c (6,0) c --> Executing OCC strategy token: occ-clean-implicit
18.24/10.95	c (6,0) c --> Executing OCC strategy token: occ-bve
18.24/10.95	c (6,0) c [occ-empty-res] Empty resolvent elimed: 0 T: 0.00 T-out: N
18.24/10.96	c (6,0) c [occ-bve] iter v-elim 0
18.24/10.96	c (6,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=0)
18.24/10.96	c (6,0) c Reduced to 600 vars, 15501 cls (grow=0)
18.24/10.98	c (6,0) c [occ-bve] iter v-elim 0
18.24/10.98	c (6,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=8)
18.24/10.98	c (6,0) c Reduced to 600 vars, 15501 cls (grow=8)
18.24/11.00	c (6,0) c [occ-bve] iter v-elim 0
18.24/11.00	c (6,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=16)
18.24/11.00	c (6,0) c Reduced to 600 vars, 15501 cls (grow=16)
18.24/11.00	c (6,0) c x n vars       : 600
18.24/11.00	c (6,0) c  #try to eliminate:   1800
18.24/11.00	c (6,0) c  #var-elim        :      0
18.24/11.00	c (6,0) c  #T-o: N
18.24/11.00	c (6,0) c  #T-r: 99.99%
18.24/11.00	c (6,0) c  #T  : 0.05
18.24/11.00	c (6,0) c [occur] 0.03 is overhead
18.24/11.00	c (6,0) c [occur] link-in T: 0.03 cleanup T: 0.00
18.24/11.00	c (6,0) c --> Executing OCC strategy token: occ-bva
18.24/11.00	c (6,0) c [occ-bva] global numcalls: 0
18.24/11.00	c (6,0) c --> Executing OCC strategy token: occ-ternary-res
18.24/11.00	c (6,0) c --> Executing OCC strategy token: occ-xor
18.24/11.00	c (6,0) c [occ-xor] sort occur list T: 0.00
18.36/11.03	c (6,0) c [occ-xor] found      0 T: 0.03 T-out: N T-r: 99.26%
18.36/11.03	c (6,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
18.36/11.04	c (6,0) c --> Executing strategy token: cl-consolidate
18.36/11.04	c (6,0) c Not consolidating memory.
18.36/11.04	c (6,0) c --> Executing strategy token: str-impl
18.36/11.04	c (6,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.96% w-visit: 1200
18.36/11.11	c (6,0) c --> Executing strategy token: cache-clean
18.36/11.11	c (6,0) c --> Executing strategy token: sub-str-cls-with-bin
18.36/11.11	c (6,0) c [distill] cache-based irred--  cl tried    28916 cl-sh     0 cl-rem    2 lit-rem      0 T: 0.02 T-out: N
18.36/11.11	c (6,0) c [distill] cache-based   red--  cl tried    19412 cl-sh   336 cl-rem    0 lit-rem    406 T: 0.04 T-out: N
18.96/11.67	c (6,0) c --> Executing strategy token: distill-cls
18.96/11.67	c (6,0) c [distill] long cls tried: 6316/14452 cl-short:620 lit-r:77 T: 0.56 T-out: N T-r: 13.37%
18.96/11.67	c (6,0) c [distill] long useful: 1240/12632/28914 lits-rem: 154 0-depth-assigns: 0 T: 1.13 T-out: N
18.96/11.67	c (6,0) c --> Executing strategy token: scc-vrepl
18.96/11.67	c (6,0) c [scc] new: 0 BP 0M T: 0.00
18.96/11.68	c (6,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 0M T: 0.01
18.96/11.68	c (6,0) c --> Executing strategy token: check-cache-size
18.96/11.68	c (6,0) c --> Executing strategy token: renumber
18.96/11.68	c (6,0) c --> Executing strategy token: sls
18.96/11.68	c (6,0) c [consolidate] mini T: 0.00
18.96/11.68	c (6,0) c global_timeout_multiplier: 4.40
18.96/11.68	c (6,0) c clause size stats. size3: 4308 size4: 10144 size5: 0 larger: 0
20.26/13.00	c (8,0) c [distill] long cls tried: 3069/9754 cl-short:3061 lit-r:1374 T: 0.97 T-out: N T-r: 87.45%
20.37/13.03	c (8,0) c   luby     0   152   73K     600 14452  1047    3.70    3.59  9757  9849   41K    26   12.84   12.84
21.07/13.70	c (8,0) c   luby     0   185   81K     600 14452  1047    3.70    3.59 10722  9111   37K    27   12.06   12.05
21.67/14.38	c (9,0) c   luby     0   203   90K     600 14452  1047    3.70    3.59 11820  9455   34K    27   11.57   11.57
22.07/14.76	c (9,0) c [distill] long cls tried: 2073/11504 cl-short:2071 lit-r:2224 T: 0.32 T-out: N T-r: 94.98%
22.57/15.26	c (10,0) c   luby     0   235   98K     600 14452  1047    3.70    3.59 11618 10760   41K   350   11.71   11.66
23.17/15.86	c (11,0) c   luby     0   260  106K     600 14452  1047    3.70    3.59 12664 10795   35K   350   11.36   11.30
23.77/16.45	c (11,0) c   luby     0   261  114K     600 14452  1047    3.70    3.59 13376  8382   45K   350   11.75   11.70
24.17/16.86	c (11,0) c [distill] long cls tried: 1877/13376 cl-short:1875 lit-r:1236 T: 0.38 T-out: N T-r: 94.02%
24.77/17.44	c (12,0) c   luby     0   292  122K     600 14452  1047    3.70    3.59 14315  9227   39K   355   11.58   11.52
25.38/18.08	c (13,0) c   luby     0   323  131K     600 14452  1047    3.70    3.59 15249  7719   47K   356   11.80   11.75
25.97/18.68	c (13,0) c   luby     0   350  139K     600 14452  1047    3.70    3.59 15711 13259   37K   360   11.40   11.35
26.77/19.43	c (14,0) c [distill] long cls tried: 3495/16119 cl-short:3493 lit-r:5634 T: 0.55 T-out: N T-r: 90.01%
27.07/19.77	c (14,0) c   luby     0   382  147K     600 14452  1047    3.70    3.59 16225 12566   45K  1117   11.44   11.30
27.67/20.33	c (15,0) c   luby     0   388  155K     599 14452  1047    3.70    3.59 17888 13766   35K  1123   11.33   11.17
28.17/20.84	c (15,0) c   luby     0   389  163K     599 14452  1047    3.70    3.59 18691 10577   46K  1123   11.69   11.55
28.48/21.13	c (16,0) c recursive minimization cost OK: 185Kcost/(% lits removed)
28.48/21.13	c (16,0) c --> Executing strategy token: handle-comps
28.48/21.13	c (16,0) c --> Executing strategy token: scc-vrepl
28.48/21.13	c (16,0) c [scc] new: 2 BP 0M T: 0.00
28.48/21.15	c (16,0) c [vrep] vars 2 lits 18582 rem-bin-cls 830 rem-long-cls 13990 BP 0M T: 0.02
28.48/21.15	c (16,0) c --> Executing strategy token: cache-clean
28.48/21.15	c (16,0) c --> Executing strategy token: cache-tryboth
28.48/21.15	c (16,0) c --> Executing strategy token: sub-impl
28.48/21.15	c (16,0) c [impl sub] bin: 4 T: 0.00 T-out: N w-visit: 1200
28.48/21.15	c (16,0) c --> Executing strategy token: intree-probe
28.48/21.15	c (16,0) c [scc] new: 0 BP 0M T: 0.00
28.48/21.16	c (16,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 0M T: 0.01
28.48/21.17	c (16,0) c [intree] Set 0 vars hyper-added: 8 trans-irred::69 trans-red::3 T: 0.01 T-out: N T-r: 99.92%
28.57/21.24	c (16,0) c --> Executing strategy token: probe
28.57/21.24	c (16,0) c --> Executing strategy token: sub-str-cls-with-bin
28.57/21.24	c (16,0) c [distill] cache-based irred--  cl tried    28536 cl-sh     1 cl-rem   12 lit-rem      1 T: 0.02 T-out: N
28.57/21.24	c (16,0) c [distill] cache-based   red--  cl tried    34051 cl-sh   712 cl-rem   47 lit-rem    826 T: 0.05 T-out: N
28.57/21.24	c (16,0) c --> Executing strategy token: distill-cls
28.57/21.24	c (16,0) c [distill] long cls tried: 0/14261 cl-short:0 lit-r:0 T: 0.00 T-out: N T-r: 99.92%
28.57/21.24	c (16,0) c [distill] long useful: 0/0/28522 lits-rem: 0 0-depth-assigns: 0 T: 0.00 T-out: N
28.57/21.24	c (16,0) c --> Executing strategy token: scc-vrepl
28.57/21.24	c (16,0) c [scc] new: 0 BP 0M T: 0.00
28.57/21.25	c (16,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 0M T: 0.00
28.57/21.25	c (16,0) c --> Executing strategy token: sub-impl
28.57/21.25	c (16,0) c [impl sub] bin: 0 T: 0.00 T-out: N w-visit: 1200
28.57/21.25	c (16,0) c --> Executing strategy token: str-impl
28.57/21.25	c (16,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.97% w-visit: 1200
28.57/21.25	c (16,0) c --> Executing strategy token: sub-impl
28.57/21.25	c (16,0) c [impl sub] bin: 0 T: 0.00 T-out: N w-visit: 1200
28.57/21.25	c (16,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
28.57/21.25	c (16,0) c [occ] mem usage for occur      1 MB
28.57/21.26	c (16,0) c [occ] mem usage for occur      3 MB
28.57/21.27	c (16,0) c Mem for watch alloc      : 10          MB (32.92     %)
28.57/21.27	c (16,0) c Mem for watch array      : 0           MB (0.08      %)
28.57/21.28	c (16,0) c --> Executing OCC strategy token: occ-backw-sub-str
28.57/21.28	c (16,0) c [occ-backw-sub-str-long-w-bins] subs: 2 str: 0 tried: 4178 0-depth ass: 0 T: 0.01 T-out: N T-r: 99.71%
28.67/21.37	c (16,0) c [occ-sub-long-w-long] rem cl: 283 tried: 113706/56853 (200.0%) T: 0.09 T-out: N T-r: 73.39%
28.87/21.55	c (16,0) c [occ-sub-str-long-w-long] sub: 2 str: 405 tried: 170559/56853 (300.0)  T: 0.18 T-out: N T-r: 80.76%
28.87/21.55	c (16,0) c --> Executing OCC strategy token: occ-clean-implicit
28.87/21.55	c (16,0) c --> Executing OCC strategy token: occ-bve
28.87/21.55	c (16,0) c [occ-empty-res] Empty resolvent elimed: 0 T: 0.00 T-out: N
28.87/21.57	c (16,0) c [occ-bve] iter v-elim 0
28.87/21.57	c (16,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=0)
28.87/21.57	c (16,0) c Reduced to 597 vars, 15252 cls (grow=0)
28.87/21.59	c (16,0) c [occ-bve] iter v-elim 0
28.87/21.59	c (16,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=8)
28.87/21.59	c (16,0) c Reduced to 597 vars, 15252 cls (grow=8)
28.97/21.61	c (16,0) c [occ-bve] iter v-elim 0
28.97/21.61	c (16,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=16)
28.97/21.61	c (16,0) c Reduced to 597 vars, 15252 cls (grow=16)
28.97/21.61	c (16,0) c x n vars       : 597
28.97/21.61	c (16,0) c  #try to eliminate:   1791
28.97/21.61	c (16,0) c  #var-elim        :      0
28.97/21.61	c (16,0) c  #T-o: N
28.97/21.61	c (16,0) c  #T-r: 99.99%
28.97/21.61	c (16,0) c  #T  : 0.06
28.97/21.61	c (16,0) c [occur] 0.02 is overhead
28.97/21.63	c (16,0) c [occur] link-in T: 0.02 cleanup T: 0.00
28.97/21.63	c (16,0) c --> Executing OCC strategy token: occ-bva
28.97/21.63	c (16,0) c [occ-bva] global numcalls: 1
28.97/21.63	c (16,0) c --> Executing OCC strategy token: occ-ternary-res
28.97/21.63	c (16,0) c --> Executing OCC strategy token: occ-xor
28.97/21.63	c (16,0) c [occ-xor] sort occur list T: 0.01
28.97/21.66	c (16,0) c [occ-xor] found      0 T: 0.05 T-out: N T-r: 98.97%
28.97/21.66	c (16,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
28.97/21.68	c (16,0) c --> Executing strategy token: cl-consolidate
28.97/21.68	c (16,0) c [mem] consolidate  old-sz:  6471K new-sz:  3568K new bits offs: 0 T: 0.00
28.97/21.68	c (16,0) c --> Executing strategy token: str-impl
28.97/21.68	c (16,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.97% w-visit: 1200
29.09/21.75	c (16,0) c --> Executing strategy token: cache-clean
29.09/21.75	c (16,0) c --> Executing strategy token: sub-str-cls-with-bin
29.09/21.75	c (16,0) c [distill] cache-based irred--  cl tried    28518 cl-sh     0 cl-rem    0 lit-rem      0 T: 0.02 T-out: N
29.09/21.75	c (16,0) c [distill] cache-based   red--  cl tried    34644 cl-sh   163 cl-rem   10 lit-rem    211 T: 0.05 T-out: N
29.09/21.75	c (16,0) c --> Executing strategy token: distill-cls
29.09/21.75	c (16,0) c [distill] long cls tried: 1/14259 cl-short:0 lit-r:0 T: 0.00 T-out: N T-r: 99.87%
29.09/21.75	c (16,0) c [distill] long useful: 0/2/28518 lits-rem: 0 0-depth-assigns: 0 T: 0.00 T-out: N
29.09/21.75	c (16,0) c --> Executing strategy token: scc-vrepl
29.09/21.75	c (16,0) c [scc] new: 0 BP 0M T: 0.00
29.09/21.75	c (16,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 0M T: 0.00
29.09/21.75	c (16,0) c --> Executing strategy token: check-cache-size
29.09/21.75	c (16,0) c --> Executing strategy token: renumber
29.09/21.75	c (16,0) c --> Executing strategy token: sls
29.09/21.75	c (16,0) c [consolidate] mini T: 0.00
29.09/21.75	c (16,0) c global_timeout_multiplier: 4.84
29.09/21.75	c (16,0) c [features] numVars 597, numClauses 15252, var_cl_ratio 0.04, binary 0.07, horn 0.06, horn_mean 0.00, horn_std 0.00, horn_min 0.00, horn_max 0.00, horn_spread 0.00, vcg_var_mean 0.00, vcg_var_std 2.17, vcg_var_min 0.00, vcg_var_max 0.01, vcg_var_spread 0.01, vcg_cls_mean 0.00, vcg_cls_std 2.63, vcg_cls_min 0.00, vcg_cls_max 0.01, vcg_cls_spread 0.00, pnr_var_mean 0.49, pnr_var_std 0.46, pnr_var_min 0.00, pnr_var_max 1.00, pnr_var_spread 1.00, pnr_cls_mean 0.06, pnr_cls_std 2.67, pnr_cls_min 0.00, pnr_cls_max 1.00, pnr_cls_spread 1.00, avg_confl_size 13.31, confl_size_min 1.00, confl_size_max 47.00, avg_confl_glue 8.45, confl_glue_min 1.00, confl_glue_max 23.00, avg_num_resolutions 0.00, num_resolutions_min 0.00, num_resolutions_max 0.00, learnt_bins_per_confl 0.00, avg_branch_depth 12.05, branch_depth_min 3.00, branch_depth_max 25.00, avg_trail_depth_delta 106.20, trail_depth_delta_min 2.00, trail_depth_delta_max 396.00, avg_branch_depth_delta 1.23, props_per_confl 0.01, confl_per_restart 431.88, decisions_per_conflict 1.27, irred_cl_distrib.glue_distr_mean 988.74, irred_cl_distrib.glue_distr_var 11102.55, irred_cl_distrib.size_distr_mean 3.70, irred_cl_distrib.size_distr_var 0.21, irred_cl_distrib.uip_use_distr_mean 0, irred_cl_distrib.uip_use_distr_var 0, irred_cl_distrib.activity_distr_mean 0.00, irred_cl_distrib.activity_distr_var 128340458.39, red_cl_distrib.glue_distr_mean 2.85, red_cl_distrib.glue_distr_var 0.16, red_cl_distrib.size_distr_mean 6.18, red_cl_distrib.size_distr_var 3.41, red_cl_distrib.uip_use_distr_mean 0, red_cl_distrib.uip_use_distr_var 0, red_cl_distrib.activity_distr_mean 28694.30, red_cl_distrib.activity_distr_var 25167185487.28, num_gates_found_last 0, num_xors_found_last 0
29.09/21.75	c (16,0) c clause size stats. size3: 4250 size4: 10009 size5: 0 larger: 0
29.40/22.07	c (17,0) c   luby     0   411  172K     597 14259   993    3.70    3.59 17605  7538   21K    30   11.35   11.35
30.09/22.76	c (17,0) c [distill] long cls tried: 3068/17412 cl-short:3062 lit-r:2343 T: 0.52 T-out: N T-r: 92.68%
30.50/23.14	c (18,0) c   luby     0   443  180K     597 14259   993    3.70    3.59 18598  9889   21K   269   11.27   11.22
30.99/23.67	c (18,0) c   luby     0   460  188K     597 14259   993    3.70    3.59 18716 11705   27K   271   11.81   11.77
31.60/24.25	c (19,0) c   luby     0   491  196K     597 14259   993    3.70    3.59 19725 12134   29K   271   11.69   11.65
32.20/24.87	c (20,0) c   luby     0   516  204K     597 14259   993    3.70    3.59   20K  9676   39K   271   11.89   11.85
32.90/25.53	c (20,0) c   luby     0   517  213K     597 14259   993    3.70    3.59   21K  9427   37K   271   11.84   11.80
33.70/26.30	c (21,0) c [distill] long cls tried: 3784/20847 cl-short:3782 lit-r:4625 T: 0.76 T-out: N T-r: 89.40%
34.30/26.95	c (22,0) c   luby     0   549  221K     597 14259   993    3.70    3.59   21K  7253   47K   621   11.98   11.90
35.00/27.60	c (22,0) c   luby     0   580  229K     597 14259   993    3.70    3.59   21K 10526   41K   621   11.56   11.49
35.61/28.30	c (23,0) c   luby     0   608  237K     597 14259   993    3.70    3.59   22K  9144   50K   621   11.85   11.77
36.31/28.98	c (24,0) c   luby     0   640  245K     597 14259   993    3.70    3.59   23K 10005   42K   621   11.44   11.36
37.02/29.66	c (24,0) c   luby     0   644  253K     597 14259   993    3.70    3.59   23K  7315   52K   621   11.74   11.67
37.72/30.37	c (25,0) c   luby     0   645  262K     597 14259   993    3.70    3.59   24K  8779   46K   621   11.54   11.47
38.43/31.06	c (26,0) c   luby     0   645  270K     597 14259   993    3.70    3.59   25K  9730   37K   622   11.34   11.26
39.43/32.01	c (27,0) c [distill] long cls tried: 4534/24740 cl-short:4534 lit-r:6096 T: 0.90 T-out: N T-r: 86.99%
39.92/32.59	c (27,0) c   luby     0   646  278K     597 14259   993    3.70    3.59   24K 11124   44K  1263   11.71   11.56
40.62/33.22	c (28,0) c   luby     0   646  286K     597 14259   993    3.70    3.59   25K 12464   38K  1263   11.63   11.47
41.22/33.85	c (28,0) c   luby     0   646  294K     597 14259   993    3.70    3.59   26K 11039   46K  1263   11.93   11.78
41.92/34.56	c (29,0) c   luby     0   677  303K     596 14259   993    3.70    3.59   27K 11395   38K  1271   11.59   11.43
42.12/34.72	c (29,0) c recursive minimization cost OK: 285Kcost/(% lits removed)
42.12/34.72	c (29,0) c --> Executing strategy token: handle-comps
42.12/34.73	c (29,0) c --> Executing strategy token: scc-vrepl
42.12/34.73	c (29,0) c [scc] new: 3 BP 0M T: 0.00
42.12/34.75	c (29,0) c [vrep] vars 3 lits 24348 rem-bin-cls 851 rem-long-cls 9087 BP 0M T: 0.02
42.12/34.75	c (29,0) c --> Executing strategy token: cache-clean
42.12/34.75	c (29,0) c --> Executing strategy token: cache-tryboth
42.12/34.75	c (29,0) c --> Executing strategy token: sub-impl
42.12/34.75	c (29,0) c [impl sub] bin: 354 T: 0.00 T-out: N w-visit: 1200
42.12/34.75	c (29,0) c --> Executing strategy token: intree-probe
42.12/34.75	c (29,0) c [scc] new: 0 BP 0M T: 0.00
42.12/34.76	c (29,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 0M T: 0.01
42.12/34.78	c (29,0) c [intree] Set 0 vars hyper-added: 8 trans-irred::20 trans-red::9 T: 0.02 T-out: N T-r: 99.91%
42.33/34.90	c (30,0) c --> Executing strategy token: probe
42.33/34.90	c (30,0) c --> Executing strategy token: sub-str-cls-with-bin
42.33/34.90	c (30,0) c [distill] cache-based irred--  cl tried    28109 cl-sh     1 cl-rem    5 lit-rem      1 T: 0.02 T-out: N
42.33/34.90	c (30,0) c [distill] cache-based   red--  cl tried    42434 cl-sh   649 cl-rem  152 lit-rem    743 T: 0.09 T-out: Y
42.33/34.90	c (30,0) c --> Executing strategy token: distill-cls
42.33/34.90	c (30,0) c [distill] long cls tried: 1/14052 cl-short:0 lit-r:0 T: 0.00 T-out: N T-r: 99.89%
42.33/34.90	c (30,0) c [distill] long useful: 0/2/28104 lits-rem: 0 0-depth-assigns: 0 T: 0.00 T-out: N
42.33/34.90	c (30,0) c --> Executing strategy token: scc-vrepl
42.33/34.90	c (30,0) c [scc] new: 0 BP 0M T: 0.00
42.33/34.91	c (30,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 0M T: 0.01
42.33/34.91	c (30,0) c --> Executing strategy token: sub-impl
42.33/34.91	c (30,0) c [impl sub] bin: 0 T: 0.00 T-out: N w-visit: 1200
42.33/34.91	c (30,0) c --> Executing strategy token: str-impl
42.33/34.91	c (30,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.96% w-visit: 1200
42.33/34.92	c (30,0) c --> Executing strategy token: sub-impl
42.33/34.92	c (30,0) c [impl sub] bin: 0 T: 0.00 T-out: N w-visit: 1200
42.33/34.92	c (30,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
42.33/34.92	c (30,0) c [occ] mem usage for occur      1 MB
42.33/34.92	c (30,0) c [occ] mem usage for occur      4 MB
42.33/34.95	c (30,0) c Mem for watch alloc      : 14          MB (37.30     %)
42.33/34.95	c (30,0) c Mem for watch array      : 0           MB (0.07      %)
42.33/34.96	c (30,0) c --> Executing OCC strategy token: occ-backw-sub-str
42.33/34.96	c (30,0) c [occ-backw-sub-str-long-w-bins] subs: 6 str: 363 tried: 6168 0-depth ass: 0 T: 0.01 T-out: N T-r: 99.63%
42.54/35.13	c (30,0) c [occ-sub-long-w-long] rem cl: 607 tried: 156458/78229 (200.0%) T: 0.17 T-out: N T-r: 53.05%
42.83/35.47	c (30,0) c [occ-sub-str-long-w-long] sub: 7 str: 606 tried: 234687/78229 (300.0)  T: 0.35 T-out: N T-r: 67.64%
42.83/35.47	c (30,0) c --> Executing OCC strategy token: occ-clean-implicit
42.83/35.47	c (30,0) c --> Executing OCC strategy token: occ-bve
42.83/35.47	c (30,0) c [occ-empty-res] Empty resolvent elimed: 0 T: 0.00 T-out: N
42.93/35.50	c (30,0) c [occ-bve] iter v-elim 0
42.93/35.50	c (30,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=0)
42.93/35.50	c (30,0) c Reduced to 593 vars, 15011 cls (grow=0)
42.93/35.53	c (30,0) c [occ-bve] iter v-elim 0
42.93/35.53	c (30,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=8)
42.93/35.53	c (30,0) c Reduced to 593 vars, 15011 cls (grow=8)
42.93/35.55	c (30,0) c [occ-bve] iter v-elim 0
42.93/35.55	c (30,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=16)
42.93/35.55	c (30,0) c Reduced to 593 vars, 15011 cls (grow=16)
42.93/35.55	c (30,0) c x n vars       : 593
42.93/35.55	c (30,0) c  #try to eliminate:   1779
42.93/35.55	c (30,0) c  #var-elim        :      0
42.93/35.55	c (30,0) c  #T-o: N
42.93/35.55	c (30,0) c  #T-r: 99.99%
42.93/35.55	c (30,0) c  #T  : 0.08
42.93/35.55	c (30,0) c [occur] 0.03 is overhead
42.93/35.55	c (30,0) c [occur] link-in T: 0.03 cleanup T: 0.00
42.93/35.55	c (30,0) c --> Executing OCC strategy token: occ-bva
42.93/35.55	c (30,0) c [occ-bva] global numcalls: 2
42.93/35.56	c (30,0) c --> Executing OCC strategy token: occ-ternary-res
42.93/35.56	c (30,0) c --> Executing OCC strategy token: occ-xor
42.93/35.56	c (30,0) c [occ-xor] sort occur list T: 0.01
43.03/35.62	c (30,0) c [occ-xor] found      0 T: 0.07 T-out: N T-r: 98.57%
43.03/35.62	c (30,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
43.03/35.63	c (30,0) c --> Executing strategy token: cl-consolidate
43.03/35.63	c (30,0) c Not consolidating memory.
43.03/35.63	c (30,0) c --> Executing strategy token: str-impl
43.03/35.63	c (30,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.96% w-visit: 1200
43.14/35.74	c (30,0) c --> Executing strategy token: cache-clean
43.14/35.74	c (30,0) c --> Executing strategy token: sub-str-cls-with-bin
43.14/35.74	c (30,0) c [distill] cache-based irred--  cl tried    28092 cl-sh     0 cl-rem    0 lit-rem      0 T: 0.02 T-out: N
43.14/35.74	c (30,0) c [distill] cache-based   red--  cl tried    45193 cl-sh    68 cl-rem   68 lit-rem     82 T: 0.09 T-out: Y
43.14/35.75	c (30,0) c --> Executing strategy token: distill-cls
43.14/35.75	c (30,0) c [distill] long cls tried: 2/14046 cl-short:1 lit-r:0 T: 0.00 T-out: N T-r: 99.82%
43.14/35.75	c (30,0) c [distill] long useful: 2/4/28092 lits-rem: 0 0-depth-assigns: 0 T: 0.00 T-out: N
43.14/35.75	c (30,0) c --> Executing strategy token: scc-vrepl
43.14/35.75	c (30,0) c [scc] new: 0 BP 0M T: 0.00
43.14/35.75	c (30,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 0M T: 0.01
43.14/35.75	c (30,0) c --> Executing strategy token: check-cache-size
43.14/35.75	c (30,0) c --> Executing strategy token: renumber
43.14/35.75	c (30,0) c --> Executing strategy token: sls
43.14/35.75	c (30,0) c [consolidate] mini T: 0.00
43.14/35.75	c (30,0) c global_timeout_multiplier: 5.32
43.14/35.76	c (30,0) c clause size stats. size3: 4226 size4: 9820 size5: 0 larger: 0
43.84/36.45	c (31,0) c   glue     1   705  311K     593 14046   965    3.70    3.59   26K  8626   34K    30   11.64   11.63
44.64/37.25	c (32,0) c   geom     1   727  319K     593 14046   965    3.70    3.59   26K 11732   33K    30   11.45   11.44
46.34/38.97	c (34,0) c [distill] long cls tried: 4522/27320 cl-short:4520 lit-r:3303 T: 1.53 T-out: N T-r: 82.44%
47.04/39.60	c (34,0) c   glue     1   746  327K     593 14046   965    3.70    3.59   27K  9219   43K    31   11.70   11.70
47.84/40.48	c (35,0) c   glue     1   770  335K     593 14046   965    3.70    3.59   28K 10356   38K    31   11.18   11.17
48.64/41.24	c (36,0) c ------- FINAL TOTAL SEARCH STATS ---------
48.64/41.24	c (36,0) c UIP search time          : 32.52       (90.37     % time)
48.64/41.24	c (36,0) c restarts                 : 777         (442.42    confls per restart)
48.64/41.24	c (36,0) c blocked restarts         : 23          (0.03      per normal restart)
48.64/41.24	c (36,0) c time                     : 32.52       
48.64/41.24	c (36,0) c decisions                : 427860      (0.00      % random)
48.64/41.24	c (36,0) c propagations             : 34837243    
48.64/41.24	c (36,0) c decisions/conflicts      : 1.24        
48.64/41.24	c (36,0) c conflicts                : 343764      (10569.73  / sec)
48.64/41.24	c (36,0) c conf lits non-minim      : 7979574     (23.21     lit/confl)
48.64/41.24	c (36,0) c conf lits final          : 13.81       
48.64/41.24	c (36,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
48.64/41.24	c (36,0) c red which0               : 5999        (1.75      % of confl)
48.64/41.24	c (36,0) c props/decision           : 0.00        
48.64/41.24	c (36,0) c props/conflict           : 0.00        
48.64/41.24	c (36,0) c 0-depth assigns          : 2           (0.33      % vars)
48.64/41.24	c (36,0) c 0-depth assigns by CNF   : 0           (0.00      % vars)
48.64/41.24	c (36,0) c reduceDB time            : 0.15        (0.40      % time)
48.64/41.24	c (36,0) c OccSimplifier time       : 2.08        (5.78      % time)
48.64/41.24	c (36,0) c [occur] 0.11 is overhead
48.64/41.24	c (36,0) c [occur] link-in T: 0.07 cleanup T: 0.03
48.64/41.24	c (36,0) c [occ-substr] long subBySub: 1959 subByStr: 20 lits-rem-str: 5448 T: 1.82
48.64/41.24	c (36,0) c SCC time                 : 0.01        (0.01      % time)
48.64/41.24	c (36,0) c [scc] new: 5 BP 0M  T: 0.01
48.64/41.24	c (36,0) c vrep replace time        : 0.10        (0.29      % time)
48.64/41.24	c (36,0) c vrep tree roots          : 5           
48.64/41.24	c (36,0) c vrep trees' crown        : 5           (1.00      leafs/tree)
48.64/41.24	c (36,0) c distill time             : 9.18        (25.51     % time)
48.64/41.24	c (36,0) c strength cache-irred time: 0.12        (0.34      % time)
48.64/41.24	c (36,0) c strength cache-red time  : 0.35        (0.97      % time)
48.64/41.24	c (36,0) c Conflicts in UIP         : 343764      (9551.70   confl/time_this_thread)
48.64/41.24	c (36,0) c Mem used                 : 38.59       MB
48.64/41.24	c (36,0) c Total time (this thread) : 35.99       
48.64/41.24	c (36,0) s SATISFIABLE
48.64/41.26	c (36,0) SatSolver.solve End
48.64/41.26	c (36,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
48.64/41.26	c (36,0) Show results Begin
48.80/41.33	c (36,0) x[0] = 12
48.80/41.33	c (36,0) x[1] = 11
48.80/41.33	c (36,0) x[2] = 15
48.80/41.33	c (36,0) x[3] = 5
48.80/41.33	c (36,0) x[4] = 14
48.80/41.33	c (36,0) x[5] = 11
48.80/41.33	c (36,0) x[6] = 0
48.80/41.33	c (36,0) x[7] = 9
48.80/41.33	c (36,0) x[8] = 5
48.80/41.33	c (36,0) x[9] = 9
48.80/41.33	c (36,0) x[10] = 5
48.80/41.33	c (36,0) x[11] = 7
48.80/41.33	c (36,0) x[12] = 4
48.80/41.33	c (36,0) x[13] = 9
48.80/41.33	c (36,0) x[14] = 0
48.80/41.33	c (36,0) x[15] = 0
48.80/41.33	c (36,0) x[16] = 14
48.80/41.33	c (36,0) x[17] = 15
48.80/41.33	c (36,0) x[18] = 10
48.80/41.33	c (36,0) x[19] = 10
48.80/41.33	c (36,0) x[20] = 15
48.80/41.33	c (36,0) x[21] = 15
48.80/41.33	c (36,0) x[22] = 10
48.80/41.33	c (36,0) x[23] = 12
48.80/41.33	c (36,0) x[24] = 0
48.80/41.33	c (36,0) x[25] = 3
48.80/41.33	c (36,0) x[26] = 9
48.80/41.33	c (36,0) x[27] = 1
48.80/41.33	c (36,0) x[28] = 7
48.80/41.33	c (36,0) x[29] = 4
48.80/41.33	c (36,0) x[30] = 0
48.80/41.33	c (36,0) x[31] = 1
48.80/41.33	c (36,0) x[32] = 1
48.80/41.33	c (36,0) x[33] = 5
48.80/41.33	c (36,0) x[34] = 5
48.80/41.33	c (36,0) x[35] = 15
48.80/41.33	c (36,0) x[36] = 6
48.80/41.33	c (36,0) x[37] = 8
48.80/41.33	c (36,0) x[38] = 12
48.80/41.33	c (36,0) x[39] = 14
48.80/41.33	s SATISFIABLE
48.80/41.34	v <instantiation>
48.80/41.34	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39]</list>
48.80/41.34	v     <values>12 11 15 5 14 11 0 9 5 9 5 7 4 9 0 0 14 15 10 10 15 15 10 12 0 3 9 1 7 4 0 1 1 5 5 15 6 8 12 14</values>
48.80/41.34	v </instantiation>
48.80/41.34	c (36,0) Show results End
48.80/41.34	c (36,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
48.80/41.34	c (36,0) 36,36,STOP-AFTER(ALL)
48.80/41.34	c END-Prog: Thu Sep 12 13:25:10 CEST 2019

Verifier Data 

OK

Watcher Data 

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 (8442 MiB free)
  memory of node 1: 16384 MiB (15165 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387651-1568287368/watcher-4387651-1568287368 -o /tmp/evaluation-result-4387651-1568287368/solver-4387651-1568287368 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568287468-5190 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387651-1568287368.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=5209, runsolver pid=5206

[startup+0.100981 s]*
/proc/loadavg: 1.00 1.02 1.22 3/228 5252
/proc/meminfo: memFree=24055092/32770624 swapFree=66901208/67108860
[pid=5209] ppid=5206 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5209/stat : 5209 (scop.sh) S 5206 5209 3961 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405004305 115843072 349 33554432000 4194304 5098028 140721732133440 140721732130696 139753545896572 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35143680 140721732141923 140721732142192 140721732142192 140721732145101 0
/proc/5209/statm: 28282 349 296 221 0 87 0
[pid=5216] ppid=5209 vsize=15012696 memory=73032 CPUtime=0.11 cores=1,3,5,7
/proc/5216/stat : 5216 (java) S 5209 5209 3961 0 -1 1077944320 5965 0 0 0 9 2 0 0 20 0 15 0 405004305 15373000704 18258 33554432000 4194304 4196468 140727899794832 140727899777376 139658056662775 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
/proc/5216/statm: 3753174 18258 2827 1 0 3715579 0
[pid=5216/tid=5217] ppid=5209 vsize=15012696 memory=-8890239524021780419 CPUtime=0.08 cores=1,3,5,7
/proc/5216/task/5217/stat : 5217 (java) R 5209 5209 3961 0 -1 4202560 3952 0 0 0 7 1 0 0 20 0 15 0 405004305 15373000704 18322 33554432000 4194304 4196468 140727899794832 139658028468248 139658040743262 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5226] ppid=5209 vsize=15012696 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5226/stat : 5226 (java) S 5209 5209 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405004307 15373000704 18322 33554432000 4194304 4196468 140727899794832 139658060905616 139658056672981 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5227] ppid=5209 vsize=15012696 memory=140640281732736 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5227/stat : 5227 (java) S 5209 5209 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405004307 15373000704 18322 33554432000 4194304 4196468 140727899794832 139657851989008 139658056672981 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5228] ppid=5209 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5228/stat : 5228 (java) S 5209 5209 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405004307 15373000704 18322 33554432000 4194304 4196468 140727899794832 139657850936208 139658056672981 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5229] ppid=5209 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5229/stat : 5229 (java) S 5209 5209 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405004307 15373000704 18322 33554432000 4194304 4196468 140727899794832 139657849883408 139658056672981 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5231] ppid=5209 vsize=15012696 memory=140640281732736 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5231/stat : 5231 (java) S 5209 5209 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405004308 15373000704 18322 33554432000 4194304 4196468 140727899794832 139657396173168 139658056673922 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5236] ppid=5209 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5236/stat : 5236 (java) S 5209 5209 3961 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405004309 15373000704 18322 33554432000 4194304 4196468 140727899794832 139656666539040 139658056672981 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5237] ppid=5209 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5237/stat : 5237 (java) S 5209 5209 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405004309 15373000704 18322 33554432000 4194304 4196468 140727899794832 139656431657840 139658056672981 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5241] ppid=5209 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5241/stat : 5241 (java) S 5209 5209 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405004312 15373000704 18322 33554432000 4194304 4196468 140727899794832 139656057149264 139658056681371 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5242] ppid=5209 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5242/stat : 5242 (java) S 5209 5209 3961 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 405004312 15373000704 18322 33554432000 4194304 4196468 140727899794832 139657395121008 139658056673922 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5243] ppid=5209 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5243/stat : 5243 (java) S 5209 5209 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405004312 15373000704 18322 33554432000 4194304 4196468 140727899794832 139657394068208 139658056673922 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5244] ppid=5209 vsize=15012696 memory=140640281732736 CPUtime=0.01 cores=1,3,5,7
/proc/5216/task/5244/stat : 5244 (java) R 5209 5209 3961 0 -1 4202560 451 0 0 0 1 0 0 0 20 0 15 0 405004312 15373000704 18322 33554432000 4194304 4196468 140727899794832 139657393012344 139658035959424 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5245] ppid=5209 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5245/stat : 5245 (java) S 5209 5209 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405004312 15373000704 18322 33554432000 4194304 4196468 140727899794832 139655559244512 139658056672981 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5246] ppid=5209 vsize=15012696 memory=140640281732736 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5246/stat : 5246 (java) S 5209 5209 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405004312 15373000704 18322 33554432000 4194304 4196468 140727899794832 139657391962800 139658056673922 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74428 KiB

[startup+0.21055 s]*
/proc/loadavg: 1.00 1.02 1.22 3/228 5252
/proc/meminfo: memFree=24017220/32770624 swapFree=66901208/67108860
[pid=5209] ppid=5206 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5209/stat : 5209 (scop.sh) S 5206 5209 3961 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405004305 115843072 349 33554432000 4194304 5098028 140721732133440 140721732130696 139753545896572 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35143680 140721732141923 140721732142192 140721732142192 140721732145101 0
/proc/5209/statm: 28282 349 296 221 0 87 0
[pid=5216] ppid=5209 vsize=15012696 memory=87184 CPUtime=0.25 cores=1,3,5,7
/proc/5216/stat : 5216 (java) S 5209 5209 3961 0 -1 1077944320 10609 0 0 0 21 4 0 0 20 0 15 0 405004305 15373000704 21796 33554432000 4194304 4196468 140727899794832 140727899777376 139658056662775 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
/proc/5216/statm: 3753174 21796 2975 1 0 3715579 0
[pid=5216/tid=5217] ppid=5209 vsize=15012696 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/5216/task/5217/stat : 5217 (java) R 5209 5209 3961 0 -1 4202560 8337 0 0 0 16 3 0 0 20 0 15 0 405004305 15373000704 21796 33554432000 4194304 4196468 140727899794832 139658028485312 139658056684701 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5226] ppid=5209 vsize=15012696 memory=12638 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5226/stat : 5226 (java) S 5209 5209 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405004307 15373000704 21796 33554432000 4194304 4196468 140727899794832 139658060905616 139658056672981 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5227] ppid=5209 vsize=15012696 memory=140640284358446 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5227/stat : 5227 (java) S 5209 5209 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405004307 15373000704 21796 33554432000 4194304 4196468 140727899794832 139657851989008 139658056672981 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5228] ppid=5209 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5228/stat : 5228 (java) S 5209 5209 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405004307 15373000704 21796 33554432000 4194304 4196468 140727899794832 139657850936208 139658056672981 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5229] ppid=5209 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5229/stat : 5229 (java) S 5209 5209 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405004307 15373000704 21796 33554432000 4194304 4196468 140727899794832 139657849883408 139658056672981 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5231] ppid=5209 vsize=15012696 memory=140640281732736 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5231/stat : 5231 (java) S 5209 5209 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405004308 15373000704 21796 33554432000 4194304 4196468 140727899794832 139657396173168 139658056673922 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5236] ppid=5209 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5236/stat : 5236 (java) S 5209 5209 3961 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405004309 15373000704 21796 33554432000 4194304 4196468 140727899794832 139656666539040 139658056672981 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5237] ppid=5209 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5237/stat : 5237 (java) S 5209 5209 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405004309 15373000704 21796 33554432000 4194304 4196468 140727899794832 139656431657840 139658056672981 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5241] ppid=5209 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5241/stat : 5241 (java) S 5209 5209 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405004312 15373000704 21796 33554432000 4194304 4196468 140727899794832 139656057149264 139658056681371 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5242] ppid=5209 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5242/stat : 5242 (java) S 5209 5209 3961 0 -1 1077944384 341 0 0 0 0 0 0 0 20 0 15 0 405004312 15373000704 21796 33554432000 4194304 4196468 140727899794832 139657395121008 139658056673922 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5243] ppid=5209 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5243/stat : 5243 (java) S 5209 5209 3961 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 405004312 15373000704 21796 33554432000 4194304 4196468 140727899794832 139657394068208 139658056673922 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5244] ppid=5209 vsize=15012696 memory=140640281732736 CPUtime=0.03 cores=1,3,5,7
/proc/5216/task/5244/stat : 5244 (java) S 5209 5209 3961 0 -1 1077944384 466 0 0 0 3 0 0 0 20 0 15 0 405004312 15373000704 21796 33554432000 4194304 4196468 140727899794832 139657393015408 139658056673922 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5245] ppid=5209 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5245/stat : 5245 (java) S 5209 5209 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405004312 15373000704 21796 33554432000 4194304 4196468 140727899794832 139655559244512 139658056672981 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5246] ppid=5209 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5246/stat : 5246 (java) S 5209 5209 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405004312 15373000704 21796 33554432000 4194304 4196468 140727899794832 139657391962800 139658056673922 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 88580 KiB

[startup+0.310431 s]*
/proc/loadavg: 1.00 1.02 1.22 3/228 5252
/proc/meminfo: memFree=24011264/32770624 swapFree=66901208/67108860
[pid=5209] ppid=5206 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5209/stat : 5209 (scop.sh) S 5206 5209 3961 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405004305 115843072 349 33554432000 4194304 5098028 140721732133440 140721732130696 139753545896572 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35143680 140721732141923 140721732142192 140721732142192 140721732145101 0
/proc/5209/statm: 28282 349 296 221 0 87 0
[pid=5216] ppid=5209 vsize=15012696 memory=90472 CPUtime=0.42 cores=1,3,5,7
/proc/5216/stat : 5216 (java) S 5209 5209 3961 0 -1 1077944320 11672 0 0 0 38 4 0 0 20 0 15 0 405004305 15373000704 22618 33554432000 4194304 4196468 140727899794832 140727899777376 139658056662775 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
/proc/5216/statm: 3753174 22618 3020 1 0 3715579 0
[pid=5216/tid=5217] ppid=5209 vsize=15012696 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/5216/task/5217/stat : 5217 (java) R 5209 5209 3961 0 -1 4202560 9220 0 0 0 25 3 0 0 20 0 15 0 405004305 15373000704 22618 33554432000 4194304 4196468 140727899794832 139658028447760 139658041828414 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5226] ppid=5209 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5226/stat : 5226 (java) S 5209 5209 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405004307 15373000704 22618 33554432000 4194304 4196468 140727899794832 139658060905616 139658056672981 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5227] ppid=5209 vsize=15012696 memory=35809 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5227/stat : 5227 (java) S 5209 5209 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405004307 15373000704 22618 33554432000 4194304 4196468 140727899794832 139657851989008 139658056672981 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5228] ppid=5209 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5228/stat : 5228 (java) S 5209 5209 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405004307 15373000704 22618 33554432000 4194304 4196468 140727899794832 139657850936208 139658056672981 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5229] ppid=5209 vsize=15012696 memory=9122464004270842071 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5229/stat : 5229 (java) S 5209 5209 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405004307 15373000704 22618 33554432000 4194304 4196468 140727899794832 139657849883408 139658056672981 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5231] ppid=5209 vsize=15012696 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5231/stat : 5231 (java) S 5209 5209 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405004308 15373000704 22618 33554432000 4194304 4196468 140727899794832 139657396173168 139658056673922 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5236] ppid=5209 vsize=15012696 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5236/stat : 5236 (java) S 5209 5209 3961 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405004309 15373000704 22618 33554432000 4194304 4196468 140727899794832 139656666539040 139658056672981 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5237] ppid=5209 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5237/stat : 5237 (java) S 5209 5209 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405004309 15373000704 22618 33554432000 4194304 4196468 140727899794832 139656431657840 139658056672981 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5241] ppid=5209 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5241/stat : 5241 (java) S 5209 5209 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405004312 15373000704 22618 33554432000 4194304 4196468 140727899794832 139656057149264 139658056681371 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5242] ppid=5209 vsize=15012696 memory=6933954179156714387 CPUtime=0.02 cores=1,3,5,7
/proc/5216/task/5242/stat : 5242 (java) S 5209 5209 3961 0 -1 1077944384 436 0 0 0 2 0 0 0 20 0 15 0 405004312 15373000704 22618 33554432000 4194304 4196468 140727899794832 139657395121008 139658056673922 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5243] ppid=5209 vsize=15012696 memory=7684433391216329786 CPUtime=0.02 cores=1,3,5,7
/proc/5216/task/5243/stat : 5243 (java) S 5209 5209 3961 0 -1 1077944384 196 0 0 0 2 0 0 0 20 0 15 0 405004312 15373000704 22618 33554432000 4194304 4196468 140727899794832 139657394068208 139658056673922 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5244] ppid=5209 vsize=15012696 memory=-9062862659931694204 CPUtime=0.07 cores=1,3,5,7
/proc/5216/task/5244/stat : 5244 (java) S 5209 5209 3961 0 -1 1077944384 489 0 0 0 7 0 0 0 20 0 15 0 405004312 15373000704 22618 33554432000 4194304 4196468 140727899794832 139657393015408 139658056673922 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5245] ppid=5209 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5245/stat : 5245 (java) S 5209 5209 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405004312 15373000704 22618 33554432000 4194304 4196468 140727899794832 139655559244512 139658056672981 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5246] ppid=5209 vsize=15012696 memory=-8412656567168561567 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5246/stat : 5246 (java) S 5209 5209 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405004312 15373000704 22618 33554432000 4194304 4196468 140727899794832 139657391962800 139658056673922 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91868 KiB

[startup+0.70373 s]
/proc/loadavg: 1.00 1.02 1.22 4/228 5252
/proc/meminfo: memFree=23966124/32770624 swapFree=66901208/67108860
[pid=5209] ppid=5206 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5209/stat : 5209 (scop.sh) S 5206 5209 3961 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405004305 115843072 349 33554432000 4194304 5098028 140721732133440 140721732130696 139753545896572 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35143680 140721732141923 140721732142192 140721732142192 140721732145101 0
/proc/5209/statm: 28282 349 296 221 0 87 0
[pid=5216] ppid=5209 vsize=15018968 memory=129504 CPUtime=1.02 cores=1,3,5,7
/proc/5216/stat : 5216 (java) S 5209 5209 3961 0 -1 1077944320 19137 0 0 0 95 7 0 0 20 0 15 0 405004305 15379423232 32376 33554432000 4194304 4196468 140727899794832 140727899777376 139658056662775 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
/proc/5216/statm: 3754742 32376 3181 1 0 3716091 0
[pid=5216/tid=5217] ppid=5209 vsize=15018968 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/5216/task/5217/stat : 5217 (java) R 5209 5209 3961 0 -1 4202560 16150 0 0 0 60 6 0 0 20 0 15 0 405004305 15379423232 32376 33554432000 4194304 4196468 140727899794832 139658028500336 139658056684701 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5226] ppid=5209 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5226/stat : 5226 (java) S 5209 5209 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405004307 15379423232 32376 33554432000 4194304 4196468 140727899794832 139658060905616 139658056672981 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5227] ppid=5209 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5227/stat : 5227 (java) S 5209 5209 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405004307 15379423232 32376 33554432000 4194304 4196468 140727899794832 139657851989008 139658056672981 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5228] ppid=5209 vsize=15018968 memory=7 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5228/stat : 5228 (java) S 5209 5209 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405004307 15379423232 32376 33554432000 4194304 4196468 140727899794832 139657850936208 139658056672981 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5229] ppid=5209 vsize=15018968 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5229/stat : 5229 (java) S 5209 5209 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405004307 15379423232 32376 33554432000 4194304 4196468 140727899794832 139657849883408 139658056672981 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5231] ppid=5209 vsize=15018968 memory=624 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5231/stat : 5231 (java) S 5209 5209 3961 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405004308 15379423232 32376 33554432000 4194304 4196468 140727899794832 139657396173168 139658056673922 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5236] ppid=5209 vsize=15018968 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5236/stat : 5236 (java) S 5209 5209 3961 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405004309 15379423232 32376 33554432000 4194304 4196468 140727899794832 139656666539040 139658056672981 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5237] ppid=5209 vsize=15018968 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5237/stat : 5237 (java) S 5209 5209 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405004309 15379423232 32376 33554432000 4194304 4196468 140727899794832 139656431657840 139658056672981 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5241] ppid=5209 vsize=15018968 memory=1096 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5241/stat : 5241 (java) S 5209 5209 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405004312 15379423232 32376 33554432000 4194304 4196468 140727899794832 139656057149264 139658056681371 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5242] ppid=5209 vsize=15018968 memory=1192 CPUtime=0.1 cores=1,3,5,7
/proc/5216/task/5242/stat : 5242 (java) S 5209 5209 3961 0 -1 1077944384 656 0 0 0 10 0 0 0 20 0 15 0 405004312 15379423232 32376 33554432000 4194304 4196468 140727899794832 139657395121008 139658056673922 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5243] ppid=5209 vsize=15018968 memory=5932 CPUtime=0.07 cores=1,3,5,7
/proc/5216/task/5243/stat : 5243 (java) S 5209 5209 3961 0 -1 1077944384 394 0 0 0 7 0 0 0 20 0 15 0 405004312 15379423232 32376 33554432000 4194304 4196468 140727899794832 139657394068208 139658056673922 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5244] ppid=5209 vsize=15018968 memory=780 CPUtime=0.16 cores=1,3,5,7
/proc/5216/task/5244/stat : 5244 (java) R 5209 5209 3961 0 -1 4202560 601 0 0 0 16 0 0 0 20 0 15 0 405004312 15379423232 32376 33554432000 4194304 4196468 140727899794832 139657393012144 139658042357824 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5245] ppid=5209 vsize=15018968 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5245/stat : 5245 (java) S 5209 5209 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405004312 15379423232 32376 33554432000 4194304 4196468 140727899794832 139655559244512 139658056672981 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
[pid=5216/tid=5246] ppid=5209 vsize=15018968 memory=18972 CPUtime=0 cores=1,3,5,7
/proc/5216/task/5246/stat : 5246 (java) S 5209 5209 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405004312 15379423232 32376 33554432000 4194304 4196468 140727899794832 139657391962800 139658056673922 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11313152 140727899800362 140727899800730 140727899800730 140727899803599 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 130900 KiB

[startup+1.51099 s]
/proc/loadavg: 1.00 1.02 1.22 8/228 5252
/proc/meminfo: memFree=23881136/32770624 swapFree=66901208/67108860
[pid=5209] ppid=5206 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5209/stat : 5209 (scop.sh) S 5206 5209 3961 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405004305 115843072 349 33554432000 4194304 5098028 140721732133440 140721732130696 139753545896572 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35143680 140721732141923 140721732142192 140721732142192 140721732145101 0
/proc/5209/statm: 28282 349 296 221 0 87 0

################
# More data... #
################

/proc/5274/task/5290/stat : 5290 (java) S 5209 5209 3961 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405004826 8262082560 30589 33554432000 4194304 4196468 140724931410640 140443094455232 140443794562841 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5292] ppid=5209 vsize=8068440 memory=1776 CPUtime=0.04 cores=1,3,5,7
/proc/5274/task/5292/stat : 5292 (java) S 5209 5209 3961 0 -1 4202560 1693 0 0 0 3 1 0 0 20 0 19 0 405004827 8262082560 30589 33554432000 4194304 4196468 140724931410640 140441202699760 140443794560157 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5293] ppid=5209 vsize=8068440 memory=828 CPUtime=0 cores=1,3,5,7
/proc/5274/task/5293/stat : 5293 (java) S 5209 5209 3961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405004827 8262082560 30589 33554432000 4194304 4196468 140724931410640 140440934268816 140443794560157 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5294] ppid=5209 vsize=8068440 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5274/task/5294/stat : 5294 (java) S 5209 5209 3961 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 405004829 8262082560 30589 33554432000 4194304 4196468 140724931410640 140441336929712 140443794548437 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
Current children cumulated CPU time: 47.45 s
Current children cumulated vsize: 8247776 KiB
Current children cumulated memory: 163348 KiB

[startup+40.8009 s]
/proc/loadavg: 1.61 1.18 1.26 3/237 5298
/proc/meminfo: memFree=23854628/32770624 swapFree=66901208/67108860
[pid=5209] ppid=5206 vsize=113128 memory=1476 CPUtime=11.38 cores=1,3,5,7
/proc/5209/stat : 5209 (scop.sh) S 5206 5209 3961 0 -1 4202496 582 30807 0 0 0 0 1110 28 20 0 1 0 405004305 115843072 369 33554432000 4194304 5098028 140721732133440 140721732130184 139753545896572 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35143680 140721732141923 140721732142192 140721732142192 140721732145101 0
/proc/5209/statm: 28282 369 311 221 0 87 0
[pid=5274] ppid=5209 vsize=8068440 memory=122356 CPUtime=1.28 cores=1,3,5,7
/proc/5274/stat : 5274 (java) S 5209 5209 3961 0 -1 1077944320 22629 0 0 0 120 8 0 0 20 0 19 0 405004753 8262082560 30589 33554432000 4194304 4196468 140724931410640 140724931393184 140443794538231 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
/proc/5274/statm: 2017110 30589 3202 1 0 1978454 0
[pid=5289] ppid=5274 vsize=66208 memory=39516 CPUtime=35.58 cores=1,3,5,7
/proc/5289/stat : 5289 (cryptominisat5) R 5274 5209 3961 0 -1 4202496 25941 0 0 0 3555 3 0 0 20 0 1 0 405004826 67796992 9879 33554432000 4194304 4451008 140729137495888 140729137491816 139805269110953 0 4 0 2 0 0 0 17 1 0 0 0 0 0 6549032 6559120 23281664 140729137501117 140729137501248 140729137501248 140729137504198 0
/proc/5289/statm: 16552 9879 735 63 0 10279 0
[pid=5274/tid=5275] ppid=5209 vsize=8068440 memory=2016 CPUtime=0.75 cores=1,3,5,7
/proc/5274/task/5275/stat : 5275 (java) S 5209 5209 3961 0 -1 1077944384 17385 0 0 0 71 4 0 0 20 0 19 0 405004754 8262082560 30589 33554432000 4194304 4196468 140724931410640 140443766378400 140443794548437 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5276] ppid=5209 vsize=8068440 memory=1268 CPUtime=0 cores=1,3,5,7
/proc/5274/task/5276/stat : 5276 (java) S 5209 5209 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405004755 8262082560 30589 33554432000 4194304 4196468 140724931410640 140443798780816 140443794548437 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5277] ppid=5209 vsize=8068440 memory=10728 CPUtime=0 cores=1,3,5,7
/proc/5274/task/5277/stat : 5277 (java) S 5209 5209 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405004755 8262082560 30589 33554432000 4194304 4196468 140724931410640 140443279739664 140443794548437 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5278] ppid=5209 vsize=8068440 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/5274/task/5278/stat : 5278 (java) S 5209 5209 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405004755 8262082560 30589 33554432000 4194304 4196468 140724931410640 140443278687376 140443794548437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5279] ppid=5209 vsize=8068440 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/5274/task/5279/stat : 5279 (java) S 5209 5209 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405004755 8262082560 30589 33554432000 4194304 4196468 140724931410640 140443277634576 140443794548437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5280] ppid=5209 vsize=8068440 memory=122356 CPUtime=0 cores=1,3,5,7
/proc/5274/task/5280/stat : 5280 (java) S 5209 5209 3961 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 405004756 8262082560 30589 33554432000 4194304 4196468 140724931410640 140443106699376 140443794549378 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5281] ppid=5209 vsize=8068440 memory=39512 CPUtime=0 cores=1,3,5,7
/proc/5274/task/5281/stat : 5281 (java) S 5209 5209 3961 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405004757 8262082560 30589 33554432000 4194304 4196468 140724931410640 140442611999520 140443794548437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5282] ppid=5209 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5274/task/5282/stat : 5282 (java) S 5209 5209 3961 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405004757 8262082560 30589 33554432000 4194304 4196468 140724931410640 140442477778032 140443794548437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5283] ppid=5209 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5274/task/5283/stat : 5283 (java) S 5209 5209 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405004759 8262082560 30589 33554432000 4194304 4196468 140724931410640 140442103273552 140443794556827 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5284] ppid=5209 vsize=8068440 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/5274/task/5284/stat : 5284 (java) S 5209 5209 3961 0 -1 1077944384 591 0 0 0 11 0 0 0 20 0 19 0 405004759 8262082560 30589 33554432000 4194304 4196468 140724931410640 140443105647216 140443794549378 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5285] ppid=5209 vsize=8068440 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/5274/task/5285/stat : 5285 (java) S 5209 5209 3961 0 -1 1077944384 462 0 0 0 9 0 0 0 20 0 19 0 405004759 8262082560 30589 33554432000 4194304 4196468 140724931410640 140443104594416 140443794549378 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5286] ppid=5209 vsize=8068440 memory=-3622645143214314312 CPUtime=0.24 cores=1,3,5,7
/proc/5274/task/5286/stat : 5286 (java) S 5209 5209 3961 0 -1 1077944384 1087 0 0 0 24 0 0 0 20 0 19 0 405004759 8262082560 30589 33554432000 4194304 4196468 140724931410640 140443103542128 140443794549378 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5287] ppid=5209 vsize=8068440 memory=7446527605389675857 CPUtime=0 cores=1,3,5,7
/proc/5274/task/5287/stat : 5287 (java) S 5209 5209 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405004759 8262082560 30589 33554432000 4194304 4196468 140724931410640 140441605368800 140443794548437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5288] ppid=5209 vsize=8068440 memory=7084272604602846546 CPUtime=0 cores=1,3,5,7
/proc/5274/task/5288/stat : 5288 (java) S 5209 5209 3961 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405004760 8262082560 30589 33554432000 4194304 4196468 140724931410640 140443102489008 140443794549378 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5290] ppid=5209 vsize=8068440 memory=7084271522271219025 CPUtime=0 cores=1,3,5,7
/proc/5274/task/5290/stat : 5290 (java) S 5209 5209 3961 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405004826 8262082560 30589 33554432000 4194304 4196468 140724931410640 140443094455232 140443794562841 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5292] ppid=5209 vsize=8068440 memory=7084271522271219025 CPUtime=0.04 cores=1,3,5,7
/proc/5274/task/5292/stat : 5292 (java) S 5209 5209 3961 0 -1 4202560 1693 0 0 0 3 1 0 0 20 0 19 0 405004827 8262082560 30589 33554432000 4194304 4196468 140724931410640 140441202699760 140443794560157 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5293] ppid=5209 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5274/task/5293/stat : 5293 (java) S 5209 5209 3961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405004827 8262082560 30589 33554432000 4194304 4196468 140724931410640 140440934268816 140443794560157 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5294] ppid=5209 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5274/task/5294/stat : 5294 (java) S 5209 5209 3961 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 405004829 8262082560 30589 33554432000 4194304 4196468 140724931410640 140441336929712 140443794548437 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
Current children cumulated CPU time: 48.24 s
Current children cumulated vsize: 8247776 KiB
Current children cumulated memory: 163348 KiB

[startup+41.201 s]
/proc/loadavg: 1.61 1.18 1.26 3/237 5298
/proc/meminfo: memFree=23854628/32770624 swapFree=66901208/67108860
[pid=5209] ppid=5206 vsize=113128 memory=1476 CPUtime=11.38 cores=1,3,5,7
/proc/5209/stat : 5209 (scop.sh) S 5206 5209 3961 0 -1 4202496 582 30807 0 0 0 0 1110 28 20 0 1 0 405004305 115843072 369 33554432000 4194304 5098028 140721732133440 140721732130184 139753545896572 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35143680 140721732141923 140721732142192 140721732142192 140721732145101 0
/proc/5209/statm: 28282 369 311 221 0 87 0
[pid=5274] ppid=5209 vsize=8068440 memory=122356 CPUtime=1.28 cores=1,3,5,7
/proc/5274/stat : 5274 (java) S 5209 5209 3961 0 -1 1077944320 22629 0 0 0 120 8 0 0 20 0 19 0 405004753 8262082560 30589 33554432000 4194304 4196468 140724931410640 140724931393184 140443794538231 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
/proc/5274/statm: 2017110 30589 3202 1 0 1978454 0
[pid=5289] ppid=5274 vsize=66208 memory=39516 CPUtime=35.98 cores=1,3,5,7
/proc/5289/stat : 5289 (cryptominisat5) R 5274 5209 3961 0 -1 4202496 25966 0 0 0 3595 3 0 0 20 0 1 0 405004826 67796992 9879 33554432000 4194304 4451008 140729137495888 140729137491816 139805269110948 0 4 0 2 0 0 0 17 1 0 0 0 0 0 6549032 6559120 23281664 140729137501117 140729137501248 140729137501248 140729137504198 0
/proc/5289/statm: 16552 9879 735 63 0 10279 0
[pid=5274/tid=5275] ppid=5209 vsize=8068440 memory=3848 CPUtime=0.75 cores=1,3,5,7
/proc/5274/task/5275/stat : 5275 (java) S 5209 5209 3961 0 -1 1077944384 17385 0 0 0 71 4 0 0 20 0 19 0 405004754 8262082560 30589 33554432000 4194304 4196468 140724931410640 140443766378400 140443794548437 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5276] ppid=5209 vsize=8068440 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/5274/task/5276/stat : 5276 (java) S 5209 5209 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405004755 8262082560 30589 33554432000 4194304 4196468 140724931410640 140443798780816 140443794548437 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5277] ppid=5209 vsize=8068440 memory=2304 CPUtime=0 cores=1,3,5,7
/proc/5274/task/5277/stat : 5277 (java) S 5209 5209 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405004755 8262082560 30589 33554432000 4194304 4196468 140724931410640 140443279739664 140443794548437 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5278] ppid=5209 vsize=8068440 memory=2304 CPUtime=0 cores=1,3,5,7
/proc/5274/task/5278/stat : 5278 (java) S 5209 5209 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405004755 8262082560 30589 33554432000 4194304 4196468 140724931410640 140443278687376 140443794548437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5279] ppid=5209 vsize=8068440 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/5274/task/5279/stat : 5279 (java) S 5209 5209 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405004755 8262082560 30589 33554432000 4194304 4196468 140724931410640 140443277634576 140443794548437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5280] ppid=5209 vsize=8068440 memory=2948 CPUtime=0 cores=1,3,5,7
/proc/5274/task/5280/stat : 5280 (java) S 5209 5209 3961 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 405004756 8262082560 30589 33554432000 4194304 4196468 140724931410640 140443106699376 140443794549378 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5281] ppid=5209 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/5274/task/5281/stat : 5281 (java) S 5209 5209 3961 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405004757 8262082560 30589 33554432000 4194304 4196468 140724931410640 140442611999520 140443794548437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5282] ppid=5209 vsize=8068440 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/5274/task/5282/stat : 5282 (java) S 5209 5209 3961 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405004757 8262082560 30589 33554432000 4194304 4196468 140724931410640 140442477778032 140443794548437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5283] ppid=5209 vsize=8068440 memory=2968 CPUtime=0 cores=1,3,5,7
/proc/5274/task/5283/stat : 5283 (java) S 5209 5209 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405004759 8262082560 30589 33554432000 4194304 4196468 140724931410640 140442103273552 140443794556827 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5284] ppid=5209 vsize=8068440 memory=1476 CPUtime=0.11 cores=1,3,5,7
/proc/5274/task/5284/stat : 5284 (java) S 5209 5209 3961 0 -1 1077944384 591 0 0 0 11 0 0 0 20 0 19 0 405004759 8262082560 30589 33554432000 4194304 4196468 140724931410640 140443105647216 140443794549378 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5285] ppid=5209 vsize=8068440 memory=121952 CPUtime=0.09 cores=1,3,5,7
/proc/5274/task/5285/stat : 5285 (java) S 5209 5209 3961 0 -1 1077944384 462 0 0 0 9 0 0 0 20 0 19 0 405004759 8262082560 30589 33554432000 4194304 4196468 140724931410640 140443104594416 140443794549378 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5286] ppid=5209 vsize=8068440 memory=1476 CPUtime=0.24 cores=1,3,5,7
/proc/5274/task/5286/stat : 5286 (java) S 5209 5209 3961 0 -1 1077944384 1087 0 0 0 24 0 0 0 20 0 19 0 405004759 8262082560 30589 33554432000 4194304 4196468 140724931410640 140443103542128 140443794549378 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5287] ppid=5209 vsize=8068440 memory=122356 CPUtime=0 cores=1,3,5,7
/proc/5274/task/5287/stat : 5287 (java) S 5209 5209 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405004759 8262082560 30589 33554432000 4194304 4196468 140724931410640 140441605368800 140443794548437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5288] ppid=5209 vsize=8068440 memory=39516 CPUtime=0 cores=1,3,5,7
/proc/5274/task/5288/stat : 5288 (java) S 5209 5209 3961 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405004760 8262082560 30589 33554432000 4194304 4196468 140724931410640 140443102489008 140443794549378 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5290] ppid=5209 vsize=8068440 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/5274/task/5290/stat : 5290 (java) S 5209 5209 3961 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405004826 8262082560 30589 33554432000 4194304 4196468 140724931410640 140443094455232 140443794562841 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5292] ppid=5209 vsize=8068440 memory=1096 CPUtime=0.04 cores=1,3,5,7
/proc/5274/task/5292/stat : 5292 (java) S 5209 5209 3961 0 -1 4202560 1693 0 0 0 3 1 0 0 20 0 19 0 405004827 8262082560 30589 33554432000 4194304 4196468 140724931410640 140441202699760 140443794560157 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5293] ppid=5209 vsize=8068440 memory=1192 CPUtime=0 cores=1,3,5,7
/proc/5274/task/5293/stat : 5293 (java) S 5209 5209 3961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405004827 8262082560 30589 33554432000 4194304 4196468 140724931410640 140440934268816 140443794560157 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5294] ppid=5209 vsize=8068440 memory=5932 CPUtime=0 cores=1,3,5,7
/proc/5274/task/5294/stat : 5294 (java) S 5209 5209 3961 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 405004829 8262082560 30589 33554432000 4194304 4196468 140724931410640 140441336929712 140443794548437 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
Current children cumulated CPU time: 48.64 s
Current children cumulated vsize: 8247776 KiB
Current children cumulated memory: 163348 KiB

[startup+41.3009 s]
/proc/loadavg: 1.61 1.18 1.26 3/237 5298
/proc/meminfo: memFree=23854628/32770624 swapFree=66901208/67108860
[pid=5209] ppid=5206 vsize=113128 memory=1476 CPUtime=11.38 cores=1,3,5,7
/proc/5209/stat : 5209 (scop.sh) S 5206 5209 3961 0 -1 4202496 582 30807 0 0 0 0 1110 28 20 0 1 0 405004305 115843072 369 33554432000 4194304 5098028 140721732133440 140721732130184 139753545896572 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35143680 140721732141923 140721732142192 140721732142192 140721732145101 0
/proc/5209/statm: 28282 369 311 221 0 87 0
[pid=5274] ppid=5209 vsize=7937364 memory=121508 CPUtime=37.42 cores=1,3,5,7
/proc/5274/stat : 5274 (java) S 5209 5209 3961 0 -1 1077944320 22908 26020 0 0 131 9 3599 3 20 0 17 0 405004753 8127860736 30377 33554432000 4194304 4196468 140724931410640 140724931393184 140443794538231 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
/proc/5274/statm: 1984341 30377 3214 1 0 1945685 0
[pid=5274/tid=5275] ppid=5209 vsize=7937364 memory=1476 CPUtime=36.82 cores=1,3,5,7
/proc/5274/task/5275/stat : 5275 (java) R 5209 5209 3961 0 -1 4202560 17540 26020 0 0 75 5 3599 3 20 0 17 0 405004754 8127860736 30377 33554432000 4194304 4196468 140724931410640 140443766375280 140443298691189 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5276] ppid=5209 vsize=7937364 memory=122356 CPUtime=36.02 cores=1,3,5,7
/proc/5274/task/5276/stat : 5276 (java) S 5209 5209 3961 0 -1 1077944384 1 26020 0 0 0 0 3599 3 20 0 17 0 405004755 8127860736 30889 33554432000 4194304 4196468 140724931410640 140443798780816 140443794548437 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5277] ppid=5209 vsize=7937364 memory=281280362313680 CPUtime=36.02 cores=1,3,5,7
/proc/5274/task/5277/stat : 5277 (java) S 5209 5209 3961 0 -1 1077944384 2 26020 0 0 0 0 3599 3 20 0 17 0 405004755 8127860736 30889 33554432000 4194304 4196468 140724931410640 140443279739664 140443794548437 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5278] ppid=5209 vsize=7937364 memory=281280361005296 CPUtime=36.02 cores=1,3,5,7
/proc/5274/task/5278/stat : 5278 (java) S 5209 5209 3961 0 -1 1077944384 2 26020 0 0 0 0 3599 3 20 0 17 0 405004755 8127860736 30889 33554432000 4194304 4196468 140724931410640 140443278687376 140443794548437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5279] ppid=5209 vsize=7937364 memory=1476 CPUtime=36.02 cores=1,3,5,7
/proc/5274/task/5279/stat : 5279 (java) S 5209 5209 3961 0 -1 1077944384 2 26020 0 0 0 0 3599 3 20 0 17 0 405004755 8127860736 30889 33554432000 4194304 4196468 140724931410640 140443277634576 140443794548437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5280] ppid=5209 vsize=7937364 memory=1476 CPUtime=36.02 cores=1,3,5,7
/proc/5274/task/5280/stat : 5280 (java) S 5209 5209 3961 0 -1 1077944384 6 26020 0 0 0 0 3599 3 20 0 17 0 405004756 8127860736 30889 33554432000 4194304 4196468 140724931410640 140443106699376 140443794549378 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5281] ppid=5209 vsize=7937364 memory=1476 CPUtime=36.02 cores=1,3,5,7
/proc/5274/task/5281/stat : 5281 (java) S 5209 5209 3961 0 -1 1077944384 13 26020 0 0 0 0 3599 3 20 0 17 0 405004757 8127860736 30889 33554432000 4194304 4196468 140724931410640 140442611999520 140443794548437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5282] ppid=5209 vsize=7937364 memory=119532 CPUtime=36.02 cores=1,3,5,7
/proc/5274/task/5282/stat : 5282 (java) S 5209 5209 3961 0 -1 1077944384 21 26020 0 0 0 0 3599 3 20 0 17 0 405004757 8127860736 30889 33554432000 4194304 4196468 140724931410640 140442477778032 140443794548437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5283] ppid=5209 vsize=7937364 memory=1268 CPUtime=36.02 cores=1,3,5,7
/proc/5274/task/5283/stat : 5283 (java) S 5209 5209 3961 0 -1 1077944384 3 26020 0 0 0 0 3599 3 20 0 17 0 405004759 8127860736 30889 33554432000 4194304 4196468 140724931410640 140442103273552 140443794556827 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5284] ppid=5209 vsize=7937364 memory=10728 CPUtime=36.14 cores=1,3,5,7
/proc/5274/task/5284/stat : 5284 (java) S 5209 5209 3961 0 -1 1077944384 602 26020 0 0 12 0 3599 3 20 0 17 0 405004759 8127860736 30889 33554432000 4194304 4196468 140724931410640 140443105647216 140443794549378 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5285] ppid=5209 vsize=7937364 memory=1476 CPUtime=36.12 cores=1,3,5,7
/proc/5274/task/5285/stat : 5285 (java) S 5209 5209 3961 0 -1 1077944384 469 26020 0 0 10 0 3599 3 20 0 17 0 405004759 8127860736 30889 33554432000 4194304 4196468 140724931410640 140443104594416 140443794549378 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5286] ppid=5209 vsize=7937364 memory=119532 CPUtime=36.28 cores=1,3,5,7
/proc/5274/task/5286/stat : 5286 (java) R 5209 5209 3961 0 -1 4202560 1150 26020 0 0 26 0 3599 3 20 0 17 0 405004759 8127860736 30889 33554432000 4194304 4196468 140724931410640 140443103542128 140443773070604 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5287] ppid=5209 vsize=7937364 memory=122356 CPUtime=36.02 cores=1,3,5,7
/proc/5274/task/5287/stat : 5287 (java) S 5209 5209 3961 0 -1 1077944384 3 26020 0 0 0 0 3599 3 20 0 17 0 405004759 8127860736 30889 33554432000 4194304 4196468 140724931410640 140441605368800 140443794548437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5288] ppid=5209 vsize=7937364 memory=1476 CPUtime=36.02 cores=1,3,5,7
/proc/5274/task/5288/stat : 5288 (java) S 5209 5209 3961 0 -1 1077944384 5 26020 0 0 0 0 3599 3 20 0 17 0 405004760 8127860736 30889 33554432000 4194304 4196468 140724931410640 140443102489008 140443794549378 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5290] ppid=5209 vsize=7937364 memory=33200 CPUtime=36.02 cores=1,3,5,7
/proc/5274/task/5290/stat : 5290 (java) S 5209 5209 3961 0 -1 1077944384 26 26020 0 0 0 0 3599 3 20 0 17 0 405004826 8127860736 30889 33554432000 4194304 4196468 140724931410640 140443094454416 140443794549378 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
[pid=5274/tid=5294] ppid=5209 vsize=7937364 memory=1476 CPUtime=36.02 cores=1,3,5,7
/proc/5274/task/5294/stat : 5294 (java) S 5209 5209 3961 0 -1 1077944384 32 26020 0 0 0 0 3599 3 20 0 17 0 405004829 8127860736 30889 33554432000 4194304 4196468 140724931410640 140441336931504 140443794549378 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23748608 140724931412988 140724931413146 140724931413146 140724931416015 0
Current children cumulated CPU time: 48.8 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 122984 KiB

Child status: 0
Real time (s): 41.3468
CPU time (s): 48.9173
CPU user time (s): 48.4886
CPU system time (s): 0.42866
CPU usage (%): 118.31
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 920108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.4886
system time used= 0.42866
maximum resident set size= 924040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80505
page faults= 0
swaps= 0
block input operations= 1800
block output operations= 840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6290
involuntary context switches= 120


# summary of solver processes directly reported to runsolver:
#   pid: 5209
#   total CPU time (s): 48.9173
#   total CPU user time (s): 48.4886
#   total CPU system time (s): 0.42866

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.366657 second user time and 0.433067 second system time

The end

Launcher Data 

Begin job on node139 at 2019-09-12 13:24:28
IDJOB=4387651
IDBENCH=121710
IDSOLVER=2826
FILE ID=node139/4387651-1568287368
RUNJOBID= node139-1568287468-5190
PBS_JOBID= 21701070
Free space on /tmp= 53144 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/Random/Random-D-t035/rand-2-40-16-250-035-86.xml
COMMAND LINE= DIR/scop.sh 11g DIR/scop.jar -hybrid DIR/cryptominisat5 default TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4387651-1568287368/watcher-4387651-1568287368 -o /tmp/evaluation-result-4387651-1568287368/solver-4387651-1568287368 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568287468-5190 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387651-1568287368.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 95e1ba6edeec6aa2d568f833deab6719
RANDOM SEED=1226192243

node139.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24174924 kB
MemAvailable:   31758688 kB
Buffers:           84996 kB
Cached:          7680328 kB
SwapCached:       105720 kB
Active:           773452 kB
Inactive:        7099752 kB
Active(anon):       3184 kB
Inactive(anon):   145700 kB
Active(file):     770268 kB
Inactive(file):  6954052 kB
Unevictable:      108300 kB
Mlocked:          108300 kB
SwapTotal:      67108860 kB
SwapFree:       66901208 kB
Dirty:             40848 kB
Writeback:             0 kB
AnonPages:        112688 kB
Mapped:            41980 kB
Shmem:             32148 kB
Slab:             316868 kB
SReclaimable:     287904 kB
SUnreclaim:        28964 kB
KernelStack:        3376 kB
PageTables:         5232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     492072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 53104 MiB
End job on node139 at 2019-09-12 13:25:10