Trace number 4498958

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
CASHWMaxSATDisjCom-S 2025-06-01? (TO) 3600.05 3608.6

General information on the benchmark

NamePB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx97.opb
MD5SUMb17790bf3951ca85a67cd8038da17b4d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark8655.85
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8424
Total number of constraints9089
Number of constraints which are clauses8415
Number of constraints which are cardinality constraints (but not clauses)98
Number of constraints which are nor clauses,nor cardinality constraints576
Minimum length of a constraint2
Maximum length of a constraint576
Number of terms in the objective function 9
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 9
Number of bits of the sum of numbers in the objective function 4
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1199
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

6.47/6.54	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
6.47/6.54	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
3600.03/3608.60	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498958-1751409029/watcher-4498958-1751409029 -o /tmp/evaluation-result-4498958-1751409029/solver-4498958-1751409029 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751409029-56999 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4498958-1751409029.opb -total-t=3600 -no-par -v0 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100058 s]*
/proc/loadavg: 0.61 1.05 2.11 5/257 57047
/proc/meminfo: memFree=129552880/131249996 swapFree=33010160/33010684
[pid=57045] ppid=57035 vsize=36868 memory=17920 CPUtime=0.09 cores=1,3
/proc/57045/stat : 57045 (CASHWMaxSAT-Dis) R 57035 57045 56961 0 -1 4194304 3853 0 0 0 9 0 0 0 20 0 1 0 56581328 37752832 4480 18446744073709551615 4198400 14093885 140723783670752 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25321472 140723783674218 140723783674333 140723783674333 140723783679935 0
/proc/57045/statm: 9217 4480 736 2416 0 6319 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36868 KiB
Current children cumulated memory: 17920 KiB

[startup+0.205546 s]*
/proc/loadavg: 0.61 1.05 2.11 4/256 57057
/proc/meminfo: memFree=129492524/131249996 swapFree=33010160/33010684
[pid=57045] ppid=57035 vsize=57724 memory=38212 CPUtime=0.2 cores=1,3
/proc/57045/stat : 57045 (CASHWMaxSAT-Dis) R 57035 57045 56961 0 -1 4194304 9703 0 0 0 19 1 0 0 20 0 1 0 56581328 59109376 9553 18446744073709551615 4198400 14093885 140723783670752 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25321472 140723783674218 140723783674333 140723783674333 140723783679935 0
/proc/57045/statm: 14431 9553 768 2416 0 11533 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 57724 KiB
Current children cumulated memory: 38212 KiB

[startup+0.305613 s]*
/proc/loadavg: 0.61 1.05 2.11 4/260 57065
/proc/meminfo: memFree=129418684/131249996 swapFree=33010160/33010684
[pid=57045] ppid=57035 vsize=86164 memory=65336 CPUtime=0.3 cores=1,3
/proc/57045/stat : 57045 (CASHWMaxSAT-Dis) R 57035 57045 56961 0 -1 4194304 14210 0 0 0 28 2 0 0 20 0 1 0 56581328 88231936 16334 18446744073709551615 4198400 14093885 140723783670752 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25321472 140723783674218 140723783674333 140723783674333 140723783679935 0
/proc/57045/statm: 21541 16334 768 2416 0 18643 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 86164 KiB
Current children cumulated memory: 65336 KiB

[startup+0.700137 s]
/proc/loadavg: 0.61 1.05 2.11 5/260 57065
/proc/meminfo: memFree=129291104/131249996 swapFree=33010160/33010684
[pid=57045] ppid=57035 vsize=178916 memory=152788 CPUtime=0.69 cores=1,3
/proc/57045/stat : 57045 (CASHWMaxSAT-Dis) R 57035 57045 56961 0 -1 4194304 20329 0 0 0 65 4 0 0 20 0 1 0 56581328 183209984 38197 18446744073709551615 4198400 14093885 140723783670752 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25321472 140723783674218 140723783674333 140723783674333 140723783679935 0
/proc/57045/statm: 44729 38197 768 2416 0 41831 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 178916 KiB
Current children cumulated memory: 152788 KiB

