Trace number 4297126

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop both+glucose-syrup (2018-07-07)SAT 39.1563 21.9424

General information on the benchmark

NameBibd/
Bibd-sum-09-03-09_c18.xml
MD5SUM8720a51077744f6e775f5d31127f86ee
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 benchmark12.7974
Satisfiable
(Un)Satisfiability was proved
Number of variables972
Number of constraints154
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":972}]
Minimum variable degree11
Maximum variable degree11
Distribution of variable degrees[{"degree":11,"count":972}]
Minimum constraint arity9
Maximum constraint arity972
Distribution of constraint arities[{"arity":9,"count":108},{"arity":108,"count":9},{"arity":216,"count":36},{"arity":972,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":153}]
Optimization problemNO
Type of objective

Solver Data 

0.65/0.53	
0.65/0.53	scop both+glucose-syrup (2018-07-07)
0.65/0.53	
0.65/0.55	c BEGIN-Prog: Fri Jul 27 02:35:15 CEST 2018
0.65/0.55	c PID: 10397
0.65/0.55	c IP: 172.20.3.138
0.65/0.55	c HOST: node138.alineos.net
0.65/0.56	c (0,0) Parsing Begin
2.05/1.15	c (0,0) Parsing End
2.05/1.16	c (0,0) CSP: 0 int (0 aux), 972 bool (0 aux), 154 ctr, max domain size 2
2.05/1.16	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.05/1.16	c (0,0) Constraint Name Generate Begin
2.05/1.17	c (0,0) Ctr:HOME/instance-4297126-1532651714.xml,IntVar:LexMatrix:Num:WeightedSum
2.05/1.17	c (0,0) Constraint Name Generate End
2.05/1.17	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.05/1.17	c (0,0) CSP to CSPinCNF Begin
3.25/1.45	c (0,0) translated 16 (10%) constraints
3.25/1.46	c (0,0) translated 31 (20%) constraints
3.25/1.47	c (0,0) translated 47 (30%) constraints
3.25/1.47	c (0,0) translated 62 (40%) constraints
3.25/1.48	c (0,0) translated 77 (50%) constraints
3.25/1.49	c (0,0) translated 93 (60%) constraints
3.25/1.50	c (0,0) translated 108 (70%) constraints
4.94/1.98	c (1,1) translated 124 (80%) constraints
7.26/2.55	c (2,2) translated 139 (90%) constraints
8.34/2.97	c (2,2) translated 154 (100%) constraints
21.35/13.44	c (12,12) STATISTICS1:HOME/instance-4297126-1532651714.xml,IntVar:LexMatrix:Num:WeightedSum,10345,19129,9223372036854775807,2,4,108,9223372036854775807:90;256:216;2:3539,2:52693,4:1597;3:7891;2:9373;1:268,108:90;9:216;2:3539;1:43671,5184:90
21.35/13.44	c (12,12) ===========================================
21.35/13.44	c (12,12) Both Encoding selects:
21.35/13.44	c (12,12) Order
21.35/13.44	c (12,12) ===========================================
22.71/13.71	c (13,13) translated 1913 (10%) constraints
23.11/13.82	c (13,13) translated 3826 (20%) constraints
23.52/13.93	c (13,13) translated 5739 (30%) constraints
23.96/14.04	c (13,13) translated 7652 (40%) constraints
24.36/14.17	c (13,13) translated 9565 (50%) constraints
24.63/14.25	c (13,13) translated 11478 (60%) constraints
24.78/14.33	c (13,13) translated 13391 (70%) constraints
24.94/14.41	c (13,13) translated 15304 (80%) constraints
25.32/14.55	c (14,13) translated 17217 (90%) constraints
25.79/14.62	c (14,13) translated 19129 (100%) constraints
25.79/14.62	c (14,13) CSP to CSPinCNF End
25.79/14.63	c (14,13) CSP: 945 int (945 aux), 14233 bool (13261 aux), 28948 ctr, max domain size 37
25.79/14.63	c (14,13) Heap : 184 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
25.79/14.63	c (14,13) CSPinCNF Propagation Begin
26.54/14.84	c (14,14) 0 values, 3888 unsatisfiable literals, and 3888 valid clauses are removed
26.54/14.84	c (14,14) CSPinCNF Propagation End
26.54/14.84	c (14,14) CSP: 945 int (945 aux), 14233 bool (13261 aux), 25060 ctr, max domain size 37
26.54/14.84	c (14,14) Heap : 295 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
26.54/14.84	c (14,14) Simplify CSPinCNF Begin
26.85/14.98	c (14,14) Simplify CSPinCNF End
26.85/14.99	c (14,14) CSP: 945 int (945 aux), 17772 bool (16800 aux), 28599 ctr, max domain size 37
26.85/14.99	c (14,14) Heap : 331 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
26.85/14.99	c (14,14) Calculate Precise Domain Begin
27.09/15.06	c (14,14) 0 values are removed by re-calculation
27.09/15.06	c (14,14) Calculate Precise Domain End
27.09/15.06	c (14,14) CSP: 945 int (945 aux), 17772 bool (16800 aux), 28599 ctr, max domain size 37
27.09/15.06	c (14,14) Heap : 331 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
27.09/15.06	c (14,14) CSPinCNF to SatSolver Begin
30.07/16.24	c (15,15) 2860 (10 %) CSP clauses are encoded (27492 SAT variables, 234862 SAT clauses)
30.36/16.50	c (15,15) 5720 (20 %) CSP clauses are encoded (27492 SAT variables, 304222 SAT clauses)
30.69/16.74	c (16,16) 8580 (30 %) CSP clauses are encoded (27492 SAT variables, 373582 SAT clauses)
30.89/16.97	c (16,16) 11440 (40 %) CSP clauses are encoded (27492 SAT variables, 442942 SAT clauses)
31.18/17.21	c (16,16) 14300 (50 %) CSP clauses are encoded (27492 SAT variables, 512302 SAT clauses)
31.38/17.45	c (16,16) 17160 (60 %) CSP clauses are encoded (27492 SAT variables, 581662 SAT clauses)
31.59/17.69	c (17,17) 20020 (70 %) CSP clauses are encoded (27492 SAT variables, 651022 SAT clauses)
31.81/17.81	c (17,17) 22880 (80 %) CSP clauses are encoded (27492 SAT variables, 681102 SAT clauses)
32.01/17.94	c (17,17) 25740 (90 %) CSP clauses are encoded (27492 SAT variables, 685379 SAT clauses)
32.01/17.94	c (17,17) 28599 (100 %) CSP clauses are encoded (27492 SAT variables, 689625 SAT clauses)
32.01/17.94	c (17,17) CSPinCNF to SatSolver End
32.01/17.94	c (17,17) Heap : 2658 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
32.38/18.06	c (17,17) STATISTICS2:HOME/instance-4297126-1532651714.xml,IntVar:LexMatrix:Num:WeightedSum,18717,28599,1369,37,4,10,1369:18;512:1080;361:54;256:216;100:828;2:5251,37:108;19:216;10:3456;2:76803,4:1597;3:4003;2:20688;1:2311,10:1080;9:216;3:900;2:5251;1:54637,
32.38/18.06	c (17,17) SatSolver.solve Begin
32.38/18.06	c (17,17) 27492 bool, 689626 clause
32.38/18.06	c (17,17) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297126-1532651714.xml-scop-10397.cnf HOME/instance-4297126-1532651714.xml-scop-10397.cnf.out
38.63/21.81	c (21,0) c
38.63/21.81	c (21,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
38.63/21.81	c (21,0) c
38.63/21.81	c (21,0) c WARNING: for repeatability, setting FPU to use double precision
38.63/21.81	c (21,0) c 8 solvers engines and 1 companion as a blackboard created.
38.63/21.81	c (21,0) c ========================================[ Problem Statistics ]===========================================
38.63/21.81	c (21,0) c |                                                                                                       |
38.63/21.81	c (21,0) c |  Number of variables:         27492                                                                   |
38.63/21.81	c (21,0) c |  Number of clauses:          689626                                                                   |
38.63/21.81	c (21,0) c |  Parse time:                   0.26 s                                                                 |
38.63/21.81	c (21,0) c |                                                                                                       |
38.63/21.81	c (21,0) c |  Eliminated clauses:           0.29 Mb                                                                |
38.63/21.81	c (21,0) c |  Simplification time:          2.81 s                                                                 |
38.63/21.81	c (21,0) c |                                                                                                       |
38.63/21.81	c (21,0) c |  Generating clones                                                                                    |
38.63/21.81	c (21,0) c |  all clones generated. Memory = 441.39Mb.                                                             |
38.63/21.81	c (21,0) c ========================================================================================================|
38.63/21.81	c (21,0) c last restart ## conflicts  :  164 487 
38.63/21.81	c (21,0) c Thread 3 is 100% pure glucose! First thread to finish! (SAT answer).
38.63/21.81	c (21,0) c Total Memory so far : 1072.98Mb
38.63/21.81	c (21,0) c
38.63/21.81	c (21,0) c real time : 3.73076 s
38.63/21.81	c (21,0) c cpu time  : 4.37009 s
38.63/21.81	c (21,0) c
38.63/21.81	c (21,0) c
38.63/21.81	c (21,0) c
38.63/21.81	c (21,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
38.63/21.81	c (21,0) c
38.63/21.81	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
38.63/21.81	c (21,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
38.63/21.81	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
38.63/21.81	c (21,0) c | Conflicts     |            1796 |        180 |        185 |        229 |        236 |        229 |        272 |        236 |        229 |
38.63/21.81	c (21,0) c | Decisions     |           23244 |       3765 |       2965 |       2546 |       3265 |       2546 |       2712 |       2571 |       2874 |
38.63/21.81	c (21,0) c | Propagations  |         1074375 |     104650 |     136874 |     129590 |     137876 |     129590 |     161474 |     132409 |     141912 |
38.63/21.81	c (21,0) c | Avg_Trail     |                 |       7360 |       8804 |       8447 |      10118 |       8447 |       9565 |       8431 |      10083 |
38.63/21.81	c (21,0) c | Avg_DL        |                 |        165 |        519 |        414 |        435 |        414 |        376 |        403 |        456 |
38.63/21.81	c (21,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
38.63/21.81	c (21,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
38.63/21.81	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
38.63/21.81	c (21,0) c | Exported      |              79 |         13 |          9 |          9 |          9 |          9 |         11 |          9 |         10 |
38.63/21.81	c (21,0) c | Imported      |             353 |         60 |         32 |         58 |         30 |         57 |         29 |         57 |         30 |
38.63/21.81	c (21,0) c | Good          |             100 |         17 |          8 |         18 |          7 |         18 |          7 |         18 |          7 |
38.63/21.81	c (21,0) c | Purge         |             253 |         43 |         24 |         40 |         23 |         39 |         22 |         39 |         23 |
38.63/21.81	c (21,0) c | Promoted      |               4 |          0 |          1 |          1 |          0 |          1 |          0 |          0 |          1 |
38.63/21.81	c (21,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
38.63/21.81	c (21,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
38.63/21.81	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
38.63/21.81	c (21,0) c | Unaries       |                 |         13 |          4 |          5 |          4 |          5 |          5 |          5 |          4 |
38.63/21.81	c (21,0) c | Binaries      |                 |          3 |          4 |          3 |          4 |          3 |          2 |          3 |          4 |
38.63/21.81	c (21,0) c | Glues         |                 |         13 |          9 |          9 |          9 |          9 |         11 |          9 |         10 |
38.63/21.81	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
38.63/21.81	c (21,0) c | Orig_Seen     |             0 % |       2095 |       2577 |       2295 |       3495 |       2295 |       3208 |       2398 |       3053 |
38.63/21.81	c (21,0) c | Diff Orig seen|                 | -     1400 | -      918 | -     1200 |      X     | -     1200 | -      287 | -     1097 | -      442 |
38.63/21.81	c (21,0) c | Hamming       |             5 % |       1793 |       1318 |       1512 |      X     |       1512 |       1370 |       1532 |       1221 |
38.63/21.81	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
38.63/21.81	c (21,0) 
38.63/21.81	c (21,0) s SATISFIABLE
38.63/21.85	c (21,17) SatSolver.solve End
38.63/21.85	c (21,17) Heap : 2994 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
38.63/21.85	c (21,17) Show results Begin
38.63/21.88	c (21,17) x[0][0] = 0
38.63/21.88	c (21,17) x[0][1] = 0
38.63/21.88	c (21,17) x[0][2] = 0
38.63/21.88	c (21,17) x[0][3] = 0
38.63/21.88	c (21,17) x[0][4] = 0
38.63/21.88	c (21,17) x[0][5] = 0
38.63/21.88	c (21,17) x[0][6] = 0
38.63/21.88	c (21,17) x[0][7] = 0
38.63/21.88	c (21,17) x[0][8] = 0
38.63/21.88	c (21,17) x[0][9] = 0
38.63/21.88	c (21,17) x[0][10] = 0
38.63/21.88	c (21,17) x[0][11] = 0
38.63/21.88	c (21,17) x[0][12] = 0
38.63/21.88	c (21,17) x[0][13] = 0
38.63/21.88	c (21,17) x[0][14] = 0
38.63/21.88	c (21,17) x[0][15] = 0
38.63/21.88	c (21,17) x[0][16] = 0
38.63/21.88	c (21,17) x[0][17] = 0
38.63/21.88	c (21,17) x[0][18] = 0
38.63/21.88	c (21,17) x[0][19] = 0
38.63/21.88	c (21,17) x[0][20] = 0
38.63/21.88	c (21,17) x[0][21] = 0
38.63/21.88	c (21,17) x[0][22] = 0
38.63/21.88	c (21,17) x[0][23] = 0
38.63/21.88	c (21,17) x[0][24] = 0
38.63/21.88	c (21,17) x[0][25] = 0
38.63/21.88	c (21,17) x[0][26] = 0
38.63/21.88	c (21,17) x[0][27] = 0
38.63/21.88	c (21,17) x[0][28] = 0
38.63/21.88	c (21,17) x[0][29] = 0
38.63/21.88	c (21,17) x[0][30] = 0
38.63/21.88	c (21,17) x[0][31] = 0
38.63/21.88	c (21,17) x[0][32] = 0
38.63/21.88	c (21,17) x[0][33] = 0
38.63/21.88	c (21,17) x[0][34] = 0
38.63/21.88	c (21,17) x[0][35] = 0
38.63/21.88	c (21,17) x[0][36] = 0
38.63/21.88	c (21,17) x[0][37] = 0
38.63/21.88	c (21,17) x[0][38] = 0
38.63/21.88	c (21,17) x[0][39] = 0
38.63/21.88	c (21,17) x[0][40] = 0
38.63/21.88	c (21,17) x[0][41] = 0
38.63/21.88	c (21,17) x[0][42] = 0
38.63/21.88	c (21,17) x[0][43] = 0
38.63/21.88	c (21,17) x[0][44] = 0
38.63/21.88	c (21,17) x[0][45] = 0
38.63/21.88	c (21,17) x[0][46] = 0
38.63/21.88	c (21,17) x[0][47] = 0
38.63/21.88	c (21,17) x[0][48] = 0
38.63/21.88	c (21,17) x[0][49] = 0
38.63/21.88	c (21,17) x[0][50] = 0
38.63/21.88	c (21,17) x[0][51] = 0
38.63/21.88	c (21,17) x[0][52] = 0
38.63/21.88	c (21,17) x[0][53] = 0
38.63/21.88	c (21,17) x[0][54] = 0
38.63/21.88	c (21,17) x[0][55] = 0
38.63/21.88	c (21,17) x[0][56] = 0
38.63/21.88	c (21,17) x[0][57] = 0
38.63/21.88	c (21,17) x[0][58] = 0
38.63/21.88	c (21,17) x[0][59] = 0
38.63/21.88	c (21,17) x[0][60] = 0
38.63/21.88	c (21,17) x[0][61] = 0
38.63/21.88	c (21,17) x[0][62] = 0
38.63/21.88	c (21,17) x[0][63] = 0
38.63/21.88	c (21,17) x[0][64] = 0
38.63/21.88	c (21,17) x[0][65] = 0
38.63/21.88	c (21,17) x[0][66] = 0
38.63/21.88	c (21,17) x[0][67] = 0
38.63/21.88	c (21,17) x[0][68] = 0
38.63/21.88	c (21,17) x[0][69] = 0
38.63/21.88	c (21,17) x[0][70] = 0
38.63/21.88	c (21,17) x[0][71] = 0
38.63/21.88	c (21,17) x[0][72] = 1
38.63/21.88	c (21,17) x[0][73] = 1
38.63/21.88	c (21,17) x[0][74] = 1
38.63/21.88	c (21,17) x[0][75] = 1
38.63/21.88	c (21,17) x[0][76] = 1
38.63/21.88	c (21,17) x[0][77] = 1
38.63/21.88	c (21,17) x[0][78] = 1
38.63/21.88	c (21,17) x[0][79] = 1
38.63/21.88	c (21,17) x[0][80] = 1
38.63/21.88	c (21,17) x[0][81] = 1
38.63/21.88	c (21,17) x[0][82] = 1
38.63/21.88	c (21,17) x[0][83] = 1
38.63/21.88	c (21,17) x[0][84] = 1
38.63/21.88	c (21,17) x[0][85] = 1
38.63/21.88	c (21,17) x[0][86] = 1
38.63/21.88	c (21,17) x[0][87] = 1
38.63/21.88	c (21,17) x[0][88] = 1
38.63/21.88	c (21,17) x[0][89] = 1
38.63/21.88	c (21,17) x[0][90] = 1
38.63/21.88	c (21,17) x[0][91] = 1
38.63/21.88	c (21,17) x[0][92] = 1
38.63/21.88	c (21,17) x[0][93] = 1
38.63/21.88	c (21,17) x[0][94] = 1
38.63/21.88	c (21,17) x[0][95] = 1
38.63/21.88	c (21,17) x[0][96] = 1
38.63/21.88	c (21,17) x[0][97] = 1
38.63/21.88	c (21,17) x[0][98] = 1
38.63/21.88	c (21,17) x[0][99] = 1
38.63/21.88	c (21,17) x[0][100] = 1
38.63/21.88	c (21,17) x[0][101] = 1
38.63/21.88	c (21,17) x[0][102] = 1
38.63/21.88	c (21,17) x[0][103] = 1
38.63/21.88	c (21,17) x[0][104] = 1
38.63/21.88	c (21,17) x[0][105] = 1
38.63/21.88	c (21,17) x[0][106] = 1
38.63/21.88	c (21,17) x[0][107] = 1
38.63/21.88	c (21,17) x[1][0] = 0
38.63/21.88	c (21,17) x[1][1] = 0
38.63/21.88	c (21,17) x[1][2] = 0
38.63/21.88	c (21,17) x[1][3] = 0
38.63/21.88	c (21,17) x[1][4] = 0
38.63/21.88	c (21,17) x[1][5] = 0
38.63/21.88	c (21,17) x[1][6] = 0
38.63/21.88	c (21,17) x[1][7] = 0
38.63/21.88	c (21,17) x[1][8] = 0
38.63/21.88	c (21,17) x[1][9] = 0
38.63/21.88	c (21,17) x[1][10] = 0
38.63/21.88	c (21,17) x[1][11] = 0
38.63/21.88	c (21,17) x[1][12] = 0
38.63/21.88	c (21,17) x[1][13] = 0
38.63/21.88	c (21,17) x[1][14] = 0
38.63/21.88	c (21,17) x[1][15] = 0
38.63/21.88	c (21,17) x[1][16] = 0
38.63/21.88	c (21,17) x[1][17] = 0
38.63/21.88	c (21,17) x[1][18] = 0
38.63/21.88	c (21,17) x[1][19] = 0
38.63/21.88	c (21,17) x[1][20] = 0
38.63/21.88	c (21,17) x[1][21] = 0
38.63/21.88	c (21,17) x[1][22] = 0
38.63/21.88	c (21,17) x[1][23] = 0
38.63/21.88	c (21,17) x[1][24] = 0
38.63/21.88	c (21,17) x[1][25] = 0
38.63/21.88	c (21,17) x[1][26] = 0
38.63/21.88	c (21,17) x[1][27] = 0
38.63/21.88	c (21,17) x[1][28] = 0
38.63/21.88	c (21,17) x[1][29] = 0
38.63/21.88	c (21,17) x[1][30] = 0
38.63/21.88	c (21,17) x[1][31] = 0
38.63/21.88	c (21,17) x[1][32] = 0
38.63/21.88	c (21,17) x[1][33] = 0
38.63/21.88	c (21,17) x[1][34] = 0
38.63/21.88	c (21,17) x[1][35] = 0
38.63/21.88	c (21,17) x[1][36] = 0
38.63/21.88	c (21,17) x[1][37] = 0
38.63/21.88	c (21,17) x[1][38] = 0
38.63/21.88	c (21,17) x[1][39] = 0
38.63/21.88	c (21,17) x[1][40] = 0
38.63/21.88	c (21,17) x[1][41] = 0
38.63/21.88	c (21,17) x[1][42] = 0
38.63/21.88	c (21,17) x[1][43] = 0
38.63/21.88	c (21,17) x[1][44] = 0
38.63/21.88	c (21,17) x[1][45] = 1
38.63/21.88	c (21,17) x[1][46] = 1
38.63/21.88	c (21,17) x[1][47] = 1
38.63/21.88	c (21,17) x[1][48] = 1
38.63/21.88	c (21,17) x[1][49] = 1
38.63/21.88	c (21,17) x[1][50] = 1
38.63/21.88	c (21,17) x[1][51] = 1
38.63/21.88	c (21,17) x[1][52] = 1
38.63/21.88	c (21,17) x[1][53] = 1
38.63/21.88	c (21,17) x[1][54] = 1
38.63/21.88	c (21,17) x[1][55] = 1
38.63/21.88	c (21,17) x[1][56] = 1
38.63/21.88	c (21,17) x[1][57] = 1
38.63/21.88	c (21,17) x[1][58] = 1
38.63/21.88	c (21,17) x[1][59] = 1
38.63/21.88	c (21,17) x[1][60] = 1
38.63/21.88	c (21,17) x[1][61] = 1
38.63/21.88	c (21,17) x[1][62] = 1
38.63/21.88	c (21,17) x[1][63] = 1
38.63/21.88	c (21,17) x[1][64] = 1
38.63/21.88	c (21,17) x[1][65] = 1
38.63/21.88	c (21,17) x[1][66] = 1
38.63/21.88	c (21,17) x[1][67] = 1
38.63/21.88	c (21,17) x[1][68] = 1
38.63/21.88	c (21,17) x[1][69] = 1
38.63/21.88	c (21,17) x[1][70] = 1
38.63/21.88	c (21,17) x[1][71] = 1
38.63/21.88	c (21,17) x[1][72] = 0
38.63/21.88	c (21,17) x[1][73] = 0
38.63/21.88	c (21,17) x[1][74] = 0
38.63/21.88	c (21,17) x[1][75] = 0
38.63/21.88	c (21,17) x[1][76] = 0
38.63/21.88	c (21,17) x[1][77] = 0
38.63/21.88	c (21,17) x[1][78] = 0
38.63/21.88	c (21,17) x[1][79] = 0
38.63/21.88	c (21,17) x[1][80] = 0
38.63/21.88	c (21,17) x[1][81] = 0
38.63/21.88	c (21,17) x[1][82] = 0
38.63/21.88	c (21,17) x[1][83] = 0
38.63/21.88	c (21,17) x[1][84] = 0
38.63/21.88	c (21,17) x[1][85] = 0
38.63/21.88	c (21,17) x[1][86] = 0
38.63/21.88	c (21,17) x[1][87] = 0
38.63/21.88	c (21,17) x[1][88] = 0
38.63/21.88	c (21,17) x[1][89] = 0
38.63/21.88	c (21,17) x[1][90] = 0
38.63/21.88	c (21,17) x[1][91] = 0
38.63/21.88	c (21,17) x[1][92] = 0
38.63/21.88	c (21,17) x[1][93] = 0
38.63/21.88	c (21,17) x[1][94] = 0
38.63/21.88	c (21,17) x[1][95] = 0
38.63/21.88	c (21,17) x[1][96] = 0
38.63/21.88	c (21,17) x[1][97] = 0
38.63/21.88	c (21,17) x[1][98] = 0
38.63/21.88	c (21,17) x[1][99] = 1
38.63/21.88	c (21,17) x[1][100] = 1
38.63/21.88	c (21,17) x[1][101] = 1
38.63/21.88	c (21,17) x[1][102] = 1
38.63/21.88	c (21,17) x[1][103] = 1
38.63/21.88	c (21,17) x[1][104] = 1
38.63/21.88	c (21,17) x[1][105] = 1
38.63/21.88	c (21,17) x[1][106] = 1
38.63/21.88	c (21,17) x[1][107] = 1
38.63/21.88	c (21,17) x[2][0] = 0
38.63/21.88	c (21,17) x[2][1] = 0
38.63/21.88	c (21,17) x[2][2] = 0
38.63/21.88	c (21,17) x[2][3] = 0
38.63/21.88	c (21,17) x[2][4] = 0
38.63/21.88	c (21,17) x[2][5] = 0
38.63/21.88	c (21,17) x[2][6] = 0
38.63/21.88	c (21,17) x[2][7] = 0
38.63/21.88	c (21,17) x[2][8] = 0
38.63/21.88	c (21,17) x[2][9] = 0
38.63/21.88	c (21,17) x[2][10] = 0
38.63/21.88	c (21,17) x[2][11] = 0
38.63/21.88	c (21,17) x[2][12] = 0
38.63/21.88	c (21,17) x[2][13] = 0
38.63/21.88	c (21,17) x[2][14] = 0
38.63/21.88	c (21,17) x[2][15] = 0
38.63/21.88	c (21,17) x[2][16] = 0
38.63/21.88	c (21,17) x[2][17] = 0
38.63/21.88	c (21,17) x[2][18] = 0
38.63/21.88	c (21,17) x[2][19] = 1
38.63/21.88	c (21,17) x[2][20] = 1
38.63/21.88	c (21,17) x[2][21] = 1
38.63/21.88	c (21,17) x[2][22] = 1
38.63/21.88	c (21,17) x[2][23] = 1
38.63/21.88	c (21,17) x[2][24] = 1
38.63/21.88	c (21,17) x[2][25] = 1
38.63/21.88	c (21,17) x[2][26] = 1
38.63/21.88	c (21,17) x[2][27] = 1
38.63/21.88	c (21,17) x[2][28] = 1
38.63/21.88	c (21,17) x[2][29] = 1
38.63/21.88	c (21,17) x[2][30] = 1
38.63/21.88	c (21,17) x[2][31] = 1
38.63/21.88	c (21,17) x[2][32] = 1
38.63/21.88	c (21,17) x[2][33] = 1
38.63/21.88	c (21,17) x[2][34] = 1
38.63/21.88	c (21,17) x[2][35] = 1
38.63/21.88	c (21,17) x[2][36] = 1
38.63/21.88	c (21,17) x[2][37] = 1
38.63/21.88	c (21,17) x[2][38] = 1
38.63/21.88	c (21,17) x[2][39] = 1
38.63/21.88	c (21,17) x[2][40] = 1
38.63/21.88	c (21,17) x[2][41] = 1
38.63/21.88	c (21,17) x[2][42] = 1
38.63/21.88	c (21,17) x[2][43] = 1
38.63/21.88	c (21,17) x[2][44] = 1
38.63/21.88	c (21,17) x[2][45] = 0
38.63/21.88	c (21,17) x[2][46] = 0
38.63/21.88	c (21,17) x[2][47] = 0
38.63/21.88	c (21,17) x[2][48] = 0
38.63/21.88	c (21,17) x[2][49] = 0
38.63/21.88	c (21,17) x[2][50] = 0
38.63/21.88	c (21,17) x[2][51] = 0
38.63/21.88	c (21,17) x[2][52] = 0
38.63/21.88	c (21,17) x[2][53] = 0
38.63/21.88	c (21,17) x[2][54] = 0
38.63/21.88	c (21,17) x[2][55] = 0
38.63/21.88	c (21,17) x[2][56] = 0
38.63/21.88	c (21,17) x[2][57] = 0
38.63/21.88	c (21,17) x[2][58] = 0
38.63/21.88	c (21,17) x[2][59] = 0
38.63/21.88	c (21,17) x[2][60] = 0
38.63/21.88	c (21,17) x[2][61] = 0
38.63/21.88	c (21,17) x[2][62] = 0
38.63/21.88	c (21,17) x[2][63] = 0
38.63/21.88	c (21,17) x[2][64] = 0
38.63/21.88	c (21,17) x[2][65] = 0
38.63/21.88	c (21,17) x[2][66] = 0
38.63/21.88	c (21,17) x[2][67] = 0
38.63/21.88	c (21,17) x[2][68] = 0
38.63/21.88	c (21,17) x[2][69] = 0
38.63/21.88	c (21,17) x[2][70] = 0
38.63/21.88	c (21,17) x[2][71] = 1
38.63/21.88	c (21,17) x[2][72] = 0
38.63/21.88	c (21,17) x[2][73] = 0
38.63/21.88	c (21,17) x[2][74] = 0
38.63/21.88	c (21,17) x[2][75] = 0
38.63/21.88	c (21,17) x[2][76] = 0
38.63/21.88	c (21,17) x[2][77] = 0
38.63/21.88	c (21,17) x[2][78] = 0
38.63/21.88	c (21,17) x[2][79] = 0
38.63/21.88	c (21,17) x[2][80] = 0
38.63/21.88	c (21,17) x[2][81] = 0
38.63/21.88	c (21,17) x[2][82] = 0
38.63/21.88	c (21,17) x[2][83] = 0
38.63/21.88	c (21,17) x[2][84] = 0
38.63/21.88	c (21,17) x[2][85] = 0
38.63/21.88	c (21,17) x[2][86] = 0
38.63/21.88	c (21,17) x[2][87] = 0
38.63/21.88	c (21,17) x[2][88] = 0
38.63/21.88	c (21,17) x[2][89] = 0
38.63/21.88	c (21,17) x[2][90] = 0
38.63/21.88	c (21,17) x[2][91] = 0
38.63/21.88	c (21,17) x[2][92] = 0
38.63/21.88	c (21,17) x[2][93] = 0
38.63/21.89	c (21,17) x[2][94] = 0
38.63/21.89	c (21,17) x[2][95] = 0
38.63/21.89	c (21,17) x[2][96] = 0
38.63/21.89	c (21,17) x[2][97] = 0
38.63/21.89	c (21,17) x[2][98] = 1
38.63/21.89	c (21,17) x[2][99] = 0
38.63/21.89	c (21,17) x[2][100] = 1
38.63/21.89	c (21,17) x[2][101] = 1
38.63/21.89	c (21,17) x[2][102] = 1
38.63/21.89	c (21,17) x[2][103] = 1
38.63/21.89	c (21,17) x[2][104] = 1
38.63/21.89	c (21,17) x[2][105] = 1
38.63/21.89	c (21,17) x[2][106] = 1
38.63/21.89	c (21,17) x[2][107] = 1
38.63/21.89	c (21,17) x[3][0] = 0
38.63/21.89	c (21,17) x[3][1] = 0
38.63/21.89	c (21,17) x[3][2] = 0
38.63/21.89	c (21,17) x[3][3] = 0
38.63/21.89	c (21,17) x[3][4] = 0
38.63/21.89	c (21,17) x[3][5] = 0
38.63/21.89	c (21,17) x[3][6] = 0
38.63/21.89	c (21,17) x[3][7] = 0
38.63/21.89	c (21,17) x[3][8] = 0
38.63/21.89	c (21,17) x[3][9] = 1
38.63/21.89	c (21,17) x[3][10] = 1
38.63/21.89	c (21,17) x[3][11] = 1
38.63/21.89	c (21,17) x[3][12] = 1
38.63/21.89	c (21,17) x[3][13] = 1
38.63/21.89	c (21,17) x[3][14] = 1
38.63/21.89	c (21,17) x[3][15] = 1
38.63/21.89	c (21,17) x[3][16] = 1
38.63/21.89	c (21,17) x[3][17] = 1
38.63/21.89	c (21,17) x[3][18] = 1
38.63/21.89	c (21,17) x[3][19] = 0
38.63/21.89	c (21,17) x[3][20] = 0
38.63/21.89	c (21,17) x[3][21] = 0
38.63/21.89	c (21,17) x[3][22] = 0
38.63/21.89	c (21,17) x[3][23] = 0
38.63/21.89	c (21,17) x[3][24] = 0
38.63/21.89	c (21,17) x[3][25] = 0
38.63/21.89	c (21,17) x[3][26] = 0
38.63/21.89	c (21,17) x[3][27] = 0
38.63/21.89	c (21,17) x[3][28] = 0
38.63/21.89	c (21,17) x[3][29] = 0
38.63/21.89	c (21,17) x[3][30] = 0
38.63/21.89	c (21,17) x[3][31] = 0
38.63/21.89	c (21,17) x[3][32] = 0
38.63/21.89	c (21,17) x[3][33] = 0
38.63/21.89	c (21,17) x[3][34] = 0
38.63/21.89	c (21,17) x[3][35] = 0
38.63/21.89	c (21,17) x[3][36] = 0
38.63/21.89	c (21,17) x[3][37] = 1
38.63/21.89	c (21,17) x[3][38] = 1
38.63/21.89	c (21,17) x[3][39] = 1
38.63/21.89	c (21,17) x[3][40] = 1
38.63/21.89	c (21,17) x[3][41] = 1
38.63/21.89	c (21,17) x[3][42] = 1
38.63/21.89	c (21,17) x[3][43] = 1
38.63/21.89	c (21,17) x[3][44] = 1
38.63/21.89	c (21,17) x[3][45] = 0
38.63/21.89	c (21,17) x[3][46] = 0
38.63/21.89	c (21,17) x[3][47] = 0
38.63/21.89	c (21,17) x[3][48] = 0
38.63/21.89	c (21,17) x[3][49] = 0
38.63/21.89	c (21,17) x[3][50] = 0
38.63/21.89	c (21,17) x[3][51] = 0
38.63/21.89	c (21,17) x[3][52] = 0
38.63/21.89	c (21,17) x[3][53] = 0
38.63/21.89	c (21,17) x[3][54] = 0
38.63/21.89	c (21,17) x[3][55] = 0
38.63/21.89	c (21,17) x[3][56] = 0
38.63/21.89	c (21,17) x[3][57] = 0
38.63/21.89	c (21,17) x[3][58] = 0
38.63/21.89	c (21,17) x[3][59] = 0
38.63/21.89	c (21,17) x[3][60] = 0
38.63/21.89	c (21,17) x[3][61] = 0
38.63/21.89	c (21,17) x[3][62] = 0
38.63/21.89	c (21,17) x[3][63] = 1
38.63/21.89	c (21,17) x[3][64] = 1
38.63/21.89	c (21,17) x[3][65] = 1
38.63/21.89	c (21,17) x[3][66] = 1
38.63/21.89	c (21,17) x[3][67] = 1
38.63/21.89	c (21,17) x[3][68] = 1
38.63/21.89	c (21,17) x[3][69] = 1
38.63/21.89	c (21,17) x[3][70] = 1
38.63/21.89	c (21,17) x[3][71] = 1
38.63/21.89	c (21,17) x[3][72] = 0
38.63/21.89	c (21,17) x[3][73] = 0
38.63/21.89	c (21,17) x[3][74] = 0
38.63/21.89	c (21,17) x[3][75] = 0
38.63/21.89	c (21,17) x[3][76] = 0
38.63/21.89	c (21,17) x[3][77] = 0
38.63/21.89	c (21,17) x[3][78] = 0
38.63/21.89	c (21,17) x[3][79] = 0
38.63/21.89	c (21,17) x[3][80] = 0
38.63/21.89	c (21,17) x[3][81] = 0
38.63/21.89	c (21,17) x[3][82] = 0
38.63/21.89	c (21,17) x[3][83] = 0
38.63/21.89	c (21,17) x[3][84] = 0
38.63/21.89	c (21,17) x[3][85] = 0
38.63/21.89	c (21,17) x[3][86] = 0
38.63/21.89	c (21,17) x[3][87] = 0
38.63/21.89	c (21,17) x[3][88] = 0
38.63/21.89	c (21,17) x[3][89] = 1
38.63/21.89	c (21,17) x[3][90] = 1
38.63/21.89	c (21,17) x[3][91] = 1
38.63/21.89	c (21,17) x[3][92] = 1
38.63/21.89	c (21,17) x[3][93] = 1
38.63/21.89	c (21,17) x[3][94] = 1
38.63/21.89	c (21,17) x[3][95] = 1
38.63/21.89	c (21,17) x[3][96] = 1
38.63/21.89	c (21,17) x[3][97] = 1
38.63/21.89	c (21,17) x[3][98] = 0
38.63/21.89	c (21,17) x[3][99] = 0
38.63/21.89	c (21,17) x[3][100] = 0
38.63/21.89	c (21,17) x[3][101] = 0
38.63/21.89	c (21,17) x[3][102] = 0
38.63/21.89	c (21,17) x[3][103] = 0
38.63/21.89	c (21,17) x[3][104] = 0
38.63/21.89	c (21,17) x[3][105] = 0
38.63/21.89	c (21,17) x[3][106] = 0
38.63/21.89	c (21,17) x[3][107] = 0
38.63/21.89	c (21,17) x[4][0] = 0
38.63/21.89	c (21,17) x[4][1] = 0
38.63/21.89	c (21,17) x[4][2] = 0
38.63/21.89	c (21,17) x[4][3] = 1
38.63/21.89	c (21,17) x[4][4] = 1
38.63/21.89	c (21,17) x[4][5] = 1
38.63/21.89	c (21,17) x[4][6] = 1
38.63/21.89	c (21,17) x[4][7] = 1
38.63/21.89	c (21,17) x[4][8] = 1
38.63/21.89	c (21,17) x[4][9] = 0
38.63/21.89	c (21,17) x[4][10] = 0
38.63/21.89	c (21,17) x[4][11] = 0
38.63/21.89	c (21,17) x[4][12] = 0
38.63/21.89	c (21,17) x[4][13] = 0
38.63/21.89	c (21,17) x[4][14] = 0
38.63/21.89	c (21,17) x[4][15] = 0
38.63/21.89	c (21,17) x[4][16] = 1
38.63/21.89	c (21,17) x[4][17] = 1
38.63/21.89	c (21,17) x[4][18] = 1
38.63/21.89	c (21,17) x[4][19] = 0
38.63/21.89	c (21,17) x[4][20] = 0
38.63/21.89	c (21,17) x[4][21] = 0
38.63/21.89	c (21,17) x[4][22] = 0
38.63/21.89	c (21,17) x[4][23] = 0
38.63/21.89	c (21,17) x[4][24] = 0
38.63/21.89	c (21,17) x[4][25] = 0
38.63/21.89	c (21,17) x[4][26] = 0
38.63/21.89	c (21,17) x[4][27] = 0
38.63/21.89	c (21,17) x[4][28] = 0
38.63/21.89	c (21,17) x[4][29] = 0
38.63/21.89	c (21,17) x[4][30] = 0
38.63/21.89	c (21,17) x[4][31] = 0
38.63/21.89	c (21,17) x[4][32] = 0
38.63/21.89	c (21,17) x[4][33] = 0
38.63/21.89	c (21,17) x[4][34] = 1
38.63/21.89	c (21,17) x[4][35] = 1
38.63/21.89	c (21,17) x[4][36] = 1
38.63/21.89	c (21,17) x[4][37] = 0
38.63/21.89	c (21,17) x[4][38] = 0
38.63/21.89	c (21,17) x[4][39] = 1
38.63/21.89	c (21,17) x[4][40] = 1
38.63/21.89	c (21,17) x[4][41] = 1
38.63/21.89	c (21,17) x[4][42] = 1
38.63/21.89	c (21,17) x[4][43] = 1
38.63/21.89	c (21,17) x[4][44] = 1
38.63/21.89	c (21,17) x[4][45] = 0
38.63/21.89	c (21,17) x[4][46] = 0
38.63/21.89	c (21,17) x[4][47] = 0
38.63/21.89	c (21,17) x[4][48] = 0
38.63/21.89	c (21,17) x[4][49] = 0
38.63/21.89	c (21,17) x[4][50] = 0
38.63/21.89	c (21,17) x[4][51] = 0
38.63/21.89	c (21,17) x[4][52] = 0
38.63/21.89	c (21,17) x[4][53] = 0
38.63/21.89	c (21,17) x[4][54] = 1
38.63/21.89	c (21,17) x[4][55] = 1
38.63/21.89	c (21,17) x[4][56] = 1
38.63/21.89	c (21,17) x[4][57] = 1
38.63/21.89	c (21,17) x[4][58] = 1
38.63/21.89	c (21,17) x[4][59] = 1
38.63/21.89	c (21,17) x[4][60] = 1
38.63/21.89	c (21,17) x[4][61] = 1
38.63/21.89	c (21,17) x[4][62] = 1
38.63/21.89	c (21,17) x[4][63] = 0
38.63/21.89	c (21,17) x[4][64] = 0
38.63/21.89	c (21,17) x[4][65] = 0
38.63/21.89	c (21,17) x[4][66] = 0
38.63/21.89	c (21,17) x[4][67] = 0
38.63/21.89	c (21,17) x[4][68] = 0
38.63/21.89	c (21,17) x[4][69] = 0
38.63/21.89	c (21,17) x[4][70] = 0
38.63/21.89	c (21,17) x[4][71] = 0
38.63/21.89	c (21,17) x[4][72] = 0
38.63/21.89	c (21,17) x[4][73] = 0
38.63/21.89	c (21,17) x[4][74] = 0
38.63/21.89	c (21,17) x[4][75] = 0
38.63/21.89	c (21,17) x[4][76] = 0
38.63/21.89	c (21,17) x[4][77] = 0
38.63/21.89	c (21,17) x[4][78] = 0
38.63/21.89	c (21,17) x[4][79] = 0
38.63/21.89	c (21,17) x[4][80] = 1
38.63/21.89	c (21,17) x[4][81] = 1
38.63/21.89	c (21,17) x[4][82] = 1
38.63/21.89	c (21,17) x[4][83] = 1
38.63/21.89	c (21,17) x[4][84] = 1
38.63/21.89	c (21,17) x[4][85] = 1
38.63/21.89	c (21,17) x[4][86] = 1
38.63/21.89	c (21,17) x[4][87] = 1
38.63/21.89	c (21,17) x[4][88] = 1
38.63/21.89	c (21,17) x[4][89] = 0
38.63/21.89	c (21,17) x[4][90] = 0
38.63/21.89	c (21,17) x[4][91] = 0
38.63/21.89	c (21,17) x[4][92] = 0
38.63/21.89	c (21,17) x[4][93] = 0
38.63/21.89	c (21,17) x[4][94] = 0
38.63/21.89	c (21,17) x[4][95] = 0
38.63/21.89	c (21,17) x[4][96] = 0
38.63/21.89	c (21,17) x[4][97] = 0
38.63/21.89	c (21,17) x[4][98] = 0
38.63/21.89	c (21,17) x[4][99] = 0
38.63/21.89	c (21,17) x[4][100] = 0
38.63/21.89	c (21,17) x[4][101] = 0
38.63/21.89	c (21,17) x[4][102] = 0
38.63/21.89	c (21,17) x[4][103] = 0
38.63/21.89	c (21,17) x[4][104] = 0
38.63/21.89	c (21,17) x[4][105] = 0
38.63/21.89	c (21,17) x[4][106] = 0
38.63/21.89	c (21,17) x[4][107] = 0
38.63/21.89	c (21,17) x[5][0] = 0
38.63/21.89	c (21,17) x[5][1] = 0
38.63/21.89	c (21,17) x[5][2] = 1
38.63/21.89	c (21,17) x[5][3] = 0
38.63/21.89	c (21,17) x[5][4] = 1
38.63/21.89	c (21,17) x[5][5] = 1
38.63/21.89	c (21,17) x[5][6] = 1
38.63/21.89	c (21,17) x[5][7] = 1
38.63/21.89	c (21,17) x[5][8] = 1
38.63/21.89	c (21,17) x[5][9] = 0
38.63/21.89	c (21,17) x[5][10] = 0
38.63/21.89	c (21,17) x[5][11] = 0
38.63/21.89	c (21,17) x[5][12] = 0
38.63/21.89	c (21,17) x[5][13] = 1
38.63/21.89	c (21,17) x[5][14] = 1
38.63/21.89	c (21,17) x[5][15] = 1
38.63/21.89	c (21,17) x[5][16] = 0
38.63/21.89	c (21,17) x[5][17] = 0
38.63/21.89	c (21,17) x[5][18] = 1
38.63/21.89	c (21,17) x[5][19] = 0
38.63/21.89	c (21,17) x[5][20] = 0
38.63/21.89	c (21,17) x[5][21] = 0
38.63/21.89	c (21,17) x[5][22] = 0
38.63/21.89	c (21,17) x[5][23] = 0
38.63/21.89	c (21,17) x[5][24] = 0
38.63/21.89	c (21,17) x[5][25] = 0
38.63/21.89	c (21,17) x[5][26] = 0
38.63/21.89	c (21,17) x[5][27] = 1
38.63/21.89	c (21,17) x[5][28] = 1
38.63/21.89	c (21,17) x[5][29] = 1
38.63/21.89	c (21,17) x[5][30] = 1
38.63/21.89	c (21,17) x[5][31] = 1
38.63/21.89	c (21,17) x[5][32] = 1
38.63/21.89	c (21,17) x[5][33] = 1
38.63/21.89	c (21,17) x[5][34] = 0
38.63/21.89	c (21,17) x[5][35] = 1
38.63/21.89	c (21,17) x[5][36] = 1
38.63/21.89	c (21,17) x[5][37] = 0
38.63/21.89	c (21,17) x[5][38] = 0
38.63/21.89	c (21,17) x[5][39] = 0
38.63/21.89	c (21,17) x[5][40] = 0
38.63/21.89	c (21,17) x[5][41] = 0
38.63/21.89	c (21,17) x[5][42] = 0
38.63/21.89	c (21,17) x[5][43] = 0
38.63/21.89	c (21,17) x[5][44] = 0
38.63/21.89	c (21,17) x[5][45] = 0
38.63/21.89	c (21,17) x[5][46] = 0
38.63/21.89	c (21,17) x[5][47] = 1
38.63/21.89	c (21,17) x[5][48] = 1
38.63/21.89	c (21,17) x[5][49] = 1
38.63/21.89	c (21,17) x[5][50] = 1
38.63/21.89	c (21,17) x[5][51] = 1
38.63/21.89	c (21,17) x[5][52] = 1
38.63/21.89	c (21,17) x[5][53] = 1
38.63/21.89	c (21,17) x[5][54] = 0
38.63/21.89	c (21,17) x[5][55] = 0
38.63/21.89	c (21,17) x[5][56] = 0
38.63/21.89	c (21,17) x[5][57] = 0
38.63/21.89	c (21,17) x[5][58] = 0
38.63/21.89	c (21,17) x[5][59] = 0
38.63/21.89	c (21,17) x[5][60] = 0
38.63/21.89	c (21,17) x[5][61] = 0
38.63/21.89	c (21,17) x[5][62] = 1
38.63/21.89	c (21,17) x[5][63] = 0
38.63/21.89	c (21,17) x[5][64] = 0
38.63/21.89	c (21,17) x[5][65] = 0
38.63/21.89	c (21,17) x[5][66] = 0
38.63/21.89	c (21,17) x[5][67] = 0
38.63/21.89	c (21,17) x[5][68] = 0
38.63/21.89	c (21,17) x[5][69] = 0
38.63/21.89	c (21,17) x[5][70] = 0
38.63/21.89	c (21,17) x[5][71] = 0
38.63/21.89	c (21,17) x[5][72] = 0
38.63/21.89	c (21,17) x[5][73] = 0
38.63/21.89	c (21,17) x[5][74] = 0
38.63/21.89	c (21,17) x[5][75] = 0
38.63/21.89	c (21,17) x[5][76] = 0
38.63/21.89	c (21,17) x[5][77] = 1
38.63/21.89	c (21,17) x[5][78] = 1
38.63/21.89	c (21,17) x[5][79] = 1
38.63/21.89	c (21,17) x[5][80] = 0
38.63/21.89	c (21,17) x[5][81] = 0
38.63/21.89	c (21,17) x[5][82] = 0
38.63/21.89	c (21,17) x[5][83] = 0
38.63/21.89	c (21,17) x[5][84] = 0
38.63/21.89	c (21,17) x[5][85] = 0
38.63/21.89	c (21,17) x[5][86] = 0
38.63/21.89	c (21,17) x[5][87] = 0
38.63/21.89	c (21,17) x[5][88] = 0
38.63/21.89	c (21,17) x[5][89] = 0
38.63/21.89	c (21,17) x[5][90] = 0
38.63/21.89	c (21,17) x[5][91] = 0
38.63/21.89	c (21,17) x[5][92] = 0
38.63/21.89	c (21,17) x[5][93] = 1
38.63/21.89	c (21,17) x[5][94] = 1
38.63/21.89	c (21,17) x[5][95] = 1
38.63/21.89	c (21,17) x[5][96] = 1
38.63/21.89	c (21,17) x[5][97] = 1
38.63/21.89	c (21,17) x[5][98] = 0
38.63/21.89	c (21,17) x[5][99] = 1
38.63/21.89	c (21,17) x[5][100] = 0
38.63/21.89	c (21,17) x[5][101] = 0
38.63/21.89	c (21,17) x[5][102] = 0
38.63/21.89	c (21,17) x[5][103] = 0
38.63/21.89	c (21,17) x[5][104] = 0
38.63/21.89	c (21,17) x[5][105] = 0
38.63/21.89	c (21,17) x[5][106] = 0
38.63/21.89	c (21,17) x[5][107] = 0
38.63/21.89	c (21,17) x[6][0] = 1
38.63/21.89	c (21,17) x[6][1] = 1
38.63/21.89	c (21,17) x[6][2] = 0
38.63/21.89	c (21,17) x[6][3] = 1
38.63/21.89	c (21,17) x[6][4] = 0
38.63/21.89	c (21,17) x[6][5] = 0
38.63/21.89	c (21,17) x[6][6] = 0
38.63/21.89	c (21,17) x[6][7] = 1
38.63/21.89	c (21,17) x[6][8] = 1
38.63/21.89	c (21,17) x[6][9] = 1
38.63/21.89	c (21,17) x[6][10] = 1
38.63/21.89	c (21,17) x[6][11] = 1
38.63/21.89	c (21,17) x[6][12] = 1
38.63/21.89	c (21,17) x[6][13] = 0
38.63/21.89	c (21,17) x[6][14] = 0
38.63/21.89	c (21,17) x[6][15] = 0
38.63/21.89	c (21,17) x[6][16] = 0
38.63/21.89	c (21,17) x[6][17] = 1
38.63/21.89	c (21,17) x[6][18] = 0
38.63/21.89	c (21,17) x[6][19] = 0
38.63/21.89	c (21,17) x[6][20] = 1
38.63/21.89	c (21,17) x[6][21] = 1
38.63/21.89	c (21,17) x[6][22] = 1
38.63/21.89	c (21,17) x[6][23] = 1
38.63/21.89	c (21,17) x[6][24] = 1
38.63/21.89	c (21,17) x[6][25] = 1
38.63/21.89	c (21,17) x[6][26] = 1
38.63/21.89	c (21,17) x[6][27] = 0
38.63/21.89	c (21,17) x[6][28] = 0
38.63/21.89	c (21,17) x[6][29] = 0
38.63/21.89	c (21,17) x[6][30] = 0
38.63/21.89	c (21,17) x[6][31] = 0
38.63/21.89	c (21,17) x[6][32] = 0
38.63/21.89	c (21,17) x[6][33] = 0
38.63/21.89	c (21,17) x[6][34] = 1
38.63/21.89	c (21,17) x[6][35] = 0
38.63/21.89	c (21,17) x[6][36] = 0
38.63/21.89	c (21,17) x[6][37] = 0
38.63/21.89	c (21,17) x[6][38] = 0
38.63/21.89	c (21,17) x[6][39] = 0
38.63/21.89	c (21,17) x[6][40] = 0
38.63/21.89	c (21,17) x[6][41] = 0
38.63/21.89	c (21,17) x[6][42] = 0
38.63/21.89	c (21,17) x[6][43] = 0
38.63/21.89	c (21,17) x[6][44] = 0
38.63/21.89	c (21,17) x[6][45] = 0
38.63/21.89	c (21,17) x[6][46] = 0
38.63/21.89	c (21,17) x[6][47] = 1
38.63/21.89	c (21,17) x[6][48] = 1
38.63/21.89	c (21,17) x[6][49] = 1
38.63/21.89	c (21,17) x[6][50] = 1
38.63/21.89	c (21,17) x[6][51] = 1
38.63/21.89	c (21,17) x[6][52] = 1
38.63/21.89	c (21,17) x[6][53] = 1
38.63/21.89	c (21,17) x[6][54] = 0
38.63/21.89	c (21,17) x[6][55] = 0
38.63/21.89	c (21,17) x[6][56] = 0
38.63/21.89	c (21,17) x[6][57] = 0
38.63/21.89	c (21,17) x[6][58] = 0
38.63/21.89	c (21,17) x[6][59] = 0
38.63/21.89	c (21,17) x[6][60] = 1
38.63/21.89	c (21,17) x[6][61] = 1
38.63/21.89	c (21,17) x[6][62] = 0
38.63/21.89	c (21,17) x[6][63] = 0
38.63/21.89	c (21,17) x[6][64] = 0
38.63/21.89	c (21,17) x[6][65] = 0
38.63/21.89	c (21,17) x[6][66] = 0
38.63/21.89	c (21,17) x[6][67] = 0
38.63/21.89	c (21,17) x[6][68] = 0
38.63/21.89	c (21,17) x[6][69] = 0
38.63/21.89	c (21,17) x[6][70] = 0
38.63/21.89	c (21,17) x[6][71] = 0
38.63/21.89	c (21,17) x[6][72] = 0
38.63/21.89	c (21,17) x[6][73] = 0
38.63/21.89	c (21,17) x[6][74] = 0
38.63/21.89	c (21,17) x[6][75] = 1
38.63/21.89	c (21,17) x[6][76] = 1
38.63/21.89	c (21,17) x[6][77] = 0
38.63/21.89	c (21,17) x[6][78] = 0
38.63/21.89	c (21,17) x[6][79] = 0
38.63/21.89	c (21,17) x[6][80] = 0
38.63/21.89	c (21,17) x[6][81] = 0
38.63/21.89	c (21,17) x[6][82] = 0
38.63/21.89	c (21,17) x[6][83] = 0
38.63/21.89	c (21,17) x[6][84] = 0
38.63/21.89	c (21,17) x[6][85] = 0
38.63/21.89	c (21,17) x[6][86] = 0
38.63/21.89	c (21,17) x[6][87] = 1
38.63/21.89	c (21,17) x[6][88] = 1
38.63/21.89	c (21,17) x[6][89] = 1
38.63/21.89	c (21,17) x[6][90] = 1
38.63/21.89	c (21,17) x[6][91] = 1
38.63/21.89	c (21,17) x[6][92] = 1
38.63/21.89	c (21,17) x[6][93] = 0
38.63/21.89	c (21,17) x[6][94] = 0
38.63/21.89	c (21,17) x[6][95] = 0
38.63/21.89	c (21,17) x[6][96] = 0
38.63/21.89	c (21,17) x[6][97] = 0
38.63/21.89	c (21,17) x[6][98] = 1
38.63/21.89	c (21,17) x[6][99] = 0
38.63/21.89	c (21,17) x[6][100] = 0
38.63/21.89	c (21,17) x[6][101] = 0
38.63/21.89	c (21,17) x[6][102] = 0
38.63/21.89	c (21,17) x[6][103] = 0
38.63/21.89	c (21,17) x[6][104] = 0
38.63/21.89	c (21,17) x[6][105] = 0
38.63/21.89	c (21,17) x[6][106] = 0
38.63/21.89	c (21,17) x[6][107] = 0
38.63/21.89	c (21,17) x[7][0] = 1
38.63/21.89	c (21,17) x[7][1] = 1
38.63/21.89	c (21,17) x[7][2] = 1
38.63/21.89	c (21,17) x[7][3] = 0
38.63/21.89	c (21,17) x[7][4] = 1
38.63/21.89	c (21,17) x[7][5] = 1
38.63/21.89	c (21,17) x[7][6] = 1
38.63/21.89	c (21,17) x[7][7] = 0
38.63/21.89	c (21,17) x[7][8] = 0
38.63/21.89	c (21,17) x[7][9] = 0
38.63/21.89	c (21,17) x[7][10] = 0
38.63/21.89	c (21,17) x[7][11] = 0
38.63/21.89	c (21,17) x[7][12] = 0
38.63/21.89	c (21,17) x[7][13] = 1
38.63/21.89	c (21,17) x[7][14] = 1
38.63/21.89	c (21,17) x[7][15] = 1
38.63/21.89	c (21,17) x[7][16] = 0
38.63/21.89	c (21,17) x[7][17] = 0
38.63/21.89	c (21,17) x[7][18] = 0
38.63/21.89	c (21,17) x[7][19] = 1
38.63/21.89	c (21,17) x[7][20] = 0
38.63/21.89	c (21,17) x[7][21] = 0
38.63/21.89	c (21,17) x[7][22] = 1
38.63/21.89	c (21,17) x[7][23] = 1
38.63/21.89	c (21,17) x[7][24] = 1
38.63/21.89	c (21,17) x[7][25] = 1
38.63/21.89	c (21,17) x[7][26] = 1
38.63/21.89	c (21,17) x[7][27] = 0
38.63/21.89	c (21,17) x[7][28] = 0
38.63/21.89	c (21,17) x[7][29] = 0
38.63/21.89	c (21,17) x[7][30] = 0
38.63/21.89	c (21,17) x[7][31] = 0
38.63/21.89	c (21,17) x[7][32] = 0
38.63/21.89	c (21,17) x[7][33] = 1
38.63/21.89	c (21,17) x[7][34] = 0
38.63/21.89	c (21,17) x[7][35] = 0
38.63/21.89	c (21,17) x[7][36] = 0
38.63/21.89	c (21,17) x[7][37] = 1
38.63/21.89	c (21,17) x[7][38] = 1
38.63/21.89	c (21,17) x[7][39] = 0
38.63/21.89	c (21,17) x[7][40] = 0
38.63/21.89	c (21,17) x[7][41] = 0
38.63/21.89	c (21,17) x[7][42] = 0
38.63/21.89	c (21,17) x[7][43] = 0
38.63/21.89	c (21,17) x[7][44] = 0
38.63/21.89	c (21,17) x[7][45] = 1
38.63/21.89	c (21,17) x[7][46] = 1
38.63/21.89	c (21,17) x[7][47] = 0
38.63/21.89	c (21,17) x[7][48] = 0
38.63/21.89	c (21,17) x[7][49] = 0
38.63/21.89	c (21,17) x[7][50] = 0
38.63/21.89	c (21,17) x[7][51] = 0
38.63/21.89	c (21,17) x[7][52] = 0
38.63/21.89	c (21,17) x[7][53] = 0
38.63/21.89	c (21,17) x[7][54] = 0
38.63/21.89	c (21,17) x[7][55] = 0
38.63/21.89	c (21,17) x[7][56] = 0
38.63/21.89	c (21,17) x[7][57] = 1
38.63/21.89	c (21,17) x[7][58] = 1
38.63/21.89	c (21,17) x[7][59] = 1
38.63/21.89	c (21,17) x[7][60] = 0
38.63/21.89	c (21,17) x[7][61] = 0
38.63/21.89	c (21,17) x[7][62] = 0
38.63/21.89	c (21,17) x[7][63] = 0
38.63/21.89	c (21,17) x[7][64] = 0
38.63/21.89	c (21,17) x[7][65] = 0
38.63/21.89	c (21,17) x[7][66] = 0
38.63/21.89	c (21,17) x[7][67] = 1
38.63/21.89	c (21,17) x[7][68] = 1
38.63/21.89	c (21,17) x[7][69] = 1
38.63/21.89	c (21,17) x[7][70] = 1
38.63/21.89	c (21,17) x[7][71] = 0
38.63/21.89	c (21,17) x[7][72] = 1
38.63/21.89	c (21,17) x[7][73] = 1
38.63/21.89	c (21,17) x[7][74] = 1
38.63/21.89	c (21,17) x[7][75] = 1
38.63/21.89	c (21,17) x[7][76] = 1
38.63/21.89	c (21,17) x[7][77] = 0
38.63/21.89	c (21,17) x[7][78] = 0
38.63/21.89	c (21,17) x[7][79] = 1
38.63/21.89	c (21,17) x[7][80] = 0
38.63/21.89	c (21,17) x[7][81] = 0
38.63/21.89	c (21,17) x[7][82] = 0
38.63/21.89	c (21,17) x[7][83] = 0
38.63/21.89	c (21,17) x[7][84] = 1
38.63/21.89	c (21,17) x[7][85] = 1
38.63/21.89	c (21,17) x[7][86] = 1
38.63/21.89	c (21,17) x[7][87] = 0
38.63/21.89	c (21,17) x[7][88] = 0
38.63/21.89	c (21,17) x[7][89] = 0
38.63/21.89	c (21,17) x[7][90] = 0
38.63/21.89	c (21,17) x[7][91] = 0
38.63/21.89	c (21,17) x[7][92] = 0
38.63/21.89	c (21,17) x[7][93] = 0
38.63/21.89	c (21,17) x[7][94] = 0
38.63/21.89	c (21,17) x[7][95] = 0
38.63/21.89	c (21,17) x[7][96] = 0
38.63/21.89	c (21,17) x[7][97] = 0
38.63/21.89	c (21,17) x[7][98] = 0
38.63/21.89	c (21,17) x[7][99] = 0
38.63/21.89	c (21,17) x[7][100] = 0
38.63/21.89	c (21,17) x[7][101] = 0
38.63/21.89	c (21,17) x[7][102] = 0
38.63/21.89	c (21,17) x[7][103] = 0
38.63/21.89	c (21,17) x[7][104] = 0
38.63/21.89	c (21,17) x[7][105] = 0
38.63/21.89	c (21,17) x[7][106] = 0
38.63/21.89	c (21,17) x[7][107] = 0
38.63/21.89	c (21,17) x[8][0] = 1
38.63/21.89	c (21,17) x[8][1] = 1
38.63/21.89	c (21,17) x[8][2] = 1
38.63/21.89	c (21,17) x[8][3] = 1
38.63/21.89	c (21,17) x[8][4] = 0
38.63/21.89	c (21,17) x[8][5] = 0
38.63/21.89	c (21,17) x[8][6] = 0
38.63/21.89	c (21,17) x[8][7] = 0
38.63/21.89	c (21,17) x[8][8] = 0
38.63/21.89	c (21,17) x[8][9] = 1
38.63/21.89	c (21,17) x[8][10] = 1
38.63/21.89	c (21,17) x[8][11] = 1
38.63/21.89	c (21,17) x[8][12] = 1
38.63/21.89	c (21,17) x[8][13] = 0
38.63/21.89	c (21,17) x[8][14] = 0
38.63/21.89	c (21,17) x[8][15] = 0
38.63/21.89	c (21,17) x[8][16] = 1
38.63/21.89	c (21,17) x[8][17] = 0
38.63/21.89	c (21,17) x[8][18] = 0
38.63/21.89	c (21,17) x[8][19] = 1
38.63/21.89	c (21,17) x[8][20] = 1
38.63/21.89	c (21,17) x[8][21] = 1
38.63/21.89	c (21,17) x[8][22] = 0
38.63/21.89	c (21,17) x[8][23] = 0
38.63/21.89	c (21,17) x[8][24] = 0
38.63/21.89	c (21,17) x[8][25] = 0
38.63/21.89	c (21,17) x[8][26] = 0
38.63/21.89	c (21,17) x[8][27] = 1
38.63/21.89	c (21,17) x[8][28] = 1
38.63/21.89	c (21,17) x[8][29] = 1
38.63/21.89	c (21,17) x[8][30] = 1
38.63/21.89	c (21,17) x[8][31] = 1
38.63/21.89	c (21,17) x[8][32] = 1
38.63/21.89	c (21,17) x[8][33] = 0
38.63/21.89	c (21,17) x[8][34] = 0
38.63/21.89	c (21,17) x[8][35] = 0
38.63/21.89	c (21,17) x[8][36] = 0
38.63/21.89	c (21,17) x[8][37] = 0
38.63/21.89	c (21,17) x[8][38] = 0
38.63/21.89	c (21,17) x[8][39] = 0
38.63/21.89	c (21,17) x[8][40] = 0
38.63/21.89	c (21,17) x[8][41] = 0
38.63/21.89	c (21,17) x[8][42] = 0
38.63/21.89	c (21,17) x[8][43] = 0
38.63/21.89	c (21,17) x[8][44] = 0
38.63/21.89	c (21,17) x[8][45] = 1
38.63/21.89	c (21,17) x[8][46] = 1
38.63/21.89	c (21,17) x[8][47] = 0
38.63/21.89	c (21,17) x[8][48] = 0
38.63/21.89	c (21,17) x[8][49] = 0
38.63/21.89	c (21,17) x[8][50] = 0
38.63/21.89	c (21,17) x[8][51] = 0
38.63/21.89	c (21,17) x[8][52] = 0
38.63/21.89	c (21,17) x[8][53] = 0
38.63/21.89	c (21,17) x[8][54] = 1
38.63/21.89	c (21,17) x[8][55] = 1
38.63/21.89	c (21,17) x[8][56] = 1
38.63/21.89	c (21,17) x[8][57] = 0
38.63/21.89	c (21,17) x[8][58] = 0
38.63/21.89	c (21,17) x[8][59] = 0
38.63/21.89	c (21,17) x[8][60] = 0
38.63/21.89	c (21,17) x[8][61] = 0
38.63/21.89	c (21,17) x[8][62] = 0
38.63/21.89	c (21,17) x[8][63] = 1
38.63/21.89	c (21,17) x[8][64] = 1
38.63/21.89	c (21,17) x[8][65] = 1
38.63/21.89	c (21,17) x[8][66] = 1
38.63/21.89	c (21,17) x[8][67] = 0
38.63/21.89	c (21,17) x[8][68] = 0
38.63/21.89	c (21,17) x[8][69] = 0
38.63/21.89	c (21,17) x[8][70] = 0
38.63/21.89	c (21,17) x[8][71] = 0
38.63/21.89	c (21,17) x[8][72] = 1
38.63/21.89	c (21,17) x[8][73] = 1
38.63/21.89	c (21,17) x[8][74] = 1
38.63/21.89	c (21,17) x[8][75] = 0
38.63/21.89	c (21,17) x[8][76] = 0
38.63/21.89	c (21,17) x[8][77] = 1
38.63/21.89	c (21,17) x[8][78] = 1
38.63/21.89	c (21,17) x[8][79] = 0
38.63/21.89	c (21,17) x[8][80] = 1
38.63/21.89	c (21,17) x[8][81] = 1
38.63/21.89	c (21,17) x[8][82] = 1
38.63/21.89	c (21,17) x[8][83] = 1
38.63/21.89	c (21,17) x[8][84] = 0
38.63/21.90	c (21,17) x[8][85] = 0
38.63/21.90	c (21,17) x[8][86] = 0
38.63/21.90	c (21,17) x[8][87] = 0
38.63/21.90	c (21,17) x[8][88] = 0
38.63/21.90	c (21,17) x[8][89] = 0
38.63/21.90	c (21,17) x[8][90] = 0
38.63/21.90	c (21,17) x[8][91] = 0
38.63/21.90	c (21,17) x[8][92] = 0
38.63/21.90	c (21,17) x[8][93] = 0
38.63/21.90	c (21,17) x[8][94] = 0
38.63/21.90	c (21,17) x[8][95] = 0
38.63/21.90	c (21,17) x[8][96] = 0
38.63/21.90	c (21,17) x[8][97] = 0
38.63/21.90	c (21,17) x[8][98] = 0
38.63/21.90	c (21,17) x[8][99] = 0
38.63/21.90	c (21,17) x[8][100] = 0
38.63/21.90	c (21,17) x[8][101] = 0
38.63/21.90	c (21,17) x[8][102] = 0
38.63/21.90	c (21,17) x[8][103] = 0
38.63/21.90	c (21,17) x[8][104] = 0
38.63/21.90	c (21,17) x[8][105] = 0
38.63/21.90	c (21,17) x[8][106] = 0
38.63/21.90	c (21,17) x[8][107] = 0
38.63/21.90	s SATISFIABLE
38.63/21.90	v <instantiation>
38.63/21.90	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[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[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[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[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[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[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[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[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]</list>
38.63/21.90	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 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 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 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 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 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 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 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 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 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 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 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 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 1 0 1 1 1 1 1 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 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 1 1 0 1 0 0 0 1 1 1 1 1 1 0 0 0 0 1 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 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 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 0 0 1 0 0 0 0 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 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 0 0 1 1 0 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</values>
38.63/21.90	v </instantiation>
38.63/21.90	c (21,17) Show results End
38.63/21.90	c (21,17) Heap : 2994 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
38.63/21.90	c (21,17) 0,0,14,14,14,14,17,21,21,STOP-AFTER(ALL)
38.63/21.90	c END-Prog: Fri Jul 27 02:35:37 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 (6678 MiB free)
  memory of node 1: 16384 MiB (10442 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100058 s]*
/proc/loadavg: 5.37 8.00 8.54 4/198 10417
/proc/meminfo: memFree=17440204/32770624 swapFree=67108796/67108860
[pid=10397] ppid=10394 vsize=27312552 memory=107464 CPUtime=0.1 cores=0-7
/proc/10397/stat : 10397 (java) S 10394 10397 9741 0 -1 1077944320 6908 0 0 0 8 2 0 0 20 0 20 0 82734632 27968053248 26866 33554432000 4194304 4196468 140723138478128 140723138460672 140145590718199 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
/proc/10397/statm: 6828138 26866 2747 1 0 6790598 0
[pid=10397/tid=10399] ppid=10394 vsize=27312552 memory=7896105854803288224 CPUtime=0.09 cores=0-7
/proc/10397/task/10399/stat : 10399 (java) R 10394 10397 9741 0 -1 4202560 5009 0 0 0 7 2 0 0 20 0 20 0 82734632 27968053248 26866 33554432000 4194304 4196468 140723138478128 140145562503264 140145590730134 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10400] ppid=10394 vsize=27312552 memory=732370092819844069 CPUtime=0 cores=0-7
/proc/10397/task/10400/stat : 10400 (java) S 10394 10397 9741 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82734635 27968053248 26866 33554432000 4194304 4196468 140723138478128 140145594960400 140145590728405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10401] ppid=10394 vsize=27312552 memory=139954482390656 CPUtime=0 cores=0-7
/proc/10397/task/10401/stat : 10401 (java) S 10394 10397 9741 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82734635 27968053248 26866 33554432000 4194304 4196468 140723138478128 140145409116816 140145590728405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10402] ppid=10394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10402/stat : 10402 (java) S 10394 10397 9741 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82734635 27968053248 26866 33554432000 4194304 4196468 140723138478128 140145408063760 140145590728405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10403] ppid=10394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10403/stat : 10403 (java) S 10394 10397 9741 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82734635 27968053248 26866 33554432000 4194304 4196468 140723138478128 140145407011216 140145590728405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10404] ppid=10394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10404/stat : 10404 (java) S 10394 10397 9741 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82734635 27968053248 26866 33554432000 4194304 4196468 140723138478128 140145405959184 140145590728405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10405] ppid=10394 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/10397/task/10405/stat : 10405 (java) S 10394 10397 9741 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82734635 27968053248 26866 33554432000 4194304 4196468 140723138478128 140145404906640 140145590728405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10406] ppid=10394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10406/stat : 10406 (java) S 10394 10397 9741 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82734635 27968053248 26866 33554432000 4194304 4196468 140723138478128 140145403853584 140145590728405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10407] ppid=10394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10407/stat : 10407 (java) S 10394 10397 9741 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82734635 27968053248 26866 33554432000 4194304 4196468 140723138478128 140145402801040 140145590728405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10408] ppid=10394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10408/stat : 10408 (java) S 10394 10397 9741 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82734636 27968053248 26866 33554432000 4194304 4196468 140723138478128 140144180521200 140145590729346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10409] ppid=10394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10409/stat : 10409 (java) S 10394 10397 9741 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 82734637 27968053248 26866 33554432000 4194304 4196468 140723138478128 140143172248736 140145590728405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10410] ppid=10394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10410/stat : 10410 (java) S 10394 10397 9741 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 82734637 27968053248 26866 33554432000 4194304 4196468 140723138478128 140143038026480 140145590728405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10411] ppid=10394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10411/stat : 10411 (java) S 10394 10397 9741 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82734639 27968053248 26866 33554432000 4194304 4196468 140723138478128 140142663522256 140145590736795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10412] ppid=10394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10412/stat : 10412 (java) S 10394 10397 9741 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 82734639 27968053248 26866 33554432000 4194304 4196468 140723138478128 140144111774448 140145590729346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10413] ppid=10394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10413/stat : 10413 (java) S 10394 10397 9741 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82734639 27968053248 26866 33554432000 4194304 4196468 140723138478128 140144110721904 140145590729346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10414] ppid=10394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10414/stat : 10414 (java) R 10394 10397 9741 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 82734639 27968053248 26866 33554432000 4194304 4196468 140723138478128 140144109668848 140145590729346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10415] ppid=10394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10415/stat : 10415 (java) S 10394 10397 9741 0 -1 1077944384 240 0 0 0 0 0 0 0 20 0 20 0 82734639 27968053248 26866 33554432000 4194304 4196468 140723138478128 140144108616304 140145590729346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10416] ppid=10394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10416/stat : 10416 (java) S 10394 10397 9741 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82734640 27968053248 26866 33554432000 4194304 4196468 140723138478128 140142165617120 140145590728405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10417] ppid=10394 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/10397/task/10417/stat : 10417 (java) S 10394 10397 9741 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82734640 27968053248 26866 33554432000 4194304 4196468 140723138478128 140144107563696 140145590729346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 107464 KiB

