Trace number 4294104

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+MapleCOMSPS (2018-06-13)SAT 45.7194 28.62

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 benchmark10.8953
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.65/0.55	
0.65/0.55	scop both+minisat_release (2018-06-13)
0.65/0.55	
0.65/0.58	c BEGIN-Prog: Mon Jul 23 15:14:08 CEST 2018
0.65/0.58	c PID: 14933
0.65/0.58	c IP: 172.20.3.102
0.65/0.58	c HOST: node102.alineos.net
0.65/0.58	c (0,0) Parsing Begin
2.27/1.24	c (0,0) Parsing End
2.27/1.25	c (0,0) CSP: 0 int (0 aux), 1200 bool (0 aux), 176 ctr, max domain size 2
2.27/1.25	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.27/1.25	c (0,0) Constraint Name Generate Begin
2.27/1.27	c (0,0) Ctr:HOME/instance-4294104-1532351648.xml,IntVar:LexMatrix:Num:WeightedSum
2.27/1.27	c (0,0) Constraint Name Generate End
2.27/1.27	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.27/1.27	c (0,0) CSP to CSPinCNF Begin
3.26/1.57	c (1,1) translated 18 (10%) constraints
3.26/1.58	c (1,1) translated 36 (20%) constraints
3.26/1.59	c (1,1) translated 53 (30%) constraints
3.47/1.60	c (1,1) translated 71 (40%) constraints
3.47/1.61	c (1,1) translated 88 (50%) constraints
3.47/1.62	c (1,1) translated 106 (60%) constraints
3.47/1.62	c (1,1) translated 124 (70%) constraints
5.66/2.38	c (1,1) translated 141 (80%) constraints
7.77/3.09	c (2,2) translated 159 (90%) constraints
8.95/3.60	c (3,3) translated 176 (100%) constraints
26.58/18.67	c (18,17) STATISTICS1:HOME/instance-4294104-1532351648.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.58/18.67	c (18,17) ===========================================
26.58/18.67	c (18,17) Both Encoding selects:
26.58/18.67	c (18,17) Log
26.58/18.67	c (18,17) ===========================================
27.26/18.88	c (18,17) translated 2606 (10%) constraints
27.56/18.98	c (18,18) translated 5212 (20%) constraints
27.89/19.09	c (18,18) translated 7818 (30%) constraints
28.46/19.20	c (18,18) translated 10424 (40%) constraints
28.76/19.31	c (18,18) translated 13030 (50%) constraints
29.06/19.41	c (18,18) translated 15636 (60%) constraints
29.27/19.52	c (18,18) translated 18242 (70%) constraints
29.53/19.63	c (19,18) translated 20848 (80%) constraints
30.23/19.85	c (19,18) translated 23454 (90%) constraints
30.49/19.95	c (19,18) translated 26059 (100%) constraints
30.49/19.95	c (19,18) CSP to CSPinCNF End
30.49/19.96	c (19,18) CSP: 0 int (0 aux), 19414 bool (18214 aux), 37034 ctr, max domain size 2
30.49/19.96	c (19,18) Heap : 166 MiB used (max 11156 MiB), NonHeap : 30 MiB used (max 0 MiB)
30.49/19.96	c (19,18) CSPinCNF Propagation Begin
31.69/20.33	c (19,19) 0 values, 5400 unsatisfiable literals, and 5400 valid clauses are removed
31.69/20.33	c (19,19) CSPinCNF Propagation End
31.69/20.33	c (19,19) CSP: 0 int (0 aux), 19414 bool (18214 aux), 31634 ctr, max domain size 2
31.69/20.33	c (19,19) Heap : 308 MiB used (max 11156 MiB), NonHeap : 29 MiB used (max 0 MiB)
31.69/20.33	c (19,19) Simplify CSPinCNF Begin
31.91/20.49	c (19,19) Simplify CSPinCNF End
31.91/20.50	c (19,19) CSP: 0 int (0 aux), 23826 bool (22626 aux), 36046 ctr, max domain size 2
31.91/20.50	c (19,19) Heap : 379 MiB used (max 11156 MiB), NonHeap : 29 MiB used (max 0 MiB)
31.91/20.50	c (19,19) Calculate Precise Domain Begin
32.15/20.50	c (19,19) 0 values are removed by re-calculation
32.15/20.50	c (19,19) Calculate Precise Domain End
32.15/20.50	c (19,19) CSP: 0 int (0 aux), 23826 bool (22626 aux), 36046 ctr, max domain size 2
32.15/20.50	c (19,19) Heap : 379 MiB used (max 11156 MiB), NonHeap : 29 MiB used (max 0 MiB)
32.15/20.50	c (19,19) CSPinCNF to SatSolver Begin
34.77/21.65	c (21,20) 3605 (10 %) CSP clauses are being encoded (103218 SAT variables, 234996 SAT clauses)
35.34/21.85	c (21,20) 7210 (20 %) CSP clauses are being encoded (114690 SAT variables, 271553 SAT clauses)
35.83/22.02	c (21,20) 10814 (30 %) CSP clauses are being encoded (126162 SAT variables, 308109 SAT clauses)
35.96/22.17	c (21,21) 14419 (40 %) CSP clauses are being encoded (137634 SAT variables, 344666 SAT clauses)
36.14/22.32	c (21,21) 18023 (50 %) CSP clauses are being encoded (149106 SAT variables, 381222 SAT clauses)
36.24/22.47	c (21,21) 21628 (60 %) CSP clauses are being encoded (160578 SAT variables, 417779 SAT clauses)
36.45/22.63	c (22,21) 25233 (70 %) CSP clauses are being encoded (172050 SAT variables, 454336 SAT clauses)
36.54/22.78	c (22,21) 28837 (80 %) CSP clauses are being encoded (178905 SAT variables, 477017 SAT clauses)
37.13/22.93	c (22,21) 32442 (90 %) CSP clauses are being encoded (181643 SAT variables, 486938 SAT clauses)
37.43/23.06	c (22,21) 36046 (100 %) CSP clauses are being encoded (184467 SAT variables, 496874 SAT clauses)
37.43/23.06	c (22,21) CSPinCNF to SatSolver End
37.43/23.06	c (22,21) Heap : 1886 MiB used (max 11156 MiB), NonHeap : 31 MiB used (max 0 MiB)
38.34/23.32	c (22,22) STATISTICS2:HOME/instance-4294104-1532351648.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.34/23.32	c (22,22) SatSolver.solve Begin
38.34/23.32	c (22,22) 184468 bool, 496876 clause
38.34/23.32	c (22,22) HOME/minisat_release -ccmin-mode=2 -cla-decay=0.9990000000000016 -gc-frac=0.06548219427789823 -min-step-size=0.06000000000000005 -phase-saving=2 -rfirst=100 -rinc=23.20514351897367 -rnd-freq=0.18183188062236774 -step-size=0.0002446387540884631 -step-size-dec=1.0000000000000004e-06 -var-decay=0.07581213234321858 HOME/instance-4294104-1532351648.xml-scop-14933.cnf HOME/instance-4294104-1532351648.xml-scop-14933.cnf.out
45.07/28.39	c (27,0) c This is COMiniSatPS.
45.07/28.39	c (27,0) c WARNING: for repeatability, setting FPU to use double precision
45.07/28.39	c (27,0) c ============================[ Problem Statistics ]=============================
45.07/28.39	c (27,0) c |                                                                             |
45.07/28.39	c (27,0) c |  Number of variables:        184468                                         |
45.07/28.39	c (27,0) c |  Number of clauses:          496398                                         |
45.07/28.39	c (27,0) c |  Parse time:                   0.19 s                                       |
45.07/28.39	c (27,0) c |  Eliminated clauses:           0.76 Mb                                      |
45.07/28.39	c (27,0) c Reduced to 153634 vars, 450793 cls (grow=0)
45.07/28.39	c (27,0) c |  Eliminated clauses:           3.12 Mb                                      |
45.07/28.39	c (27,0) c Reduced to 108138 vars, 614233 cls (grow=8)
45.07/28.39	c (27,0) c cl_inc_rate=1.363, var_dec_rate=1.421
45.07/28.39	c (27,0) c No. effective iterative eliminations: 1
45.07/28.39	c (27,0) c |  Simplification time:          1.34 s                                       |
45.07/28.39	c (27,0) c |                                                                             |
45.07/28.39	c (27,0) c ============================[ Search Statistics ]==============================
45.07/28.39	c (27,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
45.07/28.39	c (27,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
45.07/28.39	c (27,0) c ===============================================================================
45.07/28.39	c (27,0) c ===============================================================================
45.07/28.39	c (27,0) c restarts              : 76
45.07/28.39	c (27,0) c conflicts             : 12407          (2497 /sec)
45.07/28.40	c (27,0) c decisions             : 116608         (0.00 % random) (23469 /sec)
45.07/28.40	c (27,0) c propagations          : 15675471       (3154962 /sec)
45.07/28.40	c (27,0) c conflict literals     : 490908         (32.67 % deleted)
45.07/28.40	c (27,0) c CPU time              : 4.96851 s
45.07/28.40	c (27,0) 
45.07/28.40	c (27,0) s SATISFIABLE
45.46/28.55	c (27,22) SatSolver.solve End
45.46/28.55	c (27,22) Heap : 2207 MiB used (max 11156 MiB), NonHeap : 32 MiB used (max 0 MiB)
45.46/28.55	c (27,22) Show results Begin
45.46/28.57	c (28,22) x[0][0] = 0
45.46/28.57	c (28,22) x[0][1] = 0
45.46/28.57	c (28,22) x[0][2] = 0
45.46/28.57	c (28,22) x[0][3] = 0
45.46/28.57	c (28,22) x[0][4] = 0
45.46/28.57	c (28,22) x[0][5] = 0
45.46/28.57	c (28,22) x[0][6] = 0
45.46/28.57	c (28,22) x[0][7] = 0
45.46/28.57	c (28,22) x[0][8] = 0
45.46/28.57	c (28,22) x[0][9] = 0
45.46/28.57	c (28,22) x[0][10] = 0
45.46/28.57	c (28,22) x[0][11] = 0
45.46/28.57	c (28,22) x[0][12] = 0
45.46/28.57	c (28,22) x[0][13] = 0
45.46/28.57	c (28,22) x[0][14] = 0
45.46/28.57	c (28,22) x[0][15] = 0
45.46/28.57	c (28,22) x[0][16] = 0
45.46/28.57	c (28,22) x[0][17] = 0
45.46/28.57	c (28,22) x[0][18] = 0
45.46/28.57	c (28,22) x[0][19] = 0
45.46/28.57	c (28,22) x[0][20] = 0
45.46/28.57	c (28,22) x[0][21] = 0
45.46/28.57	c (28,22) x[0][22] = 0
45.46/28.57	c (28,22) x[0][23] = 0
45.46/28.57	c (28,22) x[0][24] = 0
45.46/28.57	c (28,22) x[0][25] = 0
45.46/28.57	c (28,22) x[0][26] = 0
45.46/28.57	c (28,22) x[0][27] = 0
45.46/28.57	c (28,22) x[0][28] = 0
45.46/28.57	c (28,22) x[0][29] = 0
45.46/28.57	c (28,22) x[0][30] = 0
45.46/28.57	c (28,22) x[0][31] = 0
45.46/28.57	c (28,22) x[0][32] = 0
45.46/28.57	c (28,22) x[0][33] = 0
45.46/28.57	c (28,22) x[0][34] = 0
45.46/28.57	c (28,22) x[0][35] = 0
45.46/28.57	c (28,22) x[0][36] = 0
45.46/28.57	c (28,22) x[0][37] = 0
45.46/28.57	c (28,22) x[0][38] = 0
45.46/28.57	c (28,22) x[0][39] = 0
45.46/28.57	c (28,22) x[0][40] = 0
45.46/28.57	c (28,22) x[0][41] = 0
45.46/28.57	c (28,22) x[0][42] = 0
45.46/28.57	c (28,22) x[0][43] = 0
45.46/28.57	c (28,22) x[0][44] = 0
45.46/28.57	c (28,22) x[0][45] = 0
45.46/28.57	c (28,22) x[0][46] = 0
45.46/28.57	c (28,22) x[0][47] = 0
45.46/28.57	c (28,22) x[0][48] = 0
45.46/28.57	c (28,22) x[0][49] = 0
45.46/28.57	c (28,22) x[0][50] = 0
45.46/28.57	c (28,22) x[0][51] = 0
45.46/28.57	c (28,22) x[0][52] = 0
45.46/28.57	c (28,22) x[0][53] = 0
45.46/28.57	c (28,22) x[0][54] = 0
45.46/28.57	c (28,22) x[0][55] = 0
45.46/28.57	c (28,22) x[0][56] = 0
45.46/28.57	c (28,22) x[0][57] = 0
45.46/28.57	c (28,22) x[0][58] = 0
45.46/28.57	c (28,22) x[0][59] = 0
45.46/28.57	c (28,22) x[0][60] = 0
45.46/28.57	c (28,22) x[0][61] = 0
45.46/28.57	c (28,22) x[0][62] = 0
45.46/28.57	c (28,22) x[0][63] = 0
45.46/28.57	c (28,22) x[0][64] = 0
45.46/28.57	c (28,22) x[0][65] = 0
45.46/28.57	c (28,22) x[0][66] = 0
45.46/28.57	c (28,22) x[0][67] = 0
45.46/28.57	c (28,22) x[0][68] = 0
45.46/28.57	c (28,22) x[0][69] = 0
45.46/28.57	c (28,22) x[0][70] = 0
45.46/28.57	c (28,22) x[0][71] = 0
45.46/28.57	c (28,22) x[0][72] = 0
45.46/28.57	c (28,22) x[0][73] = 0
45.46/28.57	c (28,22) x[0][74] = 0
45.46/28.57	c (28,22) x[0][75] = 0
45.46/28.57	c (28,22) x[0][76] = 0
45.46/28.57	c (28,22) x[0][77] = 0
45.46/28.57	c (28,22) x[0][78] = 0
45.46/28.57	c (28,22) x[0][79] = 0
45.46/28.57	c (28,22) x[0][80] = 0
45.46/28.57	c (28,22) x[0][81] = 0
45.46/28.57	c (28,22) x[0][82] = 0
45.46/28.58	c (28,22) x[0][83] = 0
45.46/28.58	c (28,22) x[0][84] = 1
45.46/28.58	c (28,22) x[0][85] = 1
45.46/28.58	c (28,22) x[0][86] = 1
45.46/28.58	c (28,22) x[0][87] = 1
45.46/28.58	c (28,22) x[0][88] = 1
45.46/28.58	c (28,22) x[0][89] = 1
45.46/28.58	c (28,22) x[0][90] = 1
45.46/28.58	c (28,22) x[0][91] = 1
45.46/28.58	c (28,22) x[0][92] = 1
45.46/28.58	c (28,22) x[0][93] = 1
45.46/28.58	c (28,22) x[0][94] = 1
45.46/28.58	c (28,22) x[0][95] = 1
45.46/28.58	c (28,22) x[0][96] = 1
45.46/28.58	c (28,22) x[0][97] = 1
45.46/28.58	c (28,22) x[0][98] = 1
45.46/28.58	c (28,22) x[0][99] = 1
45.46/28.58	c (28,22) x[0][100] = 1
45.46/28.58	c (28,22) x[0][101] = 1
45.46/28.58	c (28,22) x[0][102] = 1
45.46/28.58	c (28,22) x[0][103] = 1
45.46/28.58	c (28,22) x[0][104] = 1
45.46/28.58	c (28,22) x[0][105] = 1
45.46/28.58	c (28,22) x[0][106] = 1
45.46/28.58	c (28,22) x[0][107] = 1
45.46/28.58	c (28,22) x[0][108] = 1
45.46/28.58	c (28,22) x[0][109] = 1
45.46/28.58	c (28,22) x[0][110] = 1
45.46/28.58	c (28,22) x[0][111] = 1
45.46/28.58	c (28,22) x[0][112] = 1
45.46/28.58	c (28,22) x[0][113] = 1
45.46/28.58	c (28,22) x[0][114] = 1
45.46/28.58	c (28,22) x[0][115] = 1
45.46/28.58	c (28,22) x[0][116] = 1
45.46/28.58	c (28,22) x[0][117] = 1
45.46/28.58	c (28,22) x[0][118] = 1
45.46/28.58	c (28,22) x[0][119] = 1
45.46/28.58	c (28,22) x[1][0] = 0
45.46/28.58	c (28,22) x[1][1] = 0
45.46/28.58	c (28,22) x[1][2] = 0
45.46/28.58	c (28,22) x[1][3] = 0
45.46/28.58	c (28,22) x[1][4] = 0
45.46/28.58	c (28,22) x[1][5] = 0
45.46/28.58	c (28,22) x[1][6] = 0
45.46/28.58	c (28,22) x[1][7] = 0
45.46/28.58	c (28,22) x[1][8] = 0
45.46/28.58	c (28,22) x[1][9] = 0
45.46/28.58	c (28,22) x[1][10] = 0
45.46/28.58	c (28,22) x[1][11] = 0
45.46/28.58	c (28,22) x[1][12] = 0
45.46/28.58	c (28,22) x[1][13] = 0
45.46/28.58	c (28,22) x[1][14] = 0
45.46/28.58	c (28,22) x[1][15] = 0
45.46/28.58	c (28,22) x[1][16] = 0
45.46/28.58	c (28,22) x[1][17] = 0
45.46/28.58	c (28,22) x[1][18] = 0
45.46/28.58	c (28,22) x[1][19] = 0
45.46/28.58	c (28,22) x[1][20] = 0
45.46/28.58	c (28,22) x[1][21] = 0
45.46/28.58	c (28,22) x[1][22] = 0
45.46/28.58	c (28,22) x[1][23] = 0
45.46/28.58	c (28,22) x[1][24] = 0
45.46/28.58	c (28,22) x[1][25] = 0
45.46/28.58	c (28,22) x[1][26] = 0
45.46/28.58	c (28,22) x[1][27] = 0
45.46/28.58	c (28,22) x[1][28] = 0
45.46/28.58	c (28,22) x[1][29] = 0
45.46/28.58	c (28,22) x[1][30] = 0
45.46/28.58	c (28,22) x[1][31] = 0
45.46/28.58	c (28,22) x[1][32] = 0
45.46/28.58	c (28,22) x[1][33] = 0
45.46/28.58	c (28,22) x[1][34] = 0
45.46/28.58	c (28,22) x[1][35] = 0
45.46/28.58	c (28,22) x[1][36] = 0
45.46/28.58	c (28,22) x[1][37] = 0
45.46/28.58	c (28,22) x[1][38] = 0
45.46/28.58	c (28,22) x[1][39] = 0
45.46/28.58	c (28,22) x[1][40] = 0
45.46/28.58	c (28,22) x[1][41] = 0
45.46/28.58	c (28,22) x[1][42] = 0
45.46/28.58	c (28,22) x[1][43] = 0
45.46/28.58	c (28,22) x[1][44] = 0
45.46/28.58	c (28,22) x[1][45] = 0
45.46/28.58	c (28,22) x[1][46] = 0
45.46/28.58	c (28,22) x[1][47] = 0
45.46/28.58	c (28,22) x[1][48] = 0
45.46/28.58	c (28,22) x[1][49] = 0
45.46/28.58	c (28,22) x[1][50] = 0
45.46/28.58	c (28,22) x[1][51] = 0
45.46/28.58	c (28,22) x[1][52] = 0
45.46/28.58	c (28,22) x[1][53] = 0
45.46/28.58	c (28,22) x[1][54] = 0
45.46/28.58	c (28,22) x[1][55] = 0
45.46/28.58	c (28,22) x[1][56] = 1
45.46/28.58	c (28,22) x[1][57] = 1
45.46/28.58	c (28,22) x[1][58] = 1
45.46/28.58	c (28,22) x[1][59] = 1
45.46/28.58	c (28,22) x[1][60] = 1
45.46/28.58	c (28,22) x[1][61] = 1
45.46/28.58	c (28,22) x[1][62] = 1
45.46/28.58	c (28,22) x[1][63] = 1
45.46/28.58	c (28,22) x[1][64] = 1
45.46/28.58	c (28,22) x[1][65] = 1
45.46/28.58	c (28,22) x[1][66] = 1
45.46/28.58	c (28,22) x[1][67] = 1
45.46/28.58	c (28,22) x[1][68] = 1
45.46/28.58	c (28,22) x[1][69] = 1
45.46/28.58	c (28,22) x[1][70] = 1
45.46/28.58	c (28,22) x[1][71] = 1
45.46/28.58	c (28,22) x[1][72] = 1
45.46/28.58	c (28,22) x[1][73] = 1
45.46/28.58	c (28,22) x[1][74] = 1
45.46/28.58	c (28,22) x[1][75] = 1
45.46/28.58	c (28,22) x[1][76] = 1
45.46/28.58	c (28,22) x[1][77] = 1
45.46/28.58	c (28,22) x[1][78] = 1
45.46/28.58	c (28,22) x[1][79] = 1
45.46/28.58	c (28,22) x[1][80] = 1
45.46/28.58	c (28,22) x[1][81] = 1
45.46/28.58	c (28,22) x[1][82] = 1
45.46/28.58	c (28,22) x[1][83] = 1
45.46/28.58	c (28,22) x[1][84] = 0
45.46/28.58	c (28,22) x[1][85] = 0
45.46/28.58	c (28,22) x[1][86] = 0
45.46/28.58	c (28,22) x[1][87] = 0
45.46/28.58	c (28,22) x[1][88] = 0
45.46/28.58	c (28,22) x[1][89] = 0
45.46/28.58	c (28,22) x[1][90] = 0
45.46/28.58	c (28,22) x[1][91] = 0
45.46/28.58	c (28,22) x[1][92] = 0
45.46/28.58	c (28,22) x[1][93] = 0
45.46/28.58	c (28,22) x[1][94] = 0
45.46/28.58	c (28,22) x[1][95] = 0
45.46/28.58	c (28,22) x[1][96] = 0
45.46/28.58	c (28,22) x[1][97] = 0
45.46/28.58	c (28,22) x[1][98] = 0
45.46/28.58	c (28,22) x[1][99] = 0
45.46/28.58	c (28,22) x[1][100] = 0
45.46/28.58	c (28,22) x[1][101] = 0
45.46/28.58	c (28,22) x[1][102] = 0
45.46/28.58	c (28,22) x[1][103] = 0
45.46/28.58	c (28,22) x[1][104] = 0
45.46/28.58	c (28,22) x[1][105] = 0
45.46/28.58	c (28,22) x[1][106] = 0
45.46/28.58	c (28,22) x[1][107] = 0
45.46/28.58	c (28,22) x[1][108] = 0
45.46/28.58	c (28,22) x[1][109] = 0
45.46/28.58	c (28,22) x[1][110] = 0
45.46/28.58	c (28,22) x[1][111] = 0
45.46/28.58	c (28,22) x[1][112] = 1
45.46/28.58	c (28,22) x[1][113] = 1
45.46/28.58	c (28,22) x[1][114] = 1
45.46/28.58	c (28,22) x[1][115] = 1
45.46/28.58	c (28,22) x[1][116] = 1
45.46/28.58	c (28,22) x[1][117] = 1
45.46/28.58	c (28,22) x[1][118] = 1
45.46/28.58	c (28,22) x[1][119] = 1
45.46/28.58	c (28,22) x[2][0] = 0
45.46/28.58	c (28,22) x[2][1] = 0
45.46/28.58	c (28,22) x[2][2] = 0
45.46/28.58	c (28,22) x[2][3] = 0
45.46/28.58	c (28,22) x[2][4] = 0
45.46/28.58	c (28,22) x[2][5] = 0
45.46/28.58	c (28,22) x[2][6] = 0
45.46/28.58	c (28,22) x[2][7] = 0
45.46/28.58	c (28,22) x[2][8] = 0
45.46/28.58	c (28,22) x[2][9] = 0
45.46/28.58	c (28,22) x[2][10] = 0
45.46/28.58	c (28,22) x[2][11] = 0
45.46/28.58	c (28,22) x[2][12] = 0
45.46/28.58	c (28,22) x[2][13] = 0
45.46/28.58	c (28,22) x[2][14] = 0
45.46/28.58	c (28,22) x[2][15] = 0
45.46/28.58	c (28,22) x[2][16] = 0
45.46/28.58	c (28,22) x[2][17] = 0
45.46/28.58	c (28,22) x[2][18] = 0
45.46/28.58	c (28,22) x[2][19] = 0
45.46/28.58	c (28,22) x[2][20] = 0
45.46/28.58	c (28,22) x[2][21] = 0
45.46/28.58	c (28,22) x[2][22] = 0
45.46/28.58	c (28,22) x[2][23] = 0
45.46/28.58	c (28,22) x[2][24] = 0
45.46/28.58	c (28,22) x[2][25] = 0
45.46/28.58	c (28,22) x[2][26] = 0
45.46/28.58	c (28,22) x[2][27] = 0
45.46/28.58	c (28,22) x[2][28] = 0
45.46/28.58	c (28,22) x[2][29] = 1
45.46/28.58	c (28,22) x[2][30] = 1
45.46/28.58	c (28,22) x[2][31] = 1
45.46/28.58	c (28,22) x[2][32] = 1
45.46/28.58	c (28,22) x[2][33] = 1
45.46/28.58	c (28,22) x[2][34] = 1
45.46/28.58	c (28,22) x[2][35] = 1
45.46/28.58	c (28,22) x[2][36] = 1
45.46/28.58	c (28,22) x[2][37] = 1
45.46/28.58	c (28,22) x[2][38] = 1
45.46/28.58	c (28,22) x[2][39] = 1
45.46/28.58	c (28,22) x[2][40] = 1
45.46/28.58	c (28,22) x[2][41] = 1
45.46/28.58	c (28,22) x[2][42] = 1
45.46/28.58	c (28,22) x[2][43] = 1
45.46/28.58	c (28,22) x[2][44] = 1
45.46/28.58	c (28,22) x[2][45] = 1
45.46/28.58	c (28,22) x[2][46] = 1
45.46/28.58	c (28,22) x[2][47] = 1
45.46/28.58	c (28,22) x[2][48] = 1
45.46/28.58	c (28,22) x[2][49] = 1
45.46/28.58	c (28,22) x[2][50] = 1
45.46/28.58	c (28,22) x[2][51] = 1
45.46/28.58	c (28,22) x[2][52] = 1
45.46/28.58	c (28,22) x[2][53] = 1
45.46/28.58	c (28,22) x[2][54] = 1
45.46/28.58	c (28,22) x[2][55] = 1
45.46/28.58	c (28,22) x[2][56] = 0
45.46/28.58	c (28,22) x[2][57] = 0
45.46/28.58	c (28,22) x[2][58] = 0
45.46/28.58	c (28,22) x[2][59] = 0
45.46/28.58	c (28,22) x[2][60] = 0
45.46/28.58	c (28,22) x[2][61] = 0
45.46/28.58	c (28,22) x[2][62] = 0
45.46/28.58	c (28,22) x[2][63] = 0
45.46/28.58	c (28,22) x[2][64] = 0
45.46/28.58	c (28,22) x[2][65] = 0
45.46/28.58	c (28,22) x[2][66] = 0
45.46/28.58	c (28,22) x[2][67] = 0
45.46/28.58	c (28,22) x[2][68] = 0
45.46/28.58	c (28,22) x[2][69] = 0
45.46/28.58	c (28,22) x[2][70] = 0
45.46/28.58	c (28,22) x[2][71] = 0
45.46/28.58	c (28,22) x[2][72] = 0
45.46/28.58	c (28,22) x[2][73] = 0
45.46/28.58	c (28,22) x[2][74] = 0
45.46/28.58	c (28,22) x[2][75] = 0
45.46/28.58	c (28,22) x[2][76] = 0
45.46/28.58	c (28,22) x[2][77] = 0
45.46/28.58	c (28,22) x[2][78] = 0
45.46/28.58	c (28,22) x[2][79] = 0
45.46/28.58	c (28,22) x[2][80] = 0
45.46/28.58	c (28,22) x[2][81] = 0
45.46/28.58	c (28,22) x[2][82] = 0
45.46/28.58	c (28,22) x[2][83] = 1
45.46/28.58	c (28,22) x[2][84] = 0
45.46/28.58	c (28,22) x[2][85] = 0
45.46/28.58	c (28,22) x[2][86] = 0
45.46/28.58	c (28,22) x[2][87] = 0
45.46/28.58	c (28,22) x[2][88] = 0
45.46/28.58	c (28,22) x[2][89] = 0
45.46/28.58	c (28,22) x[2][90] = 0
45.46/28.58	c (28,22) x[2][91] = 0
45.46/28.58	c (28,22) x[2][92] = 0
45.46/28.58	c (28,22) x[2][93] = 0
45.46/28.58	c (28,22) x[2][94] = 0
45.46/28.58	c (28,22) x[2][95] = 0
45.46/28.58	c (28,22) x[2][96] = 0
45.46/28.58	c (28,22) x[2][97] = 0
45.46/28.58	c (28,22) x[2][98] = 0
45.46/28.58	c (28,22) x[2][99] = 0
45.46/28.58	c (28,22) x[2][100] = 0
45.46/28.58	c (28,22) x[2][101] = 0
45.46/28.58	c (28,22) x[2][102] = 0
45.46/28.58	c (28,22) x[2][103] = 0
45.46/28.58	c (28,22) x[2][104] = 0
45.46/28.58	c (28,22) x[2][105] = 0
45.46/28.58	c (28,22) x[2][106] = 0
45.46/28.58	c (28,22) x[2][107] = 0
45.46/28.58	c (28,22) x[2][108] = 0
45.46/28.58	c (28,22) x[2][109] = 0
45.46/28.58	c (28,22) x[2][110] = 0
45.46/28.58	c (28,22) x[2][111] = 1
45.46/28.58	c (28,22) x[2][112] = 0
45.46/28.58	c (28,22) x[2][113] = 1
45.46/28.58	c (28,22) x[2][114] = 1
45.46/28.58	c (28,22) x[2][115] = 1
45.46/28.58	c (28,22) x[2][116] = 1
45.46/28.58	c (28,22) x[2][117] = 1
45.46/28.58	c (28,22) x[2][118] = 1
45.46/28.58	c (28,22) x[2][119] = 1
45.46/28.58	c (28,22) x[3][0] = 0
45.46/28.58	c (28,22) x[3][1] = 0
45.46/28.58	c (28,22) x[3][2] = 0
45.46/28.58	c (28,22) x[3][3] = 0
45.46/28.58	c (28,22) x[3][4] = 0
45.46/28.58	c (28,22) x[3][5] = 0
45.46/28.58	c (28,22) x[3][6] = 0
45.46/28.58	c (28,22) x[3][7] = 0
45.46/28.58	c (28,22) x[3][8] = 0
45.46/28.58	c (28,22) x[3][9] = 0
45.46/28.58	c (28,22) x[3][10] = 0
45.46/28.58	c (28,22) x[3][11] = 0
45.46/28.58	c (28,22) x[3][12] = 0
45.46/28.58	c (28,22) x[3][13] = 0
45.46/28.58	c (28,22) x[3][14] = 0
45.46/28.58	c (28,22) x[3][15] = 0
45.46/28.58	c (28,22) x[3][16] = 0
45.46/28.58	c (28,22) x[3][17] = 1
45.46/28.58	c (28,22) x[3][18] = 1
45.46/28.58	c (28,22) x[3][19] = 1
45.46/28.58	c (28,22) x[3][20] = 1
45.46/28.58	c (28,22) x[3][21] = 1
45.46/28.58	c (28,22) x[3][22] = 1
45.46/28.58	c (28,22) x[3][23] = 1
45.46/28.58	c (28,22) x[3][24] = 1
45.46/28.58	c (28,22) x[3][25] = 1
45.46/28.58	c (28,22) x[3][26] = 1
45.46/28.58	c (28,22) x[3][27] = 1
45.46/28.58	c (28,22) x[3][28] = 1
45.46/28.58	c (28,22) x[3][29] = 0
45.46/28.58	c (28,22) x[3][30] = 0
45.46/28.58	c (28,22) x[3][31] = 0
45.46/28.58	c (28,22) x[3][32] = 0
45.46/28.58	c (28,22) x[3][33] = 0
45.46/28.58	c (28,22) x[3][34] = 0
45.46/28.58	c (28,22) x[3][35] = 0
45.46/28.58	c (28,22) x[3][36] = 0
45.46/28.58	c (28,22) x[3][37] = 0
45.46/28.58	c (28,22) x[3][38] = 0
45.46/28.58	c (28,22) x[3][39] = 0
45.46/28.58	c (28,22) x[3][40] = 0
45.46/28.58	c (28,22) x[3][41] = 0
45.46/28.58	c (28,22) x[3][42] = 0
45.46/28.58	c (28,22) x[3][43] = 0
45.46/28.58	c (28,22) x[3][44] = 0
45.46/28.58	c (28,22) x[3][45] = 0
45.46/28.59	c (28,22) x[3][46] = 0
45.46/28.59	c (28,22) x[3][47] = 0
45.46/28.59	c (28,22) x[3][48] = 1
45.46/28.59	c (28,22) x[3][49] = 1
45.46/28.59	c (28,22) x[3][50] = 1
45.46/28.59	c (28,22) x[3][51] = 1
45.46/28.59	c (28,22) x[3][52] = 1
45.46/28.59	c (28,22) x[3][53] = 1
45.46/28.59	c (28,22) x[3][54] = 1
45.46/28.59	c (28,22) x[3][55] = 1
45.46/28.59	c (28,22) x[3][56] = 0
45.46/28.59	c (28,22) x[3][57] = 0
45.46/28.59	c (28,22) x[3][58] = 0
45.46/28.59	c (28,22) x[3][59] = 0
45.46/28.59	c (28,22) x[3][60] = 0
45.46/28.59	c (28,22) x[3][61] = 0
45.46/28.59	c (28,22) x[3][62] = 0
45.46/28.59	c (28,22) x[3][63] = 0
45.46/28.59	c (28,22) x[3][64] = 0
45.46/28.59	c (28,22) x[3][65] = 0
45.46/28.59	c (28,22) x[3][66] = 0
45.46/28.59	c (28,22) x[3][67] = 0
45.46/28.59	c (28,22) x[3][68] = 0
45.46/28.59	c (28,22) x[3][69] = 0
45.46/28.59	c (28,22) x[3][70] = 0
45.46/28.59	c (28,22) x[3][71] = 0
45.46/28.59	c (28,22) x[3][72] = 0
45.46/28.59	c (28,22) x[3][73] = 0
45.46/28.59	c (28,22) x[3][74] = 0
45.46/28.59	c (28,22) x[3][75] = 1
45.46/28.59	c (28,22) x[3][76] = 1
45.46/28.59	c (28,22) x[3][77] = 1
45.46/28.59	c (28,22) x[3][78] = 1
45.46/28.59	c (28,22) x[3][79] = 1
45.46/28.59	c (28,22) x[3][80] = 1
45.46/28.59	c (28,22) x[3][81] = 1
45.46/28.59	c (28,22) x[3][82] = 1
45.46/28.59	c (28,22) x[3][83] = 0
45.46/28.59	c (28,22) x[3][84] = 0
45.46/28.59	c (28,22) x[3][85] = 0
45.46/28.59	c (28,22) x[3][86] = 0
45.46/28.59	c (28,22) x[3][87] = 0
45.46/28.59	c (28,22) x[3][88] = 0
45.46/28.59	c (28,22) x[3][89] = 0
45.46/28.59	c (28,22) x[3][90] = 0
45.46/28.59	c (28,22) x[3][91] = 0
45.46/28.59	c (28,22) x[3][92] = 0
45.46/28.59	c (28,22) x[3][93] = 0
45.46/28.59	c (28,22) x[3][94] = 0
45.46/28.59	c (28,22) x[3][95] = 0
45.46/28.59	c (28,22) x[3][96] = 0
45.46/28.59	c (28,22) x[3][97] = 0
45.46/28.59	c (28,22) x[3][98] = 0
45.46/28.59	c (28,22) x[3][99] = 0
45.46/28.59	c (28,22) x[3][100] = 0
45.46/28.59	c (28,22) x[3][101] = 0
45.46/28.59	c (28,22) x[3][102] = 0
45.46/28.59	c (28,22) x[3][103] = 1
45.46/28.59	c (28,22) x[3][104] = 1
45.46/28.59	c (28,22) x[3][105] = 1
45.46/28.59	c (28,22) x[3][106] = 1
45.46/28.59	c (28,22) x[3][107] = 1
45.46/28.59	c (28,22) x[3][108] = 1
45.46/28.59	c (28,22) x[3][109] = 1
45.46/28.59	c (28,22) x[3][110] = 1
45.46/28.59	c (28,22) x[3][111] = 0
45.46/28.59	c (28,22) x[3][112] = 0
45.46/28.59	c (28,22) x[3][113] = 0
45.46/28.59	c (28,22) x[3][114] = 0
45.46/28.59	c (28,22) x[3][115] = 0
45.46/28.59	c (28,22) x[3][116] = 0
45.46/28.59	c (28,22) x[3][117] = 0
45.46/28.59	c (28,22) x[3][118] = 0
45.46/28.59	c (28,22) x[3][119] = 0
45.46/28.59	c (28,22) x[4][0] = 0
45.46/28.59	c (28,22) x[4][1] = 0
45.46/28.59	c (28,22) x[4][2] = 0
45.46/28.59	c (28,22) x[4][3] = 0
45.46/28.59	c (28,22) x[4][4] = 0
45.46/28.59	c (28,22) x[4][5] = 0
45.46/28.59	c (28,22) x[4][6] = 1
45.46/28.59	c (28,22) x[4][7] = 1
45.46/28.59	c (28,22) x[4][8] = 1
45.46/28.59	c (28,22) x[4][9] = 1
45.46/28.59	c (28,22) x[4][10] = 1
45.46/28.59	c (28,22) x[4][11] = 1
45.46/28.59	c (28,22) x[4][12] = 1
45.46/28.59	c (28,22) x[4][13] = 1
45.46/28.59	c (28,22) x[4][14] = 1
45.46/28.59	c (28,22) x[4][15] = 1
45.46/28.59	c (28,22) x[4][16] = 1
45.46/28.59	c (28,22) x[4][17] = 0
45.46/28.59	c (28,22) x[4][18] = 0
45.46/28.59	c (28,22) x[4][19] = 0
45.46/28.59	c (28,22) x[4][20] = 0
45.46/28.59	c (28,22) x[4][21] = 0
45.46/28.59	c (28,22) x[4][22] = 0
45.46/28.59	c (28,22) x[4][23] = 0
45.46/28.59	c (28,22) x[4][24] = 0
45.46/28.59	c (28,22) x[4][25] = 0
45.46/28.59	c (28,22) x[4][26] = 0
45.46/28.59	c (28,22) x[4][27] = 1
45.46/28.59	c (28,22) x[4][28] = 1
45.46/28.59	c (28,22) x[4][29] = 0
45.46/28.59	c (28,22) x[4][30] = 0
45.46/28.59	c (28,22) x[4][31] = 0
45.46/28.59	c (28,22) x[4][32] = 0
45.46/28.59	c (28,22) x[4][33] = 0
45.46/28.59	c (28,22) x[4][34] = 0
45.46/28.59	c (28,22) x[4][35] = 0
45.46/28.59	c (28,22) x[4][36] = 0
45.46/28.59	c (28,22) x[4][37] = 0
45.46/28.59	c (28,22) x[4][38] = 0
45.46/28.59	c (28,22) x[4][39] = 0
45.46/28.59	c (28,22) x[4][40] = 0
45.46/28.59	c (28,22) x[4][41] = 0
45.46/28.59	c (28,22) x[4][42] = 0
45.46/28.59	c (28,22) x[4][43] = 0
45.46/28.59	c (28,22) x[4][44] = 0
45.46/28.59	c (28,22) x[4][45] = 0
45.46/28.59	c (28,22) x[4][46] = 1
45.46/28.59	c (28,22) x[4][47] = 1
45.46/28.59	c (28,22) x[4][48] = 0
45.46/28.59	c (28,22) x[4][49] = 0
45.46/28.59	c (28,22) x[4][50] = 1
45.46/28.59	c (28,22) x[4][51] = 1
45.46/28.59	c (28,22) x[4][52] = 1
45.46/28.59	c (28,22) x[4][53] = 1
45.46/28.59	c (28,22) x[4][54] = 1
45.46/28.59	c (28,22) x[4][55] = 1
45.46/28.59	c (28,22) x[4][56] = 0
45.46/28.59	c (28,22) x[4][57] = 0
45.46/28.59	c (28,22) x[4][58] = 0
45.46/28.59	c (28,22) x[4][59] = 0
45.46/28.59	c (28,22) x[4][60] = 0
45.46/28.59	c (28,22) x[4][61] = 0
45.46/28.59	c (28,22) x[4][62] = 0
45.46/28.59	c (28,22) x[4][63] = 0
45.46/28.59	c (28,22) x[4][64] = 0
45.46/28.59	c (28,22) x[4][65] = 0
45.46/28.59	c (28,22) x[4][66] = 0
45.46/28.59	c (28,22) x[4][67] = 0
45.46/28.59	c (28,22) x[4][68] = 1
45.46/28.59	c (28,22) x[4][69] = 1
45.46/28.59	c (28,22) x[4][70] = 1
45.46/28.59	c (28,22) x[4][71] = 1
45.46/28.59	c (28,22) x[4][72] = 1
45.46/28.59	c (28,22) x[4][73] = 1
45.46/28.59	c (28,22) x[4][74] = 1
45.46/28.59	c (28,22) x[4][75] = 0
45.46/28.59	c (28,22) x[4][76] = 0
45.46/28.59	c (28,22) x[4][77] = 0
45.46/28.59	c (28,22) x[4][78] = 0
45.46/28.59	c (28,22) x[4][79] = 0
45.46/28.59	c (28,22) x[4][80] = 0
45.46/28.59	c (28,22) x[4][81] = 0
45.46/28.59	c (28,22) x[4][82] = 0
45.46/28.59	c (28,22) x[4][83] = 0
45.46/28.59	c (28,22) x[4][84] = 0
45.46/28.59	c (28,22) x[4][85] = 0
45.46/28.59	c (28,22) x[4][86] = 0
45.46/28.59	c (28,22) x[4][87] = 0
45.46/28.59	c (28,22) x[4][88] = 0
45.46/28.59	c (28,22) x[4][89] = 0
45.46/28.59	c (28,22) x[4][90] = 0
45.46/28.59	c (28,22) x[4][91] = 0
45.46/28.59	c (28,22) x[4][92] = 0
45.46/28.59	c (28,22) x[4][93] = 0
45.46/28.59	c (28,22) x[4][94] = 0
45.46/28.59	c (28,22) x[4][95] = 0
45.46/28.59	c (28,22) x[4][96] = 1
45.46/28.59	c (28,22) x[4][97] = 1
45.46/28.59	c (28,22) x[4][98] = 1
45.46/28.59	c (28,22) x[4][99] = 1
45.46/28.59	c (28,22) x[4][100] = 1
45.46/28.59	c (28,22) x[4][101] = 1
45.46/28.59	c (28,22) x[4][102] = 1
45.46/28.59	c (28,22) x[4][103] = 0
45.46/28.59	c (28,22) x[4][104] = 0
45.46/28.59	c (28,22) x[4][105] = 0
45.46/28.59	c (28,22) x[4][106] = 0
45.46/28.59	c (28,22) x[4][107] = 0
45.46/28.59	c (28,22) x[4][108] = 0
45.46/28.59	c (28,22) x[4][109] = 0
45.46/28.59	c (28,22) x[4][110] = 0
45.46/28.59	c (28,22) x[4][111] = 0
45.46/28.59	c (28,22) x[4][112] = 1
45.46/28.59	c (28,22) x[4][113] = 0
45.46/28.59	c (28,22) x[4][114] = 0
45.46/28.59	c (28,22) x[4][115] = 0
45.46/28.59	c (28,22) x[4][116] = 0
45.46/28.59	c (28,22) x[4][117] = 0
45.46/28.59	c (28,22) x[4][118] = 0
45.46/28.59	c (28,22) x[4][119] = 0
45.46/28.59	c (28,22) x[5][0] = 0
45.46/28.59	c (28,22) x[5][1] = 1
45.46/28.59	c (28,22) x[5][2] = 1
45.46/28.59	c (28,22) x[5][3] = 1
45.46/28.59	c (28,22) x[5][4] = 1
45.46/28.59	c (28,22) x[5][5] = 1
45.46/28.59	c (28,22) x[5][6] = 0
45.46/28.59	c (28,22) x[5][7] = 0
45.46/28.59	c (28,22) x[5][8] = 0
45.46/28.59	c (28,22) x[5][9] = 0
45.46/28.59	c (28,22) x[5][10] = 0
45.46/28.59	c (28,22) x[5][11] = 1
45.46/28.59	c (28,22) x[5][12] = 1
45.46/28.59	c (28,22) x[5][13] = 1
45.46/28.59	c (28,22) x[5][14] = 1
45.46/28.59	c (28,22) x[5][15] = 1
45.46/28.59	c (28,22) x[5][16] = 1
45.46/28.59	c (28,22) x[5][17] = 0
45.46/28.59	c (28,22) x[5][18] = 0
45.46/28.59	c (28,22) x[5][19] = 0
45.46/28.59	c (28,22) x[5][20] = 0
45.46/28.59	c (28,22) x[5][21] = 0
45.46/28.59	c (28,22) x[5][22] = 0
45.46/28.59	c (28,22) x[5][23] = 0
45.46/28.59	c (28,22) x[5][24] = 1
45.46/28.59	c (28,22) x[5][25] = 1
45.46/28.59	c (28,22) x[5][26] = 1
45.46/28.59	c (28,22) x[5][27] = 0
45.46/28.59	c (28,22) x[5][28] = 0
45.46/28.59	c (28,22) x[5][29] = 0
45.46/28.59	c (28,22) x[5][30] = 0
45.46/28.59	c (28,22) x[5][31] = 0
45.46/28.59	c (28,22) x[5][32] = 0
45.46/28.59	c (28,22) x[5][33] = 0
45.46/28.59	c (28,22) x[5][34] = 0
45.46/28.59	c (28,22) x[5][35] = 0
45.46/28.59	c (28,22) x[5][36] = 0
45.46/28.59	c (28,22) x[5][37] = 0
45.46/28.59	c (28,22) x[5][38] = 0
45.46/28.59	c (28,22) x[5][39] = 0
45.46/28.59	c (28,22) x[5][40] = 0
45.46/28.59	c (28,22) x[5][41] = 0
45.46/28.59	c (28,22) x[5][42] = 0
45.46/28.59	c (28,22) x[5][43] = 1
45.46/28.59	c (28,22) x[5][44] = 1
45.46/28.59	c (28,22) x[5][45] = 1
45.46/28.59	c (28,22) x[5][46] = 1
45.46/28.59	c (28,22) x[5][47] = 1
45.46/28.59	c (28,22) x[5][48] = 0
45.46/28.59	c (28,22) x[5][49] = 1
45.46/28.59	c (28,22) x[5][50] = 0
45.46/28.59	c (28,22) x[5][51] = 0
45.46/28.59	c (28,22) x[5][52] = 0
45.46/28.59	c (28,22) x[5][53] = 0
45.46/28.59	c (28,22) x[5][54] = 0
45.46/28.59	c (28,22) x[5][55] = 0
45.46/28.59	c (28,22) x[5][56] = 0
45.46/28.59	c (28,22) x[5][57] = 0
45.46/28.59	c (28,22) x[5][58] = 0
45.46/28.59	c (28,22) x[5][59] = 0
45.46/28.59	c (28,22) x[5][60] = 0
45.46/28.59	c (28,22) x[5][61] = 0
45.46/28.59	c (28,22) x[5][62] = 0
45.46/28.59	c (28,22) x[5][63] = 0
45.46/28.59	c (28,22) x[5][64] = 1
45.46/28.59	c (28,22) x[5][65] = 1
45.46/28.59	c (28,22) x[5][66] = 1
45.46/28.59	c (28,22) x[5][67] = 1
45.46/28.59	c (28,22) x[5][68] = 0
45.46/28.59	c (28,22) x[5][69] = 0
45.46/28.59	c (28,22) x[5][70] = 0
45.46/28.59	c (28,22) x[5][71] = 0
45.46/28.59	c (28,22) x[5][72] = 0
45.46/28.59	c (28,22) x[5][73] = 0
45.46/28.59	c (28,22) x[5][74] = 0
45.46/28.59	c (28,22) x[5][75] = 0
45.46/28.59	c (28,22) x[5][76] = 0
45.46/28.59	c (28,22) x[5][77] = 0
45.46/28.59	c (28,22) x[5][78] = 0
45.46/28.59	c (28,22) x[5][79] = 0
45.46/28.59	c (28,22) x[5][80] = 1
45.46/28.59	c (28,22) x[5][81] = 1
45.46/28.59	c (28,22) x[5][82] = 1
45.46/28.59	c (28,22) x[5][83] = 1
45.46/28.59	c (28,22) x[5][84] = 0
45.46/28.59	c (28,22) x[5][85] = 0
45.46/28.59	c (28,22) x[5][86] = 0
45.46/28.59	c (28,22) x[5][87] = 0
45.46/28.59	c (28,22) x[5][88] = 0
45.46/28.59	c (28,22) x[5][89] = 0
45.46/28.59	c (28,22) x[5][90] = 1
45.46/28.59	c (28,22) x[5][91] = 1
45.46/28.59	c (28,22) x[5][92] = 1
45.46/28.59	c (28,22) x[5][93] = 1
45.46/28.59	c (28,22) x[5][94] = 1
45.46/28.59	c (28,22) x[5][95] = 1
45.46/28.59	c (28,22) x[5][96] = 0
45.46/28.59	c (28,22) x[5][97] = 0
45.46/28.59	c (28,22) x[5][98] = 0
45.46/28.59	c (28,22) x[5][99] = 0
45.46/28.59	c (28,22) x[5][100] = 0
45.46/28.59	c (28,22) x[5][101] = 0
45.46/28.59	c (28,22) x[5][102] = 0
45.46/28.59	c (28,22) x[5][103] = 0
45.46/28.59	c (28,22) x[5][104] = 0
45.46/28.59	c (28,22) x[5][105] = 0
45.46/28.59	c (28,22) x[5][106] = 0
45.46/28.59	c (28,22) x[5][107] = 0
45.46/28.59	c (28,22) x[5][108] = 0
45.46/28.59	c (28,22) x[5][109] = 0
45.46/28.59	c (28,22) x[5][110] = 1
45.46/28.59	c (28,22) x[5][111] = 1
45.46/28.59	c (28,22) x[5][112] = 0
45.46/28.59	c (28,22) x[5][113] = 0
45.46/28.59	c (28,22) x[5][114] = 0
45.46/28.59	c (28,22) x[5][115] = 0
45.46/28.59	c (28,22) x[5][116] = 0
45.46/28.59	c (28,22) x[5][117] = 0
45.46/28.59	c (28,22) x[5][118] = 0
45.46/28.59	c (28,22) x[5][119] = 0
45.46/28.59	c (28,22) x[6][0] = 0
45.46/28.59	c (28,22) x[6][1] = 1
45.46/28.59	c (28,22) x[6][2] = 1
45.46/28.59	c (28,22) x[6][3] = 1
45.46/28.59	c (28,22) x[6][4] = 1
45.46/28.59	c (28,22) x[6][5] = 1
45.46/28.59	c (28,22) x[6][6] = 0
45.46/28.59	c (28,22) x[6][7] = 0
45.46/28.59	c (28,22) x[6][8] = 0
45.46/28.59	c (28,22) x[6][9] = 1
45.46/28.59	c (28,22) x[6][10] = 1
45.46/28.59	c (28,22) x[6][11] = 0
45.46/28.59	c (28,22) x[6][12] = 0
45.46/28.59	c (28,22) x[6][13] = 0
45.46/28.59	c (28,22) x[6][14] = 0
45.46/28.59	c (28,22) x[6][15] = 0
45.46/28.59	c (28,22) x[6][16] = 0
45.46/28.59	c (28,22) x[6][17] = 0
45.46/28.59	c (28,22) x[6][18] = 0
45.46/28.59	c (28,22) x[6][19] = 0
45.46/28.59	c (28,22) x[6][20] = 1
45.46/28.59	c (28,22) x[6][21] = 1
45.46/28.59	c (28,22) x[6][22] = 1
45.46/28.59	c (28,22) x[6][23] = 1
45.46/28.59	c (28,22) x[6][24] = 0
45.46/28.59	c (28,22) x[6][25] = 0
45.46/28.59	c (28,22) x[6][26] = 0
45.46/28.59	c (28,22) x[6][27] = 0
45.46/28.59	c (28,22) x[6][28] = 1
45.46/28.59	c (28,22) x[6][29] = 0
45.46/28.59	c (28,22) x[6][30] = 0
45.46/28.59	c (28,22) x[6][31] = 0
45.46/28.59	c (28,22) x[6][32] = 0
45.46/28.59	c (28,22) x[6][33] = 0
45.46/28.59	c (28,22) x[6][34] = 0
45.46/28.59	c (28,22) x[6][35] = 0
45.46/28.59	c (28,22) x[6][36] = 0
45.46/28.59	c (28,22) x[6][37] = 0
45.46/28.59	c (28,22) x[6][38] = 1
45.46/28.59	c (28,22) x[6][39] = 1
45.46/28.59	c (28,22) x[6][40] = 1
45.46/28.59	c (28,22) x[6][41] = 1
45.46/28.59	c (28,22) x[6][42] = 1
45.46/28.59	c (28,22) x[6][43] = 0
45.46/28.59	c (28,22) x[6][44] = 1
45.46/28.59	c (28,22) x[6][45] = 1
45.46/28.59	c (28,22) x[6][46] = 0
45.46/28.59	c (28,22) x[6][47] = 0
45.46/28.59	c (28,22) x[6][48] = 1
45.46/28.59	c (28,22) x[6][49] = 0
45.46/28.59	c (28,22) x[6][50] = 0
45.46/28.59	c (28,22) x[6][51] = 0
45.46/28.59	c (28,22) x[6][52] = 0
45.46/28.59	c (28,22) x[6][53] = 0
45.46/28.59	c (28,22) x[6][54] = 0
45.46/28.59	c (28,22) x[6][55] = 0
45.46/28.59	c (28,22) x[6][56] = 0
45.46/28.59	c (28,22) x[6][57] = 0
45.46/28.59	c (28,22) x[6][58] = 1
45.46/28.59	c (28,22) x[6][59] = 1
45.46/28.59	c (28,22) x[6][60] = 1
45.46/28.59	c (28,22) x[6][61] = 1
45.46/28.59	c (28,22) x[6][62] = 1
45.46/28.59	c (28,22) x[6][63] = 1
45.46/28.59	c (28,22) x[6][64] = 0
45.46/28.59	c (28,22) x[6][65] = 0
45.46/28.59	c (28,22) x[6][66] = 0
45.46/28.59	c (28,22) x[6][67] = 0
45.46/28.59	c (28,22) x[6][68] = 0
45.46/28.59	c (28,22) x[6][69] = 0
45.46/28.59	c (28,22) x[6][70] = 0
45.46/28.59	c (28,22) x[6][71] = 0
45.46/28.59	c (28,22) x[6][72] = 0
45.46/28.59	c (28,22) x[6][73] = 1
45.46/28.59	c (28,22) x[6][74] = 1
45.46/28.59	c (28,22) x[6][75] = 0
45.46/28.59	c (28,22) x[6][76] = 0
45.46/28.59	c (28,22) x[6][77] = 0
45.46/28.59	c (28,22) x[6][78] = 0
45.46/28.59	c (28,22) x[6][79] = 0
45.46/28.59	c (28,22) x[6][80] = 0
45.46/28.59	c (28,22) x[6][81] = 0
45.46/28.59	c (28,22) x[6][82] = 0
45.46/28.59	c (28,22) x[6][83] = 0
45.46/28.59	c (28,22) x[6][84] = 0
45.46/28.59	c (28,22) x[6][85] = 0
45.46/28.59	c (28,22) x[6][86] = 0
45.46/28.59	c (28,22) x[6][87] = 0
45.46/28.59	c (28,22) x[6][88] = 1
45.46/28.59	c (28,22) x[6][89] = 1
45.46/28.59	c (28,22) x[6][90] = 0
45.46/28.59	c (28,22) x[6][91] = 0
45.46/28.59	c (28,22) x[6][92] = 0
45.46/28.59	c (28,22) x[6][93] = 0
45.46/28.59	c (28,22) x[6][94] = 0
45.46/28.59	c (28,22) x[6][95] = 1
45.46/28.59	c (28,22) x[6][96] = 0
45.46/28.59	c (28,22) x[6][97] = 0
45.46/28.59	c (28,22) x[6][98] = 0
45.46/28.59	c (28,22) x[6][99] = 0
45.46/28.59	c (28,22) x[6][100] = 1
45.46/28.59	c (28,22) x[6][101] = 1
45.46/28.59	c (28,22) x[6][102] = 1
45.46/28.59	c (28,22) x[6][103] = 0
45.46/28.59	c (28,22) x[6][104] = 0
45.46/28.59	c (28,22) x[6][105] = 0
45.46/28.59	c (28,22) x[6][106] = 0
45.46/28.59	c (28,22) x[6][107] = 0
45.46/28.59	c (28,22) x[6][108] = 1
45.46/28.59	c (28,22) x[6][109] = 1
45.46/28.59	c (28,22) x[6][110] = 0
45.46/28.59	c (28,22) x[6][111] = 0
45.46/28.59	c (28,22) x[6][112] = 0
45.46/28.59	c (28,22) x[6][113] = 0
45.46/28.59	c (28,22) x[6][114] = 0
45.46/28.59	c (28,22) x[6][115] = 0
45.46/28.59	c (28,22) x[6][116] = 0
45.46/28.59	c (28,22) x[6][117] = 0
45.46/28.59	c (28,22) x[6][118] = 0
45.46/28.59	c (28,22) x[6][119] = 0
45.46/28.59	c (28,22) x[7][0] = 1
45.46/28.59	c (28,22) x[7][1] = 0
45.46/28.59	c (28,22) x[7][2] = 0
45.46/28.59	c (28,22) x[7][3] = 0
45.46/28.59	c (28,22) x[7][4] = 0
45.46/28.59	c (28,22) x[7][5] = 0
45.46/28.59	c (28,22) x[7][6] = 0
45.46/28.59	c (28,22) x[7][7] = 0
45.46/28.59	c (28,22) x[7][8] = 1
45.46/28.59	c (28,22) x[7][9] = 1
45.46/28.59	c (28,22) x[7][10] = 1
45.46/28.59	c (28,22) x[7][11] = 0
45.46/28.59	c (28,22) x[7][12] = 0
45.46/28.59	c (28,22) x[7][13] = 1
45.46/28.59	c (28,22) x[7][14] = 1
45.46/28.59	c (28,22) x[7][15] = 1
45.46/28.59	c (28,22) x[7][16] = 1
45.46/28.59	c (28,22) x[7][17] = 0
45.46/28.59	c (28,22) x[7][18] = 0
45.46/28.59	c (28,22) x[7][19] = 0
45.46/28.59	c (28,22) x[7][20] = 0
45.46/28.59	c (28,22) x[7][21] = 0
45.46/28.59	c (28,22) x[7][22] = 1
45.46/28.59	c (28,22) x[7][23] = 1
45.46/28.59	c (28,22) x[7][24] = 0
45.46/28.59	c (28,22) x[7][25] = 0
45.46/28.59	c (28,22) x[7][26] = 1
45.46/28.59	c (28,22) x[7][27] = 1
45.46/28.59	c (28,22) x[7][28] = 0
45.46/28.59	c (28,22) x[7][29] = 0
45.46/28.59	c (28,22) x[7][30] = 0
45.46/28.59	c (28,22) x[7][31] = 1
45.46/28.59	c (28,22) x[7][32] = 1
45.46/28.59	c (28,22) x[7][33] = 1
45.46/28.59	c (28,22) x[7][34] = 1
45.46/28.59	c (28,22) x[7][35] = 1
45.46/28.59	c (28,22) x[7][36] = 1
45.46/28.59	c (28,22) x[7][37] = 1
45.46/28.59	c (28,22) x[7][38] = 0
45.46/28.59	c (28,22) x[7][39] = 0
45.46/28.59	c (28,22) x[7][40] = 0
45.46/28.59	c (28,22) x[7][41] = 0
45.46/28.59	c (28,22) x[7][42] = 0
45.46/28.59	c (28,22) x[7][43] = 1
45.46/28.59	c (28,22) x[7][44] = 0
45.46/28.59	c (28,22) x[7][45] = 0
45.46/28.59	c (28,22) x[7][46] = 0
45.46/28.59	c (28,22) x[7][47] = 0
45.46/28.59	c (28,22) x[7][48] = 0
45.46/28.59	c (28,22) x[7][49] = 0
45.46/28.59	c (28,22) x[7][50] = 0
45.46/28.59	c (28,22) x[7][51] = 0
45.46/28.59	c (28,22) x[7][52] = 0
45.46/28.59	c (28,22) x[7][53] = 0
45.46/28.59	c (28,22) x[7][54] = 0
45.46/28.59	c (28,22) x[7][55] = 0
45.46/28.59	c (28,22) x[7][56] = 1
45.46/28.59	c (28,22) x[7][57] = 1
45.46/28.59	c (28,22) x[7][58] = 0
45.46/28.59	c (28,22) x[7][59] = 0
45.46/28.59	c (28,22) x[7][60] = 1
45.46/28.59	c (28,22) x[7][61] = 1
45.46/28.59	c (28,22) x[7][62] = 1
45.46/28.59	c (28,22) x[7][63] = 1
45.46/28.59	c (28,22) x[7][64] = 0
45.46/28.59	c (28,22) x[7][65] = 0
45.46/28.59	c (28,22) x[7][66] = 0
45.46/28.59	c (28,22) x[7][67] = 0
45.46/28.59	c (28,22) x[7][68] = 0
45.46/28.59	c (28,22) x[7][69] = 0
45.46/28.59	c (28,22) x[7][70] = 0
45.46/28.59	c (28,22) x[7][71] = 0
45.46/28.59	c (28,22) x[7][72] = 0
45.46/28.59	c (28,22) x[7][73] = 0
45.46/28.59	c (28,22) x[7][74] = 0
45.46/28.59	c (28,22) x[7][75] = 0
45.46/28.59	c (28,22) x[7][76] = 0
45.46/28.59	c (28,22) x[7][77] = 0
45.46/28.59	c (28,22) x[7][78] = 1
45.46/28.59	c (28,22) x[7][79] = 1
45.46/28.59	c (28,22) x[7][80] = 0
45.46/28.59	c (28,22) x[7][81] = 0
45.46/28.59	c (28,22) x[7][82] = 0
45.46/28.59	c (28,22) x[7][83] = 0
45.46/28.59	c (28,22) x[7][84] = 1
45.46/28.59	c (28,22) x[7][85] = 1
45.46/28.59	c (28,22) x[7][86] = 1
45.46/28.59	c (28,22) x[7][87] = 1
45.46/28.59	c (28,22) x[7][88] = 0
45.46/28.59	c (28,22) x[7][89] = 0
45.46/28.59	c (28,22) x[7][90] = 0
45.46/28.59	c (28,22) x[7][91] = 0
45.46/28.59	c (28,22) x[7][92] = 0
45.46/28.59	c (28,22) x[7][93] = 1
45.46/28.59	c (28,22) x[7][94] = 1
45.46/28.59	c (28,22) x[7][95] = 0
45.46/28.59	c (28,22) x[7][96] = 0
45.46/28.59	c (28,22) x[7][97] = 0
45.46/28.59	c (28,22) x[7][98] = 0
45.46/28.59	c (28,22) x[7][99] = 0
45.46/28.59	c (28,22) x[7][100] = 0
45.46/28.59	c (28,22) x[7][101] = 0
45.46/28.59	c (28,22) x[7][102] = 0
45.46/28.59	c (28,22) x[7][103] = 0
45.46/28.59	c (28,22) x[7][104] = 0
45.46/28.59	c (28,22) x[7][105] = 0
45.46/28.59	c (28,22) x[7][106] = 1
45.46/28.59	c (28,22) x[7][107] = 1
45.46/28.59	c (28,22) x[7][108] = 0
45.46/28.59	c (28,22) x[7][109] = 0
45.46/28.59	c (28,22) x[7][110] = 0
45.46/28.59	c (28,22) x[7][111] = 0
45.46/28.59	c (28,22) x[7][112] = 0
45.46/28.59	c (28,22) x[7][113] = 0
45.46/28.59	c (28,22) x[7][114] = 0
45.46/28.59	c (28,22) x[7][115] = 0
45.46/28.59	c (28,22) x[7][116] = 0
45.46/28.59	c (28,22) x[7][117] = 0
45.46/28.59	c (28,22) x[7][118] = 0
45.46/28.59	c (28,22) x[7][119] = 0
45.46/28.59	c (28,22) x[8][0] = 1
45.46/28.59	c (28,22) x[8][1] = 0
45.46/28.59	c (28,22) x[8][2] = 0
45.46/28.59	c (28,22) x[8][3] = 0
45.46/28.59	c (28,22) x[8][4] = 0
45.46/28.59	c (28,22) x[8][5] = 1
45.46/28.59	c (28,22) x[8][6] = 1
45.46/28.59	c (28,22) x[8][7] = 1
45.46/28.59	c (28,22) x[8][8] = 1
45.46/28.59	c (28,22) x[8][9] = 0
45.46/28.59	c (28,22) x[8][10] = 0
45.46/28.59	c (28,22) x[8][11] = 0
45.46/28.59	c (28,22) x[8][12] = 1
45.46/28.59	c (28,22) x[8][13] = 0
45.46/28.59	c (28,22) x[8][14] = 0
45.46/28.59	c (28,22) x[8][15] = 0
45.46/28.59	c (28,22) x[8][16] = 0
45.46/28.59	c (28,22) x[8][17] = 1
45.46/28.59	c (28,22) x[8][18] = 1
45.46/28.59	c (28,22) x[8][19] = 1
45.46/28.59	c (28,22) x[8][20] = 1
45.46/28.59	c (28,22) x[8][21] = 1
45.46/28.59	c (28,22) x[8][22] = 0
45.46/28.59	c (28,22) x[8][23] = 0
45.46/28.59	c (28,22) x[8][24] = 0
45.46/28.59	c (28,22) x[8][25] = 1
45.46/28.59	c (28,22) x[8][26] = 0
45.46/28.59	c (28,22) x[8][27] = 0
45.46/28.59	c (28,22) x[8][28] = 0
45.46/28.59	c (28,22) x[8][29] = 1
45.46/28.59	c (28,22) x[8][30] = 1
45.46/28.59	c (28,22) x[8][31] = 0
45.46/28.59	c (28,22) x[8][32] = 0
45.46/28.59	c (28,22) x[8][33] = 1
45.46/28.59	c (28,22) x[8][34] = 1
45.46/28.59	c (28,22) x[8][35] = 1
45.46/28.59	c (28,22) x[8][36] = 1
45.46/28.59	c (28,22) x[8][37] = 1
45.46/28.59	c (28,22) x[8][38] = 0
45.46/28.59	c (28,22) x[8][39] = 0
45.46/28.59	c (28,22) x[8][40] = 0
45.46/28.59	c (28,22) x[8][41] = 0
45.46/28.59	c (28,22) x[8][42] = 1
45.46/28.59	c (28,22) x[8][43] = 0
45.46/28.59	c (28,22) x[8][44] = 0
45.46/28.59	c (28,22) x[8][45] = 0
45.46/28.59	c (28,22) x[8][46] = 0
45.46/28.59	c (28,22) x[8][47] = 0
45.46/28.59	c (28,22) x[8][48] = 0
45.46/28.59	c (28,22) x[8][49] = 0
45.46/28.59	c (28,22) x[8][50] = 0
45.46/28.59	c (28,22) x[8][51] = 0
45.46/28.59	c (28,22) x[8][52] = 0
45.46/28.59	c (28,22) x[8][53] = 0
45.46/28.59	c (28,22) x[8][54] = 0
45.46/28.59	c (28,22) x[8][55] = 0
45.46/28.59	c (28,22) x[8][56] = 0
45.46/28.59	c (28,22) x[8][57] = 1
45.46/28.59	c (28,22) x[8][58] = 1
45.46/28.59	c (28,22) x[8][59] = 1
45.46/28.59	c (28,22) x[8][60] = 0
45.46/28.59	c (28,22) x[8][61] = 0
45.46/28.59	c (28,22) x[8][62] = 0
45.46/28.59	c (28,22) x[8][63] = 0
45.46/28.59	c (28,22) x[8][64] = 1
45.46/28.59	c (28,22) x[8][65] = 1
45.46/28.59	c (28,22) x[8][66] = 1
45.46/28.59	c (28,22) x[8][67] = 1
45.46/28.59	c (28,22) x[8][68] = 0
45.46/28.59	c (28,22) x[8][69] = 0
45.46/28.59	c (28,22) x[8][70] = 0
45.46/28.59	c (28,22) x[8][71] = 0
45.46/28.59	c (28,22) x[8][72] = 0
45.46/28.59	c (28,22) x[8][73] = 0
45.46/28.59	c (28,22) x[8][74] = 0
45.46/28.59	c (28,22) x[8][75] = 0
45.46/28.59	c (28,22) x[8][76] = 0
45.46/28.59	c (28,22) x[8][77] = 1
45.46/28.59	c (28,22) x[8][78] = 0
45.46/28.59	c (28,22) x[8][79] = 0
45.46/28.59	c (28,22) x[8][80] = 0
45.46/28.59	c (28,22) x[8][81] = 0
45.46/28.59	c (28,22) x[8][82] = 0
45.46/28.59	c (28,22) x[8][83] = 0
45.46/28.59	c (28,22) x[8][84] = 0
45.46/28.59	c (28,22) x[8][85] = 0
45.46/28.59	c (28,22) x[8][86] = 0
45.46/28.59	c (28,22) x[8][87] = 0
45.46/28.59	c (28,22) x[8][88] = 1
45.46/28.59	c (28,22) x[8][89] = 1
45.46/28.59	c (28,22) x[8][90] = 0
45.46/28.59	c (28,22) x[8][91] = 0
45.46/28.59	c (28,22) x[8][92] = 1
45.46/28.59	c (28,22) x[8][93] = 0
45.46/28.59	c (28,22) x[8][94] = 0
45.46/28.59	c (28,22) x[8][95] = 0
45.46/28.59	c (28,22) x[8][96] = 1
45.46/28.59	c (28,22) x[8][97] = 1
45.46/28.59	c (28,22) x[8][98] = 1
45.46/28.59	c (28,22) x[8][99] = 1
45.46/28.59	c (28,22) x[8][100] = 0
45.46/28.59	c (28,22) x[8][101] = 0
45.46/28.59	c (28,22) x[8][102] = 0
45.46/28.59	c (28,22) x[8][103] = 0
45.46/28.59	c (28,22) x[8][104] = 0
45.46/28.59	c (28,22) x[8][105] = 1
45.46/28.59	c (28,22) x[8][106] = 0
45.46/28.59	c (28,22) x[8][107] = 0
45.46/28.59	c (28,22) x[8][108] = 0
45.46/28.59	c (28,22) x[8][109] = 0
45.46/28.59	c (28,22) x[8][110] = 0
45.46/28.59	c (28,22) x[8][111] = 0
45.46/28.59	c (28,22) x[8][112] = 0
45.46/28.59	c (28,22) x[8][113] = 0
45.46/28.59	c (28,22) x[8][114] = 0
45.46/28.59	c (28,22) x[8][115] = 0
45.46/28.59	c (28,22) x[8][116] = 0
45.46/28.59	c (28,22) x[8][117] = 0
45.46/28.59	c (28,22) x[8][118] = 0
45.46/28.59	c (28,22) x[8][119] = 0
45.46/28.59	c (28,22) x[9][0] = 1
45.46/28.59	c (28,22) x[9][1] = 1
45.46/28.59	c (28,22) x[9][2] = 1
45.46/28.59	c (28,22) x[9][3] = 1
45.46/28.59	c (28,22) x[9][4] = 1
45.46/28.59	c (28,22) x[9][5] = 0
45.46/28.59	c (28,22) x[9][6] = 1
45.46/28.59	c (28,22) x[9][7] = 1
45.46/28.59	c (28,22) x[9][8] = 0
45.46/28.59	c (28,22) x[9][9] = 0
45.46/28.59	c (28,22) x[9][10] = 0
45.46/28.59	c (28,22) x[9][11] = 1
45.46/28.59	c (28,22) x[9][12] = 0
45.46/28.59	c (28,22) x[9][13] = 0
45.46/28.59	c (28,22) x[9][14] = 0
45.46/28.59	c (28,22) x[9][15] = 0
45.46/28.59	c (28,22) x[9][16] = 0
45.46/28.59	c (28,22) x[9][17] = 1
45.46/28.59	c (28,22) x[9][18] = 1
45.46/28.59	c (28,22) x[9][19] = 1
45.46/28.59	c (28,22) x[9][20] = 0
45.46/28.59	c (28,22) x[9][21] = 0
45.46/28.59	c (28,22) x[9][22] = 0
45.46/28.59	c (28,22) x[9][23] = 0
45.46/28.59	c (28,22) x[9][24] = 1
45.46/28.59	c (28,22) x[9][25] = 0
45.46/28.59	c (28,22) x[9][26] = 0
45.46/28.59	c (28,22) x[9][27] = 0
45.46/28.59	c (28,22) x[9][28] = 0
45.46/28.59	c (28,22) x[9][29] = 1
45.46/28.59	c (28,22) x[9][30] = 1
45.46/28.59	c (28,22) x[9][31] = 1
45.46/28.59	c (28,22) x[9][32] = 1
45.46/28.59	c (28,22) x[9][33] = 0
45.46/28.59	c (28,22) x[9][34] = 0
45.46/28.59	c (28,22) x[9][35] = 0
45.46/28.59	c (28,22) x[9][36] = 0
45.46/28.59	c (28,22) x[9][37] = 0
45.46/28.59	c (28,22) x[9][38] = 1
45.46/28.59	c (28,22) x[9][39] = 1
45.46/28.59	c (28,22) x[9][40] = 1
45.46/28.59	c (28,22) x[9][41] = 1
45.46/28.59	c (28,22) x[9][42] = 0
45.46/28.59	c (28,22) x[9][43] = 0
45.46/28.59	c (28,22) x[9][44] = 0
45.46/28.59	c (28,22) x[9][45] = 0
45.46/28.59	c (28,22) x[9][46] = 0
45.46/28.59	c (28,22) x[9][47] = 0
45.46/28.59	c (28,22) x[9][48] = 0
45.46/28.59	c (28,22) x[9][49] = 0
45.46/28.59	c (28,22) x[9][50] = 0
45.46/28.59	c (28,22) x[9][51] = 0
45.46/28.59	c (28,22) x[9][52] = 0
45.46/28.59	c (28,22) x[9][53] = 0
45.46/28.59	c (28,22) x[9][54] = 0
45.46/28.59	c (28,22) x[9][55] = 0
45.46/28.59	c (28,22) x[9][56] = 1
45.46/28.59	c (28,22) x[9][57] = 0
45.46/28.59	c (28,22) x[9][58] = 0
45.46/28.59	c (28,22) x[9][59] = 0
45.46/28.59	c (28,22) x[9][60] = 0
45.46/28.59	c (28,22) x[9][61] = 0
45.46/28.59	c (28,22) x[9][62] = 0
45.46/28.59	c (28,22) x[9][63] = 0
45.46/28.59	c (28,22) x[9][64] = 0
45.46/28.59	c (28,22) x[9][65] = 0
45.46/28.59	c (28,22) x[9][66] = 0
45.46/28.59	c (28,22) x[9][67] = 0
45.46/28.59	c (28,22) x[9][68] = 1
45.46/28.59	c (28,22) x[9][69] = 1
45.46/28.59	c (28,22) x[9][70] = 1
45.46/28.59	c (28,22) x[9][71] = 1
45.46/28.59	c (28,22) x[9][72] = 1
45.46/28.59	c (28,22) x[9][73] = 0
45.46/28.59	c (28,22) x[9][74] = 0
45.46/28.59	c (28,22) x[9][75] = 1
45.46/28.59	c (28,22) x[9][76] = 1
45.46/28.59	c (28,22) x[9][77] = 0
45.46/28.59	c (28,22) x[9][78] = 0
45.46/28.59	c (28,22) x[9][79] = 0
45.46/28.59	c (28,22) x[9][80] = 0
45.46/28.59	c (28,22) x[9][81] = 0
45.46/28.59	c (28,22) x[9][82] = 0
45.46/28.59	c (28,22) x[9][83] = 0
45.46/28.59	c (28,22) x[9][84] = 1
45.46/28.59	c (28,22) x[9][85] = 1
45.46/28.59	c (28,22) x[9][86] = 1
45.46/28.59	c (28,22) x[9][87] = 1
45.46/28.59	c (28,22) x[9][88] = 0
45.46/28.59	c (28,22) x[9][89] = 0
45.46/28.59	c (28,22) x[9][90] = 1
45.46/28.59	c (28,22) x[9][91] = 1
45.46/28.59	c (28,22) x[9][92] = 0
45.46/28.59	c (28,22) x[9][93] = 0
45.46/28.59	c (28,22) x[9][94] = 0
45.46/28.59	c (28,22) x[9][95] = 0
45.46/28.59	c (28,22) x[9][96] = 0
45.46/28.59	c (28,22) x[9][97] = 0
45.46/28.59	c (28,22) x[9][98] = 0
45.46/28.59	c (28,22) x[9][99] = 0
45.46/28.59	c (28,22) x[9][100] = 0
45.46/28.59	c (28,22) x[9][101] = 0
45.46/28.59	c (28,22) x[9][102] = 0
45.46/28.59	c (28,22) x[9][103] = 1
45.46/28.59	c (28,22) x[9][104] = 1
45.46/28.59	c (28,22) x[9][105] = 0
45.46/28.59	c (28,22) x[9][106] = 0
45.46/28.59	c (28,22) x[9][107] = 0
45.46/28.59	c (28,22) x[9][108] = 0
45.46/28.59	c (28,22) x[9][109] = 0
45.46/28.59	c (28,22) x[9][110] = 0
45.46/28.59	c (28,22) x[9][111] = 0
45.46/28.59	c (28,22) x[9][112] = 0
45.46/28.59	c (28,22) x[9][113] = 0
45.46/28.59	c (28,22) x[9][114] = 0
45.46/28.59	c (28,22) x[9][115] = 0
45.46/28.59	c (28,22) x[9][116] = 0
45.46/28.59	c (28,22) x[9][117] = 0
45.46/28.59	c (28,22) x[9][118] = 0
45.46/28.59	c (28,22) x[9][119] = 0
45.46/28.59	s SATISFIABLE
45.46/28.59	v <instantiation>
45.46/28.59	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>
45.46/28.59	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 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 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 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 0 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 1 1 1 1 1 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 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 1 1 1 1 1 1 1 1 1 1 1 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 0 1 1 0 0 1 1 1 1 1 1 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 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 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 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 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 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 1 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 1 0 0 0 1 1 0 0 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 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</values>
45.46/28.59	v </instantiation>
45.46/28.59	c (28,22) Show results End
45.46/28.59	c (28,22) Heap : 2207 MiB used (max 11156 MiB), NonHeap : 32 MiB used (max 0 MiB)
45.46/28.59	c (28,22) 0,0,19,19,19,19,22,27,28,STOP-AFTER(ALL)
45.46/28.59	c END-Prog: Mon Jul 23 15:14:36 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 (5807 MiB free)
  memory of node 1: 16384 MiB (10185 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294104-1532351648/watcher-4294104-1532351648 -o /tmp/evaluation-result-4294104-1532351648/solver-4294104-1532351648 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8950 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294104-1532351648.xml 

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

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

solver pid=14933, runsolver pid=14930

[startup+0.100092 s]*
/proc/loadavg: 2.12 2.10 2.08 4/221 14948
/proc/meminfo: memFree=16324592/32770624 swapFree=67108860/67108860
[pid=14933] ppid=14930 vsize=15011656 memory=66460 CPUtime=0.09 cores=0,2,4,6
/proc/14933/stat : 14933 (java) S 14930 14933 8919 0 -1 1077944320 6363 0 0 0 7 2 0 0 20 0 15 0 52727953 15371935744 16615 33554432000 4194304 4196468 140727157430768 140727157413312 139829806604023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
/proc/14933/statm: 3752914 16615 2721 1 0 3715374 0
[pid=14933/tid=14935] ppid=14930 vsize=15011656 memory=-6583310943825214288 CPUtime=0.07 cores=0,2,4,6
/proc/14933/task/14935/stat : 14935 (java) R 14930 14933 8919 0 -1 4202560 4496 0 0 0 6 1 0 0 20 0 15 0 52727954 15371935744 17127 33554432000 4194304 4196468 140727157430768 139829778415272 139829790684540 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14936] ppid=14930 vsize=15011656 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14936/stat : 14936 (java) S 14930 14933 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52727955 15371935744 17127 33554432000 4194304 4196468 140727157430768 139829810846224 139829806614229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14937] ppid=14930 vsize=15011656 memory=140363345761920 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14937/stat : 14937 (java) S 14930 14933 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52727955 15371935744 17127 33554432000 4194304 4196468 140727157430768 139829267479184 139829806614229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14938] ppid=14930 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14938/stat : 14938 (java) S 14930 14933 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52727955 15371935744 17127 33554432000 4194304 4196468 140727157430768 139829266426128 139829806614229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14939] ppid=14930 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14939/stat : 14939 (java) S 14930 14933 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52727955 15371935744 17127 33554432000 4194304 4196468 140727157430768 139829265373584 139829806614229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14940] ppid=14930 vsize=15011656 memory=140363345761920 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14940/stat : 14940 (java) S 14930 14933 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52727957 15371935744 17127 33554432000 4194304 4196468 140727157430768 139828844813040 139829806615170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14941] ppid=14930 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14941/stat : 14941 (java) S 14930 14933 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52727957 15371935744 17127 33554432000 4194304 4196468 140727157430768 139828364568224 139829806614229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14942] ppid=14930 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14942/stat : 14942 (java) S 14930 14933 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52727958 15371935744 17127 33554432000 4194304 4196468 140727157430768 139828096132336 139829806614229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14943] ppid=14930 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14943/stat : 14943 (java) S 14930 14933 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52727960 15371935744 17127 33554432000 4194304 4196468 140727157430768 139827721624016 139829806622619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14944] ppid=14930 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14944/stat : 14944 (java) R 14930 14933 8919 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 52727960 15371935744 17127 33554432000 4194304 4196468 140727157430768 139828843759856 139829806615170 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14945] ppid=14930 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14945/stat : 14945 (java) S 14930 14933 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52727960 15371935744 17127 33554432000 4194304 4196468 140727157430768 139828842707312 139829806615170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14946] ppid=14930 vsize=15011656 memory=140363345761920 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14946/stat : 14946 (java) R 14930 14933 8919 0 -1 4202560 243 0 0 0 0 0 0 0 20 0 15 0 52727960 15371935744 17127 33554432000 4194304 4196468 140727157430768 139828841654256 139829799700859 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14947] ppid=14930 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14947/stat : 14947 (java) S 14930 14933 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52727960 15371935744 17127 33554432000 4194304 4196468 140727157430768 139827223718240 139829806614229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14948] ppid=14930 vsize=15011656 memory=140363345761920 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14948/stat : 14948 (java) S 14930 14933 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52727962 15371935744 17127 33554432000 4194304 4196468 140727157430768 139828840602672 139829806615170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 66460 KiB

