Trace number 4441398

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Exact_veripb2 2024-07-05? (TO) 3531.74 3700.22

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm99p-opt.opb.negationfix.opb
MD5SUM56678f8f787569ff6bace689e56ab709
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark127
Best CPU time to get the best result obtained on this benchmark2000.3
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables180608
Total number of constraints3078
Number of constraints which are clauses1410
Number of constraints which are cardinality constraints (but not clauses)1410
Number of constraints which are nor clauses,nor cardinality constraints258
Minimum length of a constraint128
Maximum length of a constraint1411
Number of terms in the objective function 128
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 128
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 495101
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 1113385
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3531.52/3700.04	c Program interrupted by user.
3531.52/3700.04	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: 64096 MiB (48338 MiB free)
  memory of node 1: 64473 MiB (58874 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441398-1721833455/watcher-4441398-1721833455 -o /tmp/evaluation-result-4441398-1721833455/solver-4441398-1721833455 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721832483-173972 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441398-1721833455 --seed=595436978 HOME/instance-4441398-1721833455.opb 

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=175259, runsolver pid=175256
Current StackSize limit: 8192 KiB


[startup+0.100203 s]*
/proc/loadavg: 4.30 4.10 3.40 5/256 175260
/proc/meminfo: memFree=109670916/131655788 swapFree=131061172/131071996
[pid=175259] ppid=175256 vsize=143788 memory=120652 CPUtime=0.09 cores=5,7
/proc/175259/stat : 175259 (Exact_veripb2) R 175256 175259 173959 0 -1 4194304 8004 0 0 0 5 4 0 0 20 0 1 0 19334964 147238912 30163 134679101440 4194304 8311665 140724737328192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 24678400 140724737336141 140724737336420 140724737336420 140724737343431 0
/proc/175259/statm: 35947 30163 852 1006 0 34708 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 143788 KiB
Current children cumulated memory: 120652 KiB

[startup+0.212926 s]*
/proc/loadavg: 4.30 4.10 3.40 5/256 175260
/proc/meminfo: memFree=109656832/131655788 swapFree=131061172/131071996
[pid=175259] ppid=175256 vsize=159972 memory=136756 CPUtime=0.2 cores=5,7
/proc/175259/stat : 175259 (Exact_veripb2) R 175256 175259 173959 0 -1 4194304 12068 0 0 0 15 5 0 0 20 0 1 0 19334964 163811328 34189 134679101440 4194304 8311665 140724737328192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 24678400 140724737336141 140724737336420 140724737336420 140724737343431 0
/proc/175259/statm: 39993 34189 852 1006 0 38754 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 159972 KiB
Current children cumulated memory: 136756 KiB

[startup+0.312247 s]*
/proc/loadavg: 4.30 4.10 3.40 5/256 175260
/proc/meminfo: memFree=109648292/131655788 swapFree=131061172/131071996
[pid=175259] ppid=175256 vsize=164760 memory=141772 CPUtime=0.3 cores=5,7
/proc/175259/stat : 175259 (Exact_veripb2) R 175256 175259 173959 0 -1 4194304 13277 0 0 0 25 5 0 0 20 0 1 0 19334964 168714240 35443 134679101440 4194304 8311665 140724737328192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 24678400 140724737336141 140724737336420 140724737336420 140724737343431 0
/proc/175259/statm: 41190 35443 852 1006 0 39951 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 164760 KiB
Current children cumulated memory: 141772 KiB

[startup+0.700328 s]
/proc/loadavg: 4.30 4.10 3.40 5/256 175260
/proc/meminfo: memFree=109606852/131655788 swapFree=131061172/131071996
[pid=175259] ppid=175256 vsize=206712 memory=184656 CPUtime=0.68 cores=5,7
/proc/175259/stat : 175259 (Exact_veripb2) R 175256 175259 173959 0 -1 4194304 23967 0 0 0 59 9 0 0 20 0 1 0 19334964 211673088 46164 134679101440 4194304 8311665 140724737328192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 24678400 140724737336141 140724737336420 140724737336420 140724737343431 0
/proc/175259/statm: 51678 46164 883 1006 0 50439 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 206712 KiB
Current children cumulated memory: 184656 KiB

[startup+1.50031 s]
/proc/loadavg: 4.30 4.10 3.40 5/256 175260
/proc/meminfo: memFree=109561964/131655788 swapFree=131061172/131071996
[pid=175259] ppid=175256 vsize=288344 memory=271364 CPUtime=1.47 cores=5,7
/proc/175259/stat : 175259 (Exact_veripb2) R 175256 175259 173959 0 -1 4194304 45772 0 0 0 131 16 0 0 20 0 1 0 19334964 295264256 67775 134679101440 4194304 8311665 140724737328192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 24678400 140724737336141 140724737336420 140724737336420 140724737343431 0
/proc/175259/statm: 72119 67841 1059 1006 0 70880 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 288344 KiB
Current children cumulated memory: 271364 KiB

[startup+3.11362 s]
/proc/loadavg: 4.30 4.10 3.40 5/256 175260
/proc/meminfo: memFree=109341280/131655788 swapFree=131061172/131071996
[pid=175259] ppid=175256 vsize=391996 memory=373680 CPUtime=3.09 cores=5,7
/proc/175259/stat : 175259 (Exact_veripb2) R 175256 175259 173959 0 -1 4194304 58619 0 0 0 288 21 0 0 20 0 1 0 19334964 401403904 93420 134679101440 4194304 8311665 140724737328192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 24678400 140724737336141 140724737336420 140724737336420 140724737343431 0
/proc/175259/statm: 97999 93420 1107 1006 0 96760 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 391996 KiB
Current children cumulated memory: 373680 KiB

[startup+6.30031 s]
/proc/loadavg: 4.28 4.10 3.40 5/256 175262
/proc/meminfo: memFree=109192456/131655788 swapFree=131061172/131071996
[pid=175259] ppid=175256 vsize=398108 memory=387540 CPUtime=6.26 cores=5,7
/proc/175259/stat : 175259 (Exact_veripb2) R 175256 175259 173959 0 -1 4194304 60093 0 0 0 601 25 0 0 20 0 1 0 19334964 407662592 96885 134679101440 4194304 8311665 140724737328192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 24678400 140724737336141 140724737336420 140724737336420 140724737343431 0
/proc/175259/statm: 99527 96885 1123 1006 0 98288 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 398108 KiB
Current children cumulated memory: 387540 KiB

[startup+12.7003 s]
/proc/loadavg: 4.26 4.10 3.40 5/256 175262
/proc/meminfo: memFree=108825576/131655788 swapFree=131061172/131071996
[pid=175259] ppid=175256 vsize=527208 memory=495016 CPUtime=12.65 cores=5,7
/proc/175259/stat : 175259 (Exact_veripb2) R 175256 175259 173959 0 -1 4194304 72721 0 0 0 1229 36 0 0 20 0 1 0 19334964 539860992 123754 134679101440 4194304 8311665 140724737328192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 24678400 140724737336141 140724737336420 140724737336420 140724737343431 0
/proc/175259/statm: 131802 123754 1123 1006 0 130563 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 527208 KiB
Current children cumulated memory: 495016 KiB

[startup+25.5003 s]
/proc/loadavg: 4.28 4.11 3.42 5/256 175265
/proc/meminfo: memFree=108143588/131655788 swapFree=131061172/131071996
[pid=175259] ppid=175256 vsize=711680 memory=658216 CPUtime=25.41 cores=5,7
/proc/175259/stat : 175259 (Exact_veripb2) R 175256 175259 173959 0 -1 4194304 95850 0 0 0 2488 53 0 0 20 0 1 0 19334964 728760320 164554 134679101440 4194304 8311665 140724737328192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 24678400 140724737336141 140724737336420 140724737336420 140724737343431 0
/proc/175259/statm: 177920 164554 1123 1006 0 176681 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 711680 KiB
Current children cumulated memory: 658216 KiB

[startup+51.1139 s]
/proc/loadavg: 4.24 4.12 3.44 5/259 175271
/proc/meminfo: memFree=106466720/131655788 swapFree=131061172/131071996
[pid=175259] ppid=175256 vsize=1163768 memory=974080 CPUtime=49.6 cores=5,7
/proc/175259/stat : 175259 (Exact_veripb2) R 175256 175259 173959 0 -1 4194304 126238 0 0 0 4879 81 0 0 20 0 1 0 19334964 1191698432 243520 134679101440 4194304 8311665 140724737328192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 135 0 0 9173656 9252184 24678400 140724737336141 140724737336420 140724737336420 140724737343431 0
/proc/175259/statm: 290942 243520 1123 1006 0 289703 0
Current children cumulated CPU time: 49.6 s
Current children cumulated vsize: 1163768 KiB
Current children cumulated memory: 974080 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.11 3.48 5/257 175280
/proc/meminfo: memFree=103986340/131655788 swapFree=131061172/131071996
[pid=175259] ppid=175256 vsize=1677536 memory=1323084 CPUtime=100.39 cores=5,7
/proc/175259/stat : 175259 (Exact_veripb2) R 175256 175259 173959 0 -1 4194304 162644 0 0 0 9902 137 0 0 20 0 1 0 19334964 1717796864 330771 134679101440 4194304 8311665 140724737328192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 158 0 0 9173656 9252184 24678400 140724737336141 140724737336420 140724737336420 140724737343431 0
/proc/175259/statm: 419384 330771 1123 1006 0 418145 0
Current children cumulated CPU time: 100.39 s
Current children cumulated vsize: 1677536 KiB
Current children cumulated memory: 1323084 KiB

[startup+162.3 s]
/proc/loadavg: 4.57 4.25 3.57 5/258 175291
/proc/meminfo: memFree=101347500/131655788 swapFree=131061172/131071996
[pid=175259] ppid=175256 vsize=1938380 memory=1676884 CPUtime=158.66 cores=5,7
/proc/175259/stat : 175259 (Exact_veripb2) R 175256 175259 173959 0 -1 4194304 221282 0 0 0 15658 208 0 0 20 0 1 0 19334964 1984901120 419221 134679101440 4194304 8311665 140724737328192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 315 0 0 9173656 9252184 24678400 140724737336141 140724737336420 140724737336420 140724737343431 0
/proc/175259/statm: 484595 419221 1123 1006 0 483356 0
Current children cumulated CPU time: 158.66 s
Current children cumulated vsize: 1938380 KiB
Current children cumulated memory: 1676884 KiB

[startup+222.3 s]
/proc/loadavg: 4.26 4.22 3.60 5/258 175301
/proc/meminfo: memFree=98588148/131655788 swapFree=131061172/131071996
[pid=175259] ppid=175256 vsize=1986100 memory=1722796 CPUtime=217.31 cores=5,7
/proc/175259/stat : 175259 (Exact_veripb2) R 175256 175259 173959 0 -1 4194304 231509 0 0 0 21461 270 0 0 20 0 1 0 19334964 2033766400 430699 134679101440 4194304 8311665 140724737328192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 435 0 0 9173656 9252184 24678400 140724737336141 140724737336420 140724737336420 140724737343431 0
/proc/175259/statm: 496525 430699 1155 1006 0 495286 0
Current children cumulated CPU time: 217.31 s
Current children cumulated vsize: 1986100 KiB
Current children cumulated memory: 1722796 KiB

[startup+282.3 s]
/proc/loadavg: 4.25 4.22 3.65 5/256 175314
/proc/meminfo: memFree=95416080/131655788 swapFree=131061172/131071996
[pid=175259] ppid=175256 vsize=2044264 memory=1841132 CPUtime=275.51 cores=5,7
/proc/175259/stat : 175259 (Exact_veripb2) R 175256 175259 173959 0 -1 4194304 245667 0 0 0 27255 296 0 0 20 0 1 0 19334964 2093326336 460283 134679101440 4194304 8311665 140724737328192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 600 0 0 9173656 9252184 24678400 140724737336141 140724737336420 140724737336420 140724737343431 0
/proc/175259/statm: 511066 460283 1155 1006 0 509827 0
Current children cumulated CPU time: 275.51 s
Current children cumulated vsize: 2044264 KiB
Current children cumulated memory: 1841132 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.20 3.68 5/256 175324
/proc/meminfo: memFree=93575296/131655788 swapFree=131061172/131071996
[pid=175259] ppid=175256 vsize=2761044 memory=2132732 CPUtime=334.75 cores=5,7
/proc/175259/stat : 175259 (Exact_veripb2) R 175256 175259 173959 0 -1 4194304 261590 0 0 0 33136 339 0 0 20 0 1 0 19334964 2827309056 533183 134679101440 4194304 8311665 140724737328192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 658 0 0 9173656 9252184 24678400 140724737336141 140724737336420 140724737336420 140724737343431 0
/proc/175259/statm: 690261 533183 1155 1006 0 689022 0
Current children cumulated CPU time: 334.75 s
Current children cumulated vsize: 2761044 KiB
Current children cumulated memory: 2132732 KiB

[startup+402.3 s]
/proc/loadavg: 4.24 4.22 3.72 5/253 175339
/proc/meminfo: memFree=91526016/131655788 swapFree=131061172/131071996
[pid=175259] ppid=175256 vsize=2860996 memory=2498748 CPUtime=394.07 cores=5,7
/proc/175259/stat : 175259 (Exact_veripb2) R 175256 175259 173959 0 -1 4194304 283576 0 0 0 39035 372 0 0 20 0 1 0 19334964 2929659904 624687 134679101440 4194304 8311665 140724737328192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 712 0 0 9173656 9252184 24678400 140724737336141 140724737336420 140724737336420 140724737343431 0
/proc/175259/statm: 715249 624687 1155 1006 0 714010 0
Current children cumulated CPU time: 394.07 s
Current children cumulated vsize: 2860996 KiB
Current children cumulated memory: 2498748 KiB

[startup+462.3 s]
/proc/loadavg: 4.27 4.24 3.76 5/252 175350
/proc/meminfo: memFree=89521952/131655788 swapFree=131061172/131071996
[pid=175259] ppid=175256 vsize=2954272 memory=2821320 CPUtime=453.22 cores=5,7
/proc/175259/stat : 175259 (Exact_veripb2) R 175256 175259 173959 0 -1 4194304 304183 0 0 0 44924 398 0 0 20 0 1 0 19334964 3025174528 705330 134679101440 4194304 8311665 140724737328192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 781 0 0 9173656 9252184 24678400 140724737336141 140724737336420 140724737336420 140724737343431 0
/proc/175259/statm: 738568 705330 1155 1006 0 737329 0

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

Current children cumulated memory: 6086076 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.21 4.18 3/256 176539
/proc/meminfo: memFree=645956/131655788 swapFree=131060916/131071996
[pid=175259] ppid=175256 vsize=6329088 memory=6096424 CPUtime=2851.57 cores=5,7
/proc/175259/stat : 175259 (Exact_veripb2) D 175256 175259 173959 0 -1 4194304 793667 0 0 0 282337 2820 0 0 20 0 1 0 19334964 6480986112 1524106 134679101440 4194304 8311665 140724737328192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 12185 0 0 9173656 9252184 24678400 140724737336141 140724737336420 140724737336420 140724737343431 0
/proc/175259/statm: 1582272 1524106 1200 1006 0 1581033 0
Current children cumulated CPU time: 2851.57 s
Current children cumulated vsize: 6329088 KiB
Current children cumulated memory: 6096424 KiB

[startup+3042.3 s]
/proc/loadavg: 4.17 4.20 4.18 5/256 176596
/proc/meminfo: memFree=32361760/131655788 swapFree=131060916/131071996
[pid=175259] ppid=175256 vsize=6488400 memory=6237868 CPUtime=2907.51 cores=5,7
/proc/175259/stat : 175259 (Exact_veripb2) R 175256 175259 173959 0 -1 4194304 833208 0 0 0 287901 2850 0 0 20 0 1 0 19334964 6644121600 1559467 134679101440 4194304 8311665 140724737328192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 12660 0 0 9173656 9252184 24678400 140724737336141 140724737336420 140724737336420 140724737343431 0
/proc/175259/statm: 1622100 1559467 1200 1006 0 1620861 0
Current children cumulated CPU time: 2907.51 s
Current children cumulated vsize: 6488400 KiB
Current children cumulated memory: 6237868 KiB

[startup+3102.3 s]
/proc/loadavg: 4.18 4.20 4.18 5/253 176995
/proc/meminfo: memFree=28515496/131655788 swapFree=131060916/131071996
[pid=175259] ppid=175256 vsize=6537904 memory=6288108 CPUtime=2960.64 cores=5,7
/proc/175259/stat : 175259 (Exact_veripb2) R 175256 175259 173959 0 -1 4194304 853050 0 0 0 293108 2956 0 0 20 0 1 0 19334964 6694813696 1572027 134679101440 4194304 8311665 140724737328192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 13333 0 0 9173656 9252184 24678400 140724737336141 140724737336420 140724737336420 140724737343431 0
/proc/175259/statm: 1634476 1572027 1200 1006 0 1633237 0
Current children cumulated CPU time: 2960.64 s
Current children cumulated vsize: 6537904 KiB
Current children cumulated memory: 6288108 KiB

[startup+3162.3 s]
/proc/loadavg: 4.18 4.20 4.18 9/251 177005
/proc/meminfo: memFree=25813904/131655788 swapFree=131060916/131071996
[pid=175259] ppid=175256 vsize=6541252 memory=6305356 CPUtime=3019.76 cores=5,7
/proc/175259/stat : 175259 (Exact_veripb2) R 175256 175259 173959 0 -1 4194304 856070 0 0 0 298944 3032 0 0 20 0 1 0 19334964 6698242048 1576339 134679101440 4194304 8311665 140724737328192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 13407 0 0 9173656 9252184 24678400 140724737336141 140724737336420 140724737336420 140724737343431 0
/proc/175259/statm: 1635313 1576339 1200 1006 0 1634074 0
Current children cumulated CPU time: 3019.76 s
Current children cumulated vsize: 6541252 KiB
Current children cumulated memory: 6305356 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.17 4.17 5/254 177021
/proc/meminfo: memFree=23880288/131655788 swapFree=131060916/131071996
[pid=175259] ppid=175256 vsize=6541252 memory=6306676 CPUtime=3074.43 cores=5,7
/proc/175259/stat : 175259 (Exact_veripb2) R 175256 175259 173959 0 -1 4194304 858059 0 0 0 304350 3093 0 0 20 0 1 0 19334964 6698242048 1576669 134679101440 4194304 8311665 140724737328192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 13925 0 0 9173656 9252184 24678400 140724737336141 140724737336420 140724737336420 140724737343431 0
/proc/175259/statm: 1635313 1576669 1200 1006 0 1634074 0
Current children cumulated CPU time: 3074.43 s
Current children cumulated vsize: 6541252 KiB
Current children cumulated memory: 6306676 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.18 4.18 5/254 177200
/proc/meminfo: memFree=21611656/131655788 swapFree=131060916/131071996
[pid=175259] ppid=175256 vsize=6541252 memory=6306676 CPUtime=3128.46 cores=5,7
/proc/175259/stat : 175259 (Exact_veripb2) R 175256 175259 173959 0 -1 4194304 859648 0 0 0 309669 3177 0 0 20 0 1 0 19334964 6698242048 1576669 134679101440 4194304 8311665 140724737328192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 14487 0 0 9173656 9252184 24678400 140724737336141 140724737336420 140724737336420 140724737343431 0
/proc/175259/statm: 1635313 1576669 1200 1006 0 1634074 0
Current children cumulated CPU time: 3128.46 s
Current children cumulated vsize: 6541252 KiB
Current children cumulated memory: 6306676 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.18 4.18 5/253 177210
/proc/meminfo: memFree=19963764/131655788 swapFree=131060916/131071996
[pid=175259] ppid=175256 vsize=6558464 memory=6321656 CPUtime=3186.68 cores=5,7
/proc/175259/stat : 175259 (Exact_veripb2) R 175256 175259 173959 0 -1 4194304 866676 0 0 0 315460 3208 0 0 20 0 1 0 19334964 6715867136 1580414 134679101440 4194304 8311665 140724737328192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 14648 0 0 9173656 9252184 24678400 140724737336141 140724737336420 140724737336420 140724737343431 0
/proc/175259/statm: 1639616 1580414 1200 1006 0 1638377 0
Current children cumulated CPU time: 3186.68 s
Current children cumulated vsize: 6558464 KiB
Current children cumulated memory: 6321656 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/251 177225
/proc/meminfo: memFree=17322764/131655788 swapFree=131060916/131071996
[pid=175259] ppid=175256 vsize=6562852 memory=6326468 CPUtime=3244.13 cores=5,7
/proc/175259/stat : 175259 (Exact_veripb2) R 175256 175259 173959 0 -1 4194304 872096 0 0 0 321174 3239 0 0 20 0 1 0 19334964 6720360448 1581617 134679101440 4194304 8311665 140724737328192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 14889 0 0 9173656 9252184 24678400 140724737336141 140724737336420 140724737336420 140724737343431 0
/proc/175259/statm: 1640713 1581617 1200 1006 0 1639474 0
Current children cumulated CPU time: 3244.13 s
Current children cumulated vsize: 6562852 KiB
Current children cumulated memory: 6326468 KiB

[startup+3462.3 s]
/proc/loadavg: 4.35 4.23 4.19 9/259 177300
/proc/meminfo: memFree=57182784/131655788 swapFree=131060916/131071996
[pid=175259] ppid=175256 vsize=6574348 memory=6338992 CPUtime=3301.37 cores=5,7
/proc/175259/stat : 175259 (Exact_veripb2) R 175256 175259 173959 0 -1 4194304 879799 0 0 0 326866 3271 0 0 20 0 1 0 19334964 6732132352 1584748 134679101440 4194304 8311665 140724737328192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 15150 0 0 9173656 9252184 24678400 140724737336141 140724737336420 140724737336420 140724737343431 0
/proc/175259/statm: 1643587 1584748 1200 1006 0 1642348 0
Current children cumulated CPU time: 3301.37 s
Current children cumulated vsize: 6574348 KiB
Current children cumulated memory: 6338992 KiB

[startup+3522.3 s]
/proc/loadavg: 4.23 4.22 4.19 5/256 177311
/proc/meminfo: memFree=55866064/131655788 swapFree=131060916/131071996
[pid=175259] ppid=175256 vsize=6585436 memory=6350336 CPUtime=3358.93 cores=5,7
/proc/175259/stat : 175259 (Exact_veripb2) R 175256 175259 173959 0 -1 4194304 885842 0 0 0 332605 3288 0 0 20 0 1 0 19334964 6743486464 1587584 134679101440 4194304 8311665 140724737328192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 15379 0 0 9173656 9252184 24678400 140724737336141 140724737336420 140724737336420 140724737343431 0
/proc/175259/statm: 1646359 1587584 1200 1006 0 1645120 0
Current children cumulated CPU time: 3358.93 s
Current children cumulated vsize: 6585436 KiB
Current children cumulated memory: 6350336 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.19 4.18 5/255 177322
/proc/meminfo: memFree=54400124/131655788 swapFree=131060916/131071996
[pid=175259] ppid=175256 vsize=6600388 memory=6365588 CPUtime=3416.64 cores=5,7
/proc/175259/stat : 175259 (Exact_veripb2) R 175256 175259 173959 0 -1 4194304 891891 0 0 0 338352 3312 0 0 20 0 1 0 19334964 6758797312 1591397 134679101440 4194304 8311665 140724737328192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 15593 0 0 9173656 9252184 24678400 140724737336141 140724737336420 140724737336420 140724737343431 0
/proc/175259/statm: 1650097 1591397 1200 1006 0 1648858 0
Current children cumulated CPU time: 3416.64 s
Current children cumulated vsize: 6600388 KiB
Current children cumulated memory: 6365588 KiB

[startup+3642.3 s]
/proc/loadavg: 4.21 4.20 4.18 5/255 177332
/proc/meminfo: memFree=52933040/131655788 swapFree=131060916/131071996
[pid=175259] ppid=175256 vsize=6629148 memory=6394540 CPUtime=3474.73 cores=5,7
/proc/175259/stat : 175259 (Exact_veripb2) R 175256 175259 173959 0 -1 4194304 901722 0 0 0 344139 3334 0 0 20 0 1 0 19334964 6788247552 1598635 134679101440 4194304 8311665 140724737328192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 15771 0 0 9173656 9252184 24678400 140724737336141 140724737336420 140724737336420 140724737343431 0
/proc/175259/statm: 1657287 1598635 1200 1006 0 1656048 0
Current children cumulated CPU time: 3474.73 s
Current children cumulated vsize: 6629148 KiB
Current children cumulated memory: 6394540 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+3700 s]
/proc/loadavg: 4.14 4.18 4.18 5/258 177347
/proc/meminfo: memFree=51546444/131655788 swapFree=131060916/131071996
[pid=175259] ppid=175256 vsize=6648600 memory=6414460 CPUtime=3531.52 cores=5,7
/proc/175259/stat : 175259 (Exact_veripb2) R 175256 175259 173959 0 -1 4194304 909234 0 0 0 349796 3356 0 0 20 0 1 0 19334964 6808166400 1603615 134679101440 4194304 8311665 140724737328192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 15847 0 0 9173656 9252184 24678400 140724737336141 140724737336420 140724737336420 140724737343431 0
/proc/175259/statm: 1662150 1603615 1200 1006 0 1660911 0
Current children cumulated CPU time: 3531.52 s
Current children cumulated vsize: 6648600 KiB
Current children cumulated memory: 6414460 KiB

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

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

