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