Trace number 4524180

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.1 1816.31

General information on the benchmark

NamePB25/normalized-PB25/OPT-LIN/wallon/
normalized-GolombRuler-a3v18-15_c18.opb
MD5SUM64dbfbfc0114f72138d7179eedb1d684
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 benchmark168
Best CPU time to get the best result obtained on this benchmark72002
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables25846
Total number of constraints1501
Number of constraints which are clauses211
Number of constraints which are cardinality constraints (but not clauses)330
Number of constraints which are nor clauses,nor cardinality constraints960
Minimum length of a constraint1
Maximum length of a constraint232
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 513
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 25455
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.08/1816.30	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: 63837 MiB (57155 MiB free)
  memory of node 1: 64465 MiB (57925 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4524180-1751594987/watcher-4524180-1751594987 -o /tmp/evaluation-result-4524180-1751594987/solver-4524180-1751594987 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751585836-82995 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1104488290 --competition_mode --input HOME/instance-4524180-1751594987.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=84970, runsolver pid=84967

[startup+0.100076 s]*
/proc/loadavg: 8.26 8.14 8.06 8/256 84971
/proc/meminfo: memFree=117834532/131382120 swapFree=33010160/33010684
[pid=84970] ppid=84967 vsize=23112 memory=18816 CPUtime=0.11 cores=0,2
/proc/84970/stat : 84970 (cp-sat-runner) R 84967 84970 82985 0 -1 4194304 3356 0 0 0 10 1 0 0 20 0 1 0 75177876 23666688 4704 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
/proc/84970/statm: 5778 4704 1504 2102 0 3318 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 23112 KiB
Current children cumulated memory: 18816 KiB

[startup+0.213471 s]*
/proc/loadavg: 8.26 8.14 8.06 8/256 84971
/proc/meminfo: memFree=117826468/131382120 swapFree=33010160/33010684
[pid=84970] ppid=84967 vsize=28360 memory=23864 CPUtime=0.22 cores=0,2
/proc/84970/stat : 84970 (cp-sat-runner) R 84967 84970 82985 0 -1 4194304 6708 0 0 0 20 2 0 0 20 0 1 0 75177876 29040640 5966 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
/proc/84970/statm: 7090 5966 1568 2102 0 4630 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 28360 KiB
Current children cumulated memory: 23864 KiB

[startup+0.313118 s]*
/proc/loadavg: 8.26 8.14 8.06 8/256 84971
/proc/meminfo: memFree=117814876/131382120 swapFree=33010160/33010684
[pid=84970] ppid=84967 vsize=45356 memory=40280 CPUtime=0.32 cores=0,2
/proc/84970/stat : 84970 (cp-sat-runner) R 84967 84970 82985 0 -1 4194304 12930 0 0 0 28 4 0 0 20 0 1 0 75177876 46444544 10070 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
/proc/84970/statm: 11339 10070 1824 2102 0 8879 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 45356 KiB
Current children cumulated memory: 40280 KiB

[startup+0.700349 s]
/proc/loadavg: 8.26 8.14 8.06 8/256 84971
/proc/meminfo: memFree=117806812/131382120 swapFree=33010160/33010684
[pid=84970] ppid=84967 vsize=53452 memory=47528 CPUtime=0.69 cores=0,2
/proc/84970/stat : 84970 (cp-sat-runner) R 84967 84970 82985 0 -1 4194304 14180 0 0 0 65 4 0 0 20 0 1 0 75177876 54734848 11882 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
/proc/84970/statm: 13363 11882 1856 2102 0 10903 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 53452 KiB
Current children cumulated memory: 47528 KiB

[startup+1.50032 s]
/proc/loadavg: 8.26 8.14 8.06 8/256 84971
/proc/meminfo: memFree=117798620/131382120 swapFree=33010160/33010684
[pid=84970] ppid=84967 vsize=58780 memory=52520 CPUtime=1.48 cores=0,2
/proc/84970/stat : 84970 (cp-sat-runner) R 84967 84970 82985 0 -1 4194304 15441 0 0 0 144 4 0 0 20 0 1 0 75177876 60190720 13130 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
/proc/84970/statm: 14695 13130 1856 2102 0 12235 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 58780 KiB
Current children cumulated memory: 52520 KiB

[startup+3.11323 s]
/proc/loadavg: 8.16 8.12 8.06 8/256 84971
/proc/meminfo: memFree=117688788/131382120 swapFree=33010160/33010684
[pid=84970] ppid=84967 vsize=64084 memory=59564 CPUtime=3.09 cores=0,2
/proc/84970/stat : 84970 (cp-sat-runner) R 84967 84970 82985 0 -1 4194304 18057 0 0 0 304 5 0 0 20 0 1 0 75177876 65622016 14891 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
/proc/84970/statm: 16021 14891 1920 2102 0 13561 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 64084 KiB
Current children cumulated memory: 59564 KiB

[startup+6.30023 s]
/proc/loadavg: 8.16 8.12 8.06 9/258 84973
/proc/meminfo: memFree=117531408/131382120 swapFree=33010160/33010684
[pid=84970] ppid=84967 vsize=221360 memory=172840 CPUtime=8.04 cores=0,2
/proc/84970/stat : 84970 (cp-sat-runner) S 84967 84970 82985 0 -1 4194304 57627 0 0 0 791 13 0 0 20 0 3 0 75177876 226672640 43210 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
/proc/84970/statm: 55340 43210 2144 2102 0 47430 0
[pid=84970/tid=84972] ppid=84967 vsize=221360 memory=18304 CPUtime=1.8 cores=0,2
/proc/84970/task/84972/stat : 84972 (cp-sat-runner) R 84967 84970 82985 0 -1 4194368 18451 0 0 0 177 3 0 0 20 0 3 0 75178320 226672640 43210 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
[pid=84970/tid=84973] ppid=84967 vsize=221360 memory=53032 CPUtime=1.82 cores=0,2
/proc/84970/task/84973/stat : 84973 (cp-sat-runner) R 84967 84970 82985 0 -1 4194368 18526 0 0 0 179 3 0 0 20 0 3 0 75178320 226672640 43210 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
Current children cumulated CPU time: 8.04 s
Current children cumulated vsize: 221360 KiB
Current children cumulated memory: 172840 KiB

[startup+12.7002 s]
/proc/loadavg: 8.21 8.13 8.06 9/258 84973
/proc/meminfo: memFree=117313692/131382120 swapFree=33010160/33010684
[pid=84970] ppid=84967 vsize=359556 memory=229048 CPUtime=20.74 cores=0,2
/proc/84970/stat : 84970 (cp-sat-runner) S 84967 84970 82985 0 -1 4194304 118344 0 0 0 2053 21 0 0 20 0 3 0 75177876 368185344 57262 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
/proc/84970/statm: 89889 57262 2144 2102 0 62711 0
[pid=84970/tid=84972] ppid=84967 vsize=359556 memory=53032 CPUtime=8.08 cores=0,2
/proc/84970/task/84972/stat : 84972 (cp-sat-runner) R 84967 84970 82985 0 -1 4194368 52993 0 0 0 800 8 0 0 20 0 3 0 75178320 368185344 57262 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
[pid=84970/tid=84973] ppid=84967 vsize=359556 memory=0 CPUtime=8.19 cores=0,2
/proc/84970/task/84973/stat : 84973 (cp-sat-runner) R 84967 84970 82985 0 -1 4194368 40738 0 0 0 813 6 0 0 20 0 3 0 75178320 368185344 57262 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
Current children cumulated CPU time: 20.74 s
Current children cumulated vsize: 359556 KiB
Current children cumulated memory: 229048 KiB

[startup+25.5003 s]
/proc/loadavg: 8.18 8.13 8.06 9/258 84973
/proc/meminfo: memFree=117473788/131382120 swapFree=33010160/33010684
[pid=84970] ppid=84967 vsize=425092 memory=290680 CPUtime=46.15 cores=0,2
/proc/84970/stat : 84970 (cp-sat-runner) S 84967 84970 82985 0 -1 4194304 174406 0 0 0 4588 27 0 0 20 0 3 0 75177876 435294208 72670 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
/proc/84970/statm: 106273 72670 2144 2102 0 78576 0
[pid=84970/tid=84972] ppid=84967 vsize=425092 memory=18304 CPUtime=20.72 cores=0,2
/proc/84970/task/84972/stat : 84972 (cp-sat-runner) R 84967 84970 82985 0 -1 4194368 93952 0 0 0 2059 13 0 0 20 0 3 0 75178320 435294208 72670 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
[pid=84970/tid=84973] ppid=84967 vsize=425092 memory=16248 CPUtime=20.95 cores=0,2
/proc/84970/task/84973/stat : 84973 (cp-sat-runner) R 84967 84970 82985 0 -1 4194368 55748 0 0 0 2088 7 0 0 20 0 3 0 75178320 435294208 72670 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
Current children cumulated CPU time: 46.15 s
Current children cumulated vsize: 425092 KiB
Current children cumulated memory: 290680 KiB

[startup+51.1054 s]
/proc/loadavg: 8.12 8.11 8.06 9/258 84974
/proc/meminfo: memFree=117351072/131382120 swapFree=33010160/33010684
[pid=84970] ppid=84967 vsize=425092 memory=327764 CPUtime=96.98 cores=0,2
/proc/84970/stat : 84970 (cp-sat-runner) S 84967 84970 82985 0 -1 4194304 265913 0 0 0 9662 36 0 0 20 0 3 0 75177876 435294208 81941 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
/proc/84970/statm: 106273 81941 2144 2102 0 88032 0
[pid=84970/tid=84972] ppid=84967 vsize=425092 memory=327380 CPUtime=45.96 cores=0,2
/proc/84970/task/84972/stat : 84972 (cp-sat-runner) R 84967 84970 82985 0 -1 4194368 160193 0 0 0 4577 19 0 0 20 0 3 0 75178320 435294208 81941 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
[pid=84970/tid=84973] ppid=84967 vsize=425092 memory=289528 CPUtime=46.46 cores=0,2
/proc/84970/task/84973/stat : 84973 (cp-sat-runner) R 84967 84970 82985 0 -1 4194368 78053 0 0 0 4637 9 0 0 20 0 3 0 75178320 435294208 81941 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
Current children cumulated CPU time: 96.98 s
Current children cumulated vsize: 425092 KiB
Current children cumulated memory: 327764 KiB

[startup+102.3 s]
/proc/loadavg: 8.20 8.14 8.07 9/258 84978
/proc/meminfo: memFree=117241676/131382120 swapFree=33010160/33010684
[pid=84970] ppid=84967 vsize=494732 memory=417888 CPUtime=198.57 cores=0,2
/proc/84970/stat : 84970 (cp-sat-runner) S 84967 84970 82985 0 -1 4194304 299120 0 0 0 19815 42 0 0 20 0 3 0 75177876 506605568 104472 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
/proc/84970/statm: 123683 104472 2144 2102 0 113967 0
[pid=84970/tid=84972] ppid=84967 vsize=494732 memory=411584 CPUtime=96.47 cores=0,2
/proc/84970/task/84972/stat : 84972 (cp-sat-runner) R 84967 84970 82985 0 -1 4194368 165571 0 0 0 9627 20 0 0 20 0 3 0 75178320 506605568 104472 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
[pid=84970/tid=84973] ppid=84967 vsize=494732 memory=417888 CPUtime=97.42 cores=0,2
/proc/84970/task/84973/stat : 84973 (cp-sat-runner) R 84967 84970 82985 0 -1 4194368 102656 0 0 0 9729 13 0 0 20 0 3 0 75178320 506605568 104472 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
Current children cumulated CPU time: 198.57 s
Current children cumulated vsize: 494732 KiB
Current children cumulated memory: 417888 KiB

[startup+162.3 s]
/proc/loadavg: 8.13 8.13 8.07 9/258 84980
/proc/meminfo: memFree=117060124/131382120 swapFree=33010160/33010684
[pid=84970] ppid=84967 vsize=494732 memory=424556 CPUtime=317.63 cores=0,2
/proc/84970/stat : 84970 (cp-sat-runner) S 84967 84970 82985 0 -1 4194304 361043 0 0 0 31714 49 0 0 20 0 3 0 75177876 506605568 106139 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
/proc/84970/statm: 123683 106139 2144 2102 0 115393 0
[pid=84970/tid=84972] ppid=84967 vsize=494732 memory=424428 CPUtime=155.65 cores=0,2
/proc/84970/task/84972/stat : 84972 (cp-sat-runner) R 84967 84970 82985 0 -1 4194368 223242 0 0 0 15539 26 0 0 20 0 3 0 75178320 506605568 106139 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
[pid=84970/tid=84973] ppid=84967 vsize=494732 memory=10496 CPUtime=157.19 cores=0,2
/proc/84970/task/84973/stat : 84973 (cp-sat-runner) R 84967 84970 82985 0 -1 4194368 103988 0 0 0 15706 13 0 0 20 0 3 0 75178320 506605568 106139 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
Current children cumulated CPU time: 317.63 s
Current children cumulated vsize: 494732 KiB
Current children cumulated memory: 424556 KiB

[startup+222.3 s]
/proc/loadavg: 8.22 8.16 8.09 9/260 84986
/proc/meminfo: memFree=116970892/131382120 swapFree=33010160/33010684
[pid=84970] ppid=84967 vsize=494732 memory=427756 CPUtime=436.66 cores=0,2
/proc/84970/stat : 84970 (cp-sat-runner) S 84967 84970 82985 0 -1 4194304 413684 0 0 0 43610 56 0 0 20 0 3 0 75177876 506605568 106939 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
/proc/84970/statm: 123683 106939 2144 2102 0 116274 0
[pid=84970/tid=84972] ppid=84967 vsize=494732 memory=427628 CPUtime=214.75 cores=0,2
/proc/84970/task/84972/stat : 84972 (cp-sat-runner) R 84967 84970 82985 0 -1 4194368 257008 0 0 0 21445 30 0 0 20 0 3 0 75178320 506605568 106939 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
[pid=84970/tid=84973] ppid=84967 vsize=494732 memory=16248 CPUtime=216.97 cores=0,2
/proc/84970/task/84973/stat : 84973 (cp-sat-runner) R 84967 84970 82985 0 -1 4194368 121223 0 0 0 21681 16 0 0 20 0 3 0 75178320 506605568 106939 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
Current children cumulated CPU time: 436.66 s
Current children cumulated vsize: 494732 KiB
Current children cumulated memory: 427756 KiB

[startup+282.3 s]
/proc/loadavg: 8.29 8.19 8.10 9/259 84988
/proc/meminfo: memFree=117169312/131382120 swapFree=33010160/33010684
[pid=84970] ppid=84967 vsize=494732 memory=432108 CPUtime=555.7 cores=0,2
/proc/84970/stat : 84970 (cp-sat-runner) S 84967 84970 82985 0 -1 4194304 480996 0 0 0 55506 64 0 0 20 0 3 0 75177876 506605568 108027 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
/proc/84970/statm: 123683 108027 2144 2102 0 117492 0
[pid=84970/tid=84972] ppid=84967 vsize=494732 memory=18304 CPUtime=273.98 cores=0,2
/proc/84970/task/84972/stat : 84972 (cp-sat-runner) R 84967 84970 82985 0 -1 4194368 324027 0 0 0 27361 37 0 0 20 0 3 0 75178320 506605568 108027 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0

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

Current children cumulated memory: 516608 KiB

[startup+1362.3 s]
/proc/loadavg: 5.25 6.45 7.28 6/247 85113
/proc/meminfo: memFree=111783292/131382120 swapFree=33010160/33010684
[pid=84970] ppid=84967 vsize=627296 memory=518016 CPUtime=2697.94 cores=0,2
/proc/84970/stat : 84970 (cp-sat-runner) S 84967 84970 82985 0 -1 4194304 840588 0 0 0 269628 166 0 0 20 0 3 0 75177876 642351104 129504 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
/proc/84970/statm: 156824 129504 2144 2102 0 142503 0
[pid=84970/tid=84972] ppid=84967 vsize=627296 memory=18304 CPUtime=1340.07 cores=0,2
/proc/84970/task/84972/stat : 84972 (cp-sat-runner) R 84967 84970 82985 0 -1 4194368 619696 0 0 0 133887 120 0 0 20 0 3 0 75178320 642351104 129504 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
[pid=84970/tid=84973] ppid=84967 vsize=627296 memory=516736 CPUtime=1351.62 cores=0,2
/proc/84970/task/84973/stat : 84973 (cp-sat-runner) R 84967 84970 82985 0 -1 4194368 178712 0 0 0 135139 23 0 0 20 0 3 0 75178320 642351104 129504 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
Current children cumulated CPU time: 2697.94 s
Current children cumulated vsize: 627296 KiB
Current children cumulated memory: 518016 KiB

[startup+1422.3 s]
/proc/loadavg: 5.14 6.20 7.14 6/248 85116
/proc/meminfo: memFree=111624400/131382120 swapFree=33010160/33010684
[pid=84970] ppid=84967 vsize=627296 memory=520064 CPUtime=2817.16 cores=0,2
/proc/84970/stat : 84970 (cp-sat-runner) S 84967 84970 82985 0 -1 4194304 841660 0 0 0 281548 168 0 0 20 0 3 0 75177876 642351104 130016 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
/proc/84970/statm: 156824 130016 2144 2102 0 143032 0
[pid=84970/tid=84972] ppid=84967 vsize=627296 memory=18304 CPUtime=1399.46 cores=0,2
/proc/84970/task/84972/stat : 84972 (cp-sat-runner) R 84967 84970 82985 0 -1 4194368 620299 0 0 0 139825 121 0 0 20 0 3 0 75178320 642351104 130016 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
[pid=84970/tid=84973] ppid=84967 vsize=627296 memory=2760 CPUtime=1411.43 cores=0,2
/proc/84970/task/84973/stat : 84973 (cp-sat-runner) R 84967 84970 82985 0 -1 4194368 179179 0 0 0 141120 23 0 0 20 0 3 0 75178320 642351104 130016 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
Current children cumulated CPU time: 2817.16 s
Current children cumulated vsize: 627296 KiB
Current children cumulated memory: 520064 KiB

[startup+1482.3 s]
/proc/loadavg: 4.14 5.74 6.92 4/241 85152
/proc/meminfo: memFree=118084064/131382120 swapFree=33010160/33010684
[pid=84970] ppid=84967 vsize=627296 memory=520576 CPUtime=2936.39 cores=0,2
/proc/84970/stat : 84970 (cp-sat-runner) S 84967 84970 82985 0 -1 4194304 846808 0 0 0 293471 168 0 0 20 0 3 0 75177876 642351104 130144 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
/proc/84970/statm: 156824 130144 2144 2102 0 143032 0
[pid=84970/tid=84972] ppid=84967 vsize=627296 memory=520064 CPUtime=1458.87 cores=0,2
/proc/84970/task/84972/stat : 84972 (cp-sat-runner) R 84967 84970 82985 0 -1 4194368 620391 0 0 0 145766 121 0 0 20 0 3 0 75178320 642351104 130144 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
[pid=84970/tid=84973] ppid=84967 vsize=627296 memory=16248 CPUtime=1471.25 cores=0,2
/proc/84970/task/84973/stat : 84973 (cp-sat-runner) R 84967 84970 82985 0 -1 4194368 184230 0 0 0 147102 23 0 0 20 0 3 0 75178320 642351104 130144 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
Current children cumulated CPU time: 2936.39 s
Current children cumulated vsize: 627296 KiB
Current children cumulated memory: 520576 KiB

[startup+1542.3 s]
/proc/loadavg: 3.57 5.27 6.69 5/243 85156
/proc/meminfo: memFree=114787484/131382120 swapFree=33010160/33010684
[pid=84970] ppid=84967 vsize=627296 memory=542056 CPUtime=3055.64 cores=0,2
/proc/84970/stat : 84970 (cp-sat-runner) S 84967 84970 82985 0 -1 4194304 859440 0 0 0 305393 171 0 0 20 0 3 0 75177876 642351104 135514 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
/proc/84970/statm: 156824 135514 2144 2102 0 143245 0
[pid=84970/tid=84972] ppid=84967 vsize=627296 memory=542056 CPUtime=1517.78 cores=0,2
/proc/84970/task/84972/stat : 84972 (cp-sat-runner) R 84967 84970 82985 0 -1 4194368 621165 0 0 0 151656 122 0 0 20 0 3 0 75178320 642351104 135514 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
[pid=84970/tid=84973] ppid=84967 vsize=627296 memory=-8183426973196982208 CPUtime=1531.07 cores=0,2
/proc/84970/task/84973/stat : 84973 (cp-sat-runner) R 84967 84970 82985 0 -1 4194368 195293 0 0 0 153082 25 0 0 20 0 3 0 75178320 642351104 135514 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
Current children cumulated CPU time: 3055.64 s
Current children cumulated vsize: 627296 KiB
Current children cumulated memory: 542056 KiB

[startup+1602.3 s]
/proc/loadavg: 4.11 5.12 6.54 5/243 85158
/proc/meminfo: memFree=112577804/131382120 swapFree=33010160/33010684
[pid=84970] ppid=84967 vsize=627296 memory=543208 CPUtime=3174.84 cores=0,2
/proc/84970/stat : 84970 (cp-sat-runner) S 84967 84970 82985 0 -1 4194304 891295 0 0 0 317309 175 0 0 20 0 3 0 75177876 642351104 135802 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
/proc/84970/statm: 156824 135802 2144 2102 0 143254 0
[pid=84970/tid=84972] ppid=84967 vsize=627296 memory=529768 CPUtime=1577.06 cores=0,2
/proc/84970/task/84972/stat : 84972 (cp-sat-runner) R 84967 84970 82985 0 -1 4194368 645225 0 0 0 157582 124 0 0 20 0 3 0 75178320 642351104 135802 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
[pid=84970/tid=84973] ppid=84967 vsize=627296 memory=543208 CPUtime=1590.84 cores=0,2
/proc/84970/task/84973/stat : 84973 (cp-sat-runner) R 84967 84970 82985 0 -1 4194368 202240 0 0 0 159059 25 0 0 20 0 3 0 75178320 642351104 135802 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
Current children cumulated CPU time: 3174.84 s
Current children cumulated vsize: 627296 KiB
Current children cumulated memory: 543208 KiB

[startup+1662.3 s]
/proc/loadavg: 4.26 4.97 6.40 5/243 85164
/proc/meminfo: memFree=112530952/131382120 swapFree=33010160/33010684
[pid=84970] ppid=84967 vsize=627296 memory=543848 CPUtime=3294.06 cores=0,2
/proc/84970/stat : 84970 (cp-sat-runner) S 84967 84970 82985 0 -1 4194304 916213 0 0 0 329228 178 0 0 20 0 3 0 75177876 642351104 135962 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
/proc/84970/statm: 156824 135962 2144 2102 0 143346 0
[pid=84970/tid=84972] ppid=84967 vsize=627296 memory=529768 CPUtime=1636.42 cores=0,2
/proc/84970/task/84972/stat : 84972 (cp-sat-runner) R 84967 84970 82985 0 -1 4194368 669158 0 0 0 163515 127 0 0 20 0 3 0 75178320 642351104 135962 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
[pid=84970/tid=84973] ppid=84967 vsize=627296 memory=543848 CPUtime=1650.65 cores=0,2
/proc/84970/task/84973/stat : 84973 (cp-sat-runner) R 84967 84970 82985 0 -1 4194368 203206 0 0 0 165039 26 0 0 20 0 3 0 75178320 642351104 135962 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
Current children cumulated CPU time: 3294.06 s
Current children cumulated vsize: 627296 KiB
Current children cumulated memory: 543848 KiB

[startup+1722.3 s]
/proc/loadavg: 4.14 4.81 6.25 5/242 85166
/proc/meminfo: memFree=112513224/131382120 swapFree=33010160/33010684
[pid=84970] ppid=84967 vsize=627296 memory=549224 CPUtime=3413.29 cores=0,2
/proc/84970/stat : 84970 (cp-sat-runner) S 84967 84970 82985 0 -1 4194304 918181 0 0 0 341149 180 0 0 20 0 3 0 75177876 642351104 137306 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
/proc/84970/statm: 156824 137306 2144 2102 0 143470 0
[pid=84970/tid=84972] ppid=84967 vsize=627296 memory=529768 CPUtime=1695.75 cores=0,2
/proc/84970/task/84972/stat : 84972 (cp-sat-runner) R 84967 84970 82985 0 -1 4194368 670095 0 0 0 169447 128 0 0 20 0 3 0 75178320 642351104 137306 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
[pid=84970/tid=84973] ppid=84967 vsize=627296 memory=549224 CPUtime=1710.46 cores=0,2
/proc/84970/task/84973/stat : 84973 (cp-sat-runner) R 84967 84970 82985 0 -1 4194368 203443 0 0 0 171020 26 0 0 20 0 3 0 75178320 642351104 137306 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
Current children cumulated CPU time: 3413.29 s
Current children cumulated vsize: 627296 KiB
Current children cumulated memory: 549224 KiB

[startup+1782.3 s]
/proc/loadavg: 4.13 4.69 6.13 5/241 85168
/proc/meminfo: memFree=112266972/131382120 swapFree=33010160/33010684
[pid=84970] ppid=84967 vsize=627296 memory=554472 CPUtime=3532.51 cores=0,2
/proc/84970/stat : 84970 (cp-sat-runner) S 84967 84970 82985 0 -1 4194304 921390 0 0 0 353070 181 0 0 20 0 3 0 75177876 642351104 138618 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
/proc/84970/statm: 156824 138618 2144 2102 0 144169 0
[pid=84970/tid=84972] ppid=84967 vsize=627296 memory=554472 CPUtime=1755.1 cores=0,2
/proc/84970/task/84972/stat : 84972 (cp-sat-runner) R 84967 84970 82985 0 -1 4194368 671807 0 0 0 175381 129 0 0 20 0 3 0 75178320 642351104 138618 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
[pid=84970/tid=84973] ppid=84967 vsize=627296 memory=554472 CPUtime=1770.26 cores=0,2
/proc/84970/task/84973/stat : 84973 (cp-sat-runner) R 84967 84970 82985 0 -1 4194368 204139 0 0 0 177000 26 0 0 20 0 3 0 75178320 642351104 138618 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
Current children cumulated CPU time: 3532.51 s
Current children cumulated vsize: 627296 KiB
Current children cumulated memory: 554472 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1816.3 s]
/proc/loadavg: 4.07 4.61 6.05 5/242 85171
/proc/meminfo: memFree=112097076/131382120 swapFree=33010160/33010684
[pid=84970] ppid=84967 vsize=627296 memory=557416 CPUtime=3600.08 cores=0,2
/proc/84970/stat : 84970 (cp-sat-runner) S 84967 84970 82985 0 -1 4194304 921634 0 0 0 359826 182 0 0 20 0 3 0 75177876 642351104 139354 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
/proc/84970/statm: 156824 139354 2144 2102 0 144410 0
[pid=84970/tid=84972] ppid=84967 vsize=627296 memory=16248 CPUtime=1788.77 cores=0,2
/proc/84970/task/84972/stat : 84972 (cp-sat-runner) R 84967 84970 82985 0 -1 4194368 672048 0 0 0 178748 129 0 0 20 0 3 0 75178320 642351104 139354 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
[pid=84970/tid=84973] ppid=84967 vsize=627296 memory=557416 CPUtime=1804.14 cores=0,2
/proc/84970/task/84973/stat : 84973 (cp-sat-runner) R 84967 84970 82985 0 -1 4194368 204140 0 0 0 180388 26 0 0 20 0 3 0 75178320 642351104 139354 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 627296 KiB
Current children cumulated memory: 557416 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.28 s, system=1.82548 s

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

