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