Trace number 4387663

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 104.891 92.5475

General information on the benchmark

NameRandom/Random-D-t050/
rand-2-40-25-180-050-34.xml
MD5SUM2b23d7f384de8bee09908163d3005f80
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.27106
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints180
Number of domains1
Minimum domain size25
Maximum domain size25
Distribution of domain sizes[{"size":25,"count":40}]
Minimum variable degree4
Maximum variable degree14
Distribution of variable degrees[{"degree":4,"count":1},{"degree":5,"count":2},{"degree":6,"count":3},{"degree":7,"count":1},{"degree":8,"count":9},{"degree":9,"count":10},{"degree":10,"count":6},{"degree":11,"count":3},{"degree":13,"count":4},{"degree":14,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":180}]
Number of extensional constraints180
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":180}]
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-14961-serial-file.bin HOME/instance-4387663-1568287511.xml
0.65/0.53	
0.65/0.53	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.65/0.53	
0.65/0.55	c BEGIN-Prog: Thu Sep 12 13:24:32 CEST 2019
0.65/0.55	c PID: 14964
0.65/0.55	c IP: 172.20.3.151
0.65/0.55	c HOST: node151.alineos.net
0.65/0.56	c (0,0) Parsing Begin
2.37/1.13	c (0,0) Parsing End
2.37/1.13	c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 180 ctr, max domain size 25
2.37/1.13	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.37/1.13	c (0,0) Constraint Name Generate Begin
2.37/1.14	c (0,0) Ctr:HOME/instance-4387663-1568287511.xml,ExtensionConflict:ExtensionSupport:Var
2.37/1.14	c (0,0) Constraint Name Generate End
2.37/1.14	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.37/1.14	c (0,0) CSP to CSPinCNF Begin
4.94/2.07	c (1,1) translated 18 (10%) constraints
6.12/2.42	c (1,1) translated 36 (20%) constraints
7.02/2.72	c (2,2) translated 54 (30%) constraints
7.96/3.01	c (2,2) translated 72 (40%) constraints
8.85/3.31	c (2,2) translated 90 (50%) constraints
9.75/3.66	c (3,3) translated 108 (60%) constraints
10.66/3.90	c (3,3) translated 126 (70%) constraints
11.30/4.14	c (3,3) translated 144 (80%) constraints
12.17/4.42	c (3,3) translated 162 (90%) constraints
12.77/4.69	c (4,4) translated 180 (100%) constraints
13.07/4.70	c (4,4) ===========================================
13.07/4.74	c (4,4) Hybrid: #OE=2090, #LE=0
13.07/4.74	c (4,4) Hybrid
13.07/4.74	c (4,4) ===========================================
13.40/4.87	c (4,4) translated 4470 (10%) constraints
13.70/4.99	c (4,4) translated 8940 (20%) constraints
14.32/5.11	c (4,4) translated 13410 (30%) constraints
14.54/5.22	c (4,4) translated 17880 (40%) constraints
14.84/5.33	c (4,4) translated 22349 (50%) constraints
15.05/5.41	c (4,4) translated 26819 (60%) constraints
15.25/5.52	c (4,4) translated 31289 (70%) constraints
15.37/5.62	c (5,5) translated 35759 (80%) constraints
15.51/5.72	c (5,5) translated 40229 (90%) constraints
15.70/5.82	c (5,5) translated 44698 (100%) constraints
15.70/5.82	c (5,5) CSP to CSPinCNF End
15.70/5.82	c (5,5) CSP: 40 int (0 aux), 2050 bool (2050 aux), 44698 ctr, max domain size 25
15.70/5.82	c (5,5) Heap : 1464 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.70/5.82	c (5,5) CSPinCNF Propagation Begin
16.58/6.14	c (5,5) 0 values, 1915 unsatisfiable literals, and 0 valid clauses are removed
16.58/6.14	c (5,5) CSPinCNF Propagation End
16.58/6.14	c (5,5) CSP: 40 int (0 aux), 2050 bool (2050 aux), 44698 ctr, max domain size 25
16.58/6.14	c (5,5) Heap : 1689 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.58/6.17	c (5,5) Hybrid: #OE=2090, #LE=0
16.58/6.17	c (5,5) Simplify CSPinCNF Begin
16.82/6.29	c (5,5) Simplify CSPinCNF End
16.82/6.29	c (5,5) CSP: 40 int (0 aux), 2050 bool (2050 aux), 44698 ctr, max domain size 25
16.82/6.29	c (5,5) Heap : 1746 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.82/6.29	c (5,5) Calculate Precise Domain Begin
16.82/6.30	c (5,5) 0 values are removed by re-calculation
16.82/6.30	c (5,5) Calculate Precise Domain End
17.03/6.30	c (5,5) CSP: 40 int (0 aux), 2050 bool (2050 aux), 44698 ctr, max domain size 25
17.03/6.30	c (5,5) Heap : 1746 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
17.03/6.30	c (5,5) CSPinCNF to SatSolver Begin
17.63/6.53	c (5,5) 4470 (10 %) CSP clauses are encoded (0 SAT variables, 5389 SAT clauses)
17.92/6.62	c (6,6) 8940 (20 %) CSP clauses are encoded (0 SAT variables, 9859 SAT clauses)
17.92/6.68	c (6,6) 13410 (30 %) CSP clauses are encoded (0 SAT variables, 14329 SAT clauses)
18.20/6.73	c (6,6) 17880 (40 %) CSP clauses are encoded (0 SAT variables, 18799 SAT clauses)
18.20/6.78	c (6,6) 22349 (50 %) CSP clauses are encoded (0 SAT variables, 23268 SAT clauses)
18.32/6.83	c (6,6) 26819 (60 %) CSP clauses are encoded (0 SAT variables, 27738 SAT clauses)
18.32/6.88	c (6,6) 31289 (70 %) CSP clauses are encoded (0 SAT variables, 32208 SAT clauses)
18.43/6.93	c (6,6) 35759 (80 %) CSP clauses are encoded (0 SAT variables, 36678 SAT clauses)
18.43/6.98	c (6,6) 40229 (90 %) CSP clauses are encoded (0 SAT variables, 41148 SAT clauses)
18.54/7.03	c (6,6) 44698 (100 %) CSP clauses are encoded (0 SAT variables, 45617 SAT clauses)
18.54/7.03	c (6,6) CSPinCNF to SatSolver End
18.54/7.03	c (6,6) Heap : 2084 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
18.54/7.03	c (6,6) 3010 bool, 45618 clause
18.54/7.03	c (6,6) Export Begin
18.70/7.12	c (6,6) Export to HOME/scop-14961-serial-file.bin
18.70/7.12	c (6,6) Export End
18.70/7.12	c (6,6) Export File Size: 0.01 MB
18.70/7.12	c (6,6) 0,0,5,5,5,5,6,STOP-AFTER(DIMACS)
18.70/7.12	c END-Prog: Thu Sep 12 13:24:39 CEST 2019
18.70/7.13	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-14961-serial-file.bin
18.74/7.58	c (0,0) Read Serial File Begin
18.74/7.58	c (0,0) HOME/scop-14961-serial-file.bin
18.74/7.79	c (0,0) Read Serial File End
18.74/7.80	
18.74/7.80	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
18.74/7.80	(Solving Process)
18.74/7.80	
18.74/7.82	c BEGIN-Prog: Thu Sep 12 13:24:40 CEST 2019
18.74/7.82	c PID: 14979
18.74/7.82	c IP: 172.20.3.151
18.74/7.82	c HOST: node151.alineos.net
18.74/7.83	c (0,0) SatSolver.solve Begin
18.74/7.83	c (0,0) HOME/cryptominisat5  HOME/instance-4387663-1568287511.xml-scop-14964.cnf
18.74/7.86	c (0,0) c Outputting solution to console
18.74/7.86	c (0,0) c CryptoMiniSat version 5.6.8
18.74/7.86	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
18.74/7.86	c (0,0) c CMS SHA revision GIT-notfound
18.74/7.86	c (0,0) c CMS is MIT licensed
18.74/7.86	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
18.74/7.86	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
18.74/7.86	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387663-1568287511.xml-scop-14964.cnf
18.74/7.86	c (0,0) c Reading file 'HOME/instance-4387663-1568287511.xml-scop-14964.cnf'
18.74/7.86	c (0,0) c -- header says num vars:           3010
18.74/7.86	c (0,0) c -- header says num clauses:       45618
18.74/7.87	c (0,0) c -- clauses added: 45618
18.74/7.87	c (0,0) c -- xor clauses added: 0
18.74/7.87	c (0,0) c -- vars added 3010
18.74/7.87	c (0,0) c Parsing time: 0.02 s
18.74/7.88	c (0,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
18.74/7.88	c (0,0) c [distill] long cls tried: 9/9 cl-short:9 lit-r:5 T: 0.00 T-out: N T-r: 100.00%
20.13/8.12	c (0,0) c [distill] long cls tried: 239/248 cl-short:239 lit-r:134 T: 0.01 T-out: N T-r: 99.90%
20.42/8.46	c (0,0) c [distill] long cls tried: 309/554 cl-short:309 lit-r:156 T: 0.02 T-out: N T-r: 99.86%
20.52/8.50	c (0,0) c   glue     1    32  8193    3010   40K  5372    3.35    3.20   599  2681  4907     8   15.55   15.54
20.92/8.96	c (1,0) c [distill] long cls tried: 1726/2277 cl-short:1726 lit-r:1620 T: 0.14 T-out: N T-r: 98.89%
21.32/9.30	c (1,0) c   geom     1    59 16386    3010   40K  5372    3.35    3.20  2594  5662  8117    15   15.65   15.64
21.42/9.48	c (1,0) c [distill] long cls tried: 426/2697 cl-short:426 lit-r:323 T: 0.04 T-out: N T-r: 99.72%
22.05/10.09	c (2,0) c   glue     1    77   24K    3010   40K  5372    3.35    3.20  4621  6799 13133    28   15.46   15.44
22.34/10.34	c (2,0) c [distill] long cls tried: 1939/4635 cl-short:1939 lit-r:2032 T: 0.22 T-out: N T-r: 96.74%
23.14/11.14	c (3,0) c   glue     1    91   32K    3010   40K  5372    3.35    3.20  6951  9849 15078    35   15.65   15.64
23.53/11.51	c (3,0) c [distill] long cls tried: 2331/6962 cl-short:2331 lit-r:2742 T: 0.34 T-out: N T-r: 95.26%
24.43/12.41	c (4,0) c   glue     1   112   40K    3010   40K  5372    3.35    3.20  8999  8090   22K    43   15.68   15.66
24.93/12.99	c (5,0) c [distill] long cls tried: 2161/9122 cl-short:2161 lit-r:2312 T: 0.36 T-out: N T-r: 95.23%
25.73/13.75	c (6,0) c   glue     1   131   49K    3010   40K  5372    3.35    3.20  9577 12640   22K    44   15.53   15.51
27.04/15.07	c (7,0) c [distill] long cls tried: 2288/11408 cl-short:2288 lit-r:2691 T: 0.50 T-out: N T-r: 93.99%
27.34/15.31	c (7,0) c   geom     1   147   57K    3010   40K  5372    3.35    3.20 11522 11324   30K    49   15.63   15.62
28.33/16.39	c (8,0) c   glue     1   165   65K    3010   40K  5372    3.35    3.20 13705 11238   29K    51   15.24   15.22
28.93/16.97	c (9,0) c recursive minimization cost OK: 188Kcost/(% lits removed)
28.93/16.97	c (9,0) c more minimization effectiveness low: 0.00 % lits removed --> disabling
28.93/16.97	c (9,0) c --> Executing strategy token: handle-comps
28.93/16.97	c (9,0) c --> Executing strategy token: scc-vrepl
28.93/16.97	c (9,0) c [scc] new: 0 BP 0M T: 0.00
28.93/16.97	c (9,0) c --> Executing strategy token: cache-clean
28.93/16.97	c (9,0) c --> Executing strategy token: cache-tryboth
28.93/16.97	c (9,0) c --> Executing strategy token: sub-impl
28.93/16.97	c (9,0) c [impl sub] bin: 8 T: 0.00 T-out: N w-visit: 6020
28.93/16.98	c (9,0) c --> Executing strategy token: intree-probe
28.93/16.98	c (9,0) c [scc] new: 0 BP 0M T: 0.00
28.93/16.99	c (9,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 0M T: 0.01
29.04/17.03	c (9,0) c [intree] Set 0 vars hyper-added: 175 trans-irred::0 trans-red::7 T: 0.03 T-out: N T-r: 99.79%
29.14/17.12	c (9,0) c --> Executing strategy token: probe
29.14/17.12	c (9,0) c --> Executing strategy token: sub-str-cls-with-bin
29.14/17.12	c (9,0) c [distill] cache-based irred--  cl tried    80396 cl-sh    33 cl-rem   96 lit-rem     33 T: 0.05 T-out: N
29.14/17.12	c (9,0) c [distill] cache-based   red--  cl tried    27908 cl-sh  1033 cl-rem    2 lit-rem   1213 T: 0.04 T-out: N
29.93/17.91	c (10,0) c --> Executing strategy token: distill-cls
29.93/17.91	c (10,0) c [distill] long cls tried: 8771/40141 cl-short:838 lit-r:672 T: 0.79 T-out: Y T-r: -0.06%
29.93/17.91	c (10,0) c [distill] long useful: 1676/17542/80284 lits-rem: 1344 0-depth-assigns: 0 T: 1.58 T-out: Y
29.93/17.91	c (10,0) c --> Executing strategy token: scc-vrepl
29.93/17.91	c (10,0) c [scc] new: 0 BP 0M T: 0.00
29.93/17.92	c (10,0) c --> Executing strategy token: sub-impl
29.93/17.92	c (10,0) c [impl sub] bin: 0 T: 0.00 T-out: N w-visit: 6020
29.93/17.92	c (10,0) c --> Executing strategy token: str-impl
29.93/17.92	c (10,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.92% w-visit: 6020
29.93/17.92	c (10,0) c --> Executing strategy token: sub-impl
29.93/17.92	c (10,0) c [impl sub] bin: 0 T: 0.01 T-out: N w-visit: 6020
29.93/17.93	c (10,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
29.93/17.93	c (10,0) c [occ] mem usage for occur      4 MB
29.93/17.94	c (10,0) c [occ] mem usage for occur      2 MB
29.93/17.97	c (10,0) c Mem for watch alloc      : 7           MB (37.20     %)
29.93/17.97	c (10,0) c Mem for watch array      : 0           MB (0.66      %)
29.93/17.98	c (10,0) c --> Executing OCC strategy token: occ-backw-sub-str
29.93/17.98	c (10,0) c [occ-backw-sub-str-long-w-bins] subs: 0 str: 1 tried: 11186 0-depth ass: 0 T: 0.01 T-out: N T-r: 99.55%
30.06/18.06	c (10,0) c [occ-sub-long-w-long] rem cl: 205 tried: 198558/99279 (200.0%) T: 0.08 T-out: N T-r: 84.08%
30.25/18.21	c (10,0) c [occ-sub-str-long-w-long] sub: 3 str: 323 tried: 297837/99279 (300.0)  T: 0.15 T-out: N T-r: 84.45%
30.25/18.21	c (10,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%
30.25/18.21	c (10,0) c --> Executing OCC strategy token: occ-clean-implicit
30.25/18.21	c (10,0) c --> Executing OCC strategy token: occ-bve
30.25/18.21	c (10,0) c [occ-empty-res] Empty resolvent elimed: 0 T: 0.00 T-out: N
30.25/18.27	c (10,0) c [occ-bve] iter v-elim 1
30.25/18.27	c (10,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=0)
30.25/18.27	c (10,0) c Reduced to 3009 vars, 45603 cls (grow=0)
30.35/18.34	c (10,0) c [occ-bve] iter v-elim 42
30.35/18.34	c (10,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=8)
30.35/18.34	c (10,0) c Reduced to 2967 vars, 45795 cls (grow=8)
30.35/18.34	c (10,0) c x n vars       : 2967
30.35/18.34	c (10,0) c  #try to eliminate:   6393
30.35/18.34	c (10,0) c  #var-elim        :     43
30.35/18.34	c (10,0) c  #T-o: N
30.35/18.34	c (10,0) c  #T-r: 99.99%
30.35/18.34	c (10,0) c  #T  : 0.13
30.35/18.34	c (10,0) c [occur] 0.04 is overhead
30.35/18.34	c (10,0) c [occur] link-in T: 0.04 cleanup T: 0.00
30.35/18.34	c (10,0) c --> Executing OCC strategy token: occ-bva
30.35/18.34	c (10,0) c [occ-bva] global numcalls: 0
30.35/18.35	c (10,0) c --> Executing OCC strategy token: occ-ternary-res
30.35/18.35	c (10,0) c --> Executing OCC strategy token: occ-xor
30.35/18.35	c (10,0) c [occ-xor] sort occur list T: 0.01
30.45/18.42	c (10,0) c [occ-xor] found      0 T: 0.07 T-out: N T-r: 98.52%
30.45/18.42	c (10,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
30.45/18.43	c (10,0) c --> Executing strategy token: cl-consolidate
30.45/18.43	c (10,0) c Not consolidating memory.
30.45/18.44	c (10,0) c --> Executing strategy token: str-impl
30.45/18.44	c (10,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.92% w-visit: 6020
30.55/18.54	c (11,0) c --> Executing strategy token: cache-clean
30.55/18.54	c (11,0) c --> Executing strategy token: sub-str-cls-with-bin
30.55/18.54	c (11,0) c [distill] cache-based irred--  cl tried    80760 cl-sh     0 cl-rem   36 lit-rem      0 T: 0.05 T-out: N
30.55/18.54	c (11,0) c [distill] cache-based   red--  cl tried    29739 cl-sh   391 cl-rem    1 lit-rem    520 T: 0.05 T-out: N
31.27/19.29	c (11,0) c --> Executing strategy token: distill-cls
31.27/19.29	c (11,0) c [distill] long cls tried: 9743/40277 cl-short:1028 lit-r:494 T: 0.75 T-out: Y T-r: -0.02%
31.27/19.29	c (11,0) c [distill] long useful: 2056/19486/80724 lits-rem: 988 0-depth-assigns: 0 T: 1.50 T-out: Y
31.27/19.29	c (11,0) c --> Executing strategy token: scc-vrepl
31.27/19.29	c (11,0) c [scc] new: 0 BP 0M T: 0.00
31.27/19.29	c (11,0) c --> Executing strategy token: check-cache-size
31.27/19.29	c (11,0) c --> Executing strategy token: renumber
31.27/19.29	c (11,0) c --> Executing strategy token: sls
31.27/19.29	c (11,0) c [consolidate] mini T: 0.00
31.27/19.29	c (11,0) c global_timeout_multiplier: 4.40
31.27/19.29	c (11,0) c clause size stats. size3: 27829 size4: 12371 size5: 34 larger: 43
32.67/20.66	c (13,0) c [distill] long cls tried: 4403/14874 cl-short:4392 lit-r:4222 T: 1.35 T-out: N T-r: 83.44%
33.18/21.18	c (13,0) c   luby     0   196   73K    2967   40K  5483    3.33    3.17 15044 10095   33K   124   14.59   14.56
34.36/22.33	c (14,0) c   luby     0   228   81K    2967   40K  5483    3.33    3.17 16669  9027   34K   124   13.72   13.69
35.96/23.91	c (16,0) c [distill] long cls tried: 2034/16904 cl-short:2033 lit-r:1782 T: 0.45 T-out: N T-r: 94.26%
36.07/24.04	c (16,0) c   luby     0   246   90K    2967   40K  5483    3.33    3.17 18376 10172   29K   129   12.64   12.61
37.26/25.26	c (17,0) c   luby     0   278   98K    2967   40K  5483    3.33    3.17 18703 12574   35K   130   12.80   12.78
38.47/26.43	c (18,0) c   luby     0   303  106K    2967   40K  5483    3.33    3.17   20K 12936   32K   130   12.45   12.43
39.67/27.67	c (20,0) c   luby     0   304  114K    2967   40K  5483    3.33    3.17   21K 11030   41K   130   12.93   12.91
40.87/28.81	c (21,0) c [distill] long cls tried: 4725/20959 cl-short:4722 lit-r:7880 T: 1.07 T-out: N T-r: 85.09%
41.97/29.96	c (22,0) c   luby     0   335  122K    2967   40K  5483    3.33    3.17   22K 11441   35K   801   12.71   12.58
43.19/31.20	c (23,0) c   luby     0   366  131K    2967   40K  5483    3.33    3.17   24K  8795   44K   802   12.90   12.78
44.38/32.36	c (24,0) c   luby     0   393  139K    2967   40K  5483    3.33    3.17   24K 13295   38K   803   12.62   12.51
45.98/33.93	c (26,0) c [distill] long cls tried: 4761/25319 cl-short:4759 lit-r:7089 T: 1.10 T-out: N T-r: 86.20%
46.68/34.67	c (27,0) c   luby     0   425  147K    2967   40K  5483    3.33    3.17   25K 11697   46K  1204   12.80   12.64
47.88/35.85	c (28,0) c   luby     0   431  155K    2967   40K  5483    3.33    3.17   26K 11905   38K  1206   12.33   12.18
49.19/37.13	c (29,0) c   luby     0   432  163K    2967   40K  5483    3.33    3.17   28K 10135   47K  1209   12.63   12.48
49.77/37.76	c (30,0) c recursive minimization cost OK: 250Kcost/(% lits removed)
49.77/37.76	c (30,0) c --> Executing strategy token: handle-comps
49.77/37.76	c (30,0) c --> Executing strategy token: scc-vrepl
49.77/37.76	c (30,0) c [scc] new: 2 BP 0M T: 0.00
49.77/37.77	c (30,0) c [vrep] vars 2 lits 11616 rem-bin-cls 945 rem-long-cls 7381 BP 0M T: 0.02
49.77/37.78	c (30,0) c --> Executing strategy token: cache-clean
49.77/37.78	c (30,0) c --> Executing strategy token: cache-tryboth
49.77/37.78	c (30,0) c --> Executing strategy token: sub-impl
49.77/37.78	c (30,0) c [impl sub] bin: 134 T: 0.01 T-out: N w-visit: 6020
49.77/37.79	c (30,0) c --> Executing strategy token: intree-probe
49.77/37.79	c (30,0) c [scc] new: 0 BP 0M T: 0.00
49.88/37.80	c (30,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 0M T: 0.01
49.88/37.84	c (30,0) c [intree] Set 0 vars hyper-added: 1 trans-irred::119 trans-red::1 T: 0.03 T-out: N T-r: 99.81%
49.98/37.99	c (30,0) c --> Executing strategy token: probe
49.98/37.99	c (30,0) c --> Executing strategy token: sub-str-cls-with-bin
49.98/37.99	c (30,0) c [distill] cache-based irred--  cl tried    80339 cl-sh     1 cl-rem    3 lit-rem      1 T: 0.05 T-out: N
49.98/37.99	c (30,0) c [distill] cache-based   red--  cl tried    47630 cl-sh   878 cl-rem  502 lit-rem   1023 T: 0.09 T-out: Y
50.88/38.80	c (31,0) c --> Executing strategy token: distill-cls
50.88/38.80	c (31,0) c [distill] long cls tried: 9016/40090 cl-short:1388 lit-r:572 T: 0.82 T-out: Y T-r: -0.01%
50.88/38.80	c (31,0) c [distill] long useful: 2776/18032/80336 lits-rem: 1144 0-depth-assigns: 0 T: 1.63 T-out: Y
50.88/38.81	c (31,0) c --> Executing strategy token: scc-vrepl
50.88/38.81	c (31,0) c [scc] new: 0 BP 0M T: 0.00
50.88/38.81	c (31,0) c --> Executing strategy token: sub-impl
50.88/38.81	c (31,0) c [impl sub] bin: 1 T: 0.00 T-out: N w-visit: 6020
50.88/38.81	c (31,0) c --> Executing strategy token: str-impl
50.88/38.81	c (31,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.92% w-visit: 6020
50.88/38.82	c (31,0) c --> Executing strategy token: sub-impl
50.88/38.82	c (31,0) c [impl sub] bin: 0 T: 0.00 T-out: N w-visit: 6020
50.88/38.82	c (31,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
50.88/38.82	c (31,0) c [occ] mem usage for occur      4 MB
50.88/38.83	c (31,0) c [occ] mem usage for occur      5 MB
50.88/38.86	c (31,0) c Mem for watch alloc      : 12          MB (23.86     %)
50.88/38.86	c (31,0) c Mem for watch array      : 0           MB (0.27      %)
50.88/38.88	c (31,0) c --> Executing OCC strategy token: occ-backw-sub-str
50.88/38.88	c (31,0) c [occ-backw-sub-str-long-w-bins] subs: 5 str: 423 tried: 25080 0-depth ass: 0 T: 0.01 T-out: N T-r: 99.46%
50.98/39.00	c (31,0) c [occ-sub-long-w-long] rem cl: 434 tried: 223000/111500 (200.0%) T: 0.12 T-out: N T-r: 73.55%
51.28/39.23	c (31,0) c [occ-sub-str-long-w-long] sub: 0 str: 215 tried: 334500/111500 (300.0)  T: 0.23 T-out: N T-r: 78.34%
51.28/39.23	c (31,0) c [occ-sub-str-w-added-long]  sub: 0 str: 0 0-depth ass: 0 T: 0.00 T-out: N T-r: 100.00%
51.28/39.24	c (31,0) c --> Executing OCC strategy token: occ-clean-implicit
51.28/39.24	c (31,0) c --> Executing OCC strategy token: occ-bve
51.28/39.24	c (31,0) c [occ-empty-res] Empty resolvent elimed: 0 T: 0.00 T-out: N
51.28/39.29	c (31,0) c [occ-bve] iter v-elim 3
51.28/39.29	c (31,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=0)
51.28/39.29	c (31,0) c Reduced to 2962 vars, 45522 cls (grow=0)
51.48/39.43	c (31,0) c [occ-bve] iter v-elim 53
51.48/39.43	c (31,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=8)
51.48/39.43	c (31,0) c Reduced to 2909 vars, 45808 cls (grow=8)
51.48/39.43	c (31,0) c x n vars       : 2909
51.48/39.43	c (31,0) c  #try to eliminate:   6313
51.48/39.43	c (31,0) c  #var-elim        :     56
51.48/39.43	c (31,0) c  #T-o: N
51.48/39.43	c (31,0) c  #T-r: 99.98%
51.48/39.43	c (31,0) c  #T  : 0.19
51.48/39.43	c (31,0) c [occur] 0.04 is overhead
51.48/39.43	c (31,0) c [occur] link-in T: 0.04 cleanup T: 0.00
51.48/39.43	c (31,0) c --> Executing OCC strategy token: occ-bva
51.48/39.43	c (31,0) c [occ-bva] global numcalls: 1
51.48/39.44	c (31,0) c --> Executing OCC strategy token: occ-ternary-res
51.48/39.44	c (31,0) c --> Executing OCC strategy token: occ-xor
51.48/39.44	c (31,0) c [occ-xor] sort occur list T: 0.01
51.58/39.53	c (32,0) c [occ-xor] found      0 T: 0.10 T-out: N T-r: 98.07%
51.58/39.53	c (32,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
51.58/39.55	c (32,0) c --> Executing strategy token: cl-consolidate
51.58/39.56	c (32,0) c Not consolidating memory.
51.58/39.56	c (32,0) c --> Executing strategy token: str-impl
51.58/39.56	c (32,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.92% w-visit: 6020
51.70/39.70	c (32,0) c --> Executing strategy token: cache-clean
51.70/39.70	c (32,0) c --> Executing strategy token: sub-str-cls-with-bin
51.70/39.70	c (32,0) c [distill] cache-based irred--  cl tried    80839 cl-sh     0 cl-rem   71 lit-rem      0 T: 0.05 T-out: N
51.70/39.70	c (32,0) c [distill] cache-based   red--  cl tried    49834 cl-sh   208 cl-rem  172 lit-rem    266 T: 0.09 T-out: Y
52.60/40.50	c (32,0) c --> Executing strategy token: distill-cls
52.60/40.50	c (32,0) c [distill] long cls tried: 9951/40074 cl-short:1701 lit-r:878 T: 0.80 T-out: Y T-r: -0.01%
52.60/40.50	c (32,0) c [distill] long useful: 3402/19902/80768 lits-rem: 1756 0-depth-assigns: 0 T: 1.61 T-out: Y
52.60/40.50	c (32,0) c --> Executing strategy token: scc-vrepl
52.60/40.50	c (32,0) c [scc] new: 0 BP 0M T: 0.00
52.60/40.50	c (32,0) c --> Executing strategy token: check-cache-size
52.60/40.50	c (32,0) c --> Executing strategy token: renumber
52.60/40.50	c (32,0) c --> Executing strategy token: sls
52.60/40.50	c (32,0) c [consolidate] mini T: 0.00
52.60/40.50	c (32,0) c global_timeout_multiplier: 4.84
52.60/40.51	c (33,0) c [features] numVars 2909, numClauses 45737, var_cl_ratio 0.06, binary 0.12, horn 0.40, 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 1.23, vcg_var_min 0.00, vcg_var_max 0.01, vcg_var_spread 0.01, vcg_cls_mean 0.00, vcg_cls_std 0.21, vcg_cls_min 0.00, vcg_cls_max 0.01, vcg_cls_spread 0.01, pnr_var_mean 0.53, pnr_var_std 0.30, pnr_var_min 0.00, pnr_var_max 1.00, pnr_var_spread 1.00, pnr_cls_mean 0.52, pnr_cls_std 0.34, pnr_cls_min 0.00, pnr_cls_max 1.00, pnr_cls_spread 1.00, avg_confl_size 15.63, confl_size_min 2.00, confl_size_max 94.00, avg_confl_glue 7.87, confl_glue_min 2.00, confl_glue_max 22.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 9.89, branch_depth_min 2.00, branch_depth_max 23.00, avg_trail_depth_delta 392.02, trail_depth_delta_min 2.00, trail_depth_delta_max 1826.00, avg_branch_depth_delta 1.27, props_per_confl 0.00, confl_per_restart 388.89, decisions_per_conflict 1.37, irred_cl_distrib.glue_distr_mean 997.93, irred_cl_distrib.glue_distr_var 2055.54, irred_cl_distrib.size_distr_mean 3.31, irred_cl_distrib.size_distr_var 0.32, 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 84397358.72, red_cl_distrib.glue_distr_mean 2.83, red_cl_distrib.glue_distr_var 0.17, red_cl_distrib.size_distr_mean 6.16, red_cl_distrib.size_distr_var 5.44, red_cl_distrib.uip_use_distr_mean 0, red_cl_distrib.uip_use_distr_var 0, red_cl_distrib.activity_distr_mean 20517.05, red_cl_distrib.activity_distr_var 14638445820.91, num_gates_found_last 0, num_xors_found_last 0
52.60/40.51	c (33,0) c clause size stats. size3: 27736 size4: 12285 size5: 39 larger: 14
53.21/41.14	c (33,0) c   luby     0   454  172K    2909   40K  5663    3.31    3.15   27K 11769   29K   136   11.65   11.63
54.80/42.77	c (35,0) c [distill] long cls tried: 4475/27007 cl-short:4469 lit-r:5585 T: 1.28 T-out: N T-r: 85.02%
55.71/43.66	c (36,0) c   luby     0   486  180K    2909   40K  5663    3.31    3.15   28K 12880   26K   418   11.20   11.15
56.81/44.77	c (37,0) c   luby     0   503  188K    2908   40K  5663    3.31    3.15   28K 15031   31K   423   11.96   11.90
58.01/45.98	c (38,0) c   luby     0   534  196K    2908   40K  5663    3.31    3.15   30K 15433   31K   425   11.94   11.89
59.41/47.32	c (39,0) c   luby     0   559  204K    2906   40K  5663    3.31    3.15   31K 13090   40K   434   12.25   12.20
60.62/48.51	c (41,0) c   luby     0   560  213K    2906   40K  5663    3.31    3.15   33K 12187   36K   434   12.43   12.38
61.72/49.60	c (42,0) c [distill] long cls tried: 6763/31521 cl-short:4535 lit-r:5723 T: 1.08 T-out: N T-r: 86.37%
62.92/50.85	c (43,0) c   luby     0   592  221K    2906   40K  5663    3.31    3.15   32K 10476   44K   456   12.67   12.62
64.32/52.23	c (44,0) c   luby     0   623  229K    2906   40K  5663    3.31    3.15   33K 16127   37K   458   12.20   12.15
65.72/53.66	c (46,0) c   luby     0   651  237K    2906   40K  5663    3.31    3.15   34K 13183   46K   461   12.39   12.34
67.12/55.11	c (47,0) c   luby     0   683  245K    2905   40K  5663    3.31    3.15   36K 14289   39K   472   11.80   11.75
68.41/56.37	c (48,0) c   luby     0   687  253K    2905   40K  5663    3.31    3.15   38K 11358   49K   473   12.25   12.20
69.71/57.62	c (50,0) c   luby     0   688  262K    2905   40K  5663    3.31    3.15   39K 11142   41K   473   12.07   12.02
71.01/58.97	c (51,0) c   luby     0   688  270K    2905   40K  5663    3.31    3.15   40K  9555   40K   473   12.36   12.30
73.32/61.21	c (53,0) c [distill] long cls tried: 8887/38141 cl-short:7018 lit-r:10768 T: 2.14 T-out: N T-r: 75.48%
74.52/62.46	c (54,0) c   luby     0   689  278K    2905   40K  5663    3.31    3.15   38K 11530   46K   871   12.82   12.72
76.02/63.97	c (56,0) c   luby     0   689  286K    2905   40K  5663    3.31    3.15   39K  9936   38K   872   12.53   12.43
77.52/65.49	c (57,0) c   luby     0   689  294K    2905   40K  5663    3.31    3.15   40K  8601   47K   872   12.98   12.88
79.02/66.99	c (59,0) c   luby     0   720  303K    2905   40K  5663    3.31    3.15   42K 11041   38K   874   12.39   12.29
79.42/67.31	c (59,0) c recursive minimization cost OK: 363Kcost/(% lits removed)
79.42/67.31	c (59,0) c --> Executing strategy token: handle-comps
79.42/67.31	c (59,0) c --> Executing strategy token: scc-vrepl
79.42/67.31	c (59,0) c [scc] new: 3 BP 0M T: 0.00
79.42/67.35	c (59,0) c [vrep] vars 3 lits 36412 rem-bin-cls 396 rem-long-cls 20114 BP 0M T: 0.04
79.42/67.35	c (59,0) c --> Executing strategy token: cache-clean
79.42/67.35	c (59,0) c --> Executing strategy token: cache-tryboth
79.42/67.35	c (59,0) c --> Executing strategy token: sub-impl
79.42/67.35	c (59,0) c [impl sub] bin: 39 T: 0.00 T-out: N w-visit: 6020
79.42/67.36	c (59,0) c --> Executing strategy token: intree-probe
79.42/67.36	c (59,0) c [scc] new: 0 BP 0M T: 0.00
79.42/67.37	c (59,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 0M T: 0.01
79.53/67.41	c (59,0) c [intree] Set 0 vars hyper-added: 16 trans-irred::346 trans-red::11 T: 0.03 T-out: N T-r: 99.85%
79.63/67.57	c (60,0) c --> Executing strategy token: probe
79.63/67.57	c (60,0) c --> Executing strategy token: sub-str-cls-with-bin
79.63/67.57	c (60,0) c [distill] cache-based irred--  cl tried    79158 cl-sh     9 cl-rem   24 lit-rem      9 T: 0.05 T-out: N
79.63/67.57	c (60,0) c [distill] cache-based   red--  cl tried    68183 cl-sh  1213 cl-rem  125 lit-rem   1429 T: 0.11 T-out: Y
79.93/67.89	c (60,0) c --> Executing strategy token: distill-cls
79.93/67.89	c (60,0) c [distill] long cls tried: 3411/39466 cl-short:687 lit-r:389 T: 0.32 T-out: N T-r: 65.21%
79.93/67.89	c (60,0) c [distill] long useful: 1374/6822/79130 lits-rem: 778 0-depth-assigns: 0 T: 0.65 T-out: N
79.93/67.89	c (60,0) c --> Executing strategy token: scc-vrepl
79.93/67.89	c (60,0) c [scc] new: 0 BP 0M T: 0.00
80.04/67.90	c (60,0) c --> Executing strategy token: sub-impl
80.04/67.90	c (60,0) c [impl sub] bin: 2 T: 0.00 T-out: N w-visit: 6020
80.04/67.90	c (60,0) c --> Executing strategy token: str-impl
80.04/67.90	c (60,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.93% w-visit: 6020
80.04/67.90	c (60,0) c --> Executing strategy token: sub-impl
80.04/67.90	c (60,0) c [impl sub] bin: 0 T: 0.00 T-out: N w-visit: 6020
80.04/67.91	c (60,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
80.04/67.91	c (60,0) c [occ] mem usage for occur      4 MB
80.04/67.92	c (60,0) c [occ] mem usage for occur      7 MB
80.04/67.95	c (60,0) c Mem for watch alloc      : 16          MB (43.52     %)
80.04/67.95	c (60,0) c Mem for watch array      : 0           MB (0.37      %)
80.04/67.96	c (60,0) c --> Executing OCC strategy token: occ-backw-sub-str
80.04/67.96	c (60,0) c [occ-backw-sub-str-long-w-bins] subs: 5 str: 436 tried: 39741 0-depth ass: 0 T: 0.02 T-out: N T-r: 99.39%
80.15/68.10	c (60,0) c [occ-sub-long-w-long] rem cl: 511 tried: 209380/104690 (200.0%) T: 0.14 T-out: N T-r: 71.57%
80.44/68.38	c (60,0) c [occ-sub-str-long-w-long] sub: 14 str: 436 tried: 314070/104690 (300.0)  T: 0.27 T-out: N T-r: 78.07%
80.44/68.38	c (60,0) c [occ-sub-str-w-added-long]  sub: 0 str: 0 0-depth ass: 0 T: 0.00 T-out: N T-r: 100.00%
80.44/68.38	c (60,0) c --> Executing OCC strategy token: occ-clean-implicit
80.44/68.38	c (60,0) c --> Executing OCC strategy token: occ-bve
80.44/68.38	c (60,0) c [occ-empty-res] Empty resolvent elimed: 0 T: 0.00 T-out: N
80.54/68.44	c (60,0) c [occ-bve] iter v-elim 3
80.54/68.44	c (60,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=0)
80.54/68.44	c (60,0) c Reduced to 2899 vars, 44873 cls (grow=0)
80.74/68.61	c (61,0) c [occ-bve] iter v-elim 54
80.74/68.61	c (61,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=8)
80.74/68.61	c (61,0) c Reduced to 2845 vars, 45129 cls (grow=8)
80.74/68.61	c (61,0) c x n vars       : 2845
80.74/68.61	c (61,0) c  #try to eliminate:   6168
80.74/68.62	c (61,0) c  #var-elim        :     57
80.74/68.62	c (61,0) c  #T-o: N
80.74/68.62	c (61,0) c  #T-r: 99.98%
80.74/68.62	c (61,0) c  #T  : 0.24
80.74/68.62	c (61,0) c [occur] 0.04 is overhead
80.74/68.62	c (61,0) c [occur] link-in T: 0.04 cleanup T: 0.00
80.74/68.62	c (61,0) c --> Executing OCC strategy token: occ-bva
80.74/68.62	c (61,0) c [occ-bva] global numcalls: 2
80.74/68.63	c (61,0) c --> Executing OCC strategy token: occ-ternary-res
80.74/68.63	c (61,0) c --> Executing OCC strategy token: occ-xor
80.74/68.63	c (61,0) c [occ-xor] sort occur list T: 0.02
80.84/68.74	c (61,0) c [occ-xor] found      0 T: 0.12 T-out: N T-r: 97.85%
80.84/68.74	c (61,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
80.84/68.76	c (61,0) c --> Executing strategy token: cl-consolidate
80.84/68.76	c (61,0) c [mem] consolidate  old-sz:  10233K new-sz:  5759K new bits offs: 0 T: 0.01
80.84/68.76	c (61,0) c --> Executing strategy token: str-impl
80.84/68.76	c (61,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.93% w-visit: 6020
81.04/68.92	c (61,0) c --> Executing strategy token: cache-clean
81.04/68.92	c (61,0) c --> Executing strategy token: sub-str-cls-with-bin
81.04/68.92	c (61,0) c [distill] cache-based irred--  cl tried    79465 cl-sh     0 cl-rem   99 lit-rem      0 T: 0.05 T-out: N
81.04/68.92	c (61,0) c [distill] cache-based   red--  cl tried    64319 cl-sh   143 cl-rem   57 lit-rem    198 T: 0.10 T-out: Y
81.04/68.97	c (61,0) c --> Executing strategy token: distill-cls
81.04/68.97	c (61,0) c [distill] long cls tried: 656/39415 cl-short:475 lit-r:483 T: 0.04 T-out: N T-r: 93.78%
81.04/68.97	c (61,0) c [distill] long useful: 950/1312/79366 lits-rem: 966 0-depth-assigns: 0 T: 0.09 T-out: N
81.04/68.97	c (61,0) c --> Executing strategy token: scc-vrepl
81.04/68.97	c (61,0) c [scc] new: 0 BP 0M T: 0.00
81.04/68.97	c (61,0) c --> Executing strategy token: check-cache-size
81.04/68.97	c (61,0) c --> Executing strategy token: renumber
81.04/68.97	c (61,0) c --> Executing strategy token: sls
81.04/68.97	c (61,0) c [consolidate] mini T: 0.00
81.04/68.97	c (61,0) c global_timeout_multiplier: 5.32
81.04/68.97	c (61,0) c clause size stats. size3: 27299 size4: 12069 size5: 42 larger: 5
81.95/69.87	c (62,0) c   glue     1   754  311K    2845   39K  5615    3.31    3.15   37K  4799   24K   123   11.32   11.30
83.17/71.07	c (63,0) c   geom     1   788  319K    2845   39K  5615    3.31    3.15   37K  8241   24K   123   11.42   11.40
85.76/73.64	c (66,0) c [distill] long cls tried: 6509/38848 cl-short:6504 lit-r:8203 T: 2.29 T-out: N T-r: 76.53%
86.75/74.63	c (67,0) c   glue     1   802  327K    2845   39K  5615    3.31    3.15   39K  9141   30K   216   11.76   11.73
88.05/75.91	c (68,0) c   glue     1   819  335K    2845   39K  5615    3.31    3.15   40K 11445   27K   216   11.45   11.43
89.35/77.27	c (69,0) c   glue     1   838  344K    2845   39K  5615    3.31    3.15   42K  9644   36K   216   12.01   11.98
90.76/78.61	c (71,0) c   geom     1   857  352K    2845   39K  5615    3.31    3.15   43K 10536   34K   216   11.96   11.93
92.18/80.01	c (72,0) c   glue     1   870  360K    2845   39K  5615    3.31    3.15   45K 10947   32K   216   11.78   11.76
93.57/81.49	c (73,0) c   glue     1   891  368K    2845   39K  5615    3.31    3.15   45K 13193   38K   217   12.17   12.14
97.97/85.86	c (78,0) c [distill] long cls tried: 7748/46468 cl-short:7743 lit-r:13218 T: 3.71 T-out: N T-r: 66.61%
98.77/86.68	c (79,0) c   geom     1   912  376K    2845   39K  5615    3.31    3.15   46K 13663   32K   345   11.54   11.50
100.28/88.15	c (80,0) c   glue     1   927  385K    2845   39K  5615    3.31    3.15   48K 11516   41K   346   11.95   11.91
101.67/89.58	c (82,0) c   geom     1   931  393K    2845   39K  5615    3.31    3.15   49K 12030   37K   347   11.68   11.64
103.17/91.06	c (83,0) c   geom     1   951  401K    2845   39K  5615    3.31    3.15   51K  9444   46K   347   12.06   12.03
104.56/92.41	c (84,0) c ------- FINAL TOTAL SEARCH STATS ---------
104.56/92.41	c (84,0) c UIP search time          : 77.73       (92.00     % time)
104.56/92.41	c (84,0) c restarts                 : 962         (424.77    confls per restart)
104.56/92.41	c (84,0) c blocked restarts         : 540         (0.56      per normal restart)
104.56/92.41	c (84,0) c time                     : 77.73       
104.56/92.41	c (84,0) c decisions                : 533361      (0.00      % random)
104.56/92.41	c (84,0) c propagations             : 150797850   
104.56/92.41	c (84,0) c decisions/conflicts      : 1.31        
104.56/92.41	c (84,0) c conflicts                : 408630      (5257.27   / sec)
104.56/92.41	c (84,0) c conf lits non-minim      : 12353749    (30.23     lit/confl)
104.56/92.41	c (84,0) c conf lits final          : 16.22       
104.56/92.41	c (84,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
104.56/92.41	c (84,0) c red which0               : 15192       (3.72      % of confl)
104.56/92.41	c (84,0) c props/decision           : 0.00        
104.56/92.41	c (84,0) c props/conflict           : 0.00        
104.56/92.41	c (84,0) c 0-depth assigns          : 4           (0.13      % vars)
104.56/92.41	c (84,0) c 0-depth assigns by CNF   : 0           (0.00      % vars)
104.56/92.41	c (84,0) c reduceDB time            : 0.19        (0.22      % time)
104.56/92.41	c (84,0) c OccSimplifier time       : 2.27        (2.69      % time)
104.56/92.41	c (84,0) c [occur] 0.17 is overhead
104.56/92.41	c (84,0) c [occur] link-in T: 0.11 cleanup T: 0.05
104.56/92.41	c (84,0) c [occ-substr] long subBySub: 1994 subByStr: 23 lits-rem-str: 5261 T: 1.81
104.56/92.41	c (84,0) c SCC time                 : 0.01        (0.02      % time)
104.56/92.41	c (84,0) c [scc] new: 5 BP 0M  T: 0.01
104.56/92.41	c (84,0) c vrep replace time        : 0.09        (0.11      % time)
104.56/92.41	c (84,0) c vrep tree roots          : 5           
104.56/92.41	c (84,0) c vrep trees' crown        : 5           (1.00      leafs/tree)
104.56/92.41	c (84,0) c distill time             : 23.16       (27.42     % time)
104.56/92.41	c (84,0) c strength cache-irred time: 0.31        (0.36      % time)
104.56/92.41	c (84,0) c strength cache-red time  : 0.47        (0.56      % time)
104.56/92.41	c (84,0) c Conflicts in UIP         : 408630      (4836.92   confl/time_this_thread)
104.56/92.41	c (84,0) c Mem used                 : 50.03       MB
104.56/92.41	c (84,0) c Total time (this thread) : 84.48       
104.56/92.41	c (84,0) s SATISFIABLE
104.56/92.45	c (84,0) SatSolver.solve End
104.56/92.45	c (84,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
104.56/92.45	c (84,0) Show results Begin
104.77/92.53	c (85,0) x[0] = 9
104.77/92.53	c (85,0) x[1] = 2
104.77/92.53	c (85,0) x[2] = 1
104.77/92.53	c (85,0) x[3] = 23
104.77/92.53	c (85,0) x[4] = 16
104.77/92.53	c (85,0) x[5] = 21
104.77/92.53	c (85,0) x[6] = 12
104.77/92.53	c (85,0) x[7] = 22
104.77/92.53	c (85,0) x[8] = 1
104.77/92.53	c (85,0) x[9] = 9
104.77/92.53	c (85,0) x[10] = 6
104.77/92.53	c (85,0) x[11] = 12
104.77/92.53	c (85,0) x[12] = 19
104.77/92.53	c (85,0) x[13] = 4
104.77/92.53	c (85,0) x[14] = 21
104.77/92.53	c (85,0) x[15] = 17
104.77/92.53	c (85,0) x[16] = 20
104.77/92.53	c (85,0) x[17] = 1
104.77/92.53	c (85,0) x[18] = 20
104.77/92.53	c (85,0) x[19] = 13
104.77/92.53	c (85,0) x[20] = 16
104.77/92.53	c (85,0) x[21] = 0
104.77/92.53	c (85,0) x[22] = 24
104.77/92.53	c (85,0) x[23] = 10
104.77/92.53	c (85,0) x[24] = 14
104.77/92.53	c (85,0) x[25] = 8
104.77/92.53	c (85,0) x[26] = 3
104.77/92.53	c (85,0) x[27] = 0
104.77/92.53	c (85,0) x[28] = 15
104.77/92.53	c (85,0) x[29] = 19
104.77/92.53	c (85,0) x[30] = 23
104.77/92.53	c (85,0) x[31] = 20
104.77/92.53	c (85,0) x[32] = 4
104.77/92.53	c (85,0) x[33] = 12
104.77/92.53	c (85,0) x[34] = 13
104.77/92.53	c (85,0) x[35] = 20
104.77/92.53	c (85,0) x[36] = 10
104.77/92.53	c (85,0) x[37] = 6
104.77/92.53	c (85,0) x[38] = 10
104.77/92.53	c (85,0) x[39] = 14
104.77/92.53	s SATISFIABLE
104.77/92.54	v <instantiation>
104.77/92.54	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>
104.77/92.54	v     <values>9 2 1 23 16 21 12 22 1 9 6 12 19 4 21 17 20 1 20 13 16 0 24 10 14 8 3 0 15 19 23 20 4 12 13 20 10 6 10 14</values>
104.77/92.54	v </instantiation>
104.77/92.54	c (85,0) Show results End
104.77/92.54	c (85,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
104.77/92.54	c (85,0) 84,85,STOP-AFTER(ALL)
104.77/92.54	c END-Prog: Thu Sep 12 13:26:04 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 (15092 MiB free)
  memory of node 1: 16384 MiB (12633 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387663-1568287511/watcher-4387663-1568287511 -o /tmp/evaluation-result-4387663-1568287511/solver-4387663-1568287511 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568286070-13983 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387663-1568287511.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=14961, runsolver pid=14958

[startup+0.100061 s]*
/proc/loadavg: 2.19 2.77 2.59 4/235 14978
/proc/meminfo: memFree=28331644/32770624 swapFree=66932800/67108860
[pid=14961] ppid=14958 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14961/stat : 14961 (scop.sh) S 14958 14961 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405022546 115843072 349 33554432000 4194304 5098028 140728938641328 140728938638584 140671745561212 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33275904 140728938648419 140728938648688 140728938648688 140728938651597 0
/proc/14961/statm: 28282 349 296 221 0 87 0
[pid=14964] ppid=14961 vsize=15012696 memory=72940 CPUtime=0.11 cores=0,2,4,6
/proc/14964/stat : 14964 (java) S 14961 14961 12870 0 -1 1077944320 6569 0 0 0 9 2 0 0 20 0 15 0 405022547 15373000704 18235 33554432000 4194304 4196468 140730783489120 140730783471664 140396593901303 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
/proc/14964/statm: 3753174 18235 2885 1 0 3715579 0
[pid=14964/tid=14965] ppid=14961 vsize=15013720 memory=-6365693782208593863 CPUtime=0.08 cores=0,2,4,6
/proc/14964/task/14965/stat : 14965 (java) R 14961 14961 12870 0 -1 4202560 4628 0 0 0 7 1 0 0 20 0 15 0 405022547 15374049280 18498 33554432000 4194304 4196468 140730783489120 140396565685552 140396586581021 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14966] ppid=14961 vsize=15013720 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14966/stat : 14966 (java) S 14961 14961 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405022549 15374049280 18498 33554432000 4194304 4196468 140730783489120 140396598143632 140396593911509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14967] ppid=14961 vsize=15013720 memory=139952038352512 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14967/stat : 14967 (java) S 14961 14961 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405022549 15374049280 18498 33554432000 4194304 4196468 140730783489120 140396389227024 140396593911509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14968] ppid=14961 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14968/stat : 14968 (java) S 14961 14961 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405022549 15374049280 18498 33554432000 4194304 4196468 140730783489120 140396388174224 140396593911509 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14969] ppid=14961 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14969/stat : 14969 (java) S 14961 14961 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405022549 15374049280 18498 33554432000 4194304 4196468 140730783489120 140396387121424 140396593911509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14970] ppid=14961 vsize=15013720 memory=139952038352512 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14970/stat : 14970 (java) S 14961 14961 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405022550 15374049280 18498 33554432000 4194304 4196468 140730783489120 140395563424624 140396593912450 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14971] ppid=14961 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14971/stat : 14971 (java) S 14961 14961 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405022551 15374049280 18498 33554432000 4194304 4196468 140730783489120 140395166033440 140396593911509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14972] ppid=14961 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14972/stat : 14972 (java) S 14961 14961 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405022551 15374049280 18498 33554432000 4194304 4196468 140730783489120 140394897597808 140396593911509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14973] ppid=14961 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14973/stat : 14973 (java) S 14961 14961 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405022553 15374049280 18498 33554432000 4194304 4196468 140730783489120 140394523089232 140396593919899 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14974] ppid=14961 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14974/stat : 14974 (java) S 14961 14961 12870 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 405022553 15374049280 18498 33554432000 4194304 4196468 140730783489120 140395562371440 140396593912450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14975] ppid=14961 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14975/stat : 14975 (java) S 14961 14961 12870 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 405022553 15374049280 18498 33554432000 4194304 4196468 140730783489120 140395561318640 140396593912450 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14976] ppid=14961 vsize=15013720 memory=139952038352512 CPUtime=0.01 cores=0,2,4,6
/proc/14964/task/14976/stat : 14976 (java) S 14961 14961 12870 0 -1 1077944384 437 0 0 0 1 0 0 0 20 0 15 0 405022553 15374049280 18498 33554432000 4194304 4196468 140730783489120 140395560265840 140396593912450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14977] ppid=14961 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14977/stat : 14977 (java) S 14961 14961 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405022554 15374049280 18498 33554432000 4194304 4196468 140730783489120 140394025183456 140396593911509 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14978] ppid=14961 vsize=15013720 memory=139952038352512 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14978/stat : 14978 (java) S 14961 14961 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405022554 15374049280 18498 33554432000 4194304 4196468 140730783489120 140395559214256 140396593912450 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74336 KiB

[startup+0.211031 s]*
/proc/loadavg: 2.19 2.77 2.59 3/235 14978
/proc/meminfo: memFree=28313364/32770624 swapFree=66932800/67108860
[pid=14961] ppid=14958 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14961/stat : 14961 (scop.sh) S 14958 14961 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405022546 115843072 349 33554432000 4194304 5098028 140728938641328 140728938638584 140671745561212 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33275904 140728938648419 140728938648688 140728938648688 140728938651597 0
/proc/14961/statm: 28282 349 296 221 0 87 0
[pid=14964] ppid=14961 vsize=15012696 memory=85912 CPUtime=0.25 cores=0,2,4,6
/proc/14964/stat : 14964 (java) S 14961 14961 12870 0 -1 1077944320 11081 0 0 0 22 3 0 0 20 0 15 0 405022547 15373000704 21478 33554432000 4194304 4196468 140730783489120 140730783471664 140396593901303 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
/proc/14964/statm: 3753174 21478 2950 1 0 3715579 0
[pid=14964/tid=14965] ppid=14961 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/14964/task/14965/stat : 14965 (java) R 14961 14961 12870 0 -1 4202560 8828 0 0 0 17 3 0 0 20 0 15 0 405022547 15373000704 21478 33554432000 4194304 4196468 140730783489120 140396565719712 140396593923229 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14966] ppid=14961 vsize=15012696 memory=343 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14966/stat : 14966 (java) S 14961 14961 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405022549 15373000704 21478 33554432000 4194304 4196468 140730783489120 140396598143632 140396593911509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14967] ppid=14961 vsize=15012696 memory=288370328190064256 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14967/stat : 14967 (java) S 14961 14961 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405022549 15373000704 21478 33554432000 4194304 4196468 140730783489120 140396389227024 140396593911509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14968] ppid=14961 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14968/stat : 14968 (java) S 14961 14961 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405022549 15373000704 21478 33554432000 4194304 4196468 140730783489120 140396388174224 140396593911509 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14969] ppid=14961 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14969/stat : 14969 (java) S 14961 14961 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405022549 15373000704 21478 33554432000 4194304 4196468 140730783489120 140396387121424 140396593911509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14970] ppid=14961 vsize=15012696 memory=139952038352512 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14970/stat : 14970 (java) S 14961 14961 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405022550 15373000704 21478 33554432000 4194304 4196468 140730783489120 140395563424624 140396593912450 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14971] ppid=14961 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14971/stat : 14971 (java) S 14961 14961 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405022551 15373000704 21478 33554432000 4194304 4196468 140730783489120 140395166033440 140396593911509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14972] ppid=14961 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14972/stat : 14972 (java) S 14961 14961 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405022551 15373000704 21478 33554432000 4194304 4196468 140730783489120 140394897597808 140396593911509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14973] ppid=14961 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14973/stat : 14973 (java) S 14961 14961 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405022553 15373000704 21478 33554432000 4194304 4196468 140730783489120 140394523089232 140396593919899 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14974] ppid=14961 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14974/stat : 14974 (java) S 14961 14961 12870 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 15 0 405022553 15373000704 21478 33554432000 4194304 4196468 140730783489120 140395562371440 140396593912450 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14975] ppid=14961 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14975/stat : 14975 (java) S 14961 14961 12870 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 405022553 15373000704 21543 33554432000 4194304 4196468 140730783489120 140395561318640 140396593912450 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14976] ppid=14961 vsize=15012696 memory=139952038352512 CPUtime=0.03 cores=0,2,4,6
/proc/14964/task/14976/stat : 14976 (java) S 14961 14961 12870 0 -1 1077944384 454 0 0 0 3 0 0 0 20 0 15 0 405022553 15373000704 21543 33554432000 4194304 4196468 140730783489120 140395560265840 140396593912450 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14977] ppid=14961 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14977/stat : 14977 (java) S 14961 14961 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405022554 15373000704 21543 33554432000 4194304 4196468 140730783489120 140394025183456 140396593911509 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14978] ppid=14961 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14978/stat : 14978 (java) S 14961 14961 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405022554 15373000704 21543 33554432000 4194304 4196468 140730783489120 140395559214256 140396593912450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87308 KiB

