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