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