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