Trace number 4431274

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-SYM 2024-07-09? (TO) 3600.08 3603.24

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_3_mh.opb
MD5SUM4f3174f37d2a17c7e83bc7c52ff48d45
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 benchmark26461978
Best CPU time to get the best result obtained on this benchmark3600.45
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2000400
Total number of constraints4920807
Number of constraints which are clauses3910700
Number of constraints which are cardinality constraints (but not clauses)107
Number of constraints which are nor clauses,nor cardinality constraints1010000
Minimum length of a constraint2
Maximum length of a constraint14950
Number of terms in the objective function 1019800
Biggest coefficient in the objective function 137388096
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 308760127022
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 137388096
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 308760127022
Number of bits of the biggest sum of numbers39
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

49.58/49.87	c initialize IPBHS solver
49.58/49.87	c IPBHS 0.0.0 beta (471c63a-dirty, Jul  9 2024 15:19:29), with Glucose 3.0, with Gurobi 10.0.1, with RoundingSat 2, with SSPB2SAT 0.2.0, with BreakID 0.0.0
49.58/49.87	c optimizer = "gurobi"
49.58/49.87	c pbsolver = "roundingsat"
49.58/49.87	c load symmetries from file ""
49.58/49.87	c set time limit for symmetry computation to 100 seconds.
49.58/49.87	c set interchangeable summation variable limit to 3
49.58/49.87	c find symmetric cores by applying each permutation and add them to optimizer
49.58/49.87	c set abs symmetric core budget per WCE-iteration to 100
49.58/49.87	c set rel symmetric core budget per WCE-iteration to 0
49.58/49.87	c set lit symmetric core budget per WCE-iteration to 0
49.58/49.87	c set sym generation to 's'
49.58/49.87	c set abstraction set creation to 10 iterations without LB change
49.58/49.87	c set abstraction set inputs to 0
49.58/49.87	c set abstraction set cluster min size to 2
49.58/49.87	c set abstraction set cluster max size to 100000000
49.58/49.87	c set abstraction set cluster activation limit to 2
49.58/49.87	c enable abstraction set require equal cost
49.58/49.87	c set abstraction set assumptions to 0
49.58/49.87	c set abstraction set constraint type to 0
49.58/49.87	c set abstract core extraction strategy to b
49.58/49.87	c set core extraction strategy to 2
49.58/49.87	c set core extraction shuffles 10
49.58/49.87	c set cores per iteration to 5
49.58/49.87	c set optimizer bound usage strategy to 2
49.58/49.87	c set optimizer max non-optimal iterations to 1000
49.58/49.87	c set small core cardinality limit to 2
49.58/49.87	c set max coef in cores to 1000000000
49.58/49.87	c set SIS iterations to 5
49.58/49.87	c set SIS budget abs to 1000
49.58/49.87	c set SIS budget rel to 0.05
49.58/49.87	c limit for coefficient in constraints and objective to 9223372036854775807
49.58/49.87	c will solve HOME/instance-4431274-1721148123.opb

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: 64096 MiB (53062 MiB free)
  memory of node 1: 64473 MiB (58316 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431274-1721148123/watcher-4431274-1721148123 -o /tmp/evaluation-result-4431274-1721148123/solver-4431274-1721148123 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721141874-859212 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4431274-1721148123.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=862710, runsolver pid=862707
Current StackSize limit: 8192 KiB


[startup+0.100637 s]*
/proc/loadavg: 4.20 4.27 4.19 5/251 862712
/proc/meminfo: memFree=114025216/131655788 swapFree=131071996/131071996
[pid=862710] ppid=862707 vsize=9928 memory=2828 CPUtime=0 cores=1,3
/proc/862710/stat : 862710 (run-glibc-2.34.) S 862707 862710 859200 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 166971383 10166272 707 134679101440 93890506592256 93890507671576 140729454602448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93890509770032 93890509817220 93890537414656 140729454609343 140729454609500 140729454609500 140729454616515 0
/proc/862710/statm: 2482 707 627 264 0 133 0
[pid=862712] ppid=862710 vsize=114276 memory=32520 CPUtime=0.09 cores=1,3
/proc/862712/stat : 862712 (ld-linux-x86-64) R 862710 862710 859200 0 -1 4194304 6148 0 0 0 8 1 0 0 20 0 1 0 166971383 117018624 8130 134679101440 139783584894976 139783585082588 140725770652752 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 139783587183488 139783587192936 93825014964224 140725770654551 140725770654715 140725770654715 140725770661810 0
/proc/862712/statm: 28569 8130 1641 46 0 9184 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 124204 KiB
Current children cumulated memory: 35348 KiB

[startup+0.206634 s]*
/proc/loadavg: 4.20 4.27 4.19 5/251 862712
/proc/meminfo: memFree=114009600/131655788 swapFree=131071996/131071996
[pid=862710] ppid=862707 vsize=9928 memory=2828 CPUtime=0 cores=1,3
/proc/862710/stat : 862710 (run-glibc-2.34.) S 862707 862710 859200 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 166971383 10166272 707 134679101440 93890506592256 93890507671576 140729454602448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93890509770032 93890509817220 93890537414656 140729454609343 140729454609500 140729454609500 140729454616515 0
/proc/862710/statm: 2482 707 627 264 0 133 0
[pid=862712] ppid=862710 vsize=134884 memory=47608 CPUtime=0.18 cores=1,3
/proc/862712/stat : 862712 (ld-linux-x86-64) R 862710 862710 859200 0 -1 4194304 7890 0 0 0 17 1 0 0 20 0 1 0 166971383 138121216 11902 134679101440 139783584894976 139783585082588 140725770652752 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 139783587183488 139783587192936 93825014964224 140725770654551 140725770654715 140725770654715 140725770661810 0
/proc/862712/statm: 33721 11902 1641 46 0 14336 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 144812 KiB
Current children cumulated memory: 50436 KiB

[startup+0.306632 s]*
/proc/loadavg: 4.20 4.27 4.19 5/251 862712
/proc/meminfo: memFree=113999732/131655788 swapFree=131071996/131071996
[pid=862710] ppid=862707 vsize=9928 memory=2828 CPUtime=0 cores=1,3
/proc/862710/stat : 862710 (run-glibc-2.34.) S 862707 862710 859200 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 166971383 10166272 707 134679101440 93890506592256 93890507671576 140729454602448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93890509770032 93890509817220 93890537414656 140729454609343 140729454609500 140729454609500 140729454616515 0
/proc/862710/statm: 2482 707 627 264 0 133 0
[pid=862712] ppid=862710 vsize=142576 memory=57416 CPUtime=0.28 cores=1,3
/proc/862712/stat : 862712 (ld-linux-x86-64) R 862710 862710 859200 0 -1 4194304 8826 0 0 0 26 2 0 0 20 0 1 0 166971383 145997824 14354 134679101440 139783584894976 139783585082588 140725770652752 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 139783587183488 139783587192936 93825014964224 140725770654551 140725770654715 140725770654715 140725770661810 0
/proc/862712/statm: 35644 14354 1641 46 0 16259 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 152504 KiB
Current children cumulated memory: 60244 KiB

[startup+0.700634 s]
/proc/loadavg: 4.20 4.27 4.19 5/251 862712
/proc/meminfo: memFree=113965952/131655788 swapFree=131071996/131071996
[pid=862710] ppid=862707 vsize=9928 memory=2828 CPUtime=0 cores=1,3
/proc/862710/stat : 862710 (run-glibc-2.34.) S 862707 862710 859200 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 166971383 10166272 707 134679101440 93890506592256 93890507671576 140729454602448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93890509770032 93890509817220 93890537414656 140729454609343 140729454609500 140729454609500 140729454616515 0
/proc/862710/statm: 2482 707 627 264 0 133 0
[pid=862712] ppid=862710 vsize=203068 memory=119128 CPUtime=0.65 cores=1,3
/proc/862712/stat : 862712 (ld-linux-x86-64) R 862710 862710 859200 0 -1 4194304 15071 0 0 0 61 4 0 0 20 0 1 0 166971383 207941632 29782 134679101440 139783584894976 139783585082588 140725770652752 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 139783587183488 139783587192936 93825014964224 140725770654551 140725770654715 140725770654715 140725770661810 0
/proc/862712/statm: 50767 29782 1641 46 0 31382 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 212996 KiB
Current children cumulated memory: 121956 KiB

[startup+1.50063 s]
/proc/loadavg: 4.20 4.27 4.19 5/251 862712
/proc/meminfo: memFree=113916752/131655788 swapFree=131071996/131071996
[pid=862710] ppid=862707 vsize=9928 memory=2828 CPUtime=0 cores=1,3
/proc/862710/stat : 862710 (run-glibc-2.34.) S 862707 862710 859200 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 166971383 10166272 707 134679101440 93890506592256 93890507671576 140729454602448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93890509770032 93890509817220 93890537414656 140729454609343 140729454609500 140729454609500 140729454616515 0
/proc/862710/statm: 2482 707 627 264 0 133 0
[pid=862712] ppid=862710 vsize=322540 memory=203932 CPUtime=1.44 cores=1,3
/proc/862712/stat : 862712 (ld-linux-x86-64) R 862710 862710 859200 0 -1 4194304 29073 0 0 0 137 7 0 0 20 0 1 0 166971383 330280960 50983 134679101440 139783584894976 139783585082588 140725770652752 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 139783587183488 139783587192936 93825014964224 140725770654551 140725770654715 140725770654715 140725770661810 0
/proc/862712/statm: 80635 50983 1641 46 0 61250 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 332468 KiB
Current children cumulated memory: 206760 KiB

[startup+3.10565 s]
/proc/loadavg: 4.20 4.27 4.19 5/251 862713
/proc/meminfo: memFree=113667672/131655788 swapFree=131071996/131071996
[pid=862710] ppid=862707 vsize=9928 memory=2828 CPUtime=0 cores=1,3
/proc/862710/stat : 862710 (run-glibc-2.34.) S 862707 862710 859200 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 166971383 10166272 707 134679101440 93890506592256 93890507671576 140729454602448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93890509770032 93890509817220 93890537414656 140729454609343 140729454609500 140729454609500 140729454616515 0
/proc/862710/statm: 2482 707 627 264 0 133 0
[pid=862712] ppid=862710 vsize=494728 memory=396132 CPUtime=3.04 cores=1,3
/proc/862712/stat : 862712 (ld-linux-x86-64) R 862710 862710 859200 0 -1 4194304 51639 0 0 0 290 14 0 0 20 0 1 0 166971383 506601472 99033 134679101440 139783584894976 139783585082588 140725770652752 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 139783587183488 139783587192936 93825014964224 140725770654551 140725770654715 140725770654715 140725770661810 0
/proc/862712/statm: 123682 99033 1641 46 0 104297 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 504656 KiB
Current children cumulated memory: 398960 KiB

[startup+6.30063 s]
/proc/loadavg: 4.19 4.26 4.19 5/251 862713
/proc/meminfo: memFree=113434056/131655788 swapFree=131071996/131071996
[pid=862710] ppid=862707 vsize=9928 memory=2828 CPUtime=0 cores=1,3
/proc/862710/stat : 862710 (run-glibc-2.34.) S 862707 862710 859200 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 166971383 10166272 707 134679101440 93890506592256 93890507671576 140729454602448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93890509770032 93890509817220 93890537414656 140729454609343 140729454609500 140729454609500 140729454616515 0
/proc/862710/statm: 2482 707 627 264 0 133 0
[pid=862712] ppid=862710 vsize=736748 memory=642272 CPUtime=6.2 cores=1,3
/proc/862712/stat : 862712 (ld-linux-x86-64) R 862710 862710 859200 0 -1 4194304 96379 0 0 0 595 25 0 0 20 0 1 0 166971383 754429952 160568 134679101440 139783584894976 139783585082588 140725770652752 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 139783587183488 139783587192936 93825014964224 140725770654551 140725770654715 140725770654715 140725770661810 0
/proc/862712/statm: 184187 160568 1641 46 0 164802 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 746676 KiB
Current children cumulated memory: 645100 KiB

[startup+12.7003 s]
/proc/loadavg: 4.17 4.26 4.19 5/251 862714
/proc/meminfo: memFree=112561316/131655788 swapFree=131071996/131071996
[pid=862710] ppid=862707 vsize=9928 memory=2828 CPUtime=0 cores=1,3
/proc/862710/stat : 862710 (run-glibc-2.34.) S 862707 862710 859200 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 166971383 10166272 707 134679101440 93890506592256 93890507671576 140729454602448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93890509770032 93890509817220 93890537414656 140729454609343 140729454609500 140729454609500 140729454616515 0
/proc/862710/statm: 2482 707 627 264 0 133 0
[pid=862712] ppid=862710 vsize=1800376 memory=1510512 CPUtime=12.55 cores=1,3
/proc/862712/stat : 862712 (ld-linux-x86-64) R 862710 862710 859200 0 -1 4194304 167567 0 0 0 1021 234 0 0 20 0 1 0 166971383 1843585024 377628 134679101440 139783584894976 139783585082588 140725770652752 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 139783587183488 139783587192936 93825014964224 140725770654551 140725770654715 140725770654715 140725770661810 0
/proc/862712/statm: 450094 377628 1721 46 0 430709 0
Current children cumulated CPU time: 12.55 s
Current children cumulated vsize: 1810304 KiB
Current children cumulated memory: 1513340 KiB

[startup+25.5005 s]
/proc/loadavg: 4.15 4.25 4.18 5/252 862718
/proc/meminfo: memFree=109750676/131655788 swapFree=131071996/131071996
[pid=862710] ppid=862707 vsize=9928 memory=2828 CPUtime=0 cores=1,3
/proc/862710/stat : 862710 (run-glibc-2.34.) S 862707 862710 859200 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 166971383 10166272 707 134679101440 93890506592256 93890507671576 140729454602448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93890509770032 93890509817220 93890537414656 140729454609343 140729454609500 140729454609500 140729454616515 0
/proc/862710/statm: 2482 707 627 264 0 133 0
[pid=862712] ppid=862710 vsize=4920220 memory=4396504 CPUtime=25.32 cores=1,3
/proc/862712/stat : 862712 (ld-linux-x86-64) R 862710 862710 859200 0 -1 4194304 696043 0 0 0 2004 528 0 0 20 0 2 0 166971383 5038305280 1099126 134679101440 139783584894976 139783585082588 140725770652752 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 139783587183488 139783587192936 93825014964224 140725770654551 140725770654715 140725770654715 140725770661810 0
/proc/862712/statm: 1230055 1099126 2682 46 0 1202650 0
[pid=862712/tid=862717] ppid=862710 vsize=4920220 memory=2828 CPUtime=0 cores=1,3
/proc/862712/task/862717/stat : 862717 (ld-linux-x86-64) S 862710 862710 859200 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 2 0 166973189 5038305280 1099126 134679101440 139783584894976 139783585082588 140725770652752 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 139783587183488 139783587192936 93825014964224 140725770654551 140725770654715 140725770654715 140725770661810 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 4930148 KiB
Current children cumulated memory: 4399332 KiB

[startup+51.1131 s]
/proc/loadavg: 4.14 4.24 4.18 5/252 862721
/proc/meminfo: memFree=108248272/131655788 swapFree=131071996/131071996
[pid=862710] ppid=862707 vsize=9928 memory=2828 CPUtime=0 cores=1,3
/proc/862710/stat : 862710 (run-glibc-2.34.) S 862707 862710 859200 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 166971383 10166272 707 134679101440 93890506592256 93890507671576 140729454602448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93890509770032 93890509817220 93890537414656 140729454609343 140729454609500 140729454609500 140729454616515 0
/proc/862710/statm: 2482 707 627 264 0 133 0
[pid=862712] ppid=862710 vsize=6809156 memory=5779792 CPUtime=50.89 cores=1,3
/proc/862712/stat : 862712 (ld-linux-x86-64) R 862710 862710 859200 0 -1 4194304 1244655 0 0 0 4480 609 0 0 20 0 2 0 166971383 6972575744 1444948 134679101440 139783584894976 139783585082588 140725770652752 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 139783587183488 139783587192936 93825014964224 140725770654551 140725770654715 140725770654715 140725770661810 0
/proc/862712/statm: 1702289 1444948 2698 46 0 1674884 0
[pid=862712/tid=862717] ppid=862710 vsize=6809156 memory=2828 CPUtime=0.04 cores=1,3
/proc/862712/task/862717/stat : 862717 (ld-linux-x86-64) S 862710 862710 859200 0 -1 1077936192 2 0 0 0 1 3 0 0 20 0 2 0 166973189 6972575744 1444948 134679101440 139783584894976 139783585082588 140725770652752 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 139783587183488 139783587192936 93825014964224 140725770654551 140725770654715 140725770654715 140725770661810 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 6819084 KiB
Current children cumulated memory: 5782620 KiB

[startup+102.301 s]
/proc/loadavg: 4.11 4.22 4.18 5/252 862730
/proc/meminfo: memFree=108047860/131655788 swapFree=131071996/131071996
[pid=862710] ppid=862707 vsize=9928 memory=2828 CPUtime=0 cores=1,3
/proc/862710/stat : 862710 (run-glibc-2.34.) S 862707 862710 859200 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 166971383 10166272 707 134679101440 93890506592256 93890507671576 140729454602448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93890509770032 93890509817220 93890537414656 140729454609343 140729454609500 140729454609500 140729454616515 0
/proc/862710/statm: 2482 707 627 264 0 133 0
[pid=862712] ppid=862710 vsize=6809156 memory=5961680 CPUtime=102.05 cores=1,3
/proc/862712/stat : 862712 (ld-linux-x86-64) R 862710 862710 859200 0 -1 4194304 1302505 0 0 0 9578 627 0 0 20 0 2 0 166971383 6972575744 1490420 134679101440 139783584894976 139783585082588 140725770652752 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 139783587183488 139783587192936 93825014964224 140725770654551 140725770654715 140725770654715 140725770661810 0
/proc/862712/statm: 1702289 1490420 2698 46 0 1674884 0
[pid=862712/tid=862717] ppid=862710 vsize=6809156 memory=2828 CPUtime=0.12 cores=1,3
/proc/862712/task/862717/stat : 862717 (ld-linux-x86-64) S 862710 862710 859200 0 -1 1077936192 6 0 0 0 2 10 0 0 20 0 2 0 166973189 6972575744 1490420 134679101440 139783584894976 139783585082588 140725770652752 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 139783587183488 139783587192936 93825014964224 140725770654551 140725770654715 140725770654715 140725770661810 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 6819084 KiB
Current children cumulated memory: 5964508 KiB

[startup+162.3 s]
/proc/loadavg: 5.29 4.52 4.28 5/252 862741
/proc/meminfo: memFree=108518168/131655788 swapFree=131071996/131071996
[pid=862710] ppid=862707 vsize=9928 memory=2828 CPUtime=0 cores=1,3
/proc/862710/stat : 862710 (run-glibc-2.34.) S 862707 862710 859200 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 166971383 10166272 707 134679101440 93890506592256 93890507671576 140729454602448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93890509770032 93890509817220 93890537414656 140729454609343 140729454609500 140729454609500 140729454616515 0
/proc/862710/statm: 2482 707 627 264 0 133 0
[pid=862712] ppid=862710 vsize=5947708 memory=5475672 CPUtime=162 cores=1,3
/proc/862712/stat : 862712 (ld-linux-x86-64) R 862710 862710 859200 0 -1 4194304 2510223 0 0 0 15103 1097 0 0 20 0 2 0 166971383 6090452992 1368918 134679101440 139783584894976 139783585082588 140725770652752 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 139783587183488 139783587192936 93825014964224 140725770654551 140725770654715 140725770654715 140725770661810 0
/proc/862712/statm: 1486927 1368918 2714 46 0 1459522 0
[pid=862712/tid=862717] ppid=862710 vsize=5947708 memory=2828 CPUtime=0.21 cores=1,3
/proc/862712/task/862717/stat : 862717 (ld-linux-x86-64) S 862710 862710 859200 0 -1 1077936192 11 0 0 0 5 16 0 0 20 0 2 0 166973189 6090452992 1368918 134679101440 139783584894976 139783585082588 140725770652752 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 139783587183488 139783587192936 93825014964224 140725770654551 140725770654715 140725770654715 140725770661810 0
Current children cumulated CPU time: 162 s
Current children cumulated vsize: 5957636 KiB
Current children cumulated memory: 5478500 KiB

[startup+222.3 s]
/proc/loadavg: 4.71 4.51 4.29 5/250 862753

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

[startup+3162.3 s]
/proc/loadavg: 4.15 4.17 4.18 5/252 864603
/proc/meminfo: memFree=99465860/131655788 swapFree=131071996/131071996
[pid=862710] ppid=862707 vsize=9928 memory=2828 CPUtime=0 cores=1,3
/proc/862710/stat : 862710 (run-glibc-2.34.) S 862707 862710 859200 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 166971383 10166272 707 134679101440 93890506592256 93890507671576 140729454602448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93890509770032 93890509817220 93890537414656 140729454609343 140729454609500 140729454609500 140729454616515 0
/proc/862710/statm: 2482 707 627 264 0 133 0
[pid=862712] ppid=862710 vsize=7613100 memory=7078284 CPUtime=3159.47 cores=1,3
/proc/862712/stat : 862712 (ld-linux-x86-64) R 862710 862710 859200 0 -1 4194304 3910317 0 0 0 313856 2091 0 0 20 0 2 0 166971383 7795814400 1769571 134679101440 139783584894976 139783585082588 140725770652752 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 139783587183488 139783587192936 93825014964224 140725770654551 140725770654715 140725770654715 140725770661810 0
/proc/862712/statm: 1903275 1769571 3783 46 0 1875870 0
[pid=862712/tid=862717] ppid=862710 vsize=7613100 memory=2828 CPUtime=3.54 cores=1,3
/proc/862712/task/862717/stat : 862717 (ld-linux-x86-64) S 862710 862710 859200 0 -1 1077936192 725 0 0 0 99 255 0 0 20 0 2 0 166973189 7795814400 1769571 134679101440 139783584894976 139783585082588 140725770652752 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 139783587183488 139783587192936 93825014964224 140725770654551 140725770654715 140725770654715 140725770661810 0
Current children cumulated CPU time: 3159.47 s
Current children cumulated vsize: 7623028 KiB
Current children cumulated memory: 7081112 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.17 4.18 5/250 864615
/proc/meminfo: memFree=99457360/131655788 swapFree=131071996/131071996
[pid=862710] ppid=862707 vsize=9928 memory=2828 CPUtime=0 cores=1,3
/proc/862710/stat : 862710 (run-glibc-2.34.) S 862707 862710 859200 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 166971383 10166272 707 134679101440 93890506592256 93890507671576 140729454602448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93890509770032 93890509817220 93890537414656 140729454609343 140729454609500 140729454609500 140729454616515 0
/proc/862710/statm: 2482 707 627 264 0 133 0
[pid=862712] ppid=862710 vsize=7613100 memory=7078284 CPUtime=3219.42 cores=1,3
/proc/862712/stat : 862712 (ld-linux-x86-64) R 862710 862710 859200 0 -1 4194304 3949217 0 0 0 319823 2119 0 0 20 0 2 0 166971383 7795814400 1769571 134679101440 139783584894976 139783585082588 140725770652752 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 139783587183488 139783587192936 93825014964224 140725770654551 140725770654715 140725770654715 140725770661810 0
/proc/862712/statm: 1903275 1769571 3783 46 0 1875870 0
[pid=862712/tid=862717] ppid=862710 vsize=7613100 memory=2828 CPUtime=3.6 cores=1,3
/proc/862712/task/862717/stat : 862717 (ld-linux-x86-64) S 862710 862710 859200 0 -1 1077936192 735 0 0 0 100 260 0 0 20 0 2 0 166973189 7795814400 1769571 134679101440 139783584894976 139783585082588 140725770652752 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 139783587183488 139783587192936 93825014964224 140725770654551 140725770654715 140725770654715 140725770661810 0
Current children cumulated CPU time: 3219.42 s
Current children cumulated vsize: 7623028 KiB
Current children cumulated memory: 7081112 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.15 4.17 5/250 864625
/proc/meminfo: memFree=99446804/131655788 swapFree=131071996/131071996
[pid=862710] ppid=862707 vsize=9928 memory=2828 CPUtime=0 cores=1,3
/proc/862710/stat : 862710 (run-glibc-2.34.) S 862707 862710 859200 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 166971383 10166272 707 134679101440 93890506592256 93890507671576 140729454602448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93890509770032 93890509817220 93890537414656 140729454609343 140729454609500 140729454609500 140729454616515 0
/proc/862710/statm: 2482 707 627 264 0 133 0
[pid=862712] ppid=862710 vsize=7613100 memory=7078284 CPUtime=3279.37 cores=1,3
/proc/862712/stat : 862712 (ld-linux-x86-64) R 862710 862710 859200 0 -1 4194304 3950322 0 0 0 325813 2124 0 0 20 0 2 0 166971383 7795814400 1769571 134679101440 139783584894976 139783585082588 140725770652752 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 139783587183488 139783587192936 93825014964224 140725770654551 140725770654715 140725770654715 140725770661810 0
/proc/862712/statm: 1903275 1769571 3783 46 0 1875870 0
[pid=862712/tid=862717] ppid=862710 vsize=7613100 memory=2828 CPUtime=3.65 cores=1,3
/proc/862712/task/862717/stat : 862717 (ld-linux-x86-64) S 862710 862710 859200 0 -1 1077936192 754 0 0 0 101 264 0 0 20 0 2 0 166973189 7795814400 1769571 134679101440 139783584894976 139783585082588 140725770652752 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 139783587183488 139783587192936 93825014964224 140725770654551 140725770654715 140725770654715 140725770661810 0
Current children cumulated CPU time: 3279.37 s
Current children cumulated vsize: 7623028 KiB
Current children cumulated memory: 7081112 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.13 4.17 5/250 864635
/proc/meminfo: memFree=99436152/131655788 swapFree=131071996/131071996
[pid=862710] ppid=862707 vsize=9928 memory=2828 CPUtime=0 cores=1,3
/proc/862710/stat : 862710 (run-glibc-2.34.) S 862707 862710 859200 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 166971383 10166272 707 134679101440 93890506592256 93890507671576 140729454602448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93890509770032 93890509817220 93890537414656 140729454609343 140729454609500 140729454609500 140729454616515 0
/proc/862710/statm: 2482 707 627 264 0 133 0
[pid=862712] ppid=862710 vsize=7613100 memory=7078284 CPUtime=3339.33 cores=1,3
/proc/862712/stat : 862712 (ld-linux-x86-64) R 862710 862710 859200 0 -1 4194304 3951561 0 0 0 331804 2129 0 0 20 0 2 0 166971383 7795814400 1769571 134679101440 139783584894976 139783585082588 140725770652752 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 139783587183488 139783587192936 93825014964224 140725770654551 140725770654715 140725770654715 140725770661810 0
/proc/862712/statm: 1903275 1769571 3783 46 0 1875870 0
[pid=862712/tid=862717] ppid=862710 vsize=7613100 memory=21904 CPUtime=3.72 cores=1,3
/proc/862712/task/862717/stat : 862717 (ld-linux-x86-64) S 862710 862710 859200 0 -1 1077936192 774 0 0 0 103 269 0 0 20 0 2 0 166973189 7795814400 1769571 134679101440 139783584894976 139783585082588 140725770652752 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 139783587183488 139783587192936 93825014964224 140725770654551 140725770654715 140725770654715 140725770661810 0
Current children cumulated CPU time: 3339.33 s
Current children cumulated vsize: 7623028 KiB
Current children cumulated memory: 7081112 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.17 5/249 864645
/proc/meminfo: memFree=99427632/131655788 swapFree=131071996/131071996
[pid=862710] ppid=862707 vsize=9928 memory=2828 CPUtime=0 cores=1,3
/proc/862710/stat : 862710 (run-glibc-2.34.) S 862707 862710 859200 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 166971383 10166272 707 134679101440 93890506592256 93890507671576 140729454602448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93890509770032 93890509817220 93890537414656 140729454609343 140729454609500 140729454609500 140729454616515 0
/proc/862710/statm: 2482 707 627 264 0 133 0
[pid=862712] ppid=862710 vsize=7613100 memory=7078284 CPUtime=3399.29 cores=1,3
/proc/862712/stat : 862712 (ld-linux-x86-64) R 862710 862710 859200 0 -1 4194304 3991069 0 0 0 337774 2155 0 0 20 0 2 0 166971383 7795814400 1769571 134679101440 139783584894976 139783585082588 140725770652752 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 139783587183488 139783587192936 93825014964224 140725770654551 140725770654715 140725770654715 140725770661810 0
/proc/862712/statm: 1903275 1769571 3783 46 0 1875870 0
[pid=862712/tid=862717] ppid=862710 vsize=7613100 memory=2828 CPUtime=3.77 cores=1,3
/proc/862712/task/862717/stat : 862717 (ld-linux-x86-64) S 862710 862710 859200 0 -1 1077936192 787 0 0 0 104 273 0 0 20 0 2 0 166973189 7795814400 1769571 134679101440 139783584894976 139783585082588 140725770652752 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 139783587183488 139783587192936 93825014964224 140725770654551 140725770654715 140725770654715 140725770661810 0
Current children cumulated CPU time: 3399.29 s
Current children cumulated vsize: 7623028 KiB
Current children cumulated memory: 7081112 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.14 4.17 5/249 864656
/proc/meminfo: memFree=99419244/131655788 swapFree=131071996/131071996
[pid=862710] ppid=862707 vsize=9928 memory=2828 CPUtime=0 cores=1,3
/proc/862710/stat : 862710 (run-glibc-2.34.) S 862707 862710 859200 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 166971383 10166272 707 134679101440 93890506592256 93890507671576 140729454602448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93890509770032 93890509817220 93890537414656 140729454609343 140729454609500 140729454609500 140729454616515 0
/proc/862710/statm: 2482 707 627 264 0 133 0
[pid=862712] ppid=862710 vsize=7613100 memory=7078284 CPUtime=3459.24 cores=1,3
/proc/862712/stat : 862712 (ld-linux-x86-64) R 862710 862710 859200 0 -1 4194304 3991119 0 0 0 343764 2160 0 0 20 0 2 0 166971383 7795814400 1769571 134679101440 139783584894976 139783585082588 140725770652752 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 139783587183488 139783587192936 93825014964224 140725770654551 140725770654715 140725770654715 140725770661810 0
/proc/862712/statm: 1903275 1769571 3783 46 0 1875870 0
[pid=862712/tid=862717] ppid=862710 vsize=7613100 memory=2828 CPUtime=3.83 cores=1,3
/proc/862712/task/862717/stat : 862717 (ld-linux-x86-64) S 862710 862710 859200 0 -1 1077936192 798 0 0 0 106 277 0 0 20 0 2 0 166973189 7795814400 1769571 134679101440 139783584894976 139783585082588 140725770652752 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 139783587183488 139783587192936 93825014964224 140725770654551 140725770654715 140725770654715 140725770661810 0
Current children cumulated CPU time: 3459.24 s
Current children cumulated vsize: 7623028 KiB
Current children cumulated memory: 7081112 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.14 4.17 5/251 864670
/proc/meminfo: memFree=99408632/131655788 swapFree=131071996/131071996
[pid=862710] ppid=862707 vsize=9928 memory=2828 CPUtime=0 cores=1,3
/proc/862710/stat : 862710 (run-glibc-2.34.) S 862707 862710 859200 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 166971383 10166272 707 134679101440 93890506592256 93890507671576 140729454602448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93890509770032 93890509817220 93890537414656 140729454609343 140729454609500 140729454609500 140729454616515 0
/proc/862710/statm: 2482 707 627 264 0 133 0
[pid=862712] ppid=862710 vsize=7613100 memory=7078284 CPUtime=3519.19 cores=1,3
/proc/862712/stat : 862712 (ld-linux-x86-64) R 862710 862710 859200 0 -1 4194304 3992575 0 0 0 349753 2166 0 0 20 0 2 0 166971383 7795814400 1769571 134679101440 139783584894976 139783585082588 140725770652752 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 139783587183488 139783587192936 93825014964224 140725770654551 140725770654715 140725770654715 140725770661810 0
/proc/862712/statm: 1903275 1769571 3783 46 0 1875870 0
[pid=862712/tid=862717] ppid=862710 vsize=7613100 memory=7078284 CPUtime=3.89 cores=1,3
/proc/862712/task/862717/stat : 862717 (ld-linux-x86-64) S 862710 862710 859200 0 -1 1077936192 818 0 0 0 107 282 0 0 20 0 2 0 166973189 7795814400 1769571 134679101440 139783584894976 139783585082588 140725770652752 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 139783587183488 139783587192936 93825014964224 140725770654551 140725770654715 140725770654715 140725770661810 0
Current children cumulated CPU time: 3519.19 s
Current children cumulated vsize: 7623028 KiB
Current children cumulated memory: 7081112 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.15 4.17 5/251 864680
/proc/meminfo: memFree=99400140/131655788 swapFree=131071996/131071996
[pid=862710] ppid=862707 vsize=9928 memory=2828 CPUtime=0 cores=1,3
/proc/862710/stat : 862710 (run-glibc-2.34.) S 862707 862710 859200 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 166971383 10166272 707 134679101440 93890506592256 93890507671576 140729454602448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93890509770032 93890509817220 93890537414656 140729454609343 140729454609500 140729454609500 140729454616515 0
/proc/862710/statm: 2482 707 627 264 0 133 0
[pid=862712] ppid=862710 vsize=7613100 memory=7078284 CPUtime=3579.14 cores=1,3
/proc/862712/stat : 862712 (ld-linux-x86-64) R 862710 862710 859200 0 -1 4194304 4032326 0 0 0 355720 2194 0 0 20 0 2 0 166971383 7795814400 1769571 134679101440 139783584894976 139783585082588 140725770652752 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 139783587183488 139783587192936 93825014964224 140725770654551 140725770654715 140725770654715 140725770661810 0
/proc/862712/statm: 1903275 1769571 3783 46 0 1875870 0
[pid=862712/tid=862717] ppid=862710 vsize=7613100 memory=42908 CPUtime=3.95 cores=1,3
/proc/862712/task/862717/stat : 862717 (ld-linux-x86-64) S 862710 862710 859200 0 -1 1077936192 838 0 0 0 109 286 0 0 20 0 2 0 166973189 7795814400 1769571 134679101440 139783584894976 139783585082588 140725770652752 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 139783587183488 139783587192936 93825014964224 140725770654551 140725770654715 140725770654715 140725770661810 0
Current children cumulated CPU time: 3579.14 s
Current children cumulated vsize: 7623028 KiB
Current children cumulated memory: 7081112 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3603.2 s]
/proc/loadavg: 4.12 4.14 4.16 5/251 864685
/proc/meminfo: memFree=99397812/131655788 swapFree=131071996/131071996
[pid=862710] ppid=862707 vsize=9928 memory=2828 CPUtime=0 cores=1,3
/proc/862710/stat : 862710 (run-glibc-2.34.) S 862707 862710 859200 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 166971383 10166272 707 134679101440 93890506592256 93890507671576 140729454602448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93890509770032 93890509817220 93890537414656 140729454609343 140729454609500 140729454609500 140729454616515 0
/proc/862710/statm: 2482 707 627 264 0 133 0
[pid=862712] ppid=862710 vsize=7613100 memory=7078284 CPUtime=3600.03 cores=1,3
/proc/862712/stat : 862712 (ld-linux-x86-64) R 862710 862710 859200 0 -1 4194304 4032327 0 0 0 357808 2195 0 0 20 0 2 0 166971383 7795814400 1769571 134679101440 139783584894976 139783585082588 140725770652752 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 139783587183488 139783587192936 93825014964224 140725770654551 140725770654715 140725770654715 140725770661810 0
/proc/862712/statm: 1903275 1769571 3783 46 0 1875870 0
[pid=862712/tid=862717] ppid=862710 vsize=7613100 memory=42908 CPUtime=3.97 cores=1,3
/proc/862712/task/862717/stat : 862717 (ld-linux-x86-64) S 862710 862710 859200 0 -1 1077936192 839 0 0 0 110 287 0 0 20 0 2 0 166973189 7795814400 1769571 134679101440 139783584894976 139783585082588 140725770652752 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 139783587183488 139783587192936 93825014964224 140725770654551 140725770654715 140725770654715 140725770661810 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 7623028 KiB
Current children cumulated memory: 7081112 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.002856 s, system=0.001226 s

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

