Trace number 4387636

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)? (TO) 2520.13 2460.24

General information on the benchmark

NameRandom/Random-m1-7-40-8t/
rand-7-40-8-40-15000-9.xml
MD5SUM134b875ea7bd230347634fe517213ca9
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark11.0648
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints40
Number of domains1
Minimum domain size8
Maximum domain size8
Distribution of domain sizes[{"size":8,"count":40}]
Minimum variable degree1
Maximum variable degree13
Distribution of variable degrees[{"degree":1,"count":1},{"degree":2,"count":1},{"degree":3,"count":1},{"degree":4,"count":2},{"degree":5,"count":9},{"degree":6,"count":5},{"degree":7,"count":4},{"degree":8,"count":5},{"degree":9,"count":5},{"degree":10,"count":3},{"degree":11,"count":2},{"degree":13,"count":2}]
Minimum constraint arity7
Maximum constraint arity7
Distribution of constraint arities[{"arity":7,"count":40}]
Number of extensional constraints40
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":40}]
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-6510-serial-file.bin HOME/instance-4387636-1568286474.xml
0.66/0.52	
0.66/0.52	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.52	
0.66/0.55	c BEGIN-Prog: Thu Sep 12 13:07:15 CEST 2019
0.66/0.55	c PID: 6513
0.66/0.55	c IP: 172.20.3.124
0.66/0.55	c HOST: node124.alineos.net
0.66/0.56	c (0,0) Parsing Begin
3.67/2.16	c (1,1) Parsing End
3.67/2.17	c (1,1) CSP: 40 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 8
3.67/2.17	c (1,1) Heap : 1127 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
3.67/2.17	c (1,1) Constraint Name Generate Begin
3.67/2.17	c (1,1) Ctr:HOME/instance-4387636-1568286474.xml,ExtensionSupport:Var
3.67/2.17	c (1,1) Constraint Name Generate End
3.67/2.17	c (1,1) Heap : 1127 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
3.67/2.17	c (1,1) CSP to CSPinCNF Begin
28.96/16.02	c (15,15) translated 4 (10%) constraints
47.53/31.97	c (31,30) translated 8 (20%) constraints
66.27/48.08	c (47,45) translated 12 (30%) constraints
86.45/64.51	c (63,60) translated 16 (40%) constraints
103.84/80.29	c (79,76) translated 20 (50%) constraints
121.35/96.08	c (95,91) translated 24 (60%) constraints
138.31/111.73	c (111,106) translated 28 (70%) constraints
155.09/127.31	c (126,121) translated 32 (80%) constraints
172.78/143.17	c (142,136) translated 36 (90%) constraints
189.63/158.77	c (158,152) translated 40 (100%) constraints
193.43/162.59	c (162,155) ===========================================
194.17/163.23	c (162,156) Hybrid: #OE=249944, #LE=0
194.17/163.23	c (162,156) Hybrid
194.17/163.23	c (162,156) ===========================================
200.50/168.49	c (167,161) translated 239038 (10%) constraints
206.95/173.86	c (173,166) translated 478076 (20%) constraints
212.06/178.91	c (178,171) translated 717114 (30%) constraints
218.70/184.36	c (183,176) translated 956152 (40%) constraints
223.81/189.40	c (188,181) translated 1195190 (50%) constraints
230.36/194.83	c (194,186) translated 1434228 (60%) constraints
235.36/199.87	c (199,191) translated 1673266 (70%) constraints
242.11/205.32	c (204,196) translated 1912304 (80%) constraints
247.11/210.36	c (209,201) translated 2151342 (90%) constraints
253.67/215.78	c (215,206) translated 2390380 (100%) constraints
253.67/215.78	c (215,206) CSP to CSPinCNF End
253.78/215.88	c (215,207) CSP: 40 int (0 aux), 249904 bool (249904 aux), 2390380 ctr, max domain size 8
253.78/215.88	c (215,207) Heap : 3732 MiB used (max 10868 MiB), NonHeap : 26 MiB used (max 0 MiB)
253.78/215.88	c (215,207) CSPinCNF Propagation Begin
274.80/229.04	c (228,217) 0 values, 40 unsatisfiable literals, and 0 valid clauses are removed
274.80/229.04	c (228,217) CSPinCNF Propagation End
274.91/229.13	c (228,217) CSP: 40 int (0 aux), 249904 bool (249904 aux), 2390380 ctr, max domain size 8
274.91/229.13	c (228,217) Heap : 6451 MiB used (max 10900 MiB), NonHeap : 26 MiB used (max 0 MiB)
275.51/229.76	c (229,218) Hybrid: #OE=249944, #LE=0
275.51/229.76	c (229,218) Simplify CSPinCNF Begin
284.33/235.35	c (234,223) Simplify CSPinCNF End
284.43/235.43	c (234,223) CSP: 40 int (0 aux), 249904 bool (249904 aux), 2390380 ctr, max domain size 8
284.43/235.43	c (234,223) Heap : 6611 MiB used (max 10595 MiB), NonHeap : 26 MiB used (max 0 MiB)
284.43/235.43	c (234,223) Calculate Precise Domain Begin
284.43/235.43	c (234,223) 0 values are removed by re-calculation
284.43/235.43	c (234,223) Calculate Precise Domain End
284.53/235.52	c (234,223) CSP: 40 int (0 aux), 249904 bool (249904 aux), 2390380 ctr, max domain size 8
284.53/235.52	c (234,223) Heap : 6613 MiB used (max 10595 MiB), NonHeap : 27 MiB used (max 0 MiB)
284.53/235.52	c (234,223) CSPinCNF to SatSolver Begin
291.93/239.21	c (238,226) 239038 (10 %) CSP clauses are encoded (0 SAT variables, 239277 SAT clauses)
295.43/241.73	c (241,228) 478076 (20 %) CSP clauses are encoded (0 SAT variables, 478315 SAT clauses)
298.58/244.17	c (243,230) 717114 (30 %) CSP clauses are encoded (0 SAT variables, 717353 SAT clauses)
301.82/246.60	c (246,232) 956152 (40 %) CSP clauses are encoded (0 SAT variables, 956391 SAT clauses)
303.93/248.79	c (248,234) 1195190 (50 %) CSP clauses are encoded (0 SAT variables, 1195429 SAT clauses)
307.19/251.23	c (250,237) 1434228 (60 %) CSP clauses are encoded (0 SAT variables, 1434467 SAT clauses)
310.33/253.67	c (253,239) 1673266 (70 %) CSP clauses are encoded (0 SAT variables, 1673505 SAT clauses)
313.61/256.11	c (255,241) 1912304 (80 %) CSP clauses are encoded (0 SAT variables, 1912543 SAT clauses)
315.70/258.30	c (257,243) 2151342 (90 %) CSP clauses are encoded (0 SAT variables, 2151581 SAT clauses)
318.97/260.81	c (260,245) 2390380 (100 %) CSP clauses are encoded (0 SAT variables, 2390619 SAT clauses)
318.97/260.81	c (260,245) CSPinCNF to SatSolver End
318.97/260.81	c (260,245) Heap : 6569 MiB used (max 10820 MiB), NonHeap : 28 MiB used (max 0 MiB)
318.97/260.81	c (260,245) 250184 bool, 2390620 clause
318.97/260.81	c (260,245) Export Begin
319.12/260.91	c (260,245) Export to HOME/scop-6510-serial-file.bin
319.12/260.91	c (260,245) Export End
319.12/260.91	c (260,245) Export File Size: 0.01 MB
319.12/260.91	c (260,245) 1,1,215,228,234,234,260,STOP-AFTER(DIMACS)
319.12/260.91	c END-Prog: Thu Sep 12 13:11:35 CEST 2019
319.12/260.96	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-6510-serial-file.bin
319.79/261.50	c (0,0) Read Serial File Begin
319.79/261.50	c (0,0) HOME/scop-6510-serial-file.bin
320.09/261.71	c (0,0) Read Serial File End
320.09/261.72	
320.09/261.72	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
320.09/261.72	(Solving Process)
320.09/261.72	
320.09/261.74	c BEGIN-Prog: Thu Sep 12 13:11:36 CEST 2019
320.09/261.74	c PID: 6582
320.09/261.74	c IP: 172.20.3.124
320.09/261.74	c HOST: node124.alineos.net
320.09/261.75	c (0,0) SatSolver.solve Begin
320.09/261.75	c (0,0) HOME/cryptominisat5  HOME/instance-4387636-1568286474.xml-scop-6513.cnf
320.35/261.98	c (0,0) c Outputting solution to console
320.35/261.98	c (0,0) c CryptoMiniSat version 5.6.8
320.35/261.98	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
320.35/261.98	c (0,0) c CMS SHA revision GIT-notfound
320.35/261.98	c (0,0) c CMS is MIT licensed
320.35/261.98	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
320.35/261.98	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
320.35/261.98	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387636-1568286474.xml-scop-6513.cnf
320.35/261.98	c (0,0) c Reading file 'HOME/instance-4387636-1568286474.xml-scop-6513.cnf'
320.35/261.98	c (0,0) c -- header says num vars:         250184
320.35/261.98	c (0,0) c -- header says num clauses:     2390620
321.29/262.91	c (1,0) c -- clauses added: 2390620
321.29/262.91	c (1,0) c -- xor clauses added: 0
321.29/262.91	c (1,0) c -- vars added 250184
321.29/262.91	c (1,0) c Parsing time: 0.85 s
321.59/263.23	c (1,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
321.69/263.30	c (1,0) c [distill] long cls tried: 9/9 cl-short:9 lit-r:0 T: 0.07 T-out: N T-r: 99.63%
346.70/288.33	c (26,0) c [distill] long cls tried: 460/446 cl-short:460 lit-r:226 T: 3.67 T-out: N T-r: 81.18%
374.61/316.27	c (54,0) c [distill] long cls tried: 492/924 cl-short:492 lit-r:199 T: 2.70 T-out: N T-r: 86.19%
382.22/323.83	c (62,0) c   glue     1    54  8193  250184 2061K  328K    3.79    3.55  1070  2734  4403   119   57.15   56.36
421.65/363.28	c (101,0) c [distill] long cls tried: 1946/2834 cl-short:1946 lit-r:3224 T: 15.13 T-out: N T-r: 21.93%
453.66/395.20	c (133,0) c   geom     1    93 16386  250184 2061K  328K    3.79    3.55  3611  5620  7340   217   61.19   60.42
466.98/408.55	c (147,0) c [distill] long cls tried: 920/3726 cl-short:920 lit-r:3358 T: 6.60 T-out: N T-r: 65.79%
526.21/467.78	c (206,0) c [distill] long cls tried: 2337/6026 cl-short:2337 lit-r:7530 T: 19.42 T-out: N T-r: 0.40%
529.11/470.60	c (209,0) c   glue     1   113   24K  250184 2061K  328K    3.79    3.55  6097  6945 11794   317   59.24   58.52
600.57/542.10	c (280,0) c [distill] long cls tried: 2504/8612 cl-short:2504 lit-r:5244 T: 19.50 T-out: Y T-r: -0.09%
606.48/548.00	c (286,0) c   glue     1   163   32K  250184 2061K  328K    3.79    3.55  8696  9018 14444   433   59.79   59.02
659.70/601.13	c (339,0) c   glue     1   201   40K  250184 2061K  328K    3.79    3.55 10706  7218   22K   491   65.40   64.65
682.52/623.97	c (362,0) c [distill] long cls tried: 2275/10728 cl-short:2275 lit-r:2748 T: 18.01 T-out: N T-r: 7.64%
741.66/683.09	c (421,0) c   glue     1   237   49K  250184 2061K  328K    3.79    3.55 11684 11475   23K   602   63.57   62.78
790.89/732.22	c (470,0) c [distill] long cls tried: 2141/13611 cl-short:2140 lit-r:5993 T: 19.35 T-out: Y T-r: -0.07%
821.71/763.09	c (501,0) c   geom     1   267   57K  250184 2061K  328K    3.79    3.55 13879  9625   31K   697   64.00   63.22
890.35/831.66	c (570,0) c   glue     1   290   65K  250184 2061K  328K    3.79    3.55 16024 10225   30K   752   59.42   58.67
921.28/862.57	c (601,0) c [distill] long cls tried: 1936/16060 cl-short:1935 lit-r:7321 T: 19.43 T-out: Y T-r: -0.18%
942.19/883.44	c (622,0) c recursive minimization cost OK: 1401Kcost/(% lits removed)
942.19/883.44	c (622,0) c more minimization effectiveness low: 0.00 % lits removed --> disabling
942.29/883.51	c (622,0) c --> Executing strategy token: handle-comps
942.29/883.51	c (622,0) c --> Executing strategy token: scc-vrepl
942.29/883.51	c (622,0) c [scc] new: 174 BP 1M T: 0.07
942.39/883.67	c (622,0) c --> Executing strategy token: cache-clean
942.39/883.67	c (622,0) c --> Executing strategy token: cache-tryboth
942.39/883.67	c (622,0) c --> Executing strategy token: sub-impl
942.39/883.67	c (622,0) c [impl sub] bin: 80 T: 0.16 T-out: N w-visit: 500368
942.59/883.83	c (622,0) c --> Executing strategy token: intree-probe
942.59/883.83	c (622,0) c [scc] new: 174 BP 1M T: 0.07
942.99/884.25	c (622,0) c [vrep] vars 173 lits 1293150 rem-bin-cls 694 rem-long-cls 0 BP 16M T: 0.41
943.19/884.42	c (622,0) c [scc] new: 0 BP 1M T: 0.07
943.29/884.58	c (623,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 6M T: 0.15
957.00/898.27	c (636,0) c [intree] Set 0 vars hyper-added: 261700 trans-irred::0 trans-red::5192 T: 13.66 T-out: Y T-r: -7.97%
957.81/899.10	c (637,0) c --> Executing strategy token: probe
957.81/899.10	c (637,0) c --> Executing strategy token: sub-str-cls-with-bin
957.81/899.10	c (637,0) c [distill] cache-based irred--  cl tried    10324 cl-sh   446 cl-rem  222 lit-rem    446 T: 0.43 T-out: Y
957.81/899.10	c (637,0) c [distill] cache-based   red--  cl tried     9087 cl-sh    63 cl-rem    9 lit-rem     69 T: 0.29 T-out: Y
959.91/901.11	c (639,0) c --> Executing strategy token: distill-cls
959.91/901.11	c (639,0) c [distill] long cls tried: 192/2061411 cl-short:25 lit-r:9 T: 2.00 T-out: Y T-r: -0.62%
959.91/901.11	c (639,0) c [distill] long useful: 50/384/4122824 lits-rem: 18 0-depth-assigns: 0 T: 4.01 T-out: Y
959.91/901.18	c (639,0) c --> Executing strategy token: scc-vrepl
959.91/901.18	c (639,0) c [scc] new: 0 BP 1M T: 0.07
960.10/901.37	c (639,0) c --> Executing strategy token: sub-impl
960.10/901.37	c (639,0) c [impl sub] bin: 13 T: 0.19 T-out: N w-visit: 500368
960.20/901.43	c (640,0) c --> Executing strategy token: str-impl
960.20/901.43	c (640,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.06 T-out: N T-r: 95.68% w-visit: 500368
960.40/901.61	c (640,0) c --> Executing strategy token: sub-impl
960.40/901.61	c (640,0) c [impl sub] bin: 0 T: 0.18 T-out: N w-visit: 500368
960.60/901.87	c (640,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
960.60/901.87	c (640,0) c [occ] mem usage for occur    257 MB
961.41/902.64	c (641,0) c [occ] mem usage for occur     25 MB
961.71/902.96	c (641,0) c Mem for watch alloc      : 198         MB (48.56     %)
961.71/902.96	c (641,0) c Mem for watch array      : 11          MB (2.80      %)
966.51/907.78	c (646,0) c --> Executing OCC strategy token: occ-backw-sub-str
966.51/907.78	c (646,0) c [occ-backw-sub-str-long-w-bins] subs: 29988 str: 257508 tried: 1182130 0-depth ass: 0 T: 4.81 T-out: N T-r: 74.94%
967.71/908.97	c (647,0) c [occ-sub-long-w-long] rem cl: 685 tried: 2970833/2122495 (140.0%) T: 1.19 T-out: Y T-r: -0.00%
969.42/910.60	c (649,0) c [occ-sub-str-long-w-long] sub: 3 str: 390 tried: 3068556/2122495 (144.6)  T: 1.63 T-out: Y T-r: -0.00%
969.42/910.61	c (649,0) c [occ-sub-str-w-added-long]  sub: 0 str: 0 0-depth ass: 0 T: 0.00 T-out: Y T-r: 100.00%
969.62/910.84	c (649,0) c --> Executing OCC strategy token: occ-clean-implicit
969.62/910.84	c (649,0) c --> Executing OCC strategy token: occ-bve
969.62/910.84	c (649,0) c [occ-empty-res] Empty resolvent elimed: 0 T: 0.16 T-out: N
977.42/918.67	c (657,0) c [occ-bve] iter v-elim 12513
977.42/918.67	c (657,0) c cl_inc_rate=1.0, var_dec_rate=1.1 (grow=0)
977.52/918.70	c (657,0) c Reduced to 237498 vars, 2349424 cls (grow=0)
992.33/933.57	c (672,0) c [occ-bve] iter v-elim 45782
992.33/933.57	c (672,0) c cl_inc_rate=1.0, var_dec_rate=1.2 (grow=8)
992.43/933.62	c (672,0) c Reduced to 191716 vars, 2446722 cls (grow=8)
992.43/933.62	c (672,0) c x n vars       : 191716
992.43/933.63	c (672,0) c  #try to eliminate:   714K
992.43/933.63	c (672,0) c  #var-elim        :    58K
992.43/933.63	c (672,0) c  #T-o: N
992.43/933.63	c (672,0) c  #T-r: 96.56%
992.43/933.63	c (672,0) c  #T  : 22.75
992.43/933.63	c (672,0) c [occur] 1.15 is overhead
992.43/933.63	c (672,0) c [occur] link-in T: 1.15 cleanup T: 0.00
992.43/933.63	c (672,0) c --> Executing OCC strategy token: occ-bva
992.43/933.63	c (672,0) c [occ-bva] global numcalls: 0
993.03/934.26	c (672,0) c --> Executing OCC strategy token: occ-ternary-res
993.03/934.26	c (672,0) c --> Executing OCC strategy token: occ-xor
993.03/934.26	c (672,0) c [occ-xor] sort occur list T: 0.63
997.04/938.24	c (676,0) c [occ-xor] found     72 avg sz 3.0 min sz  3 max sz  3 T: 4.60 T-out: Y T-r: -0.00%
997.04/938.24	c (676,0) c [xor-together] xored together 14 xors orig num xors: 72 T: 0.00
997.04/938.24	c (676,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
997.84/939.03	c (677,0) c --> Executing strategy token: cl-consolidate
997.84/939.03	c (677,0) c [mem] consolidate  old-sz:   143M new-sz:    96M new bits offs: 0 T: 0.20
997.84/939.09	c (677,0) c --> Executing strategy token: str-impl
997.84/939.09	c (677,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.05 T-out: N T-r: 96.55% w-visit: 500368
998.75/939.92	c (678,0) c --> Executing strategy token: cache-clean
998.75/939.92	c (678,0) c --> Executing strategy token: sub-str-cls-with-bin
998.75/939.92	c (678,0) c [distill] cache-based irred--  cl tried     6459 cl-sh     0 cl-rem   45 lit-rem      0 T: 0.44 T-out: Y
998.75/939.92	c (678,0) c [distill] cache-based   red--  cl tried     4950 cl-sh    20 cl-rem    0 lit-rem     22 T: 0.28 T-out: Y
1000.25/941.41	c (679,0) c --> Executing strategy token: distill-cls
1000.25/941.41	c (679,0) c [distill] long cls tried: 137/2219677 cl-short:38 lit-r:23 T: 1.49 T-out: Y T-r: -0.91%
1000.25/941.41	c (679,0) c [distill] long useful: 76/274/4439360 lits-rem: 46 0-depth-assigns: 0 T: 2.98 T-out: Y
1000.25/941.48	c (680,0) c --> Executing strategy token: scc-vrepl
1000.25/941.48	c (680,0) c [scc] new: 1 BP 1M T: 0.06
1000.45/941.67	c (680,0) c --> Executing strategy token: check-cache-size
1000.45/941.67	c (680,0) c --> Executing strategy token: renumber
1000.45/941.67	c (680,0) c [xor-clean] T: 0.00
1000.76/941.97	c (680,0) c [renumber] T: 0.49
1000.76/941.99	c (680,0) c --> Executing strategy token: sls
1000.76/941.99	c (680,0) c [consolidate] mini T: 0.00
1000.76/941.99	c (680,0) c global_timeout_multiplier: 4.40
1000.97/942.12	c (680,0) c clause size stats. size3: 811300 size4: 1005120 size5: 185492 larger: 217765
1039.18/980.31	c (718,0) c   luby     0   330   73K  191716 2219K  227K    4.06    3.87 13724  6664 16110  191K   15.65    4.18
1128.73/1069.85	c (808,0) c   luby     0   362   81K  191716 2219K  227K    4.06    3.87 15463  6870 19265  191K   15.49    4.40
1167.46/1108.50	c (847,0) c [distill] long cls tried: 2520/15554 cl-short:2511 lit-r:2197 T: 18.22 T-out: Y T-r: -0.04%
1229.50/1170.54	c (909,0) c   luby     0   380   90K  191716 2219K  227K    4.06    3.87 17197  8327   20K  192K   16.01    4.72
1317.07/1258.08	c (996,0) c   luby     0   412   98K  191716 2219K  227K    4.06    3.87 17786 10058   26K  192K   16.35    5.16
1401.82/1342.73	c (1081,0) c [distill] long cls tried: 2497/19137 cl-short:2494 lit-r:2221 T: 18.95 T-out: Y T-r: -0.06%
1430.93/1371.84	c (1110,0) c   luby     0   437  106K  191716 2219K  227K    4.06    3.87 19439 10462   26K  192K   16.32    5.26
1523.41/1464.27	c (1202,0) c   luby     0   438  114K  191716 2219K  227K    4.06    3.87   20K  8557   35K  192K   16.70    5.71
1607.05/1547.81	c (1286,0) c   luby     0   469  122K  191716 2219K  227K    4.06    3.87   22K  9028   32K  192K   16.93    5.71
1665.79/1606.58	c (1345,0) c [distill] long cls tried: 2687/22540 cl-short:2687 lit-r:3014 T: 18.86 T-out: Y T-r: -0.04%
1694.21/1634.91	c (1373,0) c   luby     0   500  131K  191716 2219K  227K    4.06    3.87   23K  7317   41K  192K   18.35    6.44
1778.56/1719.28	c (1457,0) c   luby     0   527  139K  191716 2219K  227K    4.06    3.87   24K 11744   35K  192K   18.60    6.46
1862.52/1803.12	c (1541,0) c   luby     0   559  147K  191716 2219K  227K    4.06    3.87   25K  9500   44K  192K   19.31    7.04
1941.77/1882.32	c (1620,0) c   luby     0   565  155K  191716 2219K  227K    4.06    3.87   26K 10300   37K  192K   20.18    7.08
1998.61/1939.12	c (1677,0) c [distill] long cls tried: 2445/27304 cl-short:2444 lit-r:2611 T: 19.03 T-out: Y T-r: -0.03%
2032.93/1973.43	c (1712,0) c   luby     0   566  163K  191716 2219K  227K    4.06    3.87   27K  8955   46K  193K   21.06    7.73
2069.26/2009.79	c (1748,0) c recursive minimization cost OK: 551Kcost/(% lits removed)
2069.36/2009.86	c (1748,0) c --> Executing strategy token: handle-comps
2069.36/2009.86	c (1748,0) c --> Executing strategy token: scc-vrepl
2069.36/2009.86	c (1748,0) c [scc] new: 13 BP 1M T: 0.06
2069.56/2010.04	c (1748,0) c --> Executing strategy token: cache-clean
2069.56/2010.04	c (1748,0) c --> Executing strategy token: cache-tryboth
2069.56/2010.04	c (1748,0) c --> Executing strategy token: sub-impl
2069.56/2010.04	c (1748,0) c [impl sub] bin: 2316 T: 0.19 T-out: N w-visit: 383432
2069.86/2010.30	c (1748,0) c --> Executing strategy token: intree-probe
2069.86/2010.30	c (1748,0) c [scc] new: 13 BP 1M T: 0.06
2070.36/2010.80	c (1749,0) c [vrep] vars 13 lits 166039 rem-bin-cls 52 rem-long-cls 59359 BP 8M T: 0.49
2070.56/2011.05	c (1749,0) c [scc] new: 0 BP 1M T: 0.06
2070.96/2011.45	c (1750,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 6M T: 0.40
2084.36/2024.88	c (1763,0) c [intree] Set 0 vars hyper-added: 255696 trans-irred::44 trans-red::3844 T: 13.42 T-out: Y T-r: -0.02%
2085.06/2025.52	c (1764,0) c --> Executing strategy token: probe
2085.06/2025.52	c (1764,0) c --> Executing strategy token: sub-str-cls-with-bin
2085.06/2025.52	c (1764,0) c [distill] cache-based irred--  cl tried     4815 cl-sh     4 cl-rem   55 lit-rem      5 T: 0.28 T-out: Y
2085.06/2025.52	c (1764,0) c [distill] cache-based   red--  cl tried     5060 cl-sh    42 cl-rem    8 lit-rem     46 T: 0.16 T-out: Y
2086.97/2027.41	c (1765,0) c --> Executing strategy token: distill-cls
2086.97/2027.41	c (1765,0) c [distill] long cls tried: 196/2185623 cl-short:54 lit-r:32 T: 1.88 T-out: Y T-r: -1.10%
2086.97/2027.41	c (1765,0) c [distill] long useful: 108/392/4371248 lits-rem: 64 0-depth-assigns: 0 T: 3.77 T-out: Y
2086.97/2027.47	c (1766,0) c --> Executing strategy token: scc-vrepl
2086.97/2027.47	c (1766,0) c [scc] new: 8 BP 1M T: 0.06
2087.17/2027.67	c (1766,0) c --> Executing strategy token: sub-impl
2087.17/2027.67	c (1766,0) c [impl sub] bin: 20 T: 0.20 T-out: N w-visit: 383432
2087.27/2027.74	c (1766,0) c --> Executing strategy token: str-impl
2087.27/2027.74	c (1766,0) c [impl str] lit bin: 95 (by stamp: 0) set-var: 95 T: 0.06 T-out: N T-r: 95.61% w-visit: 383432
2087.47/2027.92	c (1766,0) c --> Executing strategy token: sub-impl
2087.47/2027.92	c (1766,0) c [impl sub] bin: 0 T: 0.19 T-out: N w-visit: 383432
2087.76/2028.21	c (1766,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
2087.76/2028.21	c (1766,0) c [occ] mem usage for occur    285 MB
2088.57/2029.02	c (1767,0) c [occ] mem usage for occur     22 MB
2088.86/2029.31	c (1767,0) c Mem for watch alloc      : 240         MB (43.68     %)
2088.86/2029.31	c (1767,0) c Mem for watch array      : 8           MB (1.59      %)
2090.16/2030.68	c (1769,0) c --> Executing OCC strategy token: occ-backw-sub-str
2090.16/2030.68	c (1769,0) c [occ-backw-sub-str-long-w-bins] subs: 13389 str: 18624 tried: 4289063 0-depth ass: 0 T: 1.37 T-out: N T-r: 55.11%
2090.86/2031.37	c (1769,0) c [occ-sub-long-w-long] rem cl: 1735 tried: 1293736/2235710 (57.9%) T: 0.70 T-out: Y T-r: -0.03%
2092.87/2033.37	c (1771,0) c [occ-sub-str-long-w-long] sub: 2234 str: 2512 tried: 2617876/2235710 (117.1)  T: 2.00 T-out: Y T-r: -0.01%
2092.87/2033.37	c (1771,0) c [occ-sub-str-w-added-long]  sub: 0 str: 0 0-depth ass: 0 T: 0.00 T-out: Y T-r: 100.00%
2093.17/2033.65	c (1772,0) c --> Executing OCC strategy token: occ-clean-implicit
2093.17/2033.65	c (1772,0) c --> Executing OCC strategy token: occ-bve
2093.17/2033.65	c (1772,0) c [occ-empty-res] Empty resolvent elimed: 0 T: 0.21 T-out: N
2098.78/2039.24	c (1777,0) c [occ-bve] iter v-elim 112
2098.78/2039.24	c (1777,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=0)
2098.78/2039.28	c (1777,0) c Reduced to 191496 vars, 2391978 cls (grow=0)
2105.98/2046.45	c (1785,0) c [occ-bve] iter v-elim 2359
2105.98/2046.45	c (1785,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=8)
2105.98/2046.49	c (1785,0) c Reduced to 189137 vars, 2395236 cls (grow=8)
2105.98/2046.49	c (1785,0) c x n vars       : 189137
2105.98/2046.49	c (1785,0) c  #try to eliminate:   401K
2105.98/2046.49	c (1785,0) c  #var-elim        :   2471
2105.98/2046.49	c (1785,0) c  #T-o: N
2105.98/2046.49	c (1785,0) c  #T-r: 97.93%
2105.98/2046.49	c (1785,0) c  #T  : 12.84
2105.98/2046.49	c (1785,0) c [occur] 1.15 is overhead
2105.98/2046.49	c (1785,0) c [occur] link-in T: 1.15 cleanup T: 0.00
2105.98/2046.49	c (1785,0) c --> Executing OCC strategy token: occ-bva
2105.98/2046.49	c (1785,0) c [occ-bva] global numcalls: 1
2106.70/2047.13	c (1785,0) c --> Executing OCC strategy token: occ-ternary-res
2106.70/2047.13	c (1785,0) c --> Executing OCC strategy token: occ-xor
2106.70/2047.13	c (1785,0) c [occ-xor] sort occur list T: 0.63
2111.19/2051.62	c (1790,0) c [occ-xor] found     75 avg sz 3.0 min sz  3 max sz  3 T: 5.13 T-out: Y T-r: -0.00%
2111.19/2051.62	c (1790,0) c [xor-together] xored together 5 xors orig num xors: 75 T: 0.00
2111.19/2051.62	c (1790,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
2111.79/2052.20	c (1790,0) c --> Executing strategy token: cl-consolidate
2111.79/2052.20	c (1790,0) c Not consolidating memory.
2111.79/2052.26	c (1790,0) c --> Executing strategy token: str-impl
2111.79/2052.26	c (1790,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.06 T-out: N T-r: 95.66% w-visit: 383432
2112.39/2052.89	c (1791,0) c --> Executing strategy token: cache-clean
2112.39/2052.89	c (1791,0) c --> Executing strategy token: sub-str-cls-with-bin
2112.39/2052.89	c (1791,0) c [distill] cache-based irred--  cl tried     3322 cl-sh     0 cl-rem   21 lit-rem      0 T: 0.28 T-out: Y
2112.39/2052.89	c (1791,0) c [distill] cache-based   red--  cl tried     3255 cl-sh     3 cl-rem    3 lit-rem      4 T: 0.16 T-out: Y
2114.29/2054.72	c (1793,0) c --> Executing strategy token: distill-cls
2114.29/2054.72	c (1793,0) c [distill] long cls tried: 155/2169318 cl-short:51 lit-r:31 T: 1.83 T-out: Y T-r: -1.48%
2114.29/2054.72	c (1793,0) c [distill] long useful: 102/310/4338640 lits-rem: 62 0-depth-assigns: 0 T: 3.66 T-out: Y
2114.29/2054.78	c (1793,0) c --> Executing strategy token: scc-vrepl
2114.29/2054.78	c (1793,0) c [scc] new: 8 BP 1M T: 0.06
2114.29/2054.78	c (1793,0) c --> Executing strategy token: check-cache-size
2114.29/2054.78	c (1793,0) c --> Executing strategy token: renumber
2114.29/2054.78	c (1793,0) c --> Executing strategy token: sls
2114.29/2054.78	c (1793,0) c [consolidate] mini T: 0.00
2114.29/2054.78	c (1793,0) c global_timeout_multiplier: 4.8
2115.19/2055.68	c (1794,0) c [features] numVars 188962, numClauses 2395216, var_cl_ratio 0.1, binary 0.1, horn 0.4, horn_mean 0.0, horn_std 0.0, horn_min 0.0, horn_max 0.0, horn_spread 0.0, vcg_var_mean 0.0, vcg_var_std 16.3, vcg_var_min 0.0, vcg_var_max 0.0, vcg_var_spread 0.0, vcg_cls_mean 0.0, vcg_cls_std 0.4, vcg_cls_min 0.0, vcg_cls_max 0.0, vcg_cls_spread 0.0, pnr_var_mean 0.5, pnr_var_std 0.3, pnr_var_min 0.0, pnr_var_max 1.0, pnr_var_spread 1.0, pnr_cls_mean 0.6, pnr_cls_std 0.4, pnr_cls_min 0.0, pnr_cls_max 1.0, pnr_cls_spread 1.0, avg_confl_size 41.3, confl_size_min 2.0, confl_size_max 3510.0, avg_confl_glue 8.4, confl_glue_min 2.0, confl_glue_max 50.0, avg_num_resolutions 0.0, num_resolutions_min 0.0, num_resolutions_max 0.0, learnt_bins_per_confl 0.0, avg_branch_depth 12.0, branch_depth_min 2.0, branch_depth_max 62.0, avg_trail_depth_delta 21482.7, trail_depth_delta_min 2.0, trail_depth_delta_max 112075.0, avg_branch_depth_delta 1.7, props_per_confl 0.0, confl_per_restart 296.8, decisions_per_conflict 1.9, irred_cl_distrib.glue_distr_mean 999.7, irred_cl_distrib.glue_distr_var 307.0, irred_cl_distrib.size_distr_mean 4.1, irred_cl_distrib.size_distr_var 1.9, irred_cl_distrib.uip_use_distr_mean 0, irred_cl_distrib.uip_use_distr_var 0, irred_cl_distrib.activity_distr_mean 0.0, irred_cl_distrib.activity_distr_var 6562337.0, red_cl_distrib.glue_distr_mean 2.8, red_cl_distrib.glue_distr_var 0.2, red_cl_distrib.size_distr_mean 9.3, red_cl_distrib.size_distr_var 90.9, red_cl_distrib.uip_use_distr_mean 0, red_cl_distrib.uip_use_distr_var 0, red_cl_distrib.activity_distr_mean 21417.2, red_cl_distrib.activity_distr_var 13282289724.7, num_gates_found_last 0, num_xors_found_last 75
2115.29/2055.73	c (1794,0) c clause size stats. size3: 796065 size4: 970124 size5: 182380 larger: 220749
2150.92/2091.30	c (1829,0) c   luby     0   588  172K  189137 2169K  225K    4.07    3.88   26K  4643   20K  436K   16.90    3.57
2224.17/2164.58	c (1903,0) c   luby     0   620  180K  189137 2169K  225K    4.07    3.88   27K  6467   22K  436K   17.80    3.81
2300.72/2241.03	c (1979,0) c   luby     0   637  188K  189137 2169K  225K    4.07    3.88   28K  8284   28K  437K   18.89    4.19
2385.57/2325.84	c (2064,0) c [distill] long cls tried: 2466/29474 cl-short:2460 lit-r:2502 T: 20.68 T-out: Y T-r: -0.02%
2398.67/2338.94	c (2077,0) c   luby     0   668  196K  188650 2169K  225K    4.07    3.88   29K 12450   24K  437K   18.22    4.14
2484.73/2424.96	c (2163,0) c   luby     0   693  204K  188650 2169K  225K    4.07    3.88   31K 11177   32K  437K   18.95    4.47
2520.05/2460.20	c (2198,0) receiving signal SIGTERM
2520.05/2460.20	s UNKNOWN
2520.05/2460.21	c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.05/2460.21	c (scop.sh) Remove HOME/scop-6510-serial-file.bin.
2520.05/2460.21	c (scop.sh) Killing background jobs.
2520.05/2460.21	c (2198,0) receiving signal SIGTERM

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387636-1568286474/watcher-4387636-1568286474 -o /tmp/evaluation-result-4387636-1568286474/solver-4387636-1568286474 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568286434-6492 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387636-1568286474.xml 

running on 4 cores: 1,3,5,7

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

solver pid=6510, runsolver pid=6507

[startup+0.100139 s]*
/proc/loadavg: 1.00 1.18 1.59 3/210 6527
/proc/meminfo: memFree=17410028/32770624 swapFree=66959212/67108860
[pid=6510] ppid=6507 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6510/stat : 6510 (scop.sh) S 6507 6510 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404587618 115843072 349 33554432000 4194304 5098028 140731374527648 140731374524904 139996110217852 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32968704 140731374535523 140731374535792 140731374535792 140731374538701 0
/proc/6510/statm: 28282 349 296 221 0 87 0
[pid=6513] ppid=6510 vsize=15012696 memory=70488 CPUtime=0.11 cores=1,3,5,7
/proc/6513/stat : 6513 (java) S 6510 6510 5595 0 -1 1077944320 6377 0 0 0 9 2 0 0 20 0 15 0 404587618 15373000704 17622 33554432000 4194304 4196468 140731110558560 140731110541104 140127044718327 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
/proc/6513/statm: 3753174 17622 2942 1 0 3715579 0
[pid=6513/tid=6514] ppid=6510 vsize=15012696 memory=8514701219931451533 CPUtime=0.08 cores=1,3,5,7
/proc/6513/task/6514/stat : 6514 (java) R 6510 6510 5595 0 -1 4202560 4264 0 0 0 7 1 0 0 20 0 15 0 404587618 15373000704 17688 33554432000 4194304 4196468 140731110558560 140127016512232 140127026281904 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6515] ppid=6510 vsize=15012696 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6515/stat : 6515 (java) S 6510 6510 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404587620 15373000704 17688 33554432000 4194304 4196468 140731110558560 140127048961040 140127044728533 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6516] ppid=6510 vsize=15012696 memory=140582707132032 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6516/stat : 6516 (java) S 6510 6510 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404587620 15373000704 17688 33554432000 4194304 4196468 140731110558560 140126867049616 140127044728533 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6517] ppid=6510 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6517/stat : 6517 (java) S 6510 6510 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404587620 15373000704 17688 33554432000 4194304 4196468 140731110558560 140126865996560 140127044728533 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6518] ppid=6510 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6518/stat : 6518 (java) S 6510 6510 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404587620 15373000704 17688 33554432000 4194304 4196468 140731110558560 140126503644048 140127044728533 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6519] ppid=6510 vsize=15012696 memory=140582707132032 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6519/stat : 6519 (java) S 6510 6510 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404587621 15373000704 17688 33554432000 4194304 4196468 140731110558560 140126082382064 140127044729474 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6520] ppid=6510 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6520/stat : 6520 (java) S 6510 6510 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404587622 15373000704 17688 33554432000 4194304 4196468 140731110558560 140125455508640 140127044728533 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6521] ppid=6510 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6521/stat : 6521 (java) S 6510 6510 5595 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404587622 15373000704 17688 33554432000 4194304 4196468 140731110558560 140125321286384 140127044728533 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6522] ppid=6510 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6522/stat : 6522 (java) S 6510 6510 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404587624 15373000704 17688 33554432000 4194304 4196468 140731110558560 140124946782160 140127044736923 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6523] ppid=6510 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6523/stat : 6523 (java) S 6510 6510 5595 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 404587624 15373000704 17688 33554432000 4194304 4196468 140731110558560 140126081329904 140127044729474 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6524] ppid=6510 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6524/stat : 6524 (java) S 6510 6510 5595 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 404587624 15373000704 17688 33554432000 4194304 4196468 140731110558560 140126080277360 140127044729474 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6525] ppid=6510 vsize=15012696 memory=140582707132032 CPUtime=0.01 cores=1,3,5,7
/proc/6513/task/6525/stat : 6525 (java) R 6510 6510 5595 0 -1 4202560 436 0 0 0 1 0 0 0 20 0 15 0 404587624 15373000704 17688 33554432000 4194304 4196468 140731110558560 140126079221512 140127028798814 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6526] ppid=6510 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6526/stat : 6526 (java) S 6510 6510 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404587625 15373000704 17688 33554432000 4194304 4196468 140731110558560 140124448877408 140127044728533 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6527] ppid=6510 vsize=15012696 memory=140582707132032 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6527/stat : 6527 (java) S 6510 6510 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404587625 15373000704 17688 33554432000 4194304 4196468 140731110558560 140126078171696 140127044729474 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 71884 KiB

