Trace number 4431858

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
IPBHS-SCIP 2024-07-09? (TO) 3600.05 3610.4

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_18.opb
MD5SUM175cf8fd081870b89b1494469c4bb17a
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 benchmark293
Best CPU time to get the best result obtained on this benchmark3600.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8883
Total number of constraints17459
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints17459
Minimum length of a constraint18
Maximum length of a constraint37
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2691
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data


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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431858-1721097954/watcher-4431858-1721097954 -o /tmp/evaluation-result-4431858-1721097954/solver-4431858-1721097954 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721094346-872421 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431858-1721097954.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100085 s]*
/proc/loadavg: 4.01 4.08 4.08 5/256 874911
/proc/meminfo: memFree=127793512/131524600 swapFree=131071996/131071996
[pid=874910] ppid=874907 vsize=40560 memory=16536 CPUtime=0.1 cores=4,6
/proc/874910/stat : 874910 (ipbhs_static_sc) R 874907 874910 872410 0 -1 4194304 3371 0 0 0 10 0 0 0 20 0 1 0 161963488 41533440 4134 134679101440 4194304 16068861 140734850238000 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52097024 140734850241574 140734850241661 140734850241661 140734850248676 0
/proc/874910/statm: 10140 4134 1023 2900 0 6654 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40560 KiB
Current children cumulated memory: 16536 KiB

[startup+0.205367 s]*
/proc/loadavg: 4.01 4.08 4.08 5/256 874911
/proc/meminfo: memFree=127780744/131524600 swapFree=131071996/131071996
[pid=874910] ppid=874907 vsize=51624 memory=29384 CPUtime=0.2 cores=4,6
/proc/874910/stat : 874910 (ipbhs_static_sc) R 874907 874910 872410 0 -1 4194304 5698 0 0 0 19 1 0 0 20 0 1 0 161963488 52862976 7346 134679101440 4194304 16068861 140734850238000 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52097024 140734850241574 140734850241661 140734850241661 140734850248676 0
/proc/874910/statm: 12906 7346 1135 2900 0 9420 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 51624 KiB
Current children cumulated memory: 29384 KiB

[startup+0.305376 s]*
/proc/loadavg: 4.01 4.08 4.08 5/256 874911
/proc/meminfo: memFree=127769508/131524600 swapFree=131071996/131071996
[pid=874910] ppid=874907 vsize=62416 memory=46412 CPUtime=0.3 cores=4,6
/proc/874910/stat : 874910 (ipbhs_static_sc) R 874907 874910 872410 0 -1 4194304 8425 0 0 0 29 1 0 0 20 0 1 0 161963488 63913984 11603 134679101440 4194304 16068861 140734850238000 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52097024 140734850241574 140734850241661 140734850241661 140734850248676 0
/proc/874910/statm: 15604 11603 2719 2900 0 12118 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 62416 KiB
Current children cumulated memory: 46412 KiB

[startup+0.700165 s]
/proc/loadavg: 4.01 4.08 4.08 5/256 874911
/proc/meminfo: memFree=127769368/131524600 swapFree=131071996/131071996
[pid=874910] ppid=874907 vsize=62680 memory=46676 CPUtime=0.69 cores=4,6
/proc/874910/stat : 874910 (ipbhs_static_sc) R 874907 874910 872410 0 -1 4194304 8525 0 0 0 67 2 0 0 20 0 1 0 161963488 64184320 11669 134679101440 4194304 16068861 140734850238000 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52097024 140734850241574 140734850241661 140734850241661 140734850248676 0
/proc/874910/statm: 15670 11669 2719 2900 0 12184 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 62680 KiB
Current children cumulated memory: 46676 KiB

[startup+1.50017 s]
/proc/loadavg: 4.01 4.08 4.08 5/256 874911
/proc/meminfo: memFree=127767928/131524600 swapFree=131071996/131071996
[pid=874910] ppid=874907 vsize=62832 memory=47204 CPUtime=1.49 cores=4,6
/proc/874910/stat : 874910 (ipbhs_static_sc) R 874907 874910 872410 0 -1 4194304 8640 0 0 0 146 3 0 0 20 0 1 0 161963488 64339968 11801 134679101440 4194304 16068861 140734850238000 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52097024 140734850241574 140734850241661 140734850241661 140734850248676 0
/proc/874910/statm: 15708 11801 2719 2900 0 12222 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 62832 KiB
Current children cumulated memory: 47204 KiB