[startup+0.210275 s]*
/proc/loadavg: 5.37 8.00 8.54 2/198 10417
/proc/meminfo: memFree=17422048/32770624 swapFree=67108796/67108860
[pid=10397] ppid=10394 vsize=27312552 memory=121912 CPUtime=0.24 cores=0-7
/proc/10397/stat : 10397 (java) S 10394 10397 9741 0 -1 1077944320 10714 0 0 0 21 3 0 0 20 0 20 0 82734632 27968053248 30478 33554432000 4194304 4196468 140723138478128 140723138460672 140145590718199 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
/proc/10397/statm: 6828138 30478 2878 1 0 6790598 0
[pid=10397/tid=10399] ppid=10394 vsize=27312552 memory=32758254098972862 CPUtime=0.19 cores=0-7
/proc/10397/task/10399/stat : 10399 (java) R 10394 10397 9741 0 -1 4202560 8608 0 0 0 17 2 0 0 20 0 20 0 82734632 27968053248 30478 33554432000 4194304 4196468 140723138478128 140145562545600 140145590740125 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10400] ppid=10394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10400/stat : 10400 (java) S 10394 10397 9741 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82734635 27968053248 30478 33554432000 4194304 4196468 140723138478128 140145594960400 140145590728405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10401] ppid=10394 vsize=27312552 memory=139954482861339 CPUtime=0 cores=0-7
/proc/10397/task/10401/stat : 10401 (java) S 10394 10397 9741 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82734635 27968053248 30478 33554432000 4194304 4196468 140723138478128 140145409116816 140145590728405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10402] ppid=10394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10402/stat : 10402 (java) S 10394 10397 9741 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82734635 27968053248 30478 33554432000 4194304 4196468 140723138478128 140145408063760 140145590728405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10403] ppid=10394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10403/stat : 10403 (java) S 10394 10397 9741 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82734635 27968053248 30478 33554432000 4194304 4196468 140723138478128 140145407011216 140145590728405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10404] ppid=10394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10404/stat : 10404 (java) S 10394 10397 9741 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82734635 27968053248 30478 33554432000 4194304 4196468 140723138478128 140145405959184 140145590728405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10405] ppid=10394 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/10397/task/10405/stat : 10405 (java) S 10394 10397 9741 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82734635 27968053248 30478 33554432000 4194304 4196468 140723138478128 140145404906640 140145590728405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10406] ppid=10394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10406/stat : 10406 (java) S 10394 10397 9741 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82734635 27968053248 30478 33554432000 4194304 4196468 140723138478128 140145403853584 140145590728405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10407] ppid=10394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10407/stat : 10407 (java) S 10394 10397 9741 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82734635 27968053248 30478 33554432000 4194304 4196468 140723138478128 140145402801040 140145590728405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10408] ppid=10394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10408/stat : 10408 (java) S 10394 10397 9741 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82734636 27968053248 30478 33554432000 4194304 4196468 140723138478128 140144180521200 140145590729346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10409] ppid=10394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10409/stat : 10409 (java) S 10394 10397 9741 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 82734637 27968053248 30478 33554432000 4194304 4196468 140723138478128 140143172248736 140145590728405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10410] ppid=10394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10410/stat : 10410 (java) S 10394 10397 9741 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 82734637 27968053248 30478 33554432000 4194304 4196468 140723138478128 140143038026480 140145590728405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10411] ppid=10394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10411/stat : 10411 (java) S 10394 10397 9741 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82734639 27968053248 30478 33554432000 4194304 4196468 140723138478128 140142663522256 140145590736795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10412] ppid=10394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10412/stat : 10412 (java) S 10394 10397 9741 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 20 0 82734639 27968053248 30478 33554432000 4194304 4196468 140723138478128 140144111774448 140145590729346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10413] ppid=10394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10413/stat : 10413 (java) S 10394 10397 9741 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 82734639 27968053248 30478 33554432000 4194304 4196468 140723138478128 140144110721904 140145590729346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10414] ppid=10394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10414/stat : 10414 (java) R 10394 10397 9741 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 82734639 27968053248 30478 33554432000 4194304 4196468 140723138478128 140144109668848 140145590729346 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10415] ppid=10394 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/10397/task/10415/stat : 10415 (java) S 10394 10397 9741 0 -1 1077944384 268 0 0 0 2 0 0 0 20 0 20 0 82734639 27968053248 30478 33554432000 4194304 4196468 140723138478128 140144108616304 140145590729346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10416] ppid=10394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10416/stat : 10416 (java) S 10394 10397 9741 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82734640 27968053248 30478 33554432000 4194304 4196468 140723138478128 140142165617120 140145590728405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10417] ppid=10394 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/10397/task/10417/stat : 10417 (java) S 10394 10397 9741 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82734640 27968053248 30478 33554432000 4194304 4196468 140723138478128 140144107563696 140145590729346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 121912 KiB

