Trace number 4387582

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 137.622 133.673

General information on the benchmark

NameStripPacking/StripPacking-m1-seriesT/
StripPacking-T1e.xml
MD5SUMf7b8b642e131c8af917aaf97f4ae3b24
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 benchmark123.921
Satisfiable
(Un)Satisfiability was proved
Number of variables85
Number of constraints52
Number of domains19
Minimum domain size2
Maximum domain size200
Distribution of domain sizes[{"size":2,"count":51},{"size":200,"count":34}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":17},{"degree":2,"count":34},{"degree":3,"count":34}]
Minimum constraint arity2
Maximum constraint arity68
Distribution of constraint arities[{"arity":2,"count":34},{"arity":3,"count":17},{"arity":68,"count":1}]
Number of extensional constraints17
Number of intensional constraints34
Distribution of constraint types[{"type":"extension","count":17},{"type":"intension","count":34},{"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-1078-serial-file.bin HOME/instance-4387582-1568286041.xml
0.66/0.53	
0.66/0.53	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.53	
0.66/0.56	c BEGIN-Prog: Thu Sep 12 13:00:01 CEST 2019
0.66/0.56	c PID: 1081
0.66/0.56	c IP: 172.20.3.146
0.66/0.56	c HOST: node146.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.40/0.95	c (0,0) Parsing End
1.40/0.96	c (0,0) CSP: 68 int (0 aux), 17 bool (0 aux), 52 ctr, max domain size 200
1.40/0.96	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.40/0.96	c (0,0) Constraint Name Generate Begin
1.40/0.97	c (0,0) Ctr:HOME/instance-4387582-1568286041.xml,Add:ExtensionSupport:Le:NoOverlap:Num:Var
1.40/0.97	c (0,0) Constraint Name Generate End
1.40/0.97	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.40/0.97	c (0,0) CSP to CSPinCNF Begin
1.59/1.05	c (0,0) translated 6 (10%) constraints
1.59/1.06	c (0,0) translated 11 (20%) constraints
1.59/1.06	c (0,0) translated 16 (30%) constraints
1.59/1.07	c (0,0) translated 21 (40%) constraints
1.59/1.07	c (0,0) translated 26 (50%) constraints
1.59/1.07	c (0,0) translated 32 (60%) constraints
1.76/1.19	c (0,0) translated 37 (70%) constraints
1.95/1.24	c (0,0) translated 42 (80%) constraints
1.95/1.28	c (0,0) translated 47 (90%) constraints
2.20/1.33	c (0,0) translated 52 (100%) constraints
2.47/1.43	c (0,0) ===========================================
2.47/1.44	c (0,0) Hybrid: #OE=153, #LE=0
2.47/1.44	c (0,0) Hybrid
2.47/1.44	c (0,0) ===========================================
2.47/1.45	c (0,0) translated 43 (10%) constraints
2.47/1.46	c (0,0) translated 85 (20%) constraints
2.47/1.46	c (0,0) translated 128 (30%) constraints
2.47/1.47	c (0,0) translated 170 (40%) constraints
2.47/1.47	c (0,0) translated 213 (50%) constraints
2.47/1.48	c (0,0) translated 255 (60%) constraints
2.47/1.48	c (0,0) translated 298 (70%) constraints
2.47/1.49	c (0,0) translated 340 (80%) constraints
2.47/1.49	c (0,0) translated 383 (90%) constraints
2.81/1.50	c (0,0) translated 425 (100%) constraints
2.81/1.50	c (0,0) CSP to CSPinCNF End
2.81/1.50	c (0,0) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 196
2.81/1.50	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.81/1.50	c (0,0) CSPinCNF Propagation Begin
2.81/1.53	c (0,0) 0 values, 17 unsatisfiable literals, and 0 valid clauses are removed
2.81/1.53	c (0,0) CSPinCNF Propagation End
2.81/1.53	c (0,0) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 196
2.81/1.53	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.81/1.53	c (1,0) Hybrid: #OE=153, #LE=0
2.81/1.53	c (1,0) Simplify CSPinCNF Begin
2.81/1.59	c (1,1) Simplify CSPinCNF End
2.81/1.60	c (1,1) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 196
2.81/1.60	c (1,1) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.81/1.60	c (1,1) Calculate Precise Domain Begin
3.10/1.60	c (1,1) 0 values are removed by re-calculation
3.10/1.60	c (1,1) Calculate Precise Domain End
3.10/1.60	c (1,1) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 196
3.10/1.60	c (1,1) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.10/1.60	c (1,1) CSPinCNF to SatSolver Begin
3.43/1.71	c (1,1) 97 (10 %) CSP clauses are encoded (0 SAT variables, 5938 SAT clauses)
3.43/1.72	c (1,1) 194 (20 %) CSP clauses are encoded (0 SAT variables, 6035 SAT clauses)
3.43/1.73	c (1,1) 291 (30 %) CSP clauses are encoded (0 SAT variables, 6132 SAT clauses)
4.07/1.92	c (1,1) 388 (40 %) CSP clauses are encoded (0 SAT variables, 22925 SAT clauses)
4.71/2.13	c (1,1) 485 (50 %) CSP clauses are encoded (0 SAT variables, 42038 SAT clauses)
4.99/2.26	c (1,1) 582 (60 %) CSP clauses are encoded (0 SAT variables, 60828 SAT clauses)
5.29/2.34	c (1,1) 679 (70 %) CSP clauses are encoded (0 SAT variables, 79724 SAT clauses)
5.52/2.42	c (1,1) 776 (80 %) CSP clauses are encoded (0 SAT variables, 100809 SAT clauses)
5.64/2.50	c (1,1) 873 (90 %) CSP clauses are encoded (0 SAT variables, 122580 SAT clauses)
5.64/2.57	c (2,2) 969 (100 %) CSP clauses are encoded (0 SAT variables, 140094 SAT clauses)
5.64/2.57	c (2,2) CSPinCNF to SatSolver End
5.64/2.57	c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
5.64/2.57	c (2,2) 6539 bool, 140373 clause
5.64/2.57	c (2,2) Export Begin
5.77/2.70	c (2,2) Export to HOME/scop-1078-serial-file.bin
5.77/2.70	c (2,2) Export End
5.94/2.70	c (2,2) Export File Size: 0.03 MB
5.94/2.70	c (2,2) 0,0,0,0,1,1,2,STOP-AFTER(DIMACS)
5.94/2.70	c END-Prog: Thu Sep 12 13:00:04 CEST 2019
5.94/2.71	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-1078-serial-file.bin
6.48/3.16	c (0,0) Read Serial File Begin
6.48/3.16	c (0,0) HOME/scop-1078-serial-file.bin
6.73/3.39	c (0,0) Read Serial File End
6.91/3.40	
6.91/3.40	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
6.91/3.40	(Solving Process)
6.91/3.40	
6.91/3.43	c BEGIN-Prog: Thu Sep 12 13:00:04 CEST 2019
6.91/3.43	c PID: 1122
6.91/3.43	c IP: 172.20.3.146
6.91/3.43	c HOST: node146.alineos.net
6.91/3.43	c (0,0) SatSolver.solve Begin
6.91/3.43	c (0,0) HOME/cryptominisat5  HOME/instance-4387582-1568286041.xml-scop-1081.cnf
7.05/3.68	c (0,0) c Outputting solution to console
7.05/3.68	c (0,0) c CryptoMiniSat version 5.6.8
7.05/3.68	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
7.05/3.68	c (0,0) c CMS SHA revision GIT-notfound
7.05/3.68	c (0,0) c CMS is MIT licensed
7.05/3.68	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.05/3.68	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
7.05/3.68	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387582-1568286041.xml-scop-1081.cnf
7.05/3.68	c (0,0) c Reading file 'HOME/instance-4387582-1568286041.xml-scop-1081.cnf'
7.05/3.68	c (0,0) c -- header says num vars:           6539
7.05/3.68	c (0,0) c -- header says num clauses:      140373
7.13/3.73	c (0,0) c -- clauses added: 140373
7.13/3.73	c (0,0) c -- xor clauses added: 0
7.13/3.73	c (0,0) c -- vars added 6539
7.13/3.73	c (0,0) c Parsing time: 0.04 s
7.13/3.75	c (0,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
7.13/3.75	c (0,0) c [distill] long cls tried: 4/3 cl-short:4 lit-r:1 T: 0.00 T-out: N T-r: 100.00%
7.14/3.98	c (0,0) c [distill] long cls tried: 109/112 cl-short:109 lit-r:73 T: 0.01 T-out: N T-r: 99.80%
7.66/4.28	c (1,0) c [distill] long cls tried: 107/217 cl-short:107 lit-r:73 T: 0.01 T-out: N T-r: 99.78%
7.76/4.40	c (1,0) c   glue     1    38  8193    6539  133K  7159    3.40    3.33   246  1974  5964     9   21.32   21.30
8.35/4.90	c (1,0) c [distill] long cls tried: 1099/1310 cl-short:1099 lit-r:725 T: 0.15 T-out: N T-r: 97.54%
8.65/5.28	c (2,0) c   geom     1    60 16386    6539  133K  7159    3.40    3.33  1492  4513 10361    20   22.13   22.11
8.95/5.53	c (2,0) c [distill] long cls tried: 230/1537 cl-short:230 lit-r:180 T: 0.04 T-out: N T-r: 99.37%
9.65/6.24	c (3,0) c   glue     1    93   24K    6539  133K  7159    3.40    3.33  2682  5063 16811    26   22.79   22.77
9.95/6.55	c (3,0) c [distill] long cls tried: 1162/2696 cl-short:1162 lit-r:914 T: 0.24 T-out: N T-r: 96.43%
10.85/7.46	c (4,0) c   glue     1   112   32K    6539  133K  7159    3.40    3.33  3901  7436 19919    30   22.41   22.39
11.25/7.85	c (4,0) c [distill] long cls tried: 1226/3918 cl-short:1226 lit-r:994 T: 0.32 T-out: N T-r: 95.36%
12.26/8.88	c (5,0) c   glue     1   128   40K    6539  133K  7159    3.40    3.33  5055  6529   27K    35   22.65   22.63
13.36/9.97	c (6,0) c [distill] long cls tried: 1291/5206 cl-short:1291 lit-r:1144 T: 0.43 T-out: N T-r: 94.46%
14.06/10.63	c (7,0) c   glue     1   158   49K    6539  133K  7159    3.40    3.33  5263  9732   27K    40   21.78   21.76
15.85/12.44	c (9,0) c [distill] long cls tried: 1022/6223 cl-short:1022 lit-r:725 T: 0.44 T-out: N T-r: 94.84%
15.85/12.45	c (9,0) c   geom     1   183   57K    6539  133K  7159    3.40    3.33  6223  8482   35K    48   22.10   22.09
17.25/13.89	c (10,0) c   glue     1   218   65K    6539  133K  7159    3.40    3.33  7355  8637   34K    51   21.06   21.04
18.05/14.64	c (11,0) c recursive minimization cost OK: 900Kcost/(% lits removed)
18.05/14.64	c (11,0) c more minimization effectiveness low: 0.00 % lits removed --> disabling
18.05/14.65	c (11,0) c --> Executing strategy token: handle-comps
18.05/14.65	c (11,0) c --> Executing strategy token: scc-vrepl
18.05/14.65	c (11,0) c [scc] new: 152 BP 0M T: 0.00
18.15/14.71	c (11,0) c [vrep] vars 102 lits 178265 rem-bin-cls 491 rem-long-cls 68 BP 1M T: 0.06
18.15/14.72	c (11,0) c --> Executing strategy token: cache-clean
18.15/14.72	c (11,0) c --> Executing strategy token: cache-tryboth
18.15/14.72	c (11,0) c --> Executing strategy token: sub-impl
18.15/14.72	c (11,0) c [impl sub] bin: 2 T: 0.01 T-out: N w-visit: 13078
18.15/14.73	c (11,0) c --> Executing strategy token: intree-probe
18.15/14.73	c (11,0) c [scc] new: 0 BP 0M T: 0.00
18.15/14.75	c (11,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 0M T: 0.02
18.27/14.83	c (11,0) c [intree] Set 0 vars hyper-added: 30 trans-irred::0 trans-red::0 T: 0.08 T-out: N T-r: 99.65%
18.48/15.09	c (12,0) c --> Executing strategy token: probe
18.48/15.09	c (12,0) c --> Executing strategy token: sub-str-cls-with-bin
18.48/15.09	c (12,0) c [distill] cache-based irred--  cl tried   201900 cl-sh     0 cl-rem    0 lit-rem      0 T: 0.22 T-out: Y
18.48/15.09	c (12,0) c [distill] cache-based   red--  cl tried    14849 cl-sh    73 cl-rem    1 lit-rem     73 T: 0.03 T-out: N
19.48/16.06	c (12,0) c --> Executing strategy token: distill-cls
19.48/16.06	c (12,0) c [distill] long cls tried: 2494/133146 cl-short:1 lit-r:0 T: 0.97 T-out: Y T-r: -0.10%
19.48/16.06	c (12,0) c [distill] long useful: 2/4988/266292 lits-rem: 0 0-depth-assigns: 0 T: 1.95 T-out: Y
19.48/16.07	c (12,0) c --> Executing strategy token: scc-vrepl
19.48/16.07	c (12,0) c [scc] new: 0 BP 0M T: 0.00
19.48/16.07	c (12,0) c --> Executing strategy token: sub-impl
19.48/16.07	c (12,0) c [impl sub] bin: 0 T: 0.01 T-out: N w-visit: 13078
19.48/16.08	c (12,0) c --> Executing strategy token: str-impl
19.48/16.08	c (12,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.87% w-visit: 13078
19.48/16.08	c (12,0) c --> Executing strategy token: sub-impl
19.48/16.08	c (12,0) c [impl sub] bin: 0 T: 0.01 T-out: N w-visit: 13078
19.48/16.10	c (13,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
19.48/16.10	c (13,0) c [occ] mem usage for occur     14 MB
19.59/16.12	c (13,0) c [occ] mem usage for occur      2 MB
19.59/16.16	c (13,0) c Mem for watch alloc      : 14          MB (39.44     %)
19.59/16.16	c (13,0) c Mem for watch array      : 0           MB (0.79      %)
19.59/16.16	c (13,0) c --> Executing OCC strategy token: occ-backw-sub-str
19.59/16.16	c (13,0) c [occ-backw-sub-str-long-w-bins] subs: 0 str: 0 tried: 14102 0-depth ass: 0 T: 0.01 T-out: N T-r: 99.68%
19.68/16.30	c (13,0) c [occ-sub-long-w-long] rem cl: 129 tried: 375700/187850 (200.0%) T: 0.13 T-out: N T-r: 77.35%
19.98/16.53	c (13,0) c [occ-sub-str-long-w-long] sub: 0 str: 90 tried: 563550/187850 (300.0)  T: 0.24 T-out: N T-r: 76.66%
19.98/16.54	c (13,0) c --> Executing OCC strategy token: occ-clean-implicit
19.98/16.54	c (13,0) c --> Executing OCC strategy token: occ-bve
19.98/16.54	c (13,0) c [occ-empty-res] Empty resolvent elimed: 0 T: 0.00 T-out: N
20.28/16.84	c (13,0) c [occ-bve] iter v-elim 416
20.28/16.84	c (13,0) c cl_inc_rate=1.0, var_dec_rate=1.1 (grow=0)
20.28/16.84	c (13,0) c Reduced to 6021 vars, 139690 cls (grow=0)
20.37/16.94	c (13,0) c [occ-bve] iter v-elim 0
20.37/16.94	c (13,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=8)
20.37/16.94	c (13,0) c Reduced to 6021 vars, 139690 cls (grow=8)
20.49/17.04	c (13,0) c [occ-bve] iter v-elim 0
20.49/17.04	c (13,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=16)
20.49/17.04	c (13,0) c Reduced to 6021 vars, 139690 cls (grow=16)
20.49/17.04	c (13,0) c x n vars       : 6021
20.49/17.04	c (13,0) c  #try to eliminate:    24K
20.49/17.04	c (13,0) c  #var-elim        :    416
20.49/17.04	c (13,0) c  #T-o: N
20.49/17.04	c (13,0) c  #T-r: 99.94%
20.49/17.04	c (13,0) c  #T  : 0.50
20.49/17.04	c (13,0) c [occur] 0.06 is overhead
20.49/17.04	c (13,0) c [occur] link-in T: 0.06 cleanup T: 0.00
20.49/17.04	c (13,0) c --> Executing OCC strategy token: occ-bva
20.49/17.04	c (13,0) c [occ-bva] global numcalls: 0
20.49/17.07	c (13,0) c --> Executing OCC strategy token: occ-ternary-res
20.49/17.07	c (13,0) c --> Executing OCC strategy token: occ-xor
20.49/17.07	c (13,0) c [occ-xor] sort occur list T: 0.02
20.59/17.18	c (14,0) c [occ-xor] found      0 T: 0.13 T-out: N T-r: 98.01%
20.59/17.18	c (14,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
20.68/17.22	c (14,0) c --> Executing strategy token: cl-consolidate
20.68/17.22	c (14,0) c [mem] consolidate  old-sz:  13446K new-sz:  6056K new bits offs: 0 T: 0.01
20.68/17.22	c (14,0) c --> Executing strategy token: str-impl
20.68/17.22	c (14,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.89% w-visit: 13078
20.78/17.34	c (14,0) c --> Executing strategy token: cache-clean
20.78/17.34	c (14,0) c --> Executing strategy token: sub-str-cls-with-bin
20.78/17.34	c (14,0) c [distill] cache-based irred--  cl tried   266540 cl-sh     0 cl-rem    0 lit-rem      0 T: 0.11 T-out: N
20.78/17.34	c (14,0) c [distill] cache-based   red--  cl tried     5676 cl-sh     6 cl-rem    0 lit-rem      6 T: 0.00 T-out: N
21.49/18.09	c (14,0) c --> Executing strategy token: distill-cls
21.49/18.09	c (14,0) c [distill] long cls tried: 3322/133270 cl-short:224 lit-r:10 T: 0.75 T-out: Y T-r: -0.03%
21.49/18.09	c (14,0) c [distill] long useful: 448/6644/266540 lits-rem: 20 0-depth-assigns: 0 T: 1.49 T-out: Y
21.49/18.09	c (15,0) c --> Executing strategy token: scc-vrepl
21.49/18.09	c (15,0) c [scc] new: 0 BP 0M T: 0.00
21.49/18.09	c (15,0) c --> Executing strategy token: check-cache-size
21.49/18.09	c (15,0) c --> Executing strategy token: renumber
21.49/18.09	c (15,0) c --> Executing strategy token: sls
21.49/18.09	c (15,0) c [consolidate] mini T: 0.00
21.49/18.09	c (15,0) c global_timeout_multiplier: 4.40
21.49/18.09	c (15,0) c clause size stats. size3: 60242 size4: 42534 size5: 20066 larger: 10428
21.99/18.54	c (15,0) c [distill] long cls tried: 684/2851 cl-short:674 lit-r:355 T: 0.14 T-out: N T-r: 98.09%
22.39/18.93	c (15,0) c   luby     0   245   73K    6021  133K  6420    3.86    3.77  2854  1887  5973    47   14.51   14.45
24.00/20.52	c (17,0) c   luby     0   277   81K    6021  133K  6420    3.86    3.77  3117  1934 13855    48   17.86   17.82
25.61/22.14	c (19,0) c [distill] long cls tried: 278/3123 cl-short:278 lit-r:150 T: 0.07 T-out: N T-r: 99.08%
25.70/22.29	c (19,0) c   luby     0   295   90K    6021  133K  6420    3.86    3.77  3375  2540   21K    57   19.44   19.40
27.51/24.08	c (20,0) c   luby     0   327   98K    6021  133K  6420    3.86    3.77  3380  2870   29K    58   20.34   20.31
29.40/25.90	c (22,0) c   luby     0   352  106K    6021  133K  6420    3.86    3.77  3692  3335   31K    58   20.62   20.60
31.01/27.55	c (24,0) c   luby     0   353  114K    6021  133K  6420    3.86    3.77  3925  3083   39K    59   21.36   21.34
31.51/28.01	c (24,0) c [distill] long cls tried: 805/3926 cl-short:804 lit-r:488 T: 0.37 T-out: N T-r: 95.66%
33.21/29.74	c (26,0) c   luby     0   384  122K    6021  133K  6420    3.86    3.77  4240  3763   35K    62   20.95   20.92
35.11/31.66	c (28,0) c   luby     0   415  131K    6021  133K  6420    3.86    3.77  4429  3364   44K    62   21.50   21.48
37.01/33.54	c (30,0) c   luby     0   442  139K    6021  133K  6420    3.86    3.77  4476  4410   39K    63   21.23   21.21
38.01/34.57	c (31,0) c [distill] long cls tried: 706/4631 cl-short:705 lit-r:496 T: 0.33 T-out: N T-r: 96.11%
39.21/35.79	c (32,0) c   luby     0   474  147K    6021  133K  6420    3.86    3.77  4638  3754   48K    65   21.37   21.35
41.11/37.61	c (34,0) c   luby     0   480  155K    6021  133K  6420    3.86    3.77  4903  4340   41K    65   21.06   21.04
42.91/39.42	c (36,0) c   luby     0   481  163K    6021  133K  6420    3.86    3.77  5057  3707   50K    65   21.66   21.64
43.82/40.38	c (37,0) c recursive minimization cost OK: 959Kcost/(% lits removed)
43.82/40.39	c (37,0) c --> Executing strategy token: handle-comps
43.82/40.39	c (37,0) c --> Executing strategy token: scc-vrepl
43.82/40.39	c (37,0) c [scc] new: 0 BP 0M T: 0.00
43.82/40.39	c (37,0) c --> Executing strategy token: cache-clean
43.82/40.39	c (37,0) c --> Executing strategy token: cache-tryboth
43.82/40.39	c (37,0) c --> Executing strategy token: sub-impl
43.82/40.39	c (37,0) c [impl sub] bin: 6 T: 0.01 T-out: N w-visit: 13078
43.92/40.41	c (37,0) c --> Executing strategy token: intree-probe
43.92/40.41	c (37,0) c [scc] new: 0 BP 0M T: 0.00
43.92/40.43	c (37,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 0M T: 0.02
44.02/40.50	c (37,0) c [intree] Set 0 vars hyper-added: 1 trans-irred::0 trans-red::1 T: 0.07 T-out: N T-r: 99.74%
44.12/40.67	c (37,0) c --> Executing strategy token: probe
44.12/40.67	c (37,0) c --> Executing strategy token: sub-str-cls-with-bin
44.12/40.67	c (37,0) c [distill] cache-based irred--  cl tried   114119 cl-sh     0 cl-rem    0 lit-rem      0 T: 0.13 T-out: Y
44.12/40.67	c (37,0) c [distill] cache-based   red--  cl tried    10183 cl-sh    18 cl-rem    3 lit-rem     18 T: 0.03 T-out: N
45.12/41.68	c (38,0) c --> Executing strategy token: distill-cls
45.12/41.68	c (38,0) c [distill] long cls tried: 2725/133270 cl-short:183 lit-r:14 T: 1.01 T-out: Y T-r: -0.02%
45.12/41.68	c (38,0) c [distill] long useful: 366/5450/266540 lits-rem: 28 0-depth-assigns: 0 T: 2.02 T-out: Y
45.12/41.69	c (38,0) c --> Executing strategy token: scc-vrepl
45.12/41.69	c (38,0) c [scc] new: 0 BP 0M T: 0.00
45.12/41.69	c (38,0) c --> Executing strategy token: sub-impl
45.12/41.69	c (38,0) c [impl sub] bin: 0 T: 0.01 T-out: N w-visit: 13078
45.12/41.70	c (38,0) c --> Executing strategy token: str-impl
45.12/41.70	c (38,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.88% w-visit: 13078
45.22/41.70	c (38,0) c --> Executing strategy token: sub-impl
45.22/41.70	c (38,0) c [impl sub] bin: 0 T: 0.01 T-out: N w-visit: 13078
45.22/41.72	c (38,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
45.22/41.72	c (38,0) c [occ] mem usage for occur     16 MB
45.22/41.74	c (38,0) c [occ] mem usage for occur      1 MB
45.22/41.79	c (38,0) c Mem for watch alloc      : 20          MB (31.36     %)
45.22/41.79	c (38,0) c Mem for watch array      : 0           MB (0.45      %)
45.22/41.79	c (38,0) c --> Executing OCC strategy token: occ-backw-sub-str
45.22/41.79	c (38,0) c [occ-backw-sub-str-long-w-bins] subs: 0 str: 0 tried: 33435 0-depth ass: 0 T: 0.01 T-out: N T-r: 99.69%
45.42/41.94	c (38,0) c [occ-sub-long-w-long] rem cl: 63 tried: 366190/183095 (200.0%) T: 0.14 T-out: N T-r: 74.89%
45.72/42.20	c (39,0) c [occ-sub-str-long-w-long] sub: 1 str: 85 tried: 549285/183095 (300.0)  T: 0.26 T-out: N T-r: 76.38%
45.72/42.20	c (39,0) c --> Executing OCC strategy token: occ-clean-implicit
45.72/42.20	c (39,0) c --> Executing OCC strategy token: occ-bve
45.72/42.20	c (39,0) c [occ-empty-res] Empty resolvent elimed: 0 T: 0.00 T-out: N
45.81/42.31	c (39,0) c [occ-bve] iter v-elim 0
45.81/42.31	c (39,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=0)
45.81/42.31	c (39,0) c Reduced to 6021 vars, 139690 cls (grow=0)
45.81/42.40	c (39,0) c [occ-bve] iter v-elim 0
45.81/42.40	c (39,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=8)
45.91/42.40	c (39,0) c Reduced to 6021 vars, 139690 cls (grow=8)
45.91/42.49	c (39,0) c [occ-bve] iter v-elim 0
45.91/42.49	c (39,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=16)
45.91/42.49	c (39,0) c Reduced to 6021 vars, 139690 cls (grow=16)
45.91/42.49	c (39,0) c x n vars       : 6021
45.91/42.49	c (39,0) c  #try to eliminate:  18063
45.91/42.49	c (39,0) c  #var-elim        :      0
45.91/42.49	c (39,0) c  #T-o: N
45.91/42.49	c (39,0) c  #T-r: 99.91%
45.91/42.49	c (39,0) c  #T  : 0.29
45.91/42.49	c (39,0) c [occur] 0.07 is overhead
45.91/42.49	c (39,0) c [occur] link-in T: 0.07 cleanup T: 0.00
45.91/42.49	c (39,0) c --> Executing OCC strategy token: occ-bva
45.91/42.49	c (39,0) c [occ-bva] global numcalls: 1
46.02/42.52	c (39,0) c --> Executing OCC strategy token: occ-ternary-res
46.02/42.52	c (39,0) c --> Executing OCC strategy token: occ-xor
46.02/42.53	c (39,0) c [occ-xor] sort occur list T: 0.02
46.13/42.64	c (39,0) c [occ-xor] found      0 T: 0.15 T-out: N T-r: 98.17%
46.13/42.64	c (39,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
46.13/42.68	c (39,0) c --> Executing strategy token: cl-consolidate
46.13/42.68	c (39,0) c Not consolidating memory.
46.13/42.68	c (39,0) c --> Executing strategy token: str-impl
46.13/42.68	c (39,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.88% w-visit: 13078
46.33/42.86	c (39,0) c --> Executing strategy token: cache-clean
46.33/42.86	c (39,0) c --> Executing strategy token: sub-str-cls-with-bin
46.33/42.86	c (39,0) c [distill] cache-based irred--  cl tried   258043 cl-sh     0 cl-rem    0 lit-rem      0 T: 0.15 T-out: Y
46.33/42.86	c (39,0) c [distill] cache-based   red--  cl tried    10252 cl-sh     5 cl-rem    0 lit-rem      5 T: 0.02 T-out: N
47.43/43.94	c (40,0) c --> Executing strategy token: distill-cls
47.43/43.94	c (40,0) c [distill] long cls tried: 2286/133270 cl-short:167 lit-r:0 T: 1.07 T-out: Y T-r: -0.09%
47.43/43.94	c (40,0) c [distill] long useful: 334/4572/266540 lits-rem: 0 0-depth-assigns: 0 T: 2.14 T-out: Y
47.43/43.94	c (40,0) c --> Executing strategy token: scc-vrepl
47.43/43.94	c (40,0) c [scc] new: 0 BP 0M T: 0.00
47.43/43.94	c (40,0) c --> Executing strategy token: check-cache-size
47.43/43.94	c (40,0) c --> Executing strategy token: renumber
47.43/43.94	c (40,0) c --> Executing strategy token: sls
47.43/43.94	c (40,0) c [consolidate] mini T: 0.00
47.43/43.94	c (40,0) c global_timeout_multiplier: 4.84
47.43/43.98	c (40,0) c [features] numVars 6021, numClauses 139690, var_cl_ratio 0.04, binary 0.05, horn 1.04, horn_mean 0.00, horn_std 0.00, horn_min 0.00, horn_max 0.03, horn_spread 0.03, vcg_var_mean 0.00, vcg_var_std 2.60, vcg_var_min 0.00, vcg_var_max 0.06, vcg_var_spread 0.06, vcg_cls_mean 0.00, vcg_cls_std 0.49, vcg_cls_min 0.00, vcg_cls_max 0.00, vcg_cls_spread 0.00, pnr_var_mean 0.50, pnr_var_std 0.50, pnr_var_min 0.00, pnr_var_max 1.00, pnr_var_spread 1.00, pnr_cls_mean 0.66, pnr_cls_std 0.56, pnr_cls_min 0.00, pnr_cls_max 1.00, pnr_cls_spread 1.00, avg_confl_size 23.36, confl_size_min 2.00, confl_size_max 98.00, avg_confl_glue 13.20, confl_glue_min 2.00, confl_glue_max 35.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 21.71, branch_depth_min 11.00, branch_depth_max 51.00, avg_trail_depth_delta 561.81, trail_depth_delta_min 2.00, trail_depth_delta_max 2520.00, avg_branch_depth_delta 1.31, props_per_confl 0.00, confl_per_restart 349.27, decisions_per_conflict 1.52, irred_cl_distrib.glue_distr_mean 999.96, irred_cl_distrib.glue_distr_var 37.32, irred_cl_distrib.size_distr_mean 3.85, irred_cl_distrib.size_distr_var 0.89, 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 22944.25, red_cl_distrib.glue_distr_mean 2.90, red_cl_distrib.glue_distr_var 0.10, red_cl_distrib.size_distr_mean 6.91, red_cl_distrib.size_distr_var 5.71, red_cl_distrib.uip_use_distr_mean 0, red_cl_distrib.uip_use_distr_var 0, red_cl_distrib.activity_distr_mean 6696.83, red_cl_distrib.activity_distr_var 1863610609.79, num_gates_found_last 0, num_xors_found_last 0
47.43/43.98	c (40,0) c clause size stats. size3: 60249 size4: 42534 size5: 20059 larger: 10428
48.33/44.87	c (41,0) c   luby     0   503  172K    6021  133K  6420    3.85    3.77  5150  3815   44K    60   21.63   21.60
49.23/45.76	c (42,0) c [distill] long cls tried: 594/5152 cl-short:594 lit-r:294 T: 0.40 T-out: N T-r: 95.99%
50.73/47.22	c (44,0) c   luby     0   535  180K    6021  133K  6420    3.85    3.77  5256  3300   38K    60   21.03   21.01
52.43/48.99	c (45,0) c   luby     0   552  188K    6021  133K  6420    3.85    3.77  5260  3432   46K    60   21.18   21.16
54.34/50.83	c (47,0) c   luby     0   583  196K    6021  133K  6420    3.85    3.77  5452  3851   40K    60   20.50   20.48
56.05/52.54	c (49,0) c   luby     0   608  204K    6021  133K  6420    3.85    3.77  5565  3660   48K    60   21.01   20.99
57.95/54.43	c (51,0) c   luby     0   609  213K    6021  133K  6420    3.85    3.77  5737  4015   40K    60   20.23   20.21
58.25/54.75	c (51,0) c [distill] long cls tried: 585/5736 cl-short:585 lit-r:425 T: 0.29 T-out: N T-r: 96.89%
60.05/56.55	c (53,0) c   luby     0   641  221K    6021  133K  6420    3.85    3.77  5871  2985   49K    62   20.58   20.56
61.75/58.28	c (55,0) c   luby     0   672  229K    6021  133K  6420    3.85    3.77  5912  4029   43K    63   20.68   20.65
63.75/60.23	c (57,0) c   luby     0   700  237K    6021  133K  6420    3.85    3.77  6039  3821   51K    63   21.21   21.19
65.56/62.09	c (59,0) c   luby     0   732  245K    6021  133K  6420    3.85    3.77  6269  4408   43K    63   20.79   20.77
67.57/64.10	c (61,0) c   luby     0   736  253K    6021  133K  6420    3.85    3.77  6425  3699   52K    63   21.28   21.26
69.57/66.05	c (62,0) c   luby     0   737  262K    6021  133K  6420    3.85    3.77  6678  3791   45K    63   21.09   21.07
71.36/67.86	c (64,0) c   luby     0   737  270K    6021  133K  6420    3.85    3.77  6882  3863   38K    63   20.72   20.70
72.06/68.58	c (65,0) c [distill] long cls tried: 1146/6880 cl-short:1144 lit-r:777 T: 0.58 T-out: N T-r: 93.81%
73.76/70.24	c (67,0) c   luby     0   738  278K    6021  133K  6420    3.85    3.77  6885  4067   46K    65   21.00   20.98
75.87/72.33	c (69,0) c   luby     0   738  286K    6021  133K  6420    3.85    3.77  7079  4450   40K    65   20.26   20.23
77.87/74.34	c (71,0) c   luby     0   738  294K    6021  133K  6420    3.85    3.77  7210  3766   48K    65   20.60   20.58
79.97/76.44	c (73,0) c   luby     0   769  303K    6021  133K  6420    3.85    3.77  7431  4494   41K    65   20.47   20.45
80.47/76.95	c (73,0) c recursive minimization cost OK: 1356Kcost/(% lits removed)
80.47/76.95	c (73,0) c --> Executing strategy token: handle-comps
80.47/76.95	c (73,0) c --> Executing strategy token: scc-vrepl
80.47/76.95	c (73,0) c [scc] new: 0 BP 0M T: 0.00
80.47/76.96	c (73,0) c --> Executing strategy token: cache-clean
80.47/76.96	c (73,0) c --> Executing strategy token: cache-tryboth
80.47/76.96	c (73,0) c --> Executing strategy token: sub-impl
80.47/76.96	c (73,0) c [impl sub] bin: 0 T: 0.01 T-out: N w-visit: 13078
80.47/76.98	c (73,0) c --> Executing strategy token: intree-probe
80.47/76.98	c (73,0) c [scc] new: 0 BP 0M T: 0.00
80.47/77.00	c (73,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 0M T: 0.02
80.59/77.07	c (73,0) c [intree] Set 0 vars hyper-added: 1 trans-irred::0 trans-red::0 T: 0.07 T-out: N T-r: 99.78%
80.78/77.29	c (74,0) c --> Executing strategy token: probe
80.78/77.29	c (74,0) c --> Executing strategy token: sub-str-cls-with-bin
80.78/77.29	c (74,0) c [distill] cache-based irred--  cl tried   119490 cl-sh     0 cl-rem    0 lit-rem      0 T: 0.14 T-out: Y
80.78/77.29	c (74,0) c [distill] cache-based   red--  cl tried    14459 cl-sh    24 cl-rem    1 lit-rem     24 T: 0.07 T-out: Y
81.98/78.44	c (75,0) c --> Executing strategy token: distill-cls
81.98/78.44	c (75,0) c [distill] long cls tried: 2793/133270 cl-short:192 lit-r:14 T: 1.14 T-out: Y T-r: -0.07%
81.98/78.44	c (75,0) c [distill] long useful: 384/5586/266540 lits-rem: 28 0-depth-assigns: 0 T: 2.29 T-out: Y
81.98/78.44	c (75,0) c --> Executing strategy token: scc-vrepl
81.98/78.44	c (75,0) c [scc] new: 0 BP 0M T: 0.00
81.98/78.45	c (75,0) c --> Executing strategy token: sub-impl
81.98/78.45	c (75,0) c [impl sub] bin: 0 T: 0.01 T-out: N w-visit: 13078
81.98/78.45	c (75,0) c --> Executing strategy token: str-impl
81.98/78.45	c (75,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.89% w-visit: 13078
81.98/78.46	c (75,0) c --> Executing strategy token: sub-impl
81.98/78.46	c (75,0) c [impl sub] bin: 0 T: 0.01 T-out: N w-visit: 13078
81.98/78.47	c (75,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
81.98/78.47	c (75,0) c [occ] mem usage for occur     16 MB
82.08/78.50	c (75,0) c [occ] mem usage for occur      2 MB
82.08/78.54	c (75,0) c Mem for watch alloc      : 25          MB (36.06     %)
82.08/78.54	c (75,0) c Mem for watch array      : 0           MB (0.43      %)
82.08/78.55	c (75,0) c --> Executing OCC strategy token: occ-backw-sub-str
82.08/78.55	c (75,0) c [occ-backw-sub-str-long-w-bins] subs: 0 str: 2 tried: 46407 0-depth ass: 0 T: 0.01 T-out: N T-r: 99.69%
82.28/78.71	c (75,0) c [occ-sub-long-w-long] rem cl: 71 tried: 377596/188798 (200.0%) T: 0.16 T-out: N T-r: 72.72%
82.48/79.00	c (75,0) c [occ-sub-str-long-w-long] sub: 3 str: 109 tried: 566394/188798 (300.0)  T: 0.29 T-out: N T-r: 76.16%
82.59/79.01	c (75,0) c --> Executing OCC strategy token: occ-clean-implicit
82.59/79.01	c (75,0) c --> Executing OCC strategy token: occ-bve
82.59/79.01	c (75,0) c [occ-empty-res] Empty resolvent elimed: 0 T: 0.00 T-out: N
82.69/79.11	c (76,0) c [occ-bve] iter v-elim 0
82.69/79.11	c (76,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=0)
82.69/79.11	c (76,0) c Reduced to 6021 vars, 139690 cls (grow=0)
82.78/79.21	c (76,0) c [occ-bve] iter v-elim 0
82.78/79.21	c (76,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=8)
82.78/79.21	c (76,0) c Reduced to 6021 vars, 139690 cls (grow=8)
82.88/79.30	c (76,0) c [occ-bve] iter v-elim 0
82.88/79.30	c (76,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=16)
82.88/79.30	c (76,0) c Reduced to 6021 vars, 139690 cls (grow=16)
82.88/79.30	c (76,0) c x n vars       : 6021
82.88/79.30	c (76,0) c  #try to eliminate:  18063
82.88/79.30	c (76,0) c  #var-elim        :      0
82.88/79.30	c (76,0) c  #T-o: N
82.88/79.30	c (76,0) c  #T-r: 99.92%
82.88/79.30	c (76,0) c  #T  : 0.30
82.88/79.30	c (76,0) c [occur] 0.07 is overhead
82.88/79.30	c (76,0) c [occur] link-in T: 0.07 cleanup T: 0.00
82.88/79.30	c (76,0) c --> Executing OCC strategy token: occ-bva
82.88/79.30	c (76,0) c [occ-bva] global numcalls: 2
82.88/79.33	c (76,0) c --> Executing OCC strategy token: occ-ternary-res
82.88/79.33	c (76,0) c --> Executing OCC strategy token: occ-xor
82.88/79.33	c (76,0) c [occ-xor] sort occur list T: 0.03
82.98/79.45	c (76,0) c [occ-xor] found      0 T: 0.15 T-out: N T-r: 98.30%
82.98/79.45	c (76,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
82.98/79.49	c (76,0) c --> Executing strategy token: cl-consolidate
82.98/79.49	c (76,0) c Not consolidating memory.
82.98/79.49	c (76,0) c --> Executing strategy token: str-impl
82.98/79.49	c (76,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.89% w-visit: 13078
83.29/79.70	c (76,0) c --> Executing strategy token: cache-clean
83.29/79.70	c (76,0) c --> Executing strategy token: sub-str-cls-with-bin
83.29/79.70	c (76,0) c [distill] cache-based irred--  cl tried   255086 cl-sh     0 cl-rem    0 lit-rem      0 T: 0.15 T-out: Y
83.29/79.70	c (76,0) c [distill] cache-based   red--  cl tried    14938 cl-sh     1 cl-rem    0 lit-rem      2 T: 0.04 T-out: N
84.39/80.88	c (77,0) c --> Executing strategy token: distill-cls
84.39/80.88	c (77,0) c [distill] long cls tried: 2335/133270 cl-short:154 lit-r:16 T: 1.18 T-out: Y T-r: -0.05%
84.39/80.88	c (77,0) c [distill] long useful: 308/4670/266540 lits-rem: 32 0-depth-assigns: 0 T: 2.36 T-out: Y
84.39/80.88	c (77,0) c --> Executing strategy token: scc-vrepl
84.39/80.88	c (77,0) c [scc] new: 0 BP 0M T: 0.00
84.39/80.88	c (77,0) c --> Executing strategy token: check-cache-size
84.39/80.88	c (77,0) c --> Executing strategy token: renumber
84.39/80.88	c (77,0) c --> Executing strategy token: sls
84.39/80.88	c (77,0) c [consolidate] mini T: 0.00
84.39/80.88	c (77,0) c global_timeout_multiplier: 5.32
84.39/80.89	c (77,0) c clause size stats. size3: 60264 size4: 42534 size5: 20044 larger: 10428
85.70/82.12	c (79,0) c   glue     1   821  311K    6021  133K  6420    3.85    3.77  7940  4867   48K    66   20.90   20.88
87.19/83.63	c (80,0) c   geom     1   852  319K    6021  133K  6420    3.85    3.77  8080  7147   38K    67   20.19   20.17
88.60/85.08	c (81,0) c [distill] long cls tried: 1965/8764 cl-short:1965 lit-r:1587 T: 1.16 T-out: N T-r: 88.51%
89.99/86.42	c (83,0) c   glue     1   891  327K    6021  133K  6420    3.85    3.77  8839  6760   46K    71   20.70   20.68
91.60/88.07	c (84,0) c   glue     1   926  335K    6021  133K  6420    3.85    3.77  9756  7593   38K    71   20.14   20.12
93.49/89.92	c (86,0) c   glue     1   962  344K    6021  133K  6420    3.85    3.77 10571  6454   46K    71   20.72   20.70
95.20/91.69	c (88,0) c   geom     1  1001  352K    6021  133K  6420    3.85    3.77 11427  7060   41K    71   20.31   20.28
97.11/93.51	c (90,0) c   glue     1  1028  360K    6021  133K  6420    3.85    3.77 12332  7577   35K    72   20.01   19.99
98.91/95.31	c (92,0) c   glue     1  1068  368K    6021  133K  6420    3.85    3.77 12392  8680   42K    72   20.69   20.67
102.21/98.65	c (95,0) c [distill] long cls tried: 4242/13006 cl-short:4238 lit-r:4408 T: 2.78 T-out: N T-r: 76.35%
103.61/100.09	c (97,0) c   geom     1  1106  376K    6021  133K  6420    3.85    3.77 13317  8727   37K    73   19.89   19.87
105.51/101.94	c (98,0) c   glue     1  1138  385K    6021  133K  6420    3.85    3.77 13994  7315   46K    73   20.70   20.68
107.52/103.98	c (100,0) c   geom     1  1174  393K    6021  133K  6420    3.85    3.77 14863  7747   38K    74   20.05   20.03
109.52/105.92	c (102,0) c   geom     1  1196  401K    6021  133K  6420    3.85    3.77 15510  6367   47K    74   20.58   20.56
111.52/107.98	c (104,0) c   glue     1  1222  409K    6021  133K  6420    3.85    3.77 15845  8979   40K    74   19.89   19.87
113.62/110.09	c (107,0) c   glue     1  1260  417K    6021  133K  6420    3.85    3.77 16528  7444   49K    74   20.57   20.55
117.32/113.76	c (110,0) c [distill] long cls tried: 4327/17333 cl-short:4318 lit-r:5061 T: 2.86 T-out: N T-r: 74.84%
118.52/114.90	c (111,0) c   glue     1  1295  426K    6021  133K  6420    3.85    3.77 17356  7830   42K    75   19.74   19.72
120.63/117.10	c (114,0) c   glue     1  1337  434K    6021  133K  6420    3.85    3.77 17923  6501   51K    75   20.26   20.24
122.83/119.20	c (116,0) c   glue     1  1378  442K    6021  133K  6420    3.85    3.77 18702  6610   45K    75   19.63   19.61
124.82/121.27	c (118,0) c   geom     1  1403  450K    6021  133K  6420    3.85    3.77 19489  6665   37K    75   19.03   19.01
126.92/123.35	c (120,0) c   glue     1  1446  458K    6021  133K  6420    3.85    3.77 19542  7497   45K    75   19.65   19.63
128.83/125.26	c (122,0) c   glue     1  1472  467K    6021  133K  6420    3.85    3.77   20K  7808   39K    75   18.97   18.95
132.44/128.84	c (125,0) c [distill] long cls tried: 3353/20685 cl-short:3349 lit-r:3738 T: 2.55 T-out: N T-r: 78.16%
133.44/129.82	c (126,0) c   glue     1  1501  475K    6021  133K  6420    3.85    3.77   20K  6721   47K    76   19.69   19.67
135.54/131.98	c (128,0) c   glue     1  1547  483K    6021  133K  6420    3.85    3.77   21K  6908   40K    76   19.31   19.29
137.04/133.49	c (130,0) c ------- FINAL TOTAL SEARCH STATS ---------
137.04/133.49	c (130,0) c UIP search time          : 118.73      (91.51     % time)
137.04/133.49	c (130,0) c restarts                 : 1570        (311.77    confls per restart)
137.04/133.49	c (130,0) c blocked restarts         : 93          (0.06      per normal restart)
137.04/133.49	c (130,0) c time                     : 118.73      
137.04/133.49	c (130,0) c decisions                : 716063      (0.00      % random)
137.04/133.49	c (130,0) c propagations             : 263017272   
137.04/133.49	c (130,0) c decisions/conflicts      : 1.46        
137.04/133.49	c (130,0) c conflicts                : 489478      (4122.61   / sec)
137.04/133.49	c (130,0) c conf lits non-minim      : 19088009    (39.00     lit/confl)
137.04/133.49	c (130,0) c conf lits final          : 24.16       
137.04/133.49	c (130,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
137.04/133.49	c (130,0) c red which0               : 2665        (0.54      % of confl)
137.04/133.49	c (130,0) c props/decision           : 0.00        
137.04/133.49	c (130,0) c props/conflict           : 0.00        
137.04/133.49	c (130,0) c 0-depth assigns          : 0           (0.00      % vars)
137.04/133.49	c (130,0) c 0-depth assigns by CNF   : 0           (0.00      % vars)
137.04/133.49	c (130,0) c reduceDB time            : 0.25        (0.19      % time)
137.04/133.49	c (130,0) c OccSimplifier time       : 3.10        (2.39      % time)
137.04/133.49	c (130,0) c [occur] 0.30 is overhead
137.04/133.49	c (130,0) c [occur] link-in T: 0.20 cleanup T: 0.10
137.04/133.49	c (130,0) c [occ-substr] long subBySub: 584 subByStr: 5 lits-rem-str: 1100 T: 2.36
137.04/133.49	c (130,0) c SCC time                 : 0.03        (0.02      % time)
137.04/133.49	c (130,0) c [scc] new: 152 BP 1M  T: 0.03
137.04/133.49	c (130,0) c vrep replace time        : 0.13        (0.10      % time)
137.04/133.49	c (130,0) c vrep tree roots          : 17          
137.04/133.49	c (130,0) c vrep trees' crown        : 102         (6.00      leafs/tree)
137.04/133.49	c (130,0) c distill time             : 25.42       (19.60     % time)
137.04/133.49	c (130,0) c strength cache-irred time: 0.90        (0.70      % time)
137.04/133.49	c (130,0) c strength cache-red time  : 0.19        (0.15      % time)
137.04/133.49	c (130,0) c Conflicts in UIP         : 489478      (3772.74   confl/time_this_thread)
137.04/133.49	c (130,0) c Mem used                 : 76.49       MB
137.04/133.49	c (130,0) c Total time (this thread) : 129.74      
137.04/133.50	c (130,0) s SATISFIABLE
137.16/133.56	c (130,0) SatSolver.solve End
137.16/133.56	c (130,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
137.16/133.56	c (130,0) Show results Begin
137.45/133.65	c (130,0) h[0] = 28
137.45/133.65	c (130,0) h[1] = 151
137.45/133.65	c (130,0) h[2] = 21
137.45/133.65	c (130,0) h[3] = 44
137.45/133.65	c (130,0) h[4] = 107
137.45/133.65	c (130,0) h[5] = 121
137.45/133.65	c (130,0) h[6] = 7
137.45/133.65	c (130,0) h[7] = 95
137.45/133.65	c (130,0) h[8] = 26
137.45/133.65	c (130,0) h[9] = 33
137.45/133.65	c (130,0) h[10] = 78
137.45/133.65	c (130,0) h[11] = 31
137.45/133.65	c (130,0) h[12] = 63
137.45/133.65	c (130,0) h[13] = 106
137.45/133.65	c (130,0) h[14] = 11
137.45/133.65	c (130,0) h[15] = 20
137.45/133.65	c (130,0) h[16] = 83
137.45/133.65	c (130,0) r[0] = 1
137.45/133.65	c (130,0) r[1] = 1
137.45/133.65	c (130,0) r[2] = 1
137.45/133.65	c (130,0) r[3] = 1
137.45/133.65	c (130,0) r[4] = 1
137.45/133.65	c (130,0) r[5] = 1
137.45/133.65	c (130,0) r[6] = 1
137.45/133.65	c (130,0) r[7] = 1
137.45/133.65	c (130,0) r[8] = 1
137.45/133.65	c (130,0) r[9] = 1
137.45/133.65	c (130,0) r[10] = 1
137.45/133.65	c (130,0) r[11] = 1
137.45/133.65	c (130,0) r[12] = 1
137.45/133.65	c (130,0) r[13] = 1
137.45/133.65	c (130,0) r[14] = 1
137.45/133.65	c (130,0) r[15] = 1
137.45/133.65	c (130,0) r[16] = 1
137.45/133.65	c (130,0) w[0] = 139
137.45/133.65	c (130,0) w[1] = 25
137.45/133.65	c (130,0) w[2] = 44
137.45/133.65	c (130,0) w[3] = 60
137.45/133.65	c (130,0) w[4] = 19
137.45/133.65	c (130,0) w[5] = 21
137.45/133.65	c (130,0) w[6] = 32
137.45/133.65	c (130,0) w[7] = 20
137.45/133.65	c (130,0) w[8] = 11
137.45/133.65	c (130,0) w[9] = 9
137.45/133.65	c (130,0) w[10] = 54
137.45/133.65	c (130,0) w[11] = 78
137.45/133.65	c (130,0) w[12] = 83
137.45/133.65	c (130,0) w[13] = 61
137.45/133.65	c (130,0) w[14] = 37
137.45/133.65	c (130,0) w[15] = 5
137.45/133.65	c (130,0) w[16] = 32
137.45/133.65	c (130,0) x[0] = 0
137.45/133.65	c (130,0) x[1] = 60
137.45/133.65	c (130,0) x[2] = 41
137.45/133.65	c (130,0) x[3] = 0
137.45/133.65	c (130,0) x[4] = 41
137.45/133.65	c (130,0) x[5] = 0
137.45/133.65	c (130,0) x[6] = 0
137.45/133.65	c (130,0) x[7] = 21
137.45/133.65	c (130,0) x[8] = 21
137.45/133.65	c (130,0) x[9] = 32
137.45/133.65	c (130,0) x[10] = 85
137.45/133.65	c (130,0) x[11] = 122
137.45/133.65	c (130,0) x[12] = 117
137.45/133.65	c (130,0) x[13] = 139
137.45/133.65	c (130,0) x[14] = 85
137.45/133.65	c (130,0) x[15] = 117
137.45/133.65	c (130,0) x[16] = 85
137.45/133.65	c (130,0) y[0] = 172
137.45/133.65	c (130,0) y[1] = 0
137.45/133.65	c (130,0) y[2] = 151
137.45/133.65	c (130,0) y[3] = 0
137.45/133.65	c (130,0) y[4] = 44
137.45/133.65	c (130,0) y[5] = 44
137.45/133.65	c (130,0) y[6] = 165
137.45/133.65	c (130,0) y[7] = 44
137.45/133.65	c (130,0) y[8] = 139
137.45/133.65	c (130,0) y[9] = 139
137.45/133.65	c (130,0) y[10] = 94
137.45/133.65	c (130,0) y[11] = 0
137.45/133.65	c (130,0) y[12] = 31
137.45/133.65	c (130,0) y[13] = 94
137.45/133.65	c (130,0) y[14] = 0
137.45/133.65	c (130,0) y[15] = 11
137.45/133.65	c (130,0) y[16] = 11
137.45/133.65	s SATISFIABLE
137.45/133.65	v <instantiation>
137.45/133.65	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] 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] w[0] w[1] w[2] w[3] w[4] w[5] w[6] w[7] w[8] w[9] w[10] w[11] w[12] w[13] w[14] w[15] w[16] h[0] h[1] h[2] h[3] h[4] h[5] h[6] h[7] h[8] h[9] h[10] h[11] h[12] h[13] h[14] h[15] h[16] r[0] r[1] r[2] r[3] r[4] r[5] r[6] r[7] r[8] r[9] r[10] r[11] r[12] r[13] r[14] r[15] r[16]</list>
137.45/133.65	v     <values>0 60 41 0 41 0 0 21 21 32 85 122 117 139 85 117 85 172 0 151 0 44 44 165 44 139 139 94 0 31 94 0 11 11 139 25 44 60 19 21 32 20 11 9 54 78 83 61 37 5 32 28 151 21 44 107 121 7 95 26 33 78 31 63 106 11 20 83 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1</values>
137.45/133.65	v </instantiation>
137.45/133.65	c (130,0) Show results End
137.45/133.65	c (130,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
137.45/133.65	c (130,0) 130,130,STOP-AFTER(ALL)
137.45/133.65	c END-Prog: Thu Sep 12 13:02:15 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 (15323 MiB free)
  memory of node 1: 16384 MiB (15707 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387582-1568286041/watcher-4387582-1568286041 -o /tmp/evaluation-result-4387582-1568286041/solver-4387582-1568286041 -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-4387582-1568286041.xml 

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

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


[startup+0.10009 s]*
/proc/loadavg: 1.66 1.94 2.02 3/223 1115
/proc/meminfo: memFree=31665032/32770624 swapFree=66999528/67108860
[pid=1078] ppid=1075 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/1078/stat : 1078 (scop.sh) S 1075 1078 31842 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 404518154 115843072 349 33554432000 4194304 5098028 140735607544320 140735607541576 140198212612732 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16973824 140735607550819 140735607551088 140735607551088 140735607553997 0
/proc/1078/statm: 28282 349 296 221 0 87 0
[pid=1081] ppid=1078 vsize=15012696 memory=71112 CPUtime=0.11 cores=1,3,5,7
/proc/1081/stat : 1081 (java) S 1078 1078 31842 0 -1 1077944320 7020 0 0 0 9 2 0 0 20 0 15 0 404518155 15373000704 17778 33554432000 4194304 4196468 140729869672032 140729869654576 140251313037047 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
/proc/1081/statm: 3753174 17778 2922 1 0 3715579 0
[pid=1081/tid=1082] ppid=1078 vsize=15013720 memory=-8412656559031949171 CPUtime=0.09 cores=1,3,5,7
/proc/1081/task/1082/stat : 1082 (java) R 1078 1078 31842 0 -1 4202560 5061 0 0 0 7 2 0 0 20 0 15 0 404518155 15374049280 18041 33554432000 4194304 4196468 140729869672032 140251284821296 140251305716765 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1087] ppid=1078 vsize=15013720 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1087/stat : 1087 (java) S 1078 1078 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404518157 15374049280 18041 33554432000 4194304 4196468 140729869672032 140251317279760 140251313047253 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1088] ppid=1078 vsize=15013720 memory=139820236576384 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1088/stat : 1088 (java) S 1078 1078 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404518157 15374049280 18041 33554432000 4194304 4196468 140729869672032 140250773970064 140251313047253 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1089] ppid=1078 vsize=15013720 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1089/stat : 1089 (java) S 1078 1078 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404518157 15374049280 18041 33554432000 4194304 4196468 140729869672032 140250772917008 140251313047253 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1090] ppid=1078 vsize=15013720 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1090/stat : 1090 (java) S 1078 1078 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404518157 15374049280 18041 33554432000 4194304 4196468 140729869672032 140250771864464 140251313047253 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1099] ppid=1078 vsize=15014680 memory=139820236576384 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1099/stat : 1099 (java) S 1078 1078 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404518158 15375032320 18041 33554432000 4194304 4196468 140729869672032 140250350602480 140251313048194 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1101] ppid=1078 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1101/stat : 1101 (java) S 1078 1078 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404518159 15375032320 18107 33554432000 4194304 4196468 140729869672032 140249875342496 140251313047253 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1102] ppid=1078 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1102/stat : 1102 (java) S 1078 1078 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404518159 15375032320 18107 33554432000 4194304 4196468 140729869672032 140249606906608 140251313047253 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1107] ppid=1078 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1107/stat : 1107 (java) S 1078 1078 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404518161 15375032320 18107 33554432000 4194304 4196468 140729869672032 140249232398288 140251313055643 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1108] ppid=1078 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1108/stat : 1108 (java) S 1078 1078 31842 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 404518161 15375032320 18173 33554432000 4194304 4196468 140729869672032 140250349550320 140251313048194 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1109] ppid=1078 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1109/stat : 1109 (java) S 1078 1078 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404518161 15375032320 18173 33554432000 4194304 4196468 140729869672032 140250348497776 140251313048194 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1110] ppid=1078 vsize=15014680 memory=139820236576384 CPUtime=0.01 cores=1,3,5,7
/proc/1081/task/1110/stat : 1110 (java) S 1078 1078 31842 0 -1 1077944384 498 0 0 0 1 0 0 0 20 0 15 0 404518161 15375032320 18173 33554432000 4194304 4196468 140729869672032 140250347444720 140251313048194 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1112] ppid=1078 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1112/stat : 1112 (java) S 1078 1078 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404518161 15375032320 18173 33554432000 4194304 4196468 140729869672032 140248734493536 140251313047253 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1113] ppid=1078 vsize=15014680 memory=139820236576384 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1113/stat : 1113 (java) S 1078 1078 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404518162 15375032320 18173 33554432000 4194304 4196468 140729869672032 140250346392112 140251313048194 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 72508 KiB

[startup+0.210801 s]*
/proc/loadavg: 1.66 1.94 2.02 3/229 1121
/proc/meminfo: memFree=31620640/32770624 swapFree=66999528/67108860
[pid=1078] ppid=1075 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/1078/stat : 1078 (scop.sh) S 1075 1078 31842 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 404518154 115843072 349 33554432000 4194304 5098028 140735607544320 140735607541576 140198212612732 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16973824 140735607550819 140735607551088 140735607551088 140735607553997 0
/proc/1078/statm: 28282 349 296 221 0 87 0
[pid=1081] ppid=1078 vsize=15012696 memory=84100 CPUtime=0.24 cores=1,3,5,7
/proc/1081/stat : 1081 (java) S 1078 1078 31842 0 -1 1077944320 11599 0 0 0 21 3 0 0 20 0 15 0 404518155 15373000704 21025 33554432000 4194304 4196468 140729869672032 140729869654576 140251313037047 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
/proc/1081/statm: 3753174 21025 2927 1 0 3715579 0
[pid=1081/tid=1082] ppid=1078 vsize=15012696 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/1081/task/1082/stat : 1082 (java) R 1078 1078 31842 0 -1 4202560 9302 0 0 0 17 3 0 0 20 0 15 0 404518155 15373000704 21090 33554432000 4194304 4196468 140729869672032 140251284852688 140251297117534 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1087] ppid=1078 vsize=15012696 memory=13675 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1087/stat : 1087 (java) S 1078 1078 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404518157 15373000704 21090 33554432000 4194304 4196468 140729869672032 140251317279760 140251313047253 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1088] ppid=1078 vsize=15012696 memory=4121838605822629536 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1088/stat : 1088 (java) S 1078 1078 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404518157 15373000704 21090 33554432000 4194304 4196468 140729869672032 140250773970064 140251313047253 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1089] ppid=1078 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1089/stat : 1089 (java) S 1078 1078 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404518157 15373000704 21090 33554432000 4194304 4196468 140729869672032 140250772917008 140251313047253 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1090] ppid=1078 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1090/stat : 1090 (java) S 1078 1078 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404518157 15373000704 21090 33554432000 4194304 4196468 140729869672032 140250771864464 140251313047253 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1099] ppid=1078 vsize=15012696 memory=139820236576384 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1099/stat : 1099 (java) S 1078 1078 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404518158 15373000704 21090 33554432000 4194304 4196468 140729869672032 140250350602480 140251313048194 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1101] ppid=1078 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1101/stat : 1101 (java) S 1078 1078 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404518159 15373000704 21090 33554432000 4194304 4196468 140729869672032 140249875342496 140251313047253 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1102] ppid=1078 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1102/stat : 1102 (java) S 1078 1078 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404518159 15373000704 21090 33554432000 4194304 4196468 140729869672032 140249606906608 140251313047253 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1107] ppid=1078 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1107/stat : 1107 (java) S 1078 1078 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404518161 15373000704 21090 33554432000 4194304 4196468 140729869672032 140249232398288 140251313055643 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1108] ppid=1078 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1108/stat : 1108 (java) S 1078 1078 31842 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 404518161 15373000704 21090 33554432000 4194304 4196468 140729869672032 140250349550320 140251313048194 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1109] ppid=1078 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1109/stat : 1109 (java) S 1078 1078 31842 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 404518161 15373000704 21090 33554432000 4194304 4196468 140729869672032 140250348497776 140251313048194 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1110] ppid=1078 vsize=15012696 memory=139820236576384 CPUtime=0.03 cores=1,3,5,7
/proc/1081/task/1110/stat : 1110 (java) S 1078 1078 31842 0 -1 1077944384 545 0 0 0 3 0 0 0 20 0 15 0 404518161 15373000704 21090 33554432000 4194304 4196468 140729869672032 140250347444720 140251313048194 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1112] ppid=1078 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1112/stat : 1112 (java) S 1078 1078 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404518161 15373000704 21090 33554432000 4194304 4196468 140729869672032 140248734493536 140251313047253 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1113] ppid=1078 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1113/stat : 1113 (java) S 1078 1078 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404518162 15373000704 21090 33554432000 4194304 4196468 140729869672032 140250346392112 140251313048194 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 85496 KiB

