Trace number 4405571

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)SAT 161.584 30.6519

General information on the benchmark

NameLatinSquare/LatinSquare-m1-gp/
qwh-o30-h374-05.xml
MD5SUM28a405c699ff9e569ded15e71872b7af
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark10.4884
Satisfiable
(Un)Satisfiability was proved
Number of variables900
Number of constraints2
Number of domains1
Minimum domain size30
Maximum domain size30
Distribution of domain sizes[{"size":30,"count":900}]
Minimum variable degree1
Maximum variable degree2
Distribution of variable degrees[{"degree":1,"count":374},{"degree":2,"count":526}]
Minimum constraint arity526
Maximum constraint arity900
Distribution of constraint arities[{"arity":526,"count":1},{"arity":900,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":1},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-19282-serial-file.bin HOME/instance-4405571-1569359105.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Tue Sep 24 22:03:02 CEST 2019
0.65/0.57	c PID: 19285
0.65/0.57	c IP: 172.20.3.107
0.65/0.57	c HOST: node107.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.65/1.06	c (0,0) Parsing End
1.65/1.07	c (0,0) CSP: 866 int (0 aux), 34 bool (0 aux), 2 ctr, max domain size 30
1.65/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.65/1.07	c (0,0) Constraint Name Generate Begin
1.65/1.08	c (0,0) Ctr:HOME/instance-4405571-1569359105.xml,AllDifferentMatrix:Instantiation:Var
1.65/1.08	c (0,0) Constraint Name Generate End
1.65/1.08	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.65/1.08	c (0,0) CSP to CSPinCNF Begin
1.88/1.11	c (0,0) translated 1 (10%) constraints
5.74/2.82	c (2,2) translated 2 (20%) constraints
5.74/2.84	c (2,2) ===========================================
6.08/2.93	c (2,2) Hybrid: #OE=374, #LE=526
6.08/2.93	c (2,2) Hybrid
6.08/2.93	c (2,2) ===========================================
7.94/3.48	c (2,2) translated 2855 (10%) constraints
9.20/3.82	c (3,3) translated 5710 (20%) constraints
9.65/4.15	c (3,3) translated 8564 (30%) constraints
9.94/4.45	c (3,3) translated 11419 (40%) constraints
10.25/4.78	c (4,4) translated 14273 (50%) constraints
10.59/5.06	c (4,4) translated 17128 (60%) constraints
10.92/5.33	c (4,4) translated 19983 (70%) constraints
11.14/5.59	c (5,5) translated 22837 (80%) constraints
11.47/5.89	c (5,5) translated 25692 (90%) constraints
11.78/6.13	c (5,5) translated 28546 (100%) constraints
11.78/6.13	c (5,5) CSP to CSPinCNF End
11.78/6.14	c (5,5) CSP: 866 int (0 aux), 27034 bool (27000 aux), 137072 ctr, max domain size 30
11.78/6.14	c (5,5) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
11.78/6.14	c (5,5) CSPinCNF Propagation Begin
15.38/8.32	c (7,7) 20463 values, 88035 unsatisfiable literals, and 91460 valid clauses are removed
15.38/8.32	c (7,7) CSPinCNF Propagation End
15.38/8.32	c (7,7) CSP: 866 int (0 aux), 27034 bool (27000 aux), 45612 ctr, max domain size 30
15.38/8.32	c (7,7) Heap : 3153 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.38/8.37	c (7,7) Hybrid: #OE=27374, #LE=526
15.38/8.37	c (7,7) Simplify CSPinCNF Begin
16.71/8.90	c (8,8) Simplify CSPinCNF End
16.71/8.91	c (8,8) CSP: 866 int (0 aux), 53096 bool (53062 aux), 71674 ctr, max domain size 30
16.71/8.91	c (8,8) Heap : 3379 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.71/8.91	c (8,8) Calculate Precise Domain Begin
16.71/8.92	c (8,8) 0 values are removed by re-calculation
16.71/8.92	c (8,8) Calculate Precise Domain End
16.71/8.93	c (8,8) CSP: 866 int (0 aux), 53096 bool (53062 aux), 71674 ctr, max domain size 30
16.71/8.93	c (8,8) Heap : 3379 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.71/8.93	c (8,8) CSPinCNF to SatSolver Begin
18.52/9.49	c (8,8) 7168 (10 %) CSP clauses are encoded (0 SAT variables, 29718 SAT clauses)
19.01/9.65	c (9,9) 14335 (20 %) CSP clauses are encoded (0 SAT variables, 52329 SAT clauses)
19.28/9.81	c (9,9) 21503 (30 %) CSP clauses are encoded (0 SAT variables, 74331 SAT clauses)
19.40/9.95	c (9,9) 28670 (40 %) CSP clauses are encoded (0 SAT variables, 95430 SAT clauses)
19.52/10.09	c (9,9) 35837 (50 %) CSP clauses are encoded (0 SAT variables, 116485 SAT clauses)
19.73/10.24	c (9,9) 43005 (60 %) CSP clauses are encoded (0 SAT variables, 138689 SAT clauses)
19.84/10.39	c (9,9) 50172 (70 %) CSP clauses are encoded (0 SAT variables, 161670 SAT clauses)
20.14/10.52	c (9,9) 57340 (80 %) CSP clauses are encoded (0 SAT variables, 181702 SAT clauses)
20.24/10.65	c (10,10) 64507 (90 %) CSP clauses are encoded (0 SAT variables, 202503 SAT clauses)
20.34/10.79	c (10,10) 71674 (100 %) CSP clauses are encoded (0 SAT variables, 224412 SAT clauses)
20.34/10.79	c (10,10) CSPinCNF to SatSolver End
20.34/10.79	c (10,10) Heap : 4392 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
20.34/10.80	c (10,10) 42318 bool, 224413 clause
20.34/10.80	c (10,10) Export Begin
20.64/10.94	c (10,10) Export to HOME/scop-19282-serial-file.bin
20.64/10.94	c (10,10) Export End
20.64/10.94	c (10,10) Export File Size: 0.15 MB
20.64/10.94	c (10,10) 0,0,5,7,8,8,10,STOP-AFTER(DIMACS)
20.64/10.94	c END-Prog: Tue Sep 24 22:03:12 CEST 2019
20.64/10.99	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-19282-serial-file.bin
21.34/11.46	c (0,0) Read Serial File Begin
21.34/11.46	c (0,0) HOME/scop-19282-serial-file.bin
21.87/11.71	c (0,0) Read Serial File End
21.87/11.73	
21.87/11.73	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
21.87/11.73	(Solving Process)
21.87/11.73	
21.87/11.75	c BEGIN-Prog: Tue Sep 24 22:03:13 CEST 2019
21.87/11.75	c PID: 19305
21.87/11.75	c IP: 172.20.3.107
21.87/11.75	c HOST: node107.alineos.net
21.87/11.75	c (0,0) SatSolver.solve Begin
21.87/11.75	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405571-1569359105.xml-scop-19285.cnf
21.87/11.78	c (0,0) c
21.87/11.78	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
21.87/11.78	c (0,0) c
21.87/11.78	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
21.87/11.78	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
21.87/11.78	c (0,0) c ========================================[ Problem Statistics ]===========================================
21.87/11.78	c (0,0) c |                                                                                                       |
22.13/11.86	c (0,0) c |  Number of variables:         42318                                                                   |
22.13/11.86	c (0,0) c |  Number of clauses:          224413                                                                   |
22.13/11.86	c (0,0) c |  Parse time:                   0.08 s                                                                 |
22.13/11.86	c (0,0) c |                                                                                                       |
22.41/12.08	c (0,0) c |  Simplification time:          0.22 s                                                                 |
22.41/12.08	c (0,0) c |                                                                                                       |
22.41/12.08	c (0,0) c |  Generating clones                                                                                    |
22.60/12.21	c (0,0) c |  all clones generated. Memory =   207.82Mb.                                                           |
22.60/12.21	c (0,0) c ========================================================================================================|
22.60/12.21	c (0,0) c
22.60/12.21	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
22.60/12.21	c (0,0) c
22.60/12.21	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.60/12.21	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
22.60/12.21	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.60/12.21	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
22.60/12.21	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
22.60/12.21	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
22.60/12.21	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
22.60/12.21	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
22.60/12.21	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
22.60/12.21	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
22.60/12.21	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
22.60/12.21	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
22.60/12.21	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
22.60/12.21	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
22.60/12.21	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
22.60/12.21	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
22.60/12.21	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
22.60/12.21	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
22.60/12.21	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
160.76/30.34	c (18,0) c
160.76/30.34	c (18,0) c real time : 18.5627 s
160.76/30.34	c (18,0) c cpu time  : 138.14 s
160.76/30.34	c (18,0) c
160.76/30.34	c (18,0) c
160.76/30.34	c (18,0) c
160.76/30.34	c (18,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
160.76/30.34	c (18,0) c
160.76/30.34	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
160.76/30.34	c (18,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
160.76/30.34	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
160.76/30.34	c (18,0) c | Conflicts     |          175724 |      21943 |      22073 |      21965 |      21913 |      21981 |      22007 |      22097 |      21745 |
160.76/30.34	c (18,0) c | Decisions     |         2094580 |     260369 |     260016 |     264516 |     267087 |     258574 |     258212 |     265116 |     260690 |
160.76/30.34	c (18,0) c | Propagations  |       227401006 |   28272941 |   28560066 |   28453587 |   28580939 |   28325091 |   28408208 |   28335326 |   28464848 |
160.76/30.34	c (18,0) c | ReduceDBs     |              24 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |
160.76/30.34	c (18,0) c | SimpDBs       |             347 |         43 |         43 |         44 |         44 |         44 |         43 |         43 |         43 |
160.76/30.34	c (18,0) c | Restarts      |            2532 |        314 |        316 |        319 |        322 |        313 |        310 |        318 |        320 |
160.76/30.34	c (18,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
160.76/30.34	c (18,0) c | PropBinClauses|       527770920 |   65869055 |   65969966 |   65939885 |   66046968 |   65979953 |   65869901 |   66083137 |   66012055 |
160.76/30.34	c (18,0) c | PropPreBlocker|      2425227474 |  302806674 |  303060797 |  302536330 |  302809829 |  305197895 |  302579781 |  302855639 |  303380529 |
160.76/30.34	c (18,0) c | PropNotBlocker|       618309063 |   77622169 |   77268887 |   77094187 |   76965521 |   78249031 |   77090828 |   77108468 |   76909972 |
160.76/30.34	c (18,0) c | LitFullScans  |      4182214141 |  522351846 |  522314724 |  522121450 |  522193256 |  526928206 |  522122087 |  522158767 |  522023805 |
160.76/30.34	c (18,0) c | LitScanFracts |         1220267 |     348583 |     276593 |     114902 |     180166 |      52332 |      93850 |     144068 |       9773 |
160.76/30.34	c (18,0) c | DecisionLevel0|           13274 |       1646 |       1653 |       1676 |       1665 |       1644 |       1674 |       1669 |       1647 |
160.76/30.34	c (18,0) c | Periods       |             696 |         87 |         87 |         87 |         87 |         87 |         87 |         87 |         87 |
160.76/30.34	c (18,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
160.76/30.34	c (18,0) c | Avg_Trail     |                 |       8611 |       8551 |       8544 |       8621 |       8642 |       8581 |       8536 |       8600 |
160.76/30.34	c (18,0) c | Avg_DL        |                 |         96 |         95 |         97 |         99 |         96 |         95 |         97 |         97 |
160.76/30.34	c (18,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
160.76/30.34	c (18,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
160.76/30.34	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
160.76/30.34	c (18,0) c | Exported      |           39238 |       4953 |       4882 |       4963 |       4976 |       4868 |       4987 |       4836 |       4773 |
160.76/30.34	c (18,0) c | Imported      |          238393 |      29742 |      29727 |      29771 |      29745 |      30109 |      29708 |      29772 |      29819 |
160.76/30.34	c (18,0) c | Good          |           51927 |       6507 |       6499 |       6493 |       6445 |       6607 |       6449 |       6463 |       6464 |
160.76/30.34	c (18,0) c | Purge         |          186466 |      23235 |      23228 |      23278 |      23300 |      23502 |      23259 |      23309 |      23355 |
160.76/30.34	c (18,0) c | Promoted      |           12749 |       1608 |       1590 |       1649 |       1558 |       1594 |       1560 |       1592 |       1598 |
160.76/30.34	c (18,0) c | Remove_Imp    |           35067 |       4162 |       4094 |       4168 |       4772 |       4856 |       4148 |       4068 |       4799 |
160.76/30.34	c (18,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
160.76/30.34	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
160.76/30.34	c (18,0) c | Unaries       |                 |       1332 |       1337 |       1357 |       1343 |       1331 |       1364 |       1351 |       1327 |
160.76/30.34	c (18,0) c | Binaries      |                 |        983 |        996 |        979 |       1047 |        917 |       1027 |       1020 |       1025 |
160.76/30.34	c (18,0) c | Glues         |                 |       1680 |       1710 |       1659 |       1723 |       1634 |       1721 |       1702 |       1719 |
160.76/30.34	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
160.76/30.34	c (18,0) c | Orig_Seen     |            31 % |      53777 |      53661 |      53760 |      53646 |      54157 |      54320 |      53858 |      53895 |
160.76/30.34	c (18,0) c | Diff Orig seen|                 | -      380 | -      496 | -      397 | -      511 |      X     |        163 | -      299 | -      262 |
160.76/30.34	c (18,0) c | Hamming       |            12 % |       5350 |       5412 |       5129 |       5242 |      X     |       4868 |       4785 |       5255 |
160.76/30.34	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
160.76/30.34	c (18,0) c | RunningTime   |                 |   17.8 100%|   18.1 100%|   17.5 100%|   17.2 100%|   16.8 100%|   17.1 100%|   16.8 100%|   17.7 100%|
160.76/30.34	c (18,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
160.76/30.34	c (18,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
160.76/30.34	c (18,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
160.76/30.34	c (18,0) c | SolvingTime   |                 |   17.8     |   18.1     |   17.5     |   17.2     |   16.8     |   17.1     |   16.8     |   17.7     |
160.76/30.34	c (18,0) c | PropagationTim|                 |   15.6  88%|   16.0  88%|   15.4  88%|   15.0  87%|   14.6  87%|   15.0  87%|   14.7  87%|   15.5  87%|
160.76/30.34	c (18,0) c | AnalysisTime  |                 |    1.0   6%|    1.0   6%|    1.0   6%|    1.0   6%|    1.0   6%|    1.0   6%|    1.0   6%|    1.1   6%|
160.76/30.34	c (18,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
160.76/30.34	c (18,0) c | SimplifyTime  |                 |    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|
160.76/30.34	c (18,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
160.76/30.34	c (18,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
160.76/30.34	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
160.76/30.34	c (18,0) c
160.76/30.34	c (18,0) c
160.76/30.34	c (18,0) c Threads : 8
160.76/30.34	c (18,0) c Winner : 4
160.76/30.34	c (18,0) c Conflicts_0 : 21943
160.76/30.34	c (18,0) c Conflicts_1 : 22073
160.76/30.34	c (18,0) c Conflicts_2 : 21965
160.76/30.34	c (18,0) c Conflicts_3 : 21913
160.76/30.34	c (18,0) c Conflicts_4 : 21981
160.76/30.34	c (18,0) c Conflicts_5 : 22007
160.76/30.34	c (18,0) c Conflicts_6 : 22097
160.76/30.34	c (18,0) c Conflicts_7 : 21745
160.76/30.34	c (18,0) c Conflicts_total : 175724
160.76/30.34	c (18,0) c Conflicts_winner : 21981
160.76/30.34	c (18,0) c Decisions_0 : 260369
160.76/30.34	c (18,0) c Decisions_1 : 260016
160.76/30.34	c (18,0) c Decisions_2 : 264516
160.76/30.34	c (18,0) c Decisions_3 : 267087
160.76/30.34	c (18,0) c Decisions_4 : 258574
160.76/30.34	c (18,0) c Decisions_5 : 258212
160.76/30.34	c (18,0) c Decisions_6 : 265116
160.76/30.34	c (18,0) c Decisions_7 : 260690
160.76/30.34	c (18,0) c Decisions_total : 2094580
160.76/30.34	c (18,0) c Decisions_winner : 258574
160.76/30.34	c (18,0) c Propagations_0 : 28272941
160.76/30.34	c (18,0) c Propagations_1 : 28560066
160.76/30.34	c (18,0) c Propagations_2 : 28453587
160.76/30.34	c (18,0) c Propagations_3 : 28580939
160.76/30.34	c (18,0) c Propagations_4 : 28325091
160.76/30.34	c (18,0) c Propagations_5 : 28408208
160.76/30.34	c (18,0) c Propagations_6 : 28335326
160.76/30.34	c (18,0) c Propagations_7 : 28464848
160.76/30.34	c (18,0) c Propagations_total : 227401006
160.76/30.34	c (18,0) c Propagations_winner : 28325091
160.76/30.34	c (18,0) c ReduceDBs_0 : 3
160.76/30.34	c (18,0) c ReduceDBs_1 : 3
160.76/30.34	c (18,0) c ReduceDBs_2 : 3
160.76/30.34	c (18,0) c ReduceDBs_3 : 3
160.76/30.34	c (18,0) c ReduceDBs_4 : 3
160.76/30.34	c (18,0) c ReduceDBs_5 : 3
160.76/30.34	c (18,0) c ReduceDBs_6 : 3
160.76/30.34	c (18,0) c ReduceDBs_7 : 3
160.76/30.34	c (18,0) c ReduceDBs_total : 24
160.76/30.34	c (18,0) c ReduceDBs_winner : 3
160.76/30.34	c (18,0) c SimpDBs_0 : 43
160.76/30.34	c (18,0) c SimpDBs_1 : 43
160.76/30.34	c (18,0) c SimpDBs_2 : 44
160.76/30.34	c (18,0) c SimpDBs_3 : 44
160.76/30.34	c (18,0) c SimpDBs_4 : 44
160.76/30.34	c (18,0) c SimpDBs_5 : 43
160.76/30.34	c (18,0) c SimpDBs_6 : 43
160.76/30.34	c (18,0) c SimpDBs_7 : 43
160.76/30.34	c (18,0) c SimpDBs_total : 347
160.76/30.34	c (18,0) c SimpDBs_winner : 44
160.76/30.34	c (18,0) c Restarts_0 : 314
160.76/30.34	c (18,0) c Restarts_1 : 316
160.76/30.34	c (18,0) c Restarts_2 : 319
160.76/30.34	c (18,0) c Restarts_3 : 322
160.76/30.34	c (18,0) c Restarts_4 : 313
160.76/30.34	c (18,0) c Restarts_5 : 310
160.76/30.34	c (18,0) c Restarts_6 : 318
160.76/30.34	c (18,0) c Restarts_7 : 320
160.76/30.34	c (18,0) c Restarts_total : 2532
160.76/30.34	c (18,0) c Restarts_winner : 313
160.76/30.34	c (18,0) c ForcedImports_0 : 0
160.76/30.34	c (18,0) c ForcedImports_1 : 0
160.76/30.34	c (18,0) c ForcedImports_2 : 0
160.76/30.34	c (18,0) c ForcedImports_3 : 0
160.76/30.34	c (18,0) c ForcedImports_4 : 0
160.76/30.34	c (18,0) c ForcedImports_5 : 0
160.76/30.34	c (18,0) c ForcedImports_6 : 0
160.76/30.34	c (18,0) c ForcedImports_7 : 0
160.76/30.34	c (18,0) c ForcedImports_total : 0
160.76/30.34	c (18,0) c ForcedImports_winner : 0
160.76/30.34	c (18,0) c PropsBinClauses_0 : 65869055
160.76/30.34	c (18,0) c PropsBinClauses_1 : 65969966
160.76/30.34	c (18,0) c PropsBinClauses_2 : 65939885
160.76/30.34	c (18,0) c PropsBinClauses_3 : 66046968
160.76/30.34	c (18,0) c PropsBinClauses_4 : 65979953
160.76/30.34	c (18,0) c PropsBinClauses_5 : 65869901
160.76/30.34	c (18,0) c PropsBinClauses_6 : 66083137
160.76/30.34	c (18,0) c PropsBinClauses_7 : 66012055
160.76/30.34	c (18,0) c PropsBinClauses_total : 527770920
160.76/30.34	c (18,0) c PropsBinClauses_winner : 65979953
160.76/30.34	c (18,0) c PropsPreBlocker_0 : 302806674
160.76/30.34	c (18,0) c PropsPreBlocker_1 : 303060797
160.76/30.34	c (18,0) c PropsPreBlocker_2 : 302536330
160.76/30.34	c (18,0) c PropsPreBlocker_3 : 302809829
160.76/30.34	c (18,0) c PropsPreBlocker_4 : 305197895
160.76/30.34	c (18,0) c PropsPreBlocker_5 : 302579781
160.76/30.34	c (18,0) c PropsPreBlocker_6 : 302855639
160.76/30.34	c (18,0) c PropsPreBlocker_7 : 303380529
160.76/30.34	c (18,0) c PropsPreBlocker_total : 2425227474
160.76/30.34	c (18,0) c PropsPreBlocker_winner : 305197895
160.76/30.34	c (18,0) c PropsNotBlocker_0 : 77622169
160.76/30.34	c (18,0) c PropsNotBlocker_1 : 77268887
160.76/30.34	c (18,0) c PropsNotBlocker_2 : 77094187
160.76/30.34	c (18,0) c PropsNotBlocker_3 : 76965521
160.76/30.34	c (18,0) c PropsNotBlocker_4 : 78249031
160.76/30.34	c (18,0) c PropsNotBlocker_5 : 77090828
160.76/30.34	c (18,0) c PropsNotBlocker_6 : 77108468
160.76/30.34	c (18,0) c PropsNotBlocker_7 : 76909972
160.76/30.34	c (18,0) c PropsNotBlocker_total : 618309063
160.76/30.34	c (18,0) c PropsNotBlocker_winner : 78249031
160.76/30.34	c (18,0) c PropsLitFullScans_0 : 522351846
160.76/30.34	c (18,0) c PropsLitFullScans_1 : 522314724
160.76/30.34	c (18,0) c PropsLitFullScans_2 : 522121450
160.76/30.34	c (18,0) c PropsLitFullScans_3 : 522193256
160.76/30.34	c (18,0) c PropsLitFullScans_4 : 526928206
160.76/30.34	c (18,0) c PropsLitFullScans_5 : 522122087
160.76/30.35	c (18,0) c PropsLitFullScans_6 : 522158767
160.76/30.35	c (18,0) c PropsLitFullScans_7 : 522023805
160.76/30.35	c (18,0) c PropsLitFullScans_total : 4182214141
160.76/30.35	c (18,0) c PropsLitFullScans_winner : 526928206
160.76/30.35	c (18,0) c LitScanFractions_0 : 348583
160.76/30.35	c (18,0) c LitScanFractions_1 : 276593
160.76/30.35	c (18,0) c LitScanFractions_2 : 114902
160.76/30.35	c (18,0) c LitScanFractions_3 : 180166
160.76/30.35	c (18,0) c LitScanFractions_4 : 52332
160.76/30.35	c (18,0) c LitScanFractions_5 : 93850
160.76/30.35	c (18,0) c LitScanFractions_6 : 144068
160.76/30.35	c (18,0) c LitScanFractions_7 : 9773
160.76/30.35	c (18,0) c LitScanFractions_total : 1220267
160.76/30.35	c (18,0) c LitScanFractions_winner : 52332
160.76/30.35	c (18,0) c DecisionLevel0_0 : 1646
160.76/30.35	c (18,0) c DecisionLevel0_1 : 1653
160.76/30.35	c (18,0) c DecisionLevel0_2 : 1676
160.76/30.35	c (18,0) c DecisionLevel0_3 : 1665
160.76/30.35	c (18,0) c DecisionLevel0_4 : 1644
160.76/30.35	c (18,0) c DecisionLevel0_5 : 1674
160.76/30.35	c (18,0) c DecisionLevel0_6 : 1669
160.76/30.35	c (18,0) c DecisionLevel0_7 : 1647
160.76/30.35	c (18,0) c DecisionLevel0_total : 13274
160.76/30.35	c (18,0) c DecisionLevel0_winner : 1644
160.76/30.35	c (18,0) c Periods_0 : 87
160.76/30.35	c (18,0) c Periods_1 : 87
160.76/30.35	c (18,0) c Periods_2 : 87
160.76/30.35	c (18,0) c Periods_3 : 87
160.76/30.35	c (18,0) c Periods_4 : 87
160.76/30.35	c (18,0) c Periods_5 : 87
160.76/30.35	c (18,0) c Periods_6 : 87
160.76/30.35	c (18,0) c Periods_7 : 87
160.76/30.35	c (18,0) c Periods_total : 696
160.76/30.35	c (18,0) c Periods_winner : 87
160.76/30.35	c (18,0) c Margin_0 : 20
160.76/30.35	c (18,0) c Margin_1 : 20
160.76/30.35	c (18,0) c Margin_2 : 20
160.76/30.35	c (18,0) c Margin_3 : 20
160.76/30.35	c (18,0) c Margin_4 : 20
160.76/30.35	c (18,0) c Margin_5 : 20
160.76/30.35	c (18,0) c Margin_6 : 20
160.76/30.35	c (18,0) c Margin_7 : 20
160.76/30.35	c (18,0) c Margin_total : 160
160.76/30.35	c (18,0) c Margin_winner : 20
160.76/30.35	c (18,0) c Exported_0 : 4953
160.76/30.35	c (18,0) c Exported_1 : 4882
160.76/30.35	c (18,0) c Exported_2 : 4963
160.76/30.35	c (18,0) c Exported_3 : 4976
160.76/30.35	c (18,0) c Exported_4 : 4868
160.76/30.35	c (18,0) c Exported_5 : 4987
160.76/30.35	c (18,0) c Exported_6 : 4836
160.76/30.35	c (18,0) c Exported_7 : 4773
160.76/30.35	c (18,0) c Exported_total : 39238
160.76/30.35	c (18,0) c Exported_winner : 4868
160.76/30.35	c (18,0) c Imported_0 : 29742
160.76/30.35	c (18,0) c Imported_1 : 29727
160.76/30.35	c (18,0) c Imported_2 : 29771
160.76/30.35	c (18,0) c Imported_3 : 29745
160.76/30.35	c (18,0) c Imported_4 : 30109
160.76/30.35	c (18,0) c Imported_5 : 29708
160.76/30.35	c (18,0) c Imported_6 : 29772
160.76/30.35	c (18,0) c Imported_7 : 29819
160.76/30.35	c (18,0) c Imported_total : 238393
160.76/30.35	c (18,0) c Imported_winner : 30109
160.76/30.35	c (18,0) c Good_0 : 6507
160.76/30.35	c (18,0) c Good_1 : 6499
160.76/30.35	c (18,0) c Good_2 : 6493
160.76/30.35	c (18,0) c Good_3 : 6445
160.76/30.35	c (18,0) c Good_4 : 6607
160.76/30.35	c (18,0) c Good_5 : 6449
160.76/30.35	c (18,0) c Good_6 : 6463
160.76/30.35	c (18,0) c Good_7 : 6464
160.76/30.35	c (18,0) c Good_total : 51927
160.76/30.35	c (18,0) c Good_winner : 6607
160.76/30.35	c (18,0) c Purge_0 : 23235
160.76/30.35	c (18,0) c Purge_1 : 23228
160.76/30.35	c (18,0) c Purge_2 : 23278
160.76/30.35	c (18,0) c Purge_3 : 23300
160.76/30.35	c (18,0) c Purge_4 : 23502
160.76/30.35	c (18,0) c Purge_5 : 23259
160.76/30.35	c (18,0) c Purge_6 : 23309
160.76/30.35	c (18,0) c Purge_7 : 23355
160.76/30.35	c (18,0) c Purge_total : 186466
160.76/30.35	c (18,0) c Purge_winner : 23502
160.76/30.35	c (18,0) c Promoted_0 : 1608
160.76/30.35	c (18,0) c Promoted_1 : 1590
160.76/30.35	c (18,0) c Promoted_2 : 1649
160.76/30.35	c (18,0) c Promoted_3 : 1558
160.76/30.35	c (18,0) c Promoted_4 : 1594
160.76/30.35	c (18,0) c Promoted_5 : 1560
160.76/30.35	c (18,0) c Promoted_6 : 1592
160.76/30.35	c (18,0) c Promoted_7 : 1598
160.76/30.35	c (18,0) c Promoted_total : 12749
160.76/30.35	c (18,0) c Promoted_winner : 1594
160.76/30.35	c (18,0) c Remove_Imp_0 : 4162
160.76/30.35	c (18,0) c Remove_Imp_1 : 4094
160.76/30.35	c (18,0) c Remove_Imp_2 : 4168
160.76/30.35	c (18,0) c Remove_Imp_3 : 4772
160.76/30.35	c (18,0) c Remove_Imp_4 : 4856
160.76/30.35	c (18,0) c Remove_Imp_5 : 4148
160.76/30.35	c (18,0) c Remove_Imp_6 : 4068
160.76/30.35	c (18,0) c Remove_Imp_7 : 4799
160.76/30.35	c (18,0) c Remove_Imp_total : 35067
160.76/30.35	c (18,0) c Remove_Imp_winner : 4856
160.76/30.35	c (18,0) c Blocked_Reuse_0 : 0
160.76/30.35	c (18,0) c Blocked_Reuse_1 : 0
160.76/30.35	c (18,0) c Blocked_Reuse_2 : 0
160.76/30.35	c (18,0) c Blocked_Reuse_3 : 0
160.76/30.35	c (18,0) c Blocked_Reuse_4 : 0
160.76/30.35	c (18,0) c Blocked_Reuse_5 : 0
160.76/30.35	c (18,0) c Blocked_Reuse_6 : 0
160.76/30.35	c (18,0) c Blocked_Reuse_7 : 0
160.76/30.35	c (18,0) c Blocked_Reuse_total : 0
160.76/30.35	c (18,0) c Blocked_Reuse_winner : 0
160.76/30.35	c (18,0) c Unaries_0 : 1332
160.76/30.35	c (18,0) c Unaries_1 : 1337
160.76/30.35	c (18,0) c Unaries_2 : 1357
160.76/30.35	c (18,0) c Unaries_3 : 1343
160.76/30.35	c (18,0) c Unaries_4 : 1331
160.76/30.35	c (18,0) c Unaries_5 : 1364
160.76/30.35	c (18,0) c Unaries_6 : 1351
160.76/30.35	c (18,0) c Unaries_7 : 1327
160.76/30.35	c (18,0) c Unaries_total : 10742
160.76/30.35	c (18,0) c Unaries_winner : 1331
160.76/30.35	c (18,0) c Binaries_0 : 983
160.76/30.35	c (18,0) c Binaries_1 : 996
160.76/30.35	c (18,0) c Binaries_2 : 979
160.76/30.35	c (18,0) c Binaries_3 : 1047
160.76/30.35	c (18,0) c Binaries_4 : 917
160.76/30.35	c (18,0) c Binaries_5 : 1027
160.76/30.35	c (18,0) c Binaries_6 : 1020
160.76/30.35	c (18,0) c Binaries_7 : 1025
160.76/30.35	c (18,0) c Binaries_total : 7994
160.76/30.35	c (18,0) c Binaries_winner : 917
160.76/30.35	c (18,0) c Glues_0 : 1680
160.76/30.35	c (18,0) c Glues_1 : 1710
160.76/30.35	c (18,0) c Glues_2 : 1659
160.76/30.35	c (18,0) c Glues_3 : 1723
160.76/30.35	c (18,0) c Glues_4 : 1634
160.76/30.35	c (18,0) c Glues_5 : 1721
160.76/30.35	c (18,0) c Glues_6 : 1702
160.76/30.35	c (18,0) c Glues_7 : 1719
160.76/30.35	c (18,0) c Glues_total : 13548
160.76/30.35	c (18,0) c Glues_winner : 1634
160.76/30.35	c (18,0) c RunningTime_0 : 17.769720
160.76/30.35	c (18,0) c RunningTime_1 : 18.106447
160.76/30.35	c (18,0) c RunningTime_2 : 17.493924
160.76/30.35	c (18,0) c RunningTime_3 : 17.164586
160.76/30.35	c (18,0) c RunningTime_4 : 16.754476
160.76/30.35	c (18,0) c RunningTime_5 : 17.132102
160.76/30.35	c (18,0) c RunningTime_6 : 16.779265
160.76/30.35	c (18,0) c RunningTime_7 : 17.680259
160.76/30.35	c (18,0) c RunningTime_total : 138.880780
160.76/30.35	c (18,0) c RunningTime_winner : 16.754476
160.76/30.35	c (18,0) c WaitingTime_0 : 0.000101
160.76/30.35	c (18,0) c WaitingTime_1 : 0.000080
160.76/30.35	c (18,0) c WaitingTime_2 : 0.000099
160.76/30.35	c (18,0) c WaitingTime_3 : 0.000107
160.76/30.35	c (18,0) c WaitingTime_4 : 0.000112
160.76/30.35	c (18,0) c WaitingTime_5 : 0.000102
160.76/30.35	c (18,0) c WaitingTime_6 : 0.000090
160.76/30.35	c (18,0) c WaitingTime_7 : 0.000097
160.76/30.35	c (18,0) c WaitingTime_total : 0.000788
160.76/30.35	c (18,0) c WaitingTime_winner : 0.000112
160.76/30.35	c (18,0) c ExchangingTime_0 : 0.013986
160.76/30.35	c (18,0) c ExchangingTime_1 : 0.015258
160.76/30.35	c (18,0) c ExchangingTime_2 : 0.014173
160.76/30.35	c (18,0) c ExchangingTime_3 : 0.019380
160.76/30.35	c (18,0) c ExchangingTime_4 : 0.014544
160.76/30.35	c (18,0) c ExchangingTime_5 : 0.015100
160.76/30.35	c (18,0) c ExchangingTime_6 : 0.014245
160.76/30.35	c (18,0) c ExchangingTime_7 : 0.015672
160.76/30.35	c (18,0) c ExchangingTime_total : 0.122358
160.76/30.35	c (18,0) c ExchangingTime_winner : 0.014544
160.76/30.35	c (18,0) c PeriodProcTime_0 : 0.000669
160.76/30.35	c (18,0) c PeriodProcTime_1 : 0.000944
160.76/30.35	c (18,0) c PeriodProcTime_2 : 0.000652
160.76/30.35	c (18,0) c PeriodProcTime_3 : 0.000865
160.76/30.35	c (18,0) c PeriodProcTime_4 : 0.000726
160.76/30.35	c (18,0) c PeriodProcTime_5 : 0.000859
160.76/30.35	c (18,0) c PeriodProcTime_6 : 0.000664
160.76/30.35	c (18,0) c PeriodProcTime_7 : 0.000968
160.76/30.35	c (18,0) c PeriodProcTime_total : 0.006347
160.76/30.35	c (18,0) c PeriodProcTime_winner : 0.000726
160.76/30.35	c (18,0) c SolvingTime_0 : 17.784476
160.76/30.35	c (18,0) c SolvingTime_1 : 18.122728
160.76/30.35	c (18,0) c SolvingTime_2 : 17.508848
160.76/30.35	c (18,0) c SolvingTime_3 : 17.184937
160.76/30.35	c (18,0) c SolvingTime_4 : 16.769859
160.76/30.35	c (18,0) c SolvingTime_5 : 17.148164
160.76/30.35	c (18,0) c SolvingTime_6 : 16.794264
160.76/30.35	c (18,0) c SolvingTime_7 : 17.696997
160.76/30.35	c (18,0) c SolvingTime_total : 139.010273
160.76/30.35	c (18,0) c SolvingTime_winner : 16.769859
160.76/30.35	c (18,0) c PropagationTime_0 : 15.640875
160.76/30.35	c (18,0) c PropagationTime_1 : 15.981641
160.76/30.35	c (18,0) c PropagationTime_2 : 15.356791
160.76/30.35	c (18,0) c PropagationTime_3 : 15.026914
160.76/30.35	c (18,0) c PropagationTime_4 : 14.626903
160.76/30.35	c (18,0) c PropagationTime_5 : 14.967651
160.76/30.35	c (18,0) c PropagationTime_6 : 14.674100
160.76/30.35	c (18,0) c PropagationTime_7 : 15.461690
160.76/30.35	c (18,0) c PropagationTime_total : 121.736564
160.76/30.35	c (18,0) c PropagationTime_winner : 14.626903
160.76/30.35	c (18,0) c AnalysisTime_0 : 1.025703
160.76/30.35	c (18,0) c AnalysisTime_1 : 0.996849
160.76/30.35	c (18,0) c AnalysisTime_2 : 1.020438
160.76/30.35	c (18,0) c AnalysisTime_3 : 1.013058
160.76/30.35	c (18,0) c AnalysisTime_4 : 1.024167
160.76/30.35	c (18,0) c AnalysisTime_5 : 1.039239
160.76/30.35	c (18,0) c AnalysisTime_6 : 1.011530
160.76/30.35	c (18,0) c AnalysisTime_7 : 1.076597
160.76/30.35	c (18,0) c AnalysisTime_total : 8.207581
160.76/30.35	c (18,0) c AnalysisTime_winner : 1.024167
160.76/30.35	c (18,0) c ReductionTime_0 : 0.032448
160.76/30.35	c (18,0) c ReductionTime_1 : 0.033643
160.76/30.35	c (18,0) c ReductionTime_2 : 0.030470
160.76/30.35	c (18,0) c ReductionTime_3 : 0.031099
160.76/30.35	c (18,0) c ReductionTime_4 : 0.029844
160.76/30.35	c (18,0) c ReductionTime_5 : 0.030376
160.76/30.35	c (18,0) c ReductionTime_6 : 0.029881
160.76/30.35	c (18,0) c ReductionTime_7 : 0.033028
160.76/30.35	c (18,0) c ReductionTime_total : 0.250789
160.76/30.35	c (18,0) c ReductionTime_winner : 0.029844
160.76/30.35	c (18,0) c SimplifyTime_0 : 0.228821
160.76/30.35	c (18,0) c SimplifyTime_1 : 0.240126
160.76/30.35	c (18,0) c SimplifyTime_2 : 0.249528
160.76/30.35	c (18,0) c SimplifyTime_3 : 0.244247
160.76/30.35	c (18,0) c SimplifyTime_4 : 0.239397
160.76/30.35	c (18,0) c SimplifyTime_5 : 0.244607
160.76/30.35	c (18,0) c SimplifyTime_6 : 0.237911
160.76/30.35	c (18,0) c SimplifyTime_7 : 0.239742
160.76/30.35	c (18,0) c SimplifyTime_total : 1.924379
160.76/30.35	c (18,0) c SimplifyTime_winner : 0.239397
160.76/30.35	c (18,0) c UsedRateTime_0 : 0.000000
160.76/30.35	c (18,0) c UsedRateTime_1 : 0.000000
160.76/30.35	c (18,0) c UsedRateTime_2 : 0.000000
160.76/30.35	c (18,0) c UsedRateTime_3 : 0.000000
160.76/30.35	c (18,0) c UsedRateTime_4 : 0.000000
160.76/30.35	c (18,0) c UsedRateTime_5 : 0.000000
160.76/30.35	c (18,0) c UsedRateTime_6 : 0.000000
160.76/30.35	c (18,0) c UsedRateTime_7 : 0.000000
160.76/30.35	c (18,0) c UsedRateTime_total : 0.000000
160.76/30.35	c (18,0) c UsedRateTime_winner : 0.000000
160.76/30.35	c (18,0) c OverlapRateTime_0 : 0.000000
160.76/30.35	c (18,0) c OverlapRateTime_1 : 0.000000
160.76/30.35	c (18,0) c OverlapRateTime_2 : 0.000000
160.76/30.35	c (18,0) c OverlapRateTime_3 : 0.000000
160.76/30.35	c (18,0) c OverlapRateTime_4 : 0.000000
160.76/30.35	c (18,0) c OverlapRateTime_5 : 0.000000
160.76/30.35	c (18,0) c OverlapRateTime_6 : 0.000000
160.76/30.35	c (18,0) c OverlapRateTime_7 : 0.000000
160.76/30.35	c (18,0) c OverlapRateTime_total : 0.000000
160.76/30.35	c (18,0) c OverlapRateTime_winner : 0.000000
160.76/30.35	c (18,0) c
160.76/30.35	c (18,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
160.76/30.35	c (18,0) c
160.76/30.35	c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
160.76/30.35	c (18,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
160.76/30.35	c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
160.76/30.35	c (18,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
160.76/30.35	c (18,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
160.76/30.35	c (18,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
160.76/30.35	c (18,0) c | Initial random_seed   | 1472297644 | 1132639568 |  531666163 |   27573521 |  228709105 | 1017111629 | 1468260398 |  803154783 |
160.76/30.35	c (18,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
160.76/30.35	c (18,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
160.76/30.35	c (18,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
160.76/30.35	c (18,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
160.76/30.35	c (18,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
160.76/30.35	c (18,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
160.76/30.35	c (18,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
160.76/30.35	c (18,0) c | var_decay             |     0.8400 |     0.8400 |     0.8400 |     0.8400 |     0.8400 |     0.8400 |     0.8400 |     0.8400 |
160.76/30.35	c (18,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
160.76/30.35	c (18,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
160.76/30.35	c (18,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
160.76/30.35	c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
160.76/30.35	c (18,0) 
160.76/30.35	c (18,0) s SATISFIABLE
161.01/30.41	c (19,0) SatSolver.solve End
161.01/30.41	c (19,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
161.01/30.41	c (19,0) Show results Begin
161.47/30.60	c (19,0) x[0][0] = 24
161.47/30.60	c (19,0) x[0][1] = 17
161.47/30.60	c (19,0) x[0][2] = 15
161.47/30.60	c (19,0) x[0][3] = 18
161.47/30.60	c (19,0) x[0][4] = 3
161.47/30.60	c (19,0) x[0][5] = 22
161.47/30.60	c (19,0) x[0][6] = 5
161.47/30.60	c (19,0) x[0][7] = 6
161.47/30.60	c (19,0) x[0][8] = 19
161.47/30.60	c (19,0) x[0][9] = 0
161.47/30.60	c (19,0) x[0][10] = 9
161.47/30.60	c (19,0) x[0][11] = 11
161.47/30.60	c (19,0) x[0][12] = 28
161.47/30.60	c (19,0) x[0][13] = 14
161.47/30.60	c (19,0) x[0][14] = 13
161.47/30.60	c (19,0) x[0][15] = 16
161.47/30.60	c (19,0) x[0][16] = 27
161.47/30.60	c (19,0) x[0][17] = 12
161.47/30.60	c (19,0) x[0][18] = 10
161.47/30.60	c (19,0) x[0][19] = 23
161.47/30.60	c (19,0) x[0][20] = 2
161.47/30.60	c (19,0) x[0][21] = 1
161.47/30.60	c (19,0) x[0][22] = 25
161.47/30.60	c (19,0) x[0][23] = 8
161.47/30.60	c (19,0) x[0][24] = 26
161.47/30.60	c (19,0) x[0][25] = 21
161.47/30.60	c (19,0) x[0][26] = 29
161.47/30.60	c (19,0) x[0][27] = 20
161.47/30.60	c (19,0) x[0][28] = 7
161.47/30.60	c (19,0) x[0][29] = 4
161.47/30.60	c (19,0) x[1][0] = 4
161.47/30.60	c (19,0) x[1][1] = 6
161.47/30.61	c (19,0) x[1][2] = 5
161.47/30.61	c (19,0) x[1][3] = 9
161.47/30.61	c (19,0) x[1][4] = 26
161.47/30.61	c (19,0) x[1][5] = 13
161.47/30.61	c (19,0) x[1][6] = 27
161.47/30.61	c (19,0) x[1][7] = 16
161.47/30.61	c (19,0) x[1][8] = 2
161.47/30.61	c (19,0) x[1][9] = 14
161.47/30.61	c (19,0) x[1][10] = 3
161.47/30.61	c (19,0) x[1][11] = 15
161.47/30.61	c (19,0) x[1][12] = 12
161.47/30.61	c (19,0) x[1][13] = 8
161.47/30.61	c (19,0) x[1][14] = 19
161.47/30.61	c (19,0) x[1][15] = 22
161.47/30.61	c (19,0) x[1][16] = 1
161.47/30.61	c (19,0) x[1][17] = 28
161.47/30.61	c (19,0) x[1][18] = 0
161.47/30.61	c (19,0) x[1][19] = 29
161.47/30.61	c (19,0) x[1][20] = 17
161.47/30.61	c (19,0) x[1][21] = 25
161.47/30.61	c (19,0) x[1][22] = 24
161.47/30.61	c (19,0) x[1][23] = 20
161.47/30.61	c (19,0) x[1][24] = 10
161.47/30.61	c (19,0) x[1][25] = 11
161.47/30.61	c (19,0) x[1][26] = 23
161.47/30.61	c (19,0) x[1][27] = 7
161.47/30.61	c (19,0) x[1][28] = 21
161.47/30.61	c (19,0) x[1][29] = 18
161.47/30.61	c (19,0) x[2][0] = 13
161.47/30.61	c (19,0) x[2][1] = 5
161.47/30.61	c (19,0) x[2][2] = 10
161.47/30.61	c (19,0) x[2][3] = 0
161.47/30.61	c (19,0) x[2][4] = 11
161.47/30.61	c (19,0) x[2][5] = 3
161.47/30.61	c (19,0) x[2][6] = 7
161.47/30.61	c (19,0) x[2][7] = 26
161.47/30.61	c (19,0) x[2][8] = 22
161.47/30.61	c (19,0) x[2][9] = 17
161.47/30.61	c (19,0) x[2][10] = 23
161.47/30.61	c (19,0) x[2][11] = 8
161.47/30.61	c (19,0) x[2][12] = 1
161.47/30.61	c (19,0) x[2][13] = 29
161.47/30.61	c (19,0) x[2][14] = 16
161.47/30.61	c (19,0) x[2][15] = 18
161.47/30.61	c (19,0) x[2][16] = 20
161.47/30.61	c (19,0) x[2][17] = 21
161.47/30.61	c (19,0) x[2][18] = 2
161.47/30.61	c (19,0) x[2][19] = 15
161.47/30.61	c (19,0) x[2][20] = 28
161.47/30.61	c (19,0) x[2][21] = 6
161.47/30.61	c (19,0) x[2][22] = 19
161.47/30.61	c (19,0) x[2][23] = 27
161.47/30.61	c (19,0) x[2][24] = 14
161.47/30.61	c (19,0) x[2][25] = 9
161.47/30.62	c (19,0) x[2][26] = 12
161.47/30.62	c (19,0) x[2][27] = 24
161.47/30.62	c (19,0) x[2][28] = 4
161.47/30.62	c (19,0) x[2][29] = 25
161.47/30.62	c (19,0) x[3][0] = 8
161.47/30.62	c (19,0) x[3][1] = 29
161.47/30.62	c (19,0) x[3][2] = 12
161.47/30.62	c (19,0) x[3][3] = 3
161.47/30.62	c (19,0) x[3][4] = 5
161.47/30.62	c (19,0) x[3][5] = 4
161.47/30.62	c (19,0) x[3][6] = 13
161.47/30.62	c (19,0) x[3][7] = 2
161.47/30.62	c (19,0) x[3][8] = 14
161.47/30.62	c (19,0) x[3][9] = 19
161.47/30.62	c (19,0) x[3][10] = 17
161.47/30.62	c (19,0) x[3][11] = 27
161.47/30.62	c (19,0) x[3][12] = 25
161.47/30.62	c (19,0) x[3][13] = 16
161.47/30.62	c (19,0) x[3][14] = 11
161.47/30.62	c (19,0) x[3][15] = 24
161.47/30.62	c (19,0) x[3][16] = 21
161.47/30.62	c (19,0) x[3][17] = 23
161.47/30.62	c (19,0) x[3][18] = 1
161.47/30.62	c (19,0) x[3][19] = 10
161.47/30.62	c (19,0) x[3][20] = 6
161.47/30.62	c (19,0) x[3][21] = 7
161.47/30.62	c (19,0) x[3][22] = 22
161.47/30.62	c (19,0) x[3][23] = 28
161.47/30.62	c (19,0) x[3][24] = 15
161.47/30.62	c (19,0) x[3][25] = 26
161.47/30.62	c (19,0) x[3][26] = 18
161.47/30.62	c (19,0) x[3][27] = 9
161.47/30.62	c (19,0) x[3][28] = 20
161.47/30.62	c (19,0) x[3][29] = 0
161.47/30.62	c (19,0) x[4][0] = 0
161.47/30.62	c (19,0) x[4][1] = 10
161.47/30.62	c (19,0) x[4][2] = 23
161.47/30.62	c (19,0) x[4][3] = 22
161.47/30.62	c (19,0) x[4][4] = 13
161.47/30.62	c (19,0) x[4][5] = 16
161.47/30.62	c (19,0) x[4][6] = 20
161.47/30.62	c (19,0) x[4][7] = 8
161.47/30.62	c (19,0) x[4][8] = 27
161.47/30.62	c (19,0) x[4][9] = 11
161.47/30.62	c (19,0) x[4][10] = 26
161.47/30.62	c (19,0) x[4][11] = 24
161.47/30.62	c (19,0) x[4][12] = 5
161.47/30.62	c (19,0) x[4][13] = 28
161.47/30.62	c (19,0) x[4][14] = 14
161.47/30.62	c (19,0) x[4][15] = 17
161.47/30.62	c (19,0) x[4][16] = 12
161.47/30.62	c (19,0) x[4][17] = 15
161.47/30.62	c (19,0) x[4][18] = 9
161.47/30.62	c (19,0) x[4][19] = 7
161.47/30.62	c (19,0) x[4][20] = 19
161.47/30.62	c (19,0) x[4][21] = 3
161.47/30.62	c (19,0) x[4][22] = 18
161.47/30.62	c (19,0) x[4][23] = 29
161.47/30.62	c (19,0) x[4][24] = 21
161.47/30.62	c (19,0) x[4][25] = 25
161.47/30.62	c (19,0) x[4][26] = 4
161.47/30.62	c (19,0) x[4][27] = 1
161.47/30.62	c (19,0) x[4][28] = 6
161.47/30.62	c (19,0) x[4][29] = 2
161.47/30.62	c (19,0) x[5][0] = 23
161.47/30.62	c (19,0) x[5][1] = 14
161.47/30.62	c (19,0) x[5][2] = 13
161.47/30.62	c (19,0) x[5][3] = 17
161.47/30.62	c (19,0) x[5][4] = 15
161.47/30.62	c (19,0) x[5][5] = 8
161.47/30.62	c (19,0) x[5][6] = 26
161.47/30.62	c (19,0) x[5][7] = 21
161.47/30.62	c (19,0) x[5][8] = 4
161.47/30.62	c (19,0) x[5][9] = 12
161.47/30.62	c (19,0) x[5][10] = 29
161.47/30.62	c (19,0) x[5][11] = 9
161.47/30.62	c (19,0) x[5][12] = 11
161.47/30.62	c (19,0) x[5][13] = 18
161.47/30.62	c (19,0) x[5][14] = 27
161.47/30.62	c (19,0) x[5][15] = 3
161.47/30.62	c (19,0) x[5][16] = 10
161.47/30.62	c (19,0) x[5][17] = 20
161.47/30.62	c (19,0) x[5][18] = 5
161.47/30.62	c (19,0) x[5][19] = 1
161.47/30.62	c (19,0) x[5][20] = 22
161.47/30.62	c (19,0) x[5][21] = 0
161.47/30.62	c (19,0) x[5][22] = 7
161.47/30.62	c (19,0) x[5][23] = 19
161.47/30.62	c (19,0) x[5][24] = 16
161.47/30.62	c (19,0) x[5][25] = 2
161.47/30.62	c (19,0) x[5][26] = 6
161.47/30.62	c (19,0) x[5][27] = 25
161.47/30.62	c (19,0) x[5][28] = 24
161.47/30.62	c (19,0) x[5][29] = 28
161.47/30.62	c (19,0) x[6][0] = 10
161.47/30.62	c (19,0) x[6][1] = 27
161.47/30.62	c (19,0) x[6][2] = 9
161.47/30.62	c (19,0) x[6][3] = 26
161.47/30.62	c (19,0) x[6][4] = 16
161.47/30.62	c (19,0) x[6][5] = 7
161.47/30.62	c (19,0) x[6][6] = 28
161.47/30.62	c (19,0) x[6][7] = 0
161.47/30.62	c (19,0) x[6][8] = 15
161.47/30.62	c (19,0) x[6][9] = 23
161.47/30.62	c (19,0) x[6][10] = 2
161.47/30.62	c (19,0) x[6][11] = 6
161.47/30.62	c (19,0) x[6][12] = 24
161.47/30.62	c (19,0) x[6][13] = 21
161.47/30.62	c (19,0) x[6][14] = 17
161.47/30.62	c (19,0) x[6][15] = 8
161.47/30.62	c (19,0) x[6][16] = 25
161.47/30.62	c (19,0) x[6][17] = 5
161.47/30.62	c (19,0) x[6][18] = 13
161.47/30.62	c (19,0) x[6][19] = 22
161.47/30.62	c (19,0) x[6][20] = 18
161.47/30.62	c (19,0) x[6][21] = 12
161.47/30.62	c (19,0) x[6][22] = 14
161.47/30.62	c (19,0) x[6][23] = 4
161.47/30.62	c (19,0) x[6][24] = 1
161.47/30.62	c (19,0) x[6][25] = 29
161.47/30.62	c (19,0) x[6][26] = 3
161.47/30.62	c (19,0) x[6][27] = 19
161.47/30.62	c (19,0) x[6][28] = 11
161.47/30.62	c (19,0) x[6][29] = 20
161.47/30.62	c (19,0) x[7][0] = 11
161.47/30.62	c (19,0) x[7][1] = 23
161.47/30.62	c (19,0) x[7][2] = 21
161.47/30.62	c (19,0) x[7][3] = 24
161.47/30.62	c (19,0) x[7][4] = 12
161.47/30.62	c (19,0) x[7][5] = 1
161.47/30.62	c (19,0) x[7][6] = 18
161.47/30.62	c (19,0) x[7][7] = 3
161.47/30.62	c (19,0) x[7][8] = 0
161.47/30.62	c (19,0) x[7][9] = 22
161.47/30.62	c (19,0) x[7][10] = 16
161.47/30.62	c (19,0) x[7][11] = 2
161.47/30.62	c (19,0) x[7][12] = 10
161.47/30.62	c (19,0) x[7][13] = 4
161.47/30.62	c (19,0) x[7][14] = 5
161.47/30.62	c (19,0) x[7][15] = 28
161.47/30.62	c (19,0) x[7][16] = 9
161.47/30.62	c (19,0) x[7][17] = 26
161.47/30.62	c (19,0) x[7][18] = 17
161.47/30.62	c (19,0) x[7][19] = 13
161.47/30.62	c (19,0) x[7][20] = 7
161.47/30.62	c (19,0) x[7][21] = 19
161.47/30.62	c (19,0) x[7][22] = 29
161.47/30.62	c (19,0) x[7][23] = 14
161.47/30.62	c (19,0) x[7][24] = 25
161.47/30.62	c (19,0) x[7][25] = 20
161.47/30.62	c (19,0) x[7][26] = 8
161.47/30.62	c (19,0) x[7][27] = 6
161.47/30.62	c (19,0) x[7][28] = 15
161.47/30.62	c (19,0) x[7][29] = 27
161.47/30.62	c (19,0) x[8][0] = 14
161.47/30.62	c (19,0) x[8][1] = 4
161.47/30.62	c (19,0) x[8][2] = 6
161.47/30.62	c (19,0) x[8][3] = 13
161.47/30.62	c (19,0) x[8][4] = 2
161.47/30.62	c (19,0) x[8][5] = 9
161.47/30.62	c (19,0) x[8][6] = 24
161.47/30.62	c (19,0) x[8][7] = 22
161.47/30.62	c (19,0) x[8][8] = 20
161.47/30.62	c (19,0) x[8][9] = 1
161.47/30.62	c (19,0) x[8][10] = 19
161.47/30.62	c (19,0) x[8][11] = 5
161.47/30.62	c (19,0) x[8][12] = 7
161.47/30.62	c (19,0) x[8][13] = 10
161.47/30.62	c (19,0) x[8][14] = 25
161.47/30.62	c (19,0) x[8][15] = 12
161.47/30.62	c (19,0) x[8][16] = 29
161.47/30.62	c (19,0) x[8][17] = 18
161.47/30.62	c (19,0) x[8][18] = 15
161.47/30.62	c (19,0) x[8][19] = 16
161.47/30.62	c (19,0) x[8][20] = 0
161.47/30.62	c (19,0) x[8][21] = 17
161.47/30.62	c (19,0) x[8][22] = 11
161.47/30.62	c (19,0) x[8][23] = 3
161.47/30.62	c (19,0) x[8][24] = 23
161.47/30.62	c (19,0) x[8][25] = 28
161.47/30.62	c (19,0) x[8][26] = 26
161.47/30.62	c (19,0) x[8][27] = 27
161.47/30.62	c (19,0) x[8][28] = 8
161.47/30.62	c (19,0) x[8][29] = 21
161.47/30.62	c (19,0) x[9][0] = 9
161.47/30.62	c (19,0) x[9][1] = 7
161.47/30.62	c (19,0) x[9][2] = 17
161.47/30.62	c (19,0) x[9][3] = 11
161.47/30.62	c (19,0) x[9][4] = 4
161.47/30.62	c (19,0) x[9][5] = 21
161.47/30.62	c (19,0) x[9][6] = 25
161.47/30.62	c (19,0) x[9][7] = 12
161.47/30.62	c (19,0) x[9][8] = 24
161.47/30.62	c (19,0) x[9][9] = 13
161.47/30.62	c (19,0) x[9][10] = 6
161.47/30.62	c (19,0) x[9][11] = 14
161.47/30.62	c (19,0) x[9][12] = 2
161.47/30.62	c (19,0) x[9][13] = 0
161.47/30.62	c (19,0) x[9][14] = 18
161.47/30.62	c (19,0) x[9][15] = 29
161.47/30.62	c (19,0) x[9][16] = 16
161.47/30.62	c (19,0) x[9][17] = 8
161.47/30.62	c (19,0) x[9][18] = 22
161.47/30.62	c (19,0) x[9][19] = 26
161.47/30.62	c (19,0) x[9][20] = 15
161.47/30.62	c (19,0) x[9][21] = 28
161.47/30.62	c (19,0) x[9][22] = 27
161.47/30.62	c (19,0) x[9][23] = 5
161.47/30.62	c (19,0) x[9][24] = 19
161.47/30.62	c (19,0) x[9][25] = 3
161.47/30.62	c (19,0) x[9][26] = 20
161.47/30.62	c (19,0) x[9][27] = 10
161.47/30.62	c (19,0) x[9][28] = 23
161.47/30.62	c (19,0) x[9][29] = 1
161.47/30.62	c (19,0) x[10][0] = 25
161.47/30.62	c (19,0) x[10][1] = 22
161.47/30.62	c (19,0) x[10][2] = 29
161.47/30.62	c (19,0) x[10][3] = 14
161.47/30.62	c (19,0) x[10][4] = 23
161.47/30.62	c (19,0) x[10][5] = 6
161.47/30.62	c (19,0) x[10][6] = 17
161.47/30.62	c (19,0) x[10][7] = 27
161.47/30.62	c (19,0) x[10][8] = 12
161.47/30.62	c (19,0) x[10][9] = 20
161.47/30.62	c (19,0) x[10][10] = 8
161.47/30.62	c (19,0) x[10][11] = 21
161.47/30.62	c (19,0) x[10][12] = 15
161.47/30.62	c (19,0) x[10][13] = 26
161.47/30.62	c (19,0) x[10][14] = 3
161.47/30.62	c (19,0) x[10][15] = 11
161.47/30.62	c (19,0) x[10][16] = 28
161.47/30.62	c (19,0) x[10][17] = 1
161.47/30.62	c (19,0) x[10][18] = 19
161.47/30.62	c (19,0) x[10][19] = 9
161.47/30.62	c (19,0) x[10][20] = 13
161.47/30.62	c (19,0) x[10][21] = 18
161.47/30.62	c (19,0) x[10][22] = 16
161.47/30.62	c (19,0) x[10][23] = 2
161.47/30.62	c (19,0) x[10][24] = 5
161.47/30.62	c (19,0) x[10][25] = 4
161.47/30.62	c (19,0) x[10][26] = 7
161.47/30.62	c (19,0) x[10][27] = 0
161.47/30.62	c (19,0) x[10][28] = 10
161.47/30.62	c (19,0) x[10][29] = 24
161.47/30.62	c (19,0) x[11][0] = 19
161.47/30.62	c (19,0) x[11][1] = 15
161.47/30.62	c (19,0) x[11][2] = 26
161.47/30.62	c (19,0) x[11][3] = 28
161.47/30.62	c (19,0) x[11][4] = 6
161.47/30.62	c (19,0) x[11][5] = 29
161.47/30.62	c (19,0) x[11][6] = 11
161.47/30.62	c (19,0) x[11][7] = 1
161.47/30.62	c (19,0) x[11][8] = 25
161.47/30.62	c (19,0) x[11][9] = 18
161.47/30.62	c (19,0) x[11][10] = 13
161.47/30.62	c (19,0) x[11][11] = 16
161.47/30.62	c (19,0) x[11][12] = 9
161.47/30.62	c (19,0) x[11][13] = 24
161.47/30.62	c (19,0) x[11][14] = 8
161.47/30.62	c (19,0) x[11][15] = 5
161.47/30.62	c (19,0) x[11][16] = 3
161.47/30.62	c (19,0) x[11][17] = 7
161.47/30.62	c (19,0) x[11][18] = 23
161.47/30.62	c (19,0) x[11][19] = 20
161.47/30.62	c (19,0) x[11][20] = 21
161.47/30.62	c (19,0) x[11][21] = 27
161.47/30.62	c (19,0) x[11][22] = 2
161.47/30.62	c (19,0) x[11][23] = 12
161.47/30.62	c (19,0) x[11][24] = 4
161.47/30.62	c (19,0) x[11][25] = 17
161.47/30.62	c (19,0) x[11][26] = 10
161.47/30.62	c (19,0) x[11][27] = 22
161.47/30.62	c (19,0) x[11][28] = 0
161.47/30.62	c (19,0) x[11][29] = 14
161.47/30.62	c (19,0) x[12][0] = 17
161.47/30.62	c (19,0) x[12][1] = 2
161.47/30.62	c (19,0) x[12][2] = 8
161.47/30.62	c (19,0) x[12][3] = 25
161.47/30.62	c (19,0) x[12][4] = 0
161.47/30.62	c (19,0) x[12][5] = 15
161.47/30.62	c (19,0) x[12][6] = 14
161.47/30.62	c (19,0) x[12][7] = 18
161.47/30.62	c (19,0) x[12][8] = 6
161.47/30.62	c (19,0) x[12][9] = 28
161.47/30.62	c (19,0) x[12][10] = 5
161.47/30.62	c (19,0) x[12][11] = 4
161.47/30.62	c (19,0) x[12][12] = 22
161.47/30.62	c (19,0) x[12][13] = 7
161.47/30.62	c (19,0) x[12][14] = 24
161.47/30.62	c (19,0) x[12][15] = 1
161.47/30.62	c (19,0) x[12][16] = 23
161.47/30.62	c (19,0) x[12][17] = 13
161.47/30.62	c (19,0) x[12][18] = 3
161.47/30.62	c (19,0) x[12][19] = 11
161.47/30.62	c (19,0) x[12][20] = 9
161.47/30.62	c (19,0) x[12][21] = 16
161.47/30.62	c (19,0) x[12][22] = 20
161.47/30.62	c (19,0) x[12][23] = 26
161.47/30.62	c (19,0) x[12][24] = 12
161.47/30.62	c (19,0) x[12][25] = 19
161.47/30.62	c (19,0) x[12][26] = 27
161.47/30.62	c (19,0) x[12][27] = 21
161.47/30.62	c (19,0) x[12][28] = 29
161.47/30.62	c (19,0) x[12][29] = 10
161.47/30.62	c (19,0) x[13][0] = 18
161.47/30.62	c (19,0) x[13][1] = 1
161.47/30.62	c (19,0) x[13][2] = 25
161.47/30.62	c (19,0) x[13][3] = 12
161.47/30.62	c (19,0) x[13][4] = 7
161.47/30.62	c (19,0) x[13][5] = 20
161.47/30.62	c (19,0) x[13][6] = 0
161.47/30.62	c (19,0) x[13][7] = 15
161.47/30.62	c (19,0) x[13][8] = 16
161.47/30.62	c (19,0) x[13][9] = 4
161.47/30.62	c (19,0) x[13][10] = 11
161.47/30.62	c (19,0) x[13][11] = 26
161.47/30.62	c (19,0) x[13][12] = 21
161.47/30.62	c (19,0) x[13][13] = 9
161.47/30.62	c (19,0) x[13][14] = 2
161.47/30.62	c (19,0) x[13][15] = 27
161.47/30.62	c (19,0) x[13][16] = 8
161.47/30.62	c (19,0) x[13][17] = 3
161.47/30.62	c (19,0) x[13][18] = 29
161.47/30.62	c (19,0) x[13][19] = 24
161.47/30.62	c (19,0) x[13][20] = 10
161.47/30.62	c (19,0) x[13][21] = 22
161.47/30.62	c (19,0) x[13][22] = 28
161.47/30.62	c (19,0) x[13][23] = 6
161.47/30.62	c (19,0) x[13][24] = 17
161.47/30.62	c (19,0) x[13][25] = 23
161.47/30.62	c (19,0) x[13][26] = 14
161.47/30.62	c (19,0) x[13][27] = 13
161.47/30.62	c (19,0) x[13][28] = 5
161.47/30.62	c (19,0) x[13][29] = 19
161.47/30.62	c (19,0) x[14][0] = 5
161.47/30.62	c (19,0) x[14][1] = 18
161.47/30.62	c (19,0) x[14][2] = 11
161.47/30.62	c (19,0) x[14][3] = 21
161.47/30.62	c (19,0) x[14][4] = 20
161.47/30.62	c (19,0) x[14][5] = 12
161.47/30.62	c (19,0) x[14][6] = 15
161.47/30.62	c (19,0) x[14][7] = 19
161.47/30.62	c (19,0) x[14][8] = 7
161.47/30.62	c (19,0) x[14][9] = 2
161.47/30.62	c (19,0) x[14][10] = 25
161.47/30.62	c (19,0) x[14][11] = 1
161.47/30.62	c (19,0) x[14][12] = 26
161.47/30.62	c (19,0) x[14][13] = 17
161.47/30.62	c (19,0) x[14][14] = 0
161.47/30.62	c (19,0) x[14][15] = 6
161.47/30.62	c (19,0) x[14][16] = 13
161.47/30.62	c (19,0) x[14][17] = 10
161.47/30.62	c (19,0) x[14][18] = 8
161.47/30.62	c (19,0) x[14][19] = 4
161.47/30.62	c (19,0) x[14][20] = 27
161.47/30.62	c (19,0) x[14][21] = 14
161.47/30.62	c (19,0) x[14][22] = 3
161.47/30.62	c (19,0) x[14][23] = 9
161.47/30.62	c (19,0) x[14][24] = 29
161.47/30.62	c (19,0) x[14][25] = 16
161.47/30.62	c (19,0) x[14][26] = 24
161.47/30.62	c (19,0) x[14][27] = 23
161.47/30.62	c (19,0) x[14][28] = 28
161.47/30.62	c (19,0) x[14][29] = 22
161.47/30.62	c (19,0) x[15][0] = 27
161.47/30.62	c (19,0) x[15][1] = 20
161.47/30.62	c (19,0) x[15][2] = 4
161.47/30.62	c (19,0) x[15][3] = 29
161.47/30.62	c (19,0) x[15][4] = 25
161.47/30.62	c (19,0) x[15][5] = 10
161.47/30.62	c (19,0) x[15][6] = 2
161.47/30.62	c (19,0) x[15][7] = 7
161.47/30.62	c (19,0) x[15][8] = 9
161.47/30.62	c (19,0) x[15][9] = 21
161.47/30.62	c (19,0) x[15][10] = 14
161.47/30.62	c (19,0) x[15][11] = 17
161.47/30.62	c (19,0) x[15][12] = 16
161.47/30.62	c (19,0) x[15][13] = 1
161.47/30.62	c (19,0) x[15][14] = 23
161.47/30.62	c (19,0) x[15][15] = 0
161.47/30.62	c (19,0) x[15][16] = 26
161.47/30.62	c (19,0) x[15][17] = 19
161.47/30.62	c (19,0) x[15][18] = 28
161.47/30.62	c (19,0) x[15][19] = 5
161.47/30.62	c (19,0) x[15][20] = 11
161.47/30.62	c (19,0) x[15][21] = 13
161.47/30.62	c (19,0) x[15][22] = 8
161.47/30.62	c (19,0) x[15][23] = 24
161.47/30.62	c (19,0) x[15][24] = 6
161.47/30.62	c (19,0) x[15][25] = 15
161.47/30.62	c (19,0) x[15][26] = 22
161.47/30.62	c (19,0) x[15][27] = 18
161.47/30.62	c (19,0) x[15][28] = 3
161.47/30.62	c (19,0) x[15][29] = 12
161.47/30.62	c (19,0) x[16][0] = 15
161.47/30.62	c (19,0) x[16][1] = 21
161.47/30.62	c (19,0) x[16][2] = 14
161.47/30.62	c (19,0) x[16][3] = 16
161.47/30.62	c (19,0) x[16][4] = 19
161.47/30.62	c (19,0) x[16][5] = 26
161.47/30.62	c (19,0) x[16][6] = 10
161.47/30.62	c (19,0) x[16][7] = 25
161.47/30.62	c (19,0) x[16][8] = 28
161.47/30.62	c (19,0) x[16][9] = 9
161.47/30.62	c (19,0) x[16][10] = 1
161.47/30.62	c (19,0) x[16][11] = 0
161.47/30.62	c (19,0) x[16][12] = 18
161.47/30.62	c (19,0) x[16][13] = 22
161.47/30.62	c (19,0) x[16][14] = 20
161.47/30.62	c (19,0) x[16][15] = 4
161.47/30.62	c (19,0) x[16][16] = 24
161.47/30.62	c (19,0) x[16][17] = 27
161.47/30.62	c (19,0) x[16][18] = 7
161.47/30.62	c (19,0) x[16][19] = 6
161.47/30.62	c (19,0) x[16][20] = 8
161.47/30.62	c (19,0) x[16][21] = 11
161.47/30.62	c (19,0) x[16][22] = 5
161.47/30.62	c (19,0) x[16][23] = 23
161.47/30.62	c (19,0) x[16][24] = 3
161.47/30.62	c (19,0) x[16][25] = 12
161.47/30.62	c (19,0) x[16][26] = 13
161.47/30.62	c (19,0) x[16][27] = 2
161.47/30.62	c (19,0) x[16][28] = 17
161.47/30.62	c (19,0) x[16][29] = 29
161.47/30.62	c (19,0) x[17][0] = 6
161.47/30.62	c (19,0) x[17][1] = 0
161.47/30.62	c (19,0) x[17][2] = 3
161.47/30.62	c (19,0) x[17][3] = 8
161.47/30.62	c (19,0) x[17][4] = 21
161.47/30.62	c (19,0) x[17][5] = 24
161.47/30.62	c (19,0) x[17][6] = 23
161.47/30.62	c (19,0) x[17][7] = 29
161.47/30.62	c (19,0) x[17][8] = 18
161.47/30.62	c (19,0) x[17][9] = 25
161.47/30.62	c (19,0) x[17][10] = 28
161.47/30.62	c (19,0) x[17][11] = 22
161.47/30.62	c (19,0) x[17][12] = 4
161.47/30.62	c (19,0) x[17][13] = 19
161.47/30.62	c (19,0) x[17][14] = 26
161.47/30.62	c (19,0) x[17][15] = 13
161.47/30.62	c (19,0) x[17][16] = 15
161.47/30.62	c (19,0) x[17][17] = 16
161.47/30.62	c (19,0) x[17][18] = 14
161.47/30.62	c (19,0) x[17][19] = 2
161.47/30.62	c (19,0) x[17][20] = 5
161.47/30.62	c (19,0) x[17][21] = 9
161.47/30.62	c (19,0) x[17][22] = 10
161.47/30.62	c (19,0) x[17][23] = 7
161.47/30.62	c (19,0) x[17][24] = 20
161.47/30.62	c (19,0) x[17][25] = 27
161.47/30.62	c (19,0) x[17][26] = 17
161.47/30.62	c (19,0) x[17][27] = 12
161.47/30.62	c (19,0) x[17][28] = 1
161.47/30.62	c (19,0) x[17][29] = 11
161.47/30.62	c (19,0) x[18][0] = 7
161.47/30.62	c (19,0) x[18][1] = 25
161.47/30.62	c (19,0) x[18][2] = 27
161.47/30.62	c (19,0) x[18][3] = 23
161.47/30.62	c (19,0) x[18][4] = 18
161.47/30.62	c (19,0) x[18][5] = 5
161.47/30.62	c (19,0) x[18][6] = 9
161.47/30.62	c (19,0) x[18][7] = 17
161.47/30.62	c (19,0) x[18][8] = 13
161.47/30.62	c (19,0) x[18][9] = 3
161.47/30.62	c (19,0) x[18][10] = 10
161.47/30.62	c (19,0) x[18][11] = 19
161.47/30.62	c (19,0) x[18][12] = 14
161.47/30.62	c (19,0) x[18][13] = 11
161.47/30.62	c (19,0) x[18][14] = 12
161.47/30.62	c (19,0) x[18][15] = 15
161.47/30.62	c (19,0) x[18][16] = 22
161.47/30.62	c (19,0) x[18][17] = 24
161.47/30.62	c (19,0) x[18][18] = 26
161.47/30.62	c (19,0) x[18][19] = 0
161.47/30.62	c (19,0) x[18][20] = 20
161.47/30.62	c (19,0) x[18][21] = 4
161.47/30.62	c (19,0) x[18][22] = 21
161.47/30.62	c (19,0) x[18][23] = 1
161.47/30.62	c (19,0) x[18][24] = 28
161.47/30.62	c (19,0) x[18][25] = 6
161.47/30.62	c (19,0) x[18][26] = 2
161.47/30.62	c (19,0) x[18][27] = 29
161.47/30.62	c (19,0) x[18][28] = 16
161.47/30.62	c (19,0) x[18][29] = 8
161.47/30.62	c (19,0) x[19][0] = 26
161.47/30.62	c (19,0) x[19][1] = 19
161.47/30.62	c (19,0) x[19][2] = 20
161.47/30.62	c (19,0) x[19][3] = 15
161.47/30.62	c (19,0) x[19][4] = 10
161.47/30.62	c (19,0) x[19][5] = 2
161.47/30.62	c (19,0) x[19][6] = 16
161.47/30.62	c (19,0) x[19][7] = 4
161.47/30.62	c (19,0) x[19][8] = 23
161.47/30.62	c (19,0) x[19][9] = 29
161.47/30.62	c (19,0) x[19][10] = 22
161.47/30.62	c (19,0) x[19][11] = 3
161.47/30.62	c (19,0) x[19][12] = 0
161.47/30.62	c (19,0) x[19][13] = 13
161.47/30.62	c (19,0) x[19][14] = 28
161.47/30.62	c (19,0) x[19][15] = 21
161.47/30.62	c (19,0) x[19][16] = 14
161.47/30.62	c (19,0) x[19][17] = 9
161.47/30.62	c (19,0) x[19][18] = 24
161.47/30.62	c (19,0) x[19][19] = 17
161.47/30.62	c (19,0) x[19][20] = 12
161.47/30.62	c (19,0) x[19][21] = 8
161.47/30.62	c (19,0) x[19][22] = 6
161.47/30.62	c (19,0) x[19][23] = 25
161.47/30.62	c (19,0) x[19][24] = 11
161.47/30.62	c (19,0) x[19][25] = 18
161.47/30.62	c (19,0) x[19][26] = 1
161.47/30.62	c (19,0) x[19][27] = 5
161.47/30.62	c (19,0) x[19][28] = 27
161.47/30.62	c (19,0) x[19][29] = 7
161.47/30.62	c (19,0) x[20][0] = 29
161.47/30.62	c (19,0) x[20][1] = 24
161.47/30.62	c (19,0) x[20][2] = 0
161.47/30.62	c (19,0) x[20][3] = 10
161.47/30.62	c (19,0) x[20][4] = 27
161.47/30.62	c (19,0) x[20][5] = 14
161.47/30.62	c (19,0) x[20][6] = 21
161.47/30.62	c (19,0) x[20][7] = 5
161.47/30.62	c (19,0) x[20][8] = 3
161.47/30.62	c (19,0) x[20][9] = 15
161.47/30.62	c (19,0) x[20][10] = 7
161.47/30.62	c (19,0) x[20][11] = 20
161.47/30.62	c (19,0) x[20][12] = 8
161.47/30.62	c (19,0) x[20][13] = 2
161.47/30.62	c (19,0) x[20][14] = 6
161.47/30.62	c (19,0) x[20][15] = 26
161.47/30.62	c (19,0) x[20][16] = 19
161.47/30.62	c (19,0) x[20][17] = 22
161.47/30.62	c (19,0) x[20][18] = 16
161.47/30.62	c (19,0) x[20][19] = 18
161.47/30.62	c (19,0) x[20][20] = 25
161.47/30.62	c (19,0) x[20][21] = 23
161.47/30.62	c (19,0) x[20][22] = 4
161.47/30.62	c (19,0) x[20][23] = 11
161.47/30.62	c (19,0) x[20][24] = 9
161.47/30.62	c (19,0) x[20][25] = 1
161.47/30.62	c (19,0) x[20][26] = 28
161.47/30.62	c (19,0) x[20][27] = 17
161.47/30.62	c (19,0) x[20][28] = 12
161.47/30.62	c (19,0) x[20][29] = 13
161.47/30.62	c (19,0) x[21][0] = 22
161.47/30.62	c (19,0) x[21][1] = 13
161.47/30.62	c (19,0) x[21][2] = 1
161.47/30.62	c (19,0) x[21][3] = 20
161.47/30.62	c (19,0) x[21][4] = 8
161.47/30.62	c (19,0) x[21][5] = 25
161.47/30.62	c (19,0) x[21][6] = 3
161.47/30.62	c (19,0) x[21][7] = 9
161.47/30.62	c (19,0) x[21][8] = 5
161.47/30.62	c (19,0) x[21][9] = 24
161.47/30.62	c (19,0) x[21][10] = 21
161.47/30.62	c (19,0) x[21][11] = 28
161.47/30.62	c (19,0) x[21][12] = 6
161.47/30.62	c (19,0) x[21][13] = 23
161.47/30.62	c (19,0) x[21][14] = 10
161.47/30.62	c (19,0) x[21][15] = 2
161.47/30.62	c (19,0) x[21][16] = 7
161.47/30.62	c (19,0) x[21][17] = 14
161.47/30.62	c (19,0) x[21][18] = 12
161.47/30.62	c (19,0) x[21][19] = 19
161.47/30.62	c (19,0) x[21][20] = 29
161.47/30.62	c (19,0) x[21][21] = 26
161.47/30.62	c (19,0) x[21][22] = 15
161.47/30.62	c (19,0) x[21][23] = 16
161.47/30.62	c (19,0) x[21][24] = 27
161.47/30.62	c (19,0) x[21][25] = 0
161.47/30.62	c (19,0) x[21][26] = 11
161.47/30.62	c (19,0) x[21][27] = 4
161.47/30.62	c (19,0) x[21][28] = 18
161.47/30.62	c (19,0) x[21][29] = 17
161.47/30.62	c (19,0) x[22][0] = 2
161.47/30.62	c (19,0) x[22][1] = 11
161.47/30.62	c (19,0) x[22][2] = 28
161.47/30.62	c (19,0) x[22][3] = 27
161.47/30.62	c (19,0) x[22][4] = 17
161.47/30.62	c (19,0) x[22][5] = 23
161.47/30.62	c (19,0) x[22][6] = 12
161.47/30.62	c (19,0) x[22][7] = 14
161.47/30.62	c (19,0) x[22][8] = 10
161.47/30.62	c (19,0) x[22][9] = 5
161.47/30.62	c (19,0) x[22][10] = 15
161.47/30.62	c (19,0) x[22][11] = 25
161.47/30.62	c (19,0) x[22][12] = 13
161.47/30.62	c (19,0) x[22][13] = 6
161.47/30.62	c (19,0) x[22][14] = 7
161.47/30.62	c (19,0) x[22][15] = 19
161.47/30.62	c (19,0) x[22][16] = 18
161.47/30.62	c (19,0) x[22][17] = 4
161.47/30.62	c (19,0) x[22][18] = 20
161.47/30.62	c (19,0) x[22][19] = 21
161.47/30.62	c (19,0) x[22][20] = 24
161.47/30.62	c (19,0) x[22][21] = 29
161.47/30.62	c (19,0) x[22][22] = 1
161.47/30.62	c (19,0) x[22][23] = 22
161.47/30.62	c (19,0) x[22][24] = 0
161.47/30.62	c (19,0) x[22][25] = 8
161.47/30.62	c (19,0) x[22][26] = 16
161.47/30.62	c (19,0) x[22][27] = 26
161.47/30.62	c (19,0) x[22][28] = 9
161.47/30.62	c (19,0) x[22][29] = 3
161.47/30.62	c (19,0) x[23][0] = 28
161.47/30.62	c (19,0) x[23][1] = 26
161.47/30.62	c (19,0) x[23][2] = 24
161.47/30.62	c (19,0) x[23][3] = 4
161.47/30.62	c (19,0) x[23][4] = 14
161.47/30.62	c (19,0) x[23][5] = 11
161.47/30.62	c (19,0) x[23][6] = 29
161.47/30.62	c (19,0) x[23][7] = 23
161.47/30.62	c (19,0) x[23][8] = 17
161.47/30.62	c (19,0) x[23][9] = 16
161.47/30.62	c (19,0) x[23][10] = 18
161.47/30.62	c (19,0) x[23][11] = 7
161.47/30.62	c (19,0) x[23][12] = 3
161.47/30.62	c (19,0) x[23][13] = 20
161.47/30.62	c (19,0) x[23][14] = 15
161.47/30.62	c (19,0) x[23][15] = 9
161.47/30.62	c (19,0) x[23][16] = 2
161.47/30.62	c (19,0) x[23][17] = 6
161.47/30.62	c (19,0) x[23][18] = 25
161.47/30.62	c (19,0) x[23][19] = 27
161.47/30.62	c (19,0) x[23][20] = 1
161.47/30.62	c (19,0) x[23][21] = 10
161.47/30.62	c (19,0) x[23][22] = 12
161.47/30.62	c (19,0) x[23][23] = 0
161.47/30.62	c (19,0) x[23][24] = 13
161.47/30.62	c (19,0) x[23][25] = 22
161.47/30.62	c (19,0) x[23][26] = 21
161.47/30.62	c (19,0) x[23][27] = 8
161.47/30.62	c (19,0) x[23][28] = 19
161.47/30.62	c (19,0) x[23][29] = 5
161.47/30.62	c (19,0) x[24][0] = 21
161.47/30.62	c (19,0) x[24][1] = 12
161.47/30.62	c (19,0) x[24][2] = 16
161.47/30.62	c (19,0) x[24][3] = 19
161.47/30.62	c (19,0) x[24][4] = 1
161.47/30.62	c (19,0) x[24][5] = 28
161.47/30.62	c (19,0) x[24][6] = 6
161.47/30.62	c (19,0) x[24][7] = 13
161.47/30.62	c (19,0) x[24][8] = 29
161.47/30.62	c (19,0) x[24][9] = 27
161.47/30.62	c (19,0) x[24][10] = 0
161.47/30.62	c (19,0) x[24][11] = 10
161.47/30.62	c (19,0) x[24][12] = 17
161.47/30.62	c (19,0) x[24][13] = 15
161.47/30.62	c (19,0) x[24][14] = 22
161.47/30.62	c (19,0) x[24][15] = 7
161.47/30.62	c (19,0) x[24][16] = 5
161.47/30.62	c (19,0) x[24][17] = 11
161.47/30.62	c (19,0) x[24][18] = 4
161.47/30.62	c (19,0) x[24][19] = 8
161.47/30.62	c (19,0) x[24][20] = 23
161.47/30.62	c (19,0) x[24][21] = 20
161.47/30.62	c (19,0) x[24][22] = 9
161.47/30.62	c (19,0) x[24][23] = 18
161.47/30.62	c (19,0) x[24][24] = 2
161.47/30.62	c (19,0) x[24][25] = 24
161.47/30.62	c (19,0) x[24][26] = 25
161.47/30.62	c (19,0) x[24][27] = 3
161.47/30.62	c (19,0) x[24][28] = 14
161.47/30.62	c (19,0) x[24][29] = 26
161.47/30.62	c (19,0) x[25][0] = 20
161.47/30.62	c (19,0) x[25][1] = 9
161.47/30.62	c (19,0) x[25][2] = 2
161.47/30.62	c (19,0) x[25][3] = 7
161.47/30.62	c (19,0) x[25][4] = 29
161.47/30.62	c (19,0) x[25][5] = 17
161.47/30.62	c (19,0) x[25][6] = 19
161.47/30.62	c (19,0) x[25][7] = 11
161.47/30.62	c (19,0) x[25][8] = 21
161.47/30.62	c (19,0) x[25][9] = 8
161.47/30.62	c (19,0) x[25][10] = 12
161.47/30.62	c (19,0) x[25][11] = 23
161.47/30.62	c (19,0) x[25][12] = 27
161.47/30.62	c (19,0) x[25][13] = 3
161.47/30.62	c (19,0) x[25][14] = 1
161.47/30.62	c (19,0) x[25][15] = 25
161.47/30.62	c (19,0) x[25][16] = 6
161.47/30.62	c (19,0) x[25][17] = 0
161.47/30.62	c (19,0) x[25][18] = 18
161.47/30.62	c (19,0) x[25][19] = 28
161.47/30.62	c (19,0) x[25][20] = 4
161.47/30.62	c (19,0) x[25][21] = 24
161.47/30.62	c (19,0) x[25][22] = 26
161.47/30.62	c (19,0) x[25][23] = 10
161.47/30.62	c (19,0) x[25][24] = 22
161.47/30.62	c (19,0) x[25][25] = 14
161.47/30.62	c (19,0) x[25][26] = 5
161.47/30.62	c (19,0) x[25][27] = 15
161.47/30.62	c (19,0) x[25][28] = 13
161.47/30.62	c (19,0) x[25][29] = 16
161.47/30.62	c (19,0) x[26][0] = 12
161.47/30.62	c (19,0) x[26][1] = 28
161.47/30.62	c (19,0) x[26][2] = 19
161.47/30.62	c (19,0) x[26][3] = 5
161.47/30.62	c (19,0) x[26][4] = 22
161.47/30.62	c (19,0) x[26][5] = 18
161.47/30.62	c (19,0) x[26][6] = 1
161.47/30.62	c (19,0) x[26][7] = 20
161.47/30.62	c (19,0) x[26][8] = 8
161.47/30.62	c (19,0) x[26][9] = 10
161.47/30.62	c (19,0) x[26][10] = 4
161.47/30.62	c (19,0) x[26][11] = 13
161.47/30.62	c (19,0) x[26][12] = 29
161.47/30.62	c (19,0) x[26][13] = 27
161.47/30.62	c (19,0) x[26][14] = 9
161.47/30.62	c (19,0) x[26][15] = 14
161.47/30.62	c (19,0) x[26][16] = 17
161.47/30.62	c (19,0) x[26][17] = 2
161.47/30.62	c (19,0) x[26][18] = 11
161.47/30.62	c (19,0) x[26][19] = 25
161.47/30.62	c (19,0) x[26][20] = 3
161.47/30.62	c (19,0) x[26][21] = 21
161.47/30.62	c (19,0) x[26][22] = 23
161.47/30.62	c (19,0) x[26][23] = 15
161.47/30.62	c (19,0) x[26][24] = 24
161.47/30.62	c (19,0) x[26][25] = 7
161.47/30.62	c (19,0) x[26][26] = 0
161.47/30.62	c (19,0) x[26][27] = 16
161.47/30.62	c (19,0) x[26][28] = 26
161.47/30.62	c (19,0) x[26][29] = 6
161.47/30.62	c (19,0) x[27][0] = 1
161.47/30.62	c (19,0) x[27][1] = 16
161.47/30.62	c (19,0) x[27][2] = 7
161.47/30.62	c (19,0) x[27][3] = 2
161.47/30.62	c (19,0) x[27][4] = 24
161.47/30.62	c (19,0) x[27][5] = 0
161.47/30.62	c (19,0) x[27][6] = 8
161.47/30.62	c (19,0) x[27][7] = 28
161.47/30.62	c (19,0) x[27][8] = 11
161.47/30.62	c (19,0) x[27][9] = 6
161.47/30.62	c (19,0) x[27][10] = 20
161.47/30.62	c (19,0) x[27][11] = 12
161.47/30.62	c (19,0) x[27][12] = 19
161.47/30.62	c (19,0) x[27][13] = 25
161.47/30.62	c (19,0) x[27][14] = 29
161.47/30.62	c (19,0) x[27][15] = 10
161.47/30.62	c (19,0) x[27][16] = 4
161.47/30.62	c (19,0) x[27][17] = 17
161.47/30.62	c (19,0) x[27][18] = 27
161.47/30.62	c (19,0) x[27][19] = 3
161.47/30.62	c (19,0) x[27][20] = 26
161.47/30.62	c (19,0) x[27][21] = 15
161.47/30.62	c (19,0) x[27][22] = 13
161.47/30.62	c (19,0) x[27][23] = 21
161.47/30.62	c (19,0) x[27][24] = 18
161.47/30.62	c (19,0) x[27][25] = 5
161.47/30.62	c (19,0) x[27][26] = 9
161.47/30.62	c (19,0) x[27][27] = 14
161.47/30.62	c (19,0) x[27][28] = 22
161.47/30.62	c (19,0) x[27][29] = 23
161.47/30.62	c (19,0) x[28][0] = 3
161.47/30.62	c (19,0) x[28][1] = 8
161.47/30.62	c (19,0) x[28][2] = 18
161.47/30.62	c (19,0) x[28][3] = 6
161.47/30.62	c (19,0) x[28][4] = 28
161.47/30.62	c (19,0) x[28][5] = 19
161.47/30.62	c (19,0) x[28][6] = 22
161.47/30.62	c (19,0) x[28][7] = 24
161.47/30.62	c (19,0) x[28][8] = 1
161.47/30.62	c (19,0) x[28][9] = 26
161.47/30.62	c (19,0) x[28][10] = 27
161.47/30.62	c (19,0) x[28][11] = 29
161.47/30.62	c (19,0) x[28][12] = 23
161.47/30.62	c (19,0) x[28][13] = 12
161.47/30.62	c (19,0) x[28][14] = 4
161.47/30.62	c (19,0) x[28][15] = 20
161.47/30.62	c (19,0) x[28][16] = 0
161.47/30.62	c (19,0) x[28][17] = 25
161.47/30.62	c (19,0) x[28][18] = 21
161.47/30.62	c (19,0) x[28][19] = 14
161.47/30.62	c (19,0) x[28][20] = 16
161.47/30.62	c (19,0) x[28][21] = 5
161.47/30.62	c (19,0) x[28][22] = 17
161.47/30.62	c (19,0) x[28][23] = 13
161.47/30.62	c (19,0) x[28][24] = 7
161.47/30.62	c (19,0) x[28][25] = 10
161.47/30.62	c (19,0) x[28][26] = 15
161.47/30.62	c (19,0) x[28][27] = 11
161.47/30.62	c (19,0) x[28][28] = 2
161.47/30.62	c (19,0) x[28][29] = 9
161.47/30.62	c (19,0) x[29][0] = 16
161.47/30.62	c (19,0) x[29][1] = 3
161.47/30.62	c (19,0) x[29][2] = 22
161.47/30.62	c (19,0) x[29][3] = 1
161.47/30.62	c (19,0) x[29][4] = 9
161.47/30.62	c (19,0) x[29][5] = 27
161.47/30.62	c (19,0) x[29][6] = 4
161.47/30.62	c (19,0) x[29][7] = 10
161.47/30.62	c (19,0) x[29][8] = 26
161.47/30.62	c (19,0) x[29][9] = 7
161.47/30.62	c (19,0) x[29][10] = 24
161.47/30.62	c (19,0) x[29][11] = 18
161.47/30.62	c (19,0) x[29][12] = 20
161.47/30.62	c (19,0) x[29][13] = 5
161.47/30.62	c (19,0) x[29][14] = 21
161.47/30.62	c (19,0) x[29][15] = 23
161.47/30.62	c (19,0) x[29][16] = 11
161.47/30.62	c (19,0) x[29][17] = 29
161.47/30.62	c (19,0) x[29][18] = 6
161.47/30.62	c (19,0) x[29][19] = 12
161.47/30.62	c (19,0) x[29][20] = 14
161.47/30.62	c (19,0) x[29][21] = 2
161.47/30.62	c (19,0) x[29][22] = 0
161.47/30.62	c (19,0) x[29][23] = 17
161.47/30.62	c (19,0) x[29][24] = 8
161.47/30.62	c (19,0) x[29][25] = 13
161.47/30.62	c (19,0) x[29][26] = 19
161.47/30.62	c (19,0) x[29][27] = 28
161.47/30.62	c (19,0) x[29][28] = 25
161.47/30.62	c (19,0) x[29][29] = 15
161.47/30.62	s SATISFIABLE
161.47/30.63	v <instantiation>
161.47/30.63	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[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[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[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[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[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[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[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[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[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29]</list>
161.47/30.63	v     <values>24 17 15 18 3 22 5 6 19 0 9 11 28 14 13 16 27 12 10 23 2 1 25 8 26 21 29 20 7 4 4 6 5 9 26 13 27 16 2 14 3 15 12 8 19 22 1 28 0 29 17 25 24 20 10 11 23 7 21 18 13 5 10 0 11 3 7 26 22 17 23 8 1 29 16 18 20 21 2 15 28 6 19 27 14 9 12 24 4 25 8 29 12 3 5 4 13 2 14 19 17 27 25 16 11 24 21 23 1 10 6 7 22 28 15 26 18 9 20 0 0 10 23 22 13 16 20 8 27 11 26 24 5 28 14 17 12 15 9 7 19 3 18 29 21 25 4 1 6 2 23 14 13 17 15 8 26 21 4 12 29 9 11 18 27 3 10 20 5 1 22 0 7 19 16 2 6 25 24 28 10 27 9 26 16 7 28 0 15 23 2 6 24 21 17 8 25 5 13 22 18 12 14 4 1 29 3 19 11 20 11 23 21 24 12 1 18 3 0 22 16 2 10 4 5 28 9 26 17 13 7 19 29 14 25 20 8 6 15 27 14 4 6 13 2 9 24 22 20 1 19 5 7 10 25 12 29 18 15 16 0 17 11 3 23 28 26 27 8 21 9 7 17 11 4 21 25 12 24 13 6 14 2 0 18 29 16 8 22 26 15 28 27 5 19 3 20 10 23 1 25 22 29 14 23 6 17 27 12 20 8 21 15 26 3 11 28 1 19 9 13 18 16 2 5 4 7 0 10 24 19 15 26 28 6 29 11 1 25 18 13 16 9 24 8 5 3 7 23 20 21 27 2 12 4 17 10 22 0 14 17 2 8 25 0 15 14 18 6 28 5 4 22 7 24 1 23 13 3 11 9 16 20 26 12 19 27 21 29 10 18 1 25 12 7 20 0 15 16 4 11 26 21 9 2 27 8 3 29 24 10 22 28 6 17 23 14 13 5 19 5 18 11 21 20 12 15 19 7 2 25 1 26 17 0 6 13 10 8 4 27 14 3 9 29 16 24 23 28 22 27 20 4 29 25 10 2 7 9 21 14 17 16 1 23 0 26 19 28 5 11 13 8 24 6 15 22 18 3 12 15 21 14 16 19 26 10 25 28 9 1 0 18 22 20 4 24 27 7 6 8 11 5 23 3 12 13 2 17 29 6 0 3 8 21 24 23 29 18 25 28 22 4 19 26 13 15 16 14 2 5 9 10 7 20 27 17 12 1 11 7 25 27 23 18 5 9 17 13 3 10 19 14 11 12 15 22 24 26 0 20 4 21 1 28 6 2 29 16 8 26 19 20 15 10 2 16 4 23 29 22 3 0 13 28 21 14 9 24 17 12 8 6 25 11 18 1 5 27 7 29 24 0 10 27 14 21 5 3 15 7 20 8 2 6 26 19 22 16 18 25 23 4 11 9 1 28 17 12 13 22 13 1 20 8 25 3 9 5 24 21 28 6 23 10 2 7 14 12 19 29 26 15 16 27 0 11 4 18 17 2 11 28 27 17 23 12 14 10 5 15 25 13 6 7 19 18 4 20 21 24 29 1 22 0 8 16 26 9 3 28 26 24 4 14 11 29 23 17 16 18 7 3 20 15 9 2 6 25 27 1 10 12 0 13 22 21 8 19 5 21 12 16 19 1 28 6 13 29 27 0 10 17 15 22 7 5 11 4 8 23 20 9 18 2 24 25 3 14 26 20 9 2 7 29 17 19 11 21 8 12 23 27 3 1 25 6 0 18 28 4 24 26 10 22 14 5 15 13 16 12 28 19 5 22 18 1 20 8 10 4 13 29 27 9 14 17 2 11 25 3 21 23 15 24 7 0 16 26 6 1 16 7 2 24 0 8 28 11 6 20 12 19 25 29 10 4 17 27 3 26 15 13 21 18 5 9 14 22 23 3 8 18 6 28 19 22 24 1 26 27 29 23 12 4 20 0 25 21 14 16 5 17 13 7 10 15 11 2 9 16 3 22 1 9 27 4 10 26 7 24 18 20 5 21 23 11 29 6 12 14 2 0 17 8 13 19 28 25 15</values>
161.47/30.63	v </instantiation>
161.47/30.63	c (19,0) Show results End
161.47/30.63	c (19,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
161.47/30.63	c (19,0) 19,19,STOP-AFTER(ALL)
161.47/30.63	c END-Prog: Tue Sep 24 22:03:32 CEST 2019

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14617 MiB free)
  memory of node 1: 16384 MiB (13456 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405571-1569359105/watcher-4405571-1569359105 -o /var/tmp/evaluation-result-4405571-1569359105/solver-4405571-1569359105 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node107-1569355381-19265 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405571-1569359105.xml 

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

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

solver pid=19282, runsolver pid=19279

[startup+0.100109 s]*
/proc/loadavg: 6.22 6.70 6.32 3/211 19304
/proc/meminfo: memFree=28652560/32770624 swapFree=66954136/67108860
[pid=19282] ppid=19279 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19282/stat : 19282 (scop.sh) S 19279 19282 19238 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 512165796 115843072 349 33554432000 4194304 5098028 140735662700192 140735662697448 140419480154748 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33841152 140735662703356 140735662703704 140735662703704 140735662706633 0
/proc/19282/statm: 28282 349 296 221 0 87 0
[pid=19285] ppid=19282 vsize=27314120 memory=107644 CPUtime=0.1 cores=0-7
/proc/19285/stat : 19285 (java) S 19282 19282 19238 0 -1 1077944320 6478 0 0 0 8 2 0 0 20 0 20 0 512165796 27969658880 26911 33554432000 4194304 4196468 140726795644096 140726795626640 140062222864119 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
/proc/19285/statm: 6828530 26911 2805 1 0 6790935 0
[pid=19285/tid=19286] ppid=19282 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/19285/task/19286/stat : 19286 (java) R 19282 19282 19238 0 -1 4202560 4580 0 0 0 7 2 0 0 20 0 20 0 512165797 27969658880 26911 33554432000 4194304 4196468 140726795644096 140062194694184 140062206944606 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19287] ppid=19282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19287/stat : 19287 (java) S 19282 19282 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512165799 27969658880 26911 33554432000 4194304 4196468 140726795644096 140062227106320 140062222874325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19288] ppid=19282 vsize=27314120 memory=3474723695471781536 CPUtime=0 cores=0-7
/proc/19285/task/19288/stat : 19288 (java) S 19282 19282 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512165799 27969658880 26911 33554432000 4194304 4196468 140726795644096 140062041262736 140062222874325 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19289] ppid=19282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19289/stat : 19289 (java) S 19282 19282 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512165799 27969658880 26911 33554432000 4194304 4196468 140726795644096 140062040209680 140062222874325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19290] ppid=19282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19290/stat : 19290 (java) S 19282 19282 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512165799 27969658880 26911 33554432000 4194304 4196468 140726795644096 140062039157136 140062222874325 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19291] ppid=19282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19291/stat : 19291 (java) S 19282 19282 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512165799 27969658880 26911 33554432000 4194304 4196468 140726795644096 140061641964560 140062222874325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19292] ppid=19282 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19285/task/19292/stat : 19292 (java) S 19282 19282 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512165799 27969658880 26911 33554432000 4194304 4196468 140726795644096 140061640912016 140062222874325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19293] ppid=19282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19293/stat : 19293 (java) S 19282 19282 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512165799 27969658880 26911 33554432000 4194304 4196468 140726795644096 140061639858960 140062222874325 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19294] ppid=19282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19294/stat : 19294 (java) S 19282 19282 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512165799 27969658880 26911 33554432000 4194304 4196468 140726795644096 140061638806416 140062222874325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19295] ppid=19282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19295/stat : 19295 (java) S 19282 19282 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512165801 27969658880 26911 33554432000 4194304 4196468 140726795644096 140060408719600 140062222875266 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19296] ppid=19282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19296/stat : 19296 (java) S 19282 19282 19238 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512165801 27969658880 26911 33554432000 4194304 4196468 140726795644096 140060158583968 140062222874325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19297] ppid=19282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19297/stat : 19297 (java) S 19282 19282 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512165801 27969658880 26911 33554432000 4194304 4196468 140726795644096 140059890148080 140062222874325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19298] ppid=19282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19298/stat : 19298 (java) S 19282 19282 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512165804 27969658880 26911 33554432000 4194304 4196468 140726795644096 140059515639760 140062222882715 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19299] ppid=19282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19299/stat : 19299 (java) S 19282 19282 19238 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 512165804 27969658880 26911 33554432000 4194304 4196468 140726795644096 140060407667440 140062222875266 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19300] ppid=19282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19300/stat : 19300 (java) S 19282 19282 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512165804 27969658880 26911 33554432000 4194304 4196468 140726795644096 140060406614896 140062222875266 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19301] ppid=19282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19301/stat : 19301 (java) S 19282 19282 19238 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 512165804 27969658880 26911 33554432000 4194304 4196468 140726795644096 140060405561840 140062222875266 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19302] ppid=19282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19302/stat : 19302 (java) S 19282 19282 19238 0 -1 1077944384 248 0 0 0 0 0 0 0 20 0 20 0 512165804 27969658880 26911 33554432000 4194304 4196468 140726795644096 140060404509296 140062222875266 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19303] ppid=19282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19303/stat : 19303 (java) S 19282 19282 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512165804 27969658880 26911 33554432000 4194304 4196468 140726795644096 140059017734624 140062222874325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19304] ppid=19282 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19285/task/19304/stat : 19304 (java) S 19282 19282 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512165804 27969658880 26911 33554432000 4194304 4196468 140726795644096 140060403456688 140062222875266 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109040 KiB

[startup+0.21022 s]*
/proc/loadavg: 6.22 6.70 6.32 3/211 19304
/proc/meminfo: memFree=28634516/32770624 swapFree=66954136/67108860
[pid=19282] ppid=19279 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19282/stat : 19282 (scop.sh) S 19279 19282 19238 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 512165796 115843072 349 33554432000 4194304 5098028 140735662700192 140735662697448 140419480154748 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33841152 140735662703356 140735662703704 140735662703704 140735662706633 0
/proc/19282/statm: 28282 349 296 221 0 87 0
[pid=19285] ppid=19282 vsize=27314120 memory=124468 CPUtime=0.24 cores=0-7
/proc/19285/stat : 19285 (java) S 19282 19282 19238 0 -1 1077944320 11476 0 0 0 20 4 0 0 20 0 20 0 512165796 27969658880 31117 33554432000 4194304 4196468 140726795644096 140726795626640 140062222864119 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
/proc/19285/statm: 6828530 31117 2920 1 0 6790935 0
[pid=19285/tid=19286] ppid=19282 vsize=27314120 memory=8316850467074736180 CPUtime=0.2 cores=0-7
/proc/19285/task/19286/stat : 19286 (java) R 19282 19282 19238 0 -1 4202560 9181 0 0 0 17 3 0 0 20 0 20 0 512165797 27969658880 31117 33554432000 4194304 4196468 140726795644096 140062194663504 140062200890002 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19287] ppid=19282 vsize=27314120 memory=10927 CPUtime=0 cores=0-7
/proc/19285/task/19287/stat : 19287 (java) S 19282 19282 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512165799 27969658880 31117 33554432000 4194304 4196468 140726795644096 140062227106320 140062222874325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19288] ppid=19282 vsize=27314120 memory=140266525521654 CPUtime=0 cores=0-7
/proc/19285/task/19288/stat : 19288 (java) S 19282 19282 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512165799 27969658880 31117 33554432000 4194304 4196468 140726795644096 140062041262736 140062222874325 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19289] ppid=19282 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19285/task/19289/stat : 19289 (java) S 19282 19282 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512165799 27969658880 31117 33554432000 4194304 4196468 140726795644096 140062040209680 140062222874325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19290] ppid=19282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19290/stat : 19290 (java) S 19282 19282 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512165799 27969658880 31117 33554432000 4194304 4196468 140726795644096 140062039157136 140062222874325 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19291] ppid=19282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19291/stat : 19291 (java) S 19282 19282 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512165799 27969658880 31117 33554432000 4194304 4196468 140726795644096 140061641964560 140062222874325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19292] ppid=19282 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19285/task/19292/stat : 19292 (java) S 19282 19282 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512165799 27969658880 31117 33554432000 4194304 4196468 140726795644096 140061640912016 140062222874325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19293] ppid=19282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19293/stat : 19293 (java) S 19282 19282 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512165799 27969658880 31117 33554432000 4194304 4196468 140726795644096 140061639858960 140062222874325 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19294] ppid=19282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19294/stat : 19294 (java) S 19282 19282 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512165799 27969658880 31117 33554432000 4194304 4196468 140726795644096 140061638806416 140062222874325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19295] ppid=19282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19295/stat : 19295 (java) S 19282 19282 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512165801 27969658880 31117 33554432000 4194304 4196468 140726795644096 140060408719600 140062222875266 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19296] ppid=19282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19296/stat : 19296 (java) S 19282 19282 19238 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512165801 27969658880 31117 33554432000 4194304 4196468 140726795644096 140060158583968 140062222874325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19297] ppid=19282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19297/stat : 19297 (java) S 19282 19282 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512165801 27969658880 31117 33554432000 4194304 4196468 140726795644096 140059890148080 140062222874325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19298] ppid=19282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19298/stat : 19298 (java) S 19282 19282 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512165804 27969658880 31117 33554432000 4194304 4196468 140726795644096 140059515639760 140062222882715 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19299] ppid=19282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19299/stat : 19299 (java) S 19282 19282 19238 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 20 0 512165804 27969658880 31117 33554432000 4194304 4196468 140726795644096 140060407667440 140062222875266 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19300] ppid=19282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19300/stat : 19300 (java) S 19282 19282 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512165804 27969658880 31117 33554432000 4194304 4196468 140726795644096 140060406614896 140062222875266 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19301] ppid=19282 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19285/task/19301/stat : 19301 (java) S 19282 19282 19238 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 512165804 27969658880 31117 33554432000 4194304 4196468 140726795644096 140060405561840 140062222875266 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19302] ppid=19282 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/19285/task/19302/stat : 19302 (java) S 19282 19282 19238 0 -1 1077944384 474 0 0 0 2 0 0 0 20 0 20 0 512165804 27969658880 31117 33554432000 4194304 4196468 140726795644096 140060404509296 140062222875266 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19303] ppid=19282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19303/stat : 19303 (java) S 19282 19282 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512165804 27969658880 31117 33554432000 4194304 4196468 140726795644096 140059017734624 140062222874325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19304] ppid=19282 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19285/task/19304/stat : 19304 (java) S 19282 19282 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512165804 27969658880 31117 33554432000 4194304 4196468 140726795644096 140060403456688 140062222875266 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125864 KiB

[startup+0.309729 s]*
/proc/loadavg: 6.22 6.70 6.32 2/211 19304
/proc/meminfo: memFree=28631840/32770624 swapFree=66954136/67108860
[pid=19282] ppid=19279 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19282/stat : 19282 (scop.sh) S 19279 19282 19238 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 512165796 115843072 349 33554432000 4194304 5098028 140735662700192 140735662697448 140419480154748 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33841152 140735662703356 140735662703704 140735662703704 140735662706633 0
/proc/19282/statm: 28282 349 296 221 0 87 0
[pid=19285] ppid=19282 vsize=27314120 memory=128140 CPUtime=0.43 cores=0-7
/proc/19285/stat : 19285 (java) S 19282 19282 19238 0 -1 1077944320 12425 0 0 0 38 5 0 0 20 0 20 0 512165796 27969658880 32035 33554432000 4194304 4196468 140726795644096 140726795626640 140062222864119 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
/proc/19285/statm: 6828530 32035 3026 1 0 6790935 0
[pid=19285/tid=19286] ppid=19282 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/19285/task/19286/stat : 19286 (java) R 19282 19282 19238 0 -1 4202560 9946 0 0 0 26 3 0 0 20 0 20 0 512165797 27969658880 32035 33554432000 4194304 4196468 140726795644096 140062194647136 140062206944606 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19287] ppid=19282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19287/stat : 19287 (java) S 19282 19282 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512165799 27969658880 32035 33554432000 4194304 4196468 140726795644096 140062227106320 140062222874325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19288] ppid=19282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19288/stat : 19288 (java) S 19282 19282 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512165799 27969658880 32035 33554432000 4194304 4196468 140726795644096 140062041262736 140062222874325 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19289] ppid=19282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19289/stat : 19289 (java) S 19282 19282 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512165799 27969658880 32035 33554432000 4194304 4196468 140726795644096 140062040209680 140062222874325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19290] ppid=19282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19290/stat : 19290 (java) S 19282 19282 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512165799 27969658880 32035 33554432000 4194304 4196468 140726795644096 140062039157136 140062222874325 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19291] ppid=19282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19291/stat : 19291 (java) S 19282 19282 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512165799 27969658880 32035 33554432000 4194304 4196468 140726795644096 140061641964560 140062222874325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19292] ppid=19282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19292/stat : 19292 (java) S 19282 19282 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512165799 27969658880 32035 33554432000 4194304 4196468 140726795644096 140061640912016 140062222874325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19293] ppid=19282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19293/stat : 19293 (java) S 19282 19282 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512165799 27969658880 32035 33554432000 4194304 4196468 140726795644096 140061639858960 140062222874325 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19294] ppid=19282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19294/stat : 19294 (java) S 19282 19282 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512165799 27969658880 32035 33554432000 4194304 4196468 140726795644096 140061638806416 140062222874325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19295] ppid=19282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19295/stat : 19295 (java) S 19282 19282 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512165801 27969658880 32035 33554432000 4194304 4196468 140726795644096 140060408719600 140062222875266 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19296] ppid=19282 vsize=27314120 memory=280532768464256 CPUtime=0 cores=0-7
/proc/19285/task/19296/stat : 19296 (java) S 19282 19282 19238 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512165801 27969658880 32035 33554432000 4194304 4196468 140726795644096 140060158583968 140062222874325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19297] ppid=19282 vsize=27314120 memory=280532768468864 CPUtime=0 cores=0-7
/proc/19285/task/19297/stat : 19297 (java) S 19282 19282 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512165801 27969658880 32035 33554432000 4194304 4196468 140726795644096 140059890148080 140062222874325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19298] ppid=19282 vsize=27314120 memory=280532768473472 CPUtime=0 cores=0-7
/proc/19285/task/19298/stat : 19298 (java) S 19282 19282 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512165804 27969658880 32035 33554432000 4194304 4196468 140726795644096 140059515639760 140062222882715 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19299] ppid=19282 vsize=27314120 memory=280532768478080 CPUtime=0.01 cores=0-7
/proc/19285/task/19299/stat : 19299 (java) S 19282 19282 19238 0 -1 1077944384 483 0 0 0 1 0 0 0 20 0 20 0 512165804 27969658880 32035 33554432000 4194304 4196468 140726795644096 140060407667440 140062222875266 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19300] ppid=19282 vsize=27314120 memory=280532768482688 CPUtime=0.01 cores=0-7
/proc/19285/task/19300/stat : 19300 (java) R 19282 19282 19238 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 20 0 512165804 27969658880 32035 33554432000 4194304 4196468 140726795644096 140060406614896 140062206392912 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19301] ppid=19282 vsize=27314120 memory=280532768487296 CPUtime=0.01 cores=0-7
/proc/19285/task/19301/stat : 19301 (java) S 19282 19282 19238 0 -1 1077944384 130 0 0 0 1 0 0 0 20 0 20 0 512165804 27969658880 32035 33554432000 4194304 4196468 140726795644096 140060405561840 140062222875266 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19302] ppid=19282 vsize=27314120 memory=280532768491904 CPUtime=0.07 cores=0-7
/proc/19285/task/19302/stat : 19302 (java) S 19282 19282 19238 0 -1 1077944384 495 0 0 0 7 0 0 0 20 0 20 0 512165804 27969658880 32035 33554432000 4194304 4196468 140726795644096 140060404509296 140062222875266 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19303] ppid=19282 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19303/stat : 19303 (java) S 19282 19282 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512165804 27969658880 32035 33554432000 4194304 4196468 140726795644096 140059017734624 140062222874325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19304] ppid=19282 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19285/task/19304/stat : 19304 (java) S 19282 19282 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512165804 27969658880 32035 33554432000 4194304 4196468 140726795644096 140060403456688 140062222875266 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129536 KiB

