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