# cumulated CPU time of all completed processes:  user=3498.12 s, system=33.6206 s

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

[startup+3700.1 s]*
/proc/loadavg: 4.13 4.18 4.18 5/258 177347
/proc/meminfo: memFree=54116860/131655788 swapFree=131060916/131071996
[pid=175259] ppid=175256 vsize=3920816 memory=3821228 CPUtime=3531.64 cores=5,7
/proc/175259/stat : 175259 (Exact_veripb2) R 175256 175259 173959 0 -1 4194304 909818 0 0 0 349807 3357 0 0 20 0 1 0 19334964 4014915584 955307 134679101440 4194304 8311665 140724737328192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 15847 0 0 9173656 9252184 24678400 140724737336141 140724737336420 140724737336420 140724737343431 0
/proc/175259/statm: 980204 955307 1200 1006 0 978965 0
Current children cumulated CPU time: 3531.64 s
Current children cumulated vsize: 3920816 KiB
Current children cumulated memory: 3821228 KiB

Child status: 0

Real time (s): 3700.22
CPU time (s): 3531.74
CPU user time (s): 3498.12
CPU system time (s): 33.6206
CPU usage (%): 95.4466
Max. virtual memory (cumulated for all children) (KiB): 6648600
Max. memory (cumulated for all children) (KiB): 6414460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3498.12
system time used= 33.6206
maximum resident set size= 6414460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 909876
page faults= 0
swaps= 0
block input operations= 0
block output operations= 123779384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 421
involuntary context switches= 6111


