Trace number 4388344

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 394.418 335.84

General information on the benchmark

NameCrossword/Crossword-m1c-ogd-herald/
Crossword-m1c-ogd-h1502.xml
MD5SUMf196bcf8028f955a9b1a207c833066c3
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 benchmark0.441362
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints80
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":191}]
Minimum variable degree0
Maximum variable degree2
Distribution of variable degrees[{"degree":0,"count":34},{"degree":2,"count":191}]
Minimum constraint arity3
Maximum constraint arity15
Distribution of constraint arities[{"arity":3,"count":16},{"arity":4,"count":36},{"arity":5,"count":14},{"arity":6,"count":6},{"arity":7,"count":2},{"arity":10,"count":4},{"arity":15,"count":2}]
Number of extensional constraints80
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":80}]
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-19279-serial-file.bin HOME/instance-4388344-1568297456.xml
0.65/0.53	
0.65/0.53	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.65/0.53	
0.65/0.56	c BEGIN-Prog: Thu Sep 12 16:10:18 CEST 2019
0.65/0.56	c PID: 19282
0.65/0.56	c IP: 172.20.3.151
0.65/0.56	c HOST: node151.alineos.net
0.65/0.56	c (0,0) Parsing Begin
3.26/1.52	c (0,0) Parsing End
3.26/1.53	c (0,0) CSP: 191 int (0 aux), 0 bool (0 aux), 80 ctr, max domain size 26
3.26/1.53	c (0,0) Heap : 450 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
3.26/1.53	c (0,0) Constraint Name Generate Begin
3.26/1.54	c (1,0) Ctr:HOME/instance-4388344-1568297456.xml,ExtensionSupport:Var
3.26/1.54	c (1,0) Constraint Name Generate End
3.26/1.54	c (1,0) Heap : 450 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
3.26/1.54	c (1,0) CSP to CSPinCNF Begin
23.87/11.67	c (11,10) translated 8 (10%) constraints
33.73/19.45	c (18,18) translated 16 (20%) constraints
37.10/21.96	c (21,20) translated 24 (30%) constraints
40.25/24.86	c (24,23) translated 32 (40%) constraints
44.70/27.99	c (27,26) translated 40 (50%) constraints
47.32/30.57	c (30,29) translated 48 (60%) constraints
172.10/141.54	c (141,135) translated 56 (70%) constraints
182.98/151.58	c (151,145) translated 64 (80%) constraints
183.69/152.24	c (151,145) translated 72 (90%) constraints
221.96/188.00	c (187,180) translated 80 (100%) constraints
231.62/196.83	c (196,189) ===========================================
232.17/197.30	c (196,189) Hybrid: #OE=227553, #LE=0
232.17/197.30	c (196,189) Hybrid
232.17/197.30	c (196,189) ===========================================
236.84/201.37	c (200,193) translated 204525 (10%) constraints
242.10/205.66	c (205,197) translated 409050 (20%) constraints
246.01/209.58	c (209,201) translated 613575 (30%) constraints
250.01/213.55	c (213,205) translated 818099 (40%) constraints
255.72/217.96	c (217,209) translated 1022624 (50%) constraints
259.72/221.90	c (221,213) translated 1227149 (60%) constraints
265.09/226.16	c (225,217) translated 1431673 (70%) constraints
268.88/229.98	c (229,221) translated 1636198 (80%) constraints
273.00/234.02	c (233,225) translated 1840723 (90%) constraints
278.68/238.47	c (237,229) translated 2045247 (100%) constraints
278.68/238.47	c (237,229) CSP to CSPinCNF End
278.78/238.55	c (238,229) CSP: 191 int (0 aux), 227362 bool (227362 aux), 2045247 ctr, max domain size 26
278.78/238.55	c (238,229) Heap : 3583 MiB used (max 10873 MiB), NonHeap : 26 MiB used (max 0 MiB)
278.78/238.55	c (238,229) CSPinCNF Propagation Begin
295.23/249.00	c (248,238) 0 values, 255 unsatisfiable literals, and 142 valid clauses are removed
295.23/249.00	c (248,238) CSPinCNF Propagation End
295.35/249.07	c (248,238) CSP: 191 int (0 aux), 227362 bool (227362 aux), 2045105 ctr, max domain size 26
295.35/249.07	c (248,238) Heap : 5904 MiB used (max 10899 MiB), NonHeap : 27 MiB used (max 0 MiB)
295.86/249.56	c (249,238) Hybrid: #OE=227553, #LE=0
295.86/249.56	c (249,238) Simplify CSPinCNF Begin
302.92/254.00	c (253,242) Simplify CSPinCNF End
303.03/254.07	c (253,242) CSP: 191 int (0 aux), 227362 bool (227362 aux), 2045105 ctr, max domain size 26
303.03/254.07	c (253,242) Heap : 5444 MiB used (max 10896 MiB), NonHeap : 27 MiB used (max 0 MiB)
303.03/254.07	c (253,242) Calculate Precise Domain Begin
303.03/254.07	c (253,242) 0 values are removed by re-calculation
303.03/254.07	c (253,242) Calculate Precise Domain End
303.13/254.14	c (253,242) CSP: 191 int (0 aux), 227362 bool (227362 aux), 2045105 ctr, max domain size 26
303.13/254.14	c (253,242) Heap : 5447 MiB used (max 10896 MiB), NonHeap : 27 MiB used (max 0 MiB)
303.13/254.14	c (253,242) CSPinCNF to SatSolver Begin
310.12/257.53	c (256,245) 204511 (10 %) CSP clauses are encoded (0 SAT variables, 208947 SAT clauses)
312.05/259.46	c (258,246) 409021 (20 %) CSP clauses are encoded (0 SAT variables, 413457 SAT clauses)
315.41/261.71	c (261,248) 613532 (30 %) CSP clauses are encoded (0 SAT variables, 617968 SAT clauses)
318.30/263.83	c (263,250) 818042 (40 %) CSP clauses are encoded (0 SAT variables, 822478 SAT clauses)
320.20/265.71	c (265,252) 1022553 (50 %) CSP clauses are encoded (0 SAT variables, 1026989 SAT clauses)
323.05/267.84	c (267,254) 1227063 (60 %) CSP clauses are encoded (0 SAT variables, 1231499 SAT clauses)
324.86/269.65	c (269,256) 1431574 (70 %) CSP clauses are encoded (0 SAT variables, 1436010 SAT clauses)
327.71/271.72	c (271,258) 1636084 (80 %) CSP clauses are encoded (0 SAT variables, 1640520 SAT clauses)
330.69/273.93	c (273,260) 1840595 (90 %) CSP clauses are encoded (0 SAT variables, 1845031 SAT clauses)
332.58/275.88	c (275,261) 2045105 (100 %) CSP clauses are encoded (0 SAT variables, 2049541 SAT clauses)
332.58/275.88	c (275,261) CSPinCNF to SatSolver End
332.58/275.88	c (275,261) Heap : 6170 MiB used (max 10808 MiB), NonHeap : 29 MiB used (max 0 MiB)
332.58/275.88	c (275,261) 231990 bool, 2049542 clause
332.58/275.88	c (275,261) Export Begin
332.69/276.00	c (275,262) Export to HOME/scop-19279-serial-file.bin
332.69/276.00	c (275,262) Export End
332.69/276.00	c (275,262) Export File Size: 0.09 MB
332.69/276.00	c (275,262) 0,1,238,248,253,253,275,STOP-AFTER(DIMACS)
332.69/276.00	c END-Prog: Thu Sep 12 16:14:54 CEST 2019
332.93/276.05	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-19279-serial-file.bin
332.98/276.52	c (0,0) Read Serial File Begin
332.98/276.52	c (0,0) HOME/scop-19279-serial-file.bin
332.98/276.78	c (0,0) Read Serial File End
332.98/276.78	
332.98/276.78	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
332.98/276.78	(Solving Process)
332.98/276.78	
332.98/276.81	c BEGIN-Prog: Thu Sep 12 16:14:54 CEST 2019
332.98/276.81	c PID: 19393
332.98/276.81	c IP: 172.20.3.151
332.98/276.81	c HOST: node151.alineos.net
332.98/276.81	c (0,0) SatSolver.solve Begin
332.98/276.81	c (0,0) HOME/cryptominisat5  HOME/instance-4388344-1568297456.xml-scop-19282.cnf
332.98/276.84	c (0,0) c Outputting solution to console
332.98/276.84	c (0,0) c CryptoMiniSat version 5.6.8
332.98/276.84	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
332.98/276.84	c (0,0) c CMS SHA revision GIT-notfound
332.98/276.84	c (0,0) c CMS is MIT licensed
332.98/276.84	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
332.98/276.84	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
332.98/276.84	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388344-1568297456.xml-scop-19282.cnf
332.98/276.84	c (0,0) c Reading file 'HOME/instance-4388344-1568297456.xml-scop-19282.cnf'
332.98/276.84	c (0,0) c -- header says num vars:         231990
332.98/276.84	c (0,0) c -- header says num clauses:     2049542
335.04/277.61	c (1,0) c -- clauses added: 2049542
335.04/277.61	c (1,0) c -- xor clauses added: 0
335.04/277.61	c (1,0) c -- vars added 231990
335.04/277.61	c (1,0) c Parsing time: 0.71 s
335.13/277.78	c (1,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
335.24/277.80	c (1,0) c [distill] long cls tried: 22/21 cl-short:22 lit-r:26 T: 0.03 T-out: N T-r: 99.83%
338.95/281.58	c (5,0) c [distill] long cls tried: 573/564 cl-short:573 lit-r:5311 T: 1.14 T-out: N T-r: 94.01%
344.35/286.92	c (10,0) c [distill] long cls tried: 886/1387 cl-short:886 lit-r:6727 T: 1.69 T-out: N T-r: 90.85%
345.15/287.70	c (11,0) c   glue     1    39  8193  231990 1550K  495K    3.77    3.34  1525  2959  3074   645  115.12  106.23
352.25/294.84	c (18,0) c [distill] long cls tried: 2085/3391 cl-short:2085 lit-r:26676 T: 3.66 T-out: N T-r: 80.82%
355.96/298.53	c (22,0) c   geom     1    79 16386  231989 1550K  495K    3.77    3.34  4390  5744  5128  1163  135.24  125.80
360.66/303.23	c (26,0) c [distill] long cls tried: 1348/4648 cl-short:1348 lit-r:20047 T: 2.87 T-out: N T-r: 85.06%
365.26/307.87	c (31,0) c   glue     1   112   24K  231989 1550K  495K    3.77    3.34  7068  7339  8545  1668  140.20  130.83
370.48/313.10	c (36,0) c [distill] long cls tried: 2520/7042 cl-short:2520 lit-r:29598 T: 4.81 T-out: N T-r: 75.01%
377.78/320.35	c (43,0) c   glue     1   137   32K  231987 1550K  495K    3.77    3.34 10330  9847  8373  2232  129.45  120.21
385.68/328.26	c (51,0) c [distill] long cls tried: 3351/10281 cl-short:3350 lit-r:37679 T: 7.47 T-out: N T-r: 62.20%
392.69/335.24	c (58,0) c ------- FINAL TOTAL SEARCH STATS ---------
392.69/335.24	c (58,0) c UIP search time          : 57.41       (98.77     % time)
392.69/335.24	c (58,0) c restarts                 : 164         (248.24    confls per restart)
392.69/335.24	c (58,0) c blocked restarts         : 202         (1.23      per normal restart)
392.69/335.24	c (58,0) c time                     : 57.41       
392.69/335.24	c (58,0) c decisions                : 324198      (0.00      % random)
392.69/335.24	c (58,0) c propagations             : 263206562   
392.69/335.24	c (58,0) c decisions/conflicts      : 7.96        
392.69/335.24	c (58,0) c conflicts                : 40712       (709.16    / sec)
392.69/335.24	c (58,0) c conf lits non-minim      : 8642562     (212.29    lit/confl)
392.69/335.24	c (58,0) c conf lits final          : 150.32      
392.69/335.24	c (58,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
392.69/335.24	c (58,0) c red which0               : 7855        (19.29     % of confl)
392.69/335.24	c (58,0) c props/decision           : 0.00        
392.69/335.24	c (58,0) c props/conflict           : 0.00        
392.69/335.24	c (58,0) c 0-depth assigns          : 4           (0.00      % vars)
392.69/335.24	c (58,0) c 0-depth assigns by CNF   : 0           (0.00      % vars)
392.69/335.24	c (58,0) c reduceDB time            : 0.01        (0.02      % time)
392.69/335.24	c (58,0) c OccSimplifier time       : 0.00        (0.00      % time)
392.69/335.24	c (58,0) c [occur] 0.00 is overhead
392.69/335.24	c (58,0) c [occur] link-in T: 0.00 cleanup T: 0.00
392.69/335.24	c (58,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
392.69/335.24	c (58,0) c SCC time                 : 0.00        (0.00      % time)
392.69/335.24	c (58,0) c [scc] new: 0 BP 0M  T: 0.00
392.69/335.24	c (58,0) c vrep replace time        : 0.00        (0.00      % time)
392.69/335.24	c (58,0) c vrep tree roots          : 0           
392.69/335.24	c (58,0) c vrep trees' crown        : 0           (0.00      leafs/tree)
392.69/335.24	c (58,0) c distill time             : 21.67       (37.28     % time)
392.69/335.24	c (58,0) c strength cache-irred time: 0.00        (0.00      % time)
392.69/335.24	c (58,0) c strength cache-red time  : 0.00        (0.00      % time)
392.69/335.24	c (58,0) c Conflicts in UIP         : 40712       (700.46    confl/time_this_thread)
392.69/335.24	c (58,0) c Mem used                 : 275.77      MB
392.69/335.24	c (58,0) c Total time (this thread) : 58.12       
392.69/335.24	c (58,0) s SATISFIABLE
393.91/335.70	c (59,0) SatSolver.solve End
393.91/335.70	c (59,0) Heap : 246 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
393.91/335.70	c (59,0) Show results Begin
394.30/335.81	c (59,0) x[0][0] = 4
394.30/335.81	c (59,0) x[0][1] = 13
394.30/335.81	c (59,0) x[0][2] = 19
394.30/335.81	c (59,0) x[0][3] = 4
394.30/335.81	c (59,0) x[0][4] = 25
394.30/335.81	c (59,0) x[0][6] = 17
394.30/335.81	c (59,0) x[0][7] = 8
394.30/335.81	c (59,0) x[0][8] = 5
394.30/335.81	c (59,0) x[0][9] = 5
394.30/335.81	c (59,0) x[0][11] = 8
394.30/335.81	c (59,0) x[0][12] = 13
394.30/335.81	c (59,0) x[0][13] = 2
394.30/335.81	c (59,0) x[0][14] = 7
394.30/335.81	c (59,0) x[1][0] = 2
394.30/335.81	c (59,0) x[1][1] = 14
394.30/335.81	c (59,0) x[1][2] = 17
394.30/335.81	c (59,0) x[1][3] = 13
394.30/335.81	c (59,0) x[1][4] = 14
394.30/335.81	c (59,0) x[1][5] = 20
394.30/335.81	c (59,0) x[1][6] = 8
394.30/335.81	c (59,0) x[1][7] = 11
394.30/335.81	c (59,0) x[1][8] = 11
394.30/335.81	c (59,0) x[1][9] = 4
394.30/335.81	c (59,0) x[1][11] = 3
394.30/335.81	c (59,0) x[1][12] = 4
394.30/335.81	c (59,0) x[1][13] = 11
394.30/335.81	c (59,0) x[1][14] = 0
394.30/335.81	c (59,0) x[2][0] = 17
394.30/335.81	c (59,0) x[2][1] = 4
394.30/335.81	c (59,0) x[2][2] = 20
394.30/335.81	c (59,0) x[2][3] = 19
394.30/335.81	c (59,0) x[2][4] = 4
394.30/335.81	c (59,0) x[2][5] = 13
394.30/335.81	c (59,0) x[2][6] = 1
394.30/335.81	c (59,0) x[2][7] = 14
394.30/335.81	c (59,0) x[2][8] = 20
394.30/335.81	c (59,0) x[2][9] = 17
394.30/335.81	c (59,0) x[2][10] = 6
394.30/335.81	c (59,0) x[2][11] = 4
394.30/335.81	c (59,0) x[2][12] = 14
394.30/335.81	c (59,0) x[2][13] = 8
394.30/335.81	c (59,0) x[2][14] = 18
394.30/335.81	c (59,0) x[3][0] = 0
394.30/335.81	c (59,0) x[3][1] = 18
394.30/335.81	c (59,0) x[3][2] = 18
394.30/335.81	c (59,0) x[3][3] = 4
394.30/335.81	c (59,0) x[3][5] = 2
394.30/335.81	c (59,0) x[3][6] = 14
394.30/335.81	c (59,0) x[3][7] = 8
394.30/335.81	c (59,0) x[3][8] = 0
394.30/335.81	c (59,0) x[3][9] = 19
394.30/335.81	c (59,0) x[3][10] = 8
394.30/335.81	c (59,0) x[3][11] = 4
394.30/335.81	c (59,0) x[3][12] = 13
394.30/335.81	c (59,0) x[3][13] = 13
394.30/335.81	c (59,0) x[3][14] = 4
394.30/335.81	c (59,0) x[4][0] = 13
394.30/335.81	c (59,0) x[4][1] = 4
394.30/335.81	c (59,0) x[4][2] = 19
394.30/335.81	c (59,0) x[4][4] = 11
394.30/335.81	c (59,0) x[4][5] = 8
394.30/335.81	c (59,0) x[4][6] = 19
394.30/335.81	c (59,0) x[4][7] = 18
394.30/335.81	c (59,0) x[4][9] = 4
394.30/335.81	c (59,0) x[4][10] = 17
394.30/335.81	c (59,0) x[4][11] = 18
394.30/335.81	c (59,0) x[5][3] = 13
394.30/335.81	c (59,0) x[5][4] = 14
394.30/335.81	c (59,0) x[5][5] = 13
394.30/335.81	c (59,0) x[5][6] = 4
394.30/335.81	c (59,0) x[5][8] = 19
394.30/335.81	c (59,0) x[5][9] = 4
394.30/335.81	c (59,0) x[5][10] = 11
394.30/335.81	c (59,0) x[5][12] = 0
394.30/335.81	c (59,0) x[5][13] = 21
394.30/335.81	c (59,0) x[5][14] = 4
394.30/335.81	c (59,0) x[6][0] = 2
394.30/335.81	c (59,0) x[6][1] = 0
394.30/335.81	c (59,0) x[6][2] = 5
394.30/335.81	c (59,0) x[6][3] = 4
394.30/335.81	c (59,0) x[6][4] = 19
394.30/335.81	c (59,0) x[6][5] = 4
394.30/335.81	c (59,0) x[6][7] = 5
394.30/335.81	c (59,0) x[6][8] = 0
394.30/335.81	c (59,0) x[6][9] = 13
394.30/335.81	c (59,0) x[6][11] = 4
394.30/335.81	c (59,0) x[6][12] = 2
394.30/335.81	c (59,0) x[6][13] = 14
394.30/335.81	c (59,0) x[6][14] = 19
394.30/335.81	c (59,0) x[7][0] = 14
394.30/335.81	c (59,0) x[7][1] = 1
394.30/335.81	c (59,0) x[7][2] = 8
394.30/335.81	c (59,0) x[7][3] = 19
394.30/335.81	c (59,0) x[7][4] = 18
394.30/335.81	c (59,0) x[7][6] = 1
394.30/335.81	c (59,0) x[7][7] = 0
394.30/335.81	c (59,0) x[7][8] = 20
394.30/335.81	c (59,0) x[7][10] = 0
394.30/335.81	c (59,0) x[7][11] = 19
394.30/335.81	c (59,0) x[7][12] = 4
394.30/335.81	c (59,0) x[7][13] = 11
394.30/335.81	c (59,0) x[7][14] = 4
394.30/335.81	c (59,0) x[8][0] = 18
394.30/335.81	c (59,0) x[8][1] = 14
394.30/335.81	c (59,0) x[8][2] = 13
394.30/335.81	c (59,0) x[8][3] = 18
394.30/335.81	c (59,0) x[8][5] = 1
394.30/335.81	c (59,0) x[8][6] = 8
394.30/335.81	c (59,0) x[8][7] = 19
394.30/335.81	c (59,0) x[8][9] = 1
394.30/335.81	c (59,0) x[8][10] = 11
394.30/335.81	c (59,0) x[8][11] = 0
394.30/335.81	c (59,0) x[8][12] = 18
394.30/335.81	c (59,0) x[8][13] = 0
394.30/335.81	c (59,0) x[8][14] = 18
394.30/335.81	c (59,0) x[9][0] = 24
394.30/335.81	c (59,0) x[9][1] = 8
394.30/335.81	c (59,0) x[9][2] = 13
394.30/335.81	c (59,0) x[9][4] = 7
394.30/335.81	c (59,0) x[9][5] = 4
394.30/335.81	c (59,0) x[9][6] = 15
394.30/335.81	c (59,0) x[9][8] = 0
394.30/335.81	c (59,0) x[9][9] = 14
394.30/335.81	c (59,0) x[9][10] = 20
394.30/335.81	c (59,0) x[9][11] = 19
394.30/335.81	c (59,0) x[10][3] = 2
394.30/335.81	c (59,0) x[10][4] = 14
394.30/335.81	c (59,0) x[10][5] = 17
394.30/335.81	c (59,0) x[10][7] = 4
394.30/335.81	c (59,0) x[10][8] = 11
394.30/335.81	c (59,0) x[10][9] = 20
394.30/335.81	c (59,0) x[10][10] = 18
394.30/335.81	c (59,0) x[10][12] = 1
394.30/335.81	c (59,0) x[10][13] = 11
394.30/335.81	c (59,0) x[10][14] = 4
394.30/335.81	c (59,0) x[11][0] = 0
394.30/335.81	c (59,0) x[11][1] = 18
394.30/335.81	c (59,0) x[11][2] = 18
394.30/335.81	c (59,0) x[11][3] = 14
394.30/335.81	c (59,0) x[11][4] = 12
394.30/335.81	c (59,0) x[11][5] = 12
394.30/335.81	c (59,0) x[11][6] = 0
394.30/335.81	c (59,0) x[11][7] = 19
394.30/335.81	c (59,0) x[11][8] = 4
394.30/335.81	c (59,0) x[11][9] = 18
394.30/335.81	c (59,0) x[11][11] = 6
394.30/335.81	c (59,0) x[11][12] = 14
394.30/335.81	c (59,0) x[11][13] = 24
394.30/335.81	c (59,0) x[11][14] = 12
394.30/335.81	c (59,0) x[12][0] = 2
394.30/335.81	c (59,0) x[12][1] = 0
394.30/335.81	c (59,0) x[12][2] = 12
394.30/335.81	c (59,0) x[12][3] = 1
394.30/335.81	c (59,0) x[12][4] = 14
394.30/335.81	c (59,0) x[12][5] = 20
394.30/335.81	c (59,0) x[12][6] = 11
394.30/335.81	c (59,0) x[12][7] = 0
394.30/335.81	c (59,0) x[12][8] = 25
394.30/335.81	c (59,0) x[12][9] = 4
394.30/335.81	c (59,0) x[12][10] = 19
394.30/335.81	c (59,0) x[12][11] = 14
394.30/335.81	c (59,0) x[12][12] = 8
394.30/335.81	c (59,0) x[12][13] = 18
394.30/335.81	c (59,0) x[12][14] = 4
394.30/335.81	c (59,0) x[13][0] = 4
394.30/335.81	c (59,0) x[13][1] = 12
394.30/335.81	c (59,0) x[13][2] = 8
394.30/335.81	c (59,0) x[13][3] = 4
394.30/335.81	c (59,0) x[13][5] = 3
394.30/335.81	c (59,0) x[13][6] = 4
394.30/335.81	c (59,0) x[13][7] = 12
394.30/335.81	c (59,0) x[13][8] = 0
394.30/335.81	c (59,0) x[13][9] = 25
394.30/335.81	c (59,0) x[13][10] = 14
394.30/335.81	c (59,0) x[13][11] = 20
394.30/335.81	c (59,0) x[13][12] = 19
394.30/335.81	c (59,0) x[13][13] = 0
394.30/335.81	c (59,0) x[13][14] = 18
394.30/335.81	c (59,0) x[14][0] = 18
394.30/335.81	c (59,0) x[14][1] = 20
394.30/335.81	c (59,0) x[14][2] = 2
394.30/335.81	c (59,0) x[14][3] = 0
394.30/335.81	c (59,0) x[14][5] = 0
394.30/335.81	c (59,0) x[14][6] = 12
394.30/335.81	c (59,0) x[14][7] = 0
394.30/335.81	c (59,0) x[14][8] = 13
394.30/335.81	c (59,0) x[14][10] = 15
394.30/335.81	c (59,0) x[14][11] = 17
394.30/335.81	c (59,0) x[14][12] = 4
394.30/335.81	c (59,0) x[14][13] = 19
394.30/335.81	c (59,0) x[14][14] = 4
394.30/335.81	s SATISFIABLE
394.30/335.82	v <instantiation>
394.30/335.82	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][6] x[0][7] x[0][8] x[0][9] x[0][11] x[0][12] x[0][13] x[0][14] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][11] x[1][12] x[1][13] x[1][14] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[3][0] x[3][1] x[3][2] x[3][3] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[4][0] x[4][1] x[4][2] x[4][4] x[4][5] x[4][6] x[4][7] x[4][9] x[4][10] x[4][11] x[5][3] x[5][4] x[5][5] x[5][6] x[5][8] x[5][9] x[5][10] x[5][12] x[5][13] x[5][14] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][7] x[6][8] x[6][9] x[6][11] x[6][12] x[6][13] x[6][14] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][6] x[7][7] x[7][8] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[8][0] x[8][1] x[8][2] x[8][3] x[8][5] x[8][6] x[8][7] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[9][0] x[9][1] x[9][2] x[9][4] x[9][5] x[9][6] x[9][8] x[9][9] x[9][10] x[9][11] x[10][3] x[10][4] x[10][5] x[10][7] x[10][8] x[10][9] x[10][10] x[10][12] x[10][13] x[10][14] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][11] x[11][12] x[11][13] x[11][14] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[13][0] x[13][1] x[13][2] x[13][3] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[14][0] x[14][1] x[14][2] x[14][3] x[14][5] x[14][6] x[14][7] x[14][8] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14]</list>
394.30/335.82	v     <values>4 13 19 4 25 17 8 5 5 8 13 2 7 2 14 17 13 14 20 8 11 11 4 3 4 11 0 17 4 20 19 4 13 1 14 20 17 6 4 14 8 18 0 18 18 4 2 14 8 0 19 8 4 13 13 4 13 4 19 11 8 19 18 4 17 18 13 14 13 4 19 4 11 0 21 4 2 0 5 4 19 4 5 0 13 4 2 14 19 14 1 8 19 18 1 0 20 0 19 4 11 4 18 14 13 18 1 8 19 1 11 0 18 0 18 24 8 13 7 4 15 0 14 20 19 2 14 17 4 11 20 18 1 11 4 0 18 18 14 12 12 0 19 4 18 6 14 24 12 2 0 12 1 14 20 11 0 25 4 19 14 8 18 4 4 12 8 4 3 4 12 0 25 14 20 19 0 18 18 20 2 0 0 12 0 13 15 17 4 19 4</values>
394.30/335.82	v </instantiation>
394.30/335.82	c (59,0) Show results End
394.30/335.82	c (59,0) Heap : 246 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
394.30/335.82	c (59,0) 59,59,STOP-AFTER(ALL)
394.30/335.82	c END-Prog: Thu Sep 12 16:15:53 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 (15073 MiB free)
  memory of node 1: 16384 MiB (14656 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388344-1568297456/watcher-4388344-1568297456 -o /tmp/evaluation-result-4388344-1568297456/solver-4388344-1568297456 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568286070-13983 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388344-1568297456.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=19279, runsolver pid=19276

[startup+0.100505 s]*
/proc/loadavg: 1.99 2.07 2.14 3/234 19296
/proc/meminfo: memFree=30385240/32770624 swapFree=66933016/67108860
[pid=19279] ppid=19276 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/19279/stat : 19279 (scop.sh) S 19276 19279 12870 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 406017127 115843072 348 33554432000 4194304 5098028 140735138587712 140735138584968 140423192617596 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29114368 140735138591587 140735138591856 140735138591856 140735138594765 0
/proc/19279/statm: 28282 348 296 221 0 87 0
[pid=19282] ppid=19279 vsize=15012696 memory=72496 CPUtime=0.11 cores=0,2,4,6
/proc/19282/stat : 19282 (java) S 19279 19279 12870 0 -1 1077944320 6853 0 0 0 10 1 0 0 20 0 15 0 406017127 15373000704 18124 33554432000 4194304 4196468 140720492686752 140720492669296 140491185278711 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
/proc/19282/statm: 3753174 18124 2927 1 0 3715579 0
[pid=19282/tid=19283] ppid=19279 vsize=15012696 memory=-6653361208406884287 CPUtime=0.09 cores=0,2,4,6
/proc/19282/task/19283/stat : 19283 (java) R 19279 19279 12870 0 -1 4202560 4679 0 0 0 8 1 0 0 20 0 15 0 406017127 15373000704 18124 33554432000 4194304 4196468 140720492686752 140491157090696 140491169359198 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19284] ppid=19279 vsize=15012696 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19284/stat : 19284 (java) S 19279 19279 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406017129 15373000704 18124 33554432000 4194304 4196468 140720492686752 140491189521296 140491185288917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19285] ppid=19279 vsize=15012696 memory=140503889438336 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19285/stat : 19285 (java) S 19279 19279 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406017129 15373000704 18124 33554432000 4194304 4196468 140720492686752 140491003677456 140491185288917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19286] ppid=19279 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19286/stat : 19286 (java) S 19279 19279 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406017129 15373000704 18124 33554432000 4194304 4196468 140720492686752 140491002625168 140491185288917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19287] ppid=19279 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19287/stat : 19287 (java) S 19279 19279 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406017129 15373000704 18124 33554432000 4194304 4196468 140720492686752 140491001572368 140491185288917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19288] ppid=19279 vsize=15012696 memory=140503889438336 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19288/stat : 19288 (java) S 19279 19279 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406017130 15373000704 18124 33554432000 4194304 4196468 140720492686752 140490155432048 140491185289858 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19289] ppid=19279 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19289/stat : 19289 (java) S 19279 19279 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406017131 15373000704 18124 33554432000 4194304 4196468 140720492686752 140489789530912 140491185288917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19290] ppid=19279 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19290/stat : 19290 (java) S 19279 19279 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406017131 15373000704 18124 33554432000 4194304 4196468 140720492686752 140489521095792 140491185288917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19291] ppid=19279 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19291/stat : 19291 (java) S 19279 19279 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406017133 15373000704 18124 33554432000 4194304 4196468 140720492686752 140489146587216 140491185297307 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19292] ppid=19279 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19292/stat : 19292 (java) S 19279 19279 12870 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 406017133 15373000704 18124 33554432000 4194304 4196468 140720492686752 140490154379888 140491185289858 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19293] ppid=19279 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19293/stat : 19293 (java) S 19279 19279 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406017133 15373000704 18124 33554432000 4194304 4196468 140720492686752 140490153327088 140491185289858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19294] ppid=19279 vsize=15012696 memory=140503889438336 CPUtime=0.01 cores=0,2,4,6
/proc/19282/task/19294/stat : 19294 (java) R 19279 19279 12870 0 -1 4202560 454 0 0 0 1 0 0 0 20 0 15 0 406017133 15373000704 18124 33554432000 4194304 4196468 140720492686752 140490152274800 140491185290646 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19295] ppid=19279 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19295/stat : 19295 (java) S 19279 19279 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406017134 15373000704 18124 33554432000 4194304 4196468 140720492686752 140488648682464 140491185288917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19296] ppid=19279 vsize=15012696 memory=140503889438336 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19296/stat : 19296 (java) S 19279 19279 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406017134 15373000704 18124 33554432000 4194304 4196468 140720492686752 140490151221680 140491185289858 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 73888 KiB

