Trace number 4485294

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
OR-Tools CP-SAT 9.14? (TO) 3600.08 1814.63

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb
MD5SUM46c70d7f28752ee0ae29660ce5b35655
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 benchmark7149108224
Best CPU time to get the best result obtained on this benchmark72002.7
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables107808
Total number of constraints3904
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3904
Minimum length of a constraint31
Maximum length of a constraint1440
Number of terms in the objective function 38688
Biggest coefficient in the objective function 348966092800
Number of bits for the biggest coefficient in the objective function 39
Sum of the numbers in the objective function 299074813804544
Number of bits of the sum of numbers in the objective function 49
Biggest number in a constraint 348966092800
Number of bits of the biggest number in a constraint 39
Biggest sum of numbers in a constraint 299074813804544
Number of bits of the biggest sum of numbers49
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.04/1814.60	s UNKNOWN

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: 63708 MiB (61150 MiB free)
  memory of node 1: 64465 MiB (63843 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485294-1751313737/watcher-4485294-1751313737 -o /tmp/evaluation-result-4485294-1751313737/solver-4485294-1751313737 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751313715-52075 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:398090333 --competition_mode --input HOME/instance-4485294-1751313737.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100062 s]*
/proc/loadavg: 2.71 1.72 2.58 8/271 52188
/proc/meminfo: memFree=127958448/131250000 swapFree=33010684/33010684
[pid=52187] ppid=52184 vsize=50416 memory=44956 CPUtime=0.1 cores=1,3
/proc/52187/stat : 52187 (cp-sat-runner) R 52184 52187 52063 0 -1 4194304 11635 0 0 0 9 1 0 0 20 0 1 0 47051299 51625984 11239 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
/proc/52187/statm: 12604 11239 1312 2102 0 10144 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50416 KiB
Current children cumulated memory: 44956 KiB

[startup+0.205921 s]*
/proc/loadavg: 2.71 1.72 2.58 8/271 52188
/proc/meminfo: memFree=127942320/131250000 swapFree=33010684/33010684
[pid=52187] ppid=52184 vsize=61888 memory=56092 CPUtime=0.2 cores=1,3
/proc/52187/stat : 52187 (cp-sat-runner) R 52184 52187 52063 0 -1 4194304 14246 0 0 0 19 1 0 0 20 0 1 0 47051299 63373312 14023 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
/proc/52187/statm: 15472 14023 1504 2102 0 13012 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 61888 KiB
Current children cumulated memory: 56092 KiB

[startup+0.305578 s]*
/proc/loadavg: 2.71 1.72 2.58 8/271 52188
/proc/meminfo: memFree=127914208/131250000 swapFree=33010684/33010684
[pid=52187] ppid=52184 vsize=61888 memory=56220 CPUtime=0.3 cores=1,3
/proc/52187/stat : 52187 (cp-sat-runner) R 52184 52187 52063 0 -1 4194304 14247 0 0 0 29 1 0 0 20 0 1 0 47051299 63373312 14055 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
/proc/52187/statm: 15472 14055 1536 2102 0 13012 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 61888 KiB
Current children cumulated memory: 56220 KiB

[startup+0.700187 s]
/proc/loadavg: 2.71 1.72 2.58 8/271 52188
/proc/meminfo: memFree=127906144/131250000 swapFree=33010684/33010684
[pid=52187] ppid=52184 vsize=168432 memory=155848 CPUtime=0.69 cores=1,3
/proc/52187/stat : 52187 (cp-sat-runner) R 52184 52187 52063 0 -1 4194304 46161 0 0 0 61 8 0 0 20 0 1 0 47051299 172474368 38433 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
/proc/52187/statm: 42108 38433 1856 2102 0 39648 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 168432 KiB
Current children cumulated memory: 155848 KiB

[startup+1.50016 s]
/proc/loadavg: 2.71 1.72 2.58 8/271 52188
/proc/meminfo: memFree=127821528/131250000 swapFree=33010684/33010684
[pid=52187] ppid=52184 vsize=158560 memory=150364 CPUtime=1.48 cores=1,3
/proc/52187/stat : 52187 (cp-sat-runner) R 52184 52187 52063 0 -1 4194304 47741 0 0 0 140 8 0 0 20 0 1 0 47051299 162365440 37591 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
/proc/52187/statm: 39640 37591 1920 2102 0 37180 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 158560 KiB
Current children cumulated memory: 150364 KiB