[startup+0.314298 s]*
/proc/loadavg: 1.66 1.94 2.02 3/229 1121
/proc/meminfo: memFree=31614064/32770624 swapFree=66999528/67108860
[pid=1078] ppid=1075 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/1078/stat : 1078 (scop.sh) S 1075 1078 31842 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 404518154 115843072 349 33554432000 4194304 5098028 140735607544320 140735607541576 140198212612732 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16973824 140735607550819 140735607551088 140735607551088 140735607553997 0
/proc/1078/statm: 28282 349 296 221 0 87 0
[pid=1081] ppid=1078 vsize=15012696 memory=88760 CPUtime=0.43 cores=1,3,5,7
/proc/1081/stat : 1081 (java) S 1078 1078 31842 0 -1 1077944320 12773 0 0 0 39 4 0 0 20 0 15 0 404518155 15373000704 22190 33554432000 4194304 4196468 140729869672032 140729869654576 140251313037047 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
/proc/1081/statm: 3753174 22190 3030 1 0 3715579 0
[pid=1081/tid=1082] ppid=1078 vsize=15012696 memory=6935054825532540783 CPUtime=0.3 cores=1,3,5,7
/proc/1081/task/1082/stat : 1082 (java) R 1078 1078 31842 0 -1 4202560 10135 0 0 0 27 3 0 0 20 0 15 0 404518155 15373000704 22190 33554432000 4194304 4196468 140729869672032 140251284820064 140251294600603 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1087] ppid=1078 vsize=15012696 memory=964 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1087/stat : 1087 (java) S 1078 1078 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404518157 15373000704 22190 33554432000 4194304 4196468 140729869672032 140251317279760 140251313047253 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1088] ppid=1078 vsize=15012696 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1088/stat : 1088 (java) S 1078 1078 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404518157 15373000704 22190 33554432000 4194304 4196468 140729869672032 140250773970064 140251313047253 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1089] ppid=1078 vsize=15012696 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1089/stat : 1089 (java) S 1078 1078 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404518157 15373000704 22190 33554432000 4194304 4196468 140729869672032 140250772917008 140251313047253 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1090] ppid=1078 vsize=15012696 memory=18540 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1090/stat : 1090 (java) S 1078 1078 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404518157 15373000704 22190 33554432000 4194304 4196468 140729869672032 140250771864464 140251313047253 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1099] ppid=1078 vsize=15012696 memory=11852 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1099/stat : 1099 (java) S 1078 1078 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404518158 15373000704 22190 33554432000 4194304 4196468 140729869672032 140250350602480 140251313048194 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1101] ppid=1078 vsize=15012696 memory=532 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1101/stat : 1101 (java) S 1078 1078 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404518159 15373000704 22190 33554432000 4194304 4196468 140729869672032 140249875342496 140251313047253 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1102] ppid=1078 vsize=15012696 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1102/stat : 1102 (java) S 1078 1078 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404518159 15373000704 22190 33554432000 4194304 4196468 140729869672032 140249606906608 140251313047253 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1107] ppid=1078 vsize=15012696 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1107/stat : 1107 (java) S 1078 1078 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404518161 15373000704 22190 33554432000 4194304 4196468 140729869672032 140249232398288 140251313055643 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1108] ppid=1078 vsize=15012696 memory=2244 CPUtime=0.02 cores=1,3,5,7
/proc/1081/task/1108/stat : 1108 (java) S 1078 1078 31842 0 -1 1077944384 528 0 0 0 2 0 0 0 20 0 15 0 404518161 15373000704 22190 33554432000 4194304 4196468 140729869672032 140250349550320 140251313048194 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1109] ppid=1078 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1081/task/1109/stat : 1109 (java) S 1078 1078 31842 0 -1 1077944384 123 0 0 0 2 0 0 0 20 0 15 0 404518161 15373000704 22190 33554432000 4194304 4196468 140729869672032 140250348497776 140251313048194 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1110] ppid=1078 vsize=15012696 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/1081/task/1110/stat : 1110 (java) S 1078 1078 31842 0 -1 1077944384 661 0 0 0 7 0 0 0 20 0 15 0 404518161 15373000704 22190 33554432000 4194304 4196468 140729869672032 140250347444720 140251313048194 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1112] ppid=1078 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1112/stat : 1112 (java) S 1078 1078 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404518161 15373000704 22190 33554432000 4194304 4196468 140729869672032 140248734493536 140251313047253 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1113] ppid=1078 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1113/stat : 1113 (java) S 1078 1078 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404518162 15373000704 22190 33554432000 4194304 4196468 140729869672032 140250346392112 140251313048194 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90156 KiB

