Trace number 4387933

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 202.176 185.158

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-60-01.xml
MD5SUM78ce7b18c2bc9eefd2fccfc0b2746318
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 benchmark3.47115
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1379
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 degree62
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":19},{"degree":21,"count":19},{"degree":22,"count":19},{"degree":23,"count":19},{"degree":24,"count":125},{"degree":25,"count":14},{"degree":26,"count":14},"...",{"degree":38,"count":8}, {"degree":39,"count":8}, {"degree":40,"count":8}, {"degree":41,"count":8}, {"degree":42,"count":8}, {"degree":43,"count":9}, {"degree":44,"count":125}, {"degree":45,"count":6}, {"degree":46,"count":6}, {"degree":47,"count":6}, {"degree":48,"count":6}, {"degree":49,"count":6}, {"degree":50,"count":6}, {"degree":51,"count":6}, {"degree":52,"count":6}, {"degree":53,"count":6}, {"degree":54,"count":7}, {"degree":55,"count":7}, {"degree":56,"count":48}, {"degree":57,"count":3}, {"degree":58,"count":3}, {"degree":59,"count":3}, {"degree":60,"count":4}, {"degree":61,"count":4}, {"degree":62,"count":27}]
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":29,"count":1},{"arity":32,"count":1},{"arity":35,"count":1},{"arity":38,"count":1},{"arity":41,"count":1},{"arity":44,"count":1},{"arity":47,"count":2},{"arity":50,"count":2},{"arity":53,"count":2},{"arity":56,"count":2},{"arity":59,"count":2},{"arity":62,"count":2},{"arity":65,"count":2},{"arity":68,"count":2},{"arity":71,"count":2},{"arity":74,"count":2},{"arity":77,"count":2},{"arity":80,"count":2},{"arity":83,"count":2},{"arity":86,"count":2},{"arity":89,"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":1178},{"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-11016-serial-file.bin HOME/instance-4387933-1568292330.xml
0.67/0.53	
0.67/0.53	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.67/0.53	
0.67/0.55	c BEGIN-Prog: Thu Sep 12 14:44:32 CEST 2019
0.67/0.55	c PID: 11019
0.67/0.55	c IP: 172.20.3.103
0.67/0.55	c HOST: node103.alineos.net
0.67/0.56	c (0,0) Parsing Begin
2.90/1.39	c (0,0) Parsing End
2.90/1.40	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1379 ctr, max domain size 24
2.90/1.40	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.90/1.40	c (0,0) Constraint Name Generate Begin
3.23/1.43	c (0,0) Ctr:HOME/instance-4387933-1568292330.xml,Cardinality:ExtensionSupport:Num:Var:WeightedSum
3.23/1.43	c (0,0) Constraint Name Generate End
3.23/1.43	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.23/1.43	c (0,0) CSP to CSPinCNF Begin
12.19/4.81	c (4,4) translated 138 (10%) constraints
12.85/5.44	c (4,4) translated 276 (20%) constraints
12.85/5.46	c (4,4) translated 414 (30%) constraints
12.85/5.48	c (4,4) translated 552 (40%) constraints
13.13/5.51	c (4,4) translated 690 (50%) constraints
13.13/5.53	c (5,4) translated 828 (60%) constraints
13.13/5.54	c (5,4) translated 966 (70%) constraints
13.13/5.56	c (5,5) translated 1104 (80%) constraints
14.87/6.58	c (6,6) translated 1242 (90%) constraints
17.16/8.58	c (8,7) translated 1379 (100%) constraints
17.26/8.60	c (8,7) ===========================================
17.26/8.63	c (8,7) Hybrid: #OE=10800, #LE=5800
17.26/8.63	c (8,7) Hybrid
17.26/8.63	c (8,7) ===========================================
18.59/9.18	c (8,8) translated 5741 (10%) constraints
19.16/9.42	c (8,8) translated 11481 (20%) constraints
19.41/9.55	c (9,8) translated 17221 (30%) constraints
19.51/9.66	c (9,9) translated 22961 (40%) constraints
19.65/9.78	c (9,9) translated 28701 (50%) constraints
19.85/9.90	c (9,9) translated 34442 (60%) constraints
19.96/10.02	c (9,9) translated 40182 (70%) constraints
20.06/10.14	c (9,9) translated 45922 (80%) constraints
20.15/10.26	c (9,9) translated 51662 (90%) constraints
21.53/11.30	c (10,10) translated 57402 (100%) constraints
21.53/11.31	c (10,10) CSP to CSPinCNF End
21.53/11.31	c (10,10) CSP: 200 int (0 aux), 21200 bool (20200 aux), 67026 ctr, max domain size 24
21.53/11.31	c (10,10) Heap : 1263 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
21.53/11.31	c (10,10) CSPinCNF Propagation Begin
22.39/11.90	c (11,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
22.39/11.90	c (11,11) CSPinCNF Propagation End
22.66/11.90	c (11,11) CSP: 200 int (0 aux), 21200 bool (20200 aux), 66626 ctr, max domain size 24
22.66/11.90	c (11,11) Heap : 1539 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
22.66/11.95	c (11,11) Hybrid: #OE=15600, #LE=5800
22.66/11.95	c (11,11) Simplify CSPinCNF Begin
23.15/12.11	c (11,11) Simplify CSPinCNF End
23.15/12.12	c (11,11) CSP: 200 int (0 aux), 21200 bool (20200 aux), 66626 ctr, max domain size 24
23.15/12.12	c (11,11) Heap : 1650 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
23.15/12.12	c (11,11) Calculate Precise Domain Begin
23.15/12.12	c (11,11) 0 values are removed by re-calculation
23.15/12.12	c (11,11) Calculate Precise Domain End
23.15/12.12	c (11,11) CSP: 200 int (0 aux), 21200 bool (20200 aux), 66626 ctr, max domain size 24
23.15/12.12	c (11,11) Heap : 1650 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
23.15/12.12	c (11,11) CSPinCNF to SatSolver Begin
25.15/12.98	c (12,12) 6663 (10 %) CSP clauses are encoded (0 SAT variables, 200782 SAT clauses)
25.78/13.14	c (12,12) 13326 (20 %) CSP clauses are encoded (0 SAT variables, 207445 SAT clauses)
26.04/13.26	c (12,12) 19988 (30 %) CSP clauses are encoded (0 SAT variables, 214107 SAT clauses)
26.35/13.37	c (12,12) 26651 (40 %) CSP clauses are encoded (0 SAT variables, 220770 SAT clauses)
26.64/13.45	c (12,12) 33313 (50 %) CSP clauses are encoded (0 SAT variables, 227432 SAT clauses)
26.80/13.52	c (12,12) 39976 (60 %) CSP clauses are encoded (0 SAT variables, 234095 SAT clauses)
26.80/13.59	c (13,12) 46639 (70 %) CSP clauses are encoded (0 SAT variables, 240758 SAT clauses)
26.90/13.66	c (13,13) 53301 (80 %) CSP clauses are encoded (0 SAT variables, 247420 SAT clauses)
27.00/13.73	c (13,13) 59964 (90 %) CSP clauses are encoded (0 SAT variables, 254083 SAT clauses)
31.30/16.96	c (16,16) 66626 (100 %) CSP clauses are encoded (0 SAT variables, 2013210 SAT clauses)
31.30/16.99	c (16,16) CSPinCNF to SatSolver End
31.30/16.99	c (16,16) Heap : 2698 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
31.30/16.99	c (16,16) 694413 bool, 2029207 clause
31.30/16.99	c (16,16) Export Begin
31.67/17.20	c (16,16) Export to HOME/scop-11016-serial-file.bin
31.67/17.20	c (16,16) Export End
31.91/17.20	c (16,16) Export File Size: 0.47 MB
31.91/17.20	c (16,16) 0,0,10,11,11,11,16,STOP-AFTER(DIMACS)
31.91/17.20	c END-Prog: Thu Sep 12 14:44:48 CEST 2019
31.91/17.23	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-11016-serial-file.bin
31.94/17.68	c (0,0) Read Serial File Begin
31.94/17.68	c (0,0) HOME/scop-11016-serial-file.bin
33.20/18.05	c (0,0) Read Serial File End
33.20/18.06	
33.20/18.06	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
33.20/18.06	(Solving Process)
33.20/18.06	
33.20/18.08	c BEGIN-Prog: Thu Sep 12 14:44:49 CEST 2019
33.20/18.08	c PID: 11035
33.20/18.08	c IP: 172.20.3.103
33.20/18.08	c HOST: node103.alineos.net
33.20/18.09	c (0,0) SatSolver.solve Begin
33.20/18.09	c (0,0) HOME/cryptominisat5  HOME/instance-4387933-1568292330.xml-scop-11019.cnf
33.45/18.12	c (0,0) c Outputting solution to console
33.45/18.12	c (0,0) c CryptoMiniSat version 5.6.8
33.45/18.12	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
33.45/18.12	c (0,0) c CMS SHA revision GIT-notfound
33.45/18.12	c (0,0) c CMS is MIT licensed
33.45/18.12	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
33.45/18.12	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
33.45/18.12	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387933-1568292330.xml-scop-11019.cnf
33.45/18.12	c (0,0) c Reading file 'HOME/instance-4387933-1568292330.xml-scop-11019.cnf'
33.45/18.12	c (0,0) c -- header says num vars:         694413
33.45/18.12	c (0,0) c -- header says num clauses:     2029207
33.56/18.86	c (1,0) c -- clauses added: 2029207
33.56/18.86	c (1,0) c -- xor clauses added: 0
33.56/18.86	c (1,0) c -- vars added 694413
33.56/18.86	c (1,0) c Parsing time: 0.67 s
34.45/19.09	c (1,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
34.45/19.10	c (1,0) c [distill] long cls tried: 62/60 cl-short:62 lit-r:16 T: 0.01 T-out: N T-r: 99.95%
35.95/20.58	c (2,0) c [distill] long cls tried: 352/412 cl-short:352 lit-r:10 T: 0.02 T-out: N T-r: 99.89%
37.55/22.17	c (4,0) c [distill] long cls tried: 309/717 cl-short:309 lit-r:25 T: 0.03 T-out: N T-r: 99.79%
38.15/22.71	c (5,0) c   glue     1    76  8193  693597 1960K   67K    3.00    2.97   800  1221  6090    82   32.33   32.02
39.75/24.35	c (6,0) c [distill] long cls tried: 1057/1773 cl-short:1057 lit-r:122 T: 0.12 T-out: N T-r: 98.99%
41.24/25.87	c (8,0) c   geom     1    99 16386  693597 1960K   67K    3.00    2.97  2220  3028 10985   153   29.65   29.39
41.46/26.05	c (8,0) c [distill] long cls tried: 489/2254 cl-short:489 lit-r:83 T: 0.02 T-out: N T-r: 99.83%
42.46/27.09	c (9,0) c   glue     1   107   24K  693597 1960K   67K    3.00    2.97  3833  3850 16674   222   29.75   29.50
44.35/28.92	c (11,0) c [distill] long cls tried: 1596/3767 cl-short:1596 lit-r:639 T: 0.06 T-out: N T-r: 99.55%
46.04/30.67	c (13,0) c   glue     1   117   32K  693597 1960K   67K    3.00    2.97  5796  5359 18079   364   30.59   30.23
46.55/31.17	c (13,0) c [distill] long cls tried: 2258/5719 cl-short:2258 lit-r:2172 T: 0.10 T-out: N T-r: 99.09%
47.45/32.10	c (14,0) c   glue     1   121   40K  693597 1960K   67K    3.00    2.97  7139  4974   24K   706   31.81   31.26
48.85/33.47	c (15,0) c [distill] long cls tried: 1860/7339 cl-short:1860 lit-r:1770 T: 0.11 T-out: N T-r: 99.08%
49.35/33.92	c (16,0) c   glue     1   131   49K  693597 1960K   67K    3.00    2.97  7441  8125   24K   985   31.00   30.31
52.57/37.12	c (19,0) c   geom     1   143   57K  693597 1960K   67K    3.00    2.97  8997  7859   31K  1065   30.04   29.44
53.58/38.16	c (20,0) c [distill] long cls tried: 2855/9982 cl-short:2855 lit-r:1979 T: 0.23 T-out: N T-r: 98.34%
54.37/38.93	c (21,0) c   glue     1   152   65K  693597 1960K   67K    3.00    2.97 10457  7570   30K  1310   28.42   27.72
55.76/40.31	c (22,0) c recursive minimization cost OK: 3131Kcost/(% lits removed)
55.76/40.31	c (22,0) c more minimization effectiveness low: 0.00 % lits removed --> disabling
55.86/40.41	c (22,0) c --> Executing strategy token: handle-comps
55.86/40.41	c (22,0) c --> Executing strategy token: scc-vrepl
55.86/40.41	c (22,0) c [scc] new: 1870 BP 1M T: 0.10
56.07/40.61	c (22,0) c [vrep] vars 1269 lits 188552 rem-bin-cls 5856 rem-long-cls 0 BP 7M T: 0.18
56.17/40.77	c (23,0) c --> Executing strategy token: cache-clean
56.17/40.77	c (23,0) c --> Executing strategy token: cache-tryboth
56.17/40.77	c (23,0) c --> Executing strategy token: sub-impl
56.17/40.77	c (23,0) c [impl sub] bin: 488 T: 0.15 T-out: N w-visit: 1388826
56.37/40.94	c (23,0) c --> Executing strategy token: intree-probe
56.37/40.94	c (23,0) c [scc] new: 0 BP 1M T: 0.09
56.48/41.08	c (23,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 6M T: 0.13
74.38/58.95	c (41,0) c [intree] Set 10595 vars hyper-added: 1304219 trans-irred::841 trans-red::220922 T: 17.80 T-out: N T-r: 28.33%
75.08/59.69	c (42,0) c --> Executing strategy token: probe
75.08/59.69	c (42,0) c --> Executing strategy token: sub-str-cls-with-bin
75.08/59.69	c (42,0) c [distill] cache-based irred--  cl tried   410492 cl-sh     1 cl-rem 5569 lit-rem      1 T: 0.55 T-out: Y
75.08/59.69	c (42,0) c [distill] cache-based   red--  cl tried    20355 cl-sh   383 cl-rem  807 lit-rem    483 T: 0.05 T-out: N
77.18/61.73	c (44,0) c --> Executing strategy token: distill-cls
77.18/61.73	c (44,0) c [distill] long cls tried: 94264/1923204 cl-short:31917 lit-r:85 T: 2.04 T-out: Y T-r: -0.08%
77.18/61.73	c (44,0) c [distill] long useful: 63834/188528/3846574 lits-rem: 170 0-depth-assigns: 16 T: 4.09 T-out: Y
77.28/61.85	c (44,0) c --> Executing strategy token: scc-vrepl
77.28/61.85	c (44,0) c [scc] new: 13932 BP 2M T: 0.12
77.77/62.31	c (44,0) c [vrep] vars 10549 lits 631715 rem-bin-cls 43624 rem-long-cls 2365 BP 8M T: 0.43
77.97/62.58	c (44,0) c --> Executing strategy token: sub-impl
77.97/62.58	c (44,0) c [impl sub] bin: 84 T: 0.26 T-out: N w-visit: 1388826
78.07/62.68	c (45,0) c --> Executing strategy token: str-impl
78.07/62.68	c (45,0) c [impl str] lit bin: 1 (by stamp: 0) set-var: 1 T: 0.10 T-out: N T-r: 94.62% w-visit: 1388826
78.37/62.91	c (45,0) c --> Executing strategy token: sub-impl
78.37/62.91	c (45,0) c [impl sub] bin: 0 T: 0.23 T-out: N w-visit: 1388826
78.59/63.18	c (45,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
78.59/63.18	c (45,0) c [occ] mem usage for occur    227 MB
79.38/63.91	c (46,0) c [occ] mem usage for occur     52 MB
79.59/64.13	c (46,0) c Mem for watch alloc      : 163         MB (36.42     %)
79.59/64.13	c (46,0) c Mem for watch array      : 31          MB (7.06      %)
80.08/64.69	c (47,0) c --> Executing OCC strategy token: occ-backw-sub-str
80.08/64.69	c (47,0) c [occ-backw-sub-str-long-w-bins] subs: 5791 str: 14617 tried: 1621274 0-depth ass: 0 T: 0.56 T-out: N T-r: 45.21%
81.28/65.88	c (48,0) c [occ-sub-long-w-long] rem cl: 4746 tried: 3499092/1972587 (177.4%) T: 1.17 T-out: Y T-r: -0.00%
82.88/67.46	c (49,0) c [occ-sub-str-long-w-long] sub: 11 str: 232 tried: 4268981/1972587 (216.4)  T: 1.57 T-out: Y T-r: -0.00%
83.08/67.67	c (50,0) c --> Executing OCC strategy token: occ-clean-implicit
83.08/67.67	c (50,0) c --> Executing OCC strategy token: occ-bve
83.08/67.67	c (50,0) c [occ-empty-res] Empty resolvent elimed: 2570 T: 0.20 T-out: N
85.78/70.33	c (52,0) c [occ-bve] iter v-elim 26648
85.78/70.33	c (52,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=0)
85.78/70.37	c (52,0) c Reduced to 641957 vars, 1940322 cls (grow=0)
94.80/79.32	c (61,0) c [occ-bve] iter v-elim 181217
94.80/79.32	c (61,0) c cl_inc_rate=1.4, var_dec_rate=1.4 (grow=8)
94.80/79.37	c (61,0) c Reduced to 460740 vars, 2700701 cls (grow=8)
94.80/79.37	c (61,0) c x n vars       : 460740
94.80/79.39	c (61,0) c  #try to eliminate:  1811K
94.80/79.39	c (61,0) c  #var-elim        :   207K
94.80/79.39	c (61,0) c  #T-o: N
94.80/79.39	c (61,0) c  #T-r: 97.67%
94.80/79.39	c (61,0) c  #T  : 11.64
94.80/79.39	c (61,0) c [occur] 1.02 is overhead
94.80/79.39	c (61,0) c [occur] link-in T: 1.02 cleanup T: 0.00
94.80/79.39	c (61,0) c --> Executing OCC strategy token: occ-bva
94.80/79.39	c (61,0) c [occ-bva] global numcalls: 0
95.30/79.86	c (62,0) c --> Executing OCC strategy token: occ-ternary-res
95.30/79.86	c (62,0) c --> Executing OCC strategy token: occ-xor
95.30/79.86	c (62,0) c [occ-xor] sort occur list T: 0.46
96.80/81.32	c (63,0) c [occ-xor] found      0 T: 1.92 T-out: N T-r: 68.87%
96.80/81.32	c (63,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
97.61/82.13	c (64,0) c --> Executing strategy token: cl-consolidate
97.61/82.13	c (64,0) c [mem] consolidate  old-sz:   180M new-sz:   107M new bits offs: 0 T: 0.24
97.70/82.21	c (64,0) c --> Executing strategy token: str-impl
97.70/82.21	c (64,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.08 T-out: N T-r: 96.82% w-visit: 1388826
98.31/82.81	c (65,0) c --> Executing strategy token: cache-clean
98.31/82.81	c (65,0) c --> Executing strategy token: sub-str-cls-with-bin
98.31/82.81	c (65,0) c [distill] cache-based irred--  cl tried    56306 cl-sh     0 cl-rem    1 lit-rem      0 T: 0.45 T-out: Y
98.31/82.81	c (65,0) c [distill] cache-based   red--  cl tried     3452 cl-sh     6 cl-rem    4 lit-rem      8 T: 0.01 T-out: N
99.62/84.12	c (66,0) c --> Executing strategy token: distill-cls
99.62/84.12	c (66,0) c [distill] long cls tried: 11579/2615344 cl-short:6181 lit-r:35 T: 1.31 T-out: Y T-r: -0.02%
99.62/84.12	c (66,0) c [distill] long useful: 12362/23158/5230702 lits-rem: 70 0-depth-assigns: 2 T: 2.61 T-out: Y
99.71/84.23	c (66,0) c --> Executing strategy token: scc-vrepl
99.71/84.23	c (66,0) c [scc] new: 0 BP 1M T: 0.11
100.52/85.02	c (67,0) c --> Executing strategy token: check-cache-size
100.52/85.02	c (67,0) c --> Executing strategy token: renumber
100.52/85.02	c (67,0) c [renumber] T: 0.79
100.52/85.07	c (67,0) c --> Executing strategy token: sls
100.52/85.07	c (67,0) c [consolidate] mini T: 0.00
100.52/85.07	c (67,0) c global_timeout_multiplier: 4.40
100.71/85.25	c (67,0) c clause size stats. size3: 716880 size4: 1814922 size5: 7426 larger: 76112
103.12/87.61	c (69,0) c   luby     0   176   73K  460739 2615K   85K    3.97    3.91  1812  1120  4082  251K   29.74    2.75
104.82/89.31	c (71,0) c [distill] long cls tried: 481/1874 cl-short:456 lit-r:203 T: 0.06 T-out: N T-r: 99.63%
106.42/90.93	c (73,0) c   luby     0   209   81K  460739 2615K   85K    3.97    3.91  2539  1666 10938  251K   35.79    3.92
108.53/93.05	c (75,0) c   luby     0   227   90K  460739 2615K   85K    3.97    3.91  3865  3230 16099  251K   35.64    4.84
113.92/98.43	c (80,0) c [distill] long cls tried: 2234/3926 cl-short:2234 lit-r:1983 T: 0.20 T-out: N T-r: 98.54%
114.72/99.21	c (81,0) c   luby     0   259   98K  460739 2615K   85K    3.97    3.91  3953  4279   22K  251K   37.54    5.92
119.04/103.57	c (85,0) c   luby     0   284  106K  460739 2615K   85K    3.97    3.91  4923  5671   21K  251K   32.82    5.47
124.33/108.85	c (91,0) c   luby     0   285  114K  460739 2615K   85K    3.97    3.91  5501  4350   30K  251K   49.55    8.54
129.43/113.91	c (96,0) c [distill] long cls tried: 1675/5474 cl-short:1675 lit-r:1121 T: 0.20 T-out: N T-r: 98.70%
131.23/115.70	c (98,0) c   luby     0   316  122K  460739 2615K   85K    3.97    3.91  5904  3460   26K  251K   58.62    9.01
135.65/120.17	c (102,0) c   luby     0   347  131K  460739 2615K   85K    3.97    3.91  6736  2739   34K  251K   57.71   10.25
141.34/125.82	c (108,0) c   luby     0   373  139K  460739 2615K   85K    3.97    3.91  6953  4031   28K  251K   60.10    9.85
148.45/133.01	c (115,0) c [distill] long cls tried: 2016/7397 cl-short:2013 lit-r:1032 T: 0.17 T-out: N T-r: 98.82%
148.66/133.18	c (115,0) c   luby     0   405  147K  460739 2615K   85K    3.97    3.91  7408  3266   36K  251K   59.97   11.18
152.66/137.19	c (119,0) c   luby     0   412  155K  460739 2615K   85K    3.97    3.91  8251  3756   29K  251K   44.37    8.02
155.85/140.31	c (122,0) c   luby     0   413  163K  460739 2615K   85K    3.97    3.91  8752  3239   37K  251K   43.29    8.83
156.25/140.74	c (123,0) c recursive minimization cost OK: 7666Kcost/(% lits removed)
156.35/140.85	c (123,0) c --> Executing strategy token: handle-comps
156.35/140.85	c (123,0) c --> Executing strategy token: scc-vrepl
156.35/140.85	c (123,0) c [scc] new: 0 BP 1M T: 0.10
156.55/141.08	c (123,0) c --> Executing strategy token: cache-clean
156.55/141.08	c (123,0) c --> Executing strategy token: cache-tryboth
156.55/141.08	c (123,0) c --> Executing strategy token: sub-impl
156.55/141.08	c (123,0) c [impl sub] bin: 30586 T: 0.23 T-out: N w-visit: 921478
156.95/141.43	c (123,0) c --> Executing strategy token: intree-probe
156.95/141.43	c (123,0) c [scc] new: 0 BP 1M T: 0.10
157.45/141.94	c (124,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 7M T: 0.50
162.76/147.27	c (129,0) c [intree] Set 189 vars hyper-added: 249580 trans-irred::10132 trans-red::49883 T: 5.31 T-out: N T-r: 83.40%
163.36/147.87	c (130,0) c --> Executing strategy token: probe
163.36/147.87	c (130,0) c --> Executing strategy token: sub-str-cls-with-bin
163.36/147.87	c (130,0) c [distill] cache-based irred--  cl tried    39486 cl-sh     2 cl-rem    8 lit-rem      2 T: 0.32 T-out: Y
163.36/147.87	c (130,0) c [distill] cache-based   red--  cl tried    17540 cl-sh   385 cl-rem  488 lit-rem    484 T: 0.04 T-out: N
165.06/149.59	c (131,0) c --> Executing strategy token: distill-cls
165.06/149.59	c (131,0) c [distill] long cls tried: 25740/2614312 cl-short:13643 lit-r:88 T: 1.72 T-out: Y T-r: -0.08%
165.06/149.59	c (131,0) c [distill] long useful: 27286/51480/5228668 lits-rem: 176 0-depth-assigns: 8 T: 3.44 T-out: Y
165.16/149.69	c (132,0) c --> Executing strategy token: scc-vrepl
165.16/149.69	c (132,0) c [scc] new: 0 BP 2M T: 0.10
165.46/149.94	c (132,0) c --> Executing strategy token: sub-impl
165.46/149.94	c (132,0) c [impl sub] bin: 5 T: 0.25 T-out: N w-visit: 921478
165.57/150.04	c (132,0) c --> Executing strategy token: str-impl
165.57/150.04	c (132,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.10 T-out: N T-r: 96.34% w-visit: 921478
165.76/150.27	c (132,0) c --> Executing strategy token: sub-impl
165.76/150.27	c (132,0) c [impl sub] bin: 0 T: 0.23 T-out: N w-visit: 921478
166.16/150.60	c (132,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
166.16/150.60	c (132,0) c [occ] mem usage for occur    352 MB
167.26/151.74	c (134,0) c [occ] mem usage for occur     36 MB
167.57/152.08	c (134,0) c Mem for watch alloc      : 304         MB (38.59     %)
167.57/152.08	c (134,0) c Mem for watch array      : 21          MB (2.67      %)
168.06/152.58	c (134,0) c --> Executing OCC strategy token: occ-backw-sub-str
168.06/152.58	c (134,0) c [occ-backw-sub-str-long-w-bins] subs: 529 str: 448 tried: 3131202 0-depth ass: 0 T: 0.49 T-out: N T-r: 62.68%
169.46/153.90	c (136,0) c [occ-sub-long-w-long] rem cl: 850 tried: 3137526/2657349 (118.1%) T: 1.32 T-out: Y T-r: -0.00%
171.47/155.90	c (138,0) c [occ-sub-str-long-w-long] sub: 91 str: 358 tried: 3813008/2657349 (143.5)  T: 2.01 T-out: Y T-r: -0.00%
171.47/155.90	c (138,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%
171.77/156.20	c (138,0) c --> Executing OCC strategy token: occ-clean-implicit
171.77/156.20	c (138,0) c --> Executing OCC strategy token: occ-bve
171.77/156.20	c (138,0) c [occ-empty-res] Empty resolvent elimed: 0 T: 0.28 T-out: N
174.68/159.14	c (141,0) c [occ-bve] iter v-elim 17
174.68/159.14	c (141,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=0)
174.68/159.18	c (141,0) c Reduced to 460529 vars, 2658050 cls (grow=0)
178.48/162.95	c (145,0) c [occ-bve] iter v-elim 2213
178.48/162.95	c (145,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=8)
178.48/162.99	c (145,0) c Reduced to 458316 vars, 2663040 cls (grow=8)
178.48/162.99	c (145,0) c x n vars       : 458316
178.48/162.99	c (145,0) c  #try to eliminate:   929K
178.48/162.99	c (145,0) c  #var-elim        :   2230
178.48/162.99	c (145,0) c  #T-o: N
178.48/162.99	c (145,0) c  #T-r: 98.73%
178.48/162.99	c (145,0) c  #T  : 6.76
178.48/162.99	c (145,0) c [occur] 1.55 is overhead
178.48/162.99	c (145,0) c [occur] link-in T: 1.55 cleanup T: 0.00
178.48/162.99	c (145,0) c --> Executing OCC strategy token: occ-bva
178.48/162.99	c (145,0) c [occ-bva] global numcalls: 1
179.08/163.50	c (145,0) c --> Executing OCC strategy token: occ-ternary-res
179.08/163.50	c (145,0) c --> Executing OCC strategy token: occ-xor
179.08/163.50	c (145,0) c [occ-xor] sort occur list T: 0.51
181.58/166.02	c (148,0) c [occ-xor] found      0 T: 3.03 T-out: N T-r: 72.13%
181.58/166.02	c (148,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
182.47/166.92	c (149,0) c --> Executing strategy token: cl-consolidate
182.47/166.92	c (149,0) c Not consolidating memory.
182.47/166.98	c (149,0) c --> Executing strategy token: str-impl
182.47/166.98	c (149,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.08 T-out: N T-r: 96.46% w-visit: 921478
183.09/167.56	c (149,0) c --> Executing strategy token: cache-clean
183.09/167.56	c (149,0) c --> Executing strategy token: sub-str-cls-with-bin
183.09/167.56	c (149,0) c [distill] cache-based irred--  cl tried    30683 cl-sh     0 cl-rem    0 lit-rem      0 T: 0.31 T-out: Y
183.09/167.56	c (149,0) c [distill] cache-based   red--  cl tried    17029 cl-sh    64 cl-rem   12 lit-rem     82 T: 0.04 T-out: N
184.60/169.08	c (151,0) c --> Executing strategy token: distill-cls
184.60/169.08	c (151,0) c [distill] long cls tried: 10956/2615359 cl-short:5847 lit-r:27 T: 1.52 T-out: Y T-r: -0.01%
184.60/169.08	c (151,0) c [distill] long useful: 11694/21912/5230730 lits-rem: 54 0-depth-assigns: 0 T: 3.03 T-out: Y
184.70/169.18	c (151,0) c --> Executing strategy token: scc-vrepl
184.70/169.18	c (151,0) c [scc] new: 0 BP 2M T: 0.10
184.70/169.18	c (151,0) c --> Executing strategy token: check-cache-size
184.70/169.18	c (151,0) c --> Executing strategy token: renumber
184.70/169.18	c (151,0) c --> Executing strategy token: sls
184.70/169.18	c (151,0) c [consolidate] mini T: 0.00
184.70/169.18	c (151,0) c global_timeout_multiplier: 4.84
185.49/169.97	c (152,0) c [features] numVars 317155, numClauses 2663040, var_cl_ratio 0.12, binary 0.02, horn 0.09, 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.29, pnr_cls_std 0.85, pnr_cls_min 0.00, pnr_cls_max 1.00, pnr_cls_spread 1.00, avg_confl_size 44.73, confl_size_min 2.00, confl_size_max 1076.00, avg_confl_glue 18.75, confl_glue_min 2.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 65.72, branch_depth_min 45.00, branch_depth_max 141.00, avg_trail_depth_delta 391.19, trail_depth_delta_min 2.00, trail_depth_delta_max 9954.00, avg_branch_depth_delta 1.62, props_per_confl 0.00, confl_per_restart 406.80, decisions_per_conflict 4.13, irred_cl_distrib.glue_distr_mean 999.98, irred_cl_distrib.glue_distr_var 18.64, irred_cl_distrib.size_distr_mean 3.97, irred_cl_distrib.size_distr_var 3.01, 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 101.06, red_cl_distrib.glue_distr_mean 2.82, red_cl_distrib.glue_distr_var 0.17, red_cl_distrib.size_distr_mean 5.46, red_cl_distrib.size_distr_var 4.22, red_cl_distrib.uip_use_distr_mean 0, red_cl_distrib.uip_use_distr_var 0, red_cl_distrib.activity_distr_mean 4681.06, red_cl_distrib.activity_distr_var 1264161490.10, num_gates_found_last 0, num_xors_found_last 0
185.60/170.03	c (152,0) c clause size stats. size3: 718268 size4: 1811489 size5: 9023 larger: 76579
188.09/172.55	c (154,0) c   luby     0   435  172K  458316 2615K   47K    3.97    3.94  8744  3133   30K  416K   36.16    5.17
193.30/177.73	c (160,0) c [distill] long cls tried: 2734/8845 cl-short:2691 lit-r:1714 T: 0.42 T-out: N T-r: 97.24%
193.70/178.12	c (160,0) c   luby     0   467  180K  458316 2615K   47K    3.97    3.94  9729  3551   25K  416K   26.70    4.09
197.20/181.60	c (163,0) c   luby     0   484  188K  458316 2615K   47K    3.97    3.94  9921  4739   32K  416K   28.19    4.64
199.61/184.10	c (166,0) c ------- FINAL TOTAL SEARCH STATS ---------
199.61/184.10	c (166,0) c UIP search time          : 90.76       (54.88     % time)
199.61/184.10	c (166,0) c restarts                 : 499         (384.46    confls per restart)
199.61/184.10	c (166,0) c blocked restarts         : 429         (0.86      per normal restart)
199.61/184.10	c (166,0) c time                     : 90.76       
199.61/184.10	c (166,0) c decisions                : 862697      (0.00      % random)
199.61/184.10	c (166,0) c propagations             : 379882143   
199.61/184.10	c (166,0) c decisions/conflicts      : 4.50        
199.61/184.10	c (166,0) c conflicts                : 191846      (2113.79   / sec)
199.61/184.10	c (166,0) c conf lits non-minim      : 9450879     (49.26     lit/confl)
199.61/184.10	c (166,0) c conf lits final          : 43.56       
199.61/184.10	c (166,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
199.61/184.10	c (166,0) c red which0               : 8511        (4.44      % of confl)
199.61/184.10	c (166,0) c props/decision           : 0.00        
199.61/184.10	c (166,0) c props/conflict           : 0.00        
199.61/184.10	c (166,0) c 0-depth assigns          : 11614       (2.52      % vars)
199.61/184.10	c (166,0) c 0-depth assigns by CNF   : 816         (0.18      % vars)
199.61/184.10	c (166,0) c reduceDB time            : 0.07        (0.04      % time)
199.61/184.10	c (166,0) c OccSimplifier time       : 17.76       (10.74     % time)
199.61/184.10	c (166,0) c [occur] 3.98 is overhead
199.61/184.10	c (166,0) c [occur] link-in T: 2.57 cleanup T: 1.41
199.61/184.10	c (166,0) c [occ-substr] long subBySub: 10342 subByStr: 113 lits-rem-str: 93104 T: 8.82
199.61/184.10	c (166,0) c SCC time                 : 0.83        (0.50      % time)
199.61/184.10	c (166,0) c [scc] new: 15802 BP 15M  T: 0.83
199.61/184.10	c (166,0) c vrep replace time        : 1.25        (0.75      % time)
199.61/184.10	c (166,0) c vrep tree roots          : 5000        
199.61/184.10	c (166,0) c vrep trees' crown        : 11818       (2.36      leafs/tree)
199.61/184.10	c (166,0) c distill time             : 14.94       (9.03      % time)
199.61/184.10	c (166,0) c strength cache-irred time: 1.63        (0.98      % time)
199.61/184.10	c (166,0) c strength cache-red time  : 0.14        (0.09      % time)
199.61/184.10	c (166,0) c Conflicts in UIP         : 191846      (1160.00   confl/time_this_thread)
199.61/184.10	c (166,0) c Mem used                 : 798.45      MB
199.61/184.10	c (166,0) c Total time (this thread) : 165.38      
199.61/184.10	c (166,0) s SATISFIABLE
201.55/184.93	c (167,0) SatSolver.solve End
201.55/184.93	c (167,0) Heap : 430 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
201.55/184.93	c (167,0) Show results Begin
201.79/185.11	c (167,0) cls[0] = 1
201.79/185.11	c (167,0) cls[1] = 11
201.79/185.11	c (167,0) cls[2] = 10
201.79/185.11	c (167,0) cls[3] = 1
201.79/185.11	c (167,0) cls[4] = 17
201.79/185.11	c (167,0) cls[5] = 14
201.79/185.11	c (167,0) cls[6] = 1
201.79/185.11	c (167,0) cls[7] = 1
201.79/185.11	c (167,0) cls[8] = 3
201.79/185.11	c (167,0) cls[9] = 5
201.79/185.11	c (167,0) cls[10] = 1
201.79/185.11	c (167,0) cls[11] = 1
201.79/185.11	c (167,0) cls[12] = 16
201.79/185.11	c (167,0) cls[13] = 5
201.79/185.11	c (167,0) cls[14] = 4
201.79/185.11	c (167,0) cls[15] = 2
201.79/185.11	c (167,0) cls[16] = 5
201.79/185.11	c (167,0) cls[17] = 1
201.79/185.11	c (167,0) cls[18] = 0
201.79/185.11	c (167,0) cls[19] = 1
201.79/185.11	c (167,0) cls[20] = 5
201.79/185.11	c (167,0) cls[21] = 1
201.79/185.11	c (167,0) cls[22] = 7
201.79/185.11	c (167,0) cls[23] = 1
201.79/185.11	c (167,0) cls[24] = 5
201.79/185.11	c (167,0) cls[25] = 4
201.79/185.11	c (167,0) cls[26] = 1
201.79/185.11	c (167,0) cls[27] = 17
201.79/185.11	c (167,0) cls[28] = 5
201.79/185.11	c (167,0) cls[29] = 20
201.79/185.11	c (167,0) cls[30] = 1
201.79/185.11	c (167,0) cls[31] = 17
201.79/185.11	c (167,0) cls[32] = 1
201.79/185.11	c (167,0) cls[33] = 6
201.79/185.11	c (167,0) cls[34] = 16
201.79/185.11	c (167,0) cls[35] = 17
201.79/185.11	c (167,0) cls[36] = 1
201.79/185.11	c (167,0) cls[37] = 12
201.79/185.11	c (167,0) cls[38] = 5
201.79/185.11	c (167,0) cls[39] = 1
201.79/185.11	c (167,0) cls[40] = 16
201.79/185.11	c (167,0) cls[41] = 8
201.79/185.11	c (167,0) cls[42] = 1
201.79/185.11	c (167,0) cls[43] = 16
201.79/185.11	c (167,0) cls[44] = 17
201.79/185.11	c (167,0) cls[45] = 2
201.79/185.11	c (167,0) cls[46] = 21
201.79/185.11	c (167,0) cls[47] = 7
201.79/185.11	c (167,0) cls[48] = 2
201.79/185.11	c (167,0) cls[49] = 17
201.79/185.11	c (167,0) cls[50] = 18
201.79/185.11	c (167,0) cls[51] = 4
201.79/185.11	c (167,0) cls[52] = 7
201.79/185.11	c (167,0) cls[53] = 1
201.79/185.11	c (167,0) cls[54] = 1
201.79/185.11	c (167,0) cls[55] = 5
201.79/185.11	c (167,0) cls[56] = 17
201.79/185.11	c (167,0) cls[57] = 23
201.79/185.11	c (167,0) cls[58] = 6
201.79/185.11	c (167,0) cls[59] = 16
201.79/185.11	c (167,0) cls[60] = 1
201.79/185.11	c (167,0) cls[61] = 5
201.79/185.11	c (167,0) cls[62] = 1
201.79/185.11	c (167,0) cls[63] = 1
201.79/185.11	c (167,0) cls[64] = 17
201.79/185.11	c (167,0) cls[65] = 1
201.79/185.11	c (167,0) cls[66] = 5
201.79/185.11	c (167,0) cls[67] = 1
201.79/185.11	c (167,0) cls[68] = 16
201.79/185.11	c (167,0) cls[69] = 10
201.79/185.11	c (167,0) cls[70] = 1
201.79/185.11	c (167,0) cls[71] = 5
201.79/185.11	c (167,0) cls[72] = 17
201.79/185.11	c (167,0) cls[73] = 1
201.79/185.11	c (167,0) cls[74] = 2
201.79/185.11	c (167,0) cls[75] = 7
201.79/185.11	c (167,0) cls[76] = 4
201.79/185.11	c (167,0) cls[77] = 1
201.79/185.11	c (167,0) cls[78] = 5
201.79/185.11	c (167,0) cls[79] = 1
201.79/185.11	c (167,0) cls[80] = 16
201.79/185.11	c (167,0) cls[81] = 8
201.79/185.11	c (167,0) cls[82] = 17
201.79/185.11	c (167,0) cls[83] = 1
201.79/185.11	c (167,0) cls[84] = 9
201.79/185.11	c (167,0) cls[85] = 1
201.79/185.11	c (167,0) cls[86] = 1
201.79/185.11	c (167,0) cls[87] = 5
201.79/185.11	c (167,0) cls[88] = 10
201.79/185.11	c (167,0) cls[89] = 1
201.79/185.11	c (167,0) cls[90] = 5
201.79/185.11	c (167,0) cls[91] = 1
201.79/185.11	c (167,0) cls[92] = 4
201.79/185.11	c (167,0) cls[93] = 5
201.79/185.11	c (167,0) cls[94] = 1
201.79/185.11	c (167,0) cls[95] = 1
201.79/185.11	c (167,0) cls[96] = 14
201.79/185.11	c (167,0) cls[97] = 1
201.79/185.11	c (167,0) cls[98] = 4
201.79/185.11	c (167,0) cls[99] = 5
201.79/185.11	c (167,0) cls[100] = 1
201.79/185.11	c (167,0) cls[101] = 1
201.79/185.11	c (167,0) cls[102] = 11
201.79/185.11	c (167,0) cls[103] = 1
201.79/185.11	c (167,0) cls[104] = 1
201.79/185.11	c (167,0) cls[105] = 5
201.79/185.11	c (167,0) cls[106] = 1
201.79/185.11	c (167,0) cls[107] = 1
201.79/185.11	c (167,0) cls[108] = 22
201.79/185.11	c (167,0) cls[109] = 1
201.79/185.11	c (167,0) cls[110] = 1
201.79/185.11	c (167,0) cls[111] = 17
201.79/185.11	c (167,0) cls[112] = 5
201.79/185.11	c (167,0) cls[113] = 1
201.79/185.11	c (167,0) cls[114] = 1
201.79/185.11	c (167,0) cls[115] = 5
201.79/185.12	c (167,0) cls[116] = 10
201.79/185.12	c (167,0) cls[117] = 1
201.79/185.12	c (167,0) cls[118] = 5
201.79/185.12	c (167,0) cls[119] = 1
201.79/185.12	c (167,0) cls[120] = 1
201.79/185.12	c (167,0) cls[121] = 5
201.79/185.12	c (167,0) cls[122] = 7
201.79/185.12	c (167,0) cls[123] = 1
201.79/185.12	c (167,0) cls[124] = 1
201.79/185.12	c (167,0) cls[125] = 5
201.79/185.12	c (167,0) cls[126] = 1
201.79/185.12	c (167,0) cls[127] = 7
201.79/185.12	c (167,0) cls[128] = 4
201.79/185.12	c (167,0) cls[129] = 5
201.79/185.12	c (167,0) cls[130] = 1
201.79/185.12	c (167,0) cls[131] = 1
201.79/185.12	c (167,0) cls[132] = 17
201.79/185.12	c (167,0) cls[133] = 14
201.79/185.12	c (167,0) cls[134] = 1
201.79/185.12	c (167,0) cls[135] = 1
201.79/185.12	c (167,0) cls[136] = 5
201.79/185.12	c (167,0) cls[137] = 1
201.79/185.12	c (167,0) cls[138] = 1
201.79/185.12	c (167,0) cls[139] = 17
201.79/185.12	c (167,0) cls[140] = 18
201.79/185.12	c (167,0) cls[141] = 2
201.79/185.12	c (167,0) cls[142] = 17
201.79/185.12	c (167,0) cls[143] = 23
201.79/185.12	c (167,0) cls[144] = 5
201.79/185.12	c (167,0) cls[145] = 4
201.79/185.12	c (167,0) cls[146] = 16
201.79/185.12	c (167,0) cls[147] = 1
201.79/185.12	c (167,0) cls[148] = 8
201.79/185.12	c (167,0) cls[149] = 7
201.79/185.12	c (167,0) cls[150] = 1
201.79/185.12	c (167,0) cls[151] = 6
201.79/185.12	c (167,0) cls[152] = 16
201.79/185.12	c (167,0) cls[153] = 1
201.79/185.12	c (167,0) cls[154] = 1
201.79/185.12	c (167,0) cls[155] = 5
201.79/185.12	c (167,0) cls[156] = 1
201.79/185.12	c (167,0) cls[157] = 1
201.79/185.12	c (167,0) cls[158] = 16
201.79/185.12	c (167,0) cls[159] = 19
201.79/185.12	c (167,0) cls[160] = 1
201.79/185.12	c (167,0) cls[161] = 7
201.79/185.12	c (167,0) cls[162] = 1
201.79/185.12	c (167,0) cls[163] = 5
201.79/185.12	c (167,0) cls[164] = 1
201.79/185.12	c (167,0) cls[165] = 1
201.79/185.12	c (167,0) cls[166] = 7
201.79/185.12	c (167,0) cls[167] = 5
201.79/185.12	c (167,0) cls[168] = 0
201.79/185.12	c (167,0) cls[169] = 1
201.79/185.12	c (167,0) cls[170] = 5
201.79/185.12	c (167,0) cls[171] = 1
201.79/185.12	c (167,0) cls[172] = 1
201.79/185.12	c (167,0) cls[173] = 7
201.79/185.12	c (167,0) cls[174] = 1
201.79/185.12	c (167,0) cls[175] = 5
201.79/185.12	c (167,0) cls[176] = 17
201.79/185.12	c (167,0) cls[177] = 1
201.79/185.12	c (167,0) cls[178] = 1
201.79/185.12	c (167,0) cls[179] = 5
201.79/185.12	c (167,0) cls[180] = 1
201.79/185.12	c (167,0) cls[181] = 1
201.79/185.12	c (167,0) cls[182] = 7
201.79/185.12	c (167,0) cls[183] = 1
201.79/185.12	c (167,0) cls[184] = 5
201.79/185.12	c (167,0) cls[185] = 1
201.79/185.12	c (167,0) cls[186] = 1
201.79/185.12	c (167,0) cls[187] = 15
201.79/185.12	c (167,0) cls[188] = 1
201.79/185.12	c (167,0) cls[189] = 0
201.79/185.12	c (167,0) cls[190] = 1
201.79/185.12	c (167,0) cls[191] = 5
201.79/185.12	c (167,0) cls[192] = 1
201.79/185.12	c (167,0) cls[193] = 1
201.79/185.12	c (167,0) cls[194] = 5
201.79/185.12	c (167,0) cls[195] = 1
201.79/185.12	c (167,0) cls[196] = 16
201.79/185.12	c (167,0) cls[197] = 13
201.79/185.12	c (167,0) cls[198] = 1
201.79/185.12	c (167,0) cls[199] = 16
201.79/185.12	c (167,0) opt[0][0] = 0
201.79/185.12	c (167,0) opt[0][1] = 1
201.79/185.12	c (167,0) opt[0][2] = 0
201.79/185.12	c (167,0) opt[0][3] = 0
201.79/185.12	c (167,0) opt[0][4] = 0
202.08/185.12	c (167,0) opt[1][0] = 0
202.08/185.12	c (167,0) opt[1][1] = 0
202.08/185.12	c (167,0) opt[1][2] = 1
202.08/185.12	c (167,0) opt[1][3] = 0
202.08/185.12	c (167,0) opt[1][4] = 1
202.08/185.12	c (167,0) opt[2][0] = 1
202.08/185.12	c (167,0) opt[2][1] = 1
202.08/185.12	c (167,0) opt[2][2] = 0
202.08/185.12	c (167,0) opt[2][3] = 1
202.08/185.12	c (167,0) opt[2][4] = 0
202.08/185.12	c (167,0) opt[3][0] = 0
202.08/185.12	c (167,0) opt[3][1] = 1
202.08/185.12	c (167,0) opt[3][2] = 0
202.08/185.12	c (167,0) opt[3][3] = 0
202.08/185.12	c (167,0) opt[3][4] = 0
202.08/185.12	c (167,0) opt[4][0] = 1
202.08/185.12	c (167,0) opt[4][1] = 0
202.08/185.12	c (167,0) opt[4][2] = 0
202.08/185.12	c (167,0) opt[4][3] = 0
202.08/185.12	c (167,0) opt[4][4] = 0
202.08/185.12	c (167,0) opt[5][0] = 0
202.08/185.12	c (167,0) opt[5][1] = 0
202.08/185.12	c (167,0) opt[5][2] = 1
202.08/185.12	c (167,0) opt[5][3] = 1
202.08/185.12	c (167,0) opt[5][4] = 0
202.08/185.12	c (167,0) opt[6][0] = 0
202.08/185.12	c (167,0) opt[6][1] = 1
202.08/185.12	c (167,0) opt[6][2] = 0
202.08/185.12	c (167,0) opt[6][3] = 0
202.08/185.12	c (167,0) opt[6][4] = 0
202.08/185.12	c (167,0) opt[7][0] = 0
202.08/185.12	c (167,0) opt[7][1] = 1
202.08/185.12	c (167,0) opt[7][2] = 0
202.08/185.12	c (167,0) opt[7][3] = 0
202.08/185.12	c (167,0) opt[7][4] = 0
202.08/185.12	c (167,0) opt[8][0] = 1
202.08/185.12	c (167,0) opt[8][1] = 0
202.08/185.12	c (167,0) opt[8][2] = 0
202.08/185.12	c (167,0) opt[8][3] = 1
202.08/185.12	c (167,0) opt[8][4] = 1
202.08/185.12	c (167,0) opt[9][0] = 0
202.08/185.12	c (167,0) opt[9][1] = 0
202.08/185.12	c (167,0) opt[9][2] = 1
202.08/185.12	c (167,0) opt[9][3] = 0
202.08/185.12	c (167,0) opt[9][4] = 0
202.08/185.12	c (167,0) opt[10][0] = 0
202.08/185.12	c (167,0) opt[10][1] = 1
202.08/185.12	c (167,0) opt[10][2] = 0
202.08/185.12	c (167,0) opt[10][3] = 0
202.08/185.12	c (167,0) opt[10][4] = 0
202.08/185.12	c (167,0) opt[11][0] = 0
202.08/185.12	c (167,0) opt[11][1] = 1
202.08/185.12	c (167,0) opt[11][2] = 0
202.08/185.12	c (167,0) opt[11][3] = 0
202.08/185.12	c (167,0) opt[11][4] = 0
202.08/185.12	c (167,0) opt[12][0] = 0
202.08/185.12	c (167,0) opt[12][1] = 0
202.08/185.12	c (167,0) opt[12][2] = 0
202.08/185.12	c (167,0) opt[12][3] = 1
202.08/185.12	c (167,0) opt[12][4] = 0
202.08/185.12	c (167,0) opt[13][0] = 0
202.08/185.12	c (167,0) opt[13][1] = 0
202.08/185.12	c (167,0) opt[13][2] = 1
202.08/185.12	c (167,0) opt[13][3] = 0
202.08/185.12	c (167,0) opt[13][4] = 0
202.08/185.12	c (167,0) opt[14][0] = 1
202.08/185.12	c (167,0) opt[14][1] = 1
202.08/185.12	c (167,0) opt[14][2] = 0
202.08/185.12	c (167,0) opt[14][3] = 0
202.08/185.12	c (167,0) opt[14][4] = 0
202.08/185.12	c (167,0) opt[15][0] = 0
202.08/185.12	c (167,0) opt[15][1] = 1
202.08/185.12	c (167,0) opt[15][2] = 0
202.08/185.12	c (167,0) opt[15][3] = 1
202.08/185.12	c (167,0) opt[15][4] = 0
202.08/185.12	c (167,0) opt[16][0] = 0
202.08/185.12	c (167,0) opt[16][1] = 0
202.08/185.12	c (167,0) opt[16][2] = 1
202.08/185.12	c (167,0) opt[16][3] = 0
202.08/185.12	c (167,0) opt[16][4] = 0
202.08/185.12	c (167,0) opt[17][0] = 0
202.08/185.12	c (167,0) opt[17][1] = 1
202.08/185.12	c (167,0) opt[17][2] = 0
202.08/185.12	c (167,0) opt[17][3] = 0
202.08/185.12	c (167,0) opt[17][4] = 0
202.08/185.12	c (167,0) opt[18][0] = 1
202.08/185.12	c (167,0) opt[18][1] = 0
202.08/185.12	c (167,0) opt[18][2] = 0
202.08/185.12	c (167,0) opt[18][3] = 1
202.08/185.12	c (167,0) opt[18][4] = 0
202.08/185.12	c (167,0) opt[19][0] = 0
202.08/185.12	c (167,0) opt[19][1] = 1
202.08/185.12	c (167,0) opt[19][2] = 0
202.08/185.12	c (167,0) opt[19][3] = 0
202.08/185.12	c (167,0) opt[19][4] = 0
202.08/185.12	c (167,0) opt[20][0] = 0
202.08/185.12	c (167,0) opt[20][1] = 0
202.08/185.12	c (167,0) opt[20][2] = 1
202.08/185.12	c (167,0) opt[20][3] = 0
202.08/185.12	c (167,0) opt[20][4] = 0
202.08/185.12	c (167,0) opt[21][0] = 0
202.08/185.12	c (167,0) opt[21][1] = 1
202.08/185.12	c (167,0) opt[21][2] = 0
202.08/185.12	c (167,0) opt[21][3] = 0
202.08/185.12	c (167,0) opt[21][4] = 0
202.08/185.12	c (167,0) opt[22][0] = 0
202.08/185.12	c (167,0) opt[22][1] = 0
202.08/185.12	c (167,0) opt[22][2] = 0
202.08/185.12	c (167,0) opt[22][3] = 0
202.08/185.12	c (167,0) opt[22][4] = 1
202.08/185.12	c (167,0) opt[23][0] = 0
202.08/185.12	c (167,0) opt[23][1] = 1
202.08/185.12	c (167,0) opt[23][2] = 0
202.08/185.12	c (167,0) opt[23][3] = 0
202.08/185.12	c (167,0) opt[23][4] = 0
202.08/185.12	c (167,0) opt[24][0] = 0
202.08/185.12	c (167,0) opt[24][1] = 0
202.08/185.12	c (167,0) opt[24][2] = 1
202.08/185.12	c (167,0) opt[24][3] = 0
202.08/185.12	c (167,0) opt[24][4] = 0
202.08/185.12	c (167,0) opt[25][0] = 1
202.08/185.12	c (167,0) opt[25][1] = 1
202.08/185.12	c (167,0) opt[25][2] = 0
202.08/185.12	c (167,0) opt[25][3] = 0
202.08/185.12	c (167,0) opt[25][4] = 0
202.08/185.12	c (167,0) opt[26][0] = 0
202.08/185.12	c (167,0) opt[26][1] = 1
202.08/185.12	c (167,0) opt[26][2] = 0
202.08/185.12	c (167,0) opt[26][3] = 0
202.08/185.12	c (167,0) opt[26][4] = 0
202.08/185.12	c (167,0) opt[27][0] = 1
202.08/185.12	c (167,0) opt[27][1] = 0
202.08/185.12	c (167,0) opt[27][2] = 0
202.08/185.12	c (167,0) opt[27][3] = 0
202.08/185.12	c (167,0) opt[27][4] = 0
202.08/185.12	c (167,0) opt[28][0] = 0
202.08/185.12	c (167,0) opt[28][1] = 0
202.08/185.12	c (167,0) opt[28][2] = 1
202.08/185.12	c (167,0) opt[28][3] = 0
202.08/185.12	c (167,0) opt[28][4] = 0
202.08/185.12	c (167,0) opt[29][0] = 1
202.08/185.12	c (167,0) opt[29][1] = 1
202.08/185.12	c (167,0) opt[29][2] = 0
202.08/185.12	c (167,0) opt[29][3] = 1
202.08/185.12	c (167,0) opt[29][4] = 1
202.08/185.12	c (167,0) opt[30][0] = 0
202.08/185.12	c (167,0) opt[30][1] = 1
202.08/185.12	c (167,0) opt[30][2] = 0
202.08/185.12	c (167,0) opt[30][3] = 0
202.08/185.12	c (167,0) opt[30][4] = 0
202.08/185.12	c (167,0) opt[31][0] = 1
202.08/185.12	c (167,0) opt[31][1] = 0
202.08/185.12	c (167,0) opt[31][2] = 0
202.08/185.12	c (167,0) opt[31][3] = 0
202.08/185.12	c (167,0) opt[31][4] = 0
202.08/185.12	c (167,0) opt[32][0] = 0
202.08/185.12	c (167,0) opt[32][1] = 1
202.08/185.12	c (167,0) opt[32][2] = 0
202.08/185.12	c (167,0) opt[32][3] = 0
202.08/185.12	c (167,0) opt[32][4] = 0
202.08/185.12	c (167,0) opt[33][0] = 1
202.08/185.12	c (167,0) opt[33][1] = 1
202.08/185.12	c (167,0) opt[33][2] = 1
202.08/185.12	c (167,0) opt[33][3] = 1
202.08/185.12	c (167,0) opt[33][4] = 0
202.08/185.12	c (167,0) opt[34][0] = 0
202.08/185.12	c (167,0) opt[34][1] = 0
202.08/185.12	c (167,0) opt[34][2] = 0
202.08/185.12	c (167,0) opt[34][3] = 1
202.08/185.12	c (167,0) opt[34][4] = 0
202.08/185.12	c (167,0) opt[35][0] = 1
202.08/185.12	c (167,0) opt[35][1] = 0
202.08/185.12	c (167,0) opt[35][2] = 0
202.08/185.12	c (167,0) opt[35][3] = 0
202.08/185.12	c (167,0) opt[35][4] = 0
202.08/185.12	c (167,0) opt[36][0] = 0
202.08/185.12	c (167,0) opt[36][1] = 1
202.08/185.12	c (167,0) opt[36][2] = 0
202.08/185.12	c (167,0) opt[36][3] = 0
202.08/185.12	c (167,0) opt[36][4] = 0
202.08/185.12	c (167,0) opt[37][0] = 1
202.08/185.12	c (167,0) opt[37][1] = 1
202.08/185.12	c (167,0) opt[37][2] = 0
202.08/185.12	c (167,0) opt[37][3] = 0
202.08/185.12	c (167,0) opt[37][4] = 1
202.08/185.12	c (167,0) opt[38][0] = 0
202.08/185.12	c (167,0) opt[38][1] = 0
202.08/185.12	c (167,0) opt[38][2] = 1
202.08/185.12	c (167,0) opt[38][3] = 0
202.08/185.12	c (167,0) opt[38][4] = 0
202.08/185.12	c (167,0) opt[39][0] = 0
202.08/185.12	c (167,0) opt[39][1] = 1
202.08/185.12	c (167,0) opt[39][2] = 0
202.08/185.12	c (167,0) opt[39][3] = 0
202.08/185.12	c (167,0) opt[39][4] = 0
202.08/185.12	c (167,0) opt[40][0] = 0
202.08/185.12	c (167,0) opt[40][1] = 0
202.08/185.12	c (167,0) opt[40][2] = 0
202.08/185.12	c (167,0) opt[40][3] = 1
202.08/185.12	c (167,0) opt[40][4] = 0
202.08/185.12	c (167,0) opt[41][0] = 0
202.08/185.12	c (167,0) opt[41][1] = 1
202.08/185.12	c (167,0) opt[41][2] = 1
202.08/185.12	c (167,0) opt[41][3] = 0
202.08/185.12	c (167,0) opt[41][4] = 0
202.08/185.12	c (167,0) opt[42][0] = 0
202.08/185.12	c (167,0) opt[42][1] = 1
202.08/185.12	c (167,0) opt[42][2] = 0
202.08/185.12	c (167,0) opt[42][3] = 0
202.08/185.12	c (167,0) opt[42][4] = 0
202.08/185.12	c (167,0) opt[43][0] = 0
202.08/185.12	c (167,0) opt[43][1] = 0
202.08/185.12	c (167,0) opt[43][2] = 0
202.08/185.12	c (167,0) opt[43][3] = 1
202.08/185.12	c (167,0) opt[43][4] = 0
202.08/185.12	c (167,0) opt[44][0] = 1
202.08/185.12	c (167,0) opt[44][1] = 0
202.08/185.12	c (167,0) opt[44][2] = 0
202.08/185.12	c (167,0) opt[44][3] = 0
202.08/185.12	c (167,0) opt[44][4] = 0
202.08/185.12	c (167,0) opt[45][0] = 0
202.08/185.12	c (167,0) opt[45][1] = 1
202.08/185.12	c (167,0) opt[45][2] = 0
202.08/185.12	c (167,0) opt[45][3] = 1
202.08/185.12	c (167,0) opt[45][4] = 0
202.08/185.12	c (167,0) opt[46][0] = 1
202.08/185.12	c (167,0) opt[46][1] = 1
202.08/185.12	c (167,0) opt[46][2] = 1
202.08/185.12	c (167,0) opt[46][3] = 0
202.08/185.12	c (167,0) opt[46][4] = 0
202.08/185.12	c (167,0) opt[47][0] = 0
202.08/185.12	c (167,0) opt[47][1] = 0
202.08/185.12	c (167,0) opt[47][2] = 0
202.08/185.12	c (167,0) opt[47][3] = 0
202.08/185.12	c (167,0) opt[47][4] = 1
202.08/185.12	c (167,0) opt[48][0] = 0
202.08/185.12	c (167,0) opt[48][1] = 1
202.08/185.12	c (167,0) opt[48][2] = 0
202.08/185.12	c (167,0) opt[48][3] = 1
202.08/185.12	c (167,0) opt[48][4] = 0
202.08/185.12	c (167,0) opt[49][0] = 1
202.08/185.12	c (167,0) opt[49][1] = 0
202.08/185.12	c (167,0) opt[49][2] = 0
202.08/185.12	c (167,0) opt[49][3] = 0
202.08/185.12	c (167,0) opt[49][4] = 0
202.08/185.12	c (167,0) opt[50][0] = 0
202.08/185.12	c (167,0) opt[50][1] = 1
202.08/185.12	c (167,0) opt[50][2] = 1
202.08/185.12	c (167,0) opt[50][3] = 1
202.08/185.12	c (167,0) opt[50][4] = 0
202.08/185.12	c (167,0) opt[51][0] = 1
202.08/185.12	c (167,0) opt[51][1] = 1
202.08/185.12	c (167,0) opt[51][2] = 0
202.08/185.12	c (167,0) opt[51][3] = 0
202.08/185.12	c (167,0) opt[51][4] = 0
202.08/185.12	c (167,0) opt[52][0] = 0
202.08/185.12	c (167,0) opt[52][1] = 0
202.08/185.12	c (167,0) opt[52][2] = 0
202.08/185.12	c (167,0) opt[52][3] = 0
202.08/185.12	c (167,0) opt[52][4] = 1
202.08/185.12	c (167,0) opt[53][0] = 0
202.08/185.12	c (167,0) opt[53][1] = 1
202.08/185.12	c (167,0) opt[53][2] = 0
202.08/185.12	c (167,0) opt[53][3] = 0
202.08/185.12	c (167,0) opt[53][4] = 0
202.08/185.12	c (167,0) opt[54][0] = 0
202.08/185.12	c (167,0) opt[54][1] = 1
202.08/185.12	c (167,0) opt[54][2] = 0
202.08/185.12	c (167,0) opt[54][3] = 0
202.08/185.12	c (167,0) opt[54][4] = 0
202.08/185.12	c (167,0) opt[55][0] = 0
202.08/185.12	c (167,0) opt[55][1] = 0
202.08/185.12	c (167,0) opt[55][2] = 1
202.08/185.12	c (167,0) opt[55][3] = 0
202.08/185.12	c (167,0) opt[55][4] = 0
202.08/185.12	c (167,0) opt[56][0] = 1
202.08/185.12	c (167,0) opt[56][1] = 0
202.08/185.12	c (167,0) opt[56][2] = 0
202.08/185.12	c (167,0) opt[56][3] = 0
202.08/185.12	c (167,0) opt[56][4] = 0
202.08/185.12	c (167,0) opt[57][0] = 0
202.08/185.12	c (167,0) opt[57][1] = 1
202.08/185.12	c (167,0) opt[57][2] = 0
202.08/185.12	c (167,0) opt[57][3] = 0
202.08/185.12	c (167,0) opt[57][4] = 1
202.08/185.12	c (167,0) opt[58][0] = 1
202.08/185.12	c (167,0) opt[58][1] = 1
202.08/185.12	c (167,0) opt[58][2] = 1
202.08/185.12	c (167,0) opt[58][3] = 1
202.08/185.12	c (167,0) opt[58][4] = 0
202.08/185.12	c (167,0) opt[59][0] = 0
202.08/185.12	c (167,0) opt[59][1] = 0
202.08/185.12	c (167,0) opt[59][2] = 0
202.08/185.12	c (167,0) opt[59][3] = 1
202.08/185.12	c (167,0) opt[59][4] = 0
202.08/185.12	c (167,0) opt[60][0] = 0
202.08/185.12	c (167,0) opt[60][1] = 1
202.08/185.12	c (167,0) opt[60][2] = 0
202.08/185.12	c (167,0) opt[60][3] = 0
202.08/185.12	c (167,0) opt[60][4] = 0
202.08/185.12	c (167,0) opt[61][0] = 0
202.08/185.12	c (167,0) opt[61][1] = 0
202.08/185.12	c (167,0) opt[61][2] = 1
202.08/185.12	c (167,0) opt[61][3] = 0
202.08/185.12	c (167,0) opt[61][4] = 0
202.08/185.12	c (167,0) opt[62][0] = 0
202.08/185.12	c (167,0) opt[62][1] = 1
202.08/185.12	c (167,0) opt[62][2] = 0
202.08/185.12	c (167,0) opt[62][3] = 0
202.08/185.12	c (167,0) opt[62][4] = 0
202.08/185.12	c (167,0) opt[63][0] = 0
202.08/185.12	c (167,0) opt[63][1] = 1
202.08/185.12	c (167,0) opt[63][2] = 0
202.08/185.12	c (167,0) opt[63][3] = 0
202.08/185.12	c (167,0) opt[63][4] = 0
202.08/185.12	c (167,0) opt[64][0] = 1
202.08/185.12	c (167,0) opt[64][1] = 0
202.08/185.12	c (167,0) opt[64][2] = 0
202.08/185.12	c (167,0) opt[64][3] = 0
202.08/185.12	c (167,0) opt[64][4] = 0
202.08/185.12	c (167,0) opt[65][0] = 0
202.08/185.12	c (167,0) opt[65][1] = 1
202.08/185.12	c (167,0) opt[65][2] = 0
202.08/185.12	c (167,0) opt[65][3] = 0
202.08/185.12	c (167,0) opt[65][4] = 0
202.08/185.12	c (167,0) opt[66][0] = 0
202.08/185.12	c (167,0) opt[66][1] = 0
202.08/185.12	c (167,0) opt[66][2] = 1
202.08/185.12	c (167,0) opt[66][3] = 0
202.08/185.12	c (167,0) opt[66][4] = 0
202.08/185.12	c (167,0) opt[67][0] = 0
202.08/185.12	c (167,0) opt[67][1] = 1
202.08/185.12	c (167,0) opt[67][2] = 0
202.08/185.12	c (167,0) opt[67][3] = 0
202.08/185.12	c (167,0) opt[67][4] = 0
202.08/185.12	c (167,0) opt[68][0] = 0
202.08/185.12	c (167,0) opt[68][1] = 0
202.08/185.12	c (167,0) opt[68][2] = 0
202.08/185.12	c (167,0) opt[68][3] = 1
202.08/185.12	c (167,0) opt[68][4] = 0
202.08/185.12	c (167,0) opt[69][0] = 1
202.08/185.12	c (167,0) opt[69][1] = 1
202.08/185.12	c (167,0) opt[69][2] = 0
202.08/185.12	c (167,0) opt[69][3] = 1
202.08/185.12	c (167,0) opt[69][4] = 0
202.08/185.12	c (167,0) opt[70][0] = 0
202.08/185.12	c (167,0) opt[70][1] = 1
202.08/185.12	c (167,0) opt[70][2] = 0
202.08/185.12	c (167,0) opt[70][3] = 0
202.08/185.12	c (167,0) opt[70][4] = 0
202.08/185.12	c (167,0) opt[71][0] = 0
202.08/185.12	c (167,0) opt[71][1] = 0
202.08/185.12	c (167,0) opt[71][2] = 1
202.08/185.12	c (167,0) opt[71][3] = 0
202.08/185.12	c (167,0) opt[71][4] = 0
202.08/185.12	c (167,0) opt[72][0] = 1
202.08/185.12	c (167,0) opt[72][1] = 0
202.08/185.12	c (167,0) opt[72][2] = 0
202.08/185.12	c (167,0) opt[72][3] = 0
202.08/185.12	c (167,0) opt[72][4] = 0
202.08/185.12	c (167,0) opt[73][0] = 0
202.08/185.12	c (167,0) opt[73][1] = 1
202.08/185.12	c (167,0) opt[73][2] = 0
202.08/185.12	c (167,0) opt[73][3] = 0
202.08/185.12	c (167,0) opt[73][4] = 0
202.08/185.12	c (167,0) opt[74][0] = 0
202.08/185.12	c (167,0) opt[74][1] = 1
202.08/185.12	c (167,0) opt[74][2] = 0
202.08/185.12	c (167,0) opt[74][3] = 1
202.08/185.12	c (167,0) opt[74][4] = 0
202.08/185.12	c (167,0) opt[75][0] = 0
202.08/185.12	c (167,0) opt[75][1] = 0
202.08/185.12	c (167,0) opt[75][2] = 0
202.08/185.12	c (167,0) opt[75][3] = 0
202.08/185.12	c (167,0) opt[75][4] = 1
202.08/185.12	c (167,0) opt[76][0] = 1
202.08/185.12	c (167,0) opt[76][1] = 1
202.08/185.12	c (167,0) opt[76][2] = 0
202.08/185.12	c (167,0) opt[76][3] = 0
202.08/185.12	c (167,0) opt[76][4] = 0
202.08/185.12	c (167,0) opt[77][0] = 0
202.08/185.12	c (167,0) opt[77][1] = 1
202.08/185.12	c (167,0) opt[77][2] = 0
202.08/185.12	c (167,0) opt[77][3] = 0
202.08/185.12	c (167,0) opt[77][4] = 0
202.08/185.12	c (167,0) opt[78][0] = 0
202.08/185.12	c (167,0) opt[78][1] = 0
202.08/185.12	c (167,0) opt[78][2] = 1
202.08/185.12	c (167,0) opt[78][3] = 0
202.08/185.12	c (167,0) opt[78][4] = 0
202.08/185.12	c (167,0) opt[79][0] = 0
202.08/185.12	c (167,0) opt[79][1] = 1
202.08/185.12	c (167,0) opt[79][2] = 0
202.08/185.12	c (167,0) opt[79][3] = 0
202.08/185.12	c (167,0) opt[79][4] = 0
202.08/185.12	c (167,0) opt[80][0] = 0
202.08/185.12	c (167,0) opt[80][1] = 0
202.08/185.12	c (167,0) opt[80][2] = 0
202.08/185.12	c (167,0) opt[80][3] = 1
202.08/185.12	c (167,0) opt[80][4] = 0
202.08/185.12	c (167,0) opt[81][0] = 0
202.08/185.12	c (167,0) opt[81][1] = 1
202.08/185.12	c (167,0) opt[81][2] = 1
202.08/185.12	c (167,0) opt[81][3] = 0
202.08/185.12	c (167,0) opt[81][4] = 0
202.08/185.12	c (167,0) opt[82][0] = 1
202.08/185.12	c (167,0) opt[82][1] = 0
202.08/185.12	c (167,0) opt[82][2] = 0
202.08/185.12	c (167,0) opt[82][3] = 0
202.08/185.12	c (167,0) opt[82][4] = 0
202.08/185.12	c (167,0) opt[83][0] = 0
202.08/185.12	c (167,0) opt[83][1] = 1
202.08/185.12	c (167,0) opt[83][2] = 0
202.08/185.12	c (167,0) opt[83][3] = 0
202.08/185.12	c (167,0) opt[83][4] = 0
202.08/185.12	c (167,0) opt[84][0] = 1
202.08/185.12	c (167,0) opt[84][1] = 0
202.08/185.12	c (167,0) opt[84][2] = 1
202.08/185.12	c (167,0) opt[84][3] = 0
202.08/185.12	c (167,0) opt[84][4] = 1
202.08/185.12	c (167,0) opt[85][0] = 0
202.08/185.12	c (167,0) opt[85][1] = 1
202.08/185.12	c (167,0) opt[85][2] = 0
202.08/185.12	c (167,0) opt[85][3] = 0
202.08/185.12	c (167,0) opt[85][4] = 0
202.08/185.12	c (167,0) opt[86][0] = 0
202.08/185.12	c (167,0) opt[86][1] = 1
202.08/185.12	c (167,0) opt[86][2] = 0
202.08/185.12	c (167,0) opt[86][3] = 0
202.08/185.12	c (167,0) opt[86][4] = 0
202.08/185.12	c (167,0) opt[87][0] = 0
202.08/185.12	c (167,0) opt[87][1] = 0
202.08/185.12	c (167,0) opt[87][2] = 1
202.08/185.12	c (167,0) opt[87][3] = 0
202.08/185.12	c (167,0) opt[87][4] = 0
202.08/185.12	c (167,0) opt[88][0] = 1
202.08/185.12	c (167,0) opt[88][1] = 1
202.08/185.12	c (167,0) opt[88][2] = 0
202.08/185.12	c (167,0) opt[88][3] = 1
202.08/185.12	c (167,0) opt[88][4] = 0
202.08/185.12	c (167,0) opt[89][0] = 0
202.08/185.12	c (167,0) opt[89][1] = 1
202.08/185.12	c (167,0) opt[89][2] = 0
202.08/185.12	c (167,0) opt[89][3] = 0
202.08/185.12	c (167,0) opt[89][4] = 0
202.08/185.12	c (167,0) opt[90][0] = 0
202.08/185.12	c (167,0) opt[90][1] = 0
202.08/185.12	c (167,0) opt[90][2] = 1
202.08/185.12	c (167,0) opt[90][3] = 0
202.08/185.12	c (167,0) opt[90][4] = 0
202.08/185.12	c (167,0) opt[91][0] = 0
202.08/185.12	c (167,0) opt[91][1] = 1
202.08/185.12	c (167,0) opt[91][2] = 0
202.08/185.12	c (167,0) opt[91][3] = 0
202.08/185.12	c (167,0) opt[91][4] = 0
202.08/185.12	c (167,0) opt[92][0] = 1
202.08/185.12	c (167,0) opt[92][1] = 1
202.08/185.12	c (167,0) opt[92][2] = 0
202.08/185.12	c (167,0) opt[92][3] = 0
202.08/185.12	c (167,0) opt[92][4] = 0
202.08/185.12	c (167,0) opt[93][0] = 0
202.08/185.12	c (167,0) opt[93][1] = 0
202.08/185.12	c (167,0) opt[93][2] = 1
202.08/185.12	c (167,0) opt[93][3] = 0
202.08/185.12	c (167,0) opt[93][4] = 0
202.08/185.12	c (167,0) opt[94][0] = 0
202.08/185.12	c (167,0) opt[94][1] = 1
202.08/185.12	c (167,0) opt[94][2] = 0
202.08/185.12	c (167,0) opt[94][3] = 0
202.08/185.12	c (167,0) opt[94][4] = 0
202.08/185.12	c (167,0) opt[95][0] = 0
202.08/185.12	c (167,0) opt[95][1] = 1
202.08/185.12	c (167,0) opt[95][2] = 0
202.08/185.12	c (167,0) opt[95][3] = 0
202.08/185.12	c (167,0) opt[95][4] = 0
202.08/185.12	c (167,0) opt[96][0] = 0
202.08/185.12	c (167,0) opt[96][1] = 0
202.08/185.12	c (167,0) opt[96][2] = 1
202.08/185.12	c (167,0) opt[96][3] = 1
202.08/185.12	c (167,0) opt[96][4] = 0
202.08/185.12	c (167,0) opt[97][0] = 0
202.08/185.12	c (167,0) opt[97][1] = 1
202.08/185.12	c (167,0) opt[97][2] = 0
202.08/185.12	c (167,0) opt[97][3] = 0
202.08/185.12	c (167,0) opt[97][4] = 0
202.08/185.12	c (167,0) opt[98][0] = 1
202.08/185.12	c (167,0) opt[98][1] = 1
202.08/185.12	c (167,0) opt[98][2] = 0
202.08/185.12	c (167,0) opt[98][3] = 0
202.08/185.12	c (167,0) opt[98][4] = 0
202.08/185.12	c (167,0) opt[99][0] = 0
202.08/185.12	c (167,0) opt[99][1] = 0
202.08/185.12	c (167,0) opt[99][2] = 1
202.08/185.12	c (167,0) opt[99][3] = 0
202.08/185.12	c (167,0) opt[99][4] = 0
202.08/185.12	c (167,0) opt[100][0] = 0
202.08/185.12	c (167,0) opt[100][1] = 1
202.08/185.12	c (167,0) opt[100][2] = 0
202.08/185.12	c (167,0) opt[100][3] = 0
202.08/185.12	c (167,0) opt[100][4] = 0
202.08/185.12	c (167,0) opt[101][0] = 0
202.08/185.12	c (167,0) opt[101][1] = 1
202.08/185.12	c (167,0) opt[101][2] = 0
202.08/185.12	c (167,0) opt[101][3] = 0
202.08/185.12	c (167,0) opt[101][4] = 0
202.08/185.12	c (167,0) opt[102][0] = 0
202.08/185.12	c (167,0) opt[102][1] = 0
202.08/185.12	c (167,0) opt[102][2] = 1
202.08/185.12	c (167,0) opt[102][3] = 0
202.08/185.12	c (167,0) opt[102][4] = 1
202.08/185.12	c (167,0) opt[103][0] = 0
202.08/185.12	c (167,0) opt[103][1] = 1
202.08/185.12	c (167,0) opt[103][2] = 0
202.08/185.12	c (167,0) opt[103][3] = 0
202.08/185.12	c (167,0) opt[103][4] = 0
202.08/185.12	c (167,0) opt[104][0] = 0
202.08/185.12	c (167,0) opt[104][1] = 1
202.08/185.12	c (167,0) opt[104][2] = 0
202.08/185.12	c (167,0) opt[104][3] = 0
202.08/185.12	c (167,0) opt[104][4] = 0
202.08/185.12	c (167,0) opt[105][0] = 0
202.08/185.12	c (167,0) opt[105][1] = 0
202.08/185.12	c (167,0) opt[105][2] = 1
202.08/185.12	c (167,0) opt[105][3] = 0
202.08/185.12	c (167,0) opt[105][4] = 0
202.08/185.12	c (167,0) opt[106][0] = 0
202.08/185.12	c (167,0) opt[106][1] = 1
202.08/185.12	c (167,0) opt[106][2] = 0
202.08/185.12	c (167,0) opt[106][3] = 0
202.08/185.12	c (167,0) opt[106][4] = 0
202.08/185.12	c (167,0) opt[107][0] = 0
202.08/185.12	c (167,0) opt[107][1] = 1
202.08/185.12	c (167,0) opt[107][2] = 0
202.08/185.12	c (167,0) opt[107][3] = 0
202.08/185.12	c (167,0) opt[107][4] = 0
202.08/185.12	c (167,0) opt[108][0] = 0
202.08/185.12	c (167,0) opt[108][1] = 0
202.08/185.12	c (167,0) opt[108][2] = 1
202.08/185.12	c (167,0) opt[108][3] = 1
202.08/185.12	c (167,0) opt[108][4] = 1
202.08/185.12	c (167,0) opt[109][0] = 0
202.08/185.12	c (167,0) opt[109][1] = 1
202.08/185.12	c (167,0) opt[109][2] = 0
202.08/185.12	c (167,0) opt[109][3] = 0
202.08/185.12	c (167,0) opt[109][4] = 0
202.08/185.12	c (167,0) opt[110][0] = 0
202.08/185.12	c (167,0) opt[110][1] = 1
202.08/185.12	c (167,0) opt[110][2] = 0
202.08/185.12	c (167,0) opt[110][3] = 0
202.08/185.12	c (167,0) opt[110][4] = 0
202.08/185.12	c (167,0) opt[111][0] = 1
202.08/185.12	c (167,0) opt[111][1] = 0
202.08/185.12	c (167,0) opt[111][2] = 0
202.08/185.12	c (167,0) opt[111][3] = 0
202.08/185.12	c (167,0) opt[111][4] = 0
202.08/185.12	c (167,0) opt[112][0] = 0
202.08/185.12	c (167,0) opt[112][1] = 0
202.08/185.12	c (167,0) opt[112][2] = 1
202.08/185.12	c (167,0) opt[112][3] = 0
202.08/185.12	c (167,0) opt[112][4] = 0
202.08/185.12	c (167,0) opt[113][0] = 0
202.08/185.12	c (167,0) opt[113][1] = 1
202.08/185.12	c (167,0) opt[113][2] = 0
202.08/185.12	c (167,0) opt[113][3] = 0
202.08/185.12	c (167,0) opt[113][4] = 0
202.08/185.12	c (167,0) opt[114][0] = 0
202.08/185.12	c (167,0) opt[114][1] = 1
202.08/185.12	c (167,0) opt[114][2] = 0
202.08/185.12	c (167,0) opt[114][3] = 0
202.08/185.12	c (167,0) opt[114][4] = 0
202.08/185.12	c (167,0) opt[115][0] = 0
202.08/185.12	c (167,0) opt[115][1] = 0
202.08/185.12	c (167,0) opt[115][2] = 1
202.08/185.12	c (167,0) opt[115][3] = 0
202.08/185.12	c (167,0) opt[115][4] = 0
202.08/185.12	c (167,0) opt[116][0] = 1
202.08/185.12	c (167,0) opt[116][1] = 1
202.08/185.12	c (167,0) opt[116][2] = 0
202.08/185.12	c (167,0) opt[116][3] = 1
202.08/185.12	c (167,0) opt[116][4] = 0
202.08/185.12	c (167,0) opt[117][0] = 0
202.08/185.12	c (167,0) opt[117][1] = 1
202.08/185.12	c (167,0) opt[117][2] = 0
202.08/185.12	c (167,0) opt[117][3] = 0
202.08/185.12	c (167,0) opt[117][4] = 0
202.08/185.12	c (167,0) opt[118][0] = 0
202.08/185.12	c (167,0) opt[118][1] = 0
202.08/185.12	c (167,0) opt[118][2] = 1
202.08/185.12	c (167,0) opt[118][3] = 0
202.08/185.12	c (167,0) opt[118][4] = 0
202.08/185.12	c (167,0) opt[119][0] = 0
202.08/185.12	c (167,0) opt[119][1] = 1
202.08/185.12	c (167,0) opt[119][2] = 0
202.08/185.12	c (167,0) opt[119][3] = 0
202.08/185.12	c (167,0) opt[119][4] = 0
202.08/185.12	c (167,0) opt[120][0] = 0
202.08/185.12	c (167,0) opt[120][1] = 1
202.08/185.12	c (167,0) opt[120][2] = 0
202.08/185.12	c (167,0) opt[120][3] = 0
202.08/185.12	c (167,0) opt[120][4] = 0
202.08/185.12	c (167,0) opt[121][0] = 0
202.08/185.12	c (167,0) opt[121][1] = 0
202.08/185.12	c (167,0) opt[121][2] = 1
202.08/185.12	c (167,0) opt[121][3] = 0
202.08/185.12	c (167,0) opt[121][4] = 0
202.08/185.12	c (167,0) opt[122][0] = 0
202.08/185.12	c (167,0) opt[122][1] = 0
202.08/185.12	c (167,0) opt[122][2] = 0
202.08/185.12	c (167,0) opt[122][3] = 0
202.08/185.12	c (167,0) opt[122][4] = 1
202.08/185.12	c (167,0) opt[123][0] = 0
202.08/185.12	c (167,0) opt[123][1] = 1
202.08/185.12	c (167,0) opt[123][2] = 0
202.08/185.12	c (167,0) opt[123][3] = 0
202.08/185.12	c (167,0) opt[123][4] = 0
202.08/185.12	c (167,0) opt[124][0] = 0
202.08/185.12	c (167,0) opt[124][1] = 1
202.08/185.12	c (167,0) opt[124][2] = 0
202.08/185.12	c (167,0) opt[124][3] = 0
202.08/185.12	c (167,0) opt[124][4] = 0
202.08/185.12	c (167,0) opt[125][0] = 0
202.08/185.12	c (167,0) opt[125][1] = 0
202.08/185.12	c (167,0) opt[125][2] = 1
202.08/185.12	c (167,0) opt[125][3] = 0
202.08/185.12	c (167,0) opt[125][4] = 0
202.08/185.12	c (167,0) opt[126][0] = 0
202.08/185.12	c (167,0) opt[126][1] = 1
202.08/185.12	c (167,0) opt[126][2] = 0
202.08/185.12	c (167,0) opt[126][3] = 0
202.08/185.12	c (167,0) opt[126][4] = 0
202.08/185.12	c (167,0) opt[127][0] = 0
202.08/185.12	c (167,0) opt[127][1] = 0
202.08/185.12	c (167,0) opt[127][2] = 0
202.08/185.12	c (167,0) opt[127][3] = 0
202.08/185.12	c (167,0) opt[127][4] = 1
202.08/185.12	c (167,0) opt[128][0] = 1
202.08/185.12	c (167,0) opt[128][1] = 1
202.08/185.12	c (167,0) opt[128][2] = 0
202.08/185.12	c (167,0) opt[128][3] = 0
202.08/185.12	c (167,0) opt[128][4] = 0
202.08/185.12	c (167,0) opt[129][0] = 0
202.08/185.12	c (167,0) opt[129][1] = 0
202.08/185.12	c (167,0) opt[129][2] = 1
202.08/185.12	c (167,0) opt[129][3] = 0
202.08/185.12	c (167,0) opt[129][4] = 0
202.08/185.12	c (167,0) opt[130][0] = 0
202.08/185.12	c (167,0) opt[130][1] = 1
202.08/185.12	c (167,0) opt[130][2] = 0
202.08/185.12	c (167,0) opt[130][3] = 0
202.08/185.12	c (167,0) opt[130][4] = 0
202.08/185.12	c (167,0) opt[131][0] = 0
202.08/185.12	c (167,0) opt[131][1] = 1
202.08/185.12	c (167,0) opt[131][2] = 0
202.08/185.12	c (167,0) opt[131][3] = 0
202.08/185.12	c (167,0) opt[131][4] = 0
202.08/185.12	c (167,0) opt[132][0] = 1
202.08/185.12	c (167,0) opt[132][1] = 0
202.08/185.12	c (167,0) opt[132][2] = 0
202.08/185.12	c (167,0) opt[132][3] = 0
202.08/185.12	c (167,0) opt[132][4] = 0
202.08/185.12	c (167,0) opt[133][0] = 0
202.08/185.12	c (167,0) opt[133][1] = 0
202.08/185.12	c (167,0) opt[133][2] = 1
202.08/185.12	c (167,0) opt[133][3] = 1
202.08/185.12	c (167,0) opt[133][4] = 0
202.08/185.12	c (167,0) opt[134][0] = 0
202.08/185.12	c (167,0) opt[134][1] = 1
202.08/185.12	c (167,0) opt[134][2] = 0
202.08/185.12	c (167,0) opt[134][3] = 0
202.08/185.12	c (167,0) opt[134][4] = 0
202.08/185.12	c (167,0) opt[135][0] = 0
202.08/185.12	c (167,0) opt[135][1] = 1
202.08/185.12	c (167,0) opt[135][2] = 0
202.08/185.12	c (167,0) opt[135][3] = 0
202.08/185.12	c (167,0) opt[135][4] = 0
202.08/185.12	c (167,0) opt[136][0] = 0
202.08/185.12	c (167,0) opt[136][1] = 0
202.08/185.12	c (167,0) opt[136][2] = 1
202.08/185.12	c (167,0) opt[136][3] = 0
202.08/185.12	c (167,0) opt[136][4] = 0
202.08/185.12	c (167,0) opt[137][0] = 0
202.08/185.12	c (167,0) opt[137][1] = 1
202.08/185.12	c (167,0) opt[137][2] = 0
202.08/185.12	c (167,0) opt[137][3] = 0
202.08/185.12	c (167,0) opt[137][4] = 0
202.08/185.12	c (167,0) opt[138][0] = 0
202.08/185.12	c (167,0) opt[138][1] = 1
202.08/185.12	c (167,0) opt[138][2] = 0
202.08/185.12	c (167,0) opt[138][3] = 0
202.08/185.12	c (167,0) opt[138][4] = 0
202.08/185.12	c (167,0) opt[139][0] = 1
202.08/185.12	c (167,0) opt[139][1] = 0
202.08/185.12	c (167,0) opt[139][2] = 0
202.08/185.12	c (167,0) opt[139][3] = 0
202.08/185.12	c (167,0) opt[139][4] = 0
202.08/185.12	c (167,0) opt[140][0] = 0
202.08/185.12	c (167,0) opt[140][1] = 1
202.08/185.12	c (167,0) opt[140][2] = 1
202.08/185.12	c (167,0) opt[140][3] = 1
202.08/185.12	c (167,0) opt[140][4] = 0
202.08/185.12	c (167,0) opt[141][0] = 0
202.08/185.12	c (167,0) opt[141][1] = 1
202.08/185.12	c (167,0) opt[141][2] = 0
202.08/185.12	c (167,0) opt[141][3] = 1
202.08/185.12	c (167,0) opt[141][4] = 0
202.08/185.12	c (167,0) opt[142][0] = 1
202.08/185.12	c (167,0) opt[142][1] = 0
202.08/185.12	c (167,0) opt[142][2] = 0
202.08/185.12	c (167,0) opt[142][3] = 0
202.08/185.12	c (167,0) opt[142][4] = 0
202.08/185.12	c (167,0) opt[143][0] = 0
202.08/185.12	c (167,0) opt[143][1] = 1
202.08/185.12	c (167,0) opt[143][2] = 0
202.08/185.12	c (167,0) opt[143][3] = 0
202.08/185.12	c (167,0) opt[143][4] = 1
202.08/185.12	c (167,0) opt[144][0] = 0
202.08/185.12	c (167,0) opt[144][1] = 0
202.08/185.12	c (167,0) opt[144][2] = 1
202.08/185.12	c (167,0) opt[144][3] = 0
202.08/185.12	c (167,0) opt[144][4] = 0
202.08/185.12	c (167,0) opt[145][0] = 1
202.08/185.12	c (167,0) opt[145][1] = 1
202.08/185.12	c (167,0) opt[145][2] = 0
202.08/185.12	c (167,0) opt[145][3] = 0
202.08/185.12	c (167,0) opt[145][4] = 0
202.08/185.12	c (167,0) opt[146][0] = 0
202.08/185.12	c (167,0) opt[146][1] = 0
202.08/185.12	c (167,0) opt[146][2] = 0
202.08/185.12	c (167,0) opt[146][3] = 1
202.08/185.12	c (167,0) opt[146][4] = 0
202.08/185.12	c (167,0) opt[147][0] = 0
202.08/185.12	c (167,0) opt[147][1] = 1
202.08/185.12	c (167,0) opt[147][2] = 0
202.08/185.12	c (167,0) opt[147][3] = 0
202.08/185.12	c (167,0) opt[147][4] = 0
202.08/185.12	c (167,0) opt[148][0] = 0
202.08/185.12	c (167,0) opt[148][1] = 1
202.08/185.12	c (167,0) opt[148][2] = 1
202.08/185.12	c (167,0) opt[148][3] = 0
202.08/185.12	c (167,0) opt[148][4] = 0
202.08/185.12	c (167,0) opt[149][0] = 0
202.08/185.12	c (167,0) opt[149][1] = 0
202.08/185.12	c (167,0) opt[149][2] = 0
202.08/185.12	c (167,0) opt[149][3] = 0
202.08/185.12	c (167,0) opt[149][4] = 1
202.08/185.12	c (167,0) opt[150][0] = 0
202.08/185.12	c (167,0) opt[150][1] = 1
202.08/185.12	c (167,0) opt[150][2] = 0
202.08/185.12	c (167,0) opt[150][3] = 0
202.08/185.12	c (167,0) opt[150][4] = 0
202.08/185.12	c (167,0) opt[151][0] = 1
202.08/185.12	c (167,0) opt[151][1] = 1
202.08/185.12	c (167,0) opt[151][2] = 1
202.08/185.12	c (167,0) opt[151][3] = 1
202.08/185.12	c (167,0) opt[151][4] = 0
202.08/185.12	c (167,0) opt[152][0] = 0
202.08/185.12	c (167,0) opt[152][1] = 0
202.08/185.12	c (167,0) opt[152][2] = 0
202.08/185.12	c (167,0) opt[152][3] = 1
202.08/185.12	c (167,0) opt[152][4] = 0
202.08/185.12	c (167,0) opt[153][0] = 0
202.08/185.12	c (167,0) opt[153][1] = 1
202.08/185.12	c (167,0) opt[153][2] = 0
202.08/185.12	c (167,0) opt[153][3] = 0
202.08/185.12	c (167,0) opt[153][4] = 0
202.08/185.12	c (167,0) opt[154][0] = 0
202.08/185.12	c (167,0) opt[154][1] = 1
202.08/185.12	c (167,0) opt[154][2] = 0
202.08/185.12	c (167,0) opt[154][3] = 0
202.08/185.12	c (167,0) opt[154][4] = 0
202.08/185.12	c (167,0) opt[155][0] = 0
202.08/185.12	c (167,0) opt[155][1] = 0
202.08/185.12	c (167,0) opt[155][2] = 1
202.08/185.12	c (167,0) opt[155][3] = 0
202.08/185.12	c (167,0) opt[155][4] = 0
202.08/185.12	c (167,0) opt[156][0] = 0
202.08/185.12	c (167,0) opt[156][1] = 1
202.08/185.12	c (167,0) opt[156][2] = 0
202.08/185.12	c (167,0) opt[156][3] = 0
202.08/185.12	c (167,0) opt[156][4] = 0
202.08/185.12	c (167,0) opt[157][0] = 0
202.08/185.12	c (167,0) opt[157][1] = 1
202.08/185.12	c (167,0) opt[157][2] = 0
202.08/185.12	c (167,0) opt[157][3] = 0
202.08/185.12	c (167,0) opt[157][4] = 0
202.08/185.12	c (167,0) opt[158][0] = 0
202.08/185.12	c (167,0) opt[158][1] = 0
202.08/185.12	c (167,0) opt[158][2] = 0
202.08/185.12	c (167,0) opt[158][3] = 1
202.08/185.12	c (167,0) opt[158][4] = 0
202.08/185.12	c (167,0) opt[159][0] = 1
202.08/185.12	c (167,0) opt[159][1] = 0
202.08/185.12	c (167,0) opt[159][2] = 1
202.08/185.12	c (167,0) opt[159][3] = 1
202.08/185.12	c (167,0) opt[159][4] = 0
202.08/185.12	c (167,0) opt[160][0] = 0
202.08/185.12	c (167,0) opt[160][1] = 1
202.08/185.12	c (167,0) opt[160][2] = 0
202.08/185.12	c (167,0) opt[160][3] = 0
202.08/185.12	c (167,0) opt[160][4] = 0
202.08/185.12	c (167,0) opt[161][0] = 0
202.08/185.12	c (167,0) opt[161][1] = 0
202.08/185.12	c (167,0) opt[161][2] = 0
202.08/185.12	c (167,0) opt[161][3] = 0
202.08/185.12	c (167,0) opt[161][4] = 1
202.08/185.12	c (167,0) opt[162][0] = 0
202.08/185.12	c (167,0) opt[162][1] = 1
202.08/185.12	c (167,0) opt[162][2] = 0
202.08/185.12	c (167,0) opt[162][3] = 0
202.08/185.12	c (167,0) opt[162][4] = 0
202.08/185.12	c (167,0) opt[163][0] = 0
202.08/185.12	c (167,0) opt[163][1] = 0
202.08/185.12	c (167,0) opt[163][2] = 1
202.08/185.12	c (167,0) opt[163][3] = 0
202.08/185.12	c (167,0) opt[163][4] = 0
202.08/185.12	c (167,0) opt[164][0] = 0
202.08/185.12	c (167,0) opt[164][1] = 1
202.08/185.12	c (167,0) opt[164][2] = 0
202.08/185.12	c (167,0) opt[164][3] = 0
202.08/185.12	c (167,0) opt[164][4] = 0
202.08/185.12	c (167,0) opt[165][0] = 0
202.08/185.12	c (167,0) opt[165][1] = 1
202.08/185.12	c (167,0) opt[165][2] = 0
202.08/185.12	c (167,0) opt[165][3] = 0
202.08/185.12	c (167,0) opt[165][4] = 0
202.08/185.12	c (167,0) opt[166][0] = 0
202.08/185.12	c (167,0) opt[166][1] = 0
202.08/185.12	c (167,0) opt[166][2] = 0
202.08/185.12	c (167,0) opt[166][3] = 0
202.08/185.12	c (167,0) opt[166][4] = 1
202.08/185.12	c (167,0) opt[167][0] = 0
202.08/185.12	c (167,0) opt[167][1] = 0
202.08/185.12	c (167,0) opt[167][2] = 1
202.08/185.12	c (167,0) opt[167][3] = 0
202.08/185.12	c (167,0) opt[167][4] = 0
202.08/185.12	c (167,0) opt[168][0] = 1
202.08/185.12	c (167,0) opt[168][1] = 0
202.08/185.12	c (167,0) opt[168][2] = 0
202.08/185.12	c (167,0) opt[168][3] = 1
202.08/185.12	c (167,0) opt[168][4] = 0
202.08/185.12	c (167,0) opt[169][0] = 0
202.08/185.12	c (167,0) opt[169][1] = 1
202.08/185.12	c (167,0) opt[169][2] = 0
202.08/185.12	c (167,0) opt[169][3] = 0
202.08/185.12	c (167,0) opt[169][4] = 0
202.08/185.12	c (167,0) opt[170][0] = 0
202.08/185.12	c (167,0) opt[170][1] = 0
202.08/185.12	c (167,0) opt[170][2] = 1
202.08/185.12	c (167,0) opt[170][3] = 0
202.08/185.12	c (167,0) opt[170][4] = 0
202.08/185.12	c (167,0) opt[171][0] = 0
202.08/185.12	c (167,0) opt[171][1] = 1
202.08/185.12	c (167,0) opt[171][2] = 0
202.08/185.12	c (167,0) opt[171][3] = 0
202.08/185.12	c (167,0) opt[171][4] = 0
202.08/185.12	c (167,0) opt[172][0] = 0
202.08/185.12	c (167,0) opt[172][1] = 1
202.08/185.12	c (167,0) opt[172][2] = 0
202.08/185.12	c (167,0) opt[172][3] = 0
202.08/185.12	c (167,0) opt[172][4] = 0
202.08/185.12	c (167,0) opt[173][0] = 0
202.08/185.12	c (167,0) opt[173][1] = 0
202.08/185.12	c (167,0) opt[173][2] = 0
202.08/185.12	c (167,0) opt[173][3] = 0
202.08/185.12	c (167,0) opt[173][4] = 1
202.08/185.12	c (167,0) opt[174][0] = 0
202.08/185.12	c (167,0) opt[174][1] = 1
202.08/185.12	c (167,0) opt[174][2] = 0
202.08/185.12	c (167,0) opt[174][3] = 0
202.08/185.12	c (167,0) opt[174][4] = 0
202.08/185.12	c (167,0) opt[175][0] = 0
202.08/185.12	c (167,0) opt[175][1] = 0
202.08/185.12	c (167,0) opt[175][2] = 1
202.08/185.12	c (167,0) opt[175][3] = 0
202.08/185.12	c (167,0) opt[175][4] = 0
202.08/185.12	c (167,0) opt[176][0] = 1
202.08/185.12	c (167,0) opt[176][1] = 0
202.08/185.12	c (167,0) opt[176][2] = 0
202.08/185.12	c (167,0) opt[176][3] = 0
202.08/185.12	c (167,0) opt[176][4] = 0
202.08/185.12	c (167,0) opt[177][0] = 0
202.08/185.12	c (167,0) opt[177][1] = 1
202.08/185.12	c (167,0) opt[177][2] = 0
202.08/185.12	c (167,0) opt[177][3] = 0
202.08/185.12	c (167,0) opt[177][4] = 0
202.08/185.12	c (167,0) opt[178][0] = 0
202.08/185.12	c (167,0) opt[178][1] = 1
202.08/185.12	c (167,0) opt[178][2] = 0
202.08/185.12	c (167,0) opt[178][3] = 0
202.08/185.12	c (167,0) opt[178][4] = 0
202.08/185.12	c (167,0) opt[179][0] = 0
202.08/185.12	c (167,0) opt[179][1] = 0
202.08/185.12	c (167,0) opt[179][2] = 1
202.08/185.12	c (167,0) opt[179][3] = 0
202.08/185.12	c (167,0) opt[179][4] = 0
202.08/185.12	c (167,0) opt[180][0] = 0
202.08/185.12	c (167,0) opt[180][1] = 1
202.08/185.12	c (167,0) opt[180][2] = 0
202.08/185.12	c (167,0) opt[180][3] = 0
202.08/185.12	c (167,0) opt[180][4] = 0
202.08/185.12	c (167,0) opt[181][0] = 0
202.08/185.12	c (167,0) opt[181][1] = 1
202.08/185.12	c (167,0) opt[181][2] = 0
202.08/185.12	c (167,0) opt[181][3] = 0
202.08/185.12	c (167,0) opt[181][4] = 0
202.08/185.12	c (167,0) opt[182][0] = 0
202.08/185.12	c (167,0) opt[182][1] = 0
202.08/185.12	c (167,0) opt[182][2] = 0
202.08/185.12	c (167,0) opt[182][3] = 0
202.08/185.12	c (167,0) opt[182][4] = 1
202.08/185.12	c (167,0) opt[183][0] = 0
202.08/185.12	c (167,0) opt[183][1] = 1
202.08/185.12	c (167,0) opt[183][2] = 0
202.08/185.12	c (167,0) opt[183][3] = 0
202.08/185.12	c (167,0) opt[183][4] = 0
202.08/185.12	c (167,0) opt[184][0] = 0
202.08/185.12	c (167,0) opt[184][1] = 0
202.08/185.12	c (167,0) opt[184][2] = 1
202.08/185.12	c (167,0) opt[184][3] = 0
202.08/185.12	c (167,0) opt[184][4] = 0
202.08/185.12	c (167,0) opt[185][0] = 0
202.08/185.12	c (167,0) opt[185][1] = 1
202.08/185.12	c (167,0) opt[185][2] = 0
202.08/185.12	c (167,0) opt[185][3] = 0
202.08/185.12	c (167,0) opt[185][4] = 0
202.08/185.12	c (167,0) opt[186][0] = 0
202.08/185.12	c (167,0) opt[186][1] = 1
202.08/185.12	c (167,0) opt[186][2] = 0
202.08/185.12	c (167,0) opt[186][3] = 0
202.08/185.12	c (167,0) opt[186][4] = 0
202.08/185.12	c (167,0) opt[187][0] = 1
202.08/185.12	c (167,0) opt[187][1] = 0
202.08/185.12	c (167,0) opt[187][2] = 0
202.08/185.12	c (167,0) opt[187][3] = 0
202.08/185.12	c (167,0) opt[187][4] = 1
202.08/185.12	c (167,0) opt[188][0] = 0
202.08/185.12	c (167,0) opt[188][1] = 1
202.08/185.12	c (167,0) opt[188][2] = 0
202.08/185.12	c (167,0) opt[188][3] = 0
202.08/185.12	c (167,0) opt[188][4] = 0
202.08/185.12	c (167,0) opt[189][0] = 1
202.08/185.12	c (167,0) opt[189][1] = 0
202.08/185.12	c (167,0) opt[189][2] = 0
202.08/185.12	c (167,0) opt[189][3] = 1
202.08/185.12	c (167,0) opt[189][4] = 0
202.08/185.12	c (167,0) opt[190][0] = 0
202.08/185.12	c (167,0) opt[190][1] = 1
202.08/185.12	c (167,0) opt[190][2] = 0
202.08/185.12	c (167,0) opt[190][3] = 0
202.08/185.12	c (167,0) opt[190][4] = 0
202.08/185.12	c (167,0) opt[191][0] = 0
202.08/185.12	c (167,0) opt[191][1] = 0
202.08/185.12	c (167,0) opt[191][2] = 1
202.08/185.12	c (167,0) opt[191][3] = 0
202.08/185.12	c (167,0) opt[191][4] = 0
202.08/185.12	c (167,0) opt[192][0] = 0
202.08/185.12	c (167,0) opt[192][1] = 1
202.08/185.12	c (167,0) opt[192][2] = 0
202.08/185.12	c (167,0) opt[192][3] = 0
202.08/185.12	c (167,0) opt[192][4] = 0
202.08/185.12	c (167,0) opt[193][0] = 0
202.08/185.12	c (167,0) opt[193][1] = 1
202.08/185.12	c (167,0) opt[193][2] = 0
202.08/185.12	c (167,0) opt[193][3] = 0
202.08/185.12	c (167,0) opt[193][4] = 0
202.08/185.12	c (167,0) opt[194][0] = 0
202.08/185.12	c (167,0) opt[194][1] = 0
202.08/185.12	c (167,0) opt[194][2] = 1
202.08/185.12	c (167,0) opt[194][3] = 0
202.08/185.12	c (167,0) opt[194][4] = 0
202.08/185.12	c (167,0) opt[195][0] = 0
202.08/185.12	c (167,0) opt[195][1] = 1
202.08/185.12	c (167,0) opt[195][2] = 0
202.08/185.12	c (167,0) opt[195][3] = 0
202.08/185.12	c (167,0) opt[195][4] = 0
202.08/185.12	c (167,0) opt[196][0] = 0
202.08/185.12	c (167,0) opt[196][1] = 0
202.08/185.12	c (167,0) opt[196][2] = 0
202.08/185.12	c (167,0) opt[196][3] = 1
202.08/185.12	c (167,0) opt[196][4] = 0
202.08/185.12	c (167,0) opt[197][0] = 1
202.08/185.12	c (167,0) opt[197][1] = 1
202.08/185.12	c (167,0) opt[197][2] = 1
202.08/185.12	c (167,0) opt[197][3] = 0
202.08/185.12	c (167,0) opt[197][4] = 1
202.08/185.12	c (167,0) opt[198][0] = 0
202.08/185.12	c (167,0) opt[198][1] = 1
202.08/185.12	c (167,0) opt[198][2] = 0
202.08/185.12	c (167,0) opt[198][3] = 0
202.08/185.12	c (167,0) opt[198][4] = 0
202.08/185.12	c (167,0) opt[199][0] = 0
202.08/185.12	c (167,0) opt[199][1] = 0
202.08/185.12	c (167,0) opt[199][2] = 0
202.08/185.12	c (167,0) opt[199][3] = 1
202.08/185.12	c (167,0) opt[199][4] = 0
202.08/185.12	s SATISFIABLE
202.08/185.13	v <instantiation>
202.08/185.13	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>
202.08/185.13	v     <values>1 11 10 1 17 14 1 1 3 5 1 1 16 5 4 2 5 1 0 1 5 1 7 1 5 4 1 17 5 20 1 17 1 6 16 17 1 12 5 1 16 8 1 16 17 2 21 7 2 17 18 4 7 1 1 5 17 23 6 16 1 5 1 1 17 1 5 1 16 10 1 5 17 1 2 7 4 1 5 1 16 8 17 1 9 1 1 5 10 1 5 1 4 5 1 1 14 1 4 5 1 1 11 1 1 5 1 1 22 1 1 17 5 1 1 5 10 1 5 1 1 5 7 1 1 5 1 7 4 5 1 1 17 14 1 1 5 1 1 17 18 2 17 23 5 4 16 1 8 7 1 6 16 1 1 5 1 1 16 19 1 7 1 5 1 1 7 5 0 1 5 1 1 7 1 5 17 1 1 5 1 1 7 1 5 1 1 15 1 0 1 5 1 1 5 1 16 13 1 16 0 1 0 0 0 0 0 1 0 1 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 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 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 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 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 0 0 0 1 0</values>
202.08/185.13	v </instantiation>
202.08/185.13	c (167,0) Show results End
202.08/185.13	c (167,0) Heap : 430 MiB used (max 3925 MiB), NonHeap : 20 MiB used (max 0 MiB)
202.08/185.13	c (167,0) 167,167,STOP-AFTER(ALL)
202.08/185.13	c END-Prog: Thu Sep 12 14:47:36 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 (8587 MiB free)
  memory of node 1: 16384 MiB (13368 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387933-1568292330/watcher-4387933-1568292330 -o /tmp/evaluation-result-4387933-1568292330/solver-4387933-1568292330 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568289558-9766 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387933-1568292330.xml 

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

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


[startup+0.100087 s]*
/proc/loadavg: 1.75 2.08 2.27 4/236 11033
/proc/meminfo: memFree=22415544/32770624 swapFree=66997112/67108860
[pid=11016] ppid=11013 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/11016/stat : 11016 (scop.sh) S 11013 11016 8640 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405486080 115843072 348 33554432000 4194304 5098028 140730749219856 140730749217112 140300575490684 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33615872 140730749223779 140730749224048 140730749224048 140730749226957 0
/proc/11016/statm: 28282 348 296 221 0 87 0
[pid=11019] ppid=11016 vsize=15016308 memory=73536 CPUtime=0.12 cores=1,3,5,7
/proc/11019/stat : 11019 (java) S 11016 11016 8640 0 -1 1077944320 7661 0 0 0 10 2 0 0 20 0 15 0 405486080 15376699392 18384 33554432000 4194304 4196468 140734108743200 140734108725744 140077395525367 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
/proc/11019/statm: 3754077 18384 2890 1 0 3716482 0
[pid=11019/tid=11020] ppid=11016 vsize=15016308 memory=576460756329985062 CPUtime=0.08 cores=1,3,5,7
/proc/11019/task/11020/stat : 11020 (java) R 11016 11016 8640 0 -1 4202560 5589 0 0 0 7 1 0 0 20 0 15 0 405486081 15376699392 18516 33554432000 4194304 4196468 140734108743200 140077367309616 140077388205085 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11021] ppid=11016 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11021/stat : 11021 (java) S 11016 11016 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405486082 15376699392 18516 33554432000 4194304 4196468 140734108743200 140077399767824 140077395535573 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11022] ppid=11016 vsize=15016308 memory=139946371642505 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11022/stat : 11022 (java) S 11016 11016 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405486082 15376699392 18516 33554432000 4194304 4196468 140734108743200 140077213924240 140077395535573 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11023] ppid=11016 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11023/stat : 11023 (java) S 11016 11016 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405486082 15376699392 18516 33554432000 4194304 4196468 140734108743200 140077212871696 140077395535573 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11024] ppid=11016 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11024/stat : 11024 (java) S 11016 11016 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405486082 15376699392 18516 33554432000 4194304 4196468 140734108743200 140077211819152 140077395535573 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11025] ppid=11016 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11025/stat : 11025 (java) S 11016 11016 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405486084 15376699392 18516 33554432000 4194304 4196468 140734108743200 140076365981680 140077395536514 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11026] ppid=11016 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11026/stat : 11026 (java) S 11016 11016 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405486084 15376699392 18433 33554432000 4194304 4196468 140734108743200 140075996275616 140077395535573 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11027] ppid=11016 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11027/stat : 11027 (java) S 11016 11016 8640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405486084 15376699392 18154 33554432000 4194304 4196468 140734108743200 140075862053872 140077395535573 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11028] ppid=11016 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11028/stat : 11028 (java) S 11016 11016 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405486087 15376699392 18154 33554432000 4194304 4196468 140734108743200 140075487549648 140077395543963 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11029] ppid=11016 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11029/stat : 11029 (java) S 11016 11016 8640 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 405486087 15375032320 18154 33554432000 4194304 4196468 140734108743200 140076364929520 140077395536514 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11030] ppid=11016 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11030/stat : 11030 (java) S 11016 11016 8640 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 405486087 15375032320 17914 33554432000 4194304 4196468 140734108743200 140076363876976 140077395536514 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11031] ppid=11016 vsize=15013720 memory=139946368505472 CPUtime=0.01 cores=1,3,5,7
/proc/11019/task/11031/stat : 11031 (java) S 11016 11016 8640 0 -1 1077944384 467 0 0 0 1 0 0 0 20 0 15 0 405486087 15374049280 17914 33554432000 4194304 4196468 140734108743200 140076362824432 140077395536514 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11032] ppid=11016 vsize=15013720 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11032/stat : 11032 (java) S 11016 11016 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405486087 15374049280 17658 33554432000 4194304 4196468 140734108743200 140074989644896 140077395535573 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11033] ppid=11016 vsize=15013720 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11033/stat : 11033 (java) S 11016 11016 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405486087 15374049280 17658 33554432000 4194304 4196468 140734108743200 140076361771312 140077395536514 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15129436 KiB
Current children cumulated memory: 74928 KiB

[startup+0.277748 s]*
/proc/loadavg: 1.75 2.08 2.27 4/236 11033
/proc/meminfo: memFree=22401016/32770624 swapFree=66997112/67108860
[pid=11016] ppid=11013 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/11016/stat : 11016 (scop.sh) S 11013 11016 8640 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405486080 115843072 348 33554432000 4194304 5098028 140730749219856 140730749217112 140300575490684 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33615872 140730749223779 140730749224048 140730749224048 140730749226957 0
/proc/11016/statm: 28282 348 296 221 0 87 0
[pid=11019] ppid=11016 vsize=15012696 memory=87312 CPUtime=0.39 cores=1,3,5,7
/proc/11019/stat : 11019 (java) S 11016 11016 8640 0 -1 1077944320 11976 0 0 0 35 4 0 0 20 0 15 0 405486080 15373000704 21828 33554432000 4194304 4196468 140734108743200 140734108725744 140077395525367 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
/proc/11019/statm: 3753174 21828 3023 1 0 3715579 0
[pid=11019/tid=11020] ppid=11016 vsize=15012696 memory=7022364632946311227 CPUtime=0.26 cores=1,3,5,7
/proc/11019/task/11020/stat : 11020 (java) R 11016 11016 8640 0 -1 4202560 9487 0 0 0 23 3 0 0 20 0 15 0 405486081 15373000704 21828 33554432000 4194304 4196468 140734108743200 140077367329752 140077395547293 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11021] ppid=11016 vsize=15012696 memory=396 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11021/stat : 11021 (java) S 11016 11016 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405486082 15373000704 21828 33554432000 4194304 4196468 140734108743200 140077399767824 140077395535573 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11022] ppid=11016 vsize=15012696 memory=3619123302546085536 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11022/stat : 11022 (java) S 11016 11016 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405486082 15373000704 21828 33554432000 4194304 4196468 140734108743200 140077213924240 140077395535573 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11023] ppid=11016 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11023/stat : 11023 (java) S 11016 11016 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405486082 15373000704 21828 33554432000 4194304 4196468 140734108743200 140077212871696 140077395535573 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11024] ppid=11016 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11024/stat : 11024 (java) S 11016 11016 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405486082 15373000704 21828 33554432000 4194304 4196468 140734108743200 140077211819152 140077395535573 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11025] ppid=11016 vsize=15012696 memory=139946368505472 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11025/stat : 11025 (java) S 11016 11016 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405486084 15373000704 21828 33554432000 4194304 4196468 140734108743200 140076365981680 140077395536514 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11026] ppid=11016 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11026/stat : 11026 (java) S 11016 11016 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405486084 15373000704 21828 33554432000 4194304 4196468 140734108743200 140075996275616 140077395535573 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11027] ppid=11016 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11027/stat : 11027 (java) S 11016 11016 8640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405486084 15373000704 21828 33554432000 4194304 4196468 140734108743200 140075862053872 140077395535573 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11028] ppid=11016 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11028/stat : 11028 (java) S 11016 11016 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405486087 15373000704 21828 33554432000 4194304 4196468 140734108743200 140075487549648 140077395543963 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11029] ppid=11016 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11019/task/11029/stat : 11029 (java) S 11016 11016 8640 0 -1 1077944384 428 0 0 0 2 0 0 0 20 0 15 0 405486087 15373000704 21828 33554432000 4194304 4196468 140734108743200 140076364929616 140077395536514 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11030] ppid=11016 vsize=15012696 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/11019/task/11030/stat : 11030 (java) S 11016 11016 8640 0 -1 1077944384 185 0 0 0 1 0 0 0 20 0 15 0 405486087 15373000704 21828 33554432000 4194304 4196468 140734108743200 140076363876976 140077395536514 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11031] ppid=11016 vsize=15012696 memory=139946368505472 CPUtime=0.07 cores=1,3,5,7
/proc/11019/task/11031/stat : 11031 (java) R 11016 11016 8640 0 -1 4202560 527 0 0 0 7 0 0 0 20 0 15 0 405486087 15373000704 21828 33554432000 4194304 4196468 140734108743200 140076362824432 140077395537302 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11032] ppid=11016 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11032/stat : 11032 (java) S 11016 11016 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405486087 15373000704 21828 33554432000 4194304 4196468 140734108743200 140074989644896 140077395535573 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11033] ppid=11016 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11033/stat : 11033 (java) S 11016 11016 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405486087 15373000704 21828 33554432000 4194304 4196468 140734108743200 140076361771312 140077395536514 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 88704 KiB

