Trace number 4387783

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 32.071 23.2066

General information on the benchmark

NameQRandom/QRandom-reg2ext-s1/
reg-s20-p03-c20-d10-n10-l5-64.xml
MD5SUM236be531fe4e5fa4d71f6d1385cbaf81
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 benchmark3.28957
Satisfiable
(Un)Satisfiability was proved
Number of variables130
Number of constraints100
Number of domains23
Minimum domain size1
Maximum domain size20
Distribution of domain sizes[{"size":1,"count":20},{"size":6,"count":20},{"size":10,"count":10},{"size":20,"count":80}]
Minimum variable degree1
Maximum variable degree14
Distribution of variable degrees[{"degree":1,"count":40},{"degree":2,"count":80},{"degree":5,"count":1},{"degree":6,"count":1},{"degree":9,"count":1},{"degree":10,"count":3},{"degree":12,"count":3},{"degree":14,"count":1}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":100}]
Number of extensional constraints100
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":100}]
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-5816-serial-file.bin HOME/instance-4387783-1568290233.xml
0.66/0.52	
0.66/0.52	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.52	
0.66/0.55	c BEGIN-Prog: Thu Sep 12 14:09:54 CEST 2019
0.66/0.55	c PID: 5819
0.66/0.55	c IP: 172.20.3.119
0.66/0.55	c HOST: node119.alineos.net
0.66/0.56	c (0,0) Parsing Begin
1.64/0.99	c (0,0) Parsing End
1.64/1.00	c (0,0) CSP: 110 int (0 aux), 20 bool (0 aux), 100 ctr, max domain size 20
1.64/1.01	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.64/1.01	c (0,0) Constraint Name Generate Begin
1.64/1.01	c (0,0) Ctr:HOME/instance-4387783-1568290233.xml,ExtensionSupport:Var
1.64/1.01	c (0,0) Constraint Name Generate End
1.64/1.01	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.64/1.01	c (0,0) CSP to CSPinCNF Begin
4.16/1.76	c (1,1) translated 10 (10%) constraints
5.12/2.04	c (1,1) translated 20 (20%) constraints
5.69/2.28	c (1,1) translated 30 (30%) constraints
6.29/2.48	c (1,1) translated 40 (40%) constraints
6.90/2.69	c (2,2) translated 50 (50%) constraints
7.83/2.90	c (2,2) translated 60 (60%) constraints
8.46/3.11	c (2,2) translated 70 (70%) constraints
9.03/3.32	c (2,2) translated 80 (80%) constraints
9.62/3.51	c (2,2) translated 90 (90%) constraints
10.08/3.80	c (3,3) translated 100 (100%) constraints
10.08/3.81	c (3,3) ===========================================
10.08/3.83	c (3,3) Hybrid: #OE=2405, #LE=0
10.08/3.83	c (3,3) Hybrid
10.08/3.83	c (3,3) ===========================================
10.36/3.97	c (3,3) translated 2826 (10%) constraints
10.69/4.06	c (3,3) translated 5652 (20%) constraints
10.96/4.14	c (3,3) translated 8478 (30%) constraints
11.10/4.20	c (3,3) translated 11304 (40%) constraints
11.10/4.27	c (3,3) translated 14130 (50%) constraints
11.21/4.34	c (3,3) translated 16956 (60%) constraints
11.30/4.40	c (3,3) translated 19782 (70%) constraints
11.30/4.47	c (3,3) translated 22608 (80%) constraints
11.41/4.54	c (4,3) translated 25434 (90%) constraints
11.52/4.60	c (4,3) translated 28259 (100%) constraints
11.52/4.60	c (4,3) CSP to CSPinCNF End
11.52/4.61	c (4,3) CSP: 110 int (0 aux), 2295 bool (2275 aux), 28259 ctr, max domain size 20
11.52/4.61	c (4,3) Heap : 844 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
11.52/4.61	c (4,3) CSPinCNF Propagation Begin
11.93/4.85	c (4,4) 0 values, 100 unsatisfiable literals, and 0 valid clauses are removed
11.93/4.85	c (4,4) CSPinCNF Propagation End
11.93/4.85	c (4,4) CSP: 110 int (0 aux), 2295 bool (2275 aux), 28259 ctr, max domain size 20
11.93/4.85	c (4,4) Heap : 1013 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
11.93/4.87	c (4,4) Hybrid: #OE=2405, #LE=0
11.93/4.87	c (4,4) Simplify CSPinCNF Begin
12.20/4.96	c (4,4) Simplify CSPinCNF End
12.20/4.96	c (4,4) CSP: 110 int (0 aux), 2295 bool (2275 aux), 28259 ctr, max domain size 20
12.20/4.96	c (4,4) Heap : 1070 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
12.20/4.96	c (4,4) Calculate Precise Domain Begin
12.20/4.96	c (4,4) 0 values are removed by re-calculation
12.20/4.96	c (4,4) Calculate Precise Domain End
12.20/4.96	c (4,4) CSP: 110 int (0 aux), 2295 bool (2275 aux), 28259 ctr, max domain size 20
12.20/4.96	c (4,4) Heap : 1070 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
12.20/4.96	c (4,4) CSPinCNF to SatSolver Begin
12.69/5.17	c (4,4) 2826 (10 %) CSP clauses are encoded (0 SAT variables, 4171 SAT clauses)
12.96/5.25	c (4,4) 5652 (20 %) CSP clauses are encoded (0 SAT variables, 6997 SAT clauses)
13.25/5.31	c (4,4) 8478 (30 %) CSP clauses are encoded (0 SAT variables, 9823 SAT clauses)
13.25/5.35	c (4,4) 11304 (40 %) CSP clauses are encoded (0 SAT variables, 12649 SAT clauses)
13.25/5.39	c (4,4) 14130 (50 %) CSP clauses are encoded (0 SAT variables, 15475 SAT clauses)
13.56/5.43	c (4,4) 16956 (60 %) CSP clauses are encoded (0 SAT variables, 18301 SAT clauses)
13.56/5.47	c (4,4) 19782 (70 %) CSP clauses are encoded (0 SAT variables, 21127 SAT clauses)
13.68/5.50	c (4,4) 22608 (80 %) CSP clauses are encoded (0 SAT variables, 23953 SAT clauses)
13.68/5.54	c (5,4) 25434 (90 %) CSP clauses are encoded (0 SAT variables, 26779 SAT clauses)
13.68/5.57	c (5,4) 28259 (100 %) CSP clauses are encoded (0 SAT variables, 29604 SAT clauses)
13.68/5.57	c (5,4) CSPinCNF to SatSolver End
13.68/5.57	c (5,4) Heap : 1351 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
13.68/5.57	c (5,4) 3731 bool, 29605 clause
13.68/5.57	c (5,4) Export Begin
13.80/5.69	c (5,5) Export to HOME/scop-5816-serial-file.bin
13.80/5.69	c (5,5) Export End
13.80/5.69	c (5,5) Export File Size: 0.04 MB
13.80/5.69	c (5,5) 0,0,4,4,4,4,5,STOP-AFTER(DIMACS)
13.80/5.69	c END-Prog: Thu Sep 12 14:09:59 CEST 2019
14.00/5.71	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-5816-serial-file.bin
14.55/6.16	c (0,0) Read Serial File Begin
14.55/6.16	c (0,0) HOME/scop-5816-serial-file.bin
14.99/6.41	c (0,0) Read Serial File End
14.99/6.42	
14.99/6.42	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
14.99/6.42	(Solving Process)
14.99/6.42	
14.99/6.44	c BEGIN-Prog: Thu Sep 12 14:10:00 CEST 2019
14.99/6.44	c PID: 5834
14.99/6.44	c IP: 172.20.3.119
14.99/6.44	c HOST: node119.alineos.net
14.99/6.45	c (0,0) SatSolver.solve Begin
14.99/6.45	c (0,0) HOME/cryptominisat5  HOME/instance-4387783-1568290233.xml-scop-5819.cnf
14.99/6.48	c (0,0) c Outputting solution to console
14.99/6.48	c (0,0) c CryptoMiniSat version 5.6.8
14.99/6.48	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
14.99/6.48	c (0,0) c CMS SHA revision GIT-notfound
14.99/6.48	c (0,0) c CMS is MIT licensed
14.99/6.48	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
14.99/6.48	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
14.99/6.48	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387783-1568290233.xml-scop-5819.cnf
14.99/6.48	c (0,0) c Reading file 'HOME/instance-4387783-1568290233.xml-scop-5819.cnf'
14.99/6.48	c (0,0) c -- header says num vars:           3731
14.99/6.48	c (0,0) c -- header says num clauses:       29605
14.99/6.49	c (0,0) c -- clauses added: 29605
14.99/6.49	c (0,0) c -- xor clauses added: 0
14.99/6.49	c (0,0) c -- vars added 3731
14.99/6.49	c (0,0) c Parsing time: 0.01 s
14.99/6.49	c (0,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
14.99/6.49	c (0,0) c [distill] long cls tried: 34/24 cl-short:34 lit-r:18 T: 0.00 T-out: N T-r: 100.00%
15.25/6.63	c (0,0) c [distill] long cls tried: 1137/1100 cl-short:1137 lit-r:488 T: 0.02 T-out: N T-r: 99.87%
15.25/6.84	c (0,0) c [distill] long cls tried: 1369/2397 cl-short:1369 lit-r:657 T: 0.03 T-out: N T-r: 99.78%
15.25/6.89	c (0,0) c   glue     1    48  8193    3723   24K  4767    4.19    3.83  2732  3012  1611   832   12.19   11.15
15.88/7.16	c (1,0) c [distill] long cls tried: 2752/5037 cl-short:2752 lit-r:2849 T: 0.10 T-out: N T-r: 99.37%
16.18/7.45	c (1,0) c   geom     1   100 16386    3722   24K  4767    4.19    3.83  6479  5520  3034  1357   13.40   12.45
16.28/7.57	c (1,0) c [distill] long cls tried: 1637/6618 cl-short:1637 lit-r:988 T: 0.06 T-out: N T-r: 99.60%
16.99/8.25	c (2,0) c [distill] long cls tried: 3066/9612 cl-short:3066 lit-r:3354 T: 0.18 T-out: N T-r: 98.82%
17.09/8.30	c (2,0) c   glue     1   169   24K    3722   24K  4767    4.19    3.83  9711  7049  6166  1673   14.13   13.31
17.99/9.29	c (3,0) c [distill] long cls tried: 3310/12775 cl-short:3238 lit-r:4653 T: 0.30 T-out: N T-r: 96.13%
18.09/9.38	c (3,0) c   glue     1   246   32K    3721   24K  4767    4.19    3.83 12913  9584  8303  1839   14.84   14.12
19.09/10.35	c (4,0) c   glue     1   330   40K    3721   24K  4767    4.19    3.83 15399  8253 15337  1872   15.72   15.09
19.49/10.74	c (4,0) c [distill] long cls tried: 2655/15385 cl-short:2655 lit-r:3427 T: 0.35 T-out: N T-r: 95.61%
20.59/11.83	c (5,0) c   glue     1   407   49K    3721   24K  4767    4.19    3.83 16329 12836 17045  1938   16.05   15.49
21.69/12.92	c (6,0) c [distill] long cls tried: 2768/18098 cl-short:2768 lit-r:5281 T: 0.56 T-out: N T-r: 93.15%
22.49/13.74	c (7,0) c   geom     1   475   57K    3721   24K  4767    4.19    3.83 18406 10968   24K  2006   16.36   15.84
23.80/15.10	c (9,0) c   glue     1   533   65K    3720   24K  4767    4.19    3.83   20K 11684   27K  2026   16.11   15.65
24.59/15.82	c (9,0) c [distill] long cls tried: 2355/20338 cl-short:2330 lit-r:5002 T: 0.61 T-out: N T-r: 91.74%
25.29/16.50	c (10,0) c recursive minimization cost OK: 267Kcost/(% lits removed)
25.29/16.50	c (10,0) c more minimization effectiveness low: 0.00 % lits removed --> disabling
25.29/16.50	c (10,0) c --> Executing strategy token: handle-comps
25.29/16.50	c (10,0) c --> Executing strategy token: scc-vrepl
25.29/16.50	c (10,0) c [scc] new: 209 BP 0M T: 0.00
25.29/16.54	c (10,0) c [vrep] vars 206 lits 55999 rem-bin-cls 844 rem-long-cls 68 BP 0M T: 0.03
25.29/16.54	c (10,0) c --> Executing strategy token: cache-clean
25.29/16.54	c (10,0) c --> Executing strategy token: cache-tryboth
25.29/16.54	c (10,0) c --> Executing strategy token: sub-impl
25.29/16.54	c (10,0) c [impl sub] bin: 238 T: 0.00 T-out: N w-visit: 7462
25.29/16.55	c (10,0) c --> Executing strategy token: intree-probe
25.29/16.55	c (10,0) c [scc] new: 1 BP 0M T: 0.00
25.29/16.56	c (10,0) c [vrep] vars 1 lits 118 rem-bin-cls 4 rem-long-cls 26 BP 0M T: 0.01
25.29/16.57	c (10,0) c [scc] new: 0 BP 0M T: 0.00
25.29/16.58	c (10,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 0M T: 0.01
25.40/16.67	c (10,0) c [intree] Set 0 vars hyper-added: 12474 trans-irred::0 trans-red::963 T: 0.09 T-out: N T-r: 99.45%
25.50/16.76	c (10,0) c --> Executing strategy token: probe
25.50/16.76	c (10,0) c --> Executing strategy token: sub-str-cls-with-bin
25.50/16.76	c (10,0) c [distill] cache-based irred--  cl tried    48656 cl-sh   635 cl-rem  564 lit-rem    637 T: 0.03 T-out: N
25.50/16.76	c (10,0) c [distill] cache-based   red--  cl tried    40794 cl-sh   887 cl-rem  160 lit-rem   1213 T: 0.06 T-out: N
26.30/17.53	c (11,0) c --> Executing strategy token: distill-cls
26.30/17.53	c (11,0) c [distill] long cls tried: 7075/24027 cl-short:4370 lit-r:162 T: 0.77 T-out: Y T-r: -0.06%
26.30/17.53	c (11,0) c [distill] long useful: 8740/14150/48080 lits-rem: 324 0-depth-assigns: 0 T: 1.54 T-out: Y
26.30/17.53	c (11,0) c --> Executing strategy token: scc-vrepl
26.30/17.53	c (11,0) c [scc] new: 98 BP 0M T: 0.00
26.30/17.56	c (11,0) c [vrep] vars 79 lits 42869 rem-bin-cls 349 rem-long-cls 0 BP 0M T: 0.03
26.30/17.57	c (11,0) c --> Executing strategy token: sub-impl
26.30/17.57	c (11,0) c [impl sub] bin: 2 T: 0.00 T-out: N w-visit: 7462
26.30/17.57	c (11,0) c --> Executing strategy token: str-impl
26.30/17.57	c (11,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.86% w-visit: 7462
26.30/17.57	c (11,0) c --> Executing strategy token: sub-impl
26.30/17.57	c (11,0) c [impl sub] bin: 0 T: 0.00 T-out: N w-visit: 7462
26.30/17.58	c (11,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
26.30/17.58	c (11,0) c [occ] mem usage for occur      3 MB
26.30/17.58	c (11,0) c [occ] mem usage for occur      4 MB
26.41/17.61	c (11,0) c Mem for watch alloc      : 8           MB (39.19     %)
26.41/17.61	c (11,0) c Mem for watch array      : 0           MB (0.78      %)
26.41/17.64	c (11,0) c --> Executing OCC strategy token: occ-backw-sub-str
26.41/17.64	c (11,0) c [occ-backw-sub-str-long-w-bins] subs: 8 str: 111 tried: 35156 0-depth ass: 0 T: 0.03 T-out: N T-r: 98.33%
26.51/17.71	c (11,0) c [occ-sub-long-w-long] rem cl: 533 tried: 174666/87333 (200.0%) T: 0.08 T-out: N T-r: 84.64%
26.61/17.86	c (11,0) c [occ-sub-str-long-w-long] sub: 3 str: 315 tried: 261999/87333 (300.0)  T: 0.15 T-out: N T-r: 84.08%
26.61/17.86	c (11,0) c [occ-sub-str-w-added-long]  sub: 0 str: 0 0-depth ass: 0 T: 0.00 T-out: N T-r: 100.00%
26.61/17.87	c (11,0) c --> Executing OCC strategy token: occ-clean-implicit
26.61/17.87	c (11,0) c --> Executing OCC strategy token: occ-bve
26.61/17.87	c (11,0) c [occ-empty-res] Empty resolvent elimed: 0 T: 0.00 T-out: N
26.71/17.95	c (11,0) c [occ-bve] iter v-elim 134
26.71/17.95	c (11,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=0)
26.71/17.95	c (11,0) c Reduced to 3300 vars, 28185 cls (grow=0)
26.92/18.14	c (12,0) c [occ-bve] iter v-elim 542
26.92/18.14	c (12,0) c cl_inc_rate=1.1, var_dec_rate=1.2 (grow=8)
26.92/18.14	c (12,0) c Reduced to 2758 vars, 29958 cls (grow=8)
26.92/18.14	c (12,0) c x n vars       : 2758
26.92/18.14	c (12,0) c  #try to eliminate:  12608
26.92/18.14	c (12,0) c  #var-elim        :    676
26.92/18.14	c (12,0) c  #T-o: N
26.92/18.14	c (12,0) c  #T-r: 99.91%
26.92/18.14	c (12,0) c  #T  : 0.27
26.92/18.14	c (12,0) c [occur] 0.03 is overhead
26.92/18.14	c (12,0) c [occur] link-in T: 0.03 cleanup T: 0.00
26.92/18.14	c (12,0) c --> Executing OCC strategy token: occ-bva
26.92/18.14	c (12,0) c [occ-bva] global numcalls: 0
26.92/18.14	c (12,0) c --> Executing OCC strategy token: occ-ternary-res
26.92/18.14	c (12,0) c --> Executing OCC strategy token: occ-xor
26.92/18.14	c (12,0) c [occ-xor] sort occur list T: 0.01
26.92/18.17	c (12,0) c [occ-xor] found    528 avg sz 3.0 min sz  3 max sz  3 T: 0.03 T-out: N T-r: 99.53%
26.92/18.17	c (12,0) c [xor-together] xored together 384 xors orig num xors: 528 T: 0.00
26.92/18.17	c (12,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
26.92/18.18	c (12,0) c --> Executing strategy token: cl-consolidate
26.92/18.18	c (12,0) c [mem] consolidate  old-sz:  8229K new-sz:  2019K new bits offs: 0 T: 0.00
26.92/18.19	c (12,0) c --> Executing strategy token: str-impl
26.92/18.19	c (12,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.91% w-visit: 7462
27.02/18.23	c (12,0) c --> Executing strategy token: cache-clean
27.02/18.23	c (12,0) c --> Executing strategy token: sub-str-cls-with-bin
27.02/18.23	c (12,0) c [distill] cache-based irred--  cl tried    51188 cl-sh     0 cl-rem   34 lit-rem      0 T: 0.03 T-out: N
27.02/18.23	c (12,0) c [distill] cache-based   red--  cl tried    18476 cl-sh   104 cl-rem    8 lit-rem    128 T: 0.02 T-out: N
27.83/19.04	c (12,0) c --> Executing strategy token: distill-cls
27.83/19.04	c (12,0) c [distill] long cls tried: 20877/25333 cl-short:10701 lit-r:5523 T: 0.81 T-out: N T-r: 41.35%
27.83/19.04	c (12,0) c [distill] long useful: 21402/41754/51154 lits-rem: 11046 0-depth-assigns: 0 T: 1.63 T-out: N
27.83/19.05	c (12,0) c --> Executing strategy token: scc-vrepl
27.83/19.05	c (12,0) c [scc] new: 0 BP 0M T: 0.00
27.83/19.05	c (12,0) c --> Executing strategy token: check-cache-size
27.83/19.05	c (12,0) c --> Executing strategy token: renumber
27.83/19.05	c (12,0) c [xor-clean] T: 0.00
27.83/19.05	c (12,0) c [renumber] T: 0.00
27.83/19.05	c (12,0) c --> Executing strategy token: sls
27.83/19.05	c (12,0) c [consolidate] mini T: 0.00
27.83/19.05	c (12,0) c global_timeout_multiplier: 4.40
27.83/19.05	c (12,0) c clause size stats. size3: 10280 size4: 11000 size5: 2347 larger: 1706
28.22/19.46	c (13,0) c   luby     0   588   73K    2758   25K  4608    3.93    3.64  9581  3543  6235  7924    9.36    7.22
29.22/20.42	c (14,0) c   luby     0   620   81K    2755   25K  4608    3.93    3.64 11764  5370  9986  7937   10.88    8.87
29.62/20.83	c (14,0) c [distill] long cls tried: 3440/11258 cl-short:2982 lit-r:4004 T: 0.32 T-out: N T-r: 98.01%
30.63/21.80	c (15,0) c   luby     0   638   90K    2746   25K  4608    3.93    3.64 13418  9033 12283  8098   11.88   10.01
31.73/22.93	c (16,0) c   luby     0   670   98K    2733   25K  4608    3.93    3.64 14069 12603 16225  8131   12.35   10.70
31.94/23.19	c (17,0) c ------- FINAL TOTAL SEARCH STATS ---------
31.94/23.19	c (17,0) c UIP search time          : 14.14       (84.67     % time)
31.94/23.19	c (17,0) c restarts                 : 678         (147.54    confls per restart)
31.94/23.19	c (17,0) c blocked restarts         : 253         (0.37      per normal restart)
31.94/23.19	c (17,0) c time                     : 14.14       
31.94/23.19	c (17,0) c decisions                : 173366      (0.00      % random)
31.94/23.19	c (17,0) c propagations             : 37340285    
31.94/23.19	c (17,0) c decisions/conflicts      : 1.73        
31.94/23.19	c (17,0) c conflicts                : 100032      (7076.24   / sec)
31.94/23.19	c (17,0) c conf lits non-minim      : 2430096     (24.29     lit/confl)
31.94/23.19	c (17,0) c conf lits final          : 16.20       
31.94/23.19	c (17,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
31.94/23.19	c (17,0) c red which0               : 13614       (13.61     % of confl)
31.94/23.19	c (17,0) c props/decision           : 0.00        
31.94/23.19	c (17,0) c props/conflict           : 0.00        
31.94/23.19	c (17,0) c 0-depth assigns          : 796         (28.86     % vars)
31.94/23.19	c (17,0) c 0-depth assigns by CNF   : 0           (0.00      % vars)
31.94/23.19	c (17,0) c reduceDB time            : 0.01        (0.07      % time)
31.94/23.19	c (17,0) c OccSimplifier time       : 0.30        (1.80      % time)
31.94/23.19	c (17,0) c [occur] 0.05 is overhead
31.94/23.19	c (17,0) c [occur] link-in T: 0.03 cleanup T: 0.01
31.94/23.19	c (17,0) c [occ-substr] long subBySub: 533 subByStr: 3 lits-rem-str: 7794 T: 0.22
31.94/23.19	c (17,0) c SCC time                 : 0.01        (0.04      % time)
31.94/23.19	c (17,0) c [scc] new: 308 BP 0M  T: 0.01
31.94/23.19	c (17,0) c vrep replace time        : 0.08        (0.47      % time)
31.94/23.19	c (17,0) c vrep tree roots          : 219         
31.94/23.19	c (17,0) c vrep trees' crown        : 286         (1.31      leafs/tree)
31.94/23.19	c (17,0) c distill time             : 5.70        (34.12     % time)
31.94/23.19	c (17,0) c strength cache-irred time: 0.05        (0.31      % time)
31.94/23.19	c (17,0) c strength cache-red time  : 0.08        (0.46      % time)
31.94/23.19	c (17,0) c Conflicts in UIP         : 100032      (5991.42   confl/time_this_thread)
31.94/23.19	c (17,0) c Mem used                 : 26.05       MB
31.94/23.19	c (17,0) c Total time (this thread) : 16.70       
31.94/23.19	c (17,0) s UNSATISFIABLE
31.94/23.19	c (17,0) SatSolver.solve End
31.94/23.19	c (17,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
31.94/23.19	c (17,0) Show results Begin
31.94/23.19	s UNSATISFIABLE
31.94/23.19	c (17,0) Show results End
31.94/23.19	c (17,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
31.94/23.20	c (17,0) 17,17,STOP-AFTER(ALL)
31.94/23.20	c END-Prog: Thu Sep 12 14:10:17 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 (120 MiB free)
  memory of node 1: 16384 MiB (7232 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387783-1568290233/watcher-4387783-1568290233 -o /tmp/evaluation-result-4387783-1568290233/solver-4387783-1568290233 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568285951-4194 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387783-1568290233.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=5816, runsolver pid=5813

[startup+0.10014 s]*
/proc/loadavg: 2.63 2.25 2.19 3/234 5833
/proc/meminfo: memFree=7471948/32770624 swapFree=66939824/67108860
[pid=5816] ppid=5813 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5816/stat : 5816 (scop.sh) S 5813 5816 3344 0 -1 4202496 555 322 0 0 0 0 0 0 20 0 1 0 404938223 115843072 349 33554432000 4194304 5098028 140724433262912 140724433260168 140485624906364 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15953920 140724433269603 140724433269872 140724433269872 140724433272781 0
/proc/5816/statm: 28282 349 296 221 0 87 0
[pid=5819] ppid=5816 vsize=15013720 memory=71732 CPUtime=0.11 cores=1,3,5,7
/proc/5819/stat : 5819 (java) S 5816 5816 3344 0 -1 1077944320 7156 0 0 0 10 1 0 0 20 0 15 0 404938223 15374049280 17933 33554432000 4194304 4196468 140725092075264 140725092057808 139965727481591 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
/proc/5819/statm: 3753430 17933 2925 1 0 3715835 0
[pid=5819/tid=5820] ppid=5816 vsize=15014680 memory=-7828588039587137883 CPUtime=0.09 cores=1,3,5,7
/proc/5819/task/5820/stat : 5820 (java) R 5816 5816 3344 0 -1 4202560 5182 0 0 0 8 1 0 0 20 0 15 0 404938223 15375032320 18197 33554432000 4194304 4196468 140725092075264 139965699265840 139965719792798 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5821] ppid=5816 vsize=15014680 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5821/stat : 5821 (java) S 5816 5816 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404938225 15375032320 18197 33554432000 4194304 4196468 140725092075264 139965731724048 139965727491797 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5822] ppid=5816 vsize=15014680 memory=139671412192896 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5822/stat : 5822 (java) S 5816 5816 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404938225 15375032320 18197 33554432000 4194304 4196468 140725092075264 139965545880464 139965727491797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5823] ppid=5816 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5823/stat : 5823 (java) S 5816 5816 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404938225 15375032320 18197 33554432000 4194304 4196468 140725092075264 139965544827920 139965727491797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5824] ppid=5816 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5824/stat : 5824 (java) S 5816 5816 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404938225 15375032320 18197 33554432000 4194304 4196468 140725092075264 139965543775376 139965727491797 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5825] ppid=5816 vsize=15016308 memory=139671412192896 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5825/stat : 5825 (java) S 5816 5816 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404938227 15376699392 18197 33554432000 4194304 4196468 140725092075264 139964765054960 139965727492738 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5826] ppid=5816 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5826/stat : 5826 (java) S 5816 5816 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404938227 15376699392 18197 33554432000 4194304 4196468 140725092075264 139964125799328 139965727491797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5827] ppid=5816 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5827/stat : 5827 (java) S 5816 5816 3344 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404938227 15376699392 18197 33554432000 4194304 4196468 140725092075264 139963991577584 139965727491797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5828] ppid=5816 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5828/stat : 5828 (java) S 5816 5816 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404938230 15376699392 18197 33554432000 4194304 4196468 140725092075264 139963617073360 139965727500187 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5829] ppid=5816 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5829/stat : 5829 (java) S 5816 5816 3344 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 15 0 404938230 15376699392 18197 33554432000 4194304 4196468 140725092075264 139964764002800 139965727492738 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5830] ppid=5816 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5830/stat : 5830 (java) S 5816 5816 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404938230 15376699392 18263 33554432000 4194304 4196468 140725092075264 139964762950256 139965727492738 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5831] ppid=5816 vsize=15016308 memory=139671412192896 CPUtime=0.01 cores=1,3,5,7
/proc/5819/task/5831/stat : 5831 (java) S 5816 5816 3344 0 -1 1077944384 463 0 0 0 1 0 0 0 20 0 15 0 404938230 15376699392 18263 33554432000 4194304 4196468 140725092075264 139964761897712 139965727492738 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5832] ppid=5816 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5832/stat : 5832 (java) S 5816 5816 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404938230 15376699392 18263 33554432000 4194304 4196468 140725092075264 139963119168608 139965727491797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5833] ppid=5816 vsize=15016308 memory=139671412192896 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5833/stat : 5833 (java) S 5816 5816 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404938230 15376699392 18263 33554432000 4194304 4196468 140725092075264 139964760844592 139965727492738 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15126848 KiB
Current children cumulated memory: 73128 KiB

