Trace number 4544949

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
Hybrid-CASHWMaxSATDisjComS+SynLSCD 2025-06-01UNSAT 1551.55 1555.88

General information on the benchmark

NamePB25/normalized-PB25/DEC-LIN/koops/
normalized-mat20_19_identity_complement.opb
MD5SUM6b62b1f0af3a4b117c91c07257537aad
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark14.7305
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7600
Total number of constraints700360
Number of constraints which are clauses685920
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints14440
Minimum length of a constraint2
Maximum length of a constraint19
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 37
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1551.48/1555.84	c Exit code from Second Program: 20
1551.48/1555.86	c #vars 7600 #constraints 700360 92.1526 1
1551.48/1555.86	c 700360 constraints
1551.48/1555.86	c Finish cloning data from SAT to LS
1551.48/1555.86	c restart_num_ls  -100000 0
1551.48/1555.86	c Use LS-small
1551.48/1555.86	restart_num  0 328
1551.48/1555.86	LS-restart 90 93
1551.48/1555.86	c Use LS-small
1551.48/1555.86	s UNSATISFIABLE

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: 63665 MiB (62173 MiB free)
  memory of node 1: 64507 MiB (63053 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4544949-1753233533/watcher-4544949-1753233533 -o /tmp/evaluation-result-4544949-1753233533/solver-4544949-1753233533 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1753233529-181215 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjComS+SynLSCD HOME/instance-4544949-1753233533.opb 3600 HOME 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100066 s]*
/proc/loadavg: 1.84 3.24 3.78 5/273 181485
/proc/meminfo: memFree=128228972/131249996 swapFree=33010416/33010684
[pid=181481] ppid=181478 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/181481/stat : 181481 (Hybrid-CASHWMax) S 181478 181481 181203 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 239031042 4427776 736 18446744073709551615 94023194226688 94023195121221 140734785781936 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94023195360272 94023195408016 94023204032512 140734785784149 140734785784303 140734785784303 140734785789907 0
/proc/181481/statm: 1081 736 672 219 0 143 0
[pid=181484] ppid=181481 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/181484/stat : 181484 (timeout) S 181481 181484 181203 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 239031043 2723840 352 18446744073709551615 94800646574080 94800646590593 140723965732576 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94800646605360 94800646607448 94800655155200 140723965737374 140723965737504 140723965737504 140723965743079 0
/proc/181484/statm: 665 352 352 5 0 90 0
[pid=181485] ppid=181484 vsize=38116 memory=19584 CPUtime=0.07 cores=1,3
/proc/181485/stat : 181485 (CASHWMaxSAT-Dis) R 181484 181484 181203 0 -1 4194304 4240 0 0 0 7 0 0 0 20 0 1 0 239031043 39030784 4896 18446744073709551615 4198400 14093885 140723804166464 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43241472 140723804174756 140723804174873 140723804174873 140723804180448 0
/proc/181485/statm: 9529 4896 736 2416 0 6631 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 45100 KiB
Current children cumulated memory: 23936 KiB

[startup+0.205854 s]*
/proc/loadavg: 1.84 3.24 3.78 5/273 181485
/proc/meminfo: memFree=128208812/131249996 swapFree=33010416/33010684
[pid=181481] ppid=181478 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/181481/stat : 181481 (Hybrid-CASHWMax) S 181478 181481 181203 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 239031042 4427776 736 18446744073709551615 94023194226688 94023195121221 140734785781936 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94023195360272 94023195408016 94023204032512 140734785784149 140734785784303 140734785784303 140734785789907 0
/proc/181481/statm: 1081 736 672 219 0 143 0
[pid=181484] ppid=181481 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/181484/stat : 181484 (timeout) S 181481 181484 181203 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 239031043 2723840 352 18446744073709551615 94800646574080 94800646590593 140723965732576 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94800646605360 94800646607448 94800655155200 140723965737374 140723965737504 140723965737504 140723965743079 0
/proc/181484/statm: 665 352 352 5 0 90 0
[pid=181485] ppid=181484 vsize=56152 memory=37504 CPUtime=0.18 cores=1,3
/proc/181485/stat : 181485 (CASHWMaxSAT-Dis) R 181484 181484 181203 0 -1 4194304 8712 0 0 0 17 1 0 0 20 0 1 0 239031043 57499648 9376 18446744073709551615 4198400 14093885 140723804166464 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43241472 140723804174756 140723804174873 140723804174873 140723804180448 0
/proc/181485/statm: 14038 9376 736 2416 0 11140 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 63136 KiB
Current children cumulated memory: 41856 KiB

