Trace number 4297127

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
scop both+glucose-syrup (2018-07-07)SAT 64.1155 27.0106

General information on the benchmark

NameBibd/
Bibd-sum-10-03-08_c18.xml
MD5SUM6905926ecf5563edf040969d33d8e2ad
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 benchmark62.6593
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints176
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":1200}]
Minimum variable degree12
Maximum variable degree12
Distribution of variable degrees[{"degree":12,"count":1200}]
Minimum constraint arity10
Maximum constraint arity1200
Distribution of constraint arities[{"arity":10,"count":120},{"arity":120,"count":10},{"arity":240,"count":45},{"arity":1200,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":175}]
Optimization problemNO
Type of objective

Solver Data 

0.66/0.52	
0.66/0.53	scop both+glucose-syrup (2018-07-07)
0.66/0.53	
0.66/0.55	c BEGIN-Prog: Fri Jul 27 02:40:47 CEST 2018
0.66/0.55	c PID: 9885
0.66/0.55	c IP: 172.20.3.139
0.66/0.55	c HOST: node139.alineos.net
0.66/0.56	c (0,0) Parsing Begin
2.07/1.19	c (0,0) Parsing End
2.50/1.20	c (0,0) CSP: 0 int (0 aux), 1200 bool (0 aux), 176 ctr, max domain size 2
2.50/1.20	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.50/1.20	c (0,0) Constraint Name Generate Begin
2.50/1.22	c (0,0) Ctr:HOME/instance-4297127-1532652046.xml,IntVar:LexMatrix:Num:WeightedSum
2.50/1.22	c (0,0) Constraint Name Generate End
2.50/1.22	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.50/1.22	c (0,0) CSP to CSPinCNF Begin
3.52/1.51	c (0,0) translated 18 (10%) constraints
3.52/1.52	c (0,0) translated 36 (20%) constraints
3.52/1.53	c (1,0) translated 53 (30%) constraints
3.52/1.54	c (1,1) translated 71 (40%) constraints
3.52/1.55	c (1,1) translated 88 (50%) constraints
3.52/1.56	c (1,1) translated 106 (60%) constraints
3.52/1.57	c (1,1) translated 124 (70%) constraints
6.01/2.27	c (1,1) translated 141 (80%) constraints
7.60/2.88	c (2,2) translated 159 (90%) constraints
8.49/3.38	c (2,2) translated 176 (100%) constraints
26.70/18.71	c (18,18) STATISTICS1:HOME/instance-4297127-1532652046.xml,IntVar:LexMatrix:Num:WeightedSum,14014,26059,9223372036854775807,2,4,120,9223372036854775807:110;512:240;2:4412,2:71266,4:2014;3:10928;2:12814;1:303,120:110;10:240;2:4412;1:60042,6400:110
26.70/18.71	c (18,18) ===========================================
26.70/18.71	c (18,18) Both Encoding selects:
26.70/18.71	c (18,18) Log
26.70/18.71	c (18,18) ===========================================
27.60/18.94	c (18,18) translated 2606 (10%) constraints
28.04/19.05	c (18,18) translated 5212 (20%) constraints
28.44/19.16	c (18,18) translated 7818 (30%) constraints
28.80/19.26	c (18,18) translated 10424 (40%) constraints
29.69/19.40	c (18,18) translated 13030 (50%) constraints
29.69/19.48	c (18,18) translated 15636 (60%) constraints
29.89/19.56	c (19,18) translated 18242 (70%) constraints
30.00/19.64	c (19,18) translated 20848 (80%) constraints
30.12/19.73	c (19,19) translated 23454 (90%) constraints
30.41/19.82	c (19,19) translated 26059 (100%) constraints
30.41/19.82	c (19,19) CSP to CSPinCNF End
30.41/19.83	c (19,19) CSP: 0 int (0 aux), 19414 bool (18214 aux), 37034 ctr, max domain size 2
30.41/19.83	c (19,19) Heap : 308 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
30.41/19.83	c (19,19) CSPinCNF Propagation Begin
32.05/20.20	c (19,19) 0 values, 5400 unsatisfiable literals, and 5400 valid clauses are removed
32.05/20.20	c (19,19) CSPinCNF Propagation End
32.05/20.20	c (19,19) CSP: 0 int (0 aux), 19414 bool (18214 aux), 31634 ctr, max domain size 2
32.05/20.20	c (19,19) Heap : 530 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
32.05/20.20	c (19,19) Simplify CSPinCNF Begin
32.31/20.36	c (19,19) Simplify CSPinCNF End
32.31/20.37	c (19,19) CSP: 0 int (0 aux), 23826 bool (22626 aux), 36046 ctr, max domain size 2
32.31/20.37	c (19,19) Heap : 530 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
32.31/20.37	c (19,19) Calculate Precise Domain Begin
32.31/20.37	c (19,19) 0 values are removed by re-calculation
32.31/20.37	c (19,19) Calculate Precise Domain End
32.31/20.37	c (19,19) CSP: 0 int (0 aux), 23826 bool (22626 aux), 36046 ctr, max domain size 2
32.31/20.37	c (19,19) Heap : 530 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
32.31/20.37	c (19,19) CSPinCNF to SatSolver Begin
35.54/21.50	c (20,20) 3605 (10 %) CSP clauses are being encoded (103218 SAT variables, 234996 SAT clauses)
35.91/21.68	c (21,20) 7210 (20 %) CSP clauses are being encoded (114690 SAT variables, 271553 SAT clauses)
36.43/21.84	c (21,21) 10814 (30 %) CSP clauses are being encoded (126162 SAT variables, 308109 SAT clauses)
36.54/21.99	c (21,21) 14419 (40 %) CSP clauses are being encoded (137634 SAT variables, 344666 SAT clauses)
36.75/22.14	c (21,21) 18023 (50 %) CSP clauses are being encoded (149106 SAT variables, 381222 SAT clauses)
36.85/22.29	c (21,21) 21628 (60 %) CSP clauses are being encoded (160578 SAT variables, 417779 SAT clauses)
37.05/22.44	c (21,21) 25233 (70 %) CSP clauses are being encoded (172050 SAT variables, 454336 SAT clauses)
37.15/22.59	c (22,21) 28837 (80 %) CSP clauses are being encoded (178905 SAT variables, 477017 SAT clauses)
37.81/22.73	c (22,22) 32442 (90 %) CSP clauses are being encoded (181643 SAT variables, 486938 SAT clauses)
38.12/22.85	c (22,22) 36046 (100 %) CSP clauses are being encoded (184467 SAT variables, 496874 SAT clauses)
38.12/22.85	c (22,22) CSPinCNF to SatSolver End
38.12/22.85	c (22,22) Heap : 2110 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
38.98/23.07	c (22,22) STATISTICS2:HOME/instance-4297127-1532652046.xml,IntVar:LexMatrix:Num:WeightedSum,23826,36046,9223372036854775807,2,4,120,9223372036854775807:110;512:240;2:6554,2:102974,4:2014;3:5528;2:28026;1:478,120:110;10:240;2:6554;1:74266,2:110
38.98/23.07	c (22,22) SatSolver.solve Begin
38.98/23.07	c (22,22) 184468 bool, 496876 clause
38.98/23.07	c (22,22) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297127-1532652046.xml-scop-9885.cnf HOME/instance-4297127-1532652046.xml-scop-9885.cnf.out
63.48/26.81	c (26,0) c
63.48/26.81	c (26,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
63.48/26.81	c (26,0) c
63.48/26.81	c (26,0) c WARNING: for repeatability, setting FPU to use double precision
63.48/26.81	c (26,0) c 8 solvers engines and 1 companion as a blackboard created.
63.48/26.81	c (26,0) c ========================================[ Problem Statistics ]===========================================
63.48/26.81	c (26,0) c |                                                                                                       |
63.48/26.81	c (26,0) c |  Number of variables:        184468                                                                   |
63.48/26.81	c (26,0) c |  Number of clauses:          496398                                                                   |
63.48/26.81	c (26,0) c |  Parse time:                   0.20 s                                                                 |
63.48/26.81	c (26,0) c |                                                                                                       |
63.48/26.81	c (26,0) c |  Eliminated clauses:           0.76 Mb                                                                |
63.48/26.81	c (26,0) c |  Simplification time:          0.37 s                                                                 |
63.48/26.81	c (26,0) c |                                                                                                       |
63.48/26.81	c (26,0) c |  Generating clones                                                                                    |
63.48/26.81	c (26,0) c |  all clones generated. Memory = 478.99Mb.                                                             |
63.48/26.81	c (26,0) c ========================================================================================================|
63.48/26.81	c (26,0) c last restart ## conflicts  :  225 15123 
63.48/26.81	c (26,0) c Thread 1 is 100% pure glucose! First thread to finish! (SAT answer).
63.48/26.81	c (26,0) c Total Memory so far : 1046.99Mb
63.48/26.81	c (26,0) c
63.48/26.81	c (26,0) c real time : 3.71684 s
63.48/26.81	c (26,0) c cpu time  : 22.5073 s
63.48/26.81	c (26,0) c
63.48/26.81	c (26,0) c
63.48/26.81	c (26,0) c
63.48/26.81	c (26,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
63.48/26.81	c (26,0) c
63.48/26.81	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
63.48/26.81	c (26,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
63.48/26.81	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
63.48/26.81	c (26,0) c | Conflicts     |           65561 |       5768 |       6355 |       8015 |       7050 |       6954 |      13606 |       8898 |       8915 |
63.48/26.81	c (26,0) c | Decisions     |          421110 |      32667 |      57637 |      63742 |      47179 |      47063 |      62675 |      52514 |      57633 |
63.48/26.81	c (26,0) c | Propagations  |       113173111 |   11052881 |   13649698 |   14542724 |   15205089 |   14497942 |   15321109 |   15048785 |   13854883 |
63.48/26.81	c (26,0) c | Avg_Trail     |                 |      29591 |      32731 |      35217 |      34624 |      33038 |      26157 |      30265 |      33531 |
63.48/26.81	c (26,0) c | Avg_DL        |                 |         72 |        114 |        117 |        137 |         80 |        101 |        110 |        127 |
63.48/26.81	c (26,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
63.48/26.81	c (26,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
63.48/26.81	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
63.48/26.81	c (26,0) c | Exported      |            8208 |        375 |        506 |       1050 |        684 |        733 |       2516 |       1322 |       1022 |
63.48/26.81	c (26,0) c | Imported      |           56764 |       7803 |       7289 |       7073 |       7502 |       7455 |       5672 |       6858 |       7112 |
63.48/26.81	c (26,0) c | Good          |            5742 |        726 |        754 |        635 |        767 |        733 |        668 |        731 |        728 |
63.48/26.81	c (26,0) c | Purge         |           51022 |       7077 |       6535 |       6438 |       6735 |       6722 |       5004 |       6127 |       6384 |
63.48/26.81	c (26,0) c | Promoted      |            2731 |        374 |        249 |        355 |        277 |        381 |        285 |        400 |        410 |
63.48/26.81	c (26,0) c | Remove_Imp    |            3512 |        334 |        223 |        243 |        978 |       1211 |          0 |        236 |        287 |
63.48/26.81	c (26,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
63.48/26.81	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
63.48/26.81	c (26,0) c | Unaries       |                 |         26 |         21 |         24 |         15 |         14 |         17 |         15 |         15 |
63.48/26.81	c (26,0) c | Binaries      |                 |         96 |         58 |        186 |         55 |         89 |        154 |         91 |         93 |
63.48/26.81	c (26,0) c | Glues         |                 |        186 |        133 |        349 |        156 |        184 |        382 |        211 |        216 |
63.48/26.81	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
63.48/26.81	c (26,0) c | Orig_Seen     |            15 % |      62731 |      74106 |      91014 |      75012 |      72240 |      76956 |      81492 |      80350 |
63.48/26.81	c (26,0) c | Diff Orig seen|                 | -    11375 |      X     |      16908 |        906 | -     1866 |       2850 |       7386 |       6244 |
63.48/26.81	c (26,0) c | Hamming       |            12 % |      22835 |      X     |      22169 |      22818 |      22354 |      21411 |      23504 |      22466 |
63.48/26.81	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
63.48/26.81	c (26,0) 
63.48/26.81	c (26,0) s SATISFIABLE
63.87/26.92	c (26,22) SatSolver.solve End
63.87/26.92	c (26,22) Heap : 2447 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
63.87/26.92	c (26,22) Show results Begin
63.87/26.94	c (26,22) x[0][0] = 0
63.87/26.94	c (26,22) x[0][1] = 0
63.87/26.94	c (26,22) x[0][2] = 0
63.87/26.94	c (26,22) x[0][3] = 0
63.87/26.94	c (26,22) x[0][4] = 0
63.87/26.94	c (26,22) x[0][5] = 0
63.87/26.94	c (26,22) x[0][6] = 0
63.87/26.94	c (26,22) x[0][7] = 0
63.87/26.94	c (26,22) x[0][8] = 0
63.87/26.94	c (26,22) x[0][9] = 0
63.87/26.94	c (26,22) x[0][10] = 0
63.87/26.94	c (26,22) x[0][11] = 0
63.87/26.94	c (26,22) x[0][12] = 0
63.87/26.94	c (26,22) x[0][13] = 0
63.87/26.94	c (26,22) x[0][14] = 0
63.87/26.95	c (26,22) x[0][15] = 0
63.87/26.95	c (26,22) x[0][16] = 0
63.87/26.95	c (26,22) x[0][17] = 0
63.87/26.95	c (26,22) x[0][18] = 0
63.87/26.95	c (26,22) x[0][19] = 0
63.87/26.95	c (26,22) x[0][20] = 0
63.87/26.95	c (26,22) x[0][21] = 0
63.87/26.95	c (26,22) x[0][22] = 0
63.87/26.95	c (26,22) x[0][23] = 0
63.87/26.95	c (26,22) x[0][24] = 0
63.87/26.95	c (26,22) x[0][25] = 0
63.87/26.95	c (26,22) x[0][26] = 0
63.87/26.95	c (26,22) x[0][27] = 0
63.87/26.95	c (26,22) x[0][28] = 0
63.87/26.95	c (26,22) x[0][29] = 0
63.87/26.95	c (26,22) x[0][30] = 0
63.87/26.95	c (26,22) x[0][31] = 0
63.87/26.95	c (26,22) x[0][32] = 0
63.87/26.95	c (26,22) x[0][33] = 0
63.87/26.95	c (26,22) x[0][34] = 0
63.87/26.95	c (26,22) x[0][35] = 0
63.87/26.95	c (26,22) x[0][36] = 0
63.87/26.95	c (26,22) x[0][37] = 0
63.87/26.95	c (26,22) x[0][38] = 0
63.87/26.95	c (26,22) x[0][39] = 0
63.87/26.95	c (26,22) x[0][40] = 0
63.87/26.95	c (26,22) x[0][41] = 0
63.87/26.95	c (26,22) x[0][42] = 0
63.87/26.95	c (26,22) x[0][43] = 0
63.87/26.95	c (26,22) x[0][44] = 0
63.87/26.95	c (26,22) x[0][45] = 0
63.87/26.95	c (26,22) x[0][46] = 0
63.87/26.95	c (26,22) x[0][47] = 0
63.87/26.95	c (26,22) x[0][48] = 0
63.87/26.95	c (26,22) x[0][49] = 0
63.87/26.95	c (26,22) x[0][50] = 0
63.87/26.95	c (26,22) x[0][51] = 0
63.87/26.95	c (26,22) x[0][52] = 0
63.87/26.95	c (26,22) x[0][53] = 0
63.87/26.95	c (26,22) x[0][54] = 0
63.87/26.95	c (26,22) x[0][55] = 0
63.87/26.95	c (26,22) x[0][56] = 0
63.87/26.95	c (26,22) x[0][57] = 0
63.87/26.95	c (26,22) x[0][58] = 0
63.87/26.95	c (26,22) x[0][59] = 0
63.87/26.95	c (26,22) x[0][60] = 0
63.87/26.95	c (26,22) x[0][61] = 0
63.87/26.95	c (26,22) x[0][62] = 0
63.87/26.95	c (26,22) x[0][63] = 0
63.87/26.95	c (26,22) x[0][64] = 0
63.87/26.95	c (26,22) x[0][65] = 0
63.87/26.95	c (26,22) x[0][66] = 0
63.87/26.95	c (26,22) x[0][67] = 0
63.87/26.95	c (26,22) x[0][68] = 0
63.87/26.95	c (26,22) x[0][69] = 0
63.87/26.95	c (26,22) x[0][70] = 0
63.87/26.95	c (26,22) x[0][71] = 0
63.87/26.95	c (26,22) x[0][72] = 0
63.87/26.95	c (26,22) x[0][73] = 0
63.87/26.95	c (26,22) x[0][74] = 0
63.87/26.95	c (26,22) x[0][75] = 0
63.87/26.95	c (26,22) x[0][76] = 0
63.87/26.95	c (26,22) x[0][77] = 0
63.87/26.95	c (26,22) x[0][78] = 0
63.87/26.95	c (26,22) x[0][79] = 0
63.87/26.95	c (26,22) x[0][80] = 0
63.87/26.95	c (26,22) x[0][81] = 0
63.87/26.95	c (26,22) x[0][82] = 0
63.87/26.95	c (26,22) x[0][83] = 0
63.87/26.95	c (26,22) x[0][84] = 1
63.87/26.95	c (26,22) x[0][85] = 1
63.87/26.95	c (26,22) x[0][86] = 1
63.87/26.95	c (26,22) x[0][87] = 1
63.87/26.95	c (26,22) x[0][88] = 1
63.87/26.95	c (26,22) x[0][89] = 1
63.87/26.95	c (26,22) x[0][90] = 1
63.87/26.95	c (26,22) x[0][91] = 1
63.87/26.95	c (26,22) x[0][92] = 1
63.87/26.95	c (26,22) x[0][93] = 1
63.87/26.95	c (26,22) x[0][94] = 1
63.87/26.95	c (26,22) x[0][95] = 1
63.87/26.95	c (26,22) x[0][96] = 1
63.87/26.95	c (26,22) x[0][97] = 1
63.87/26.95	c (26,22) x[0][98] = 1
63.87/26.95	c (26,22) x[0][99] = 1
63.87/26.95	c (26,22) x[0][100] = 1
63.87/26.95	c (26,22) x[0][101] = 1
63.87/26.95	c (26,22) x[0][102] = 1
63.87/26.95	c (26,22) x[0][103] = 1
63.87/26.95	c (26,22) x[0][104] = 1
63.87/26.95	c (26,22) x[0][105] = 1
63.87/26.95	c (26,22) x[0][106] = 1
63.87/26.95	c (26,22) x[0][107] = 1
63.87/26.95	c (26,22) x[0][108] = 1
63.87/26.95	c (26,22) x[0][109] = 1
63.87/26.95	c (26,22) x[0][110] = 1
63.87/26.95	c (26,22) x[0][111] = 1
63.87/26.95	c (26,22) x[0][112] = 1
63.87/26.95	c (26,22) x[0][113] = 1
63.87/26.95	c (26,22) x[0][114] = 1
63.87/26.95	c (26,22) x[0][115] = 1
63.87/26.95	c (26,22) x[0][116] = 1
63.87/26.95	c (26,22) x[0][117] = 1
63.87/26.95	c (26,22) x[0][118] = 1
63.87/26.95	c (26,22) x[0][119] = 1
63.87/26.95	c (26,22) x[1][0] = 0
63.87/26.95	c (26,22) x[1][1] = 0
63.87/26.95	c (26,22) x[1][2] = 0
63.87/26.95	c (26,22) x[1][3] = 0
63.87/26.95	c (26,22) x[1][4] = 0
63.87/26.95	c (26,22) x[1][5] = 0
63.87/26.95	c (26,22) x[1][6] = 0
63.87/26.95	c (26,22) x[1][7] = 0
63.87/26.95	c (26,22) x[1][8] = 0
63.87/26.95	c (26,22) x[1][9] = 0
63.87/26.95	c (26,22) x[1][10] = 0
63.87/26.95	c (26,22) x[1][11] = 0
63.87/26.95	c (26,22) x[1][12] = 0
63.87/26.95	c (26,22) x[1][13] = 0
63.87/26.95	c (26,22) x[1][14] = 0
63.87/26.95	c (26,22) x[1][15] = 0
63.87/26.95	c (26,22) x[1][16] = 0
63.87/26.95	c (26,22) x[1][17] = 0
63.87/26.95	c (26,22) x[1][18] = 0
63.87/26.95	c (26,22) x[1][19] = 0
63.87/26.95	c (26,22) x[1][20] = 0
63.87/26.95	c (26,22) x[1][21] = 0
63.87/26.95	c (26,22) x[1][22] = 0
63.87/26.95	c (26,22) x[1][23] = 0
63.87/26.95	c (26,22) x[1][24] = 0
63.87/26.95	c (26,22) x[1][25] = 0
63.87/26.95	c (26,22) x[1][26] = 0
63.87/26.95	c (26,22) x[1][27] = 0
63.87/26.95	c (26,22) x[1][28] = 0
63.87/26.95	c (26,22) x[1][29] = 0
63.87/26.95	c (26,22) x[1][30] = 0
63.87/26.95	c (26,22) x[1][31] = 0
63.87/26.95	c (26,22) x[1][32] = 0
63.87/26.95	c (26,22) x[1][33] = 0
63.87/26.95	c (26,22) x[1][34] = 0
63.87/26.95	c (26,22) x[1][35] = 0
63.87/26.95	c (26,22) x[1][36] = 0
63.87/26.95	c (26,22) x[1][37] = 0
63.87/26.95	c (26,22) x[1][38] = 0
63.87/26.95	c (26,22) x[1][39] = 0
63.87/26.95	c (26,22) x[1][40] = 0
63.87/26.95	c (26,22) x[1][41] = 0
63.87/26.95	c (26,22) x[1][42] = 0
63.87/26.95	c (26,22) x[1][43] = 0
63.87/26.95	c (26,22) x[1][44] = 0
63.87/26.95	c (26,22) x[1][45] = 0
63.87/26.95	c (26,22) x[1][46] = 0
63.87/26.95	c (26,22) x[1][47] = 0
63.87/26.95	c (26,22) x[1][48] = 0
63.87/26.95	c (26,22) x[1][49] = 0
63.87/26.95	c (26,22) x[1][50] = 0
63.87/26.95	c (26,22) x[1][51] = 0
63.87/26.95	c (26,22) x[1][52] = 0
63.87/26.95	c (26,22) x[1][53] = 0
63.87/26.95	c (26,22) x[1][54] = 0
63.87/26.95	c (26,22) x[1][55] = 0
63.87/26.95	c (26,22) x[1][56] = 1
63.87/26.95	c (26,22) x[1][57] = 1
63.87/26.95	c (26,22) x[1][58] = 1
63.87/26.95	c (26,22) x[1][59] = 1
63.87/26.95	c (26,22) x[1][60] = 1
63.87/26.95	c (26,22) x[1][61] = 1
63.87/26.95	c (26,22) x[1][62] = 1
63.87/26.95	c (26,22) x[1][63] = 1
63.87/26.95	c (26,22) x[1][64] = 1
63.87/26.95	c (26,22) x[1][65] = 1
63.87/26.95	c (26,22) x[1][66] = 1
63.87/26.95	c (26,22) x[1][67] = 1
63.87/26.95	c (26,22) x[1][68] = 1
63.87/26.95	c (26,22) x[1][69] = 1
63.87/26.95	c (26,22) x[1][70] = 1
63.87/26.95	c (26,22) x[1][71] = 1
63.87/26.95	c (26,22) x[1][72] = 1
63.87/26.95	c (26,22) x[1][73] = 1
63.87/26.95	c (26,22) x[1][74] = 1
63.87/26.95	c (26,22) x[1][75] = 1
63.87/26.95	c (26,22) x[1][76] = 1
63.87/26.95	c (26,22) x[1][77] = 1
63.87/26.95	c (26,22) x[1][78] = 1
63.87/26.95	c (26,22) x[1][79] = 1
63.87/26.95	c (26,22) x[1][80] = 1
63.87/26.95	c (26,22) x[1][81] = 1
63.87/26.95	c (26,22) x[1][82] = 1
63.87/26.95	c (26,22) x[1][83] = 1
63.87/26.95	c (26,22) x[1][84] = 0
63.87/26.95	c (26,22) x[1][85] = 0
63.87/26.95	c (26,22) x[1][86] = 0
63.87/26.95	c (26,22) x[1][87] = 0
63.87/26.95	c (26,22) x[1][88] = 0
63.87/26.95	c (26,22) x[1][89] = 0
63.87/26.95	c (26,22) x[1][90] = 0
63.87/26.95	c (26,22) x[1][91] = 0
63.87/26.95	c (26,22) x[1][92] = 0
63.87/26.95	c (26,22) x[1][93] = 0
63.87/26.95	c (26,22) x[1][94] = 0
63.87/26.95	c (26,22) x[1][95] = 0
63.87/26.95	c (26,22) x[1][96] = 0
63.87/26.95	c (26,22) x[1][97] = 0
63.87/26.95	c (26,22) x[1][98] = 0
63.87/26.95	c (26,22) x[1][99] = 0
63.87/26.95	c (26,22) x[1][100] = 0
63.87/26.95	c (26,22) x[1][101] = 0
63.87/26.95	c (26,22) x[1][102] = 0
63.87/26.95	c (26,22) x[1][103] = 0
63.87/26.95	c (26,22) x[1][104] = 0
63.87/26.95	c (26,22) x[1][105] = 0
63.87/26.95	c (26,22) x[1][106] = 0
63.87/26.95	c (26,22) x[1][107] = 0
63.87/26.95	c (26,22) x[1][108] = 0
63.87/26.95	c (26,22) x[1][109] = 0
63.87/26.95	c (26,22) x[1][110] = 0
63.87/26.95	c (26,22) x[1][111] = 0
63.87/26.95	c (26,22) x[1][112] = 1
63.87/26.95	c (26,22) x[1][113] = 1
63.87/26.95	c (26,22) x[1][114] = 1
63.87/26.95	c (26,22) x[1][115] = 1
63.87/26.95	c (26,22) x[1][116] = 1
63.87/26.95	c (26,22) x[1][117] = 1
63.87/26.95	c (26,22) x[1][118] = 1
63.87/26.95	c (26,22) x[1][119] = 1
63.87/26.95	c (26,22) x[2][0] = 0
63.87/26.95	c (26,22) x[2][1] = 0
63.87/26.95	c (26,22) x[2][2] = 0
63.87/26.95	c (26,22) x[2][3] = 0
63.87/26.95	c (26,22) x[2][4] = 0
63.87/26.95	c (26,22) x[2][5] = 0
63.87/26.95	c (26,22) x[2][6] = 0
63.87/26.95	c (26,22) x[2][7] = 0
63.87/26.95	c (26,22) x[2][8] = 0
63.87/26.95	c (26,22) x[2][9] = 0
63.87/26.95	c (26,22) x[2][10] = 0
63.87/26.95	c (26,22) x[2][11] = 0
63.87/26.95	c (26,22) x[2][12] = 0
63.87/26.95	c (26,22) x[2][13] = 0
63.87/26.95	c (26,22) x[2][14] = 0
63.87/26.95	c (26,22) x[2][15] = 0
63.87/26.95	c (26,22) x[2][16] = 0
63.87/26.95	c (26,22) x[2][17] = 0
63.87/26.95	c (26,22) x[2][18] = 0
63.87/26.95	c (26,22) x[2][19] = 0
63.87/26.95	c (26,22) x[2][20] = 0
63.87/26.95	c (26,22) x[2][21] = 0
63.87/26.95	c (26,22) x[2][22] = 0
63.87/26.95	c (26,22) x[2][23] = 0
63.87/26.95	c (26,22) x[2][24] = 0
63.87/26.95	c (26,22) x[2][25] = 0
63.87/26.95	c (26,22) x[2][26] = 0
63.87/26.95	c (26,22) x[2][27] = 0
63.87/26.95	c (26,22) x[2][28] = 1
63.87/26.95	c (26,22) x[2][29] = 1
63.87/26.95	c (26,22) x[2][30] = 1
63.87/26.95	c (26,22) x[2][31] = 1
63.87/26.95	c (26,22) x[2][32] = 1
63.87/26.95	c (26,22) x[2][33] = 1
63.87/26.95	c (26,22) x[2][34] = 1
63.87/26.95	c (26,22) x[2][35] = 1
63.87/26.95	c (26,22) x[2][36] = 1
63.87/26.95	c (26,22) x[2][37] = 1
63.87/26.95	c (26,22) x[2][38] = 1
63.87/26.95	c (26,22) x[2][39] = 1
63.87/26.95	c (26,22) x[2][40] = 1
63.87/26.95	c (26,22) x[2][41] = 1
63.87/26.95	c (26,22) x[2][42] = 1
63.87/26.95	c (26,22) x[2][43] = 1
63.87/26.95	c (26,22) x[2][44] = 1
63.87/26.95	c (26,22) x[2][45] = 1
63.87/26.95	c (26,22) x[2][46] = 1
63.87/26.95	c (26,22) x[2][47] = 1
63.87/26.95	c (26,22) x[2][48] = 1
63.87/26.95	c (26,22) x[2][49] = 1
63.87/26.95	c (26,22) x[2][50] = 1
63.87/26.95	c (26,22) x[2][51] = 1
63.87/26.95	c (26,22) x[2][52] = 1
63.87/26.95	c (26,22) x[2][53] = 1
63.87/26.95	c (26,22) x[2][54] = 1
63.87/26.95	c (26,22) x[2][55] = 1
63.87/26.95	c (26,22) x[2][56] = 0
63.87/26.95	c (26,22) x[2][57] = 0
63.87/26.95	c (26,22) x[2][58] = 0
63.87/26.95	c (26,22) x[2][59] = 0
63.87/26.95	c (26,22) x[2][60] = 0
63.87/26.95	c (26,22) x[2][61] = 0
63.87/26.95	c (26,22) x[2][62] = 0
63.87/26.95	c (26,22) x[2][63] = 0
63.87/26.95	c (26,22) x[2][64] = 0
63.87/26.95	c (26,22) x[2][65] = 0
63.87/26.95	c (26,22) x[2][66] = 0
63.87/26.95	c (26,22) x[2][67] = 0
63.87/26.95	c (26,22) x[2][68] = 0
63.87/26.95	c (26,22) x[2][69] = 0
63.87/26.95	c (26,22) x[2][70] = 0
63.87/26.95	c (26,22) x[2][71] = 0
63.87/26.95	c (26,22) x[2][72] = 0
63.87/26.95	c (26,22) x[2][73] = 0
63.87/26.95	c (26,22) x[2][74] = 0
63.87/26.95	c (26,22) x[2][75] = 0
63.87/26.95	c (26,22) x[2][76] = 0
63.87/26.95	c (26,22) x[2][77] = 0
63.87/26.95	c (26,22) x[2][78] = 0
63.87/26.95	c (26,22) x[2][79] = 0
63.87/26.95	c (26,22) x[2][80] = 0
63.87/26.95	c (26,22) x[2][81] = 0
63.87/26.95	c (26,22) x[2][82] = 0
63.87/26.95	c (26,22) x[2][83] = 0
63.87/26.95	c (26,22) x[2][84] = 0
63.87/26.95	c (26,22) x[2][85] = 0
63.87/26.95	c (26,22) x[2][86] = 0
63.87/26.95	c (26,22) x[2][87] = 0
63.87/26.95	c (26,22) x[2][88] = 0
63.87/26.95	c (26,22) x[2][89] = 0
63.87/26.95	c (26,22) x[2][90] = 0
63.87/26.95	c (26,22) x[2][91] = 0
63.87/26.95	c (26,22) x[2][92] = 0
63.87/26.95	c (26,22) x[2][93] = 0
63.87/26.95	c (26,22) x[2][94] = 0
63.87/26.95	c (26,22) x[2][95] = 0
63.87/26.95	c (26,22) x[2][96] = 0
63.87/26.95	c (26,22) x[2][97] = 0
63.87/26.95	c (26,22) x[2][98] = 0
63.87/26.95	c (26,22) x[2][99] = 0
63.87/26.95	c (26,22) x[2][100] = 0
63.87/26.95	c (26,22) x[2][101] = 0
63.87/26.95	c (26,22) x[2][102] = 0
63.87/26.95	c (26,22) x[2][103] = 0
63.87/26.95	c (26,22) x[2][104] = 0
63.87/26.95	c (26,22) x[2][105] = 0
63.87/26.95	c (26,22) x[2][106] = 0
63.87/26.95	c (26,22) x[2][107] = 0
63.87/26.95	c (26,22) x[2][108] = 0
63.87/26.95	c (26,22) x[2][109] = 0
63.87/26.95	c (26,22) x[2][110] = 0
63.87/26.95	c (26,22) x[2][111] = 0
63.87/26.95	c (26,22) x[2][112] = 1
63.87/26.95	c (26,22) x[2][113] = 1
63.87/26.95	c (26,22) x[2][114] = 1
63.87/26.95	c (26,22) x[2][115] = 1
63.87/26.95	c (26,22) x[2][116] = 1
63.87/26.95	c (26,22) x[2][117] = 1
63.87/26.95	c (26,22) x[2][118] = 1
63.87/26.95	c (26,22) x[2][119] = 1
63.87/26.95	c (26,22) x[3][0] = 0
63.87/26.95	c (26,22) x[3][1] = 0
63.87/26.95	c (26,22) x[3][2] = 0
63.87/26.95	c (26,22) x[3][3] = 0
63.87/26.95	c (26,22) x[3][4] = 0
63.87/26.95	c (26,22) x[3][5] = 0
63.87/26.95	c (26,22) x[3][6] = 0
63.87/26.95	c (26,22) x[3][7] = 0
63.87/26.95	c (26,22) x[3][8] = 0
63.87/26.95	c (26,22) x[3][9] = 0
63.87/26.95	c (26,22) x[3][10] = 0
63.87/26.95	c (26,22) x[3][11] = 0
63.87/26.95	c (26,22) x[3][12] = 0
63.87/26.95	c (26,22) x[3][13] = 0
63.87/26.96	c (26,22) x[3][14] = 0
63.87/26.96	c (26,22) x[3][15] = 0
63.87/26.96	c (26,22) x[3][16] = 1
63.87/26.96	c (26,22) x[3][17] = 1
63.87/26.96	c (26,22) x[3][18] = 1
63.87/26.96	c (26,22) x[3][19] = 1
63.87/26.96	c (26,22) x[3][20] = 1
63.87/26.96	c (26,22) x[3][21] = 1
63.87/26.96	c (26,22) x[3][22] = 1
63.87/26.96	c (26,22) x[3][23] = 1
63.87/26.96	c (26,22) x[3][24] = 1
63.87/26.96	c (26,22) x[3][25] = 1
63.87/26.96	c (26,22) x[3][26] = 1
63.87/26.96	c (26,22) x[3][27] = 1
63.87/26.96	c (26,22) x[3][28] = 0
63.87/26.96	c (26,22) x[3][29] = 0
63.87/26.96	c (26,22) x[3][30] = 0
63.87/26.96	c (26,22) x[3][31] = 0
63.87/26.96	c (26,22) x[3][32] = 0
63.87/26.96	c (26,22) x[3][33] = 0
63.87/26.96	c (26,22) x[3][34] = 0
63.87/26.96	c (26,22) x[3][35] = 0
63.87/26.96	c (26,22) x[3][36] = 0
63.87/26.96	c (26,22) x[3][37] = 0
63.87/26.96	c (26,22) x[3][38] = 0
63.87/26.96	c (26,22) x[3][39] = 0
63.87/26.96	c (26,22) x[3][40] = 0
63.87/26.96	c (26,22) x[3][41] = 0
63.87/26.96	c (26,22) x[3][42] = 0
63.87/26.96	c (26,22) x[3][43] = 0
63.87/26.96	c (26,22) x[3][44] = 0
63.87/26.96	c (26,22) x[3][45] = 0
63.87/26.96	c (26,22) x[3][46] = 0
63.87/26.96	c (26,22) x[3][47] = 0
63.87/26.96	c (26,22) x[3][48] = 1
63.87/26.96	c (26,22) x[3][49] = 1
63.87/26.96	c (26,22) x[3][50] = 1
63.87/26.96	c (26,22) x[3][51] = 1
63.87/26.96	c (26,22) x[3][52] = 1
63.87/26.96	c (26,22) x[3][53] = 1
63.87/26.96	c (26,22) x[3][54] = 1
63.87/26.96	c (26,22) x[3][55] = 1
63.87/26.96	c (26,22) x[3][56] = 0
63.87/26.96	c (26,22) x[3][57] = 0
63.87/26.96	c (26,22) x[3][58] = 0
63.87/26.96	c (26,22) x[3][59] = 0
63.87/26.96	c (26,22) x[3][60] = 0
63.87/26.96	c (26,22) x[3][61] = 0
63.87/26.96	c (26,22) x[3][62] = 0
63.87/26.96	c (26,22) x[3][63] = 0
63.87/26.96	c (26,22) x[3][64] = 0
63.87/26.96	c (26,22) x[3][65] = 0
63.87/26.96	c (26,22) x[3][66] = 0
63.87/26.96	c (26,22) x[3][67] = 0
63.87/26.96	c (26,22) x[3][68] = 0
63.87/26.96	c (26,22) x[3][69] = 0
63.87/26.96	c (26,22) x[3][70] = 0
63.87/26.96	c (26,22) x[3][71] = 0
63.87/26.96	c (26,22) x[3][72] = 0
63.87/26.96	c (26,22) x[3][73] = 0
63.87/26.96	c (26,22) x[3][74] = 0
63.87/26.96	c (26,22) x[3][75] = 0
63.87/26.96	c (26,22) x[3][76] = 1
63.87/26.96	c (26,22) x[3][77] = 1
63.87/26.96	c (26,22) x[3][78] = 1
63.87/26.96	c (26,22) x[3][79] = 1
63.87/26.96	c (26,22) x[3][80] = 1
63.87/26.96	c (26,22) x[3][81] = 1
63.87/26.96	c (26,22) x[3][82] = 1
63.87/26.96	c (26,22) x[3][83] = 1
63.87/26.96	c (26,22) x[3][84] = 0
63.87/26.96	c (26,22) x[3][85] = 0
63.87/26.96	c (26,22) x[3][86] = 0
63.87/26.96	c (26,22) x[3][87] = 0
63.87/26.96	c (26,22) x[3][88] = 0
63.87/26.96	c (26,22) x[3][89] = 0
63.87/26.96	c (26,22) x[3][90] = 0
63.87/26.96	c (26,22) x[3][91] = 0
63.87/26.96	c (26,22) x[3][92] = 0
63.87/26.96	c (26,22) x[3][93] = 0
63.87/26.96	c (26,22) x[3][94] = 0
63.87/26.96	c (26,22) x[3][95] = 0
63.87/26.96	c (26,22) x[3][96] = 0
63.87/26.96	c (26,22) x[3][97] = 0
63.87/26.96	c (26,22) x[3][98] = 0
63.87/26.96	c (26,22) x[3][99] = 0
63.87/26.96	c (26,22) x[3][100] = 0
63.87/26.96	c (26,22) x[3][101] = 0
63.87/26.96	c (26,22) x[3][102] = 0
63.87/26.96	c (26,22) x[3][103] = 0
63.87/26.96	c (26,22) x[3][104] = 1
63.87/26.96	c (26,22) x[3][105] = 1
63.87/26.96	c (26,22) x[3][106] = 1
63.87/26.96	c (26,22) x[3][107] = 1
63.87/26.96	c (26,22) x[3][108] = 1
63.87/26.96	c (26,22) x[3][109] = 1
63.87/26.96	c (26,22) x[3][110] = 1
63.87/26.96	c (26,22) x[3][111] = 1
63.87/26.96	c (26,22) x[3][112] = 0
63.87/26.96	c (26,22) x[3][113] = 0
63.87/26.96	c (26,22) x[3][114] = 0
63.87/26.96	c (26,22) x[3][115] = 0
63.87/26.96	c (26,22) x[3][116] = 0
63.87/26.96	c (26,22) x[3][117] = 0
63.87/26.96	c (26,22) x[3][118] = 0
63.87/26.96	c (26,22) x[3][119] = 0
63.87/26.96	c (26,22) x[4][0] = 0
63.87/26.96	c (26,22) x[4][1] = 0
63.87/26.96	c (26,22) x[4][2] = 0
63.87/26.96	c (26,22) x[4][3] = 0
63.87/26.96	c (26,22) x[4][4] = 0
63.87/26.96	c (26,22) x[4][5] = 0
63.87/26.96	c (26,22) x[4][6] = 0
63.87/26.96	c (26,22) x[4][7] = 0
63.87/26.96	c (26,22) x[4][8] = 0
63.87/26.96	c (26,22) x[4][9] = 1
63.87/26.96	c (26,22) x[4][10] = 1
63.87/26.96	c (26,22) x[4][11] = 1
63.87/26.96	c (26,22) x[4][12] = 1
63.87/26.96	c (26,22) x[4][13] = 1
63.87/26.96	c (26,22) x[4][14] = 1
63.87/26.96	c (26,22) x[4][15] = 1
63.87/26.96	c (26,22) x[4][16] = 0
63.87/26.96	c (26,22) x[4][17] = 0
63.87/26.96	c (26,22) x[4][18] = 0
63.87/26.96	c (26,22) x[4][19] = 0
63.87/26.96	c (26,22) x[4][20] = 0
63.87/26.96	c (26,22) x[4][21] = 0
63.87/26.96	c (26,22) x[4][22] = 0
63.87/26.96	c (26,22) x[4][23] = 1
63.87/26.96	c (26,22) x[4][24] = 1
63.87/26.96	c (26,22) x[4][25] = 1
63.87/26.96	c (26,22) x[4][26] = 1
63.87/26.96	c (26,22) x[4][27] = 1
63.87/26.96	c (26,22) x[4][28] = 0
63.87/26.96	c (26,22) x[4][29] = 0
63.87/26.96	c (26,22) x[4][30] = 0
63.87/26.96	c (26,22) x[4][31] = 0
63.87/26.96	c (26,22) x[4][32] = 0
63.87/26.96	c (26,22) x[4][33] = 0
63.87/26.96	c (26,22) x[4][34] = 0
63.87/26.96	c (26,22) x[4][35] = 0
63.87/26.96	c (26,22) x[4][36] = 0
63.87/26.96	c (26,22) x[4][37] = 0
63.87/26.96	c (26,22) x[4][38] = 0
63.87/26.96	c (26,22) x[4][39] = 0
63.87/26.96	c (26,22) x[4][40] = 1
63.87/26.96	c (26,22) x[4][41] = 1
63.87/26.96	c (26,22) x[4][42] = 1
63.87/26.96	c (26,22) x[4][43] = 1
63.87/26.96	c (26,22) x[4][44] = 1
63.87/26.96	c (26,22) x[4][45] = 1
63.87/26.96	c (26,22) x[4][46] = 1
63.87/26.96	c (26,22) x[4][47] = 1
63.87/26.96	c (26,22) x[4][48] = 0
63.87/26.96	c (26,22) x[4][49] = 0
63.87/26.96	c (26,22) x[4][50] = 0
63.87/26.96	c (26,22) x[4][51] = 0
63.87/26.96	c (26,22) x[4][52] = 0
63.87/26.96	c (26,22) x[4][53] = 0
63.87/26.96	c (26,22) x[4][54] = 0
63.87/26.96	c (26,22) x[4][55] = 0
63.87/26.96	c (26,22) x[4][56] = 0
63.87/26.96	c (26,22) x[4][57] = 0
63.87/26.96	c (26,22) x[4][58] = 0
63.87/26.96	c (26,22) x[4][59] = 0
63.87/26.96	c (26,22) x[4][60] = 0
63.87/26.96	c (26,22) x[4][61] = 0
63.87/26.96	c (26,22) x[4][62] = 0
63.87/26.96	c (26,22) x[4][63] = 0
63.87/26.96	c (26,22) x[4][64] = 0
63.87/26.96	c (26,22) x[4][65] = 0
63.87/26.96	c (26,22) x[4][66] = 0
63.87/26.96	c (26,22) x[4][67] = 0
63.87/26.96	c (26,22) x[4][68] = 1
63.87/26.96	c (26,22) x[4][69] = 1
63.87/26.96	c (26,22) x[4][70] = 1
63.87/26.96	c (26,22) x[4][71] = 1
63.87/26.96	c (26,22) x[4][72] = 1
63.87/26.96	c (26,22) x[4][73] = 1
63.87/26.96	c (26,22) x[4][74] = 1
63.87/26.96	c (26,22) x[4][75] = 1
63.87/26.96	c (26,22) x[4][76] = 0
63.87/26.96	c (26,22) x[4][77] = 0
63.87/26.96	c (26,22) x[4][78] = 0
63.87/26.96	c (26,22) x[4][79] = 0
63.87/26.96	c (26,22) x[4][80] = 0
63.87/26.96	c (26,22) x[4][81] = 0
63.87/26.96	c (26,22) x[4][82] = 0
63.87/26.96	c (26,22) x[4][83] = 0
63.87/26.96	c (26,22) x[4][84] = 0
63.87/26.96	c (26,22) x[4][85] = 0
63.87/26.96	c (26,22) x[4][86] = 0
63.87/26.96	c (26,22) x[4][87] = 0
63.87/26.96	c (26,22) x[4][88] = 0
63.87/26.96	c (26,22) x[4][89] = 0
63.87/26.96	c (26,22) x[4][90] = 0
63.87/26.96	c (26,22) x[4][91] = 0
63.87/26.96	c (26,22) x[4][92] = 0
63.87/26.96	c (26,22) x[4][93] = 0
63.87/26.96	c (26,22) x[4][94] = 0
63.87/26.96	c (26,22) x[4][95] = 0
63.87/26.96	c (26,22) x[4][96] = 0
63.87/26.96	c (26,22) x[4][97] = 0
63.87/26.96	c (26,22) x[4][98] = 0
63.87/26.96	c (26,22) x[4][99] = 1
63.87/26.96	c (26,22) x[4][100] = 1
63.87/26.96	c (26,22) x[4][101] = 1
63.87/26.96	c (26,22) x[4][102] = 1
63.87/26.96	c (26,22) x[4][103] = 1
63.87/26.96	c (26,22) x[4][104] = 0
63.87/26.96	c (26,22) x[4][105] = 0
63.87/26.96	c (26,22) x[4][106] = 0
63.87/26.96	c (26,22) x[4][107] = 0
63.87/26.96	c (26,22) x[4][108] = 0
63.87/26.96	c (26,22) x[4][109] = 1
63.87/26.96	c (26,22) x[4][110] = 1
63.87/26.96	c (26,22) x[4][111] = 1
63.87/26.96	c (26,22) x[4][112] = 0
63.87/26.96	c (26,22) x[4][113] = 0
63.87/26.96	c (26,22) x[4][114] = 0
63.87/26.96	c (26,22) x[4][115] = 0
63.87/26.96	c (26,22) x[4][116] = 0
63.87/26.96	c (26,22) x[4][117] = 0
63.87/26.96	c (26,22) x[4][118] = 0
63.87/26.96	c (26,22) x[4][119] = 0
63.87/26.96	c (26,22) x[5][0] = 0
63.87/26.96	c (26,22) x[5][1] = 0
63.87/26.96	c (26,22) x[5][2] = 0
63.87/26.96	c (26,22) x[5][3] = 0
63.87/26.96	c (26,22) x[5][4] = 0
63.87/26.96	c (26,22) x[5][5] = 0
63.87/26.96	c (26,22) x[5][6] = 0
63.87/26.96	c (26,22) x[5][7] = 0
63.87/26.96	c (26,22) x[5][8] = 0
63.87/26.96	c (26,22) x[5][9] = 1
63.87/26.96	c (26,22) x[5][10] = 1
63.87/26.96	c (26,22) x[5][11] = 1
63.87/26.96	c (26,22) x[5][12] = 1
63.87/26.96	c (26,22) x[5][13] = 1
63.87/26.96	c (26,22) x[5][14] = 1
63.87/26.96	c (26,22) x[5][15] = 1
63.87/26.96	c (26,22) x[5][16] = 0
63.87/26.96	c (26,22) x[5][17] = 0
63.87/26.96	c (26,22) x[5][18] = 1
63.87/26.96	c (26,22) x[5][19] = 1
63.87/26.96	c (26,22) x[5][20] = 1
63.87/26.96	c (26,22) x[5][21] = 1
63.87/26.96	c (26,22) x[5][22] = 1
63.87/26.96	c (26,22) x[5][23] = 0
63.87/26.96	c (26,22) x[5][24] = 0
63.87/26.96	c (26,22) x[5][25] = 0
63.87/26.96	c (26,22) x[5][26] = 0
63.87/26.96	c (26,22) x[5][27] = 0
63.87/26.96	c (26,22) x[5][28] = 0
63.87/26.96	c (26,22) x[5][29] = 0
63.87/26.96	c (26,22) x[5][30] = 0
63.87/26.96	c (26,22) x[5][31] = 0
63.87/26.96	c (26,22) x[5][32] = 1
63.87/26.96	c (26,22) x[5][33] = 1
63.87/26.96	c (26,22) x[5][34] = 1
63.87/26.96	c (26,22) x[5][35] = 1
63.87/26.96	c (26,22) x[5][36] = 1
63.87/26.96	c (26,22) x[5][37] = 1
63.87/26.96	c (26,22) x[5][38] = 1
63.87/26.96	c (26,22) x[5][39] = 1
63.87/26.96	c (26,22) x[5][40] = 0
63.87/26.96	c (26,22) x[5][41] = 0
63.87/26.96	c (26,22) x[5][42] = 0
63.87/26.96	c (26,22) x[5][43] = 0
63.87/26.96	c (26,22) x[5][44] = 0
63.87/26.96	c (26,22) x[5][45] = 0
63.87/26.96	c (26,22) x[5][46] = 0
63.87/26.96	c (26,22) x[5][47] = 0
63.87/26.96	c (26,22) x[5][48] = 0
63.87/26.96	c (26,22) x[5][49] = 0
63.87/26.96	c (26,22) x[5][50] = 0
63.87/26.96	c (26,22) x[5][51] = 0
63.87/26.96	c (26,22) x[5][52] = 0
63.87/26.96	c (26,22) x[5][53] = 0
63.87/26.96	c (26,22) x[5][54] = 0
63.87/26.96	c (26,22) x[5][55] = 0
63.87/26.96	c (26,22) x[5][56] = 0
63.87/26.96	c (26,22) x[5][57] = 0
63.87/26.96	c (26,22) x[5][58] = 0
63.87/26.96	c (26,22) x[5][59] = 0
63.87/26.96	c (26,22) x[5][60] = 0
63.87/26.96	c (26,22) x[5][61] = 0
63.87/26.96	c (26,22) x[5][62] = 1
63.87/26.96	c (26,22) x[5][63] = 1
63.87/26.96	c (26,22) x[5][64] = 1
63.87/26.96	c (26,22) x[5][65] = 1
63.87/26.96	c (26,22) x[5][66] = 1
63.87/26.96	c (26,22) x[5][67] = 1
63.87/26.96	c (26,22) x[5][68] = 0
63.87/26.96	c (26,22) x[5][69] = 0
63.87/26.96	c (26,22) x[5][70] = 0
63.87/26.96	c (26,22) x[5][71] = 0
63.87/26.96	c (26,22) x[5][72] = 0
63.87/26.96	c (26,22) x[5][73] = 0
63.87/26.96	c (26,22) x[5][74] = 0
63.87/26.96	c (26,22) x[5][75] = 1
63.87/26.96	c (26,22) x[5][76] = 0
63.87/26.96	c (26,22) x[5][77] = 0
63.87/26.96	c (26,22) x[5][78] = 0
63.87/26.96	c (26,22) x[5][79] = 0
63.87/26.96	c (26,22) x[5][80] = 0
63.87/26.96	c (26,22) x[5][81] = 0
63.87/26.96	c (26,22) x[5][82] = 0
63.87/26.96	c (26,22) x[5][83] = 1
63.87/26.96	c (26,22) x[5][84] = 0
63.87/26.96	c (26,22) x[5][85] = 0
63.87/26.96	c (26,22) x[5][86] = 0
63.87/26.96	c (26,22) x[5][87] = 0
63.87/26.96	c (26,22) x[5][88] = 0
63.87/26.96	c (26,22) x[5][89] = 0
63.87/26.96	c (26,22) x[5][90] = 0
63.87/26.96	c (26,22) x[5][91] = 0
63.87/26.96	c (26,22) x[5][92] = 0
63.87/26.96	c (26,22) x[5][93] = 1
63.87/26.96	c (26,22) x[5][94] = 1
63.87/26.96	c (26,22) x[5][95] = 1
63.87/26.96	c (26,22) x[5][96] = 1
63.87/26.96	c (26,22) x[5][97] = 1
63.87/26.96	c (26,22) x[5][98] = 1
63.87/26.96	c (26,22) x[5][99] = 0
63.87/26.96	c (26,22) x[5][100] = 0
63.87/26.96	c (26,22) x[5][101] = 0
63.87/26.96	c (26,22) x[5][102] = 0
63.87/26.96	c (26,22) x[5][103] = 0
63.87/26.96	c (26,22) x[5][104] = 0
63.87/26.96	c (26,22) x[5][105] = 0
63.87/26.96	c (26,22) x[5][106] = 0
63.87/26.96	c (26,22) x[5][107] = 1
63.87/26.96	c (26,22) x[5][108] = 1
63.87/26.96	c (26,22) x[5][109] = 0
63.87/26.96	c (26,22) x[5][110] = 0
63.87/26.96	c (26,22) x[5][111] = 0
63.87/26.96	c (26,22) x[5][112] = 0
63.87/26.96	c (26,22) x[5][113] = 0
63.87/26.96	c (26,22) x[5][114] = 0
63.87/26.96	c (26,22) x[5][115] = 0
63.87/26.96	c (26,22) x[5][116] = 0
63.87/26.96	c (26,22) x[5][117] = 0
63.87/26.96	c (26,22) x[5][118] = 0
63.87/26.96	c (26,22) x[5][119] = 0
63.87/26.96	c (26,22) x[6][0] = 0
63.87/26.96	c (26,22) x[6][1] = 0
63.87/26.96	c (26,22) x[6][2] = 0
63.87/26.96	c (26,22) x[6][3] = 0
63.87/26.96	c (26,22) x[6][4] = 1
63.87/26.96	c (26,22) x[6][5] = 1
63.87/26.96	c (26,22) x[6][6] = 1
63.87/26.96	c (26,22) x[6][7] = 1
63.87/26.96	c (26,22) x[6][8] = 1
63.87/26.96	c (26,22) x[6][9] = 0
63.87/26.96	c (26,22) x[6][10] = 0
63.87/26.96	c (26,22) x[6][11] = 0
63.87/26.96	c (26,22) x[6][12] = 0
63.87/26.96	c (26,22) x[6][13] = 0
63.87/26.96	c (26,22) x[6][14] = 0
63.87/26.96	c (26,22) x[6][15] = 0
63.87/26.96	c (26,22) x[6][16] = 1
63.87/26.96	c (26,22) x[6][17] = 1
63.87/26.96	c (26,22) x[6][18] = 0
63.87/26.96	c (26,22) x[6][19] = 0
63.87/26.96	c (26,22) x[6][20] = 0
63.87/26.96	c (26,22) x[6][21] = 1
63.87/26.96	c (26,22) x[6][22] = 1
63.87/26.96	c (26,22) x[6][23] = 0
63.87/26.96	c (26,22) x[6][24] = 0
63.87/26.96	c (26,22) x[6][25] = 1
63.87/26.96	c (26,22) x[6][26] = 1
63.87/26.96	c (26,22) x[6][27] = 1
63.87/26.96	c (26,22) x[6][28] = 0
63.87/26.96	c (26,22) x[6][29] = 1
63.87/26.96	c (26,22) x[6][30] = 1
63.87/26.96	c (26,22) x[6][31] = 1
63.87/26.96	c (26,22) x[6][32] = 0
63.87/26.96	c (26,22) x[6][33] = 0
63.87/26.96	c (26,22) x[6][34] = 0
63.87/26.96	c (26,22) x[6][35] = 0
63.87/26.96	c (26,22) x[6][36] = 0
63.87/26.96	c (26,22) x[6][37] = 0
63.87/26.96	c (26,22) x[6][38] = 0
63.87/26.96	c (26,22) x[6][39] = 0
63.87/26.96	c (26,22) x[6][40] = 0
63.87/26.96	c (26,22) x[6][41] = 0
63.87/26.96	c (26,22) x[6][42] = 0
63.87/26.96	c (26,22) x[6][43] = 1
63.87/26.96	c (26,22) x[6][44] = 1
63.87/26.96	c (26,22) x[6][45] = 1
63.87/26.96	c (26,22) x[6][46] = 1
63.87/26.96	c (26,22) x[6][47] = 1
63.87/26.96	c (26,22) x[6][48] = 0
63.87/26.96	c (26,22) x[6][49] = 0
63.87/26.96	c (26,22) x[6][50] = 0
63.87/26.96	c (26,22) x[6][51] = 0
63.87/26.96	c (26,22) x[6][52] = 0
63.87/26.96	c (26,22) x[6][53] = 0
63.87/26.96	c (26,22) x[6][54] = 0
63.87/26.96	c (26,22) x[6][55] = 0
63.87/26.96	c (26,22) x[6][56] = 1
63.87/26.96	c (26,22) x[6][57] = 1
63.87/26.96	c (26,22) x[6][58] = 1
63.87/26.96	c (26,22) x[6][59] = 1
63.87/26.96	c (26,22) x[6][60] = 1
63.87/26.96	c (26,22) x[6][61] = 1
63.87/26.96	c (26,22) x[6][62] = 0
63.87/26.96	c (26,22) x[6][63] = 0
63.87/26.96	c (26,22) x[6][64] = 0
63.87/26.96	c (26,22) x[6][65] = 0
63.87/26.96	c (26,22) x[6][66] = 1
63.87/26.96	c (26,22) x[6][67] = 1
63.87/26.96	c (26,22) x[6][68] = 0
63.87/26.96	c (26,22) x[6][69] = 0
63.87/26.96	c (26,22) x[6][70] = 0
63.87/26.96	c (26,22) x[6][71] = 0
63.87/26.96	c (26,22) x[6][72] = 0
63.87/26.96	c (26,22) x[6][73] = 0
63.87/26.96	c (26,22) x[6][74] = 0
63.87/26.96	c (26,22) x[6][75] = 0
63.87/26.96	c (26,22) x[6][76] = 0
63.87/26.96	c (26,22) x[6][77] = 0
63.87/26.96	c (26,22) x[6][78] = 0
63.87/26.96	c (26,22) x[6][79] = 0
63.87/26.96	c (26,22) x[6][80] = 0
63.87/26.96	c (26,22) x[6][81] = 0
63.87/26.96	c (26,22) x[6][82] = 0
63.87/26.96	c (26,22) x[6][83] = 0
63.87/26.96	c (26,22) x[6][84] = 0
63.87/26.96	c (26,22) x[6][85] = 0
63.87/26.96	c (26,22) x[6][86] = 0
63.87/26.96	c (26,22) x[6][87] = 0
63.87/26.96	c (26,22) x[6][88] = 0
63.87/26.96	c (26,22) x[6][89] = 0
63.87/26.96	c (26,22) x[6][90] = 1
63.87/26.96	c (26,22) x[6][91] = 1
63.87/26.96	c (26,22) x[6][92] = 1
63.87/26.96	c (26,22) x[6][93] = 0
63.87/26.96	c (26,22) x[6][94] = 0
63.87/26.96	c (26,22) x[6][95] = 1
63.87/26.96	c (26,22) x[6][96] = 1
63.87/26.96	c (26,22) x[6][97] = 1
63.87/26.96	c (26,22) x[6][98] = 1
63.87/26.96	c (26,22) x[6][99] = 0
63.87/26.96	c (26,22) x[6][100] = 0
63.87/26.96	c (26,22) x[6][101] = 0
63.87/26.96	c (26,22) x[6][102] = 0
63.87/26.96	c (26,22) x[6][103] = 0
63.87/26.96	c (26,22) x[6][104] = 0
63.87/26.96	c (26,22) x[6][105] = 0
63.87/26.96	c (26,22) x[6][106] = 1
63.87/26.96	c (26,22) x[6][107] = 0
63.87/26.96	c (26,22) x[6][108] = 0
63.87/26.96	c (26,22) x[6][109] = 0
63.87/26.96	c (26,22) x[6][110] = 0
63.87/26.96	c (26,22) x[6][111] = 0
63.87/26.96	c (26,22) x[6][112] = 0
63.87/26.96	c (26,22) x[6][113] = 0
63.87/26.96	c (26,22) x[6][114] = 0
63.87/26.96	c (26,22) x[6][115] = 0
63.87/26.96	c (26,22) x[6][116] = 0
63.87/26.96	c (26,22) x[6][117] = 0
63.87/26.96	c (26,22) x[6][118] = 0
63.87/26.96	c (26,22) x[6][119] = 0
63.87/26.96	c (26,22) x[7][0] = 1
63.87/26.96	c (26,22) x[7][1] = 1
63.87/26.96	c (26,22) x[7][2] = 1
63.87/26.96	c (26,22) x[7][3] = 1
63.87/26.96	c (26,22) x[7][4] = 0
63.87/26.96	c (26,22) x[7][5] = 0
63.87/26.96	c (26,22) x[7][6] = 0
63.87/26.96	c (26,22) x[7][7] = 0
63.87/26.96	c (26,22) x[7][8] = 1
63.87/26.96	c (26,22) x[7][9] = 0
63.87/26.96	c (26,22) x[7][10] = 0
63.87/26.96	c (26,22) x[7][11] = 0
63.87/26.96	c (26,22) x[7][12] = 0
63.87/26.96	c (26,22) x[7][13] = 0
63.87/26.96	c (26,22) x[7][14] = 1
63.87/26.96	c (26,22) x[7][15] = 1
63.87/26.96	c (26,22) x[7][16] = 1
63.87/26.96	c (26,22) x[7][17] = 1
63.87/26.96	c (26,22) x[7][18] = 0
63.87/26.96	c (26,22) x[7][19] = 1
63.87/26.96	c (26,22) x[7][20] = 1
63.87/26.96	c (26,22) x[7][21] = 0
63.87/26.96	c (26,22) x[7][22] = 0
63.87/26.96	c (26,22) x[7][23] = 0
63.87/26.96	c (26,22) x[7][24] = 1
63.87/26.96	c (26,22) x[7][25] = 0
63.87/26.96	c (26,22) x[7][26] = 0
63.87/26.96	c (26,22) x[7][27] = 0
63.87/26.96	c (26,22) x[7][28] = 1
63.87/26.96	c (26,22) x[7][29] = 0
63.87/26.96	c (26,22) x[7][30] = 0
63.87/26.96	c (26,22) x[7][31] = 0
63.87/26.96	c (26,22) x[7][32] = 0
63.87/26.96	c (26,22) x[7][33] = 0
63.87/26.96	c (26,22) x[7][34] = 0
63.87/26.96	c (26,22) x[7][35] = 0
63.87/26.96	c (26,22) x[7][36] = 0
63.87/26.96	c (26,22) x[7][37] = 1
63.87/26.96	c (26,22) x[7][38] = 1
63.87/26.96	c (26,22) x[7][39] = 1
63.87/26.96	c (26,22) x[7][40] = 1
63.87/26.96	c (26,22) x[7][41] = 1
63.87/26.96	c (26,22) x[7][42] = 1
63.87/26.96	c (26,22) x[7][43] = 0
63.87/26.96	c (26,22) x[7][44] = 0
63.87/26.96	c (26,22) x[7][45] = 0
63.87/26.96	c (26,22) x[7][46] = 0
63.87/26.96	c (26,22) x[7][47] = 0
63.87/26.96	c (26,22) x[7][48] = 0
63.87/26.96	c (26,22) x[7][49] = 0
63.87/26.96	c (26,22) x[7][50] = 0
63.87/26.96	c (26,22) x[7][51] = 0
63.87/26.96	c (26,22) x[7][52] = 0
63.87/26.96	c (26,22) x[7][53] = 0
63.87/26.96	c (26,22) x[7][54] = 0
63.87/26.96	c (26,22) x[7][55] = 1
63.87/26.96	c (26,22) x[7][56] = 0
63.87/26.96	c (26,22) x[7][57] = 1
63.87/26.96	c (26,22) x[7][58] = 1
63.87/26.96	c (26,22) x[7][59] = 1
63.87/26.96	c (26,22) x[7][60] = 1
63.87/26.96	c (26,22) x[7][61] = 1
63.87/26.96	c (26,22) x[7][62] = 0
63.87/26.96	c (26,22) x[7][63] = 0
63.87/26.96	c (26,22) x[7][64] = 0
63.87/26.96	c (26,22) x[7][65] = 1
63.87/26.96	c (26,22) x[7][66] = 0
63.87/26.96	c (26,22) x[7][67] = 0
63.87/26.96	c (26,22) x[7][68] = 0
63.87/26.96	c (26,22) x[7][69] = 0
63.87/26.96	c (26,22) x[7][70] = 0
63.87/26.96	c (26,22) x[7][71] = 0
63.87/26.96	c (26,22) x[7][72] = 0
63.87/26.96	c (26,22) x[7][73] = 0
63.87/26.96	c (26,22) x[7][74] = 0
63.87/26.96	c (26,22) x[7][75] = 0
63.87/26.96	c (26,22) x[7][76] = 0
63.87/26.96	c (26,22) x[7][77] = 0
63.87/26.96	c (26,22) x[7][78] = 0
63.87/26.96	c (26,22) x[7][79] = 0
63.87/26.96	c (26,22) x[7][80] = 0
63.87/26.96	c (26,22) x[7][81] = 1
63.87/26.96	c (26,22) x[7][82] = 1
63.87/26.96	c (26,22) x[7][83] = 0
63.87/26.96	c (26,22) x[7][84] = 1
63.87/26.96	c (26,22) x[7][85] = 1
63.87/26.96	c (26,22) x[7][86] = 1
63.87/26.96	c (26,22) x[7][87] = 1
63.87/26.96	c (26,22) x[7][88] = 1
63.87/26.96	c (26,22) x[7][89] = 1
63.87/26.96	c (26,22) x[7][90] = 0
63.87/26.96	c (26,22) x[7][91] = 0
63.87/26.96	c (26,22) x[7][92] = 0
63.87/26.96	c (26,22) x[7][93] = 0
63.87/26.96	c (26,22) x[7][94] = 0
63.87/26.96	c (26,22) x[7][95] = 0
63.87/26.96	c (26,22) x[7][96] = 0
63.87/26.96	c (26,22) x[7][97] = 0
63.87/26.96	c (26,22) x[7][98] = 0
63.87/26.96	c (26,22) x[7][99] = 0
63.87/26.96	c (26,22) x[7][100] = 0
63.87/26.96	c (26,22) x[7][101] = 0
63.87/26.96	c (26,22) x[7][102] = 1
63.87/26.96	c (26,22) x[7][103] = 1
63.87/26.96	c (26,22) x[7][104] = 0
63.87/26.96	c (26,22) x[7][105] = 0
63.87/26.96	c (26,22) x[7][106] = 0
63.87/26.96	c (26,22) x[7][107] = 0
63.87/26.96	c (26,22) x[7][108] = 0
63.87/26.96	c (26,22) x[7][109] = 0
63.87/26.96	c (26,22) x[7][110] = 0
63.87/26.96	c (26,22) x[7][111] = 0
63.87/26.96	c (26,22) x[7][112] = 0
63.87/26.96	c (26,22) x[7][113] = 0
63.87/26.96	c (26,22) x[7][114] = 0
63.87/26.96	c (26,22) x[7][115] = 0
63.87/26.96	c (26,22) x[7][116] = 0
63.87/26.96	c (26,22) x[7][117] = 0
63.87/26.96	c (26,22) x[7][118] = 0
63.87/26.96	c (26,22) x[7][119] = 0
63.87/26.96	c (26,22) x[8][0] = 1
63.87/26.96	c (26,22) x[8][1] = 1
63.87/26.96	c (26,22) x[8][2] = 1
63.87/26.96	c (26,22) x[8][3] = 1
63.87/26.96	c (26,22) x[8][4] = 1
63.87/26.96	c (26,22) x[8][5] = 1
63.87/26.96	c (26,22) x[8][6] = 1
63.87/26.96	c (26,22) x[8][7] = 1
63.87/26.96	c (26,22) x[8][8] = 0
63.87/26.96	c (26,22) x[8][9] = 0
63.87/26.96	c (26,22) x[8][10] = 0
63.87/26.96	c (26,22) x[8][11] = 1
63.87/26.96	c (26,22) x[8][12] = 1
63.87/26.96	c (26,22) x[8][13] = 1
63.87/26.96	c (26,22) x[8][14] = 0
63.87/26.96	c (26,22) x[8][15] = 0
63.87/26.96	c (26,22) x[8][16] = 0
63.87/26.96	c (26,22) x[8][17] = 0
63.87/26.96	c (26,22) x[8][18] = 0
63.87/26.96	c (26,22) x[8][19] = 0
63.87/26.96	c (26,22) x[8][20] = 0
63.87/26.96	c (26,22) x[8][21] = 0
63.87/26.96	c (26,22) x[8][22] = 0
63.87/26.96	c (26,22) x[8][23] = 1
63.87/26.96	c (26,22) x[8][24] = 0
63.87/26.96	c (26,22) x[8][25] = 0
63.87/26.96	c (26,22) x[8][26] = 0
63.87/26.96	c (26,22) x[8][27] = 0
63.87/26.96	c (26,22) x[8][28] = 1
63.87/26.96	c (26,22) x[8][29] = 1
63.87/26.96	c (26,22) x[8][30] = 1
63.87/26.96	c (26,22) x[8][31] = 1
63.87/26.96	c (26,22) x[8][32] = 0
63.87/26.96	c (26,22) x[8][33] = 0
63.87/26.96	c (26,22) x[8][34] = 1
63.87/26.96	c (26,22) x[8][35] = 1
63.87/26.96	c (26,22) x[8][36] = 1
63.87/26.96	c (26,22) x[8][37] = 0
63.87/26.96	c (26,22) x[8][38] = 0
63.87/26.96	c (26,22) x[8][39] = 0
63.87/26.96	c (26,22) x[8][40] = 0
63.87/26.96	c (26,22) x[8][41] = 0
63.87/26.96	c (26,22) x[8][42] = 0
63.87/26.96	c (26,22) x[8][43] = 0
63.87/26.96	c (26,22) x[8][44] = 0
63.87/26.96	c (26,22) x[8][45] = 0
63.87/26.96	c (26,22) x[8][46] = 0
63.87/26.96	c (26,22) x[8][47] = 0
63.87/26.96	c (26,22) x[8][48] = 0
63.87/26.96	c (26,22) x[8][49] = 0
63.87/26.96	c (26,22) x[8][50] = 0
63.87/26.96	c (26,22) x[8][51] = 0
63.87/26.96	c (26,22) x[8][52] = 0
63.87/26.96	c (26,22) x[8][53] = 0
63.87/26.96	c (26,22) x[8][54] = 1
63.87/26.96	c (26,22) x[8][55] = 0
63.87/26.96	c (26,22) x[8][56] = 1
63.87/26.96	c (26,22) x[8][57] = 0
63.87/26.96	c (26,22) x[8][58] = 0
63.87/26.96	c (26,22) x[8][59] = 0
63.87/26.96	c (26,22) x[8][60] = 0
63.87/26.96	c (26,22) x[8][61] = 0
63.87/26.96	c (26,22) x[8][62] = 0
63.87/26.96	c (26,22) x[8][63] = 0
63.87/26.96	c (26,22) x[8][64] = 1
63.87/26.96	c (26,22) x[8][65] = 0
63.87/26.96	c (26,22) x[8][66] = 0
63.87/26.96	c (26,22) x[8][67] = 0
63.87/26.96	c (26,22) x[8][68] = 0
63.87/26.96	c (26,22) x[8][69] = 0
63.87/26.96	c (26,22) x[8][70] = 0
63.87/26.96	c (26,22) x[8][71] = 0
63.87/26.96	c (26,22) x[8][72] = 0
63.87/26.96	c (26,22) x[8][73] = 0
63.87/26.96	c (26,22) x[8][74] = 1
63.87/26.96	c (26,22) x[8][75] = 0
63.87/26.96	c (26,22) x[8][76] = 1
63.87/26.96	c (26,22) x[8][77] = 1
63.87/26.96	c (26,22) x[8][78] = 1
63.87/26.96	c (26,22) x[8][79] = 1
63.87/26.96	c (26,22) x[8][80] = 1
63.87/26.96	c (26,22) x[8][81] = 0
63.87/26.96	c (26,22) x[8][82] = 0
63.87/26.96	c (26,22) x[8][83] = 0
63.87/26.96	c (26,22) x[8][84] = 0
63.87/26.96	c (26,22) x[8][85] = 0
63.87/26.96	c (26,22) x[8][86] = 0
63.87/26.96	c (26,22) x[8][87] = 1
63.87/26.96	c (26,22) x[8][88] = 1
63.87/26.96	c (26,22) x[8][89] = 1
63.87/26.96	c (26,22) x[8][90] = 0
63.87/26.96	c (26,22) x[8][91] = 0
63.87/26.96	c (26,22) x[8][92] = 0
63.87/26.96	c (26,22) x[8][93] = 0
63.87/26.96	c (26,22) x[8][94] = 1
63.87/26.96	c (26,22) x[8][95] = 0
63.87/26.96	c (26,22) x[8][96] = 0
63.87/26.96	c (26,22) x[8][97] = 0
63.87/26.96	c (26,22) x[8][98] = 0
63.87/26.96	c (26,22) x[8][99] = 1
63.87/26.96	c (26,22) x[8][100] = 1
63.87/26.96	c (26,22) x[8][101] = 1
63.87/26.96	c (26,22) x[8][102] = 0
63.87/26.96	c (26,22) x[8][103] = 0
63.87/26.96	c (26,22) x[8][104] = 0
63.87/26.96	c (26,22) x[8][105] = 1
63.87/26.96	c (26,22) x[8][106] = 0
63.87/26.96	c (26,22) x[8][107] = 0
63.87/26.96	c (26,22) x[8][108] = 0
63.87/26.96	c (26,22) x[8][109] = 0
63.87/26.96	c (26,22) x[8][110] = 0
63.87/26.96	c (26,22) x[8][111] = 0
63.87/26.96	c (26,22) x[8][112] = 0
63.87/26.96	c (26,22) x[8][113] = 0
63.87/26.96	c (26,22) x[8][114] = 0
63.87/26.96	c (26,22) x[8][115] = 0
63.87/26.96	c (26,22) x[8][116] = 0
63.87/26.96	c (26,22) x[8][117] = 0
63.87/26.96	c (26,22) x[8][118] = 0
63.87/26.96	c (26,22) x[8][119] = 0
63.87/26.96	c (26,22) x[9][0] = 1
63.87/26.96	c (26,22) x[9][1] = 1
63.87/26.96	c (26,22) x[9][2] = 1
63.87/26.96	c (26,22) x[9][3] = 1
63.87/26.96	c (26,22) x[9][4] = 1
63.87/26.96	c (26,22) x[9][5] = 1
63.87/26.96	c (26,22) x[9][6] = 1
63.87/26.96	c (26,22) x[9][7] = 1
63.87/26.96	c (26,22) x[9][8] = 1
63.87/26.96	c (26,22) x[9][9] = 1
63.87/26.96	c (26,22) x[9][10] = 1
63.87/26.96	c (26,22) x[9][11] = 0
63.87/26.96	c (26,22) x[9][12] = 0
63.87/26.96	c (26,22) x[9][13] = 0
63.87/26.96	c (26,22) x[9][14] = 0
63.87/26.96	c (26,22) x[9][15] = 0
63.87/26.96	c (26,22) x[9][16] = 0
63.87/26.96	c (26,22) x[9][17] = 0
63.87/26.96	c (26,22) x[9][18] = 1
63.87/26.96	c (26,22) x[9][19] = 0
63.87/26.96	c (26,22) x[9][20] = 0
63.87/26.96	c (26,22) x[9][21] = 0
63.87/26.96	c (26,22) x[9][22] = 0
63.87/26.96	c (26,22) x[9][23] = 0
63.87/26.96	c (26,22) x[9][24] = 0
63.87/26.96	c (26,22) x[9][25] = 0
63.87/26.96	c (26,22) x[9][26] = 0
63.87/26.96	c (26,22) x[9][27] = 0
63.87/26.96	c (26,22) x[9][28] = 0
63.87/26.96	c (26,22) x[9][29] = 0
63.87/26.96	c (26,22) x[9][30] = 0
63.87/26.96	c (26,22) x[9][31] = 0
63.87/26.96	c (26,22) x[9][32] = 1
63.87/26.96	c (26,22) x[9][33] = 1
63.87/26.96	c (26,22) x[9][34] = 0
63.87/26.96	c (26,22) x[9][35] = 0
63.87/26.96	c (26,22) x[9][36] = 0
63.87/26.96	c (26,22) x[9][37] = 0
63.87/26.96	c (26,22) x[9][38] = 0
63.87/26.96	c (26,22) x[9][39] = 0
63.87/26.96	c (26,22) x[9][40] = 0
63.87/26.96	c (26,22) x[9][41] = 0
63.87/26.96	c (26,22) x[9][42] = 0
63.87/26.96	c (26,22) x[9][43] = 0
63.87/26.96	c (26,22) x[9][44] = 0
63.87/26.96	c (26,22) x[9][45] = 0
63.87/26.96	c (26,22) x[9][46] = 0
63.87/26.96	c (26,22) x[9][47] = 0
63.87/26.96	c (26,22) x[9][48] = 1
63.87/26.96	c (26,22) x[9][49] = 1
63.87/26.96	c (26,22) x[9][50] = 1
63.87/26.96	c (26,22) x[9][51] = 1
63.87/26.96	c (26,22) x[9][52] = 1
63.87/26.96	c (26,22) x[9][53] = 1
63.87/26.96	c (26,22) x[9][54] = 0
63.87/26.96	c (26,22) x[9][55] = 0
63.87/26.96	c (26,22) x[9][56] = 0
63.87/26.96	c (26,22) x[9][57] = 0
63.87/26.96	c (26,22) x[9][58] = 0
63.87/26.96	c (26,22) x[9][59] = 0
63.87/26.96	c (26,22) x[9][60] = 0
63.87/26.96	c (26,22) x[9][61] = 0
63.87/26.96	c (26,22) x[9][62] = 1
63.87/26.96	c (26,22) x[9][63] = 1
63.87/26.96	c (26,22) x[9][64] = 0
63.87/26.96	c (26,22) x[9][65] = 0
63.87/26.96	c (26,22) x[9][66] = 0
63.87/26.96	c (26,22) x[9][67] = 0
63.87/26.96	c (26,22) x[9][68] = 1
63.87/26.96	c (26,22) x[9][69] = 1
63.87/26.96	c (26,22) x[9][70] = 1
63.87/26.96	c (26,22) x[9][71] = 1
63.87/26.96	c (26,22) x[9][72] = 1
63.87/26.96	c (26,22) x[9][73] = 1
63.87/26.96	c (26,22) x[9][74] = 0
63.87/26.96	c (26,22) x[9][75] = 0
63.87/26.96	c (26,22) x[9][76] = 0
63.87/26.96	c (26,22) x[9][77] = 0
63.87/26.96	c (26,22) x[9][78] = 0
63.87/26.96	c (26,22) x[9][79] = 0
63.87/26.96	c (26,22) x[9][80] = 0
63.87/26.96	c (26,22) x[9][81] = 0
63.87/26.96	c (26,22) x[9][82] = 0
63.87/26.96	c (26,22) x[9][83] = 0
63.87/26.96	c (26,22) x[9][84] = 1
63.87/26.96	c (26,22) x[9][85] = 1
63.87/26.96	c (26,22) x[9][86] = 1
63.87/26.96	c (26,22) x[9][87] = 0
63.87/26.96	c (26,22) x[9][88] = 0
63.87/26.96	c (26,22) x[9][89] = 0
63.87/26.96	c (26,22) x[9][90] = 1
63.87/26.96	c (26,22) x[9][91] = 1
63.87/26.96	c (26,22) x[9][92] = 1
63.87/26.96	c (26,22) x[9][93] = 1
63.87/26.96	c (26,22) x[9][94] = 0
63.87/26.96	c (26,22) x[9][95] = 0
63.87/26.96	c (26,22) x[9][96] = 0
63.87/26.96	c (26,22) x[9][97] = 0
63.87/26.96	c (26,22) x[9][98] = 0
63.87/26.96	c (26,22) x[9][99] = 0
63.87/26.96	c (26,22) x[9][100] = 0
63.87/26.96	c (26,22) x[9][101] = 0
63.87/26.96	c (26,22) x[9][102] = 0
63.87/26.96	c (26,22) x[9][103] = 0
63.87/26.96	c (26,22) x[9][104] = 1
63.87/26.96	c (26,22) x[9][105] = 0
63.87/26.96	c (26,22) x[9][106] = 0
63.87/26.96	c (26,22) x[9][107] = 0
63.87/26.96	c (26,22) x[9][108] = 0
63.87/26.96	c (26,22) x[9][109] = 0
63.87/26.96	c (26,22) x[9][110] = 0
63.87/26.96	c (26,22) x[9][111] = 0
63.87/26.96	c (26,22) x[9][112] = 0
63.87/26.96	c (26,22) x[9][113] = 0
63.87/26.96	c (26,22) x[9][114] = 0
63.87/26.96	c (26,22) x[9][115] = 0
63.87/26.96	c (26,22) x[9][116] = 0
63.87/26.96	c (26,22) x[9][117] = 0
63.87/26.96	c (26,22) x[9][118] = 0
63.87/26.96	c (26,22) x[9][119] = 0
63.87/26.96	s SATISFIABLE
63.87/26.97	v <instantiation>
63.87/26.97	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[0][67] x[0][68] x[0][69] x[0][70] x[0][71] x[0][72] x[0][73] x[0][74] x[0][75] x[0][76] x[0][77] x[0][78] x[0][79] x[0][80] x[0][81] x[0][82] x[0][83] x[0][84] x[0][85] x[0][86] x[0][87] x[0][88] x[0][89] x[0][90] x[0][91] x[0][92] x[0][93] x[0][94] x[0][95] x[0][96] x[0][97] x[0][98] x[0][99] x[0][100] x[0][101] x[0][102] x[0][103] x[0][104] x[0][105] x[0][106] x[0][107] x[0][108] x[0][109] x[0][110] x[0][111] x[0][112] x[0][113] x[0][114] x[0][115] x[0][116] x[0][117] x[0][118] x[0][119] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[1][67] x[1][68] x[1][69] x[1][70] x[1][71] x[1][72] x[1][73] x[1][74] x[1][75] x[1][76] x[1][77] x[1][78] x[1][79] x[1][80] x[1][81] x[1][82] x[1][83] x[1][84] x[1][85] x[1][86] x[1][87] x[1][88] x[1][89] x[1][90] x[1][91] x[1][92] x[1][93] x[1][94] x[1][95] x[1][96] x[1][97] x[1][98] x[1][99] x[1][100] x[1][101] x[1][102] x[1][103] x[1][104] x[1][105] x[1][106] x[1][107] x[1][108] x[1][109] x[1][110] x[1][111] x[1][112] x[1][113] x[1][114] x[1][115] x[1][116] x[1][117] x[1][118] x[1][119] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[2][67] x[2][68] x[2][69] x[2][70] x[2][71] x[2][72] x[2][73] x[2][74] x[2][75] x[2][76] x[2][77] x[2][78] x[2][79] x[2][80] x[2][81] x[2][82] x[2][83] x[2][84] x[2][85] x[2][86] x[2][87] x[2][88] x[2][89] x[2][90] x[2][91] x[2][92] x[2][93] x[2][94] x[2][95] x[2][96] x[2][97] x[2][98] x[2][99] x[2][100] x[2][101] x[2][102] x[2][103] x[2][104] x[2][105] x[2][106] x[2][107] x[2][108] x[2][109] x[2][110] x[2][111] x[2][112] x[2][113] x[2][114] x[2][115] x[2][116] x[2][117] x[2][118] x[2][119] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[3][67] x[3][68] x[3][69] x[3][70] x[3][71] x[3][72] x[3][73] x[3][74] x[3][75] x[3][76] x[3][77] x[3][78] x[3][79] x[3][80] x[3][81] x[3][82] x[3][83] x[3][84] x[3][85] x[3][86] x[3][87] x[3][88] x[3][89] x[3][90] x[3][91] x[3][92] x[3][93] x[3][94] x[3][95] x[3][96] x[3][97] x[3][98] x[3][99] x[3][100] x[3][101] x[3][102] x[3][103] x[3][104] x[3][105] x[3][106] x[3][107] x[3][108] x[3][109] x[3][110] x[3][111] x[3][112] x[3][113] x[3][114] x[3][115] x[3][116] x[3][117] x[3][118] x[3][119] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] x[4][67] x[4][68] x[4][69] x[4][70] x[4][71] x[4][72] x[4][73] x[4][74] x[4][75] x[4][76] x[4][77] x[4][78] x[4][79] x[4][80] x[4][81] x[4][82] x[4][83] x[4][84] x[4][85] x[4][86] x[4][87] x[4][88] x[4][89] x[4][90] x[4][91] x[4][92] x[4][93] x[4][94] x[4][95] x[4][96] x[4][97] x[4][98] x[4][99] x[4][100] x[4][101] x[4][102] x[4][103] x[4][104] x[4][105] x[4][106] x[4][107] x[4][108] x[4][109] x[4][110] x[4][111] x[4][112] x[4][113] x[4][114] x[4][115] x[4][116] x[4][117] x[4][118] x[4][119] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] x[5][67] x[5][68] x[5][69] x[5][70] x[5][71] x[5][72] x[5][73] x[5][74] x[5][75] x[5][76] x[5][77] x[5][78] x[5][79] x[5][80] x[5][81] x[5][82] x[5][83] x[5][84] x[5][85] x[5][86] x[5][87] x[5][88] x[5][89] x[5][90] x[5][91] x[5][92] x[5][93] x[5][94] x[5][95] x[5][96] x[5][97] x[5][98] x[5][99] x[5][100] x[5][101] x[5][102] x[5][103] x[5][104] x[5][105] x[5][106] x[5][107] x[5][108] x[5][109] x[5][110] x[5][111] x[5][112] x[5][113] x[5][114] x[5][115] x[5][116] x[5][117] x[5][118] x[5][119] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] x[6][67] x[6][68] x[6][69] x[6][70] x[6][71] x[6][72] x[6][73] x[6][74] x[6][75] x[6][76] x[6][77] x[6][78] x[6][79] x[6][80] x[6][81] x[6][82] x[6][83] x[6][84] x[6][85] x[6][86] x[6][87] x[6][88] x[6][89] x[6][90] x[6][91] x[6][92] x[6][93] x[6][94] x[6][95] x[6][96] x[6][97] x[6][98] x[6][99] x[6][100] x[6][101] x[6][102] x[6][103] x[6][104] x[6][105] x[6][106] x[6][107] x[6][108] x[6][109] x[6][110] x[6][111] x[6][112] x[6][113] x[6][114] x[6][115] x[6][116] x[6][117] x[6][118] x[6][119] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] x[7][67] x[7][68] x[7][69] x[7][70] x[7][71] x[7][72] x[7][73] x[7][74] x[7][75] x[7][76] x[7][77] x[7][78] x[7][79] x[7][80] x[7][81] x[7][82] x[7][83] x[7][84] x[7][85] x[7][86] x[7][87] x[7][88] x[7][89] x[7][90] x[7][91] x[7][92] x[7][93] x[7][94] x[7][95] x[7][96] x[7][97] x[7][98] x[7][99] x[7][100] x[7][101] x[7][102] x[7][103] x[7][104] x[7][105] x[7][106] x[7][107] x[7][108] x[7][109] x[7][110] x[7][111] x[7][112] x[7][113] x[7][114] x[7][115] x[7][116] x[7][117] x[7][118] x[7][119] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] x[8][67] x[8][68] x[8][69] x[8][70] x[8][71] x[8][72] x[8][73] x[8][74] x[8][75] x[8][76] x[8][77] x[8][78] x[8][79] x[8][80] x[8][81] x[8][82] x[8][83] x[8][84] x[8][85] x[8][86] x[8][87] x[8][88] x[8][89] x[8][90] x[8][91] x[8][92] x[8][93] x[8][94] x[8][95] x[8][96] x[8][97] x[8][98] x[8][99] x[8][100] x[8][101] x[8][102] x[8][103] x[8][104] x[8][105] x[8][106] x[8][107] x[8][108] x[8][109] x[8][110] x[8][111] x[8][112] x[8][113] x[8][114] x[8][115] x[8][116] x[8][117] x[8][118] x[8][119] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][57] x[9][58] x[9][59] x[9][60] x[9][61] x[9][62] x[9][63] x[9][64] x[9][65] x[9][66] x[9][67] x[9][68] x[9][69] x[9][70] x[9][71] x[9][72] x[9][73] x[9][74] x[9][75] x[9][76] x[9][77] x[9][78] x[9][79] x[9][80] x[9][81] x[9][82] x[9][83] x[9][84] x[9][85] x[9][86] x[9][87] x[9][88] x[9][89] x[9][90] x[9][91] x[9][92] x[9][93] x[9][94] x[9][95] x[9][96] x[9][97] x[9][98] x[9][99] x[9][100] x[9][101] x[9][102] x[9][103] x[9][104] x[9][105] x[9][106] x[9][107] x[9][108] x[9][109] x[9][110] x[9][111] x[9][112] x[9][113] x[9][114] x[9][115] x[9][116] x[9][117] x[9][118] x[9][119]</list>
63.87/26.97	v     <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0</values>
63.87/26.97	v </instantiation>
63.87/26.97	c (26,22) Show results End
63.87/26.97	c (26,22) Heap : 2560 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
63.87/26.97	c (26,22) 0,0,19,19,19,19,22,26,26,STOP-AFTER(ALL)
63.87/26.97	c END-Prog: Fri Jul 27 02:41:13 CEST 2018

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 (3991 MiB free)
  memory of node 1: 16384 MiB (8026 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297127-1532652046/watcher-4297127-1532652046 -o /tmp/evaluation-result-4297127-1532652046/solver-4297127-1532652046 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1532644401-9256 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297127-1532652046.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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

solver pid=9885, runsolver pid=9882

[startup+0.100138 s]*
/proc/loadavg: 8.45 8.71 8.78 2/198 9905
/proc/meminfo: memFree=12209000/32770624 swapFree=67108860/67108860
[pid=9885] ppid=9882 vsize=27312552 memory=110024 CPUtime=0.1 cores=0-7
/proc/9885/stat : 9885 (java) S 9882 9885 9229 0 -1 1077944320 6532 0 0 0 8 2 0 0 20 0 20 0 82767815 27968053248 27506 33554432000 4194304 4196468 140734966858320 140734966840864 140193365991159 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
/proc/9885/statm: 6828138 27506 2749 1 0 6790598 0
[pid=9885/tid=9887] ppid=9882 vsize=27312552 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/9885/task/9887/stat : 9887 (java) R 9882 9885 9229 0 -1 4202560 4653 0 0 0 7 2 0 0 20 0 20 0 82767816 27968053248 27506 33554432000 4194304 4196468 140734966858320 140193337776224 140193346267984 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9888] ppid=9882 vsize=27312552 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/9885/task/9888/stat : 9888 (java) S 9882 9885 9229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82767818 27968053248 27506 33554432000 4194304 4196468 140734966858320 140193370233360 140193366001365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9889] ppid=9882 vsize=27312552 memory=140178427627136 CPUtime=0 cores=0-7
/proc/9885/task/9889/stat : 9889 (java) S 9882 9885 9229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82767818 27968053248 27506 33554432000 4194304 4196468 140734966858320 140193184389776 140193366001365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9890] ppid=9882 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9890/stat : 9890 (java) S 9882 9885 9229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82767818 27968053248 27506 33554432000 4194304 4196468 140734966858320 140193183336720 140193366001365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9891] ppid=9882 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9891/stat : 9891 (java) S 9882 9885 9229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82767818 27968053248 27572 33554432000 4194304 4196468 140734966858320 140193182284176 140193366001365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9892] ppid=9882 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9892/stat : 9892 (java) S 9882 9885 9229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82767818 27968053248 27572 33554432000 4194304 4196468 140734966858320 140193181232144 140193366001365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9893] ppid=9882 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/9885/task/9893/stat : 9893 (java) S 9882 9885 9229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82767818 27968053248 27572 33554432000 4194304 4196468 140734966858320 140193180179600 140193366001365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9894] ppid=9882 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9894/stat : 9894 (java) S 9882 9885 9229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82767818 27968053248 27572 33554432000 4194304 4196468 140734966858320 140193179126544 140193366001365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9895] ppid=9882 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9895/stat : 9895 (java) S 9882 9885 9229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82767818 27968053248 27572 33554432000 4194304 4196468 140734966858320 140193178074000 140193366001365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9896] ppid=9882 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9896/stat : 9896 (java) S 9882 9885 9229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82767819 27968053248 27572 33554432000 4194304 4196468 140734966858320 140191551424752 140193366002306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9897] ppid=9882 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9897/stat : 9897 (java) S 9882 9885 9229 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 82767820 27968053248 27572 33554432000 4194304 4196468 140734966858320 140191289304224 140193366001365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9898] ppid=9882 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9898/stat : 9898 (java) S 9882 9885 9229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82767820 27968053248 27572 33554432000 4194304 4196468 140734966858320 140191020868336 140193366001365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9899] ppid=9882 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9899/stat : 9899 (java) S 9882 9885 9229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82767822 27968053248 27572 33554432000 4194304 4196468 140734966858320 140190646360016 140193366009755 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9900] ppid=9882 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9900/stat : 9900 (java) S 9882 9885 9229 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 82767822 27968053248 27572 33554432000 4194304 4196468 140734966858320 140191550372592 140193366002306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9901] ppid=9882 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9901/stat : 9901 (java) S 9882 9885 9229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82767822 27968053248 27638 33554432000 4194304 4196468 140734966858320 140191549320048 140193366002306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9902] ppid=9882 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9902/stat : 9902 (java) S 9882 9885 9229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82767822 27968053248 27638 33554432000 4194304 4196468 140734966858320 140191548266992 140193366002306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9903] ppid=9882 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9903/stat : 9903 (java) S 9882 9885 9229 0 -1 1077944384 238 0 0 0 0 0 0 0 20 0 20 0 82767823 27968053248 27638 33554432000 4194304 4196468 140734966858320 140191547214448 140193366002306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9904] ppid=9882 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9904/stat : 9904 (java) S 9882 9885 9229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82767823 27968053248 27638 33554432000 4194304 4196468 140734966858320 140190148454880 140193366001365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9905] ppid=9882 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/9885/task/9905/stat : 9905 (java) S 9882 9885 9229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82767823 27968053248 27638 33554432000 4194304 4196468 140734966858320 140191546161840 140193366002306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 110024 KiB