[startup+0.210719 s]*
/proc/loadavg: 1.00 1.18 1.59 3/210 6527
/proc/meminfo: memFree=17384056/32770624 swapFree=66959212/67108860
[pid=6510] ppid=6507 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6510/stat : 6510 (scop.sh) S 6507 6510 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404587618 115843072 349 33554432000 4194304 5098028 140731374527648 140731374524904 139996110217852 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32968704 140731374535523 140731374535792 140731374535792 140731374538701 0
/proc/6510/statm: 28282 349 296 221 0 87 0
[pid=6513] ppid=6510 vsize=15012696 memory=85844 CPUtime=0.25 cores=1,3,5,7
/proc/6513/stat : 6513 (java) S 6510 6510 5595 0 -1 1077944320 11587 0 0 0 21 4 0 0 20 0 15 0 404587618 15373000704 21461 33554432000 4194304 4196468 140731110558560 140731110541104 140127044718327 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
/proc/6513/statm: 3753174 21461 2947 1 0 3715579 0
[pid=6513/tid=6514] ppid=6510 vsize=15012696 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/6513/task/6514/stat : 6514 (java) R 6510 6510 5595 0 -1 4202560 9326 0 0 0 17 3 0 0 20 0 15 0 404587618 15373000704 21461 33554432000 4194304 4196468 140731110558560 140127016533568 140127028798814 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6515] ppid=6510 vsize=15012696 memory=343 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6515/stat : 6515 (java) S 6510 6510 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404587620 15373000704 21461 33554432000 4194304 4196468 140731110558560 140127048961040 140127044728533 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6516] ppid=6510 vsize=15012696 memory=140582707138802 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6516/stat : 6516 (java) S 6510 6510 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404587620 15373000704 21461 33554432000 4194304 4196468 140731110558560 140126867049616 140127044728533 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6517] ppid=6510 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6517/stat : 6517 (java) S 6510 6510 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404587620 15373000704 21461 33554432000 4194304 4196468 140731110558560 140126865996560 140127044728533 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6518] ppid=6510 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6518/stat : 6518 (java) S 6510 6510 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404587620 15373000704 21461 33554432000 4194304 4196468 140731110558560 140126503644048 140127044728533 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6519] ppid=6510 vsize=15012696 memory=140582707132032 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6519/stat : 6519 (java) S 6510 6510 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404587621 15373000704 21461 33554432000 4194304 4196468 140731110558560 140126082382064 140127044729474 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6520] ppid=6510 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6520/stat : 6520 (java) S 6510 6510 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404587622 15373000704 21461 33554432000 4194304 4196468 140731110558560 140125455508640 140127044728533 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6521] ppid=6510 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6521/stat : 6521 (java) S 6510 6510 5595 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404587622 15373000704 21461 33554432000 4194304 4196468 140731110558560 140125321286384 140127044728533 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6522] ppid=6510 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6522/stat : 6522 (java) S 6510 6510 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404587624 15373000704 21461 33554432000 4194304 4196468 140731110558560 140124946782160 140127044736923 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6523] ppid=6510 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6523/stat : 6523 (java) S 6510 6510 5595 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 404587624 15373000704 21461 33554432000 4194304 4196468 140731110558560 140126081329904 140127044729474 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6524] ppid=6510 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6524/stat : 6524 (java) S 6510 6510 5595 0 -1 1077944384 177 0 0 0 0 0 0 0 20 0 15 0 404587624 15373000704 21527 33554432000 4194304 4196468 140731110558560 140126080277360 140127044729474 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6525] ppid=6510 vsize=15012696 memory=140582707132032 CPUtime=0.03 cores=1,3,5,7
/proc/6513/task/6525/stat : 6525 (java) S 6510 6510 5595 0 -1 1077944384 455 0 0 0 3 0 0 0 20 0 15 0 404587624 15373000704 21527 33554432000 4194304 4196468 140731110558560 140126079224304 140127044729474 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6526] ppid=6510 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6526/stat : 6526 (java) S 6510 6510 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404587625 15373000704 21527 33554432000 4194304 4196468 140731110558560 140124448877408 140127044728533 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6527] ppid=6510 vsize=15012696 memory=140582707132032 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6527/stat : 6527 (java) S 6510 6510 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404587625 15373000704 21527 33554432000 4194304 4196468 140731110558560 140126078171696 140127044729474 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87240 KiB