[startup+0.210496 s]*
/proc/loadavg: 2.12 2.10 2.08 4/221 14948
/proc/meminfo: memFree=16305488/32770624 swapFree=67108860/67108860
[pid=14933] ppid=14930 vsize=15011656 memory=83488 CPUtime=0.23 cores=0,2,4,6
/proc/14933/stat : 14933 (java) S 14930 14933 8919 0 -1 1077944320 10372 0 0 0 20 3 0 0 20 0 15 0 52727953 15371935744 20872 33554432000 4194304 4196468 140727157430768 140727157413312 139829806604023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
/proc/14933/statm: 3752914 20872 2903 1 0 3715374 0
[pid=14933/tid=14935] ppid=14930 vsize=15011656 memory=8389772277269004345 CPUtime=0.18 cores=0,2,4,6
/proc/14933/task/14935/stat : 14935 (java) R 14930 14933 8919 0 -1 4202560 8234 0 0 0 16 2 0 0 20 0 15 0 52727954 15371935744 20872 33554432000 4194304 4196468 140727157430768 139829778387584 139829788167575 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14936] ppid=14930 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14936/stat : 14936 (java) S 14930 14933 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52727955 15371935744 20872 33554432000 4194304 4196468 140727157430768 139829810846224 139829806614229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14937] ppid=14930 vsize=15011656 memory=140363346072568 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14937/stat : 14937 (java) S 14930 14933 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52727955 15371935744 20872 33554432000 4194304 4196468 140727157430768 139829267479184 139829806614229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14938] ppid=14930 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14938/stat : 14938 (java) S 14930 14933 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52727955 15371935744 20872 33554432000 4194304 4196468 140727157430768 139829266426128 139829806614229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14939] ppid=14930 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14939/stat : 14939 (java) S 14930 14933 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52727955 15371935744 20872 33554432000 4194304 4196468 140727157430768 139829265373584 139829806614229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14940] ppid=14930 vsize=15011656 memory=140363345761920 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14940/stat : 14940 (java) S 14930 14933 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52727957 15371935744 20872 33554432000 4194304 4196468 140727157430768 139828844813040 139829806615170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14941] ppid=14930 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14941/stat : 14941 (java) S 14930 14933 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52727957 15371935744 20872 33554432000 4194304 4196468 140727157430768 139828364568224 139829806614229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14942] ppid=14930 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14942/stat : 14942 (java) S 14930 14933 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52727958 15371935744 20872 33554432000 4194304 4196468 140727157430768 139828096132336 139829806614229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14943] ppid=14930 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14943/stat : 14943 (java) S 14930 14933 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52727960 15371935744 20872 33554432000 4194304 4196468 140727157430768 139827721624016 139829806622619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14944] ppid=14930 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/14933/task/14944/stat : 14944 (java) S 14930 14933 8919 0 -1 1077944384 318 0 0 0 1 0 0 0 20 0 15 0 52727960 15371935744 20872 33554432000 4194304 4196468 140727157430768 139828843759856 139829806615170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14945] ppid=14930 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14945/stat : 14945 (java) S 14930 14933 8919 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 52727960 15371935744 20872 33554432000 4194304 4196468 140727157430768 139828842707312 139829806615170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14946] ppid=14930 vsize=15011656 memory=140363345761920 CPUtime=0.02 cores=0,2,4,6
/proc/14933/task/14946/stat : 14946 (java) S 14930 14933 8919 0 -1 1077944384 323 0 0 0 2 0 0 0 20 0 15 0 52727960 15371935744 20872 33554432000 4194304 4196468 140727157430768 139828841654256 139829806615170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14947] ppid=14930 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14947/stat : 14947 (java) S 14930 14933 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52727960 15371935744 20872 33554432000 4194304 4196468 140727157430768 139827223718240 139829806614229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14948] ppid=14930 vsize=15011656 memory=140363345761920 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14948/stat : 14948 (java) S 14930 14933 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52727962 15371935744 20872 33554432000 4194304 4196468 140727157430768 139828840602672 139829806615170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 83488 KiB

