Trace number 4449166

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
Exact 2024-07-05? (TO) 3602.58 3614.35

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm98p-dec.opb.negationfix.opb
MD5SUM0ade693002e69cf4f48fe48722d4f7a3
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.80037
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables670720
Total number of constraints5752
Number of constraints which are clauses2619
Number of constraints which are cardinality constraints (but not clauses)2619
Number of constraints which are nor clauses,nor cardinality constraints514
Minimum length of a constraint256
Maximum length of a constraint2620
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 947734
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 2162769
Number of bits of the biggest sum of numbers22
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.03/3611.80	c Program interrupted by user.
3600.03/3611.80	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (43084 MiB free)
  memory of node 1: 64473 MiB (56935 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449166-1721364919/watcher-4449166-1721364919 -o /tmp/evaluation-result-4449166-1721364919/solver-4449166-1721364919 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721363623-991884 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=515416113 HOME/instance-4449166-1721364919.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=993717, runsolver pid=993714

[startup+0.100369 s]*
/proc/loadavg: 4.14 4.13 3.91 5/256 993718
/proc/meminfo: memFree=102176848/131524600 swapFree=131071996/131071996
[pid=993717] ppid=993714 vsize=334792 memory=246864 CPUtime=0.09 cores=0,2
/proc/993717/stat : 993717 (Exact) R 993714 993717 991874 0 -1 4194304 7838 0 0 0 4 5 0 0 20 0 1 0 188658622 342827008 61716 134679101440 4194304 8309489 140732082744896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 42549248 140732082746302 140732082746471 140732082746471 140732082753487 0
/proc/993717/statm: 83698 61716 837 1005 0 82461 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 334792 KiB
Current children cumulated memory: 246864 KiB

[startup+0.205654 s]*
/proc/loadavg: 4.14 4.13 3.91 5/256 993718
/proc/meminfo: memFree=101963228/131524600 swapFree=131071996/131071996
[pid=993717] ppid=993714 vsize=483888 memory=460964 CPUtime=0.19 cores=0,2
/proc/993717/stat : 993717 (Exact) R 993714 993717 991874 0 -1 4194304 13911 0 0 0 10 9 0 0 20 0 1 0 188658622 495501312 115241 134679101440 4194304 8309489 140732082744896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 42549248 140732082746302 140732082746471 140732082746471 140732082753487 0
/proc/993717/statm: 120972 115241 868 1005 0 119735 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 483888 KiB
Current children cumulated memory: 460964 KiB

[startup+0.305543 s]*
/proc/loadavg: 4.14 4.13 3.91 5/256 993718
/proc/meminfo: memFree=101922540/131524600 swapFree=131071996/131071996
[pid=993717] ppid=993714 vsize=522056 memory=500036 CPUtime=0.3 cores=0,2
/proc/993717/stat : 993717 (Exact) R 993714 993717 991874 0 -1 4194304 23691 0 0 0 19 11 0 0 20 0 1 0 188658622 534585344 125009 134679101440 4194304 8309489 140732082744896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 42549248 140732082746302 140732082746471 140732082746471 140732082753487 0
/proc/993717/statm: 130514 125009 868 1005 0 129277 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 522056 KiB
Current children cumulated memory: 500036 KiB

[startup+0.700236 s]
/proc/loadavg: 4.14 4.13 3.91 6/256 993718
/proc/meminfo: memFree=101841248/131524600 swapFree=131071996/131071996
[pid=993717] ppid=993714 vsize=669140 memory=651700 CPUtime=0.68 cores=0,2
/proc/993717/stat : 993717 (Exact) R 993714 993717 991874 0 -1 4194304 60550 0 0 0 52 16 0 0 20 0 1 0 188658622 685199360 162859 134679101440 4194304 8309489 140732082744896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 42549248 140732082746302 140732082746471 140732082746471 140732082753487 0
/proc/993717/statm: 167318 162925 868 1005 0 166081 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 669140 KiB
Current children cumulated memory: 651700 KiB

[startup+1.50024 s]
/proc/loadavg: 4.14 4.13 3.91 6/256 993718
/proc/meminfo: memFree=101741340/131524600 swapFree=131071996/131071996
[pid=993717] ppid=993714 vsize=778120 memory=768736 CPUtime=1.48 cores=0,2
/proc/993717/stat : 993717 (Exact) R 993714 993717 991874 0 -1 4194304 87678 0 0 0 127 21 0 0 20 0 1 0 188658622 796794880 192184 134679101440 4194304 8309489 140732082744896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 42549248 140732082746302 140732082746471 140732082746471 140732082753487 0
/proc/993717/statm: 194530 192184 884 1005 0 193293 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 778120 KiB
Current children cumulated memory: 768736 KiB

[startup+3.10556 s]
/proc/loadavg: 4.21 4.15 3.91 6/256 993718
/proc/meminfo: memFree=101306804/131524600 swapFree=131071996/131071996
[pid=993717] ppid=993714 vsize=1132892 memory=1100600 CPUtime=3.08 cores=0,2
/proc/993717/stat : 993717 (Exact) R 993714 993717 991874 0 -1 4194304 146229 0 0 0 273 35 0 0 20 0 1 0 188658622 1160081408 275150 134679101440 4194304 8309489 140732082744896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 42549248 140732082746302 140732082746471 140732082746471 140732082753487 0
/proc/993717/statm: 283223 275150 900 1005 0 281986 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1132892 KiB
Current children cumulated memory: 1100600 KiB

[startup+6.30023 s]
/proc/loadavg: 4.21 4.15 3.91 6/256 993718
/proc/meminfo: memFree=100741728/131524600 swapFree=131071996/131071996
[pid=993717] ppid=993714 vsize=1744852 memory=1666232 CPUtime=6.27 cores=0,2
/proc/993717/stat : 993717 (Exact) R 993714 993717 991874 0 -1 4194304 227050 0 0 0 567 60 0 0 20 0 1 0 188658622 1786728448 416558 134679101440 4194304 8309489 140732082744896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 42549248 140732082746302 140732082746471 140732082746471 140732082753487 0
/proc/993717/statm: 436213 416558 900 1005 0 434976 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1744852 KiB
Current children cumulated memory: 1666232 KiB

[startup+12.7002 s]
/proc/loadavg: 4.18 4.14 3.92 6/256 993720
/proc/meminfo: memFree=99684904/131524600 swapFree=131071996/131071996
[pid=993717] ppid=993714 vsize=3149476 memory=2757872 CPUtime=12.65 cores=0,2
/proc/993717/stat : 993717 (Exact) R 993714 993717 991874 0 -1 4194304 394995 0 0 0 1154 111 0 0 20 0 1 0 188658622 3225063424 689468 134679101440 4194304 8309489 140732082744896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 42549248 140732082746302 140732082746471 140732082746471 140732082753487 0
/proc/993717/statm: 787369 689468 900 1005 0 786132 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 3149476 KiB
Current children cumulated memory: 2757872 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.14 3.92 6/256 993722
/proc/meminfo: memFree=97189124/131524600 swapFree=131071996/131071996
[pid=993717] ppid=993714 vsize=5531028 memory=5038072 CPUtime=25.4 cores=0,2
/proc/993717/stat : 993717 (Exact) R 993714 993717 991874 0 -1 4194304 765407 0 0 0 2334 206 0 0 20 0 1 0 188658622 5663772672 1259518 134679101440 4194304 8309489 140732082744896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 42549248 140732082746302 140732082746471 140732082746471 140732082753487 0
/proc/993717/statm: 1382757 1259518 900 1005 0 1381520 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 5531028 KiB
Current children cumulated memory: 5038072 KiB

[startup+51.1059 s]
/proc/loadavg: 4.18 4.14 3.92 6/256 993727
/proc/meminfo: memFree=92319448/131524600 swapFree=131071996/131071996
[pid=993717] ppid=993714 vsize=10039464 memory=9489412 CPUtime=50.94 cores=0,2
/proc/993717/stat : 993717 (Exact) R 993714 993717 991874 0 -1 4194304 1478971 0 0 0 4700 394 0 0 20 0 1 0 188658622 10280411136 2372353 134679101440 4194304 8309489 140732082744896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 42549248 140732082746302 140732082746471 140732082746471 140732082753487 0
/proc/993717/statm: 2509866 2372353 900 1005 0 2508629 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 10039464 KiB
Current children cumulated memory: 9489412 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.13 3.94 6/257 993738
/proc/meminfo: memFree=83730880/131524600 swapFree=131071996/131071996
[pid=993717] ppid=993714 vsize=18208152 memory=17350424 CPUtime=101.97 cores=0,2
/proc/993717/stat : 993717 (Exact) R 993714 993717 991874 0 -1 4194304 2760250 0 0 0 9477 720 0 0 20 0 1 0 188658622 18645147648 4337606 134679101440 4194304 8309489 140732082744896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 42549248 140732082746302 140732082746471 140732082746471 140732082753487 0
/proc/993717/statm: 4552038 4337606 900 1005 0 4550801 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 18208152 KiB
Current children cumulated memory: 17350424 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.12 3.95 6/257 993794
/proc/meminfo: memFree=78112652/131524600 swapFree=131071996/131071996
[pid=993717] ppid=993714 vsize=18905004 memory=18338640 CPUtime=161.77 cores=0,2
/proc/993717/stat : 993717 (Exact) R 993714 993717 991874 0 -1 4194304 2860059 0 0 0 15417 760 0 0 20 0 1 0 188658622 19358724096 4584660 134679101440 4194304 8309489 140732082744896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 42549248 140732082746302 140732082746471 140732082746471 140732082753487 0
/proc/993717/statm: 4726251 4584660 1108 1005 0 4725014 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 18905004 KiB
Current children cumulated memory: 18338640 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.13 3.96 6/259 994021
/proc/meminfo: memFree=75571120/131524600 swapFree=131071996/131071996
[pid=993717] ppid=993714 vsize=22915896 memory=19312460 CPUtime=221.56 cores=0,2
/proc/993717/stat : 993717 (Exact) R 993714 993717 991874 0 -1 4194304 2991831 0 0 0 21255 901 0 0 20 0 1 0 188658622 23465877504 4828115 134679101440 4194304 8309489 140732082744896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 42549248 140732082746302 140732082746471 140732082746471 140732082753487 0
/proc/993717/statm: 5728974 4828115 1108 1005 0 5727737 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 22915896 KiB
Current children cumulated memory: 19312460 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.12 3.97 6/258 994031
/proc/meminfo: memFree=64119116/131524600 swapFree=131071996/131071996
[pid=993717] ppid=993714 vsize=23073836 memory=19801228 CPUtime=281.35 cores=0,2
/proc/993717/stat : 993717 (Exact) R 993714 993717 991874 0 -1 4194304 3035304 0 0 0 27211 924 0 0 20 0 1 0 188658622 23627608064 4950307 134679101440 4194304 8309489 140732082744896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 42549248 140732082746302 140732082746471 140732082746471 140732082753487 0
/proc/993717/statm: 5768459 4950307 1108 1005 0 5767222 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 23073836 KiB
Current children cumulated memory: 19801228 KiB

[startup+342.3 s]
/proc/loadavg: 4.18 4.14 4.00 6/260 994056
/proc/meminfo: memFree=52017744/131524600 swapFree=131071996/131071996
[pid=993717] ppid=993714 vsize=23628952 memory=20806968 CPUtime=341.15 cores=0,2
/proc/993717/stat : 993717 (Exact) R 993714 993717 991874 0 -1 4194304 3169226 0 0 0 33155 960 0 0 20 0 1 0 188658622 24196046848 5201742 134679101440 4194304 8309489 140732082744896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 42549248 140732082746302 140732082746471 140732082746471 140732082753487 0
/proc/993717/statm: 5907238 5201742 1108 1005 0 5906001 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 23628952 KiB
Current children cumulated memory: 20806968 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 4.14 4.00 6/258 994111
/proc/meminfo: memFree=70330024/131524600 swapFree=131071996/131071996
[pid=993717] ppid=993714 vsize=24877180 memory=22245124 CPUtime=400.96 cores=0,2
/proc/993717/stat : 993717 (Exact) R 993714 993717 991874 0 -1 4194304 3209983 0 0 0 39074 1022 0 0 20 0 1 0 188658622 25474232320 5561281 134679101440 4194304 8309489 140732082744896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 42549248 140732082746302 140732082746471 140732082746471 140732082753487 0
/proc/993717/statm: 6219295 5561281 1108 1005 0 6218058 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 24877180 KiB
Current children cumulated memory: 22245124 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.15 4.01 6/258 994124
/proc/meminfo: memFree=60330060/131524600 swapFree=131071996/131071996
[pid=993717] ppid=993714 vsize=23859156 memory=21223140 CPUtime=460.76 cores=0,2
/proc/993717/stat : 993717 (Exact) R 993714 993717 991874 0 -1 4194304 3235323 0 0 0 45039 1037 0 0 20 0 1 0 188658622 24431775744 5305785 134679101440 4194304 8309489 140732082744896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 42549248 140732082746302 140732082746471 140732082746471 140732082753487 0
/proc/993717/statm: 5964789 5305785 1108 1005 0 5963552 0

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

[startup+3042.3 s]
/proc/loadavg: 4.12 4.15 4.13 6/255 995616
/proc/meminfo: memFree=74494900/131524600 swapFree=131071996/131071996
[pid=993717] ppid=993714 vsize=28634540 memory=26071408 CPUtime=3032.42 cores=0,2
/proc/993717/stat : 993717 (Exact) R 993714 993717 991874 0 -1 4194304 4460447 0 0 0 301107 2135 0 0 20 0 1 0 188658622 29321768960 6517852 134679101440 4194304 8309489 140732082744896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 42549248 140732082746302 140732082746471 140732082746471 140732082753487 0
/proc/993717/statm: 7158635 6517852 1140 1005 0 7157398 0
Current children cumulated CPU time: 3032.42 s
Current children cumulated vsize: 28634540 KiB
Current children cumulated memory: 26071408 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.15 4.13 6/255 995626
/proc/meminfo: memFree=74283364/131524600 swapFree=131071996/131071996
[pid=993717] ppid=993714 vsize=28681288 memory=26105012 CPUtime=3092.21 cores=0,2
/proc/993717/stat : 993717 (Exact) R 993714 993717 991874 0 -1 4194304 4469953 0 0 0 307069 2152 0 0 20 0 1 0 188658622 29369638912 6526253 134679101440 4194304 8309489 140732082744896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 42549248 140732082746302 140732082746471 140732082746471 140732082753487 0
/proc/993717/statm: 7170322 6526253 1140 1005 0 7169085 0
Current children cumulated CPU time: 3092.21 s
Current children cumulated vsize: 28681288 KiB
Current children cumulated memory: 26105012 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.15 4.13 6/255 995637
/proc/meminfo: memFree=73700764/131524600 swapFree=131071996/131071996
[pid=993717] ppid=993714 vsize=28730464 memory=26148568 CPUtime=3152.01 cores=0,2
/proc/993717/stat : 993717 (Exact) R 993714 993717 991874 0 -1 4194304 4482199 0 0 0 313032 2169 0 0 20 0 1 0 188658622 29419995136 6537142 134679101440 4194304 8309489 140732082744896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 42549248 140732082746302 140732082746471 140732082746471 140732082753487 0
/proc/993717/statm: 7182616 6537142 1140 1005 0 7181379 0
Current children cumulated CPU time: 3152.01 s
Current children cumulated vsize: 28730464 KiB
Current children cumulated memory: 26148568 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.14 4.12 6/255 995647
/proc/meminfo: memFree=73580144/131524600 swapFree=131071996/131071996
[pid=993717] ppid=993714 vsize=28747448 memory=26160604 CPUtime=3211.79 cores=0,2
/proc/993717/stat : 993717 (Exact) R 993714 993717 991874 0 -1 4194304 4486299 0 0 0 318992 2187 0 0 20 0 1 0 188658622 29437386752 6540151 134679101440 4194304 8309489 140732082744896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 42549248 140732082746302 140732082746471 140732082746471 140732082753487 0
/proc/993717/statm: 7186862 6540151 1140 1005 0 7185625 0
Current children cumulated CPU time: 3211.79 s
Current children cumulated vsize: 28747448 KiB
Current children cumulated memory: 26160604 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.16 4.13 6/257 995661
/proc/meminfo: memFree=73553040/131524600 swapFree=131071996/131071996
[pid=993717] ppid=993714 vsize=28752380 memory=26164772 CPUtime=3271.58 cores=0,2
/proc/993717/stat : 993717 (Exact) R 993714 993717 991874 0 -1 4194304 4488694 0 0 0 324955 2203 0 0 20 0 1 0 188658622 29442437120 6541193 134679101440 4194304 8309489 140732082744896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 42549248 140732082746302 140732082746471 140732082746471 140732082753487 0
/proc/993717/statm: 7188095 6541193 1140 1005 0 7186858 0
Current children cumulated CPU time: 3271.58 s
Current children cumulated vsize: 28752380 KiB
Current children cumulated memory: 26164772 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.12 6/257 995672
/proc/meminfo: memFree=73354676/131524600 swapFree=131071996/131071996
[pid=993717] ppid=993714 vsize=28752380 memory=26319324 CPUtime=3331.37 cores=0,2
/proc/993717/stat : 993717 (Exact) R 993714 993717 991874 0 -1 4194304 4490292 0 0 0 330915 2222 0 0 20 0 1 0 188658622 29442437120 6579831 134679101440 4194304 8309489 140732082744896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 42549248 140732082746302 140732082746471 140732082746471 140732082753487 0
/proc/993717/statm: 7188095 6579831 1140 1005 0 7186858 0
Current children cumulated CPU time: 3331.37 s
Current children cumulated vsize: 28752380 KiB
Current children cumulated memory: 26319324 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.13 4.12 5/256 995774
/proc/meminfo: memFree=101448480/131524600 swapFree=131071996/131071996
[pid=993717] ppid=993714 vsize=28762324 memory=26499848 CPUtime=3391.16 cores=0,2
/proc/993717/stat : 993717 (Exact) R 993714 993717 991874 0 -1 4194304 4494255 0 0 0 336875 2241 0 0 20 0 1 0 188658622 29452619776 6624962 134679101440 4194304 8309489 140732082744896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 42549248 140732082746302 140732082746471 140732082746471 140732082753487 0
/proc/993717/statm: 7190581 6624962 1140 1005 0 7189344 0
Current children cumulated CPU time: 3391.16 s
Current children cumulated vsize: 28762324 KiB
Current children cumulated memory: 26499848 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.12 5/256 995785
/proc/meminfo: memFree=101189844/131524600 swapFree=131071996/131071996
[pid=993717] ppid=993714 vsize=28821092 memory=26747184 CPUtime=3450.98 cores=0,2
/proc/993717/stat : 993717 (Exact) R 993714 993717 991874 0 -1 4194304 4507994 0 0 0 342838 2260 0 0 20 0 1 0 188658622 29512798208 6686796 134679101440 4194304 8309489 140732082744896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 42549248 140732082746302 140732082746471 140732082746471 140732082753487 0
/proc/993717/statm: 7205273 6686796 1140 1005 0 7204036 0
Current children cumulated CPU time: 3450.98 s
Current children cumulated vsize: 28821092 KiB
Current children cumulated memory: 26747184 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/256 995796
/proc/meminfo: memFree=100861536/131524600 swapFree=131071996/131071996
[pid=993717] ppid=993714 vsize=28825252 memory=27071368 CPUtime=3510.8 cores=0,2
/proc/993717/stat : 993717 (Exact) R 993714 993717 991874 0 -1 4194304 4515529 0 0 0 348802 2278 0 0 20 0 1 0 188658622 29517058048 6767842 134679101440 4194304 8309489 140732082744896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 42549248 140732082746302 140732082746471 140732082746471 140732082753487 0
/proc/993717/statm: 7206313 6767842 1140 1005 0 7205076 0
Current children cumulated CPU time: 3510.8 s
Current children cumulated vsize: 28825252 KiB
Current children cumulated memory: 27071368 KiB

[startup+3582.3 s]
/proc/loadavg: 3.92 4.08 4.10 4/250 996221
/proc/meminfo: memFree=100834004/131524600 swapFree=131071996/131071996
[pid=993717] ppid=993714 vsize=28860068 memory=27145064 CPUtime=3570.62 cores=0,2
/proc/993717/stat : 993717 (Exact) R 993714 993717 991874 0 -1 4194304 4535619 0 0 0 354727 2335 0 0 20 0 1 0 188658622 29552709632 6786266 134679101440 4194304 8309489 140732082744896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 42549248 140732082746302 140732082746471 140732082746471 140732082753487 0
/proc/993717/statm: 7215017 6786266 1140 1005 0 7213780 0
Current children cumulated CPU time: 3570.62 s
Current children cumulated vsize: 28860068 KiB
Current children cumulated memory: 27145064 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.8 s]
/proc/loadavg: 3.60 3.99 4.07 4/250 996226
/proc/meminfo: memFree=100833824/131524600 swapFree=131071996/131071996
[pid=993717] ppid=993714 vsize=28860068 memory=27145380 CPUtime=3600.03 cores=0,2
/proc/993717/stat : 993717 (Exact) R 993714 993717 991874 0 -1 4194304 4536029 0 0 0 357662 2341 0 0 20 0 1 0 188658622 29552709632 6786345 134679101440 4194304 8309489 140732082744896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 42549248 140732082746302 140732082746471 140732082746471 140732082753487 0
/proc/993717/statm: 7215017 6786345 1140 1005 0 7213780 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 28860068 KiB
Current children cumulated memory: 27145380 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+3614.35 s]
# the end of solver process 993717 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3578.59 s, system=23.9945 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3612.8 s]
/proc/loadavg: 3.56 3.97 4.06 4/250 996226
/proc/meminfo: memFree=100833796/131524600 swapFree=131071996/131071996
[pid=993717] ppid=993714 vsize=20293580 memory=19714884 CPUtime=3601.02 cores=0,2
/proc/993717/stat : 993717 (Exact) R 993714 993717 991874 0 -1 4194304 4542206 0 0 0 357759 2343 0 0 20 0 1 0 188658622 20780625920 4928721 134679101440 4194304 8309489 140732082744896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 42549248 140732082746302 140732082746471 140732082746471 140732082753487 0
/proc/993717/statm: 5073395 4928721 1153 1005 0 5072158 0
Current children cumulated CPU time: 3601.02 s
Current children cumulated vsize: 20293580 KiB
Current children cumulated memory: 19714884 KiB

