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