Trace number 4431471

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
IPBHS-GUROBI 2024-07-09? (TO) 3600.09 3608.51

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_1.opb
MD5SUMd93197574d7bf829fc84498a7cd9d0ce
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark3583.48
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables146
Total number of constraints12
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints12
Minimum length of a constraint66
Maximum length of a constraint66
Number of terms in the objective function 96
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3060
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1273
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4329
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.07/3608.50	HOME/run-glibc-2.34.sh: line 2: 828187 Terminated              LD_LIBRARY_PATH=/home/evaluation/evaluation/priv/lib:/home/evaluation/evaluation/tools/lib64:/home/evaluation/evaluation/tools/lib:/usr/local/lib:/home/evaluation/evaluation/tools/glibc-2.34/lib/:/lib64 /home/evaluation/evaluation/tools/glibc-2.34/lib/ld-linux-x86-64.so.2 $*

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (61742 MiB free)
  memory of node 1: 64510 MiB (60228 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431471-1721091673/watcher-4431471-1721091673 -o /tmp/evaluation-result-4431471-1721091673/solver-4431471-1721091673 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721082231-822097 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4431471-1721091673.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=828185, runsolver pid=828182
Current StackSize limit: 8192 KiB


[startup+0.100806 s]*
/proc/loadavg: 4.17 4.15 4.10 5/268 828188
/proc/meminfo: memFree=124886160/131524600 swapFree=131071996/131071996
[pid=828185] ppid=828182 vsize=9928 memory=2688 CPUtime=0 cores=0,2
/proc/828185/stat : 828185 (run-glibc-2.34.) S 828182 828185 822087 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 161332258 10166272 672 134679101440 94574078320640 94574079399960 140721238670400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94574081498416 94574081545604 94574104092672 140721238676427 140721238676572 140721238676572 140721238683587 0
/proc/828185/statm: 2482 672 591 264 0 133 0
[pid=828187] ppid=828185 vsize=135160 memory=23796 CPUtime=0.08 cores=0,2
/proc/828187/stat : 828187 (ld-linux-x86-64) R 828185 828185 822087 0 -1 4194304 1519 0 0 0 8 0 0 0 20 0 2 0 161332258 138403840 5949 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
/proc/828187/statm: 33790 5949 3330 46 0 6385 0
[pid=828187/tid=828188] ppid=828185 vsize=135160 memory=4026561614 CPUtime=0 cores=0,2
/proc/828187/task/828188/stat : 828188 (ld-linux-x86-64) S 828185 828185 822087 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 161332259 138403840 5949 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 1 0 0 -1 0 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 145088 KiB
Current children cumulated memory: 26484 KiB

[startup+0.205803 s]*
/proc/loadavg: 4.17 4.15 4.10 5/268 828188
/proc/meminfo: memFree=124886160/131524600 swapFree=131071996/131071996
[pid=828185] ppid=828182 vsize=9928 memory=2688 CPUtime=0 cores=0,2
/proc/828185/stat : 828185 (run-glibc-2.34.) S 828182 828185 822087 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 161332258 10166272 672 134679101440 94574078320640 94574079399960 140721238670400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94574081498416 94574081545604 94574104092672 140721238676427 140721238676572 140721238676572 140721238683587 0
/proc/828185/statm: 2482 672 591 264 0 133 0
[pid=828187] ppid=828185 vsize=135160 memory=24056 CPUtime=0.18 cores=0,2
/proc/828187/stat : 828187 (ld-linux-x86-64) R 828185 828185 822087 0 -1 4194304 1528 0 0 0 18 0 0 0 20 0 2 0 161332258 138403840 6014 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
/proc/828187/statm: 33790 6014 3330 46 0 6385 0
[pid=828187/tid=828188] ppid=828185 vsize=135160 memory=3471202400344241230 CPUtime=0 cores=0,2
/proc/828187/task/828188/stat : 828188 (ld-linux-x86-64) S 828185 828185 822087 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 161332259 138403840 6014 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 1 0 0 -1 0 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 145088 KiB
Current children cumulated memory: 26744 KiB

[startup+0.304732 s]*
/proc/loadavg: 4.17 4.15 4.10 5/268 828188
/proc/meminfo: memFree=124885752/131524600 swapFree=131071996/131071996
[pid=828185] ppid=828182 vsize=9928 memory=2688 CPUtime=0 cores=0,2
/proc/828185/stat : 828185 (run-glibc-2.34.) S 828182 828185 822087 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 161332258 10166272 672 134679101440 94574078320640 94574079399960 140721238670400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94574081498416 94574081545604 94574104092672 140721238676427 140721238676572 140721238676572 140721238683587 0
/proc/828185/statm: 2482 672 591 264 0 133 0
[pid=828187] ppid=828185 vsize=135292 memory=24056 CPUtime=0.29 cores=0,2
/proc/828187/stat : 828187 (ld-linux-x86-64) R 828185 828185 822087 0 -1 4194304 1563 0 0 0 28 1 0 0 20 0 2 0 161332258 138539008 6014 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
/proc/828187/statm: 33823 6014 3330 46 0 6418 0
[pid=828187/tid=828188] ppid=828185 vsize=135292 memory=-9112967397447590757 CPUtime=0 cores=0,2
/proc/828187/task/828188/stat : 828188 (ld-linux-x86-64) S 828185 828185 822087 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 161332259 138539008 6014 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 145220 KiB
Current children cumulated memory: 26744 KiB

[startup+0.700185 s]
/proc/loadavg: 4.17 4.15 4.10 5/268 828188
/proc/meminfo: memFree=124885612/131524600 swapFree=131071996/131071996
[pid=828185] ppid=828182 vsize=9928 memory=2688 CPUtime=0 cores=0,2
/proc/828185/stat : 828185 (run-glibc-2.34.) S 828182 828185 822087 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 161332258 10166272 672 134679101440 94574078320640 94574079399960 140721238670400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94574081498416 94574081545604 94574104092672 140721238676427 140721238676572 140721238676572 140721238683587 0
/proc/828185/statm: 2482 672 591 264 0 133 0
[pid=828187] ppid=828185 vsize=135688 memory=24584 CPUtime=0.67 cores=0,2
/proc/828187/stat : 828187 (ld-linux-x86-64) R 828185 828185 822087 0 -1 4194304 1667 0 0 0 66 1 0 0 20 0 2 0 161332258 138944512 6146 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
/proc/828187/statm: 33922 6146 3330 46 0 6517 0
[pid=828187/tid=828188] ppid=828185 vsize=135688 memory=5528 CPUtime=0 cores=0,2
/proc/828187/task/828188/stat : 828188 (ld-linux-x86-64) S 828185 828185 822087 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 161332259 138944512 6146 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 145616 KiB
Current children cumulated memory: 27272 KiB

[startup+1.5002 s]
/proc/loadavg: 4.17 4.15 4.10 5/268 828188
/proc/meminfo: memFree=124883208/131524600 swapFree=131071996/131071996
[pid=828185] ppid=828182 vsize=9928 memory=2688 CPUtime=0 cores=0,2
/proc/828185/stat : 828185 (run-glibc-2.34.) S 828182 828185 822087 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 161332258 10166272 672 134679101440 94574078320640 94574079399960 140721238670400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94574081498416 94574081545604 94574104092672 140721238676427 140721238676572 140721238676572 140721238683587 0
/proc/828185/statm: 2482 672 591 264 0 133 0
[pid=828187] ppid=828185 vsize=136100 memory=25112 CPUtime=1.47 cores=0,2
/proc/828187/stat : 828187 (ld-linux-x86-64) R 828185 828185 822087 0 -1 4194304 2195 0 0 0 145 2 0 0 20 0 2 0 161332258 139366400 6278 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
/proc/828187/statm: 34025 6278 3330 46 0 6620 0
[pid=828187/tid=828188] ppid=828185 vsize=136100 memory=11436 CPUtime=0 cores=0,2
/proc/828187/task/828188/stat : 828188 (ld-linux-x86-64) S 828185 828185 822087 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 2 0 161332259 139366400 6278 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 146028 KiB
Current children cumulated memory: 27800 KiB

[startup+3.10534 s]
/proc/loadavg: 4.17 4.15 4.10 5/268 828188
/proc/meminfo: memFree=124881540/131524600 swapFree=131071996/131071996
[pid=828185] ppid=828182 vsize=9928 memory=2688 CPUtime=0 cores=0,2
/proc/828185/stat : 828185 (run-glibc-2.34.) S 828182 828185 822087 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 161332258 10166272 672 134679101440 94574078320640 94574079399960 140721238670400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94574081498416 94574081545604 94574104092672 140721238676427 140721238676572 140721238676572 140721238683587 0
/proc/828185/statm: 2482 672 591 264 0 133 0
[pid=828187] ppid=828185 vsize=136656 memory=26184 CPUtime=3.08 cores=0,2
/proc/828187/stat : 828187 (ld-linux-x86-64) R 828185 828185 822087 0 -1 4194304 2867 0 0 0 303 5 0 0 20 0 2 0 161332258 139935744 6546 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
/proc/828187/statm: 34164 6546 3330 46 0 6759 0
[pid=828187/tid=828188] ppid=828185 vsize=136656 memory=2688 CPUtime=0 cores=0,2
/proc/828187/task/828188/stat : 828188 (ld-linux-x86-64) S 828185 828185 822087 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 2 0 161332259 139935744 6546 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 146584 KiB
Current children cumulated memory: 28872 KiB

[startup+6.30018 s]
/proc/loadavg: 4.16 4.15 4.10 5/268 828188
/proc/meminfo: memFree=124880160/131524600 swapFree=131071996/131071996
[pid=828185] ppid=828182 vsize=9928 memory=2688 CPUtime=0 cores=0,2
/proc/828185/stat : 828185 (run-glibc-2.34.) S 828182 828185 822087 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 161332258 10166272 672 134679101440 94574078320640 94574079399960 140721238670400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94574081498416 94574081545604 94574104092672 140721238676427 140721238676572 140721238676572 140721238683587 0
/proc/828185/statm: 2482 672 591 264 0 133 0
[pid=828187] ppid=828185 vsize=137224 memory=27700 CPUtime=6.25 cores=0,2
/proc/828187/stat : 828187 (ld-linux-x86-64) R 828185 828185 822087 0 -1 4194304 4359 0 0 0 616 9 0 0 20 0 2 0 161332258 140517376 6925 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
/proc/828187/statm: 34306 6925 3330 46 0 6901 0
[pid=828187/tid=828188] ppid=828185 vsize=137224 memory=2688 CPUtime=0 cores=0,2
/proc/828187/task/828188/stat : 828188 (ld-linux-x86-64) S 828185 828185 822087 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 2 0 161332259 140517376 6925 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 147152 KiB
Current children cumulated memory: 30388 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.14 4.10 5/268 828190
/proc/meminfo: memFree=124878768/131524600 swapFree=131071996/131071996
[pid=828185] ppid=828182 vsize=9928 memory=2688 CPUtime=0 cores=0,2
/proc/828185/stat : 828185 (run-glibc-2.34.) S 828182 828185 822087 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 161332258 10166272 672 134679101440 94574078320640 94574079399960 140721238670400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94574081498416 94574081545604 94574104092672 140721238676427 140721238676572 140721238676572 140721238683587 0
/proc/828185/statm: 2482 672 591 264 0 133 0
[pid=828187] ppid=828185 vsize=140520 memory=28928 CPUtime=12.64 cores=0,2
/proc/828187/stat : 828187 (ld-linux-x86-64) R 828185 828185 822087 0 -1 4194304 6259 0 0 0 1248 16 0 0 20 0 2 0 161332258 143892480 7232 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
/proc/828187/statm: 35130 7232 3330 46 0 7725 0
[pid=828187/tid=828188] ppid=828185 vsize=140520 memory=11436 CPUtime=0 cores=0,2
/proc/828187/task/828188/stat : 828188 (ld-linux-x86-64) S 828185 828185 822087 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 2 0 161332259 143892480 7232 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 150448 KiB
Current children cumulated memory: 31616 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.14 4.10 5/268 828191
/proc/meminfo: memFree=124873308/131524600 swapFree=131071996/131071996
[pid=828185] ppid=828182 vsize=9928 memory=2688 CPUtime=0 cores=0,2
/proc/828185/stat : 828185 (run-glibc-2.34.) S 828182 828185 822087 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 161332258 10166272 672 134679101440 94574078320640 94574079399960 140721238670400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94574081498416 94574081545604 94574104092672 140721238676427 140721238676572 140721238676572 140721238683587 0
/proc/828185/statm: 2482 672 591 264 0 133 0
[pid=828187] ppid=828185 vsize=141880 memory=32016 CPUtime=25.4 cores=0,2
/proc/828187/stat : 828187 (ld-linux-x86-64) R 828185 828185 822087 0 -1 4194304 10468 0 0 0 2514 26 0 0 20 0 2 0 161332258 145285120 8004 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
/proc/828187/statm: 35470 8004 3330 46 0 8065 0
[pid=828187/tid=828188] ppid=828185 vsize=141880 memory=2688 CPUtime=0 cores=0,2
/proc/828187/task/828188/stat : 828188 (ld-linux-x86-64) S 828185 828185 822087 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 2 0 161332259 145285120 8004 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 151808 KiB
Current children cumulated memory: 34704 KiB

[startup+51.1055 s]
/proc/loadavg: 4.14 4.14 4.10 5/268 828196
/proc/meminfo: memFree=124863184/131524600 swapFree=131071996/131071996
[pid=828185] ppid=828182 vsize=9928 memory=2688 CPUtime=0 cores=0,2
/proc/828185/stat : 828185 (run-glibc-2.34.) S 828182 828185 822087 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 161332258 10166272 672 134679101440 94574078320640 94574079399960 140721238670400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94574081498416 94574081545604 94574104092672 140721238676427 140721238676572 140721238676572 140721238683587 0
/proc/828185/statm: 2482 672 591 264 0 133 0
[pid=828187] ppid=828185 vsize=147052 memory=33896 CPUtime=50.94 cores=0,2
/proc/828187/stat : 828187 (ld-linux-x86-64) R 828185 828185 822087 0 -1 4194304 15397 0 0 0 5051 43 0 0 20 0 2 0 161332258 150581248 8474 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
/proc/828187/statm: 36763 8474 3330 46 0 9358 0
[pid=828187/tid=828188] ppid=828185 vsize=147052 memory=2688 CPUtime=0.01 cores=0,2
/proc/828187/task/828188/stat : 828188 (ld-linux-x86-64) S 828185 828185 822087 0 -1 1077936192 39 0 0 0 0 1 0 0 20 0 2 0 161332259 150581248 8474 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 156980 KiB
Current children cumulated memory: 36584 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/266 828204
/proc/meminfo: memFree=124838700/131524600 swapFree=131071996/131071996
[pid=828185] ppid=828182 vsize=9928 memory=2688 CPUtime=0 cores=0,2
/proc/828185/stat : 828185 (run-glibc-2.34.) S 828182 828185 822087 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 161332258 10166272 672 134679101440 94574078320640 94574079399960 140721238670400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94574081498416 94574081545604 94574104092672 140721238676427 140721238676572 140721238676572 140721238683587 0
/proc/828185/statm: 2482 672 591 264 0 133 0
[pid=828187] ppid=828185 vsize=148216 memory=37608 CPUtime=102 cores=0,2
/proc/828187/stat : 828187 (ld-linux-x86-64) R 828185 828185 822087 0 -1 4194304 21942 0 0 0 10130 70 0 0 20 0 2 0 161332258 151773184 9402 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
/proc/828187/statm: 37054 9402 3330 46 0 9649 0
[pid=828187/tid=828188] ppid=828185 vsize=148216 memory=2688 CPUtime=0.03 cores=0,2
/proc/828187/task/828188/stat : 828188 (ld-linux-x86-64) S 828185 828185 822087 0 -1 1077936192 47 0 0 0 1 2 0 0 20 0 2 0 161332259 151773184 9402 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 158144 KiB
Current children cumulated memory: 40296 KiB

[startup+162.3 s]

################
# More data... #
################

/proc/828187/statm: 45837 18246 3330 46 0 18432 0
[pid=828187/tid=828188] ppid=828185 vsize=183348 memory=13072 CPUtime=1.49 cores=0,2
/proc/828187/task/828188/stat : 828188 (ld-linux-x86-64) S 828185 828185 822087 0 -1 1077936192 255 0 0 0 48 101 0 0 20 0 2 0 161332259 187748352 18246 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
Current children cumulated CPU time: 3154.8 s
Current children cumulated vsize: 193276 KiB
Current children cumulated memory: 75672 KiB

[startup+3222.3 s]
/proc/loadavg: 1.14 1.12 1.49 2/241 829878
/proc/meminfo: memFree=127139388/131524600 swapFree=131071996/131071996
[pid=828185] ppid=828182 vsize=9928 memory=2688 CPUtime=0 cores=0,2
/proc/828185/stat : 828185 (run-glibc-2.34.) S 828182 828185 822087 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 161332258 10166272 672 134679101440 94574078320640 94574079399960 140721238670400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94574081498416 94574081545604 94574104092672 140721238676427 140721238676572 140721238676572 140721238683587 0
/proc/828185/statm: 2482 672 591 264 0 133 0
[pid=828187] ppid=828185 vsize=183348 memory=73152 CPUtime=3214.68 cores=0,2
/proc/828187/stat : 828187 (ld-linux-x86-64) R 828185 828185 822087 0 -1 4194304 155011 0 0 0 320618 850 0 0 20 0 2 0 161332258 187748352 18288 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
/proc/828187/statm: 45837 18288 3330 46 0 18432 0
[pid=828187/tid=828188] ppid=828185 vsize=183348 memory=2688 CPUtime=1.51 cores=0,2
/proc/828187/task/828188/stat : 828188 (ld-linux-x86-64) S 828185 828185 822087 0 -1 1077936192 259 0 0 0 48 103 0 0 20 0 2 0 161332259 187748352 18288 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
Current children cumulated CPU time: 3214.68 s
Current children cumulated vsize: 193276 KiB
Current children cumulated memory: 75840 KiB

[startup+3282.3 s]
/proc/loadavg: 1.11 1.11 1.46 2/238 829888
/proc/meminfo: memFree=127139836/131524600 swapFree=131071996/131071996
[pid=828185] ppid=828182 vsize=9928 memory=2688 CPUtime=0 cores=0,2
/proc/828185/stat : 828185 (run-glibc-2.34.) S 828182 828185 822087 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 161332258 10166272 672 134679101440 94574078320640 94574079399960 140721238670400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94574081498416 94574081545604 94574104092672 140721238676427 140721238676572 140721238676572 140721238683587 0
/proc/828185/statm: 2482 672 591 264 0 133 0
[pid=828187] ppid=828185 vsize=183348 memory=73152 CPUtime=3274.55 cores=0,2
/proc/828187/stat : 828187 (ld-linux-x86-64) R 828185 828185 822087 0 -1 4194304 155260 0 0 0 326594 861 0 0 20 0 2 0 161332258 187748352 18288 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
/proc/828187/statm: 45837 18288 3330 46 0 18432 0
[pid=828187/tid=828188] ppid=828185 vsize=183348 memory=11436 CPUtime=1.54 cores=0,2
/proc/828187/task/828188/stat : 828188 (ld-linux-x86-64) S 828185 828185 822087 0 -1 1077936192 263 0 0 0 49 105 0 0 20 0 2 0 161332259 187748352 18288 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
Current children cumulated CPU time: 3274.55 s
Current children cumulated vsize: 193276 KiB
Current children cumulated memory: 75840 KiB

[startup+3342.3 s]
/proc/loadavg: 1.16 1.12 1.44 2/238 829898
/proc/meminfo: memFree=127139544/131524600 swapFree=131071996/131071996
[pid=828185] ppid=828182 vsize=9928 memory=2688 CPUtime=0 cores=0,2
/proc/828185/stat : 828185 (run-glibc-2.34.) S 828182 828185 822087 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 161332258 10166272 672 134679101440 94574078320640 94574079399960 140721238670400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94574081498416 94574081545604 94574104092672 140721238676427 140721238676572 140721238676572 140721238683587 0
/proc/828185/statm: 2482 672 591 264 0 133 0
[pid=828187] ppid=828185 vsize=183348 memory=73280 CPUtime=3334.43 cores=0,2
/proc/828187/stat : 828187 (ld-linux-x86-64) R 828185 828185 822087 0 -1 4194304 155791 0 0 0 332572 871 0 0 20 0 2 0 161332258 187748352 18320 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
/proc/828187/statm: 45837 18320 3330 46 0 18432 0
[pid=828187/tid=828188] ppid=828185 vsize=183348 memory=73280 CPUtime=1.57 cores=0,2
/proc/828187/task/828188/stat : 828188 (ld-linux-x86-64) S 828185 828185 822087 0 -1 1077936192 267 0 0 0 50 107 0 0 20 0 2 0 161332259 187748352 18320 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
Current children cumulated CPU time: 3334.43 s
Current children cumulated vsize: 193276 KiB
Current children cumulated memory: 75968 KiB

[startup+3402.3 s]
/proc/loadavg: 1.12 1.11 1.42 2/239 830079
/proc/meminfo: memFree=127138148/131524600 swapFree=131071996/131071996
[pid=828185] ppid=828182 vsize=9928 memory=2688 CPUtime=0 cores=0,2
/proc/828185/stat : 828185 (run-glibc-2.34.) S 828182 828185 822087 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 161332258 10166272 672 134679101440 94574078320640 94574079399960 140721238670400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94574081498416 94574081545604 94574104092672 140721238676427 140721238676572 140721238676572 140721238683587 0
/proc/828185/statm: 2482 672 591 264 0 133 0
[pid=828187] ppid=828185 vsize=183604 memory=74168 CPUtime=3394.31 cores=0,2
/proc/828187/stat : 828187 (ld-linux-x86-64) R 828185 828185 822087 0 -1 4194304 157026 0 0 0 338550 881 0 0 20 0 2 0 161332258 188010496 18542 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
/proc/828187/statm: 45901 18542 3330 46 0 18496 0
[pid=828187/tid=828188] ppid=828185 vsize=183604 memory=2688 CPUtime=1.6 cores=0,2
/proc/828187/task/828188/stat : 828188 (ld-linux-x86-64) S 828185 828185 822087 0 -1 1077936192 271 0 0 0 51 109 0 0 20 0 2 0 161332259 188010496 18542 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
Current children cumulated CPU time: 3394.31 s
Current children cumulated vsize: 193532 KiB
Current children cumulated memory: 76856 KiB

[startup+3462.3 s]
/proc/loadavg: 1.09 1.11 1.39 2/239 830089
/proc/meminfo: memFree=127138224/131524600 swapFree=131071996/131071996
[pid=828185] ppid=828182 vsize=9928 memory=2688 CPUtime=0 cores=0,2
/proc/828185/stat : 828185 (run-glibc-2.34.) S 828182 828185 822087 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 161332258 10166272 672 134679101440 94574078320640 94574079399960 140721238670400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94574081498416 94574081545604 94574104092672 140721238676427 140721238676572 140721238676572 140721238683587 0
/proc/828185/statm: 2482 672 591 264 0 133 0
[pid=828187] ppid=828185 vsize=183604 memory=74172 CPUtime=3454.19 cores=0,2
/proc/828187/stat : 828187 (ld-linux-x86-64) R 828185 828185 822087 0 -1 4194304 157335 0 0 0 344527 892 0 0 20 0 2 0 161332258 188010496 18543 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
/proc/828187/statm: 45901 18543 3330 46 0 18496 0
[pid=828187/tid=828188] ppid=828185 vsize=183604 memory=74172 CPUtime=1.64 cores=0,2
/proc/828187/task/828188/stat : 828188 (ld-linux-x86-64) S 828185 828185 822087 0 -1 1077936192 275 0 0 0 52 112 0 0 20 0 2 0 161332259 188010496 18543 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
Current children cumulated CPU time: 3454.19 s
Current children cumulated vsize: 193532 KiB
Current children cumulated memory: 76860 KiB

[startup+3522.3 s]
/proc/loadavg: 1.15 1.12 1.38 2/238 830102
/proc/meminfo: memFree=127138120/131524600 swapFree=131071996/131071996
[pid=828185] ppid=828182 vsize=9928 memory=2688 CPUtime=0 cores=0,2
/proc/828185/stat : 828185 (run-glibc-2.34.) S 828182 828185 822087 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 161332258 10166272 672 134679101440 94574078320640 94574079399960 140721238670400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94574081498416 94574081545604 94574104092672 140721238676427 140721238676572 140721238676572 140721238683587 0
/proc/828185/statm: 2482 672 591 264 0 133 0
[pid=828187] ppid=828185 vsize=183604 memory=74180 CPUtime=3514.06 cores=0,2
/proc/828187/stat : 828187 (ld-linux-x86-64) R 828185 828185 822087 0 -1 4194304 158124 0 0 0 350502 904 0 0 20 0 2 0 161332258 188010496 18545 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
/proc/828187/statm: 45901 18545 3330 46 0 18496 0
[pid=828187/tid=828188] ppid=828185 vsize=183604 memory=2688 CPUtime=1.67 cores=0,2
/proc/828187/task/828188/stat : 828188 (ld-linux-x86-64) S 828185 828185 822087 0 -1 1077936192 279 0 0 0 53 114 0 0 20 0 2 0 161332259 188010496 18545 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
Current children cumulated CPU time: 3514.06 s
Current children cumulated vsize: 193532 KiB
Current children cumulated memory: 76868 KiB

[startup+3582.3 s]
/proc/loadavg: 1.11 1.11 1.36 2/238 830124
/proc/meminfo: memFree=127137340/131524600 swapFree=131071996/131071996
[pid=828185] ppid=828182 vsize=9928 memory=2688 CPUtime=0 cores=0,2
/proc/828185/stat : 828185 (run-glibc-2.34.) S 828182 828185 822087 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 161332258 10166272 672 134679101440 94574078320640 94574079399960 140721238670400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94574081498416 94574081545604 94574104092672 140721238676427 140721238676572 140721238676572 140721238683587 0
/proc/828185/statm: 2482 672 591 264 0 133 0
[pid=828187] ppid=828185 vsize=202572 memory=74656 CPUtime=3573.93 cores=0,2
/proc/828187/stat : 828187 (ld-linux-x86-64) R 828185 828185 822087 0 -1 4194304 163821 0 0 0 356477 916 0 0 20 0 2 0 161332258 207433728 18664 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
/proc/828187/statm: 50643 18664 3330 46 0 23238 0
[pid=828187/tid=828188] ppid=828185 vsize=202572 memory=2688 CPUtime=1.7 cores=0,2
/proc/828187/task/828188/stat : 828188 (ld-linux-x86-64) S 828185 828185 822087 0 -1 1077936192 283 0 0 0 54 116 0 0 20 0 2 0 161332259 207433728 18664 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
Current children cumulated CPU time: 3573.93 s
Current children cumulated vsize: 212500 KiB
Current children cumulated memory: 77344 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.5 s]
/proc/loadavg: 1.14 1.12 1.35 2/238 830128
/proc/meminfo: memFree=127137284/131524600 swapFree=131071996/131071996
[pid=828185] ppid=828182 vsize=9928 memory=2688 CPUtime=0 cores=0,2
/proc/828185/stat : 828185 (run-glibc-2.34.) S 828182 828185 822087 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 161332258 10166272 672 134679101440 94574078320640 94574079399960 140721238670400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94574081498416 94574081545604 94574104092672 140721238676427 140721238676572 140721238676572 140721238683587 0
/proc/828185/statm: 2482 672 591 264 0 133 0
[pid=828187] ppid=828185 vsize=202572 memory=74656 CPUtime=3600.07 cores=0,2
/proc/828187/stat : 828187 (ld-linux-x86-64) R 828185 828185 822087 0 -1 4194304 165084 0 0 0 359085 922 0 0 20 0 2 0 161332258 207433728 18664 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
/proc/828187/statm: 50643 18664 3330 46 0 23238 0
[pid=828187/tid=828188] ppid=828185 vsize=202572 memory=11436 CPUtime=1.72 cores=0,2
/proc/828187/task/828188/stat : 828188 (ld-linux-x86-64) S 828185 828185 822087 0 -1 1077936192 283 0 0 0 55 117 0 0 20 0 2 0 161332259 207433728 18664 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 212500 KiB
Current children cumulated memory: 77344 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3608.51 s]
# the end of solver process 828185 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3590.86 s, system=9.22593 s

Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3608.5 s]
/proc/loadavg: 1.14 1.12 1.35 2/238 830128
/proc/meminfo: memFree=127137284/131524600 swapFree=131071996/131071996
[pid=828185] ppid=828182 vsize=9928 memory=2688 CPUtime=0 cores=0,2
/proc/828185/stat : 828185 (run-glibc-2.34.) S 828182 828185 822087 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 161332258 10166272 672 134679101440 94574078320640 94574079399960 140721238670400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94574081498416 94574081545604 94574104092672 140721238676427 140721238676572 140721238676572 140721238683587 0
/proc/828185/statm: 2482 672 591 264 0 133 0
[pid=828187] ppid=828185 vsize=202572 memory=74656 CPUtime=3600.07 cores=0,2
/proc/828187/stat : 828187 (ld-linux-x86-64) R 828185 828185 822087 0 -1 4194304 165084 0 0 0 359085 922 0 0 20 0 2 0 161332258 207433728 18664 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
/proc/828187/statm: 50643 18664 3330 46 0 23238 0
[pid=828187/tid=828188] ppid=828185 vsize=202572 memory=11436 CPUtime=1.72 cores=0,2
/proc/828187/task/828188/stat : 828188 (ld-linux-x86-64) S 828185 828185 822087 0 -1 1077936192 283 0 0 0 55 117 0 0 20 0 2 0 161332259 207433728 18664 134679101440 140631410163712 140631410351324 140720362536160 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140631412452224 140631412461672 93825012133888 140720362541923 140720362542075 140720362542075 140720362549170 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 212500 KiB
Current children cumulated memory: 77344 KiB

