Trace number 4388461

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 25.1815 22.4148

General information on the benchmark

NameXCSP19/ConsecutiveSquarePacking/
ConsecutiveSquarePacking-sp-17-042.xml
MD5SUM30a2df13e8a589268a4af4fb67fb8cf0
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 benchmark9.93882
Satisfiable
(Un)Satisfiability was proved
Number of variables34
Number of constraints136
Number of domains17
Minimum domain size26
Maximum domain size42
Distribution of domain sizes[{"size":26,"count":2},{"size":27,"count":2},{"size":28,"count":2},{"size":29,"count":2},{"size":30,"count":2},{"size":31,"count":2},{"size":32,"count":2},{"size":33,"count":2},{"size":34,"count":2},{"size":35,"count":2},{"size":36,"count":2},{"size":37,"count":2},{"size":38,"count":2},{"size":39,"count":2},{"size":40,"count":2},{"size":41,"count":2},{"size":42,"count":2}]
Minimum variable degree16
Maximum variable degree16
Distribution of variable degrees[{"degree":16,"count":34}]
Minimum constraint arity4
Maximum constraint arity4
Distribution of constraint arities[{"arity":4,"count":136}]
Number of extensional constraints0
Number of intensional constraints136
Distribution of constraint types[{"type":"intension","count":136}]
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-9061-serial-file.bin HOME/instance-4388461-1568298793.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 16:34:54 CEST 2019
0.66/0.55	c PID: 9064
0.66/0.55	c IP: 172.20.3.139
0.66/0.55	c HOST: node139.alineos.net
0.66/0.56	c (0,0) Parsing Begin
1.01/1.04	c (0,0) Parsing End
1.91/1.05	c (0,0) CSP: 34 int (0 aux), 0 bool (0 aux), 136 ctr, max domain size 42
1.91/1.05	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.91/1.05	c (0,0) Constraint Name Generate Begin
1.91/1.06	c (0,0) Ctr:HOME/instance-4388461-1568298793.xml,Add:Le:Num:Or:Var
1.91/1.06	c (0,0) Constraint Name Generate End
1.91/1.06	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.91/1.06	c (0,0) CSP to CSPinCNF Begin
2.02/1.17	c (0,0) translated 14 (10%) constraints
2.02/1.19	c (0,0) translated 28 (20%) constraints
2.02/1.20	c (0,0) translated 41 (30%) constraints
2.23/1.22	c (0,0) translated 55 (40%) constraints
2.23/1.23	c (0,0) translated 68 (50%) constraints
2.23/1.24	c (0,0) translated 82 (60%) constraints
2.23/1.25	c (0,0) translated 96 (70%) constraints
2.23/1.25	c (0,0) translated 109 (80%) constraints
2.23/1.26	c (0,0) translated 123 (90%) constraints
2.23/1.27	c (0,0) translated 136 (100%) constraints
2.23/1.27	c (0,0) ===========================================
2.23/1.29	c (0,0) Hybrid: #OE=34, #LE=0
2.23/1.29	c (0,0) Hybrid
2.23/1.29	c (0,0) ===========================================
2.23/1.30	c (0,0) translated 14 (10%) constraints
2.23/1.30	c (0,0) translated 28 (20%) constraints
2.23/1.30	c (0,0) translated 41 (30%) constraints
2.23/1.31	c (0,0) translated 55 (40%) constraints
2.50/1.31	c (0,0) translated 68 (50%) constraints
2.50/1.31	c (0,0) translated 82 (60%) constraints
2.50/1.32	c (0,0) translated 96 (70%) constraints
2.50/1.32	c (0,0) translated 109 (80%) constraints
2.50/1.32	c (0,0) translated 123 (90%) constraints
2.50/1.33	c (0,0) translated 136 (100%) constraints
2.50/1.33	c (0,0) CSP to CSPinCNF End
2.50/1.33	c (0,0) CSP: 34 int (0 aux), 0 bool (0 aux), 136 ctr, max domain size 42
2.50/1.33	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.50/1.33	c (0,0) CSPinCNF Propagation Begin
2.50/1.35	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.50/1.35	c (0,0) CSPinCNF Propagation End
2.50/1.35	c (0,0) CSP: 34 int (0 aux), 0 bool (0 aux), 136 ctr, max domain size 42
2.50/1.35	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.50/1.36	c (0,0) Hybrid: #OE=34, #LE=0
2.50/1.36	c (0,0) Simplify CSPinCNF Begin
2.70/1.43	c (0,0) Simplify CSPinCNF End
2.70/1.43	c (0,0) CSP: 34 int (0 aux), 544 bool (544 aux), 680 ctr, max domain size 42
2.70/1.43	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.70/1.43	c (0,0) Calculate Precise Domain Begin
2.70/1.44	c (0,0) 0 values are removed by re-calculation
2.70/1.44	c (0,0) Calculate Precise Domain End
2.70/1.44	c (0,0) CSP: 34 int (0 aux), 544 bool (544 aux), 680 ctr, max domain size 42
2.70/1.44	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.70/1.44	c (0,0) CSPinCNF to SatSolver Begin
3.24/1.61	c (1,1) 68 (10 %) CSP clauses are encoded (0 SAT variables, 2950 SAT clauses)
3.24/1.64	c (1,1) 136 (20 %) CSP clauses are encoded (0 SAT variables, 4755 SAT clauses)
3.24/1.67	c (1,1) 204 (30 %) CSP clauses are encoded (0 SAT variables, 6437 SAT clauses)
3.24/1.70	c (1,1) 272 (40 %) CSP clauses are encoded (0 SAT variables, 8031 SAT clauses)
3.55/1.72	c (1,1) 340 (50 %) CSP clauses are encoded (0 SAT variables, 9552 SAT clauses)
3.55/1.74	c (1,1) 408 (60 %) CSP clauses are encoded (0 SAT variables, 10943 SAT clauses)
3.55/1.76	c (1,1) 476 (70 %) CSP clauses are encoded (0 SAT variables, 12315 SAT clauses)
3.55/1.78	c (1,1) 544 (80 %) CSP clauses are encoded (0 SAT variables, 13483 SAT clauses)
3.55/1.79	c (1,1) 612 (90 %) CSP clauses are encoded (0 SAT variables, 14531 SAT clauses)
3.87/1.80	c (1,1) 680 (100 %) CSP clauses are encoded (0 SAT variables, 15357 SAT clauses)
3.87/1.80	c (1,1) CSPinCNF to SatSolver End
3.87/1.80	c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.87/1.80	c (1,1) 1666 bool, 15368 clause
3.87/1.80	c (1,1) Export Begin
3.87/1.89	c (1,1) Export to HOME/scop-9061-serial-file.bin
3.87/1.89	c (1,1) Export End
3.87/1.89	c (1,1) Export File Size: 0.01 MB
3.87/1.89	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
3.87/1.89	c END-Prog: Thu Sep 12 16:34:55 CEST 2019
4.17/1.90	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9061-serial-file.bin
4.71/2.36	c (0,0) Read Serial File Begin
4.71/2.36	c (0,0) HOME/scop-9061-serial-file.bin
4.97/2.55	c (0,0) Read Serial File End
4.97/2.57	
4.97/2.57	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
4.97/2.57	(Solving Process)
4.97/2.57	
4.97/2.59	c BEGIN-Prog: Thu Sep 12 16:34:56 CEST 2019
4.97/2.59	c PID: 9079
4.97/2.59	c IP: 172.20.3.139
4.97/2.59	c HOST: node139.alineos.net
4.97/2.59	c (0,0) SatSolver.solve Begin
4.97/2.59	c (0,0) HOME/cryptominisat5  HOME/instance-4388461-1568298793.xml-scop-9064.cnf
5.14/2.63	c (0,0) c Outputting solution to console
5.14/2.63	c (0,0) c CryptoMiniSat version 5.6.8
5.14/2.63	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
5.14/2.63	c (0,0) c CMS SHA revision GIT-notfound
5.14/2.63	c (0,0) c CMS is MIT licensed
5.14/2.63	c (0,0) c CMS compilation env CMAKE_CXX_COMPILER = /usr/bin/c++ | CMAKE_CXX_FLAGS =  -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic | COMPILE_DEFINES =  -DLARGE_OFFSETS -DBOOST_TEST_DYN_LINK -DUSE_ZLIB -DYALSAT_FPU | STATICCOMPILE = OFF | ONLY_SIMPLE = OFF | Boost_FOUND = 1 | STATS = OFF | SQLITE3_FOUND =  | ZLIB_FOUND = TRUE | VALGRIND_FOUND =  | ENABLE_TESTING = OFF | M4RI_FOUND = FALSE | NOM4RI = OFF | SLOW_DEBUG = OFF | ENABLE_ASSERTIONS = ON | PYTHON_EXECUTABLE = /usr/bin/python2.7 | PYTHON_LIBRARY = /usr/lib64/libpython2.7.so | PYTHON_INCLUDE_DIRS = /usr/include/python2.7 | MY_TARGETS =  | LARGEMEM = ON | LIMITMEM = OFF | compilation date time = Jul 11 2019 16:04:13
5.14/2.63	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
5.14/2.63	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388461-1568298793.xml-scop-9064.cnf
5.14/2.63	c (0,0) c Reading file 'HOME/instance-4388461-1568298793.xml-scop-9064.cnf'
5.14/2.63	c (0,0) c -- header says num vars:           1666
5.14/2.63	c (0,0) c -- header says num clauses:       15368
5.14/2.63	c (0,0) c -- clauses added: 15368
5.14/2.63	c (0,0) c -- xor clauses added: 0
5.14/2.63	c (0,0) c -- vars added 1666
5.14/2.63	c (0,0) c Parsing time: 0.00 s
5.14/2.63	c (0,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
5.14/2.63	c (0,0) c [distill] long cls tried: 1/1 cl-short:1 lit-r:0 T: 0.00 T-out: N T-r: 100.00%
5.30/2.71	c (0,0) c [distill] long cls tried: 150/151 cl-short:150 lit-r:13 T: 0.00 T-out: N T-r: 99.97%
5.30/2.84	c (0,0) c [distill] long cls tried: 112/263 cl-short:112 lit-r:35 T: 0.00 T-out: N T-r: 99.96%
5.30/2.90	c (0,0) c   glue     1    51  8193    1666 13192  2176    3.01    2.87   302  2707  5182     2   19.90   19.90
5.30/3.17	c (0,0) c [distill] long cls tried: 1551/1814 cl-short:1551 lit-r:717 T: 0.10 T-out: N T-r: 99.22%
6.07/3.46	c (1,0) c   geom     1    92 16386    1666 13192  2176    3.01    2.87  2194  5718  8480     2   21.92   21.91
6.17/3.55	c (1,0) c [distill] long cls tried: 396/2206 cl-short:396 lit-r:408 T: 0.05 T-out: N T-r: 99.65%
6.88/4.28	c (1,0) c [distill] long cls tried: 1668/3873 cl-short:1668 lit-r:1217 T: 0.24 T-out: N T-r: 96.56%
6.98/4.38	c (2,0) c   glue     1   128   24K    1666 13192  2176    3.01    2.87  3895  6268 14461     8   23.71   23.70
8.18/5.58	c (3,0) c [distill] long cls tried: 1835/5708 cl-short:1835 lit-r:2227 T: 0.41 T-out: N T-r: 94.42%
8.38/5.76	c (3,0) c   glue     1   162   32K    1666 13192  2176    3.01    2.87  5736  9229 17489     9   24.48   24.47
9.49/6.88	c (4,0) c   glue     1   196   40K    1666 13192  2176    3.01    2.87  7313  8173   25K    11   25.68   25.67
10.08/7.42	c (5,0) c [distill] long cls tried: 1605/7309 cl-short:1605 lit-r:1903 T: 0.53 T-out: N T-r: 93.31%
11.68/9.02	c (6,0) c   glue     1   229   49K    1666 13192  2176    3.01    2.87  7852 12546   24K    15   25.89   25.88
13.38/10.78	c (8,0) c [distill] long cls tried: 2084/9388 cl-short:2083 lit-r:3265 T: 0.92 T-out: N T-r: 88.94%
14.58/11.91	c (9,0) c   geom     1   287   57K    1666 13192  2176    3.01    2.87  9464 10878   33K    20   26.31   26.31
16.49/13.81	c (11,0) c   glue     1   327   65K    1666 13192  2176    3.01    2.87 11370 11217   32K    22   25.91   25.90
17.69/15.06	c (12,0) c [distill] long cls tried: 1987/11368 cl-short:1985 lit-r:4532 T: 1.10 T-out: N T-r: 86.06%
18.68/16.06	c (13,0) c recursive minimization cost OK: 553Kcost/(% lits removed)
18.68/16.06	c (13,0) c more minimization effectiveness low: 0.00 % lits removed --> disabling
18.68/16.06	c (13,0) c --> Executing strategy token: handle-comps
18.68/16.06	c (13,0) c --> Executing strategy token: scc-vrepl
18.68/16.06	c (13,0) c [scc] new: 8 BP 0M T: 0.00
18.68/16.09	c (13,0) c [vrep] vars 7 lits 21289 rem-bin-cls 31 rem-long-cls 6 BP 0M T: 0.03
18.68/16.09	c (13,0) c --> Executing strategy token: cache-clean
18.68/16.09	c (13,0) c --> Executing strategy token: cache-tryboth
18.68/16.09	c (13,0) c --> Executing strategy token: sub-impl
18.68/16.09	c (13,0) c [impl sub] bin: 4 T: 0.00 T-out: N w-visit: 3332
18.79/16.10	c (13,0) c --> Executing strategy token: intree-probe
18.79/16.10	c (13,0) c [scc] new: 0 BP 0M T: 0.00
18.79/16.11	c (13,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 0M T: 0.01
18.79/16.15	c (13,0) c [intree] Set 0 vars hyper-added: 95 trans-irred::0 trans-red::0 T: 0.03 T-out: N T-r: 99.84%
18.79/16.20	c (13,0) c --> Executing strategy token: probe
18.79/16.20	c (13,0) c --> Executing strategy token: sub-str-cls-with-bin
18.79/16.20	c (13,0) c [distill] cache-based irred--  cl tried    26355 cl-sh     0 cl-rem   31 lit-rem      0 T: 0.01 T-out: N
18.79/16.20	c (13,0) c [distill] cache-based   red--  cl tried    22786 cl-sh   300 cl-rem   10 lit-rem    368 T: 0.04 T-out: N
19.60/16.96	c (14,0) c --> Executing strategy token: distill-cls
19.60/16.96	c (14,0) c [distill] long cls tried: 4790/13155 cl-short:322 lit-r:6 T: 0.76 T-out: Y T-r: -0.04%
19.60/16.96	c (14,0) c [distill] long useful: 644/9580/26322 lits-rem: 12 0-depth-assigns: 0 T: 1.52 T-out: Y
19.60/16.96	c (14,0) c --> Executing strategy token: scc-vrepl
19.60/16.96	c (14,0) c [scc] new: 4 BP 0M T: 0.00
19.60/16.98	c (14,0) c [vrep] vars 3 lits 4994 rem-bin-cls 13 rem-long-cls 1 BP 0M T: 0.02
19.60/16.98	c (14,0) c --> Executing strategy token: sub-impl
19.60/16.98	c (14,0) c [impl sub] bin: 2 T: 0.00 T-out: N w-visit: 3332
19.60/16.98	c (14,0) c --> Executing strategy token: str-impl
19.60/16.98	c (14,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.95% w-visit: 3332
19.60/16.99	c (14,0) c --> Executing strategy token: sub-impl
19.60/16.99	c (14,0) c [impl sub] bin: 0 T: 0.00 T-out: N w-visit: 3332
19.60/16.99	c (14,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
19.60/16.99	c (14,0) c [occ] mem usage for occur      1 MB
19.60/17.00	c (14,0) c [occ] mem usage for occur      3 MB
19.71/17.04	c (14,0) c Mem for watch alloc      : 8           MB (34.28     %)
19.71/17.04	c (14,0) c Mem for watch array      : 0           MB (0.33      %)
19.71/17.04	c (14,0) c --> Executing OCC strategy token: occ-backw-sub-str
19.71/17.04	c (14,0) c [occ-backw-sub-str-long-w-bins] subs: 3 str: 19 tried: 4560 0-depth ass: 0 T: 0.01 T-out: N T-r: 99.68%
19.81/17.10	c (14,0) c [occ-sub-long-w-long] rem cl: 293 tried: 146354/73177 (200.0%) T: 0.06 T-out: N T-r: 88.02%
19.81/17.20	c (14,0) c [occ-sub-str-long-w-long] sub: 3 str: 132 tried: 219531/73177 (300.0)  T: 0.10 T-out: N T-r: 88.70%
19.81/17.20	c (14,0) c --> Executing OCC strategy token: occ-clean-implicit
19.81/17.20	c (14,0) c --> Executing OCC strategy token: occ-bve
19.81/17.20	c (14,0) c [occ-empty-res] Empty resolvent elimed: 0 T: 0.00 T-out: N
19.92/17.23	c (14,0) c [occ-bve] iter v-elim 140
19.92/17.23	c (14,0) c cl_inc_rate=1.0, var_dec_rate=1.1 (grow=0)
19.92/17.23	c (14,0) c Reduced to 1516 vars, 15183 cls (grow=0)
19.92/17.24	c (14,0) c [occ-bve] iter v-elim 0
19.92/17.24	c (14,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=8)
19.92/17.24	c (14,0) c Reduced to 1516 vars, 15183 cls (grow=8)
19.92/17.28	c (14,0) c [occ-bve] iter v-elim 64
19.92/17.28	c (14,0) c cl_inc_rate=1.1, var_dec_rate=1.0 (grow=16)
19.92/17.28	c (14,0) c Reduced to 1452 vars, 16017 cls (grow=16)
19.92/17.28	c (14,0) c x n vars       : 1452
19.92/17.28	c (14,0) c  #try to eliminate:   7564
19.92/17.28	c (14,0) c  #var-elim        :    204
19.92/17.28	c (14,0) c  #T-o: N
19.92/17.28	c (14,0) c  #T-r: 99.98%
19.92/17.28	c (14,0) c  #T  : 0.08
19.92/17.28	c (14,0) c [occur] 0.04 is overhead
19.92/17.28	c (14,0) c [occur] link-in T: 0.04 cleanup T: 0.00
19.92/17.28	c (14,0) c --> Executing OCC strategy token: occ-bva
19.92/17.28	c (14,0) c [occ-bva] global numcalls: 0
19.92/17.28	c (14,0) c --> Executing OCC strategy token: occ-ternary-res
19.92/17.28	c (14,0) c --> Executing OCC strategy token: occ-xor
19.92/17.28	c (14,0) c [occ-xor] sort occur list T: 0.00
19.92/17.29	c (15,0) c [occ-xor] found      0 T: 0.01 T-out: N T-r: 99.79%
19.92/17.29	c (15,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
19.92/17.30	c (15,0) c --> Executing strategy token: cl-consolidate
19.92/17.30	c (15,0) c [mem] consolidate  old-sz:  8794K new-sz:   851K new bits offs: 0 T: 0.00
19.92/17.30	c (15,0) c --> Executing strategy token: str-impl
19.92/17.30	c (15,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.98% w-visit: 3332
20.03/17.31	c (15,0) c --> Executing strategy token: cache-clean
20.03/17.31	c (15,0) c --> Executing strategy token: sub-str-cls-with-bin
20.03/17.31	c (15,0) c [distill] cache-based irred--  cl tried    28470 cl-sh     0 cl-rem    0 lit-rem      0 T: 0.01 T-out: N
20.03/17.31	c (15,0) c [distill] cache-based   red--  cl tried     4820 cl-sh    13 cl-rem    0 lit-rem     13 T: 0.00 T-out: N
20.22/17.59	c (15,0) c --> Executing strategy token: distill-cls
20.22/17.59	c (15,0) c [distill] long cls tried: 10967/14207 cl-short:1470 lit-r:29 T: 0.27 T-out: N T-r: 76.59%
20.22/17.59	c (15,0) c [distill] long useful: 2940/21934/28470 lits-rem: 58 0-depth-assigns: 0 T: 0.55 T-out: N
20.22/17.59	c (15,0) c --> Executing strategy token: scc-vrepl
20.22/17.59	c (15,0) c [scc] new: 0 BP 0M T: 0.00
20.22/17.59	c (15,0) c --> Executing strategy token: check-cache-size
20.22/17.59	c (15,0) c --> Executing strategy token: renumber
20.22/17.59	c (15,0) c --> Executing strategy token: sls
20.22/17.59	c (15,0) c [consolidate] mini T: 0.00
20.22/17.59	c (15,0) c global_timeout_multiplier: 4.40
20.22/17.59	c (15,0) c clause size stats. size3: 10306 size4: 258 size5: 3575 larger: 68
20.42/17.79	c (15,0) c   luby     0   372   73K    1452 14207  1810    3.54    3.37  2474  1341  3772    57   15.57   15.47
21.03/18.34	c (16,0) c   luby     0   404   81K    1452 14207  1810    3.54    3.37  3186  1982 10612    57   19.55   19.49
21.22/18.53	c (16,0) c [distill] long cls tried: 1009/3186 cl-short:983 lit-r:473 T: 0.12 T-out: N T-r: 99.17%
21.82/19.14	c (16,0) c   luby     0   422   90K    1452 14207  1810    3.54    3.37  4212  4585 15178    60   20.84   20.79
22.52/19.85	c (17,0) c   luby     0   454   98K    1452 14207  1810    3.54    3.37  4278  5915   21K    60   21.29   21.26
23.32/20.67	c (18,0) c [distill] long cls tried: 1939/4932 cl-short:1871 lit-r:3189 T: 0.44 T-out: N T-r: 94.45%
23.72/21.04	c (18,0) c   luby     0   479  106K    1451 14207  1810    3.54    3.37  5232  9113   22K   187   21.08   20.99
24.42/21.77	c (19,0) c   luby     0   480  114K    1447 14207  1810    3.54    3.37  6276  9371   29K   195   21.33   21.25
25.03/22.39	c (20,0) c ------- FINAL TOTAL SEARCH STATS ---------
25.03/22.39	c (20,0) c UIP search time          : 18.21       (92.22     % time)
25.03/22.39	c (20,0) c restarts                 : 510         (237.15    confls per restart)
25.03/22.39	c (20,0) c blocked restarts         : 0           (0.00      per normal restart)
25.03/22.39	c (20,0) c time                     : 18.21       
25.03/22.39	c (20,0) c decisions                : 213622      (0.00      % random)
25.03/22.39	c (20,0) c propagations             : 19673062    
25.03/22.39	c (20,0) c decisions/conflicts      : 1.77        
25.03/22.39	c (20,0) c conflicts                : 120947      (6642.72   / sec)
25.03/22.39	c (20,0) c conf lits non-minim      : 4956785     (40.98     lit/confl)
25.03/22.39	c (20,0) c conf lits final          : 25.25       
25.03/22.39	c (20,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
25.03/22.39	c (20,0) c red which0               : 2308        (1.91      % of confl)
25.03/22.39	c (20,0) c props/decision           : 0.00        
25.03/22.39	c (20,0) c props/conflict           : 0.00        
25.03/22.39	c (20,0) c 0-depth assigns          : 477         (28.63     % vars)
25.03/22.39	c (20,0) c 0-depth assigns by CNF   : 0           (0.00      % vars)
25.03/22.39	c (20,0) c reduceDB time            : 0.02        (0.11      % time)
25.03/22.39	c (20,0) c OccSimplifier time       : 0.22        (1.10      % time)
25.03/22.39	c (20,0) c [occur] 0.05 is overhead
25.03/22.39	c (20,0) c [occur] link-in T: 0.04 cleanup T: 0.01
25.03/22.39	c (20,0) c [occ-substr] long subBySub: 293 subByStr: 3 lits-rem-str: 283 T: 0.15
25.03/22.39	c (20,0) c SCC time                 : 0.00        (0.01      % time)
25.03/22.39	c (20,0) c [scc] new: 12 BP 0M  T: 0.00
25.03/22.39	c (20,0) c vrep replace time        : 0.06        (0.31      % time)
25.03/22.39	c (20,0) c vrep tree roots          : 5           
25.03/22.39	c (20,0) c vrep trees' crown        : 10          (2.00      leafs/tree)
25.03/22.39	c (20,0) c distill time             : 5.98        (30.29     % time)
25.03/22.39	c (20,0) c strength cache-irred time: 0.02        (0.09      % time)
25.03/22.39	c (20,0) c strength cache-red time  : 0.04        (0.21      % time)
25.03/22.39	c (20,0) c Conflicts in UIP         : 120947      (6126.06   confl/time_this_thread)
25.03/22.39	c (20,0) c Mem used                 : 29.04       MB
25.03/22.39	c (20,0) c Total time (this thread) : 19.74       
25.03/22.39	c (20,0) s UNSATISFIABLE
25.03/22.39	c (20,0) SatSolver.solve End
25.03/22.39	c (20,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
25.03/22.39	c (20,0) Show results Begin
25.03/22.39	s UNSATISFIABLE
25.03/22.39	c (20,0) Show results End
25.03/22.39	c (20,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
25.03/22.39	c (20,0) 20,20,STOP-AFTER(ALL)
25.03/22.39	c END-Prog: Thu Sep 12 16:35:16 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 (8023 MiB free)
  memory of node 1: 16384 MiB (15155 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388461-1568298793/watcher-4388461-1568298793 -o /tmp/evaluation-result-4388461-1568298793/solver-4388461-1568298793 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568287468-5190 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388461-1568298793.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=9061, runsolver pid=9058

[startup+0.100061 s]*
/proc/loadavg: 2.40 3.24 3.06 5/234 9078
/proc/meminfo: memFree=23678136/32770624 swapFree=66901228/67108860
[pid=9061] ppid=9058 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9061/stat : 9061 (scop.sh) S 9058 9061 3961 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406146823 115843072 349 33554432000 4194304 5098028 140725321285360 140725321282616 139814482272892 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17534976 140725321290595 140725321290864 140725321290864 140725321293773 0
/proc/9061/statm: 28282 349 296 221 0 87 0
[pid=9064] ppid=9061 vsize=15012696 memory=70724 CPUtime=0.12 cores=1,3,5,7
/proc/9064/stat : 9064 (java) S 9061 9061 3961 0 -1 1077944320 6487 0 0 0 11 1 0 0 20 0 15 0 406146824 15373000704 17681 33554432000 4194304 4196468 140722043743712 140722043726256 140666421460727 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
/proc/9064/statm: 3753174 17681 2891 1 0 3715579 0
[pid=9064/tid=9065] ppid=9061 vsize=15012696 memory=-2843874001938072734 CPUtime=0.09 cores=1,3,5,7
/proc/9064/task/9065/stat : 9065 (java) R 9061 9061 3961 0 -1 4202560 4276 0 0 0 8 1 0 0 20 0 15 0 406146824 15373000704 17681 33554432000 4194304 4196468 140722043743712 140666393255888 140666407574092 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9066] ppid=9061 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9066/stat : 9066 (java) S 9061 9061 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406146826 15373000704 17681 33554432000 4194304 4196468 140722043743712 140666425703568 140666421470933 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9067] ppid=9061 vsize=15012696 memory=140402096330368 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9067/stat : 9067 (java) S 9061 9061 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406146826 15373000704 17681 33554432000 4194304 4196468 140722043743712 140666224479248 140666421470933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9068] ppid=9061 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9068/stat : 9068 (java) S 9061 9061 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406146826 15373000704 17681 33554432000 4194304 4196468 140722043743712 140666223426448 140666421470933 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9069] ppid=9061 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9069/stat : 9069 (java) S 9061 9061 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406146826 15373000704 17681 33554432000 4194304 4196468 140722043743712 140666222373648 140666421470933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9070] ppid=9061 vsize=15012696 memory=140402096330368 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9070/stat : 9070 (java) S 9061 9061 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406146827 15373000704 17681 33554432000 4194304 4196468 140722043743712 140665482193264 140666421471874 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9071] ppid=9061 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9071/stat : 9071 (java) S 9061 9061 3961 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406146827 15373000704 17681 33554432000 4194304 4196468 140722043743712 140665010775072 140666421470933 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9072] ppid=9061 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9072/stat : 9072 (java) S 9061 9061 3961 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 406146828 15373000704 17681 33554432000 4194304 4196468 140722043743712 140664876553072 140666421470933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9073] ppid=9061 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9073/stat : 9073 (java) S 9061 9061 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406146830 15373000704 17681 33554432000 4194304 4196468 140722043743712 140664502048592 140666421479323 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9074] ppid=9061 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9074/stat : 9074 (java) R 9061 9061 3961 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 406146830 15373000704 17681 33554432000 4194304 4196468 140722043743712 140665390361456 140666421471874 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9075] ppid=9061 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9075/stat : 9075 (java) S 9061 9061 3961 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 406146830 15373000704 17681 33554432000 4194304 4196468 140722043743712 140665389308656 140666421471874 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9076] ppid=9061 vsize=15012696 memory=140402096330368 CPUtime=0.01 cores=1,3,5,7
/proc/9064/task/9076/stat : 9076 (java) R 9061 9061 3961 0 -1 4202560 436 0 0 0 1 0 0 0 20 0 15 0 406146830 15373000704 17681 33554432000 4194304 4196468 140722043743712 140665388255856 140666421482074 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9077] ppid=9061 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9077/stat : 9077 (java) S 9061 9061 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406146830 15373000704 17681 33554432000 4194304 4196468 140722043743712 140664004143840 140666421470933 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9078] ppid=9061 vsize=15012696 memory=140402096330368 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9078/stat : 9078 (java) S 9061 9061 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406146831 15373000704 17681 33554432000 4194304 4196468 140722043743712 140665387203248 140666421471874 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 72120 KiB

