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