Trace number 4387765

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 54.5599 48.8707

General information on the benchmark

NameLangford/Langford-m1-k4/
Langford-4-15.xml
MD5SUMbb1ed06e96cb498235a61544b90f533b
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 benchmark22.3936
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of constraints46
Number of domains1
Minimum domain size60
Maximum domain size60
Distribution of domain sizes[{"size":60,"count":60}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":30},{"degree":3,"count":30}]
Minimum constraint arity2
Maximum constraint arity60
Distribution of constraint arities[{"arity":2,"count":45},{"arity":60,"count":1}]
Number of extensional constraints0
Number of intensional constraints45
Distribution of constraint types[{"type":"intension","count":45},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/cryptominisat5 -solverOption default -tmp HOME -serialFile HOME/scop-20978-serial-file.bin HOME/instance-4387765-1568290064.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:07:03 CEST 2019
0.66/0.55	c PID: 20981
0.66/0.55	c IP: 172.20.3.134
0.66/0.55	c HOST: node134.alineos.net
0.66/0.56	c (0,0) Parsing Begin
1.18/0.89	c (0,0) Parsing End
1.18/0.89	c (0,0) CSP: 60 int (0 aux), 0 bool (0 aux), 46 ctr, max domain size 60
1.18/0.89	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.18/0.89	c (0,0) Constraint Name Generate Begin
1.40/0.90	c (0,0) Ctr:HOME/instance-4387765-1568290064.xml,Add:AllDifferent:Eq:Num:Var
1.40/0.90	c (0,0) Constraint Name Generate End
1.40/0.90	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.90	c (0,0) CSP to CSPinCNF Begin
2.39/1.40	c (0,0) translated 5 (10%) constraints
2.75/1.40	c (0,0) translated 10 (20%) constraints
2.75/1.41	c (0,0) translated 14 (30%) constraints
2.75/1.41	c (0,0) translated 19 (40%) constraints
2.75/1.41	c (0,0) translated 23 (50%) constraints
2.75/1.41	c (0,0) translated 28 (60%) constraints
2.75/1.41	c (0,0) translated 33 (70%) constraints
2.75/1.41	c (0,0) translated 37 (80%) constraints
2.75/1.41	c (0,0) translated 42 (90%) constraints
2.75/1.41	c (0,0) translated 46 (100%) constraints
2.75/1.41	c (0,0) ===========================================
2.75/1.44	c (0,0) Hybrid: #OE=60, #LE=0
2.75/1.44	c (0,0) Hybrid
2.75/1.44	c (0,0) ===========================================
2.75/1.48	c (0,0) translated 188 (10%) constraints
2.75/1.50	c (0,0) translated 376 (20%) constraints
3.07/1.52	c (0,0) translated 564 (30%) constraints
3.07/1.53	c (1,0) translated 751 (40%) constraints
3.07/1.54	c (1,1) translated 939 (50%) constraints
3.07/1.56	c (1,1) translated 1127 (60%) constraints
3.07/1.57	c (1,1) translated 1314 (70%) constraints
3.07/1.58	c (1,1) translated 1502 (80%) constraints
3.07/1.59	c (1,1) translated 1690 (90%) constraints
4.28/1.96	c (1,1) translated 1877 (100%) constraints
4.28/1.96	c (1,1) CSP to CSPinCNF End
4.28/1.97	c (1,1) CSP: 60 int (0 aux), 3600 bool (3600 aux), 9122 ctr, max domain size 56
4.28/1.97	c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.28/1.97	c (1,1) CSPinCNF Propagation Begin
4.92/2.16	c (1,1) 1485 values, 3177 unsatisfiable literals, and 3197 valid clauses are removed
4.92/2.16	c (1,1) CSPinCNF Propagation End
4.92/2.16	c (1,1) CSP: 60 int (0 aux), 3600 bool (3600 aux), 5925 ctr, max domain size 56
4.92/2.16	c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
4.92/2.18	c (1,1) Hybrid: #OE=3660, #LE=0
4.92/2.18	c (1,1) Simplify CSPinCNF Begin
5.26/2.30	c (1,1) Simplify CSPinCNF End
5.26/2.30	c (1,1) CSP: 60 int (0 aux), 6906 bool (6906 aux), 9231 ctr, max domain size 56
5.26/2.30	c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.26/2.30	c (1,1) Calculate Precise Domain Begin
5.26/2.30	c (1,1) 0 values are removed by re-calculation
5.26/2.30	c (1,1) Calculate Precise Domain End
5.26/2.30	c (1,1) CSP: 60 int (0 aux), 6906 bool (6906 aux), 9231 ctr, max domain size 56
5.26/2.30	c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.26/2.30	c (1,1) CSPinCNF to SatSolver Begin
6.85/2.72	c (2,2) 924 (10 %) CSP clauses are encoded (0 SAT variables, 21889 SAT clauses)
7.17/2.86	c (2,2) 1847 (20 %) CSP clauses are encoded (0 SAT variables, 36906 SAT clauses)
7.47/2.99	c (2,2) 2770 (30 %) CSP clauses are encoded (0 SAT variables, 52317 SAT clauses)
7.78/3.06	c (2,2) 3693 (40 %) CSP clauses are encoded (0 SAT variables, 63859 SAT clauses)
8.04/3.14	c (2,2) 4616 (50 %) CSP clauses are encoded (0 SAT variables, 78586 SAT clauses)
8.04/3.17	c (2,2) 5539 (60 %) CSP clauses are encoded (0 SAT variables, 84791 SAT clauses)
8.04/3.19	c (2,2) 6462 (70 %) CSP clauses are encoded (0 SAT variables, 85714 SAT clauses)
8.04/3.20	c (2,2) 7385 (80 %) CSP clauses are encoded (0 SAT variables, 86637 SAT clauses)
8.28/3.21	c (2,2) 8308 (90 %) CSP clauses are encoded (0 SAT variables, 87560 SAT clauses)
8.28/3.23	c (2,2) 9231 (100 %) CSP clauses are encoded (0 SAT variables, 91278 SAT clauses)
8.28/3.23	c (2,2) CSPinCNF to SatSolver End
8.28/3.23	c (2,2) Heap : 732 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
8.28/3.23	c (2,2) 7476 bool, 91289 clause
8.28/3.23	c (2,2) Export Begin
8.49/3.31	c (2,2) Export to HOME/scop-20978-serial-file.bin
8.49/3.31	c (2,2) Export End
8.49/3.31	c (2,2) Export File Size: 0.01 MB
8.49/3.31	c (2,2) 0,0,1,1,1,1,2,STOP-AFTER(DIMACS)
8.49/3.31	c END-Prog: Thu Sep 12 14:07:06 CEST 2019
8.49/3.33	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-20978-serial-file.bin
8.51/3.78	c (0,0) Read Serial File Begin
8.51/3.78	c (0,0) HOME/scop-20978-serial-file.bin
8.51/3.98	c (0,0) Read Serial File End
8.51/3.99	
8.51/3.99	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
8.51/3.99	(Solving Process)
8.51/3.99	
8.51/4.01	c BEGIN-Prog: Thu Sep 12 14:07:07 CEST 2019
8.51/4.01	c PID: 20996
8.51/4.01	c IP: 172.20.3.134
8.51/4.01	c HOST: node134.alineos.net
8.51/4.02	c (0,0) SatSolver.solve Begin
8.51/4.02	c (0,0) HOME/cryptominisat5  HOME/instance-4387765-1568290064.xml-scop-20981.cnf
8.51/4.04	c (0,0) c Outputting solution to console
8.51/4.06	c (0,0) c CryptoMiniSat version 5.6.8
8.51/4.06	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
8.51/4.06	c (0,0) c CMS SHA revision GIT-notfound
8.51/4.06	c (0,0) c CMS is MIT licensed
8.51/4.06	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
8.51/4.06	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
8.51/4.06	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387765-1568290064.xml-scop-20981.cnf
8.51/4.06	c (0,0) c Reading file 'HOME/instance-4387765-1568290064.xml-scop-20981.cnf'
8.51/4.06	c (0,0) c -- header says num vars:           7476
8.51/4.06	c (0,0) c -- header says num clauses:       91289
8.51/4.08	c (0,0) c -- clauses added: 91289
8.51/4.08	c (0,0) c -- xor clauses added: 0
8.51/4.08	c (0,0) c -- vars added 7476
8.51/4.08	c (0,0) c Parsing time: 0.03 s
8.51/4.10	c (0,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
8.51/4.10	c (0,0) c [distill] long cls tried: 5/2 cl-short:5 lit-r:3 T: 0.00 T-out: N T-r: 100.00%
10.27/4.77	c (1,0) c [distill] long cls tried: 509/488 cl-short:509 lit-r:87 T: 0.07 T-out: N T-r: 99.58%
11.17/5.64	c (1,0) c [distill] long cls tried: 491/955 cl-short:491 lit-r:104 T: 0.08 T-out: N T-r: 99.55%
11.47/5.94	c (2,0) c   glue     1    50  8193    7018   77K 14209    3.03    2.87  1160  1153  5844   274   33.10   32.09
12.48/6.95	c (3,0) c [distill] long cls tried: 970/1886 cl-short:970 lit-r:1106 T: 0.26 T-out: N T-r: 97.30%
13.79/8.26	c (4,0) c   geom     1   109 16386    7018   77K 14209    3.03    2.87  2660  3398 10108   566   34.75   33.64
14.08/8.52	c (4,0) c [distill] long cls tried: 790/2650 cl-short:790 lit-r:773 T: 0.22 T-out: N T-r: 97.75%
16.27/10.73	c (7,0) c [distill] long cls tried: 1060/3661 cl-short:1060 lit-r:1061 T: 0.37 T-out: N T-r: 96.26%
16.67/11.11	c (7,0) c   glue     1   153   24K    7016   77K 14209    3.03    2.87  3795  4051 16414   860   35.75   34.59
19.19/13.66	c (9,0) c [distill] long cls tried: 1390/5007 cl-short:1390 lit-r:3000 T: 0.60 T-out: N T-r: 94.04%
19.69/14.16	c (10,0) c   glue     1   195   32K    7016   77K 14209    3.03    2.87  5140  7064 18918  1117   35.50   34.34
22.91/17.32	c (13,0) c [distill] long cls tried: 1402/6321 cl-short:1402 lit-r:3417 T: 0.72 T-out: N T-r: 93.15%
22.91/17.38	c (13,0) c   glue     1   234   40K    7016   77K 14209    3.03    2.87  6330  6090   26K  1392   36.50   35.32
25.80/20.28	c (16,0) c   glue     1   278   49K    7016   77K 14209    3.03    2.87  7282  9866   26K  1624   35.71   34.49
28.19/22.67	c (18,0) c [distill] long cls tried: 1871/8096 cl-short:1871 lit-r:7156 T: 1.15 T-out: N T-r: 89.09%
29.99/24.41	c (20,0) c   glue     1   328   57K    7015   77K 14209    3.03    2.87  8370  8958   34K  1927   35.96   34.73
32.99/27.40	c (23,0) c   glue     1   372   65K    7015   77K 14209    3.03    2.87  9915 10409   32K  2081   34.77   33.53
34.29/28.80	c (25,0) c [distill] long cls tried: 1840/9766 cl-short:1764 lit-r:7511 T: 1.18 T-out: N T-r: 88.65%
35.81/30.25	c (26,0) c recursive minimization cost OK: 585Kcost/(% lits removed)
35.81/30.25	c (26,0) c more minimization effectiveness low: 0.00 % lits removed --> disabling
35.81/30.26	c (26,0) c --> Executing strategy token: handle-comps
35.81/30.26	c (26,0) c --> Executing strategy token: scc-vrepl
35.81/30.26	c (26,0) c [scc] new: 1489 BP 0M T: 0.00
35.91/30.36	c (26,0) c [vrep] vars 1450 lits 561635 rem-bin-cls 5880 rem-long-cls 20 BP 1M T: 0.11
35.91/30.37	c (26,0) c --> Executing strategy token: cache-clean
35.91/30.37	c (26,0) c --> Executing strategy token: cache-tryboth
35.91/30.37	c (26,0) c --> Executing strategy token: sub-impl
35.91/30.37	c (26,0) c [impl sub] bin: 1583 T: 0.01 T-out: N w-visit: 14952
35.91/30.38	c (26,0) c --> Executing strategy token: intree-probe
35.91/30.38	c (26,0) c [scc] new: 0 BP 0M T: 0.00
36.00/30.40	c (26,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 0M T: 0.02
36.20/30.66	c (26,0) c [intree] Set 141 vars hyper-added: 37772 trans-irred::4631 trans-red::2369 T: 0.26 T-out: N T-r: 97.78%
36.40/30.86	c (27,0) c --> Executing strategy token: probe
36.40/30.86	c (27,0) c --> Executing strategy token: sub-str-cls-with-bin
36.40/30.86	c (27,0) c [distill] cache-based irred--  cl tried   124459 cl-sh     0 cl-rem  447 lit-rem      0 T: 0.13 T-out: N
36.40/30.86	c (27,0) c [distill] cache-based   red--  cl tried    19843 cl-sh   687 cl-rem   85 lit-rem   1149 T: 0.05 T-out: N
37.20/31.69	c (27,0) c --> Executing strategy token: distill-cls
37.20/31.69	c (27,0) c [distill] long cls tried: 2178/61978 cl-short:353 lit-r:11 T: 0.83 T-out: Y T-r: -0.05%
37.20/31.69	c (27,0) c [distill] long useful: 706/4356/123978 lits-rem: 22 0-depth-assigns: 0 T: 1.66 T-out: Y
37.20/31.69	c (27,0) c --> Executing strategy token: scc-vrepl
37.20/31.69	c (27,0) c [scc] new: 76 BP 0M T: 0.00
37.30/31.72	c (28,0) c [vrep] vars 76 lits 18146 rem-bin-cls 304 rem-long-cls 18 BP 0M T: 0.03
37.30/31.73	c (28,0) c --> Executing strategy token: sub-impl
37.30/31.73	c (28,0) c [impl sub] bin: 1053 T: 0.01 T-out: N w-visit: 14952
37.30/31.74	c (28,0) c --> Executing strategy token: str-impl
37.30/31.74	c (28,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.70% w-visit: 14952
37.30/31.74	c (28,0) c --> Executing strategy token: sub-impl
37.30/31.74	c (28,0) c [impl sub] bin: 0 T: 0.01 T-out: N w-visit: 14952
37.30/31.76	c (28,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
37.30/31.76	c (28,0) c [occ] mem usage for occur      6 MB
37.30/31.77	c (28,0) c [occ] mem usage for occur      2 MB
37.42/31.81	c (28,0) c Mem for watch alloc      : 16          MB (42.87     %)
37.42/31.81	c (28,0) c Mem for watch array      : 0           MB (0.88      %)
37.42/31.87	c (28,0) c --> Executing OCC strategy token: occ-backw-sub-str
37.42/31.87	c (28,0) c [occ-backw-sub-str-long-w-bins] subs: 0 str: 29 tried: 84618 0-depth ass: 0 T: 0.06 T-out: N T-r: 93.30%
37.52/31.98	c (28,0) c [occ-sub-long-w-long] rem cl: 580 tried: 236346/118173 (200.0%) T: 0.11 T-out: N T-r: 78.17%
37.72/32.15	c (28,0) c [occ-sub-str-long-w-long] sub: 5 str: 544 tried: 354519/118173 (300.0)  T: 0.17 T-out: N T-r: 80.41%
37.72/32.15	c (28,0) c --> Executing OCC strategy token: occ-clean-implicit
37.72/32.15	c (28,0) c --> Executing OCC strategy token: occ-bve
37.72/32.15	c (28,0) c [occ-empty-res] Empty resolvent elimed: 0 T: 0.00 T-out: N
37.83/32.29	c (28,0) c [occ-bve] iter v-elim 1509
37.83/32.29	c (28,0) c cl_inc_rate=1.0, var_dec_rate=1.4 (grow=0)
37.83/32.29	c (28,0) c Reduced to 3839 vars, 70524 cls (grow=0)
37.93/32.39	c (28,0) c [occ-bve] iter v-elim 52
37.93/32.39	c (28,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=8)
37.93/32.39	c (28,0) c Reduced to 3787 vars, 70570 cls (grow=8)
38.12/32.53	c (28,0) c [occ-bve] iter v-elim 48
38.12/32.53	c (28,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=16)
38.12/32.53	c (28,0) c Reduced to 3739 vars, 70909 cls (grow=16)
38.12/32.53	c (28,0) c x n vars       : 3739
38.12/32.53	c (28,0) c  #try to eliminate:  15584
38.12/32.53	c (28,0) c  #var-elim        :   1609
38.12/32.53	c (28,0) c  #T-o: N
38.12/32.53	c (28,0) c  #T-r: 99.97%
38.12/32.53	c (28,0) c  #T  : 0.38
38.12/32.53	c (28,0) c [occur] 0.05 is overhead
38.12/32.53	c (28,0) c [occur] link-in T: 0.05 cleanup T: 0.00
38.12/32.53	c (28,0) c --> Executing OCC strategy token: occ-bva
38.12/32.53	c (28,0) c [occ-bva] global numcalls: 0
38.12/32.54	c (28,0) c --> Executing OCC strategy token: occ-ternary-res
38.12/32.54	c (28,0) c --> Executing OCC strategy token: occ-xor
38.12/32.54	c (28,0) c [occ-xor] sort occur list T: 0.01
38.23/32.64	c (28,0) c [occ-xor] found     23 avg sz 3.0 min sz  3 max sz  3 T: 0.11 T-out: N T-r: 97.58%
38.23/32.64	c (28,0) c [xor-together] xored together 6 xors orig num xors: 23 T: 0.00
38.23/32.64	c (28,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
38.23/32.67	c (28,0) c --> Executing strategy token: cl-consolidate
38.23/32.67	c (28,0) c [mem] consolidate  old-sz:  14163K new-sz:  3612K new bits offs: 0 T: 0.00
38.23/32.67	c (28,0) c --> Executing strategy token: str-impl
38.23/32.67	c (28,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.78% w-visit: 14952
38.44/32.81	c (29,0) c --> Executing strategy token: cache-clean
38.44/32.81	c (29,0) c --> Executing strategy token: sub-str-cls-with-bin
38.44/32.81	c (29,0) c [distill] cache-based irred--  cl tried   124707 cl-sh     0 cl-rem  423 lit-rem      0 T: 0.11 T-out: N
38.44/32.81	c (29,0) c [distill] cache-based   red--  cl tried    12860 cl-sh   102 cl-rem   36 lit-rem    243 T: 0.02 T-out: N
39.73/34.11	c (30,0) c --> Executing strategy token: distill-cls
39.73/34.11	c (30,0) c [distill] long cls tried: 7239/62072 cl-short:1151 lit-r:193 T: 1.30 T-out: Y T-r: -0.02%
39.73/34.11	c (30,0) c [distill] long useful: 2302/14478/124284 lits-rem: 386 0-depth-assigns: 0 T: 2.60 T-out: Y
39.73/34.11	c (30,0) c --> Executing strategy token: scc-vrepl
39.73/34.11	c (30,0) c [scc] new: 0 BP 0M T: 0.00
39.73/34.11	c (30,0) c --> Executing strategy token: check-cache-size
39.73/34.11	c (30,0) c --> Executing strategy token: renumber
39.73/34.11	c (30,0) c [xor-clean] T: 0.00
39.73/34.12	c (30,0) c [renumber] T: 0.01
39.73/34.12	c (30,0) c --> Executing strategy token: sls
39.73/34.12	c (30,0) c [consolidate] mini T: 0.00
39.73/34.12	c (30,0) c global_timeout_multiplier: 4.40
39.73/34.12	c (30,0) c clause size stats. size3: 61514 size4: 298 size5: 0 larger: 260
40.43/34.85	c (31,0) c   luby     0   434   73K    3739   62K  8415    3.08    2.95  6656  2386  6153   24K   19.24    8.52
42.04/36.41	c (32,0) c   luby     0   466   81K    3736   62K  8415    3.08    2.95  7703  3663 12114   24K   20.87   11.14
42.64/37.00	c (33,0) c [distill] long cls tried: 1951/7482 cl-short:1805 lit-r:3107 T: 0.44 T-out: N T-r: 94.93%
44.15/38.55	c (34,0) c   luby     0   484   90K    3728   62K  8415    3.08    2.95  8785  6559 16170   25K   22.80   13.56
45.95/40.38	c (36,0) c   luby     0   516   98K    3721   62K  8415    3.08    2.95  9307  7812   22K   25K   24.16   15.57
47.54/42.00	c (38,0) c [distill] long cls tried: 2642/9356 cl-short:1961 lit-r:5498 T: 0.67 T-out: N T-r: 92.81%
48.64/43.02	c (39,0) c   luby     0   541  106K    3718   62K  8415    3.08    2.95  9857 10832   23K   25K   24.09   15.99
50.64/45.00	c (41,0) c   luby     0   542  114K    3718   62K  8415    3.08    2.95 10572  8504   33K   25K   25.71   17.94
52.54/46.94	c (43,0) c   luby     0   573  122K    3693   62K  8415    3.08    2.95 11758  9721   33K   25K   25.72   18.20
53.74/48.14	c (44,0) c [distill] long cls tried: 1601/7701 cl-short:1499 lit-r:4963 T: 0.31 T-out: N T-r: 96.05%
54.44/48.84	c (45,0) c ------- FINAL TOTAL SEARCH STATS ---------
54.44/48.84	c (45,0) c UIP search time          : 40.85       (91.31     % time)
54.44/48.84	c (45,0) c restarts                 : 604         (214.79    confls per restart)
54.44/48.84	c (45,0) c blocked restarts         : 102         (0.17      per normal restart)
54.44/48.84	c (45,0) c time                     : 40.85       
54.44/48.84	c (45,0) c decisions                : 232860      (0.00      % random)
54.44/48.84	c (45,0) c propagations             : 122825666   
54.44/48.84	c (45,0) c decisions/conflicts      : 1.79        
54.44/48.84	c (45,0) c conflicts                : 129735      (3175.96   / sec)
54.44/48.84	c (45,0) c conf lits non-minim      : 8441360     (65.07     lit/confl)
54.44/48.84	c (45,0) c conf lits final          : 33.07       
54.44/48.84	c (45,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
54.44/48.84	c (45,0) c red which0               : 9600        (7.40      % of confl)
54.44/48.84	c (45,0) c props/decision           : 0.00        
54.44/48.84	c (45,0) c props/conflict           : 0.00        
54.44/48.84	c (45,0) c 0-depth assigns          : 3043        (81.39     % vars)
54.44/48.84	c (45,0) c 0-depth assigns by CNF   : 458         (12.25     % vars)
54.44/48.84	c (45,0) c reduceDB time            : 0.03        (0.06      % time)
54.44/48.84	c (45,0) c OccSimplifier time       : 0.46        (1.03      % time)
54.44/48.84	c (45,0) c [occur] 0.07 is overhead
54.44/48.84	c (45,0) c [occur] link-in T: 0.05 cleanup T: 0.02
54.44/48.84	c (45,0) c [occ-substr] long subBySub: 580 subByStr: 5 lits-rem-str: 1133 T: 0.28
54.44/48.84	c (45,0) c SCC time                 : 0.01        (0.02      % time)
54.44/48.84	c (45,0) c [scc] new: 1565 BP 0M  T: 0.01
54.44/48.84	c (45,0) c vrep replace time        : 0.16        (0.36      % time)
54.44/48.84	c (45,0) c vrep tree roots          : 533         
54.44/48.84	c (45,0) c vrep trees' crown        : 1526        (2.86      leafs/tree)
54.44/48.84	c (45,0) c distill time             : 10.31       (23.05     % time)
54.44/48.84	c (45,0) c strength cache-irred time: 0.24        (0.54      % time)
54.44/48.84	c (45,0) c strength cache-red time  : 0.08        (0.17      % time)
54.44/48.84	c (45,0) c Conflicts in UIP         : 129735      (2899.87   confl/time_this_thread)
54.44/48.84	c (45,0) c Mem used                 : 50.08       MB
54.44/48.84	c (45,0) c Total time (this thread) : 44.74       
54.44/48.84	c (45,0) s UNSATISFIABLE
54.44/48.85	c (45,0) SatSolver.solve End
54.44/48.85	c (45,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
54.44/48.85	c (45,0) Show results Begin
54.44/48.85	s UNSATISFIABLE
54.44/48.85	c (45,0) Show results End
54.44/48.85	c (45,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
54.44/48.85	c (45,0) 45,45,STOP-AFTER(ALL)
54.44/48.85	c END-Prog: Thu Sep 12 14:07:51 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 (14335 MiB free)
  memory of node 1: 16384 MiB (15384 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387765-1568290064/watcher-4387765-1568290064 -o /tmp/evaluation-result-4387765-1568290064/solver-4387765-1568290064 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568289862-20802 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387765-1568290064.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=20978, runsolver pid=20975

[startup+0.100058 s]*
/proc/loadavg: 2.19 3.62 4.41 4/238 20995
/proc/meminfo: memFree=30376908/32770624 swapFree=66915628/67108860
[pid=20978] ppid=20975 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20978/stat : 20978 (scop.sh) S 20975 20978 20770 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405256921 115843072 349 33554432000 4194304 5098028 140727052537504 140727052534760 139642675741308 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38416384 140727052542819 140727052543088 140727052543088 140727052545997 0
/proc/20978/statm: 28282 349 296 221 0 87 0
[pid=20981] ppid=20978 vsize=15012696 memory=69032 CPUtime=0.12 cores=1,3,5,7
/proc/20981/stat : 20981 (java) S 20978 20978 20770 0 -1 1077944320 7106 0 0 0 10 2 0 0 20 0 15 0 405256922 15373000704 17258 33554432000 4194304 4196468 140731752786688 140731752769232 140353319169783 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
/proc/20981/statm: 3753174 17258 2919 1 0 3715579 0
[pid=20981/tid=20982] ppid=20978 vsize=15012696 memory=-6149239525118099393 CPUtime=0.08 cores=1,3,5,7
/proc/20981/task/20982/stat : 20982 (java) R 20978 20978 20770 0 -1 4202560 4805 0 0 0 7 1 0 0 20 0 15 0 405256922 15373000704 17324 33554432000 4194304 4196468 140731752786688 140353290964944 140353303250270 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20983] ppid=20978 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20983/stat : 20983 (java) S 20978 20978 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405256924 15373000704 17324 33554432000 4194304 4196468 140731752786688 140353323411984 140353319179989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20984] ppid=20978 vsize=15012696 memory=139969839101568 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20984/stat : 20984 (java) S 20978 20978 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405256924 15373000704 17324 33554432000 4194304 4196468 140731752786688 140352779442832 140353319179989 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20985] ppid=20978 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20985/stat : 20985 (java) S 20978 20978 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405256924 15373000704 17324 33554432000 4194304 4196468 140731752786688 140352778389776 140353319179989 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20986] ppid=20978 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20986/stat : 20986 (java) S 20978 20978 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405256924 15373000704 17324 33554432000 4194304 4196468 140731752786688 140352777337232 140353319179989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20987] ppid=20978 vsize=15012696 memory=139969839101568 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20987/stat : 20987 (java) S 20978 20978 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405256925 15373000704 17324 33554432000 4194304 4196468 140731752786688 140352154475248 140353319180930 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20988] ppid=20978 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20988/stat : 20988 (java) S 20978 20978 20770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405256925 15373000704 17324 33554432000 4194304 4196468 140731752786688 140351947925152 140353319179989 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20989] ppid=20978 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20989/stat : 20989 (java) S 20978 20978 20770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405256926 15373000704 17324 33554432000 4194304 4196468 140731752786688 140351813702896 140353319179989 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20990] ppid=20978 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20990/stat : 20990 (java) S 20978 20978 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405256928 15373000704 17324 33554432000 4194304 4196468 140731752786688 140351439198672 140353319188379 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20991] ppid=20978 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20991/stat : 20991 (java) S 20978 20978 20770 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 15 0 405256928 15373000704 17324 33554432000 4194304 4196468 140731752786688 140352153422064 140353319180930 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20992] ppid=20978 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20992/stat : 20992 (java) S 20978 20978 20770 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 15 0 405256928 15373000704 17324 33554432000 4194304 4196468 140731752786688 140352152369520 140353319180930 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20993] ppid=20978 vsize=15012696 memory=139969839101568 CPUtime=0.01 cores=1,3,5,7
/proc/20981/task/20993/stat : 20993 (java) R 20978 20978 20770 0 -1 4202560 471 0 0 0 1 0 0 0 20 0 15 0 405256928 15373000704 17324 33554432000 4194304 4196468 140731752786688 140352151316464 140353297659057 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20994] ppid=20978 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20994/stat : 20994 (java) S 20978 20978 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405256928 15373000704 17324 33554432000 4194304 4196468 140731752786688 140350941292896 140353319179989 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20995] ppid=20978 vsize=15012696 memory=139969839101568 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20995/stat : 20995 (java) S 20978 20978 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405256928 15373000704 17324 33554432000 4194304 4196468 140731752786688 140351679482928 140353319180930 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 70428 KiB

