Trace number 4388305

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 116.904 106.182

General information on the benchmark

NameLatinSquare/LatinSquare-m1-gp/
qwh-o30-h374-07.xml
MD5SUMcae06e42b01baa71e2bfd0e1b4deb8b1
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 benchmark18.1078
Satisfiable
(Un)Satisfiability was proved
Number of variables900
Number of constraints2
Number of domains1
Minimum domain size30
Maximum domain size30
Distribution of domain sizes[{"size":30,"count":900}]
Minimum variable degree1
Maximum variable degree2
Distribution of variable degrees[{"degree":1,"count":374},{"degree":2,"count":526}]
Minimum constraint arity526
Maximum constraint arity900
Distribution of constraint arities[{"arity":526,"count":1},{"arity":900,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":1},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/cryptominisat5 -solverOption default -tmp HOME -serialFile HOME/scop-19167-serial-file.bin HOME/instance-4388305-1568297349.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:31 CEST 2019
0.66/0.55	c PID: 19170
0.66/0.55	c IP: 172.20.3.151
0.66/0.55	c HOST: node151.alineos.net
0.66/0.56	c (0,0) Parsing Begin
1.67/1.05	c (0,0) Parsing End
1.67/1.06	c (0,0) CSP: 867 int (0 aux), 33 bool (0 aux), 2 ctr, max domain size 30
1.67/1.06	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.67/1.06	c (0,0) Constraint Name Generate Begin
1.67/1.07	c (0,0) Ctr:HOME/instance-4388305-1568297349.xml,AllDifferentMatrix:Instantiation:Var
1.67/1.07	c (0,0) Constraint Name Generate End
1.67/1.07	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.67/1.07	c (0,0) CSP to CSPinCNF Begin
1.67/1.10	c (0,0) translated 1 (10%) constraints
5.48/2.83	c (2,2) translated 2 (20%) constraints
5.48/2.85	c (2,2) ===========================================
5.74/2.95	c (2,2) Hybrid: #OE=374, #LE=526
5.74/2.95	c (2,2) Hybrid
5.74/2.95	c (2,2) ===========================================
7.57/3.53	c (2,2) translated 2855 (10%) constraints
8.45/3.89	c (3,3) translated 5710 (20%) constraints
9.03/4.21	c (3,3) translated 8564 (30%) constraints
9.33/4.52	c (3,3) translated 11419 (40%) constraints
9.64/4.84	c (4,4) translated 14273 (50%) constraints
10.21/5.30	c (4,4) translated 17128 (60%) constraints
10.41/5.56	c (5,4) translated 19983 (70%) constraints
10.75/5.83	c (5,5) translated 22837 (80%) constraints
11.08/6.12	c (5,5) translated 25692 (90%) constraints
11.27/6.36	c (5,5) translated 28546 (100%) constraints
11.27/6.37	c (5,5) CSP to CSPinCNF End
11.27/6.37	c (5,5) CSP: 867 int (0 aux), 27033 bool (27000 aux), 137072 ctr, max domain size 30
11.27/6.37	c (5,5) Heap : 1802 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
11.27/6.38	c (5,5) CSPinCNF Propagation Begin
15.33/8.69	c (8,7) 20371 values, 87331 unsatisfiable literals, and 90849 valid clauses are removed
15.33/8.69	c (8,7) CSPinCNF Propagation End
15.56/8.70	c (8,7) CSP: 867 int (0 aux), 27033 bool (27000 aux), 46223 ctr, max domain size 30
15.56/8.70	c (8,7) Heap : 263 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.56/8.74	c (8,7) Hybrid: #OE=27374, #LE=526
15.56/8.74	c (8,7) Simplify CSPinCNF Begin
16.71/9.23	c (8,8) Simplify CSPinCNF End
16.71/9.24	c (8,8) CSP: 867 int (0 aux), 53415 bool (53382 aux), 72605 ctr, max domain size 30
16.71/9.24	c (8,8) Heap : 539 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.71/9.24	c (8,8) Calculate Precise Domain Begin
16.71/9.24	c (8,8) 0 values are removed by re-calculation
16.71/9.24	c (8,8) Calculate Precise Domain End
16.71/9.26	c (8,8) CSP: 867 int (0 aux), 53415 bool (53382 aux), 72605 ctr, max domain size 30
16.71/9.26	c (8,8) Heap : 539 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.71/9.26	c (8,8) CSPinCNF to SatSolver Begin
18.43/9.84	c (9,8) 7261 (10 %) CSP clauses are encoded (0 SAT variables, 29841 SAT clauses)
18.72/9.99	c (9,9) 14521 (20 %) CSP clauses are encoded (0 SAT variables, 52389 SAT clauses)
19.05/10.12	c (9,9) 21782 (30 %) CSP clauses are encoded (0 SAT variables, 73840 SAT clauses)
19.14/10.25	c (9,9) 29042 (40 %) CSP clauses are encoded (0 SAT variables, 95922 SAT clauses)
19.26/10.37	c (9,9) 36303 (50 %) CSP clauses are encoded (0 SAT variables, 117471 SAT clauses)
19.46/10.50	c (9,9) 43563 (60 %) CSP clauses are encoded (0 SAT variables, 140625 SAT clauses)
19.61/10.63	c (10,9) 50824 (70 %) CSP clauses are encoded (0 SAT variables, 162858 SAT clauses)
19.78/10.75	c (10,9) 58084 (80 %) CSP clauses are encoded (0 SAT variables, 183464 SAT clauses)
19.88/10.87	c (10,9) 65345 (90 %) CSP clauses are encoded (0 SAT variables, 205009 SAT clauses)
19.98/10.99	c (10,10) 72605 (100 %) CSP clauses are encoded (0 SAT variables, 226263 SAT clauses)
19.98/10.99	c (10,10) CSPinCNF to SatSolver End
19.98/10.99	c (10,10) Heap : 1643 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
19.98/10.99	c (10,10) 42853 bool, 226264 clause
19.98/10.99	c (10,10) Export Begin
20.33/11.12	c (10,10) Export to HOME/scop-19167-serial-file.bin
20.33/11.12	c (10,10) Export End
20.33/11.13	c (10,10) Export File Size: 0.15 MB
20.33/11.13	c (10,10) 0,0,5,8,8,8,10,STOP-AFTER(DIMACS)
20.33/11.13	c END-Prog: Thu Sep 12 16:08:42 CEST 2019
20.33/11.16	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-19167-serial-file.bin
20.42/11.62	c (0,0) Read Serial File Begin
20.42/11.62	c (0,0) HOME/scop-19167-serial-file.bin
20.42/11.88	c (0,0) Read Serial File End
20.42/11.89	
20.42/11.89	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
20.42/11.89	(Solving Process)
20.42/11.89	
20.42/11.91	c BEGIN-Prog: Thu Sep 12 16:08:42 CEST 2019
20.42/11.91	c PID: 19185
20.42/11.91	c IP: 172.20.3.151
20.42/11.91	c HOST: node151.alineos.net
20.42/11.92	c (0,0) SatSolver.solve Begin
20.42/11.92	c (0,0) HOME/cryptominisat5  HOME/instance-4388305-1568297349.xml-scop-19170.cnf
20.42/11.94	c (0,0) c Outputting solution to console
20.42/11.94	c (0,0) c CryptoMiniSat version 5.6.8
20.42/11.94	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
20.42/11.94	c (0,0) c CMS SHA revision GIT-notfound
20.42/11.94	c (0,0) c CMS is MIT licensed
20.42/11.94	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
20.42/11.94	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
20.42/11.94	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388305-1568297349.xml-scop-19170.cnf
20.42/11.94	c (0,0) c Reading file 'HOME/instance-4388305-1568297349.xml-scop-19170.cnf'
20.42/11.94	c (0,0) c -- header says num vars:          42853
20.42/11.94	c (0,0) c -- header says num clauses:      226264
21.78/12.03	c (0,0) c -- clauses added: 226264
21.78/12.03	c (0,0) c -- xor clauses added: 0
21.78/12.03	c (0,0) c -- vars added 42853
21.78/12.03	c (0,0) c Parsing time: 0.07 s
21.78/12.09	c (0,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
21.78/12.09	c (0,0) c [distill] long cls tried: 7/7 cl-short:7 lit-r:2 T: 0.00 T-out: N T-r: 100.00%
23.68/13.94	c (2,0) c [distill] long cls tried: 335/323 cl-short:328 lit-r:35 T: 0.02 T-out: N T-r: 99.92%
26.18/16.44	c (4,0) c [distill] long cls tried: 572/887 cl-short:572 lit-r:28 T: 0.03 T-out: N T-r: 99.74%
27.08/17.37	c (5,0) c   glue     1    77  8193   40224  140K   75K    3.06    2.69  1101  1239  3245   606   20.30   18.51
29.48/19.76	c (8,0) c [distill] long cls tried: 1258/2118 cl-short:1258 lit-r:387 T: 0.08 T-out: N T-r: 99.32%
33.38/23.61	c (12,0) c   geom     1   203 16386   39635  140K   75K    3.06    2.69  2847  2281  5789  1397   31.91   28.51
33.48/23.75	c (12,0) c [distill] long cls tried: 741/2845 cl-short:741 lit-r:329 T: 0.05 T-out: N T-r: 99.59%
38.28/28.51	c (16,0) c [distill] long cls tried: 1406/4224 cl-short:1406 lit-r:787 T: 0.13 T-out: N T-r: 99.00%
39.58/29.90	c (18,0) c   glue     1   328   24K   39413  140K   75K    3.06    2.69  4320  2284 11758  1923   41.74   37.97
44.38/34.60	c (23,0) c [distill] long cls tried: 1482/5678 cl-short:1482 lit-r:984 T: 0.16 T-out: N T-r: 98.80%
46.19/36.42	c (24,0) c   glue     1   465   32K   39312  140K   75K    3.06    2.69  5765  2972 13425  2278   49.09   44.70
51.49/41.76	c (30,0) c [distill] long cls tried: 359/6013 cl-short:359 lit-r:54 T: 0.03 T-out: N T-r: 99.76%
52.60/42.87	c (31,0) c   glue     1   588   40K   39258  140K   75K    3.06    2.69  6932  2386   20K  2561   55.77   51.55
59.60/49.84	c (38,0) c   glue     1   703   49K   39219  140K   75K    3.06    2.69  7378  3824 19487  2729   58.26   53.66
61.10/51.39	c (39,0) c [distill] long cls tried: 2174/8147 cl-short:2174 lit-r:1678 T: 0.32 T-out: N T-r: 97.77%
67.40/57.69	c (46,0) c   geom     1   836   57K   39185  140K   75K    3.06    2.69  8278  3208   27K  2941   64.33   59.92
74.11/64.35	c (52,0) c [distill] long cls tried: 1081/9202 cl-short:1081 lit-r:750 T: 0.16 T-out: N T-r: 98.80%
74.82/65.03	c (53,0) c   glue     1   937   65K   39159  140K   75K    3.06    2.69  9211  3517   23K  3100   63.41   58.62
78.92/69.14	c (57,0) c recursive minimization cost OK: 5291Kcost/(% lits removed)
78.92/69.16	c (57,0) c --> Executing strategy token: handle-comps
78.92/69.16	c (57,0) c --> Executing strategy token: scc-vrepl
78.92/69.16	c (57,0) c [scc] new: 48284 BP 0M T: 0.02
79.11/69.37	c (57,0) c [vrep] vars 24926 lits 1664109 rem-bin-cls 132029 rem-long-cls 4231 BP 3M T: 0.18
79.11/69.39	c (57,0) c --> Executing strategy token: cache-clean
79.11/69.39	c (57,0) c --> Executing strategy token: cache-tryboth
79.11/69.39	c (57,0) c --> Executing strategy token: sub-impl
79.11/69.39	c (57,0) c [impl sub] bin: 10372 T: 0.01 T-out: N w-visit: 85706
79.21/69.41	c (57,0) c --> Executing strategy token: intree-probe
79.21/69.41	c (57,0) c [scc] new: 0 BP 0M T: 0.00
79.21/69.44	c (57,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 0M T: 0.03
79.31/69.56	c (58,0) c [intree] Set 3605 vars hyper-added: 4287 trans-irred::330 trans-red::123 T: 0.12 T-out: N T-r: 99.45%
79.51/69.73	c (58,0) c --> Executing strategy token: probe
79.51/69.73	c (58,0) c --> Executing strategy token: sub-str-cls-with-bin
79.51/69.73	c (58,0) c [distill] cache-based irred--  cl tried   226800 cl-sh     7 cl-rem 43750 lit-rem      7 T: 0.14 T-out: N
79.51/69.73	c (58,0) c [distill] cache-based   red--  cl tried    18550 cl-sh    34 cl-rem   12 lit-rem     40 T: 0.02 T-out: N
80.42/70.69	c (59,0) c --> Executing strategy token: distill-cls
80.42/70.69	c (59,0) c [distill] long cls tried: 18997/91448 cl-short:17851 lit-r:51 T: 0.96 T-out: Y T-r: -0.01%
80.42/70.69	c (59,0) c [distill] long useful: 35702/37994/182998 lits-rem: 102 0-depth-assigns: 0 T: 1.92 T-out: Y
80.52/70.70	c (59,0) c --> Executing strategy token: scc-vrepl
80.52/70.70	c (59,0) c [scc] new: 1138 BP 0M T: 0.01
80.62/70.80	c (59,0) c [vrep] vars 1120 lits 288369 rem-bin-cls 4505 rem-long-cls 62 BP 0M T: 0.10
80.62/70.81	c (59,0) c --> Executing strategy token: sub-impl
80.62/70.81	c (59,0) c [impl sub] bin: 21 T: 0.01 T-out: N w-visit: 85706
80.62/70.81	c (59,0) c --> Executing strategy token: str-impl
80.62/70.81	c (59,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.81% w-visit: 85706
80.62/70.82	c (59,0) c --> Executing strategy token: sub-impl
80.62/70.82	c (59,0) c [impl sub] bin: 0 T: 0.01 T-out: N w-visit: 85706
80.62/70.84	c (59,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
80.62/70.84	c (59,0) c [occ] mem usage for occur      9 MB
80.62/70.86	c (59,0) c [occ] mem usage for occur      2 MB
80.72/70.90	c (59,0) c Mem for watch alloc      : 24          MB (37.76     %)
80.72/70.90	c (59,0) c Mem for watch array      : 1           MB (2.98      %)
80.72/70.92	c (59,0) c --> Executing OCC strategy token: occ-backw-sub-str
80.72/70.92	c (59,0) c [occ-backw-sub-str-long-w-bins] subs: 112 str: 7 tried: 42642 0-depth ass: 0 T: 0.02 T-out: N T-r: 99.27%
80.72/70.99	c (59,0) c [occ-sub-long-w-long] rem cl: 58712 tried: 264708/132354 (200.0%) T: 0.07 T-out: N T-r: 94.68%
80.83/71.10	c (59,0) c [occ-sub-str-long-w-long] sub: 2 str: 49 tried: 397062/132354 (300.0)  T: 0.11 T-out: N T-r: 92.00%
80.93/71.11	c (59,0) c --> Executing OCC strategy token: occ-clean-implicit
80.93/71.11	c (59,0) c --> Executing OCC strategy token: occ-bve
80.93/71.11	c (59,0) c [occ-empty-res] Empty resolvent elimed: 17 T: 0.00 T-out: N
81.02/71.21	c (59,0) c [occ-bve] iter v-elim 4419
81.02/71.21	c (59,0) c cl_inc_rate=0.9, var_dec_rate=1.9 (grow=0)
81.02/71.21	c (59,0) c Reduced to 5052 vars, 42273 cls (grow=0)
81.13/71.31	c (59,0) c [occ-bve] iter v-elim 1557
81.13/71.31	c (59,0) c cl_inc_rate=0.9, var_dec_rate=1.4 (grow=8)
81.13/71.31	c (59,0) c Reduced to 3495 vars, 38902 cls (grow=8)
81.25/71.41	c (59,0) c [occ-bve] iter v-elim 890
81.25/71.41	c (59,0) c cl_inc_rate=1.0, var_dec_rate=1.3 (grow=16)
81.25/71.41	c (59,0) c Reduced to 2605 vars, 36991 cls (grow=16)
81.25/71.41	c (59,0) c x n vars       : 2605
81.25/71.41	c (59,0) c  #try to eliminate:    26K
81.25/71.41	c (59,0) c  #var-elim        :   6866
81.25/71.41	c (59,0) c  #T-o: N
81.25/71.41	c (59,0) c  #T-r: 99.95%
81.25/71.41	c (59,0) c  #T  : 0.30
81.25/71.41	c (59,0) c [occur] 0.07 is overhead
81.25/71.41	c (59,0) c [occur] link-in T: 0.07 cleanup T: 0.00
81.25/71.41	c (59,0) c --> Executing OCC strategy token: occ-bva
81.25/71.41	c (59,0) c [occ-bva] global numcalls: 0
81.25/71.41	c (59,0) c --> Executing OCC strategy token: occ-ternary-res
81.25/71.41	c (59,0) c --> Executing OCC strategy token: occ-xor
81.25/71.41	c (59,0) c [occ-xor] sort occur list T: 0.00
81.25/71.44	c (59,0) c [occ-xor] found     50 avg sz 3.0 min sz  3 max sz  3 T: 0.03 T-out: N T-r: 99.45%
81.25/71.44	c (59,0) c [xor-together] xored together 7 xors orig num xors: 50 T: 0.00
81.25/71.44	c (59,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
81.25/71.46	c (59,0) c --> Executing strategy token: cl-consolidate
81.25/71.46	c (59,0) c [mem] consolidate  old-sz:    20M new-sz:  1276K new bits offs: 0 T: 0.00
81.25/71.46	c (59,0) c --> Executing strategy token: str-impl
81.25/71.46	c (59,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.94% w-visit: 85706
81.25/71.49	c (59,0) c --> Executing strategy token: cache-clean
81.25/71.49	c (59,0) c --> Executing strategy token: sub-str-cls-with-bin
81.25/71.49	c (59,0) c [distill] cache-based irred--  cl tried    51626 cl-sh     0 cl-rem 6242 lit-rem      0 T: 0.02 T-out: N
81.25/71.49	c (59,0) c [distill] cache-based   red--  cl tried     2823 cl-sh     6 cl-rem    1 lit-rem      6 T: 0.00 T-out: N
81.46/71.62	c (60,0) c --> Executing strategy token: distill-cls
81.46/71.62	c (60,0) c [distill] long cls tried: 21192/21738 cl-short:7900 lit-r:1955 T: 0.14 T-out: N T-r: 89.64%
81.46/71.62	c (60,0) c [distill] long useful: 15800/42384/45384 lits-rem: 3910 0-depth-assigns: 0 T: 0.27 T-out: N
81.46/71.63	c (60,0) c --> Executing strategy token: scc-vrepl
81.46/71.63	c (60,0) c [scc] new: 0 BP 0M T: 0.00
81.46/71.63	c (60,0) c --> Executing strategy token: check-cache-size
81.46/71.63	c (60,0) c --> Executing strategy token: renumber
81.46/71.63	c (60,0) c [xor-clean] T: 0.00
81.46/71.63	c (60,0) c [renumber] T: 0.01
81.46/71.64	c (60,0) c --> Executing strategy token: sls
81.46/71.64	c (60,0) c [consolidate] mini T: 0.00
81.46/71.64	c (60,0) c global_timeout_multiplier: 4.40
81.46/71.64	c (60,0) c clause size stats. size3: 14664 size4: 3299 size5: 1586 larger: 2189
81.76/71.91	c (60,0) c   luby     0  1030   73K    2605   21K  9011    3.67    3.18  1618   852  2895   331   26.60   25.17
82.36/72.59	c (61,0) c [distill] long cls tried: 1564/2918 cl-short:1562 lit-r:174 T: 0.02 T-out: N T-r: 99.72%
82.46/72.65	c (61,0) c   luby     0  1062   81K    2605   21K  9011    3.67    3.18  2927  1194  9162   332   36.20   35.36
83.36/73.59	c (62,0) c   luby     0  1080   90K    2605   21K  9011    3.67    3.18  3644  1796 12338   332   40.25   39.55
84.46/74.66	c (63,0) c   luby     0  1112   98K    2605   21K  9011    3.67    3.18  3752  2269 19950   332   45.26   44.71
84.87/75.03	c (63,0) c [distill] long cls tried: 1292/4210 cl-short:1292 lit-r:128 T: 0.03 T-out: N T-r: 99.58%
85.77/75.90	c (64,0) c   luby     0  1137  106K    2605   21K  9011    3.67    3.18  4299  2659 17409   332   45.40   44.82
86.98/77.16	c (65,0) c   luby     0  1138  114K    2605   21K  9011    3.67    3.18  4772  1837   25K   332   48.08   47.62
88.27/78.43	c (66,0) c   luby     0  1169  122K    2605   21K  9011    3.67    3.18  5116  1908   21K   332   42.91   42.44
88.47/78.61	c (67,0) c [distill] long cls tried: 910/5120 cl-short:910 lit-r:162 T: 0.02 T-out: N T-r: 99.62%
89.57/79.77	c (68,0) c   luby     0  1200  131K    2605   21K  9011    3.67    3.18  5407  1544   30K   332   45.23   44.85
91.07/81.23	c (69,0) c   luby     0  1226  139K    2605   21K  9011    3.67    3.18  5495  2032   23K   332   41.69   41.27
92.46/82.66	c (71,0) c   luby     0  1259  147K    2605   21K  9011    3.67    3.18  5757  1746   31K   334   44.58   44.22
93.56/83.79	c (72,0) c [distill] long cls tried: 930/6050 cl-short:928 lit-r:218 T: 0.03 T-out: N T-r: 99.56%
93.97/84.11	c (72,0) c   luby     0  1265  155K    2605   21K  9011    3.67    3.18  6060  1736   24K   334   43.15   42.73
95.46/85.62	c (74,0) c   luby     0  1266  163K    2605   21K  9011    3.67    3.18  6233  1521   32K   334   46.48   46.12
96.16/86.35	c (74,0) c recursive minimization cost OK: 1098Kcost/(% lits removed)
96.16/86.35	c (74,0) c --> Executing strategy token: handle-comps
96.16/86.35	c (74,0) c --> Executing strategy token: scc-vrepl
96.16/86.35	c (74,0) c [scc] new: 0 BP 0M T: 0.00
96.16/86.35	c (74,0) c --> Executing strategy token: cache-clean
96.16/86.35	c (74,0) c --> Executing strategy token: cache-tryboth
96.16/86.35	c (74,0) c --> Executing strategy token: sub-impl
96.16/86.35	c (74,0) c [impl sub] bin: 2179 T: 0.00 T-out: N w-visit: 5210
96.16/86.36	c (74,0) c --> Executing strategy token: intree-probe
96.16/86.36	c (74,0) c [scc] new: 0 BP 0M T: 0.00
96.16/86.37	c (74,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 0M T: 0.01
96.16/86.38	c (74,0) c [intree] Set 0 vars hyper-added: 34 trans-irred::836 trans-red::6 T: 0.02 T-out: N T-r: 99.93%
96.26/86.42	c (74,0) c --> Executing strategy token: probe
96.26/86.42	c (74,0) c --> Executing strategy token: sub-str-cls-with-bin
96.26/86.42	c (74,0) c [distill] cache-based irred--  cl tried    43448 cl-sh     0 cl-rem   28 lit-rem      0 T: 0.02 T-out: N
96.26/86.42	c (74,0) c [distill] cache-based   red--  cl tried    12550 cl-sh    56 cl-rem    0 lit-rem     56 T: 0.01 T-out: N
96.26/86.42	c (74,0) c --> Executing strategy token: distill-cls
96.26/86.42	c (74,0) c [distill] long cls tried: 0/21710 cl-short:0 lit-r:0 T: 0.00 T-out: N T-r: 99.88%
96.26/86.42	c (74,0) c [distill] long useful: 0/0/43420 lits-rem: 0 0-depth-assigns: 0 T: 0.00 T-out: N
96.26/86.42	c (74,0) c --> Executing strategy token: scc-vrepl
96.26/86.42	c (74,0) c [scc] new: 0 BP 0M T: 0.00
96.26/86.42	c (74,0) c --> Executing strategy token: sub-impl
96.26/86.42	c (74,0) c [impl sub] bin: 0 T: 0.00 T-out: N w-visit: 5210
96.26/86.42	c (74,0) c --> Executing strategy token: str-impl
96.26/86.42	c (74,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.94% w-visit: 5210
96.26/86.42	c (74,0) c --> Executing strategy token: sub-impl
96.26/86.42	c (74,0) c [impl sub] bin: 0 T: 0.00 T-out: N w-visit: 5210
96.26/86.43	c (74,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
96.26/86.43	c (74,0) c [occ] mem usage for occur      2 MB
96.26/86.43	c (74,0) c [occ] mem usage for occur      1 MB
96.26/86.47	c (74,0) c Mem for watch alloc      : 11          MB (16.51     %)
96.26/86.47	c (74,0) c Mem for watch array      : 0           MB (0.17      %)
96.26/86.48	c (74,0) c --> Executing OCC strategy token: occ-backw-sub-str
96.26/86.48	c (74,0) c [occ-backw-sub-str-long-w-bins] subs: 0 str: 0 tried: 85775 0-depth ass: 0 T: 0.01 T-out: N T-r: 99.70%
96.37/86.51	c (74,0) c [occ-sub-long-w-long] rem cl: 147 tried: 102836/51418 (200.0%) T: 0.03 T-out: N T-r: 95.84%
96.37/86.57	c (75,0) c [occ-sub-str-long-w-long] sub: 3 str: 58 tried: 154254/51418 (300.0)  T: 0.06 T-out: N T-r: 94.32%
96.37/86.57	c (75,0) c --> Executing OCC strategy token: occ-clean-implicit
96.37/86.57	c (75,0) c --> Executing OCC strategy token: occ-bve
96.37/86.57	c (75,0) c [occ-empty-res] Empty resolvent elimed: 0 T: 0.00 T-out: N
96.37/86.59	c (75,0) c [occ-bve] iter v-elim 0
96.37/86.59	c (75,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=0)
96.37/86.59	c (75,0) c Reduced to 2605 vars, 27674 cls (grow=0)
96.47/86.61	c (75,0) c [occ-bve] iter v-elim 1
96.47/86.61	c (75,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=8)
96.47/86.61	c (75,0) c Reduced to 2604 vars, 27672 cls (grow=8)
96.47/86.64	c (75,0) c [occ-bve] iter v-elim 25
96.47/86.64	c (75,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=16)
96.47/86.64	c (75,0) c Reduced to 2579 vars, 27880 cls (grow=16)
96.47/86.64	c (75,0) c x n vars       : 2579
96.47/86.64	c (75,0) c  #try to eliminate:   8176
96.47/86.64	c (75,0) c  #var-elim        :     26
96.47/86.64	c (75,0) c  #T-o: N
96.47/86.64	c (75,0) c  #T-r: 99.98%
96.47/86.64	c (75,0) c  #T  : 0.07
96.47/86.64	c (75,0) c [occur] 0.05 is overhead
96.47/86.64	c (75,0) c [occur] link-in T: 0.05 cleanup T: 0.00
96.47/86.64	c (75,0) c --> Executing OCC strategy token: occ-bva
96.47/86.64	c (75,0) c [occ-bva] global numcalls: 1
96.47/86.64	c (75,0) c --> Executing OCC strategy token: occ-ternary-res
96.47/86.64	c (75,0) c --> Executing OCC strategy token: occ-xor
96.47/86.64	c (75,0) c [occ-xor] sort occur list T: 0.00
96.47/86.66	c (75,0) c [occ-xor] found     48 avg sz 3.0 min sz  3 max sz  3 T: 0.02 T-out: N T-r: 99.65%
96.47/86.66	c (75,0) c [xor-together] xored together 6 xors orig num xors: 48 T: 0.00
96.47/86.66	c (75,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
96.47/86.68	c (75,0) c --> Executing strategy token: cl-consolidate
96.47/86.68	c (75,0) c [mem] consolidate  old-sz:  6767K new-sz:  5010K new bits offs: 0 T: 0.01
96.47/86.68	c (75,0) c --> Executing strategy token: str-impl
96.47/86.68	c (75,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.95% w-visit: 5210
96.57/86.71	c (75,0) c --> Executing strategy token: cache-clean
96.57/86.71	c (75,0) c --> Executing strategy token: sub-str-cls-with-bin
96.57/86.71	c (75,0) c [distill] cache-based irred--  cl tried    43736 cl-sh     0 cl-rem   94 lit-rem      0 T: 0.02 T-out: N
96.57/86.71	c (75,0) c [distill] cache-based   red--  cl tried    11986 cl-sh     7 cl-rem    0 lit-rem      7 T: 0.01 T-out: N
96.57/86.72	c (75,0) c --> Executing strategy token: distill-cls
96.57/86.72	c (75,0) c [distill] long cls tried: 519/21811 cl-short:86 lit-r:103 T: 0.01 T-out: N T-r: 98.65%
96.57/86.72	c (75,0) c [distill] long useful: 172/1038/43642 lits-rem: 206 0-depth-assigns: 0 T: 0.02 T-out: N
96.57/86.72	c (75,0) c --> Executing strategy token: scc-vrepl
96.57/86.72	c (75,0) c [scc] new: 0 BP 0M T: 0.00
96.57/86.72	c (75,0) c --> Executing strategy token: check-cache-size
96.57/86.72	c (75,0) c --> Executing strategy token: renumber
96.57/86.72	c (75,0) c --> Executing strategy token: sls
96.57/86.72	c (75,0) c [consolidate] mini T: 0.00
96.57/86.72	c (75,0) c global_timeout_multiplier: 4.84
96.57/86.73	c (75,0) c [features] numVars 2579, numClauses 27786, var_cl_ratio 0.09, binary 0.22, horn 0.31, horn_mean 0.00, horn_std 0.00, horn_min 0.00, horn_max 0.00, horn_spread 0.00, vcg_var_mean 0.00, vcg_var_std 0.88, vcg_var_min 0.00, vcg_var_max 0.00, vcg_var_spread 0.00, vcg_cls_mean 0.00, vcg_cls_std 0.85, vcg_cls_min 0.00, vcg_cls_max 0.00, vcg_cls_spread 0.00, pnr_var_mean 0.50, pnr_var_std 0.48, pnr_var_min 0.00, pnr_var_max 1.00, pnr_var_spread 1.00, pnr_cls_mean 0.27, pnr_cls_std 1.06, pnr_cls_min 0.00, pnr_cls_max 1.00, pnr_cls_spread 1.00, avg_confl_size 57.92, confl_size_min 1.00, confl_size_max 421.00, avg_confl_glue 27.90, confl_glue_min 1.00, confl_glue_max 50.00, avg_num_resolutions 0.00, num_resolutions_min 0.00, num_resolutions_max 0.00, learnt_bins_per_confl 0.02, avg_branch_depth 45.83, branch_depth_min 35.00, branch_depth_max 62.00, avg_trail_depth_delta 432.35, trail_depth_delta_min 2.00, trail_depth_delta_max 1669.00, avg_branch_depth_delta 1.29, props_per_confl 0.00, confl_per_restart 132.70, decisions_per_conflict 4.10, irred_cl_distrib.glue_distr_mean 998.86, irred_cl_distrib.glue_distr_var 1138.49, irred_cl_distrib.size_distr_mean 3.68, irred_cl_distrib.size_distr_var 1.45, irred_cl_distrib.uip_use_distr_mean 0, irred_cl_distrib.uip_use_distr_var 0, irred_cl_distrib.activity_distr_mean 0.00, irred_cl_distrib.activity_distr_var 0.42, red_cl_distrib.glue_distr_mean 2.85, red_cl_distrib.glue_distr_var 0.14, red_cl_distrib.size_distr_mean 5.34, red_cl_distrib.size_distr_var 3.34, red_cl_distrib.uip_use_distr_mean 0, red_cl_distrib.uip_use_distr_var 0, red_cl_distrib.activity_distr_mean 3454.51, red_cl_distrib.activity_distr_var 920182767.06, num_gates_found_last 0, num_xors_found_last 48
96.57/86.73	c (75,0) c clause size stats. size3: 14579 size4: 3320 size5: 1630 larger: 2282
97.27/87.44	c (75,0) c   luby     0  1288  172K    2579   21K  5975    3.68    3.32  6058  1629 19780   308   39.52   39.11
98.77/88.93	c (77,0) c   luby     0  1320  180K    2579   21K  5975    3.68    3.32  6257  1662 16051   308   36.47   36.04
99.98/90.15	c (78,0) c [distill] long cls tried: 642/6276 cl-short:641 lit-r:117 T: 0.02 T-out: N T-r: 99.68%
100.17/90.31	c (78,0) c   luby     0  1337  188K    2579   21K  5975    3.68    3.32  6276  1774   24K   308   41.43   41.06
101.68/91.82	c (80,0) c   luby     0  1368  196K    2579   21K  5975    3.68    3.32  6470  1900 18826   308   38.12   37.71
103.08/93.24	c (81,0) c   luby     0  1393  204K    2579   21K  5975    3.68    3.32  6647  1763   26K   308   42.35   42.00
104.49/94.65	c (83,0) c   luby     0  1394  213K    2579   21K  5975    3.68    3.32  6868  1993   20K   308   40.62   40.22
106.09/96.27	c (84,0) c   luby     0  1425  221K    2579   21K  5975    3.68    3.32  7064  1846   28K   308   45.09   44.74
107.69/97.89	c (86,0) c [distill] long cls tried: 825/7101 cl-short:824 lit-r:178 T: 0.03 T-out: N T-r: 99.63%
107.79/97.92	c (86,0) c   luby     0  1457  229K    2579   21K  5975    3.68    3.32  7101  2187   22K   308   42.39   41.99
109.39/99.54	c (87,0) c   luby     0  1485  237K    2579   21K  5975    3.68    3.32  7242  2026   30K   308   46.46   46.11
110.89/101.08	c (89,0) c   luby     0  1516  245K    2579   21K  5975    3.68    3.32  7387  1989   23K   308   42.83   42.45
112.49/102.69	c (91,0) c   luby     0  1521  253K    2579   21K  5975    3.68    3.32  7522  1927   31K   308   45.93   45.60
113.99/104.18	c (92,0) c   luby     0  1522  262K    2579   21K  5975    3.68    3.32  7664  2032   25K   308   42.26   41.90
115.58/105.79	c (94,0) c ------- FINAL TOTAL SEARCH STATS ---------
115.58/105.79	c (94,0) c UIP search time          : 90.79       (96.85     % time)
115.58/105.79	c (94,0) c restarts                 : 1522        (177.28    confls per restart)
115.58/105.79	c (94,0) c blocked restarts         : 0           (0.00      per normal restart)
115.58/105.79	c (94,0) c time                     : 90.79       
115.58/105.79	c (94,0) c decisions                : 825556      (0.00      % random)
115.58/105.79	c (94,0) c propagations             : 430052089   
115.58/105.79	c (94,0) c decisions/conflicts      : 3.06        
115.58/105.79	c (94,0) c conflicts                : 269823      (2971.89   / sec)
115.58/105.79	c (94,0) c conf lits non-minim      : 25119241    (93.10     lit/confl)
115.58/105.79	c (94,0) c conf lits final          : 58.35       
115.58/105.79	c (94,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
115.58/105.79	c (94,0) c red which0               : 5281        (1.96      % of confl)
115.58/105.79	c (94,0) c props/decision           : 0.00        
115.58/105.79	c (94,0) c props/conflict           : 0.00        
115.58/105.79	c (94,0) c 0-depth assigns          : 7319        (280.96    % vars)
115.58/105.79	c (94,0) c 0-depth assigns by CNF   : 0           (0.00      % vars)
115.58/105.79	c (94,0) c reduceDB time            : 0.08        (0.08      % time)
115.58/105.79	c (94,0) c OccSimplifier time       : 0.64        (0.68      % time)
115.58/105.79	c (94,0) c [occur] 0.14 is overhead
115.58/105.79	c (94,0) c [occur] link-in T: 0.11 cleanup T: 0.03
115.58/105.79	c (94,0) c [occ-substr] long subBySub: 117571 subByStr: 7 lits-rem-str: 395 T: 0.45
115.58/105.79	c (94,0) c SCC time                 : 0.04        (0.04      % time)
115.58/105.79	c (94,0) c [scc] new: 49422 BP 0M  T: 0.04
115.58/105.79	c (94,0) c vrep replace time        : 0.32        (0.34      % time)
115.58/105.79	c (94,0) c vrep tree roots          : 1936        
115.58/105.79	c (94,0) c vrep trees' crown        : 26046       (13.45     leafs/tree)
115.58/105.79	c (94,0) c distill time             : 3.34        (3.56      % time)
115.58/105.79	c (94,0) c strength cache-irred time: 0.20        (0.21      % time)
115.58/105.79	c (94,0) c strength cache-red time  : 0.03        (0.04      % time)
115.58/105.79	c (94,0) c Conflicts in UIP         : 269823      (2878.27   confl/time_this_thread)
115.58/105.79	c (94,0) c Mem used                 : 74.27       MB
115.58/105.79	c (94,0) c Total time (this thread) : 93.74       
115.58/105.80	c (94,0) s SATISFIABLE
116.04/105.94	c (94,0) SatSolver.solve End
116.04/105.95	c (94,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
116.04/105.95	c (94,0) Show results Begin
116.69/106.13	c (94,0) x[0][0] = 29
116.69/106.13	c (94,0) x[0][1] = 25
116.69/106.13	c (94,0) x[0][2] = 15
116.69/106.13	c (94,0) x[0][3] = 0
116.69/106.13	c (94,0) x[0][4] = 14
116.69/106.13	c (94,0) x[0][5] = 13
116.69/106.13	c (94,0) x[0][6] = 9
116.69/106.13	c (94,0) x[0][7] = 8
116.69/106.13	c (94,0) x[0][8] = 12
116.69/106.13	c (94,0) x[0][9] = 10
116.69/106.13	c (94,0) x[0][10] = 22
116.69/106.13	c (94,0) x[0][11] = 18
116.69/106.13	c (94,0) x[0][12] = 20
116.69/106.13	c (94,0) x[0][13] = 2
116.69/106.13	c (94,0) x[0][14] = 28
116.69/106.13	c (94,0) x[0][15] = 4
116.69/106.13	c (94,0) x[0][16] = 19
116.69/106.13	c (94,0) x[0][17] = 16
116.69/106.13	c (94,0) x[0][18] = 1
116.69/106.13	c (94,0) x[0][19] = 7
116.69/106.13	c (94,0) x[0][20] = 3
116.69/106.13	c (94,0) x[0][21] = 5
116.69/106.13	c (94,0) x[0][22] = 27
116.69/106.13	c (94,0) x[0][23] = 24
116.69/106.13	c (94,0) x[0][24] = 17
116.69/106.13	c (94,0) x[0][25] = 26
116.69/106.13	c (94,0) x[0][26] = 6
116.69/106.13	c (94,0) x[0][27] = 23
116.69/106.13	c (94,0) x[0][28] = 21
116.69/106.13	c (94,0) x[0][29] = 11
116.69/106.13	c (94,0) x[1][0] = 12
116.69/106.13	c (94,0) x[1][1] = 15
116.69/106.13	c (94,0) x[1][2] = 9
116.69/106.13	c (94,0) x[1][3] = 2
116.69/106.13	c (94,0) x[1][4] = 26
116.69/106.13	c (94,0) x[1][5] = 17
116.69/106.13	c (94,0) x[1][6] = 29
116.69/106.13	c (94,0) x[1][7] = 1
116.69/106.13	c (94,0) x[1][8] = 21
116.69/106.13	c (94,0) x[1][9] = 4
116.69/106.13	c (94,0) x[1][10] = 11
116.69/106.13	c (94,0) x[1][11] = 22
116.69/106.13	c (94,0) x[1][12] = 27
116.69/106.13	c (94,0) x[1][13] = 8
116.69/106.13	c (94,0) x[1][14] = 19
116.69/106.13	c (94,0) x[1][15] = 25
116.69/106.14	c (94,0) x[1][16] = 7
116.69/106.14	c (94,0) x[1][17] = 18
116.69/106.14	c (94,0) x[1][18] = 14
116.69/106.14	c (94,0) x[1][19] = 5
116.69/106.14	c (94,0) x[1][20] = 6
116.69/106.14	c (94,0) x[1][21] = 3
116.69/106.14	c (94,0) x[1][22] = 0
116.69/106.14	c (94,0) x[1][23] = 13
116.69/106.14	c (94,0) x[1][24] = 24
116.69/106.14	c (94,0) x[1][25] = 10
116.69/106.14	c (94,0) x[1][26] = 23
116.69/106.14	c (94,0) x[1][27] = 20
116.69/106.14	c (94,0) x[1][28] = 28
116.69/106.14	c (94,0) x[1][29] = 16
116.69/106.14	c (94,0) x[2][0] = 25
116.69/106.14	c (94,0) x[2][1] = 9
116.69/106.14	c (94,0) x[2][2] = 8
116.69/106.14	c (94,0) x[2][3] = 1
116.69/106.14	c (94,0) x[2][4] = 0
116.69/106.14	c (94,0) x[2][5] = 4
116.69/106.14	c (94,0) x[2][6] = 26
116.69/106.14	c (94,0) x[2][7] = 29
116.69/106.14	c (94,0) x[2][8] = 16
116.69/106.14	c (94,0) x[2][9] = 28
116.69/106.14	c (94,0) x[2][10] = 12
116.69/106.14	c (94,0) x[2][11] = 6
116.69/106.14	c (94,0) x[2][12] = 11
116.69/106.14	c (94,0) x[2][13] = 22
116.69/106.14	c (94,0) x[2][14] = 2
116.69/106.14	c (94,0) x[2][15] = 5
116.69/106.14	c (94,0) x[2][16] = 20
116.69/106.14	c (94,0) x[2][17] = 10
116.69/106.14	c (94,0) x[2][18] = 13
116.69/106.14	c (94,0) x[2][19] = 14
116.69/106.14	c (94,0) x[2][20] = 27
116.69/106.14	c (94,0) x[2][21] = 18
116.69/106.14	c (94,0) x[2][22] = 7
116.69/106.14	c (94,0) x[2][23] = 17
116.69/106.14	c (94,0) x[2][24] = 21
116.69/106.14	c (94,0) x[2][25] = 24
116.69/106.14	c (94,0) x[2][26] = 15
116.69/106.14	c (94,0) x[2][27] = 19
116.69/106.14	c (94,0) x[2][28] = 3
116.69/106.14	c (94,0) x[2][29] = 23
116.69/106.14	c (94,0) x[3][0] = 17
116.69/106.14	c (94,0) x[3][1] = 16
116.69/106.14	c (94,0) x[3][2] = 4
116.69/106.14	c (94,0) x[3][3] = 29
116.69/106.14	c (94,0) x[3][4] = 1
116.69/106.14	c (94,0) x[3][5] = 2
116.69/106.14	c (94,0) x[3][6] = 14
116.69/106.14	c (94,0) x[3][7] = 22
116.69/106.14	c (94,0) x[3][8] = 19
116.69/106.14	c (94,0) x[3][9] = 5
116.69/106.14	c (94,0) x[3][10] = 9
116.69/106.14	c (94,0) x[3][11] = 10
116.69/106.14	c (94,0) x[3][12] = 24
116.69/106.14	c (94,0) x[3][13] = 6
116.69/106.14	c (94,0) x[3][14] = 12
116.69/106.14	c (94,0) x[3][15] = 8
116.69/106.14	c (94,0) x[3][16] = 15
116.69/106.14	c (94,0) x[3][17] = 13
116.69/106.14	c (94,0) x[3][18] = 3
116.69/106.14	c (94,0) x[3][19] = 25
116.69/106.14	c (94,0) x[3][20] = 18
116.69/106.14	c (94,0) x[3][21] = 26
116.69/106.14	c (94,0) x[3][22] = 23
116.69/106.14	c (94,0) x[3][23] = 7
116.69/106.14	c (94,0) x[3][24] = 28
116.69/106.14	c (94,0) x[3][25] = 20
116.69/106.14	c (94,0) x[3][26] = 21
116.69/106.14	c (94,0) x[3][27] = 27
116.69/106.14	c (94,0) x[3][28] = 11
116.69/106.14	c (94,0) x[3][29] = 0
116.69/106.14	c (94,0) x[4][0] = 6
116.69/106.14	c (94,0) x[4][1] = 26
116.69/106.14	c (94,0) x[4][2] = 10
116.69/106.14	c (94,0) x[4][3] = 3
116.69/106.14	c (94,0) x[4][4] = 2
116.69/106.14	c (94,0) x[4][5] = 29
116.69/106.14	c (94,0) x[4][6] = 22
116.69/106.14	c (94,0) x[4][7] = 15
116.69/106.14	c (94,0) x[4][8] = 17
116.69/106.14	c (94,0) x[4][9] = 13
116.69/106.14	c (94,0) x[4][10] = 27
116.69/106.14	c (94,0) x[4][11] = 20
116.69/106.14	c (94,0) x[4][12] = 5
116.69/106.14	c (94,0) x[4][13] = 7
116.69/106.14	c (94,0) x[4][14] = 25
116.69/106.14	c (94,0) x[4][15] = 14
116.69/106.14	c (94,0) x[4][16] = 16
116.69/106.14	c (94,0) x[4][17] = 1
116.69/106.14	c (94,0) x[4][18] = 19
116.69/106.14	c (94,0) x[4][19] = 0
116.69/106.14	c (94,0) x[4][20] = 23
116.69/106.14	c (94,0) x[4][21] = 11
116.69/106.14	c (94,0) x[4][22] = 24
116.69/106.14	c (94,0) x[4][23] = 4
116.69/106.14	c (94,0) x[4][24] = 9
116.69/106.14	c (94,0) x[4][25] = 28
116.69/106.14	c (94,0) x[4][26] = 8
116.69/106.14	c (94,0) x[4][27] = 21
116.69/106.14	c (94,0) x[4][28] = 12
116.69/106.14	c (94,0) x[4][29] = 18
116.69/106.14	c (94,0) x[5][0] = 11
116.69/106.14	c (94,0) x[5][1] = 29
116.69/106.14	c (94,0) x[5][2] = 16
116.69/106.14	c (94,0) x[5][3] = 14
116.69/106.14	c (94,0) x[5][4] = 24
116.69/106.14	c (94,0) x[5][5] = 7
116.69/106.14	c (94,0) x[5][6] = 19
116.69/106.14	c (94,0) x[5][7] = 23
116.69/106.14	c (94,0) x[5][8] = 26
116.69/106.14	c (94,0) x[5][9] = 8
116.69/106.14	c (94,0) x[5][10] = 0
116.69/106.14	c (94,0) x[5][11] = 21
116.69/106.14	c (94,0) x[5][12] = 3
116.69/106.14	c (94,0) x[5][13] = 1
116.69/106.14	c (94,0) x[5][14] = 22
116.69/106.14	c (94,0) x[5][15] = 28
116.69/106.14	c (94,0) x[5][16] = 18
116.69/106.14	c (94,0) x[5][17] = 6
116.69/106.14	c (94,0) x[5][18] = 15
116.69/106.14	c (94,0) x[5][19] = 12
116.69/106.14	c (94,0) x[5][20] = 10
116.69/106.14	c (94,0) x[5][21] = 4
116.69/106.14	c (94,0) x[5][22] = 5
116.69/106.14	c (94,0) x[5][23] = 9
116.69/106.15	c (94,0) x[5][24] = 20
116.69/106.15	c (94,0) x[5][25] = 17
116.69/106.15	c (94,0) x[5][26] = 25
116.69/106.15	c (94,0) x[5][27] = 2
116.69/106.15	c (94,0) x[5][28] = 13
116.69/106.15	c (94,0) x[5][29] = 27
116.69/106.15	c (94,0) x[6][0] = 10
116.69/106.15	c (94,0) x[6][1] = 14
116.69/106.15	c (94,0) x[6][2] = 1
116.69/106.15	c (94,0) x[6][3] = 8
116.69/106.15	c (94,0) x[6][4] = 4
116.69/106.15	c (94,0) x[6][5] = 19
116.69/106.15	c (94,0) x[6][6] = 7
116.69/106.15	c (94,0) x[6][7] = 2
116.69/106.15	c (94,0) x[6][8] = 23
116.69/106.15	c (94,0) x[6][9] = 24
116.69/106.15	c (94,0) x[6][10] = 5
116.69/106.15	c (94,0) x[6][11] = 0
116.69/106.15	c (94,0) x[6][12] = 17
116.69/106.15	c (94,0) x[6][13] = 18
116.69/106.15	c (94,0) x[6][14] = 20
116.69/106.15	c (94,0) x[6][15] = 6
116.69/106.15	c (94,0) x[6][16] = 22
116.69/106.15	c (94,0) x[6][17] = 11
116.69/106.15	c (94,0) x[6][18] = 27
116.69/106.15	c (94,0) x[6][19] = 21
116.69/106.15	c (94,0) x[6][20] = 26
116.69/106.15	c (94,0) x[6][21] = 15
116.69/106.15	c (94,0) x[6][22] = 13
116.69/106.15	c (94,0) x[6][23] = 25
116.69/106.15	c (94,0) x[6][24] = 12
116.69/106.15	c (94,0) x[6][25] = 9
116.69/106.15	c (94,0) x[6][26] = 3
116.69/106.15	c (94,0) x[6][27] = 16
116.69/106.15	c (94,0) x[6][28] = 29
116.69/106.15	c (94,0) x[6][29] = 28
116.69/106.15	c (94,0) x[7][0] = 14
116.69/106.15	c (94,0) x[7][1] = 28
116.69/106.15	c (94,0) x[7][2] = 21
116.69/106.15	c (94,0) x[7][3] = 25
116.69/106.15	c (94,0) x[7][4] = 11
116.69/106.15	c (94,0) x[7][5] = 3
116.69/106.15	c (94,0) x[7][6] = 18
116.69/106.15	c (94,0) x[7][7] = 27
116.69/106.15	c (94,0) x[7][8] = 24
116.69/106.15	c (94,0) x[7][9] = 20
116.69/106.15	c (94,0) x[7][10] = 10
116.69/106.15	c (94,0) x[7][11] = 8
116.69/106.15	c (94,0) x[7][12] = 19
116.69/106.15	c (94,0) x[7][13] = 0
116.69/106.15	c (94,0) x[7][14] = 4
116.69/106.15	c (94,0) x[7][15] = 13
116.69/106.15	c (94,0) x[7][16] = 17
116.69/106.15	c (94,0) x[7][17] = 12
116.69/106.15	c (94,0) x[7][18] = 16
116.69/106.15	c (94,0) x[7][19] = 23
116.69/106.15	c (94,0) x[7][20] = 7
116.69/106.15	c (94,0) x[7][21] = 29
116.69/106.15	c (94,0) x[7][22] = 6
116.69/106.15	c (94,0) x[7][23] = 5
116.69/106.15	c (94,0) x[7][24] = 1
116.69/106.15	c (94,0) x[7][25] = 2
116.69/106.15	c (94,0) x[7][26] = 26
116.69/106.15	c (94,0) x[7][27] = 15
116.69/106.15	c (94,0) x[7][28] = 9
116.69/106.15	c (94,0) x[7][29] = 22
116.69/106.15	c (94,0) x[8][0] = 9
116.69/106.15	c (94,0) x[8][1] = 20
116.69/106.15	c (94,0) x[8][2] = 5
116.69/106.15	c (94,0) x[8][3] = 23
116.69/106.15	c (94,0) x[8][4] = 19
116.69/106.15	c (94,0) x[8][5] = 8
116.69/106.15	c (94,0) x[8][6] = 28
116.69/106.15	c (94,0) x[8][7] = 26
116.69/106.15	c (94,0) x[8][8] = 25
116.69/106.15	c (94,0) x[8][9] = 1
116.69/106.15	c (94,0) x[8][10] = 14
116.69/106.15	c (94,0) x[8][11] = 11
116.69/106.15	c (94,0) x[8][12] = 0
116.69/106.15	c (94,0) x[8][13] = 4
116.69/106.15	c (94,0) x[8][14] = 13
116.69/106.15	c (94,0) x[8][15] = 7
116.69/106.15	c (94,0) x[8][16] = 3
116.69/106.15	c (94,0) x[8][17] = 22
116.69/106.15	c (94,0) x[8][18] = 24
116.69/106.15	c (94,0) x[8][19] = 17
116.69/106.15	c (94,0) x[8][20] = 21
116.69/106.15	c (94,0) x[8][21] = 12
116.69/106.15	c (94,0) x[8][22] = 15
116.69/106.15	c (94,0) x[8][23] = 2
116.69/106.15	c (94,0) x[8][24] = 29
116.69/106.15	c (94,0) x[8][25] = 27
116.69/106.15	c (94,0) x[8][26] = 16
116.69/106.15	c (94,0) x[8][27] = 6
116.69/106.15	c (94,0) x[8][28] = 18
116.69/106.15	c (94,0) x[8][29] = 10
116.69/106.15	c (94,0) x[9][0] = 5
116.69/106.15	c (94,0) x[9][1] = 11
116.69/106.15	c (94,0) x[9][2] = 13
116.69/106.15	c (94,0) x[9][3] = 10
116.69/106.15	c (94,0) x[9][4] = 15
116.69/106.15	c (94,0) x[9][5] = 1
116.69/106.15	c (94,0) x[9][6] = 21
116.69/106.15	c (94,0) x[9][7] = 12
116.69/106.15	c (94,0) x[9][8] = 9
116.69/106.15	c (94,0) x[9][9] = 27
116.69/106.15	c (94,0) x[9][10] = 16
116.69/106.15	c (94,0) x[9][11] = 24
116.69/106.15	c (94,0) x[9][12] = 23
116.69/106.15	c (94,0) x[9][13] = 17
116.69/106.15	c (94,0) x[9][14] = 18
116.69/106.15	c (94,0) x[9][15] = 2
116.69/106.15	c (94,0) x[9][16] = 6
116.69/106.15	c (94,0) x[9][17] = 28
116.69/106.15	c (94,0) x[9][18] = 26
116.69/106.15	c (94,0) x[9][19] = 29
116.69/106.15	c (94,0) x[9][20] = 19
116.69/106.15	c (94,0) x[9][21] = 8
116.69/106.15	c (94,0) x[9][22] = 20
116.69/106.15	c (94,0) x[9][23] = 3
116.69/106.15	c (94,0) x[9][24] = 4
116.69/106.15	c (94,0) x[9][25] = 25
116.69/106.15	c (94,0) x[9][26] = 22
116.69/106.15	c (94,0) x[9][27] = 14
116.69/106.15	c (94,0) x[9][28] = 0
116.69/106.15	c (94,0) x[9][29] = 7
116.69/106.15	c (94,0) x[10][0] = 19
116.69/106.15	c (94,0) x[10][1] = 17
116.69/106.15	c (94,0) x[10][2] = 12
116.69/106.15	c (94,0) x[10][3] = 4
116.69/106.15	c (94,0) x[10][4] = 10
116.69/106.15	c (94,0) x[10][5] = 14
116.69/106.15	c (94,0) x[10][6] = 27
116.69/106.15	c (94,0) x[10][7] = 16
116.69/106.15	c (94,0) x[10][8] = 8
116.69/106.15	c (94,0) x[10][9] = 0
116.69/106.15	c (94,0) x[10][10] = 26
116.69/106.15	c (94,0) x[10][11] = 2
116.69/106.15	c (94,0) x[10][12] = 7
116.69/106.15	c (94,0) x[10][13] = 29
116.69/106.15	c (94,0) x[10][14] = 3
116.69/106.15	c (94,0) x[10][15] = 18
116.69/106.15	c (94,0) x[10][16] = 23
116.69/106.15	c (94,0) x[10][17] = 5
116.69/106.15	c (94,0) x[10][18] = 6
116.69/106.15	c (94,0) x[10][19] = 11
116.69/106.15	c (94,0) x[10][20] = 28
116.69/106.15	c (94,0) x[10][21] = 25
116.69/106.15	c (94,0) x[10][22] = 22
116.69/106.15	c (94,0) x[10][23] = 21
116.69/106.15	c (94,0) x[10][24] = 13
116.69/106.15	c (94,0) x[10][25] = 15
116.69/106.15	c (94,0) x[10][26] = 1
116.69/106.15	c (94,0) x[10][27] = 9
116.69/106.15	c (94,0) x[10][28] = 24
116.69/106.15	c (94,0) x[10][29] = 20
116.69/106.15	c (94,0) x[11][0] = 13
116.69/106.15	c (94,0) x[11][1] = 7
116.69/106.15	c (94,0) x[11][2] = 17
116.69/106.15	c (94,0) x[11][3] = 24
116.69/106.15	c (94,0) x[11][4] = 8
116.69/106.15	c (94,0) x[11][5] = 22
116.69/106.15	c (94,0) x[11][6] = 5
116.69/106.15	c (94,0) x[11][7] = 20
116.69/106.15	c (94,0) x[11][8] = 1
116.69/106.15	c (94,0) x[11][9] = 3
116.69/106.15	c (94,0) x[11][10] = 19
116.69/106.15	c (94,0) x[11][11] = 29
116.69/106.15	c (94,0) x[11][12] = 2
116.69/106.15	c (94,0) x[11][13] = 11
116.69/106.15	c (94,0) x[11][14] = 6
116.69/106.15	c (94,0) x[11][15] = 15
116.69/106.15	c (94,0) x[11][16] = 21
116.69/106.15	c (94,0) x[11][17] = 27
116.69/106.15	c (94,0) x[11][18] = 12
116.69/106.15	c (94,0) x[11][19] = 18
116.69/106.15	c (94,0) x[11][20] = 16
116.69/106.15	c (94,0) x[11][21] = 9
116.69/106.15	c (94,0) x[11][22] = 4
116.69/106.15	c (94,0) x[11][23] = 0
116.69/106.15	c (94,0) x[11][24] = 10
116.69/106.15	c (94,0) x[11][25] = 14
116.69/106.15	c (94,0) x[11][26] = 28
116.69/106.15	c (94,0) x[11][27] = 25
116.69/106.15	c (94,0) x[11][28] = 23
116.69/106.15	c (94,0) x[11][29] = 26
116.69/106.15	c (94,0) x[12][0] = 21
116.69/106.15	c (94,0) x[12][1] = 1
116.69/106.15	c (94,0) x[12][2] = 18
116.69/106.15	c (94,0) x[12][3] = 11
116.69/106.15	c (94,0) x[12][4] = 28
116.69/106.15	c (94,0) x[12][5] = 26
116.69/106.15	c (94,0) x[12][6] = 12
116.69/106.15	c (94,0) x[12][7] = 24
116.69/106.15	c (94,0) x[12][8] = 3
116.69/106.15	c (94,0) x[12][9] = 23
116.69/106.15	c (94,0) x[12][10] = 2
116.69/106.15	c (94,0) x[12][11] = 13
116.69/106.15	c (94,0) x[12][12] = 6
116.69/106.15	c (94,0) x[12][13] = 27
116.69/106.15	c (94,0) x[12][14] = 5
116.69/106.15	c (94,0) x[12][15] = 16
116.69/106.15	c (94,0) x[12][16] = 29
116.69/106.15	c (94,0) x[12][17] = 14
116.69/106.15	c (94,0) x[12][18] = 8
116.69/106.15	c (94,0) x[12][19] = 10
116.69/106.15	c (94,0) x[12][20] = 15
116.69/106.15	c (94,0) x[12][21] = 7
116.69/106.15	c (94,0) x[12][22] = 17
116.69/106.15	c (94,0) x[12][23] = 20
116.69/106.15	c (94,0) x[12][24] = 0
116.69/106.15	c (94,0) x[12][25] = 19
116.69/106.15	c (94,0) x[12][26] = 9
116.69/106.15	c (94,0) x[12][27] = 22
116.69/106.15	c (94,0) x[12][28] = 25
116.69/106.15	c (94,0) x[12][29] = 4
116.69/106.15	c (94,0) x[13][0] = 26
116.69/106.15	c (94,0) x[13][1] = 22
116.69/106.15	c (94,0) x[13][2] = 27
116.69/106.15	c (94,0) x[13][3] = 19
116.69/106.15	c (94,0) x[13][4] = 3
116.69/106.15	c (94,0) x[13][5] = 20
116.69/106.15	c (94,0) x[13][6] = 17
116.69/106.15	c (94,0) x[13][7] = 25
116.69/106.15	c (94,0) x[13][8] = 6
116.69/106.15	c (94,0) x[13][9] = 12
116.69/106.15	c (94,0) x[13][10] = 21
116.69/106.15	c (94,0) x[13][11] = 1
116.69/106.15	c (94,0) x[13][12] = 8
116.69/106.15	c (94,0) x[13][13] = 13
116.69/106.15	c (94,0) x[13][14] = 16
116.69/106.15	c (94,0) x[13][15] = 10
116.69/106.15	c (94,0) x[13][16] = 0
116.69/106.15	c (94,0) x[13][17] = 2
116.69/106.15	c (94,0) x[13][18] = 28
116.69/106.15	c (94,0) x[13][19] = 15
116.69/106.15	c (94,0) x[13][20] = 11
116.69/106.15	c (94,0) x[13][21] = 24
116.69/106.15	c (94,0) x[13][22] = 14
116.69/106.15	c (94,0) x[13][23] = 23
116.69/106.15	c (94,0) x[13][24] = 5
116.69/106.15	c (94,0) x[13][25] = 29
116.69/106.15	c (94,0) x[13][26] = 4
116.69/106.15	c (94,0) x[13][27] = 18
116.69/106.15	c (94,0) x[13][28] = 7
116.69/106.15	c (94,0) x[13][29] = 9
116.69/106.15	c (94,0) x[14][0] = 15
116.69/106.15	c (94,0) x[14][1] = 3
116.69/106.15	c (94,0) x[14][2] = 6
116.69/106.15	c (94,0) x[14][3] = 21
116.69/106.15	c (94,0) x[14][4] = 20
116.69/106.15	c (94,0) x[14][5] = 10
116.69/106.15	c (94,0) x[14][6] = 13
116.69/106.15	c (94,0) x[14][7] = 18
116.69/106.15	c (94,0) x[14][8] = 0
116.69/106.15	c (94,0) x[14][9] = 29
116.69/106.15	c (94,0) x[14][10] = 25
116.69/106.15	c (94,0) x[14][11] = 17
116.69/106.15	c (94,0) x[14][12] = 16
116.69/106.15	c (94,0) x[14][13] = 9
116.69/106.15	c (94,0) x[14][14] = 27
116.69/106.15	c (94,0) x[14][15] = 12
116.69/106.15	c (94,0) x[14][16] = 2
116.69/106.15	c (94,0) x[14][17] = 4
116.69/106.15	c (94,0) x[14][18] = 11
116.69/106.15	c (94,0) x[14][19] = 26
116.69/106.15	c (94,0) x[14][20] = 24
116.69/106.15	c (94,0) x[14][21] = 19
116.69/106.15	c (94,0) x[14][22] = 28
116.69/106.15	c (94,0) x[14][23] = 22
116.69/106.15	c (94,0) x[14][24] = 23
116.69/106.15	c (94,0) x[14][25] = 7
116.69/106.15	c (94,0) x[14][26] = 5
116.69/106.15	c (94,0) x[14][27] = 1
116.69/106.15	c (94,0) x[14][28] = 8
116.69/106.15	c (94,0) x[14][29] = 14
116.69/106.15	c (94,0) x[15][0] = 2
116.69/106.15	c (94,0) x[15][1] = 6
116.69/106.15	c (94,0) x[15][2] = 26
116.69/106.15	c (94,0) x[15][3] = 22
116.69/106.15	c (94,0) x[15][4] = 12
116.69/106.15	c (94,0) x[15][5] = 0
116.69/106.15	c (94,0) x[15][6] = 11
116.69/106.15	c (94,0) x[15][7] = 21
116.69/106.15	c (94,0) x[15][8] = 18
116.69/106.15	c (94,0) x[15][9] = 25
116.69/106.15	c (94,0) x[15][10] = 29
116.69/106.15	c (94,0) x[15][11] = 28
116.69/106.15	c (94,0) x[15][12] = 14
116.69/106.15	c (94,0) x[15][13] = 23
116.69/106.15	c (94,0) x[15][14] = 15
116.69/106.15	c (94,0) x[15][15] = 20
116.69/106.15	c (94,0) x[15][16] = 27
116.69/106.15	c (94,0) x[15][17] = 19
116.69/106.15	c (94,0) x[15][18] = 17
116.69/106.15	c (94,0) x[15][19] = 8
116.69/106.15	c (94,0) x[15][20] = 9
116.69/106.15	c (94,0) x[15][21] = 13
116.69/106.15	c (94,0) x[15][22] = 3
116.69/106.15	c (94,0) x[15][23] = 1
116.69/106.15	c (94,0) x[15][24] = 16
116.69/106.15	c (94,0) x[15][25] = 4
116.69/106.15	c (94,0) x[15][26] = 10
116.69/106.15	c (94,0) x[15][27] = 7
116.69/106.15	c (94,0) x[15][28] = 5
116.69/106.15	c (94,0) x[15][29] = 24
116.69/106.15	c (94,0) x[16][0] = 3
116.69/106.15	c (94,0) x[16][1] = 5
116.69/106.15	c (94,0) x[16][2] = 24
116.69/106.15	c (94,0) x[16][3] = 26
116.69/106.15	c (94,0) x[16][4] = 7
116.69/106.15	c (94,0) x[16][5] = 11
116.69/106.15	c (94,0) x[16][6] = 6
116.69/106.15	c (94,0) x[16][7] = 28
116.69/106.15	c (94,0) x[16][8] = 10
116.69/106.15	c (94,0) x[16][9] = 9
116.69/106.15	c (94,0) x[16][10] = 20
116.69/106.15	c (94,0) x[16][11] = 12
116.69/106.15	c (94,0) x[16][12] = 29
116.69/106.15	c (94,0) x[16][13] = 15
116.69/106.15	c (94,0) x[16][14] = 23
116.69/106.15	c (94,0) x[16][15] = 0
116.69/106.15	c (94,0) x[16][16] = 25
116.69/106.15	c (94,0) x[16][17] = 21
116.69/106.15	c (94,0) x[16][18] = 2
116.69/106.15	c (94,0) x[16][19] = 27
116.69/106.15	c (94,0) x[16][20] = 17
116.69/106.15	c (94,0) x[16][21] = 16
116.69/106.15	c (94,0) x[16][22] = 8
116.69/106.15	c (94,0) x[16][23] = 19
116.69/106.15	c (94,0) x[16][24] = 22
116.69/106.15	c (94,0) x[16][25] = 18
116.69/106.15	c (94,0) x[16][26] = 13
116.69/106.15	c (94,0) x[16][27] = 4
116.69/106.15	c (94,0) x[16][28] = 14
116.69/106.15	c (94,0) x[16][29] = 1
116.69/106.15	c (94,0) x[17][0] = 16
116.69/106.16	c (94,0) x[17][1] = 12
116.69/106.16	c (94,0) x[17][2] = 23
116.69/106.16	c (94,0) x[17][3] = 6
116.69/106.16	c (94,0) x[17][4] = 13
116.69/106.16	c (94,0) x[17][5] = 15
116.69/106.16	c (94,0) x[17][6] = 25
116.69/106.16	c (94,0) x[17][7] = 0
116.69/106.16	c (94,0) x[17][8] = 5
116.69/106.16	c (94,0) x[17][9] = 7
116.69/106.16	c (94,0) x[17][10] = 1
116.69/106.16	c (94,0) x[17][11] = 27
116.69/106.16	c (94,0) x[17][12] = 28
116.69/106.16	c (94,0) x[17][13] = 21
116.69/106.16	c (94,0) x[17][14] = 10
116.69/106.16	c (94,0) x[17][15] = 11
116.69/106.16	c (94,0) x[17][16] = 24
116.69/106.16	c (94,0) x[17][17] = 26
116.69/106.16	c (94,0) x[17][18] = 18
116.69/106.16	c (94,0) x[17][19] = 22
116.69/106.16	c (94,0) x[17][20] = 14
116.69/106.16	c (94,0) x[17][21] = 2
116.69/106.16	c (94,0) x[17][22] = 9
116.69/106.16	c (94,0) x[17][23] = 29
116.69/106.16	c (94,0) x[17][24] = 8
116.69/106.16	c (94,0) x[17][25] = 3
116.69/106.16	c (94,0) x[17][26] = 20
116.69/106.16	c (94,0) x[17][27] = 17
116.69/106.16	c (94,0) x[17][28] = 4
116.69/106.16	c (94,0) x[17][29] = 19
116.69/106.16	c (94,0) x[18][0] = 8
116.69/106.16	c (94,0) x[18][1] = 2
116.69/106.16	c (94,0) x[18][2] = 7
116.69/106.16	c (94,0) x[18][3] = 27
116.69/106.16	c (94,0) x[18][4] = 6
116.69/106.16	c (94,0) x[18][5] = 12
116.69/106.16	c (94,0) x[18][6] = 20
116.69/106.16	c (94,0) x[18][7] = 4
116.69/106.16	c (94,0) x[18][8] = 15
116.69/106.16	c (94,0) x[18][9] = 17
116.69/106.16	c (94,0) x[18][10] = 3
116.69/106.16	c (94,0) x[18][11] = 23
116.69/106.16	c (94,0) x[18][12] = 10
116.69/106.16	c (94,0) x[18][13] = 5
116.69/106.16	c (94,0) x[18][14] = 11
116.69/106.16	c (94,0) x[18][15] = 19
116.69/106.16	c (94,0) x[18][16] = 14
116.69/106.16	c (94,0) x[18][17] = 0
116.69/106.16	c (94,0) x[18][18] = 9
116.69/106.16	c (94,0) x[18][19] = 28
116.69/106.16	c (94,0) x[18][20] = 1
116.69/106.16	c (94,0) x[18][21] = 22
116.69/106.16	c (94,0) x[18][22] = 18
116.69/106.16	c (94,0) x[18][23] = 26
116.69/106.16	c (94,0) x[18][24] = 25
116.69/106.16	c (94,0) x[18][25] = 13
116.69/106.16	c (94,0) x[18][26] = 29
116.69/106.16	c (94,0) x[18][27] = 24
116.69/106.16	c (94,0) x[18][28] = 16
116.69/106.16	c (94,0) x[18][29] = 21
116.69/106.16	c (94,0) x[19][0] = 28
116.69/106.16	c (94,0) x[19][1] = 19
116.69/106.16	c (94,0) x[19][2] = 0
116.69/106.16	c (94,0) x[19][3] = 13
116.69/106.16	c (94,0) x[19][4] = 27
116.69/106.16	c (94,0) x[19][5] = 18
116.69/106.16	c (94,0) x[19][6] = 4
116.69/106.16	c (94,0) x[19][7] = 3
116.69/106.16	c (94,0) x[19][8] = 20
116.69/106.16	c (94,0) x[19][9] = 21
116.69/106.16	c (94,0) x[19][10] = 7
116.69/106.16	c (94,0) x[19][11] = 26
116.69/106.16	c (94,0) x[19][12] = 22
116.69/106.16	c (94,0) x[19][13] = 16
116.69/106.16	c (94,0) x[19][14] = 24
116.69/106.16	c (94,0) x[19][15] = 29
116.69/106.16	c (94,0) x[19][16] = 5
116.69/106.16	c (94,0) x[19][17] = 15
116.69/106.16	c (94,0) x[19][18] = 23
116.69/106.16	c (94,0) x[19][19] = 9
116.69/106.16	c (94,0) x[19][20] = 25
116.69/106.16	c (94,0) x[19][21] = 6
116.69/106.16	c (94,0) x[19][22] = 2
116.69/106.16	c (94,0) x[19][23] = 14
116.69/106.16	c (94,0) x[19][24] = 11
116.69/106.16	c (94,0) x[19][25] = 1
116.69/106.16	c (94,0) x[19][26] = 17
116.69/106.16	c (94,0) x[19][27] = 12
116.69/106.16	c (94,0) x[19][28] = 10
116.69/106.16	c (94,0) x[19][29] = 8
116.69/106.16	c (94,0) x[20][0] = 24
116.69/106.16	c (94,0) x[20][1] = 8
116.69/106.16	c (94,0) x[20][2] = 20
116.69/106.16	c (94,0) x[20][3] = 17
116.69/106.16	c (94,0) x[20][4] = 29
116.69/106.16	c (94,0) x[20][5] = 16
116.69/106.16	c (94,0) x[20][6] = 23
116.69/106.16	c (94,0) x[20][7] = 11
116.69/106.16	c (94,0) x[20][8] = 4
116.69/106.16	c (94,0) x[20][9] = 26
116.69/106.16	c (94,0) x[20][10] = 28
116.69/106.16	c (94,0) x[20][11] = 19
116.69/106.16	c (94,0) x[20][12] = 13
116.69/106.16	c (94,0) x[20][13] = 3
116.69/106.16	c (94,0) x[20][14] = 1
116.69/106.16	c (94,0) x[20][15] = 27
116.69/106.16	c (94,0) x[20][16] = 9
116.69/106.16	c (94,0) x[20][17] = 25
116.69/106.16	c (94,0) x[20][18] = 5
116.69/106.16	c (94,0) x[20][19] = 2
116.69/106.16	c (94,0) x[20][20] = 12
116.69/106.16	c (94,0) x[20][21] = 14
116.69/106.16	c (94,0) x[20][22] = 10
116.69/106.16	c (94,0) x[20][23] = 18
116.69/106.16	c (94,0) x[20][24] = 15
116.69/106.16	c (94,0) x[20][25] = 21
116.69/106.16	c (94,0) x[20][26] = 7
116.69/106.16	c (94,0) x[20][27] = 0
116.69/106.16	c (94,0) x[20][28] = 22
116.69/106.16	c (94,0) x[20][29] = 6
116.69/106.16	c (94,0) x[21][0] = 23
116.69/106.16	c (94,0) x[21][1] = 27
116.69/106.16	c (94,0) x[21][2] = 14
116.69/106.16	c (94,0) x[21][3] = 5
116.69/106.16	c (94,0) x[21][4] = 21
116.69/106.16	c (94,0) x[21][5] = 24
116.69/106.16	c (94,0) x[21][6] = 2
116.69/106.16	c (94,0) x[21][7] = 19
116.69/106.16	c (94,0) x[21][8] = 29
116.69/106.16	c (94,0) x[21][9] = 16
116.69/106.16	c (94,0) x[21][10] = 6
116.69/106.16	c (94,0) x[21][11] = 25
116.69/106.16	c (94,0) x[21][12] = 15
116.69/106.16	c (94,0) x[21][13] = 12
116.69/106.16	c (94,0) x[21][14] = 8
116.69/106.16	c (94,0) x[21][15] = 9
116.69/106.16	c (94,0) x[21][16] = 4
116.69/106.16	c (94,0) x[21][17] = 7
116.69/106.16	c (94,0) x[21][18] = 20
116.69/106.16	c (94,0) x[21][19] = 13
116.69/106.16	c (94,0) x[21][20] = 22
116.69/106.16	c (94,0) x[21][21] = 1
116.69/106.16	c (94,0) x[21][22] = 26
116.69/106.16	c (94,0) x[21][23] = 28
116.69/106.16	c (94,0) x[21][24] = 18
116.69/106.16	c (94,0) x[21][25] = 0
116.69/106.16	c (94,0) x[21][26] = 11
116.69/106.16	c (94,0) x[21][27] = 10
116.69/106.16	c (94,0) x[21][28] = 17
116.69/106.16	c (94,0) x[21][29] = 3
116.69/106.16	c (94,0) x[22][0] = 7
116.69/106.16	c (94,0) x[22][1] = 10
116.69/106.16	c (94,0) x[22][2] = 25
116.69/106.16	c (94,0) x[22][3] = 12
116.69/106.16	c (94,0) x[22][4] = 18
116.69/106.16	c (94,0) x[22][5] = 5
116.69/106.16	c (94,0) x[22][6] = 1
116.69/106.16	c (94,0) x[22][7] = 9
116.69/106.16	c (94,0) x[22][8] = 22
116.69/106.16	c (94,0) x[22][9] = 19
116.69/106.16	c (94,0) x[22][10] = 8
116.69/106.16	c (94,0) x[22][11] = 14
116.69/106.16	c (94,0) x[22][12] = 26
116.69/106.16	c (94,0) x[22][13] = 20
116.69/106.16	c (94,0) x[22][14] = 17
116.69/106.16	c (94,0) x[22][15] = 21
116.69/106.16	c (94,0) x[22][16] = 11
116.69/106.16	c (94,0) x[22][17] = 3
116.69/106.16	c (94,0) x[22][18] = 0
116.69/106.16	c (94,0) x[22][19] = 16
116.69/106.16	c (94,0) x[22][20] = 4
116.69/106.16	c (94,0) x[22][21] = 28
116.69/106.16	c (94,0) x[22][22] = 29
116.69/106.16	c (94,0) x[22][23] = 6
116.69/106.16	c (94,0) x[22][24] = 27
116.69/106.16	c (94,0) x[22][25] = 23
116.69/106.16	c (94,0) x[22][26] = 24
116.69/106.16	c (94,0) x[22][27] = 13
116.69/106.16	c (94,0) x[22][28] = 2
116.69/106.16	c (94,0) x[22][29] = 15
116.69/106.16	c (94,0) x[23][0] = 4
116.69/106.16	c (94,0) x[23][1] = 13
116.69/106.16	c (94,0) x[23][2] = 29
116.69/106.16	c (94,0) x[23][3] = 18
116.69/106.16	c (94,0) x[23][4] = 17
116.69/106.16	c (94,0) x[23][5] = 9
116.69/106.16	c (94,0) x[23][6] = 10
116.69/106.16	c (94,0) x[23][7] = 14
116.69/106.16	c (94,0) x[23][8] = 2
116.69/106.16	c (94,0) x[23][9] = 6
116.69/106.16	c (94,0) x[23][10] = 15
116.69/106.16	c (94,0) x[23][11] = 16
116.69/106.16	c (94,0) x[23][12] = 1
116.69/106.16	c (94,0) x[23][13] = 19
116.69/106.16	c (94,0) x[23][14] = 21
116.69/106.16	c (94,0) x[23][15] = 26
116.69/106.16	c (94,0) x[23][16] = 28
116.69/106.16	c (94,0) x[23][17] = 20
116.69/106.16	c (94,0) x[23][18] = 7
116.69/106.16	c (94,0) x[23][19] = 24
116.69/106.16	c (94,0) x[23][20] = 0
116.69/106.16	c (94,0) x[23][21] = 23
116.69/106.16	c (94,0) x[23][22] = 25
116.69/106.16	c (94,0) x[23][23] = 11
116.69/106.16	c (94,0) x[23][24] = 3
116.69/106.16	c (94,0) x[23][25] = 22
116.69/106.16	c (94,0) x[23][26] = 12
116.69/106.16	c (94,0) x[23][27] = 8
116.69/106.16	c (94,0) x[23][28] = 27
116.69/106.16	c (94,0) x[23][29] = 5
116.69/106.16	c (94,0) x[24][0] = 22
116.69/106.16	c (94,0) x[24][1] = 4
116.69/106.16	c (94,0) x[24][2] = 2
116.69/106.16	c (94,0) x[24][3] = 28
116.69/106.16	c (94,0) x[24][4] = 16
116.69/106.16	c (94,0) x[24][5] = 23
116.69/106.16	c (94,0) x[24][6] = 8
116.69/106.16	c (94,0) x[24][7] = 7
116.69/106.16	c (94,0) x[24][8] = 11
116.69/106.16	c (94,0) x[24][9] = 14
116.69/106.16	c (94,0) x[24][10] = 18
116.69/106.16	c (94,0) x[24][11] = 5
116.69/106.16	c (94,0) x[24][12] = 21
116.69/106.16	c (94,0) x[24][13] = 10
116.69/106.16	c (94,0) x[24][14] = 9
116.69/106.16	c (94,0) x[24][15] = 24
116.69/106.16	c (94,0) x[24][16] = 1
116.69/106.16	c (94,0) x[24][17] = 17
116.69/106.16	c (94,0) x[24][18] = 25
116.69/106.16	c (94,0) x[24][19] = 20
116.69/106.16	c (94,0) x[24][20] = 29
116.69/106.16	c (94,0) x[24][21] = 0
116.69/106.16	c (94,0) x[24][22] = 12
116.69/106.16	c (94,0) x[24][23] = 15
116.69/106.16	c (94,0) x[24][24] = 26
116.69/106.16	c (94,0) x[24][25] = 6
116.69/106.16	c (94,0) x[24][26] = 27
116.69/106.16	c (94,0) x[24][27] = 3
116.69/106.16	c (94,0) x[24][28] = 19
116.69/106.16	c (94,0) x[24][29] = 13
116.69/106.16	c (94,0) x[25][0] = 20
116.69/106.16	c (94,0) x[25][1] = 24
116.69/106.16	c (94,0) x[25][2] = 11
116.69/106.16	c (94,0) x[25][3] = 7
116.69/106.16	c (94,0) x[25][4] = 5
116.69/106.16	c (94,0) x[25][5] = 25
116.69/106.16	c (94,0) x[25][6] = 0
116.69/106.16	c (94,0) x[25][7] = 6
116.69/106.16	c (94,0) x[25][8] = 27
116.69/106.16	c (94,0) x[25][9] = 22
116.69/106.16	c (94,0) x[25][10] = 23
116.69/106.16	c (94,0) x[25][11] = 3
116.69/106.16	c (94,0) x[25][12] = 12
116.69/106.16	c (94,0) x[25][13] = 28
116.69/106.16	c (94,0) x[25][14] = 14
116.69/106.16	c (94,0) x[25][15] = 1
116.69/106.16	c (94,0) x[25][16] = 13
116.69/106.16	c (94,0) x[25][17] = 9
116.69/106.16	c (94,0) x[25][18] = 4
116.69/106.16	c (94,0) x[25][19] = 19
116.69/106.16	c (94,0) x[25][20] = 8
116.69/106.16	c (94,0) x[25][21] = 17
116.69/106.16	c (94,0) x[25][22] = 21
116.69/106.16	c (94,0) x[25][23] = 10
116.69/106.16	c (94,0) x[25][24] = 2
116.69/106.16	c (94,0) x[25][25] = 16
116.69/106.16	c (94,0) x[25][26] = 18
116.69/106.16	c (94,0) x[25][27] = 26
116.69/106.16	c (94,0) x[25][28] = 15
116.69/106.16	c (94,0) x[25][29] = 29
116.69/106.16	c (94,0) x[26][0] = 18
116.69/106.16	c (94,0) x[26][1] = 21
116.69/106.16	c (94,0) x[26][2] = 19
116.69/106.16	c (94,0) x[26][3] = 20
116.69/106.16	c (94,0) x[26][4] = 9
116.69/106.16	c (94,0) x[26][5] = 28
116.69/106.16	c (94,0) x[26][6] = 16
116.69/106.16	c (94,0) x[26][7] = 5
116.69/106.16	c (94,0) x[26][8] = 13
116.69/106.16	c (94,0) x[26][9] = 15
116.69/106.16	c (94,0) x[26][10] = 4
116.69/106.16	c (94,0) x[26][11] = 7
116.69/106.16	c (94,0) x[26][12] = 25
116.69/106.16	c (94,0) x[26][13] = 24
116.69/106.16	c (94,0) x[26][14] = 0
116.69/106.16	c (94,0) x[26][15] = 23
116.69/106.16	c (94,0) x[26][16] = 10
116.69/106.16	c (94,0) x[26][17] = 29
116.69/106.16	c (94,0) x[26][18] = 22
116.69/106.16	c (94,0) x[26][19] = 3
116.69/106.16	c (94,0) x[26][20] = 2
116.69/106.16	c (94,0) x[26][21] = 27
116.69/106.16	c (94,0) x[26][22] = 1
116.69/106.16	c (94,0) x[26][23] = 12
116.69/106.16	c (94,0) x[26][24] = 6
116.69/106.16	c (94,0) x[26][25] = 8
116.69/106.16	c (94,0) x[26][26] = 14
116.69/106.16	c (94,0) x[26][27] = 11
116.69/106.16	c (94,0) x[26][28] = 26
116.69/106.16	c (94,0) x[26][29] = 17
116.69/106.16	c (94,0) x[27][0] = 27
116.69/106.16	c (94,0) x[27][1] = 18
116.69/106.16	c (94,0) x[27][2] = 28
116.69/106.16	c (94,0) x[27][3] = 9
116.69/106.16	c (94,0) x[27][4] = 22
116.69/106.16	c (94,0) x[27][5] = 21
116.69/106.16	c (94,0) x[27][6] = 3
116.69/106.16	c (94,0) x[27][7] = 10
116.69/106.16	c (94,0) x[27][8] = 14
116.69/106.16	c (94,0) x[27][9] = 11
116.69/106.16	c (94,0) x[27][10] = 24
116.69/106.16	c (94,0) x[27][11] = 15
116.69/106.16	c (94,0) x[27][12] = 4
116.69/106.16	c (94,0) x[27][13] = 25
116.69/106.16	c (94,0) x[27][14] = 26
116.69/106.16	c (94,0) x[27][15] = 17
116.69/106.16	c (94,0) x[27][16] = 8
116.69/106.16	c (94,0) x[27][17] = 23
116.69/106.16	c (94,0) x[27][18] = 29
116.69/106.16	c (94,0) x[27][19] = 6
116.69/106.16	c (94,0) x[27][20] = 13
116.69/106.16	c (94,0) x[27][21] = 20
116.69/106.16	c (94,0) x[27][22] = 19
116.69/106.16	c (94,0) x[27][23] = 16
116.69/106.16	c (94,0) x[27][24] = 7
116.69/106.16	c (94,0) x[27][25] = 12
116.69/106.16	c (94,0) x[27][26] = 0
116.69/106.16	c (94,0) x[27][27] = 5
116.69/106.16	c (94,0) x[27][28] = 1
116.69/106.16	c (94,0) x[27][29] = 2
116.69/106.16	c (94,0) x[28][0] = 0
116.69/106.16	c (94,0) x[28][1] = 23
116.69/106.16	c (94,0) x[28][2] = 3
116.69/106.16	c (94,0) x[28][3] = 15
116.69/106.16	c (94,0) x[28][4] = 25
116.69/106.16	c (94,0) x[28][5] = 6
116.69/106.16	c (94,0) x[28][6] = 24
116.69/106.16	c (94,0) x[28][7] = 13
116.69/106.16	c (94,0) x[28][8] = 28
116.69/106.16	c (94,0) x[28][9] = 18
116.69/106.16	c (94,0) x[28][10] = 17
116.69/106.16	c (94,0) x[28][11] = 4
116.69/106.16	c (94,0) x[28][12] = 9
116.69/106.16	c (94,0) x[28][13] = 14
116.69/106.16	c (94,0) x[28][14] = 7
116.69/106.16	c (94,0) x[28][15] = 22
116.69/106.16	c (94,0) x[28][16] = 26
116.69/106.16	c (94,0) x[28][17] = 8
116.69/106.16	c (94,0) x[28][18] = 10
116.69/106.16	c (94,0) x[28][19] = 1
116.69/106.16	c (94,0) x[28][20] = 5
116.69/106.16	c (94,0) x[28][21] = 21
116.69/106.16	c (94,0) x[28][22] = 16
116.69/106.16	c (94,0) x[28][23] = 27
116.69/106.16	c (94,0) x[28][24] = 19
116.69/106.16	c (94,0) x[28][25] = 11
116.69/106.16	c (94,0) x[28][26] = 2
116.69/106.16	c (94,0) x[28][27] = 29
116.69/106.16	c (94,0) x[28][28] = 20
116.69/106.16	c (94,0) x[28][29] = 12
116.69/106.16	c (94,0) x[29][0] = 1
116.69/106.16	c (94,0) x[29][1] = 0
116.69/106.16	c (94,0) x[29][2] = 22
116.69/106.16	c (94,0) x[29][3] = 16
116.69/106.16	c (94,0) x[29][4] = 23
116.69/106.16	c (94,0) x[29][5] = 27
116.69/106.16	c (94,0) x[29][6] = 15
116.69/106.16	c (94,0) x[29][7] = 17
116.69/106.16	c (94,0) x[29][8] = 7
116.69/106.16	c (94,0) x[29][9] = 2
116.69/106.16	c (94,0) x[29][10] = 13
116.69/106.16	c (94,0) x[29][11] = 9
116.69/106.16	c (94,0) x[29][12] = 18
116.69/106.16	c (94,0) x[29][13] = 26
116.69/106.16	c (94,0) x[29][14] = 29
116.69/106.16	c (94,0) x[29][15] = 3
116.69/106.16	c (94,0) x[29][16] = 12
116.69/106.16	c (94,0) x[29][17] = 24
116.69/106.16	c (94,0) x[29][18] = 21
116.69/106.16	c (94,0) x[29][19] = 4
116.69/106.16	c (94,0) x[29][20] = 20
116.69/106.16	c (94,0) x[29][21] = 10
116.69/106.16	c (94,0) x[29][22] = 11
116.69/106.16	c (94,0) x[29][23] = 8
116.69/106.16	c (94,0) x[29][24] = 14
116.69/106.16	c (94,0) x[29][25] = 5
116.69/106.16	c (94,0) x[29][26] = 19
116.69/106.16	c (94,0) x[29][27] = 28
116.69/106.16	c (94,0) x[29][28] = 6
116.69/106.16	c (94,0) x[29][29] = 25
116.69/106.16	s SATISFIABLE
116.69/106.16	v <instantiation>
116.69/106.16	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29]</list>
116.69/106.16	v     <values>29 25 15 0 14 13 9 8 12 10 22 18 20 2 28 4 19 16 1 7 3 5 27 24 17 26 6 23 21 11 12 15 9 2 26 17 29 1 21 4 11 22 27 8 19 25 7 18 14 5 6 3 0 13 24 10 23 20 28 16 25 9 8 1 0 4 26 29 16 28 12 6 11 22 2 5 20 10 13 14 27 18 7 17 21 24 15 19 3 23 17 16 4 29 1 2 14 22 19 5 9 10 24 6 12 8 15 13 3 25 18 26 23 7 28 20 21 27 11 0 6 26 10 3 2 29 22 15 17 13 27 20 5 7 25 14 16 1 19 0 23 11 24 4 9 28 8 21 12 18 11 29 16 14 24 7 19 23 26 8 0 21 3 1 22 28 18 6 15 12 10 4 5 9 20 17 25 2 13 27 10 14 1 8 4 19 7 2 23 24 5 0 17 18 20 6 22 11 27 21 26 15 13 25 12 9 3 16 29 28 14 28 21 25 11 3 18 27 24 20 10 8 19 0 4 13 17 12 16 23 7 29 6 5 1 2 26 15 9 22 9 20 5 23 19 8 28 26 25 1 14 11 0 4 13 7 3 22 24 17 21 12 15 2 29 27 16 6 18 10 5 11 13 10 15 1 21 12 9 27 16 24 23 17 18 2 6 28 26 29 19 8 20 3 4 25 22 14 0 7 19 17 12 4 10 14 27 16 8 0 26 2 7 29 3 18 23 5 6 11 28 25 22 21 13 15 1 9 24 20 13 7 17 24 8 22 5 20 1 3 19 29 2 11 6 15 21 27 12 18 16 9 4 0 10 14 28 25 23 26 21 1 18 11 28 26 12 24 3 23 2 13 6 27 5 16 29 14 8 10 15 7 17 20 0 19 9 22 25 4 26 22 27 19 3 20 17 25 6 12 21 1 8 13 16 10 0 2 28 15 11 24 14 23 5 29 4 18 7 9 15 3 6 21 20 10 13 18 0 29 25 17 16 9 27 12 2 4 11 26 24 19 28 22 23 7 5 1 8 14 2 6 26 22 12 0 11 21 18 25 29 28 14 23 15 20 27 19 17 8 9 13 3 1 16 4 10 7 5 24 3 5 24 26 7 11 6 28 10 9 20 12 29 15 23 0 25 21 2 27 17 16 8 19 22 18 13 4 14 1 16 12 23 6 13 15 25 0 5 7 1 27 28 21 10 11 24 26 18 22 14 2 9 29 8 3 20 17 4 19 8 2 7 27 6 12 20 4 15 17 3 23 10 5 11 19 14 0 9 28 1 22 18 26 25 13 29 24 16 21 28 19 0 13 27 18 4 3 20 21 7 26 22 16 24 29 5 15 23 9 25 6 2 14 11 1 17 12 10 8 24 8 20 17 29 16 23 11 4 26 28 19 13 3 1 27 9 25 5 2 12 14 10 18 15 21 7 0 22 6 23 27 14 5 21 24 2 19 29 16 6 25 15 12 8 9 4 7 20 13 22 1 26 28 18 0 11 10 17 3 7 10 25 12 18 5 1 9 22 19 8 14 26 20 17 21 11 3 0 16 4 28 29 6 27 23 24 13 2 15 4 13 29 18 17 9 10 14 2 6 15 16 1 19 21 26 28 20 7 24 0 23 25 11 3 22 12 8 27 5 22 4 2 28 16 23 8 7 11 14 18 5 21 10 9 24 1 17 25 20 29 0 12 15 26 6 27 3 19 13 20 24 11 7 5 25 0 6 27 22 23 3 12 28 14 1 13 9 4 19 8 17 21 10 2 16 18 26 15 29 18 21 19 20 9 28 16 5 13 15 4 7 25 24 0 23 10 29 22 3 2 27 1 12 6 8 14 11 26 17 27 18 28 9 22 21 3 10 14 11 24 15 4 25 26 17 8 23 29 6 13 20 19 16 7 12 0 5 1 2 0 23 3 15 25 6 24 13 28 18 17 4 9 14 7 22 26 8 10 1 5 21 16 27 19 11 2 29 20 12 1 0 22 16 23 27 15 17 7 2 13 9 18 26 29 3 12 24 21 4 20 10 11 8 14 5 19 28 6 25</values>
116.69/106.16	v </instantiation>
116.69/106.16	c (94,0) Show results End
116.69/106.16	c (94,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
116.69/106.16	c (94,0) 94,94,STOP-AFTER(ALL)
116.69/106.16	c END-Prog: Thu Sep 12 16:10:17 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 (15077 MiB free)
  memory of node 1: 16384 MiB (14657 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100349 s]*
/proc/loadavg: 2.02 2.12 2.17 4/234 19184
/proc/meminfo: memFree=30389724/32770624 swapFree=66933008/67108860
[pid=19167] ppid=19164 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/19167/stat : 19167 (scop.sh) S 19164 19167 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406006421 115843072 349 33554432000 4194304 5098028 140729038774608 140729038771864 140221187015292 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28106752 140729038783331 140729038783600 140729038783600 140729038786509 0
/proc/19167/statm: 28282 349 296 221 0 87 0
[pid=19170] ppid=19167 vsize=15012696 memory=72264 CPUtime=0.12 cores=0,2,4,6
/proc/19170/stat : 19170 (java) S 19167 19167 12870 0 -1 1077944320 6829 0 0 0 10 2 0 0 20 0 15 0 406006422 15373000704 18066 33554432000 4194304 4196468 140728979256816 140728979239360 140081904021239 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
/proc/19170/statm: 3753174 18066 2940 1 0 3715579 0
[pid=19170/tid=19171] ppid=19167 vsize=15012696 memory=-6221015644179316679 CPUtime=0.09 cores=0,2,4,6
/proc/19170/task/19171/stat : 19171 (java) R 19167 19167 12870 0 -1 4202560 4634 0 0 0 8 1 0 0 20 0 15 0 406006422 15373000704 18066 33554432000 4194304 4196468 140728979256816 140081875815144 140081904033174 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19172] ppid=19167 vsize=15012696 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19172/stat : 19172 (java) S 19167 19167 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406006423 15373000704 18066 33554432000 4194304 4196468 140728979256816 140081908263824 140081904031445 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19173] ppid=19167 vsize=15012696 memory=140398415033984 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19173/stat : 19173 (java) S 19167 19167 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406006423 15373000704 18066 33554432000 4194304 4196468 140728979256816 140081707039504 140081904031445 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19174] ppid=19167 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19174/stat : 19174 (java) S 19167 19167 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406006423 15373000704 18066 33554432000 4194304 4196468 140728979256816 140081705987216 140081904031445 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19175] ppid=19167 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19175/stat : 19175 (java) S 19167 19167 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406006423 15373000704 18066 33554432000 4194304 4196468 140728979256816 140081704934416 140081904031445 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19176] ppid=19167 vsize=15012696 memory=140398415033984 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19176/stat : 19176 (java) S 19167 19167 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406006425 15373000704 18066 33554432000 4194304 4196468 140728979256816 140080739985520 140081904032386 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19177] ppid=19167 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19177/stat : 19177 (java) S 19167 19167 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406006425 15373000704 18066 33554432000 4194304 4196468 140728979256816 140080492569376 140081904031445 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19178] ppid=19167 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19178/stat : 19178 (java) S 19167 19167 12870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 406006425 15373000704 18066 33554432000 4194304 4196468 140728979256816 140080358347888 140081904031445 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19179] ppid=19167 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19179/stat : 19179 (java) S 19167 19167 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406006428 15373000704 18066 33554432000 4194304 4196468 140728979256816 140079983843408 140081904039835 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19180] ppid=19167 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19180/stat : 19180 (java) S 19167 19167 12870 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 406006428 15373000704 18066 33554432000 4194304 4196468 140728979256816 140080738933360 140081904032386 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19181] ppid=19167 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19181/stat : 19181 (java) S 19167 19167 12870 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 406006428 15373000704 18066 33554432000 4194304 4196468 140728979256816 140080737880560 140081904032386 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19182] ppid=19167 vsize=15012696 memory=140398415033984 CPUtime=0.01 cores=0,2,4,6
/proc/19170/task/19182/stat : 19182 (java) R 19167 19167 12870 0 -1 4202560 413 0 0 0 1 0 0 0 20 0 15 0 406006428 15373000704 18066 33554432000 4194304 4196468 140728979256816 140080736828272 140081904042586 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19183] ppid=19167 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19183/stat : 19183 (java) S 19167 19167 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406006428 15373000704 18066 33554432000 4194304 4196468 140728979256816 140079485938656 140081904031445 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19184] ppid=19167 vsize=15012696 memory=140398415033984 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19184/stat : 19184 (java) S 19167 19167 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406006428 15373000704 18066 33554432000 4194304 4196468 140728979256816 140080735775152 140081904032386 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 73660 KiB

[startup+0.21093 s]*
/proc/loadavg: 2.02 2.12 2.17 3/234 19184
/proc/meminfo: memFree=30371092/32770624 swapFree=66933008/67108860
[pid=19167] ppid=19164 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/19167/stat : 19167 (scop.sh) S 19164 19167 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406006421 115843072 349 33554432000 4194304 5098028 140729038774608 140729038771864 140221187015292 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28106752 140729038783331 140729038783600 140729038783600 140729038786509 0
/proc/19167/statm: 28282 349 296 221 0 87 0
[pid=19170] ppid=19167 vsize=15012696 memory=87380 CPUtime=0.25 cores=0,2,4,6
/proc/19170/stat : 19170 (java) S 19167 19167 12870 0 -1 1077944320 11883 0 0 0 21 4 0 0 20 0 15 0 406006422 15373000704 21845 33554432000 4194304 4196468 140728979256816 140728979239360 140081904021239 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
/proc/19170/statm: 3753174 21845 2968 1 0 3715579 0
[pid=19170/tid=19171] ppid=19167 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/19170/task/19171/stat : 19171 (java) R 19167 19167 12870 0 -1 4202560 9629 0 0 0 17 3 0 0 20 0 15 0 406006422 15373000704 21845 33554432000 4194304 4196468 140728979256816 140081875839648 140081904043165 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19172] ppid=19167 vsize=15012696 memory=343 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19172/stat : 19172 (java) S 19167 19167 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406006423 15373000704 21845 33554432000 4194304 4196468 140728979256816 140081908263824 140081904031445 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19173] ppid=19167 vsize=15012696 memory=288370774566745728 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19173/stat : 19173 (java) S 19167 19167 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406006423 15373000704 21845 33554432000 4194304 4196468 140728979256816 140081707039504 140081904031445 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19174] ppid=19167 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19174/stat : 19174 (java) S 19167 19167 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406006423 15373000704 21845 33554432000 4194304 4196468 140728979256816 140081705987216 140081904031445 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19175] ppid=19167 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19175/stat : 19175 (java) S 19167 19167 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406006423 15373000704 21845 33554432000 4194304 4196468 140728979256816 140081704934416 140081904031445 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19176] ppid=19167 vsize=15012696 memory=140398415033984 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19176/stat : 19176 (java) S 19167 19167 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406006425 15373000704 21845 33554432000 4194304 4196468 140728979256816 140080739985520 140081904032386 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19177] ppid=19167 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19177/stat : 19177 (java) S 19167 19167 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406006425 15373000704 21845 33554432000 4194304 4196468 140728979256816 140080492569376 140081904031445 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19178] ppid=19167 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19178/stat : 19178 (java) S 19167 19167 12870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 406006425 15373000704 21845 33554432000 4194304 4196468 140728979256816 140080358347888 140081904031445 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19179] ppid=19167 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19179/stat : 19179 (java) S 19167 19167 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406006428 15373000704 21845 33554432000 4194304 4196468 140728979256816 140079983843408 140081904039835 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19180] ppid=19167 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19180/stat : 19180 (java) S 19167 19167 12870 0 -1 1077944384 337 0 0 0 0 0 0 0 20 0 15 0 406006428 15373000704 21845 33554432000 4194304 4196468 140728979256816 140080738933360 140081904032386 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19181] ppid=19167 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19181/stat : 19181 (java) S 19167 19167 12870 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 15 0 406006428 15373000704 21845 33554432000 4194304 4196468 140728979256816 140080737880560 140081904032386 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19182] ppid=19167 vsize=15012696 memory=140398415033984 CPUtime=0.02 cores=0,2,4,6
/proc/19170/task/19182/stat : 19182 (java) S 19167 19167 12870 0 -1 1077944384 422 0 0 0 2 0 0 0 20 0 15 0 406006428 15373000704 21845 33554432000 4194304 4196468 140728979256816 140080736828272 140081904032386 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19183] ppid=19167 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19183/stat : 19183 (java) S 19167 19167 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406006428 15373000704 21845 33554432000 4194304 4196468 140728979256816 140079485938656 140081904031445 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19184] ppid=19167 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19184/stat : 19184 (java) S 19167 19167 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406006428 15373000704 21845 33554432000 4194304 4196468 140728979256816 140080735775152 140081904032386 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 88776 KiB

