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