[startup+0.211784 s]*
/proc/loadavg: 2.63 2.25 2.19 3/234 5833
/proc/meminfo: memFree=7456036/32770624 swapFree=66939824/67108860
[pid=5816] ppid=5813 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5816/stat : 5816 (scop.sh) S 5813 5816 3344 0 -1 4202496 555 322 0 0 0 0 0 0 20 0 1 0 404938223 115843072 349 33554432000 4194304 5098028 140724433262912 140724433260168 140485624906364 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15953920 140724433269603 140724433269872 140724433269872 140724433272781 0
/proc/5816/statm: 28282 349 296 221 0 87 0
[pid=5819] ppid=5816 vsize=15012696 memory=83660 CPUtime=0.25 cores=1,3,5,7
/proc/5819/stat : 5819 (java) S 5816 5816 3344 0 -1 1077944320 11514 0 0 0 22 3 0 0 20 0 15 0 404938223 15373000704 20915 33554432000 4194304 4196468 140725092075264 140725092057808 139965727481591 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
/proc/5819/statm: 3753174 20915 2930 1 0 3715579 0
[pid=5819/tid=5820] ppid=5816 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/5819/task/5820/stat : 5820 (java) R 5816 5816 3344 0 -1 4202560 9246 0 0 0 17 3 0 0 20 0 15 0 404938223 15373000704 20981 33554432000 4194304 4196468 140725092075264 139965699306384 139965711562078 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5821] ppid=5816 vsize=15012696 memory=540 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5821/stat : 5821 (java) S 5816 5816 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404938225 15373000704 20981 33554432000 4194304 4196468 140725092075264 139965731724048 139965727491797 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5822] ppid=5816 vsize=15012696 memory=288370047563904640 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5822/stat : 5822 (java) S 5816 5816 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404938225 15373000704 20981 33554432000 4194304 4196468 140725092075264 139965545880464 139965727491797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5823] ppid=5816 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5823/stat : 5823 (java) S 5816 5816 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404938225 15373000704 20981 33554432000 4194304 4196468 140725092075264 139965544827920 139965727491797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5824] ppid=5816 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5824/stat : 5824 (java) S 5816 5816 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404938225 15373000704 20981 33554432000 4194304 4196468 140725092075264 139965543775376 139965727491797 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5825] ppid=5816 vsize=15012696 memory=139671412192896 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5825/stat : 5825 (java) S 5816 5816 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404938227 15373000704 20981 33554432000 4194304 4196468 140725092075264 139964765054960 139965727492738 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5826] ppid=5816 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5826/stat : 5826 (java) S 5816 5816 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404938227 15373000704 20981 33554432000 4194304 4196468 140725092075264 139964125799328 139965727491797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5827] ppid=5816 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5827/stat : 5827 (java) S 5816 5816 3344 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404938227 15373000704 20981 33554432000 4194304 4196468 140725092075264 139963991577584 139965727491797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5828] ppid=5816 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5828/stat : 5828 (java) S 5816 5816 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404938230 15373000704 20981 33554432000 4194304 4196468 140725092075264 139963617073360 139965727500187 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5829] ppid=5816 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5819/task/5829/stat : 5829 (java) S 5816 5816 3344 0 -1 1077944384 425 0 0 0 1 0 0 0 20 0 15 0 404938230 15373000704 20981 33554432000 4194304 4196468 140725092075264 139964764002800 139965727492738 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5830] ppid=5816 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5830/stat : 5830 (java) S 5816 5816 3344 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 404938230 15373000704 20981 33554432000 4194304 4196468 140725092075264 139964762950256 139965727492738 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5831] ppid=5816 vsize=15012696 memory=139671412192896 CPUtime=0.03 cores=1,3,5,7
/proc/5819/task/5831/stat : 5831 (java) S 5816 5816 3344 0 -1 1077944384 481 0 0 0 3 0 0 0 20 0 15 0 404938230 15373000704 20981 33554432000 4194304 4196468 140725092075264 139964761897712 139965727492738 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5832] ppid=5816 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5832/stat : 5832 (java) S 5816 5816 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404938230 15373000704 20981 33554432000 4194304 4196468 140725092075264 139963119168608 139965727491797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5833] ppid=5816 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5833/stat : 5833 (java) S 5816 5816 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404938230 15373000704 20981 33554432000 4194304 4196468 140725092075264 139964760844592 139965727492738 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 85056 KiB