[startup+0.305729 s]*
/proc/loadavg: 1.84 3.24 3.78 5/273 181485
/proc/meminfo: memFree=128191928/131249996 swapFree=33010416/33010684
[pid=181481] ppid=181478 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/181481/stat : 181481 (Hybrid-CASHWMax) S 181478 181481 181203 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 239031042 4427776 736 18446744073709551615 94023194226688 94023195121221 140734785781936 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94023195360272 94023195408016 94023204032512 140734785784149 140734785784303 140734785784303 140734785789907 0
/proc/181481/statm: 1081 736 672 219 0 143 0
[pid=181484] ppid=181481 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/181484/stat : 181484 (timeout) S 181481 181484 181203 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 239031043 2723840 352 18446744073709551615 94800646574080 94800646590593 140723965732576 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94800646605360 94800646607448 94800655155200 140723965737374 140723965737504 140723965737504 140723965743079 0
/proc/181484/statm: 665 352 352 5 0 90 0
[pid=181485] ppid=181484 vsize=73288 memory=54528 CPUtime=0.29 cores=1,3
/proc/181485/stat : 181485 (CASHWMaxSAT-Dis) R 181484 181484 181203 0 -1 4194304 12981 0 0 0 26 3 0 0 20 0 1 0 239031043 75046912 13632 18446744073709551615 4198400 14093885 140723804166464 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43241472 140723804174756 140723804174873 140723804174873 140723804180448 0
/proc/181485/statm: 18322 13632 736 2416 0 15424 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 80272 KiB
Current children cumulated memory: 58880 KiB

[startup+0.700224 s]
/proc/loadavg: 1.84 3.24 3.78 5/273 181485
/proc/meminfo: memFree=128158740/131249996 swapFree=33010416/33010684
[pid=181481] ppid=181478 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/181481/stat : 181481 (Hybrid-CASHWMax) S 181478 181481 181203 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 239031042 4427776 736 18446744073709551615 94023194226688 94023195121221 140734785781936 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94023195360272 94023195408016 94023204032512 140734785784149 140734785784303 140734785784303 140734785789907 0
/proc/181481/statm: 1081 736 672 219 0 143 0
[pid=181484] ppid=181481 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/181484/stat : 181484 (timeout) S 181481 181484 181203 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 239031043 2723840 352 18446744073709551615 94800646574080 94800646590593 140723965732576 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94800646605360 94800646607448 94800655155200 140723965737374 140723965737504 140723965737504 140723965743079 0
/proc/181484/statm: 665 352 352 5 0 90 0
[pid=181485] ppid=181484 vsize=139824 memory=121088 CPUtime=0.67 cores=1,3
/proc/181485/stat : 181485 (CASHWMaxSAT-Dis) R 181484 181484 181203 0 -1 4194304 29599 0 0 0 61 6 0 0 20 0 1 0 239031043 143179776 30240 18446744073709551615 4198400 14093885 140723804166464 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43241472 140723804174756 140723804174873 140723804174873 140723804180448 0
/proc/181485/statm: 34956 30272 736 2416 0 32058 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 146808 KiB
Current children cumulated memory: 125440 KiB

[startup+1.50023 s]
/proc/loadavg: 1.84 3.24 3.78 5/273 181485
/proc/meminfo: memFree=128065940/131249996 swapFree=33010416/33010684
[pid=181481] ppid=181478 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/181481/stat : 181481 (Hybrid-CASHWMax) S 181478 181481 181203 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 239031042 4427776 736 18446744073709551615 94023194226688 94023195121221 140734785781936 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94023195360272 94023195408016 94023204032512 140734785784149 140734785784303 140734785784303 140734785789907 0
/proc/181481/statm: 1081 736 672 219 0 143 0
[pid=181484] ppid=181481 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/181484/stat : 181484 (timeout) S 181481 181484 181203 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 239031043 2723840 352 18446744073709551615 94800646574080 94800646590593 140723965732576 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94800646605360 94800646607448 94800655155200 140723965737374 140723965737504 140723965737504 140723965743079 0
/proc/181484/statm: 665 352 352 5 0 90 0
[pid=181485] ppid=181484 vsize=276440 memory=257152 CPUtime=1.47 cores=1,3
/proc/181485/stat : 181485 (CASHWMaxSAT-Dis) R 181484 181484 181203 0 -1 4194304 63628 0 0 0 137 10 0 0 20 0 1 0 239031043 283074560 64288 18446744073709551615 4198400 14093885 140723804166464 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43241472 140723804174756 140723804174873 140723804174873 140723804180448 0
/proc/181485/statm: 69110 64288 736 2416 0 66212 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 283424 KiB
Current children cumulated memory: 261504 KiB

