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