[startup+3.10545 s]
/proc/loadavg: 3.05 1.81 2.60 8/271 52188
/proc/meminfo: memFree=127825908/131250000 swapFree=33010684/33010684
[pid=52187] ppid=52184 vsize=183916 memory=174748 CPUtime=3.08 cores=1,3
/proc/52187/stat : 52187 (cp-sat-runner) R 52184 52187 52063 0 -1 4194304 50798 0 0 0 299 9 0 0 20 0 1 0 47051299 188329984 43687 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
/proc/52187/statm: 45979 43687 1920 2102 0 43519 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 183916 KiB
Current children cumulated memory: 174748 KiB

[startup+6.30022 s]
/proc/loadavg: 3.05 1.81 2.60 9/273 52190
/proc/meminfo: memFree=127564312/131250000 swapFree=33010684/33010684
[pid=52187] ppid=52184 vsize=571700 memory=443744 CPUtime=8.71 cores=1,3
/proc/52187/stat : 52187 (cp-sat-runner) S 52184 52187 52063 0 -1 4194304 134687 0 0 0 849 22 0 0 20 0 3 0 47051299 585420800 110936 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
/proc/52187/statm: 142925 110936 2144 2102 0 118724 0
[pid=52187/tid=52189] ppid=52184 vsize=571700 memory=436704 CPUtime=2.46 cores=1,3
/proc/52187/task/52189/stat : 52189 (cp-sat-runner) R 52184 52187 52063 0 -1 4194368 44434 0 0 0 240 6 0 0 20 0 3 0 47051680 585420800 110936 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
[pid=52187/tid=52190] ppid=52184 vsize=571700 memory=17664 CPUtime=2.43 cores=1,3
/proc/52187/task/52190/stat : 52190 (cp-sat-runner) R 52184 52187 52063 0 -1 4194368 38845 0 0 0 238 5 0 0 20 0 3 0 47051680 585420800 110936 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
Current children cumulated CPU time: 8.71 s
Current children cumulated vsize: 571700 KiB
Current children cumulated memory: 443744 KiB

[startup+12.7002 s]
/proc/loadavg: 3.82 2.01 2.66 9/273 52190
/proc/meminfo: memFree=127493184/131250000 swapFree=33010684/33010684
[pid=52187] ppid=52184 vsize=571700 memory=470240 CPUtime=21.42 cores=1,3
/proc/52187/stat : 52187 (cp-sat-runner) S 52184 52187 52063 0 -1 4194304 215799 0 0 0 2116 26 0 0 20 0 3 0 47051299 585420800 117560 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
/proc/52187/statm: 142925 117560 2144 2102 0 125351 0
[pid=52187/tid=52189] ppid=52184 vsize=571700 memory=469472 CPUtime=8.84 cores=1,3
/proc/52187/task/52189/stat : 52189 (cp-sat-runner) R 52184 52187 52063 0 -1 4194368 82647 0 0 0 876 8 0 0 20 0 3 0 47051680 585420800 117560 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
[pid=52187/tid=52190] ppid=52184 vsize=571700 memory=-8183430263276278719 CPUtime=8.75 cores=1,3
/proc/52187/task/52190/stat : 52190 (cp-sat-runner) R 52184 52187 52063 0 -1 4194368 72304 0 0 0 868 7 0 0 20 0 3 0 47051680 585420800 117560 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
Current children cumulated CPU time: 21.42 s
Current children cumulated vsize: 571700 KiB
Current children cumulated memory: 470240 KiB

