#BEGIN: [Tue Aug 29 21:39:17 2023]
#HOST: s02
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-banbaralab2-existent2
#INSTANCE1: /benchmark/2022benchmark/benchmark/grid/grid020x020.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/grid/grid020x020_02_7550.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na /benchmark/2022benchmark/benchmark/grid/grid020x020.col /benchmark/2022benchmark/benchmark/grid/grid020x020_02_7550.dat
c /benchmark/2022benchmark/benchmark/grid/grid020x020.col
c /benchmark/2022benchmark/benchmark/grid/grid020x020_02_7550.dat
s 1 3 5 7 9 11 13 15 17 19 22 24 26 28 30 32 34 36 38 40 41 43 45 47 49 51 53 55 57 59 62 64 66 68 70 72 74 76 78 80 81 83 85 87 89 91 93 95 97 99 102 104 106 108 110 112 114 116 118 120 121 123 125 127 129 131 133 135 137 139 142 144 146 148 150 152 154 156 158 160 161 163 165 167 169 171 173 175 177 179 182 184 186 188 190 192 194 196 198 200 201 203 205 207 209 211 213 215 217 219 222 224 226 228 230 232 234 236 238 240 241 243 245 247 249 251 253 255 257 259 262 264 266 268 270 272 274 276 278 280 281 283 285 287 289 291 293 295 297 299 302 304 306 308 310 312 314 316 318 320 321 323 325 327 329 331 333 335 337 339 342 344 346 350 352 354 356 358 360 361 363 365 367 369 371 373 375 377 379 382 384 386 388 390 392 394 396 398 400
t 2 4 6 8 10 12 14 16 18 20 21 23 25 27 29 31 33 35 37 39 42 44 46 48 50 52 54 56 58 60 61 63 65 67 69 71 73 75 77 79 82 84 86 88 90 92 94 96 98 100 101 103 105 107 109 111 113 115 117 119 122 124 126 128 130 132 134 136 138 140 141 143 145 147 149 151 153 155 157 159 162 164 166 168 170 172 174 176 178 180 181 183 185 187 189 191 193 195 197 199 202 204 206 208 210 212 214 216 218 220 221 223 225 227 229 231 233 235 237 239 242 244 246 248 250 252 254 256 258 260 261 263 265 269 271 273 275 277 279 282 284 286 288 290 292 294 296 298 300 301 303 305 307 309 311 313 315 317 319 322 324 326 328 330 332 334 336 338 340 341 343 345 347 349 351 353 355 357 359 362 364 366 368 370 372 374 376 378 380 381 383 385 387 389 391 393 395 397 399
a NO
c UNREACHABLE
	Command being timed: "python3 run_3.py --existent --na /benchmark/2022benchmark/benchmark/grid/grid020x020.col /benchmark/2022benchmark/benchmark/grid/grid020x020_02_7550.dat"
	User time (seconds): 2.98
	System time (seconds): 0.08
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:03.07
	Average shared text size (kbytes): 0
	Average unshared data size (kbytes): 0
	Average stack size (kbytes): 0
	Average total size (kbytes): 0
	Maximum resident set size (kbytes): 301644
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 88166
	Voluntary context switches: 22
	Involuntary context switches: 14
	Swaps: 0
	File system inputs: 0
	File system outputs: 72
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Tue Aug 29 21:39:21 2023]