[startup+0.211034 s]*
/proc/loadavg: 2.40 3.24 3.06 3/234 9078
/proc/meminfo: memFree=23659272/32770624 swapFree=66901228/67108860
[pid=9061] ppid=9058 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9061/stat : 9061 (scop.sh) S 9058 9061 3961 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406146823 115843072 349 33554432000 4194304 5098028 140725321285360 140725321282616 139814482272892 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17534976 140725321290595 140725321290864 140725321290864 140725321293773 0
/proc/9061/statm: 28282 349 296 221 0 87 0
[pid=9064] ppid=9061 vsize=15012696 memory=86368 CPUtime=0.26 cores=1,3,5,7
/proc/9064/stat : 9064 (java) S 9061 9061 3961 0 -1 1077944320 11618 0 0 0 23 3 0 0 20 0 15 0 406146824 15373000704 21592 33554432000 4194304 4196468 140722043743712 140722043726256 140666421460727 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
/proc/9064/statm: 3753174 21592 2978 1 0 3715579 0
[pid=9064/tid=9065] ppid=9061 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/9064/task/9065/stat : 9065 (java) R 9061 9061 3961 0 -1 4202560 9345 0 0 0 18 2 0 0 20 0 15 0 406146824 15373000704 21592 33554432000 4194304 4196468 140722043743712 140666393275968 140666421482653 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9066] ppid=9061 vsize=15012696 memory=538 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9066/stat : 9066 (java) S 9061 9061 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406146826 15373000704 21592 33554432000 4194304 4196468 140722043743712 140666425703568 140666421470933 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9067] ppid=9061 vsize=15012696 memory=140402096339682 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9067/stat : 9067 (java) S 9061 9061 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406146826 15373000704 21592 33554432000 4194304 4196468 140722043743712 140666224479248 140666421470933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9068] ppid=9061 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9068/stat : 9068 (java) S 9061 9061 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406146826 15373000704 21592 33554432000 4194304 4196468 140722043743712 140666223426448 140666421470933 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9069] ppid=9061 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9069/stat : 9069 (java) S 9061 9061 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406146826 15373000704 21592 33554432000 4194304 4196468 140722043743712 140666222373648 140666421470933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9070] ppid=9061 vsize=15012696 memory=140402096330368 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9070/stat : 9070 (java) S 9061 9061 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406146827 15373000704 21592 33554432000 4194304 4196468 140722043743712 140665482193264 140666421471874 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9071] ppid=9061 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9071/stat : 9071 (java) S 9061 9061 3961 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406146827 15373000704 21592 33554432000 4194304 4196468 140722043743712 140665010775072 140666421470933 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9072] ppid=9061 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9072/stat : 9072 (java) S 9061 9061 3961 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 406146828 15373000704 21592 33554432000 4194304 4196468 140722043743712 140664876553072 140666421470933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9073] ppid=9061 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9073/stat : 9073 (java) S 9061 9061 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406146830 15373000704 21592 33554432000 4194304 4196468 140722043743712 140664502048592 140666421479323 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9074] ppid=9061 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9074/stat : 9074 (java) S 9061 9061 3961 0 -1 1077944384 344 0 0 0 0 0 0 0 20 0 15 0 406146830 15373000704 21592 33554432000 4194304 4196468 140722043743712 140665390361456 140666421471874 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9075] ppid=9061 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9075/stat : 9075 (java) S 9061 9061 3961 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 15 0 406146830 15373000704 21592 33554432000 4194304 4196468 140722043743712 140665389308656 140666421471874 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9076] ppid=9061 vsize=15012696 memory=140402096330368 CPUtime=0.03 cores=1,3,5,7
/proc/9064/task/9076/stat : 9076 (java) S 9061 9061 3961 0 -1 1077944384 454 0 0 0 3 0 0 0 20 0 15 0 406146830 15373000704 21592 33554432000 4194304 4196468 140722043743712 140665388255856 140666421471874 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9077] ppid=9061 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9077/stat : 9077 (java) S 9061 9061 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406146830 15373000704 21592 33554432000 4194304 4196468 140722043743712 140664004143840 140666421470933 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9078] ppid=9061 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9078/stat : 9078 (java) S 9061 9061 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406146831 15373000704 21592 33554432000 4194304 4196468 140722043743712 140665387203248 140666421471874 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87764 KiB

