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