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