# cumulated CPU time of all completed processes:  user=3578.09 s, system=21.9888 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

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3603.24
CPU time (s): 3600.08
CPU user time (s): 3578.09
CPU system time (s): 21.9888
CPU usage (%): 99.9122
Max. virtual memory (cumulated for all children) (KiB): 9823492
Max. memory (cumulated for all children) (KiB): 7872820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.09
system time used= 21.9888
maximum resident set size= 7874616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4032531
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= 353763
involuntary context switches= 1314


# summary of solver processes directly reported to runsolver:
#   pid: 862710,862712
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3578.09
#   total CPU system time (s): 21.9888

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6874 second user time and 35.1094 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-16 18:42:18
IDJOB=4431274
IDBENCH=155748
IDSOLVER=3055
FILE ID=nodeC005/4431274-1721148123
RUNJOBID= nodeC005-1721141874-859212
SLURM_JOB_ID= 7505727
Free space on /tmp= 723152 MiB

SOLVER NAME= IPBHS-GUROBI-SYM 2024-07-09
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_3_mh.opb
COMMAND LINE= run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431274-1721148123/watcher-4431274-1721148123 -o /tmp/evaluation-result-4431274-1721148123/solver-4431274-1721148123 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721141874-859212 --watchdog 3760  run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4431274-1721148123.opb

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

MD5SUM BENCH= 4f3174f37d2a17c7e83bc7c52ff48d45
RANDOM SEED=147596963

nodeC005.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		: 3491.766
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.53
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		: 1197.340
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.35
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.304
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.53
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		: 3492.720
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.35
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		: 3491.765
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.53
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		: 3491.766
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.35
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.357
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.53
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		: 1197.181
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.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        114052392 kB
MemAvailable:   119697476 kB
Buffers:          404564 kB
Cached:          6012192 kB
SwapCached:            0 kB
Active:          1073288 kB
Inactive:       15821712 kB
Active(anon):       3464 kB
Inactive(anon): 10512512 kB
Active(file):    1069824 kB
Inactive(file):  5309200 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            263820 kB
Writeback:             0 kB
AnonPages:      10477288 kB
Mapped:           122736 kB
Shmem:             37704 kB
KReclaimable:     212520 kB
Slab:             326896 kB
SReclaimable:     212520 kB
SUnreclaim:       114376 kB
KernelStack:        4016 kB
PageTables:        30400 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   11606988 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            53728 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2856960 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:      285512 kB
DirectMap2M:    36319232 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 722872 MiB
End job on nodeC005 at 2024-07-16 19:42:21