Trace number 4387894

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 48.3671 44.252

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-199.xml
MD5SUM6632ff8405f31e2dfb2c2f75c1e4c1cc
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 benchmark17.4392
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size607
Maximum domain size607
Distribution of domain sizes[{"size":607,"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-2748-serial-file.bin HOME/instance-4387894-1568291895.xml
0.67/0.53	
0.67/0.53	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.67/0.53	
0.67/0.55	c BEGIN-Prog: Thu Sep 12 14:37:35 CEST 2019
0.67/0.55	c PID: 2751
0.67/0.55	c IP: 172.20.3.146
0.67/0.55	c HOST: node146.alineos.net
0.67/0.56	c (0,0) Parsing Begin
1.42/0.90	c (0,0) Parsing End
1.42/0.91	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 607
1.42/0.91	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.42/0.91	c (0,0) Constraint Name Generate Begin
1.42/0.91	c (0,0) Ctr:HOME/instance-4387894-1568291895.xml,Le:NoOverlap:Num:Var
1.42/0.91	c (0,0) Constraint Name Generate End
1.42/0.91	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.42/0.91	c (0,0) CSP to CSPinCNF Begin
1.42/0.99	c (0,0) translated 6 (10%) constraints
1.42/1.00	c (0,0) translated 11 (20%) constraints
1.42/1.00	c (0,0) translated 16 (30%) constraints
1.42/1.00	c (0,0) translated 22 (40%) constraints
1.42/1.00	c (0,0) translated 27 (50%) constraints
1.58/1.01	c (0,0) translated 32 (60%) constraints
1.58/1.01	c (0,0) translated 38 (70%) constraints
1.58/1.01	c (0,0) translated 43 (80%) constraints
1.58/1.01	c (0,0) translated 48 (90%) constraints
2.15/1.29	c (0,0) translated 53 (100%) constraints
2.15/1.29	c (0,0) ===========================================
2.49/1.30	c (0,0) Hybrid: #OE=50, #LE=0
2.49/1.30	c (0,0) Hybrid
2.49/1.30	c (0,0) ===========================================
2.49/1.30	c (0,0) translated 36 (10%) constraints
2.49/1.31	c (0,0) translated 71 (20%) constraints
2.49/1.32	c (0,0) translated 106 (30%) constraints
2.49/1.33	c (0,0) translated 141 (40%) constraints
2.49/1.33	c (0,0) translated 176 (50%) constraints
2.49/1.34	c (0,0) translated 212 (60%) constraints
2.49/1.34	c (0,0) translated 247 (70%) constraints
2.49/1.35	c (0,0) translated 282 (80%) constraints
2.49/1.35	c (0,0) translated 317 (90%) constraints
2.49/1.35	c (0,0) translated 352 (100%) constraints
2.49/1.36	c (0,0) CSP to CSPinCNF End
2.49/1.36	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 602
2.49/1.36	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.49/1.36	c (0,0) CSPinCNF Propagation Begin
2.49/1.39	c (0,0) 0 values, 10 unsatisfiable literals, and 51 valid clauses are removed
2.49/1.39	c (0,0) CSPinCNF Propagation End
2.49/1.39	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 602
2.49/1.39	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.49/1.40	c (0,0) Hybrid: #OE=50, #LE=0
2.49/1.40	c (0,0) Simplify CSPinCNF Begin
2.80/1.49	c (0,0) Simplify CSPinCNF End
2.80/1.49	c (0,0) CSP: 50 int (0 aux), 1190 bool (1190 aux), 1491 ctr, max domain size 602
2.80/1.49	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.80/1.49	c (0,0) Calculate Precise Domain Begin
2.80/1.49	c (0,0) 0 values are removed by re-calculation
2.80/1.49	c (0,0) Calculate Precise Domain End
2.80/1.49	c (0,0) CSP: 50 int (0 aux), 1190 bool (1190 aux), 1491 ctr, max domain size 602
2.80/1.49	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.80/1.49	c (0,0) CSPinCNF to SatSolver Begin
4.61/2.10	c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 86088 SAT clauses)
5.18/2.32	c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 145074 SAT clauses)
5.43/2.53	c (2,1) 448 (30 %) CSP clauses are encoded (0 SAT variables, 199765 SAT clauses)
5.64/2.75	c (2,2) 597 (40 %) CSP clauses are encoded (0 SAT variables, 256198 SAT clauses)
5.83/2.97	c (2,2) 746 (50 %) CSP clauses are encoded (0 SAT variables, 307833 SAT clauses)
6.07/3.13	c (2,2) 895 (60 %) CSP clauses are encoded (0 SAT variables, 358387 SAT clauses)
6.27/3.31	c (2,2) 1044 (70 %) CSP clauses are encoded (0 SAT variables, 405076 SAT clauses)
6.37/3.47	c (2,2) 1193 (80 %) CSP clauses are encoded (0 SAT variables, 448377 SAT clauses)
6.60/3.61	c (3,3) 1342 (90 %) CSP clauses are encoded (0 SAT variables, 486113 SAT clauses)
6.70/3.71	c (3,3) 1491 (100 %) CSP clauses are encoded (0 SAT variables, 512818 SAT clauses)
6.70/3.71	c (3,3) CSPinCNF to SatSolver End
6.70/3.71	c (3,3) Heap : 1971 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.70/3.71	c (3,3) 26380 bool, 512998 clause
6.70/3.71	c (3,3) Export Begin
6.70/3.80	c (3,3) Export to HOME/scop-2748-serial-file.bin
6.70/3.80	c (3,3) Export End
6.70/3.80	c (3,3) Export File Size: 0.01 MB
6.70/3.80	c (3,3) 0,0,0,0,0,0,3,STOP-AFTER(DIMACS)
6.70/3.80	c END-Prog: Thu Sep 12 14:37:38 CEST 2019
6.88/3.82	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-2748-serial-file.bin
7.41/4.28	c (0,0) Read Serial File Begin
7.41/4.28	c (0,0) HOME/scop-2748-serial-file.bin
7.67/4.48	c (0,0) Read Serial File End
7.67/4.49	
7.67/4.49	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
7.67/4.49	(Solving Process)
7.67/4.49	
7.84/4.51	c BEGIN-Prog: Thu Sep 12 14:37:39 CEST 2019
7.84/4.51	c PID: 2766
7.84/4.51	c IP: 172.20.3.146
7.84/4.51	c HOST: node146.alineos.net
7.84/4.52	c (0,0) SatSolver.solve Begin
7.84/4.52	c (0,0) HOME/cryptominisat5  HOME/instance-4387894-1568291895.xml-scop-2751.cnf
7.84/4.55	c (0,0) c Outputting solution to console
7.84/4.55	c (0,0) c CryptoMiniSat version 5.6.8
7.84/4.55	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
7.84/4.55	c (0,0) c CMS SHA revision GIT-notfound
7.84/4.55	c (0,0) c CMS is MIT licensed
7.84/4.55	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.84/4.55	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
7.84/4.55	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387894-1568291895.xml-scop-2751.cnf
7.84/4.55	c (0,0) c Reading file 'HOME/instance-4387894-1568291895.xml-scop-2751.cnf'
7.84/4.55	c (0,0) c -- header says num vars:          26380
7.84/4.55	c (0,0) c -- header says num clauses:      512998
8.01/4.72	c (0,0) c -- clauses added: 512998
8.01/4.72	c (0,0) c -- xor clauses added: 0
8.01/4.72	c (0,0) c -- vars added 26380
8.01/4.72	c (0,0) c Parsing time: 0.16 s
8.01/4.76	c (0,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
8.01/4.76	c (0,0) c [distill] long cls tried: 2/1 cl-short:2 lit-r:3 T: 0.00 T-out: N T-r: 100.00%
8.67/5.25	c (1,0) c [distill] long cls tried: 179/176 cl-short:179 lit-r:117 T: 0.04 T-out: N T-r: 99.47%
9.38/5.90	c (1,0) c [distill] long cls tried: 176/349 cl-short:176 lit-r:96 T: 0.06 T-out: N T-r: 99.27%
9.58/6.12	c (1,0) c   glue     1    42  8193   26354  485K   27K    3.00    2.95   399  2843  4941    17   21.39   21.35
10.87/7.46	c (3,0) c [distill] long cls tried: 1696/2003 cl-short:1696 lit-r:2427 T: 0.60 T-out: N T-r: 92.43%
11.77/8.34	c (4,0) c   geom     1    73 16386   26354  485K   27K    3.00    2.95  2391  5992  8002    62   22.58   22.50
12.27/8.85	c (4,0) c [distill] long cls tried: 415/2408 cl-short:415 lit-r:852 T: 0.22 T-out: N T-r: 97.40%
14.67/11.25	c (7,0) c [distill] long cls tried: 1695/4091 cl-short:1695 lit-r:2663 T: 0.91 T-out: N T-r: 89.50%
14.77/11.31	c (7,0) c   glue     1   127   24K   26354  485K   27K    3.00    2.95  4093  6570 13922    89   23.56   23.48
18.07/14.65	c (10,0) c [distill] long cls tried: 1790/5858 cl-short:1790 lit-r:3652 T: 1.27 T-out: N T-r: 86.50%
18.27/14.80	c (10,0) c   glue     1   167   32K   26354  485K   27K    3.00    2.95  5867  9535 16846   115   24.23   24.15
20.89/17.42	c (13,0) c   glue     1   220   40K   26354  485K   27K    3.00    2.95  7338  7922   25K   119   24.82   24.75
22.61/19.17	c (14,0) c [distill] long cls tried: 1502/7344 cl-short:1502 lit-r:2937 T: 1.29 T-out: N T-r: 86.93%
24.99/21.59	c (17,0) c   glue     1   280   49K   26354  485K   27K    3.00    2.95  7745 11848   25K   136   24.59   24.52
28.70/25.29	c (21,0) c [distill] long cls tried: 1754/9090 cl-short:1754 lit-r:4352 T: 1.88 T-out: N T-r: 81.54%
30.00/26.60	c (22,0) c   glue     1   330   57K   26354  485K   27K    3.00    2.95  9122 10122   34K   146   25.18   25.12
33.30/29.82	c (25,0) c   glue     1   367   65K   26354  485K   27K    3.00    2.95 10590 10869   33K   149   24.41   24.34
36.10/32.61	c (28,0) c [distill] long cls tried: 1523/10603 cl-short:1522 lit-r:3825 T: 1.88 T-out: N T-r: 82.32%
36.90/33.40	c (29,0) c recursive minimization cost OK: 3355Kcost/(% lits removed)
36.90/33.40	c (29,0) c more minimization effectiveness low: 0.00 % lits removed --> disabling
36.90/33.41	c (29,0) c --> Executing strategy token: handle-comps
36.90/33.41	c (29,0) c --> Executing strategy token: scc-vrepl
36.90/33.41	c (29,0) c [scc] new: 1438 BP 0M T: 0.01
36.90/33.49	c (29,0) c [vrep] vars 727 lits 98339 rem-bin-cls 3612 rem-long-cls 0 BP 2M T: 0.07
37.01/33.51	c (29,0) c --> Executing strategy token: cache-clean
37.01/33.51	c (29,0) c --> Executing strategy token: cache-tryboth
37.01/33.51	c (29,0) c --> Executing strategy token: sub-impl
37.01/33.51	c (29,0) c [impl sub] bin: 51 T: 0.02 T-out: N w-visit: 52760
37.01/33.54	c (29,0) c --> Executing strategy token: intree-probe
37.01/33.54	c (29,0) c [scc] new: 0 BP 0M T: 0.01
37.01/33.57	c (29,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 1M T: 0.03
37.31/33.80	c (29,0) c [intree] Set 34 vars hyper-added: 384 trans-irred::452 trans-red::55 T: 0.23 T-out: N T-r: 98.94%
37.71/34.26	c (30,0) c --> Executing strategy token: probe
37.71/34.26	c (30,0) c --> Executing strategy token: sub-str-cls-with-bin
37.71/34.26	c (30,0) c [distill] cache-based irred--  cl tried   339938 cl-sh     0 cl-rem 5246 lit-rem      0 T: 0.37 T-out: Y
37.71/34.26	c (30,0) c [distill] cache-based   red--  cl tried    23514 cl-sh   191 cl-rem   58 lit-rem    205 T: 0.07 T-out: N
38.81/35.36	c (31,0) c --> Executing strategy token: distill-cls
38.81/35.36	c (31,0) c [distill] long cls tried: 1567/477700 cl-short:304 lit-r:53 T: 1.10 T-out: Y T-r: -0.13%
38.81/35.36	c (31,0) c [distill] long useful: 608/3134/955506 lits-rem: 106 0-depth-assigns: 0 T: 2.20 T-out: Y
38.81/35.37	c (31,0) c --> Executing strategy token: scc-vrepl
38.81/35.37	c (31,0) c [scc] new: 2303 BP 0M T: 0.01
38.91/35.47	c (31,0) c [vrep] vars 1469 lits 131364 rem-bin-cls 6095 rem-long-cls 759 BP 2M T: 0.10
38.91/35.49	c (31,0) c --> Executing strategy token: sub-impl
38.91/35.49	c (31,0) c [impl sub] bin: 55 T: 0.02 T-out: N w-visit: 52760
39.01/35.50	c (31,0) c --> Executing strategy token: str-impl
39.01/35.50	c (31,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.01 T-out: N T-r: 99.58% w-visit: 52760
39.01/35.52	c (31,0) c --> Executing strategy token: sub-impl
39.01/35.52	c (31,0) c [impl sub] bin: 0 T: 0.02 T-out: N w-visit: 52760
39.01/35.57	c (31,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
39.01/35.57	c (31,0) c [occ] mem usage for occur     45 MB
39.13/35.68	c (31,0) c [occ] mem usage for occur      4 MB
39.23/35.74	c (31,0) c Mem for watch alloc      : 37          MB (42.63     %)
39.23/35.74	c (31,0) c Mem for watch array      : 1           MB (1.36      %)
39.23/35.77	c (31,0) c --> Executing OCC strategy token: occ-backw-sub-str
39.23/35.77	c (31,0) c [occ-backw-sub-str-long-w-bins] subs: 21336 str: 190 tried: 52823 0-depth ass: 0 T: 0.03 T-out: N T-r: 98.81%
39.72/36.21	c (32,0) c [occ-sub-long-w-long] rem cl: 612 tried: 1073306/536653 (200.0%) T: 0.44 T-out: N T-r: 46.06%
40.53/37.10	c (32,0) c [occ-sub-str-long-w-long] sub: 2 str: 184 tried: 1609959/536653 (300.0)  T: 0.89 T-out: N T-r: 40.04%
40.63/37.12	c (32,0) c --> Executing OCC strategy token: occ-clean-implicit
40.63/37.12	c (32,0) c --> Executing OCC strategy token: occ-bve
40.63/37.12	c (32,0) c [occ-empty-res] Empty resolvent elimed: 0 T: 0.02 T-out: N
41.72/38.23	c (34,0) c [occ-bve] iter v-elim 765
41.72/38.23	c (34,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=0)
41.72/38.24	c (34,0) c Reduced to 23359 vars, 480491 cls (grow=0)
42.02/38.59	c (34,0) c [occ-bve] iter v-elim 0
42.02/38.59	c (34,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=8)
42.13/38.60	c (34,0) c Reduced to 23359 vars, 480491 cls (grow=8)
42.43/38.98	c (34,0) c [occ-bve] iter v-elim 1
42.43/38.98	c (34,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=16)
42.43/38.99	c (34,0) c Reduced to 23358 vars, 480506 cls (grow=16)
42.43/38.99	c (34,0) c x n vars       : 23358
42.43/38.99	c (34,0) c  #try to eliminate:    94K
42.43/38.99	c (34,0) c  #var-elim        :    766
42.43/38.99	c (34,0) c  #T-o: N
42.43/38.99	c (34,0) c  #T-r: 99.80%
42.43/38.99	c (34,0) c  #T  : 1.87
42.43/38.99	c (34,0) c [occur] 0.18 is overhead
42.43/38.99	c (34,0) c [occur] link-in T: 0.18 cleanup T: 0.00
42.43/38.99	c (34,0) c --> Executing OCC strategy token: occ-bva
42.43/38.99	c (34,0) c [occ-bva] global numcalls: 0
42.55/39.05	c (34,0) c --> Executing OCC strategy token: occ-ternary-res
42.55/39.05	c (34,0) c --> Executing OCC strategy token: occ-xor
42.55/39.05	c (34,0) c [occ-xor] sort occur list T: 0.06
43.14/39.67	c (35,0) c [occ-xor] found      0 T: 0.68 T-out: N T-r: 90.52%
43.14/39.67	c (35,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
43.33/39.82	c (35,0) c --> Executing strategy token: cl-consolidate
43.33/39.82	c (35,0) c [mem] consolidate  old-sz:    35M new-sz:  19502K new bits offs: 0 T: 0.03
43.33/39.83	c (35,0) c --> Executing strategy token: str-impl
43.33/39.83	c (35,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.01 T-out: N T-r: 99.63% w-visit: 52760
43.73/40.20	c (35,0) c --> Executing strategy token: cache-clean
43.73/40.20	c (35,0) c --> Executing strategy token: sub-str-cls-with-bin
43.73/40.20	c (35,0) c [distill] cache-based irred--  cl tried   427092 cl-sh     0 cl-rem   12 lit-rem      0 T: 0.33 T-out: Y
43.73/40.20	c (35,0) c [distill] cache-based   red--  cl tried     7370 cl-sh     4 cl-rem    0 lit-rem      4 T: 0.02 T-out: N
44.83/41.38	c (37,0) c --> Executing strategy token: distill-cls
44.83/41.38	c (37,0) c [distill] long cls tried: 1696/455589 cl-short:283 lit-r:6 T: 1.18 T-out: Y T-r: -0.10%
44.83/41.38	c (37,0) c [distill] long useful: 566/3392/911190 lits-rem: 12 0-depth-assigns: 0 T: 2.35 T-out: Y
44.83/41.38	c (37,0) c --> Executing strategy token: scc-vrepl
44.83/41.38	c (37,0) c [scc] new: 0 BP 0M T: 0.01
44.83/41.38	c (37,0) c --> Executing strategy token: check-cache-size
44.83/41.38	c (37,0) c --> Executing strategy token: renumber
44.83/41.38	c (37,0) c --> Executing strategy token: sls
44.83/41.38	c (37,0) c [consolidate] mini T: 0.00
44.83/41.38	c (37,0) c global_timeout_multiplier: 4.40
44.94/41.40	c (37,0) c clause size stats. size3: 349042 size4: 737 size5: 105793 larger: 17
46.25/42.76	c (38,0) c   luby     0   412   73K   23358  455K   24K    3.47    3.39  3713  2439  4107   169   14.94   14.73
47.45/43.97	c (39,0) c ------- FINAL TOTAL SEARCH STATS ---------
47.45/43.97	c (39,0) c UIP search time          : 31.22       (79.31     % time)
47.45/43.97	c (39,0) c restarts                 : 425         (180.93    confls per restart)
47.45/43.97	c (39,0) c blocked restarts         : 62          (0.15      per normal restart)
47.45/43.97	c (39,0) c time                     : 31.22       
47.45/43.97	c (39,0) c decisions                : 159522      (0.00      % random)
47.45/43.97	c (39,0) c propagations             : 138606173   
47.45/43.98	c (39,0) c decisions/conflicts      : 2.07        
47.45/43.98	c (39,0) c conflicts                : 76894       (2463.18   / sec)
47.45/43.98	c (39,0) c conf lits non-minim      : 3265646     (42.47     lit/confl)
47.45/43.98	c (39,0) c conf lits final          : 26.26       
47.45/43.98	c (39,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
47.45/43.98	c (39,0) c red which0               : 1596        (2.08      % of confl)
47.45/43.98	c (39,0) c props/decision           : 0.00        
47.45/43.98	c (39,0) c props/conflict           : 0.00        
47.45/43.98	c (39,0) c 0-depth assigns          : 60          (0.23      % vars)
47.45/43.98	c (39,0) c 0-depth assigns by CNF   : 0           (0.00      % vars)
47.45/43.98	c (39,0) c reduceDB time            : 0.02        (0.05      % time)
47.45/43.98	c (39,0) c OccSimplifier time       : 2.29        (5.82      % time)
47.45/43.98	c (39,0) c [occur] 0.29 is overhead
47.45/43.98	c (39,0) c [occur] link-in T: 0.18 cleanup T: 0.11
47.45/43.98	c (39,0) c [occ-substr] long subBySub: 612 subByStr: 2 lits-rem-str: 568 T: 1.33
47.45/43.98	c (39,0) c SCC time                 : 0.03        (0.07      % time)
47.45/43.98	c (39,0) c [scc] new: 3741 BP 1M  T: 0.03
47.45/43.98	c (39,0) c vrep replace time        : 0.20        (0.51      % time)
47.45/43.98	c (39,0) c vrep tree roots          : 24          
47.45/43.98	c (39,0) c vrep trees' crown        : 2196        (91.50     leafs/tree)
47.45/43.98	c (39,0) c distill time             : 12.68       (32.23     % time)
47.45/43.98	c (39,0) c strength cache-irred time: 0.70        (1.78      % time)
47.45/43.98	c (39,0) c strength cache-red time  : 0.09        (0.24      % time)
47.45/43.98	c (39,0) c Conflicts in UIP         : 76894       (1953.59   confl/time_this_thread)
47.45/43.98	c (39,0) c Mem used                 : 97.90       MB
47.45/43.98	c (39,0) c Total time (this thread) : 39.36       
47.45/43.98	c (39,0) s SATISFIABLE
47.61/44.10	c (39,0) SatSolver.solve End
47.61/44.10	c (39,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
47.61/44.10	c (39,0) Show results Begin
48.27/44.20	c (39,0) x[0] = 391
48.27/44.20	c (39,0) x[1] = 338
48.27/44.20	c (39,0) x[2] = 391
48.27/44.20	c (39,0) x[3] = 378
48.27/44.20	c (39,0) x[4] = 378
48.27/44.20	c (39,0) x[5] = 397
48.27/44.20	c (39,0) x[6] = 346
48.27/44.20	c (39,0) x[7] = 263
48.27/44.20	c (39,0) x[8] = 156
48.27/44.20	c (39,0) x[9] = 246
48.27/44.20	c (39,0) x[10] = 205
48.27/44.20	c (39,0) x[11] = 346
48.27/44.20	c (39,0) x[12] = 338
48.27/44.20	c (39,0) x[13] = 300
48.27/44.20	c (39,0) x[14] = 246
48.27/44.20	c (39,0) x[15] = 246
48.27/44.20	c (39,0) x[16] = 156
48.27/44.20	c (39,0) x[17] = 263
48.27/44.20	c (39,0) x[18] = 0
48.27/44.20	c (39,0) x[19] = 422
48.27/44.20	c (39,0) x[20] = 205
48.27/44.20	c (39,0) x[21] = 0
48.27/44.20	c (39,0) x[22] = 401
48.27/44.20	c (39,0) x[23] = 391
48.27/44.20	c (39,0) x[24] = 0
48.27/44.20	c (39,0) y[0] = 179
48.27/44.20	c (39,0) y[1] = 84
48.27/44.20	c (39,0) y[2] = 401
48.27/44.20	c (39,0) y[3] = 179
48.27/44.20	c (39,0) y[4] = 160
48.27/44.20	c (39,0) y[5] = 160
48.27/44.20	c (39,0) y[6] = 160
48.27/44.20	c (39,0) y[7] = 246
48.27/44.20	c (39,0) y[8] = 353
48.27/44.20	c (39,0) y[9] = 192
48.27/44.21	c (39,0) y[10] = 353
48.27/44.21	c (39,0) y[11] = 84
48.27/44.21	c (39,0) y[12] = 0
48.27/44.21	c (39,0) y[13] = 192
48.27/44.21	c (39,0) y[14] = 0
48.27/44.21	c (39,0) y[15] = 92
48.27/44.21	c (39,0) y[16] = 246
48.27/44.21	c (39,0) y[17] = 283
48.27/44.21	c (39,0) y[18] = 246
48.27/44.21	c (39,0) y[19] = 0
48.27/44.21	c (39,0) y[20] = 411
48.27/44.21	c (39,0) y[21] = 402
48.27/44.21	c (39,0) y[22] = 401
48.27/44.21	c (39,0) y[23] = 185
48.27/44.21	c (39,0) y[24] = 0
48.27/44.21	s SATISFIABLE
48.27/44.21	v <instantiation>
48.27/44.21	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>
48.27/44.21	v     <values>391 338 391 378 378 397 346 263 156 246 205 346 338 300 246 246 156 263 0 422 205 0 401 391 0 179 84 401 179 160 160 160 246 353 192 353 84 0 192 0 92 246 283 246 0 411 402 401 185 0</values>
48.27/44.21	v </instantiation>
48.27/44.21	c (40,0) Show results End
48.27/44.21	c (40,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
48.27/44.21	c (40,0) 39,40,STOP-AFTER(ALL)
48.27/44.21	c END-Prog: Thu Sep 12 14:38:19 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 (15316 MiB free)
  memory of node 1: 16384 MiB (15293 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387894-1568291895/watcher-4387894-1568291895 -o /tmp/evaluation-result-4387894-1568291895/solver-4387894-1568291895 -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-4387894-1568291895.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
solver pid=2748, runsolver pid=2745
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 2.05 2.04 2.05 4/234 2765
/proc/meminfo: memFree=31283932/32770624 swapFree=66999580/67108860
[pid=2748] ppid=2745 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/2748/stat : 2748 (scop.sh) S 2745 2748 31842 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405103535 115843072 349 33554432000 4194304 5098028 140728786119136 140728786116392 139670490100348 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16068608 140728786121571 140728786121840 140728786121840 140728786124749 0
/proc/2748/statm: 28282 349 296 221 0 87 0
[pid=2751] ppid=2748 vsize=15012696 memory=72284 CPUtime=0.11 cores=0,2,4,6
/proc/2751/stat : 2751 (java) S 2748 2748 31842 0 -1 1077944320 6805 0 0 0 9 2 0 0 20 0 15 0 405103535 15373000704 18071 33554432000 4194304 4196468 140733814158144 140733814140688 140152822423287 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
/proc/2751/statm: 3753174 18071 2906 1 0 3715579 0
[pid=2751/tid=2752] ppid=2748 vsize=15012696 memory=-7812800577974661515 CPUtime=0.08 cores=0,2,4,6
/proc/2751/task/2752/stat : 2752 (java) R 2748 2748 31842 0 -1 4202560 4698 0 0 0 7 1 0 0 20 0 15 0 405103535 15373000704 18136 33554432000 4194304 4196468 140733814158144 140152794217192 140152806503774 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2753] ppid=2748 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2753/stat : 2753 (java) S 2748 2748 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405103537 15373000704 18136 33554432000 4194304 4196468 140733814158144 140152826665232 140152822433493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2754] ppid=2748 vsize=15012696 memory=139764168382080 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2754/stat : 2754 (java) S 2748 2748 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405103537 15373000704 18136 33554432000 4194304 4196468 140733814158144 140152640821648 140152822433493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2755] ppid=2748 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2755/stat : 2755 (java) S 2748 2748 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405103537 15373000704 18202 33554432000 4194304 4196468 140733814158144 140152639769104 140152822433493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2756] ppid=2748 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2756/stat : 2756 (java) S 2748 2748 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405103537 15373000704 18202 33554432000 4194304 4196468 140733814158144 140152638716560 140152822433493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2757] ppid=2748 vsize=15012696 memory=139764168382080 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2757/stat : 2757 (java) S 2748 2748 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405103538 15373000704 18202 33554432000 4194304 4196468 140733814158144 140151860013552 140152822434434 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2758] ppid=2748 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2758/stat : 2758 (java) S 2748 2748 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405103539 15373000704 18202 33554432000 4194304 4196468 140733814158144 140151359530400 140152822433493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2759] ppid=2748 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2759/stat : 2759 (java) S 2748 2748 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405103539 15373000704 18202 33554432000 4194304 4196468 140733814158144 140151091095024 140152822433493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2760] ppid=2748 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2760/stat : 2760 (java) S 2748 2748 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405103541 15373000704 18202 33554432000 4194304 4196468 140733814158144 140150716586704 140152822441883 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2761] ppid=2748 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2761/stat : 2761 (java) S 2748 2748 31842 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 405103541 15373000704 18202 33554432000 4194304 4196468 140733814158144 140151858960368 140152822434434 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2762] ppid=2748 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2762/stat : 2762 (java) S 2748 2748 31842 0 -1 1077944384 405 0 0 0 0 0 0 0 20 0 15 0 405103541 15373000704 18202 33554432000 4194304 4196468 140733814158144 140151857907824 140152822434434 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2763] ppid=2748 vsize=15012696 memory=139764168382080 CPUtime=0.01 cores=0,2,4,6
/proc/2751/task/2763/stat : 2763 (java) R 2748 2748 31842 0 -1 4202560 458 0 0 0 1 0 0 0 20 0 15 0 405103541 15373000704 18202 33554432000 4194304 4196468 140733814158144 140151856852040 140152814660414 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2764] ppid=2748 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2764/stat : 2764 (java) S 2748 2748 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405103542 15373000704 18202 33554432000 4194304 4196468 140733814158144 140150218680928 140152822433493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2765] ppid=2748 vsize=15012696 memory=139764168382080 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2765/stat : 2765 (java) S 2748 2748 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405103542 15373000704 18202 33554432000 4194304 4196468 140733814158144 140151855803184 140152822434434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 73680 KiB

