Trace number 4459135

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
CASHWMaxSAT-DisjCom-SP 2024-07-10? (TO) 3600.09 3608.87

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_54.opb
MD5SUM8dda82f4961ecebecfcf9bee24c61458
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 benchmark1540
Best CPU time to get the best result obtained on this benchmark1431.86
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4576880
Total number of constraints176770
Number of constraints which are clauses89155
Number of constraints which are cardinality constraints (but not clauses)81620
Number of constraints which are nor clauses,nor cardinality constraints5995
Minimum length of a constraint54
Maximum length of a constraint59
Number of terms in the objective function 3080
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 3080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 3080
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

104.80/105.13	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
104.80/105.13	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
3600.00/3608.80	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: 63968 MiB (54577 MiB free)
  memory of node 1: 64473 MiB (59485 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459135-1721884536/watcher-4459135-1721884536 -o /tmp/evaluation-result-4459135-1721884536/solver-4459135-1721884536 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721875930-265220 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4459135-1721884536.opb -total-t=3600 -no-par -v0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=270435, runsolver pid=270432

[startup+0.101017 s]*
/proc/loadavg: 4.35 4.18 4.12 5/256 270436
/proc/meminfo: memFree=116533764/131524600 swapFree=131068900/131071996
[pid=270435] ppid=270432 vsize=289048 memory=270012 CPUtime=0.09 cores=4,6
/proc/270435/stat : 270435 (CASHWMaxSAT-Dis) R 270432 270435 265209 0 -1 4194304 5740 0 0 0 4 5 0 0 20 0 1 0 24982002 295985152 67503 134679101440 4194304 14636349 140734715979120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 16575728 16655184 30871552 140734715982823 140734715982939 140734715982939 140734715989950 0
/proc/270435/statm: 72262 67503 794 2550 0 69217 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 289048 KiB
Current children cumulated memory: 270012 KiB

[startup+0.207035 s]*
/proc/loadavg: 4.35 4.18 4.12 5/256 270436
/proc/meminfo: memFree=116520752/131524600 swapFree=131068900/131071996
[pid=270435] ppid=270432 vsize=304460 memory=282732 CPUtime=0.19 cores=4,6
/proc/270435/stat : 270435 (CASHWMaxSAT-Dis) R 270432 270435 265209 0 -1 4194304 9174 0 0 0 13 6 0 0 20 0 1 0 24982002 311767040 70683 134679101440 4194304 14636349 140734715979120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 16575728 16655184 30871552 140734715982823 140734715982939 140734715982939 140734715989950 0
/proc/270435/statm: 76115 70683 794 2550 0 73070 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 304460 KiB
Current children cumulated memory: 282732 KiB

[startup+0.306018 s]*
/proc/loadavg: 4.35 4.18 4.12 5/256 270436
/proc/meminfo: memFree=116509264/131524600 swapFree=131068900/131071996
[pid=270435] ppid=270432 vsize=320432 memory=293968 CPUtime=0.28 cores=4,6
/proc/270435/stat : 270435 (CASHWMaxSAT-Dis) R 270432 270435 265209 0 -1 4194304 11525 0 0 0 22 6 0 0 20 0 1 0 24982002 328122368 73492 134679101440 4194304 14636349 140734715979120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 16575728 16655184 30871552 140734715982823 140734715982939 140734715982939 140734715989950 0
/proc/270435/statm: 80108 73492 794 2550 0 77063 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 320432 KiB
Current children cumulated memory: 293968 KiB

[startup+0.701017 s]
/proc/loadavg: 4.35 4.18 4.12 5/256 270436
/proc/meminfo: memFree=116483672/131524600 swapFree=131068900/131071996
[pid=270435] ppid=270432 vsize=365840 memory=340200 CPUtime=0.66 cores=4,6
/proc/270435/stat : 270435 (CASHWMaxSAT-Dis) R 270432 270435 265209 0 -1 4194304 18982 0 0 0 58 8 0 0 20 0 1 0 24982002 374620160 85050 134679101440 4194304 14636349 140734715979120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 16575728 16655184 30871552 140734715982823 140734715982939 140734715982939 140734715989950 0
/proc/270435/statm: 91460 85050 794 2550 0 88415 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 365840 KiB
Current children cumulated memory: 340200 KiB

[startup+1.50103 s]
/proc/loadavg: 4.35 4.18 4.12 5/256 270436
/proc/meminfo: memFree=116428948/131524600 swapFree=131068900/131071996
[pid=270435] ppid=270432 vsize=455732 memory=430108 CPUtime=1.45 cores=4,6
/proc/270435/stat : 270435 (CASHWMaxSAT-Dis) R 270432 270435 265209 0 -1 4194304 32269 0 0 0 133 12 0 0 20 0 1 0 24982002 466669568 107527 134679101440 4194304 14636349 140734715979120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 16575728 16655184 30871552 140734715982823 140734715982939 140734715982939 140734715989950 0
/proc/270435/statm: 113933 107527 794 2550 0 110888 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 455732 KiB
Current children cumulated memory: 430108 KiB

[startup+3.10596 s]
/proc/loadavg: 4.35 4.18 4.12 5/256 270436
/proc/meminfo: memFree=116209012/131524600 swapFree=131068900/131071996
[pid=270435] ppid=270432 vsize=634064 memory=606348 CPUtime=3.04 cores=4,6
/proc/270435/stat : 270435 (CASHWMaxSAT-Dis) R 270432 270435 265209 0 -1 4194304 57502 0 0 0 285 19 0 0 20 0 1 0 24982002 649281536 151587 134679101440 4194304 14636349 140734715979120 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 30871552 140734715982823 140734715982939 140734715982939 140734715989950 0
/proc/270435/statm: 158516 151587 794 2550 0 155471 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 634064 KiB
Current children cumulated memory: 606348 KiB

[startup+6.30023 s]
/proc/loadavg: 4.32 4.18 4.12 5/256 270436
/proc/meminfo: memFree=115880364/131524600 swapFree=131068900/131071996
[pid=270435] ppid=270432 vsize=990232 memory=954136 CPUtime=6.24 cores=4,6
/proc/270435/stat : 270435 (CASHWMaxSAT-Dis) R 270432 270435 265209 0 -1 4194304 106728 0 0 0 590 34 0 0 20 0 1 0 24982002 1013997568 238468 134679101440 4194304 14636349 140734715979120 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 30871552 140734715982823 140734715982939 140734715982939 140734715989950 0
/proc/270435/statm: 247558 238534 794 2550 0 244513 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 990232 KiB
Current children cumulated memory: 954136 KiB

[startup+12.7002 s]
/proc/loadavg: 4.38 4.19 4.12 5/256 270438
/proc/meminfo: memFree=114106800/131524600 swapFree=131068900/131071996
[pid=270435] ppid=270432 vsize=2937824 memory=2638224 CPUtime=12.62 cores=4,6
/proc/270435/stat : 270435 (CASHWMaxSAT-Dis) R 270432 270435 265209 0 -1 4194304 154505 0 0 0 1155 107 0 0 20 0 1 0 24982002 3008331776 659556 134679101440 4194304 14636349 140734715979120 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 30871552 140734715982823 140734715982939 140734715982939 140734715989950 0
/proc/270435/statm: 734456 659556 890 2550 0 731411 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 2937824 KiB
Current children cumulated memory: 2638224 KiB

[startup+25.5002 s]
/proc/loadavg: 4.29 4.18 4.12 5/256 270439
/proc/meminfo: memFree=112493996/131524600 swapFree=131068900/131071996
[pid=270435] ppid=270432 vsize=4803536 memory=4352112 CPUtime=25.39 cores=4,6
/proc/270435/stat : 270435 (CASHWMaxSAT-Dis) R 270432 270435 265209 0 -1 4194304 407122 0 0 0 2361 178 0 0 20 0 1 0 24982002 4918820864 1088028 134679101440 4194304 14636349 140734715979120 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 30871552 140734715982823 140734715982939 140734715982939 140734715989950 0
/proc/270435/statm: 1200884 1088028 922 2550 0 1197839 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 4803536 KiB
Current children cumulated memory: 4352112 KiB

[startup+51.106 s]
/proc/loadavg: 4.19 4.16 4.12 5/254 270444
/proc/meminfo: memFree=110645500/131524600 swapFree=131068900/131071996
[pid=270435] ppid=270432 vsize=6734076 memory=6149136 CPUtime=50.94 cores=4,6
/proc/270435/stat : 270435 (CASHWMaxSAT-Dis) R 270432 270435 265209 0 -1 4194304 693800 0 0 0 4846 248 0 0 20 0 1 0 24982002 6895693824 1537284 134679101440 4194304 14636349 140734715979120 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 30871552 140734715982823 140734715982939 140734715982939 140734715989950 0
/proc/270435/statm: 1683519 1537284 970 2550 0 1680474 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 6734076 KiB
Current children cumulated memory: 6149136 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.17 4.12 5/254 270454
/proc/meminfo: memFree=108350260/131524600 swapFree=131068900/131071996
[pid=270435] ppid=270432 vsize=9206052 memory=8334236 CPUtime=102 cores=4,6
/proc/270435/stat : 270435 (CASHWMaxSAT-Dis) R 270432 270435 265209 0 -1 4194304 858665 0 0 0 9875 325 0 0 20 0 1 0 24982002 9426997248 2083559 134679101440 4194304 14636349 140734715979120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 30871552 140734715982823 140734715982939 140734715982939 140734715989950 0
/proc/270435/statm: 2301513 2083559 970 2550 0 2298468 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 9206052 KiB
Current children cumulated memory: 8334236 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/254 270464
/proc/meminfo: memFree=108709188/131524600 swapFree=131068900/131071996
[pid=270435] ppid=270432 vsize=8707992 memory=8078576 CPUtime=161.84 cores=4,6
/proc/270435/stat : 270435 (CASHWMaxSAT-Dis) R 270432 270435 265209 0 -1 4194304 866367 0 0 0 15772 412 0 0 20 0 1 0 24982002 8916983808 2019644 134679101440 4194304 14636349 140734715979120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 30871552 140734715982823 140734715982939 140734715982939 140734715989950 0
/proc/270435/statm: 2176998 2019644 986 2550 0 2173953 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 8707992 KiB
Current children cumulated memory: 8078576 KiB

[startup+222.3 s]
/proc/loadavg: 4.51 4.23 4.14 5/254 270476
/proc/meminfo: memFree=108343168/131524600 swapFree=131068900/131071996
[pid=270435] ppid=270432 vsize=9616040 memory=8551560 CPUtime=221.7 cores=4,6
/proc/270435/stat : 270435 (CASHWMaxSAT-Dis) R 270432 270435 265209 0 -1 4194304 874117 0 0 0 21672 498 0 0 20 0 1 0 24982002 9846824960 2137890 134679101440 4194304 14636349 140734715979120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 30871552 140734715982823 140734715982939 140734715982939 140734715989950 0
/proc/270435/statm: 2404010 2137890 986 2550 0 2400965 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 9616040 KiB
Current children cumulated memory: 8551560 KiB

[startup+282.3 s]
/proc/loadavg: 4.74 4.36 4.19 5/254 270489
/proc/meminfo: memFree=108434076/131524600 swapFree=131068900/131071996
[pid=270435] ppid=270432 vsize=9631396 memory=8550492 CPUtime=281.54 cores=4,6
/proc/270435/stat : 270435 (CASHWMaxSAT-Dis) R 270432 270435 265209 0 -1 4194304 884124 0 0 0 27577 577 0 0 20 0 1 0 24982002 9862549504 2137623 134679101440 4194304 14636349 140734715979120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 30871552 140734715982823 140734715982939 140734715982939 140734715989950 0
/proc/270435/statm: 2407849 2137623 986 2550 0 2404804 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 9631396 KiB
Current children cumulated memory: 8550492 KiB

[startup+342.3 s]
/proc/loadavg: 4.50 4.37 4.20 5/255 270503
/proc/meminfo: memFree=108670000/131524600 swapFree=131068900/131071996
[pid=270435] ppid=270432 vsize=8756328 memory=8120400 CPUtime=341.38 cores=4,6
/proc/270435/stat : 270435 (CASHWMaxSAT-Dis) R 270432 270435 265209 0 -1 4194304 898096 0 0 0 33488 650 0 0 20 0 1 0 24982002 8966479872 2030100 134679101440 4194304 14636349 140734715979120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 30871552 140734715982823 140734715982939 140734715982939 140734715989950 0
/proc/270435/statm: 2189082 2030100 986 2550 0 2186037 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 8756328 KiB
Current children cumulated memory: 8120400 KiB

[startup+402.3 s]
/proc/loadavg: 4.58 4.43 4.24 5/255 270514
/proc/meminfo: memFree=108651108/131524600 swapFree=131068900/131071996
[pid=270435] ppid=270432 vsize=8783700 memory=8134668 CPUtime=401.21 cores=4,6
/proc/270435/stat : 270435 (CASHWMaxSAT-Dis) R 270432 270435 265209 0 -1 4194304 909958 0 0 0 39397 724 0 0 20 0 1 0 24982002 8994508800 2033667 134679101440 4194304 14636349 140734715979120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 30871552 140734715982823 140734715982939 140734715982939 140734715989950 0
/proc/270435/statm: 2195925 2033667 986 2550 0 2192880 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 8783700 KiB
Current children cumulated memory: 8134668 KiB

[startup+462.3 s]
/proc/loadavg: 4.27 4.37 4.22 5/255 270524
/proc/meminfo: memFree=109222096/131524600 swapFree=131068900/131071996
[pid=270435] ppid=270432 vsize=8803464 memory=8210196 CPUtime=461.08 cores=4,6
/proc/270435/stat : 270435 (CASHWMaxSAT-Dis) R 270432 270435 265209 0 -1 4194304 919189 0 0 0 45325 783 0 0 20 0 1 0 24982002 9014747136 2052549 134679101440 4194304 14636349 140734715979120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 30871552 140734715982823 140734715982939 140734715982939 140734715989950 0
/proc/270435/statm: 2200866 2052549 986 2550 0 2197821 0

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

Current children cumulated memory: 8963692 KiB

[startup+2862.3 s]
/proc/loadavg: 2.13 2.36 3.10 3/240 272303
/proc/meminfo: memFree=109299828/131524600 swapFree=131068900/131071996
[pid=270435] ppid=270432 vsize=10021252 memory=9063672 CPUtime=2855.21 cores=4,6
/proc/270435/stat : 270435 (CASHWMaxSAT-Dis) R 270432 270435 265209 0 -1 4194304 1325393 0 0 0 282478 3043 0 0 20 0 1 0 24982002 10261762048 2265918 134679101440 4194304 14636349 140734715979120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 30871552 140734715982823 140734715982939 140734715982939 140734715989950 0
/proc/270435/statm: 2505313 2265918 986 2550 0 2502268 0
Current children cumulated CPU time: 2855.21 s
Current children cumulated vsize: 10021252 KiB
Current children cumulated memory: 9063672 KiB

[startup+2922.3 s]
/proc/loadavg: 2.10 2.31 3.04 3/239 272314
/proc/meminfo: memFree=109360540/131524600 swapFree=131068900/131071996
[pid=270435] ppid=270432 vsize=9682508 memory=8997380 CPUtime=2915.07 cores=4,6
/proc/270435/stat : 270435 (CASHWMaxSAT-Dis) R 270432 270435 265209 0 -1 4194304 1333823 0 0 0 288400 3107 0 0 20 0 1 0 24982002 9914888192 2249345 134679101440 4194304 14636349 140734715979120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 30871552 140734715982823 140734715982939 140734715982939 140734715989950 0
/proc/270435/statm: 2420627 2249345 986 2550 0 2417582 0
Current children cumulated CPU time: 2915.07 s
Current children cumulated vsize: 9682508 KiB
Current children cumulated memory: 8997380 KiB

[startup+2982.3 s]
/proc/loadavg: 2.15 2.28 2.98 3/239 272325
/proc/meminfo: memFree=109300892/131524600 swapFree=131068900/131071996
[pid=270435] ppid=270432 vsize=9697592 memory=9020876 CPUtime=2974.91 cores=4,6
/proc/270435/stat : 270435 (CASHWMaxSAT-Dis) R 270432 270435 265209 0 -1 4194304 1341232 0 0 0 294360 3131 0 0 20 0 1 0 24982002 9930334208 2255219 134679101440 4194304 14636349 140734715979120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 30871552 140734715982823 140734715982939 140734715982939 140734715989950 0
/proc/270435/statm: 2424398 2255219 986 2550 0 2421353 0
Current children cumulated CPU time: 2974.91 s
Current children cumulated vsize: 9697592 KiB
Current children cumulated memory: 9020876 KiB

[startup+3042.3 s]
/proc/loadavg: 2.11 2.24 2.92 3/239 272336
/proc/meminfo: memFree=109330712/131524600 swapFree=131068900/131071996
[pid=270435] ppid=270432 vsize=9712084 memory=8996748 CPUtime=3034.75 cores=4,6
/proc/270435/stat : 270435 (CASHWMaxSAT-Dis) R 270432 270435 265209 0 -1 4194304 1346811 0 0 0 300320 3155 0 0 20 0 1 0 24982002 9945174016 2249187 134679101440 4194304 14636349 140734715979120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 30871552 140734715982823 140734715982939 140734715982939 140734715989950 0
/proc/270435/statm: 2428021 2249187 986 2550 0 2424976 0
Current children cumulated CPU time: 3034.75 s
Current children cumulated vsize: 9712084 KiB
Current children cumulated memory: 8996748 KiB

[startup+3102.3 s]
/proc/loadavg: 2.08 2.21 2.87 3/239 272346
/proc/meminfo: memFree=109336692/131524600 swapFree=131068900/131071996
[pid=270435] ppid=270432 vsize=9725680 memory=9002748 CPUtime=3094.62 cores=4,6
/proc/270435/stat : 270435 (CASHWMaxSAT-Dis) R 270432 270435 265209 0 -1 4194304 1355014 0 0 0 306254 3208 0 0 20 0 1 0 24982002 9959096320 2250687 134679101440 4194304 14636349 140734715979120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 30871552 140734715982823 140734715982939 140734715982939 140734715989950 0
/proc/270435/statm: 2431420 2250687 986 2550 0 2428375 0
Current children cumulated CPU time: 3094.62 s
Current children cumulated vsize: 9725680 KiB
Current children cumulated memory: 9002748 KiB

[startup+3162.3 s]
/proc/loadavg: 2.14 2.20 2.82 3/239 272356
/proc/meminfo: memFree=109333468/131524600 swapFree=131068900/131071996
[pid=270435] ppid=270432 vsize=9747964 memory=8997664 CPUtime=3154.48 cores=4,6
/proc/270435/stat : 270435 (CASHWMaxSAT-Dis) R 270432 270435 265209 0 -1 4194304 1365792 0 0 0 312193 3255 0 0 20 0 1 0 24982002 9981915136 2249416 134679101440 4194304 14636349 140734715979120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 30871552 140734715982823 140734715982939 140734715982939 140734715989950 0
/proc/270435/statm: 2436991 2249416 986 2550 0 2433946 0
Current children cumulated CPU time: 3154.48 s
Current children cumulated vsize: 9747964 KiB
Current children cumulated memory: 8997664 KiB

[startup+3222.3 s]
/proc/loadavg: 2.10 2.18 2.77 3/239 272368
/proc/meminfo: memFree=109281396/131524600 swapFree=131068900/131071996
[pid=270435] ppid=270432 vsize=9759304 memory=9055792 CPUtime=3214.34 cores=4,6
/proc/270435/stat : 270435 (CASHWMaxSAT-Dis) R 270432 270435 265209 0 -1 4194304 1372461 0 0 0 318141 3293 0 0 20 0 1 0 24982002 9993527296 2263948 134679101440 4194304 14636349 140734715979120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 30871552 140734715982823 140734715982939 140734715982939 140734715989950 0
/proc/270435/statm: 2439826 2263948 986 2550 0 2436781 0
Current children cumulated CPU time: 3214.34 s
Current children cumulated vsize: 9759304 KiB
Current children cumulated memory: 9055792 KiB

[startup+3282.3 s]
/proc/loadavg: 2.15 2.17 2.73 3/239 272378
/proc/meminfo: memFree=109181380/131524600 swapFree=131068900/131071996
[pid=270435] ppid=270432 vsize=10119468 memory=9152736 CPUtime=3274.21 cores=4,6
/proc/270435/stat : 270435 (CASHWMaxSAT-Dis) R 270432 270435 265209 0 -1 4194304 1380262 0 0 0 324077 3344 0 0 20 0 1 0 24982002 10362335232 2288184 134679101440 4194304 14636349 140734715979120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 30871552 140734715982823 140734715982939 140734715982939 140734715989950 0
/proc/270435/statm: 2529867 2288184 986 2550 0 2526822 0
Current children cumulated CPU time: 3274.21 s
Current children cumulated vsize: 10119468 KiB
Current children cumulated memory: 9152736 KiB

[startup+3342.3 s]
/proc/loadavg: 2.12 2.16 2.69 3/240 272392
/proc/meminfo: memFree=109265780/131524600 swapFree=131068900/131071996
[pid=270435] ppid=270432 vsize=9775936 memory=9074380 CPUtime=3334.08 cores=4,6
/proc/270435/stat : 270435 (CASHWMaxSAT-Dis) R 270432 270435 265209 0 -1 4194304 1387359 0 0 0 330007 3401 0 0 20 0 1 0 24982002 10010558464 2268595 134679101440 4194304 14636349 140734715979120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 30871552 140734715982823 140734715982939 140734715982939 140734715989950 0
/proc/270435/statm: 2443984 2268595 986 2550 0 2440939 0
Current children cumulated CPU time: 3334.08 s
Current children cumulated vsize: 9775936 KiB
Current children cumulated memory: 9074380 KiB

[startup+3402.3 s]
/proc/loadavg: 2.09 2.14 2.65 3/240 272404
/proc/meminfo: memFree=109285420/131524600 swapFree=131068900/131071996
[pid=270435] ppid=270432 vsize=9782972 memory=9056700 CPUtime=3393.94 cores=4,6
/proc/270435/stat : 270435 (CASHWMaxSAT-Dis) R 270432 270435 265209 0 -1 4194304 1394584 0 0 0 335938 3456 0 0 20 0 1 0 24982002 10017763328 2264175 134679101440 4194304 14636349 140734715979120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 30871552 140734715982823 140734715982939 140734715982939 140734715989950 0
/proc/270435/statm: 2445743 2264175 986 2550 0 2442698 0
Current children cumulated CPU time: 3393.94 s
Current children cumulated vsize: 9782972 KiB
Current children cumulated memory: 9056700 KiB

[startup+3462.3 s]
/proc/loadavg: 2.13 2.14 2.62 3/241 272415
/proc/meminfo: memFree=109144008/131524600 swapFree=131068900/131071996
[pid=270435] ppid=270432 vsize=10699792 memory=9366380 CPUtime=3453.82 cores=4,6
/proc/270435/stat : 270435 (CASHWMaxSAT-Dis) R 270432 270435 265209 0 -1 4194304 1402447 0 0 0 341875 3507 0 0 20 0 1 0 24982002 10956587008 2341595 134679101440 4194304 14636349 140734715979120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 30871552 140734715982823 140734715982939 140734715982939 140734715989950 0
/proc/270435/statm: 2674948 2341595 986 2550 0 2671903 0
Current children cumulated CPU time: 3453.82 s
Current children cumulated vsize: 10699792 KiB
Current children cumulated memory: 9366380 KiB

[startup+3522.3 s]
/proc/loadavg: 2.10 2.13 2.58 3/241 272425
/proc/meminfo: memFree=109253524/131524600 swapFree=131068900/131071996
[pid=270435] ppid=270432 vsize=9797360 memory=9077368 CPUtime=3513.69 cores=4,6
/proc/270435/stat : 270435 (CASHWMaxSAT-Dis) R 270432 270435 265209 0 -1 4194304 1410186 0 0 0 347810 3559 0 0 20 0 1 0 24982002 10032496640 2269342 134679101440 4194304 14636349 140734715979120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 30871552 140734715982823 140734715982939 140734715982939 140734715989950 0
/proc/270435/statm: 2449340 2269342 986 2550 0 2446295 0
Current children cumulated CPU time: 3513.69 s
Current children cumulated vsize: 9797360 KiB
Current children cumulated memory: 9077368 KiB

[startup+3582.3 s]
/proc/loadavg: 2.08 2.12 2.55 3/241 272438
/proc/meminfo: memFree=109162148/131524600 swapFree=131068900/131071996
[pid=270435] ppid=270432 vsize=9803704 memory=9147428 CPUtime=3573.56 cores=4,6
/proc/270435/stat : 270435 (CASHWMaxSAT-Dis) R 270432 270435 265209 0 -1 4194304 1415613 0 0 0 353762 3594 0 0 20 0 1 0 24982002 10038992896 2286857 134679101440 4194304 14636349 140734715979120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 30871552 140734715982823 140734715982939 140734715982939 140734715989950 0
/proc/270435/statm: 2450926 2286857 986 2550 0 2447881 0
Current children cumulated CPU time: 3573.56 s
Current children cumulated vsize: 9803704 KiB
Current children cumulated memory: 9147428 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.8 s]
/proc/loadavg: 2.11 2.12 2.54 3/241 272441
/proc/meminfo: memFree=109231332/131524600 swapFree=131068900/131071996
[pid=270435] ppid=270432 vsize=9804708 memory=9109444 CPUtime=3600 cores=4,6
/proc/270435/stat : 270435 (CASHWMaxSAT-Dis) R 270432 270435 265209 0 -1 4194304 1418647 0 0 0 356384 3616 0 0 20 0 1 0 24982002 10040020992 2277361 134679101440 4194304 14636349 140734715979120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 30871552 140734715982823 140734715982939 140734715982939 140734715989950 0
/proc/270435/statm: 2451177 2277361 986 2550 0 2448132 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 9804708 KiB
Current children cumulated memory: 9109444 KiB

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

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

