Sophie

Sophie

distrib > Fedora > 13 > i386 > by-pkgid > a910436f158385c7efc1436814652c18 > files > 107

minion-examples-0.10-4.fc13.noarch.rpm

20 sizes: [12, 14, 17, 18, 19, 20, 23, 24, 25, 26,
27, 28, 29, 30, 32, 35, 39, 42, 43, 44]
14 orders, 9 colours 
22 2
9 3
8 5
8 9
7 4
7 8
5 4
4 1
4 7
3 6
3 4
3 6
2 6
2 4
Phase 1: 
Total Order Weight: 87
Min no. slabs required: 2
.
Number of fails               : 1817436
Number of choice points       : 1817436
Number of variables           : 301
Number of constraints         : 0
Reversible stack (bytes)      : 32184
Solver heap (bytes)           : 100524
Solver global heap (bytes)    : 4044
And stack (bytes)             : 4044
Or stack (bytes)              : 4044
Search Stack (bytes)          : 4044
Constraint queue (bytes)      : 11144
Total memory used (bytes)     : 160028
Elapsed time since creation   : 102.056
Opt: 87
Z: 0 2 2 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 

0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 1 1 0 0 0 0 1 1 0 1 1 0 
0 1 0 0 1 1 1 1 0 0 0 0 0 1 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
1 0 0 0 0 0 0 0 0 0 1 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 


SubP for size 14 has 2 slabs. 
SubP has 6 orders 
SubP Order Matrix Created
SubP Colour Matrix Created
SubP Channelling constraints created
Unsolvable, generating ICs...
Number of fails               : 4
Number of choice points       : 3
Number of variables           : 20
Number of constraints         : 0
Reversible stack (bytes)      : 4044
Solver heap (bytes)           : 12084
Solver global heap (bytes)    : 4044
And stack (bytes)             : 4044
Or stack (bytes)              : 4044
Search Stack (bytes)          : 4044
Constraint queue (bytes)      : 11144
Total memory used (bytes)     : 43448
Elapsed time since creation   : 0
SubP for size 17 has 2 slabs. 
SubP has 6 orders 
SubP Order Matrix Created
SubP Colour Matrix Created
SubP Channelling constraints created
Unsolvable, generating ICs...
Number of fails               : 6
Number of choice points       : 5
Number of variables           : 20
Number of constraints         : 0
Reversible stack (bytes)      : 4044
Solver heap (bytes)           : 12084
Solver global heap (bytes)    : 4044
And stack (bytes)             : 4044
Or stack (bytes)              : 4044
Search Stack (bytes)          : 4044
Constraint queue (bytes)      : 11144
Total memory used (bytes)     : 43448
Elapsed time since creation   : 0.01
SubP for size 25 has 1 slabs. 
SubP has 2 orders 
SubP Order Matrix Created
SubP Colour Matrix Created
SubP Channelling constraints created
Solved: 
1 1 

Number of fails               : 0
Number of choice points       : 0
Number of variables           : 4
Number of constraints         : 4
Reversible stack (bytes)      : 4044
Solver heap (bytes)           : 4044
Solver global heap (bytes)    : 4044
And stack (bytes)             : 4044
Or stack (bytes)              : 4044
Search Stack (bytes)          : 4044
Constraint queue (bytes)      : 11144
Total memory used (bytes)     : 35408
Elapsed time since creation   : 0
.
Number of fails               : 1817395
Number of choice points       : 1817395
Number of variables           : 301
Number of constraints         : 0
Reversible stack (bytes)      : 32184
Solver heap (bytes)           : 104544
Solver global heap (bytes)    : 4044
And stack (bytes)             : 4044
Or stack (bytes)              : 4044
Search Stack (bytes)          : 4044
Constraint queue (bytes)      : 11144
Total memory used (bytes)     : 164048
Elapsed time since creation   : 102.518
Opt: 87
Z: 0 2 2 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 

0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 1 1 0 0 0 1 0 1 0 1 1 0 
0 1 0 0 1 1 1 0 1 0 0 0 0 1 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
1 0 0 0 0 0 0 0 0 0 1 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 


