(1,9) (2,15) (3,28) (4,27) (5,14) (6,20) (7,19) (8,13) (10,11) (12,16) (17,26) (22,30) (23,29) (24,25) 
nodes: 13048  conflicts: 60  modelTime: 944  solveTime: 27546  totalTime: 28501  modelSize: 72262  readTime: 11 size: 14