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