Trace number 4387918

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 63.3887 59.871

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-012.xml
MD5SUM2f6e926eec9d3271c32e6368d6cce3f2
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 benchmark18.0419
Satisfiable
(Un)Satisfiability was proved
Number of variables46
Number of constraints49
Number of domains1
Minimum domain size140
Maximum domain size140
Distribution of domain sizes[{"size":140,"count":46}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":44},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity46
Distribution of constraint arities[{"arity":1,"count":47},{"arity":2,"count":1},{"arity":46,"count":1}]
Number of extensional constraints0
Number of intensional constraints48
Distribution of constraint types[{"type":"intension","count":48},{"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-11617-serial-file.bin HOME/instance-4387918-1568292169.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 14:42:09 CEST 2019
0.66/0.56	c PID: 11620
0.66/0.56	c IP: 172.20.3.140
0.66/0.56	c HOST: node140.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.40/0.90	c (0,0) Parsing End
1.40/0.91	c (0,0) CSP: 46 int (0 aux), 0 bool (0 aux), 49 ctr, max domain size 140
1.40/0.91	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.91	c (0,0) Constraint Name Generate Begin
1.40/0.91	c (0,0) Ctr:HOME/instance-4387918-1568292169.xml,Le:NoOverlap:Num:Var
1.40/0.91	c (0,0) Constraint Name Generate End
1.40/0.91	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.91	c (0,0) CSP to CSPinCNF Begin
1.40/0.99	c (0,0) translated 5 (10%) constraints
1.40/0.99	c (0,0) translated 10 (20%) constraints
1.40/1.00	c (0,0) translated 15 (30%) constraints
1.40/1.00	c (0,0) translated 20 (40%) constraints
1.40/1.00	c (0,0) translated 25 (50%) constraints
1.40/1.01	c (0,0) translated 30 (60%) constraints
1.40/1.01	c (0,0) translated 35 (70%) constraints
1.40/1.01	c (0,0) translated 40 (80%) constraints
1.58/1.01	c (0,0) translated 45 (90%) constraints
2.14/1.26	c (0,0) translated 49 (100%) constraints
2.14/1.26	c (0,0) ===========================================
2.14/1.28	c (0,0) Hybrid: #OE=46, #LE=0
2.14/1.28	c (0,0) Hybrid
2.14/1.28	c (0,0) ===========================================
2.14/1.29	c (0,0) translated 31 (10%) constraints
2.14/1.29	c (0,0) translated 61 (20%) constraints
2.46/1.30	c (0,0) translated 91 (30%) constraints
2.46/1.30	c (0,0) translated 121 (40%) constraints
2.46/1.31	c (0,0) translated 151 (50%) constraints
2.46/1.31	c (0,0) translated 181 (60%) constraints
2.46/1.32	c (0,0) translated 211 (70%) constraints
2.46/1.32	c (0,0) translated 241 (80%) constraints
2.46/1.33	c (0,0) translated 271 (90%) constraints
2.46/1.33	c (0,0) translated 301 (100%) constraints
2.46/1.33	c (0,0) CSP to CSPinCNF End
2.46/1.34	c (0,0) CSP: 46 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 140
2.46/1.34	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.46/1.34	c (0,0) CSPinCNF Propagation Begin
2.46/1.36	c (0,0) 0 values, 6 unsatisfiable literals, and 47 valid clauses are removed
2.46/1.36	c (0,0) CSPinCNF Propagation End
2.46/1.36	c (0,0) CSP: 46 int (0 aux), 0 bool (0 aux), 254 ctr, max domain size 140
2.46/1.36	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.46/1.38	c (0,0) Hybrid: #OE=46, #LE=0
2.46/1.38	c (0,0) Simplify CSPinCNF Begin
2.78/1.46	c (0,0) Simplify CSPinCNF End
2.78/1.46	c (0,0) CSP: 46 int (0 aux), 1006 bool (1006 aux), 1260 ctr, max domain size 140
2.78/1.46	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.78/1.46	c (0,0) Calculate Precise Domain Begin
2.78/1.46	c (0,0) 0 values are removed by re-calculation
2.78/1.46	c (0,0) Calculate Precise Domain End
2.78/1.46	c (0,0) CSP: 46 int (0 aux), 1006 bool (1006 aux), 1260 ctr, max domain size 140
2.78/1.46	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.78/1.46	c (0,0) CSPinCNF to SatSolver Begin
3.64/1.75	c (1,1) 126 (10 %) CSP clauses are encoded (0 SAT variables, 16893 SAT clauses)
3.95/1.84	c (1,1) 252 (20 %) CSP clauses are encoded (0 SAT variables, 28273 SAT clauses)
4.26/1.90	c (1,1) 378 (30 %) CSP clauses are encoded (0 SAT variables, 39287 SAT clauses)
4.26/1.95	c (1,1) 504 (40 %) CSP clauses are encoded (0 SAT variables, 49453 SAT clauses)
4.26/2.00	c (1,1) 630 (50 %) CSP clauses are encoded (0 SAT variables, 59895 SAT clauses)
4.59/2.04	c (1,1) 756 (60 %) CSP clauses are encoded (0 SAT variables, 69143 SAT clauses)
4.59/2.07	c (1,1) 882 (70 %) CSP clauses are encoded (0 SAT variables, 77631 SAT clauses)
4.59/2.10	c (1,1) 1008 (80 %) CSP clauses are encoded (0 SAT variables, 85684 SAT clauses)
4.78/2.13	c (1,1) 1134 (90 %) CSP clauses are encoded (0 SAT variables, 92551 SAT clauses)
4.78/2.15	c (1,1) 1260 (100 %) CSP clauses are encoded (0 SAT variables, 97747 SAT clauses)
4.78/2.15	c (1,1) CSPinCNF to SatSolver End
4.78/2.15	c (1,1) Heap : 506 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.78/2.15	c (1,1) 6256 bool, 97790 clause
4.78/2.15	c (1,1) Export Begin
4.93/2.23	c (1,1) Export to HOME/scop-11617-serial-file.bin
4.93/2.23	c (1,1) Export End
4.93/2.23	c (1,1) Export File Size: 0.01 MB
4.93/2.24	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
4.93/2.24	c END-Prog: Thu Sep 12 14:42:11 CEST 2019
4.93/2.25	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-11617-serial-file.bin
5.02/2.71	c (0,0) Read Serial File Begin
5.02/2.71	c (0,0) HOME/scop-11617-serial-file.bin
5.02/2.90	c (0,0) Read Serial File End
5.02/2.91	
5.02/2.91	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
5.02/2.91	(Solving Process)
5.02/2.91	
5.02/2.93	c BEGIN-Prog: Thu Sep 12 14:42:12 CEST 2019
5.02/2.93	c PID: 11635
5.02/2.93	c IP: 172.20.3.140
5.02/2.93	c HOST: node140.alineos.net
5.02/2.94	c (0,0) SatSolver.solve Begin
5.02/2.94	c (0,0) HOME/cryptominisat5  HOME/instance-4387918-1568292169.xml-scop-11620.cnf
5.02/2.96	c (0,0) c Outputting solution to console
5.02/2.96	c (0,0) c CryptoMiniSat version 5.6.8
5.02/2.96	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
5.02/2.96	c (0,0) c CMS SHA revision GIT-notfound
5.02/2.96	c (0,0) c CMS is MIT licensed
5.02/2.96	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
5.02/2.96	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
5.02/2.96	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387918-1568292169.xml-scop-11620.cnf
5.02/2.96	c (0,0) c Reading file 'HOME/instance-4387918-1568292169.xml-scop-11620.cnf'
5.02/2.96	c (0,0) c -- header says num vars:           6256
5.02/2.96	c (0,0) c -- header says num clauses:       97790
5.02/3.00	c (0,0) c -- clauses added: 97790
5.02/3.00	c (0,0) c -- xor clauses added: 0
5.02/3.00	c (0,0) c -- vars added 6256
5.02/3.00	c (0,0) c Parsing time: 0.03 s
5.02/3.00	c (0,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
5.02/3.00	c (0,0) c [distill] long cls tried: 0/0 cl-short:0 lit-r:0 T: 0.00 T-out: N T-r: 100.00%
6.25/3.14	c (0,0) c [distill] long cls tried: 87/84 cl-short:86 lit-r:19 T: 0.00 T-out: N T-r: 99.97%
6.43/3.34	c (0,0) c [distill] long cls tried: 88/170 cl-short:88 lit-r:15 T: 0.01 T-out: N T-r: 99.95%
6.53/3.42	c (0,0) c   glue     1    50  8193    6241   90K  7224    3.00    2.93   208  2311  5663     8   21.68   21.66
6.84/3.74	c (1,0) c [distill] long cls tried: 1169/1337 cl-short:1169 lit-r:294 T: 0.10 T-out: N T-r: 98.46%
7.25/4.11	c (1,0) c   geom     1    91 16386    6241   90K  7224    3.00    2.93  1586  5133  9651    13   22.69   22.67
7.25/4.19	c (1,0) c [distill] long cls tried: 253/1590 cl-short:253 lit-r:102 T: 0.03 T-out: N T-r: 99.51%
8.04/5.00	c (2,0) c [distill] long cls tried: 1196/2785 cl-short:1196 lit-r:416 T: 0.20 T-out: N T-r: 97.31%
8.25/5.13	c (2,0) c   glue     1   136   24K    6241   90K  7224    3.00    2.93  2799  5619 16142    16   23.60   23.59
9.15/6.10	c (3,0) c [distill] long cls tried: 1186/3969 cl-short:1186 lit-r:455 T: 0.26 T-out: N T-r: 96.60%
9.44/6.32	c (3,0) c   glue     1   168   32K    6241   90K  7224    3.00    2.93  3983  8028 19717    20   24.52   24.51
10.74/7.70	c (5,0) c [distill] long cls tried: 1169/5136 cl-short:1169 lit-r:507 T: 0.33 T-out: N T-r: 95.72%
10.84/7.76	c (5,0) c   glue     1   209   40K    6241   90K  7224    3.00    2.93  5138  6833   27K    25   25.18   25.16
12.04/9.00	c (6,0) c   glue     1   242   49K    6241   90K  7224    3.00    2.93  5392 10070   27K    28   25.10   25.08
12.83/9.78	c (7,0) c [distill] long cls tried: 1269/6404 cl-short:1269 lit-r:679 T: 0.42 T-out: N T-r: 94.75%
13.85/10.72	c (8,0) c   geom     1   282   57K    6241   90K  7224    3.00    2.93  6498  8906   35K    30   25.73   25.72
15.66/12.55	c (9,0) c [distill] long cls tried: 1338/7741 cl-short:1338 lit-r:772 T: 0.47 T-out: N T-r: 93.73%
15.76/12.66	c (10,0) c   glue     1   325   65K    6241   90K  7224    3.00    2.93  7743  9111   33K    31   25.20   25.18
16.66/13.50	c (10,0) c recursive minimization cost OK: 1025Kcost/(% lits removed)
16.66/13.50	c (10,0) c more minimization effectiveness low: 0.00 % lits removed --> disabling
16.66/13.50	c (10,0) c --> Executing strategy token: handle-comps
16.66/13.50	c (10,0) c --> Executing strategy token: scc-vrepl
16.66/13.50	c (10,0) c [scc] new: 0 BP 0M T: 0.00
16.66/13.51	c (10,0) c --> Executing strategy token: cache-clean
16.66/13.51	c (10,0) c --> Executing strategy token: cache-tryboth
16.66/13.51	c (10,0) c --> Executing strategy token: sub-impl
16.66/13.51	c (10,0) c [impl sub] bin: 0 T: 0.01 T-out: N w-visit: 12512
16.66/13.52	c (10,0) c --> Executing strategy token: intree-probe
16.66/13.52	c (10,0) c [scc] new: 0 BP 0M T: 0.00
16.66/13.53	c (10,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 0M T: 0.02
16.76/13.60	c (10,0) c [intree] Set 0 vars hyper-added: 87 trans-irred::185 trans-red::3 T: 0.07 T-out: N T-r: 99.69%
16.86/13.71	c (11,0) c --> Executing strategy token: probe
16.86/13.71	c (11,0) c --> Executing strategy token: sub-str-cls-with-bin
16.86/13.71	c (11,0) c [distill] cache-based irred--  cl tried   180216 cl-sh     0 cl-rem    6 lit-rem      0 T: 0.08 T-out: N
16.86/13.71	c (11,0) c [distill] cache-based   red--  cl tried    15566 cl-sh    15 cl-rem    0 lit-rem     16 T: 0.02 T-out: N
17.75/14.66	c (12,0) c --> Executing strategy token: distill-cls
17.75/14.66	c (12,0) c [distill] long cls tried: 4630/90058 cl-short:277 lit-r:47 T: 0.95 T-out: Y T-r: -0.04%
17.75/14.66	c (12,0) c [distill] long useful: 554/9260/180210 lits-rem: 94 0-depth-assigns: 0 T: 1.90 T-out: Y
17.75/14.66	c (12,0) c --> Executing strategy token: scc-vrepl
17.75/14.66	c (12,0) c [scc] new: 77 BP 0M T: 0.00
17.75/14.69	c (12,0) c [vrep] vars 40 lits 15353 rem-bin-cls 197 rem-long-cls 1 BP 0M T: 0.03
17.86/14.70	c (12,0) c --> Executing strategy token: sub-impl
17.86/14.70	c (12,0) c [impl sub] bin: 12 T: 0.01 T-out: N w-visit: 12512
17.86/14.70	c (12,0) c --> Executing strategy token: str-impl
17.86/14.70	c (12,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: 12512
17.86/14.71	c (12,0) c --> Executing strategy token: sub-impl
17.86/14.71	c (12,0) c [impl sub] bin: 0 T: 0.01 T-out: N w-visit: 12512
17.86/14.72	c (12,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
17.86/14.72	c (12,0) c [occ] mem usage for occur      8 MB
17.86/14.73	c (12,0) c [occ] mem usage for occur      2 MB
17.86/14.78	c (12,0) c Mem for watch alloc      : 11          MB (35.19     %)
17.86/14.78	c (12,0) c Mem for watch array      : 0           MB (0.86      %)
17.86/14.79	c (12,0) c --> Executing OCC strategy token: occ-backw-sub-str
17.86/14.79	c (12,0) c [occ-backw-sub-str-long-w-bins] subs: 277 str: 1 tried: 14646 0-depth ass: 0 T: 0.01 T-out: N T-r: 99.68%
17.96/14.88	c (12,0) c [occ-sub-long-w-long] rem cl: 54 tried: 290526/145263 (200.0%) T: 0.09 T-out: N T-r: 85.07%
18.17/15.03	c (12,0) c [occ-sub-str-long-w-long] sub: 0 str: 15 tried: 435789/145263 (300.0)  T: 0.16 T-out: N T-r: 83.37%
18.17/15.04	c (12,0) c --> Executing OCC strategy token: occ-clean-implicit
18.17/15.04	c (12,0) c --> Executing OCC strategy token: occ-bve
18.17/15.04	c (12,0) c [occ-empty-res] Empty resolvent elimed: 0 T: 0.00 T-out: N
18.36/15.20	c (12,0) c [occ-bve] iter v-elim 257
18.36/15.20	c (12,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=0)
18.36/15.21	c (12,0) c Reduced to 5944 vars, 96737 cls (grow=0)
18.36/15.26	c (12,0) c [occ-bve] iter v-elim 0
18.36/15.26	c (12,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=8)
18.36/15.26	c (12,0) c Reduced to 5944 vars, 96737 cls (grow=8)
18.46/15.32	c (12,0) c [occ-bve] iter v-elim 0
18.46/15.32	c (12,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=16)
18.46/15.32	c (12,0) c Reduced to 5944 vars, 96737 cls (grow=16)
18.46/15.32	c (12,0) c x n vars       : 5944
18.46/15.32	c (12,0) c  #try to eliminate:    23K
18.46/15.32	c (12,0) c  #var-elim        :    257
18.46/15.32	c (12,0) c  #T-o: N
18.46/15.32	c (12,0) c  #T-r: 99.96%
18.46/15.32	c (12,0) c  #T  : 0.28
18.46/15.32	c (12,0) c [occur] 0.06 is overhead
18.46/15.32	c (12,0) c [occur] link-in T: 0.06 cleanup T: 0.00
18.46/15.32	c (12,0) c --> Executing OCC strategy token: occ-bva
18.46/15.32	c (12,0) c [occ-bva] global numcalls: 0
18.46/15.33	c (12,0) c --> Executing OCC strategy token: occ-ternary-res
18.46/15.33	c (12,0) c --> Executing OCC strategy token: occ-xor
18.46/15.33	c (12,0) c [occ-xor] sort occur list T: 0.01
18.46/15.39	c (12,0) c [occ-xor] found      0 T: 0.07 T-out: N T-r: 98.85%
18.46/15.39	c (12,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
18.57/15.42	c (12,0) c --> Executing strategy token: cl-consolidate
18.57/15.42	c (12,0) c [mem] consolidate  old-sz:  11874K new-sz:  4043K new bits offs: 0 T: 0.01
18.57/15.42	c (12,0) c --> Executing strategy token: str-impl
18.57/15.42	c (12,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.91% w-visit: 12512
18.57/15.48	c (12,0) c --> Executing strategy token: cache-clean
18.57/15.48	c (12,0) c --> Executing strategy token: sub-str-cls-with-bin
18.57/15.48	c (12,0) c [distill] cache-based irred--  cl tried   180079 cl-sh     0 cl-rem   21 lit-rem      0 T: 0.06 T-out: N
18.57/15.48	c (12,0) c [distill] cache-based   red--  cl tried     4004 cl-sh     1 cl-rem    0 lit-rem      1 T: 0.00 T-out: N
19.87/16.77	c (14,0) c --> Executing strategy token: distill-cls
19.87/16.77	c (14,0) c [distill] long cls tried: 15456/89949 cl-short:873 lit-r:102 T: 1.28 T-out: Y T-r: -0.01%
19.87/16.77	c (14,0) c [distill] long useful: 1746/30912/180058 lits-rem: 204 0-depth-assigns: 0 T: 2.57 T-out: Y
19.87/16.77	c (14,0) c --> Executing strategy token: scc-vrepl
19.87/16.77	c (14,0) c [scc] new: 0 BP 0M T: 0.00
19.87/16.77	c (14,0) c --> Executing strategy token: check-cache-size
19.87/16.77	c (14,0) c --> Executing strategy token: renumber
19.87/16.77	c (14,0) c --> Executing strategy token: sls
19.87/16.77	c (14,0) c [consolidate] mini T: 0.00
19.87/16.77	c (14,0) c global_timeout_multiplier: 4.40
19.87/16.78	c (14,0) c clause size stats. size3: 67564 size4: 540 size5: 21845 larger: 0
20.29/17.17	c (14,0) c   luby     0   366   73K    5944   89K  6767    3.49    3.39  2030  1519  4256    58   16.73   16.63
21.39/18.26	c (15,0) c [distill] long cls tried: 817/2587 cl-short:811 lit-r:372 T: 0.11 T-out: N T-r: 98.42%
21.49/18.34	c (15,0) c   luby     0   398   81K    5944   89K  6767    3.49    3.39  2590  1776 11628    62   22.26   22.18
22.69/19.51	c (16,0) c   luby     0   416   90K    5944   89K  6767    3.49    3.39  2986  2325 18876    62   23.91   23.85
23.99/20.80	c (18,0) c   luby     0   448   98K    5944   89K  6767    3.49    3.39  3010  2801   26K    64   24.43   24.39
24.49/21.30	c (18,0) c [distill] long cls tried: 842/3429 cl-short:841 lit-r:472 T: 0.17 T-out: N T-r: 97.66%
25.30/22.17	c (19,0) c   luby     0   473  106K    5944   89K  6767    3.49    3.39  3573  3982   28K    64   25.40   25.36
26.69/23.52	c (20,0) c   luby     0   474  114K    5944   89K  6767    3.49    3.39  4060  3474   36K    65   26.94   26.91
28.09/24.98	c (22,0) c   luby     0   505  122K    5944   89K  6767    3.49    3.39  4611  4221   33K    65   27.20   27.16
28.59/25.47	c (22,0) c [distill] long cls tried: 1183/4610 cl-short:1183 lit-r:716 T: 0.30 T-out: N T-r: 95.97%
29.99/26.80	c (24,0) c   luby     0   536  131K    5944   89K  6767    3.49    3.39  4900  3303   42K    67   27.98   27.95
31.69/28.53	c (25,0) c   luby     0   562  139K    5944   89K  6767    3.49    3.39  5020  4320   37K    67   28.91   28.87
33.49/30.32	c (27,0) c   luby     0   594  147K    5944   89K  6767    3.49    3.39  5283  3337   46K    67   29.41   29.38
35.30/32.14	c (29,0) c [distill] long cls tried: 1022/5631 cl-short:1022 lit-r:704 T: 0.34 T-out: N T-r: 95.81%
35.70/32.59	c (29,0) c   luby     0   601  155K    5944   89K  6767    3.49    3.39  5635  3161   42K    68   28.60   28.56
37.71/34.56	c (31,0) c   luby     0   602  163K    5944   89K  6767    3.49    3.39  5901  2789   50K    68   29.42   29.39
38.61/35.49	c (32,0) c recursive minimization cost OK: 1098Kcost/(% lits removed)
38.61/35.49	c (32,0) c --> Executing strategy token: handle-comps
38.61/35.49	c (32,0) c --> Executing strategy token: scc-vrepl
38.61/35.49	c (32,0) c [scc] new: 0 BP 0M T: 0.00
38.61/35.49	c (32,0) c --> Executing strategy token: cache-clean
38.61/35.49	c (32,0) c --> Executing strategy token: cache-tryboth
38.61/35.49	c (32,0) c --> Executing strategy token: sub-impl
38.61/35.49	c (32,0) c [impl sub] bin: 1 T: 0.01 T-out: N w-visit: 12512
38.71/35.51	c (32,0) c --> Executing strategy token: intree-probe
38.71/35.51	c (32,0) c [scc] new: 0 BP 0M T: 0.00
38.71/35.53	c (32,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 0M T: 0.02
38.71/35.58	c (32,0) c [intree] Set 0 vars hyper-added: 10 trans-irred::112 trans-red::0 T: 0.06 T-out: N T-r: 99.78%
38.91/35.70	c (33,0) c --> Executing strategy token: probe
38.91/35.70	c (33,0) c --> Executing strategy token: sub-str-cls-with-bin
38.91/35.70	c (33,0) c [distill] cache-based irred--  cl tried   179873 cl-sh     0 cl-rem   25 lit-rem      0 T: 0.09 T-out: N
38.91/35.70	c (33,0) c [distill] cache-based   red--  cl tried    12001 cl-sh    23 cl-rem    1 lit-rem     24 T: 0.02 T-out: N
39.81/36.68	c (34,0) c --> Executing strategy token: distill-cls
39.81/36.68	c (34,0) c [distill] long cls tried: 5099/89893 cl-short:288 lit-r:33 T: 0.98 T-out: Y T-r: -0.01%
39.81/36.68	c (34,0) c [distill] long useful: 576/10198/179848 lits-rem: 66 0-depth-assigns: 0 T: 1.95 T-out: Y
39.81/36.68	c (34,0) c --> Executing strategy token: scc-vrepl
39.81/36.68	c (34,0) c [scc] new: 0 BP 0M T: 0.00
39.81/36.69	c (34,0) c --> Executing strategy token: sub-impl
39.81/36.69	c (34,0) c [impl sub] bin: 0 T: 0.01 T-out: N w-visit: 12512
39.81/36.69	c (34,0) c --> Executing strategy token: str-impl
39.81/36.69	c (34,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.90% w-visit: 12512
39.81/36.70	c (34,0) c --> Executing strategy token: sub-impl
39.81/36.70	c (34,0) c [impl sub] bin: 0 T: 0.01 T-out: N w-visit: 12512
39.91/36.71	c (34,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
39.91/36.71	c (34,0) c [occ] mem usage for occur     10 MB
39.91/36.72	c (34,0) c [occ] mem usage for occur      1 MB
39.91/36.77	c (34,0) c Mem for watch alloc      : 17          MB (27.80     %)
39.91/36.77	c (34,0) c Mem for watch array      : 0           MB (0.46      %)
39.91/36.78	c (34,0) c --> Executing OCC strategy token: occ-backw-sub-str
39.91/36.78	c (34,0) c [occ-backw-sub-str-long-w-bins] subs: 0 str: 0 tried: 34828 0-depth ass: 0 T: 0.01 T-out: N T-r: 99.72%
40.01/36.87	c (34,0) c [occ-sub-long-w-long] rem cl: 30 tried: 278900/139450 (200.0%) T: 0.09 T-out: N T-r: 86.34%
40.22/37.03	c (34,0) c [occ-sub-str-long-w-long] sub: 0 str: 33 tried: 418350/139450 (300.0)  T: 0.16 T-out: N T-r: 85.11%
40.22/37.03	c (34,0) c --> Executing OCC strategy token: occ-clean-implicit
40.22/37.03	c (34,0) c --> Executing OCC strategy token: occ-bve
40.22/37.03	c (34,0) c [occ-empty-res] Empty resolvent elimed: 0 T: 0.00 T-out: N
40.22/37.09	c (34,0) c [occ-bve] iter v-elim 0
40.22/37.09	c (34,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=0)
40.22/37.10	c (34,0) c Reduced to 5944 vars, 96579 cls (grow=0)
40.32/37.15	c (34,0) c [occ-bve] iter v-elim 0
40.32/37.15	c (34,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=8)
40.32/37.15	c (34,0) c Reduced to 5944 vars, 96579 cls (grow=8)
40.41/37.21	c (34,0) c [occ-bve] iter v-elim 0
40.41/37.21	c (34,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=16)
40.41/37.21	c (34,0) c Reduced to 5944 vars, 96579 cls (grow=16)
40.41/37.21	c (34,0) c x n vars       : 5944
40.41/37.21	c (34,0) c  #try to eliminate:  17832
40.41/37.21	c (34,0) c  #var-elim        :      0
40.41/37.21	c (34,0) c  #T-o: N
40.41/37.21	c (34,0) c  #T-r: 99.93%
40.41/37.21	c (34,0) c  #T  : 0.18
40.41/37.21	c (34,0) c [occur] 0.07 is overhead
40.41/37.21	c (34,0) c [occur] link-in T: 0.07 cleanup T: 0.00
40.41/37.21	c (34,0) c --> Executing OCC strategy token: occ-bva
40.41/37.21	c (34,0) c [occ-bva] global numcalls: 1
40.41/37.22	c (34,0) c --> Executing OCC strategy token: occ-ternary-res
40.41/37.23	c (34,0) c --> Executing OCC strategy token: occ-xor
40.41/37.23	c (34,0) c [occ-xor] sort occur list T: 0.01
40.41/37.29	c (34,0) c [occ-xor] found      0 T: 0.08 T-out: N T-r: 98.92%
40.41/37.29	c (34,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
40.53/37.32	c (34,0) c --> Executing strategy token: cl-consolidate
40.53/37.32	c (34,0) c Not consolidating memory.
40.53/37.32	c (34,0) c --> Executing strategy token: str-impl
40.53/37.32	c (34,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.90% w-visit: 12512
40.63/37.43	c (34,0) c --> Executing strategy token: cache-clean
40.63/37.43	c (34,0) c --> Executing strategy token: sub-str-cls-with-bin
40.63/37.43	c (34,0) c [distill] cache-based irred--  cl tried   179762 cl-sh     0 cl-rem   24 lit-rem      0 T: 0.08 T-out: N
40.63/37.43	c (34,0) c [distill] cache-based   red--  cl tried    12420 cl-sh     9 cl-rem    0 lit-rem      9 T: 0.02 T-out: N
41.63/38.43	c (35,0) c --> Executing strategy token: distill-cls
41.63/38.43	c (35,0) c [distill] long cls tried: 4415/89852 cl-short:256 lit-r:22 T: 1.00 T-out: Y T-r: -0.10%
41.63/38.43	c (35,0) c [distill] long useful: 512/8830/179738 lits-rem: 44 0-depth-assigns: 0 T: 2.00 T-out: Y
41.63/38.43	c (35,0) c --> Executing strategy token: scc-vrepl
41.63/38.43	c (35,0) c [scc] new: 0 BP 0M T: 0.00
41.63/38.43	c (35,0) c --> Executing strategy token: check-cache-size
41.63/38.43	c (35,0) c --> Executing strategy token: renumber
41.63/38.43	c (35,0) c --> Executing strategy token: sls
41.63/38.43	c (35,0) c [consolidate] mini T: 0.00
41.63/38.43	c (35,0) c global_timeout_multiplier: 4.84
41.63/38.45	c (35,0) c [features] numVars 5944, numClauses 96555, var_cl_ratio 0.06, binary 0.07, horn 1.28, horn_mean 0.00, horn_std 0.00, horn_min 0.00, horn_max 0.02, horn_spread 0.02, vcg_var_mean 0.00, vcg_var_std 0.98, vcg_var_min 0.00, vcg_var_max 0.02, vcg_var_spread 0.02, vcg_cls_mean 0.00, vcg_cls_std 0.46, vcg_cls_min 0.00, vcg_cls_max 0.00, vcg_cls_spread 0.00, pnr_var_mean 0.48, pnr_var_std 0.45, pnr_var_min 0.00, pnr_var_max 0.98, pnr_var_spread 0.98, pnr_cls_mean 0.62, pnr_cls_std 0.54, pnr_cls_min 0.00, pnr_cls_max 1.00, pnr_cls_spread 1.00, avg_confl_size 29.29, confl_size_min 1.00, confl_size_max 114.00, avg_confl_glue 15.07, confl_glue_min 1.00, confl_glue_max 46.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 29.99, branch_depth_min 16.00, branch_depth_max 83.00, avg_trail_depth_delta 447.44, trail_depth_delta_min 2.00, trail_depth_delta_max 1878.00, avg_branch_depth_delta 1.30, props_per_confl 0.00, confl_per_restart 279.07, decisions_per_conflict 1.69, irred_cl_distrib.glue_distr_mean 999.92, irred_cl_distrib.glue_distr_var 77.46, irred_cl_distrib.size_distr_mean 3.49, irred_cl_distrib.size_distr_var 0.74, irred_cl_distrib.uip_use_distr_mean 0, irred_cl_distrib.uip_use_distr_var 0, irred_cl_distrib.activity_distr_mean 0.00, irred_cl_distrib.activity_distr_var 0.00, red_cl_distrib.glue_distr_mean 2.87, red_cl_distrib.glue_distr_var 0.13, red_cl_distrib.size_distr_mean 8.46, red_cl_distrib.size_distr_var 7.18, red_cl_distrib.uip_use_distr_mean 0, red_cl_distrib.uip_use_distr_var 0, red_cl_distrib.activity_distr_mean 5546.15, red_cl_distrib.activity_distr_var 3736007638.70, num_gates_found_last 0, num_xors_found_last 0
41.63/38.45	c (35,0) c clause size stats. size3: 67467 size4: 548 size5: 21837 larger: 0
42.63/39.48	c (36,0) c   luby     0   624  172K    5944   89K  6703    3.49    3.39  6281  3244   44K    77   29.23   29.19
44.73/41.54	c (38,0) c   luby     0   656  180K    5944   89K  6703    3.49    3.39  6580  3378   37K    77   27.67   27.63
46.63/43.47	c (40,0) c [distill] long cls tried: 1032/6619 cl-short:1030 lit-r:784 T: 0.47 T-out: N T-r: 95.04%
46.83/43.66	c (41,0) c   luby     0   673  188K    5944   89K  6703    3.49    3.39  6620  3849   45K    77   28.29   28.25
48.73/45.53	c (42,0) c   luby     0   704  196K    5944   89K  6703    3.49    3.39  7079  4192   37K    77   26.53   26.49
50.53/47.36	c (44,0) c   luby     0   729  204K    5944   89K  6703    3.49    3.39  7338  3585   46K    77   27.64   27.60
52.43/49.22	c (46,0) c   luby     0   730  213K    5944   89K  6703    3.49    3.39  7707  3455   39K    77   27.45   27.42
54.13/50.92	c (48,0) c   luby     0   761  221K    5944   89K  6703    3.49    3.39  7940  3106   47K    77   27.80   27.77
56.43/53.24	c (50,0) c [distill] long cls tried: 1440/8059 cl-short:1440 lit-r:1050 T: 0.56 T-out: N T-r: 93.69%
56.43/53.28	c (50,0) c   luby     0   793  229K    5944   89K  6703    3.49    3.39  8059  4211   41K    77   26.91   26.87
58.13/54.96	c (52,0) c   luby     0   821  237K    5944   89K  6703    3.49    3.39  8310  3980   50K    77   26.92   26.89
59.83/56.64	c (54,0) c   luby     0   852  245K    5944   89K  6703    3.49    3.39  8705  4712   42K    77   25.12   25.09
61.53/58.32	c (55,0) c   luby     0   857  253K    5944   89K  6703    3.49    3.39  8958  4134   51K    77   25.47   25.44
62.83/59.70	c (57,0) c ------- FINAL TOTAL SEARCH STATS ---------
62.83/59.70	c (57,0) c UIP search time          : 50.41       (88.93     % time)
62.83/59.70	c (57,0) c restarts                 : 858         (303.71    confls per restart)
62.83/59.70	c (57,0) c blocked restarts         : 14          (0.02      per normal restart)
62.83/59.70	c (57,0) c time                     : 50.41       
62.83/59.70	c (57,0) c decisions                : 414651      (0.00      % random)
62.83/59.70	c (57,0) c propagations             : 104439882   
62.83/59.70	c (57,0) c decisions/conflicts      : 1.59        
62.83/59.70	c (57,0) c conflicts                : 260585      (5169.44   / sec)
62.83/59.70	c (57,0) c conf lits non-minim      : 13178360    (50.57     lit/confl)
62.83/59.70	c (57,0) c conf lits final          : 29.83       
62.83/59.70	c (57,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
62.83/59.70	c (57,0) c red which0               : 1432        (0.55      % of confl)
62.83/59.70	c (57,0) c props/decision           : 0.00        
62.93/59.70	c (57,0) c props/conflict           : 0.00        
62.93/59.70	c (57,0) c 0-depth assigns          : 15          (0.24      % vars)
62.93/59.70	c (57,0) c 0-depth assigns by CNF   : 0           (0.00      % vars)
62.93/59.70	c (57,0) c reduceDB time            : 0.11        (0.19      % time)
62.93/59.70	c (57,0) c OccSimplifier time       : 1.08        (1.90      % time)
62.93/59.70	c (57,0) c [occur] 0.18 is overhead
62.93/59.70	c (57,0) c [occur] link-in T: 0.13 cleanup T: 0.05
62.93/59.70	c (57,0) c [occ-substr] long subBySub: 138 subByStr: 0 lits-rem-str: 130 T: 0.75
62.93/59.70	c (57,0) c SCC time                 : 0.01        (0.02      % time)
62.93/59.70	c (57,0) c [scc] new: 77 BP 0M  T: 0.01
62.93/59.70	c (57,0) c vrep replace time        : 0.07        (0.12      % time)
62.93/59.70	c (57,0) c vrep tree roots          : 3           
62.93/59.70	c (57,0) c vrep trees' crown        : 40          (13.33     leafs/tree)
62.93/59.70	c (57,0) c distill time             : 12.18       (21.49     % time)
62.93/59.70	c (57,0) c strength cache-irred time: 0.31        (0.55      % time)
62.93/59.70	c (57,0) c strength cache-red time  : 0.06        (0.10      % time)
62.93/59.70	c (57,0) c Conflicts in UIP         : 260585      (4597.29   confl/time_this_thread)
62.93/59.70	c (57,0) c Mem used                 : 66.62       MB
62.93/59.70	c (57,0) c Total time (this thread) : 56.68       
62.93/59.70	c (57,0) s SATISFIABLE
62.93/59.77	c (57,0) SatSolver.solve End
62.93/59.77	c (57,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
62.93/59.77	c (57,0) Show results Begin
63.24/59.86	c (57,0) x[0] = 53
63.24/59.86	c (57,0) x[1] = 51
63.24/59.86	c (57,0) x[2] = 51
63.24/59.86	c (57,0) x[3] = 113
63.24/59.86	c (57,0) x[4] = 46
63.24/59.86	c (57,0) x[5] = 46
63.24/59.86	c (57,0) x[6] = 82
63.24/59.86	c (57,0) x[7] = 33
63.24/59.86	c (57,0) x[8] = 82
63.24/59.86	c (57,0) x[9] = 98
63.24/59.86	c (57,0) x[10] = 33
63.24/59.86	c (57,0) x[11] = 117
63.24/59.86	c (57,0) x[12] = 113
63.24/59.86	c (57,0) x[13] = 54
63.24/59.86	c (57,0) x[14] = 53
63.24/59.86	c (57,0) x[15] = 82
63.24/59.86	c (57,0) x[16] = 0
63.24/59.86	c (57,0) x[17] = 54
63.24/59.86	c (57,0) x[18] = 98
63.24/59.86	c (57,0) x[19] = 53
63.24/59.86	c (57,0) x[20] = 92
63.24/59.86	c (57,0) x[21] = 0
63.24/59.86	c (57,0) x[22] = 0
63.24/59.86	c (57,0) y[0] = 65
63.24/59.86	c (57,0) y[1] = 65
63.24/59.86	c (57,0) y[2] = 62
63.24/59.86	c (57,0) y[3] = 75
63.24/59.86	c (57,0) y[4] = 62
63.24/59.86	c (57,0) y[5] = 54
63.24/59.86	c (57,0) y[6] = 38
63.24/59.86	c (57,0) y[7] = 54
63.24/59.86	c (57,0) y[8] = 79
63.24/59.86	c (57,0) y[9] = 79
63.24/59.86	c (57,0) y[10] = 67
63.24/59.86	c (57,0) y[11] = 75
63.24/59.86	c (57,0) y[12] = 48
63.24/59.86	c (57,0) y[13] = 38
63.24/59.86	c (57,0) y[14] = 66
63.24/59.86	c (57,0) y[15] = 48
63.24/59.86	c (57,0) y[16] = 54
63.24/59.86	c (57,0) y[17] = 0
63.24/59.86	c (57,0) y[18] = 98
63.24/59.86	c (57,0) y[19] = 95
63.24/59.86	c (57,0) y[20] = 0
63.24/59.86	c (57,0) y[21] = 87
63.24/59.86	c (57,0) y[22] = 0
63.24/59.86	s SATISFIABLE
63.24/59.86	v <instantiation>
63.24/59.86	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22]</list>
63.24/59.86	v     <values>53 51 51 113 46 46 82 33 82 98 33 117 113 54 53 82 0 54 98 53 92 0 0 65 65 62 75 62 54 38 54 79 79 67 75 48 38 66 48 54 0 98 95 0 87 0</values>
63.24/59.86	v </instantiation>
63.24/59.86	c (57,0) Show results End
63.24/59.86	c (57,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
63.24/59.86	c (57,0) 57,57,STOP-AFTER(ALL)
63.24/59.86	c END-Prog: Thu Sep 12 14:43:09 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 (9371 MiB free)
  memory of node 1: 16384 MiB (11599 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387918-1568292169/watcher-4387918-1568292169 -o /tmp/evaluation-result-4387918-1568292169/solver-4387918-1568292169 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568286731-10042 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387918-1568292169.xml 

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

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

solver pid=11617, runsolver pid=11614

[startup+0.100606 s]*
/proc/loadavg: 2.06 2.02 2.01 3/236 11634
/proc/meminfo: memFree=21413092/32770624 swapFree=66999124/67108860
[pid=11617] ppid=11614 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11617/stat : 11617 (scop.sh) S 11614 11617 9001 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405155345 115843072 349 33554432000 4194304 5098028 140736492369840 140736492367096 140450802623100 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16908288 140736492376931 140736492377200 140736492377200 140736492380109 0
/proc/11617/statm: 28282 349 296 221 0 87 0
[pid=11620] ppid=11617 vsize=15012696 memory=73160 CPUtime=0.1 cores=1,3,5,7
/proc/11620/stat : 11620 (java) S 11617 11617 9001 0 -1 1077944320 7047 0 0 0 8 2 0 0 20 0 15 0 405155345 15373000704 18290 33554432000 4194304 4196468 140736804287952 140736804270496 139930525261559 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
/proc/11620/statm: 3753174 18290 2828 1 0 3715579 0
[pid=11620/tid=11621] ppid=11617 vsize=15012696 memory=-6582429514275798981 CPUtime=0.09 cores=1,3,5,7
/proc/11620/task/11621/stat : 11621 (java) R 11617 11617 9001 0 -1 4202560 4959 0 0 0 7 2 0 0 20 0 15 0 405155346 15373000704 18422 33554432000 4194304 4196468 140736804287952 139930497073544 139930510978223 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11622] ppid=11617 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11622/stat : 11622 (java) S 11617 11617 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405155347 15373000704 18422 33554432000 4194304 4196468 140736804287952 139930529503888 139930525271765 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11623] ppid=11617 vsize=15012696 memory=139917559805568 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11623/stat : 11623 (java) S 11617 11617 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405155347 15373000704 18422 33554432000 4194304 4196468 140736804287952 139930305206800 139930525271765 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11624] ppid=11617 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11624/stat : 11624 (java) S 11617 11617 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405155347 15373000704 18422 33554432000 4194304 4196468 140736804287952 139930304154000 139930525271765 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11625] ppid=11617 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11625/stat : 11625 (java) S 11617 11617 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405155347 15373000704 18422 33554432000 4194304 4196468 140736804287952 139929984166160 139930525271765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11626] ppid=11617 vsize=15012696 memory=139917559805568 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11626/stat : 11626 (java) S 11617 11617 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405155348 15373000704 18422 33554432000 4194304 4196468 140736804287952 139929864579952 139930525272706 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11627] ppid=11617 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11627/stat : 11627 (java) S 11617 11617 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405155349 15373000704 18422 33554432000 4194304 4196468 140736804287952 139929128527392 139930525271765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11628] ppid=11617 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11628/stat : 11628 (java) S 11617 11617 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405155349 15373000704 18422 33554432000 4194304 4196468 140736804287952 139928893646192 139930525271765 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11629] ppid=11617 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11629/stat : 11629 (java) S 11617 11617 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405155352 15373000704 18422 33554432000 4194304 4196468 140736804287952 139928519137616 139930525280155 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11630] ppid=11617 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11630/stat : 11630 (java) R 11617 11617 9001 0 -1 4202560 422 0 0 0 0 0 0 0 20 0 15 0 405155352 15373000704 18422 33554432000 4194304 4196468 140736804287952 139929863519808 139930503201824 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11631] ppid=11617 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11631/stat : 11631 (java) S 11617 11617 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405155352 15373000704 18422 33554432000 4194304 4196468 140736804287952 139929862473968 139930525272706 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11632] ppid=11617 vsize=15012696 memory=139917559805568 CPUtime=0.01 cores=1,3,5,7
/proc/11620/task/11632/stat : 11632 (java) S 11617 11617 9001 0 -1 1077944384 445 0 0 0 1 0 0 0 20 0 15 0 405155352 15373000704 18422 33554432000 4194304 4196468 140736804287952 139929861421168 139930525272706 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11633] ppid=11617 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11633/stat : 11633 (java) S 11617 11617 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405155352 15373000704 18422 33554432000 4194304 4196468 140736804287952 139928021231840 139930525271765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11634] ppid=11617 vsize=15012696 memory=139917559805568 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11634/stat : 11634 (java) S 11617 11617 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405155352 15373000704 18422 33554432000 4194304 4196468 140736804287952 139929860369584 139930525272706 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74556 KiB

[startup+0.210824 s]*
/proc/loadavg: 2.06 2.02 2.01 4/236 11634
/proc/meminfo: memFree=21398088/32770624 swapFree=66999124/67108860
[pid=11617] ppid=11614 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11617/stat : 11617 (scop.sh) S 11614 11617 9001 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405155345 115843072 349 33554432000 4194304 5098028 140736492369840 140736492367096 140450802623100 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16908288 140736492376931 140736492377200 140736492377200 140736492380109 0
/proc/11617/statm: 28282 349 296 221 0 87 0
[pid=11620] ppid=11617 vsize=15012696 memory=86660 CPUtime=0.24 cores=1,3,5,7
/proc/11620/stat : 11620 (java) S 11617 11617 9001 0 -1 1077944320 11724 0 0 0 20 4 0 0 20 0 15 0 405155345 15373000704 21665 33554432000 4194304 4196468 140736804287952 140736804270496 139930525261559 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
/proc/11620/statm: 3753174 21665 2976 1 0 3715579 0
[pid=11620/tid=11621] ppid=11617 vsize=15012696 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/11620/task/11621/stat : 11621 (java) R 11617 11617 9001 0 -1 4202560 9454 0 0 0 16 3 0 0 20 0 15 0 405155346 15373000704 21665 33554432000 4194304 4196468 140736804287952 139930497074992 139930503264481 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11622] ppid=11617 vsize=15012696 memory=398 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11622/stat : 11622 (java) S 11617 11617 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405155347 15373000704 21665 33554432000 4194304 4196468 140736804287952 139930529503888 139930525271765 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11623] ppid=11617 vsize=15012696 memory=139917559817211 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11623/stat : 11623 (java) S 11617 11617 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405155347 15373000704 21665 33554432000 4194304 4196468 140736804287952 139930305206800 139930525271765 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11624] ppid=11617 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11624/stat : 11624 (java) S 11617 11617 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405155347 15373000704 21665 33554432000 4194304 4196468 140736804287952 139930304154000 139930525271765 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11625] ppid=11617 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11625/stat : 11625 (java) S 11617 11617 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405155347 15373000704 21665 33554432000 4194304 4196468 140736804287952 139929984166160 139930525271765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11626] ppid=11617 vsize=15012696 memory=139917559805568 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11626/stat : 11626 (java) S 11617 11617 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405155348 15373000704 21665 33554432000 4194304 4196468 140736804287952 139929864579952 139930525272706 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11627] ppid=11617 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11627/stat : 11627 (java) S 11617 11617 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405155349 15373000704 21665 33554432000 4194304 4196468 140736804287952 139929128527392 139930525271765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11628] ppid=11617 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11628/stat : 11628 (java) S 11617 11617 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405155349 15373000704 21665 33554432000 4194304 4196468 140736804287952 139928893646192 139930525271765 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11629] ppid=11617 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11629/stat : 11629 (java) S 11617 11617 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405155352 15373000704 21665 33554432000 4194304 4196468 140736804287952 139928519137616 139930525280155 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11630] ppid=11617 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11630/stat : 11630 (java) S 11617 11617 9001 0 -1 1077944384 463 0 0 0 0 0 0 0 20 0 15 0 405155352 15373000704 21665 33554432000 4194304 4196468 140736804287952 139929863526768 139930525272706 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11631] ppid=11617 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11631/stat : 11631 (java) S 11617 11617 9001 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 405155352 15373000704 21665 33554432000 4194304 4196468 140736804287952 139929862473968 139930525272706 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11632] ppid=11617 vsize=15012696 memory=139917559805568 CPUtime=0.02 cores=1,3,5,7
/proc/11620/task/11632/stat : 11632 (java) R 11617 11617 9001 0 -1 4202560 459 0 0 0 2 0 0 0 20 0 15 0 405155352 15373000704 21665 33554432000 4194304 4196468 140736804287952 139929861421168 139930525282906 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11633] ppid=11617 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11633/stat : 11633 (java) S 11617 11617 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405155352 15373000704 21665 33554432000 4194304 4196468 140736804287952 139928021231840 139930525271765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11634] ppid=11617 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11634/stat : 11634 (java) S 11617 11617 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405155352 15373000704 21665 33554432000 4194304 4196468 140736804287952 139929860369584 139930525272706 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 88056 KiB

