Trace number 4524140

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? 1329.74 1333.86

General information on the benchmark

NamePB25/normalized-PB25/OPT-LIN/wallon/
normalized-FoolSolitaire-table-2-0_c24.opb
MD5SUM2e656679a8d40db5005d825083b376ef
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark9
Best CPU time to get the best result obtained on this benchmark948.994
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables887342
Total number of constraints892924
Number of constraints which are clauses195370
Number of constraints which are cardinality constraints (but not clauses)32
Number of constraints which are nor clauses,nor cardinality constraints697522
Minimum length of a constraint1
Maximum length of a constraint2713
Number of terms in the objective function 5
Biggest coefficient in the objective function 16
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 31
Number of bits of the sum of numbers in the objective function 5
Biggest number in a constraint 76
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 3053
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1194.38/1333.82	c Exit code from Second Program: 0
1194.38/1333.84	c 892912 constraints
1194.38/1333.84	c OUT OF MEMORY
1194.38/1333.84	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 (61484 MiB free)
  memory of node 1: 64507 MiB (59417 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524140-1751592775/watcher-4524140-1751592775 -o /tmp/evaluation-result-4524140-1751592775/solver-4524140-1751592775 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751588898-87922 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4524140-1751592775.opb 3600 HOME 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=88839, runsolver pid=88836

[startup+0.100065 s]*
/proc/loadavg: 4.05 4.08 4.09 5/272 88843
/proc/meminfo: memFree=123789656/131249996 swapFree=33010672/33010684
[pid=88839] ppid=88836 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/88839/stat : 88839 (Hybrid-CASHWMax) S 88836 88839 87909 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 74955310 4427776 768 18446744073709551615 94244497276928 94244498171461 140727153584960 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94244498410512 94244498458256 94244511272960 140727153588567 140727153588721 140727153588721 140727153594323 0
/proc/88839/statm: 1081 768 704 219 0 143 0
[pid=88842] ppid=88839 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88842/stat : 88842 (timeout) S 88839 88842 87909 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74955312 2723840 352 18446744073709551615 94735883915264 94735883931777 140722006803968 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94735883946544 94735883948632 94735891591168 140722006808982 140722006809122 140722006809122 140722006814695 0
/proc/88842/statm: 665 352 352 5 0 90 0
[pid=88843] ppid=88842 vsize=33644 memory=19080 CPUtime=0.06 cores=5,7
/proc/88843/stat : 88843 (CASHWMaxSAT-Dis) R 88842 88842 87909 0 -1 4194304 4148 0 0 0 6 0 0 0 20 0 1 0 74955312 34451456 4770 18446744073709551615 4198400 14817773 140726909404944 0 0 0 0 0 19490 0 0 0 17 7 0 0 0 0 0 16829744 16914832 45260800 140726909409692 140726909409819 140726909409819 140726909415392 0
/proc/88843/statm: 8411 4770 864 2593 0 5304 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 40628 KiB
Current children cumulated memory: 23560 KiB

[startup+0.205968 s]*
/proc/loadavg: 4.05 4.08 4.09 5/272 88843
/proc/meminfo: memFree=123767732/131249996 swapFree=33010672/33010684
[pid=88839] ppid=88836 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/88839/stat : 88839 (Hybrid-CASHWMax) S 88836 88839 87909 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 74955310 4427776 768 18446744073709551615 94244497276928 94244498171461 140727153584960 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94244498410512 94244498458256 94244511272960 140727153588567 140727153588721 140727153588721 140727153594323 0
/proc/88839/statm: 1081 768 704 219 0 143 0
[pid=88842] ppid=88839 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88842/stat : 88842 (timeout) S 88839 88842 87909 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74955312 2723840 352 18446744073709551615 94735883915264 94735883931777 140722006803968 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94735883946544 94735883948632 94735891591168 140722006808982 140722006809122 140722006809122 140722006814695 0
/proc/88842/statm: 665 352 352 5 0 90 0
[pid=88843] ppid=88842 vsize=50528 memory=35968 CPUtime=0.17 cores=5,7
/proc/88843/stat : 88843 (CASHWMaxSAT-Dis) R 88842 88842 87909 0 -1 4194304 8617 0 0 0 16 1 0 0 20 0 1 0 74955312 51740672 8992 18446744073709551615 4198400 14817773 140726909404944 0 0 0 0 0 19490 0 0 0 17 7 0 0 0 0 0 16829744 16914832 45260800 140726909409692 140726909409819 140726909409819 140726909415392 0
/proc/88843/statm: 12632 8992 864 2593 0 9525 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 57512 KiB
Current children cumulated memory: 40448 KiB

[startup+0.305966 s]*
/proc/loadavg: 4.05 4.08 4.09 5/272 88843
/proc/meminfo: memFree=123751856/131249996 swapFree=33010672/33010684
[pid=88839] ppid=88836 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/88839/stat : 88839 (Hybrid-CASHWMax) S 88836 88839 87909 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 74955310 4427776 768 18446744073709551615 94244497276928 94244498171461 140727153584960 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94244498410512 94244498458256 94244511272960 140727153588567 140727153588721 140727153588721 140727153594323 0
/proc/88839/statm: 1081 768 704 219 0 143 0
[pid=88842] ppid=88839 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88842/stat : 88842 (timeout) S 88839 88842 87909 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74955312 2723840 352 18446744073709551615 94735883915264 94735883931777 140722006803968 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94735883946544 94735883948632 94735891591168 140722006808982 140722006809122 140722006809122 140722006814695 0
/proc/88842/statm: 665 352 352 5 0 90 0
[pid=88843] ppid=88842 vsize=69584 memory=54280 CPUtime=0.26 cores=5,7
/proc/88843/stat : 88843 (CASHWMaxSAT-Dis) R 88842 88842 87909 0 -1 4194304 13733 0 0 0 24 2 0 0 20 0 1 0 74955312 71254016 13570 18446744073709551615 4198400 14817773 140726909404944 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45260800 140726909409692 140726909409819 140726909409819 140726909415392 0
/proc/88843/statm: 17396 13570 864 2593 0 14289 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 76568 KiB
Current children cumulated memory: 58760 KiB

[startup+0.700242 s]
/proc/loadavg: 4.05 4.08 4.09 5/272 88843
/proc/meminfo: memFree=123719852/131249996 swapFree=33010672/33010684
[pid=88839] ppid=88836 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/88839/stat : 88839 (Hybrid-CASHWMax) S 88836 88839 87909 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 74955310 4427776 768 18446744073709551615 94244497276928 94244498171461 140727153584960 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94244498410512 94244498458256 94244511272960 140727153588567 140727153588721 140727153588721 140727153594323 0
/proc/88839/statm: 1081 768 704 219 0 143 0
[pid=88842] ppid=88839 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88842/stat : 88842 (timeout) S 88839 88842 87909 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74955312 2723840 352 18446744073709551615 94735883915264 94735883931777 140722006803968 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94735883946544 94735883948632 94735891591168 140722006808982 140722006809122 140722006809122 140722006814695 0
/proc/88842/statm: 665 352 352 5 0 90 0
[pid=88843] ppid=88842 vsize=137948 memory=121860 CPUtime=0.65 cores=5,7
/proc/88843/stat : 88843 (CASHWMaxSAT-Dis) R 88842 88842 87909 0 -1 4194304 30618 0 0 0 60 5 0 0 20 0 1 0 74955312 141258752 30465 18446744073709551615 4198400 14817773 140726909404944 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45260800 140726909409692 140726909409819 140726909409819 140726909415392 0
/proc/88843/statm: 34487 30465 864 2593 0 31380 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 144932 KiB
Current children cumulated memory: 126340 KiB

[startup+1.50024 s]
/proc/loadavg: 4.05 4.08 4.09 5/272 88843
/proc/meminfo: memFree=123636400/131249996 swapFree=33010672/33010684
[pid=88839] ppid=88836 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/88839/stat : 88839 (Hybrid-CASHWMax) S 88836 88839 87909 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 74955310 4427776 768 18446744073709551615 94244497276928 94244498171461 140727153584960 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94244498410512 94244498458256 94244511272960 140727153588567 140727153588721 140727153588721 140727153594323 0
/proc/88839/statm: 1081 768 704 219 0 143 0
[pid=88842] ppid=88839 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88842/stat : 88842 (timeout) S 88839 88842 87909 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74955312 2723840 352 18446744073709551615 94735883915264 94735883931777 140722006803968 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94735883946544 94735883948632 94735891591168 140722006808982 140722006809122 140722006809122 140722006814695 0
/proc/88842/statm: 665 352 352 5 0 90 0
[pid=88843] ppid=88842 vsize=282768 memory=261692 CPUtime=1.45 cores=5,7
/proc/88843/stat : 88843 (CASHWMaxSAT-Dis) R 88842 88842 87909 0 -1 4194304 62525 0 0 0 133 12 0 0 20 0 1 0 74955312 289554432 65423 18446744073709551615 4198400 14817773 140726909404944 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45260800 140726909409692 140726909409819 140726909409819 140726909415392 0
/proc/88843/statm: 70692 65423 864 2593 0 67585 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 289752 KiB
Current children cumulated memory: 266172 KiB

[startup+3.10573 s]
/proc/loadavg: 4.04 4.07 4.08 5/272 88843
/proc/meminfo: memFree=123309228/131249996 swapFree=33010672/33010684
[pid=88839] ppid=88836 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/88839/stat : 88839 (Hybrid-CASHWMax) S 88836 88839 87909 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 74955310 4427776 768 18446744073709551615 94244497276928 94244498171461 140727153584960 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94244498410512 94244498458256 94244511272960 140727153588567 140727153588721 140727153588721 140727153594323 0
/proc/88839/statm: 1081 768 704 219 0 143 0
[pid=88842] ppid=88839 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88842/stat : 88842 (timeout) S 88839 88842 87909 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74955312 2723840 352 18446744073709551615 94735883915264 94735883931777 140722006803968 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94735883946544 94735883948632 94735891591168 140722006808982 140722006809122 140722006809122 140722006814695 0
/proc/88842/statm: 665 352 352 5 0 90 0
[pid=88843] ppid=88842 vsize=550556 memory=522812 CPUtime=3.06 cores=5,7
/proc/88843/stat : 88843 (CASHWMaxSAT-Dis) R 88842 88842 87909 0 -1 4194304 116068 0 0 0 283 23 0 0 20 0 1 0 74955312 563769344 130703 18446744073709551615 4198400 14817773 140726909404944 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45260800 140726909409692 140726909409819 140726909409819 140726909415392 0
/proc/88843/statm: 137639 130703 864 2593 0 134532 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 557540 KiB
Current children cumulated memory: 527292 KiB

[startup+6.30023 s]
/proc/loadavg: 4.04 4.07 4.08 5/272 88843
/proc/meminfo: memFree=122805864/131249996 swapFree=33010672/33010684
[pid=88839] ppid=88836 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/88839/stat : 88839 (Hybrid-CASHWMax) S 88836 88839 87909 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 74955310 4427776 768 18446744073709551615 94244497276928 94244498171461 140727153584960 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94244498410512 94244498458256 94244511272960 140727153588567 140727153588721 140727153588721 140727153594323 0
/proc/88839/statm: 1081 768 704 219 0 143 0
[pid=88842] ppid=88839 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88842/stat : 88842 (timeout) S 88839 88842 87909 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74955312 2723840 352 18446744073709551615 94735883915264 94735883931777 140722006803968 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94735883946544 94735883948632 94735891591168 140722006808982 140722006809122 140722006809122 140722006814695 0
/proc/88842/statm: 665 352 352 5 0 90 0
[pid=88843] ppid=88842 vsize=1091564 memory=1040296 CPUtime=6.24 cores=5,7
/proc/88843/stat : 88843 (CASHWMaxSAT-Dis) R 88842 88842 87909 0 -1 4194304 213306 0 0 0 581 43 0 0 20 0 1 0 74955312 1117761536 260074 18446744073709551615 4198400 14817773 140726909404944 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45260800 140726909409692 140726909409819 140726909409819 140726909415392 0
/proc/88843/statm: 272891 260074 864 2593 0 269784 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1098548 KiB
Current children cumulated memory: 1044776 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.09 4.09 5/272 88843
/proc/meminfo: memFree=122414180/131249996 swapFree=33010672/33010684
[pid=88839] ppid=88836 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/88839/stat : 88839 (Hybrid-CASHWMax) S 88836 88839 87909 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 74955310 4427776 768 18446744073709551615 94244497276928 94244498171461 140727153584960 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94244498410512 94244498458256 94244511272960 140727153588567 140727153588721 140727153588721 140727153594323 0
/proc/88839/statm: 1081 768 704 219 0 143 0
[pid=88842] ppid=88839 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88842/stat : 88842 (timeout) S 88839 88842 87909 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74955312 2723840 352 18446744073709551615 94735883915264 94735883931777 140722006803968 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94735883946544 94735883948632 94735891591168 140722006808982 140722006809122 140722006809122 140722006814695 0
/proc/88842/statm: 665 352 352 5 0 90 0
[pid=88843] ppid=88842 vsize=1732432 memory=1660684 CPUtime=12.62 cores=5,7
/proc/88843/stat : 88843 (CASHWMaxSAT-Dis) R 88842 88842 87909 0 -1 4194304 263307 0 0 0 1200 62 0 0 20 0 1 0 74955312 1774010368 415171 18446744073709551615 4198400 14817773 140726909404944 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45260800 140726909409692 140726909409819 140726909409819 140726909415392 0
/proc/88843/statm: 433108 415171 896 2593 0 430001 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1739416 KiB
Current children cumulated memory: 1665164 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.08 4.09 5/272 88844
/proc/meminfo: memFree=121617240/131249996 swapFree=33010672/33010684
[pid=88839] ppid=88836 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/88839/stat : 88839 (Hybrid-CASHWMax) S 88836 88839 87909 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 74955310 4427776 768 18446744073709551615 94244497276928 94244498171461 140727153584960 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94244498410512 94244498458256 94244511272960 140727153588567 140727153588721 140727153588721 140727153594323 0
/proc/88839/statm: 1081 768 704 219 0 143 0
[pid=88842] ppid=88839 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88842/stat : 88842 (timeout) S 88839 88842 87909 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74955312 2723840 352 18446744073709551615 94735883915264 94735883931777 140722006803968 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94735883946544 94735883948632 94735891591168 140722006808982 140722006809122 140722006809122 140722006814695 0
/proc/88842/statm: 665 352 352 5 0 90 0
[pid=88843] ppid=88842 vsize=2294952 memory=2174352 CPUtime=25.38 cores=5,7
/proc/88843/stat : 88843 (CASHWMaxSAT-Dis) R 88842 88842 87909 0 -1 4194304 280528 0 0 0 2437 101 0 0 20 0 1 0 74955312 2350030848 543588 18446744073709551615 4198400 14817773 140726909404944 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45260800 140726909409692 140726909409819 140726909409819 140726909415392 0
/proc/88843/statm: 573738 543588 960 2593 0 570631 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 2301936 KiB
Current children cumulated memory: 2178832 KiB

[startup+51.106 s]
/proc/loadavg: 4.06 4.08 4.09 5/272 88844
/proc/meminfo: memFree=121931284/131249996 swapFree=33010672/33010684
[pid=88839] ppid=88836 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/88839/stat : 88839 (Hybrid-CASHWMax) S 88836 88839 87909 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 74955310 4427776 768 18446744073709551615 94244497276928 94244498171461 140727153584960 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94244498410512 94244498458256 94244511272960 140727153588567 140727153588721 140727153588721 140727153594323 0
/proc/88839/statm: 1081 768 704 219 0 143 0
[pid=88842] ppid=88839 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88842/stat : 88842 (timeout) S 88839 88842 87909 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74955312 2723840 352 18446744073709551615 94735883915264 94735883931777 140722006803968 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94735883946544 94735883948632 94735891591168 140722006808982 140722006809122 140722006809122 140722006814695 0
/proc/88842/statm: 665 352 352 5 0 90 0
[pid=88843] ppid=88842 vsize=1916656 memory=1815840 CPUtime=50.91 cores=5,7
/proc/88843/stat : 88843 (CASHWMaxSAT-Dis) R 88842 88842 87909 0 -1 4194304 307014 0 0 0 4939 152 0 0 20 0 1 0 74955312 1962655744 453960 18446744073709551615 4198400 14817773 140726909404944 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 45260800 140726909409692 140726909409819 140726909409819 140726909415392 0
/proc/88843/statm: 479164 453960 960 2593 0 476057 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1923640 KiB
Current children cumulated memory: 1820320 KiB

[startup+102.3 s]
/proc/loadavg: 4.22 4.11 4.10 5/272 88846
/proc/meminfo: memFree=121990768/131249996 swapFree=33010672/33010684
[pid=88839] ppid=88836 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/88839/stat : 88839 (Hybrid-CASHWMax) S 88836 88839 87909 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 74955310 4427776 768 18446744073709551615 94244497276928 94244498171461 140727153584960 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94244498410512 94244498458256 94244511272960 140727153588567 140727153588721 140727153588721 140727153594323 0
/proc/88839/statm: 1081 768 704 219 0 143 0
[pid=88842] ppid=88839 vsize=2660 memory=1408 CPUtime=0 cores=5,7

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

/proc/88839/statm: 1081 768 704 219 0 143 0
[pid=88958] ppid=88839 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88958/stat : 88958 (timeout) S 88839 88958 87909 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75075116 2723840 352 18446744073709551615 94892137836544 94892137853057 140723480062928 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94892137867824 94892137869912 94892138496000 140723480070534 140723480070690 140723480070690 140723480076263 0
/proc/88958/statm: 665 352 352 5 0 90 0
[pid=88959] ppid=88958 vsize=12527436 memory=12322992 CPUtime=44.09 cores=5,7
/proc/88959/stat : 88959 (ExactPR-S) R 88958 88958 87909 0 -1 4194304 1868344 0 0 0 3925 484 0 0 20 0 1 0 75075116 12828094464 3080748 18446744073709551615 94445778944000 94445788244037 140725008777152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94445790030144 94445790069224 94445812666368 140725008779678 140725008779815 140725008779815 140725008785388 0
/proc/88959/statm: 3131859 3080748 1696 2271 0 3126497 0
Current children cumulated CPU time: 1238.47 s
Current children cumulated vsize: 12534420 KiB
Current children cumulated memory: 12327472 KiB

[startup+1302.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/271 88961
/proc/meminfo: memFree=95993232/131249996 swapFree=33010672/33010684
[pid=88839] ppid=88836 vsize=4324 memory=3072 CPUtime=1194.38 cores=5,7
/proc/88839/stat : 88839 (Hybrid-CASHWMax) S 88836 88839 87909 0 -1 4194304 285 502798 0 0 0 0 118968 470 20 0 1 0 74955310 4427776 768 18446744073709551615 94244497276928 94244498171461 140727153584960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94244498410512 94244498458256 94244511272960 140727153588567 140727153588721 140727153588721 140727153594323 0
/proc/88839/statm: 1081 768 704 219 0 143 0
[pid=88958] ppid=88839 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88958/stat : 88958 (timeout) S 88839 88958 87909 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75075116 2723840 352 18446744073709551615 94892137836544 94892137853057 140723480062928 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94892137867824 94892137869912 94892138496000 140723480070534 140723480070690 140723480070690 140723480076263 0
/proc/88958/statm: 665 352 352 5 0 90 0
[pid=88959] ppid=88958 vsize=28606280 memory=25513576 CPUtime=103.9 cores=5,7
/proc/88959/stat : 88959 (ExactPR-S) R 88958 88958 87909 0 -1 4194304 3941735 0 0 0 9308 1082 0 0 20 0 1 0 75075116 29292830720 6378394 18446744073709551615 94445778944000 94445788244037 140725008777152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94445790030144 94445790069224 94445812666368 140725008779678 140725008779815 140725008779815 140725008785388 0
/proc/88959/statm: 7151570 6378394 1696 2271 0 7146208 0
Current children cumulated CPU time: 1298.28 s
Current children cumulated vsize: 28613264 KiB
Current children cumulated memory: 25518056 KiB

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

# cumulated CPU time of all completed processes:  user=1312.55 s, system=17.1955 s

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

[startup+1305.6 s]
/proc/loadavg: 4.17 4.14 4.10 5/271 88961
/proc/meminfo: memFree=95408528/131249996 swapFree=33010672/33010684
[pid=88839] ppid=88836 vsize=4324 memory=3072 CPUtime=1194.38 cores=5,7
/proc/88839/stat : 88839 (Hybrid-CASHWMax) S 88836 88839 87909 0 -1 4194304 285 502798 0 0 0 0 118968 470 20 0 1 0 74955310 4427776 768 18446744073709551615 94244497276928 94244498171461 140727153584960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94244498410512 94244498458256 94244511272960 140727153588567 140727153588721 140727153588721 140727153594323 0
/proc/88839/statm: 1081 768 704 219 0 143 0
[pid=88958] ppid=88839 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88958/stat : 88958 (timeout) S 88839 88958 87909 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75075116 2723840 352 18446744073709551615 94892137836544 94892137853057 140723480062928 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94892137867824 94892137869912 94892138496000 140723480070534 140723480070690 140723480070690 140723480076263 0
/proc/88958/statm: 665 352 352 5 0 90 0
[pid=88959] ppid=88958 vsize=29145488 memory=26225644 CPUtime=107.19 cores=5,7
/proc/88959/stat : 88959 (ExactPR-S) R 88958 88958 87909 0 -1 4194304 4068130 0 0 0 9613 1106 0 0 20 0 1 0 75075116 29844979712 6556411 18446744073709551615 94445778944000 94445788244037 140725008777152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94445790030144 94445790069224 94445812666368 140725008779678 140725008779815 140725008779815 140725008785388 0
/proc/88959/statm: 7286372 6556411 1696 2271 0 7281010 0
Current children cumulated CPU time: 1301.57 s
Current children cumulated vsize: 29152472 KiB
Current children cumulated memory: 26230124 KiB

[startup+1318.4 s]
/proc/loadavg: 4.20 4.15 4.11 5/271 88963
/proc/meminfo: memFree=98665632/131249996 swapFree=33010672/33010684
[pid=88839] ppid=88836 vsize=4324 memory=3072 CPUtime=1194.38 cores=5,7
/proc/88839/stat : 88839 (Hybrid-CASHWMax) S 88836 88839 87909 0 -1 4194304 285 502798 0 0 0 0 118968 470 20 0 1 0 74955310 4427776 768 18446744073709551615 94244497276928 94244498171461 140727153584960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94244498410512 94244498458256 94244511272960 140727153588567 140727153588721 140727153588721 140727153594323 0
/proc/88839/statm: 1081 768 704 219 0 143 0
[pid=88958] ppid=88839 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88958/stat : 88958 (timeout) S 88839 88958 87909 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75075116 2723840 352 18446744073709551615 94892137836544 94892137853057 140723480062928 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94892137867824 94892137869912 94892138496000 140723480070534 140723480070690 140723480070690 140723480076263 0
/proc/88958/statm: 665 352 352 5 0 90 0
[pid=88959] ppid=88958 vsize=22399152 memory=21813132 CPUtime=119.96 cores=5,7
/proc/88959/stat : 88959 (ExactPR-S) R 88958 88958 87909 0 -1 4194304 4459281 0 0 0 10815 1181 0 0 20 0 1 0 75075116 22936731648 5453283 18446744073709551615 94445778944000 94445788244037 140725008777152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94445790030144 94445790069224 94445812666368 140725008779678 140725008779815 140725008779815 140725008785388 0
/proc/88959/statm: 5599788 5453283 1824 2271 0 5594426 0
Current children cumulated CPU time: 1314.34 s
Current children cumulated vsize: 22406136 KiB
Current children cumulated memory: 21817612 KiB

[startup+1324.8 s]
/proc/loadavg: 4.18 4.15 4.11 5/271 88963
/proc/meminfo: memFree=98724132/131249996 swapFree=33010672/33010684
[pid=88839] ppid=88836 vsize=4324 memory=3072 CPUtime=1194.38 cores=5,7
/proc/88839/stat : 88839 (Hybrid-CASHWMax) S 88836 88839 87909 0 -1 4194304 285 502798 0 0 0 0 118968 470 20 0 1 0 74955310 4427776 768 18446744073709551615 94244497276928 94244498171461 140727153584960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94244498410512 94244498458256 94244511272960 140727153588567 140727153588721 140727153588721 140727153594323 0
/proc/88839/statm: 1081 768 704 219 0 143 0
[pid=88958] ppid=88839 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88958/stat : 88958 (timeout) S 88839 88958 87909 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75075116 2723840 352 18446744073709551615 94892137836544 94892137853057 140723480062928 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94892137867824 94892137869912 94892138496000 140723480070534 140723480070690 140723480070690 140723480076263 0
/proc/88958/statm: 665 352 352 5 0 90 0
[pid=88959] ppid=88958 vsize=22399152 memory=21813132 CPUtime=126.33 cores=5,7
/proc/88959/stat : 88959 (ExactPR-S) R 88958 88958 87909 0 -1 4194304 4459281 0 0 0 11452 1181 0 0 20 0 1 0 75075116 22936731648 5453283 18446744073709551615 94445778944000 94445788244037 140725008777152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94445790030144 94445790069224 94445812666368 140725008779678 140725008779815 140725008779815 140725008785388 0
/proc/88959/statm: 5599788 5453283 1824 2271 0 5594426 0
Current children cumulated CPU time: 1320.71 s
Current children cumulated vsize: 22406136 KiB
Current children cumulated memory: 21817612 KiB

[startup+1328 s]*
/proc/loadavg: 4.17 4.15 4.10 5/271 88963
/proc/meminfo: memFree=102028612/131249996 swapFree=33010672/33010684
[pid=88839] ppid=88836 vsize=4324 memory=3072 CPUtime=1194.38 cores=5,7
/proc/88839/stat : 88839 (Hybrid-CASHWMax) S 88836 88839 87909 0 -1 4194304 285 502798 0 0 0 0 118968 470 20 0 1 0 74955310 4427776 768 18446744073709551615 94244497276928 94244498171461 140727153584960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94244498410512 94244498458256 94244511272960 140727153588567 140727153588721 140727153588721 140727153594323 0
/proc/88839/statm: 1081 768 704 219 0 143 0
[pid=88958] ppid=88839 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88958/stat : 88958 (timeout) S 88839 88958 87909 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75075116 2723840 352 18446744073709551615 94892137836544 94892137853057 140723480062928 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94892137867824 94892137869912 94892138496000 140723480070534 140723480070690 140723480070690 140723480076263 0
/proc/88958/statm: 665 352 352 5 0 90 0
[pid=88959] ppid=88958 vsize=19130000 memory=18543960 CPUtime=129.53 cores=5,7
/proc/88959/stat : 88959 (ExactPR-S) R 88958 88958 87909 0 -1 4194304 4459285 0 0 0 11770 1183 0 0 20 0 1 0 75075116 19589120000 4635990 18446744073709551615 94445778944000 94445788244037 140725008777152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94445790030144 94445790069224 94445812666368 140725008779678 140725008779815 140725008779815 140725008785388 0
/proc/88959/statm: 4782500 4635990 1824 2271 0 4777138 0
Current children cumulated CPU time: 1323.91 s
Current children cumulated vsize: 19136984 KiB
Current children cumulated memory: 18548440 KiB

[startup+1331.2 s]
/proc/loadavg: 4.17 4.15 4.10 5/270 88963
/proc/meminfo: memFree=102061252/131249996 swapFree=33010672/33010684
[pid=88839] ppid=88836 vsize=4324 memory=3072 CPUtime=1194.38 cores=5,7
/proc/88839/stat : 88839 (Hybrid-CASHWMax) S 88836 88839 87909 0 -1 4194304 285 502798 0 0 0 0 118968 470 20 0 1 0 74955310 4427776 768 18446744073709551615 94244497276928 94244498171461 140727153584960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94244498410512 94244498458256 94244511272960 140727153588567 140727153588721 140727153588721 140727153594323 0
/proc/88839/statm: 1081 768 704 219 0 143 0
[pid=88958] ppid=88839 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88958/stat : 88958 (timeout) S 88839 88958 87909 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75075116 2723840 352 18446744073709551615 94892137836544 94892137853057 140723480062928 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94892137867824 94892137869912 94892138496000 140723480070534 140723480070690 140723480070690 140723480076263 0
/proc/88958/statm: 665 352 352 5 0 90 0
[pid=88959] ppid=88958 vsize=19130000 memory=18543960 CPUtime=132.72 cores=5,7
/proc/88959/stat : 88959 (ExactPR-S) R 88958 88958 87909 0 -1 4194304 4459766 0 0 0 12087 1185 0 0 20 0 1 0 75075116 19589120000 4635990 18446744073709551615 94445778944000 94445788244037 140725008777152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94445790030144 94445790069224 94445812666368 140725008779678 140725008779815 140725008779815 140725008785388 0
/proc/88959/statm: 4782500 4635990 1824 2271 0 4777138 0
Current children cumulated CPU time: 1327.1 s
Current children cumulated vsize: 19136984 KiB
Current children cumulated memory: 18548440 KiB

[startup+1332.8 s]
/proc/loadavg: 4.17 4.15 4.10 5/270 88963
/proc/meminfo: memFree=102077220/131249996 swapFree=33010672/33010684
[pid=88839] ppid=88836 vsize=4324 memory=3072 CPUtime=1194.38 cores=5,7
/proc/88839/stat : 88839 (Hybrid-CASHWMax) S 88836 88839 87909 0 -1 4194304 285 502798 0 0 0 0 118968 470 20 0 1 0 74955310 4427776 768 18446744073709551615 94244497276928 94244498171461 140727153584960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94244498410512 94244498458256 94244511272960 140727153588567 140727153588721 140727153588721 140727153594323 0
/proc/88839/statm: 1081 768 704 219 0 143 0
[pid=88958] ppid=88839 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88958/stat : 88958 (timeout) S 88839 88958 87909 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75075116 2723840 352 18446744073709551615 94892137836544 94892137853057 140723480062928 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94892137867824 94892137869912 94892138496000 140723480070534 140723480070690 140723480070690 140723480076263 0
/proc/88958/statm: 665 352 352 5 0 90 0
[pid=88959] ppid=88958 vsize=19130000 memory=18543960 CPUtime=134.31 cores=5,7
/proc/88959/stat : 88959 (ExactPR-S) R 88958 88958 87909 0 -1 4194304 4459766 0 0 0 12245 1186 0 0 20 0 1 0 75075116 19589120000 4635990 18446744073709551615 94445778944000 94445788244037 140725008777152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94445790030144 94445790069224 94445812666368 140725008779678 140725008779815 140725008779815 140725008785388 0
/proc/88959/statm: 4782500 4635990 1824 2271 0 4777138 0
Current children cumulated CPU time: 1328.69 s
Current children cumulated vsize: 19136984 KiB
Current children cumulated memory: 18548440 KiB

[startup+1333.6 s]
/proc/loadavg: 4.15 4.14 4.10 5/270 88963
/proc/meminfo: memFree=102085700/131249996 swapFree=33010672/33010684
[pid=88839] ppid=88836 vsize=4324 memory=3072 CPUtime=1194.38 cores=5,7
/proc/88839/stat : 88839 (Hybrid-CASHWMax) S 88836 88839 87909 0 -1 4194304 285 502798 0 0 0 0 118968 470 20 0 1 0 74955310 4427776 768 18446744073709551615 94244497276928 94244498171461 140727153584960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94244498410512 94244498458256 94244511272960 140727153588567 140727153588721 140727153588721 140727153594323 0
/proc/88839/statm: 1081 768 704 219 0 143 0
[pid=88958] ppid=88839 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88958/stat : 88958 (timeout) S 88839 88958 87909 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75075116 2723840 352 18446744073709551615 94892137836544 94892137853057 140723480062928 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94892137867824 94892137869912 94892138496000 140723480070534 140723480070690 140723480070690 140723480076263 0
/proc/88958/statm: 665 352 352 5 0 90 0
Current children cumulated CPU time: 1194.38 s
Current children cumulated vsize: 6984 KiB
Current children cumulated memory: 4480 KiB

[startup+1333.8 s]
/proc/loadavg: 4.15 4.14 4.10 5/270 88963
/proc/meminfo: memFree=102085700/131249996 swapFree=33010672/33010684
[pid=88839] ppid=88836 vsize=4324 memory=3072 CPUtime=1194.38 cores=5,7
/proc/88839/stat : 88839 (Hybrid-CASHWMax) S 88836 88839 87909 0 -1 4194304 285 502798 0 0 0 0 118968 470 20 0 1 0 74955310 4427776 768 18446744073709551615 94244497276928 94244498171461 140727153584960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94244498410512 94244498458256 94244511272960 140727153588567 140727153588721 140727153588721 140727153594323 0
/proc/88839/statm: 1081 768 704 219 0 143 0
[pid=88958] ppid=88839 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88958/stat : 88958 (timeout) S 88839 88958 87909 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75075116 2723840 352 18446744073709551615 94892137836544 94892137853057 140723480062928 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94892137867824 94892137869912 94892138496000 140723480070534 140723480070690 140723480070690 140723480076263 0
/proc/88958/statm: 665 352 352 5 0 90 0
Current children cumulated CPU time: 1194.38 s
Current children cumulated vsize: 6984 KiB
Current children cumulated memory: 4480 KiB

Child status: 0

Real time (s): 1333.86
CPU time (s): 1329.74
CPU user time (s): 1312.55
CPU system time (s): 17.1955
CPU usage (%): 99.6915
Max. virtual memory (cumulated for all children) (KiB): 30817524
Max. memory (cumulated for all children) (KiB): 28423060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1312.55
system time used= 17.1955
maximum resident set size= 28418580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4963838
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 907
involuntary context switches= 7433


# summary of solver processes directly reported to runsolver:
#   pid: 88839
#   total CPU time (s): 1329.74
#   total CPU user time (s): 1312.55
#   total CPU system time (s): 17.1955

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.9022 second user time and 6.8691 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-07-04 03:32:55
IDJOB=4524140
IDBENCH=180565
IDSOLVER=3327
FILE ID=nodeC017/4524140-1751592775
RUNJOBID= nodeC017-1751588898-87922
SLURM_JOB_ID= 9598842
Free space on /tmp= 432324 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjCad+ExactPRS 2025-06-01
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-FoolSolitaire-table-2-0_c24.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCad+ExactPRS BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524140-1751592775/watcher-4524140-1751592775 -o /tmp/evaluation-result-4524140-1751592775/solver-4524140-1751592775 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751588898-87922 --watchdog 3760  ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4524140-1751592775.opb 3600 HOME

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

MD5SUM BENCH= 2e656679a8d40db5005d825083b376ef
RANDOM SEED=374097161

nodeC017 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		: 3600.063
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	: 7000.12
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		: 3600.109
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	: 7000.12
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		: 3387.083
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	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        123803204 kB
MemAvailable:   127633192 kB
Buffers:            1688 kB
Cached:          4598072 kB
SwapCached:            8 kB
Active:          2426880 kB
Inactive:        4308692 kB
Active(anon):    2137756 kB
Inactive(anon):    16128 kB
Active(file):     289124 kB
Inactive(file):  4292564 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             70164 kB
Writeback:             0 kB
AnonPages:       2137552 kB
Mapped:           122248 kB
Shmem:             18072 kB
KReclaimable:     174680 kB
Slab:             266764 kB
SReclaimable:     174680 kB
SUnreclaim:        92084 kB
KernelStack:        4384 kB
PageTables:         7460 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    2593280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    827392 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:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432304 MiB
End job on nodeC017 at 2025-07-04 03:55:10