Trace number 4387912

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)SAT 44.4136 40.9122

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-033.xml
MD5SUM273a3a450a7af16ef80dfed9e1af494c
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark36.4974
Satisfiable
(Un)Satisfiability was proved
Number of variables48
Number of constraints51
Number of domains1
Minimum domain size288
Maximum domain size288
Distribution of domain sizes[{"size":288,"count":48}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":46},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity48
Distribution of constraint arities[{"arity":1,"count":49},{"arity":2,"count":1},{"arity":48,"count":1}]
Number of extensional constraints0
Number of intensional constraints50
Distribution of constraint types[{"type":"intension","count":50},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/cryptominisat5 -solverOption default -tmp HOME -serialFile HOME/scop-11517-serial-file.bin HOME/instance-4387912-1568292127.xml
0.67/0.52	
0.67/0.52	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.67/0.52	
0.67/0.54	c BEGIN-Prog: Thu Sep 12 14:41:28 CEST 2019
0.67/0.54	c PID: 11520
0.67/0.54	c IP: 172.20.3.140
0.67/0.54	c HOST: node140.alineos.net
0.67/0.55	c (0,0) Parsing Begin
1.22/0.89	c (0,0) Parsing End
1.22/0.89	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 51 ctr, max domain size 288
1.22/0.89	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.22/0.89	c (0,0) Constraint Name Generate Begin
1.42/0.90	c (0,0) Ctr:HOME/instance-4387912-1568292127.xml,Le:NoOverlap:Num:Var
1.42/0.90	c (0,0) Constraint Name Generate End
1.42/0.90	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.42/0.90	c (0,0) CSP to CSPinCNF Begin
1.42/0.98	c (0,0) translated 6 (10%) constraints
1.42/0.98	c (0,0) translated 11 (20%) constraints
1.42/0.98	c (0,0) translated 16 (30%) constraints
1.42/0.99	c (0,0) translated 21 (40%) constraints
1.42/0.99	c (0,0) translated 26 (50%) constraints
1.42/0.99	c (0,0) translated 31 (60%) constraints
1.42/0.99	c (0,0) translated 36 (70%) constraints
1.42/1.00	c (0,0) translated 41 (80%) constraints
1.42/1.00	c (0,0) translated 46 (90%) constraints
2.19/1.26	c (0,0) translated 51 (100%) constraints
2.19/1.26	c (0,0) ===========================================
2.19/1.27	c (0,0) Hybrid: #OE=48, #LE=0
2.19/1.27	c (0,0) Hybrid
2.19/1.27	c (0,0) ===========================================
2.19/1.28	c (0,0) translated 33 (10%) constraints
2.19/1.29	c (0,0) translated 66 (20%) constraints
2.19/1.29	c (0,0) translated 98 (30%) constraints
2.52/1.30	c (0,0) translated 131 (40%) constraints
2.52/1.31	c (0,0) translated 163 (50%) constraints
2.52/1.31	c (0,0) translated 196 (60%) constraints
2.52/1.31	c (0,0) translated 229 (70%) constraints
2.52/1.32	c (0,0) translated 261 (80%) constraints
2.52/1.32	c (0,0) translated 294 (90%) constraints
2.52/1.33	c (0,0) translated 326 (100%) constraints
2.52/1.33	c (0,0) CSP to CSPinCNF End
2.52/1.33	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 326 ctr, max domain size 287
2.52/1.33	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.52/1.33	c (0,0) CSPinCNF Propagation Begin
2.52/1.36	c (0,0) 0 values, 10 unsatisfiable literals, and 49 valid clauses are removed
2.52/1.36	c (0,0) CSPinCNF Propagation End
2.52/1.36	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 277 ctr, max domain size 287
2.52/1.36	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.52/1.37	c (0,0) Hybrid: #OE=48, #LE=0
2.52/1.37	c (0,0) Simplify CSPinCNF Begin
2.86/1.46	c (0,0) Simplify CSPinCNF End
2.86/1.46	c (0,0) CSP: 48 int (0 aux), 1094 bool (1094 aux), 1371 ctr, max domain size 287
2.86/1.46	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.86/1.46	c (0,0) Calculate Precise Domain Begin
2.86/1.47	c (0,0) 0 values are removed by re-calculation
2.86/1.47	c (0,0) Calculate Precise Domain End
2.86/1.47	c (0,0) CSP: 48 int (0 aux), 1094 bool (1094 aux), 1371 ctr, max domain size 287
2.86/1.47	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.86/1.47	c (0,0) CSPinCNF to SatSolver Begin
4.07/1.86	c (1,1) 138 (10 %) CSP clauses are encoded (0 SAT variables, 38094 SAT clauses)
4.69/2.30	c (1,1) 275 (20 %) CSP clauses are encoded (0 SAT variables, 64094 SAT clauses)
4.83/2.40	c (1,1) 412 (30 %) CSP clauses are encoded (0 SAT variables, 88663 SAT clauses)
4.83/2.50	c (1,1) 549 (40 %) CSP clauses are encoded (0 SAT variables, 112258 SAT clauses)
4.94/2.59	c (2,1) 686 (50 %) CSP clauses are encoded (0 SAT variables, 135989 SAT clauses)
5.05/2.68	c (2,1) 823 (60 %) CSP clauses are encoded (0 SAT variables, 158403 SAT clauses)
5.16/2.76	c (2,1) 960 (70 %) CSP clauses are encoded (0 SAT variables, 179871 SAT clauses)
5.27/2.84	c (2,1) 1097 (80 %) CSP clauses are encoded (0 SAT variables, 199686 SAT clauses)
5.38/2.91	c (2,2) 1234 (90 %) CSP clauses are encoded (0 SAT variables, 216911 SAT clauses)
5.38/2.96	c (2,2) 1371 (100 %) CSP clauses are encoded (0 SAT variables, 229298 SAT clauses)
5.38/2.96	c (2,2) CSPinCNF to SatSolver End
5.38/2.96	c (2,2) Heap : 957 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.38/2.96	c (2,2) 12648 bool, 229362 clause
5.38/2.96	c (2,2) Export Begin
5.56/3.04	c (2,2) Export to HOME/scop-11517-serial-file.bin
5.56/3.04	c (2,2) Export End
5.56/3.04	c (2,2) Export File Size: 0.01 MB
5.56/3.04	c (2,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS)
5.56/3.04	c END-Prog: Thu Sep 12 14:41:30 CEST 2019
5.56/3.06	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-11517-serial-file.bin
5.63/3.51	c (0,0) Read Serial File Begin
5.63/3.51	c (0,0) HOME/scop-11517-serial-file.bin
5.63/3.71	c (0,0) Read Serial File End
5.63/3.72	
5.63/3.72	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
5.63/3.72	(Solving Process)
5.63/3.72	
5.63/3.74	c BEGIN-Prog: Thu Sep 12 14:41:31 CEST 2019
5.63/3.74	c PID: 11535
5.63/3.74	c IP: 172.20.3.140
5.63/3.74	c HOST: node140.alineos.net
5.63/3.75	c (0,0) SatSolver.solve Begin
5.63/3.75	c (0,0) HOME/cryptominisat5  HOME/instance-4387912-1568292127.xml-scop-11520.cnf
5.63/3.78	c (0,0) c Outputting solution to console
5.63/3.78	c (0,0) c CryptoMiniSat version 5.6.8
5.63/3.78	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
5.63/3.78	c (0,0) c CMS SHA revision GIT-notfound
5.63/3.78	c (0,0) c CMS is MIT licensed
5.63/3.78	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.63/3.78	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
5.63/3.78	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387912-1568292127.xml-scop-11520.cnf
5.63/3.78	c (0,0) c Reading file 'HOME/instance-4387912-1568292127.xml-scop-11520.cnf'
5.63/3.78	c (0,0) c -- header says num vars:          12648
5.63/3.78	c (0,0) c -- header says num clauses:      229362
5.63/3.86	c (0,0) c -- clauses added: 229362
5.63/3.86	c (0,0) c -- xor clauses added: 0
5.63/3.86	c (0,0) c -- vars added 12648
5.63/3.86	c (0,0) c Parsing time: 0.08 s
5.63/3.88	c (0,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
5.63/3.88	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%
7.09/4.14	c (0,0) c [distill] long cls tried: 160/161 cl-short:160 lit-r:132 T: 0.02 T-out: N T-r: 99.74%
7.38/4.46	c (1,0) c [distill] long cls tried: 124/281 cl-short:123 lit-r:74 T: 0.02 T-out: N T-r: 99.77%
7.48/4.57	c (1,0) c   glue     1    41  8193   12556  215K 13727    3.00    2.94   342  2784  5057    10   21.55   21.53
8.09/5.14	c (1,0) c [distill] long cls tried: 1535/1809 cl-short:1535 lit-r:1575 T: 0.24 T-out: N T-r: 96.36%
8.58/5.69	c (2,0) c   geom     1    84 16386   12556  215K 13727    3.00    2.94  2161  5610  8592    23   23.37   23.34
8.79/5.82	c (2,0) c [distill] long cls tried: 353/2160 cl-short:353 lit-r:593 T: 0.09 T-out: N T-r: 98.76%
10.00/7.07	c (3,0) c [distill] long cls tried: 1440/3593 cl-short:1440 lit-r:1943 T: 0.39 T-out: N T-r: 94.99%
10.19/7.26	c (3,0) c   glue     1   122   24K   12556  215K 13727    3.00    2.94  3621  6289 14636    35   24.61   24.58
11.78/8.87	c (5,0) c [distill] long cls tried: 1644/5236 cl-short:1644 lit-r:2712 T: 0.61 T-out: N T-r: 92.52%
12.09/9.17	c (5,0) c   glue     1   164   32K   12556  215K 13727    3.00    2.94  5273  8957 17772    38   25.10   25.07
13.99/11.10	c (7,0) c [distill] long cls tried: 1363/6594 cl-short:1363 lit-r:1978 T: 0.58 T-out: N T-r: 93.19%
14.09/11.18	c (7,0) c   glue     1   210   40K   12556  215K 13727    3.00    2.94  6600  7532   26K    46   26.18   26.15
15.69/12.79	c (9,0) c   glue     1   251   49K   12556  215K 13727    3.00    2.94  6953 11219   26K    51   26.60   26.57
17.59/14.61	c (11,0) c [distill] long cls tried: 1609/8187 cl-short:1609 lit-r:3896 T: 1.09 T-out: N T-r: 89.47%
18.58/15.65	c (12,0) c   geom     1   286   57K   12556  215K 13727    3.00    2.94  8277  9942   34K    72   27.39   27.36
20.59/17.68	c (14,0) c   glue     1   331   65K   12556  215K 13727    3.00    2.94  9930 10799   33K    79   27.08   27.05
22.20/19.21	c (15,0) c [distill] long cls tried: 1750/9926 cl-short:1750 lit-r:5233 T: 1.33 T-out: N T-r: 87.07%
23.11/20.13	c (16,0) c recursive minimization cost OK: 2189Kcost/(% lits removed)
23.11/20.13	c (16,0) c more minimization effectiveness low: 0.00 % lits removed --> disabling
23.11/20.14	c (16,0) c --> Executing strategy token: handle-comps
23.11/20.14	c (16,0) c --> Executing strategy token: scc-vrepl
23.11/20.14	c (16,0) c [scc] new: 81 BP 0M T: 0.00
23.11/20.17	c (16,0) c [vrep] vars 41 lits 8172 rem-bin-cls 204 rem-long-cls 0 BP 0M T: 0.03
23.11/20.18	c (16,0) c --> Executing strategy token: cache-clean
23.11/20.18	c (16,0) c --> Executing strategy token: cache-tryboth
23.11/20.18	c (16,0) c --> Executing strategy token: sub-impl
23.11/20.18	c (16,0) c [impl sub] bin: 14 T: 0.01 T-out: N w-visit: 25296
23.11/20.20	c (16,0) c --> Executing strategy token: intree-probe
23.11/20.20	c (16,0) c [scc] new: 0 BP 0M T: 0.00
23.20/20.22	c (16,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 0M T: 0.02
23.30/20.33	c (16,0) c [intree] Set 0 vars hyper-added: 92 trans-irred::128 trans-red::24 T: 0.11 T-out: N T-r: 99.49%
23.60/20.64	c (17,0) c --> Executing strategy token: probe
23.60/20.64	c (17,0) c --> Executing strategy token: sub-str-cls-with-bin
23.60/20.64	c (17,0) c [distill] cache-based irred--  cl tried   426365 cl-sh     0 cl-rem  248 lit-rem      0 T: 0.27 T-out: N
23.60/20.64	c (17,0) c [distill] cache-based   red--  cl tried    22013 cl-sh   121 cl-rem   15 lit-rem    137 T: 0.03 T-out: N
24.60/21.68	c (18,0) c --> Executing strategy token: distill-cls
24.60/21.68	c (18,0) c [distill] long cls tried: 2507/213047 cl-short:72 lit-r:11 T: 1.04 T-out: Y T-r: -0.09%
24.60/21.68	c (18,0) c [distill] long useful: 144/5014/426116 lits-rem: 22 0-depth-assigns: 0 T: 2.08 T-out: Y
24.60/21.69	c (18,0) c --> Executing strategy token: scc-vrepl
24.60/21.69	c (18,0) c [scc] new: 0 BP 0M T: 0.00
24.70/21.70	c (18,0) c --> Executing strategy token: sub-impl
24.70/21.70	c (18,0) c [impl sub] bin: 0 T: 0.01 T-out: N w-visit: 25296
24.70/21.70	c (18,0) c --> Executing strategy token: str-impl
24.70/21.70	c (18,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.79% w-visit: 25296
24.70/21.71	c (18,0) c --> Executing strategy token: sub-impl
24.70/21.71	c (18,0) c [impl sub] bin: 0 T: 0.01 T-out: N w-visit: 25296
24.70/21.73	c (18,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
24.70/21.73	c (18,0) c [occ] mem usage for occur     20 MB
24.70/21.78	c (18,0) c [occ] mem usage for occur      3 MB
24.80/21.84	c (18,0) c Mem for watch alloc      : 18          MB (35.85     %)
24.80/21.84	c (18,0) c Mem for watch array      : 0           MB (1.10      %)
24.80/21.85	c (18,0) c --> Executing OCC strategy token: occ-backw-sub-str
24.80/21.85	c (18,0) c [occ-backw-sub-str-long-w-bins] subs: 0 str: 0 tried: 27318 0-depth ass: 0 T: 0.01 T-out: N T-r: 99.42%
25.01/22.06	c (18,0) c [occ-sub-long-w-long] rem cl: 188 tried: 542608/271304 (200.0%) T: 0.21 T-out: N T-r: 72.05%
25.40/22.46	c (19,0) c [occ-sub-str-long-w-long] sub: 0 str: 91 tried: 813912/271304 (300.0)  T: 0.39 T-out: N T-r: 68.72%
25.40/22.46	c (19,0) c --> Executing OCC strategy token: occ-clean-implicit
25.40/22.46	c (19,0) c --> Executing OCC strategy token: occ-bve
25.40/22.46	c (19,0) c [occ-empty-res] Empty resolvent elimed: 0 T: 0.01 T-out: N
25.90/22.92	c (19,0) c [occ-bve] iter v-elim 412
25.90/22.92	c (19,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=0)
25.90/22.93	c (19,0) c Reduced to 12103 vars, 226175 cls (grow=0)
26.01/23.07	c (19,0) c [occ-bve] iter v-elim 0
26.01/23.07	c (19,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=8)
26.01/23.07	c (19,0) c Reduced to 12103 vars, 226175 cls (grow=8)
26.21/23.21	c (19,0) c [occ-bve] iter v-elim 0
26.21/23.21	c (19,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=16)
26.21/23.22	c (19,0) c Reduced to 12103 vars, 226175 cls (grow=16)
26.21/23.22	c (19,0) c x n vars       : 12103
26.21/23.22	c (19,0) c  #try to eliminate:    48K
26.21/23.22	c (19,0) c  #var-elim        :    412
26.21/23.22	c (19,0) c  #T-o: N
26.21/23.22	c (19,0) c  #T-r: 99.90%
26.21/23.22	c (19,0) c  #T  : 0.75
26.21/23.22	c (19,0) c [occur] 0.11 is overhead
26.21/23.22	c (19,0) c [occur] link-in T: 0.11 cleanup T: 0.00
26.21/23.22	c (19,0) c --> Executing OCC strategy token: occ-bva
26.21/23.22	c (19,0) c [occ-bva] global numcalls: 0
26.21/23.25	c (19,0) c --> Executing OCC strategy token: occ-ternary-res
26.21/23.25	c (19,0) c --> Executing OCC strategy token: occ-xor
26.21/23.25	c (19,0) c [occ-xor] sort occur list T: 0.03
26.41/23.44	c (19,0) c [occ-xor] found      0 T: 0.22 T-out: N T-r: 97.24%
26.41/23.44	c (19,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
26.51/23.51	c (20,0) c --> Executing strategy token: cl-consolidate
26.51/23.51	c (20,0) c [mem] consolidate  old-sz:    21M new-sz:  9216K new bits offs: 0 T: 0.02
26.51/23.51	c (20,0) c --> Executing strategy token: str-impl
26.51/23.51	c (20,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.82% w-visit: 25296
26.73/23.70	c (20,0) c --> Executing strategy token: cache-clean
26.73/23.70	c (20,0) c --> Executing strategy token: sub-str-cls-with-bin
26.73/23.70	c (20,0) c [distill] cache-based irred--  cl tried   426636 cl-sh     0 cl-rem    8 lit-rem      0 T: 0.18 T-out: N
26.73/23.70	c (20,0) c [distill] cache-based   red--  cl tried     5144 cl-sh     0 cl-rem    0 lit-rem      0 T: 0.00 T-out: N
27.63/24.65	c (21,0) c --> Executing strategy token: distill-cls
27.63/24.65	c (21,0) c [distill] long cls tried: 3086/213309 cl-short:131 lit-r:37 T: 0.96 T-out: Y T-r: -0.08%
27.63/24.65	c (21,0) c [distill] long useful: 262/6172/426628 lits-rem: 74 0-depth-assigns: 0 T: 1.91 T-out: Y
27.63/24.66	c (21,0) c --> Executing strategy token: scc-vrepl
27.63/24.66	c (21,0) c [scc] new: 0 BP 0M T: 0.00
27.63/24.66	c (21,0) c --> Executing strategy token: check-cache-size
27.63/24.66	c (21,0) c --> Executing strategy token: renumber
27.63/24.66	c (21,0) c --> Executing strategy token: sls
27.63/24.66	c (21,0) c [consolidate] mini T: 0.00
27.63/24.66	c (21,0) c global_timeout_multiplier: 4.40
27.63/24.67	c (21,0) c clause size stats. size3: 159676 size4: 1092 size5: 52541 larger: 0
28.23/25.29	c (21,0) c   luby     0   389   73K   12103  213K 12858    3.50    3.41  2642  2002  3248    83   17.66   17.50
29.82/26.87	c (23,0) c   luby     0   421   81K   12103  213K 12858    3.50    3.41  3395  2199 10496    84   22.66   22.55
30.32/27.39	c (23,0) c [distill] long cls tried: 1041/3397 cl-short:1031 lit-r:1002 T: 0.33 T-out: N T-r: 96.12%
31.82/28.84	c (25,0) c   luby     0   439   90K   12103  213K 12858    3.50    3.41  4156  4131 15989    91   25.97   25.88
33.93/30.92	c (27,0) c   luby     0   471   98K   12103  213K 12858    3.50    3.41  4203  4754   23K    91   26.36   26.30
35.83/32.87	c (29,0) c [distill] long cls tried: 1444/4816 cl-short:1442 lit-r:2818 T: 0.84 T-out: N T-r: 91.23%
36.94/33.92	c (30,0) c   luby     0   496  106K   12103  213K 12858    3.50    3.41  5037  6580   25K   117   26.54   26.47
38.73/35.76	c (32,0) c   luby     0   497  114K   12103  213K 12858    3.50    3.41  5632  5858   34K   117   28.78   28.71
40.83/37.84	c (34,0) c   luby     0   528  122K   12103  213K 12858    3.50    3.41  6372  6404   33K   117   29.29   29.22
42.73/39.78	c (36,0) c [distill] long cls tried: 1580/6383 cl-short:1580 lit-r:2638 T: 0.94 T-out: N T-r: 91.03%
43.63/40.64	c (37,0) c ------- FINAL TOTAL SEARCH STATS ---------
43.63/40.64	c (37,0) c UIP search time          : 32.21       (87.49     % time)
43.63/40.64	c (37,0) c restarts                 : 558         (231.28    confls per restart)
43.63/40.64	c (37,0) c blocked restarts         : 56          (0.10      per normal restart)
43.63/40.64	c (37,0) c time                     : 32.21       
43.63/40.64	c (37,0) c decisions                : 256011      (0.00      % random)
43.63/40.64	c (37,0) c propagations             : 104071807   
43.63/40.64	c (37,0) c decisions/conflicts      : 1.98        
43.63/40.64	c (37,0) c conflicts                : 129054      (4007.27   / sec)
43.63/40.64	c (37,0) c conf lits non-minim      : 6365998     (49.33     lit/confl)
43.63/40.64	c (37,0) c conf lits final          : 30.66       
43.63/40.64	c (37,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
43.63/40.64	c (37,0) c red which0               : 1964        (1.52      % of confl)
43.63/40.64	c (37,0) c props/decision           : 0.00        
43.63/40.64	c (37,0) c props/conflict           : 0.00        
43.63/40.64	c (37,0) c 0-depth assigns          : 92          (0.73      % vars)
43.63/40.64	c (37,0) c 0-depth assigns by CNF   : 0           (0.00      % vars)
43.63/40.64	c (37,0) c reduceDB time            : 0.03        (0.08      % time)
43.63/40.64	c (37,0) c OccSimplifier time       : 0.98        (2.65      % time)
43.63/40.64	c (37,0) c [occur] 0.16 is overhead
43.63/40.64	c (37,0) c [occur] link-in T: 0.11 cleanup T: 0.05
43.63/40.64	c (37,0) c [occ-substr] long subBySub: 188 subByStr: 0 lits-rem-str: 182 T: 0.60
43.63/40.64	c (37,0) c SCC time                 : 0.01        (0.04      % time)
43.63/40.64	c (37,0) c [scc] new: 81 BP 0M  T: 0.01
43.63/40.64	c (37,0) c vrep replace time        : 0.05        (0.14      % time)
43.63/40.64	c (37,0) c vrep tree roots          : 1           
43.63/40.64	c (37,0) c vrep trees' crown        : 41          (41.00     leafs/tree)
43.63/40.64	c (37,0) c distill time             : 10.47       (28.44     % time)
43.63/40.64	c (37,0) c strength cache-irred time: 0.45        (1.21      % time)
43.63/40.64	c (37,0) c strength cache-red time  : 0.03        (0.09      % time)
43.63/40.64	c (37,0) c Conflicts in UIP         : 129054      (3506.05   confl/time_this_thread)
43.63/40.64	c (37,0) c Mem used                 : 59.48       MB
43.63/40.64	c (37,0) c Total time (this thread) : 36.81       
43.63/40.64	c (37,0) s SATISFIABLE
43.86/40.74	c (37,0) SatSolver.solve End
43.86/40.74	c (37,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
43.86/40.74	c (37,0) Show results Begin
44.20/40.83	c (37,0) x[0] = 182
44.20/40.83	c (37,0) x[1] = 175
44.20/40.83	c (37,0) x[2] = 175
44.20/40.83	c (37,0) x[3] = 210
44.20/40.83	c (37,0) x[4] = 186
44.20/40.83	c (37,0) x[5] = 159
44.20/40.83	c (37,0) x[6] = 198
44.20/40.83	c (37,0) x[7] = 210
44.20/40.83	c (37,0) x[8] = 198
44.20/40.83	c (37,0) x[9] = 159
44.20/40.83	c (37,0) x[10] = 159
44.20/40.83	c (37,0) x[11] = 182
44.20/40.83	c (37,0) x[12] = 184
44.20/40.83	c (37,0) x[13] = 159
44.20/40.83	c (37,0) x[14] = 186
44.20/40.83	c (37,0) x[15] = 159
44.20/40.83	c (37,0) x[16] = 129
44.20/40.83	c (37,0) x[17] = 228
44.20/40.83	c (37,0) x[18] = 220
44.20/40.83	c (37,0) x[19] = 129
44.20/40.83	c (37,0) x[20] = 215
44.20/40.83	c (37,0) x[21] = 201
44.20/40.83	c (37,0) x[22] = 0
44.20/40.83	c (37,0) x[23] = 0
44.20/40.83	c (37,0) y[0] = 129
44.20/40.83	c (37,0) y[1] = 129
44.20/40.83	c (37,0) y[2] = 120
44.20/40.83	c (37,0) y[3] = 131
44.20/40.83	c (37,0) y[4] = 201
44.20/40.83	c (37,0) y[5] = 120
44.20/40.83	c (37,0) y[6] = 56
44.20/40.83	c (37,0) y[7] = 141
44.20/40.83	c (37,0) y[8] = 73
44.20/40.83	c (37,0) y[9] = 136
44.20/40.83	c (37,0) y[10] = 95
44.20/40.83	c (37,0) y[11] = 131
44.20/40.83	c (37,0) y[12] = 95
44.20/40.83	c (37,0) y[13] = 56
44.20/40.83	c (37,0) y[14] = 159
44.20/40.83	c (37,0) y[15] = 0
44.20/40.83	c (37,0) y[16] = 159
44.20/40.83	c (37,0) y[17] = 141
44.20/40.83	c (37,0) y[18] = 73
44.20/40.83	c (37,0) y[19] = 216
44.20/40.83	c (37,0) y[20] = 0
44.20/40.83	c (37,0) y[21] = 201
44.20/40.83	c (37,0) y[22] = 159
44.20/40.83	c (37,0) y[23] = 0
44.20/40.83	s SATISFIABLE
44.20/40.84	v <instantiation>
44.20/40.84	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23]</list>
44.20/40.84	v     <values>182 175 175 210 186 159 198 210 198 159 159 182 184 159 186 159 129 228 220 129 215 201 0 0 129 129 120 131 201 120 56 141 73 136 95 131 95 56 159 0 159 141 73 216 0 201 159 0</values>
44.20/40.84	v </instantiation>
44.20/40.84	c (37,0) Show results End
44.20/40.84	c (37,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
44.20/40.84	c (37,0) 37,37,STOP-AFTER(ALL)
44.20/40.84	c END-Prog: Thu Sep 12 14:42:08 CEST 2019

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (9372 MiB free)
  memory of node 1: 16384 MiB (11599 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387912-1568292127/watcher-4387912-1568292127 -o /tmp/evaluation-result-4387912-1568292127/solver-4387912-1568292127 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568286731-10042 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387912-1568292127.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=11517, runsolver pid=11514

[startup+0.102525 s]*
/proc/loadavg: 2.01 2.01 2.01 4/236 11534
/proc/meminfo: memFree=21411352/32770624 swapFree=66999124/67108860
[pid=11517] ppid=11514 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11517/stat : 11517 (scop.sh) S 11514 11517 9001 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405151174 115843072 349 33554432000 4194304 5098028 140724440780992 140724440778248 139798116577916 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9523200 140724440789859 140724440790128 140724440790128 140724440793037 0
/proc/11517/statm: 28282 349 296 221 0 87 0
[pid=11520] ppid=11517 vsize=15012696 memory=74464 CPUtime=0.12 cores=1,3,5,7
/proc/11520/stat : 11520 (java) S 11517 11517 9001 0 -1 1077944320 6854 0 0 0 10 2 0 0 20 0 15 0 405151174 15373000704 18616 33554432000 4194304 4196468 140729207949328 140729207931872 140265446575863 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
/proc/11520/statm: 3753174 18616 2933 1 0 3715579 0
[pid=11520/tid=11521] ppid=11517 vsize=15012696 memory=-6437188426293100485 CPUtime=0.09 cores=1,3,5,7
/proc/11520/task/11521/stat : 11521 (java) R 11517 11517 9001 0 -1 4202560 4679 0 0 0 8 1 0 0 20 0 15 0 405151174 15373000704 18616 33554432000 4194304 4196468 140729207949328 140265418369768 140265430656350 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11522] ppid=11517 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11522/stat : 11522 (java) S 11517 11517 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405151176 15373000704 18616 33554432000 4194304 4196468 140729207949328 140265450818704 140265446586069 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11523] ppid=11517 vsize=15012696 memory=140289091511936 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11523/stat : 11523 (java) S 11517 11517 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405151176 15373000704 18616 33554432000 4194304 4196468 140729207949328 140265249594384 140265446586069 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11524] ppid=11517 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11524/stat : 11524 (java) S 11517 11517 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405151176 15373000704 18616 33554432000 4194304 4196468 140729207949328 140265248541584 140265446586069 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11525] ppid=11517 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11525/stat : 11525 (java) S 11517 11517 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405151176 15373000704 18616 33554432000 4194304 4196468 140729207949328 140265247488784 140265446586069 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11526] ppid=11517 vsize=15012696 memory=140289091511936 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11526/stat : 11526 (java) S 11517 11517 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405151177 15373000704 18616 33554432000 4194304 4196468 140729207949328 140264416946544 140265446587010 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11527] ppid=11517 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11527/stat : 11527 (java) S 11517 11517 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405151178 15373000704 18616 33554432000 4194304 4196468 140729207949328 140264035312672 140265446586069 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11528] ppid=11517 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11528/stat : 11528 (java) S 11517 11517 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405151178 15373000704 18616 33554432000 4194304 4196468 140729207949328 140263766877040 140265446586069 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11529] ppid=11517 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11529/stat : 11529 (java) S 11517 11517 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405151180 15373000704 18616 33554432000 4194304 4196468 140729207949328 140263392368464 140265446594459 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11530] ppid=11517 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11530/stat : 11530 (java) S 11517 11517 9001 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 405151180 15373000704 18616 33554432000 4194304 4196468 140729207949328 140264415894384 140265446587010 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11531] ppid=11517 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11531/stat : 11531 (java) S 11517 11517 9001 0 -1 1077944384 144 0 0 0 0 0 0 0 20 0 15 0 405151180 15373000704 18616 33554432000 4194304 4196468 140729207949328 140264414841584 140265446587010 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11532] ppid=11517 vsize=15012696 memory=140289091511936 CPUtime=0.01 cores=1,3,5,7
/proc/11520/task/11532/stat : 11532 (java) S 11517 11517 9001 0 -1 1077944384 441 0 0 0 1 0 0 0 20 0 15 0 405151180 15373000704 18616 33554432000 4194304 4196468 140729207949328 140264413788784 140265446587010 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11533] ppid=11517 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11533/stat : 11533 (java) S 11517 11517 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405151181 15373000704 18616 33554432000 4194304 4196468 140729207949328 140262894463712 140265446586069 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11534] ppid=11517 vsize=15012696 memory=140289091511936 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11534/stat : 11534 (java) S 11517 11517 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405151181 15373000704 18616 33554432000 4194304 4196468 140729207949328 140264412736176 140265446587010 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 75860 KiB