[startup+0.310623 s]*
/proc/loadavg: 2.06 2.02 2.01 3/236 11634
/proc/meminfo: memFree=21385352/32770624 swapFree=66999124/67108860
[pid=11617] ppid=11614 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11617/stat : 11617 (scop.sh) S 11614 11617 9001 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405155345 115843072 349 33554432000 4194304 5098028 140736492369840 140736492367096 140450802623100 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16908288 140736492376931 140736492377200 140736492377200 140736492380109 0
/proc/11617/statm: 28282 349 296 221 0 87 0
[pid=11620] ppid=11617 vsize=15012696 memory=90336 CPUtime=0.43 cores=1,3,5,7
/proc/11620/stat : 11620 (java) S 11617 11617 9001 0 -1 1077944320 12659 0 0 0 38 5 0 0 20 0 15 0 405155345 15373000704 22584 33554432000 4194304 4196468 140736804287952 140736804270496 139930525261559 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
/proc/11620/statm: 3753174 22584 3022 1 0 3715579 0
[pid=11620/tid=11621] ppid=11617 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/11620/task/11621/stat : 11621 (java) R 11617 11617 9001 0 -1 4202560 10211 0 0 0 26 4 0 0 20 0 15 0 405155346 15373000704 22584 33554432000 4194304 4196468 140736804287952 139930497044576 139930506825088 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11622] ppid=11617 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11622/stat : 11622 (java) S 11617 11617 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405155347 15373000704 22584 33554432000 4194304 4196468 140736804287952 139930529503888 139930525271765 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11623] ppid=11617 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11623/stat : 11623 (java) S 11617 11617 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405155347 15373000704 22584 33554432000 4194304 4196468 140736804287952 139930305206800 139930525271765 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11624] ppid=11617 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11624/stat : 11624 (java) S 11617 11617 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405155347 15373000704 22584 33554432000 4194304 4196468 140736804287952 139930304154000 139930525271765 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11625] ppid=11617 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11625/stat : 11625 (java) S 11617 11617 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405155347 15373000704 22584 33554432000 4194304 4196468 140736804287952 139929984166160 139930525271765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11626] ppid=11617 vsize=15012696 memory=4498404016631593313 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11626/stat : 11626 (java) S 11617 11617 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405155348 15373000704 22584 33554432000 4194304 4196468 140736804287952 139929864579952 139930525272706 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11627] ppid=11617 vsize=15012696 memory=-6519613052471072158 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11627/stat : 11627 (java) S 11617 11617 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405155349 15373000704 22584 33554432000 4194304 4196468 140736804287952 139929128527392 139930525271765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11628] ppid=11617 vsize=15012696 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11628/stat : 11628 (java) S 11617 11617 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405155349 15373000704 22584 33554432000 4194304 4196468 140736804287952 139928893646192 139930525271765 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11629] ppid=11617 vsize=15012696 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11629/stat : 11629 (java) S 11617 11617 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405155352 15373000704 22584 33554432000 4194304 4196468 140736804287952 139928519137616 139930525280155 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11630] ppid=11617 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11620/task/11630/stat : 11630 (java) S 11617 11617 9001 0 -1 1077944384 572 0 0 0 2 0 0 0 20 0 15 0 405155352 15373000704 22584 33554432000 4194304 4196468 140736804287952 139929863526768 139930525272706 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11631] ppid=11617 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11620/task/11631/stat : 11631 (java) S 11617 11617 9001 0 -1 1077944384 60 0 0 0 2 0 0 0 20 0 15 0 405155352 15373000704 22584 33554432000 4194304 4196468 140736804287952 139929862473968 139930525272706 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11632] ppid=11617 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11620/task/11632/stat : 11632 (java) S 11617 11617 9001 0 -1 1077944384 481 0 0 0 7 0 0 0 20 0 15 0 405155352 15373000704 22584 33554432000 4194304 4196468 140736804287952 139929861421168 139930525272706 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11633] ppid=11617 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11633/stat : 11633 (java) S 11617 11617 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405155352 15373000704 22584 33554432000 4194304 4196468 140736804287952 139928021231840 139930525271765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11634] ppid=11617 vsize=15012696 memory=4049072735533413424 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11634/stat : 11634 (java) S 11617 11617 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405155352 15373000704 22584 33554432000 4194304 4196468 140736804287952 139929860369584 139930525272706 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91732 KiB