[startup+25.5002 s]
/proc/loadavg: 4.46 2.21 2.72 9/273 52190
/proc/meminfo: memFree=127303100/131250000 swapFree=33010684/33010684
[pid=52187] ppid=52184 vsize=768308 memory=661120 CPUtime=46.85 cores=1,3
/proc/52187/stat : 52187 (cp-sat-runner) S 52184 52187 52063 0 -1 4194304 286597 0 0 0 4648 37 0 0 20 0 3 0 47051299 786747392 165280 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
/proc/52187/statm: 192077 165280 2144 2102 0 173775 0
[pid=52187/tid=52189] ppid=52184 vsize=768308 memory=-8183430263276278719 CPUtime=21.61 cores=1,3
/proc/52187/task/52189/stat : 52189 (cp-sat-runner) R 52184 52187 52063 0 -1 4194368 111764 0 0 0 2149 12 0 0 20 0 3 0 47051680 786747392 165280 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
[pid=52187/tid=52190] ppid=52184 vsize=768308 memory=150364 CPUtime=21.38 cores=1,3
/proc/52187/task/52190/stat : 52190 (cp-sat-runner) R 52184 52187 52063 0 -1 4194368 110470 0 0 0 2124 14 0 0 20 0 3 0 47051680 786747392 165280 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
Current children cumulated CPU time: 46.85 s
Current children cumulated vsize: 768308 KiB
Current children cumulated memory: 661120 KiB

[startup+51.1056 s]
/proc/loadavg: 5.73 2.69 2.86 9/273 52190
/proc/meminfo: memFree=127175896/131250000 swapFree=33010684/33010684
[pid=52187] ppid=52184 vsize=833844 memory=749780 CPUtime=97.7 cores=1,3
/proc/52187/stat : 52187 (cp-sat-runner) S 52184 52187 52063 0 -1 4194304 427446 0 0 0 9721 49 0 0 20 0 3 0 47051299 853856256 187445 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
/proc/52187/statm: 208461 187445 2144 2102 0 195418 0
[pid=52187/tid=52189] ppid=52184 vsize=833844 memory=14432 CPUtime=47.11 cores=1,3
/proc/52187/task/52189/stat : 52189 (cp-sat-runner) R 52184 52187 52063 0 -1 4194368 161498 0 0 0 4694 17 0 0 20 0 3 0 47051680 853856256 187445 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
[pid=52187/tid=52190] ppid=52184 vsize=833844 memory=-8183430263276278719 CPUtime=46.69 cores=1,3
/proc/52187/task/52190/stat : 52190 (cp-sat-runner) R 52184 52187 52063 0 -1 4194368 194514 0 0 0 4648 21 0 0 20 0 3 0 47051680 853856256 187445 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
Current children cumulated CPU time: 97.7 s
Current children cumulated vsize: 833844 KiB
Current children cumulated memory: 749780 KiB

[startup+102.3 s]
/proc/loadavg: 7.15 3.60 3.17 9/273 52192
/proc/meminfo: memFree=127147728/131250000 swapFree=33010684/33010684
[pid=52187] ppid=52184 vsize=833844 memory=733792 CPUtime=199.4 cores=1,3
/proc/52187/stat : 52187 (cp-sat-runner) S 52184 52187 52063 0 -1 4194304 567543 0 0 0 19879 61 0 0 20 0 3 0 47051299 853856256 183448 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
/proc/52187/statm: 208461 183448 2144 2102 0 191242 0
[pid=52187/tid=52189] ppid=52184 vsize=833844 memory=14432 CPUtime=98.13 cores=1,3
/proc/52187/task/52189/stat : 52189 (cp-sat-runner) R 52184 52187 52063 0 -1 4194368 206999 0 0 0 9791 22 0 0 20 0 3 0 47051680 853856256 183448 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
[pid=52187/tid=52190] ppid=52184 vsize=833844 memory=713116 CPUtime=97.35 cores=1,3
/proc/52187/task/52190/stat : 52190 (cp-sat-runner) R 52184 52187 52063 0 -1 4194368 289022 0 0 0 9707 28 0 0 20 0 3 0 47051680 853856256 183448 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
Current children cumulated CPU time: 199.4 s
Current children cumulated vsize: 833844 KiB
Current children cumulated memory: 733792 KiB