[startup+3.10532 s]
/proc/loadavg: 4.01 4.08 4.08 5/256 874911
/proc/meminfo: memFree=127765704/131524600 swapFree=131071996/131071996
[pid=874910] ppid=874907 vsize=63320 memory=48260 CPUtime=3.09 cores=4,6
/proc/874910/stat : 874910 (ipbhs_static_sc) R 874907 874910 872410 0 -1 4194304 8915 0 0 0 304 5 0 0 20 0 1 0 161963488 64839680 12065 134679101440 4194304 16068861 140734850238000 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52097024 140734850241574 140734850241661 140734850241661 140734850248676 0
/proc/874910/statm: 15830 12065 2719 2900 0 12344 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 63320 KiB
Current children cumulated memory: 48260 KiB

[startup+6.30017 s]
/proc/loadavg: 4.01 4.08 4.08 5/256 874911
/proc/meminfo: memFree=127762868/131524600 swapFree=131071996/131071996
[pid=874910] ppid=874907 vsize=68440 memory=50220 CPUtime=6.28 cores=4,6
/proc/874910/stat : 874910 (ipbhs_static_sc) R 874907 874910 872410 0 -1 4194304 9414 0 0 0 619 9 0 0 20 0 1 0 161963488 70082560 12555 134679101440 4194304 16068861 140734850238000 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52097024 140734850241574 140734850241661 140734850241661 140734850248676 0
/proc/874910/statm: 17110 12555 2719 2900 0 13624 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 68440 KiB
Current children cumulated memory: 50220 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.10 4.09 5/256 874912
/proc/meminfo: memFree=127756544/131524600 swapFree=131071996/131071996
[pid=874910] ppid=874907 vsize=69276 memory=53580 CPUtime=12.66 cores=4,6
/proc/874910/stat : 874910 (ipbhs_static_sc) R 874907 874910 872410 0 -1 4194304 9752 0 0 0 1252 14 0 0 20 0 1 0 161963488 70938624 13395 134679101440 4194304 16068861 140734850238000 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52097024 140734850241574 140734850241661 140734850241661 140734850248676 0
/proc/874910/statm: 17319 13395 2719 2900 0 13833 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 69276 KiB
Current children cumulated memory: 53580 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.11 4.09 5/256 874914
/proc/meminfo: memFree=127751512/131524600 swapFree=131071996/131071996
[pid=874910] ppid=874907 vsize=71620 memory=55680 CPUtime=25.43 cores=4,6
/proc/874910/stat : 874910 (ipbhs_static_sc) R 874907 874910 872410 0 -1 4194304 10261 0 0 0 2518 25 0 0 20 0 1 0 161963488 73338880 13920 134679101440 4194304 16068861 140734850238000 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52097024 140734850241574 140734850241661 140734850241661 140734850248676 0
/proc/874910/statm: 17905 13920 2719 2900 0 14419 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 71620 KiB
Current children cumulated memory: 55680 KiB

[startup+51.1054 s]
/proc/loadavg: 4.17 4.12 4.09 5/256 874918
/proc/meminfo: memFree=127739512/131524600 swapFree=131071996/131071996
[pid=874910] ppid=874907 vsize=73712 memory=58044 CPUtime=50.98 cores=4,6
/proc/874910/stat : 874910 (ipbhs_static_sc) R 874907 874910 872410 0 -1 4194304 10866 0 0 0 5058 40 0 0 20 0 1 0 161963488 75481088 14511 134679101440 4194304 16068861 140734850238000 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52097024 140734850241574 140734850241661 140734850241661 140734850248676 0
/proc/874910/statm: 18428 14511 2719 2900 0 14942 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 73712 KiB
Current children cumulated memory: 58044 KiB

[startup+102.3 s]
/proc/loadavg: 4.22 4.13 4.10 5/255 874929
/proc/meminfo: memFree=127724764/131524600 swapFree=131071996/131071996
[pid=874910] ppid=874907 vsize=83228 memory=64180 CPUtime=102.05 cores=4,6
/proc/874910/stat : 874910 (ipbhs_static_sc) R 874907 874910 872410 0 -1 4194304 11852 0 0 0 10140 65 0 0 20 0 1 0 161963488 85225472 16045 134679101440 4194304 16068861 140734850238000 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52097024 140734850241574 140734850241661 140734850241661 140734850248676 0
/proc/874910/statm: 20807 16045 2719 2900 0 17321 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 83228 KiB
Current children cumulated memory: 64180 KiB