[startup+0.211075 s]*
/proc/loadavg: 2.05 2.04 2.05 3/234 2765
/proc/meminfo: memFree=31262628/32770624 swapFree=66999580/67108860
[pid=2748] ppid=2745 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/2748/stat : 2748 (scop.sh) S 2745 2748 31842 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405103535 115843072 349 33554432000 4194304 5098028 140728786119136 140728786116392 139670490100348 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16068608 140728786121571 140728786121840 140728786121840 140728786124749 0
/proc/2748/statm: 28282 349 296 221 0 87 0
[pid=2751] ppid=2748 vsize=15012696 memory=87908 CPUtime=0.25 cores=0,2,4,6
/proc/2751/stat : 2751 (java) S 2748 2748 31842 0 -1 1077944320 12039 0 0 0 21 4 0 0 20 0 15 0 405103535 15373000704 21977 33554432000 4194304 4196468 140733814158144 140733814140688 140152822423287 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
/proc/2751/statm: 3753174 21977 2918 1 0 3715579 0
[pid=2751/tid=2752] ppid=2748 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/2751/task/2752/stat : 2752 (java) R 2748 2748 31842 0 -1 4202560 9782 0 0 0 17 3 0 0 20 0 15 0 405103535 15373000704 22042 33554432000 4194304 4196468 140733814158144 140152794245824 140152806503774 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2753] ppid=2748 vsize=15012696 memory=539 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2753/stat : 2753 (java) S 2748 2748 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405103537 15373000704 22042 33554432000 4194304 4196468 140733814158144 140152826665232 140152822433493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2754] ppid=2748 vsize=15012696 memory=139764168406406 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2754/stat : 2754 (java) S 2748 2748 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405103537 15373000704 22042 33554432000 4194304 4196468 140733814158144 140152640821648 140152822433493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2755] ppid=2748 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2755/stat : 2755 (java) S 2748 2748 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405103537 15373000704 22042 33554432000 4194304 4196468 140733814158144 140152639769104 140152822433493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2756] ppid=2748 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2756/stat : 2756 (java) S 2748 2748 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405103537 15373000704 22042 33554432000 4194304 4196468 140733814158144 140152638716560 140152822433493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2757] ppid=2748 vsize=15012696 memory=139764168382080 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2757/stat : 2757 (java) S 2748 2748 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405103538 15373000704 22042 33554432000 4194304 4196468 140733814158144 140151860013552 140152822434434 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2758] ppid=2748 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2758/stat : 2758 (java) S 2748 2748 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405103539 15373000704 22042 33554432000 4194304 4196468 140733814158144 140151359530400 140152822433493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2759] ppid=2748 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2759/stat : 2759 (java) S 2748 2748 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405103539 15373000704 22042 33554432000 4194304 4196468 140733814158144 140151091095024 140152822433493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2760] ppid=2748 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2760/stat : 2760 (java) S 2748 2748 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405103541 15373000704 22042 33554432000 4194304 4196468 140733814158144 140150716586704 140152822441883 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2761] ppid=2748 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2761/stat : 2761 (java) R 2748 2748 31842 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 405103541 15373000704 22042 33554432000 4194304 4196468 140733814158144 140151858960368 140152822434434 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2762] ppid=2748 vsize=15012696 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/2751/task/2762/stat : 2762 (java) S 2748 2748 31842 0 -1 1077944384 415 0 0 0 1 0 0 0 20 0 15 0 405103541 15373000704 22042 33554432000 4194304 4196468 140733814158144 140151857907824 140152822434434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2763] ppid=2748 vsize=15012696 memory=139764168382080 CPUtime=0.02 cores=0,2,4,6
/proc/2751/task/2763/stat : 2763 (java) S 2748 2748 31842 0 -1 1077944384 466 0 0 0 2 0 0 0 20 0 15 0 405103541 15373000704 22042 33554432000 4194304 4196468 140733814158144 140151856855280 140152822434434 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2764] ppid=2748 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2764/stat : 2764 (java) S 2748 2748 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405103542 15373000704 22042 33554432000 4194304 4196468 140733814158144 140150218680928 140152822433493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2765] ppid=2748 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2765/stat : 2765 (java) S 2748 2748 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405103542 15373000704 22042 33554432000 4194304 4196468 140733814158144 140151855803184 140152822434434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89304 KiB

