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