[startup+162.3 s]
/proc/loadavg: 4.53 4.22 4.13 5/255 874985
/proc/meminfo: memFree=128014668/131524600 swapFree=131071996/131071996
[pid=874910] ppid=874907 vsize=86552 memory=68856 CPUtime=161.88 cores=4,6
/proc/874910/stat : 874910 (ipbhs_static_sc) R 874907 874910 872410 0 -1 4194304 12528 0 0 0 16098 90 0 0 20 0 1 0 161963488 88629248 17214 134679101440 4194304 16068861 140734850238000 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52097024 140734850241574 140734850241661 140734850241661 140734850248676 0
/proc/874910/statm: 21638 17214 2719 2900 0 18152 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 86552 KiB
Current children cumulated memory: 68856 KiB

[startup+222.3 s]
/proc/loadavg: 4.24 4.19 4.12 5/256 874996
/proc/meminfo: memFree=127995592/131524600 swapFree=131071996/131071996
[pid=874910] ppid=874907 vsize=87832 memory=73988 CPUtime=221.73 cores=4,6
/proc/874910/stat : 874910 (ipbhs_static_sc) R 874907 874910 872410 0 -1 4194304 12804 0 0 0 22066 107 0 0 20 0 1 0 161963488 89939968 18497 134679101440 4194304 16068861 140734850238000 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52097024 140734850241574 140734850241661 140734850241661 140734850248676 0
/proc/874910/statm: 21958 18497 2719 2900 0 18472 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 87832 KiB
Current children cumulated memory: 73988 KiB

[startup+282.3 s]
/proc/loadavg: 4.18 4.18 4.12 5/258 875011
/proc/meminfo: memFree=127981556/131524600 swapFree=131071996/131071996
[pid=874910] ppid=874907 vsize=89256 memory=75572 CPUtime=281.58 cores=4,6
/proc/874910/stat : 874910 (ipbhs_static_sc) R 874907 874910 872410 0 -1 4194304 13211 0 0 0 28037 121 0 0 20 0 1 0 161963488 91398144 18893 134679101440 4194304 16068861 140734850238000 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52097024 140734850241574 140734850241661 140734850241661 140734850248676 0
/proc/874910/statm: 22314 18893 2719 2900 0 18828 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 89256 KiB
Current children cumulated memory: 75572 KiB

[startup+342.3 s]
/proc/loadavg: 4.19 4.18 4.12 5/258 875021
/proc/meminfo: memFree=127971456/131524600 swapFree=131071996/131071996
[pid=874910] ppid=874907 vsize=101816 memory=79804 CPUtime=341.43 cores=4,6
/proc/874910/stat : 874910 (ipbhs_static_sc) R 874907 874910 872410 0 -1 4194304 13778 0 0 0 34010 133 0 0 20 0 1 0 161963488 104259584 19951 134679101440 4194304 16068861 140734850238000 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52097024 140734850241574 140734850241661 140734850241661 140734850248676 0
/proc/874910/statm: 25454 19951 2719 2900 0 21968 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 101816 KiB
Current children cumulated memory: 79804 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 4.18 4.12 5/258 875031
/proc/meminfo: memFree=127965372/131524600 swapFree=131071996/131071996
[pid=874910] ppid=874907 vsize=102304 memory=80328 CPUtime=401.27 cores=4,6
/proc/874910/stat : 874910 (ipbhs_static_sc) R 874907 874910 872410 0 -1 4194304 13930 0 0 0 39981 146 0 0 20 0 1 0 161963488 104759296 20082 134679101440 4194304 16068861 140734850238000 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52097024 140734850241574 140734850241661 140734850241661 140734850248676 0
/proc/874910/statm: 25576 20082 2719 2900 0 22090 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 102304 KiB
Current children cumulated memory: 80328 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.16 4.12 5/258 875044
/proc/meminfo: memFree=127958684/131524600 swapFree=131071996/131071996
[pid=874910] ppid=874907 vsize=103168 memory=80924 CPUtime=461.12 cores=4,6
/proc/874910/stat : 874910 (ipbhs_static_sc) R 874907 874910 872410 0 -1 4194304 14100 0 0 0 45954 158 0 0 20 0 1 0 161963488 105644032 20231 134679101440 4194304 16068861 140734850238000 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52097024 140734850241574 140734850241661 140734850241661 140734850248676 0
/proc/874910/statm: 25792 20231 2719 2900 0 22306 0

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

