Trace number 4387963

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 201.898 183.843

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-80-07.xml
MD5SUM551365d3bcc7e6d8199baaf77d133a5e
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 benchmark53.4289
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1428
Number of domains2
Minimum domain size2
Maximum domain size24
Distribution of domain sizes[{"size":2,"count":1000},{"size":24,"count":200}]
Minimum variable degree2
Maximum variable degree76
Distribution of variable degrees[{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":52,"count":8}, {"degree":53,"count":8}, {"degree":54,"count":9}, {"degree":55,"count":9}, {"degree":56,"count":51}, {"degree":57,"count":6}, {"degree":58,"count":41}, {"degree":59,"count":2}, {"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":2}, {"degree":73,"count":2}, {"degree":74,"count":2}, {"degree":75,"count":3}, {"degree":76,"count":55}]
Minimum constraint arity2
Maximum constraint arity200
Distribution of constraint arities[{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":30,"count":1},{"arity":35,"count":1},{"arity":40,"count":1},{"arity":41,"count":1},{"arity":44,"count":1},{"arity":45,"count":1},{"arity":47,"count":2},{"arity":50,"count":3},{"arity":53,"count":2},{"arity":55,"count":1},{"arity":56,"count":3},{"arity":58,"count":1},{"arity":59,"count":2},{"arity":60,"count":2},{"arity":62,"count":3},{"arity":64,"count":1},{"arity":65,"count":3},{"arity":66,"count":1},{"arity":68,"count":3},{"arity":70,"count":2},{"arity":71,"count":2},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200},{"type":"sum","count":1227},{"type":"cardinality","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-11948-serial-file.bin HOME/instance-4387963-1568292613.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 14:49:34 CEST 2019
0.66/0.55	c PID: 11951
0.66/0.55	c IP: 172.20.3.140
0.66/0.55	c HOST: node140.alineos.net
0.66/0.56	c (0,0) Parsing Begin
3.26/1.41	c (0,0) Parsing End
3.26/1.42	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1428 ctr, max domain size 24
3.26/1.42	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.26/1.42	c (0,0) Constraint Name Generate Begin
3.26/1.45	c (0,0) Ctr:HOME/instance-4387963-1568292613.xml,Cardinality:ExtensionSupport:Num:Var:WeightedSum
3.26/1.45	c (0,0) Constraint Name Generate End
3.26/1.45	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.26/1.45	c (0,0) CSP to CSPinCNF Begin
12.45/4.89	c (4,4) translated 143 (10%) constraints
13.15/5.45	c (4,4) translated 286 (20%) constraints
13.15/5.47	c (4,4) translated 429 (30%) constraints
13.42/5.50	c (4,4) translated 572 (40%) constraints
13.42/5.52	c (4,4) translated 714 (50%) constraints
13.42/5.54	c (5,5) translated 857 (60%) constraints
13.42/5.56	c (5,5) translated 1000 (70%) constraints
13.42/5.58	c (5,5) translated 1143 (80%) constraints
15.91/7.48	c (6,6) translated 1286 (90%) constraints
17.61/8.90	c (8,8) translated 1428 (100%) constraints
17.71/8.91	c (8,8) ===========================================
17.71/8.95	c (8,8) Hybrid: #OE=10400, #LE=5800
17.71/8.95	c (8,8) Hybrid
17.71/8.95	c (8,8) ===========================================
19.14/9.54	c (9,8) translated 5586 (10%) constraints
19.55/9.78	c (9,9) translated 11171 (20%) constraints
20.08/9.93	c (9,9) translated 16756 (30%) constraints
20.31/10.05	c (9,9) translated 22341 (40%) constraints
20.47/10.17	c (9,9) translated 27926 (50%) constraints
20.56/10.28	c (9,9) translated 33511 (60%) constraints
20.76/10.40	c (9,9) translated 39096 (70%) constraints
20.86/10.51	c (9,9) translated 44681 (80%) constraints
20.96/10.63	c (10,9) translated 50266 (90%) constraints
22.34/11.77	c (11,11) translated 55851 (100%) constraints
22.34/11.77	c (11,11) CSP to CSPinCNF End
22.34/11.78	c (11,11) CSP: 200 int (0 aux), 20800 bool (19800 aux), 65475 ctr, max domain size 24
22.34/11.78	c (11,11) Heap : 1469 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
22.34/11.78	c (11,11) CSPinCNF Propagation Begin
23.34/12.38	c (11,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
23.34/12.38	c (11,11) CSPinCNF Propagation End
23.34/12.39	c (11,11) CSP: 200 int (0 aux), 20800 bool (19800 aux), 65075 ctr, max domain size 24
23.34/12.39	c (11,11) Heap : 1742 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.64/12.44	c (11,11) Hybrid: #OE=15200, #LE=5800
23.64/12.44	c (11,11) Simplify CSPinCNF Begin
24.06/12.60	c (12,11) Simplify CSPinCNF End
24.06/12.61	c (12,11) CSP: 200 int (0 aux), 20800 bool (19800 aux), 65075 ctr, max domain size 24
24.06/12.61	c (12,11) Heap : 1851 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
24.06/12.61	c (12,11) Calculate Precise Domain Begin
24.06/12.61	c (12,11) 0 values are removed by re-calculation
24.06/12.61	c (12,11) Calculate Precise Domain End
24.06/12.61	c (12,11) CSP: 200 int (0 aux), 20800 bool (19800 aux), 65075 ctr, max domain size 24
24.06/12.61	c (12,11) Heap : 1851 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
24.06/12.61	c (12,11) CSPinCNF to SatSolver Begin
26.27/13.55	c (13,12) 6508 (10 %) CSP clauses are encoded (0 SAT variables, 234951 SAT clauses)
26.87/13.71	c (13,13) 13015 (20 %) CSP clauses are encoded (0 SAT variables, 241458 SAT clauses)
27.16/13.83	c (13,13) 19523 (30 %) CSP clauses are encoded (0 SAT variables, 247966 SAT clauses)
27.47/13.94	c (13,13) 26030 (40 %) CSP clauses are encoded (0 SAT variables, 254473 SAT clauses)
27.75/14.02	c (13,13) 32538 (50 %) CSP clauses are encoded (0 SAT variables, 260981 SAT clauses)
27.75/14.09	c (13,13) 39045 (60 %) CSP clauses are encoded (0 SAT variables, 267488 SAT clauses)
27.86/14.16	c (13,13) 45553 (70 %) CSP clauses are encoded (0 SAT variables, 273996 SAT clauses)
27.96/14.23	c (13,13) 52060 (80 %) CSP clauses are encoded (0 SAT variables, 280503 SAT clauses)
28.06/14.30	c (13,13) 58568 (90 %) CSP clauses are encoded (0 SAT variables, 287011 SAT clauses)
33.83/18.72	c (18,17) 65075 (100 %) CSP clauses are encoded (0 SAT variables, 2711723 SAT clauses)
33.83/18.75	c (18,17) CSPinCNF to SatSolver End
33.83/18.75	c (18,17) Heap : 1140 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
33.83/18.75	c (18,17) 930339 bool, 2729118 clause
33.83/18.75	c (18,17) Export Begin
34.24/18.96	c (18,18) Export to HOME/scop-11948-serial-file.bin
34.24/18.96	c (18,18) Export End
34.24/18.97	c (18,18) Export File Size: 0.47 MB
34.24/18.97	c (18,18) 0,0,11,11,12,12,18,STOP-AFTER(DIMACS)
34.24/18.97	c END-Prog: Thu Sep 12 14:49:52 CEST 2019
34.24/19.00	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-11948-serial-file.bin
34.46/19.45	c (0,0) Read Serial File Begin
34.46/19.45	c (0,0) HOME/scop-11948-serial-file.bin
34.46/19.81	c (0,0) Read Serial File End
34.46/19.83	
34.46/19.83	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
34.46/19.83	(Solving Process)
34.46/19.83	
34.46/19.85	c BEGIN-Prog: Thu Sep 12 14:49:53 CEST 2019
34.46/19.85	c PID: 11966
34.46/19.85	c IP: 172.20.3.140
34.46/19.85	c HOST: node140.alineos.net
34.46/19.85	c (0,0) SatSolver.solve Begin
34.46/19.85	c (0,0) HOME/cryptominisat5  HOME/instance-4387963-1568292613.xml-scop-11951.cnf
34.46/19.88	c (0,0) c Outputting solution to console
34.46/19.88	c (0,0) c CryptoMiniSat version 5.6.8
34.46/19.88	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
34.46/19.88	c (0,0) c CMS SHA revision GIT-notfound
34.46/19.88	c (0,0) c CMS is MIT licensed
34.46/19.88	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
34.46/19.88	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
34.46/19.88	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387963-1568292613.xml-scop-11951.cnf
34.46/19.88	c (0,0) c Reading file 'HOME/instance-4387963-1568292613.xml-scop-11951.cnf'
34.46/19.88	c (0,0) c -- header says num vars:         930339
34.46/19.88	c (0,0) c -- header says num clauses:     2729118
36.99/20.87	c (1,0) c -- clauses added: 2729118
36.99/20.87	c (1,0) c -- xor clauses added: 0
36.99/20.87	c (1,0) c -- vars added 930339
36.99/20.87	c (1,0) c Parsing time: 0.88 s
37.60/21.42	c (2,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
37.60/21.43	c (2,0) c [distill] long cls tried: 9/9 cl-short:9 lit-r:13 T: 0.00 T-out: N T-r: 99.99%
38.60/22.49	c (3,0) c [distill] long cls tried: 133/141 cl-short:133 lit-r:10 T: 0.01 T-out: N T-r: 99.95%
39.49/23.35	c (3,0) c [distill] long cls tried: 362/441 cl-short:362 lit-r:102 T: 0.02 T-out: N T-r: 99.89%
39.89/23.72	c (4,0) c   glue     1    57  8193  929467 2656K   71K    3.00    2.98   485  1523  6008   177   34.30   33.60
41.09/24.94	c (5,0) c [distill] long cls tried: 823/1256 cl-short:823 lit-r:270 T: 0.06 T-out: N T-r: 99.58%
42.30/26.16	c (6,0) c   geom     1    89 16386  929467 2656K   71K    3.00    2.98  1406  2314 12406   260   43.74   43.08
42.49/26.32	c (6,0) c [distill] long cls tried: 153/1407 cl-short:153 lit-r:45 T: 0.01 T-out: N T-r: 99.91%
44.61/28.42	c (9,0) c [distill] long cls tried: 619/2016 cl-short:619 lit-r:147 T: 0.04 T-out: N T-r: 99.68%
44.91/28.72	c (9,0) c   glue     1   130   24K  929440 2656K   71K    3.00    2.98  2062  2595 19613   308   47.49   46.92
46.62/30.44	c (11,0) c [distill] long cls tried: 569/2581 cl-short:569 lit-r:145 T: 0.05 T-out: N T-r: 99.51%
47.12/30.91	c (11,0) c   glue     1   151   32K  929440 2656K   71K    3.00    2.98  2606  3442   22K   340   47.66   47.12
49.11/32.92	c (13,0) c   glue     1   176   40K  929397 2656K   71K    3.00    2.98  3111  2370   31K   392   47.32   46.84
49.22/33.06	c (13,0) c [distill] long cls tried: 532/3103 cl-short:532 lit-r:158 T: 0.04 T-out: N T-r: 99.64%
51.42/35.22	c (15,0) c   glue     1   203   49K  929397 2656K   71K    3.00    2.98  3274  3680   31K   422   48.14   47.64
53.11/36.98	c (17,0) c [distill] long cls tried: 726/3821 cl-short:724 lit-r:186 T: 0.07 T-out: N T-r: 99.43%
54.82/38.62	c (19,0) c   geom     1   246   57K  929374 2656K   71K    3.00    2.98  4026  3531   38K   526   47.55   47.04
56.62/40.45	c (21,0) c   glue     1   266   65K  929374 2656K   71K    3.00    2.98  4757  3593   33K   591   44.08   43.49
57.12/40.94	c (21,0) c [distill] long cls tried: 1655/5298 cl-short:1652 lit-r:1123 T: 0.12 T-out: N T-r: 99.09%
57.12/40.98	c (21,0) c recursive minimization cost OK: 3343Kcost/(% lits removed)
57.32/41.12	c (21,0) c --> Executing strategy token: handle-comps
57.32/41.12	c (21,0) c --> Executing strategy token: scc-vrepl
57.32/41.12	c (21,0) c [scc] new: 1874 BP 2M T: 0.12
57.52/41.39	c (22,0) c [vrep] vars 1261 lits 1486021 rem-bin-cls 5860 rem-long-cls 2 BP 10M T: 0.26
57.82/41.61	c (22,0) c --> Executing strategy token: cache-clean
57.82/41.61	c (22,0) c --> Executing strategy token: cache-tryboth
57.82/41.61	c (22,0) c --> Executing strategy token: sub-impl
57.82/41.61	c (22,0) c [impl sub] bin: 176 T: 0.20 T-out: N w-visit: 1860678
58.02/41.84	c (22,0) c --> Executing strategy token: intree-probe
58.02/41.84	c (22,0) c [scc] new: 0 BP 2M T: 0.12
58.22/42.02	c (22,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 8M T: 0.17
79.33/63.19	c (43,0) c [intree] Set 16030 vars hyper-added: 1512083 trans-irred::872 trans-red::126687 T: 21.06 T-out: Y T-r: -0.00%
80.14/63.96	c (44,0) c --> Executing strategy token: probe
80.14/63.96	c (44,0) c --> Executing strategy token: sub-str-cls-with-bin
80.14/63.96	c (44,0) c [distill] cache-based irred--  cl tried   362180 cl-sh     2 cl-rem 3496 lit-rem      2 T: 0.59 T-out: Y
80.14/63.96	c (44,0) c [distill] cache-based   red--  cl tried    10533 cl-sh    90 cl-rem   87 lit-rem    105 T: 0.01 T-out: N
82.25/66.02	c (46,0) c --> Executing strategy token: distill-cls
82.25/66.02	c (46,0) c [distill] long cls tried: 77353/2604963 cl-short:25667 lit-r:126 T: 2.06 T-out: Y T-r: -0.01%
82.25/66.02	c (46,0) c [distill] long useful: 51334/154706/5210170 lits-rem: 252 0-depth-assigns: 8 T: 4.13 T-out: Y
82.36/66.18	c (46,0) c --> Executing strategy token: scc-vrepl
82.36/66.18	c (46,0) c [scc] new: 11965 BP 2M T: 0.16
82.94/66.74	c (47,0) c [vrep] vars 10141 lits 287671 rem-bin-cls 39249 rem-long-cls 2545 BP 9M T: 0.53
83.25/67.06	c (47,0) c --> Executing strategy token: sub-impl
83.25/67.06	c (47,0) c [impl sub] bin: 38 T: 0.31 T-out: N w-visit: 1860678
83.35/67.18	c (47,0) c --> Executing strategy token: str-impl
83.35/67.18	c (47,0) c [impl str] lit bin: 10 (by stamp: 0) set-var: 15 T: 0.12 T-out: N T-r: 94.50% w-visit: 1860678
83.64/67.46	c (48,0) c --> Executing strategy token: sub-impl
83.64/67.46	c (48,0) c [impl sub] bin: 0 T: 0.28 T-out: N w-visit: 1860678
84.04/67.81	c (48,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
84.04/67.81	c (48,0) c [occ] mem usage for occur    307 MB
85.05/68.82	c (49,0) c [occ] mem usage for occur     69 MB
85.36/69.12	c (49,0) c Mem for watch alloc      : 211         MB (34.19     %)
85.36/69.12	c (49,0) c Mem for watch array      : 42          MB (6.88      %)
85.75/69.55	c (50,0) c --> Executing OCC strategy token: occ-backw-sub-str
85.75/69.55	c (50,0) c [occ-backw-sub-str-long-w-bins] subs: 3565 str: 17357 tried: 1544950 0-depth ass: 0 T: 0.43 T-out: N T-r: 74.81%
87.55/71.32	c (51,0) c [occ-sub-long-w-long] rem cl: 4385 tried: 5296488/2648244 (200.0%) T: 1.77 T-out: N T-r: 10.82%
89.15/72.93	c (53,0) c [occ-sub-str-long-w-long] sub: 0 str: 90 tried: 4366782/2648244 (164.9)  T: 1.61 T-out: Y T-r: -0.00%
89.45/73.20	c (53,0) c --> Executing OCC strategy token: occ-clean-implicit
89.45/73.20	c (53,0) c --> Executing OCC strategy token: occ-bve
89.45/73.20	c (53,0) c [occ-empty-res] Empty resolvent elimed: 989 T: 0.26 T-out: N
93.37/77.19	c (57,0) c [occ-bve] iter v-elim 30378
93.37/77.19	c (57,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=0)
93.46/77.23	c (57,0) c Reduced to 870555 vars, 2623655 cls (grow=0)
106.46/90.23	c (70,0) c [occ-bve] iter v-elim 245397
106.46/90.23	c (70,0) c cl_inc_rate=1.4, var_dec_rate=1.4 (grow=8)
106.46/90.29	c (70,0) c Reduced to 625158 vars, 3660014 cls (grow=8)
106.46/90.29	c (70,0) c x n vars       : 625158
106.56/90.32	c (70,0) c  #try to eliminate:  2446K
106.56/90.32	c (70,0) c  #var-elim        :   275K
106.56/90.32	c (70,0) c  #T-o: N
106.56/90.32	c (70,0) c  #T-r: 97.04%
106.56/90.32	c (70,0) c  #T  : 16.97
106.56/90.32	c (70,0) c [occur] 1.38 is overhead
106.56/90.32	c (70,0) c [occur] link-in T: 1.38 cleanup T: 0.00
106.56/90.32	c (70,0) c --> Executing OCC strategy token: occ-bva
106.56/90.32	c (70,0) c [occ-bva] global numcalls: 0
107.17/90.96	c (71,0) c --> Executing OCC strategy token: occ-ternary-res
107.17/90.96	c (71,0) c --> Executing OCC strategy token: occ-xor
107.17/90.96	c (71,0) c [occ-xor] sort occur list T: 0.63
109.17/92.96	c (73,0) c [occ-xor] found      0 T: 2.63 T-out: N T-r: 58.18%
109.17/92.96	c (73,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
110.28/94.07	c (74,0) c --> Executing strategy token: cl-consolidate
110.28/94.07	c (74,0) c [mem] consolidate  old-sz:   244M new-sz:   146M new bits offs: 0 T: 0.33
110.38/94.17	c (74,0) c --> Executing strategy token: str-impl
110.38/94.17	c (74,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.10 T-out: N T-r: 96.91% w-visit: 1860678
111.08/94.88	c (75,0) c --> Executing strategy token: cache-clean
111.08/94.88	c (75,0) c --> Executing strategy token: sub-str-cls-with-bin
111.08/94.88	c (75,0) c [distill] cache-based irred--  cl tried    44053 cl-sh     0 cl-rem    2 lit-rem      0 T: 0.51 T-out: Y
111.08/94.88	c (75,0) c [distill] cache-based   red--  cl tried     2387 cl-sh    18 cl-rem    3 lit-rem     23 T: 0.01 T-out: N
112.39/96.15	c (76,0) c --> Executing strategy token: distill-cls
112.39/96.15	c (76,0) c [distill] long cls tried: 7596/3570865 cl-short:4052 lit-r:23 T: 1.27 T-out: Y T-r: -0.00%
112.39/96.15	c (76,0) c [distill] long useful: 8104/15192/7141746 lits-rem: 46 0-depth-assigns: 0 T: 2.55 T-out: Y
112.58/96.30	c (76,0) c --> Executing strategy token: scc-vrepl
112.58/96.30	c (76,0) c [scc] new: 0 BP 2M T: 0.15
113.58/97.31	c (77,0) c --> Executing strategy token: check-cache-size
113.58/97.31	c (77,0) c --> Executing strategy token: renumber
113.58/97.31	c (77,0) c [renumber] T: 1.00
113.58/97.37	c (77,0) c --> Executing strategy token: sls
113.58/97.37	c (77,0) c [consolidate] mini T: 0.00
113.58/97.37	c (77,0) c global_timeout_multiplier: 4.40
113.78/97.59	c (78,0) c clause size stats. size3: 976488 size4: 2497384 size5: 8671 larger: 88322
116.78/100.52	c (81,0) c   luby     0   287   73K  625158 3570K   89K    3.93    3.89  1373  1015  3980  144K   32.47    3.29
120.78/104.56	c (85,0) c   luby     0   319   81K  625158 3570K   89K    3.93    3.89  1695  1022 11257  144K   42.86    5.61
124.89/108.65	c (89,0) c [distill] long cls tried: 709/1750 cl-short:698 lit-r:118 T: 0.08 T-out: N T-r: 99.48%
125.39/109.14	c (89,0) c   luby     0   337   90K  625158 3570K   89K    3.93    3.89  1893  1303 16104  144K   44.03    6.96
129.10/112.87	c (93,0) c   luby     0   369   98K  625158 3570K   89K    3.93    3.89  2059  2104   23K  144K   43.04    8.57
132.20/115.96	c (96,0) c   luby     0   394  106K  625158 3570K   89K    3.93    3.89  2656  3272   22K  144K   39.15    8.10
133.30/117.09	c (97,0) c   luby     0   395  114K  625158 3570K   89K    3.93    3.89  3601  3426   29K  144K   39.64    9.61
133.50/117.26	c (97,0) c [distill] long cls tried: 1855/3465 cl-short:1855 lit-r:1189 T: 0.11 T-out: N T-r: 99.13%
134.80/118.54	c (99,0) c   luby     0   426  122K  625158 3570K   89K    3.93    3.89  4728  5292   24K  144K   36.08    8.60
136.00/119.70	c (100,0) c   luby     0   457  131K  625158 3570K   89K    3.93    3.89  6102  5269   31K  144K   34.71    9.49
137.30/121.10	c (101,0) c   luby     0   483  139K  625158 3570K   89K    3.93    3.89  6649  8277   25K  144K   29.89    8.09
137.99/121.70	c (102,0) c [distill] long cls tried: 4264/7399 cl-short:4263 lit-r:3168 T: 0.21 T-out: N T-r: 98.37%
139.09/122.81	c (103,0) c   luby     0   515  147K  625158 3570K   89K    3.93    3.89  7627  7519   33K  144K   29.95    8.98
139.99/123.70	c (104,0) c   luby     0   522  155K  625158 3570K   89K    3.93    3.89  8852  7166   29K  144K   26.69    7.95
140.69/124.46	c (105,0) c   luby     0   523  163K  625158 3570K   89K    3.93    3.89  9430  5248   39K  144K   29.56    9.50
141.19/124.98	c (105,0) c recursive minimization cost OK: 2859Kcost/(% lits removed)
141.19/124.98	c (105,0) c more minimization effectiveness low: 0.00 % lits removed --> disabling
141.41/125.15	c (105,0) c --> Executing strategy token: handle-comps
141.41/125.15	c (105,0) c --> Executing strategy token: scc-vrepl
141.41/125.15	c (105,0) c [scc] new: 0 BP 2M T: 0.15
141.69/125.44	c (106,0) c --> Executing strategy token: cache-clean
141.69/125.44	c (106,0) c --> Executing strategy token: cache-tryboth
141.69/125.44	c (106,0) c --> Executing strategy token: sub-impl
141.69/125.44	c (106,0) c [impl sub] bin: 35004 T: 0.29 T-out: N w-visit: 1250316
142.10/125.89	c (106,0) c --> Executing strategy token: intree-probe
142.10/125.89	c (106,0) c [scc] new: 0 BP 2M T: 0.14
142.80/126.54	c (107,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 10M T: 0.63
148.81/132.56	c (113,0) c [intree] Set 1128 vars hyper-added: 322397 trans-irred::10089 trans-red::92949 T: 6.00 T-out: N T-r: 81.85%
149.51/133.29	c (113,0) c --> Executing strategy token: probe
149.51/133.29	c (113,0) c --> Executing strategy token: sub-str-cls-with-bin
149.51/133.29	c (113,0) c [distill] cache-based irred--  cl tried    34336 cl-sh     3 cl-rem   28 lit-rem      3 T: 0.38 T-out: Y
149.51/133.29	c (113,0) c [distill] cache-based   red--  cl tried    19012 cl-sh   278 cl-rem  210 lit-rem    344 T: 0.03 T-out: N
151.21/134.91	c (115,0) c --> Executing strategy token: distill-cls
151.21/134.91	c (115,0) c [distill] long cls tried: 23731/3565295 cl-short:12746 lit-r:104 T: 1.62 T-out: Y T-r: -0.01%
151.21/134.91	c (115,0) c [distill] long useful: 25492/47462/7130654 lits-rem: 208 0-depth-assigns: 12 T: 3.24 T-out: Y
151.31/135.05	c (115,0) c --> Executing strategy token: scc-vrepl
151.31/135.05	c (115,0) c [scc] new: 0 BP 2M T: 0.14
151.61/135.35	c (115,0) c --> Executing strategy token: sub-impl
151.61/135.35	c (115,0) c [impl sub] bin: 20 T: 0.30 T-out: N w-visit: 1250316
151.71/135.49	c (116,0) c --> Executing strategy token: str-impl
151.71/135.49	c (116,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.14 T-out: N T-r: 96.48% w-visit: 1250316
152.01/135.77	c (116,0) c --> Executing strategy token: sub-impl
152.01/135.77	c (116,0) c [impl sub] bin: 0 T: 0.29 T-out: N w-visit: 1250316
152.41/136.19	c (116,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
152.41/136.19	c (116,0) c [occ] mem usage for occur    475 MB
154.00/137.71	c (118,0) c [occ] mem usage for occur     49 MB
154.41/138.13	c (118,0) c Mem for watch alloc      : 397         MB (38.11     %)
154.41/138.13	c (118,0) c Mem for watch array      : 28          MB (2.75      %)
154.80/138.56	c (119,0) c --> Executing OCC strategy token: occ-backw-sub-str
154.80/138.56	c (119,0) c [occ-backw-sub-str-long-w-bins] subs: 1715 str: 1801 tried: 2713840 0-depth ass: 0 T: 0.43 T-out: N T-r: 82.29%
156.51/140.28	c (120,0) c [occ-sub-long-w-long] rem cl: 2436 tried: 4156401/3611270 (115.1%) T: 1.70 T-out: Y T-r: -0.00%
158.52/142.28	c (122,0) c [occ-sub-str-long-w-long] sub: 25 str: 336 tried: 3897467/3611270 (107.9)  T: 2.00 T-out: Y T-r: -0.00%
158.52/142.28	c (122,0) c [occ-sub-str-w-added-long]  sub: 0 str: 0 0-depth ass: 0 T: 0.00 T-out: Y T-r: 100.00%
158.92/142.68	c (123,0) c --> Executing OCC strategy token: occ-clean-implicit
158.92/142.68	c (123,0) c --> Executing OCC strategy token: occ-bve
158.92/142.68	c (123,0) c [occ-empty-res] Empty resolvent elimed: 1 T: 0.37 T-out: N
162.93/146.60	c (127,0) c [occ-bve] iter v-elim 45
162.93/146.60	c (127,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=0)
162.93/146.65	c (127,0) c Reduced to 623978 vars, 3606196 cls (grow=0)
167.34/151.07	c (131,0) c [occ-bve] iter v-elim 2420
167.34/151.07	c (131,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=8)
167.44/151.12	c (131,0) c Reduced to 621558 vars, 3612488 cls (grow=8)
167.44/151.12	c (131,0) c x n vars       : 621558
167.44/151.12	c (131,0) c  #try to eliminate:  1258K
167.44/151.12	c (131,0) c  #var-elim        :   2465
167.44/151.12	c (131,0) c  #T-o: N
167.44/151.12	c (131,0) c  #T-r: 98.33%
167.44/151.12	c (131,0) c  #T  : 8.43
167.44/151.12	c (131,0) c [occur] 2.02 is overhead
167.44/151.12	c (131,0) c [occur] link-in T: 2.02 cleanup T: 0.00
167.44/151.12	c (131,0) c --> Executing OCC strategy token: occ-bva
167.44/151.12	c (131,0) c [occ-bva] global numcalls: 1
168.03/151.79	c (132,0) c --> Executing OCC strategy token: occ-ternary-res
168.03/151.79	c (132,0) c --> Executing OCC strategy token: occ-xor
168.03/151.79	c (132,0) c [occ-xor] sort occur list T: 0.67
171.34/155.09	c (135,0) c [occ-xor] found      0 T: 3.97 T-out: N T-r: 62.54%
171.34/155.09	c (135,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
172.52/156.28	c (136,0) c --> Executing strategy token: cl-consolidate
172.52/156.28	c (136,0) c Not consolidating memory.
172.63/156.36	c (136,0) c --> Executing strategy token: str-impl
172.63/156.36	c (136,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.10 T-out: N T-r: 96.80% w-visit: 1250316
173.34/157.07	c (137,0) c --> Executing strategy token: cache-clean
173.34/157.07	c (137,0) c --> Executing strategy token: sub-str-cls-with-bin
173.34/157.07	c (137,0) c [distill] cache-based irred--  cl tried    23861 cl-sh     0 cl-rem    0 lit-rem      0 T: 0.37 T-out: Y
173.34/157.07	c (137,0) c [distill] cache-based   red--  cl tried    18960 cl-sh     3 cl-rem    6 lit-rem      3 T: 0.04 T-out: N
174.83/158.55	c (139,0) c --> Executing strategy token: distill-cls
174.83/158.55	c (139,0) c [distill] long cls tried: 9422/3566269 cl-short:5059 lit-r:21 T: 1.48 T-out: Y T-r: -0.04%
174.83/158.55	c (139,0) c [distill] long useful: 10118/18844/7132546 lits-rem: 42 0-depth-assigns: 0 T: 2.95 T-out: Y
174.94/158.68	c (139,0) c --> Executing strategy token: scc-vrepl
174.94/158.68	c (139,0) c [scc] new: 0 BP 2M T: 0.14
174.94/158.69	c (139,0) c --> Executing strategy token: check-cache-size
174.94/158.69	c (139,0) c --> Executing strategy token: renumber
174.94/158.69	c (139,0) c --> Executing strategy token: sls
174.94/158.69	c (139,0) c [consolidate] mini T: 0.00
174.94/158.69	c (139,0) c global_timeout_multiplier: 4.84
175.94/159.66	c (140,0) c [features] numVars 431762, numClauses 3612488, var_cl_ratio 0.12, binary 0.01, horn 0.08, 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.00, vcg_var_min 0.00, vcg_var_max 0.00, vcg_var_spread 0.00, vcg_cls_mean 0.00, vcg_cls_std 0.00, vcg_cls_min 0.00, vcg_cls_max 0.00, vcg_cls_spread 0.00, pnr_var_mean 0.53, pnr_var_std 0.70, pnr_var_min 0.00, pnr_var_max 1.00, pnr_var_spread 1.00, pnr_cls_mean 0.26, pnr_cls_std 0.96, pnr_cls_min 0.00, pnr_cls_max 1.00, pnr_cls_spread 1.00, avg_confl_size 43.34, confl_size_min 1.00, confl_size_max 610.00, avg_confl_glue 19.23, 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.00, avg_branch_depth 206.87, branch_depth_min 44.00, branch_depth_max 288.00, avg_trail_depth_delta 279.64, trail_depth_delta_min 2.00, trail_depth_delta_max 13331.00, avg_branch_depth_delta 1.75, props_per_confl 0.00, confl_per_restart 321.23, decisions_per_conflict 8.83, irred_cl_distrib.glue_distr_mean 999.98, irred_cl_distrib.glue_distr_var 20.91, irred_cl_distrib.size_distr_mean 3.93, irred_cl_distrib.size_distr_var 2.47, 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 12.92, red_cl_distrib.glue_distr_mean 2.83, red_cl_distrib.glue_distr_var 0.17, red_cl_distrib.size_distr_mean 6.05, red_cl_distrib.size_distr_var 10.11, red_cl_distrib.uip_use_distr_mean 0, red_cl_distrib.uip_use_distr_var 0, red_cl_distrib.activity_distr_mean 3019.42, red_cl_distrib.activity_distr_var 636991073.55, num_gates_found_last 0, num_xors_found_last 0
176.04/159.72	c (140,0) c clause size stats. size3: 978492 size4: 2488892 size5: 9839 larger: 89046
178.05/161.73	c (142,0) c   luby     0   545  172K  621558 3566K   46K    3.93    3.91  9856  4649   33K  264K   32.37    6.70
179.36/163.04	c (143,0) c [distill] long cls tried: 3150/9742 cl-short:3118 lit-r:789 T: 0.27 T-out: N T-r: 98.25%
181.75/165.40	c (146,0) c   luby     0   577  180K  621558 3566K   46K    3.93    3.91  9892  2743   31K  265K   31.32    6.20
185.56/169.23	c (149,0) c   luby     0   594  188K  621558 3566K   46K    3.93    3.91 10020  3225   39K  265K   34.36    7.35
190.96/174.68	c (155,0) c   luby     0   625  196K  621558 3566K   46K    3.93    3.91 10368  2878   29K  265K   34.02    6.47
195.66/179.31	c (159,0) c   luby     0   650  204K  621558 3566K   46K    3.93    3.91 10615  1270   39K  265K   36.54    7.59
198.86/182.54	c (163,0) c ------- FINAL TOTAL SEARCH STATS ---------
198.86/182.54	c (163,0) c UIP search time          : 70.11       (43.29     % time)
198.86/182.54	c (163,0) c restarts                 : 651         (322.39    confls per restart)
198.86/182.54	c (163,0) c blocked restarts         : 122         (0.19      per normal restart)
198.86/182.54	c (163,0) c time                     : 70.11       
198.86/182.54	c (163,0) c decisions                : 1706425     (0.00      % random)
198.86/182.54	c (163,0) c propagations             : 360084990   
198.86/182.54	c (163,0) c decisions/conflicts      : 8.13        
198.86/182.54	c (163,0) c conflicts                : 209877      (2993.41   / sec)
198.86/182.54	c (163,0) c conf lits non-minim      : 12712289    (60.57     lit/confl)
198.86/182.54	c (163,0) c conf lits final          : 44.91       
198.86/182.54	c (163,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
198.86/182.54	c (163,0) c red which0               : 6019        (2.87      % of confl)
198.86/182.54	c (163,0) c props/decision           : 0.00        
198.86/182.54	c (163,0) c props/conflict           : 0.00        
198.86/182.54	c (163,0) c 0-depth assigns          : 18149       (2.90      % vars)
198.86/182.54	c (163,0) c 0-depth assigns by CNF   : 872         (0.14      % vars)
198.86/182.54	c (163,0) c reduceDB time            : 0.08        (0.05      % time)
198.86/182.54	c (163,0) c OccSimplifier time       : 22.38       (13.82     % time)
198.86/182.54	c (163,0) c [occur] 5.31 is overhead
198.86/182.54	c (163,0) c [occur] link-in T: 3.41 cleanup T: 1.91
198.86/182.54	c (163,0) c [occ-substr] long subBySub: 11206 subByStr: 25 lits-rem-str: 132294 T: 10.46
198.86/182.54	c (163,0) c SCC time                 : 1.11        (0.68      % time)
198.86/182.54	c (163,0) c [scc] new: 13839 BP 20M  T: 1.11
198.86/182.54	c (163,0) c vrep replace time        : 1.58        (0.98      % time)
198.86/182.54	c (163,0) c vrep tree roots          : 5000        
198.86/182.54	c (163,0) c vrep trees' crown        : 11402       (2.28      leafs/tree)
198.86/182.54	c (163,0) c distill time             : 13.97       (8.63      % time)
198.86/182.54	c (163,0) c strength cache-irred time: 1.85        (1.14      % time)
198.86/182.54	c (163,0) c strength cache-red time  : 0.09        (0.06      % time)
198.86/182.54	c (163,0) c Conflicts in UIP         : 209877      (1295.79   confl/time_this_thread)
198.86/182.54	c (163,0) c Mem used                 : 1054.97     MB
198.86/182.54	c (163,0) c Total time (this thread) : 161.97      
198.86/182.54	c (163,0) s SATISFIABLE
201.31/183.62	c (164,0) SatSolver.solve End
201.31/183.62	c (164,0) Heap : 532 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
201.31/183.62	c (164,0) Show results Begin
201.51/183.79	c (164,0) cls[0] = 12
201.51/183.79	c (164,0) cls[1] = 7
201.51/183.79	c (164,0) cls[2] = 0
201.51/183.79	c (164,0) cls[3] = 12
201.51/183.79	c (164,0) cls[4] = 2
201.51/183.79	c (164,0) cls[5] = 22
201.51/183.79	c (164,0) cls[6] = 11
201.51/183.79	c (164,0) cls[7] = 0
201.51/183.79	c (164,0) cls[8] = 7
201.51/183.79	c (164,0) cls[9] = 12
201.51/183.79	c (164,0) cls[10] = 15
201.51/183.79	c (164,0) cls[11] = 0
201.51/183.79	c (164,0) cls[12] = 4
201.51/183.79	c (164,0) cls[13] = 15
201.51/183.79	c (164,0) cls[14] = 5
201.51/183.79	c (164,0) cls[15] = 15
201.51/183.79	c (164,0) cls[16] = 22
201.51/183.79	c (164,0) cls[17] = 9
201.51/183.79	c (164,0) cls[18] = 12
201.51/183.79	c (164,0) cls[19] = 22
201.51/183.79	c (164,0) cls[20] = 14
201.51/183.79	c (164,0) cls[21] = 8
201.51/183.79	c (164,0) cls[22] = 17
201.51/183.79	c (164,0) cls[23] = 0
201.51/183.79	c (164,0) cls[24] = 2
201.51/183.79	c (164,0) cls[25] = 18
201.51/183.79	c (164,0) cls[26] = 16
201.51/183.79	c (164,0) cls[27] = 0
201.51/183.79	c (164,0) cls[28] = 15
201.51/183.79	c (164,0) cls[29] = 8
201.51/183.79	c (164,0) cls[30] = 7
201.51/183.79	c (164,0) cls[31] = 0
201.51/183.79	c (164,0) cls[32] = 6
201.51/183.79	c (164,0) cls[33] = 0
201.51/183.79	c (164,0) cls[34] = 15
201.51/183.79	c (164,0) cls[35] = 16
201.51/183.79	c (164,0) cls[36] = 14
201.51/183.79	c (164,0) cls[37] = 8
201.51/183.79	c (164,0) cls[38] = 4
201.51/183.79	c (164,0) cls[39] = 15
201.51/183.79	c (164,0) cls[40] = 5
201.51/183.79	c (164,0) cls[41] = 0
201.51/183.79	c (164,0) cls[42] = 8
201.51/183.79	c (164,0) cls[43] = 13
201.51/183.79	c (164,0) cls[44] = 0
201.51/183.79	c (164,0) cls[45] = 15
201.51/183.79	c (164,0) cls[46] = 12
201.51/183.79	c (164,0) cls[47] = 22
201.51/183.79	c (164,0) cls[48] = 14
201.51/183.79	c (164,0) cls[49] = 12
201.51/183.79	c (164,0) cls[50] = 8
201.51/183.79	c (164,0) cls[51] = 13
201.51/183.79	c (164,0) cls[52] = 16
201.51/183.79	c (164,0) cls[53] = 8
201.51/183.79	c (164,0) cls[54] = 22
201.51/183.79	c (164,0) cls[55] = 15
201.51/183.79	c (164,0) cls[56] = 5
201.51/183.79	c (164,0) cls[57] = 0
201.78/183.80	c (164,0) cls[58] = 23
201.78/183.80	c (164,0) cls[59] = 8
201.78/183.80	c (164,0) cls[60] = 16
201.78/183.80	c (164,0) cls[61] = 0
201.78/183.80	c (164,0) cls[62] = 15
201.78/183.80	c (164,0) cls[63] = 4
201.78/183.80	c (164,0) cls[64] = 19
201.78/183.80	c (164,0) cls[65] = 0
201.78/183.80	c (164,0) cls[66] = 18
201.78/183.80	c (164,0) cls[67] = 0
201.78/183.80	c (164,0) cls[68] = 11
201.78/183.80	c (164,0) cls[69] = 21
201.78/183.80	c (164,0) cls[70] = 15
201.78/183.80	c (164,0) cls[71] = 0
201.78/183.80	c (164,0) cls[72] = 20
201.78/183.80	c (164,0) cls[73] = 22
201.78/183.80	c (164,0) cls[74] = 18
201.78/183.80	c (164,0) cls[75] = 0
201.78/183.80	c (164,0) cls[76] = 2
201.78/183.80	c (164,0) cls[77] = 17
201.78/183.80	c (164,0) cls[78] = 8
201.78/183.80	c (164,0) cls[79] = 22
201.78/183.80	c (164,0) cls[80] = 17
201.78/183.80	c (164,0) cls[81] = 8
201.78/183.80	c (164,0) cls[82] = 22
201.78/183.80	c (164,0) cls[83] = 10
201.78/183.80	c (164,0) cls[84] = 15
201.78/183.80	c (164,0) cls[85] = 0
201.78/183.80	c (164,0) cls[86] = 5
201.78/183.80	c (164,0) cls[87] = 15
201.78/183.80	c (164,0) cls[88] = 4
201.78/183.80	c (164,0) cls[89] = 0
201.78/183.80	c (164,0) cls[90] = 20
201.78/183.80	c (164,0) cls[91] = 0
201.78/183.80	c (164,0) cls[92] = 14
201.78/183.80	c (164,0) cls[93] = 8
201.78/183.80	c (164,0) cls[94] = 14
201.78/183.80	c (164,0) cls[95] = 12
201.78/183.80	c (164,0) cls[96] = 2
201.78/183.80	c (164,0) cls[97] = 8
201.78/183.80	c (164,0) cls[98] = 3
201.78/183.80	c (164,0) cls[99] = 0
201.78/183.80	c (164,0) cls[100] = 15
201.78/183.80	c (164,0) cls[101] = 2
201.78/183.80	c (164,0) cls[102] = 22
201.78/183.80	c (164,0) cls[103] = 7
201.78/183.80	c (164,0) cls[104] = 8
201.78/183.80	c (164,0) cls[105] = 12
201.78/183.80	c (164,0) cls[106] = 23
201.78/183.80	c (164,0) cls[107] = 0
201.78/183.80	c (164,0) cls[108] = 8
201.78/183.80	c (164,0) cls[109] = 17
201.78/183.80	c (164,0) cls[110] = 8
201.78/183.80	c (164,0) cls[111] = 4
201.78/183.80	c (164,0) cls[112] = 17
201.78/183.80	c (164,0) cls[113] = 8
201.78/183.80	c (164,0) cls[114] = 14
201.78/183.80	c (164,0) cls[115] = 0
201.78/183.80	c (164,0) cls[116] = 15
201.78/183.80	c (164,0) cls[117] = 19
201.78/183.80	c (164,0) cls[118] = 4
201.78/183.80	c (164,0) cls[119] = 18
201.78/183.80	c (164,0) cls[120] = 0
201.78/183.80	c (164,0) cls[121] = 12
201.78/183.80	c (164,0) cls[122] = 8
201.78/183.80	c (164,0) cls[123] = 13
201.78/183.80	c (164,0) cls[124] = 16
201.78/183.80	c (164,0) cls[125] = 15
201.78/183.80	c (164,0) cls[126] = 8
201.78/183.80	c (164,0) cls[127] = 11
201.78/183.80	c (164,0) cls[128] = 4
201.78/183.80	c (164,0) cls[129] = 0
201.78/183.80	c (164,0) cls[130] = 11
201.78/183.80	c (164,0) cls[131] = 22
201.78/183.80	c (164,0) cls[132] = 8
201.78/183.80	c (164,0) cls[133] = 9
201.78/183.80	c (164,0) cls[134] = 16
201.78/183.80	c (164,0) cls[135] = 15
201.78/183.80	c (164,0) cls[136] = 0
201.78/183.80	c (164,0) cls[137] = 17
201.78/183.80	c (164,0) cls[138] = 1
201.78/183.80	c (164,0) cls[139] = 15
201.78/183.80	c (164,0) cls[140] = 0
201.78/183.80	c (164,0) cls[141] = 14
201.78/183.80	c (164,0) cls[142] = 19
201.78/183.80	c (164,0) cls[143] = 2
201.78/183.80	c (164,0) cls[144] = 14
201.78/183.80	c (164,0) cls[145] = 0
201.78/183.80	c (164,0) cls[146] = 12
201.78/183.80	c (164,0) cls[147] = 0
201.78/183.80	c (164,0) cls[148] = 2
201.78/183.80	c (164,0) cls[149] = 7
201.78/183.80	c (164,0) cls[150] = 0
201.78/183.80	c (164,0) cls[151] = 8
201.78/183.80	c (164,0) cls[152] = 16
201.78/183.80	c (164,0) cls[153] = 14
201.78/183.80	c (164,0) cls[154] = 2
201.78/183.80	c (164,0) cls[155] = 11
201.78/183.80	c (164,0) cls[156] = 0
201.78/183.80	c (164,0) cls[157] = 0
201.78/183.80	c (164,0) cls[158] = 18
201.78/183.80	c (164,0) cls[159] = 1
201.78/183.80	c (164,0) cls[160] = 12
201.78/183.80	c (164,0) cls[161] = 0
201.78/183.80	c (164,0) cls[162] = 15
201.78/183.80	c (164,0) cls[163] = 0
201.78/183.80	c (164,0) cls[164] = 2
201.78/183.80	c (164,0) cls[165] = 16
201.78/183.80	c (164,0) cls[166] = 15
201.78/183.80	c (164,0) cls[167] = 0
201.78/183.80	c (164,0) cls[168] = 3
201.78/183.80	c (164,0) cls[169] = 1
201.78/183.80	c (164,0) cls[170] = 15
201.78/183.80	c (164,0) cls[171] = 16
201.78/183.80	c (164,0) cls[172] = 0
201.78/183.80	c (164,0) cls[173] = 15
201.78/183.80	c (164,0) cls[174] = 10
201.78/183.80	c (164,0) cls[175] = 14
201.78/183.80	c (164,0) cls[176] = 0
201.78/183.80	c (164,0) cls[177] = 20
201.78/183.80	c (164,0) cls[178] = 22
201.78/183.80	c (164,0) cls[179] = 2
201.78/183.80	c (164,0) cls[180] = 14
201.78/183.80	c (164,0) cls[181] = 12
201.78/183.80	c (164,0) cls[182] = 0
201.78/183.80	c (164,0) cls[183] = 7
201.78/183.80	c (164,0) cls[184] = 2
201.78/183.80	c (164,0) cls[185] = 12
201.78/183.80	c (164,0) cls[186] = 7
201.78/183.80	c (164,0) cls[187] = 0
201.78/183.80	c (164,0) cls[188] = 12
201.78/183.80	c (164,0) cls[189] = 23
201.78/183.80	c (164,0) cls[190] = 22
201.78/183.80	c (164,0) cls[191] = 11
201.78/183.80	c (164,0) cls[192] = 22
201.78/183.80	c (164,0) cls[193] = 0
201.78/183.80	c (164,0) cls[194] = 6
201.78/183.80	c (164,0) cls[195] = 0
201.78/183.80	c (164,0) cls[196] = 0
201.78/183.80	c (164,0) cls[197] = 11
201.78/183.80	c (164,0) cls[198] = 22
201.78/183.80	c (164,0) cls[199] = 13
201.78/183.80	c (164,0) opt[0][0] = 0
201.78/183.80	c (164,0) opt[0][1] = 0
201.78/183.80	c (164,0) opt[0][2] = 1
201.78/183.80	c (164,0) opt[0][3] = 0
201.78/183.80	c (164,0) opt[0][4] = 0
201.78/183.80	c (164,0) opt[1][0] = 1
201.78/183.80	c (164,0) opt[1][1] = 1
201.78/183.80	c (164,0) opt[1][2] = 0
201.78/183.80	c (164,0) opt[1][3] = 1
201.78/183.80	c (164,0) opt[1][4] = 0
201.78/183.80	c (164,0) opt[2][0] = 0
201.78/183.80	c (164,0) opt[2][1] = 1
201.78/183.80	c (164,0) opt[2][2] = 0
201.78/183.80	c (164,0) opt[2][3] = 0
201.78/183.80	c (164,0) opt[2][4] = 0
201.78/183.80	c (164,0) opt[3][0] = 0
201.78/183.80	c (164,0) opt[3][1] = 0
201.78/183.80	c (164,0) opt[3][2] = 1
201.78/183.80	c (164,0) opt[3][3] = 0
201.78/183.80	c (164,0) opt[3][4] = 0
201.78/183.80	c (164,0) opt[4][0] = 0
201.78/183.80	c (164,0) opt[4][1] = 0
201.78/183.80	c (164,0) opt[4][2] = 0
201.78/183.80	c (164,0) opt[4][3] = 0
201.78/183.80	c (164,0) opt[4][4] = 1
201.78/183.80	c (164,0) opt[5][0] = 0
201.78/183.80	c (164,0) opt[5][1] = 1
201.78/183.80	c (164,0) opt[5][2] = 0
201.78/183.80	c (164,0) opt[5][3] = 0
201.78/183.80	c (164,0) opt[5][4] = 0
201.78/183.80	c (164,0) opt[6][0] = 1
201.78/183.80	c (164,0) opt[6][1] = 0
201.78/183.80	c (164,0) opt[6][2] = 1
201.78/183.80	c (164,0) opt[6][3] = 0
201.78/183.80	c (164,0) opt[6][4] = 0
201.78/183.80	c (164,0) opt[7][0] = 0
201.78/183.80	c (164,0) opt[7][1] = 1
201.78/183.80	c (164,0) opt[7][2] = 0
201.78/183.80	c (164,0) opt[7][3] = 0
201.78/183.80	c (164,0) opt[7][4] = 0
201.78/183.80	c (164,0) opt[8][0] = 1
201.78/183.80	c (164,0) opt[8][1] = 1
201.78/183.80	c (164,0) opt[8][2] = 0
201.78/183.80	c (164,0) opt[8][3] = 1
201.78/183.80	c (164,0) opt[8][4] = 0
201.78/183.80	c (164,0) opt[9][0] = 0
201.78/183.80	c (164,0) opt[9][1] = 0
201.78/183.80	c (164,0) opt[9][2] = 1
201.78/183.80	c (164,0) opt[9][3] = 0
201.78/183.80	c (164,0) opt[9][4] = 0
201.78/183.80	c (164,0) opt[10][0] = 1
201.78/183.80	c (164,0) opt[10][1] = 0
201.78/183.80	c (164,0) opt[10][2] = 0
201.78/183.80	c (164,0) opt[10][3] = 0
201.78/183.80	c (164,0) opt[10][4] = 0
201.78/183.80	c (164,0) opt[11][0] = 0
201.78/183.80	c (164,0) opt[11][1] = 1
201.78/183.80	c (164,0) opt[11][2] = 0
201.78/183.80	c (164,0) opt[11][3] = 0
201.78/183.80	c (164,0) opt[11][4] = 0
201.78/183.80	c (164,0) opt[12][0] = 0
201.78/183.80	c (164,0) opt[12][1] = 1
201.78/183.80	c (164,0) opt[12][2] = 0
201.78/183.80	c (164,0) opt[12][3] = 0
201.78/183.80	c (164,0) opt[12][4] = 1
201.78/183.80	c (164,0) opt[13][0] = 1
201.78/183.80	c (164,0) opt[13][1] = 0
201.78/183.80	c (164,0) opt[13][2] = 0
201.78/183.80	c (164,0) opt[13][3] = 0
201.78/183.80	c (164,0) opt[13][4] = 0
201.78/183.80	c (164,0) opt[14][0] = 0
201.78/183.80	c (164,0) opt[14][1] = 1
201.78/183.80	c (164,0) opt[14][2] = 1
201.78/183.80	c (164,0) opt[14][3] = 1
201.78/183.80	c (164,0) opt[14][4] = 0
201.78/183.80	c (164,0) opt[15][0] = 1
201.78/183.80	c (164,0) opt[15][1] = 0
201.78/183.80	c (164,0) opt[15][2] = 0
201.78/183.80	c (164,0) opt[15][3] = 0
201.78/183.80	c (164,0) opt[15][4] = 0
201.78/183.80	c (164,0) opt[16][0] = 0
201.78/183.80	c (164,0) opt[16][1] = 1
201.78/183.80	c (164,0) opt[16][2] = 0
201.78/183.80	c (164,0) opt[16][3] = 0
201.78/183.80	c (164,0) opt[16][4] = 0
201.78/183.80	c (164,0) opt[17][0] = 1
201.78/183.80	c (164,0) opt[17][1] = 1
201.78/183.80	c (164,0) opt[17][2] = 0
201.78/183.80	c (164,0) opt[17][3] = 1
201.78/183.80	c (164,0) opt[17][4] = 1
201.78/183.80	c (164,0) opt[18][0] = 0
201.78/183.80	c (164,0) opt[18][1] = 0
201.78/183.80	c (164,0) opt[18][2] = 1
201.78/183.80	c (164,0) opt[18][3] = 0
201.78/183.80	c (164,0) opt[18][4] = 0
201.78/183.80	c (164,0) opt[19][0] = 0
201.78/183.80	c (164,0) opt[19][1] = 1
201.78/183.80	c (164,0) opt[19][2] = 0
201.78/183.80	c (164,0) opt[19][3] = 0
201.78/183.80	c (164,0) opt[19][4] = 0
201.78/183.80	c (164,0) opt[20][0] = 1
201.78/183.80	c (164,0) opt[20][1] = 1
201.78/183.80	c (164,0) opt[20][2] = 0
201.78/183.80	c (164,0) opt[20][3] = 0
201.78/183.80	c (164,0) opt[20][4] = 0
201.78/183.80	c (164,0) opt[21][0] = 0
201.78/183.80	c (164,0) opt[21][1] = 0
201.78/183.80	c (164,0) opt[21][2] = 0
201.78/183.80	c (164,0) opt[21][3] = 1
201.78/183.80	c (164,0) opt[21][4] = 0
201.78/183.80	c (164,0) opt[22][0] = 1
201.78/183.80	c (164,0) opt[22][1] = 1
201.78/183.80	c (164,0) opt[22][2] = 1
201.78/183.80	c (164,0) opt[22][3] = 0
201.78/183.80	c (164,0) opt[22][4] = 0
201.78/183.80	c (164,0) opt[23][0] = 0
201.78/183.80	c (164,0) opt[23][1] = 1
201.78/183.80	c (164,0) opt[23][2] = 0
201.78/183.80	c (164,0) opt[23][3] = 0
201.78/183.80	c (164,0) opt[23][4] = 0
201.78/183.80	c (164,0) opt[24][0] = 0
201.78/183.80	c (164,0) opt[24][1] = 0
201.78/183.80	c (164,0) opt[24][2] = 0
201.78/183.80	c (164,0) opt[24][3] = 0
201.78/183.80	c (164,0) opt[24][4] = 1
201.78/183.80	c (164,0) opt[25][0] = 1
201.78/183.80	c (164,0) opt[25][1] = 0
201.78/183.80	c (164,0) opt[25][2] = 0
201.78/183.80	c (164,0) opt[25][3] = 1
201.78/183.80	c (164,0) opt[25][4] = 0
201.78/183.80	c (164,0) opt[26][0] = 0
201.78/183.80	c (164,0) opt[26][1] = 1
201.78/183.80	c (164,0) opt[26][2] = 1
201.78/183.80	c (164,0) opt[26][3] = 0
201.78/183.80	c (164,0) opt[26][4] = 0
201.78/183.80	c (164,0) opt[27][0] = 0
201.78/183.80	c (164,0) opt[27][1] = 1
201.78/183.80	c (164,0) opt[27][2] = 0
201.78/183.80	c (164,0) opt[27][3] = 0
201.78/183.80	c (164,0) opt[27][4] = 0
201.78/183.80	c (164,0) opt[28][0] = 1
201.78/183.80	c (164,0) opt[28][1] = 0
201.78/183.80	c (164,0) opt[28][2] = 0
201.78/183.80	c (164,0) opt[28][3] = 0
201.78/183.80	c (164,0) opt[28][4] = 0
201.78/183.80	c (164,0) opt[29][0] = 0
201.78/183.80	c (164,0) opt[29][1] = 0
201.78/183.80	c (164,0) opt[29][2] = 0
201.78/183.80	c (164,0) opt[29][3] = 1
201.78/183.80	c (164,0) opt[29][4] = 0
201.78/183.80	c (164,0) opt[30][0] = 1
201.78/183.80	c (164,0) opt[30][1] = 1
201.78/183.80	c (164,0) opt[30][2] = 0
201.78/183.80	c (164,0) opt[30][3] = 1
201.78/183.80	c (164,0) opt[30][4] = 0
201.78/183.80	c (164,0) opt[31][0] = 0
201.78/183.80	c (164,0) opt[31][1] = 1
201.78/183.80	c (164,0) opt[31][2] = 0
201.78/183.80	c (164,0) opt[31][3] = 0
201.78/183.80	c (164,0) opt[31][4] = 0
201.78/183.80	c (164,0) opt[32][0] = 1
201.78/183.80	c (164,0) opt[32][1] = 0
201.78/183.80	c (164,0) opt[32][2] = 1
201.78/183.80	c (164,0) opt[32][3] = 0
201.78/183.80	c (164,0) opt[32][4] = 1
201.78/183.80	c (164,0) opt[33][0] = 0
201.78/183.80	c (164,0) opt[33][1] = 1
201.78/183.80	c (164,0) opt[33][2] = 0
201.78/183.80	c (164,0) opt[33][3] = 0
201.78/183.80	c (164,0) opt[33][4] = 0
201.78/183.80	c (164,0) opt[34][0] = 1
201.78/183.80	c (164,0) opt[34][1] = 0
201.78/183.80	c (164,0) opt[34][2] = 0
201.78/183.80	c (164,0) opt[34][3] = 0
201.78/183.80	c (164,0) opt[34][4] = 0
201.78/183.80	c (164,0) opt[35][0] = 0
201.78/183.80	c (164,0) opt[35][1] = 1
201.78/183.80	c (164,0) opt[35][2] = 1
201.78/183.80	c (164,0) opt[35][3] = 0
201.78/183.80	c (164,0) opt[35][4] = 0
201.78/183.80	c (164,0) opt[36][0] = 1
201.78/183.80	c (164,0) opt[36][1] = 1
201.78/183.80	c (164,0) opt[36][2] = 0
201.78/183.80	c (164,0) opt[36][3] = 0
201.78/183.80	c (164,0) opt[36][4] = 0
201.78/183.80	c (164,0) opt[37][0] = 0
201.78/183.80	c (164,0) opt[37][1] = 0
201.78/183.80	c (164,0) opt[37][2] = 0
201.78/183.80	c (164,0) opt[37][3] = 1
201.78/183.80	c (164,0) opt[37][4] = 0
201.78/183.80	c (164,0) opt[38][0] = 0
201.78/183.80	c (164,0) opt[38][1] = 1
201.78/183.80	c (164,0) opt[38][2] = 0
201.78/183.80	c (164,0) opt[38][3] = 0
201.78/183.80	c (164,0) opt[38][4] = 1
201.78/183.80	c (164,0) opt[39][0] = 1
201.78/183.80	c (164,0) opt[39][1] = 0
201.78/183.80	c (164,0) opt[39][2] = 0
201.78/183.80	c (164,0) opt[39][3] = 0
201.78/183.80	c (164,0) opt[39][4] = 0
201.78/183.80	c (164,0) opt[40][0] = 0
201.78/183.80	c (164,0) opt[40][1] = 1
201.78/183.80	c (164,0) opt[40][2] = 1
201.78/183.80	c (164,0) opt[40][3] = 1
201.78/183.80	c (164,0) opt[40][4] = 0
201.78/183.80	c (164,0) opt[41][0] = 0
201.78/183.80	c (164,0) opt[41][1] = 1
201.78/183.80	c (164,0) opt[41][2] = 0
201.78/183.80	c (164,0) opt[41][3] = 0
201.78/183.80	c (164,0) opt[41][4] = 0
201.78/183.80	c (164,0) opt[42][0] = 0
201.78/183.80	c (164,0) opt[42][1] = 0
201.78/183.80	c (164,0) opt[42][2] = 0
201.78/183.80	c (164,0) opt[42][3] = 1
201.78/183.80	c (164,0) opt[42][4] = 0
201.78/183.80	c (164,0) opt[43][0] = 1
201.78/183.80	c (164,0) opt[43][1] = 1
201.78/183.80	c (164,0) opt[43][2] = 0
201.78/183.80	c (164,0) opt[43][3] = 0
201.78/183.80	c (164,0) opt[43][4] = 1
201.78/183.80	c (164,0) opt[44][0] = 0
201.78/183.80	c (164,0) opt[44][1] = 1
201.78/183.80	c (164,0) opt[44][2] = 0
201.78/183.80	c (164,0) opt[44][3] = 0
201.78/183.80	c (164,0) opt[44][4] = 0
201.78/183.80	c (164,0) opt[45][0] = 1
201.78/183.80	c (164,0) opt[45][1] = 0
201.78/183.80	c (164,0) opt[45][2] = 0
201.78/183.80	c (164,0) opt[45][3] = 0
201.78/183.80	c (164,0) opt[45][4] = 0
201.78/183.80	c (164,0) opt[46][0] = 0
201.78/183.80	c (164,0) opt[46][1] = 0
201.78/183.80	c (164,0) opt[46][2] = 1
201.78/183.80	c (164,0) opt[46][3] = 0
201.78/183.80	c (164,0) opt[46][4] = 0
201.78/183.80	c (164,0) opt[47][0] = 0
201.78/183.80	c (164,0) opt[47][1] = 1
201.78/183.80	c (164,0) opt[47][2] = 0
201.78/183.80	c (164,0) opt[47][3] = 0
201.78/183.80	c (164,0) opt[47][4] = 0
201.78/183.80	c (164,0) opt[48][0] = 1
201.78/183.80	c (164,0) opt[48][1] = 1
201.78/183.80	c (164,0) opt[48][2] = 0
201.78/183.80	c (164,0) opt[48][3] = 0
201.78/183.80	c (164,0) opt[48][4] = 0
201.78/183.80	c (164,0) opt[49][0] = 0
201.78/183.80	c (164,0) opt[49][1] = 0
201.78/183.80	c (164,0) opt[49][2] = 1
201.78/183.80	c (164,0) opt[49][3] = 0
201.78/183.80	c (164,0) opt[49][4] = 0
201.78/183.80	c (164,0) opt[50][0] = 0
201.78/183.80	c (164,0) opt[50][1] = 0
201.78/183.80	c (164,0) opt[50][2] = 0
201.78/183.80	c (164,0) opt[50][3] = 1
201.78/183.80	c (164,0) opt[50][4] = 0
201.78/183.80	c (164,0) opt[51][0] = 1
201.78/183.80	c (164,0) opt[51][1] = 1
201.78/183.80	c (164,0) opt[51][2] = 0
201.78/183.80	c (164,0) opt[51][3] = 0
201.78/183.80	c (164,0) opt[51][4] = 1
201.78/183.80	c (164,0) opt[52][0] = 0
201.78/183.80	c (164,0) opt[52][1] = 1
201.78/183.80	c (164,0) opt[52][2] = 1
201.78/183.80	c (164,0) opt[52][3] = 0
201.78/183.80	c (164,0) opt[52][4] = 0
201.78/183.80	c (164,0) opt[53][0] = 0
201.78/183.80	c (164,0) opt[53][1] = 0
201.78/183.80	c (164,0) opt[53][2] = 0
201.78/183.80	c (164,0) opt[53][3] = 1
201.78/183.80	c (164,0) opt[53][4] = 0
201.78/183.80	c (164,0) opt[54][0] = 0
201.78/183.80	c (164,0) opt[54][1] = 1
201.78/183.80	c (164,0) opt[54][2] = 0
201.78/183.80	c (164,0) opt[54][3] = 0
201.78/183.80	c (164,0) opt[54][4] = 0
201.78/183.80	c (164,0) opt[55][0] = 1
201.78/183.80	c (164,0) opt[55][1] = 0
201.78/183.80	c (164,0) opt[55][2] = 0
201.78/183.80	c (164,0) opt[55][3] = 0
201.78/183.80	c (164,0) opt[55][4] = 0
201.78/183.80	c (164,0) opt[56][0] = 0
201.78/183.80	c (164,0) opt[56][1] = 1
201.78/183.80	c (164,0) opt[56][2] = 1
201.78/183.80	c (164,0) opt[56][3] = 1
201.78/183.80	c (164,0) opt[56][4] = 0
201.78/183.80	c (164,0) opt[57][0] = 0
201.78/183.80	c (164,0) opt[57][1] = 1
201.78/183.80	c (164,0) opt[57][2] = 0
201.78/183.80	c (164,0) opt[57][3] = 0
201.78/183.80	c (164,0) opt[57][4] = 0
201.78/183.80	c (164,0) opt[58][0] = 1
201.78/183.80	c (164,0) opt[58][1] = 0
201.78/183.80	c (164,0) opt[58][2] = 0
201.78/183.80	c (164,0) opt[58][3] = 0
201.78/183.80	c (164,0) opt[58][4] = 1
201.78/183.80	c (164,0) opt[59][0] = 0
201.78/183.80	c (164,0) opt[59][1] = 0
201.78/183.80	c (164,0) opt[59][2] = 0
201.78/183.80	c (164,0) opt[59][3] = 1
201.78/183.80	c (164,0) opt[59][4] = 0
201.78/183.80	c (164,0) opt[60][0] = 0
201.78/183.80	c (164,0) opt[60][1] = 1
201.78/183.80	c (164,0) opt[60][2] = 1
201.78/183.80	c (164,0) opt[60][3] = 0
201.78/183.80	c (164,0) opt[60][4] = 0
201.78/183.80	c (164,0) opt[61][0] = 0
201.78/183.80	c (164,0) opt[61][1] = 1
201.78/183.80	c (164,0) opt[61][2] = 0
201.78/183.80	c (164,0) opt[61][3] = 0
201.78/183.80	c (164,0) opt[61][4] = 0
201.78/183.80	c (164,0) opt[62][0] = 1
201.78/183.80	c (164,0) opt[62][1] = 0
201.78/183.80	c (164,0) opt[62][2] = 0
201.78/183.80	c (164,0) opt[62][3] = 0
201.78/183.80	c (164,0) opt[62][4] = 0
201.78/183.80	c (164,0) opt[63][0] = 0
201.78/183.80	c (164,0) opt[63][1] = 1
201.78/183.80	c (164,0) opt[63][2] = 0
201.78/183.80	c (164,0) opt[63][3] = 0
201.78/183.80	c (164,0) opt[63][4] = 1
201.78/183.80	c (164,0) opt[64][0] = 0
201.78/183.80	c (164,0) opt[64][1] = 0
201.78/183.80	c (164,0) opt[64][2] = 1
201.78/183.80	c (164,0) opt[64][3] = 1
201.78/183.80	c (164,0) opt[64][4] = 0
201.78/183.80	c (164,0) opt[65][0] = 0
201.78/183.80	c (164,0) opt[65][1] = 1
201.78/183.80	c (164,0) opt[65][2] = 0
201.78/183.80	c (164,0) opt[65][3] = 0
201.78/183.80	c (164,0) opt[65][4] = 0
201.78/183.80	c (164,0) opt[66][0] = 1
201.78/183.80	c (164,0) opt[66][1] = 0
201.78/183.80	c (164,0) opt[66][2] = 0
201.78/183.80	c (164,0) opt[66][3] = 1
201.78/183.80	c (164,0) opt[66][4] = 0
201.78/183.80	c (164,0) opt[67][0] = 0
201.78/183.80	c (164,0) opt[67][1] = 1
201.78/183.80	c (164,0) opt[67][2] = 0
201.78/183.80	c (164,0) opt[67][3] = 0
201.78/183.80	c (164,0) opt[67][4] = 0
201.78/183.80	c (164,0) opt[68][0] = 1
201.78/183.80	c (164,0) opt[68][1] = 0
201.78/183.80	c (164,0) opt[68][2] = 1
201.78/183.80	c (164,0) opt[68][3] = 0
201.78/183.80	c (164,0) opt[68][4] = 0
201.78/183.80	c (164,0) opt[69][0] = 0
201.78/183.80	c (164,0) opt[69][1] = 1
201.78/183.80	c (164,0) opt[69][2] = 0
201.78/183.80	c (164,0) opt[69][3] = 1
201.78/183.80	c (164,0) opt[69][4] = 1
201.78/183.80	c (164,0) opt[70][0] = 1
201.78/183.80	c (164,0) opt[70][1] = 0
201.78/183.80	c (164,0) opt[70][2] = 0
201.78/183.80	c (164,0) opt[70][3] = 0
201.78/183.80	c (164,0) opt[70][4] = 0
201.78/183.80	c (164,0) opt[71][0] = 0
201.78/183.80	c (164,0) opt[71][1] = 1
201.78/183.80	c (164,0) opt[71][2] = 0
201.78/183.80	c (164,0) opt[71][3] = 0
201.78/183.80	c (164,0) opt[71][4] = 0
201.78/183.80	c (164,0) opt[72][0] = 1
201.78/183.80	c (164,0) opt[72][1] = 0
201.78/183.80	c (164,0) opt[72][2] = 1
201.78/183.80	c (164,0) opt[72][3] = 1
201.78/183.80	c (164,0) opt[72][4] = 0
201.78/183.80	c (164,0) opt[73][0] = 0
201.78/183.80	c (164,0) opt[73][1] = 1
201.78/183.80	c (164,0) opt[73][2] = 0
201.78/183.80	c (164,0) opt[73][3] = 0
201.78/183.80	c (164,0) opt[73][4] = 0
201.78/183.80	c (164,0) opt[74][0] = 1
201.78/183.80	c (164,0) opt[74][1] = 0
201.78/183.80	c (164,0) opt[74][2] = 0
201.78/183.80	c (164,0) opt[74][3] = 1
201.78/183.80	c (164,0) opt[74][4] = 0
201.78/183.80	c (164,0) opt[75][0] = 0
201.78/183.80	c (164,0) opt[75][1] = 1
201.78/183.80	c (164,0) opt[75][2] = 0
201.78/183.80	c (164,0) opt[75][3] = 0
201.78/183.80	c (164,0) opt[75][4] = 0
201.78/183.80	c (164,0) opt[76][0] = 0
201.78/183.80	c (164,0) opt[76][1] = 0
201.78/183.80	c (164,0) opt[76][2] = 0
201.78/183.80	c (164,0) opt[76][3] = 0
201.78/183.80	c (164,0) opt[76][4] = 1
201.78/183.80	c (164,0) opt[77][0] = 1
201.78/183.80	c (164,0) opt[77][1] = 1
201.78/183.80	c (164,0) opt[77][2] = 1
201.78/183.80	c (164,0) opt[77][3] = 0
201.78/183.80	c (164,0) opt[77][4] = 0
201.78/183.80	c (164,0) opt[78][0] = 0
201.78/183.80	c (164,0) opt[78][1] = 0
201.78/183.80	c (164,0) opt[78][2] = 0
201.78/183.80	c (164,0) opt[78][3] = 1
201.78/183.80	c (164,0) opt[78][4] = 0
201.78/183.80	c (164,0) opt[79][0] = 0
201.78/183.80	c (164,0) opt[79][1] = 1
201.78/183.80	c (164,0) opt[79][2] = 0
201.78/183.80	c (164,0) opt[79][3] = 0
201.78/183.80	c (164,0) opt[79][4] = 0
201.78/183.80	c (164,0) opt[80][0] = 1
201.78/183.80	c (164,0) opt[80][1] = 1
201.78/183.80	c (164,0) opt[80][2] = 1
201.78/183.80	c (164,0) opt[80][3] = 0
201.78/183.80	c (164,0) opt[80][4] = 0
201.78/183.80	c (164,0) opt[81][0] = 0
201.78/183.80	c (164,0) opt[81][1] = 0
201.78/183.80	c (164,0) opt[81][2] = 0
201.78/183.80	c (164,0) opt[81][3] = 1
201.78/183.80	c (164,0) opt[81][4] = 0
201.78/183.80	c (164,0) opt[82][0] = 0
201.78/183.80	c (164,0) opt[82][1] = 1
201.78/183.80	c (164,0) opt[82][2] = 0
201.78/183.80	c (164,0) opt[82][3] = 0
201.78/183.80	c (164,0) opt[82][4] = 0
201.78/183.80	c (164,0) opt[83][0] = 0
201.78/183.80	c (164,0) opt[83][1] = 0
201.78/183.80	c (164,0) opt[83][2] = 1
201.78/183.80	c (164,0) opt[83][3] = 1
201.78/183.80	c (164,0) opt[83][4] = 1
201.78/183.80	c (164,0) opt[84][0] = 1
201.78/183.80	c (164,0) opt[84][1] = 0
201.78/183.80	c (164,0) opt[84][2] = 0
201.78/183.80	c (164,0) opt[84][3] = 0
201.78/183.80	c (164,0) opt[84][4] = 0
201.78/183.80	c (164,0) opt[85][0] = 0
201.78/183.80	c (164,0) opt[85][1] = 1
201.78/183.80	c (164,0) opt[85][2] = 0
201.78/183.80	c (164,0) opt[85][3] = 0
201.78/183.80	c (164,0) opt[85][4] = 0
201.78/183.80	c (164,0) opt[86][0] = 0
201.78/183.80	c (164,0) opt[86][1] = 1
201.78/183.80	c (164,0) opt[86][2] = 1
201.78/183.80	c (164,0) opt[86][3] = 1
201.78/183.80	c (164,0) opt[86][4] = 0
201.78/183.80	c (164,0) opt[87][0] = 1
201.78/183.80	c (164,0) opt[87][1] = 0
201.78/183.80	c (164,0) opt[87][2] = 0
201.78/183.80	c (164,0) opt[87][3] = 0
201.78/183.80	c (164,0) opt[87][4] = 0
201.78/183.80	c (164,0) opt[88][0] = 0
201.78/183.80	c (164,0) opt[88][1] = 1
201.78/183.80	c (164,0) opt[88][2] = 0
201.78/183.80	c (164,0) opt[88][3] = 0
201.78/183.80	c (164,0) opt[88][4] = 1
201.78/183.80	c (164,0) opt[89][0] = 0
201.78/183.80	c (164,0) opt[89][1] = 1
201.78/183.80	c (164,0) opt[89][2] = 0
201.78/183.80	c (164,0) opt[89][3] = 0
201.78/183.80	c (164,0) opt[89][4] = 0
201.78/183.80	c (164,0) opt[90][0] = 1
201.78/183.80	c (164,0) opt[90][1] = 0
201.78/183.80	c (164,0) opt[90][2] = 1
201.78/183.80	c (164,0) opt[90][3] = 1
201.78/183.80	c (164,0) opt[90][4] = 0
201.78/183.80	c (164,0) opt[91][0] = 0
201.78/183.80	c (164,0) opt[91][1] = 1
201.78/183.80	c (164,0) opt[91][2] = 0
201.78/183.80	c (164,0) opt[91][3] = 0
201.78/183.80	c (164,0) opt[91][4] = 0
201.78/183.80	c (164,0) opt[92][0] = 1
201.78/183.80	c (164,0) opt[92][1] = 1
201.78/183.80	c (164,0) opt[92][2] = 0
201.78/183.80	c (164,0) opt[92][3] = 0
201.78/183.80	c (164,0) opt[92][4] = 0
201.78/183.80	c (164,0) opt[93][0] = 0
201.78/183.80	c (164,0) opt[93][1] = 0
201.78/183.80	c (164,0) opt[93][2] = 0
201.78/183.80	c (164,0) opt[93][3] = 1
201.78/183.80	c (164,0) opt[93][4] = 0
201.78/183.80	c (164,0) opt[94][0] = 1
201.78/183.80	c (164,0) opt[94][1] = 1
201.78/183.80	c (164,0) opt[94][2] = 0
201.78/183.80	c (164,0) opt[94][3] = 0
201.78/183.80	c (164,0) opt[94][4] = 0
201.78/183.80	c (164,0) opt[95][0] = 0
201.78/183.80	c (164,0) opt[95][1] = 0
201.78/183.80	c (164,0) opt[95][2] = 1
201.78/183.80	c (164,0) opt[95][3] = 0
201.78/183.80	c (164,0) opt[95][4] = 0
201.78/183.80	c (164,0) opt[96][0] = 0
201.78/183.80	c (164,0) opt[96][1] = 0
201.78/183.80	c (164,0) opt[96][2] = 0
201.78/183.80	c (164,0) opt[96][3] = 0
201.78/183.80	c (164,0) opt[96][4] = 1
201.78/183.80	c (164,0) opt[97][0] = 0
201.78/183.80	c (164,0) opt[97][1] = 0
201.78/183.80	c (164,0) opt[97][2] = 0
201.78/183.80	c (164,0) opt[97][3] = 1
201.78/183.80	c (164,0) opt[97][4] = 0
201.78/183.80	c (164,0) opt[98][0] = 1
201.78/183.80	c (164,0) opt[98][1] = 1
201.78/183.80	c (164,0) opt[98][2] = 1
201.78/183.80	c (164,0) opt[98][3] = 1
201.78/183.80	c (164,0) opt[98][4] = 0
201.78/183.80	c (164,0) opt[99][0] = 0
201.78/183.80	c (164,0) opt[99][1] = 1
201.78/183.80	c (164,0) opt[99][2] = 0
201.78/183.80	c (164,0) opt[99][3] = 0
201.78/183.80	c (164,0) opt[99][4] = 0
201.78/183.80	c (164,0) opt[100][0] = 1
201.78/183.80	c (164,0) opt[100][1] = 0
201.78/183.80	c (164,0) opt[100][2] = 0
201.78/183.80	c (164,0) opt[100][3] = 0
201.78/183.80	c (164,0) opt[100][4] = 0
201.78/183.80	c (164,0) opt[101][0] = 0
201.78/183.80	c (164,0) opt[101][1] = 0
201.78/183.80	c (164,0) opt[101][2] = 0
201.78/183.80	c (164,0) opt[101][3] = 0
201.78/183.80	c (164,0) opt[101][4] = 1
201.78/183.80	c (164,0) opt[102][0] = 0
201.78/183.80	c (164,0) opt[102][1] = 1
201.78/183.80	c (164,0) opt[102][2] = 0
201.78/183.80	c (164,0) opt[102][3] = 0
201.78/183.80	c (164,0) opt[102][4] = 0
201.78/183.80	c (164,0) opt[103][0] = 1
201.78/183.80	c (164,0) opt[103][1] = 1
201.78/183.80	c (164,0) opt[103][2] = 0
201.78/183.80	c (164,0) opt[103][3] = 1
201.78/183.80	c (164,0) opt[103][4] = 0
201.78/183.80	c (164,0) opt[104][0] = 0
201.78/183.80	c (164,0) opt[104][1] = 0
201.78/183.80	c (164,0) opt[104][2] = 0
201.78/183.80	c (164,0) opt[104][3] = 1
201.78/183.80	c (164,0) opt[104][4] = 0
201.78/183.80	c (164,0) opt[105][0] = 0
201.78/183.80	c (164,0) opt[105][1] = 0
201.78/183.80	c (164,0) opt[105][2] = 1
201.78/183.80	c (164,0) opt[105][3] = 0
201.78/183.80	c (164,0) opt[105][4] = 0
201.78/183.80	c (164,0) opt[106][0] = 1
201.78/183.80	c (164,0) opt[106][1] = 0
201.78/183.80	c (164,0) opt[106][2] = 0
201.78/183.80	c (164,0) opt[106][3] = 0
201.78/183.80	c (164,0) opt[106][4] = 1
201.78/183.80	c (164,0) opt[107][0] = 0
201.78/183.80	c (164,0) opt[107][1] = 1
201.78/183.80	c (164,0) opt[107][2] = 0
201.78/183.80	c (164,0) opt[107][3] = 0
201.78/183.80	c (164,0) opt[107][4] = 0
201.78/183.80	c (164,0) opt[108][0] = 0
201.78/183.80	c (164,0) opt[108][1] = 0
201.78/183.80	c (164,0) opt[108][2] = 0
201.78/183.80	c (164,0) opt[108][3] = 1
201.78/183.80	c (164,0) opt[108][4] = 0
201.78/183.80	c (164,0) opt[109][0] = 1
201.78/183.80	c (164,0) opt[109][1] = 1
201.78/183.80	c (164,0) opt[109][2] = 1
201.78/183.80	c (164,0) opt[109][3] = 0
201.78/183.80	c (164,0) opt[109][4] = 0
201.78/183.80	c (164,0) opt[110][0] = 0
201.78/183.80	c (164,0) opt[110][1] = 0
201.78/183.80	c (164,0) opt[110][2] = 0
201.78/183.80	c (164,0) opt[110][3] = 1
201.78/183.80	c (164,0) opt[110][4] = 0
201.78/183.80	c (164,0) opt[111][0] = 0
201.78/183.80	c (164,0) opt[111][1] = 1
201.78/183.80	c (164,0) opt[111][2] = 0
201.78/183.80	c (164,0) opt[111][3] = 0
201.78/183.80	c (164,0) opt[111][4] = 1
201.78/183.80	c (164,0) opt[112][0] = 1
201.78/183.80	c (164,0) opt[112][1] = 1
201.78/183.80	c (164,0) opt[112][2] = 1
201.78/183.80	c (164,0) opt[112][3] = 0
201.78/183.80	c (164,0) opt[112][4] = 0
201.78/183.80	c (164,0) opt[113][0] = 0
201.78/183.80	c (164,0) opt[113][1] = 0
201.78/183.80	c (164,0) opt[113][2] = 0
201.78/183.80	c (164,0) opt[113][3] = 1
201.78/183.80	c (164,0) opt[113][4] = 0
201.78/183.80	c (164,0) opt[114][0] = 1
201.78/183.80	c (164,0) opt[114][1] = 1
201.78/183.80	c (164,0) opt[114][2] = 0
201.78/183.80	c (164,0) opt[114][3] = 0
201.78/183.80	c (164,0) opt[114][4] = 0
201.78/183.80	c (164,0) opt[115][0] = 0
201.78/183.80	c (164,0) opt[115][1] = 1
201.78/183.80	c (164,0) opt[115][2] = 0
201.78/183.80	c (164,0) opt[115][3] = 0
201.78/183.80	c (164,0) opt[115][4] = 0
201.78/183.80	c (164,0) opt[116][0] = 1
201.78/183.80	c (164,0) opt[116][1] = 0
201.78/183.80	c (164,0) opt[116][2] = 0
201.78/183.80	c (164,0) opt[116][3] = 0
201.78/183.80	c (164,0) opt[116][4] = 0
201.78/183.80	c (164,0) opt[117][0] = 0
201.78/183.80	c (164,0) opt[117][1] = 0
201.78/183.80	c (164,0) opt[117][2] = 1
201.78/183.80	c (164,0) opt[117][3] = 1
201.78/183.80	c (164,0) opt[117][4] = 0
201.78/183.80	c (164,0) opt[118][0] = 0
201.78/183.80	c (164,0) opt[118][1] = 1
201.78/183.80	c (164,0) opt[118][2] = 0
201.78/183.80	c (164,0) opt[118][3] = 0
201.78/183.80	c (164,0) opt[118][4] = 1
201.78/183.80	c (164,0) opt[119][0] = 1
201.78/183.80	c (164,0) opt[119][1] = 0
201.78/183.80	c (164,0) opt[119][2] = 0
201.78/183.80	c (164,0) opt[119][3] = 1
201.78/183.80	c (164,0) opt[119][4] = 0
201.78/183.80	c (164,0) opt[120][0] = 0
201.78/183.80	c (164,0) opt[120][1] = 1
201.78/183.80	c (164,0) opt[120][2] = 0
201.78/183.80	c (164,0) opt[120][3] = 0
201.78/183.80	c (164,0) opt[120][4] = 0
201.78/183.80	c (164,0) opt[121][0] = 0
201.78/183.80	c (164,0) opt[121][1] = 0
201.78/183.80	c (164,0) opt[121][2] = 1
201.78/183.80	c (164,0) opt[121][3] = 0
201.78/183.80	c (164,0) opt[121][4] = 0
201.78/183.80	c (164,0) opt[122][0] = 0
201.78/183.80	c (164,0) opt[122][1] = 0
201.78/183.80	c (164,0) opt[122][2] = 0
201.78/183.80	c (164,0) opt[122][3] = 1
201.78/183.80	c (164,0) opt[122][4] = 0
201.78/183.80	c (164,0) opt[123][0] = 1
201.78/183.80	c (164,0) opt[123][1] = 1
201.78/183.80	c (164,0) opt[123][2] = 0
201.78/183.80	c (164,0) opt[123][3] = 0
201.78/183.80	c (164,0) opt[123][4] = 1
201.78/183.80	c (164,0) opt[124][0] = 0
201.78/183.80	c (164,0) opt[124][1] = 1
201.78/183.80	c (164,0) opt[124][2] = 1
201.78/183.80	c (164,0) opt[124][3] = 0
201.78/183.80	c (164,0) opt[124][4] = 0
201.78/183.80	c (164,0) opt[125][0] = 1
201.78/183.80	c (164,0) opt[125][1] = 0
201.78/183.80	c (164,0) opt[125][2] = 0
201.78/183.80	c (164,0) opt[125][3] = 0
201.78/183.80	c (164,0) opt[125][4] = 0
201.78/183.80	c (164,0) opt[126][0] = 0
201.78/183.80	c (164,0) opt[126][1] = 0
201.78/183.80	c (164,0) opt[126][2] = 0
201.78/183.80	c (164,0) opt[126][3] = 1
201.78/183.80	c (164,0) opt[126][4] = 0
201.78/183.80	c (164,0) opt[127][0] = 1
201.78/183.80	c (164,0) opt[127][1] = 0
201.78/183.80	c (164,0) opt[127][2] = 1
201.78/183.80	c (164,0) opt[127][3] = 0
201.78/183.80	c (164,0) opt[127][4] = 0
201.78/183.80	c (164,0) opt[128][0] = 0
201.78/183.80	c (164,0) opt[128][1] = 1
201.78/183.80	c (164,0) opt[128][2] = 0
201.78/183.80	c (164,0) opt[128][3] = 0
201.78/183.80	c (164,0) opt[128][4] = 1
201.78/183.80	c (164,0) opt[129][0] = 0
201.78/183.80	c (164,0) opt[129][1] = 1
201.78/183.80	c (164,0) opt[129][2] = 0
201.78/183.80	c (164,0) opt[129][3] = 0
201.78/183.80	c (164,0) opt[129][4] = 0
201.78/183.80	c (164,0) opt[130][0] = 1
201.78/183.80	c (164,0) opt[130][1] = 0
201.78/183.80	c (164,0) opt[130][2] = 1
201.78/183.80	c (164,0) opt[130][3] = 0
201.78/183.80	c (164,0) opt[130][4] = 0
201.78/183.80	c (164,0) opt[131][0] = 0
201.78/183.80	c (164,0) opt[131][1] = 1
201.78/183.80	c (164,0) opt[131][2] = 0
201.78/183.80	c (164,0) opt[131][3] = 0
201.78/183.80	c (164,0) opt[131][4] = 0
201.78/183.80	c (164,0) opt[132][0] = 0
201.78/183.80	c (164,0) opt[132][1] = 0
201.78/183.80	c (164,0) opt[132][2] = 0
201.78/183.80	c (164,0) opt[132][3] = 1
201.78/183.80	c (164,0) opt[132][4] = 0
201.78/183.80	c (164,0) opt[133][0] = 1
201.78/183.80	c (164,0) opt[133][1] = 1
201.78/183.80	c (164,0) opt[133][2] = 0
201.78/183.80	c (164,0) opt[133][3] = 1
201.78/183.80	c (164,0) opt[133][4] = 1
201.78/183.80	c (164,0) opt[134][0] = 0
201.78/183.80	c (164,0) opt[134][1] = 1
201.78/183.80	c (164,0) opt[134][2] = 1
201.78/183.80	c (164,0) opt[134][3] = 0
201.78/183.80	c (164,0) opt[134][4] = 0
201.78/183.80	c (164,0) opt[135][0] = 1
201.78/183.80	c (164,0) opt[135][1] = 0
201.78/183.80	c (164,0) opt[135][2] = 0
201.78/183.80	c (164,0) opt[135][3] = 0
201.78/183.80	c (164,0) opt[135][4] = 0
201.78/183.80	c (164,0) opt[136][0] = 0
201.78/183.80	c (164,0) opt[136][1] = 1
201.78/183.80	c (164,0) opt[136][2] = 0
201.78/183.80	c (164,0) opt[136][3] = 0
201.78/183.80	c (164,0) opt[136][4] = 0
201.78/183.80	c (164,0) opt[137][0] = 1
201.78/183.80	c (164,0) opt[137][1] = 1
201.78/183.80	c (164,0) opt[137][2] = 1
201.78/183.80	c (164,0) opt[137][3] = 0
201.78/183.80	c (164,0) opt[137][4] = 0
201.78/183.80	c (164,0) opt[138][0] = 0
201.78/183.80	c (164,0) opt[138][1] = 0
201.78/183.80	c (164,0) opt[138][2] = 0
201.78/183.80	c (164,0) opt[138][3] = 1
201.78/183.80	c (164,0) opt[138][4] = 1
201.78/183.80	c (164,0) opt[139][0] = 1
201.78/183.80	c (164,0) opt[139][1] = 0
201.78/183.80	c (164,0) opt[139][2] = 0
201.78/183.80	c (164,0) opt[139][3] = 0
201.78/183.80	c (164,0) opt[139][4] = 0
201.78/183.80	c (164,0) opt[140][0] = 0
201.78/183.80	c (164,0) opt[140][1] = 1
201.78/183.80	c (164,0) opt[140][2] = 0
201.78/183.80	c (164,0) opt[140][3] = 0
201.78/183.80	c (164,0) opt[140][4] = 0
201.78/183.80	c (164,0) opt[141][0] = 1
201.78/183.80	c (164,0) opt[141][1] = 1
201.78/183.80	c (164,0) opt[141][2] = 0
201.78/183.80	c (164,0) opt[141][3] = 0
201.78/183.80	c (164,0) opt[141][4] = 0
201.78/183.80	c (164,0) opt[142][0] = 0
201.78/183.80	c (164,0) opt[142][1] = 0
201.78/183.80	c (164,0) opt[142][2] = 1
201.78/183.80	c (164,0) opt[142][3] = 1
201.78/183.80	c (164,0) opt[142][4] = 0
201.78/183.80	c (164,0) opt[143][0] = 0
201.78/183.80	c (164,0) opt[143][1] = 0
201.78/183.80	c (164,0) opt[143][2] = 0
201.78/183.80	c (164,0) opt[143][3] = 0
201.78/183.80	c (164,0) opt[143][4] = 1
201.78/183.80	c (164,0) opt[144][0] = 1
201.78/183.80	c (164,0) opt[144][1] = 1
201.78/183.80	c (164,0) opt[144][2] = 0
201.78/183.80	c (164,0) opt[144][3] = 0
201.78/183.80	c (164,0) opt[144][4] = 0
201.78/183.80	c (164,0) opt[145][0] = 0
201.78/183.80	c (164,0) opt[145][1] = 1
201.78/183.80	c (164,0) opt[145][2] = 0
201.78/183.80	c (164,0) opt[145][3] = 0
201.78/183.80	c (164,0) opt[145][4] = 0
201.78/183.80	c (164,0) opt[146][0] = 0
201.78/183.80	c (164,0) opt[146][1] = 0
201.78/183.80	c (164,0) opt[146][2] = 1
201.78/183.80	c (164,0) opt[146][3] = 0
201.78/183.80	c (164,0) opt[146][4] = 0
201.78/183.80	c (164,0) opt[147][0] = 0
201.78/183.80	c (164,0) opt[147][1] = 1
201.78/183.80	c (164,0) opt[147][2] = 0
201.78/183.80	c (164,0) opt[147][3] = 0
201.78/183.80	c (164,0) opt[147][4] = 0
201.78/183.80	c (164,0) opt[148][0] = 0
201.78/183.80	c (164,0) opt[148][1] = 0
201.78/183.80	c (164,0) opt[148][2] = 0
201.78/183.80	c (164,0) opt[148][3] = 0
201.78/183.80	c (164,0) opt[148][4] = 1
201.78/183.80	c (164,0) opt[149][0] = 1
201.78/183.80	c (164,0) opt[149][1] = 1
201.78/183.80	c (164,0) opt[149][2] = 0
201.78/183.80	c (164,0) opt[149][3] = 1
201.78/183.80	c (164,0) opt[149][4] = 0
201.78/183.80	c (164,0) opt[150][0] = 0
201.78/183.80	c (164,0) opt[150][1] = 1
201.78/183.80	c (164,0) opt[150][2] = 0
201.78/183.80	c (164,0) opt[150][3] = 0
201.78/183.80	c (164,0) opt[150][4] = 0
201.78/183.80	c (164,0) opt[151][0] = 0
201.78/183.80	c (164,0) opt[151][1] = 0
201.78/183.80	c (164,0) opt[151][2] = 0
201.78/183.80	c (164,0) opt[151][3] = 1
201.78/183.80	c (164,0) opt[151][4] = 0
201.78/183.80	c (164,0) opt[152][0] = 0
201.78/183.80	c (164,0) opt[152][1] = 1
201.78/183.80	c (164,0) opt[152][2] = 1
201.78/183.80	c (164,0) opt[152][3] = 0
201.78/183.80	c (164,0) opt[152][4] = 0
201.78/183.80	c (164,0) opt[153][0] = 1
201.78/183.80	c (164,0) opt[153][1] = 1
201.78/183.80	c (164,0) opt[153][2] = 0
201.78/183.80	c (164,0) opt[153][3] = 0
201.78/183.80	c (164,0) opt[153][4] = 0
201.78/183.80	c (164,0) opt[154][0] = 0
201.78/183.80	c (164,0) opt[154][1] = 0
201.78/183.80	c (164,0) opt[154][2] = 0
201.78/183.80	c (164,0) opt[154][3] = 0
201.78/183.80	c (164,0) opt[154][4] = 1
201.78/183.80	c (164,0) opt[155][0] = 1
201.78/183.80	c (164,0) opt[155][1] = 0
201.78/183.80	c (164,0) opt[155][2] = 1
201.78/183.80	c (164,0) opt[155][3] = 0
201.78/183.80	c (164,0) opt[155][4] = 0
201.78/183.80	c (164,0) opt[156][0] = 0
201.78/183.80	c (164,0) opt[156][1] = 1
201.78/183.80	c (164,0) opt[156][2] = 0
201.78/183.80	c (164,0) opt[156][3] = 0
201.78/183.80	c (164,0) opt[156][4] = 0
201.78/183.80	c (164,0) opt[157][0] = 0
201.78/183.80	c (164,0) opt[157][1] = 1
201.78/183.80	c (164,0) opt[157][2] = 0
201.78/183.80	c (164,0) opt[157][3] = 0
201.78/183.80	c (164,0) opt[157][4] = 0
201.78/183.80	c (164,0) opt[158][0] = 1
201.78/183.80	c (164,0) opt[158][1] = 0
201.78/183.80	c (164,0) opt[158][2] = 0
201.78/183.80	c (164,0) opt[158][3] = 1
201.78/183.80	c (164,0) opt[158][4] = 0
201.78/183.80	c (164,0) opt[159][0] = 0
201.78/183.80	c (164,0) opt[159][1] = 0
201.78/183.80	c (164,0) opt[159][2] = 0
201.78/183.80	c (164,0) opt[159][3] = 1
201.78/183.80	c (164,0) opt[159][4] = 1
201.78/183.80	c (164,0) opt[160][0] = 0
201.78/183.80	c (164,0) opt[160][1] = 0
201.78/183.80	c (164,0) opt[160][2] = 1
201.78/183.80	c (164,0) opt[160][3] = 0
201.78/183.80	c (164,0) opt[160][4] = 0
201.78/183.80	c (164,0) opt[161][0] = 0
201.78/183.80	c (164,0) opt[161][1] = 1
201.78/183.80	c (164,0) opt[161][2] = 0
201.78/183.80	c (164,0) opt[161][3] = 0
201.78/183.80	c (164,0) opt[161][4] = 0
201.78/183.80	c (164,0) opt[162][0] = 1
201.78/183.80	c (164,0) opt[162][1] = 0
201.78/183.80	c (164,0) opt[162][2] = 0
201.78/183.80	c (164,0) opt[162][3] = 0
201.78/183.80	c (164,0) opt[162][4] = 0
201.78/183.80	c (164,0) opt[163][0] = 0
201.78/183.80	c (164,0) opt[163][1] = 1
201.78/183.80	c (164,0) opt[163][2] = 0
201.78/183.80	c (164,0) opt[163][3] = 0
201.78/183.80	c (164,0) opt[163][4] = 0
201.78/183.80	c (164,0) opt[164][0] = 0
201.78/183.80	c (164,0) opt[164][1] = 0
201.78/183.80	c (164,0) opt[164][2] = 0
201.78/183.80	c (164,0) opt[164][3] = 0
201.78/183.80	c (164,0) opt[164][4] = 1
201.78/183.80	c (164,0) opt[165][0] = 0
201.78/183.80	c (164,0) opt[165][1] = 1
201.78/183.80	c (164,0) opt[165][2] = 1
201.78/183.80	c (164,0) opt[165][3] = 0
201.78/183.80	c (164,0) opt[165][4] = 0
201.78/183.80	c (164,0) opt[166][0] = 1
201.78/183.80	c (164,0) opt[166][1] = 0
201.78/183.80	c (164,0) opt[166][2] = 0
201.78/183.80	c (164,0) opt[166][3] = 0
201.78/183.80	c (164,0) opt[166][4] = 0
201.78/183.80	c (164,0) opt[167][0] = 0
201.78/183.80	c (164,0) opt[167][1] = 1
201.78/183.80	c (164,0) opt[167][2] = 0
201.78/183.80	c (164,0) opt[167][3] = 0
201.78/183.80	c (164,0) opt[167][4] = 0
201.78/183.80	c (164,0) opt[168][0] = 1
201.78/183.80	c (164,0) opt[168][1] = 1
201.78/183.80	c (164,0) opt[168][2] = 1
201.78/183.80	c (164,0) opt[168][3] = 1
201.78/183.80	c (164,0) opt[168][4] = 0
201.78/183.80	c (164,0) opt[169][0] = 0
201.78/183.80	c (164,0) opt[169][1] = 0
201.78/183.80	c (164,0) opt[169][2] = 0
201.78/183.80	c (164,0) opt[169][3] = 1
201.78/183.80	c (164,0) opt[169][4] = 1
201.78/183.80	c (164,0) opt[170][0] = 1
201.78/183.80	c (164,0) opt[170][1] = 0
201.78/183.80	c (164,0) opt[170][2] = 0
201.78/183.80	c (164,0) opt[170][3] = 0
201.78/183.80	c (164,0) opt[170][4] = 0
201.78/183.80	c (164,0) opt[171][0] = 0
201.78/183.80	c (164,0) opt[171][1] = 1
201.78/183.80	c (164,0) opt[171][2] = 1
201.78/183.80	c (164,0) opt[171][3] = 0
201.78/183.80	c (164,0) opt[171][4] = 0
201.78/183.80	c (164,0) opt[172][0] = 0
201.78/183.80	c (164,0) opt[172][1] = 1
201.78/183.80	c (164,0) opt[172][2] = 0
201.78/183.80	c (164,0) opt[172][3] = 0
201.78/183.80	c (164,0) opt[172][4] = 0
201.78/183.80	c (164,0) opt[173][0] = 1
201.78/183.80	c (164,0) opt[173][1] = 0
201.78/183.80	c (164,0) opt[173][2] = 0
201.78/183.80	c (164,0) opt[173][3] = 0
201.78/183.80	c (164,0) opt[173][4] = 0
201.78/183.80	c (164,0) opt[174][0] = 0
201.78/183.80	c (164,0) opt[174][1] = 0
201.78/183.80	c (164,0) opt[174][2] = 1
201.78/183.80	c (164,0) opt[174][3] = 1
201.78/183.80	c (164,0) opt[174][4] = 1
201.78/183.80	c (164,0) opt[175][0] = 1
201.78/183.80	c (164,0) opt[175][1] = 1
201.78/183.80	c (164,0) opt[175][2] = 0
201.78/183.80	c (164,0) opt[175][3] = 0
201.78/183.81	c (164,0) opt[175][4] = 0
201.78/183.81	c (164,0) opt[176][0] = 0
201.78/183.81	c (164,0) opt[176][1] = 1
201.78/183.81	c (164,0) opt[176][2] = 0
201.78/183.81	c (164,0) opt[176][3] = 0
201.78/183.81	c (164,0) opt[176][4] = 0
201.78/183.81	c (164,0) opt[177][0] = 1
201.78/183.81	c (164,0) opt[177][1] = 0
201.78/183.81	c (164,0) opt[177][2] = 1
201.78/183.81	c (164,0) opt[177][3] = 1
201.78/183.81	c (164,0) opt[177][4] = 0
201.78/183.81	c (164,0) opt[178][0] = 0
201.78/183.81	c (164,0) opt[178][1] = 1
201.78/183.81	c (164,0) opt[178][2] = 0
201.78/183.81	c (164,0) opt[178][3] = 0
201.78/183.81	c (164,0) opt[178][4] = 0
201.78/183.81	c (164,0) opt[179][0] = 0
201.78/183.81	c (164,0) opt[179][1] = 0
201.78/183.81	c (164,0) opt[179][2] = 0
201.78/183.81	c (164,0) opt[179][3] = 0
201.78/183.81	c (164,0) opt[179][4] = 1
201.78/183.81	c (164,0) opt[180][0] = 1
201.78/183.81	c (164,0) opt[180][1] = 1
201.78/183.81	c (164,0) opt[180][2] = 0
201.78/183.81	c (164,0) opt[180][3] = 0
201.78/183.81	c (164,0) opt[180][4] = 0
201.78/183.81	c (164,0) opt[181][0] = 0
201.78/183.81	c (164,0) opt[181][1] = 0
201.78/183.81	c (164,0) opt[181][2] = 1
201.78/183.81	c (164,0) opt[181][3] = 0
201.78/183.81	c (164,0) opt[181][4] = 0
201.78/183.81	c (164,0) opt[182][0] = 0
201.78/183.81	c (164,0) opt[182][1] = 1
201.78/183.81	c (164,0) opt[182][2] = 0
201.78/183.81	c (164,0) opt[182][3] = 0
201.78/183.81	c (164,0) opt[182][4] = 0
201.78/183.81	c (164,0) opt[183][0] = 1
201.78/183.81	c (164,0) opt[183][1] = 1
201.78/183.81	c (164,0) opt[183][2] = 0
201.78/183.81	c (164,0) opt[183][3] = 1
201.78/183.81	c (164,0) opt[183][4] = 0
201.78/183.81	c (164,0) opt[184][0] = 0
201.78/183.81	c (164,0) opt[184][1] = 0
201.78/183.81	c (164,0) opt[184][2] = 0
201.78/183.81	c (164,0) opt[184][3] = 0
201.78/183.81	c (164,0) opt[184][4] = 1
201.78/183.81	c (164,0) opt[185][0] = 0
201.78/183.81	c (164,0) opt[185][1] = 0
201.78/183.81	c (164,0) opt[185][2] = 1
201.78/183.81	c (164,0) opt[185][3] = 0
201.78/183.81	c (164,0) opt[185][4] = 0
201.78/183.81	c (164,0) opt[186][0] = 1
201.78/183.81	c (164,0) opt[186][1] = 1
201.78/183.81	c (164,0) opt[186][2] = 0
201.78/183.81	c (164,0) opt[186][3] = 1
201.78/183.81	c (164,0) opt[186][4] = 0
201.78/183.81	c (164,0) opt[187][0] = 0
201.78/183.81	c (164,0) opt[187][1] = 1
201.78/183.81	c (164,0) opt[187][2] = 0
201.78/183.81	c (164,0) opt[187][3] = 0
201.78/183.81	c (164,0) opt[187][4] = 0
201.78/183.81	c (164,0) opt[188][0] = 0
201.78/183.81	c (164,0) opt[188][1] = 0
201.78/183.81	c (164,0) opt[188][2] = 1
201.78/183.81	c (164,0) opt[188][3] = 0
201.78/183.81	c (164,0) opt[188][4] = 0
201.78/183.81	c (164,0) opt[189][0] = 1
201.78/183.81	c (164,0) opt[189][1] = 0
201.78/183.81	c (164,0) opt[189][2] = 0
201.78/183.81	c (164,0) opt[189][3] = 0
201.78/183.81	c (164,0) opt[189][4] = 1
201.78/183.81	c (164,0) opt[190][0] = 0
201.78/183.81	c (164,0) opt[190][1] = 1
201.78/183.81	c (164,0) opt[190][2] = 0
201.78/183.81	c (164,0) opt[190][3] = 0
201.78/183.81	c (164,0) opt[190][4] = 0
201.78/183.81	c (164,0) opt[191][0] = 1
201.78/183.81	c (164,0) opt[191][1] = 0
201.78/183.81	c (164,0) opt[191][2] = 1
201.78/183.81	c (164,0) opt[191][3] = 0
201.78/183.81	c (164,0) opt[191][4] = 0
201.78/183.81	c (164,0) opt[192][0] = 0
201.78/183.81	c (164,0) opt[192][1] = 1
201.78/183.81	c (164,0) opt[192][2] = 0
201.78/183.81	c (164,0) opt[192][3] = 0
201.78/183.81	c (164,0) opt[192][4] = 0
201.78/183.81	c (164,0) opt[193][0] = 0
201.78/183.81	c (164,0) opt[193][1] = 1
201.78/183.81	c (164,0) opt[193][2] = 0
201.78/183.81	c (164,0) opt[193][3] = 0
201.78/183.81	c (164,0) opt[193][4] = 0
201.78/183.81	c (164,0) opt[194][0] = 1
201.78/183.81	c (164,0) opt[194][1] = 0
201.78/183.81	c (164,0) opt[194][2] = 1
201.78/183.81	c (164,0) opt[194][3] = 0
201.78/183.81	c (164,0) opt[194][4] = 1
201.78/183.81	c (164,0) opt[195][0] = 0
201.78/183.81	c (164,0) opt[195][1] = 1
201.78/183.81	c (164,0) opt[195][2] = 0
201.78/183.81	c (164,0) opt[195][3] = 0
201.78/183.81	c (164,0) opt[195][4] = 0
201.78/183.81	c (164,0) opt[196][0] = 0
201.78/183.81	c (164,0) opt[196][1] = 1
201.78/183.81	c (164,0) opt[196][2] = 0
201.78/183.81	c (164,0) opt[196][3] = 0
201.78/183.81	c (164,0) opt[196][4] = 0
201.78/183.81	c (164,0) opt[197][0] = 1
201.78/183.81	c (164,0) opt[197][1] = 0
201.78/183.81	c (164,0) opt[197][2] = 1
201.78/183.81	c (164,0) opt[197][3] = 0
201.78/183.81	c (164,0) opt[197][4] = 0
201.78/183.81	c (164,0) opt[198][0] = 0
201.78/183.81	c (164,0) opt[198][1] = 1
201.78/183.81	c (164,0) opt[198][2] = 0
201.78/183.81	c (164,0) opt[198][3] = 0
201.78/183.81	c (164,0) opt[198][4] = 0
201.78/183.81	c (164,0) opt[199][0] = 1
201.78/183.81	c (164,0) opt[199][1] = 1
201.78/183.81	c (164,0) opt[199][2] = 0
201.78/183.81	c (164,0) opt[199][3] = 0
201.78/183.81	c (164,0) opt[199][4] = 1
201.78/183.81	s SATISFIABLE
201.78/183.81	v <instantiation>
201.78/183.81	v     <list>cls[0] cls[1] cls[2] cls[3] cls[4] cls[5] cls[6] cls[7] cls[8] cls[9] cls[10] cls[11] cls[12] cls[13] cls[14] cls[15] cls[16] cls[17] cls[18] cls[19] cls[20] cls[21] cls[22] cls[23] cls[24] cls[25] cls[26] cls[27] cls[28] cls[29] cls[30] cls[31] cls[32] cls[33] cls[34] cls[35] cls[36] cls[37] cls[38] cls[39] cls[40] cls[41] cls[42] cls[43] cls[44] cls[45] cls[46] cls[47] cls[48] cls[49] cls[50] cls[51] cls[52] cls[53] cls[54] cls[55] cls[56] cls[57] cls[58] cls[59] cls[60] cls[61] cls[62] cls[63] cls[64] cls[65] cls[66] cls[67] cls[68] cls[69] cls[70] cls[71] cls[72] cls[73] cls[74] cls[75] cls[76] cls[77] cls[78] cls[79] cls[80] cls[81] cls[82] cls[83] cls[84] cls[85] cls[86] cls[87] cls[88] cls[89] cls[90] cls[91] cls[92] cls[93] cls[94] cls[95] cls[96] cls[97] cls[98] cls[99] cls[100] cls[101] cls[102] cls[103] cls[104] cls[105] cls[106] cls[107] cls[108] cls[109] cls[110] cls[111] cls[112] cls[113] cls[114] cls[115] cls[116] cls[117] cls[118] cls[119] cls[120] cls[121] cls[122] cls[123] cls[124] cls[125] cls[126] cls[127] cls[128] cls[129] cls[130] cls[131] cls[132] cls[133] cls[134] cls[135] cls[136] cls[137] cls[138] cls[139] cls[140] cls[141] cls[142] cls[143] cls[144] cls[145] cls[146] cls[147] cls[148] cls[149] cls[150] cls[151] cls[152] cls[153] cls[154] cls[155] cls[156] cls[157] cls[158] cls[159] cls[160] cls[161] cls[162] cls[163] cls[164] cls[165] cls[166] cls[167] cls[168] cls[169] cls[170] cls[171] cls[172] cls[173] cls[174] cls[175] cls[176] cls[177] cls[178] cls[179] cls[180] cls[181] cls[182] cls[183] cls[184] cls[185] cls[186] cls[187] cls[188] cls[189] cls[190] cls[191] cls[192] cls[193] cls[194] cls[195] cls[196] cls[197] cls[198] cls[199] opt[0][0] opt[0][1] opt[0][2] opt[0][3] opt[0][4] opt[1][0] opt[1][1] opt[1][2] opt[1][3] opt[1][4] opt[2][0] opt[2][1] opt[2][2] opt[2][3] opt[2][4] opt[3][0] opt[3][1] opt[3][2] opt[3][3] opt[3][4] opt[4][0] opt[4][1] opt[4][2] opt[4][3] opt[4][4] opt[5][0] opt[5][1] opt[5][2] opt[5][3] opt[5][4] opt[6][0] opt[6][1] opt[6][2] opt[6][3] opt[6][4] opt[7][0] opt[7][1] opt[7][2] opt[7][3] opt[7][4] opt[8][0] opt[8][1] opt[8][2] opt[8][3] opt[8][4] opt[9][0] opt[9][1] opt[9][2] opt[9][3] opt[9][4] opt[10][0] opt[10][1] opt[10][2] opt[10][3] opt[10][4] opt[11][0] opt[11][1] opt[11][2] opt[11][3] opt[11][4] opt[12][0] opt[12][1] opt[12][2] opt[12][3] opt[12][4] opt[13][0] opt[13][1] opt[13][2] opt[13][3] opt[13][4] opt[14][0] opt[14][1] opt[14][2] opt[14][3] opt[14][4] opt[15][0] opt[15][1] opt[15][2] opt[15][3] opt[15][4] opt[16][0] opt[16][1] opt[16][2] opt[16][3] opt[16][4] opt[17][0] opt[17][1] opt[17][2] opt[17][3] opt[17][4] opt[18][0] opt[18][1] opt[18][2] opt[18][3] opt[18][4] opt[19][0] opt[19][1] opt[19][2] opt[19][3] opt[19][4] opt[20][0] opt[20][1] opt[20][2] opt[20][3] opt[20][4] opt[21][0] opt[21][1] opt[21][2] opt[21][3] opt[21][4] opt[22][0] opt[22][1] opt[22][2] opt[22][3] opt[22][4] opt[23][0] opt[23][1] opt[23][2] opt[23][3] opt[23][4] opt[24][0] opt[24][1] opt[24][2] opt[24][3] opt[24][4] opt[25][0] opt[25][1] opt[25][2] opt[25][3] opt[25][4] opt[26][0] opt[26][1] opt[26][2] opt[26][3] opt[26][4] opt[27][0] opt[27][1] opt[27][2] opt[27][3] opt[27][4] opt[28][0] opt[28][1] opt[28][2] opt[28][3] opt[28][4] opt[29][0] opt[29][1] opt[29][2] opt[29][3] opt[29][4] opt[30][0] opt[30][1] opt[30][2] opt[30][3] opt[30][4] opt[31][0] opt[31][1] opt[31][2] opt[31][3] opt[31][4] opt[32][0] opt[32][1] opt[32][2] opt[32][3] opt[32][4] opt[33][0] opt[33][1] opt[33][2] opt[33][3] opt[33][4] opt[34][0] opt[34][1] opt[34][2] opt[34][3] opt[34][4] opt[35][0] opt[35][1] opt[35][2] opt[35][3] opt[35][4] opt[36][0] opt[36][1] opt[36][2] opt[36][3] opt[36][4] opt[37][0] opt[37][1] opt[37][2] opt[37][3] opt[37][4] opt[38][0] opt[38][1] opt[38][2] opt[38][3] opt[38][4] opt[39][0] opt[39][1] opt[39][2] opt[39][3] opt[39][4] opt[40][0] opt[40][1] opt[40][2] opt[40][3] opt[40][4] opt[41][0] opt[41][1] opt[41][2] opt[41][3] opt[41][4] opt[42][0] opt[42][1] opt[42][2] opt[42][3] opt[42][4] opt[43][0] opt[43][1] opt[43][2] opt[43][3] opt[43][4] opt[44][0] opt[44][1] opt[44][2] opt[44][3] opt[44][4] opt[45][0] opt[45][1] opt[45][2] opt[45][3] opt[45][4] opt[46][0] opt[46][1] opt[46][2] opt[46][3] opt[46][4] opt[47][0] opt[47][1] opt[47][2] opt[47][3] opt[47][4] opt[48][0] opt[48][1] opt[48][2] opt[48][3] opt[48][4] opt[49][0] opt[49][1] opt[49][2] opt[49][3] opt[49][4] opt[50][0] opt[50][1] opt[50][2] opt[50][3] opt[50][4] opt[51][0] opt[51][1] opt[51][2] opt[51][3] opt[51][4] opt[52][0] opt[52][1] opt[52][2] opt[52][3] opt[52][4] opt[53][0] opt[53][1] opt[53][2] opt[53][3] opt[53][4] opt[54][0] opt[54][1] opt[54][2] opt[54][3] opt[54][4] opt[55][0] opt[55][1] opt[55][2] opt[55][3] opt[55][4] opt[56][0] opt[56][1] opt[56][2] opt[56][3] opt[56][4] opt[57][0] opt[57][1] opt[57][2] opt[57][3] opt[57][4] opt[58][0] opt[58][1] opt[58][2] opt[58][3] opt[58][4] opt[59][0] opt[59][1] opt[59][2] opt[59][3] opt[59][4] opt[60][0] opt[60][1] opt[60][2] opt[60][3] opt[60][4] opt[61][0] opt[61][1] opt[61][2] opt[61][3] opt[61][4] opt[62][0] opt[62][1] opt[62][2] opt[62][3] opt[62][4] opt[63][0] opt[63][1] opt[63][2] opt[63][3] opt[63][4] opt[64][0] opt[64][1] opt[64][2] opt[64][3] opt[64][4] opt[65][0] opt[65][1] opt[65][2] opt[65][3] opt[65][4] opt[66][0] opt[66][1] opt[66][2] opt[66][3] opt[66][4] opt[67][0] opt[67][1] opt[67][2] opt[67][3] opt[67][4] opt[68][0] opt[68][1] opt[68][2] opt[68][3] opt[68][4] opt[69][0] opt[69][1] opt[69][2] opt[69][3] opt[69][4] opt[70][0] opt[70][1] opt[70][2] opt[70][3] opt[70][4] opt[71][0] opt[71][1] opt[71][2] opt[71][3] opt[71][4] opt[72][0] opt[72][1] opt[72][2] opt[72][3] opt[72][4] opt[73][0] opt[73][1] opt[73][2] opt[73][3] opt[73][4] opt[74][0] opt[74][1] opt[74][2] opt[74][3] opt[74][4] opt[75][0] opt[75][1] opt[75][2] opt[75][3] opt[75][4] opt[76][0] opt[76][1] opt[76][2] opt[76][3] opt[76][4] opt[77][0] opt[77][1] opt[77][2] opt[77][3] opt[77][4] opt[78][0] opt[78][1] opt[78][2] opt[78][3] opt[78][4] opt[79][0] opt[79][1] opt[79][2] opt[79][3] opt[79][4] opt[80][0] opt[80][1] opt[80][2] opt[80][3] opt[80][4] opt[81][0] opt[81][1] opt[81][2] opt[81][3] opt[81][4] opt[82][0] opt[82][1] opt[82][2] opt[82][3] opt[82][4] opt[83][0] opt[83][1] opt[83][2] opt[83][3] opt[83][4] opt[84][0] opt[84][1] opt[84][2] opt[84][3] opt[84][4] opt[85][0] opt[85][1] opt[85][2] opt[85][3] opt[85][4] opt[86][0] opt[86][1] opt[86][2] opt[86][3] opt[86][4] opt[87][0] opt[87][1] opt[87][2] opt[87][3] opt[87][4] opt[88][0] opt[88][1] opt[88][2] opt[88][3] opt[88][4] opt[89][0] opt[89][1] opt[89][2] opt[89][3] opt[89][4] opt[90][0] opt[90][1] opt[90][2] opt[90][3] opt[90][4] opt[91][0] opt[91][1] opt[91][2] opt[91][3] opt[91][4] opt[92][0] opt[92][1] opt[92][2] opt[92][3] opt[92][4] opt[93][0] opt[93][1] opt[93][2] opt[93][3] opt[93][4] opt[94][0] opt[94][1] opt[94][2] opt[94][3] opt[94][4] opt[95][0] opt[95][1] opt[95][2] opt[95][3] opt[95][4] opt[96][0] opt[96][1] opt[96][2] opt[96][3] opt[96][4] opt[97][0] opt[97][1] opt[97][2] opt[97][3] opt[97][4] opt[98][0] opt[98][1] opt[98][2] opt[98][3] opt[98][4] opt[99][0] opt[99][1] opt[99][2] opt[99][3] opt[99][4] opt[100][0] opt[100][1] opt[100][2] opt[100][3] opt[100][4] opt[101][0] opt[101][1] opt[101][2] opt[101][3] opt[101][4] opt[102][0] opt[102][1] opt[102][2] opt[102][3] opt[102][4] opt[103][0] opt[103][1] opt[103][2] opt[103][3] opt[103][4] opt[104][0] opt[104][1] opt[104][2] opt[104][3] opt[104][4] opt[105][0] opt[105][1] opt[105][2] opt[105][3] opt[105][4] opt[106][0] opt[106][1] opt[106][2] opt[106][3] opt[106][4] opt[107][0] opt[107][1] opt[107][2] opt[107][3] opt[107][4] opt[108][0] opt[108][1] opt[108][2] opt[108][3] opt[108][4] opt[109][0] opt[109][1] opt[109][2] opt[109][3] opt[109][4] opt[110][0] opt[110][1] opt[110][2] opt[110][3] opt[110][4] opt[111][0] opt[111][1] opt[111][2] opt[111][3] opt[111][4] opt[112][0] opt[112][1] opt[112][2] opt[112][3] opt[112][4] opt[113][0] opt[113][1] opt[113][2] opt[113][3] opt[113][4] opt[114][0] opt[114][1] opt[114][2] opt[114][3] opt[114][4] opt[115][0] opt[115][1] opt[115][2] opt[115][3] opt[115][4] opt[116][0] opt[116][1] opt[116][2] opt[116][3] opt[116][4] opt[117][0] opt[117][1] opt[117][2] opt[117][3] opt[117][4] opt[118][0] opt[118][1] opt[118][2] opt[118][3] opt[118][4] opt[119][0] opt[119][1] opt[119][2] opt[119][3] opt[119][4] opt[120][0] opt[120][1] opt[120][2] opt[120][3] opt[120][4] opt[121][0] opt[121][1] opt[121][2] opt[121][3] opt[121][4] opt[122][0] opt[122][1] opt[122][2] opt[122][3] opt[122][4] opt[123][0] opt[123][1] opt[123][2] opt[123][3] opt[123][4] opt[124][0] opt[124][1] opt[124][2] opt[124][3] opt[124][4] opt[125][0] opt[125][1] opt[125][2] opt[125][3] opt[125][4] opt[126][0] opt[126][1] opt[126][2] opt[126][3] opt[126][4] opt[127][0] opt[127][1] opt[127][2] opt[127][3] opt[127][4] opt[128][0] opt[128][1] opt[128][2] opt[128][3] opt[128][4] opt[129][0] opt[129][1] opt[129][2] opt[129][3] opt[129][4] opt[130][0] opt[130][1] opt[130][2] opt[130][3] opt[130][4] opt[131][0] opt[131][1] opt[131][2] opt[131][3] opt[131][4] opt[132][0] opt[132][1] opt[132][2] opt[132][3] opt[132][4] opt[133][0] opt[133][1] opt[133][2] opt[133][3] opt[133][4] opt[134][0] opt[134][1] opt[134][2] opt[134][3] opt[134][4] opt[135][0] opt[135][1] opt[135][2] opt[135][3] opt[135][4] opt[136][0] opt[136][1] opt[136][2] opt[136][3] opt[136][4] opt[137][0] opt[137][1] opt[137][2] opt[137][3] opt[137][4] opt[138][0] opt[138][1] opt[138][2] opt[138][3] opt[138][4] opt[139][0] opt[139][1] opt[139][2] opt[139][3] opt[139][4] opt[140][0] opt[140][1] opt[140][2] opt[140][3] opt[140][4] opt[141][0] opt[141][1] opt[141][2] opt[141][3] opt[141][4] opt[142][0] opt[142][1] opt[142][2] opt[142][3] opt[142][4] opt[143][0] opt[143][1] opt[143][2] opt[143][3] opt[143][4] opt[144][0] opt[144][1] opt[144][2] opt[144][3] opt[144][4] opt[145][0] opt[145][1] opt[145][2] opt[145][3] opt[145][4] opt[146][0] opt[146][1] opt[146][2] opt[146][3] opt[146][4] opt[147][0] opt[147][1] opt[147][2] opt[147][3] opt[147][4] opt[148][0] opt[148][1] opt[148][2] opt[148][3] opt[148][4] opt[149][0] opt[149][1] opt[149][2] opt[149][3] opt[149][4] opt[150][0] opt[150][1] opt[150][2] opt[150][3] opt[150][4] opt[151][0] opt[151][1] opt[151][2] opt[151][3] opt[151][4] opt[152][0] opt[152][1] opt[152][2] opt[152][3] opt[152][4] opt[153][0] opt[153][1] opt[153][2] opt[153][3] opt[153][4] opt[154][0] opt[154][1] opt[154][2] opt[154][3] opt[154][4] opt[155][0] opt[155][1] opt[155][2] opt[155][3] opt[155][4] opt[156][0] opt[156][1] opt[156][2] opt[156][3] opt[156][4] opt[157][0] opt[157][1] opt[157][2] opt[157][3] opt[157][4] opt[158][0] opt[158][1] opt[158][2] opt[158][3] opt[158][4] opt[159][0] opt[159][1] opt[159][2] opt[159][3] opt[159][4] opt[160][0] opt[160][1] opt[160][2] opt[160][3] opt[160][4] opt[161][0] opt[161][1] opt[161][2] opt[161][3] opt[161][4] opt[162][0] opt[162][1] opt[162][2] opt[162][3] opt[162][4] opt[163][0] opt[163][1] opt[163][2] opt[163][3] opt[163][4] opt[164][0] opt[164][1] opt[164][2] opt[164][3] opt[164][4] opt[165][0] opt[165][1] opt[165][2] opt[165][3] opt[165][4] opt[166][0] opt[166][1] opt[166][2] opt[166][3] opt[166][4] opt[167][0] opt[167][1] opt[167][2] opt[167][3] opt[167][4] opt[168][0] opt[168][1] opt[168][2] opt[168][3] opt[168][4] opt[169][0] opt[169][1] opt[169][2] opt[169][3] opt[169][4] opt[170][0] opt[170][1] opt[170][2] opt[170][3] opt[170][4] opt[171][0] opt[171][1] opt[171][2] opt[171][3] opt[171][4] opt[172][0] opt[172][1] opt[172][2] opt[172][3] opt[172][4] opt[173][0] opt[173][1] opt[173][2] opt[173][3] opt[173][4] opt[174][0] opt[174][1] opt[174][2] opt[174][3] opt[174][4] opt[175][0] opt[175][1] opt[175][2] opt[175][3] opt[175][4] opt[176][0] opt[176][1] opt[176][2] opt[176][3] opt[176][4] opt[177][0] opt[177][1] opt[177][2] opt[177][3] opt[177][4] opt[178][0] opt[178][1] opt[178][2] opt[178][3] opt[178][4] opt[179][0] opt[179][1] opt[179][2] opt[179][3] opt[179][4] opt[180][0] opt[180][1] opt[180][2] opt[180][3] opt[180][4] opt[181][0] opt[181][1] opt[181][2] opt[181][3] opt[181][4] opt[182][0] opt[182][1] opt[182][2] opt[182][3] opt[182][4] opt[183][0] opt[183][1] opt[183][2] opt[183][3] opt[183][4] opt[184][0] opt[184][1] opt[184][2] opt[184][3] opt[184][4] opt[185][0] opt[185][1] opt[185][2] opt[185][3] opt[185][4] opt[186][0] opt[186][1] opt[186][2] opt[186][3] opt[186][4] opt[187][0] opt[187][1] opt[187][2] opt[187][3] opt[187][4] opt[188][0] opt[188][1] opt[188][2] opt[188][3] opt[188][4] opt[189][0] opt[189][1] opt[189][2] opt[189][3] opt[189][4] opt[190][0] opt[190][1] opt[190][2] opt[190][3] opt[190][4] opt[191][0] opt[191][1] opt[191][2] opt[191][3] opt[191][4] opt[192][0] opt[192][1] opt[192][2] opt[192][3] opt[192][4] opt[193][0] opt[193][1] opt[193][2] opt[193][3] opt[193][4] opt[194][0] opt[194][1] opt[194][2] opt[194][3] opt[194][4] opt[195][0] opt[195][1] opt[195][2] opt[195][3] opt[195][4] opt[196][0] opt[196][1] opt[196][2] opt[196][3] opt[196][4] opt[197][0] opt[197][1] opt[197][2] opt[197][3] opt[197][4] opt[198][0] opt[198][1] opt[198][2] opt[198][3] opt[198][4] opt[199][0] opt[199][1] opt[199][2] opt[199][3] opt[199][4]</list>
201.78/183.81	v     <values>12 7 0 12 2 22 11 0 7 12 15 0 4 15 5 15 22 9 12 22 14 8 17 0 2 18 16 0 15 8 7 0 6 0 15 16 14 8 4 15 5 0 8 13 0 15 12 22 14 12 8 13 16 8 22 15 5 0 23 8 16 0 15 4 19 0 18 0 11 21 15 0 20 22 18 0 2 17 8 22 17 8 22 10 15 0 5 15 4 0 20 0 14 8 14 12 2 8 3 0 15 2 22 7 8 12 23 0 8 17 8 4 17 8 14 0 15 19 4 18 0 12 8 13 16 15 8 11 4 0 11 22 8 9 16 15 0 17 1 15 0 14 19 2 14 0 12 0 2 7 0 8 16 14 2 11 0 0 18 1 12 0 15 0 2 16 15 0 3 1 15 16 0 15 10 14 0 20 22 2 14 12 0 7 2 12 7 0 12 23 22 11 22 0 6 0 0 11 22 13 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 1 1 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 1</values>
201.78/183.81	v </instantiation>
201.78/183.81	c (164,0) Show results End
201.78/183.81	c (164,0) Heap : 532 MiB used (max 3925 MiB), NonHeap : 20 MiB used (max 0 MiB)
201.78/183.81	c (164,0) 164,164,STOP-AFTER(ALL)
201.78/183.81	c END-Prog: Thu Sep 12 14:52:37 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 (9355 MiB free)
  memory of node 1: 16384 MiB (11598 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387963-1568292613/watcher-4387963-1568292613 -o /tmp/evaluation-result-4387963-1568292613/solver-4387963-1568292613 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568286731-10042 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387963-1568292613.xml 

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

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

solver pid=11948, runsolver pid=11945

[startup+0.100695 s]*
/proc/loadavg: 2.67 2.24 2.11 3/234 11965
/proc/meminfo: memFree=21397124/32770624 swapFree=66999124/67108860
[pid=11948] ppid=11945 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11948/stat : 11948 (scop.sh) S 11945 11948 9001 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405199773 115843072 349 33554432000 4194304 5098028 140726670512000 140726670509256 140101060944508 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13201408 140726670521187 140726670521456 140726670521456 140726670524365 0
/proc/11948/statm: 28282 349 296 221 0 87 0
[pid=11951] ppid=11948 vsize=15012696 memory=72224 CPUtime=0.11 cores=1,3,5,7
/proc/11951/stat : 11951 (java) S 11948 11948 9001 0 -1 1077944320 6866 0 0 0 9 2 0 0 20 0 15 0 405199773 15373000704 18056 33554432000 4194304 4196468 140724196138864 140724196121408 139809241685751 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
/proc/11951/statm: 3753174 18056 2888 1 0 3715579 0
[pid=11951/tid=11952] ppid=11948 vsize=15012696 memory=-6293636188170665925 CPUtime=0.08 cores=1,3,5,7
/proc/11951/task/11952/stat : 11952 (java) R 11948 11948 9001 0 -1 4202560 4622 0 0 0 7 1 0 0 20 0 15 0 405199773 15373000704 18056 33554432000 4194304 4196468 140724196138864 139809213472256 139808718532396 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11953] ppid=11948 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11953/stat : 11953 (java) S 11948 11948 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405199775 15373000704 18568 33554432000 4194304 4196468 140724196138864 139809245927696 139809241695957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11954] ppid=11948 vsize=15012696 memory=140193243248256 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11954/stat : 11954 (java) S 11948 11948 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405199775 15373000704 18568 33554432000 4194304 4196468 140724196138864 139809044703632 139809241695957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11955] ppid=11948 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11955/stat : 11955 (java) S 11948 11948 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405199775 15373000704 18568 33554432000 4194304 4196468 140724196138864 139809043651088 139809241695957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11956] ppid=11948 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11956/stat : 11956 (java) S 11948 11948 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405199775 15373000704 18568 33554432000 4194304 4196468 140724196138864 139809042598544 139809241695957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11957] ppid=11948 vsize=15012696 memory=140193243248256 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11957/stat : 11957 (java) S 11948 11948 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405199776 15373000704 18568 33554432000 4194304 4196468 140724196138864 139808648129008 139809241696898 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11958] ppid=11948 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11958/stat : 11958 (java) S 11948 11948 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405199777 15373000704 18568 33554432000 4194304 4196468 140724196138864 139807896364448 139809241695957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11959] ppid=11948 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11959/stat : 11959 (java) S 11948 11948 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405199777 15373000704 18568 33554432000 4194304 4196468 140724196138864 139807627929072 139809241695957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11960] ppid=11948 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11960/stat : 11960 (java) S 11948 11948 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405199779 15373000704 18568 33554432000 4194304 4196468 140724196138864 139807253420752 139809241704347 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11961] ppid=11948 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11961/stat : 11961 (java) S 11948 11948 9001 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 15 0 405199779 15373000704 18568 33554432000 4194304 4196468 140724196138864 139808647075824 139809241696898 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11962] ppid=11948 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11962/stat : 11962 (java) S 11948 11948 9001 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 405199779 15373000704 18568 33554432000 4194304 4196468 140724196138864 139808646023280 139809241696898 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11963] ppid=11948 vsize=15012696 memory=140193243248256 CPUtime=0.01 cores=1,3,5,7
/proc/11951/task/11963/stat : 11963 (java) S 11948 11948 9001 0 -1 1077944384 476 0 0 0 1 0 0 0 20 0 15 0 405199779 15373000704 18568 33554432000 4194304 4196468 140724196138864 139808644970736 139809241696898 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11964] ppid=11948 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11964/stat : 11964 (java) S 11948 11948 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405199780 15373000704 18568 33554432000 4194304 4196468 140724196138864 139806755514976 139809241695957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11965] ppid=11948 vsize=15012696 memory=140193243248256 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11965/stat : 11965 (java) S 11948 11948 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405199780 15373000704 18568 33554432000 4194304 4196468 140724196138864 139808643918640 139809241696898 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 73620 KiB

[startup+0.2108 s]*
/proc/loadavg: 2.67 2.24 2.11 3/234 11965
/proc/meminfo: memFree=21379172/32770624 swapFree=66999124/67108860
[pid=11948] ppid=11945 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11948/stat : 11948 (scop.sh) S 11945 11948 9001 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405199773 115843072 349 33554432000 4194304 5098028 140726670512000 140726670509256 140101060944508 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13201408 140726670521187 140726670521456 140726670521456 140726670524365 0
/proc/11948/statm: 28282 349 296 221 0 87 0
[pid=11951] ppid=11948 vsize=15012696 memory=87496 CPUtime=0.24 cores=1,3,5,7
/proc/11951/stat : 11951 (java) S 11948 11948 9001 0 -1 1077944320 11456 0 0 0 21 3 0 0 20 0 15 0 405199773 15373000704 21874 33554432000 4194304 4196468 140724196138864 140724196121408 139809241685751 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
/proc/11951/statm: 3753174 21874 2953 1 0 3715579 0
[pid=11951/tid=11952] ppid=11948 vsize=15012696 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/11951/task/11952/stat : 11952 (java) R 11948 11948 9001 0 -1 4202560 9149 0 0 0 17 2 0 0 20 0 15 0 405199773 15373000704 21874 33554432000 4194304 4196468 140724196138864 139809213485136 139809225766238 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11953] ppid=11948 vsize=15012696 memory=398 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11953/stat : 11953 (java) S 11948 11948 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405199775 15373000704 21874 33554432000 4194304 4196468 140724196138864 139809245927696 139809241695957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11954] ppid=11948 vsize=15012696 memory=140193243259902 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11954/stat : 11954 (java) S 11948 11948 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405199775 15373000704 21874 33554432000 4194304 4196468 140724196138864 139809044703632 139809241695957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11955] ppid=11948 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11955/stat : 11955 (java) S 11948 11948 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405199775 15373000704 21874 33554432000 4194304 4196468 140724196138864 139809043651088 139809241695957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11956] ppid=11948 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11956/stat : 11956 (java) S 11948 11948 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405199775 15373000704 21874 33554432000 4194304 4196468 140724196138864 139809042598544 139809241695957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11957] ppid=11948 vsize=15012696 memory=140193243248256 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11957/stat : 11957 (java) S 11948 11948 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405199776 15373000704 21874 33554432000 4194304 4196468 140724196138864 139808648129008 139809241696898 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11958] ppid=11948 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11958/stat : 11958 (java) S 11948 11948 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405199777 15373000704 21874 33554432000 4194304 4196468 140724196138864 139807896364448 139809241695957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11959] ppid=11948 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11959/stat : 11959 (java) S 11948 11948 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405199777 15373000704 21874 33554432000 4194304 4196468 140724196138864 139807627929072 139809241695957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11960] ppid=11948 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11960/stat : 11960 (java) S 11948 11948 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405199779 15373000704 21874 33554432000 4194304 4196468 140724196138864 139807253420752 139809241704347 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11961] ppid=11948 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11961/stat : 11961 (java) S 11948 11948 9001 0 -1 1077944384 327 0 0 0 0 0 0 0 20 0 15 0 405199779 15373000704 21874 33554432000 4194304 4196468 140724196138864 139808647075824 139809241696898 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11962] ppid=11948 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11962/stat : 11962 (java) S 11948 11948 9001 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 15 0 405199779 15373000704 21874 33554432000 4194304 4196468 140724196138864 139808646023280 139809241696898 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11963] ppid=11948 vsize=15012696 memory=140193243248256 CPUtime=0.03 cores=1,3,5,7
/proc/11951/task/11963/stat : 11963 (java) R 11948 11948 9001 0 -1 4202560 501 0 0 0 3 0 0 0 20 0 15 0 405199779 15373000704 21874 33554432000 4194304 4196468 140724196138864 139808644970736 139809220659471 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11964] ppid=11948 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11964/stat : 11964 (java) S 11948 11948 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405199780 15373000704 21874 33554432000 4194304 4196468 140724196138864 139806755514976 139809241695957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11965] ppid=11948 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11965/stat : 11965 (java) S 11948 11948 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405199780 15373000704 21874 33554432000 4194304 4196468 140724196138864 139808643918640 139809241696898 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 88892 KiB

