Trace number 4431715

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.14 3608.15

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern50-06.lin.opb
MD5SUMb877664571262cc35a091b0e7e24e61f
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 benchmark-270
Best CPU time to get the best result obtained on this benchmark3558
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables882
Total number of constraints1664
Number of constraints which are clauses832
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints832
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 882
Biggest coefficient in the objective function 34
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 13140
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 34
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 13140
Number of bits of the biggest sum of numbers14
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 (62997 MiB free)
  memory of node 1: 64510 MiB (63382 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.104243 s]*
/proc/loadavg: 1.12 1.11 1.09 10/258 868238
/proc/meminfo: memFree=129367992/131655788 swapFree=131071996/131071996
[pid=868219] ppid=868209 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/868219/stat : 868219 (run-glibc-2.34.) S 868209 868219 868150 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169204505 10166272 693 134679101440 94016830038016 94016831117336 140721515599504 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94016833215792 94016833262980 94016839012352 140721515606987 140721515607132 140721515607132 140721515614147 0
/proc/868219/statm: 2482 693 612 264 0 133 0
[pid=868232] ppid=868219 vsize=136008 memory=19848 CPUtime=0.06 cores=5,7
/proc/868232/stat : 868232 (ld-linux-x86-64) R 868219 868219 868150 0 -1 4194304 1546 0 26 0 3 3 0 0 20 0 2 0 169204505 139272192 4962 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 0 0 0 17 5 0 0 3 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
/proc/868232/statm: 34002 4962 2658 46 0 6597 0
[pid=868232/tid=868238] ppid=868219 vsize=136008 memory=4026561614 CPUtime=0 cores=5,7
/proc/868232/task/868238/stat : 868238 (ld-linux-x86-64) S 868219 868219 868150 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 169204513 139272192 4962 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 1 0 0 -1 5 0 0 0 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 145936 KiB
Current children cumulated memory: 22620 KiB

[startup+0.21451 s]*
/proc/loadavg: 1.12 1.11 1.09 5/259 868239
/proc/meminfo: memFree=129345964/131655788 swapFree=131071996/131071996
[pid=868219] ppid=868209 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/868219/stat : 868219 (run-glibc-2.34.) S 868209 868219 868150 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169204505 10166272 693 134679101440 94016830038016 94016831117336 140721515599504 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94016833215792 94016833262980 94016839012352 140721515606987 140721515607132 140721515607132 140721515614147 0
/proc/868219/statm: 2482 693 612 264 0 133 0
[pid=868232] ppid=868219 vsize=142120 memory=28324 CPUtime=0.16 cores=5,7
/proc/868232/stat : 868232 (ld-linux-x86-64) R 868219 868219 868150 0 -1 4194304 3194 0 26 0 12 4 0 0 20 0 2 0 169204505 145530880 7081 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 0 0 0 17 5 0 0 3 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
/proc/868232/statm: 35530 7081 3665 46 0 8125 0
[pid=868232/tid=868238] ppid=868219 vsize=142120 memory=3472328300251083854 CPUtime=0 cores=5,7
/proc/868232/task/868238/stat : 868238 (ld-linux-x86-64) S 868219 868219 868150 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 169204513 145530880 7081 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 152048 KiB
Current children cumulated memory: 31096 KiB

[startup+0.315786 s]*
/proc/loadavg: 1.12 1.11 1.09 9/259 868239
/proc/meminfo: memFree=129340032/131655788 swapFree=131071996/131071996
[pid=868219] ppid=868209 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/868219/stat : 868219 (run-glibc-2.34.) S 868209 868219 868150 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169204505 10166272 693 134679101440 94016830038016 94016831117336 140721515599504 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94016833215792 94016833262980 94016839012352 140721515606987 140721515607132 140721515607132 140721515614147 0
/proc/868219/statm: 2482 693 612 264 0 133 0
[pid=868232] ppid=868219 vsize=144080 memory=30700 CPUtime=0.26 cores=5,7
/proc/868232/stat : 868232 (ld-linux-x86-64) R 868219 868219 868150 0 -1 4194304 3667 0 26 0 22 4 0 0 20 0 2 0 169204505 147537920 7675 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 0 0 0 17 5 0 0 3 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
/proc/868232/statm: 36020 7675 3807 46 0 8615 0
[pid=868232/tid=868238] ppid=868219 vsize=144080 memory=-9040905426921808737 CPUtime=0 cores=5,7
/proc/868232/task/868238/stat : 868238 (ld-linux-x86-64) S 868219 868219 868150 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 169204513 147537920 7675 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 154008 KiB
Current children cumulated memory: 33472 KiB