[startup+0.310568 s]*
/proc/loadavg: 2.05 2.04 2.05 4/234 2765
/proc/meminfo: memFree=31259356/32770624 swapFree=66999580/67108860
[pid=2748] ppid=2745 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/2748/stat : 2748 (scop.sh) S 2745 2748 31842 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405103535 115843072 349 33554432000 4194304 5098028 140728786119136 140728786116392 139670490100348 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16068608 140728786121571 140728786121840 140728786121840 140728786124749 0
/proc/2748/statm: 28282 349 296 221 0 87 0
[pid=2751] ppid=2748 vsize=15012696 memory=91860 CPUtime=0.44 cores=0,2,4,6
/proc/2751/stat : 2751 (java) S 2748 2748 31842 0 -1 1077944320 12555 0 0 0 39 5 0 0 20 0 15 0 405103535 15373000704 22965 33554432000 4194304 4196468 140733814158144 140733814140688 140152822423287 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
/proc/2751/statm: 3753174 22965 3031 1 0 3715579 0
[pid=2751/tid=2752] ppid=2748 vsize=15012696 memory=6935054825532540783 CPUtime=0.29 cores=0,2,4,6
/proc/2751/task/2752/stat : 2752 (java) R 2748 2748 31842 0 -1 4202560 10084 0 0 0 26 3 0 0 20 0 15 0 405103535 15373000704 22965 33554432000 4194304 4196468 140733814158144 140152794245968 140152802699176 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2753] ppid=2748 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2753/stat : 2753 (java) S 2748 2748 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405103537 15373000704 22965 33554432000 4194304 4196468 140733814158144 140152826665232 140152822433493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2754] ppid=2748 vsize=15012696 memory=-2893623298589923098 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2754/stat : 2754 (java) S 2748 2748 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405103537 15373000704 22965 33554432000 4194304 4196468 140733814158144 140152640821648 140152822433493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2755] ppid=2748 vsize=15012696 memory=4206186544037388384 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2755/stat : 2755 (java) S 2748 2748 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405103537 15373000704 22965 33554432000 4194304 4196468 140733814158144 140152639769104 140152822433493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2756] ppid=2748 vsize=15012696 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2756/stat : 2756 (java) S 2748 2748 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405103537 15373000704 22965 33554432000 4194304 4196468 140733814158144 140152638716560 140152822433493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2757] ppid=2748 vsize=15012696 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2757/stat : 2757 (java) S 2748 2748 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405103538 15373000704 22965 33554432000 4194304 4196468 140733814158144 140151860013552 140152822434434 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2758] ppid=2748 vsize=15012696 memory=-6654736624941490777 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2758/stat : 2758 (java) S 2748 2748 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405103539 15373000704 22965 33554432000 4194304 4196468 140733814158144 140151359530400 140152822433493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2759] ppid=2748 vsize=15012696 memory=5863793785810542651 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2759/stat : 2759 (java) S 2748 2748 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405103539 15373000704 22965 33554432000 4194304 4196468 140733814158144 140151091095024 140152822433493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2760] ppid=2748 vsize=15012696 memory=6944656592455350634 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2760/stat : 2760 (java) S 2748 2748 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405103541 15373000704 22965 33554432000 4194304 4196468 140733814158144 140150716586704 140152822441883 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2761] ppid=2748 vsize=15012696 memory=-8918990855134196790 CPUtime=0.01 cores=0,2,4,6
/proc/2751/task/2761/stat : 2761 (java) S 2748 2748 31842 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 15 0 405103541 15373000704 22965 33554432000 4194304 4196468 140733814158144 140151858960368 140152822434434 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2762] ppid=2748 vsize=15012696 memory=3047711553320166262 CPUtime=0.03 cores=0,2,4,6
/proc/2751/task/2762/stat : 2762 (java) S 2748 2748 31842 0 -1 1077944384 527 0 0 0 3 0 0 0 20 0 15 0 405103541 15373000704 22965 33554432000 4194304 4196468 140733814158144 140151857907824 140152822434434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2763] ppid=2748 vsize=15012696 memory=-8412656567251072666 CPUtime=0.07 cores=0,2,4,6
/proc/2751/task/2763/stat : 2763 (java) S 2748 2748 31842 0 -1 1077944384 512 0 0 0 7 0 0 0 20 0 15 0 405103541 15373000704 22965 33554432000 4194304 4196468 140733814158144 140151856855280 140152822434434 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2764] ppid=2748 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2764/stat : 2764 (java) S 2748 2748 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405103542 15373000704 22965 33554432000 4194304 4196468 140733814158144 140150218680928 140152822433493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2765] ppid=2748 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2765/stat : 2765 (java) S 2748 2748 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405103542 15373000704 22965 33554432000 4194304 4196468 140733814158144 140151855803184 140152822434434 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93256 KiB

