Trace number 4431496

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.12 3603.32

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb
MD5SUMb97b9bf3767749854a32fccedb37d823
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark939
Best CPU time to get the best result obtained on this benchmark4.63488
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8405
Total number of constraints10667
Number of constraints which are clauses9918
Number of constraints which are cardinality constraints (but not clauses)749
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint351
Number of terms in the objective function 6892
Biggest coefficient in the objective function 667
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 371779
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 667
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 371779
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data


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: 64059 MiB (62531 MiB free)
  memory of node 1: 64510 MiB (63307 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431496-1721054499/watcher-4431496-1721054499 -o /tmp/evaluation-result-4431496-1721054499/solver-4431496-1721054499 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721050898-799992 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4431496-1721054499.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Current StackSize limit: 8192 KiB

solver pid=802181, runsolver pid=802178

[startup+0.1001 s]*
/proc/loadavg: 4.23 4.13 4.10 5/250 802183
/proc/meminfo: memFree=128848748/131655788 swapFree=131071996/131071996
[pid=802181] ppid=802178 vsize=9928 memory=2744 CPUtime=0 cores=5,7
/proc/802181/stat : 802181 (run-glibc-2.34.) S 802178 802181 799979 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 157609182 10166272 686 134679101440 93912787787776 93912788867096 140734145327424 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93912790965552 93912791012740 93912802385920 140734145336267 140734145336412 140734145336412 140734145343427 0
/proc/802181/statm: 2482 686 605 264 0 133 0
[pid=802183] ppid=802181 vsize=93236 memory=15092 CPUtime=0.09 cores=5,7
/proc/802183/stat : 802183 (ld-linux-x86-64) R 802181 802181 799979 0 -1 4194304 1931 0 0 0 7 2 0 0 20 0 1 0 157609183 95473664 3773 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
/proc/802183/statm: 23309 3773 1678 46 0 3924 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 103164 KiB
Current children cumulated memory: 17836 KiB

[startup+0.213135 s]*
/proc/loadavg: 4.23 4.13 4.10 5/251 802184
/proc/meminfo: memFree=128837608/131655788 swapFree=131071996/131071996
[pid=802181] ppid=802178 vsize=9928 memory=2744 CPUtime=0 cores=5,7
/proc/802181/stat : 802181 (run-glibc-2.34.) S 802178 802181 799979 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 157609182 10166272 686 134679101440 93912787787776 93912788867096 140734145327424 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93912790965552 93912791012740 93912802385920 140734145336267 140734145336412 140734145336412 140734145343427 0
/proc/802181/statm: 2482 686 605 264 0 133 0
[pid=802183] ppid=802181 vsize=144884 memory=29576 CPUtime=0.21 cores=5,7
/proc/802183/stat : 802183 (ld-linux-x86-64) R 802181 802181 799979 0 -1 4194304 3688 0 0 0 17 4 0 0 20 0 2 0 157609183 148361216 7394 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
/proc/802183/statm: 36221 7394 2668 46 0 8816 0
[pid=802183/tid=802184] ppid=802181 vsize=144884 memory=3471202400344241230 CPUtime=0 cores=5,7
/proc/802183/task/802184/stat : 802184 (ld-linux-x86-64) S 802181 802181 799979 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 157609196 148361216 7394 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 154812 KiB
Current children cumulated memory: 32320 KiB

[startup+0.313208 s]*
/proc/loadavg: 4.23 4.13 4.10 5/251 802184
/proc/meminfo: memFree=128835116/131655788 swapFree=131071996/131071996
[pid=802181] ppid=802178 vsize=9928 memory=2744 CPUtime=0 cores=5,7
/proc/802181/stat : 802181 (run-glibc-2.34.) S 802178 802181 799979 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 157609182 10166272 686 134679101440 93912787787776 93912788867096 140734145327424 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93912790965552 93912791012740 93912802385920 140734145336267 140734145336412 140734145336412 140734145343427 0
/proc/802181/statm: 2482 686 605 264 0 133 0
[pid=802183] ppid=802181 vsize=146036 memory=30752 CPUtime=0.31 cores=5,7
/proc/802183/stat : 802183 (ld-linux-x86-64) R 802181 802181 799979 0 -1 4194304 3976 0 0 0 24 7 0 0 20 0 2 0 157609183 149540864 7688 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
/proc/802183/statm: 36509 7688 2700 46 0 9104 0
[pid=802183/tid=802184] ppid=802181 vsize=146036 memory=-9114658463510980967 CPUtime=0 cores=5,7
/proc/802183/task/802184/stat : 802184 (ld-linux-x86-64) S 802181 802181 799979 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 157609196 149540864 7688 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 155964 KiB
Current children cumulated memory: 33496 KiB

[startup+0.700487 s]
/proc/loadavg: 4.23 4.13 4.10 5/251 802184
/proc/meminfo: memFree=128821088/131655788 swapFree=131071996/131071996
[pid=802181] ppid=802178 vsize=9928 memory=2744 CPUtime=0 cores=5,7
/proc/802181/stat : 802181 (run-glibc-2.34.) S 802178 802181 799979 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 157609182 10166272 686 134679101440 93912787787776 93912788867096 140734145327424 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93912790965552 93912791012740 93912802385920 140734145336267 140734145336412 140734145336412 140734145343427 0
/proc/802181/statm: 2482 686 605 264 0 133 0
[pid=802183] ppid=802181 vsize=173808 memory=57528 CPUtime=0.68 cores=5,7
/proc/802183/stat : 802183 (ld-linux-x86-64) R 802181 802181 799979 0 -1 4194304 10466 0 0 0 58 10 0 0 20 0 2 0 157609183 177979392 14382 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
/proc/802183/statm: 43452 14382 3705 46 0 16047 0
[pid=802183/tid=802184] ppid=802181 vsize=173808 memory=0 CPUtime=0 cores=5,7
/proc/802183/task/802184/stat : 802184 (ld-linux-x86-64) S 802181 802181 799979 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 157609196 177979392 14382 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 183736 KiB
Current children cumulated memory: 60272 KiB

[startup+1.50045 s]
/proc/loadavg: 4.23 4.13 4.10 5/251 802184
/proc/meminfo: memFree=128802296/131655788 swapFree=131071996/131071996
[pid=802181] ppid=802178 vsize=9928 memory=2744 CPUtime=0 cores=5,7
/proc/802181/stat : 802181 (run-glibc-2.34.) S 802178 802181 799979 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 157609182 10166272 686 134679101440 93912787787776 93912788867096 140734145327424 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93912790965552 93912791012740 93912802385920 140734145336267 140734145336412 140734145336412 140734145343427 0
/proc/802181/statm: 2482 686 605 264 0 133 0
[pid=802183] ppid=802181 vsize=179228 memory=66776 CPUtime=1.48 cores=5,7
/proc/802183/stat : 802183 (ld-linux-x86-64) R 802181 802181 799979 0 -1 4194304 12571 0 2 0 134 14 0 0 20 0 2 0 157609183 183529472 16694 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
/proc/802183/statm: 44807 16694 4007 46 0 17402 0
[pid=802183/tid=802184] ppid=802181 vsize=179228 memory=66336 CPUtime=0 cores=5,7
/proc/802183/task/802184/stat : 802184 (ld-linux-x86-64) S 802181 802181 799979 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 157609196 183529472 16694 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 189156 KiB
Current children cumulated memory: 69520 KiB

[startup+3.11384 s]
/proc/loadavg: 4.23 4.13 4.10 5/251 802184
/proc/meminfo: memFree=128793372/131655788 swapFree=131071996/131071996
[pid=802181] ppid=802178 vsize=9928 memory=2744 CPUtime=0 cores=5,7
/proc/802181/stat : 802181 (run-glibc-2.34.) S 802178 802181 799979 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 157609182 10166272 686 134679101440 93912787787776 93912788867096 140734145327424 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93912790965552 93912791012740 93912802385920 140734145336267 140734145336412 140734145336412 140734145343427 0
/proc/802181/statm: 2482 686 605 264 0 133 0
[pid=802183] ppid=802181 vsize=182240 memory=66428 CPUtime=3.09 cores=5,7
/proc/802183/stat : 802183 (ld-linux-x86-64) R 802181 802181 799979 0 -1 4194304 22178 0 2 0 270 39 0 0 20 0 2 0 157609183 186613760 16607 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
/proc/802183/statm: 45560 16607 4007 46 0 18155 0
[pid=802183/tid=802184] ppid=802181 vsize=182240 memory=68372 CPUtime=0 cores=5,7
/proc/802183/task/802184/stat : 802184 (ld-linux-x86-64) S 802181 802181 799979 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 2 0 157609196 186613760 16607 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 192168 KiB
Current children cumulated memory: 69172 KiB

[startup+6.30044 s]
/proc/loadavg: 4.21 4.12 4.10 5/251 802184
/proc/meminfo: memFree=128753656/131655788 swapFree=131071996/131071996
[pid=802181] ppid=802178 vsize=9928 memory=2744 CPUtime=0 cores=5,7
/proc/802181/stat : 802181 (run-glibc-2.34.) S 802178 802181 799979 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 157609182 10166272 686 134679101440 93912787787776 93912788867096 140734145327424 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93912790965552 93912791012740 93912802385920 140734145336267 140734145336412 140734145336412 140734145343427 0
/proc/802181/statm: 2482 686 605 264 0 133 0
[pid=802183] ppid=802181 vsize=193652 memory=81012 CPUtime=6.27 cores=5,7
/proc/802183/stat : 802183 (ld-linux-x86-64) R 802181 802181 799979 0 -1 4194304 28773 0 2 0 530 97 0 0 20 0 2 0 157609183 198299648 20253 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
/proc/802183/statm: 48413 20253 4007 46 0 21008 0
[pid=802183/tid=802184] ppid=802181 vsize=193652 memory=80492 CPUtime=0 cores=5,7
/proc/802183/task/802184/stat : 802184 (ld-linux-x86-64) S 802181 802181 799979 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 2 0 157609196 198299648 20253 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 203580 KiB
Current children cumulated memory: 83756 KiB

[startup+12.7004 s]
/proc/loadavg: 4.19 4.12 4.10 5/251 802185
/proc/meminfo: memFree=128713772/131655788 swapFree=131071996/131071996
[pid=802181] ppid=802178 vsize=9928 memory=2744 CPUtime=0 cores=5,7
/proc/802181/stat : 802181 (run-glibc-2.34.) S 802178 802181 799979 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 157609182 10166272 686 134679101440 93912787787776 93912788867096 140734145327424 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93912790965552 93912791012740 93912802385920 140734145336267 140734145336412 140734145336412 140734145343427 0
/proc/802181/statm: 2482 686 605 264 0 133 0
[pid=802183] ppid=802181 vsize=226928 memory=104896 CPUtime=12.67 cores=5,7
/proc/802183/stat : 802183 (ld-linux-x86-64) R 802181 802181 799979 0 -1 4194304 51388 0 2 0 1104 163 0 0 20 0 2 0 157609183 232374272 26224 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
/proc/802183/statm: 56732 26224 4007 46 0 29327 0
[pid=802183/tid=802184] ppid=802181 vsize=226928 memory=2744 CPUtime=0.01 cores=5,7
/proc/802183/task/802184/stat : 802184 (ld-linux-x86-64) S 802181 802181 799979 0 -1 1077936192 15 0 0 0 0 1 0 0 20 0 2 0 157609196 232374272 26224 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 236856 KiB
Current children cumulated memory: 107640 KiB

[startup+25.5004 s]
/proc/loadavg: 4.53 4.20 4.12 5/251 802187
/proc/meminfo: memFree=128627624/131655788 swapFree=131071996/131071996
[pid=802181] ppid=802178 vsize=9928 memory=2744 CPUtime=0 cores=5,7
/proc/802181/stat : 802181 (run-glibc-2.34.) S 802178 802181 799979 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 157609182 10166272 686 134679101440 93912787787776 93912788867096 140734145327424 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93912790965552 93912791012740 93912802385920 140734145336267 140734145336412 140734145336412 140734145343427 0
/proc/802181/statm: 2482 686 605 264 0 133 0
[pid=802183] ppid=802181 vsize=273848 memory=145564 CPUtime=25.46 cores=5,7
/proc/802183/stat : 802183 (ld-linux-x86-64) R 802181 802181 799979 0 -1 4194304 84628 0 2 0 2313 233 0 0 20 0 2 0 157609183 280420352 36391 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
/proc/802183/statm: 68462 36391 4007 46 0 41057 0
[pid=802183/tid=802184] ppid=802181 vsize=273848 memory=2744 CPUtime=0.03 cores=5,7
/proc/802183/task/802184/stat : 802184 (ld-linux-x86-64) S 802181 802181 799979 0 -1 1077936192 23 0 0 0 1 2 0 0 20 0 2 0 157609196 280420352 36391 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
Current children cumulated CPU time: 25.46 s
Current children cumulated vsize: 283776 KiB
Current children cumulated memory: 148308 KiB

[startup+51.1133 s]
/proc/loadavg: 5.09 4.36 4.18 5/251 802193
/proc/meminfo: memFree=128571428/131655788 swapFree=131071996/131071996
[pid=802181] ppid=802178 vsize=9928 memory=2744 CPUtime=0 cores=5,7
/proc/802181/stat : 802181 (run-glibc-2.34.) S 802178 802181 799979 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 157609182 10166272 686 134679101440 93912787787776 93912788867096 140734145327424 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93912790965552 93912791012740 93912802385920 140734145336267 140734145336412 140734145336412 140734145343427 0
/proc/802181/statm: 2482 686 605 264 0 133 0
[pid=802183] ppid=802181 vsize=274288 memory=160432 CPUtime=51.05 cores=5,7
/proc/802183/stat : 802183 (ld-linux-x86-64) R 802181 802181 799979 0 -1 4194304 137449 0 2 0 4781 324 0 0 20 0 2 0 157609183 280870912 40108 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
/proc/802183/statm: 68572 40108 4007 46 0 41167 0
[pid=802183/tid=802184] ppid=802181 vsize=274288 memory=2744 CPUtime=0.07 cores=5,7
/proc/802183/task/802184/stat : 802184 (ld-linux-x86-64) S 802181 802181 799979 0 -1 1077936192 35 0 0 0 2 5 0 0 20 0 2 0 157609196 280870912 40108 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 284216 KiB
Current children cumulated memory: 163176 KiB

[startup+102.3 s]
/proc/loadavg: 4.85 4.43 4.22 5/243 802574
/proc/meminfo: memFree=129085476/131655788 swapFree=131071996/131071996
[pid=802181] ppid=802178 vsize=9928 memory=2744 CPUtime=0 cores=5,7
/proc/802181/stat : 802181 (run-glibc-2.34.) S 802178 802181 799979 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 157609182 10166272 686 134679101440 93912787787776 93912788867096 140734145327424 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93912790965552 93912791012740 93912802385920 140734145336267 140734145336412 140734145336412 140734145343427 0
/proc/802181/statm: 2482 686 605 264 0 133 0
[pid=802183] ppid=802181 vsize=359816 memory=232504 CPUtime=102.17 cores=5,7
/proc/802183/stat : 802183 (ld-linux-x86-64) R 802181 802181 799979 0 -1 4194304 209657 0 2 0 9710 507 0 0 20 0 2 0 157609183 368451584 58126 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
/proc/802183/statm: 89954 58126 4007 46 0 62549 0
[pid=802183/tid=802184] ppid=802181 vsize=359816 memory=2744 CPUtime=0.15 cores=5,7
/proc/802183/task/802184/stat : 802184 (ld-linux-x86-64) S 802181 802181 799979 0 -1 1077936192 43 0 0 0 4 11 0 0 20 0 2 0 157609196 368451584 58126 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
Current children cumulated CPU time: 102.17 s
Current children cumulated vsize: 369744 KiB
Current children cumulated memory: 235248 KiB

[startup+162.3 s]
/proc/loadavg: 4.52 4.41 4.22 5/251 802740
/proc/meminfo: memFree=128763676/131655788 swapFree=131071996/131071996

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

[startup+3222.3 s]
/proc/loadavg: 4.14 4.15 4.14 5/252 804517
/proc/meminfo: memFree=126567280/131655788 swapFree=131071996/131071996
[pid=802181] ppid=802178 vsize=9928 memory=2744 CPUtime=0 cores=5,7
/proc/802181/stat : 802181 (run-glibc-2.34.) S 802178 802181 799979 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 157609182 10166272 686 134679101440 93912787787776 93912788867096 140734145327424 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93912790965552 93912791012740 93912802385920 140734145336267 140734145336412 140734145336412 140734145343427 0
/proc/802181/statm: 2482 686 605 264 0 133 0
[pid=802183] ppid=802181 vsize=1521328 memory=1175960 CPUtime=3219.5 cores=5,7
/proc/802183/stat : 802183 (ld-linux-x86-64) R 802181 802181 799979 0 -1 4194304 1889189 0 2 0 318196 3754 0 0 20 0 2 0 157609183 1557839872 293990 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
/proc/802183/statm: 380332 293990 4007 46 0 352927 0
[pid=802183/tid=802184] ppid=802181 vsize=1521328 memory=1159932 CPUtime=5.68 cores=5,7
/proc/802183/task/802184/stat : 802184 (ld-linux-x86-64) S 802181 802181 799979 0 -1 1077936192 182 0 0 0 173 395 0 0 20 0 2 0 157609196 1557839872 293990 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
Current children cumulated CPU time: 3219.5 s
Current children cumulated vsize: 1531256 KiB
Current children cumulated memory: 1178704 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.14 4.13 5/249 804528
/proc/meminfo: memFree=126535768/131655788 swapFree=131071996/131071996
[pid=802181] ppid=802178 vsize=9928 memory=2744 CPUtime=0 cores=5,7
/proc/802181/stat : 802181 (run-glibc-2.34.) S 802178 802181 799979 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 157609182 10166272 686 134679101440 93912787787776 93912788867096 140734145327424 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93912790965552 93912791012740 93912802385920 140734145336267 140734145336412 140734145336412 140734145343427 0
/proc/802181/statm: 2482 686 605 264 0 133 0
[pid=802183] ppid=802181 vsize=1527216 memory=1187532 CPUtime=3279.45 cores=5,7
/proc/802183/stat : 802183 (ld-linux-x86-64) R 802181 802181 799979 0 -1 4194304 1894125 0 2 0 324157 3788 0 0 20 0 2 0 157609183 1563869184 296883 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
/proc/802183/statm: 381804 296883 4007 46 0 354399 0
[pid=802183/tid=802184] ppid=802181 vsize=1527216 memory=1184348 CPUtime=5.78 cores=5,7
/proc/802183/task/802184/stat : 802184 (ld-linux-x86-64) S 802181 802181 799979 0 -1 1077936192 185 0 0 0 176 402 0 0 20 0 2 0 157609196 1563869184 296883 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
Current children cumulated CPU time: 3279.45 s
Current children cumulated vsize: 1537144 KiB
Current children cumulated memory: 1190276 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/249 804539
/proc/meminfo: memFree=126511520/131655788 swapFree=131071996/131071996
[pid=802181] ppid=802178 vsize=9928 memory=2744 CPUtime=0 cores=5,7
/proc/802181/stat : 802181 (run-glibc-2.34.) S 802178 802181 799979 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 157609182 10166272 686 134679101440 93912787787776 93912788867096 140734145327424 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93912790965552 93912791012740 93912802385920 140734145336267 140734145336412 140734145336412 140734145343427 0
/proc/802181/statm: 2482 686 605 264 0 133 0
[pid=802183] ppid=802181 vsize=1530032 memory=1197632 CPUtime=3339.39 cores=5,7
/proc/802183/stat : 802183 (ld-linux-x86-64) R 802181 802181 799979 0 -1 4194304 1901379 0 2 0 330118 3821 0 0 20 0 2 0 157609183 1566752768 299408 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
/proc/802183/statm: 382508 299408 4007 46 0 355103 0
[pid=802183/tid=802184] ppid=802181 vsize=1530032 memory=2744 CPUtime=5.88 cores=5,7
/proc/802183/task/802184/stat : 802184 (ld-linux-x86-64) S 802181 802181 799979 0 -1 1077936192 188 0 0 0 179 409 0 0 20 0 2 0 157609196 1566752768 299408 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
Current children cumulated CPU time: 3339.39 s
Current children cumulated vsize: 1539960 KiB
Current children cumulated memory: 1200376 KiB

[startup+3402.3 s]
/proc/loadavg: 4.72 4.26 4.17 5/249 804549
/proc/meminfo: memFree=126489300/131655788 swapFree=131071996/131071996
[pid=802181] ppid=802178 vsize=9928 memory=2744 CPUtime=0 cores=5,7
/proc/802181/stat : 802181 (run-glibc-2.34.) S 802178 802181 799979 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 157609182 10166272 686 134679101440 93912787787776 93912788867096 140734145327424 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93912790965552 93912791012740 93912802385920 140734145336267 140734145336412 140734145336412 140734145343427 0
/proc/802181/statm: 2482 686 605 264 0 133 0
[pid=802183] ppid=802181 vsize=1535408 memory=1208860 CPUtime=3399.33 cores=5,7
/proc/802183/stat : 802183 (ld-linux-x86-64) R 802181 802181 799979 0 -1 4194304 1909884 0 2 0 336081 3852 0 0 20 0 2 0 157609183 1572257792 302215 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
/proc/802183/statm: 383852 302215 4007 46 0 356447 0
[pid=802183/tid=802184] ppid=802181 vsize=1535408 memory=2744 CPUtime=5.98 cores=5,7
/proc/802183/task/802184/stat : 802184 (ld-linux-x86-64) S 802181 802181 799979 0 -1 1077936192 190 0 0 0 182 416 0 0 20 0 2 0 157609196 1572257792 302215 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
Current children cumulated CPU time: 3399.33 s
Current children cumulated vsize: 1545336 KiB
Current children cumulated memory: 1211604 KiB

[startup+3462.3 s]
/proc/loadavg: 4.89 4.43 4.24 5/249 804560
/proc/meminfo: memFree=126508664/131655788 swapFree=131071996/131071996
[pid=802181] ppid=802178 vsize=9928 memory=2744 CPUtime=0 cores=5,7
/proc/802181/stat : 802181 (run-glibc-2.34.) S 802178 802181 799979 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 157609182 10166272 686 134679101440 93912787787776 93912788867096 140734145327424 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93912790965552 93912791012740 93912802385920 140734145336267 140734145336412 140734145336412 140734145343427 0
/proc/802181/statm: 2482 686 605 264 0 133 0
[pid=802183] ppid=802181 vsize=1550636 memory=1220044 CPUtime=3459.26 cores=5,7
/proc/802183/stat : 802183 (ld-linux-x86-64) R 802181 802181 799979 0 -1 4194304 1922647 0 2 0 342043 3883 0 0 20 0 2 0 157609183 1587851264 305011 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
/proc/802183/statm: 387659 305011 4007 46 0 360254 0
[pid=802183/tid=802184] ppid=802181 vsize=1550636 memory=11648 CPUtime=6.09 cores=5,7
/proc/802183/task/802184/stat : 802184 (ld-linux-x86-64) S 802181 802181 799979 0 -1 1077936192 191 0 0 0 185 424 0 0 20 0 2 0 157609196 1587851264 305011 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
Current children cumulated CPU time: 3459.26 s
Current children cumulated vsize: 1560564 KiB
Current children cumulated memory: 1222788 KiB

[startup+3522.3 s]
/proc/loadavg: 4.36 4.37 4.22 5/251 804574
/proc/meminfo: memFree=126470916/131655788 swapFree=131071996/131071996
[pid=802181] ppid=802178 vsize=9928 memory=2744 CPUtime=0 cores=5,7
/proc/802181/stat : 802181 (run-glibc-2.34.) S 802178 802181 799979 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 157609182 10166272 686 134679101440 93912787787776 93912788867096 140734145327424 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93912790965552 93912791012740 93912802385920 140734145336267 140734145336412 140734145336412 140734145343427 0
/proc/802181/statm: 2482 686 605 264 0 133 0
[pid=802183] ppid=802181 vsize=1551012 memory=1220420 CPUtime=3519.19 cores=5,7
/proc/802183/stat : 802183 (ld-linux-x86-64) R 802181 802181 799979 0 -1 4194304 1932092 0 2 0 348005 3914 0 0 20 0 2 0 157609183 1588236288 305105 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
/proc/802183/statm: 387753 305105 4007 46 0 360348 0
[pid=802183/tid=802184] ppid=802181 vsize=1551012 memory=2744 CPUtime=6.18 cores=5,7
/proc/802183/task/802184/stat : 802184 (ld-linux-x86-64) S 802181 802181 799979 0 -1 1077936192 194 0 0 0 188 430 0 0 20 0 2 0 157609196 1588236288 305105 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
Current children cumulated CPU time: 3519.19 s
Current children cumulated vsize: 1560940 KiB
Current children cumulated memory: 1223164 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.31 4.21 5/251 804584
/proc/meminfo: memFree=126443764/131655788 swapFree=131071996/131071996
[pid=802181] ppid=802178 vsize=9928 memory=2744 CPUtime=0 cores=5,7
/proc/802181/stat : 802181 (run-glibc-2.34.) S 802178 802181 799979 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 157609182 10166272 686 134679101440 93912787787776 93912788867096 140734145327424 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93912790965552 93912791012740 93912802385920 140734145336267 140734145336412 140734145336412 140734145343427 0
/proc/802181/statm: 2482 686 605 264 0 133 0
[pid=802183] ppid=802181 vsize=1552880 memory=1222908 CPUtime=3579.12 cores=5,7
/proc/802183/stat : 802183 (ld-linux-x86-64) R 802181 802181 799979 0 -1 4194304 1937326 0 2 0 353970 3942 0 0 20 0 2 0 157609183 1590149120 305727 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
/proc/802183/statm: 388220 305727 4007 46 0 360815 0
[pid=802183/tid=802184] ppid=802181 vsize=1552880 memory=11648 CPUtime=6.29 cores=5,7
/proc/802183/task/802184/stat : 802184 (ld-linux-x86-64) S 802181 802181 799979 0 -1 1077936192 197 0 0 0 192 437 0 0 20 0 2 0 157609196 1590149120 305727 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
Current children cumulated CPU time: 3579.12 s
Current children cumulated vsize: 1562808 KiB
Current children cumulated memory: 1225652 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3603.3 s]
/proc/loadavg: 4.26 4.32 4.22 5/251 804635
/proc/meminfo: memFree=127345076/131655788 swapFree=131071996/131071996
[pid=802181] ppid=802178 vsize=9928 memory=2744 CPUtime=0 cores=5,7
/proc/802181/stat : 802181 (run-glibc-2.34.) S 802178 802181 799979 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 157609182 10166272 686 134679101440 93912787787776 93912788867096 140734145327424 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93912790965552 93912791012740 93912802385920 140734145336267 140734145336412 140734145336412 140734145343427 0
/proc/802181/statm: 2482 686 605 264 0 133 0
[pid=802183] ppid=802181 vsize=1553152 memory=1223136 CPUtime=3600.08 cores=5,7
/proc/802183/stat : 802183 (ld-linux-x86-64) R 802181 802181 799979 0 -1 4194304 1944698 0 2 0 356056 3952 0 0 20 0 2 0 157609183 1590427648 305784 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
/proc/802183/statm: 388288 305784 4007 46 0 360883 0
[pid=802183/tid=802184] ppid=802181 vsize=1553152 memory=2744 CPUtime=6.33 cores=5,7
/proc/802183/task/802184/stat : 802184 (ld-linux-x86-64) S 802181 802181 799979 0 -1 1077936192 197 0 0 0 193 440 0 0 20 0 2 0 157609196 1590427648 305784 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1563080 KiB
Current children cumulated memory: 1225880 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3603.31 s]
# the end of solver process 802181 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.002701 s, system=0.001402 s

