Trace number 4387780

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)UNSAT 163.644 143.822

General information on the benchmark

NameQRandom/QRandom-mdd-7-25-5-p7/
mdd-7-25-5-ps05-psh07-4.xml
MD5SUMcc3fcfac109c3d277a0ef72b27cdc983
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark84.877
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints58
Number of domains1
Minimum domain size5
Maximum domain size5
Distribution of domain sizes[{"size":5,"count":25}]
Minimum variable degree9
Maximum variable degree21
Distribution of variable degrees[{"degree":9,"count":1},{"degree":10,"count":1},{"degree":13,"count":2},{"degree":14,"count":3},{"degree":15,"count":1},{"degree":16,"count":3},{"degree":17,"count":6},{"degree":18,"count":2},{"degree":19,"count":4},{"degree":21,"count":2}]
Minimum constraint arity7
Maximum constraint arity7
Distribution of constraint arities[{"arity":7,"count":58}]
Number of extensional constraints58
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":58}]
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-4173-serial-file.bin HOME/instance-4387780-1568290218.xml
0.66/0.53	
0.66/0.53	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.53	
0.66/0.55	c BEGIN-Prog: Thu Sep 12 14:09:38 CEST 2019
0.66/0.55	c PID: 4176
0.66/0.55	c IP: 172.20.3.145
0.66/0.55	c HOST: node145.alineos.net
0.66/0.56	c (0,0) Parsing Begin
7.04/4.98	c (4,4) Parsing End
7.04/4.99	c (4,4) CSP: 25 int (0 aux), 0 bool (0 aux), 58 ctr, max domain size 5
7.04/4.99	c (4,4) Heap : 1386 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
7.04/4.99	c (4,4) Constraint Name Generate Begin
7.04/4.99	c (4,4) Ctr:HOME/instance-4387780-1568290218.xml,ExtensionSupport:Var
7.04/4.99	c (4,4) Constraint Name Generate End
7.04/4.99	c (4,4) Heap : 1386 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
7.04/4.99	c (4,4) CSP to CSPinCNF Begin
16.56/9.38	c (8,8) translated 6 (10%) constraints
22.80/12.82	c (12,11) translated 12 (20%) constraints
29.49/16.40	c (15,15) translated 18 (30%) constraints
33.26/19.87	c (19,18) translated 24 (40%) constraints
36.22/22.79	c (22,21) translated 29 (50%) constraints
39.95/26.15	c (25,25) translated 35 (60%) constraints
43.99/29.52	c (28,28) translated 41 (70%) constraints
48.94/33.12	c (32,31) translated 47 (80%) constraints
52.91/36.67	c (36,35) translated 53 (90%) constraints
56.20/39.72	c (39,38) translated 58 (100%) constraints
56.80/40.35	c (39,38) ===========================================
56.80/40.38	c (39,38) Hybrid: #OE=8482, #LE=0
56.80/40.38	c (39,38) Hybrid
56.80/40.38	c (39,38) ===========================================
57.53/40.65	c (40,39) translated 8032 (10%) constraints
57.86/40.84	c (40,39) translated 16064 (20%) constraints
58.19/41.01	c (40,39) translated 24096 (30%) constraints
58.29/41.18	c (40,39) translated 32128 (40%) constraints
58.48/41.35	c (40,39) translated 40159 (50%) constraints
58.69/41.52	c (40,39) translated 48191 (60%) constraints
58.79/41.69	c (41,40) translated 56223 (70%) constraints
58.99/41.86	c (41,40) translated 64255 (80%) constraints
59.20/42.03	c (41,40) translated 72287 (90%) constraints
59.45/42.21	c (41,40) translated 80318 (100%) constraints
59.45/42.21	c (41,40) CSP to CSPinCNF End
59.45/42.22	c (41,40) CSP: 25 int (0 aux), 8457 bool (8457 aux), 80318 ctr, max domain size 5
59.45/42.22	c (41,40) Heap : 2108 MiB used (max 10972 MiB), NonHeap : 27 MiB used (max 0 MiB)
59.45/42.22	c (41,40) CSPinCNF Propagation Begin
60.54/42.79	c (42,41) 0 values, 107 unsatisfiable literals, and 71 valid clauses are removed
60.54/42.79	c (42,41) CSPinCNF Propagation End
60.54/42.79	c (42,41) CSP: 25 int (0 aux), 8457 bool (8457 aux), 80247 ctr, max domain size 5
60.54/42.79	c (42,41) Heap : 2555 MiB used (max 10972 MiB), NonHeap : 28 MiB used (max 0 MiB)
60.85/42.84	c (42,41) Hybrid: #OE=8482, #LE=0
60.85/42.84	c (42,41) Simplify CSPinCNF Begin
61.19/43.04	c (42,41) Simplify CSPinCNF End
61.19/43.04	c (42,41) CSP: 25 int (0 aux), 8457 bool (8457 aux), 80247 ctr, max domain size 5
61.19/43.04	c (42,41) Heap : 2682 MiB used (max 10972 MiB), NonHeap : 28 MiB used (max 0 MiB)
61.19/43.04	c (42,41) Calculate Precise Domain Begin
61.19/43.04	c (42,41) 0 values are removed by re-calculation
61.19/43.04	c (42,41) Calculate Precise Domain End
61.19/43.04	c (42,41) CSP: 25 int (0 aux), 8457 bool (8457 aux), 80247 ctr, max domain size 5
61.19/43.04	c (42,41) Heap : 2682 MiB used (max 10972 MiB), NonHeap : 28 MiB used (max 0 MiB)
61.19/43.04	c (42,41) CSPinCNF to SatSolver Begin
62.00/43.39	c (42,41) 8025 (10 %) CSP clauses are encoded (0 SAT variables, 8099 SAT clauses)
62.30/43.50	c (42,41) 16050 (20 %) CSP clauses are encoded (0 SAT variables, 16124 SAT clauses)
62.60/43.57	c (43,41) 24075 (30 %) CSP clauses are encoded (0 SAT variables, 24149 SAT clauses)
62.74/43.65	c (43,42) 32099 (40 %) CSP clauses are encoded (0 SAT variables, 32173 SAT clauses)
62.86/43.73	c (43,42) 40124 (50 %) CSP clauses are encoded (0 SAT variables, 40198 SAT clauses)
62.96/43.80	c (43,42) 48149 (60 %) CSP clauses are encoded (0 SAT variables, 48223 SAT clauses)
62.96/43.88	c (43,42) 56173 (70 %) CSP clauses are encoded (0 SAT variables, 56247 SAT clauses)
63.06/43.96	c (43,42) 64198 (80 %) CSP clauses are encoded (0 SAT variables, 64272 SAT clauses)
63.16/44.03	c (43,42) 72223 (90 %) CSP clauses are encoded (0 SAT variables, 72297 SAT clauses)
63.27/44.11	c (43,42) 80247 (100 %) CSP clauses are encoded (0 SAT variables, 80321 SAT clauses)
63.27/44.11	c (43,42) CSPinCNF to SatSolver End
63.27/44.11	c (43,42) Heap : 3385 MiB used (max 10972 MiB), NonHeap : 30 MiB used (max 0 MiB)
63.27/44.11	c (43,42) 8546 bool, 80322 clause
63.27/44.11	c (43,42) Export Begin
63.27/44.19	c (43,42) Export to HOME/scop-4173-serial-file.bin
63.27/44.19	c (43,42) Export End
63.27/44.20	c (43,42) Export File Size: 0.01 MB
63.27/44.20	c (43,42) 4,4,41,42,42,42,43,STOP-AFTER(DIMACS)
63.27/44.20	c END-Prog: Thu Sep 12 14:10:21 CEST 2019
63.45/44.23	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-4173-serial-file.bin
63.47/44.69	c (0,0) Read Serial File Begin
63.47/44.69	c (0,0) HOME/scop-4173-serial-file.bin
63.47/44.90	c (0,0) Read Serial File End
63.47/44.91	
63.47/44.91	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
63.47/44.91	(Solving Process)
63.47/44.91	
63.47/44.93	c BEGIN-Prog: Thu Sep 12 14:10:22 CEST 2019
63.47/44.93	c PID: 4202
63.47/44.93	c IP: 172.20.3.145
63.47/44.93	c HOST: node145.alineos.net
63.47/44.93	c (0,0) SatSolver.solve Begin
63.47/44.93	c (0,0) HOME/cryptominisat5  HOME/instance-4387780-1568290218.xml-scop-4176.cnf
63.47/44.97	c (0,0) c Outputting solution to console
63.47/44.97	c (0,0) c CryptoMiniSat version 5.6.8
63.47/44.97	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
63.47/44.97	c (0,0) c CMS SHA revision GIT-notfound
63.47/44.97	c (0,0) c CMS is MIT licensed
63.47/44.97	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
63.47/44.97	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
63.47/44.97	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387780-1568290218.xml-scop-4176.cnf
63.47/44.97	c (0,0) c Reading file 'HOME/instance-4387780-1568290218.xml-scop-4176.cnf'
63.47/44.97	c (0,0) c -- header says num vars:           8546
63.47/44.97	c (0,0) c -- header says num clauses:       80322
63.47/44.99	c (0,0) c -- clauses added: 80322
63.47/44.99	c (0,0) c -- xor clauses added: 0
63.47/44.99	c (0,0) c -- vars added 8546
63.47/44.99	c (0,0) c Parsing time: 0.03 s
64.65/45.01	c (0,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
64.65/45.02	c (0,0) c [distill] long cls tried: 21/20 cl-short:21 lit-r:6 T: 0.00 T-out: N T-r: 99.99%
65.26/45.61	c (0,0) c [distill] long cls tried: 549/562 cl-short:549 lit-r:184 T: 0.03 T-out: N T-r: 99.76%
66.16/46.52	c (1,0) c [distill] long cls tried: 493/1053 cl-short:493 lit-r:242 T: 0.05 T-out: N T-r: 99.65%
66.46/46.83	c (2,0) c   glue     1    49  8193    8546   75K  4365    3.86    3.75  1183  2551  4419    50   16.87   16.78
67.56/47.98	c (3,0) c [distill] long cls tried: 1875/2925 cl-short:1875 lit-r:1253 T: 0.27 T-out: N T-r: 98.13%
69.16/49.57	c (4,0) c   geom     1    78 16386    8546   75K  4365    3.86    3.75  3393  4623  8315    71   17.04   16.97
69.47/49.82	c (5,0) c [distill] long cls tried: 497/3421 cl-short:497 lit-r:325 T: 0.09 T-out: N T-r: 98.82%
71.97/52.31	c (7,0) c [distill] long cls tried: 1836/5254 cl-short:1836 lit-r:1397 T: 0.46 T-out: N T-r: 94.26%
72.27/52.68	c (8,0) c   glue     1   114   24K    8546   75K  4365    3.86    3.75  5332  5060 14120    88   17.32   17.27
75.37/55.71	c (11,0) c   glue     1   137   32K    8546   75K  4365    3.86    3.75  7279  7148 18173    95   17.18   17.13
76.17/56.55	c (11,0) c [distill] long cls tried: 2038/7290 cl-short:2038 lit-r:1792 T: 0.71 T-out: N T-r: 91.65%
79.18/59.51	c (14,0) c   glue     1   162   40K    8546   75K  4365    3.86    3.75  8806  5942   26K   100   17.47   17.43
81.28/61.68	c (17,0) c [distill] long cls tried: 1661/8945 cl-short:1661 lit-r:1589 T: 0.74 T-out: N T-r: 91.73%
83.28/63.63	c (19,0) c   glue     1   185   49K    8546   75K  4365    3.86    3.75  9214  9556   26K   109   16.69   16.66
87.69/68.04	c (23,0) c [distill] long cls tried: 1555/10487 cl-short:1555 lit-r:1671 T: 0.91 T-out: N T-r: 90.13%
87.69/68.06	c (23,0) c   geom     1   208   57K    8546   75K  4365    3.86    3.75 10488  8324   34K   123   16.73   16.70
90.99/71.39	c (26,0) c   glue     1   219   65K    8546   75K  4365    3.86    3.75 11794  9323   34K   125   16.04   16.01
93.09/73.42	c (28,0) c recursive minimization cost OK: 158Kcost/(% lits removed)
93.09/73.42	c (28,0) c more minimization effectiveness low: 0.00 % lits removed --> disabling
93.09/73.42	c (28,0) c --> Executing strategy token: handle-comps
93.09/73.42	c (28,0) c --> Executing strategy token: scc-vrepl
93.09/73.42	c (28,0) c [scc] new: 464 BP 0M T: 0.00
93.09/73.48	c (28,0) c [vrep] vars 464 lits 403280 rem-bin-cls 1856 rem-long-cls 615 BP 1M T: 0.06
93.09/73.49	c (28,0) c --> Executing strategy token: cache-clean
93.09/73.49	c (28,0) c --> Executing strategy token: cache-tryboth
93.09/73.49	c (28,0) c --> Executing strategy token: sub-impl
93.09/73.49	c (28,0) c [impl sub] bin: 18 T: 0.01 T-out: N w-visit: 17092
93.09/73.50	c (28,0) c --> Executing strategy token: intree-probe
93.09/73.50	c (28,0) c [scc] new: 0 BP 0M T: 0.00
93.19/73.51	c (28,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 0M T: 0.01
93.59/73.92	c (29,0) c [intree] Set 0 vars hyper-added: 6526 trans-irred::16 trans-red::1606 T: 0.41 T-out: N T-r: 97.10%
93.89/74.27	c (29,0) c --> Executing strategy token: probe
93.89/74.27	c (29,0) c --> Executing strategy token: sub-str-cls-with-bin
93.89/74.27	c (29,0) c [distill] cache-based irred--  cl tried    88629 cl-sh  1021 cl-rem 3480 lit-rem   1168 T: 0.21 T-out: Y
93.89/74.27	c (29,0) c [distill] cache-based   red--  cl tried    24244 cl-sh   799 cl-rem    8 lit-rem   1013 T: 0.13 T-out: Y
94.71/75.07	c (30,0) c --> Executing strategy token: distill-cls
94.71/75.07	c (30,0) c [distill] long cls tried: 4258/71743 cl-short:876 lit-r:768 T: 0.80 T-out: Y T-r: -0.05%
94.71/75.07	c (30,0) c [distill] long useful: 1752/8516/143722 lits-rem: 1536 0-depth-assigns: 0 T: 1.59 T-out: Y
94.71/75.07	c (30,0) c --> Executing strategy token: scc-vrepl
94.71/75.07	c (30,0) c [scc] new: 668 BP 0M T: 0.00
94.71/75.10	c (30,0) c [vrep] vars 648 lits 95210 rem-bin-cls 2542 rem-long-cls 493 BP 0M T: 0.03
94.81/75.11	c (30,0) c --> Executing strategy token: sub-impl
94.81/75.11	c (30,0) c [impl sub] bin: 1406 T: 0.01 T-out: N w-visit: 17092
94.81/75.11	c (30,0) c --> Executing strategy token: str-impl
94.81/75.11	c (30,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: 17092
94.81/75.12	c (30,0) c --> Executing strategy token: sub-impl
94.81/75.12	c (30,0) c [impl sub] bin: 0 T: 0.01 T-out: N w-visit: 17092
94.81/75.13	c (30,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
94.81/75.13	c (30,0) c [occ] mem usage for occur      8 MB
94.81/75.14	c (30,0) c [occ] mem usage for occur      3 MB
94.81/75.17	c (30,0) c Mem for watch alloc      : 14          MB (44.26     %)
94.81/75.17	c (30,0) c Mem for watch array      : 0           MB (1.21      %)
94.81/75.19	c (30,0) c --> Executing OCC strategy token: occ-backw-sub-str
94.81/75.19	c (30,0) c [occ-backw-sub-str-long-w-bins] subs: 1668 str: 3845 tried: 11952 0-depth ass: 0 T: 0.02 T-out: N T-r: 99.46%
95.00/75.31	c (30,0) c [occ-sub-long-w-long] rem cl: 1194 tried: 261962/130981 (200.0%) T: 0.13 T-out: N T-r: 70.99%
95.20/75.56	c (30,0) c [occ-sub-str-long-w-long] sub: 4 str: 342 tried: 392943/130981 (300.0)  T: 0.25 T-out: N T-r: 75.12%
95.20/75.56	c (30,0) c [occ-sub-str-w-added-long]  sub: 0 str: 0 0-depth ass: 0 T: 0.00 T-out: N T-r: 99.91%
95.20/75.57	c (30,0) c --> Executing OCC strategy token: occ-clean-implicit
95.20/75.57	c (30,0) c --> Executing OCC strategy token: occ-bve
95.20/75.57	c (30,0) c [occ-empty-res] Empty resolvent elimed: 0 T: 0.00 T-out: N
95.39/75.70	c (31,0) c [occ-bve] iter v-elim 64
95.39/75.70	c (31,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=0)
95.39/75.71	c (31,0) c Reduced to 7370 vars, 71926 cls (grow=0)
95.49/75.89	c (31,0) c [occ-bve] iter v-elim 261
95.49/75.89	c (31,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=8)
95.49/75.89	c (31,0) c Reduced to 7109 vars, 72636 cls (grow=8)
95.49/75.89	c (31,0) c x n vars       : 7109
95.49/75.89	c (31,0) c  #try to eliminate:  16469
95.49/75.89	c (31,0) c  #var-elim        :    325
95.49/75.89	c (31,0) c  #T-o: N
95.49/75.89	c (31,0) c  #T-r: 99.97%
95.49/75.89	c (31,0) c  #T  : 0.32
95.49/75.89	c (31,0) c [occur] 0.04 is overhead
95.49/75.89	c (31,0) c [occur] link-in T: 0.04 cleanup T: 0.00
95.49/75.89	c (31,0) c --> Executing OCC strategy token: occ-bva
95.49/75.89	c (31,0) c [occ-bva] global numcalls: 0
95.60/75.91	c (31,0) c --> Executing OCC strategy token: occ-ternary-res
95.60/75.91	c (31,0) c --> Executing OCC strategy token: occ-xor
95.60/75.91	c (31,0) c [occ-xor] sort occur list T: 0.01
95.71/76.03	c (31,0) c [occ-xor] found     34 avg sz 3.0 min sz  3 max sz  3 T: 0.14 T-out: N T-r: 96.60%
95.71/76.03	c (31,0) c [xor-together] xored together 9 xors orig num xors: 34 T: 0.00
95.71/76.03	c (31,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
95.71/76.07	c (31,0) c --> Executing strategy token: cl-consolidate
95.71/76.07	c (31,0) c [mem] consolidate  old-sz:  10744K new-sz:  6455K new bits offs: 0 T: 0.01
95.71/76.07	c (31,0) c --> Executing strategy token: str-impl
95.71/76.07	c (31,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: 17092
96.00/76.38	c (31,0) c --> Executing strategy token: cache-clean
96.00/76.38	c (31,0) c --> Executing strategy token: sub-str-cls-with-bin
96.00/76.38	c (31,0) c [distill] cache-based irred--  cl tried   107558 cl-sh     0 cl-rem  450 lit-rem      0 T: 0.21 T-out: Y
96.00/76.38	c (31,0) c [distill] cache-based   red--  cl tried    20122 cl-sh    38 cl-rem    0 lit-rem     71 T: 0.09 T-out: N
96.60/77.01	c (32,0) c --> Executing strategy token: distill-cls
96.60/77.01	c (32,0) c [distill] long cls tried: 4707/69121 cl-short:892 lit-r:546 T: 0.62 T-out: Y T-r: -0.02%
96.60/77.01	c (32,0) c [distill] long useful: 1784/9414/138306 lits-rem: 1092 0-depth-assigns: 0 T: 1.25 T-out: Y
96.71/77.01	c (32,0) c --> Executing strategy token: scc-vrepl
96.71/77.01	c (32,0) c [scc] new: 1 BP 0M T: 0.00
96.71/77.01	c (32,0) c --> Executing strategy token: check-cache-size
96.71/77.01	c (32,0) c --> Executing strategy token: renumber
96.71/77.01	c (32,0) c --> Executing strategy token: sls
96.71/77.01	c (32,0) c [consolidate] mini T: 0.00
96.71/77.01	c (32,0) c global_timeout_multiplier: 4.40
96.71/77.01	c (32,0) c clause size stats. size3: 28246 size4: 35411 size5: 2050 larger: 3414
98.91/79.27	c (34,0) c [distill] long cls tried: 2262/10115 cl-short:2234 lit-r:854 T: 1.37 T-out: N T-r: 84.84%
99.83/80.17	c (35,0) c   luby     0   260   73K    7109   69K  3087    3.73    3.66 10172 11631   26K  2522   14.07   13.47
104.02/84.37	c (39,0) c   luby     0   292   81K    7109   69K  3087    3.73    3.66 11156  6821   32K  2522   13.61   13.05
108.41/88.75	c (44,0) c [distill] long cls tried: 1270/11384 cl-short:1269 lit-r:987 T: 0.56 T-out: N T-r: 94.13%
108.83/89.15	c (44,0) c   luby     0   310   90K    7109   69K  3087    3.73    3.66 12281  7831   31K  2523   13.18   12.66
113.33/93.63	c (49,0) c   luby     0   342   98K    7109   69K  3087    3.73    3.66 12484  9060   38K  2523   13.36   12.90
117.74/98.06	c (53,0) c   luby     0   367  106K    7109   69K  3087    3.73    3.66 13652 10283   34K  2524   12.89   12.44
121.84/102.12	c (57,0) c   luby     0   368  114K    7109   69K  3087    3.73    3.66 14571  9100   43K  2524   13.34   12.93
123.33/103.69	c (59,0) c [distill] long cls tried: 3200/14255 cl-short:3182 lit-r:4477 T: 1.36 T-out: N T-r: 83.46%
127.74/108.06	c (63,0) c   luby     0   399  122K    7108   69K  3087    3.73    3.66 15576 10995   35K  2840   12.93   12.45
132.43/112.70	c (68,0) c   luby     0   430  131K    7108   69K  3087    3.73    3.66 16677  9148   44K  2843   13.02   12.59
137.03/117.39	c (72,0) c   luby     0   457  139K    7108   69K  3087    3.73    3.66 17152 13866   36K  2844   12.60   12.18
140.63/120.94	c (76,0) c [distill] long cls tried: 3854/17531 cl-short:3848 lit-r:6914 T: 1.84 T-out: N T-r: 78.05%
143.24/123.56	c (78,0) c   luby     0   489  147K    7108   69K  3087    3.73    3.66 17613 12314   45K  3426   12.70   12.23
147.76/128.08	c (83,0) c   luby     0   495  155K    7107   69K  3087    3.73    3.66 18939 14184   37K  3434   12.17   11.70
152.55/132.85	c (88,0) c   luby     0   496  163K    7107   69K  3087    3.73    3.66   20K 11662   47K  3438   12.29   11.86
154.86/135.14	c (90,0) c recursive minimization cost OK: 169Kcost/(% lits removed)
154.86/135.14	c (90,0) c --> Executing strategy token: handle-comps
154.86/135.14	c (90,0) c --> Executing strategy token: scc-vrepl
154.86/135.14	c (90,0) c [scc] new: 12 BP 0M T: 0.00
154.86/135.17	c (90,0) c [vrep] vars 8 lits 13465 rem-bin-cls 283 rem-long-cls 7646 BP 0M T: 0.02
154.86/135.17	c (90,0) c --> Executing strategy token: cache-clean
154.86/135.17	c (90,0) c --> Executing strategy token: cache-tryboth
154.86/135.17	c (90,0) c --> Executing strategy token: sub-impl
154.86/135.17	c (90,0) c [impl sub] bin: 261 T: 0.01 T-out: N w-visit: 17092
154.86/135.18	c (90,0) c --> Executing strategy token: intree-probe
154.86/135.18	c (90,0) c [scc] new: 14 BP 0M T: 0.00
154.86/135.19	c (90,0) c [vrep] vars 9 lits 1079 rem-bin-cls 52 rem-long-cls 39 BP 0M T: 0.01
154.95/135.20	c (90,0) c [scc] new: 0 BP 0M T: 0.00
154.95/135.21	c (90,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 0M T: 0.01
154.95/135.25	c (90,0) c [intree] Set 0 vars hyper-added: 430 trans-irred::244 trans-red::168 T: 0.04 T-out: N T-r: 99.85%
155.15/135.47	c (90,0) c --> Executing strategy token: probe
155.15/135.47	c (90,0) c --> Executing strategy token: sub-str-cls-with-bin
155.15/135.47	c (90,0) c [distill] cache-based irred--  cl tried    42709 cl-sh    24 cl-rem   77 lit-rem     24 T: 0.11 T-out: Y
155.15/135.47	c (90,0) c [distill] cache-based   red--  cl tried    22384 cl-sh   475 cl-rem  440 lit-rem    573 T: 0.11 T-out: Y
155.86/136.16	c (91,0) c --> Executing strategy token: distill-cls
155.86/136.16	c (91,0) c [distill] long cls tried: 4669/65437 cl-short:910 lit-r:588 T: 0.69 T-out: Y T-r: -0.02%
155.86/136.16	c (91,0) c [distill] long useful: 1820/9338/130938 lits-rem: 1176 0-depth-assigns: 0 T: 1.37 T-out: Y
155.86/136.16	c (91,0) c --> Executing strategy token: scc-vrepl
155.86/136.16	c (91,0) c [scc] new: 14 BP 0M T: 0.00
155.86/136.17	c (91,0) c [vrep] vars 14 lits 11874 rem-bin-cls 55 rem-long-cls 10 BP 0M T: 0.01
155.86/136.18	c (91,0) c --> Executing strategy token: sub-impl
155.86/136.18	c (91,0) c [impl sub] bin: 61 T: 0.01 T-out: N w-visit: 17092
155.86/136.18	c (91,0) c --> Executing strategy token: str-impl
155.86/136.18	c (91,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.92% w-visit: 17092
155.86/136.19	c (91,0) c --> Executing strategy token: sub-impl
155.86/136.19	c (91,0) c [impl sub] bin: 0 T: 0.00 T-out: N w-visit: 17092
155.86/136.20	c (91,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
155.86/136.20	c (91,0) c [occ] mem usage for occur      7 MB
155.96/136.21	c (91,0) c [occ] mem usage for occur      3 MB
155.96/136.22	c (91,0) c Mem for watch alloc      : 18          MB (36.46     %)
155.96/136.22	c (91,0) c Mem for watch array      : 0           MB (0.79      %)
155.96/136.24	c (91,0) c --> Executing OCC strategy token: occ-backw-sub-str
155.96/136.24	c (91,0) c [occ-backw-sub-str-long-w-bins] subs: 94 str: 794 tried: 26546 0-depth ass: 0 T: 0.01 T-out: N T-r: 99.53%
156.06/136.38	c (91,0) c [occ-sub-long-w-long] rem cl: 822 tried: 210138/105069 (200.0%) T: 0.14 T-out: N T-r: 65.44%
156.36/136.66	c (92,0) c [occ-sub-str-long-w-long] sub: 23 str: 538 tried: 315207/105069 (300.0)  T: 0.28 T-out: N T-r: 73.99%
156.36/136.66	c (92,0) c [occ-sub-str-w-added-long]  sub: 0 str: 0 0-depth ass: 0 T: 0.00 T-out: N T-r: 99.99%
156.36/136.67	c (92,0) c --> Executing OCC strategy token: occ-clean-implicit
156.36/136.67	c (92,0) c --> Executing OCC strategy token: occ-bve
156.36/136.67	c (92,0) c [occ-empty-res] Empty resolvent elimed: 0 T: 0.00 T-out: N
156.56/136.81	c (92,0) c [occ-bve] iter v-elim 44
156.56/136.81	c (92,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=0)
156.56/136.81	c (92,0) c Reduced to 7030 vars, 67951 cls (grow=0)
156.96/137.30	c (92,0) c [occ-bve] iter v-elim 618
156.96/137.30	c (92,0) c cl_inc_rate=1.0, var_dec_rate=1.1 (grow=8)
157.06/137.30	c (92,0) c Reduced to 6412 vars, 66834 cls (grow=8)
157.66/137.93	c (93,0) c [occ-bve] iter v-elim 1133
157.66/137.93	c (93,0) c cl_inc_rate=1.0, var_dec_rate=1.2 (grow=16)
157.66/137.93	c (93,0) c Reduced to 5279 vars, 67450 cls (grow=16)
157.66/137.93	c (93,0) c x n vars       : 5279
157.66/137.93	c (93,0) c  #try to eliminate:    28K
157.66/137.93	c (93,0) c  #var-elim        :   1795
157.66/137.93	c (93,0) c  #T-o: N
157.66/137.93	c (93,0) c  #T-r: 99.83%
157.66/137.93	c (93,0) c  #T  : 1.27
157.66/137.93	c (93,0) c [occur] 0.03 is overhead
157.66/137.95	c (93,0) c [occur] link-in T: 0.03 cleanup T: 0.00
157.66/137.95	c (93,0) c --> Executing OCC strategy token: occ-bva
157.66/137.95	c (93,0) c [occ-bva] global numcalls: 1
157.66/137.95	c (93,0) c --> Executing OCC strategy token: occ-ternary-res
157.66/137.95	c (93,0) c --> Executing OCC strategy token: occ-xor
157.66/137.95	c (93,0) c [occ-xor] sort occur list T: 0.02
157.78/138.08	c (93,0) c [occ-xor] found     11 avg sz 3.0 min sz  3 max sz  3 T: 0.15 T-out: N T-r: 96.66%
157.78/138.08	c (93,0) c [xor-together] xored together 2 xors orig num xors: 11 T: 0.00
157.78/138.08	c (93,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
157.78/138.11	c (93,0) c --> Executing strategy token: cl-consolidate
157.78/138.11	c (93,0) c [mem] consolidate  old-sz:  10278K new-sz:  4495K new bits offs: 0 T: 0.01
157.88/138.11	c (93,0) c --> Executing strategy token: str-impl
157.88/138.11	c (93,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.94% w-visit: 17092
158.07/138.32	c (93,0) c --> Executing strategy token: cache-clean
158.07/138.32	c (93,0) c --> Executing strategy token: sub-str-cls-with-bin
158.07/138.32	c (93,0) c [distill] cache-based irred--  cl tried    58858 cl-sh     0 cl-rem  443 lit-rem      0 T: 0.13 T-out: Y
158.07/138.32	c (93,0) c [distill] cache-based   red--  cl tried    20265 cl-sh   114 cl-rem   32 lit-rem    168 T: 0.08 T-out: Y
158.67/138.92	c (94,0) c --> Executing strategy token: distill-cls
158.67/138.92	c (94,0) c [distill] long cls tried: 4972/64278 cl-short:1485 lit-r:1536 T: 0.60 T-out: Y T-r: -0.02%
158.67/138.92	c (94,0) c [distill] long useful: 2970/9944/128662 lits-rem: 3072 0-depth-assigns: 0 T: 1.20 T-out: Y
158.67/138.92	c (94,0) c --> Executing strategy token: scc-vrepl
158.67/138.92	c (94,0) c [scc] new: 6 BP 0M T: 0.00
158.67/138.93	c (94,0) c [vrep] vars 6 lits 762 rem-bin-cls 24 rem-long-cls 3 BP 0M T: 0.01
158.67/138.93	c (94,0) c --> Executing strategy token: check-cache-size
158.67/138.93	c (94,0) c --> Executing strategy token: renumber
158.67/138.93	c (94,0) c [xor-clean] T: 0.00
158.67/138.94	c (94,0) c [renumber] T: 0.01
158.67/138.94	c (94,0) c --> Executing strategy token: sls
158.67/138.94	c (94,0) c [consolidate] mini T: 0.00
158.67/138.94	c (94,0) c global_timeout_multiplier: 4.84
158.67/138.96	c (94,0) c [features] numVars 5270, numClauses 67008, var_cl_ratio 0.08, binary 0.04, horn 0.30, 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 4.39, vcg_var_min 0.00, vcg_var_max 0.07, vcg_var_spread 0.07, vcg_cls_mean 0.00, vcg_cls_std 0.33, vcg_cls_min 0.00, vcg_cls_max 0.00, vcg_cls_spread 0.00, pnr_var_mean 0.51, pnr_var_std 0.27, pnr_var_min 0.00, pnr_var_max 1.00, pnr_var_spread 1.00, pnr_cls_mean 0.52, pnr_cls_std 0.42, pnr_cls_min 0.00, pnr_cls_max 1.00, pnr_cls_spread 1.00, avg_confl_size 15.67, confl_size_min 1.00, confl_size_max 215.00, avg_confl_glue 8.64, confl_glue_min 1.00, confl_glue_max 24.00, avg_num_resolutions 0.00, num_resolutions_min 0.00, num_resolutions_max 0.00, learnt_bins_per_confl 0.00, avg_branch_depth 9.67, branch_depth_min 1.00, branch_depth_max 26.00, avg_trail_depth_delta 1947.35, trail_depth_delta_min 2.00, trail_depth_delta_max 6304.00, avg_branch_depth_delta 1.15, props_per_confl 0.00, confl_per_restart 338.72, decisions_per_conflict 1.25, irred_cl_distrib.glue_distr_mean 995.25, irred_cl_distrib.glue_distr_var 4712.15, irred_cl_distrib.size_distr_mean 4.21, irred_cl_distrib.size_distr_var 1.71, 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 285954471.84, red_cl_distrib.glue_distr_mean 2.80, red_cl_distrib.glue_distr_var 0.19, red_cl_distrib.size_distr_mean 6.40, red_cl_distrib.size_distr_var 4.70, red_cl_distrib.uip_use_distr_mean 0, red_cl_distrib.uip_use_distr_var 0, red_cl_distrib.activity_distr_mean 23431.18, red_cl_distrib.activity_distr_var 24121953177.67, num_gates_found_last 0, num_xors_found_last 11
158.67/138.96	c (94,0) c clause size stats. size3: 20492 size4: 26909 size5: 7240 larger: 9634
160.27/140.56	c (95,0) c   luby     0   518  172K    5273   64K  2733    4.21    4.12 11719  5458 13981  1742    9.68    9.27
161.97/142.27	c (97,0) c [distill] long cls tried: 2136/11551 cl-short:1928 lit-r:1761 T: 0.64 T-out: N T-r: 91.37%
163.57/143.80	c (99,0) c ------- FINAL TOTAL SEARCH STATS ---------
163.57/143.80	c (99,0) c UIP search time          : 91.34       (92.47     % time)
163.57/143.80	c (99,0) c restarts                 : 542         (328.99    confls per restart)
163.57/143.80	c (99,0) c blocked restarts         : 81          (0.15      per normal restart)
163.57/143.80	c (99,0) c time                     : 91.34       
163.57/143.80	c (99,0) c decisions                : 221708      (0.00      % random)
163.57/143.80	c (99,0) c propagations             : 280159787   
163.57/143.80	c (99,0) c decisions/conflicts      : 1.24        
163.57/143.80	c (99,0) c conflicts                : 178313      (1952.24   / sec)
163.57/143.80	c (99,0) c conf lits non-minim      : 4540815     (25.47     lit/confl)
163.57/143.80	c (99,0) c conf lits final          : 15.43       
163.57/143.80	c (99,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
163.57/143.80	c (99,0) c red which0               : 6953        (3.90      % of confl)
163.57/143.80	c (99,0) c props/decision           : 0.00        
163.57/143.80	c (99,0) c props/conflict           : 0.00        
163.57/143.80	c (99,0) c 0-depth assigns          : 4312        (81.78     % vars)
163.57/143.80	c (99,0) c 0-depth assigns by CNF   : 0           (0.00      % vars)
163.57/143.80	c (99,0) c reduceDB time            : 0.07        (0.07      % time)
163.57/143.80	c (99,0) c OccSimplifier time       : 1.57        (1.59      % time)
163.57/143.80	c (99,0) c [occur] 0.11 is overhead
163.57/143.80	c (99,0) c [occur] link-in T: 0.07 cleanup T: 0.04
163.57/143.80	c (99,0) c [occ-substr] long subBySub: 3210 subByStr: 31 lits-rem-str: 24790 T: 1.17
163.57/143.80	c (99,0) c SCC time                 : 0.02        (0.02      % time)
163.57/143.80	c (99,0) c [scc] new: 1179 BP 0M  T: 0.02
163.57/143.80	c (99,0) c vrep replace time        : 0.17        (0.17      % time)
163.57/143.80	c (99,0) c vrep tree roots          : 96          
163.57/143.80	c (99,0) c vrep trees' crown        : 1149        (11.97     leafs/tree)
163.57/143.80	c (99,0) c distill time             : 14.45       (14.63     % time)
163.57/143.80	c (99,0) c strength cache-irred time: 0.66        (0.67      % time)
163.57/143.80	c (99,0) c strength cache-red time  : 0.41        (0.42      % time)
163.57/143.80	c (99,0) c Conflicts in UIP         : 178313      (1805.30   confl/time_this_thread)
163.57/143.80	c (99,0) c Mem used                 : 53.68       MB
163.57/143.80	c (99,0) c Total time (this thread) : 98.77       
163.57/143.80	c (99,0) s UNSATISFIABLE
163.57/143.81	c (99,0) SatSolver.solve End
163.57/143.81	c (99,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
163.57/143.81	c (99,0) Show results Begin
163.57/143.81	s UNSATISFIABLE
163.57/143.81	c (99,0) Show results End
163.57/143.81	c (99,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
163.57/143.81	c (99,0) 99,99,STOP-AFTER(ALL)
163.57/143.81	c END-Prog: Thu Sep 12 14:12:01 CEST 2019

Verifier Data


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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387780-1568290218/watcher-4387780-1568290218 -o /tmp/evaluation-result-4387780-1568290218/solver-4387780-1568290218 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568289720-3778 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387780-1568290218.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=4173, runsolver pid=4170

[startup+0.100141 s]*
/proc/loadavg: 2.08 3.11 4.93 3/234 4190
/proc/meminfo: memFree=15928564/32770624 swapFree=66997568/67108860
[pid=4173] ppid=4170 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/4173/stat : 4173 (scop.sh) S 4170 4173 3746 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 404958395 115843072 348 33554432000 4194304 5098028 140727742275344 140727742272600 140717785404028 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8589312 140727742276451 140727742276720 140727742276720 140727742279629 0
/proc/4173/statm: 28282 348 296 221 0 87 0
[pid=4176] ppid=4173 vsize=15012696 memory=72924 CPUtime=0.11 cores=1,3,5,7
/proc/4176/stat : 4176 (java) S 4173 4173 3746 0 -1 1077944320 6464 0 0 0 10 1 0 0 20 0 15 0 404958395 15373000704 18231 33554432000 4194304 4196468 140732292433232 140732292415776 139787571044087 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
/proc/4176/statm: 3753174 18231 2920 1 0 3715579 0
[pid=4176/tid=4177] ppid=4173 vsize=15012696 memory=-2915664431881770398 CPUtime=0.09 cores=1,3,5,7
/proc/4176/task/4177/stat : 4177 (java) R 4173 4173 3746 0 -1 4202560 4288 0 0 0 8 1 0 0 20 0 15 0 404958395 15373000704 18231 33554432000 4194304 4196468 140732292433232 139787542837896 139787555124574 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4178] ppid=4173 vsize=15012696 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4178/stat : 4178 (java) S 4173 4173 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404958397 15373000704 18231 33554432000 4194304 4196468 140732292433232 139787575286928 139787571054293 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4179] ppid=4173 vsize=15012696 memory=139870088181376 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4179/stat : 4179 (java) S 4173 4173 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404958397 15373000704 18231 33554432000 4194304 4196468 140732292433232 139787366370320 139787571054293 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4180] ppid=4173 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4180/stat : 4180 (java) S 4173 4173 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404958397 15373000704 18231 33554432000 4194304 4196468 140732292433232 139787365317520 139787571054293 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4181] ppid=4173 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4181/stat : 4181 (java) S 4173 4173 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404958397 15373000704 18231 33554432000 4194304 4196468 140732292433232 139787364264720 139787571054293 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4182] ppid=4173 vsize=15012696 memory=139870088181376 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4182/stat : 4182 (java) S 4173 4173 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404958398 15373000704 18231 33554432000 4194304 4196468 140732292433232 139786541009264 139787571055234 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4183] ppid=4173 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4183/stat : 4183 (java) S 4173 4173 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404958399 15373000704 18231 33554432000 4194304 4196468 140732292433232 139786153092128 139787571054293 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4184] ppid=4173 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4184/stat : 4184 (java) S 4173 4173 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404958399 15373000704 18231 33554432000 4194304 4196468 140732292433232 139785884656496 139787571054293 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4185] ppid=4173 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4185/stat : 4185 (java) S 4173 4173 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404958401 15373000704 18231 33554432000 4194304 4196468 140732292433232 139785510147920 139787571062683 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4186] ppid=4173 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4186/stat : 4186 (java) S 4173 4173 3746 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 15 0 404958401 15373000704 18231 33554432000 4194304 4196468 140732292433232 139786539957104 139787571055234 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4187] ppid=4173 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4187/stat : 4187 (java) S 4173 4173 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404958401 15373000704 18231 33554432000 4194304 4196468 140732292433232 139786538904304 139787571055234 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4188] ppid=4173 vsize=15012696 memory=139870088181376 CPUtime=0.01 cores=1,3,5,7
/proc/4176/task/4188/stat : 4188 (java) R 4173 4173 3746 0 -1 4202560 420 0 0 0 1 0 0 0 20 0 15 0 404958401 15373000704 18231 33554432000 4194304 4196468 140732292433232 139786537848376 139787556209687 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4189] ppid=4173 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4189/stat : 4189 (java) S 4173 4173 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404958402 15373000704 18231 33554432000 4194304 4196468 140732292433232 139785012243168 139787571054293 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4190] ppid=4173 vsize=15012696 memory=139870088181376 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4190/stat : 4190 (java) S 4173 4173 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404958402 15373000704 18231 33554432000 4194304 4196468 140732292433232 139786536798896 139787571055234 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74316 KiB

[startup+0.211463 s]*
/proc/loadavg: 2.08 3.11 4.93 3/234 4190
/proc/meminfo: memFree=15909424/32770624 swapFree=66997568/67108860
[pid=4173] ppid=4170 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/4173/stat : 4173 (scop.sh) S 4170 4173 3746 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 404958395 115843072 348 33554432000 4194304 5098028 140727742275344 140727742272600 140717785404028 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8589312 140727742276451 140727742276720 140727742276720 140727742279629 0
/proc/4173/statm: 28282 348 296 221 0 87 0
[pid=4176] ppid=4173 vsize=15012696 memory=88040 CPUtime=0.25 cores=1,3,5,7
/proc/4176/stat : 4176 (java) S 4173 4173 3746 0 -1 1077944320 11565 0 0 0 22 3 0 0 20 0 15 0 404958395 15373000704 22010 33554432000 4194304 4196468 140732292433232 140732292415776 139787571044087 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
/proc/4176/statm: 3753174 22010 2926 1 0 3715579 0
[pid=4176/tid=4177] ppid=4173 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/4176/task/4177/stat : 4177 (java) R 4173 4173 3746 0 -1 4202560 9341 0 0 0 17 3 0 0 20 0 15 0 404958395 15373000704 22010 33554432000 4194304 4196468 140732292433232 139787542865440 139787555124574 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4178] ppid=4173 vsize=15012696 memory=345 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4178/stat : 4178 (java) S 4173 4173 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404958397 15373000704 22010 33554432000 4194304 4196468 140732292433232 139787575286928 139787571054293 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4179] ppid=4173 vsize=15012696 memory=139870090694145 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4179/stat : 4179 (java) S 4173 4173 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404958397 15373000704 22010 33554432000 4194304 4196468 140732292433232 139787366370320 139787571054293 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4180] ppid=4173 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4180/stat : 4180 (java) S 4173 4173 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404958397 15373000704 22010 33554432000 4194304 4196468 140732292433232 139787365317520 139787571054293 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4181] ppid=4173 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4181/stat : 4181 (java) S 4173 4173 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404958397 15373000704 22010 33554432000 4194304 4196468 140732292433232 139787364264720 139787571054293 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4182] ppid=4173 vsize=15012696 memory=139870088181376 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4182/stat : 4182 (java) S 4173 4173 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404958398 15373000704 22010 33554432000 4194304 4196468 140732292433232 139786541009264 139787571055234 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4183] ppid=4173 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4183/stat : 4183 (java) S 4173 4173 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404958399 15373000704 22010 33554432000 4194304 4196468 140732292433232 139786153092128 139787571054293 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4184] ppid=4173 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4184/stat : 4184 (java) S 4173 4173 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404958399 15373000704 22010 33554432000 4194304 4196468 140732292433232 139785884656496 139787571054293 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4185] ppid=4173 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4185/stat : 4185 (java) S 4173 4173 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404958401 15373000704 22010 33554432000 4194304 4196468 140732292433232 139785510147920 139787571062683 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4186] ppid=4173 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4186/stat : 4186 (java) S 4173 4173 3746 0 -1 1077944384 441 0 0 0 0 0 0 0 20 0 15 0 404958401 15373000704 22010 33554432000 4194304 4196468 140732292433232 139786539957104 139787571055234 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4187] ppid=4173 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4187/stat : 4187 (java) S 4173 4173 3746 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 404958401 15373000704 22010 33554432000 4194304 4196468 140732292433232 139786538904304 139787571055234 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4188] ppid=4173 vsize=15012696 memory=139870088181376 CPUtime=0.03 cores=1,3,5,7
/proc/4176/task/4188/stat : 4188 (java) R 4173 4173 3746 0 -1 4202560 432 0 0 0 3 0 0 0 20 0 15 0 404958401 15373000704 22010 33554432000 4194304 4196468 140732292433232 139786537851504 139787551015272 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4189] ppid=4173 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4189/stat : 4189 (java) S 4173 4173 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404958402 15373000704 22010 33554432000 4194304 4196468 140732292433232 139785012243168 139787571054293 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4190] ppid=4173 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4190/stat : 4190 (java) S 4173 4173 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404958402 15373000704 22010 33554432000 4194304 4196468 140732292433232 139786536798896 139787571055234 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89432 KiB

