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