#BEGIN: [Mon Sep 4 23:54:23 2023] #HOST: s01 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-wallclock-banbaralab-longest1 #INSTANCE1: /benchmark/random_instance/random_instance005_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance005_graph003_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance005_graph003.col /benchmark/random_instance/random_instance005_graph003_01.dat c /benchmark/random_instance/random_instance005_graph003.col c /benchmark/random_instance/random_instance005_graph003_01.dat TIMEOUT 1800 c send SIGTERM to CID a2397b65bb63afddd27ebcc5af5b39df95c42ce2d520d4b3a016959441294386 s 54 38 61 44 11 47 65 36 39 37 33 46 43 42 13 32 40 24 27 17 15 9 t 50 7 10 41 33 3 54 40 46 38 13 62 11 14 9 15 25 12 1 18 34 52 a YES a 9 11 13 15 17 24 27 32 33 36 37 38 39 40 42 43 44 46 47 54 61 65 a 9 11 13 15 17 24 27 32 33 37 38 39 40 42 43 44 46 47 50 54 61 65 a 9 11 13 14 15 17 24 27 33 37 38 39 40 42 43 44 46 47 50 54 61 65 a 9 11 13 14 15 24 27 33 34 37 38 39 40 42 43 44 46 47 50 54 61 65 a 9 11 13 14 15 24 27 33 34 36 37 38 39 40 42 43 44 46 47 54 61 65 a 5 9 11 13 14 15 24 27 33 34 36 37 38 39 40 42 44 46 47 54 61 65 a 5 9 11 13 14 15 27 33 34 36 37 38 39 40 42 44 46 47 53 54 61 65 a 9 11 13 14 15 27 33 34 36 37 38 39 40 42 43 44 46 47 53 54 61 65 a 9 11 13 14 15 27 33 34 36 37 38 39 40 43 44 46 47 53 54 60 61 65 a 9 11 13 14 15 25 27 33 34 36 37 38 39 40 43 44 46 47 53 54 60 61 a 9 11 13 14 15 18 25 27 33 34 36 37 38 39 40 43 44 46 53 54 60 61 a 9 11 13 14 15 18 25 27 33 34 36 37 38 39 40 41 43 44 46 53 54 60 a 1 9 11 13 14 15 18 25 27 33 34 36 37 38 39 40 41 43 44 46 53 54 a 1 3 9 11 13 14 15 18 25 27 33 34 36 37 38 39 40 41 43 46 53 54 a 1 3 9 10 11 13 14 15 18 25 27 33 34 36 37 38 39 40 41 46 53 54 a 1 3 9 10 11 13 14 15 18 25 27 33 34 36 37 38 39 40 41 46 53 61 a 1 3 7 9 10 11 13 14 15 18 25 27 33 34 36 38 39 40 41 46 53 61 a 1 3 7 9 10 11 13 15 18 25 27 32 33 34 36 38 39 40 41 46 53 61 a 1 3 7 9 10 11 13 18 25 27 32 33 34 36 38 39 40 41 46 53 54 61 a 1 3 7 9 10 11 13 15 18 25 27 32 33 34 36 38 39 40 41 46 53 54 a 1 3 9 10 11 13 15 18 25 27 32 33 34 36 37 38 39 40 41 46 53 54 a 1 3 9 11 13 15 18 25 27 32 33 34 36 37 38 39 40 41 43 46 53 54 a 1 3 9 11 13 15 18 25 27 33 34 36 37 38 39 40 41 43 46 53 54 61 a 1 3 9 11 13 14 15 18 25 27 33 34 36 37 39 40 41 43 46 53 54 61 a 1 3 9 11 13 14 15 18 25 27 33 34 36 37 38 39 40 41 43 53 54 61 a 1 3 9 11 13 14 15 18 25 27 33 34 36 37 38 39 40 41 46 53 54 61 a 1 3 7 9 11 13 14 15 18 25 27 33 34 36 38 39 40 41 46 53 54 61 a 1 3 7 9 11 12 13 14 15 18 25 27 33 34 36 38 40 41 46 53 54 61 a 1 3 7 9 12 13 14 15 18 25 27 33 34 36 38 40 41 46 53 54 57 61 a 1 3 7 9 10 12 13 14 15 18 25 27 33 34 36 38 40 41 46 53 54 61 a 1 7 9 10 12 13 14 15 18 25 27 33 34 36 38 40 41 46 53 54 59 61 a 1 7 9 12 13 14 15 18 25 27 33 34 36 38 40 41 46 53 54 57 59 61 a 1 7 9 11 12 13 14 15 18 25 27 33 34 36 38 40 41 46 53 54 59 61 a 1 7 9 10 11 12 13 14 15 18 25 27 33 34 38 40 41 46 53 54 59 61 a 1 7 9 10 11 12 13 14 15 18 25 27 33 34 38 40 41 46 54 59 60 61 a 1 7 9 10 11 12 13 14 15 18 25 27 33 34 36 38 40 41 54 59 60 61 a 1 7 9 10 11 12 13 14 15 18 25 27 33 34 36 38 40 41 46 54 59 60 a 1 7 9 10 11 12 13 14 15 18 25 27 33 34 36 38 40 41 46 53 54 59 a 1 3 7 9 10 11 12 13 14 15 18 25 27 33 34 36 38 40 41 46 53 54 a 1 3 7 9 10 11 12 13 14 15 18 25 33 34 36 38 40 41 46 53 54 61 a 1 3 7 9 10 11 12 13 14 15 18 22 25 33 34 38 40 41 46 53 54 61 a 1 3 7 9 10 11 12 13 14 15 18 22 25 33 34 38 40 41 46 53 54 62 a 1 3 7 9 10 11 13 14 15 18 22 25 33 34 38 39 40 41 46 53 54 62 a 1 3 9 10 11 13 14 15 18 22 25 33 34 37 38 39 40 41 46 53 54 62 a 1 3 9 10 11 13 14 15 16 18 22 25 33 34 37 39 40 41 46 53 54 62 a 1 3 4 9 10 11 13 14 15 16 18 22 33 34 37 39 40 41 46 53 54 62 a 1 3 4 7 9 10 11 13 14 15 16 18 22 33 34 39 40 41 46 53 54 62 a 1 3 7 9 10 11 13 14 15 16 18 22 25 33 34 39 40 41 46 53 54 62 a 1 3 7 9 10 11 12 13 14 15 16 18 22 25 33 34 40 41 46 53 54 62 a 1 3 7 9 10 11 12 13 14 15 16 18 22 25 33 34 40 41 46 52 54 62 a 1 3 7 9 10 11 12 13 14 15 18 22 25 33 34 38 40 41 46 52 54 62 a 1 3 7 9 10 11 12 13 14 15 18 22 25 27 33 34 38 40 41 46 52 54 a 1 3 7 9 10 11 12 13 14 15 18 22 25 27 33 34 38 40 41 46 52 56 a 1 3 7 9 10 11 12 13 14 15 18 22 25 27 33 34 40 41 46 51 52 56 a 1 3 7 9 10 11 12 13 14 15 18 19 22 25 27 34 40 41 46 51 52 56 a 3 7 9 10 11 12 13 14 15 18 19 22 25 27 34 40 41 46 51 52 56 61 a 3 7 9 10 11 12 13 14 15 16 18 19 22 25 27 34 40 41 46 51 52 56 a 3 7 9 10 11 12 13 14 15 16 18 19 22 25 34 40 41 46 51 52 56 62 a 1 3 7 10 11 12 13 14 15 16 18 19 22 25 34 40 41 46 51 52 56 62 a 1 3 7 10 11 12 13 14 15 18 19 22 25 34 40 41 46 51 52 56 62 64 a 1 3 7 10 11 12 13 14 18 19 22 25 34 40 41 46 51 52 56 62 63 64 a 1 3 10 11 12 13 14 18 19 22 25 34 40 41 46 51 52 55 56 62 63 64 a 3 9 10 11 12 13 14 18 19 22 25 34 40 41 46 51 52 55 56 62 63 64 a 3 7 9 10 11 12 13 14 18 19 22 25 34 40 41 46 51 52 56 62 63 64 a 3 7 9 10 11 12 13 14 18 19 22 25 34 35 41 46 51 52 56 62 63 64 a 3 7 9 10 11 12 13 14 16 18 19 22 25 34 35 41 46 51 52 56 62 63 a 3 7 9 10 11 12 13 14 15 16 18 19 22 25 34 35 41 46 51 52 56 62 a 3 7 9 10 11 12 13 14 15 18 19 22 25 34 35 41 46 51 52 56 62 64 a 3 7 9 10 11 12 13 14 15 18 19 22 25 34 40 41 46 51 52 56 62 64 a 1 3 7 9 10 11 12 13 14 15 18 19 22 25 34 40 41 46 51 52 62 64 a 1 3 7 9 10 11 12 13 14 15 18 19 22 25 34 40 41 46 52 54 62 64 a 1 3 7 9 10 11 12 13 14 15 18 19 22 25 34 38 40 41 46 52 54 62 a 1 3 7 9 10 11 12 13 14 18 19 22 25 34 38 40 41 46 52 54 62 63 a 1 3 7 9 10 11 12 13 14 18 19 22 25 34 38 40 41 46 52 56 62 63 a 1 3 7 9 10 11 12 13 14 18 19 22 25 34 38 40 41 46 52 56 61 63 a 1 3 7 9 10 11 12 13 14 15 18 19 22 25 34 38 40 41 46 52 56 61 a 1 3 7 9 10 11 12 13 14 15 18 19 22 25 34 38 40 41 46 52 54 61 a 1 7 9 10 11 12 13 14 15 18 19 22 25 34 38 40 41 46 52 54 60 61 a 1 7 9 10 11 12 13 14 15 18 22 25 33 34 38 40 41 46 52 54 60 61 a 1 7 9 10 11 12 13 14 15 18 25 33 34 38 40 41 46 50 52 54 60 61 a 1 9 10 11 12 13 14 15 18 25 27 33 34 38 40 41 46 50 52 54 60 61 a 1 7 9 10 11 12 13 14 15 18 25 27 33 38 40 41 46 50 52 54 60 61 a 1 7 9 10 12 13 14 15 18 25 27 33 34 38 40 41 46 50 52 54 60 61 a 1 7 9 10 12 13 14 15 18 22 25 27 33 34 38 40 41 46 52 54 60 61 a 1 7 9 10 11 12 13 14 15 18 22 25 27 33 34 38 40 41 46 52 54 61 a 1 7 9 10 11 12 13 14 15 18 22 25 27 33 34 38 40 41 46 52 54 60 a 1 7 9 10 12 13 14 15 18 21 22 25 27 33 34 38 40 41 46 52 54 60 a 1 7 9 10 12 13 14 15 18 21 25 27 33 34 38 40 41 46 50 52 54 60 a 1 7 9 10 13 14 15 18 21 25 27 33 34 38 40 41 46 50 52 54 59 60 a 1 9 10 13 14 15 18 21 25 27 33 34 37 38 40 41 46 50 52 54 59 60 a 1 9 10 13 14 15 18 21 25 27 33 34 37 38 40 41 46 52 54 59 60 61 a 1 9 10 13 14 15 18 21 25 27 33 34 36 37 38 40 41 46 52 54 60 61 a 1 9 10 12 13 14 15 18 21 25 27 33 34 36 38 40 41 46 52 54 60 61 a 1 9 10 12 13 14 15 18 21 25 27 33 34 38 40 41 46 50 52 54 60 61 a 1 9 10 12 13 14 15 18 20 21 25 33 34 38 40 41 46 50 52 54 60 61 a 1 9 10 12 13 14 15 18 20 21 25 28 33 34 38 40 41 46 50 52 54 60 a 1 9 12 13 14 15 18 20 21 25 28 33 34 38 40 41 46 50 52 54 57 60 a 1 9 13 14 15 18 20 21 25 28 33 34 37 38 40 41 46 50 52 54 57 60 a 1 9 13 14 15 18 21 25 27 28 33 34 37 38 40 41 46 50 52 54 57 60 a 1 9 13 14 15 21 25 27 28 33 34 37 38 40 41 46 50 52 54 57 59 60 a 1 9 13 14 15 18 21 25 27 28 33 34 37 40 41 46 50 52 54 57 59 60 a 1 9 10 13 14 15 18 21 25 27 28 33 34 37 40 41 46 50 52 54 59 60 a 1 9 10 13 14 15 18 21 25 28 33 34 37 38 40 41 46 50 52 54 59 60 a 9 10 13 14 15 18 21 25 27 28 33 34 37 38 40 41 46 50 52 54 59 60 a 9 10 13 14 15 18 21 25 27 28 33 34 37 38 39 40 41 46 50 54 59 60 a 1 9 10 13 14 15 18 21 25 27 28 33 34 37 38 39 40 41 50 54 59 60 a 1 9 10 13 14 15 18 21 25 27 28 33 34 37 38 39 40 41 53 54 59 60 a 1 9 10 14 15 18 21 25 27 28 33 34 37 38 39 40 41 46 53 54 59 60 a 1 9 10 14 15 18 21 25 27 28 33 34 37 38 39 40 41 46 50 54 59 60 a 1 9 10 13 14 15 18 21 25 27 28 33 37 38 39 40 41 46 50 54 59 60 a 1 9 10 13 14 15 18 21 25 27 28 33 37 38 40 41 46 50 52 54 59 60 a 1 10 13 14 15 18 21 25 27 28 33 34 37 38 40 41 46 50 52 54 59 60 a 1 9 10 14 15 18 21 25 27 28 33 34 37 38 40 41 46 50 52 54 59 60 a 1 9 10 13 14 15 18 21 25 27 28 33 34 37 38 40 41 46 50 52 54 60 a 1 9 10 13 14 15 18 21 25 27 33 34 37 38 40 41 46 50 52 54 60 61 a 1 7 9 10 13 14 15 18 21 25 27 33 34 38 40 41 46 50 52 54 60 61 a 1 7 9 10 13 15 18 21 25 27 33 34 38 40 41 46 49 50 52 54 60 61 a 1 7 9 10 11 13 15 18 25 27 33 34 38 40 41 46 49 50 52 54 60 61 a 1 7 9 10 11 12 13 15 18 25 27 33 34 38 40 41 46 49 50 52 54 60 a 7 9 10 11 12 13 15 18 25 27 33 34 38 40 41 46 49 50 52 54 59 60 a 7 9 11 12 13 15 18 25 27 33 34 38 40 41 46 49 50 52 54 59 60 61 a 7 9 12 13 15 18 25 27 33 34 38 40 41 46 49 50 52 54 57 59 60 61 a 7 9 12 13 15 18 25 27 33 34 38 40 41 44 46 49 50 52 54 59 60 61 a 7 9 11 12 15 18 25 27 33 34 38 40 41 44 46 49 50 52 54 59 60 61 a 7 9 12 15 18 21 25 27 33 34 38 40 41 44 46 49 50 52 54 59 60 61 a 1 7 9 12 15 18 25 27 33 34 38 40 41 44 46 49 50 52 54 59 60 61 a 1 7 9 10 12 15 18 25 27 33 34 38 40 41 46 49 50 52 54 59 60 61 a 1 7 9 10 12 13 15 18 25 27 33 34 38 40 41 46 49 50 52 54 60 61 a 1 7 9 10 12 13 15 18 21 25 27 33 34 38 40 41 46 49 50 54 60 61 a 1 7 9 10 12 13 15 18 21 25 27 33 34 38 40 41 46 49 52 54 60 61 a 1 9 10 12 13 15 18 21 25 27 33 34 38 40 41 46 49 52 54 59 60 61 a 1 9 10 12 15 18 21 25 27 33 34 38 40 41 46 49 50 52 54 59 60 61 a 1 9 10 12 13 15 18 21 25 27 33 34 38 40 41 46 49 50 52 54 59 60 a 1 9 10 12 13 14 15 18 21 25 27 33 34 38 40 41 46 50 52 54 59 60 a 1 9 10 12 13 14 15 18 21 25 27 33 34 38 40 41 46 50 52 54 59 61 a 1 7 9 10 12 13 14 15 18 21 25 27 33 34 38 40 41 46 50 52 54 59 a 1 7 9 10 12 13 14 15 18 21 25 27 33 34 38 40 41 46 52 54 59 61 a 1 7 9 10 12 14 15 18 21 25 27 33 34 38 40 41 46 52 54 59 60 61 a 1 7 9 10 12 14 15 18 21 25 27 33 34 38 40 41 46 50 52 54 59 60 a 1 7 9 10 11 12 14 15 18 25 27 33 34 38 40 41 46 50 52 54 59 60 a 1 7 9 10 11 12 14 15 16 18 25 27 33 34 40 41 46 50 52 54 59 60 a 1 7 9 10 12 14 15 16 18 21 25 27 33 34 40 41 46 50 52 54 59 60 a 1 7 9 12 13 14 15 16 18 21 25 27 33 34 40 41 46 50 52 54 59 60 a 1 7 9 12 13 14 15 18 21 25 27 33 34 40 41 46 50 52 54 59 60 61 a 1 7 9 10 12 13 14 15 18 21 25 27 33 34 40 41 46 50 52 54 59 61 a 1 7 9 10 12 13 14 15 18 21 25 33 34 40 41 46 50 52 54 59 60 61 a 1 7 9 10 12 13 14 15 18 21 25 33 34 38 40 41 46 50 52 54 60 61 a 1 7 9 10 12 13 14 15 18 21 25 27 33 34 38 40 41 46 50 52 54 61 a 1 7 9 10 12 13 14 15 18 21 25 27 33 34 38 40 41 46 50 52 60 61 a 1 7 9 10 11 12 13 14 15 18 25 27 33 34 38 40 41 46 50 52 60 61 a 1 9 10 11 12 13 14 15 18 25 27 33 34 38 40 41 46 50 52 56 60 61 a 1 9 10 11 13 14 15 18 25 27 33 34 37 38 40 41 46 50 52 56 60 61 a 1 7 9 10 11 13 14 15 18 25 27 33 34 38 40 41 46 50 52 56 60 61 a 1 7 9 10 11 13 14 15 18 25 27 33 34 38 40 41 46 50 52 54 60 61 a 1 7 9 11 12 13 14 15 18 25 27 33 34 38 40 41 46 50 52 54 60 61 a 1 7 11 12 13 14 15 18 25 27 33 34 38 40 41 46 48 50 52 54 60 61 a 1 7 11 12 13 14 15 18 25 27 33 34 36 38 40 41 46 48 52 54 60 61 a 1 3 7 11 12 13 14 15 18 25 27 33 34 36 38 40 41 46 48 52 54 61 a 1 3 7 10 11 12 13 14 15 18 25 27 33 34 36 38 40 41 46 52 54 61 a 1 3 7 9 10 11 12 13 14 15 18 25 33 34 36 38 40 41 46 52 54 61 a 1 3 7 9 10 11 12 13 14 15 18 25 33 34 38 40 41 46 50 52 54 61 a 1 3 7 9 10 11 12 13 14 15 18 25 33 34 38 40 41 46 50 52 54 62 c Step: 161 #END: [Tue Sep 5 00:24:23 2023]