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