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