Trace number 4387927

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 245.808 242.026

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-160.xml
MD5SUM3ff67dee7a06e1e6311de3a7585abde9
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 benchmark146.729
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size534
Maximum domain size534
Distribution of domain sizes[{"size":534,"count":50}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":48},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity50
Distribution of constraint arities[{"arity":1,"count":51},{"arity":2,"count":1},{"arity":50,"count":1}]
Number of extensional constraints0
Number of intensional constraints52
Distribution of constraint types[{"type":"intension","count":52},{"type":"noOverlap","count":1}]
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-3077-serial-file.bin HOME/instance-4387927-1568292253.xml
0.66/0.52	
0.66/0.52	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.52	
0.66/0.55	c BEGIN-Prog: Thu Sep 12 14:43:33 CEST 2019
0.66/0.55	c PID: 3080
0.66/0.55	c IP: 172.20.3.146
0.66/0.55	c HOST: node146.alineos.net
0.66/0.55	c (0,0) Parsing Begin
1.21/0.89	c (0,0) Parsing End
1.21/0.90	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 534
1.21/0.90	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.21/0.90	c (0,0) Constraint Name Generate Begin
1.42/0.90	c (0,0) Ctr:HOME/instance-4387927-1568292253.xml,Le:NoOverlap:Num:Var
1.42/0.90	c (0,0) Constraint Name Generate End
1.42/0.90	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.42/0.90	c (0,0) CSP to CSPinCNF Begin
1.42/0.98	c (0,0) translated 6 (10%) constraints
1.42/0.99	c (0,0) translated 11 (20%) constraints
1.42/0.99	c (0,0) translated 16 (30%) constraints
1.42/0.99	c (0,0) translated 22 (40%) constraints
1.42/1.00	c (0,0) translated 27 (50%) constraints
1.42/1.00	c (0,0) translated 32 (60%) constraints
1.42/1.00	c (0,0) translated 38 (70%) constraints
1.42/1.00	c (0,0) translated 43 (80%) constraints
1.42/1.01	c (0,0) translated 48 (90%) constraints
2.18/1.27	c (0,0) translated 53 (100%) constraints
2.18/1.27	c (0,0) ===========================================
2.18/1.28	c (0,0) Hybrid: #OE=50, #LE=0
2.18/1.28	c (0,0) Hybrid
2.18/1.28	c (0,0) ===========================================
2.18/1.29	c (0,0) translated 36 (10%) constraints
2.18/1.30	c (0,0) translated 71 (20%) constraints
2.48/1.31	c (0,0) translated 106 (30%) constraints
2.48/1.31	c (0,0) translated 141 (40%) constraints
2.48/1.32	c (0,0) translated 176 (50%) constraints
2.48/1.32	c (0,0) translated 212 (60%) constraints
2.48/1.33	c (0,0) translated 247 (70%) constraints
2.48/1.33	c (0,0) translated 282 (80%) constraints
2.48/1.34	c (0,0) translated 317 (90%) constraints
2.48/1.34	c (0,0) translated 352 (100%) constraints
2.48/1.35	c (0,0) CSP to CSPinCNF End
2.48/1.35	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 524
2.48/1.35	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.48/1.35	c (0,0) CSPinCNF Propagation Begin
2.48/1.37	c (0,0) 0 values, 6 unsatisfiable literals, and 51 valid clauses are removed
2.48/1.37	c (0,0) CSPinCNF Propagation End
2.48/1.38	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 524
2.48/1.38	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.48/1.38	c (0,0) Hybrid: #OE=50, #LE=0
2.48/1.38	c (0,0) Simplify CSPinCNF Begin
2.80/1.47	c (0,0) Simplify CSPinCNF End
2.80/1.48	c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 524
2.80/1.48	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.80/1.48	c (0,0) Calculate Precise Domain Begin
2.80/1.48	c (0,0) 0 values are removed by re-calculation
2.80/1.48	c (0,0) Calculate Precise Domain End
2.80/1.48	c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 524
2.80/1.48	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.80/1.48	c (0,0) CSPinCNF to SatSolver Begin
4.49/2.35	c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 74517 SAT clauses)
4.88/2.54	c (2,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 125424 SAT clauses)
5.10/2.72	c (2,1) 449 (30 %) CSP clauses are encoded (0 SAT variables, 172822 SAT clauses)
5.33/2.90	c (2,2) 598 (40 %) CSP clauses are encoded (0 SAT variables, 222135 SAT clauses)
5.44/3.06	c (2,2) 748 (50 %) CSP clauses are encoded (0 SAT variables, 266424 SAT clauses)
5.65/3.22	c (2,2) 897 (60 %) CSP clauses are encoded (0 SAT variables, 309648 SAT clauses)
5.76/3.36	c (2,2) 1047 (70 %) CSP clauses are encoded (0 SAT variables, 349910 SAT clauses)
5.97/3.51	c (2,2) 1196 (80 %) CSP clauses are encoded (0 SAT variables, 388929 SAT clauses)
6.08/3.63	c (3,2) 1346 (90 %) CSP clauses are encoded (0 SAT variables, 421661 SAT clauses)
6.18/3.71	c (3,2) 1495 (100 %) CSP clauses are encoded (0 SAT variables, 444328 SAT clauses)
6.18/3.71	c (3,2) CSPinCNF to SatSolver End
6.18/3.71	c (3,2) Heap : 1746 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.18/3.71	c (3,2) 23206 bool, 444490 clause
6.18/3.71	c (3,2) Export Begin
6.18/3.79	c (3,2) Export to HOME/scop-3077-serial-file.bin
6.18/3.79	c (3,2) Export End
6.18/3.79	c (3,2) Export File Size: 0.01 MB
6.18/3.79	c (3,2) 0,0,0,0,0,0,3,STOP-AFTER(DIMACS)
6.18/3.79	c END-Prog: Thu Sep 12 14:43:36 CEST 2019
6.37/3.82	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-3077-serial-file.bin
6.89/4.27	c (0,0) Read Serial File Begin
6.89/4.27	c (0,0) HOME/scop-3077-serial-file.bin
7.15/4.46	c (0,0) Read Serial File End
7.15/4.48	
7.15/4.48	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
7.15/4.48	(Solving Process)
7.15/4.48	
7.31/4.50	c BEGIN-Prog: Thu Sep 12 14:43:37 CEST 2019
7.31/4.50	c PID: 3095
7.31/4.50	c IP: 172.20.3.146
7.31/4.50	c HOST: node146.alineos.net
7.31/4.50	c (0,0) SatSolver.solve Begin
7.31/4.50	c (0,0) HOME/cryptominisat5  HOME/instance-4387927-1568292253.xml-scop-3080.cnf
7.31/4.53	c (0,0) c Outputting solution to console
7.31/4.53	c (0,0) c CryptoMiniSat version 5.6.8
7.31/4.53	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
7.31/4.53	c (0,0) c CMS SHA revision GIT-notfound
7.31/4.53	c (0,0) c CMS is MIT licensed
7.31/4.53	c (0,0) c CMS compilation env CMAKE_CXX_COMPILER = /usr/bin/c++ | CMAKE_CXX_FLAGS =  -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic | COMPILE_DEFINES =  -DLARGE_OFFSETS -DBOOST_TEST_DYN_LINK -DUSE_ZLIB -DYALSAT_FPU | STATICCOMPILE = OFF | ONLY_SIMPLE = OFF | Boost_FOUND = 1 | STATS = OFF | SQLITE3_FOUND =  | ZLIB_FOUND = TRUE | VALGRIND_FOUND =  | ENABLE_TESTING = OFF | M4RI_FOUND = FALSE | NOM4RI = OFF | SLOW_DEBUG = OFF | ENABLE_ASSERTIONS = ON | PYTHON_EXECUTABLE = /usr/bin/python2.7 | PYTHON_LIBRARY = /usr/lib64/libpython2.7.so | PYTHON_INCLUDE_DIRS = /usr/include/python2.7 | MY_TARGETS =  | LARGEMEM = ON | LIMITMEM = OFF | compilation date time = Jul 11 2019 16:04:13
7.31/4.53	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
7.31/4.53	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387927-1568292253.xml-scop-3080.cnf
7.31/4.53	c (0,0) c Reading file 'HOME/instance-4387927-1568292253.xml-scop-3080.cnf'
7.31/4.53	c (0,0) c -- header says num vars:          23206
7.31/4.53	c (0,0) c -- header says num clauses:      444490
7.50/4.69	c (0,0) c -- clauses added: 444490
7.50/4.69	c (0,0) c -- xor clauses added: 0
7.50/4.69	c (0,0) c -- vars added 23206
7.50/4.69	c (0,0) c Parsing time: 0.14 s
7.51/4.71	c (0,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
7.51/4.71	c (0,0) c [distill] long cls tried: 0/0 cl-short:0 lit-r:0 T: 0.00 T-out: N T-r: 100.00%
7.98/5.09	c (0,0) c [distill] long cls tried: 94/94 cl-short:94 lit-r:10 T: 0.01 T-out: N T-r: 99.79%
8.58/5.64	c (1,0) c [distill] long cls tried: 81/175 cl-short:81 lit-r:23 T: 0.02 T-out: N T-r: 99.74%
8.68/5.77	c (1,0) c   glue     1    39  8193   23176  420K   24K    3.00    2.95   210  2305  5676     1   21.45   21.45
9.38/6.48	c (2,0) c [distill] long cls tried: 1169/1341 cl-short:1169 lit-r:259 T: 0.24 T-out: N T-r: 96.48%
10.17/7.20	c (3,0) c   geom     1    75 16386   23176  420K   24K    3.00    2.95  1533  5369  9475     8   22.52   22.51
10.27/7.39	c (3,0) c [distill] long cls tried: 217/1558 cl-short:217 lit-r:58 T: 0.07 T-out: N T-r: 99.12%
11.99/9.02	c (4,0) c [distill] long cls tried: 1215/2770 cl-short:1215 lit-r:349 T: 0.37 T-out: N T-r: 94.99%
12.09/9.12	c (4,0) c   glue     1   117   24K   23176  420K   24K    3.00    2.95  2775  6016 15772    15   23.36   23.35
14.17/11.21	c (7,0) c [distill] long cls tried: 1276/4044 cl-short:1276 lit-r:406 T: 0.48 T-out: N T-r: 93.93%
14.27/11.38	c (7,0) c   glue     1   168   32K   23176  420K   24K    3.00    2.95  4052  8541 18887    21   23.81   23.80
16.09/13.14	c (8,0) c   glue     1   199   40K   23176  420K   24K    3.00    2.95  5103  7507   27K    24   24.39   24.38
16.78/13.80	c (9,0) c [distill] long cls tried: 1064/5106 cl-short:1064 lit-r:379 T: 0.50 T-out: N T-r: 94.14%
18.77/15.82	c (11,0) c   glue     1   247   49K   23176  420K   24K    3.00    2.95  5336 10896   26K    26   24.24   24.23
20.48/17.55	c (13,0) c [distill] long cls tried: 1257/6361 cl-short:1257 lit-r:479 T: 0.70 T-out: N T-r: 92.38%
21.69/18.74	c (14,0) c   geom     1   278   57K   23176  420K   24K    3.00    2.95  6403  9313   35K    30   24.87   24.86
24.59/21.66	c (17,0) c   glue     1   331   65K   23176  420K   24K    3.00    2.95  7622  9530   34K    32   24.24   24.23
25.78/22.83	c (18,0) c [distill] long cls tried: 1265/7623 cl-short:1265 lit-r:549 T: 0.83 T-out: N T-r: 91.34%
26.88/23.96	c (19,0) c recursive minimization cost OK: 3107Kcost/(% lits removed)
26.88/23.96	c (19,0) c more minimization effectiveness low: 0.00 % lits removed --> disabling
26.88/23.97	c (19,0) c --> Executing strategy token: handle-comps
26.88/23.97	c (19,0) c --> Executing strategy token: scc-vrepl
26.88/23.97	c (19,0) c [scc] new: 0 BP 0M T: 0.01
26.88/23.99	c (19,0) c --> Executing strategy token: cache-clean
26.88/23.99	c (19,0) c --> Executing strategy token: cache-tryboth
26.88/23.99	c (19,0) c --> Executing strategy token: sub-impl
26.88/23.99	c (19,0) c [impl sub] bin: 1 T: 0.02 T-out: N w-visit: 46412
26.99/24.01	c (19,0) c --> Executing strategy token: intree-probe
26.99/24.01	c (19,0) c [scc] new: 0 BP 0M T: 0.01
26.99/24.04	c (19,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 1M T: 0.03
27.19/24.24	c (20,0) c [intree] Set 0 vars hyper-added: 57 trans-irred::478 trans-red::1 T: 0.20 T-out: N T-r: 99.12%
27.59/24.69	c (20,0) c --> Executing strategy token: probe
27.59/24.69	c (20,0) c --> Executing strategy token: sub-str-cls-with-bin
27.59/24.69	c (20,0) c [distill] cache-based irred--  cl tried   488778 cl-sh     0 cl-rem    0 lit-rem      0 T: 0.41 T-out: Y
27.59/24.69	c (20,0) c [distill] cache-based   red--  cl tried    15300 cl-sh     2 cl-rem    0 lit-rem      2 T: 0.02 T-out: N
28.70/25.77	c (21,0) c --> Executing strategy token: distill-cls
28.70/25.77	c (21,0) c [distill] long cls tried: 1997/418906 cl-short:1 lit-r:0 T: 1.08 T-out: Y T-r: -0.12%
28.70/25.77	c (21,0) c [distill] long useful: 2/3994/837812 lits-rem: 0 0-depth-assigns: 0 T: 2.15 T-out: Y
28.70/25.77	c (21,0) c --> Executing strategy token: scc-vrepl
28.70/25.77	c (21,0) c [scc] new: 0 BP 0M T: 0.01
28.70/25.79	c (21,0) c --> Executing strategy token: sub-impl
28.70/25.79	c (21,0) c [impl sub] bin: 0 T: 0.02 T-out: N w-visit: 46412
28.80/25.80	c (21,0) c --> Executing strategy token: str-impl
28.80/25.80	c (21,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.01 T-out: N T-r: 99.62% w-visit: 46412
28.80/25.82	c (21,0) c --> Executing strategy token: sub-impl
28.80/25.82	c (21,0) c [impl sub] bin: 0 T: 0.02 T-out: N w-visit: 46412
28.80/25.86	c (21,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
28.80/25.86	c (21,0) c [occ] mem usage for occur     40 MB
28.90/25.96	c (21,0) c [occ] mem usage for occur      3 MB
29.01/26.03	c (21,0) c Mem for watch alloc      : 32          MB (40.29     %)
29.01/26.03	c (21,0) c Mem for watch array      : 1           MB (1.33      %)
29.01/26.05	c (21,0) c --> Executing OCC strategy token: occ-backw-sub-str
29.01/26.05	c (21,0) c [occ-backw-sub-str-long-w-bins] subs: 0 str: 0 tried: 49016 0-depth ass: 0 T: 0.02 T-out: N T-r: 99.10%
29.40/26.43	c (22,0) c [occ-sub-long-w-long] rem cl: 34 tried: 950264/475132 (200.0%) T: 0.38 T-out: N T-r: 52.39%
30.11/27.19	c (22,0) c [occ-sub-str-long-w-long] sub: 0 str: 10 tried: 1425396/475132 (300.0)  T: 0.76 T-out: N T-r: 47.08%
30.20/27.20	c (23,0) c --> Executing OCC strategy token: occ-clean-implicit
30.20/27.20	c (23,0) c --> Executing OCC strategy token: occ-bve
30.20/27.20	c (23,0) c [occ-empty-res] Empty resolvent elimed: 0 T: 0.01 T-out: N
31.20/28.25	c (24,0) c [occ-bve] iter v-elim 1278
31.20/28.25	c (24,0) c cl_inc_rate=1.0, var_dec_rate=1.1 (grow=0)
31.20/28.26	c (24,0) c Reduced to 21898 vars, 442034 cls (grow=0)
31.51/28.56	c (24,0) c [occ-bve] iter v-elim 0
31.51/28.56	c (24,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=8)
31.51/28.56	c (24,0) c Reduced to 21898 vars, 442034 cls (grow=8)
31.81/28.87	c (24,0) c [occ-bve] iter v-elim 0
31.81/28.87	c (24,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=16)
31.81/28.88	c (24,0) c Reduced to 21898 vars, 442034 cls (grow=16)
31.81/28.88	c (24,0) c x n vars       : 21898
31.81/28.88	c (24,0) c  #try to eliminate:    88K
31.81/28.88	c (24,0) c  #var-elim        :   1278
31.81/28.88	c (24,0) c  #T-o: N
31.81/28.88	c (24,0) c  #T-r: 99.81%
31.81/28.88	c (24,0) c  #T  : 1.67
31.81/28.88	c (24,0) c [occur] 0.17 is overhead
31.81/28.88	c (24,0) c [occur] link-in T: 0.17 cleanup T: 0.00
31.81/28.88	c (24,0) c --> Executing OCC strategy token: occ-bva
31.81/28.89	c (24,0) c [occ-bva] global numcalls: 0
31.92/28.94	c (24,0) c --> Executing OCC strategy token: occ-ternary-res
31.92/28.94	c (24,0) c --> Executing OCC strategy token: occ-xor
31.92/28.94	c (24,0) c [occ-xor] sort occur list T: 0.05
32.32/29.38	c (25,0) c [occ-xor] found      0 T: 0.50 T-out: N T-r: 93.93%
32.32/29.38	c (25,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
32.52/29.52	c (25,0) c --> Executing strategy token: cl-consolidate
32.52/29.52	c (25,0) c [mem] consolidate  old-sz:    33M new-sz:  17818K new bits offs: 0 T: 0.03
32.52/29.52	c (25,0) c --> Executing strategy token: str-impl
32.52/29.52	c (25,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.01 T-out: N T-r: 99.66% w-visit: 46412
32.91/29.93	c (25,0) c --> Executing strategy token: cache-clean
32.91/29.93	c (25,0) c --> Executing strategy token: sub-str-cls-with-bin
32.91/29.93	c (25,0) c [distill] cache-based irred--  cl tried   838398 cl-sh     0 cl-rem    0 lit-rem      0 T: 0.39 T-out: N
32.91/29.93	c (25,0) c [distill] cache-based   red--  cl tried     3166 cl-sh     0 cl-rem    0 lit-rem      0 T: 0.00 T-out: N
34.12/31.11	c (26,0) c --> Executing strategy token: distill-cls
34.12/31.11	c (26,0) c [distill] long cls tried: 2027/419199 cl-short:100 lit-r:1 T: 1.18 T-out: Y T-r: -0.08%
34.12/31.11	c (26,0) c [distill] long useful: 200/4054/838398 lits-rem: 2 0-depth-assigns: 0 T: 2.35 T-out: Y
34.12/31.12	c (26,0) c --> Executing strategy token: scc-vrepl
34.12/31.12	c (26,0) c [scc] new: 0 BP 0M T: 0.01
34.12/31.12	c (26,0) c --> Executing strategy token: check-cache-size
34.12/31.12	c (26,0) c --> Executing strategy token: renumber
34.12/31.12	c (26,0) c --> Executing strategy token: sls
34.12/31.12	c (26,0) c [consolidate] mini T: 0.00
34.12/31.12	c (26,0) c global_timeout_multiplier: 4.40
34.12/31.13	c (26,0) c clause size stats. size3: 315111 size4: 614 size5: 103474 larger: 0
35.52/32.52	c (28,0) c   luby     0   381   73K   21898  419K   22K    3.50    3.42  1647  1515  3990    52   18.17   18.05
38.53/35.53	c (31,0) c   luby     0   414   81K   21898  419K   22K    3.50    3.42  2406  2271 10666    54   21.31   21.25
39.33/36.39	c (32,0) c [distill] long cls tried: 1040/2424 cl-short:1035 lit-r:349 T: 0.41 T-out: N T-r: 95.49%
42.44/39.46	c (35,0) c   luby     0   432   90K   21898  419K   22K    3.50    3.42  3194  3771 16569    56   23.54   23.49
46.05/43.11	c (38,0) c   luby     0   464   98K   21898  419K   22K    3.50    3.42  3265  4474   23K    56   25.25   25.21
49.34/46.37	c (42,0) c [distill] long cls tried: 1471/3893 cl-short:1470 lit-r:610 T: 0.87 T-out: N T-r: 91.59%
51.05/48.04	c (43,0) c   luby     0   489  106K   21898  419K   22K    3.50    3.42  4092  5484   25K    58   26.32   26.28
54.64/51.61	c (47,0) c   luby     0   490  114K   21898  419K   22K    3.50    3.42  4706  4369   34K    58   27.96   27.92
59.25/56.30	c (52,0) c   luby     0   521  122K   21898  419K   22K    3.50    3.42  5371  3883   32K    58   28.54   28.50
62.45/59.48	c (55,0) c [distill] long cls tried: 1500/5393 cl-short:1500 lit-r:880 T: 1.10 T-out: N T-r: 89.95%
65.06/62.07	c (57,0) c   luby     0   552  131K   21898  419K   22K    3.50    3.42  5901  3040   41K    58   29.44   29.40
69.56/66.55	c (62,0) c   luby     0   578  139K   21898  419K   22K    3.50    3.42  6118  4687   36K    58   28.82   28.79
75.17/72.19	c (67,0) c   luby     0   611  147K   21898  419K   22K    3.50    3.42  6589  4165   44K    58   28.94   28.92
80.08/77.02	c (72,0) c   luby     0   617  155K   21898  419K   22K    3.50    3.42  7279  4571   38K    58   27.24   27.21
84.78/81.76	c (77,0) c [distill] long cls tried: 2437/7829 cl-short:2437 lit-r:1464 T: 2.19 T-out: N T-r: 81.97%
86.77/83.74	c (79,0) c   luby     0   618  163K   21898  419K   22K    3.50    3.42  7845  3766   47K    60   27.85   27.82
88.57/85.58	c (81,0) c recursive minimization cost OK: 3633Kcost/(% lits removed)
88.57/85.59	c (81,0) c --> Executing strategy token: handle-comps
88.57/85.59	c (81,0) c --> Executing strategy token: scc-vrepl
88.57/85.59	c (81,0) c [scc] new: 0 BP 0M T: 0.01
88.67/85.61	c (81,0) c --> Executing strategy token: cache-clean
88.67/85.61	c (81,0) c --> Executing strategy token: cache-tryboth
88.67/85.61	c (81,0) c --> Executing strategy token: sub-impl
88.67/85.61	c (81,0) c [impl sub] bin: 1 T: 0.02 T-out: N w-visit: 46412
88.67/85.65	c (81,0) c --> Executing strategy token: intree-probe
88.67/85.65	c (81,0) c [scc] new: 0 BP 0M T: 0.01
88.77/85.71	c (81,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 1M T: 0.07
88.97/85.95	c (81,0) c [intree] Set 0 vars hyper-added: 0 trans-irred::10 trans-red::0 T: 0.24 T-out: N T-r: 99.28%
89.27/86.26	c (82,0) c --> Executing strategy token: probe
89.27/86.26	c (82,0) c --> Executing strategy token: sub-str-cls-with-bin
89.27/86.26	c (82,0) c [distill] cache-based irred--  cl tried   235378 cl-sh     0 cl-rem    0 lit-rem      0 T: 0.24 T-out: Y
89.27/86.26	c (82,0) c [distill] cache-based   red--  cl tried    16084 cl-sh     8 cl-rem    0 lit-rem      8 T: 0.03 T-out: N
90.77/87.70	c (83,0) c --> Executing strategy token: distill-cls
90.77/87.70	c (83,0) c [distill] long cls tried: 1952/419199 cl-short:102 lit-r:4 T: 1.45 T-out: Y T-r: -0.10%
90.77/87.70	c (83,0) c [distill] long useful: 204/3904/838398 lits-rem: 8 0-depth-assigns: 0 T: 2.89 T-out: Y
90.77/87.71	c (83,0) c --> Executing strategy token: scc-vrepl
90.77/87.71	c (83,0) c [scc] new: 0 BP 0M T: 0.01
90.77/87.73	c (83,0) c --> Executing strategy token: sub-impl
90.77/87.73	c (83,0) c [impl sub] bin: 0 T: 0.02 T-out: N w-visit: 46412
90.77/87.74	c (83,0) c --> Executing strategy token: str-impl
90.77/87.74	c (83,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.01 T-out: N T-r: 99.67% w-visit: 46412
90.77/87.76	c (83,0) c --> Executing strategy token: sub-impl
90.77/87.76	c (83,0) c [impl sub] bin: 0 T: 0.02 T-out: N w-visit: 46412
90.87/87.80	c (83,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
90.87/87.80	c (83,0) c [occ] mem usage for occur     46 MB
90.97/87.91	c (83,0) c [occ] mem usage for occur      3 MB
90.97/87.98	c (83,0) c Mem for watch alloc      : 42          MB (43.23     %)
90.97/87.98	c (83,0) c Mem for watch array      : 1           MB (1.08      %)
91.09/88.01	c (83,0) c --> Executing OCC strategy token: occ-backw-sub-str
91.09/88.01	c (83,0) c [occ-backw-sub-str-long-w-bins] subs: 0 str: 0 tried: 117639 0-depth ass: 0 T: 0.03 T-out: N T-r: 99.13%
91.48/88.40	c (84,0) c [occ-sub-long-w-long] rem cl: 57 tried: 938510/469255 (200.0%) T: 0.39 T-out: N T-r: 55.94%
92.19/89.18	c (84,0) c [occ-sub-str-long-w-long] sub: 0 str: 26 tried: 1407765/469255 (300.0)  T: 0.78 T-out: N T-r: 51.15%
92.19/89.20	c (84,0) c --> Executing OCC strategy token: occ-clean-implicit
92.19/89.20	c (85,0) c --> Executing OCC strategy token: occ-bve
92.19/89.20	c (85,0) c [occ-empty-res] Empty resolvent elimed: 0 T: 0.02 T-out: N
92.58/89.59	c (85,0) c [occ-bve] iter v-elim 10
92.58/89.59	c (85,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=0)
92.68/89.60	c (85,0) c Reduced to 21888 vars, 442014 cls (grow=0)
92.78/89.72	c (85,0) c [occ-bve] iter v-elim 0
92.78/89.72	c (85,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=8)
92.78/89.73	c (85,0) c Reduced to 21888 vars, 442014 cls (grow=8)
92.88/89.87	c (85,0) c [occ-bve] iter v-elim 0
92.88/89.87	c (85,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=16)
92.88/89.87	c (85,0) c Reduced to 21888 vars, 442014 cls (grow=16)
92.88/89.87	c (85,0) c x n vars       : 21888
92.88/89.87	c (85,0) c  #try to eliminate:    65K
92.88/89.87	c (85,0) c  #var-elim        :     10
92.88/89.87	c (85,0) c  #T-o: N
92.88/89.87	c (85,0) c  #T-r: 99.72%
92.88/89.87	c (85,0) c  #T  : 0.68
92.88/89.87	c (85,0) c [occur] 0.19 is overhead
92.88/89.87	c (85,0) c [occur] link-in T: 0.19 cleanup T: 0.00
92.88/89.87	c (85,0) c --> Executing OCC strategy token: occ-bva
92.88/89.87	c (85,0) c [occ-bva] global numcalls: 1
92.99/89.94	c (85,0) c --> Executing OCC strategy token: occ-ternary-res
92.99/89.94	c (85,0) c --> Executing OCC strategy token: occ-xor
92.99/89.95	c (85,0) c [occ-xor] sort occur list T: 0.06
93.50/90.43	c (86,0) c [occ-xor] found      0 T: 0.56 T-out: N T-r: 94.47%
93.50/90.43	c (86,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
93.60/90.54	c (86,0) c --> Executing strategy token: cl-consolidate
93.60/90.54	c (86,0) c Not consolidating memory.
93.60/90.55	c (86,0) c --> Executing strategy token: str-impl
93.60/90.55	c (86,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.01 T-out: N T-r: 99.67% w-visit: 46412
94.00/90.97	c (86,0) c --> Executing strategy token: cache-clean
94.00/90.97	c (86,0) c --> Executing strategy token: sub-str-cls-with-bin
94.00/90.97	c (86,0) c [distill] cache-based irred--  cl tried   726357 cl-sh     0 cl-rem    0 lit-rem      0 T: 0.37 T-out: Y
94.00/90.97	c (86,0) c [distill] cache-based   red--  cl tried    16938 cl-sh     8 cl-rem    0 lit-rem      8 T: 0.02 T-out: N
95.50/92.43	c (88,0) c --> Executing strategy token: distill-cls
95.50/92.43	c (88,0) c [distill] long cls tried: 1826/419199 cl-short:122 lit-r:1 T: 1.46 T-out: Y T-r: -0.07%
95.50/92.43	c (88,0) c [distill] long useful: 244/3652/838398 lits-rem: 2 0-depth-assigns: 0 T: 2.92 T-out: Y
95.50/92.43	c (88,0) c --> Executing strategy token: scc-vrepl
95.50/92.43	c (88,0) c [scc] new: 0 BP 0M T: 0.01
95.50/92.43	c (88,0) c --> Executing strategy token: check-cache-size
95.50/92.43	c (88,0) c --> Executing strategy token: renumber
95.50/92.43	c (88,0) c --> Executing strategy token: sls
95.50/92.43	c (88,0) c [consolidate] mini T: 0.00
95.50/92.43	c (88,0) c global_timeout_multiplier: 4.84
95.60/92.57	c (88,0) c [features] numVars 21888, numClauses 442014, var_cl_ratio 0.05, binary 0.05, horn 1.30, 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.97, vcg_var_min 0.00, vcg_var_max 0.00, vcg_var_spread 0.00, vcg_cls_mean 0.00, vcg_cls_std 0.48, vcg_cls_min 0.00, vcg_cls_max 0.00, vcg_cls_spread 0.00, pnr_var_mean 0.49, pnr_var_std 0.39, pnr_var_min 0.00, pnr_var_max 1.00, pnr_var_spread 1.00, pnr_cls_mean 0.64, pnr_cls_std 0.56, pnr_cls_min 0.00, pnr_cls_max 1.00, pnr_cls_spread 1.00, avg_confl_size 28.88, confl_size_min 1.00, confl_size_max 155.00, avg_confl_glue 14.88, confl_glue_min 1.00, confl_glue_max 50.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 31.35, branch_depth_min 16.00, branch_depth_max 109.00, avg_trail_depth_delta 1407.90, trail_depth_delta_min 2.00, trail_depth_delta_max 9658.00, avg_branch_depth_delta 1.61, props_per_confl 0.00, confl_per_restart 271.85, decisions_per_conflict 1.94, irred_cl_distrib.glue_distr_mean 999.97, irred_cl_distrib.glue_distr_var 26.09, irred_cl_distrib.size_distr_mean 3.50, irred_cl_distrib.size_distr_var 0.74, 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 312.50, red_cl_distrib.glue_distr_mean 2.87, red_cl_distrib.glue_distr_var 0.14, red_cl_distrib.size_distr_mean 8.72, red_cl_distrib.size_distr_var 11.14, red_cl_distrib.uip_use_distr_mean 0, red_cl_distrib.uip_use_distr_var 0, red_cl_distrib.activity_distr_mean 8976.48, red_cl_distrib.activity_distr_var 5202467552.79, num_gates_found_last 0, num_xors_found_last 0
95.60/92.58	c (88,0) c clause size stats. size3: 315111 size4: 622 size5: 103466 larger: 0
98.40/95.38	c (91,0) c   luby     0   640  172K   21888  419K   22K    3.50    3.42  8607  4445   40K    61   27.25   27.22
103.51/100.43	c (96,0) c   luby     0   672  180K   21888  419K   22K    3.50    3.42  9123  4617   34K    61   26.60   26.57
108.41/105.36	c (101,0) c   luby     0   689  188K   21888  419K   22K    3.50    3.42  9168  5177   41K    61   27.57   27.54
114.93/111.81	c (107,0) c [distill] long cls tried: 2022/9766 cl-short:2022 lit-r:1462 T: 1.95 T-out: N T-r: 85.77%
115.73/112.61	c (108,0) c   luby     0   720  196K   21888  419K   22K    3.50    3.42  9775  5201   35K    61   26.57   26.54
121.43/118.30	c (114,0) c   luby     0   745  204K   21888  419K   22K    3.50    3.42 10201  3827   44K    61   27.63   27.61
126.83/123.72	c (119,0) c   luby     0   746  213K   21888  419K   22K    3.50    3.42 10672  3482   39K    61   27.52   27.49
131.43/128.31	c (124,0) c   luby     0   778  221K   21888  419K   22K    3.50    3.42 11070  3141   48K    61   28.05   28.03
136.83/133.79	c (129,0) c   luby     0   809  229K   21888  419K   22K    3.50    3.42 11219  4377   40K    61   26.92   26.89
142.15/139.04	c (134,0) c   luby     0   837  237K   21888  419K   22K    3.50    3.42 11514  3842   49K    61   27.42   27.40
144.15/141.08	c (136,0) c [distill] long cls tried: 1748/11514 cl-short:1748 lit-r:1413 T: 1.97 T-out: N T-r: 85.70%
149.35/146.29	c (142,0) c   luby     0   869  245K   21888  419K   22K    3.50    3.42 11976  4113   43K    61   25.98   25.95
154.85/151.75	c (147,0) c   luby     0   873  253K   21888  419K   22K    3.50    3.42 12379  3091   51K    61   26.43   26.41
159.45/156.30	c (152,0) c   luby     0   874  262K   21888  419K   22K    3.50    3.42 12964  4051   45K    61   25.73   25.71
164.76/161.68	c (157,0) c   luby     0   874  270K   21888  419K   22K    3.50    3.42 13526  4385   36K    61   24.82   24.80
169.76/166.65	c (162,0) c   luby     0   875  278K   21888  419K   22K    3.50    3.42 13555  4765   44K    61   25.98   25.96
174.76/171.67	c (167,0) c   luby     0   875  286K   21888  419K   22K    3.50    3.42 14028  5136   38K    61   25.58   25.56
179.56/176.45	c (172,0) c   luby     0   875  294K   21888  419K   22K    3.50    3.42 14430  3654   47K    61   26.87   26.85
183.98/180.80	c (176,0) c [distill] long cls tried: 2921/14435 cl-short:2921 lit-r:2246 T: 3.40 T-out: N T-r: 75.78%
188.30/185.16	c (180,0) c   luby     0   906  303K   21888  419K   22K    3.50    3.42 14873  3945   40K    61   26.72   26.69
189.79/186.62	c (182,0) c recursive minimization cost OK: 5035Kcost/(% lits removed)
189.79/186.62	c (182,0) c --> Executing strategy token: handle-comps
189.79/186.62	c (182,0) c --> Executing strategy token: scc-vrepl
189.79/186.62	c (182,0) c [scc] new: 0 BP 0M T: 0.01
189.79/186.65	c (182,0) c --> Executing strategy token: cache-clean
189.79/186.65	c (182,0) c --> Executing strategy token: cache-tryboth
189.79/186.65	c (182,0) c --> Executing strategy token: sub-impl
189.79/186.65	c (182,0) c [impl sub] bin: 0 T: 0.02 T-out: N w-visit: 46412
189.79/186.69	c (182,0) c --> Executing strategy token: intree-probe
189.79/186.69	c (182,0) c [scc] new: 0 BP 0M T: 0.01
189.89/186.76	c (182,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 1M T: 0.07
190.09/187.00	c (182,0) c [intree] Set 0 vars hyper-added: 1 trans-irred::0 trans-red::1 T: 0.25 T-out: N T-r: 99.39%
190.49/187.36	c (183,0) c --> Executing strategy token: probe
190.49/187.36	c (183,0) c --> Executing strategy token: sub-str-cls-with-bin
190.49/187.36	c (183,0) c [distill] cache-based irred--  cl tried   261433 cl-sh     0 cl-rem    0 lit-rem      0 T: 0.26 T-out: Y
190.49/187.36	c (183,0) c [distill] cache-based   red--  cl tried    29756 cl-sh    15 cl-rem    0 lit-rem     15 T: 0.06 T-out: N
192.09/188.97	c (184,0) c --> Executing strategy token: distill-cls
192.09/188.97	c (184,0) c [distill] long cls tried: 2117/419199 cl-short:110 lit-r:1 T: 1.61 T-out: Y T-r: -0.07%
192.09/188.97	c (184,0) c [distill] long useful: 220/4234/838398 lits-rem: 2 0-depth-assigns: 0 T: 3.22 T-out: Y
192.09/188.98	c (184,0) c --> Executing strategy token: scc-vrepl
192.09/188.98	c (184,0) c [scc] new: 0 BP 0M T: 0.01
192.09/189.00	c (184,0) c --> Executing strategy token: sub-impl
192.09/189.00	c (184,0) c [impl sub] bin: 0 T: 0.02 T-out: N w-visit: 46412
192.20/189.01	c (184,0) c --> Executing strategy token: str-impl
192.20/189.01	c (184,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.01 T-out: N T-r: 99.69% w-visit: 46412
192.20/189.03	c (184,0) c --> Executing strategy token: sub-impl
192.20/189.03	c (184,0) c [impl sub] bin: 0 T: 0.02 T-out: N w-visit: 46412
192.20/189.08	c (184,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
192.20/189.08	c (184,0) c [occ] mem usage for occur     46 MB
192.30/189.19	c (184,0) c [occ] mem usage for occur      5 MB
192.39/189.27	c (185,0) c Mem for watch alloc      : 49          MB (46.33     %)
192.39/189.27	c (185,0) c Mem for watch array      : 1           MB (1.00      %)
192.49/189.30	c (185,0) c --> Executing OCC strategy token: occ-backw-sub-str
192.49/189.30	c (185,0) c [occ-backw-sub-str-long-w-bins] subs: 0 str: 0 tried: 163640 0-depth ass: 0 T: 0.03 T-out: N T-r: 99.16%
192.89/189.72	c (185,0) c [occ-sub-long-w-long] rem cl: 65 tried: 960642/480321 (200.0%) T: 0.42 T-out: N T-r: 55.63%
193.69/190.55	c (186,0) c [occ-sub-str-long-w-long] sub: 0 str: 39 tried: 1440963/480321 (300.0)  T: 0.83 T-out: N T-r: 52.71%
193.69/190.57	c (186,0) c --> Executing OCC strategy token: occ-clean-implicit
193.69/190.57	c (186,0) c --> Executing OCC strategy token: occ-bve
193.69/190.57	c (186,0) c [occ-empty-res] Empty resolvent elimed: 0 T: 0.02 T-out: N
194.09/190.96	c (186,0) c [occ-bve] iter v-elim 0
194.09/190.96	c (186,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=0)
194.09/190.96	c (186,0) c Reduced to 21888 vars, 442014 cls (grow=0)
194.49/191.31	c (187,0) c [occ-bve] iter v-elim 0
194.49/191.31	c (187,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=8)
194.49/191.31	c (187,0) c Reduced to 21888 vars, 442014 cls (grow=8)
194.79/191.67	c (187,0) c [occ-bve] iter v-elim 0
194.79/191.67	c (187,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=16)
194.79/191.68	c (187,0) c Reduced to 21888 vars, 442014 cls (grow=16)
194.79/191.68	c (187,0) c x n vars       : 21888
194.79/191.68	c (187,0) c  #try to eliminate:    65K
194.79/191.68	c (187,0) c  #var-elim        :      0
194.79/191.68	c (187,0) c  #T-o: N
194.79/191.68	c (187,0) c  #T-r: 99.74%
194.79/191.68	c (187,0) c  #T  : 1.11
194.79/191.68	c (187,0) c [occur] 0.20 is overhead
194.79/191.68	c (187,0) c [occur] link-in T: 0.20 cleanup T: 0.00
194.79/191.68	c (187,0) c --> Executing OCC strategy token: occ-bva
194.79/191.68	c (187,0) c [occ-bva] global numcalls: 2
194.90/191.74	c (187,0) c --> Executing OCC strategy token: occ-ternary-res
194.90/191.74	c (187,0) c --> Executing OCC strategy token: occ-xor
194.90/191.74	c (187,0) c [occ-xor] sort occur list T: 0.07
195.40/192.24	c (188,0) c [occ-xor] found      0 T: 0.57 T-out: N T-r: 94.88%
195.40/192.24	c (188,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
195.50/192.36	c (188,0) c --> Executing strategy token: cl-consolidate
195.50/192.36	c (188,0) c Not consolidating memory.
195.50/192.37	c (188,0) c --> Executing strategy token: str-impl
195.50/192.37	c (188,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.01 T-out: N T-r: 99.69% w-visit: 46412
196.00/192.82	c (188,0) c --> Executing strategy token: cache-clean
196.00/192.82	c (188,0) c --> Executing strategy token: sub-str-cls-with-bin
196.00/192.82	c (188,0) c [distill] cache-based irred--  cl tried   746915 cl-sh     0 cl-rem    0 lit-rem      0 T: 0.38 T-out: Y
196.00/192.82	c (188,0) c [distill] cache-based   red--  cl tried    29982 cl-sh     1 cl-rem    0 lit-rem      1 T: 0.04 T-out: N
197.60/194.45	c (190,0) c --> Executing strategy token: distill-cls
197.60/194.45	c (190,0) c [distill] long cls tried: 1947/419199 cl-short:101 lit-r:1 T: 1.63 T-out: Y T-r: -0.09%
197.60/194.45	c (190,0) c [distill] long useful: 202/3894/838398 lits-rem: 2 0-depth-assigns: 0 T: 3.26 T-out: Y
197.60/194.46	c (190,0) c --> Executing strategy token: scc-vrepl
197.60/194.46	c (190,0) c [scc] new: 0 BP 0M T: 0.01
197.60/194.46	c (190,0) c --> Executing strategy token: check-cache-size
197.60/194.46	c (190,0) c --> Executing strategy token: renumber
197.60/194.46	c (190,0) c --> Executing strategy token: sls
197.60/194.46	c (190,0) c [consolidate] mini T: 0.00
197.60/194.46	c (190,0) c global_timeout_multiplier: 5.32
197.60/194.48	c (190,0) c clause size stats. size3: 315111 size4: 625 size5: 103463 larger: 0
200.92/197.75	c (193,0) c   glue     1   966  311K   21888  419K   22K    3.50    3.42 15363  4546   47K    61   27.08   27.05
204.72/201.56	c (197,0) c   geom     1  1019  319K   21888  419K   22K    3.50    3.42 15494  6780   37K    61   24.63   24.61
208.52/205.37	c (201,0) c   glue     1  1053  327K   21888  419K   22K    3.50    3.42 16153  6176   45K    61   25.02   25.00
213.02/209.83	c (205,0) c   glue     1  1098  335K   21888  419K   22K    3.50    3.42 17071  7334   37K    61   22.70   22.68
217.33/214.15	c (209,0) c   glue     1  1146  344K   21888  419K   22K    3.50    3.42 17854  6327   46K    61   23.19   23.17
222.64/219.49	c (215,0) c [distill] long cls tried: 3725/18091 cl-short:3723 lit-r:2874 T: 4.09 T-out: N T-r: 73.60%
225.25/222.07	c (217,0) c   geom     1  1180  352K   21888  419K   22K    3.50    3.42 18784  6828   40K    62   21.99   21.97
229.74/226.55	c (222,0) c   glue     1  1227  360K   21888  419K   22K    3.50    3.42 19605  7477   34K    62   21.43   21.41
234.15/230.90	c (226,0) c   glue     1  1257  368K   21888  419K   22K    3.50    3.42 19661  8576   41K    62   22.25   22.23
238.45/235.29	c (231,0) c   geom     1  1285  376K   21888  419K   22K    3.50    3.42   20K  9083   36K    63   21.32   21.30
243.15/239.99	c (235,0) c   glue     1  1330  385K   21888  419K   22K    3.50    3.42   21K  7933   44K    63   21.96   21.95
244.95/241.79	c (237,0) c ------- FINAL TOTAL SEARCH STATS ---------
244.95/241.79	c (237,0) c UIP search time          : 214.94      (90.66     % time)
244.95/241.79	c (237,0) c restarts                 : 1353        (287.58    confls per restart)
244.95/241.79	c (237,0) c blocked restarts         : 176         (0.13      per normal restart)
244.95/241.79	c (237,0) c time                     : 214.94      
244.95/241.79	c (237,0) c decisions                : 686332      (0.00      % random)
244.95/241.79	c (237,0) c propagations             : 568426119   
244.95/241.79	c (237,0) c decisions/conflicts      : 1.76        
244.95/241.79	c (237,0) c conflicts                : 389099      (1810.29   / sec)
244.95/241.79	c (237,0) c conf lits non-minim      : 19111132    (49.12     lit/confl)
244.95/241.79	c (237,0) c conf lits final          : 30.28       
244.95/241.79	c (237,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
244.95/241.79	c (237,0) c red which0               : 2669        (0.69      % of confl)
244.95/241.79	c (237,0) c props/decision           : 0.00        
244.95/241.79	c (237,0) c props/conflict           : 0.00        
244.95/241.79	c (237,0) c 0-depth assigns          : 30          (0.13      % vars)
244.95/241.79	c (237,0) c 0-depth assigns by CNF   : 0           (0.00      % vars)
244.95/241.79	c (237,0) c reduceDB time            : 0.22        (0.09      % time)
244.95/241.79	c (237,0) c OccSimplifier time       : 9.51        (4.01      % time)
244.95/241.79	c (237,0) c [occur] 0.88 is overhead
244.95/241.79	c (237,0) c [occur] link-in T: 0.56 cleanup T: 0.32
244.95/241.79	c (237,0) c [occ-substr] long subBySub: 281 subByStr: 0 lits-rem-str: 242 T: 7.01
244.95/241.79	c (237,0) c SCC time                 : 0.07        (0.03      % time)
244.95/241.79	c (237,0) c [scc] new: 0 BP 3M  T: 0.07
244.95/241.79	c (237,0) c vrep replace time        : 0.16        (0.07      % time)
244.95/241.79	c (237,0) c vrep tree roots          : 0           
244.95/241.79	c (237,0) c vrep trees' crown        : 0           (0.00      leafs/tree)
244.95/241.79	c (237,0) c distill time             : 36.01       (15.19     % time)
244.95/241.79	c (237,0) c strength cache-irred time: 2.05        (0.86      % time)
244.95/241.79	c (237,0) c strength cache-red time  : 0.17        (0.07      % time)
244.95/241.79	c (237,0) c Conflicts in UIP         : 389099      (1641.26   confl/time_this_thread)
244.95/241.79	c (237,0) c Mem used                 : 111.73      MB
244.95/241.79	c (237,0) c Total time (this thread) : 237.07      
244.95/241.79	c (237,0) s SATISFIABLE
245.41/241.90	c (237,0) SatSolver.solve End
245.41/241.90	c (237,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
245.41/241.90	c (237,0) Show results Begin
245.41/242.00	c (237,0) x[0] = 209
245.41/242.00	c (237,0) x[1] = 81
245.41/242.00	c (237,0) x[2] = 345
245.41/242.00	c (237,0) x[3] = 193
245.41/242.00	c (237,0) x[4] = 345
245.41/242.00	c (237,0) x[5] = 193
245.41/242.00	c (237,0) x[6] = 220
245.41/242.00	c (237,0) x[7] = 149
245.41/242.00	c (237,0) x[8] = 209
245.41/242.00	c (237,0) x[9] = 149
245.41/242.00	c (237,0) x[10] = 149
245.41/242.00	c (237,0) x[11] = 149
245.41/242.00	c (237,0) x[12] = 81
245.41/242.00	c (237,0) x[13] = 0
245.41/242.00	c (237,0) x[14] = 258
245.41/242.00	c (237,0) x[15] = 0
245.41/242.00	c (237,0) x[16] = 94
245.41/242.00	c (237,0) x[17] = 210
245.41/242.00	c (237,0) x[18] = 0
245.41/242.00	c (237,0) x[19] = 210
245.41/242.00	c (237,0) x[20] = 201
245.41/242.00	c (237,0) x[21] = 363
245.41/242.00	c (237,0) x[22] = 360
245.41/242.00	c (237,0) x[23] = 345
245.41/242.00	c (237,0) x[24] = 0
245.41/242.00	c (237,0) y[0] = 315
245.41/242.00	c (237,0) y[1] = 427
245.41/242.00	c (237,0) y[2] = 360
245.41/242.00	c (237,0) y[3] = 271
245.41/242.00	c (237,0) y[4] = 153
245.41/242.00	c (237,0) y[5] = 288
245.41/242.00	c (237,0) y[6] = 288
245.41/242.00	c (237,0) y[7] = 271
245.41/242.00	c (237,0) y[8] = 326
245.41/242.00	c (237,0) y[9] = 375
245.41/242.00	c (237,0) y[10] = 315
245.41/242.00	c (237,0) y[11] = 210
245.41/242.00	c (237,0) y[12] = 359
245.41/242.00	c (237,0) y[13] = 359
245.41/242.00	c (237,0) y[14] = 288
245.41/242.00	c (237,0) y[15] = 440
245.41/242.00	c (237,0) y[16] = 427
245.41/242.00	c (237,0) y[17] = 153
245.41/242.00	c (237,0) y[18] = 210
245.41/242.00	c (237,0) y[19] = 0
245.41/242.00	c (237,0) y[20] = 375
245.41/242.00	c (237,0) y[21] = 0
245.41/242.00	c (237,0) y[22] = 360
245.41/242.00	c (237,0) y[23] = 171
245.41/242.00	c (237,0) y[24] = 0
245.41/242.00	s SATISFIABLE
245.41/242.00	v <instantiation>
245.41/242.00	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] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24]</list>
245.41/242.00	v     <values>209 81 345 193 345 193 220 149 209 149 149 149 81 0 258 0 94 210 0 210 201 363 360 345 0 315 427 360 271 153 288 288 271 326 375 315 210 359 359 288 440 427 153 210 0 375 0 360 171 0</values>
245.41/242.00	v </instantiation>
245.41/242.00	c (237,0) Show results End
245.41/242.00	c (237,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
245.41/242.00	c (237,0) 237,237,STOP-AFTER(ALL)
245.41/242.00	c END-Prog: Thu Sep 12 14:47:34 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 (15101 MiB free)
  memory of node 1: 16384 MiB (15677 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387927-1568292253/watcher-4387927-1568292253 -o /tmp/evaluation-result-4387927-1568292253/solver-4387927-1568292253 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568286001-1043 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387927-1568292253.xml 

running on 4 cores: 1,3,5,7

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

solver pid=3077, runsolver pid=3074

[startup+0.100157 s]*
/proc/loadavg: 2.03 2.05 2.05 4/234 3094
/proc/meminfo: memFree=31458912/32770624 swapFree=66999584/67108860
[pid=3077] ppid=3074 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/3077/stat : 3077 (scop.sh) S 3074 3077 31842 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405139302 115843072 349 33554432000 4194304 5098028 140734800881392 140734800878648 140487127249532 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21893120 140734800888675 140734800888944 140734800888944 140734800891853 0
/proc/3077/statm: 28282 349 296 221 0 87 0
[pid=3080] ppid=3077 vsize=15013720 memory=73116 CPUtime=0.11 cores=1,3,5,7
/proc/3080/stat : 3080 (java) S 3077 3077 31842 0 -1 1077944320 7141 0 0 0 9 2 0 0 20 0 15 0 405139302 15374049280 18279 33554432000 4194304 4196468 140734950635728 140734950618272 140221692047095 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
/proc/3080/statm: 3753430 18279 2888 1 0 3715835 0
[pid=3080/tid=3081] ppid=3077 vsize=15016308 memory=-7812800577974661515 CPUtime=0.08 cores=1,3,5,7
/proc/3080/task/3081/stat : 3081 (java) R 3077 3077 31842 0 -1 4202560 5570 0 0 0 7 1 0 0 20 0 15 0 405139302 15376699392 18939 33554432000 4194304 4196468 140734950635728 140221663831344 140221684726813 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3082] ppid=3077 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3082/stat : 3082 (java) S 3077 3077 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405139304 15376699392 18939 33554432000 4194304 4196468 140734950635728 140221696289936 140221692057301 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3083] ppid=3077 vsize=15016308 memory=140510291768960 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3083/stat : 3083 (java) S 3077 3077 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405139304 15376699392 18939 33554432000 4194304 4196468 140734950635728 140221495065616 140221692057301 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3084] ppid=3077 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3084/stat : 3084 (java) S 3077 3077 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405139304 15376699392 18939 33554432000 4194304 4196468 140734950635728 140221494012816 140221692057301 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3085] ppid=3077 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3085/stat : 3085 (java) S 3077 3077 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405139304 15376699392 18939 33554432000 4194304 4196468 140734950635728 140221492960016 140221692057301 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3086] ppid=3077 vsize=15016308 memory=140510291768960 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3086/stat : 3086 (java) S 3077 3077 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405139305 15376699392 18939 33554432000 4194304 4196468 140734950635728 140221098801520 140221692058242 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3087] ppid=3077 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3087/stat : 3087 (java) S 3077 3077 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405139306 15376699392 18939 33554432000 4194304 4196468 140734950635728 140220280333344 140221692057301 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3088] ppid=3077 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3088/stat : 3088 (java) S 3077 3077 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405139306 15376699392 18939 33554432000 4194304 4196468 140734950635728 140220011897712 140221692057301 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3089] ppid=3077 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3089/stat : 3089 (java) S 3077 3077 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405139308 15376699392 18939 33554432000 4194304 4196468 140734950635728 140219637389136 140221692065691 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3090] ppid=3077 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3090/stat : 3090 (java) S 3077 3077 31842 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 405139308 15376699392 18850 33554432000 4194304 4196468 140734950635728 140221097749360 140221692058242 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3091] ppid=3077 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3091/stat : 3091 (java) S 3077 3077 31842 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 405139308 15376699392 18578 33554432000 4194304 4196468 140734950635728 140221096696560 140221692058242 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3092] ppid=3077 vsize=15014680 memory=140510291768960 CPUtime=0.01 cores=1,3,5,7
/proc/3080/task/3092/stat : 3092 (java) S 3077 3077 31842 0 -1 1077944384 461 0 0 0 1 0 0 0 20 0 15 0 405139309 15375032320 18578 33554432000 4194304 4196468 140734950635728 140221095643760 140221692058242 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3093] ppid=3077 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3093/stat : 3093 (java) S 3077 3077 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405139309 15375032320 18338 33554432000 4194304 4196468 140734950635728 140219139484384 140221692057301 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3094] ppid=3077 vsize=15014680 memory=140510291768960 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3094/stat : 3094 (java) S 3077 3077 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405139309 15375032320 18338 33554432000 4194304 4196468 140734950635728 140221094591152 140221692058242 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15126848 KiB
Current children cumulated memory: 74512 KiB

[startup+0.211375 s]*
/proc/loadavg: 2.03 2.05 2.05 3/234 3094
/proc/meminfo: memFree=31443372/32770624 swapFree=66999584/67108860
[pid=3077] ppid=3074 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/3077/stat : 3077 (scop.sh) S 3074 3077 31842 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405139302 115843072 349 33554432000 4194304 5098028 140734800881392 140734800878648 140487127249532 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21893120 140734800888675 140734800888944 140734800888944 140734800891853 0
/proc/3077/statm: 28282 349 296 221 0 87 0
[pid=3080] ppid=3077 vsize=15012696 memory=85820 CPUtime=0.25 cores=1,3,5,7
/proc/3080/stat : 3080 (java) S 3077 3077 31842 0 -1 1077944320 11492 0 0 0 22 3 0 0 20 0 15 0 405139302 15373000704 21455 33554432000 4194304 4196468 140734950635728 140734950618272 140221692047095 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
/proc/3080/statm: 3753174 21455 2960 1 0 3715579 0
[pid=3080/tid=3081] ppid=3077 vsize=15012696 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/3080/task/3081/stat : 3081 (java) R 3077 3077 31842 0 -1 4202560 9235 0 0 0 17 2 0 0 20 0 15 0 405139302 15373000704 21455 33554432000 4194304 4196468 140734950635728 140221663862336 140221692069021 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3082] ppid=3077 vsize=15012696 memory=539 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3082/stat : 3082 (java) S 3077 3077 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405139304 15373000704 21455 33554432000 4194304 4196468 140734950635728 140221696289936 140221692057301 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3083] ppid=3077 vsize=15012696 memory=140510291793286 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3083/stat : 3083 (java) S 3077 3077 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405139304 15373000704 21455 33554432000 4194304 4196468 140734950635728 140221495065616 140221692057301 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3084] ppid=3077 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3084/stat : 3084 (java) S 3077 3077 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405139304 15373000704 21455 33554432000 4194304 4196468 140734950635728 140221494012816 140221692057301 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3085] ppid=3077 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3085/stat : 3085 (java) S 3077 3077 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405139304 15373000704 21455 33554432000 4194304 4196468 140734950635728 140221492960016 140221692057301 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3086] ppid=3077 vsize=15012696 memory=140510291768960 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3086/stat : 3086 (java) S 3077 3077 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405139305 15373000704 21455 33554432000 4194304 4196468 140734950635728 140221098801520 140221692058242 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3087] ppid=3077 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3087/stat : 3087 (java) S 3077 3077 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405139306 15373000704 21455 33554432000 4194304 4196468 140734950635728 140220280333344 140221692057301 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3088] ppid=3077 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3088/stat : 3088 (java) S 3077 3077 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405139306 15373000704 21455 33554432000 4194304 4196468 140734950635728 140220011897712 140221692057301 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3089] ppid=3077 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3089/stat : 3089 (java) S 3077 3077 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405139308 15373000704 21455 33554432000 4194304 4196468 140734950635728 140219637389136 140221692065691 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3090] ppid=3077 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3090/stat : 3090 (java) S 3077 3077 31842 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 405139308 15373000704 21455 33554432000 4194304 4196468 140734950635728 140221097749360 140221692058242 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3091] ppid=3077 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3091/stat : 3091 (java) S 3077 3077 31842 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 15 0 405139308 15373000704 21455 33554432000 4194304 4196468 140734950635728 140221096696560 140221692058242 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3092] ppid=3077 vsize=15012696 memory=140510291768960 CPUtime=0.03 cores=1,3,5,7
/proc/3080/task/3092/stat : 3092 (java) S 3077 3077 31842 0 -1 1077944384 491 0 0 0 3 0 0 0 20 0 15 0 405139309 15373000704 21455 33554432000 4194304 4196468 140734950635728 140221095643760 140221692058242 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3093] ppid=3077 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3093/stat : 3093 (java) S 3077 3077 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405139309 15373000704 21455 33554432000 4194304 4196468 140734950635728 140219139484384 140221692057301 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3094] ppid=3077 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3094/stat : 3094 (java) S 3077 3077 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405139309 15373000704 21455 33554432000 4194304 4196468 140734950635728 140221094591152 140221692058242 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87216 KiB

