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