Trace number 4388311

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameLatinSquare/LatinSquare-xcsp2-qcp25/
qcp-25-264-08_X2.xml
MD5SUMe61b201f6225aab3795ad5f045ee307f
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark7.73665
Satisfiable
(Un)Satisfiability was proved
Number of variables625
Number of constraints15000
Number of domains26
Minimum domain size1
Maximum domain size25
Distribution of domain sizes[{"size":1,"count":361},{"size":25,"count":264}]
Minimum variable degree48
Maximum variable degree48
Distribution of variable degrees[{"degree":48,"count":625}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":15000}]
Number of extensional constraints15000
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":15000}]
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-8852-serial-file.bin HOME/instance-4388311-1568297368.xml
0.66/0.53	
0.66/0.53	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.53	
0.66/0.55	c BEGIN-Prog: Thu Sep 12 16:08:49 CEST 2019
0.66/0.55	c PID: 8855
0.66/0.55	c IP: 172.20.3.119
0.66/0.55	c HOST: node119.alineos.net
0.66/0.56	c (0,0) Parsing Begin
3.37/1.55	c (1,1) Parsing End
3.37/1.56	c (1,1) CSP: 592 int (0 aux), 33 bool (0 aux), 10142 ctr, max domain size 25
3.37/1.56	c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.37/1.56	c (1,1) Constraint Name Generate Begin
3.70/1.63	c (1,1) Ctr:HOME/instance-4388311-1568297368.xml,ExtensionConflict:Var
3.70/1.63	c (1,1) Constraint Name Generate End
3.70/1.63	c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.70/1.63	c (1,1) CSP to CSPinCNF Begin
5.42/2.18	c (1,1) translated 1015 (10%) constraints
8.67/3.67	c (3,3) translated 2029 (20%) constraints
10.17/5.10	c (4,4) translated 3043 (30%) constraints
11.19/6.10	c (5,5) translated 4057 (40%) constraints
11.30/6.17	c (5,5) translated 5071 (50%) constraints
11.41/6.25	c (5,5) translated 6086 (60%) constraints
11.66/6.33	c (5,5) translated 7100 (70%) constraints
11.66/6.39	c (5,5) translated 8114 (80%) constraints
11.93/6.47	c (5,5) translated 9128 (90%) constraints
12.08/6.54	c (6,5) translated 10142 (100%) constraints
12.08/6.54	c (6,5) ===========================================
12.21/6.61	c (6,6) Hybrid: #OE=625, #LE=0
12.21/6.61	c (6,6) Hybrid
12.21/6.61	c (6,6) ===========================================
12.47/6.80	c (6,6) translated 7087 (10%) constraints
12.78/6.96	c (6,6) translated 14173 (20%) constraints
13.04/7.12	c (6,6) translated 21259 (30%) constraints
13.14/7.27	c (6,6) translated 28345 (40%) constraints
13.33/7.43	c (6,6) translated 35431 (50%) constraints
13.45/7.59	c (7,7) translated 42518 (60%) constraints
13.66/7.75	c (7,7) translated 49604 (70%) constraints
13.85/7.90	c (7,7) translated 56690 (80%) constraints
13.97/8.06	c (7,7) translated 63776 (90%) constraints
14.16/8.20	c (7,7) translated 70862 (100%) constraints
14.16/8.20	c (7,7) CSP to CSPinCNF End
14.16/8.20	c (7,7) CSP: 592 int (0 aux), 33 bool (0 aux), 70862 ctr, max domain size 25
14.16/8.20	c (7,7) Heap : 2703 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
14.16/8.20	c (7,7) CSPinCNF Propagation Begin
18.54/10.76	c (10,10) 2440 values, 61664 unsatisfiable literals, and 35736 valid clauses are removed
18.54/10.76	c (10,10) CSPinCNF Propagation End
18.54/10.76	c (10,10) CSP: 592 int (0 aux), 33 bool (0 aux), 35126 ctr, max domain size 25
18.54/10.76	c (10,10) Heap : 1644 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
18.54/10.78	c (10,10) Hybrid: #OE=625, #LE=0
18.54/10.78	c (10,10) Simplify CSPinCNF Begin
18.71/10.88	c (10,10) Simplify CSPinCNF End
18.71/10.88	c (10,10) CSP: 592 int (0 aux), 33 bool (0 aux), 35126 ctr, max domain size 25
18.71/10.88	c (10,10) Heap : 1698 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
18.71/10.88	c (10,10) Calculate Precise Domain Begin
18.71/10.88	c (10,10) 0 values are removed by re-calculation
18.71/10.88	c (10,10) Calculate Precise Domain End
18.71/10.88	c (10,10) CSP: 592 int (0 aux), 33 bool (0 aux), 35126 ctr, max domain size 25
18.71/10.88	c (10,10) Heap : 1698 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
18.71/10.88	c (10,10) CSPinCNF to SatSolver Begin
19.19/11.08	c (10,10) 3513 (10 %) CSP clauses are encoded (0 SAT variables, 7146 SAT clauses)
19.50/11.19	c (10,10) 7026 (20 %) CSP clauses are encoded (0 SAT variables, 10659 SAT clauses)
19.77/11.28	c (10,10) 10538 (30 %) CSP clauses are encoded (0 SAT variables, 14171 SAT clauses)
20.09/11.33	c (10,10) 14051 (40 %) CSP clauses are encoded (0 SAT variables, 17684 SAT clauses)
20.09/11.37	c (10,10) 17563 (50 %) CSP clauses are encoded (0 SAT variables, 21196 SAT clauses)
20.33/11.41	c (10,10) 21076 (60 %) CSP clauses are encoded (0 SAT variables, 24709 SAT clauses)
20.33/11.44	c (10,10) 24589 (70 %) CSP clauses are encoded (0 SAT variables, 28222 SAT clauses)
20.33/11.48	c (10,10) 28101 (80 %) CSP clauses are encoded (0 SAT variables, 31734 SAT clauses)
20.43/11.52	c (10,10) 31614 (90 %) CSP clauses are encoded (0 SAT variables, 35247 SAT clauses)
20.43/11.54	c (11,10) 35126 (100 %) CSP clauses are encoded (0 SAT variables, 38759 SAT clauses)
20.43/11.54	c (11,10) CSPinCNF to SatSolver End
20.43/11.54	c (11,10) Heap : 2026 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
20.43/11.54	c (11,10) 3896 bool, 38760 clause
20.43/11.54	c (11,10) Export Begin
20.60/11.66	c (11,10) Export to HOME/scop-8852-serial-file.bin
20.60/11.66	c (11,10) Export End
20.60/11.67	c (11,11) Export File Size: 0.11 MB
20.60/11.67	c (11,11) 1,1,7,10,10,10,11,STOP-AFTER(DIMACS)
20.60/11.67	c END-Prog: Thu Sep 12 16:09:00 CEST 2019
0.00/11.71	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-8852-serial-file.bin
21.33/12.17	c (0,0) Read Serial File Begin
21.33/12.17	c (0,0) HOME/scop-8852-serial-file.bin
21.84/12.42	c (0,0) Read Serial File End
21.84/12.43	
21.84/12.43	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
21.84/12.43	(Solving Process)
21.84/12.43	
21.84/12.46	c BEGIN-Prog: Thu Sep 12 16:09:01 CEST 2019
21.84/12.46	c PID: 8872
21.84/12.46	c IP: 172.20.3.119
21.84/12.46	c HOST: node119.alineos.net
21.84/12.46	c (0,0) SatSolver.solve Begin
21.84/12.46	c (0,0) HOME/cryptominisat5  HOME/instance-4388311-1568297368.xml-scop-8855.cnf
21.84/12.49	c (0,0) c Outputting solution to console
21.84/12.49	c (0,0) c CryptoMiniSat version 5.6.8
21.84/12.49	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
21.84/12.49	c (0,0) c CMS SHA revision GIT-notfound
21.84/12.49	c (0,0) c CMS is MIT licensed
21.84/12.49	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
21.84/12.49	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
21.84/12.50	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388311-1568297368.xml-scop-8855.cnf
21.84/12.50	c (0,0) c Reading file 'HOME/instance-4388311-1568297368.xml-scop-8855.cnf'
21.84/12.50	c (0,0) c -- header says num vars:           3896
21.84/12.50	c (0,0) c -- header says num clauses:       38760
21.84/12.50	c (0,0) c -- clauses added: 38760
21.84/12.50	c (0,0) c -- xor clauses added: 0
21.84/12.50	c (0,0) c -- vars added 3896
21.84/12.50	c (0,0) c Parsing time: 0.01 s
22.09/12.51	c (0,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
22.09/12.51	c (0,0) c [distill] long cls tried: 9/9 cl-short:9 lit-r:3 T: 0.00 T-out: N T-r: 100.00%
22.15/12.63	c (0,0) c [distill] long cls tried: 387/340 cl-short:359 lit-r:144 T: 0.01 T-out: N T-r: 99.97%
22.15/12.78	c (0,0) c [distill] long cls tried: 370/580 cl-short:310 lit-r:130 T: 0.01 T-out: N T-r: 99.97%
22.16/12.85	c (0,0) c   glue     1    57  8193    3581   27K  8609    3.87    3.42   754  2953  3066    59   13.36   13.27
22.67/13.09	c (0,0) c [distill] long cls tried: 2406/2604 cl-short:2161 lit-r:1976 T: 0.06 T-out: N T-r: 99.64%
23.06/13.46	c (1,0) c   geom     1   129 16386    3568   27K  8609    3.87    3.42  3155  4891  6522   210   16.52   16.31
23.16/13.50	c (1,0) c [distill] long cls tried: 556/3119 cl-short:546 lit-r:605 T: 0.02 T-out: N T-r: 99.85%
23.86/14.20	c (2,0) c [distill] long cls tried: 2191/5227 cl-short:2188 lit-r:2225 T: 0.13 T-out: N T-r: 99.14%
23.96/14.36	c (2,0) c   glue     1   196   24K    3568   27K  8609    3.87    3.42  5301  5168 12167   328   18.72   18.48
24.86/15.28	c (3,0) c [distill] long cls tried: 2347/7509 cl-short:2344 lit-r:2815 T: 0.21 T-out: N T-r: 97.24%
25.16/15.52	c (3,0) c   glue     1   250   32K    3567   27K  8609    3.87    3.42  7588  7073 16120   401   20.13   19.89
25.26/15.60	c (3,0) c ------- FINAL TOTAL SEARCH STATS ---------
25.26/15.60	c (3,0) c UIP search time          : 3.08        (99.53     % time)
25.26/15.60	c (3,0) c restarts                 : 252         (133.01    confls per restart)
25.26/15.60	c (3,0) c blocked restarts         : 42          (0.17      per normal restart)
25.26/15.60	c (3,0) c time                     : 3.08        
25.26/15.60	c (3,0) c decisions                : 59445       (0.00      % random)
25.26/15.60	c (3,0) c propagations             : 13802019    
25.26/15.60	c (3,0) c decisions/conflicts      : 1.77        
25.26/15.60	c (3,0) c conflicts                : 33518       (10879.98  / sec)
25.26/15.60	c (3,0) c conf lits non-minim      : 840929      (25.09     lit/confl)
25.26/15.60	c (3,0) c conf lits final          : 19.81       
25.26/15.60	c (3,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
25.26/15.60	c (3,0) c red which0               : 2386        (7.12      % of confl)
25.26/15.60	c (3,0) c props/decision           : 0.00        
25.26/15.60	c (3,0) c props/conflict           : 0.00        
25.26/15.60	c (3,0) c 0-depth assigns          : 329         (8.44      % vars)
25.26/15.60	c (3,0) c 0-depth assigns by CNF   : 0           (0.00      % vars)
25.26/15.60	c (3,0) c reduceDB time            : 0.00        (0.13      % time)
25.26/15.60	c (3,0) c OccSimplifier time       : 0.00        (0.00      % time)
25.26/15.60	c (3,0) c [occur] 0.00 is overhead
25.26/15.60	c (3,0) c [occur] link-in T: 0.00 cleanup T: 0.00
25.26/15.60	c (3,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
25.26/15.60	c (3,0) c SCC time                 : 0.00        (0.00      % time)
25.26/15.60	c (3,0) c [scc] new: 0 BP 0M  T: 0.00
25.26/15.60	c (3,0) c vrep replace time        : 0.00        (0.00      % time)
25.26/15.60	c (3,0) c vrep tree roots          : 0           
25.26/15.60	c (3,0) c vrep trees' crown        : 0           (0.00      leafs/tree)
25.26/15.60	c (3,0) c distill time             : 0.44        (14.09     % time)
25.26/15.60	c (3,0) c strength cache-irred time: 0.00        (0.00      % time)
25.26/15.60	c (3,0) c strength cache-red time  : 0.00        (0.00      % time)
25.26/15.60	c (3,0) c Conflicts in UIP         : 33518       (10828.65  confl/time_this_thread)
25.26/15.60	c (3,0) c Mem used                 : 14.30       MB
25.26/15.60	c (3,0) c Total time (this thread) : 3.10        
25.26/15.60	c (3,0) s SATISFIABLE
25.26/15.65	c (3,0) SatSolver.solve End
25.26/15.65	c (3,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
25.26/15.65	c (3,0) Show results Begin
25.50/15.75	c (3,0) x0 = 22
25.50/15.75	c (3,0) x1 = 20
25.50/15.75	c (3,0) x10 = 17
25.50/15.75	c (3,0) x100 = 5
25.50/15.75	c (3,0) x101 = 17
25.50/15.75	c (3,0) x102 = 13
25.50/15.75	c (3,0) x103 = 7
25.50/15.75	c (3,0) x104 = 15
25.50/15.75	c (3,0) x105 = 23
25.50/15.75	c (3,0) x106 = 10
25.50/15.75	c (3,0) x107 = 21
25.50/15.75	c (3,0) x108 = 1
25.50/15.75	c (3,0) x109 = 6
25.50/15.75	c (3,0) x11 = 8
25.50/15.75	c (3,0) x110 = 19
25.50/15.75	c (3,0) x111 = 18
25.50/15.75	c (3,0) x112 = 20
25.50/15.75	c (3,0) x113 = 14
25.50/15.75	c (3,0) x114 = 8
25.50/15.75	c (3,0) x115 = 2
25.50/15.75	c (3,0) x116 = 3
25.50/15.75	c (3,0) x117 = 0
25.50/15.75	c (3,0) x118 = 9
25.50/15.75	c (3,0) x119 = 4
25.50/15.75	c (3,0) x12 = 3
25.50/15.75	c (3,0) x120 = 22
25.50/15.75	c (3,0) x121 = 12
25.50/15.75	c (3,0) x122 = 16
25.50/15.75	c (3,0) x123 = 24
25.50/15.75	c (3,0) x124 = 11
25.50/15.75	c (3,0) x125 = 0
25.50/15.75	c (3,0) x126 = 2
25.50/15.75	c (3,0) x127 = 4
25.50/15.75	c (3,0) x128 = 10
25.50/15.75	c (3,0) x129 = 20
25.50/15.75	c (3,0) x13 = 6
25.50/15.75	c (3,0) x130 = 19
25.50/15.75	c (3,0) x131 = 13
25.50/15.75	c (3,0) x132 = 15
25.50/15.75	c (3,0) x133 = 11
25.50/15.75	c (3,0) x134 = 16
25.50/15.75	c (3,0) x135 = 9
25.50/15.75	c (3,0) x136 = 1
25.50/15.75	c (3,0) x137 = 12
25.50/15.75	c (3,0) x138 = 7
25.50/15.75	c (3,0) x139 = 18
25.50/15.75	c (3,0) x14 = 7
25.50/15.75	c (3,0) x140 = 5
25.50/15.75	c (3,0) x141 = 23
25.50/15.75	c (3,0) x142 = 24
25.50/15.75	c (3,0) x143 = 8
25.50/15.75	c (3,0) x144 = 3
25.50/15.75	c (3,0) x145 = 17
25.50/15.75	c (3,0) x146 = 6
25.50/15.75	c (3,0) x147 = 21
25.50/15.75	c (3,0) x148 = 22
25.50/15.75	c (3,0) x149 = 14
25.50/15.75	c (3,0) x15 = 9
25.50/15.75	c (3,0) x150 = 15
25.50/15.75	c (3,0) x151 = 10
25.50/15.75	c (3,0) x152 = 3
25.50/15.75	c (3,0) x153 = 8
25.50/15.75	c (3,0) x154 = 1
25.50/15.75	c (3,0) x155 = 18
25.50/15.75	c (3,0) x156 = 4
25.50/15.75	c (3,0) x157 = 14
25.50/15.75	c (3,0) x158 = 17
25.50/15.75	c (3,0) x159 = 19
25.50/15.75	c (3,0) x16 = 13
25.50/15.75	c (3,0) x160 = 23
25.50/15.75	c (3,0) x161 = 7
25.50/15.75	c (3,0) x162 = 6
25.50/15.75	c (3,0) x163 = 2
25.50/15.75	c (3,0) x164 = 0
25.50/15.75	c (3,0) x165 = 24
25.50/15.75	c (3,0) x166 = 16
25.50/15.75	c (3,0) x167 = 12
25.50/15.75	c (3,0) x168 = 20
25.50/15.75	c (3,0) x169 = 11
25.50/15.75	c (3,0) x17 = 15
25.50/15.75	c (3,0) x170 = 9
25.50/15.75	c (3,0) x171 = 13
25.50/15.75	c (3,0) x172 = 5
25.50/15.75	c (3,0) x173 = 21
25.50/15.75	c (3,0) x174 = 22
25.50/15.75	c (3,0) x175 = 8
25.50/15.75	c (3,0) x176 = 1
25.50/15.75	c (3,0) x177 = 18
25.50/15.75	c (3,0) x178 = 23
25.50/15.75	c (3,0) x179 = 4
25.50/15.75	c (3,0) x18 = 12
25.50/15.75	c (3,0) x180 = 22
25.50/15.75	c (3,0) x181 = 19
25.50/15.75	c (3,0) x182 = 2
25.50/15.75	c (3,0) x183 = 10
25.50/15.75	c (3,0) x184 = 7
25.50/15.75	c (3,0) x185 = 14
25.50/15.75	c (3,0) x186 = 16
25.50/15.75	c (3,0) x187 = 5
25.50/15.75	c (3,0) x188 = 20
25.50/15.75	c (3,0) x189 = 13
25.50/15.75	c (3,0) x19 = 21
25.50/15.75	c (3,0) x190 = 15
25.50/15.75	c (3,0) x191 = 11
25.50/15.75	c (3,0) x192 = 6
25.50/15.75	c (3,0) x193 = 21
25.50/15.75	c (3,0) x194 = 17
25.50/15.75	c (3,0) x195 = 3
25.50/15.75	c (3,0) x196 = 24
25.50/15.75	c (3,0) x197 = 9
25.50/15.75	c (3,0) x198 = 12
25.50/15.75	c (3,0) x199 = 0
25.50/15.75	c (3,0) x2 = 10
25.50/15.75	c (3,0) x20 = 1
25.50/15.75	c (3,0) x200 = 3
25.50/15.75	c (3,0) x201 = 6
25.50/15.75	c (3,0) x202 = 17
25.50/15.75	c (3,0) x203 = 11
25.50/15.75	c (3,0) x204 = 16
25.50/15.75	c (3,0) x205 = 9
25.50/15.75	c (3,0) x206 = 14
25.50/15.75	c (3,0) x207 = 19
25.50/15.75	c (3,0) x208 = 23
25.50/15.75	c (3,0) x209 = 15
25.50/15.75	c (3,0) x21 = 19
25.50/15.75	c (3,0) x210 = 20
25.50/15.75	c (3,0) x211 = 13
25.50/15.75	c (3,0) x212 = 10
25.50/15.75	c (3,0) x213 = 1
25.50/15.75	c (3,0) x214 = 24
25.50/15.75	c (3,0) x215 = 18
25.50/15.75	c (3,0) x216 = 4
25.50/15.75	c (3,0) x217 = 2
25.50/15.75	c (3,0) x218 = 22
25.50/15.75	c (3,0) x219 = 5
25.50/15.75	c (3,0) x22 = 4
25.50/15.75	c (3,0) x220 = 7
25.50/15.75	c (3,0) x221 = 21
25.50/15.75	c (3,0) x222 = 8
25.50/15.75	c (3,0) x223 = 0
25.50/15.75	c (3,0) x224 = 12
25.50/15.75	c (3,0) x225 = 18
25.50/15.75	c (3,0) x226 = 19
25.50/15.75	c (3,0) x227 = 0
25.50/15.75	c (3,0) x228 = 22
25.50/15.75	c (3,0) x229 = 14
25.50/15.75	c (3,0) x23 = 5
25.50/15.75	c (3,0) x230 = 12
25.50/15.75	c (3,0) x231 = 8
25.50/15.75	c (3,0) x232 = 10
25.50/15.75	c (3,0) x233 = 16
25.50/15.75	c (3,0) x234 = 1
25.50/15.75	c (3,0) x235 = 5
25.50/15.75	c (3,0) x236 = 15
25.50/15.75	c (3,0) x237 = 7
25.50/15.75	c (3,0) x238 = 13
25.50/15.75	c (3,0) x239 = 9
25.50/15.75	c (3,0) x24 = 2
25.50/15.75	c (3,0) x240 = 21
25.50/15.75	c (3,0) x241 = 6
25.50/15.75	c (3,0) x242 = 4
25.50/15.75	c (3,0) x243 = 17
25.50/15.75	c (3,0) x244 = 2
25.50/15.75	c (3,0) x245 = 20
25.50/15.75	c (3,0) x246 = 23
25.50/15.75	c (3,0) x247 = 3
25.50/15.75	c (3,0) x248 = 11
25.50/15.75	c (3,0) x249 = 24
25.50/15.75	c (3,0) x25 = 9
25.50/15.75	c (3,0) x250 = 11
25.50/15.75	c (3,0) x251 = 4
25.50/15.75	c (3,0) x252 = 12
25.50/15.75	c (3,0) x253 = 14
25.50/15.75	c (3,0) x254 = 2
25.50/15.75	c (3,0) x255 = 1
25.50/15.75	c (3,0) x256 = 22
25.50/15.75	c (3,0) x257 = 16
25.50/15.75	c (3,0) x258 = 6
25.50/15.75	c (3,0) x259 = 24
25.50/15.75	c (3,0) x26 = 13
25.50/15.76	c (3,0) x260 = 13
25.50/15.76	c (3,0) x261 = 23
25.50/15.76	c (3,0) x262 = 19
25.50/15.76	c (3,0) x263 = 9
25.50/15.76	c (3,0) x264 = 20
25.50/15.76	c (3,0) x265 = 8
25.50/15.76	c (3,0) x266 = 17
25.50/15.76	c (3,0) x267 = 7
25.50/15.76	c (3,0) x268 = 15
25.50/15.76	c (3,0) x269 = 0
25.50/15.76	c (3,0) x27 = 20
25.50/15.76	c (3,0) x270 = 21
25.50/15.76	c (3,0) x271 = 5
25.50/15.76	c (3,0) x272 = 18
25.50/15.76	c (3,0) x273 = 3
25.50/15.76	c (3,0) x274 = 10
25.50/15.76	c (3,0) x275 = 7
25.50/15.76	c (3,0) x276 = 21
25.50/15.76	c (3,0) x277 = 9
25.50/15.76	c (3,0) x278 = 16
25.50/15.76	c (3,0) x279 = 5
25.50/15.76	c (3,0) x28 = 3
25.50/15.76	c (3,0) x280 = 24
25.50/15.76	c (3,0) x281 = 2
25.50/15.76	c (3,0) x282 = 17
25.50/15.76	c (3,0) x283 = 19
25.50/15.76	c (3,0) x284 = 20
25.50/15.76	c (3,0) x285 = 4
25.50/15.76	c (3,0) x286 = 14
25.50/15.76	c (3,0) x287 = 15
25.50/15.76	c (3,0) x288 = 12
25.50/15.76	c (3,0) x289 = 3
25.50/15.76	c (3,0) x29 = 12
25.50/15.76	c (3,0) x290 = 22
25.50/15.76	c (3,0) x291 = 0
25.50/15.76	c (3,0) x292 = 23
25.50/15.76	c (3,0) x293 = 13
25.50/15.76	c (3,0) x294 = 10
25.50/15.76	c (3,0) x295 = 8
25.50/15.76	c (3,0) x296 = 1
25.50/15.76	c (3,0) x297 = 11
25.50/15.76	c (3,0) x298 = 6
25.50/15.76	c (3,0) x299 = 18
25.50/15.76	c (3,0) x3 = 18
25.50/15.76	c (3,0) x30 = 14
25.50/15.76	c (3,0) x300 = 20
25.50/15.76	c (3,0) x301 = 8
25.50/15.76	c (3,0) x302 = 19
25.50/15.76	c (3,0) x303 = 0
25.50/15.76	c (3,0) x304 = 13
25.50/15.76	c (3,0) x305 = 11
25.50/15.76	c (3,0) x306 = 18
25.50/15.76	c (3,0) x307 = 1
25.50/15.76	c (3,0) x308 = 15
25.50/15.76	c (3,0) x309 = 12
25.50/15.76	c (3,0) x31 = 21
25.50/15.76	c (3,0) x310 = 24
25.50/15.76	c (3,0) x311 = 5
25.50/15.76	c (3,0) x312 = 16
25.50/15.76	c (3,0) x313 = 17
25.50/15.76	c (3,0) x314 = 14
25.50/15.76	c (3,0) x315 = 4
25.50/15.76	c (3,0) x316 = 21
25.50/15.76	c (3,0) x317 = 3
25.50/15.76	c (3,0) x318 = 6
25.50/15.76	c (3,0) x319 = 9
25.50/15.76	c (3,0) x32 = 8
25.50/15.76	c (3,0) x320 = 2
25.50/15.76	c (3,0) x321 = 22
25.50/15.76	c (3,0) x322 = 7
25.50/15.76	c (3,0) x323 = 10
25.50/15.76	c (3,0) x324 = 23
25.50/15.76	c (3,0) x325 = 19
25.50/15.76	c (3,0) x326 = 0
25.50/15.76	c (3,0) x327 = 24
25.50/15.76	c (3,0) x328 = 21
25.50/15.76	c (3,0) x329 = 7
25.50/15.76	c (3,0) x33 = 5
25.50/15.76	c (3,0) x330 = 20
25.50/15.76	c (3,0) x331 = 3
25.50/15.76	c (3,0) x332 = 4
25.50/15.76	c (3,0) x333 = 12
25.50/15.76	c (3,0) x334 = 8
25.50/15.76	c (3,0) x335 = 6
25.50/15.76	c (3,0) x336 = 9
25.50/15.76	c (3,0) x337 = 1
25.50/15.76	c (3,0) x338 = 18
25.50/15.76	c (3,0) x339 = 10
25.50/15.76	c (3,0) x34 = 17
25.50/15.76	c (3,0) x340 = 23
25.50/15.76	c (3,0) x341 = 22
25.50/15.76	c (3,0) x342 = 5
25.50/15.76	c (3,0) x343 = 14
25.50/15.76	c (3,0) x344 = 16
25.50/15.76	c (3,0) x345 = 11
25.50/15.76	c (3,0) x346 = 2
25.50/15.76	c (3,0) x347 = 17
25.50/15.76	c (3,0) x348 = 13
25.50/15.76	c (3,0) x349 = 15
25.50/15.76	c (3,0) x35 = 16
25.50/15.76	c (3,0) x350 = 6
25.50/15.76	c (3,0) x351 = 9
25.50/15.76	c (3,0) x352 = 15
25.50/15.76	c (3,0) x353 = 5
25.50/15.76	c (3,0) x354 = 17
25.50/15.76	c (3,0) x355 = 8
25.50/15.76	c (3,0) x356 = 1
25.50/15.76	c (3,0) x357 = 18
25.50/15.76	c (3,0) x358 = 3
25.50/15.76	c (3,0) x359 = 13
25.50/15.76	c (3,0) x36 = 0
25.50/15.76	c (3,0) x360 = 22
25.50/15.76	c (3,0) x361 = 19
25.50/15.76	c (3,0) x362 = 11
25.50/15.76	c (3,0) x363 = 24
25.50/15.76	c (3,0) x364 = 12
25.50/15.76	c (3,0) x365 = 16
25.50/15.76	c (3,0) x366 = 14
25.50/15.76	c (3,0) x367 = 20
25.50/15.76	c (3,0) x368 = 2
25.50/15.76	c (3,0) x369 = 7
25.50/15.76	c (3,0) x37 = 4
25.50/15.76	c (3,0) x370 = 10
25.50/15.76	c (3,0) x371 = 0
25.50/15.76	c (3,0) x372 = 23
25.50/15.76	c (3,0) x373 = 4
25.50/15.76	c (3,0) x374 = 21
25.50/15.76	c (3,0) x375 = 1
25.50/15.76	c (3,0) x376 = 15
25.50/15.76	c (3,0) x377 = 14
25.50/15.76	c (3,0) x378 = 17
25.50/15.76	c (3,0) x379 = 9
25.50/15.76	c (3,0) x38 = 10
25.50/15.76	c (3,0) x380 = 2
25.50/15.76	c (3,0) x381 = 11
25.50/15.76	c (3,0) x382 = 24
25.50/15.76	c (3,0) x383 = 18
25.50/15.76	c (3,0) x384 = 0
25.50/15.76	c (3,0) x385 = 12
25.50/15.76	c (3,0) x386 = 3
25.50/15.76	c (3,0) x387 = 13
25.50/15.76	c (3,0) x388 = 21
25.50/15.76	c (3,0) x389 = 22
25.50/15.76	c (3,0) x39 = 2
25.50/15.76	c (3,0) x390 = 10
25.50/15.76	c (3,0) x391 = 5
25.50/15.76	c (3,0) x392 = 16
25.50/15.76	c (3,0) x393 = 23
25.50/15.76	c (3,0) x394 = 20
25.50/15.76	c (3,0) x395 = 4
25.50/15.76	c (3,0) x396 = 7
25.50/15.76	c (3,0) x397 = 6
25.50/15.76	c (3,0) x398 = 8
25.50/15.76	c (3,0) x399 = 19
25.50/15.76	c (3,0) x4 = 23
25.50/15.76	c (3,0) x40 = 7
25.50/15.76	c (3,0) x400 = 17
25.50/15.76	c (3,0) x401 = 14
25.50/15.76	c (3,0) x402 = 8
25.50/15.76	c (3,0) x403 = 15
25.50/15.76	c (3,0) x404 = 11
25.50/15.76	c (3,0) x405 = 10
25.50/15.76	c (3,0) x406 = 7
25.50/15.76	c (3,0) x407 = 5
25.50/15.76	c (3,0) x408 = 21
25.50/15.76	c (3,0) x409 = 4
25.50/15.76	c (3,0) x41 = 18
25.50/15.76	c (3,0) x410 = 0
25.50/15.76	c (3,0) x411 = 6
25.50/15.76	c (3,0) x412 = 9
25.50/15.76	c (3,0) x413 = 22
25.50/15.76	c (3,0) x414 = 23
25.50/15.76	c (3,0) x415 = 1
25.50/15.76	c (3,0) x416 = 19
25.50/15.76	c (3,0) x417 = 18
25.50/15.76	c (3,0) x418 = 3
25.50/15.76	c (3,0) x419 = 12
25.50/15.76	c (3,0) x42 = 11
25.50/15.76	c (3,0) x420 = 13
25.50/15.76	c (3,0) x421 = 20
25.50/15.76	c (3,0) x422 = 24
25.50/15.76	c (3,0) x423 = 2
25.50/15.76	c (3,0) x424 = 16
25.50/15.76	c (3,0) x425 = 16
25.50/15.76	c (3,0) x426 = 7
25.50/15.76	c (3,0) x427 = 11
25.50/15.76	c (3,0) x428 = 9
25.50/15.76	c (3,0) x429 = 0
25.50/15.76	c (3,0) x43 = 24
25.50/15.76	c (3,0) x430 = 4
25.50/15.76	c (3,0) x431 = 12
25.50/15.76	c (3,0) x432 = 13
25.50/15.76	c (3,0) x433 = 20
25.50/15.76	c (3,0) x434 = 3
25.50/15.76	c (3,0) x435 = 2
25.50/15.76	c (3,0) x436 = 21
25.50/15.76	c (3,0) x437 = 22
25.50/15.76	c (3,0) x438 = 5
25.50/15.76	c (3,0) x439 = 15
25.50/15.76	c (3,0) x44 = 19
25.50/15.76	c (3,0) x440 = 14
25.50/15.76	c (3,0) x441 = 24
25.50/15.76	c (3,0) x442 = 8
25.50/15.76	c (3,0) x443 = 18
25.50/15.76	c (3,0) x444 = 1
25.50/15.76	c (3,0) x445 = 6
25.50/15.76	c (3,0) x446 = 10
25.50/15.76	c (3,0) x447 = 19
25.50/15.76	c (3,0) x448 = 23
25.50/15.76	c (3,0) x449 = 17
25.50/15.76	c (3,0) x45 = 23
25.50/15.76	c (3,0) x450 = 14
25.50/15.76	c (3,0) x451 = 12
25.50/15.76	c (3,0) x452 = 23
25.50/15.76	c (3,0) x453 = 4
25.50/15.76	c (3,0) x454 = 24
25.50/15.76	c (3,0) x455 = 13
25.50/15.76	c (3,0) x456 = 9
25.50/15.76	c (3,0) x457 = 0
25.50/15.76	c (3,0) x458 = 8
25.50/15.76	c (3,0) x459 = 21
25.50/15.76	c (3,0) x46 = 15
25.50/15.76	c (3,0) x460 = 1
25.50/15.76	c (3,0) x461 = 2
25.50/15.76	c (3,0) x462 = 18
25.50/15.76	c (3,0) x463 = 11
25.50/15.76	c (3,0) x464 = 16
25.50/15.76	c (3,0) x465 = 3
25.50/15.76	c (3,0) x466 = 20
25.50/15.76	c (3,0) x467 = 22
25.50/15.76	c (3,0) x468 = 19
25.50/15.76	c (3,0) x469 = 6
25.50/15.76	c (3,0) x47 = 22
25.50/15.76	c (3,0) x470 = 5
25.50/15.76	c (3,0) x471 = 17
25.50/15.76	c (3,0) x472 = 10
25.50/15.76	c (3,0) x473 = 15
25.50/15.76	c (3,0) x474 = 7
25.50/15.76	c (3,0) x475 = 13
25.50/15.76	c (3,0) x476 = 5
25.50/15.76	c (3,0) x477 = 7
25.50/15.76	c (3,0) x478 = 12
25.50/15.76	c (3,0) x479 = 22
25.50/15.76	c (3,0) x48 = 1
25.50/15.76	c (3,0) x480 = 6
25.50/15.76	c (3,0) x481 = 20
25.50/15.76	c (3,0) x482 = 3
25.50/15.76	c (3,0) x483 = 2
25.50/15.76	c (3,0) x484 = 23
25.50/15.76	c (3,0) x485 = 21
25.50/15.76	c (3,0) x486 = 10
25.50/15.76	c (3,0) x487 = 8
25.50/15.76	c (3,0) x488 = 15
25.50/15.76	c (3,0) x489 = 19
25.50/15.76	c (3,0) x49 = 6
25.50/15.76	c (3,0) x490 = 11
25.50/15.76	c (3,0) x491 = 1
25.50/15.76	c (3,0) x492 = 17
25.50/15.76	c (3,0) x493 = 4
25.50/15.76	c (3,0) x494 = 24
25.50/15.76	c (3,0) x495 = 14
25.50/15.76	c (3,0) x496 = 16
25.50/15.76	c (3,0) x497 = 0
25.50/15.76	c (3,0) x498 = 18
25.50/15.76	c (3,0) x499 = 9
25.50/15.76	c (3,0) x5 = 0
25.50/15.76	c (3,0) x50 = 21
25.50/15.76	c (3,0) x500 = 4
25.50/15.76	c (3,0) x501 = 22
25.50/15.76	c (3,0) x502 = 2
25.50/15.76	c (3,0) x503 = 1
25.50/15.76	c (3,0) x504 = 6
25.50/15.76	c (3,0) x505 = 21
25.50/15.76	c (3,0) x506 = 24
25.50/15.76	c (3,0) x507 = 23
25.50/15.76	c (3,0) x508 = 7
25.50/15.76	c (3,0) x509 = 10
25.50/15.76	c (3,0) x51 = 18
25.50/15.76	c (3,0) x510 = 8
25.50/15.76	c (3,0) x511 = 12
25.50/15.76	c (3,0) x512 = 0
25.50/15.76	c (3,0) x513 = 16
25.50/15.76	c (3,0) x514 = 11
25.50/15.76	c (3,0) x515 = 17
25.50/15.76	c (3,0) x516 = 15
25.50/15.76	c (3,0) x517 = 9
25.50/15.76	c (3,0) x518 = 5
25.50/15.76	c (3,0) x519 = 13
25.50/15.76	c (3,0) x52 = 5
25.50/15.76	c (3,0) x520 = 19
25.50/15.76	c (3,0) x521 = 18
25.50/15.76	c (3,0) x522 = 20
25.50/15.76	c (3,0) x523 = 14
25.50/15.76	c (3,0) x524 = 3
25.50/15.76	c (3,0) x525 = 10
25.50/15.76	c (3,0) x526 = 11
25.50/15.76	c (3,0) x527 = 16
25.50/15.76	c (3,0) x528 = 19
25.50/15.76	c (3,0) x529 = 21
25.50/15.76	c (3,0) x53 = 6
25.50/15.76	c (3,0) x530 = 7
25.50/15.76	c (3,0) x531 = 6
25.50/15.76	c (3,0) x532 = 9
25.50/15.76	c (3,0) x533 = 14
25.50/15.76	c (3,0) x534 = 22
25.50/15.76	c (3,0) x535 = 3
25.50/15.76	c (3,0) x536 = 4
25.50/15.76	c (3,0) x537 = 2
25.50/15.76	c (3,0) x538 = 23
25.50/15.76	c (3,0) x539 = 17
25.50/15.76	c (3,0) x54 = 8
25.50/15.76	c (3,0) x540 = 0
25.50/15.76	c (3,0) x541 = 12
25.50/15.76	c (3,0) x542 = 13
25.50/15.76	c (3,0) x543 = 1
25.50/15.76	c (3,0) x544 = 18
25.50/15.76	c (3,0) x545 = 24
25.50/15.76	c (3,0) x546 = 8
25.50/15.76	c (3,0) x547 = 15
25.50/15.76	c (3,0) x548 = 20
25.50/15.76	c (3,0) x549 = 5
25.50/15.76	c (3,0) x55 = 16
25.50/15.76	c (3,0) x550 = 2
25.50/15.76	c (3,0) x551 = 24
25.50/15.76	c (3,0) x552 = 22
25.50/15.76	c (3,0) x553 = 13
25.50/15.76	c (3,0) x554 = 3
25.50/15.76	c (3,0) x555 = 17
25.50/15.76	c (3,0) x556 = 0
25.50/15.76	c (3,0) x557 = 7
25.50/15.77	c (3,0) x558 = 4
25.50/15.77	c (3,0) x559 = 11
25.50/15.77	c (3,0) x56 = 23
25.50/15.77	c (3,0) x560 = 15
25.50/15.77	c (3,0) x561 = 20
25.50/15.77	c (3,0) x562 = 21
25.50/15.77	c (3,0) x563 = 8
25.50/15.77	c (3,0) x564 = 5
25.50/15.77	c (3,0) x565 = 6
25.50/15.77	c (3,0) x566 = 9
25.50/15.77	c (3,0) x567 = 10
25.50/15.77	c (3,0) x568 = 16
25.50/15.77	c (3,0) x569 = 23
25.50/15.77	c (3,0) x57 = 12
25.50/15.77	c (3,0) x570 = 18
25.50/15.77	c (3,0) x571 = 14
25.50/15.77	c (3,0) x572 = 12
25.50/15.77	c (3,0) x573 = 19
25.50/15.77	c (3,0) x574 = 1
25.50/15.77	c (3,0) x575 = 12
25.50/15.77	c (3,0) x576 = 16
25.50/15.77	c (3,0) x577 = 1
25.50/15.77	c (3,0) x578 = 24
25.50/15.77	c (3,0) x579 = 10
25.50/15.77	c (3,0) x58 = 22
25.50/15.77	c (3,0) x580 = 3
25.50/15.77	c (3,0) x581 = 5
25.50/15.77	c (3,0) x582 = 6
25.50/15.77	c (3,0) x583 = 9
25.50/15.77	c (3,0) x584 = 18
25.50/15.77	c (3,0) x585 = 11
25.50/15.77	c (3,0) x586 = 22
25.50/15.77	c (3,0) x587 = 23
25.50/15.77	c (3,0) x588 = 19
25.50/15.77	c (3,0) x589 = 21
25.50/15.77	c (3,0) x59 = 2
25.50/15.77	c (3,0) x590 = 20
25.50/15.77	c (3,0) x591 = 2
25.50/15.77	c (3,0) x592 = 14
25.50/15.77	c (3,0) x593 = 7
25.50/15.77	c (3,0) x594 = 15
25.50/15.77	c (3,0) x595 = 0
25.50/15.77	c (3,0) x596 = 4
25.50/15.77	c (3,0) x597 = 13
25.50/15.77	c (3,0) x598 = 17
25.50/15.77	c (3,0) x599 = 8
25.50/15.77	c (3,0) x6 = 16
25.50/15.77	c (3,0) x60 = 10
25.50/15.77	c (3,0) x600 = 23
25.50/15.77	c (3,0) x601 = 3
25.50/15.77	c (3,0) x602 = 6
25.50/15.77	c (3,0) x603 = 20
25.50/15.77	c (3,0) x604 = 19
25.50/15.77	c (3,0) x605 = 15
25.50/15.77	c (3,0) x606 = 17
25.50/15.77	c (3,0) x607 = 22
25.50/15.77	c (3,0) x608 = 0
25.50/15.77	c (3,0) x609 = 5
25.50/15.77	c (3,0) x61 = 17
25.50/15.77	c (3,0) x610 = 18
25.50/15.77	c (3,0) x611 = 24
25.50/15.77	c (3,0) x612 = 14
25.50/15.77	c (3,0) x613 = 4
25.50/15.77	c (3,0) x614 = 1
25.50/15.77	c (3,0) x615 = 12
25.50/15.77	c (3,0) x616 = 10
25.50/15.77	c (3,0) x617 = 21
25.50/15.77	c (3,0) x618 = 11
25.50/15.77	c (3,0) x619 = 8
25.50/15.77	c (3,0) x62 = 24
25.50/15.77	c (3,0) x620 = 16
25.50/15.77	c (3,0) x621 = 9
25.50/15.77	c (3,0) x622 = 2
25.50/15.77	c (3,0) x623 = 7
25.50/15.77	c (3,0) x624 = 13
25.50/15.77	c (3,0) x63 = 3
25.50/15.77	c (3,0) x64 = 4
25.50/15.77	c (3,0) x65 = 13
25.50/15.77	c (3,0) x66 = 7
25.50/15.77	c (3,0) x67 = 19
25.50/15.77	c (3,0) x68 = 0
25.50/15.77	c (3,0) x69 = 14
25.50/15.77	c (3,0) x7 = 11
25.50/15.77	c (3,0) x70 = 15
25.50/15.77	c (3,0) x71 = 11
25.50/15.77	c (3,0) x72 = 1
25.50/15.77	c (3,0) x73 = 9
25.50/15.77	c (3,0) x74 = 20
25.50/15.77	c (3,0) x75 = 24
25.50/15.77	c (3,0) x76 = 23
25.50/15.77	c (3,0) x77 = 21
25.50/15.77	c (3,0) x78 = 2
25.50/15.77	c (3,0) x79 = 18
25.50/15.77	c (3,0) x8 = 24
25.50/15.77	c (3,0) x80 = 5
25.50/15.77	c (3,0) x81 = 15
25.50/15.77	c (3,0) x82 = 20
25.50/15.77	c (3,0) x83 = 13
25.50/15.77	c (3,0) x84 = 9
25.50/15.77	c (3,0) x85 = 7
25.50/15.77	c (3,0) x86 = 11
25.50/15.77	c (3,0) x87 = 17
25.50/15.77	c (3,0) x88 = 0
25.50/15.77	c (3,0) x89 = 6
25.50/15.77	c (3,0) x9 = 14
25.50/15.77	c (3,0) x90 = 19
25.50/15.77	c (3,0) x91 = 8
25.50/15.77	c (3,0) x92 = 1
25.50/15.77	c (3,0) x93 = 10
25.50/15.77	c (3,0) x94 = 22
25.50/15.77	c (3,0) x95 = 12
25.50/15.77	c (3,0) x96 = 3
25.50/15.77	c (3,0) x97 = 14
25.50/15.77	c (3,0) x98 = 16
25.50/15.77	c (3,0) x99 = 4
25.50/15.77	s SATISFIABLE
25.50/15.78	v <instantiation>
25.50/15.78	v     <list>x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260 x261 x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 x313 x314 x315 x316 x317 x318 x319 x320 x321 x322 x323 x324 x325 x326 x327 x328 x329 x330 x331 x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 x348 x349 x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 x371 x372 x373 x374 x375 x376 x377 x378 x379 x380 x381 x382 x383 x384 x385 x386 x387 x388 x389 x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 x416 x417 x418 x419 x420 x421 x422 x423 x424 x425 x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 x436 x437 x438 x439 x440 x441 x442 x443 x444 x445 x446 x447 x448 x449 x450 x451 x452 x453 x454 x455 x456 x457 x458 x459 x460 x461 x462 x463 x464 x465 x466 x467 x468 x469 x470 x471 x472 x473 x474 x475 x476 x477 x478 x479 x480 x481 x482 x483 x484 x485 x486 x487 x488 x489 x490 x491 x492 x493 x494 x495 x496 x497 x498 x499 x500 x501 x502 x503 x504 x505 x506 x507 x508 x509 x510 x511 x512 x513 x514 x515 x516 x517 x518 x519 x520 x521 x522 x523 x524 x525 x526 x527 x528 x529 x530 x531 x532 x533 x534 x535 x536 x537 x538 x539 x540 x541 x542 x543 x544 x545 x546 x547 x548 x549 x550 x551 x552 x553 x554 x555 x556 x557 x558 x559 x560 x561 x562 x563 x564 x565 x566 x567 x568 x569 x570 x571 x572 x573 x574 x575 x576 x577 x578 x579 x580 x581 x582 x583 x584 x585 x586 x587 x588 x589 x590 x591 x592 x593 x594 x595 x596 x597 x598 x599 x600 x601 x602 x603 x604 x605 x606 x607 x608 x609 x610 x611 x612 x613 x614 x615 x616 x617 x618 x619 x620 x621 x622 x623 x624</list>
25.50/15.78	v     <values>22 20 10 18 23 0 16 11 24 14 17 8 3 6 7 9 13 15 12 21 1 19 4 5 2 9 13 20 3 12 14 21 8 5 17 16 0 4 10 2 7 18 11 24 19 23 15 22 1 6 21 18 5 6 8 16 23 12 22 2 10 17 24 3 4 13 7 19 0 14 15 11 1 9 20 24 23 21 2 18 5 15 20 13 9 7 11 17 0 6 19 8 1 10 22 12 3 14 16 4 5 17 13 7 15 23 10 21 1 6 19 18 20 14 8 2 3 0 9 4 22 12 16 24 11 0 2 4 10 20 19 13 15 11 16 9 1 12 7 18 5 23 24 8 3 17 6 21 22 14 15 10 3 8 1 18 4 14 17 19 23 7 6 2 0 24 16 12 20 11 9 13 5 21 22 8 1 18 23 4 22 19 2 10 7 14 16 5 20 13 15 11 6 21 17 3 24 9 12 0 3 6 17 11 16 9 14 19 23 15 20 13 10 1 24 18 4 2 22 5 7 21 8 0 12 18 19 0 22 14 12 8 10 16 1 5 15 7 13 9 21 6 4 17 2 20 23 3 11 24 11 4 12 14 2 1 22 16 6 24 13 23 19 9 20 8 17 7 15 0 21 5 18 3 10 7 21 9 16 5 24 2 17 19 20 4 14 15 12 3 22 0 23 13 10 8 1 11 6 18 20 8 19 0 13 11 18 1 15 12 24 5 16 17 14 4 21 3 6 9 2 22 7 10 23 19 0 24 21 7 20 3 4 12 8 6 9 1 18 10 23 22 5 14 16 11 2 17 13 15 6 9 15 5 17 8 1 18 3 13 22 19 11 24 12 16 14 20 2 7 10 0 23 4 21 1 15 14 17 9 2 11 24 18 0 12 3 13 21 22 10 5 16 23 20 4 7 6 8 19 17 14 8 15 11 10 7 5 21 4 0 6 9 22 23 1 19 18 3 12 13 20 24 2 16 16 7 11 9 0 4 12 13 20 3 2 21 22 5 15 14 24 8 18 1 6 10 19 23 17 14 12 23 4 24 13 9 0 8 21 1 2 18 11 16 3 20 22 19 6 5 17 10 15 7 13 5 7 12 22 6 20 3 2 23 21 10 8 15 19 11 1 17 4 24 14 16 0 18 9 4 22 2 1 6 21 24 23 7 10 8 12 0 16 11 17 15 9 5 13 19 18 20 14 3 10 11 16 19 21 7 6 9 14 22 3 4 2 23 17 0 12 13 1 18 24 8 15 20 5 2 24 22 13 3 17 0 7 4 11 15 20 21 8 5 6 9 10 16 23 18 14 12 19 1 12 16 1 24 10 3 5 6 9 18 11 22 23 19 21 20 2 14 7 15 0 4 13 17 8 23 3 6 20 19 15 17 22 0 5 18 24 14 4 1 12 10 21 11 8 16 9 2 7 13</values>
25.50/15.78	v </instantiation>
25.50/15.78	c (3,0) Show results End
25.50/15.78	c (3,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
25.50/15.78	c (3,0) 3,3,STOP-AFTER(ALL)
25.50/15.78	c END-Prog: Thu Sep 12 16:09:04 CEST 2019

Verifier Data 

OK

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388311-1568297368/watcher-4388311-1568297368 -o /tmp/evaluation-result-4388311-1568297368/solver-4388311-1568297368 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568285951-4194 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388311-1568297368.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
solver pid=8852, runsolver pid=8849
Current StackSize limit: 8192 KiB


[startup+0.100095 s]*
/proc/loadavg: 2.35 2.11 2.12 4/234 8869
/proc/meminfo: memFree=16049168/32770624 swapFree=66939824/67108860
[pid=8852] ppid=8849 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/8852/stat : 8852 (scop.sh) S 8849 8852 3344 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405651681 115843072 348 33554432000 4194304 5098028 140732581694400 140732581691656 139790997357180 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20271104 140732581696355 140732581696624 140732581696624 140732581699533 0
/proc/8852/statm: 28282 348 296 221 0 87 0
[pid=8855] ppid=8852 vsize=15012696 memory=73564 CPUtime=0.12 cores=1,3,5,7
/proc/8855/stat : 8855 (java) S 8852 8852 3344 0 -1 1077944320 6646 0 0 0 10 2 0 0 20 0 15 0 405651681 15373000704 18391 33554432000 4194304 4196468 140720735747200 140720735729744 139791701298935 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
/proc/8855/statm: 3753174 18391 2920 1 0 3715579 0
[pid=8855/tid=8856] ppid=8852 vsize=15012696 memory=-7828588039587137883 CPUtime=0.08 cores=1,3,5,7
/proc/8855/task/8856/stat : 8856 (java) R 8852 8852 3344 0 -1 4202560 4465 0 0 0 7 1 0 0 20 0 15 0 405651681 15373000704 18457 33554432000 4194304 4196468 140720735747200 139791673092840 139791693536062 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8857] ppid=8852 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8857/stat : 8857 (java) S 8852 8852 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405651683 15373000704 18457 33554432000 4194304 4196468 140720735747200 139791705540880 139791701309141 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8858] ppid=8852 vsize=15012696 memory=139773204608640 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8858/stat : 8858 (java) S 8852 8852 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405651683 15373000704 18457 33554432000 4194304 4196468 140720735747200 139791523629456 139791701309141 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8859] ppid=8852 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8859/stat : 8859 (java) S 8852 8852 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405651683 15373000704 18457 33554432000 4194304 4196468 140720735747200 139791160650256 139791701309141 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8860] ppid=8852 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8860/stat : 8860 (java) S 8852 8852 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405651683 15373000704 18457 33554432000 4194304 4196468 140720735747200 139791159597712 139791701309141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8861] ppid=8852 vsize=15012696 memory=139773204608640 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8861/stat : 8861 (java) S 8852 8852 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405651684 15373000704 18457 33554432000 4194304 4196468 140720735747200 139791040461296 139791701310082 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8862] ppid=8852 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8862/stat : 8862 (java) S 8852 8852 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405651685 15373000704 18457 33554432000 4194304 4196468 140720735747200 139790280287648 139791701309141 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8863] ppid=8852 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8863/stat : 8863 (java) S 8852 8852 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405651685 15373000704 18457 33554432000 4194304 4196468 140720735747200 139790045406704 139791701309141 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8864] ppid=8852 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8864/stat : 8864 (java) S 8852 8852 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405651687 15373000704 18457 33554432000 4194304 4196468 140720735747200 139789670898384 139791701317531 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8865] ppid=8852 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8865/stat : 8865 (java) R 8852 8852 3344 0 -1 4202560 427 0 0 0 0 0 0 0 20 0 15 0 405651687 15373000704 18457 33554432000 4194304 4196468 140720735747200 139791039408112 139791701310082 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8866] ppid=8852 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8866/stat : 8866 (java) R 8852 8852 3344 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 15 0 405651687 15373000704 18457 33554432000 4194304 4196468 140720735747200 139791038355568 139791701310082 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8867] ppid=8852 vsize=15012696 memory=139773204608640 CPUtime=0.01 cores=1,3,5,7
/proc/8855/task/8867/stat : 8867 (java) R 8852 8852 3344 0 -1 4202560 426 0 0 0 1 0 0 0 20 0 15 0 405651687 15373000704 18457 33554432000 4194304 4196468 140720735747200 139791037303024 139791701320282 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8868] ppid=8852 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8868/stat : 8868 (java) S 8852 8852 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405651688 15373000704 18457 33554432000 4194304 4196468 140720735747200 139789172992608 139791701309141 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8869] ppid=8852 vsize=15012696 memory=139773204608640 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8869/stat : 8869 (java) S 8852 8852 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405651688 15373000704 18457 33554432000 4194304 4196468 140720735747200 139791036250928 139791701310082 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74956 KiB