[startup+0.31068 s]*
/proc/loadavg: 2.02 2.12 2.17 3/234 19184
/proc/meminfo: memFree=30368176/32770624 swapFree=66933008/67108860
[pid=19167] ppid=19164 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/19167/stat : 19167 (scop.sh) S 19164 19167 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406006421 115843072 349 33554432000 4194304 5098028 140729038774608 140729038771864 140221187015292 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28106752 140729038783331 140729038783600 140729038783600 140729038786509 0
/proc/19167/statm: 28282 349 296 221 0 87 0
[pid=19170] ppid=19167 vsize=15012696 memory=90728 CPUtime=0.42 cores=0,2,4,6
/proc/19170/stat : 19170 (java) S 19167 19167 12870 0 -1 1077944320 12717 0 0 0 38 4 0 0 20 0 15 0 406006422 15373000704 22682 33554432000 4194304 4196468 140728979256816 140728979239360 140081904021239 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
/proc/19170/statm: 3753174 22682 3058 1 0 3715579 0
[pid=19170/tid=19171] ppid=19167 vsize=15012696 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/19170/task/19171/stat : 19171 (java) R 19167 19167 12870 0 -1 4202560 10302 0 0 0 26 3 0 0 20 0 15 0 406006422 15373000704 22682 33554432000 4194304 4196468 140728979256816 140081875833584 140081887208048 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19172] ppid=19167 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19172/stat : 19172 (java) S 19167 19167 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406006423 15373000704 22682 33554432000 4194304 4196468 140728979256816 140081908263824 140081904031445 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19173] ppid=19167 vsize=15012696 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19173/stat : 19173 (java) S 19167 19167 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406006423 15373000704 22682 33554432000 4194304 4196468 140728979256816 140081707039504 140081904031445 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19174] ppid=19167 vsize=15012696 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19174/stat : 19174 (java) S 19167 19167 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406006423 15373000704 22682 33554432000 4194304 4196468 140728979256816 140081705987216 140081904031445 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19175] ppid=19167 vsize=15012696 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19175/stat : 19175 (java) S 19167 19167 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406006423 15373000704 22682 33554432000 4194304 4196468 140728979256816 140081704934416 140081904031445 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19176] ppid=19167 vsize=15012696 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19176/stat : 19176 (java) S 19167 19167 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406006425 15373000704 22682 33554432000 4194304 4196468 140728979256816 140080739985520 140081904032386 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19177] ppid=19167 vsize=15012696 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19177/stat : 19177 (java) S 19167 19167 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406006425 15373000704 22682 33554432000 4194304 4196468 140728979256816 140080492569376 140081904031445 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19178] ppid=19167 vsize=15012696 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19178/stat : 19178 (java) S 19167 19167 12870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 406006425 15373000704 22682 33554432000 4194304 4196468 140728979256816 140080358347888 140081904031445 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19179] ppid=19167 vsize=15012696 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19179/stat : 19179 (java) S 19167 19167 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406006428 15373000704 22682 33554432000 4194304 4196468 140728979256816 140079983843408 140081904039835 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19180] ppid=19167 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/19170/task/19180/stat : 19180 (java) S 19167 19167 12870 0 -1 1077944384 427 0 0 0 2 0 0 0 20 0 15 0 406006428 15373000704 22682 33554432000 4194304 4196468 140728979256816 140080738933360 140081904032386 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19181] ppid=19167 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/19170/task/19181/stat : 19181 (java) S 19167 19167 12870 0 -1 1077944384 200 0 0 0 1 0 0 0 20 0 15 0 406006428 15373000704 22682 33554432000 4194304 4196468 140728979256816 140080737880560 140081904032386 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19182] ppid=19167 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19170/task/19182/stat : 19182 (java) S 19167 19167 12870 0 -1 1077944384 441 0 0 0 7 0 0 0 20 0 15 0 406006428 15373000704 22682 33554432000 4194304 4196468 140728979256816 140080736828272 140081904032386 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19183] ppid=19167 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19183/stat : 19183 (java) S 19167 19167 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406006428 15373000704 22682 33554432000 4194304 4196468 140728979256816 140079485938656 140081904031445 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19184] ppid=19167 vsize=15012696 memory=3761410793958088753 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19184/stat : 19184 (java) S 19167 19167 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406006428 15373000704 22682 33554432000 4194304 4196468 140728979256816 140080735775152 140081904032386 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 92124 KiB

