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