Trace number 4542411

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CASHWMaxSATDisjCom-S 2025-06-01? (TO) 3600.07 3609.43

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height49_pigeons48_holes47.opb
MD5SUM7e0508be19eaed927bf3c4f26c43c105
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1875.25
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2878950
Total number of constraints128479
Number of constraints which are clauses64877
Number of constraints which are cardinality constraints (but not clauses)58652
Number of constraints which are nor clauses,nor cardinality constraints4950
Minimum length of a constraint47
Maximum length of a constraint52
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 55
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

52.04/52.20	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
52.04/52.20	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
3600.03/3609.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: 63665 MiB (61154 MiB free)
  memory of node 1: 64507 MiB (61998 MiB free)
  node distances:
     10  21
     21  10

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

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=173222, runsolver pid=173219

[startup+0.100065 s]*
/proc/loadavg: 4.11 4.11 4.08 5/265 173223
/proc/meminfo: memFree=126095584/131249996 swapFree=33005016/33010684
[pid=173222] ppid=173219 vsize=39692 memory=20392 CPUtime=0.09 cores=5,7
/proc/173222/stat : 173222 (CASHWMaxSAT-Dis) R 173219 173222 172639 0 -1 4194304 4593 0 0 0 8 1 0 0 20 0 1 0 237347383 40644608 5098 18446744073709551615 4198400 14093885 140723962549696 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 26107904 140723962558824 140723962558939 140723962558939 140723962564543 0
/proc/173222/statm: 9923 5098 736 2416 0 7025 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39692 KiB
Current children cumulated memory: 20392 KiB

[startup+0.205549 s]*
/proc/loadavg: 4.11 4.11 4.08 5/265 173223
/proc/meminfo: memFree=126079708/131249996 swapFree=33005016/33010684
[pid=173222] ppid=173219 vsize=56800 memory=36892 CPUtime=0.19 cores=5,7
/proc/173222/stat : 173222 (CASHWMaxSAT-Dis) R 173219 173222 172639 0 -1 4194304 8898 0 0 0 18 1 0 0 20 0 1 0 237347383 58163200 9223 18446744073709551615 4198400 14093885 140723962549696 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 26107904 140723962558824 140723962558939 140723962558939 140723962564543 0
/proc/173222/statm: 14200 9223 736 2416 0 11302 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 56800 KiB
Current children cumulated memory: 36892 KiB

[startup+0.305554 s]*
/proc/loadavg: 4.11 4.11 4.08 5/265 173223
/proc/meminfo: memFree=126055452/131249996 swapFree=33005016/33010684
[pid=173222] ppid=173219 vsize=73212 memory=51740 CPUtime=0.28 cores=5,7
/proc/173222/stat : 173222 (CASHWMaxSAT-Dis) R 173219 173222 172639 0 -1 4194304 12635 0 0 0 27 1 0 0 20 0 1 0 237347383 74969088 12935 18446744073709551615 4198400 14093885 140723962549696 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 26107904 140723962558824 140723962558939 140723962558939 140723962564543 0
/proc/173222/statm: 18303 12935 736 2416 0 15405 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 73212 KiB
Current children cumulated memory: 51740 KiB

[startup+0.700155 s]
/proc/loadavg: 4.11 4.11 4.08 5/265 173223
/proc/meminfo: memFree=126030000/131249996 swapFree=33005016/33010684
[pid=173222] ppid=173219 vsize=140292 memory=114664 CPUtime=0.67 cores=5,7
/proc/173222/stat : 173222 (CASHWMaxSAT-Dis) R 173219 173222 172639 0 -1 4194304 28397 0 0 0 62 5 0 0 20 0 1 0 237347383 143659008 28666 18446744073709551615 4198400 14093885 140723962549696 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26107904 140723962558824 140723962558939 140723962558939 140723962564543 0
/proc/173222/statm: 35073 28666 736 2416 0 32175 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 140292 KiB
Current children cumulated memory: 114664 KiB

