Trace number 4387774

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 136.909 115.176

General information on the benchmark

NameDeBruijnSequence/DeBruijnSequence-m1-s1/
DeBruijnSequence-03-05.xml
MD5SUM039cea46cde688c2971a1406f493a012
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 benchmark0.252364
Satisfiable
(Un)Satisfiability was proved
Number of variables1461
Number of constraints1218
Number of domains3
Minimum domain size3
Maximum domain size244
Distribution of domain sizes[{"size":3,"count":1215},{"size":243,"count":243},{"size":244,"count":3}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":3},{"degree":2,"count":243},{"degree":3,"count":1215}]
Minimum constraint arity2
Maximum constraint arity246
Distribution of constraint arities[{"arity":2,"count":972},{"arity":6,"count":243},{"arity":243,"count":2},{"arity":246,"count":1}]
Number of extensional constraints0
Number of intensional constraints972
Distribution of constraint types[{"type":"intension","count":972},{"type":"allDifferent","count":1},{"type":"sum","count":243},{"type":"cardinality","count":1},{"type":"minimum","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-6052-serial-file.bin HOME/instance-4387774-1568290119.xml
0.65/0.52	
0.65/0.52	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.65/0.52	
0.65/0.55	c BEGIN-Prog: Thu Sep 12 14:10:20 CEST 2019
0.65/0.55	c PID: 6055
0.65/0.55	c IP: 172.20.3.139
0.65/0.55	c HOST: node139.alineos.net
0.65/0.56	c (0,0) Parsing Begin
3.13/1.40	c (0,0) Parsing End
3.13/1.41	c (0,0) CSP: 1461 int (0 aux), 0 bool (0 aux), 1218 ctr, max domain size 244
3.13/1.41	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.13/1.41	c (0,0) Constraint Name Generate Begin
3.13/1.43	c (0,0) Ctr:HOME/instance-4387774-1568290119.xml,AllDifferent:Cardinality:Eq:Minimum:Num:Var:WeightedSum
3.13/1.43	c (0,0) Constraint Name Generate End
3.13/1.43	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
3.13/1.43	c (0,0) CSP to CSPinCNF Begin
8.08/3.45	c (2,2) translated 122 (10%) constraints
8.41/3.53	c (3,2) translated 244 (20%) constraints
8.41/3.54	c (3,3) translated 366 (30%) constraints
8.41/3.55	c (3,3) translated 488 (40%) constraints
8.41/3.56	c (3,3) translated 609 (50%) constraints
8.41/3.57	c (3,3) translated 731 (60%) constraints
8.41/3.58	c (3,3) translated 853 (70%) constraints
8.41/3.58	c (3,3) translated 975 (80%) constraints
8.41/3.59	c (3,3) translated 1097 (90%) constraints
9.67/3.96	c (3,3) translated 1218 (100%) constraints
9.67/3.99	c (3,3) ===========================================
10.88/4.35	c (3,3) Hybrid: #OE=1459, #LE=732
10.88/4.35	c (3,3) Hybrid
10.88/4.35	c (3,3) ===========================================
10.88/4.35	c (3,3) translated 3257 (10%) constraints
10.88/4.37	c (3,3) translated 6514 (20%) constraints
11.10/4.49	c (3,3) translated 9771 (30%) constraints
11.37/4.59	c (4,4) translated 13028 (40%) constraints
11.50/4.68	c (4,4) translated 16285 (50%) constraints
11.60/4.77	c (4,4) translated 19542 (60%) constraints
11.69/4.87	c (4,4) translated 22799 (70%) constraints
11.80/4.96	c (4,4) translated 26056 (80%) constraints
11.90/5.06	c (4,4) translated 29313 (90%) constraints
16.42/8.09	c (7,7) translated 32569 (100%) constraints
16.42/8.09	c (7,7) CSP to CSPinCNF End
16.73/8.11	c (7,7) CSP: 1462 int (1 aux), 60507 bool (60507 aux), 153344 ctr, max domain size 244
16.73/8.11	c (7,7) Heap : 2422 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
16.73/8.11	c (7,7) CSPinCNF Propagation Begin
20.46/10.78	c (10,10) 0 values, 486 unsatisfiable literals, and 972 valid clauses are removed
20.46/10.78	c (10,10) CSPinCNF Propagation End
20.46/10.79	c (10,10) CSP: 1462 int (1 aux), 60507 bool (60507 aux), 152372 ctr, max domain size 244
20.46/10.79	c (10,10) Heap : 2037 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
20.65/10.89	c (10,10) Hybrid: #OE=61237, #LE=732
20.65/10.89	c (10,10) Simplify CSPinCNF Begin
22.49/11.93	c (11,11) Simplify CSPinCNF End
22.49/11.96	c (11,11) CSP: 1462 int (1 aux), 119556 bool (119556 aux), 211421 ctr, max domain size 244
22.49/11.96	c (11,11) Heap : 2692 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
22.49/11.96	c (11,11) Calculate Precise Domain Begin
22.49/11.96	c (11,11) 0 values are removed by re-calculation
22.49/11.96	c (11,11) Calculate Precise Domain End
22.49/11.99	c (11,11) CSP: 1462 int (1 aux), 119556 bool (119556 aux), 211421 ctr, max domain size 244
22.49/11.99	c (11,11) Heap : 2692 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
22.49/11.99	c (11,11) CSPinCNF to SatSolver Begin
43.13/27.63	c (27,25) 21143 (10 %) CSP clauses are encoded (0 SAT variables, 3491936 SAT clauses)
58.02/41.59	c (41,39) 42285 (20 %) CSP clauses are encoded (0 SAT variables, 6924068 SAT clauses)
71.66/55.14	c (54,52) 63427 (30 %) CSP clauses are encoded (0 SAT variables, 10356200 SAT clauses)
85.25/68.96	c (68,66) 84569 (40 %) CSP clauses are encoded (0 SAT variables, 13788090 SAT clauses)
87.86/71.50	c (70,68) 105711 (50 %) CSP clauses are encoded (0 SAT variables, 14396808 SAT clauses)
88.06/71.71	c (71,68) 126853 (60 %) CSP clauses are encoded (0 SAT variables, 14417950 SAT clauses)
88.27/71.92	c (71,69) 147995 (70 %) CSP clauses are encoded (0 SAT variables, 14439092 SAT clauses)
88.48/72.13	c (71,69) 169137 (80 %) CSP clauses are encoded (0 SAT variables, 14460234 SAT clauses)
88.67/72.34	c (71,69) 190279 (90 %) CSP clauses are encoded (0 SAT variables, 14481376 SAT clauses)
94.27/74.92	c (74,72) 211421 (100 %) CSP clauses are encoded (0 SAT variables, 15274053 SAT clauses)
94.27/74.92	c (74,72) CSPinCNF to SatSolver End
94.27/74.92	c (74,72) Heap : 1223 MiB used (max 10966 MiB), NonHeap : 33 MiB used (max 0 MiB)
94.27/74.92	c (74,72) 360422 bool, 15274295 clause
94.27/74.92	c (74,72) Export Begin
94.46/75.09	c (74,72) Export to HOME/scop-6052-serial-file.bin
94.46/75.09	c (74,72) Export End
94.46/75.10	c (74,72) Export File Size: 0.25 MB
94.46/75.10	c (74,72) 0,0,7,10,11,11,74,STOP-AFTER(DIMACS)
94.46/75.10	c END-Prog: Thu Sep 12 14:11:35 CEST 2019
94.74/75.13	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-6052-serial-file.bin
94.77/75.59	c (0,0) Read Serial File Begin
94.77/75.59	c (0,0) HOME/scop-6052-serial-file.bin
94.77/75.88	c (0,0) Read Serial File End
94.77/75.90	
94.77/75.90	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
94.77/75.90	(Solving Process)
94.77/75.90	
94.77/75.92	c BEGIN-Prog: Thu Sep 12 14:11:36 CEST 2019
94.77/75.92	c PID: 6156
94.77/75.92	c IP: 172.20.3.139
94.77/75.92	c HOST: node139.alineos.net
94.77/75.93	c (0,0) SatSolver.solve Begin
94.77/75.93	c (0,0) HOME/cryptominisat5  HOME/instance-4387774-1568290119.xml-scop-6055.cnf
94.77/75.95	c (0,0) c Outputting solution to console
94.77/75.95	c (0,0) c CryptoMiniSat version 5.6.8
94.77/75.95	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
94.77/75.95	c (0,0) c CMS SHA revision GIT-notfound
94.77/75.95	c (0,0) c CMS is MIT licensed
94.77/75.95	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
94.77/75.95	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
94.77/75.95	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387774-1568290119.xml-scop-6055.cnf
94.77/75.95	c (0,0) c Reading file 'HOME/instance-4387774-1568290119.xml-scop-6055.cnf'
94.77/75.95	c (0,0) c -- header says num vars:         360422
94.77/75.95	c (0,0) c -- header says num clauses:    15274295
101.90/81.62	c (6,0) c -- clauses added: 15274295
101.90/81.62	c (6,0) c -- xor clauses added: 0
101.90/81.62	c (6,0) c -- vars added 360422
101.90/81.62	c (6,0) c Parsing time: 5.18 s
104.19/83.95	c (8,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
104.41/84.16	c (8,0) c [distill] long cls tried: 5/3 cl-short:5 lit-r:6 T: 0.19 T-out: N T-r: 98.92%
124.01/103.73	c (28,0) c [distill] long cls tried: 34/34 cl-short:34 lit-r:24 T: 0.38 T-out: N T-r: 97.61%
134.52/114.28	c (38,0) c ------- FINAL TOTAL SEARCH STATS ---------
134.52/114.28	c (38,0) c UIP search time          : 32.09       (86.09     % time)
134.52/114.28	c (38,0) c restarts                 : 43          (116.30    confls per restart)
134.52/114.28	c (38,0) c blocked restarts         : 0           (0.00      per normal restart)
134.52/114.28	c (38,0) c time                     : 32.09       
134.52/114.28	c (38,0) c decisions                : 118339      (0.00      % random)
134.52/114.28	c (38,0) c propagations             : 39410484    
134.52/114.28	c (38,0) c decisions/conflicts      : 23.66       
134.52/114.28	c (38,0) c conflicts                : 5001        (155.84    / sec)
134.52/114.28	c (38,0) c conf lits non-minim      : 192542      (38.50     lit/confl)
134.52/114.28	c (38,0) c conf lits final          : 33.72       
134.52/114.28	c (38,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
134.52/114.28	c (38,0) c red which0               : 50          (1.00      % of confl)
134.52/114.28	c (38,0) c props/decision           : 0.00        
134.52/114.28	c (38,0) c props/conflict           : 0.00        
134.52/114.28	c (38,0) c 0-depth assigns          : 416         (0.12      % vars)
134.52/114.28	c (38,0) c 0-depth assigns by CNF   : 9           (0.00      % vars)
134.52/114.28	c (38,0) c reduceDB time            : 0.00        (0.00      % time)
134.52/114.28	c (38,0) c OccSimplifier time       : 0.00        (0.00      % time)
134.52/114.28	c (38,0) c [occur] 0.00 is overhead
134.52/114.28	c (38,0) c [occur] link-in T: 0.00 cleanup T: 0.00
134.52/114.28	c (38,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
134.52/114.29	c (38,0) c SCC time                 : 0.00        (0.00      % time)
134.52/114.29	c (38,0) c [scc] new: 0 BP 0M  T: 0.00
134.52/114.29	c (38,0) c vrep replace time        : 0.00        (0.00      % time)
134.52/114.29	c (38,0) c vrep tree roots          : 0           
134.52/114.29	c (38,0) c vrep trees' crown        : 0           (0.00      leafs/tree)
134.52/114.29	c (38,0) c distill time             : 0.58        (1.55      % time)
134.52/114.29	c (38,0) c strength cache-irred time: 0.00        (0.00      % time)
134.52/114.29	c (38,0) c strength cache-red time  : 0.00        (0.00      % time)
134.52/114.29	c (38,0) c Conflicts in UIP         : 5001        (134.16    confl/time_this_thread)
134.52/114.29	c (38,0) c Mem used                 : 1576.78     MB
134.52/114.29	c (38,0) c Total time (this thread) : 37.28       
134.52/114.29	c (38,0) s SATISFIABLE
136.00/114.88	c (39,0) SatSolver.solve End
136.00/114.88	c (39,0) Heap : 286 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
136.00/114.88	c (39,0) Show results Begin
136.40/115.09	c (39,0) bi[0][0] = 0
136.40/115.09	c (39,0) bi[0][1] = 0
136.40/115.09	c (39,0) bi[0][2] = 0
136.40/115.09	c (39,0) bi[0][3] = 0
136.40/115.09	c (39,0) bi[0][4] = 0
136.40/115.09	c (39,0) bi[1][0] = 0
136.40/115.09	c (39,0) bi[1][1] = 0
136.40/115.09	c (39,0) bi[1][2] = 0
136.40/115.09	c (39,0) bi[1][3] = 0
136.40/115.09	c (39,0) bi[1][4] = 2
136.40/115.09	c (39,0) bi[2][0] = 0
136.40/115.09	c (39,0) bi[2][1] = 0
136.40/115.09	c (39,0) bi[2][2] = 0
136.40/115.09	c (39,0) bi[2][3] = 2
136.40/115.09	c (39,0) bi[2][4] = 0
136.40/115.09	c (39,0) bi[3][0] = 0
136.40/115.09	c (39,0) bi[3][1] = 0
136.40/115.09	c (39,0) bi[3][2] = 2
136.40/115.09	c (39,0) bi[3][3] = 0
136.40/115.09	c (39,0) bi[3][4] = 1
136.40/115.09	c (39,0) bi[4][0] = 0
136.40/115.09	c (39,0) bi[4][1] = 2
136.40/115.09	c (39,0) bi[4][2] = 0
136.40/115.09	c (39,0) bi[4][3] = 1
136.40/115.09	c (39,0) bi[4][4] = 0
136.40/115.09	c (39,0) bi[5][0] = 2
136.40/115.09	c (39,0) bi[5][1] = 0
136.40/115.09	c (39,0) bi[5][2] = 1
136.40/115.09	c (39,0) bi[5][3] = 0
136.40/115.09	c (39,0) bi[5][4] = 1
136.40/115.09	c (39,0) bi[6][0] = 0
136.40/115.09	c (39,0) bi[6][1] = 1
136.40/115.09	c (39,0) bi[6][2] = 0
136.40/115.09	c (39,0) bi[6][3] = 1
136.40/115.09	c (39,0) bi[6][4] = 1
136.40/115.09	c (39,0) bi[7][0] = 1
136.40/115.09	c (39,0) bi[7][1] = 0
136.40/115.09	c (39,0) bi[7][2] = 1
136.40/115.09	c (39,0) bi[7][3] = 1
136.40/115.09	c (39,0) bi[7][4] = 2
136.40/115.09	c (39,0) bi[8][0] = 0
136.40/115.09	c (39,0) bi[8][1] = 1
136.40/115.09	c (39,0) bi[8][2] = 1
136.40/115.09	c (39,0) bi[8][3] = 2
136.40/115.09	c (39,0) bi[8][4] = 1
136.40/115.09	c (39,0) bi[9][0] = 1
136.40/115.09	c (39,0) bi[9][1] = 1
136.40/115.09	c (39,0) bi[9][2] = 2
136.40/115.09	c (39,0) bi[9][3] = 1
136.40/115.09	c (39,0) bi[9][4] = 1
136.40/115.09	c (39,0) bi[10][0] = 1
136.40/115.09	c (39,0) bi[10][1] = 2
136.40/115.09	c (39,0) bi[10][2] = 1
136.40/115.09	c (39,0) bi[10][3] = 1
136.40/115.09	c (39,0) bi[10][4] = 0
136.40/115.09	c (39,0) bi[11][0] = 2
136.40/115.09	c (39,0) bi[11][1] = 1
136.40/115.09	c (39,0) bi[11][2] = 1
136.40/115.09	c (39,0) bi[11][3] = 0
136.40/115.09	c (39,0) bi[11][4] = 0
136.40/115.09	c (39,0) bi[12][0] = 1
136.40/115.09	c (39,0) bi[12][1] = 1
136.40/115.09	c (39,0) bi[12][2] = 0
136.40/115.09	c (39,0) bi[12][3] = 0
136.40/115.09	c (39,0) bi[12][4] = 1
136.40/115.10	c (39,0) bi[13][0] = 1
136.40/115.10	c (39,0) bi[13][1] = 0
136.40/115.10	c (39,0) bi[13][2] = 0
136.40/115.10	c (39,0) bi[13][3] = 1
136.40/115.10	c (39,0) bi[13][4] = 2
136.40/115.10	c (39,0) bi[14][0] = 0
136.40/115.10	c (39,0) bi[14][1] = 0
136.40/115.10	c (39,0) bi[14][2] = 1
136.40/115.10	c (39,0) bi[14][3] = 2
136.40/115.10	c (39,0) bi[14][4] = 2
136.40/115.10	c (39,0) bi[15][0] = 0
136.40/115.10	c (39,0) bi[15][1] = 1
136.40/115.10	c (39,0) bi[15][2] = 2
136.40/115.10	c (39,0) bi[15][3] = 2
136.40/115.10	c (39,0) bi[15][4] = 1
136.40/115.10	c (39,0) bi[16][0] = 1
136.40/115.10	c (39,0) bi[16][1] = 2
136.40/115.10	c (39,0) bi[16][2] = 2
136.40/115.10	c (39,0) bi[16][3] = 1
136.40/115.10	c (39,0) bi[16][4] = 1
136.40/115.10	c (39,0) bi[17][0] = 2
136.40/115.10	c (39,0) bi[17][1] = 2
136.40/115.10	c (39,0) bi[17][2] = 1
136.40/115.10	c (39,0) bi[17][3] = 1
136.40/115.10	c (39,0) bi[17][4] = 2
136.40/115.10	c (39,0) bi[18][0] = 2
136.40/115.10	c (39,0) bi[18][1] = 1
136.40/115.10	c (39,0) bi[18][2] = 1
136.40/115.10	c (39,0) bi[18][3] = 2
136.40/115.10	c (39,0) bi[18][4] = 1
136.40/115.10	c (39,0) bi[19][0] = 1
136.40/115.10	c (39,0) bi[19][1] = 1
136.40/115.10	c (39,0) bi[19][2] = 2
136.40/115.10	c (39,0) bi[19][3] = 1
136.40/115.10	c (39,0) bi[19][4] = 0
136.40/115.10	c (39,0) bi[20][0] = 1
136.40/115.10	c (39,0) bi[20][1] = 2
136.40/115.10	c (39,0) bi[20][2] = 1
136.40/115.10	c (39,0) bi[20][3] = 0
136.40/115.10	c (39,0) bi[20][4] = 0
136.40/115.10	c (39,0) bi[21][0] = 2
136.40/115.10	c (39,0) bi[21][1] = 1
136.40/115.10	c (39,0) bi[21][2] = 0
136.40/115.10	c (39,0) bi[21][3] = 0
136.40/115.10	c (39,0) bi[21][4] = 1
136.40/115.10	c (39,0) bi[22][0] = 1
136.40/115.10	c (39,0) bi[22][1] = 0
136.40/115.10	c (39,0) bi[22][2] = 0
136.40/115.10	c (39,0) bi[22][3] = 1
136.40/115.10	c (39,0) bi[22][4] = 1
136.40/115.10	c (39,0) bi[23][0] = 0
136.40/115.10	c (39,0) bi[23][1] = 0
136.40/115.10	c (39,0) bi[23][2] = 1
136.40/115.10	c (39,0) bi[23][3] = 1
136.40/115.10	c (39,0) bi[23][4] = 0
136.40/115.10	c (39,0) bi[24][0] = 0
136.40/115.10	c (39,0) bi[24][1] = 1
136.40/115.10	c (39,0) bi[24][2] = 1
136.40/115.10	c (39,0) bi[24][3] = 0
136.40/115.10	c (39,0) bi[24][4] = 0
136.40/115.10	c (39,0) bi[25][0] = 1
136.40/115.10	c (39,0) bi[25][1] = 1
136.40/115.10	c (39,0) bi[25][2] = 0
136.40/115.10	c (39,0) bi[25][3] = 0
136.40/115.10	c (39,0) bi[25][4] = 0
136.40/115.10	c (39,0) bi[26][0] = 1
136.40/115.10	c (39,0) bi[26][1] = 0
136.40/115.10	c (39,0) bi[26][2] = 0
136.40/115.10	c (39,0) bi[26][3] = 0
136.40/115.10	c (39,0) bi[26][4] = 0
136.40/115.10	c (39,0) bi[27][0] = 0
136.40/115.10	c (39,0) bi[27][1] = 0
136.40/115.10	c (39,0) bi[27][2] = 0
136.40/115.10	c (39,0) bi[27][3] = 0
136.40/115.10	c (39,0) bi[27][4] = 1
136.40/115.10	c (39,0) bi[28][0] = 0
136.40/115.10	c (39,0) bi[28][1] = 0
136.40/115.10	c (39,0) bi[28][2] = 0
136.40/115.10	c (39,0) bi[28][3] = 1
136.40/115.10	c (39,0) bi[28][4] = 0
136.40/115.10	c (39,0) bi[29][0] = 0
136.40/115.10	c (39,0) bi[29][1] = 0
136.40/115.10	c (39,0) bi[29][2] = 1
136.40/115.10	c (39,0) bi[29][3] = 0
136.40/115.10	c (39,0) bi[29][4] = 0
136.40/115.10	c (39,0) bi[30][0] = 0
136.40/115.10	c (39,0) bi[30][1] = 1
136.40/115.10	c (39,0) bi[30][2] = 0
136.40/115.10	c (39,0) bi[30][3] = 0
136.40/115.10	c (39,0) bi[30][4] = 0
136.40/115.10	c (39,0) bi[31][0] = 1
136.40/115.10	c (39,0) bi[31][1] = 0
136.40/115.10	c (39,0) bi[31][2] = 0
136.40/115.10	c (39,0) bi[31][3] = 0
136.40/115.10	c (39,0) bi[31][4] = 1
136.40/115.10	c (39,0) bi[32][0] = 0
136.40/115.10	c (39,0) bi[32][1] = 0
136.40/115.10	c (39,0) bi[32][2] = 0
136.40/115.10	c (39,0) bi[32][3] = 1
136.40/115.10	c (39,0) bi[32][4] = 1
136.40/115.10	c (39,0) bi[33][0] = 0
136.40/115.10	c (39,0) bi[33][1] = 0
136.40/115.10	c (39,0) bi[33][2] = 1
136.40/115.10	c (39,0) bi[33][3] = 1
136.40/115.10	c (39,0) bi[33][4] = 2
136.40/115.10	c (39,0) bi[34][0] = 0
136.40/115.10	c (39,0) bi[34][1] = 1
136.40/115.10	c (39,0) bi[34][2] = 1
136.40/115.10	c (39,0) bi[34][3] = 2
136.40/115.10	c (39,0) bi[34][4] = 0
136.40/115.10	c (39,0) bi[35][0] = 1
136.40/115.10	c (39,0) bi[35][1] = 1
136.40/115.10	c (39,0) bi[35][2] = 2
136.40/115.10	c (39,0) bi[35][3] = 0
136.40/115.10	c (39,0) bi[35][4] = 1
136.40/115.10	c (39,0) bi[36][0] = 1
136.40/115.10	c (39,0) bi[36][1] = 2
136.40/115.10	c (39,0) bi[36][2] = 0
136.40/115.10	c (39,0) bi[36][3] = 1
136.40/115.10	c (39,0) bi[36][4] = 0
136.40/115.10	c (39,0) bi[37][0] = 2
136.40/115.10	c (39,0) bi[37][1] = 0
136.40/115.10	c (39,0) bi[37][2] = 1
136.40/115.10	c (39,0) bi[37][3] = 0
136.40/115.10	c (39,0) bi[37][4] = 2
136.40/115.10	c (39,0) bi[38][0] = 0
136.40/115.10	c (39,0) bi[38][1] = 1
136.40/115.10	c (39,0) bi[38][2] = 0
136.40/115.10	c (39,0) bi[38][3] = 2
136.40/115.10	c (39,0) bi[38][4] = 1
136.40/115.10	c (39,0) bi[39][0] = 1
136.40/115.10	c (39,0) bi[39][1] = 0
136.40/115.10	c (39,0) bi[39][2] = 2
136.40/115.10	c (39,0) bi[39][3] = 1
136.40/115.10	c (39,0) bi[39][4] = 0
136.40/115.10	c (39,0) bi[40][0] = 0
136.40/115.10	c (39,0) bi[40][1] = 2
136.40/115.10	c (39,0) bi[40][2] = 1
136.40/115.10	c (39,0) bi[40][3] = 0
136.40/115.10	c (39,0) bi[40][4] = 2
136.40/115.10	c (39,0) bi[41][0] = 2
136.40/115.10	c (39,0) bi[41][1] = 1
136.40/115.10	c (39,0) bi[41][2] = 0
136.40/115.10	c (39,0) bi[41][3] = 2
136.40/115.10	c (39,0) bi[41][4] = 2
136.40/115.10	c (39,0) bi[42][0] = 1
136.40/115.10	c (39,0) bi[42][1] = 0
136.40/115.10	c (39,0) bi[42][2] = 2
136.40/115.10	c (39,0) bi[42][3] = 2
136.40/115.10	c (39,0) bi[42][4] = 2
136.40/115.10	c (39,0) bi[43][0] = 0
136.40/115.10	c (39,0) bi[43][1] = 2
136.40/115.10	c (39,0) bi[43][2] = 2
136.40/115.10	c (39,0) bi[43][3] = 2
136.40/115.10	c (39,0) bi[43][4] = 2
136.40/115.10	c (39,0) bi[44][0] = 2
136.40/115.10	c (39,0) bi[44][1] = 2
136.40/115.10	c (39,0) bi[44][2] = 2
136.40/115.10	c (39,0) bi[44][3] = 2
136.40/115.10	c (39,0) bi[44][4] = 0
136.40/115.10	c (39,0) bi[45][0] = 2
136.40/115.10	c (39,0) bi[45][1] = 2
136.40/115.10	c (39,0) bi[45][2] = 2
136.40/115.10	c (39,0) bi[45][3] = 0
136.40/115.10	c (39,0) bi[45][4] = 1
136.40/115.10	c (39,0) bi[46][0] = 2
136.40/115.10	c (39,0) bi[46][1] = 2
136.40/115.10	c (39,0) bi[46][2] = 0
136.40/115.10	c (39,0) bi[46][3] = 1
136.40/115.10	c (39,0) bi[46][4] = 1
136.40/115.10	c (39,0) bi[47][0] = 2
136.40/115.10	c (39,0) bi[47][1] = 0
136.40/115.10	c (39,0) bi[47][2] = 1
136.40/115.10	c (39,0) bi[47][3] = 1
136.40/115.10	c (39,0) bi[47][4] = 0
136.40/115.10	c (39,0) bi[48][0] = 0
136.40/115.10	c (39,0) bi[48][1] = 1
136.40/115.10	c (39,0) bi[48][2] = 1
136.40/115.10	c (39,0) bi[48][3] = 0
136.40/115.10	c (39,0) bi[48][4] = 1
136.40/115.10	c (39,0) bi[49][0] = 1
136.40/115.10	c (39,0) bi[49][1] = 1
136.40/115.10	c (39,0) bi[49][2] = 0
136.40/115.10	c (39,0) bi[49][3] = 1
136.40/115.10	c (39,0) bi[49][4] = 1
136.40/115.10	c (39,0) bi[50][0] = 1
136.40/115.10	c (39,0) bi[50][1] = 0
136.40/115.10	c (39,0) bi[50][2] = 1
136.40/115.10	c (39,0) bi[50][3] = 1
136.40/115.10	c (39,0) bi[50][4] = 1
136.40/115.10	c (39,0) bi[51][0] = 0
136.40/115.10	c (39,0) bi[51][1] = 1
136.40/115.10	c (39,0) bi[51][2] = 1
136.40/115.10	c (39,0) bi[51][3] = 1
136.40/115.10	c (39,0) bi[51][4] = 2
136.40/115.10	c (39,0) bi[52][0] = 1
136.40/115.10	c (39,0) bi[52][1] = 1
136.40/115.10	c (39,0) bi[52][2] = 1
136.40/115.10	c (39,0) bi[52][3] = 2
136.40/115.10	c (39,0) bi[52][4] = 1
136.40/115.10	c (39,0) bi[53][0] = 1
136.40/115.10	c (39,0) bi[53][1] = 1
136.40/115.10	c (39,0) bi[53][2] = 2
136.40/115.10	c (39,0) bi[53][3] = 1
136.40/115.10	c (39,0) bi[53][4] = 2
136.40/115.10	c (39,0) bi[54][0] = 1
136.40/115.10	c (39,0) bi[54][1] = 2
136.40/115.10	c (39,0) bi[54][2] = 1
136.40/115.10	c (39,0) bi[54][3] = 2
136.40/115.10	c (39,0) bi[54][4] = 0
136.40/115.10	c (39,0) bi[55][0] = 2
136.40/115.10	c (39,0) bi[55][1] = 1
136.40/115.10	c (39,0) bi[55][2] = 2
136.40/115.10	c (39,0) bi[55][3] = 0
136.40/115.10	c (39,0) bi[55][4] = 0
136.40/115.10	c (39,0) bi[56][0] = 1
136.40/115.10	c (39,0) bi[56][1] = 2
136.40/115.10	c (39,0) bi[56][2] = 0
136.40/115.10	c (39,0) bi[56][3] = 0
136.40/115.10	c (39,0) bi[56][4] = 2
136.40/115.10	c (39,0) bi[57][0] = 2
136.40/115.10	c (39,0) bi[57][1] = 0
136.40/115.10	c (39,0) bi[57][2] = 0
136.40/115.10	c (39,0) bi[57][3] = 2
136.40/115.10	c (39,0) bi[57][4] = 2
136.40/115.10	c (39,0) bi[58][0] = 0
136.40/115.10	c (39,0) bi[58][1] = 0
136.40/115.10	c (39,0) bi[58][2] = 2
136.40/115.10	c (39,0) bi[58][3] = 2
136.40/115.10	c (39,0) bi[58][4] = 1
136.40/115.10	c (39,0) bi[59][0] = 0
136.40/115.10	c (39,0) bi[59][1] = 2
136.40/115.10	c (39,0) bi[59][2] = 2
136.40/115.10	c (39,0) bi[59][3] = 1
136.40/115.10	c (39,0) bi[59][4] = 1
136.40/115.10	c (39,0) bi[60][0] = 2
136.40/115.10	c (39,0) bi[60][1] = 2
136.40/115.10	c (39,0) bi[60][2] = 1
136.40/115.10	c (39,0) bi[60][3] = 1
136.40/115.10	c (39,0) bi[60][4] = 1
136.40/115.10	c (39,0) bi[61][0] = 2
136.40/115.10	c (39,0) bi[61][1] = 1
136.40/115.10	c (39,0) bi[61][2] = 1
136.40/115.10	c (39,0) bi[61][3] = 1
136.40/115.10	c (39,0) bi[61][4] = 1
136.40/115.10	c (39,0) bi[62][0] = 1
136.40/115.10	c (39,0) bi[62][1] = 1
136.40/115.10	c (39,0) bi[62][2] = 1
136.40/115.10	c (39,0) bi[62][3] = 1
136.40/115.10	c (39,0) bi[62][4] = 1
136.40/115.10	c (39,0) bi[63][0] = 1
136.40/115.10	c (39,0) bi[63][1] = 1
136.40/115.10	c (39,0) bi[63][2] = 1
136.40/115.10	c (39,0) bi[63][3] = 1
136.40/115.10	c (39,0) bi[63][4] = 2
136.40/115.10	c (39,0) bi[64][0] = 1
136.40/115.10	c (39,0) bi[64][1] = 1
136.40/115.10	c (39,0) bi[64][2] = 1
136.40/115.10	c (39,0) bi[64][3] = 2
136.40/115.10	c (39,0) bi[64][4] = 2
136.40/115.10	c (39,0) bi[65][0] = 1
136.40/115.10	c (39,0) bi[65][1] = 1
136.40/115.10	c (39,0) bi[65][2] = 2
136.40/115.10	c (39,0) bi[65][3] = 2
136.40/115.10	c (39,0) bi[65][4] = 0
136.40/115.10	c (39,0) bi[66][0] = 1
136.40/115.10	c (39,0) bi[66][1] = 2
136.40/115.10	c (39,0) bi[66][2] = 2
136.40/115.10	c (39,0) bi[66][3] = 0
136.40/115.10	c (39,0) bi[66][4] = 2
136.40/115.10	c (39,0) bi[67][0] = 2
136.40/115.10	c (39,0) bi[67][1] = 2
136.40/115.10	c (39,0) bi[67][2] = 0
136.40/115.10	c (39,0) bi[67][3] = 2
136.40/115.10	c (39,0) bi[67][4] = 0
136.40/115.10	c (39,0) bi[68][0] = 2
136.40/115.10	c (39,0) bi[68][1] = 0
136.40/115.10	c (39,0) bi[68][2] = 2
136.40/115.10	c (39,0) bi[68][3] = 0
136.40/115.10	c (39,0) bi[68][4] = 2
136.40/115.10	c (39,0) bi[69][0] = 0
136.40/115.10	c (39,0) bi[69][1] = 2
136.40/115.10	c (39,0) bi[69][2] = 0
136.40/115.10	c (39,0) bi[69][3] = 2
136.40/115.10	c (39,0) bi[69][4] = 0
136.40/115.10	c (39,0) bi[70][0] = 2
136.40/115.10	c (39,0) bi[70][1] = 0
136.40/115.10	c (39,0) bi[70][2] = 2
136.40/115.10	c (39,0) bi[70][3] = 0
136.40/115.10	c (39,0) bi[70][4] = 0
136.40/115.10	c (39,0) bi[71][0] = 0
136.40/115.10	c (39,0) bi[71][1] = 2
136.40/115.10	c (39,0) bi[71][2] = 0
136.40/115.10	c (39,0) bi[71][3] = 0
136.40/115.10	c (39,0) bi[71][4] = 2
136.40/115.10	c (39,0) bi[72][0] = 2
136.40/115.10	c (39,0) bi[72][1] = 0
136.40/115.10	c (39,0) bi[72][2] = 0
136.40/115.10	c (39,0) bi[72][3] = 2
136.40/115.10	c (39,0) bi[72][4] = 1
136.40/115.10	c (39,0) bi[73][0] = 0
136.40/115.10	c (39,0) bi[73][1] = 0
136.40/115.10	c (39,0) bi[73][2] = 2
136.40/115.10	c (39,0) bi[73][3] = 1
136.40/115.10	c (39,0) bi[73][4] = 1
136.40/115.10	c (39,0) bi[74][0] = 0
136.40/115.10	c (39,0) bi[74][1] = 2
136.40/115.10	c (39,0) bi[74][2] = 1
136.40/115.10	c (39,0) bi[74][3] = 1
136.40/115.10	c (39,0) bi[74][4] = 2
136.40/115.10	c (39,0) bi[75][0] = 2
136.40/115.10	c (39,0) bi[75][1] = 1
136.40/115.10	c (39,0) bi[75][2] = 1
136.40/115.10	c (39,0) bi[75][3] = 2
136.40/115.10	c (39,0) bi[75][4] = 0
136.40/115.10	c (39,0) bi[76][0] = 1
136.40/115.10	c (39,0) bi[76][1] = 1
136.40/115.10	c (39,0) bi[76][2] = 2
136.40/115.10	c (39,0) bi[76][3] = 0
136.40/115.10	c (39,0) bi[76][4] = 2
136.40/115.10	c (39,0) bi[77][0] = 1
136.40/115.10	c (39,0) bi[77][1] = 2
136.40/115.10	c (39,0) bi[77][2] = 0
136.40/115.10	c (39,0) bi[77][3] = 2
136.40/115.10	c (39,0) bi[77][4] = 2
136.40/115.10	c (39,0) bi[78][0] = 2
136.40/115.11	c (39,0) bi[78][1] = 0
136.40/115.11	c (39,0) bi[78][2] = 2
136.40/115.11	c (39,0) bi[78][3] = 2
136.40/115.11	c (39,0) bi[78][4] = 0
136.40/115.11	c (39,0) bi[79][0] = 0
136.40/115.11	c (39,0) bi[79][1] = 2
136.40/115.11	c (39,0) bi[79][2] = 2
136.40/115.11	c (39,0) bi[79][3] = 0
136.40/115.11	c (39,0) bi[79][4] = 1
136.40/115.11	c (39,0) bi[80][0] = 2
136.40/115.11	c (39,0) bi[80][1] = 2
136.40/115.11	c (39,0) bi[80][2] = 0
136.40/115.11	c (39,0) bi[80][3] = 1
136.40/115.11	c (39,0) bi[80][4] = 0
136.40/115.11	c (39,0) bi[81][0] = 2
136.40/115.11	c (39,0) bi[81][1] = 0
136.40/115.11	c (39,0) bi[81][2] = 1
136.40/115.11	c (39,0) bi[81][3] = 0
136.40/115.11	c (39,0) bi[81][4] = 0
136.40/115.11	c (39,0) bi[82][0] = 0
136.40/115.11	c (39,0) bi[82][1] = 1
136.40/115.11	c (39,0) bi[82][2] = 0
136.40/115.11	c (39,0) bi[82][3] = 0
136.40/115.11	c (39,0) bi[82][4] = 1
136.40/115.11	c (39,0) bi[83][0] = 1
136.40/115.11	c (39,0) bi[83][1] = 0
136.40/115.11	c (39,0) bi[83][2] = 0
136.40/115.11	c (39,0) bi[83][3] = 1
136.40/115.11	c (39,0) bi[83][4] = 0
136.40/115.11	c (39,0) bi[84][0] = 0
136.40/115.11	c (39,0) bi[84][1] = 0
136.40/115.11	c (39,0) bi[84][2] = 1
136.40/115.11	c (39,0) bi[84][3] = 0
136.40/115.11	c (39,0) bi[84][4] = 1
136.40/115.11	c (39,0) bi[85][0] = 0
136.40/115.11	c (39,0) bi[85][1] = 1
136.40/115.11	c (39,0) bi[85][2] = 0
136.40/115.11	c (39,0) bi[85][3] = 1
136.40/115.11	c (39,0) bi[85][4] = 0
136.40/115.11	c (39,0) bi[86][0] = 1
136.40/115.11	c (39,0) bi[86][1] = 0
136.40/115.11	c (39,0) bi[86][2] = 1
136.40/115.11	c (39,0) bi[86][3] = 0
136.40/115.11	c (39,0) bi[86][4] = 1
136.40/115.11	c (39,0) bi[87][0] = 0
136.40/115.11	c (39,0) bi[87][1] = 1
136.40/115.11	c (39,0) bi[87][2] = 0
136.40/115.11	c (39,0) bi[87][3] = 1
136.40/115.11	c (39,0) bi[87][4] = 2
136.40/115.11	c (39,0) bi[88][0] = 1
136.40/115.11	c (39,0) bi[88][1] = 0
136.74/115.11	c (39,0) bi[88][2] = 1
136.74/115.11	c (39,0) bi[88][3] = 2
136.74/115.11	c (39,0) bi[88][4] = 1
136.74/115.11	c (39,0) bi[89][0] = 0
136.74/115.11	c (39,0) bi[89][1] = 1
136.74/115.11	c (39,0) bi[89][2] = 2
136.74/115.11	c (39,0) bi[89][3] = 1
136.74/115.11	c (39,0) bi[89][4] = 2
136.74/115.11	c (39,0) bi[90][0] = 1
136.74/115.11	c (39,0) bi[90][1] = 2
136.74/115.11	c (39,0) bi[90][2] = 1
136.74/115.11	c (39,0) bi[90][3] = 2
136.74/115.11	c (39,0) bi[90][4] = 2
136.74/115.11	c (39,0) bi[91][0] = 2
136.74/115.11	c (39,0) bi[91][1] = 1
136.74/115.11	c (39,0) bi[91][2] = 2
136.74/115.11	c (39,0) bi[91][3] = 2
136.74/115.11	c (39,0) bi[91][4] = 2
136.74/115.11	c (39,0) bi[92][0] = 1
136.74/115.11	c (39,0) bi[92][1] = 2
136.74/115.11	c (39,0) bi[92][2] = 2
136.74/115.11	c (39,0) bi[92][3] = 2
136.74/115.11	c (39,0) bi[92][4] = 0
136.74/115.11	c (39,0) bi[93][0] = 2
136.74/115.11	c (39,0) bi[93][1] = 2
136.74/115.11	c (39,0) bi[93][2] = 2
136.74/115.11	c (39,0) bi[93][3] = 0
136.74/115.11	c (39,0) bi[93][4] = 2
136.74/115.11	c (39,0) bi[94][0] = 2
136.74/115.11	c (39,0) bi[94][1] = 2
136.74/115.11	c (39,0) bi[94][2] = 0
136.74/115.11	c (39,0) bi[94][3] = 2
136.74/115.11	c (39,0) bi[94][4] = 2
136.74/115.11	c (39,0) bi[95][0] = 2
136.74/115.11	c (39,0) bi[95][1] = 0
136.74/115.11	c (39,0) bi[95][2] = 2
136.74/115.11	c (39,0) bi[95][3] = 2
136.74/115.11	c (39,0) bi[95][4] = 2
136.74/115.11	c (39,0) bi[96][0] = 0
136.74/115.11	c (39,0) bi[96][1] = 2
136.74/115.11	c (39,0) bi[96][2] = 2
136.74/115.11	c (39,0) bi[96][3] = 2
136.74/115.11	c (39,0) bi[96][4] = 1
136.74/115.11	c (39,0) bi[97][0] = 2
136.74/115.11	c (39,0) bi[97][1] = 2
136.74/115.11	c (39,0) bi[97][2] = 2
136.74/115.11	c (39,0) bi[97][3] = 1
136.74/115.11	c (39,0) bi[97][4] = 1
136.74/115.11	c (39,0) bi[98][0] = 2
136.74/115.11	c (39,0) bi[98][1] = 2
136.74/115.11	c (39,0) bi[98][2] = 1
136.74/115.11	c (39,0) bi[98][3] = 1
136.74/115.11	c (39,0) bi[98][4] = 0
136.74/115.11	c (39,0) bi[99][0] = 2
136.74/115.11	c (39,0) bi[99][1] = 1
136.74/115.11	c (39,0) bi[99][2] = 1
136.74/115.11	c (39,0) bi[99][3] = 0
136.74/115.11	c (39,0) bi[99][4] = 1
136.74/115.11	c (39,0) bi[100][0] = 1
136.74/115.11	c (39,0) bi[100][1] = 1
136.74/115.11	c (39,0) bi[100][2] = 0
136.74/115.11	c (39,0) bi[100][3] = 1
136.74/115.11	c (39,0) bi[100][4] = 2
136.74/115.11	c (39,0) bi[101][0] = 1
136.74/115.11	c (39,0) bi[101][1] = 0
136.74/115.11	c (39,0) bi[101][2] = 1
136.74/115.11	c (39,0) bi[101][3] = 2
136.74/115.11	c (39,0) bi[101][4] = 0
136.74/115.11	c (39,0) bi[102][0] = 0
136.74/115.11	c (39,0) bi[102][1] = 1
136.74/115.11	c (39,0) bi[102][2] = 2
136.74/115.11	c (39,0) bi[102][3] = 0
136.74/115.11	c (39,0) bi[102][4] = 2
136.74/115.11	c (39,0) bi[103][0] = 1
136.74/115.11	c (39,0) bi[103][1] = 2
136.74/115.11	c (39,0) bi[103][2] = 0
136.74/115.11	c (39,0) bi[103][3] = 2
136.74/115.11	c (39,0) bi[103][4] = 1
136.74/115.11	c (39,0) bi[104][0] = 2
136.74/115.11	c (39,0) bi[104][1] = 0
136.74/115.11	c (39,0) bi[104][2] = 2
136.74/115.11	c (39,0) bi[104][3] = 1
136.74/115.11	c (39,0) bi[104][4] = 1
136.74/115.11	c (39,0) bi[105][0] = 0
136.74/115.11	c (39,0) bi[105][1] = 2
136.74/115.11	c (39,0) bi[105][2] = 1
136.74/115.11	c (39,0) bi[105][3] = 1
136.74/115.11	c (39,0) bi[105][4] = 0
136.74/115.11	c (39,0) bi[106][0] = 2
136.74/115.11	c (39,0) bi[106][1] = 1
136.74/115.11	c (39,0) bi[106][2] = 1
136.74/115.11	c (39,0) bi[106][3] = 0
136.74/115.11	c (39,0) bi[106][4] = 2
136.74/115.11	c (39,0) bi[107][0] = 1
136.74/115.11	c (39,0) bi[107][1] = 1
136.74/115.11	c (39,0) bi[107][2] = 0
136.74/115.11	c (39,0) bi[107][3] = 2
136.74/115.11	c (39,0) bi[107][4] = 2
136.74/115.11	c (39,0) bi[108][0] = 1
136.74/115.11	c (39,0) bi[108][1] = 0
136.74/115.11	c (39,0) bi[108][2] = 2
136.74/115.11	c (39,0) bi[108][3] = 2
136.74/115.11	c (39,0) bi[108][4] = 0
136.74/115.11	c (39,0) bi[109][0] = 0
136.74/115.11	c (39,0) bi[109][1] = 2
136.74/115.11	c (39,0) bi[109][2] = 2
136.74/115.11	c (39,0) bi[109][3] = 0
136.74/115.11	c (39,0) bi[109][4] = 0
136.74/115.11	c (39,0) bi[110][0] = 2
136.74/115.11	c (39,0) bi[110][1] = 2
136.74/115.11	c (39,0) bi[110][2] = 0
136.74/115.11	c (39,0) bi[110][3] = 0
136.74/115.11	c (39,0) bi[110][4] = 1
136.74/115.11	c (39,0) bi[111][0] = 2
136.74/115.11	c (39,0) bi[111][1] = 0
136.74/115.11	c (39,0) bi[111][2] = 0
136.74/115.11	c (39,0) bi[111][3] = 1
136.74/115.11	c (39,0) bi[111][4] = 2
136.74/115.11	c (39,0) bi[112][0] = 0
136.74/115.11	c (39,0) bi[112][1] = 0
136.74/115.11	c (39,0) bi[112][2] = 1
136.74/115.11	c (39,0) bi[112][3] = 2
136.74/115.11	c (39,0) bi[112][4] = 0
136.74/115.11	c (39,0) bi[113][0] = 0
136.74/115.11	c (39,0) bi[113][1] = 1
136.74/115.11	c (39,0) bi[113][2] = 2
136.74/115.11	c (39,0) bi[113][3] = 0
136.74/115.11	c (39,0) bi[113][4] = 0
136.74/115.11	c (39,0) bi[114][0] = 1
136.74/115.11	c (39,0) bi[114][1] = 2
136.74/115.11	c (39,0) bi[114][2] = 0
136.74/115.11	c (39,0) bi[114][3] = 0
136.74/115.11	c (39,0) bi[114][4] = 1
136.74/115.11	c (39,0) bi[115][0] = 2
136.74/115.11	c (39,0) bi[115][1] = 0
136.74/115.11	c (39,0) bi[115][2] = 0
136.74/115.11	c (39,0) bi[115][3] = 1
136.74/115.11	c (39,0) bi[115][4] = 1
136.74/115.11	c (39,0) bi[116][0] = 0
136.74/115.11	c (39,0) bi[116][1] = 0
136.74/115.11	c (39,0) bi[116][2] = 1
136.74/115.11	c (39,0) bi[116][3] = 1
136.74/115.11	c (39,0) bi[116][4] = 1
136.74/115.11	c (39,0) bi[117][0] = 0
136.74/115.11	c (39,0) bi[117][1] = 1
136.74/115.11	c (39,0) bi[117][2] = 1
136.74/115.11	c (39,0) bi[117][3] = 1
136.74/115.11	c (39,0) bi[117][4] = 0
136.74/115.11	c (39,0) bi[118][0] = 1
136.74/115.11	c (39,0) bi[118][1] = 1
136.74/115.11	c (39,0) bi[118][2] = 1
136.74/115.11	c (39,0) bi[118][3] = 0
136.74/115.11	c (39,0) bi[118][4] = 0
136.74/115.11	c (39,0) bi[119][0] = 1
136.74/115.11	c (39,0) bi[119][1] = 1
136.74/115.11	c (39,0) bi[119][2] = 0
136.74/115.11	c (39,0) bi[119][3] = 0
136.74/115.11	c (39,0) bi[119][4] = 2
136.74/115.11	c (39,0) bi[120][0] = 1
136.74/115.11	c (39,0) bi[120][1] = 0
136.74/115.11	c (39,0) bi[120][2] = 0
136.74/115.11	c (39,0) bi[120][3] = 2
136.74/115.11	c (39,0) bi[120][4] = 1
136.74/115.11	c (39,0) bi[121][0] = 0
136.74/115.11	c (39,0) bi[121][1] = 0
136.74/115.11	c (39,0) bi[121][2] = 2
136.74/115.11	c (39,0) bi[121][3] = 1
136.74/115.11	c (39,0) bi[121][4] = 2
136.74/115.11	c (39,0) bi[122][0] = 0
136.74/115.11	c (39,0) bi[122][1] = 2
136.74/115.11	c (39,0) bi[122][2] = 1
136.74/115.11	c (39,0) bi[122][3] = 2
136.74/115.11	c (39,0) bi[122][4] = 0
136.74/115.11	c (39,0) bi[123][0] = 2
136.74/115.11	c (39,0) bi[123][1] = 1
136.74/115.11	c (39,0) bi[123][2] = 2
136.74/115.11	c (39,0) bi[123][3] = 0
136.74/115.11	c (39,0) bi[123][4] = 1
136.74/115.11	c (39,0) bi[124][0] = 1
136.74/115.11	c (39,0) bi[124][1] = 2
136.74/115.11	c (39,0) bi[124][2] = 0
136.74/115.11	c (39,0) bi[124][3] = 1
136.74/115.11	c (39,0) bi[124][4] = 1
136.74/115.11	c (39,0) bi[125][0] = 2
136.74/115.11	c (39,0) bi[125][1] = 0
136.74/115.11	c (39,0) bi[125][2] = 1
136.74/115.11	c (39,0) bi[125][3] = 1
136.74/115.11	c (39,0) bi[125][4] = 1
136.74/115.11	c (39,0) bi[126][0] = 0
136.74/115.11	c (39,0) bi[126][1] = 1
136.74/115.11	c (39,0) bi[126][2] = 1
136.74/115.11	c (39,0) bi[126][3] = 1
136.74/115.11	c (39,0) bi[126][4] = 1
136.74/115.11	c (39,0) bi[127][0] = 1
136.74/115.11	c (39,0) bi[127][1] = 1
136.74/115.11	c (39,0) bi[127][2] = 1
136.74/115.11	c (39,0) bi[127][3] = 1
136.74/115.11	c (39,0) bi[127][4] = 0
136.74/115.11	c (39,0) bi[128][0] = 1
136.74/115.11	c (39,0) bi[128][1] = 1
136.74/115.11	c (39,0) bi[128][2] = 1
136.74/115.11	c (39,0) bi[128][3] = 0
136.74/115.11	c (39,0) bi[128][4] = 2
136.74/115.11	c (39,0) bi[129][0] = 1
136.74/115.11	c (39,0) bi[129][1] = 1
136.74/115.11	c (39,0) bi[129][2] = 0
136.74/115.11	c (39,0) bi[129][3] = 2
136.74/115.11	c (39,0) bi[129][4] = 0
136.74/115.11	c (39,0) bi[130][0] = 1
136.74/115.11	c (39,0) bi[130][1] = 0
136.74/115.11	c (39,0) bi[130][2] = 2
136.74/115.11	c (39,0) bi[130][3] = 0
136.74/115.11	c (39,0) bi[130][4] = 0
136.74/115.11	c (39,0) bi[131][0] = 0
136.74/115.11	c (39,0) bi[131][1] = 2
136.74/115.11	c (39,0) bi[131][2] = 0
136.74/115.11	c (39,0) bi[131][3] = 0
136.74/115.11	c (39,0) bi[131][4] = 1
136.74/115.11	c (39,0) bi[132][0] = 2
136.74/115.11	c (39,0) bi[132][1] = 0
136.74/115.11	c (39,0) bi[132][2] = 0
136.74/115.11	c (39,0) bi[132][3] = 1
136.74/115.11	c (39,0) bi[132][4] = 0
136.74/115.11	c (39,0) bi[133][0] = 0
136.74/115.11	c (39,0) bi[133][1] = 0
136.74/115.11	c (39,0) bi[133][2] = 1
136.74/115.11	c (39,0) bi[133][3] = 0
136.74/115.11	c (39,0) bi[133][4] = 2
136.74/115.11	c (39,0) bi[134][0] = 0
136.74/115.11	c (39,0) bi[134][1] = 1
136.74/115.11	c (39,0) bi[134][2] = 0
136.74/115.11	c (39,0) bi[134][3] = 2
136.74/115.11	c (39,0) bi[134][4] = 0
136.74/115.11	c (39,0) bi[135][0] = 1
136.74/115.11	c (39,0) bi[135][1] = 0
136.74/115.11	c (39,0) bi[135][2] = 2
136.74/115.11	c (39,0) bi[135][3] = 0
136.74/115.11	c (39,0) bi[135][4] = 1
136.74/115.11	c (39,0) bi[136][0] = 0
136.74/115.11	c (39,0) bi[136][1] = 2
136.74/115.11	c (39,0) bi[136][2] = 0
136.74/115.11	c (39,0) bi[136][3] = 1
136.74/115.11	c (39,0) bi[136][4] = 1
136.74/115.11	c (39,0) bi[137][0] = 2
136.74/115.11	c (39,0) bi[137][1] = 0
136.74/115.11	c (39,0) bi[137][2] = 1
136.74/115.11	c (39,0) bi[137][3] = 1
136.74/115.11	c (39,0) bi[137][4] = 2
136.74/115.11	c (39,0) bi[138][0] = 0
136.74/115.11	c (39,0) bi[138][1] = 1
136.74/115.11	c (39,0) bi[138][2] = 1
136.74/115.11	c (39,0) bi[138][3] = 2
136.74/115.11	c (39,0) bi[138][4] = 2
136.74/115.11	c (39,0) bi[139][0] = 1
136.74/115.11	c (39,0) bi[139][1] = 1
136.74/115.11	c (39,0) bi[139][2] = 2
136.74/115.11	c (39,0) bi[139][3] = 2
136.74/115.11	c (39,0) bi[139][4] = 2
136.74/115.11	c (39,0) bi[140][0] = 1
136.74/115.11	c (39,0) bi[140][1] = 2
136.74/115.11	c (39,0) bi[140][2] = 2
136.74/115.11	c (39,0) bi[140][3] = 2
136.74/115.11	c (39,0) bi[140][4] = 1
136.74/115.11	c (39,0) bi[141][0] = 2
136.74/115.11	c (39,0) bi[141][1] = 2
136.74/115.11	c (39,0) bi[141][2] = 2
136.74/115.11	c (39,0) bi[141][3] = 1
136.74/115.11	c (39,0) bi[141][4] = 0
136.74/115.11	c (39,0) bi[142][0] = 2
136.74/115.11	c (39,0) bi[142][1] = 2
136.74/115.11	c (39,0) bi[142][2] = 1
136.74/115.11	c (39,0) bi[142][3] = 0
136.74/115.11	c (39,0) bi[142][4] = 1
136.74/115.11	c (39,0) bi[143][0] = 2
136.74/115.11	c (39,0) bi[143][1] = 1
136.74/115.11	c (39,0) bi[143][2] = 0
136.74/115.11	c (39,0) bi[143][3] = 1
136.74/115.11	c (39,0) bi[143][4] = 1
136.74/115.11	c (39,0) bi[144][0] = 1
136.74/115.11	c (39,0) bi[144][1] = 0
136.74/115.11	c (39,0) bi[144][2] = 1
136.74/115.11	c (39,0) bi[144][3] = 1
136.74/115.11	c (39,0) bi[144][4] = 0
136.74/115.11	c (39,0) bi[145][0] = 0
136.74/115.11	c (39,0) bi[145][1] = 1
136.74/115.11	c (39,0) bi[145][2] = 1
136.74/115.11	c (39,0) bi[145][3] = 0
136.74/115.11	c (39,0) bi[145][4] = 2
136.74/115.11	c (39,0) bi[146][0] = 1
136.74/115.11	c (39,0) bi[146][1] = 1
136.74/115.11	c (39,0) bi[146][2] = 0
136.74/115.11	c (39,0) bi[146][3] = 2
136.74/115.11	c (39,0) bi[146][4] = 1
136.74/115.11	c (39,0) bi[147][0] = 1
136.74/115.11	c (39,0) bi[147][1] = 0
136.74/115.11	c (39,0) bi[147][2] = 2
136.74/115.11	c (39,0) bi[147][3] = 1
136.74/115.11	c (39,0) bi[147][4] = 2
136.74/115.11	c (39,0) bi[148][0] = 0
136.74/115.11	c (39,0) bi[148][1] = 2
136.74/115.11	c (39,0) bi[148][2] = 1
136.74/115.11	c (39,0) bi[148][3] = 2
136.74/115.11	c (39,0) bi[148][4] = 1
136.74/115.11	c (39,0) bi[149][0] = 2
136.74/115.11	c (39,0) bi[149][1] = 1
136.74/115.11	c (39,0) bi[149][2] = 2
136.74/115.11	c (39,0) bi[149][3] = 1
136.74/115.11	c (39,0) bi[149][4] = 2
136.74/115.11	c (39,0) bi[150][0] = 1
136.74/115.11	c (39,0) bi[150][1] = 2
136.74/115.11	c (39,0) bi[150][2] = 1
136.74/115.11	c (39,0) bi[150][3] = 2
136.74/115.11	c (39,0) bi[150][4] = 1
136.74/115.11	c (39,0) bi[151][0] = 2
136.74/115.11	c (39,0) bi[151][1] = 1
136.74/115.11	c (39,0) bi[151][2] = 2
136.74/115.11	c (39,0) bi[151][3] = 1
136.74/115.11	c (39,0) bi[151][4] = 0
136.74/115.11	c (39,0) bi[152][0] = 1
136.74/115.11	c (39,0) bi[152][1] = 2
136.74/115.11	c (39,0) bi[152][2] = 1
136.74/115.11	c (39,0) bi[152][3] = 0
136.74/115.11	c (39,0) bi[152][4] = 2
136.74/115.11	c (39,0) bi[153][0] = 2
136.74/115.11	c (39,0) bi[153][1] = 1
136.74/115.11	c (39,0) bi[153][2] = 0
136.74/115.11	c (39,0) bi[153][3] = 2
136.74/115.11	c (39,0) bi[153][4] = 0
136.74/115.11	c (39,0) bi[154][0] = 1
136.74/115.11	c (39,0) bi[154][1] = 0
136.74/115.11	c (39,0) bi[154][2] = 2
136.74/115.11	c (39,0) bi[154][3] = 0
136.74/115.11	c (39,0) bi[154][4] = 2
136.74/115.11	c (39,0) bi[155][0] = 0
136.74/115.11	c (39,0) bi[155][1] = 2
136.74/115.11	c (39,0) bi[155][2] = 0
136.74/115.11	c (39,0) bi[155][3] = 2
136.74/115.11	c (39,0) bi[155][4] = 1
136.74/115.11	c (39,0) bi[156][0] = 2
136.74/115.11	c (39,0) bi[156][1] = 0
136.74/115.11	c (39,0) bi[156][2] = 2
136.74/115.11	c (39,0) bi[156][3] = 1
136.74/115.11	c (39,0) bi[156][4] = 0
136.74/115.11	c (39,0) bi[157][0] = 0
136.74/115.11	c (39,0) bi[157][1] = 2
136.74/115.11	c (39,0) bi[157][2] = 1
136.74/115.11	c (39,0) bi[157][3] = 0
136.74/115.11	c (39,0) bi[157][4] = 0
136.74/115.11	c (39,0) bi[158][0] = 2
136.74/115.11	c (39,0) bi[158][1] = 1
136.74/115.11	c (39,0) bi[158][2] = 0
136.74/115.11	c (39,0) bi[158][3] = 0
136.74/115.11	c (39,0) bi[158][4] = 0
136.74/115.11	c (39,0) bi[159][0] = 1
136.74/115.11	c (39,0) bi[159][1] = 0
136.74/115.11	c (39,0) bi[159][2] = 0
136.74/115.11	c (39,0) bi[159][3] = 0
136.74/115.11	c (39,0) bi[159][4] = 2
136.74/115.11	c (39,0) bi[160][0] = 0
136.74/115.11	c (39,0) bi[160][1] = 0
136.74/115.11	c (39,0) bi[160][2] = 0
136.74/115.11	c (39,0) bi[160][3] = 2
136.74/115.11	c (39,0) bi[160][4] = 2
136.74/115.11	c (39,0) bi[161][0] = 0
136.74/115.11	c (39,0) bi[161][1] = 0
136.74/115.11	c (39,0) bi[161][2] = 2
136.74/115.11	c (39,0) bi[161][3] = 2
136.74/115.11	c (39,0) bi[161][4] = 2
136.74/115.11	c (39,0) bi[162][0] = 0
136.74/115.11	c (39,0) bi[162][1] = 2
136.74/115.11	c (39,0) bi[162][2] = 2
136.74/115.11	c (39,0) bi[162][3] = 2
136.74/115.11	c (39,0) bi[162][4] = 0
136.74/115.11	c (39,0) bi[163][0] = 2
136.74/115.11	c (39,0) bi[163][1] = 2
136.74/115.11	c (39,0) bi[163][2] = 2
136.74/115.11	c (39,0) bi[163][3] = 0
136.74/115.11	c (39,0) bi[163][4] = 0
136.74/115.11	c (39,0) bi[164][0] = 2
136.74/115.11	c (39,0) bi[164][1] = 2
136.74/115.11	c (39,0) bi[164][2] = 0
136.74/115.11	c (39,0) bi[164][3] = 0
136.74/115.11	c (39,0) bi[164][4] = 0
136.74/115.11	c (39,0) bi[165][0] = 2
136.74/115.11	c (39,0) bi[165][1] = 0
136.74/115.11	c (39,0) bi[165][2] = 0
136.74/115.11	c (39,0) bi[165][3] = 0
136.74/115.11	c (39,0) bi[165][4] = 1
136.74/115.11	c (39,0) bi[166][0] = 0
136.74/115.11	c (39,0) bi[166][1] = 0
136.74/115.11	c (39,0) bi[166][2] = 0
136.74/115.11	c (39,0) bi[166][3] = 1
136.74/115.11	c (39,0) bi[166][4] = 2
136.74/115.11	c (39,0) bi[167][0] = 0
136.74/115.11	c (39,0) bi[167][1] = 0
136.74/115.11	c (39,0) bi[167][2] = 1
136.74/115.11	c (39,0) bi[167][3] = 2
136.74/115.11	c (39,0) bi[167][4] = 1
136.74/115.11	c (39,0) bi[168][0] = 0
136.74/115.11	c (39,0) bi[168][1] = 1
136.74/115.11	c (39,0) bi[168][2] = 2
136.74/115.11	c (39,0) bi[168][3] = 1
136.74/115.11	c (39,0) bi[168][4] = 1
136.74/115.11	c (39,0) bi[169][0] = 1
136.74/115.11	c (39,0) bi[169][1] = 2
136.74/115.11	c (39,0) bi[169][2] = 1
136.74/115.11	c (39,0) bi[169][3] = 1
136.74/115.11	c (39,0) bi[169][4] = 2
136.74/115.11	c (39,0) bi[170][0] = 2
136.74/115.11	c (39,0) bi[170][1] = 1
136.74/115.11	c (39,0) bi[170][2] = 1
136.74/115.11	c (39,0) bi[170][3] = 2
136.74/115.11	c (39,0) bi[170][4] = 2
136.74/115.11	c (39,0) bi[171][0] = 1
136.74/115.11	c (39,0) bi[171][1] = 1
136.74/115.11	c (39,0) bi[171][2] = 2
136.74/115.11	c (39,0) bi[171][3] = 2
136.74/115.11	c (39,0) bi[171][4] = 1
136.74/115.11	c (39,0) bi[172][0] = 1
136.74/115.11	c (39,0) bi[172][1] = 2
136.74/115.11	c (39,0) bi[172][2] = 2
136.74/115.11	c (39,0) bi[172][3] = 1
136.74/115.11	c (39,0) bi[172][4] = 0
136.74/115.11	c (39,0) bi[173][0] = 2
136.74/115.11	c (39,0) bi[173][1] = 2
136.74/115.11	c (39,0) bi[173][2] = 1
136.74/115.11	c (39,0) bi[173][3] = 0
136.74/115.11	c (39,0) bi[173][4] = 0
136.74/115.11	c (39,0) bi[174][0] = 2
136.74/115.11	c (39,0) bi[174][1] = 1
136.74/115.11	c (39,0) bi[174][2] = 0
136.74/115.11	c (39,0) bi[174][3] = 0
136.74/115.11	c (39,0) bi[174][4] = 2
136.74/115.11	c (39,0) bi[175][0] = 1
136.74/115.11	c (39,0) bi[175][1] = 0
136.74/115.11	c (39,0) bi[175][2] = 0
136.74/115.11	c (39,0) bi[175][3] = 2
136.74/115.11	c (39,0) bi[175][4] = 0
136.74/115.11	c (39,0) bi[176][0] = 0
136.74/115.11	c (39,0) bi[176][1] = 0
136.74/115.11	c (39,0) bi[176][2] = 2
136.74/115.11	c (39,0) bi[176][3] = 0
136.74/115.11	c (39,0) bi[176][4] = 0
136.74/115.11	c (39,0) bi[177][0] = 0
136.74/115.11	c (39,0) bi[177][1] = 2
136.74/115.11	c (39,0) bi[177][2] = 0
136.74/115.11	c (39,0) bi[177][3] = 0
136.74/115.11	c (39,0) bi[177][4] = 0
136.74/115.11	c (39,0) bi[178][0] = 2
136.74/115.11	c (39,0) bi[178][1] = 0
136.74/115.11	c (39,0) bi[178][2] = 0
136.74/115.11	c (39,0) bi[178][3] = 0
136.74/115.11	c (39,0) bi[178][4] = 2
136.74/115.11	c (39,0) bi[179][0] = 0
136.74/115.11	c (39,0) bi[179][1] = 0
136.74/115.11	c (39,0) bi[179][2] = 0
136.74/115.11	c (39,0) bi[179][3] = 2
136.74/115.11	c (39,0) bi[179][4] = 1
136.74/115.11	c (39,0) bi[180][0] = 0
136.74/115.11	c (39,0) bi[180][1] = 0
136.74/115.11	c (39,0) bi[180][2] = 2
136.74/115.11	c (39,0) bi[180][3] = 1
136.74/115.11	c (39,0) bi[180][4] = 0
136.74/115.11	c (39,0) bi[181][0] = 0
136.74/115.11	c (39,0) bi[181][1] = 2
136.74/115.11	c (39,0) bi[181][2] = 1
136.74/115.11	c (39,0) bi[181][3] = 0
136.74/115.11	c (39,0) bi[181][4] = 1
136.74/115.11	c (39,0) bi[182][0] = 2
136.74/115.11	c (39,0) bi[182][1] = 1
136.74/115.11	c (39,0) bi[182][2] = 0
136.74/115.11	c (39,0) bi[182][3] = 1
136.74/115.11	c (39,0) bi[182][4] = 2
136.74/115.11	c (39,0) bi[183][0] = 1
136.74/115.11	c (39,0) bi[183][1] = 0
136.74/115.11	c (39,0) bi[183][2] = 1
136.74/115.11	c (39,0) bi[183][3] = 2
136.74/115.11	c (39,0) bi[183][4] = 2
136.74/115.11	c (39,0) bi[184][0] = 0
136.74/115.11	c (39,0) bi[184][1] = 1
136.74/115.11	c (39,0) bi[184][2] = 2
136.74/115.11	c (39,0) bi[184][3] = 2
136.74/115.11	c (39,0) bi[184][4] = 0
136.74/115.11	c (39,0) bi[185][0] = 1
136.74/115.11	c (39,0) bi[185][1] = 2
136.74/115.11	c (39,0) bi[185][2] = 2
136.74/115.11	c (39,0) bi[185][3] = 0
136.74/115.11	c (39,0) bi[185][4] = 1
136.74/115.11	c (39,0) bi[186][0] = 2
136.74/115.11	c (39,0) bi[186][1] = 2
136.74/115.11	c (39,0) bi[186][2] = 0
136.74/115.11	c (39,0) bi[186][3] = 1
136.74/115.11	c (39,0) bi[186][4] = 2
136.74/115.11	c (39,0) bi[187][0] = 2
136.74/115.11	c (39,0) bi[187][1] = 0
136.74/115.11	c (39,0) bi[187][2] = 1
136.74/115.11	c (39,0) bi[187][3] = 2
136.74/115.11	c (39,0) bi[187][4] = 0
136.74/115.11	c (39,0) bi[188][0] = 0
136.74/115.11	c (39,0) bi[188][1] = 1
136.74/115.11	c (39,0) bi[188][2] = 2
136.74/115.11	c (39,0) bi[188][3] = 0
136.74/115.11	c (39,0) bi[188][4] = 1
136.74/115.11	c (39,0) bi[189][0] = 1
136.74/115.11	c (39,0) bi[189][1] = 2
136.74/115.11	c (39,0) bi[189][2] = 0
136.74/115.11	c (39,0) bi[189][3] = 1
136.74/115.11	c (39,0) bi[189][4] = 2
136.74/115.11	c (39,0) bi[190][0] = 2
136.74/115.11	c (39,0) bi[190][1] = 0
136.74/115.11	c (39,0) bi[190][2] = 1
136.74/115.11	c (39,0) bi[190][3] = 2
136.74/115.11	c (39,0) bi[190][4] = 2
136.74/115.11	c (39,0) bi[191][0] = 0
136.74/115.11	c (39,0) bi[191][1] = 1
136.74/115.11	c (39,0) bi[191][2] = 2
136.74/115.11	c (39,0) bi[191][3] = 2
136.74/115.11	c (39,0) bi[191][4] = 2
136.74/115.11	c (39,0) bi[192][0] = 1
136.74/115.11	c (39,0) bi[192][1] = 2
136.74/115.11	c (39,0) bi[192][2] = 2
136.74/115.11	c (39,0) bi[192][3] = 2
136.74/115.11	c (39,0) bi[192][4] = 2
136.74/115.11	c (39,0) bi[193][0] = 2
136.74/115.11	c (39,0) bi[193][1] = 2
136.74/115.11	c (39,0) bi[193][2] = 2
136.74/115.11	c (39,0) bi[193][3] = 2
136.74/115.11	c (39,0) bi[193][4] = 2
136.74/115.11	c (39,0) bi[194][0] = 2
136.74/115.11	c (39,0) bi[194][1] = 2
136.74/115.11	c (39,0) bi[194][2] = 2
136.74/115.11	c (39,0) bi[194][3] = 2
136.74/115.11	c (39,0) bi[194][4] = 1
136.74/115.11	c (39,0) bi[195][0] = 2
136.74/115.11	c (39,0) bi[195][1] = 2
136.74/115.11	c (39,0) bi[195][2] = 2
136.74/115.11	c (39,0) bi[195][3] = 1
136.74/115.11	c (39,0) bi[195][4] = 2
136.74/115.11	c (39,0) bi[196][0] = 2
136.74/115.11	c (39,0) bi[196][1] = 2
136.74/115.11	c (39,0) bi[196][2] = 1
136.74/115.11	c (39,0) bi[196][3] = 2
136.74/115.11	c (39,0) bi[196][4] = 0
136.74/115.11	c (39,0) bi[197][0] = 2
136.74/115.11	c (39,0) bi[197][1] = 1
136.74/115.11	c (39,0) bi[197][2] = 2
136.74/115.11	c (39,0) bi[197][3] = 0
136.74/115.11	c (39,0) bi[197][4] = 2
136.74/115.11	c (39,0) bi[198][0] = 1
136.74/115.11	c (39,0) bi[198][1] = 2
136.74/115.11	c (39,0) bi[198][2] = 0
136.74/115.11	c (39,0) bi[198][3] = 2
136.74/115.11	c (39,0) bi[198][4] = 0
136.74/115.11	c (39,0) bi[199][0] = 2
136.74/115.11	c (39,0) bi[199][1] = 0
136.74/115.11	c (39,0) bi[199][2] = 2
136.74/115.11	c (39,0) bi[199][3] = 0
136.74/115.11	c (39,0) bi[199][4] = 1
136.74/115.11	c (39,0) bi[200][0] = 0
136.74/115.11	c (39,0) bi[200][1] = 2
136.74/115.11	c (39,0) bi[200][2] = 0
136.74/115.11	c (39,0) bi[200][3] = 1
136.74/115.11	c (39,0) bi[200][4] = 2
136.74/115.11	c (39,0) bi[201][0] = 2
136.74/115.11	c (39,0) bi[201][1] = 0
136.74/115.11	c (39,0) bi[201][2] = 1
136.74/115.11	c (39,0) bi[201][3] = 2
136.74/115.11	c (39,0) bi[201][4] = 1
136.74/115.11	c (39,0) bi[202][0] = 0
136.74/115.11	c (39,0) bi[202][1] = 1
136.74/115.11	c (39,0) bi[202][2] = 2
136.74/115.11	c (39,0) bi[202][3] = 1
136.74/115.11	c (39,0) bi[202][4] = 0
136.74/115.11	c (39,0) bi[203][0] = 1
136.74/115.11	c (39,0) bi[203][1] = 2
136.74/115.11	c (39,0) bi[203][2] = 1
136.74/115.11	c (39,0) bi[203][3] = 0
136.74/115.11	c (39,0) bi[203][4] = 1
136.74/115.11	c (39,0) bi[204][0] = 2
136.74/115.11	c (39,0) bi[204][1] = 1
136.74/115.11	c (39,0) bi[204][2] = 0
136.74/115.11	c (39,0) bi[204][3] = 1
136.74/115.11	c (39,0) bi[204][4] = 0
136.74/115.11	c (39,0) bi[205][0] = 1
136.74/115.11	c (39,0) bi[205][1] = 0
136.74/115.11	c (39,0) bi[205][2] = 1
136.74/115.11	c (39,0) bi[205][3] = 0
136.74/115.11	c (39,0) bi[205][4] = 0
136.74/115.11	c (39,0) bi[206][0] = 0
136.74/115.11	c (39,0) bi[206][1] = 1
136.74/115.11	c (39,0) bi[206][2] = 0
136.74/115.11	c (39,0) bi[206][3] = 0
136.74/115.11	c (39,0) bi[206][4] = 2
136.74/115.11	c (39,0) bi[207][0] = 1
136.74/115.11	c (39,0) bi[207][1] = 0
136.74/115.11	c (39,0) bi[207][2] = 0
136.74/115.11	c (39,0) bi[207][3] = 2
136.74/115.11	c (39,0) bi[207][4] = 2
136.74/115.11	c (39,0) bi[208][0] = 0
136.74/115.11	c (39,0) bi[208][1] = 0
136.74/115.11	c (39,0) bi[208][2] = 2
136.74/115.11	c (39,0) bi[208][3] = 2
136.74/115.11	c (39,0) bi[208][4] = 0
136.74/115.11	c (39,0) bi[209][0] = 0
136.74/115.11	c (39,0) bi[209][1] = 2
136.74/115.11	c (39,0) bi[209][2] = 2
136.74/115.11	c (39,0) bi[209][3] = 0
136.74/115.11	c (39,0) bi[209][4] = 2
136.74/115.11	c (39,0) bi[210][0] = 2
136.74/115.11	c (39,0) bi[210][1] = 2
136.74/115.11	c (39,0) bi[210][2] = 0
136.74/115.11	c (39,0) bi[210][3] = 2
136.74/115.11	c (39,0) bi[210][4] = 1
136.74/115.11	c (39,0) bi[211][0] = 2
136.74/115.11	c (39,0) bi[211][1] = 0
136.74/115.11	c (39,0) bi[211][2] = 2
136.74/115.11	c (39,0) bi[211][3] = 1
136.74/115.11	c (39,0) bi[211][4] = 2
136.74/115.11	c (39,0) bi[212][0] = 0
136.74/115.11	c (39,0) bi[212][1] = 2
136.74/115.11	c (39,0) bi[212][2] = 1
136.74/115.11	c (39,0) bi[212][3] = 2
136.74/115.11	c (39,0) bi[212][4] = 2
136.74/115.11	c (39,0) bi[213][0] = 2
136.74/115.11	c (39,0) bi[213][1] = 1
136.74/115.11	c (39,0) bi[213][2] = 2
136.74/115.11	c (39,0) bi[213][3] = 2
136.74/115.11	c (39,0) bi[213][4] = 1
136.74/115.11	c (39,0) bi[214][0] = 1
136.74/115.11	c (39,0) bi[214][1] = 2
136.74/115.11	c (39,0) bi[214][2] = 2
136.74/115.11	c (39,0) bi[214][3] = 1
136.74/115.11	c (39,0) bi[214][4] = 2
136.74/115.11	c (39,0) bi[215][0] = 2
136.74/115.11	c (39,0) bi[215][1] = 2
136.74/115.11	c (39,0) bi[215][2] = 1
136.74/115.11	c (39,0) bi[215][3] = 2
136.74/115.11	c (39,0) bi[215][4] = 1
136.74/115.11	c (39,0) bi[216][0] = 2
136.74/115.11	c (39,0) bi[216][1] = 1
136.74/115.11	c (39,0) bi[216][2] = 2
136.74/115.11	c (39,0) bi[216][3] = 1
136.74/115.11	c (39,0) bi[216][4] = 1
136.74/115.11	c (39,0) bi[217][0] = 1
136.74/115.11	c (39,0) bi[217][1] = 2
136.74/115.11	c (39,0) bi[217][2] = 1
136.74/115.11	c (39,0) bi[217][3] = 1
136.74/115.11	c (39,0) bi[217][4] = 1
136.74/115.11	c (39,0) bi[218][0] = 2
136.74/115.11	c (39,0) bi[218][1] = 1
136.74/115.11	c (39,0) bi[218][2] = 1
136.74/115.11	c (39,0) bi[218][3] = 1
136.74/115.11	c (39,0) bi[218][4] = 0
136.74/115.11	c (39,0) bi[219][0] = 1
136.74/115.11	c (39,0) bi[219][1] = 1
136.74/115.11	c (39,0) bi[219][2] = 1
136.74/115.11	c (39,0) bi[219][3] = 0
136.74/115.11	c (39,0) bi[219][4] = 1
136.74/115.11	c (39,0) bi[220][0] = 1
136.74/115.11	c (39,0) bi[220][1] = 1
136.74/115.11	c (39,0) bi[220][2] = 0
136.74/115.11	c (39,0) bi[220][3] = 1
136.74/115.11	c (39,0) bi[220][4] = 0
136.74/115.11	c (39,0) bi[221][0] = 1
136.74/115.11	c (39,0) bi[221][1] = 0
136.74/115.11	c (39,0) bi[221][2] = 1
136.74/115.11	c (39,0) bi[221][3] = 0
136.74/115.11	c (39,0) bi[221][4] = 2
136.74/115.11	c (39,0) bi[222][0] = 0
136.74/115.11	c (39,0) bi[222][1] = 1
136.74/115.11	c (39,0) bi[222][2] = 0
136.74/115.11	c (39,0) bi[222][3] = 2
136.74/115.11	c (39,0) bi[222][4] = 2
136.74/115.11	c (39,0) bi[223][0] = 1
136.74/115.11	c (39,0) bi[223][1] = 0
136.74/115.11	c (39,0) bi[223][2] = 2
136.74/115.11	c (39,0) bi[223][3] = 2
136.74/115.11	c (39,0) bi[223][4] = 1
136.74/115.11	c (39,0) bi[224][0] = 0
136.74/115.11	c (39,0) bi[224][1] = 2
136.74/115.11	c (39,0) bi[224][2] = 2
136.74/115.11	c (39,0) bi[224][3] = 1
136.74/115.11	c (39,0) bi[224][4] = 2
136.74/115.11	c (39,0) bi[225][0] = 2
136.74/115.11	c (39,0) bi[225][1] = 2
136.74/115.11	c (39,0) bi[225][2] = 1
136.74/115.11	c (39,0) bi[225][3] = 2
136.74/115.11	c (39,0) bi[225][4] = 2
136.74/115.11	c (39,0) bi[226][0] = 2
136.74/115.11	c (39,0) bi[226][1] = 1
136.74/115.11	c (39,0) bi[226][2] = 2
136.74/115.11	c (39,0) bi[226][3] = 2
136.74/115.11	c (39,0) bi[226][4] = 0
136.74/115.11	c (39,0) bi[227][0] = 1
136.74/115.11	c (39,0) bi[227][1] = 2
136.74/115.11	c (39,0) bi[227][2] = 2
136.74/115.11	c (39,0) bi[227][3] = 0
136.74/115.11	c (39,0) bi[227][4] = 0
136.74/115.11	c (39,0) bi[228][0] = 2
136.74/115.11	c (39,0) bi[228][1] = 2
136.74/115.11	c (39,0) bi[228][2] = 0
136.74/115.11	c (39,0) bi[228][3] = 0
136.74/115.11	c (39,0) bi[228][4] = 2
136.74/115.11	c (39,0) bi[229][0] = 2
136.74/115.11	c (39,0) bi[229][1] = 0
136.74/115.11	c (39,0) bi[229][2] = 0
136.74/115.11	c (39,0) bi[229][3] = 2
136.74/115.11	c (39,0) bi[229][4] = 0
136.74/115.11	c (39,0) bi[230][0] = 0
136.74/115.11	c (39,0) bi[230][1] = 0
136.74/115.11	c (39,0) bi[230][2] = 2
136.74/115.11	c (39,0) bi[230][3] = 0
136.74/115.11	c (39,0) bi[230][4] = 2
136.74/115.11	c (39,0) bi[231][0] = 0
136.74/115.11	c (39,0) bi[231][1] = 2
136.74/115.11	c (39,0) bi[231][2] = 0
136.74/115.11	c (39,0) bi[231][3] = 2
136.74/115.11	c (39,0) bi[231][4] = 2
136.74/115.11	c (39,0) bi[232][0] = 2
136.74/115.11	c (39,0) bi[232][1] = 0
136.74/115.11	c (39,0) bi[232][2] = 2
136.74/115.11	c (39,0) bi[232][3] = 2
136.74/115.11	c (39,0) bi[232][4] = 1
136.74/115.11	c (39,0) bi[233][0] = 0
136.74/115.11	c (39,0) bi[233][1] = 2
136.74/115.11	c (39,0) bi[233][2] = 2
136.74/115.11	c (39,0) bi[233][3] = 1
136.74/115.11	c (39,0) bi[233][4] = 0
136.74/115.11	c (39,0) bi[234][0] = 2
136.74/115.11	c (39,0) bi[234][1] = 2
136.74/115.11	c (39,0) bi[234][2] = 1
136.74/115.11	c (39,0) bi[234][3] = 0
136.74/115.11	c (39,0) bi[234][4] = 2
136.74/115.11	c (39,0) bi[235][0] = 2
136.74/115.11	c (39,0) bi[235][1] = 1
136.74/115.11	c (39,0) bi[235][2] = 0
136.74/115.11	c (39,0) bi[235][3] = 2
136.74/115.11	c (39,0) bi[235][4] = 1
136.74/115.11	c (39,0) bi[236][0] = 1
136.74/115.11	c (39,0) bi[236][1] = 0
136.74/115.11	c (39,0) bi[236][2] = 2
136.74/115.11	c (39,0) bi[236][3] = 1
136.74/115.11	c (39,0) bi[236][4] = 1
136.74/115.11	c (39,0) bi[237][0] = 0
136.74/115.11	c (39,0) bi[237][1] = 2
136.74/115.11	c (39,0) bi[237][2] = 1
136.74/115.11	c (39,0) bi[237][3] = 1
136.74/115.11	c (39,0) bi[237][4] = 1
136.74/115.11	c (39,0) bi[238][0] = 2
136.74/115.11	c (39,0) bi[238][1] = 1
136.74/115.11	c (39,0) bi[238][2] = 1
136.74/115.11	c (39,0) bi[238][3] = 1
136.74/115.11	c (39,0) bi[238][4] = 2
136.74/115.11	c (39,0) bi[239][0] = 1
136.74/115.11	c (39,0) bi[239][1] = 1
136.74/115.11	c (39,0) bi[239][2] = 1
136.74/115.11	c (39,0) bi[239][3] = 2
136.74/115.11	c (39,0) bi[239][4] = 0
136.74/115.11	c (39,0) bi[240][0] = 1
136.74/115.11	c (39,0) bi[240][1] = 1
136.74/115.11	c (39,0) bi[240][2] = 2
136.74/115.11	c (39,0) bi[240][3] = 0
136.74/115.11	c (39,0) bi[240][4] = 0
136.74/115.11	c (39,0) bi[241][0] = 1
136.74/115.11	c (39,0) bi[241][1] = 2
136.74/115.11	c (39,0) bi[241][2] = 0
136.74/115.11	c (39,0) bi[241][3] = 0
136.74/115.11	c (39,0) bi[241][4] = 0
136.74/115.11	c (39,0) bi[242][0] = 2
136.74/115.11	c (39,0) bi[242][1] = 0
136.74/115.11	c (39,0) bi[242][2] = 0
136.74/115.11	c (39,0) bi[242][3] = 0
136.74/115.11	c (39,0) bi[242][4] = 0
136.74/115.11	c (39,0) g[0] = 81
136.74/115.11	c (39,0) g[1] = 81
136.74/115.11	c (39,0) g[2] = 81
136.74/115.11	c (39,0) x[0] = 0
136.74/115.11	c (39,0) x[1] = 2
136.74/115.11	c (39,0) x[2] = 6
136.74/115.11	c (39,0) x[3] = 19
136.74/115.11	c (39,0) x[4] = 57
136.74/115.11	c (39,0) x[5] = 172
136.74/115.11	c (39,0) x[6] = 31
136.74/115.11	c (39,0) x[7] = 95
136.74/115.11	c (39,0) x[8] = 43
136.74/115.11	c (39,0) x[9] = 130
136.74/115.11	c (39,0) x[10] = 147
136.74/115.11	c (39,0) x[11] = 198
136.74/115.11	c (39,0) x[12] = 109
136.74/115.11	c (39,0) x[13] = 86
136.74/115.11	c (39,0) x[14] = 17
136.74/115.11	c (39,0) x[15] = 52
136.74/115.11	c (39,0) x[16] = 157
136.74/115.11	c (39,0) x[17] = 230
136.74/115.11	c (39,0) x[18] = 205
136.74/115.11	c (39,0) x[19] = 129
136.74/115.11	c (39,0) x[20] = 144
136.74/115.11	c (39,0) x[21] = 190
136.74/115.11	c (39,0) x[22] = 85
136.74/115.11	c (39,0) x[23] = 12
136.74/115.11	c (39,0) x[24] = 36
136.74/115.11	c (39,0) x[25] = 108
136.74/115.11	c (39,0) x[26] = 81
136.74/115.11	c (39,0) x[27] = 1
136.74/115.11	c (39,0) x[28] = 3
136.74/115.11	c (39,0) x[29] = 9
136.74/115.11	c (39,0) x[30] = 27
136.74/115.11	c (39,0) x[31] = 82
136.74/115.11	c (39,0) x[32] = 4
136.74/115.11	c (39,0) x[33] = 14
136.74/115.11	c (39,0) x[34] = 42
136.74/115.11	c (39,0) x[35] = 127
136.74/115.11	c (39,0) x[36] = 138
136.74/115.11	c (39,0) x[37] = 173
136.74/115.11	c (39,0) x[38] = 34
136.74/115.11	c (39,0) x[39] = 102
136.74/115.11	c (39,0) x[40] = 65
136.74/115.11	c (39,0) x[41] = 197
136.74/115.11	c (39,0) x[42] = 107
136.74/115.11	c (39,0) x[43] = 80
136.74/115.11	c (39,0) x[44] = 240
136.74/115.11	c (39,0) x[45] = 235
136.74/115.11	c (39,0) x[46] = 220
136.74/115.11	c (39,0) x[47] = 174
136.74/115.11	c (39,0) x[48] = 37
136.74/115.11	c (39,0) x[49] = 112
136.74/115.11	c (39,0) x[50] = 94
136.74/115.11	c (39,0) x[51] = 41
136.74/115.11	c (39,0) x[52] = 124
136.74/115.11	c (39,0) x[53] = 131
136.74/115.11	c (39,0) x[54] = 150
136.74/115.11	c (39,0) x[55] = 207
136.74/115.11	c (39,0) x[56] = 137
136.74/115.11	c (39,0) x[57] = 170
136.74/115.11	c (39,0) x[58] = 25
136.74/115.11	c (39,0) x[59] = 76
136.74/115.11	c (39,0) x[60] = 229
136.74/115.11	c (39,0) x[61] = 202
136.74/115.11	c (39,0) x[62] = 121
136.74/115.11	c (39,0) x[63] = 122
136.74/115.11	c (39,0) x[64] = 125
136.74/115.11	c (39,0) x[65] = 132
136.74/115.11	c (39,0) x[66] = 155
136.74/115.11	c (39,0) x[67] = 222
136.74/115.11	c (39,0) x[68] = 182
136.74/115.11	c (39,0) x[69] = 60
136.74/115.11	c (39,0) x[70] = 180
136.74/115.11	c (39,0) x[71] = 56
136.74/115.11	c (39,0) x[72] = 169
136.74/115.11	c (39,0) x[73] = 22
136.74/115.11	c (39,0) x[74] = 68
136.74/115.11	c (39,0) x[75] = 204
136.74/115.11	c (39,0) x[76] = 128
136.74/115.11	c (39,0) x[77] = 143
136.74/115.11	c (39,0) x[78] = 186
136.74/115.11	c (39,0) x[79] = 73
136.74/115.11	c (39,0) x[80] = 219
136.74/115.11	c (39,0) x[81] = 171
136.74/115.11	c (39,0) x[82] = 28
136.74/115.11	c (39,0) x[83] = 84
136.74/115.11	c (39,0) x[84] = 10
136.74/115.11	c (39,0) x[85] = 30
136.74/115.11	c (39,0) x[86] = 91
136.74/115.11	c (39,0) x[87] = 32
136.74/115.11	c (39,0) x[88] = 97
136.74/115.11	c (39,0) x[89] = 50
136.74/115.11	c (39,0) x[90] = 152
136.74/115.11	c (39,0) x[91] = 215
136.74/115.11	c (39,0) x[92] = 159
136.74/115.11	c (39,0) x[93] = 236
136.74/115.11	c (39,0) x[94] = 224
136.74/115.12	c (39,0) x[95] = 188
136.74/115.12	c (39,0) x[96] = 79
136.74/115.12	c (39,0) x[97] = 238
136.74/115.12	c (39,0) x[98] = 228
136.74/115.12	c (39,0) x[99] = 199
136.74/115.12	c (39,0) x[100] = 113
136.74/115.12	c (39,0) x[101] = 96
136.74/115.12	c (39,0) x[102] = 47
136.74/115.12	c (39,0) x[103] = 142
136.74/115.12	c (39,0) x[104] = 184
136.74/115.12	c (39,0) x[105] = 66
136.74/115.12	c (39,0) x[106] = 200
136.74/115.12	c (39,0) x[107] = 116
136.74/115.12	c (39,0) x[108] = 105
136.74/115.12	c (39,0) x[109] = 72
136.74/115.12	c (39,0) x[110] = 217
136.74/115.12	c (39,0) x[111] = 167
136.74/115.12	c (39,0) x[112] = 15
136.74/115.12	c (39,0) x[113] = 45
136.74/115.12	c (39,0) x[114] = 136
136.74/115.12	c (39,0) x[115] = 166
136.74/115.12	c (39,0) x[116] = 13
136.74/115.12	c (39,0) x[117] = 39
136.74/115.12	c (39,0) x[118] = 117
136.74/115.12	c (39,0) x[119] = 110
136.74/115.12	c (39,0) x[120] = 88
136.74/115.12	c (39,0) x[121] = 23
136.74/115.12	c (39,0) x[122] = 69
136.74/115.12	c (39,0) x[123] = 208
136.74/115.12	c (39,0) x[124] = 139
136.74/115.12	c (39,0) x[125] = 175
136.74/115.12	c (39,0) x[126] = 40
136.74/115.12	c (39,0) x[127] = 120
136.74/115.12	c (39,0) x[128] = 119
136.74/115.12	c (39,0) x[129] = 114
136.74/115.12	c (39,0) x[130] = 99
136.74/115.12	c (39,0) x[131] = 55
136.74/115.12	c (39,0) x[132] = 165
136.74/115.12	c (39,0) x[133] = 11
136.74/115.12	c (39,0) x[134] = 33
136.74/115.12	c (39,0) x[135] = 100
136.74/115.12	c (39,0) x[136] = 58
136.74/115.12	c (39,0) x[137] = 176
136.74/115.12	c (39,0) x[138] = 44
136.74/115.12	c (39,0) x[139] = 134
136.74/115.12	c (39,0) x[140] = 160
136.74/115.12	c (39,0) x[141] = 237
136.74/115.12	c (39,0) x[142] = 226
136.74/115.12	c (39,0) x[143] = 193
136.74/115.12	c (39,0) x[144] = 93
136.74/115.12	c (39,0) x[145] = 38
136.74/115.12	c (39,0) x[146] = 115
136.74/115.12	c (39,0) x[147] = 104
136.74/115.12	c (39,0) x[148] = 70
136.74/115.12	c (39,0) x[149] = 212
136.74/115.12	c (39,0) x[150] = 151
136.74/115.12	c (39,0) x[151] = 210
136.74/115.12	c (39,0) x[152] = 146
136.74/115.12	c (39,0) x[153] = 195
136.74/115.12	c (39,0) x[154] = 101
136.74/115.12	c (39,0) x[155] = 61
136.74/115.12	c (39,0) x[156] = 183
136.74/115.12	c (39,0) x[157] = 63
136.74/115.12	c (39,0) x[158] = 189
136.74/115.12	c (39,0) x[159] = 83
136.74/115.12	c (39,0) x[160] = 8
136.74/115.12	c (39,0) x[161] = 26
136.74/115.12	c (39,0) x[162] = 78
136.74/115.12	c (39,0) x[163] = 234
136.74/115.12	c (39,0) x[164] = 216
136.74/115.12	c (39,0) x[165] = 163
136.74/115.12	c (39,0) x[166] = 5
136.74/115.12	c (39,0) x[167] = 16
136.74/115.12	c (39,0) x[168] = 49
136.74/115.12	c (39,0) x[169] = 149
136.74/115.12	c (39,0) x[170] = 206
136.74/115.12	c (39,0) x[171] = 133
136.74/115.12	c (39,0) x[172] = 156
136.74/115.12	c (39,0) x[173] = 225
136.74/115.12	c (39,0) x[174] = 191
136.74/115.12	c (39,0) x[175] = 87
136.74/115.12	c (39,0) x[176] = 18
136.74/115.12	c (39,0) x[177] = 54
136.74/115.12	c (39,0) x[178] = 164
136.74/115.12	c (39,0) x[179] = 7
136.74/115.12	c (39,0) x[180] = 21
136.74/115.12	c (39,0) x[181] = 64
136.74/115.12	c (39,0) x[182] = 194
136.74/115.12	c (39,0) x[183] = 98
136.74/115.12	c (39,0) x[184] = 51
136.74/115.12	c (39,0) x[185] = 154
136.74/115.12	c (39,0) x[186] = 221
136.74/115.12	c (39,0) x[187] = 177
136.74/115.12	c (39,0) x[188] = 46
136.74/115.12	c (39,0) x[189] = 140
136.74/115.12	c (39,0) x[190] = 179
136.74/115.12	c (39,0) x[191] = 53
136.74/115.12	c (39,0) x[192] = 161
136.74/115.12	c (39,0) x[193] = 242
136.74/115.12	c (39,0) x[194] = 241
136.74/115.12	c (39,0) x[195] = 239
136.74/115.12	c (39,0) x[196] = 231
136.74/115.12	c (39,0) x[197] = 209
136.74/115.12	c (39,0) x[198] = 141
136.74/115.12	c (39,0) x[199] = 181
136.74/115.12	c (39,0) x[200] = 59
136.74/115.12	c (39,0) x[201] = 178
136.74/115.12	c (39,0) x[202] = 48
136.74/115.12	c (39,0) x[203] = 145
136.74/115.12	c (39,0) x[204] = 192
136.74/115.12	c (39,0) x[205] = 90
136.74/115.12	c (39,0) x[206] = 29
136.74/115.12	c (39,0) x[207] = 89
136.74/115.12	c (39,0) x[208] = 24
136.74/115.12	c (39,0) x[209] = 74
136.74/115.12	c (39,0) x[210] = 223
136.74/115.12	c (39,0) x[211] = 185
136.74/115.12	c (39,0) x[212] = 71
136.74/115.12	c (39,0) x[213] = 214
136.74/115.12	c (39,0) x[214] = 158
136.74/115.12	c (39,0) x[215] = 232
136.74/115.12	c (39,0) x[216] = 211
136.74/115.12	c (39,0) x[217] = 148
136.74/115.12	c (39,0) x[218] = 201
136.74/115.12	c (39,0) x[219] = 118
136.74/115.12	c (39,0) x[220] = 111
136.74/115.12	c (39,0) x[221] = 92
136.74/115.12	c (39,0) x[222] = 35
136.74/115.12	c (39,0) x[223] = 106
136.74/115.12	c (39,0) x[224] = 77
136.74/115.12	c (39,0) x[225] = 233
136.74/115.12	c (39,0) x[226] = 213
136.74/115.12	c (39,0) x[227] = 153
136.74/115.12	c (39,0) x[228] = 218
136.74/115.12	c (39,0) x[229] = 168
136.74/115.12	c (39,0) x[230] = 20
136.74/115.12	c (39,0) x[231] = 62
136.74/115.12	c (39,0) x[232] = 187
136.74/115.12	c (39,0) x[233] = 75
136.74/115.12	c (39,0) x[234] = 227
136.74/115.12	c (39,0) x[235] = 196
136.74/115.12	c (39,0) x[236] = 103
136.74/115.12	c (39,0) x[237] = 67
136.74/115.12	c (39,0) x[238] = 203
136.74/115.12	c (39,0) x[239] = 123
136.74/115.12	c (39,0) x[240] = 126
136.74/115.12	c (39,0) x[241] = 135
136.74/115.12	c (39,0) x[242] = 162
136.74/115.12	s SATISFIABLE
136.74/115.12	v <instantiation>
136.74/115.12	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] bi[0][0] bi[0][1] bi[0][2] bi[0][3] bi[0][4] bi[1][0] bi[1][1] bi[1][2] bi[1][3] bi[1][4] bi[2][0] bi[2][1] bi[2][2] bi[2][3] bi[2][4] bi[3][0] bi[3][1] bi[3][2] bi[3][3] bi[3][4] bi[4][0] bi[4][1] bi[4][2] bi[4][3] bi[4][4] bi[5][0] bi[5][1] bi[5][2] bi[5][3] bi[5][4] bi[6][0] bi[6][1] bi[6][2] bi[6][3] bi[6][4] bi[7][0] bi[7][1] bi[7][2] bi[7][3] bi[7][4] bi[8][0] bi[8][1] bi[8][2] bi[8][3] bi[8][4] bi[9][0] bi[9][1] bi[9][2] bi[9][3] bi[9][4] bi[10][0] bi[10][1] bi[10][2] bi[10][3] bi[10][4] bi[11][0] bi[11][1] bi[11][2] bi[11][3] bi[11][4] bi[12][0] bi[12][1] bi[12][2] bi[12][3] bi[12][4] bi[13][0] bi[13][1] bi[13][2] bi[13][3] bi[13][4] bi[14][0] bi[14][1] bi[14][2] bi[14][3] bi[14][4] bi[15][0] bi[15][1] bi[15][2] bi[15][3] bi[15][4] bi[16][0] bi[16][1] bi[16][2] bi[16][3] bi[16][4] bi[17][0] bi[17][1] bi[17][2] bi[17][3] bi[17][4] bi[18][0] bi[18][1] bi[18][2] bi[18][3] bi[18][4] bi[19][0] bi[19][1] bi[19][2] bi[19][3] bi[19][4] bi[20][0] bi[20][1] bi[20][2] bi[20][3] bi[20][4] bi[21][0] bi[21][1] bi[21][2] bi[21][3] bi[21][4] bi[22][0] bi[22][1] bi[22][2] bi[22][3] bi[22][4] bi[23][0] bi[23][1] bi[23][2] bi[23][3] bi[23][4] bi[24][0] bi[24][1] bi[24][2] bi[24][3] bi[24][4] bi[25][0] bi[25][1] bi[25][2] bi[25][3] bi[25][4] bi[26][0] bi[26][1] bi[26][2] bi[26][3] bi[26][4] bi[27][0] bi[27][1] bi[27][2] bi[27][3] bi[27][4] bi[28][0] bi[28][1] bi[28][2] bi[28][3] bi[28][4] bi[29][0] bi[29][1] bi[29][2] bi[29][3] bi[29][4] bi[30][0] bi[30][1] bi[30][2] bi[30][3] bi[30][4] bi[31][0] bi[31][1] bi[31][2] bi[31][3] bi[31][4] bi[32][0] bi[32][1] bi[32][2] bi[32][3] bi[32][4] bi[33][0] bi[33][1] bi[33][2] bi[33][3] bi[33][4] bi[34][0] bi[34][1] bi[34][2] bi[34][3] bi[34][4] bi[35][0] bi[35][1] bi[35][2] bi[35][3] bi[35][4] bi[36][0] bi[36][1] bi[36][2] bi[36][3] bi[36][4] bi[37][0] bi[37][1] bi[37][2] bi[37][3] bi[37][4] bi[38][0] bi[38][1] bi[38][2] bi[38][3] bi[38][4] bi[39][0] bi[39][1] bi[39][2] bi[39][3] bi[39][4] bi[40][0] bi[40][1] bi[40][2] bi[40][3] bi[40][4] bi[41][0] bi[41][1] bi[41][2] bi[41][3] bi[41][4] bi[42][0] bi[42][1] bi[42][2] bi[42][3] bi[42][4] bi[43][0] bi[43][1] bi[43][2] bi[43][3] bi[43][4] bi[44][0] bi[44][1] bi[44][2] bi[44][3] bi[44][4] bi[45][0] bi[45][1] bi[45][2] bi[45][3] bi[45][4] bi[46][0] bi[46][1] bi[46][2] bi[46][3] bi[46][4] bi[47][0] bi[47][1] bi[47][2] bi[47][3] bi[47][4] bi[48][0] bi[48][1] bi[48][2] bi[48][3] bi[48][4] bi[49][0] bi[49][1] bi[49][2] bi[49][3] bi[49][4] bi[50][0] bi[50][1] bi[50][2] bi[50][3] bi[50][4] bi[51][0] bi[51][1] bi[51][2] bi[51][3] bi[51][4] bi[52][0] bi[52][1] bi[52][2] bi[52][3] bi[52][4] bi[53][0] bi[53][1] bi[53][2] bi[53][3] bi[53][4] bi[54][0] bi[54][1] bi[54][2] bi[54][3] bi[54][4] bi[55][0] bi[55][1] bi[55][2] bi[55][3] bi[55][4] bi[56][0] bi[56][1] bi[56][2] bi[56][3] bi[56][4] bi[57][0] bi[57][1] bi[57][2] bi[57][3] bi[57][4] bi[58][0] bi[58][1] bi[58][2] bi[58][3] bi[58][4] bi[59][0] bi[59][1] bi[59][2] bi[59][3] bi[59][4] bi[60][0] bi[60][1] bi[60][2] bi[60][3] bi[60][4] bi[61][0] bi[61][1] bi[61][2] bi[61][3] bi[61][4] bi[62][0] bi[62][1] bi[62][2] bi[62][3] bi[62][4] bi[63][0] bi[63][1] bi[63][2] bi[63][3] bi[63][4] bi[64][0] bi[64][1] bi[64][2] bi[64][3] bi[64][4] bi[65][0] bi[65][1] bi[65][2] bi[65][3] bi[65][4] bi[66][0] bi[66][1] bi[66][2] bi[66][3] bi[66][4] bi[67][0] bi[67][1] bi[67][2] bi[67][3] bi[67][4] bi[68][0] bi[68][1] bi[68][2] bi[68][3] bi[68][4] bi[69][0] bi[69][1] bi[69][2] bi[69][3] bi[69][4] bi[70][0] bi[70][1] bi[70][2] bi[70][3] bi[70][4] bi[71][0] bi[71][1] bi[71][2] bi[71][3] bi[71][4] bi[72][0] bi[72][1] bi[72][2] bi[72][3] bi[72][4] bi[73][0] bi[73][1] bi[73][2] bi[73][3] bi[73][4] bi[74][0] bi[74][1] bi[74][2] bi[74][3] bi[74][4] bi[75][0] bi[75][1] bi[75][2] bi[75][3] bi[75][4] bi[76][0] bi[76][1] bi[76][2] bi[76][3] bi[76][4] bi[77][0] bi[77][1] bi[77][2] bi[77][3] bi[77][4] bi[78][0] bi[78][1] bi[78][2] bi[78][3] bi[78][4] bi[79][0] bi[79][1] bi[79][2] bi[79][3] bi[79][4] bi[80][0] bi[80][1] bi[80][2] bi[80][3] bi[80][4] bi[81][0] bi[81][1] bi[81][2] bi[81][3] bi[81][4] bi[82][0] bi[82][1] bi[82][2] bi[82][3] bi[82][4] bi[83][0] bi[83][1] bi[83][2] bi[83][3] bi[83][4] bi[84][0] bi[84][1] bi[84][2] bi[84][3] bi[84][4] bi[85][0] bi[85][1] bi[85][2] bi[85][3] bi[85][4] bi[86][0] bi[86][1] bi[86][2] bi[86][3] bi[86][4] bi[87][0] bi[87][1] bi[87][2] bi[87][3] bi[87][4] bi[88][0] bi[88][1] bi[88][2] bi[88][3] bi[88][4] bi[89][0] bi[89][1] bi[89][2] bi[89][3] bi[89][4] bi[90][0] bi[90][1] bi[90][2] bi[90][3] bi[90][4] bi[91][0] bi[91][1] bi[91][2] bi[91][3] bi[91][4] bi[92][0] bi[92][1] bi[92][2] bi[92][3] bi[92][4] bi[93][0] bi[93][1] bi[93][2] bi[93][3] bi[93][4] bi[94][0] bi[94][1] bi[94][2] bi[94][3] bi[94][4] bi[95][0] bi[95][1] bi[95][2] bi[95][3] bi[95][4] bi[96][0] bi[96][1] bi[96][2] bi[96][3] bi[96][4] bi[97][0] bi[97][1] bi[97][2] bi[97][3] bi[97][4] bi[98][0] bi[98][1] bi[98][2] bi[98][3] bi[98][4] bi[99][0] bi[99][1] bi[99][2] bi[99][3] bi[99][4] bi[100][0] bi[100][1] bi[100][2] bi[100][3] bi[100][4] bi[101][0] bi[101][1] bi[101][2] bi[101][3] bi[101][4] bi[102][0] bi[102][1] bi[102][2] bi[102][3] bi[102][4] bi[103][0] bi[103][1] bi[103][2] bi[103][3] bi[103][4] bi[104][0] bi[104][1] bi[104][2] bi[104][3] bi[104][4] bi[105][0] bi[105][1] bi[105][2] bi[105][3] bi[105][4] bi[106][0] bi[106][1] bi[106][2] bi[106][3] bi[106][4] bi[107][0] bi[107][1] bi[107][2] bi[107][3] bi[107][4] bi[108][0] bi[108][1] bi[108][2] bi[108][3] bi[108][4] bi[109][0] bi[109][1] bi[109][2] bi[109][3] bi[109][4] bi[110][0] bi[110][1] bi[110][2] bi[110][3] bi[110][4] bi[111][0] bi[111][1] bi[111][2] bi[111][3] bi[111][4] bi[112][0] bi[112][1] bi[112][2] bi[112][3] bi[112][4] bi[113][0] bi[113][1] bi[113][2] bi[113][3] bi[113][4] bi[114][0] bi[114][1] bi[114][2] bi[114][3] bi[114][4] bi[115][0] bi[115][1] bi[115][2] bi[115][3] bi[115][4] bi[116][0] bi[116][1] bi[116][2] bi[116][3] bi[116][4] bi[117][0] bi[117][1] bi[117][2] bi[117][3] bi[117][4] bi[118][0] bi[118][1] bi[118][2] bi[118][3] bi[118][4] bi[119][0] bi[119][1] bi[119][2] bi[119][3] bi[119][4] bi[120][0] bi[120][1] bi[120][2] bi[120][3] bi[120][4] bi[121][0] bi[121][1] bi[121][2] bi[121][3] bi[121][4] bi[122][0] bi[122][1] bi[122][2] bi[122][3] bi[122][4] bi[123][0] bi[123][1] bi[123][2] bi[123][3] bi[123][4] bi[124][0] bi[124][1] bi[124][2] bi[124][3] bi[124][4] bi[125][0] bi[125][1] bi[125][2] bi[125][3] bi[125][4] bi[126][0] bi[126][1] bi[126][2] bi[126][3] bi[126][4] bi[127][0] bi[127][1] bi[127][2] bi[127][3] bi[127][4] bi[128][0] bi[128][1] bi[128][2] bi[128][3] bi[128][4] bi[129][0] bi[129][1] bi[129][2] bi[129][3] bi[129][4] bi[130][0] bi[130][1] bi[130][2] bi[130][3] bi[130][4] bi[131][0] bi[131][1] bi[131][2] bi[131][3] bi[131][4] bi[132][0] bi[132][1] bi[132][2] bi[132][3] bi[132][4] bi[133][0] bi[133][1] bi[133][2] bi[133][3] bi[133][4] bi[134][0] bi[134][1] bi[134][2] bi[134][3] bi[134][4] bi[135][0] bi[135][1] bi[135][2] bi[135][3] bi[135][4] bi[136][0] bi[136][1] bi[136][2] bi[136][3] bi[136][4] bi[137][0] bi[137][1] bi[137][2] bi[137][3] bi[137][4] bi[138][0] bi[138][1] bi[138][2] bi[138][3] bi[138][4] bi[139][0] bi[139][1] bi[139][2] bi[139][3] bi[139][4] bi[140][0] bi[140][1] bi[140][2] bi[140][3] bi[140][4] bi[141][0] bi[141][1] bi[141][2] bi[141][3] bi[141][4] bi[142][0] bi[142][1] bi[142][2] bi[142][3] bi[142][4] bi[143][0] bi[143][1] bi[143][2] bi[143][3] bi[143][4] bi[144][0] bi[144][1] bi[144][2] bi[144][3] bi[144][4] bi[145][0] bi[145][1] bi[145][2] bi[145][3] bi[145][4] bi[146][0] bi[146][1] bi[146][2] bi[146][3] bi[146][4] bi[147][0] bi[147][1] bi[147][2] bi[147][3] bi[147][4] bi[148][0] bi[148][1] bi[148][2] bi[148][3] bi[148][4] bi[149][0] bi[149][1] bi[149][2] bi[149][3] bi[149][4] bi[150][0] bi[150][1] bi[150][2] bi[150][3] bi[150][4] bi[151][0] bi[151][1] bi[151][2] bi[151][3] bi[151][4] bi[152][0] bi[152][1] bi[152][2] bi[152][3] bi[152][4] bi[153][0] bi[153][1] bi[153][2] bi[153][3] bi[153][4] bi[154][0] bi[154][1] bi[154][2] bi[154][3] bi[154][4] bi[155][0] bi[155][1] bi[155][2] bi[155][3] bi[155][4] bi[156][0] bi[156][1] bi[156][2] bi[156][3] bi[156][4] bi[157][0] bi[157][1] bi[157][2] bi[157][3] bi[157][4] bi[158][0] bi[158][1] bi[158][2] bi[158][3] bi[158][4] bi[159][0] bi[159][1] bi[159][2] bi[159][3] bi[159][4] bi[160][0] bi[160][1] bi[160][2] bi[160][3] bi[160][4] bi[161][0] bi[161][1] bi[161][2] bi[161][3] bi[161][4] bi[162][0] bi[162][1] bi[162][2] bi[162][3] bi[162][4] bi[163][0] bi[163][1] bi[163][2] bi[163][3] bi[163][4] bi[164][0] bi[164][1] bi[164][2] bi[164][3] bi[164][4] bi[165][0] bi[165][1] bi[165][2] bi[165][3] bi[165][4] bi[166][0] bi[166][1] bi[166][2] bi[166][3] bi[166][4] bi[167][0] bi[167][1] bi[167][2] bi[167][3] bi[167][4] bi[168][0] bi[168][1] bi[168][2] bi[168][3] bi[168][4] bi[169][0] bi[169][1] bi[169][2] bi[169][3] bi[169][4] bi[170][0] bi[170][1] bi[170][2] bi[170][3] bi[170][4] bi[171][0] bi[171][1] bi[171][2] bi[171][3] bi[171][4] bi[172][0] bi[172][1] bi[172][2] bi[172][3] bi[172][4] bi[173][0] bi[173][1] bi[173][2] bi[173][3] bi[173][4] bi[174][0] bi[174][1] bi[174][2] bi[174][3] bi[174][4] bi[175][0] bi[175][1] bi[175][2] bi[175][3] bi[175][4] bi[176][0] bi[176][1] bi[176][2] bi[176][3] bi[176][4] bi[177][0] bi[177][1] bi[177][2] bi[177][3] bi[177][4] bi[178][0] bi[178][1] bi[178][2] bi[178][3] bi[178][4] bi[179][0] bi[179][1] bi[179][2] bi[179][3] bi[179][4] bi[180][0] bi[180][1] bi[180][2] bi[180][3] bi[180][4] bi[181][0] bi[181][1] bi[181][2] bi[181][3] bi[181][4] bi[182][0] bi[182][1] bi[182][2] bi[182][3] bi[182][4] bi[183][0] bi[183][1] bi[183][2] bi[183][3] bi[183][4] bi[184][0] bi[184][1] bi[184][2] bi[184][3] bi[184][4] bi[185][0] bi[185][1] bi[185][2] bi[185][3] bi[185][4] bi[186][0] bi[186][1] bi[186][2] bi[186][3] bi[186][4] bi[187][0] bi[187][1] bi[187][2] bi[187][3] bi[187][4] bi[188][0] bi[188][1] bi[188][2] bi[188][3] bi[188][4] bi[189][0] bi[189][1] bi[189][2] bi[189][3] bi[189][4] bi[190][0] bi[190][1] bi[190][2] bi[190][3] bi[190][4] bi[191][0] bi[191][1] bi[191][2] bi[191][3] bi[191][4] bi[192][0] bi[192][1] bi[192][2] bi[192][3] bi[192][4] bi[193][0] bi[193][1] bi[193][2] bi[193][3] bi[193][4] bi[194][0] bi[194][1] bi[194][2] bi[194][3] bi[194][4] bi[195][0] bi[195][1] bi[195][2] bi[195][3] bi[195][4] bi[196][0] bi[196][1] bi[196][2] bi[196][3] bi[196][4] bi[197][0] bi[197][1] bi[197][2] bi[197][3] bi[197][4] bi[198][0] bi[198][1] bi[198][2] bi[198][3] bi[198][4] bi[199][0] bi[199][1] bi[199][2] bi[199][3] bi[199][4] bi[200][0] bi[200][1] bi[200][2] bi[200][3] bi[200][4] bi[201][0] bi[201][1] bi[201][2] bi[201][3] bi[201][4] bi[202][0] bi[202][1] bi[202][2] bi[202][3] bi[202][4] bi[203][0] bi[203][1] bi[203][2] bi[203][3] bi[203][4] bi[204][0] bi[204][1] bi[204][2] bi[204][3] bi[204][4] bi[205][0] bi[205][1] bi[205][2] bi[205][3] bi[205][4] bi[206][0] bi[206][1] bi[206][2] bi[206][3] bi[206][4] bi[207][0] bi[207][1] bi[207][2] bi[207][3] bi[207][4] bi[208][0] bi[208][1] bi[208][2] bi[208][3] bi[208][4] bi[209][0] bi[209][1] bi[209][2] bi[209][3] bi[209][4] bi[210][0] bi[210][1] bi[210][2] bi[210][3] bi[210][4] bi[211][0] bi[211][1] bi[211][2] bi[211][3] bi[211][4] bi[212][0] bi[212][1] bi[212][2] bi[212][3] bi[212][4] bi[213][0] bi[213][1] bi[213][2] bi[213][3] bi[213][4] bi[214][0] bi[214][1] bi[214][2] bi[214][3] bi[214][4] bi[215][0] bi[215][1] bi[215][2] bi[215][3] bi[215][4] bi[216][0] bi[216][1] bi[216][2] bi[216][3] bi[216][4] bi[217][0] bi[217][1] bi[217][2] bi[217][3] bi[217][4] bi[218][0] bi[218][1] bi[218][2] bi[218][3] bi[218][4] bi[219][0] bi[219][1] bi[219][2] bi[219][3] bi[219][4] bi[220][0] bi[220][1] bi[220][2] bi[220][3] bi[220][4] bi[221][0] bi[221][1] bi[221][2] bi[221][3] bi[221][4] bi[222][0] bi[222][1] bi[222][2] bi[222][3] bi[222][4] bi[223][0] bi[223][1] bi[223][2] bi[223][3] bi[223][4] bi[224][0] bi[224][1] bi[224][2] bi[224][3] bi[224][4] bi[225][0] bi[225][1] bi[225][2] bi[225][3] bi[225][4] bi[226][0] bi[226][1] bi[226][2] bi[226][3] bi[226][4] bi[227][0] bi[227][1] bi[227][2] bi[227][3] bi[227][4] bi[228][0] bi[228][1] bi[228][2] bi[228][3] bi[228][4] bi[229][0] bi[229][1] bi[229][2] bi[229][3] bi[229][4] bi[230][0] bi[230][1] bi[230][2] bi[230][3] bi[230][4] bi[231][0] bi[231][1] bi[231][2] bi[231][3] bi[231][4] bi[232][0] bi[232][1] bi[232][2] bi[232][3] bi[232][4] bi[233][0] bi[233][1] bi[233][2] bi[233][3] bi[233][4] bi[234][0] bi[234][1] bi[234][2] bi[234][3] bi[234][4] bi[235][0] bi[235][1] bi[235][2] bi[235][3] bi[235][4] bi[236][0] bi[236][1] bi[236][2] bi[236][3] bi[236][4] bi[237][0] bi[237][1] bi[237][2] bi[237][3] bi[237][4] bi[238][0] bi[238][1] bi[238][2] bi[238][3] bi[238][4] bi[239][0] bi[239][1] bi[239][2] bi[239][3] bi[239][4] bi[240][0] bi[240][1] bi[240][2] bi[240][3] bi[240][4] bi[241][0] bi[241][1] bi[241][2] bi[241][3] bi[241][4] bi[242][0] bi[242][1] bi[242][2] bi[242][3] bi[242][4] g[0] g[1] g[2]</list>
136.74/115.12	v     <values>0 2 6 19 57 172 31 95 43 130 147 198 109 86 17 52 157 230 205 129 144 190 85 12 36 108 81 1 3 9 27 82 4 14 42 127 138 173 34 102 65 197 107 80 240 235 220 174 37 112 94 41 124 131 150 207 137 170 25 76 229 202 121 122 125 132 155 222 182 60 180 56 169 22 68 204 128 143 186 73 219 171 28 84 10 30 91 32 97 50 152 215 159 236 224 188 79 238 228 199 113 96 47 142 184 66 200 116 105 72 217 167 15 45 136 166 13 39 117 110 88 23 69 208 139 175 40 120 119 114 99 55 165 11 33 100 58 176 44 134 160 237 226 193 93 38 115 104 70 212 151 210 146 195 101 61 183 63 189 83 8 26 78 234 216 163 5 16 49 149 206 133 156 225 191 87 18 54 164 7 21 64 194 98 51 154 221 177 46 140 179 53 161 242 241 239 231 209 141 181 59 178 48 145 192 90 29 89 24 74 223 185 71 214 158 232 211 148 201 118 111 92 35 106 77 233 213 153 218 168 20 62 187 75 227 196 103 67 203 123 126 135 162 0 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 0 2 0 1 0 2 0 1 0 2 0 1 0 1 0 1 0 1 1 1 0 1 1 2 0 1 1 2 1 1 1 2 1 1 1 2 1 1 0 2 1 1 0 0 1 1 0 0 1 1 0 0 1 2 0 0 1 2 2 0 1 2 2 1 1 2 2 1 1 2 2 1 1 2 2 1 1 2 1 1 1 2 1 0 1 2 1 0 0 2 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 1 2 0 1 1 2 0 1 1 2 0 1 1 2 0 1 0 2 0 1 0 2 0 1 0 2 1 1 0 2 1 0 0 2 1 0 2 2 1 0 2 2 1 0 2 2 2 0 2 2 2 2 2 2 2 2 0 2 2 2 0 1 2 2 0 1 1 2 0 1 1 0 0 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 2 1 1 1 2 1 1 1 2 1 2 1 2 1 2 0 2 1 2 0 0 1 2 0 0 2 2 0 0 2 2 0 0 2 2 1 0 2 2 1 1 2 2 1 1 1 2 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 1 1 2 2 1 1 2 2 0 1 2 2 0 2 2 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 0 0 2 0 0 2 2 0 0 2 1 0 0 2 1 1 0 2 1 1 2 2 1 1 2 0 1 1 2 0 2 1 2 0 2 2 2 0 2 2 0 0 2 2 0 1 2 2 0 1 0 2 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 2 1 0 1 2 1 0 1 2 1 2 1 2 1 2 2 2 1 2 2 2 1 2 2 2 0 2 2 2 0 2 2 2 0 2 2 2 0 2 2 2 0 2 2 2 1 2 2 2 1 1 2 2 1 1 0 2 1 1 0 1 1 1 0 1 2 1 0 1 2 0 0 1 2 0 2 1 2 0 2 1 2 0 2 1 1 0 2 1 1 0 2 1 1 0 2 1 1 0 2 2 1 0 2 2 0 0 2 2 0 0 2 2 0 0 1 2 0 0 1 2 0 0 1 2 0 0 1 2 0 0 1 2 0 0 1 2 0 0 1 1 0 0 1 1 1 0 1 1 1 0 1 1 1 0 0 1 1 0 0 2 1 0 0 2 1 0 0 2 1 2 0 2 1 2 0 2 1 2 0 1 1 2 0 1 1 2 0 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 0 2 1 1 0 2 0 1 0 2 0 0 0 2 0 0 1 2 0 0 1 0 0 0 1 0 2 0 1 0 2 0 1 0 2 0 1 0 2 0 1 1 2 0 1 1 2 0 1 1 2 2 1 1 2 2 2 1 2 2 2 1 2 2 2 1 0 2 2 1 0 1 2 1 0 1 1 1 0 1 1 0 0 1 1 0 2 1 1 0 2 1 1 0 2 1 2 0 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 0 1 2 1 0 2 2 1 0 2 0 1 0 2 0 2 0 2 0 2 1 2 0 2 1 0 0 2 1 0 0 2 1 0 0 0 1 0 0 0 2 0 0 0 2 2 0 0 2 2 2 0 2 2 2 0 2 2 2 0 0 2 2 0 0 0 2 0 0 0 1 0 0 0 1 2 0 0 1 2 1 0 1 2 1 1 1 2 1 1 2 2 1 1 2 2 1 1 2 2 1 1 2 2 1 0 2 2 1 0 0 2 1 0 0 2 1 0 0 2 0 0 0 2 0 0 0 2 0 0 0 2 0 0 0 2 0 0 0 2 1 0 0 2 1 0 0 2 1 0 1 2 1 0 1 2 1 0 1 2 2 0 1 2 2 0 1 2 2 0 1 2 2 0 1 2 2 0 1 2 0 0 1 2 0 1 1 2 0 1 2 2 0 1 2 2 0 1 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 1 2 2 2 1 2 0 2 1 2 0 2 1 2 0 2 0 2 0 2 0 1 0 2 0 1 2 2 0 1 2 1 0 1 2 1 0 1 2 1 0 1 2 1 0 1 0 1 0 1 0 0 0 1 0 0 2 1 0 0 2 2 0 0 2 2 0 0 2 2 0 2 2 2 0 2 1 2 0 2 1 2 0 2 1 2 2 2 1 2 2 1 1 2 2 1 2 2 2 1 2 1 2 1 2 1 1 1 2 1 1 1 2 1 1 1 0 1 1 1 0 1 1 1 0 1 0 1 0 1 0 2 0 1 0 2 2 1 0 2 2 1 0 2 2 1 2 2 2 1 2 2 2 1 2 2 0 1 2 2 0 0 2 2 0 0 2 2 0 0 2 0 0 0 2 0 2 0 2 0 2 2 2 0 2 2 1 0 2 2 1 0 2 2 1 0 2 2 1 0 2 1 1 0 2 1 1 0 2 1 1 1 2 1 1 1 2 1 1 1 2 0 1 1 2 0 0 1 2 0 0 0 2 0 0 0 0 81 81 81</values>
136.74/115.12	v </instantiation>
136.74/115.12	c (39,0) Show results End
136.74/115.12	c (39,0) Heap : 286 MiB used (max 3925 MiB), NonHeap : 20 MiB used (max 0 MiB)
136.74/115.12	c (39,0) 39,39,STOP-AFTER(ALL)
136.74/115.12	c END-Prog: Thu Sep 12 14:12:15 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 (8412 MiB free)
  memory of node 1: 16384 MiB (12900 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387774-1568290119/watcher-4387774-1568290119 -o /tmp/evaluation-result-4387774-1568290119/solver-4387774-1568290119 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568287468-5189 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387774-1568290119.xml 

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

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

solver pid=6052, runsolver pid=6049

[startup+0.100232 s]*
/proc/loadavg: 1.98 2.01 2.00 4/233 6069
/proc/meminfo: memFree=21766244/32770624 swapFree=66901220/67108860
[pid=6052] ppid=6049 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6052/stat : 6052 (scop.sh) S 6049 6052 3961 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405279434 115843072 349 33554432000 4194304 5098028 140722856383872 140722856381128 140459322901116 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16277504 140722856387427 140722856387696 140722856387696 140722856390605 0
/proc/6052/statm: 28282 349 296 221 0 87 0
[pid=6055] ppid=6052 vsize=15012696 memory=71900 CPUtime=0.11 cores=0,2,4,6
/proc/6055/stat : 6055 (java) S 6052 6052 3961 0 -1 1077944320 6245 0 0 0 10 1 0 0 20 0 15 0 405279434 15373000704 17975 33554432000 4194304 4196468 140726065641040 140726065623584 139839244844791 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
/proc/6055/statm: 3753174 17975 2923 1 0 3715579 0
[pid=6055/tid=6056] ppid=6052 vsize=15012696 memory=-2843876188059649182 CPUtime=0.09 cores=0,2,4,6
/proc/6055/task/6056/stat : 6056 (java) R 6052 6052 3961 0 -1 4202560 4113 0 0 0 8 1 0 0 20 0 15 0 405279435 15373000704 18041 33554432000 4194304 4196468 140726065641040 139839216638600 139839228925278 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6057] ppid=6052 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6057/stat : 6057 (java) S 6052 6052 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405279436 15373000704 18041 33554432000 4194304 4196468 140726065641040 139839249086736 139839244854997 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6058] ppid=6052 vsize=15012696 memory=139937623754368 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6058/stat : 6058 (java) S 6052 6052 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405279436 15373000704 18041 33554432000 4194304 4196468 140726065641040 139839040170384 139839244854997 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6059] ppid=6052 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6059/stat : 6059 (java) S 6052 6052 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405279436 15373000704 18041 33554432000 4194304 4196468 140726065641040 139839039117840 139839244854997 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6060] ppid=6052 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6060/stat : 6060 (java) S 6052 6052 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405279436 15373000704 18041 33554432000 4194304 4196468 140726065641040 139839038065296 139839244854997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6061] ppid=6052 vsize=15012696 memory=139937623754368 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6061/stat : 6061 (java) S 6052 6052 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405279438 15373000704 18041 33554432000 4194304 4196468 140726065641040 139838103845360 139839244855938 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6062] ppid=6052 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6062/stat : 6062 (java) S 6052 6052 3961 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405279438 15373000704 18041 33554432000 4194304 4196468 140726065641040 139837826917792 139839244854997 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6063] ppid=6052 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6063/stat : 6063 (java) S 6052 6052 3961 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405279438 15373000704 18041 33554432000 4194304 4196468 140726065641040 139837692696048 139839244854997 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6064] ppid=6052 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6064/stat : 6064 (java) S 6052 6052 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405279441 15373000704 18041 33554432000 4194304 4196468 140726065641040 139837318191824 139839244863387 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6065] ppid=6052 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6065/stat : 6065 (java) S 6052 6052 3961 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 405279441 15373000704 18041 33554432000 4194304 4196468 140726065641040 139838102792176 139839244855938 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6066] ppid=6052 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6066/stat : 6066 (java) S 6052 6052 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405279441 15373000704 18041 33554432000 4194304 4196468 140726065641040 139838101739632 139839244855938 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6067] ppid=6052 vsize=15012696 memory=139937623754368 CPUtime=0.01 cores=0,2,4,6
/proc/6055/task/6067/stat : 6067 (java) R 6052 6052 3961 0 -1 4202560 452 0 0 0 1 0 0 0 20 0 15 0 405279441 15373000704 18041 33554432000 4194304 4196468 140726065641040 139838100684296 139839237081918 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6068] ppid=6052 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6068/stat : 6068 (java) S 6052 6052 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405279441 15373000704 18041 33554432000 4194304 4196468 140726065641040 139836820286048 139839244854997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6069] ppid=6052 vsize=15012696 memory=139937623754368 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6069/stat : 6069 (java) S 6052 6052 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405279441 15373000704 18041 33554432000 4194304 4196468 140726065641040 139838099634992 139839244855938 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 73296 KiB