[startup+0.310741 s]*
/proc/loadavg: 2.19 2.77 2.59 4/235 14978
/proc/meminfo: memFree=28310888/32770624 swapFree=66932800/67108860
[pid=14961] ppid=14958 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14961/stat : 14961 (scop.sh) S 14958 14961 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405022546 115843072 349 33554432000 4194304 5098028 140728938641328 140728938638584 140671745561212 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33275904 140728938648419 140728938648688 140728938648688 140728938651597 0
/proc/14961/statm: 28282 349 296 221 0 87 0
[pid=14964] ppid=14961 vsize=15012696 memory=90140 CPUtime=0.43 cores=0,2,4,6
/proc/14964/stat : 14964 (java) S 14961 14961 12870 0 -1 1077944320 12014 0 0 0 39 4 0 0 20 0 15 0 405022547 15373000704 22535 33554432000 4194304 4196468 140730783489120 140730783471664 140396593901303 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
/proc/14964/statm: 3753174 22535 3073 1 0 3715579 0
[pid=14964/tid=14965] ppid=14961 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/14964/task/14965/stat : 14965 (java) R 14961 14961 12870 0 -1 4202560 9585 0 0 0 27 3 0 0 20 0 15 0 405022547 15373000704 22535 33554432000 4194304 4196468 140730783489120 140396565684320 140396577088071 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14966] ppid=14961 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14966/stat : 14966 (java) S 14961 14961 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405022549 15373000704 22535 33554432000 4194304 4196468 140730783489120 140396598143632 140396593911509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14967] ppid=14961 vsize=15012696 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14967/stat : 14967 (java) S 14961 14961 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405022549 15373000704 22535 33554432000 4194304 4196468 140730783489120 140396389227024 140396593911509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14968] ppid=14961 vsize=15012696 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14968/stat : 14968 (java) S 14961 14961 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405022549 15373000704 22535 33554432000 4194304 4196468 140730783489120 140396388174224 140396593911509 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14969] ppid=14961 vsize=15012696 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14969/stat : 14969 (java) S 14961 14961 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405022549 15373000704 22535 33554432000 4194304 4196468 140730783489120 140396387121424 140396593911509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14970] ppid=14961 vsize=15012696 memory=-9001728533042062950 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14970/stat : 14970 (java) S 14961 14961 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405022550 15373000704 22535 33554432000 4194304 4196468 140730783489120 140395563424624 140396593912450 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14971] ppid=14961 vsize=15012696 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14971/stat : 14971 (java) S 14961 14961 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405022551 15373000704 22535 33554432000 4194304 4196468 140730783489120 140395166033440 140396593911509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14972] ppid=14961 vsize=15012696 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14972/stat : 14972 (java) S 14961 14961 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405022551 15373000704 22535 33554432000 4194304 4196468 140730783489120 140394897597808 140396593911509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14973] ppid=14961 vsize=15012696 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14973/stat : 14973 (java) S 14961 14961 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405022553 15373000704 22535 33554432000 4194304 4196468 140730783489120 140394523089232 140396593919899 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14974] ppid=14961 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/14964/task/14974/stat : 14974 (java) S 14961 14961 12870 0 -1 1077944384 418 0 0 0 2 0 0 0 20 0 15 0 405022553 15373000704 22535 33554432000 4194304 4196468 140730783489120 140395562371440 140396593912450 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14975] ppid=14961 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/14964/task/14975/stat : 14975 (java) S 14961 14961 12870 0 -1 1077944384 204 0 0 0 2 0 0 0 20 0 15 0 405022553 15373000704 22535 33554432000 4194304 4196468 140730783489120 140395561318640 140396593912450 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14976] ppid=14961 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14964/task/14976/stat : 14976 (java) S 14961 14961 12870 0 -1 1077944384 475 0 0 0 7 0 0 0 20 0 15 0 405022553 15373000704 22535 33554432000 4194304 4196468 140730783489120 140395560265840 140396593912450 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14977] ppid=14961 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14977/stat : 14977 (java) S 14961 14961 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405022554 15373000704 22535 33554432000 4194304 4196468 140730783489120 140394025183456 140396593911509 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14978] ppid=14961 vsize=15012696 memory=3761129318981378097 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14978/stat : 14978 (java) S 14961 14961 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405022554 15373000704 22535 33554432000 4194304 4196468 140730783489120 140395559214256 140396593912450 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91536 KiB