[startup+0.310159 s]*
/proc/loadavg: 5.37 8.00 8.54 2/198 10417
/proc/meminfo: memFree=17418720/32770624 swapFree=67108796/67108860
[pid=10397] ppid=10394 vsize=27312552 memory=125384 CPUtime=0.41 cores=0-7
/proc/10397/stat : 10397 (java) S 10394 10397 9741 0 -1 1077944320 11249 0 0 0 37 4 0 0 20 0 20 0 82734632 27968053248 31346 33554432000 4194304 4196468 140723138478128 140723138460672 140145590718199 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
/proc/10397/statm: 6828138 31346 2951 1 0 6790598 0
[pid=10397/tid=10399] ppid=10394 vsize=27312552 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/10397/task/10399/stat : 10399 (java) R 10394 10397 9741 0 -1 4202560 8976 0 0 0 26 3 0 0 20 0 20 0 82734632 27968053248 31346 33554432000 4194304 4196468 140723138478128 140145562522352 140145573904980 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10400] ppid=10394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10400/stat : 10400 (java) S 10394 10397 9741 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82734635 27968053248 31346 33554432000 4194304 4196468 140723138478128 140145594960400 140145590728405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10401] ppid=10394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10401/stat : 10401 (java) S 10394 10397 9741 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82734635 27968053248 31346 33554432000 4194304 4196468 140723138478128 140145409116816 140145590728405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10402] ppid=10394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10402/stat : 10402 (java) S 10394 10397 9741 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82734635 27968053248 31346 33554432000 4194304 4196468 140723138478128 140145408063760 140145590728405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10403] ppid=10394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10403/stat : 10403 (java) S 10394 10397 9741 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82734635 27968053248 31346 33554432000 4194304 4196468 140723138478128 140145407011216 140145590728405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10404] ppid=10394 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/10397/task/10404/stat : 10404 (java) S 10394 10397 9741 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82734635 27968053248 31346 33554432000 4194304 4196468 140723138478128 140145405959184 140145590728405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10405] ppid=10394 vsize=27312552 memory=139954328007599 CPUtime=0 cores=0-7
/proc/10397/task/10405/stat : 10405 (java) S 10394 10397 9741 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82734635 27968053248 31346 33554432000 4194304 4196468 140723138478128 140145404906640 140145590728405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10406] ppid=10394 vsize=27312552 memory=139954328009904 CPUtime=0 cores=0-7
/proc/10397/task/10406/stat : 10406 (java) S 10394 10397 9741 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82734635 27968053248 31346 33554432000 4194304 4196468 140723138478128 140145403853584 140145590728405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10407] ppid=10394 vsize=27312552 memory=139954328012208 CPUtime=0 cores=0-7
/proc/10397/task/10407/stat : 10407 (java) S 10394 10397 9741 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82734635 27968053248 31346 33554432000 4194304 4196468 140723138478128 140145402801040 140145590728405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10408] ppid=10394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10408/stat : 10408 (java) S 10394 10397 9741 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82734636 27968053248 31346 33554432000 4194304 4196468 140723138478128 140144180521200 140145590729346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10409] ppid=10394 vsize=27312552 memory=279908656031376 CPUtime=0 cores=0-7
/proc/10397/task/10409/stat : 10409 (java) S 10394 10397 9741 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 82734637 27968053248 31346 33554432000 4194304 4196468 140723138478128 140143172248736 140145590728405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10410] ppid=10394 vsize=27312552 memory=279908656038288 CPUtime=0 cores=0-7
/proc/10397/task/10410/stat : 10410 (java) S 10394 10397 9741 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 82734637 27968053248 31346 33554432000 4194304 4196468 140723138478128 140143038026480 140145590728405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10411] ppid=10394 vsize=27312552 memory=279908655979568 CPUtime=0 cores=0-7
/proc/10397/task/10411/stat : 10411 (java) S 10394 10397 9741 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82734639 27968053248 31346 33554432000 4194304 4196468 140723138478128 140142663522256 140145590736795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10412] ppid=10394 vsize=27312552 memory=279908656052112 CPUtime=0.01 cores=0-7
/proc/10397/task/10412/stat : 10412 (java) S 10394 10397 9741 0 -1 1077944384 432 0 0 0 1 0 0 0 20 0 20 0 82734639 27968053248 31346 33554432000 4194304 4196468 140723138478128 140144111774448 140145590729346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10413] ppid=10394 vsize=27312552 memory=279908656059024 CPUtime=0.01 cores=0-7
/proc/10397/task/10413/stat : 10413 (java) S 10394 10397 9741 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 20 0 82734639 27968053248 31346 33554432000 4194304 4196468 140723138478128 140144110721904 140145590729346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10414] ppid=10394 vsize=27312552 memory=279908656056720 CPUtime=0 cores=0-7
/proc/10397/task/10414/stat : 10414 (java) S 10394 10397 9741 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 82734639 27968053248 31346 33554432000 4194304 4196468 140723138478128 140144109668848 140145590729346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10415] ppid=10394 vsize=27312552 memory=279908656073280 CPUtime=0.07 cores=0-7
/proc/10397/task/10415/stat : 10415 (java) S 10394 10397 9741 0 -1 1077944384 289 0 0 0 7 0 0 0 20 0 20 0 82734639 27968053248 31346 33554432000 4194304 4196468 140723138478128 140144108616304 140145590729346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10416] ppid=10394 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10416/stat : 10416 (java) S 10394 10397 9741 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82734640 27968053248 31346 33554432000 4194304 4196468 140723138478128 140142165617120 140145590728405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10417] ppid=10394 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/10397/task/10417/stat : 10417 (java) S 10394 10397 9741 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82734640 27968053248 31346 33554432000 4194304 4196468 140723138478128 140144107563696 140145590729346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 125384 KiB