[startup+0.700921 s]
/proc/loadavg: 6.22 6.70 6.32 2/211 19304
/proc/meminfo: memFree=28608636/32770624 swapFree=66954136/67108860
[pid=19282] ppid=19279 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19282/stat : 19282 (scop.sh) S 19279 19282 19238 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 512165796 115843072 349 33554432000 4194304 5098028 140735662700192 140735662697448 140419480154748 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33841152 140735662703356 140735662703704 140735662703704 140735662706633 0
/proc/19282/statm: 28282 349 296 221 0 87 0
[pid=19285] ppid=19282 vsize=27322516 memory=166048 CPUtime=1.01 cores=0-7
/proc/19285/stat : 19285 (java) S 19282 19282 19238 0 -1 1077944320 20089 0 0 0 94 7 0 0 20 0 20 0 512165796 27978256384 41512 33554432000 4194304 4196468 140726795644096 140726795626640 140062222864119 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
/proc/19285/statm: 6830629 41512 3190 1 0 6791959 0
[pid=19285/tid=19286] ppid=19282 vsize=27322516 memory=0 CPUtime=0.68 cores=0-7
/proc/19285/task/19286/stat : 19286 (java) R 19282 19282 19238 0 -1 4202560 17030 0 0 0 63 5 0 0 20 0 20 0 512165797 27978256384 41512 33554432000 4194304 4196468 140726795644096 140062194695856 140062222886045 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19287] ppid=19282 vsize=27322516 memory=140266384434048 CPUtime=0 cores=0-7
/proc/19285/task/19287/stat : 19287 (java) S 19282 19282 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512165799 27978256384 41512 33554432000 4194304 4196468 140726795644096 140062227106320 140062222874325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19288] ppid=19282 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/19285/task/19288/stat : 19288 (java) S 19282 19282 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512165799 27978256384 41512 33554432000 4194304 4196468 140726795644096 140062041262736 140062222874325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0
[pid=19285/tid=19289] ppid=19282 vsize=27322516 memory=9364 CPUtime=0 cores=0-7
/proc/19285/task/19289/stat : 19289 (java) S 19282 19282 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512165799 27978256384 41512 33554432000 4194304 4196468 140726795644096 140062040209680 140062222874325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35246080 140726795649734 140726795650182 140726795650182 140726795653071 0

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

