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