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