[startup+0.310851 s]*
/proc/loadavg: 2.40 3.24 3.06 4/234 9078
/proc/meminfo: memFree=23655860/32770624 swapFree=66901228/67108860
[pid=9061] ppid=9058 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9061/stat : 9061 (scop.sh) S 9058 9061 3961 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406146823 115843072 349 33554432000 4194304 5098028 140725321285360 140725321282616 139814482272892 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17534976 140725321290595 140725321290864 140725321290864 140725321293773 0
/proc/9061/statm: 28282 349 296 221 0 87 0
[pid=9064] ppid=9061 vsize=15012696 memory=90152 CPUtime=0.43 cores=1,3,5,7
/proc/9064/stat : 9064 (java) S 9061 9061 3961 0 -1 1077944320 12576 0 0 0 40 3 0 0 20 0 15 0 406146824 15373000704 22538 33554432000 4194304 4196468 140722043743712 140722043726256 140666421460727 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
/proc/9064/statm: 3753174 22538 3060 1 0 3715579 0
[pid=9064/tid=9065] ppid=9061 vsize=15012696 memory=8112282956445269571 CPUtime=0.3 cores=1,3,5,7
/proc/9064/task/9065/stat : 9065 (java) R 9061 9061 3961 0 -1 4202560 10094 0 0 0 27 3 0 0 20 0 15 0 406146824 15373000704 22538 33554432000 4194304 4196468 140722043743712 140666393263952 140666404647553 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9066] ppid=9061 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9066/stat : 9066 (java) S 9061 9061 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406146826 15373000704 22538 33554432000 4194304 4196468 140722043743712 140666425703568 140666421470933 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9067] ppid=9061 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9067/stat : 9067 (java) S 9061 9061 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406146826 15373000704 22538 33554432000 4194304 4196468 140722043743712 140666224479248 140666421470933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9068] ppid=9061 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9068/stat : 9068 (java) S 9061 9061 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406146826 15373000704 22538 33554432000 4194304 4196468 140722043743712 140666223426448 140666421470933 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9069] ppid=9061 vsize=15012696 memory=7223591951666816402 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9069/stat : 9069 (java) S 9061 9061 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406146826 15373000704 22538 33554432000 4194304 4196468 140722043743712 140666222373648 140666421470933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9070] ppid=9061 vsize=15012696 memory=6944938067432061290 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9070/stat : 9070 (java) S 9061 9061 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406146827 15373000704 22538 33554432000 4194304 4196468 140722043743712 140665482193264 140666421471874 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9071] ppid=9061 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9071/stat : 9071 (java) S 9061 9061 3961 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406146827 15373000704 22538 33554432000 4194304 4196468 140722043743712 140665010775072 140666421470933 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9072] ppid=9061 vsize=15012696 memory=7100839852926015589 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9072/stat : 9072 (java) S 9061 9061 3961 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 406146828 15373000704 22538 33554432000 4194304 4196468 140722043743712 140664876553072 140666421470933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9073] ppid=9061 vsize=15012696 memory=-8412656567168561567 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9073/stat : 9073 (java) S 9061 9061 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406146830 15373000704 22538 33554432000 4194304 4196468 140722043743712 140664502048592 140666421479323 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9074] ppid=9061 vsize=15012696 memory=-7384621950708166502 CPUtime=0.02 cores=1,3,5,7
/proc/9064/task/9074/stat : 9074 (java) S 9061 9061 3961 0 -1 1077944384 398 0 0 0 2 0 0 0 20 0 15 0 406146830 15373000704 22538 33554432000 4194304 4196468 140722043743712 140665390361456 140666421471874 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9075] ppid=9061 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9064/task/9075/stat : 9075 (java) S 9061 9061 3961 0 -1 1077944384 239 0 0 0 2 0 0 0 20 0 15 0 406146830 15373000704 22538 33554432000 4194304 4196468 140722043743712 140665389308656 140666421471874 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9076] ppid=9061 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9064/task/9076/stat : 9076 (java) S 9061 9061 3961 0 -1 1077944384 494 0 0 0 7 0 0 0 20 0 15 0 406146830 15373000704 22538 33554432000 4194304 4196468 140722043743712 140665388255856 140666421471874 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9077] ppid=9061 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9077/stat : 9077 (java) S 9061 9061 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406146830 15373000704 22538 33554432000 4194304 4196468 140722043743712 140664004143840 140666421470933 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9078] ppid=9061 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9078/stat : 9078 (java) S 9061 9061 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406146831 15373000704 22538 33554432000 4194304 4196468 140722043743712 140665387203248 140666421471874 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91548 KiB

