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