[startup+3.10571 s]
/proc/loadavg: 2.01 3.26 3.78 5/273 181485
/proc/meminfo: memFree=127738436/131249996 swapFree=33010416/33010684
[pid=181481] ppid=181478 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/181481/stat : 181481 (Hybrid-CASHWMax) S 181478 181481 181203 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 239031042 4427776 736 18446744073709551615 94023194226688 94023195121221 140734785781936 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94023195360272 94023195408016 94023204032512 140734785784149 140734785784303 140734785784303 140734785789907 0
/proc/181481/statm: 1081 736 672 219 0 143 0
[pid=181484] ppid=181481 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/181484/stat : 181484 (timeout) S 181481 181484 181203 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 239031043 2723840 352 18446744073709551615 94800646574080 94800646590593 140723965732576 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94800646605360 94800646607448 94800655155200 140723965737374 140723965737504 140723965737504 140723965743079 0
/proc/181484/statm: 665 352 352 5 0 90 0
[pid=181485] ppid=181484 vsize=544172 memory=522492 CPUtime=3.08 cores=1,3
/proc/181485/stat : 181485 (CASHWMaxSAT-Dis) R 181484 181484 181203 0 -1 4194304 129273 0 0 0 287 21 0 0 20 0 1 0 239031043 557232128 130623 18446744073709551615 4198400 14093885 140723804166464 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43241472 140723804174756 140723804174873 140723804174873 140723804180448 0
/proc/181485/statm: 136043 130623 768 2416 0 133145 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 551156 KiB
Current children cumulated memory: 526844 KiB

[startup+6.30024 s]
/proc/loadavg: 2.01 3.26 3.78 5/273 181485
/proc/meminfo: memFree=127719796/131249996 swapFree=33010416/33010684
[pid=181481] ppid=181478 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/181481/stat : 181481 (Hybrid-CASHWMax) S 181478 181481 181203 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 239031042 4427776 736 18446744073709551615 94023194226688 94023195121221 140734785781936 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94023195360272 94023195408016 94023204032512 140734785784149 140734785784303 140734785784303 140734785789907 0
/proc/181481/statm: 1081 736 672 219 0 143 0
[pid=181484] ppid=181481 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/181484/stat : 181484 (timeout) S 181481 181484 181203 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 239031043 2723840 352 18446744073709551615 94800646574080 94800646590593 140723965732576 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94800646605360 94800646607448 94800655155200 140723965737374 140723965737504 140723965737504 140723965743079 0
/proc/181484/statm: 665 352 352 5 0 90 0
[pid=181485] ppid=181484 vsize=552812 memory=526788 CPUtime=6.25 cores=1,3
/proc/181485/stat : 181485 (CASHWMaxSAT-Dis) R 181484 181484 181203 0 -1 4194304 130588 0 0 0 604 21 0 0 20 0 1 0 239031043 566079488 131697 18446744073709551615 4198400 14093885 140723804166464 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43241472 140723804174756 140723804174873 140723804174873 140723804180448 0
/proc/181485/statm: 138203 131697 800 2416 0 135305 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 559796 KiB
Current children cumulated memory: 531140 KiB

[startup+12.7002 s]
/proc/loadavg: 2.17 3.27 3.78 5/273 181585
/proc/meminfo: memFree=127709812/131249996 swapFree=33010416/33010684
[pid=181481] ppid=181478 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/181481/stat : 181481 (Hybrid-CASHWMax) S 181478 181481 181203 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 239031042 4427776 736 18446744073709551615 94023194226688 94023195121221 140734785781936 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94023195360272 94023195408016 94023204032512 140734785784149 140734785784303 140734785784303 140734785789907 0
/proc/181481/statm: 1081 736 672 219 0 143 0
[pid=181484] ppid=181481 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/181484/stat : 181484 (timeout) S 181481 181484 181203 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 239031043 2723840 352 18446744073709551615 94800646574080 94800646590593 140723965732576 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94800646605360 94800646607448 94800655155200 140723965737374 140723965737504 140723965737504 140723965743079 0
/proc/181484/statm: 665 352 352 5 0 90 0
[pid=181485] ppid=181484 vsize=571484 memory=551076 CPUtime=12.64 cores=1,3
/proc/181485/stat : 181485 (CASHWMaxSAT-Dis) R 181484 181484 181203 0 -1 4194304 131602 0 0 0 1241 23 0 0 20 0 1 0 239031043 585199616 137769 18446744073709551615 4198400 14093885 140723804166464 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43241472 140723804174756 140723804174873 140723804174873 140723804180448 0
/proc/181485/statm: 142871 137769 800 2416 0 139973 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 578468 KiB
Current children cumulated memory: 555428 KiB