[startup+0.700755 s]
/proc/loadavg: 2.06 2.02 2.01 3/236 11634
/proc/meminfo: memFree=21367124/32770624 swapFree=66999124/67108860
[pid=11617] ppid=11614 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11617/stat : 11617 (scop.sh) S 11614 11617 9001 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405155345 115843072 349 33554432000 4194304 5098028 140736492369840 140736492367096 140450802623100 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16908288 140736492376931 140736492377200 140736492377200 140736492380109 0
/proc/11617/statm: 28282 349 296 221 0 87 0
[pid=11620] ppid=11617 vsize=15021092 memory=130148 CPUtime=1 cores=1,3,5,7
/proc/11620/stat : 11620 (java) S 11617 11617 9001 0 -1 1077944320 20311 0 0 0 93 7 0 0 20 0 15 0 405155345 15381598208 32537 33554432000 4194304 4196468 140736804287952 140736804270496 139930525261559 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
/proc/11620/statm: 3755273 32537 3201 1 0 3716603 0
[pid=11620/tid=11621] ppid=11617 vsize=15021092 memory=2372 CPUtime=0.67 cores=1,3,5,7
/proc/11620/task/11621/stat : 11621 (java) R 11617 11617 9001 0 -1 4202560 17374 0 0 0 61 6 0 0 20 0 15 0 405155346 15381598208 32537 33554432000 4194304 4196468 140736804287952 139930497098832 139930509342046 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11622] ppid=11617 vsize=15021092 memory=116 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11622/stat : 11622 (java) S 11617 11617 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405155347 15381598208 32537 33554432000 4194304 4196468 140736804287952 139930529503888 139930525271765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11623] ppid=11617 vsize=15021092 memory=2129119 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11623/stat : 11623 (java) S 11617 11617 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405155347 15381598208 32537 33554432000 4194304 4196468 140736804287952 139930305206800 139930525271765 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11624] ppid=11617 vsize=15021092 memory=2141618 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11624/stat : 11624 (java) S 11617 11617 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405155347 15381598208 32537 33554432000 4194304 4196468 140736804287952 139930304154000 139930525271765 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11625] ppid=11617 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11625/stat : 11625 (java) S 11617 11617 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405155347 15381598208 32537 33554432000 4194304 4196468 140736804287952 139929984166160 139930525271765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11626] ppid=11617 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11626/stat : 11626 (java) S 11617 11617 9001 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405155348 15381598208 32537 33554432000 4194304 4196468 140736804287952 139929864579952 139930525272706 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11627] ppid=11617 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11627/stat : 11627 (java) S 11617 11617 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405155349 15381598208 32537 33554432000 4194304 4196468 140736804287952 139929128527392 139930525271765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11628] ppid=11617 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11628/stat : 11628 (java) S 11617 11617 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405155349 15381598208 32537 33554432000 4194304 4196468 140736804287952 139928893646192 139930525271765 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11629] ppid=11617 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11629/stat : 11629 (java) S 11617 11617 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405155352 15381598208 32537 33554432000 4194304 4196468 140736804287952 139928519137616 139930525280155 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11630] ppid=11617 vsize=15021092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11620/task/11630/stat : 11630 (java) S 11617 11617 9001 0 -1 1077944384 753 0 0 0 8 0 0 0 20 0 15 0 405155352 15381598208 32537 33554432000 4194304 4196468 140736804287952 139929863526768 139930525272706 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11631] ppid=11617 vsize=15021092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/11620/task/11631/stat : 11631 (java) S 11617 11617 9001 0 -1 1077944384 297 0 0 0 9 0 0 0 20 0 15 0 405155352 15381598208 32537 33554432000 4194304 4196468 140736804287952 139929862473968 139930525272706 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11632] ppid=11617 vsize=15021092 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/11620/task/11632/stat : 11632 (java) S 11617 11617 9001 0 -1 1077944384 549 0 0 0 14 0 0 0 20 0 15 0 405155352 15381598208 32537 33554432000 4194304 4196468 140736804287952 139929861421168 139930525272706 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11633] ppid=11617 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11633/stat : 11633 (java) S 11617 11617 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405155352 15381598208 32537 33554432000 4194304 4196468 140736804287952 139928021231840 139930525271765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
[pid=11620/tid=11634] ppid=11617 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11620/task/11634/stat : 11634 (java) S 11617 11617 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405155352 15381598208 32537 33554432000 4194304 4196468 140736804287952 139929860369584 139930525272706 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140736804291369 140736804291738 140736804291738 140736804294607 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 131544 KiB

