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