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