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