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