[startup+0.210946 s]*
/proc/loadavg: 2.35 2.11 2.12 4/234 8869
/proc/meminfo: memFree=16031312/32770624 swapFree=66939824/67108860
[pid=8852] ppid=8849 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/8852/stat : 8852 (scop.sh) S 8849 8852 3344 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405651681 115843072 348 33554432000 4194304 5098028 140732581694400 140732581691656 139790997357180 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20271104 140732581696355 140732581696624 140732581696624 140732581699533 0
/proc/8852/statm: 28282 348 296 221 0 87 0
[pid=8855] ppid=8852 vsize=15012696 memory=88392 CPUtime=0.25 cores=1,3,5,7
/proc/8855/stat : 8855 (java) S 8852 8852 3344 0 -1 1077944320 11677 0 0 0 22 3 0 0 20 0 15 0 405651681 15373000704 22098 33554432000 4194304 4196468 140720735747200 140720735729744 139791701298935 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
/proc/8855/statm: 3753174 22098 2923 1 0 3715579 0
[pid=8855/tid=8856] ppid=8852 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/8855/task/8856/stat : 8856 (java) R 8852 8852 3344 0 -1 4202560 9434 0 0 0 17 3 0 0 20 0 15 0 405651681 15373000704 22098 33554432000 4194304 4196468 140720735747200 139791673114176 139791685379422 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8857] ppid=8852 vsize=15012696 memory=540 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8857/stat : 8857 (java) S 8852 8852 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405651683 15373000704 22098 33554432000 4194304 4196468 140720735747200 139791705540880 139791701309141 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8858] ppid=8852 vsize=15012696 memory=139773204617752 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8858/stat : 8858 (java) S 8852 8852 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405651683 15373000704 22098 33554432000 4194304 4196468 140720735747200 139791523629456 139791701309141 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8859] ppid=8852 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8859/stat : 8859 (java) S 8852 8852 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405651683 15373000704 22098 33554432000 4194304 4196468 140720735747200 139791160650256 139791701309141 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8860] ppid=8852 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8860/stat : 8860 (java) S 8852 8852 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405651683 15373000704 22098 33554432000 4194304 4196468 140720735747200 139791159597712 139791701309141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8861] ppid=8852 vsize=15012696 memory=139773204608640 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8861/stat : 8861 (java) S 8852 8852 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405651684 15373000704 22098 33554432000 4194304 4196468 140720735747200 139791040461296 139791701310082 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8862] ppid=8852 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8862/stat : 8862 (java) S 8852 8852 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405651685 15373000704 22098 33554432000 4194304 4196468 140720735747200 139790280287648 139791701309141 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8863] ppid=8852 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8863/stat : 8863 (java) S 8852 8852 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405651685 15373000704 22098 33554432000 4194304 4196468 140720735747200 139790045406704 139791701309141 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8864] ppid=8852 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8864/stat : 8864 (java) S 8852 8852 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405651687 15373000704 22098 33554432000 4194304 4196468 140720735747200 139789670898384 139791701317531 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8865] ppid=8852 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8865/stat : 8865 (java) S 8852 8852 3344 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 405651687 15373000704 22098 33554432000 4194304 4196468 140720735747200 139791039408112 139791701310082 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8866] ppid=8852 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8866/stat : 8866 (java) S 8852 8852 3344 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 405651687 15373000704 22098 33554432000 4194304 4196468 140720735747200 139791038355568 139791701310082 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8867] ppid=8852 vsize=15012696 memory=139773204608640 CPUtime=0.03 cores=1,3,5,7
/proc/8855/task/8867/stat : 8867 (java) S 8852 8852 3344 0 -1 1077944384 434 0 0 0 3 0 0 0 20 0 15 0 405651687 15373000704 22098 33554432000 4194304 4196468 140720735747200 139791037303024 139791701310082 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8868] ppid=8852 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8868/stat : 8868 (java) S 8852 8852 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405651688 15373000704 22098 33554432000 4194304 4196468 140720735747200 139789172992608 139791701309141 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8869] ppid=8852 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8869/stat : 8869 (java) S 8852 8852 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405651688 15373000704 22098 33554432000 4194304 4196468 140720735747200 139791036250928 139791701310082 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89784 KiB

