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