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