Current children cumulated memory: 116216 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 876664
/proc/meminfo: memFree=127889896/131524600 swapFree=131071996/131071996
[pid=874910] ppid=874907 vsize=140244 memory=116572 CPUtime=2854.17 cores=4,6
/proc/874910/stat : 874910 (ipbhs_static_sc) R 874907 874910 872410 0 -1 4194304 19325 0 0 0 284964 453 0 0 20 0 1 0 161963488 143609856 29143 134679101440 4194304 16068861 140734850238000 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52097024 140734850241574 140734850241661 140734850241661 140734850248676 0
/proc/874910/statm: 35061 29143 2719 2900 0 31575 0
Current children cumulated CPU time: 2854.17 s
Current children cumulated vsize: 140244 KiB
Current children cumulated memory: 116572 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 876675
/proc/meminfo: memFree=127883328/131524600 swapFree=131071996/131071996
[pid=874910] ppid=874907 vsize=140244 memory=116572 CPUtime=2913.99 cores=4,6
/proc/874910/stat : 874910 (ipbhs_static_sc) R 874907 874910 872410 0 -1 4194304 19376 0 0 0 290938 461 0 0 20 0 1 0 161963488 143609856 29143 134679101440 4194304 16068861 140734850238000 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52097024 140734850241574 140734850241661 140734850241661 140734850248676 0
/proc/874910/statm: 35061 29143 2719 2900 0 31575 0
Current children cumulated CPU time: 2913.99 s
Current children cumulated vsize: 140244 KiB
Current children cumulated memory: 116572 KiB

