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