[startup+0.210744 s]*
/proc/loadavg: 1.99 2.07 2.14 3/234 19296
/proc/meminfo: memFree=30368608/32770624 swapFree=66933016/67108860
[pid=19279] ppid=19276 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/19279/stat : 19279 (scop.sh) S 19276 19279 12870 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 406017127 115843072 348 33554432000 4194304 5098028 140735138587712 140735138584968 140423192617596 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29114368 140735138591587 140735138591856 140735138591856 140735138594765 0
/proc/19279/statm: 28282 348 296 221 0 87 0
[pid=19282] ppid=19279 vsize=15012696 memory=85740 CPUtime=0.25 cores=0,2,4,6
/proc/19282/stat : 19282 (java) S 19279 19279 12870 0 -1 1077944320 11437 0 0 0 22 3 0 0 20 0 15 0 406017127 15373000704 21435 33554432000 4194304 4196468 140720492686752 140720492669296 140491185278711 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
/proc/19282/statm: 3753174 21435 2932 1 0 3715579 0
[pid=19282/tid=19283] ppid=19279 vsize=15012696 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/19282/task/19283/stat : 19283 (java) R 19279 19279 12870 0 -1 4202560 9183 0 0 0 17 2 0 0 20 0 15 0 406017127 15373000704 21435 33554432000 4194304 4196468 140720492686752 140491157101248 140491169359198 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19284] ppid=19279 vsize=15012696 memory=343 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19284/stat : 19284 (java) S 19279 19279 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406017129 15373000704 21435 33554432000 4194304 4196468 140720492686752 140491189521296 140491185288917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19285] ppid=19279 vsize=15012696 memory=288370880041150080 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19285/stat : 19285 (java) S 19279 19279 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406017129 15373000704 21435 33554432000 4194304 4196468 140720492686752 140491003677456 140491185288917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19286] ppid=19279 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19286/stat : 19286 (java) S 19279 19279 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406017129 15373000704 21435 33554432000 4194304 4196468 140720492686752 140491002625168 140491185288917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19287] ppid=19279 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19287/stat : 19287 (java) S 19279 19279 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406017129 15373000704 21435 33554432000 4194304 4196468 140720492686752 140491001572368 140491185288917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19288] ppid=19279 vsize=15012696 memory=140503889438336 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19288/stat : 19288 (java) S 19279 19279 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406017130 15373000704 21435 33554432000 4194304 4196468 140720492686752 140490155432048 140491185289858 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19289] ppid=19279 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19289/stat : 19289 (java) S 19279 19279 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406017131 15373000704 21435 33554432000 4194304 4196468 140720492686752 140489789530912 140491185288917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19290] ppid=19279 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19290/stat : 19290 (java) S 19279 19279 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406017131 15373000704 21435 33554432000 4194304 4196468 140720492686752 140489521095792 140491185288917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19291] ppid=19279 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19291/stat : 19291 (java) S 19279 19279 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406017133 15373000704 21435 33554432000 4194304 4196468 140720492686752 140489146587216 140491185297307 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19292] ppid=19279 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19292/stat : 19292 (java) S 19279 19279 12870 0 -1 1077944384 446 0 0 0 0 0 0 0 20 0 15 0 406017133 15373000704 21435 33554432000 4194304 4196468 140720492686752 140490154379888 140491185289858 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19293] ppid=19279 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19293/stat : 19293 (java) S 19279 19279 12870 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 406017133 15373000704 21435 33554432000 4194304 4196468 140720492686752 140490153327088 140491185289858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19294] ppid=19279 vsize=15012696 memory=140503889438336 CPUtime=0.02 cores=0,2,4,6
/proc/19282/task/19294/stat : 19294 (java) S 19279 19279 12870 0 -1 1077944384 464 0 0 0 2 0 0 0 20 0 15 0 406017133 15373000704 21435 33554432000 4194304 4196468 140720492686752 140490152274800 140491185289858 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19295] ppid=19279 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19295/stat : 19295 (java) S 19279 19279 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406017134 15373000704 21435 33554432000 4194304 4196468 140720492686752 140488648682464 140491185288917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19296] ppid=19279 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19296/stat : 19296 (java) S 19279 19279 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406017134 15373000704 21435 33554432000 4194304 4196468 140720492686752 140490151221680 140491185289858 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87132 KiB

