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