[startup+25.5002 s]
/proc/loadavg: 2.66 3.32 3.79 5/273 181585
/proc/meminfo: memFree=127629384/131249996 swapFree=33010416/33010684
[pid=181481] ppid=181478 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/181481/stat : 181481 (Hybrid-CASHWMax) S 181478 181481 181203 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 239031042 4427776 736 18446744073709551615 94023194226688 94023195121221 140734785781936 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94023195360272 94023195408016 94023204032512 140734785784149 140734785784303 140734785784303 140734785789907 0
/proc/181481/statm: 1081 736 672 219 0 143 0
[pid=181484] ppid=181481 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/181484/stat : 181484 (timeout) S 181481 181484 181203 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 239031043 2723840 352 18446744073709551615 94800646574080 94800646590593 140723965732576 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94800646605360 94800646607448 94800655155200 140723965737374 140723965737504 140723965737504 140723965743079 0
/proc/181484/statm: 665 352 352 5 0 90 0
[pid=181485] ppid=181484 vsize=583156 memory=559944 CPUtime=25.4 cores=1,3
/proc/181485/stat : 181485 (CASHWMaxSAT-Dis) R 181484 181484 181203 0 -1 4194304 131786 0 0 0 2517 23 0 0 20 0 1 0 239031043 597151744 139986 18446744073709551615 4198400 14093885 140723804166464 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43241472 140723804174756 140723804174873 140723804174873 140723804180448 0
/proc/181485/statm: 145789 139986 800 2416 0 142891 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 590140 KiB
Current children cumulated memory: 564296 KiB

[startup+51.1057 s]
/proc/loadavg: 3.25 3.41 3.81 5/273 181636
/proc/meminfo: memFree=126157356/131249996 swapFree=33010416/33010684
[pid=181481] ppid=181478 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/181481/stat : 181481 (Hybrid-CASHWMax) S 181478 181481 181203 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 239031042 4427776 736 18446744073709551615 94023194226688 94023195121221 140734785781936 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94023195360272 94023195408016 94023204032512 140734785784149 140734785784303 140734785784303 140734785789907 0
/proc/181481/statm: 1081 736 672 219 0 143 0
[pid=181484] ppid=181481 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/181484/stat : 181484 (timeout) S 181481 181484 181203 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 239031043 2723840 352 18446744073709551615 94800646574080 94800646590593 140723965732576 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94800646605360 94800646607448 94800655155200 140723965737374 140723965737504 140723965737504 140723965743079 0
/proc/181484/statm: 665 352 352 5 0 90 0
[pid=181485] ppid=181484 vsize=583156 memory=559944 CPUtime=50.93 cores=1,3
/proc/181485/stat : 181485 (CASHWMaxSAT-Dis) R 181484 181484 181203 0 -1 4194304 131821 0 0 0 5070 23 0 0 20 0 1 0 239031043 597151744 139986 18446744073709551615 4198400 14093885 140723804166464 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43241472 140723804174756 140723804174873 140723804174873 140723804180448 0
/proc/181485/statm: 145789 139986 800 2416 0 142891 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 590140 KiB
Current children cumulated memory: 564296 KiB

[startup+102.3 s]
/proc/loadavg: 3.74 3.52 3.83 5/274 181643
/proc/meminfo: memFree=126056444/131249996 swapFree=33010416/33010684
[pid=181481] ppid=181478 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/181481/stat : 181481 (Hybrid-CASHWMax) S 181478 181481 181203 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 239031042 4427776 736 18446744073709551615 94023194226688 94023195121221 140734785781936 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94023195360272 94023195408016 94023204032512 140734785784149 140734785784303 140734785784303 140734785789907 0
/proc/181481/statm: 1081 736 672 219 0 143 0
[pid=181484] ppid=181481 vsize=2660 memory=1408 CPUtime=0 cores=1,3

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

/proc/181743/statm: 207893 175249 2496 595 0 192560 0
Current children cumulated CPU time: 1358.61 s
Current children cumulated vsize: 838556 KiB
Current children cumulated memory: 705348 KiB

