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