[startup+0.310693 s]*
/proc/loadavg: 2.08 3.11 4.93 4/234 4190
/proc/meminfo: memFree=15906500/32770624 swapFree=66997568/67108860
[pid=4173] ppid=4170 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/4173/stat : 4173 (scop.sh) S 4170 4173 3746 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 404958395 115843072 348 33554432000 4194304 5098028 140727742275344 140727742272600 140717785404028 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8589312 140727742276451 140727742276720 140727742276720 140727742279629 0
/proc/4173/statm: 28282 348 296 221 0 87 0
[pid=4176] ppid=4173 vsize=15012696 memory=92260 CPUtime=0.43 cores=1,3,5,7
/proc/4176/stat : 4176 (java) S 4173 4173 3746 0 -1 1077944320 12542 0 0 0 39 4 0 0 20 0 15 0 404958395 15373000704 23065 33554432000 4194304 4196468 140732292433232 140732292415776 139787571044087 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
/proc/4176/statm: 3753174 23065 3063 1 0 3715579 0
[pid=4176/tid=4177] ppid=4173 vsize=15012696 memory=7022364632946311227 CPUtime=0.29 cores=1,3,5,7
/proc/4176/task/4177/stat : 4177 (java) R 4173 4173 3746 0 -1 4202560 10105 0 0 0 26 3 0 0 20 0 15 0 404958395 15373000704 23065 33554432000 4194304 4196468 140732292433232 139787542827104 139787555124574 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4178] ppid=4173 vsize=15012696 memory=288230604707987820 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4178/stat : 4178 (java) S 4173 4173 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404958397 15373000704 23065 33554432000 4194304 4196468 140732292433232 139787575286928 139787571054293 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4179] ppid=4173 vsize=15012696 memory=14977754424676617 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4179/stat : 4179 (java) S 4173 4173 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404958397 15373000704 23065 33554432000 4194304 4196468 140732292433232 139787366370320 139787571054293 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4180] ppid=4173 vsize=15012696 memory=279739944434032 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4180/stat : 4180 (java) S 4173 4173 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404958397 15373000704 23065 33554432000 4194304 4196468 140732292433232 139787365317520 139787571054293 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4181] ppid=4173 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4181/stat : 4181 (java) S 4173 4173 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404958397 15373000704 23065 33554432000 4194304 4196468 140732292433232 139787364264720 139787571054293 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4182] ppid=4173 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4182/stat : 4182 (java) S 4173 4173 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404958398 15373000704 23065 33554432000 4194304 4196468 140732292433232 139786541009264 139787571055234 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4183] ppid=4173 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4183/stat : 4183 (java) S 4173 4173 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404958399 15373000704 23065 33554432000 4194304 4196468 140732292433232 139786153092128 139787571054293 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4184] ppid=4173 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4184/stat : 4184 (java) S 4173 4173 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404958399 15373000704 23065 33554432000 4194304 4196468 140732292433232 139785884656496 139787571054293 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4185] ppid=4173 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4185/stat : 4185 (java) S 4173 4173 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404958401 15373000704 23065 33554432000 4194304 4196468 140732292433232 139785510147920 139787571062683 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4186] ppid=4173 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4176/task/4186/stat : 4186 (java) S 4173 4173 3746 0 -1 1077944384 539 0 0 0 3 0 0 0 20 0 15 0 404958401 15373000704 23065 33554432000 4194304 4196468 140732292433232 139786539957104 139787571055234 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4187] ppid=4173 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4176/task/4187/stat : 4187 (java) S 4173 4173 3746 0 -1 1077944384 92 0 0 0 1 0 0 0 20 0 15 0 404958401 15373000704 23065 33554432000 4194304 4196468 140732292433232 139786538904304 139787571055234 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4188] ppid=4173 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4176/task/4188/stat : 4188 (java) S 4173 4173 3746 0 -1 1077944384 476 0 0 0 7 0 0 0 20 0 15 0 404958401 15373000704 23065 33554432000 4194304 4196468 140732292433232 139786537851504 139787571055234 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4189] ppid=4173 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4189/stat : 4189 (java) S 4173 4173 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404958402 15373000704 23065 33554432000 4194304 4196468 140732292433232 139785012243168 139787571054293 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4190] ppid=4173 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4190/stat : 4190 (java) S 4173 4173 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404958402 15373000704 23065 33554432000 4194304 4196468 140732292433232 139786536798896 139787571055234 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93652 KiB

