Trace number 4387888

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 47.0746 43.4582

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-126.xml
MD5SUMe5b164a238094fc306b5fb8652aa9c45
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 benchmark45.9191
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size398
Maximum domain size398
Distribution of domain sizes[{"size":398,"count":50}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":48},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity50
Distribution of constraint arities[{"arity":1,"count":51},{"arity":2,"count":1},{"arity":50,"count":1}]
Number of extensional constraints0
Number of intensional constraints52
Distribution of constraint types[{"type":"intension","count":52},{"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-2647-serial-file.bin HOME/instance-4387888-1568291851.xml
0.66/0.53	
0.66/0.53	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.53	
0.66/0.56	c BEGIN-Prog: Thu Sep 12 14:36:51 CEST 2019
0.66/0.56	c PID: 2650
0.66/0.56	c IP: 172.20.3.146
0.66/0.56	c HOST: node146.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.41/0.91	c (0,0) Parsing End
1.41/0.91	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 398
1.41/0.91	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.41/0.91	c (0,0) Constraint Name Generate Begin
1.41/0.92	c (0,0) Ctr:HOME/instance-4387888-1568291851.xml,Le:NoOverlap:Num:Var
1.41/0.92	c (0,0) Constraint Name Generate End
1.41/0.92	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.41/0.92	c (0,0) CSP to CSPinCNF Begin
1.41/1.00	c (0,0) translated 6 (10%) constraints
1.41/1.00	c (0,0) translated 11 (20%) constraints
1.41/1.00	c (0,0) translated 16 (30%) constraints
1.41/1.01	c (0,0) translated 22 (40%) constraints
1.56/1.01	c (0,0) translated 27 (50%) constraints
1.56/1.01	c (0,0) translated 32 (60%) constraints
1.56/1.01	c (0,0) translated 38 (70%) constraints
1.56/1.02	c (0,0) translated 43 (80%) constraints
1.56/1.02	c (0,0) translated 48 (90%) constraints
2.12/1.29	c (0,0) translated 53 (100%) constraints
2.12/1.29	c (0,0) ===========================================
2.44/1.31	c (0,0) Hybrid: #OE=50, #LE=0
2.44/1.31	c (0,0) Hybrid
2.44/1.31	c (0,0) ===========================================
2.44/1.31	c (0,0) translated 36 (10%) constraints
2.44/1.32	c (0,0) translated 71 (20%) constraints
2.44/1.33	c (0,0) translated 106 (30%) constraints
2.44/1.34	c (0,0) translated 141 (40%) constraints
2.44/1.34	c (0,0) translated 176 (50%) constraints
2.44/1.35	c (0,0) translated 212 (60%) constraints
2.44/1.35	c (0,0) translated 247 (70%) constraints
2.44/1.36	c (0,0) translated 282 (80%) constraints
2.44/1.36	c (0,0) translated 317 (90%) constraints
2.44/1.37	c (0,0) translated 352 (100%) constraints
2.44/1.37	c (0,0) CSP to CSPinCNF End
2.44/1.37	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 397
2.44/1.37	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.44/1.37	c (0,0) CSPinCNF Propagation Begin
2.78/1.40	c (0,0) 0 values, 6 unsatisfiable literals, and 51 valid clauses are removed
2.78/1.40	c (0,0) CSPinCNF Propagation End
2.78/1.40	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 397
2.78/1.40	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.78/1.41	c (0,0) Hybrid: #OE=50, #LE=0
2.78/1.41	c (0,0) Simplify CSPinCNF Begin
3.03/1.50	c (0,0) Simplify CSPinCNF End
3.03/1.50	c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 397
3.03/1.50	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.03/1.50	c (0,0) Calculate Precise Domain Begin
3.03/1.51	c (0,0) 0 values are removed by re-calculation
3.03/1.51	c (0,0) Calculate Precise Domain End
3.03/1.51	c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 397
3.03/1.51	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.03/1.51	c (0,0) CSPinCNF to SatSolver Begin
4.53/2.01	c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 56560 SAT clauses)
4.80/2.17	c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 95222 SAT clauses)
5.04/2.32	c (1,1) 449 (30 %) CSP clauses are encoded (0 SAT variables, 130996 SAT clauses)
5.15/2.46	c (1,1) 598 (40 %) CSP clauses are encoded (0 SAT variables, 168040 SAT clauses)
5.25/2.59	c (2,2) 748 (50 %) CSP clauses are encoded (0 SAT variables, 201752 SAT clauses)
5.48/2.72	c (2,2) 897 (60 %) CSP clauses are encoded (0 SAT variables, 234820 SAT clauses)
5.59/2.84	c (2,2) 1047 (70 %) CSP clauses are encoded (0 SAT variables, 265004 SAT clauses)
5.69/2.96	c (2,2) 1196 (80 %) CSP clauses are encoded (0 SAT variables, 294327 SAT clauses)
5.80/3.06	c (2,2) 1346 (90 %) CSP clauses are encoded (0 SAT variables, 319405 SAT clauses)
5.92/3.12	c (2,2) 1495 (100 %) CSP clauses are encoded (0 SAT variables, 335960 SAT clauses)
5.92/3.12	c (2,2) CSPinCNF to SatSolver End
5.92/3.12	c (2,2) Heap : 1351 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.92/3.12	c (2,2) 17686 bool, 336082 clause
5.92/3.12	c (2,2) Export Begin
6.08/3.21	c (2,2) Export to HOME/scop-2647-serial-file.bin
6.08/3.21	c (2,2) Export End
6.08/3.21	c (2,2) Export File Size: 0.01 MB
6.08/3.21	c (2,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS)
6.08/3.21	c END-Prog: Thu Sep 12 14:36:54 CEST 2019
6.08/3.23	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-2647-serial-file.bin
6.13/3.69	c (0,0) Read Serial File Begin
6.13/3.69	c (0,0) HOME/scop-2647-serial-file.bin
6.89/4.09	c (0,0) Read Serial File End
6.89/4.10	
6.89/4.10	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
6.89/4.10	(Solving Process)
6.89/4.10	
7.05/4.12	c BEGIN-Prog: Thu Sep 12 14:36:55 CEST 2019
7.05/4.12	c PID: 2665
7.05/4.12	c IP: 172.20.3.146
7.05/4.12	c HOST: node146.alineos.net
7.05/4.13	c (0,0) SatSolver.solve Begin
7.05/4.13	c (0,0) HOME/cryptominisat5  HOME/instance-4387888-1568291851.xml-scop-2650.cnf
7.05/4.16	c (0,0) c Outputting solution to console
7.05/4.16	c (0,0) c CryptoMiniSat version 5.6.8
7.05/4.16	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
7.05/4.16	c (0,0) c CMS SHA revision GIT-notfound
7.05/4.16	c (0,0) c CMS is MIT licensed
7.05/4.16	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
7.05/4.16	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
7.05/4.16	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387888-1568291851.xml-scop-2650.cnf
7.05/4.16	c (0,0) c Reading file 'HOME/instance-4387888-1568291851.xml-scop-2650.cnf'
7.05/4.16	c (0,0) c -- header says num vars:          17686
7.05/4.16	c (0,0) c -- header says num clauses:      336082
7.23/4.28	c (0,0) c -- clauses added: 336082
7.23/4.28	c (0,0) c -- xor clauses added: 0
7.23/4.28	c (0,0) c -- vars added 17686
7.23/4.28	c (0,0) c Parsing time: 0.10 s
7.23/4.30	c (0,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
7.23/4.30	c (0,0) c [distill] long cls tried: 4/3 cl-short:4 lit-r:6 T: 0.00 T-out: N T-r: 99.99%
7.23/4.68	c (1,0) c [distill] long cls tried: 193/183 cl-short:192 lit-r:123 T: 0.03 T-out: N T-r: 99.56%
8.09/5.07	c (1,0) c [distill] long cls tried: 147/328 cl-short:147 lit-r:106 T: 0.03 T-out: N T-r: 99.63%
8.28/5.24	c (1,0) c   glue     1    39  8193   17658  317K 18913    3.00    2.94   382  2824  4969    21   21.18   21.13
8.98/5.98	c (2,0) c [distill] long cls tried: 1615/1937 cl-short:1615 lit-r:1555 T: 0.35 T-out: N T-r: 95.01%
9.77/6.71	c (3,0) c   geom     1    81 16386   17646  317K 18913    3.00    2.94  2241  5661  8457    30   23.21   23.17
9.87/6.86	c (3,0) c [distill] long cls tried: 315/2248 cl-short:315 lit-r:324 T: 0.10 T-out: N T-r: 98.70%
11.68/8.61	c (4,0) c [distill] long cls tried: 1463/3700 cl-short:1463 lit-r:1405 T: 0.54 T-out: N T-r: 93.65%
11.88/8.84	c (5,0) c   glue     1   122   24K   17646  317K 18913    3.00    2.94  3740  6509 14308    47   24.67   24.63
13.98/10.96	c (7,0) c [distill] long cls tried: 1628/5328 cl-short:1628 lit-r:2291 T: 0.80 T-out: N T-r: 91.17%
14.28/11.24	c (7,0) c   glue     1   166   32K   17646  317K 18913    3.00    2.94  5349  9154 17443    50   25.63   25.59
16.09/13.04	c (9,0) c   glue     1   197   40K   17646  317K 18913    3.00    2.94  6721  7850   25K    52   26.29   26.26
16.98/13.97	c (10,0) c [distill] long cls tried: 1404/6727 cl-short:1404 lit-r:1989 T: 0.81 T-out: N T-r: 91.39%
18.98/15.95	c (12,0) c   glue     1   245   49K   17646  317K 18913    3.00    2.94  7040 11768   25K    62   26.13   26.10
21.18/18.17	c (14,0) c [distill] long cls tried: 1484/8205 cl-short:1484 lit-r:2478 T: 1.12 T-out: N T-r: 88.58%
22.37/19.37	c (15,0) c   glue     1   291   57K   17646  317K 18913    3.00    2.94  8285 10594   33K    71   26.59   26.56
24.69/21.62	c (18,0) c   glue     1   313   65K   17646  317K 18913    3.00    2.94  9933 10950   32K    73   26.07   26.04
26.49/23.45	c (19,0) c [distill] long cls tried: 1743/9936 cl-short:1743 lit-r:2916 T: 1.42 T-out: N T-r: 85.80%
27.39/24.32	c (20,0) c recursive minimization cost OK: 2667Kcost/(% lits removed)
27.39/24.32	c (20,0) c more minimization effectiveness low: 0.00 % lits removed --> disabling
27.39/24.32	c (20,0) c --> Executing strategy token: handle-comps
27.39/24.32	c (20,0) c --> Executing strategy token: scc-vrepl
27.39/24.32	c (20,0) c [scc] new: 861 BP 0M T: 0.01
27.39/24.39	c (20,0) c [vrep] vars 440 lits 81157 rem-bin-cls 2168 rem-long-cls 0 BP 1M T: 0.06
27.50/24.41	c (20,0) c --> Executing strategy token: cache-clean
27.50/24.41	c (20,0) c --> Executing strategy token: cache-tryboth
27.50/24.41	c (20,0) c --> Executing strategy token: sub-impl
27.50/24.41	c (20,0) c [impl sub] bin: 7 T: 0.02 T-out: N w-visit: 35372
27.50/24.42	c (20,0) c --> Executing strategy token: intree-probe
27.50/24.42	c (20,0) c [scc] new: 0 BP 0M T: 0.01
27.50/24.45	c (20,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 1M T: 0.03
27.70/24.61	c (20,0) c [intree] Set 10 vars hyper-added: 306 trans-irred::644 trans-red::33 T: 0.16 T-out: N T-r: 99.22%
28.11/25.04	c (21,0) c --> Executing strategy token: probe
28.11/25.04	c (21,0) c --> Executing strategy token: sub-str-cls-with-bin
28.11/25.04	c (21,0) c [distill] cache-based irred--  cl tried   493711 cl-sh     0 cl-rem 4688 lit-rem      0 T: 0.38 T-out: Y
28.11/25.04	c (21,0) c [distill] cache-based   red--  cl tried    19956 cl-sh    96 cl-rem   10 lit-rem    100 T: 0.03 T-out: N
29.12/26.10	c (22,0) c --> Executing strategy token: distill-cls
29.12/26.10	c (22,0) c [distill] long cls tried: 2282/310576 cl-short:352 lit-r:72 T: 1.05 T-out: Y T-r: -0.02%
29.12/26.10	c (22,0) c [distill] long useful: 704/4564/621296 lits-rem: 144 0-depth-assigns: 0 T: 2.11 T-out: Y
29.12/26.10	c (22,0) c --> Executing strategy token: scc-vrepl
29.12/26.10	c (22,0) c [scc] new: 1098 BP 0M T: 0.01
29.22/26.18	c (22,0) c [vrep] vars 631 lits 94607 rem-bin-cls 2841 rem-long-cls 1 BP 1M T: 0.07
29.22/26.19	c (22,0) c --> Executing strategy token: sub-impl
29.22/26.19	c (22,0) c [impl sub] bin: 60 T: 0.02 T-out: N w-visit: 35372
29.31/26.20	c (22,0) c --> Executing strategy token: str-impl
29.31/26.20	c (22,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.71% w-visit: 35372
29.31/26.22	c (22,0) c --> Executing strategy token: sub-impl
29.31/26.22	c (22,0) c [impl sub] bin: 0 T: 0.02 T-out: N w-visit: 35372
29.31/26.25	c (22,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
29.31/26.25	c (22,0) c [occ] mem usage for occur     29 MB
29.41/26.32	c (22,0) c [occ] mem usage for occur      3 MB
29.41/26.36	c (22,0) c Mem for watch alloc      : 26          MB (37.94     %)
29.41/26.36	c (22,0) c Mem for watch array      : 0           MB (1.16      %)
29.41/26.38	c (22,0) c --> Executing OCC strategy token: occ-backw-sub-str
29.41/26.38	c (22,0) c [occ-backw-sub-str-long-w-bins] subs: 7324 str: 54 tried: 36584 0-depth ass: 0 T: 0.02 T-out: N T-r: 99.19%
29.70/26.67	c (23,0) c [occ-sub-long-w-long] rem cl: 302 tried: 736320/368160 (200.0%) T: 0.29 T-out: N T-r: 62.84%
30.30/27.25	c (23,0) c [occ-sub-str-long-w-long] sub: 0 str: 85 tried: 1104480/368160 (300.0)  T: 0.57 T-out: N T-r: 58.38%
30.30/27.26	c (23,0) c --> Executing OCC strategy token: occ-clean-implicit
30.30/27.26	c (23,0) c --> Executing OCC strategy token: occ-bve
30.30/27.26	c (23,0) c [occ-empty-res] Empty resolvent elimed: 0 T: 0.01 T-out: N
31.00/27.95	c (24,0) c [occ-bve] iter v-elim 408
31.00/27.95	c (24,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=0)
31.00/27.95	c (24,0) c Reduced to 16157 vars, 320668 cls (grow=0)
31.21/28.16	c (24,0) c [occ-bve] iter v-elim 0
31.21/28.16	c (24,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=8)
31.21/28.16	c (24,0) c Reduced to 16157 vars, 320668 cls (grow=8)
31.51/28.49	c (24,0) c [occ-bve] iter v-elim 1
31.51/28.49	c (24,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=16)
31.61/28.50	c (24,0) c Reduced to 16156 vars, 320677 cls (grow=16)
31.61/28.50	c (24,0) c x n vars       : 16156
31.61/28.50	c (24,0) c  #try to eliminate:    65K
31.61/28.50	c (24,0) c  #var-elim        :    409
31.61/28.50	c (24,0) c  #T-o: N
31.61/28.50	c (24,0) c  #T-r: 99.86%
31.61/28.50	c (24,0) c  #T  : 1.23
31.61/28.50	c (24,0) c [occur] 0.12 is overhead
31.61/28.50	c (24,0) c [occur] link-in T: 0.12 cleanup T: 0.00
31.61/28.50	c (24,0) c --> Executing OCC strategy token: occ-bva
31.61/28.50	c (24,0) c [occ-bva] global numcalls: 0
31.61/28.54	c (24,0) c --> Executing OCC strategy token: occ-ternary-res
31.61/28.54	c (24,0) c --> Executing OCC strategy token: occ-xor
31.61/28.54	c (24,0) c [occ-xor] sort occur list T: 0.04
31.91/28.88	c (25,0) c [occ-xor] found      0 T: 0.38 T-out: N T-r: 94.87%
31.91/28.88	c (25,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
32.01/28.98	c (25,0) c --> Executing strategy token: cl-consolidate
32.01/28.98	c (25,0) c [mem] consolidate  old-sz:    26M new-sz:  13017K new bits offs: 0 T: 0.02
32.01/28.98	c (25,0) c --> Executing strategy token: str-impl
32.01/28.98	c (25,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.01 T-out: N T-r: 99.75% w-visit: 35372
32.42/29.32	c (25,0) c --> Executing strategy token: cache-clean
32.42/29.32	c (25,0) c --> Executing strategy token: sub-str-cls-with-bin
32.42/29.32	c (25,0) c [distill] cache-based irred--  cl tried   514823 cl-sh     0 cl-rem   11 lit-rem      0 T: 0.31 T-out: Y
32.42/29.32	c (25,0) c [distill] cache-based   red--  cl tried     5303 cl-sh    16 cl-rem    1 lit-rem     21 T: 0.01 T-out: N
33.42/30.39	c (26,0) c --> Executing strategy token: distill-cls
33.42/30.39	c (26,0) c [distill] long cls tried: 2695/303326 cl-short:326 lit-r:25 T: 1.06 T-out: Y T-r: -0.03%
33.42/30.39	c (26,0) c [distill] long useful: 652/5390/606700 lits-rem: 50 0-depth-assigns: 0 T: 2.13 T-out: Y
33.42/30.39	c (26,0) c --> Executing strategy token: scc-vrepl
33.42/30.39	c (26,0) c [scc] new: 0 BP 0M T: 0.01
33.42/30.39	c (26,0) c --> Executing strategy token: check-cache-size
33.42/30.39	c (26,0) c --> Executing strategy token: renumber
33.42/30.39	c (26,0) c --> Executing strategy token: sls
33.42/30.39	c (26,0) c [consolidate] mini T: 0.00
33.42/30.39	c (26,0) c global_timeout_multiplier: 4.40
33.53/30.41	c (26,0) c clause size stats. size3: 231473 size4: 613 size5: 71240 larger: 0
34.43/31.33	c (27,0) c   luby     0   359   73K   16156  303K 17340    3.47    3.39  2684  1423  4328   145   16.30   16.06
36.63/33.51	c (29,0) c   luby     0   392   81K   16156  303K 17340    3.47    3.39  3108  1812 11707   146   22.80   22.62
37.52/34.45	c (30,0) c [distill] long cls tried: 738/3120 cl-short:725 lit-r:428 T: 0.33 T-out: N T-r: 96.49%
39.52/36.45	c (32,0) c   luby     0   410   90K   16156  303K 17340    3.47    3.39  3671  2813 18333   149   25.03   24.89
42.42/39.33	c (35,0) c   luby     0   442   98K   16156  303K 17340    3.47    3.39  3715  3359   25K   149   27.16   27.05
45.02/41.91	c (38,0) c [distill] long cls tried: 973/4093 cl-short:973 lit-r:704 T: 0.61 T-out: N T-r: 94.17%
45.82/42.72	c (39,0) c   luby     0   467  106K   16156  303K 17340    3.47    3.39  4187  4562   28K   149   27.79   27.69
46.32/43.21	c (39,0) c ------- FINAL TOTAL SEARCH STATS ---------
46.32/43.21	c (39,0) c UIP search time          : 32.82       (84.18     % time)
46.32/43.21	c (39,0) c restarts                 : 467         (232.43    confls per restart)
46.32/43.21	c (39,0) c blocked restarts         : 137         (0.29      per normal restart)
46.32/43.21	c (39,0) c time                     : 32.82       
46.32/43.21	c (39,0) c decisions                : 230637      (0.00      % random)
46.32/43.21	c (39,0) c propagations             : 116853046   
46.32/43.21	c (39,0) c decisions/conflicts      : 2.12        
46.32/43.21	c (39,0) c conflicts                : 108543      (3307.63   / sec)
46.32/43.21	c (39,0) c conf lits non-minim      : 4941889     (45.53     lit/confl)
46.32/43.21	c (39,0) c conf lits final          : 29.15       
46.32/43.21	c (39,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
46.32/43.21	c (39,0) c red which0               : 1813        (1.67      % of confl)
46.32/43.21	c (39,0) c props/decision           : 0.00        
46.32/43.21	c (39,0) c props/conflict           : 0.00        
46.32/43.21	c (39,0) c 0-depth assigns          : 50          (0.28      % vars)
46.32/43.21	c (39,0) c 0-depth assigns by CNF   : 0           (0.00      % vars)
46.32/43.21	c (39,0) c reduceDB time            : 0.03        (0.07      % time)
46.32/43.21	c (39,0) c OccSimplifier time       : 1.43        (3.68      % time)
46.32/43.21	c (39,0) c [occur] 0.19 is overhead
46.32/43.21	c (39,0) c [occur] link-in T: 0.12 cleanup T: 0.07
46.32/43.21	c (39,0) c [occ-substr] long subBySub: 302 subByStr: 0 lits-rem-str: 230 T: 0.86
46.32/43.21	c (39,0) c SCC time                 : 0.02        (0.05      % time)
46.32/43.21	c (39,0) c [scc] new: 1959 BP 0M  T: 0.02
46.32/43.21	c (39,0) c vrep replace time        : 0.16        (0.41      % time)
46.32/43.21	c (39,0) c vrep tree roots          : 19          
46.32/43.21	c (39,0) c vrep trees' crown        : 1071        (56.37     leafs/tree)
46.32/43.21	c (39,0) c distill time             : 10.36       (26.58     % time)
46.32/43.21	c (39,0) c strength cache-irred time: 0.69        (1.78      % time)
46.32/43.21	c (39,0) c strength cache-red time  : 0.04        (0.11      % time)
46.32/43.21	c (39,0) c Conflicts in UIP         : 108543      (2784.30   confl/time_this_thread)
46.32/43.21	c (39,0) c Mem used                 : 70.53       MB
46.32/43.21	c (39,0) c Total time (this thread) : 38.98       
46.32/43.21	c (39,0) s SATISFIABLE
46.64/43.32	c (39,0) SatSolver.solve End
46.64/43.32	c (39,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
46.64/43.32	c (39,0) Show results Begin
46.93/43.42	c (39,0) x[0] = 154
46.93/43.42	c (39,0) x[1] = 229
46.93/43.42	c (39,0) x[2] = 207
46.93/43.42	c (39,0) x[3] = 229
46.93/43.42	c (39,0) x[4] = 264
46.93/43.42	c (39,0) x[5] = 212
46.93/43.42	c (39,0) x[6] = 212
46.93/43.42	c (39,0) x[7] = 212
46.93/43.42	c (39,0) x[8] = 235
46.93/43.42	c (39,0) x[9] = 240
46.93/43.42	c (39,0) x[10] = 100
46.93/43.42	c (39,0) x[11] = 207
46.93/43.42	c (39,0) x[12] = 154
46.93/43.42	c (39,0) x[13] = 100
46.93/43.42	c (39,0) x[14] = 156
46.93/43.42	c (39,0) x[15] = 214
46.93/43.42	c (39,0) x[16] = 144
46.93/43.42	c (39,0) x[17] = 154
46.93/43.42	c (39,0) x[18] = 0
46.93/43.42	c (39,0) x[19] = 279
46.93/43.42	c (39,0) x[20] = 144
46.93/43.42	c (39,0) x[21] = 264
46.93/43.42	c (39,0) x[22] = 0
46.93/43.42	c (39,0) x[23] = 253
46.93/43.42	c (39,0) x[24] = 0
46.93/43.42	c (39,0) y[0] = 152
46.93/43.42	c (39,0) y[1] = 249
46.93/43.42	c (39,0) y[2] = 145
46.93/43.42	c (39,0) y[3] = 238
46.93/43.42	c (39,0) y[4] = 249
46.93/43.42	c (39,0) y[5] = 238
46.93/43.42	c (39,0) y[6] = 255
46.93/43.42	c (39,0) y[7] = 210
46.93/43.42	c (39,0) y[8] = 249
46.93/43.42	c (39,0) y[9] = 210
46.93/43.42	c (39,0) y[10] = 210
46.93/43.42	c (39,0) y[11] = 99
46.93/43.42	c (39,0) y[12] = 99
46.93/43.42	c (39,0) y[13] = 154
46.93/43.42	c (39,0) y[14] = 152
46.93/43.42	c (39,0) y[15] = 145
46.93/43.42	c (39,0) y[16] = 210
46.93/43.42	c (39,0) y[17] = 0
46.93/43.42	c (39,0) y[18] = 154
46.93/43.42	c (39,0) y[19] = 145
46.93/43.42	c (39,0) y[20] = 278
46.93/43.42	c (39,0) y[21] = 264
46.93/43.42	c (39,0) y[22] = 254
46.93/43.42	c (39,0) y[23] = 0
46.93/43.42	c (39,0) y[24] = 0
46.93/43.42	s SATISFIABLE
46.93/43.43	v <instantiation>
46.93/43.43	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] x[24] 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] y[24]</list>
46.93/43.43	v     <values>154 229 207 229 264 212 212 212 235 240 100 207 154 100 156 214 144 154 0 279 144 264 0 253 0 152 249 145 238 249 238 255 210 249 210 210 99 99 154 152 145 210 0 154 145 278 264 254 0 0</values>
46.93/43.43	v </instantiation>
46.93/43.43	c (39,0) Show results End
46.93/43.43	c (39,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
46.93/43.43	c (39,0) 39,39,STOP-AFTER(ALL)
46.93/43.43	c END-Prog: Thu Sep 12 14:37:34 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 (15315 MiB free)
  memory of node 1: 16384 MiB (15303 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387888-1568291851/watcher-4387888-1568291851 -o /tmp/evaluation-result-4387888-1568291851/solver-4387888-1568291851 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568286001-1042 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387888-1568291851.xml 

running on 4 cores: 0,2,4,6

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=2647, runsolver pid=2644

[startup+0.100124 s]*
/proc/loadavg: 2.02 2.03 2.05 5/234 2664
/proc/meminfo: memFree=31292356/32770624 swapFree=66999580/67108860
[pid=2647] ppid=2644 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/2647/stat : 2647 (scop.sh) S 2644 2647 31842 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405099112 115843072 349 33554432000 4194304 5098028 140729937146592 140729937143848 139986398712444 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29437952 140729937154915 140729937155184 140729937155184 140729937158093 0
/proc/2647/statm: 28282 349 296 221 0 87 0
[pid=2650] ppid=2647 vsize=15012696 memory=74788 CPUtime=0.11 cores=0,2,4,6
/proc/2650/stat : 2650 (java) S 2647 2647 31842 0 -1 1077944320 6933 0 0 0 9 2 0 0 20 0 15 0 405099112 15373000704 18697 33554432000 4194304 4196468 140723844326688 140723844309232 140667142422263 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
/proc/2650/statm: 3753174 18697 2829 1 0 3715579 0
[pid=2650/tid=2651] ppid=2647 vsize=15012696 memory=-7812800577974661515 CPUtime=0.08 cores=0,2,4,6
/proc/2650/task/2651/stat : 2651 (java) R 2647 2647 31842 0 -1 4202560 4877 0 0 0 7 1 0 0 20 0 15 0 405099112 15373000704 18829 33554432000 4194304 4196468 140723844326688 140667114206800 140667142434198 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2652] ppid=2647 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2652/stat : 2652 (java) S 2647 2647 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405099114 15373000704 18829 33554432000 4194304 4196468 140723844326688 140667146664848 140667142432469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2653] ppid=2647 vsize=15012696 memory=140182662715008 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2653/stat : 2653 (java) S 2647 2647 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405099114 15373000704 18829 33554432000 4194304 4196468 140723844326688 140666960821008 140667142432469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2654] ppid=2647 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2654/stat : 2654 (java) S 2647 2647 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405099114 15373000704 18829 33554432000 4194304 4196468 140723844326688 140666959768720 140667142432469 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2655] ppid=2647 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2655/stat : 2655 (java) S 2647 2647 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405099114 15373000704 18829 33554432000 4194304 4196468 140723844326688 140666958715920 140667142432469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2656] ppid=2647 vsize=15012696 memory=140182662715008 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2656/stat : 2656 (java) S 2647 2647 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405099115 15373000704 18829 33554432000 4194304 4196468 140723844326688 140666347690096 140667142433410 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2657] ppid=2647 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2657/stat : 2657 (java) S 2647 2647 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405099116 15373000704 18829 33554432000 4194304 4196468 140723844326688 140665748972320 140667142432469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2658] ppid=2647 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2658/stat : 2658 (java) S 2647 2647 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405099116 15373000704 18829 33554432000 4194304 4196468 140723844326688 140665480537200 140667142432469 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2659] ppid=2647 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2659/stat : 2659 (java) S 2647 2647 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405099119 15373000704 18829 33554432000 4194304 4196468 140723844326688 140665106028624 140667142440859 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2660] ppid=2647 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2660/stat : 2660 (java) S 2647 2647 31842 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 405099119 15373000704 18829 33554432000 4194304 4196468 140723844326688 140666346637936 140667142433410 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2661] ppid=2647 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2661/stat : 2661 (java) S 2647 2647 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405099119 15373000704 18829 33554432000 4194304 4196468 140723844326688 140666345585136 140667142433410 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2662] ppid=2647 vsize=15012696 memory=140182662715008 CPUtime=0.01 cores=0,2,4,6
/proc/2650/task/2662/stat : 2662 (java) S 2647 2647 31842 0 -1 1077944384 456 0 0 0 1 0 0 0 20 0 15 0 405099119 15373000704 18829 33554432000 4194304 4196468 140723844326688 140666344532848 140667142433410 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2663] ppid=2647 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2663/stat : 2663 (java) S 2647 2647 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405099119 15373000704 18829 33554432000 4194304 4196468 140723844326688 140664608123872 140667142432469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2664] ppid=2647 vsize=15012696 memory=140182662715008 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2664/stat : 2664 (java) S 2647 2647 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405099119 15373000704 18829 33554432000 4194304 4196468 140723844326688 140666343479728 140667142433410 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 76184 KiB