[startup+0.211033 s]*
/proc/loadavg: 2.19 3.62 4.41 3/238 20995
/proc/meminfo: memFree=30358164/32770624 swapFree=66915628/67108860
[pid=20978] ppid=20975 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20978/stat : 20978 (scop.sh) S 20975 20978 20770 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405256921 115843072 349 33554432000 4194304 5098028 140727052537504 140727052534760 139642675741308 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38416384 140727052542819 140727052543088 140727052543088 140727052545997 0
/proc/20978/statm: 28282 349 296 221 0 87 0
[pid=20981] ppid=20978 vsize=15012696 memory=84888 CPUtime=0.25 cores=1,3,5,7
/proc/20981/stat : 20981 (java) S 20978 20978 20770 0 -1 1077944320 12278 0 0 0 22 3 0 0 20 0 15 0 405256922 15373000704 21222 33554432000 4194304 4196468 140731752786688 140731752769232 140353319169783 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
/proc/20981/statm: 3753174 21222 2988 1 0 3715579 0
[pid=20981/tid=20982] ppid=20978 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/20981/task/20982/stat : 20982 (java) R 20978 20978 20770 0 -1 4202560 9874 0 0 0 17 3 0 0 20 0 15 0 405256922 15373000704 21222 33554432000 4194304 4196468 140731752786688 140353290991136 140353319191709 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20983] ppid=20978 vsize=15012696 memory=398 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20983/stat : 20983 (java) S 20978 20978 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405256924 15373000704 21222 33554432000 4194304 4196468 140731752786688 140353323411984 140353319179989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20984] ppid=20978 vsize=15012696 memory=288370345990813312 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20984/stat : 20984 (java) S 20978 20978 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405256924 15373000704 21222 33554432000 4194304 4196468 140731752786688 140352779442832 140353319179989 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20985] ppid=20978 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20985/stat : 20985 (java) S 20978 20978 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405256924 15373000704 21222 33554432000 4194304 4196468 140731752786688 140352778389776 140353319179989 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20986] ppid=20978 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20986/stat : 20986 (java) S 20978 20978 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405256924 15373000704 21222 33554432000 4194304 4196468 140731752786688 140352777337232 140353319179989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20987] ppid=20978 vsize=15012696 memory=139969839101568 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20987/stat : 20987 (java) S 20978 20978 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405256925 15373000704 21222 33554432000 4194304 4196468 140731752786688 140352154475248 140353319180930 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20988] ppid=20978 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20988/stat : 20988 (java) S 20978 20978 20770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405256925 15373000704 21222 33554432000 4194304 4196468 140731752786688 140351947925152 140353319179989 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20989] ppid=20978 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20989/stat : 20989 (java) S 20978 20978 20770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405256926 15373000704 21222 33554432000 4194304 4196468 140731752786688 140351813702896 140353319179989 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20990] ppid=20978 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20990/stat : 20990 (java) S 20978 20978 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405256928 15373000704 21222 33554432000 4194304 4196468 140731752786688 140351439198672 140353319188379 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20991] ppid=20978 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20991/stat : 20991 (java) S 20978 20978 20770 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 15 0 405256928 15373000704 21222 33554432000 4194304 4196468 140731752786688 140352153422064 140353319180930 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20992] ppid=20978 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20992/stat : 20992 (java) S 20978 20978 20770 0 -1 1077944384 207 0 0 0 0 0 0 0 20 0 15 0 405256928 15373000704 21222 33554432000 4194304 4196468 140731752786688 140352152369520 140353319180930 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20993] ppid=20978 vsize=15012696 memory=139969839101568 CPUtime=0.03 cores=1,3,5,7
/proc/20981/task/20993/stat : 20993 (java) S 20978 20978 20770 0 -1 1077944384 515 0 0 0 3 0 0 0 20 0 15 0 405256928 15373000704 21222 33554432000 4194304 4196468 140731752786688 140352151316464 140353319180930 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20994] ppid=20978 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20994/stat : 20994 (java) S 20978 20978 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405256928 15373000704 21222 33554432000 4194304 4196468 140731752786688 140350941292896 140353319179989 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20995] ppid=20978 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20995/stat : 20995 (java) S 20978 20978 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405256928 15373000704 21222 33554432000 4194304 4196468 140731752786688 140351679482928 140353319180930 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 86284 KiB