[startup+0.21011 s]*
/proc/loadavg: 8.45 8.71 8.78 3/198 9905
/proc/meminfo: memFree=12192876/32770624 swapFree=67108860/67108860
[pid=9885] ppid=9882 vsize=27312552 memory=124428 CPUtime=0.24 cores=0-7
/proc/9885/stat : 9885 (java) S 9882 9885 9229 0 -1 1077944320 10312 0 0 0 21 3 0 0 20 0 20 0 82767815 27968053248 31107 33554432000 4194304 4196468 140734966858320 140734966840864 140193365991159 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
/proc/9885/statm: 6828138 31107 2914 1 0 6790598 0
[pid=9885/tid=9887] ppid=9882 vsize=27312552 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/9885/task/9887/stat : 9887 (java) R 9882 9885 9229 0 -1 4202560 8219 0 0 0 17 3 0 0 20 0 20 0 82767816 27968053248 31107 33554432000 4194304 4196468 140734966858320 140193337772432 140192849691770 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9888] ppid=9882 vsize=27312552 memory=12881 CPUtime=0 cores=0-7
/proc/9885/task/9888/stat : 9888 (java) S 9882 9885 9229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82767818 27968053248 31107 33554432000 4194304 4196468 140734966858320 140193370233360 140193366001365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9889] ppid=9882 vsize=27312552 memory=140178427636985 CPUtime=0 cores=0-7
/proc/9885/task/9889/stat : 9889 (java) S 9882 9885 9229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82767818 27968053248 31107 33554432000 4194304 4196468 140734966858320 140193184389776 140193366001365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9890] ppid=9882 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/9885/task/9890/stat : 9890 (java) S 9882 9885 9229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82767818 27968053248 31107 33554432000 4194304 4196468 140734966858320 140193183336720 140193366001365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9891] ppid=9882 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9891/stat : 9891 (java) S 9882 9885 9229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82767818 27968053248 31107 33554432000 4194304 4196468 140734966858320 140193182284176 140193366001365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9892] ppid=9882 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9892/stat : 9892 (java) S 9882 9885 9229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82767818 27968053248 31107 33554432000 4194304 4196468 140734966858320 140193181232144 140193366001365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9893] ppid=9882 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/9885/task/9893/stat : 9893 (java) S 9882 9885 9229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82767818 27968053248 31107 33554432000 4194304 4196468 140734966858320 140193180179600 140193366001365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9894] ppid=9882 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9894/stat : 9894 (java) S 9882 9885 9229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82767818 27968053248 31107 33554432000 4194304 4196468 140734966858320 140193179126544 140193366001365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9895] ppid=9882 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9895/stat : 9895 (java) S 9882 9885 9229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82767818 27968053248 31107 33554432000 4194304 4196468 140734966858320 140193178074000 140193366001365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9896] ppid=9882 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9896/stat : 9896 (java) S 9882 9885 9229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82767819 27968053248 31107 33554432000 4194304 4196468 140734966858320 140191551424752 140193366002306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9897] ppid=9882 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9897/stat : 9897 (java) S 9882 9885 9229 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 82767820 27968053248 31107 33554432000 4194304 4196468 140734966858320 140191289304224 140193366001365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9898] ppid=9882 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9898/stat : 9898 (java) S 9882 9885 9229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82767820 27968053248 31107 33554432000 4194304 4196468 140734966858320 140191020868336 140193366001365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9899] ppid=9882 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9899/stat : 9899 (java) S 9882 9885 9229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82767822 27968053248 31107 33554432000 4194304 4196468 140734966858320 140190646360016 140193366009755 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9900] ppid=9882 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9900/stat : 9900 (java) R 9882 9885 9229 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 82767822 27968053248 31107 33554432000 4194304 4196468 140734966858320 140191550372592 140193366002306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9901] ppid=9882 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9901/stat : 9901 (java) S 9882 9885 9229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82767822 27968053248 31107 33554432000 4194304 4196468 140734966858320 140191549320048 140193366002306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9902] ppid=9882 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9902/stat : 9902 (java) S 9882 9885 9229 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 20 0 82767822 27968053248 31107 33554432000 4194304 4196468 140734966858320 140191548266992 140193366002306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9903] ppid=9882 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/9885/task/9903/stat : 9903 (java) R 9882 9885 9229 0 -1 4202560 283 0 0 0 2 0 0 0 20 0 20 0 82767823 27968053248 31107 33554432000 4194304 4196468 140734966858320 140191547214448 140193366012506 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9904] ppid=9882 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9904/stat : 9904 (java) S 9882 9885 9229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82767823 27968053248 31107 33554432000 4194304 4196468 140734966858320 140190148454880 140193366001365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9905] ppid=9882 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/9885/task/9905/stat : 9905 (java) S 9882 9885 9229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82767823 27968053248 31107 33554432000 4194304 4196468 140734966858320 140191546161840 140193366002306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 124428 KiB