[startup+0.310637 s]*
/proc/loadavg: 2.35 2.11 2.12 4/234 8869
/proc/meminfo: memFree=16028892/32770624 swapFree=66939824/67108860
[pid=8852] ppid=8849 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/8852/stat : 8852 (scop.sh) S 8849 8852 3344 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405651681 115843072 348 33554432000 4194304 5098028 140732581694400 140732581691656 139790997357180 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20271104 140732581696355 140732581696624 140732581696624 140732581699533 0
/proc/8852/statm: 28282 348 296 221 0 87 0
[pid=8855] ppid=8852 vsize=15012696 memory=92064 CPUtime=0.43 cores=1,3,5,7
/proc/8855/stat : 8855 (java) S 8852 8852 3344 0 -1 1077944320 12055 0 0 0 39 4 0 0 20 0 15 0 405651681 15373000704 23016 33554432000 4194304 4196468 140720735747200 140720735729744 139791701298935 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
/proc/8855/statm: 3753174 23016 3079 1 0 3715579 0
[pid=8855/tid=8856] ppid=8852 vsize=15012696 memory=7022364632946311227 CPUtime=0.3 cores=1,3,5,7
/proc/8855/task/8856/stat : 8856 (java) R 8852 8852 3344 0 -1 4202560 9629 0 0 0 27 3 0 0 20 0 15 0 405651681 15373000704 23016 33554432000 4194304 4196468 140720735747200 139791673129008 139791685379422 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8857] ppid=8852 vsize=15012696 memory=288292155783643526 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8857/stat : 8857 (java) S 8852 8852 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405651683 15373000704 23016 33554432000 4194304 4196468 140720735747200 139791705540880 139791701309141 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8858] ppid=8852 vsize=15012696 memory=15538535469948779 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8858/stat : 8858 (java) S 8852 8852 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405651683 15373000704 23016 33554432000 4194304 4196468 140720735747200 139791523629456 139791701309141 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8859] ppid=8852 vsize=15012696 memory=279546134034800 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8859/stat : 8859 (java) S 8852 8852 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405651683 15373000704 23016 33554432000 4194304 4196468 140720735747200 139791160650256 139791701309141 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8860] ppid=8852 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8860/stat : 8860 (java) S 8852 8852 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405651683 15373000704 23016 33554432000 4194304 4196468 140720735747200 139791159597712 139791701309141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8861] ppid=8852 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8861/stat : 8861 (java) S 8852 8852 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405651684 15373000704 23016 33554432000 4194304 4196468 140720735747200 139791040461296 139791701310082 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8862] ppid=8852 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8862/stat : 8862 (java) S 8852 8852 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405651685 15373000704 23016 33554432000 4194304 4196468 140720735747200 139790280287648 139791701309141 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8863] ppid=8852 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8863/stat : 8863 (java) S 8852 8852 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405651685 15373000704 23016 33554432000 4194304 4196468 140720735747200 139790045406704 139791701309141 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8864] ppid=8852 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8864/stat : 8864 (java) S 8852 8852 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405651687 15373000704 23016 33554432000 4194304 4196468 140720735747200 139789670898384 139791701317531 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8865] ppid=8852 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/8855/task/8865/stat : 8865 (java) S 8852 8852 3344 0 -1 1077944384 541 0 0 0 3 0 0 0 20 0 15 0 405651687 15373000704 23016 33554432000 4194304 4196468 140720735747200 139791039408112 139791701310082 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8866] ppid=8852 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8855/task/8866/stat : 8866 (java) S 8852 8852 3344 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 15 0 405651687 15373000704 23016 33554432000 4194304 4196468 140720735747200 139791038355568 139791701310082 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8867] ppid=8852 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8855/task/8867/stat : 8867 (java) S 8852 8852 3344 0 -1 1077944384 456 0 0 0 7 0 0 0 20 0 15 0 405651687 15373000704 23016 33554432000 4194304 4196468 140720735747200 139791037303024 139791701310082 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8868] ppid=8852 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8868/stat : 8868 (java) S 8852 8852 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405651688 15373000704 23016 33554432000 4194304 4196468 140720735747200 139789172992608 139791701309141 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8869] ppid=8852 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8869/stat : 8869 (java) S 8852 8852 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405651688 15373000704 23016 33554432000 4194304 4196468 140720735747200 139791036250928 139791701310082 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93456 KiB