[startup+1816.3 s]
/proc/loadavg: 4.07 4.61 6.05 5/242 85171
/proc/meminfo: memFree=112097076/131382120 swapFree=33010160/33010684
[pid=84970] ppid=84967 vsize=627296 memory=557416 CPUtime=3600.08 cores=0,2
/proc/84970/stat : 84970 (cp-sat-runner) S 84967 84970 82985 0 -1 4194304 921634 0 0 0 359826 182 0 0 20 0 3 0 75177876 642351104 139354 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
/proc/84970/statm: 156824 139354 2144 2102 0 144410 0
[pid=84970/tid=84972] ppid=84967 vsize=627296 memory=16248 CPUtime=1788.77 cores=0,2
/proc/84970/task/84972/stat : 84972 (cp-sat-runner) R 84967 84970 82985 0 -1 4194368 672048 0 0 0 178748 129 0 0 20 0 3 0 75178320 642351104 139354 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
[pid=84970/tid=84973] ppid=84967 vsize=627296 memory=557416 CPUtime=1804.14 cores=0,2
/proc/84970/task/84973/stat : 84973 (cp-sat-runner) R 84967 84970 82985 0 -1 4194368 204140 0 0 0 180388 26 0 0 20 0 3 0 75178320 642351104 139354 18446744073709551615 4198400 12805993 140720554182880 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23732224 140720554191128 140720554191333 140720554191333 140720554196935 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 627296 KiB
Current children cumulated memory: 557416 KiB