[startup+0.70084 s]
/proc/loadavg: 2.19 2.77 2.59 3/235 14978
/proc/meminfo: memFree=28287200/32770624 swapFree=66932800/67108860
[pid=14961] ppid=14958 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14961/stat : 14961 (scop.sh) S 14958 14961 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405022546 115843072 349 33554432000 4194304 5098028 140728938641328 140728938638584 140671745561212 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33275904 140728938648419 140728938648688 140728938648688 140728938651597 0
/proc/14961/statm: 28282 349 296 221 0 87 0
[pid=14964] ppid=14961 vsize=15018968 memory=129720 CPUtime=1.02 cores=0,2,4,6
/proc/14964/stat : 14964 (java) S 14961 14961 12870 0 -1 1077944320 19681 0 0 0 96 6 0 0 20 0 15 0 405022547 15379423232 32430 33554432000 4194304 4196468 140730783489120 140730783471664 140396593901303 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
/proc/14964/statm: 3754742 32430 3185 1 0 3716091 0
[pid=14964/tid=14965] ppid=14961 vsize=15018968 memory=2372 CPUtime=0.68 cores=0,2,4,6
/proc/14964/task/14965/stat : 14965 (java) R 14961 14961 12870 0 -1 4202560 16682 0 0 0 63 5 0 0 20 0 15 0 405022547 15379423232 32430 33554432000 4194304 4196468 140730783489120 140396565717456 140396572346895 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14966] ppid=14961 vsize=15018968 memory=116 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14966/stat : 14966 (java) S 14961 14961 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405022549 15379423232 32430 33554432000 4194304 4196468 140730783489120 140396598143632 140396593911509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14967] ppid=14961 vsize=15018968 memory=2958609 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14967/stat : 14967 (java) S 14961 14961 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405022549 15379423232 32430 33554432000 4194304 4196468 140730783489120 140396389227024 140396593911509 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14968] ppid=14961 vsize=15018968 memory=2965990 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14968/stat : 14968 (java) S 14961 14961 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405022549 15379423232 32430 33554432000 4194304 4196468 140730783489120 140396388174224 140396593911509 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14969] ppid=14961 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14969/stat : 14969 (java) S 14961 14961 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405022549 15379423232 32430 33554432000 4194304 4196468 140730783489120 140396387121424 140396593911509 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14970] ppid=14961 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14970/stat : 14970 (java) S 14961 14961 12870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405022550 15379423232 32430 33554432000 4194304 4196468 140730783489120 140395563424624 140396593912450 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14971] ppid=14961 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14971/stat : 14971 (java) S 14961 14961 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405022551 15379423232 32430 33554432000 4194304 4196468 140730783489120 140395166033440 140396593911509 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14972] ppid=14961 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14972/stat : 14972 (java) S 14961 14961 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405022551 15379423232 32430 33554432000 4194304 4196468 140730783489120 140394897597808 140396593911509 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14973] ppid=14961 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14973/stat : 14973 (java) S 14961 14961 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405022553 15379423232 32430 33554432000 4194304 4196468 140730783489120 140394523089232 140396593919899 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14974] ppid=14961 vsize=15018968 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14964/task/14974/stat : 14974 (java) R 14961 14961 12870 0 -1 4202560 597 0 0 0 7 0 0 0 20 0 15 0 405022553 15379423232 32430 33554432000 4194304 4196468 140730783489120 140395562371440 140396571648688 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14975] ppid=14961 vsize=15018968 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14964/task/14975/stat : 14975 (java) R 14961 14961 12870 0 -1 4202560 446 0 0 0 9 0 0 0 20 0 15 0 405022553 15379423232 32430 33554432000 4194304 4196468 140730783489120 140395561318640 140396575428963 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14976] ppid=14961 vsize=15018968 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/14964/task/14976/stat : 14976 (java) S 14961 14961 12870 0 -1 1077944384 621 0 0 0 16 0 0 0 20 0 15 0 405022553 15379423232 32430 33554432000 4194304 4196468 140730783489120 140395560265840 140396593912450 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14977] ppid=14961 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14977/stat : 14977 (java) S 14961 14961 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405022554 15379423232 32430 33554432000 4194304 4196468 140730783489120 140394025183456 140396593911509 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
[pid=14964/tid=14978] ppid=14961 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14964/task/14978/stat : 14978 (java) S 14961 14961 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405022554 15379423232 32430 33554432000 4194304 4196468 140730783489120 140395559214256 140396593912450 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37167104 140730783490857 140730783491226 140730783491226 140730783494095 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 131116 KiB

