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