[startup+0.312412 s]*
/proc/loadavg: 2.03 2.05 2.05 3/234 3094
/proc/meminfo: memFree=31440184/32770624 swapFree=66999584/67108860
[pid=3077] ppid=3074 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/3077/stat : 3077 (scop.sh) S 3074 3077 31842 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405139302 115843072 349 33554432000 4194304 5098028 140734800881392 140734800878648 140487127249532 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21893120 140734800888675 140734800888944 140734800888944 140734800891853 0
/proc/3077/statm: 28282 349 296 221 0 87 0
[pid=3080] ppid=3077 vsize=15012696 memory=90208 CPUtime=0.43 cores=1,3,5,7
/proc/3080/stat : 3080 (java) S 3077 3077 31842 0 -1 1077944320 12543 0 0 0 39 4 0 0 20 0 15 0 405139302 15373000704 22552 33554432000 4194304 4196468 140734950635728 140734950618272 140221692047095 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
/proc/3080/statm: 3753174 22552 3083 1 0 3715579 0
[pid=3080/tid=3081] ppid=3077 vsize=15012696 memory=6935054825532540783 CPUtime=0.3 cores=1,3,5,7
/proc/3080/task/3081/stat : 3081 (java) R 3077 3077 31842 0 -1 4202560 10053 0 0 0 27 3 0 0 20 0 15 0 405139302 15373000704 22552 33554432000 4194304 4196468 140734950635728 140221663841200 140221673610651 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3082] ppid=3077 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3082/stat : 3082 (java) S 3077 3077 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405139304 15373000704 22552 33554432000 4194304 4196468 140734950635728 140221696289936 140221692057301 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3083] ppid=3077 vsize=15012696 memory=-2893623298589923098 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3083/stat : 3083 (java) S 3077 3077 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405139304 15373000704 22552 33554432000 4194304 4196468 140734950635728 140221495065616 140221692057301 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3084] ppid=3077 vsize=15012696 memory=4206186544037388384 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3084/stat : 3084 (java) S 3077 3077 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405139304 15373000704 22552 33554432000 4194304 4196468 140734950635728 140221494012816 140221692057301 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3085] ppid=3077 vsize=15012696 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3085/stat : 3085 (java) S 3077 3077 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405139304 15373000704 22552 33554432000 4194304 4196468 140734950635728 140221492960016 140221692057301 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3086] ppid=3077 vsize=15012696 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3086/stat : 3086 (java) S 3077 3077 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405139305 15373000704 22552 33554432000 4194304 4196468 140734950635728 140221098801520 140221692058242 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3087] ppid=3077 vsize=15012696 memory=-6948055166404804227 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3087/stat : 3087 (java) S 3077 3077 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405139306 15373000704 22552 33554432000 4194304 4196468 140734950635728 140220280333344 140221692057301 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3088] ppid=3077 vsize=15012696 memory=7305771399815852694 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3088/stat : 3088 (java) S 3077 3077 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405139306 15373000704 22552 33554432000 4194304 4196468 140734950635728 140220011897712 140221692057301 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3089] ppid=3077 vsize=15012696 memory=-8990763340995141536 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3089/stat : 3089 (java) S 3077 3077 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405139308 15373000704 22552 33554432000 4194304 4196468 140734950635728 140219637389136 140221692065691 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3090] ppid=3077 vsize=15012696 memory=7893295687695688722 CPUtime=0.01 cores=1,3,5,7
/proc/3080/task/3090/stat : 3090 (java) S 3077 3077 31842 0 -1 1077944384 353 0 0 0 1 0 0 0 20 0 15 0 405139308 15373000704 22552 33554432000 4194304 4196468 140734950635728 140221097749360 140221692058242 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3091] ppid=3077 vsize=15012696 memory=3054156605368930971 CPUtime=0.03 cores=1,3,5,7
/proc/3080/task/3091/stat : 3091 (java) S 3077 3077 31842 0 -1 1077944384 275 0 0 0 3 0 0 0 20 0 15 0 405139308 15373000704 22552 33554432000 4194304 4196468 140734950635728 140221096696560 140221692058242 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3092] ppid=3077 vsize=15012696 memory=7972682638833193819 CPUtime=0.07 cores=1,3,5,7
/proc/3080/task/3092/stat : 3092 (java) S 3077 3077 31842 0 -1 1077944384 530 0 0 0 7 0 0 0 20 0 15 0 405139309 15373000704 22552 33554432000 4194304 4196468 140734950635728 140221095643760 140221692058242 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3093] ppid=3077 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3093/stat : 3093 (java) S 3077 3077 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405139309 15373000704 22552 33554432000 4194304 4196468 140734950635728 140219139484384 140221692057301 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3094] ppid=3077 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3094/stat : 3094 (java) S 3077 3077 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405139309 15373000704 22552 33554432000 4194304 4196468 140734950635728 140221094591152 140221692058242 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91604 KiB

