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