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