[startup+2982.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/255 876685
/proc/meminfo: memFree=127882476/131524600 swapFree=131071996/131071996
[pid=874910] ppid=874907 vsize=140244 memory=116608 CPUtime=2973.81 cores=4,6
/proc/874910/stat : 874910 (ipbhs_static_sc) R 874907 874910 872410 0 -1 4194304 19424 0 0 0 296915 466 0 0 20 0 1 0 161963488 143609856 29152 134679101440 4194304 16068861 140734850238000 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52097024 140734850241574 140734850241661 140734850241661 140734850248676 0
/proc/874910/statm: 35061 29152 2719 2900 0 31575 0
Current children cumulated CPU time: 2973.81 s
Current children cumulated vsize: 140244 KiB
Current children cumulated memory: 116608 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/254 876696
/proc/meminfo: memFree=127878024/131524600 swapFree=131071996/131071996
[pid=874910] ppid=874907 vsize=141128 memory=117088 CPUtime=3033.63 cores=4,6
/proc/874910/stat : 874910 (ipbhs_static_sc) R 874907 874910 872410 0 -1 4194304 19589 0 0 0 302891 472 0 0 20 0 1 0 161963488 144515072 29272 134679101440 4194304 16068861 140734850238000 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52097024 140734850241574 140734850241661 140734850241661 140734850248676 0
/proc/874910/statm: 35282 29272 2719 2900 0 31796 0
Current children cumulated CPU time: 3033.63 s
Current children cumulated vsize: 141128 KiB
Current children cumulated memory: 117088 KiB

[startup+3102.3 s]
/proc/loadavg: 4.05 4.09 4.09 6/255 876709
/proc/meminfo: memFree=127873196/131524600 swapFree=131071996/131071996
[pid=874910] ppid=874907 vsize=141416 memory=119300 CPUtime=3093.45 cores=4,6
/proc/874910/stat : 874910 (ipbhs_static_sc) R 874907 874910 872410 0 -1 4194304 19675 0 0 0 308867 478 0 0 20 0 1 0 161963488 144809984 29825 134679101440 4194304 16068861 140734850238000 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52097024 140734850241574 140734850241661 140734850241661 140734850248676 0
/proc/874910/statm: 35354 29825 2719 2900 0 31868 0
Current children cumulated CPU time: 3093.45 s
Current children cumulated vsize: 141416 KiB
Current children cumulated memory: 119300 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/255 876720
/proc/meminfo: memFree=127870836/131524600 swapFree=131071996/131071996
[pid=874910] ppid=874907 vsize=142776 memory=120720 CPUtime=3153.27 cores=4,6
/proc/874910/stat : 874910 (ipbhs_static_sc) R 874907 874910 872410 0 -1 4194304 19905 0 0 0 314844 483 0 0 20 0 1 0 161963488 146202624 30180 134679101440 4194304 16068861 140734850238000 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52097024 140734850241574 140734850241661 140734850241661 140734850248676 0
/proc/874910/statm: 35694 30180 2719 2900 0 32208 0
Current children cumulated CPU time: 3153.27 s
Current children cumulated vsize: 142776 KiB
Current children cumulated memory: 120720 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/255 876730
/proc/meminfo: memFree=127865276/131524600 swapFree=131071996/131071996
[pid=874910] ppid=874907 vsize=144344 memory=124156 CPUtime=3213.09 cores=4,6
/proc/874910/stat : 874910 (ipbhs_static_sc) R 874907 874910 872410 0 -1 4194304 20280 0 0 0 320819 490 0 0 20 0 1 0 161963488 147808256 31039 134679101440 4194304 16068861 140734850238000 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52097024 140734850241574 140734850241661 140734850241661 140734850248676 0
/proc/874910/statm: 36086 31039 2719 2900 0 32600 0
Current children cumulated CPU time: 3213.09 s
Current children cumulated vsize: 144344 KiB
Current children cumulated memory: 124156 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/257 876746
/proc/meminfo: memFree=127864144/131524600 swapFree=131071996/131071996
[pid=874910] ppid=874907 vsize=144344 memory=124284 CPUtime=3272.9 cores=4,6
/proc/874910/stat : 874910 (ipbhs_static_sc) R 874907 874910 872410 0 -1 4194304 20323 0 0 0 326795 495 0 0 20 0 1 0 161963488 147808256 31071 134679101440 4194304 16068861 140734850238000 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52097024 140734850241574 140734850241661 140734850241661 140734850248676 0
/proc/874910/statm: 36086 31071 2719 2900 0 32600 0
Current children cumulated CPU time: 3272.9 s
Current children cumulated vsize: 144344 KiB
Current children cumulated memory: 124284 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 876757
/proc/meminfo: memFree=127862944/131524600 swapFree=131071996/131071996
[pid=874910] ppid=874907 vsize=144344 memory=124284 CPUtime=3332.72 cores=4,6
/proc/874910/stat : 874910 (ipbhs_static_sc) R 874907 874910 872410 0 -1 4194304 20367 0 0 0 332771 501 0 0 20 0 1 0 161963488 147808256 31071 134679101440 4194304 16068861 140734850238000 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52097024 140734850241574 140734850241661 140734850241661 140734850248676 0
/proc/874910/statm: 36086 31071 2719 2900 0 32600 0
Current children cumulated CPU time: 3332.72 s
Current children cumulated vsize: 144344 KiB
Current children cumulated memory: 124284 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/257 876768
/proc/meminfo: memFree=127862304/131524600 swapFree=131071996/131071996
[pid=874910] ppid=874907 vsize=144344 memory=124284 CPUtime=3392.54 cores=4,6
/proc/874910/stat : 874910 (ipbhs_static_sc) R 874907 874910 872410 0 -1 4194304 20411 0 0 0 338748 506 0 0 20 0 1 0 161963488 147808256 31071 134679101440 4194304 16068861 140734850238000 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52097024 140734850241574 140734850241661 140734850241661 140734850248676 0
/proc/874910/statm: 36086 31071 2719 2900 0 32600 0
Current children cumulated CPU time: 3392.54 s
Current children cumulated vsize: 144344 KiB
Current children cumulated memory: 124284 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/257 876781
/proc/meminfo: memFree=127860768/131524600 swapFree=131071996/131071996
[pid=874910] ppid=874907 vsize=144344 memory=124284 CPUtime=3452.37 cores=4,6
/proc/874910/stat : 874910 (ipbhs_static_sc) R 874907 874910 872410 0 -1 4194304 20457 0 0 0 344725 512 0 0 20 0 1 0 161963488 147808256 31071 134679101440 4194304 16068861 140734850238000 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52097024 140734850241574 140734850241661 140734850241661 140734850248676 0
/proc/874910/statm: 36086 31071 2719 2900 0 32600 0
Current children cumulated CPU time: 3452.37 s
Current children cumulated vsize: 144344 KiB
Current children cumulated memory: 124284 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 876793
/proc/meminfo: memFree=127858272/131524600 swapFree=131071996/131071996
[pid=874910] ppid=874907 vsize=144344 memory=124284 CPUtime=3512.19 cores=4,6
/proc/874910/stat : 874910 (ipbhs_static_sc) R 874907 874910 872410 0 -1 4194304 20502 0 0 0 350700 519 0 0 20 0 1 0 161963488 147808256 31071 134679101440 4194304 16068861 140734850238000 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52097024 140734850241574 140734850241661 140734850241661 140734850248676 0
/proc/874910/statm: 36086 31071 2719 2900 0 32600 0
Current children cumulated CPU time: 3512.19 s
Current children cumulated vsize: 144344 KiB
Current children cumulated memory: 124284 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/255 876804
/proc/meminfo: memFree=127852512/131524600 swapFree=131071996/131071996
[pid=874910] ppid=874907 vsize=144344 memory=124284 CPUtime=3572.02 cores=4,6
/proc/874910/stat : 874910 (ipbhs_static_sc) R 874907 874910 872410 0 -1 4194304 20549 0 0 0 356676 526 0 0 20 0 1 0 161963488 147808256 31071 134679101440 4194304 16068861 140734850238000 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52097024 140734850241574 140734850241661 140734850241661 140734850248676 0
/proc/874910/statm: 36086 31071 2719 2900 0 32600 0
Current children cumulated CPU time: 3572.02 s
Current children cumulated vsize: 144344 KiB
Current children cumulated memory: 124284 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.09 4.09 4.09 5/255 877176
/proc/meminfo: memFree=127630800/131524600 swapFree=131071996/131071996
[pid=874910] ppid=874907 vsize=144344 memory=125172 CPUtime=3600.04 cores=4,6
/proc/874910/stat : 874910 (ipbhs_static_sc) R 874907 874910 872410 0 -1 4194304 20552 0 0 0 359475 529 0 0 20 0 1 0 161963488 147808256 31293 134679101440 4194304 16068861 140734850238000 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52097024 140734850241574 140734850241661 140734850241661 140734850248676 0
/proc/874910/statm: 36086 31293 2719 2900 0 32600 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 144344 KiB
Current children cumulated memory: 125172 KiB

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

[startup+3610.4 s]
# the end of solver process 874910 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=3594.76 s, system=5.29201 s

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

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3610.4
CPU time (s): 3600.05
CPU user time (s): 3594.76
CPU system time (s): 5.29201
CPU usage (%): 99.7132
Max. virtual memory (cumulated for all children) (KiB): 144344
Max. memory (cumulated for all children) (KiB): 125172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.76
system time used= 5.29201
maximum resident set size= 125180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20552
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= 42
involuntary context switches= 1863


# summary of solver processes directly reported to runsolver:
#   pid: 874910
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3594.76
#   total CPU system time (s): 5.29201

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.78362 second user time and 17.0849 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-16 04:46:07
IDJOB=4431858
IDBENCH=147625
IDSOLVER=3057
FILE ID=nodeC030/4431858-1721097954
RUNJOBID= nodeC030-1721094346-872421
SLURM_JOB_ID= 7505600
Free space on /tmp= 889904 MiB

SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_18.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431858-1721097954/watcher-4431858-1721097954 -o /tmp/evaluation-result-4431858-1721097954/solver-4431858-1721097954 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721094346-872421 --watchdog 3760  ./ipbhs_static_scip HOME/instance-4431858-1721097954.opb

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

MD5SUM BENCH= 175cf8fd081870b89b1494469c4bb17a
RANDOM SEED=446205102

nodeC030.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.185
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.28
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		: 3686.280
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.11
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		: 3599.712
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.28
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		: 3599.929
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.11
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		: 3657.335
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.28
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		: 3686.273
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.11
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		: 3676.961
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.28
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.976
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.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127806380 kB
MemAvailable:   129357624 kB
Buffers:          381192 kB
Cached:          1995332 kB
SwapCached:            0 kB
Active:           911884 kB
Inactive:        2187368 kB
Active(anon):       1540 kB
Inactive(anon):   758904 kB
Active(file):     910344 kB
Inactive(file):  1428464 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            167120 kB
Writeback:             4 kB
AnonPages:        722416 kB
Mapped:           138648 kB
Shmem:             37720 kB
KReclaimable:     104520 kB
Slab:             211080 kB
SReclaimable:     104520 kB
SUnreclaim:       106560 kB
KernelStack:        4096 kB
PageTables:        10512 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1064788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62848 kB
HardwareCorrupted:     0 kB
AnonHugePages:    294912 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:      234196 kB
DirectMap2M:    18413568 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 889860 MiB
End job on nodeC030 at 2024-07-16 05:46:17