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