[startup+1.5016 s]
/proc/loadavg: 2.06 2.02 2.01 4/236 11634
/proc/meminfo: memFree=21344468/32770624 swapFree=66999124/67108860
[pid=11617] ppid=11614 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11617/stat : 11617 (scop.sh) S 11614 11617 9001 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405155345 115843072 349 33554432000 4194304 5098028 140736492369840 140736492367096 140450802623100 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16908288 140736492376931 140736492377200 140736492377200 140736492380109 0
/proc/11617/statm: 28282 349 296 221 0 87 0

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

/proc/11635/task/11651/stat : 11651 (java) S 11617 11617 9001 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405155641 8262082560 29921 33554432000 4194304 4196468 140725176781168 139946093876288 139946726956825 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11653] ppid=11617 vsize=8068440 memory=1476 CPUtime=0.03 cores=1,3,5,7
/proc/11635/task/11653/stat : 11653 (java) S 11617 11617 9001 0 -1 4202560 1710 0 0 0 2 1 0 0 20 0 19 0 405155642 8262082560 29921 33554432000 4194304 4196468 140725176781168 139943993126512 139946726954141 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11654] ppid=11617 vsize=8068440 memory=119684 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11654/stat : 11654 (java) S 11617 11617 9001 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405155642 8262082560 29921 33554432000 4194304 4196468 140725176781168 139944127348496 139946726954141 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11655] ppid=11617 vsize=8068440 memory=66152 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11655/stat : 11655 (java) S 11617 11617 9001 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405155644 8262082560 29921 33554432000 4194304 4196468 140725176781168 139943724703280 139946726942421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
Current children cumulated CPU time: 60.83 s
Current children cumulated vsize: 8275456 KiB
Current children cumulated memory: 189360 KiB