[startup+1.50088 s]
/proc/loadavg: 2.19 2.77 2.59 5/235 14978
/proc/meminfo: memFree=28206952/32770624 swapFree=66932800/67108860
[pid=14961] ppid=14958 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14961/stat : 14961 (scop.sh) S 14958 14961 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405022546 115843072 349 33554432000 4194304 5098028 140728938641328 140728938638584 140671745561212 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33275904 140728938648419 140728938648688 140728938648688 140728938651597 0
/proc/14961/statm: 28282 349 296 221 0 87 0

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

/proc/14979/task/14995/stat : 14995 (java) S 14961 14961 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405023332 8262082560 31682 33554432000 4194304 4196468 140723761928960 140606358090816 140607042277145 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14997] ppid=14961 vsize=8068440 memory=126728 CPUtime=0.04 cores=0,2,4,6
/proc/14979/task/14997/stat : 14997 (java) S 14961 14961 12870 0 -1 4202560 1691 0 0 0 3 1 0 0 20 0 19 0 405023333 8262082560 31682 33554432000 4194304 4196468 140723761928960 140604210130544 140607042274461 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14998] ppid=14961 vsize=8068440 memory=49176 CPUtime=0 cores=0,2,4,6
/proc/14979/task/14998/stat : 14998 (java) S 14961 14961 12870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405023333 8262082560 31682 33554432000 4194304 4196468 140723761928960 140604075908880 140607042274461 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14999] ppid=14961 vsize=8068440 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/14979/task/14999/stat : 14999 (java) S 14961 14961 12870 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 405023335 8262082560 31682 33554432000 4194304 4196468 140723761928960 140604344360496 140607042262741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
Current children cumulated CPU time: 103.36 s
Current children cumulated vsize: 8259152 KiB
Current children cumulated memory: 177380 KiB