[startup+0.211053 s]*
/proc/loadavg: 2.02 2.03 2.05 3/234 2664
/proc/meminfo: memFree=31274984/32770624 swapFree=66999580/67108860
[pid=2647] ppid=2644 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/2647/stat : 2647 (scop.sh) S 2644 2647 31842 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405099112 115843072 349 33554432000 4194304 5098028 140729937146592 140729937143848 139986398712444 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29437952 140729937154915 140729937155184 140729937155184 140729937158093 0
/proc/2647/statm: 28282 349 296 221 0 87 0
[pid=2650] ppid=2647 vsize=15012696 memory=88276 CPUtime=0.25 cores=0,2,4,6
/proc/2650/stat : 2650 (java) S 2647 2647 31842 0 -1 1077944320 11611 0 0 0 21 4 0 0 20 0 15 0 405099112 15373000704 22069 33554432000 4194304 4196468 140723844326688 140723844309232 140667142422263 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
/proc/2650/statm: 3753174 22069 2927 1 0 3715579 0
[pid=2650/tid=2651] ppid=2647 vsize=15012696 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/2650/task/2651/stat : 2651 (java) R 2647 2647 31842 0 -1 4202560 9346 0 0 0 16 3 0 0 20 0 15 0 405099112 15373000704 22069 33554432000 4194304 4196468 140723844326688 140667114244064 140667126502750 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2652] ppid=2647 vsize=15012696 memory=539 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2652/stat : 2652 (java) S 2647 2647 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405099114 15373000704 22069 33554432000 4194304 4196468 140723844326688 140667146664848 140667142432469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2653] ppid=2647 vsize=15012696 memory=140182662739334 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2653/stat : 2653 (java) S 2647 2647 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405099114 15373000704 22069 33554432000 4194304 4196468 140723844326688 140666960821008 140667142432469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2654] ppid=2647 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2654/stat : 2654 (java) S 2647 2647 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405099114 15373000704 22069 33554432000 4194304 4196468 140723844326688 140666959768720 140667142432469 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2655] ppid=2647 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2655/stat : 2655 (java) S 2647 2647 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405099114 15373000704 22069 33554432000 4194304 4196468 140723844326688 140666958715920 140667142432469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2656] ppid=2647 vsize=15012696 memory=140182662715008 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2656/stat : 2656 (java) S 2647 2647 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405099115 15373000704 22069 33554432000 4194304 4196468 140723844326688 140666347690096 140667142433410 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2657] ppid=2647 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2657/stat : 2657 (java) S 2647 2647 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405099116 15373000704 22069 33554432000 4194304 4196468 140723844326688 140665748972320 140667142432469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2658] ppid=2647 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2658/stat : 2658 (java) S 2647 2647 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405099116 15373000704 22069 33554432000 4194304 4196468 140723844326688 140665480537200 140667142432469 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2659] ppid=2647 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2659/stat : 2659 (java) S 2647 2647 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405099119 15373000704 22069 33554432000 4194304 4196468 140723844326688 140665106028624 140667142440859 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2660] ppid=2647 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2650/task/2660/stat : 2660 (java) S 2647 2647 31842 0 -1 1077944384 427 0 0 0 1 0 0 0 20 0 15 0 405099119 15373000704 22069 33554432000 4194304 4196468 140723844326688 140666346637936 140667142433410 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2661] ppid=2647 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2661/stat : 2661 (java) S 2647 2647 31842 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 405099119 15373000704 22069 33554432000 4194304 4196468 140723844326688 140666345585136 140667142433410 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2662] ppid=2647 vsize=15012696 memory=140182662715008 CPUtime=0.02 cores=0,2,4,6
/proc/2650/task/2662/stat : 2662 (java) R 2647 2647 31842 0 -1 4202560 469 0 0 0 2 0 0 0 20 0 15 0 405099119 15373000704 22069 33554432000 4194304 4196468 140723844326688 140666344532848 140667123655345 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2663] ppid=2647 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2663/stat : 2663 (java) S 2647 2647 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405099119 15373000704 22069 33554432000 4194304 4196468 140723844326688 140664608123872 140667142432469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2664] ppid=2647 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2664/stat : 2664 (java) S 2647 2647 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405099119 15373000704 22069 33554432000 4194304 4196468 140723844326688 140666343479728 140667142433410 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89672 KiB