[startup+0.31312 s]*
/proc/loadavg: 2.19 3.62 4.41 3/238 20995
/proc/meminfo: memFree=30354752/32770624 swapFree=66915628/67108860
[pid=20978] ppid=20975 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20978/stat : 20978 (scop.sh) S 20975 20978 20770 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405256921 115843072 349 33554432000 4194304 5098028 140727052537504 140727052534760 139642675741308 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38416384 140727052542819 140727052543088 140727052543088 140727052545997 0
/proc/20978/statm: 28282 349 296 221 0 87 0
[pid=20981] ppid=20978 vsize=15012696 memory=88932 CPUtime=0.44 cores=1,3,5,7
/proc/20981/stat : 20981 (java) S 20978 20978 20770 0 -1 1077944320 13325 0 0 0 40 4 0 0 20 0 15 0 405256922 15373000704 22233 33554432000 4194304 4196468 140731752786688 140731752769232 140353319169783 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
/proc/20981/statm: 3753174 22233 3062 1 0 3715579 0
[pid=20981/tid=20982] ppid=20978 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/20981/task/20982/stat : 20982 (java) R 20978 20978 20770 0 -1 4202560 10615 0 0 0 27 3 0 0 20 0 15 0 405256922 15373000704 22233 33554432000 4194304 4196468 140731752786688 140353290952800 140353300733312 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20983] ppid=20978 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20983/stat : 20983 (java) S 20978 20978 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405256924 15373000704 22233 33554432000 4194304 4196468 140731752786688 140353323411984 140353319179989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20984] ppid=20978 vsize=15012696 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20984/stat : 20984 (java) S 20978 20978 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405256924 15373000704 22233 33554432000 4194304 4196468 140731752786688 140352779442832 140353319179989 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20985] ppid=20978 vsize=15012696 memory=7161331908245094050 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20985/stat : 20985 (java) S 20978 20978 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405256924 15373000704 22233 33554432000 4194304 4196468 140731752786688 140352778389776 140353319179989 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20986] ppid=20978 vsize=15012696 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20986/stat : 20986 (java) S 20978 20978 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405256924 15373000704 22233 33554432000 4194304 4196468 140731752786688 140352777337232 140353319179989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20987] ppid=20978 vsize=15012696 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20987/stat : 20987 (java) S 20978 20978 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405256925 15373000704 22233 33554432000 4194304 4196468 140731752786688 140352154475248 140353319180930 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20988] ppid=20978 vsize=15012696 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20988/stat : 20988 (java) S 20978 20978 20770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405256925 15373000704 22233 33554432000 4194304 4196468 140731752786688 140351947925152 140353319179989 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20989] ppid=20978 vsize=15012696 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20989/stat : 20989 (java) S 20978 20978 20770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405256926 15373000704 22233 33554432000 4194304 4196468 140731752786688 140351813702896 140353319179989 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20990] ppid=20978 vsize=15012696 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20990/stat : 20990 (java) S 20978 20978 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405256928 15373000704 22233 33554432000 4194304 4196468 140731752786688 140351439198672 140353319188379 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20991] ppid=20978 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20981/task/20991/stat : 20991 (java) S 20978 20978 20770 0 -1 1077944384 423 0 0 0 2 0 0 0 20 0 15 0 405256928 15373000704 22233 33554432000 4194304 4196468 140731752786688 140352153422064 140353319180930 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20992] ppid=20978 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20981/task/20992/stat : 20992 (java) S 20978 20978 20770 0 -1 1077944384 290 0 0 0 2 0 0 0 20 0 15 0 405256928 15373000704 22233 33554432000 4194304 4196468 140731752786688 140352152369520 140353319180930 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20993] ppid=20978 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20981/task/20993/stat : 20993 (java) S 20978 20978 20770 0 -1 1077944384 646 0 0 0 7 0 0 0 20 0 15 0 405256928 15373000704 22233 33554432000 4194304 4196468 140731752786688 140352151316464 140353319180930 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20994] ppid=20978 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20994/stat : 20994 (java) S 20978 20978 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405256928 15373000704 22233 33554432000 4194304 4196468 140731752786688 140350941292896 140353319179989 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20995] ppid=20978 vsize=15012696 memory=3617014130905522225 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20995/stat : 20995 (java) S 20978 20978 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405256928 15373000704 22233 33554432000 4194304 4196468 140731752786688 140351679482928 140353319180930 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90328 KiB

