Trace number 4503224

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 NameAnswerCPU timeWall clock time
OR-Tools CP-SAT 9.14? (TO) 3600.22 1814.42

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-89.opb
MD5SUM18b53876a62b8c6712d354fac2089947
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1418.99
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10086
Total number of constraints226240
Number of constraints which are clauses203302
Number of constraints which are cardinality constraints (but not clauses)720
Number of constraints which are nor clauses,nor cardinality constraints22218
Minimum length of a constraint2
Maximum length of a constraint231
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 232
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.18/1814.40	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 (63063 MiB free)
  memory of node 1: 64465 MiB (63455 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503224-1751138212/watcher-4503224-1751138212 -o /tmp/evaluation-result-4503224-1751138212/solver-4503224-1751138212 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751133631-11334 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:672258685 --competition_mode --input HOME/instance-4503224-1751138212.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=18626, runsolver pid=18623

[startup+0.100061 s]*
/proc/loadavg: 8.18 8.10 8.02 8/270 18627
/proc/meminfo: memFree=129519796/131249992 swapFree=33010684/33010684
[pid=18626] ppid=18623 vsize=51916 memory=45268 CPUtime=0.09 cores=0,2
/proc/18626/stat : 18626 (cp-sat-runner) R 18623 18626 11319 0 -1 4194304 10341 0 0 0 8 1 0 0 20 0 1 0 29500019 53161984 11317 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
/proc/18626/statm: 12979 11317 1088 2102 0 10519 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51916 KiB
Current children cumulated memory: 45268 KiB

[startup+0.20542 s]*
/proc/loadavg: 8.18 8.10 8.02 8/270 18627
/proc/meminfo: memFree=129479728/131249992 swapFree=33010684/33010684
[pid=18626] ppid=18623 vsize=93304 memory=86128 CPUtime=0.2 cores=0,2
/proc/18626/stat : 18626 (cp-sat-runner) R 18623 18626 11319 0 -1 4194304 19537 0 0 0 18 2 0 0 20 0 1 0 29500019 95543296 21532 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
/proc/18626/statm: 23326 21532 1088 2102 0 20866 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 93304 KiB
Current children cumulated memory: 86128 KiB

[startup+0.30547 s]*
/proc/loadavg: 8.18 8.10 8.02 8/270 18627
/proc/meminfo: memFree=129411120/131249992 swapFree=33010684/33010684
[pid=18626] ppid=18623 vsize=145296 memory=140140 CPUtime=0.29 cores=0,2
/proc/18626/stat : 18626 (cp-sat-runner) R 18623 18626 11319 0 -1 4194304 35061 0 0 0 25 4 0 0 20 0 1 0 29500019 148783104 35035 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
/proc/18626/statm: 36324 35035 1280 2102 0 33864 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 145296 KiB
Current children cumulated memory: 140140 KiB

[startup+0.700168 s]
/proc/loadavg: 8.18 8.10 8.02 8/270 18627
/proc/meminfo: memFree=129395244/131249992 swapFree=33010684/33010684
[pid=18626] ppid=18623 vsize=182532 memory=173620 CPUtime=0.68 cores=0,2
/proc/18626/stat : 18626 (cp-sat-runner) R 18623 18626 11319 0 -1 4194304 41182 0 0 0 63 5 0 0 20 0 1 0 29500019 186912768 43405 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
/proc/18626/statm: 45633 43405 1504 2102 0 43173 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 182532 KiB
Current children cumulated memory: 173620 KiB

[startup+1.50017 s]
/proc/loadavg: 8.18 8.10 8.02 8/270 18627
/proc/meminfo: memFree=129371304/131249992 swapFree=33010684/33010684
[pid=18626] ppid=18623 vsize=222328 memory=213772 CPUtime=1.49 cores=0,2
/proc/18626/stat : 18626 (cp-sat-runner) R 18623 18626 11319 0 -1 4194304 57582 0 0 0 140 9 0 0 20 0 1 0 29500019 227663872 53443 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
/proc/18626/statm: 55582 53443 1760 2102 0 53122 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 222328 KiB
Current children cumulated memory: 213772 KiB

[startup+3.1053 s]
/proc/loadavg: 8.18 8.10 8.02 8/270 18627
/proc/meminfo: memFree=129217592/131249992 swapFree=33010684/33010684
[pid=18626] ppid=18623 vsize=361892 memory=350568 CPUtime=3.09 cores=0,2
/proc/18626/stat : 18626 (cp-sat-runner) R 18623 18626 11319 0 -1 4194304 79965 0 0 0 295 14 0 0 20 0 1 0 29500019 370577408 87642 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
/proc/18626/statm: 90473 87642 1888 2102 0 88013 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 361892 KiB
Current children cumulated memory: 350568 KiB

[startup+6.30022 s]
/proc/loadavg: 8.09 8.09 8.01 9/272 18629
/proc/meminfo: memFree=128689908/131249992 swapFree=33010684/33010684
[pid=18626] ppid=18623 vsize=859596 memory=743676 CPUtime=8.17 cores=0,2
/proc/18626/stat : 18626 (cp-sat-runner) S 18623 18626 11319 0 -1 4194304 149420 0 0 0 786 31 0 0 20 0 3 0 29500019 880226304 185919 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
/proc/18626/statm: 214899 185919 2144 2102 0 193856 0
[pid=18626/tid=18628] ppid=18623 vsize=859596 memory=17408 CPUtime=1.91 cores=0,2
/proc/18626/task/18628/stat : 18628 (cp-sat-runner) R 18623 18626 11319 0 -1 4194368 40972 0 0 0 183 8 0 0 20 0 3 0 29500454 880226304 185919 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
[pid=18626/tid=18629] ppid=18623 vsize=859596 memory=243328 CPUtime=1.91 cores=0,2
/proc/18626/task/18629/stat : 18629 (cp-sat-runner) R 18623 18626 11319 0 -1 4194368 23274 0 0 0 184 7 0 0 20 0 3 0 29500454 880226304 185919 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
Current children cumulated CPU time: 8.17 s
Current children cumulated vsize: 859596 KiB
Current children cumulated memory: 743676 KiB

[startup+12.7002 s]
/proc/loadavg: 8.08 8.08 8.01 9/272 18629
/proc/meminfo: memFree=128682428/131249992 swapFree=33010684/33010684
[pid=18626] ppid=18623 vsize=859596 memory=778260 CPUtime=20.86 cores=0,2
/proc/18626/stat : 18626 (cp-sat-runner) S 18623 18626 11319 0 -1 4194304 239384 0 0 0 2044 42 0 0 20 0 3 0 29500019 880226304 194565 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
/proc/18626/statm: 214899 194565 2144 2102 0 202341 0
[pid=18626/tid=18628] ppid=18623 vsize=859596 memory=243328 CPUtime=8.24 cores=0,2
/proc/18626/task/18628/stat : 18628 (cp-sat-runner) R 18623 18626 11319 0 -1 4194368 81654 0 0 0 812 12 0 0 20 0 3 0 29500454 880226304 194565 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
[pid=18626/tid=18629] ppid=18623 vsize=859596 memory=0 CPUtime=8.28 cores=0,2
/proc/18626/task/18629/stat : 18629 (cp-sat-runner) R 18623 18626 11319 0 -1 4194368 72513 0 0 0 813 15 0 0 20 0 3 0 29500454 880226304 194565 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
Current children cumulated CPU time: 20.86 s
Current children cumulated vsize: 859596 KiB
Current children cumulated memory: 778260 KiB

[startup+25.5002 s]
/proc/loadavg: 8.06 8.08 8.01 9/271 18629
/proc/meminfo: memFree=128692544/131249992 swapFree=33010684/33010684
[pid=18626] ppid=18623 vsize=1034748 memory=880820 CPUtime=46.28 cores=0,2
/proc/18626/stat : 18626 (cp-sat-runner) S 18623 18626 11319 0 -1 4194304 317028 0 0 0 4569 59 0 0 20 0 3 0 29500019 1059581952 220205 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
/proc/18626/statm: 258687 220205 2144 2102 0 242532 0
[pid=18626/tid=18628] ppid=18623 vsize=1034748 memory=828164 CPUtime=20.9 cores=0,2
/proc/18626/task/18628/stat : 18628 (cp-sat-runner) R 18623 18626 11319 0 -1 4194368 92621 0 0 0 2077 13 0 0 20 0 3 0 29500454 1059581952 220205 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
[pid=18626/tid=18629] ppid=18623 vsize=1034748 memory=919092 CPUtime=21.03 cores=0,2
/proc/18626/task/18629/stat : 18629 (cp-sat-runner) R 18623 18626 11319 0 -1 4194368 139110 0 0 0 2073 30 0 0 20 0 3 0 29500454 1059581952 220205 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
Current children cumulated CPU time: 46.28 s
Current children cumulated vsize: 1034748 KiB
Current children cumulated memory: 880820 KiB

[startup+51.1053 s]
/proc/loadavg: 8.04 8.07 8.01 9/271 18630
/proc/meminfo: memFree=128645944/131249992 swapFree=33010684/33010684
[pid=18626] ppid=18623 vsize=990668 memory=880668 CPUtime=97.13 cores=0,2
/proc/18626/stat : 18626 (cp-sat-runner) S 18623 18626 11319 0 -1 4194304 371944 0 0 0 9632 81 0 0 20 0 3 0 29500019 1014444032 220167 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
/proc/18626/statm: 247667 220167 2144 2102 0 234812 0
[pid=18626/tid=18628] ppid=18623 vsize=990668 memory=920076 CPUtime=46.24 cores=0,2
/proc/18626/task/18628/stat : 18628 (cp-sat-runner) R 18623 18626 11319 0 -1 4194368 107564 0 0 0 4609 15 0 0 20 0 3 0 29500454 1014444032 220167 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
[pid=18626/tid=18629] ppid=18623 vsize=990668 memory=-5847698868034427689 CPUtime=46.54 cores=0,2
/proc/18626/task/18629/stat : 18629 (cp-sat-runner) R 18623 18626 11319 0 -1 4194368 179014 0 0 0 4604 50 0 0 20 0 3 0 29500454 1014444032 220167 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
Current children cumulated CPU time: 97.13 s
Current children cumulated vsize: 990668 KiB
Current children cumulated memory: 880668 KiB

[startup+102.3 s]
/proc/loadavg: 8.07 8.07 8.01 9/271 18631
/proc/meminfo: memFree=128606812/131249992 swapFree=33010684/33010684
[pid=18626] ppid=18623 vsize=1165820 memory=975400 CPUtime=198.82 cores=0,2
/proc/18626/stat : 18626 (cp-sat-runner) S 18623 18626 11319 0 -1 4194304 479005 0 0 0 19755 127 0 0 20 0 3 0 29500019 1193799680 243850 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
/proc/18626/statm: 291455 243850 2144 2102 0 267982 0
[pid=18626/tid=18628] ppid=18623 vsize=1165820 memory=14692 CPUtime=96.91 cores=0,2
/proc/18626/task/18628/stat : 18628 (cp-sat-runner) R 18623 18626 11319 0 -1 4194368 173235 0 0 0 9671 20 0 0 20 0 3 0 29500454 1193799680 243850 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
[pid=18626/tid=18629] ppid=18623 vsize=1165820 memory=1014312 CPUtime=97.54 cores=0,2
/proc/18626/task/18629/stat : 18629 (cp-sat-runner) R 18623 18626 11319 0 -1 4194368 220361 0 0 0 9664 90 0 0 20 0 3 0 29500454 1193799680 243850 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
Current children cumulated CPU time: 198.82 s
Current children cumulated vsize: 1165820 KiB
Current children cumulated memory: 975400 KiB

[startup+162.3 s]
/proc/loadavg: 8.07 8.07 8.01 9/272 18634
/proc/meminfo: memFree=128608832/131249992 swapFree=33010684/33010684
[pid=18626] ppid=18623 vsize=1056204 memory=904824 CPUtime=318.01 cores=0,2
/proc/18626/stat : 18626 (cp-sat-runner) S 18623 18626 11319 0 -1 4194304 576553 0 0 0 31619 182 0 0 20 0 3 0 29500019 1081552896 226206 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
/proc/18626/statm: 264051 226206 2144 2102 0 240578 0
[pid=18626/tid=18628] ppid=18623 vsize=1056204 memory=14692 CPUtime=156.31 cores=0,2
/proc/18626/task/18628/stat : 18628 (cp-sat-runner) R 18623 18626 11319 0 -1 4194368 238080 0 0 0 15607 24 0 0 20 0 3 0 29500454 1081552896 226206 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
[pid=18626/tid=18629] ppid=18623 vsize=1056204 memory=14692 CPUtime=157.31 cores=0,2
/proc/18626/task/18629/stat : 18629 (cp-sat-runner) R 18623 18626 11319 0 -1 4194368 252988 0 0 0 15591 140 0 0 20 0 3 0 29500454 1081552896 226206 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
Current children cumulated CPU time: 318.01 s
Current children cumulated vsize: 1056204 KiB
Current children cumulated memory: 904824 KiB

[startup+222.3 s]
/proc/loadavg: 8.17 8.10 8.02 9/272 18636
/proc/meminfo: memFree=128606044/131249992 swapFree=33010684/33010684
[pid=18626] ppid=18623 vsize=1056204 memory=909208 CPUtime=437.23 cores=0,2
/proc/18626/stat : 18626 (cp-sat-runner) S 18623 18626 11319 0 -1 4194304 630766 0 0 0 43487 236 0 0 20 0 3 0 29500019 1081552896 227302 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
/proc/18626/statm: 264051 227302 2144 2102 0 242033 0
[pid=18626/tid=18628] ppid=18623 vsize=1056204 memory=909208 CPUtime=215.74 cores=0,2
/proc/18626/task/18628/stat : 18628 (cp-sat-runner) R 18623 18626 11319 0 -1 4194368 271067 0 0 0 21547 27 0 0 20 0 3 0 29500454 1081552896 227302 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
[pid=18626/tid=18629] ppid=18623 vsize=1056204 memory=14692 CPUtime=217.09 cores=0,2
/proc/18626/task/18629/stat : 18629 (cp-sat-runner) R 18623 18626 11319 0 -1 4194368 274192 0 0 0 21518 191 0 0 20 0 3 0 29500454 1081552896 227302 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
Current children cumulated CPU time: 437.23 s
Current children cumulated vsize: 1056204 KiB
Current children cumulated memory: 909208 KiB

[startup+282.3 s]
/proc/loadavg: 8.12 8.10 8.02 9/272 18638
/proc/meminfo: memFree=128613644/131249992 swapFree=33010684/33010684
[pid=18626] ppid=18623 vsize=1056204 memory=909336 CPUtime=556.47 cores=0,2
/proc/18626/stat : 18626 (cp-sat-runner) S 18623 18626 11319 0 -1 4194304 675889 0 0 0 55358 289 0 0 20 0 3 0 29500019 1081552896 227334 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
/proc/18626/statm: 264051 227334 2144 2102 0 242033 0
[pid=18626/tid=18628] ppid=18623 vsize=1056204 memory=936904 CPUtime=275.18 cores=0,2
/proc/18626/task/18628/stat : 18628 (cp-sat-runner) R 18623 18626 11319 0 -1 4194368 302850 0 0 0 27488 30 0 0 20 0 3 0 29500454 1081552896 227334 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0

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

Current children cumulated memory: 988408 KiB

[startup+1302.3 s]
/proc/loadavg: 8.14 8.13 8.09 9/273 18737
/proc/meminfo: memFree=128189076/131249992 swapFree=33010684/33010684
[pid=18626] ppid=18623 vsize=1216408 memory=1098028 CPUtime=2583.2 cores=0,2
/proc/18626/stat : 18626 (cp-sat-runner) S 18623 18626 11319 0 -1 4194304 1084083 0 0 0 257152 1168 0 0 20 0 3 0 29500019 1245601792 274507 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
/proc/18626/statm: 304102 274507 2144 2102 0 283489 0
[pid=18626/tid=18628] ppid=18623 vsize=1216408 memory=1040660 CPUtime=1289.65 cores=0,2
/proc/18626/task/18628/stat : 18628 (cp-sat-runner) R 18623 18626 11319 0 -1 4194368 455559 0 0 0 128921 44 0 0 20 0 3 0 29500454 1245601792 274507 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
[pid=18626/tid=18629] ppid=18623 vsize=1216408 memory=988416 CPUtime=1288.5 cores=0,2
/proc/18626/task/18629/stat : 18629 (cp-sat-runner) R 18623 18626 11319 0 -1 4194368 536508 0 0 0 127757 1093 0 0 20 0 3 0 29500454 1245601792 274507 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
Current children cumulated CPU time: 2583.2 s
Current children cumulated vsize: 1216408 KiB
Current children cumulated memory: 1098028 KiB

[startup+1362.3 s]
/proc/loadavg: 8.10 8.12 8.09 8/270 18783
/proc/meminfo: memFree=128060576/131249992 swapFree=33010684/33010684
[pid=18626] ppid=18623 vsize=1106796 memory=988436 CPUtime=2702.42 cores=0,2
/proc/18626/stat : 18626 (cp-sat-runner) S 18623 18626 11319 0 -1 4194304 1099621 0 0 0 269024 1218 0 0 20 0 3 0 29500019 1133359104 247109 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
/proc/18626/statm: 276699 247109 2144 2102 0 256086 0
[pid=18626/tid=18628] ppid=18623 vsize=1106796 memory=988416 CPUtime=1349.44 cores=0,2
/proc/18626/task/18628/stat : 18628 (cp-sat-runner) R 18623 18626 11319 0 -1 4194368 459207 0 0 0 134900 44 0 0 20 0 3 0 29500454 1133359104 247109 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
[pid=18626/tid=18629] ppid=18623 vsize=1106796 memory=1098028 CPUtime=1347.92 cores=0,2
/proc/18626/task/18629/stat : 18629 (cp-sat-runner) R 18623 18626 11319 0 -1 4194368 548380 0 0 0 133650 1142 0 0 20 0 3 0 29500454 1133359104 247109 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
Current children cumulated CPU time: 2702.42 s
Current children cumulated vsize: 1106796 KiB
Current children cumulated memory: 988436 KiB

[startup+1422.3 s]
/proc/loadavg: 8.03 8.09 8.08 8/269 18831
/proc/meminfo: memFree=126748468/131249992 swapFree=33010684/33010684
[pid=18626] ppid=18623 vsize=1216408 memory=1079636 CPUtime=2821.5 cores=0,2
/proc/18626/stat : 18626 (cp-sat-runner) S 18623 18626 11319 0 -1 4194304 1123580 0 0 0 280879 1271 0 0 20 0 3 0 29500019 1245601792 269909 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
/proc/18626/statm: 304102 269909 2144 2102 0 283489 0
[pid=18626/tid=18628] ppid=18623 vsize=1216408 memory=988416 CPUtime=1409.17 cores=0,2
/proc/18626/task/18628/stat : 18628 (cp-sat-runner) R 18623 18626 11319 0 -1 4194368 470665 0 0 0 140872 45 0 0 20 0 3 0 29500454 1245601792 269909 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
[pid=18626/tid=18629] ppid=18623 vsize=1216408 memory=1098028 CPUtime=1407.25 cores=0,2
/proc/18626/task/18629/stat : 18629 (cp-sat-runner) R 18623 18626 11319 0 -1 4194368 560854 0 0 0 139532 1193 0 0 20 0 3 0 29500454 1245601792 269909 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
Current children cumulated CPU time: 2821.5 s
Current children cumulated vsize: 1216408 KiB
Current children cumulated memory: 1079636 KiB

[startup+1482.3 s]
/proc/loadavg: 8.09 8.09 8.08 9/271 18835
/proc/meminfo: memFree=125625436/131249992 swapFree=33010684/33010684
[pid=18626] ppid=18623 vsize=1216408 memory=1098076 CPUtime=2940.66 cores=0,2
/proc/18626/stat : 18626 (cp-sat-runner) S 18623 18626 11319 0 -1 4194304 1153038 0 0 0 292746 1320 0 0 20 0 3 0 29500019 1245601792 274519 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
/proc/18626/statm: 304102 274519 2144 2102 0 283489 0
[pid=18626/tid=18628] ppid=18623 vsize=1216408 memory=988456 CPUtime=1468.93 cores=0,2
/proc/18626/task/18628/stat : 18628 (cp-sat-runner) R 18623 18626 11319 0 -1 4194368 481363 0 0 0 146847 46 0 0 20 0 3 0 29500454 1245601792 274519 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
[pid=18626/tid=18629] ppid=18623 vsize=1216408 memory=1040712 CPUtime=1466.52 cores=0,2
/proc/18626/task/18629/stat : 18629 (cp-sat-runner) R 18623 18626 11319 0 -1 4194368 577061 0 0 0 145413 1239 0 0 20 0 3 0 29500454 1245601792 274519 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
Current children cumulated CPU time: 2940.66 s
Current children cumulated vsize: 1216408 KiB
Current children cumulated memory: 1098076 KiB

[startup+1542.3 s]
/proc/loadavg: 8.08 8.09 8.08 9/271 18837
/proc/meminfo: memFree=125720540/131249992 swapFree=33010684/33010684
[pid=18626] ppid=18623 vsize=1216408 memory=1040736 CPUtime=3059.84 cores=0,2
/proc/18626/stat : 18626 (cp-sat-runner) S 18623 18626 11319 0 -1 4194304 1166269 0 0 0 304613 1371 0 0 20 0 3 0 29500019 1245601792 260184 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
/proc/18626/statm: 304102 260184 2144 2102 0 283489 0
[pid=18626/tid=18628] ppid=18623 vsize=1216408 memory=988468 CPUtime=1528.7 cores=0,2
/proc/18626/task/18628/stat : 18628 (cp-sat-runner) R 18623 18626 11319 0 -1 4194368 482029 0 0 0 152824 46 0 0 20 0 3 0 29500454 1245601792 260184 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
[pid=18626/tid=18629] ppid=18623 vsize=1216408 memory=988468 CPUtime=1525.91 cores=0,2
/proc/18626/task/18629/stat : 18629 (cp-sat-runner) R 18623 18626 11319 0 -1 4194368 589595 0 0 0 151302 1289 0 0 20 0 3 0 29500454 1245601792 260184 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
Current children cumulated CPU time: 3059.84 s
Current children cumulated vsize: 1216408 KiB
Current children cumulated memory: 1040736 KiB

[startup+1602.3 s]
/proc/loadavg: 8.06 8.08 8.08 9/271 18839
/proc/meminfo: memFree=125515096/131249992 swapFree=33010684/33010684
[pid=18626] ppid=18623 vsize=1216408 memory=1098088 CPUtime=3178.99 cores=0,2
/proc/18626/stat : 18626 (cp-sat-runner) S 18623 18626 11319 0 -1 4194304 1195456 0 0 0 316482 1417 0 0 20 0 3 0 29500019 1245601792 274522 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
/proc/18626/statm: 304102 274522 2144 2102 0 283489 0
[pid=18626/tid=18628] ppid=18623 vsize=1216408 memory=988468 CPUtime=1588.46 cores=0,2
/proc/18626/task/18628/stat : 18628 (cp-sat-runner) R 18623 18626 11319 0 -1 4194368 498866 0 0 0 158799 47 0 0 20 0 3 0 29500454 1245601792 274522 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
[pid=18626/tid=18629] ppid=18623 vsize=1216408 memory=1059172 CPUtime=1585.28 cores=0,2
/proc/18626/task/18629/stat : 18629 (cp-sat-runner) R 18623 18626 11319 0 -1 4194368 601900 0 0 0 157194 1334 0 0 20 0 3 0 29500454 1245601792 274522 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
Current children cumulated CPU time: 3178.99 s
Current children cumulated vsize: 1216408 KiB
Current children cumulated memory: 1098088 KiB

[startup+1662.3 s]
/proc/loadavg: 8.07 8.08 8.08 9/272 18846
/proc/meminfo: memFree=125732768/131249992 swapFree=33010684/33010684
[pid=18626] ppid=18623 vsize=1106796 memory=988480 CPUtime=3298.13 cores=0,2
/proc/18626/stat : 18626 (cp-sat-runner) S 18623 18626 11319 0 -1 4194304 1212688 0 0 0 328346 1467 0 0 20 0 3 0 29500019 1133359104 247120 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
/proc/18626/statm: 276699 247120 2144 2102 0 256086 0
[pid=18626/tid=18628] ppid=18623 vsize=1106796 memory=988468 CPUtime=1648.22 cores=0,2
/proc/18626/task/18628/stat : 18628 (cp-sat-runner) R 18623 18626 11319 0 -1 4194368 504769 0 0 0 164774 48 0 0 20 0 3 0 29500454 1133359104 247120 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
[pid=18626/tid=18629] ppid=18623 vsize=1106796 memory=-8183431388473432261 CPUtime=1644.65 cores=0,2
/proc/18626/task/18629/stat : 18629 (cp-sat-runner) R 18623 18626 11319 0 -1 4194368 613207 0 0 0 163083 1382 0 0 20 0 3 0 29500454 1133359104 247120 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
Current children cumulated CPU time: 3298.13 s
Current children cumulated vsize: 1106796 KiB
Current children cumulated memory: 988480 KiB

[startup+1722.3 s]
/proc/loadavg: 8.14 8.10 8.09 9/273 18851
/proc/meminfo: memFree=125725504/131249992 swapFree=33010684/33010684
[pid=18626] ppid=18623 vsize=1216408 memory=1016184 CPUtime=3417.29 cores=0,2
/proc/18626/stat : 18626 (cp-sat-runner) S 18623 18626 11319 0 -1 4194304 1234827 0 0 0 340211 1518 0 0 20 0 3 0 29500019 1245601792 254046 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
/proc/18626/statm: 304102 254046 2144 2102 0 283489 0
[pid=18626/tid=18628] ppid=18623 vsize=1216408 memory=988468 CPUtime=1707.98 cores=0,2
/proc/18626/task/18628/stat : 18628 (cp-sat-runner) R 18623 18626 11319 0 -1 4194368 516085 0 0 0 170749 49 0 0 20 0 3 0 29500454 1245601792 254046 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
[pid=18626/tid=18629] ppid=18623 vsize=1216408 memory=988480 CPUtime=1704.03 cores=0,2
/proc/18626/task/18629/stat : 18629 (cp-sat-runner) R 18623 18626 11319 0 -1 4194368 624022 0 0 0 168972 1431 0 0 20 0 3 0 29500454 1245601792 254046 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
Current children cumulated CPU time: 3417.29 s
Current children cumulated vsize: 1216408 KiB
Current children cumulated memory: 1016184 KiB

[startup+1782.3 s]
/proc/loadavg: 8.11 8.09 8.09 9/272 18853
/proc/meminfo: memFree=125530028/131249992 swapFree=33010684/33010684
[pid=18626] ppid=18623 vsize=1106796 memory=988492 CPUtime=3536.44 cores=0,2
/proc/18626/stat : 18626 (cp-sat-runner) S 18623 18626 11319 0 -1 4194304 1248343 0 0 0 352074 1570 0 0 20 0 3 0 29500019 1133359104 247123 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
/proc/18626/statm: 276699 247123 2144 2102 0 256086 0
[pid=18626/tid=18628] ppid=18623 vsize=1106796 memory=988492 CPUtime=1767.74 cores=0,2
/proc/18626/task/18628/stat : 18628 (cp-sat-runner) R 18623 18626 11319 0 -1 4194368 516198 0 0 0 176725 49 0 0 20 0 3 0 29500454 1133359104 247123 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
[pid=18626/tid=18629] ppid=18623 vsize=1106796 memory=17408 CPUtime=1763.4 cores=0,2
/proc/18626/task/18629/stat : 18629 (cp-sat-runner) R 18623 18626 11319 0 -1 4194368 637376 0 0 0 174858 1482 0 0 20 0 3 0 29500454 1133359104 247123 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
Current children cumulated CPU time: 3536.44 s
Current children cumulated vsize: 1106796 KiB
Current children cumulated memory: 988492 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1814.4 s]
/proc/loadavg: 8.07 8.08 8.09 9/273 18854
/proc/meminfo: memFree=125596640/131249992 swapFree=33010684/33010684
[pid=18626] ppid=18623 vsize=1106796 memory=988492 CPUtime=3600.18 cores=0,2
/proc/18626/stat : 18626 (cp-sat-runner) S 18623 18626 11319 0 -1 4194304 1255977 0 0 0 358419 1599 0 0 20 0 3 0 29500019 1133359104 247123 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
/proc/18626/statm: 276699 247123 2144 2102 0 256086 0
[pid=18626/tid=18628] ppid=18623 vsize=1106796 memory=1040760 CPUtime=1799.71 cores=0,2
/proc/18626/task/18628/stat : 18628 (cp-sat-runner) R 18623 18626 11319 0 -1 4194368 516243 0 0 0 179922 49 0 0 20 0 3 0 29500454 1133359104 247123 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
[pid=18626/tid=18629] ppid=18623 vsize=1106796 memory=14692 CPUtime=1795.17 cores=0,2
/proc/18626/task/18629/stat : 18629 (cp-sat-runner) R 18623 18626 11319 0 -1 4194368 644965 0 0 0 178006 1511 0 0 20 0 3 0 29500454 1133359104 247123 18446744073709551615 4198400 12805993 140721203568256 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 42147840 140721203575065 140721203575269 140721203575269 140721203580871 0
Current children cumulated CPU time: 3600.18 s
Current children cumulated vsize: 1106796 KiB
Current children cumulated memory: 988492 KiB

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

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