[startup+0.701372 s]
/proc/loadavg: 2.03 2.05 2.05 3/234 3094
/proc/meminfo: memFree=31415876/32770624 swapFree=66999584/67108860
[pid=3077] ppid=3074 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/3077/stat : 3077 (scop.sh) S 3074 3077 31842 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405139302 115843072 349 33554432000 4194304 5098028 140734800881392 140734800878648 140487127249532 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21893120 140734800888675 140734800888944 140734800888944 140734800891853 0
/proc/3077/statm: 28282 349 296 221 0 87 0
[pid=3080] ppid=3077 vsize=15021092 memory=130140 CPUtime=1.02 cores=1,3,5,7
/proc/3080/stat : 3080 (java) S 3077 3077 31842 0 -1 1077944320 20536 0 0 0 96 6 0 0 20 0 15 0 405139302 15381598208 32535 33554432000 4194304 4196468 140734950635728 140734950618272 140221692047095 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
/proc/3080/statm: 3755273 32535 3201 1 0 3716603 0
[pid=3080/tid=3081] ppid=3077 vsize=15021092 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/3080/task/3081/stat : 3081 (java) R 3077 3077 31842 0 -1 4202560 17510 0 0 0 63 5 0 0 20 0 15 0 405139302 15381598208 32535 33554432000 4194304 4196468 140734950635728 140221663885072 140221677415478 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3082] ppid=3077 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3082/stat : 3082 (java) S 3077 3077 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405139304 15381598208 32535 33554432000 4194304 4196468 140734950635728 140221696289936 140221692057301 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3083] ppid=3077 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3083/stat : 3083 (java) S 3077 3077 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405139304 15381598208 32535 33554432000 4194304 4196468 140734950635728 140221495065616 140221692057301 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3084] ppid=3077 vsize=15021092 memory=1294 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3084/stat : 3084 (java) S 3077 3077 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405139304 15381598208 32535 33554432000 4194304 4196468 140734950635728 140221494012816 140221692057301 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3085] ppid=3077 vsize=15021092 memory=293044755 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3085/stat : 3085 (java) S 3077 3077 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405139304 15381598208 32535 33554432000 4194304 4196468 140734950635728 140221492960016 140221692057301 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3086] ppid=3077 vsize=15021092 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3086/stat : 3086 (java) S 3077 3077 31842 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405139305 15381598208 32535 33554432000 4194304 4196468 140734950635728 140221098801520 140221692058242 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3087] ppid=3077 vsize=15021092 memory=180 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3087/stat : 3087 (java) S 3077 3077 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405139306 15381598208 32535 33554432000 4194304 4196468 140734950635728 140220280333344 140221692057301 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3088] ppid=3077 vsize=15021092 memory=13918 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3088/stat : 3088 (java) S 3077 3077 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405139306 15381598208 32535 33554432000 4194304 4196468 140734950635728 140220011897712 140221692057301 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3089] ppid=3077 vsize=15021092 memory=2925500 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3089/stat : 3089 (java) S 3077 3077 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405139308 15381598208 32535 33554432000 4194304 4196468 140734950635728 140219637389136 140221692065691 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3090] ppid=3077 vsize=15021092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3080/task/3090/stat : 3090 (java) R 3077 3077 31842 0 -1 4202560 587 0 0 0 8 0 0 0 20 0 15 0 405139308 15381598208 32535 33554432000 4194304 4196468 140734950635728 140221097730768 140221676712138 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3091] ppid=3077 vsize=15021092 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/3080/task/3091/stat : 3091 (java) R 3077 3077 31842 0 -1 4202560 451 0 0 0 10 0 0 0 20 0 15 0 405139308 15381598208 32535 33554432000 4194304 4196468 140734950635728 140221096686944 140221675603413 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3092] ppid=3077 vsize=15021092 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/3080/task/3092/stat : 3092 (java) R 3077 3077 31842 0 -1 4202560 653 0 0 0 15 0 0 0 20 0 15 0 405139309 15381598208 32535 33554432000 4194304 4196468 140734950635728 140221095643760 140221692068442 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3093] ppid=3077 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3093/stat : 3093 (java) S 3077 3077 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405139309 15381598208 32535 33554432000 4194304 4196468 140734950635728 140219139484384 140221692057301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
[pid=3080/tid=3094] ppid=3077 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3080/task/3094/stat : 3094 (java) S 3077 3077 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405139309 15381598208 32535 33554432000 4194304 4196468 140734950635728 140221094591152 140221692058242 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21299200 140734950642474 140734950642842 140734950642842 140734950645711 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 131536 KiB