[startup+1.50016 s]
/proc/loadavg: 0.61 1.05 2.11 4/260 57065
/proc/meminfo: memFree=128880796/131249996 swapFree=33010160/33010684
[pid=57045] ppid=57035 vsize=293880 memory=259932 CPUtime=1.49 cores=1,3
/proc/57045/stat : 57045 (CASHWMaxSAT-Dis) R 57035 57045 56961 0 -1 4194304 32783 0 0 0 140 9 0 0 20 0 1 0 56581328 300933120 64983 18446744073709551615 4198400 14093885 140723783670752 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25321472 140723783674218 140723783674333 140723783674333 140723783679935 0
/proc/57045/statm: 73470 64983 768 2416 0 70572 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 293880 KiB
Current children cumulated memory: 259932 KiB

[startup+3.10545 s]
/proc/loadavg: 0.61 1.05 2.11 4/259 57093
/proc/meminfo: memFree=128220600/131249996 swapFree=33010160/33010684
[pid=57045] ppid=57035 vsize=479236 memory=401348 CPUtime=3.08 cores=1,3
/proc/57045/stat : 57045 (CASHWMaxSAT-Dis) R 57035 57045 56961 0 -1 4194304 51979 0 0 0 293 15 0 0 20 0 1 0 56581328 490737664 100337 18446744073709551615 4198400 14093885 140723783670752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25321472 140723783674218 140723783674333 140723783674333 140723783679935 0
/proc/57045/statm: 119809 100337 768 2416 0 116911 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 479236 KiB
Current children cumulated memory: 401348 KiB

[startup+6.30015 s]
/proc/loadavg: 0.80 1.08 2.11 4/259 57093
/proc/meminfo: memFree=128068444/131249996 swapFree=33010160/33010684
[pid=57045] ppid=57035 vsize=490004 memory=408700 CPUtime=6.27 cores=1,3
/proc/57045/stat : 57045 (CASHWMaxSAT-Dis) R 57035 57045 56961 0 -1 4194304 54765 0 0 0 609 18 0 0 20 0 1 0 56581328 501764096 102175 18446744073709551615 4198400 14093885 140723783670752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25321472 140723783674218 140723783674333 140723783674333 140723783679935 0
/proc/57045/statm: 122501 102175 800 2416 0 119603 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 490004 KiB
Current children cumulated memory: 408700 KiB

[startup+12.7002 s]
/proc/loadavg: 0.90 1.10 2.11 3/253 57130
/proc/meminfo: memFree=127927692/131249996 swapFree=33010160/33010684
[pid=57045] ppid=57035 vsize=490004 memory=420996 CPUtime=12.65 cores=1,3
/proc/57045/stat : 57045 (CASHWMaxSAT-Dis) R 57035 57045 56961 0 -1 4194304 54795 0 0 0 1247 18 0 0 20 0 1 0 56581328 501764096 105249 18446744073709551615 4198400 14093885 140723783670752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25321472 140723783674218 140723783674333 140723783674333 140723783679935 0
/proc/57045/statm: 122501 105249 800 2416 0 119603 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 490004 KiB
Current children cumulated memory: 420996 KiB

[startup+25.5002 s]
/proc/loadavg: 1.14 1.14 2.11 3/254 57131
/proc/meminfo: memFree=126680280/131249996 swapFree=33010160/33010684
[pid=57045] ppid=57035 vsize=490004 memory=421036 CPUtime=25.41 cores=1,3
/proc/57045/stat : 57045 (CASHWMaxSAT-Dis) R 57035 57045 56961 0 -1 4194304 55547 0 0 0 2521 20 0 0 20 0 1 0 56581328 501764096 105259 18446744073709551615 4198400 14093885 140723783670752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25321472 140723783674218 140723783674333 140723783674333 140723783679935 0
/proc/57045/statm: 122501 105259 800 2416 0 119603 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 490004 KiB
Current children cumulated memory: 421036 KiB

