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