[startup+0.700802 s]
/proc/loadavg: 2.40 3.24 3.06 3/234 9078
/proc/meminfo: memFree=23634496/32770624 swapFree=66901228/67108860
[pid=9061] ppid=9058 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9061/stat : 9061 (scop.sh) S 9058 9061 3961 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406146823 115843072 349 33554432000 4194304 5098028 140725321285360 140725321282616 139814482272892 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17534976 140725321290595 140725321290864 140725321290864 140725321293773 0
/proc/9061/statm: 28282 349 296 221 0 87 0
[pid=9064] ppid=9061 vsize=15021092 memory=127832 CPUtime=1.01 cores=1,3,5,7
/proc/9064/stat : 9064 (java) S 9061 9061 3961 0 -1 1077944320 19780 0 0 0 95 6 0 0 20 0 15 0 406146824 15381598208 31958 33554432000 4194304 4196468 140722043743712 140722043726256 140666421460727 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
/proc/9064/statm: 3755273 31958 3203 1 0 3716603 0
[pid=9064/tid=9065] ppid=9061 vsize=15022116 memory=-7604262568725289114 CPUtime=0.67 cores=1,3,5,7
/proc/9064/task/9065/stat : 9065 (java) R 9061 9061 3961 0 -1 4202560 16861 0 0 0 62 5 0 0 20 0 15 0 406146824 15382646784 31958 33554432000 4194304 4196468 140722043743712 140666393276768 140666414140445 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9066] ppid=9061 vsize=15022116 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9066/stat : 9066 (java) S 9061 9061 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406146826 15382646784 31958 33554432000 4194304 4196468 140722043743712 140666425703568 140666421470933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9067] ppid=9061 vsize=15022116 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9067/stat : 9067 (java) S 9061 9061 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406146826 15382646784 31958 33554432000 4194304 4196468 140722043743712 140666224479248 140666421470933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9068] ppid=9061 vsize=15022116 memory=36816 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9068/stat : 9068 (java) S 9061 9061 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406146826 15382646784 32023 33554432000 4194304 4196468 140722043743712 140666223426448 140666421470933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9069] ppid=9061 vsize=15021092 memory=988 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9069/stat : 9069 (java) S 9061 9061 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406146826 15381598208 31996 33554432000 4194304 4196468 140722043743712 140666222373648 140666421470933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9070] ppid=9061 vsize=15021092 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9070/stat : 9070 (java) S 9061 9061 3961 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 406146827 15381598208 31996 33554432000 4194304 4196468 140722043743712 140665482193264 140666421471874 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9071] ppid=9061 vsize=15022116 memory=1268 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9071/stat : 9071 (java) S 9061 9061 3961 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406146827 15382646784 31996 33554432000 4194304 4196468 140722043743712 140665010775072 140666421470933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9072] ppid=9061 vsize=15022116 memory=10728 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9072/stat : 9072 (java) S 9061 9061 3961 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 406146828 15382646784 31996 33554432000 4194304 4196468 140722043743712 140664876553072 140666421470933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9073] ppid=9061 vsize=15022116 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9073/stat : 9073 (java) S 9061 9061 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406146830 15382646784 31996 33554432000 4194304 4196468 140722043743712 140664502048592 140666421479323 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9074] ppid=9061 vsize=15021092 memory=4004 CPUtime=0.06 cores=1,3,5,7
/proc/9064/task/9074/stat : 9074 (java) S 9061 9061 3961 0 -1 1077944384 477 0 0 0 6 0 0 0 20 0 15 0 406146830 15381598208 31996 33554432000 4194304 4196468 140722043743712 140665390361456 140666421471874 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9075] ppid=9061 vsize=15021092 memory=2832 CPUtime=0.09 cores=1,3,5,7
/proc/9064/task/9075/stat : 9075 (java) S 9061 9061 3961 0 -1 1077944384 462 0 0 0 9 0 0 0 20 0 15 0 406146830 15381598208 31996 33554432000 4194304 4196468 140722043743712 140665389308656 140666421471874 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9076] ppid=9061 vsize=15022116 memory=624 CPUtime=0.15 cores=1,3,5,7
/proc/9064/task/9076/stat : 9076 (java) R 9061 9061 3961 0 -1 4202560 635 0 0 0 15 0 0 0 20 0 15 0 406146830 15382646784 31996 33554432000 4194304 4196468 140722043743712 140665388255856 140666400583958 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9077] ppid=9061 vsize=15022116 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9077/stat : 9077 (java) S 9061 9061 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406146830 15382646784 31996 33554432000 4194304 4196468 140722043743712 140664004143840 140666421470933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
[pid=9064/tid=9078] ppid=9061 vsize=15022116 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/9064/task/9078/stat : 9078 (java) S 9061 9061 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406146831 15382646784 31996 33554432000 4194304 4196468 140722043743712 140665387203248 140666421471874 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36012032 140722043745066 140722043745434 140722043745434 140722043748303 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 129228 KiB

