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