[startup+0.700801 s]
/proc/loadavg: 1.66 1.94 2.02 3/229 1121
/proc/meminfo: memFree=31568836/32770624 swapFree=66999528/67108860
[pid=1078] ppid=1075 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/1078/stat : 1078 (scop.sh) S 1075 1078 31842 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 404518154 115843072 349 33554432000 4194304 5098028 140735607544320 140735607541576 140198212612732 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16973824 140735607550819 140735607551088 140735607551088 140735607553997 0
/proc/1078/statm: 28282 349 296 221 0 87 0
[pid=1081] ppid=1078 vsize=15021016 memory=127148 CPUtime=1.01 cores=1,3,5,7
/proc/1081/stat : 1081 (java) S 1078 1078 31842 0 -1 1077944320 20569 0 0 0 94 7 0 0 20 0 15 0 404518155 15381520384 31787 33554432000 4194304 4196468 140729869672032 140729869654576 140251313037047 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
/proc/1081/statm: 3755254 31787 3188 1 0 3716603 0
[pid=1081/tid=1082] ppid=1078 vsize=15021016 memory=71 CPUtime=0.66 cores=1,3,5,7
/proc/1081/task/1082/stat : 1082 (java) R 1078 1078 31842 0 -1 4202560 17302 0 0 0 61 5 0 0 20 0 15 0 404518155 15381520384 31787 33554432000 4194304 4196468 140729869672032 140251284872624 140251313058973 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1087] ppid=1078 vsize=15021016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1087/stat : 1087 (java) S 1078 1078 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404518157 15381520384 31787 33554432000 4194304 4196468 140729869672032 140251317279760 140251313047253 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1088] ppid=1078 vsize=15021016 memory=3 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1088/stat : 1088 (java) S 1078 1078 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404518157 15381520384 31787 33554432000 4194304 4196468 140729869672032 140250773970064 140251313047253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1089] ppid=1078 vsize=15021016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1089/stat : 1089 (java) S 1078 1078 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404518157 15381520384 31787 33554432000 4194304 4196468 140729869672032 140250772917008 140251313047253 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1090] ppid=1078 vsize=15021016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1090/stat : 1090 (java) S 1078 1078 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404518157 15381520384 31787 33554432000 4194304 4196468 140729869672032 140250771864464 140251313047253 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1099] ppid=1078 vsize=15021016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1099/stat : 1099 (java) S 1078 1078 31842 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404518158 15381520384 31787 33554432000 4194304 4196468 140729869672032 140250350602480 140251313048194 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1101] ppid=1078 vsize=15021016 memory=5 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1101/stat : 1101 (java) S 1078 1078 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404518159 15381520384 31787 33554432000 4194304 4196468 140729869672032 140249875342496 140251313047253 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1102] ppid=1078 vsize=15021016 memory=5 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1102/stat : 1102 (java) S 1078 1078 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404518159 15381520384 31787 33554432000 4194304 4196468 140729869672032 140249606906608 140251313047253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1107] ppid=1078 vsize=15021016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1107/stat : 1107 (java) S 1078 1078 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404518161 15381520384 31787 33554432000 4194304 4196468 140729869672032 140249232398288 140251313055643 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1108] ppid=1078 vsize=15021016 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/1081/task/1108/stat : 1108 (java) R 1078 1078 31842 0 -1 4202560 745 0 0 0 9 0 0 0 20 0 15 0 404518161 15381520384 31787 33554432000 4194304 4196468 140729869672032 140250349550320 140251293734403 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1109] ppid=1078 vsize=15021016 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1081/task/1109/stat : 1109 (java) S 1078 1078 31842 0 -1 1077944384 330 0 0 0 7 0 0 0 20 0 15 0 404518161 15381520384 31787 33554432000 4194304 4196468 140729869672032 140250348497776 140251313048194 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1110] ppid=1078 vsize=15021016 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/1081/task/1110/stat : 1110 (java) S 1078 1078 31842 0 -1 1077944384 859 0 0 0 15 0 0 0 20 0 15 0 404518161 15381520384 31787 33554432000 4194304 4196468 140729869672032 140250347444720 140251313048194 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1112] ppid=1078 vsize=15021016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1112/stat : 1112 (java) S 1078 1078 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404518161 15381520384 31787 33554432000 4194304 4196468 140729869672032 140248734493536 140251313047253 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
[pid=1081/tid=1113] ppid=1078 vsize=15021016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1081/task/1113/stat : 1113 (java) S 1078 1078 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404518162 15381520384 31787 33554432000 4194304 4196468 140729869672032 140250346392112 140251313048194 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25354240 140729869677354 140729869677722 140729869677722 140729869680591 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134144 KiB
Current children cumulated memory: 128544 KiB