[startup+0.700787 s]
/proc/loadavg: 2.05 2.04 2.05 3/234 2765
/proc/meminfo: memFree=31238264/32770624 swapFree=66999580/67108860
[pid=2748] ppid=2745 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/2748/stat : 2748 (scop.sh) S 2745 2748 31842 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405103535 115843072 349 33554432000 4194304 5098028 140728786119136 140728786116392 139670490100348 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16068608 140728786121571 140728786121840 140728786121840 140728786124749 0
/proc/2748/statm: 28282 349 296 221 0 87 0
[pid=2751] ppid=2748 vsize=15021092 memory=130440 CPUtime=1.01 cores=0,2,4,6
/proc/2751/stat : 2751 (java) S 2748 2748 31842 0 -1 1077944320 20473 0 0 0 94 7 0 0 20 0 15 0 405103535 15381598208 32610 33554432000 4194304 4196468 140733814158144 140733814140688 140152822423287 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
/proc/2751/statm: 3755273 32610 3208 1 0 3716603 0
[pid=2751/tid=2752] ppid=2748 vsize=15021092 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/2751/task/2752/stat : 2752 (java) R 2748 2748 31842 0 -1 4202560 17469 0 0 0 63 5 0 0 20 0 15 0 405103535 15381598208 32610 33554432000 4194304 4196468 140733814158144 140152794244704 140152806466917 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2753] ppid=2748 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2753/stat : 2753 (java) S 2748 2748 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405103537 15381598208 32610 33554432000 4194304 4196468 140733814158144 140152826665232 140152822433493 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2754] ppid=2748 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2754/stat : 2754 (java) S 2748 2748 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405103537 15381598208 32610 33554432000 4194304 4196468 140733814158144 140152640821648 140152822433493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2755] ppid=2748 vsize=15021092 memory=1294 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2755/stat : 2755 (java) S 2748 2748 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405103537 15381598208 32610 33554432000 4194304 4196468 140733814158144 140152639769104 140152822433493 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2756] ppid=2748 vsize=15021092 memory=293044755 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2756/stat : 2756 (java) S 2748 2748 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405103537 15381598208 32610 33554432000 4194304 4196468 140733814158144 140152638716560 140152822433493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2757] ppid=2748 vsize=15021092 memory=2372 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2757/stat : 2757 (java) S 2748 2748 31842 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405103538 15381598208 32610 33554432000 4194304 4196468 140733814158144 140151860013552 140152822434434 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2758] ppid=2748 vsize=15021092 memory=180 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2758/stat : 2758 (java) S 2748 2748 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405103539 15381598208 32610 33554432000 4194304 4196468 140733814158144 140151359530400 140152822433493 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2759] ppid=2748 vsize=15021092 memory=13918 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2759/stat : 2759 (java) S 2748 2748 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405103539 15381598208 32610 33554432000 4194304 4196468 140733814158144 140151091095024 140152822433493 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2760] ppid=2748 vsize=15021092 memory=2925500 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2760/stat : 2760 (java) S 2748 2748 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405103541 15381598208 32610 33554432000 4194304 4196468 140733814158144 140150716586704 140152822441883 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2761] ppid=2748 vsize=15021092 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/2751/task/2761/stat : 2761 (java) R 2748 2748 31842 0 -1 4202560 295 0 0 0 6 0 0 0 20 0 15 0 405103541 15381598208 32610 33554432000 4194304 4196468 140733814158144 140151858950752 140152805822470 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2762] ppid=2748 vsize=15021092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/2751/task/2762/stat : 2762 (java) S 2748 2748 31842 0 -1 1077944384 746 0 0 0 9 0 0 0 20 0 15 0 405103541 15381598208 32610 33554432000 4194304 4196468 140733814158144 140151857907824 140152822434434 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2763] ppid=2748 vsize=15021092 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/2751/task/2763/stat : 2763 (java) R 2748 2748 31842 0 -1 4202560 628 0 0 0 15 0 0 0 20 0 15 0 405103541 15381598208 32610 33554432000 4194304 4196468 140733814158144 140151856855280 140152806503774 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2764] ppid=2748 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2764/stat : 2764 (java) S 2748 2748 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405103542 15381598208 32610 33554432000 4194304 4196468 140733814158144 140150218680928 140152822433493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
[pid=2751/tid=2765] ppid=2748 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2751/task/2765/stat : 2765 (java) S 2748 2748 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405103542 15381598208 32610 33554432000 4194304 4196468 140733814158144 140151855803184 140152822434434 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140733814162218 140733814162586 140733814162586 140733814165455 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 131836 KiB

