Trace number 4459905

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.05 3612.2

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_200_25_1.opb
MD5SUM273961b324c53d2d230ce6da1470e4a9
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-33
Best CPU time to get the best result obtained on this benchmark71423.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12408
Sum of products size (including duplicates)24816
Number of different products6204
Sum of products size12408

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.49/0.55	o -3
0.49/0.55	o -4
0.49/0.56	o -5
0.49/0.56	o -6
0.49/0.56	o -7
0.49/0.56	o -8
0.49/0.57	o -9
0.49/0.57	o -10
0.49/0.57	o -11
0.49/0.57	o -12
0.49/0.57	o -13
0.49/0.58	o -14
0.49/0.58	o -15
0.49/0.59	o -16
0.49/0.59	o -17
0.49/0.59	o -18
0.59/0.60	o -19
0.59/0.61	o -20
0.59/0.62	o -21
0.59/0.63	o -22
0.59/0.64	o -23
0.69/0.73	o -24
0.99/1.02	o -25
1.19/1.28	o -26
1.58/1.65	o -27
2.18/2.22	o -28
4.78/4.89	o -29
5.77/5.80	o -30
232.54/233.12	o -31

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459905-1721946404/watcher-4459905-1721946404 -o /tmp/evaluation-result-4459905-1721946404/solver-4459905-1721946404 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721946404-263477 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1236143285 HOME/instance-4459905-1721946404.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=263533, runsolver pid=263519

[startup+0.10034 s]*
/proc/loadavg: 1.20 1.67 2.02 8/257 263540
/proc/meminfo: memFree=126696564/131524600 swapFree=131057124/131071996
[pid=263533] ppid=263519 vsize=54376 memory=32964 CPUtime=0.1 cores=1,3
/proc/263533/stat : 263533 (Exact) R 263519 263533 258834 0 -1 4194304 8449 0 0 0 9 1 0 0 20 0 1 0 31169443 55681024 8241 134679101440 4194304 8309489 140731150035168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45449216 140731150042045 140731150042215 140731150042215 140731150049231 0
/proc/263533/statm: 13594 8241 1060 1005 0 12357 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 54376 KiB
Current children cumulated memory: 32964 KiB

[startup+0.206389 s]*
/proc/loadavg: 1.20 1.67 2.02 7/257 263542
/proc/meminfo: memFree=126657292/131524600 swapFree=131057124/131071996
[pid=263533] ppid=263519 vsize=55300 memory=34284 CPUtime=0.2 cores=1,3
/proc/263533/stat : 263533 (Exact) R 263519 263533 258834 0 -1 4194304 8782 0 0 0 19 1 0 0 20 0 1 0 31169443 56627200 8571 134679101440 4194304 8309489 140731150035168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45449216 140731150042045 140731150042215 140731150042215 140731150049231 0
/proc/263533/statm: 13825 8571 1060 1005 0 12588 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 55300 KiB
Current children cumulated memory: 34284 KiB

[startup+0.306502 s]*
/proc/loadavg: 1.20 1.67 2.02 8/257 263542
/proc/meminfo: memFree=126652772/131524600 swapFree=131057124/131071996
[pid=263533] ppid=263519 vsize=56168 memory=35076 CPUtime=0.3 cores=1,3
/proc/263533/stat : 263533 (Exact) R 263519 263533 258834 0 -1 4194304 9004 0 0 0 29 1 0 0 20 0 1 0 31169443 57516032 8769 134679101440 4194304 8309489 140731150035168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45449216 140731150042045 140731150042215 140731150042215 140731150049231 0
/proc/263533/statm: 14042 8769 1060 1005 0 12805 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 56168 KiB
Current children cumulated memory: 35076 KiB