[startup+1.50015 s]
/proc/loadavg: 4.10 4.11 4.08 5/265 173223
/proc/meminfo: memFree=125949232/131249996 swapFree=33005016/33010684
[pid=173222] ppid=173219 vsize=281236 memory=243152 CPUtime=1.46 cores=5,7
/proc/173222/stat : 173222 (CASHWMaxSAT-Dis) R 173219 173222 172639 0 -1 4194304 57895 0 0 0 136 10 0 0 20 0 1 0 237347383 287985664 60788 18446744073709551615 4198400 14093885 140723962549696 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26107904 140723962558824 140723962558939 140723962558939 140723962564543 0
/proc/173222/statm: 70309 60788 736 2416 0 67411 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 281236 KiB
Current children cumulated memory: 243152 KiB

[startup+3.1055 s]
/proc/loadavg: 4.10 4.11 4.08 5/265 173223
/proc/meminfo: memFree=125602536/131249996 swapFree=33005016/33010684
[pid=173222] ppid=173219 vsize=573452 memory=506052 CPUtime=3.07 cores=5,7
/proc/173222/stat : 173222 (CASHWMaxSAT-Dis) R 173219 173222 172639 0 -1 4194304 112284 0 0 0 287 20 0 0 20 0 1 0 237347383 587214848 126513 18446744073709551615 4198400 14093885 140723962549696 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26107904 140723962558824 140723962558939 140723962558939 140723962564543 0
/proc/173222/statm: 143363 126513 736 2416 0 140465 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 573452 KiB
Current children cumulated memory: 506052 KiB

[startup+6.30016 s]
/proc/loadavg: 4.09 4.11 4.08 5/265 173223
/proc/meminfo: memFree=125138860/131249996 swapFree=33005016/33010684
[pid=173222] ppid=173219 vsize=1090748 memory=1025408 CPUtime=6.25 cores=5,7
/proc/173222/stat : 173222 (CASHWMaxSAT-Dis) R 173219 173222 172639 0 -1 4194304 204437 0 0 0 587 38 0 0 20 0 1 0 237347383 1116925952 256352 18446744073709551615 4198400 14093885 140723962549696 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26107904 140723962558824 140723962558939 140723962558939 140723962564543 0
/proc/173222/statm: 272687 256352 736 2416 0 269789 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1090748 KiB
Current children cumulated memory: 1025408 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.11 4.08 5/265 173223
/proc/meminfo: memFree=123999620/131249996 swapFree=33005016/33010684
[pid=173222] ppid=173219 vsize=2243820 memory=2084052 CPUtime=12.64 cores=5,7
/proc/173222/stat : 173222 (CASHWMaxSAT-Dis) R 173219 173222 172639 0 -1 4194304 387673 0 0 0 1186 78 0 0 20 0 1 0 237347383 2297671680 521013 18446744073709551615 4198400 14093885 140723962549696 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26107904 140723962558824 140723962558939 140723962558939 140723962564543 0
/proc/173222/statm: 560955 521013 768 2416 0 558057 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2243820 KiB
Current children cumulated memory: 2084052 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.12 4.08 5/265 173223
/proc/meminfo: memFree=123436528/131249996 swapFree=33005016/33010684
[pid=173222] ppid=173219 vsize=2977952 memory=2717248 CPUtime=25.41 cores=5,7
/proc/173222/stat : 173222 (CASHWMaxSAT-Dis) R 173219 173222 172639 0 -1 4194304 440690 0 0 0 2439 102 0 0 20 0 1 0 237347383 3049422848 679312 18446744073709551615 4198400 14093885 140723962549696 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26107904 140723962558824 140723962558939 140723962558939 140723962564543 0
/proc/173222/statm: 744488 679312 768 2416 0 741590 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2977952 KiB
Current children cumulated memory: 2717248 KiB