[startup+0.312488 s]*
/proc/loadavg: 1.75 2.08 2.27 3/236 11033
/proc/meminfo: memFree=22402280/32770624 swapFree=66997112/67108860
[pid=11016] ppid=11013 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/11016/stat : 11016 (scop.sh) S 11013 11016 8640 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405486080 115843072 348 33554432000 4194304 5098028 140730749219856 140730749217112 140300575490684 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33615872 140730749223779 140730749224048 140730749224048 140730749226957 0
/proc/11016/statm: 28282 348 296 221 0 87 0
[pid=11019] ppid=11016 vsize=15012696 memory=88156 CPUtime=0.44 cores=1,3,5,7
/proc/11019/stat : 11019 (java) S 11016 11016 8640 0 -1 1077944320 12063 0 0 0 40 4 0 0 20 0 15 0 405486080 15373000704 22039 33554432000 4194304 4196468 140734108743200 140734108725744 140077395525367 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
/proc/11019/statm: 3753174 22039 3067 1 0 3715579 0
[pid=11019/tid=11020] ppid=11016 vsize=15012696 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/11019/task/11020/stat : 11020 (java) R 11016 11016 8640 0 -1 4202560 9552 0 0 0 27 3 0 0 20 0 15 0 405486081 15373000704 22039 33554432000 4194304 4196468 140734108743200 140077367332360 140077377088881 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11021] ppid=11016 vsize=15012696 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11021/stat : 11021 (java) S 11016 11016 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405486082 15373000704 22039 33554432000 4194304 4196468 140734108743200 140077399767824 140077395535573 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11022] ppid=11016 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11022/stat : 11022 (java) S 11016 11016 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405486082 15373000704 22039 33554432000 4194304 4196468 140734108743200 140077213924240 140077395535573 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11023] ppid=11016 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11023/stat : 11023 (java) S 11016 11016 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405486082 15373000704 22039 33554432000 4194304 4196468 140734108743200 140077212871696 140077395535573 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11024] ppid=11016 vsize=15012696 memory=7007700635973428626 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11024/stat : 11024 (java) S 11016 11016 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405486082 15373000704 22039 33554432000 4194304 4196468 140734108743200 140077211819152 140077395535573 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11025] ppid=11016 vsize=15012696 memory=6944938067432061290 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11025/stat : 11025 (java) S 11016 11016 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405486084 15373000704 22039 33554432000 4194304 4196468 140734108743200 140076365981680 140077395536514 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11026] ppid=11016 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11026/stat : 11026 (java) S 11016 11016 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405486084 15373000704 22039 33554432000 4194304 4196468 140734108743200 140075996275616 140077395535573 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11027] ppid=11016 vsize=15012696 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11027/stat : 11027 (java) S 11016 11016 8640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405486084 15373000704 22039 33554432000 4194304 4196468 140734108743200 140075862053872 140077395535573 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11028] ppid=11016 vsize=15012696 memory=4426089072227881875 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11028/stat : 11028 (java) S 11016 11016 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405486087 15373000704 22039 33554432000 4194304 4196468 140734108743200 140075487549648 140077395543963 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11029] ppid=11016 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11019/task/11029/stat : 11029 (java) S 11016 11016 8640 0 -1 1077944384 428 0 0 0 2 0 0 0 20 0 15 0 405486087 15373000704 22039 33554432000 4194304 4196468 140734108743200 140076364929520 140077395536514 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11030] ppid=11016 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11019/task/11030/stat : 11030 (java) S 11016 11016 8640 0 -1 1077944384 204 0 0 0 2 0 0 0 20 0 15 0 405486087 15373000704 22039 33554432000 4194304 4196468 140734108743200 140076363876976 140077395536514 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11031] ppid=11016 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11019/task/11031/stat : 11031 (java) S 11016 11016 8640 0 -1 1077944384 529 0 0 0 7 0 0 0 20 0 15 0 405486087 15373000704 22039 33554432000 4194304 4196468 140734108743200 140076362824432 140077395536514 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11032] ppid=11016 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11032/stat : 11032 (java) S 11016 11016 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405486087 15373000704 22039 33554432000 4194304 4196468 140734108743200 140074989644896 140077395535573 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11033] ppid=11016 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11033/stat : 11033 (java) S 11016 11016 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405486087 15373000704 22039 33554432000 4194304 4196468 140734108743200 140076361771312 140077395536514 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89548 KiB