[startup+0.700202 s]
/proc/loadavg: 1.20 1.67 2.02 8/257 263542
/proc/meminfo: memFree=126641632/131524600 swapFree=131057124/131071996
[pid=263533] ppid=263519 vsize=58776 memory=39940 CPUtime=0.69 cores=1,3
/proc/263533/stat : 263533 (Exact) R 263519 263533 258834 0 -1 4194304 9636 0 0 0 67 2 0 0 20 0 1 0 31169443 60186624 9985 134679101440 4194304 8309489 140731150035168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45449216 140731150042045 140731150042215 140731150042215 140731150049231 0
/proc/263533/statm: 14694 9985 1108 1005 0 13457 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 58776 KiB
Current children cumulated memory: 39940 KiB

[startup+1.50018 s]
/proc/loadavg: 1.20 1.67 2.02 8/257 263542
/proc/meminfo: memFree=126629912/131524600 swapFree=131057124/131071996
[pid=263533] ppid=263519 vsize=60452 memory=45352 CPUtime=1.48 cores=1,3
/proc/263533/stat : 263533 (Exact) R 263519 263533 258834 0 -1 4194304 10005 0 0 0 146 2 0 0 20 0 1 0 31169443 61902848 11338 134679101440 4194304 8309489 140731150035168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45449216 140731150042045 140731150042215 140731150042215 140731150049231 0
/proc/263533/statm: 15113 11338 1108 1005 0 13876 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 60452 KiB
Current children cumulated memory: 45352 KiB

[startup+3.10688 s]
/proc/loadavg: 1.43 1.71 2.03 8/257 263542
/proc/meminfo: memFree=126587560/131524600 swapFree=131057124/131071996
[pid=263533] ppid=263519 vsize=64364 memory=51132 CPUtime=3.09 cores=1,3
/proc/263533/stat : 263533 (Exact) R 263519 263533 258834 0 -1 4194304 10932 0 0 0 306 3 0 0 20 0 1 0 31169443 65908736 12783 134679101440 4194304 8309489 140731150035168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45449216 140731150042045 140731150042215 140731150042215 140731150049231 0
/proc/263533/statm: 16091 12783 1124 1005 0 14854 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 64364 KiB
Current children cumulated memory: 51132 KiB

[startup+6.30018 s]
/proc/loadavg: 1.43 1.71 2.03 8/257 263542
/proc/meminfo: memFree=126561748/131524600 swapFree=131057124/131071996
[pid=263533] ppid=263519 vsize=64908 memory=58036 CPUtime=6.27 cores=1,3
/proc/263533/stat : 263533 (Exact) R 263519 263533 258834 0 -1 4194304 11090 0 0 0 624 3 0 0 20 0 1 0 31169443 66465792 14509 134679101440 4194304 8309489 140731150035168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45449216 140731150042045 140731150042215 140731150042215 140731150049231 0
/proc/263533/statm: 16227 14509 1124 1005 0 14990 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 64908 KiB
Current children cumulated memory: 58036 KiB

[startup+12.7002 s]
/proc/loadavg: 1.71 1.76 2.05 8/257 263544
/proc/meminfo: memFree=126527676/131524600 swapFree=131057124/131071996
[pid=263533] ppid=263519 vsize=79828 memory=66548 CPUtime=12.66 cores=1,3
/proc/263533/stat : 263533 (Exact) R 263519 263533 258834 0 -1 4194304 11909 0 0 0 1259 7 0 0 20 0 1 0 31169443 81743872 16637 134679101440 4194304 8309489 140731150035168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45449216 140731150042045 140731150042215 140731150042215 140731150049231 0
/proc/263533/statm: 19957 16637 1140 1005 0 18720 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 79828 KiB
Current children cumulated memory: 66548 KiB

[startup+25.5002 s]
/proc/loadavg: 2.22 1.87 2.08 8/257 263546
/proc/meminfo: memFree=126478436/131524600 swapFree=131057124/131071996
[pid=263533] ppid=263519 vsize=83016 memory=69628 CPUtime=25.43 cores=1,3
/proc/263533/stat : 263533 (Exact) R 263519 263533 258834 0 -1 4194304 12727 0 0 0 2535 8 0 0 20 0 1 0 31169443 85008384 17407 134679101440 4194304 8309489 140731150035168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45449216 140731150042045 140731150042215 140731150042215 140731150049231 0
/proc/263533/statm: 20754 17407 1140 1005 0 19517 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 83016 KiB
Current children cumulated memory: 69628 KiB