[startup+0.210866 s]*
/proc/loadavg: 1.98 2.01 2.00 3/233 6069
/proc/meminfo: memFree=21746608/32770624 swapFree=66901220/67108860
[pid=6052] ppid=6049 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6052/stat : 6052 (scop.sh) S 6049 6052 3961 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405279434 115843072 349 33554432000 4194304 5098028 140722856383872 140722856381128 140459322901116 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16277504 140722856387427 140722856387696 140722856387696 140722856390605 0
/proc/6052/statm: 28282 349 296 221 0 87 0
[pid=6055] ppid=6052 vsize=15012696 memory=87008 CPUtime=0.25 cores=0,2,4,6
/proc/6055/stat : 6055 (java) S 6052 6052 3961 0 -1 1077944320 11371 0 0 0 22 3 0 0 20 0 15 0 405279434 15373000704 21752 33554432000 4194304 4196468 140726065641040 140726065623584 139839244844791 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
/proc/6055/statm: 3753174 21752 2926 1 0 3715579 0
[pid=6055/tid=6056] ppid=6052 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/6055/task/6056/stat : 6056 (java) R 6052 6052 3961 0 -1 4202560 9087 0 0 0 17 3 0 0 20 0 15 0 405279435 15373000704 21752 33554432000 4194304 4196468 140726065641040 139839216652352 139839244856726 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6057] ppid=6052 vsize=15012696 memory=538 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6057/stat : 6057 (java) S 6052 6052 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405279436 15373000704 21752 33554432000 4194304 4196468 140726065641040 139839249086736 139839244854997 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6058] ppid=6052 vsize=15012696 memory=139937623763184 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6058/stat : 6058 (java) S 6052 6052 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405279436 15373000704 21752 33554432000 4194304 4196468 140726065641040 139839040170384 139839244854997 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6059] ppid=6052 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6059/stat : 6059 (java) S 6052 6052 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405279436 15373000704 21752 33554432000 4194304 4196468 140726065641040 139839039117840 139839244854997 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6060] ppid=6052 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6060/stat : 6060 (java) S 6052 6052 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405279436 15373000704 21752 33554432000 4194304 4196468 140726065641040 139839038065296 139839244854997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6061] ppid=6052 vsize=15012696 memory=139937623754368 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6061/stat : 6061 (java) S 6052 6052 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405279438 15373000704 21752 33554432000 4194304 4196468 140726065641040 139838103845360 139839244855938 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6062] ppid=6052 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6062/stat : 6062 (java) S 6052 6052 3961 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405279438 15373000704 21752 33554432000 4194304 4196468 140726065641040 139837826917792 139839244854997 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6063] ppid=6052 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6063/stat : 6063 (java) S 6052 6052 3961 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405279438 15373000704 21752 33554432000 4194304 4196468 140726065641040 139837692696048 139839244854997 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6064] ppid=6052 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6064/stat : 6064 (java) S 6052 6052 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405279441 15373000704 21752 33554432000 4194304 4196468 140726065641040 139837318191824 139839244863387 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6065] ppid=6052 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6065/stat : 6065 (java) S 6052 6052 3961 0 -1 1077944384 433 0 0 0 0 0 0 0 20 0 15 0 405279441 15373000704 21752 33554432000 4194304 4196468 140726065641040 139838102792176 139839244855938 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6066] ppid=6052 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6066/stat : 6066 (java) S 6052 6052 3961 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 405279441 15373000704 21752 33554432000 4194304 4196468 140726065641040 139838101739632 139839244855938 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6067] ppid=6052 vsize=15012696 memory=139937623754368 CPUtime=0.03 cores=0,2,4,6
/proc/6055/task/6067/stat : 6067 (java) R 6052 6052 3961 0 -1 4202560 458 0 0 0 3 0 0 0 20 0 15 0 405279441 15373000704 21752 33554432000 4194304 4196468 140726065641040 139838100687088 139839223760640 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6068] ppid=6052 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6068/stat : 6068 (java) S 6052 6052 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405279441 15373000704 21752 33554432000 4194304 4196468 140726065641040 139836820286048 139839244854997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6069] ppid=6052 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6069/stat : 6069 (java) S 6052 6052 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405279441 15373000704 21752 33554432000 4194304 4196468 140726065641040 139838099634992 139839244855938 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 88404 KiB