[startup+162.3 s]
/proc/loadavg: 7.73 4.42 3.48 9/273 52194
/proc/meminfo: memFree=127055404/131250000 swapFree=33010684/33010684
[pid=52187] ppid=52184 vsize=833844 memory=776396 CPUtime=318.51 cores=1,3
/proc/52187/stat : 52187 (cp-sat-runner) S 52184 52187 52063 0 -1 4194304 636301 0 0 0 31785 66 0 0 20 0 3 0 47051299 853856256 194099 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
/proc/52187/statm: 208461 194099 2144 2102 0 202041 0
[pid=52187/tid=52189] ppid=52184 vsize=833844 memory=752480 CPUtime=157.89 cores=1,3
/proc/52187/task/52189/stat : 52189 (cp-sat-runner) R 52184 52187 52063 0 -1 4194368 227966 0 0 0 15766 23 0 0 20 0 3 0 47051680 853856256 194099 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
[pid=52187/tid=52190] ppid=52184 vsize=833844 memory=733792 CPUtime=156.67 cores=1,3
/proc/52187/task/52190/stat : 52190 (cp-sat-runner) R 52184 52187 52063 0 -1 4194368 336768 0 0 0 15637 30 0 0 20 0 3 0 47051680 853856256 194099 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
Current children cumulated CPU time: 318.51 s
Current children cumulated vsize: 833844 KiB
Current children cumulated memory: 776396 KiB

[startup+222.3 s]
/proc/loadavg: 8.01 5.10 3.77 9/274 52203
/proc/meminfo: memFree=126692024/131250000 swapFree=33010684/33010684
[pid=52187] ppid=52184 vsize=1227060 memory=1127612 CPUtime=437.61 cores=1,3
/proc/52187/stat : 52187 (cp-sat-runner) S 52184 52187 52063 0 -1 4194304 794467 0 0 0 43675 86 0 0 20 0 3 0 47051299 1256509440 281903 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
/proc/52187/statm: 306765 281903 2144 2102 0 289678 0
[pid=52187/tid=52189] ppid=52184 vsize=1227060 memory=1127612 CPUtime=217.66 cores=1,3
/proc/52187/task/52189/stat : 52189 (cp-sat-runner) R 52184 52187 52063 0 -1 4194368 338169 0 0 0 21726 40 0 0 20 0 3 0 47051680 1256509440 281903 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
[pid=52187/tid=52190] ppid=52184 vsize=1227060 memory=14432 CPUtime=215.99 cores=1,3
/proc/52187/task/52190/stat : 52190 (cp-sat-runner) R 52184 52187 52063 0 -1 4194368 384693 0 0 0 21565 34 0 0 20 0 3 0 47051680 1256509440 281903 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
Current children cumulated CPU time: 437.61 s
Current children cumulated vsize: 1227060 KiB
Current children cumulated memory: 1127612 KiB

[startup+282.3 s]
/proc/loadavg: 8.05 5.65 4.05 9/273 52206
/proc/meminfo: memFree=126613900/131250000 swapFree=33010684/33010684
[pid=52187] ppid=52184 vsize=1227060 memory=1128444 CPUtime=556.73 cores=1,3
/proc/52187/stat : 52187 (cp-sat-runner) S 52184 52187 52063 0 -1 4194304 857967 0 0 0 55579 94 0 0 20 0 3 0 47051299 1256509440 282111 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
/proc/52187/statm: 306765 282111 2144 2102 0 289678 0
[pid=52187/tid=52189] ppid=52184 vsize=1227060 memory=1128444 CPUtime=277.43 cores=1,3
/proc/52187/task/52189/stat : 52189 (cp-sat-runner) R 52184 52187 52063 0 -1 4194368 349729 0 0 0 27702 41 0 0 20 0 3 0 47051680 1256509440 282111 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0

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

Current children cumulated memory: 1171376 KiB