[startup+1.50118 s]
/proc/loadavg: 1.66 1.94 2.02 4/229 1121
/proc/meminfo: memFree=31512532/32770624 swapFree=66999528/67108860
[pid=1078] ppid=1075 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/1078/stat : 1078 (scop.sh) S 1075 1078 31842 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 404518154 115843072 349 33554432000 4194304 5098028 140735607544320 140735607541576 140198212612732 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16973824 140735607550819 140735607551088 140735607551088 140735607553997 0
/proc/1078/statm: 28282 349 296 221 0 87 0

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

/proc/1122/task/1138/stat : 1138 (java) S 1078 1078 31842 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404518501 8262082560 30130 33554432000 4194304 4196468 140732696094576 139834769441728 139835402538777 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1140] ppid=1078 vsize=8068440 memory=1476 CPUtime=0.05 cores=1,3,5,7
/proc/1122/task/1140/stat : 1140 (java) S 1078 1078 31842 0 -1 4202560 1717 0 0 0 4 1 0 0 20 0 19 0 404518501 8262082560 30130 33554432000 4194304 4196468 140732696094576 139832726629872 139835402536093 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1141] ppid=1078 vsize=8068440 memory=120520 CPUtime=0 cores=1,3,5,7
/proc/1122/task/1141/stat : 1141 (java) S 1078 1078 31842 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404518501 8262082560 30130 33554432000 4194304 4196468 140732696094576 139832860852112 139835402536093 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1142] ppid=1078 vsize=8068440 memory=78324 CPUtime=0 cores=1,3,5,7
/proc/1122/task/1142/stat : 1142 (java) S 1078 1078 31842 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 404518517 8262082560 30130 33554432000 4194304 4196468 140732696094576 139832458206640 139835402524373 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
Current children cumulated CPU time: 134.84 s
Current children cumulated vsize: 8288032 KiB
Current children cumulated memory: 200320 KiB