Child status: 0

Real time (s): 1816.31
CPU time (s): 3600.1
CPU user time (s): 3598.28
CPU system time (s): 1.82548
CPU usage (%): 198.21
Max. virtual memory (cumulated for all children) (KiB): 627296
Max. memory (cumulated for all children) (KiB): 557416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.28
system time used= 1.82548
maximum resident set size= 557544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 921642
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= 21372
involuntary context switches= 67761


# summary of solver processes directly reported to runsolver:
#   pid: 84970
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3598.28
#   total CPU system time (s): 1.82548

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.6739 second user time and 8.84881 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-07-04 04:09:48
IDJOB=4524180
IDBENCH=180627
IDSOLVER=3320
FILE ID=nodeC008/4524180-1751594987
RUNJOBID= nodeC008-1751585836-82995
SLURM_JOB_ID= 9598832
Free space on /tmp= 432680 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-GolombRuler-a3v18-15_c18.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-4524180-1751594987/watcher-4524180-1751594987 -o /tmp/evaluation-result-4524180-1751594987/solver-4524180-1751594987 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751585836-82995 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1104488290 --competition_mode --input HOME/instance-4524180-1751594987.opb

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

MD5SUM BENCH= 64dbfbfc0114f72138d7179eedb1d684
RANDOM SEED=1104488290

nodeC008 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	: 0xb00001f
cpu MHz		: 1397.299
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.603
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.214
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.614
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.657
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.637
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.889
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3592.041
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        117842240 kB
MemAvailable:   118086144 kB
Buffers:            2128 kB
Cached:          1038284 kB
SwapCached:           16 kB
Active:         12372692 kB
Inactive:         519432 kB
Active(anon):   11833232 kB
Inactive(anon):    36400 kB
Active(file):     539460 kB
Inactive(file):   483032 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             13456 kB
Writeback:            24 kB
AnonPages:      11850872 kB
Mapped:           129756 kB
Shmem:             17920 kB
KReclaimable:     122076 kB
Slab:             206932 kB
SReclaimable:     122076 kB
SUnreclaim:        84856 kB
KernelStack:        4160 kB
PageTables:        26828 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:   13067312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149512 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6254592 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:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432128 MiB
End job on nodeC008 at 2025-07-04 04:40:04