[startup+0.704498 s]
/proc/loadavg: 2.02 2.12 2.17 3/234 19184
/proc/meminfo: memFree=30347408/32770624 swapFree=66933008/67108860
[pid=19167] ppid=19164 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/19167/stat : 19167 (scop.sh) S 19164 19167 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406006421 115843072 349 33554432000 4194304 5098028 140729038774608 140729038771864 140221187015292 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28106752 140729038783331 140729038783600 140729038783600 140729038786509 0
/proc/19167/statm: 28282 349 296 221 0 87 0
[pid=19170] ppid=19167 vsize=15021092 memory=128504 CPUtime=1 cores=0,2,4,6
/proc/19170/stat : 19170 (java) S 19167 19167 12870 0 -1 1077944320 20007 0 0 0 93 7 0 0 20 0 15 0 406006422 15381598208 32126 33554432000 4194304 4196468 140728979256816 140728979239360 140081904021239 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
/proc/19170/statm: 3755273 32126 3202 1 0 3716603 0
[pid=19170/tid=19171] ppid=19167 vsize=15021092 memory=2372 CPUtime=0.68 cores=0,2,4,6
/proc/19170/task/19171/stat : 19171 (java) R 19167 19167 12870 0 -1 4202560 17067 0 0 0 62 6 0 0 20 0 15 0 406006422 15381598208 32126 33554432000 4194304 4196468 140728979256816 140081875833504 140081904033174 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19172] ppid=19167 vsize=15021092 memory=116 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19172/stat : 19172 (java) S 19167 19167 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406006423 15381598208 32126 33554432000 4194304 4196468 140728979256816 140081908263824 140081904031445 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19173] ppid=19167 vsize=15021092 memory=2958609 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19173/stat : 19173 (java) S 19167 19167 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406006423 15381598208 32126 33554432000 4194304 4196468 140728979256816 140081707039504 140081904031445 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19174] ppid=19167 vsize=15021092 memory=2965990 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19174/stat : 19174 (java) S 19167 19167 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406006423 15381598208 32126 33554432000 4194304 4196468 140728979256816 140081705987216 140081904031445 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19175] ppid=19167 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19175/stat : 19175 (java) S 19167 19167 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406006423 15381598208 32126 33554432000 4194304 4196468 140728979256816 140081704934416 140081904031445 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19176] ppid=19167 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19176/stat : 19176 (java) S 19167 19167 12870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 406006425 15381598208 32126 33554432000 4194304 4196468 140728979256816 140080739985520 140081904032386 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19177] ppid=19167 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19177/stat : 19177 (java) S 19167 19167 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406006425 15381598208 32126 33554432000 4194304 4196468 140728979256816 140080492569376 140081904031445 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19178] ppid=19167 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19178/stat : 19178 (java) S 19167 19167 12870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 406006425 15381598208 32126 33554432000 4194304 4196468 140728979256816 140080358347888 140081904031445 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19179] ppid=19167 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19179/stat : 19179 (java) S 19167 19167 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406006428 15381598208 32126 33554432000 4194304 4196468 140728979256816 140079983843408 140081904039835 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19180] ppid=19167 vsize=15021092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19170/task/19180/stat : 19180 (java) R 19167 19167 12870 0 -1 4202560 615 0 0 0 9 0 0 0 20 0 15 0 406006428 15381598208 32126 33554432000 4194304 4196468 140728979256816 140080738933360 140081883714339 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19181] ppid=19167 vsize=15021092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19170/task/19181/stat : 19181 (java) R 19167 19167 12870 0 -1 4202560 433 0 0 0 7 0 0 0 20 0 15 0 406006428 15381598208 32126 33554432000 4194304 4196468 140728979256816 140080737880656 140081888417633 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19182] ppid=19167 vsize=15021092 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/19170/task/19182/stat : 19182 (java) R 19167 19167 12870 0 -1 1077944384 539 0 0 0 14 0 0 0 20 0 15 0 406006428 15381598208 32126 33554432000 4194304 4196468 140728979256816 140080736828272 140081904032386 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19183] ppid=19167 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19183/stat : 19183 (java) S 19167 19167 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406006428 15381598208 32126 33554432000 4194304 4196468 140728979256816 140079485938656 140081904031445 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
[pid=19170/tid=19184] ppid=19167 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19170/task/19184/stat : 19184 (java) S 19167 19167 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406006428 15381598208 32126 33554432000 4194304 4196468 140728979256816 140080735775152 140081904032386 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26247168 140728979260201 140728979260570 140728979260570 140728979263439 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 129900 KiB