[startup+1.50155 s]
/proc/loadavg: 2.40 3.24 3.06 3/234 9078
/proc/meminfo: memFree=23589512/32770624 swapFree=66901228/67108860
[pid=9061] ppid=9058 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9061/stat : 9061 (scop.sh) S 9058 9061 3961 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406146823 115843072 349 33554432000 4194304 5098028 140725321285360 140725321282616 139814482272892 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17534976 140725321290595 140725321290864 140725321290864 140725321293773 0
/proc/9061/statm: 28282 349 296 221 0 87 0

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

/proc/9079/task/9092/stat : 9092 (java) S 9061 9061 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406147021 8262082560 29845 33554432000 4194304 4196468 140736693455792 140638033013344 140640158566101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9093] ppid=9061 vsize=8068440 memory=280803888070896 CPUtime=0 cores=1,3,5,7
/proc/9079/task/9093/stat : 9093 (java) S 9061 9061 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406147021 8262082560 29845 33554432000 4194304 4196468 140736693455792 140639466580784 140640158567042 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9095] ppid=9061 vsize=8068440 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/9079/task/9095/stat : 9095 (java) S 9061 9061 3961 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406147085 8262082560 29845 33554432000 4194304 4196468 140736693455792 140639458547264 140640158580505 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9097] ppid=9061 vsize=8068440 memory=2444 CPUtime=0.01 cores=1,3,5,7
/proc/9079/task/9097/stat : 9097 (java) S 9061 9061 3961 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 406147086 8262082560 29845 33554432000 4194304 4196468 140736693455792 140637496127600 140640158577821 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9098] ppid=9061 vsize=8068440 memory=1776 CPUtime=0 cores=1,3,5,7
/proc/9079/task/9098/stat : 9098 (java) S 9061 9061 3961 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 406147086 8262082560 29845 33554432000 4194304 4196468 140736693455792 140637227695376 140640158577821 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9099] ppid=9061 vsize=8068440 memory=828 CPUtime=0 cores=1,3,5,7
/proc/9079/task/9099/stat : 9099 (java) S 9061 9061 3961 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 406147089 8262082560 29845 33554432000 4194304 4196468 140736693455792 140637630356528 140640158566101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
Current children cumulated CPU time: 23.72 s
Current children cumulated vsize: 8227348 KiB
Current children cumulated memory: 142432 KiB