[startup+0.310715 s]*
/proc/loadavg: 2.63 2.25 2.19 4/234 5833
/proc/meminfo: memFree=7452240/32770624 swapFree=66939824/67108860
[pid=5816] ppid=5813 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5816/stat : 5816 (scop.sh) S 5813 5816 3344 0 -1 4202496 555 322 0 0 0 0 0 0 20 0 1 0 404938223 115843072 349 33554432000 4194304 5098028 140724433262912 140724433260168 140485624906364 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15953920 140724433269603 140724433269872 140724433269872 140724433272781 0
/proc/5816/statm: 28282 349 296 221 0 87 0
[pid=5819] ppid=5816 vsize=15012696 memory=87960 CPUtime=0.43 cores=1,3,5,7
/proc/5819/stat : 5819 (java) S 5816 5816 3344 0 -1 1077944320 12557 0 0 0 39 4 0 0 20 0 15 0 404938223 15373000704 21990 33554432000 4194304 4196468 140725092075264 140725092057808 139965727481591 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
/proc/5819/statm: 3753174 21990 3075 1 0 3715579 0
[pid=5819/tid=5820] ppid=5816 vsize=15012696 memory=7022364632946311227 CPUtime=0.29 cores=1,3,5,7
/proc/5819/task/5820/stat : 5820 (java) R 5816 5816 3344 0 -1 4202560 10063 0 0 0 26 3 0 0 20 0 15 0 404938223 15373000704 21990 33554432000 4194304 4196468 140725092075264 139965699264608 139965711562078 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5821] ppid=5816 vsize=15012696 memory=288292155783643526 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5821/stat : 5821 (java) S 5816 5816 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404938225 15373000704 21990 33554432000 4194304 4196468 140725092075264 139965731724048 139965727491797 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5822] ppid=5816 vsize=15012696 memory=14127866312923086 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5822/stat : 5822 (java) S 5816 5816 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404938225 15373000704 21990 33554432000 4194304 4196468 140725092075264 139965545880464 139965727491797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5823] ppid=5816 vsize=15012696 memory=279342525741424 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5823/stat : 5823 (java) S 5816 5816 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404938225 15373000704 21990 33554432000 4194304 4196468 140725092075264 139965544827920 139965727491797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5824] ppid=5816 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5824/stat : 5824 (java) S 5816 5816 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404938225 15373000704 21990 33554432000 4194304 4196468 140725092075264 139965543775376 139965727491797 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5825] ppid=5816 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5825/stat : 5825 (java) S 5816 5816 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404938227 15373000704 21990 33554432000 4194304 4196468 140725092075264 139964765054960 139965727492738 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5826] ppid=5816 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5826/stat : 5826 (java) S 5816 5816 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404938227 15373000704 21990 33554432000 4194304 4196468 140725092075264 139964125799328 139965727491797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5827] ppid=5816 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5827/stat : 5827 (java) S 5816 5816 3344 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404938227 15373000704 21990 33554432000 4194304 4196468 140725092075264 139963991577584 139965727491797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5828] ppid=5816 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5828/stat : 5828 (java) S 5816 5816 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404938230 15373000704 21990 33554432000 4194304 4196468 140725092075264 139963617073360 139965727500187 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5829] ppid=5816 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5819/task/5829/stat : 5829 (java) S 5816 5816 3344 0 -1 1077944384 531 0 0 0 2 0 0 0 20 0 15 0 404938230 15373000704 21990 33554432000 4194304 4196468 140725092075264 139964764002800 139965727492738 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5830] ppid=5816 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5819/task/5830/stat : 5830 (java) S 5816 5816 3344 0 -1 1077944384 91 0 0 0 2 0 0 0 20 0 15 0 404938230 15373000704 21990 33554432000 4194304 4196468 140725092075264 139964762950256 139965727492738 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5831] ppid=5816 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5819/task/5831/stat : 5831 (java) S 5816 5816 3344 0 -1 1077944384 522 0 0 0 7 0 0 0 20 0 15 0 404938230 15373000704 21990 33554432000 4194304 4196468 140725092075264 139964761897712 139965727492738 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5832] ppid=5816 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5832/stat : 5832 (java) S 5816 5816 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404938230 15373000704 21990 33554432000 4194304 4196468 140725092075264 139963119168608 139965727491797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5833] ppid=5816 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5833/stat : 5833 (java) S 5816 5816 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404938230 15373000704 21990 33554432000 4194304 4196468 140725092075264 139964760844592 139965727492738 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89356 KiB