[startup+1.50079 s]
/proc/loadavg: 2.02 2.12 2.17 5/234 19184
/proc/meminfo: memFree=30320032/32770624 swapFree=66933008/67108860
[pid=19167] ppid=19164 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/19167/stat : 19167 (scop.sh) S 19164 19167 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406006421 115843072 349 33554432000 4194304 5098028 140729038774608 140729038771864 140221187015292 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28106752 140729038783331 140729038783600 140729038783600 140729038786509 0
/proc/19167/statm: 28282 349 296 221 0 87 0

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

[pid=19185/tid=19197] ppid=19167 vsize=8068440 memory=808 CPUtime=0.24 cores=0,2,4,6
/proc/19185/task/19197/stat : 19197 (java) S 19167 19167 12870 0 -1 1077944384 1070 0 0 0 24 0 0 0 20 0 19 0 406007544 8262082560 30261 33554432000 4194304 4196468 140720749296336 140246269381104 140246960388738 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19198] ppid=19167 vsize=8068440 memory=1772 CPUtime=0 cores=0,2,4,6
/proc/19185/task/19198/stat : 19198 (java) S 19167 19167 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406007544 8262082560 30261 33554432000 4194304 4196468 140720749296336 140244640852832 140246960387797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19199] ppid=19167 vsize=8068440 memory=111632 CPUtime=0.05 cores=0,2,4,6
/proc/19185/task/19199/stat : 19199 (java) S 19167 19167 12870 0 -1 1077944384 7 0 0 0 2 3 0 0 20 0 19 0 406007545 8262082560 30261 33554432000 4194304 4196468 140720749296336 140246268328496 140246960388738 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19201] ppid=19167 vsize=8068440 memory=804 CPUtime=0 cores=0,2,4,6
/proc/19185/task/19201/stat : 19201 (java) S 19167 19167 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406007616 8262082560 30261 33554432000 4194304 4196468 140720749296336 140246260294976 140246960402201 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19203] ppid=19167 vsize=8068440 memory=1656 CPUtime=0.02 cores=0,2,4,6
/proc/19185/task/19203/stat : 19203 (java) S 19167 19167 12870 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 19 0 406007616 8262082560 30261 33554432000 4194304 4196468 140720749296336 140244103966096 140246960399517 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19204] ppid=19167 vsize=8068440 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/19185/task/19204/stat : 19204 (java) S 19167 19167 12870 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 406007616 8262082560 30261 33554432000 4194304 4196468 140720749296336 140244238188592 140246960399517 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19205] ppid=19167 vsize=8068440 memory=916 CPUtime=0 cores=0,2,4,6
/proc/19185/task/19205/stat : 19205 (java) S 19167 19167 12870 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 406007618 8262082560 30261 33554432000 4194304 4196468 140720749296336 140243835543344 140246960387797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
Current children cumulated CPU time: 114.68 s
Current children cumulated vsize: 8280588 KiB
Current children cumulated memory: 198576 KiB