[startup+0.310613 s]*
/proc/loadavg: 2.67 2.24 2.11 4/234 11965
/proc/meminfo: memFree=21376864/32770624 swapFree=66999124/67108860
[pid=11948] ppid=11945 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11948/stat : 11948 (scop.sh) S 11945 11948 9001 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405199773 115843072 349 33554432000 4194304 5098028 140726670512000 140726670509256 140101060944508 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13201408 140726670521187 140726670521456 140726670521456 140726670524365 0
/proc/11948/statm: 28282 349 296 221 0 87 0
[pid=11951] ppid=11948 vsize=15012696 memory=91876 CPUtime=0.42 cores=1,3,5,7
/proc/11951/stat : 11951 (java) S 11948 11948 9001 0 -1 1077944320 12043 0 0 0 39 3 0 0 20 0 15 0 405199773 15373000704 22969 33554432000 4194304 4196468 140724196138864 140724196121408 139809241685751 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
/proc/11951/statm: 3753174 22969 3030 1 0 3715579 0
[pid=11951/tid=11952] ppid=11948 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/11951/task/11952/stat : 11952 (java) R 11948 11948 9001 0 -1 4202560 9528 0 0 0 27 3 0 0 20 0 15 0 405199773 15373000704 22969 33554432000 4194304 4196468 140724196138864 139809213499392 139809225766238 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11953] ppid=11948 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11953/stat : 11953 (java) S 11948 11948 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405199775 15373000704 22969 33554432000 4194304 4196468 140724196138864 139809245927696 139809241695957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11954] ppid=11948 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11954/stat : 11954 (java) S 11948 11948 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405199775 15373000704 22969 33554432000 4194304 4196468 140724196138864 139809044703632 139809241695957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11955] ppid=11948 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11955/stat : 11955 (java) S 11948 11948 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405199775 15373000704 22969 33554432000 4194304 4196468 140724196138864 139809043651088 139809241695957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11956] ppid=11948 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11956/stat : 11956 (java) S 11948 11948 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405199775 15373000704 22969 33554432000 4194304 4196468 140724196138864 139809042598544 139809241695957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11957] ppid=11948 vsize=15012696 memory=4498404016631593313 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11957/stat : 11957 (java) S 11948 11948 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405199776 15373000704 22969 33554432000 4194304 4196468 140724196138864 139808648129008 139809241696898 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11958] ppid=11948 vsize=15012696 memory=-6519613052471072158 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11958/stat : 11958 (java) S 11948 11948 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405199777 15373000704 22969 33554432000 4194304 4196468 140724196138864 139807896364448 139809241695957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11959] ppid=11948 vsize=15012696 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11959/stat : 11959 (java) S 11948 11948 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405199777 15373000704 22969 33554432000 4194304 4196468 140724196138864 139807627929072 139809241695957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11960] ppid=11948 vsize=15012696 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11960/stat : 11960 (java) S 11948 11948 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405199779 15373000704 22969 33554432000 4194304 4196468 140724196138864 139807253420752 139809241704347 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11961] ppid=11948 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11951/task/11961/stat : 11961 (java) S 11948 11948 9001 0 -1 1077944384 379 0 0 0 2 0 0 0 20 0 15 0 405199779 15373000704 22969 33554432000 4194304 4196468 140724196138864 139808647075824 139809241696898 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11962] ppid=11948 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11951/task/11962/stat : 11962 (java) S 11948 11948 9001 0 -1 1077944384 263 0 0 0 2 0 0 0 20 0 15 0 405199779 15373000704 22969 33554432000 4194304 4196468 140724196138864 139808646023280 139809241696898 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11963] ppid=11948 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11951/task/11963/stat : 11963 (java) S 11948 11948 9001 0 -1 1077944384 545 0 0 0 7 0 0 0 20 0 15 0 405199779 15373000704 22969 33554432000 4194304 4196468 140724196138864 139808644970736 139809241696898 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11964] ppid=11948 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11964/stat : 11964 (java) S 11948 11948 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405199780 15373000704 22969 33554432000 4194304 4196468 140724196138864 139806755514976 139809241695957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11965] ppid=11948 vsize=15012696 memory=3832899949124662320 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11965/stat : 11965 (java) S 11948 11948 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405199780 15373000704 22969 33554432000 4194304 4196468 140724196138864 139808643918640 139809241696898 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93272 KiB

