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