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