[startup+0.310186 s]*
/proc/loadavg: 8.45 8.71 8.78 2/198 9905
/proc/meminfo: memFree=12189572/32770624 swapFree=67108860/67108860
[pid=9885] ppid=9882 vsize=27312552 memory=127904 CPUtime=0.42 cores=0-7
/proc/9885/stat : 9885 (java) S 9882 9885 9229 0 -1 1077944320 10850 0 0 0 38 4 0 0 20 0 20 0 82767815 27968053248 31976 33554432000 4194304 4196468 140734966858320 140734966840864 140193365991159 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
/proc/9885/statm: 6828138 31976 2972 1 0 6790598 0
[pid=9885/tid=9887] ppid=9882 vsize=27312552 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/9885/task/9887/stat : 9887 (java) R 9882 9885 9229 0 -1 4202560 8586 0 0 0 26 3 0 0 20 0 20 0 82767816 27968053248 31976 33554432000 4194304 4196468 140734966858320 140193337795312 140193346266481 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9888] ppid=9882 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9888/stat : 9888 (java) S 9882 9885 9229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82767818 27968053248 31976 33554432000 4194304 4196468 140734966858320 140193370233360 140193366001365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9889] ppid=9882 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9889/stat : 9889 (java) S 9882 9885 9229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82767818 27968053248 31976 33554432000 4194304 4196468 140734966858320 140193184389776 140193366001365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9890] ppid=9882 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9890/stat : 9890 (java) S 9882 9885 9229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82767818 27968053248 31976 33554432000 4194304 4196468 140734966858320 140193183336720 140193366001365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9891] ppid=9882 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9891/stat : 9891 (java) S 9882 9885 9229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82767818 27968053248 31976 33554432000 4194304 4196468 140734966858320 140193182284176 140193366001365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9892] ppid=9882 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/9885/task/9892/stat : 9892 (java) S 9882 9885 9229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82767818 27968053248 31976 33554432000 4194304 4196468 140734966858320 140193181232144 140193366001365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9893] ppid=9882 vsize=27312552 memory=140178270286767 CPUtime=0 cores=0-7
/proc/9885/task/9893/stat : 9893 (java) S 9882 9885 9229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82767818 27968053248 31976 33554432000 4194304 4196468 140734966858320 140193180179600 140193366001365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9894] ppid=9882 vsize=27312552 memory=140178270289072 CPUtime=0 cores=0-7
/proc/9885/task/9894/stat : 9894 (java) S 9882 9885 9229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82767818 27968053248 31976 33554432000 4194304 4196468 140734966858320 140193179126544 140193366001365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9895] ppid=9882 vsize=27312552 memory=140178270291376 CPUtime=0 cores=0-7
/proc/9885/task/9895/stat : 9895 (java) S 9882 9885 9229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82767818 27968053248 31976 33554432000 4194304 4196468 140734966858320 140193178074000 140193366001365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9896] ppid=9882 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9896/stat : 9896 (java) S 9882 9885 9229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82767819 27968053248 31976 33554432000 4194304 4196468 140734966858320 140191551424752 140193366002306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9897] ppid=9882 vsize=27312552 memory=280356540589712 CPUtime=0 cores=0-7
/proc/9885/task/9897/stat : 9897 (java) S 9882 9885 9229 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 82767820 27968053248 31976 33554432000 4194304 4196468 140734966858320 140191289304224 140193366001365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9898] ppid=9882 vsize=27312552 memory=280356540596624 CPUtime=0 cores=0-7
/proc/9885/task/9898/stat : 9898 (java) S 9882 9885 9229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82767820 27968053248 31976 33554432000 4194304 4196468 140734966858320 140191020868336 140193366001365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9899] ppid=9882 vsize=27312552 memory=280356540537904 CPUtime=0 cores=0-7
/proc/9885/task/9899/stat : 9899 (java) S 9882 9885 9229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82767822 27968053248 31976 33554432000 4194304 4196468 140734966858320 140190646360016 140193366009755 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9900] ppid=9882 vsize=27312552 memory=280356540610448 CPUtime=0.02 cores=0-7
/proc/9885/task/9900/stat : 9900 (java) S 9882 9885 9229 0 -1 1077944384 401 0 0 0 2 0 0 0 20 0 20 0 82767822 27968053248 31976 33554432000 4194304 4196468 140734966858320 140191550372592 140193366002306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9901] ppid=9882 vsize=27312552 memory=280356540617360 CPUtime=0.01 cores=0-7
/proc/9885/task/9901/stat : 9901 (java) S 9882 9885 9229 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 20 0 82767822 27968053248 31976 33554432000 4194304 4196468 140734966858320 140191549320048 140193366002306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9902] ppid=9882 vsize=27312552 memory=280356540615056 CPUtime=0.01 cores=0-7
/proc/9885/task/9902/stat : 9902 (java) S 9882 9885 9229 0 -1 1077944384 159 0 0 0 1 0 0 0 20 0 20 0 82767822 27968053248 31976 33554432000 4194304 4196468 140734966858320 140191548266992 140193366002306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9903] ppid=9882 vsize=27312552 memory=280356540631664 CPUtime=0.07 cores=0-7
/proc/9885/task/9903/stat : 9903 (java) S 9882 9885 9229 0 -1 1077944384 304 0 0 0 7 0 0 0 20 0 20 0 82767823 27968053248 31976 33554432000 4194304 4196468 140734966858320 140191547214448 140193366002306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9904] ppid=9882 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9904/stat : 9904 (java) S 9882 9885 9229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82767823 27968053248 31976 33554432000 4194304 4196468 140734966858320 140190148454880 140193366001365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9905] ppid=9882 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/9885/task/9905/stat : 9905 (java) S 9882 9885 9229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82767823 27968053248 31976 33554432000 4194304 4196468 140734966858320 140191546161840 140193366002306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 127904 KiB