[startup+0.700836 s]
/proc/loadavg: 2.08 3.11 4.93 3/234 4190
/proc/meminfo: memFree=15885032/32770624 swapFree=66997568/67108860
[pid=4173] ppid=4170 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/4173/stat : 4173 (scop.sh) S 4170 4173 3746 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 404958395 115843072 348 33554432000 4194304 5098028 140727742275344 140727742272600 140717785404028 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8589312 140727742276451 140727742276720 140727742276720 140727742279629 0
/proc/4173/statm: 28282 348 296 221 0 87 0
[pid=4176] ppid=4173 vsize=15018968 memory=131216 CPUtime=1.02 cores=1,3,5,7
/proc/4176/stat : 4176 (java) S 4173 4173 3746 0 -1 1077944320 19602 0 0 0 95 7 0 0 20 0 15 0 404958395 15379423232 32804 33554432000 4194304 4196468 140732292433232 140732292415776 139787571044087 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
/proc/4176/statm: 3754742 32804 3182 1 0 3716091 0
[pid=4176/tid=4177] ppid=4173 vsize=15018968 memory=1778183570689 CPUtime=0.67 cores=1,3,5,7
/proc/4176/task/4177/stat : 4177 (java) R 4173 4173 3746 0 -1 4202560 16633 0 0 0 62 5 0 0 20 0 15 0 404958395 15379423232 32804 33554432000 4194304 4196468 140732292433232 139787542878752 139787571066013 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4178] ppid=4173 vsize=15018968 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4178/stat : 4178 (java) S 4173 4173 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404958397 15379423232 32804 33554432000 4194304 4196468 140732292433232 139787575286928 139787571054293 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4179] ppid=4173 vsize=15018968 memory=3928 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4179/stat : 4179 (java) S 4173 4173 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404958397 15379423232 32804 33554432000 4194304 4196468 140732292433232 139787366370320 139787571054293 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4180] ppid=4173 vsize=15018968 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4180/stat : 4180 (java) S 4173 4173 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404958397 15379423232 32804 33554432000 4194304 4196468 140732292433232 139787365317520 139787571054293 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4181] ppid=4173 vsize=15018968 memory=1676 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4181/stat : 4181 (java) S 4173 4173 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404958397 15379423232 32804 33554432000 4194304 4196468 140732292433232 139787364264720 139787571054293 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4182] ppid=4173 vsize=15018968 memory=1212 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4182/stat : 4182 (java) S 4173 4173 3746 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404958398 15379423232 32804 33554432000 4194304 4196468 140732292433232 139786541009264 139787571055234 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4183] ppid=4173 vsize=15018968 memory=1044 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4183/stat : 4183 (java) S 4173 4173 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404958399 15379423232 32804 33554432000 4194304 4196468 140732292433232 139786153092128 139787571054293 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4184] ppid=4173 vsize=15018968 memory=712 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4184/stat : 4184 (java) S 4173 4173 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404958399 15379423232 32804 33554432000 4194304 4196468 140732292433232 139785884656496 139787571054293 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4185] ppid=4173 vsize=15018968 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4185/stat : 4185 (java) S 4173 4173 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404958401 15379423232 32804 33554432000 4194304 4196468 140732292433232 139785510147920 139787571062683 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4186] ppid=4173 vsize=15018968 memory=7984 CPUtime=0.08 cores=1,3,5,7
/proc/4176/task/4186/stat : 4186 (java) S 4173 4173 3746 0 -1 1077944384 718 0 0 0 8 0 0 0 20 0 15 0 404958401 15379423232 32804 33554432000 4194304 4196468 140732292433232 139786539957104 139787571055234 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4187] ppid=4173 vsize=15018968 memory=10596 CPUtime=0.08 cores=1,3,5,7
/proc/4176/task/4187/stat : 4187 (java) R 4173 4173 3746 0 -1 4202560 320 0 0 0 8 0 0 0 20 0 15 0 404958401 15379423232 32804 33554432000 4194304 4196468 140732292433232 139786538904304 139787554570683 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4188] ppid=4173 vsize=15018968 memory=14012 CPUtime=0.15 cores=1,3,5,7
/proc/4176/task/4188/stat : 4188 (java) S 4173 4173 3746 0 -1 1077944384 596 0 0 0 15 0 0 0 20 0 15 0 404958401 15379423232 32804 33554432000 4194304 4196468 140732292433232 139786537851504 139787571055234 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4189] ppid=4173 vsize=15018968 memory=14080 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4189/stat : 4189 (java) S 4173 4173 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404958402 15379423232 32804 33554432000 4194304 4196468 140732292433232 139785012243168 139787571054293 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
[pid=4176/tid=4190] ppid=4173 vsize=15018968 memory=19868 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4190/stat : 4190 (java) S 4173 4173 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404958402 15379423232 32804 33554432000 4194304 4196468 140732292433232 139786536798896 139787571055234 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31453184 140732292440874 140732292441242 140732292441242 140732292444111 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 132608 KiB