[startup+0.31069 s]*
/proc/loadavg: 2.02 2.03 2.05 3/234 2664
/proc/meminfo: memFree=31271572/32770624 swapFree=66999580/67108860
[pid=2647] ppid=2644 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/2647/stat : 2647 (scop.sh) S 2644 2647 31842 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405099112 115843072 349 33554432000 4194304 5098028 140729937146592 140729937143848 139986398712444 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29437952 140729937154915 140729937155184 140729937155184 140729937158093 0
/proc/2647/statm: 28282 349 296 221 0 87 0
[pid=2650] ppid=2647 vsize=15012696 memory=91960 CPUtime=0.44 cores=0,2,4,6
/proc/2650/stat : 2650 (java) S 2647 2647 31842 0 -1 1077944320 12520 0 0 0 39 5 0 0 20 0 15 0 405099112 15373000704 22990 33554432000 4194304 4196468 140723844326688 140723844309232 140667142422263 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
/proc/2650/statm: 3753174 22990 3033 1 0 3715579 0
[pid=2650/tid=2651] ppid=2647 vsize=15012696 memory=6935054825532540783 CPUtime=0.3 cores=0,2,4,6
/proc/2650/task/2651/stat : 2651 (java) R 2647 2647 31842 0 -1 4202560 10100 0 0 0 26 4 0 0 20 0 15 0 405099112 15373000704 22990 33554432000 4194304 4196468 140723844326688 140667114205280 140667123985827 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2652] ppid=2647 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2652/stat : 2652 (java) S 2647 2647 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405099114 15373000704 22990 33554432000 4194304 4196468 140723844326688 140667146664848 140667142432469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2653] ppid=2647 vsize=15012696 memory=-2893623298589923098 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2653/stat : 2653 (java) S 2647 2647 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405099114 15373000704 22990 33554432000 4194304 4196468 140723844326688 140666960821008 140667142432469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2654] ppid=2647 vsize=15012696 memory=4206186544037388384 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2654/stat : 2654 (java) S 2647 2647 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405099114 15373000704 22990 33554432000 4194304 4196468 140723844326688 140666959768720 140667142432469 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2655] ppid=2647 vsize=15012696 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2655/stat : 2655 (java) S 2647 2647 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405099114 15373000704 22990 33554432000 4194304 4196468 140723844326688 140666958715920 140667142432469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2656] ppid=2647 vsize=15012696 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2656/stat : 2656 (java) S 2647 2647 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405099115 15373000704 22990 33554432000 4194304 4196468 140723844326688 140666347690096 140667142433410 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2657] ppid=2647 vsize=15012696 memory=-6654736624941490777 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2657/stat : 2657 (java) S 2647 2647 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405099116 15373000704 22990 33554432000 4194304 4196468 140723844326688 140665748972320 140667142432469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2658] ppid=2647 vsize=15012696 memory=5863793785810542651 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2658/stat : 2658 (java) S 2647 2647 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405099116 15373000704 22990 33554432000 4194304 4196468 140723844326688 140665480537200 140667142432469 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2659] ppid=2647 vsize=15012696 memory=6944656592455350634 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2659/stat : 2659 (java) S 2647 2647 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405099119 15373000704 22990 33554432000 4194304 4196468 140723844326688 140665106028624 140667142440859 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2660] ppid=2647 vsize=15012696 memory=-8918990855134196790 CPUtime=0.04 cores=0,2,4,6
/proc/2650/task/2660/stat : 2660 (java) S 2647 2647 31842 0 -1 1077944384 542 0 0 0 4 0 0 0 20 0 15 0 405099119 15373000704 22990 33554432000 4194304 4196468 140723844326688 140666346637936 140667142433410 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2661] ppid=2647 vsize=15012696 memory=3047711553320166262 CPUtime=0.01 cores=0,2,4,6
/proc/2650/task/2661/stat : 2661 (java) S 2647 2647 31842 0 -1 1077944384 57 0 0 0 1 0 0 0 20 0 15 0 405099119 15373000704 22990 33554432000 4194304 4196468 140723844326688 140666345585136 140667142433410 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2662] ppid=2647 vsize=15012696 memory=-8412656567251072666 CPUtime=0.07 cores=0,2,4,6
/proc/2650/task/2662/stat : 2662 (java) S 2647 2647 31842 0 -1 1077944384 490 0 0 0 7 0 0 0 20 0 15 0 405099119 15373000704 22990 33554432000 4194304 4196468 140723844326688 140666344532848 140667142433410 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2663] ppid=2647 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2663/stat : 2663 (java) S 2647 2647 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405099119 15373000704 22990 33554432000 4194304 4196468 140723844326688 140664608123872 140667142432469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2664] ppid=2647 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2664/stat : 2664 (java) S 2647 2647 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405099119 15373000704 22990 33554432000 4194304 4196468 140723844326688 140666343479728 140667142433410 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93356 KiB