[startup+0.706081 s]
/proc/loadavg: 2.67 2.24 2.11 3/234 11965
/proc/meminfo: memFree=21352684/32770624 swapFree=66999124/67108860
[pid=11948] ppid=11945 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11948/stat : 11948 (scop.sh) S 11945 11948 9001 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405199773 115843072 349 33554432000 4194304 5098028 140726670512000 140726670509256 140101060944508 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13201408 140726670521187 140726670521456 140726670521456 140726670524365 0
/proc/11948/statm: 28282 349 296 221 0 87 0
[pid=11951] ppid=11948 vsize=15021016 memory=134284 CPUtime=1.06 cores=1,3,5,7
/proc/11951/stat : 11951 (java) S 11948 11948 9001 0 -1 1077944320 20305 0 0 0 100 6 0 0 20 0 15 0 405199773 15381520384 33571 33554432000 4194304 4196468 140724196138864 140724196121408 139809241685751 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
/proc/11951/statm: 3755254 33571 3191 1 0 3716603 0
[pid=11951/tid=11952] ppid=11948 vsize=15021016 memory=2372 CPUtime=0.68 cores=1,3,5,7
/proc/11951/task/11952/stat : 11952 (java) R 11948 11948 9001 0 -1 4202560 17172 0 0 0 63 5 0 0 20 0 15 0 405199773 15381520384 33571 33554432000 4194304 4196468 140724196138864 139809213514880 139809225766238 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11953] ppid=11948 vsize=15021016 memory=116 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11953/stat : 11953 (java) S 11948 11948 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405199775 15381520384 33571 33554432000 4194304 4196468 140724196138864 139809245927696 139809241695957 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11954] ppid=11948 vsize=15021016 memory=2129119 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11954/stat : 11954 (java) S 11948 11948 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405199775 15381520384 33571 33554432000 4194304 4196468 140724196138864 139809044703632 139809241695957 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11955] ppid=11948 vsize=15021016 memory=2141618 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11955/stat : 11955 (java) S 11948 11948 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405199775 15381520384 33571 33554432000 4194304 4196468 140724196138864 139809043651088 139809241695957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11956] ppid=11948 vsize=15021016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11956/stat : 11956 (java) S 11948 11948 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405199775 15381520384 33571 33554432000 4194304 4196468 140724196138864 139809042598544 139809241695957 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11957] ppid=11948 vsize=15021016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11957/stat : 11957 (java) S 11948 11948 9001 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405199776 15381520384 33571 33554432000 4194304 4196468 140724196138864 139808648129008 139809241696898 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11958] ppid=11948 vsize=15021016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11958/stat : 11958 (java) S 11948 11948 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405199777 15381520384 33571 33554432000 4194304 4196468 140724196138864 139807896364448 139809241695957 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11959] ppid=11948 vsize=15021016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11959/stat : 11959 (java) S 11948 11948 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405199777 15381520384 33571 33554432000 4194304 4196468 140724196138864 139807627929072 139809241695957 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11960] ppid=11948 vsize=15021016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11960/stat : 11960 (java) S 11948 11948 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405199779 15381520384 33571 33554432000 4194304 4196468 140724196138864 139807253420752 139809241704347 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11961] ppid=11948 vsize=15021016 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11951/task/11961/stat : 11961 (java) R 11948 11948 9001 0 -1 4202560 583 0 0 0 8 0 0 0 20 0 15 0 405199779 15381520384 33571 33554432000 4194304 4196468 140724196138864 139808647068848 139809241697686 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11962] ppid=11948 vsize=15021016 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/11951/task/11962/stat : 11962 (java) R 11948 11948 9001 0 -1 4202560 478 0 0 0 10 0 0 0 20 0 15 0 405199779 15381520384 33571 33554432000 4194304 4196468 140724196138864 139808646013392 139809226567440 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11963] ppid=11948 vsize=15021016 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/11951/task/11963/stat : 11963 (java) R 11948 11948 9001 0 -1 1077944384 739 0 0 0 18 0 0 0 20 0 15 0 405199779 15381520384 33571 33554432000 4194304 4196468 140724196138864 139808644970864 139809241695957 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11964] ppid=11948 vsize=15021016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11964/stat : 11964 (java) S 11948 11948 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405199780 15381520384 33571 33554432000 4194304 4196468 140724196138864 139806755514976 139809241695957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
[pid=11951/tid=11965] ppid=11948 vsize=15021016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11951/task/11965/stat : 11965 (java) S 11948 11948 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405199780 15381520384 33571 33554432000 4194304 4196468 140724196138864 139808643918640 139809241696898 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18874368 140724196143913 140724196144282 140724196144282 140724196147151 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 15134144 KiB
Current children cumulated memory: 135680 KiB