[startup+0.703368 s]
/proc/loadavg: 2.19 3.62 4.41 3/238 20995
/proc/meminfo: memFree=30333560/32770624 swapFree=66915628/67108860
[pid=20978] ppid=20975 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20978/stat : 20978 (scop.sh) S 20975 20978 20770 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405256921 115843072 349 33554432000 4194304 5098028 140727052537504 140727052534760 139642675741308 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38416384 140727052542819 140727052543088 140727052543088 140727052545997 0
/proc/20978/statm: 28282 349 296 221 0 87 0
[pid=20981] ppid=20978 vsize=15021092 memory=127072 CPUtime=0.99 cores=1,3,5,7
/proc/20981/stat : 20981 (java) S 20978 20978 20770 0 -1 1077944320 20737 0 0 0 93 6 0 0 20 0 15 0 405256922 15381598208 31768 33554432000 4194304 4196468 140731752786688 140731752769232 140353319169783 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
/proc/20981/statm: 3755273 31768 3202 1 0 3716603 0
[pid=20981/tid=20982] ppid=20978 vsize=15021092 memory=2372 CPUtime=0.68 cores=1,3,5,7
/proc/20981/task/20982/stat : 20982 (java) R 20978 20978 20770 0 -1 4202560 17531 0 0 0 63 5 0 0 20 0 15 0 405256922 15381598208 31768 33554432000 4194304 4196468 140731752786688 140353291005664 140353303250270 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20983] ppid=20978 vsize=15021092 memory=116 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20983/stat : 20983 (java) S 20978 20978 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405256924 15381598208 31768 33554432000 4194304 4196468 140731752786688 140353323411984 140353319179989 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20984] ppid=20978 vsize=15021092 memory=13812 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20984/stat : 20984 (java) S 20978 20978 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405256924 15381598208 31768 33554432000 4194304 4196468 140731752786688 140352779442832 140353319179989 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20985] ppid=20978 vsize=15021092 memory=24080 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20985/stat : 20985 (java) S 20978 20978 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405256924 15381598208 31768 33554432000 4194304 4196468 140731752786688 140352778389776 140353319179989 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20986] ppid=20978 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20986/stat : 20986 (java) S 20978 20978 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405256924 15381598208 31768 33554432000 4194304 4196468 140731752786688 140352777337232 140353319179989 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20987] ppid=20978 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20987/stat : 20987 (java) S 20978 20978 20770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405256925 15381598208 31768 33554432000 4194304 4196468 140731752786688 140352154475248 140353319180930 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20988] ppid=20978 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20988/stat : 20988 (java) S 20978 20978 20770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405256925 15381598208 31768 33554432000 4194304 4196468 140731752786688 140351947925152 140353319179989 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20989] ppid=20978 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20989/stat : 20989 (java) S 20978 20978 20770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405256926 15381598208 31768 33554432000 4194304 4196468 140731752786688 140351813702896 140353319179989 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20990] ppid=20978 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20990/stat : 20990 (java) S 20978 20978 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405256928 15381598208 31768 33554432000 4194304 4196468 140731752786688 140351439198672 140353319188379 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20991] ppid=20978 vsize=15021092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20981/task/20991/stat : 20991 (java) R 20978 20978 20770 0 -1 4202560 652 0 0 0 8 0 0 0 20 0 15 0 405256928 15381598208 31768 33554432000 4194304 4196468 140731752786688 140352153412448 140353300715401 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20992] ppid=20978 vsize=15021092 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/20981/task/20992/stat : 20992 (java) S 20978 20978 20770 0 -1 1077944384 371 0 0 0 6 0 0 0 20 0 15 0 405256928 15381598208 31768 33554432000 4194304 4196468 140731752786688 140352152369520 140353319180930 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20993] ppid=20978 vsize=15021092 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/20981/task/20993/stat : 20993 (java) S 20978 20978 20770 0 -1 1077944384 829 0 0 0 15 0 0 0 20 0 15 0 405256928 15381598208 31768 33554432000 4194304 4196468 140731752786688 140352151316464 140353319180930 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20994] ppid=20978 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20994/stat : 20994 (java) S 20978 20978 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405256928 15381598208 31768 33554432000 4194304 4196468 140731752786688 140350941292896 140353319179989 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
[pid=20981/tid=20995] ppid=20978 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20981/task/20995/stat : 20995 (java) S 20978 20978 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405256928 15381598208 31768 33554432000 4194304 4196468 140731752786688 140351679482928 140353319180930 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9310208 140731752788777 140731752789146 140731752789146 140731752792015 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 128468 KiB