[startup+0.310622 s]*
/proc/loadavg: 1.98 2.01 2.00 4/233 6069
/proc/meminfo: memFree=21744560/32770624 swapFree=66901220/67108860
[pid=6052] ppid=6049 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6052/stat : 6052 (scop.sh) S 6049 6052 3961 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405279434 115843072 349 33554432000 4194304 5098028 140722856383872 140722856381128 140459322901116 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16277504 140722856387427 140722856387696 140722856387696 140722856390605 0
/proc/6052/statm: 28282 349 296 221 0 87 0
[pid=6055] ppid=6052 vsize=15012696 memory=90880 CPUtime=0.43 cores=0,2,4,6
/proc/6055/stat : 6055 (java) S 6052 6052 3961 0 -1 1077944320 12209 0 0 0 39 4 0 0 20 0 15 0 405279434 15373000704 22720 33554432000 4194304 4196468 140726065641040 140726065623584 139839244844791 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
/proc/6055/statm: 3753174 22720 3074 1 0 3715579 0
[pid=6055/tid=6056] ppid=6052 vsize=15012696 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/6055/task/6056/stat : 6056 (java) R 6052 6052 3961 0 -1 4202560 9756 0 0 0 26 3 0 0 20 0 15 0 405279435 15373000704 22720 33554432000 4194304 4196468 140726065641040 139839216657136 139839226408366 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6057] ppid=6052 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6057/stat : 6057 (java) S 6052 6052 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405279436 15373000704 22720 33554432000 4194304 4196468 140726065641040 139839249086736 139839244854997 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6058] ppid=6052 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6058/stat : 6058 (java) S 6052 6052 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405279436 15373000704 22720 33554432000 4194304 4196468 140726065641040 139839040170384 139839244854997 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6059] ppid=6052 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6059/stat : 6059 (java) S 6052 6052 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405279436 15373000704 22720 33554432000 4194304 4196468 140726065641040 139839039117840 139839244854997 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6060] ppid=6052 vsize=15012696 memory=6933954179156714387 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6060/stat : 6060 (java) S 6052 6052 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405279436 15373000704 22720 33554432000 4194304 4196468 140726065641040 139839038065296 139839244854997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6061] ppid=6052 vsize=15012696 memory=7684433391216329786 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6061/stat : 6061 (java) S 6052 6052 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405279438 15373000704 22720 33554432000 4194304 4196468 140726065641040 139838103845360 139839244855938 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6062] ppid=6052 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6062/stat : 6062 (java) S 6052 6052 3961 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405279438 15373000704 22720 33554432000 4194304 4196468 140726065641040 139837826917792 139839244854997 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6063] ppid=6052 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6063/stat : 6063 (java) S 6052 6052 3961 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405279438 15373000704 22720 33554432000 4194304 4196468 140726065641040 139837692696048 139839244854997 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6064] ppid=6052 vsize=15012696 memory=-8412656567168561567 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6064/stat : 6064 (java) S 6052 6052 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405279441 15373000704 22720 33554432000 4194304 4196468 140726065641040 139837318191824 139839244863387 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6065] ppid=6052 vsize=15012696 memory=-7384621950708166502 CPUtime=0.02 cores=0,2,4,6
/proc/6055/task/6065/stat : 6065 (java) S 6052 6052 3961 0 -1 1077944384 471 0 0 0 2 0 0 0 20 0 15 0 405279441 15373000704 22720 33554432000 4194304 4196468 140726065641040 139838102792176 139839244855938 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6066] ppid=6052 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6055/task/6066/stat : 6066 (java) S 6052 6052 3961 0 -1 1077944384 150 0 0 0 2 0 0 0 20 0 15 0 405279441 15373000704 22720 33554432000 4194304 4196468 140726065641040 139838101739632 139839244855938 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6067] ppid=6052 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6055/task/6067/stat : 6067 (java) S 6052 6052 3961 0 -1 1077944384 480 0 0 0 7 0 0 0 20 0 15 0 405279441 15373000704 22720 33554432000 4194304 4196468 140726065641040 139838100687088 139839244855938 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6068] ppid=6052 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6068/stat : 6068 (java) S 6052 6052 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405279441 15373000704 22720 33554432000 4194304 4196468 140726065641040 139836820286048 139839244854997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6069] ppid=6052 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6069/stat : 6069 (java) S 6052 6052 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405279441 15373000704 22720 33554432000 4194304 4196468 140726065641040 139838099634992 139839244855938 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 92276 KiB