[startup+0.700823 s]
/proc/loadavg: 2.63 2.25 2.19 3/234 5833
/proc/meminfo: memFree=7428252/32770624 swapFree=66939824/67108860
[pid=5816] ppid=5813 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5816/stat : 5816 (scop.sh) S 5813 5816 3344 0 -1 4202496 555 322 0 0 0 0 0 0 20 0 1 0 404938223 115843072 349 33554432000 4194304 5098028 140724433262912 140724433260168 140485624906364 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15953920 140724433269603 140724433269872 140724433269872 140724433272781 0
/proc/5816/statm: 28282 349 296 221 0 87 0
[pid=5819] ppid=5816 vsize=15021092 memory=128188 CPUtime=1.01 cores=1,3,5,7
/proc/5819/stat : 5819 (java) S 5816 5816 3344 0 -1 1077944320 20374 0 0 0 95 6 0 0 20 0 15 0 404938223 15381598208 32047 33554432000 4194304 4196468 140725092075264 140725092057808 139965727481591 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
/proc/5819/statm: 3755273 32047 3202 1 0 3716603 0
[pid=5819/tid=5820] ppid=5816 vsize=15021092 memory=1789927621889 CPUtime=0.67 cores=1,3,5,7
/proc/5819/task/5820/stat : 5820 (java) D 5816 5816 3344 0 -1 1077944384 17335 0 0 0 62 5 0 0 20 0 15 0 404938223 15381598208 32047 33554432000 4194304 4196468 140725092075264 139965699317280 139965720160813 0 4 2 25189581 18446744072101821988 0 0 -1 5 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5821] ppid=5816 vsize=15021092 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5821/stat : 5821 (java) S 5816 5816 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404938225 15381598208 32047 33554432000 4194304 4196468 140725092075264 139965731724048 139965727491797 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5822] ppid=5816 vsize=15021092 memory=1608 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5822/stat : 5822 (java) S 5816 5816 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404938225 15381598208 32047 33554432000 4194304 4196468 140725092075264 139965545880464 139965727491797 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5823] ppid=5816 vsize=15022116 memory=7980 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5823/stat : 5823 (java) S 5816 5816 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404938225 15382646784 32047 33554432000 4194304 4196468 140725092075264 139965544827920 139965727491797 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5824] ppid=5816 vsize=15022116 memory=9580 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5824/stat : 5824 (java) S 5816 5816 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404938225 15382646784 32047 33554432000 4194304 4196468 140725092075264 139965543775376 139965727491797 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5825] ppid=5816 vsize=15022116 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5825/stat : 5825 (java) S 5816 5816 3344 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 404938227 15382646784 32047 33554432000 4194304 4196468 140725092075264 139964765054960 139965727492738 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5826] ppid=5816 vsize=15022116 memory=776 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5826/stat : 5826 (java) S 5816 5816 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404938227 15382646784 32047 33554432000 4194304 4196468 140725092075264 139964125799328 139965727491797 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5827] ppid=5816 vsize=15022116 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5827/stat : 5827 (java) S 5816 5816 3344 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404938227 15382646784 32047 33554432000 4194304 4196468 140725092075264 139963991577584 139965727491797 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5828] ppid=5816 vsize=15021092 memory=668 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5828/stat : 5828 (java) S 5816 5816 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404938230 15381598208 32066 33554432000 4194304 4196468 140725092075264 139963617073360 139965727500187 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5829] ppid=5816 vsize=15021092 memory=1232 CPUtime=0.08 cores=1,3,5,7
/proc/5819/task/5829/stat : 5829 (java) S 5816 5816 3344 0 -1 1077944384 713 0 0 0 8 0 0 0 20 0 15 0 404938230 15381598208 32066 33554432000 4194304 4196468 140725092075264 139964764002800 139965727492738 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5830] ppid=5816 vsize=15021092 memory=1064 CPUtime=0.07 cores=1,3,5,7
/proc/5819/task/5830/stat : 5830 (java) S 5816 5816 3344 0 -1 1077944384 315 0 0 0 7 0 0 0 20 0 15 0 404938230 15381598208 32066 33554432000 4194304 4196468 140725092075264 139964762950256 139965727492738 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5831] ppid=5816 vsize=15021092 memory=14008 CPUtime=0.15 cores=1,3,5,7
/proc/5819/task/5831/stat : 5831 (java) R 5816 5816 3344 0 -1 4202560 655 0 0 0 15 0 0 0 20 0 15 0 404938230 15381598208 32066 33554432000 4194304 4196468 140725092075264 139964761897712 139965705972768 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5832] ppid=5816 vsize=15022116 memory=20576 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5832/stat : 5832 (java) S 5816 5816 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404938230 15382646784 32066 33554432000 4194304 4196468 140725092075264 139963119168608 139965727491797 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
[pid=5819/tid=5833] ppid=5816 vsize=15022116 memory=14056 CPUtime=0 cores=1,3,5,7
/proc/5819/task/5833/stat : 5833 (java) S 5816 5816 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404938230 15382646784 32066 33554432000 4194304 4196468 140725092075264 139964760844592 139965727492738 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9977856 140725092078378 140725092078746 140725092078746 140725092081615 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 129584 KiB