[startup+0.31054 s]*
/proc/loadavg: 1.99 2.07 2.14 3/234 19296
/proc/meminfo: memFree=30364700/32770624 swapFree=66933016/67108860
[pid=19279] ppid=19276 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/19279/stat : 19279 (scop.sh) S 19276 19279 12870 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 406017127 115843072 348 33554432000 4194304 5098028 140735138587712 140735138584968 140423192617596 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29114368 140735138591587 140735138591856 140735138591856 140735138594765 0
/proc/19279/statm: 28282 348 296 221 0 87 0
[pid=19282] ppid=19279 vsize=15012696 memory=89764 CPUtime=0.42 cores=0,2,4,6
/proc/19282/stat : 19282 (java) S 19279 19279 12870 0 -1 1077944320 12509 0 0 0 39 3 0 0 20 0 15 0 406017127 15373000704 22441 33554432000 4194304 4196468 140720492686752 140720492669296 140491185278711 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
/proc/19282/statm: 3753174 22441 3042 1 0 3715579 0
[pid=19282/tid=19283] ppid=19279 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/19282/task/19283/stat : 19283 (java) R 19279 19279 12870 0 -1 4202560 10065 0 0 0 27 3 0 0 20 0 15 0 406017127 15373000704 22441 33554432000 4194304 4196468 140720492686752 140491157063696 140491166652168 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19284] ppid=19279 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19284/stat : 19284 (java) S 19279 19279 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406017129 15373000704 22441 33554432000 4194304 4196468 140720492686752 140491189521296 140491185288917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19285] ppid=19279 vsize=15012696 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19285/stat : 19285 (java) S 19279 19279 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406017129 15373000704 22441 33554432000 4194304 4196468 140720492686752 140491003677456 140491185288917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19286] ppid=19279 vsize=15012696 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19286/stat : 19286 (java) S 19279 19279 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406017129 15373000704 22441 33554432000 4194304 4196468 140720492686752 140491002625168 140491185288917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19287] ppid=19279 vsize=15012696 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19287/stat : 19287 (java) S 19279 19279 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406017129 15373000704 22441 33554432000 4194304 4196468 140720492686752 140491001572368 140491185288917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19288] ppid=19279 vsize=15012696 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19288/stat : 19288 (java) S 19279 19279 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406017130 15373000704 22441 33554432000 4194304 4196468 140720492686752 140490155432048 140491185289858 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19289] ppid=19279 vsize=15012696 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19289/stat : 19289 (java) S 19279 19279 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406017131 15373000704 22441 33554432000 4194304 4196468 140720492686752 140489789530912 140491185288917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19290] ppid=19279 vsize=15012696 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19290/stat : 19290 (java) S 19279 19279 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406017131 15373000704 22441 33554432000 4194304 4196468 140720492686752 140489521095792 140491185288917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19291] ppid=19279 vsize=15012696 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19291/stat : 19291 (java) S 19279 19279 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406017133 15373000704 22441 33554432000 4194304 4196468 140720492686752 140489146587216 140491185297307 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19292] ppid=19279 vsize=15012696 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/19282/task/19292/stat : 19292 (java) S 19279 19279 12870 0 -1 1077944384 570 0 0 0 3 0 0 0 20 0 15 0 406017133 15373000704 22441 33554432000 4194304 4196468 140720492686752 140490154379888 140491185289858 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19293] ppid=19279 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19293/stat : 19293 (java) S 19279 19279 12870 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 406017133 15373000704 22441 33554432000 4194304 4196468 140720492686752 140490153327088 140491185289858 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19294] ppid=19279 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19282/task/19294/stat : 19294 (java) S 19279 19279 12870 0 -1 1077944384 515 0 0 0 7 0 0 0 20 0 15 0 406017133 15373000704 22441 33554432000 4194304 4196468 140720492686752 140490152274800 140491185289858 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19295] ppid=19279 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19295/stat : 19295 (java) S 19279 19279 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406017134 15373000704 22441 33554432000 4194304 4196468 140720492686752 140488648682464 140491185288917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19296] ppid=19279 vsize=15012696 memory=3689071724943450161 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19296/stat : 19296 (java) S 19279 19279 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406017134 15373000704 22441 33554432000 4194304 4196468 140720492686752 140490151221680 140491185289858 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91156 KiB