[startup+0.705976 s]
/proc/loadavg: 1.98 2.01 2.00 3/233 6069
/proc/meminfo: memFree=21723580/32770624 swapFree=66901220/67108860
[pid=6052] ppid=6049 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6052/stat : 6052 (scop.sh) S 6049 6052 3961 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405279434 115843072 349 33554432000 4194304 5098028 140722856383872 140722856381128 140459322901116 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16277504 140722856387427 140722856387696 140722856387696 140722856390605 0
/proc/6052/statm: 28282 349 296 221 0 87 0
[pid=6055] ppid=6052 vsize=15018968 memory=129664 CPUtime=1.06 cores=0,2,4,6
/proc/6055/stat : 6055 (java) S 6052 6052 3961 0 -1 1077944320 19180 0 0 0 100 6 0 0 20 0 15 0 405279434 15379423232 32416 33554432000 4194304 4196468 140726065641040 140726065623584 139839244844791 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
/proc/6055/statm: 3754742 32416 3183 1 0 3716091 0
[pid=6055/tid=6056] ppid=6052 vsize=15018968 memory=-7604262568725289114 CPUtime=0.68 cores=0,2,4,6
/proc/6055/task/6056/stat : 6056 (java) R 6052 6052 3961 0 -1 4202560 16218 0 0 0 63 5 0 0 20 0 15 0 405279435 15379423232 32416 33554432000 4194304 4196468 140726065641040 139839216676544 139839228925278 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6057] ppid=6052 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6057/stat : 6057 (java) S 6052 6052 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405279436 15379423232 32416 33554432000 4194304 4196468 140726065641040 139839249086736 139839244854997 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6058] ppid=6052 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6058/stat : 6058 (java) S 6052 6052 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405279436 15379423232 32416 33554432000 4194304 4196468 140726065641040 139839040170384 139839244854997 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6059] ppid=6052 vsize=15018968 memory=36604 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6059/stat : 6059 (java) S 6052 6052 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405279436 15379423232 32416 33554432000 4194304 4196468 140726065641040 139839039117840 139839244854997 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6060] ppid=6052 vsize=15018968 memory=988 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6060/stat : 6060 (java) S 6052 6052 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405279436 15379423232 32416 33554432000 4194304 4196468 140726065641040 139839038065296 139839244854997 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6061] ppid=6052 vsize=15018968 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6061/stat : 6061 (java) S 6052 6052 3961 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405279438 15379423232 32416 33554432000 4194304 4196468 140726065641040 139838103845360 139839244855938 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6062] ppid=6052 vsize=15018968 memory=1268 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6062/stat : 6062 (java) S 6052 6052 3961 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405279438 15379423232 32416 33554432000 4194304 4196468 140726065641040 139837826917792 139839244854997 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6063] ppid=6052 vsize=15018968 memory=10728 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6063/stat : 6063 (java) S 6052 6052 3961 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405279438 15379423232 32416 33554432000 4194304 4196468 140726065641040 139837692696048 139839244854997 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6064] ppid=6052 vsize=15018968 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6064/stat : 6064 (java) S 6052 6052 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405279441 15379423232 32416 33554432000 4194304 4196468 140726065641040 139837318191824 139839244863387 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6065] ppid=6052 vsize=15018968 memory=4004 CPUtime=0.07 cores=0,2,4,6
/proc/6055/task/6065/stat : 6065 (java) R 6052 6052 3961 0 -1 4202560 585 0 0 0 7 0 0 0 20 0 15 0 405279441 15379423232 32416 33554432000 4194304 4196468 140726065641040 139838102781968 139839230908737 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6066] ppid=6052 vsize=15018968 memory=2832 CPUtime=0.1 cores=0,2,4,6
/proc/6055/task/6066/stat : 6066 (java) R 6052 6052 3961 0 -1 4202560 376 0 0 0 10 0 0 0 20 0 15 0 405279441 15379423232 32416 33554432000 4194304 4196468 140726065641040 139838101739632 139839224353520 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6067] ppid=6052 vsize=15018968 memory=624 CPUtime=0.17 cores=0,2,4,6
/proc/6055/task/6067/stat : 6067 (java) R 6052 6052 3961 0 -1 1077944384 647 0 0 0 17 0 0 0 20 0 15 0 405279441 15379423232 32416 33554432000 4194304 4196468 140726065641040 139838100682128 139839244854997 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6068] ppid=6052 vsize=15018968 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6068/stat : 6068 (java) S 6052 6052 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405279441 15379423232 32416 33554432000 4194304 4196468 140726065641040 139836820286048 139839244854997 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
[pid=6055/tid=6069] ppid=6052 vsize=15018968 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/6055/task/6069/stat : 6069 (java) S 6052 6052 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405279441 15379423232 32416 33554432000 4194304 4196468 140726065641040 139838099634992 139839244855938 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36995072 140726065648426 140726065648794 140726065648794 140726065651663 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 131060 KiB