[startup+51.1052 s]
/proc/loadavg: 1.49 1.23 2.11 3/254 57131
/proc/meminfo: memFree=125574032/131249996 swapFree=33010160/33010684
[pid=57045] ppid=57035 vsize=520824 memory=426840 CPUtime=50.92 cores=1,3
/proc/57045/stat : 57045 (CASHWMaxSAT-Dis) R 57035 57045 56961 0 -1 4194304 58592 0 0 0 5068 24 0 0 20 0 1 0 56581328 533323776 106710 18446744073709551615 4198400 14093885 140723783670752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25321472 140723783674218 140723783674333 140723783674333 140723783679935 0
/proc/57045/statm: 130206 106710 800 2416 0 127308 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 520824 KiB
Current children cumulated memory: 426840 KiB

[startup+102.3 s]
/proc/loadavg: 1.84 1.36 2.11 3/253 57133
/proc/meminfo: memFree=123979668/131249996 swapFree=33010160/33010684
[pid=57045] ppid=57035 vsize=520824 memory=430176 CPUtime=101.98 cores=1,3
/proc/57045/stat : 57045 (CASHWMaxSAT-Dis) R 57035 57045 56961 0 -1 4194304 64684 0 0 0 10161 37 0 0 20 0 1 0 56581328 533323776 107544 18446744073709551615 4198400 14093885 140723783670752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25321472 140723783674218 140723783674333 140723783674333 140723783679935 0
/proc/57045/statm: 130206 107544 800 2416 0 127308 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 520824 KiB
Current children cumulated memory: 430176 KiB

[startup+162.3 s]
/proc/loadavg: 2.05 1.51 2.11 3/253 57135
/proc/meminfo: memFree=123174816/131249996 swapFree=33010160/33010684
[pid=57045] ppid=57035 vsize=490004 memory=424152 CPUtime=161.82 cores=1,3
/proc/57045/stat : 57045 (CASHWMaxSAT-Dis) R 57035 57045 56961 0 -1 4194304 69717 0 0 0 16135 47 0 0 20 0 1 0 56581328 501764096 106038 18446744073709551615 4198400 14093885 140723783670752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25321472 140723783674218 140723783674333 140723783674333 140723783679935 0
/proc/57045/statm: 122501 106038 800 2416 0 119603 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 490004 KiB
Current children cumulated memory: 424152 KiB

[startup+222.3 s]
/proc/loadavg: 2.13 1.64 2.11 3/253 57137
/proc/meminfo: memFree=122505444/131249996 swapFree=33010160/33010684
[pid=57045] ppid=57035 vsize=578432 memory=495884 CPUtime=221.66 cores=1,3
/proc/57045/stat : 57045 (CASHWMaxSAT-Dis) R 57035 57045 56961 0 -1 4194304 78168 0 0 0 22106 60 0 0 20 0 1 0 56581328 592314368 123971 18446744073709551615 4198400 14093885 140723783670752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25321472 140723783674218 140723783674333 140723783674333 140723783679935 0
/proc/57045/statm: 144608 123971 800 2416 0 141710 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 578432 KiB
Current children cumulated memory: 495884 KiB

[startup+282.3 s]
/proc/loadavg: 2.09 1.72 2.10 3/253 57139
/proc/meminfo: memFree=122019324/131249996 swapFree=33010160/33010684
[pid=57045] ppid=57035 vsize=534420 memory=449044 CPUtime=281.51 cores=1,3
/proc/57045/stat : 57045 (CASHWMaxSAT-Dis) R 57035 57045 56961 0 -1 4194304 85779 0 0 0 28076 75 0 0 20 0 1 0 56581328 547246080 112261 18446744073709551615 4198400 14093885 140723783670752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25321472 140723783674218 140723783674333 140723783674333 140723783679935 0
/proc/57045/statm: 133605 112261 800 2416 0 130707 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 534420 KiB
Current children cumulated memory: 449044 KiB