[startup+0.701549 s]
/proc/loadavg: 2.35 2.11 2.12 3/234 8869
/proc/meminfo: memFree=16006940/32770624 swapFree=66939824/67108860
[pid=8852] ppid=8849 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/8852/stat : 8852 (scop.sh) S 8849 8852 3344 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405651681 115843072 348 33554432000 4194304 5098028 140732581694400 140732581691656 139790997357180 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20271104 140732581696355 140732581696624 140732581696624 140732581699533 0
/proc/8852/statm: 28282 348 296 221 0 87 0
[pid=8855] ppid=8852 vsize=15018968 memory=131328 CPUtime=1.03 cores=1,3,5,7
/proc/8855/stat : 8855 (java) S 8852 8852 3344 0 -1 1077944320 19582 0 0 0 97 6 0 0 20 0 15 0 405651681 15379423232 32832 33554432000 4194304 4196468 140720735747200 140720735729744 139791701298935 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
/proc/8855/statm: 3754742 32832 3198 1 0 3716091 0
[pid=8855/tid=8856] ppid=8852 vsize=15018968 memory=1788652553473 CPUtime=0.67 cores=1,3,5,7
/proc/8855/task/8856/stat : 8856 (java) R 8852 8852 3344 0 -1 4202560 16666 0 0 0 62 5 0 0 20 0 15 0 405651681 15379423232 32832 33554432000 4194304 4196468 140720735747200 139791673134736 139791701320861 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8857] ppid=8852 vsize=15018968 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8857/stat : 8857 (java) S 8852 8852 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405651683 15379423232 32832 33554432000 4194304 4196468 140720735747200 139791705540880 139791701309141 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8858] ppid=8852 vsize=15018968 memory=1608 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8858/stat : 8858 (java) S 8852 8852 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405651683 15379423232 32832 33554432000 4194304 4196468 140720735747200 139791523629456 139791701309141 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8859] ppid=8852 vsize=15018968 memory=7980 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8859/stat : 8859 (java) S 8852 8852 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405651683 15379423232 32832 33554432000 4194304 4196468 140720735747200 139791160650256 139791701309141 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8860] ppid=8852 vsize=15018968 memory=9580 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8860/stat : 8860 (java) S 8852 8852 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405651683 15379423232 32832 33554432000 4194304 4196468 140720735747200 139791159597712 139791701309141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8861] ppid=8852 vsize=15018968 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8861/stat : 8861 (java) S 8852 8852 3344 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405651684 15379423232 32832 33554432000 4194304 4196468 140720735747200 139791040461296 139791701310082 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8862] ppid=8852 vsize=15018968 memory=776 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8862/stat : 8862 (java) S 8852 8852 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405651685 15379423232 32832 33554432000 4194304 4196468 140720735747200 139790280287648 139791701309141 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8863] ppid=8852 vsize=15018968 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8863/stat : 8863 (java) S 8852 8852 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405651685 15379423232 32832 33554432000 4194304 4196468 140720735747200 139790045406704 139791701309141 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8864] ppid=8852 vsize=15018968 memory=668 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8864/stat : 8864 (java) S 8852 8852 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405651687 15379423232 32832 33554432000 4194304 4196468 140720735747200 139789670898384 139791701317531 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8865] ppid=8852 vsize=15018968 memory=1232 CPUtime=0.1 cores=1,3,5,7
/proc/8855/task/8865/stat : 8865 (java) R 8852 8852 3344 0 -1 4202560 759 0 0 0 10 0 0 0 20 0 15 0 405651687 15379423232 32897 33554432000 4194304 4196468 140720735747200 139791039394672 139791701320282 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8866] ppid=8852 vsize=15018968 memory=1064 CPUtime=0.06 cores=1,3,5,7
/proc/8855/task/8866/stat : 8866 (java) R 8852 8852 3344 0 -1 1077944384 182 0 0 0 6 0 0 0 20 0 15 0 405651687 15379423232 32897 33554432000 4194304 4196468 140720735747200 139791038345104 139791701309141 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8867] ppid=8852 vsize=15018968 memory=14008 CPUtime=0.17 cores=1,3,5,7
/proc/8855/task/8867/stat : 8867 (java) R 8852 8852 3344 0 -1 4202560 642 0 0 0 17 0 0 0 20 0 15 0 405651687 15379423232 32897 33554432000 4194304 4196468 140720735747200 139791037298784 139791701310870 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8868] ppid=8852 vsize=15018968 memory=20680 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8868/stat : 8868 (java) S 8852 8852 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405651688 15379423232 32897 33554432000 4194304 4196468 140720735747200 139789172992608 139791701309141 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
[pid=8855/tid=8869] ppid=8852 vsize=15018968 memory=14056 CPUtime=0 cores=1,3,5,7
/proc/8855/task/8869/stat : 8869 (java) S 8852 8852 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405651688 15379423232 32897 33554432000 4194304 4196468 140720735747200 139791036250928 139791701310082 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35766272 140720735748906 140720735749274 140720735749274 140720735752143 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 132720 KiB