[startup+1.50131 s]
/proc/loadavg: 2.19 3.62 4.41 5/238 20995
/proc/meminfo: memFree=30305012/32770624 swapFree=66915628/67108860
[pid=20978] ppid=20975 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20978/stat : 20978 (scop.sh) S 20975 20978 20770 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405256921 115843072 349 33554432000 4194304 5098028 140727052537504 140727052534760 139642675741308 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38416384 140727052542819 140727052543088 140727052543088 140727052545997 0
/proc/20978/statm: 28282 349 296 221 0 87 0

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

Current children cumulated CPU time: 52.24 s
Current children cumulated vsize: 8258524 KiB
Current children cumulated memory: 167920 KiB

[startup+48.2009 s]*
/proc/loadavg: 2.16 3.40 4.29 3/243 21019
/proc/meminfo: memFree=30261196/32770624 swapFree=66915628/67108860
[pid=20978] ppid=20975 vsize=113128 memory=1476 CPUtime=8.51 cores=1,3,5,7
/proc/20978/stat : 20978 (scop.sh) S 20975 20978 20770 0 -1 4202496 583 28742 0 0 0 0 828 23 20 0 1 0 405256921 115843072 369 33554432000 4194304 5098028 140727052537504 140727052534248 139642675741308 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38416384 140727052542819 140727052543088 140727052543088 140727052545997 0
/proc/20978/statm: 28282 369 311 221 0 87 0
[pid=20996] ppid=20978 vsize=8068440 memory=119288 CPUtime=1.19 cores=1,3,5,7
/proc/20996/stat : 20996 (java) S 20978 20978 20770 0 -1 1077944320 19804 0 0 0 111 8 0 0 20 0 19 0 405257255 8262082560 29822 33554432000 4194304 4196468 140736890138768 140736890121312 139723668324087 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
/proc/20996/statm: 2017110 29822 3209 1 0 1978454 0
[pid=21011] ppid=20996 vsize=76956 memory=51284 CPUtime=44.15 cores=1,3,5,7
/proc/21011/stat : 21011 (cryptominisat5) R 20996 20978 20770 0 -1 4202496 37623 0 0 0 4410 5 0 0 20 0 1 0 405257326 78802944 12821 33554432000 4194304 4451008 140731972653472 140731972649400 140559292702928 0 4 0 2 0 0 0 17 5 0 0 0 0 0 6549032 6559120 10788864 140731972658108 140731972658240 140731972658240 140731972661190 0
/proc/21011/statm: 19239 12821 740 63 0 12966 0
[pid=20996/tid=20997] ppid=20978 vsize=8068440 memory=8039887049847965355 CPUtime=0.73 cores=1,3,5,7
/proc/20996/task/20997/stat : 20997 (java) S 20978 20978 20770 0 -1 1077944384 16362 0 0 0 68 5 0 0 20 0 19 0 405257256 8262082560 29822 33554432000 4194304 4196468 140736890138768 139723640164256 139723668334293 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=20998] ppid=20978 vsize=8068440 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/20996/task/20998/stat : 20998 (java) S 20978 20978 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405257257 8262082560 29822 33554432000 4194304 4196468 140736890138768 139723672566416 139723668334293 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=20999] ppid=20978 vsize=8068440 memory=944 CPUtime=0 cores=1,3,5,7
/proc/20996/task/20999/stat : 20999 (java) S 20978 20978 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405257257 8262082560 29822 33554432000 4194304 4196468 140736890138768 139723478329872 139723668334293 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21000] ppid=20978 vsize=8068440 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/20996/task/21000/stat : 21000 (java) S 20978 20978 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405257257 8262082560 29822 33554432000 4194304 4196468 140736890138768 139723477277072 139723668334293 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21001] ppid=20978 vsize=8068440 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/20996/task/21001/stat : 21001 (java) S 20978 20978 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405257257 8262082560 29822 33554432000 4194304 4196468 140736890138768 139723476224272 139723668334293 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21002] ppid=20978 vsize=8068440 memory=5948 CPUtime=0 cores=1,3,5,7
/proc/20996/task/21002/stat : 21002 (java) S 20978 20978 20770 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 405257258 8262082560 29822 33554432000 4194304 4196468 140736890138768 139723046583152 139723668335234 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21003] ppid=20978 vsize=8068440 memory=47156 CPUtime=0 cores=1,3,5,7
/proc/20996/task/21003/stat : 21003 (java) S 20978 20978 20770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405257258 8262082560 29822 33554432000 4194304 4196468 140736890138768 139722533889568 139723668334293 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21004] ppid=20978 vsize=8068440 memory=776 CPUtime=0 cores=1,3,5,7
/proc/20996/task/21004/stat : 21004 (java) S 20978 20978 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405257259 8262082560 29822 33554432000 4194304 4196468 140736890138768 139722265453936 139723668334293 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21005] ppid=20978 vsize=8068440 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/20996/task/21005/stat : 21005 (java) S 20978 20978 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405257261 8262082560 29822 33554432000 4194304 4196468 140736890138768 139721890945360 139723668342683 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21006] ppid=20978 vsize=8068440 memory=18724 CPUtime=0.09 cores=1,3,5,7
/proc/20996/task/21006/stat : 21006 (java) S 20978 20978 20770 0 -1 1077944384 644 0 0 0 9 0 0 0 20 0 19 0 405257261 8262082560 29822 33554432000 4194304 4196468 140736890138768 139723045529968 139723668335234 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21007] ppid=20978 vsize=8068440 memory=11936 CPUtime=0.09 cores=1,3,5,7
/proc/20996/task/21007/stat : 21007 (java) S 20978 20978 20770 0 -1 1077944384 394 0 0 0 9 0 0 0 20 0 19 0 405257261 8262082560 29822 33554432000 4194304 4196468 140736890138768 139723044477168 139723668335234 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21008] ppid=20978 vsize=8068440 memory=2116 CPUtime=0.21 cores=1,3,5,7
/proc/20996/task/21008/stat : 21008 (java) S 20978 20978 20770 0 -1 1077944384 987 0 0 0 21 0 0 0 20 0 19 0 405257261 8262082560 29822 33554432000 4194304 4196468 140736890138768 139723043424368 139723668335234 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21009] ppid=20978 vsize=8068440 memory=500 CPUtime=0 cores=1,3,5,7
/proc/20996/task/21009/stat : 21009 (java) S 20978 20978 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405257261 8262082560 29822 33554432000 4194304 4196468 140736890138768 139721393039584 139723668334293 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21010] ppid=20978 vsize=8068440 memory=1556 CPUtime=0.01 cores=1,3,5,7
/proc/20996/task/21010/stat : 21010 (java) S 20978 20978 20770 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 19 0 405257261 8262082560 29822 33554432000 4194304 4196468 140736890138768 139723042372784 139723668335234 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21012] ppid=20978 vsize=8068440 memory=928 CPUtime=0 cores=1,3,5,7
/proc/20996/task/21012/stat : 21012 (java) S 20978 20978 20770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405257326 8262082560 29822 33554432000 4194304 4196468 140736890138768 139723473688256 139723668348697 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21014] ppid=20978 vsize=8068440 memory=1460 CPUtime=0.01 cores=1,3,5,7
/proc/20996/task/21014/stat : 21014 (java) S 20978 20978 20770 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 19 0 405257326 8262082560 29822 33554432000 4194304 4196468 140736890138768 139720856153840 139723668346013 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21015] ppid=20978 vsize=8068440 memory=912 CPUtime=0 cores=1,3,5,7
/proc/20996/task/21015/stat : 21015 (java) S 20978 20978 20770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405257326 8262082560 29822 33554432000 4194304 4196468 140736890138768 139720990375568 139723668346013 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21016] ppid=20978 vsize=8068440 memory=8039887049847965355 CPUtime=0 cores=1,3,5,7
/proc/20996/task/21016/stat : 21016 (java) S 20978 20978 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405257328 8262082560 29822 33554432000 4194304 4196468 140736890138768 139720587730096 139723668334293 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
Current children cumulated CPU time: 53.85 s
Current children cumulated vsize: 8258524 KiB
Current children cumulated memory: 172048 KiB