[startup+0.701504 s]
/proc/loadavg: 1.99 2.07 2.14 3/234 19296
/proc/meminfo: memFree=30342136/32770624 swapFree=66933016/67108860
[pid=19279] ppid=19276 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/19279/stat : 19279 (scop.sh) S 19276 19279 12870 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 406017127 115843072 348 33554432000 4194304 5098028 140735138587712 140735138584968 140423192617596 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29114368 140735138591587 140735138591856 140735138591856 140735138594765 0
/proc/19279/statm: 28282 348 296 221 0 87 0
[pid=19282] ppid=19279 vsize=15018968 memory=129116 CPUtime=1 cores=0,2,4,6
/proc/19282/stat : 19282 (java) S 19279 19279 12870 0 -1 1077944320 20112 0 0 0 94 6 0 0 20 0 15 0 406017127 15379423232 32279 33554432000 4194304 4196468 140720492686752 140720492669296 140491185278711 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
/proc/19282/statm: 3754742 32279 3183 1 0 3716091 0
[pid=19282/tid=19283] ppid=19279 vsize=15018968 memory=2372 CPUtime=0.67 cores=0,2,4,6
/proc/19282/task/19283/stat : 19283 (java) R 19279 19279 12870 0 -1 4202560 17130 0 0 0 62 5 0 0 20 0 15 0 406017127 15379423232 32279 33554432000 4194304 4196468 140720492686752 140491157109072 140491185300637 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19284] ppid=19279 vsize=15018968 memory=116 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19284/stat : 19284 (java) S 19279 19279 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406017129 15379423232 32279 33554432000 4194304 4196468 140720492686752 140491189521296 140491185288917 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19285] ppid=19279 vsize=15018968 memory=2958609 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19285/stat : 19285 (java) S 19279 19279 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406017129 15379423232 32279 33554432000 4194304 4196468 140720492686752 140491003677456 140491185288917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19286] ppid=19279 vsize=15018968 memory=2965990 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19286/stat : 19286 (java) S 19279 19279 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406017129 15379423232 32279 33554432000 4194304 4196468 140720492686752 140491002625168 140491185288917 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19287] ppid=19279 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19287/stat : 19287 (java) S 19279 19279 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406017129 15379423232 32279 33554432000 4194304 4196468 140720492686752 140491001572368 140491185288917 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19288] ppid=19279 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19288/stat : 19288 (java) S 19279 19279 12870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 406017130 15379423232 32279 33554432000 4194304 4196468 140720492686752 140490155432048 140491185289858 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19289] ppid=19279 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19289/stat : 19289 (java) S 19279 19279 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406017131 15379423232 32279 33554432000 4194304 4196468 140720492686752 140489789530912 140491185288917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19290] ppid=19279 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19290/stat : 19290 (java) S 19279 19279 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406017131 15379423232 32279 33554432000 4194304 4196468 140720492686752 140489521095792 140491185288917 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19291] ppid=19279 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19291/stat : 19291 (java) S 19279 19279 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406017133 15379423232 32279 33554432000 4194304 4196468 140720492686752 140489146587216 140491185297307 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19292] ppid=19279 vsize=15018968 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/19282/task/19292/stat : 19292 (java) R 19279 19279 12870 0 -1 4202560 783 0 0 0 10 0 0 0 20 0 15 0 406017133 15379423232 32279 33554432000 4194304 4196468 140720492686752 140490154379888 140491166458330 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19293] ppid=19279 vsize=15018968 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/19282/task/19293/stat : 19293 (java) R 19279 19279 12870 0 -1 4202560 244 0 0 0 6 0 0 0 20 0 15 0 406017133 15379423232 32279 33554432000 4194304 4196468 140720492686752 140490153327088 140491166458311 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19294] ppid=19279 vsize=15018968 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/19282/task/19294/stat : 19294 (java) S 19279 19279 12870 0 -1 1077944384 619 0 0 0 15 0 0 0 20 0 15 0 406017133 15379423232 32279 33554432000 4194304 4196468 140720492686752 140490152274800 140491185289858 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19295] ppid=19279 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19295/stat : 19295 (java) S 19279 19279 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406017134 15379423232 32279 33554432000 4194304 4196468 140720492686752 140488648682464 140491185288917 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
[pid=19282/tid=19296] ppid=19279 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19282/task/19296/stat : 19296 (java) S 19279 19279 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406017134 15379423232 32279 33554432000 4194304 4196468 140720492686752 140490151221680 140491185289858 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38285312 140720492688169 140720492688538 140720492688538 140720492691407 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 130508 KiB