[startup+1.50473 s]
/proc/loadavg: 2.63 2.25 2.19 6/234 5833
/proc/meminfo: memFree=7387932/32770624 swapFree=66939824/67108860
[pid=5816] ppid=5813 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5816/stat : 5816 (scop.sh) S 5813 5816 3344 0 -1 4202496 555 322 0 0 0 0 0 0 20 0 1 0 404938223 115843072 349 33554432000 4194304 5098028 140724433262912 140724433260168 140485624906364 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15953920 140724433269603 140724433269872 140724433269872 140724433272781 0
/proc/5816/statm: 28282 349 296 221 0 87 0

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

/proc/5834/task/5842/stat : 5842 (java) S 5816 5816 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404938798 8262082560 30588 33554432000 4194304 4196468 140732616413200 139850711819376 139852125148885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5843] ppid=5816 vsize=8068440 memory=19324 CPUtime=0 cores=1,3,5,7
/proc/5834/task/5843/stat : 5843 (java) S 5816 5816 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404938800 8262082560 30588 33554432000 4194304 4196468 140732616413200 139850337310800 139852125157275 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5844] ppid=5816 vsize=8068440 memory=1 CPUtime=0.11 cores=1,3,5,7
/proc/5834/task/5844/stat : 5844 (java) S 5816 5816 3344 0 -1 1077944384 597 0 0 0 11 0 0 0 20 0 19 0 404938800 8262082560 30588 33554432000 4194304 4196468 140732616413200 139851503442544 139852125149826 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5845] ppid=5816 vsize=8068440 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/5834/task/5845/stat : 5845 (java) S 5816 5816 3344 0 -1 1077944384 458 0 0 0 10 0 0 0 20 0 19 0 404938800 8262082560 30588 33554432000 4194304 4196468 140732616413200 139851502389744 139852125149826 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5846] ppid=5816 vsize=8068440 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/5834/task/5846/stat : 5846 (java) S 5816 5816 3344 0 -1 1077944384 1078 0 0 0 24 0 0 0 20 0 19 0 404938800 8262082560 30588 33554432000 4194304 4196468 140732616413200 139851501337456 139852125149826 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5847] ppid=5816 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5834/task/5847/stat : 5847 (java) S 5816 5816 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404938801 8262082560 30588 33554432000 4194304 4196468 140732616413200 139849839406048 139852125148885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5848] ppid=5816 vsize=8068440 memory=-6519613052471072158 CPUtime=0 cores=1,3,5,7
/proc/5834/task/5848/stat : 5848 (java) S 5816 5816 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404938801 8262082560 30588 33554432000 4194304 4196468 140732616413200 139851500284336 139852125149826 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5850] ppid=5816 vsize=8068440 memory=-8817328700034105285 CPUtime=0 cores=1,3,5,7
/proc/5834/task/5850/stat : 5850 (java) S 5816 5816 3344 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404938870 8262082560 30588 33554432000 4194304 4196468 140732616413200 139851490153408 139852125163289 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5852] ppid=5816 vsize=8068440 memory=-6739615476349292588 CPUtime=0.01 cores=1,3,5,7
/proc/5834/task/5852/stat : 5852 (java) S 5816 5816 3344 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 404938870 8262082560 30588 33554432000 4194304 4196468 140732616413200 139849302519312 139852125160605 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5853] ppid=5816 vsize=8068440 memory=7885926558418430054 CPUtime=0 cores=1,3,5,7
/proc/5834/task/5853/stat : 5853 (java) S 5816 5816 3344 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 404938871 8262082560 30588 33554432000 4194304 4196468 140732616413200 139849034088368 139852125160605 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5854] ppid=5816 vsize=8068440 memory=7234862825144014446 CPUtime=0 cores=1,3,5,7
/proc/5834/task/5854/stat : 5854 (java) S 5816 5816 3344 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 404938873 8262082560 30588 33554432000 4194304 4196468 140732616413200 139849436749232 139852125148885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
Current children cumulated CPU time: 29.62 s
Current children cumulated vsize: 8228752 KiB
Current children cumulated memory: 147020 KiB

