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