[startup+21.8009 s]
/proc/loadavg: 2.22 3.14 3.03 3/238 9099
/proc/meminfo: memFree=23604200/32770624 swapFree=66901228/67108860
[pid=9061] ppid=9058 vsize=113128 memory=1476 CPUtime=4.18 cores=1,3,5,7
/proc/9061/stat : 9061 (scop.sh) S 9058 9061 3961 0 -1 4202496 582 25711 0 0 0 0 407 11 20 0 1 0 406146823 115843072 369 33554432000 4194304 5098028 140725321285360 140725321282104 139814482272892 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17534976 140725321290595 140725321290864 140725321290864 140725321293773 0
/proc/9061/statm: 28282 369 311 221 0 87 0
[pid=9079] ppid=9061 vsize=8068440 memory=119380 CPUtime=1.17 cores=1,3,5,7
/proc/9079/stat : 9079 (java) S 9061 9061 3961 0 -1 1077944320 20700 0 0 0 110 7 0 0 20 0 19 0 406147014 8262082560 29845 33554432000 4194304 4196468 140736693455792 140736693438336 140640158555895 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
/proc/9079/statm: 2017110 29845 3210 1 0 1978454 0
[pid=9094] ppid=9079 vsize=45780 memory=21772 CPUtime=19.17 cores=1,3,5,7
/proc/9094/stat : 9094 (cryptominisat5) R 9079 9061 3961 0 -1 4202496 19863 0 0 0 1915 2 0 0 20 0 1 0 406147085 46878720 5443 33554432000 4194304 4451008 140727795351376 140727795347304 139909369232041 0 4 0 2 0 0 0 17 5 0 0 0 0 0 6549032 6559120 37261312 140727795356605 140727795356736 140727795356736 140727795359686 0
/proc/9094/statm: 11445 5443 732 63 0 5172 0
[pid=9079/tid=9080] ppid=9061 vsize=8068440 memory=-3622645143214314312 CPUtime=0.74 cores=1,3,5,7
/proc/9079/task/9080/stat : 9080 (java) S 9061 9061 3961 0 -1 1077944384 17198 0 0 0 69 5 0 0 20 0 19 0 406147015 8262082560 29845 33554432000 4194304 4196468 140736693455792 140640130396064 140640158566101 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9081] ppid=9061 vsize=8068440 memory=10728 CPUtime=0 cores=1,3,5,7
/proc/9079/task/9081/stat : 9081 (java) S 9061 9061 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406147016 8262082560 29845 33554432000 4194304 4196468 140736693455792 140640162797840 140640158566101 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9082] ppid=9061 vsize=8068440 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/9079/task/9082/stat : 9082 (java) S 9061 9061 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406147016 8262082560 29845 33554432000 4194304 4196468 140736693455792 140639980886416 140640158566101 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9083] ppid=9061 vsize=8068440 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/9079/task/9083/stat : 9083 (java) S 9061 9061 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406147016 8262082560 29845 33554432000 4194304 4196468 140736693455792 140639642483216 140640158566101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9084] ppid=9061 vsize=8068440 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/9079/task/9084/stat : 9084 (java) S 9061 9061 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406147016 8262082560 29845 33554432000 4194304 4196468 140736693455792 140639641430672 140640158566101 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9085] ppid=9061 vsize=8068440 memory=624 CPUtime=0 cores=1,3,5,7
/proc/9079/task/9085/stat : 9085 (java) S 9061 9061 3961 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 406147017 8262082560 29845 33554432000 4194304 4196468 140736693455792 140639470791152 140640158567042 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9086] ppid=9061 vsize=8068440 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/9079/task/9086/stat : 9086 (java) S 9061 9061 3961 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 406147018 8262082560 29845 33554432000 4194304 4196468 140736693455792 140639039645088 140640158566101 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9087] ppid=9061 vsize=8068440 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/9079/task/9087/stat : 9087 (java) S 9061 9061 3961 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 406147018 8262082560 29845 33554432000 4194304 4196468 140736693455792 140638905423344 140640158566101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9088] ppid=9061 vsize=8068440 memory=1096 CPUtime=0 cores=1,3,5,7
/proc/9079/task/9088/stat : 9088 (java) S 9061 9061 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406147020 8262082560 29845 33554432000 4194304 4196468 140736693455792 140638530919120 140640158574491 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9089] ppid=9061 vsize=8068440 memory=1192 CPUtime=0.09 cores=1,3,5,7
/proc/9079/task/9089/stat : 9089 (java) S 9061 9061 3961 0 -1 1077944384 679 0 0 0 9 0 0 0 20 0 19 0 406147020 8262082560 29845 33554432000 4194304 4196468 140736693455792 140639469737968 140640158567042 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9090] ppid=9061 vsize=8068440 memory=5940 CPUtime=0.08 cores=1,3,5,7
/proc/9079/task/9090/stat : 9090 (java) S 9061 9061 3961 0 -1 1077944384 370 0 0 0 8 0 0 0 20 0 19 0 406147020 8262082560 29845 33554432000 4194304 4196468 140736693455792 140639468685424 140640158567042 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9091] ppid=9061 vsize=8068440 memory=780 CPUtime=0.2 cores=1,3,5,7
/proc/9079/task/9091/stat : 9091 (java) S 9061 9061 3961 0 -1 1077944384 1035 0 0 0 20 0 0 0 20 0 19 0 406147020 8262082560 29845 33554432000 4194304 4196468 140736693455792 140639467632880 140640158567042 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9092] ppid=9061 vsize=8068440 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/9079/task/9092/stat : 9092 (java) S 9061 9061 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406147021 8262082560 29845 33554432000 4194304 4196468 140736693455792 140638033013344 140640158566101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9093] ppid=9061 vsize=8068440 memory=19156 CPUtime=0 cores=1,3,5,7
/proc/9079/task/9093/stat : 9093 (java) S 9061 9061 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406147021 8262082560 29845 33554432000 4194304 4196468 140736693455792 140639466580784 140640158567042 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9095] ppid=9061 vsize=8068440 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/9079/task/9095/stat : 9095 (java) S 9061 9061 3961 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406147085 8262082560 29845 33554432000 4194304 4196468 140736693455792 140639458547264 140640158580505 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9097] ppid=9061 vsize=8068440 memory=12024 CPUtime=0.01 cores=1,3,5,7
/proc/9079/task/9097/stat : 9097 (java) S 9061 9061 3961 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 406147086 8262082560 29845 33554432000 4194304 4196468 140736693455792 140637496127600 140640158577821 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9098] ppid=9061 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9079/task/9098/stat : 9098 (java) S 9061 9061 3961 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 406147086 8262082560 29845 33554432000 4194304 4196468 140736693455792 140637227695376 140640158577821 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9099] ppid=9061 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9079/task/9099/stat : 9099 (java) S 9061 9061 3961 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 406147089 8262082560 29845 33554432000 4194304 4196468 140736693455792 140637630356528 140640158566101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
Current children cumulated CPU time: 24.52 s
Current children cumulated vsize: 8227348 KiB
Current children cumulated memory: 142628 KiB