[startup+0.701321 s]
/proc/loadavg: 5.37 8.00 8.54 2/198 10417
/proc/meminfo: memFree=17395076/32770624 swapFree=67108796/67108860
[pid=10397] ppid=10394 vsize=27320948 memory=163424 CPUtime=1 cores=0-7
/proc/10397/stat : 10397 (java) S 10394 10397 9741 0 -1 1077944320 18453 0 0 0 93 7 0 0 20 0 20 0 82734632 27976650752 40856 33554432000 4194304 4196468 140723138478128 140723138460672 140145590718199 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
/proc/10397/statm: 6830237 40856 3154 1 0 6791622 0
[pid=10397/tid=10399] ppid=10394 vsize=27320948 memory=4639930699739326826 CPUtime=0.67 cores=0-7
/proc/10397/task/10399/stat : 10399 (java) R 10394 10397 9741 0 -1 4202560 15716 0 0 0 62 5 0 0 20 0 20 0 82734632 27976650752 40856 33554432000 4194304 4196468 140723138478128 140145562540336 140145572280928 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10400] ppid=10394 vsize=27320948 memory=44736379375968 CPUtime=0 cores=0-7
/proc/10397/task/10400/stat : 10400 (java) S 10394 10397 9741 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82734635 27976650752 40856 33554432000 4194304 4196468 140723138478128 140145594960400 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10401] ppid=10394 vsize=27320948 memory=139954328020182 CPUtime=0 cores=0-7
/proc/10397/task/10401/stat : 10401 (java) S 10394 10397 9741 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82734635 27976650752 40856 33554432000 4194304 4196468 140723138478128 140145409116816 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10402] ppid=10394 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10402/stat : 10402 (java) S 10394 10397 9741 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82734635 27976650752 40856 33554432000 4194304 4196468 140723138478128 140145408063760 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10403] ppid=10394 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10403/stat : 10403 (java) S 10394 10397 9741 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82734635 27976650752 40856 33554432000 4194304 4196468 140723138478128 140145407011216 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10404] ppid=10394 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10404/stat : 10404 (java) S 10394 10397 9741 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82734635 27976650752 40856 33554432000 4194304 4196468 140723138478128 140145405959184 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10405] ppid=10394 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10405/stat : 10405 (java) S 10394 10397 9741 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82734635 27976650752 40856 33554432000 4194304 4196468 140723138478128 140145404906640 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10406] ppid=10394 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10406/stat : 10406 (java) S 10394 10397 9741 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82734635 27976650752 40856 33554432000 4194304 4196468 140723138478128 140145403853584 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10407] ppid=10394 vsize=27320948 memory=1628 CPUtime=0 cores=0-7
/proc/10397/task/10407/stat : 10407 (java) S 10394 10397 9741 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82734635 27976650752 40856 33554432000 4194304 4196468 140723138478128 140145402801040 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10408] ppid=10394 vsize=27320948 memory=8876 CPUtime=0 cores=0-7
/proc/10397/task/10408/stat : 10408 (java) S 10394 10397 9741 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 82734636 27976650752 40856 33554432000 4194304 4196468 140723138478128 140144180521200 140145590729346 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0

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