[startup+105.601 s]
/proc/loadavg: 1.99 2.07 2.14 3/239 19219
/proc/meminfo: memFree=30257980/32770624 swapFree=66933016/67108860
[pid=19167] ppid=19164 vsize=113128 memory=1476 CPUtime=20.42 cores=0,2,4,6
/proc/19167/stat : 19167 (scop.sh) S 19164 19167 12870 0 -1 4202496 582 32264 0 0 0 0 1968 74 20 0 1 0 406006421 115843072 369 33554432000 4194304 5098028 140729038774608 140729038771352 140221187015292 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28106752 140729038783331 140729038783600 140729038783600 140729038786509 0
/proc/19167/statm: 28282 369 311 221 0 87 0
[pid=19185] ppid=19167 vsize=8068440 memory=121044 CPUtime=1.43 cores=0,2,4,6
/proc/19185/stat : 19185 (java) S 19167 19167 12870 0 -1 1077944320 21230 0 0 0 133 10 0 0 20 0 19 0 406007538 8262082560 30261 33554432000 4194304 4196468 140720749296336 140720749278880 140246960377591 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
/proc/19185/statm: 2017110 30261 3211 1 0 1978454 0
[pid=19200] ppid=19185 vsize=99020 memory=76056 CPUtime=93.63 cores=0,2,4,6
/proc/19200/stat : 19200 (cryptominisat5) R 19185 19167 12870 0 -1 4202496 65593 0 0 0 9354 9 0 0 20 0 1 0 406007615 101396480 19014 33554432000 4194304 4451008 140724431909104 140724431905032 140330761594692 0 4 0 2 0 0 0 17 4 0 0 0 0 0 6549032 6559120 24547328 140724431913916 140724431914048 140724431914048 140724431916998 0
/proc/19200/statm: 24755 19014 745 63 0 18482 0
[pid=19185/tid=19186] ppid=19167 vsize=8068440 memory=14008 CPUtime=0.8 cores=0,2,4,6
/proc/19185/task/19186/stat : 19186 (java) S 19167 19167 12870 0 -1 1077944384 17371 0 0 0 74 6 0 0 20 0 19 0 406007538 8262082560 30261 33554432000 4194304 4196468 140720749296336 140246932217760 140246960387797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19187] ppid=19167 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/19185/task/19187/stat : 19187 (java) S 19167 19167 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406007539 8262082560 30261 33554432000 4194304 4196468 140720749296336 140246964620304 140246960387797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19188] ppid=19167 vsize=8068440 memory=121044 CPUtime=0 cores=0,2,4,6
/proc/19185/task/19188/stat : 19188 (java) S 19167 19167 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406007539 8262082560 30261 33554432000 4194304 4196468 140720749296336 140246445096080 140246960387797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19189] ppid=19167 vsize=8068440 memory=76056 CPUtime=0 cores=0,2,4,6
/proc/19185/task/19189/stat : 19189 (java) S 19167 19167 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406007540 8262082560 30261 33554432000 4194304 4196468 140720749296336 140246444043024 140246960387797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19190] ppid=19167 vsize=8068440 memory=1656 CPUtime=0 cores=0,2,4,6
/proc/19185/task/19190/stat : 19190 (java) S 19167 19167 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406007540 8262082560 30261 33554432000 4194304 4196468 140720749296336 140246442990480 140246960387797 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19191] ppid=19167 vsize=8068440 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/19185/task/19191/stat : 19191 (java) S 19167 19167 12870 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 406007541 8262082560 30261 33554432000 4194304 4196468 140720749296336 140246272538864 140246960388738 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19192] ppid=19167 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19185/task/19192/stat : 19192 (java) S 19167 19167 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 406007541 8262082560 30261 33554432000 4194304 4196468 140720749296336 140245781701792 140246960387797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19193] ppid=19167 vsize=8068440 memory=140402480907130 CPUtime=0 cores=0,2,4,6
/proc/19185/task/19193/stat : 19193 (java) S 19167 19167 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406007542 8262082560 30261 33554432000 4194304 4196468 140720749296336 140245513265904 140246960387797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19194] ppid=19167 vsize=8068440 memory=140402480907131 CPUtime=0 cores=0,2,4,6
/proc/19185/task/19194/stat : 19194 (java) S 19167 19167 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406007544 8262082560 30261 33554432000 4194304 4196468 140720749296336 140245138757584 140246960396187 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19195] ppid=19167 vsize=8068440 memory=140402480907134 CPUtime=0.13 cores=0,2,4,6
/proc/19185/task/19195/stat : 19195 (java) S 19167 19167 12870 0 -1 1077944384 656 0 0 0 13 0 0 0 20 0 19 0 406007544 8262082560 30261 33554432000 4194304 4196468 140720749296336 140246271486704 140246960388738 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19196] ppid=19167 vsize=8068440 memory=140402480907197 CPUtime=0.14 cores=0,2,4,6
/proc/19185/task/19196/stat : 19196 (java) S 19167 19167 12870 0 -1 1077944384 708 0 0 0 14 0 0 0 20 0 19 0 406007544 8262082560 30261 33554432000 4194304 4196468 140720749296336 140246270434160 140246960388738 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19197] ppid=19167 vsize=8068440 memory=140402480907200 CPUtime=0.24 cores=0,2,4,6
/proc/19185/task/19197/stat : 19197 (java) S 19167 19167 12870 0 -1 1077944384 1070 0 0 0 24 0 0 0 20 0 19 0 406007544 8262082560 30261 33554432000 4194304 4196468 140720749296336 140246269381104 140246960388738 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19198] ppid=19167 vsize=8068440 memory=76056 CPUtime=0 cores=0,2,4,6
/proc/19185/task/19198/stat : 19198 (java) S 19167 19167 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406007544 8262082560 30261 33554432000 4194304 4196468 140720749296336 140244640852832 140246960387797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19199] ppid=19167 vsize=8068440 memory=301741412096147765 CPUtime=0.05 cores=0,2,4,6
/proc/19185/task/19199/stat : 19199 (java) S 19167 19167 12870 0 -1 1077944384 9 0 0 0 2 3 0 0 20 0 19 0 406007545 8262082560 30261 33554432000 4194304 4196468 140720749296336 140246268328496 140246960388738 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19201] ppid=19167 vsize=8068440 memory=14697383204226480 CPUtime=0 cores=0,2,4,6
/proc/19185/task/19201/stat : 19201 (java) S 19167 19167 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406007616 8262082560 30261 33554432000 4194304 4196468 140720749296336 140246260294976 140246960402201 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19203] ppid=19167 vsize=8068440 memory=648008 CPUtime=0.02 cores=0,2,4,6
/proc/19185/task/19203/stat : 19203 (java) S 19167 19167 12870 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 19 0 406007616 8262082560 30261 33554432000 4194304 4196468 140720749296336 140244103966096 140246960399517 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19204] ppid=19167 vsize=8068440 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/19185/task/19204/stat : 19204 (java) S 19167 19167 12870 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 406007616 8262082560 30261 33554432000 4194304 4196468 140720749296336 140244238188592 140246960399517 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19205] ppid=19167 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/19185/task/19205/stat : 19205 (java) S 19167 19167 12870 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 406007618 8262082560 30261 33554432000 4194304 4196468 140720749296336 140243835543344 140246960387797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
Current children cumulated CPU time: 115.48 s
Current children cumulated vsize: 8280588 KiB
Current children cumulated memory: 198576 KiB

