(1,10) (2,22) (3,8) (4,5) (6,11) (7,19) (12,24) (13,29) (14,15) (16,23) (17,20) (18,28) (25,26) (27,30) 
nodes: 2201  conflicts: 36  modelTime: 943  solveTime: 8451  totalTime: 9414  modelSize: 72262  readTime: 20 size: 14