[startup+1.50103 s]
/proc/loadavg: 1.99 2.07 2.14 5/234 19296
/proc/meminfo: memFree=30235464/32770624 swapFree=66933016/67108860
[pid=19279] ppid=19276 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/19279/stat : 19279 (scop.sh) S 19276 19279 12870 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 406017127 115843072 348 33554432000 4194304 5098028 140735138587712 140735138584968 140423192617596 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29114368 140735138591587 140735138591856 140735138591856 140735138594765 0
/proc/19279/statm: 28282 348 296 221 0 87 0

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

/proc/19393/task/19409/stat : 19409 (java) S 19279 19279 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406044810 8262082560 30199 33554432000 4194304 4196468 140720777962624 140120371807552 140121071894297 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19411] ppid=19279 vsize=8068440 memory=120796 CPUtime=0 cores=0,2,4,6
/proc/19393/task/19411/stat : 19411 (java) S 19279 19279 12870 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 406044811 8262082560 30199 33554432000 4194304 4196468 140720777962624 140118207737232 140121071891613 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19412] ppid=19279 vsize=8068440 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/19393/task/19412/stat : 19412 (java) S 19279 19279 12870 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 406044811 8262082560 30199 33554432000 4194304 4196468 140720777962624 140118341959696 140121071891613 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19413] ppid=19279 vsize=8068440 memory=19020 CPUtime=0 cores=0,2,4,6
/proc/19393/task/19413/stat : 19413 (java) S 19279 19279 12870 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 406044813 8262082560 30199 33554432000 4194304 4196468 140720777962624 140117939314480 140121071879893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
Current children cumulated CPU time: 391.89 s
Current children cumulated vsize: 8517804 KiB
Current children cumulated memory: 401612 KiB

