Trace number 4485346

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Hybrid-CASHWMaxSATDisjCad+ExactPRS 2025-06-01? 3586.94 3596.8

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-siena1.opb
MD5SUM66e906a9f3fccfe57bc4c65455b969f9
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2330314636845056
Best CPU time to get the best result obtained on this benchmark3600.14
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables70755
Total number of constraints2219
Number of constraints which are clauses310
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1909
Minimum length of a constraint15
Maximum length of a constraint70755
Number of terms in the objective function 70755
Biggest coefficient in the objective function 536870912000000000000
Number of bits for the biggest coefficient in the objective function 69
Sum of the numbers in the objective function 28224865138562971148229
Number of bits of the sum of numbers in the objective function 75
Biggest number in a constraint 536870912000000000000
Number of bits of the biggest number in a constraint 69
Biggest sum of numbers in a constraint 28224967538562971148229
Number of bits of the biggest sum of numbers75
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1195.13/3596.73	c Exit code from Second Program: 124
1195.13/3596.78	c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
1195.13/3596.78	c Do: 140720744236024 140720744236032
1195.13/3596.78	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: 63665 MiB (62959 MiB free)
  memory of node 1: 64507 MiB (63930 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485346-1751305132/watcher-4485346-1751305132 -o /tmp/evaluation-result-4485346-1751305132/solver-4485346-1751305132 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751301533-41967 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4485346-1751305132.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=42486, runsolver pid=42479

[startup+0.10006 s]*
/proc/loadavg: 4.10 4.10 4.07 5/270 42506
/proc/meminfo: memFree=129883932/131249996 swapFree=33010416/33010684
[pid=42486] ppid=42479 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/42486/stat : 42486 (Hybrid-CASHWMax) S 42479 42486 41955 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 46190939 4427776 736 18446744073709551615 94072980598784 94072981493317 140737016899280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94072981732368 94072981780112 94072990339072 140737016908119 140737016908273 140737016908273 140737016913875 0
/proc/42486/statm: 1081 736 672 219 0 143 0
[pid=42490] ppid=42486 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42490/stat : 42490 (timeout) S 42486 42490 41955 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46190941 2723840 352 18446744073709551615 94092832432128 94092832448641 140729063038608 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94092832463408 94092832465496 94092851113984 140729063041430 140729063041570 140729063041570 140729063047143 0
/proc/42490/statm: 665 352 352 5 0 90 0
[pid=42492] ppid=42490 vsize=48696 memory=27676 CPUtime=0.07 cores=1,3
/proc/42492/stat : 42492 (CASHWMaxSAT-Dis) R 42490 42490 41955 0 -1 4194304 7356 0 0 0 6 1 0 0 20 0 1 0 46190941 49864704 6919 18446744073709551615 4198400 14817773 140720744238432 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47349760 140720744245660 140720744245787 140720744245787 140720744251360 0
/proc/42492/statm: 12174 6919 864 2593 0 9067 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 55680 KiB
Current children cumulated memory: 32028 KiB

[startup+0.205207 s]*
/proc/loadavg: 4.10 4.10 4.07 5/270 42506
/proc/meminfo: memFree=129859552/131249996 swapFree=33010416/33010684
[pid=42486] ppid=42479 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/42486/stat : 42486 (Hybrid-CASHWMax) S 42479 42486 41955 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 46190939 4427776 736 18446744073709551615 94072980598784 94072981493317 140737016899280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94072981732368 94072981780112 94072990339072 140737016908119 140737016908273 140737016908273 140737016913875 0
/proc/42486/statm: 1081 736 672 219 0 143 0
[pid=42490] ppid=42486 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42490/stat : 42490 (timeout) S 42486 42490 41955 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46190941 2723840 352 18446744073709551615 94092832432128 94092832448641 140729063038608 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94092832463408 94092832465496 94092851113984 140729063041430 140729063041570 140729063041570 140729063047143 0
/proc/42490/statm: 665 352 352 5 0 90 0
[pid=42492] ppid=42490 vsize=61876 memory=44316 CPUtime=0.17 cores=1,3
/proc/42492/stat : 42492 (CASHWMaxSAT-Dis) R 42490 42490 41955 0 -1 4194304 11287 0 0 0 16 1 0 0 20 0 1 0 46190941 63361024 11079 18446744073709551615 4198400 14817773 140720744238432 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47349760 140720744245660 140720744245787 140720744245787 140720744251360 0
/proc/42492/statm: 15469 11079 864 2593 0 12362 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 68860 KiB
Current children cumulated memory: 48668 KiB

[startup+0.305045 s]*
/proc/loadavg: 4.10 4.10 4.07 5/270 42506
/proc/meminfo: memFree=129828304/131249996 swapFree=33010416/33010684
[pid=42486] ppid=42479 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/42486/stat : 42486 (Hybrid-CASHWMax) S 42479 42486 41955 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 46190939 4427776 736 18446744073709551615 94072980598784 94072981493317 140737016899280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94072981732368 94072981780112 94072990339072 140737016908119 140737016908273 140737016908273 140737016913875 0
/proc/42486/statm: 1081 736 672 219 0 143 0
[pid=42490] ppid=42486 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42490/stat : 42490 (timeout) S 42486 42490 41955 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46190941 2723840 352 18446744073709551615 94092832432128 94092832448641 140729063038608 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94092832463408 94092832465496 94092851113984 140729063041430 140729063041570 140729063041570 140729063047143 0
/proc/42490/statm: 665 352 352 5 0 90 0
[pid=42492] ppid=42490 vsize=68412 memory=49820 CPUtime=0.27 cores=1,3
/proc/42492/stat : 42492 (CASHWMaxSAT-Dis) R 42490 42490 41955 0 -1 4194304 12656 0 0 0 26 1 0 0 20 0 1 0 46190941 70053888 12455 18446744073709551615 4198400 14817773 140720744238432 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47349760 140720744245660 140720744245787 140720744245787 140720744251360 0
/proc/42492/statm: 17103 12455 864 2593 0 13996 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 75396 KiB
Current children cumulated memory: 54172 KiB

[startup+0.700202 s]
/proc/loadavg: 4.10 4.10 4.07 5/270 42506
/proc/meminfo: memFree=129755872/131249996 swapFree=33010416/33010684
[pid=42486] ppid=42479 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/42486/stat : 42486 (Hybrid-CASHWMax) S 42479 42486 41955 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 46190939 4427776 736 18446744073709551615 94072980598784 94072981493317 140737016899280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94072981732368 94072981780112 94072990339072 140737016908119 140737016908273 140737016908273 140737016913875 0
/proc/42486/statm: 1081 736 672 219 0 143 0
[pid=42490] ppid=42486 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42490/stat : 42490 (timeout) S 42486 42490 41955 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46190941 2723840 352 18446744073709551615 94092832432128 94092832448641 140729063038608 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94092832463408 94092832465496 94092851113984 140729063041430 140729063041570 140729063041570 140729063047143 0
/proc/42490/statm: 665 352 352 5 0 90 0
[pid=42492] ppid=42490 vsize=103416 memory=81948 CPUtime=0.66 cores=1,3
/proc/42492/stat : 42492 (CASHWMaxSAT-Dis) R 42490 42490 41955 0 -1 4194304 20678 0 0 0 63 3 0 0 20 0 1 0 46190941 105897984 20487 18446744073709551615 4198400 14817773 140720744238432 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47349760 140720744245660 140720744245787 140720744245787 140720744251360 0
/proc/42492/statm: 25854 20487 864 2593 0 22747 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 110400 KiB
Current children cumulated memory: 86300 KiB

[startup+1.5002 s]
/proc/loadavg: 4.10 4.10 4.07 5/270 42506
/proc/meminfo: memFree=129501264/131249996 swapFree=33010416/33010684
[pid=42486] ppid=42479 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/42486/stat : 42486 (Hybrid-CASHWMax) S 42479 42486 41955 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 46190939 4427776 736 18446744073709551615 94072980598784 94072981493317 140737016899280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94072981732368 94072981780112 94072990339072 140737016908119 140737016908273 140737016908273 140737016913875 0
/proc/42486/statm: 1081 736 672 219 0 143 0
[pid=42490] ppid=42486 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42490/stat : 42490 (timeout) S 42486 42490 41955 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46190941 2723840 352 18446744073709551615 94092832432128 94092832448641 140729063038608 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94092832463408 94092832465496 94092851113984 140729063041430 140729063041570 140729063041570 140729063047143 0
/proc/42490/statm: 665 352 352 5 0 90 0
[pid=42492] ppid=42490 vsize=161196 memory=131932 CPUtime=1.45 cores=1,3
/proc/42492/stat : 42492 (CASHWMaxSAT-Dis) R 42490 42490 41955 0 -1 4194304 37875 0 0 0 139 6 0 0 20 0 1 0 46190941 165064704 32983 18446744073709551615 4198400 14817773 140720744238432 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47349760 140720744245660 140720744245787 140720744245787 140720744251360 0
/proc/42492/statm: 40299 32983 896 2593 0 37192 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 168180 KiB
Current children cumulated memory: 136284 KiB

[startup+3.10552 s]
/proc/loadavg: 4.10 4.10 4.07 5/270 42506
/proc/meminfo: memFree=128721780/131249996 swapFree=33010416/33010684
[pid=42486] ppid=42479 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/42486/stat : 42486 (Hybrid-CASHWMax) S 42479 42486 41955 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 46190939 4427776 736 18446744073709551615 94072980598784 94072981493317 140737016899280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94072981732368 94072981780112 94072990339072 140737016908119 140737016908273 140737016908273 140737016913875 0
/proc/42486/statm: 1081 736 672 219 0 143 0
[pid=42490] ppid=42486 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42490/stat : 42490 (timeout) S 42486 42490 41955 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46190941 2723840 352 18446744073709551615 94092832432128 94092832448641 140729063038608 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94092832463408 94092832465496 94092851113984 140729063041430 140729063041570 140729063041570 140729063047143 0
/proc/42490/statm: 665 352 352 5 0 90 0
[pid=42492] ppid=42490 vsize=386076 memory=334972 CPUtime=3.06 cores=1,3
/proc/42492/stat : 42492 (CASHWMaxSAT-Dis) R 42490 42490 41955 0 -1 4194304 58322 0 0 0 292 14 0 0 20 0 1 0 46190941 395341824 83743 18446744073709551615 4198400 14817773 140720744238432 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47349760 140720744245660 140720744245787 140720744245787 140720744251360 0
/proc/42492/statm: 96519 83743 896 2593 0 93412 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 393060 KiB
Current children cumulated memory: 339324 KiB

[startup+6.30023 s]
/proc/loadavg: 4.17 4.11 4.08 5/270 42506
/proc/meminfo: memFree=127849724/131249996 swapFree=33010416/33010684
[pid=42486] ppid=42479 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/42486/stat : 42486 (Hybrid-CASHWMax) S 42479 42486 41955 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 46190939 4427776 736 18446744073709551615 94072980598784 94072981493317 140737016899280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94072981732368 94072981780112 94072990339072 140737016908119 140737016908273 140737016908273 140737016913875 0
/proc/42486/statm: 1081 736 672 219 0 143 0
[pid=42490] ppid=42486 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42490/stat : 42490 (timeout) S 42486 42490 41955 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46190941 2723840 352 18446744073709551615 94092832432128 94092832448641 140729063038608 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94092832463408 94092832465496 94092851113984 140729063041430 140729063041570 140729063041570 140729063047143 0
/proc/42490/statm: 665 352 352 5 0 90 0
[pid=42492] ppid=42490 vsize=459372 memory=387292 CPUtime=6.25 cores=1,3
/proc/42492/stat : 42492 (CASHWMaxSAT-Dis) R 42490 42490 41955 0 -1 4194304 65539 0 0 0 609 16 0 0 20 0 1 0 46190941 470396928 96823 18446744073709551615 4198400 14817773 140720744238432 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47349760 140720744245660 140720744245787 140720744245787 140720744251360 0
/proc/42492/statm: 114843 96823 1152 2593 0 111736 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 466356 KiB
Current children cumulated memory: 391644 KiB

[startup+12.7002 s]
/proc/loadavg: 4.23 4.13 4.08 5/270 42506
/proc/meminfo: memFree=126820636/131249996 swapFree=33010416/33010684
[pid=42486] ppid=42479 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/42486/stat : 42486 (Hybrid-CASHWMax) S 42479 42486 41955 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 46190939 4427776 736 18446744073709551615 94072980598784 94072981493317 140737016899280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94072981732368 94072981780112 94072990339072 140737016908119 140737016908273 140737016908273 140737016913875 0
/proc/42486/statm: 1081 736 672 219 0 143 0
[pid=42490] ppid=42486 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42490/stat : 42490 (timeout) S 42486 42490 41955 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46190941 2723840 352 18446744073709551615 94092832432128 94092832448641 140729063038608 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94092832463408 94092832465496 94092851113984 140729063041430 140729063041570 140729063041570 140729063047143 0
/proc/42490/statm: 665 352 352 5 0 90 0
[pid=42492] ppid=42490 vsize=586188 memory=559128 CPUtime=12.63 cores=1,3
/proc/42492/stat : 42492 (CASHWMaxSAT-Dis) R 42490 42490 41955 0 -1 4194304 76996 0 0 0 1241 22 0 0 20 0 1 0 46190941 600256512 139782 18446744073709551615 4198400 14817773 140720744238432 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47349760 140720744245660 140720744245787 140720744245787 140720744251360 0
/proc/42492/statm: 146547 139782 1152 2593 0 143440 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 593172 KiB
Current children cumulated memory: 563480 KiB

[startup+25.5002 s]
/proc/loadavg: 4.41 4.17 4.10 5/270 42507
/proc/meminfo: memFree=126138796/131249996 swapFree=33010416/33010684
[pid=42486] ppid=42479 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/42486/stat : 42486 (Hybrid-CASHWMax) S 42479 42486 41955 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 46190939 4427776 736 18446744073709551615 94072980598784 94072981493317 140737016899280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94072981732368 94072981780112 94072990339072 140737016908119 140737016908273 140737016908273 140737016913875 0
/proc/42486/statm: 1081 736 672 219 0 143 0
[pid=42490] ppid=42486 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42490/stat : 42490 (timeout) S 42486 42490 41955 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46190941 2723840 352 18446744073709551615 94092832432128 94092832448641 140729063038608 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94092832463408 94092832465496 94092851113984 140729063041430 140729063041570 140729063041570 140729063047143 0
/proc/42490/statm: 665 352 352 5 0 90 0
[pid=42492] ppid=42490 vsize=1225892 memory=1162492 CPUtime=25.4 cores=1,3
/proc/42492/stat : 42492 (CASHWMaxSAT-Dis) R 42490 42490 41955 0 -1 4194304 110821 0 0 0 2503 37 0 0 20 0 1 0 46190941 1255313408 290623 18446744073709551615 4198400 14817773 140720744238432 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47349760 140720744245660 140720744245787 140720744245787 140720744251360 0
/proc/42492/statm: 306473 290623 1152 2593 0 303366 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1232876 KiB
Current children cumulated memory: 1166844 KiB

[startup+51.1056 s]
/proc/loadavg: 4.27 4.16 4.09 5/270 42507
/proc/meminfo: memFree=126095864/131249996 swapFree=33010416/33010684
[pid=42486] ppid=42479 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/42486/stat : 42486 (Hybrid-CASHWMax) S 42479 42486 41955 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 46190939 4427776 736 18446744073709551615 94072980598784 94072981493317 140737016899280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94072981732368 94072981780112 94072990339072 140737016908119 140737016908273 140737016908273 140737016913875 0
/proc/42486/statm: 1081 736 672 219 0 143 0
[pid=42490] ppid=42486 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42490/stat : 42490 (timeout) S 42486 42490 41955 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46190941 2723840 352 18446744073709551615 94092832432128 94092832448641 140729063038608 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94092832463408 94092832465496 94092851113984 140729063041430 140729063041570 140729063041570 140729063047143 0
/proc/42490/statm: 665 352 352 5 0 90 0
[pid=42492] ppid=42490 vsize=1431456 memory=1340588 CPUtime=50.94 cores=1,3
/proc/42492/stat : 42492 (CASHWMaxSAT-Dis) R 42490 42490 41955 0 -1 4194304 164949 0 0 0 5045 49 0 0 20 0 1 0 46190941 1465810944 335147 18446744073709551615 4198400 14817773 140720744238432 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47349760 140720744245660 140720744245787 140720744245787 140720744251360 0
/proc/42492/statm: 357864 335147 1152 2593 0 354757 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1438440 KiB
Current children cumulated memory: 1344940 KiB

[startup+102.3 s]
/proc/loadavg: 4.23 4.16 4.10 5/270 42509
/proc/meminfo: memFree=125959928/131249996 swapFree=33010416/33010684
[pid=42486] ppid=42479 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/42486/stat : 42486 (Hybrid-CASHWMax) S 42479 42486 41955 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 46190939 4427776 736 18446744073709551615 94072980598784 94072981493317 140737016899280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94072981732368 94072981780112 94072990339072 140737016908119 140737016908273 140737016908273 140737016913875 0
/proc/42486/statm: 1081 736 672 219 0 143 0

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

/proc/42486/statm: 1081 736 672 219 0 143 0
[pid=42569] ppid=42486 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42569/stat : 42569 (timeout) S 42486 42569 41955 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46310770 2723840 352 18446744073709551615 94648191496192 94648191512705 140737145231648 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94648191527472 94648191529560 94648223297536 140737145235846 140737145236002 140737145236002 140737145241575 0
/proc/42569/statm: 665 352 352 5 0 90 0
[pid=42570] ppid=42569 vsize=12157016 memory=11494952 CPUtime=2317.55 cores=1,3
/proc/42570/stat : 42570 (ExactPR-S) R 42569 42569 41955 0 -1 4194304 2644941 0 0 0 231118 637 0 0 20 0 1 0 46310771 12448784384 2873738 18446744073709551615 93829080039424 93829089339461 140722376569648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93829091125568 93829091164648 93829132431360 140722376571294 140722376571431 140722376571431 140722376577004 0
/proc/42570/statm: 3039254 2873738 1888 2271 0 3033892 0
Current children cumulated CPU time: 3512.68 s
Current children cumulated vsize: 12164000 KiB
Current children cumulated memory: 11499304 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/272 42697
/proc/meminfo: memFree=111395328/131249996 swapFree=33010416/33010684
[pid=42486] ppid=42479 vsize=4324 memory=2944 CPUtime=1195.13 cores=1,3
/proc/42486/stat : 42486 (Hybrid-CASHWMax) S 42479 42486 41955 0 -1 4194304 282 2206196 0 0 0 0 117876 1637 20 0 1 0 46190939 4427776 736 18446744073709551615 94072980598784 94072981493317 140737016899280 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94072981732368 94072981780112 94072990339072 140737016908119 140737016908273 140737016908273 140737016913875 0
/proc/42486/statm: 1081 736 672 219 0 143 0
[pid=42569] ppid=42486 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42569/stat : 42569 (timeout) S 42486 42569 41955 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46310770 2723840 352 18446744073709551615 94648191496192 94648191512705 140737145231648 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94648191527472 94648191529560 94648223297536 140737145235846 140737145236002 140737145236002 140737145241575 0
/proc/42569/statm: 665 352 352 5 0 90 0
[pid=42570] ppid=42569 vsize=12157016 memory=11495336 CPUtime=2377.37 cores=1,3
/proc/42570/stat : 42570 (ExactPR-S) R 42569 42569 41955 0 -1 4194304 2645445 0 0 0 237100 637 0 0 20 0 1 0 46310771 12448784384 2873834 18446744073709551615 93829080039424 93829089339461 140722376569648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93829091125568 93829091164648 93829132431360 140722376571294 140722376571431 140722376571431 140722376577004 0
/proc/42570/statm: 3039254 2873834 1888 2271 0 3033892 0
Current children cumulated CPU time: 3572.5 s
Current children cumulated vsize: 12164000 KiB
Current children cumulated memory: 11499688 KiB

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

# cumulated CPU time of all completed processes:  user=3563.82 s, system=23.1265 s

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

[startup+3584 s]*
/proc/loadavg: 4.15 4.11 4.09 5/272 42697
/proc/meminfo: memFree=111395420/131249996 swapFree=33010416/33010684
[pid=42486] ppid=42479 vsize=4324 memory=2944 CPUtime=1195.13 cores=1,3
/proc/42486/stat : 42486 (Hybrid-CASHWMax) S 42479 42486 41955 0 -1 4194304 282 2206196 0 0 0 0 117876 1637 20 0 1 0 46190939 4427776 736 18446744073709551615 94072980598784 94072981493317 140737016899280 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94072981732368 94072981780112 94072990339072 140737016908119 140737016908273 140737016908273 140737016913875 0
/proc/42486/statm: 1081 736 672 219 0 143 0
[pid=42569] ppid=42486 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42569/stat : 42569 (timeout) S 42486 42569 41955 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46310770 2723840 352 18446744073709551615 94648191496192 94648191512705 140737145231648 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94648191527472 94648191529560 94648223297536 140737145235846 140737145236002 140737145236002 140737145241575 0
/proc/42569/statm: 665 352 352 5 0 90 0
[pid=42570] ppid=42569 vsize=12157016 memory=11495336 CPUtime=2379.07 cores=1,3
/proc/42570/stat : 42570 (ExactPR-S) R 42569 42569 41955 0 -1 4194304 2645451 0 0 0 237270 637 0 0 20 0 1 0 46310771 12448784384 2873834 18446744073709551615 93829080039424 93829089339461 140722376569648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93829091125568 93829091164648 93829132431360 140722376571294 140722376571431 140722376571431 140722376577004 0
/proc/42570/statm: 3039254 2873834 1888 2271 0 3033892 0
Current children cumulated CPU time: 3574.2 s
Current children cumulated vsize: 12164000 KiB
Current children cumulated memory: 11499688 KiB

[startup+3590.4 s]
/proc/loadavg: 4.13 4.10 4.09 5/272 42697
/proc/meminfo: memFree=111387356/131249996 swapFree=33010416/33010684
[pid=42486] ppid=42479 vsize=4324 memory=2944 CPUtime=1195.13 cores=1,3
/proc/42486/stat : 42486 (Hybrid-CASHWMax) S 42479 42486 41955 0 -1 4194304 282 2206196 0 0 0 0 117876 1637 20 0 1 0 46190939 4427776 736 18446744073709551615 94072980598784 94072981493317 140737016899280 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94072981732368 94072981780112 94072990339072 140737016908119 140737016908273 140737016908273 140737016913875 0
/proc/42486/statm: 1081 736 672 219 0 143 0
[pid=42569] ppid=42486 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42569/stat : 42569 (timeout) S 42486 42569 41955 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46310770 2723840 352 18446744073709551615 94648191496192 94648191512705 140737145231648 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94648191527472 94648191529560 94648223297536 140737145235846 140737145236002 140737145236002 140737145241575 0
/proc/42569/statm: 665 352 352 5 0 90 0
[pid=42570] ppid=42569 vsize=12157016 memory=11495336 CPUtime=2385.45 cores=1,3
/proc/42570/stat : 42570 (ExactPR-S) R 42569 42569 41955 0 -1 4194304 2645679 0 0 0 237908 637 0 0 20 0 1 0 46310771 12448784384 2873834 18446744073709551615 93829080039424 93829089339461 140722376569648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93829091125568 93829091164648 93829132431360 140722376571294 140722376571431 140722376571431 140722376577004 0
/proc/42570/statm: 3039254 2873834 1888 2271 0 3033892 0
Current children cumulated CPU time: 3580.58 s
Current children cumulated vsize: 12164000 KiB
Current children cumulated memory: 11499688 KiB

[startup+3593.6 s]
/proc/loadavg: 4.13 4.10 4.09 5/272 42697
/proc/meminfo: memFree=111387728/131249996 swapFree=33010416/33010684
[pid=42486] ppid=42479 vsize=4324 memory=2944 CPUtime=1195.13 cores=1,3
/proc/42486/stat : 42486 (Hybrid-CASHWMax) S 42479 42486 41955 0 -1 4194304 282 2206196 0 0 0 0 117876 1637 20 0 1 0 46190939 4427776 736 18446744073709551615 94072980598784 94072981493317 140737016899280 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94072981732368 94072981780112 94072990339072 140737016908119 140737016908273 140737016908273 140737016913875 0
/proc/42486/statm: 1081 736 672 219 0 143 0
[pid=42569] ppid=42486 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42569/stat : 42569 (timeout) S 42486 42569 41955 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46310770 2723840 352 18446744073709551615 94648191496192 94648191512705 140737145231648 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94648191527472 94648191529560 94648223297536 140737145235846 140737145236002 140737145236002 140737145241575 0
/proc/42569/statm: 665 352 352 5 0 90 0
[pid=42570] ppid=42569 vsize=12157016 memory=11495336 CPUtime=2388.64 cores=1,3
/proc/42570/stat : 42570 (ExactPR-S) R 42569 42569 41955 0 -1 4194304 2645695 0 0 0 238227 637 0 0 20 0 1 0 46310771 12448784384 2873834 18446744073709551615 93829080039424 93829089339461 140722376569648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93829091125568 93829091164648 93829132431360 140722376571294 140722376571431 140722376571431 140722376577004 0
/proc/42570/statm: 3039254 2873834 1888 2271 0 3033892 0
Current children cumulated CPU time: 3583.77 s
Current children cumulated vsize: 12164000 KiB
Current children cumulated memory: 11499688 KiB

[startup+3595.2 s]
/proc/loadavg: 4.12 4.10 4.09 5/272 42697
/proc/meminfo: memFree=111387728/131249996 swapFree=33010416/33010684
[pid=42486] ppid=42479 vsize=4324 memory=2944 CPUtime=1195.13 cores=1,3
/proc/42486/stat : 42486 (Hybrid-CASHWMax) S 42479 42486 41955 0 -1 4194304 282 2206196 0 0 0 0 117876 1637 20 0 1 0 46190939 4427776 736 18446744073709551615 94072980598784 94072981493317 140737016899280 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94072981732368 94072981780112 94072990339072 140737016908119 140737016908273 140737016908273 140737016913875 0
/proc/42486/statm: 1081 736 672 219 0 143 0
[pid=42569] ppid=42486 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42569/stat : 42569 (timeout) S 42486 42569 41955 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46310770 2723840 352 18446744073709551615 94648191496192 94648191512705 140737145231648 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94648191527472 94648191529560 94648223297536 140737145235846 140737145236002 140737145236002 140737145241575 0
/proc/42569/statm: 665 352 352 5 0 90 0
[pid=42570] ppid=42569 vsize=12157016 memory=11495336 CPUtime=2390.23 cores=1,3
/proc/42570/stat : 42570 (ExactPR-S) R 42569 42569 41955 0 -1 4194304 2645701 0 0 0 238386 637 0 0 20 0 1 0 46310771 12448784384 2873834 18446744073709551615 93829080039424 93829089339461 140722376569648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93829091125568 93829091164648 93829132431360 140722376571294 140722376571431 140722376571431 140722376577004 0
/proc/42570/statm: 3039254 2873834 1888 2271 0 3033892 0
Current children cumulated CPU time: 3585.36 s
Current children cumulated vsize: 12164000 KiB
Current children cumulated memory: 11499688 KiB

[startup+3596 s]*
/proc/loadavg: 4.12 4.10 4.09 5/272 42697
/proc/meminfo: memFree=111807568/131249996 swapFree=33010416/33010684
[pid=42486] ppid=42479 vsize=4324 memory=2944 CPUtime=1195.13 cores=1,3
/proc/42486/stat : 42486 (Hybrid-CASHWMax) S 42479 42486 41955 0 -1 4194304 282 2206196 0 0 0 0 117876 1637 20 0 1 0 46190939 4427776 736 18446744073709551615 94072980598784 94072981493317 140737016899280 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94072981732368 94072981780112 94072990339072 140737016908119 140737016908273 140737016908273 140737016913875 0
/proc/42486/statm: 1081 736 672 219 0 143 0
[pid=42569] ppid=42486 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42569/stat : 42569 (timeout) S 42486 42569 41955 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46310770 2723840 352 18446744073709551615 94648191496192 94648191512705 140737145231648 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94648191527472 94648191529560 94648223297536 140737145235846 140737145236002 140737145236002 140737145241575 0
/proc/42569/statm: 665 352 352 5 0 90 0
[pid=42570] ppid=42569 vsize=12157016 memory=11495336 CPUtime=2391.03 cores=1,3
/proc/42570/stat : 42570 (ExactPR-S) R 42569 42569 41955 0 -1 4194304 2645703 0 0 0 238466 637 0 0 20 0 1 0 46310771 12448784384 2873834 18446744073709551615 93829080039424 93829089339461 140722376569648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93829091125568 93829091164648 93829132431360 140722376571294 140722376571431 140722376571431 140722376577004 0
/proc/42570/statm: 3039254 2873834 1888 2271 0 3033892 0
Current children cumulated CPU time: 3586.16 s
Current children cumulated vsize: 12164000 KiB
Current children cumulated memory: 11499688 KiB

[startup+3596.4 s]
/proc/loadavg: 4.12 4.10 4.09 5/272 42697
/proc/meminfo: memFree=111807568/131249996 swapFree=33010416/33010684
[pid=42486] ppid=42479 vsize=4324 memory=2944 CPUtime=1195.13 cores=1,3
/proc/42486/stat : 42486 (Hybrid-CASHWMax) S 42479 42486 41955 0 -1 4194304 282 2206196 0 0 0 0 117876 1637 20 0 1 0 46190939 4427776 736 18446744073709551615 94072980598784 94072981493317 140737016899280 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94072981732368 94072981780112 94072990339072 140737016908119 140737016908273 140737016908273 140737016913875 0
/proc/42486/statm: 1081 736 672 219 0 143 0
[pid=42569] ppid=42486 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42569/stat : 42569 (timeout) S 42486 42569 41955 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 46310770 2723840 352 18446744073709551615 94648191496192 94648191512705 140737145231648 0 0 0 0 3293184 73735 1 0 0 17 3 0 0 0 0 0 94648191527472 94648191529560 94648223297536 140737145235846 140737145236002 140737145236002 140737145241575 0
/proc/42569/statm: 665 352 352 5 0 90 0
[pid=42570] ppid=42569 vsize=10586016 memory=10177084 CPUtime=2391.43 cores=1,3
/proc/42570/stat : 42570 (ExactPR-S) R 42569 42569 41955 0 -1 4194304 2645797 0 0 0 238504 639 0 0 20 0 1 0 46310771 10840080384 2544271 18446744073709551615 93829080039424 93829089339461 140722376569648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93829091125568 93829091164648 93829132431360 140722376571294 140722376571431 140722376571431 140722376577004 0
/proc/42570/statm: 2646504 2544271 2016 2271 0 2641142 0
Current children cumulated CPU time: 3586.56 s
Current children cumulated vsize: 10593000 KiB
Current children cumulated memory: 10181436 KiB

[startup+3596.6 s]
/proc/loadavg: 4.12 4.10 4.09 5/272 42697
/proc/meminfo: memFree=111807568/131249996 swapFree=33010416/33010684
[pid=42486] ppid=42479 vsize=4324 memory=2944 CPUtime=1195.13 cores=1,3
/proc/42486/stat : 42486 (Hybrid-CASHWMax) S 42479 42486 41955 0 -1 4194304 282 2206196 0 0 0 0 117876 1637 20 0 1 0 46190939 4427776 736 18446744073709551615 94072980598784 94072981493317 140737016899280 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94072981732368 94072981780112 94072990339072 140737016908119 140737016908273 140737016908273 140737016913875 0
/proc/42486/statm: 1081 736 672 219 0 143 0
[pid=42569] ppid=42486 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42569/stat : 42569 (timeout) S 42486 42569 41955 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 46310770 2723840 352 18446744073709551615 94648191496192 94648191512705 140737145231648 0 0 0 0 3293184 73735 1 0 0 17 3 0 0 0 0 0 94648191527472 94648191529560 94648223297536 140737145235846 140737145236002 140737145236002 140737145241575 0
/proc/42569/statm: 665 352 352 5 0 90 0
Current children cumulated CPU time: 1195.13 s
Current children cumulated vsize: 6984 KiB
Current children cumulated memory: 4352 KiB

[startup+3596.7 s]
/proc/loadavg: 4.12 4.10 4.09 5/272 42697
/proc/meminfo: memFree=111807568/131249996 swapFree=33010416/33010684
[pid=42486] ppid=42479 vsize=4324 memory=2944 CPUtime=1195.13 cores=1,3
/proc/42486/stat : 42486 (Hybrid-CASHWMax) S 42479 42486 41955 0 -1 4194304 282 2206196 0 0 0 0 117876 1637 20 0 1 0 46190939 4427776 736 18446744073709551615 94072980598784 94072981493317 140737016899280 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94072981732368 94072981780112 94072990339072 140737016908119 140737016908273 140737016908273 140737016913875 0
/proc/42486/statm: 1081 736 672 219 0 143 0
[pid=42569] ppid=42486 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42569/stat : 42569 (timeout) S 42486 42569 41955 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 46310770 2723840 352 18446744073709551615 94648191496192 94648191512705 140737145231648 0 0 0 0 3293184 73735 1 0 0 17 3 0 0 0 0 0 94648191527472 94648191529560 94648223297536 140737145235846 140737145236002 140737145236002 140737145241575 0
/proc/42569/statm: 665 352 352 5 0 90 0
Current children cumulated CPU time: 1195.13 s
Current children cumulated vsize: 6984 KiB
Current children cumulated memory: 4352 KiB

Child status: 0

Real time (s): 3596.8
CPU time (s): 3586.94
CPU user time (s): 3563.82
CPU system time (s): 23.1265
CPU usage (%): 99.726
Max. virtual memory (cumulated for all children) (KiB): 24135316
Max. memory (cumulated for all children) (KiB): 22272040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3563.82
system time used= 23.1265
maximum resident set size= 22267688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4853974
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1259
involuntary context switches= 3775


# summary of solver processes directly reported to runsolver:
#   pid: 42486
#   total CPU time (s): 3586.94
#   total CPU user time (s): 3563.82
#   total CPU system time (s): 23.1265

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.25686 second user time and 18.7175 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-06-30 19:38:52
IDJOB=4485346
IDBENCH=146789
IDSOLVER=3327
FILE ID=nodeC022/4485346-1751305132
RUNJOBID= nodeC022-1751301533-41967
SLURM_JOB_ID= 9594279
Free space on /tmp= 433028 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjCad+ExactPRS 2025-06-01
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-siena1.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCad+ExactPRS BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485346-1751305132/watcher-4485346-1751305132 -o /tmp/evaluation-result-4485346-1751305132/solver-4485346-1751305132 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751301533-41967 --watchdog 3760  ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4485346-1751305132.opb 3600 HOME

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

MD5SUM BENCH= 66e906a9f3fccfe57bc4c65455b969f9
RANDOM SEED=21647259

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		: 3602.124
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.709
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		: 3599.717
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		: 3539.811
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.178
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		: 3464.666
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		: 3599.710
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.678
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:        129927236 kB
MemAvailable:   129707760 kB
Buffers:            2128 kB
Cached:           584392 kB
SwapCached:           32 kB
Active:           414900 kB
Inactive:         258584 kB
Active(anon):     100792 kB
Inactive(anon):     4200 kB
Active(file):     314108 kB
Inactive(file):   254384 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            118060 kB
Writeback:            64 kB
AnonPages:         90248 kB
Mapped:           106168 kB
Shmem:             18028 kB
KReclaimable:     102144 kB
Slab:             189836 kB
SReclaimable:     102144 kB
SUnreclaim:        87692 kB
KernelStack:        4076 kB
PageTables:         3092 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     383876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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= 432948 MiB
End job on nodeC022 at 2025-06-30 20:38:49