(1,30) (2,15) (3,8) (5,21) (6,14) (7,9) (10,20) (11,19) (12,29) (13,18) (16,23) (17,27) (22,25) (24,26) 
nodes: 1483  conflicts: 62  modelTime: 955  solveTime: 4598  totalTime: 5564  modelSize: 72262  readTime: 11 size: 14