[startup+0.700388 s]
/proc/loadavg: 1.12 1.11 1.09 7/255 868239
/proc/meminfo: memFree=129346600/131655788 swapFree=131071996/131071996
[pid=868219] ppid=868209 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/868219/stat : 868219 (run-glibc-2.34.) S 868209 868219 868150 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169204505 10166272 693 134679101440 94016830038016 94016831117336 140721515599504 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94016833215792 94016833262980 94016839012352 140721515606987 140721515607132 140721515607132 140721515614147 0
/proc/868219/statm: 2482 693 612 264 0 133 0
[pid=868232] ppid=868219 vsize=146552 memory=33120 CPUtime=0.64 cores=5,7
/proc/868232/stat : 868232 (ld-linux-x86-64) R 868219 868219 868150 0 -1 4194304 4470 0 26 0 59 5 0 0 20 0 2 0 169204505 150069248 8280 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 0 0 0 17 5 0 0 3 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
/proc/868232/statm: 36638 8280 3888 46 0 9233 0
[pid=868232/tid=868238] ppid=868219 vsize=146552 memory=25208 CPUtime=0 cores=5,7
/proc/868232/task/868238/stat : 868238 (ld-linux-x86-64) S 868219 868219 868150 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 169204513 150069248 8280 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 156480 KiB
Current children cumulated memory: 35892 KiB

[startup+1.50036 s]
/proc/loadavg: 1.12 1.11 1.09 5/251 868275
/proc/meminfo: memFree=129345912/131655788 swapFree=131071996/131071996
[pid=868219] ppid=868209 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/868219/stat : 868219 (run-glibc-2.34.) S 868209 868219 868150 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169204505 10166272 693 134679101440 94016830038016 94016831117336 140721515599504 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94016833215792 94016833262980 94016839012352 140721515606987 140721515607132 140721515607132 140721515614147 0
/proc/868219/statm: 2482 693 612 264 0 133 0
[pid=868232] ppid=868219 vsize=146448 memory=33788 CPUtime=1.44 cores=5,7
/proc/868232/stat : 868232 (ld-linux-x86-64) R 868219 868219 868150 0 -1 4194304 4805 0 26 0 139 5 0 0 20 0 2 0 169204505 149962752 8447 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 0 0 0 17 5 0 0 3 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
/proc/868232/statm: 36612 8447 3889 46 0 9207 0
[pid=868232/tid=868238] ppid=868219 vsize=146448 memory=11600 CPUtime=0 cores=5,7
/proc/868232/task/868238/stat : 868238 (ld-linux-x86-64) S 868219 868219 868150 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 169204513 149962752 8447 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 156376 KiB
Current children cumulated memory: 36560 KiB