/proc/10397/task/10399/stat : 10399 (java) S 10394 10397 9741 0 -1 1077944384 21282 0 0 0 1704 92 0 0 20 0 24 0 82734632 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140145562557440 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10400] ppid=10394 vsize=27984808 memory=832 CPUtime=0.1 cores=0-7
/proc/10397/task/10400/stat : 10400 (java) S 10394 10397 9741 0 -1 1077944384 105 0 0 0 6 4 0 0 20 0 24 0 82734635 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140145594960400 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10401] ppid=10394 vsize=27984808 memory=1608 CPUtime=0.11 cores=0-7
/proc/10397/task/10401/stat : 10401 (java) S 10394 10397 9741 0 -1 1077944384 130 0 0 0 7 4 0 0 20 0 24 0 82734635 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140145409116816 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10402] ppid=10394 vsize=27984808 memory=5024 CPUtime=0.1 cores=0-7
/proc/10397/task/10402/stat : 10402 (java) S 10394 10397 9741 0 -1 1077944384 85 0 0 0 6 4 0 0 20 0 24 0 82734635 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140145408063760 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10403] ppid=10394 vsize=27984808 memory=4032 CPUtime=0.1 cores=0-7
/proc/10397/task/10403/stat : 10403 (java) S 10394 10397 9741 0 -1 1077944384 93 0 0 0 6 4 0 0 20 0 24 0 82734635 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140145407011216 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10404] ppid=10394 vsize=27984808 memory=1284 CPUtime=0.1 cores=0-7
/proc/10397/task/10404/stat : 10404 (java) S 10394 10397 9741 0 -1 1077944384 150 0 0 0 6 4 0 0 20 0 24 0 82734635 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140145405959184 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10405] ppid=10394 vsize=27984808 memory=1088 CPUtime=0.1 cores=0-7
/proc/10397/task/10405/stat : 10405 (java) S 10394 10397 9741 0 -1 1077944384 73 0 0 0 5 5 0 0 20 0 24 0 82734635 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140145404906640 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10406] ppid=10394 vsize=27984808 memory=1800 CPUtime=0.1 cores=0-7
/proc/10397/task/10406/stat : 10406 (java) S 10394 10397 9741 0 -1 1077944384 80 0 0 0 5 5 0 0 20 0 24 0 82734635 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140145403853584 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10407] ppid=10394 vsize=27984808 memory=7024 CPUtime=0.1 cores=0-7
/proc/10397/task/10407/stat : 10407 (java) S 10394 10397 9741 0 -1 1077944384 73 0 0 0 6 4 0 0 20 0 24 0 82734635 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140145402801040 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10408] ppid=10394 vsize=27984808 memory=-1884133433935084349 CPUtime=0.01 cores=0-7
/proc/10397/task/10408/stat : 10408 (java) S 10394 10397 9741 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 24 0 82734636 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140144180521200 140145590729346 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10409] ppid=10394 vsize=27984808 memory=279908657560192 CPUtime=0 cores=0-7
/proc/10397/task/10409/stat : 10409 (java) S 10394 10397 9741 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 82734637 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140143172248800 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10410] ppid=10394 vsize=27984808 memory=139954328779104 CPUtime=0 cores=0-7
/proc/10397/task/10410/stat : 10410 (java) S 10394 10397 9741 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 24 0 82734637 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140143038026496 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10411] ppid=10394 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10411/stat : 10411 (java) S 10394 10397 9741 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 82734639 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140142663522256 140145590736795 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10412] ppid=10394 vsize=27984808 memory=0 CPUtime=4.04 cores=0-7
/proc/10397/task/10412/stat : 10412 (java) S 10394 10397 9741 0 -1 1077944384 7166 0 0 0 401 3 0 0 20 0 24 0 82734639 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140144111774448 140145590729346 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10413] ppid=10394 vsize=27984808 memory=0 CPUtime=4.33 cores=0-7
/proc/10397/task/10413/stat : 10413 (java) S 10394 10397 9741 0 -1 1077944384 5749 0 0 0 432 1 0 0 20 0 24 0 82734639 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140144110721904 140145590729346 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10414] ppid=10394 vsize=27984808 memory=0 CPUtime=4 cores=0-7
/proc/10397/task/10414/stat : 10414 (java) S 10394 10397 9741 0 -1 1077944384 5693 0 0 0 398 2 0 0 20 0 24 0 82734639 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140144109668848 140145590729346 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10415] ppid=10394 vsize=27984808 memory=0 CPUtime=1.4 cores=0-7
/proc/10397/task/10415/stat : 10415 (java) S 10394 10397 9741 0 -1 1077944384 5633 0 0 0 139 1 0 0 20 0 24 0 82734639 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140144108616304 140145590729346 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10416] ppid=10394 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10416/stat : 10416 (java) S 10394 10397 9741 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 82734640 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140142165617120 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10417] ppid=10394 vsize=27984808 memory=139954328794560 CPUtime=0 cores=0-7
/proc/10397/task/10417/stat : 10417 (java) S 10394 10397 9741 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 82734640 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140144107563696 140145590729346 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10419] ppid=10394 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10419/stat : 10419 (java) S 10394 10397 9741 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 82736440 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140144179467200 140145590742809 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10421] ppid=10394 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10421/stat : 10421 (java) S 10394 10397 9741 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 82736441 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140141494517680 140145590740125 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10422] ppid=10394 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/10397/task/10422/stat : 10422 (java) S 10394 10397 9741 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 82736441 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140141762953264 140145590740125 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10423] ppid=10394 vsize=27984808 memory=3191720 CPUtime=0 cores=0-7
/proc/10397/task/10423/stat : 10423 (java) S 10394 10397 9741 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 82736442 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140141226089888 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
Current children cumulated CPU time: 37.45 s
Current children cumulated vsize: 29055820 KiB
Current children cumulated memory: 6563640 KiB