[startup+1.50081 s]
/proc/loadavg: 2.35 2.11 2.12 5/235 8871
/proc/meminfo: memFree=15948816/32770624 swapFree=66939824/67108860
[pid=8852] ppid=8849 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/8852/stat : 8852 (scop.sh) S 8849 8852 3344 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405651681 115843072 348 33554432000 4194304 5098028 140732581694400 140732581691656 139790997357180 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20271104 140732581696355 140732581696624 140732581696624 140732581699533 0
/proc/8852/statm: 28282 348 296 221 0 87 0

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

/proc/8872/task/8888/stat : 8888 (java) S 8852 8852 3344 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405652929 8262082560 30793 33554432000 4194304 4196468 140725352554464 140177731122368 140178498375449 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8890] ppid=8852 vsize=8068440 memory=-7522837415797432224 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8890/stat : 8890 (java) S 8852 8852 3344 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 405652930 8262082560 30793 33554432000 4194304 4196468 140725352554464 140175652924720 140178498372765 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8891] ppid=8852 vsize=8068440 memory=8761921863948460128 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8891/stat : 8891 (java) S 8852 8852 3344 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405652930 8262082560 30793 33554432000 4194304 4196468 140725352554464 140175518703792 140178498372765 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8892] ppid=8852 vsize=8068440 memory=-7019007802211091872 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8892/stat : 8892 (java) S 8852 8852 3344 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 405652933 8262082560 30793 33554432000 4194304 4196468 140725352554464 140175787155120 140178498361045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
Current children cumulated CPU time: 24.06 s
Current children cumulated vsize: 8217384 KiB
Current children cumulated memory: 137080 KiB