[startup+1302.3 s]
/proc/loadavg: 8.09 8.04 6.79 9/271 52252
/proc/meminfo: memFree=126411288/131250000 swapFree=33010684/33010684
[pid=52187] ppid=52184 vsize=1259804 memory=1171376 CPUtime=2582.33 cores=1,3
/proc/52187/stat : 52187 (cp-sat-runner) S 52184 52187 52063 0 -1 4194304 1905611 0 0 0 258010 223 0 0 20 0 3 0 47051299 1290039296 292844 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
/proc/52187/statm: 314951 292844 2144 2102 0 300275 0
[pid=52187/tid=52189] ppid=52184 vsize=1259804 memory=1171376 CPUtime=1293.79 cores=1,3
/proc/52187/task/52189/stat : 52189 (cp-sat-runner) R 52184 52187 52063 0 -1 4194368 636557 0 0 0 129320 59 0 0 20 0 3 0 47051680 1290039296 292844 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
[pid=52187/tid=52190] ppid=52184 vsize=1259804 memory=14432 CPUtime=1283.96 cores=1,3
/proc/52187/task/52190/stat : 52190 (cp-sat-runner) R 52184 52187 52063 0 -1 4194368 1181769 0 0 0 128254 142 0 0 20 0 3 0 47051680 1290039296 292844 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
Current children cumulated CPU time: 2582.33 s
Current children cumulated vsize: 1259804 KiB
Current children cumulated memory: 1171376 KiB

[startup+1362.3 s]
/proc/loadavg: 8.07 8.04 6.88 9/271 52254
/proc/meminfo: memFree=126412148/131250000 swapFree=33010684/33010684
[pid=52187] ppid=52184 vsize=1259804 memory=1171376 CPUtime=2701.54 cores=1,3
/proc/52187/stat : 52187 (cp-sat-runner) S 52184 52187 52063 0 -1 4194304 1935554 0 0 0 269927 227 0 0 20 0 3 0 47051299 1290039296 292844 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
/proc/52187/statm: 314951 292844 2144 2102 0 300275 0
[pid=52187/tid=52189] ppid=52184 vsize=1259804 memory=1171376 CPUtime=1353.59 cores=1,3
/proc/52187/task/52189/stat : 52189 (cp-sat-runner) R 52184 52187 52063 0 -1 4194368 663096 0 0 0 135298 61 0 0 20 0 3 0 47051680 1290039296 292844 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
[pid=52187/tid=52190] ppid=52184 vsize=1259804 memory=4252 CPUtime=1343.34 cores=1,3
/proc/52187/task/52190/stat : 52190 (cp-sat-runner) R 52184 52187 52063 0 -1 4194368 1185134 0 0 0 134191 143 0 0 20 0 3 0 47051680 1290039296 292844 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
Current children cumulated CPU time: 2701.54 s
Current children cumulated vsize: 1259804 KiB
Current children cumulated memory: 1171376 KiB

[startup+1422.3 s]
/proc/loadavg: 8.12 8.06 6.96 9/272 52264
/proc/meminfo: memFree=126409008/131250000 swapFree=33010684/33010684
[pid=52187] ppid=52184 vsize=1259804 memory=1171376 CPUtime=2820.73 cores=1,3
/proc/52187/stat : 52187 (cp-sat-runner) S 52184 52187 52063 0 -1 4194304 1968012 0 0 0 281841 232 0 0 20 0 3 0 47051299 1290039296 292844 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
/proc/52187/statm: 314951 292844 2144 2102 0 300275 0
[pid=52187/tid=52189] ppid=52184 vsize=1259804 memory=1171376 CPUtime=1413.37 cores=1,3
/proc/52187/task/52189/stat : 52189 (cp-sat-runner) R 52184 52187 52063 0 -1 4194368 685007 0 0 0 141273 64 0 0 20 0 3 0 47051680 1290039296 292844 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
[pid=52187/tid=52190] ppid=52184 vsize=1259804 memory=1171376 CPUtime=1402.71 cores=1,3
/proc/52187/task/52190/stat : 52190 (cp-sat-runner) R 52184 52187 52063 0 -1 4194368 1194049 0 0 0 140126 145 0 0 20 0 3 0 47051680 1290039296 292844 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
Current children cumulated CPU time: 2820.73 s
Current children cumulated vsize: 1259804 KiB
Current children cumulated memory: 1171376 KiB

