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