[startup+92.001 s]*
/proc/loadavg: 2.13 2.61 2.55 3/239 15007
/proc/meminfo: memFree=28210644/32770624 swapFree=66932808/67108860
[pid=14961] ppid=14958 vsize=113128 memory=1476 CPUtime=18.74 cores=0,2,4,6
/proc/14961/stat : 14961 (scop.sh) S 14958 14961 12870 0 -1 4202496 583 34889 0 0 0 0 1830 44 20 0 1 0 405022546 115843072 369 33554432000 4194304 5098028 140728938641328 140728938638072 140671745561212 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33275904 140728938648419 140728938648688 140728938648688 140728938651597 0
/proc/14961/statm: 28282 369 311 221 0 87 0
[pid=14979] ppid=14961 vsize=8068440 memory=126728 CPUtime=1.29 cores=0,2,4,6
/proc/14979/stat : 14979 (java) S 14961 14961 12870 0 -1 1077944320 22653 0 0 0 119 10 0 0 20 0 19 0 405023260 8262082560 31682 33554432000 4194304 4196468 140723761928960 140723761911504 140607042252535 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
/proc/14979/statm: 2017110 31682 3202 1 0 1978454 0
[pid=14994] ppid=14979 vsize=77584 memory=51224 CPUtime=84.14 cores=0,2,4,6
/proc/14994/stat : 14994 (cryptominisat5) R 14979 14961 12870 0 -1 4202496 39593 0 0 0 8407 7 0 0 20 0 1 0 405023332 79446016 12806 33554432000 4194304 4451008 140721617174912 140721617170840 140462198825678 0 4 0 2 0 0 0 17 2 0 0 0 0 0 6549032 6559120 36835328 140721617179580 140721617179712 140721617179712 140721617182662 0
/proc/14994/statm: 19396 12806 737 63 0 13123 0
[pid=14979/tid=14980] ppid=14961 vsize=8068440 memory=8039887049847966121 CPUtime=0.75 cores=0,2,4,6
/proc/14979/task/14980/stat : 14980 (java) S 14961 14961 12870 0 -1 1077944384 17399 0 0 0 70 5 0 0 20 0 19 0 405023260 8262082560 31682 33554432000 4194304 4196468 140723761928960 140607014092704 140607042262741 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14981] ppid=14961 vsize=8068440 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/14979/task/14981/stat : 14981 (java) S 14961 14961 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405023262 8262082560 31682 33554432000 4194304 4196468 140723761928960 140607046494992 140607042262741 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14982] ppid=14961 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/14979/task/14982/stat : 14982 (java) S 14961 14961 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405023262 8262082560 31682 33554432000 4194304 4196468 140723761928960 140606846663568 140607042262741 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14983] ppid=14961 vsize=8068440 memory=8039887049847966121 CPUtime=0 cores=0,2,4,6
/proc/14979/task/14983/stat : 14983 (java) S 14961 14961 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405023262 8262082560 31682 33554432000 4194304 4196468 140723761928960 140606845611024 140607042262741 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14984] ppid=14961 vsize=8068440 memory=279903824594976 CPUtime=0 cores=0,2,4,6
/proc/14979/task/14984/stat : 14984 (java) S 14961 14961 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405023262 8262082560 31682 33554432000 4194304 4196468 140723761928960 140606844558480 140607042262741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14985] ppid=14961 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/14979/task/14985/stat : 14985 (java) S 14961 14961 12870 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 405023263 8262082560 31682 33554432000 4194304 4196468 140723761928960 140606286309360 140607042263682 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14986] ppid=14961 vsize=8068440 memory=808 CPUtime=0 cores=0,2,4,6
/proc/14979/task/14986/stat : 14986 (java) S 14961 14961 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405023264 8262082560 31682 33554432000 4194304 4196468 140723761928960 140605887865760 140607042262741 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14987] ppid=14961 vsize=8068440 memory=1772 CPUtime=0 cores=0,2,4,6
/proc/14979/task/14987/stat : 14987 (java) S 14961 14961 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405023264 8262082560 31682 33554432000 4194304 4196468 140723761928960 140605619430384 140607042262741 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14988] ppid=14961 vsize=8068440 memory=111632 CPUtime=0 cores=0,2,4,6
/proc/14979/task/14988/stat : 14988 (java) S 14961 14961 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405023266 8262082560 31682 33554432000 4194304 4196468 140723761928960 140605244922064 140607042271131 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14989] ppid=14961 vsize=8068440 memory=804 CPUtime=0.08 cores=0,2,4,6
/proc/14979/task/14989/stat : 14989 (java) S 14961 14961 12870 0 -1 1077944384 632 0 0 0 8 0 0 0 20 0 19 0 405023266 8262082560 31682 33554432000 4194304 4196468 140723761928960 140606285257200 140607042263682 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14990] ppid=14961 vsize=8068440 memory=1656 CPUtime=0.11 cores=0,2,4,6
/proc/14979/task/14990/stat : 14990 (java) S 14961 14961 12870 0 -1 1077944384 454 0 0 0 11 0 0 0 20 0 19 0 405023266 8262082560 31682 33554432000 4194304 4196468 140723761928960 140606284204656 140607042263682 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14991] ppid=14961 vsize=8068440 memory=1804 CPUtime=0.23 cores=0,2,4,6
/proc/14979/task/14991/stat : 14991 (java) S 14961 14961 12870 0 -1 1077944384 1082 0 0 0 23 0 0 0 20 0 19 0 405023266 8262082560 31682 33554432000 4194304 4196468 140723761928960 140606283152112 140607042263682 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14992] ppid=14961 vsize=8068440 memory=916 CPUtime=0 cores=0,2,4,6
/proc/14979/task/14992/stat : 14992 (java) S 14961 14961 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405023266 8262082560 31682 33554432000 4194304 4196468 140723761928960 140604747017312 140607042262741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14993] ppid=14961 vsize=8068440 memory=3848 CPUtime=0.03 cores=0,2,4,6
/proc/14979/task/14993/stat : 14993 (java) S 14961 14961 12870 0 -1 1077944384 7 0 0 0 1 2 0 0 20 0 19 0 405023267 8262082560 31682 33554432000 4194304 4196468 140723761928960 140606282098992 140607042263682 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14995] ppid=14961 vsize=8068440 memory=4108 CPUtime=0 cores=0,2,4,6
/proc/14979/task/14995/stat : 14995 (java) S 14961 14961 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405023332 8262082560 31682 33554432000 4194304 4196468 140723761928960 140606358090816 140607042277145 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14997] ppid=14961 vsize=8068440 memory=2584 CPUtime=0.04 cores=0,2,4,6
/proc/14979/task/14997/stat : 14997 (java) S 14961 14961 12870 0 -1 4202560 1691 0 0 0 3 1 0 0 20 0 19 0 405023333 8262082560 31682 33554432000 4194304 4196468 140723761928960 140604210130544 140607042274461 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14998] ppid=14961 vsize=8068440 memory=301741373374332954 CPUtime=0 cores=0,2,4,6
/proc/14979/task/14998/stat : 14998 (java) S 14961 14961 12870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405023333 8262082560 31682 33554432000 4194304 4196468 140723761928960 140604075908880 140607042274461 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14999] ppid=14961 vsize=8068440 memory=288230613214036277 CPUtime=0 cores=0,2,4,6
/proc/14979/task/14999/stat : 14999 (java) S 14961 14961 12870 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 405023335 8262082560 31682 33554432000 4194304 4196468 140723761928960 140604344360496 140607042262741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
Current children cumulated CPU time: 104.17 s
Current children cumulated vsize: 8259152 KiB
Current children cumulated memory: 179428 KiB