[startup+0.700924 s]
/proc/loadavg: 8.45 8.71 8.78 2/198 9905
/proc/meminfo: memFree=12165388/32770624 swapFree=67108860/67108860
[pid=9885] ppid=9882 vsize=27320948 memory=165724 CPUtime=1.01 cores=0-7
/proc/9885/stat : 9885 (java) S 9882 9885 9229 0 -1 1077944320 18011 0 0 0 95 6 0 0 20 0 20 0 82767815 27976650752 41431 33554432000 4194304 4196468 140734966858320 140734966840864 140193365991159 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
/proc/9885/statm: 6830237 41431 3154 1 0 6791622 0
[pid=9885/tid=9887] ppid=9882 vsize=27320948 memory=0 CPUtime=0.67 cores=0-7
/proc/9885/task/9887/stat : 9887 (java) R 9882 9885 9229 0 -1 4202560 15206 0 0 0 62 5 0 0 20 0 20 0 82767816 27976650752 41431 33554432000 4194304 4196468 140734966858320 140193337815616 140193366003094 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9888] ppid=9882 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9888/stat : 9888 (java) S 9882 9885 9229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82767818 27976650752 41431 33554432000 4194304 4196468 140734966858320 140193370233360 140193366001365 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9889] ppid=9882 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9889/stat : 9889 (java) S 9882 9885 9229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82767818 27976650752 41431 33554432000 4194304 4196468 140734966858320 140193184389776 140193366001365 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9890] ppid=9882 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9890/stat : 9890 (java) S 9882 9885 9229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82767818 27976650752 41431 33554432000 4194304 4196468 140734966858320 140193183336720 140193366001365 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9891] ppid=9882 vsize=27320948 memory=1200 CPUtime=0 cores=0-7
/proc/9885/task/9891/stat : 9891 (java) S 9882 9885 9229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82767818 27976650752 41431 33554432000 4194304 4196468 140734966858320 140193182284176 140193366001365 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9892] ppid=9882 vsize=27320948 memory=10608 CPUtime=0 cores=0-7
/proc/9885/task/9892/stat : 9892 (java) S 9882 9885 9229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82767818 27976650752 41431 33554432000 4194304 4196468 140734966858320 140193181232144 140193366001365 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9893] ppid=9882 vsize=27320948 memory=4616 CPUtime=0 cores=0-7
/proc/9885/task/9893/stat : 9893 (java) S 9882 9885 9229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82767818 27976650752 41431 33554432000 4194304 4196468 140734966858320 140193180179600 140193366001365 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9894] ppid=9882 vsize=27320948 memory=1428 CPUtime=0 cores=0-7
/proc/9885/task/9894/stat : 9894 (java) S 9882 9885 9229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82767818 27976650752 41431 33554432000 4194304 4196468 140734966858320 140193179126544 140193366001365 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9895] ppid=9882 vsize=27320948 memory=15876 CPUtime=0 cores=0-7
/proc/9885/task/9895/stat : 9895 (java) S 9882 9885 9229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82767818 27976650752 41431 33554432000 4194304 4196468 140734966858320 140193178074000 140193366001365 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9896] ppid=9882 vsize=27320948 memory=16436 CPUtime=0 cores=0-7
/proc/9885/task/9896/stat : 9896 (java) S 9882 9885 9229 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 82767819 27976650752 41431 33554432000 4194304 4196468 140734966858320 140191551424752 140193366002306 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0

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

