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