[startup+106.006 s]*
/proc/loadavg: 1.99 2.07 2.14 6/236 19219
/proc/meminfo: memFree=30298916/32770624 swapFree=66933016/67108860
[pid=19167] ppid=19164 vsize=113128 memory=1476 CPUtime=20.42 cores=0,2,4,6
/proc/19167/stat : 19167 (scop.sh) S 19164 19167 12870 0 -1 4202496 582 32264 0 0 0 0 1968 74 20 0 1 0 406006421 115843072 369 33554432000 4194304 5098028 140729038774608 140729038771352 140221187015292 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28106752 140729038783331 140729038783600 140729038783600 140729038786509 0
/proc/19167/statm: 28282 369 311 221 0 87 0
[pid=19185] ppid=19167 vsize=7937364 memory=157540 CPUtime=95.94 cores=0,2,4,6
/proc/19185/stat : 19185 (java) S 19167 19167 12870 0 -1 1077944320 24859 65971 0 0 199 11 9375 9 20 0 17 0 406007538 8127860736 39385 33554432000 4194304 4196468 140720749296336 140720749278880 140246960377591 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
/proc/19185/statm: 1984341 39385 3235 1 0 1945685 0
[pid=19185/tid=19186] ppid=19167 vsize=7937364 memory=6791534058613427641 CPUtime=94.72 cores=0,2,4,6
/proc/19185/task/19186/stat : 19186 (java) R 19167 19167 12870 0 -1 4202560 17547 65971 0 0 82 6 9375 9 20 0 17 0 406007538 8127860736 39440 33554432000 4194304 4196468 140720749296336 140246932216304 140246463160057 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19187] ppid=19167 vsize=7937364 memory=4126316290023845779 CPUtime=93.84 cores=0,2,4,6
/proc/19185/task/19187/stat : 19187 (java) S 19167 19167 12870 0 -1 1077944384 2 65971 0 0 0 0 9375 9 20 0 17 0 406007539 8127860736 39440 33554432000 4194304 4196468 140720749296336 140246964620304 140246960387797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19188] ppid=19167 vsize=7937364 memory=1440 CPUtime=93.84 cores=0,2,4,6
/proc/19185/task/19188/stat : 19188 (java) S 19167 19167 12870 0 -1 1077944384 1 65971 0 0 0 0 9375 9 20 0 17 0 406007539 8127860736 39440 33554432000 4194304 4196468 140720749296336 140246445096080 140246960387797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19189] ppid=19167 vsize=7937364 memory=808 CPUtime=93.84 cores=0,2,4,6
/proc/19185/task/19189/stat : 19189 (java) S 19167 19167 12870 0 -1 1077944384 1 65971 0 0 0 0 9375 9 20 0 17 0 406007540 8127860736 39440 33554432000 4194304 4196468 140720749296336 140246444043024 140246960387797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19190] ppid=19167 vsize=7937364 memory=1772 CPUtime=93.84 cores=0,2,4,6
/proc/19185/task/19190/stat : 19190 (java) S 19167 19167 12870 0 -1 1077944384 1 65971 0 0 0 0 9375 9 20 0 17 0 406007540 8127860736 39440 33554432000 4194304 4196468 140720749296336 140246442990480 140246960387797 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19191] ppid=19167 vsize=7937364 memory=111632 CPUtime=93.84 cores=0,2,4,6
/proc/19185/task/19191/stat : 19191 (java) S 19167 19167 12870 0 -1 1077944384 7 65971 0 0 0 0 9375 9 20 0 17 0 406007541 8127860736 39440 33554432000 4194304 4196468 140720749296336 140246272538864 140246960388738 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19192] ppid=19167 vsize=7937364 memory=804 CPUtime=93.84 cores=0,2,4,6
/proc/19185/task/19192/stat : 19192 (java) S 19167 19167 12870 0 -1 1077944384 13 65971 0 0 0 0 9375 9 20 0 17 0 406007541 8127860736 39440 33554432000 4194304 4196468 140720749296336 140245781701792 140246960387797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19193] ppid=19167 vsize=7937364 memory=1656 CPUtime=93.84 cores=0,2,4,6
/proc/19185/task/19193/stat : 19193 (java) S 19167 19167 12870 0 -1 1077944384 1 65971 0 0 0 0 9375 9 20 0 17 0 406007542 8127860736 39440 33554432000 4194304 4196468 140720749296336 140245513265904 140246960387797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19194] ppid=19167 vsize=7937364 memory=1804 CPUtime=93.84 cores=0,2,4,6
/proc/19185/task/19194/stat : 19194 (java) S 19167 19167 12870 0 -1 1077944384 3 65971 0 0 0 0 9375 9 20 0 17 0 406007544 8127860736 39440 33554432000 4194304 4196468 140720749296336 140245138757584 140246960396187 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19195] ppid=19167 vsize=7937364 memory=916 CPUtime=94.15 cores=0,2,4,6
/proc/19185/task/19195/stat : 19195 (java) R 19167 19167 12870 0 -1 4202560 2500 65971 0 0 31 0 9375 9 20 0 17 0 406007544 8127860736 39440 33554432000 4194304 4196468 140720749296336 140246271472728 140246941898991 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19196] ppid=19167 vsize=7937364 memory=3848 CPUtime=94.13 cores=0,2,4,6
/proc/19185/task/19196/stat : 19196 (java) R 19167 19167 12870 0 -1 1077944384 1171 65971 0 0 29 0 9375 9 20 0 17 0 406007544 8127860736 39440 33554432000 4194304 4196468 140720749296336 140246270420480 140246960387797 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19197] ppid=19167 vsize=7937364 memory=3404 CPUtime=94.19 cores=0,2,4,6
/proc/19185/task/19197/stat : 19197 (java) R 19167 19167 12870 0 -1 4202560 1610 65971 0 0 35 0 9375 9 20 0 17 0 406007544 8127860736 39440 33554432000 4194304 4196468 140720749296336 140246269374032 140246941787741 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19198] ppid=19167 vsize=7937364 memory=2844 CPUtime=93.84 cores=0,2,4,6
/proc/19185/task/19198/stat : 19198 (java) S 19167 19167 12870 0 -1 1077944384 3 65971 0 0 0 0 9375 9 20 0 17 0 406007544 8127860736 39440 33554432000 4194304 4196468 140720749296336 140244640852832 140246960387797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19199] ppid=19167 vsize=7937364 memory=33 CPUtime=93.89 cores=0,2,4,6
/proc/19185/task/19199/stat : 19199 (java) S 19167 19167 12870 0 -1 1077944384 9 65971 0 0 2 3 9375 9 20 0 17 0 406007545 8127860736 39440 33554432000 4194304 4196468 140720749296336 140246268328496 140246960388738 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19201] ppid=19167 vsize=7937364 memory=5859535235326444939 CPUtime=93.84 cores=0,2,4,6
/proc/19185/task/19201/stat : 19201 (java) S 19167 19167 12870 0 -1 1077944384 35 65971 0 0 0 0 9375 9 20 0 17 0 406007616 8127860736 39440 33554432000 4194304 4196468 140720749296336 140246260294160 140246960388738 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19205] ppid=19167 vsize=7937364 memory=-8961168018402230209 CPUtime=93.84 cores=0,2,4,6
/proc/19185/task/19205/stat : 19205 (java) S 19167 19167 12870 0 -1 1077944384 14 65971 0 0 0 0 9375 9 20 0 17 0 406007618 8127860736 39440 33554432000 4194304 4196468 140720749296336 140243835545136 140246960388738 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
Current children cumulated CPU time: 116.36 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 159016 KiB

