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