[startup+3.1142 s]
/proc/loadavg: 1.12 1.11 1.09 5/259 868289
/proc/meminfo: memFree=129314828/131655788 swapFree=131071996/131071996
[pid=868219] ppid=868209 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/868219/stat : 868219 (run-glibc-2.34.) S 868209 868219 868150 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169204505 10166272 693 134679101440 94016830038016 94016831117336 140721515599504 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94016833215792 94016833262980 94016839012352 140721515606987 140721515607132 140721515607132 140721515614147 0
/proc/868219/statm: 2482 693 612 264 0 133 0
[pid=868232] ppid=868219 vsize=150172 memory=34880 CPUtime=3.04 cores=5,7
/proc/868232/stat : 868232 (ld-linux-x86-64) R 868219 868219 868150 0 -1 4194304 6900 0 27 0 299 5 0 0 20 0 2 0 169204505 153776128 8720 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 0 0 0 17 5 0 0 3 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
/proc/868232/statm: 37543 8720 3904 46 0 10138 0
[pid=868232/tid=868238] ppid=868219 vsize=150172 memory=34116 CPUtime=0 cores=5,7
/proc/868232/task/868238/stat : 868238 (ld-linux-x86-64) S 868219 868219 868150 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 2 0 169204513 153776128 8720 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 160100 KiB
Current children cumulated memory: 37652 KiB

[startup+6.30044 s]
/proc/loadavg: 1.35 1.16 1.11 5/259 868289
/proc/meminfo: memFree=129281452/131655788 swapFree=131071996/131071996
[pid=868219] ppid=868209 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/868219/stat : 868219 (run-glibc-2.34.) S 868209 868219 868150 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169204505 10166272 693 134679101440 94016830038016 94016831117336 140721515599504 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94016833215792 94016833262980 94016839012352 140721515606987 140721515607132 140721515607132 140721515614147 0
/proc/868219/statm: 2482 693 612 264 0 133 0
[pid=868232] ppid=868219 vsize=155308 memory=41700 CPUtime=6.22 cores=5,7
/proc/868232/stat : 868232 (ld-linux-x86-64) R 868219 868219 868150 0 -1 4194304 12014 0 27 0 616 6 0 0 20 0 2 0 169204505 159035392 10425 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 0 0 0 17 5 0 0 3 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
/proc/868232/statm: 38827 10425 3905 46 0 11422 0
[pid=868232/tid=868238] ppid=868219 vsize=155308 memory=2772 CPUtime=0 cores=5,7
/proc/868232/task/868238/stat : 868238 (ld-linux-x86-64) S 868219 868219 868150 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 2 0 169204513 159035392 10425 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 165236 KiB
Current children cumulated memory: 44472 KiB

[startup+12.7004 s]
/proc/loadavg: 1.56 1.21 1.12 4/251 868321
/proc/meminfo: memFree=129304328/131655788 swapFree=131071996/131071996
[pid=868219] ppid=868209 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/868219/stat : 868219 (run-glibc-2.34.) S 868209 868219 868150 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169204505 10166272 693 134679101440 94016830038016 94016831117336 140721515599504 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94016833215792 94016833262980 94016839012352 140721515606987 140721515607132 140721515607132 140721515614147 0
/proc/868219/statm: 2482 693 612 264 0 133 0
[pid=868232] ppid=868219 vsize=168436 memory=52436 CPUtime=12.61 cores=5,7
/proc/868232/stat : 868232 (ld-linux-x86-64) R 868219 868219 868150 0 -1 4194304 25606 0 27 0 1253 8 0 0 20 0 2 0 169204505 172478464 13109 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 0 0 0 17 5 0 0 3 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
/proc/868232/statm: 42109 13109 3906 46 0 14704 0
[pid=868232/tid=868238] ppid=868219 vsize=168436 memory=11600 CPUtime=0.01 cores=5,7
/proc/868232/task/868238/stat : 868238 (ld-linux-x86-64) S 868219 868219 868150 0 -1 1077936192 12 0 0 0 0 1 0 0 20 0 2 0 169204513 172478464 13109 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 178364 KiB
Current children cumulated memory: 55208 KiB