# summary of solver processes directly reported to runsolver:
#   pid: 175259
#   total CPU time (s): 3531.74
#   total CPU user time (s): 3498.12
#   total CPU system time (s): 33.6206

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.8947 second user time and 36.9311 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-24 17:04:15
IDJOB=4441398
IDBENCH=158605
IDSOLVER=3081
FILE ID=nodeC007/4441398-1721833455
RUNJOBID= nodeC007-1721832483-173972
SLURM_JOB_ID= 7891537
Free space on /tmp= 723756 MiB

SOLVER NAME= Exact_veripb2 2024-07-05
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm99p-opt.opb.negationfix.opb
COMMAND LINE= HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441398-1721833455/watcher-4441398-1721833455 -o /tmp/evaluation-result-4441398-1721833455/solver-4441398-1721833455 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721832483-173972 --watchdog 3760  HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441398-1721833455 --seed=595436978 HOME/instance-4441398-1721833455.opb

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

MD5SUM BENCH= 56678f8f787569ff6bace689e56ab709
RANDOM SEED=595436978

nodeC007.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		: 3627.086
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	: 6983.67
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		: 3484.165
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.37
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.393
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	: 6983.67
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.284
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.37
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		: 1787.931
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	: 6983.67
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.231
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.37
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.245
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	: 6983.67
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.202
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        109787020 kB
MemAvailable:   128169712 kB
Buffers:          265408 kB
Cached:         18800024 kB
SwapCached:           96 kB
Active:          1718300 kB
Inactive:       19311964 kB
Active(anon):       2076 kB
Inactive(anon):  2008420 kB
Active(file):    1716224 kB
Inactive(file): 17303544 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061172 kB
Dirty:             75008 kB
Writeback:             0 kB
AnonPages:       1965212 kB
Mapped:           102400 kB
Shmem:             45232 kB
KReclaimable:     406248 kB
Slab:             520388 kB
SReclaimable:     406248 kB
SUnreclaim:       114140 kB
KernelStack:        4112 kB
PageTables:        13248 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2991516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14336 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1447936 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:      437064 kB
DirectMap2M:    60284928 kB
DirectMap1G:    75497472 kB

Free space on /tmp at the end= 723748 MiB
End job on nodeC007 at 2024-07-24 18:05:56