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