# cumulated CPU time of all completed processes:  user=3563.85 s, system=36.2427 s

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

Child status: 0

Real time (s): 3608.87
CPU time (s): 3600.09
CPU user time (s): 3563.85
CPU system time (s): 36.2427
CPU usage (%): 99.7565
Max. virtual memory (cumulated for all children) (KiB): 10705408
Max. memory (cumulated for all children) (KiB): 9638800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3563.85
system time used= 36.2427
maximum resident set size= 9638800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1418647
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= 192
involuntary context switches= 5595


# summary of solver processes directly reported to runsolver:
#   pid: 270435
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3563.85
#   total CPU system time (s): 36.2427

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.47266 second user time and 17.2262 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-25 07:15:37
IDJOB=4459135
IDBENCH=178517
IDSOLVER=3076
FILE ID=nodeC018/4459135-1721884536
RUNJOBID= nodeC018-1721875930-265220
SLURM_JOB_ID= 8089226
Free space on /tmp= 889920 MiB

SOLVER NAME= CASHWMaxSAT-DisjCom-SP 2024-07-10
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/normalized-comppebphp_opt_pyrheightequalsnholes_54.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459135-1721884536/watcher-4459135-1721884536 -o /tmp/evaluation-result-4459135-1721884536/solver-4459135-1721884536 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721875930-265220 --watchdog 3760  CASHWMaxSAT-DisjCom-SP HOME/instance-4459135-1721884536.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 8dda82f4961ecebecfcf9bee24c61458
RANDOM SEED=1528428153

nodeC018.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3682.787
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.43
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		: 3670.831
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.33
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		: 3673.488
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.714
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.33
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		: 3623.499
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.43
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		: 3670.500
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.33
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		: 3598.767
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.43
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.133
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        116801900 kB
MemAvailable:   126197424 kB
Buffers:          290576 kB
Cached:          9879128 kB
SwapCached:          600 kB
Active:          2280760 kB
Inactive:       11723632 kB
Active(anon):       1860 kB
Inactive(anon):  3886552 kB
Active(file):    2278900 kB
Inactive(file):  7837080 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131068900 kB
Dirty:            126124 kB
Writeback:             4 kB
AnonPages:       3834128 kB
Mapped:           134512 kB
Shmem:             53728 kB
KReclaimable:     238736 kB
Slab:             359048 kB
SReclaimable:     238736 kB
SUnreclaim:       120312 kB
KernelStack:        4096 kB
PageTables:        16752 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    4710448 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17152 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2613248 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      375508 kB
DirectMap2M:    43438080 kB
DirectMap1G:    92274688 kB

Free space on /tmp at the end= 889948 MiB
End job on nodeC018 at 2024-07-25 08:15:46