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