[startup+335.201 s]
/proc/loadavg: 2.07 2.10 2.13 3/235 19419
/proc/meminfo: memFree=23710304/32770624 swapFree=66933016/67108860
[pid=19279] ppid=19276 vsize=113128 memory=1472 CPUtime=332.98 cores=0,2,4,6
/proc/19279/stat : 19279 (scop.sh) S 19276 19279 12870 0 -1 4202496 581 105352 0 0 0 0 32703 595 20 0 1 0 406017127 115843072 368 33554432000 4194304 5098028 140735138587712 140735138584456 140423192617596 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29114368 140735138591587 140735138591856 140735138591856 140735138594765 0
/proc/19279/statm: 28282 368 311 221 0 87 0
[pid=19393] ppid=19279 vsize=8068440 memory=120796 CPUtime=1.36 cores=0,2,4,6
/proc/19393/stat : 19393 (java) S 19279 19279 12870 0 -1 1077944320 20653 0 0 0 129 7 0 0 20 0 19 0 406044733 8262082560 30199 33554432000 4194304 4196468 140720777962624 140720777945168 140121071869687 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
/proc/19393/statm: 2017110 30199 3217 1 0 1978454 0
[pid=19408] ppid=19393 vsize=336368 memory=281472 CPUtime=58.35 cores=0,2,4,6
/proc/19408/stat : 19408 (cryptominisat5) R 19393 19279 12870 0 -1 4202496 329074 0 0 0 5807 28 0 0 20 0 1 0 406044810 344440832 70368 33554432000 4194304 4451008 140722042688080 140722042684008 139895200203129 0 4 0 2 0 0 0 17 2 0 0 0 0 0 6549032 6559120 9019392 140722042696636 140722042696768 140722042696768 140722042699718 0
/proc/19408/statm: 84092 70368 644 63 0 77819 0
[pid=19393/tid=19394] ppid=19279 vsize=8068440 memory=924 CPUtime=0.8 cores=0,2,4,6
/proc/19393/task/19394/stat : 19394 (java) S 19279 19279 12870 0 -1 1077944384 17436 0 0 0 75 5 0 0 20 0 19 0 406044733 8262082560 30199 33554432000 4194304 4196468 140720777962624 140121043709856 140121071879893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19395] ppid=19279 vsize=8068440 memory=1420 CPUtime=0 cores=0,2,4,6
/proc/19393/task/19395/stat : 19395 (java) S 19279 19279 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406044734 8262082560 30199 33554432000 4194304 4196468 140720777962624 140121076112400 140121071879893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19396] ppid=19279 vsize=8068440 memory=8039887049847964587 CPUtime=0 cores=0,2,4,6
/proc/19393/task/19396/stat : 19396 (java) S 19279 19279 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406044734 8262082560 30199 33554432000 4194304 4196468 140720777962624 140120894200976 140121071879893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19397] ppid=19279 vsize=8068440 memory=976 CPUtime=0 cores=0,2,4,6
/proc/19393/task/19397/stat : 19397 (java) S 19279 19279 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406044734 8262082560 30199 33554432000 4194304 4196468 140720777962624 140120555420432 140121071879893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19398] ppid=19279 vsize=8068440 memory=772 CPUtime=0 cores=0,2,4,6
/proc/19393/task/19398/stat : 19398 (java) S 19279 19279 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406044735 8262082560 30199 33554432000 4194304 4196468 140720777962624 140120554367888 140121071879893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19399] ppid=19279 vsize=8068440 memory=3932 CPUtime=0 cores=0,2,4,6
/proc/19393/task/19399/stat : 19399 (java) S 19279 19279 12870 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 406044736 8262082560 30199 33554432000 4194304 4196468 140720777962624 140120384051440 140121071880834 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19400] ppid=19279 vsize=8068440 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/19393/task/19400/stat : 19400 (java) S 19279 19279 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 406044736 8262082560 30199 33554432000 4194304 4196468 140720777962624 140119885472928 140121071879893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19401] ppid=19279 vsize=8068440 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/19393/task/19401/stat : 19401 (java) S 19279 19279 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406044737 8262082560 30199 33554432000 4194304 4196468 140720777962624 140119617037040 140121071879893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19402] ppid=19279 vsize=8068440 memory=120796 CPUtime=0 cores=0,2,4,6
/proc/19393/task/19402/stat : 19402 (java) S 19279 19279 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406044739 8262082560 30199 33554432000 4194304 4196468 140720777962624 140119242528720 140121071888283 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19403] ppid=19279 vsize=8068440 memory=3620 CPUtime=0.11 cores=0,2,4,6
/proc/19393/task/19403/stat : 19403 (java) S 19279 19279 12870 0 -1 1077944384 655 0 0 0 11 0 0 0 20 0 19 0 406044739 8262082560 30199 33554432000 4194304 4196468 140720777962624 140120382999280 140121071880834 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19404] ppid=19279 vsize=8068440 memory=19020 CPUtime=0.15 cores=0,2,4,6
/proc/19393/task/19404/stat : 19404 (java) S 19279 19279 12870 0 -1 1077944384 556 0 0 0 15 0 0 0 20 0 19 0 406044739 8262082560 30199 33554432000 4194304 4196468 140720777962624 140120381946736 140121071880834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19405] ppid=19279 vsize=8068440 memory=984 CPUtime=0.22 cores=0,2,4,6
/proc/19393/task/19405/stat : 19405 (java) S 19279 19279 12870 0 -1 1077944384 607 0 0 0 22 0 0 0 20 0 19 0 406044739 8262082560 30199 33554432000 4194304 4196468 140720777962624 140120380893680 140121071880834 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19406] ppid=19279 vsize=8068440 memory=2032 CPUtime=0 cores=0,2,4,6
/proc/19393/task/19406/stat : 19406 (java) S 19279 19279 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406044740 8262082560 30199 33554432000 4194304 4196468 140720777962624 140118744623968 140121071879893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19407] ppid=19279 vsize=8068440 memory=1332 CPUtime=0.03 cores=0,2,4,6
/proc/19393/task/19407/stat : 19407 (java) S 19279 19279 12870 0 -1 1077944384 5 0 0 0 2 1 0 0 20 0 19 0 406044740 8262082560 30199 33554432000 4194304 4196468 140720777962624 140120379841072 140121071880834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19409] ppid=19279 vsize=8068440 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/19393/task/19409/stat : 19409 (java) S 19279 19279 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406044810 8262082560 30199 33554432000 4194304 4196468 140720777962624 140120371807552 140121071894297 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19411] ppid=19279 vsize=8068440 memory=5840 CPUtime=0 cores=0,2,4,6
/proc/19393/task/19411/stat : 19411 (java) S 19279 19279 12870 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 406044811 8262082560 30199 33554432000 4194304 4196468 140720777962624 140118207737232 140121071891613 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19412] ppid=19279 vsize=8068440 memory=504 CPUtime=0 cores=0,2,4,6
/proc/19393/task/19412/stat : 19412 (java) S 19279 19279 12870 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 406044811 8262082560 30199 33554432000 4194304 4196468 140720777962624 140118341959696 140121071891613 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19413] ppid=19279 vsize=8068440 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/19393/task/19413/stat : 19413 (java) S 19279 19279 12870 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 406044813 8262082560 30199 33554432000 4194304 4196468 140720777962624 140117939314480 140121071879893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
Current children cumulated CPU time: 392.69 s
Current children cumulated vsize: 8517936 KiB
Current children cumulated memory: 403740 KiB