[startup+25.5005 s]
/proc/loadavg: 2.18 1.36 1.17 5/259 868340
/proc/meminfo: memFree=129224524/131655788 swapFree=131071996/131071996
[pid=868219] ppid=868209 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/868219/stat : 868219 (run-glibc-2.34.) S 868209 868219 868150 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169204505 10166272 693 134679101440 94016830038016 94016831117336 140721515599504 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94016833215792 94016833262980 94016839012352 140721515606987 140721515607132 140721515607132 140721515614147 0
/proc/868219/statm: 2482 693 612 264 0 133 0
[pid=868232] ppid=868219 vsize=168568 memory=53308 CPUtime=25.39 cores=5,7
/proc/868232/stat : 868232 (ld-linux-x86-64) R 868219 868219 868150 0 -1 4194304 34606 0 27 0 2528 11 0 0 20 0 2 0 169204505 172613632 13327 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 0 0 0 17 5 0 0 3 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
/proc/868232/statm: 42142 13327 3906 46 0 14737 0
[pid=868232/tid=868238] ppid=868219 vsize=168568 memory=2772 CPUtime=0.03 cores=5,7
/proc/868232/task/868238/stat : 868238 (ld-linux-x86-64) S 868219 868219 868150 0 -1 1077936192 18 0 0 0 1 2 0 0 20 0 2 0 169204513 172613632 13327 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 178496 KiB
Current children cumulated memory: 56080 KiB

[startup+51.1143 s]
/proc/loadavg: 2.87 1.59 1.26 5/261 868775
/proc/meminfo: memFree=129176568/131655788 swapFree=131071996/131071996
[pid=868219] ppid=868209 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/868219/stat : 868219 (run-glibc-2.34.) S 868209 868219 868150 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169204505 10166272 693 134679101440 94016830038016 94016831117336 140721515599504 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94016833215792 94016833262980 94016839012352 140721515606987 140721515607132 140721515607132 140721515614147 0
/proc/868219/statm: 2482 693 612 264 0 133 0
[pid=868232] ppid=868219 vsize=172520 memory=56276 CPUtime=50.95 cores=5,7
/proc/868232/stat : 868232 (ld-linux-x86-64) R 868219 868219 868150 0 -1 4194304 54280 0 27 0 5079 16 0 0 20 0 2 0 169204505 176660480 14069 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 0 0 0 17 5 0 0 3 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
/proc/868232/statm: 43130 14069 3906 46 0 15725 0
[pid=868232/tid=868238] ppid=868219 vsize=172520 memory=2772 CPUtime=0.06 cores=5,7
/proc/868232/task/868238/stat : 868238 (ld-linux-x86-64) S 868219 868219 868150 0 -1 1077936192 27 0 0 0 2 4 0 0 20 0 2 0 169204513 176660480 14069 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 182448 KiB
Current children cumulated memory: 59048 KiB

[startup+102.3 s]
/proc/loadavg: 3.56 1.98 1.41 5/258 868785
/proc/meminfo: memFree=128991236/131655788 swapFree=131071996/131071996
[pid=868219] ppid=868209 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/868219/stat : 868219 (run-glibc-2.34.) S 868209 868219 868150 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169204505 10166272 693 134679101440 94016830038016 94016831117336 140721515599504 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94016833215792 94016833262980 94016839012352 140721515606987 140721515607132 140721515607132 140721515614147 0
/proc/868219/statm: 2482 693 612 264 0 133 0
[pid=868232] ppid=868219 vsize=196200 memory=82348 CPUtime=102.03 cores=5,7
/proc/868232/stat : 868232 (ld-linux-x86-64) R 868219 868219 868150 0 -1 4194304 84307 0 27 0 10175 28 0 0 20 0 2 0 169204505 200908800 20587 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 0 0 0 17 5 0 0 3 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
/proc/868232/statm: 49050 20587 3906 46 0 21645 0
[pid=868232/tid=868238] ppid=868219 vsize=196200 memory=71244 CPUtime=0.13 cores=5,7
/proc/868232/task/868238/stat : 868238 (ld-linux-x86-64) S 868219 868219 868150 0 -1 1077936192 33 0 0 0 4 9 0 0 20 0 2 0 169204513 200908800 20587 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 206128 KiB
Current children cumulated memory: 85120 KiB

[startup+162.3 s]

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

