this derivation will be built:
  /nix/store/4mjqnvb7gd67qpb00ai084r2hd3x83w4-glucose-syrup-4.1.drv
building '/nix/store/4mjqnvb7gd67qpb00ai084r2hd3x83w4-glucose-syrup-4.1.drv'
glucose-syrup-4.1> unpacking sources
glucose-syrup-4.1> unpacking source archive /nix/store/67bvs5pqcsilj6s0qy5bqxfryqmljdim-glucose-syrup-4.1.tgz
glucose-syrup-4.1> source root is glucose-syrup-4.1/parallel
glucose-syrup-4.1> setting SOURCE_DATE_EPOCH to timestamp 1481201306 of file glucose-syrup-4.1/parallel/SolverConfiguration.h
glucose-syrup-4.1> patching sources
glucose-syrup-4.1> configuring
glucose-syrup-4.1> no configure script, doing nothing
glucose-syrup-4.1> building
glucose-syrup-4.1> build flags: SHELL=/nix/store/mysyx2ms2gm0n425gsz1hvwfk1jn1f9c-bash-5.1-p16/bin/bash r
glucose-syrup-4.1> Making dependencies
glucose-syrup-4.1> Compiling: /build/glucose-syrup-4.1/parallel/ClausesBuffer.or
glucose-syrup-4.1> In file included from /build/glucose-syrup-4.1/parallel/../utils/Options.h:30,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../core/Solver.h:55,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../parallel/ClausesBuffer.h:55,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/ClausesBuffer.cc:71:
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation]
glucose-syrup-4.1>    99 |     while (*in >= '0' && *in <= '9')
glucose-syrup-4.1>       |     ^~~~~
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while'
glucose-syrup-4.1>   103 |         if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
glucose-syrup-4.1>       |         ^~
glucose-syrup-4.1> In file included from /build/glucose-syrup-4.1/parallel/../parallel/ClausesBuffer.h:53,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/ClausesBuffer.cc:71:
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Vec.h: In instantiation of 'void Glucose::vec<T>::capacity(int) [with T = Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair]':
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Vec.h:74:65:   required from 'void Glucose::vec<T>::push() [with T = Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair]'
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Map.h:81:16:   required from 'void Glucose::Map<K, D, H, E>::_insert(const K&, const D&) [with K = std::__cxx11::basic_string<char>; D = long long unsigned int; H = Glucose::Hash<std::__cxx11::basic_string<char> >; E = Glucose::Equal<std::__cxx11::basic_string<char> >]'
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Map.h:140:76:   required from 'void Glucose::Map<K, D, H, E>::insert(const K&, const D&) [with K = std::__cxx11::basic_string<char>; D = long long unsigned int; H = Glucose::Hash<std::__cxx11::basic_string<char> >; E = Glucose::Equal<std::__cxx11::basic_string<char> >]'
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../core/SolverStats.h:73:23:   required from here
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess]
glucose-syrup-4.1>   121 |     if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)
glucose-syrup-4.1>       |                                             ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
glucose-syrup-4.1> In file included from /build/glucose-syrup-4.1/parallel/../core/SolverTypes.h:61,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../parallel/ClausesBuffer.h:54,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/ClausesBuffer.cc:71:
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Map.h:62:12: note: 'struct Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair' declared here
glucose-syrup-4.1>    62 |     struct Pair { K key; D data; };
glucose-syrup-4.1>       |            ^~~~
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/parallel/ClausesBuffer.od'.
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/parallel/ClausesBuffer.op'.
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/parallel/ClausesBuffer.o'.
glucose-syrup-4.1> Compiling: /build/glucose-syrup-4.1/parallel/Main.or
glucose-syrup-4.1> In file included from /build/glucose-syrup-4.1/parallel/Main.cc:57:
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation]
glucose-syrup-4.1>    99 |     while (*in >= '0' && *in <= '9')
glucose-syrup-4.1>       |     ^~~~~
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while'
glucose-syrup-4.1>   103 |         if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
glucose-syrup-4.1>       |         ^~
glucose-syrup-4.1> In file included from /build/glucose-syrup-4.1/parallel/../utils/Options.h:29,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/Main.cc:58:
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Vec.h: In instantiation of 'void Glucose::vec<T>::capacity(int) [with T = Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair]':
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Vec.h:74:65:   required from 'void Glucose::vec<T>::push() [with T = Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair]'
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Map.h:81:16:   required from 'void Glucose::Map<K, D, H, E>::_insert(const K&, const D&) [with K = std::__cxx11::basic_string<char>; D = long long unsigned int; H = Glucose::Hash<std::__cxx11::basic_string<char> >; E = Glucose::Equal<std::__cxx11::basic_string<char> >]'
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Map.h:140:76:   required from 'void Glucose::Map<K, D, H, E>::insert(const K&, const D&) [with K = std::__cxx11::basic_string<char>; D = long long unsigned int; H = Glucose::Hash<std::__cxx11::basic_string<char> >; E = Glucose::Equal<std::__cxx11::basic_string<char> >]'
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../core/SolverStats.h:73:23:   required from here
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess]
glucose-syrup-4.1>   121 |     if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)
glucose-syrup-4.1>       |                                             ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
glucose-syrup-4.1> In file included from /build/glucose-syrup-4.1/parallel/../core/SolverTypes.h:61,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../core/Dimacs.h:27,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/Main.cc:59:
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Map.h:62:12: note: 'struct Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair' declared here
glucose-syrup-4.1>    62 |     struct Pair { K key; D data; };
glucose-syrup-4.1>       |            ^~~~
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/parallel/Main.od'.
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/parallel/Main.op'.
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/parallel/Main.o'.
glucose-syrup-4.1> Compiling: /build/glucose-syrup-4.1/parallel/MultiSolvers.or
glucose-syrup-4.1> In file included from /build/glucose-syrup-4.1/parallel/../utils/Options.h:30,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../core/Solver.h:55,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../parallel/ParallelSolver.h:54,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../parallel/MultiSolvers.h:53,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/MultiSolvers.cc:51:
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation]
glucose-syrup-4.1>    99 |     while (*in >= '0' && *in <= '9')
glucose-syrup-4.1>       |     ^~~~~
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while'
glucose-syrup-4.1>   103 |         if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
glucose-syrup-4.1>       |         ^~
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/MultiSolvers.cc: In member function 'Glucose::Var Glucose::MultiSolvers::newVar(bool, bool)':
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/MultiSolvers.cc:169:9: warning: variable 'v' set but not used [-Wunused-but-set-variable]
glucose-syrup-4.1>   169 |     int v;
glucose-syrup-4.1>       |         ^
glucose-syrup-4.1> In file included from /build/glucose-syrup-4.1/parallel/../mtl/Alg.h:24,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../core/SolverTypes.h:59,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../parallel/ParallelSolver.h:53,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../parallel/MultiSolvers.h:53,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/MultiSolvers.cc:51:
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Vec.h: In instantiation of 'void Glucose::vec<T>::capacity(int) [with T = Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair]':
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Vec.h:74:65:   required from 'void Glucose::vec<T>::push() [with T = Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair]'
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Map.h:81:16:   required from 'void Glucose::Map<K, D, H, E>::_insert(const K&, const D&) [with K = std::__cxx11::basic_string<char>; D = long long unsigned int; H = Glucose::Hash<std::__cxx11::basic_string<char> >; E = Glucose::Equal<std::__cxx11::basic_string<char> >]'
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Map.h:140:76:   required from 'void Glucose::Map<K, D, H, E>::insert(const K&, const D&) [with K = std::__cxx11::basic_string<char>; D = long long unsigned int; H = Glucose::Hash<std::__cxx11::basic_string<char> >; E = Glucose::Equal<std::__cxx11::basic_string<char> >]'
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../core/SolverStats.h:73:23:   required from here
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess]
glucose-syrup-4.1>   121 |     if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)
glucose-syrup-4.1>       |                                             ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
glucose-syrup-4.1> In file included from /build/glucose-syrup-4.1/parallel/../core/SolverTypes.h:61,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../parallel/ParallelSolver.h:53,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../parallel/MultiSolvers.h:53,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/MultiSolvers.cc:51:
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Map.h:62:12: note: 'struct Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair' declared here
glucose-syrup-4.1>    62 |     struct Pair { K key; D data; };
glucose-syrup-4.1>       |            ^~~~
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/parallel/MultiSolvers.od'.
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/parallel/MultiSolvers.op'.
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/parallel/MultiSolvers.o'.
glucose-syrup-4.1> Compiling: /build/glucose-syrup-4.1/parallel/ParallelSolver.or
glucose-syrup-4.1> In file included from /build/glucose-syrup-4.1/parallel/../utils/Options.h:30,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../core/Solver.h:55,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../parallel/ParallelSolver.h:54,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/ParallelSolver.cc:50:
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation]
glucose-syrup-4.1>    99 |     while (*in >= '0' && *in <= '9')
glucose-syrup-4.1>       |     ^~~~~
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while'
glucose-syrup-4.1>   103 |         if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
glucose-syrup-4.1>       |         ^~
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/ParallelSolver.cc: In member function 'virtual void Glucose::ParallelSolver::parallelImportClauseDuringConflictAnalysis(Glucose::Clause&, Glucose::CRef)':
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/ParallelSolver.cc:242:90: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
glucose-syrup-4.1>   242 |     if (dontExportDirectReusedClauses && (confl == lastLearntClause) && (c.getExported() < nbTimesSeenBeforeExport)) { // Experimental stuff
glucose-syrup-4.1>       |                                                                          ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/ParallelSolver.cc:245:55: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
glucose-syrup-4.1>   245 |     } else if (shareAfterProbation && c.getExported() != nbTimesSeenBeforeExport && conflicts > firstSharing) {
glucose-syrup-4.1>       |                                       ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/ParallelSolver.cc:247:49: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
glucose-syrup-4.1>   247 |         if (!c.wasImported() && c.getExported() == nbTimesSeenBeforeExport) { // It's a new interesting clause:
glucose-syrup-4.1>       |                                 ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~
glucose-syrup-4.1> In file included from /build/glucose-syrup-4.1/parallel/../mtl/Alg.h:24,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../core/SolverTypes.h:59,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../parallel/ParallelSolver.h:53,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/ParallelSolver.cc:50:
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Vec.h: In instantiation of 'void Glucose::vec<T>::capacity(int) [with T = Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair]':
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Vec.h:74:65:   required from 'void Glucose::vec<T>::push() [with T = Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair]'
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Map.h:81:16:   required from 'void Glucose::Map<K, D, H, E>::_insert(const K&, const D&) [with K = std::__cxx11::basic_string<char>; D = long long unsigned int; H = Glucose::Hash<std::__cxx11::basic_string<char> >; E = Glucose::Equal<std::__cxx11::basic_string<char> >]'
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Map.h:140:76:   required from 'void Glucose::Map<K, D, H, E>::insert(const K&, const D&) [with K = std::__cxx11::basic_string<char>; D = long long unsigned int; H = Glucose::Hash<std::__cxx11::basic_string<char> >; E = Glucose::Equal<std::__cxx11::basic_string<char> >]'
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../core/SolverStats.h:73:23:   required from here
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess]
glucose-syrup-4.1>   121 |     if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)
glucose-syrup-4.1>       |                                             ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
glucose-syrup-4.1> In file included from /build/glucose-syrup-4.1/parallel/../core/SolverTypes.h:61,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../parallel/ParallelSolver.h:53,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/ParallelSolver.cc:50:
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Map.h:62:12: note: 'struct Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair' declared here
glucose-syrup-4.1>    62 |     struct Pair { K key; D data; };
glucose-syrup-4.1>       |            ^~~~
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/parallel/ParallelSolver.od'.
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/parallel/ParallelSolver.op'.
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/parallel/ParallelSolver.o'.
glucose-syrup-4.1> Compiling: /build/glucose-syrup-4.1/parallel/SharedCompanion.or
glucose-syrup-4.1> In file included from /build/glucose-syrup-4.1/parallel/../utils/Options.h:30,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../core/Solver.h:55,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/SharedCompanion.cc:50:
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation]
glucose-syrup-4.1>    99 |     while (*in >= '0' && *in <= '9')
glucose-syrup-4.1>       |     ^~~~~
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while'
glucose-syrup-4.1>   103 |         if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
glucose-syrup-4.1>       |         ^~
glucose-syrup-4.1> In file included from /build/glucose-syrup-4.1/parallel/../mtl/Heap.h:24,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../core/Solver.h:53,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/SharedCompanion.cc:50:
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Vec.h: In instantiation of 'void Glucose::vec<T>::capacity(int) [with T = Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair]':
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Vec.h:74:65:   required from 'void Glucose::vec<T>::push() [with T = Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair]'
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Map.h:81:16:   required from 'void Glucose::Map<K, D, H, E>::_insert(const K&, const D&) [with K = std::__cxx11::basic_string<char>; D = long long unsigned int; H = Glucose::Hash<std::__cxx11::basic_string<char> >; E = Glucose::Equal<std::__cxx11::basic_string<char> >]'
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Map.h:140:76:   required from 'void Glucose::Map<K, D, H, E>::insert(const K&, const D&) [with K = std::__cxx11::basic_string<char>; D = long long unsigned int; H = Glucose::Hash<std::__cxx11::basic_string<char> >; E = Glucose::Equal<std::__cxx11::basic_string<char> >]'
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../core/SolverStats.h:73:23:   required from here
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess]
glucose-syrup-4.1>   121 |     if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)
glucose-syrup-4.1>       |                                             ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
glucose-syrup-4.1> In file included from /build/glucose-syrup-4.1/parallel/../core/SolverTypes.h:61,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../core/Solver.h:56,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/SharedCompanion.cc:50:
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Map.h:62:12: note: 'struct Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair' declared here
glucose-syrup-4.1>    62 |     struct Pair { K key; D data; };
glucose-syrup-4.1>       |            ^~~~
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/parallel/SharedCompanion.od'.
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/parallel/SharedCompanion.op'.
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/parallel/SharedCompanion.o'.
glucose-syrup-4.1> Compiling: /build/glucose-syrup-4.1/parallel/SolverCompanion.or
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/parallel/SolverCompanion.od'.
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/parallel/SolverCompanion.op'.
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/parallel/SolverCompanion.o'.
glucose-syrup-4.1> Compiling: /build/glucose-syrup-4.1/parallel/SolverConfiguration.or
glucose-syrup-4.1> In file included from /build/glucose-syrup-4.1/parallel/../utils/Options.h:30,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../core/Solver.h:55,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../parallel/ParallelSolver.h:54,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../parallel/MultiSolvers.h:53,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/SolverConfiguration.cc:50:
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation]
glucose-syrup-4.1>    99 |     while (*in >= '0' && *in <= '9')
glucose-syrup-4.1>       |     ^~~~~
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while'
glucose-syrup-4.1>   103 |         if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
glucose-syrup-4.1>       |         ^~
glucose-syrup-4.1> In file included from /build/glucose-syrup-4.1/parallel/../mtl/Alg.h:24,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../core/SolverTypes.h:59,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../parallel/ParallelSolver.h:53,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../parallel/MultiSolvers.h:53,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/SolverConfiguration.cc:50:
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Vec.h: In instantiation of 'void Glucose::vec<T>::capacity(int) [with T = Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair]':
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Vec.h:74:65:   required from 'void Glucose::vec<T>::push() [with T = Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair]'
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Map.h:81:16:   required from 'void Glucose::Map<K, D, H, E>::_insert(const K&, const D&) [with K = std::__cxx11::basic_string<char>; D = long long unsigned int; H = Glucose::Hash<std::__cxx11::basic_string<char> >; E = Glucose::Equal<std::__cxx11::basic_string<char> >]'
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Map.h:140:76:   required from 'void Glucose::Map<K, D, H, E>::insert(const K&, const D&) [with K = std::__cxx11::basic_string<char>; D = long long unsigned int; H = Glucose::Hash<std::__cxx11::basic_string<char> >; E = Glucose::Equal<std::__cxx11::basic_string<char> >]'
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../core/SolverStats.h:73:23:   required from here
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess]
glucose-syrup-4.1>   121 |     if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)
glucose-syrup-4.1>       |                                             ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
glucose-syrup-4.1> In file included from /build/glucose-syrup-4.1/parallel/../core/SolverTypes.h:61,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../parallel/ParallelSolver.h:53,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../parallel/MultiSolvers.h:53,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/SolverConfiguration.cc:50:
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Map.h:62:12: note: 'struct Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair' declared here
glucose-syrup-4.1>    62 |     struct Pair { K key; D data; };
glucose-syrup-4.1>       |            ^~~~
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/parallel/SolverConfiguration.od'.
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/parallel/SolverConfiguration.op'.
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/parallel/SolverConfiguration.o'.
glucose-syrup-4.1> Compiling: utils/Options.or
glucose-syrup-4.1> In file included from /build/glucose-syrup-4.1/parallel/../utils/Options.h:30,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../utils/Options.cc:21:
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation]
glucose-syrup-4.1>    99 |     while (*in >= '0' && *in <= '9')
glucose-syrup-4.1>       |     ^~~~~
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while'
glucose-syrup-4.1>   103 |         if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
glucose-syrup-4.1>       |         ^~
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../utils/Options.cc: In function 'void Glucose::printUsageAndExit(int, char**, bool)':
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../utils/Options.cc:62:5: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
glucose-syrup-4.1>    62 |     if (usage != NULL)
glucose-syrup-4.1>       |     ^~
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../utils/Options.cc:65:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
glucose-syrup-4.1>    65 |         sort(Option::getOptionList(), Option::OptionLt());
glucose-syrup-4.1>       |         ^~~~
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/parallel/../utils/Options.od'.
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/parallel/../utils/Options.op'.
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/parallel/../utils/Options.o'.
glucose-syrup-4.1> Compiling: utils/System.or
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/parallel/../utils/System.od'.
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/parallel/../utils/System.op'.
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/parallel/../utils/System.o'.
glucose-syrup-4.1> Compiling: core/Solver.or
glucose-syrup-4.1> In file included from /build/glucose-syrup-4.1/parallel/../utils/Options.h:30,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../core/Solver.h:55,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../core/Solver.cc:54:
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation]
glucose-syrup-4.1>    99 |     while (*in >= '0' && *in <= '9')
glucose-syrup-4.1>       |     ^~~~~
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while'
glucose-syrup-4.1>   103 |         if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
glucose-syrup-4.1>       |         ^~
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../core/Solver.cc: In member function 'void Glucose::Solver::analyze(Glucose::CRef, Glucose::vec<Glucose::Lit>&, Glucose::vec<Glucose::Lit>&, int&, unsigned int&, unsigned int&)':
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../core/Solver.cc:774:49: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
glucose-syrup-4.1>   774 |                 if(chanseokStrategy && nblevels <= coLBDBound) {
glucose-syrup-4.1>       |                                        ~~~~~~~~~^~~~~~~~~~~~~
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../core/Solver.cc: In member function 'void Glucose::Solver::adaptSolver()':
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../core/Solver.cc:1416:24: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
glucose-syrup-4.1>  1416 |             if(c.lbd() <= coLBDBound) {
glucose-syrup-4.1>       |                ~~~~~~~~^~~~~~~~~~~~~
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../core/Solver.cc: In member function 'Glucose::lbool Glucose::Solver::search(int)':
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../core/Solver.cc:1562:49: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
glucose-syrup-4.1>  1562 |                 if(chanseokStrategy && nblevels <= coLBDBound) {
glucose-syrup-4.1>       |                                        ~~~~~~~~~^~~~~~~~~~~~~
glucose-syrup-4.1> In file included from /build/glucose-syrup-4.1/parallel/../mtl/Sort.h:24,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../core/Solver.cc:53:
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Vec.h: In instantiation of 'void Glucose::vec<T>::capacity(int) [with T = Glucose::vec<Glucose::Solver::Watcher>]':
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Vec.h:137:13:   required from 'void Glucose::vec<T>::growTo(int) [with T = Glucose::vec<Glucose::Solver::Watcher>]'
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../core/SolverTypes.h:376:18:   required from 'void Glucose::OccLists<Idx, Vec, Deleted>::copyTo(Glucose::OccLists<Idx, Vec, Deleted>&) const [with Idx = Glucose::Lit; Vec = Glucose::vec<Glucose::Solver::Watcher>; Deleted = Glucose::Solver::WatcherDeleted]'
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../core/Solver.cc:293:21:   required from here
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Glucose::vec<Glucose::Solver::Watcher>'; use 'new' and 'delete' instead [-Wclass-memaccess]
glucose-syrup-4.1>   121 |     if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)
glucose-syrup-4.1>       |                                             ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
glucose-syrup-4.1> In file included from /build/glucose-syrup-4.1/parallel/../mtl/Sort.h:24,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../core/Solver.cc:53:
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Vec.h:39:7: note: 'class Glucose::vec<Glucose::Solver::Watcher>' declared here
glucose-syrup-4.1>    39 | class vec {
glucose-syrup-4.1>       |       ^~~
glucose-syrup-4.1> In file included from /build/glucose-syrup-4.1/parallel/../mtl/Sort.h:24,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../core/Solver.cc:53:
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Vec.h: In instantiation of 'void Glucose::vec<T>::capacity(int) [with T = Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair]':
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Vec.h:74:65:   required from 'void Glucose::vec<T>::push() [with T = Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair]'
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Map.h:81:16:   required from 'void Glucose::Map<K, D, H, E>::_insert(const K&, const D&) [with K = std::__cxx11::basic_string<char>; D = long long unsigned int; H = Glucose::Hash<std::__cxx11::basic_string<char> >; E = Glucose::Equal<std::__cxx11::basic_string<char> >]'
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Map.h:140:76:   required from 'void Glucose::Map<K, D, H, E>::insert(const K&, const D&) [with K = std::__cxx11::basic_string<char>; D = long long unsigned int; H = Glucose::Hash<std::__cxx11::basic_string<char> >; E = Glucose::Equal<std::__cxx11::basic_string<char> >]'
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../core/SolverStats.h:73:23:   required from here
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess]
glucose-syrup-4.1>   121 |     if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)
glucose-syrup-4.1>       |                                             ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
glucose-syrup-4.1> In file included from /build/glucose-syrup-4.1/parallel/../core/SolverTypes.h:61,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../core/Solver.h:56,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../core/Solver.cc:54:
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Map.h:62:12: note: 'struct Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair' declared here
glucose-syrup-4.1>    62 |     struct Pair { K key; D data; };
glucose-syrup-4.1>       |            ^~~~
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/parallel/../core/Solver.od'.
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/parallel/../core/Solver.op'.
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/parallel/../core/Solver.o'.
glucose-syrup-4.1> Compiling: simp/SimpSolver.or
glucose-syrup-4.1> In file included from /build/glucose-syrup-4.1/parallel/../utils/Options.h:30,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../core/Solver.h:55,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../simp/SimpSolver.h:54,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../simp/SimpSolver.cc:51:
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation]
glucose-syrup-4.1>    99 |     while (*in >= '0' && *in <= '9')
glucose-syrup-4.1>       |     ^~~~~
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while'
glucose-syrup-4.1>   103 |         if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
glucose-syrup-4.1>       |         ^~
glucose-syrup-4.1> In file included from /build/glucose-syrup-4.1/parallel/../mtl/Sort.h:24,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../simp/SimpSolver.cc:50:
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Vec.h: In instantiation of 'void Glucose::vec<T>::capacity(int) [with T = Glucose::vec<unsigned int>]':
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Vec.h:137:13:   required from 'void Glucose::vec<T>::growTo(int) [with T = Glucose::vec<unsigned int>]'
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../core/SolverTypes.h:376:18:   required from 'void Glucose::OccLists<Idx, Vec, Deleted>::copyTo(Glucose::OccLists<Idx, Vec, Deleted>&) const [with Idx = int; Vec = Glucose::vec<unsigned int>; Deleted = Glucose::SimpSolver::ClauseDeleted]'
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../simp/SimpSolver.cc:135:20:   required from here
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Glucose::vec<unsigned int>'; use 'new' and 'delete' instead [-Wclass-memaccess]
glucose-syrup-4.1>   121 |     if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)
glucose-syrup-4.1>       |                                             ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
glucose-syrup-4.1> In file included from /build/glucose-syrup-4.1/parallel/../mtl/Sort.h:24,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../simp/SimpSolver.cc:50:
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Vec.h:39:7: note: 'class Glucose::vec<unsigned int>' declared here
glucose-syrup-4.1>    39 | class vec {
glucose-syrup-4.1>       |       ^~~
glucose-syrup-4.1> In file included from /build/glucose-syrup-4.1/parallel/../mtl/Sort.h:24,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../simp/SimpSolver.cc:50:
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Vec.h: In instantiation of 'void Glucose::vec<T>::capacity(int) [with T = Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair]':
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Vec.h:74:65:   required from 'void Glucose::vec<T>::push() [with T = Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair]'
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Map.h:81:16:   required from 'void Glucose::Map<K, D, H, E>::_insert(const K&, const D&) [with K = std::__cxx11::basic_string<char>; D = long long unsigned int; H = Glucose::Hash<std::__cxx11::basic_string<char> >; E = Glucose::Equal<std::__cxx11::basic_string<char> >]'
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Map.h:140:76:   required from 'void Glucose::Map<K, D, H, E>::insert(const K&, const D&) [with K = std::__cxx11::basic_string<char>; D = long long unsigned int; H = Glucose::Hash<std::__cxx11::basic_string<char> >; E = Glucose::Equal<std::__cxx11::basic_string<char> >]'
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../core/SolverStats.h:73:23:   required from here
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess]
glucose-syrup-4.1>   121 |     if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)
glucose-syrup-4.1>       |                                             ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
glucose-syrup-4.1> In file included from /build/glucose-syrup-4.1/parallel/../core/SolverTypes.h:61,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../core/Solver.h:56,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../simp/SimpSolver.h:54,
glucose-syrup-4.1>                  from /build/glucose-syrup-4.1/parallel/../simp/SimpSolver.cc:51:
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/Map.h:62:12: note: 'struct Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair' declared here
glucose-syrup-4.1>    62 |     struct Pair { K key; D data; };
glucose-syrup-4.1>       |            ^~~~
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/parallel/../simp/SimpSolver.od'.
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/parallel/../simp/SimpSolver.op'.
glucose-syrup-4.1> /build/glucose-syrup-4.1/parallel/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/parallel/../simp/SimpSolver.o'.
glucose-syrup-4.1> Linking: glucose-syrup_release ( /build/glucose-syrup-4.1/parallel/ClausesBuffer.or /build/glucose-syrup-4.1/parallel/Main.or /build/glucose-syrup-4.1/parallel/MultiSolvers.or /build/glucose-syrup-4.1/parallel/ParallelSolver.or /build/glucose-syrup-4.1/parallel/SharedCompanion.or /build/glucose-syrup-4.1/parallel/SolverCompanion.or /build/glucose-syrup-4.1/parallel/SolverConfiguration.or utils/Options.or utils/System.or core/Solver.or simp/SimpSolver.or )
glucose-syrup-4.1> buildPhase completed in 36 seconds
glucose-syrup-4.1> installing
glucose-syrup-4.1> post-installation fixup
glucose-syrup-4.1> shrinking RPATHs of ELF executables and libraries in /nix/store/14vvk6r2w32ry5gnf9n99mnzavr5mh7f-glucose-syrup-4.1
glucose-syrup-4.1> shrinking /nix/store/14vvk6r2w32ry5gnf9n99mnzavr5mh7f-glucose-syrup-4.1/bin/glucose-syrup
glucose-syrup-4.1> strip is /nix/store/rkwixq2wda45gxx7zg1qh329zhkbvzzb-gcc-wrapper-11.3.0/bin/strip
glucose-syrup-4.1> stripping (with command strip and flags -S) in  /nix/store/14vvk6r2w32ry5gnf9n99mnzavr5mh7f-glucose-syrup-4.1/bin
glucose-syrup-4.1> patching script interpreter paths in /nix/store/14vvk6r2w32ry5gnf9n99mnzavr5mh7f-glucose-syrup-4.1
glucose-syrup-4.1> checking for references to /build/ in /nix/store/14vvk6r2w32ry5gnf9n99mnzavr5mh7f-glucose-syrup-4.1...

upload niks3: ok