[startup+1482.3 s]
/proc/loadavg: 8.12 8.07 7.03 9/272 52266
/proc/meminfo: memFree=126430740/131250000 swapFree=33010684/33010684
[pid=52187] ppid=52184 vsize=1259804 memory=1171376 CPUtime=2939.92 cores=1,3
/proc/52187/stat : 52187 (cp-sat-runner) S 52184 52187 52063 0 -1 4194304 2006826 0 0 0 293754 238 0 0 20 0 3 0 47051299 1290039296 292844 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
/proc/52187/statm: 314951 292844 2144 2102 0 300275 0
[pid=52187/tid=52189] ppid=52184 vsize=1259804 memory=1171376 CPUtime=1473.16 cores=1,3
/proc/52187/task/52189/stat : 52189 (cp-sat-runner) R 52184 52187 52063 0 -1 4194368 712578 0 0 0 147250 66 0 0 20 0 3 0 47051680 1290039296 292844 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
[pid=52187/tid=52190] ppid=52184 vsize=1259804 memory=10624 CPUtime=1462.1 cores=1,3
/proc/52187/task/52190/stat : 52190 (cp-sat-runner) R 52184 52187 52063 0 -1 4194368 1205240 0 0 0 146061 149 0 0 20 0 3 0 47051680 1290039296 292844 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
Current children cumulated CPU time: 2939.92 s
Current children cumulated vsize: 1259804 KiB
Current children cumulated memory: 1171376 KiB

[startup+1542.3 s]
/proc/loadavg: 8.52 8.18 7.14 9/273 52269
/proc/meminfo: memFree=126419472/131250000 swapFree=33010684/33010684
[pid=52187] ppid=52184 vsize=1259804 memory=1171376 CPUtime=3059.11 cores=1,3
/proc/52187/stat : 52187 (cp-sat-runner) S 52184 52187 52063 0 -1 4194304 2028466 0 0 0 305669 242 0 0 20 0 3 0 47051299 1290039296 292844 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
/proc/52187/statm: 314951 292844 2144 2102 0 300275 0
[pid=52187/tid=52189] ppid=52184 vsize=1259804 memory=1171376 CPUtime=1532.95 cores=1,3
/proc/52187/task/52189/stat : 52189 (cp-sat-runner) R 52184 52187 52063 0 -1 4194368 725180 0 0 0 153228 67 0 0 20 0 3 0 47051680 1290039296 292844 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
[pid=52187/tid=52190] ppid=52184 vsize=1259804 memory=14432 CPUtime=1521.5 cores=1,3
/proc/52187/task/52190/stat : 52190 (cp-sat-runner) R 52184 52187 52063 0 -1 4194368 1214272 0 0 0 151998 152 0 0 20 0 3 0 47051680 1290039296 292844 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
Current children cumulated CPU time: 3059.11 s
Current children cumulated vsize: 1259804 KiB
Current children cumulated memory: 1171376 KiB

[startup+1602.3 s]
/proc/loadavg: 8.25 8.16 7.20 9/273 52271
/proc/meminfo: memFree=126393396/131250000 swapFree=33010684/33010684
[pid=52187] ppid=52184 vsize=1259804 memory=1171376 CPUtime=3178.3 cores=1,3
/proc/52187/stat : 52187 (cp-sat-runner) S 52184 52187 52063 0 -1 4194304 2077960 0 0 0 317582 248 0 0 20 0 3 0 47051299 1290039296 292844 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
/proc/52187/statm: 314951 292844 2144 2102 0 300275 0
[pid=52187/tid=52189] ppid=52184 vsize=1259804 memory=1171376 CPUtime=1592.73 cores=1,3
/proc/52187/task/52189/stat : 52189 (cp-sat-runner) R 52184 52187 52063 0 -1 4194368 760436 0 0 0 159204 69 0 0 20 0 3 0 47051680 1290039296 292844 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
[pid=52187/tid=52190] ppid=52184 vsize=1259804 memory=1171376 CPUtime=1580.87 cores=1,3
/proc/52187/task/52190/stat : 52190 (cp-sat-runner) R 52184 52187 52063 0 -1 4194368 1226846 0 0 0 157932 155 0 0 20 0 3 0 47051680 1290039296 292844 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
Current children cumulated CPU time: 3178.3 s
Current children cumulated vsize: 1259804 KiB
Current children cumulated memory: 1171376 KiB

