Trace number 4452558

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-SP 2024-07-10UNSAT 1700.79 1705.2

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-506428.0.u.opb
MD5SUMbe38a350659e0c4d627f3ed91afb1797
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 benchmark574.907
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables42981
Total number of constraints129926
Number of constraints which are clauses129808
Number of constraints which are cardinality constraints (but not clauses)96
Number of constraints which are nor clauses,nor cardinality constraints22
Minimum length of a constraint2
Maximum length of a constraint1969
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 6515545
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 500000069
Number of bits of the biggest sum of numbers29
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1700.59/1705.10	c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
1700.59/1705.10	s UNSATISFIABLE

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 (60318 MiB free)
  memory of node 1: 64473 MiB (60411 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452558-1721446974/watcher-4452558-1721446974 -o /tmp/evaluation-result-4452558-1721446974/solver-4452558-1721446974 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721446987-1051465 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4452558-1721446974.opb -total-t=3600 -no-par -v0 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=1051514, runsolver pid=1051511

[startup+0.100227 s]*
/proc/loadavg: 1.18 1.66 2.67 5/253 1051515
/proc/meminfo: memFree=123560900/131524596 swapFree=131071996/131071996
[pid=1051514] ppid=1051511 vsize=40972 memory=23516 CPUtime=0.09 cores=1,3
/proc/1051514/stat : 1051514 (CASHWMaxSAT-Dis) R 1051511 1051514 1051453 0 -1 4194304 5045 0 0 0 8 1 0 0 20 0 1 0 196867975 41955328 5879 134679101440 4194304 15356333 140729716188192 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34881536 140729716192225 140729716192341 140729716192341 140729716199358 0
/proc/1051514/statm: 10243 5879 922 2726 0 6991 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40972 KiB
Current children cumulated memory: 23516 KiB

[startup+0.20609 s]*
/proc/loadavg: 1.18 1.66 2.67 5/253 1051515
/proc/meminfo: memFree=123539148/131524596 swapFree=131071996/131071996
[pid=1051514] ppid=1051511 vsize=59676 memory=35336 CPUtime=0.2 cores=1,3
/proc/1051514/stat : 1051514 (CASHWMaxSAT-Dis) R 1051511 1051514 1051453 0 -1 4194304 6018 0 0 0 19 1 0 0 20 0 1 0 196867975 61108224 8834 134679101440 4194304 15356333 140729716188192 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34881536 140729716192225 140729716192341 140729716192341 140729716199358 0
/proc/1051514/statm: 14919 8834 922 2726 0 11667 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 59676 KiB
Current children cumulated memory: 35336 KiB

[startup+0.305947 s]*
/proc/loadavg: 1.18 1.66 2.67 5/251 1051515
/proc/meminfo: memFree=123428588/131524596 swapFree=131071996/131071996
[pid=1051514] ppid=1051511 vsize=115584 memory=95900 CPUtime=0.29 cores=1,3
/proc/1051514/stat : 1051514 (CASHWMaxSAT-Dis) R 1051511 1051514 1051453 0 -1 4194304 15293 0 0 0 27 2 0 0 20 0 1 0 196867975 118358016 23975 134679101440 4194304 15356333 140729716188192 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34881536 140729716192225 140729716192341 140729716192341 140729716199358 0
/proc/1051514/statm: 28896 23975 954 2726 0 25644 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 115584 KiB
Current children cumulated memory: 95900 KiB

[startup+0.700246 s]
/proc/loadavg: 1.18 1.66 2.67 5/257 1051526
/proc/meminfo: memFree=123277364/131524596 swapFree=131071996/131071996
[pid=1051514] ppid=1051511 vsize=115584 memory=95900 CPUtime=0.68 cores=1,3
/proc/1051514/stat : 1051514 (CASHWMaxSAT-Dis) R 1051511 1051514 1051453 0 -1 4194304 15294 0 0 0 66 2 0 0 20 0 1 0 196867975 118358016 23975 134679101440 4194304 15356333 140729716188192 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34881536 140729716192225 140729716192341 140729716192341 140729716199358 0
/proc/1051514/statm: 28896 23975 954 2726 0 25644 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 115584 KiB
Current children cumulated memory: 95900 KiB

[startup+1.50026 s]
/proc/loadavg: 1.18 1.66 2.67 5/257 1051526
/proc/meminfo: memFree=123242616/131524596 swapFree=131071996/131071996
[pid=1051514] ppid=1051511 vsize=115584 memory=95900 CPUtime=1.48 cores=1,3
/proc/1051514/stat : 1051514 (CASHWMaxSAT-Dis) R 1051511 1051514 1051453 0 -1 4194304 15294 0 0 0 146 2 0 0 20 0 1 0 196867975 118358016 23975 134679101440 4194304 15356333 140729716188192 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34881536 140729716192225 140729716192341 140729716192341 140729716199358 0
/proc/1051514/statm: 28896 23975 954 2726 0 25644 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 115584 KiB
Current children cumulated memory: 95900 KiB

[startup+3.10639 s]
/proc/loadavg: 1.18 1.66 2.67 5/257 1051526
/proc/meminfo: memFree=122584460/131524596 swapFree=131071996/131071996
[pid=1051514] ppid=1051511 vsize=143028 memory=123640 CPUtime=3.09 cores=1,3
/proc/1051514/stat : 1051514 (CASHWMaxSAT-Dis) R 1051511 1051514 1051453 0 -1 4194304 24500 0 0 0 305 4 0 0 20 0 1 0 196867975 146460672 30910 134679101440 4194304 15356333 140729716188192 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34881536 140729716192225 140729716192341 140729716192341 140729716199358 0
/proc/1051514/statm: 35757 30910 1034 2726 0 32505 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 143028 KiB
Current children cumulated memory: 123640 KiB

[startup+6.30023 s]
/proc/loadavg: 1.57 1.74 2.69 6/257 1051528
/proc/meminfo: memFree=121972932/131524596 swapFree=131071996/131071996
[pid=1051514] ppid=1051511 vsize=278976 memory=250108 CPUtime=6.27 cores=1,3
/proc/1051514/stat : 1051514 (CASHWMaxSAT-Dis) R 1051511 1051514 1051453 0 -1 4194304 49960 0 0 0 618 9 0 0 20 0 1 0 196867975 285671424 62527 134679101440 4194304 15356333 140729716188192 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34881536 140729716192225 140729716192341 140729716192341 140729716199358 0
/proc/1051514/statm: 69744 62527 1066 2726 0 66492 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 278976 KiB
Current children cumulated memory: 250108 KiB

[startup+12.7002 s]
/proc/loadavg: 1.76 1.77 2.70 6/257 1051528
/proc/meminfo: memFree=120498620/131524596 swapFree=131071996/131071996
[pid=1051514] ppid=1051511 vsize=370240 memory=344392 CPUtime=12.66 cores=1,3
/proc/1051514/stat : 1051514 (CASHWMaxSAT-Dis) R 1051511 1051514 1051453 0 -1 4194304 60969 0 0 0 1254 12 0 0 20 0 1 0 196867975 379125760 86098 134679101440 4194304 15356333 140729716188192 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34881536 140729716192225 140729716192341 140729716192341 140729716199358 0
/proc/1051514/statm: 92560 86098 1066 2726 0 89308 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 370240 KiB
Current children cumulated memory: 344392 KiB

[startup+25.5002 s]
/proc/loadavg: 2.57 1.95 2.74 5/257 1051531
/proc/meminfo: memFree=120013420/131524596 swapFree=131071996/131071996
[pid=1051514] ppid=1051511 vsize=564996 memory=537432 CPUtime=25.42 cores=1,3
/proc/1051514/stat : 1051514 (CASHWMaxSAT-Dis) R 1051511 1051514 1051453 0 -1 4194304 81497 0 0 0 2525 17 0 0 20 0 1 0 196867975 578555904 134358 134679101440 4194304 15356333 140729716188192 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34881536 140729716192225 140729716192341 140729716192341 140729716199358 0
/proc/1051514/statm: 141249 134358 1066 2726 0 137997 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 564996 KiB
Current children cumulated memory: 537432 KiB

[startup+51.1061 s]
/proc/loadavg: 3.19 2.15 2.79 5/257 1051534
/proc/meminfo: memFree=118775796/131524596 swapFree=131071996/131071996
[pid=1051514] ppid=1051511 vsize=1145344 memory=1098588 CPUtime=50.97 cores=1,3
/proc/1051514/stat : 1051514 (CASHWMaxSAT-Dis) R 1051511 1051514 1051453 0 -1 4194304 122120 0 0 0 5060 37 0 0 20 0 1 0 196867975 1172832256 274647 134679101440 4194304 15356333 140729716188192 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34881536 140729716192225 140729716192341 140729716192341 140729716199358 0
/proc/1051514/statm: 286336 274647 1066 2726 0 283084 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 1145344 KiB
Current children cumulated memory: 1098588 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 2.59 2.91 5/257 1051543
/proc/meminfo: memFree=109706732/131524596 swapFree=131071996/131071996
[pid=1051514] ppid=1051511 vsize=9601452 memory=9044924 CPUtime=102.04 cores=1,3
/proc/1051514/stat : 1051514 (CASHWMaxSAT-Dis) R 1051511 1051514 1051453 0 -1 4194304 886970 0 0 0 9856 348 0 0 20 0 1 0 196867975 9831886848 2261231 134679101440 4194304 15356333 140729716188192 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34881536 140729716192225 140729716192341 140729716192341 140729716199358 0
/proc/1051514/statm: 2400363 2261231 1146 2726 0 2397111 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 9601452 KiB
Current children cumulated memory: 9044924 KiB

[startup+162.3 s]
/proc/loadavg: 4.35 2.93 3.01 5/255 1051554
/proc/meminfo: memFree=109031560/131524596 swapFree=131071996/131071996
[pid=1051514] ppid=1051511 vsize=8690824 memory=8134176 CPUtime=161.88 cores=1,3
/proc/1051514/stat : 1051514 (CASHWMaxSAT-Dis) R 1051511 1051514 1051453 0 -1 4194304 958549 0 0 0 15765 423 0 0 20 0 1 0 196867975 8899403776 2033544 134679101440 4194304 15356333 140729716188192 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34881536 140729716192225 140729716192341 140729716192341 140729716199358 0
/proc/1051514/statm: 2172706 2033544 1146 2726 0 2169454 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 8690824 KiB
Current children cumulated memory: 8134176 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 3.15 3.08 5/255 1051565
/proc/meminfo: memFree=106983528/131524596 swapFree=131071996/131071996
[pid=1051514] ppid=1051511 vsize=9456836 memory=9085044 CPUtime=221.72 cores=1,3
/proc/1051514/stat : 1051514 (CASHWMaxSAT-Dis) R 1051511 1051514 1051453 0 -1 4194304 1047810 0 0 0 21655 517 0 0 20 0 1 0 196867975 9683800064 2271261 134679101440 4194304 15356333 140729716188192 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34881536 140729716192225 140729716192341 140729716192341 140729716199358 0
/proc/1051514/statm: 2364209 2271261 1146 2726 0 2360957 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 9456836 KiB
Current children cumulated memory: 9085044 KiB

[startup+282.3 s]
/proc/loadavg: 4.59 3.46 3.19 5/255 1051575
/proc/meminfo: memFree=106068936/131524596 swapFree=131071996/131071996
[pid=1051514] ppid=1051511 vsize=9364284 memory=8803596 CPUtime=281.56 cores=1,3
/proc/1051514/stat : 1051514 (CASHWMaxSAT-Dis) R 1051511 1051514 1051453 0 -1 4194304 1070087 0 0 0 27486 670 0 0 20 0 1 0 196867975 9589026816 2200899 134679101440 4194304 15356333 140729716188192 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34881536 140729716192225 140729716192341 140729716192341 140729716199358 0
/proc/1051514/statm: 2341071 2200899 1146 2726 0 2337819 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 9364284 KiB
Current children cumulated memory: 8803596 KiB

[startup+342.3 s]
/proc/loadavg: 4.35 3.61 3.27 6/254 1051585
/proc/meminfo: memFree=103445328/131524596 swapFree=131071996/131071996
[pid=1051514] ppid=1051511 vsize=9364084 memory=8850500 CPUtime=341.41 cores=1,3
/proc/1051514/stat : 1051514 (CASHWMaxSAT-Dis) R 1051511 1051514 1051453 0 -1 4194304 1085788 0 0 0 33340 801 0 0 20 0 1 0 196867975 9588822016 2212625 134679101440 4194304 15356333 140729716188192 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34881536 140729716192225 140729716192341 140729716192341 140729716199358 0
/proc/1051514/statm: 2341021 2212625 1146 2726 0 2337769 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 9364084 KiB
Current children cumulated memory: 8850500 KiB

[startup+402.3 s]
/proc/loadavg: 4.23 3.72 3.32 5/254 1051596
/proc/meminfo: memFree=104372472/131524596 swapFree=131071996/131071996
[pid=1051514] ppid=1051511 vsize=9744600 memory=8833708 CPUtime=401.25 cores=1,3
/proc/1051514/stat : 1051514 (CASHWMaxSAT-Dis) R 1051511 1051514 1051453 0 -1 4194304 1098026 0 0 0 39203 922 0 0 20 0 1 0 196867975 9978470400 2208427 134679101440 4194304 15356333 140729716188192 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34881536 140729716192225 140729716192341 140729716192341 140729716199358 0
/proc/1051514/statm: 2436150 2208427 1146 2726 0 2432898 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 9744600 KiB
Current children cumulated memory: 8833708 KiB

[startup+462.3 s]
/proc/loadavg: 4.30 3.83 3.39 5/256 1051610
/proc/meminfo: memFree=103575288/131524596 swapFree=131071996/131071996
[pid=1051514] ppid=1051511 vsize=9903500 memory=9039712 CPUtime=461.1 cores=1,3
/proc/1051514/stat : 1051514 (CASHWMaxSAT-Dis) R 1051511 1051514 1051453 0 -1 4194304 1108544 0 0 0 45106 1004 0 0 20 0 1 0 196867975 10141184000 2259928 134679101440 4194304 15356333 140729716188192 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34881536 140729716192225 140729716192341 140729716192341 140729716199358 0
/proc/1051514/statm: 2475875 2259928 1146 2726 0 2472623 0

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

Current children cumulated memory: 9274844 KiB

[startup+1362.3 s]
/proc/loadavg: 4.24 4.14 3.90 5/257 1052385
/proc/meminfo: memFree=114625380/131524596 swapFree=131071996/131071996
[pid=1051514] ppid=1051511 vsize=8829568 memory=7633332 CPUtime=1358.78 cores=1,3
/proc/1051514/stat : 1051514 (CASHWMaxSAT-Dis) R 1051511 1051514 1051453 0 -1 4194304 1275487 0 0 0 133442 2436 0 0 20 0 1 0 196867975 9041477632 1908333 134679101440 4194304 15356333 140729716188192 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34881536 140729716192225 140729716192341 140729716192341 140729716199358 0
/proc/1051514/statm: 2207392 1908333 1146 2726 0 2204140 0
Current children cumulated CPU time: 1358.78 s
Current children cumulated vsize: 8829568 KiB
Current children cumulated memory: 7633332 KiB

[startup+1422.3 s]
/proc/loadavg: 4.22 4.14 3.92 5/255 1052396
/proc/meminfo: memFree=114588248/131524596 swapFree=131071996/131071996
[pid=1051514] ppid=1051511 vsize=9139264 memory=7802224 CPUtime=1418.63 cores=1,3
/proc/1051514/stat : 1051514 (CASHWMaxSAT-Dis) R 1051511 1051514 1051453 0 -1 4194304 1280394 0 0 0 139394 2469 0 0 20 0 1 0 196867975 9358606336 1950556 134679101440 4194304 15356333 140729716188192 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34881536 140729716192225 140729716192341 140729716192341 140729716199358 0
/proc/1051514/statm: 2284816 1950556 1146 2726 0 2281564 0
Current children cumulated CPU time: 1418.63 s
Current children cumulated vsize: 9139264 KiB
Current children cumulated memory: 7802224 KiB

[startup+1482.3 s]
/proc/loadavg: 4.19 4.15 3.94 5/254 1052407
/proc/meminfo: memFree=114164620/131524596 swapFree=131071996/131071996
[pid=1051514] ppid=1051511 vsize=9076880 memory=8071028 CPUtime=1478.47 cores=1,3
/proc/1051514/stat : 1051514 (CASHWMaxSAT-Dis) R 1051511 1051514 1051453 0 -1 4194304 1296182 0 0 0 145301 2546 0 0 20 0 1 0 196867975 9294725120 2017757 134679101440 4194304 15356333 140729716188192 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34881536 140729716192225 140729716192341 140729716192341 140729716199358 0
/proc/1051514/statm: 2269220 2017757 1146 2726 0 2265968 0
Current children cumulated CPU time: 1478.47 s
Current children cumulated vsize: 9076880 KiB
Current children cumulated memory: 8071028 KiB

[startup+1542.3 s]
/proc/loadavg: 4.17 4.15 3.96 5/255 1052418
/proc/meminfo: memFree=114215020/131524596 swapFree=131071996/131071996
[pid=1051514] ppid=1051511 vsize=9076880 memory=8075124 CPUtime=1538.31 cores=1,3
/proc/1051514/stat : 1051514 (CASHWMaxSAT-Dis) R 1051511 1051514 1051453 0 -1 4194304 1300902 0 0 0 151269 2562 0 0 20 0 1 0 196867975 9294725120 2018781 134679101440 4194304 15356333 140729716188192 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34881536 140729716192225 140729716192341 140729716192341 140729716199358 0
/proc/1051514/statm: 2269220 2018781 1146 2726 0 2265968 0
Current children cumulated CPU time: 1538.31 s
Current children cumulated vsize: 9076880 KiB
Current children cumulated memory: 8075124 KiB

[startup+1602.3 s]
/proc/loadavg: 4.15 4.15 3.97 5/255 1052428
/proc/meminfo: memFree=114176040/131524596 swapFree=131071996/131071996
[pid=1051514] ppid=1051511 vsize=9036748 memory=8034992 CPUtime=1598.14 cores=1,3
/proc/1051514/stat : 1051514 (CASHWMaxSAT-Dis) R 1051511 1051514 1051453 0 -1 4194304 1308377 0 0 0 157205 2609 0 0 20 0 1 0 196867975 9253629952 2008748 134679101440 4194304 15356333 140729716188192 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34881536 140729716192225 140729716192341 140729716192341 140729716199358 0
/proc/1051514/statm: 2259187 2008748 1146 2726 0 2255935 0
Current children cumulated CPU time: 1598.14 s
Current children cumulated vsize: 9036748 KiB
Current children cumulated memory: 8034992 KiB

[startup+1662.3 s]
/proc/loadavg: 4.17 4.15 3.99 5/257 1052442
/proc/meminfo: memFree=114054500/131524596 swapFree=131071996/131071996
[pid=1051514] ppid=1051511 vsize=8911064 memory=8181772 CPUtime=1657.99 cores=1,3
/proc/1051514/stat : 1051514 (CASHWMaxSAT-Dis) R 1051511 1051514 1051453 0 -1 4194304 1316011 0 0 0 163151 2648 0 0 20 0 1 0 196867975 9124929536 2045443 134679101440 4194304 15356333 140729716188192 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34881536 140729716192225 140729716192341 140729716192341 140729716199358 0
/proc/1051514/statm: 2227766 2045443 1146 2726 0 2224514 0
Current children cumulated CPU time: 1657.99 s
Current children cumulated vsize: 8911064 KiB
Current children cumulated memory: 8181772 KiB

[startup+1705.2 s]
# the end of solver process 1051514 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=1673.63 s, system=27.1582 s

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

[startup+1664 s]*
/proc/loadavg: 4.17 4.15 3.99 5/257 1052443
/proc/meminfo: memFree=114051860/131524596 swapFree=131071996/131071996
[pid=1051514] ppid=1051511 vsize=8911064 memory=8181772 CPUtime=1659.69 cores=1,3
/proc/1051514/stat : 1051514 (CASHWMaxSAT-Dis) R 1051511 1051514 1051453 0 -1 4194304 1316017 0 0 0 163321 2648 0 0 20 0 1 0 196867975 9124929536 2045443 134679101440 4194304 15356333 140729716188192 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34881536 140729716192225 140729716192341 140729716192341 140729716199358 0
/proc/1051514/statm: 2227766 2045443 1146 2726 0 2224514 0
Current children cumulated CPU time: 1659.69 s
Current children cumulated vsize: 8911064 KiB
Current children cumulated memory: 8181772 KiB

[startup+1689.6 s]
/proc/loadavg: 4.11 4.14 3.99 5/257 1052448
/proc/meminfo: memFree=114013308/131524596 swapFree=131071996/131071996
[pid=1051514] ppid=1051511 vsize=9059948 memory=8213636 CPUtime=1685.22 cores=1,3
/proc/1051514/stat : 1051514 (CASHWMaxSAT-Dis) R 1051511 1051514 1051453 0 -1 4194304 1334358 0 0 0 165845 2677 0 0 20 0 1 0 196867975 9277386752 2053409 134679101440 4194304 15356333 140729716188192 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34881536 140729716192225 140729716192341 140729716192341 140729716199358 0
/proc/1051514/statm: 2264987 2053409 1146 2726 0 2261735 0
Current children cumulated CPU time: 1685.22 s
Current children cumulated vsize: 9059948 KiB
Current children cumulated memory: 8213636 KiB

[startup+1696 s]*
/proc/loadavg: 4.17 4.15 4.00 5/257 1052450
/proc/meminfo: memFree=114249044/131524596 swapFree=131071996/131071996
[pid=1051514] ppid=1051511 vsize=8807052 memory=7960740 CPUtime=1691.61 cores=1,3
/proc/1051514/stat : 1051514 (CASHWMaxSAT-Dis) R 1051511 1051514 1051453 0 -1 4194304 1335298 0 0 0 166479 2682 0 0 20 0 1 0 196867975 9018421248 1990185 134679101440 4194304 15356333 140729716188192 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34881536 140729716192225 140729716192341 140729716192341 140729716199358 0
/proc/1051514/statm: 2201763 1990185 1146 2726 0 2198511 0
Current children cumulated CPU time: 1691.61 s
Current children cumulated vsize: 8807052 KiB
Current children cumulated memory: 7960740 KiB

[startup+1699.2 s]
/proc/loadavg: 4.17 4.15 4.00 5/257 1052450
/proc/meminfo: memFree=114246996/131524596 swapFree=131071996/131071996
[pid=1051514] ppid=1051511 vsize=9059948 memory=8215584 CPUtime=1694.8 cores=1,3
/proc/1051514/stat : 1051514 (CASHWMaxSAT-Dis) R 1051511 1051514 1051453 0 -1 4194304 1337076 0 0 0 166788 2692 0 0 20 0 1 0 196867975 9277386752 2053896 134679101440 4194304 15356333 140729716188192 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34881536 140729716192225 140729716192341 140729716192341 140729716199358 0
/proc/1051514/statm: 2264987 2053896 1146 2726 0 2261735 0
Current children cumulated CPU time: 1694.8 s
Current children cumulated vsize: 9059948 KiB
Current children cumulated memory: 8215584 KiB

[startup+1702.4 s]
/proc/loadavg: 4.23 4.16 4.00 5/257 1052450
/proc/meminfo: memFree=114246996/131524596 swapFree=131071996/131071996
[pid=1051514] ppid=1051511 vsize=9338352 memory=7992620 CPUtime=1697.98 cores=1,3
/proc/1051514/stat : 1051514 (CASHWMaxSAT-Dis) R 1051511 1051514 1051453 0 -1 4194304 1337463 0 0 0 167106 2692 0 0 20 0 1 0 196867975 9562472448 1998155 134679101440 4194304 15356333 140729716188192 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34881536 140729716192225 140729716192341 140729716192341 140729716199358 0
/proc/1051514/statm: 2334588 1998155 1146 2726 0 2331336 0
Current children cumulated CPU time: 1697.98 s
Current children cumulated vsize: 9338352 KiB
Current children cumulated memory: 7992620 KiB

[startup+1704 s]*
/proc/loadavg: 4.23 4.16 4.00 5/257 1052451
/proc/meminfo: memFree=113787772/131524596 swapFree=131071996/131071996
[pid=1051514] ppid=1051511 vsize=9338352 memory=8493940 CPUtime=1699.58 cores=1,3
/proc/1051514/stat : 1051514 (CASHWMaxSAT-Dis) R 1051511 1051514 1051453 0 -1 4194304 1338104 0 0 0 167257 2701 0 0 20 0 1 0 196867975 9562472448 2123485 134679101440 4194304 15356333 140729716188192 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34881536 140729716192225 140729716192341 140729716192341 140729716199358 0
/proc/1051514/statm: 2334588 2123485 1146 2726 0 2331336 0
Current children cumulated CPU time: 1699.58 s
Current children cumulated vsize: 9338352 KiB
Current children cumulated memory: 8493940 KiB

[startup+1704.8 s]
/proc/loadavg: 4.23 4.16 4.00 5/257 1052451
/proc/meminfo: memFree=113787772/131524596 swapFree=131071996/131071996
[pid=1051514] ppid=1051511 vsize=9219120 memory=8484752 CPUtime=1700.38 cores=1,3
/proc/1051514/stat : 1051514 (CASHWMaxSAT-Dis) R 1051511 1051514 1051453 0 -1 4194304 1338522 0 0 0 167334 2704 0 0 20 0 1 0 196867975 9440378880 2121188 134679101440 4194304 15356333 140729716188192 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34881536 140729716192225 140729716192341 140729716192341 140729716199358 0
/proc/1051514/statm: 2304780 2121188 1146 2726 0 2301528 0
Current children cumulated CPU time: 1700.38 s
Current children cumulated vsize: 9219120 KiB
Current children cumulated memory: 8484752 KiB

[startup+1705 s]*
/proc/loadavg: 4.22 4.16 4.00 5/257 1052451
/proc/meminfo: memFree=113560764/131524596 swapFree=131071996/131071996
[pid=1051514] ppid=1051511 vsize=9327044 memory=8484828 CPUtime=1700.59 cores=1,3
/proc/1051514/stat : 1051514 (CASHWMaxSAT-Dis) R 1051511 1051514 1051453 0 -1 4194304 1338947 0 0 0 167353 2706 0 0 20 0 1 0 196867975 9550893056 2121207 134679101440 4194304 15356333 140729716188192 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34881536 140729716192225 140729716192341 140729716192341 140729716199358 0
/proc/1051514/statm: 2331761 2121207 1146 2726 0 2328509 0
Current children cumulated CPU time: 1700.59 s
Current children cumulated vsize: 9327044 KiB
Current children cumulated memory: 8484828 KiB

[startup+1705.11 s]*
/proc/loadavg: 4.22 4.16 4.00 5/257 1052451
/proc/meminfo: memFree=113811704/131524596 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 20

Real time (s): 1705.2
CPU time (s): 1700.79
CPU user time (s): 1673.63
CPU system time (s): 27.1582
CPU usage (%): 99.7411
Max. virtual memory (cumulated for all children) (KiB): 11012160
Max. memory (cumulated for all children) (KiB): 10234784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1673.63
system time used= 27.1582
maximum resident set size= 10260448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1338978
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= 208
involuntary context switches= 1539


# summary of solver processes directly reported to runsolver:
#   pid: 1051514
#   total CPU time (s): 1700.79
#   total CPU user time (s): 1673.63
#   total CPU system time (s): 27.1582

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.75833 second user time and 4.52998 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2024-07-20 05:43:07
IDJOB=4452558
IDBENCH=164450
IDSOLVER=3074
FILE ID=nodeC034/4452558-1721446974
RUNJOBID= nodeC034-1721446987-1051465
SLURM_JOB_ID= 7545674
Free space on /tmp= 890040 MiB

SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-neos-506428.0.u.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452558-1721446974/watcher-4452558-1721446974 -o /tmp/evaluation-result-4452558-1721446974/solver-4452558-1721446974 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721446987-1051465 --watchdog 3760  CASHWMaxSAT-DisjCad-SP HOME/instance-4452558-1721446974.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= be38a350659e0c4d627f3ed91afb1797
RANDOM SEED=1050097577

nodeC034.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		: 3660.962
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.99
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		: 3666.834
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.58
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		: 3625.805
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.99
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		: 3661.565
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.58
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		: 3659.240
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.99
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		: 3668.125
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.58
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		: 3604.984
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.99
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		: 3631.081
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.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524596 kB
MemFree:        123637760 kB
MemAvailable:   129597768 kB
Buffers:          539344 kB
Cached:          6194136 kB
SwapCached:            0 kB
Active:          1091128 kB
Inactive:        6018544 kB
Active(anon):       1500 kB
Inactive(anon):   420932 kB
Active(file):    1089628 kB
Inactive(file):  5597612 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             64692 kB
Writeback:             0 kB
AnonPages:        376384 kB
Mapped:           114788 kB
Shmem:             45912 kB
KReclaimable:     225184 kB
Slab:             356092 kB
SReclaimable:     225184 kB
SUnreclaim:       130908 kB
KernelStack:        4064 kB
PageTables:         9876 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834292 kB
Committed_AS:     664816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            74112 kB
HardwareCorrupted:     0 kB
AnonHugePages:    233472 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:      320212 kB
DirectMap2M:    44541952 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 890020 MiB
End job on nodeC034 at 2024-07-20 06:11:32