[startup+22.401 s]
/proc/loadavg: 2.51 2.25 2.19 3/240 5863
/proc/meminfo: memFree=7384192/32770624 swapFree=66939824/67108860
[pid=5816] ppid=5813 vsize=113128 memory=1476 CPUtime=14.01 cores=1,3,5,7
/proc/5816/stat : 5816 (scop.sh) S 5813 5816 3344 0 -1 4202496 583 34633 0 0 0 0 1368 33 20 0 1 0 404938223 115843072 369 33554432000 4194304 5098028 140724433262912 140724433259656 140485624906364 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15953920 140724433269603 140724433269872 140724433269872 140724433272781 0
/proc/5816/statm: 28282 369 311 221 0 87 0
[pid=5834] ppid=5816 vsize=8068440 memory=122352 CPUtime=1.3 cores=1,3,5,7
/proc/5834/stat : 5834 (java) S 5816 5816 3344 0 -1 1077944320 20509 0 0 0 123 7 0 0 20 0 19 0 404938794 8262082560 30588 33554432000 4194304 4196468 140732616413200 140732616395744 139852125138679 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
/proc/5834/statm: 2017110 30588 3212 1 0 1978454 0
[pid=5849] ppid=5834 vsize=53980 memory=26440 CPUtime=15.92 cores=1,3,5,7
/proc/5849/stat : 5849 (cryptominisat5) R 5834 5816 3344 0 -1 4202496 22116 0 0 0 1590 2 0 0 20 0 1 0 404938870 55275520 6610 33554432000 4194304 4451008 140736133129328 140736133125448 140622013584310 0 4 0 2 0 0 0 17 1 0 0 0 0 0 6549032 6559120 11001856 140736133133245 140736133133376 140736133133376 140736133136326 0
/proc/5849/statm: 13495 6610 740 63 0 7222 0
[pid=5834/tid=5835] ppid=5816 vsize=8068440 memory=0 CPUtime=0.78 cores=1,3,5,7
/proc/5834/task/5835/stat : 5835 (java) S 5816 5816 3344 0 -1 1077944384 16975 0 0 0 73 5 0 0 20 0 19 0 404938795 8262082560 30588 33554432000 4194304 4196468 140732616413200 139852096978848 139852125148885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5836] ppid=5816 vsize=8068440 memory=8514701219881976991 CPUtime=0 cores=1,3,5,7
/proc/5834/task/5836/stat : 5836 (java) S 5816 5816 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404938796 8262082560 30588 33554432000 4194304 4196468 140732616413200 139852129381264 139852125148885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5837] ppid=5816 vsize=8068440 memory=-6526411401870300574 CPUtime=0 cores=1,3,5,7
/proc/5834/task/5837/stat : 5837 (java) S 5816 5816 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404938796 8262082560 30588 33554432000 4194304 4196468 140732616413200 139851929549584 139852125148885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5838] ppid=5816 vsize=8068440 memory=-6153504281283894727 CPUtime=0 cores=1,3,5,7
/proc/5834/task/5838/stat : 5838 (java) S 5816 5816 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404938796 8262082560 30588 33554432000 4194304 4196468 140732616413200 139851928497296 139852125148885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5839] ppid=5816 vsize=8068440 memory=1468800692351312306 CPUtime=0 cores=1,3,5,7
/proc/5834/task/5839/stat : 5839 (java) S 5816 5816 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404938796 8262082560 30588 33554432000 4194304 4196468 140732616413200 139851927444496 139852125148885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5840] ppid=5816 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/5834/task/5840/stat : 5840 (java) S 5816 5816 3344 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 404938797 8262082560 30588 33554432000 4194304 4196468 140732616413200 139851504494704 139852125149826 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5841] ppid=5816 vsize=8068440 memory=122352 CPUtime=0 cores=1,3,5,7
/proc/5834/task/5841/stat : 5841 (java) S 5816 5816 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404938798 8262082560 30588 33554432000 4194304 4196468 140732616413200 139850980254496 139852125148885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5842] ppid=5816 vsize=8068440 memory=23912 CPUtime=0 cores=1,3,5,7
/proc/5834/task/5842/stat : 5842 (java) S 5816 5816 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404938798 8262082560 30588 33554432000 4194304 4196468 140732616413200 139850711819376 139852125148885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5843] ppid=5816 vsize=8068440 memory=122352 CPUtime=0 cores=1,3,5,7
/proc/5834/task/5843/stat : 5843 (java) S 5816 5816 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404938800 8262082560 30588 33554432000 4194304 4196468 140732616413200 139850337310800 139852125157275 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5844] ppid=5816 vsize=8068440 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/5834/task/5844/stat : 5844 (java) S 5816 5816 3344 0 -1 1077944384 597 0 0 0 11 0 0 0 20 0 19 0 404938800 8262082560 30588 33554432000 4194304 4196468 140732616413200 139851503442544 139852125149826 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5845] ppid=5816 vsize=8068440 memory=279342525799648 CPUtime=0.1 cores=1,3,5,7
/proc/5834/task/5845/stat : 5845 (java) S 5816 5816 3344 0 -1 1077944384 458 0 0 0 10 0 0 0 20 0 19 0 404938800 8262082560 30588 33554432000 4194304 4196468 140732616413200 139851502389744 139852125149826 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5846] ppid=5816 vsize=8068440 memory=139671263349768 CPUtime=0.24 cores=1,3,5,7
/proc/5834/task/5846/stat : 5846 (java) S 5816 5816 3344 0 -1 1077944384 1079 0 0 0 24 0 0 0 20 0 19 0 404938800 8262082560 30588 33554432000 4194304 4196468 140732616413200 139851501337456 139852125149826 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5847] ppid=5816 vsize=8068440 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/5834/task/5847/stat : 5847 (java) S 5816 5816 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404938801 8262082560 30588 33554432000 4194304 4196468 140732616413200 139849839406048 139852125148885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5848] ppid=5816 vsize=8068440 memory=1608 CPUtime=0 cores=1,3,5,7
/proc/5834/task/5848/stat : 5848 (java) S 5816 5816 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404938801 8262082560 30588 33554432000 4194304 4196468 140732616413200 139851500284336 139852125149826 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5850] ppid=5816 vsize=8068440 memory=7980 CPUtime=0 cores=1,3,5,7
/proc/5834/task/5850/stat : 5850 (java) S 5816 5816 3344 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404938870 8262082560 30588 33554432000 4194304 4196468 140732616413200 139851490153408 139852125163289 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5852] ppid=5816 vsize=8068440 memory=9580 CPUtime=0.01 cores=1,3,5,7
/proc/5834/task/5852/stat : 5852 (java) S 5816 5816 3344 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 404938870 8262082560 30588 33554432000 4194304 4196468 140732616413200 139849302519312 139852125160605 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5853] ppid=5816 vsize=8068440 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/5834/task/5853/stat : 5853 (java) S 5816 5816 3344 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 404938871 8262082560 30588 33554432000 4194304 4196468 140732616413200 139849034088368 139852125160605 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5854] ppid=5816 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5834/task/5854/stat : 5854 (java) S 5816 5816 3344 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 404938873 8262082560 30588 33554432000 4194304 4196468 140732616413200 139849436749232 139852125148885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
Current children cumulated CPU time: 31.23 s
Current children cumulated vsize: 8235548 KiB
Current children cumulated memory: 150268 KiB