SubP for size 14 has 2 slabs. 
SubP has 6 orders 
SubP Order Matrix Created
SubP Colour Matrix Created
SubP Channelling constraints created
Unsolvable, generating ICs...
Number of fails               : 4
Number of choice points       : 3
Number of variables           : 20
Number of constraints         : 0
Reversible stack (bytes)      : 4044
Solver heap (bytes)           : 12084
Solver global heap (bytes)    : 4044
And stack (bytes)             : 4044
Or stack (bytes)              : 4044
Search Stack (bytes)          : 4044
Constraint queue (bytes)      : 11144
Total memory used (bytes)     : 43448
Elapsed time since creation   : 0
SubP for size 17 has 2 slabs. 
SubP has 6 orders 
SubP Order Matrix Created
SubP Colour Matrix Created
SubP Channelling constraints created
Unsolvable, generating ICs...
Number of fails               : 6
Number of choice points       : 5
Number of variables           : 20
Number of constraints         : 0
Reversible stack (bytes)      : 4044
Solver heap (bytes)           : 12084
Solver global heap (bytes)    : 4044
And stack (bytes)             : 4044
Or stack (bytes)              : 4044
Search Stack (bytes)          : 4044
Constraint queue (bytes)      : 11144
Total memory used (bytes)     : 43448
Elapsed time since creation   : 0.01
SubP for size 25 has 1 slabs. 
SubP has 2 orders 
SubP Order Matrix Created
SubP Colour Matrix Created
SubP Channelling constraints created
Solved: 
1 1 

Number of fails               : 0
Number of choice points       : 0
Number of variables           : 4
Number of constraints         : 4
Reversible stack (bytes)      : 4044
Solver heap (bytes)           : 4044
Solver global heap (bytes)    : 4044
And stack (bytes)             : 4044
Or stack (bytes)              : 4044
Search Stack (bytes)          : 4044
Constraint queue (bytes)      : 11144
Total memory used (bytes)     : 35408
Elapsed time since creation   : 0
.
Number of fails               : 1817359
Number of choice points       : 1817359
Number of variables           : 301
Number of constraints         : 0
Reversible stack (bytes)      : 36204
Solver heap (bytes)           : 104544
Solver global heap (bytes)    : 4044
And stack (bytes)             : 4044
Or stack (bytes)              : 4044
Search Stack (bytes)          : 4044
Constraint queue (bytes)      : 11144
Total memory used (bytes)     : 168068
Elapsed time since creation   : 103.148
Opt: 87
Z: 0 2 2 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 

0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 1 1 0 1 0 0 0 0 0 1 1 0 
0 1 0 0 1 0 1 1 1 0 1 0 0 1 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
1 0 0 0 0 0 0 0 0 1 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 


SubP for size 14 has 2 slabs. 
SubP has 5 orders 
SubP Order Matrix Created
SubP Colour Matrix Created
SubP Channelling constraints created
Unsolvable, generating ICs...
Number of fails               : 2
Number of choice points       : 1
Number of variables           : 18
Number of constraints         : 0
Reversible stack (bytes)      : 4044
Solver heap (bytes)           : 8064
Solver global heap (bytes)    : 4044
And stack (bytes)             : 4044
Or stack (bytes)              : 4044
Search Stack (bytes)          : 4044
Constraint queue (bytes)      : 11144
Total memory used (bytes)     : 39428
Elapsed time since creation   : 0
SubP for size 17 has 2 slabs. 
SubP has 7 orders 
SubP Order Matrix Created
SubP Colour Matrix Created
SubP Channelling constraints created
Unsolvable, generating ICs...
Number of fails               : 8
Number of choice points       : 7
Number of variables           : 22
Number of constraints         : 0
Reversible stack (bytes)      : 4044
Solver heap (bytes)           : 12084
Solver global heap (bytes)    : 4044
And stack (bytes)             : 4044
Or stack (bytes)              : 4044
Search Stack (bytes)          : 4044
Constraint queue (bytes)      : 11144
Total memory used (bytes)     : 43448
Elapsed time since creation   : 0
SubP for size 25 has 1 slabs. 
SubP has 2 orders 
SubP Order Matrix Created
SubP Colour Matrix Created
SubP Channelling constraints created
Solved: 
1 1 

Number of fails               : 0
Number of choice points       : 0
Number of variables           : 4
Number of constraints         : 4
Reversible stack (bytes)      : 4044
Solver heap (bytes)           : 4044
Solver global heap (bytes)    : 4044
And stack (bytes)             : 4044
Or stack (bytes)              : 4044
Search Stack (bytes)          : 4044
Constraint queue (bytes)      : 11144
Total memory used (bytes)     : 35408
Elapsed time since creation   : 0
.
Number of fails               : 1817327
Number of choice points       : 1817327
Number of variables           : 301
Number of constraints         : 0
Reversible stack (bytes)      : 36204
Solver heap (bytes)           : 108564
Solver global heap (bytes)    : 4044
And stack (bytes)             : 4044
Or stack (bytes)              : 4044
Search Stack (bytes)          : 4044
Constraint queue (bytes)      : 11144
Total memory used (bytes)     : 172088
Elapsed time since creation   : 103.799
Opt: 87
Z: 0 2 2 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 

0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 1 0 0 0 1 0 0 1 1 0 1 1 0 
0 0 1 1 1 0 1 1 0 0 0 0 0 1 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
1 0 0 0 0 0 0 0 0 0 1 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 