[startup+0.310331 s]*
/proc/loadavg: 2.12 2.10 2.08 4/221 14948
/proc/meminfo: memFree=16301208/32770624 swapFree=67108860/67108860
[pid=14933] ppid=14930 vsize=15011656 memory=88264 CPUtime=0.41 cores=0,2,4,6
/proc/14933/stat : 14933 (java) S 14930 14933 8919 0 -1 1077944320 11153 0 0 0 37 4 0 0 20 0 15 0 52727953 15371935744 22066 33554432000 4194304 4196468 140727157430768 140727157413312 139829806604023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
/proc/14933/statm: 3752914 22066 2970 1 0 3715374 0
[pid=14933/tid=14935] ppid=14930 vsize=15011656 memory=8389772277269004345 CPUtime=0.28 cores=0,2,4,6
/proc/14933/task/14935/stat : 14935 (java) R 14930 14933 8919 0 -1 4202560 8746 0 0 0 25 3 0 0 20 0 15 0 52727954 15371935744 22066 33554432000 4194304 4196468 140727157430768 139829778408176 139829788167552 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14936] ppid=14930 vsize=15011656 memory=4294967638 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14936/stat : 14936 (java) S 14930 14933 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52727955 15371935744 22066 33554432000 4194304 4196468 140727157430768 139829810846224 139829806614229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14937] ppid=14930 vsize=15011656 memory=140363346072494 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14937/stat : 14937 (java) S 14930 14933 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52727955 15371935744 22066 33554432000 4194304 4196468 140727157430768 139829267479184 139829806614229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14938] ppid=14930 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14938/stat : 14938 (java) S 14930 14933 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52727955 15371935744 22066 33554432000 4194304 4196468 140727157430768 139829266426128 139829806614229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14939] ppid=14930 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14939/stat : 14939 (java) S 14930 14933 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52727955 15371935744 22066 33554432000 4194304 4196468 140727157430768 139829265373584 139829806614229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14940] ppid=14930 vsize=15011656 memory=140363345761920 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14940/stat : 14940 (java) S 14930 14933 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52727957 15371935744 22066 33554432000 4194304 4196468 140727157430768 139828844813040 139829806615170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14941] ppid=14930 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14941/stat : 14941 (java) S 14930 14933 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52727957 15371935744 22066 33554432000 4194304 4196468 140727157430768 139828364568224 139829806614229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14942] ppid=14930 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14942/stat : 14942 (java) S 14930 14933 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52727958 15371935744 22066 33554432000 4194304 4196468 140727157430768 139828096132336 139829806614229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14943] ppid=14930 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14943/stat : 14943 (java) S 14930 14933 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52727960 15371935744 22066 33554432000 4194304 4196468 140727157430768 139827721624016 139829806622619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14944] ppid=14930 vsize=15011656 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/14933/task/14944/stat : 14944 (java) S 14930 14933 8919 0 -1 1077944384 433 0 0 0 3 0 0 0 20 0 15 0 52727960 15371935744 22066 33554432000 4194304 4196468 140727157430768 139828843759856 139829806615170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14945] ppid=14930 vsize=15011656 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/14933/task/14945/stat : 14945 (java) S 14930 14933 8919 0 -1 1077944384 185 0 0 0 1 0 0 0 20 0 15 0 52727960 15371935744 22066 33554432000 4194304 4196468 140727157430768 139828842707312 139829806615170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14946] ppid=14930 vsize=15011656 memory=140363345761920 CPUtime=0.07 cores=0,2,4,6
/proc/14933/task/14946/stat : 14946 (java) S 14930 14933 8919 0 -1 1077944384 452 0 0 0 7 0 0 0 20 0 15 0 52727960 15371935744 22066 33554432000 4194304 4196468 140727157430768 139828841654256 139829806615170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14947] ppid=14930 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14947/stat : 14947 (java) S 14930 14933 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52727960 15371935744 22066 33554432000 4194304 4196468 140727157430768 139827223718240 139829806614229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14948] ppid=14930 vsize=15011656 memory=140363345761920 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14948/stat : 14948 (java) S 14930 14933 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52727962 15371935744 22066 33554432000 4194304 4196468 140727157430768 139828840602672 139829806615170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 88264 KiB

