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