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