Trace number 4521928

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.03 3611.41

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_33.opb
MD5SUMe5d29c038ae9b08512816a1a7bdfca9c
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 benchmark595
Best CPU time to get the best result obtained on this benchmark95.7268
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables668780
Total number of constraints43231
Number of constraints which are clauses21913
Number of constraints which are cardinality constraints (but not clauses)19040
Number of constraints which are nor clauses,nor cardinality constraints2278
Minimum length of a constraint33
Maximum length of a constraint38
Number of terms in the objective function 1190
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 1190
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1190
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 

11.06/11.18	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
11.06/11.18	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
3600.01/3611.40	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: 63837 MiB (63105 MiB free)
  memory of node 1: 64465 MiB (63553 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521928-1751584336/watcher-4521928-1751584336 -o /tmp/evaluation-result-4521928-1751584336/solver-4521928-1751584336 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751584335-87286 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4521928-1751584336.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
Current StackSize limit: 8192 KiB

solver pid=87342, runsolver pid=87339

[startup+0.100075 s]*
/proc/loadavg: 0.88 1.58 2.16 5/250 87343
/proc/meminfo: memFree=129675128/131382120 swapFree=33010416/33010684
[pid=87342] ppid=87339 vsize=29264 memory=10464 CPUtime=0.1 cores=1,3
/proc/87342/stat : 87342 (CASHWMaxSAT-Dis) R 87339 87342 87274 0 -1 4194304 2071 0 0 0 10 0 0 0 20 0 1 0 74112296 29966336 2616 18446744073709551615 4198400 14093885 140734702082336 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54321152 140734702090602 140734702090717 140734702090717 140734702096319 0
/proc/87342/statm: 7316 2616 736 2416 0 4418 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29264 KiB
Current children cumulated memory: 10464 KiB

[startup+0.213981 s]*
/proc/loadavg: 0.88 1.58 2.16 5/250 87343
/proc/meminfo: memFree=129656540/131382120 swapFree=33010416/33010684
[pid=87342] ppid=87339 vsize=36532 memory=17192 CPUtime=0.22 cores=1,3
/proc/87342/stat : 87342 (CASHWMaxSAT-Dis) R 87339 87342 87274 0 -1 4194304 3827 0 0 0 21 1 0 0 20 0 1 0 74112296 37408768 4298 18446744073709551615 4198400 14093885 140734702082336 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54321152 140734702090602 140734702090717 140734702090717 140734702096319 0
/proc/87342/statm: 9133 4298 736 2416 0 6235 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 36532 KiB
Current children cumulated memory: 17192 KiB

[startup+0.313932 s]*
/proc/loadavg: 0.88 1.58 2.16 5/250 87343
/proc/meminfo: memFree=129624788/131382120 swapFree=33010416/33010684
[pid=87342] ppid=87339 vsize=43072 memory=22824 CPUtime=0.31 cores=1,3
/proc/87342/stat : 87342 (CASHWMaxSAT-Dis) R 87339 87342 87274 0 -1 4194304 5239 0 0 0 30 1 0 0 20 0 1 0 74112296 44105728 5706 18446744073709551615 4198400 14093885 140734702082336 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54321152 140734702090602 140734702090717 140734702090717 140734702096319 0
/proc/87342/statm: 10768 5706 736 2416 0 7870 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 43072 KiB
Current children cumulated memory: 22824 KiB

[startup+0.700276 s]
/proc/loadavg: 1.13 1.62 2.17 5/250 87343
/proc/meminfo: memFree=129586668/131382120 swapFree=33010416/33010684
[pid=87342] ppid=87339 vsize=70340 memory=47696 CPUtime=0.68 cores=1,3
/proc/87342/stat : 87342 (CASHWMaxSAT-Dis) R 87339 87342 87274 0 -1 4194304 11625 0 0 0 64 4 0 0 20 0 1 0 74112296 72028160 11924 18446744073709551615 4198400 14093885 140734702082336 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54321152 140734702090602 140734702090717 140734702090717 140734702096319 0
/proc/87342/statm: 17585 11924 736 2416 0 14687 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 70340 KiB
Current children cumulated memory: 47696 KiB

[startup+1.50032 s]
/proc/loadavg: 1.13 1.62 2.17 5/250 87343
/proc/meminfo: memFree=129462988/131382120 swapFree=33010416/33010684
[pid=87342] ppid=87339 vsize=159936 memory=134432 CPUtime=1.48 cores=1,3
/proc/87342/stat : 87342 (CASHWMaxSAT-Dis) R 87339 87342 87274 0 -1 4194304 33416 0 0 0 137 11 0 0 20 0 1 0 74112296 163774464 33608 18446744073709551615 4198400 14093885 140734702082336 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54321152 140734702090602 140734702090717 140734702090717 140734702096319 0
/proc/87342/statm: 39984 33608 736 2416 0 37086 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 159936 KiB
Current children cumulated memory: 134432 KiB

[startup+3.11266 s]
/proc/loadavg: 1.13 1.62 2.17 5/250 87343
/proc/meminfo: memFree=128922828/131382120 swapFree=33010416/33010684
[pid=87342] ppid=87339 vsize=416660 memory=376692 CPUtime=3.09 cores=1,3
/proc/87342/stat : 87342 (CASHWMaxSAT-Dis) R 87339 87342 87274 0 -1 4194304 88839 0 0 0 287 22 0 0 20 0 1 0 74112296 426659840 94141 18446744073709551615 4198400 14093885 140734702082336 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54321152 140734702090602 140734702090717 140734702090717 140734702096319 0
/proc/87342/statm: 104165 94141 736 2416 0 101267 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 416660 KiB
Current children cumulated memory: 376692 KiB

[startup+6.30029 s]
/proc/loadavg: 1.36 1.66 2.18 5/250 87343
/proc/meminfo: memFree=128496464/131382120 swapFree=33010416/33010684
[pid=87342] ppid=87339 vsize=855712 memory=788472 CPUtime=6.27 cores=1,3
/proc/87342/stat : 87342 (CASHWMaxSAT-Dis) R 87339 87342 87274 0 -1 4194304 132314 0 0 0 591 36 0 0 20 0 1 0 74112296 876249088 197118 18446744073709551615 4198400 14093885 140734702082336 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54321152 140734702090602 140734702090717 140734702090717 140734702096319 0
/proc/87342/statm: 213928 197118 768 2416 0 211030 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 855712 KiB
Current children cumulated memory: 788472 KiB

[startup+12.7003 s]
/proc/loadavg: 1.57 1.70 2.19 5/250 87343
/proc/meminfo: memFree=128194488/131382120 swapFree=33010416/33010684
[pid=87342] ppid=87339 vsize=1075060 memory=968500 CPUtime=12.65 cores=1,3
/proc/87342/stat : 87342 (CASHWMaxSAT-Dis) R 87339 87342 87274 0 -1 4194304 152412 0 0 0 1219 46 0 0 20 0 1 0 74112296 1100861440 242125 18446744073709551615 4198400 14093885 140734702082336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54321152 140734702090602 140734702090717 140734702090717 140734702096319 0
/proc/87342/statm: 268765 242125 800 2416 0 265867 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1075060 KiB
Current children cumulated memory: 968500 KiB

[startup+25.5003 s]
/proc/loadavg: 1.94 1.78 2.21 5/250 87343
/proc/meminfo: memFree=128242140/131382120 swapFree=33010416/33010684
[pid=87342] ppid=87339 vsize=1075060 memory=941876 CPUtime=25.42 cores=1,3
/proc/87342/stat : 87342 (CASHWMaxSAT-Dis) R 87339 87342 87274 0 -1 4194304 154795 0 0 0 2474 68 0 0 20 0 1 0 74112296 1100861440 235469 18446744073709551615 4198400 14093885 140734702082336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54321152 140734702090602 140734702090717 140734702090717 140734702096319 0
/proc/87342/statm: 268765 235469 800 2416 0 265867 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1075060 KiB
Current children cumulated memory: 941876 KiB

[startup+51.1128 s]
/proc/loadavg: 2.82 2.01 2.27 5/250 87344
/proc/meminfo: memFree=128192312/131382120 swapFree=33010416/33010684
[pid=87342] ppid=87339 vsize=1092952 memory=969588 CPUtime=50.96 cores=1,3
/proc/87342/stat : 87342 (CASHWMaxSAT-Dis) R 87339 87342 87274 0 -1 4194304 161973 0 0 0 5002 94 0 0 20 0 1 0 74112296 1119182848 242397 18446744073709551615 4198400 14093885 140734702082336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54321152 140734702090602 140734702090717 140734702090717 140734702096319 0
/proc/87342/statm: 273238 242397 800 2416 0 270340 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1092952 KiB
Current children cumulated memory: 969588 KiB

[startup+102.3 s]
/proc/loadavg: 3.49 2.32 2.36 5/250 87345
/proc/meminfo: memFree=127996152/131382120 swapFree=33010416/33010684
[pid=87342] ppid=87339 vsize=1101396 memory=1013820 CPUtime=102.01 cores=1,3
/proc/87342/stat : 87342 (CASHWMaxSAT-Dis) R 87339 87342 87274 0 -1 4194304 180747 0 0 0 10057 144 0 0 20 0 1 0 74112296 1127829504 253455 18446744073709551615 4198400 14093885 140734702082336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54321152 140734702090602 140734702090717 140734702090717 140734702096319 0
/proc/87342/statm: 275349 253455 800 2416 0 272451 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1101396 KiB
Current children cumulated memory: 1013820 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 2.66 2.48 5/251 87348
/proc/meminfo: memFree=127744264/131382120 swapFree=33010416/33010684
[pid=87342] ppid=87339 vsize=1209108 memory=1079552 CPUtime=161.84 cores=1,3
/proc/87342/stat : 87342 (CASHWMaxSAT-Dis) R 87339 87342 87274 0 -1 4194304 199167 0 0 0 15990 194 0 0 20 0 1 0 74112296 1238126592 269888 18446744073709551615 4198400 14093885 140734702082336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54321152 140734702090602 140734702090717 140734702090717 140734702096319 0
/proc/87342/statm: 302277 269888 800 2416 0 299379 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 1209108 KiB
Current children cumulated memory: 1079552 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 2.92 2.58 5/251 87350
/proc/meminfo: memFree=127562064/131382120 swapFree=33010416/33010684
[pid=87342] ppid=87339 vsize=1240204 memory=1111240 CPUtime=221.68 cores=1,3
/proc/87342/stat : 87342 (CASHWMaxSAT-Dis) R 87339 87342 87274 0 -1 4194304 209056 0 0 0 21945 223 0 0 20 0 1 0 74112296 1269968896 277810 18446744073709551615 4198400 14093885 140734702082336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54321152 140734702090602 140734702090717 140734702090717 140734702096319 0
/proc/87342/statm: 310051 277810 800 2416 0 307153 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 1240204 KiB
Current children cumulated memory: 1111240 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 3.15 2.68 5/251 87352
/proc/meminfo: memFree=127344844/131382120 swapFree=33010416/33010684
[pid=87342] ppid=87339 vsize=1221184 memory=1123796 CPUtime=281.51 cores=1,3
/proc/87342/stat : 87342 (CASHWMaxSAT-Dis) R 87339 87342 87274 0 -1 4194304 219381 0 0 0 27890 261 0 0 20 0 1 0 74112296 1250492416 280949 18446744073709551615 4198400 14093885 140734702082336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54321152 140734702090602 140734702090717 140734702090717 140734702096319 0
/proc/87342/statm: 305296 280949 800 2416 0 302398 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 1221184 KiB
Current children cumulated memory: 1123796 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 3.32 2.77 5/251 87354
/proc/meminfo: memFree=127119368/131382120 swapFree=33010416/33010684
[pid=87342] ppid=87339 vsize=1293632 memory=1163924 CPUtime=341.34 cores=1,3
/proc/87342/stat : 87342 (CASHWMaxSAT-Dis) R 87339 87342 87274 0 -1 4194304 227407 0 0 0 33843 291 0 0 20 0 1 0 74112296 1324679168 290981 18446744073709551615 4198400 14093885 140734702082336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54321152 140734702090602 140734702090717 140734702090717 140734702096319 0
/proc/87342/statm: 323408 290981 800 2416 0 320510 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 1293632 KiB
Current children cumulated memory: 1163924 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 3.46 2.86 5/251 87356
/proc/meminfo: memFree=126903612/131382120 swapFree=33010416/33010684
[pid=87342] ppid=87339 vsize=1317584 memory=1171816 CPUtime=401.17 cores=1,3
/proc/87342/stat : 87342 (CASHWMaxSAT-Dis) R 87339 87342 87274 0 -1 4194304 235705 0 0 0 39793 324 0 0 20 0 1 0 74112296 1349206016 292954 18446744073709551615 4198400 14093885 140734702082336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54321152 140734702090602 140734702090717 140734702090717 140734702096319 0
/proc/87342/statm: 329396 292954 800 2416 0 326498 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 1317584 KiB
Current children cumulated memory: 1171816 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.59 2.94 5/250 87358
/proc/meminfo: memFree=126701060/131382120 swapFree=33010416/33010684
[pid=87342] ppid=87339 vsize=1346044 memory=1227040 CPUtime=461.01 cores=1,3
/proc/87342/stat : 87342 (CASHWMaxSAT-Dis) R 87339 87342 87274 0 -1 4194304 245244 0 0 0 45741 360 0 0 20 0 1 0 74112296 1378349056 306760 18446744073709551615 4198400 14093885 140734702082336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54321152 140734702090602 140734702090717 140734702090717 140734702096319 0
/proc/87342/statm: 336511 306760 800 2416 0 333613 0
Current children cumulated CPU time: 461.01 s

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

Current children cumulated memory: 1623020 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.11 4.05 5/249 87557
/proc/meminfo: memFree=122321100/131382120 swapFree=33010416/33010684
[pid=87342] ppid=87339 vsize=1771436 memory=1629612 CPUtime=2853.03 cores=1,3
/proc/87342/stat : 87342 (CASHWMaxSAT-Dis) R 87339 87342 87274 0 -1 4194304 511099 0 0 0 283190 2113 0 0 20 0 1 0 74112296 1813950464 407403 18446744073709551615 4198400 14093885 140734702082336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54321152 140734702090602 140734702090717 140734702090717 140734702096319 0
/proc/87342/statm: 442859 407403 800 2416 0 439961 0
Current children cumulated CPU time: 2853.03 s
Current children cumulated vsize: 1771436 KiB
Current children cumulated memory: 1629612 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.10 4.05 5/250 87562
/proc/meminfo: memFree=122283768/131382120 swapFree=33010416/33010684
[pid=87342] ppid=87339 vsize=1773320 memory=1631796 CPUtime=2912.85 cores=1,3
/proc/87342/stat : 87342 (CASHWMaxSAT-Dis) R 87339 87342 87274 0 -1 4194304 515264 0 0 0 289131 2154 0 0 20 0 1 0 74112296 1815879680 407949 18446744073709551615 4198400 14093885 140734702082336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54321152 140734702090602 140734702090717 140734702090717 140734702096319 0
/proc/87342/statm: 443330 407949 800 2416 0 440432 0
Current children cumulated CPU time: 2912.85 s
Current children cumulated vsize: 1773320 KiB
Current children cumulated memory: 1631796 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.10 4.05 5/251 87584
/proc/meminfo: memFree=122258712/131382120 swapFree=33010416/33010684
[pid=87342] ppid=87339 vsize=1775208 memory=1648604 CPUtime=2972.67 cores=1,3
/proc/87342/stat : 87342 (CASHWMaxSAT-Dis) R 87339 87342 87274 0 -1 4194304 520059 0 0 0 295069 2198 0 0 20 0 1 0 74112296 1817812992 412151 18446744073709551615 4198400 14093885 140734702082336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54321152 140734702090602 140734702090717 140734702090717 140734702096319 0
/proc/87342/statm: 443802 412151 800 2416 0 440904 0
Current children cumulated CPU time: 2972.67 s
Current children cumulated vsize: 1775208 KiB
Current children cumulated memory: 1648604 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.09 4.05 5/251 87586
/proc/meminfo: memFree=122203560/131382120 swapFree=33010416/33010684
[pid=87342] ppid=87339 vsize=1782352 memory=1668972 CPUtime=3032.51 cores=1,3
/proc/87342/stat : 87342 (CASHWMaxSAT-Dis) R 87339 87342 87274 0 -1 4194304 526489 0 0 0 301008 2243 0 0 20 0 1 0 74112296 1825128448 417243 18446744073709551615 4198400 14093885 140734702082336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54321152 140734702090602 140734702090717 140734702090717 140734702096319 0
/proc/87342/statm: 445588 417243 800 2416 0 442690 0
Current children cumulated CPU time: 3032.51 s
Current children cumulated vsize: 1782352 KiB
Current children cumulated memory: 1668972 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.05 5/251 87588
/proc/meminfo: memFree=122214864/131382120 swapFree=33010416/33010684
[pid=87342] ppid=87339 vsize=1786036 memory=1665920 CPUtime=3092.35 cores=1,3
/proc/87342/stat : 87342 (CASHWMaxSAT-Dis) R 87339 87342 87274 0 -1 4194304 531964 0 0 0 306947 2288 0 0 20 0 1 0 74112296 1828900864 416480 18446744073709551615 4198400 14093885 140734702082336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54321152 140734702090602 140734702090717 140734702090717 140734702096319 0
/proc/87342/statm: 446509 416480 800 2416 0 443611 0
Current children cumulated CPU time: 3092.35 s
Current children cumulated vsize: 1786036 KiB
Current children cumulated memory: 1665920 KiB

[startup+3162.3 s]
/proc/loadavg: 4.04 4.08 4.05 5/251 87590
/proc/meminfo: memFree=122204752/131382120 swapFree=33010416/33010684
[pid=87342] ppid=87339 vsize=1787780 memory=1657052 CPUtime=3152.18 cores=1,3
/proc/87342/stat : 87342 (CASHWMaxSAT-Dis) R 87339 87342 87274 0 -1 4194304 536657 0 0 0 312884 2334 0 0 20 0 1 0 74112296 1830686720 414263 18446744073709551615 4198400 14093885 140734702082336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54321152 140734702090602 140734702090717 140734702090717 140734702096319 0
/proc/87342/statm: 446945 414263 800 2416 0 444047 0
Current children cumulated CPU time: 3152.18 s
Current children cumulated vsize: 1787780 KiB
Current children cumulated memory: 1657052 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.05 5/250 87592
/proc/meminfo: memFree=122181332/131382120 swapFree=33010416/33010684
[pid=87342] ppid=87339 vsize=1788988 memory=1658788 CPUtime=3212.01 cores=1,3
/proc/87342/stat : 87342 (CASHWMaxSAT-Dis) R 87339 87342 87274 0 -1 4194304 541226 0 0 0 318819 2382 0 0 20 0 1 0 74112296 1831923712 414697 18446744073709551615 4198400 14093885 140734702082336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54321152 140734702090602 140734702090717 140734702090717 140734702096319 0
/proc/87342/statm: 447247 414697 800 2416 0 444349 0
Current children cumulated CPU time: 3212.01 s
Current children cumulated vsize: 1788988 KiB
Current children cumulated memory: 1658788 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.05 5/249 87594
/proc/meminfo: memFree=122139284/131382120 swapFree=33010416/33010684
[pid=87342] ppid=87339 vsize=1745368 memory=1662556 CPUtime=3271.84 cores=1,3
/proc/87342/stat : 87342 (CASHWMaxSAT-Dis) R 87339 87342 87274 0 -1 4194304 546050 0 0 0 324760 2424 0 0 20 0 1 0 74112296 1787256832 415639 18446744073709551615 4198400 14093885 140734702082336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54321152 140734702090602 140734702090717 140734702090717 140734702096319 0
/proc/87342/statm: 436342 415639 800 2416 0 433444 0
Current children cumulated CPU time: 3271.84 s
Current children cumulated vsize: 1745368 KiB
Current children cumulated memory: 1662556 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.05 5/249 87596
/proc/meminfo: memFree=122110288/131382120 swapFree=33010416/33010684
[pid=87342] ppid=87339 vsize=1797396 memory=1674812 CPUtime=3331.67 cores=1,3
/proc/87342/stat : 87342 (CASHWMaxSAT-Dis) R 87339 87342 87274 0 -1 4194304 550769 0 0 0 330700 2467 0 0 20 0 1 0 74112296 1840533504 418703 18446744073709551615 4198400 14093885 140734702082336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54321152 140734702090602 140734702090717 140734702090717 140734702096319 0
/proc/87342/statm: 449349 418703 800 2416 0 446451 0
Current children cumulated CPU time: 3331.67 s
Current children cumulated vsize: 1797396 KiB
Current children cumulated memory: 1674812 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.08 4.05 5/249 87598
/proc/meminfo: memFree=122059648/131382120 swapFree=33010416/33010684
[pid=87342] ppid=87339 vsize=1747308 memory=1662220 CPUtime=3391.5 cores=1,3
/proc/87342/stat : 87342 (CASHWMaxSAT-Dis) R 87339 87342 87274 0 -1 4194304 555017 0 0 0 336634 2516 0 0 20 0 1 0 74112296 1789243392 415555 18446744073709551615 4198400 14093885 140734702082336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54321152 140734702090602 140734702090717 140734702090717 140734702096319 0
/proc/87342/statm: 436827 415555 800 2416 0 433929 0
Current children cumulated CPU time: 3391.5 s
Current children cumulated vsize: 1747308 KiB
Current children cumulated memory: 1662220 KiB

[startup+3462.3 s]
/proc/loadavg: 4.42 4.16 4.08 5/249 87600
/proc/meminfo: memFree=122026960/131382120 swapFree=33010416/33010684
[pid=87342] ppid=87339 vsize=1798644 memory=1672960 CPUtime=3451.33 cores=1,3
/proc/87342/stat : 87342 (CASHWMaxSAT-Dis) R 87339 87342 87274 0 -1 4194304 559450 0 0 0 342574 2559 0 0 20 0 1 0 74112296 1841811456 418240 18446744073709551615 4198400 14093885 140734702082336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54321152 140734702090602 140734702090717 140734702090717 140734702096319 0
/proc/87342/statm: 449661 418240 800 2416 0 446763 0
Current children cumulated CPU time: 3451.33 s
Current children cumulated vsize: 1798644 KiB
Current children cumulated memory: 1672960 KiB

[startup+3522.3 s]
/proc/loadavg: 4.62 4.28 4.13 5/250 87605
/proc/meminfo: memFree=121987776/131382120 swapFree=33010416/33010684
[pid=87342] ppid=87339 vsize=1803152 memory=1673432 CPUtime=3511.16 cores=1,3
/proc/87342/stat : 87342 (CASHWMaxSAT-Dis) R 87339 87342 87274 0 -1 4194304 564795 0 0 0 348514 2602 0 0 20 0 1 0 74112296 1846427648 418358 18446744073709551615 4198400 14093885 140734702082336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54321152 140734702090602 140734702090717 140734702090717 140734702096319 0
/proc/87342/statm: 450788 418358 800 2416 0 447890 0
Current children cumulated CPU time: 3511.16 s
Current children cumulated vsize: 1803152 KiB
Current children cumulated memory: 1673432 KiB

[startup+3582.3 s]
/proc/loadavg: 4.23 4.23 4.12 5/251 87612
/proc/meminfo: memFree=121998392/131382120 swapFree=33010416/33010684
[pid=87342] ppid=87339 vsize=1805492 memory=1687736 CPUtime=3570.99 cores=1,3
/proc/87342/stat : 87342 (CASHWMaxSAT-Dis) R 87339 87342 87274 0 -1 4194304 569502 0 0 0 354452 2647 0 0 20 0 1 0 74112296 1848823808 421934 18446744073709551615 4198400 14093885 140734702082336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54321152 140734702090602 140734702090717 140734702090717 140734702096319 0
/proc/87342/statm: 451373 421934 800 2416 0 448475 0
Current children cumulated CPU time: 3570.99 s
Current children cumulated vsize: 1805492 KiB
Current children cumulated memory: 1687736 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.4 s]
/proc/loadavg: 4.22 4.23 4.12 4/247 87621
/proc/meminfo: memFree=122908492/131382120 swapFree=33010416/33010684
[pid=87342] ppid=87339 vsize=1807092 memory=1689108 CPUtime=3600.01 cores=1,3
/proc/87342/stat : 87342 (CASHWMaxSAT-Dis) R 87339 87342 87274 0 -1 4194304 571738 0 0 0 357336 2665 0 0 20 0 1 0 74112296 1850462208 422277 18446744073709551615 4198400 14093885 140734702082336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54321152 140734702090602 140734702090717 140734702090717 140734702096319 0
/proc/87342/statm: 451773 422277 800 2416 0 448875 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1807092 KiB
Current children cumulated memory: 1689108 KiB

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

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