[startup+0.701344 s]
/proc/loadavg: 2.12 2.10 2.08 4/221 14948
/proc/meminfo: memFree=16277396/32770624 swapFree=67108860/67108860
[pid=14933] ppid=14930 vsize=15017928 memory=125800 CPUtime=0.97 cores=0,2,4,6
/proc/14933/stat : 14933 (java) S 14930 14933 8919 0 -1 1077944320 18205 0 0 0 91 6 0 0 20 0 15 0 52727953 15378358272 31450 33554432000 4194304 4196468 140727157430768 140727157413312 139829806604023 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
/proc/14933/statm: 3754482 31450 3149 1 0 3715886 0
[pid=14933/tid=14935] ppid=14930 vsize=15017928 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/14933/task/14935/stat : 14935 (java) R 14930 14933 8919 0 -1 4202560 15259 0 0 0 61 4 0 0 20 0 15 0 52727954 15378358272 31450 33554432000 4194304 4196468 140727157430768 139829778440000 139829806615958 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14936] ppid=14930 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14936/stat : 14936 (java) S 14930 14933 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52727955 15378358272 31450 33554432000 4194304 4196468 140727157430768 139829810846224 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14937] ppid=14930 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14937/stat : 14937 (java) S 14930 14933 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52727955 15378358272 31450 33554432000 4194304 4196468 140727157430768 139829267479184 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14938] ppid=14930 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14938/stat : 14938 (java) S 14930 14933 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52727955 15378358272 31450 33554432000 4194304 4196468 140727157430768 139829266426128 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14939] ppid=14930 vsize=15017928 memory=204530033642939 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14939/stat : 14939 (java) S 14930 14933 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52727955 15378358272 31450 33554432000 4194304 4196468 140727157430768 139829265373584 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14940] ppid=14930 vsize=15017928 memory=286033 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14940/stat : 14940 (java) S 14930 14933 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52727957 15378358272 31450 33554432000 4194304 4196468 140727157430768 139828844813040 139829806615170 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14941] ppid=14930 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14941/stat : 14941 (java) S 14930 14933 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52727957 15378358272 31450 33554432000 4194304 4196468 140727157430768 139828364568224 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14942] ppid=14930 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14942/stat : 14942 (java) S 14930 14933 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52727958 15378358272 31450 33554432000 4194304 4196468 140727157430768 139828096132336 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14943] ppid=14930 vsize=15017928 memory=7809523229951467574 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14943/stat : 14943 (java) S 14930 14933 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52727960 15378358272 31450 33554432000 4194304 4196468 140727157430768 139827721624016 139829806622619 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14944] ppid=14930 vsize=15017928 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14933/task/14944/stat : 14944 (java) R 14930 14933 8919 0 -1 1077944384 671 0 0 0 9 0 0 0 20 0 15 0 52727960 15378358272 31450 33554432000 4194304 4196468 140727157430768 139828843759856 139829806615170 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14945] ppid=14930 vsize=15017928 memory=-3472574513799858009 CPUtime=0.05 cores=0,2,4,6
/proc/14933/task/14945/stat : 14945 (java) S 14930 14933 8919 0 -1 1077944384 289 0 0 0 5 0 0 0 20 0 15 0 52727960 15378358272 31450 33554432000 4194304 4196468 140727157430768 139828842707312 139829806615170 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14946] ppid=14930 vsize=15017928 memory=6944656592387989600 CPUtime=0.15 cores=0,2,4,6
/proc/14933/task/14946/stat : 14946 (java) R 14930 14933 8919 0 -1 4202560 647 0 0 0 15 0 0 0 20 0 15 0 52727960 15378358272 31450 33554432000 4194304 4196468 140727157430768 139828841650624 139829790684510 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14947] ppid=14930 vsize=15017928 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14947/stat : 14947 (java) S 14930 14933 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52727960 15378358272 31450 33554432000 4194304 4196468 140727157430768 139827223718240 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14948] ppid=14930 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14948/stat : 14948 (java) S 14930 14933 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52727962 15378358272 31450 33554432000 4194304 4196468 140727157430768 139828840602672 139829806615170 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 125800 KiB