Child status: 143

Real time (s): 3608.51
CPU time (s): 3600.09
CPU user time (s): 3590.86
CPU system time (s): 9.22593
CPU usage (%): 99.7667
Max. virtual memory (cumulated for all children) (KiB): 212500
Max. memory (cumulated for all children) (KiB): 77344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.86
system time used= 9.22593
maximum resident set size= 74656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165300
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 357369
involuntary context switches= 24734


# summary of solver processes directly reported to runsolver:
#   pid: 828185
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3590.86
#   total CPU system time (s): 9.22593

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.69086 second user time and 15.7687 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2024-07-16 03:01:26
IDJOB=4431471
IDBENCH=147594
IDSOLVER=3056
FILE ID=nodeC024/4431471-1721091673
RUNJOBID= nodeC024-1721082231-822097
SLURM_JOB_ID= 7505561
Free space on /tmp= 889928 MiB

SOLVER NAME= IPBHS-GUROBI 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_1.opb
COMMAND LINE= run-glibc-2.34.sh ./ipbhs_gurobi BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431471-1721091673/watcher-4431471-1721091673 -o /tmp/evaluation-result-4431471-1721091673/solver-4431471-1721091673 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721082231-822097 --watchdog 3760  run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4431471-1721091673.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= d93197574d7bf829fc84498a7cd9d0ce
RANDOM SEED=979786624

nodeC024.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3657.815
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3681.010
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3676.041
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.164
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3673.109
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3681.040
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3603.013
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.112
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124898000 kB
MemAvailable:   127552144 kB
Buffers:          384680 kB
Cached:          3080244 kB
SwapCached:            0 kB
Active:           692784 kB
Inactive:        5282980 kB
Active(anon):       1592 kB
Inactive(anon):  2546688 kB
Active(file):     691192 kB
Inactive(file):  2736292 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             41712 kB
Writeback:             0 kB
AnonPages:       2509160 kB
Mapped:           121252 kB
Shmem:             37720 kB
KReclaimable:     132612 kB
Slab:             241644 kB
SReclaimable:     132612 kB
SUnreclaim:       109032 kB
KernelStack:        4252 kB
PageTables:        14408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    4794548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60192 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1955840 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      226004 kB
DirectMap2M:    19470336 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 890044 MiB
End job on nodeC024 at 2024-07-16 04:01:35