[startup+0.210986 s]*
/proc/loadavg: 2.01 2.01 2.01 3/236 11534
/proc/meminfo: memFree=21392980/32770624 swapFree=66999124/67108860
[pid=11517] ppid=11514 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11517/stat : 11517 (scop.sh) S 11514 11517 9001 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405151174 115843072 349 33554432000 4194304 5098028 140724440780992 140724440778248 139798116577916 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9523200 140724440789859 140724440790128 140724440790128 140724440793037 0
/proc/11517/statm: 28282 349 296 221 0 87 0
[pid=11520] ppid=11517 vsize=15012696 memory=89052 CPUtime=0.25 cores=1,3,5,7
/proc/11520/stat : 11520 (java) S 11517 11517 9001 0 -1 1077944320 11865 0 0 0 22 3 0 0 20 0 15 0 405151174 15373000704 22263 33554432000 4194304 4196468 140729207949328 140729207931872 140265446575863 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
/proc/11520/statm: 3753174 22263 2936 1 0 3715579 0
[pid=11520/tid=11521] ppid=11517 vsize=15012696 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/11520/task/11521/stat : 11521 (java) R 11517 11517 9001 0 -1 4202560 9604 0 0 0 17 2 0 0 20 0 15 0 405151174 15373000704 22263 33554432000 4194304 4196468 140729207949328 140265418393632 140265446597789 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11522] ppid=11517 vsize=15012696 memory=398 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11522/stat : 11522 (java) S 11517 11517 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405151176 15373000704 22263 33554432000 4194304 4196468 140729207949328 140265450818704 140265446586069 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11523] ppid=11517 vsize=15012696 memory=140289091523579 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11523/stat : 11523 (java) S 11517 11517 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405151176 15373000704 22263 33554432000 4194304 4196468 140729207949328 140265249594384 140265446586069 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11524] ppid=11517 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11524/stat : 11524 (java) S 11517 11517 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405151176 15373000704 22263 33554432000 4194304 4196468 140729207949328 140265248541584 140265446586069 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11525] ppid=11517 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11525/stat : 11525 (java) S 11517 11517 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405151176 15373000704 22263 33554432000 4194304 4196468 140729207949328 140265247488784 140265446586069 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11526] ppid=11517 vsize=15012696 memory=140289091511936 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11526/stat : 11526 (java) S 11517 11517 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405151177 15373000704 22263 33554432000 4194304 4196468 140729207949328 140264416946544 140265446587010 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11527] ppid=11517 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11527/stat : 11527 (java) S 11517 11517 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405151178 15373000704 22263 33554432000 4194304 4196468 140729207949328 140264035312672 140265446586069 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11528] ppid=11517 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11528/stat : 11528 (java) S 11517 11517 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405151178 15373000704 22263 33554432000 4194304 4196468 140729207949328 140263766877040 140265446586069 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11529] ppid=11517 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11529/stat : 11529 (java) S 11517 11517 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405151180 15373000704 22263 33554432000 4194304 4196468 140729207949328 140263392368464 140265446594459 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11530] ppid=11517 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11530/stat : 11530 (java) S 11517 11517 9001 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 405151180 15373000704 22263 33554432000 4194304 4196468 140729207949328 140264415894384 140265446587010 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11531] ppid=11517 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11531/stat : 11531 (java) S 11517 11517 9001 0 -1 1077944384 188 0 0 0 0 0 0 0 20 0 15 0 405151180 15373000704 22263 33554432000 4194304 4196468 140729207949328 140264414841584 140265446587010 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11532] ppid=11517 vsize=15012696 memory=140289091511936 CPUtime=0.03 cores=1,3,5,7
/proc/11520/task/11532/stat : 11532 (java) S 11517 11517 9001 0 -1 1077944384 449 0 0 0 3 0 0 0 20 0 15 0 405151180 15373000704 22263 33554432000 4194304 4196468 140729207949328 140264413788784 140265446587010 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11533] ppid=11517 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11533/stat : 11533 (java) S 11517 11517 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405151181 15373000704 22263 33554432000 4194304 4196468 140729207949328 140262894463712 140265446586069 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11534] ppid=11517 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11534/stat : 11534 (java) S 11517 11517 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405151181 15373000704 22263 33554432000 4194304 4196468 140729207949328 140264412736176 140265446587010 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90448 KiB