[startup+0.701938 s]
/proc/loadavg: 2.02 2.03 2.05 3/234 2664
/proc/meminfo: memFree=31248740/32770624 swapFree=66999580/67108860
[pid=2647] ppid=2644 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/2647/stat : 2647 (scop.sh) S 2644 2647 31842 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405099112 115843072 349 33554432000 4194304 5098028 140729937146592 140729937143848 139986398712444 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29437952 140729937154915 140729937155184 140729937155184 140729937158093 0
/proc/2647/statm: 28282 349 296 221 0 87 0
[pid=2650] ppid=2647 vsize=15021092 memory=132140 CPUtime=1 cores=0,2,4,6
/proc/2650/stat : 2650 (java) S 2647 2647 31842 0 -1 1077944320 20291 0 0 0 93 7 0 0 20 0 15 0 405099112 15381598208 33035 33554432000 4194304 4196468 140723844326688 140723844309232 140667142422263 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
/proc/2650/statm: 3755273 33035 3202 1 0 3716603 0
[pid=2650/tid=2651] ppid=2647 vsize=15021092 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/2650/task/2651/stat : 2651 (java) R 2647 2647 31842 0 -1 4202560 17349 0 0 0 62 6 0 0 20 0 15 0 405099112 15381598208 33035 33554432000 4194304 4196468 140723844326688 140667114256216 140666639956699 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2652] ppid=2647 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2652/stat : 2652 (java) S 2647 2647 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405099114 15381598208 33035 33554432000 4194304 4196468 140723844326688 140667146664848 140667142432469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2653] ppid=2647 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2653/stat : 2653 (java) S 2647 2647 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405099114 15381598208 33035 33554432000 4194304 4196468 140723844326688 140666960821008 140667142432469 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2654] ppid=2647 vsize=15021092 memory=1294 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2654/stat : 2654 (java) S 2647 2647 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405099114 15381598208 33035 33554432000 4194304 4196468 140723844326688 140666959768720 140667142432469 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2655] ppid=2647 vsize=15021092 memory=293044755 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2655/stat : 2655 (java) S 2647 2647 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405099114 15381598208 33035 33554432000 4194304 4196468 140723844326688 140666958715920 140667142432469 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2656] ppid=2647 vsize=15021092 memory=2372 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2656/stat : 2656 (java) S 2647 2647 31842 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405099115 15381598208 33035 33554432000 4194304 4196468 140723844326688 140666347690096 140667142433410 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2657] ppid=2647 vsize=15021092 memory=180 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2657/stat : 2657 (java) S 2647 2647 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405099116 15381598208 33035 33554432000 4194304 4196468 140723844326688 140665748972320 140667142432469 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2658] ppid=2647 vsize=15021092 memory=13918 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2658/stat : 2658 (java) S 2647 2647 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405099116 15381598208 33035 33554432000 4194304 4196468 140723844326688 140665480537200 140667142432469 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2659] ppid=2647 vsize=15021092 memory=2925500 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2659/stat : 2659 (java) S 2647 2647 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405099119 15381598208 33035 33554432000 4194304 4196468 140723844326688 140665106028624 140667142440859 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2660] ppid=2647 vsize=15021092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/2650/task/2660/stat : 2660 (java) S 2647 2647 31842 0 -1 1077944384 760 0 0 0 9 0 0 0 20 0 15 0 405099119 15381598208 33035 33554432000 4194304 4196468 140723844326688 140666346637936 140667142433410 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2661] ppid=2647 vsize=15021092 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/2650/task/2661/stat : 2661 (java) R 2647 2647 31842 0 -1 4202560 274 0 0 0 6 0 0 0 20 0 15 0 405099119 15381598208 33035 33554432000 4194304 4196468 140723844326688 140666345575520 140667127310097 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2662] ppid=2647 vsize=15021092 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/2650/task/2662/stat : 2662 (java) S 2647 2647 31842 0 -1 1077944384 574 0 0 0 14 0 0 0 20 0 15 0 405099119 15381598208 33035 33554432000 4194304 4196468 140723844326688 140666344532848 140667142433410 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2663] ppid=2647 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2663/stat : 2663 (java) S 2647 2647 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405099119 15381598208 33035 33554432000 4194304 4196468 140723844326688 140664608123872 140667142432469 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
[pid=2650/tid=2664] ppid=2647 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2650/task/2664/stat : 2664 (java) S 2647 2647 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405099119 15381598208 33035 33554432000 4194304 4196468 140723844326688 140666343479728 140667142433410 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32034816 140723844330282 140723844330650 140723844330650 140723844333519 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 133536 KiB

