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