[startup+48.6009 s]
/proc/loadavg: 2.16 3.40 4.29 3/243 21019
/proc/meminfo: memFree=30261196/32770624 swapFree=66915628/67108860
[pid=20978] ppid=20975 vsize=113128 memory=1476 CPUtime=8.51 cores=1,3,5,7
/proc/20978/stat : 20978 (scop.sh) S 20975 20978 20770 0 -1 4202496 583 28742 0 0 0 0 828 23 20 0 1 0 405256921 115843072 369 33554432000 4194304 5098028 140727052537504 140727052534248 139642675741308 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38416384 140727052542819 140727052543088 140727052543088 140727052545997 0
/proc/20978/statm: 28282 369 311 221 0 87 0
[pid=20996] ppid=20978 vsize=8068440 memory=119288 CPUtime=1.19 cores=1,3,5,7
/proc/20996/stat : 20996 (java) S 20978 20978 20770 0 -1 1077944320 19804 0 0 0 111 8 0 0 20 0 19 0 405257255 8262082560 29822 33554432000 4194304 4196468 140736890138768 140736890121312 139723668324087 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
/proc/20996/statm: 2017110 29822 3209 1 0 1978454 0
[pid=21011] ppid=20996 vsize=76956 memory=51284 CPUtime=44.54 cores=1,3,5,7
/proc/21011/stat : 21011 (cryptominisat5) R 20996 20978 20770 0 -1 4202496 37635 0 0 0 4449 5 0 0 20 0 1 0 405257326 78802944 12821 33554432000 4194304 4451008 140731972653472 140731972649400 140559292703622 0 4 0 2 0 0 0 17 5 0 0 0 0 0 6549032 6559120 10788864 140731972658108 140731972658240 140731972658240 140731972661190 0
/proc/21011/statm: 19239 12821 740 63 0 12966 0
[pid=20996/tid=20997] ppid=20978 vsize=8068440 memory=119288 CPUtime=0.73 cores=1,3,5,7
/proc/20996/task/20997/stat : 20997 (java) S 20978 20978 20770 0 -1 1077944384 16362 0 0 0 68 5 0 0 20 0 19 0 405257256 8262082560 29822 33554432000 4194304 4196468 140736890138768 139723640164256 139723668334293 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=20998] ppid=20978 vsize=8068440 memory=44496 CPUtime=0 cores=1,3,5,7
/proc/20996/task/20998/stat : 20998 (java) S 20978 20978 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405257257 8262082560 29822 33554432000 4194304 4196468 140736890138768 139723672566416 139723668334293 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=20999] ppid=20978 vsize=8068440 memory=500 CPUtime=0 cores=1,3,5,7
/proc/20996/task/20999/stat : 20999 (java) S 20978 20978 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405257257 8262082560 29822 33554432000 4194304 4196468 140736890138768 139723478329872 139723668334293 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21000] ppid=20978 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/20996/task/21000/stat : 21000 (java) S 20978 20978 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405257257 8262082560 29822 33554432000 4194304 4196468 140736890138768 139723477277072 139723668334293 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21001] ppid=20978 vsize=8068440 memory=119288 CPUtime=0 cores=1,3,5,7
/proc/20996/task/21001/stat : 21001 (java) S 20978 20978 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405257257 8262082560 29822 33554432000 4194304 4196468 140736890138768 139723476224272 139723668334293 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21002] ppid=20978 vsize=8068440 memory=51284 CPUtime=0 cores=1,3,5,7
/proc/20996/task/21002/stat : 21002 (java) S 20978 20978 20770 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 405257258 8262082560 29822 33554432000 4194304 4196468 140736890138768 139723046583152 139723668335234 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21003] ppid=20978 vsize=8068440 memory=776 CPUtime=0 cores=1,3,5,7
/proc/20996/task/21003/stat : 21003 (java) S 20978 20978 20770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405257258 8262082560 29822 33554432000 4194304 4196468 140736890138768 139722533889568 139723668334293 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21004] ppid=20978 vsize=8068440 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/20996/task/21004/stat : 21004 (java) S 20978 20978 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405257259 8262082560 29822 33554432000 4194304 4196468 140736890138768 139722265453936 139723668334293 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21005] ppid=20978 vsize=8068440 memory=1640 CPUtime=0 cores=1,3,5,7
/proc/20996/task/21005/stat : 21005 (java) S 20978 20978 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405257261 8262082560 29822 33554432000 4194304 4196468 140736890138768 139721890945360 139723668342683 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21006] ppid=20978 vsize=8068440 memory=4100 CPUtime=0.09 cores=1,3,5,7
/proc/20996/task/21006/stat : 21006 (java) S 20978 20978 20770 0 -1 1077944384 644 0 0 0 9 0 0 0 20 0 19 0 405257261 8262082560 29822 33554432000 4194304 4196468 140736890138768 139723045529968 139723668335234 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21007] ppid=20978 vsize=8068440 memory=1808 CPUtime=0.09 cores=1,3,5,7
/proc/20996/task/21007/stat : 21007 (java) S 20978 20978 20770 0 -1 1077944384 394 0 0 0 9 0 0 0 20 0 19 0 405257261 8262082560 29822 33554432000 4194304 4196468 140736890138768 139723044477168 139723668335234 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21008] ppid=20978 vsize=8068440 memory=920 CPUtime=0.21 cores=1,3,5,7
/proc/20996/task/21008/stat : 21008 (java) S 20978 20978 20770 0 -1 1077944384 987 0 0 0 21 0 0 0 20 0 19 0 405257261 8262082560 29822 33554432000 4194304 4196468 140736890138768 139723043424368 139723668335234 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21009] ppid=20978 vsize=8068440 memory=3804 CPUtime=0 cores=1,3,5,7
/proc/20996/task/21009/stat : 21009 (java) S 20978 20978 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405257261 8262082560 29822 33554432000 4194304 4196468 140736890138768 139721393039584 139723668334293 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21010] ppid=20978 vsize=8068440 memory=2304 CPUtime=0.01 cores=1,3,5,7
/proc/20996/task/21010/stat : 21010 (java) S 20978 20978 20770 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 19 0 405257261 8262082560 29822 33554432000 4194304 4196468 140736890138768 139723042372784 139723668335234 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21012] ppid=20978 vsize=8068440 memory=2652 CPUtime=0 cores=1,3,5,7
/proc/20996/task/21012/stat : 21012 (java) S 20978 20978 20770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405257326 8262082560 29822 33554432000 4194304 4196468 140736890138768 139723473688256 139723668348697 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21014] ppid=20978 vsize=8068440 memory=1412 CPUtime=0.01 cores=1,3,5,7
/proc/20996/task/21014/stat : 21014 (java) S 20978 20978 20770 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 19 0 405257326 8262082560 29822 33554432000 4194304 4196468 140736890138768 139720856153840 139723668346013 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21015] ppid=20978 vsize=8068440 memory=3364 CPUtime=0 cores=1,3,5,7
/proc/20996/task/21015/stat : 21015 (java) S 20978 20978 20770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405257326 8262082560 29822 33554432000 4194304 4196468 140736890138768 139720990375568 139723668346013 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21016] ppid=20978 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/20996/task/21016/stat : 21016 (java) S 20978 20978 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405257328 8262082560 29822 33554432000 4194304 4196468 140736890138768 139720587730096 139723668334293 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
Current children cumulated CPU time: 54.24 s
Current children cumulated vsize: 8258524 KiB
Current children cumulated memory: 172048 KiB