[startup+0.310812 s]*
/proc/loadavg: 2.01 2.01 2.01 3/236 11534
/proc/meminfo: memFree=21390436/32770624 swapFree=66999124/67108860
[pid=11517] ppid=11514 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11517/stat : 11517 (scop.sh) S 11514 11517 9001 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405151174 115843072 349 33554432000 4194304 5098028 140724440780992 140724440778248 139798116577916 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9523200 140724440789859 140724440790128 140724440790128 140724440793037 0
/proc/11517/statm: 28282 349 296 221 0 87 0
[pid=11520] ppid=11517 vsize=15012696 memory=92928 CPUtime=0.43 cores=1,3,5,7
/proc/11520/stat : 11520 (java) S 11517 11517 9001 0 -1 1077944320 12227 0 0 0 40 3 0 0 20 0 15 0 405151174 15373000704 23232 33554432000 4194304 4196468 140729207949328 140729207931872 140265446575863 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
/proc/11520/statm: 3753174 23232 3065 1 0 3715579 0
[pid=11520/tid=11521] ppid=11517 vsize=15012696 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/11520/task/11521/stat : 11521 (java) R 11517 11517 9001 0 -1 4202560 9790 0 0 0 27 2 0 0 20 0 15 0 405151174 15373000704 23232 33554432000 4194304 4196468 140729207949328 140265418405936 140265430656350 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11522] ppid=11517 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11522/stat : 11522 (java) S 11517 11517 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405151176 15373000704 23232 33554432000 4194304 4196468 140729207949328 140265450818704 140265446586069 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11523] ppid=11517 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11523/stat : 11523 (java) S 11517 11517 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405151176 15373000704 23232 33554432000 4194304 4196468 140729207949328 140265249594384 140265446586069 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11524] ppid=11517 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11524/stat : 11524 (java) S 11517 11517 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405151176 15373000704 23232 33554432000 4194304 4196468 140729207949328 140265248541584 140265446586069 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11525] ppid=11517 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11525/stat : 11525 (java) S 11517 11517 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405151176 15373000704 23232 33554432000 4194304 4196468 140729207949328 140265247488784 140265446586069 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11526] ppid=11517 vsize=15012696 memory=4498404016631593313 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11526/stat : 11526 (java) S 11517 11517 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405151177 15373000704 23232 33554432000 4194304 4196468 140729207949328 140264416946544 140265446587010 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11527] ppid=11517 vsize=15012696 memory=-6519613052471072158 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11527/stat : 11527 (java) S 11517 11517 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405151178 15373000704 23232 33554432000 4194304 4196468 140729207949328 140264035312672 140265446586069 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11528] ppid=11517 vsize=15012696 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11528/stat : 11528 (java) S 11517 11517 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405151178 15373000704 23232 33554432000 4194304 4196468 140729207949328 140263766877040 140265446586069 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11529] ppid=11517 vsize=15012696 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11529/stat : 11529 (java) S 11517 11517 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405151180 15373000704 23232 33554432000 4194304 4196468 140729207949328 140263392368464 140265446594459 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11530] ppid=11517 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11520/task/11530/stat : 11530 (java) S 11517 11517 9001 0 -1 1077944384 362 0 0 0 2 0 0 0 20 0 15 0 405151180 15373000704 23232 33554432000 4194304 4196468 140729207949328 140264415894384 140265446587010 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11531] ppid=11517 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11520/task/11531/stat : 11531 (java) S 11517 11517 9001 0 -1 1077944384 278 0 0 0 2 0 0 0 20 0 15 0 405151180 15373000704 23232 33554432000 4194304 4196468 140729207949328 140264414841584 140265446587010 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11532] ppid=11517 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11520/task/11532/stat : 11532 (java) S 11517 11517 9001 0 -1 1077944384 468 0 0 0 7 0 0 0 20 0 15 0 405151180 15373000704 23232 33554432000 4194304 4196468 140729207949328 140264413788784 140265446587010 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11533] ppid=11517 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11533/stat : 11533 (java) S 11517 11517 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405151181 15373000704 23232 33554432000 4194304 4196468 140729207949328 140262894463712 140265446586069 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11534] ppid=11517 vsize=15012696 memory=3760848952156501040 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11534/stat : 11534 (java) S 11517 11517 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405151181 15373000704 23232 33554432000 4194304 4196468 140729207949328 140264412736176 140265446587010 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 94324 KiB