[pid=19305/tid=19307] ppid=19282 vsize=8414124 memory=1174 CPUtime=0 cores=0-7
/proc/19305/task/19307/stat : 19307 (java) S 19282 19282 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512166897 8616062976 30966 33554432000 4194304 4196468 140732240423552 140277273545744 140277269313237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19308] ppid=19282 vsize=8414124 memory=1144 CPUtime=0 cores=0-7
/proc/19305/task/19308/stat : 19308 (java) S 19282 19282 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512166897 8616062976 30966 33554432000 4194304 4196468 140732240423552 140277073714320 140277269313237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19309] ppid=19282 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19305/task/19309/stat : 19309 (java) S 19282 19282 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512166897 8616062976 30966 33554432000 4194304 4196468 140732240423552 140277072661264 140277269313237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19310] ppid=19282 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19305/task/19310/stat : 19310 (java) S 19282 19282 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512166897 8616062976 30966 33554432000 4194304 4196468 140732240423552 140277071608720 140277269313237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19311] ppid=19282 vsize=8414124 memory=6944656592455360569 CPUtime=0 cores=0-7
/proc/19305/task/19311/stat : 19311 (java) S 19282 19282 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512166897 8616062976 30966 33554432000 4194304 4196468 140732240423552 140277070555664 140277269313237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19312] ppid=19282 vsize=8414124 memory=-6948047529741492128 CPUtime=0 cores=0-7
/proc/19305/task/19312/stat : 19312 (java) S 19282 19282 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512166897 8616062976 30966 33554432000 4194304 4196468 140732240423552 140277069503120 140277269313237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19313] ppid=19282 vsize=8414124 memory=-8990767739041718176 CPUtime=0 cores=0-7
/proc/19305/task/19313/stat : 19313 (java) S 19282 19282 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512166897 8616062976 30966 33554432000 4194304 4196468 140732240423552 140277068450064 140277269313237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19314] ppid=19282 vsize=8414124 memory=8187704045996132563 CPUtime=0 cores=0-7
/proc/19305/task/19314/stat : 19314 (java) S 19282 19282 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512166897 8616062976 30966 33554432000 4194304 4196468 140732240423552 140277067397520 140277269313237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19315] ppid=19282 vsize=8414124 memory=-6861001314482542224 CPUtime=0 cores=0-7
/proc/19305/task/19315/stat : 19315 (java) S 19282 19282 19238 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512166899 8616062976 30966 33554432000 4194304 4196468 140732240423552 140276093856496 140277269314178 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19316] ppid=19282 vsize=8414124 memory=6944656592452807314 CPUtime=0 cores=0-7
/proc/19305/task/19316/stat : 19316 (java) S 19282 19282 19238 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512166899 8616062976 30966 33554432000 4194304 4196468 140732240423552 140275913582240 140277269313237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19317] ppid=19282 vsize=8414124 memory=-7088785026379990432 CPUtime=0 cores=0-7
/proc/19305/task/19317/stat : 19317 (java) S 19282 19282 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512166900 8616062976 30966 33554432000 4194304 4196468 140732240423552 140275645146352 140277269313237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19318] ppid=19282 vsize=8414124 memory=6933690279252828305 CPUtime=0 cores=0-7
/proc/19305/task/19318/stat : 19318 (java) S 19282 19282 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512166902 8616062976 30966 33554432000 4194304 4196468 140732240423552 140275270638032 140277269321627 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19319] ppid=19282 vsize=8414124 memory=6944656591801717405 CPUtime=0.11 cores=0-7
/proc/19305/task/19319/stat : 19319 (java) S 19282 19282 19238 0 -1 1077944384 355 0 0 0 11 0 0 0 20 0 24 0 512166903 8616062976 30966 33554432000 4194304 4196468 140732240423552 140276092803312 140277269314178 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19320] ppid=19282 vsize=8414124 memory=-7025448733113094249 CPUtime=0.07 cores=0-7
/proc/19305/task/19320/stat : 19320 (java) S 19282 19282 19238 0 -1 1077944384 496 0 0 0 7 0 0 0 20 0 24 0 512166903 8616062976 30966 33554432000 4194304 4196468 140732240423552 140276091750768 140277269314178 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19321] ppid=19282 vsize=8414124 memory=6944656591801717918 CPUtime=0.12 cores=0-7
/proc/19305/task/19321/stat : 19321 (java) S 19282 19282 19238 0 -1 1077944384 690 0 0 0 12 0 0 0 20 0 24 0 512166903 8616062976 30966 33554432000 4194304 4196468 140732240423552 140276090697712 140277269314178 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19322] ppid=19282 vsize=8414124 memory=4206468019014099040 CPUtime=0.23 cores=0-7
/proc/19305/task/19322/stat : 19322 (java) S 19282 19282 19238 0 -1 1077944384 587 0 0 0 23 0 0 0 20 0 24 0 512166903 8616062976 30966 33554432000 4194304 4196468 140732240423552 140276089645168 140277269314178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19323] ppid=19282 vsize=8414124 memory=8317482817917895235 CPUtime=0 cores=0-7
/proc/19305/task/19323/stat : 19323 (java) S 19282 19282 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512166903 8616062976 30966 33554432000 4194304 4196468 140732240423552 140274772732896 140277269313237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19324] ppid=19282 vsize=8414124 memory=288230596050944315 CPUtime=0.01 cores=0-7
/proc/19305/task/19324/stat : 19324 (java) S 19282 19282 19238 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 512166903 8616062976 30966 33554432000 4194304 4196468 140732240423552 140276088593584 140277269314178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19326] ppid=19282 vsize=8414124 memory=14981065810905736 CPUtime=0 cores=0-7
/proc/19305/task/19326/stat : 19326 (java) S 19282 19282 19238 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512166974 8616062976 30966 33554432000 4194304 4196468 140732240423552 140276585149888 140277269327641 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19328] ppid=19282 vsize=8414124 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/19305/task/19328/stat : 19328 (java) S 19282 19282 19238 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 512166974 8616062976 30966 33554432000 4194304 4196468 140732240423552 140274101632560 140277269324957 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19329] ppid=19282 vsize=8414124 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/19305/task/19329/stat : 19329 (java) S 19282 19282 19238 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 512166974 8616062976 30966 33554432000 4194304 4196468 140732240423552 140274370068144 140277269324957 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19330] ppid=19282 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19305/task/19330/stat : 19330 (java) S 19282 19282 19238 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 512166976 8616062976 30966 33554432000 4194304 4196468 140732240423552 140273833204656 140277269313237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
Current children cumulated CPU time: 159.22 s
Current children cumulated vsize: 9324556 KiB
Current children cumulated memory: 453264 KiB