[startup+59.2009 s]
/proc/loadavg: 2.18 2.06 2.03 3/241 11658
/proc/meminfo: memFree=21287824/32770624 swapFree=66999124/67108860
[pid=11617] ppid=11614 vsize=113128 memory=1476 CPUtime=5.02 cores=1,3,5,7
/proc/11617/stat : 11617 (scop.sh) S 11614 11617 9001 0 -1 4202496 583 26373 0 0 0 0 484 18 20 0 1 0 405155345 115843072 369 33554432000 4194304 5098028 140736492369840 140736492366584 140450802623100 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16908288 140736492376931 140736492377200 140736492377200 140736492380109 0
/proc/11617/statm: 28282 369 311 221 0 87 0
[pid=11635] ppid=11617 vsize=8068440 memory=119684 CPUtime=1.19 cores=1,3,5,7
/proc/11635/stat : 11635 (java) S 11617 11617 9001 0 -1 1077944320 21913 0 0 0 110 9 0 0 20 0 19 0 405155571 8262082560 29921 33554432000 4194304 4196468 140725176781168 140725176763712 139946726932215 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
/proc/11635/statm: 2017110 29921 3209 1 0 1978454 0
[pid=11650] ppid=11635 vsize=93888 memory=68212 CPUtime=56.22 cores=1,3,5,7
/proc/11650/stat : 11650 (cryptominisat5) R 11635 11617 9001 0 -1 4202496 39837 0 0 0 5618 4 0 0 20 0 1 0 405155641 96141312 17053 33554432000 4194304 4451008 140731657429456 140731657425384 140105409586054 0 4 0 2 0 0 0 17 1 0 0 0 0 0 6549032 6559120 34033664 140731657434044 140731657434176 140731657434176 140731657437126 0
/proc/11650/statm: 23472 17053 736 63 0 17199 0
[pid=11635/tid=11636] ppid=11617 vsize=8068440 memory=119684 CPUtime=0.73 cores=1,3,5,7
/proc/11635/task/11636/stat : 11636 (java) S 11617 11617 9001 0 -1 1077944384 16868 0 0 0 69 4 0 0 20 0 19 0 405155571 8262082560 29921 33554432000 4194304 4196468 140725176781168 139946698772384 139946726942421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11637] ppid=11617 vsize=8068440 memory=68200 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11637/stat : 11637 (java) S 11617 11617 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405155572 8262082560 29921 33554432000 4194304 4196468 140725176781168 139946731174672 139946726942421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11638] ppid=11617 vsize=8068440 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11638/stat : 11638 (java) S 11617 11617 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405155572 8262082560 29921 33554432000 4194304 4196468 140725176781168 139946545331088 139946726942421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11639] ppid=11617 vsize=8068440 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11639/stat : 11639 (java) S 11617 11617 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405155572 8262082560 29921 33554432000 4194304 4196468 140725176781168 139946210524176 139946726942421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11640] ppid=11617 vsize=8068440 memory=772 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11640/stat : 11640 (java) S 11617 11617 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405155572 8262082560 29921 33554432000 4194304 4196468 140725176781168 139946209471632 139946726942421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11641] ppid=11617 vsize=8068440 memory=3624 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11641/stat : 11641 (java) S 11617 11617 9001 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 405155574 8262082560 29921 33554432000 4194304 4196468 140725176781168 139946106120176 139946726943362 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11642] ppid=11617 vsize=8068440 memory=36704 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11642/stat : 11642 (java) S 11617 11617 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405155574 8262082560 29921 33554432000 4194304 4196468 140725176781168 139945536644000 139946726942421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11643] ppid=11617 vsize=8068440 memory=66152 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11643/stat : 11643 (java) S 11617 11617 9001 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405155574 8262082560 29921 33554432000 4194304 4196468 140725176781168 139945402422256 139946726942421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11644] ppid=11617 vsize=8068440 memory=8039887049847965093 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11644/stat : 11644 (java) S 11617 11617 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405155577 8262082560 29921 33554432000 4194304 4196468 140725176781168 139945027918032 139946726950811 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11645] ppid=11617 vsize=8068440 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/11635/task/11645/stat : 11645 (java) S 11617 11617 9001 0 -1 1077944384 609 0 0 0 7 0 0 0 20 0 19 0 405155577 8262082560 29921 33554432000 4194304 4196468 140725176781168 139946105068016 139946726943362 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11646] ppid=11617 vsize=8068440 memory=1048 CPUtime=0.07 cores=1,3,5,7
/proc/11635/task/11646/stat : 11646 (java) S 11617 11617 9001 0 -1 1077944384 341 0 0 0 7 0 0 0 20 0 19 0 405155577 8262082560 29921 33554432000 4194304 4196468 140725176781168 139946104015472 139946726943362 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11647] ppid=11617 vsize=8068440 memory=5888 CPUtime=0.21 cores=1,3,5,7
/proc/11635/task/11647/stat : 11647 (java) S 11617 11617 9001 0 -1 1077944384 978 0 0 0 21 0 0 0 20 0 19 0 405155577 8262082560 29921 33554432000 4194304 4196468 140725176781168 139946102962928 139946726943362 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11648] ppid=11617 vsize=8068440 memory=14060 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11648/stat : 11648 (java) S 11617 11617 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405155577 8262082560 29921 33554432000 4194304 4196468 140725176781168 139944530013280 139946726942421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11649] ppid=11617 vsize=8068440 memory=2116 CPUtime=0.02 cores=1,3,5,7
/proc/11635/task/11649/stat : 11649 (java) S 11617 11617 9001 0 -1 1077944384 5 0 0 0 1 1 0 0 20 0 19 0 405155577 8262082560 29921 33554432000 4194304 4196468 140725176781168 139946101909808 139946726943362 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11651] ppid=11617 vsize=8068440 memory=17424 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11651/stat : 11651 (java) S 11617 11617 9001 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405155641 8262082560 29921 33554432000 4194304 4196468 140725176781168 139946093876288 139946726956825 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11653] ppid=11617 vsize=8068440 memory=532 CPUtime=0.03 cores=1,3,5,7
/proc/11635/task/11653/stat : 11653 (java) S 11617 11617 9001 0 -1 4202560 1710 0 0 0 2 1 0 0 20 0 19 0 405155642 8262082560 29921 33554432000 4194304 4196468 140725176781168 139943993126512 139946726954141 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11654] ppid=11617 vsize=8068440 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11654/stat : 11654 (java) S 11617 11617 9001 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405155642 8262082560 29921 33554432000 4194304 4196468 140725176781168 139944127348496 139946726954141 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11655] ppid=11617 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11655/stat : 11655 (java) S 11617 11617 9001 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405155644 8262082560 29921 33554432000 4194304 4196468 140725176781168 139943724703280 139946726942421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
Current children cumulated CPU time: 62.43 s
Current children cumulated vsize: 8275456 KiB
Current children cumulated memory: 189372 KiB