[startup+51.1055 s]
/proc/loadavg: 4.09 4.11 4.08 5/265 173224
/proc/meminfo: memFree=121889536/131249996 swapFree=33005016/33010684
[pid=173222] ppid=173219 vsize=4939088 memory=4219740 CPUtime=50.95 cores=5,7
/proc/173222/stat : 173222 (CASHWMaxSAT-Dis) R 173219 173222 172639 0 -1 4194304 528829 0 0 0 4938 157 0 0 20 0 1 0 237347383 5057626112 1054935 18446744073709551615 4198400 14093885 140723962549696 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26107904 140723962558824 140723962558939 140723962558939 140723962564543 0
/proc/173222/statm: 1234772 1054935 768 2416 0 1231874 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 4939088 KiB
Current children cumulated memory: 4219740 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.08 5/265 173226
/proc/meminfo: memFree=122144716/131249996 swapFree=33005016/33010684
[pid=173222] ppid=173219 vsize=4165364 memory=3881524 CPUtime=102.02 cores=5,7
/proc/173222/stat : 173222 (CASHWMaxSAT-Dis) R 173219 173222 172639 0 -1 4194304 540592 0 0 0 9982 220 0 0 20 0 1 0 237347383 4265332736 970381 18446744073709551615 4198400 14093885 140723962549696 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26107904 140723962558824 140723962558939 140723962558939 140723962564543 0
/proc/173222/statm: 1041341 970381 800 2416 0 1038443 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 4165364 KiB
Current children cumulated memory: 3881524 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/265 173227
/proc/meminfo: memFree=122090528/131249996 swapFree=33005016/33010684
[pid=173222] ppid=173219 vsize=4167348 memory=3868448 CPUtime=161.87 cores=5,7
/proc/173222/stat : 173222 (CASHWMaxSAT-Dis) R 173219 173222 172639 0 -1 4194304 558476 0 0 0 15883 304 0 0 20 0 1 0 237347383 4267364352 967112 18446744073709551615 4198400 14093885 140723962549696 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26107904 140723962558824 140723962558939 140723962558939 140723962564543 0
/proc/173222/statm: 1041837 967112 800 2416 0 1038939 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 4167348 KiB
Current children cumulated memory: 3868448 KiB

[startup+222.3 s]
/proc/loadavg: 4.49 4.20 4.12 5/263 173232
/proc/meminfo: memFree=122028408/131249996 swapFree=33005016/33010684
[pid=173222] ppid=173219 vsize=4198680 memory=3906484 CPUtime=221.72 cores=5,7
/proc/173222/stat : 173222 (CASHWMaxSAT-Dis) R 173219 173222 172639 0 -1 4194304 579200 0 0 0 21799 373 0 0 20 0 1 0 237347383 4299448320 976621 18446744073709551615 4198400 14093885 140723962549696 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26107904 140723962558824 140723962558939 140723962558939 140723962564543 0
/proc/173222/statm: 1049670 976621 800 2416 0 1046772 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 4198680 KiB
Current children cumulated memory: 3906484 KiB