[startup+92.401 s]
/proc/loadavg: 2.13 2.61 2.55 3/239 15007
/proc/meminfo: memFree=28210644/32770624 swapFree=66932808/67108860
[pid=14961] ppid=14958 vsize=113128 memory=1476 CPUtime=18.74 cores=0,2,4,6
/proc/14961/stat : 14961 (scop.sh) S 14958 14961 12870 0 -1 4202496 583 34889 0 0 0 0 1830 44 20 0 1 0 405022546 115843072 369 33554432000 4194304 5098028 140728938641328 140728938638072 140671745561212 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33275904 140728938648419 140728938648688 140728938648688 140728938651597 0
/proc/14961/statm: 28282 369 311 221 0 87 0
[pid=14979] ppid=14961 vsize=8068440 memory=126728 CPUtime=1.29 cores=0,2,4,6
/proc/14979/stat : 14979 (java) S 14961 14961 12870 0 -1 1077944320 22653 0 0 0 119 10 0 0 20 0 19 0 405023260 8262082560 31682 33554432000 4194304 4196468 140723761928960 140723761911504 140607042252535 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
/proc/14979/statm: 2017110 31682 3202 1 0 1978454 0
[pid=14994] ppid=14979 vsize=77584 memory=51224 CPUtime=84.53 cores=0,2,4,6
/proc/14994/stat : 14994 (cryptominisat5) R 14979 14961 12870 0 -1 4202496 39594 0 0 0 8446 7 0 0 20 0 1 0 405023332 79446016 12806 33554432000 4194304 4451008 140721617174912 140721617170840 140462198825129 0 4 0 2 0 0 0 17 2 0 0 0 0 0 6549032 6559120 36835328 140721617179580 140721617179712 140721617179712 140721617182662 0
/proc/14994/statm: 19396 12806 737 63 0 13123 0
[pid=14979/tid=14980] ppid=14961 vsize=8068440 memory=1984 CPUtime=0.75 cores=0,2,4,6
/proc/14979/task/14980/stat : 14980 (java) S 14961 14961 12870 0 -1 1077944384 17399 0 0 0 70 5 0 0 20 0 19 0 405023260 8262082560 31682 33554432000 4194304 4196468 140723761928960 140607014092704 140607042262741 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14981] ppid=14961 vsize=8068440 memory=2532 CPUtime=0 cores=0,2,4,6
/proc/14979/task/14981/stat : 14981 (java) S 14961 14961 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405023262 8262082560 31682 33554432000 4194304 4196468 140723761928960 140607046494992 140607042262741 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14982] ppid=14961 vsize=8068440 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/14979/task/14982/stat : 14982 (java) S 14961 14961 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405023262 8262082560 31682 33554432000 4194304 4196468 140723761928960 140606846663568 140607042262741 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14983] ppid=14961 vsize=8068440 memory=808 CPUtime=0 cores=0,2,4,6
/proc/14979/task/14983/stat : 14983 (java) S 14961 14961 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405023262 8262082560 31682 33554432000 4194304 4196468 140723761928960 140606845611024 140607042262741 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14984] ppid=14961 vsize=8068440 memory=126728 CPUtime=0 cores=0,2,4,6
/proc/14979/task/14984/stat : 14984 (java) S 14961 14961 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405023262 8262082560 31682 33554432000 4194304 4196468 140723761928960 140606844558480 140607042262741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14985] ppid=14961 vsize=8068440 memory=49176 CPUtime=0 cores=0,2,4,6
/proc/14979/task/14985/stat : 14985 (java) S 14961 14961 12870 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 405023263 8262082560 31682 33554432000 4194304 4196468 140723761928960 140606286309360 140607042263682 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14986] ppid=14961 vsize=8068440 memory=504 CPUtime=0 cores=0,2,4,6
/proc/14979/task/14986/stat : 14986 (java) S 14961 14961 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405023264 8262082560 31682 33554432000 4194304 4196468 140723761928960 140605887865760 140607042262741 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14987] ppid=14961 vsize=8068440 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/14979/task/14987/stat : 14987 (java) S 14961 14961 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405023264 8262082560 31682 33554432000 4194304 4196468 140723761928960 140605619430384 140607042262741 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14988] ppid=14961 vsize=8068440 memory=924 CPUtime=0 cores=0,2,4,6
/proc/14979/task/14988/stat : 14988 (java) S 14961 14961 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405023266 8262082560 31682 33554432000 4194304 4196468 140723761928960 140605244922064 140607042271131 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14989] ppid=14961 vsize=8068440 memory=1420 CPUtime=0.08 cores=0,2,4,6
/proc/14979/task/14989/stat : 14989 (java) S 14961 14961 12870 0 -1 1077944384 632 0 0 0 8 0 0 0 20 0 19 0 405023266 8262082560 31682 33554432000 4194304 4196468 140723761928960 140606285257200 140607042263682 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14990] ppid=14961 vsize=8068440 memory=1984 CPUtime=0.11 cores=0,2,4,6
/proc/14979/task/14990/stat : 14990 (java) S 14961 14961 12870 0 -1 1077944384 454 0 0 0 11 0 0 0 20 0 19 0 405023266 8262082560 31682 33554432000 4194304 4196468 140723761928960 140606284204656 140607042263682 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14991] ppid=14961 vsize=8068440 memory=2532 CPUtime=0.23 cores=0,2,4,6
/proc/14979/task/14991/stat : 14991 (java) S 14961 14961 12870 0 -1 1077944384 1082 0 0 0 23 0 0 0 20 0 19 0 405023266 8262082560 31682 33554432000 4194304 4196468 140723761928960 140606283152112 140607042263682 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14992] ppid=14961 vsize=8068440 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/14979/task/14992/stat : 14992 (java) S 14961 14961 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405023266 8262082560 31682 33554432000 4194304 4196468 140723761928960 140604747017312 140607042262741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14993] ppid=14961 vsize=8068440 memory=2584 CPUtime=0.03 cores=0,2,4,6
/proc/14979/task/14993/stat : 14993 (java) S 14961 14961 12870 0 -1 1077944384 7 0 0 0 1 2 0 0 20 0 19 0 405023267 8262082560 31682 33554432000 4194304 4196468 140723761928960 140606282098992 140607042263682 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14995] ppid=14961 vsize=8068440 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/14979/task/14995/stat : 14995 (java) S 14961 14961 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405023332 8262082560 31682 33554432000 4194304 4196468 140723761928960 140606358090816 140607042277145 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14997] ppid=14961 vsize=8068440 memory=3444 CPUtime=0.04 cores=0,2,4,6
/proc/14979/task/14997/stat : 14997 (java) S 14961 14961 12870 0 -1 4202560 1691 0 0 0 3 1 0 0 20 0 19 0 405023333 8262082560 31682 33554432000 4194304 4196468 140723761928960 140604210130544 140607042274461 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14998] ppid=14961 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/14979/task/14998/stat : 14998 (java) S 14961 14961 12870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405023333 8262082560 31682 33554432000 4194304 4196468 140723761928960 140604075908880 140607042274461 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14999] ppid=14961 vsize=8068440 memory=135312 CPUtime=0 cores=0,2,4,6
/proc/14979/task/14999/stat : 14999 (java) S 14961 14961 12870 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 405023335 8262082560 31682 33554432000 4194304 4196468 140723761928960 140604344360496 140607042262741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
Current children cumulated CPU time: 104.56 s
Current children cumulated vsize: 8259152 KiB
Current children cumulated memory: 179428 KiB