[startup+21.8013 s]
/proc/loadavg: 4.41 7.61 8.40 2/203 10423
/proc/meminfo: memFree=11334828/32770624 swapFree=67108796/67108860
[pid=10397] ppid=10394 vsize=27984808 memory=6112664 CPUtime=32.68 cores=0-7
/proc/10397/stat : 10397 (java) S 10394 10397 9741 0 -1 1077944320 47739 0 0 0 3129 139 0 0 20 0 24 0 82734632 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140723138460672 140145590718199 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
/proc/10397/statm: 6996202 1528166 3247 1 0 6957058 0
[pid=10418] ppid=10397 vsize=1097676 memory=478428 CPUtime=5.95 cores=0-7
/proc/10418/stat : 10418 (glucose-syrup) S 10397 10397 9741 0 -1 1077944320 79434 0 0 0 426 169 0 0 20 0 9 0 82736440 1124020224 119607 33554432000 4194304 4373367 140723112196720 140723112195264 140654779460226 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6470912 6472264 15732736 140723112199087 140723112199340 140723112199340 140723112202183 0
/proc/10418/statm: 274419 119607 380 44 0 270107 0
[pid=10397/tid=10399] ppid=10394 vsize=27984808 memory=4629771062077588875 CPUtime=17.96 cores=0-7
/proc/10397/task/10399/stat : 10399 (java) S 10394 10397 9741 0 -1 1077944384 21282 0 0 0 1704 92 0 0 20 0 24 0 82734632 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140145562557440 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10400] ppid=10394 vsize=27984808 memory=-8961168018402230209 CPUtime=0.1 cores=0-7
/proc/10397/task/10400/stat : 10400 (java) S 10394 10397 9741 0 -1 1077944384 105 0 0 0 6 4 0 0 20 0 24 0 82734635 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140145594960400 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10401] ppid=10394 vsize=27984808 memory=0 CPUtime=0.11 cores=0-7
/proc/10397/task/10401/stat : 10401 (java) S 10394 10397 9741 0 -1 1077944384 130 0 0 0 7 4 0 0 20 0 24 0 82734635 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140145409116816 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10402] ppid=10394 vsize=27984808 memory=0 CPUtime=0.1 cores=0-7
/proc/10397/task/10402/stat : 10402 (java) S 10394 10397 9741 0 -1 1077944384 85 0 0 0 6 4 0 0 20 0 24 0 82734635 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140145408063760 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10403] ppid=10394 vsize=27984808 memory=0 CPUtime=0.1 cores=0-7
/proc/10397/task/10403/stat : 10403 (java) S 10394 10397 9741 0 -1 1077944384 93 0 0 0 6 4 0 0 20 0 24 0 82734635 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140145407011216 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10404] ppid=10394 vsize=27984808 memory=139954328136784 CPUtime=0.1 cores=0-7
/proc/10397/task/10404/stat : 10404 (java) S 10394 10397 9741 0 -1 1077944384 150 0 0 0 6 4 0 0 20 0 24 0 82734635 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140145405959184 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10405] ppid=10394 vsize=27984808 memory=0 CPUtime=0.1 cores=0-7
/proc/10397/task/10405/stat : 10405 (java) S 10394 10397 9741 0 -1 1077944384 73 0 0 0 5 5 0 0 20 0 24 0 82734635 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140145404906640 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10406] ppid=10394 vsize=27984808 memory=0 CPUtime=0.1 cores=0-7
/proc/10397/task/10406/stat : 10406 (java) S 10394 10397 9741 0 -1 1077944384 80 0 0 0 5 5 0 0 20 0 24 0 82734635 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140145403853584 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10407] ppid=10394 vsize=27984808 memory=0 CPUtime=0.1 cores=0-7
/proc/10397/task/10407/stat : 10407 (java) S 10394 10397 9741 0 -1 1077944384 73 0 0 0 6 4 0 0 20 0 24 0 82734635 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140145402801040 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10408] ppid=10394 vsize=27984808 memory=0 CPUtime=0.01 cores=0-7
/proc/10397/task/10408/stat : 10408 (java) S 10394 10397 9741 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 24 0 82734636 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140144180521200 140145590729346 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10409] ppid=10394 vsize=27984808 memory=279908655825136 CPUtime=0 cores=0-7
/proc/10397/task/10409/stat : 10409 (java) S 10394 10397 9741 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 82734637 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140143172248800 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10410] ppid=10394 vsize=27984808 memory=15044 CPUtime=0 cores=0-7
/proc/10397/task/10410/stat : 10410 (java) S 10394 10397 9741 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 24 0 82734637 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140143038026496 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10411] ppid=10394 vsize=27984808 memory=18892 CPUtime=0 cores=0-7
/proc/10397/task/10411/stat : 10411 (java) S 10394 10397 9741 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 82734639 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140142663522256 140145590736795 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10412] ppid=10394 vsize=27984808 memory=17804 CPUtime=4.04 cores=0-7
/proc/10397/task/10412/stat : 10412 (java) S 10394 10397 9741 0 -1 1077944384 7166 0 0 0 401 3 0 0 20 0 24 0 82734639 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140144111774448 140145590729346 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10413] ppid=10394 vsize=27984808 memory=4016 CPUtime=4.33 cores=0-7
/proc/10397/task/10413/stat : 10413 (java) S 10394 10397 9741 0 -1 1077944384 5749 0 0 0 432 1 0 0 20 0 24 0 82734639 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140144110721904 140145590729346 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10414] ppid=10394 vsize=27984808 memory=644 CPUtime=4 cores=0-7
/proc/10397/task/10414/stat : 10414 (java) S 10394 10397 9741 0 -1 1077944384 5693 0 0 0 398 2 0 0 20 0 24 0 82734639 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140144109668848 140145590729346 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10415] ppid=10394 vsize=27984808 memory=1676 CPUtime=1.4 cores=0-7
/proc/10397/task/10415/stat : 10415 (java) S 10394 10397 9741 0 -1 1077944384 5633 0 0 0 139 1 0 0 20 0 24 0 82734639 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140144108616304 140145590729346 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10416] ppid=10394 vsize=27984808 memory=960 CPUtime=0 cores=0-7
/proc/10397/task/10416/stat : 10416 (java) S 10394 10397 9741 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 82734640 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140142165617120 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10417] ppid=10394 vsize=27984808 memory=1232 CPUtime=0 cores=0-7
/proc/10397/task/10417/stat : 10417 (java) S 10394 10397 9741 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 82734640 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140144107563696 140145590729346 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10419] ppid=10394 vsize=27984808 memory=4072 CPUtime=0 cores=0-7
/proc/10397/task/10419/stat : 10419 (java) S 10394 10397 9741 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 82736440 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140144179467200 140145590742809 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10421] ppid=10394 vsize=27984808 memory=2244 CPUtime=0 cores=0-7
/proc/10397/task/10421/stat : 10421 (java) S 10394 10397 9741 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 82736441 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140141494517680 140145590740125 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10422] ppid=10394 vsize=27984808 memory=4124 CPUtime=0 cores=0-7
/proc/10397/task/10422/stat : 10422 (java) S 10394 10397 9741 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 82736441 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140141762953264 140145590740125 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10423] ppid=10394 vsize=27984808 memory=924 CPUtime=0 cores=0-7
/proc/10397/task/10423/stat : 10423 (java) S 10394 10397 9741 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 82736442 28656443392 1528166 33554432000 4194304 4196468 140723138478128 140141226089888 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
Current children cumulated CPU time: 38.63 s
Current children cumulated vsize: 29082484 KiB
Current children cumulated memory: 6591092 KiB

