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