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