[startup+3603.32 s]
# the end of solver process 802183 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=3560.57 s, system=39.5442 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3603.3 s]
/proc/loadavg: 4.26 4.32 4.22 5/251 804635
/proc/meminfo: memFree=127345076/131655788 swapFree=131071996/131071996
[pid=802181] ppid=802178 vsize=9928 memory=2744 CPUtime=0 cores=5,7
/proc/802181/stat : 802181 (run-glibc-2.34.) S 802178 802181 799979 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 157609182 10166272 686 134679101440 93912787787776 93912788867096 140734145327424 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93912790965552 93912791012740 93912802385920 140734145336267 140734145336412 140734145336412 140734145343427 0
/proc/802181/statm: 2482 686 605 264 0 133 0
[pid=802183] ppid=802181 vsize=1553152 memory=1223136 CPUtime=3600.08 cores=5,7
/proc/802183/stat : 802183 (ld-linux-x86-64) R 802181 802181 799979 0 -1 4194304 1944698 0 2 0 356056 3952 0 0 20 0 2 0 157609183 1590427648 305784 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
/proc/802183/statm: 388288 305784 4007 46 0 360883 0
[pid=802183/tid=802184] ppid=802181 vsize=1553152 memory=2744 CPUtime=6.33 cores=5,7
/proc/802183/task/802184/stat : 802184 (ld-linux-x86-64) S 802181 802181 799979 0 -1 1077936192 197 0 0 0 193 440 0 0 20 0 2 0 157609196 1590427648 305784 134679101440 140326771851264 140326772038876 140733168511008 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140326774139776 140326774149224 93825017196544 140733168517987 140733168518139 140733168518139 140733168525234 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1563080 KiB
Current children cumulated memory: 1225880 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3603.32
CPU time (s): 3600.12
CPU user time (s): 3560.57
CPU system time (s): 39.5442
CPU usage (%): 99.9112
Max. virtual memory (cumulated for all children) (KiB): 1563080
Max. memory (cumulated for all children) (KiB): 1225880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3560.57
system time used= 39.5442
maximum resident set size= 1223136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1944899
page faults= 2
swaps= 0
block input operations= 224
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 353441
involuntary context switches= 4160