[startup+3222.3 s]
/proc/loadavg: 4.16 4.15 4.06 5/249 870190
/proc/meminfo: memFree=125084380/131655788 swapFree=131071996/131071996
[pid=868219] ppid=868209 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/868219/stat : 868219 (run-glibc-2.34.) S 868209 868219 868150 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169204505 10166272 693 134679101440 94016830038016 94016831117336 140721515599504 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94016833215792 94016833262980 94016839012352 140721515606987 140721515607132 140721515607132 140721515614147 0
/proc/868219/statm: 2482 693 612 264 0 133 0
[pid=868232] ppid=868219 vsize=2090288 memory=1977040 CPUtime=3215.15 cores=5,7
/proc/868232/stat : 868232 (ld-linux-x86-64) R 868219 868219 868150 0 -1 4194304 4288370 0 27 0 320675 840 0 0 20 0 2 0 169204505 2140454912 494260 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 0 0 0 17 5 0 0 3 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
/proc/868232/statm: 522572 494260 3907 46 0 495167 0
[pid=868232/tid=868238] ppid=868219 vsize=2090288 memory=11600 CPUtime=3.32 cores=5,7
/proc/868232/task/868238/stat : 868238 (ld-linux-x86-64) S 868219 868219 868150 0 -1 1077936192 134 0 0 0 92 240 0 0 20 0 2 0 169204513 2140454912 494260 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
Current children cumulated CPU time: 3215.15 s
Current children cumulated vsize: 2100216 KiB
Current children cumulated memory: 1979812 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.14 4.06 5/249 870201
/proc/meminfo: memFree=124997684/131655788 swapFree=131071996/131071996
[pid=868219] ppid=868209 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/868219/stat : 868219 (run-glibc-2.34.) S 868209 868219 868150 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169204505 10166272 693 134679101440 94016830038016 94016831117336 140721515599504 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94016833215792 94016833262980 94016839012352 140721515606987 140721515607132 140721515607132 140721515614147 0
/proc/868219/statm: 2482 693 612 264 0 133 0
[pid=868232] ppid=868219 vsize=2129148 memory=2017964 CPUtime=3275.02 cores=5,7
/proc/868232/stat : 868232 (ld-linux-x86-64) R 868219 868219 868150 0 -1 4194304 4443546 0 27 0 326639 863 0 0 20 0 2 0 169204505 2180247552 504491 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 0 0 0 17 5 0 0 3 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
/proc/868232/statm: 532287 504491 3907 46 0 504882 0
[pid=868232/tid=868238] ppid=868219 vsize=2129148 memory=2017080 CPUtime=3.38 cores=5,7
/proc/868232/task/868238/stat : 868238 (ld-linux-x86-64) S 868219 868219 868150 0 -1 1077936192 136 0 0 0 93 245 0 0 20 0 2 0 169204513 2180247552 504491 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
Current children cumulated CPU time: 3275.02 s
Current children cumulated vsize: 2139076 KiB
Current children cumulated memory: 2020736 KiB

[startup+3342.3 s]
/proc/loadavg: 4.63 4.25 4.10 5/249 870211
/proc/meminfo: memFree=124686436/131655788 swapFree=131071996/131071996
[pid=868219] ppid=868209 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/868219/stat : 868219 (run-glibc-2.34.) S 868209 868219 868150 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169204505 10166272 693 134679101440 94016830038016 94016831117336 140721515599504 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94016833215792 94016833262980 94016839012352 140721515606987 140721515607132 140721515607132 140721515614147 0
/proc/868219/statm: 2482 693 612 264 0 133 0
[pid=868232] ppid=868219 vsize=2180112 memory=2055968 CPUtime=3334.88 cores=5,7
/proc/868232/stat : 868232 (ld-linux-x86-64) R 868219 868219 868150 0 -1 4194304 4584085 0 27 0 332605 883 0 0 20 0 2 0 169204505 2232434688 513992 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 0 0 0 17 5 0 0 3 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
/proc/868232/statm: 545028 513992 3907 46 0 517623 0
[pid=868232/tid=868238] ppid=868219 vsize=2180112 memory=2772 CPUtime=3.44 cores=5,7
/proc/868232/task/868238/stat : 868238 (ld-linux-x86-64) S 868219 868219 868150 0 -1 1077936192 138 0 0 0 95 249 0 0 20 0 2 0 169204513 2232434688 513992 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
Current children cumulated CPU time: 3334.88 s
Current children cumulated vsize: 2190040 KiB
Current children cumulated memory: 2058740 KiB