[startup+1.50083 s]
/proc/loadavg: 2.02 2.03 2.05 5/234 2664
/proc/meminfo: memFree=31223708/32770624 swapFree=66999580/67108860
[pid=2647] ppid=2644 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/2647/stat : 2647 (scop.sh) S 2644 2647 31842 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405099112 115843072 349 33554432000 4194304 5098028 140729937146592 140729937143848 139986398712444 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29437952 140729937154915 140729937155184 140729937155184 140729937158093 0
/proc/2647/statm: 28282 349 296 221 0 87 0

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

/proc/2665/task/2681/stat : 2681 (java) S 2647 2647 31842 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405099527 8262082560 29698 33554432000 4194304 4196468 140724292693744 140527840539968 140528062668569 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2683] ppid=2647 vsize=8068440 memory=2012 CPUtime=0.01 cores=0,2,4,6
/proc/2665/task/2683/stat : 2683 (java) S 2647 2647 31842 0 -1 4202560 30 0 0 0 1 0 0 0 20 0 19 0 405099527 8262082560 29698 33554432000 4194304 4196468 140724292693744 140525290106224 140528062665885 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2684] ppid=2647 vsize=8068440 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/2665/task/2684/stat : 2684 (java) S 2647 2647 31842 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405099527 8262082560 29698 33554432000 4194304 4196468 140724292693744 140525424328720 140528062665885 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2685] ppid=2647 vsize=8068440 memory=580 CPUtime=0 cores=0,2,4,6
/proc/2665/task/2685/stat : 2685 (java) S 2647 2647 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405099529 8262082560 29698 33554432000 4194304 4196468 140724292693744 140525021683504 140528062654165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
Current children cumulated CPU time: 44.72 s
Current children cumulated vsize: 8279528 KiB
Current children cumulated memory: 192220 KiB