[startup+59.601 s]
/proc/loadavg: 2.18 2.06 2.03 3/241 11658
/proc/meminfo: memFree=21287824/32770624 swapFree=66999124/67108860
[pid=11617] ppid=11614 vsize=113128 memory=1476 CPUtime=5.02 cores=1,3,5,7
/proc/11617/stat : 11617 (scop.sh) S 11614 11617 9001 0 -1 4202496 583 26373 0 0 0 0 484 18 20 0 1 0 405155345 115843072 369 33554432000 4194304 5098028 140736492369840 140736492366584 140450802623100 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16908288 140736492376931 140736492377200 140736492377200 140736492380109 0
/proc/11617/statm: 28282 369 311 221 0 87 0
[pid=11635] ppid=11617 vsize=8068440 memory=119684 CPUtime=1.19 cores=1,3,5,7
/proc/11635/stat : 11635 (java) S 11617 11617 9001 0 -1 1077944320 21913 0 0 0 110 9 0 0 20 0 19 0 405155571 8262082560 29921 33554432000 4194304 4196468 140725176781168 140725176763712 139946726932215 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
/proc/11635/statm: 2017110 29921 3209 1 0 1978454 0
[pid=11650] ppid=11635 vsize=93888 memory=68212 CPUtime=56.62 cores=1,3,5,7
/proc/11650/stat : 11650 (cryptominisat5) R 11635 11617 9001 0 -1 4202496 39841 0 0 0 5658 4 0 0 20 0 1 0 405155641 96141312 17053 33554432000 4194304 4451008 140731657429456 140731657425384 140105397822473 0 4 0 2 0 0 0 17 1 0 0 0 0 0 6549032 6559120 34033664 140731657434044 140731657434176 140731657434176 140731657437126 0
/proc/11650/statm: 23472 17053 736 63 0 17199 0
[pid=11635/tid=11636] ppid=11617 vsize=8068440 memory=8039887049847965093 CPUtime=0.73 cores=1,3,5,7
/proc/11635/task/11636/stat : 11636 (java) S 11617 11617 9001 0 -1 1077944384 16868 0 0 0 69 4 0 0 20 0 19 0 405155571 8262082560 29921 33554432000 4194304 4196468 140725176781168 139946698772384 139946726942421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11637] ppid=11617 vsize=8068440 memory=920 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11637/stat : 11637 (java) S 11617 11617 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405155572 8262082560 29921 33554432000 4194304 4196468 140725176781168 139946731174672 139946726942421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11638] ppid=11617 vsize=8068440 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11638/stat : 11638 (java) S 11617 11617 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405155572 8262082560 29921 33554432000 4194304 4196468 140725176781168 139946545331088 139946726942421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11639] ppid=11617 vsize=8068440 memory=2848 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11639/stat : 11639 (java) S 11617 11617 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405155572 8262082560 29921 33554432000 4194304 4196468 140725176781168 139946210524176 139946726942421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11640] ppid=11617 vsize=8068440 memory=3672 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11640/stat : 11640 (java) S 11617 11617 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405155572 8262082560 29921 33554432000 4194304 4196468 140725176781168 139946209471632 139946726942421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11641] ppid=11617 vsize=8068440 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11641/stat : 11641 (java) S 11617 11617 9001 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 405155574 8262082560 29921 33554432000 4194304 4196468 140725176781168 139946106120176 139946726943362 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11642] ppid=11617 vsize=8068440 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11642/stat : 11642 (java) S 11617 11617 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405155574 8262082560 29921 33554432000 4194304 4196468 140725176781168 139945536644000 139946726942421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11643] ppid=11617 vsize=8068440 memory=3348 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11643/stat : 11643 (java) S 11617 11617 9001 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405155574 8262082560 29921 33554432000 4194304 4196468 140725176781168 139945402422256 139946726942421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11644] ppid=11617 vsize=8068440 memory=10500 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11644/stat : 11644 (java) S 11617 11617 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405155577 8262082560 29921 33554432000 4194304 4196468 140725176781168 139945027918032 139946726950811 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11645] ppid=11617 vsize=8068440 memory=1712 CPUtime=0.07 cores=1,3,5,7
/proc/11635/task/11645/stat : 11645 (java) S 11617 11617 9001 0 -1 1077944384 609 0 0 0 7 0 0 0 20 0 19 0 405155577 8262082560 29921 33554432000 4194304 4196468 140725176781168 139946105068016 139946726943362 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11646] ppid=11617 vsize=8068440 memory=988 CPUtime=0.07 cores=1,3,5,7
/proc/11635/task/11646/stat : 11646 (java) S 11617 11617 9001 0 -1 1077944384 341 0 0 0 7 0 0 0 20 0 19 0 405155577 8262082560 29921 33554432000 4194304 4196468 140725176781168 139946104015472 139946726943362 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11647] ppid=11617 vsize=8068440 memory=1436 CPUtime=0.21 cores=1,3,5,7
/proc/11635/task/11647/stat : 11647 (java) S 11617 11617 9001 0 -1 1077944384 978 0 0 0 21 0 0 0 20 0 19 0 405155577 8262082560 29921 33554432000 4194304 4196468 140725176781168 139946102962928 139946726943362 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11648] ppid=11617 vsize=8068440 memory=1652 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11648/stat : 11648 (java) S 11617 11617 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405155577 8262082560 29921 33554432000 4194304 4196468 140725176781168 139944530013280 139946726942421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11649] ppid=11617 vsize=8068440 memory=1980 CPUtime=0.02 cores=1,3,5,7
/proc/11635/task/11649/stat : 11649 (java) S 11617 11617 9001 0 -1 1077944384 5 0 0 0 1 1 0 0 20 0 19 0 405155577 8262082560 29921 33554432000 4194304 4196468 140725176781168 139946101909808 139946726943362 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11651] ppid=11617 vsize=8068440 memory=2540 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11651/stat : 11651 (java) S 11617 11617 9001 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405155641 8262082560 29921 33554432000 4194304 4196468 140725176781168 139946093876288 139946726956825 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11653] ppid=11617 vsize=8068440 memory=1760 CPUtime=0.03 cores=1,3,5,7
/proc/11635/task/11653/stat : 11653 (java) S 11617 11617 9001 0 -1 4202560 1710 0 0 0 2 1 0 0 20 0 19 0 405155642 8262082560 29921 33554432000 4194304 4196468 140725176781168 139943993126512 139946726954141 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11654] ppid=11617 vsize=8068440 memory=111636 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11654/stat : 11654 (java) S 11617 11617 9001 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405155642 8262082560 29921 33554432000 4194304 4196468 140725176781168 139944127348496 139946726954141 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11655] ppid=11617 vsize=8068440 memory=804 CPUtime=0 cores=1,3,5,7
/proc/11635/task/11655/stat : 11655 (java) S 11617 11617 9001 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405155644 8262082560 29921 33554432000 4194304 4196468 140725176781168 139943724703280 139946726942421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
Current children cumulated CPU time: 62.83 s
Current children cumulated vsize: 8275456 KiB
Current children cumulated memory: 189372 KiB