[startup+342.3 s]
/proc/loadavg: 2.09 1.79 2.09 3/251 57141
/proc/meminfo: memFree=120250300/131249996 swapFree=33010160/33010684
[pid=57045] ppid=57035 vsize=540444 memory=464816 CPUtime=341.36 cores=1,3
/proc/57045/stat : 57045 (CASHWMaxSAT-Dis) R 57035 57045 56961 0 -1 4194304 93396 0 0 0 34046 90 0 0 20 0 1 0 56581328 553414656 116204 18446744073709551615 4198400 14093885 140723783670752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25321472 140723783674218 140723783674333 140723783674333 140723783679935 0
/proc/57045/statm: 135111 116204 800 2416 0 132213 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 540444 KiB
Current children cumulated memory: 464816 KiB

[startup+402.3 s]
/proc/loadavg: 2.29 1.92 2.12 3/251 57146
/proc/meminfo: memFree=119755288/131249996 swapFree=33010160/33010684
[pid=57045] ppid=57035 vsize=544244 memory=464344 CPUtime=401.18 cores=1,3
/proc/57045/stat : 57045 (CASHWMaxSAT-Dis) R 57035 57045 56961 0 -1 4194304 99948 0 0 0 40011 107 0 0 20 0 1 0 56581328 557305856 116086 18446744073709551615 4198400 14093885 140723783670752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25321472 140723783674218 140723783674333 140723783674333 140723783679935 0
/proc/57045/statm: 136061 116086 800 2416 0 133163 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 544244 KiB
Current children cumulated memory: 464344 KiB

[startup+462.3 s]
/proc/loadavg: 2.22 1.97 2.12 3/251 57148
/proc/meminfo: memFree=119266428/131249996 swapFree=33010160/33010684
[pid=57045] ppid=57035 vsize=519556 memory=449560 CPUtime=461.01 cores=1,3
/proc/57045/stat : 57045 (CASHWMaxSAT-Dis) R 57035 57045 56961 0 -1 4194304 108967 0 0 0 45974 127 0 0 20 0 1 0 56581328 532025344 112390 18446744073709551615 4198400 14093885 140723783670752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25321472 140723783674218 140723783674333 140723783674333 140723783679935 0
/proc/57045/statm: 129889 112390 800 2416 0 126991 0
Current children cumulated CPU time: 461.01 s

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

Current children cumulated memory: 551928 KiB

[startup+2862.3 s]
/proc/loadavg: 1.08 1.08 1.16 2/246 57315
/proc/meminfo: memFree=128989456/131249996 swapFree=33010160/33010684
[pid=57045] ppid=57035 vsize=728116 memory=633176 CPUtime=2855.45 cores=1,3
/proc/57045/stat : 57045 (CASHWMaxSAT-Dis) R 57035 57045 56961 0 -1 4194304 353511 0 0 0 284826 719 0 0 20 0 1 0 56581328 745590784 158294 18446744073709551615 4198400 14093885 140723783670752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25321472 140723783674218 140723783674333 140723783674333 140723783679935 0
/proc/57045/statm: 182029 158294 800 2416 0 179131 0
Current children cumulated CPU time: 2855.45 s
Current children cumulated vsize: 728116 KiB
Current children cumulated memory: 633176 KiB

[startup+2922.3 s]
/proc/loadavg: 1.06 1.08 1.15 2/247 57322
/proc/meminfo: memFree=129003360/131249996 swapFree=33010160/33010684
[pid=57045] ppid=57035 vsize=617744 memory=554428 CPUtime=2915.31 cores=1,3
/proc/57045/stat : 57045 (CASHWMaxSAT-Dis) R 57035 57045 56961 0 -1 4194304 355825 0 0 0 290803 728 0 0 20 0 1 0 56581328 632569856 138607 18446744073709551615 4198400 14093885 140723783670752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25321472 140723783674218 140723783674333 140723783674333 140723783679935 0
/proc/57045/statm: 154436 138607 800 2416 0 151538 0
Current children cumulated CPU time: 2915.31 s
Current children cumulated vsize: 617744 KiB
Current children cumulated memory: 554428 KiB