[startup+132.801 s]
/proc/loadavg: 2.02 2.00 2.03 3/241 1198
/proc/meminfo: memFree=30715496/32770624 swapFree=66999536/67108860
[pid=1078] ppid=1075 vsize=113128 memory=1476 CPUtime=5.95 cores=1,3,5,7
/proc/1078/stat : 1078 (scop.sh) S 1075 1078 31842 0 -1 4202496 582 28064 0 1 0 0 575 20 20 0 1 0 404518154 115843072 369 33554432000 4194304 5098028 140735607544320 140735607541064 140198212612732 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16973824 140735607550819 140735607551088 140735607551088 140735607553997 0
/proc/1078/statm: 28282 369 311 221 0 87 0
[pid=1122] ppid=1078 vsize=8068440 memory=120520 CPUtime=1.36 cores=1,3,5,7
/proc/1122/stat : 1122 (java) S 1078 1078 31842 0 -1 1077944320 22109 0 0 0 125 11 0 0 20 0 19 0 404518426 8262082560 30130 33554432000 4194304 4196468 140732696094576 140732696077120 139835402514167 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
/proc/1122/statm: 2017110 30130 3211 1 0 1978454 0
[pid=1137] ppid=1122 vsize=106464 memory=78324 CPUtime=129.13 cores=1,3,5,7
/proc/1137/stat : 1137 (cryptominisat5) R 1122 1078 31842 0 -1 4202496 63318 0 2 0 12904 9 0 0 20 0 1 0 404518500 109019136 19581 33554432000 4194304 4451008 140729557623680 140729557619608 140488641856206 0 4 0 2 0 0 0 17 1 0 0 9 0 0 6549032 6559120 21209088 140729557631933 140729557632064 140729557632064 140729557635014 0
/proc/1137/statm: 26616 19581 736 63 0 20343 0
[pid=1122/tid=1123] ppid=1078 vsize=8068440 memory=120520 CPUtime=0.77 cores=1,3,5,7
/proc/1122/task/1123/stat : 1123 (java) S 1078 1078 31842 0 -1 1077944384 16951 0 0 0 73 4 0 0 20 0 19 0 404518426 8262082560 30130 33554432000 4194304 4196468 140732696094576 139835374354336 139835402524373 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1124] ppid=1078 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/1122/task/1124/stat : 1124 (java) S 1078 1078 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404518427 8262082560 30130 33554432000 4194304 4196468 140732696094576 139835406756752 139835402524373 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1125] ppid=1078 vsize=8068440 memory=120520 CPUtime=0 cores=1,3,5,7
/proc/1122/task/1125/stat : 1125 (java) S 1078 1078 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404518427 8262082560 30130 33554432000 4194304 4196468 140732696094576 139835212520208 139835402524373 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1126] ppid=1078 vsize=8068440 memory=-3622645143214314312 CPUtime=0 cores=1,3,5,7
/proc/1122/task/1126/stat : 1126 (java) S 1078 1078 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404518427 8262082560 30130 33554432000 4194304 4196468 140732696094576 139835211467920 139835402524373 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1127] ppid=1078 vsize=8068440 memory=120520 CPUtime=0 cores=1,3,5,7
/proc/1122/task/1127/stat : 1127 (java) S 1078 1078 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404518427 8262082560 30130 33554432000 4194304 4196468 140732696094576 139834885311504 139835402524373 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1128] ppid=1078 vsize=8068440 memory=78324 CPUtime=0 cores=1,3,5,7
/proc/1122/task/1128/stat : 1128 (java) S 1078 1078 31842 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 404518429 8262082560 30130 33554432000 4194304 4196468 140732696094576 139834781685872 139835402525314 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1129] ppid=1078 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/1122/task/1129/stat : 1129 (java) S 1078 1078 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404518429 8262082560 30130 33554432000 4194304 4196468 140732696094576 139834270147360 139835402524373 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1130] ppid=1078 vsize=8068440 memory=7548 CPUtime=0 cores=1,3,5,7
/proc/1122/task/1130/stat : 1130 (java) S 1078 1078 31842 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 404518429 8262082560 30130 33554432000 4194304 4196468 140732696094576 139834135925872 139835402524373 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1131] ppid=1078 vsize=8068440 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/1122/task/1131/stat : 1131 (java) S 1078 1078 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404518432 8262082560 30130 33554432000 4194304 4196468 140732696094576 139833761421392 139835402532763 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1132] ppid=1078 vsize=8068440 memory=1224 CPUtime=0.09 cores=1,3,5,7
/proc/1122/task/1132/stat : 1132 (java) S 1078 1078 31842 0 -1 1077944384 781 0 0 0 9 0 0 0 20 0 19 0 404518432 8262082560 30130 33554432000 4194304 4196468 140732696094576 139834780633712 139835402525314 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1133] ppid=1078 vsize=8068440 memory=1476 CPUtime=0.09 cores=1,3,5,7
/proc/1122/task/1133/stat : 1133 (java) S 1078 1078 31842 0 -1 1077944384 205 0 0 0 9 0 0 0 20 0 19 0 404518432 8262082560 30130 33554432000 4194304 4196468 140732696094576 139834779580912 139835402525314 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1134] ppid=1078 vsize=8068440 memory=120520 CPUtime=0.24 cores=1,3,5,7
/proc/1122/task/1134/stat : 1134 (java) S 1078 1078 31842 0 -1 1077944384 1038 0 0 0 24 0 0 0 20 0 19 0 404518432 8262082560 30130 33554432000 4194304 4196468 140732696094576 139834778528624 139835402525314 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1135] ppid=1078 vsize=8068440 memory=-3622645143214314312 CPUtime=0 cores=1,3,5,7
/proc/1122/task/1135/stat : 1135 (java) S 1078 1078 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404518432 8262082560 30130 33554432000 4194304 4196468 140732696094576 139833263516640 139835402524373 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1136] ppid=1078 vsize=8068440 memory=120520 CPUtime=0.06 cores=1,3,5,7
/proc/1122/task/1136/stat : 1136 (java) S 1078 1078 31842 0 -1 1077944384 11 0 0 0 3 3 0 0 20 0 19 0 404518432 8262082560 30130 33554432000 4194304 4196468 140732696094576 139834777475504 139835402525314 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1138] ppid=1078 vsize=8068440 memory=78324 CPUtime=0 cores=1,3,5,7
/proc/1122/task/1138/stat : 1138 (java) S 1078 1078 31842 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404518501 8262082560 30130 33554432000 4194304 4196468 140732696094576 139834769441728 139835402538777 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1140] ppid=1078 vsize=8068440 memory=1564 CPUtime=0.05 cores=1,3,5,7
/proc/1122/task/1140/stat : 1140 (java) S 1078 1078 31842 0 -1 4202560 1717 0 0 0 4 1 0 0 20 0 19 0 404518501 8262082560 30130 33554432000 4194304 4196468 140732696094576 139832726629872 139835402536093 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1141] ppid=1078 vsize=8068440 memory=928 CPUtime=0 cores=1,3,5,7
/proc/1122/task/1141/stat : 1141 (java) S 1078 1078 31842 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404518501 8262082560 30130 33554432000 4194304 4196468 140732696094576 139832860852112 139835402536093 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1142] ppid=1078 vsize=8068440 memory=2300 CPUtime=0 cores=1,3,5,7
/proc/1122/task/1142/stat : 1142 (java) S 1078 1078 31842 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 404518517 8262082560 30130 33554432000 4194304 4196468 140732696094576 139832458206640 139835402524373 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
Current children cumulated CPU time: 136.44 s
Current children cumulated vsize: 8288032 KiB
Current children cumulated memory: 200320 KiB