[startup+1.50087 s]
/proc/loadavg: 2.03 2.05 2.05 3/234 3094
/proc/meminfo: memFree=31387340/32770624 swapFree=66999584/67108860
[pid=3077] ppid=3074 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/3077/stat : 3077 (scop.sh) S 3074 3077 31842 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405139302 115843072 349 33554432000 4194304 5098028 140734800881392 140734800878648 140487127249532 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21893120 140734800888675 140734800888944 140734800888944 140734800891853 0
/proc/3077/statm: 28282 349 296 221 0 87 0

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

/proc/3095/task/3108/stat : 3108 (java) S 3077 3077 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405139690 8262082560 31055 33554432000 4194304 4196468 140730127017568 140083848014432 140086113113813 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3109] ppid=3077 vsize=8068440 memory=1056 CPUtime=0.13 cores=1,3,5,7
/proc/3095/task/3109/stat : 3109 (java) S 3077 3077 31842 0 -1 1077944384 17 0 0 0 6 7 0 0 20 0 19 0 405139690 8262082560 31055 33554432000 4194304 4196468 140730127017568 140085488073520 140086113114754 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3111] ppid=3077 vsize=8068440 memory=114204 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3111/stat : 3111 (java) S 3077 3077 31842 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405139755 8262082560 31055 33554432000 4194304 4196468 140730127017568 140085480040000 140086113128217 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3113] ppid=3077 vsize=8068440 memory=1332 CPUtime=0.04 cores=1,3,5,7
/proc/3095/task/3113/stat : 3113 (java) S 3077 3077 31842 0 -1 4202560 1690 0 0 0 3 1 0 0 20 0 19 0 405139755 8262082560 31055 33554432000 4194304 4196468 140730127017568 140083311128688 140086113125533 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3114] ppid=3077 vsize=8068440 memory=2648 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3114/stat : 3114 (java) S 3077 3077 31842 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405139755 8262082560 31055 33554432000 4194304 4196468 140730127017568 140083445349648 140086113125533 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3115] ppid=3077 vsize=8068440 memory=912 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3115/stat : 3115 (java) S 3077 3077 31842 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405139757 8262082560 31055 33554432000 4194304 4196468 140730127017568 140083042704432 140086113113813 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
Current children cumulated CPU time: 243.25 s
Current children cumulated vsize: 8331216 KiB
Current children cumulated memory: 239900 KiB

