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