# cumulated CPU time of all completed processes:  user=3573.36 s, system=26.6628 s

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

Child status: 0

Real time (s): 3611.41
CPU time (s): 3600.03
CPU user time (s): 3573.36
CPU system time (s): 26.6628
CPU usage (%): 99.6848
Max. virtual memory (cumulated for all children) (KiB): 1934772
Max. memory (cumulated for all children) (KiB): 1783556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.36
system time used= 26.6628
maximum resident set size= 1785624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 571738
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= 144
involuntary context switches= 4651


# summary of solver processes directly reported to runsolver:
#   pid: 87342
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3573.36
#   total CPU system time (s): 26.6628

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2308 second user time and 35.9268 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-07-04 01:12:16
IDJOB=4521928
IDBENCH=178523
IDSOLVER=3323
FILE ID=nodeC003/4521928-1751584336
RUNJOBID= nodeC003-1751584335-87286
SLURM_JOB_ID= 9598828
Free space on /tmp= 431960 MiB

SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/normalized-comppebphp_opt_pyrheightequalsnholes_33.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4521928-1751584336/watcher-4521928-1751584336 -o /tmp/evaluation-result-4521928-1751584336/solver-4521928-1751584336 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751584335-87286 --watchdog 3760  CASHWMaxSAT-DisjCom-S HOME/instance-4521928-1751584336.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= e5d29c038ae9b08512816a1a7bdfca9c
RANDOM SEED=195848013

nodeC003 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	: 0xb00001f
cpu MHz		: 1197.161
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.322
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.432
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.158
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.161
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.160
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.284
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129712676 kB
MemAvailable:   129854612 kB
Buffers:            2736 kB
Cached:           937764 kB
SwapCached:           36 kB
Active:           649104 kB
Inactive:         445596 kB
Active(anon):     164520 kB
Inactive(anon):     7608 kB
Active(file):     484584 kB
Inactive(file):   437988 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             68396 kB
Writeback:             0 kB
AnonPages:        157272 kB
Mapped:           124996 kB
Shmem:             17924 kB
KReclaimable:     117984 kB
Slab:             204024 kB
SReclaimable:     117984 kB
SUnreclaim:        86040 kB
KernelStack:        4032 kB
PageTables:         3252 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     511764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149400 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 431944 MiB
End job on nodeC003 at 2025-07-04 02:12:28