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