[startup+1.50072 s]
/proc/loadavg: 2.05 2.04 2.05 4/234 2765
/proc/meminfo: memFree=31212644/32770624 swapFree=66999580/67108860
[pid=2748] ppid=2745 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/2748/stat : 2748 (scop.sh) S 2745 2748 31842 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405103535 115843072 349 33554432000 4194304 5098028 140728786119136 140728786116392 139670490100348 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16068608 140728786121571 140728786121840 140728786121840 140728786124749 0
/proc/2748/statm: 28282 349 296 221 0 87 0

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

/proc/2766/task/2782/stat : 2782 (java) S 2748 2748 31842 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405103989 8262082560 29726 33554432000 4194304 4196468 140728674471344 140175787484608 140176337370905 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2784] ppid=2748 vsize=8068440 memory=81168 CPUtime=0.01 cores=0,2,4,6
/proc/2766/task/2784/stat : 2784 (java) S 2748 2748 31842 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 405103989 8262082560 29726 33554432000 4194304 4196468 140728674471344 140173505441776 140176337368221 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2785] ppid=2748 vsize=8068440 memory=79112 CPUtime=0 cores=0,2,4,6
/proc/2766/task/2785/stat : 2785 (java) S 2748 2748 31842 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405103989 8262082560 29726 33554432000 4194304 4196468 140728674471344 140173639662992 140176337368221 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2786] ppid=2748 vsize=8068440 memory=912 CPUtime=0 cores=0,2,4,6
/proc/2766/task/2786/stat : 2786 (java) S 2748 2748 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405103991 8262082560 29726 33554432000 4194304 4196468 140728674471344 140173237017520 140176337356501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
Current children cumulated CPU time: 45.14 s
Current children cumulated vsize: 8306084 KiB
Current children cumulated memory: 218452 KiB

