Trace number 4529559

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.2? (TO) 3600.14 1816.64

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/scens/
normalized-scen06-18reduc_wcsp.wbo
MD5SUM85c9e899b779dcafda2f7e25c2fdc65d
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3263
Best CPU time to get the best result obtained on this benchmark90.5155
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1758
Total number of constraints105203
Number of soft constraints105121
Number of constraints which are clauses105121
Number of constraints which are cardinality constraints (but not clauses)82
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint26
Top cost 3389
Min constraint cost 1
Max constraint cost 2436
Sum of constraints costs 36645766
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 27
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.07/1816.60	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (54996 MiB free)
  memory of node 1: 64465 MiB (52415 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529559-1752571848/watcher-4529559-1752571848 -o /tmp/evaluation-result-4529559-1752571848/solver-4529559-1752571848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1752571848-124435 --watchdog 3760 cp_sat_runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:764063283 --competition_mode --input HOME/instance-4529559-1752571848.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=124493, runsolver pid=124477

[startup+0.100064 s]*
/proc/loadavg: 1.23 0.35 0.17 5/268 124494
/proc/meminfo: memFree=109899548/131249996 swapFree=33010160/33010684
[pid=124493] ppid=124477 vsize=70184 memory=62852 CPUtime=0.09 cores=5,7
/proc/124493/stat : 124493 (cp_sat_runner) R 124477 124493 124417 0 -1 4194304 15212 0 0 0 7 2 0 0 20 0 1 0 172865473 71868416 15713 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
/proc/124493/statm: 17546 15713 1120 2102 0 15086 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 70184 KiB
Current children cumulated memory: 62852 KiB

[startup+0.205924 s]*
/proc/loadavg: 1.23 0.35 0.17 6/270 124496
/proc/meminfo: memFree=109816640/131249996 swapFree=33010160/33010684
[pid=124493] ppid=124477 vsize=100272 memory=92928 CPUtime=0.19 cores=5,7
/proc/124493/stat : 124493 (cp_sat_runner) R 124477 124493 124417 0 -1 4194304 23287 0 0 0 16 3 0 0 20 0 1 0 172865473 102678528 23232 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
/proc/124493/statm: 25068 23232 1408 2102 0 22608 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 100272 KiB
Current children cumulated memory: 92928 KiB

[startup+0.305737 s]*
/proc/loadavg: 1.23 0.35 0.17 6/270 124496
/proc/meminfo: memFree=109715836/131249996 swapFree=33010160/33010684
[pid=124493] ppid=124477 vsize=126340 memory=114656 CPUtime=0.29 cores=5,7
/proc/124493/stat : 124493 (cp_sat_runner) R 124477 124493 124417 0 -1 4194304 27077 0 0 0 25 4 0 0 20 0 1 0 172865473 129372160 28664 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
/proc/124493/statm: 31585 28664 1504 2102 0 29125 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 126340 KiB
Current children cumulated memory: 114656 KiB

[startup+0.700174 s]
/proc/loadavg: 1.23 0.35 0.17 4/264 124497
/proc/meminfo: memFree=109736056/131249996 swapFree=33010160/33010684
[pid=124493] ppid=124477 vsize=139540 memory=125772 CPUtime=0.68 cores=5,7
/proc/124493/stat : 124493 (cp_sat_runner) R 124477 124493 124417 0 -1 4194304 33184 0 0 0 63 5 0 0 20 0 1 0 172865473 142888960 31443 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
/proc/124493/statm: 34885 31443 1536 2102 0 32425 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 139540 KiB
Current children cumulated memory: 125772 KiB

[startup+1.50016 s]
/proc/loadavg: 1.23 0.35 0.17 5/266 124500
/proc/meminfo: memFree=109550888/131249996 swapFree=33010160/33010684
[pid=124493] ppid=124477 vsize=239116 memory=222128 CPUtime=1.48 cores=5,7
/proc/124493/stat : 124493 (cp_sat_runner) R 124477 124493 124417 0 -1 4194304 57916 0 0 0 138 10 0 0 20 0 1 0 172865473 244854784 55532 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
/proc/124493/statm: 59779 55532 1856 2102 0 57319 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 239116 KiB
Current children cumulated memory: 222128 KiB

[startup+3.1057 s]
/proc/loadavg: 1.46 0.41 0.20 5/266 124506
/proc/meminfo: memFree=109184648/131249996 swapFree=33010160/33010684
[pid=124493] ppid=124477 vsize=266044 memory=247904 CPUtime=3.07 cores=5,7
/proc/124493/stat : 124493 (cp_sat_runner) R 124477 124493 124417 0 -1 4194304 62256 0 0 0 296 11 0 0 20 0 1 0 172865473 272429056 61976 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
/proc/124493/statm: 66511 61976 1856 2102 0 64051 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 266044 KiB
Current children cumulated memory: 247904 KiB

[startup+6.30021 s]
/proc/loadavg: 1.46 0.41 0.20 8/270 124510
/proc/meminfo: memFree=108399860/131249996 swapFree=33010160/33010684
[pid=124493] ppid=124477 vsize=1047952 memory=908972 CPUtime=8.71 cores=5,7
/proc/124493/stat : 124493 (cp_sat_runner) S 124477 124493 124417 0 -1 4194304 222613 0 0 0 831 40 0 0 20 0 3 0 172865473 1073102848 227243 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
/proc/124493/statm: 261988 227243 2144 2102 0 238999 0
[pid=124493/tid=124507] ppid=124477 vsize=1047952 memory=211876068 CPUtime=2.35 cores=5,7
/proc/124493/task/124507/stat : 124507 (cp_sat_runner) R 124477 124493 124417 0 -1 4194368 118870 0 0 0 215 20 0 0 20 0 3 0 172865806 1073102848 227243 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
[pid=124493/tid=124508] ppid=124477 vsize=1047952 memory=222128 CPUtime=2.43 cores=5,7
/proc/124493/task/124508/stat : 124508 (cp_sat_runner) R 124477 124493 124417 0 -1 4194368 39269 0 0 0 236 7 0 0 20 0 3 0 172865806 1073102848 227243 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
Current children cumulated CPU time: 8.71 s
Current children cumulated vsize: 1047952 KiB
Current children cumulated memory: 908972 KiB

[startup+12.7002 s]
/proc/loadavg: 2.31 0.62 0.27 7/270 124510
/proc/meminfo: memFree=108104780/131249996 swapFree=33010160/33010684
[pid=124493] ppid=124477 vsize=1136028 memory=1009408 CPUtime=21.41 cores=5,7
/proc/124493/stat : 124493 (cp_sat_runner) S 124477 124493 124417 0 -1 4194304 309421 0 0 0 2091 50 0 0 20 0 3 0 172865473 1163292672 252352 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
/proc/124493/statm: 284007 252352 2144 2102 0 264443 0
[pid=124493/tid=124507] ppid=124477 vsize=1136028 memory=222128 CPUtime=8.68 cores=5,7
/proc/124493/task/124507/stat : 124507 (cp_sat_runner) R 124477 124493 124417 0 -1 4194368 148338 0 0 0 846 22 0 0 20 0 3 0 172865806 1163292672 252352 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
[pid=124493/tid=124508] ppid=124477 vsize=1136028 memory=0 CPUtime=8.8 cores=5,7
/proc/124493/task/124508/stat : 124508 (cp_sat_runner) R 124477 124493 124417 0 -1 4194368 96563 0 0 0 865 15 0 0 20 0 3 0 172865806 1163292672 252352 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
Current children cumulated CPU time: 21.41 s
Current children cumulated vsize: 1136028 KiB
Current children cumulated memory: 1009408 KiB

[startup+25.5002 s]
/proc/loadavg: 3.03 0.83 0.34 7/270 124557
/proc/meminfo: memFree=107932640/131249996 swapFree=33010160/33010684
[pid=124493] ppid=124477 vsize=1267100 memory=1095884 CPUtime=46.39 cores=5,7
/proc/124493/stat : 124493 (cp_sat_runner) S 124477 124493 124417 0 -1 4194304 430148 0 0 0 4570 69 0 0 20 0 3 0 172865473 1297510400 273971 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
/proc/124493/statm: 316775 273971 2144 2102 0 285462 0
[pid=124493/tid=124507] ppid=124477 vsize=1267100 memory=1095884 CPUtime=20.7 cores=5,7
/proc/124493/task/124507/stat : 124507 (cp_sat_runner) R 124477 124493 124417 0 -1 4194368 219333 0 0 0 2041 29 0 0 20 0 3 0 172865806 1297510400 273971 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
[pid=124493/tid=124508] ppid=124477 vsize=1267100 memory=16496 CPUtime=20.89 cores=5,7
/proc/124493/task/124508/stat : 124508 (cp_sat_runner) R 124477 124493 124417 0 -1 4194368 146187 0 0 0 2063 26 0 0 20 0 3 0 172865806 1297510400 273971 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
Current children cumulated CPU time: 46.39 s
Current children cumulated vsize: 1267100 KiB
Current children cumulated memory: 1095884 KiB

[startup+51.1061 s]
/proc/loadavg: 4.79 1.43 0.55 8/273 124595
/proc/meminfo: memFree=104735368/131249996 swapFree=33010160/33010684
[pid=124493] ppid=124477 vsize=1136028 memory=1024328 CPUtime=97.21 cores=5,7
/proc/124493/stat : 124493 (cp_sat_runner) S 124477 124493 124417 0 -1 4194304 579935 0 0 0 9627 94 0 0 20 0 3 0 172865473 1163292672 256082 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
/proc/124493/statm: 284007 256082 2144 2102 0 267481 0
[pid=124493/tid=124507] ppid=124477 vsize=1136028 memory=20992 CPUtime=46.01 cores=5,7
/proc/124493/task/124507/stat : 124507 (cp_sat_runner) R 124477 124493 124417 0 -1 4194368 234961 0 0 0 4570 31 0 0 20 0 3 0 172865806 1163292672 256082 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
[pid=124493/tid=124508] ppid=124477 vsize=1136028 memory=1077064 CPUtime=46.39 cores=5,7
/proc/124493/task/124508/stat : 124508 (cp_sat_runner) R 124477 124493 124417 0 -1 4194368 280266 0 0 0 4590 49 0 0 20 0 3 0 172865806 1163292672 256082 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
Current children cumulated CPU time: 97.21 s
Current children cumulated vsize: 1136028 KiB
Current children cumulated memory: 1024328 KiB

[startup+102.3 s]
/proc/loadavg: 6.21 2.40 0.94 8/273 124596
/proc/meminfo: memFree=102404328/131249996 swapFree=33010160/33010684
[pid=124493] ppid=124477 vsize=1136028 memory=1024356 CPUtime=198.83 cores=5,7
/proc/124493/stat : 124493 (cp_sat_runner) S 124477 124493 124417 0 -1 4194304 681604 0 0 0 19759 124 0 0 20 0 3 0 172865473 1163292672 256089 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
/proc/124493/statm: 284007 256089 2144 2102 0 267646 0
[pid=124493/tid=124507] ppid=124477 vsize=1136028 memory=16496 CPUtime=96.62 cores=5,7
/proc/124493/task/124507/stat : 124507 (cp_sat_runner) R 124477 124493 124417 0 -1 4194368 251464 0 0 0 9629 33 0 0 20 0 3 0 172865806 1163292672 256089 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
[pid=124493/tid=124508] ppid=124477 vsize=1136028 memory=1062888 CPUtime=97.39 cores=5,7
/proc/124493/task/124508/stat : 124508 (cp_sat_runner) R 124477 124493 124417 0 -1 4194368 365329 0 0 0 9663 76 0 0 20 0 3 0 172865806 1163292672 256089 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
Current children cumulated CPU time: 198.83 s
Current children cumulated vsize: 1136028 KiB
Current children cumulated memory: 1024356 KiB

[startup+162.3 s]
/proc/loadavg: 7.24 3.38 1.36 10/275 124600
/proc/meminfo: memFree=92345872/131249996 swapFree=33010160/33010684
[pid=124493] ppid=124477 vsize=1188832 memory=1045084 CPUtime=317.92 cores=5,7
/proc/124493/stat : 124493 (cp_sat_runner) S 124477 124493 124417 0 -1 4194304 777354 0 0 0 31638 154 0 0 20 0 3 0 172865473 1217363968 261271 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
/proc/124493/statm: 297208 261271 2144 2102 0 281024 0
[pid=124493/tid=124507] ppid=124477 vsize=1188832 memory=16496 CPUtime=155.91 cores=5,7
/proc/124493/task/124507/stat : 124507 (cp_sat_runner) R 124477 124493 124417 0 -1 4194368 284005 0 0 0 15555 36 0 0 20 0 3 0 172865806 1217363968 261271 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
[pid=124493/tid=124508] ppid=124477 vsize=1188832 memory=1061468 CPUtime=157.16 cores=5,7
/proc/124493/task/124508/stat : 124508 (cp_sat_runner) R 124477 124493 124417 0 -1 4194368 428489 0 0 0 15614 102 0 0 20 0 3 0 172865806 1217363968 261271 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
Current children cumulated CPU time: 317.92 s
Current children cumulated vsize: 1188832 KiB
Current children cumulated memory: 1045084 KiB

[startup+222.3 s]
/proc/loadavg: 7.78 4.24 1.79 9/276 124604
/proc/meminfo: memFree=91079052/131249996 swapFree=33010160/33010684
[pid=124493] ppid=124477 vsize=1136028 memory=1025000 CPUtime=436.98 cores=5,7
/proc/124493/stat : 124493 (cp_sat_runner) S 124477 124493 124417 0 -1 4194304 836055 0 0 0 43514 184 0 0 20 0 3 0 172865473 1163292672 256250 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
/proc/124493/statm: 284007 256250 2144 2102 0 267823 0
[pid=124493/tid=124507] ppid=124477 vsize=1136028 memory=1045100 CPUtime=215.19 cores=5,7
/proc/124493/task/124507/stat : 124507 (cp_sat_runner) R 124477 124493 124417 0 -1 4194368 304310 0 0 0 21481 38 0 0 20 0 3 0 172865806 1163292672 256250 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
[pid=124493/tid=124508] ppid=124477 vsize=1136028 memory=16496 CPUtime=216.93 cores=5,7
/proc/124493/task/124508/stat : 124508 (cp_sat_runner) R 124477 124493 124417 0 -1 4194368 466838 0 0 0 21562 131 0 0 20 0 3 0 172865806 1163292672 256250 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
Current children cumulated CPU time: 436.98 s
Current children cumulated vsize: 1136028 KiB
Current children cumulated memory: 1025000 KiB

[startup+282.3 s]
/proc/loadavg: 8.24 5.00 2.21 9/276 124606
/proc/meminfo: memFree=91342964/131249996 swapFree=33010160/33010684
[pid=124493] ppid=124477 vsize=1188832 memory=1077772 CPUtime=556.03 cores=5,7
/proc/124493/stat : 124493 (cp_sat_runner) S 124477 124493 124417 0 -1 4194304 918450 0 0 0 55385 218 0 0 20 0 3 0 172865473 1217363968 269443 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
/proc/124493/statm: 297208 269443 2144 2102 0 281024 0
[pid=124493/tid=124507] ppid=124477 vsize=1188832 memory=1025032 CPUtime=274.47 cores=5,7
/proc/124493/task/124507/stat : 124507 (cp_sat_runner) R 124477 124493 124417 0 -1 4194368 343566 0 0 0 27405 42 0 0 20 0 3 0 172865806 1217363968 269443 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
[pid=124493/tid=124508] ppid=124477 vsize=1188832 memory=16496 CPUtime=276.69 cores=5,7

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

Current children cumulated memory: 1123912 KiB

[startup+1302.3 s]
/proc/loadavg: 8.14 8.07 6.22 9/275 124661
/proc/meminfo: memFree=90734736/131249996 swapFree=33010160/33010684
[pid=124493] ppid=124477 vsize=1232656 memory=1130760 CPUtime=2579.81 cores=5,7
/proc/124493/stat : 124493 (cp_sat_runner) S 124477 124493 124417 0 -1 4194304 2028688 0 0 0 256248 1733 0 0 20 0 3 0 172865473 1262239744 282690 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
/proc/124493/statm: 308164 282690 2144 2102 0 293727 0
[pid=124493/tid=124507] ppid=124477 vsize=1232656 memory=1171340 CPUtime=1283.83 cores=5,7
/proc/124493/task/124507/stat : 124507 (cp_sat_runner) R 124477 124493 124417 0 -1 4194368 716280 0 0 0 127366 1017 0 0 20 0 3 0 172865806 1262239744 282690 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
[pid=124493/tid=124508] ppid=124477 vsize=1232656 memory=1130760 CPUtime=1290.8 cores=5,7
/proc/124493/task/124508/stat : 124508 (cp_sat_runner) R 124477 124493 124417 0 -1 4194368 1246790 0 0 0 128390 690 0 0 20 0 3 0 172865806 1262239744 282690 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
Current children cumulated CPU time: 2579.81 s
Current children cumulated vsize: 1232656 KiB
Current children cumulated memory: 1130760 KiB

[startup+1362.3 s]
/proc/loadavg: 8.13 8.09 6.35 9/275 124663
/proc/meminfo: memFree=89579940/131249996 swapFree=33010160/33010684
[pid=124493] ppid=124477 vsize=1285460 memory=1171340 CPUtime=2698.83 cores=5,7
/proc/124493/stat : 124493 (cp_sat_runner) S 124477 124493 124417 0 -1 4194304 2104442 0 0 0 267957 1926 0 0 20 0 3 0 172865473 1316311040 292835 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
/proc/124493/statm: 321365 292835 2144 2102 0 306928 0
[pid=124493/tid=124507] ppid=124477 vsize=1285460 memory=1171340 CPUtime=1343.07 cores=5,7
/proc/124493/task/124507/stat : 124507 (cp_sat_runner) R 124477 124493 124417 0 -1 4194368 733517 0 0 0 133141 1166 0 0 20 0 3 0 172865806 1316311040 292835 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
[pid=124493/tid=124508] ppid=124477 vsize=1285460 memory=1183500 CPUtime=1350.56 cores=5,7
/proc/124493/task/124508/stat : 124508 (cp_sat_runner) R 124477 124493 124417 0 -1 4194368 1305296 0 0 0 134322 734 0 0 20 0 3 0 172865806 1316311040 292835 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
Current children cumulated CPU time: 2698.83 s
Current children cumulated vsize: 1285460 KiB
Current children cumulated memory: 1171340 KiB

[startup+1422.3 s]
/proc/loadavg: 8.18 8.11 6.47 9/274 124667
/proc/meminfo: memFree=89241984/131249996 swapFree=33010160/33010684
[pid=124493] ppid=124477 vsize=1201284 memory=1099388 CPUtime=2817.85 cores=5,7
/proc/124493/stat : 124493 (cp_sat_runner) S 124477 124493 124417 0 -1 4194304 2167701 0 0 0 279683 2102 0 0 20 0 3 0 172865473 1230114816 274847 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
/proc/124493/statm: 300321 274847 2144 2102 0 285884 0
[pid=124493/tid=124507] ppid=124477 vsize=1201284 memory=1171340 CPUtime=1402.3 cores=5,7
/proc/124493/task/124507/stat : 124507 (cp_sat_runner) R 124477 124493 124417 0 -1 4194368 743731 0 0 0 138929 1301 0 0 20 0 3 0 172865806 1230114816 274847 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
[pid=124493/tid=124508] ppid=124477 vsize=1201284 memory=16496 CPUtime=1410.32 cores=5,7
/proc/124493/task/124508/stat : 124508 (cp_sat_runner) R 124477 124493 124417 0 -1 4194368 1358335 0 0 0 140260 772 0 0 20 0 3 0 172865806 1230114816 274847 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
Current children cumulated CPU time: 2817.85 s
Current children cumulated vsize: 1201284 KiB
Current children cumulated memory: 1099388 KiB

[startup+1482.3 s]
/proc/loadavg: 8.08 8.10 6.57 9/274 124669
/proc/meminfo: memFree=89547204/131249996 swapFree=33010160/33010684
[pid=124493] ppid=124477 vsize=1254088 memory=1152128 CPUtime=2936.88 cores=5,7
/proc/124493/stat : 124493 (cp_sat_runner) S 124477 124493 124417 0 -1 4194304 2256770 0 0 0 291406 2282 0 0 20 0 3 0 172865473 1284186112 288032 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
/proc/124493/statm: 313522 288032 2144 2102 0 299085 0
[pid=124493/tid=124507] ppid=124477 vsize=1254088 memory=1099388 CPUtime=1461.55 cores=5,7
/proc/124493/task/124507/stat : 124507 (cp_sat_runner) R 124477 124493 124417 0 -1 4194368 758444 0 0 0 144715 1440 0 0 20 0 3 0 172865806 1284186112 288032 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
[pid=124493/tid=124508] ppid=124477 vsize=1254088 memory=1099388 CPUtime=1470.1 cores=5,7
/proc/124493/task/124508/stat : 124508 (cp_sat_runner) R 124477 124493 124417 0 -1 4194368 1432608 0 0 0 146196 814 0 0 20 0 3 0 172865806 1284186112 288032 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
Current children cumulated CPU time: 2936.88 s
Current children cumulated vsize: 1254088 KiB
Current children cumulated memory: 1152128 KiB

[startup+1542.3 s]
/proc/loadavg: 8.28 8.15 6.68 9/272 124672
/proc/meminfo: memFree=89377584/131249996 swapFree=33010160/33010684
[pid=124493] ppid=124477 vsize=1264936 memory=1162976 CPUtime=3055.9 cores=5,7
/proc/124493/stat : 124493 (cp_sat_runner) S 124477 124493 124417 0 -1 4194304 2301580 0 0 0 303137 2453 0 0 20 0 3 0 172865473 1295294464 290744 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
/proc/124493/statm: 316234 290744 2144 2102 0 301797 0
[pid=124493/tid=124507] ppid=124477 vsize=1264936 memory=2764 CPUtime=1520.78 cores=5,7
/proc/124493/task/124507/stat : 124507 (cp_sat_runner) R 124477 124493 124417 0 -1 4194368 769214 0 0 0 150502 1576 0 0 20 0 3 0 172865806 1295294464 290744 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
[pid=124493/tid=124508] ppid=124477 vsize=1264936 memory=16496 CPUtime=1529.86 cores=5,7
/proc/124493/task/124508/stat : 124508 (cp_sat_runner) R 124477 124493 124417 0 -1 4194368 1466623 0 0 0 152138 848 0 0 20 0 3 0 172865806 1295294464 290744 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
Current children cumulated CPU time: 3055.9 s
Current children cumulated vsize: 1264936 KiB
Current children cumulated memory: 1162976 KiB

[startup+1602.3 s]
/proc/loadavg: 8.13 8.13 6.77 9/271 124675
/proc/meminfo: memFree=90013964/131249996 swapFree=33010160/33010684
[pid=124493] ppid=124477 vsize=1212132 memory=1110240 CPUtime=3174.93 cores=5,7
/proc/124493/stat : 124493 (cp_sat_runner) S 124477 124493 124417 0 -1 4194304 2376393 0 0 0 314865 2628 0 0 20 0 3 0 172865473 1241223168 277560 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
/proc/124493/statm: 303033 277560 2144 2102 0 288596 0
[pid=124493/tid=124507] ppid=124477 vsize=1212132 memory=2764 CPUtime=1580.03 cores=5,7
/proc/124493/task/124507/stat : 124507 (cp_sat_runner) R 124477 124493 124417 0 -1 4194368 776867 0 0 0 156296 1707 0 0 20 0 3 0 172865806 1241223168 277560 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
[pid=124493/tid=124508] ppid=124477 vsize=1212132 memory=1152128 CPUtime=1589.63 cores=5,7
/proc/124493/task/124508/stat : 124508 (cp_sat_runner) R 124477 124493 124417 0 -1 4194368 1533751 0 0 0 158071 892 0 0 20 0 3 0 172865806 1241223168 277560 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
Current children cumulated CPU time: 3174.93 s
Current children cumulated vsize: 1212132 KiB
Current children cumulated memory: 1110240 KiB

[startup+1662.3 s]
/proc/loadavg: 8.17 8.14 6.86 9/272 124678
/proc/meminfo: memFree=89738840/131249996 swapFree=33010160/33010684
[pid=124493] ppid=124477 vsize=1264936 memory=1162984 CPUtime=3293.95 cores=5,7
/proc/124493/stat : 124493 (cp_sat_runner) S 124477 124493 124417 0 -1 4194304 2446531 0 0 0 326592 2803 0 0 20 0 3 0 172865473 1295294464 290746 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
/proc/124493/statm: 316234 290746 2144 2102 0 301797 0
[pid=124493/tid=124507] ppid=124477 vsize=1264936 memory=2764 CPUtime=1639.27 cores=5,7
/proc/124493/task/124507/stat : 124507 (cp_sat_runner) R 124477 124493 124417 0 -1 4194368 788064 0 0 0 162084 1843 0 0 20 0 3 0 172865806 1295294464 290746 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
[pid=124493/tid=124508] ppid=124477 vsize=1264936 memory=1152128 CPUtime=1649.4 cores=5,7
/proc/124493/task/124508/stat : 124508 (cp_sat_runner) R 124477 124493 124417 0 -1 4194368 1592661 0 0 0 164010 930 0 0 20 0 3 0 172865806 1295294464 290746 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
Current children cumulated CPU time: 3293.95 s
Current children cumulated vsize: 1264936 KiB
Current children cumulated memory: 1162984 KiB

[startup+1722.3 s]
/proc/loadavg: 8.24 8.17 6.96 9/272 124680
/proc/meminfo: memFree=88900944/131249996 swapFree=33010160/33010684
[pid=124493] ppid=124477 vsize=1265200 memory=1163252 CPUtime=3412.98 cores=5,7
/proc/124493/stat : 124493 (cp_sat_runner) S 124477 124493 124417 0 -1 4194304 2513542 0 0 0 338304 2994 0 0 20 0 3 0 172865473 1295564800 290813 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
/proc/124493/statm: 316300 290813 2144 2102 0 301863 0
[pid=124493/tid=124507] ppid=124477 vsize=1265200 memory=2764 CPUtime=1698.51 cores=5,7
/proc/124493/task/124507/stat : 124507 (cp_sat_runner) R 124477 124493 124417 0 -1 4194368 802234 0 0 0 167857 1994 0 0 20 0 3 0 172865806 1295564800 290813 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
[pid=124493/tid=124508] ppid=124477 vsize=1265200 memory=1152128 CPUtime=1709.17 cores=5,7
/proc/124493/task/124508/stat : 124508 (cp_sat_runner) R 124477 124493 124417 0 -1 4194368 1645466 0 0 0 169947 970 0 0 20 0 3 0 172865806 1295564800 290813 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
Current children cumulated CPU time: 3412.98 s
Current children cumulated vsize: 1265200 KiB
Current children cumulated memory: 1163252 KiB

[startup+1782.3 s]
/proc/loadavg: 8.30 8.20 7.05 9/275 124687
/proc/meminfo: memFree=89622024/131249996 swapFree=33010160/33010684
[pid=124493] ppid=124477 vsize=1265200 memory=1151096 CPUtime=3532.02 cores=5,7
/proc/124493/stat : 124493 (cp_sat_runner) S 124477 124493 124417 0 -1 4194304 2577162 0 0 0 350040 3162 0 0 20 0 3 0 172865473 1295564800 287774 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
/proc/124493/statm: 316300 287774 2144 2102 0 301863 0
[pid=124493/tid=124507] ppid=124477 vsize=1265200 memory=1110516 CPUtime=1757.75 cores=5,7
/proc/124493/task/124507/stat : 124507 (cp_sat_runner) R 124477 124493 124417 0 -1 4194368 812254 0 0 0 173655 2120 0 0 20 0 3 0 172865806 1295564800 287774 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
[pid=124493/tid=124508] ppid=124477 vsize=1265200 memory=-6880228935800295784 CPUtime=1768.94 cores=5,7
/proc/124493/task/124508/stat : 124508 (cp_sat_runner) R 124477 124493 124417 0 -1 4194368 1699030 0 0 0 175883 1011 0 0 20 0 3 0 172865806 1295564800 287774 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
Current children cumulated CPU time: 3532.02 s
Current children cumulated vsize: 1265200 KiB
Current children cumulated memory: 1151096 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1816.6 s]
/proc/loadavg: 8.33 8.21 7.09 7/269 124706
/proc/meminfo: memFree=89360132/131249996 swapFree=33010160/33010684
[pid=124493] ppid=124477 vsize=1212396 memory=1110520 CPUtime=3600.07 cores=5,7
/proc/124493/stat : 124493 (cp_sat_runner) S 124477 124493 124417 0 -1 4194304 2605955 0 0 0 356751 3256 0 0 20 0 3 0 172865473 1241493504 277630 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
/proc/124493/statm: 303099 277630 2144 2102 0 288662 0
[pid=124493/tid=124507] ppid=124477 vsize=1212396 memory=2816 CPUtime=1791.64 cores=5,7
/proc/124493/task/124507/stat : 124507 (cp_sat_runner) R 124477 124493 124417 0 -1 4194368 817412 0 0 0 176973 2191 0 0 20 0 3 0 172865806 1241493504 277630 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
[pid=124493/tid=124508] ppid=124477 vsize=1212396 memory=6912 CPUtime=1803.11 cores=5,7
/proc/124493/task/124508/stat : 124508 (cp_sat_runner) R 124477 124493 124417 0 -1 4194368 1722664 0 0 0 179277 1034 0 0 20 0 3 0 172865806 1241493504 277630 18446744073709551615 4198400 12806697 140728460590160 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 31612928 140728460593429 140728460593633 140728460593633 140728460599239 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1212396 KiB
Current children cumulated memory: 1110520 KiB

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

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

