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