# cumulated CPU time of all completed processes:  user=3584.21 s, system=16.0089 s

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

Child status: 0

Real time (s): 1814.42
CPU time (s): 3600.22
CPU user time (s): 3584.21
CPU system time (s): 16.0089
CPU usage (%): 198.423
Max. virtual memory (cumulated for all children) (KiB): 1216412
Max. memory (cumulated for all children) (KiB): 1098104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.21
system time used= 16.0089
maximum resident set size= 1098104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1255982
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= 31859
involuntary context switches= 120739


# summary of solver processes directly reported to runsolver:
#   pid: 18626
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3584.21
#   total CPU system time (s): 16.0089

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.52216 second user time and 8.44111 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-06-28 21:16:53
IDJOB=4503224
IDBENCH=155416
IDSOLVER=3320
FILE ID=nodeC025/4503224-1751138212
RUNJOBID= nodeC025-1751133631-11334
SLURM_JOB_ID= 9587425
Free space on /tmp= 433012 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-89.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-4503224-1751138212/watcher-4503224-1751138212 -o /tmp/evaluation-result-4503224-1751138212/solver-4503224-1751138212 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751133631-11334 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:672258685 --competition_mode --input HOME/instance-4503224-1751138212.opb

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

MD5SUM BENCH= 18b53876a62b8c6712d354fac2089947
RANDOM SEED=672258685

nodeC025 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		: 3598.499
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.67
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.834
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.67
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.853
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.67
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		: 3599.601
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.67
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.838
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.67
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.828
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.67
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.843
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.67
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.836
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        129555328 kB
MemAvailable:   129175988 kB
Buffers:            3280 kB
Cached:           405992 kB
SwapCached:            0 kB
Active:           853112 kB
Inactive:         198952 kB
Active(anon):     660876 kB
Inactive(anon):        0 kB
Active(file):     192236 kB
Inactive(file):   198952 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             21900 kB
Writeback:             4 kB
AnonPages:        645468 kB
Mapped:           128760 kB
Shmem:             18084 kB
KReclaimable:      85488 kB
Slab:             167944 kB
SReclaimable:      85488 kB
SUnreclaim:        82456 kB
KernelStack:        4368 kB
PageTables:         4292 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1027108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150696 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:    428032 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:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432968 MiB
End job on nodeC025 at 2025-06-28 21:47:07