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