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