[startup+1422.3 s]
/proc/loadavg: 4.09 4.16 4.08 5/271 181865
/proc/meminfo: memFree=125782008/131249996 swapFree=33010416/33010684
[pid=181481] ppid=181478 vsize=4324 memory=2944 CPUtime=1194.85 cores=1,3
/proc/181481/stat : 181481 (Hybrid-CASHWMax) S 181478 181481 181203 0 -1 4194304 282 153083 0 0 0 0 119420 65 20 0 1 0 239031042 4427776 736 18446744073709551615 94023194226688 94023195121221 140734785781936 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94023195360272 94023195408016 94023204032512 140734785784149 140734785784303 140734785784303 140734785789907 0
/proc/181481/statm: 1081 736 672 219 0 143 0
[pid=181742] ppid=181481 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/181742/stat : 181742 (timeout) S 181481 181742 181203 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 239150844 2723840 352 18446744073709551615 94135145324544 94135145341057 140727216894480 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94135145355824 94135145357912 94135149879296 140727216896390 140727216896544 140727216896544 140727216902119 0
/proc/181742/statm: 665 352 352 5 0 90 0
[pid=181743] ppid=181742 vsize=875168 memory=706692 CPUtime=223.57 cores=1,3
/proc/181743/stat : 181743 (SynLSCD) R 181742 181742 181203 0 -1 4194304 79607 0 0 0 21975 382 0 0 20 0 1 0 239150844 896172032 176673 18446744073709551615 94191375302656 94191377736809 140733345544592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94191378218232 94191378251264 94191399698432 140733345548704 140733345548839 140733345548839 140733345554414 0
/proc/181743/statm: 218792 176673 2496 595 0 203459 0
Current children cumulated CPU time: 1418.42 s
Current children cumulated vsize: 882152 KiB
Current children cumulated memory: 711044 KiB

[startup+1482.3 s]
/proc/loadavg: 4.10 4.15 4.08 5/272 181868
/proc/meminfo: memFree=126031416/131249996 swapFree=33010416/33010684
[pid=181481] ppid=181478 vsize=4324 memory=2944 CPUtime=1194.85 cores=1,3
/proc/181481/stat : 181481 (Hybrid-CASHWMax) S 181478 181481 181203 0 -1 4194304 282 153083 0 0 0 0 119420 65 20 0 1 0 239031042 4427776 736 18446744073709551615 94023194226688 94023195121221 140734785781936 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94023195360272 94023195408016 94023204032512 140734785784149 140734785784303 140734785784303 140734785789907 0
/proc/181481/statm: 1081 736 672 219 0 143 0
[pid=181742] ppid=181481 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/181742/stat : 181742 (timeout) S 181481 181742 181203 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 239150844 2723840 352 18446744073709551615 94135145324544 94135145341057 140727216894480 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94135145355824 94135145357912 94135149879296 140727216896390 140727216896544 140727216896544 140727216902119 0
/proc/181742/statm: 665 352 352 5 0 90 0
[pid=181743] ppid=181742 vsize=882404 memory=714924 CPUtime=283.37 cores=1,3
/proc/181743/stat : 181743 (SynLSCD) R 181742 181742 181203 0 -1 4194304 80742 0 0 0 27954 383 0 0 20 0 1 0 239150844 903581696 178731 18446744073709551615 94191375302656 94191377736809 140733345544592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94191378218232 94191378251264 94191399698432 140733345548704 140733345548839 140733345548839 140733345554414 0
/proc/181743/statm: 220601 178731 2496 595 0 205268 0
Current children cumulated CPU time: 1478.22 s
Current children cumulated vsize: 889388 KiB
Current children cumulated memory: 719276 KiB

[startup+1542.3 s]
/proc/loadavg: 4.08 4.14 4.08 5/272 181919
/proc/meminfo: memFree=126282716/131249996 swapFree=33010416/33010684
[pid=181481] ppid=181478 vsize=4324 memory=2944 CPUtime=1194.85 cores=1,3
/proc/181481/stat : 181481 (Hybrid-CASHWMax) S 181478 181481 181203 0 -1 4194304 282 153083 0 0 0 0 119420 65 20 0 1 0 239031042 4427776 736 18446744073709551615 94023194226688 94023195121221 140734785781936 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94023195360272 94023195408016 94023204032512 140734785784149 140734785784303 140734785784303 140734785789907 0
/proc/181481/statm: 1081 736 672 219 0 143 0
[pid=181742] ppid=181481 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/181742/stat : 181742 (timeout) S 181481 181742 181203 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 239150844 2723840 352 18446744073709551615 94135145324544 94135145341057 140727216894480 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94135145355824 94135145357912 94135149879296 140727216896390 140727216896544 140727216896544 140727216902119 0
/proc/181742/statm: 665 352 352 5 0 90 0
[pid=181743] ppid=181742 vsize=883208 memory=715436 CPUtime=343.17 cores=1,3
/proc/181743/stat : 181743 (SynLSCD) R 181742 181742 181203 0 -1 4194304 80890 0 0 0 33934 383 0 0 20 0 1 0 239150844 904404992 178859 18446744073709551615 94191375302656 94191377736809 140733345544592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94191378218232 94191378251264 94191399698432 140733345548704 140733345548839 140733345548839 140733345554414 0
/proc/181743/statm: 220802 178859 2496 595 0 205469 0
Current children cumulated CPU time: 1538.02 s
Current children cumulated vsize: 890192 KiB
Current children cumulated memory: 719788 KiB

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