[startup+3613.6 s]
/proc/loadavg: 3.56 3.97 4.06 4/250 996226
/proc/meminfo: memFree=108278808/131524600 swapFree=131071996/131071996
[pid=993717] ppid=993714 vsize=20293580 memory=19714884 CPUtime=3601.82 cores=0,2
/proc/993717/stat : 993717 (Exact) R 993714 993717 991874 0 -1 4194304 4547538 0 0 0 357838 2344 0 0 20 0 1 0 188658622 20780625920 4928721 134679101440 4194304 8309489 140732082744896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 42549248 140732082746302 140732082746471 140732082746471 140732082753487 0
/proc/993717/statm: 5073395 4928721 1153 1005 0 5072158 0
Current children cumulated CPU time: 3601.82 s
Current children cumulated vsize: 20293580 KiB
Current children cumulated memory: 19714884 KiB

[startup+3613.8 s]
/proc/loadavg: 3.56 3.97 4.06 4/250 996226
/proc/meminfo: memFree=108278808/131524600 swapFree=131071996/131071996
[pid=993717] ppid=993714 vsize=20293580 memory=19714884 CPUtime=3602.02 cores=0,2
/proc/993717/stat : 993717 (Exact) R 993714 993717 991874 0 -1 4194304 4548200 0 0 0 357858 2344 0 0 20 0 1 0 188658622 20780625920 4928721 134679101440 4194304 8309489 140732082744896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 42549248 140732082746302 140732082746471 140732082746471 140732082753487 0
/proc/993717/statm: 5073395 4928721 1153 1005 0 5072158 0
Current children cumulated CPU time: 3602.02 s
Current children cumulated vsize: 20293580 KiB
Current children cumulated memory: 19714884 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3614.35
CPU time (s): 3602.58
CPU user time (s): 3578.59
CPU system time (s): 23.9945
CPU usage (%): 99.6744
Max. virtual memory (cumulated for all children) (KiB): 30531244
Max. memory (cumulated for all children) (KiB): 28738416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.59
system time used= 23.9945
maximum resident set size= 28816240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4548200
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= 7
involuntary context switches= 24907


