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