[startup+1.50079 s]
/proc/loadavg: 1.98 2.01 2.00 5/233 6069
/proc/meminfo: memFree=21686356/32770624 swapFree=66901220/67108860
[pid=6052] ppid=6049 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6052/stat : 6052 (scop.sh) S 6049 6052 3961 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405279434 115843072 349 33554432000 4194304 5098028 140722856383872 140722856381128 140459322901116 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16277504 140722856387427 140722856387696 140722856387696 140722856390605 0
/proc/6052/statm: 28282 349 296 221 0 87 0

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

[pid=6156/tid=6168] ppid=6052 vsize=8068440 memory=1476 CPUtime=0.31 cores=0,2,4,6
/proc/6156/task/6168/stat : 6168 (java) S 6052 6052 3961 0 -1 1077944384 1842 0 0 0 31 0 0 0 20 0 19 0 405286954 8262082560 36176 33554432000 4194304 4196468 140730660705024 140296222849136 140296846695042 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6169] ppid=6052 vsize=8068440 memory=124656 CPUtime=0 cores=0,2,4,6
/proc/6156/task/6169/stat : 6169 (java) S 6052 6052 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405286955 8262082560 36176 33554432000 4194304 4196468 140730660705024 140294569847008 140296846694101 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6170] ppid=6052 vsize=8068440 memory=1612876 CPUtime=0.02 cores=0,2,4,6
/proc/6156/task/6170/stat : 6170 (java) S 6052 6052 3961 0 -1 1077944384 5 0 0 0 1 1 0 0 20 0 19 0 405286955 8262082560 36176 33554432000 4194304 4196468 140730660705024 140296221797552 140296846695042 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6172] ppid=6052 vsize=8068440 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/6156/task/6172/stat : 6172 (java) S 6052 6052 3961 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405287029 8262082560 36176 33554432000 4194304 4196468 140730660705024 140296213763776 140296846708505 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6174] ppid=6052 vsize=8068440 memory=36604 CPUtime=0.11 cores=0,2,4,6
/proc/6156/task/6174/stat : 6174 (java) R 6052 6052 3961 0 -1 4202560 111 0 0 0 11 0 0 0 20 0 19 0 405287030 8262082560 36176 33554432000 4194304 4196468 140730660705024 140294032961488 140296335126987 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6175] ppid=6052 vsize=8068440 memory=988 CPUtime=0 cores=0,2,4,6
/proc/6156/task/6175/stat : 6175 (java) S 6052 6052 3961 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405287030 8262082560 36176 33554432000 4194304 4196468 140730660705024 140294167183024 140296846705821 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6176] ppid=6052 vsize=8068440 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/6156/task/6176/stat : 6176 (java) S 6052 6052 3961 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405287032 8262082560 36176 33554432000 4194304 4196468 140730660705024 140293764537520 140296846694101 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
Current children cumulated CPU time: 134.99 s
Current children cumulated vsize: 10104380 KiB
Current children cumulated memory: 1758884 KiB