[startup+1.50454 s]
/proc/loadavg: 2.19 2.12 2.08 3/221 14948
/proc/meminfo: memFree=16249480/32770624 swapFree=67108860/67108860
[pid=14933] ppid=14930 vsize=15022100 memory=201220 CPUtime=3.26 cores=0,2,4,6
/proc/14933/stat : 14933 (java) S 14930 14933 8919 0 -1 1077944320 22456 0 0 0 317 9 0 0 20 0 15 0 52727953 15382630400 50305 33554432000 4194304 4196468 140727157430768 140727157413312 139829806604023 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
/proc/14933/statm: 3755525 50305 3202 1 0 3716910 0
[pid=14933/tid=14935] ppid=14930 vsize=15022100 memory=125 CPUtime=1.45 cores=0,2,4,6
/proc/14933/task/14935/stat : 14935 (java) R 14930 14933 8919 0 -1 4202560 16376 0 0 0 140 5 0 0 20 0 15 0 52727954 15382630400 50305 33554432000 4194304 4196468 140727157430768 139829778439216 139829791975010 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14936] ppid=14930 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14936/stat : 14936 (java) S 14930 14933 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52727955 15382630400 50305 33554432000 4194304 4196468 140727157430768 139829810846224 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14937] ppid=14930 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14937/stat : 14937 (java) S 14930 14933 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52727955 15382630400 50305 33554432000 4194304 4196468 140727157430768 139829267479184 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14938] ppid=14930 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14938/stat : 14938 (java) S 14930 14933 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52727955 15382630400 50305 33554432000 4194304 4196468 140727157430768 139829266426128 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14939] ppid=14930 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14939/stat : 14939 (java) S 14930 14933 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52727955 15382630400 50305 33554432000 4194304 4196468 140727157430768 139829265373584 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14940] ppid=14930 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14940/stat : 14940 (java) S 14930 14933 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52727957 15382630400 50305 33554432000 4194304 4196468 140727157430768 139828844813040 139829806615170 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0

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