Current children cumulated vsize: 29056132 KiB
Current children cumulated memory: 6670232 KiB

[startup+26.402 s]
/proc/loadavg: 6.08 8.13 8.58 9/211 9919
/proc/meminfo: memFree=5627100/32770624 swapFree=67108860/67108860
[pid=9885] ppid=9882 vsize=27984808 memory=6152904 CPUtime=40.5 cores=0-7
/proc/9885/stat : 9885 (java) S 9882 9885 9229 0 -1 1077944320 53246 0 0 0 3894 156 0 0 20 0 24 0 82767815 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140734966840864 140193365991159 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
/proc/9885/statm: 6996202 1538226 3252 1 0 6957058 0
[pid=9906] ppid=9885 vsize=1071984 memory=519152 CPUtime=19.79 cores=0-7
/proc/9906/stat : 9906 (glucose-syrup) S 9885 9885 9229 0 -1 1077944320 160680 0 0 0 1927 52 0 0 20 0 9 0 82770124 1097711616 129788 33554432000 4194304 4373367 140733107938352 140733107936896 139943616772738 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6470912 6472264 27578368 140733107942321 140733107942572 140733107942572 140733107945415 0
/proc/9906/statm: 267996 129788 385 44 0 263684 0
[pid=9906/tid=9912] ppid=9885 vsize=1071984 memory=4048 CPUtime=2.35 cores=0-7
/proc/9906/task/9912/stat : 9912 (glucose-syrup) R 9885 9885 9229 0 -1 4202560 12536 0 0 0 226 9 0 0 20 0 9 0 82770214 1097711616 129788 33554432000 4194304 4373367 140733107938352 139943537597712 4271897 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 27578368 140733107942321 140733107942572 140733107942572 140733107945415 0
[pid=9906/tid=9913] ppid=9885 vsize=1071984 memory=1700 CPUtime=2.37 cores=0-7
/proc/9906/task/9913/stat : 9913 (glucose-syrup) R 9885 9885 9229 0 -1 4202560 10016 0 0 0 235 2 0 0 20 0 9 0 82770214 1097711616 129788 33554432000 4194304 4373367 140733107938352 139943529204880 4252267 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 27578368 140733107942321 140733107942572 140733107942572 140733107945415 0
[pid=9906/tid=9914] ppid=9885 vsize=1071984 memory=6152904 CPUtime=2.36 cores=0-7
/proc/9906/task/9914/stat : 9914 (glucose-syrup) R 9885 9885 9229 0 -1 4202560 9238 0 0 0 229 7 0 0 20 0 9 0 82770214 1097711616 129788 33554432000 4194304 4373367 140733107938352 139943520812232 4258831 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 27578368 140733107942321 140733107942572 140733107942572 140733107945415 0
[pid=9906/tid=9915] ppid=9885 vsize=1071984 memory=6142916 CPUtime=2.36 cores=0-7
/proc/9906/task/9915/stat : 9915 (glucose-syrup) R 9885 9885 9229 0 -1 4202560 8970 0 0 0 236 0 0 0 20 0 9 0 82770214 1097711616 129788 33554432000 4194304 4373367 140733107938352 139943512419528 4271828 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 27578368 140733107942321 140733107942572 140733107942572 140733107945415 0
[pid=9906/tid=9916] ppid=9885 vsize=1071984 memory=15876 CPUtime=2.36 cores=0-7
/proc/9906/task/9916/stat : 9916 (glucose-syrup) R 9885 9885 9229 0 -1 4202560 9429 0 0 0 228 8 0 0 20 0 9 0 82770214 1097711616 129788 33554432000 4194304 4373367 140733107938352 139943504026896 4291832 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 27578368 140733107942321 140733107942572 140733107942572 140733107945415 0
[pid=9906/tid=9917] ppid=9885 vsize=1071984 memory=16436 CPUtime=2.31 cores=0-7
/proc/9906/task/9917/stat : 9917 (glucose-syrup) R 9885 9885 9229 0 -1 4202560 8947 0 0 0 230 1 0 0 20 0 9 0 82770214 1097711616 129788 33554432000 4194304 4373367 140733107938352 139943495634120 4271897 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 27578368 140733107942321 140733107942572 140733107942572 140733107945415 0
[pid=9906/tid=9918] ppid=9885 vsize=1071984 memory=14176 CPUtime=2.36 cores=0-7
/proc/9906/task/9918/stat : 9918 (glucose-syrup) R 9885 9885 9229 0 -1 4202560 8584 0 0 0 234 2 0 0 20 0 9 0 82770214 1097711616 129788 33554432000 4194304 4373367 140733107938352 139943487241584 4271897 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 27578368 140733107942321 140733107942572 140733107942572 140733107945415 0
[pid=9906/tid=9919] ppid=9885 vsize=1071984 memory=4048 CPUtime=2.36 cores=0-7
/proc/9906/task/9919/stat : 9919 (glucose-syrup) R 9885 9885 9229 0 -1 4202560 8867 0 0 0 230 6 0 0 20 0 9 0 82770214 1097711616 129788 33554432000 4194304 4373367 140733107938352 139943478848784 4249171 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 27578368 140733107942321 140733107942572 140733107942572 140733107945415 0
[pid=9885/tid=9887] ppid=9882 vsize=27984808 memory=1796 CPUtime=22.92 cores=0-7
/proc/9885/task/9887/stat : 9887 (java) S 9882 9885 9229 0 -1 1077944384 20672 0 0 0 2198 94 0 0 20 0 24 0 82767816 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140193337830400 140193366001365 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9888] ppid=9882 vsize=27984808 memory=636 CPUtime=0.15 cores=0-7
/proc/9885/task/9888/stat : 9888 (java) S 9882 9885 9229 0 -1 1077944384 124 0 0 0 8 7 0 0 20 0 24 0 82767818 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140193370233360 140193366001365 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9889] ppid=9882 vsize=27984808 memory=960 CPUtime=0.15 cores=0-7
/proc/9885/task/9889/stat : 9889 (java) S 9882 9885 9229 0 -1 1077944384 97 0 0 0 8 7 0 0 20 0 24 0 82767818 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140193184389776 140193366001365 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9890] ppid=9882 vsize=27984808 memory=1232 CPUtime=0.14 cores=0-7
/proc/9885/task/9890/stat : 9890 (java) S 9882 9885 9229 0 -1 1077944384 120 0 0 0 9 5 0 0 20 0 24 0 82767818 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140193183336720 140193366001365 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9891] ppid=9882 vsize=27984808 memory=2344 CPUtime=0.15 cores=0-7
/proc/9885/task/9891/stat : 9891 (java) S 9882 9885 9229 0 -1 1077944384 129 0 0 0 9 6 0 0 20 0 24 0 82767818 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140193182284176 140193366001365 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9892] ppid=9882 vsize=27984808 memory=1700 CPUtime=0.15 cores=0-7
/proc/9885/task/9892/stat : 9892 (java) S 9882 9885 9229 0 -1 1077944384 101 0 0 0 8 7 0 0 20 0 24 0 82767818 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140193181232144 140193366001365 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9893] ppid=9882 vsize=27984808 memory=796 CPUtime=0.15 cores=0-7
/proc/9885/task/9893/stat : 9893 (java) S 9882 9885 9229 0 -1 1077944384 150 0 0 0 10 5 0 0 20 0 24 0 82767818 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140193180179600 140193366001365 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9894] ppid=9882 vsize=27984808 memory=5408 CPUtime=0.15 cores=0-7
/proc/9885/task/9894/stat : 9894 (java) S 9882 9885 9229 0 -1 1077944384 170 0 0 0 10 5 0 0 20 0 24 0 82767818 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140193179126544 140193366001365 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9895] ppid=9882 vsize=27984808 memory=6080276 CPUtime=0.14 cores=0-7
/proc/9885/task/9895/stat : 9895 (java) S 9882 9885 9229 0 -1 1077944384 87 0 0 0 9 5 0 0 20 0 24 0 82767818 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140193178074000 140193366001365 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9896] ppid=9882 vsize=27984808 memory=9992 CPUtime=0.01 cores=0-7
/proc/9885/task/9896/stat : 9896 (java) S 9882 9885 9229 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 24 0 82767819 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140191551424752 140193366002306 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9897] ppid=9882 vsize=27984808 memory=1228 CPUtime=0 cores=0-7
/proc/9885/task/9897/stat : 9897 (java) S 9882 9885 9229 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 82767820 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140191289304288 140193366001365 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9898] ppid=9882 vsize=27984808 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/9885/task/9898/stat : 9898 (java) S 9882 9885 9229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 82767820 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140191020868352 140193366001365 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9899] ppid=9882 vsize=27984808 memory=2724 CPUtime=0 cores=0-7
/proc/9885/task/9899/stat : 9899 (java) S 9882 9885 9229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 82767822 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140190646360016 140193366009755 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9900] ppid=9882 vsize=27984808 memory=280356541588128 CPUtime=4.87 cores=0-7
/proc/9885/task/9900/stat : 9900 (java) S 9882 9885 9229 0 -1 1077944384 9439 0 0 0 485 2 0 0 20 0 24 0 82767822 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140191550372592 140193366002306 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9901] ppid=9882 vsize=27984808 memory=6940698281623185753 CPUtime=5.15 cores=0-7
/proc/9885/task/9901/stat : 9901 (java) S 9882 9885 9229 0 -1 1077944384 6035 0 0 0 514 1 0 0 20 0 24 0 82767822 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140191549320048 140193366002306 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9902] ppid=9882 vsize=27984808 memory=6363694302107947088 CPUtime=4.81 cores=0-7
/proc/9885/task/9902/stat : 9902 (java) S 9882 9885 9229 0 -1 1077944384 9480 0 0 0 478 3 0 0 20 0 24 0 82767822 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140191548266992 140193366002306 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9903] ppid=9882 vsize=27984808 memory=55 CPUtime=1.41 cores=0-7
/proc/9885/task/9903/stat : 9903 (java) S 9882 9885 9229 0 -1 1077944384 5237 0 0 0 139 2 0 0 20 0 24 0 82767823 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140191547214448 140193366002306 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9904] ppid=9882 vsize=27984808 memory=7955437494632475752 CPUtime=0 cores=0-7
/proc/9885/task/9904/stat : 9904 (java) S 9882 9885 9229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 82767823 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140190148454880 140193366001365 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9905] ppid=9882 vsize=27984808 memory=6168184 CPUtime=0 cores=0-7
/proc/9885/task/9905/stat : 9905 (java) S 9882 9885 9229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 82767823 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140191546161840 140193366002306 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9907] ppid=9882 vsize=27984808 memory=512524 CPUtime=0 cores=0-7
/proc/9885/task/9907/stat : 9907 (java) S 9882 9885 9229 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 82770125 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140192028169152 140193366015769 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9909] ppid=9882 vsize=27984808 memory=407 CPUtime=0 cores=0-7
/proc/9885/task/9909/stat : 9909 (java) S 9882 9885 9229 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 82770125 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140189477355440 140193366013085 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9910] ppid=9882 vsize=27984808 memory=136 CPUtime=0 cores=0-7
/proc/9885/task/9910/stat : 9910 (java) S 9882 9885 9229 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 24 0 82770125 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140189745791024 140193366013085 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9911] ppid=9882 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9911/stat : 9911 (java) S 9882 9885 9229 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 82770127 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140189208927648 140193366001365 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
Current children cumulated CPU time: 60.29 s
Current children cumulated vsize: 29056792 KiB
Current children cumulated memory: 6672056 KiB

