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