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