[startup+51.1068 s]
/proc/loadavg: 2.83 2.04 2.13 8/257 263551
/proc/meminfo: memFree=126448704/131524600 swapFree=131057124/131071996
[pid=263533] ppid=263519 vsize=87788 memory=74560 CPUtime=50.98 cores=1,3
/proc/263533/stat : 263533 (Exact) R 263519 263533 258834 0 -1 4194304 13987 0 0 0 5082 16 0 0 20 0 1 0 31169443 89894912 18640 134679101440 4194304 8309489 140731150035168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45449216 140731150042045 140731150042215 140731150042215 140731150049231 0
/proc/263533/statm: 21947 18640 1140 1005 0 20710 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 87788 KiB
Current children cumulated memory: 74560 KiB

[startup+102.3 s]
/proc/loadavg: 3.61 2.38 2.24 8/257 263560
/proc/meminfo: memFree=126403412/131524600 swapFree=131057124/131071996
[pid=263533] ppid=263519 vsize=90684 memory=79144 CPUtime=102.04 cores=1,3
/proc/263533/stat : 263533 (Exact) R 263519 263533 258834 0 -1 4194304 14617 0 0 0 10173 31 0 0 20 0 1 0 31169443 92860416 19786 134679101440 4194304 8309489 140731150035168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45449216 140731150042045 140731150042215 140731150042215 140731150049231 0
/proc/263533/statm: 22671 19786 1140 1005 0 21434 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 90684 KiB
Current children cumulated memory: 79144 KiB

[startup+162.3 s]
/proc/loadavg: 3.92 2.69 2.36 8/259 263741
/proc/meminfo: memFree=126375832/131524600 swapFree=131057124/131071996
[pid=263533] ppid=263519 vsize=93240 memory=83896 CPUtime=161.9 cores=1,3
/proc/263533/stat : 263533 (Exact) R 263519 263533 258834 0 -1 4194304 15264 0 0 0 16143 47 0 0 20 0 1 0 31169443 95477760 20974 134679101440 4194304 8309489 140731150035168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45449216 140731150042045 140731150042215 140731150042215 140731150049231 0
/proc/263533/statm: 23310 20974 1140 1005 0 22073 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 93240 KiB
Current children cumulated memory: 83896 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 2.95 2.47 8/259 263752
/proc/meminfo: memFree=126362288/131524600 swapFree=131057124/131071996
[pid=263533] ppid=263519 vsize=94608 memory=87280 CPUtime=221.75 cores=1,3
/proc/263533/stat : 263533 (Exact) R 263519 263533 258834 0 -1 4194304 15683 0 0 0 22116 59 0 0 20 0 1 0 31169443 96878592 21820 134679101440 4194304 8309489 140731150035168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45449216 140731150042045 140731150042215 140731150042215 140731150049231 0
/proc/263533/statm: 23652 21820 1140 1005 0 22415 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 94608 KiB
Current children cumulated memory: 87280 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 3.17 2.58 8/261 263822
/proc/meminfo: memFree=126342664/131524600 swapFree=131057124/131071996
[pid=263533] ppid=263519 vsize=96404 memory=88992 CPUtime=281.62 cores=1,3
/proc/263533/stat : 263533 (Exact) R 263519 263533 258834 0 -1 4194304 16166 0 0 0 28087 75 0 0 20 0 1 0 31169443 98717696 22248 134679101440 4194304 8309489 140731150035168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45449216 140731150042045 140731150042215 140731150042215 140731150049231 0
/proc/263533/statm: 24101 22248 1140 1005 0 22864 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 96404 KiB
Current children cumulated memory: 88992 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 3.34 2.68 8/259 263832
/proc/meminfo: memFree=126311900/131524600 swapFree=131057124/131071996
[pid=263533] ppid=263519 vsize=97828 memory=90432 CPUtime=341.49 cores=1,3
/proc/263533/stat : 263533 (Exact) R 263519 263533 258834 0 -1 4194304 16558 0 0 0 34059 90 0 0 20 0 1 0 31169443 100175872 22608 134679101440 4194304 8309489 140731150035168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45449216 140731150042045 140731150042215 140731150042215 140731150049231 0
/proc/263533/statm: 24457 22608 1140 1005 0 23220 0
Current children cumulated CPU time: 341.49 s
Current children cumulated vsize: 97828 KiB
Current children cumulated memory: 90432 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 3.49 2.77 8/259 263843
/proc/meminfo: memFree=126298008/131524600 swapFree=131057124/131071996
[pid=263533] ppid=263519 vsize=100968 memory=93468 CPUtime=401.35 cores=1,3
/proc/263533/stat : 263533 (Exact) R 263519 263533 258834 0 -1 4194304 17359 0 0 0 40030 105 0 0 20 0 1 0 31169443 103391232 23367 134679101440 4194304 8309489 140731150035168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45449216 140731150042045 140731150042215 140731150042215 140731150049231 0
/proc/263533/statm: 25242 23367 1140 1005 0 24005 0
Current children cumulated CPU time: 401.35 s
Current children cumulated vsize: 100968 KiB
Current children cumulated memory: 93468 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.60 2.86 8/258 263855
/proc/meminfo: memFree=126277472/131524600 swapFree=131057124/131071996
[pid=263533] ppid=263519 vsize=103048 memory=97476 CPUtime=461.22 cores=1,3
/proc/263533/stat : 263533 (Exact) R 263519 263533 258834 0 -1 4194304 17863 0 0 0 45999 123 0 0 20 0 1 0 31169443 105521152 24369 134679101440 4194304 8309489 140731150035168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45449216 140731150042045 140731150042215 140731150042215 140731150049231 0
/proc/263533/statm: 25762 24369 1140 1005 0 24525 0

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