[startup+21.9011 s]
/proc/loadavg: 4.41 7.61 8.40 2/203 10423
/proc/meminfo: memFree=11334828/32770624 swapFree=67108796/67108860
[pid=10397] ppid=10394 vsize=27853732 memory=6110744 CPUtime=39.09 cores=0-7
/proc/10397/stat : 10397 (java) S 10394 10397 9741 0 -1 1077944320 47857 79768 0 0 3161 140 437 171 20 0 22 0 82734632 28522221568 1527686 33554432000 4194304 4196468 140723138478128 140723138460672 140145590718199 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
/proc/10397/statm: 6963433 1527686 3247 1 0 6924289 0
[pid=10397/tid=10399] ppid=10394 vsize=27853732 memory=69900 CPUtime=24.09 cores=0-7
/proc/10397/task/10399/stat : 10399 (java) R 10394 10397 9741 0 -1 4202560 21371 79768 0 0 1708 93 437 171 20 0 22 0 82734632 28522221568 1527686 33554432000 4194304 4196468 140723138478128 140145562557264 140145570914908 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10400] ppid=10394 vsize=27853732 memory=792 CPUtime=6.18 cores=0-7
/proc/10397/task/10400/stat : 10400 (java) S 10394 10397 9741 0 -1 1077944384 105 79768 0 0 6 4 437 171 20 0 22 0 82734635 28522221568 1527686 33554432000 4194304 4196468 140723138478128 140145594960400 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10401] ppid=10394 vsize=27853732 memory=1572 CPUtime=6.19 cores=0-7
/proc/10397/task/10401/stat : 10401 (java) S 10394 10397 9741 0 -1 1077944384 130 79768 0 0 7 4 437 171 20 0 22 0 82734635 28522221568 1527686 33554432000 4194304 4196468 140723138478128 140145409116816 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10402] ppid=10394 vsize=27853732 memory=2092 CPUtime=6.18 cores=0-7
/proc/10397/task/10402/stat : 10402 (java) S 10394 10397 9741 0 -1 1077944384 85 79768 0 0 6 4 437 171 20 0 22 0 82734635 28522221568 1527686 33554432000 4194304 4196468 140723138478128 140145408063760 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10403] ppid=10394 vsize=27853732 memory=6110488 CPUtime=6.18 cores=0-7
/proc/10397/task/10403/stat : 10403 (java) S 10394 10397 9741 0 -1 1077944384 93 79768 0 0 6 4 437 171 20 0 22 0 82734635 28522221568 1527686 33554432000 4194304 4196468 140723138478128 140145407011216 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10404] ppid=10394 vsize=27853732 memory=6055800 CPUtime=6.18 cores=0-7
/proc/10397/task/10404/stat : 10404 (java) S 10394 10397 9741 0 -1 1077944384 150 79768 0 0 6 4 437 171 20 0 22 0 82734635 28522221568 1527686 33554432000 4194304 4196468 140723138478128 140145405959184 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10405] ppid=10394 vsize=27853732 memory=0 CPUtime=6.18 cores=0-7
/proc/10397/task/10405/stat : 10405 (java) S 10394 10397 9741 0 -1 1077944384 73 79768 0 0 5 5 437 171 20 0 22 0 82734635 28522221568 1527686 33554432000 4194304 4196468 140723138478128 140145404906640 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10406] ppid=10394 vsize=27853732 memory=5007296 CPUtime=6.18 cores=0-7
/proc/10397/task/10406/stat : 10406 (java) S 10394 10397 9741 0 -1 1077944384 80 79768 0 0 5 5 437 171 20 0 22 0 82734635 28522221568 1527686 33554432000 4194304 4196468 140723138478128 140145403853584 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10407] ppid=10394 vsize=27853732 memory=8836 CPUtime=6.18 cores=0-7
/proc/10397/task/10407/stat : 10407 (java) S 10394 10397 9741 0 -1 1077944384 73 79768 0 0 6 4 437 171 20 0 22 0 82734635 28522221568 1527686 33554432000 4194304 4196468 140723138478128 140145402801040 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10408] ppid=10394 vsize=27853732 memory=11044 CPUtime=6.09 cores=0-7
/proc/10397/task/10408/stat : 10408 (java) S 10394 10397 9741 0 -1 1077944384 23 79768 0 0 1 0 437 171 20 0 22 0 82734636 28522221568 1527686 33554432000 4194304 4196468 140723138478128 140144180521200 140145590729346 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10409] ppid=10394 vsize=27853732 memory=4638798233146650729 CPUtime=6.08 cores=0-7
/proc/10397/task/10409/stat : 10409 (java) S 10394 10397 9741 0 -1 1077944384 14 79768 0 0 0 0 437 171 20 0 22 0 82734637 28522221568 1527686 33554432000 4194304 4196468 140723138478128 140143172248800 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10410] ppid=10394 vsize=27853732 memory=7518303557063699562 CPUtime=6.08 cores=0-7
/proc/10397/task/10410/stat : 10410 (java) S 10394 10397 9741 0 -1 1077944384 23 79768 0 0 0 0 437 171 20 0 22 0 82734637 28522221568 1527686 33554432000 4194304 4196468 140723138478128 140143038026496 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10411] ppid=10394 vsize=27853732 memory=4639930699739322728 CPUtime=6.08 cores=0-7
/proc/10397/task/10411/stat : 10411 (java) S 10394 10397 9741 0 -1 1077944384 1 79768 0 0 0 0 437 171 20 0 22 0 82734639 28522221568 1527686 33554432000 4194304 4196468 140723138478128 140142663522256 140145590736795 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10412] ppid=10394 vsize=27853732 memory=56 CPUtime=10.17 cores=0-7
/proc/10397/task/10412/stat : 10412 (java) R 10394 10397 9741 0 -1 4202560 7166 79768 0 0 406 3 437 171 20 0 22 0 82734639 28522221568 1527686 33554432000 4194304 4196468 140723138478128 140144111764240 140145569978604 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10413] ppid=10394 vsize=27853732 memory=6296425180160677737 CPUtime=10.47 cores=0-7
/proc/10397/task/10413/stat : 10413 (java) S 10394 10397 9741 0 -1 1077944384 5749 79768 0 0 438 1 437 171 20 0 22 0 82734639 28522221568 1527686 33554432000 4194304 4196468 140723138478128 140144110721904 140145590729346 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10414] ppid=10394 vsize=27853732 memory=6117116 CPUtime=10.15 cores=0-7
/proc/10397/task/10414/stat : 10414 (java) S 10394 10397 9741 0 -1 1077944384 5695 79768 0 0 405 2 437 171 20 0 22 0 82734639 28522221568 1527686 33554432000 4194304 4196468 140723138478128 140144109668848 140145590729346 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10415] ppid=10394 vsize=27853732 memory=69692 CPUtime=7.54 cores=0-7
/proc/10397/task/10415/stat : 10415 (java) S 10394 10397 9741 0 -1 1077944384 5642 79768 0 0 145 1 437 171 20 0 22 0 82734639 28522221568 1527686 33554432000 4194304 4196468 140723138478128 140144108616304 140145590729346 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10416] ppid=10394 vsize=27853732 memory=6112664 CPUtime=6.08 cores=0-7
/proc/10397/task/10416/stat : 10416 (java) S 10394 10397 9741 0 -1 1077944384 3 79768 0 0 0 0 437 171 20 0 22 0 82734640 28522221568 1527686 33554432000 4194304 4196468 140723138478128 140142165617120 140145590728405 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10417] ppid=10394 vsize=27853732 memory=6117116 CPUtime=6.08 cores=0-7
/proc/10397/task/10417/stat : 10417 (java) S 10394 10397 9741 0 -1 1077944384 4 79768 0 0 0 0 437 171 20 0 22 0 82734640 28522221568 1527687 33554432000 4194304 4196468 140723138478128 140144107563696 140145590729346 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10419] ppid=10394 vsize=27853732 memory=8876 CPUtime=6.08 cores=0-7
/proc/10397/task/10419/stat : 10419 (java) S 10394 10397 9741 0 -1 1077944384 26 79768 0 0 0 0 437 171 20 0 22 0 82736440 28522221568 1527687 33554432000 4194304 4196468 140723138478128 140144179466384 140145590729346 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
[pid=10397/tid=10423] ppid=10394 vsize=27853732 memory=7228422813912836497 CPUtime=6.08 cores=0-7
/proc/10397/task/10423/stat : 10423 (java) S 10394 10397 9741 0 -1 1077944384 7 79768 0 0 0 0 437 171 20 0 22 0 82736442 28522221568 1527687 33554432000 4194304 4196468 140723138478128 140141226091696 140145590729346 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17559552 140723138487258 140723138487557 140723138487557 140723138490319 0
Current children cumulated CPU time: 39.09 s
Current children cumulated vsize: 27853732 KiB
Current children cumulated memory: 6110744 KiB

