(1,15) (2,11) (3,9) (4,22) (5,30) (6,12) (7,29) (8,26) (10,19) (13,17) (14,24) (16,23) (18,25) (20,21) (27,28) 
nodes: 10757  conflicts: 41  modelTime: 1707  solveTime: 28295  totalTime: 30022  modelSize: 72262  readTime: 20 size: 15