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