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