[startup+133.201 s]
/proc/loadavg: 2.02 2.00 2.03 3/241 1198
/proc/meminfo: memFree=30715496/32770624 swapFree=66999536/67108860
[pid=1078] ppid=1075 vsize=113128 memory=1476 CPUtime=5.95 cores=1,3,5,7
/proc/1078/stat : 1078 (scop.sh) S 1075 1078 31842 0 -1 4202496 582 28064 0 1 0 0 575 20 20 0 1 0 404518154 115843072 369 33554432000 4194304 5098028 140735607544320 140735607541064 140198212612732 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16973824 140735607550819 140735607551088 140735607551088 140735607553997 0
/proc/1078/statm: 28282 369 311 221 0 87 0
[pid=1122] ppid=1078 vsize=8068440 memory=120520 CPUtime=1.36 cores=1,3,5,7
/proc/1122/stat : 1122 (java) S 1078 1078 31842 0 -1 1077944320 22109 0 0 0 125 11 0 0 20 0 19 0 404518426 8262082560 30130 33554432000 4194304 4196468 140732696094576 140732696077120 139835402514167 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
/proc/1122/statm: 2017110 30130 3211 1 0 1978454 0
[pid=1137] ppid=1122 vsize=106464 memory=78324 CPUtime=129.53 cores=1,3,5,7
/proc/1137/stat : 1137 (cryptominisat5) R 1122 1078 31842 0 -1 4202496 63319 0 2 0 12944 9 0 0 20 0 1 0 404518500 109019136 19581 33554432000 4194304 4451008 140729557623680 140729557619608 140488641856390 0 4 0 2 0 0 0 17 1 0 0 9 0 0 6549032 6559120 21209088 140729557631933 140729557632064 140729557632064 140729557635014 0
/proc/1137/statm: 26616 19581 736 63 0 20343 0
[pid=1122/tid=1123] ppid=1078 vsize=8068440 memory=3436 CPUtime=0.77 cores=1,3,5,7
/proc/1122/task/1123/stat : 1123 (java) S 1078 1078 31842 0 -1 1077944384 16951 0 0 0 73 4 0 0 20 0 19 0 404518426 8262082560 30130 33554432000 4194304 4196468 140732696094576 139835374354336 139835402524373 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1124] ppid=1078 vsize=8068440 memory=7548 CPUtime=0 cores=1,3,5,7
/proc/1122/task/1124/stat : 1124 (java) S 1078 1078 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404518427 8262082560 30130 33554432000 4194304 4196468 140732696094576 139835406756752 139835402524373 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1125] ppid=1078 vsize=8068440 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/1122/task/1125/stat : 1125 (java) S 1078 1078 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404518427 8262082560 30130 33554432000 4194304 4196468 140732696094576 139835212520208 139835402524373 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1126] ppid=1078 vsize=8068440 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/1122/task/1126/stat : 1126 (java) S 1078 1078 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404518427 8262082560 30130 33554432000 4194304 4196468 140732696094576 139835211467920 139835402524373 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1127] ppid=1078 vsize=8068440 memory=5904 CPUtime=0 cores=1,3,5,7
/proc/1122/task/1127/stat : 1127 (java) S 1078 1078 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404518427 8262082560 30130 33554432000 4194304 4196468 140732696094576 139834885311504 139835402524373 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1128] ppid=1078 vsize=8068440 memory=772 CPUtime=0 cores=1,3,5,7
/proc/1122/task/1128/stat : 1128 (java) S 1078 1078 31842 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 404518429 8262082560 30130 33554432000 4194304 4196468 140732696094576 139834781685872 139835402525314 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1129] ppid=1078 vsize=8068440 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/1122/task/1129/stat : 1129 (java) S 1078 1078 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404518429 8262082560 30130 33554432000 4194304 4196468 140732696094576 139834270147360 139835402524373 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1130] ppid=1078 vsize=8068440 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/1122/task/1130/stat : 1130 (java) S 1078 1078 31842 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 404518429 8262082560 30130 33554432000 4194304 4196468 140732696094576 139834135925872 139835402524373 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1131] ppid=1078 vsize=8068440 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/1122/task/1131/stat : 1131 (java) S 1078 1078 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404518432 8262082560 30130 33554432000 4194304 4196468 140732696094576 139833761421392 139835402532763 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1132] ppid=1078 vsize=8068440 memory=928 CPUtime=0.09 cores=1,3,5,7
/proc/1122/task/1132/stat : 1132 (java) S 1078 1078 31842 0 -1 1077944384 781 0 0 0 9 0 0 0 20 0 19 0 404518432 8262082560 30130 33554432000 4194304 4196468 140732696094576 139834780633712 139835402525314 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1133] ppid=1078 vsize=8068440 memory=2300 CPUtime=0.09 cores=1,3,5,7
/proc/1122/task/1133/stat : 1133 (java) S 1078 1078 31842 0 -1 1077944384 205 0 0 0 9 0 0 0 20 0 19 0 404518432 8262082560 30130 33554432000 4194304 4196468 140732696094576 139834779580912 139835402525314 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1134] ppid=1078 vsize=8068440 memory=1476 CPUtime=0.24 cores=1,3,5,7
/proc/1122/task/1134/stat : 1134 (java) S 1078 1078 31842 0 -1 1077944384 1038 0 0 0 24 0 0 0 20 0 19 0 404518432 8262082560 30130 33554432000 4194304 4196468 140732696094576 139834778528624 139835402525314 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1135] ppid=1078 vsize=8068440 memory=120520 CPUtime=0 cores=1,3,5,7
/proc/1122/task/1135/stat : 1135 (java) S 1078 1078 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404518432 8262082560 30130 33554432000 4194304 4196468 140732696094576 139833263516640 139835402524373 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1136] ppid=1078 vsize=8068440 memory=78324 CPUtime=0.06 cores=1,3,5,7
/proc/1122/task/1136/stat : 1136 (java) S 1078 1078 31842 0 -1 1077944384 11 0 0 0 3 3 0 0 20 0 19 0 404518432 8262082560 30130 33554432000 4194304 4196468 140732696094576 139834777475504 139835402525314 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1138] ppid=1078 vsize=8068440 memory=32508 CPUtime=0 cores=1,3,5,7
/proc/1122/task/1138/stat : 1138 (java) S 1078 1078 31842 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404518501 8262082560 30130 33554432000 4194304 4196468 140732696094576 139834769441728 139835402538777 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1140] ppid=1078 vsize=8068440 memory=988 CPUtime=0.05 cores=1,3,5,7
/proc/1122/task/1140/stat : 1140 (java) S 1078 1078 31842 0 -1 4202560 1717 0 0 0 4 1 0 0 20 0 19 0 404518501 8262082560 30130 33554432000 4194304 4196468 140732696094576 139832726629872 139835402536093 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1141] ppid=1078 vsize=8068440 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/1122/task/1141/stat : 1141 (java) S 1078 1078 31842 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404518501 8262082560 30130 33554432000 4194304 4196468 140732696094576 139832860852112 139835402536093 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1142] ppid=1078 vsize=8068440 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/1122/task/1142/stat : 1142 (java) S 1078 1078 31842 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 404518517 8262082560 30130 33554432000 4194304 4196468 140732696094576 139832458206640 139835402524373 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
Current children cumulated CPU time: 136.84 s
Current children cumulated vsize: 8288032 KiB
Current children cumulated memory: 200320 KiB