[startup+1.50372 s]
/proc/loadavg: 2.67 2.24 2.11 5/234 11965
/proc/meminfo: memFree=21311088/32770624 swapFree=66999124/67108860
[pid=11948] ppid=11945 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11948/stat : 11948 (scop.sh) S 11945 11948 9001 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405199773 115843072 349 33554432000 4194304 5098028 140726670512000 140726670509256 140101060944508 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13201408 140726670521187 140726670521456 140726670521456 140726670524365 0
/proc/11948/statm: 28282 349 296 221 0 87 0

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

[pid=11966/tid=11978] ppid=11948 vsize=8068440 memory=1540 CPUtime=0.28 cores=1,3,5,7
/proc/11966/task/11978/stat : 11978 (java) S 11948 11948 9001 0 -1 1077944384 1168 0 0 0 28 0 0 0 20 0 19 0 405201679 8262082560 32403 33554432000 4194304 4196468 140731493578432 140617931737456 140618556140162 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11979] ppid=11948 vsize=8068440 memory=772 CPUtime=0 cores=1,3,5,7
/proc/11966/task/11979/stat : 11979 (java) S 11948 11948 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405201679 8262082560 32403 33554432000 4194304 4196468 140731493578432 140616289741280 140618556139221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11980] ppid=11948 vsize=8068440 memory=5888 CPUtime=0.08 cores=1,3,5,7
/proc/11966/task/11980/stat : 11980 (java) S 11948 11948 9001 0 -1 1077944384 11 0 0 0 4 4 0 0 20 0 19 0 405201679 8262082560 32403 33554432000 4194304 4196468 140731493578432 140617930685360 140618556140162 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11982] ppid=11948 vsize=8068440 memory=612 CPUtime=0 cores=1,3,5,7
/proc/11966/task/11982/stat : 11982 (java) S 11948 11948 9001 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405201760 8262082560 32403 33554432000 4194304 4196468 140731493578432 140617921111488 140618556153625 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11984] ppid=11948 vsize=8068440 memory=1220 CPUtime=0.03 cores=1,3,5,7
/proc/11966/task/11984/stat : 11984 (java) S 11948 11948 9001 0 -1 4202560 1706 0 0 0 2 1 0 0 20 0 19 0 405201761 8262082560 32403 33554432000 4194304 4196468 140731493578432 140615752855568 140618556150941 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11985] ppid=11948 vsize=8068440 memory=14004 CPUtime=0 cores=1,3,5,7
/proc/11966/task/11985/stat : 11985 (java) S 11948 11948 9001 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 405201761 8262082560 32403 33554432000 4194304 4196468 140731493578432 140615887076784 140618556150941 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11986] ppid=11948 vsize=8068440 memory=14060 CPUtime=0 cores=1,3,5,7
/proc/11966/task/11986/stat : 11986 (java) S 11948 11948 9001 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405201763 8262082560 32403 33554432000 4194304 4196468 140731493578432 140615484431280 140618556139221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
Current children cumulated CPU time: 198.76 s
Current children cumulated vsize: 9378700 KiB
Current children cumulated memory: 1211204 KiB