[startup+42.4009 s]
/proc/loadavg: 2.05 2.04 2.05 4/239 2688
/proc/meminfo: memFree=31160040/32770624 swapFree=66999580/67108860
[pid=2647] ppid=2644 vsize=113128 memory=1476 CPUtime=6.13 cores=0,2,4,6
/proc/2647/stat : 2647 (scop.sh) S 2644 2647 31842 0 -1 4202496 583 26735 0 0 0 0 582 31 20 0 1 0 405099112 115843072 369 33554432000 4194304 5098028 140729937146592 140729937143336 139986398712444 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29437952 140729937154915 140729937155184 140729937155184 140729937158093 0
/proc/2647/statm: 28282 369 311 221 0 87 0
[pid=2665] ppid=2647 vsize=8068440 memory=118792 CPUtime=1.16 cores=0,2,4,6
/proc/2665/stat : 2665 (java) S 2647 2647 31842 0 -1 1077944320 20149 0 0 0 109 7 0 0 20 0 19 0 405099435 8262082560 29698 33554432000 4194304 4196468 140724292693744 140724292676288 140528062643959 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
/proc/2665/statm: 2017110 29698 3207 1 0 1978454 0
[pid=2680] ppid=2665 vsize=98148 memory=72104 CPUtime=38.23 cores=0,2,4,6
/proc/2680/stat : 2680 (cryptominisat5) R 2665 2647 31842 0 -1 4202496 68137 0 0 0 3816 7 0 0 20 0 1 0 405099527 100503552 18026 33554432000 4194304 4451008 140733352347712 140733352342264 140360819983238 0 4 0 2 0 0 0 17 0 0 0 0 0 0 6549032 6559120 12840960 140733352350653 140733352350784 140733352350784 140733352353734 0
/proc/2680/statm: 24537 18026 733 63 0 18264 0
[pid=2665/tid=2666] ppid=2647 vsize=8068440 memory=1399661390618268019 CPUtime=0.75 cores=0,2,4,6
/proc/2665/task/2666/stat : 2666 (java) S 2647 2647 31842 0 -1 1077944384 16860 0 0 0 70 5 0 0 20 0 19 0 405099435 8262082560 29698 33554432000 4194304 4196468 140724292693744 140528034484128 140528062654165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2667] ppid=2647 vsize=8068440 memory=280365132042656 CPUtime=0 cores=0,2,4,6
/proc/2665/task/2667/stat : 2667 (java) S 2647 2647 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405099436 8262082560 29698 33554432000 4194304 4196468 140724292693744 140528066886672 140528062654165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2668] ppid=2647 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/2665/task/2668/stat : 2668 (java) S 2647 2647 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405099436 8262082560 29698 33554432000 4194304 4196468 140724292693744 140527867055248 140528062654165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2669] ppid=2647 vsize=8068440 memory=118792 CPUtime=0 cores=0,2,4,6
/proc/2665/task/2669/stat : 2669 (java) S 2647 2647 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405099436 8262082560 29698 33554432000 4194304 4196468 140724292693744 140527866002192 140528062654165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2670] ppid=2647 vsize=8068440 memory=71952 CPUtime=0 cores=0,2,4,6
/proc/2665/task/2670/stat : 2670 (java) S 2647 2647 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405099437 8262082560 29698 33554432000 4194304 4196468 140724292693744 140527864949648 140528062654165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2671] ppid=2647 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/2665/task/2671/stat : 2671 (java) S 2647 2647 31842 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405099438 8262082560 29698 33554432000 4194304 4196468 140724292693744 140527508859120 140528062655106 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2672] ppid=2647 vsize=8068440 memory=118792 CPUtime=0 cores=0,2,4,6
/proc/2665/task/2672/stat : 2672 (java) S 2647 2647 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405099438 8262082560 29698 33554432000 4194304 4196468 140724292693744 140526967841952 140528062654165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2673] ppid=2647 vsize=8068440 memory=69168 CPUtime=0 cores=0,2,4,6
/proc/2665/task/2673/stat : 2673 (java) S 2647 2647 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405099439 8262082560 29698 33554432000 4194304 4196468 140724292693744 140526699406064 140528062654165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2674] ppid=2647 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/2665/task/2674/stat : 2674 (java) S 2647 2647 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405099441 8262082560 29698 33554432000 4194304 4196468 140724292693744 140526324897744 140528062662555 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2675] ppid=2647 vsize=8068440 memory=118792 CPUtime=0.05 cores=0,2,4,6
/proc/2665/task/2675/stat : 2675 (java) S 2647 2647 31842 0 -1 1077944384 404 0 0 0 5 0 0 0 20 0 19 0 405099441 8262082560 29698 33554432000 4194304 4196468 140724292693744 140527507806960 140528062655106 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2676] ppid=2647 vsize=8068440 memory=72104 CPUtime=0.1 cores=0,2,4,6
/proc/2665/task/2676/stat : 2676 (java) S 2647 2647 31842 0 -1 1077944384 464 0 0 0 10 0 0 0 20 0 19 0 405099441 8262082560 29698 33554432000 4194304 4196468 140724292693744 140527506754416 140528062655106 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2677] ppid=2647 vsize=8068440 memory=118792 CPUtime=0.2 cores=0,2,4,6
/proc/2665/task/2677/stat : 2677 (java) S 2647 2647 31842 0 -1 1077944384 1009 0 0 0 20 0 0 0 20 0 19 0 405099441 8262082560 29698 33554432000 4194304 4196468 140724292693744 140527437605360 140528062655106 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2678] ppid=2647 vsize=8068440 memory=67120 CPUtime=0 cores=0,2,4,6
/proc/2665/task/2678/stat : 2678 (java) S 2647 2647 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405099441 8262082560 29698 33554432000 4194304 4196468 140724292693744 140525826992992 140528062654165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2679] ppid=2647 vsize=8068440 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2665/task/2679/stat : 2679 (java) S 2647 2647 31842 0 -1 1077944384 4 0 0 0 0 1 0 0 20 0 19 0 405099442 8262082560 29698 33554432000 4194304 4196468 140724292693744 140527436552752 140528062655106 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2681] ppid=2647 vsize=8068440 memory=32688 CPUtime=0 cores=0,2,4,6
/proc/2665/task/2681/stat : 2681 (java) S 2647 2647 31842 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405099527 8262082560 29698 33554432000 4194304 4196468 140724292693744 140527840539968 140528062668569 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2683] ppid=2647 vsize=8068440 memory=988 CPUtime=0.01 cores=0,2,4,6
/proc/2665/task/2683/stat : 2683 (java) S 2647 2647 31842 0 -1 4202560 30 0 0 0 1 0 0 0 20 0 19 0 405099527 8262082560 29698 33554432000 4194304 4196468 140724292693744 140525290106224 140528062665885 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2684] ppid=2647 vsize=8068440 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/2665/task/2684/stat : 2684 (java) S 2647 2647 31842 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405099527 8262082560 29698 33554432000 4194304 4196468 140724292693744 140525424328720 140528062665885 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2685] ppid=2647 vsize=8068440 memory=118792 CPUtime=0 cores=0,2,4,6
/proc/2665/task/2685/stat : 2685 (java) S 2647 2647 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405099529 8262082560 29698 33554432000 4194304 4196468 140724292693744 140525021683504 140528062654165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
Current children cumulated CPU time: 45.52 s
Current children cumulated vsize: 8279716 KiB
Current children cumulated memory: 192372 KiB