[startup+240.801 s]
/proc/loadavg: 2.01 2.05 2.05 3/240 3134
/proc/meminfo: memFree=31254272/32770624 swapFree=66999584/67108860
[pid=3077] ppid=3074 vsize=113128 memory=1476 CPUtime=6.38 cores=1,3,5,7
/proc/3077/stat : 3077 (scop.sh) S 3074 3077 31842 0 -1 4202496 583 26992 0 0 0 0 603 35 20 0 1 0 405139302 115843072 369 33554432000 4194304 5098028 140734800881392 140734800878136 140487127249532 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21893120 140734800888675 140734800888944 140734800888944 140734800891853 0
/proc/3077/statm: 28282 369 311 221 0 87 0
[pid=3095] ppid=3077 vsize=8068440 memory=124220 CPUtime=1.37 cores=1,3,5,7
/proc/3095/stat : 3095 (java) S 3077 3077 31842 0 -1 1077944320 22169 0 0 0 123 14 0 0 20 0 19 0 405139684 8262082560 31055 33554432000 4194304 4196468 140730127017568 140730127000112 140086113103607 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
/proc/3095/statm: 2017110 31055 3210 1 0 1978454 0
[pid=3110] ppid=3095 vsize=149648 memory=114204 CPUtime=236.3 cores=1,3,5,7
/proc/3110/stat : 3110 (cryptominisat5) R 3095 3077 31842 0 -1 4202496 163251 0 0 0 23608 22 0 0 20 0 1 0 405139754 153239552 28551 33554432000 4194304 4451008 140733779533408 140733779528744 140073595388806 0 4 0 2 0 0 0 17 1 0 0 0 0 0 6549032 6559120 29925376 140733779534781 140733779534912 140733779534912 140733779537862 0
/proc/3110/statm: 37412 28551 736 63 0 31139 0
[pid=3095/tid=3096] ppid=3077 vsize=8068440 memory=124220 CPUtime=0.73 cores=1,3,5,7
/proc/3095/task/3096/stat : 3096 (java) S 3077 3077 31842 0 -1 1077944384 16988 0 0 0 69 4 0 0 20 0 19 0 405139684 8262082560 31055 33554432000 4194304 4196468 140730127017568 140086084943776 140086113113813 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3097] ppid=3077 vsize=8068440 memory=114204 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3097/stat : 3097 (java) S 3077 3077 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405139685 8262082560 31055 33554432000 4194304 4196468 140730127017568 140086117345552 140086113113813 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3098] ppid=3077 vsize=8068440 memory=808 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3098/stat : 3098 (java) S 3077 3077 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405139685 8262082560 31055 33554432000 4194304 4196468 140730127017568 140085931501968 140086113113813 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3099] ppid=3077 vsize=8068440 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3099/stat : 3099 (java) S 3077 3077 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405139685 8262082560 31055 33554432000 4194304 4196468 140730127017568 140085930449424 140086113113813 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3100] ppid=3077 vsize=8068440 memory=964 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3100/stat : 3100 (java) S 3077 3077 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405139685 8262082560 31055 33554432000 4194304 4196468 140730127017568 140085595634320 140086113113813 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3101] ppid=3077 vsize=8068440 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3101/stat : 3101 (java) S 3077 3077 31842 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 405139687 8262082560 31055 33554432000 4194304 4196468 140730127017568 140085492283888 140086113114754 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3102] ppid=3077 vsize=8068440 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3102/stat : 3102 (java) S 3077 3077 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405139687 8262082560 31055 33554432000 4194304 4196468 140730127017568 140084988863904 140086113113813 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3103] ppid=3077 vsize=8068440 memory=18644 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3103/stat : 3103 (java) S 3077 3077 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405139687 8262082560 31055 33554432000 4194304 4196468 140730127017568 140084720428528 140086113113813 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3104] ppid=3077 vsize=8068440 memory=11852 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3104/stat : 3104 (java) S 3077 3077 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405139690 8262082560 31055 33554432000 4194304 4196468 140730127017568 140084345920208 140086113122203 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3105] ppid=3077 vsize=8068440 memory=532 CPUtime=0.1 cores=1,3,5,7
/proc/3095/task/3105/stat : 3105 (java) S 3077 3077 31842 0 -1 1077944384 663 0 0 0 10 0 0 0 20 0 19 0 405139690 8262082560 31055 33554432000 4194304 4196468 140730127017568 140085491230704 140086113114754 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3106] ppid=3077 vsize=8068440 memory=1564 CPUtime=0.09 cores=1,3,5,7
/proc/3095/task/3106/stat : 3106 (java) S 3077 3077 31842 0 -1 1077944384 385 0 0 0 9 0 0 0 20 0 19 0 405139690 8262082560 31055 33554432000 4194304 4196468 140730127017568 140085490178160 140086113114754 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3107] ppid=3077 vsize=8068440 memory=-3622645143214314312 CPUtime=0.22 cores=1,3,5,7
/proc/3095/task/3107/stat : 3107 (java) S 3077 3077 31842 0 -1 1077944384 1043 0 0 0 22 0 0 0 20 0 19 0 405139690 8262082560 31055 33554432000 4194304 4196468 140730127017568 140085489125616 140086113114754 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3108] ppid=3077 vsize=8068440 memory=924 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3108/stat : 3108 (java) S 3077 3077 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405139690 8262082560 31055 33554432000 4194304 4196468 140730127017568 140083848014432 140086113113813 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3109] ppid=3077 vsize=8068440 memory=3844 CPUtime=0.13 cores=1,3,5,7
/proc/3095/task/3109/stat : 3109 (java) S 3077 3077 31842 0 -1 1077944384 17 0 0 0 6 7 0 0 20 0 19 0 405139690 8262082560 31055 33554432000 4194304 4196468 140730127017568 140085488073520 140086113114754 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3111] ppid=3077 vsize=8068440 memory=6935054825532540783 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3111/stat : 3111 (java) S 3077 3077 31842 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405139755 8262082560 31055 33554432000 4194304 4196468 140730127017568 140085480040000 140086113128217 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3113] ppid=3077 vsize=8068440 memory=-8707038579349950309 CPUtime=0.04 cores=1,3,5,7
/proc/3095/task/3113/stat : 3113 (java) S 3077 3077 31842 0 -1 4202560 1690 0 0 0 3 1 0 0 20 0 19 0 405139755 8262082560 31055 33554432000 4194304 4196468 140730127017568 140083311128688 140086113125533 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3114] ppid=3077 vsize=8068440 memory=7822038051842261661 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3114/stat : 3114 (java) S 3077 3077 31842 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405139755 8262082560 31055 33554432000 4194304 4196468 140730127017568 140083445349648 140086113125533 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3115] ppid=3077 vsize=8068440 memory=4715433313220523562 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3115/stat : 3115 (java) S 3077 3077 31842 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405139757 8262082560 31055 33554432000 4194304 4196468 140730127017568 140083042704432 140086113113813 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
Current children cumulated CPU time: 244.05 s
Current children cumulated vsize: 8331216 KiB
Current children cumulated memory: 239900 KiB