[startup+335.601 s]
/proc/loadavg: 2.07 2.10 2.13 3/235 19419
/proc/meminfo: memFree=23710304/32770624 swapFree=66933016/67108860
[pid=19279] ppid=19276 vsize=113128 memory=1472 CPUtime=332.98 cores=0,2,4,6
/proc/19279/stat : 19279 (scop.sh) S 19276 19279 12870 0 -1 4202496 581 105352 0 0 0 0 32703 595 20 0 1 0 406017127 115843072 368 33554432000 4194304 5098028 140735138587712 140735138584456 140423192617596 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29114368 140735138591587 140735138591856 140735138591856 140735138594765 0
/proc/19279/statm: 28282 368 311 221 0 87 0
[pid=19393] ppid=19279 vsize=8068440 memory=247708 CPUtime=2.45 cores=0,2,4,6
/proc/19393/stat : 19393 (java) S 19279 19279 12870 0 -1 1077944320 26428 0 0 0 235 10 0 0 20 0 19 0 406044733 8262082560 61927 33554432000 4194304 4196468 140720777962624 140720777945168 140121071869687 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
/proc/19393/statm: 2017110 61927 3233 1 0 1978454 0
[pid=19408] ppid=19393 vsize=294372 memory=244180 CPUtime=58.48 cores=0,2,4,6
/proc/19408/stat : 19408 (cryptominisat5) R 19393 19279 12870 0 -1 4202496 330322 0 0 0 5819 29 0 0 20 0 1 0 406044810 301436928 61045 33554432000 4194304 4451008 140722042688080 140722042685304 139895199930874 0 4 0 2 0 0 0 17 0 0 0 0 0 0 6549032 6559120 9019392 140722042696636 140722042696768 140722042696768 140722042699718 0
/proc/19408/statm: 73593 61045 692 63 0 67320 0
[pid=19393/tid=19394] ppid=19279 vsize=8068440 memory=808 CPUtime=0.8 cores=0,2,4,6
/proc/19393/task/19394/stat : 19394 (java) S 19279 19279 12870 0 -1 1077944384 17436 0 0 0 75 5 0 0 20 0 19 0 406044733 8262082560 61927 33554432000 4194304 4196468 140720777962624 140121043709856 140121071879893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19395] ppid=19279 vsize=8068440 memory=2532 CPUtime=0 cores=0,2,4,6
/proc/19393/task/19395/stat : 19395 (java) S 19279 19279 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406044734 8262082560 61927 33554432000 4194304 4196468 140720777962624 140121076112400 140121071879893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19396] ppid=19279 vsize=8068440 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/19393/task/19396/stat : 19396 (java) S 19279 19279 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406044734 8262082560 61927 33554432000 4194304 4196468 140720777962624 140120894200976 140121071879893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19397] ppid=19279 vsize=8068440 memory=808 CPUtime=0 cores=0,2,4,6
/proc/19393/task/19397/stat : 19397 (java) S 19279 19279 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406044734 8262082560 61927 33554432000 4194304 4196468 140720777962624 140120555420432 140121071879893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19398] ppid=19279 vsize=8068440 memory=1772 CPUtime=0 cores=0,2,4,6
/proc/19393/task/19398/stat : 19398 (java) S 19279 19279 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406044735 8262082560 61927 33554432000 4194304 4196468 140720777962624 140120554367888 140121071879893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19399] ppid=19279 vsize=8068440 memory=111632 CPUtime=0 cores=0,2,4,6
/proc/19393/task/19399/stat : 19399 (java) S 19279 19279 12870 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 406044736 8262082560 61927 33554432000 4194304 4196468 140720777962624 140120384051440 140121071880834 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19400] ppid=19279 vsize=8068440 memory=804 CPUtime=0 cores=0,2,4,6
/proc/19393/task/19400/stat : 19400 (java) S 19279 19279 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 406044736 8262082560 61927 33554432000 4194304 4196468 140720777962624 140119885472928 140121071879893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19401] ppid=19279 vsize=8068440 memory=1656 CPUtime=0 cores=0,2,4,6
/proc/19393/task/19401/stat : 19401 (java) S 19279 19279 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406044737 8262082560 61927 33554432000 4194304 4196468 140720777962624 140119617037040 140121071879893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19402] ppid=19279 vsize=8068440 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/19393/task/19402/stat : 19402 (java) S 19279 19279 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406044739 8262082560 61927 33554432000 4194304 4196468 140720777962624 140119242528720 140121071888283 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19403] ppid=19279 vsize=8068440 memory=916 CPUtime=0.44 cores=0,2,4,6
/proc/19393/task/19403/stat : 19403 (java) R 19279 19279 12870 0 -1 4202560 2832 0 0 0 44 0 0 0 20 0 19 0 406044739 8262082560 61927 33554432000 4194304 4196468 140720777962624 140120382985824 140121056767323 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19404] ppid=19279 vsize=8068440 memory=3848 CPUtime=0.48 cores=0,2,4,6
/proc/19393/task/19404/stat : 19404 (java) R 19279 19279 12870 0 -1 4202560 3076 0 0 0 47 1 0 0 20 0 19 0 406044739 8262082560 61927 33554432000 4194304 4196468 140720777962624 140120381932616 140121053390752 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19405] ppid=19279 vsize=8068440 memory=3404 CPUtime=0.31 cores=0,2,4,6
/proc/19393/task/19405/stat : 19405 (java) R 19279 19279 12870 0 -1 1077944384 1498 0 0 0 31 0 0 0 20 0 19 0 406044739 8262082560 61927 33554432000 4194304 4196468 140720777962624 140120380893680 140121071880834 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19406] ppid=19279 vsize=8068440 memory=3188 CPUtime=0 cores=0,2,4,6
/proc/19393/task/19406/stat : 19406 (java) S 19279 19279 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406044740 8262082560 61927 33554432000 4194304 4196468 140720777962624 140118744623968 140121071879893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19407] ppid=19279 vsize=8068440 memory=4100 CPUtime=0.03 cores=0,2,4,6
/proc/19393/task/19407/stat : 19407 (java) S 19279 19279 12870 0 -1 1077944384 5 0 0 0 2 1 0 0 20 0 19 0 406044740 8262082560 61927 33554432000 4194304 4196468 140720777962624 140120379841072 140121071880834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19409] ppid=19279 vsize=8068440 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/19393/task/19409/stat : 19409 (java) S 19279 19279 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406044810 8262082560 61927 33554432000 4194304 4196468 140720777962624 140120371807552 140121071894297 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19411] ppid=19279 vsize=8068440 memory=3424 CPUtime=0.34 cores=0,2,4,6
/proc/19393/task/19411/stat : 19411 (java) S 19279 19279 12870 0 -1 4202560 193 0 0 0 33 1 0 0 20 0 19 0 406044811 8262082560 61927 33554432000 4194304 4196468 140720777962624 140118207737504 140121071891613 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19412] ppid=19279 vsize=8068440 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/19393/task/19412/stat : 19412 (java) S 19279 19279 12870 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 406044811 8262082560 61927 33554432000 4194304 4196468 140720777962624 140118341959696 140121071891613 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19413] ppid=19279 vsize=8068440 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/19393/task/19413/stat : 19413 (java) S 19279 19279 12870 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 406044813 8262082560 61927 33554432000 4194304 4196468 140720777962624 140117939314480 140121071879893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
Current children cumulated CPU time: 393.91 s
Current children cumulated vsize: 8475940 KiB
Current children cumulated memory: 493360 KiB

