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