[startup+241.601 s]
/proc/loadavg: 2.01 2.05 2.05 3/240 3135
/proc/meminfo: memFree=31254284/32770624 swapFree=66999584/67108860
[pid=3077] ppid=3074 vsize=113128 memory=1476 CPUtime=6.38 cores=1,3,5,7
/proc/3077/stat : 3077 (scop.sh) S 3074 3077 31842 0 -1 4202496 583 26992 0 0 0 0 603 35 20 0 1 0 405139302 115843072 369 33554432000 4194304 5098028 140734800881392 140734800878136 140487127249532 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21893120 140734800888675 140734800888944 140734800888944 140734800891853 0
/proc/3077/statm: 28282 369 311 221 0 87 0
[pid=3095] ppid=3077 vsize=8068440 memory=124220 CPUtime=1.37 cores=1,3,5,7
/proc/3095/stat : 3095 (java) S 3077 3077 31842 0 -1 1077944320 22169 0 0 0 123 14 0 0 20 0 19 0 405139684 8262082560 31055 33554432000 4194304 4196468 140730127017568 140730127000112 140086113103607 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
/proc/3095/statm: 2017110 31055 3210 1 0 1978454 0
[pid=3110] ppid=3095 vsize=149648 memory=114204 CPUtime=237.1 cores=1,3,5,7
/proc/3110/stat : 3110 (cryptominisat5) R 3095 3077 31842 0 -1 4202496 163258 0 0 0 23688 22 0 0 20 0 1 0 405139754 153239552 28551 33554432000 4194304 4451008 140733779533408 140733779528744 140073595388163 0 4 0 2 0 0 0 17 1 0 0 0 0 0 6549032 6559120 29925376 140733779534781 140733779534912 140733779534912 140733779537862 0
/proc/3110/statm: 37412 28551 736 63 0 31139 0
[pid=3095/tid=3096] ppid=3077 vsize=8068440 memory=114204 CPUtime=0.73 cores=1,3,5,7
/proc/3095/task/3096/stat : 3096 (java) S 3077 3077 31842 0 -1 1077944384 16988 0 0 0 69 4 0 0 20 0 19 0 405139684 8262082560 31055 33554432000 4194304 4196468 140730127017568 140086084943776 140086113113813 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3097] ppid=3077 vsize=8068440 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3097/stat : 3097 (java) S 3077 3077 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405139685 8262082560 31055 33554432000 4194304 4196468 140730127017568 140086117345552 140086113113813 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3098] ppid=3077 vsize=8068440 memory=-3622645143214314312 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3098/stat : 3098 (java) S 3077 3077 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405139685 8262082560 31055 33554432000 4194304 4196468 140730127017568 140085931501968 140086113113813 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3099] ppid=3077 vsize=8068440 memory=114204 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3099/stat : 3099 (java) S 3077 3077 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405139685 8262082560 31055 33554432000 4194304 4196468 140730127017568 140085930449424 140086113113813 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3100] ppid=3077 vsize=8068440 memory=114204 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3100/stat : 3100 (java) S 3077 3077 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405139685 8262082560 31055 33554432000 4194304 4196468 140730127017568 140085595634320 140086113113813 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3101] ppid=3077 vsize=8068440 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3101/stat : 3101 (java) S 3077 3077 31842 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 405139687 8262082560 31055 33554432000 4194304 4196468 140730127017568 140085492283888 140086113114754 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3102] ppid=3077 vsize=8068440 memory=1332 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3102/stat : 3102 (java) S 3077 3077 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405139687 8262082560 31055 33554432000 4194304 4196468 140730127017568 140084988863904 140086113113813 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3103] ppid=3077 vsize=8068440 memory=2648 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3103/stat : 3103 (java) S 3077 3077 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405139687 8262082560 31055 33554432000 4194304 4196468 140730127017568 140084720428528 140086113113813 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3104] ppid=3077 vsize=8068440 memory=124220 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3104/stat : 3104 (java) S 3077 3077 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405139690 8262082560 31055 33554432000 4194304 4196468 140730127017568 140084345920208 140086113122203 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3105] ppid=3077 vsize=8068440 memory=2012 CPUtime=0.1 cores=1,3,5,7
/proc/3095/task/3105/stat : 3105 (java) S 3077 3077 31842 0 -1 1077944384 663 0 0 0 10 0 0 0 20 0 19 0 405139690 8262082560 31055 33554432000 4194304 4196468 140730127017568 140085491230704 140086113114754 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3106] ppid=3077 vsize=8068440 memory=1240 CPUtime=0.09 cores=1,3,5,7
/proc/3095/task/3106/stat : 3106 (java) S 3077 3077 31842 0 -1 1077944384 385 0 0 0 9 0 0 0 20 0 19 0 405139690 8262082560 31055 33554432000 4194304 4196468 140730127017568 140085490178160 140086113114754 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3107] ppid=3077 vsize=8068440 memory=580 CPUtime=0.22 cores=1,3,5,7
/proc/3095/task/3107/stat : 3107 (java) S 3077 3077 31842 0 -1 1077944384 1043 0 0 0 22 0 0 0 20 0 19 0 405139690 8262082560 31055 33554432000 4194304 4196468 140730127017568 140085489125616 140086113114754 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3108] ppid=3077 vsize=8068440 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3108/stat : 3108 (java) S 3077 3077 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405139690 8262082560 31055 33554432000 4194304 4196468 140730127017568 140083848014432 140086113113813 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3109] ppid=3077 vsize=8068440 memory=3436 CPUtime=0.13 cores=1,3,5,7
/proc/3095/task/3109/stat : 3109 (java) S 3077 3077 31842 0 -1 1077944384 17 0 0 0 6 7 0 0 20 0 19 0 405139690 8262082560 31055 33554432000 4194304 4196468 140730127017568 140085488073520 140086113114754 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3111] ppid=3077 vsize=8068440 memory=7548 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3111/stat : 3111 (java) S 3077 3077 31842 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405139755 8262082560 31055 33554432000 4194304 4196468 140730127017568 140085480040000 140086113128217 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3113] ppid=3077 vsize=8068440 memory=-3622645143214314312 CPUtime=0.04 cores=1,3,5,7
/proc/3095/task/3113/stat : 3113 (java) S 3077 3077 31842 0 -1 4202560 1690 0 0 0 3 1 0 0 20 0 19 0 405139755 8262082560 31055 33554432000 4194304 4196468 140730127017568 140083311128688 140086113125533 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3114] ppid=3077 vsize=8068440 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3114/stat : 3114 (java) S 3077 3077 31842 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405139755 8262082560 31055 33554432000 4194304 4196468 140730127017568 140083445349648 140086113125533 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3115] ppid=3077 vsize=8068440 memory=5904 CPUtime=0 cores=1,3,5,7
/proc/3095/task/3115/stat : 3115 (java) S 3077 3077 31842 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405139757 8262082560 31055 33554432000 4194304 4196468 140730127017568 140083042704432 140086113113813 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
Current children cumulated CPU time: 244.85 s
Current children cumulated vsize: 8331216 KiB
Current children cumulated memory: 239900 KiB