[startup+43.201 s]
/proc/loadavg: 2.03 2.03 2.05 3/239 2788
/proc/meminfo: memFree=31124484/32770624 swapFree=66999580/67108860
[pid=2748] ppid=2745 vsize=113128 memory=1476 CPUtime=6.91 cores=0,2,4,6
/proc/2748/stat : 2748 (scop.sh) S 2745 2748 31842 0 -1 4202496 583 27169 0 0 0 0 650 41 20 0 1 0 405103535 115843072 369 33554432000 4194304 5098028 140728786119136 140728786115880 139670490100348 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16068608 140728786121571 140728786121840 140728786121840 140728786124749 0
/proc/2748/statm: 28282 369 311 221 0 87 0
[pid=2766] ppid=2748 vsize=8068440 memory=118904 CPUtime=1.18 cores=0,2,4,6
/proc/2766/stat : 2766 (java) S 2748 2748 31842 0 -1 1077944320 20623 0 0 0 110 8 0 0 20 0 19 0 405103917 8262082560 29726 33554432000 4194304 4196468 140728674471344 140728674453888 140176337346295 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
/proc/2766/statm: 2017110 29726 3197 1 0 1978454 0
[pid=2781] ppid=2766 vsize=134092 memory=100252 CPUtime=38.66 cores=0,2,4,6
/proc/2781/stat : 2781 (cryptominisat5) R 2766 2748 31842 0 -1 4202496 74676 0 0 0 3858 8 0 0 20 0 1 0 405103989 137310208 25063 33554432000 4194304 4451008 140735226200080 140735226196008 140198926185253 0 4 0 2 0 0 0 17 4 0 0 0 0 0 6549032 6559120 17080320 140735226209213 140735226209344 140735226209344 140735226212294 0
/proc/2781/statm: 33523 25063 733 63 0 27250 0
[pid=2766/tid=2767] ppid=2748 vsize=8068440 memory=1476 CPUtime=0.74 cores=0,2,4,6
/proc/2766/task/2767/stat : 2767 (java) S 2748 2748 31842 0 -1 1077944384 17235 0 0 0 69 5 0 0 20 0 19 0 405103918 8262082560 29726 33554432000 4194304 4196468 140728674471344 140176309186464 140176337356501 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2768] ppid=2748 vsize=8068440 memory=-3622645143214314312 CPUtime=0 cores=0,2,4,6
/proc/2766/task/2768/stat : 2768 (java) S 2748 2748 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405103919 8262082560 29726 33554432000 4194304 4196468 140728674471344 140176341588368 140176337356501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2769] ppid=2748 vsize=8068440 memory=988 CPUtime=0 cores=0,2,4,6
/proc/2766/task/2769/stat : 2769 (java) S 2748 2748 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405103919 8262082560 29726 33554432000 4194304 4196468 140728674471344 140176141756688 140176337356501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2770] ppid=2748 vsize=8068440 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (java) S 2748 2748 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405103919 8262082560 29726 33554432000 4194304 4196468 140728674471344 140176140704400 140176337356501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2771] ppid=2748 vsize=8068440 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/2766/task/2771/stat : 2771 (java) S 2748 2748 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405103919 8262082560 29726 33554432000 4194304 4196468 140728674471344 140176139651600 140176337356501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2772] ppid=2748 vsize=8068440 memory=580 CPUtime=0 cores=0,2,4,6
/proc/2766/task/2772/stat : 2772 (java) S 2748 2748 31842 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405103920 8262082560 29726 33554432000 4194304 4196468 140728674471344 140175715838576 140176337357442 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2773] ppid=2748 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/2766/task/2773/stat : 2773 (java) S 2748 2748 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405103921 8262082560 29726 33554432000 4194304 4196468 140728674471344 140175183176992 140176337356501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2774] ppid=2748 vsize=8068440 memory=118904 CPUtime=0 cores=0,2,4,6
/proc/2766/task/2774/stat : 2774 (java) S 2748 2748 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405103921 8262082560 29726 33554432000 4194304 4196468 140728674471344 140174914741872 140176337356501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2775] ppid=2748 vsize=8068440 memory=100252 CPUtime=0 cores=0,2,4,6
/proc/2766/task/2775/stat : 2775 (java) S 2748 2748 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405103923 8262082560 29726 33554432000 4194304 4196468 140728674471344 140174540233296 140176337364891 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2776] ppid=2748 vsize=8068440 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2766/task/2776/stat : 2776 (java) S 2748 2748 31842 0 -1 1077944384 631 0 0 0 8 0 0 0 20 0 19 0 405103923 8262082560 29726 33554432000 4194304 4196468 140728674471344 140175714785392 140176337357442 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2777] ppid=2748 vsize=8068440 memory=521 CPUtime=0.07 cores=0,2,4,6
/proc/2766/task/2777/stat : 2777 (java) S 2748 2748 31842 0 -1 1077944384 324 0 0 0 7 0 0 0 20 0 19 0 405103923 8262082560 29726 33554432000 4194304 4196468 140728674471344 140175713732592 140176337357442 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2778] ppid=2748 vsize=8068440 memory=578 CPUtime=0.21 cores=0,2,4,6
/proc/2766/task/2778/stat : 2778 (java) S 2748 2748 31842 0 -1 1077944384 1017 0 0 0 21 0 0 0 20 0 19 0 405103923 8262082560 29726 33554432000 4194304 4196468 140728674471344 140175712680304 140176337357442 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2779] ppid=2748 vsize=8068440 memory=4135 CPUtime=0 cores=0,2,4,6
/proc/2766/task/2779/stat : 2779 (java) S 2748 2748 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405103924 8262082560 29726 33554432000 4194304 4196468 140728674471344 140174042327520 140176337356501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2780] ppid=2748 vsize=8068440 memory=98072 CPUtime=0.02 cores=0,2,4,6
/proc/2766/task/2780/stat : 2780 (java) S 2748 2748 31842 0 -1 1077944384 5 0 0 0 1 1 0 0 20 0 19 0 405103924 8262082560 29726 33554432000 4194304 4196468 140728674471344 140175711628208 140176337357442 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2782] ppid=2748 vsize=8068440 memory=118904 CPUtime=0 cores=0,2,4,6
/proc/2766/task/2782/stat : 2782 (java) S 2748 2748 31842 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405103989 8262082560 29726 33554432000 4194304 4196468 140728674471344 140175787484608 140176337370905 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2784] ppid=2748 vsize=8068440 memory=98072 CPUtime=0.01 cores=0,2,4,6
/proc/2766/task/2784/stat : 2784 (java) S 2748 2748 31842 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 405103989 8262082560 29726 33554432000 4194304 4196468 140728674471344 140173505441776 140176337368221 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2785] ppid=2748 vsize=8068440 memory=14054609390058 CPUtime=0 cores=0,2,4,6
/proc/2766/task/2785/stat : 2785 (java) S 2748 2748 31842 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405103989 8262082560 29726 33554432000 4194304 4196468 140728674471344 140173639662992 140176337368221 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2786] ppid=2748 vsize=8068440 memory=279528015596576 CPUtime=0 cores=0,2,4,6
/proc/2766/task/2786/stat : 2786 (java) S 2748 2748 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405103991 8262082560 29726 33554432000 4194304 4196468 140728674471344 140173237017520 140176337356501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
Current children cumulated CPU time: 46.75 s
Current children cumulated vsize: 8315660 KiB
Current children cumulated memory: 220632 KiB