[startup+30.403 s]
/proc/loadavg: 5.84 6.53 6.27 2/218 19340
/proc/meminfo: memFree=28296736/32770624 swapFree=66954136/67108860
[pid=19282] ppid=19279 vsize=113128 memory=1476 CPUtime=20.82 cores=0-7
/proc/19282/stat : 19282 (scop.sh) S 19279 19282 19238 0 -1 4202496 582 35524 0 0 0 0 1997 85 20 0 1 0 512165796 115843072 369 33554432000 4194304 5098028 140735662700192 140735662696936 140419480154748 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33841152 140735662703356 140735662703704 140735662703704 140735662706633 0
/proc/19282/statm: 28282 369 311 221 0 87 0
[pid=19305] ppid=19282 vsize=8414124 memory=134548 CPUtime=140.19 cores=0-7
/proc/19305/stat : 19305 (java) S 19282 19282 19238 0 -1 1077944320 21180 192496 0 0 149 9 13814 47 20 0 23 0 512166896 8616062976 33637 33554432000 4194304 4196468 140732240423552 140732240406096 140277269303031 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
/proc/19305/statm: 2103531 33637 3220 1 0 2064875 0
[pid=19305/tid=19306] ppid=19282 vsize=8414124 memory=336120 CPUtime=139.41 cores=0-7
/proc/19305/task/19306/stat : 19306 (java) S 19282 19282 19238 0 -1 1077944384 16880 192496 0 0 74 6 13814 47 20 0 23 0 512166896 8616062976 33637 33554432000 4194304 4196468 140732240423552 140277241143200 140277269313237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19307] ppid=19282 vsize=8414124 memory=6943526294502006880 CPUtime=138.61 cores=0-7
/proc/19305/task/19307/stat : 19307 (java) S 19282 19282 19238 0 -1 1077944384 1 192496 0 0 0 0 13814 47 20 0 23 0 512166897 8616062976 33637 33554432000 4194304 4196468 140732240423552 140277273545744 140277269313237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19308] ppid=19282 vsize=8414124 memory=6656426216303648864 CPUtime=138.61 cores=0-7
/proc/19305/task/19308/stat : 19308 (java) S 19282 19282 19238 0 -1 1077944384 2 192496 0 0 0 0 13814 47 20 0 23 0 512166897 8616062976 33637 33554432000 4194304 4196468 140732240423552 140277073714320 140277269313237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19309] ppid=19282 vsize=8414124 memory=123864 CPUtime=138.61 cores=0-7
/proc/19305/task/19309/stat : 19309 (java) S 19282 19282 19238 0 -1 1077944384 1 192496 0 0 0 0 13814 47 20 0 23 0 512166897 8616062976 33637 33554432000 4194304 4196468 140732240423552 140277072661264 140277269313237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19310] ppid=19282 vsize=8414124 memory=329696 CPUtime=138.61 cores=0-7
/proc/19305/task/19310/stat : 19310 (java) S 19282 19282 19238 0 -1 1077944384 1 192496 0 0 0 0 13814 47 20 0 23 0 512166897 8616062976 33637 33554432000 4194304 4196468 140732240423552 140277071608720 140277269313237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19311] ppid=19282 vsize=8414124 memory=302420 CPUtime=138.61 cores=0-7
/proc/19305/task/19311/stat : 19311 (java) S 19282 19282 19238 0 -1 1077944384 2 192496 0 0 0 0 13814 47 20 0 23 0 512166897 8616062976 33637 33554432000 4194304 4196468 140732240423552 140277070555664 140277269313237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19312] ppid=19282 vsize=8414124 memory=0 CPUtime=138.61 cores=0-7
/proc/19305/task/19312/stat : 19312 (java) S 19282 19282 19238 0 -1 1077944384 2 192496 0 0 0 0 13814 47 20 0 23 0 512166897 8616062976 33637 33554432000 4194304 4196468 140732240423552 140277069503120 140277269313237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19313] ppid=19282 vsize=8414124 memory=3580 CPUtime=138.61 cores=0-7
/proc/19305/task/19313/stat : 19313 (java) S 19282 19282 19238 0 -1 1077944384 2 192496 0 0 0 0 13814 47 20 0 23 0 512166897 8616062976 33637 33554432000 4194304 4196468 140732240423552 140277068450064 140277269313237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19314] ppid=19282 vsize=8414124 memory=988 CPUtime=138.61 cores=0-7
/proc/19305/task/19314/stat : 19314 (java) S 19282 19282 19238 0 -1 1077944384 3 192496 0 0 0 0 13814 47 20 0 23 0 512166897 8616062976 33637 33554432000 4194304 4196468 140732240423552 140277067397520 140277269313237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19315] ppid=19282 vsize=8414124 memory=2016 CPUtime=138.61 cores=0-7
/proc/19305/task/19315/stat : 19315 (java) S 19282 19282 19238 0 -1 1077944384 5 192496 0 0 0 0 13814 47 20 0 23 0 512166899 8616062976 33637 33554432000 4194304 4196468 140732240423552 140276093856496 140277269314178 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19316] ppid=19282 vsize=8414124 memory=1284 CPUtime=138.61 cores=0-7
/proc/19305/task/19316/stat : 19316 (java) S 19282 19282 19238 0 -1 1077944384 13 192496 0 0 0 0 13814 47 20 0 23 0 512166899 8616062976 33637 33554432000 4194304 4196468 140732240423552 140275913582240 140277269313237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19317] ppid=19282 vsize=8414124 memory=1044 CPUtime=138.61 cores=0-7
/proc/19305/task/19317/stat : 19317 (java) S 19282 19282 19238 0 -1 1077944384 1 192496 0 0 0 0 13814 47 20 0 23 0 512166900 8616062976 33637 33554432000 4194304 4196468 140732240423552 140275645146352 140277269313237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19318] ppid=19282 vsize=8414124 memory=708 CPUtime=138.61 cores=0-7
/proc/19305/task/19318/stat : 19318 (java) S 19282 19282 19238 0 -1 1077944384 1 192496 0 0 0 0 13814 47 20 0 23 0 512166902 8616062976 33637 33554432000 4194304 4196468 140732240423552 140275270638032 140277269321627 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19319] ppid=19282 vsize=8414124 memory=33 CPUtime=138.74 cores=0-7
/proc/19305/task/19319/stat : 19319 (java) S 19282 19282 19238 0 -1 1077944384 405 192496 0 0 13 0 13814 47 20 0 23 0 512166903 8616062976 33637 33554432000 4194304 4196468 140732240423552 140276092803312 140277269314178 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19320] ppid=19282 vsize=8414124 memory=280532769302376 CPUtime=138.72 cores=0-7
/proc/19305/task/19320/stat : 19320 (java) S 19282 19282 19238 0 -1 1077944384 571 192496 0 0 11 0 13814 47 20 0 23 0 512166903 8616062976 33637 33554432000 4194304 4196468 140732240423552 140276091750768 140277269314178 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19321] ppid=19282 vsize=8414124 memory=804 CPUtime=138.76 cores=0-7
/proc/19305/task/19321/stat : 19321 (java) S 19282 19282 19238 0 -1 1077944384 709 192496 0 0 15 0 13814 47 20 0 23 0 512166903 8616062976 33637 33554432000 4194304 4196468 140732240423552 140276090697712 140277269314178 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19322] ppid=19282 vsize=8414124 memory=4104 CPUtime=138.87 cores=0-7
/proc/19305/task/19322/stat : 19322 (java) R 19282 19282 19238 0 -1 4202560 1039 192496 0 0 26 0 13814 47 20 0 23 0 512166903 8616062976 33637 33554432000 4194304 4196468 140732240423552 140276089644352 140277261540158 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19323] ppid=19282 vsize=8414124 memory=1804 CPUtime=138.61 cores=0-7
/proc/19305/task/19323/stat : 19323 (java) S 19282 19282 19238 0 -1 1077944384 3 192496 0 0 0 0 13814 47 20 0 23 0 512166903 8616062976 33637 33554432000 4194304 4196468 140732240423552 140274772732896 140277269313237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19324] ppid=19282 vsize=8414124 memory=920 CPUtime=138.62 cores=0-7
/proc/19305/task/19324/stat : 19324 (java) S 19282 19282 19238 0 -1 1077944384 3 192496 0 0 0 1 13814 47 20 0 23 0 512166903 8616062976 33637 33554432000 4194304 4196468 140732240423552 140276088593584 140277269314178 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19326] ppid=19282 vsize=8414124 memory=3908 CPUtime=138.61 cores=0-7
/proc/19305/task/19326/stat : 19326 (java) S 19282 19282 19238 0 -1 1077944384 24 192496 0 0 0 0 13814 47 20 0 23 0 512166974 8616062976 33637 33554432000 4194304 4196468 140732240423552 140276585149072 140277269314178 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19328] ppid=19282 vsize=8414124 memory=1412 CPUtime=138.67 cores=0-7
/proc/19305/task/19328/stat : 19328 (java) R 19282 19282 19238 0 -1 4202560 180 192496 0 0 6 0 13814 47 20 0 23 0 512166974 8616062976 33637 33554432000 4194304 4196468 140732240423552 140274101638624 140276739074647 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19330] ppid=19282 vsize=8414124 memory=1476 CPUtime=138.61 cores=0-7
/proc/19305/task/19330/stat : 19330 (java) S 19282 19282 19238 0 -1 1077944384 9 192496 0 0 0 0 13814 47 20 0 23 0 512166976 8616062976 33637 33554432000 4194304 4196468 140732240423552 140273833204416 140277269313237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
Current children cumulated CPU time: 161.01 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 136024 KiB

