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