[startup+59.802 s]
/proc/loadavg: 2.18 2.06 2.03 3/241 11658
/proc/meminfo: memFree=21287824/32770624 swapFree=66999124/67108860
[pid=11617] ppid=11614 vsize=113128 memory=1476 CPUtime=5.02 cores=1,3,5,7
/proc/11617/stat : 11617 (scop.sh) S 11614 11617 9001 0 -1 4202496 583 26373 0 0 0 0 484 18 20 0 1 0 405155345 115843072 369 33554432000 4194304 5098028 140736492369840 140736492366584 140450802623100 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16908288 140736492376931 140736492377200 140736492377200 140736492380109 0
/proc/11617/statm: 28282 369 311 221 0 87 0
[pid=11635] ppid=11617 vsize=7937364 memory=127548 CPUtime=58.22 cores=1,3,5,7
/proc/11635/stat : 11635 (java) S 11617 11617 9001 0 -1 1077944320 23435 40035 0 0 140 9 5668 5 20 0 17 0 405155571 8127860736 31887 33554432000 4194304 4196468 140725176781168 140725176763712 139946726932215 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
/proc/11635/statm: 1984341 31887 3225 1 0 1945685 0
[pid=11635/tid=11636] ppid=11617 vsize=7937364 memory=8039887049847965093 CPUtime=57.49 cores=1,3,5,7
/proc/11635/task/11636/stat : 11636 (java) R 11617 11617 9001 0 -1 4202560 17018 40035 0 0 72 4 5668 5 20 0 17 0 405155571 8127860736 31887 33554432000 4194304 4196468 140725176781168 139946698734480 139946224594429 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11637] ppid=11617 vsize=7937364 memory=10500 CPUtime=56.73 cores=1,3,5,7
/proc/11635/task/11637/stat : 11637 (java) S 11617 11617 9001 0 -1 1077944384 1 40035 0 0 0 0 5668 5 20 0 17 0 405155572 8127860736 31887 33554432000 4194304 4196468 140725176781168 139946731174672 139946726942421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11638] ppid=11617 vsize=7937364 memory=36704 CPUtime=56.73 cores=1,3,5,7
/proc/11635/task/11638/stat : 11638 (java) S 11617 11617 9001 0 -1 1077944384 1 40035 0 0 0 0 5668 5 20 0 17 0 405155572 8127860736 31887 33554432000 4194304 4196468 140725176781168 139946545331088 139946726942421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11639] ppid=11617 vsize=7937364 memory=988 CPUtime=56.73 cores=1,3,5,7
/proc/11635/task/11639/stat : 11639 (java) S 11617 11617 9001 0 -1 1077944384 1 40035 0 0 0 0 5668 5 20 0 17 0 405155572 8127860736 31887 33554432000 4194304 4196468 140725176781168 139946210524176 139946726942421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11640] ppid=11617 vsize=7937364 memory=2016 CPUtime=56.73 cores=1,3,5,7
/proc/11635/task/11640/stat : 11640 (java) S 11617 11617 9001 0 -1 1077944384 2 40035 0 0 0 0 5668 5 20 0 17 0 405155572 8127860736 31887 33554432000 4194304 4196468 140725176781168 139946209471632 139946726942421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11641] ppid=11617 vsize=7937364 memory=1424 CPUtime=56.73 cores=1,3,5,7
/proc/11635/task/11641/stat : 11641 (java) S 11617 11617 9001 0 -1 1077944384 9 40035 0 0 0 0 5668 5 20 0 17 0 405155574 8127860736 31887 33554432000 4194304 4196468 140725176781168 139946106120176 139946726943362 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11642] ppid=11617 vsize=7937364 memory=1540 CPUtime=56.73 cores=1,3,5,7
/proc/11635/task/11642/stat : 11642 (java) S 11617 11617 9001 0 -1 1077944384 13 40035 0 0 0 0 5668 5 20 0 17 0 405155574 8127860736 31887 33554432000 4194304 4196468 140725176781168 139945536644000 139946726942421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11643] ppid=11617 vsize=7937364 memory=8039887049847965093 CPUtime=56.73 cores=1,3,5,7
/proc/11635/task/11643/stat : 11643 (java) S 11617 11617 9001 0 -1 1077944384 21 40035 0 0 0 0 5668 5 20 0 17 0 405155574 8127860736 31887 33554432000 4194304 4196468 140725176781168 139945402422256 139946726942421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11644] ppid=11617 vsize=7937364 memory=7302416738403112288 CPUtime=56.73 cores=1,3,5,7
/proc/11635/task/11644/stat : 11644 (java) S 11617 11617 9001 0 -1 1077944384 3 40035 0 0 0 0 5668 5 20 0 17 0 405155577 8127860736 31887 33554432000 4194304 4196468 140725176781168 139945027918032 139946726950811 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11645] ppid=11617 vsize=7937364 memory=7452159329566087013 CPUtime=56.88 cores=1,3,5,7
/proc/11635/task/11645/stat : 11645 (java) S 11617 11617 9001 0 -1 1077944384 980 40035 0 0 15 0 5668 5 20 0 17 0 405155577 8127860736 31887 33554432000 4194304 4196468 140725176781168 139946105068016 139946726943362 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11646] ppid=11617 vsize=7937364 memory=7452159329566087013 CPUtime=56.86 cores=1,3,5,7
/proc/11635/task/11646/stat : 11646 (java) S 11617 11617 9001 0 -1 1077944384 594 40035 0 0 13 0 5668 5 20 0 17 0 405155577 8127860736 31887 33554432000 4194304 4196468 140725176781168 139946104015472 139946726943362 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11647] ppid=11617 vsize=7937364 memory=7452159329566087013 CPUtime=57 cores=1,3,5,7
/proc/11635/task/11647/stat : 11647 (java) R 11617 11617 9001 0 -1 4202560 1168 40035 0 0 27 0 5668 5 20 0 17 0 405155577 8127860736 31887 33554432000 4194304 4196468 140725176781168 139946102962928 139946726953562 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11648] ppid=11617 vsize=7937364 memory=6944656575208382560 CPUtime=56.73 cores=1,3,5,7
/proc/11635/task/11648/stat : 11648 (java) S 11617 11617 9001 0 -1 1077944384 3 40035 0 0 0 0 5668 5 20 0 17 0 405155577 8127860736 31887 33554432000 4194304 4196468 140725176781168 139944530013280 139946726942421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11649] ppid=11617 vsize=7937364 memory=7452159329566218085 CPUtime=56.75 cores=1,3,5,7
/proc/11635/task/11649/stat : 11649 (java) S 11617 11617 9001 0 -1 1077944384 5 40035 0 0 1 1 5668 5 20 0 17 0 405155577 8127860736 31887 33554432000 4194304 4196468 140725176781168 139946101909808 139946726943362 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11651] ppid=11617 vsize=7937364 memory=7738148776868013397 CPUtime=56.73 cores=1,3,5,7
/proc/11635/task/11651/stat : 11651 (java) S 11617 11617 9001 0 -1 1077944384 30 40035 0 0 0 0 5668 5 20 0 17 0 405155641 8127860736 31887 33554432000 4194304 4196468 140725176781168 139946093875472 139946726943362 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
[pid=11635/tid=11655] ppid=11617 vsize=7937364 memory=7444877071053139090 CPUtime=56.73 cores=1,3,5,7
/proc/11635/task/11655/stat : 11655 (java) S 11617 11617 9001 0 -1 1077944384 9 40035 0 0 0 0 5668 5 20 0 17 0 405155644 8127860736 31887 33554432000 4194304 4196468 140725176781168 139943724705072 139946726943362 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140725176787963 140725176788122 140725176788122 140725176790991 0
Current children cumulated CPU time: 63.24 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 129024 KiB