SubP for size 14 has 2 slabs. 
SubP has 6 orders 
SubP Order Matrix Created
SubP Colour Matrix Created
SubP Channelling constraints created
Unsolvable, generating ICs...
Number of fails               : 4
Number of choice points       : 3
Number of variables           : 20
Number of constraints         : 0
Reversible stack (bytes)      : 4044
Solver heap (bytes)           : 12084
Solver global heap (bytes)    : 4044
And stack (bytes)             : 4044
Or stack (bytes)              : 4044
Search Stack (bytes)          : 4044
Constraint queue (bytes)      : 11144
Total memory used (bytes)     : 43448
Elapsed time since creation   : 0.01
SubP for size 17 has 2 slabs. 
SubP has 6 orders 
SubP Order Matrix Created
SubP Colour Matrix Created
SubP Channelling constraints created
Unsolvable, generating ICs...
Number of fails               : 6
Number of choice points       : 5
Number of variables           : 20
Number of constraints         : 0
Reversible stack (bytes)      : 4044
Solver heap (bytes)           : 12084
Solver global heap (bytes)    : 4044
And stack (bytes)             : 4044
Or stack (bytes)              : 4044
Search Stack (bytes)          : 4044
Constraint queue (bytes)      : 11144
Total memory used (bytes)     : 43448
Elapsed time since creation   : 0
SubP for size 25 has 1 slabs. 
SubP has 2 orders 
SubP Order Matrix Created
SubP Colour Matrix Created
SubP Channelling constraints created
Solved: 
1 1 

Number of fails               : 0
Number of choice points       : 0
Number of variables           : 4
Number of constraints         : 4
Reversible stack (bytes)      : 4044
Solver heap (bytes)           : 4044
Solver global heap (bytes)    : 4044
And stack (bytes)             : 4044
Or stack (bytes)              : 4044
Search Stack (bytes)          : 4044
Constraint queue (bytes)      : 11144
Total memory used (bytes)     : 35408
Elapsed time since creation   : 0
.
Number of fails               : 1817286
Number of choice points       : 1817286
Number of variables           : 301
Number of constraints         : 0
Reversible stack (bytes)      : 36204
Solver heap (bytes)           : 112584
Solver global heap (bytes)    : 4044
And stack (bytes)             : 4044
Or stack (bytes)              : 4044
Search Stack (bytes)          : 4044
Constraint queue (bytes)      : 11144
Total memory used (bytes)     : 176108
Elapsed time since creation   : 104.36
Opt: 87
Z: 0 2 2 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 

0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 1 0 0 0 1 0 1 0 1 0 1 1 0 
0 0 1 1 1 0 1 0 1 0 0 0 0 1 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
1 0 0 0 0 0 0 0 0 0 1 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 


SubP for size 14 has 2 slabs. 
SubP has 6 orders 
SubP Order Matrix Created
SubP Colour Matrix Created
SubP Channelling constraints created
Unsolvable, generating ICs...
Number of fails               : 4
Number of choice points       : 3
Number of variables           : 20
Number of constraints         : 0
Reversible stack (bytes)      : 4044
Solver heap (bytes)           : 12084
Solver global heap (bytes)    : 4044
And stack (bytes)             : 4044
Or stack (bytes)              : 4044
Search Stack (bytes)          : 4044
Constraint queue (bytes)      : 11144
Total memory used (bytes)     : 43448
Elapsed time since creation   : 0
SubP for size 17 has 2 slabs. 
SubP has 6 orders 
SubP Order Matrix Created
SubP Colour Matrix Created
SubP Channelling constraints created
Unsolvable, generating ICs...
Number of fails               : 6
Number of choice points       : 5
Number of variables           : 20
Number of constraints         : 0
Reversible stack (bytes)      : 4044
Solver heap (bytes)           : 12084
Solver global heap (bytes)    : 4044
And stack (bytes)             : 4044
Or stack (bytes)              : 4044
Search Stack (bytes)          : 4044
Constraint queue (bytes)      : 11144
Total memory used (bytes)     : 43448
Elapsed time since creation   : 0
SubP for size 25 has 1 slabs. 
SubP has 2 orders 
SubP Order Matrix Created
SubP Colour Matrix Created
SubP Channelling constraints created
Solved: 
1 1 

Number of fails               : 0
Number of choice points       : 0
Number of variables           : 4
Number of constraints         : 4
Reversible stack (bytes)      : 4044
Solver heap (bytes)           : 4044
Solver global heap (bytes)    : 4044
And stack (bytes)             : 4044
Or stack (bytes)              : 4044
Search Stack (bytes)          : 4044
Constraint queue (bytes)      : 11144
Total memory used (bytes)     : 35408
Elapsed time since creation   : 0