[startup+183.201 s]
/proc/loadavg: 2.14 2.18 2.11 5/239 12007
/proc/meminfo: memFree=20027472/32770624 swapFree=66999124/67108860
[pid=11948] ppid=11945 vsize=113128 memory=1476 CPUtime=34.46 cores=1,3,5,7
/proc/11948/stat : 11948 (scop.sh) S 11945 11948 9001 0 -1 4202496 582 48626 0 0 0 0 3347 99 20 0 1 0 405199773 115843072 369 33554432000 4194304 5098028 140726670512000 140726670508744 140101060944508 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13201408 140726670521187 140726670521456 140726670521456 140726670524365 0
/proc/11948/statm: 28282 369 311 221 0 87 0
[pid=11966] ppid=11948 vsize=8068440 memory=437564 CPUtime=3.52 cores=1,3,5,7
/proc/11966/stat : 11966 (java) S 11948 11948 9001 0 -1 1077944320 29385 0 0 0 328 24 0 0 20 0 19 0 405201673 8262082560 109391 33554432000 4194304 4196468 140731493578432 140731493560976 140618556129015 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
/proc/11966/statm: 2017110 109391 3233 1 0 1978454 0
[pid=11981] ppid=11966 vsize=1197132 memory=1080288 CPUtime=162.84 cores=1,3,5,7
/proc/11981/stat : 11981 (cryptominisat5) S 11966 11948 9001 0 -1 4202496 718847 0 0 0 16211 73 0 0 20 0 1 0 405201760 1225863168 270072 33554432000 4194304 4451008 140734197827632 140734197824856 140354110770272 0 4 0 2 18446744071580971376 0 0 17 5 0 0 0 0 0 6549032 6559120 14684160 140734197834684 140734197834816 140734197834816 140734197837766 0
/proc/11981/statm: 299283 270072 744 63 0 293010 0
[pid=11966/tid=11967] ppid=11948 vsize=8068440 memory=1476 CPUtime=0.91 cores=1,3,5,7
/proc/11966/task/11967/stat : 11967 (java) S 11948 11948 9001 0 -1 1077944384 17478 0 0 0 79 12 0 0 20 0 19 0 405201673 8262082560 109391 33554432000 4194304 4196468 140731493578432 140618527969184 140618556139221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11968] ppid=11948 vsize=8068440 memory=-7824251494390650722 CPUtime=0 cores=1,3,5,7
/proc/11966/task/11968/stat : 11968 (java) S 11948 11948 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405201674 8262082560 109391 33554432000 4194304 4196468 140731493578432 140618560371088 140618556139221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11969] ppid=11948 vsize=8068440 memory=1080288 CPUtime=0 cores=1,3,5,7
/proc/11966/task/11969/stat : 11969 (java) S 11948 11948 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405201674 8262082560 109391 33554432000 4194304 4196468 140731493578432 140618374527248 140618556139221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11970] ppid=11948 vsize=8068440 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/11966/task/11970/stat : 11970 (java) S 11948 11948 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405201674 8262082560 109391 33554432000 4194304 4196468 140731493578432 140618373474960 140618556139221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11971] ppid=11948 vsize=8068440 memory=932 CPUtime=0 cores=1,3,5,7
/proc/11966/task/11971/stat : 11971 (java) S 11948 11948 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405201674 8262082560 109391 33554432000 4194304 4196468 140731493578432 140618372422160 140618556139221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11972] ppid=11948 vsize=8068440 memory=3680 CPUtime=0 cores=1,3,5,7
/proc/11966/task/11972/stat : 11972 (java) S 11948 11948 9001 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405201676 8262082560 109391 33554432000 4194304 4196468 140731493578432 140617934895728 140618556140162 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11973] ppid=11948 vsize=8068440 memory=864 CPUtime=0 cores=1,3,5,7
/proc/11966/task/11973/stat : 11973 (java) S 11948 11948 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405201676 8262082560 109391 33554432000 4194304 4196468 140731493578432 140617296373024 140618556139221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11974] ppid=11948 vsize=8068440 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/11966/task/11974/stat : 11974 (java) S 11948 11948 9001 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405201676 8262082560 109391 33554432000 4194304 4196468 140731493578432 140617162151536 140618556139221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11975] ppid=11948 vsize=8068440 memory=129612 CPUtime=0 cores=1,3,5,7
/proc/11966/task/11975/stat : 11975 (java) S 11948 11948 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405201679 8262082560 109391 33554432000 4194304 4196468 140731493578432 140616787647056 140618556147611 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11976] ppid=11948 vsize=8068440 memory=1075960 CPUtime=0.71 cores=1,3,5,7
/proc/11966/task/11976/stat : 11976 (java) S 11948 11948 9001 0 -1 1077944384 3601 0 0 0 71 0 0 0 20 0 19 0 405201679 8262082560 109391 33554432000 4194304 4196468 140731493578432 140617933842544 140618556140162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11977] ppid=11948 vsize=8068440 memory=0 CPUtime=0.71 cores=1,3,5,7
/proc/11966/task/11977/stat : 11977 (java) S 11948 11948 9001 0 -1 1077944384 3599 0 0 0 71 0 0 0 20 0 19 0 405201679 8262082560 109391 33554432000 4194304 4196468 140731493578432 140617932789744 140618556140162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11978] ppid=11948 vsize=8068440 memory=191508296785260 CPUtime=0.36 cores=1,3,5,7
/proc/11966/task/11978/stat : 11978 (java) S 11948 11948 9001 0 -1 1077944384 1356 0 0 0 36 0 0 0 20 0 19 0 405201679 8262082560 109391 33554432000 4194304 4196468 140731493578432 140617931737456 140618556140162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11979] ppid=11948 vsize=8068440 memory=280386202501360 CPUtime=0 cores=1,3,5,7
/proc/11966/task/11979/stat : 11979 (java) S 11948 11948 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405201679 8262082560 109391 33554432000 4194304 4196468 140731493578432 140616289741280 140618556139221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11980] ppid=11948 vsize=8068440 memory=3624 CPUtime=0.08 cores=1,3,5,7
/proc/11966/task/11980/stat : 11980 (java) S 11948 11948 9001 0 -1 1077944384 11 0 0 0 4 4 0 0 20 0 19 0 405201679 8262082560 109391 33554432000 4194304 4196468 140731493578432 140617930685360 140618556140162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11982] ppid=11948 vsize=8068440 memory=36708 CPUtime=0 cores=1,3,5,7
/proc/11966/task/11982/stat : 11982 (java) S 11948 11948 9001 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405201760 8262082560 109391 33554432000 4194304 4196468 140731493578432 140617921111488 140618556153625 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11984] ppid=11948 vsize=8068440 memory=988 CPUtime=0.69 cores=1,3,5,7
/proc/11966/task/11984/stat : 11984 (java) R 11948 11948 9001 0 -1 4202560 1935 0 0 0 64 5 0 0 20 0 19 0 405201761 8262082560 109391 33554432000 4194304 4196468 140731493578432 140615752864960 140618055733831 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11985] ppid=11948 vsize=8068440 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/11966/task/11985/stat : 11985 (java) S 11948 11948 9001 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 405201761 8262082560 109391 33554432000 4194304 4196468 140731493578432 140615887076784 140618556150941 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11986] ppid=11948 vsize=8068440 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/11966/task/11986/stat : 11986 (java) S 11948 11948 9001 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405201763 8262082560 109391 33554432000 4194304 4196468 140731493578432 140615484431280 140618556139221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
Current children cumulated CPU time: 200.82 s
Current children cumulated vsize: 9378700 KiB
Current children cumulated memory: 1519328 KiB