[startup+0.310568 s]*
/proc/loadavg: 1.00 1.18 1.59 3/210 6527
/proc/meminfo: memFree=17374320/32770624 swapFree=66959212/67108860
[pid=6510] ppid=6507 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6510/stat : 6510 (scop.sh) S 6507 6510 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404587618 115843072 349 33554432000 4194304 5098028 140731374527648 140731374524904 139996110217852 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32968704 140731374535523 140731374535792 140731374535792 140731374538701 0
/proc/6510/statm: 28282 349 296 221 0 87 0
[pid=6513] ppid=6510 vsize=15012696 memory=90136 CPUtime=0.43 cores=1,3,5,7
/proc/6513/stat : 6513 (java) S 6510 6510 5595 0 -1 1077944320 12078 0 0 0 39 4 0 0 20 0 15 0 404587618 15373000704 22534 33554432000 4194304 4196468 140731110558560 140731110541104 140127044718327 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
/proc/6513/statm: 3753174 22534 3079 1 0 3715579 0
[pid=6513/tid=6514] ppid=6510 vsize=15012696 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/6513/task/6514/stat : 6514 (java) R 6510 6510 5595 0 -1 4202560 9593 0 0 0 27 3 0 0 20 0 15 0 404587618 15373000704 22534 33554432000 4194304 4196468 140731110558560 140127016548400 140127026281856 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6515] ppid=6510 vsize=15012696 memory=1965941 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6515/stat : 6515 (java) S 6510 6510 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404587620 15373000704 22534 33554432000 4194304 4196468 140731110558560 140127048961040 140127044728533 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6516] ppid=6510 vsize=15012696 memory=140582710054175 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6516/stat : 6516 (java) S 6510 6510 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404587620 15373000704 22534 33554432000 4194304 4196468 140731110558560 140126867049616 140127044728533 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6517] ppid=6510 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6517/stat : 6517 (java) S 6510 6510 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404587620 15373000704 22534 33554432000 4194304 4196468 140731110558560 140126865996560 140127044728533 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6518] ppid=6510 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6518/stat : 6518 (java) S 6510 6510 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404587620 15373000704 22534 33554432000 4194304 4196468 140731110558560 140126503644048 140127044728533 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6519] ppid=6510 vsize=15012696 memory=140582707132032 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6519/stat : 6519 (java) S 6510 6510 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404587621 15373000704 22534 33554432000 4194304 4196468 140731110558560 140126082382064 140127044729474 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6520] ppid=6510 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6520/stat : 6520 (java) S 6510 6510 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404587622 15373000704 22534 33554432000 4194304 4196468 140731110558560 140125455508640 140127044728533 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6521] ppid=6510 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6521/stat : 6521 (java) S 6510 6510 5595 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404587622 15373000704 22534 33554432000 4194304 4196468 140731110558560 140125321286384 140127044728533 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6522] ppid=6510 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6522/stat : 6522 (java) S 6510 6510 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404587624 15373000704 22534 33554432000 4194304 4196468 140731110558560 140124946782160 140127044736923 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6523] ppid=6510 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6513/task/6523/stat : 6523 (java) S 6510 6510 5595 0 -1 1077944384 352 0 0 0 2 0 0 0 20 0 15 0 404587624 15373000704 22534 33554432000 4194304 4196468 140731110558560 140126081329904 140127044729474 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6524] ppid=6510 vsize=15012696 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/6513/task/6524/stat : 6524 (java) S 6510 6510 5595 0 -1 1077944384 281 0 0 0 2 0 0 0 20 0 15 0 404587624 15373000704 22534 33554432000 4194304 4196468 140731110558560 140126080277360 140127044729474 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6525] ppid=6510 vsize=15012696 memory=140582707132032 CPUtime=0.07 cores=1,3,5,7
/proc/6513/task/6525/stat : 6525 (java) S 6510 6510 5595 0 -1 1077944384 501 0 0 0 7 0 0 0 20 0 15 0 404587624 15373000704 22534 33554432000 4194304 4196468 140731110558560 140126079224304 140127044729474 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6526] ppid=6510 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6526/stat : 6526 (java) S 6510 6510 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404587625 15373000704 22534 33554432000 4194304 4196468 140731110558560 140124448877408 140127044728533 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6527] ppid=6510 vsize=15012696 memory=140582707132032 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6527/stat : 6527 (java) S 6510 6510 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404587625 15373000704 22534 33554432000 4194304 4196468 140731110558560 140126078171696 140127044729474 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91532 KiB