[startup+3042.3 s]
/proc/loadavg: 4.11 4.10 4.02 8/255 264910
/proc/meminfo: memFree=126024612/131524600 swapFree=131057124/131071996
[pid=263533] ppid=263519 vsize=176544 memory=156028 CPUtime=3033.78 cores=1,3
/proc/263533/stat : 263533 (Exact) R 263519 263533 258834 0 -1 4194304 32551 0 0 0 302677 701 0 0 20 0 1 0 31169443 180781056 39007 134679101440 4194304 8309489 140731150035168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45449216 140731150042045 140731150042215 140731150042215 140731150049231 0
/proc/263533/statm: 44136 39007 1198 1005 0 42899 0
Current children cumulated CPU time: 3033.78 s
Current children cumulated vsize: 176544 KiB
Current children cumulated memory: 156028 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.02 8/256 264922
/proc/meminfo: memFree=126022708/131524600 swapFree=131057124/131071996
[pid=263533] ppid=263519 vsize=177028 memory=156528 CPUtime=3093.6 cores=1,3
/proc/263533/stat : 263533 (Exact) R 263519 263533 258834 0 -1 4194304 32778 0 0 0 308643 717 0 0 20 0 1 0 31169443 181276672 39132 134679101440 4194304 8309489 140731150035168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45449216 140731150042045 140731150042215 140731150042215 140731150049231 0
/proc/263533/statm: 44257 39132 1198 1005 0 43020 0
Current children cumulated CPU time: 3093.6 s
Current children cumulated vsize: 177028 KiB
Current children cumulated memory: 156528 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.10 4.03 8/256 264933
/proc/meminfo: memFree=126018012/131524600 swapFree=131057124/131071996
[pid=263533] ppid=263519 vsize=177572 memory=157056 CPUtime=3153.42 cores=1,3
/proc/263533/stat : 263533 (Exact) R 263519 263533 258834 0 -1 4194304 32973 0 0 0 314614 728 0 0 20 0 1 0 31169443 181833728 39264 134679101440 4194304 8309489 140731150035168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45449216 140731150042045 140731150042215 140731150042215 140731150049231 0
/proc/263533/statm: 44393 39264 1198 1005 0 43156 0
Current children cumulated CPU time: 3153.42 s
Current children cumulated vsize: 177572 KiB
Current children cumulated memory: 157056 KiB

