Trace number 4442729

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
CASHWMaxSAT-DisjCad-S 2024-07-10? (TO) 3600.02 3609.71

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-95-90.opb
MD5SUM6537247428469e6459e4298d22ed7785
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 benchmark47.5905
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8550
Total number of constraints401945
Number of constraints which are clauses401945
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint90
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 91
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.01/3609.70	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: 64059 MiB (62431 MiB free)
  memory of node 1: 64510 MiB (61903 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442729-1721306719/watcher-4442729-1721306719 -o /tmp/evaluation-result-4442729-1721306719/solver-4442729-1721306719 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721306732-951192 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4442729-1721306719.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=951235, runsolver pid=951232

[startup+0.100098 s]*
/proc/loadavg: 2.61 3.67 3.95 5/244 951254
/proc/meminfo: memFree=127301252/131655788 swapFree=131071996/131071996
[pid=951235] ppid=951232 vsize=27492 memory=12924 CPUtime=0.1 cores=4,6
/proc/951235/stat : 951235 (CASHWMaxSAT-Dis) R 951232 951235 951181 0 -1 4194304 2685 0 0 0 9 1 0 0 20 0 1 0 182828890 28151808 3231 134679101440 4194304 14817773 140722053745600 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140722053747684 140722053747799 140722053747799 140722053754815 0
/proc/951235/statm: 6873 3231 878 2594 0 3766 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 12924 KiB

[startup+0.213781 s]*
/proc/loadavg: 2.61 3.67 3.95 5/244 951254
/proc/meminfo: memFree=127284860/131655788 swapFree=131071996/131071996
[pid=951235] ppid=951232 vsize=35168 memory=20580 CPUtime=0.22 cores=4,6
/proc/951235/stat : 951235 (CASHWMaxSAT-Dis) R 951232 951235 951181 0 -1 4194304 4580 0 0 0 21 1 0 0 20 0 1 0 182828890 36012032 5145 134679101440 4194304 14817773 140722053745600 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140722053747684 140722053747799 140722053747799 140722053754815 0
/proc/951235/statm: 8792 5145 878 2594 0 5685 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 35168 KiB
Current children cumulated memory: 20580 KiB

[startup+0.313288 s]*
/proc/loadavg: 2.61 3.67 3.95 5/244 951254
/proc/meminfo: memFree=127276364/131655788 swapFree=131071996/131071996
[pid=951235] ppid=951232 vsize=41916 memory=27180 CPUtime=0.32 cores=4,6
/proc/951235/stat : 951235 (CASHWMaxSAT-Dis) R 951232 951235 951181 0 -1 4194304 6237 0 0 0 30 2 0 0 20 0 1 0 182828890 42921984 6795 134679101440 4194304 14817773 140722053745600 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140722053747684 140722053747799 140722053747799 140722053754815 0
/proc/951235/statm: 10479 6795 878 2594 0 7372 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 41916 KiB
Current children cumulated memory: 27180 KiB

[startup+0.700342 s]
/proc/loadavg: 2.61 3.67 3.95 5/244 951254
/proc/meminfo: memFree=127260936/131655788 swapFree=131071996/131071996
[pid=951235] ppid=951232 vsize=72888 memory=58332 CPUtime=0.69 cores=4,6
/proc/951235/stat : 951235 (CASHWMaxSAT-Dis) R 951232 951235 951181 0 -1 4194304 14001 0 0 0 65 4 0 0 20 0 1 0 182828890 74637312 14583 134679101440 4194304 14817773 140722053745600 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140722053747684 140722053747799 140722053747799 140722053754815 0
/proc/951235/statm: 18222 14583 878 2594 0 15115 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 72888 KiB
Current children cumulated memory: 58332 KiB

[startup+1.50034 s]
/proc/loadavg: 2.61 3.67 3.95 5/244 951254
/proc/meminfo: memFree=127210564/131655788 swapFree=131071996/131071996
[pid=951235] ppid=951232 vsize=165968 memory=150732 CPUtime=1.48 cores=4,6
/proc/951235/stat : 951235 (CASHWMaxSAT-Dis) R 951232 951235 951181 0 -1 4194304 37139 0 0 0 139 9 0 0 20 0 1 0 182828890 169951232 37683 134679101440 4194304 14817773 140722053745600 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140722053747684 140722053747799 140722053747799 140722053754815 0
/proc/951235/statm: 41492 37683 878 2594 0 38385 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 165968 KiB
Current children cumulated memory: 150732 KiB

[startup+3.1127 s]
/proc/loadavg: 2.72 3.68 3.95 5/244 951254
/proc/meminfo: memFree=126967844/131655788 swapFree=131071996/131071996
[pid=951235] ppid=951232 vsize=337196 memory=321552 CPUtime=3.09 cores=4,6
/proc/951235/stat : 951235 (CASHWMaxSAT-Dis) R 951232 951235 951181 0 -1 4194304 79505 0 0 0 290 19 0 0 20 0 1 0 182828890 345288704 80388 134679101440 4194304 14817773 140722053745600 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140722053747684 140722053747799 140722053747799 140722053754815 0
/proc/951235/statm: 84299 80388 990 2594 0 81192 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 337196 KiB
Current children cumulated memory: 321552 KiB

[startup+6.30032 s]
/proc/loadavg: 2.72 3.68 3.95 5/244 951300
/proc/meminfo: memFree=126696612/131655788 swapFree=131071996/131071996
[pid=951235] ppid=951232 vsize=359124 memory=343464 CPUtime=6.27 cores=4,6
/proc/951235/stat : 951235 (CASHWMaxSAT-Dis) R 951232 951235 951181 0 -1 4194304 83574 0 0 0 606 21 0 0 20 0 1 0 182828890 367742976 85866 134679101440 4194304 14817773 140722053745600 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140722053747684 140722053747799 140722053747799 140722053754815 0
/proc/951235/statm: 89781 85866 1006 2594 0 86674 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 359124 KiB
Current children cumulated memory: 343464 KiB

[startup+12.7003 s]
/proc/loadavg: 2.99 3.70 3.96 5/244 951302
/proc/meminfo: memFree=126701508/131655788 swapFree=131071996/131071996
[pid=951235] ppid=951232 vsize=361560 memory=345776 CPUtime=12.65 cores=4,6
/proc/951235/stat : 951235 (CASHWMaxSAT-Dis) R 951232 951235 951181 0 -1 4194304 86000 0 0 0 1241 24 0 0 20 0 1 0 182828890 370237440 86444 134679101440 4194304 14817773 140722053745600 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140722053747684 140722053747799 140722053747799 140722053754815 0
/proc/951235/statm: 90390 86444 1006 2594 0 87283 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 361560 KiB
Current children cumulated memory: 345776 KiB

[startup+25.5003 s]
/proc/loadavg: 3.15 3.71 3.96 5/244 951303
/proc/meminfo: memFree=126638044/131655788 swapFree=131071996/131071996
[pid=951235] ppid=951232 vsize=380856 memory=365280 CPUtime=25.42 cores=4,6
/proc/951235/stat : 951235 (CASHWMaxSAT-Dis) R 951232 951235 951181 0 -1 4194304 89069 0 0 0 2514 28 0 0 20 0 1 0 182828890 389996544 91320 134679101440 4194304 14817773 140722053745600 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140722053747684 140722053747799 140722053747799 140722053754815 0
/proc/951235/statm: 95214 91320 1006 2594 0 92107 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 380856 KiB
Current children cumulated memory: 365280 KiB

[startup+51.1124 s]
/proc/loadavg: 3.51 3.75 3.96 5/242 951308
/proc/meminfo: memFree=126574312/131655788 swapFree=131071996/131071996
[pid=951235] ppid=951232 vsize=374896 memory=359320 CPUtime=50.96 cores=4,6
/proc/951235/stat : 951235 (CASHWMaxSAT-Dis) R 951232 951235 951181 0 -1 4194304 92809 0 0 0 5061 35 0 0 20 0 1 0 182828890 383893504 89830 134679101440 4194304 14817773 140722053745600 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140722053747684 140722053747799 140722053747799 140722053754815 0
/proc/951235/statm: 93724 89830 1006 2594 0 90617 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 374896 KiB
Current children cumulated memory: 359320 KiB

[startup+102.3 s]
/proc/loadavg: 3.91 3.83 3.98 5/242 951316
/proc/meminfo: memFree=126528556/131655788 swapFree=131071996/131071996
[pid=951235] ppid=951232 vsize=402804 memory=387224 CPUtime=102 cores=4,6
/proc/951235/stat : 951235 (CASHWMaxSAT-Dis) R 951232 951235 951181 0 -1 4194304 98186 0 0 0 10157 43 0 0 20 0 1 0 182828890 412471296 96806 134679101440 4194304 14817773 140722053745600 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140722053747684 140722053747799 140722053747799 140722053754815 0
/proc/951235/statm: 100701 96806 1006 2594 0 97594 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 402804 KiB
Current children cumulated memory: 387224 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 3.89 4.00 5/242 951327
/proc/meminfo: memFree=126495576/131655788 swapFree=131071996/131071996
[pid=951235] ppid=951232 vsize=406396 memory=390816 CPUtime=161.83 cores=4,6
/proc/951235/stat : 951235 (CASHWMaxSAT-Dis) R 951232 951235 951181 0 -1 4194304 103659 0 0 0 16126 57 0 0 20 0 1 0 182828890 416149504 97704 134679101440 4194304 14817773 140722053745600 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140722053747684 140722053747799 140722053747799 140722053754815 0
/proc/951235/statm: 101599 97704 1006 2594 0 98492 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 406396 KiB
Current children cumulated memory: 390816 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 3.94 4.01 5/242 951338
/proc/meminfo: memFree=126404372/131655788 swapFree=131071996/131071996
[pid=951235] ppid=951232 vsize=419228 memory=403820 CPUtime=221.65 cores=4,6
/proc/951235/stat : 951235 (CASHWMaxSAT-Dis) R 951232 951235 951181 0 -1 4194304 107643 0 0 0 22097 68 0 0 20 0 1 0 182828890 429289472 100955 134679101440 4194304 14817773 140722053745600 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140722053747684 140722053747799 140722053747799 140722053754815 0
/proc/951235/statm: 104807 100955 1006 2594 0 101700 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 419228 KiB
Current children cumulated memory: 403820 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 3.97 4.01 5/242 951348
/proc/meminfo: memFree=126459348/131655788 swapFree=131071996/131071996
[pid=951235] ppid=951232 vsize=349248 memory=333840 CPUtime=281.49 cores=4,6
/proc/951235/stat : 951235 (CASHWMaxSAT-Dis) R 951232 951235 951181 0 -1 4194304 110759 0 0 0 28073 76 0 0 20 0 1 0 182828890 357629952 83460 134679101440 4194304 14817773 140722053745600 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140722053747684 140722053747799 140722053747799 140722053754815 0
/proc/951235/statm: 87312 83460 1006 2594 0 84205 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 349248 KiB
Current children cumulated memory: 333840 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 3.99 4.01 5/244 951364
/proc/meminfo: memFree=126361584/131655788 swapFree=131071996/131071996
[pid=951235] ppid=951232 vsize=429652 memory=414280 CPUtime=341.32 cores=4,6
/proc/951235/stat : 951235 (CASHWMaxSAT-Dis) R 951232 951235 951181 0 -1 4194304 113531 0 0 0 34048 84 0 0 20 0 1 0 182828890 439963648 103570 134679101440 4194304 14817773 140722053745600 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140722053747684 140722053747799 140722053747799 140722053754815 0
/proc/951235/statm: 107413 103570 1006 2594 0 104306 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 429652 KiB
Current children cumulated memory: 414280 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.03 4.01 5/244 951374
/proc/meminfo: memFree=126275400/131655788 swapFree=131071996/131071996
[pid=951235] ppid=951232 vsize=433640 memory=418160 CPUtime=401.19 cores=4,6
/proc/951235/stat : 951235 (CASHWMaxSAT-Dis) R 951232 951235 951181 0 -1 4194304 116334 0 0 0 40027 92 0 0 20 0 1 0 182828890 444047360 104540 134679101440 4194304 14817773 140722053745600 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140722053747684 140722053747799 140722053747799 140722053754815 0
/proc/951235/statm: 108410 104540 1006 2594 0 105303 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 433640 KiB
Current children cumulated memory: 418160 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.03 4.01 5/244 951384
/proc/meminfo: memFree=126383780/131655788 swapFree=131071996/131071996
[pid=951235] ppid=951232 vsize=349248 memory=333876 CPUtime=461.04 cores=4,6
/proc/951235/stat : 951235 (CASHWMaxSAT-Dis) R 951232 951235 951181 0 -1 4194304 119156 0 0 0 46003 101 0 0 20 0 1 0 182828890 357629952 83469 134679101440 4194304 14817773 140722053745600 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140722053747684 140722053747799 140722053747799 140722053754815 0
/proc/951235/statm: 87312 83469 1006 2594 0 84205 0

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

Current children cumulated memory: 748684 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.15 4.17 5/244 953018
/proc/meminfo: memFree=125382104/131655788 swapFree=131071996/131071996
[pid=951235] ppid=951232 vsize=858976 memory=842916 CPUtime=2914.29 cores=4,6
/proc/951235/stat : 951235 (CASHWMaxSAT-Dis) R 951232 951235 951181 0 -1 4194304 247803 0 0 0 290935 494 0 0 20 0 1 0 182828890 879591424 210729 134679101440 4194304 14817773 140722053745600 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140722053747684 140722053747799 140722053747799 140722053754815 0
/proc/951235/statm: 214744 210729 1006 2594 0 211637 0
Current children cumulated CPU time: 2914.29 s
Current children cumulated vsize: 858976 KiB
Current children cumulated memory: 842916 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/243 953030
/proc/meminfo: memFree=125443720/131655788 swapFree=131071996/131071996
[pid=951235] ppid=951232 vsize=803760 memory=787880 CPUtime=2974.16 cores=4,6
/proc/951235/stat : 951235 (CASHWMaxSAT-Dis) R 951232 951235 951181 0 -1 4194304 249395 0 0 0 296910 506 0 0 20 0 1 0 182828890 823050240 196970 134679101440 4194304 14817773 140722053745600 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140722053747684 140722053747799 140722053747799 140722053754815 0
/proc/951235/statm: 200940 196970 1006 2594 0 197833 0
Current children cumulated CPU time: 2974.16 s
Current children cumulated vsize: 803760 KiB
Current children cumulated memory: 787880 KiB

[startup+3042.3 s]
/proc/loadavg: 4.06 4.12 4.16 5/242 953040
/proc/meminfo: memFree=125415044/131655788 swapFree=131071996/131071996
[pid=951235] ppid=951232 vsize=800488 memory=784608 CPUtime=3034.02 cores=4,6
/proc/951235/stat : 951235 (CASHWMaxSAT-Dis) R 951232 951235 951181 0 -1 4194304 250587 0 0 0 302891 511 0 0 20 0 1 0 182828890 819699712 196152 134679101440 4194304 14817773 140722053745600 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140722053747684 140722053747799 140722053747799 140722053754815 0
/proc/951235/statm: 200122 196152 1006 2594 0 197015 0
Current children cumulated CPU time: 3034.02 s
Current children cumulated vsize: 800488 KiB
Current children cumulated memory: 784608 KiB

[startup+3102.3 s]
/proc/loadavg: 4.06 4.11 4.15 5/242 953050
/proc/meminfo: memFree=125605976/131655788 swapFree=131071996/131071996
[pid=951235] ppid=951232 vsize=625732 memory=609852 CPUtime=3093.88 cores=4,6
/proc/951235/stat : 951235 (CASHWMaxSAT-Dis) R 951232 951235 951181 0 -1 4194304 252254 0 0 0 308866 522 0 0 20 0 1 0 182828890 640749568 152463 134679101440 4194304 14817773 140722053745600 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140722053747684 140722053747799 140722053747799 140722053754815 0
/proc/951235/statm: 156433 152463 1006 2594 0 153326 0
Current children cumulated CPU time: 3093.88 s
Current children cumulated vsize: 625732 KiB
Current children cumulated memory: 609852 KiB

[startup+3162.3 s]
/proc/loadavg: 4.18 4.14 4.16 5/241 953061
/proc/meminfo: memFree=125452880/131655788 swapFree=131071996/131071996
[pid=951235] ppid=951232 vsize=752012 memory=736132 CPUtime=3153.74 cores=4,6
/proc/951235/stat : 951235 (CASHWMaxSAT-Dis) R 951232 951235 951181 0 -1 4194304 253068 0 0 0 314848 526 0 0 20 0 1 0 182828890 770060288 184033 134679101440 4194304 14817773 140722053745600 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140722053747684 140722053747799 140722053747799 140722053754815 0
/proc/951235/statm: 188003 184033 1006 2594 0 184896 0
Current children cumulated CPU time: 3153.74 s
Current children cumulated vsize: 752012 KiB
Current children cumulated memory: 736132 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.12 4.15 5/241 953071
/proc/meminfo: memFree=125450980/131655788 swapFree=131071996/131071996
[pid=951235] ppid=951232 vsize=782888 memory=767008 CPUtime=3213.59 cores=4,6
/proc/951235/stat : 951235 (CASHWMaxSAT-Dis) R 951232 951235 951181 0 -1 4194304 254387 0 0 0 320823 536 0 0 20 0 1 0 182828890 801677312 191752 134679101440 4194304 14817773 140722053745600 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140722053747684 140722053747799 140722053747799 140722053754815 0
/proc/951235/statm: 195722 191752 1006 2594 0 192615 0
Current children cumulated CPU time: 3213.59 s
Current children cumulated vsize: 782888 KiB
Current children cumulated memory: 767008 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.13 4.15 5/241 953081
/proc/meminfo: memFree=125383364/131655788 swapFree=131071996/131071996
[pid=951235] ppid=951232 vsize=846212 memory=830332 CPUtime=3273.46 cores=4,6
/proc/951235/stat : 951235 (CASHWMaxSAT-Dis) R 951232 951235 951181 0 -1 4194304 255794 0 0 0 326803 543 0 0 20 0 1 0 182828890 866521088 207583 134679101440 4194304 14817773 140722053745600 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140722053747684 140722053747799 140722053747799 140722053754815 0
/proc/951235/statm: 211553 207583 1006 2594 0 208446 0
Current children cumulated CPU time: 3273.46 s
Current children cumulated vsize: 846212 KiB
Current children cumulated memory: 830332 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/244 953098
/proc/meminfo: memFree=125311436/131655788 swapFree=131071996/131071996
[pid=951235] ppid=951232 vsize=1230828 memory=1215504 CPUtime=3333.32 cores=4,6
/proc/951235/stat : 951235 (CASHWMaxSAT-Dis) R 951232 951235 951181 0 -1 4194304 276587 0 0 0 332770 562 0 0 20 0 1 0 182828890 1260367872 303876 134679101440 4194304 14817773 140722053745600 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140722053747684 140722053747799 140722053747799 140722053754815 0
/proc/951235/statm: 307707 303876 1006 2594 0 304600 0
Current children cumulated CPU time: 3333.32 s
Current children cumulated vsize: 1230828 KiB
Current children cumulated memory: 1215504 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/244 953108
/proc/meminfo: memFree=125589540/131655788 swapFree=131071996/131071996
[pid=951235] ppid=951232 vsize=874748 memory=857956 CPUtime=3393.18 cores=4,6
/proc/951235/stat : 951235 (CASHWMaxSAT-Dis) R 951232 951235 951181 0 -1 4194304 286085 0 0 0 338748 570 0 0 20 0 1 0 182828890 895741952 214489 134679101440 4194304 14817773 140722053745600 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140722053747684 140722053747799 140722053747799 140722053754815 0
/proc/951235/statm: 218687 214489 1006 2594 0 215580 0
Current children cumulated CPU time: 3393.18 s
Current children cumulated vsize: 874748 KiB
Current children cumulated memory: 857956 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.14 5/244 953118
/proc/meminfo: memFree=125476864/131655788 swapFree=131071996/131071996
[pid=951235] ppid=951232 vsize=796376 memory=779584 CPUtime=3453.01 cores=4,6
/proc/951235/stat : 951235 (CASHWMaxSAT-Dis) R 951232 951235 951181 0 -1 4194304 288111 0 0 0 344720 581 0 0 20 0 1 0 182828890 815489024 194896 134679101440 4194304 14817773 140722053745600 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140722053747684 140722053747799 140722053747799 140722053754815 0
/proc/951235/statm: 199094 194896 1006 2594 0 195987 0
Current children cumulated CPU time: 3453.01 s
Current children cumulated vsize: 796376 KiB
Current children cumulated memory: 779584 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.13 5/244 953129
/proc/meminfo: memFree=125512060/131655788 swapFree=131071996/131071996
[pid=951235] ppid=951232 vsize=757168 memory=740376 CPUtime=3512.85 cores=4,6
/proc/951235/stat : 951235 (CASHWMaxSAT-Dis) R 951232 951235 951181 0 -1 4194304 289007 0 0 0 350700 585 0 0 20 0 1 0 182828890 775340032 185094 134679101440 4194304 14817773 140722053745600 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140722053747684 140722053747799 140722053747799 140722053754815 0
/proc/951235/statm: 189292 185094 1006 2594 0 186185 0
Current children cumulated CPU time: 3512.85 s
Current children cumulated vsize: 757168 KiB
Current children cumulated memory: 740376 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.13 5/244 953140
/proc/meminfo: memFree=125425796/131655788 swapFree=131071996/131071996
[pid=951235] ppid=951232 vsize=843672 memory=826876 CPUtime=3572.68 cores=4,6
/proc/951235/stat : 951235 (CASHWMaxSAT-Dis) R 951232 951235 951181 0 -1 4194304 290521 0 0 0 356671 597 0 0 20 0 1 0 182828890 863920128 206719 134679101440 4194304 14817773 140722053745600 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140722053747684 140722053747799 140722053747799 140722053754815 0
/proc/951235/statm: 210918 206719 1006 2594 0 207811 0
Current children cumulated CPU time: 3572.68 s
Current children cumulated vsize: 843672 KiB
Current children cumulated memory: 826876 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.10 4.11 4.13 4/239 953152
/proc/meminfo: memFree=125645044/131655788 swapFree=131071996/131071996
[pid=951235] ppid=951232 vsize=843672 memory=826876 CPUtime=3600.01 cores=4,6
/proc/951235/stat : 951235 (CASHWMaxSAT-Dis) R 951232 951235 951181 0 -1 4194304 290735 0 0 0 359404 597 0 0 20 0 1 0 182828890 863920128 206719 134679101440 4194304 14817773 140722053745600 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140722053747684 140722053747799 140722053747799 140722053754815 0
/proc/951235/statm: 210918 206719 1006 2594 0 207811 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 843672 KiB
Current children cumulated memory: 826876 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.04 s, system=5.97616 s

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

[startup+3609.7 s]
/proc/loadavg: 4.10 4.11 4.13 4/239 953152
/proc/meminfo: memFree=125645044/131655788 swapFree=131071996/131071996
[pid=951235] ppid=951232 vsize=843672 memory=826876 CPUtime=3600.01 cores=4,6
/proc/951235/stat : 951235 (CASHWMaxSAT-Dis) R 951232 951235 951181 0 -1 4194304 290735 0 0 0 359404 597 0 0 20 0 1 0 182828890 863920128 206719 134679101440 4194304 14817773 140722053745600 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41132032 140722053747684 140722053747799 140722053747799 140722053754815 0
/proc/951235/statm: 210918 206719 1006 2594 0 207811 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 843672 KiB
Current children cumulated memory: 826876 KiB

Child status: 0

Real time (s): 3609.71
CPU time (s): 3600.02
CPU user time (s): 3594.04
CPU system time (s): 5.97616
CPU usage (%): 99.7316
Max. virtual memory (cumulated for all children) (KiB): 1346164
Max. memory (cumulated for all children) (KiB): 1328848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.04
system time used= 5.97616
maximum resident set size= 1329112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 290735
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= 123
involuntary context switches= 1492


# summary of solver processes directly reported to runsolver:
#   pid: 951235
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3594.04
#   total CPU system time (s): 5.97616

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.6567 second user time and 25.2835 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-07-18 14:45:32
IDJOB=4442729
IDBENCH=147844
IDSOLVER=3075
FILE ID=nodeC012/4442729-1721306719
RUNJOBID= nodeC012-1721306732-951192
SLURM_JOB_ID= 7542645
Free space on /tmp= 723724 MiB

SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-95-90.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442729-1721306719/watcher-4442729-1721306719 -o /tmp/evaluation-result-4442729-1721306719/solver-4442729-1721306719 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721306732-951192 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4442729-1721306719.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 6537247428469e6459e4298d22ed7785
RANDOM SEED=950888196

nodeC012.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	: 0xb00001f
cpu MHz		: 1197.335
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 invpcid_single pti 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	: 6984.37
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.325
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 invpcid_single pti 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	: 6983.32
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.326
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 invpcid_single pti 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	: 6984.37
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.325
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 invpcid_single pti 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	: 6983.32
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		: 3488.807
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 invpcid_single pti 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	: 6984.37
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.340
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 invpcid_single pti 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	: 6983.32
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		: 1197.331
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 invpcid_single pti 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	: 6984.37
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.318
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 invpcid_single pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127321640 kB
MemAvailable:   129918484 kB
Buffers:          497160 kB
Cached:          2920504 kB
SwapCached:            0 kB
Active:          1003120 kB
Inactive:        2746988 kB
Active(anon):       1344 kB
Inactive(anon):   369192 kB
Active(file):    1001776 kB
Inactive(file):  2377796 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             65064 kB
Writeback:             8 kB
AnonPages:        332844 kB
Mapped:           105580 kB
Shmem:             37704 kB
KReclaimable:     114608 kB
Slab:             219136 kB
SReclaimable:     114608 kB
SUnreclaim:       104528 kB
KernelStack:        3664 kB
PageTables:         9508 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     755276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            57856 kB
HardwareCorrupted:     0 kB
AnonHugePages:    212992 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:      312136 kB
DirectMap2M:    33146880 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723704 MiB
End job on nodeC012 at 2024-07-18 15:45:42