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