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