[startup+282.3 s]
/proc/loadavg: 4.30 4.20 4.12 5/263 173234
/proc/meminfo: memFree=121881908/131249996 swapFree=33005016/33010684
[pid=173222] ppid=173219 vsize=4449856 memory=3995976 CPUtime=281.58 cores=5,7
/proc/173222/stat : 173222 (CASHWMaxSAT-Dis) R 173219 173222 172639 0 -1 4194304 602414 0 0 0 27712 446 0 0 20 0 1 0 237347383 4556652544 998994 18446744073709551615 4198400 14093885 140723962549696 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26107904 140723962558824 140723962558939 140723962558939 140723962564543 0
/proc/173222/statm: 1112464 998994 800 2416 0 1109566 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 4449856 KiB
Current children cumulated memory: 3995976 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 4.17 4.11 5/264 173241
/proc/meminfo: memFree=121589824/131249996 swapFree=33005016/33010684
[pid=173222] ppid=173219 vsize=4268424 memory=3948544 CPUtime=341.43 cores=5,7
/proc/173222/stat : 173222 (CASHWMaxSAT-Dis) R 173219 173222 172639 0 -1 4194304 624399 0 0 0 33621 522 0 0 20 0 1 0 237347383 4370866176 987136 18446744073709551615 4198400 14093885 140723962549696 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26107904 140723962558824 140723962558939 140723962558939 140723962564543 0
/proc/173222/statm: 1067106 987136 800 2416 0 1064208 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 4268424 KiB
Current children cumulated memory: 3948544 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.16 4.11 5/264 173243
/proc/meminfo: memFree=121730064/131249996 swapFree=33005016/33010684
[pid=173222] ppid=173219 vsize=4506852 memory=4025264 CPUtime=401.28 cores=5,7
/proc/173222/stat : 173222 (CASHWMaxSAT-Dis) R 173219 173222 172639 0 -1 4194304 642456 0 0 0 39544 584 0 0 20 0 1 0 237347383 4615016448 1006316 18446744073709551615 4198400 14093885 140723962549696 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26107904 140723962558824 140723962558939 140723962558939 140723962564543 0
/proc/173222/statm: 1126713 1006316 800 2416 0 1123815 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 4506852 KiB
Current children cumulated memory: 4025264 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/264 173245
/proc/meminfo: memFree=121642296/131249996 swapFree=33005016/33010684
[pid=173222] ppid=173219 vsize=4321400 memory=4041608 CPUtime=461.12 cores=5,7
/proc/173222/stat : 173222 (CASHWMaxSAT-Dis) R 173219 173222 172639 0 -1 4194304 658550 0 0 0 45476 636 0 0 20 0 1 0 237347383 4425113600 1010402 18446744073709551615 4198400 14093885 140723962549696 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26107904 140723962558824 140723962558939 140723962558939 140723962564543 0
/proc/173222/statm: 1080350 1010402 800 2416 0 1077452 0
Current children cumulated CPU time: 461.12 s

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

Current children cumulated memory: 4847780 KiB