[startup+0.703744 s]
/proc/loadavg: 1.75 2.08 2.27 3/236 11033
/proc/meminfo: memFree=22381752/32770624 swapFree=66997112/67108860
[pid=11016] ppid=11013 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/11016/stat : 11016 (scop.sh) S 11013 11016 8640 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405486080 115843072 348 33554432000 4194304 5098028 140730749219856 140730749217112 140300575490684 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33615872 140730749223779 140730749224048 140730749224048 140730749226957 0
/proc/11016/statm: 28282 348 296 221 0 87 0
[pid=11019] ppid=11016 vsize=15021016 memory=129712 CPUtime=1.06 cores=1,3,5,7
/proc/11019/stat : 11019 (java) S 11016 11016 8640 0 -1 1077944320 20212 0 0 0 100 6 0 0 20 0 15 0 405486080 15381520384 32428 33554432000 4194304 4196468 140734108743200 140734108725744 140077395525367 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
/proc/11019/statm: 3755254 32428 3187 1 0 3716603 0
[pid=11019/tid=11020] ppid=11016 vsize=15021016 memory=2828 CPUtime=0.68 cores=1,3,5,7
/proc/11019/task/11020/stat : 11020 (java) R 11016 11016 8640 0 -1 4202560 17194 0 0 0 63 5 0 0 20 0 15 0 405486081 15381520384 32428 33554432000 4194304 4196468 140734108743200 140077367358336 140077395546714 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11021] ppid=11016 vsize=15021016 memory=676 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11021/stat : 11021 (java) S 11016 11016 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405486082 15381520384 32428 33554432000 4194304 4196468 140734108743200 140077399767824 140077395535573 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11022] ppid=11016 vsize=15021016 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11022/stat : 11022 (java) S 11016 11016 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405486082 15381520384 32428 33554432000 4194304 4196468 140734108743200 140077213924240 140077395535573 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11023] ppid=11016 vsize=15021016 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11023/stat : 11023 (java) S 11016 11016 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405486082 15381520384 32428 33554432000 4194304 4196468 140734108743200 140077212871696 140077395535573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11024] ppid=11016 vsize=15021016 memory=8488 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11024/stat : 11024 (java) S 11016 11016 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405486082 15381520384 32428 33554432000 4194304 4196468 140734108743200 140077211819152 140077395535573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11025] ppid=11016 vsize=15021016 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11025/stat : 11025 (java) S 11016 11016 8640 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405486084 15381520384 32428 33554432000 4194304 4196468 140734108743200 140076365981680 140077395536514 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11026] ppid=11016 vsize=15021016 memory=1112 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11026/stat : 11026 (java) S 11016 11016 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405486084 15381520384 32428 33554432000 4194304 4196468 140734108743200 140075996275616 140077395535573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11027] ppid=11016 vsize=15021016 memory=1020 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11027/stat : 11027 (java) S 11016 11016 8640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405486084 15381520384 32428 33554432000 4194304 4196468 140734108743200 140075862053872 140077395535573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11028] ppid=11016 vsize=15021016 memory=5968 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11028/stat : 11028 (java) S 11016 11016 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405486087 15381520384 32428 33554432000 4194304 4196468 140734108743200 140075487549648 140077395543963 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11029] ppid=11016 vsize=15021016 memory=14008 CPUtime=0.1 cores=1,3,5,7
/proc/11019/task/11029/stat : 11029 (java) R 11016 11016 8640 0 -1 4202560 646 0 0 0 10 0 0 0 20 0 15 0 405486087 15381520384 32428 33554432000 4194304 4196468 140734108743200 140076364917072 140077373548018 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11030] ppid=11016 vsize=15021016 memory=2124 CPUtime=0.08 cores=1,3,5,7
/proc/11019/task/11030/stat : 11030 (java) R 11016 11016 8640 0 -1 4202560 292 0 0 0 8 0 0 0 20 0 15 0 405486087 15381520384 32428 33554432000 4194304 4196468 140734108743200 140076363863072 140077380650637 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11031] ppid=11016 vsize=15021016 memory=20452 CPUtime=0.18 cores=1,3,5,7
/proc/11019/task/11031/stat : 11031 (java) R 11016 11016 8640 0 -1 4202560 726 0 0 0 18 0 0 0 20 0 15 0 405486087 15381520384 32428 33554432000 4194304 4196468 140734108743200 140076362820192 140077395546714 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11032] ppid=11016 vsize=15021016 memory=3472323897372785097 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11032/stat : 11032 (java) S 11016 11016 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405486087 15381520384 32428 33554432000 4194304 4196468 140734108743200 140074989644896 140077395535573 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
[pid=11019/tid=11033] ppid=11016 vsize=15021016 memory=139946207774480 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11033/stat : 11033 (java) S 11016 11016 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405486087 15381520384 32428 33554432000 4194304 4196468 140734108743200 140076361771312 140077395536514 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8081408 140734108746537 140734108746906 140734108746906 140734108749775 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 15134144 KiB
Current children cumulated memory: 131104 KiB