[startup+106.115 s]
/proc/loadavg: 1.99 2.07 2.14 6/236 19219
/proc/meminfo: memFree=30298916/32770624 swapFree=66933016/67108860
[pid=19167] ppid=19164 vsize=113128 memory=1476 CPUtime=20.42 cores=0,2,4,6
/proc/19167/stat : 19167 (scop.sh) S 19164 19167 12870 0 -1 4202496 582 32264 0 0 0 0 1968 74 20 0 1 0 406006421 115843072 369 33554432000 4194304 5098028 140729038774608 140729038771352 140221187015292 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28106752 140729038783331 140729038783600 140729038783600 140729038786509 0
/proc/19167/statm: 28282 369 311 221 0 87 0
[pid=19185] ppid=19167 vsize=7937364 memory=168832 CPUtime=96.27 cores=0,2,4,6
/proc/19185/stat : 19185 (java) S 19167 19167 12870 0 -1 1077944320 26079 65971 0 0 231 12 9375 9 20 0 17 0 406007538 8127860736 42208 33554432000 4194304 4196468 140720749296336 140720749278880 140246960377591 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
/proc/19185/statm: 1984341 42208 3236 1 0 1945685 0
[pid=19185/tid=19186] ppid=19167 vsize=7937364 memory=65912 CPUtime=94.81 cores=0,2,4,6
/proc/19185/task/19186/stat : 19186 (java) R 19167 19167 12870 0 -1 4202560 17673 65971 0 0 91 6 9375 9 20 0 17 0 406007538 8127860736 42208 33554432000 4194304 4196468 140720749296336 140246932212592 140246944421221 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19187] ppid=19167 vsize=7937364 memory=1476 CPUtime=93.84 cores=0,2,4,6
/proc/19185/task/19187/stat : 19187 (java) S 19167 19167 12870 0 -1 1077944384 2 65971 0 0 0 0 9375 9 20 0 17 0 406007539 8127860736 42208 33554432000 4194304 4196468 140720749296336 140246964620304 140246960387797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19188] ppid=19167 vsize=7937364 memory=121044 CPUtime=93.84 cores=0,2,4,6
/proc/19185/task/19188/stat : 19188 (java) S 19167 19167 12870 0 -1 1077944384 1 65971 0 0 0 0 9375 9 20 0 17 0 406007539 8127860736 42208 33554432000 4194304 4196468 140720749296336 140246445096080 140246960387797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19189] ppid=19167 vsize=7937364 memory=1476 CPUtime=93.84 cores=0,2,4,6
/proc/19185/task/19189/stat : 19189 (java) S 19167 19167 12870 0 -1 1077944384 1 65971 0 0 0 0 9375 9 20 0 17 0 406007540 8127860736 42208 33554432000 4194304 4196468 140720749296336 140246444043024 140246960387797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19190] ppid=19167 vsize=7937364 memory=134508 CPUtime=93.84 cores=0,2,4,6
/proc/19185/task/19190/stat : 19190 (java) S 19167 19167 12870 0 -1 1077944384 1 65971 0 0 0 0 9375 9 20 0 17 0 406007540 8127860736 42208 33554432000 4194304 4196468 140720749296336 140246442990480 140246960387797 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19191] ppid=19167 vsize=7937364 memory=1476 CPUtime=93.84 cores=0,2,4,6
/proc/19185/task/19191/stat : 19191 (java) S 19167 19167 12870 0 -1 1077944384 7 65971 0 0 0 0 9375 9 20 0 17 0 406007541 8127860736 42208 33554432000 4194304 4196468 140720749296336 140246272538864 140246960388738 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19192] ppid=19167 vsize=7937364 memory=3848 CPUtime=93.84 cores=0,2,4,6
/proc/19185/task/19192/stat : 19192 (java) S 19167 19167 12870 0 -1 1077944384 13 65971 0 0 0 0 9375 9 20 0 17 0 406007541 8127860736 42208 33554432000 4194304 4196468 140720749296336 140245781701792 140246960387797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19193] ppid=19167 vsize=7937364 memory=0 CPUtime=93.84 cores=0,2,4,6
/proc/19185/task/19193/stat : 19193 (java) S 19167 19167 12870 0 -1 1077944384 1 65971 0 0 0 0 9375 9 20 0 17 0 406007542 8127860736 42208 33554432000 4194304 4196468 140720749296336 140245513265904 140246960387797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19194] ppid=19167 vsize=7937364 memory=0 CPUtime=93.84 cores=0,2,4,6
/proc/19185/task/19194/stat : 19194 (java) S 19167 19167 12870 0 -1 1077944384 3 65971 0 0 0 0 9375 9 20 0 17 0 406007544 8127860736 42208 33554432000 4194304 4196468 140720749296336 140245138757584 140246960396187 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19195] ppid=19167 vsize=7937364 memory=0 CPUtime=94.25 cores=0,2,4,6
/proc/19185/task/19195/stat : 19195 (java) R 19167 19167 12870 0 -1 4202560 2925 65971 0 0 41 0 9375 9 20 0 17 0 406007544 8127860736 42208 33554432000 4194304 4196468 140720749296336 140246271471776 140246945504001 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19196] ppid=19167 vsize=7937364 memory=120912 CPUtime=94.21 cores=0,2,4,6
/proc/19185/task/19196/stat : 19196 (java) R 19167 19167 12870 0 -1 4202560 1495 65971 0 0 36 1 9375 9 20 0 17 0 406007544 8127860736 42208 33554432000 4194304 4196468 140720749296336 140246270420704 140246941922256 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19197] ppid=19167 vsize=7937364 memory=65824 CPUtime=94.25 cores=0,2,4,6
/proc/19185/task/19197/stat : 19197 (java) S 19167 19167 12870 0 -1 1077944384 1953 65971 0 0 41 0 9375 9 20 0 17 0 406007544 8127860736 42208 33554432000 4194304 4196468 140720749296336 140246269381104 140246960388738 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19198] ppid=19167 vsize=7937364 memory=76056 CPUtime=93.84 cores=0,2,4,6
/proc/19185/task/19198/stat : 19198 (java) S 19167 19167 12870 0 -1 1077944384 3 65971 0 0 0 0 9375 9 20 0 17 0 406007544 8127860736 42208 33554432000 4194304 4196468 140720749296336 140244640852832 140246960387797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19199] ppid=19167 vsize=7937364 memory=121044 CPUtime=93.89 cores=0,2,4,6
/proc/19185/task/19199/stat : 19199 (java) S 19167 19167 12870 0 -1 1077944384 9 65971 0 0 2 3 9375 9 20 0 17 0 406007545 8127860736 42208 33554432000 4194304 4196468 140720749296336 140246268328496 140246960388738 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19201] ppid=19167 vsize=7937364 memory=74008 CPUtime=93.84 cores=0,2,4,6
/proc/19185/task/19201/stat : 19201 (java) S 19167 19167 12870 0 -1 1077944384 35 65971 0 0 0 0 9375 9 20 0 17 0 406007616 8127860736 42208 33554432000 4194304 4196468 140720749296336 140246260294160 140246960388738 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
[pid=19185/tid=19205] ppid=19167 vsize=7937364 memory=1476 CPUtime=93.84 cores=0,2,4,6
/proc/19185/task/19205/stat : 19205 (java) S 19167 19167 12870 0 -1 1077944384 14 65971 0 0 0 0 9375 9 20 0 17 0 406007618 8127860736 42208 33554432000 4194304 4196468 140720749296336 140243835545136 140246960388738 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17104896 140720749298683 140720749298842 140720749298842 140720749301711 0
Current children cumulated CPU time: 116.69 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 170308 KiB