[pid=14933/tid=14954] ppid=14930 vsize=15683912 memory=-7023579799431922829 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14954/stat : 14954 (java) S 14930 14933 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 52730291 16060325888 826513 33554432000 4194304 4196468 140727157430768 139826955279648 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
Current children cumulated CPU time: 42.37 s
Current children cumulated vsize: 15825480 KiB
Current children cumulated memory: 3417912 KiB

[startup+27.201 s]
/proc/loadavg: 2.20 2.12 2.09 3/226 14954
/proc/meminfo: memFree=12954816/32770624 swapFree=67108860/67108860
[pid=14933] ppid=14930 vsize=15683912 memory=3306052 CPUtime=40.12 cores=0,2,4,6
/proc/14933/stat : 14933 (java) S 14930 14933 8919 0 -1 1077944320 64885 0 0 0 3925 87 0 0 20 0 19 0 52727953 16060325888 826513 33554432000 4194304 4196468 140727157430768 140727157413312 139829806604023 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
/proc/14933/statm: 3920978 826513 3268 1 0 3881834 0
[pid=14949] ppid=14933 vsize=141568 memory=114156 CPUtime=3.84 cores=0,2,4,6
/proc/14949/stat : 14949 (minisat_release) R 14933 14933 8919 0 -1 4202496 57016 0 0 0 377 7 0 0 20 0 1 0 52730288 144965632 28539 33554432000 4194304 4308513 140731667306288 140731667303912 4275779 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 38948864 140731667309231 140731667309742 140731667309742 140731667312581 0
/proc/14949/statm: 35392 28539 353 28 0 31632 0
[pid=14933/tid=14935] ppid=14930 vsize=15683912 memory=288289965417431852 CPUtime=22.83 cores=0,2,4,6
/proc/14933/task/14935/stat : 14935 (java) S 14930 14933 8919 0 -1 1077944384 24017 0 0 0 2232 51 0 0 20 0 19 0 52727954 16060325888 826513 33554432000 4194304 4196468 140727157430768 139829778443264 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14936] ppid=14930 vsize=15683912 memory=-7824251494390848098 CPUtime=0.34 cores=0,2,4,6
/proc/14933/task/14936/stat : 14936 (java) S 14930 14933 8919 0 -1 1077944384 1432 0 0 0 28 6 0 0 20 0 19 0 52727955 16060325888 826513 33554432000 4194304 4196468 140727157430768 139829810846224 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14937] ppid=14930 vsize=15683912 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/14933/task/14937/stat : 14937 (java) S 14930 14933 8919 0 -1 1077944384 400 0 0 0 32 6 0 0 20 0 19 0 52727955 16060325888 826513 33554432000 4194304 4196468 140727157430768 139829267479184 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14938] ppid=14930 vsize=15683912 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/14933/task/14938/stat : 14938 (java) S 14930 14933 8919 0 -1 1077944384 233 0 0 0 31 7 0 0 20 0 19 0 52727955 16060325888 826513 33554432000 4194304 4196468 140727157430768 139829266426128 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14939] ppid=14930 vsize=15683912 memory=7445967979959247976 CPUtime=0.34 cores=0,2,4,6
/proc/14933/task/14939/stat : 14939 (java) S 14930 14933 8919 0 -1 1077944384 227 0 0 0 28 6 0 0 20 0 19 0 52727955 16060325888 826513 33554432000 4194304 4196468 140727157430768 139829265373584 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14940] ppid=14930 vsize=15683912 memory=7157161421194290544 CPUtime=0.02 cores=0,2,4,6
/proc/14933/task/14940/stat : 14940 (java) S 14930 14933 8919 0 -1 1077944384 233 0 0 0 2 0 0 0 20 0 19 0 52727957 16060325888 826513 33554432000 4194304 4196468 140727157430768 139828844813040 139829806615170 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14941] ppid=14930 vsize=15683912 memory=7306316804797196914 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14941/stat : 14941 (java) S 14930 14933 8919 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 52727957 16060325888 826513 33554432000 4194304 4196468 140727157430768 139828364568288 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14942] ppid=14930 vsize=15683912 memory=4640204396461838434 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14942/stat : 14942 (java) S 14930 14933 8919 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 52727958 16060325888 826513 33554432000 4194304 4196468 140727157430768 139828096132352 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14943] ppid=14930 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14943/stat : 14943 (java) S 14930 14933 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52727960 16060325888 826513 33554432000 4194304 4196468 140727157430768 139827721624016 139829806622619 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14944] ppid=14930 vsize=15683912 memory=0 CPUtime=7.33 cores=0,2,4,6
/proc/14933/task/14944/stat : 14944 (java) S 14930 14933 8919 0 -1 1077944384 11636 0 0 0 731 2 0 0 20 0 19 0 52727960 16060325888 826513 33554432000 4194304 4196468 140727157430768 139828843759856 139829806615170 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14945] ppid=14930 vsize=15683912 memory=-7824251494390848098 CPUtime=6.87 cores=0,2,4,6
/proc/14933/task/14945/stat : 14945 (java) S 14930 14933 8919 0 -1 1077944384 13576 0 0 0 685 2 0 0 20 0 19 0 52727960 16060325888 826513 33554432000 4194304 4196468 140727157430768 139828842707312 139829806615170 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14946] ppid=14930 vsize=15683912 memory=91404 CPUtime=1.52 cores=0,2,4,6
/proc/14933/task/14946/stat : 14946 (java) S 14930 14933 8919 0 -1 1077944384 11700 0 0 0 149 3 0 0 20 0 19 0 52727960 16060325888 826513 33554432000 4194304 4196468 140727157430768 139828841654256 139829806615170 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14947] ppid=14930 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14947/stat : 14947 (java) S 14930 14933 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52727960 16060325888 826513 33554432000 4194304 4196468 140727157430768 139827223718240 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14948] ppid=14930 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14948/stat : 14948 (java) S 14930 14933 8919 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 52727962 16060325888 826513 33554432000 4194304 4196468 140727157430768 139828840602672 139829806615170 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14950] ppid=14930 vsize=15683912 memory=2199 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14950/stat : 14950 (java) S 14930 14933 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52730288 16060325888 826513 33554432000 4194304 4196468 140727157430768 139829639939904 139829806628633 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14952] ppid=14930 vsize=15683912 memory=448 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14952/stat : 14952 (java) S 14930 14933 8919 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 52730288 16060325888 826513 33554432000 4194304 4196468 140727157430768 139826686836528 139829806625949 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14953] ppid=14930 vsize=15683912 memory=140363222779026 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14953/stat : 14953 (java) S 14930 14933 8919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 52730288 16060325888 826513 33554432000 4194304 4196468 140727157430768 139826418400688 139829806625949 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14954] ppid=14930 vsize=15683912 memory=8514726395715349656 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14954/stat : 14954 (java) S 14930 14933 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 52730291 16060325888 826513 33554432000 4194304 4196468 140727157430768 139826955279648 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
Current children cumulated CPU time: 43.96 s
Current children cumulated vsize: 15825480 KiB
Current children cumulated memory: 3420208 KiB