[startup+3402.3 s]
/proc/loadavg: 4.97 4.43 4.18 5/251 870225
/proc/meminfo: memFree=125162668/131655788 swapFree=131071996/131071996
[pid=868219] ppid=868209 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/868219/stat : 868219 (run-glibc-2.34.) S 868209 868219 868150 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169204505 10166272 693 134679101440 94016830038016 94016831117336 140721515599504 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94016833215792 94016833262980 94016839012352 140721515606987 140721515607132 140721515607132 140721515614147 0
/proc/868219/statm: 2482 693 612 264 0 133 0
[pid=868232] ppid=868219 vsize=2218516 memory=2095020 CPUtime=3394.75 cores=5,7
/proc/868232/stat : 868232 (ld-linux-x86-64) R 868219 868219 868150 0 -1 4194304 4719357 0 27 0 338572 903 0 0 20 0 2 0 169204505 2271760384 523755 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 0 0 0 17 5 0 0 3 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
/proc/868232/statm: 554629 523755 3907 46 0 527224 0
[pid=868232/tid=868238] ppid=868219 vsize=2218516 memory=2772 CPUtime=3.5 cores=5,7
/proc/868232/task/868238/stat : 868238 (ld-linux-x86-64) S 868219 868219 868150 0 -1 1077936192 140 0 0 0 97 253 0 0 20 0 2 0 169204513 2271760384 523755 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
Current children cumulated CPU time: 3394.75 s
Current children cumulated vsize: 2228444 KiB
Current children cumulated memory: 2097792 KiB

[startup+3462.3 s]
/proc/loadavg: 4.56 4.40 4.18 5/251 870236
/proc/meminfo: memFree=124894884/131655788 swapFree=131071996/131071996
[pid=868219] ppid=868209 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/868219/stat : 868219 (run-glibc-2.34.) S 868209 868219 868150 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169204505 10166272 693 134679101440 94016830038016 94016831117336 140721515599504 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94016833215792 94016833262980 94016839012352 140721515606987 140721515607132 140721515607132 140721515614147 0
/proc/868219/statm: 2482 693 612 264 0 133 0
[pid=868232] ppid=868219 vsize=2258144 memory=2136040 CPUtime=3454.61 cores=5,7
/proc/868232/stat : 868232 (ld-linux-x86-64) R 868219 868219 868150 0 -1 4194304 4839946 0 27 0 344540 921 0 0 20 0 2 0 169204505 2312339456 534010 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 0 0 0 17 5 0 0 3 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
/proc/868232/statm: 564536 534010 3907 46 0 537131 0
[pid=868232/tid=868238] ppid=868219 vsize=2258144 memory=2772 CPUtime=3.56 cores=5,7
/proc/868232/task/868238/stat : 868238 (ld-linux-x86-64) S 868219 868219 868150 0 -1 1077936192 142 0 0 0 99 257 0 0 20 0 2 0 169204513 2312339456 534010 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
Current children cumulated CPU time: 3454.61 s
Current children cumulated vsize: 2268072 KiB
Current children cumulated memory: 2138812 KiB