[startup+43.2009 s]
/proc/loadavg: 2.05 2.04 2.05 4/239 2688
/proc/meminfo: memFree=31159916/32770624 swapFree=66999580/67108860
[pid=2647] ppid=2644 vsize=113128 memory=1476 CPUtime=6.13 cores=0,2,4,6
/proc/2647/stat : 2647 (scop.sh) S 2644 2647 31842 0 -1 4202496 583 26735 0 0 0 0 582 31 20 0 1 0 405099112 115843072 369 33554432000 4194304 5098028 140729937146592 140729937143336 139986398712444 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29437952 140729937154915 140729937155184 140729937155184 140729937158093 0
/proc/2647/statm: 28282 369 311 221 0 87 0
[pid=2665] ppid=2647 vsize=8068440 memory=118792 CPUtime=1.16 cores=0,2,4,6
/proc/2665/stat : 2665 (java) S 2647 2647 31842 0 -1 1077944320 20149 0 0 0 109 7 0 0 20 0 19 0 405099435 8262082560 29698 33554432000 4194304 4196468 140724292693744 140724292676288 140528062643959 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
/proc/2665/statm: 2017110 29698 3207 1 0 1978454 0
[pid=2680] ppid=2665 vsize=98148 memory=72104 CPUtime=39.03 cores=0,2,4,6
/proc/2680/stat : 2680 (cryptominisat5) R 2665 2647 31842 0 -1 4202496 68157 0 0 0 3896 7 0 0 20 0 1 0 405099527 100503552 18026 33554432000 4194304 4451008 140733352347712 140733352343640 140360819983054 0 4 0 2 0 0 0 17 0 0 0 0 0 0 6549032 6559120 12840960 140733352350653 140733352350784 140733352350784 140733352353734 0
/proc/2680/statm: 24537 18026 733 63 0 18264 0
[pid=2665/tid=2666] ppid=2647 vsize=8068440 memory=-3622645143214314312 CPUtime=0.75 cores=0,2,4,6
/proc/2665/task/2666/stat : 2666 (java) S 2647 2647 31842 0 -1 1077944384 16860 0 0 0 70 5 0 0 20 0 19 0 405099435 8262082560 29698 33554432000 4194304 4196468 140724292693744 140528034484128 140528062654165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2667] ppid=2647 vsize=8068440 memory=988 CPUtime=0 cores=0,2,4,6
/proc/2665/task/2667/stat : 2667 (java) S 2647 2647 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405099436 8262082560 29698 33554432000 4194304 4196468 140724292693744 140528066886672 140528062654165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2668] ppid=2647 vsize=8068440 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/2665/task/2668/stat : 2668 (java) S 2647 2647 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405099436 8262082560 29698 33554432000 4194304 4196468 140724292693744 140527867055248 140528062654165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2669] ppid=2647 vsize=8068440 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/2665/task/2669/stat : 2669 (java) S 2647 2647 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405099436 8262082560 29698 33554432000 4194304 4196468 140724292693744 140527866002192 140528062654165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2670] ppid=2647 vsize=8068440 memory=580 CPUtime=0 cores=0,2,4,6
/proc/2665/task/2670/stat : 2670 (java) S 2647 2647 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405099437 8262082560 29698 33554432000 4194304 4196468 140724292693744 140527864949648 140528062654165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2671] ppid=2647 vsize=8068440 memory=118792 CPUtime=0 cores=0,2,4,6
/proc/2665/task/2671/stat : 2671 (java) S 2647 2647 31842 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405099438 8262082560 29698 33554432000 4194304 4196468 140724292693744 140527508859120 140528062655106 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2672] ppid=2647 vsize=8068440 memory=71448 CPUtime=0 cores=0,2,4,6
/proc/2665/task/2672/stat : 2672 (java) S 2647 2647 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405099438 8262082560 29698 33554432000 4194304 4196468 140724292693744 140526967841952 140528062654165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2673] ppid=2647 vsize=8068440 memory=71216 CPUtime=0 cores=0,2,4,6
/proc/2665/task/2673/stat : 2673 (java) S 2647 2647 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405099439 8262082560 29698 33554432000 4194304 4196468 140724292693744 140526699406064 140528062654165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2674] ppid=2647 vsize=8068440 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/2665/task/2674/stat : 2674 (java) S 2647 2647 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405099441 8262082560 29698 33554432000 4194304 4196468 140724292693744 140526324897744 140528062662555 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2675] ppid=2647 vsize=8068440 memory=964 CPUtime=0.05 cores=0,2,4,6
/proc/2665/task/2675/stat : 2675 (java) S 2647 2647 31842 0 -1 1077944384 404 0 0 0 5 0 0 0 20 0 19 0 405099441 8262082560 29698 33554432000 4194304 4196468 140724292693744 140527507806960 140528062655106 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2676] ppid=2647 vsize=8068440 memory=118792 CPUtime=0.1 cores=0,2,4,6
/proc/2665/task/2676/stat : 2676 (java) S 2647 2647 31842 0 -1 1077944384 464 0 0 0 10 0 0 0 20 0 19 0 405099441 8262082560 29698 33554432000 4194304 4196468 140724292693744 140527506754416 140528062655106 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2677] ppid=2647 vsize=8068440 memory=1720 CPUtime=0.2 cores=0,2,4,6
/proc/2665/task/2677/stat : 2677 (java) S 2647 2647 31842 0 -1 1077944384 1009 0 0 0 20 0 0 0 20 0 19 0 405099441 8262082560 29698 33554432000 4194304 4196468 140724292693744 140527437605360 140528062655106 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2678] ppid=2647 vsize=8068440 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/2665/task/2678/stat : 2678 (java) S 2647 2647 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405099441 8262082560 29698 33554432000 4194304 4196468 140724292693744 140525826992992 140528062654165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2679] ppid=2647 vsize=8068440 memory=924 CPUtime=0.01 cores=0,2,4,6
/proc/2665/task/2679/stat : 2679 (java) S 2647 2647 31842 0 -1 1077944384 4 0 0 0 0 1 0 0 20 0 19 0 405099442 8262082560 29698 33554432000 4194304 4196468 140724292693744 140527436552752 140528062655106 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2681] ppid=2647 vsize=8068440 memory=3844 CPUtime=0 cores=0,2,4,6
/proc/2665/task/2681/stat : 2681 (java) S 2647 2647 31842 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405099527 8262082560 29698 33554432000 4194304 4196468 140724292693744 140527840539968 140528062668569 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2683] ppid=2647 vsize=8068440 memory=6935054825532540783 CPUtime=0.01 cores=0,2,4,6
/proc/2665/task/2683/stat : 2683 (java) S 2647 2647 31842 0 -1 4202560 30 0 0 0 1 0 0 0 20 0 19 0 405099527 8262082560 29698 33554432000 4194304 4196468 140724292693744 140525290106224 140528062665885 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2684] ppid=2647 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2665/task/2684/stat : 2684 (java) S 2647 2647 31842 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405099527 8262082560 29698 33554432000 4194304 4196468 140724292693744 140525424328720 140528062665885 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2685] ppid=2647 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/2665/task/2685/stat : 2685 (java) S 2647 2647 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405099529 8262082560 29698 33554432000 4194304 4196468 140724292693744 140525021683504 140528062654165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
Current children cumulated CPU time: 46.32 s
Current children cumulated vsize: 8279716 KiB
Current children cumulated memory: 192372 KiB