[startup+183.602 s]
/proc/loadavg: 2.14 2.18 2.11 5/239 12007
/proc/meminfo: memFree=20027472/32770624 swapFree=66999124/67108860
[pid=11948] ppid=11945 vsize=113128 memory=1476 CPUtime=34.46 cores=1,3,5,7
/proc/11948/stat : 11948 (scop.sh) S 11945 11948 9001 0 -1 4202496 582 48626 0 0 0 0 3347 99 20 0 1 0 405199773 115843072 369 33554432000 4194304 5098028 140726670512000 140726670508744 140101060944508 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13201408 140726670521187 140726670521456 140726670521456 140726670524365 0
/proc/11948/statm: 28282 369 311 221 0 87 0
[pid=11966] ppid=11948 vsize=7937364 memory=572800 CPUtime=166.85 cores=1,3,5,7
/proc/11966/stat : 11966 (java) S 11948 11948 9001 0 -1 1077944320 29474 719604 0 0 344 26 16238 77 20 0 17 0 405201673 8127860736 143200 33554432000 4194304 4196468 140731493578432 140731493560976 140618556129015 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
/proc/11966/statm: 1984341 143200 3237 1 0 1945685 0
[pid=11966/tid=11967] ppid=11948 vsize=7937364 memory=2016 CPUtime=164.08 cores=1,3,5,7
/proc/11966/task/11967/stat : 11967 (java) R 11948 11948 9001 0 -1 4202560 17482 719604 0 0 81 12 16238 77 20 0 17 0 405201673 8127860736 143200 33554432000 4194304 4196468 140731493578432 140618527966152 140618055811880 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11968] ppid=11948 vsize=7937364 memory=1424 CPUtime=163.15 cores=1,3,5,7
/proc/11966/task/11968/stat : 11968 (java) S 11948 11948 9001 0 -1 1077944384 1 719604 0 0 0 0 16238 77 20 0 17 0 405201674 8127860736 143200 33554432000 4194304 4196468 140731493578432 140618560371088 140618556139221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11969] ppid=11948 vsize=7937364 memory=1540 CPUtime=163.15 cores=1,3,5,7
/proc/11966/task/11969/stat : 11969 (java) S 11948 11948 9001 0 -1 1077944384 2 719604 0 0 0 0 16238 77 20 0 17 0 405201674 8127860736 143200 33554432000 4194304 4196468 140731493578432 140618374527248 140618556139221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11970] ppid=11948 vsize=7937364 memory=772 CPUtime=163.15 cores=1,3,5,7
/proc/11966/task/11970/stat : 11970 (java) S 11948 11948 9001 0 -1 1077944384 1 719604 0 0 0 0 16238 77 20 0 17 0 405201674 8127860736 143200 33554432000 4194304 4196468 140731493578432 140618373474960 140618556139221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11971] ppid=11948 vsize=7937364 memory=10500 CPUtime=163.15 cores=1,3,5,7
/proc/11966/task/11971/stat : 11971 (java) S 11948 11948 9001 0 -1 1077944384 2 719604 0 0 0 0 16238 77 20 0 17 0 405201674 8127860736 143200 33554432000 4194304 4196468 140731493578432 140618372422160 140618556139221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11972] ppid=11948 vsize=7937364 memory=1712 CPUtime=163.15 cores=1,3,5,7
/proc/11966/task/11972/stat : 11972 (java) S 11948 11948 9001 0 -1 1077944384 7 719604 0 0 0 0 16238 77 20 0 17 0 405201676 8127860736 143200 33554432000 4194304 4196468 140731493578432 140617934895728 140618556140162 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11973] ppid=11948 vsize=7937364 memory=988 CPUtime=163.15 cores=1,3,5,7
/proc/11966/task/11973/stat : 11973 (java) S 11948 11948 9001 0 -1 1077944384 13 719604 0 0 0 0 16238 77 20 0 17 0 405201676 8127860736 143200 33554432000 4194304 4196468 140731493578432 140617296373024 140618556139221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11974] ppid=11948 vsize=7937364 memory=4004 CPUtime=163.15 cores=1,3,5,7
/proc/11966/task/11974/stat : 11974 (java) S 11948 11948 9001 0 -1 1077944384 21 719604 0 0 0 0 16238 77 20 0 17 0 405201676 8127860736 143200 33554432000 4194304 4196468 140731493578432 140617162151536 140618556139221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11975] ppid=11948 vsize=7937364 memory=2828 CPUtime=163.15 cores=1,3,5,7
/proc/11966/task/11975/stat : 11975 (java) S 11948 11948 9001 0 -1 1077944384 3 719604 0 0 0 0 16238 77 20 0 17 0 405201679 8127860736 143200 33554432000 4194304 4196468 140731493578432 140616787647056 140618556147611 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11976] ppid=11948 vsize=7937364 memory=1048 CPUtime=163.87 cores=1,3,5,7
/proc/11966/task/11976/stat : 11976 (java) S 11948 11948 9001 0 -1 1077944384 3603 719604 0 0 72 0 16238 77 20 0 17 0 405201679 8127860736 143200 33554432000 4194304 4196468 140731493578432 140617933842544 140618556140162 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11977] ppid=11948 vsize=7937364 memory=5888 CPUtime=163.87 cores=1,3,5,7
/proc/11966/task/11977/stat : 11977 (java) R 11948 11948 9001 0 -1 4202560 3599 719604 0 0 72 0 16238 77 20 0 17 0 405201679 8127860736 143200 33554432000 4194304 4196468 140731493578432 140617932789744 140618535784209 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11978] ppid=11948 vsize=7937364 memory=612 CPUtime=163.51 cores=1,3,5,7
/proc/11966/task/11978/stat : 11978 (java) S 11948 11948 9001 0 -1 1077944384 1369 719604 0 0 36 0 16238 77 20 0 17 0 405201679 8127860736 143200 33554432000 4194304 4196468 140731493578432 140617931737456 140618556140162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11979] ppid=11948 vsize=7937364 memory=1220 CPUtime=163.15 cores=1,3,5,7
/proc/11966/task/11979/stat : 11979 (java) S 11948 11948 9001 0 -1 1077944384 3 719604 0 0 0 0 16238 77 20 0 17 0 405201679 8127860736 143200 33554432000 4194304 4196468 140731493578432 140616289741280 140618556139221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11980] ppid=11948 vsize=7937364 memory=14004 CPUtime=163.23 cores=1,3,5,7
/proc/11966/task/11980/stat : 11980 (java) S 11948 11948 9001 0 -1 1077944384 11 719604 0 0 4 4 16238 77 20 0 17 0 405201679 8127860736 143200 33554432000 4194304 4196468 140731493578432 140617930685360 140618556140162 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11982] ppid=11948 vsize=7937364 memory=14060 CPUtime=163.15 cores=1,3,5,7
/proc/11966/task/11982/stat : 11982 (java) S 11948 11948 9001 0 -1 1077944384 23 719604 0 0 0 0 16238 77 20 0 17 0 405201760 8127860736 143200 33554432000 4194304 4196468 140731493578432 140617921110672 140618556140162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11986] ppid=11948 vsize=7937364 memory=532 CPUtime=163.15 cores=1,3,5,7
/proc/11966/task/11986/stat : 11986 (java) S 11948 11948 9001 0 -1 1077944384 12 719604 0 0 0 0 16238 77 20 0 17 0 405201763 8127860736 143200 33554432000 4194304 4196468 140731493578432 140615484433072 140618556140162 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
Current children cumulated CPU time: 201.31 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 574276 KiB