[startup+0.701684 s]
/proc/loadavg: 2.01 2.01 2.01 3/236 11534
/proc/meminfo: memFree=21369592/32770624 swapFree=66999124/67108860
[pid=11517] ppid=11514 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11517/stat : 11517 (scop.sh) S 11514 11517 9001 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405151174 115843072 349 33554432000 4194304 5098028 140724440780992 140724440778248 139798116577916 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9523200 140724440789859 140724440790128 140724440790128 140724440793037 0
/proc/11517/statm: 28282 349 296 221 0 87 0
[pid=11520] ppid=11517 vsize=15021092 memory=130680 CPUtime=1.03 cores=1,3,5,7
/proc/11520/stat : 11520 (java) S 11517 11517 9001 0 -1 1077944320 20049 0 0 0 97 6 0 0 20 0 15 0 405151174 15381598208 32670 33554432000 4194304 4196468 140729207949328 140729207931872 140265446575863 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
/proc/11520/statm: 3755273 32670 3211 1 0 3716603 0
[pid=11520/tid=11521] ppid=11517 vsize=15021092 memory=2372 CPUtime=0.68 cores=1,3,5,7
/proc/11520/task/11521/stat : 11521 (java) R 11517 11517 9001 0 -1 4202560 17077 0 0 0 63 5 0 0 20 0 15 0 405151174 15381598208 32670 33554432000 4194304 4196468 140729207949328 140265418410784 140265430656350 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11522] ppid=11517 vsize=15021092 memory=116 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11522/stat : 11522 (java) S 11517 11517 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405151176 15381598208 32670 33554432000 4194304 4196468 140729207949328 140265450818704 140265446586069 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11523] ppid=11517 vsize=15021092 memory=2129119 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11523/stat : 11523 (java) S 11517 11517 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405151176 15381598208 32670 33554432000 4194304 4196468 140729207949328 140265249594384 140265446586069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11524] ppid=11517 vsize=15021092 memory=2141618 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11524/stat : 11524 (java) S 11517 11517 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405151176 15381598208 32670 33554432000 4194304 4196468 140729207949328 140265248541584 140265446586069 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11525] ppid=11517 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11525/stat : 11525 (java) S 11517 11517 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405151176 15381598208 32670 33554432000 4194304 4196468 140729207949328 140265247488784 140265446586069 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11526] ppid=11517 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11526/stat : 11526 (java) S 11517 11517 9001 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405151177 15381598208 32670 33554432000 4194304 4196468 140729207949328 140264416946544 140265446587010 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11527] ppid=11517 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11527/stat : 11527 (java) S 11517 11517 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405151178 15381598208 32670 33554432000 4194304 4196468 140729207949328 140264035312672 140265446586069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11528] ppid=11517 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11528/stat : 11528 (java) S 11517 11517 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405151178 15381598208 32670 33554432000 4194304 4196468 140729207949328 140263766877040 140265446586069 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11529] ppid=11517 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11529/stat : 11529 (java) S 11517 11517 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405151180 15381598208 32670 33554432000 4194304 4196468 140729207949328 140263392368464 140265446594459 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11530] ppid=11517 vsize=15021092 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/11520/task/11530/stat : 11530 (java) S 11517 11517 9001 0 -1 1077944384 597 0 0 0 10 0 0 0 20 0 15 0 405151180 15381598208 32670 33554432000 4194304 4196468 140729207949328 140264415894384 140265446587010 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11531] ppid=11517 vsize=15021092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11520/task/11531/stat : 11531 (java) S 11517 11517 9001 0 -1 1077944384 460 0 0 0 7 0 0 0 20 0 15 0 405151180 15381598208 32670 33554432000 4194304 4196468 140729207949328 140264414841584 140265446587010 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11532] ppid=11517 vsize=15021092 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/11520/task/11532/stat : 11532 (java) S 11517 11517 9001 0 -1 1077944384 581 0 0 0 16 0 0 0 20 0 15 0 405151180 15381598208 32670 33554432000 4194304 4196468 140729207949328 140264413788784 140265446587010 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11533] ppid=11517 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11533/stat : 11533 (java) S 11517 11517 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405151181 15381598208 32670 33554432000 4194304 4196468 140729207949328 140262894463712 140265446586069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
[pid=11520/tid=11534] ppid=11517 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11520/task/11534/stat : 11534 (java) S 11517 11517 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405151181 15381598208 32670 33554432000 4194304 4196468 140729207949328 140264412736176 140265446587010 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28766208 140729207952169 140729207952538 140729207952538 140729207955407 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 132076 KiB

