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