[startup+30.601 s]
/proc/loadavg: 5.84 6.53 6.27 2/218 19340
/proc/meminfo: memFree=28296736/32770624 swapFree=66954136/67108860
[pid=19282] ppid=19279 vsize=113128 memory=1476 CPUtime=20.82 cores=0-7
/proc/19282/stat : 19282 (scop.sh) S 19279 19282 19238 0 -1 4202496 582 35524 0 0 0 0 1997 85 20 0 1 0 512165796 115843072 369 33554432000 4194304 5098028 140735662700192 140735662696936 140419480154748 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33841152 140735662703356 140735662703704 140735662703704 140735662706633 0
/proc/19282/statm: 28282 369 311 221 0 87 0
[pid=19305] ppid=19282 vsize=8283048 memory=147556 CPUtime=140.65 cores=0-7
/proc/19305/stat : 19305 (java) S 19282 19282 19238 0 -1 1077944320 21849 192496 0 0 193 11 13814 47 20 0 22 0 512166896 8481841152 36889 33554432000 4194304 4196468 140732240423552 140732240406096 140277269303031 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
/proc/19305/statm: 2070762 36889 3236 1 0 2032106 0
[pid=19305/tid=19306] ppid=19282 vsize=8283048 memory=123864 CPUtime=139.59 cores=0-7
/proc/19305/task/19306/stat : 19306 (java) R 19282 19282 19238 0 -1 4202560 17185 192496 0 0 91 7 13814 47 20 0 22 0 512166896 8481841152 36889 33554432000 4194304 4196468 140732240423552 140277241139248 140277269314966 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19307] ppid=19282 vsize=8283048 memory=6791534058613427641 CPUtime=138.61 cores=0-7
/proc/19305/task/19307/stat : 19307 (java) S 19282 19282 19238 0 -1 1077944384 1 192496 0 0 0 0 13814 47 20 0 22 0 512166897 8481841152 36889 33554432000 4194304 4196468 140732240423552 140277273545744 140277269313237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19308] ppid=19282 vsize=8283048 memory=928 CPUtime=138.61 cores=0-7
/proc/19305/task/19308/stat : 19308 (java) S 19282 19282 19238 0 -1 1077944384 2 192496 0 0 0 0 13814 47 20 0 22 0 512166897 8481841152 36889 33554432000 4194304 4196468 140732240423552 140277073714320 140277269313237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19309] ppid=19282 vsize=8283048 memory=1680 CPUtime=138.61 cores=0-7
/proc/19305/task/19309/stat : 19309 (java) S 19282 19282 19238 0 -1 1077944384 1 192496 0 0 0 0 13814 47 20 0 22 0 512166897 8481841152 36889 33554432000 4194304 4196468 140732240423552 140277072661264 140277269313237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19310] ppid=19282 vsize=8283048 memory=1444 CPUtime=138.61 cores=0-7
/proc/19305/task/19310/stat : 19310 (java) S 19282 19282 19238 0 -1 1077944384 1 192496 0 0 0 0 13814 47 20 0 22 0 512166897 8481841152 36889 33554432000 4194304 4196468 140732240423552 140277071608720 140277269313237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19311] ppid=19282 vsize=8283048 memory=880 CPUtime=138.61 cores=0-7
/proc/19305/task/19311/stat : 19311 (java) S 19282 19282 19238 0 -1 1077944384 2 192496 0 0 0 0 13814 47 20 0 22 0 512166897 8481841152 36889 33554432000 4194304 4196468 140732240423552 140277070555664 140277269313237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19312] ppid=19282 vsize=8283048 memory=1984 CPUtime=138.61 cores=0-7
/proc/19305/task/19312/stat : 19312 (java) S 19282 19282 19238 0 -1 1077944384 2 192496 0 0 0 0 13814 47 20 0 22 0 512166897 8481841152 36889 33554432000 4194304 4196468 140732240423552 140277069503120 140277269313237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19313] ppid=19282 vsize=8283048 memory=2552 CPUtime=138.61 cores=0-7
/proc/19305/task/19313/stat : 19313 (java) S 19282 19282 19238 0 -1 1077944384 2 192496 0 0 0 0 13814 47 20 0 22 0 512166897 8481841152 36889 33554432000 4194304 4196468 140732240423552 140277068450064 140277269313237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19314] ppid=19282 vsize=8283048 memory=1760 CPUtime=138.61 cores=0-7
/proc/19305/task/19314/stat : 19314 (java) S 19282 19282 19238 0 -1 1077944384 3 192496 0 0 0 0 13814 47 20 0 22 0 512166897 8481841152 36889 33554432000 4194304 4196468 140732240423552 140277067397520 140277269313237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19315] ppid=19282 vsize=8283048 memory=111632 CPUtime=138.61 cores=0-7
/proc/19305/task/19315/stat : 19315 (java) S 19282 19282 19238 0 -1 1077944384 5 192496 0 0 0 0 13814 47 20 0 22 0 512166899 8481841152 36889 33554432000 4194304 4196468 140732240423552 140276093856496 140277269314178 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19316] ppid=19282 vsize=8283048 memory=804 CPUtime=138.61 cores=0-7
/proc/19305/task/19316/stat : 19316 (java) S 19282 19282 19238 0 -1 1077944384 13 192496 0 0 0 0 13814 47 20 0 22 0 512166899 8481841152 36889 33554432000 4194304 4196468 140732240423552 140275913582240 140277269313237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19317] ppid=19282 vsize=8283048 memory=4104 CPUtime=138.61 cores=0-7
/proc/19305/task/19317/stat : 19317 (java) S 19282 19282 19238 0 -1 1077944384 1 192496 0 0 0 0 13814 47 20 0 22 0 512166900 8481841152 36889 33554432000 4194304 4196468 140732240423552 140275645146352 140277269313237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19318] ppid=19282 vsize=8283048 memory=1804 CPUtime=138.61 cores=0-7
/proc/19305/task/19318/stat : 19318 (java) S 19282 19282 19238 0 -1 1077944384 1 192496 0 0 0 0 13814 47 20 0 22 0 512166902 8481841152 36889 33554432000 4194304 4196468 140732240423552 140275270638032 140277269321627 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19319] ppid=19282 vsize=8283048 memory=920 CPUtime=138.81 cores=0-7
/proc/19305/task/19319/stat : 19319 (java) R 19282 19282 19238 0 -1 4202560 429 192496 0 0 19 1 13814 47 20 0 22 0 512166903 8481841152 36889 33554432000 4194304 4196468 140732240423552 140276092784496 140277252714006 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19320] ppid=19282 vsize=8283048 memory=496 CPUtime=138.76 cores=0-7
/proc/19305/task/19320/stat : 19320 (java) S 19282 19282 19238 0 -1 1077944384 609 192496 0 0 15 0 13814 47 20 0 22 0 512166903 8481841152 36889 33554432000 4194304 4196468 140732240423552 140276091750768 140277269314178 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19321] ppid=19282 vsize=8283048 memory=1560 CPUtime=138.82 cores=0-7
/proc/19305/task/19321/stat : 19321 (java) S 19282 19282 19238 0 -1 1077944384 757 192496 0 0 21 0 13814 47 20 0 22 0 512166903 8481841152 36889 33554432000 4194304 4196468 140732240423552 140276090697712 140277269314178 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19322] ppid=19282 vsize=8283048 memory=928 CPUtime=138.98 cores=0-7
/proc/19305/task/19322/stat : 19322 (java) R 19282 19282 19238 0 -1 4202560 1287 192496 0 0 37 0 13814 47 20 0 22 0 512166903 8481841152 36889 33554432000 4194304 4196468 140732240423552 140276089639520 140277269324378 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19323] ppid=19282 vsize=8283048 memory=1680 CPUtime=138.61 cores=0-7
/proc/19305/task/19323/stat : 19323 (java) S 19282 19282 19238 0 -1 1077944384 3 192496 0 0 0 0 13814 47 20 0 22 0 512166903 8481841152 36889 33554432000 4194304 4196468 140732240423552 140274772732896 140277269313237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19324] ppid=19282 vsize=8283048 memory=1444 CPUtime=138.62 cores=0-7
/proc/19305/task/19324/stat : 19324 (java) S 19282 19282 19238 0 -1 1077944384 3 192496 0 0 0 1 13814 47 20 0 22 0 512166903 8481841152 36889 33554432000 4194304 4196468 140732240423552 140276088593584 140277269314178 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19326] ppid=19282 vsize=8283048 memory=880 CPUtime=138.61 cores=0-7
/proc/19305/task/19326/stat : 19326 (java) S 19282 19282 19238 0 -1 1077944384 24 192496 0 0 0 0 13814 47 20 0 22 0 512166974 8481841152 36889 33554432000 4194304 4196468 140732240423552 140276585149072 140277269314178 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
[pid=19305/tid=19330] ppid=19282 vsize=8283048 memory=1984 CPUtime=138.61 cores=0-7
/proc/19305/task/19330/stat : 19330 (java) S 19282 19282 19238 0 -1 1077944384 15 192496 0 0 0 0 13814 47 20 0 22 0 512166976 8481841152 36889 33554432000 4194304 4196468 140732240423552 140273833206448 140277269314178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35090432 140732240425951 140732240426118 140732240426118 140732240429007 0
Current children cumulated CPU time: 161.47 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 149032 KiB

