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