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