[startup+44.002 s]*
/proc/loadavg: 2.03 2.03 2.05 6/239 2788
/proc/meminfo: memFree=31124608/32770624 swapFree=66999580/67108860
[pid=2748] ppid=2745 vsize=113128 memory=1476 CPUtime=6.91 cores=0,2,4,6
/proc/2748/stat : 2748 (scop.sh) S 2745 2748 31842 0 -1 4202496 583 27169 0 0 0 0 650 41 20 0 1 0 405103535 115843072 369 33554432000 4194304 5098028 140728786119136 140728786115880 139670490100348 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16068608 140728786121571 140728786121840 140728786121840 140728786124749 0
/proc/2748/statm: 28282 369 311 221 0 87 0
[pid=2766] ppid=2748 vsize=8068440 memory=119668 CPUtime=1.26 cores=0,2,4,6
/proc/2766/stat : 2766 (java) S 2748 2748 31842 0 -1 1077944320 20877 0 0 0 117 9 0 0 20 0 19 0 405103917 8262082560 29917 33554432000 4194304 4196468 140728674471344 140728674453888 140176337346295 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
/proc/2766/statm: 2017110 29917 3201 1 0 1978454 0
[pid=2781] ppid=2766 vsize=134092 memory=100252 CPUtime=39.44 cores=0,2,4,6
/proc/2781/stat : 2781 (cryptominisat5) S 2766 2748 31842 0 -1 4202496 74686 0 0 0 3936 8 0 0 20 0 1 0 405103989 137310208 25063 33554432000 4194304 4451008 140735226200080 140735226197304 140198906948704 0 4 0 2 18446744071580971376 0 0 17 4 0 0 0 0 0 6549032 6559120 17080320 140735226209213 140735226209344 140735226209344 140735226212294 0
/proc/2781/statm: 33523 25063 733 63 0 27250 0
[pid=2766/tid=2767] ppid=2748 vsize=8068440 memory=6935054825532540783 CPUtime=0.74 cores=0,2,4,6
/proc/2766/task/2767/stat : 2767 (java) S 2748 2748 31842 0 -1 1077944384 17235 0 0 0 69 5 0 0 20 0 19 0 405103918 8262082560 29917 33554432000 4194304 4196468 140728674471344 140176309186464 140176337356501 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2768] ppid=2748 vsize=8068440 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/2766/task/2768/stat : 2768 (java) S 2748 2748 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405103919 8262082560 29917 33554432000 4194304 4196468 140728674471344 140176341588368 140176337356501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2769] ppid=2748 vsize=8068440 memory=32688 CPUtime=0 cores=0,2,4,6
/proc/2766/task/2769/stat : 2769 (java) S 2748 2748 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405103919 8262082560 29917 33554432000 4194304 4196468 140728674471344 140176141756688 140176337356501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2770] ppid=2748 vsize=8068440 memory=988 CPUtime=0 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (java) S 2748 2748 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405103919 8262082560 29917 33554432000 4194304 4196468 140728674471344 140176140704400 140176337356501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2771] ppid=2748 vsize=8068440 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/2766/task/2771/stat : 2771 (java) S 2748 2748 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405103919 8262082560 29917 33554432000 4194304 4196468 140728674471344 140176139651600 140176337356501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2772] ppid=2748 vsize=8068440 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/2766/task/2772/stat : 2772 (java) S 2748 2748 31842 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405103920 8262082560 29917 33554432000 4194304 4196468 140728674471344 140175715838576 140176337357442 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2773] ppid=2748 vsize=8068440 memory=580 CPUtime=0 cores=0,2,4,6
/proc/2766/task/2773/stat : 2773 (java) S 2748 2748 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405103921 8262082560 29917 33554432000 4194304 4196468 140728674471344 140175183176992 140176337356501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2774] ppid=2748 vsize=8068440 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/2766/task/2774/stat : 2774 (java) S 2748 2748 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405103921 8262082560 29917 33554432000 4194304 4196468 140728674471344 140174914741872 140176337356501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2775] ppid=2748 vsize=8068440 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/2766/task/2775/stat : 2775 (java) S 2748 2748 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405103923 8262082560 29917 33554432000 4194304 4196468 140728674471344 140174540233296 140176337364891 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2776] ppid=2748 vsize=8068440 memory=1476 CPUtime=0.08 cores=0,2,4,6
/proc/2766/task/2776/stat : 2776 (java) S 2748 2748 31842 0 -1 1077944384 639 0 0 0 8 0 0 0 20 0 19 0 405103923 8262082560 29917 33554432000 4194304 4196468 140728674471344 140175714785392 140176337357442 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2777] ppid=2748 vsize=8068440 memory=118904 CPUtime=0.09 cores=0,2,4,6
/proc/2766/task/2777/stat : 2777 (java) R 2748 2748 31842 0 -1 1077944384 343 0 0 0 9 0 0 0 20 0 19 0 405103923 8262082560 29917 33554432000 4194304 4196468 140728674471344 140175713732592 140176337357442 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2778] ppid=2748 vsize=8068440 memory=100252 CPUtime=0.23 cores=0,2,4,6
/proc/2766/task/2778/stat : 2778 (java) R 2748 2748 31842 0 -1 4202560 1075 0 0 0 23 0 0 0 20 0 19 0 405103923 8262082560 29917 33554432000 4194304 4196468 140728674471344 140175712680304 140176337358230 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2779] ppid=2748 vsize=8068440 memory=139764007856897 CPUtime=0 cores=0,2,4,6
/proc/2766/task/2779/stat : 2779 (java) S 2748 2748 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405103924 8262082560 29917 33554432000 4194304 4196468 140728674471344 140174042327520 140176337356501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2780] ppid=2748 vsize=8068440 memory=7302424520817076580 CPUtime=0.02 cores=0,2,4,6
/proc/2766/task/2780/stat : 2780 (java) S 2748 2748 31842 0 -1 1077944384 5 0 0 0 1 1 0 0 20 0 19 0 405103924 8262082560 29917 33554432000 4194304 4196468 140728674471344 140175711628208 140176337357442 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2782] ppid=2748 vsize=8068440 memory=6299525884506891364 CPUtime=0 cores=0,2,4,6
/proc/2766/task/2782/stat : 2782 (java) S 2748 2748 31842 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405103989 8262082560 29917 33554432000 4194304 4196468 140728674471344 140175787484608 140176337370905 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2784] ppid=2748 vsize=8068440 memory=18636 CPUtime=0.04 cores=0,2,4,6
/proc/2766/task/2784/stat : 2784 (java) R 2748 2748 31842 0 -1 4202560 204 0 0 0 4 0 0 0 20 0 19 0 405103989 8262082560 29917 33554432000 4194304 4196468 140728674471344 140173505447776 140176337358230 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2785] ppid=2748 vsize=8068440 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/2766/task/2785/stat : 2785 (java) S 2748 2748 31842 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405103989 8262082560 29917 33554432000 4194304 4196468 140728674471344 140173639662992 140176337368221 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2786] ppid=2748 vsize=8068440 memory=32688 CPUtime=0 cores=0,2,4,6
/proc/2766/task/2786/stat : 2786 (java) S 2748 2748 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405103991 8262082560 29917 33554432000 4194304 4196468 140728674471344 140173237017520 140176337356501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
Current children cumulated CPU time: 47.61 s
Current children cumulated vsize: 8315660 KiB
Current children cumulated memory: 221396 KiB