[startup+1.50077 s]
/proc/loadavg: 2.01 2.01 2.01 4/236 11534
/proc/meminfo: memFree=21341640/32770624 swapFree=66999124/67108860
[pid=11517] ppid=11514 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11517/stat : 11517 (scop.sh) S 11514 11517 9001 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405151174 115843072 349 33554432000 4194304 5098028 140724440780992 140724440778248 139798116577916 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9523200 140724440789859 140724440790128 140724440790128 140724440793037 0
/proc/11517/statm: 28282 349 296 221 0 87 0

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

[pid=11535/tid=11545] ppid=11517 vsize=8068440 memory=2016 CPUtime=0.09 cores=1,3,5,7
/proc/11535/task/11545/stat : 11545 (java) S 11517 11517 9001 0 -1 1077944384 752 0 0 0 9 0 0 0 20 0 19 0 405151486 8262082560 30349 33554432000 4194304 4196468 140724000406896 140257548785648 140258237602434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11546] ppid=11517 vsize=8068440 memory=1424 CPUtime=0.09 cores=1,3,5,7
/proc/11535/task/11546/stat : 11546 (java) S 11517 11517 9001 0 -1 1077944384 288 0 0 0 9 0 0 0 20 0 19 0 405151486 8262082560 30349 33554432000 4194304 4196468 140724000406896 140257547733104 140258237602434 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11547] ppid=11517 vsize=8068440 memory=1540 CPUtime=0.2 cores=1,3,5,7
/proc/11535/task/11547/stat : 11547 (java) S 11517 11517 9001 0 -1 1077944384 992 0 0 0 20 0 0 0 20 0 19 0 405151486 8262082560 30349 33554432000 4194304 4196468 140724000406896 140257546680560 140258237602434 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11548] ppid=11517 vsize=8068440 memory=772 CPUtime=0 cores=1,3,5,7
/proc/11535/task/11548/stat : 11548 (java) S 11517 11517 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405151487 8262082560 30349 33554432000 4194304 4196468 140724000406896 140256049359456 140258237601493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11549] ppid=11517 vsize=8068440 memory=10500 CPUtime=0.02 cores=1,3,5,7
/proc/11535/task/11549/stat : 11549 (java) S 11517 11517 9001 0 -1 1077944384 5 0 0 0 1 1 0 0 20 0 19 0 405151487 8262082560 30349 33554432000 4194304 4196468 140724000406896 140257545628464 140258237602434 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11551] ppid=11517 vsize=8068440 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/11535/task/11551/stat : 11551 (java) S 11517 11517 9001 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405151551 8262082560 30349 33554432000 4194304 4196468 140724000406896 140257537594944 140258237615897 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11553] ppid=11517 vsize=8068440 memory=988 CPUtime=0.01 cores=1,3,5,7
/proc/11535/task/11553/stat : 11553 (java) S 11517 11517 9001 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 405151552 8262082560 30349 33554432000 4194304 4196468 140724000406896 140255512473712 140258237613213 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11554] ppid=11517 vsize=8068440 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/11535/task/11554/stat : 11554 (java) S 11517 11517 9001 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405151552 8262082560 30349 33554432000 4194304 4196468 140724000406896 140255646694672 140258237613213 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11555] ppid=11517 vsize=8068440 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/11535/task/11555/stat : 11555 (java) S 11517 11517 9001 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405151554 8262082560 30349 33554432000 4194304 4196468 140724000406896 140255244049456 140258237601493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
Current children cumulated CPU time: 43.04 s
Current children cumulated vsize: 8268444 KiB
Current children cumulated memory: 183500 KiB

