Trace number 4442639

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

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-35-30.opb
MD5SUMda953313a09cceac0c8e3e7fb7d08ab4
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 benchmark0.469038
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1050
Total number of constraints17885
Number of constraints which are clauses17885
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 constraint30
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 31
Number of bits of the biggest sum of numbers5
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/3608.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: 64059 MiB (62933 MiB free)
  memory of node 1: 64510 MiB (63244 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442639-1721305186/watcher-4442639-1721305186 -o /tmp/evaluation-result-4442639-1721305186/solver-4442639-1721305186 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721305198-946541 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4442639-1721305186.opb -total-t=3600 -no-par -v0 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=946596, runsolver pid=946588
Current StackSize limit: 8192 KiB


[startup+0.100097 s]*
/proc/loadavg: 1.16 2.41 3.43 5/244 946604
/proc/meminfo: memFree=129178416/131655788 swapFree=131071996/131071996
[pid=946596] ppid=946588 vsize=25516 memory=11184 CPUtime=0.1 cores=5,7
/proc/946596/stat : 946596 (CASHWMaxSAT-Dis) R 946588 946596 946528 0 -1 4194304 2061 0 0 0 10 0 0 0 20 0 1 0 182678187 26128384 2796 134679101440 4194304 14817773 140732383933072 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49078272 140732383937508 140732383937623 140732383937623 140732383944639 0
/proc/946596/statm: 6379 2796 878 2594 0 3272 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 25516 KiB
Current children cumulated memory: 11184 KiB

[startup+0.215766 s]*
/proc/loadavg: 1.16 2.41 3.43 6/244 946604
/proc/meminfo: memFree=129150852/131655788 swapFree=131071996/131071996
[pid=946596] ppid=946588 vsize=32516 memory=18500 CPUtime=0.22 cores=5,7
/proc/946596/stat : 946596 (CASHWMaxSAT-Dis) R 946588 946596 946528 0 -1 4194304 3877 0 0 0 21 1 0 0 20 0 1 0 182678187 33296384 4625 134679101440 4194304 14817773 140732383933072 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49078272 140732383937508 140732383937623 140732383937623 140732383944639 0
/proc/946596/statm: 8129 4625 990 2594 0 5022 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 32516 KiB
Current children cumulated memory: 18500 KiB

[startup+0.31523 s]*
/proc/loadavg: 1.16 2.41 3.43 5/244 946604
/proc/meminfo: memFree=129141500/131655788 swapFree=131071996/131071996
[pid=946596] ppid=946588 vsize=33180 memory=19316 CPUtime=0.31 cores=5,7
/proc/946596/stat : 946596 (CASHWMaxSAT-Dis) R 946588 946596 946528 0 -1 4194304 4199 0 0 0 30 1 0 0 20 0 1 0 182678187 33976320 4829 134679101440 4194304 14817773 140732383933072 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49078272 140732383937508 140732383937623 140732383937623 140732383944639 0
/proc/946596/statm: 8295 4829 990 2594 0 5188 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33180 KiB
Current children cumulated memory: 19316 KiB

[startup+0.700284 s]
/proc/loadavg: 1.16 2.41 3.43 5/244 946604
/proc/meminfo: memFree=129125768/131655788 swapFree=131071996/131071996
[pid=946596] ppid=946588 vsize=33636 memory=19692 CPUtime=0.68 cores=5,7
/proc/946596/stat : 946596 (CASHWMaxSAT-Dis) R 946588 946596 946528 0 -1 4194304 5049 0 0 0 67 1 0 0 20 0 1 0 182678187 34443264 4923 134679101440 4194304 14817773 140732383933072 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49078272 140732383937508 140732383937623 140732383937623 140732383944639 0
/proc/946596/statm: 8409 4923 1006 2594 0 5302 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 33636 KiB
Current children cumulated memory: 19692 KiB

[startup+1.50031 s]
/proc/loadavg: 1.16 2.41 3.43 5/244 946604
/proc/meminfo: memFree=129120120/131655788 swapFree=131071996/131071996
[pid=946596] ppid=946588 vsize=34712 memory=20792 CPUtime=1.49 cores=5,7
/proc/946596/stat : 946596 (CASHWMaxSAT-Dis) R 946588 946596 946528 0 -1 4194304 6220 0 0 0 147 2 0 0 20 0 1 0 182678187 35545088 5198 134679101440 4194304 14817773 140732383933072 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49078272 140732383937508 140732383937623 140732383937623 140732383944639 0
/proc/946596/statm: 8678 5198 1006 2594 0 5571 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 34712 KiB
Current children cumulated memory: 20792 KiB

[startup+3.11383 s]
/proc/loadavg: 1.16 2.41 3.43 5/244 946604
/proc/meminfo: memFree=129117860/131655788 swapFree=131071996/131071996
[pid=946596] ppid=946588 vsize=34712 memory=20872 CPUtime=3.09 cores=5,7
/proc/946596/stat : 946596 (CASHWMaxSAT-Dis) R 946588 946596 946528 0 -1 4194304 8206 0 0 0 307 2 0 0 20 0 1 0 182678187 35545088 5218 134679101440 4194304 14817773 140732383933072 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49078272 140732383937508 140732383937623 140732383937623 140732383944639 0
/proc/946596/statm: 8678 5218 1006 2594 0 5571 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 34712 KiB
Current children cumulated memory: 20872 KiB

[startup+6.30026 s]
/proc/loadavg: 1.39 2.44 3.44 5/244 946604
/proc/meminfo: memFree=129094844/131655788 swapFree=131071996/131071996
[pid=946596] ppid=946588 vsize=35384 memory=21588 CPUtime=6.27 cores=5,7
/proc/946596/stat : 946596 (CASHWMaxSAT-Dis) R 946588 946596 946528 0 -1 4194304 13488 0 0 0 624 3 0 0 20 0 1 0 182678187 36233216 5397 134679101440 4194304 14817773 140732383933072 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49078272 140732383937508 140732383937623 140732383937623 140732383944639 0
/proc/946596/statm: 8846 5397 1006 2594 0 5739 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 35384 KiB
Current children cumulated memory: 21588 KiB

[startup+12.7003 s]
/proc/loadavg: 1.60 2.46 3.44 5/244 946606
/proc/meminfo: memFree=129069740/131655788 swapFree=131071996/131071996
[pid=946596] ppid=946588 vsize=36752 memory=22840 CPUtime=12.66 cores=5,7
/proc/946596/stat : 946596 (CASHWMaxSAT-Dis) R 946588 946596 946528 0 -1 4194304 19571 0 0 0 1261 5 0 0 20 0 1 0 182678187 37634048 5710 134679101440 4194304 14817773 140732383933072 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49078272 140732383937508 140732383937623 140732383937623 140732383944639 0
/proc/946596/statm: 9188 5710 1006 2594 0 6081 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 36752 KiB
Current children cumulated memory: 22840 KiB

[startup+25.5003 s]
/proc/loadavg: 2.13 2.54 3.45 5/244 946607
/proc/meminfo: memFree=129052508/131655788 swapFree=131071996/131071996
[pid=946596] ppid=946588 vsize=43992 memory=29816 CPUtime=25.43 cores=5,7
/proc/946596/stat : 946596 (CASHWMaxSAT-Dis) R 946588 946596 946528 0 -1 4194304 27471 0 0 0 2537 6 0 0 20 0 1 0 182678187 45047808 7454 134679101440 4194304 14817773 140732383933072 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49078272 140732383937508 140732383937623 140732383937623 140732383944639 0
/proc/946596/statm: 10998 7454 1006 2594 0 7891 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 43992 KiB
Current children cumulated memory: 29816 KiB

[startup+51.1136 s]
/proc/loadavg: 2.83 2.67 3.47 5/246 946616
/proc/meminfo: memFree=128993448/131655788 swapFree=131071996/131071996
[pid=946596] ppid=946588 vsize=49864 memory=36068 CPUtime=50.98 cores=5,7
/proc/946596/stat : 946596 (CASHWMaxSAT-Dis) R 946588 946596 946528 0 -1 4194304 28511 0 0 0 5092 6 0 0 20 0 1 0 182678187 51060736 9017 134679101440 4194304 14817773 140732383933072 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49078272 140732383937508 140732383937623 140732383937623 140732383944639 0
/proc/946596/statm: 12466 9017 1006 2594 0 9359 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 49864 KiB
Current children cumulated memory: 36068 KiB

[startup+102.3 s]
/proc/loadavg: 3.55 2.90 3.51 5/246 946624
/proc/meminfo: memFree=128914904/131655788 swapFree=131071996/131071996
[pid=946596] ppid=946588 vsize=75020 memory=61200 CPUtime=102.05 cores=5,7
/proc/946596/stat : 946596 (CASHWMaxSAT-Dis) R 946588 946596 946528 0 -1 4194304 33128 0 0 0 10197 8 0 0 20 0 1 0 182678187 76820480 15300 134679101440 4194304 14817773 140732383933072 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49078272 140732383937508 140732383937623 140732383937623 140732383944639 0
/proc/946596/statm: 18755 15300 1006 2594 0 15648 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 75020 KiB
Current children cumulated memory: 61200 KiB

[startup+162.3 s]
/proc/loadavg: 3.92 3.12 3.55 5/246 946636
/proc/meminfo: memFree=128815892/131655788 swapFree=131071996/131071996
[pid=946596] ppid=946588 vsize=95324 memory=81524 CPUtime=161.91 cores=5,7
/proc/946596/stat : 946596 (CASHWMaxSAT-Dis) R 946588 946596 946528 0 -1 4194304 35907 0 0 0 16181 10 0 0 20 0 1 0 182678187 97611776 20381 134679101440 4194304 14817773 140732383933072 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49078272 140732383937508 140732383937623 140732383937623 140732383944639 0
/proc/946596/statm: 23831 20381 1006 2594 0 20724 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 95324 KiB
Current children cumulated memory: 81524 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 3.30 3.58 5/246 946646
/proc/meminfo: memFree=128805016/131655788 swapFree=131071996/131071996
[pid=946596] ppid=946588 vsize=95324 memory=81524 CPUtime=221.77 cores=5,7
/proc/946596/stat : 946596 (CASHWMaxSAT-Dis) R 946588 946596 946528 0 -1 4194304 35920 0 0 0 22167 10 0 0 20 0 1 0 182678187 97611776 20381 134679101440 4194304 14817773 140732383933072 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49078272 140732383937508 140732383937623 140732383937623 140732383944639 0
/proc/946596/statm: 23831 20381 1006 2594 0 20724 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 95324 KiB
Current children cumulated memory: 81524 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 3.44 3.62 5/246 946657
/proc/meminfo: memFree=128769744/131655788 swapFree=131071996/131071996
[pid=946596] ppid=946588 vsize=68420 memory=54516 CPUtime=281.64 cores=5,7
/proc/946596/stat : 946596 (CASHWMaxSAT-Dis) R 946588 946596 946528 0 -1 4194304 36836 0 0 0 28154 10 0 0 20 0 1 0 182678187 70062080 13629 134679101440 4194304 14817773 140732383933072 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49078272 140732383937508 140732383937623 140732383937623 140732383944639 0
/proc/946596/statm: 17105 13629 1006 2594 0 13998 0
Current children cumulated CPU time: 281.64 s
Current children cumulated vsize: 68420 KiB
Current children cumulated memory: 54516 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 3.58 3.65 5/245 947051
/proc/meminfo: memFree=128739052/131655788 swapFree=131071996/131071996
[pid=946596] ppid=946588 vsize=112260 memory=98344 CPUtime=341.49 cores=5,7
/proc/946596/stat : 946596 (CASHWMaxSAT-Dis) R 946588 946596 946528 0 -1 4194304 42486 0 0 0 34134 15 0 0 20 0 1 0 182678187 114954240 24586 134679101440 4194304 14817773 140732383933072 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49078272 140732383937508 140732383937623 140732383937623 140732383944639 0
/proc/946596/statm: 28065 24586 1006 2594 0 24958 0
Current children cumulated CPU time: 341.49 s
Current children cumulated vsize: 112260 KiB
Current children cumulated memory: 98344 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.69 3.69 5/243 947062
/proc/meminfo: memFree=128721700/131655788 swapFree=131071996/131071996
[pid=946596] ppid=946588 vsize=120436 memory=106656 CPUtime=401.35 cores=5,7
/proc/946596/stat : 946596 (CASHWMaxSAT-Dis) R 946588 946596 946528 0 -1 4194304 43552 0 0 0 40120 15 0 0 20 0 1 0 182678187 123326464 26664 134679101440 4194304 14817773 140732383933072 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49078272 140732383937508 140732383937623 140732383937623 140732383944639 0
/proc/946596/statm: 30109 26664 1006 2594 0 27002 0
Current children cumulated CPU time: 401.35 s
Current children cumulated vsize: 120436 KiB
Current children cumulated memory: 106656 KiB

[startup+462.3 s]
/proc/loadavg: 4.24 3.79 3.73 5/243 947072
/proc/meminfo: memFree=128769680/131655788 swapFree=131071996/131071996
[pid=946596] ppid=946588 vsize=127736 memory=113976 CPUtime=461.21 cores=5,7
/proc/946596/stat : 946596 (CASHWMaxSAT-Dis) R 946588 946596 946528 0 -1 4194304 44397 0 0 0 46106 15 0 0 20 0 1 0 182678187 130801664 28494 134679101440 4194304 14817773 140732383933072 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49078272 140732383937508 140732383937623 140732383937623 140732383944639 0
/proc/946596/statm: 31934 28494 1006 2594 0 28827 0

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

Current children cumulated memory: 186736 KiB

[startup+2862.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/241 948303
/proc/meminfo: memFree=128392384/131655788 swapFree=131071996/131071996
[pid=946596] ppid=946588 vsize=185028 memory=171268 CPUtime=2855.65 cores=5,7
/proc/946596/stat : 946596 (CASHWMaxSAT-Dis) R 946588 946596 946528 0 -1 4194304 119046 0 0 0 285458 107 0 0 20 0 1 0 182678187 189468672 42817 134679101440 4194304 14817773 140732383933072 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49078272 140732383937508 140732383937623 140732383937623 140732383944639 0
/proc/946596/statm: 46257 42817 1006 2594 0 43150 0
Current children cumulated CPU time: 2855.65 s
Current children cumulated vsize: 185028 KiB
Current children cumulated memory: 171268 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/241 948313
/proc/meminfo: memFree=128370580/131655788 swapFree=131071996/131071996
[pid=946596] ppid=946588 vsize=193548 memory=179788 CPUtime=2915.51 cores=5,7
/proc/946596/stat : 946596 (CASHWMaxSAT-Dis) R 946588 946596 946528 0 -1 4194304 121693 0 0 0 291440 111 0 0 20 0 1 0 182678187 198193152 44947 134679101440 4194304 14817773 140732383933072 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49078272 140732383937508 140732383937623 140732383937623 140732383944639 0
/proc/946596/statm: 48387 44947 1006 2594 0 45280 0
Current children cumulated CPU time: 2915.51 s
Current children cumulated vsize: 193548 KiB
Current children cumulated memory: 179788 KiB

[startup+2982.3 s]
/proc/loadavg: 5.80 4.51 4.23 5/241 948324
/proc/meminfo: memFree=128388560/131655788 swapFree=131071996/131071996
[pid=946596] ppid=946588 vsize=188824 memory=175064 CPUtime=2975.37 cores=5,7
/proc/946596/stat : 946596 (CASHWMaxSAT-Dis) R 946588 946596 946528 0 -1 4194304 125077 0 0 0 297420 117 0 0 20 0 1 0 182678187 193355776 43766 134679101440 4194304 14817773 140732383933072 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49078272 140732383937508 140732383937623 140732383937623 140732383944639 0
/proc/946596/statm: 47206 43766 1006 2594 0 44099 0
Current children cumulated CPU time: 2975.37 s
Current children cumulated vsize: 188824 KiB
Current children cumulated memory: 175064 KiB

[startup+3042.3 s]
/proc/loadavg: 6.51 5.02 4.42 5/243 948338
/proc/meminfo: memFree=128386396/131655788 swapFree=131071996/131071996
[pid=946596] ppid=946588 vsize=192304 memory=178544 CPUtime=3035.23 cores=5,7
/proc/946596/stat : 946596 (CASHWMaxSAT-Dis) R 946588 946596 946528 0 -1 4194304 127435 0 0 0 303403 120 0 0 20 0 1 0 182678187 196919296 44636 134679101440 4194304 14817773 140732383933072 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49078272 140732383937508 140732383937623 140732383937623 140732383944639 0
/proc/946596/statm: 48076 44636 1006 2594 0 44969 0
Current children cumulated CPU time: 3035.23 s
Current children cumulated vsize: 192304 KiB
Current children cumulated memory: 178544 KiB

[startup+3102.3 s]
/proc/loadavg: 5.11 4.89 4.42 5/243 948348
/proc/meminfo: memFree=128366896/131655788 swapFree=131071996/131071996
[pid=946596] ppid=946588 vsize=200164 memory=186404 CPUtime=3095.09 cores=5,7
/proc/946596/stat : 946596 (CASHWMaxSAT-Dis) R 946588 946596 946528 0 -1 4194304 130438 0 0 0 309383 126 0 0 20 0 1 0 182678187 204967936 46601 134679101440 4194304 14817773 140732383933072 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49078272 140732383937508 140732383937623 140732383937623 140732383944639 0
/proc/946596/statm: 50041 46601 1006 2594 0 46934 0
Current children cumulated CPU time: 3095.09 s
Current children cumulated vsize: 200164 KiB
Current children cumulated memory: 186404 KiB

[startup+3162.3 s]
/proc/loadavg: 4.46 4.74 4.39 5/243 948359
/proc/meminfo: memFree=128351504/131655788 swapFree=131071996/131071996
[pid=946596] ppid=946588 vsize=189004 memory=175244 CPUtime=3154.96 cores=5,7
/proc/946596/stat : 946596 (CASHWMaxSAT-Dis) R 946588 946596 946528 0 -1 4194304 132721 0 0 0 315367 129 0 0 20 0 1 0 182678187 193540096 43811 134679101440 4194304 14817773 140732383933072 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49078272 140732383937508 140732383937623 140732383937623 140732383944639 0
/proc/946596/statm: 47251 43811 1006 2594 0 44144 0
Current children cumulated CPU time: 3154.96 s
Current children cumulated vsize: 189004 KiB
Current children cumulated memory: 175244 KiB

[startup+3222.3 s]
/proc/loadavg: 4.29 4.64 4.38 5/243 948369
/proc/meminfo: memFree=128083264/131655788 swapFree=131071996/131071996
[pid=946596] ppid=946588 vsize=202400 memory=188640 CPUtime=3214.81 cores=5,7
/proc/946596/stat : 946596 (CASHWMaxSAT-Dis) R 946588 946596 946528 0 -1 4194304 135325 0 0 0 321348 133 0 0 20 0 1 0 182678187 207257600 47160 134679101440 4194304 14817773 140732383933072 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49078272 140732383937508 140732383937623 140732383937623 140732383944639 0
/proc/946596/statm: 50600 47160 1006 2594 0 47493 0
Current children cumulated CPU time: 3214.81 s
Current children cumulated vsize: 202400 KiB
Current children cumulated memory: 188640 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.53 4.36 5/243 948380
/proc/meminfo: memFree=128109644/131655788 swapFree=131071996/131071996
[pid=946596] ppid=946588 vsize=189728 memory=175968 CPUtime=3274.67 cores=5,7
/proc/946596/stat : 946596 (CASHWMaxSAT-Dis) R 946588 946596 946528 0 -1 4194304 138050 0 0 0 327329 138 0 0 20 0 1 0 182678187 194281472 43992 134679101440 4194304 14817773 140732383933072 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49078272 140732383937508 140732383937623 140732383937623 140732383944639 0
/proc/946596/statm: 47432 43992 1006 2594 0 44325 0
Current children cumulated CPU time: 3274.67 s
Current children cumulated vsize: 189728 KiB
Current children cumulated memory: 175968 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.45 4.34 5/244 948391
/proc/meminfo: memFree=128179248/131655788 swapFree=131071996/131071996
[pid=946596] ppid=946588 vsize=194488 memory=180728 CPUtime=3334.54 cores=5,7
/proc/946596/stat : 946596 (CASHWMaxSAT-Dis) R 946588 946596 946528 0 -1 4194304 140753 0 0 0 333311 143 0 0 20 0 1 0 182678187 199155712 45182 134679101440 4194304 14817773 140732383933072 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49078272 140732383937508 140732383937623 140732383937623 140732383944639 0
/proc/946596/statm: 48622 45182 1006 2594 0 45515 0
Current children cumulated CPU time: 3334.54 s
Current children cumulated vsize: 194488 KiB
Current children cumulated memory: 180728 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.38 4.32 5/242 948402
/proc/meminfo: memFree=128195784/131655788 swapFree=131071996/131071996
[pid=946596] ppid=946588 vsize=191960 memory=178200 CPUtime=3394.4 cores=5,7
/proc/946596/stat : 946596 (CASHWMaxSAT-Dis) R 946588 946596 946528 0 -1 4194304 142794 0 0 0 339294 146 0 0 20 0 1 0 182678187 196567040 44550 134679101440 4194304 14817773 140732383933072 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49078272 140732383937508 140732383937623 140732383937623 140732383944639 0
/proc/946596/statm: 47990 44550 1006 2594 0 44883 0
Current children cumulated CPU time: 3394.4 s
Current children cumulated vsize: 191960 KiB
Current children cumulated memory: 178200 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.32 4.30 5/242 948412
/proc/meminfo: memFree=128192136/131655788 swapFree=131071996/131071996
[pid=946596] ppid=946588 vsize=191020 memory=177260 CPUtime=3454.26 cores=5,7
/proc/946596/stat : 946596 (CASHWMaxSAT-Dis) R 946588 946596 946528 0 -1 4194304 144939 0 0 0 345277 149 0 0 20 0 1 0 182678187 195604480 44315 134679101440 4194304 14817773 140732383933072 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49078272 140732383937508 140732383937623 140732383937623 140732383944639 0
/proc/946596/statm: 47755 44315 1006 2594 0 44648 0
Current children cumulated CPU time: 3454.26 s
Current children cumulated vsize: 191020 KiB
Current children cumulated memory: 177260 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.29 4.29 5/242 948422
/proc/meminfo: memFree=128181548/131655788 swapFree=131071996/131071996
[pid=946596] ppid=946588 vsize=225176 memory=211416 CPUtime=3514.12 cores=5,7
/proc/946596/stat : 946596 (CASHWMaxSAT-Dis) R 946588 946596 946528 0 -1 4194304 146670 0 0 0 351258 154 0 0 20 0 1 0 182678187 230580224 52854 134679101440 4194304 14817773 140732383933072 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49078272 140732383937508 140732383937623 140732383937623 140732383944639 0
/proc/946596/statm: 56294 52854 1006 2594 0 53187 0
Current children cumulated CPU time: 3514.12 s
Current children cumulated vsize: 225176 KiB
Current children cumulated memory: 211416 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.25 4.27 5/242 948433
/proc/meminfo: memFree=128234376/131655788 swapFree=131071996/131071996
[pid=946596] ppid=946588 vsize=201404 memory=187644 CPUtime=3573.97 cores=5,7
/proc/946596/stat : 946596 (CASHWMaxSAT-Dis) R 946588 946596 946528 0 -1 4194304 148456 0 0 0 357240 157 0 0 20 0 1 0 182678187 206237696 46911 134679101440 4194304 14817773 140732383933072 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49078272 140732383937508 140732383937623 140732383937623 140732383944639 0
/proc/946596/statm: 50351 46911 1006 2594 0 47244 0
Current children cumulated CPU time: 3573.97 s
Current children cumulated vsize: 201404 KiB
Current children cumulated memory: 187644 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.4 s]
/proc/loadavg: 4.07 4.23 4.27 5/242 948437
/proc/meminfo: memFree=128238792/131655788 swapFree=131071996/131071996
[pid=946596] ppid=946588 vsize=189300 memory=175540 CPUtime=3600.01 cores=5,7
/proc/946596/stat : 946596 (CASHWMaxSAT-Dis) R 946588 946596 946528 0 -1 4194304 149715 0 0 0 359842 159 0 0 20 0 1 0 182678187 193843200 43885 134679101440 4194304 14817773 140732383933072 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 49078272 140732383937508 140732383937623 140732383937623 140732383944639 0
/proc/946596/statm: 47325 43885 1006 2594 0 44218 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 189300 KiB
Current children cumulated memory: 175540 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.43 s, system=1.59989 s

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

Child status: 0

Real time (s): 3608.4
CPU time (s): 3600.03
CPU user time (s): 3598.43
CPU system time (s): 1.59989
CPU usage (%): 99.768
Max. virtual memory (cumulated for all children) (KiB): 299052
Max. memory (cumulated for all children) (KiB): 285204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.43
system time used= 1.59989
maximum resident set size= 285204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149715
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= 27
involuntary context switches= 1737


# summary of solver processes directly reported to runsolver:
#   pid: 946596
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3598.43
#   total CPU system time (s): 1.59989

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.1037 second user time and 34.3806 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-18 14:19:58
IDJOB=4442639
IDBENCH=147834
IDSOLVER=3075
FILE ID=nodeC009/4442639-1721305186
RUNJOBID= nodeC009-1721305198-946541
SLURM_JOB_ID= 7542632
Free space on /tmp= 723768 MiB

SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-35-30.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-4442639-1721305186/watcher-4442639-1721305186 -o /tmp/evaluation-result-4442639-1721305186/solver-4442639-1721305186 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721305198-946541 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4442639-1721305186.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= da953313a09cceac0c8e3e7fb7d08ab4
RANDOM SEED=1168263674

nodeC009.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.322
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.34
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.27
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.324
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.34
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.317
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.27
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		: 1339.326
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.34
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.314
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.27
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.320
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.34
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.320
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.27
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129208664 kB
MemAvailable:   129925620 kB
Buffers:          506936 kB
Cached:          1048888 kB
SwapCached:            0 kB
Active:           996412 kB
Inactive:         909928 kB
Active(anon):       1348 kB
Inactive(anon):   386876 kB
Active(file):     995064 kB
Inactive(file):   523052 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             57044 kB
Writeback:            12 kB
AnonPages:        350540 kB
Mapped:           105540 kB
Shmem:             37700 kB
KReclaimable:      77744 kB
Slab:             176728 kB
SReclaimable:      77744 kB
SUnreclaim:        98984 kB
KernelStack:        3632 kB
PageTables:         9480 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     645976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            57728 kB
HardwareCorrupted:     0 kB
AnonHugePages:    229376 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:      187208 kB
DirectMap2M:    19640320 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723712 MiB
End job on nodeC009 at 2024-07-18 15:20:06