[startup+1.50087 s]
/proc/loadavg: 2.23 3.12 4.93 5/234 4190
/proc/meminfo: memFree=15744288/32770624 swapFree=66997568/67108860
[pid=4173] ppid=4170 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/4173/stat : 4173 (scop.sh) S 4170 4173 3746 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 404958395 115843072 348 33554432000 4194304 5098028 140727742275344 140727742272600 140717785404028 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8589312 140727742276451 140727742276720 140727742276720 140727742279629 0
/proc/4173/statm: 28282 348 296 221 0 87 0

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

Current children cumulated CPU time: 162.17 s
Current children cumulated vsize: 8259904 KiB
Current children cumulated memory: 178856 KiB

[startup+143.201 s]
/proc/loadavg: 2.04 2.73 4.53 3/241 4231
/proc/meminfo: memFree=15687496/32770624 swapFree=66997568/67108860
[pid=4173] ppid=4170 vsize=113128 memory=1472 CPUtime=63.47 cores=1,3,5,7
/proc/4173/stat : 4173 (scop.sh) S 4170 4173 3746 0 -1 4202496 581 58165 0 0 0 0 6172 175 20 0 1 0 404958395 115843072 368 33554432000 4194304 5098028 140727742275344 140727742272088 140717785404028 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8589312 140727742276451 140727742276720 140727742276720 140727742279629 0
/proc/4173/statm: 28282 368 311 221 0 87 0
[pid=4202] ppid=4173 vsize=8068440 memory=124580 CPUtime=1.29 cores=1,3,5,7
/proc/4202/stat : 4202 (java) S 4173 4173 3746 0 -1 1077944320 22599 0 0 0 119 10 0 0 20 0 19 0 404962818 8262082560 31145 33554432000 4194304 4196468 140721847231232 140721847213776 139723825987319 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
/proc/4202/statm: 2017110 31145 3208 1 0 1978454 0
[pid=4217] ppid=4202 vsize=78336 memory=54852 CPUtime=98.21 cores=1,3,5,7
/proc/4217/stat : 4217 (cryptominisat5) R 4202 4173 3746 0 -1 4202496 44344 0 0 0 9816 5 0 0 20 0 1 0 404962890 80216064 13713 33554432000 4194304 4451008 140728773293344 140728773289272 140682527746422 0 4 0 2 0 0 0 17 1 0 0 0 0 0 6549032 6559120 29118464 140728773301181 140728773301312 140728773301312 140728773304262 0
/proc/4217/statm: 19584 13713 745 63 0 13311 0
[pid=4202/tid=4203] ppid=4173 vsize=8068440 memory=14012 CPUtime=0.75 cores=1,3,5,7
/proc/4202/task/4203/stat : 4203 (java) S 4173 4173 3746 0 -1 1077944384 17393 0 0 0 70 5 0 0 20 0 19 0 404962819 8262082560 31145 33554432000 4194304 4196468 140721847231232 139723797827488 139723825997525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4204] ppid=4173 vsize=8068440 memory=14080 CPUtime=0 cores=1,3,5,7
/proc/4202/task/4204/stat : 4204 (java) S 4173 4173 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404962820 8262082560 31145 33554432000 4194304 4196468 140721847231232 139723830229904 139723825997525 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4205] ppid=4173 vsize=8068440 memory=19872 CPUtime=0 cores=1,3,5,7
/proc/4202/task/4205/stat : 4205 (java) S 4173 4173 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404962820 8262082560 31145 33554432000 4194304 4196468 140721847231232 139723630398224 139723825997525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4206] ppid=4173 vsize=8068440 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/4202/task/4206/stat : 4206 (java) S 4173 4173 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404962820 8262082560 31145 33554432000 4194304 4196468 140721847231232 139723629345936 139723825997525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4207] ppid=4173 vsize=8068440 memory=508 CPUtime=0 cores=1,3,5,7
/proc/4202/task/4207/stat : 4207 (java) S 4173 4173 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404962820 8262082560 31145 33554432000 4194304 4196468 140721847231232 139723628293136 139723825997525 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4208] ppid=4173 vsize=8068440 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/4202/task/4208/stat : 4208 (java) S 4173 4173 3746 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 404962821 8262082560 31145 33554432000 4194304 4196468 140721847231232 139723070761072 139723825998466 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4209] ppid=4173 vsize=8068440 memory=932 CPUtime=0 cores=1,3,5,7
/proc/4202/task/4209/stat : 4209 (java) S 4173 4173 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404962822 8262082560 31145 33554432000 4194304 4196468 140721847231232 139722668106528 139723825997525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4210] ppid=4173 vsize=8068440 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/4202/task/4210/stat : 4210 (java) S 4173 4173 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404962822 8262082560 31145 33554432000 4194304 4196468 140721847231232 139722399671408 139723825997525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4211] ppid=4173 vsize=8068440 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/4202/task/4211/stat : 4211 (java) S 4173 4173 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404962824 8262082560 31145 33554432000 4194304 4196468 140721847231232 139722025162832 139723826005915 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4212] ppid=4173 vsize=8068440 memory=896 CPUtime=0.09 cores=1,3,5,7
/proc/4202/task/4212/stat : 4212 (java) S 4173 4173 3746 0 -1 1077944384 629 0 0 0 9 0 0 0 20 0 19 0 404962824 8262082560 31145 33554432000 4194304 4196468 140721847231232 139723069708912 139723825998466 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4213] ppid=4173 vsize=8068440 memory=1976 CPUtime=0.09 cores=1,3,5,7
/proc/4202/task/4213/stat : 4213 (java) S 4173 4173 3746 0 -1 1077944384 413 0 0 0 9 0 0 0 20 0 19 0 404962824 8262082560 31145 33554432000 4194304 4196468 140721847231232 139723068656112 139723825998466 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4214] ppid=4173 vsize=8068440 memory=2496 CPUtime=0.22 cores=1,3,5,7
/proc/4202/task/4214/stat : 4214 (java) S 4173 4173 3746 0 -1 1077944384 1082 0 0 0 22 0 0 0 20 0 19 0 404962824 8262082560 31145 33554432000 4194304 4196468 140721847231232 139723067603824 139723825998466 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4215] ppid=4173 vsize=8068440 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/4202/task/4215/stat : 4215 (java) S 4173 4173 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404962825 8262082560 31145 33554432000 4194304 4196468 140721847231232 139721527258080 139723825997525 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4216] ppid=4173 vsize=8068440 memory=916 CPUtime=0.04 cores=1,3,5,7
/proc/4202/task/4216/stat : 4216 (java) S 4173 4173 3746 0 -1 1077944384 7 0 0 0 2 2 0 0 20 0 19 0 404962825 8262082560 31145 33554432000 4194304 4196468 140721847231232 139723066550704 139723825998466 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4218] ppid=4173 vsize=8068440 memory=-3622645143214314312 CPUtime=0 cores=1,3,5,7
/proc/4202/task/4218/stat : 4218 (java) S 4173 4173 3746 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404962891 8262082560 31145 33554432000 4194304 4196468 140721847231232 139723138180032 139723826011929 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4220] ppid=4173 vsize=8068440 memory=2304 CPUtime=0.04 cores=1,3,5,7
/proc/4202/task/4220/stat : 4220 (java) S 4173 4173 3746 0 -1 4202560 1687 0 0 0 3 1 0 0 20 0 19 0 404962891 8262082560 31145 33554432000 4194304 4196468 140721847231232 139720990375408 139723826009245 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4221] ppid=4173 vsize=8068440 memory=36536 CPUtime=0 cores=1,3,5,7
/proc/4202/task/4221/stat : 4221 (java) S 4173 4173 3746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 404962891 8262082560 31145 33554432000 4194304 4196468 140721847231232 139720721940368 139723826009245 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4222] ppid=4173 vsize=8068440 memory=988 CPUtime=0 cores=1,3,5,7
/proc/4202/task/4222/stat : 4222 (java) S 4173 4173 3746 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 404962894 8262082560 31145 33554432000 4194304 4196468 140721847231232 139721258818992 139723825997525 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
Current children cumulated CPU time: 162.97 s
Current children cumulated vsize: 8259904 KiB
Current children cumulated memory: 180904 KiB