[startup+40.401 s]
/proc/loadavg: 2.06 2.02 2.01 3/241 11557
/proc/meminfo: memFree=21300696/32770624 swapFree=66999124/67108860
[pid=11517] ppid=11514 vsize=113128 memory=1476 CPUtime=5.63 cores=1,3,5,7
/proc/11517/stat : 11517 (scop.sh) S 11514 11517 9001 0 -1 4202496 582 26188 0 0 0 0 538 25 20 0 1 0 405151174 115843072 369 33554432000 4194304 5098028 140724440780992 140724440777736 139798116577916 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9523200 140724440789859 140724440790128 140724440790128 140724440793037 0
/proc/11517/statm: 28282 369 311 221 0 87 0
[pid=11535] ppid=11517 vsize=8068440 memory=121396 CPUtime=1.19 cores=1,3,5,7
/proc/11535/stat : 11535 (java) S 11517 11517 9001 0 -1 1077944320 20294 0 0 0 112 7 0 0 20 0 19 0 405151480 8262082560 30349 33554432000 4194304 4196468 140724000406896 140724000389440 140258237591287 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
/proc/11535/statm: 2017110 30349 3209 1 0 1978454 0
[pid=11550] ppid=11535 vsize=87036 memory=60628 CPUtime=36.61 cores=1,3,5,7
/proc/11550/stat : 11550 (cryptominisat5) R 11535 11517 9001 0 -1 4202496 48986 0 0 0 3656 5 0 0 20 0 1 0 405151551 89124864 15157 33554432000 4194304 4451008 140727779383232 140727779379160 140071574361006 0 4 0 2 0 0 0 17 1 0 0 0 0 0 6549032 6559120 36876288 140727779390396 140727779390528 140727779390528 140727779393478 0
/proc/11550/statm: 21759 15157 733 63 0 15486 0
[pid=11535/tid=11536] ppid=11517 vsize=8068440 memory=1652 CPUtime=0.74 cores=1,3,5,7
/proc/11535/task/11536/stat : 11536 (java) S 11517 11517 9001 0 -1 1077944384 16843 0 0 0 69 5 0 0 20 0 19 0 405151481 8262082560 30349 33554432000 4194304 4196468 140724000406896 140258209431456 140258237601493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11537] ppid=11517 vsize=8068440 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/11535/task/11537/stat : 11537 (java) S 11517 11517 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405151482 8262082560 30349 33554432000 4194304 4196468 140724000406896 140258241833232 140258237601493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11538] ppid=11517 vsize=8068440 memory=2540 CPUtime=0 cores=1,3,5,7
/proc/11535/task/11538/stat : 11538 (java) S 11517 11517 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405151482 8262082560 30349 33554432000 4194304 4196468 140724000406896 140258064329104 140258237601493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11539] ppid=11517 vsize=8068440 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/11535/task/11539/stat : 11539 (java) S 11517 11517 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405151482 8262082560 30349 33554432000 4194304 4196468 140724000406896 140257721530896 140258237601493 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11540] ppid=11517 vsize=8068440 memory=111636 CPUtime=0 cores=1,3,5,7
/proc/11535/task/11540/stat : 11540 (java) S 11517 11517 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405151482 8262082560 30349 33554432000 4194304 4196468 140724000406896 140257720478352 140258237601493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11541] ppid=11517 vsize=8068440 memory=804 CPUtime=0 cores=1,3,5,7
/proc/11535/task/11541/stat : 11541 (java) S 11517 11517 9001 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405151483 8262082560 30349 33554432000 4194304 4196468 140724000406896 140257549838832 140258237602434 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11542] ppid=11517 vsize=8068440 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/11535/task/11542/stat : 11542 (java) S 11517 11517 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405151484 8262082560 30349 33554432000 4194304 4196468 140724000406896 140257055991200 140258237601493 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11543] ppid=11517 vsize=8068440 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/11535/task/11543/stat : 11543 (java) S 11517 11517 9001 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405151484 8262082560 30349 33554432000 4194304 4196468 140724000406896 140256921769456 140258237601493 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11544] ppid=11517 vsize=8068440 memory=772 CPUtime=0 cores=1,3,5,7
/proc/11535/task/11544/stat : 11544 (java) S 11517 11517 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405151486 8262082560 30349 33554432000 4194304 4196468 140724000406896 140256547265232 140258237609883 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11545] ppid=11517 vsize=8068440 memory=14004 CPUtime=0.09 cores=1,3,5,7
/proc/11535/task/11545/stat : 11545 (java) S 11517 11517 9001 0 -1 1077944384 752 0 0 0 9 0 0 0 20 0 19 0 405151486 8262082560 30349 33554432000 4194304 4196468 140724000406896 140257548785648 140258237602434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11546] ppid=11517 vsize=8068440 memory=14060 CPUtime=0.09 cores=1,3,5,7
/proc/11535/task/11546/stat : 11546 (java) S 11517 11517 9001 0 -1 1077944384 288 0 0 0 9 0 0 0 20 0 19 0 405151486 8262082560 30349 33554432000 4194304 4196468 140724000406896 140257547733104 140258237602434 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11547] ppid=11517 vsize=8068440 memory=2116 CPUtime=0.2 cores=1,3,5,7
/proc/11535/task/11547/stat : 11547 (java) S 11517 11517 9001 0 -1 1077944384 992 0 0 0 20 0 0 0 20 0 19 0 405151486 8262082560 30349 33554432000 4194304 4196468 140724000406896 140257546680560 140258237602434 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11548] ppid=11517 vsize=8068440 memory=17424 CPUtime=0 cores=1,3,5,7
/proc/11535/task/11548/stat : 11548 (java) S 11517 11517 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405151487 8262082560 30349 33554432000 4194304 4196468 140724000406896 140256049359456 140258237601493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11549] ppid=11517 vsize=8068440 memory=532 CPUtime=0.02 cores=1,3,5,7
/proc/11535/task/11549/stat : 11549 (java) S 11517 11517 9001 0 -1 1077944384 5 0 0 0 1 1 0 0 20 0 19 0 405151487 8262082560 30349 33554432000 4194304 4196468 140724000406896 140257545628464 140258237602434 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11551] ppid=11517 vsize=8068440 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/11535/task/11551/stat : 11551 (java) S 11517 11517 9001 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405151551 8262082560 30349 33554432000 4194304 4196468 140724000406896 140257537594944 140258237615897 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11553] ppid=11517 vsize=8068440 memory=932 CPUtime=0.01 cores=1,3,5,7
/proc/11535/task/11553/stat : 11553 (java) S 11517 11517 9001 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 405151552 8262082560 30349 33554432000 4194304 4196468 140724000406896 140255512473712 140258237613213 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11554] ppid=11517 vsize=8068440 memory=3680 CPUtime=0 cores=1,3,5,7
/proc/11535/task/11554/stat : 11554 (java) S 11517 11517 9001 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405151552 8262082560 30349 33554432000 4194304 4196468 140724000406896 140255646694672 140258237613213 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11555] ppid=11517 vsize=8068440 memory=864 CPUtime=0 cores=1,3,5,7
/proc/11535/task/11555/stat : 11555 (java) S 11517 11517 9001 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405151554 8262082560 30349 33554432000 4194304 4196468 140724000406896 140255244049456 140258237601493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
Current children cumulated CPU time: 43.43 s
Current children cumulated vsize: 8268604 KiB
Current children cumulated memory: 183500 KiB