[startup+92.5018 s]
/proc/loadavg: 2.13 2.61 2.55 3/239 15007
/proc/meminfo: memFree=28210644/32770624 swapFree=66932808/67108860
[pid=14961] ppid=14958 vsize=113128 memory=1476 CPUtime=18.74 cores=0,2,4,6
/proc/14961/stat : 14961 (scop.sh) S 14958 14961 12870 0 -1 4202496 583 34889 0 0 0 0 1830 44 20 0 1 0 405022546 115843072 369 33554432000 4194304 5098028 140728938641328 140728938638072 140671745561212 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33275904 140728938648419 140728938648688 140728938648688 140728938651597 0
/proc/14961/statm: 28282 369 311 221 0 87 0
[pid=14979] ppid=14961 vsize=7937364 memory=128364 CPUtime=86.03 cores=0,2,4,6
/proc/14979/stat : 14979 (java) S 14961 14961 12870 0 -1 1077944320 23026 39676 0 0 138 10 8448 7 20 0 17 0 405023260 8127860736 32091 33554432000 4194304 4196468 140723761928960 140723761911504 140607042252535 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
/proc/14979/statm: 1984341 32091 3216 1 0 1945685 0
[pid=14979/tid=14980] ppid=14961 vsize=7937364 memory=126728 CPUtime=85.34 cores=0,2,4,6
/proc/14979/task/14980/stat : 14980 (java) R 14961 14961 12870 0 -1 4202560 17567 39676 0 0 74 5 8448 7 20 0 17 0 405023260 8127860736 32091 33554432000 4194304 4196468 140723761928960 140607014068752 140607028491975 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14981] ppid=14961 vsize=7937364 memory=1476 CPUtime=84.55 cores=0,2,4,6
/proc/14979/task/14981/stat : 14981 (java) S 14961 14961 12870 0 -1 1077944384 1 39676 0 0 0 0 8448 7 20 0 17 0 405023262 8127860736 32091 33554432000 4194304 4196468 140723761928960 140607046494992 140607042262741 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14982] ppid=14961 vsize=7937364 memory=5948 CPUtime=84.55 cores=0,2,4,6
/proc/14979/task/14982/stat : 14982 (java) S 14961 14961 12870 0 -1 1077944384 1 39676 0 0 0 0 8448 7 20 0 17 0 405023262 8127860736 32091 33554432000 4194304 4196468 140723761928960 140606846663568 140607042262741 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14983] ppid=14961 vsize=7937364 memory=126728 CPUtime=84.55 cores=0,2,4,6
/proc/14979/task/14983/stat : 14983 (java) S 14961 14961 12870 0 -1 1077944384 2 39676 0 0 0 0 8448 7 20 0 17 0 405023262 8127860736 32091 33554432000 4194304 4196468 140723761928960 140606845611024 140607042262741 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14984] ppid=14961 vsize=7937364 memory=1476 CPUtime=84.55 cores=0,2,4,6
/proc/14979/task/14984/stat : 14984 (java) S 14961 14961 12870 0 -1 1077944384 2 39676 0 0 0 0 8448 7 20 0 17 0 405023262 8127860736 32091 33554432000 4194304 4196468 140723761928960 140606844558480 140607042262741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14985] ppid=14961 vsize=7937364 memory=49176 CPUtime=84.55 cores=0,2,4,6
/proc/14979/task/14985/stat : 14985 (java) S 14961 14961 12870 0 -1 1077944384 9 39676 0 0 0 0 8448 7 20 0 17 0 405023263 8127860736 32091 33554432000 4194304 4196468 140723761928960 140606286309360 140607042263682 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14986] ppid=14961 vsize=7937364 memory=49176 CPUtime=84.55 cores=0,2,4,6
/proc/14979/task/14986/stat : 14986 (java) S 14961 14961 12870 0 -1 1077944384 13 39676 0 0 0 0 8448 7 20 0 17 0 405023264 8127860736 32091 33554432000 4194304 4196468 140723761928960 140605887865760 140607042262741 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14987] ppid=14961 vsize=7937364 memory=126728 CPUtime=84.55 cores=0,2,4,6
/proc/14979/task/14987/stat : 14987 (java) S 14961 14961 12870 0 -1 1077944384 1 39676 0 0 0 0 8448 7 20 0 17 0 405023264 8127860736 32091 33554432000 4194304 4196468 140723761928960 140605619430384 140607042262741 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14988] ppid=14961 vsize=7937364 memory=126728 CPUtime=84.55 cores=0,2,4,6
/proc/14979/task/14988/stat : 14988 (java) S 14961 14961 12870 0 -1 1077944384 3 39676 0 0 0 0 8448 7 20 0 17 0 405023266 8127860736 32091 33554432000 4194304 4196468 140723761928960 140605244922064 140607042271131 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14989] ppid=14961 vsize=7937364 memory=3620 CPUtime=84.65 cores=0,2,4,6
/proc/14979/task/14989/stat : 14989 (java) S 14961 14961 12870 0 -1 1077944384 643 39676 0 0 10 0 8448 7 20 0 17 0 405023266 8127860736 32091 33554432000 4194304 4196468 140723761928960 140606285257200 140607042263682 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14990] ppid=14961 vsize=7937364 memory=126728 CPUtime=84.69 cores=0,2,4,6
/proc/14979/task/14990/stat : 14990 (java) S 14961 14961 12870 0 -1 1077944384 479 39676 0 0 14 0 8448 7 20 0 17 0 405023266 8127860736 32091 33554432000 4194304 4196468 140723761928960 140606284204656 140607042263682 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14991] ppid=14961 vsize=7937364 memory=49176 CPUtime=84.83 cores=0,2,4,6
/proc/14979/task/14991/stat : 14991 (java) S 14961 14961 12870 0 -1 1077944384 1211 39676 0 0 28 0 8448 7 20 0 17 0 405023266 8127860736 32091 33554432000 4194304 4196468 140723761928960 140606283152112 140607042263682 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14992] ppid=14961 vsize=7937364 memory=139952038351457 CPUtime=84.55 cores=0,2,4,6
/proc/14979/task/14992/stat : 14992 (java) S 14961 14961 12870 0 -1 1077944384 3 39676 0 0 0 0 8448 7 20 0 17 0 405023266 8127860736 32091 33554432000 4194304 4196468 140723761928960 140604747017312 140607042262741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14993] ppid=14961 vsize=7937364 memory=7524201491818632816 CPUtime=84.58 cores=0,2,4,6
/proc/14979/task/14993/stat : 14993 (java) S 14961 14961 12870 0 -1 1077944384 7 39676 0 0 1 2 8448 7 20 0 17 0 405023267 8127860736 32091 33554432000 4194304 4196468 140723761928960 140606282098992 140607042263682 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14995] ppid=14961 vsize=7937364 memory=7452143902411285568 CPUtime=84.55 cores=0,2,4,6
/proc/14979/task/14995/stat : 14995 (java) S 14961 14961 12870 0 -1 1077944384 24 39676 0 0 0 0 8448 7 20 0 17 0 405023332 8127860736 32091 33554432000 4194304 4196468 140723761928960 140606358090000 140607042263682 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
[pid=14979/tid=14999] ppid=14961 vsize=7937364 memory=126728 CPUtime=84.55 cores=0,2,4,6
/proc/14979/task/14999/stat : 14999 (java) S 14961 14961 12870 0 -1 1077944384 33 39676 0 0 0 0 8448 7 20 0 17 0 405023335 8127860736 32091 33554432000 4194304 4196468 140723761928960 140604344362288 140607042263682 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24956928 140723761931259 140723761931418 140723761931418 140723761934287 0
Current children cumulated CPU time: 104.77 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 129840 KiB

