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