[startup+40.8053 s]
/proc/loadavg: 2.06 2.02 2.01 3/241 11557
/proc/meminfo: memFree=21300696/32770624 swapFree=66999124/67108860
[pid=11517] ppid=11514 vsize=113128 memory=1476 CPUtime=5.63 cores=1,3,5,7
/proc/11517/stat : 11517 (scop.sh) S 11514 11517 9001 0 -1 4202496 582 26188 0 0 0 0 538 25 20 0 1 0 405151174 115843072 369 33554432000 4194304 5098028 140724440780992 140724440777736 139798116577916 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9523200 140724440789859 140724440790128 140724440790128 140724440793037 0
/proc/11517/statm: 28282 369 311 221 0 87 0
[pid=11535] ppid=11517 vsize=7937364 memory=137956 CPUtime=38.57 cores=1,3,5,7
/proc/11535/stat : 11535 (java) S 11517 11517 9001 0 -1 1077944320 22919 49423 0 0 162 8 3681 6 20 0 17 0 405151480 8127860736 34489 33554432000 4194304 4196468 140724000406896 140724000389440 140258237591287 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
/proc/11535/statm: 1984341 34489 3230 1 0 1945685 0
[pid=11535/tid=11536] ppid=11517 vsize=7937364 memory=932 CPUtime=37.68 cores=1,3,5,7
/proc/11535/task/11536/stat : 11536 (java) R 11517 11517 9001 0 -1 4202560 17064 49423 0 0 76 5 3681 6 20 0 17 0 405151481 8127860736 34489 33554432000 4194304 4196468 140724000406896 140258209406096 140258222756855 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11537] ppid=11517 vsize=7937364 memory=6791534058613427641 CPUtime=36.87 cores=1,3,5,7
/proc/11535/task/11537/stat : 11537 (java) S 11517 11517 9001 0 -1 1077944384 2 49423 0 0 0 0 3681 6 20 0 17 0 405151482 8127860736 34489 33554432000 4194304 4196468 140724000406896 140258241833232 140258237601493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11538] ppid=11517 vsize=7937364 memory=120116 CPUtime=36.87 cores=1,3,5,7
/proc/11535/task/11538/stat : 11538 (java) S 11517 11517 9001 0 -1 1077944384 2 49423 0 0 0 0 3681 6 20 0 17 0 405151482 8127860736 34489 33554432000 4194304 4196468 140724000406896 140258064329104 140258237601493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11539] ppid=11517 vsize=7937364 memory=1476 CPUtime=36.87 cores=1,3,5,7
/proc/11535/task/11539/stat : 11539 (java) S 11517 11517 9001 0 -1 1077944384 1 49423 0 0 0 0 3681 6 20 0 17 0 405151482 8127860736 34489 33554432000 4194304 4196468 140724000406896 140257721530896 140258237601493 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11540] ppid=11517 vsize=7937364 memory=121344 CPUtime=36.87 cores=1,3,5,7
/proc/11535/task/11540/stat : 11540 (java) S 11517 11517 9001 0 -1 1077944384 2 49423 0 0 0 0 3681 6 20 0 17 0 405151482 8127860736 34489 33554432000 4194304 4196468 140724000406896 140257720478352 140258237601493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11541] ppid=11517 vsize=7937364 memory=1476 CPUtime=36.87 cores=1,3,5,7
/proc/11535/task/11541/stat : 11541 (java) S 11517 11517 9001 0 -1 1077944384 7 49423 0 0 0 0 3681 6 20 0 17 0 405151483 8127860736 34489 33554432000 4194304 4196468 140724000406896 140257549838832 140258237602434 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11542] ppid=11517 vsize=7937364 memory=121344 CPUtime=36.87 cores=1,3,5,7
/proc/11535/task/11542/stat : 11542 (java) S 11517 11517 9001 0 -1 1077944384 13 49423 0 0 0 0 3681 6 20 0 17 0 405151484 8127860736 34489 33554432000 4194304 4196468 140724000406896 140257055991200 140258237601493 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11543] ppid=11517 vsize=7937364 memory=60628 CPUtime=36.87 cores=1,3,5,7
/proc/11535/task/11543/stat : 11543 (java) S 11517 11517 9001 0 -1 1077944384 21 49423 0 0 0 0 3681 6 20 0 17 0 405151484 8127860736 34489 33554432000 4194304 4196468 140724000406896 140256921769456 140258237601493 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11544] ppid=11517 vsize=7937364 memory=1540 CPUtime=36.87 cores=1,3,5,7
/proc/11535/task/11544/stat : 11544 (java) S 11517 11517 9001 0 -1 1077944384 3 49423 0 0 0 0 3681 6 20 0 17 0 405151486 8127860736 34489 33554432000 4194304 4196468 140724000406896 140256547265232 140258237609883 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11545] ppid=11517 vsize=7937364 memory=1476 CPUtime=37.1 cores=1,3,5,7
/proc/11535/task/11545/stat : 11545 (java) R 11517 11517 9001 0 -1 4202560 1928 49423 0 0 23 0 3681 6 20 0 17 0 405151486 8127860736 34489 33554432000 4194304 4196468 140724000406896 140257548769680 140258223605613 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11546] ppid=11517 vsize=7937364 memory=121396 CPUtime=37.08 cores=1,3,5,7
/proc/11535/task/11546/stat : 11546 (java) R 11517 11517 9001 0 -1 4202560 649 49423 0 0 21 0 3681 6 20 0 17 0 405151486 8127860736 34489 33554432000 4194304 4196468 140724000406896 140257547731120 140258220979450 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11547] ppid=11517 vsize=7937364 memory=60628 CPUtime=37.17 cores=1,3,5,7
/proc/11535/task/11547/stat : 11547 (java) S 11517 11517 9001 0 -1 1077944384 1268 49423 0 0 30 0 3681 6 20 0 17 0 405151486 8127860736 34489 33554432000 4194304 4196468 140724000406896 140257546680560 140258237602434 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11548] ppid=11517 vsize=7937364 memory=1220 CPUtime=36.87 cores=1,3,5,7
/proc/11535/task/11548/stat : 11548 (java) S 11517 11517 9001 0 -1 1077944384 3 49423 0 0 0 0 3681 6 20 0 17 0 405151487 8127860736 34489 33554432000 4194304 4196468 140724000406896 140256049359456 140258237601493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11549] ppid=11517 vsize=7937364 memory=0 CPUtime=36.89 cores=1,3,5,7
/proc/11535/task/11549/stat : 11549 (java) S 11517 11517 9001 0 -1 1077944384 5 49423 0 0 1 1 3681 6 20 0 17 0 405151487 8127860736 34489 33554432000 4194304 4196468 140724000406896 140257545628464 140258237602434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11551] ppid=11517 vsize=7937364 memory=772 CPUtime=36.87 cores=1,3,5,7
/proc/11535/task/11551/stat : 11551 (java) S 11517 11517 9001 0 -1 1077944384 37 49423 0 0 0 0 3681 6 20 0 17 0 405151551 8127860736 34489 33554432000 4194304 4196468 140724000406896 140257537594128 140258237602434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11555] ppid=11517 vsize=7937364 memory=1712 CPUtime=36.87 cores=1,3,5,7
/proc/11535/task/11555/stat : 11555 (java) S 11517 11517 9001 0 -1 1077944384 9 49423 0 0 0 0 3681 6 20 0 17 0 405151554 8127860736 34489 33554432000 4194304 4196468 140724000406896 140255244051248 140258237602434 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
Current children cumulated CPU time: 44.2 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 139432 KiB