# summary of solver processes directly reported to runsolver:
#   pid: 993717
#   total CPU time (s): 3602.58
#   total CPU user time (s): 3578.59
#   total CPU system time (s): 23.9945

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.12167 second user time and 18.0934 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2024-07-19 06:55:32
IDJOB=4449166
IDBENCH=160484
IDSOLVER=3060
FILE ID=nodeC027/4449166-1721364919
RUNJOBID= nodeC027-1721363623-991884
SLURM_JOB_ID= 7542790
Free space on /tmp= 889996 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm98p-dec.opb.negationfix.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449166-1721364919/watcher-4449166-1721364919 -o /tmp/evaluation-result-4449166-1721364919/solver-4449166-1721364919 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721363623-991884 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=515416113 HOME/instance-4449166-1721364919.opb

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

MD5SUM BENCH= 0ade693002e69cf4f48fe48722d4f7a3
RANDOM SEED=515416113

nodeC027.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		: 3672.685
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	: 7000.36
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		: 3687.340
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	: 7006.29
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		: 3649.271
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	: 7000.36
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		: 3600.512
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	: 7006.29
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		: 3673.945
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	: 7000.36
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		: 3687.327
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	: 7006.29
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.056
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	: 7000.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.485
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	: 7006.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        102421364 kB
MemAvailable:   104041732 kB
Buffers:          508480 kB
Cached:          1942936 kB
SwapCached:            0 kB
Active:           968648 kB
Inactive:       27465620 kB
Active(anon):       1552 kB
Inactive(anon): 26019356 kB
Active(file):     967096 kB
Inactive(file):  1446264 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             38044 kB
Writeback:             4 kB
AnonPages:      25981252 kB
Mapped:           119988 kB
Shmem:             37720 kB
KReclaimable:      93660 kB
Slab:             203736 kB
SReclaimable:      93660 kB
SUnreclaim:       110076 kB
KernelStack:        4096 kB
PageTables:        60304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   30286520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            68960 kB
HardwareCorrupted:     0 kB
AnonHugePages:  11732992 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:      193236 kB
DirectMap2M:    15308800 kB
DirectMap1G:    120586240 kB

Free space on /tmp at the end= 890036 MiB
End job on nodeC027 at 2024-07-19 07:55:47