[startup+2982.3 s]
/proc/loadavg: 1.07 1.08 1.15 2/247 57324
/proc/meminfo: memFree=128993484/131249996 swapFree=33010160/33010684
[pid=57045] ppid=57035 vsize=648920 memory=583248 CPUtime=2975.17 cores=1,3
/proc/57045/stat : 57045 (CASHWMaxSAT-Dis) R 57035 57045 56961 0 -1 4194304 358858 0 0 0 296780 737 0 0 20 0 1 0 56581328 664494080 145812 18446744073709551615 4198400 14093885 140723783670752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25321472 140723783674218 140723783674333 140723783674333 140723783679935 0
/proc/57045/statm: 162230 145812 800 2416 0 159332 0
Current children cumulated CPU time: 2975.17 s
Current children cumulated vsize: 648920 KiB
Current children cumulated memory: 583248 KiB

[startup+3042.3 s]
/proc/loadavg: 1.14 1.09 1.15 2/247 57326
/proc/meminfo: memFree=128995028/131249996 swapFree=33010160/33010684
[pid=57045] ppid=57035 vsize=651688 memory=569352 CPUtime=3035.04 cores=1,3
/proc/57045/stat : 57045 (CASHWMaxSAT-Dis) R 57035 57045 56961 0 -1 4194304 370669 0 0 0 302737 767 0 0 20 0 1 0 56581328 667328512 142338 18446744073709551615 4198400 14093885 140723783670752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25321472 140723783674218 140723783674333 140723783674333 140723783679935 0
/proc/57045/statm: 162922 142338 800 2416 0 160024 0
Current children cumulated CPU time: 3035.04 s
Current children cumulated vsize: 651688 KiB
Current children cumulated memory: 569352 KiB

[startup+3102.3 s]
/proc/loadavg: 1.11 1.09 1.14 2/246 57328
/proc/meminfo: memFree=129018400/131249996 swapFree=33010160/33010684
[pid=57045] ppid=57035 vsize=621144 memory=555264 CPUtime=3094.91 cores=1,3
/proc/57045/stat : 57045 (CASHWMaxSAT-Dis) R 57035 57045 56961 0 -1 4194304 372586 0 0 0 308718 773 0 0 20 0 1 0 56581328 636051456 138816 18446744073709551615 4198400 14093885 140723783670752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25321472 140723783674218 140723783674333 140723783674333 140723783679935 0
/proc/57045/statm: 155286 138816 800 2416 0 152388 0
Current children cumulated CPU time: 3094.91 s
Current children cumulated vsize: 621144 KiB
Current children cumulated memory: 555264 KiB

[startup+3162.3 s]
/proc/loadavg: 1.04 1.07 1.13 2/245 57330
/proc/meminfo: memFree=129007692/131249996 swapFree=33010160/33010684
[pid=57045] ppid=57035 vsize=652740 memory=570368 CPUtime=3154.77 cores=1,3
/proc/57045/stat : 57045 (CASHWMaxSAT-Dis) R 57035 57045 56961 0 -1 4194304 375333 0 0 0 314697 780 0 0 20 0 1 0 56581328 668405760 142592 18446744073709551615 4198400 14093885 140723783670752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25321472 140723783674218 140723783674333 140723783674333 140723783679935 0
/proc/57045/statm: 163185 142592 800 2416 0 160287 0
Current children cumulated CPU time: 3154.77 s
Current children cumulated vsize: 652740 KiB
Current children cumulated memory: 570368 KiB

[startup+3222.3 s]
/proc/loadavg: 1.11 1.09 1.13 2/245 57332
/proc/meminfo: memFree=128978712/131249996 swapFree=33010160/33010684
[pid=57045] ppid=57035 vsize=706908 memory=607636 CPUtime=3214.63 cores=1,3
/proc/57045/stat : 57045 (CASHWMaxSAT-Dis) R 57035 57045 56961 0 -1 4194304 384095 0 0 0 320660 803 0 0 20 0 1 0 56581328 723873792 151909 18446744073709551615 4198400 14093885 140723783670752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25321472 140723783674218 140723783674333 140723783674333 140723783679935 0
/proc/57045/statm: 176727 151909 800 2416 0 173829 0
Current children cumulated CPU time: 3214.63 s
Current children cumulated vsize: 706908 KiB
Current children cumulated memory: 607636 KiB

