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