[startup+114.801 s]
/proc/loadavg: 2.07 2.12 2.05 3/239 6200
/proc/meminfo: memFree=21906796/32770624 swapFree=66901220/67108860
[pid=6052] ppid=6049 vsize=113128 memory=1476 CPUtime=94.77 cores=0,2,4,6
/proc/6052/stat : 6052 (scop.sh) S 6049 6052 3961 0 -1 4202496 583 64596 0 0 0 0 9251 226 20 0 1 0 405279434 115843072 369 33554432000 4194304 5098028 140722856383872 140722856380616 140459322901116 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16277504 140722856387427 140722856387696 140722856387696 140722856390605 0
/proc/6052/statm: 28282 369 311 221 0 87 0
[pid=6156] ppid=6052 vsize=8068440 memory=298340 CPUtime=2.71 cores=0,2,4,6
/proc/6156/stat : 6156 (java) S 6052 6052 3961 0 -1 1077944320 23631 0 0 0 259 12 0 0 20 0 19 0 405286948 8262082560 74585 33554432000 4194304 4196468 140730660705024 140730660687568 140296846683895 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
/proc/6156/statm: 2017110 74585 3237 1 0 1978454 0
[pid=6171] ppid=6156 vsize=1653208 memory=1010612 CPUtime=38.52 cores=0,2,4,6
/proc/6171/stat : 6171 (cryptominisat5) R 6156 6052 3961 0 -1 4202496 1230567 0 0 0 3742 110 0 0 20 0 1 0 405287029 1692884992 252653 33554432000 4194304 4451008 140730524447072 140730524444296 140699571236391 0 4 0 2 0 0 0 17 0 0 0 0 0 0 6549032 6559120 28979200 140730524455869 140730524456000 140730524456000 140730524458950 0
/proc/6171/statm: 413302 252653 690 63 0 407029 0
[pid=6156/tid=6157] ppid=6052 vsize=8068440 memory=1724 CPUtime=0.85 cores=0,2,4,6
/proc/6156/task/6157/stat : 6157 (java) S 6052 6052 3961 0 -1 1077944384 16921 0 0 0 78 7 0 0 20 0 19 0 405286948 8262082560 74585 33554432000 4194304 4196468 140730660705024 140296818524064 140296846694101 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6158] ppid=6052 vsize=8068440 memory=1096 CPUtime=0 cores=0,2,4,6
/proc/6156/task/6158/stat : 6158 (java) S 6052 6052 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405286949 8262082560 74585 33554432000 4194304 4196468 140730660705024 140296850926224 140296846694101 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6159] ppid=6052 vsize=8068440 memory=1192 CPUtime=0 cores=0,2,4,6
/proc/6156/task/6159/stat : 6159 (java) S 6052 6052 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405286949 8262082560 74585 33554432000 4194304 4196468 140730660705024 140296331454992 140296846694101 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6160] ppid=6052 vsize=8068440 memory=5940 CPUtime=0 cores=0,2,4,6
/proc/6156/task/6160/stat : 6160 (java) S 6052 6052 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405286949 8262082560 74585 33554432000 4194304 4196468 140730660705024 140296330402192 140296846694101 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6161] ppid=6052 vsize=8068440 memory=780 CPUtime=0 cores=0,2,4,6
/proc/6156/task/6161/stat : 6161 (java) S 6052 6052 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405286949 8262082560 74585 33554432000 4194304 4196468 140730660705024 140296329349392 140296846694101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6162] ppid=6052 vsize=8068440 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/6156/task/6162/stat : 6162 (java) S 6052 6052 3961 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405286951 8262082560 74585 33554432000 4194304 4196468 140730660705024 140296226007920 140296846695042 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6163] ppid=6052 vsize=8068440 memory=19032 CPUtime=0 cores=0,2,4,6
/proc/6156/task/6163/stat : 6163 (java) S 6052 6052 3961 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405286951 8262082560 74585 33554432000 4194304 4196468 140730660705024 140295710696992 140296846694101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6164] ppid=6052 vsize=8068440 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/6156/task/6164/stat : 6164 (java) S 6052 6052 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405286952 8262082560 74585 33554432000 4194304 4196468 140730660705024 140295442261360 140296846694101 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6165] ppid=6052 vsize=8068440 memory=12024 CPUtime=0 cores=0,2,4,6
/proc/6156/task/6165/stat : 6165 (java) S 6052 6052 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405286954 8262082560 74585 33554432000 4194304 4196468 140730660705024 140295067752784 140296846702491 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6166] ppid=6052 vsize=8068440 memory=1560 CPUtime=0.53 cores=0,2,4,6
/proc/6156/task/6166/stat : 6166 (java) S 6052 6052 3961 0 -1 1077944384 1616 0 0 0 53 0 0 0 20 0 19 0 405286954 8262082560 74585 33554432000 4194304 4196468 140730660705024 140296224954736 140296846695042 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6167] ppid=6052 vsize=8068440 memory=500 CPUtime=0.52 cores=0,2,4,6
/proc/6156/task/6167/stat : 6167 (java) S 6052 6052 3961 0 -1 1077944384 1637 0 0 0 52 0 0 0 20 0 19 0 405286954 8262082560 74585 33554432000 4194304 4196468 140730660705024 140296223901936 140296846695042 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6168] ppid=6052 vsize=8068440 memory=7522529160722997842 CPUtime=0.33 cores=0,2,4,6
/proc/6156/task/6168/stat : 6168 (java) S 6052 6052 3961 0 -1 1077944384 1872 0 0 0 33 0 0 0 20 0 19 0 405286954 8262082560 74585 33554432000 4194304 4196468 140730660705024 140296222849136 140296846695042 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6169] ppid=6052 vsize=8068440 memory=7737560641176889957 CPUtime=0 cores=0,2,4,6
/proc/6156/task/6169/stat : 6169 (java) S 6052 6052 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405286955 8262082560 74585 33554432000 4194304 4196468 140730660705024 140294569847008 140296846694101 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6170] ppid=6052 vsize=8068440 memory=7737560641176889957 CPUtime=0.02 cores=0,2,4,6
/proc/6156/task/6170/stat : 6170 (java) S 6052 6052 3961 0 -1 1077944384 5 0 0 0 1 1 0 0 20 0 19 0 405286955 8262082560 74585 33554432000 4194304 4196468 140730660705024 140296221797552 140296846695042 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6172] ppid=6052 vsize=8068440 memory=8097590195817833828 CPUtime=0 cores=0,2,4,6
/proc/6156/task/6172/stat : 6172 (java) S 6052 6052 3961 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405287029 8262082560 74585 33554432000 4194304 4196468 140730660705024 140296213763776 140296846708505 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6174] ppid=6052 vsize=8068440 memory=8097590195817833828 CPUtime=0.41 cores=0,2,4,6
/proc/6156/task/6174/stat : 6174 (java) S 6052 6052 3961 0 -1 4202560 197 0 0 0 39 2 0 0 20 0 19 0 405287030 8262082560 74585 33554432000 4194304 4196468 140730660705024 140294032961632 140296846705821 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6175] ppid=6052 vsize=8068440 memory=8097590195817833828 CPUtime=0 cores=0,2,4,6
/proc/6156/task/6175/stat : 6175 (java) S 6052 6052 3961 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405287030 8262082560 74585 33554432000 4194304 4196468 140730660705024 140294167183024 140296846705821 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6176] ppid=6052 vsize=8068440 memory=7737560641176889957 CPUtime=0 cores=0,2,4,6
/proc/6156/task/6176/stat : 6176 (java) S 6052 6052 3961 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405287032 8262082560 74585 33554432000 4194304 4196468 140730660705024 140293764537520 140296846694101 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
Current children cumulated CPU time: 136 s
Current children cumulated vsize: 9834776 KiB
Current children cumulated memory: 1310428 KiB