[startup+22.8009 s]
/proc/loadavg: 2.51 2.25 2.19 3/240 5863
/proc/meminfo: memFree=7384192/32770624 swapFree=66939824/67108860
[pid=5816] ppid=5813 vsize=113128 memory=1476 CPUtime=14.01 cores=1,3,5,7
/proc/5816/stat : 5816 (scop.sh) S 5813 5816 3344 0 -1 4202496 583 34633 0 0 0 0 1368 33 20 0 1 0 404938223 115843072 369 33554432000 4194304 5098028 140724433262912 140724433259656 140485624906364 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15953920 140724433269603 140724433269872 140724433269872 140724433272781 0
/proc/5816/statm: 28282 369 311 221 0 87 0
[pid=5834] ppid=5816 vsize=8068440 memory=122352 CPUtime=1.3 cores=1,3,5,7
/proc/5834/stat : 5834 (java) S 5816 5816 3344 0 -1 1077944320 20509 0 0 0 123 7 0 0 20 0 19 0 404938794 8262082560 30588 33554432000 4194304 4196468 140732616413200 140732616395744 139852125138679 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
/proc/5834/statm: 2017110 30588 3212 1 0 1978454 0
[pid=5849] ppid=5834 vsize=53980 memory=26636 CPUtime=16.32 cores=1,3,5,7
/proc/5849/stat : 5849 (cryptominisat5) R 5834 5816 3344 0 -1 4202496 22188 0 0 0 1630 2 0 0 20 0 1 0 404938870 55275520 6659 33554432000 4194304 4451008 140736133129328 140736133125256 140622013860343 0 4 0 2 0 0 0 17 1 0 0 0 0 0 6549032 6559120 11001856 140736133133245 140736133133376 140736133133376 140736133136326 0
/proc/5849/statm: 13495 6659 740 63 0 7222 0
[pid=5834/tid=5835] ppid=5816 vsize=8068440 memory=3852 CPUtime=0.78 cores=1,3,5,7
/proc/5834/task/5835/stat : 5835 (java) S 5816 5816 3344 0 -1 1077944384 16975 0 0 0 73 5 0 0 20 0 19 0 404938795 8262082560 30588 33554432000 4194304 4196468 140732616413200 139852096978848 139852125148885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5836] ppid=5816 vsize=8068440 memory=2664 CPUtime=0 cores=1,3,5,7
/proc/5834/task/5836/stat : 5836 (java) S 5816 5816 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404938796 8262082560 30588 33554432000 4194304 4196468 140732616413200 139852129381264 139852125148885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5837] ppid=5816 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5834/task/5837/stat : 5837 (java) S 5816 5816 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404938796 8262082560 30588 33554432000 4194304 4196468 140732616413200 139851929549584 139852125148885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5838] ppid=5816 vsize=8068440 memory=4108 CPUtime=0 cores=1,3,5,7
/proc/5834/task/5838/stat : 5838 (java) S 5816 5816 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404938796 8262082560 30588 33554432000 4194304 4196468 140732616413200 139851928497296 139852125148885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5839] ppid=5816 vsize=8068440 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/5834/task/5839/stat : 5839 (java) S 5816 5816 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404938796 8262082560 30588 33554432000 4194304 4196468 140732616413200 139851927444496 139852125148885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5840] ppid=5816 vsize=8068440 memory=-3622645143214314312 CPUtime=0 cores=1,3,5,7
/proc/5834/task/5840/stat : 5840 (java) S 5816 5816 3344 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 404938797 8262082560 30588 33554432000 4194304 4196468 140732616413200 139851504494704 139852125149826 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5841] ppid=5816 vsize=8068440 memory=520 CPUtime=0 cores=1,3,5,7
/proc/5834/task/5841/stat : 5841 (java) S 5816 5816 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404938798 8262082560 30588 33554432000 4194304 4196468 140732616413200 139850980254496 139852125148885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5842] ppid=5816 vsize=8068440 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/5834/task/5842/stat : 5842 (java) S 5816 5816 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404938798 8262082560 30588 33554432000 4194304 4196468 140732616413200 139850711819376 139852125148885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5843] ppid=5816 vsize=8068440 memory=924 CPUtime=0 cores=1,3,5,7
/proc/5834/task/5843/stat : 5843 (java) S 5816 5816 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404938800 8262082560 30588 33554432000 4194304 4196468 140732616413200 139850337310800 139852125157275 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5844] ppid=5816 vsize=8068440 memory=3688 CPUtime=0.11 cores=1,3,5,7
/proc/5834/task/5844/stat : 5844 (java) S 5816 5816 3344 0 -1 1077944384 597 0 0 0 11 0 0 0 20 0 19 0 404938800 8262082560 30588 33554432000 4194304 4196468 140732616413200 139851503442544 139852125149826 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5845] ppid=5816 vsize=8068440 memory=2241 CPUtime=0.1 cores=1,3,5,7
/proc/5834/task/5845/stat : 5845 (java) S 5816 5816 3344 0 -1 1077944384 458 0 0 0 10 0 0 0 20 0 19 0 404938800 8262082560 30588 33554432000 4194304 4196468 140732616413200 139851502389744 139852125149826 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5846] ppid=5816 vsize=8068440 memory=7014751519650435940 CPUtime=0.24 cores=1,3,5,7
/proc/5834/task/5846/stat : 5846 (java) S 5816 5816 3344 0 -1 1077944384 1079 0 0 0 24 0 0 0 20 0 19 0 404938800 8262082560 30588 33554432000 4194304 4196468 140732616413200 139851501337456 139852125149826 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5847] ppid=5816 vsize=8068440 memory=7234862825144014446 CPUtime=0 cores=1,3,5,7
/proc/5834/task/5847/stat : 5847 (java) S 5816 5816 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404938801 8262082560 30588 33554432000 4194304 4196468 140732616413200 139849839406048 139852125148885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5848] ppid=5816 vsize=8068440 memory=7234560429633923178 CPUtime=0 cores=1,3,5,7
/proc/5834/task/5848/stat : 5848 (java) S 5816 5816 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404938801 8262082560 30588 33554432000 4194304 4196468 140732616413200 139851500284336 139852125149826 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5850] ppid=5816 vsize=8068440 memory=4638778428397538640 CPUtime=0 cores=1,3,5,7
/proc/5834/task/5850/stat : 5850 (java) S 5816 5816 3344 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404938870 8262082560 30588 33554432000 4194304 4196468 140732616413200 139851490153408 139852125163289 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5852] ppid=5816 vsize=8068440 memory=7444853049416180072 CPUtime=0.01 cores=1,3,5,7
/proc/5834/task/5852/stat : 5852 (java) S 5816 5816 3344 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 404938870 8262082560 30588 33554432000 4194304 4196468 140732616413200 139849302519312 139852125160605 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5853] ppid=5816 vsize=8068440 memory=988 CPUtime=0 cores=1,3,5,7
/proc/5834/task/5853/stat : 5853 (java) S 5816 5816 3344 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 404938871 8262082560 30588 33554432000 4194304 4196468 140732616413200 139849034088368 139852125160605 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5854] ppid=5816 vsize=8068440 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/5834/task/5854/stat : 5854 (java) S 5816 5816 3344 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 404938873 8262082560 30588 33554432000 4194304 4196468 140732616413200 139849436749232 139852125148885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
Current children cumulated CPU time: 31.63 s
Current children cumulated vsize: 8235548 KiB
Current children cumulated memory: 150464 KiB

