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