[startup+26.802 s]
/proc/loadavg: 6.08 8.13 8.58 9/211 9919
/proc/meminfo: memFree=5627100/32770624 swapFree=67108860/67108860
[pid=9885] ppid=9882 vsize=27984808 memory=6152904 CPUtime=40.5 cores=0-7
/proc/9885/stat : 9885 (java) S 9882 9885 9229 0 -1 1077944320 53246 0 0 0 3894 156 0 0 20 0 24 0 82767815 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140734966840864 140193365991159 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
/proc/9885/statm: 6996202 1538226 3252 1 0 6957058 0
[pid=9906] ppid=9885 vsize=1072116 memory=520372 CPUtime=22.98 cores=0-7
/proc/9906/stat : 9906 (glucose-syrup) S 9885 9885 9229 0 -1 1077944320 189338 0 0 0 2244 54 0 0 20 0 9 0 82770124 1097846784 130093 33554432000 4194304 4373367 140733107938352 140733107936896 139943616772738 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6470912 6472264 27578368 140733107942321 140733107942572 140733107942572 140733107945415 0
/proc/9906/statm: 268029 130093 385 44 0 263717 0
[pid=9906/tid=9912] ppid=9885 vsize=1072116 memory=6228876752079906149 CPUtime=2.75 cores=0-7
/proc/9906/task/9912/stat : 9912 (glucose-syrup) R 9885 9885 9229 0 -1 4202560 15324 0 0 0 266 9 0 0 20 0 9 0 82770214 1097846784 130093 33554432000 4194304 4373367 140733107938352 139943537597584 4271897 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 27578368 140733107942321 140733107942572 140733107942572 140733107945415 0
[pid=9906/tid=9913] ppid=9885 vsize=1072116 memory=6228876752079906149 CPUtime=2.77 cores=0-7
/proc/9906/task/9913/stat : 9913 (glucose-syrup) R 9885 9885 9229 0 -1 4202560 17428 0 0 0 274 3 0 0 20 0 9 0 82770214 1097846784 130093 33554432000 4194304 4373367 140733107938352 139943529204936 4272140 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 27578368 140733107942321 140733107942572 140733107942572 140733107945415 0
[pid=9906/tid=9914] ppid=9885 vsize=1072116 memory=140182722594431 CPUtime=2.76 cores=0-7
/proc/9906/task/9914/stat : 9914 (glucose-syrup) R 9885 9885 9229 0 -1 4202560 14873 0 0 0 269 7 0 0 20 0 9 0 82770214 1097846784 130093 33554432000 4194304 4373367 140733107938352 139943520812304 4251663 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 27578368 140733107942321 140733107942572 140733107942572 140733107945415 0
[pid=9906/tid=9915] ppid=9885 vsize=1072116 memory=-2746958450906831424 CPUtime=2.76 cores=0-7
/proc/9906/task/9915/stat : 9915 (glucose-syrup) R 9885 9885 9229 0 -1 4202560 14597 0 0 0 275 1 0 0 20 0 9 0 82770214 1097846784 130093 33554432000 4194304 4373367 140733107938352 139943512419528 4271828 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 27578368 140733107942321 140733107942572 140733107942572 140733107945415 0
[pid=9906/tid=9916] ppid=9885 vsize=1072116 memory=-9174445032661854264 CPUtime=2.76 cores=0-7
/proc/9906/task/9916/stat : 9916 (glucose-syrup) R 9885 9885 9229 0 -1 4202560 14866 0 0 0 268 8 0 0 20 0 9 0 82770214 1097846784 130093 33554432000 4194304 4373367 140733107938352 139943504026768 4271897 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 27578368 140733107942321 140733107942572 140733107942572 140733107945415 0
[pid=9906/tid=9917] ppid=9885 vsize=1072116 memory=-3253322038155611931 CPUtime=2.7 cores=0-7
/proc/9906/task/9917/stat : 9917 (glucose-syrup) R 9885 9885 9229 0 -1 4202560 10376 0 0 0 269 1 0 0 20 0 9 0 82770214 1097846784 130093 33554432000 4194304 4373367 140733107938352 139943495634120 4292105 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 27578368 140733107942321 140733107942572 140733107942572 140733107945415 0
[pid=9906/tid=9918] ppid=9885 vsize=1072116 memory=-2897801490638248215 CPUtime=2.76 cores=0-7
/proc/9906/task/9918/stat : 9918 (glucose-syrup) R 9885 9885 9229 0 -1 4202560 8782 0 0 0 274 2 0 0 20 0 9 0 82770214 1097846784 130093 33554432000 4194304 4373367 140733107938352 139943487241416 4271897 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 27578368 140733107942321 140733107942572 140733107942572 140733107945415 0
[pid=9906/tid=9919] ppid=9885 vsize=1072116 memory=-6800859132029471843 CPUtime=2.76 cores=0-7
/proc/9906/task/9919/stat : 9919 (glucose-syrup) R 9885 9885 9229 0 -1 4202560 8999 0 0 0 270 6 0 0 20 0 9 0 82770214 1097846784 130093 33554432000 4194304 4373367 140733107938352 139943478848784 4272316 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 27578368 140733107942321 140733107942572 140733107942572 140733107945415 0
[pid=9885/tid=9887] ppid=9882 vsize=27984808 memory=-1807685287724412255 CPUtime=22.92 cores=0-7
/proc/9885/task/9887/stat : 9887 (java) S 9882 9885 9229 0 -1 1077944384 20672 0 0 0 2198 94 0 0 20 0 24 0 82767816 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140193337830400 140193366001365 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9888] ppid=9882 vsize=27984808 memory=280356542064736 CPUtime=0.15 cores=0-7
/proc/9885/task/9888/stat : 9888 (java) S 9882 9885 9229 0 -1 1077944384 124 0 0 0 8 7 0 0 20 0 24 0 82767818 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140193370233360 140193366001365 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9889] ppid=9882 vsize=27984808 memory=140178271062288 CPUtime=0.15 cores=0-7
/proc/9885/task/9889/stat : 9889 (java) S 9882 9885 9229 0 -1 1077944384 97 0 0 0 8 7 0 0 20 0 24 0 82767818 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140193184389776 140193366001365 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9890] ppid=9882 vsize=27984808 memory=33 CPUtime=0.14 cores=0-7
/proc/9885/task/9890/stat : 9890 (java) S 9882 9885 9229 0 -1 1077944384 120 0 0 0 9 5 0 0 20 0 24 0 82767818 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140193183336720 140193366001365 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9891] ppid=9882 vsize=27984808 memory=0 CPUtime=0.15 cores=0-7
/proc/9885/task/9891/stat : 9891 (java) S 9882 9885 9229 0 -1 1077944384 129 0 0 0 9 6 0 0 20 0 24 0 82767818 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140193182284176 140193366001365 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9892] ppid=9882 vsize=27984808 memory=-3472574944341025154 CPUtime=0.15 cores=0-7
/proc/9885/task/9892/stat : 9892 (java) S 9882 9885 9229 0 -1 1077944384 101 0 0 0 8 7 0 0 20 0 24 0 82767818 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140193181232144 140193366001365 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9893] ppid=9882 vsize=27984808 memory=6656426216303648864 CPUtime=0.15 cores=0-7
/proc/9885/task/9893/stat : 9893 (java) S 9882 9885 9229 0 -1 1077944384 150 0 0 0 10 5 0 0 20 0 24 0 82767818 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140193180179600 140193366001365 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9894] ppid=9882 vsize=27984808 memory=6944656592387989600 CPUtime=0.15 cores=0-7
/proc/9885/task/9894/stat : 9894 (java) S 9882 9885 9229 0 -1 1077944384 170 0 0 0 10 5 0 0 20 0 24 0 82767818 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140193179126544 140193366001365 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9895] ppid=9882 vsize=27984808 memory=6152904 CPUtime=0.14 cores=0-7
/proc/9885/task/9895/stat : 9895 (java) S 9882 9885 9229 0 -1 1077944384 87 0 0 0 9 5 0 0 20 0 24 0 82767818 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140193178074000 140193366001365 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9896] ppid=9882 vsize=27984808 memory=518612 CPUtime=0.01 cores=0-7
/proc/9885/task/9896/stat : 9896 (java) S 9882 9885 9229 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 24 0 82767819 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140191551424752 140193366002306 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9897] ppid=9882 vsize=27984808 memory=14134428972616243 CPUtime=0 cores=0-7
/proc/9885/task/9897/stat : 9897 (java) S 9882 9885 9229 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 82767820 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140191289304288 140193366001365 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9898] ppid=9882 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/9885/task/9898/stat : 9898 (java) S 9882 9885 9229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 82767820 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140191020868352 140193366001365 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9899] ppid=9882 vsize=27984808 memory=44 CPUtime=0 cores=0-7
/proc/9885/task/9899/stat : 9899 (java) S 9882 9885 9229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 82767822 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140190646360016 140193366009755 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9900] ppid=9882 vsize=27984808 memory=1 CPUtime=4.87 cores=0-7
/proc/9885/task/9900/stat : 9900 (java) S 9882 9885 9229 0 -1 1077944384 9439 0 0 0 485 2 0 0 20 0 24 0 82767822 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140191550372592 140193366002306 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9901] ppid=9882 vsize=27984808 memory=0 CPUtime=5.15 cores=0-7
/proc/9885/task/9901/stat : 9901 (java) S 9882 9885 9229 0 -1 1077944384 6035 0 0 0 514 1 0 0 20 0 24 0 82767822 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140191549320048 140193366002306 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9902] ppid=9882 vsize=27984808 memory=31 CPUtime=4.81 cores=0-7
/proc/9885/task/9902/stat : 9902 (java) S 9882 9885 9229 0 -1 1077944384 9480 0 0 0 478 3 0 0 20 0 24 0 82767822 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140191548266992 140193366002306 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9903] ppid=9882 vsize=27984808 memory=2326 CPUtime=1.41 cores=0-7
/proc/9885/task/9903/stat : 9903 (java) S 9882 9885 9229 0 -1 1077944384 5237 0 0 0 139 2 0 0 20 0 24 0 82767823 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140191547214448 140193366002306 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9904] ppid=9882 vsize=27984808 memory=1584 CPUtime=0 cores=0-7
/proc/9885/task/9904/stat : 9904 (java) S 9882 9885 9229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 82767823 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140190148454880 140193366001365 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9905] ppid=9882 vsize=27984808 memory=10 CPUtime=0.01 cores=0-7
/proc/9885/task/9905/stat : 9905 (java) S 9882 9885 9229 0 -1 1077944384 3 0 0 0 1 0 0 0 20 0 24 0 82767823 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140191546161840 140193366002306 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9907] ppid=9882 vsize=27984808 memory=10 CPUtime=0 cores=0-7
/proc/9885/task/9907/stat : 9907 (java) S 9882 9885 9229 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 82770125 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140192028169152 140193366015769 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9909] ppid=9882 vsize=27984808 memory=9 CPUtime=0 cores=0-7
/proc/9885/task/9909/stat : 9909 (java) S 9882 9885 9229 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 82770125 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140189477355440 140193366013085 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9910] ppid=9882 vsize=27984808 memory=10 CPUtime=0 cores=0-7
/proc/9885/task/9910/stat : 9910 (java) S 9882 9885 9229 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 24 0 82770125 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140189745791024 140193366013085 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
[pid=9885/tid=9911] ppid=9882 vsize=27984808 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/9885/task/9911/stat : 9911 (java) S 9882 9885 9229 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 82770127 28656443392 1538226 33554432000 4194304 4196468 140734966858320 140189208927648 140193366001365 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22421504 140734966866906 140734966867205 140734966867205 140734966869967 0
Current children cumulated CPU time: 63.48 s
Current children cumulated vsize: 29056924 KiB
Current children cumulated memory: 6673276 KiB