[startup+0.700811 s]
/proc/loadavg: 1.00 1.18 1.59 3/210 6527
/proc/meminfo: memFree=17339708/32770624 swapFree=66959212/67108860
[pid=6510] ppid=6507 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6510/stat : 6510 (scop.sh) S 6507 6510 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404587618 115843072 349 33554432000 4194304 5098028 140731374527648 140731374524904 139996110217852 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32968704 140731374535523 140731374535792 140731374535792 140731374538701 0
/proc/6510/statm: 28282 349 296 221 0 87 0
[pid=6513] ppid=6510 vsize=15018968 memory=129588 CPUtime=1.02 cores=1,3,5,7
/proc/6513/stat : 6513 (java) S 6510 6510 5595 0 -1 1077944320 19637 0 0 0 95 7 0 0 20 0 15 0 404587618 15379423232 32397 33554432000 4194304 4196468 140731110558560 140731110541104 140127044718327 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
/proc/6513/statm: 3754742 32397 3182 1 0 3716091 0
[pid=6513/tid=6514] ppid=6510 vsize=15018968 memory=14048 CPUtime=0.67 cores=1,3,5,7
/proc/6513/task/6514/stat : 6514 (java) R 6510 6510 5595 0 -1 4202560 16612 0 0 0 62 5 0 0 20 0 15 0 404587618 15379423232 32397 33554432000 4194304 4196468 140731110558560 140127016555808 140127044740253 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6515] ppid=6510 vsize=15018968 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6515/stat : 6515 (java) S 6510 6510 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404587620 15379423232 32397 33554432000 4194304 4196468 140731110558560 140127048961040 140127044728533 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6516] ppid=6510 vsize=15018968 memory=500 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6516/stat : 6516 (java) S 6510 6510 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404587620 15379423232 32397 33554432000 4194304 4196468 140731110558560 140126867049616 140127044728533 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6517] ppid=6510 vsize=15018968 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6517/stat : 6517 (java) S 6510 6510 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404587620 15379423232 32397 33554432000 4194304 4196468 140731110558560 140126865996560 140127044728533 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6518] ppid=6510 vsize=15018968 memory=928 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6518/stat : 6518 (java) S 6510 6510 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404587620 15379423232 32397 33554432000 4194304 4196468 140731110558560 140126503644048 140127044728533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6519] ppid=6510 vsize=15018968 memory=7305218370954617941 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6519/stat : 6519 (java) S 6510 6510 5595 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404587621 15379423232 32397 33554432000 4194304 4196468 140731110558560 140126082382064 140127044729474 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6520] ppid=6510 vsize=15018968 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6520/stat : 6520 (java) S 6510 6510 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404587622 15379423232 32397 33554432000 4194304 4196468 140731110558560 140125455508640 140127044728533 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6521] ppid=6510 vsize=15018968 memory=8025788814078207340 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6521/stat : 6521 (java) S 6510 6510 5595 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404587622 15379423232 32397 33554432000 4194304 4196468 140731110558560 140125321286384 140127044728533 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6522] ppid=6510 vsize=15018968 memory=-8814538831020006773 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6522/stat : 6522 (java) S 6510 6510 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404587624 15379423232 32397 33554432000 4194304 4196468 140731110558560 140124946782160 140127044736923 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6523] ppid=6510 vsize=15018968 memory=1404238533774450294 CPUtime=0.08 cores=1,3,5,7
/proc/6513/task/6523/stat : 6523 (java) S 6510 6510 5595 0 -1 1077944384 551 0 0 0 8 0 0 0 20 0 15 0 404587624 15379423232 32397 33554432000 4194304 4196468 140731110558560 140126081329904 140127044729474 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6524] ppid=6510 vsize=15018968 memory=-7025448733113094249 CPUtime=0.09 cores=1,3,5,7
/proc/6513/task/6524/stat : 6524 (java) R 6510 6510 5595 0 -1 4202560 485 0 0 0 9 0 0 0 20 0 15 0 404587624 15379423232 32397 33554432000 4194304 4196468 140731110558560 140126080277360 140127044739674 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6525] ppid=6510 vsize=15018968 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/6513/task/6525/stat : 6525 (java) R 6510 6510 5595 0 -1 4202560 636 0 0 0 15 0 0 0 20 0 15 0 404587624 15379423232 32397 33554432000 4194304 4196468 140731110558560 140126079224304 140127028798814 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6526] ppid=6510 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6526/stat : 6526 (java) S 6510 6510 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404587625 15379423232 32397 33554432000 4194304 4196468 140731110558560 140124448877408 140127044728533 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
[pid=6513/tid=6527] ppid=6510 vsize=15018968 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/6513/task/6527/stat : 6527 (java) S 6510 6510 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404587625 15379423232 32397 33554432000 4194304 4196468 140731110558560 140126078171696 140127044729474 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33464320 140731110564650 140731110565018 140731110565018 140731110567887 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 130984 KiB

