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