# cumulated CPU time of all completed processes:  user=3567.53 s, system=32.6079 s

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

Child status: 0

Real time (s): 1816.64
CPU time (s): 3600.14
CPU user time (s): 3567.53
CPU system time (s): 32.6079
CPU usage (%): 198.175
Max. virtual memory (cumulated for all children) (KiB): 1416532
Max. memory (cumulated for all children) (KiB): 1183500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3567.53
system time used= 32.6079
maximum resident set size= 1185548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2605963
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= 32775
involuntary context switches= 178335


# summary of solver processes directly reported to runsolver:
#   pid: 124493
#   total CPU time (s): 3600.14
#   total CPU user time (s): 3567.53
#   total CPU system time (s): 32.6079

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.90207 second user time and 9.25905 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-07-15 11:30:56
IDJOB=4529559
IDBENCH=143871
IDSOLVER=3387
FILE ID=nodeC032/4529559-1752571848
RUNJOBID= nodeC032-1752571848-124435
SLURM_JOB_ID= 9683901
Free space on /tmp= 429596 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14.2
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/scens/normalized-scen06-18reduc_wcsp.wbo
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 -w /tmp/evaluation-result-4529559-1752571848/watcher-4529559-1752571848 -o /tmp/evaluation-result-4529559-1752571848/solver-4529559-1752571848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1752571848-124435 --watchdog 3760  cp_sat_runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:764063283 --competition_mode --input HOME/instance-4529559-1752571848.wbo

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

MD5SUM BENCH= 85c9e899b779dcafda2f7e25c2fdc65d
RANDOM SEED=764063283

nodeC032 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		: 1200.207
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.69
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		: 3700.000
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.69
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		: 1199.118
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.69
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		: 3600.742
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.69
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		: 1199.971
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.69
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		: 3602.025
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.69
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		: 3700.000
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.69
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		: 3600.033
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.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        110107076 kB
MemAvailable:   129617204 kB
Buffers:            2728 kB
Cached:         20185408 kB
SwapCached:           20 kB
Active:           492092 kB
Inactive:       19761928 kB
Active(anon):      80808 kB
Inactive(anon):     3124 kB
Active(file):     411284 kB
Inactive(file): 19758804 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             58424 kB
Writeback:             0 kB
AnonPages:         69040 kB
Mapped:           106192 kB
Shmem:             18048 kB
KReclaimable:     358560 kB
Slab:             456132 kB
SReclaimable:     358560 kB
SUnreclaim:        97572 kB
KernelStack:        4144 kB
PageTables:         2860 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     341360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 429460 MiB
End job on nodeC032 at 2025-07-15 12:01:25