[startup+1.50086 s]
/proc/loadavg: 1.00 1.18 1.59 5/208 6527
/proc/meminfo: memFree=17197304/32770624 swapFree=66959212/67108860
[pid=6510] ppid=6507 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6510/stat : 6510 (scop.sh) S 6507 6510 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404587618 115843072 349 33554432000 4194304 5098028 140731374527648 140731374524904 139996110217852 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32968704 140731374535523 140731374535792 140731374535792 140731374538701 0
/proc/6510/statm: 28282 349 296 221 0 87 0

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

[pid=6582/tid=6585] ppid=6510 vsize=8068440 memory=281165202347024 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6585/stat : 6585 (java) S 6510 6510 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404613724 8262082560 29941 33554432000 4194304 4196468 140728572871328 140010257697040 140010453296853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6586] ppid=6510 vsize=8068440 memory=2580 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6586/stat : 6586 (java) S 6510 6510 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404613724 8262082560 29941 33554432000 4194304 4196468 140728572871328 140010256644752 140010453296853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6587] ppid=6510 vsize=8068440 memory=583040 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6587/stat : 6587 (java) S 6510 6510 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404613724 8262082560 29941 33554432000 4194304 4196468 140728572871328 140010255591952 140010453296853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6588] ppid=6510 vsize=8068440 memory=1476 CPUtime=0.05 cores=1,3,5,7
/proc/6582/task/6588/stat : 6588 (java) S 6510 6510 5595 0 -1 1077944384 9 0 0 0 2 3 0 0 20 0 19 0 404613726 8262082560 29941 33554432000 4194304 4196468 140728572871328 140009899756144 140010453297794 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6589] ppid=6510 vsize=8068440 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6589/stat : 6589 (java) S 6510 6510 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404613726 8262082560 29941 33554432000 4194304 4196468 140728572871328 140009290065184 140010453296853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6590] ppid=6510 vsize=8068440 memory=928 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6590/stat : 6590 (java) S 6510 6510 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404613726 8262082560 29941 33554432000 4194304 4196468 140728572871328 140009021630064 140010453296853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6591] ppid=6510 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6591/stat : 6591 (java) S 6510 6510 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404613729 8262082560 29941 33554432000 4194304 4196468 140728572871328 140008647121488 140010453305243 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6592] ppid=6510 vsize=8068440 memory=1476 CPUtime=0.09 cores=1,3,5,7
/proc/6582/task/6592/stat : 6592 (java) S 6510 6510 5595 0 -1 1077944384 690 0 0 0 9 0 0 0 20 0 19 0 404613729 8262082560 29941 33554432000 4194304 4196468 140728572871328 140009898702960 140010453297794 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6593] ppid=6510 vsize=8068440 memory=119764 CPUtime=0.11 cores=1,3,5,7
/proc/6582/task/6593/stat : 6593 (java) S 6510 6510 5595 0 -1 1077944384 340 0 0 0 11 0 0 0 20 0 19 0 404613729 8262082560 29941 33554432000 4194304 4196468 140728572871328 140009897650160 140010453297794 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6594] ppid=6510 vsize=8068440 memory=1476 CPUtime=0.23 cores=1,3,5,7
/proc/6582/task/6594/stat : 6594 (java) S 6510 6510 5595 0 -1 1077944384 1125 0 0 0 22 1 0 0 20 0 19 0 404613729 8262082560 29941 33554432000 4194304 4196468 140728572871328 140009896597872 140010453297794 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6595] ppid=6510 vsize=8068440 memory=119764 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6595/stat : 6595 (java) S 6510 6510 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404613729 8262082560 29941 33554432000 4194304 4196468 140728572871328 140008149215712 140010453296853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6596] ppid=6510 vsize=8068440 memory=583040 CPUtime=1.24 cores=1,3,5,7
/proc/6582/task/6596/stat : 6596 (java) S 6510 6510 5595 0 -1 1077944384 143 0 0 0 54 70 0 0 20 0 19 0 404613730 8262082560 29941 33554432000 4194304 4196468 140728572871328 140009895545776 140010453297794 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6598] ppid=6510 vsize=8068440 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6598/stat : 6598 (java) S 6510 6510 5595 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404613795 8262082560 29941 33554432000 4194304 4196468 140728572871328 140009894491584 140010453311257 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6600] ppid=6510 vsize=8068440 memory=3492 CPUtime=0.02 cores=1,3,5,7
/proc/6582/task/6600/stat : 6600 (java) S 6510 6510 5595 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 404613796 8262082560 29941 33554432000 4194304 4196468 140728572871328 140007478116336 140010453308573 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6601] ppid=6510 vsize=8068440 memory=583040 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6601/stat : 6601 (java) S 6510 6510 5595 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 404613796 8262082560 29941 33554432000 4194304 4196468 140728572871328 140007880768912 140010453308573 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6602] ppid=6510 vsize=8068440 memory=824 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6602/stat : 6602 (java) S 6510 6510 5595 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 19 0 404613798 8262082560 29941 33554432000 4194304 4196468 140728572871328 140007343901616 140010453296853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
Current children cumulated CPU time: 2442.11 s
Current children cumulated vsize: 8860040 KiB
Current children cumulated memory: 704280 KiB

