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