[startup+1.50079 s]
/proc/loadavg: 1.75 2.08 2.27 6/236 11033
/proc/meminfo: memFree=22341636/32770624 swapFree=66997112/67108860
[pid=11016] ppid=11013 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/11016/stat : 11016 (scop.sh) S 11013 11016 8640 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405486080 115843072 348 33554432000 4194304 5098028 140730749219856 140730749217112 140300575490684 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33615872 140730749223779 140730749224048 140730749224048 140730749226957 0
/proc/11016/statm: 28282 348 296 221 0 87 0

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

[pid=11035/tid=11047] ppid=11016 vsize=8068440 memory=-6935123839545469842 CPUtime=0.28 cores=1,3,5,7
/proc/11035/task/11047/stat : 11047 (java) S 11016 11016 8640 0 -1 1077944384 1143 0 0 0 28 0 0 0 20 0 19 0 405487809 8262082560 32871 33554432000 4194304 4196468 140720335090688 139980523006704 139981079767682 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11048] ppid=11016 vsize=8068440 memory=-6948055166404804227 CPUtime=0 cores=1,3,5,7
/proc/11035/task/11048/stat : 11048 (java) S 11016 11016 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405487810 8262082560 32871 33554432000 4194304 4196468 140720335090688 139978755533920 139981079766741 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11049] ppid=11016 vsize=8068440 memory=1476 CPUtime=0.08 cores=1,3,5,7
/proc/11035/task/11049/stat : 11049 (java) S 11016 11016 8640 0 -1 1077944384 13 0 0 0 4 4 0 0 20 0 19 0 405487810 8262082560 32871 33554432000 4194304 4196468 140720335090688 139980521953584 139981079767682 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11051] ppid=11016 vsize=8068440 memory=131484 CPUtime=0 cores=1,3,5,7
/proc/11035/task/11051/stat : 11051 (java) S 11016 11016 8640 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405487891 8262082560 32871 33554432000 4194304 4196468 140720335090688 139980511822912 139981079781145 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11053] ppid=11016 vsize=8068440 memory=816980 CPUtime=0.04 cores=1,3,5,7
/proc/11035/task/11053/stat : 11053 (java) S 11016 11016 8640 0 -1 4202560 1706 0 0 0 3 1 0 0 20 0 19 0 405487892 8262082560 32871 33554432000 4194304 4196468 140720335090688 139978218647184 139981079778461 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11054] ppid=11016 vsize=8068440 memory=-4051592751533505334 CPUtime=0 cores=1,3,5,7
/proc/11035/task/11054/stat : 11054 (java) S 11016 11016 8640 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 405487892 8262082560 32871 33554432000 4194304 4196468 140720335090688 139978352869168 139981079778461 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11055] ppid=11016 vsize=8068440 memory=-7666414585839465563 CPUtime=0 cores=1,3,5,7
/proc/11035/task/11055/stat : 11055 (java) S 11016 11016 8640 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405487894 8262082560 32871 33554432000 4194304 4196468 140720335090688 139977950223920 139981079766741 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
Current children cumulated CPU time: 199.61 s
Current children cumulated vsize: 9124920 KiB
Current children cumulated memory: 950120 KiB

