Trace number 4433289

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 2024-07-05? (TO) 3602.25 3615.54

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_3_mh.opb
MD5SUM4f3174f37d2a17c7e83bc7c52ff48d45
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 benchmark26461978
Best CPU time to get the best result obtained on this benchmark3600.45
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2000400
Total number of constraints4920807
Number of constraints which are clauses3910700
Number of constraints which are cardinality constraints (but not clauses)107
Number of constraints which are nor clauses,nor cardinality constraints1010000
Minimum length of a constraint2
Maximum length of a constraint14950
Number of terms in the objective function 1019800
Biggest coefficient in the objective function 137388096
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 308760127022
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 137388096
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 308760127022
Number of bits of the biggest sum of numbers39
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.10/3613.49	c Program interrupted by user.
3600.10/3613.49	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 (61063 MiB free)
  memory of node 1: 64473 MiB (60468 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433289-1721142827/watcher-4433289-1721142827 -o /tmp/evaluation-result-4433289-1721142827/solver-4433289-1721142827 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721135610-854124 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=2097457490 HOME/instance-4433289-1721142827.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=858215, runsolver pid=858212

[startup+0.101035 s]*
/proc/loadavg: 4.16 4.11 4.09 5/257 858216
/proc/meminfo: memFree=123912144/131524600 swapFree=131071996/131071996
[pid=858215] ppid=858212 vsize=344316 memory=267360 CPUtime=0.09 cores=0,2
/proc/858215/stat : 858215 (Exact) R 858212 858215 854114 0 -1 4194304 6867 0 0 0 4 5 0 0 20 0 1 0 166449904 352579584 66840 134679101440 4194304 8309489 140725642953552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 13361152 140725642957758 140725642957928 140725642957928 140725642964943 0
/proc/858215/statm: 86079 66840 821 1005 0 84842 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 344316 KiB
Current children cumulated memory: 267360 KiB

[startup+0.205627 s]*
/proc/loadavg: 4.16 4.11 4.09 5/257 858216
/proc/meminfo: memFree=123603176/131524600 swapFree=131071996/131071996
[pid=858215] ppid=858212 vsize=712580 memory=509292 CPUtime=0.2 cores=0,2
/proc/858215/stat : 858215 (Exact) R 858212 858215 854114 0 -1 4194304 8089 0 0 0 10 10 0 0 20 0 1 0 166449904 729681920 127323 134679101440 4194304 8309489 140725642953552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 13361152 140725642957758 140725642957928 140725642957928 140725642964943 0
/proc/858215/statm: 178145 127323 837 1005 0 176908 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 712580 KiB
Current children cumulated memory: 509292 KiB

[startup+0.305903 s]*
/proc/loadavg: 4.16 4.11 4.09 5/257 858216
/proc/meminfo: memFree=123144508/131524600 swapFree=131071996/131071996
[pid=858215] ppid=858212 vsize=909436 memory=831528 CPUtime=0.3 cores=0,2
/proc/858215/stat : 858215 (Exact) R 858212 858215 854114 0 -1 4194304 8881 0 0 0 13 17 0 0 20 0 1 0 166449904 931262464 207882 134679101440 4194304 8309489 140725642953552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 13361152 140725642957758 140725642957928 140725642957928 140725642964943 0
/proc/858215/statm: 227359 207882 837 1005 0 226122 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 909436 KiB
Current children cumulated memory: 831528 KiB

[startup+0.700251 s]
/proc/loadavg: 4.16 4.11 4.09 5/257 858216
/proc/meminfo: memFree=122516552/131524600 swapFree=131071996/131071996
[pid=858215] ppid=858212 vsize=1186124 memory=1161180 CPUtime=0.68 cores=0,2
/proc/858215/stat : 858215 (Exact) R 858212 858215 854114 0 -1 4194304 24751 0 0 0 43 25 0 0 20 0 1 0 166449904 1214590976 290295 134679101440 4194304 8309489 140725642953552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 13361152 140725642957758 140725642957928 140725642957928 140725642964943 0
/proc/858215/statm: 296531 290295 837 1005 0 295294 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 1186124 KiB
Current children cumulated memory: 1161180 KiB

[startup+1.50022 s]
/proc/loadavg: 4.16 4.11 4.09 5/257 858218
/proc/meminfo: memFree=121427392/131524600 swapFree=131071996/131071996
[pid=858215] ppid=858212 vsize=1689624 memory=1669548 CPUtime=1.48 cores=0,2
/proc/858215/stat : 858215 (Exact) R 858212 858215 854114 0 -1 4194304 98354 0 0 0 106 42 0 0 20 0 1 0 166449904 1730174976 417387 134679101440 4194304 8309489 140725642953552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 13361152 140725642957758 140725642957928 140725642957928 140725642964943 0
/proc/858215/statm: 422406 417387 916 1005 0 421169 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 1689624 KiB
Current children cumulated memory: 1669548 KiB

[startup+3.10551 s]
/proc/loadavg: 4.16 4.11 4.09 5/257 858218
/proc/meminfo: memFree=119654700/131524600 swapFree=131071996/131071996
[pid=858215] ppid=858212 vsize=2173592 memory=2160692 CPUtime=3.08 cores=0,2
/proc/858215/stat : 858215 (Exact) R 858212 858215 854114 0 -1 4194304 207001 0 0 0 247 61 0 0 20 0 1 0 166449904 2225758208 540173 134679101440 4194304 8309489 140725642953552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 13361152 140725642957758 140725642957928 140725642957928 140725642964943 0
/proc/858215/statm: 543398 540173 916 1005 0 542161 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2173592 KiB
Current children cumulated memory: 2160692 KiB

[startup+6.30022 s]
/proc/loadavg: 4.15 4.11 4.09 5/257 858219
/proc/meminfo: memFree=118778776/131524600 swapFree=131071996/131071996
[pid=858215] ppid=858212 vsize=2428396 memory=2389296 CPUtime=6.26 cores=0,2
/proc/858215/stat : 858215 (Exact) R 858212 858215 854114 0 -1 4194304 237873 0 0 0 554 72 0 0 20 0 1 0 166449904 2486677504 597324 134679101440 4194304 8309489 140725642953552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 13361152 140725642957758 140725642957928 140725642957928 140725642964943 0
/proc/858215/statm: 607099 597324 916 1005 0 605862 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2428396 KiB
Current children cumulated memory: 2389296 KiB

[startup+12.7002 s]
/proc/loadavg: 4.21 4.12 4.10 5/257 858220
/proc/meminfo: memFree=116177332/131524600 swapFree=131071996/131071996
[pid=858215] ppid=858212 vsize=3319180 memory=3090716 CPUtime=12.64 cores=0,2
/proc/858215/stat : 858215 (Exact) R 858212 858215 854114 0 -1 4194304 394323 0 0 0 1154 110 0 0 20 0 1 0 166449904 3398840320 772679 134679101440 4194304 8309489 140725642953552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 13361152 140725642957758 140725642957928 140725642957928 140725642964943 0
/proc/858215/statm: 829795 772679 916 1005 0 828558 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 3319180 KiB
Current children cumulated memory: 3090716 KiB

[startup+25.5002 s]
/proc/loadavg: 4.17 4.11 4.10 5/257 858222
/proc/meminfo: memFree=112221712/131524600 swapFree=131071996/131071996
[pid=858215] ppid=858212 vsize=7139976 memory=6974632 CPUtime=25.4 cores=0,2
/proc/858215/stat : 858215 (Exact) R 858212 858215 854114 0 -1 4194304 963554 0 0 0 2282 258 0 0 20 0 1 0 166449904 7311335424 1743658 134679101440 4194304 8309489 140725642953552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 13361152 140725642957758 140725642957928 140725642957928 140725642964943 0
/proc/858215/statm: 1784994 1743658 916 1005 0 1783757 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 7139976 KiB
Current children cumulated memory: 6974632 KiB

[startup+51.1058 s]
/proc/loadavg: 4.17 4.12 4.10 5/257 858227
/proc/meminfo: memFree=103880432/131524600 swapFree=131071996/131071996
[pid=858215] ppid=858212 vsize=15319276 memory=14982056 CPUtime=50.91 cores=0,2
/proc/858215/stat : 858215 (Exact) R 858212 858215 854114 0 -1 4194304 1728279 0 0 0 4552 539 0 0 20 0 1 0 166449904 15686938624 3745514 134679101440 4194304 8309489 140725642953552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 13361152 140725642957758 140725642957928 140725642957928 140725642964943 0
/proc/858215/statm: 3829819 3745514 1060 1005 0 3828582 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 15319276 KiB
Current children cumulated memory: 14982056 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 858235
/proc/meminfo: memFree=103567504/131524600 swapFree=131071996/131071996
[pid=858215] ppid=858212 vsize=17360932 memory=15166152 CPUtime=101.9 cores=0,2
/proc/858215/stat : 858215 (Exact) R 858212 858215 854114 0 -1 4194304 1767313 0 0 0 9563 627 0 0 20 0 1 0 166449904 17777594368 3791538 134679101440 4194304 8309489 140725642953552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 13361152 140725642957758 140725642957928 140725642957928 140725642964943 0
/proc/858215/statm: 4340233 3791538 1124 1005 0 4338996 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 17360932 KiB
Current children cumulated memory: 15166152 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/255 858245
/proc/meminfo: memFree=103158204/131524600 swapFree=131071996/131071996
[pid=858215] ppid=858212 vsize=17508352 memory=15383248 CPUtime=161.67 cores=0,2
/proc/858215/stat : 858215 (Exact) R 858212 858215 854114 0 -1 4194304 1806678 0 0 0 15528 639 0 0 20 0 1 0 166449904 17928552448 3845812 134679101440 4194304 8309489 140725642953552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 13361152 140725642957758 140725642957928 140725642957928 140725642964943 0
/proc/858215/statm: 4377088 3845812 1124 1005 0 4375851 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 17508352 KiB
Current children cumulated memory: 15383248 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 858256
/proc/meminfo: memFree=102253292/131524600 swapFree=131071996/131071996
[pid=858215] ppid=858212 vsize=18099124 memory=15958624 CPUtime=221.43 cores=0,2
/proc/858215/stat : 858215 (Exact) R 858212 858215 854114 0 -1 4194304 1817838 0 0 0 21485 658 0 0 20 0 1 0 166449904 18533502976 3989656 134679101440 4194304 8309489 140725642953552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 13361152 140725642957758 140725642957928 140725642957928 140725642964943 0
/proc/858215/statm: 4524781 3989656 1124 1005 0 4523544 0
Current children cumulated CPU time: 221.43 s
Current children cumulated vsize: 18099124 KiB
Current children cumulated memory: 15958624 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/255 858266
/proc/meminfo: memFree=101046012/131524600 swapFree=131071996/131071996
[pid=858215] ppid=858212 vsize=18099124 memory=16349792 CPUtime=281.2 cores=0,2
/proc/858215/stat : 858215 (Exact) R 858212 858215 854114 0 -1 4194304 1819516 0 0 0 27451 669 0 0 20 0 1 0 166449904 18533502976 4087448 134679101440 4194304 8309489 140725642953552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 13361152 140725642957758 140725642957928 140725642957928 140725642964943 0
/proc/858215/statm: 4524781 4087448 1124 1005 0 4523544 0
Current children cumulated CPU time: 281.2 s
Current children cumulated vsize: 18099124 KiB
Current children cumulated memory: 16349792 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/254 858276
/proc/meminfo: memFree=100808880/131524600 swapFree=131071996/131071996
[pid=858215] ppid=858212 vsize=18195768 memory=16533896 CPUtime=340.97 cores=0,2
/proc/858215/stat : 858215 (Exact) R 858212 858215 854114 0 -1 4194304 1843119 0 0 0 33419 678 0 0 20 0 1 0 166449904 18632466432 4133474 134679101440 4194304 8309489 140725642953552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 13361152 140725642957758 140725642957928 140725642957928 140725642964943 0
/proc/858215/statm: 4548942 4133474 1124 1005 0 4547705 0
Current children cumulated CPU time: 340.97 s
Current children cumulated vsize: 18195768 KiB
Current children cumulated memory: 16533896 KiB

[startup+402.3 s]
/proc/loadavg: 4.22 4.14 4.10 5/257 858291
/proc/meminfo: memFree=100608432/131524600 swapFree=131071996/131071996
[pid=858215] ppid=858212 vsize=18313388 memory=16716264 CPUtime=400.73 cores=0,2
/proc/858215/stat : 858215 (Exact) R 858212 858215 854114 0 -1 4194304 1868758 0 0 0 39386 687 0 0 20 0 1 0 166449904 18752909312 4179066 134679101440 4194304 8309489 140725642953552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 13361152 140725642957758 140725642957928 140725642957928 140725642964943 0
/proc/858215/statm: 4578347 4179066 1124 1005 0 4577110 0
Current children cumulated CPU time: 400.73 s
Current children cumulated vsize: 18313388 KiB
Current children cumulated memory: 16716264 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/257 858302
/proc/meminfo: memFree=100159036/131524600 swapFree=131071996/131071996
[pid=858215] ppid=858212 vsize=18460056 memory=16946108 CPUtime=460.51 cores=0,2
/proc/858215/stat : 858215 (Exact) R 858212 858215 854114 0 -1 4194304 1903579 0 0 0 45353 698 0 0 20 0 1 0 166449904 18903097344 4236527 134679101440 4194304 8309489 140725642953552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 13361152 140725642957758 140725642957928 140725642957928 140725642964943 0
/proc/858215/statm: 4615014 4236527 1124 1005 0 4613777 0

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

[startup+3102.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/255 859955
/proc/meminfo: memFree=93705588/131524600 swapFree=131071996/131071996
[pid=858215] ppid=858212 vsize=23714668 memory=20653792 CPUtime=3090.84 cores=0,2
/proc/858215/stat : 858215 (Exact) R 858212 858215 854114 0 -1 4194304 2267198 0 0 0 307901 1183 0 0 20 0 1 0 166449904 24283820032 5163448 134679101440 4194304 8309489 140725642953552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 13361152 140725642957758 140725642957928 140725642957928 140725642964943 0
/proc/858215/statm: 5928667 5163448 1140 1005 0 5927430 0
Current children cumulated CPU time: 3090.84 s
Current children cumulated vsize: 23714668 KiB
Current children cumulated memory: 20653792 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/255 859965
/proc/meminfo: memFree=93705212/131524600 swapFree=131071996/131071996
[pid=858215] ppid=858212 vsize=23714668 memory=20653796 CPUtime=3150.64 cores=0,2
/proc/858215/stat : 858215 (Exact) R 858212 858215 854114 0 -1 4194304 2267936 0 0 0 313873 1191 0 0 20 0 1 0 166449904 24283820032 5163449 134679101440 4194304 8309489 140725642953552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 13361152 140725642957758 140725642957928 140725642957928 140725642964943 0
/proc/858215/statm: 5928667 5163449 1140 1005 0 5927430 0
Current children cumulated CPU time: 3150.64 s
Current children cumulated vsize: 23714668 KiB
Current children cumulated memory: 20653796 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/255 859976
/proc/meminfo: memFree=93704028/131524600 swapFree=131071996/131071996
[pid=858215] ppid=858212 vsize=23714668 memory=20654156 CPUtime=3210.45 cores=0,2
/proc/858215/stat : 858215 (Exact) R 858212 858215 854114 0 -1 4194304 2269903 0 0 0 319845 1200 0 0 20 0 1 0 166449904 24283820032 5163539 134679101440 4194304 8309489 140725642953552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 13361152 140725642957758 140725642957928 140725642957928 140725642964943 0
/proc/858215/statm: 5928667 5163539 1140 1005 0 5927430 0
Current children cumulated CPU time: 3210.45 s
Current children cumulated vsize: 23714668 KiB
Current children cumulated memory: 20654156 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/255 859986
/proc/meminfo: memFree=93703484/131524600 swapFree=131071996/131071996
[pid=858215] ppid=858212 vsize=23714668 memory=20654164 CPUtime=3270.23 cores=0,2
/proc/858215/stat : 858215 (Exact) R 858212 858215 854114 0 -1 4194304 2271612 0 0 0 325821 1202 0 0 20 0 1 0 166449904 24283820032 5163541 134679101440 4194304 8309489 140725642953552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 13361152 140725642957758 140725642957928 140725642957928 140725642964943 0
/proc/858215/statm: 5928667 5163541 1140 1005 0 5927430 0
Current children cumulated CPU time: 3270.23 s
Current children cumulated vsize: 23714668 KiB
Current children cumulated memory: 20654164 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/255 859996
/proc/meminfo: memFree=93659912/131524600 swapFree=131071996/131071996
[pid=858215] ppid=858212 vsize=23714668 memory=20667364 CPUtime=3330.01 cores=0,2
/proc/858215/stat : 858215 (Exact) R 858212 858215 854114 0 -1 4194304 2277032 0 0 0 331795 1206 0 0 20 0 1 0 166449904 24283820032 5166841 134679101440 4194304 8309489 140725642953552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 13361152 140725642957758 140725642957928 140725642957928 140725642964943 0
/proc/858215/statm: 5928667 5166841 1140 1005 0 5927430 0
Current children cumulated CPU time: 3330.01 s
Current children cumulated vsize: 23714668 KiB
Current children cumulated memory: 20667364 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/257 860010
/proc/meminfo: memFree=93637612/131524600 swapFree=131071996/131071996
[pid=858215] ppid=858212 vsize=23714668 memory=20670152 CPUtime=3389.77 cores=0,2
/proc/858215/stat : 858215 (Exact) R 858212 858215 854114 0 -1 4194304 2281248 0 0 0 337762 1215 0 0 20 0 1 0 166449904 24283820032 5167538 134679101440 4194304 8309489 140725642953552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 13361152 140725642957758 140725642957928 140725642957928 140725642964943 0
/proc/858215/statm: 5928667 5167538 1140 1005 0 5927430 0
Current children cumulated CPU time: 3389.77 s
Current children cumulated vsize: 23714668 KiB
Current children cumulated memory: 20670152 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/256 860021
/proc/meminfo: memFree=93591000/131524600 swapFree=131071996/131071996
[pid=858215] ppid=858212 vsize=23714668 memory=20672884 CPUtime=3449.55 cores=0,2
/proc/858215/stat : 858215 (Exact) R 858212 858215 854114 0 -1 4194304 2284264 0 0 0 343737 1218 0 0 20 0 1 0 166449904 24283820032 5168221 134679101440 4194304 8309489 140725642953552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 13361152 140725642957758 140725642957928 140725642957928 140725642964943 0
/proc/858215/statm: 5928667 5168221 1140 1005 0 5927430 0
Current children cumulated CPU time: 3449.55 s
Current children cumulated vsize: 23714668 KiB
Current children cumulated memory: 20672884 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/257 860032
/proc/meminfo: memFree=93351936/131524600 swapFree=131071996/131071996
[pid=858215] ppid=858212 vsize=23902240 memory=20840116 CPUtime=3509.34 cores=0,2
/proc/858215/stat : 858215 (Exact) R 858212 858215 854114 0 -1 4194304 2332036 0 0 0 349684 1250 0 0 20 0 1 0 166449904 24475893760 5210029 134679101440 4194304 8309489 140725642953552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 13361152 140725642957758 140725642957928 140725642957928 140725642964943 0
/proc/858215/statm: 5975560 5210029 1140 1005 0 5974323 0
Current children cumulated CPU time: 3509.34 s
Current children cumulated vsize: 23902240 KiB
Current children cumulated memory: 20840116 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 860043
/proc/meminfo: memFree=93331392/131524600 swapFree=131071996/131071996
[pid=858215] ppid=858212 vsize=23902240 memory=20840116 CPUtime=3569.12 cores=0,2
/proc/858215/stat : 858215 (Exact) R 858212 858215 854114 0 -1 4194304 2333898 0 0 0 355659 1253 0 0 20 0 1 0 166449904 24475893760 5210029 134679101440 4194304 8309489 140725642953552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 13361152 140725642957758 140725642957928 140725642957928 140725642964943 0
/proc/858215/statm: 5975560 5210029 1140 1005 0 5974323 0
Current children cumulated CPU time: 3569.12 s
Current children cumulated vsize: 23902240 KiB
Current children cumulated memory: 20840116 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.3 s]
/proc/loadavg: 4.07 4.10 4.09 3/242 860127
/proc/meminfo: memFree=107946264/131524600 swapFree=131071996/131071996
[pid=858215] ppid=858212 vsize=23902240 memory=20840116 CPUtime=3600 cores=0,2
/proc/858215/stat : 858215 (Exact) R 858212 858215 854114 0 -1 4194304 2334787 0 0 0 358746 1254 0 0 20 0 1 0 166449904 24475893760 5210029 134679101440 4194304 8309489 140725642953552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 13361152 140725642957758 140725642957928 140725642957928 140725642964943 0
/proc/858215/statm: 5975560 5210029 1140 1005 0 5974323 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 23902240 KiB
Current children cumulated memory: 20840116 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3589.43 s, system=12.8131 s

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

[startup+3614.4 s]
/proc/loadavg: 4.07 4.10 4.09 3/242 860127
/proc/meminfo: memFree=117264772/131524600 swapFree=131071996/131071996
[pid=858215] ppid=858212 vsize=12231600 memory=11425092 CPUtime=3601.1 cores=0,2
/proc/858215/stat : 858215 (Exact) R 858212 858215 854114 0 -1 4194304 2337558 0 0 0 358853 1257 0 0 20 0 1 0 166449904 12525158400 2856273 134679101440 4194304 8309489 140725642953552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 13361152 140725642957758 140725642957928 140725642957928 140725642964943 0
/proc/858215/statm: 3057900 2856273 1153 1005 0 3056663 0
Current children cumulated CPU time: 3601.1 s
Current children cumulated vsize: 12231600 KiB
Current children cumulated memory: 11425092 KiB

[startup+3614.8 s]
/proc/loadavg: 4.07 4.10 4.09 3/242 860127
/proc/meminfo: memFree=117264772/131524600 swapFree=131071996/131071996
[pid=858215] ppid=858212 vsize=12231600 memory=11425092 CPUtime=3601.5 cores=0,2
/proc/858215/stat : 858215 (Exact) R 858212 858215 854114 0 -1 4194304 2337788 0 0 0 358893 1257 0 0 20 0 1 0 166449904 12525158400 2856273 134679101440 4194304 8309489 140725642953552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 13361152 140725642957758 140725642957928 140725642957928 140725642964943 0
/proc/858215/statm: 3057900 2856273 1153 1005 0 3056663 0
Current children cumulated CPU time: 3601.5 s
Current children cumulated vsize: 12231600 KiB
Current children cumulated memory: 11425092 KiB

[startup+3615.2 s]
/proc/loadavg: 3.91 4.06 4.08 3/242 860127
/proc/meminfo: memFree=117379804/131524600 swapFree=131071996/131071996
[pid=858215] ppid=858212 vsize=12231600 memory=11425092 CPUtime=3601.9 cores=0,2
/proc/858215/stat : 858215 (Exact) R 858212 858215 854114 0 -1 4194304 2338270 0 0 0 358933 1257 0 0 20 0 1 0 166449904 12525158400 2856273 134679101440 4194304 8309489 140725642953552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 13361152 140725642957758 140725642957928 140725642957928 140725642964943 0
/proc/858215/statm: 3057900 2856273 1153 1005 0 3056663 0
Current children cumulated CPU time: 3601.9 s
Current children cumulated vsize: 12231600 KiB
Current children cumulated memory: 11425092 KiB

[startup+3615.3 s]
/proc/loadavg: 3.91 4.06 4.08 3/242 860127
/proc/meminfo: memFree=117379804/131524600 swapFree=131071996/131071996
[pid=858215] ppid=858212 vsize=12231600 memory=11425092 CPUtime=3602 cores=0,2
/proc/858215/stat : 858215 (Exact) R 858212 858215 854114 0 -1 4194304 2339015 0 0 0 358943 1257 0 0 20 0 1 0 166449904 12525158400 2856273 134679101440 4194304 8309489 140725642953552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 13361152 140725642957758 140725642957928 140725642957928 140725642964943 0
/proc/858215/statm: 3057900 2856273 1153 1005 0 3056663 0
Current children cumulated CPU time: 3602 s
Current children cumulated vsize: 12231600 KiB
Current children cumulated memory: 11425092 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3615.54
CPU time (s): 3602.25
CPU user time (s): 3589.43
CPU system time (s): 12.8131
CPU usage (%): 99.6322
Max. virtual memory (cumulated for all children) (KiB): 26755116
Max. memory (cumulated for all children) (KiB): 22311876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.43
system time used= 12.8131
maximum resident set size= 22594500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2339015
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= 2
involuntary context switches= 24712


# summary of solver processes directly reported to runsolver:
#   pid: 858215
#   total CPU time (s): 3602.25
#   total CPU user time (s): 3589.43
#   total CPU system time (s): 12.8131

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.95412 second user time and 17.0634 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2024-07-16 17:14:01
IDJOB=4433289
IDBENCH=155748
IDSOLVER=3060
FILE ID=nodeC028/4433289-1721142827
RUNJOBID= nodeC028-1721135610-854124
SLURM_JOB_ID= 7505708
Free space on /tmp= 889540 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_3_mh.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-4433289-1721142827/watcher-4433289-1721142827 -o /tmp/evaluation-result-4433289-1721142827/solver-4433289-1721142827 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721135610-854124 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=2097457490 HOME/instance-4433289-1721142827.opb

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

MD5SUM BENCH= 4f3174f37d2a17c7e83bc7c52ff48d45
RANDOM SEED=2097457490

nodeC028.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		: 3681.489
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.56
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		: 3678.741
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.59
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		: 3655.639
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.56
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.726
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.59
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		: 3686.518
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.56
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		: 3678.367
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.59
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		: 3606.280
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.56
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		: 3599.943
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.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124528268 kB
MemAvailable:   125623060 kB
Buffers:          411236 kB
Cached:          1516940 kB
SwapCached:            0 kB
Active:           915844 kB
Inactive:        5474348 kB
Active(anon):       1544 kB
Inactive(anon):  4498188 kB
Active(file):     914300 kB
Inactive(file):   976160 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            335604 kB
Writeback:         26096 kB
AnonPages:       4459224 kB
Mapped:           116612 kB
Shmem:             37720 kB
KReclaimable:      88980 kB
Slab:             193040 kB
SReclaimable:      88980 kB
SUnreclaim:       104060 kB
KernelStack:        4144 kB
PageTables:        17892 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    4922384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61824 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2553856 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:    18454528 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 889732 MiB
End job on nodeC028 at 2024-07-16 18:14:17