[startup+133.601 s]
/proc/loadavg: 2.02 2.00 2.03 3/241 1198
/proc/meminfo: memFree=30715496/32770624 swapFree=66999536/67108860
[pid=1078] ppid=1075 vsize=113128 memory=1476 CPUtime=5.95 cores=1,3,5,7
/proc/1078/stat : 1078 (scop.sh) S 1075 1078 31842 0 -1 4202496 582 28064 0 1 0 0 575 20 20 0 1 0 404518154 115843072 369 33554432000 4194304 5098028 140735607544320 140735607541064 140198212612732 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16973824 140735607550819 140735607551088 140735607551088 140735607553997 0
/proc/1078/statm: 28282 369 311 221 0 87 0
[pid=1122] ppid=1078 vsize=7937364 memory=132708 CPUtime=131.5 cores=1,3,5,7
/proc/1122/stat : 1122 (java) S 1078 1078 31842 0 -1 1077944320 23210 63641 0 2 156 11 12974 9 20 0 17 0 404518426 8127860736 33177 33554432000 4194304 4196468 140732696094576 140732696077120 139835402514167 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
/proc/1122/statm: 1984341 33177 3225 1 0 1945685 0
[pid=1122/tid=1123] ppid=1078 vsize=7937364 memory=78324 CPUtime=130.64 cores=1,3,5,7
/proc/1122/task/1123/stat : 1123 (java) R 1078 1078 31842 0 -1 4202560 17082 63641 0 2 77 4 12974 9 20 0 17 0 404518426 8127860736 33177 33554432000 4194304 4196468 140732696094576 139835374322288 139835402526102 0 4 2 25189581 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1124] ppid=1078 vsize=7937364 memory=14008 CPUtime=129.83 cores=1,3,5,7
/proc/1122/task/1124/stat : 1124 (java) S 1078 1078 31842 0 -1 1077944384 2 63641 0 2 0 0 12974 9 20 0 17 0 404518427 8127860736 33177 33554432000 4194304 4196468 140732696094576 139835406756752 139835402524373 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1125] ppid=1078 vsize=7937364 memory=2116 CPUtime=129.83 cores=1,3,5,7
/proc/1122/task/1125/stat : 1125 (java) S 1078 1078 31842 0 -1 1077944384 1 63641 0 2 0 0 12974 9 20 0 17 0 404518427 8127860736 33177 33554432000 4194304 4196468 140732696094576 139835212520208 139835402524373 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1126] ppid=1078 vsize=7937364 memory=18552 CPUtime=129.83 cores=1,3,5,7
/proc/1122/task/1126/stat : 1126 (java) S 1078 1078 31842 0 -1 1077944384 1 63641 0 2 0 0 12974 9 20 0 17 0 404518427 8127860736 33177 33554432000 4194304 4196468 140732696094576 139835211467920 139835402524373 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1127] ppid=1078 vsize=7937364 memory=11852 CPUtime=129.83 cores=1,3,5,7
/proc/1122/task/1127/stat : 1127 (java) S 1078 1078 31842 0 -1 1077944384 2 63641 0 2 0 0 12974 9 20 0 17 0 404518427 8127860736 33177 33554432000 4194304 4196468 140732696094576 139834885311504 139835402524373 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1128] ppid=1078 vsize=7937364 memory=3616 CPUtime=129.83 cores=1,3,5,7
/proc/1122/task/1128/stat : 1128 (java) S 1078 1078 31842 0 -1 1077944384 9 63641 0 2 0 0 12974 9 20 0 17 0 404518429 8127860736 33177 33554432000 4194304 4196468 140732696094576 139834781685872 139835402525314 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1129] ppid=1078 vsize=7937364 memory=4100 CPUtime=129.83 cores=1,3,5,7
/proc/1122/task/1129/stat : 1129 (java) S 1078 1078 31842 0 -1 1077944384 13 63641 0 2 0 0 12974 9 20 0 17 0 404518429 8127860736 33177 33554432000 4194304 4196468 140732696094576 139834270147360 139835402524373 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1130] ppid=1078 vsize=7937364 memory=32508 CPUtime=129.83 cores=1,3,5,7
/proc/1122/task/1130/stat : 1130 (java) S 1078 1078 31842 0 -1 1077944384 21 63641 0 2 0 0 12974 9 20 0 17 0 404518429 8127860736 33177 33554432000 4194304 4196468 140732696094576 139834135925872 139835402524373 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1131] ppid=1078 vsize=7937364 memory=988 CPUtime=129.83 cores=1,3,5,7
/proc/1122/task/1131/stat : 1131 (java) S 1078 1078 31842 0 -1 1077944384 3 63641 0 2 0 0 12974 9 20 0 17 0 404518432 8127860736 33177 33554432000 4194304 4196468 140732696094576 139833761421392 139835402532763 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1132] ppid=1078 vsize=7937364 memory=2012 CPUtime=130 cores=1,3,5,7
/proc/1122/task/1132/stat : 1132 (java) R 1078 1078 31842 0 -1 4202560 1152 63641 0 2 17 0 12974 9 20 0 17 0 404518432 8127860736 33177 33554432000 4194304 4196468 140732696094576 139834780633712 139835395499209 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1133] ppid=1078 vsize=7937364 memory=1240 CPUtime=129.99 cores=1,3,5,7
/proc/1122/task/1133/stat : 1133 (java) R 1078 1078 31842 0 -1 1077944384 517 63641 0 2 16 0 12974 9 20 0 17 0 404518432 8127860736 33177 33554432000 4194304 4196468 140732696094576 139834779580912 139835402525314 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1134] ppid=1078 vsize=7937364 memory=580 CPUtime=130.14 cores=1,3,5,7
/proc/1122/task/1134/stat : 1134 (java) S 1078 1078 31842 0 -1 1077944384 1221 63641 0 2 31 0 12974 9 20 0 17 0 404518432 8127860736 33177 33554432000 4194304 4196468 140732696094576 139834778528624 139835402525314 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1135] ppid=1078 vsize=7937364 memory=1696 CPUtime=129.83 cores=1,3,5,7
/proc/1122/task/1135/stat : 1135 (java) S 1078 1078 31842 0 -1 1077944384 3 63641 0 2 0 0 12974 9 20 0 17 0 404518432 8127860736 33177 33554432000 4194304 4196468 140732696094576 139833263516640 139835402524373 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1136] ppid=1078 vsize=7937364 memory=3436 CPUtime=129.89 cores=1,3,5,7
/proc/1122/task/1136/stat : 1136 (java) S 1078 1078 31842 0 -1 1077944384 11 63641 0 2 3 3 12974 9 20 0 17 0 404518432 8127860736 33177 33554432000 4194304 4196468 140732696094576 139834777475504 139835402525314 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1138] ppid=1078 vsize=7937364 memory=7548 CPUtime=129.83 cores=1,3,5,7
/proc/1122/task/1138/stat : 1138 (java) S 1078 1078 31842 0 -1 1077944384 32 63641 0 2 0 0 12974 9 20 0 17 0 404518501 8127860736 33177 33554432000 4194304 4196468 140732696094576 139834769440912 139835402525314 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
[pid=1122/tid=1142] ppid=1078 vsize=7937364 memory=1224 CPUtime=129.83 cores=1,3,5,7
/proc/1122/task/1142/stat : 1142 (java) S 1078 1078 31842 0 -1 1077944384 9 63641 0 2 0 0 12974 9 20 0 17 0 404518517 8127860736 33177 33554432000 4194304 4196468 140732696094576 139832458208432 139835402525314 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20504576 140732696097788 140732696097946 140732696097946 140732696100815 0
Current children cumulated CPU time: 137.45 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 134184 KiB

