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