(1,28) (2,3) (4,9) (5,20) (6,19) (7,15) (8,11) (10,21) (12,29) (13,22) (14,27) (16,18) (17,30) (23,26) (24,25) 
nodes: 2119  conflicts: 5  modelTime: 944  solveTime: 15680  totalTime: 16632  modelSize: 72264  readTime: 8 size: 15