[startup+2442.3 s]
/proc/loadavg: 2.01 2.04 2.23 3/239 6995
/proc/meminfo: memFree=15363724/32770624 swapFree=66959212/67108860
[pid=6510] ppid=6507 vsize=113128 memory=1476 CPUtime=319.2 cores=1,3,5,7
/proc/6510/stat : 6510 (scop.sh) S 6507 6510 5595 0 -1 4202496 583 109214 0 1 0 0 31272 648 20 0 1 0 404587618 115843072 369 33554432000 4194304 5098028 140731374527648 140731374524392 139996110217852 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32968704 140731374535523 140731374535792 140731374535792 140731374538701 0
/proc/6510/statm: 28282 369 311 221 0 87 0
[pid=6582] ppid=6510 vsize=8068440 memory=119764 CPUtime=2.6 cores=1,3,5,7
/proc/6582/stat : 6582 (java) S 6510 6510 5595 0 -1 1077944320 21070 0 3 0 180 80 0 0 20 0 19 0 404613714 8262082560 29941 33554432000 4194304 4196468 140728572871328 140728572853872 140010453286647 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 2 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
/proc/6582/statm: 2017110 29941 3208 1 0 1978454 0
[pid=6597] ppid=6582 vsize=678472 memory=585112 CPUtime=2180.34 cores=1,3,5,7
/proc/6597/stat : 6597 (cryptominisat5) R 6582 6510 5595 0 -1 4202496 2725962 0 2 0 217846 188 0 0 20 0 1 0 404613795 694755328 146278 33554432000 4194304 4451008 140725841987792 140725841983720 139981290936132 0 4 0 2 0 0 0 17 5 0 0 7 0 0 6549032 6559120 31395840 140725841990589 140725841990720 140725841990720 140725841993670 0
/proc/6597/statm: 169618 146278 745 63 0 163345 0
[pid=6582/tid=6583] ppid=6510 vsize=8068440 memory=119764 CPUtime=0.75 cores=1,3,5,7
/proc/6582/task/6583/stat : 6583 (java) S 6510 6510 5595 0 -1 1077944384 17352 0 1 0 70 5 0 0 20 0 19 0 404613720 8262082560 29941 33554432000 4194304 4196468 140728572871328 140010425126816 140010453296853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6584] ppid=6510 vsize=8068440 memory=119764 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6584/stat : 6584 (java) S 6510 6510 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404613724 8262082560 29941 33554432000 4194304 4196468 140728572871328 140010457528720 140010453296853 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6585] ppid=6510 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6585/stat : 6585 (java) S 6510 6510 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404613724 8262082560 29941 33554432000 4194304 4196468 140728572871328 140010257697040 140010453296853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6586] ppid=6510 vsize=8068440 memory=119764 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6586/stat : 6586 (java) S 6510 6510 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404613724 8262082560 29941 33554432000 4194304 4196468 140728572871328 140010256644752 140010453296853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6587] ppid=6510 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6587/stat : 6587 (java) S 6510 6510 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404613724 8262082560 29941 33554432000 4194304 4196468 140728572871328 140010255591952 140010453296853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6588] ppid=6510 vsize=8068440 memory=3620 CPUtime=0.05 cores=1,3,5,7
/proc/6582/task/6588/stat : 6588 (java) S 6510 6510 5595 0 -1 1077944384 9 0 0 0 2 3 0 0 20 0 19 0 404613726 8262082560 29941 33554432000 4194304 4196468 140728572871328 140009899756144 140010453297794 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6589] ppid=6510 vsize=8068440 memory=5960 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6589/stat : 6589 (java) S 6510 6510 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404613726 8262082560 29941 33554432000 4194304 4196468 140728572871328 140009290065184 140010453296853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6590] ppid=6510 vsize=8068440 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6590/stat : 6590 (java) S 6510 6510 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404613726 8262082560 29941 33554432000 4194304 4196468 140728572871328 140009021630064 140010453296853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6591] ppid=6510 vsize=8068440 memory=119764 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6591/stat : 6591 (java) S 6510 6510 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404613729 8262082560 29941 33554432000 4194304 4196468 140728572871328 140008647121488 140010453305243 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6592] ppid=6510 vsize=8068440 memory=1476 CPUtime=0.1 cores=1,3,5,7
/proc/6582/task/6592/stat : 6592 (java) S 6510 6510 5595 0 -1 1077944384 690 0 0 0 9 1 0 0 20 0 19 0 404613729 8262082560 29941 33554432000 4194304 4196468 140728572871328 140009898702960 140010453297794 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6593] ppid=6510 vsize=8068440 memory=1476 CPUtime=0.11 cores=1,3,5,7
/proc/6582/task/6593/stat : 6593 (java) S 6510 6510 5595 0 -1 1077944384 340 0 0 0 11 0 0 0 20 0 19 0 404613729 8262082560 29941 33554432000 4194304 4196468 140728572871328 140009897650160 140010453297794 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6594] ppid=6510 vsize=8068440 memory=1476 CPUtime=0.23 cores=1,3,5,7
/proc/6582/task/6594/stat : 6594 (java) S 6510 6510 5595 0 -1 1077944384 1125 0 0 0 22 1 0 0 20 0 19 0 404613729 8262082560 29941 33554432000 4194304 4196468 140728572871328 140009896597872 140010453297794 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6595] ppid=6510 vsize=8068440 memory=119764 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6595/stat : 6595 (java) S 6510 6510 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404613729 8262082560 29941 33554432000 4194304 4196468 140728572871328 140008149215712 140010453296853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6596] ppid=6510 vsize=8068440 memory=3620 CPUtime=1.27 cores=1,3,5,7
/proc/6582/task/6596/stat : 6596 (java) S 6510 6510 5595 0 -1 1077944384 147 0 0 0 56 71 0 0 20 0 19 0 404613730 8262082560 29941 33554432000 4194304 4196468 140728572871328 140009895545776 140010453297794 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6598] ppid=6510 vsize=8068440 memory=585112 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6598/stat : 6598 (java) S 6510 6510 5595 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404613795 8262082560 29941 33554432000 4194304 4196468 140728572871328 140009894491584 140010453311257 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6600] ppid=6510 vsize=8068440 memory=1476 CPUtime=0.02 cores=1,3,5,7
/proc/6582/task/6600/stat : 6600 (java) S 6510 6510 5595 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 404613796 8262082560 29941 33554432000 4194304 4196468 140728572871328 140007478116336 140010453308573 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6601] ppid=6510 vsize=8068440 memory=119764 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6601/stat : 6601 (java) S 6510 6510 5595 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 404613796 8262082560 29941 33554432000 4194304 4196468 140728572871328 140007880768912 140010453308573 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6602] ppid=6510 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6602/stat : 6602 (java) S 6510 6510 5595 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 19 0 404613798 8262082560 29941 33554432000 4194304 4196468 140728572871328 140007343901616 140010453296853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
Current children cumulated CPU time: 2502.14 s
Current children cumulated vsize: 8860040 KiB
Current children cumulated memory: 706352 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2460.2 s]
/proc/loadavg: 2.01 2.04 2.22 3/239 6995
/proc/meminfo: memFree=15382712/32770624 swapFree=66959212/67108860
[pid=6510] ppid=6507 vsize=113128 memory=1476 CPUtime=319.2 cores=1,3,5,7
/proc/6510/stat : 6510 (scop.sh) S 6507 6510 5595 0 -1 4202496 583 109214 0 1 0 0 31272 648 20 0 1 0 404587618 115843072 369 33554432000 4194304 5098028 140731374527648 140731374524392 139996110217852 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32968704 140731374535523 140731374535792 140731374535792 140731374538701 0
/proc/6510/statm: 28282 369 311 221 0 87 0
[pid=6582] ppid=6510 vsize=8068440 memory=119764 CPUtime=2.61 cores=1,3,5,7
/proc/6582/stat : 6582 (java) S 6510 6510 5595 0 -1 1077944320 21070 0 3 0 181 80 0 0 20 0 19 0 404613714 8262082560 29941 33554432000 4194304 4196468 140728572871328 140728572853872 140010453286647 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 2 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
/proc/6582/statm: 2017110 29941 3208 1 0 1978454 0
[pid=6597] ppid=6582 vsize=678472 memory=585116 CPUtime=2198.24 cores=1,3,5,7
/proc/6597/stat : 6597 (cryptominisat5) R 6582 6510 5595 0 -1 4202496 2751555 0 2 0 219634 190 0 0 20 0 1 0 404613795 694755328 146279 33554432000 4194304 4451008 140725841987792 140725841983720 139981291207917 0 4 0 2 0 0 0 17 5 0 0 7 0 0 6549032 6559120 31395840 140725841990589 140725841990720 140725841990720 140725841993670 0
/proc/6597/statm: 169618 146279 745 63 0 163345 0
[pid=6582/tid=6583] ppid=6510 vsize=8068440 memory=3360 CPUtime=0.75 cores=1,3,5,7
/proc/6582/task/6583/stat : 6583 (java) S 6510 6510 5595 0 -1 1077944384 17352 0 1 0 70 5 0 0 20 0 19 0 404613720 8262082560 29941 33554432000 4194304 4196468 140728572871328 140010425126816 140010453296853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6584] ppid=6510 vsize=8068440 memory=776 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6584/stat : 6584 (java) S 6510 6510 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404613724 8262082560 29941 33554432000 4194304 4196468 140728572871328 140010457528720 140010453296853 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6585] ppid=6510 vsize=8068440 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6585/stat : 6585 (java) S 6510 6510 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404613724 8262082560 29941 33554432000 4194304 4196468 140728572871328 140010257697040 140010453296853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6586] ppid=6510 vsize=8068440 memory=5960 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6586/stat : 6586 (java) S 6510 6510 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404613724 8262082560 29941 33554432000 4194304 4196468 140728572871328 140010256644752 140010453296853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6587] ppid=6510 vsize=8068440 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6587/stat : 6587 (java) S 6510 6510 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404613724 8262082560 29941 33554432000 4194304 4196468 140728572871328 140010255591952 140010453296853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6588] ppid=6510 vsize=8068440 memory=2828 CPUtime=0.05 cores=1,3,5,7
/proc/6582/task/6588/stat : 6588 (java) S 6510 6510 5595 0 -1 1077944384 9 0 0 0 2 3 0 0 20 0 19 0 404613726 8262082560 29941 33554432000 4194304 4196468 140728572871328 140009899756144 140010453297794 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6589] ppid=6510 vsize=8068440 memory=1216 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6589/stat : 6589 (java) S 6510 6510 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404613726 8262082560 29941 33554432000 4194304 4196468 140728572871328 140009290065184 140010453296853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6590] ppid=6510 vsize=8068440 memory=984 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6590/stat : 6590 (java) S 6510 6510 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404613726 8262082560 29941 33554432000 4194304 4196468 140728572871328 140009021630064 140010453296853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6591] ppid=6510 vsize=8068440 memory=14004 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6591/stat : 6591 (java) S 6510 6510 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404613729 8262082560 29941 33554432000 4194304 4196468 140728572871328 140008647121488 140010453305243 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6592] ppid=6510 vsize=8068440 memory=19900 CPUtime=0.1 cores=1,3,5,7
/proc/6582/task/6592/stat : 6592 (java) S 6510 6510 5595 0 -1 1077944384 690 0 0 0 9 1 0 0 20 0 19 0 404613729 8262082560 29941 33554432000 4194304 4196468 140728572871328 140009898702960 140010453297794 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6593] ppid=6510 vsize=8068440 memory=1984 CPUtime=0.11 cores=1,3,5,7
/proc/6582/task/6593/stat : 6593 (java) S 6510 6510 5595 0 -1 1077944384 340 0 0 0 11 0 0 0 20 0 19 0 404613729 8262082560 29941 33554432000 4194304 4196468 140728572871328 140009897650160 140010453297794 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6594] ppid=6510 vsize=8068440 memory=2580 CPUtime=0.23 cores=1,3,5,7
/proc/6582/task/6594/stat : 6594 (java) S 6510 6510 5595 0 -1 1077944384 1125 0 0 0 22 1 0 0 20 0 19 0 404613729 8262082560 29941 33554432000 4194304 4196468 140728572871328 140009896597872 140010453297794 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6595] ppid=6510 vsize=8068440 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6595/stat : 6595 (java) S 6510 6510 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404613729 8262082560 29941 33554432000 4194304 4196468 140728572871328 140008149215712 140010453296853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6596] ppid=6510 vsize=8068440 memory=111636 CPUtime=1.29 cores=1,3,5,7
/proc/6582/task/6596/stat : 6596 (java) S 6510 6510 5595 0 -1 1077944384 147 0 0 0 57 72 0 0 20 0 19 0 404613730 8262082560 29941 33554432000 4194304 4196468 140728572871328 140009895545776 140010453297794 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6598] ppid=6510 vsize=8068440 memory=800 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6598/stat : 6598 (java) S 6510 6510 5595 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404613795 8262082560 29941 33554432000 4194304 4196468 140728572871328 140009894491584 140010453311257 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6600] ppid=6510 vsize=8068440 memory=1808 CPUtime=0.02 cores=1,3,5,7
/proc/6582/task/6600/stat : 6600 (java) S 6510 6510 5595 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 404613796 8262082560 29941 33554432000 4194304 4196468 140728572871328 140007478116336 140010453308573 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6601] ppid=6510 vsize=8068440 memory=924 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6601/stat : 6601 (java) S 6510 6510 5595 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 404613796 8262082560 29941 33554432000 4194304 4196468 140728572871328 140007880768912 140010453308573 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
[pid=6582/tid=6602] ppid=6510 vsize=8068440 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6602/stat : 6602 (java) S 6510 6510 5595 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 19 0 404613798 8262082560 29941 33554432000 4194304 4196468 140728572871328 140007343901616 140010453296853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24326144 140728572879868 140728572880026 140728572880026 140728572882895 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 8860040 KiB
Current children cumulated memory: 706356 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2460.22 s]
# the end of solver process 6510 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=312.732 s, system=6.48616 s