[startup+28.001 s]*
/proc/loadavg: 2.20 2.12 2.09 3/226 14954
/proc/meminfo: memFree=12954816/32770624 swapFree=67108860/67108860
[pid=14933] ppid=14930 vsize=15683912 memory=3306052 CPUtime=40.12 cores=0,2,4,6
/proc/14933/stat : 14933 (java) S 14930 14933 8919 0 -1 1077944320 64885 0 0 0 3925 87 0 0 20 0 19 0 52727953 16060325888 826513 33554432000 4194304 4196468 140727157430768 140727157413312 139829806604023 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
/proc/14933/statm: 3920978 826513 3268 1 0 3881834 0
[pid=14949] ppid=14933 vsize=141568 memory=114156 CPUtime=4.65 cores=0,2,4,6
/proc/14949/stat : 14949 (minisat_release) R 14933 14933 8919 0 -1 4202496 57172 0 0 0 458 7 0 0 20 0 1 0 52730288 144965632 28539 33554432000 4194304 4308513 140731667306288 140731667303912 4275873 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 38948864 140731667309231 140731667309742 140731667309742 140731667312581 0
/proc/14949/statm: 35392 28539 353 28 0 31632 0
[pid=14933/tid=14935] ppid=14930 vsize=15683912 memory=-7824251494390848098 CPUtime=22.83 cores=0,2,4,6
/proc/14933/task/14935/stat : 14935 (java) S 14930 14933 8919 0 -1 1077944384 24017 0 0 0 2232 51 0 0 20 0 19 0 52727954 16060325888 826513 33554432000 4194304 4196468 140727157430768 139829778443264 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14936] ppid=14930 vsize=15683912 memory=4126316290023845779 CPUtime=0.34 cores=0,2,4,6
/proc/14933/task/14936/stat : 14936 (java) S 14930 14933 8919 0 -1 1077944384 1432 0 0 0 28 6 0 0 20 0 19 0 52727955 16060325888 826513 33554432000 4194304 4196468 140727157430768 139829810846224 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14937] ppid=14930 vsize=15683912 memory=2856 CPUtime=0.38 cores=0,2,4,6
/proc/14933/task/14937/stat : 14937 (java) S 14930 14933 8919 0 -1 1077944384 400 0 0 0 32 6 0 0 20 0 19 0 52727955 16060325888 826513 33554432000 4194304 4196468 140727157430768 139829267479184 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14938] ppid=14930 vsize=15683912 memory=3306052 CPUtime=0.38 cores=0,2,4,6
/proc/14933/task/14938/stat : 14938 (java) S 14930 14933 8919 0 -1 1077944384 233 0 0 0 31 7 0 0 20 0 19 0 52727955 16060325888 826513 33554432000 4194304 4196468 140727157430768 139829266426128 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14939] ppid=14930 vsize=15683912 memory=111860 CPUtime=0.34 cores=0,2,4,6
/proc/14933/task/14939/stat : 14939 (java) S 14930 14933 8919 0 -1 1077944384 227 0 0 0 28 6 0 0 20 0 19 0 52727955 16060325888 826513 33554432000 4194304 4196468 140727157430768 139829265373584 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14940] ppid=14930 vsize=15683912 memory=-7824251494390848098 CPUtime=0.02 cores=0,2,4,6
/proc/14933/task/14940/stat : 14940 (java) S 14930 14933 8919 0 -1 1077944384 233 0 0 0 2 0 0 0 20 0 19 0 52727957 16060325888 826513 33554432000 4194304 4196468 140727157430768 139828844813040 139829806615170 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14941] ppid=14930 vsize=15683912 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14941/stat : 14941 (java) S 14930 14933 8919 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 52727957 16060325888 826513 33554432000 4194304 4196468 140727157430768 139828364568288 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14942] ppid=14930 vsize=15683912 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14942/stat : 14942 (java) S 14930 14933 8919 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 52727958 16060325888 826513 33554432000 4194304 4196468 140727157430768 139828096132352 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14943] ppid=14930 vsize=15683912 memory=10856 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14943/stat : 14943 (java) S 14930 14933 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52727960 16060325888 826513 33554432000 4194304 4196468 140727157430768 139827721624016 139829806622619 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14944] ppid=14930 vsize=15683912 memory=16444 CPUtime=7.33 cores=0,2,4,6
/proc/14933/task/14944/stat : 14944 (java) S 14930 14933 8919 0 -1 1077944384 11636 0 0 0 731 2 0 0 20 0 19 0 52727960 16060325888 826513 33554432000 4194304 4196468 140727157430768 139828843759856 139829806615170 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14945] ppid=14930 vsize=15683912 memory=8384 CPUtime=6.87 cores=0,2,4,6
/proc/14933/task/14945/stat : 14945 (java) S 14930 14933 8919 0 -1 1077944384 13576 0 0 0 685 2 0 0 20 0 19 0 52727960 16060325888 826513 33554432000 4194304 4196468 140727157430768 139828842707312 139829806615170 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14946] ppid=14930 vsize=15683912 memory=14008 CPUtime=1.52 cores=0,2,4,6
/proc/14933/task/14946/stat : 14946 (java) S 14930 14933 8919 0 -1 1077944384 11700 0 0 0 149 3 0 0 20 0 19 0 52727960 16060325888 826513 33554432000 4194304 4196468 140727157430768 139828841654256 139829806615170 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14947] ppid=14930 vsize=15683912 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14947/stat : 14947 (java) S 14930 14933 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52727960 16060325888 826513 33554432000 4194304 4196468 140727157430768 139827223718240 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14948] ppid=14930 vsize=15683912 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14948/stat : 14948 (java) S 14930 14933 8919 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 52727962 16060325888 826513 33554432000 4194304 4196468 140727157430768 139828840602672 139829806615170 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14950] ppid=14930 vsize=15683912 memory=5524 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14950/stat : 14950 (java) S 14930 14933 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52730288 16060325888 826513 33554432000 4194304 4196468 140727157430768 139829639939904 139829806628633 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14952] ppid=14930 vsize=15683912 memory=3248 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14952/stat : 14952 (java) S 14930 14933 8919 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 52730288 16060325888 826513 33554432000 4194304 4196468 140727157430768 139826686836528 139829806625949 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14953] ppid=14930 vsize=15683912 memory=4620 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14953/stat : 14953 (java) S 14930 14933 8919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 52730288 16060325888 826513 33554432000 4194304 4196468 140727157430768 139826418400688 139829806625949 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14954] ppid=14930 vsize=15683912 memory=796 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14954/stat : 14954 (java) S 14930 14933 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 52730291 16060325888 826513 33554432000 4194304 4196468 140727157430768 139826955279648 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
Current children cumulated CPU time: 44.77 s
Current children cumulated vsize: 15825480 KiB
Current children cumulated memory: 3420208 KiB

