(1,3) (2,15) (4,16) (5,9) (6,26) (7,11) (8,13) (10,28) (12,18) (14,22) (17,25) (19,30) (20,27) (21,23) (24,29) 
nodes: 89720  conflicts: 45  modelTime: 1551  solveTime: 331306  totalTime: 332868  modelSize: 72263  readTime: 11 size: 15