[startup+15.2009 s]
/proc/loadavg: 2.27 2.10 2.12 3/239 8892
/proc/meminfo: memFree=15984064/32770624 swapFree=66939824/67108860
[pid=8852] ppid=8849 vsize=113128 memory=1472 CPUtime=20.8 cores=1,3,5,7
/proc/8852/stat : 8852 (scop.sh) S 8849 8852 3344 0 -1 4202496 582 34670 0 0 0 0 2013 67 20 0 1 0 405651681 115843072 368 33554432000 4194304 5098028 140732581694400 140732581691144 139790997357180 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20271104 140732581696355 140732581696624 140732581696624 140732581699533 0
/proc/8852/statm: 28282 368 311 221 0 87 0
[pid=8872] ppid=8852 vsize=8068440 memory=123172 CPUtime=1.36 cores=1,3,5,7
/proc/8872/stat : 8872 (java) S 8852 8852 3344 0 -1 1077944320 20724 0 0 0 127 9 0 0 20 0 19 0 405652852 8262082560 30793 33554432000 4194304 4196468 140725352554464 140725352537008 140178498350839 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
/proc/8872/statm: 2017110 30793 3214 1 0 1978454 0
[pid=8887] ppid=8872 vsize=38568 memory=13912 CPUtime=2.7 cores=1,3,5,7
/proc/8887/stat : 8887 (cryptominisat5) R 8872 8852 3344 0 -1 4202496 6086 0 0 0 269 1 0 0 20 0 1 0 405652929 39493632 3478 33554432000 4194304 4451008 140724521207248 140724521203176 140309756335255 0 4 0 2 0 0 0 17 1 0 0 0 0 0 6549032 6559120 20234240 140724521210813 140724521210944 140724521210944 140724521213894 0
/proc/8887/statm: 9642 3478 644 63 0 3369 0
[pid=8872/tid=8873] ppid=8852 vsize=8068440 memory=12860 CPUtime=0.8 cores=1,3,5,7
/proc/8872/task/8873/stat : 8873 (java) S 8852 8852 3344 0 -1 1077944384 17408 0 0 0 73 7 0 0 20 0 19 0 405652852 8262082560 30793 33554432000 4194304 4196468 140725352554464 140178470191008 140178498361045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8874] ppid=8852 vsize=8068440 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8874/stat : 8874 (java) S 8852 8852 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405652853 8262082560 30793 33554432000 4194304 4196468 140725352554464 140178502593680 140178498361045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8875] ppid=8852 vsize=8068440 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8875/stat : 8875 (java) S 8852 8852 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405652853 8262082560 30793 33554432000 4194304 4196468 140725352554464 140178302762000 140178498361045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8876] ppid=8852 vsize=8068440 memory=20036 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8876/stat : 8876 (java) S 8852 8852 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405652853 8262082560 30793 33554432000 4194304 4196468 140725352554464 140178301709200 140178498361045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8877] ppid=8852 vsize=8068440 memory=37392 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8877/stat : 8877 (java) S 8852 8852 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405652853 8262082560 30793 33554432000 4194304 4196468 140725352554464 140178300656400 140178498361045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8878] ppid=8852 vsize=8068440 memory=988 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8878/stat : 8878 (java) S 8852 8852 3344 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 405652855 8262082560 30793 33554432000 4194304 4196468 140725352554464 140177810614640 140178498361986 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8879] ppid=8852 vsize=8068440 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8879/stat : 8879 (java) S 8852 8852 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405652855 8262082560 30793 33554432000 4194304 4196468 140725352554464 140177330660384 140178498361045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8880] ppid=8852 vsize=8068440 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8880/stat : 8880 (java) S 8852 8852 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405652856 8262082560 30793 33554432000 4194304 4196468 140725352554464 140177062224752 140178498361045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8881] ppid=8852 vsize=8068440 memory=4164 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8881/stat : 8881 (java) S 8852 8852 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405652858 8262082560 30793 33554432000 4194304 4196468 140725352554464 140176687716176 140178498369435 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8882] ppid=8852 vsize=8068440 memory=1548 CPUtime=0.14 cores=1,3,5,7
/proc/8872/task/8882/stat : 8882 (java) S 8852 8852 3344 0 -1 1077944384 753 0 0 0 14 0 0 0 20 0 19 0 405652858 8262082560 30793 33554432000 4194304 4196468 140725352554464 140177809562480 140178498361986 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8883] ppid=8852 vsize=8068440 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/8872/task/8883/stat : 8883 (java) S 8852 8852 3344 0 -1 1077944384 566 0 0 0 14 0 0 0 20 0 19 0 405652858 8262082560 30793 33554432000 4194304 4196468 140725352554464 140177808509680 140178498361986 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8884] ppid=8852 vsize=8068440 memory=4420 CPUtime=0.23 cores=1,3,5,7
/proc/8872/task/8884/stat : 8884 (java) S 8852 8852 3344 0 -1 1077944384 600 0 0 0 23 0 0 0 20 0 19 0 405652858 8262082560 30793 33554432000 4194304 4196468 140725352554464 140177807456880 140178498361986 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8885] ppid=8852 vsize=8068440 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8885/stat : 8885 (java) S 8852 8852 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405652859 8262082560 30793 33554432000 4194304 4196468 140725352554464 140176189811424 140178498361045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8886] ppid=8852 vsize=8068440 memory=8836 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8886/stat : 8886 (java) S 8852 8852 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405652859 8262082560 30793 33554432000 4194304 4196468 140725352554464 140177806404272 140178498361986 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8888] ppid=8852 vsize=8068440 memory=11044 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8888/stat : 8888 (java) S 8852 8852 3344 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405652929 8262082560 30793 33554432000 4194304 4196468 140725352554464 140177731122368 140178498375449 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8890] ppid=8852 vsize=8068440 memory=13252 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8890/stat : 8890 (java) S 8852 8852 3344 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 405652930 8262082560 30793 33554432000 4194304 4196468 140725352554464 140175652924720 140178498372765 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8891] ppid=8852 vsize=8068440 memory=15460 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8891/stat : 8891 (java) S 8852 8852 3344 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405652930 8262082560 30793 33554432000 4194304 4196468 140725352554464 140175518703792 140178498372765 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8892] ppid=8852 vsize=8068440 memory=17668 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8892/stat : 8892 (java) S 8852 8852 3344 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 405652933 8262082560 30793 33554432000 4194304 4196468 140725352554464 140175787155120 140178498361045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
Current children cumulated CPU time: 24.86 s
Current children cumulated vsize: 8220136 KiB
Current children cumulated memory: 138556 KiB

