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