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