Child status: 0
Real time (s): 59.871
CPU time (s): 63.3887
CPU user time (s): 63.0505
CPU system time (s): 0.338219
CPU usage (%): 105.876
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 531684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 63.0505
system time used= 0.338219
maximum resident set size= 533184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90676
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6901
involuntary context switches= 75


# summary of solver processes directly reported to runsolver:
#   pid: 11617
#   total CPU time (s): 63.3887
#   total CPU user time (s): 63.0505
#   total CPU system time (s): 0.338219

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.457126 second user time and 0.697043 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-12 14:42:09
IDJOB=4387918
IDBENCH=127909
IDSOLVER=2826
FILE ID=node140/4387918-1568292169
RUNJOBID= node140-1568286731-10042
PBS_JOBID= 21701069
Free space on /tmp= 55520 MiB

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

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

MD5SUM BENCH= 2f6e926eec9d3271c32e6368d6cce3f2
RANDOM SEED=1640509330

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
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:        21474924 kB
MemAvailable:   31644336 kB
Buffers:          124024 kB
Cached:         10256264 kB
SwapCached:         2896 kB
Active:          2047896 kB
Inactive:        8556328 kB
Active(anon):     220756 kB
Inactive(anon):    43924 kB
Active(file):    1827140 kB
Inactive(file):  8512404 kB
Unevictable:      107728 kB
Mlocked:          107728 kB
SwapTotal:      67108860 kB
SwapFree:       66999124 kB
Dirty:             20628 kB
Writeback:           160 kB
AnonPages:        389088 kB
Mapped:            55812 kB
Shmem:             32100 kB
Slab:             287476 kB
SReclaimable:     258328 kB
SUnreclaim:        29148 kB
KernelStack:        4096 kB
PageTables:         6200 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6089960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    188416 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 55500 MiB
End job on node140 at 2019-09-12 14:43:09