[startup+44.2009 s]
/proc/loadavg: 2.03 2.03 2.05 6/239 2788
/proc/meminfo: memFree=31124608/32770624 swapFree=66999580/67108860
[pid=2748] ppid=2745 vsize=113128 memory=1476 CPUtime=6.91 cores=0,2,4,6
/proc/2748/stat : 2748 (scop.sh) S 2745 2748 31842 0 -1 4202496 583 27169 0 0 0 0 650 41 20 0 1 0 405103535 115843072 369 33554432000 4194304 5098028 140728786119136 140728786115880 139670490100348 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16068608 140728786121571 140728786121840 140728786121840 140728786124749 0
/proc/2748/statm: 28282 369 311 221 0 87 0
[pid=2766] ppid=2748 vsize=7937364 memory=150004 CPUtime=41.36 cores=0,2,4,6
/proc/2766/stat : 2766 (java) S 2748 2748 31842 0 -1 1077944320 24501 74719 0 0 181 10 3937 8 20 0 17 0 405103917 8127860736 37501 33554432000 4194304 4196468 140728674471344 140728674453888 140176337346295 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
/proc/2766/statm: 1984341 37501 3232 1 0 1945685 0
[pid=2766/tid=2767] ppid=2748 vsize=7937364 memory=15534141617735951 CPUtime=40.29 cores=0,2,4,6
/proc/2766/task/2767/stat : 2767 (java) R 2748 2748 31842 0 -1 4202560 17516 74719 0 0 79 5 3937 8 20 0 17 0 405103918 8127860736 37501 33554432000 4194304 4196468 140728674471344 140176309184608 140175803973859 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2768] ppid=2748 vsize=7937364 memory=1808 CPUtime=39.45 cores=0,2,4,6
/proc/2766/task/2768/stat : 2768 (java) S 2748 2748 31842 0 -1 1077944384 1 74719 0 0 0 0 3937 8 20 0 17 0 405103919 8127860736 37501 33554432000 4194304 4196468 140728674471344 140176341588368 140176337356501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2769] ppid=2748 vsize=7937364 memory=924 CPUtime=39.45 cores=0,2,4,6
/proc/2766/task/2769/stat : 2769 (java) S 2748 2748 31842 0 -1 1077944384 1 74719 0 0 0 0 3937 8 20 0 17 0 405103919 8127860736 37501 33554432000 4194304 4196468 140728674471344 140176141756688 140176337356501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2770] ppid=2748 vsize=7937364 memory=3844 CPUtime=39.45 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (java) S 2748 2748 31842 0 -1 1077944384 1 74719 0 0 0 0 3937 8 20 0 17 0 405103919 8127860736 37501 33554432000 4194304 4196468 140728674471344 140176140704400 140176337356501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2771] ppid=2748 vsize=7937364 memory=6935054825532540783 CPUtime=39.45 cores=0,2,4,6
/proc/2766/task/2771/stat : 2771 (java) S 2748 2748 31842 0 -1 1077944384 2 74719 0 0 0 0 3937 8 20 0 17 0 405103919 8127860736 37501 33554432000 4194304 4196468 140728674471344 140176139651600 140176337356501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2772] ppid=2748 vsize=7937364 memory=0 CPUtime=39.45 cores=0,2,4,6
/proc/2766/task/2772/stat : 2772 (java) S 2748 2748 31842 0 -1 1077944384 7 74719 0 0 0 0 3937 8 20 0 17 0 405103920 8127860736 37501 33554432000 4194304 4196468 140728674471344 140175715838576 140176337357442 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2773] ppid=2748 vsize=7937364 memory=279528015362944 CPUtime=39.45 cores=0,2,4,6
/proc/2766/task/2773/stat : 2773 (java) S 2748 2748 31842 0 -1 1077944384 13 74719 0 0 0 0 3937 8 20 0 17 0 405103921 8127860736 37501 33554432000 4194304 4196468 140728674471344 140175183176992 140176337356501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2774] ppid=2748 vsize=7937364 memory=279528015101040 CPUtime=39.45 cores=0,2,4,6
/proc/2766/task/2774/stat : 2774 (java) S 2748 2748 31842 0 -1 1077944384 1 74719 0 0 0 0 3937 8 20 0 17 0 405103921 8127860736 37501 33554432000 4194304 4196468 140728674471344 140174914741872 140176337356501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2775] ppid=2748 vsize=7937364 memory=3552 CPUtime=39.45 cores=0,2,4,6
/proc/2766/task/2775/stat : 2775 (java) S 2748 2748 31842 0 -1 1077944384 3 74719 0 0 0 0 3937 8 20 0 17 0 405103923 8127860736 37501 33554432000 4194304 4196468 140728674471344 140174540233296 140176337364891 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2776] ppid=2748 vsize=7937364 memory=1476 CPUtime=39.71 cores=0,2,4,6
/proc/2766/task/2776/stat : 2776 (java) R 2748 2748 31842 0 -1 4202560 1460 74719 0 0 26 0 3937 8 20 0 17 0 405103923 8127860736 37501 33554432000 4194304 4196468 140728674471344 140175714765456 140176317063431 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2777] ppid=2748 vsize=7937364 memory=145765 CPUtime=39.72 cores=0,2,4,6
/proc/2766/task/2777/stat : 2777 (java) R 2748 2748 31842 0 -1 4202560 2028 74719 0 0 27 0 3937 8 20 0 17 0 405103923 8127860736 37501 33554432000 4194304 4196468 140728674471344 140175713718616 140176318868772 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2778] ppid=2748 vsize=7937364 memory=279528014348528 CPUtime=39.78 cores=0,2,4,6
/proc/2766/task/2778/stat : 2778 (java) R 2748 2748 31842 0 -1 4202560 1864 74719 0 0 33 0 3937 8 20 0 17 0 405103923 8127860736 37501 33554432000 4194304 4196468 140728674471344 140175712680304 140176321426782 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2779] ppid=2748 vsize=7937364 memory=988 CPUtime=39.45 cores=0,2,4,6
/proc/2766/task/2779/stat : 2779 (java) S 2748 2748 31842 0 -1 1077944384 3 74719 0 0 0 0 3937 8 20 0 17 0 405103924 8127860736 37501 33554432000 4194304 4196468 140728674471344 140174042327520 140176337356501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2780] ppid=2748 vsize=7937364 memory=2012 CPUtime=39.47 cores=0,2,4,6
/proc/2766/task/2780/stat : 2780 (java) S 2748 2748 31842 0 -1 1077944384 5 74719 0 0 1 1 3937 8 20 0 17 0 405103924 8127860736 37501 33554432000 4194304 4196468 140728674471344 140175711628208 140176337357442 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2782] ppid=2748 vsize=7937364 memory=1240 CPUtime=39.45 cores=0,2,4,6
/proc/2766/task/2782/stat : 2782 (java) S 2748 2748 31842 0 -1 1077944384 27 74719 0 0 0 0 3937 8 20 0 17 0 405103989 8127860736 37501 33554432000 4194304 4196468 140728674471344 140175787483792 140176337357442 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
[pid=2766/tid=2786] ppid=2748 vsize=7937364 memory=580 CPUtime=39.45 cores=0,2,4,6
/proc/2766/task/2786/stat : 2786 (java) S 2748 2748 31842 0 -1 1077944384 23 74719 0 0 0 0 3937 8 20 0 17 0 405103991 8127860736 37501 33554432000 4194304 4196468 140728674471344 140173237019312 140176337357442 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13090816 140728674477052 140728674477210 140728674477210 140728674480079 0
Current children cumulated CPU time: 48.27 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 151480 KiB

Child status: 0
Real time (s): 44.252
CPU time (s): 48.3671
CPU user time (s): 47.7523
CPU system time (s): 0.614774
CPU usage (%): 109.299
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 1996900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 47.7523
system time used= 0.614774
maximum resident set size= 1997820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127211
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6440
involuntary context switches= 83


# summary of solver processes directly reported to runsolver:
#   pid: 2748
#   total CPU time (s): 48.3671
#   total CPU user time (s): 47.7523
#   total CPU system time (s): 0.614774

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.33483 second user time and 0.529917 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-12 14:37:35
IDJOB=4387894
IDBENCH=127787
IDSOLVER=2826
FILE ID=node146/4387894-1568291895
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-199.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-4387894-1568291895/watcher-4387894-1568291895 -o /tmp/evaluation-result-4387894-1568291895/solver-4387894-1568291895 -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-4387894-1568291895.xml

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

MD5SUM BENCH= 6632ff8405f31e2dfb2c2f75c1e4c1cc
RANDOM SEED=1728909505

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:        31345384 kB
MemAvailable:   31516976 kB
Buffers:           94976 kB
Cached:           355856 kB
SwapCached:         5408 kB
Active:           627920 kB
Inactive:         214984 kB
Active(anon):     408944 kB
Inactive(anon):    20864 kB
Active(file):     218976 kB
Inactive(file):   194120 kB
Unevictable:      110908 kB
Mlocked:          110908 kB
SwapTotal:      67108860 kB
SwapFree:       66999580 kB
Dirty:             20524 kB
Writeback:             4 kB
AnonPages:        500136 kB
Mapped:            53216 kB
Shmem:             28948 kB
Slab:             177380 kB
SReclaimable:     148664 kB
SUnreclaim:        28716 kB
KernelStack:        3808 kB
PageTables:         6304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6239780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    303104 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:38:19