[startup+242.001 s]*
/proc/loadavg: 2.01 2.05 2.05 6/237 3135
/proc/meminfo: memFree=31332456/32770624 swapFree=66999584/67108860
[pid=3077] ppid=3074 vsize=113128 memory=1476 CPUtime=6.38 cores=1,3,5,7
/proc/3077/stat : 3077 (scop.sh) S 3074 3077 31842 0 -1 4202496 583 26992 0 0 0 0 603 35 20 0 1 0 405139302 115843072 369 33554432000 4194304 5098028 140734800881392 140734800878136 140487127249532 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21893120 140734800888675 140734800888944 140734800888944 140734800891853 0
/proc/3077/statm: 28282 369 311 221 0 87 0
[pid=3095] ppid=3077 vsize=7937364 memory=161072 CPUtime=239.39 cores=1,3,5,7
/proc/3095/stat : 3095 (java) S 3077 3077 31842 0 -1 1077944320 27708 163658 0 0 192 16 23708 23 20 0 17 0 405139684 8127860736 40268 33554432000 4194304 4196468 140730127017568 140730127000112 140086113103607 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
/proc/3095/statm: 1951572 40268 3226 1 0 1912916 0
[pid=3095/tid=3096] ppid=3077 vsize=7805260 memory=6935054825532540783 CPUtime=238.15 cores=1,3,5,7
/proc/3095/task/3096/stat : 3096 (java) S 3077 3077 31842 0 -1 1077944384 17277 163658 0 0 79 5 23708 23 20 0 15 0 405139684 7992586240 40273 33554432000 4194304 4196468 140730127017568 140086084947088 140086113113813 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3097] ppid=3077 vsize=7805260 memory=6935054825532540783 CPUtime=237.31 cores=1,3,5,7
/proc/3095/task/3097/stat : 3097 (java) S 3077 3077 31842 0 -1 1077944384 1 163658 0 0 0 0 23708 23 20 0 15 0 405139685 7992586240 40273 33554432000 4194304 4196468 140730127017568 140086117345552 140086113113813 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3098] ppid=3077 vsize=7805260 memory=6935054825532540783 CPUtime=237.31 cores=1,3,5,7
/proc/3095/task/3098/stat : 3098 (java) S 3077 3077 31842 0 -1 1077944384 1 163658 0 0 0 0 23708 23 20 0 15 0 405139685 7992586240 40273 33554432000 4194304 4196468 140730127017568 140085931501968 140086113113813 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3099] ppid=3077 vsize=7805260 memory=1412 CPUtime=237.31 cores=1,3,5,7
/proc/3095/task/3099/stat : 3099 (java) S 3077 3077 31842 0 -1 1077944384 1 163658 0 0 0 0 23708 23 20 0 15 0 405139685 7992586240 40273 33554432000 4194304 4196468 140730127017568 140085930449424 140086113113813 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3100] ppid=3077 vsize=7805260 memory=3300 CPUtime=237.31 cores=1,3,5,7
/proc/3095/task/3100/stat : 3100 (java) S 3077 3077 31842 0 -1 1077944384 2 163658 0 0 0 0 23708 23 20 0 15 0 405139685 7992586240 40273 33554432000 4194304 4196468 140730127017568 140085595634320 140086113113813 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3101] ppid=3077 vsize=7805260 memory=-3622645143214314312 CPUtime=237.31 cores=1,3,5,7
/proc/3095/task/3101/stat : 3101 (java) S 3077 3077 31842 0 -1 1077944384 10 163658 0 0 0 0 23708 23 20 0 15 0 405139687 7992586240 40273 33554432000 4194304 4196468 140730127017568 140085492284096 140086113114754 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3102] ppid=3077 vsize=7805260 memory=124220 CPUtime=237.31 cores=1,3,5,7
/proc/3095/task/3102/stat : 3102 (java) S 3077 3077 31842 0 -1 1077944384 13 163658 0 0 0 0 23708 23 20 0 15 0 405139687 7992586240 40273 33554432000 4194304 4196468 140730127017568 140084988863904 140086113113813 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3103] ppid=3077 vsize=7805260 memory=114204 CPUtime=237.31 cores=1,3,5,7
/proc/3095/task/3103/stat : 3103 (java) S 3077 3077 31842 0 -1 1077944384 1 163658 0 0 0 0 23708 23 20 0 15 0 405139687 7992586240 40273 33554432000 4194304 4196468 140730127017568 140084720428528 140086113113813 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3105] ppid=3077 vsize=7805260 memory=2836 CPUtime=237.59 cores=1,3,5,7
/proc/3095/task/3105/stat : 3105 (java) S 3077 3077 31842 0 -1 1077944384 2064 163658 0 0 28 0 23708 23 20 0 15 0 405139690 7992586240 40273 33554432000 4194304 4196468 140730127017568 140085491210544 140086113113813 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3106] ppid=3077 vsize=7805260 memory=2584 CPUtime=237.59 cores=1,3,5,7
/proc/3095/task/3106/stat : 3106 (java) S 3077 3077 31842 0 -1 1077944384 2752 163658 0 0 28 0 23708 23 20 0 15 0 405139690 7992586240 40273 33554432000 4194304 4196468 140730127017568 140085490162672 140086113113813 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3107] ppid=3077 vsize=7805260 memory=4104 CPUtime=237.63 cores=1,3,5,7
/proc/3095/task/3107/stat : 3107 (java) R 3077 3077 31842 0 -1 1077944384 2092 163658 0 0 32 0 23708 23 20 0 15 0 405139690 7992586240 40273 33554432000 4194304 4196468 140730127017568 140085489125616 140086113114754 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3108] ppid=3077 vsize=7805260 memory=31076 CPUtime=237.31 cores=1,3,5,7
/proc/3095/task/3108/stat : 3108 (java) S 3077 3077 31842 0 -1 1077944384 3 163658 0 0 0 0 23708 23 20 0 15 0 405139690 7992586240 40273 33554432000 4194304 4196468 140730127017568 140083848014432 140086113113813 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3111] ppid=3077 vsize=7805260 memory=8514726395715218844 CPUtime=237.31 cores=1,3,5,7
/proc/3095/task/3111/stat : 3111 (java) S 3077 3077 31842 0 -1 1077944384 32 163658 0 0 0 0 23708 23 20 0 15 0 405139755 7992586240 40273 33554432000 4194304 4196468 140730127017568 140085480039184 140086113114754 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
[pid=3095/tid=3115] ppid=3077 vsize=7805260 memory=7523094296494631019 CPUtime=237.31 cores=1,3,5,7
/proc/3095/task/3115/stat : 3115 (java) S 3077 3077 31842 0 -1 1077944384 12 163658 0 0 0 0 23708 23 20 0 15 0 405139757 7992586240 40273 33554432000 4194304 4196468 140730127017568 140083042706224 140086113114754 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140730127021052 140730127021210 140730127021210 140730127024079 0
Current children cumulated CPU time: 245.77 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 162548 KiB

