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