[startup+143.601 s]
/proc/loadavg: 2.04 2.73 4.53 3/241 4231
/proc/meminfo: memFree=15687496/32770624 swapFree=66997568/67108860
[pid=4173] ppid=4170 vsize=113128 memory=1472 CPUtime=63.47 cores=1,3,5,7
/proc/4173/stat : 4173 (scop.sh) S 4170 4173 3746 0 -1 4202496 581 58165 0 0 0 0 6172 175 20 0 1 0 404958395 115843072 368 33554432000 4194304 5098028 140727742275344 140727742272088 140717785404028 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8589312 140727742276451 140727742276720 140727742276720 140727742279629 0
/proc/4173/statm: 28282 368 311 221 0 87 0
[pid=4202] ppid=4173 vsize=8068440 memory=124580 CPUtime=1.29 cores=1,3,5,7
/proc/4202/stat : 4202 (java) S 4173 4173 3746 0 -1 1077944320 22599 0 0 0 119 10 0 0 20 0 19 0 404962818 8262082560 31145 33554432000 4194304 4196468 140721847231232 140721847213776 139723825987319 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
/proc/4202/statm: 2017110 31145 3208 1 0 1978454 0
[pid=4217] ppid=4202 vsize=78336 memory=54852 CPUtime=98.61 cores=1,3,5,7
/proc/4217/stat : 4217 (cryptominisat5) R 4202 4173 3746 0 -1 4202496 44345 0 0 0 9856 5 0 0 20 0 1 0 404962890 80216064 13713 33554432000 4194304 4451008 140728773293344 140728773289272 140682527745860 0 4 0 2 0 0 0 17 1 0 0 0 0 0 6549032 6559120 29118464 140728773301181 140728773301312 140728773301312 140728773304262 0
/proc/4217/statm: 19584 13713 745 63 0 13311 0
[pid=4202/tid=4203] ppid=4173 vsize=8068440 memory=1552 CPUtime=0.75 cores=1,3,5,7
/proc/4202/task/4203/stat : 4203 (java) S 4173 4173 3746 0 -1 1077944384 17393 0 0 0 70 5 0 0 20 0 19 0 404962819 8262082560 31145 33554432000 4194304 4196468 140721847231232 139723797827488 139723825997525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4204] ppid=4173 vsize=8068440 memory=1676 CPUtime=0 cores=1,3,5,7
/proc/4202/task/4204/stat : 4204 (java) S 4173 4173 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404962820 8262082560 31145 33554432000 4194304 4196468 140721847231232 139723830229904 139723825997525 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4205] ppid=4173 vsize=8068440 memory=1212 CPUtime=0 cores=1,3,5,7
/proc/4202/task/4205/stat : 4205 (java) S 4173 4173 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404962820 8262082560 31145 33554432000 4194304 4196468 140721847231232 139723630398224 139723825997525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4206] ppid=4173 vsize=8068440 memory=-3622645143214314312 CPUtime=0 cores=1,3,5,7
/proc/4202/task/4206/stat : 4206 (java) S 4173 4173 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404962820 8262082560 31145 33554432000 4194304 4196468 140721847231232 139723629345936 139723825997525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4207] ppid=4173 vsize=8068440 memory=51020 CPUtime=0 cores=1,3,5,7
/proc/4202/task/4207/stat : 4207 (java) S 4173 4173 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404962820 8262082560 31145 33554432000 4194304 4196468 140721847231232 139723628293136 139723825997525 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4208] ppid=4173 vsize=8068440 memory=776 CPUtime=0 cores=1,3,5,7
/proc/4202/task/4208/stat : 4208 (java) S 4173 4173 3746 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 404962821 8262082560 31145 33554432000 4194304 4196468 140721847231232 139723070761072 139723825998466 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4209] ppid=4173 vsize=8068440 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/4202/task/4209/stat : 4209 (java) S 4173 4173 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404962822 8262082560 31145 33554432000 4194304 4196468 140721847231232 139722668106528 139723825997525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4210] ppid=4173 vsize=8068440 memory=3928 CPUtime=0 cores=1,3,5,7
/proc/4202/task/4210/stat : 4210 (java) S 4173 4173 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404962822 8262082560 31145 33554432000 4194304 4196468 140721847231232 139722399671408 139723825997525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4211] ppid=4173 vsize=8068440 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/4202/task/4211/stat : 4211 (java) S 4173 4173 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404962824 8262082560 31145 33554432000 4194304 4196468 140721847231232 139722025162832 139723826005915 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4212] ppid=4173 vsize=8068440 memory=1676 CPUtime=0.09 cores=1,3,5,7
/proc/4202/task/4212/stat : 4212 (java) S 4173 4173 3746 0 -1 1077944384 629 0 0 0 9 0 0 0 20 0 19 0 404962824 8262082560 31145 33554432000 4194304 4196468 140721847231232 139723069708912 139723825998466 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4213] ppid=4173 vsize=8068440 memory=1212 CPUtime=0.09 cores=1,3,5,7
/proc/4202/task/4213/stat : 4213 (java) S 4173 4173 3746 0 -1 1077944384 413 0 0 0 9 0 0 0 20 0 19 0 404962824 8262082560 31145 33554432000 4194304 4196468 140721847231232 139723068656112 139723825998466 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4214] ppid=4173 vsize=8068440 memory=1044 CPUtime=0.22 cores=1,3,5,7
/proc/4202/task/4214/stat : 4214 (java) S 4173 4173 3746 0 -1 1077944384 1082 0 0 0 22 0 0 0 20 0 19 0 404962824 8262082560 31145 33554432000 4194304 4196468 140721847231232 139723067603824 139723825998466 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4215] ppid=4173 vsize=8068440 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/4202/task/4215/stat : 4215 (java) S 4173 4173 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404962825 8262082560 31145 33554432000 4194304 4196468 140721847231232 139721527258080 139723825997525 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4216] ppid=4173 vsize=8068440 memory=1398722017469774279 CPUtime=0.04 cores=1,3,5,7
/proc/4202/task/4216/stat : 4216 (java) S 4173 4173 3746 0 -1 1077944384 7 0 0 0 2 2 0 0 20 0 19 0 404962825 8262082560 31145 33554432000 4194304 4196468 140721847231232 139723066550704 139723825998466 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4218] ppid=4173 vsize=8068440 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/4202/task/4218/stat : 4218 (java) S 4173 4173 3746 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404962891 8262082560 31145 33554432000 4194304 4196468 140721847231232 139723138180032 139723826011929 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4220] ppid=4173 vsize=8068440 memory=1444 CPUtime=0.04 cores=1,3,5,7
/proc/4202/task/4220/stat : 4220 (java) S 4173 4173 3746 0 -1 4202560 1687 0 0 0 3 1 0 0 20 0 19 0 404962891 8262082560 31145 33554432000 4194304 4196468 140721847231232 139720990375408 139723826009245 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4221] ppid=4173 vsize=8068440 memory=896 CPUtime=0 cores=1,3,5,7
/proc/4202/task/4221/stat : 4221 (java) S 4173 4173 3746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 404962891 8262082560 31145 33554432000 4194304 4196468 140721847231232 139720721940368 139723826009245 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4222] ppid=4173 vsize=8068440 memory=1976 CPUtime=0 cores=1,3,5,7
/proc/4202/task/4222/stat : 4222 (java) S 4173 4173 3746 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 404962894 8262082560 31145 33554432000 4194304 4196468 140721847231232 139721258818992 139723825997525 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
Current children cumulated CPU time: 163.37 s
Current children cumulated vsize: 8259904 KiB
Current children cumulated memory: 180904 KiB