[startup+23.2016 s]
/proc/loadavg: 2.47 2.25 2.19 3/240 5863
/proc/meminfo: memFree=7381648/32770624 swapFree=66939824/67108860
[pid=5816] ppid=5813 vsize=113128 memory=1476 CPUtime=14.01 cores=1,3,5,7
/proc/5816/stat : 5816 (scop.sh) S 5813 5816 3344 0 -1 4202496 583 34633 0 0 0 0 1368 33 20 0 1 0 404938223 115843072 369 33554432000 4194304 5098028 140724433262912 140724433259656 140485624906364 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15953920 140724433269603 140724433269872 140724433269872 140724433272781 0
/proc/5816/statm: 28282 369 311 221 0 87 0
[pid=5834] ppid=5816 vsize=7806288 memory=122560 CPUtime=18.02 cores=1,3,5,7
/proc/5834/stat : 5834 (java) S 5816 5816 3344 0 -1 1077944320 20537 22502 0 0 124 7 1669 2 20 0 16 0 404938794 7993638912 30635 33554432000 4194304 4196468 140732616413200 140732616395744 139852125138679 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
/proc/5834/statm: 1951572 30635 3215 1 0 1912916 0
[pid=5834/tid=5835] ppid=5816 vsize=7806288 memory=1232 CPUtime=17.5 cores=1,3,5,7
/proc/5834/task/5835/stat : 5835 (java) R 5816 5816 3344 0 -1 4202560 16990 22502 0 0 74 5 1669 2 20 0 15 0 404938795 7993638912 30640 33554432000 4194304 4196468 140732616413200 139852096982160 139852117855975 0 0 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5836] ppid=5816 vsize=7806288 memory=1064 CPUtime=16.71 cores=1,3,5,7
/proc/5834/task/5836/stat : 5836 (java) S 5816 5816 3344 0 -1 1077944384 1 22502 0 0 0 0 1669 2 20 0 14 0 404938796 7993638912 30606 33554432000 4194304 4196468 140732616413200 139852129381264 139852125148885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5837] ppid=5816 vsize=7804232 memory=14008 CPUtime=16.71 cores=1,3,5,7
/proc/5834/task/5837/stat : 5837 (java) S 5816 5816 3344 0 -1 1077944384 2 22502 0 0 0 0 1669 2 20 0 14 0 404938796 7991533568 30618 33554432000 4194304 4196468 140732616413200 139851929549584 139852125148885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5838] ppid=5816 vsize=7673156 memory=20580 CPUtime=16.71 cores=1,3,5,7
/proc/5834/task/5838/stat : 5838 (java) S 5816 5816 3344 0 -1 1077944384 1 22502 0 0 0 0 1669 2 20 0 14 0 404938796 7857311744 30618 33554432000 4194304 4196468 140732616413200 139851928497296 139852125148885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5839] ppid=5816 vsize=7673156 memory=14056 CPUtime=16.71 cores=1,3,5,7
/proc/5834/task/5839/stat : 5839 (java) S 5816 5816 3344 0 -1 1077944384 2 22502 0 0 0 0 1669 2 20 0 14 0 404938796 7857311744 30618 33554432000 4194304 4196468 140732616413200 139851927444496 139852125148885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5841] ppid=5816 vsize=7673156 memory=520 CPUtime=16.71 cores=1,3,5,7
/proc/5834/task/5841/stat : 5841 (java) R 5816 5816 3344 0 -1 1077944384 13 22502 0 0 0 0 1669 2 20 0 14 0 404938798 7857311744 30622 33554432000 4194304 4196468 140732616413200 139850980254496 139852125148885 256 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5842] ppid=5816 vsize=7673156 memory=3688 CPUtime=16.71 cores=1,3,5,7
/proc/5834/task/5842/stat : 5842 (java) R 5816 5816 3344 0 -1 1077944384 1 22502 0 0 0 0 1669 2 20 0 13 0 404938798 7857311744 30624 33554432000 4194304 4196468 140732616413200 139850711819376 139852125148885 256 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22601728 140732616418300 140732616418458 140732616418458 140732616421327 0
[pid=5834/tid=5843] ppid=0 vsize=0 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/5834/task/5843/stat : 5843 (java) X 0 -1 -1 0 -1 4228172 3 0 0 0 0 0 0 0 20 0 0 0 404938800 0 0 0 0 0 0 0 0 0 4 0 0 18446744073709551615 0 0 -1 3 0 0 0 0 0 0 0 0 0 0 0 0 0
[pid=5834/tid=5854] ppid=5816 vsize=0 memory=0 CPUtime=16.71 cores=1,3,5,7
/proc/5834/task/5854/stat : 5854 (java) R 5816 5816 3344 0 -1 4203588 27 22502 0 0 0 0 1669 2 20 0 2 0 404938873 0 0 33554432000 0 0 0 0 0 0 4 2 25189581 18446744073709551615 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time: 32.03 s
Current children cumulated vsize: 7919416 KiB
Current children cumulated memory: 124036 KiB

Child status: 0
Real time (s): 23.2066
CPU time (s): 32.071
CPU user time (s): 31.6266
CPU system time (s): 0.444375
CPU usage (%): 138.197
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 1427940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.6266
system time used= 0.444375
maximum resident set size= 1426888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78271
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6061
involuntary context switches= 68


# summary of solver processes directly reported to runsolver:
#   pid: 5816
#   total CPU time (s): 32.071
#   total CPU user time (s): 31.6266
#   total CPU system time (s): 0.444375

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.191753 second user time and 0.289417 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-12 14:09:53
IDJOB=4387783
IDBENCH=125649
IDSOLVER=2826
FILE ID=node119/4387783-1568290233
RUNJOBID= node119-1568285951-4194
PBS_JOBID= 21701084
Free space on /tmp= 52072 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/QRandom/QRandom-reg2ext-s1/reg-s20-p03-c20-d10-n10-l5-64.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-4387783-1568290233/watcher-4387783-1568290233 -o /tmp/evaluation-result-4387783-1568290233/solver-4387783-1568290233 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568285951-4194 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387783-1568290233.xml

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

MD5SUM BENCH= 236be531fe4e5fa4d71f6d1385cbaf81
RANDOM SEED=1450083544

node119.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.47
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.47
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.47
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.47
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:         7530196 kB
MemAvailable:   25615144 kB
Buffers:          189576 kB
Cached:         17951752 kB
SwapCached:        61084 kB
Active:          9383008 kB
Inactive:       15000296 kB
Active(anon):    6183396 kB
Inactive(anon):    99880 kB
Active(file):    3199612 kB
Inactive(file): 14900416 kB
Unevictable:      106656 kB
Mlocked:          106656 kB
SwapTotal:      67108860 kB
SwapFree:       66939824 kB
Dirty:             20740 kB
Writeback:             0 kB
AnonPages:       6303664 kB
Mapped:            56216 kB
Shmem:             32808 kB
Slab:             441676 kB
SReclaimable:     413380 kB
SUnreclaim:        28296 kB
KernelStack:        4080 kB
PageTables:        17556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   11098792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3821568 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 52052 MiB
End job on node119 at 2019-09-12 14:10:17