(1,19) (2,10) (3,7) (4,20) (5,12) (6,23) (8,11) (9,27) (13,18) (14,21) (15,29) (16,25) (17,26) (22,30) (24,28) 
nodes: 898  conflicts: 39  modelTime: 1481  solveTime: 4689  totalTime: 6190  modelSize: 72263  readTime: 20 size: 15