[startup+22.2009 s]*
/proc/loadavg: 2.22 3.14 3.03 3/238 9099
/proc/meminfo: memFree=23595948/32770624 swapFree=66901228/67108860
[pid=9061] ppid=9058 vsize=113128 memory=1476 CPUtime=4.18 cores=1,3,5,7
/proc/9061/stat : 9061 (scop.sh) S 9058 9061 3961 0 -1 4202496 582 25711 0 0 0 0 407 11 20 0 1 0 406146823 115843072 369 33554432000 4194304 5098028 140725321285360 140725321282104 139814482272892 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17534976 140725321290595 140725321290864 140725321290864 140725321293773 0
/proc/9061/statm: 28282 369 311 221 0 87 0
[pid=9079] ppid=9061 vsize=8068440 memory=119380 CPUtime=1.17 cores=1,3,5,7
/proc/9079/stat : 9079 (java) S 9061 9061 3961 0 -1 1077944320 20700 0 0 0 110 7 0 0 20 0 19 0 406147014 8262082560 29845 33554432000 4194304 4196468 140736693455792 140736693438336 140640158555895 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
/proc/9079/statm: 2017110 29845 3210 1 0 1978454 0
[pid=9094] ppid=9079 vsize=55048 memory=29740 CPUtime=19.58 cores=1,3,5,7
/proc/9094/stat : 9094 (cryptominisat5) R 9079 9061 3961 0 -1 4202496 20356 0 0 0 1956 2 0 0 20 0 1 0 406147085 56369152 7435 33554432000 4194304 4451008 140727795351376 140727795347304 139909368955688 0 4 0 2 0 0 0 17 5 0 0 0 0 0 6549032 6559120 37261312 140727795356605 140727795356736 140727795356736 140727795359686 0
/proc/9094/statm: 13762 7435 732 63 0 7489 0
[pid=9079/tid=9080] ppid=9061 vsize=8068440 memory=606967116401541251 CPUtime=0.74 cores=1,3,5,7
/proc/9079/task/9080/stat : 9080 (java) S 9061 9061 3961 0 -1 1077944384 17198 0 0 0 69 5 0 0 20 0 19 0 406147015 8262082560 29845 33554432000 4194304 4196468 140736693455792 140640130396064 140640158566101 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9081] ppid=9061 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9079/task/9081/stat : 9081 (java) S 9061 9061 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406147016 8262082560 29845 33554432000 4194304 4196468 140736693455792 140640162797840 140640158566101 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9082] ppid=9061 vsize=8068440 memory=2842300 CPUtime=0 cores=1,3,5,7
/proc/9079/task/9082/stat : 9082 (java) S 9061 9061 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406147016 8262082560 29845 33554432000 4194304 4196468 140736693455792 140639980886416 140640158566101 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9083] ppid=9061 vsize=8068440 memory=10580 CPUtime=0 cores=1,3,5,7
/proc/9079/task/9083/stat : 9083 (java) S 9061 9061 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406147016 8262082560 29845 33554432000 4194304 4196468 140736693455792 140639642483216 140640158566101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9084] ppid=9061 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9079/task/9084/stat : 9084 (java) S 9061 9061 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406147016 8262082560 29845 33554432000 4194304 4196468 140736693455792 140639641430672 140640158566101 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9085] ppid=9061 vsize=8068440 memory=3474022652370235957 CPUtime=0 cores=1,3,5,7
/proc/9079/task/9085/stat : 9085 (java) S 9061 9061 3961 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 406147017 8262082560 29845 33554432000 4194304 4196468 140736693455792 140639470791152 140640158567042 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9086] ppid=9061 vsize=8068440 memory=7013621191614556757 CPUtime=0 cores=1,3,5,7
/proc/9079/task/9086/stat : 9086 (java) S 9061 9061 3961 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 406147018 8262082560 29845 33554432000 4194304 4196468 140736693455792 140639039645088 140640158566101 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9087] ppid=9061 vsize=8068440 memory=280803888640328 CPUtime=0 cores=1,3,5,7
/proc/9079/task/9087/stat : 9087 (java) S 9061 9061 3961 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 406147018 8262082560 29845 33554432000 4194304 4196468 140736693455792 140638905423344 140640158566101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9088] ppid=9061 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9079/task/9088/stat : 9088 (java) S 9061 9061 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406147020 8262082560 29845 33554432000 4194304 4196468 140736693455792 140638530919120 140640158574491 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9089] ppid=9061 vsize=8068440 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/9079/task/9089/stat : 9089 (java) S 9061 9061 3961 0 -1 1077944384 679 0 0 0 9 0 0 0 20 0 19 0 406147020 8262082560 29845 33554432000 4194304 4196468 140736693455792 140639469737968 140640158567042 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9090] ppid=9061 vsize=8068440 memory=140402096330368 CPUtime=0.08 cores=1,3,5,7
/proc/9079/task/9090/stat : 9090 (java) S 9061 9061 3961 0 -1 1077944384 370 0 0 0 8 0 0 0 20 0 19 0 406147020 8262082560 29845 33554432000 4194304 4196468 140736693455792 140639468685424 140640158567042 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9091] ppid=9061 vsize=8068440 memory=-1 CPUtime=0.2 cores=1,3,5,7
/proc/9079/task/9091/stat : 9091 (java) S 9061 9061 3961 0 -1 1077944384 1035 0 0 0 20 0 0 0 20 0 19 0 406147020 8262082560 29845 33554432000 4194304 4196468 140736693455792 140639467632880 140640158567042 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9092] ppid=9061 vsize=8068440 memory=140402096330368 CPUtime=0 cores=1,3,5,7
/proc/9079/task/9092/stat : 9092 (java) S 9061 9061 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406147021 8262082560 29845 33554432000 4194304 4196468 140736693455792 140638033013344 140640158566101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9093] ppid=9061 vsize=8068440 memory=3472328296160571439 CPUtime=0 cores=1,3,5,7
/proc/9079/task/9093/stat : 9093 (java) S 9061 9061 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406147021 8262082560 29845 33554432000 4194304 4196468 140736693455792 140639466580784 140640158567042 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9095] ppid=9061 vsize=8068440 memory=7235542683129549028 CPUtime=0 cores=1,3,5,7
/proc/9079/task/9095/stat : 9095 (java) S 9061 9061 3961 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406147085 8262082560 29845 33554432000 4194304 4196468 140736693455792 140639458547264 140640158580505 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9097] ppid=9061 vsize=8068440 memory=10640 CPUtime=0.01 cores=1,3,5,7
/proc/9079/task/9097/stat : 9097 (java) S 9061 9061 3961 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 406147086 8262082560 29845 33554432000 4194304 4196468 140736693455792 140637496127600 140640158577821 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9098] ppid=9061 vsize=8068440 memory=-7022926605637215087 CPUtime=0 cores=1,3,5,7
/proc/9079/task/9098/stat : 9098 (java) S 9061 9061 3961 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 406147086 8262082560 29845 33554432000 4194304 4196468 140736693455792 140637227695376 140640158577821 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9099] ppid=9061 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9079/task/9099/stat : 9099 (java) S 9061 9061 3961 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 406147089 8262082560 29845 33554432000 4194304 4196468 140736693455792 140637630356528 140640158566101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
Current children cumulated CPU time: 24.93 s
Current children cumulated vsize: 8236616 KiB
Current children cumulated memory: 150596 KiB

