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