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