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