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