Child status: 0
Real time (s): 92.5475
CPU time (s): 104.891
CPU user time (s): 104.247
CPU system time (s): 0.644307
CPU usage (%): 113.338
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 2097184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 104.247
system time used= 0.644307
maximum resident set size= 2098516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98379
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8338
involuntary context switches= 185


# summary of solver processes directly reported to runsolver:
#   pid: 14961
#   total CPU time (s): 104.891
#   total CPU user time (s): 104.247
#   total CPU system time (s): 0.644307

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.665001 second user time and 1.07059 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-12 13:24:32
IDJOB=4387663
IDBENCH=122262
IDSOLVER=2826
FILE ID=node151/4387663-1568287511
RUNJOBID= node151-1568286070-13983
PBS_JOBID= 21701060
Free space on /tmp= 56380 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/Random/Random-D-t050/rand-2-40-25-180-050-34.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-4387663-1568287511/watcher-4387663-1568287511 -o /tmp/evaluation-result-4387663-1568287511/solver-4387663-1568287511 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568286070-13983 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387663-1568287511.xml

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

MD5SUM BENCH= 2b23d7f384de8bee09908163d3005f80
RANDOM SEED=1048094386

node151.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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28392300 kB
MemAvailable:   29079508 kB
Buffers:          100036 kB
Cached:           875716 kB
SwapCached:        73216 kB
Active:          3387460 kB
Inactive:         433016 kB
Active(anon):    2779388 kB
Inactive(anon):    96264 kB
Active(file):     608072 kB
Inactive(file):   336752 kB
Unevictable:      111232 kB
Mlocked:          111232 kB
SwapTotal:      67108860 kB
SwapFree:       66932800 kB
Dirty:             20536 kB
Writeback:             0 kB
AnonPages:       2975696 kB
Mapped:            46576 kB
Shmem:             22068 kB
Slab:             145104 kB
SReclaimable:     116436 kB
SUnreclaim:        28668 kB
KernelStack:        3808 kB
PageTables:        11380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    9131432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1406976 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 56360 MiB
End job on node151 at 2019-09-12 13:26:04