Trace number 4431720

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.05 3606.52

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_clique-50.lin.opb
MD5SUM11852bf7a05815ba1c78428ce5d4534c
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 benchmark2312
Best CPU time to get the best result obtained on this benchmark2994.21
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3825
Total number of constraints7400
Number of constraints which are clauses3675
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints3675
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 3675
Biggest coefficient in the objective function 49
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 62475
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 49
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 62475
Number of bits of the biggest sum of numbers16
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 (62944 MiB free)
  memory of node 1: 64510 MiB (63263 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431720-1721170512/watcher-4431720-1721170512 -o /tmp/evaluation-result-4431720-1721170512/solver-4431720-1721170512 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721170492-868160 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4431720-1721170512.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=868385, runsolver pid=868382

[startup+0.10321 s]*
/proc/loadavg: 2.33 1.40 1.19 5/259 868388
/proc/meminfo: memFree=129223852/131655788 swapFree=131071996/131071996
[pid=868385] ppid=868382 vsize=9928 memory=2768 CPUtime=0 cores=0,2
/proc/868385/stat : 868385 (run-glibc-2.34.) S 868382 868385 868150 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169207612 10166272 692 134679101440 94842931286016 94842932365336 140734091370752 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94842934463792 94842934510980 94842935357440 140734091379659 140734091379804 140734091379804 140734091386819 0
/proc/868385/statm: 2482 692 611 264 0 133 0
[pid=868387] ppid=868385 vsize=138988 memory=24304 CPUtime=0.08 cores=0,2
/proc/868387/stat : 868387 (ld-linux-x86-64) R 868385 868385 868150 0 -1 4194304 2582 0 0 0 6 2 0 0 20 0 2 0 169207612 142323712 6076 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
/proc/868387/statm: 34747 6076 2997 46 0 7342 0
[pid=868387/tid=868388] ppid=868385 vsize=138988 memory=4026561614 CPUtime=0 cores=0,2
/proc/868387/task/868388/stat : 868388 (ld-linux-x86-64) S 868385 868385 868150 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 169207620 142323712 6076 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 1 0 0 -1 0 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 148916 KiB
Current children cumulated memory: 27072 KiB

[startup+0.215182 s]*
/proc/loadavg: 2.33 1.40 1.19 5/259 868388
/proc/meminfo: memFree=129222520/131655788 swapFree=131071996/131071996
[pid=868385] ppid=868382 vsize=9928 memory=2768 CPUtime=0 cores=0,2
/proc/868385/stat : 868385 (run-glibc-2.34.) S 868382 868385 868150 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169207612 10166272 692 134679101440 94842931286016 94842932365336 140734091370752 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94842934463792 94842934510980 94842935357440 140734091379659 140734091379804 140734091379804 140734091386819 0
/proc/868385/statm: 2482 692 611 264 0 133 0
[pid=868387] ppid=868385 vsize=140152 memory=26456 CPUtime=0.18 cores=0,2
/proc/868387/stat : 868387 (ld-linux-x86-64) R 868385 868385 868150 0 -1 4194304 2970 0 0 0 11 7 0 0 20 0 2 0 169207612 143515648 6614 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
/proc/868387/statm: 35038 6614 3233 46 0 7633 0
[pid=868387/tid=868388] ppid=868385 vsize=140152 memory=3471202400344241230 CPUtime=0 cores=0,2
/proc/868387/task/868388/stat : 868388 (ld-linux-x86-64) S 868385 868385 868150 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 169207620 143515648 6614 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 1 0 0 -1 0 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 150080 KiB
Current children cumulated memory: 29224 KiB

[startup+0.311181 s]*
/proc/loadavg: 2.33 1.40 1.19 5/259 868389
/proc/meminfo: memFree=129222464/131655788 swapFree=131071996/131071996
[pid=868385] ppid=868382 vsize=9928 memory=2768 CPUtime=0 cores=0,2
/proc/868385/stat : 868385 (run-glibc-2.34.) S 868382 868385 868150 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169207612 10166272 692 134679101440 94842931286016 94842932365336 140734091370752 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94842934463792 94842934510980 94842935357440 140734091379659 140734091379804 140734091379804 140734091386819 0
/proc/868385/statm: 2482 692 611 264 0 133 0
[pid=868387] ppid=868385 vsize=140152 memory=26456 CPUtime=0.28 cores=0,2
/proc/868387/stat : 868387 (ld-linux-x86-64) R 868385 868385 868150 0 -1 4194304 2971 0 0 0 18 10 0 0 20 0 2 0 169207612 143515648 6614 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
/proc/868387/statm: 35038 6614 3233 46 0 7633 0
[pid=868387/tid=868388] ppid=868385 vsize=140152 memory=-8968847811325092705 CPUtime=0 cores=0,2
/proc/868387/task/868388/stat : 868388 (ld-linux-x86-64) R 868385 868385 868150 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 169207620 143515648 6614 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 150080 KiB
Current children cumulated memory: 29224 KiB

[startup+0.700326 s]
/proc/loadavg: 2.33 1.40 1.19 5/259 868389
/proc/meminfo: memFree=129220840/131655788 swapFree=131071996/131071996
[pid=868385] ppid=868382 vsize=9928 memory=2768 CPUtime=0 cores=0,2
/proc/868385/stat : 868385 (run-glibc-2.34.) S 868382 868385 868150 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169207612 10166272 692 134679101440 94842931286016 94842932365336 140734091370752 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94842934463792 94842934510980 94842935357440 140734091379659 140734091379804 140734091379804 140734091386819 0
/proc/868385/statm: 2482 692 611 264 0 133 0
[pid=868387] ppid=868385 vsize=140152 memory=26456 CPUtime=0.65 cores=0,2
/proc/868387/stat : 868387 (ld-linux-x86-64) R 868385 868385 868150 0 -1 4194304 2972 0 0 0 40 25 0 0 20 0 2 0 169207612 143515648 6614 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
/proc/868387/statm: 35038 6614 3233 46 0 7633 0
[pid=868387/tid=868388] ppid=868385 vsize=140152 memory=25208 CPUtime=0 cores=0,2
/proc/868387/task/868388/stat : 868388 (ld-linux-x86-64) S 868385 868385 868150 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 169207620 143515648 6614 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 150080 KiB
Current children cumulated memory: 29224 KiB

[startup+1.5004 s]
/proc/loadavg: 2.33 1.40 1.19 5/259 868389
/proc/meminfo: memFree=129220444/131655788 swapFree=131071996/131071996
[pid=868385] ppid=868382 vsize=9928 memory=2768 CPUtime=0 cores=0,2
/proc/868385/stat : 868385 (run-glibc-2.34.) S 868382 868385 868150 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169207612 10166272 692 134679101440 94842931286016 94842932365336 140734091370752 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94842934463792 94842934510980 94842935357440 140734091379659 140734091379804 140734091379804 140734091386819 0
/proc/868385/statm: 2482 692 611 264 0 133 0
[pid=868387] ppid=868385 vsize=140152 memory=26456 CPUtime=1.46 cores=0,2
/proc/868387/stat : 868387 (ld-linux-x86-64) R 868385 868385 868150 0 -1 4194304 2987 0 0 0 90 56 0 0 20 0 2 0 169207612 143515648 6614 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
/proc/868387/statm: 35038 6614 3233 46 0 7633 0
[pid=868387/tid=868388] ppid=868385 vsize=140152 memory=11600 CPUtime=0 cores=0,2
/proc/868387/task/868388/stat : 868388 (ld-linux-x86-64) S 868385 868385 868150 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 169207620 143515648 6614 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 150080 KiB
Current children cumulated memory: 29224 KiB

[startup+3.11332 s]
/proc/loadavg: 2.54 1.46 1.21 5/259 868389
/proc/meminfo: memFree=129215912/131655788 swapFree=131071996/131071996
[pid=868385] ppid=868382 vsize=9928 memory=2768 CPUtime=0 cores=0,2
/proc/868385/stat : 868385 (run-glibc-2.34.) S 868382 868385 868150 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169207612 10166272 692 134679101440 94842931286016 94842932365336 140734091370752 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94842934463792 94842934510980 94842935357440 140734091379659 140734091379804 140734091379804 140734091386819 0
/proc/868385/statm: 2482 692 611 264 0 133 0
[pid=868387] ppid=868385 vsize=140152 memory=26960 CPUtime=3.06 cores=0,2
/proc/868387/stat : 868387 (ld-linux-x86-64) R 868385 868385 868150 0 -1 4194304 3642 0 0 0 188 118 0 0 20 0 2 0 169207612 143515648 6740 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
/proc/868387/statm: 35038 6740 3296 46 0 7633 0
[pid=868387/tid=868388] ppid=868385 vsize=140152 memory=2768 CPUtime=0 cores=0,2
/proc/868387/task/868388/stat : 868388 (ld-linux-x86-64) S 868385 868385 868150 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 2 0 169207620 143515648 6740 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 150080 KiB
Current children cumulated memory: 29728 KiB

[startup+6.3004 s]
/proc/loadavg: 2.54 1.46 1.21 5/259 868389
/proc/meminfo: memFree=129197580/131655788 swapFree=131071996/131071996
[pid=868385] ppid=868382 vsize=9928 memory=2768 CPUtime=0 cores=0,2
/proc/868385/stat : 868385 (run-glibc-2.34.) S 868382 868385 868150 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169207612 10166272 692 134679101440 94842931286016 94842932365336 140734091370752 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94842934463792 94842934510980 94842935357440 140734091379659 140734091379804 140734091379804 140734091386819 0
/proc/868385/statm: 2482 692 611 264 0 133 0
[pid=868387] ppid=868385 vsize=140416 memory=27444 CPUtime=6.25 cores=0,2
/proc/868387/stat : 868387 (ld-linux-x86-64) R 868385 868385 868150 0 -1 4194304 4530 0 0 0 382 243 0 0 20 0 2 0 169207612 143785984 6861 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
/proc/868387/statm: 35104 6861 3296 46 0 7699 0
[pid=868387/tid=868388] ppid=868385 vsize=140416 memory=27444 CPUtime=0 cores=0,2
/proc/868387/task/868388/stat : 868388 (ld-linux-x86-64) S 868385 868385 868150 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 2 0 169207620 143785984 6861 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 150344 KiB
Current children cumulated memory: 30212 KiB

[startup+12.7004 s]
/proc/loadavg: 2.66 1.51 1.23 5/259 868391
/proc/meminfo: memFree=129189636/131655788 swapFree=131071996/131071996
[pid=868385] ppid=868382 vsize=9928 memory=2768 CPUtime=0 cores=0,2
/proc/868385/stat : 868385 (run-glibc-2.34.) S 868382 868385 868150 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169207612 10166272 692 134679101440 94842931286016 94842932365336 140734091370752 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94842934463792 94842934510980 94842935357440 140734091379659 140734091379804 140734091379804 140734091386819 0
/proc/868385/statm: 2482 692 611 264 0 133 0
[pid=868387] ppid=868385 vsize=141484 memory=28932 CPUtime=12.63 cores=0,2
/proc/868387/stat : 868387 (ld-linux-x86-64) R 868385 868385 868150 0 -1 4194304 6709 0 0 0 758 505 0 0 20 0 2 0 169207612 144879616 7233 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
/proc/868387/statm: 35371 7233 3296 46 0 7966 0
[pid=868387/tid=868388] ppid=868385 vsize=141484 memory=2768 CPUtime=0 cores=0,2
/proc/868387/task/868388/stat : 868388 (ld-linux-x86-64) S 868385 868385 868150 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 2 0 169207620 144879616 7233 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 151412 KiB
Current children cumulated memory: 31700 KiB

[startup+25.5005 s]
/proc/loadavg: 2.96 1.63 1.27 5/261 868777
/proc/meminfo: memFree=129146608/131655788 swapFree=131071996/131071996
[pid=868385] ppid=868382 vsize=9928 memory=2768 CPUtime=0 cores=0,2
/proc/868385/stat : 868385 (run-glibc-2.34.) S 868382 868385 868150 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169207612 10166272 692 134679101440 94842931286016 94842932365336 140734091370752 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94842934463792 94842934510980 94842935357440 140734091379659 140734091379804 140734091379804 140734091386819 0
/proc/868385/statm: 2482 692 611 264 0 133 0
[pid=868387] ppid=868385 vsize=220452 memory=56032 CPUtime=25.4 cores=0,2
/proc/868387/stat : 868387 (ld-linux-x86-64) R 868385 868385 868150 0 -1 4194304 15217 0 0 0 1556 984 0 0 20 0 2 0 169207612 225742848 14008 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
/proc/868387/statm: 55113 14008 3296 46 0 27708 0
[pid=868387/tid=868388] ppid=868385 vsize=220452 memory=2768 CPUtime=0.02 cores=0,2
/proc/868387/task/868388/stat : 868388 (ld-linux-x86-64) S 868385 868385 868150 0 -1 1077936192 26 0 0 0 1 1 0 0 20 0 2 0 169207620 225742848 14008 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 230380 KiB
Current children cumulated memory: 58800 KiB

[startup+51.1136 s]
/proc/loadavg: 3.38 1.84 1.35 5/258 868781
/proc/meminfo: memFree=129046072/131655788 swapFree=131071996/131071996
[pid=868385] ppid=868382 vsize=9928 memory=2768 CPUtime=0 cores=0,2
/proc/868385/stat : 868385 (run-glibc-2.34.) S 868382 868385 868150 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169207612 10166272 692 134679101440 94842931286016 94842932365336 140734091370752 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94842934463792 94842934510980 94842935357440 140734091379659 140734091379804 140734091379804 140734091386819 0
/proc/868385/statm: 2482 692 611 264 0 133 0
[pid=868387] ppid=868385 vsize=278100 memory=127792 CPUtime=50.94 cores=0,2
/proc/868387/stat : 868387 (ld-linux-x86-64) R 868385 868385 868150 0 -1 4194304 55701 0 0 0 3378 1716 0 0 20 0 2 0 169207612 284774400 31948 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
/proc/868387/statm: 69525 31948 3770 46 0 42120 0
[pid=868387/tid=868388] ppid=868385 vsize=278100 memory=2768 CPUtime=0.05 cores=0,2
/proc/868387/task/868388/stat : 868388 (ld-linux-x86-64) S 868385 868385 868150 0 -1 1077936192 41 0 0 0 2 3 0 0 20 0 2 0 169207620 284774400 31948 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 288028 KiB
Current children cumulated memory: 130560 KiB

[startup+102.3 s]
/proc/loadavg: 3.80 2.19 1.50 5/258 868790
/proc/meminfo: memFree=128917596/131655788 swapFree=131071996/131071996
[pid=868385] ppid=868382 vsize=9928 memory=2768 CPUtime=0 cores=0,2
/proc/868385/stat : 868385 (run-glibc-2.34.) S 868382 868385 868150 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169207612 10166272 692 134679101440 94842931286016 94842932365336 140734091370752 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94842934463792 94842934510980 94842935357440 140734091379659 140734091379804 140734091379804 140734091386819 0
/proc/868385/statm: 2482 692 611 264 0 133 0
[pid=868387] ppid=868385 vsize=351976 memory=193560 CPUtime=102 cores=0,2
/proc/868387/stat : 868387 (ld-linux-x86-64) R 868385 868385 868150 0 -1 4194304 106943 0 0 0 7338 2862 0 0 20 0 2 0 169207612 360423424 48390 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
/proc/868387/statm: 87994 48390 3770 46 0 60589 0
[pid=868387/tid=868388] ppid=868385 vsize=351976 memory=2768 CPUtime=0.13 cores=0,2
/proc/868387/task/868388/stat : 868388 (ld-linux-x86-64) S 868385 868385 868150 0 -1 1077936192 47 0 0 0 5 8 0 0 20 0 2 0 169207620 360423424 48390 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 361904 KiB
Current children cumulated memory: 196328 KiB

[startup+162.3 s]

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

[startup+3222.3 s]
/proc/loadavg: 4.17 4.15 4.06 5/249 870195
/proc/meminfo: memFree=124744388/131655788 swapFree=131071996/131071996
[pid=868385] ppid=868382 vsize=9928 memory=2768 CPUtime=0 cores=0,2
/proc/868385/stat : 868385 (run-glibc-2.34.) S 868382 868385 868150 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169207612 10166272 692 134679101440 94842931286016 94842932365336 140734091370752 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94842934463792 94842934510980 94842935357440 140734091379659 140734091379804 140734091379804 140734091386819 0
/proc/868385/statm: 2482 692 611 264 0 133 0
[pid=868387] ppid=868385 vsize=1603236 memory=1244764 CPUtime=3216.48 cores=0,2
/proc/868387/stat : 868387 (ld-linux-x86-64) R 868385 868385 868150 0 -1 4194304 1032792 0 0 0 310274 11374 0 0 20 0 2 0 169207612 1641713664 311191 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
/proc/868387/statm: 400809 311191 3974 46 0 373404 0
[pid=868387/tid=868388] ppid=868385 vsize=1603236 memory=2768 CPUtime=4.81 cores=0,2
/proc/868387/task/868388/stat : 868388 (ld-linux-x86-64) S 868385 868385 868150 0 -1 1077936192 174 0 0 0 160 321 0 0 20 0 2 0 169207620 1641713664 311191 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
Current children cumulated CPU time: 3216.48 s
Current children cumulated vsize: 1613164 KiB
Current children cumulated memory: 1247532 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.14 4.06 5/249 870205
/proc/meminfo: memFree=124887800/131655788 swapFree=131071996/131071996
[pid=868385] ppid=868382 vsize=9928 memory=2768 CPUtime=0 cores=0,2
/proc/868385/stat : 868385 (run-glibc-2.34.) S 868382 868385 868150 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169207612 10166272 692 134679101440 94842931286016 94842932365336 140734091370752 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94842934463792 94842934510980 94842935357440 140734091379659 140734091379804 140734091379804 140734091386819 0
/proc/868385/statm: 2482 692 611 264 0 133 0
[pid=868387] ppid=868385 vsize=1419156 memory=1063376 CPUtime=3276.38 cores=0,2
/proc/868387/stat : 868387 (ld-linux-x86-64) R 868385 868385 868150 0 -1 4194304 1099442 0 0 0 316231 11407 0 0 20 0 2 0 169207612 1453215744 265844 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
/proc/868387/statm: 354789 265844 3974 46 0 327384 0
[pid=868387/tid=868388] ppid=868385 vsize=1419156 memory=2244 CPUtime=4.89 cores=0,2
/proc/868387/task/868388/stat : 868388 (ld-linux-x86-64) S 868385 868385 868150 0 -1 1077936192 176 0 0 0 163 326 0 0 20 0 2 0 169207620 1453215744 265844 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
Current children cumulated CPU time: 3276.38 s
Current children cumulated vsize: 1429084 KiB
Current children cumulated memory: 1066144 KiB

[startup+3342.3 s]
/proc/loadavg: 4.83 4.34 4.14 5/251 870219
/proc/meminfo: memFree=124602012/131655788 swapFree=131071996/131071996
[pid=868385] ppid=868382 vsize=9928 memory=2768 CPUtime=0 cores=0,2
/proc/868385/stat : 868385 (run-glibc-2.34.) S 868382 868385 868150 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169207612 10166272 692 134679101440 94842931286016 94842932365336 140734091370752 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94842934463792 94842934510980 94842935357440 140734091379659 140734091379804 140734091379804 140734091386819 0
/proc/868385/statm: 2482 692 611 264 0 133 0
[pid=868387] ppid=868385 vsize=1653776 memory=1293352 CPUtime=3336.25 cores=0,2
/proc/868387/stat : 868387 (ld-linux-x86-64) R 868385 868385 868150 0 -1 4194304 1142031 0 0 0 322204 11421 0 0 20 0 2 0 169207612 1693466624 323338 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
/proc/868387/statm: 413444 323338 3974 46 0 386039 0
[pid=868387/tid=868388] ppid=868385 vsize=1653776 memory=2768 CPUtime=4.96 cores=0,2
/proc/868387/task/868388/stat : 868388 (ld-linux-x86-64) S 868385 868385 868150 0 -1 1077936192 178 0 0 0 165 331 0 0 20 0 2 0 169207620 1693466624 323338 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
Current children cumulated CPU time: 3336.25 s
Current children cumulated vsize: 1663704 KiB
Current children cumulated memory: 1296120 KiB

[startup+3402.3 s]
/proc/loadavg: 4.67 4.41 4.18 5/251 870229
/proc/meminfo: memFree=125117220/131655788 swapFree=131071996/131071996
[pid=868385] ppid=868382 vsize=9928 memory=2768 CPUtime=0 cores=0,2
/proc/868385/stat : 868385 (run-glibc-2.34.) S 868382 868385 868150 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169207612 10166272 692 134679101440 94842931286016 94842932365336 140734091370752 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94842934463792 94842934510980 94842935357440 140734091379659 140734091379804 140734091379804 140734091386819 0
/proc/868385/statm: 2482 692 611 264 0 133 0
[pid=868387] ppid=868385 vsize=989976 memory=747780 CPUtime=3396.14 cores=0,2
/proc/868387/stat : 868387 (ld-linux-x86-64) R 868385 868385 868150 0 -1 4194304 1197274 0 0 0 327751 11863 0 0 20 0 2 0 169207612 1013735424 186945 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
/proc/868387/statm: 247494 186945 3974 46 0 220089 0
[pid=868387/tid=868388] ppid=868385 vsize=989976 memory=2768 CPUtime=5.05 cores=0,2
/proc/868387/task/868388/stat : 868388 (ld-linux-x86-64) S 868385 868385 868150 0 -1 1077936192 180 0 0 0 168 337 0 0 20 0 2 0 169207620 1013735424 186945 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
Current children cumulated CPU time: 3396.14 s
Current children cumulated vsize: 999904 KiB
Current children cumulated memory: 750548 KiB

[startup+3462.3 s]
/proc/loadavg: 4.39 4.38 4.18 5/251 870240
/proc/meminfo: memFree=124865460/131655788 swapFree=131071996/131071996
[pid=868385] ppid=868382 vsize=9928 memory=2768 CPUtime=0 cores=0,2
/proc/868385/stat : 868385 (run-glibc-2.34.) S 868382 868385 868150 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169207612 10166272 692 134679101440 94842931286016 94842932365336 140734091370752 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94842934463792 94842934510980 94842935357440 140734091379659 140734091379804 140734091379804 140734091386819 0
/proc/868385/statm: 2482 692 611 264 0 133 0
[pid=868387] ppid=868385 vsize=1230408 memory=966708 CPUtime=3456.04 cores=0,2
/proc/868387/stat : 868387 (ld-linux-x86-64) R 868385 868385 868150 0 -1 4194304 1232956 0 0 0 333711 11893 0 0 20 0 2 0 169207612 1259937792 241677 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
/proc/868387/statm: 307602 241677 3974 46 0 280197 0
[pid=868387/tid=868388] ppid=868385 vsize=1230408 memory=2768 CPUtime=5.13 cores=0,2
/proc/868387/task/868388/stat : 868388 (ld-linux-x86-64) S 868385 868385 868150 0 -1 1077936192 181 0 0 0 171 342 0 0 20 0 2 0 169207620 1259937792 241677 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
Current children cumulated CPU time: 3456.04 s
Current children cumulated vsize: 1240336 KiB
Current children cumulated memory: 969476 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.32 4.17 5/251 870250
/proc/meminfo: memFree=124814016/131655788 swapFree=131071996/131071996
[pid=868385] ppid=868382 vsize=9928 memory=2768 CPUtime=0 cores=0,2
/proc/868385/stat : 868385 (run-glibc-2.34.) S 868382 868385 868150 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169207612 10166272 692 134679101440 94842931286016 94842932365336 140734091370752 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94842934463792 94842934510980 94842935357440 140734091379659 140734091379804 140734091379804 140734091386819 0
/proc/868385/statm: 2482 692 611 264 0 133 0
[pid=868387] ppid=868385 vsize=1230408 memory=977004 CPUtime=3515.95 cores=0,2
/proc/868387/stat : 868387 (ld-linux-x86-64) R 868385 868385 868150 0 -1 4194304 1235871 0 0 0 339694 11901 0 0 20 0 2 0 169207612 1259937792 244251 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
/proc/868387/statm: 307602 244251 3974 46 0 280197 0
[pid=868387/tid=868388] ppid=868385 vsize=1230408 memory=966708 CPUtime=5.23 cores=0,2
/proc/868387/task/868388/stat : 868388 (ld-linux-x86-64) S 868385 868385 868150 0 -1 1077936192 184 0 0 0 174 349 0 0 20 0 2 0 169207620 1259937792 244251 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
Current children cumulated CPU time: 3515.95 s
Current children cumulated vsize: 1240336 KiB
Current children cumulated memory: 979772 KiB

[startup+3582.3 s]
/proc/loadavg: 5.80 4.75 4.33 3/233 870323
/proc/meminfo: memFree=127025316/131655788 swapFree=131071996/131071996
[pid=868385] ppid=868382 vsize=9928 memory=2768 CPUtime=0 cores=0,2
/proc/868385/stat : 868385 (run-glibc-2.34.) S 868382 868385 868150 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169207612 10166272 692 134679101440 94842931286016 94842932365336 140734091370752 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94842934463792 94842934510980 94842935357440 140734091379659 140734091379804 140734091379804 140734091386819 0
/proc/868385/statm: 2482 692 611 264 0 133 0
[pid=868387] ppid=868385 vsize=1649720 memory=1273156 CPUtime=3575.86 cores=0,2
/proc/868387/stat : 868387 (ld-linux-x86-64) R 868385 868385 868150 0 -1 4194304 1272299 0 0 0 345662 11924 0 0 20 0 2 0 169207612 1689313280 318289 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
/proc/868387/statm: 412430 318289 3974 46 0 385025 0
[pid=868387/tid=868388] ppid=868385 vsize=1649720 memory=42012 CPUtime=5.32 cores=0,2
/proc/868387/task/868388/stat : 868388 (ld-linux-x86-64) S 868385 868385 868150 0 -1 1077936192 187 0 0 0 177 355 0 0 20 0 2 0 169207620 1689313280 318289 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
Current children cumulated CPU time: 3575.86 s
Current children cumulated vsize: 1659648 KiB
Current children cumulated memory: 1275924 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3606.5 s]
/proc/loadavg: 4.50 4.53 4.27 3/233 870326
/proc/meminfo: memFree=126992660/131655788 swapFree=131071996/131071996
[pid=868385] ppid=868382 vsize=9928 memory=2768 CPUtime=0 cores=0,2
/proc/868385/stat : 868385 (run-glibc-2.34.) S 868382 868385 868150 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169207612 10166272 692 134679101440 94842931286016 94842932365336 140734091370752 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94842934463792 94842934510980 94842935357440 140734091379659 140734091379804 140734091379804 140734091386819 0
/proc/868385/statm: 2482 692 611 264 0 133 0
[pid=868387] ppid=868385 vsize=1675500 memory=1306940 CPUtime=3600.02 cores=0,2
/proc/868387/stat : 868387 (ld-linux-x86-64) R 868385 868385 868150 0 -1 4194304 1274161 0 0 0 348071 11931 0 0 20 0 2 0 169207612 1715712000 326735 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
/proc/868387/statm: 418875 326735 3974 46 0 391470 0
[pid=868387/tid=868388] ppid=868385 vsize=1675500 memory=2768 CPUtime=5.36 cores=0,2
/proc/868387/task/868388/stat : 868388 (ld-linux-x86-64) S 868385 868385 868150 0 -1 1077936192 188 0 0 0 178 358 0 0 20 0 2 0 169207620 1715712000 326735 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1685428 KiB
Current children cumulated memory: 1309708 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001711 s, system=0 s

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