[startup+3522.3 s]
/proc/loadavg: 4.30 4.36 4.18 5/251 870246
/proc/meminfo: memFree=124835508/131655788 swapFree=131071996/131071996
[pid=868219] ppid=868209 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/868219/stat : 868219 (run-glibc-2.34.) S 868209 868219 868150 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169204505 10166272 693 134679101440 94016830038016 94016831117336 140721515599504 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94016833215792 94016833262980 94016839012352 140721515606987 140721515607132 140721515607132 140721515614147 0
/proc/868219/statm: 2482 693 612 264 0 133 0
[pid=868232] ppid=868219 vsize=2291668 memory=2169788 CPUtime=3514.48 cores=5,7
/proc/868232/stat : 868232 (ld-linux-x86-64) R 868219 868219 868150 0 -1 4194304 4944864 0 27 0 350508 940 0 0 20 0 2 0 169204505 2346668032 542447 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 0 0 0 17 5 0 0 3 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
/proc/868232/statm: 572917 542447 3907 46 0 545512 0
[pid=868232/tid=868238] ppid=868219 vsize=2291668 memory=2162572 CPUtime=3.62 cores=5,7
/proc/868232/task/868238/stat : 868238 (ld-linux-x86-64) S 868219 868219 868150 0 -1 1077936192 144 0 0 0 101 261 0 0 20 0 2 0 169204513 2346668032 542447 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
Current children cumulated CPU time: 3514.48 s
Current children cumulated vsize: 2301596 KiB
Current children cumulated memory: 2172560 KiB

[startup+3582.3 s]
/proc/loadavg: 5.05 4.50 4.24 5/251 870256
/proc/meminfo: memFree=124791572/131655788 swapFree=131071996/131071996
[pid=868219] ppid=868209 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/868219/stat : 868219 (run-glibc-2.34.) S 868209 868219 868150 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169204505 10166272 693 134679101440 94016830038016 94016831117336 140721515599504 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94016833215792 94016833262980 94016839012352 140721515606987 140721515607132 140721515607132 140721515614147 0
/proc/868219/statm: 2482 693 612 264 0 133 0
[pid=868232] ppid=868219 vsize=2330156 memory=2208196 CPUtime=3574.35 cores=5,7
/proc/868232/stat : 868232 (ld-linux-x86-64) R 868219 868219 868150 0 -1 4194304 5054474 0 27 0 356475 960 0 0 20 0 2 0 169204505 2386079744 552049 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 0 0 0 17 5 0 0 3 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
/proc/868232/statm: 582539 552049 3907 46 0 555134 0
[pid=868232/tid=868238] ppid=868219 vsize=2330156 memory=2772 CPUtime=3.68 cores=5,7
/proc/868232/task/868238/stat : 868238 (ld-linux-x86-64) S 868219 868219 868150 0 -1 1077936192 146 0 0 0 102 266 0 0 20 0 2 0 169204513 2386079744 552049 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
Current children cumulated CPU time: 3574.35 s
Current children cumulated vsize: 2340084 KiB
Current children cumulated memory: 2210968 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.11 s]
/proc/loadavg: 6.13 4.80 4.35 4/242 870291
/proc/meminfo: memFree=124768056/131655788 swapFree=131071996/131071996
[pid=868219] ppid=868209 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/868219/stat : 868219 (run-glibc-2.34.) S 868209 868219 868150 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169204505 10166272 693 134679101440 94016830038016 94016831117336 140721515599504 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94016833215792 94016833262980 94016839012352 140721515606987 140721515607132 140721515607132 140721515614147 0
/proc/868219/statm: 2482 693 612 264 0 133 0
[pid=868232] ppid=868219 vsize=2346316 memory=2224916 CPUtime=3600.09 cores=5,7
/proc/868232/stat : 868232 (ld-linux-x86-64) R 868219 868219 868150 0 -1 4194304 5092133 0 27 0 359043 966 0 0 20 0 2 0 169204505 2402627584 556229 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 0 0 0 17 5 0 0 3 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
/proc/868232/statm: 586579 556229 3907 46 0 559174 0
[pid=868232/tid=868238] ppid=868219 vsize=2346316 memory=2772 CPUtime=3.71 cores=5,7
/proc/868232/task/868238/stat : 868238 (ld-linux-x86-64) S 868219 868219 868150 0 -1 1077936192 146 0 0 0 103 268 0 0 20 0 2 0 169204513 2402627584 556229 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2356244 KiB
Current children cumulated memory: 2227688 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.002258 s, system=0.002187 s

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