Child status: 0
Real time (s): 21.9424
CPU time (s): 39.1563
CPU user time (s): 35.9981
CPU system time (s): 3.15816
CPU usage (%): 178.45
Max. virtual memory (cumulated for all children) (KiB): 29082484
Max. memory (cumulated for all children) (KiB): 6591092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.9981
system time used= 3.15816
maximum resident set size= 6117116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127651
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 185650
involuntary context switches= 79


# summary of solver processes directly reported to runsolver:
#   pid: 10397
#   total CPU time (s): 39.1563
#   total CPU user time (s): 35.9981
#   total CPU system time (s): 3.15816

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.185602 second user time and 0.2638 second system time

The end

Launcher Data 

Begin job on node138 at 2018-07-27 02:35:15
IDJOB=4297126
IDBENCH=141327
IDSOLVER=2759
FILE ID=node138/4297126-1532651714
RUNJOBID= node138-1532644112-9768
PBS_JOBID= 21022198
Free space on /tmp= 53804 MiB

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

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

MD5SUM BENCH= 8720a51077744f6e775f5d31127f86ee
RANDOM SEED=1302843382

node138.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.71
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.71
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.71
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.71
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:        17532900 kB
MemAvailable:   31920408 kB
Buffers:          205744 kB
Cached:         14325196 kB
SwapCached:           44 kB
Active:          2434720 kB
Inactive:       12157008 kB
Active(anon):      11348 kB
Inactive(anon):    77300 kB
Active(file):    2423372 kB
Inactive(file): 12079708 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:              8324 kB
Writeback:             0 kB
AnonPages:         80172 kB
Mapped:            36008 kB
Shmem:             25164 kB
Slab:             340820 kB
SReclaimable:     312888 kB
SUnreclaim:        27932 kB
KernelStack:        3520 kB
PageTables:         5076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     325280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 53792 MiB
End job on node138 at 2018-07-27 02:35:37