# cumulated CPU time of all completed processes:  user=1547.03 s, system=4.51981 s

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

[startup+1548.8 s]
/proc/loadavg: 4.15 4.15 4.09 5/272 181919
/proc/meminfo: memFree=126264700/131249996 swapFree=33010416/33010684
[pid=181481] ppid=181478 vsize=4324 memory=2944 CPUtime=1194.85 cores=1,3
/proc/181481/stat : 181481 (Hybrid-CASHWMax) S 181478 181481 181203 0 -1 4194304 282 153083 0 0 0 0 119420 65 20 0 1 0 239031042 4427776 736 18446744073709551615 94023194226688 94023195121221 140734785781936 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94023195360272 94023195408016 94023204032512 140734785784149 140734785784303 140734785784303 140734785789907 0
/proc/181481/statm: 1081 736 672 219 0 143 0
[pid=181742] ppid=181481 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/181742/stat : 181742 (timeout) S 181481 181742 181203 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 239150844 2723840 352 18446744073709551615 94135145324544 94135145341057 140727216894480 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94135145355824 94135145357912 94135149879296 140727216896390 140727216896544 140727216896544 140727216902119 0
/proc/181742/statm: 665 352 352 5 0 90 0
[pid=181743] ppid=181742 vsize=883208 memory=715436 CPUtime=349.65 cores=1,3
/proc/181743/stat : 181743 (SynLSCD) R 181742 181742 181203 0 -1 4194304 80895 0 0 0 34582 383 0 0 20 0 1 0 239150844 904404992 178859 18446744073709551615 94191375302656 94191377736809 140733345544592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94191378218232 94191378251264 94191399698432 140733345548704 140733345548839 140733345548839 140733345554414 0
/proc/181743/statm: 220802 178859 2496 595 0 205469 0
Current children cumulated CPU time: 1544.5 s
Current children cumulated vsize: 890192 KiB
Current children cumulated memory: 719788 KiB

[startup+1552 s]*
/proc/loadavg: 4.15 4.15 4.09 5/272 181919
/proc/meminfo: memFree=126264700/131249996 swapFree=33010416/33010684
[pid=181481] ppid=181478 vsize=4324 memory=2944 CPUtime=1194.85 cores=1,3
/proc/181481/stat : 181481 (Hybrid-CASHWMax) S 181478 181481 181203 0 -1 4194304 282 153083 0 0 0 0 119420 65 20 0 1 0 239031042 4427776 736 18446744073709551615 94023194226688 94023195121221 140734785781936 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94023195360272 94023195408016 94023204032512 140734785784149 140734785784303 140734785784303 140734785789907 0
/proc/181481/statm: 1081 736 672 219 0 143 0
[pid=181742] ppid=181481 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/181742/stat : 181742 (timeout) S 181481 181742 181203 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 239150844 2723840 352 18446744073709551615 94135145324544 94135145341057 140727216894480 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94135145355824 94135145357912 94135149879296 140727216896390 140727216896544 140727216896544 140727216902119 0
/proc/181742/statm: 665 352 352 5 0 90 0
[pid=181743] ppid=181742 vsize=883208 memory=715436 CPUtime=352.84 cores=1,3
/proc/181743/stat : 181743 (SynLSCD) R 181742 181742 181203 0 -1 4194304 80895 0 0 0 34901 383 0 0 20 0 1 0 239150844 904404992 178859 18446744073709551615 94191375302656 94191377736809 140733345544592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94191378218232 94191378251264 94191399698432 140733345548704 140733345548839 140733345548839 140733345554414 0
/proc/181743/statm: 220802 178859 2496 595 0 205469 0
Current children cumulated CPU time: 1547.69 s
Current children cumulated vsize: 890192 KiB
Current children cumulated memory: 719788 KiB

