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