[startup+3222.3 s]
/proc/loadavg: 3.61 3.96 3.98 6/249 264974
/proc/meminfo: memFree=126078208/131524600 swapFree=131057124/131071996
[pid=263533] ppid=263519 vsize=179692 memory=159168 CPUtime=3213.23 cores=1,3
/proc/263533/stat : 263533 (Exact) R 263519 263533 258834 0 -1 4194304 33535 0 0 0 320579 744 0 0 20 0 1 0 31169443 184004608 39792 134679101440 4194304 8309489 140731150035168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45449216 140731150042045 140731150042215 140731150042215 140731150049231 0
/proc/263533/statm: 44923 39792 1198 1005 0 43686 0
Current children cumulated CPU time: 3213.23 s
Current children cumulated vsize: 179692 KiB
Current children cumulated memory: 159168 KiB

[startup+3282.3 s]
/proc/loadavg: 3.34 3.81 3.93 6/250 264989
/proc/meminfo: memFree=126072784/131524600 swapFree=131057124/131071996
[pid=263533] ppid=263519 vsize=180516 memory=159948 CPUtime=3273.06 cores=1,3
/proc/263533/stat : 263533 (Exact) R 263519 263533 258834 0 -1 4194304 33803 0 0 0 326547 759 0 0 20 0 1 0 31169443 184848384 39987 134679101440 4194304 8309489 140731150035168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45449216 140731150042045 140731150042215 140731150042215 140731150049231 0
/proc/263533/statm: 45129 39987 1198 1005 0 43892 0
Current children cumulated CPU time: 3273.06 s
Current children cumulated vsize: 180516 KiB
Current children cumulated memory: 159948 KiB

[startup+3342.3 s]
/proc/loadavg: 3.19 3.68 3.88 6/250 264999
/proc/meminfo: memFree=126069976/131524600 swapFree=131057124/131071996
[pid=263533] ppid=263519 vsize=181916 memory=161508 CPUtime=3332.9 cores=1,3
/proc/263533/stat : 263533 (Exact) R 263519 263533 258834 0 -1 4194304 34301 0 0 0 332518 772 0 0 20 0 1 0 31169443 186281984 40377 134679101440 4194304 8309489 140731150035168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45449216 140731150042045 140731150042215 140731150042215 140731150049231 0
/proc/263533/statm: 45479 40377 1198 1005 0 44242 0
Current children cumulated CPU time: 3332.9 s
Current children cumulated vsize: 181916 KiB
Current children cumulated memory: 161508 KiB

[startup+3402.3 s]
/proc/loadavg: 3.17 3.58 3.83 6/250 265010
/proc/meminfo: memFree=126064720/131524600 swapFree=131057124/131071996
[pid=263533] ppid=263519 vsize=182924 memory=162556 CPUtime=3392.76 cores=1,3
/proc/263533/stat : 263533 (Exact) R 263519 263533 258834 0 -1 4194304 34590 0 0 0 338494 782 0 0 20 0 1 0 31169443 187314176 40639 134679101440 4194304 8309489 140731150035168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45449216 140731150042045 140731150042215 140731150042215 140731150049231 0
/proc/263533/statm: 45731 40639 1198 1005 0 44494 0
Current children cumulated CPU time: 3392.76 s
Current children cumulated vsize: 182924 KiB
Current children cumulated memory: 162556 KiB