[startup+143.801 s]
/proc/loadavg: 2.04 2.73 4.53 3/241 4231
/proc/meminfo: memFree=15687496/32770624 swapFree=66997568/67108860
[pid=4173] ppid=4170 vsize=113128 memory=1472 CPUtime=63.47 cores=1,3,5,7
/proc/4173/stat : 4173 (scop.sh) S 4170 4173 3746 0 -1 4202496 581 58165 0 0 0 0 6172 175 20 0 1 0 404958395 115843072 368 33554432000 4194304 5098028 140727742275344 140727742272088 140717785404028 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8589312 140727742276451 140727742276720 140727742276720 140727742279629 0
/proc/4173/statm: 28282 368 311 221 0 87 0
[pid=4202] ppid=4173 vsize=8068440 memory=124580 CPUtime=1.29 cores=1,3,5,7
/proc/4202/stat : 4202 (java) S 4173 4173 3746 0 -1 1077944320 22599 0 0 0 119 10 0 0 20 0 19 0 404962818 8262082560 31145 33554432000 4194304 4196468 140721847231232 140721847213776 139723825987319 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
/proc/4202/statm: 2017110 31145 3208 1 0 1978454 0
[pid=4217] ppid=4202 vsize=78336 memory=54968 CPUtime=98.81 cores=1,3,5,7
/proc/4217/stat : 4217 (cryptominisat5) R 4202 4173 3746 0 -1 4202496 44378 0 0 0 9876 5 0 0 20 0 1 0 404962890 80216064 13742 33554432000 4194304 4451008 140728773293344 140728773289464 140682527786276 0 4 0 2 0 0 0 17 1 0 0 0 0 0 6549032 6559120 29118464 140728773301181 140728773301312 140728773301312 140728773304262 0
/proc/4217/statm: 19584 13742 745 63 0 13311 0
[pid=4202/tid=4203] ppid=4173 vsize=8068440 memory=804 CPUtime=0.75 cores=1,3,5,7
/proc/4202/task/4203/stat : 4203 (java) S 4173 4173 3746 0 -1 1077944384 17393 0 0 0 70 5 0 0 20 0 19 0 404962819 8262082560 31145 33554432000 4194304 4196468 140721847231232 139723797827488 139723825997525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4204] ppid=4173 vsize=8068440 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/4202/task/4204/stat : 4204 (java) S 4173 4173 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404962820 8262082560 31145 33554432000 4194304 4196468 140721847231232 139723830229904 139723825997525 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4205] ppid=4173 vsize=8068440 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/4202/task/4205/stat : 4205 (java) S 4173 4173 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404962820 8262082560 31145 33554432000 4194304 4196468 140721847231232 139723630398224 139723825997525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4206] ppid=4173 vsize=8068440 memory=916 CPUtime=0 cores=1,3,5,7
/proc/4202/task/4206/stat : 4206 (java) S 4173 4173 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404962820 8262082560 31145 33554432000 4194304 4196468 140721847231232 139723629345936 139723825997525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4207] ppid=4173 vsize=8068440 memory=3852 CPUtime=0 cores=1,3,5,7
/proc/4202/task/4207/stat : 4207 (java) S 4173 4173 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404962820 8262082560 31145 33554432000 4194304 4196468 140721847231232 139723628293136 139723825997525 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4208] ppid=4173 vsize=8068440 memory=1044 CPUtime=0 cores=1,3,5,7
/proc/4202/task/4208/stat : 4208 (java) S 4173 4173 3746 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 404962821 8262082560 31145 33554432000 4194304 4196468 140721847231232 139723070761072 139723825998466 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4209] ppid=4173 vsize=8068440 memory=712 CPUtime=0 cores=1,3,5,7
/proc/4202/task/4209/stat : 4209 (java) S 4173 4173 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404962822 8262082560 31145 33554432000 4194304 4196468 140721847231232 139722668106528 139723825997525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4210] ppid=4173 vsize=8068440 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/4202/task/4210/stat : 4210 (java) S 4173 4173 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404962822 8262082560 31145 33554432000 4194304 4196468 140721847231232 139722399671408 139723825997525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4211] ppid=4173 vsize=8068440 memory=7984 CPUtime=0 cores=1,3,5,7
/proc/4202/task/4211/stat : 4211 (java) S 4173 4173 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404962824 8262082560 31145 33554432000 4194304 4196468 140721847231232 139722025162832 139723826005915 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4212] ppid=4173 vsize=8068440 memory=10596 CPUtime=0.09 cores=1,3,5,7
/proc/4202/task/4212/stat : 4212 (java) S 4173 4173 3746 0 -1 1077944384 629 0 0 0 9 0 0 0 20 0 19 0 404962824 8262082560 31145 33554432000 4194304 4196468 140721847231232 139723069708912 139723825998466 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4213] ppid=4173 vsize=8068440 memory=14012 CPUtime=0.09 cores=1,3,5,7
/proc/4202/task/4213/stat : 4213 (java) S 4173 4173 3746 0 -1 1077944384 413 0 0 0 9 0 0 0 20 0 19 0 404962824 8262082560 31145 33554432000 4194304 4196468 140721847231232 139723068656112 139723825998466 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4214] ppid=4173 vsize=8068440 memory=14080 CPUtime=0.22 cores=1,3,5,7
/proc/4202/task/4214/stat : 4214 (java) S 4173 4173 3746 0 -1 1077944384 1082 0 0 0 22 0 0 0 20 0 19 0 404962824 8262082560 31145 33554432000 4194304 4196468 140721847231232 139723067603824 139723825998466 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4215] ppid=4173 vsize=8068440 memory=19872 CPUtime=0 cores=1,3,5,7
/proc/4202/task/4215/stat : 4215 (java) S 4173 4173 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404962825 8262082560 31145 33554432000 4194304 4196468 140721847231232 139721527258080 139723825997525 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4216] ppid=4173 vsize=8068440 memory=2120 CPUtime=0.04 cores=1,3,5,7
/proc/4202/task/4216/stat : 4216 (java) S 4173 4173 3746 0 -1 1077944384 7 0 0 0 2 2 0 0 20 0 19 0 404962825 8262082560 31145 33554432000 4194304 4196468 140721847231232 139723066550704 139723825998466 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4218] ppid=4173 vsize=8068440 memory=508 CPUtime=0 cores=1,3,5,7
/proc/4202/task/4218/stat : 4218 (java) S 4173 4173 3746 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404962891 8262082560 31145 33554432000 4194304 4196468 140721847231232 139723138180032 139723826011929 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4220] ppid=4173 vsize=8068440 memory=1560 CPUtime=0.04 cores=1,3,5,7
/proc/4202/task/4220/stat : 4220 (java) S 4173 4173 3746 0 -1 4202560 1687 0 0 0 3 1 0 0 20 0 19 0 404962891 8262082560 31145 33554432000 4194304 4196468 140721847231232 139720990375408 139723826009245 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4221] ppid=4173 vsize=8068440 memory=932 CPUtime=0 cores=1,3,5,7
/proc/4202/task/4221/stat : 4221 (java) S 4173 4173 3746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 404962891 8262082560 31145 33554432000 4194304 4196468 140721847231232 139720721940368 139723826009245 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
[pid=4202/tid=4222] ppid=4173 vsize=8068440 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/4202/task/4222/stat : 4222 (java) S 4173 4173 3746 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 404962894 8262082560 31145 33554432000 4194304 4196468 140721847231232 139721258818992 139723825997525 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26681344 140721847235580 140721847235738 140721847235738 140721847238607 0
Current children cumulated CPU time: 163.57 s
Current children cumulated vsize: 8259904 KiB
Current children cumulated memory: 181020 KiB

