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