[startup+2862.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 173521
/proc/meminfo: memFree=115347848/131249996 swapFree=33005016/33010684
[pid=173222] ppid=173219 vsize=5137844 memory=4829920 CPUtime=2854.93 cores=5,7
/proc/173222/stat : 173222 (CASHWMaxSAT-Dis) R 173219 173222 172639 0 -1 4194304 1280949 0 0 0 282735 2758 0 0 20 0 1 0 237347383 5261152256 1207480 18446744073709551615 4198400 14093885 140723962549696 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26107904 140723962558824 140723962558939 140723962558939 140723962564543 0
/proc/173222/statm: 1284461 1207480 800 2416 0 1281563 0
Current children cumulated CPU time: 2854.93 s
Current children cumulated vsize: 5137844 KiB
Current children cumulated memory: 4829920 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 173524
/proc/meminfo: memFree=115203244/131249996 swapFree=33005016/33010684
[pid=173222] ppid=173219 vsize=5707632 memory=5079392 CPUtime=2914.76 cores=5,7
/proc/173222/stat : 173222 (CASHWMaxSAT-Dis) R 173219 173222 172639 0 -1 4194304 1297894 0 0 0 288651 2825 0 0 20 0 1 0 237347383 5844615168 1269848 18446744073709551615 4198400 14093885 140723962549696 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26107904 140723962558824 140723962558939 140723962558939 140723962564543 0
/proc/173222/statm: 1426908 1269848 800 2416 0 1424010 0
Current children cumulated CPU time: 2914.76 s
Current children cumulated vsize: 5707632 KiB
Current children cumulated memory: 5079392 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/265 173526
/proc/meminfo: memFree=115131316/131249996 swapFree=33005016/33010684
[pid=173222] ppid=173219 vsize=5153068 memory=4837856 CPUtime=2974.57 cores=5,7
/proc/173222/stat : 173222 (CASHWMaxSAT-Dis) R 173219 173222 172639 0 -1 4194304 1306845 0 0 0 294594 2863 0 0 20 0 1 0 237347383 5276741632 1209464 18446744073709551615 4198400 14093885 140723962549696 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26107904 140723962558824 140723962558939 140723962558939 140723962564543 0
/proc/173222/statm: 1288267 1209464 800 2416 0 1285369 0
Current children cumulated CPU time: 2974.57 s
Current children cumulated vsize: 5153068 KiB
Current children cumulated memory: 4837856 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 173528
/proc/meminfo: memFree=114791196/131249996 swapFree=33005016/33010684
[pid=173222] ppid=173219 vsize=5165580 memory=4865972 CPUtime=3034.41 cores=5,7
/proc/173222/stat : 173222 (CASHWMaxSAT-Dis) R 173219 173222 172639 0 -1 4194304 1317647 0 0 0 300542 2899 0 0 20 0 1 0 237347383 5289553920 1216493 18446744073709551615 4198400 14093885 140723962549696 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26107904 140723962558824 140723962558939 140723962558939 140723962564543 0
/proc/173222/statm: 1291395 1216493 800 2416 0 1288497 0
Current children cumulated CPU time: 3034.41 s
Current children cumulated vsize: 5165580 KiB
Current children cumulated memory: 4865972 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 173531
/proc/meminfo: memFree=114877384/131249996 swapFree=33005016/33010684
[pid=173222] ppid=173219 vsize=5392536 memory=4920308 CPUtime=3094.25 cores=5,7
/proc/173222/stat : 173222 (CASHWMaxSAT-Dis) R 173219 173222 172639 0 -1 4194304 1326123 0 0 0 306508 2917 0 0 20 0 1 0 237347383 5521956864 1230077 18446744073709551615 4198400 14093885 140723962549696 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26107904 140723962558824 140723962558939 140723962558939 140723962564543 0
/proc/173222/statm: 1348134 1230077 800 2416 0 1345236 0
Current children cumulated CPU time: 3094.25 s
Current children cumulated vsize: 5392536 KiB
Current children cumulated memory: 4920308 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 173533
/proc/meminfo: memFree=114701524/131249996 swapFree=33005016/33010684
[pid=173222] ppid=173219 vsize=5185828 memory=4913932 CPUtime=3154.1 cores=5,7
/proc/173222/stat : 173222 (CASHWMaxSAT-Dis) R 173219 173222 172639 0 -1 4194304 1334965 0 0 0 312460 2950 0 0 20 0 1 0 237347383 5310287872 1228483 18446744073709551615 4198400 14093885 140723962549696 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26107904 140723962558824 140723962558939 140723962558939 140723962564543 0
/proc/173222/statm: 1296457 1228483 800 2416 0 1293559 0
Current children cumulated CPU time: 3154.1 s
Current children cumulated vsize: 5185828 KiB
Current children cumulated memory: 4913932 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 173535
/proc/meminfo: memFree=114616244/131249996 swapFree=33005016/33010684
[pid=173222] ppid=173219 vsize=5411824 memory=4946476 CPUtime=3213.94 cores=5,7
/proc/173222/stat : 173222 (CASHWMaxSAT-Dis) R 173219 173222 172639 0 -1 4194304 1343125 0 0 0 318426 2968 0 0 20 0 1 0 237347383 5541707776 1236619 18446744073709551615 4198400 14093885 140723962549696 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26107904 140723962558824 140723962558939 140723962558939 140723962564543 0
/proc/173222/statm: 1352956 1236619 800 2416 0 1350058 0
Current children cumulated CPU time: 3213.94 s
Current children cumulated vsize: 5411824 KiB
Current children cumulated memory: 4946476 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 173540
/proc/meminfo: memFree=114567576/131249996 swapFree=33005016/33010684
[pid=173222] ppid=173219 vsize=5219700 memory=4949724 CPUtime=3273.79 cores=5,7
/proc/173222/stat : 173222 (CASHWMaxSAT-Dis) R 173219 173222 172639 0 -1 4194304 1360304 0 0 0 324355 3024 0 0 20 0 1 0 237347383 5344972800 1237431 18446744073709551615 4198400 14093885 140723962549696 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26107904 140723962558824 140723962558939 140723962558939 140723962564543 0
/proc/173222/statm: 1304925 1237431 800 2416 0 1302027 0
Current children cumulated CPU time: 3273.79 s
Current children cumulated vsize: 5219700 KiB
Current children cumulated memory: 4949724 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 173542
/proc/meminfo: memFree=114445052/131249996 swapFree=33005016/33010684
[pid=173222] ppid=173219 vsize=5227916 memory=4908000 CPUtime=3333.63 cores=5,7
/proc/173222/stat : 173222 (CASHWMaxSAT-Dis) R 173219 173222 172639 0 -1 4194304 1372031 0 0 0 330297 3066 0 0 20 0 1 0 237347383 5353385984 1227000 18446744073709551615 4198400 14093885 140723962549696 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26107904 140723962558824 140723962558939 140723962558939 140723962564543 0
/proc/173222/statm: 1306979 1227000 800 2416 0 1304081 0
Current children cumulated CPU time: 3333.63 s
Current children cumulated vsize: 5227916 KiB
Current children cumulated memory: 4908000 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 173548
/proc/meminfo: memFree=114399300/131249996 swapFree=33005016/33010684
[pid=173222] ppid=173219 vsize=5245132 memory=4915980 CPUtime=3393.47 cores=5,7
/proc/173222/stat : 173222 (CASHWMaxSAT-Dis) R 173219 173222 172639 0 -1 4194304 1384211 0 0 0 336249 3098 0 0 20 0 1 0 237347383 5371015168 1228995 18446744073709551615 4198400 14093885 140723962549696 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26107904 140723962558824 140723962558939 140723962558939 140723962564543 0
/proc/173222/statm: 1311283 1228995 800 2416 0 1308385 0
Current children cumulated CPU time: 3393.47 s
Current children cumulated vsize: 5245132 KiB
Current children cumulated memory: 4915980 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/263 173550
/proc/meminfo: memFree=114363748/131249996 swapFree=33005016/33010684
[pid=173222] ppid=173219 vsize=5468692 memory=4999736 CPUtime=3453.31 cores=5,7
/proc/173222/stat : 173222 (CASHWMaxSAT-Dis) R 173219 173222 172639 0 -1 4194304 1390320 0 0 0 342222 3109 0 0 20 0 1 0 237347383 5599940608 1249934 18446744073709551615 4198400 14093885 140723962549696 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26107904 140723962558824 140723962558939 140723962558939 140723962564543 0
/proc/173222/statm: 1367173 1249934 800 2416 0 1364275 0
Current children cumulated CPU time: 3453.31 s
Current children cumulated vsize: 5468692 KiB
Current children cumulated memory: 4999736 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 173553
/proc/meminfo: memFree=114220924/131249996 swapFree=33005016/33010684
[pid=173222] ppid=173219 vsize=5818196 memory=5191588 CPUtime=3513.15 cores=5,7
/proc/173222/stat : 173222 (CASHWMaxSAT-Dis) R 173219 173222 172639 0 -1 4194304 1395436 0 0 0 348194 3121 0 0 20 0 1 0 237347383 5957832704 1297897 18446744073709551615 4198400 14093885 140723962549696 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26107904 140723962558824 140723962558939 140723962558939 140723962564543 0
/proc/173222/statm: 1454549 1297897 800 2416 0 1451651 0
Current children cumulated CPU time: 3513.15 s
Current children cumulated vsize: 5818196 KiB
Current children cumulated memory: 5191588 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 173555
/proc/meminfo: memFree=114189588/131249996 swapFree=33005016/33010684
[pid=173222] ppid=173219 vsize=5269472 memory=4992484 CPUtime=3573 cores=5,7
/proc/173222/stat : 173222 (CASHWMaxSAT-Dis) R 173219 173222 172639 0 -1 4194304 1404419 0 0 0 354149 3151 0 0 20 0 1 0 237347383 5395939328 1248121 18446744073709551615 4198400 14093885 140723962549696 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26107904 140723962558824 140723962558939 140723962558939 140723962564543 0
/proc/173222/statm: 1317368 1248121 800 2416 0 1314470 0
Current children cumulated CPU time: 3573 s
Current children cumulated vsize: 5269472 KiB
Current children cumulated memory: 4992484 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 4.21 4.13 4.10 5/263 173557
/proc/meminfo: memFree=114104368/131249996 swapFree=33005016/33010684
[pid=173222] ppid=173219 vsize=5485464 memory=5007584 CPUtime=3600.03 cores=5,7
/proc/173222/stat : 173222 (CASHWMaxSAT-Dis) R 173219 173222 172639 0 -1 4194304 1405916 0 0 0 356850 3153 0 0 20 0 1 0 237347383 5617115136 1251896 18446744073709551615 4198400 14093885 140723962549696 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 26107904 140723962558824 140723962558939 140723962558939 140723962564543 0
/proc/173222/statm: 1371366 1251896 800 2416 0 1368468 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 5485464 KiB
Current children cumulated memory: 5007584 KiB

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

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

# cumulated CPU time of all completed processes:  user=3568.51 s, system=31.5618 s

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

Child status: 0

Real time (s): 3609.43
CPU time (s): 3600.07
CPU user time (s): 3568.51
CPU system time (s): 31.5618
CPU usage (%): 99.7408
Max. virtual memory (cumulated for all children) (KiB): 5824320
Max. memory (cumulated for all children) (KiB): 5303828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.51
system time used= 31.5618
maximum resident set size= 5303828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1405916
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= 179
involuntary context switches= 4616


# summary of solver processes directly reported to runsolver:
#   pid: 173222
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3568.51
#   total CPU system time (s): 31.5618

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.78079 second user time and 15.5304 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2025-07-22 22:37:58
IDJOB=4542411
IDBENCH=163926
IDSOLVER=3323
FILE ID=nodeC030/4542411-1753216677
RUNJOBID= nodeC030-1753212081-172652
SLURM_JOB_ID= 9687801
Free space on /tmp= 432716 MiB

SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height49_pigeons48_holes47.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542411-1753216677/watcher-4542411-1753216677 -o /tmp/evaluation-result-4542411-1753216677/solver-4542411-1753216677 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1753212081-172652 --watchdog 3760  CASHWMaxSAT-DisjCom-S HOME/instance-4542411-1753216677.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 7e0508be19eaed927bf3c4f26c43c105
RANDOM SEED=1723365562

nodeC030 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.317
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.62
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.320
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.62
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		: 3601.615
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.62
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		: 3700.000
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.62
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.325
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.62
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		: 3600.313
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.62
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.62
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.572
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.62
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        126108616 kB
MemAvailable:   126487084 kB
Buffers:              16 kB
Cached:          1145056 kB
SwapCached:          232 kB
Active:          3964936 kB
Inactive:         473832 kB
Active(anon):    3277548 kB
Inactive(anon):    37904 kB
Active(file):     687388 kB
Inactive(file):   435928 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005016 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             83488 kB
Writeback:             0 kB
AnonPages:       3295000 kB
Mapped:           113732 kB
Shmem:             21756 kB
KReclaimable:     188384 kB
Slab:             282944 kB
SReclaimable:     188384 kB
SUnreclaim:        94560 kB
KernelStack:        4272 kB
PageTables:         9580 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    3819440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2330624 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:      189140 kB
DirectMap2M:     9019392 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432572 MiB
End job on nodeC030 at 2025-07-22 23:38:08