[startup+27.0013 s]*
/proc/loadavg: 6.08 8.13 8.58 2/180 9919
/proc/meminfo: memFree=12276372/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 27.0106
CPU time (s): 64.1155
CPU user time (s): 61.9273
CPU system time (s): 2.18822
CPU usage (%): 237.372
Max. virtual memory (cumulated for all children) (KiB): 29067232
Max. memory (cumulated for all children) (KiB): 6683876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 61.9273
system time used= 2.18822
maximum resident set size= 6168184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 243222
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20387
involuntary context switches= 282


# summary of solver processes directly reported to runsolver:
#   pid: 9885
#   total CPU time (s): 64.1155
#   total CPU user time (s): 61.9273
#   total CPU system time (s): 2.18822

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.304907 second user time and 0.240259 second system time

The end

Launcher Data 

Begin job on node139 at 2018-07-27 02:40:46
IDJOB=4297127
IDBENCH=141330
IDSOLVER=2759
FILE ID=node139/4297127-1532652046
RUNJOBID= node139-1532644401-9256
PBS_JOBID= 21022201
Free space on /tmp= 38720 MiB

SOLVER NAME= scop both+glucose-syrup (2018-07-07)
BENCH NAME= XCSP18/Bibd/Bibd-sum-10-03-08_c18.xml
COMMAND LINE= java -Xms22g -Xmx22g -Xss128m -jar DIR/scop.jar -both -solver DIR/glucose-syrup -solverOption -model:-nthreads=NBCORE:-maxmemory=10000 -tmp TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297127-1532652046/watcher-4297127-1532652046 -o /tmp/evaluation-result-4297127-1532652046/solver-4297127-1532652046 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1532644401-9256 --watchdog 2580  java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297127-1532652046.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 6905926ecf5563edf040969d33d8e2ad
RANDOM SEED=1154434154

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.80
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.80
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.80
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.80
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:        12306644 kB
MemAvailable:   31930496 kB
Buffers:          246832 kB
Cached:         19332372 kB
SwapCached:            0 kB
Active:          3054748 kB
Inactive:       16575740 kB
Active(anon):       5788 kB
Inactive(anon):    73540 kB
Active(file):    3048960 kB
Inactive(file): 16502200 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8324 kB
Writeback:             0 kB
AnonPages:         58552 kB
Mapped:            41448 kB
Shmem:             25228 kB
Slab:             528172 kB
SReclaimable:     501152 kB
SUnreclaim:        27020 kB
KernelStack:        3152 kB
PageTables:         4660 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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= 38712 MiB
End job on node139 at 2018-07-27 02:41:14