[startup+43.4011 s]
/proc/loadavg: 2.05 2.04 2.05 4/239 2688
/proc/meminfo: memFree=31159916/32770624 swapFree=66999580/67108860
[pid=2647] ppid=2644 vsize=113128 memory=1476 CPUtime=6.13 cores=0,2,4,6
/proc/2647/stat : 2647 (scop.sh) S 2644 2647 31842 0 -1 4202496 583 26735 0 0 0 0 582 31 20 0 1 0 405099112 115843072 369 33554432000 4194304 5098028 140729937146592 140729937143336 139986398712444 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29437952 140729937154915 140729937155184 140729937155184 140729937158093 0
/proc/2647/statm: 28282 369 311 221 0 87 0
[pid=2665] ppid=2647 vsize=7937364 memory=142304 CPUtime=40.8 cores=0,2,4,6
/proc/2665/stat : 2665 (java) S 2647 2647 31842 0 -1 1077944320 23519 68279 0 0 165 8 3899 8 20 0 17 0 405099435 8127860736 35576 33554432000 4194304 4196468 140724292693744 140724292676288 140528062643959 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
/proc/2665/statm: 1984341 35576 3231 1 0 1945685 0
[pid=2665/tid=2666] ppid=2647 vsize=7937364 memory=69168 CPUtime=39.89 cores=0,2,4,6
/proc/2665/task/2666/stat : 2666 (java) R 2647 2647 31842 0 -1 4202560 17109 68279 0 0 77 5 3899 8 20 0 17 0 405099435 8127860736 35576 33554432000 4194304 4196468 140724292693744 140528034466320 140528046724446 0 4 2 25189581 0 0 0 -1 4 0 0 20 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2667] ppid=2647 vsize=7937364 memory=1476 CPUtime=39.07 cores=0,2,4,6
/proc/2665/task/2667/stat : 2667 (java) S 2647 2647 31842 0 -1 1077944384 1 68279 0 0 0 0 3899 8 20 0 17 0 405099436 8127860736 35576 33554432000 4194304 4196468 140724292693744 140528066886672 140528062654165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2668] ppid=2647 vsize=7937364 memory=118792 CPUtime=39.07 cores=0,2,4,6
/proc/2665/task/2668/stat : 2668 (java) S 2647 2647 31842 0 -1 1077944384 2 68279 0 0 0 0 3899 8 20 0 17 0 405099436 8127860736 35576 33554432000 4194304 4196468 140724292693744 140527867055248 140528062654165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2669] ppid=2647 vsize=7937364 memory=71952 CPUtime=39.07 cores=0,2,4,6
/proc/2665/task/2669/stat : 2669 (java) S 2647 2647 31842 0 -1 1077944384 1 68279 0 0 0 0 3899 8 20 0 17 0 405099436 8127860736 35576 33554432000 4194304 4196468 140724292693744 140527866002192 140528062654165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2670] ppid=2647 vsize=7937364 memory=1476 CPUtime=39.07 cores=0,2,4,6
/proc/2665/task/2670/stat : 2670 (java) S 2647 2647 31842 0 -1 1077944384 2 68279 0 0 0 0 3899 8 20 0 17 0 405099437 8127860736 35576 33554432000 4194304 4196468 140724292693744 140527864949648 140528062654165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2671] ppid=2647 vsize=7937364 memory=118792 CPUtime=39.07 cores=0,2,4,6
/proc/2665/task/2671/stat : 2671 (java) S 2647 2647 31842 0 -1 1077944384 5 68279 0 0 0 0 3899 8 20 0 17 0 405099438 8127860736 35576 33554432000 4194304 4196468 140724292693744 140527508859120 140528062655106 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2672] ppid=2647 vsize=7937364 memory=72104 CPUtime=39.07 cores=0,2,4,6
/proc/2665/task/2672/stat : 2672 (java) S 2647 2647 31842 0 -1 1077944384 13 68279 0 0 0 0 3899 8 20 0 17 0 405099438 8127860736 35576 33554432000 4194304 4196468 140724292693744 140526967841952 140528062654165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2673] ppid=2647 vsize=7937364 memory=2832 CPUtime=39.07 cores=0,2,4,6
/proc/2665/task/2673/stat : 2673 (java) S 2647 2647 31842 0 -1 1077944384 1 68279 0 0 0 0 3899 8 20 0 17 0 405099439 8127860736 35576 33554432000 4194304 4196468 140724292693744 140526699406064 140528062654165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2674] ppid=2647 vsize=7937364 memory=1224 CPUtime=39.07 cores=0,2,4,6
/proc/2665/task/2674/stat : 2674 (java) S 2647 2647 31842 0 -1 1077944384 3 68279 0 0 0 0 3899 8 20 0 17 0 405099441 8127860736 35576 33554432000 4194304 4196468 140724292693744 140526324897744 140528062662555 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2675] ppid=2647 vsize=7937364 memory=280365130882624 CPUtime=39.24 cores=0,2,4,6
/proc/2665/task/2675/stat : 2675 (java) S 2647 2647 31842 0 -1 1077944384 893 68279 0 0 17 0 3899 8 20 0 17 0 405099441 8127860736 35576 33554432000 4194304 4196468 140724292693744 140527507806960 140528062655106 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2676] ppid=2647 vsize=7937364 memory=8761640388971749472 CPUtime=39.33 cores=0,2,4,6
/proc/2665/task/2676/stat : 2676 (java) R 2647 2647 31842 0 -1 4202560 2050 68279 0 0 26 0 3899 8 20 0 17 0 405099441 8127860736 35576 33554432000 4194304 4196468 140724292693744 140527506739896 140528044167610 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2677] ppid=2647 vsize=7937364 memory=280365130675872 CPUtime=39.37 cores=0,2,4,6
/proc/2665/task/2677/stat : 2677 (java) S 2647 2647 31842 0 -1 1077944384 1447 68279 0 0 30 0 3899 8 20 0 17 0 405099441 8127860736 35576 33554432000 4194304 4196468 140724292693744 140527437605360 140528062655106 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2678] ppid=2647 vsize=7937364 memory=4206468019014099040 CPUtime=39.07 cores=0,2,4,6
/proc/2665/task/2678/stat : 2678 (java) S 2647 2647 31842 0 -1 1077944384 3 68279 0 0 0 0 3899 8 20 0 17 0 405099441 8127860736 35576 33554432000 4194304 4196468 140724292693744 140525826992992 140528062654165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2679] ppid=2647 vsize=7937364 memory=-7531822216213012384 CPUtime=39.08 cores=0,2,4,6
/proc/2665/task/2679/stat : 2679 (java) S 2647 2647 31842 0 -1 1077944384 4 68279 0 0 0 1 3899 8 20 0 17 0 405099442 8127860736 35576 33554432000 4194304 4196468 140724292693744 140527436552752 140528062655106 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2681] ppid=2647 vsize=7937364 memory=6944656592455360604 CPUtime=39.07 cores=0,2,4,6
/proc/2665/task/2681/stat : 2681 (java) S 2647 2647 31842 0 -1 1077944384 38 68279 0 0 0 0 3899 8 20 0 17 0 405099527 8127860736 35576 33554432000 4194304 4196468 140724292693744 140527840539152 140528062655106 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
[pid=2665/tid=2685] ppid=2647 vsize=7937364 memory=6944656592455360604 CPUtime=39.07 cores=0,2,4,6
/proc/2665/task/2685/stat : 2685 (java) S 2647 2647 31842 0 -1 1077944384 9 68279 0 0 0 0 3899 8 20 0 17 0 405099529 8127860736 35576 33554432000 4194304 4196468 140724292693744 140525021685296 140528062655106 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32268288 140724292699132 140724292699290 140724292699290 140724292702159 0
Current children cumulated CPU time: 46.93 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 143780 KiB

Child status: 0
Real time (s): 43.4582
CPU time (s): 47.0746
CPU user time (s): 46.5806
CPU system time (s): 0.493924
CPU usage (%): 108.321
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 1377584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.5806
system time used= 0.493924
maximum resident set size= 1380660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119993
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6603
involuntary context switches= 121


# summary of solver processes directly reported to runsolver:
#   pid: 2647
#   total CPU time (s): 47.0746
#   total CPU user time (s): 46.5806
#   total CPU system time (s): 0.493924

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.447409 second user time and 0.400804 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-12 14:36:50
IDJOB=4387888
IDBENCH=127773
IDSOLVER=2826
FILE ID=node146/4387888-1568291851
RUNJOBID= node146-1568286001-1042
PBS_JOBID= 21701065
Free space on /tmp= 54328 MiB

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

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

MD5SUM BENCH= e5b164a238094fc306b5fb8652aa9c45
RANDOM SEED=1321133044

node146.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	: 5332.90
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	: 5332.90
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	: 5332.90
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	: 5332.90
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:        31353616 kB
MemAvailable:   31525064 kB
Buffers:           94876 kB
Cached:           355896 kB
SwapCached:         5408 kB
Active:           617524 kB
Inactive:         214920 kB
Active(anon):     398652 kB
Inactive(anon):    20864 kB
Active(file):     218872 kB
Inactive(file):   194056 kB
Unevictable:      110908 kB
Mlocked:          110908 kB
SwapTotal:      67108860 kB
SwapFree:       66999580 kB
Dirty:             20800 kB
Writeback:             0 kB
AnonPages:        571284 kB
Mapped:            53080 kB
Shmem:             28948 kB
Slab:             177364 kB
SReclaimable:     148708 kB
SUnreclaim:        28656 kB
KernelStack:        4128 kB
PageTables:         6232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6239540 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    374784 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 54308 MiB
End job on node146 at 2019-09-12 14:37:34