[startup+184.801 s]
/proc/loadavg: 2.18 2.25 2.31 3/240 11168
/proc/meminfo: memFree=21048820/32770624 swapFree=66997112/67108860
[pid=11016] ppid=11013 vsize=113128 memory=1476 CPUtime=31.94 cores=1,3,5,7
/proc/11016/stat : 11016 (scop.sh) S 11013 11016 8640 0 -1 4202496 581 42568 0 0 0 0 3103 91 20 0 1 0 405486080 115843072 369 33554432000 4194304 5098028 140730749219856 140730749216600 140300575490684 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33615872 140730749223779 140730749224048 140730749224048 140730749226957 0
/proc/11016/statm: 28282 369 311 221 0 87 0
[pid=11035] ppid=11016 vsize=8068440 memory=461556 CPUtime=3.26 cores=1,3,5,7
/proc/11035/stat : 11035 (java) S 11016 11016 8640 0 -1 1077944320 28261 0 0 0 304 22 0 0 20 0 19 0 405487803 8262082560 115389 33554432000 4194304 4196468 140720335090688 140720335073232 139981079756535 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
/proc/11035/statm: 2017110 115389 3230 1 0 1978454 0
[pid=11050] ppid=11035 vsize=684132 memory=627692 CPUtime=166.25 cores=1,3,5,7
/proc/11050/stat : 11050 (cryptominisat5) R 11035 11016 8640 0 -1 4202496 665463 0 0 0 16561 64 0 0 20 0 1 0 405487891 700551168 156923 33554432000 4194304 4451008 140721012991760 140721012988984 139794702641199 0 4 0 2 0 0 0 17 5 0 0 0 0 0 6549032 6559120 16007168 140721012999100 140721012999232 140721012999232 140721013002182 0
/proc/11050/statm: 171033 156923 750 63 0 164760 0
[pid=11035/tid=11036] ppid=11016 vsize=8068440 memory=1560 CPUtime=0.91 cores=1,3,5,7
/proc/11035/task/11036/stat : 11036 (java) S 11016 11016 8640 0 -1 1077944384 17473 0 0 0 82 9 0 0 20 0 19 0 405487804 8262082560 115389 33554432000 4194304 4196468 140720335090688 139981051596704 139981079766741 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11037] ppid=11016 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/11035/task/11037/stat : 11037 (java) S 11016 11016 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405487805 8262082560 115389 33554432000 4194304 4196468 140720335090688 139981083998992 139981079766741 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11038] ppid=11016 vsize=8068440 memory=143696 CPUtime=0 cores=1,3,5,7
/proc/11035/task/11038/stat : 11038 (java) S 11016 11016 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405487805 8262082560 115389 33554432000 4194304 4196468 140720335090688 139980904295312 139981079766741 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11039] ppid=11016 vsize=8068440 memory=817608 CPUtime=0 cores=1,3,5,7
/proc/11035/task/11039/stat : 11039 (java) S 11016 11016 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405487805 8262082560 115389 33554432000 4194304 4196468 140720335090688 139980564122640 139981079766741 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11040] ppid=11016 vsize=8068440 memory=7164216939863762287 CPUtime=0 cores=1,3,5,7
/proc/11035/task/11040/stat : 11040 (java) S 11016 11016 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405487805 8262082560 115389 33554432000 4194304 4196468 140720335090688 139980563070096 139981079766741 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11041] ppid=11016 vsize=8068440 memory=7882547763482214500 CPUtime=0 cores=1,3,5,7
/proc/11035/task/11041/stat : 11041 (java) S 11016 11016 8640 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 405487806 8262082560 115389 33554432000 4194304 4196468 140720335090688 139980526163952 139981079767682 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11042] ppid=11016 vsize=8068440 memory=8039887049847965093 CPUtime=0 cores=1,3,5,7
/proc/11035/task/11042/stat : 11042 (java) S 11016 11016 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405487807 8262082560 115389 33554432000 4194304 4196468 140720335090688 139979896382368 139981079766741 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11043] ppid=11016 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/11035/task/11043/stat : 11043 (java) S 11016 11016 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405487807 8262082560 115389 33554432000 4194304 4196468 140720335090688 139979627946992 139981079766741 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11044] ppid=11016 vsize=8068440 memory=131484 CPUtime=0 cores=1,3,5,7
/proc/11035/task/11044/stat : 11044 (java) S 11016 11016 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405487809 8262082560 115389 33554432000 4194304 4196468 140720335090688 139979253438672 139981079775131 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11045] ppid=11016 vsize=8068440 memory=816980 CPUtime=0.6 cores=1,3,5,7
/proc/11035/task/11045/stat : 11045 (java) S 11016 11016 8640 0 -1 1077944384 3500 0 0 0 60 0 0 0 20 0 19 0 405487809 8262082560 115389 33554432000 4194304 4196468 140720335090688 139980525111792 139981079767682 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11046] ppid=11016 vsize=8068440 memory=978992 CPUtime=0.6 cores=1,3,5,7
/proc/11035/task/11046/stat : 11046 (java) S 11016 11016 8640 0 -1 1077944384 2671 0 0 0 60 0 0 0 20 0 19 0 405487809 8262082560 115389 33554432000 4194304 4196468 140720335090688 139980524059248 139981079767682 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11047] ppid=11016 vsize=8068440 memory=1656 CPUtime=0.35 cores=1,3,5,7
/proc/11035/task/11047/stat : 11047 (java) S 11016 11016 8640 0 -1 1077944384 1319 0 0 0 35 0 0 0 20 0 19 0 405487809 8262082560 115389 33554432000 4194304 4196468 140720335090688 139980523006704 139981079767682 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11048] ppid=11016 vsize=8068440 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/11035/task/11048/stat : 11048 (java) S 11016 11016 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405487810 8262082560 115389 33554432000 4194304 4196468 140720335090688 139978755533920 139981079766741 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11049] ppid=11016 vsize=8068440 memory=2920 CPUtime=0.08 cores=1,3,5,7
/proc/11035/task/11049/stat : 11049 (java) S 11016 11016 8640 0 -1 1077944384 13 0 0 0 4 4 0 0 20 0 19 0 405487810 8262082560 115389 33554432000 4194304 4196468 140720335090688 139980521953584 139981079767682 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11051] ppid=11016 vsize=8068440 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/11035/task/11051/stat : 11051 (java) S 11016 11016 8640 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405487891 8262082560 115389 33554432000 4194304 4196468 140720335090688 139980511822912 139981079781145 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11053] ppid=11016 vsize=8068440 memory=1476 CPUtime=0.65 cores=1,3,5,7
/proc/11035/task/11053/stat : 11053 (java) S 11016 11016 8640 0 -1 4202560 1898 0 0 0 60 5 0 0 20 0 19 0 405487892 8262082560 115389 33554432000 4194304 4196468 140720335090688 139978218647344 139981079778461 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11054] ppid=11016 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/11035/task/11054/stat : 11054 (java) S 11016 11016 8640 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 405487892 8262082560 115389 33554432000 4194304 4196468 140720335090688 139978352869168 139981079778461 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11055] ppid=11016 vsize=8068440 memory=131484 CPUtime=0 cores=1,3,5,7
/proc/11035/task/11055/stat : 11055 (java) S 11016 11016 8640 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405487894 8262082560 115389 33554432000 4194304 4196468 140720335090688 139977950223920 139981079766741 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
Current children cumulated CPU time: 201.45 s
Current children cumulated vsize: 8865700 KiB
Current children cumulated memory: 1090724 KiB