[startup+1662.3 s]
/proc/loadavg: 8.13 8.14 7.26 9/273 52273
/proc/meminfo: memFree=126320392/131250000 swapFree=33010684/33010684
[pid=52187] ppid=52184 vsize=1259804 memory=1171376 CPUtime=3297.5 cores=1,3
/proc/52187/stat : 52187 (cp-sat-runner) S 52184 52187 52063 0 -1 4194304 2105198 0 0 0 329496 254 0 0 20 0 3 0 47051299 1290039296 292844 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
/proc/52187/statm: 314951 292844 2144 2102 0 300275 0
[pid=52187/tid=52189] ppid=52184 vsize=1259804 memory=1171376 CPUtime=1652.52 cores=1,3
/proc/52187/task/52189/stat : 52189 (cp-sat-runner) R 52184 52187 52063 0 -1 4194368 778885 0 0 0 165181 71 0 0 20 0 3 0 47051680 1290039296 292844 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
[pid=52187/tid=52190] ppid=52184 vsize=1259804 memory=-4050210904893472916 CPUtime=1640.27 cores=1,3
/proc/52187/task/52190/stat : 52190 (cp-sat-runner) R 52184 52187 52063 0 -1 4194368 1235626 0 0 0 163868 159 0 0 20 0 3 0 47051680 1290039296 292844 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
Current children cumulated CPU time: 3297.5 s
Current children cumulated vsize: 1259804 KiB
Current children cumulated memory: 1171376 KiB

[startup+1722.3 s]
/proc/loadavg: 8.19 8.16 7.32 9/271 52276
/proc/meminfo: memFree=126406964/131250000 swapFree=33010684/33010684
[pid=52187] ppid=52184 vsize=1259804 memory=1171376 CPUtime=3416.7 cores=1,3
/proc/52187/stat : 52187 (cp-sat-runner) S 52184 52187 52063 0 -1 4194304 2141301 0 0 0 341411 259 0 0 20 0 3 0 47051299 1290039296 292844 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
/proc/52187/statm: 314951 292844 2144 2102 0 300275 0
[pid=52187/tid=52189] ppid=52184 vsize=1259804 memory=1171376 CPUtime=1712.31 cores=1,3
/proc/52187/task/52189/stat : 52189 (cp-sat-runner) R 52184 52187 52063 0 -1 4194368 802506 0 0 0 171158 73 0 0 20 0 3 0 47051680 1290039296 292844 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
[pid=52187/tid=52190] ppid=52184 vsize=1259804 memory=1171376 CPUtime=1699.66 cores=1,3
/proc/52187/task/52190/stat : 52190 (cp-sat-runner) R 52184 52187 52063 0 -1 4194368 1248070 0 0 0 169805 161 0 0 20 0 3 0 47051680 1290039296 292844 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
Current children cumulated CPU time: 3416.7 s
Current children cumulated vsize: 1259804 KiB
Current children cumulated memory: 1171376 KiB