Child status: 0
Real time (s): 133.673
CPU time (s): 137.622
CPU user time (s): 137.195
CPU system time (s): 0.427287
CPU usage (%): 102.955
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 679932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 137.195
system time used= 0.427287
maximum resident set size= 680896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115720
page faults= 3
swaps= 0
block input operations= 46008
block output operations= 6064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9241
involuntary context switches= 228


# summary of solver processes directly reported to runsolver:
#   pid: 1078
#   total CPU time (s): 137.622
#   total CPU user time (s): 137.195
#   total CPU system time (s): 0.427287

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.03415 second user time and 1.4775 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-12 13:00:01
IDJOB=4387582
IDBENCH=120457
IDSOLVER=2826
FILE ID=node146/4387582-1568286041
RUNJOBID= node146-1568286001-1043
PBS_JOBID= 21701065
Free space on /tmp= 54352 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/StripPacking/StripPacking-m1-seriesT/StripPacking-T1e.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-4387582-1568286041/watcher-4387582-1568286041 -o /tmp/evaluation-result-4387582-1568286041/solver-4387582-1568286041 -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-4387582-1568286041.xml

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

MD5SUM BENCH= f7b8b642e131c8af917aaf97f4ae3b24
RANDOM SEED=1067443582

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:        31775996 kB
MemAvailable:   31902428 kB
Buffers:           86224 kB
Cached:           320848 kB
SwapCached:         5452 kB
Active:           212080 kB
Inactive:         199372 kB
Active(anon):      21976 kB
Inactive(anon):    20856 kB
Active(file):     190104 kB
Inactive(file):   178516 kB
Unevictable:      110908 kB
Mlocked:          110908 kB
SwapTotal:      67108860 kB
SwapFree:       66999528 kB
Dirty:             40844 kB
Writeback:             0 kB
AnonPages:         43208 kB
Mapped:            39852 kB
Shmem:             28904 kB
Slab:             175796 kB
SReclaimable:     147292 kB
SUnreclaim:        28504 kB
KernelStack:        3440 kB
PageTables:         5296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     502820 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 54232 MiB
End job on node146 at 2019-09-12 13:02:15