[startup+185.005 s]*
/proc/loadavg: 2.18 2.25 2.31 4/236 11168
/proc/meminfo: memFree=21527396/32770624 swapFree=66997112/67108860
[pid=11016] ppid=11013 vsize=113128 memory=1476 CPUtime=31.94 cores=1,3,5,7
/proc/11016/stat : 11016 (scop.sh) S 11013 11016 8640 0 -1 4202496 581 42568 0 0 0 0 3103 91 20 0 1 0 405486080 115843072 369 33554432000 4194304 5098028 140730749219856 140730749216600 140300575490684 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33615872 140730749223779 140730749224048 140730749224048 140730749226957 0
/proc/11016/statm: 28282 369 311 221 0 87 0
[pid=11035] ppid=11016 vsize=7937364 memory=468952 CPUtime=169.85 cores=1,3,5,7
/proc/11035/stat : 11035 (java) S 11016 11016 8640 0 -1 1077944320 28541 665539 0 0 328 22 16568 67 20 0 17 0 405487803 8127860736 117238 33554432000 4194304 4196468 140720335090688 140720335073232 139981079756535 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
/proc/11035/statm: 1984341 117238 3239 1 0 1945685 0
[pid=11035/tid=11036] ppid=11016 vsize=7937364 memory=8317482817917895235 CPUtime=167.36 cores=1,3,5,7
/proc/11035/task/11036/stat : 11036 (java) R 11016 11016 8640 0 -1 4202560 17608 665539 0 0 92 9 16568 67 20 0 17 0 405487804 8127860736 117238 33554432000 4194304 4196468 140720335090688 139981051595640 139981061625048 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11037] ppid=11016 vsize=7937364 memory=8317482817917895235 CPUtime=166.35 cores=1,3,5,7
/proc/11035/task/11037/stat : 11037 (java) S 11016 11016 8640 0 -1 1077944384 1 665539 0 0 0 0 16568 67 20 0 17 0 405487805 8127860736 117238 33554432000 4194304 4196468 140720335090688 139981083998992 139981079766741 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11038] ppid=11016 vsize=7937364 memory=6628 CPUtime=166.35 cores=1,3,5,7
/proc/11035/task/11038/stat : 11038 (java) S 11016 11016 8640 0 -1 1077944384 1 665539 0 0 0 0 16568 67 20 0 17 0 405487805 8127860736 117238 33554432000 4194304 4196468 140720335090688 139980904295312 139981079766741 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11039] ppid=11016 vsize=7937364 memory=53617 CPUtime=166.35 cores=1,3,5,7
/proc/11035/task/11039/stat : 11039 (java) S 11016 11016 8640 0 -1 1077944384 1 665539 0 0 0 0 16568 67 20 0 17 0 405487805 8127860736 117238 33554432000 4194304 4196468 140720335090688 139980564122640 139981079766741 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11040] ppid=11016 vsize=7937364 memory=11044 CPUtime=166.35 cores=1,3,5,7
/proc/11035/task/11040/stat : 11040 (java) S 11016 11016 8640 0 -1 1077944384 2 665539 0 0 0 0 16568 67 20 0 17 0 405487805 8127860736 117238 33554432000 4194304 4196468 140720335090688 139980563070096 139981079766741 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11041] ppid=11016 vsize=7937364 memory=288230591722422566 CPUtime=166.35 cores=1,3,5,7
/proc/11035/task/11041/stat : 11041 (java) S 11016 11016 8640 0 -1 1077944384 10 665539 0 0 0 0 16568 67 20 0 17 0 405487806 8127860736 117238 33554432000 4194304 4196468 140720335090688 139980526163952 139981079767682 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11042] ppid=11016 vsize=7937364 memory=15540712917698088 CPUtime=166.35 cores=1,3,5,7
/proc/11035/task/11042/stat : 11042 (java) S 11016 11016 8640 0 -1 1077944384 13 665539 0 0 0 0 16568 67 20 0 17 0 405487807 8127860736 117238 33554432000 4194304 4196468 140720335090688 139979896382368 139981079766741 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11043] ppid=11016 vsize=7937364 memory=17668 CPUtime=166.35 cores=1,3,5,7
/proc/11035/task/11043/stat : 11043 (java) S 11016 11016 8640 0 -1 1077944384 1 665539 0 0 0 0 16568 67 20 0 17 0 405487807 8127860736 117238 33554432000 4194304 4196468 140720335090688 139979627946992 139981079766741 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11044] ppid=11016 vsize=7937364 memory=19876 CPUtime=166.35 cores=1,3,5,7
/proc/11035/task/11044/stat : 11044 (java) S 11016 11016 8640 0 -1 1077944384 3 665539 0 0 0 0 16568 67 20 0 17 0 405487809 8127860736 117238 33554432000 4194304 4196468 140720335090688 139979253438672 139981079775131 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11045] ppid=11016 vsize=7937364 memory=22084 CPUtime=167 cores=1,3,5,7
/proc/11035/task/11045/stat : 11045 (java) S 11016 11016 8640 0 -1 1077944384 3527 665539 0 0 65 0 16568 67 20 0 17 0 405487809 8127860736 117238 33554432000 4194304 4196468 140720335090688 139980525111792 139981079767682 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11046] ppid=11016 vsize=7937364 memory=24292 CPUtime=166.98 cores=1,3,5,7
/proc/11035/task/11046/stat : 11046 (java) S 11016 11016 8640 0 -1 1077944384 2696 665539 0 0 63 0 16568 67 20 0 17 0 405487809 8127860736 117238 33554432000 4194304 4196468 140720335090688 139980524059248 139981079767682 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11047] ppid=11016 vsize=7937364 memory=26500 CPUtime=166.75 cores=1,3,5,7
/proc/11035/task/11047/stat : 11047 (java) S 11016 11016 8640 0 -1 1077944384 1403 665539 0 0 40 0 16568 67 20 0 17 0 405487809 8127860736 117238 33554432000 4194304 4196468 140720335090688 139980523006704 139981079767682 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11048] ppid=11016 vsize=7937364 memory=28708 CPUtime=166.35 cores=1,3,5,7
/proc/11035/task/11048/stat : 11048 (java) S 11016 11016 8640 0 -1 1077944384 3 665539 0 0 0 0 16568 67 20 0 17 0 405487810 8127860736 117238 33554432000 4194304 4196468 140720335090688 139978755533920 139981079766741 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11049] ppid=11016 vsize=7937364 memory=30916 CPUtime=166.43 cores=1,3,5,7
/proc/11035/task/11049/stat : 11049 (java) S 11016 11016 8640 0 -1 1077944384 13 665539 0 0 4 4 16568 67 20 0 17 0 405487810 8127860736 117238 33554432000 4194304 4196468 140720335090688 139980521953584 139981079767682 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11051] ppid=11016 vsize=7937364 memory=7373346297768534372 CPUtime=166.35 cores=1,3,5,7
/proc/11035/task/11051/stat : 11051 (java) S 11016 11016 8640 0 -1 1077944384 23 665539 0 0 0 0 16568 67 20 0 17 0 405487891 8127860736 117238 33554432000 4194304 4196468 140720335090688 139980511822096 139981079767682 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11055] ppid=11016 vsize=7937364 memory=0 CPUtime=166.35 cores=1,3,5,7
/proc/11035/task/11055/stat : 11055 (java) S 11016 11016 8640 0 -1 1077944384 11 665539 0 0 0 0 16568 67 20 0 17 0 405487894 8127860736 117238 33554432000 4194304 4196468 140720335090688 139977950225712 139981079767682 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
Current children cumulated CPU time: 201.79 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 470428 KiB

