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