Child status: 0
Real time (s): 143.822
CPU time (s): 163.644
CPU user time (s): 161.713
CPU system time (s): 1.93116
CPU usage (%): 113.782
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 4218220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 161.713
system time used= 1.93116
maximum resident set size= 4216908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125852
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9882
involuntary context switches= 278


# summary of solver processes directly reported to runsolver:
#   pid: 4173
#   total CPU time (s): 163.644
#   total CPU user time (s): 161.713
#   total CPU system time (s): 1.93116

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.04938 second user time and 1.56144 second system time

The end

Launcher Data 

Begin job on node145 at 2019-09-12 14:09:37
IDJOB=4387780
IDBENCH=125591
IDSOLVER=2826
FILE ID=node145/4387780-1568290218
RUNJOBID= node145-1568289720-3778
PBS_JOBID= 21701095
Free space on /tmp= 52516 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/QRandom/QRandom-mdd-7-25-5-p7/mdd-7-25-5-ps05-psh07-4.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-4387780-1568290218/watcher-4387780-1568290218 -o /tmp/evaluation-result-4387780-1568290218/solver-4387780-1568290218 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568289720-3778 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387780-1568290218.xml

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

MD5SUM BENCH= cc3fcfac109c3d277a0ef72b27cdc983
RANDOM SEED=1976291756

node145.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.59
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.59
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.59
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.59
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:        15988312 kB
MemAvailable:   29876896 kB
Buffers:          126196 kB
Cached:         13831136 kB
SwapCached:         2212 kB
Active:          5040816 kB
Inactive:       10902684 kB
Active(anon):    1983936 kB
Inactive(anon):    43552 kB
Active(file):    3056880 kB
Inactive(file): 10859132 kB
Unevictable:      108484 kB
Mlocked:          108484 kB
SwapTotal:      67108860 kB
SwapFree:       66997568 kB
Dirty:             53584 kB
Writeback:             0 kB
AnonPages:       2249268 kB
Mapped:            55400 kB
Shmem:             32328 kB
Slab:             429728 kB
SReclaimable:     401032 kB
SUnreclaim:        28696 kB
KernelStack:        3776 kB
PageTables:         9764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    8082228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    989184 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 52496 MiB
End job on node145 at 2019-09-12 14:12:01