[startup+185.121 s]
/proc/loadavg: 2.18 2.25 2.31 4/236 11168
/proc/meminfo: memFree=21527396/32770624 swapFree=66997112/67108860
[pid=11016] ppid=11013 vsize=113128 memory=1476 CPUtime=31.94 cores=1,3,5,7
/proc/11016/stat : 11016 (scop.sh) S 11013 11016 8640 0 -1 4202496 581 42568 0 0 0 0 3103 91 20 0 1 0 405486080 115843072 369 33554432000 4194304 5098028 140730749219856 140730749216600 140300575490684 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33615872 140730749223779 140730749224048 140730749224048 140730749226957 0
/proc/11016/statm: 28282 369 311 221 0 87 0
[pid=11035] ppid=11016 vsize=7937364 memory=476316 CPUtime=170.14 cores=1,3,5,7
/proc/11035/stat : 11035 (java) S 11016 11016 8640 0 -1 1077944320 28808 665539 0 0 356 23 16568 67 20 0 17 0 405487803 8127860736 119079 33554432000 4194304 4196468 140720335090688 140720335073232 139981079756535 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
/proc/11035/statm: 1984341 119079 3241 1 0 1945685 0
[pid=11035/tid=11036] ppid=11016 vsize=7937364 memory=441076 CPUtime=167.46 cores=1,3,5,7
/proc/11035/task/11036/stat : 11036 (java) R 11016 11016 8640 0 -1 4202560 17706 665539 0 0 102 9 16568 67 20 0 17 0 405487804 8127860736 119079 33554432000 4194304 4196468 140720335090688 139981051597360 139980582144048 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11037] ppid=11016 vsize=7937364 memory=131484 CPUtime=166.35 cores=1,3,5,7
/proc/11035/task/11037/stat : 11037 (java) S 11016 11016 8640 0 -1 1077944384 1 665539 0 0 0 0 16568 67 20 0 17 0 405487805 8127860736 119079 33554432000 4194304 4196468 140720335090688 139981083998992 139981079766741 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11038] ppid=11016 vsize=7937364 memory=275188 CPUtime=166.35 cores=1,3,5,7
/proc/11035/task/11038/stat : 11038 (java) S 11016 11016 8640 0 -1 1077944384 1 665539 0 0 0 0 16568 67 20 0 17 0 405487805 8127860736 119079 33554432000 4194304 4196468 140720335090688 139980904295312 139981079766741 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11039] ppid=11016 vsize=7937364 memory=463512 CPUtime=166.35 cores=1,3,5,7
/proc/11035/task/11039/stat : 11039 (java) S 11016 11016 8640 0 -1 1077944384 1 665539 0 0 0 0 16568 67 20 0 17 0 405487805 8127860736 119079 33554432000 4194304 4196468 140720335090688 139980564122640 139981079766741 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11040] ppid=11016 vsize=7937364 memory=1476 CPUtime=166.35 cores=1,3,5,7
/proc/11035/task/11040/stat : 11040 (java) S 11016 11016 8640 0 -1 1077944384 2 665539 0 0 0 0 16568 67 20 0 17 0 405487805 8127860736 119079 33554432000 4194304 4196468 140720335090688 139980563070096 139981079766741 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11041] ppid=11016 vsize=7937364 memory=131484 CPUtime=166.35 cores=1,3,5,7
/proc/11035/task/11041/stat : 11041 (java) S 11016 11016 8640 0 -1 1077944384 10 665539 0 0 0 0 16568 67 20 0 17 0 405487806 8127860736 119079 33554432000 4194304 4196468 140720335090688 139980526163952 139981079767682 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11042] ppid=11016 vsize=7937364 memory=1476 CPUtime=166.35 cores=1,3,5,7
/proc/11035/task/11042/stat : 11042 (java) S 11016 11016 8640 0 -1 1077944384 13 665539 0 0 0 0 16568 67 20 0 17 0 405487807 8127860736 119079 33554432000 4194304 4196468 140720335090688 139979896382368 139981079766741 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11043] ppid=11016 vsize=7937364 memory=128696 CPUtime=166.35 cores=1,3,5,7
/proc/11035/task/11043/stat : 11043 (java) S 11016 11016 8640 0 -1 1077944384 1 665539 0 0 0 0 16568 67 20 0 17 0 405487807 8127860736 119079 33554432000 4194304 4196468 140720335090688 139979627946992 139981079766741 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11044] ppid=11016 vsize=7937364 memory=1476 CPUtime=166.35 cores=1,3,5,7
/proc/11035/task/11044/stat : 11044 (java) S 11016 11016 8640 0 -1 1077944384 3 665539 0 0 0 0 16568 67 20 0 17 0 405487809 8127860736 119079 33554432000 4194304 4196468 140720335090688 139979253438672 139981079775131 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11045] ppid=11016 vsize=7937364 memory=1476 CPUtime=167.06 cores=1,3,5,7
/proc/11035/task/11045/stat : 11045 (java) R 11016 11016 8640 0 -1 4202560 3554 665539 0 0 71 0 16568 67 20 0 17 0 405487809 8127860736 119079 33554432000 4194304 4196468 140720335090688 139980525096624 139981079777882 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11046] ppid=11016 vsize=7937364 memory=131484 CPUtime=167.06 cores=1,3,5,7
/proc/11035/task/11046/stat : 11046 (java) R 11016 11016 8640 0 -1 4202560 2719 665539 0 0 71 0 16568 67 20 0 17 0 405487809 8127860736 119079 33554432000 4194304 4196468 140720335090688 139980524048720 139981059604770 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11047] ppid=11016 vsize=7937364 memory=1476 CPUtime=166.8 cores=1,3,5,7
/proc/11035/task/11047/stat : 11047 (java) S 11016 11016 8640 0 -1 1077944384 1522 665539 0 0 45 0 16568 67 20 0 17 0 405487809 8127860736 119079 33554432000 4194304 4196468 140720335090688 139980523006704 139981079767682 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11048] ppid=11016 vsize=7937364 memory=1476 CPUtime=166.35 cores=1,3,5,7
/proc/11035/task/11048/stat : 11048 (java) S 11016 11016 8640 0 -1 1077944384 3 665539 0 0 0 0 16568 67 20 0 17 0 405487810 8127860736 119079 33554432000 4194304 4196468 140720335090688 139978755533920 139981079766741 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11049] ppid=11016 vsize=7937364 memory=131484 CPUtime=166.43 cores=1,3,5,7
/proc/11035/task/11049/stat : 11049 (java) S 11016 11016 8640 0 -1 1077944384 13 665539 0 0 4 4 16568 67 20 0 17 0 405487810 8127860736 119079 33554432000 4194304 4196468 140720335090688 139980521953584 139981079767682 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 29 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11051] ppid=11016 vsize=7937364 memory=288230574492221466 CPUtime=166.35 cores=1,3,5,7
/proc/11035/task/11051/stat : 11051 (java) S 11016 11016 8640 0 -1 1077944384 23 665539 0 0 0 0 16568 67 20 0 17 0 405487891 8127860736 119079 33554432000 4194304 4196468 140720335090688 139980511822096 139981079767682 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
[pid=11035/tid=11055] ppid=11016 vsize=7937364 memory=288230583166042425 CPUtime=166.35 cores=1,3,5,7
/proc/11035/task/11055/stat : 11055 (java) S 11016 11016 8640 0 -1 1077944384 11 665539 0 0 0 0 16568 67 20 0 17 0 405487894 8127860736 119079 33554432000 4194304 4196468 140720335090688 139977950225712 139981079767682 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11018240 140720335094779 140720335094938 140720335094938 140720335097807 0
Current children cumulated CPU time: 202.08 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 477792 KiB