[startup+183.802 s]
/proc/loadavg: 2.14 2.18 2.11 5/239 12007
/proc/meminfo: memFree=20027472/32770624 swapFree=66999124/67108860
[pid=11948] ppid=11945 vsize=113128 memory=1476 CPUtime=34.46 cores=1,3,5,7
/proc/11948/stat : 11948 (scop.sh) S 11945 11948 9001 0 -1 4202496 582 48626 0 0 0 0 3347 99 20 0 1 0 405199773 115843072 369 33554432000 4194304 5098028 140726670512000 140726670508744 140101060944508 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13201408 140726670521187 140726670521456 140726670521456 140726670524365 0
/proc/11948/statm: 28282 369 311 221 0 87 0
[pid=11966] ppid=11948 vsize=7937364 memory=583260 CPUtime=167.32 cores=1,3,5,7
/proc/11966/stat : 11966 (java) S 11948 11948 9001 0 -1 1077944320 30022 719604 0 0 391 26 16238 77 20 0 17 0 405201673 8127860736 145815 33554432000 4194304 4196468 140731493578432 140731493560976 140618556129015 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
/proc/11966/statm: 1984341 145815 3241 1 0 1945685 0
[pid=11966/tid=11967] ppid=11948 vsize=7937364 memory=864 CPUtime=164.27 cores=1,3,5,7
/proc/11966/task/11967/stat : 11967 (java) R 11948 11948 9001 0 -1 1077944384 17725 719604 0 0 100 12 16238 77 20 0 17 0 405201673 8127860736 145815 33554432000 4194304 4196468 140731493578432 140618527955856 140618548808237 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11968] ppid=11948 vsize=7937364 memory=6791534058613427641 CPUtime=163.15 cores=1,3,5,7
/proc/11966/task/11968/stat : 11968 (java) S 11948 11948 9001 0 -1 1077944384 1 719604 0 0 0 0 16238 77 20 0 17 0 405201674 8127860736 145815 33554432000 4194304 4196468 140731493578432 140618560371088 140618556139221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11969] ppid=11948 vsize=7937364 memory=932 CPUtime=163.15 cores=1,3,5,7
/proc/11966/task/11969/stat : 11969 (java) S 11948 11948 9001 0 -1 1077944384 2 719604 0 0 0 0 16238 77 20 0 17 0 405201674 8127860736 145815 33554432000 4194304 4196468 140731493578432 140618374527248 140618556139221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11970] ppid=11948 vsize=7937364 memory=3680 CPUtime=163.15 cores=1,3,5,7
/proc/11966/task/11970/stat : 11970 (java) S 11948 11948 9001 0 -1 1077944384 1 719604 0 0 0 0 16238 77 20 0 17 0 405201674 8127860736 145815 33554432000 4194304 4196468 140731493578432 140618373474960 140618556139221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11971] ppid=11948 vsize=7937364 memory=864 CPUtime=163.15 cores=1,3,5,7
/proc/11966/task/11971/stat : 11971 (java) S 11948 11948 9001 0 -1 1077944384 2 719604 0 0 0 0 16238 77 20 0 17 0 405201674 8127860736 145815 33554432000 4194304 4196468 140731493578432 140618372422160 140618556139221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11972] ppid=11948 vsize=7937364 memory=1436 CPUtime=163.15 cores=1,3,5,7
/proc/11966/task/11972/stat : 11972 (java) S 11948 11948 9001 0 -1 1077944384 7 719604 0 0 0 0 16238 77 20 0 17 0 405201676 8127860736 145815 33554432000 4194304 4196468 140731493578432 140617934895728 140618556140162 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11973] ppid=11948 vsize=7937364 memory=1652 CPUtime=163.15 cores=1,3,5,7
/proc/11966/task/11973/stat : 11973 (java) S 11948 11948 9001 0 -1 1077944384 13 719604 0 0 0 0 16238 77 20 0 17 0 405201676 8127860736 145815 33554432000 4194304 4196468 140731493578432 140617296373024 140618556139221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11974] ppid=11948 vsize=7937364 memory=1980 CPUtime=163.15 cores=1,3,5,7
/proc/11966/task/11974/stat : 11974 (java) S 11948 11948 9001 0 -1 1077944384 21 719604 0 0 0 0 16238 77 20 0 17 0 405201676 8127860736 145815 33554432000 4194304 4196468 140731493578432 140617162151536 140618556139221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11975] ppid=11948 vsize=7937364 memory=2540 CPUtime=163.15 cores=1,3,5,7
/proc/11966/task/11975/stat : 11975 (java) S 11948 11948 9001 0 -1 1077944384 3 719604 0 0 0 0 16238 77 20 0 17 0 405201679 8127860736 145815 33554432000 4194304 4196468 140731493578432 140616787647056 140618556147611 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11976] ppid=11948 vsize=7937364 memory=1760 CPUtime=163.95 cores=1,3,5,7
/proc/11966/task/11976/stat : 11976 (java) R 11948 11948 9001 0 -1 4202560 3651 719604 0 0 80 0 16238 77 20 0 17 0 405201679 8127860736 145815 33554432000 4194304 4196468 140731493578432 140617933827504 140618542193016 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11977] ppid=11948 vsize=7937364 memory=111636 CPUtime=163.95 cores=1,3,5,7
/proc/11966/task/11977/stat : 11977 (java) R 11948 11948 9001 0 -1 4202560 3637 719604 0 0 80 0 16238 77 20 0 17 0 405201679 8127860736 145815 33554432000 4194304 4196468 140731493578432 140617932778176 140618539629398 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11978] ppid=11948 vsize=7937364 memory=804 CPUtime=163.61 cores=1,3,5,7
/proc/11966/task/11978/stat : 11978 (java) R 11948 11948 9001 0 -1 4202560 1588 719604 0 0 46 0 16238 77 20 0 17 0 405201679 8127860736 145815 33554432000 4194304 4196468 140731493578432 140617931737456 140618548366142 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11979] ppid=11948 vsize=7937364 memory=1800 CPUtime=163.15 cores=1,3,5,7
/proc/11966/task/11979/stat : 11979 (java) S 11948 11948 9001 0 -1 1077944384 3 719604 0 0 0 0 16238 77 20 0 17 0 405201679 8127860736 145815 33554432000 4194304 4196468 140731493578432 140616289741280 140618556139221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11980] ppid=11948 vsize=7937364 memory=920 CPUtime=163.23 cores=1,3,5,7
/proc/11966/task/11980/stat : 11980 (java) S 11948 11948 9001 0 -1 1077944384 11 719604 0 0 4 4 16238 77 20 0 17 0 405201679 8127860736 145815 33554432000 4194304 4196468 140731493578432 140617930685360 140618556140162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11982] ppid=11948 vsize=7937364 memory=3848 CPUtime=163.15 cores=1,3,5,7
/proc/11966/task/11982/stat : 11982 (java) S 11948 11948 9001 0 -1 1077944384 23 719604 0 0 0 0 16238 77 20 0 17 0 405201760 8127860736 145815 33554432000 4194304 4196468 140731493578432 140617921110672 140618556140162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
[pid=11966/tid=11986] ppid=11948 vsize=7937364 memory=2848 CPUtime=163.15 cores=1,3,5,7
/proc/11966/task/11986/stat : 11986 (java) S 11948 11948 9001 0 -1 1077944384 12 719604 0 0 0 0 16238 77 20 0 17 0 405201763 8127860736 145815 33554432000 4194304 4196468 140731493578432 140615484433072 140618556140162 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7733248 140731493585915 140731493586074 140731493586074 140731493588943 0
Current children cumulated CPU time: 201.78 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 584736 KiB