[startup+115.001 s]*
/proc/loadavg: 2.07 2.12 2.05 5/236 6200
/proc/meminfo: memFree=23335876/32770624 swapFree=66901220/67108860
[pid=6052] ppid=6049 vsize=113128 memory=1476 CPUtime=94.77 cores=0,2,4,6
/proc/6052/stat : 6052 (scop.sh) S 6049 6052 3961 0 -1 4202496 583 64596 0 0 0 0 9251 226 20 0 1 0 405279434 115843072 369 33554432000 4194304 5098028 140722856383872 140722856380616 140459322901116 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16277504 140722856387427 140722856387696 140722856387696 140722856390605 0
/proc/6052/statm: 28282 369 311 221 0 87 0
[pid=6156] ppid=6052 vsize=7937364 memory=308272 CPUtime=41.63 cores=0,2,4,6
/proc/6156/stat : 6156 (java) S 6052 6052 3961 0 -1 1077944320 24105 1230600 0 0 293 12 3742 116 20 0 17 0 405286948 8127860736 77068 33554432000 4194304 4196468 140730660705024 140730660687568 140296846683895 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
/proc/6156/statm: 1984341 77068 3242 1 0 1945685 0
[pid=6156/tid=6157] ppid=6052 vsize=7937364 memory=8462108013221118012 CPUtime=39.57 cores=0,2,4,6
/proc/6156/task/6157/stat : 6157 (java) R 6052 6052 3961 0 -1 4202560 17173 1230600 0 0 92 7 3742 116 20 0 17 0 405286948 8127860736 77068 33554432000 4194304 4196468 140730660705024 140296818522944 140296828090184 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6158] ppid=6052 vsize=7937364 memory=288286692602032509 CPUtime=38.58 cores=0,2,4,6
/proc/6156/task/6158/stat : 6158 (java) S 6052 6052 3961 0 -1 1077944384 2 1230600 0 0 0 0 3742 116 20 0 17 0 405286949 8127860736 77068 33554432000 4194304 4196468 140730660705024 140296850926224 140296846694101 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6159] ppid=6052 vsize=7937364 memory=13851871767210121 CPUtime=38.58 cores=0,2,4,6
/proc/6156/task/6159/stat : 6159 (java) S 6052 6052 3961 0 -1 1077944384 2 1230600 0 0 0 0 3742 116 20 0 17 0 405286949 8127860736 77068 33554432000 4194304 4196468 140730660705024 140296331454992 140296846694101 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6160] ppid=6052 vsize=7937364 memory=7666646538929788521 CPUtime=38.58 cores=0,2,4,6
/proc/6156/task/6160/stat : 6160 (java) S 6052 6052 3961 0 -1 1077944384 2 1230600 0 0 0 0 3742 116 20 0 17 0 405286949 8127860736 77068 33554432000 4194304 4196468 140730660705024 140296330402192 140296846694101 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6161] ppid=6052 vsize=7937364 memory=3473455227027404335 CPUtime=38.58 cores=0,2,4,6
/proc/6156/task/6161/stat : 6161 (java) S 6052 6052 3961 0 -1 1077944384 1 1230600 0 0 0 0 3742 116 20 0 17 0 405286949 8127860736 77068 33554432000 4194304 4196468 140730660705024 140296329349392 140296846694101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6162] ppid=6052 vsize=7937364 memory=7666649811676980583 CPUtime=38.58 cores=0,2,4,6
/proc/6156/task/6162/stat : 6162 (java) S 6052 6052 3961 0 -1 1077944384 7 1230600 0 0 0 0 3742 116 20 0 17 0 405286951 8127860736 77068 33554432000 4194304 4196468 140730660705024 140296226007920 140296846695042 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6163] ppid=6052 vsize=7937364 memory=4861 CPUtime=38.58 cores=0,2,4,6
/proc/6156/task/6163/stat : 6163 (java) S 6052 6052 3961 0 -1 1077944384 13 1230600 0 0 0 0 3742 116 20 0 17 0 405286951 8127860736 77068 33554432000 4194304 4196468 140730660705024 140295710696992 140296846694101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6164] ppid=6052 vsize=7937364 memory=3472468066519559625 CPUtime=38.58 cores=0,2,4,6
/proc/6156/task/6164/stat : 6164 (java) S 6052 6052 3961 0 -1 1077944384 1 1230600 0 0 0 0 3742 116 20 0 17 0 405286952 8127860736 77068 33554432000 4194304 4196468 140730660705024 140295442261360 140296846694101 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6165] ppid=6052 vsize=7937364 memory=3461362030354657376 CPUtime=38.58 cores=0,2,4,6
/proc/6156/task/6165/stat : 6165 (java) S 6052 6052 3961 0 -1 1077944384 3 1230600 0 0 0 0 3742 116 20 0 17 0 405286954 8127860736 77068 33554432000 4194304 4196468 140730660705024 140295067752784 140296846702491 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6166] ppid=6052 vsize=7937364 memory=0 CPUtime=39.17 cores=0,2,4,6
/proc/6156/task/6166/stat : 6166 (java) R 6052 6052 3961 0 -1 4202560 1652 1230600 0 0 59 0 3742 116 20 0 17 0 405286954 8127860736 77068 33554432000 4194304 4196468 140730660705024 140296224937328 140296825910332 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6167] ppid=6052 vsize=7937364 memory=3472328296227418159 CPUtime=39.17 cores=0,2,4,6
/proc/6156/task/6167/stat : 6167 (java) R 6052 6052 3961 0 -1 4202560 1676 1230600 0 0 59 0 3742 116 20 0 17 0 405286954 8127860736 77068 33554432000 4194304 4196468 140730660705024 140296223901936 140296832738918 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6168] ppid=6052 vsize=7937364 memory=6944656592455359580 CPUtime=38.97 cores=0,2,4,6
/proc/6156/task/6168/stat : 6168 (java) R 6052 6052 3961 0 -1 1077944384 2006 1230600 0 0 39 0 3742 116 20 0 17 0 405286954 8127860736 77068 33554432000 4194304 4196468 140730660705024 140296222849136 140296846695042 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6169] ppid=6052 vsize=7937364 memory=-3621219749712857441 CPUtime=38.58 cores=0,2,4,6
/proc/6156/task/6169/stat : 6169 (java) S 6052 6052 3961 0 -1 1077944384 3 1230600 0 0 0 0 3742 116 20 0 17 0 405286955 8127860736 77068 33554432000 4194304 4196468 140730660705024 140294569847008 140296846694101 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6170] ppid=6052 vsize=7937364 memory=0 CPUtime=38.6 cores=0,2,4,6
/proc/6156/task/6170/stat : 6170 (java) S 6052 6052 3961 0 -1 1077944384 5 1230600 0 0 1 1 3742 116 20 0 17 0 405286955 8127860736 77068 33554432000 4194304 4196468 140730660705024 140296221797552 140296846695042 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6172] ppid=6052 vsize=7937364 memory=0 CPUtime=38.58 cores=0,2,4,6
/proc/6156/task/6172/stat : 6172 (java) S 6052 6052 3961 0 -1 1077944384 30 1230600 0 0 0 0 3742 116 20 0 17 0 405287029 8127860736 77068 33554432000 4194304 4196468 140730660705024 140296213762960 140296846695042 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6176] ppid=6052 vsize=7937364 memory=0 CPUtime=38.58 cores=0,2,4,6
/proc/6156/task/6176/stat : 6176 (java) S 6052 6052 3961 0 -1 1077944384 11 1230600 0 0 0 0 3742 116 20 0 17 0 405287032 8127860736 77068 33554432000 4194304 4196468 140730660705024 140293764539312 140296846695042 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
Current children cumulated CPU time: 136.4 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 309748 KiB