[startup+1782.3 s]
/proc/loadavg: 8.12 8.14 7.37 9/272 52279
/proc/meminfo: memFree=126420388/131250000 swapFree=33010684/33010684
[pid=52187] ppid=52184 vsize=1259804 memory=1171376 CPUtime=3535.9 cores=1,3
/proc/52187/stat : 52187 (cp-sat-runner) S 52184 52187 52063 0 -1 4194304 2161312 0 0 0 353326 264 0 0 20 0 3 0 47051299 1290039296 292844 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
/proc/52187/statm: 314951 292844 2144 2102 0 300275 0
[pid=52187/tid=52189] ppid=52184 vsize=1259804 memory=1171376 CPUtime=1772.1 cores=1,3
/proc/52187/task/52189/stat : 52189 (cp-sat-runner) R 52184 52187 52063 0 -1 4194368 814888 0 0 0 177136 74 0 0 20 0 3 0 47051680 1290039296 292844 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
[pid=52187/tid=52190] ppid=52184 vsize=1259804 memory=1171376 CPUtime=1759.06 cores=1,3
/proc/52187/task/52190/stat : 52190 (cp-sat-runner) R 52184 52187 52063 0 -1 4194368 1255695 0 0 0 175742 164 0 0 20 0 3 0 47051680 1290039296 292844 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
Current children cumulated CPU time: 3535.9 s
Current children cumulated vsize: 1259804 KiB
Current children cumulated memory: 1171376 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1814.6 s]
/proc/loadavg: 7.96 8.10 7.38 9/271 52420
/proc/meminfo: memFree=126681836/131250000 swapFree=33010684/33010684
[pid=52187] ppid=52184 vsize=1259804 memory=1171380 CPUtime=3600.04 cores=1,3
/proc/52187/stat : 52187 (cp-sat-runner) S 52184 52187 52063 0 -1 4194304 2188196 0 0 0 359738 266 0 0 20 0 3 0 47051299 1290039296 292845 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
/proc/52187/statm: 314951 292845 2144 2102 0 300275 0
[pid=52187/tid=52189] ppid=52184 vsize=1259804 memory=17664 CPUtime=1804.28 cores=1,3
/proc/52187/task/52189/stat : 52189 (cp-sat-runner) R 52184 52187 52063 0 -1 4194368 831809 0 0 0 180353 75 0 0 20 0 3 0 47051680 1290039296 292845 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
[pid=52187/tid=52190] ppid=52184 vsize=1259804 memory=10624 CPUtime=1791.01 cores=1,3
/proc/52187/task/52190/stat : 52190 (cp-sat-runner) R 52184 52187 52063 0 -1 4194368 1265633 0 0 0 178936 165 0 0 20 0 3 0 47051680 1290039296 292845 18446744073709551615 4198400 12805993 140735402384176 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 21999616 140735402387737 140735402387941 140735402387941 140735402393543 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1259804 KiB
Current children cumulated memory: 1171380 KiB

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

[startup+1814.63 s]
# the end of solver process 52187 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3597.39 s, system=2.69053 s

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

Child status: 0

Real time (s): 1814.63
CPU time (s): 3600.08
CPU user time (s): 3597.39
CPU system time (s): 2.69053
CPU usage (%): 198.392
Max. virtual memory (cumulated for all children) (KiB): 1325340
Max. memory (cumulated for all children) (KiB): 1204804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.39
system time used= 2.69053
maximum resident set size= 1205788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2188203
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= 20702
involuntary context switches= 149708


# summary of solver processes directly reported to runsolver:
#   pid: 52187
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3597.39
#   total CPU system time (s): 2.69053

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.01233 second user time and 7.48203 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-06-30 22:02:17
IDJOB=4485294
IDBENCH=146784
IDSOLVER=3320
FILE ID=nodeC016/4485294-1751313737
RUNJOBID= nodeC016-1751313715-52075
SLURM_JOB_ID= 9594315
Free space on /tmp= 433016 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb
COMMAND LINE= cp-sat-runner --params num_workers:NBCORE,log_search_progress:false,max_time_in_seconds:TIMEOUT,random_seed:RANDOMSEED --competition_mode --input BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485294-1751313737/watcher-4485294-1751313737 -o /tmp/evaluation-result-4485294-1751313737/solver-4485294-1751313737 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751313715-52075 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:398090333 --competition_mode --input HOME/instance-4485294-1751313737.opb

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

MD5SUM BENCH= 46c70d7f28752ee0ae29660ce5b35655
RANDOM SEED=398090333

nodeC016 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.082
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.759
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.354
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3621.824
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.891
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.735
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.519
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.731
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127994268 kB
MemAvailable:   128923352 kB
Buffers:            3280 kB
Cached:          1732256 kB
SwapCached:            0 kB
Active:          1181072 kB
Inactive:        1462084 kB
Active(anon):     925692 kB
Inactive(anon):        0 kB
Active(file):     255380 kB
Inactive(file):  1462084 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             17296 kB
Writeback:            12 kB
AnonPages:        910808 kB
Mapped:           129500 kB
Shmem:             18072 kB
KReclaimable:     101720 kB
Slab:             189644 kB
SReclaimable:     101720 kB
SUnreclaim:        87924 kB
KernelStack:        4368 kB
PageTables:         4824 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    1342780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    284672 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433004 MiB
End job on nodeC016 at 2025-06-30 22:32:32