[startup+3282.3 s]
/proc/loadavg: 1.09 1.09 1.12 2/244 57334
/proc/meminfo: memFree=129003860/131249996 swapFree=33010160/33010684
[pid=57045] ppid=57035 vsize=627604 memory=562492 CPUtime=3274.49 cores=1,3
/proc/57045/stat : 57045 (CASHWMaxSAT-Dis) R 57035 57045 56961 0 -1 4194304 389678 0 0 0 326625 824 0 0 20 0 1 0 56581328 642666496 140623 18446744073709551615 4198400 14093885 140723783670752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25321472 140723783674218 140723783674333 140723783674333 140723783679935 0
/proc/57045/statm: 156901 140623 800 2416 0 154003 0
Current children cumulated CPU time: 3274.49 s
Current children cumulated vsize: 627604 KiB
Current children cumulated memory: 562492 KiB

[startup+3342.3 s]
/proc/loadavg: 1.07 1.08 1.12 2/244 57336
/proc/meminfo: memFree=129010040/131249996 swapFree=33010160/33010684
[pid=57045] ppid=57035 vsize=627744 memory=558684 CPUtime=3334.35 cores=1,3
/proc/57045/stat : 57045 (CASHWMaxSAT-Dis) R 57035 57045 56961 0 -1 4194304 391700 0 0 0 332605 830 0 0 20 0 1 0 56581328 642809856 139671 18446744073709551615 4198400 14093885 140723783670752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25321472 140723783674218 140723783674333 140723783674333 140723783679935 0
/proc/57045/statm: 156936 139671 800 2416 0 154038 0
Current children cumulated CPU time: 3334.35 s
Current children cumulated vsize: 627744 KiB
Current children cumulated memory: 558684 KiB

[startup+3402.3 s]
/proc/loadavg: 1.08 1.08 1.11 2/245 57341
/proc/meminfo: memFree=128960504/131249996 swapFree=33010160/33010684
[pid=57045] ppid=57035 vsize=710664 memory=614564 CPUtime=3394.22 cores=1,3
/proc/57045/stat : 57045 (CASHWMaxSAT-Dis) R 57035 57045 56961 0 -1 4194304 396595 0 0 0 338578 844 0 0 20 0 1 0 56581328 727719936 153641 18446744073709551615 4198400 14093885 140723783670752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25321472 140723783674218 140723783674333 140723783674333 140723783679935 0
/proc/57045/statm: 177666 153641 800 2416 0 174768 0
Current children cumulated CPU time: 3394.22 s
Current children cumulated vsize: 710664 KiB
Current children cumulated memory: 614564 KiB

[startup+3462.3 s]
/proc/loadavg: 1.07 1.08 1.10 2/245 57343
/proc/meminfo: memFree=128961632/131249996 swapFree=33010160/33010684
[pid=57045] ppid=57035 vsize=662320 memory=598428 CPUtime=3454.07 cores=1,3
/proc/57045/stat : 57045 (CASHWMaxSAT-Dis) R 57035 57045 56961 0 -1 4194304 405074 0 0 0 344535 872 0 0 20 0 1 0 56581328 678215680 149607 18446744073709551615 4198400 14093885 140723783670752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25321472 140723783674218 140723783674333 140723783674333 140723783679935 0
/proc/57045/statm: 165580 149607 800 2416 0 162682 0
Current children cumulated CPU time: 3454.07 s
Current children cumulated vsize: 662320 KiB
Current children cumulated memory: 598428 KiB

[startup+3522.3 s]
/proc/loadavg: 1.13 1.09 1.10 2/245 57349
/proc/meminfo: memFree=129006184/131249996 swapFree=33010160/33010684
[pid=57045] ppid=57035 vsize=633188 memory=569052 CPUtime=3513.93 cores=1,3
/proc/57045/stat : 57045 (CASHWMaxSAT-Dis) R 57035 57045 56961 0 -1 4194304 409220 0 0 0 350508 885 0 0 20 0 1 0 56581328 648384512 142263 18446744073709551615 4198400 14093885 140723783670752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25321472 140723783674218 140723783674333 140723783674333 140723783679935 0
/proc/57045/statm: 158297 142263 800 2416 0 155399 0
Current children cumulated CPU time: 3513.93 s
Current children cumulated vsize: 633188 KiB
Current children cumulated memory: 569052 KiB