Child status: 0
Real time (s): 242.026
CPU time (s): 245.808
CPU user time (s): 245.048
CPU system time (s): 0.760329
CPU usage (%): 101.563
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 1757024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.048
system time used= 0.760329
maximum resident set size= 1755876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 218977
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10849
involuntary context switches= 82


# summary of solver processes directly reported to runsolver:
#   pid: 3077
#   total CPU time (s): 245.808
#   total CPU user time (s): 245.048
#   total CPU system time (s): 0.760329

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.62404 second user time and 2.85292 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-12 14:43:32
IDJOB=4387927
IDBENCH=127955
IDSOLVER=2826
FILE ID=node146/4387927-1568292253
RUNJOBID= node146-1568286001-1043
PBS_JOBID= 21701065
Free space on /tmp= 54332 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-160.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-4387927-1568292253/watcher-4387927-1568292253 -o /tmp/evaluation-result-4387927-1568292253/solver-4387927-1568292253 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568286001-1043 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387927-1568292253.xml

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

MD5SUM BENCH= 3ff67dee7a06e1e6311de3a7585abde9
RANDOM SEED=464107046

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31518356 kB
MemAvailable:   31687472 kB
Buffers:           95552 kB
Cached:           352400 kB
SwapCached:         5412 kB
Active:           451216 kB
Inactive:         215720 kB
Active(anon):     235472 kB
Inactive(anon):    20872 kB
Active(file):     215744 kB
Inactive(file):   194848 kB
Unevictable:      110908 kB
Mlocked:          110908 kB
SwapTotal:      67108860 kB
SwapFree:       66999584 kB
Dirty:             20660 kB
Writeback:             8 kB
AnonPages:        337860 kB
Mapped:            53272 kB
Shmem:             28952 kB
Slab:             177792 kB
SReclaimable:     148720 kB
SUnreclaim:        29072 kB
KernelStack:        4192 kB
PageTables:         6280 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6074560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    194560 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 54312 MiB
End job on node146 at 2019-09-12 14:47:35