# cumulated CPU time of all completed processes:  user=3590.45 s, system=9.69849 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+3608.11 s]
/proc/loadavg: 6.13 4.80 4.35 4/242 870291
/proc/meminfo: memFree=124768056/131655788 swapFree=131071996/131071996
[pid=868219] ppid=868209 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/868219/stat : 868219 (run-glibc-2.34.) S 868209 868219 868150 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169204505 10166272 693 134679101440 94016830038016 94016831117336 140721515599504 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94016833215792 94016833262980 94016839012352 140721515606987 140721515607132 140721515607132 140721515614147 0
/proc/868219/statm: 2482 693 612 264 0 133 0
[pid=868232] ppid=868219 vsize=2346316 memory=2224916 CPUtime=3600.09 cores=5,7
/proc/868232/stat : 868232 (ld-linux-x86-64) R 868219 868219 868150 0 -1 4194304 5092133 0 27 0 359043 966 0 0 20 0 2 0 169204505 2402627584 556229 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 0 0 0 17 5 0 0 3 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
/proc/868232/statm: 586579 556229 3907 46 0 559174 0
[pid=868232/tid=868238] ppid=868219 vsize=2346316 memory=2772 CPUtime=3.71 cores=5,7
/proc/868232/task/868238/stat : 868238 (ld-linux-x86-64) S 868219 868219 868150 0 -1 1077936192 146 0 0 0 103 268 0 0 20 0 2 0 169204513 2402627584 556229 134679101440 140126204600320 140126204787932 140731715348240 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140126206888832 140126206898280 93824995405824 140731715351395 140731715351547 140731715351547 140731715358642 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2356244 KiB
Current children cumulated memory: 2227688 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3608.15
CPU time (s): 3600.14
CPU user time (s): 3590.45
CPU system time (s): 9.69849
CPU usage (%): 99.7782
Max. virtual memory (cumulated for all children) (KiB): 2356244
Max. memory (cumulated for all children) (KiB): 2227688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.45
system time used= 9.69849
maximum resident set size= 2224928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5092343
page faults= 27
swaps= 0
block input operations= 2912
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 354189
involuntary context switches= 4820


# summary of solver processes directly reported to runsolver:
#   pid: 868219,868232
#   total CPU time (s): 3600.14
#   total CPU user time (s): 3590.45
#   total CPU system time (s): 9.69849

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.7167 second user time and 36.0364 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-17 00:54:52
IDJOB=4431715
IDBENCH=158491
IDSOLVER=3056
FILE ID=nodeC008/4431715-1721170480
RUNJOBID= nodeC008-1721170492-868163
SLURM_JOB_ID= 7505803
Free space on /tmp= 723768 MiB

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

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

MD5SUM BENCH= b877664571262cc35a091b0e7e24e61f
RANDOM SEED=1397950596

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		: 1197.245
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		: 1197.248
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		: 1263.104
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		: 1236.944
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		: 1200.612
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		: 1203.855
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		: 1194.617
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		: 1204.577
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:        129413208 kB
MemAvailable:   129985560 kB
Buffers:          457632 kB
Cached:           956408 kB
SwapCached:            0 kB
Active:           786644 kB
Inactive:         929076 kB
Active(anon):       1368 kB
Inactive(anon):   338024 kB
Active(file):     785276 kB
Inactive(file):   591052 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            167248 kB
Writeback:             0 kB
AnonPages:        301692 kB
Mapped:           104004 kB
Shmem:             37704 kB
KReclaimable:      72112 kB
Slab:             166872 kB
SReclaimable:      72112 kB
SUnreclaim:        94760 kB
KernelStack:        3696 kB
PageTables:         9336 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     716696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            53728 kB
HardwareCorrupted:     0 kB
AnonHugePages:    180224 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= 723644 MiB
End job on nodeC008 at 2024-07-17 01:55:01