[startup+48.8009 s]
/proc/loadavg: 2.16 3.40 4.29 3/243 21019
/proc/meminfo: memFree=30261196/32770624 swapFree=66915628/67108860
[pid=20978] ppid=20975 vsize=113128 memory=1476 CPUtime=8.51 cores=1,3,5,7
/proc/20978/stat : 20978 (scop.sh) S 20975 20978 20770 0 -1 4202496 583 28742 0 0 0 0 828 23 20 0 1 0 405256921 115843072 369 33554432000 4194304 5098028 140727052537504 140727052534248 139642675741308 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38416384 140727052542819 140727052543088 140727052543088 140727052545997 0
/proc/20978/statm: 28282 369 311 221 0 87 0
[pid=20996] ppid=20978 vsize=8068440 memory=119288 CPUtime=1.19 cores=1,3,5,7
/proc/20996/stat : 20996 (java) S 20978 20978 20770 0 -1 1077944320 19804 0 0 0 111 8 0 0 20 0 19 0 405257255 8262082560 29822 33554432000 4194304 4196468 140736890138768 140736890121312 139723668324087 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
/proc/20996/statm: 2017110 29822 3209 1 0 1978454 0
[pid=21011] ppid=20996 vsize=76956 memory=51284 CPUtime=44.74 cores=1,3,5,7
/proc/21011/stat : 21011 (cryptominisat5) R 20996 20978 20770 0 -1 4202496 37640 0 0 0 4469 5 0 0 20 0 1 0 405257326 78802944 12821 33554432000 4194304 4451008 140731972653472 140731972649400 140559293003003 0 4 0 2 0 0 0 17 5 0 0 0 0 0 6549032 6559120 10788864 140731972658108 140731972658240 140731972658240 140731972661190 0
/proc/21011/statm: 19239 12821 740 63 0 12966 0
[pid=20996/tid=20997] ppid=20978 vsize=8068440 memory=3056 CPUtime=0.73 cores=1,3,5,7
/proc/20996/task/20997/stat : 20997 (java) S 20978 20978 20770 0 -1 1077944384 16362 0 0 0 68 5 0 0 20 0 19 0 405257256 8262082560 29822 33554432000 4194304 4196468 140736890138768 139723640164256 139723668334293 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=20998] ppid=20978 vsize=8068440 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/20996/task/20998/stat : 20998 (java) S 20978 20978 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405257257 8262082560 29822 33554432000 4194304 4196468 140736890138768 139723672566416 139723668334293 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=20999] ppid=20978 vsize=8068440 memory=288230583166042425 CPUtime=0 cores=1,3,5,7
/proc/20996/task/20999/stat : 20999 (java) S 20978 20978 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405257257 8262082560 29822 33554432000 4194304 4196468 140736890138768 139723478329872 139723668334293 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21000] ppid=20978 vsize=8068440 memory=16097061523163479 CPUtime=0 cores=1,3,5,7
/proc/20996/task/21000/stat : 21000 (java) S 20978 20978 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405257257 8262082560 29822 33554432000 4194304 4196468 140736890138768 139723477277072 139723668334293 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21001] ppid=20978 vsize=8068440 memory=8039887049847965355 CPUtime=0 cores=1,3,5,7
/proc/20996/task/21001/stat : 21001 (java) S 20978 20978 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405257257 8262082560 29822 33554432000 4194304 4196468 140736890138768 139723476224272 139723668334293 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21002] ppid=20978 vsize=8068440 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/20996/task/21002/stat : 21002 (java) S 20978 20978 20770 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 405257258 8262082560 29822 33554432000 4194304 4196468 140736890138768 139723046583152 139723668335234 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21003] ppid=20978 vsize=8068440 memory=776 CPUtime=0 cores=1,3,5,7
/proc/20996/task/21003/stat : 21003 (java) S 20978 20978 20770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405257258 8262082560 29822 33554432000 4194304 4196468 140736890138768 139722533889568 139723668334293 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21004] ppid=20978 vsize=8068440 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/20996/task/21004/stat : 21004 (java) S 20978 20978 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405257259 8262082560 29822 33554432000 4194304 4196468 140736890138768 139722265453936 139723668334293 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21005] ppid=20978 vsize=8068440 memory=18724 CPUtime=0 cores=1,3,5,7
/proc/20996/task/21005/stat : 21005 (java) S 20978 20978 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405257261 8262082560 29822 33554432000 4194304 4196468 140736890138768 139721890945360 139723668342683 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21006] ppid=20978 vsize=8068440 memory=119288 CPUtime=0.09 cores=1,3,5,7
/proc/20996/task/21006/stat : 21006 (java) S 20978 20978 20770 0 -1 1077944384 644 0 0 0 9 0 0 0 20 0 19 0 405257261 8262082560 29822 33554432000 4194304 4196468 140736890138768 139723045529968 139723668335234 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21007] ppid=20978 vsize=8068440 memory=43268 CPUtime=0.09 cores=1,3,5,7
/proc/20996/task/21007/stat : 21007 (java) S 20978 20978 20770 0 -1 1077944384 394 0 0 0 9 0 0 0 20 0 19 0 405257261 8262082560 29822 33554432000 4194304 4196468 140736890138768 139723044477168 139723668335234 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21008] ppid=20978 vsize=8068440 memory=41008 CPUtime=0.21 cores=1,3,5,7
/proc/20996/task/21008/stat : 21008 (java) S 20978 20978 20770 0 -1 1077944384 987 0 0 0 21 0 0 0 20 0 19 0 405257261 8262082560 29822 33554432000 4194304 4196468 140736890138768 139723043424368 139723668335234 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21009] ppid=20978 vsize=8068440 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/20996/task/21009/stat : 21009 (java) S 20978 20978 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405257261 8262082560 29822 33554432000 4194304 4196468 140736890138768 139721393039584 139723668334293 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21010] ppid=20978 vsize=8068440 memory=928 CPUtime=0.01 cores=1,3,5,7
/proc/20996/task/21010/stat : 21010 (java) S 20978 20978 20770 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 19 0 405257261 8262082560 29822 33554432000 4194304 4196468 140736890138768 139723042372784 139723668335234 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21012] ppid=20978 vsize=8068440 memory=1460 CPUtime=0 cores=1,3,5,7
/proc/20996/task/21012/stat : 21012 (java) S 20978 20978 20770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405257326 8262082560 29822 33554432000 4194304 4196468 140736890138768 139723473688256 139723668348697 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21014] ppid=20978 vsize=8068440 memory=8039887049847965355 CPUtime=0.01 cores=1,3,5,7
/proc/20996/task/21014/stat : 21014 (java) S 20978 20978 20770 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 19 0 405257326 8262082560 29822 33554432000 4194304 4196468 140736890138768 139720856153840 139723668346013 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21015] ppid=20978 vsize=8068440 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/20996/task/21015/stat : 21015 (java) S 20978 20978 20770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405257326 8262082560 29822 33554432000 4194304 4196468 140736890138768 139720990375568 139723668346013 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
[pid=20996/tid=21016] ppid=20978 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/20996/task/21016/stat : 21016 (java) S 20978 20978 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405257328 8262082560 29822 33554432000 4194304 4196468 140736890138768 139720587730096 139723668334293 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31752192 140736890143739 140736890143898 140736890143898 140736890146767 0
Current children cumulated CPU time: 54.44 s
Current children cumulated vsize: 8258524 KiB
Current children cumulated memory: 172048 KiB