[startup+335.801 s]
/proc/loadavg: 2.07 2.10 2.13 3/235 19419
/proc/meminfo: memFree=23710304/32770624 swapFree=66933016/67108860
[pid=19279] ppid=19276 vsize=113128 memory=1472 CPUtime=332.98 cores=0,2,4,6
/proc/19279/stat : 19279 (scop.sh) S 19276 19279 12870 0 -1 4202496 581 105352 0 0 0 0 32703 595 20 0 1 0 406017127 115843072 368 33554432000 4194304 5098028 140735138587712 140735138584456 140423192617596 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29114368 140735138591587 140735138591856 140735138591856 140735138594765 0
/proc/19279/statm: 28282 368 311 221 0 87 0
[pid=19393] ppid=19279 vsize=7937364 memory=254024 CPUtime=61.32 cores=0,2,4,6
/proc/19393/stat : 19393 (java) S 19279 19279 12870 0 -1 1077944320 26872 330529 0 0 267 10 5825 30 20 0 17 0 406044733 8127860736 63506 33554432000 4194304 4196468 140720777962624 140720777945168 140121071869687 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
/proc/19393/statm: 1984341 63506 3240 1 0 1945685 0
[pid=19393/tid=19394] ppid=19279 vsize=7937364 memory=7191496 CPUtime=59.46 cores=0,2,4,6
/proc/19393/task/19394/stat : 19394 (java) R 19279 19279 12870 0 -1 4202560 17655 330529 0 0 86 5 5825 30 20 0 17 0 406044733 8127860736 63506 33554432000 4194304 4196468 140720777962624 140121043707680 140121071891034 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19395] ppid=19279 vsize=7937364 memory=120796 CPUtime=58.55 cores=0,2,4,6
/proc/19393/task/19395/stat : 19395 (java) S 19279 19279 12870 0 -1 1077944384 2 330529 0 0 0 0 5825 30 20 0 17 0 406044734 8127860736 63506 33554432000 4194304 4196468 140720777962624 140121076112400 140121071879893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19396] ppid=19279 vsize=7937364 memory=279300 CPUtime=58.55 cores=0,2,4,6
/proc/19393/task/19396/stat : 19396 (java) S 19279 19279 12870 0 -1 1077944384 1 330529 0 0 0 0 5825 30 20 0 17 0 406044734 8127860736 63506 33554432000 4194304 4196468 140720777962624 140120894200976 140121071879893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19397] ppid=19279 vsize=7937364 memory=120796 CPUtime=58.55 cores=0,2,4,6
/proc/19393/task/19397/stat : 19397 (java) S 19279 19279 12870 0 -1 1077944384 2 330529 0 0 0 0 5825 30 20 0 17 0 406044734 8127860736 63506 33554432000 4194304 4196468 140720777962624 140120555420432 140121071879893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19398] ppid=19279 vsize=7937364 memory=274480 CPUtime=58.55 cores=0,2,4,6
/proc/19393/task/19398/stat : 19398 (java) S 19279 19279 12870 0 -1 1077944384 1 330529 0 0 0 0 5825 30 20 0 17 0 406044735 8127860736 63506 33554432000 4194304 4196468 140720777962624 140120554367888 140121071879893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19399] ppid=19279 vsize=7937364 memory=3932 CPUtime=58.55 cores=0,2,4,6
/proc/19393/task/19399/stat : 19399 (java) S 19279 19279 12870 0 -1 1077944384 7 330529 0 0 0 0 5825 30 20 0 17 0 406044736 8127860736 63506 33554432000 4194304 4196468 140720777962624 140120384051440 140121071880834 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19400] ppid=19279 vsize=7937364 memory=2832 CPUtime=58.55 cores=0,2,4,6
/proc/19393/task/19400/stat : 19400 (java) S 19279 19279 12870 0 -1 1077944384 13 330529 0 0 0 0 5825 30 20 0 17 0 406044736 8127860736 63506 33554432000 4194304 4196468 140720777962624 140119885472928 140121071879893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19401] ppid=19279 vsize=7937364 memory=1548 CPUtime=58.55 cores=0,2,4,6
/proc/19393/task/19401/stat : 19401 (java) S 19279 19279 12870 0 -1 1077944384 1 330529 0 0 0 0 5825 30 20 0 17 0 406044737 8127860736 63506 33554432000 4194304 4196468 140720777962624 140119617037040 140121071879893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19402] ppid=19279 vsize=7937364 memory=1056 CPUtime=58.55 cores=0,2,4,6
/proc/19393/task/19402/stat : 19402 (java) S 19279 19279 12870 0 -1 1077944384 3 330529 0 0 0 0 5825 30 20 0 17 0 406044739 8127860736 63506 33554432000 4194304 4196468 140720777962624 140119242528720 140121071888283 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19403] ppid=19279 vsize=7937364 memory=744 CPUtime=59.05 cores=0,2,4,6
/proc/19393/task/19403/stat : 19403 (java) S 19279 19279 12870 0 -1 1077944384 2864 330529 0 0 50 0 5825 30 20 0 17 0 406044739 8127860736 63506 33554432000 4194304 4196468 140720777962624 140120382999280 140121071880834 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19404] ppid=19279 vsize=7937364 memory=8296 CPUtime=59.1 cores=0,2,4,6
/proc/19393/task/19404/stat : 19404 (java) S 19279 19279 12870 0 -1 1077944384 3121 330529 0 0 54 1 5825 30 20 0 17 0 406044739 8127860736 63506 33554432000 4194304 4196468 140720777962624 140120381946736 140121071880834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19405] ppid=19279 vsize=7937364 memory=5948 CPUtime=58.92 cores=0,2,4,6
/proc/19393/task/19405/stat : 19405 (java) R 19279 19279 12870 0 -1 4202560 1632 330529 0 0 37 0 5825 30 20 0 17 0 406044739 8127860736 63506 33554432000 4194304 4196468 140720777962624 140120380893680 140121064969534 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19406] ppid=19279 vsize=7937364 memory=1124 CPUtime=58.55 cores=0,2,4,6
/proc/19393/task/19406/stat : 19406 (java) S 19279 19279 12870 0 -1 1077944384 3 330529 0 0 0 0 5825 30 20 0 17 0 406044740 8127860736 63506 33554432000 4194304 4196468 140720777962624 140118744623968 140121071879893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19407] ppid=19279 vsize=7937364 memory=14008 CPUtime=58.58 cores=0,2,4,6
/proc/19393/task/19407/stat : 19407 (java) S 19279 19279 12870 0 -1 1077944384 5 330529 0 0 2 1 5825 30 20 0 17 0 406044740 8127860736 63506 33554432000 4194304 4196468 140720777962624 140120379841072 140121071880834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19409] ppid=19279 vsize=7937364 memory=11928 CPUtime=58.55 cores=0,2,4,6
/proc/19393/task/19409/stat : 19409 (java) S 19279 19279 12870 0 -1 1077944384 30 330529 0 0 0 0 5825 30 20 0 17 0 406044810 8127860736 63506 33554432000 4194304 4196468 140720777962624 140120371806736 140121071880834 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
[pid=19393/tid=19413] ppid=19279 vsize=7937364 memory=2124 CPUtime=58.55 cores=0,2,4,6
/proc/19393/task/19413/stat : 19413 (java) S 19279 19279 12870 0 -1 1077944384 16 330529 0 0 0 0 5825 30 20 0 17 0 406044813 8127860736 63506 33554432000 4194304 4196468 140720777962624 140117939316272 140121071880834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26062848 140720777966587 140720777966746 140720777966746 140720777969615 0
Current children cumulated CPU time: 394.3 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 255496 KiB

Child status: 0
Real time (s): 335.84
CPU time (s): 394.418
CPU user time (s): 388.035
CPU system time (s): 6.38331
CPU usage (%): 117.442
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 8214792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 388.035
system time used= 6.38331
maximum resident set size= 8213448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 463444
page faults= 0
swaps= 0
block input operations= 0
block output operations= 101648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15628
involuntary context switches= 1322


# summary of solver processes directly reported to runsolver:
#   pid: 19279
#   total CPU time (s): 394.418
#   total CPU user time (s): 388.035
#   total CPU system time (s): 6.38331

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.3075 second user time and 3.25786 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-12 16:10:18
IDJOB=4388344
IDBENCH=139919
IDSOLVER=2826
FILE ID=node151/4388344-1568297456
RUNJOBID= node151-1568286070-13983
PBS_JOBID= 21701060
Free space on /tmp= 56428 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd-herald/Crossword-m1c-ogd-h1502.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-4388344-1568297456/watcher-4388344-1568297456 -o /tmp/evaluation-result-4388344-1568297456/solver-4388344-1568297456 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568286070-13983 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388344-1568297456.xml

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

MD5SUM BENCH= f196bcf8028f955a9b1a207c833066c3
RANDOM SEED=892974075

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30444016 kB
MemAvailable:   31099432 kB
Buffers:          113344 kB
Cached:           830584 kB
SwapCached:        73000 kB
Active:          1324068 kB
Inactive:         449056 kB
Active(anon):     763716 kB
Inactive(anon):    96264 kB
Active(file):     560352 kB
Inactive(file):   352792 kB
Unevictable:      111232 kB
Mlocked:          111232 kB
SwapTotal:      67108860 kB
SwapFree:       66933016 kB
Dirty:             23636 kB
Writeback:             0 kB
AnonPages:        853176 kB
Mapped:            46592 kB
Shmem:             22284 kB
Slab:             144716 kB
SReclaimable:     116212 kB
SUnreclaim:        28504 kB
KernelStack:        4080 kB
PageTables:         7472 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6672504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    223232 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 56548 MiB
End job on node151 at 2019-09-12 16:15:54