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