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