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