Child status: 0
Real time (s): 48.8707
CPU time (s): 54.5599
CPU user time (s): 54.1724
CPU system time (s): 0.387551
CPU usage (%): 111.641
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 763396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 54.1724
system time used= 0.387551
maximum resident set size= 764776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87562
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6385
involuntary context switches= 55


# summary of solver processes directly reported to runsolver:
#   pid: 20978
#   total CPU time (s): 54.5599
#   total CPU user time (s): 54.1724
#   total CPU system time (s): 0.387551

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.351562 second user time and 0.610064 second system time

The end

Launcher Data 

Begin job on node134 at 2019-09-12 14:07:02
IDJOB=4387765
IDBENCH=124317
IDSOLVER=2826
FILE ID=node134/4387765-1568290064
RUNJOBID= node134-1568289862-20802
PBS_JOBID= 21701097
Free space on /tmp= 51892 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/Langford/Langford-m1-k4/Langford-4-15.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-4387765-1568290064/watcher-4387765-1568290064 -o /tmp/evaluation-result-4387765-1568290064/solver-4387765-1568290064 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568289862-20802 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387765-1568290064.xml

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

MD5SUM BENCH= bb1ed06e96cb498235a61544b90f533b
RANDOM SEED=1654330162

node134.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.76
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.76
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.76
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.76
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:        30433460 kB
MemAvailable:   31584824 kB
Buffers:           98728 kB
Cached:          1335528 kB
SwapCached:        90700 kB
Active:           530624 kB
Inactive:        1225380 kB
Active(anon):     255044 kB
Inactive(anon):   105752 kB
Active(file):     275580 kB
Inactive(file):  1119628 kB
Unevictable:      110944 kB
Mlocked:          110944 kB
SwapTotal:      67108860 kB
SwapFree:       66915628 kB
Dirty:             20760 kB
Writeback:             0 kB
AnonPages:        351168 kB
Mapped:            54676 kB
Shmem:             30560 kB
Slab:             172360 kB
SReclaimable:     143984 kB
SUnreclaim:        28376 kB
KernelStack:        4144 kB
PageTables:         6360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6096280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    174080 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 51872 MiB
End job on node134 at 2019-09-12 14:07:52