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