[startup+15.6009 s]
/proc/loadavg: 2.27 2.10 2.12 3/239 8892
/proc/meminfo: memFree=15984064/32770624 swapFree=66939824/67108860
[pid=8852] ppid=8849 vsize=113128 memory=1472 CPUtime=20.8 cores=1,3,5,7
/proc/8852/stat : 8852 (scop.sh) S 8849 8852 3344 0 -1 4202496 582 34670 0 0 0 0 2013 67 20 0 1 0 405651681 115843072 368 33554432000 4194304 5098028 140732581694400 140732581691144 139790997357180 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20271104 140732581696355 140732581696624 140732581696624 140732581699533 0
/proc/8852/statm: 28282 368 311 221 0 87 0
[pid=8872] ppid=8852 vsize=8068440 memory=123172 CPUtime=1.36 cores=1,3,5,7
/proc/8872/stat : 8872 (java) S 8852 8852 3344 0 -1 1077944320 20724 0 0 0 127 9 0 0 20 0 19 0 405652852 8262082560 30793 33554432000 4194304 4196468 140725352554464 140725352537008 140178498350839 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
/proc/8872/statm: 2017110 30793 3214 1 0 1978454 0
[pid=8887] ppid=8872 vsize=39100 memory=14644 CPUtime=3.1 cores=1,3,5,7
/proc/8887/stat : 8887 (cryptominisat5) R 8872 8852 3344 0 -1 4202496 6306 0 0 0 309 1 0 0 20 0 1 0 405652929 40038400 3661 33554432000 4194304 4451008 140724521207248 140724521203368 140309736729104 0 4 0 2 0 0 0 17 1 0 0 0 0 0 6549032 6559120 20234240 140724521210813 140724521210944 140724521210944 140724521213894 0
/proc/8887/statm: 9775 3661 644 63 0 3502 0
[pid=8872/tid=8873] ppid=8852 vsize=8068440 memory=-3622645143214314312 CPUtime=0.8 cores=1,3,5,7
/proc/8872/task/8873/stat : 8873 (java) S 8852 8852 3344 0 -1 1077944384 17408 0 0 0 73 7 0 0 20 0 19 0 405652852 8262082560 30793 33554432000 4194304 4196468 140725352554464 140178470191008 140178498361045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8874] ppid=8852 vsize=8068440 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8874/stat : 8874 (java) S 8852 8852 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405652853 8262082560 30793 33554432000 4194304 4196468 140725352554464 140178502593680 140178498361045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8875] ppid=8852 vsize=8068440 memory=6872598998417432672 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8875/stat : 8875 (java) S 8852 8852 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405652853 8262082560 30793 33554432000 4194304 4196468 140725352554464 140178302762000 140178498361045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8876] ppid=8852 vsize=8068440 memory=4206186544037388384 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8876/stat : 8876 (java) S 8852 8852 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405652853 8262082560 30793 33554432000 4194304 4196468 140725352554464 140178301709200 140178498361045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8877] ppid=8852 vsize=8068440 memory=6944656592455360569 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8877/stat : 8877 (java) S 8852 8852 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405652853 8262082560 30793 33554432000 4194304 4196468 140725352554464 140178300656400 140178498361045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8878] ppid=8852 vsize=8068440 memory=-6586668835053290912 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8878/stat : 8878 (java) S 8852 8852 3344 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 405652855 8262082560 30793 33554432000 4194304 4196468 140725352554464 140177810614640 140178498361986 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8879] ppid=8852 vsize=8068440 memory=6944656591646663941 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8879/stat : 8879 (java) S 8852 8852 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405652855 8262082560 30793 33554432000 4194304 4196468 140725352554464 140177330660384 140178498361045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8880] ppid=8852 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8880/stat : 8880 (java) S 8852 8852 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405652856 8262082560 30793 33554432000 4194304 4196468 140725352554464 140177062224752 140178498361045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8881] ppid=8852 vsize=8068440 memory=6493990552776 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8881/stat : 8881 (java) S 8852 8852 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405652858 8262082560 30793 33554432000 4194304 4196468 140725352554464 140176687716176 140178498369435 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8882] ppid=8852 vsize=8068440 memory=288230583166042426 CPUtime=0.14 cores=1,3,5,7
/proc/8872/task/8882/stat : 8882 (java) S 8852 8852 3344 0 -1 1077944384 753 0 0 0 14 0 0 0 20 0 19 0 405652858 8262082560 30793 33554432000 4194304 4196468 140725352554464 140177809562480 140178498361986 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8883] ppid=8852 vsize=8068440 memory=14699582244260401 CPUtime=0.14 cores=1,3,5,7
/proc/8872/task/8883/stat : 8883 (java) S 8852 8852 3344 0 -1 1077944384 566 0 0 0 14 0 0 0 20 0 19 0 405652858 8262082560 30793 33554432000 4194304 4196468 140725352554464 140177808509680 140178498361986 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8884] ppid=8852 vsize=8068440 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/8872/task/8884/stat : 8884 (java) R 8852 8852 3344 0 -1 4202560 601 0 0 0 23 0 0 0 20 0 19 0 405652858 8262082560 30793 33554432000 4194304 4196468 140725352554464 140177807456880 140178478274975 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8885] ppid=8852 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8885/stat : 8885 (java) S 8852 8852 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405652859 8262082560 30793 33554432000 4194304 4196468 140725352554464 140176189811424 140178498361045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8886] ppid=8852 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8886/stat : 8886 (java) S 8852 8852 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405652859 8262082560 30793 33554432000 4194304 4196468 140725352554464 140177806404272 140178498361986 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8888] ppid=8852 vsize=8068440 memory=5795400915719252324 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8888/stat : 8888 (java) S 8852 8852 3344 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405652929 8262082560 30793 33554432000 4194304 4196468 140725352554464 140177731122368 140178498375449 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8890] ppid=8852 vsize=8068440 memory=5795400906978519393 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8890/stat : 8890 (java) R 8852 8852 3344 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 405652930 8262082560 30793 33554432000 4194304 4196468 140725352554464 140175652924720 140178498372669 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8891] ppid=8852 vsize=8068440 memory=279546134832960 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8891/stat : 8891 (java) S 8852 8852 3344 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405652930 8262082560 30793 33554432000 4194304 4196468 140725352554464 140175518703792 140178498372765 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8892] ppid=8852 vsize=8068440 memory=7379246324424599666 CPUtime=0 cores=1,3,5,7
/proc/8872/task/8892/stat : 8892 (java) S 8852 8852 3344 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 405652933 8262082560 30793 33554432000 4194304 4196468 140725352554464 140175787155120 140178498361045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
Current children cumulated CPU time: 25.26 s
Current children cumulated vsize: 8220668 KiB
Current children cumulated memory: 139288 KiB