[startup+22.4009 s]
/proc/loadavg: 2.22 3.14 3.03 3/238 9099
/proc/meminfo: memFree=23595948/32770624 swapFree=66901228/67108860
[pid=9061] ppid=9058 vsize=113128 memory=1476 CPUtime=4.18 cores=1,3,5,7
/proc/9061/stat : 9061 (scop.sh) S 9058 9061 3961 0 -1 4202496 582 25711 0 0 0 0 407 11 20 0 1 0 406146823 115843072 369 33554432000 4194304 5098028 140725321285360 140725321282104 139814482272892 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17534976 140725321290595 140725321290864 140725321290864 140725321293773 0
/proc/9061/statm: 28282 369 311 221 0 87 0
[pid=9079] ppid=9061 vsize=7805260 memory=120076 CPUtime=20.97 cores=1,3,5,7
/proc/9079/stat : 9079 (java) S 9061 9061 3961 0 -1 1077944320 20866 20399 0 0 112 8 1974 3 20 0 15 0 406147014 7992586240 30019 33554432000 4194304 4196468 140736693455792 140736693438336 140640158555895 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
/proc/9079/statm: 1951315 30019 3214 1 0 1912659 0
[pid=9079/tid=9080] ppid=9061 vsize=7805260 memory=0 CPUtime=20.51 cores=1,3,5,7
/proc/9079/task/9080/stat : 9080 (java) S 9061 9061 3961 0 -1 1077944384 17212 20399 0 0 69 5 1974 3 20 0 15 0 406147015 7992586240 30019 33554432000 4194304 4196468 140736693455792 140640130399376 140640158566101 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9081] ppid=9061 vsize=7805260 memory=0 CPUtime=19.77 cores=1,3,5,7
/proc/9079/task/9081/stat : 9081 (java) S 9061 9061 3961 0 -1 1077944384 2 20399 0 0 0 0 1974 3 20 0 15 0 406147016 7992586240 30019 33554432000 4194304 4196468 140736693455792 140640162797840 140640158566101 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9082] ppid=9061 vsize=7805260 memory=0 CPUtime=19.77 cores=1,3,5,7
/proc/9079/task/9082/stat : 9082 (java) S 9061 9061 3961 0 -1 1077944384 1 20399 0 0 0 0 1974 3 20 0 15 0 406147016 7992586240 30019 33554432000 4194304 4196468 140736693455792 140639980886416 140640158566101 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9083] ppid=9061 vsize=7805260 memory=0 CPUtime=19.77 cores=1,3,5,7
/proc/9079/task/9083/stat : 9083 (java) S 9061 9061 3961 0 -1 1077944384 1 20399 0 0 0 0 1974 3 20 0 15 0 406147016 7992586240 30019 33554432000 4194304 4196468 140736693455792 140639642483216 140640158566101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9084] ppid=9061 vsize=7805260 memory=0 CPUtime=19.77 cores=1,3,5,7
/proc/9079/task/9084/stat : 9084 (java) S 9061 9061 3961 0 -1 1077944384 1 20399 0 0 0 0 1974 3 20 0 15 0 406147016 7992586240 30019 33554432000 4194304 4196468 140736693455792 140639641430672 140640158566101 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9085] ppid=9061 vsize=7805260 memory=0 CPUtime=19.77 cores=1,3,5,7
/proc/9079/task/9085/stat : 9085 (java) S 9061 9061 3961 0 -1 1077944384 7 20399 0 0 0 0 1974 3 20 0 15 0 406147017 7992586240 30019 33554432000 4194304 4196468 140736693455792 140639470791360 140640158567042 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9086] ppid=9061 vsize=7805260 memory=0 CPUtime=19.77 cores=1,3,5,7
/proc/9079/task/9086/stat : 9086 (java) S 9061 9061 3961 0 -1 1077944384 13 20399 0 0 0 0 1974 3 20 0 15 0 406147018 7992586240 30019 33554432000 4194304 4196468 140736693455792 140639039645088 140640158566101 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9087] ppid=9061 vsize=7805260 memory=6943526294502006880 CPUtime=19.77 cores=1,3,5,7
/proc/9079/task/9087/stat : 9087 (java) S 9061 9061 3961 0 -1 1077944384 21 20399 0 0 0 0 1974 3 20 0 15 0 406147018 7992586240 30019 33554432000 4194304 4196468 140736693455792 140638905423344 140640158566101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9089] ppid=9061 vsize=7805260 memory=0 CPUtime=19.86 cores=1,3,5,7
/proc/9079/task/9089/stat : 9089 (java) S 9061 9061 3961 0 -1 1077944384 679 20399 0 0 9 0 1974 3 20 0 15 0 406147020 7992586240 30019 33554432000 4194304 4196468 140736693455792 140639469737968 140640158567042 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9090] ppid=9061 vsize=7805260 memory=0 CPUtime=19.86 cores=1,3,5,7
/proc/9079/task/9090/stat : 9090 (java) S 9061 9061 3961 0 -1 1077944384 469 20399 0 0 9 0 1974 3 20 0 15 0 406147020 7992586240 30019 33554432000 4194304 4196468 140736693455792 140639468664784 140640158566101 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9091] ppid=9061 vsize=7805260 memory=3473833218024202166 CPUtime=19.97 cores=1,3,5,7
/proc/9079/task/9091/stat : 9091 (java) S 9061 9061 3961 0 -1 1077944384 1040 20399 0 0 20 0 1974 3 20 0 15 0 406147020 7992586240 30019 33554432000 4194304 4196468 140736693455792 140639467632880 140640158567042 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9092] ppid=9061 vsize=7805260 memory=8260079401124379234 CPUtime=19.77 cores=1,3,5,7
/proc/9079/task/9092/stat : 9092 (java) S 9061 9061 3961 0 -1 1077944384 3 20399 0 0 0 0 1974 3 20 0 15 0 406147021 7992586240 30019 33554432000 4194304 4196468 140736693455792 140638033013344 140640158566101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9095] ppid=9061 vsize=7805260 memory=2840668 CPUtime=19.77 cores=1,3,5,7
/proc/9079/task/9095/stat : 9095 (java) S 9061 9061 3961 0 -1 1077944384 23 20399 0 0 0 0 1974 3 20 0 15 0 406147085 7992586240 30019 33554432000 4194304 4196468 140736693455792 140639458546448 140640158567042 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
[pid=9079/tid=9099] ppid=9061 vsize=7805260 memory=0 CPUtime=19.77 cores=1,3,5,7
/proc/9079/task/9099/stat : 9099 (java) S 9061 9061 3961 0 -1 1077944384 41 20399 0 0 0 0 1974 3 20 0 15 0 406147089 7992586240 30019 33554432000 4194304 4196468 140736693455792 140637630358320 140640158567042 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17461248 140736693457916 140736693458074 140736693458074 140736693460943 0
Current children cumulated CPU time: 25.15 s
Current children cumulated vsize: 7918388 KiB
Current children cumulated memory: 121552 KiB

Child status: 0
Real time (s): 22.4148
CPU time (s): 25.1815
CPU user time (s): 24.9475
CPU system time (s): 0.233997
CPU usage (%): 112.343
Max. virtual memory (cumulated for all children) (KiB): 15141472
Max. memory (cumulated for all children) (KiB): 245392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.9475
system time used= 0.233997
maximum resident set size= 244292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67575
page faults= 0
swaps= 0
block input operations= 0
block output operations= 752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5611
involuntary context switches= 32


# summary of solver processes directly reported to runsolver:
#   pid: 9061
#   total CPU time (s): 25.1815
#   total CPU user time (s): 24.9475
#   total CPU system time (s): 0.233997

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.172308 second user time and 0.299873 second system time

The end

Launcher Data 

Begin job on node139 at 2019-09-12 16:34:53
IDJOB=4388461
IDBENCH=141744
IDSOLVER=2826
FILE ID=node139/4388461-1568298793
RUNJOBID= node139-1568287468-5190
PBS_JOBID= 21701070
Free space on /tmp= 53080 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-17-042.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-4388461-1568298793/watcher-4388461-1568298793 -o /tmp/evaluation-result-4388461-1568298793/solver-4388461-1568298793 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568287468-5190 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388461-1568298793.xml

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

MD5SUM BENCH= 30a2df13e8a589268a4af4fb67fb8cf0
RANDOM SEED=1003210624

node139.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.57
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.57
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.57
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.57
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:        23736348 kB
MemAvailable:   30813104 kB
Buffers:           99740 kB
Cached:          7174852 kB
SwapCached:       105700 kB
Active:          1780956 kB
Inactive:        6547412 kB
Active(anon):     948408 kB
Inactive(anon):   146292 kB
Active(file):     832548 kB
Inactive(file):  6401120 kB
Unevictable:      108300 kB
Mlocked:          108300 kB
SwapTotal:      67108860 kB
SwapFree:       66901228 kB
Dirty:             20696 kB
Writeback:           104 kB
AnonPages:       1078436 kB
Mapped:            56016 kB
Shmem:             32168 kB
Slab:             300456 kB
SReclaimable:     271548 kB
SUnreclaim:        28908 kB
KernelStack:        4176 kB
PageTables:         7716 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6840124 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    319488 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 53060 MiB
End job on node139 at 2019-09-12 16:35:16