[startup+3582.3 s]
/proc/loadavg: 1.05 1.08 1.09 2/245 57351
/proc/meminfo: memFree=128998580/131249996 swapFree=33010160/33010684
[pid=57045] ppid=57035 vsize=634224 memory=567928 CPUtime=3573.8 cores=1,3
/proc/57045/stat : 57045 (CASHWMaxSAT-Dis) R 57035 57045 56961 0 -1 4194304 411013 0 0 0 356489 891 0 0 20 0 1 0 56581328 649445376 141982 18446744073709551615 4198400 14093885 140723783670752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25321472 140723783674218 140723783674333 140723783674333 140723783679935 0
/proc/57045/statm: 158556 141982 800 2416 0 155658 0
Current children cumulated CPU time: 3573.8 s
Current children cumulated vsize: 634224 KiB
Current children cumulated memory: 567928 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.6 s]
/proc/loadavg: 1.10 1.08 1.09 2/245 57351
/proc/meminfo: memFree=129002676/131249996 swapFree=33010160/33010684
[pid=57045] ppid=57035 vsize=683712 memory=601796 CPUtime=3600.03 cores=1,3
/proc/57045/stat : 57045 (CASHWMaxSAT-Dis) R 57035 57045 56961 0 -1 4194304 412167 0 0 0 359109 894 0 0 20 0 1 0 56581328 700121088 150449 18446744073709551615 4198400 14093885 140723783670752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 25321472 140723783674218 140723783674333 140723783674333 140723783679935 0
/proc/57045/statm: 170928 150449 800 2416 0 168030 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 683712 KiB
Current children cumulated memory: 601796 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.1 s, system=8.95164 s

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

Child status: 0

Real time (s): 3608.6
CPU time (s): 3600.05
CPU user time (s): 3591.1
CPU system time (s): 8.95164
CPU usage (%): 99.763
Max. virtual memory (cumulated for all children) (KiB): 893984
Max. memory (cumulated for all children) (KiB): 733176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.1
system time used= 8.95164
maximum resident set size= 741368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 412168
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 91
involuntary context switches= 5334


# summary of solver processes directly reported to runsolver:
#   pid: 57045
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3591.1
#   total CPU system time (s): 8.95164

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.30357 second user time and 14.2975 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-07-02 00:30:29
IDJOB=4498958
IDBENCH=148768
IDSOLVER=3323
FILE ID=nodeC029/4498958-1751409029
RUNJOBID= nodeC029-1751409029-56999
SLURM_JOB_ID= 9598310
Free space on /tmp= 432972 MiB

SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx97.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498958-1751409029/watcher-4498958-1751409029 -o /tmp/evaluation-result-4498958-1751409029/solver-4498958-1751409029 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751409029-56999 --watchdog 3760  CASHWMaxSAT-DisjCom-S HOME/instance-4498958-1751409029.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= b17790bf3951ca85a67cd8038da17b4d
RANDOM SEED=255488036

nodeC029 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129601276 kB
MemAvailable:   129773204 kB
Buffers:            2128 kB
Cached:           978388 kB
SwapCached:           40 kB
Active:           443492 kB
Inactive:         608660 kB
Active(anon):      84916 kB
Inactive(anon):     4768 kB
Active(file):     358576 kB
Inactive(file):   603892 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             77540 kB
Writeback:             0 kB
AnonPages:         74936 kB
Mapped:           103068 kB
Shmem:             18020 kB
KReclaimable:      97400 kB
Slab:             185020 kB
SReclaimable:      97400 kB
SUnreclaim:        87620 kB
KernelStack:        4048 kB
PageTables:         2748 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     339716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150344 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 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:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432924 MiB
End job on nodeC029 at 2025-07-02 01:30:38