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