Child status: 0
Real time (s): 30.6519
CPU time (s): 161.584
CPU user time (s): 160.115
CPU system time (s): 1.46903
CPU usage (%): 527.159
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 4452284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 160.115
system time used= 1.46903
maximum resident set size= 4455608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 251635
page faults= 0
swaps= 0
block input operations= 8
block output operations= 9808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15009
involuntary context switches= 1396


# summary of solver processes directly reported to runsolver:
#   pid: 19282
#   total CPU time (s): 161.584
#   total CPU user time (s): 160.115
#   total CPU system time (s): 1.46903

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.288594 second user time and 0.414549 second system time

The end

Launcher Data 

Begin job on node107 at 2019-09-24 22:03:01
IDJOB=4405571
IDBENCH=138945
IDSOLVER=2868
FILE ID=node107/4405571-1569359105
RUNJOBID= node107-1569355381-19265
PBS_JOBID= 21705118
Free space on /var/tmp= 12564 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/LatinSquare/LatinSquare-m1-gp/qwh-o30-h374-05.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405571-1569359105/watcher-4405571-1569359105 -o /var/tmp/evaluation-result-4405571-1569359105/solver-4405571-1569359105 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node107-1569355381-19265 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405571-1569359105.xml

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

MD5SUM BENCH= 28a405c699ff9e569ded15e71872b7af
RANDOM SEED=1858598324

node107.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        28747272 kB
MemAvailable:   31801424 kB
Buffers:           71400 kB
Cached:          3125888 kB
SwapCached:        48180 kB
Active:          1974580 kB
Inactive:        1271844 kB
Active(anon):       3608 kB
Inactive(anon):    98556 kB
Active(file):    1970972 kB
Inactive(file):  1173288 kB
Unevictable:      111248 kB
Mlocked:          111248 kB
SwapTotal:      67108860 kB
SwapFree:       66954136 kB
Dirty:             20496 kB
Writeback:             0 kB
AnonPages:        112732 kB
Mapped:            53484 kB
Shmem:             44524 kB
Slab:             366480 kB
SReclaimable:     338352 kB
SUnreclaim:        28128 kB
KernelStack:        3296 kB
PageTables:         5596 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /var/tmp at the end= 12544 MiB
End job on node107 at 2019-09-24 22:03:32