[startup+3462.3 s]
/proc/loadavg: 3.17 3.51 3.79 6/250 265021
/proc/meminfo: memFree=126060148/131524600 swapFree=131057124/131071996
[pid=263533] ppid=263519 vsize=185660 memory=164824 CPUtime=3452.58 cores=1,3
/proc/263533/stat : 263533 (Exact) R 263519 263533 258834 0 -1 4194304 35227 0 0 0 344458 800 0 0 20 0 1 0 31169443 190115840 41206 134679101440 4194304 8309489 140731150035168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45449216 140731150042045 140731150042215 140731150042215 140731150049231 0
/proc/263533/statm: 46415 41206 1198 1005 0 45178 0
Current children cumulated CPU time: 3452.58 s
Current children cumulated vsize: 185660 KiB
Current children cumulated memory: 164824 KiB

[startup+3522.3 s]
/proc/loadavg: 3.11 3.43 3.74 6/250 265032
/proc/meminfo: memFree=126053796/131524600 swapFree=131057124/131071996
[pid=263533] ppid=263519 vsize=185660 memory=165180 CPUtime=3512.41 cores=1,3
/proc/263533/stat : 263533 (Exact) R 263519 263533 258834 0 -1 4194304 35399 0 0 0 350427 814 0 0 20 0 1 0 31169443 190115840 41295 134679101440 4194304 8309489 140731150035168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45449216 140731150042045 140731150042215 140731150042215 140731150049231 0
/proc/263533/statm: 46415 41295 1198 1005 0 45178 0
Current children cumulated CPU time: 3512.41 s
Current children cumulated vsize: 185660 KiB
Current children cumulated memory: 165180 KiB

[startup+3582.3 s]
/proc/loadavg: 3.08 3.36 3.70 6/248 265424
/proc/meminfo: memFree=126053092/131524600 swapFree=131057124/131071996
[pid=263533] ppid=263519 vsize=185660 memory=165252 CPUtime=3572.22 cores=1,3
/proc/263533/stat : 263533 (Exact) R 263519 263533 258834 0 -1 4194304 35467 0 0 0 356394 828 0 0 20 0 1 0 31169443 190115840 41313 134679101440 4194304 8309489 140731150035168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45449216 140731150042045 140731150042215 140731150042215 140731150049231 0
/proc/263533/statm: 46415 41313 1198 1005 0 45178 0
Current children cumulated CPU time: 3572.22 s
Current children cumulated vsize: 185660 KiB
Current children cumulated memory: 165252 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 3.10 3.34 3.68 4/241 265460
/proc/meminfo: memFree=126263580/131524600 swapFree=131057124/131071996
[pid=263533] ppid=263519 vsize=186124 memory=165420 CPUtime=3600.04 cores=1,3
/proc/263533/stat : 263533 (Exact) R 263519 263533 258834 0 -1 4194304 35567 0 0 0 359170 834 0 0 20 0 1 0 31169443 190590976 41355 134679101440 4194304 8309489 140731150035168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45449216 140731150042045 140731150042215 140731150042215 140731150049231 0
/proc/263533/statm: 46531 41355 1198 1005 0 45294 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 186124 KiB
Current children cumulated memory: 165420 KiB

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

Sending SIGKILL to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3593.69 s, system=8.35769 s

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

[startup+3611.2 s]
/proc/loadavg: 3.10 3.34 3.68 4/241 265462
/proc/meminfo: memFree=126263524/131524600 swapFree=131057124/131071996
[pid=263533] ppid=263519 vsize=186124 memory=165676 CPUtime=3601.04 cores=1,3
/proc/263533/stat : 263533 (Exact) R 263519 263533 258834 0 -1 4194304 35599 0 0 0 359269 835 0 0 20 0 1 0 31169443 190590976 41419 134679101440 4194304 8309489 140731150035168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45449216 140731150042045 140731150042215 140731150042215 140731150049231 0
/proc/263533/statm: 46531 41419 1198 1005 0 45294 0
Current children cumulated CPU time: 3601.04 s
Current children cumulated vsize: 186124 KiB
Current children cumulated memory: 165676 KiB