[startup+2460.24 s]
# the end of solver process 6582 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2510.9 s, system=9.23962 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2460.24
CPU time (s): 2520.13
CPU user time (s): 2510.9
CPU system time (s): 9.23962
CPU usage (%): 102.434
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 9193528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.9
system time used= 9.23962
maximum resident set size= 9192400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2882969
page faults= 6
swaps= 0
block input operations= 34816
block output operations= 120464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60897
involuntary context switches= 2327


# summary of solver processes directly reported to runsolver:
#   pid: 6510,6582
#   total CPU time (s): 2520.13
#   total CPU user time (s): 2510.9
#   total CPU system time (s): 9.23962

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.5208 second user time and 21.8878 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-12 13:07:14
IDJOB=4387636
IDBENCH=121201
IDSOLVER=2826
FILE ID=node124/4387636-1568286474
RUNJOBID= node124-1568286434-6492
PBS_JOBID= 21701080
Free space on /tmp= 52948 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/Random/Random-m1-7-40-8t/rand-7-40-8-40-15000-9.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-4387636-1568286474/watcher-4387636-1568286474 -o /tmp/evaluation-result-4387636-1568286474/solver-4387636-1568286474 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568286434-6492 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387636-1568286474.xml

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

MD5SUM BENCH= 134b875ea7bd230347634fe517213ca9
RANDOM SEED=385403308

node124.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.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        17475464 kB
MemAvailable:   31809912 kB
Buffers:          160236 kB
Cached:         14274244 kB
SwapCached:        45868 kB
Active:          1143508 kB
Inactive:       13348700 kB
Active(anon):      20384 kB
Inactive(anon):    79120 kB
Active(file):    1123124 kB
Inactive(file): 13269580 kB
Unevictable:      108624 kB
Mlocked:          108624 kB
SwapTotal:      67108860 kB
SwapFree:       66959212 kB
Dirty:             56296 kB
Writeback:             0 kB
AnonPages:        116380 kB
Mapped:            42076 kB
Shmem:             32744 kB
Slab:             398176 kB
SReclaimable:     370204 kB
SUnreclaim:        27972 kB
KernelStack:        3408 kB
PageTables:         5468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     510940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 52836 MiB
End job on node124 at 2019-09-12 13:48:15