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