[startup+15.7009 s]
/proc/loadavg: 2.27 2.10 2.12 3/239 8892
/proc/meminfo: memFree=15984064/32770624 swapFree=66939824/67108860
[pid=8852] ppid=8849 vsize=113128 memory=1472 CPUtime=20.8 cores=1,3,5,7
/proc/8852/stat : 8852 (scop.sh) S 8849 8852 3344 0 -1 4202496 582 34670 0 0 0 0 2013 67 20 0 1 0 405651681 115843072 368 33554432000 4194304 5098028 140732581694400 140732581691144 139790997357180 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20271104 140732581696355 140732581696624 140732581696624 140732581699533 0
/proc/8852/statm: 28282 368 311 221 0 87 0
[pid=8872] ppid=8852 vsize=7937364 memory=126832 CPUtime=4.7 cores=1,3,5,7
/proc/8872/stat : 8872 (java) S 8852 8852 3344 0 -1 1077944320 21160 6382 0 0 151 9 309 1 20 0 17 0 405652852 8127860736 31708 33554432000 4194304 4196468 140725352554464 140725352537008 140178498350839 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
/proc/8872/statm: 1984341 31708 3222 1 0 1945685 0
[pid=8872/tid=8873] ppid=8852 vsize=7937364 memory=14380 CPUtime=3.95 cores=1,3,5,7
/proc/8872/task/8873/stat : 8873 (java) R 8852 8852 3344 0 -1 4202560 17555 6382 0 0 78 7 309 1 20 0 17 0 405652852 8127860736 31708 33554432000 4194304 4196468 140725352554464 140178470188816 140178498362774 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8874] ppid=8852 vsize=7937364 memory=13912 CPUtime=3.1 cores=1,3,5,7
/proc/8872/task/8874/stat : 8874 (java) S 8852 8852 3344 0 -1 1077944384 2 6382 0 0 0 0 309 1 20 0 17 0 405652853 8127860736 31708 33554432000 4194304 4196468 140725352554464 140178502593680 140178498361045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8875] ppid=8852 vsize=7937364 memory=12740 CPUtime=3.1 cores=1,3,5,7
/proc/8872/task/8875/stat : 8875 (java) S 8852 8852 3344 0 -1 1077944384 1 6382 0 0 0 0 309 1 20 0 17 0 405652853 8127860736 31708 33554432000 4194304 4196468 140725352554464 140178302762000 140178498361045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8876] ppid=8852 vsize=7937364 memory=123172 CPUtime=3.1 cores=1,3,5,7
/proc/8872/task/8876/stat : 8876 (java) S 8852 8852 3344 0 -1 1077944384 2 6382 0 0 0 0 309 1 20 0 17 0 405652853 8127860736 31708 33554432000 4194304 4196468 140725352554464 140178301709200 140178498361045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8877] ppid=8852 vsize=7937364 memory=12172 CPUtime=3.1 cores=1,3,5,7
/proc/8872/task/8877/stat : 8877 (java) S 8852 8852 3344 0 -1 1077944384 1 6382 0 0 0 0 309 1 20 0 17 0 405652853 8127860736 31708 33554432000 4194304 4196468 140725352554464 140178300656400 140178498361045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8878] ppid=8852 vsize=7937364 memory=0 CPUtime=3.1 cores=1,3,5,7
/proc/8872/task/8878/stat : 8878 (java) S 8852 8852 3344 0 -1 1077944384 6 6382 0 0 0 0 309 1 20 0 17 0 405652855 8127860736 31708 33554432000 4194304 4196468 140725352554464 140177810614640 140178498361986 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8879] ppid=8852 vsize=7937364 memory=0 CPUtime=3.1 cores=1,3,5,7
/proc/8872/task/8879/stat : 8879 (java) S 8852 8852 3344 0 -1 1077944384 13 6382 0 0 0 0 309 1 20 0 17 0 405652855 8127860736 31708 33554432000 4194304 4196468 140725352554464 140177330660384 140178498361045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8880] ppid=8852 vsize=7937364 memory=0 CPUtime=3.1 cores=1,3,5,7
/proc/8872/task/8880/stat : 8880 (java) S 8852 8852 3344 0 -1 1077944384 1 6382 0 0 0 0 309 1 20 0 17 0 405652856 8127860736 31708 33554432000 4194304 4196468 140725352554464 140177062224752 140178498361045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8881] ppid=8852 vsize=7937364 memory=0 CPUtime=3.1 cores=1,3,5,7
/proc/8872/task/8881/stat : 8881 (java) S 8852 8852 3344 0 -1 1077944384 3 6382 0 0 0 0 309 1 20 0 17 0 405652858 8127860736 31708 33554432000 4194304 4196468 140725352554464 140176687716176 140178498369435 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8882] ppid=8852 vsize=7937364 memory=-6000919503509141558 CPUtime=3.27 cores=1,3,5,7
/proc/8872/task/8882/stat : 8882 (java) S 8852 8852 3344 0 -1 1077944384 771 6382 0 0 17 0 309 1 20 0 17 0 405652858 8127860736 31708 33554432000 4194304 4196468 140725352554464 140177809562480 140178498361986 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8883] ppid=8852 vsize=7937364 memory=-4421386517638638436 CPUtime=3.3 cores=1,3,5,7
/proc/8872/task/8883/stat : 8883 (java) S 8852 8852 3344 0 -1 1077944384 606 6382 0 0 20 0 309 1 20 0 17 0 405652858 8127860736 31708 33554432000 4194304 4196468 140725352554464 140177808509680 140178498361986 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8884] ppid=8852 vsize=7937364 memory=0 CPUtime=3.4 cores=1,3,5,7
/proc/8872/task/8884/stat : 8884 (java) R 8852 8852 3344 0 -1 4202560 774 6382 0 0 30 0 309 1 20 0 17 0 405652858 8127860736 31708 33554432000 4194304 4196468 140725352554464 140177807456064 140178498362774 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8885] ppid=8852 vsize=7937364 memory=14 CPUtime=3.1 cores=1,3,5,7
/proc/8872/task/8885/stat : 8885 (java) S 8852 8852 3344 0 -1 1077944384 3 6382 0 0 0 0 309 1 20 0 17 0 405652859 8127860736 31708 33554432000 4194304 4196468 140725352554464 140176189811424 140178498361045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8886] ppid=8852 vsize=7937364 memory=14 CPUtime=3.1 cores=1,3,5,7
/proc/8872/task/8886/stat : 8886 (java) S 8852 8852 3344 0 -1 1077944384 3 6382 0 0 0 0 309 1 20 0 17 0 405652859 8127860736 31708 33554432000 4194304 4196468 140725352554464 140177806404272 140178498361986 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8888] ppid=8852 vsize=7937364 memory=14 CPUtime=3.1 cores=1,3,5,7
/proc/8872/task/8888/stat : 8888 (java) S 8852 8852 3344 0 -1 1077944384 28 6382 0 0 0 0 309 1 20 0 17 0 405652929 8127860736 31708 33554432000 4194304 4196468 140725352554464 140177731121552 140178498361986 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
[pid=8872/tid=8892] ppid=8852 vsize=7937364 memory=0 CPUtime=3.1 cores=1,3,5,7
/proc/8872/task/8892/stat : 8892 (java) S 8852 8852 3344 0 -1 1077944384 30 6382 0 0 0 0 309 1 20 0 17 0 405652933 8127860736 31708 33554432000 4194304 4196468 140725352554464 140175787156912 140178498361986 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22978560 140725352555516 140725352555674 140725352555674 140725352558543 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 128304 KiB

Child status: 0
Real time (s): 15.7906
CPU time (s): 25.7279
CPU user time (s): 24.93
CPU system time (s): 0.797887
CPU usage (%): 162.932
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 3101072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.93
system time used= 0.797887
maximum resident set size= 3100800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64819
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6499
involuntary context switches= 86


# summary of solver processes directly reported to runsolver:
#   pid: 8852
#   total CPU time (s): 25.7279
#   total CPU user time (s): 24.93
#   total CPU system time (s): 0.797887

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.114697 second user time and 0.221619 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-12 16:08:48
IDJOB=4388311
IDBENCH=139111
IDSOLVER=2826
FILE ID=node119/4388311-1568297368
RUNJOBID= node119-1568285951-4194
PBS_JOBID= 21701084
Free space on /tmp= 52344 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/LatinSquare/LatinSquare-xcsp2-qcp25/qcp-25-264-08_X2.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-4388311-1568297368/watcher-4388311-1568297368 -o /tmp/evaluation-result-4388311-1568297368/solver-4388311-1568297368 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568285951-4194 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388311-1568297368.xml

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

MD5SUM BENCH= e61b201f6225aab3795ad5f045ee307f
RANDOM SEED=717821287

node119.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:        16111188 kB
MemAvailable:   27615100 kB
Buffers:          143880 kB
Cached:         11532112 kB
SwapCached:        61084 kB
Active:          7105608 kB
Inactive:        8815088 kB
Active(anon):    4181064 kB
Inactive(anon):   105352 kB
Active(file):    2924544 kB
Inactive(file):  8709736 kB
Unevictable:      106656 kB
Mlocked:          106656 kB
SwapTotal:      67108860 kB
SwapFree:       66939824 kB
Dirty:             20616 kB
Writeback:           148 kB
AnonPages:       4423616 kB
Mapped:            56176 kB
Shmem:             32808 kB
Slab:             327588 kB
SReclaimable:     298092 kB
SUnreclaim:        29496 kB
KernelStack:        4192 kB
PageTables:        13960 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   10770844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2056192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 52324 MiB
End job on node119 at 2019-09-12 16:09:04