[startup+40.9008 s]
/proc/loadavg: 2.06 2.02 2.01 3/241 11557
/proc/meminfo: memFree=21300696/32770624 swapFree=66999124/67108860
[pid=11517] ppid=11514 vsize=113128 memory=1476 CPUtime=5.63 cores=1,3,5,7
/proc/11517/stat : 11517 (scop.sh) S 11514 11517 9001 0 -1 4202496 582 26188 0 0 0 0 538 25 20 0 1 0 405151174 115843072 369 33554432000 4194304 5098028 140724440780992 140724440777736 139798116577916 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9523200 140724440789859 140724440790128 140724440790128 140724440793037 0
/proc/11517/statm: 28282 369 311 221 0 87 0
[pid=11535] ppid=11517 vsize=7806996 memory=149836 CPUtime=38.75 cores=1,3,5,7
/proc/11535/stat : 11535 (java) S 11517 11517 9001 0 -1 1077944320 25366 49423 0 0 179 9 3681 6 20 0 15 0 405151480 7994363904 37459 33554432000 4194304 4196468 140724000406896 140724000389440 140258237591287 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
/proc/11535/statm: 1951749 37459 3232 1 0 1913093 0
[pid=11535/tid=11536] ppid=11517 vsize=7806996 memory=126524 CPUtime=37.71 cores=1,3,5,7
/proc/11535/task/11536/stat : 11536 (java) S 11517 11517 9001 0 -1 1077944384 17128 49423 0 0 79 5 3681 6 20 0 15 0 405151481 7994363904 37459 33554432000 4194304 4196468 140724000406896 140258209434768 140258237601493 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11537] ppid=11517 vsize=7806996 memory=1476 CPUtime=36.87 cores=1,3,5,7
/proc/11535/task/11537/stat : 11537 (java) S 11517 11517 9001 0 -1 1077944384 2 49423 0 0 0 0 3681 6 20 0 15 0 405151482 7994363904 37459 33554432000 4194304 4196468 140724000406896 140258241833232 140258237601493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11538] ppid=11517 vsize=7806996 memory=60628 CPUtime=36.87 cores=1,3,5,7
/proc/11535/task/11538/stat : 11538 (java) S 11517 11517 9001 0 -1 1077944384 2 49423 0 0 0 0 3681 6 20 0 15 0 405151482 7994363904 37459 33554432000 4194304 4196468 140724000406896 140258064329104 140258237601493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11539] ppid=11517 vsize=7806996 memory=0 CPUtime=36.87 cores=1,3,5,7
/proc/11535/task/11539/stat : 11539 (java) S 11517 11517 9001 0 -1 1077944384 1 49423 0 0 0 0 3681 6 20 0 15 0 405151482 7994363904 37459 33554432000 4194304 4196468 140724000406896 140257721530896 140258237601493 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11540] ppid=11517 vsize=7806996 memory=301741373374332954 CPUtime=36.87 cores=1,3,5,7
/proc/11535/task/11540/stat : 11540 (java) S 11517 11517 9001 0 -1 1077944384 2 49423 0 0 0 0 3681 6 20 0 15 0 405151482 7994363904 37459 33554432000 4194304 4196468 140724000406896 140257720478352 140258237601493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11541] ppid=11517 vsize=7806996 memory=288230621803970871 CPUtime=36.87 cores=1,3,5,7
/proc/11535/task/11541/stat : 11541 (java) S 11517 11517 9001 0 -1 1077944384 7 49423 0 0 0 0 3681 6 20 0 15 0 405151483 7994363904 37459 33554432000 4194304 4196468 140724000406896 140257549839040 140258237602434 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11542] ppid=11517 vsize=7806996 memory=0 CPUtime=36.87 cores=1,3,5,7
/proc/11535/task/11542/stat : 11542 (java) S 11517 11517 9001 0 -1 1077944384 13 49423 0 0 0 0 3681 6 20 0 15 0 405151484 7994363904 37459 33554432000 4194304 4196468 140724000406896 140257055991200 140258237601493 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11543] ppid=11517 vsize=7806996 memory=0 CPUtime=36.87 cores=1,3,5,7
/proc/11535/task/11543/stat : 11543 (java) S 11517 11517 9001 0 -1 1077944384 21 49423 0 0 0 0 3681 6 20 0 15 0 405151484 7994363904 37459 33554432000 4194304 4196468 140724000406896 140256921769456 140258237601493 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11545] ppid=11517 vsize=7806996 memory=280577867366064 CPUtime=37.19 cores=1,3,5,7
/proc/11535/task/11545/stat : 11545 (java) S 11517 11517 9001 0 -1 1077944384 4227 49423 0 0 32 0 3681 6 20 0 15 0 405151486 7994363904 37459 33554432000 4194304 4196468 140724000406896 140257548770160 140258237601493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11546] ppid=11517 vsize=7806996 memory=4465 CPUtime=37.1 cores=1,3,5,7
/proc/11535/task/11546/stat : 11546 (java) S 11517 11517 9001 0 -1 1077944384 661 49423 0 0 23 0 3681 6 20 0 15 0 405151486 7994363904 37459 33554432000 4194304 4196468 140724000406896 140257547713504 140258237601493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11547] ppid=11517 vsize=7806996 memory=4420 CPUtime=37.19 cores=1,3,5,7
/proc/11535/task/11547/stat : 11547 (java) S 11517 11517 9001 0 -1 1077944384 1321 49423 0 0 32 0 3681 6 20 0 15 0 405151486 7994363904 37459 33554432000 4194304 4196468 140724000406896 140257546680560 140258237602434 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11548] ppid=11517 vsize=7806996 memory=0 CPUtime=36.87 cores=1,3,5,7
/proc/11535/task/11548/stat : 11548 (java) S 11517 11517 9001 0 -1 1077944384 3 49423 0 0 0 0 3681 6 20 0 15 0 405151487 7994363904 37459 33554432000 4194304 4196468 140724000406896 140256049359456 140258237601493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11551] ppid=11517 vsize=7806996 memory=53812 CPUtime=36.87 cores=1,3,5,7
/proc/11535/task/11551/stat : 11551 (java) S 11517 11517 9001 0 -1 1077944384 37 49423 0 0 0 0 3681 6 20 0 15 0 405151551 7994363904 37459 33554432000 4194304 4196468 140724000406896 140257537594128 140258237602434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
[pid=11535/tid=11555] ppid=11517 vsize=7806996 memory=4637187736814850945 CPUtime=36.87 cores=1,3,5,7
/proc/11535/task/11555/stat : 11555 (java) S 11517 11517 9001 0 -1 1077944384 9 49423 0 0 0 0 3681 6 20 0 15 0 405151554 7994363904 37459 33554432000 4194304 4196468 140724000406896 140255244051248 140258237602434 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8003584 140724000408571 140724000408730 140724000408730 140724000411599 0
Current children cumulated CPU time: 44.38 s
Current children cumulated vsize: 7920124 KiB
Current children cumulated memory: 151312 KiB

Child status: 0
Real time (s): 40.9122
CPU time (s): 44.4136
CPU user time (s): 43.9982
CPU system time (s): 0.415356
CPU usage (%): 108.558
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 1000852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.9982
system time used= 0.415356
maximum resident set size= 1002564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101576
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6372
involuntary context switches= 109


# summary of solver processes directly reported to runsolver:
#   pid: 11517
#   total CPU time (s): 44.4136
#   total CPU user time (s): 43.9982
#   total CPU system time (s): 0.415356

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.318107 second user time and 0.496512 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-12 14:41:27
IDJOB=4387912
IDBENCH=127865
IDSOLVER=2826
FILE ID=node140/4387912-1568292127
RUNJOBID= node140-1568286731-10042
PBS_JOBID= 21701069
Free space on /tmp= 55520 MiB

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

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

MD5SUM BENCH= 273a3a450a7af16ef80dfed9e1af494c
RANDOM SEED=1382698400

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        21475372 kB
MemAvailable:   31644884 kB
Buffers:          123928 kB
Cached:         10256560 kB
SwapCached:         2896 kB
Active:          2047556 kB
Inactive:        8556772 kB
Active(anon):     220608 kB
Inactive(anon):    43924 kB
Active(file):    1826948 kB
Inactive(file):  8512848 kB
Unevictable:      107728 kB
Mlocked:          107728 kB
SwapTotal:      67108860 kB
SwapFree:       66999124 kB
Dirty:             20568 kB
Writeback:           304 kB
AnonPages:        309268 kB
Mapped:            55236 kB
Shmem:             32100 kB
Slab:             286976 kB
SReclaimable:     258176 kB
SUnreclaim:        28800 kB
KernelStack:        4112 kB
PageTables:         6228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6087476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    110592 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

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