#BEGIN: [Mon Sep 11 20:50:29 2023] #HOST: s11 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-cpu-banbaralab-longest2 #INSTANCE1: /benchmark/ph-isr/ph-05-04.col #INSTANCE2: /benchmark/ph-isr/ph-05-04_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/ph-isr/ph-05-04.col /benchmark/ph-isr/ph-05-04_01.dat c /benchmark/ph-isr/ph-05-04.col c /benchmark/ph-isr/ph-05-04_01.dat s 1 3 8 11 14 17 20 23 26 29 32 35 38 41 44 47 50 53 56 59 62 65 66 70 74 78 82 86 88 90 92 94 96 98 100 102 104 106 108 110 112 114 116 118 120 122 124 126 128 130 132 134 136 138 140 142 144 146 148 150 152 154 156 158 160 162 164 t 2 4 8 11 14 17 20 23 26 29 32 35 38 41 44 47 50 53 56 59 62 65 66 70 74 78 82 86 88 90 92 94 96 98 100 102 104 106 108 110 112 114 116 118 120 122 124 126 128 130 132 134 136 138 140 142 144 146 148 150 152 154 156 158 160 162 164 c UNKNOWN c REACHABILITY UNKNOWN #END: [Mon Sep 11 20:58:00 2023]