# summary of solver processes directly reported to runsolver:
#   pid: 802181,802183
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3560.57
#   total CPU system time (s): 39.5442

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7255 second user time and 37.5086 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-07-15 16:41:50
IDJOB=4431496
IDBENCH=146652
IDSOLVER=3056
FILE ID=nodeC010/4431496-1721054499
RUNJOBID= nodeC010-1721050898-799992
SLURM_JOB_ID= 7505482
Free space on /tmp= 723656 MiB

SOLVER NAME= IPBHS-GUROBI 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.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-4431496-1721054499/watcher-4431496-1721054499 -o /tmp/evaluation-result-4431496-1721054499/solver-4431496-1721054499 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721050898-799992 --watchdog 3760  run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4431496-1721054499.opb

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

MD5SUM BENCH= b97b9bf3767749854a32fccedb37d823
RANDOM SEED=875403259

nodeC010.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	: 0xb00001f
cpu MHz		: 3660.005
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.51
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	: 0xb00001f
cpu MHz		: 3652.834
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.233
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.51
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	: 0xb00001f
cpu MHz		: 1197.266
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 3645.895
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.51
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	: 0xb00001f
cpu MHz		: 1197.180
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.223
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.51
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	: 0xb00001f
cpu MHz		: 1276.169
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128860128 kB
MemAvailable:   129216916 kB
Buffers:          372052 kB
Cached:           828572 kB
SwapCached:            0 kB
Active:           678720 kB
Inactive:        1597676 kB
Active(anon):       1464 kB
Inactive(anon):  1112012 kB
Active(file):     677256 kB
Inactive(file):   485664 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            126336 kB
Writeback:             0 kB
AnonPages:       1075848 kB
Mapped:           120584 kB
Shmem:             37704 kB
KReclaimable:      67800 kB
Slab:             160348 kB
SReclaimable:      67800 kB
SUnreclaim:        92548 kB
KernelStack:        4000 kB
PageTables:        11976 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1481096 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51200 kB
HardwareCorrupted:     0 kB
AnonHugePages:    765952 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:      187208 kB
DirectMap2M:    18591744 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 723612 MiB
End job on nodeC010 at 2024-07-15 17:41:54