Child status: 0
Real time (s): 185.158
CPU time (s): 202.176
CPU user time (s): 200.34
CPU system time (s): 1.83663
CPU usage (%): 109.191
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 3198160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 200.34
system time used= 1.83663
maximum resident set size= 3197488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 737591
page faults= 0
swaps= 0
block input operations= 0
block output operations= 90960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12904
involuntary context switches= 279


# summary of solver processes directly reported to runsolver:
#   pid: 11016
#   total CPU time (s): 202.176
#   total CPU user time (s): 200.34
#   total CPU system time (s): 1.83663

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.41894 second user time and 2.02516 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-12 14:44:31
IDJOB=4387933
IDBENCH=128073
IDSOLVER=2826
FILE ID=node103/4387933-1568292330
RUNJOBID= node103-1568289558-9766
PBS_JOBID= 21701093
Free space on /tmp= 52648 MiB

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

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

MD5SUM BENCH= 78ce7b18c2bc9eefd2fccfc0b2746318
RANDOM SEED=2053764892

node103.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.74
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.74
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.74
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.74
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:        22483564 kB
MemAvailable:   31195824 kB
Buffers:          107560 kB
Cached:          8841116 kB
SwapCached:         8920 kB
Active:          2555792 kB
Inactive:        7065216 kB
Active(anon):     659236 kB
Inactive(anon):    54684 kB
Active(file):    1896556 kB
Inactive(file):  7010532 kB
Unevictable:      106628 kB
Mlocked:          106628 kB
SwapTotal:      67108860 kB
SwapFree:       66997112 kB
Dirty:             20312 kB
Writeback:           248 kB
AnonPages:        763528 kB
Mapped:            55240 kB
Shmem:             32812 kB
Slab:             262392 kB
SReclaimable:     233632 kB
SUnreclaim:        28760 kB
KernelStack:        3936 kB
PageTables:         6992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6532460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    272384 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= 52628 MiB
End job on node103 at 2019-09-12 14:47:36