Child status: 0
Real time (s): 106.182
CPU time (s): 116.904
CPU user time (s): 115.913
CPU system time (s): 0.99089
CPU usage (%): 110.098
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 3132316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 115.913
system time used= 0.99089
maximum resident set size= 3130920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126460
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9722
involuntary context switches= 273


# summary of solver processes directly reported to runsolver:
#   pid: 19167
#   total CPU time (s): 116.904
#   total CPU user time (s): 115.913
#   total CPU system time (s): 0.99089

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.722425 second user time and 1.254 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-12 16:08:30
IDJOB=4388305
IDBENCH=138974
IDSOLVER=2826
FILE ID=node151/4388305-1568297349
RUNJOBID= node151-1568286070-13983
PBS_JOBID= 21701060
Free space on /tmp= 56432 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/LatinSquare/LatinSquare-m1-gp/qwh-o30-h374-07.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-4388305-1568297349/watcher-4388305-1568297349 -o /tmp/evaluation-result-4388305-1568297349/solver-4388305-1568297349 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568286070-13983 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388305-1568297349.xml

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

MD5SUM BENCH= cae06e42b01baa71e2bfd0e1b4deb8b1
RANDOM SEED=591620145

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30448992 kB
MemAvailable:   31100580 kB
Buffers:          113196 kB
Cached:           827060 kB
SwapCached:        73008 kB
Active:          1319172 kB
Inactive:         448508 kB
Active(anon):     762184 kB
Inactive(anon):    96264 kB
Active(file):     556988 kB
Inactive(file):   352244 kB
Unevictable:      111232 kB
Mlocked:          111232 kB
SwapTotal:      67108860 kB
SwapFree:       66933008 kB
Dirty:             20380 kB
Writeback:             0 kB
AnonPages:        862756 kB
Mapped:            46676 kB
Shmem:             22276 kB
Slab:             145008 kB
SReclaimable:     116380 kB
SUnreclaim:        28628 kB
KernelStack:        4080 kB
PageTables:         7136 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6670964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    233472 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 56412 MiB
End job on node151 at 2019-09-12 16:10:17