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