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