Child status: 0
Real time (s): 183.843
CPU time (s): 201.898
CPU user time (s): 199.842
CPU system time (s): 2.05679
CPU usage (%): 109.821
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 3246604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 199.842
system time used= 2.05679
maximum resident set size= 3245624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 798950
page faults= 0
swaps= 0
block input operations= 0
block output operations= 122328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13013
involuntary context switches= 221


# summary of solver processes directly reported to runsolver:
#   pid: 11948
#   total CPU time (s): 201.898
#   total CPU user time (s): 199.842
#   total CPU system time (s): 2.05679

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.29482 second user time and 2.10613 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-12 14:49:33
IDJOB=4387963
IDBENCH=128127
IDSOLVER=2826
FILE ID=node140/4387963-1568292613
RUNJOBID= node140-1568286731-10042
PBS_JOBID= 21701069
Free space on /tmp= 55520 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-80-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-4387963-1568292613/watcher-4387963-1568292613 -o /tmp/evaluation-result-4387963-1568292613/solver-4387963-1568292613 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568286731-10042 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387963-1568292613.xml

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

MD5SUM BENCH= 551365d3bcc7e6d8199baaf77d133a5e
RANDOM SEED=473188704

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        21457592 kB
MemAvailable:   31628368 kB
Buffers:          124772 kB
Cached:         10256792 kB
SwapCached:         2896 kB
Active:          2065128 kB
Inactive:        8557468 kB
Active(anon):     237832 kB
Inactive(anon):    43924 kB
Active(file):    1827296 kB
Inactive(file):  8513544 kB
Unevictable:      107728 kB
Mlocked:          107728 kB
SwapTotal:      67108860 kB
SwapFree:       66999124 kB
Dirty:             20648 kB
Writeback:           420 kB
AnonPages:        426556 kB
Mapped:            55692 kB
Shmem:             32100 kB
Slab:             287216 kB
SReclaimable:     258396 kB
SUnreclaim:        28820 kB
KernelStack:        3856 kB
PageTables:         6332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6108468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    208896 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 55500 MiB
End job on node140 at 2019-09-12 14:52:37