[startup+1553.6 s]
/proc/loadavg: 4.13 4.15 4.09 5/272 181919
/proc/meminfo: memFree=126281084/131249996 swapFree=33010416/33010684
[pid=181481] ppid=181478 vsize=4324 memory=2944 CPUtime=1194.85 cores=1,3
/proc/181481/stat : 181481 (Hybrid-CASHWMax) S 181478 181481 181203 0 -1 4194304 282 153083 0 0 0 0 119420 65 20 0 1 0 239031042 4427776 736 18446744073709551615 94023194226688 94023195121221 140734785781936 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94023195360272 94023195408016 94023204032512 140734785784149 140734785784303 140734785784303 140734785789907 0
/proc/181481/statm: 1081 736 672 219 0 143 0
[pid=181742] ppid=181481 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/181742/stat : 181742 (timeout) S 181481 181742 181203 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 239150844 2723840 352 18446744073709551615 94135145324544 94135145341057 140727216894480 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94135145355824 94135145357912 94135149879296 140727216896390 140727216896544 140727216896544 140727216902119 0
/proc/181742/statm: 665 352 352 5 0 90 0
[pid=181743] ppid=181742 vsize=883208 memory=715436 CPUtime=354.43 cores=1,3
/proc/181743/stat : 181743 (SynLSCD) R 181742 181742 181203 0 -1 4194304 80895 0 0 0 35060 383 0 0 20 0 1 0 239150844 904404992 178859 18446744073709551615 94191375302656 94191377736809 140733345544592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94191378218232 94191378251264 94191399698432 140733345548704 140733345548839 140733345548839 140733345554414 0
/proc/181743/statm: 220802 178859 2496 595 0 205469 0
Current children cumulated CPU time: 1549.28 s
Current children cumulated vsize: 890192 KiB
Current children cumulated memory: 719788 KiB

[startup+1555.2 s]
/proc/loadavg: 4.13 4.15 4.09 5/272 181919
/proc/meminfo: memFree=126282248/131249996 swapFree=33010416/33010684
[pid=181481] ppid=181478 vsize=4324 memory=2944 CPUtime=1194.85 cores=1,3
/proc/181481/stat : 181481 (Hybrid-CASHWMax) S 181478 181481 181203 0 -1 4194304 282 153083 0 0 0 0 119420 65 20 0 1 0 239031042 4427776 736 18446744073709551615 94023194226688 94023195121221 140734785781936 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94023195360272 94023195408016 94023204032512 140734785784149 140734785784303 140734785784303 140734785789907 0
/proc/181481/statm: 1081 736 672 219 0 143 0
[pid=181742] ppid=181481 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/181742/stat : 181742 (timeout) S 181481 181742 181203 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 239150844 2723840 352 18446744073709551615 94135145324544 94135145341057 140727216894480 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94135145355824 94135145357912 94135149879296 140727216896390 140727216896544 140727216896544 140727216902119 0
/proc/181742/statm: 665 352 352 5 0 90 0
[pid=181743] ppid=181742 vsize=883208 memory=715436 CPUtime=356.03 cores=1,3
/proc/181743/stat : 181743 (SynLSCD) R 181742 181742 181203 0 -1 4194304 80895 0 0 0 35220 383 0 0 20 0 1 0 239150844 904404992 178859 18446744073709551615 94191375302656 94191377736809 140733345544592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94191378218232 94191378251264 94191399698432 140733345548704 140733345548839 140733345548839 140733345554414 0
/proc/181743/statm: 220802 178859 2496 595 0 205469 0
Current children cumulated CPU time: 1550.88 s
Current children cumulated vsize: 890192 KiB
Current children cumulated memory: 719788 KiB

[startup+1555.6 s]
/proc/loadavg: 4.13 4.15 4.09 5/272 181919
/proc/meminfo: memFree=126282248/131249996 swapFree=33010416/33010684
[pid=181481] ppid=181478 vsize=4324 memory=2944 CPUtime=1194.85 cores=1,3
/proc/181481/stat : 181481 (Hybrid-CASHWMax) S 181478 181481 181203 0 -1 4194304 282 153083 0 0 0 0 119420 65 20 0 1 0 239031042 4427776 736 18446744073709551615 94023194226688 94023195121221 140734785781936 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94023195360272 94023195408016 94023204032512 140734785784149 140734785784303 140734785784303 140734785789907 0
/proc/181481/statm: 1081 736 672 219 0 143 0
[pid=181742] ppid=181481 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/181742/stat : 181742 (timeout) S 181481 181742 181203 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 239150844 2723840 352 18446744073709551615 94135145324544 94135145341057 140727216894480 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94135145355824 94135145357912 94135149879296 140727216896390 140727216896544 140727216896544 140727216902119 0
/proc/181742/statm: 665 352 352 5 0 90 0
[pid=181743] ppid=181742 vsize=883208 memory=715436 CPUtime=356.43 cores=1,3
/proc/181743/stat : 181743 (SynLSCD) R 181742 181742 181203 0 -1 4194304 80895 0 0 0 35260 383 0 0 20 0 1 0 239150844 904404992 178859 18446744073709551615 94191375302656 94191377736809 140733345544592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94191378218232 94191378251264 94191399698432 140733345548704 140733345548839 140733345548839 140733345554414 0
/proc/181743/statm: 220802 178859 2496 595 0 205469 0
Current children cumulated CPU time: 1551.28 s
Current children cumulated vsize: 890192 KiB
Current children cumulated memory: 719788 KiB