[startup+28.4042 s]
/proc/loadavg: 2.20 2.12 2.09 3/226 14954
/proc/meminfo: memFree=12954816/32770624 swapFree=67108860/67108860
[pid=14933] ppid=14930 vsize=15683912 memory=3306052 CPUtime=40.14 cores=0,2,4,6
/proc/14933/stat : 14933 (java) S 14930 14933 8919 0 -1 1077944320 64904 0 0 0 3927 87 0 0 20 0 19 0 52727953 16060325888 826513 33554432000 4194304 4196468 140727157430768 140727157413312 139829806604023 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
/proc/14933/statm: 3920978 826513 3268 1 0 3881834 0
[pid=14949] ppid=14933 vsize=141568 memory=114356 CPUtime=5.05 cores=0,2,4,6
/proc/14949/stat : 14949 (minisat_release) R 14933 14933 8919 0 -1 4202496 71747 0 0 0 497 8 0 0 20 0 1 0 52730288 144965632 28589 33554432000 4194304 4308513 140731667306288 140731667302200 139965184527456 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 38948864 140731667309231 140731667309742 140731667309742 140731667312581 0
/proc/14949/statm: 35392 28589 353 28 0 31632 0
[pid=14933/tid=14935] ppid=14930 vsize=15683912 memory=6791534058613427641 CPUtime=22.83 cores=0,2,4,6
/proc/14933/task/14935/stat : 14935 (java) S 14930 14933 8919 0 -1 1077944384 24017 0 0 0 2232 51 0 0 20 0 19 0 52727954 16060325888 826513 33554432000 4194304 4196468 140727157430768 139829778443264 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14936] ppid=14930 vsize=15683912 memory=3306052 CPUtime=0.34 cores=0,2,4,6
/proc/14933/task/14936/stat : 14936 (java) S 14930 14933 8919 0 -1 1077944384 1432 0 0 0 28 6 0 0 20 0 19 0 52727955 16060325888 826513 33554432000 4194304 4196468 140727157430768 139829810846224 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14937] ppid=14930 vsize=15683912 memory=111860 CPUtime=0.38 cores=0,2,4,6
/proc/14933/task/14937/stat : 14937 (java) S 14930 14933 8919 0 -1 1077944384 400 0 0 0 32 6 0 0 20 0 19 0 52727955 16060325888 826513 33554432000 4194304 4196468 140727157430768 139829267479184 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14938] ppid=14930 vsize=15683912 memory=8298058106680606485 CPUtime=0.38 cores=0,2,4,6
/proc/14933/task/14938/stat : 14938 (java) S 14930 14933 8919 0 -1 1077944384 233 0 0 0 31 7 0 0 20 0 19 0 52727955 16060325888 826513 33554432000 4194304 4196468 140727157430768 139829266426128 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14939] ppid=14930 vsize=15683912 memory=-7824251494390848098 CPUtime=0.34 cores=0,2,4,6
/proc/14933/task/14939/stat : 14939 (java) S 14930 14933 8919 0 -1 1077944384 227 0 0 0 28 6 0 0 20 0 19 0 52727955 16060325888 826513 33554432000 4194304 4196468 140727157430768 139829265373584 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14940] ppid=14930 vsize=15683912 memory=960 CPUtime=0.02 cores=0,2,4,6
/proc/14933/task/14940/stat : 14940 (java) S 14930 14933 8919 0 -1 1077944384 233 0 0 0 2 0 0 0 20 0 19 0 52727957 16060325888 826513 33554432000 4194304 4196468 140727157430768 139828844813040 139829806615170 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14941] ppid=14930 vsize=15683912 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14941/stat : 14941 (java) S 14930 14933 8919 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 52727957 16060325888 826513 33554432000 4194304 4196468 140727157430768 139828364568288 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14942] ppid=14930 vsize=15683912 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14942/stat : 14942 (java) S 14930 14933 8919 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 52727958 16060325888 826513 33554432000 4194304 4196468 140727157430768 139828096132352 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14943] ppid=14930 vsize=15683912 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14943/stat : 14943 (java) S 14930 14933 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52727960 16060325888 826513 33554432000 4194304 4196468 140727157430768 139827721624016 139829806622619 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14944] ppid=14930 vsize=15683912 memory=4132 CPUtime=7.34 cores=0,2,4,6
/proc/14933/task/14944/stat : 14944 (java) R 14930 14933 8919 0 -1 4202560 11642 0 0 0 732 2 0 0 20 0 19 0 52727960 16060325888 826513 33554432000 4194304 4196468 140727157430768 139828843759856 139829787304815 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14945] ppid=14930 vsize=15683912 memory=928 CPUtime=6.88 cores=0,2,4,6
/proc/14933/task/14945/stat : 14945 (java) R 14930 14933 8919 0 -1 4202560 13576 0 0 0 686 2 0 0 20 0 19 0 52727960 16060325888 826513 33554432000 4194304 4196468 140727157430768 139828842707312 139829787350818 0 4 0 25189583 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14946] ppid=14930 vsize=15683912 memory=1572 CPUtime=1.53 cores=0,2,4,6
/proc/14933/task/14946/stat : 14946 (java) R 14930 14933 8919 0 -1 4202560 11702 0 0 0 150 3 0 0 20 0 19 0 52727960 16060325888 826513 33554432000 4194304 4196468 140727157430768 139828841654256 139829785402536 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14947] ppid=14930 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14947/stat : 14947 (java) S 14930 14933 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52727960 16060325888 826513 33554432000 4194304 4196468 140727157430768 139827223718240 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14948] ppid=14930 vsize=15683912 memory=50948 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14948/stat : 14948 (java) S 14930 14933 8919 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 52727962 16060325888 826513 33554432000 4194304 4196468 140727157430768 139828840602672 139829806615170 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14950] ppid=14930 vsize=15683912 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14950/stat : 14950 (java) S 14930 14933 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52730288 16060325888 826513 33554432000 4194304 4196468 140727157430768 139829639939904 139829806628633 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14952] ppid=14930 vsize=15683912 memory=3303780 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14952/stat : 14952 (java) S 14930 14933 8919 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 52730288 16060325888 826513 33554432000 4194304 4196468 140727157430768 139826686836528 139829806625949 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14953] ppid=14930 vsize=15683912 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14953/stat : 14953 (java) S 14930 14933 8919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 52730288 16060325888 826513 33554432000 4194304 4196468 140727157430768 139826418400688 139829806625949 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
[pid=14933/tid=14954] ppid=14930 vsize=15683912 memory=960 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14954/stat : 14954 (java) S 14930 14933 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 52730291 16060325888 826513 33554432000 4194304 4196468 140727157430768 139826955279648 139829806614229 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32718848 140727157437428 140727157437705 140727157437705 140727157440463 0
Current children cumulated CPU time: 45.19 s
Current children cumulated vsize: 15825480 KiB
Current children cumulated memory: 3420408 KiB

[startup+28.6007 s]*
/proc/loadavg: 2.20 2.12 2.09 3/208 14954
/proc/meminfo: memFree=13091824/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): 28.62
CPU time (s): 45.7194
CPU user time (s): 44.7155
CPU system time (s): 1.00385
CPU usage (%): 159.746
Max. virtual memory (cumulated for all children) (KiB): 15846924
Max. memory (cumulated for all children) (KiB): 3444764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.7155
system time used= 1.00385
maximum resident set size= 3318948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137301
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6139
involuntary context switches= 130


# summary of solver processes directly reported to runsolver:
#   pid: 14933
#   total CPU time (s): 45.7194
#   total CPU user time (s): 44.7155
#   total CPU system time (s): 1.00385

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.190635 second user time and 0.339975 second system time

The end

Launcher Data 

Begin job on node102 at 2018-07-23 15:14:08
IDJOB=4294104
IDBENCH=141330
IDSOLVER=2755
FILE ID=node102/4294104-1532351648
RUNJOBID= node102-1532330044-8950
PBS_JOBID= 21019000
Free space on /tmp= 53240 MiB

SOLVER NAME= scop both+MapleCOMSPS (2018-06-13)
BENCH NAME= XCSP18/Bibd/Bibd-sum-10-03-08_c18.xml
COMMAND LINE= java -Xms11g -Xmx11g -Xss128m -jar DIR/scop.jar -both -solver DIR/minisat_release -solverOption mapleTune01 -tmp TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294104-1532351648/watcher-4294104-1532351648 -o /tmp/evaluation-result-4294104-1532351648/solver-4294104-1532351648 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8950 --watchdog 2580  java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294104-1532351648.xml

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

MD5SUM BENCH= 6905926ecf5563edf040969d33d8e2ad
RANDOM SEED=429407857

node102.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.51
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.51
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.51
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.51
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:        16376744 kB
MemAvailable:   31607808 kB
Buffers:          257956 kB
Cached:         15060340 kB
SwapCached:            0 kB
Active:          1873460 kB
Inactive:       13828652 kB
Active(anon):     386620 kB
Inactive(anon):    16888 kB
Active(file):    1486840 kB
Inactive(file): 13811764 kB
Unevictable:        6604 kB
Mlocked:            6604 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7888 kB
Writeback:             0 kB
AnonPages:        222092 kB
Mapped:            49404 kB
Shmem:             17036 kB
Slab:             389448 kB
SReclaimable:     360920 kB
SUnreclaim:        28528 kB
KernelStack:        3968 kB
PageTables:         5916 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   13514716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 53232 MiB
End job on node102 at 2018-07-23 15:14:37