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