[startup+115.115 s]
/proc/loadavg: 2.07 2.12 2.05 5/236 6200
/proc/meminfo: memFree=23335876/32770624 swapFree=66901220/67108860
[pid=6052] ppid=6049 vsize=113128 memory=1476 CPUtime=94.77 cores=0,2,4,6
/proc/6052/stat : 6052 (scop.sh) S 6049 6052 3961 0 -1 4202496 583 64596 0 0 0 0 9251 226 20 0 1 0 405279434 115843072 369 33554432000 4194304 5098028 140722856383872 140722856380616 140459322901116 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16277504 140722856387427 140722856387696 140722856387696 140722856390605 0
/proc/6052/statm: 28282 369 311 221 0 87 0
[pid=6156] ppid=6052 vsize=7937364 memory=315156 CPUtime=41.97 cores=0,2,4,6
/proc/6156/stat : 6156 (java) S 6052 6052 3961 0 -1 1077944320 25303 1230600 0 0 326 13 3742 116 20 0 17 0 405286948 8127860736 78789 33554432000 4194304 4196468 140730660705024 140730660687568 140296846683895 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
/proc/6156/statm: 1984341 78789 3242 1 0 1945685 0
[pid=6156/tid=6157] ppid=6052 vsize=7937364 memory=124656 CPUtime=39.68 cores=0,2,4,6
/proc/6156/task/6157/stat : 6157 (java) R 6052 6052 3961 0 -1 1077944384 18218 1230600 0 0 102 8 3742 116 20 0 17 0 405286948 8127860736 78789 33554432000 4194304 4196468 140730660705024 140296818510416 140296839363117 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6158] ppid=6052 vsize=7937364 memory=124656 CPUtime=38.58 cores=0,2,4,6
/proc/6156/task/6158/stat : 6158 (java) S 6052 6052 3961 0 -1 1077944384 2 1230600 0 0 0 0 3742 116 20 0 17 0 405286949 8127860736 78789 33554432000 4194304 4196468 140730660705024 140296850926224 140296846694101 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6159] ppid=6052 vsize=7937364 memory=1476 CPUtime=38.58 cores=0,2,4,6
/proc/6156/task/6159/stat : 6159 (java) S 6052 6052 3961 0 -1 1077944384 2 1230600 0 0 0 0 3742 116 20 0 17 0 405286949 8127860736 78789 33554432000 4194304 4196468 140730660705024 140296331454992 140296846694101 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6160] ppid=6052 vsize=7937364 memory=290148 CPUtime=38.58 cores=0,2,4,6
/proc/6156/task/6160/stat : 6160 (java) S 6052 6052 3961 0 -1 1077944384 2 1230600 0 0 0 0 3742 116 20 0 17 0 405286949 8127860736 78789 33554432000 4194304 4196468 140730660705024 140296330402192 140296846694101 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6161] ppid=6052 vsize=7937364 memory=1476 CPUtime=38.58 cores=0,2,4,6
/proc/6156/task/6161/stat : 6161 (java) S 6052 6052 3961 0 -1 1077944384 1 1230600 0 0 0 0 3742 116 20 0 17 0 405286949 8127860736 78789 33554432000 4194304 4196468 140730660705024 140296329349392 140296846694101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6162] ppid=6052 vsize=7937364 memory=279874968182624 CPUtime=38.58 cores=0,2,4,6
/proc/6156/task/6162/stat : 6162 (java) S 6052 6052 3961 0 -1 1077944384 7 1230600 0 0 0 0 3742 116 20 0 17 0 405286951 8127860736 78789 33554432000 4194304 4196468 140730660705024 140296226007920 140296846695042 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6163] ppid=6052 vsize=7937364 memory=1476 CPUtime=38.58 cores=0,2,4,6
/proc/6156/task/6163/stat : 6163 (java) S 6052 6052 3961 0 -1 1077944384 13 1230600 0 0 0 0 3742 116 20 0 17 0 405286951 8127860736 78789 33554432000 4194304 4196468 140730660705024 140295710696992 140296846694101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6164] ppid=6052 vsize=7937364 memory=124656 CPUtime=38.58 cores=0,2,4,6
/proc/6156/task/6164/stat : 6164 (java) S 6052 6052 3961 0 -1 1077944384 1 1230600 0 0 0 0 3742 116 20 0 17 0 405286952 8127860736 78789 33554432000 4194304 4196468 140730660705024 140295442261360 140296846694101 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6165] ppid=6052 vsize=7937364 memory=1476 CPUtime=38.58 cores=0,2,4,6
/proc/6156/task/6165/stat : 6165 (java) S 6052 6052 3961 0 -1 1077944384 3 1230600 0 0 0 0 3742 116 20 0 17 0 405286954 8127860736 78789 33554432000 4194304 4196468 140730660705024 140295067752784 140296846702491 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6166] ppid=6052 vsize=7937364 memory=124656 CPUtime=39.27 cores=0,2,4,6
/proc/6156/task/6166/stat : 6166 (java) R 6052 6052 3961 0 -1 4202560 1677 1230600 0 0 69 0 3742 116 20 0 17 0 405286954 8127860736 78789 33554432000 4194304 4196468 140730660705024 140296224944592 140296827877882 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6167] ppid=6052 vsize=7937364 memory=1476 CPUtime=39.25 cores=0,2,4,6
/proc/6156/task/6167/stat : 6167 (java) R 6052 6052 3961 0 -1 4202560 1706 1230600 0 0 67 0 3742 116 20 0 17 0 405286954 8127860736 78789 33554432000 4194304 4196468 140730660705024 140296223891728 140296830180665 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6168] ppid=6052 vsize=7937364 memory=1476 CPUtime=39.02 cores=0,2,4,6
/proc/6156/task/6168/stat : 6168 (java) R 6052 6052 3961 0 -1 4202560 2103 1230600 0 0 44 0 3742 116 20 0 17 0 405286954 8127860736 78789 33554432000 4194304 4196468 140730660705024 140296222849136 140296826398676 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6169] ppid=6052 vsize=7937364 memory=0 CPUtime=38.58 cores=0,2,4,6
/proc/6156/task/6169/stat : 6169 (java) S 6052 6052 3961 0 -1 1077944384 3 1230600 0 0 0 0 3742 116 20 0 17 0 405286955 8127860736 78789 33554432000 4194304 4196468 140730660705024 140294569847008 140296846694101 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6170] ppid=6052 vsize=7937364 memory=3472323898181174465 CPUtime=38.6 cores=0,2,4,6
/proc/6156/task/6170/stat : 6170 (java) S 6052 6052 3961 0 -1 1077944384 5 1230600 0 0 1 1 3742 116 20 0 17 0 405286955 8127860736 78789 33554432000 4194304 4196468 140730660705024 140296221797552 140296846695042 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6172] ppid=6052 vsize=7937364 memory=2321097857818706470 CPUtime=38.58 cores=0,2,4,6
/proc/6156/task/6172/stat : 6172 (java) S 6052 6052 3961 0 -1 1077944384 30 1230600 0 0 0 0 3742 116 20 0 17 0 405287029 8127860736 78789 33554432000 4194304 4196468 140730660705024 140296213762960 140296846695042 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
[pid=6156/tid=6176] ppid=6052 vsize=7937364 memory=1476 CPUtime=38.58 cores=0,2,4,6
/proc/6156/task/6176/stat : 6176 (java) S 6052 6052 3961 0 -1 1077944384 11 1230600 0 0 0 0 3742 116 20 0 17 0 405287032 8127860736 78789 33554432000 4194304 4196468 140730660705024 140293764539312 140296846695042 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21553152 140730660709372 140730660709530 140730660709530 140730660712399 0
Current children cumulated CPU time: 136.74 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 316632 KiB

Child status: 0
Real time (s): 115.176
CPU time (s): 136.909
CPU user time (s): 133.293
CPU system time (s): 3.61621
CPU usage (%): 118.869
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 4150784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 133.293
system time used= 3.61621
maximum resident set size= 4149736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1321206
page faults= 0
swaps= 0
block input operations= 24
block output operations= 678928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11257
involuntary context switches= 506


# summary of solver processes directly reported to runsolver:
#   pid: 6052
#   total CPU time (s): 136.909
#   total CPU user time (s): 133.293
#   total CPU system time (s): 3.61621

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.746972 second user time and 1.27489 second system time

The end

Launcher Data 

Begin job on node139 at 2019-09-12 14:10:20
IDJOB=4387774
IDBENCH=125572
IDSOLVER=2826
FILE ID=node139/4387774-1568290119
RUNJOBID= node139-1568287468-5189
PBS_JOBID= 21701070
Free space on /tmp= 52972 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-03-05.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-4387774-1568290119/watcher-4387774-1568290119 -o /tmp/evaluation-result-4387774-1568290119/solver-4387774-1568290119 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568287468-5189 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387774-1568290119.xml

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

MD5SUM BENCH= 039cea46cde688c2971a1406f493a012
RANDOM SEED=866531874

node139.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.57
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.57
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.57
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.57
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:        21825584 kB
MemAvailable:   29601404 kB
Buffers:           89144 kB
Cached:          7863692 kB
SwapCached:       105708 kB
Active:          3099116 kB
Inactive:        7117256 kB
Active(anon):    2158940 kB
Inactive(anon):   145700 kB
Active(file):     940176 kB
Inactive(file):  6971556 kB
Unevictable:      108300 kB
Mlocked:          108300 kB
SwapTotal:      67108860 kB
SwapFree:       66901220 kB
Dirty:             20132 kB
Writeback:             0 kB
AnonPages:       2267316 kB
Mapped:            55184 kB
Shmem:             32160 kB
Slab:             320744 kB
SReclaimable:     292548 kB
SUnreclaim:        28196 kB
KernelStack:        3840 kB
PageTables:         9700 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    8308240 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1024000 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 53072 MiB
End job on node139 at 2019-09-12 14:12:15