# cumulated CPU time of all completed processes:  user=3480.72 s, system=119.33 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+3606.5 s]
/proc/loadavg: 4.50 4.53 4.27 3/233 870326
/proc/meminfo: memFree=126992660/131655788 swapFree=131071996/131071996
[pid=868385] ppid=868382 vsize=9928 memory=2768 CPUtime=0 cores=0,2
/proc/868385/stat : 868385 (run-glibc-2.34.) S 868382 868385 868150 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169207612 10166272 692 134679101440 94842931286016 94842932365336 140734091370752 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94842934463792 94842934510980 94842935357440 140734091379659 140734091379804 140734091379804 140734091386819 0
/proc/868385/statm: 2482 692 611 264 0 133 0
[pid=868387] ppid=868385 vsize=1675500 memory=1306940 CPUtime=3600.02 cores=0,2
/proc/868387/stat : 868387 (ld-linux-x86-64) R 868385 868385 868150 0 -1 4194304 1274161 0 0 0 348071 11931 0 0 20 0 2 0 169207612 1715712000 326735 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
/proc/868387/statm: 418875 326735 3974 46 0 391470 0
[pid=868387/tid=868388] ppid=868385 vsize=1675500 memory=2768 CPUtime=5.36 cores=0,2
/proc/868387/task/868388/stat : 868388 (ld-linux-x86-64) S 868385 868385 868150 0 -1 1077936192 188 0 0 0 178 358 0 0 20 0 2 0 169207620 1715712000 326735 134679101440 139948578512896 139948578700508 140723702332784 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139948580801408 139948580810856 93824995627008 140723702338403 140723702338555 140723702338555 140723702345650 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1685428 KiB
Current children cumulated memory: 1309708 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3606.52
CPU time (s): 3600.05
CPU user time (s): 3480.72
CPU system time (s): 119.33
CPU usage (%): 99.8206
Max. virtual memory (cumulated for all children) (KiB): 1685428
Max. memory (cumulated for all children) (KiB): 1312816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3480.72
system time used= 119.33
maximum resident set size= 1318824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1274363
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= 353741
involuntary context switches= 24623


