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