[startup+3612 s]*
/proc/loadavg: 3.10 3.34 3.68 2/234 265493
/proc/meminfo: memFree=126609540/131524600 swapFree=131057124/131071996
[pid=263533] ppid=263519 vsize=186124 memory=165676 CPUtime=3601.84 cores=1,3
/proc/263533/stat : 263533 (Exact) R 263519 263533 258834 0 -1 4194304 35599 0 0 0 359349 835 0 0 20 0 1 0 31169443 190590976 41419 134679101440 4194304 8309489 140731150035168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45449216 140731150042045 140731150042215 140731150042215 140731150049231 0
/proc/263533/statm: 46531 41419 1198 1005 0 45294 0
Current children cumulated CPU time: 3601.84 s
Current children cumulated vsize: 186124 KiB
Current children cumulated memory: 165676 KiB

[startup+3612.2 s]
/proc/loadavg: 3.10 3.34 3.68 2/234 265493
/proc/meminfo: memFree=126609540/131524600 swapFree=131057124/131071996
[pid=263533] ppid=263519 vsize=186124 memory=165676 CPUtime=3602.04 cores=1,3
/proc/263533/stat : 263533 (Exact) R 263519 263533 258834 0 -1 4194304 35599 0 0 0 359369 835 0 0 20 0 1 0 31169443 190590976 41419 134679101440 4194304 8309489 140731150035168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45449216 140731150042045 140731150042215 140731150042215 140731150049231 0
/proc/263533/statm: 46531 41419 1198 1005 0 45294 0
Current children cumulated CPU time: 3602.04 s
Current children cumulated vsize: 186124 KiB
Current children cumulated memory: 165676 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3612.2
CPU time (s): 3602.05
CPU user time (s): 3593.69
CPU system time (s): 8.35769
CPU usage (%): 99.7189
Max. virtual memory (cumulated for all children) (KiB): 186124
Max. memory (cumulated for all children) (KiB): 165676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.69
system time used= 8.35769
maximum resident set size= 165756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35599
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= 44
involuntary context switches= 2367


# summary of solver processes directly reported to runsolver:
#   pid: 263533
#   total CPU time (s): 3602.05
#   total CPU user time (s): 3593.69
#   total CPU system time (s): 8.35769

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.17324 second user time and 21.1356 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2024-07-26 00:26:44
IDJOB=4459905
IDBENCH=148653
IDSOLVER=3060
FILE ID=nodeC025/4459905-1721946404
RUNJOBID= nodeC025-1721946404-263477
SLURM_JOB_ID= 8247246
Free space on /tmp= 890028 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_1.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-4459905-1721946404/watcher-4459905-1721946404 -o /tmp/evaluation-result-4459905-1721946404/solver-4459905-1721946404 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721946404-263477 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1236143285 HOME/instance-4459905-1721946404.opb

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

MD5SUM BENCH= 273961b324c53d2d230ce6da1470e4a9
RANDOM SEED=1236143285

nodeC025.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		: 3850.709
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.51
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		: 3848.828
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.49
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		: 3602.880
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.51
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		: 3774.609
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.49
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		: 3840.961
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.51
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		: 3776.306
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.49
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		: 3614.659
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.51
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		: 3667.371
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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126797964 kB
MemAvailable:   129705800 kB
Buffers:          344604 kB
Cached:          3363264 kB
SwapCached:          236 kB
Active:          2556048 kB
Inactive:        1508744 kB
Active(anon):       4324 kB
Inactive(anon):   406132 kB
Active(file):    2551724 kB
Inactive(file):  1102612 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131057124 kB
Dirty:             23836 kB
Writeback:            64 kB
AnonPages:        357320 kB
Mapped:           111224 kB
Shmem:             52872 kB
KReclaimable:     186644 kB
Slab:             311368 kB
SReclaimable:     186644 kB
SUnreclaim:       124724 kB
KernelStack:        3844 kB
PageTables:         9588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     740968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            13952 kB
HardwareCorrupted:     0 kB
AnonHugePages:    233472 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      379604 kB
DirectMap2M:    40288256 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 890024 MiB
End job on nodeC025 at 2024-07-26 01:26:56