# summary of solver processes directly reported to runsolver:
#   pid: 868385,868387
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3480.72
#   total CPU system time (s): 119.33

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5506 second user time and 36.9766 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-17 00:55:24
IDJOB=4431720
IDBENCH=158576
IDSOLVER=3056
FILE ID=nodeC008/4431720-1721170512
RUNJOBID= nodeC008-1721170492-868160
SLURM_JOB_ID= 7505803
Free space on /tmp= 723648 MiB

SOLVER NAME= IPBHS-GUROBI 2024-07-09
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-50.lin.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-4431720-1721170512/watcher-4431720-1721170512 -o /tmp/evaluation-result-4431720-1721170512/solver-4431720-1721170512 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721170492-868160 --watchdog 3760  run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4431720-1721170512.opb

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

MD5SUM BENCH= 11852bf7a05815ba1c78428ce5d4534c
RANDOM SEED=898601453

nodeC008.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		: 3492.615
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.91
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		: 3614.727
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.243
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.91
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.277
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		: 3650.222
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.91
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		: 3667.421
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.274
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.91
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.295
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:        129237896 kB
MemAvailable:   129824228 kB
Buffers:          457700 kB
Cached:           970176 kB
SwapCached:            0 kB
Active:           797752 kB
Inactive:        1091644 kB
Active(anon):       1508 kB
Inactive(anon):   497716 kB
Active(file):     796244 kB
Inactive(file):   593928 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            167708 kB
Writeback:             0 kB
AnonPages:        461596 kB
Mapped:           121440 kB
Shmem:             37704 kB
KReclaimable:      72380 kB
Slab:             167316 kB
SReclaimable:      72380 kB
SUnreclaim:        94936 kB
KernelStack:        4112 kB
PageTables:        10788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     912572 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            53728 kB
HardwareCorrupted:     0 kB
AnonHugePages:    210944 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:      170824 kB
DirectMap2M:    19656704 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723684 MiB
End job on nodeC008 at 2024-07-17 01:55:31