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