[startup+1555.8 s]
/proc/loadavg: 4.13 4.15 4.09 5/272 181919
/proc/meminfo: memFree=126282248/131249996 swapFree=33010416/33010684
[pid=181481] ppid=181478 vsize=4324 memory=2944 CPUtime=1194.85 cores=1,3
/proc/181481/stat : 181481 (Hybrid-CASHWMax) S 181478 181481 181203 0 -1 4194304 282 153083 0 0 0 0 119420 65 20 0 1 0 239031042 4427776 736 18446744073709551615 94023194226688 94023195121221 140734785781936 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94023195360272 94023195408016 94023204032512 140734785784149 140734785784303 140734785784303 140734785789907 0
/proc/181481/statm: 1081 736 672 219 0 143 0
[pid=181742] ppid=181481 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/181742/stat : 181742 (timeout) S 181481 181742 181203 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 239150844 2723840 352 18446744073709551615 94135145324544 94135145341057 140727216894480 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94135145355824 94135145357912 94135149879296 140727216896390 140727216896544 140727216896544 140727216902119 0
/proc/181742/statm: 665 352 352 5 0 90 0
[pid=181743] ppid=181742 vsize=790736 memory=660704 CPUtime=356.63 cores=1,3
/proc/181743/stat : 181743 (SynLSCD) R 181742 181742 181203 0 -1 4194304 80901 0 0 0 35280 383 0 0 20 0 1 0 239150844 809713664 165176 18446744073709551615 94191375302656 94191377736809 140733345544592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94191378218232 94191378251264 94191399698432 140733345548704 140733345548839 140733345548839 140733345554414 0
/proc/181743/statm: 197684 165176 2592 595 0 182351 0
Current children cumulated CPU time: 1551.48 s
Current children cumulated vsize: 797720 KiB
Current children cumulated memory: 665056 KiB

Child status: 0

Real time (s): 1555.88
CPU time (s): 1551.55
CPU user time (s): 1547.03
CPU system time (s): 4.51981
CPU usage (%): 99.7223
Max. virtual memory (cumulated for all children) (KiB): 934548
Max. memory (cumulated for all children) (KiB): 719788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1547.03
system time used= 4.51982
maximum resident set size= 759536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235320
page faults= 1
swaps= 0
block input operations= 0
block output operations= 48
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1068
involuntary context switches= 788


# summary of solver processes directly reported to runsolver:
#   pid: 181481
#   total CPU time (s): 1551.55
#   total CPU user time (s): 1547.03
#   total CPU system time (s): 4.51981

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.74774 second user time and 7.16762 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-07-23 03:18:53
IDJOB=4544949
IDBENCH=180687
IDSOLVER=3331
FILE ID=nodeC022/4544949-1753233533
RUNJOBID= nodeC022-1753233529-181215
SLURM_JOB_ID= 9687849
Free space on /tmp= 432740 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjComS+SynLSCD 2025-06-01
BENCH NAME= PB25/normalized-PB25/DEC-LIN/koops/normalized-mat20_19_identity_complement.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjComS+SynLSCD BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4544949-1753233533/watcher-4544949-1753233533 -o /tmp/evaluation-result-4544949-1753233533/solver-4544949-1753233533 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1753233529-181215 --watchdog 3760  ./Hybrid-CASHWMaxSATDisjComS+SynLSCD HOME/instance-4544949-1753233533.opb 3600 HOME

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

MD5SUM BENCH= 6b62b1f0af3a4b117c91c07257537aad
RANDOM SEED=587235457

nodeC022 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		: 3599.706
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.819
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.44
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		: 3630.543
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.44
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		: 3602.795
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.639
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.508
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.44
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.444
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128232928 kB
MemAvailable:   129484376 kB
Buffers:            2128 kB
Cached:          2001148 kB
SwapCached:           32 kB
Active:          1391828 kB
Inactive:         859356 kB
Active(anon):     272008 kB
Inactive(anon):     2124 kB
Active(file):    1119820 kB
Inactive(file):   857232 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             89700 kB
Writeback:             0 kB
AnonPages:        251048 kB
Mapped:           119084 kB
Shmem:             26220 kB
KReclaimable:     226868 kB
Slab:             323168 kB
SReclaimable:     226868 kB
SUnreclaim:        96300 kB
KernelStack:        4368 kB
PageTables:         3760 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     618440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432700 MiB
End job on nodeC022 at 2025-07-23 03:44:49