Trace number 4436183

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
Picat 2024-06-18? (TO) 3600.06 3610.2

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_10null10mast_rapportOE1.0_TMAX120_K67_cod1.opb
MD5SUM062a8ee8fd391209ed47aa3cd3325d2f
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 benchmark-42567
Best CPU time to get the best result obtained on this benchmark3588.48
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40451
Total number of constraints40950
Number of constraints which are clauses40396
Number of constraints which are cardinality constraints (but not clauses)553
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint40128
Number of terms in the objective function 28908
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 15645564
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 15645564
Number of bits of the biggest sum of numbers24
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c solving HOME/instance-4436183-1721150060.opb (Picat 3.6#12)
2.55/2.65	o 0
8.83/8.90	o -104

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436183-1721150060/watcher-4436183-1721150060 -o /tmp/evaluation-result-4436183-1721150060/solver-4436183-1721150060 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721146460-860191 --watchdog 3760 pb_picat HOME/instance-4436183-1721150060.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
Linux 4.18.0-301.1.el8.x
Current StackSize limit: 8192 KiB

solver pid=862221, runsolver pid=862218

[startup+0.100663 s]*
/proc/loadavg: 4.59 4.26 4.15 5/256 862222
/proc/meminfo: memFree=106650072/131524600 swapFree=131071996/131071996
[pid=862221] ppid=862218 vsize=2033608 memory=48520 CPUtime=0.09 cores=4,6
/proc/862221/stat : 862221 (pb_picat) R 862218 862221 860180 0 -1 4194304 1602 0 0 0 9 0 0 0 20 0 1 0 167172998 2082414592 12130 134679101440 4194304 5989780 140721397603792 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 8089048 9894864 22634496 140721397605401 140721397605477 140721397605477 140721397612492 0
/proc/862221/statm: 508402 12130 1495 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 48520 KiB

[startup+0.205662 s]*
/proc/loadavg: 4.59 4.26 4.15 5/256 862222
/proc/meminfo: memFree=106612948/131524600 swapFree=131071996/131071996
[pid=862221] ppid=862218 vsize=2033608 memory=69000 CPUtime=0.18 cores=4,6
/proc/862221/stat : 862221 (pb_picat) R 862218 862221 860180 0 -1 4194304 1612 0 0 0 18 0 0 0 20 0 1 0 167172998 2082414592 17250 134679101440 4194304 5989780 140721397603792 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 8089048 9894864 22634496 140721397605401 140721397605477 140721397605477 140721397612492 0
/proc/862221/statm: 508402 17250 1495 439 0 503831 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 69000 KiB

[startup+0.305659 s]*
/proc/loadavg: 4.59 4.26 4.15 5/256 862222
/proc/meminfo: memFree=106579852/131524600 swapFree=131071996/131071996
[pid=862221] ppid=862218 vsize=2033608 memory=85384 CPUtime=0.29 cores=4,6
/proc/862221/stat : 862221 (pb_picat) R 862218 862221 860180 0 -1 4194304 1620 0 0 0 28 1 0 0 20 0 1 0 167172998 2082414592 21346 134679101440 4194304 5989780 140721397603792 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 8089048 9894864 22634496 140721397605401 140721397605477 140721397605477 140721397612492 0
/proc/862221/statm: 508402 21346 1495 439 0 503831 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 85384 KiB

[startup+0.700664 s]
/proc/loadavg: 4.59 4.26 4.15 5/256 862222
/proc/meminfo: memFree=106517480/131524600 swapFree=131071996/131071996
[pid=862221] ppid=862218 vsize=2041424 memory=147068 CPUtime=0.66 cores=4,6
/proc/862221/stat : 862221 (pb_picat) R 862218 862221 860180 0 -1 4194304 1654 0 0 0 64 2 0 0 20 0 1 0 167172998 2090418176 36767 134679101440 4194304 5989780 140721397603792 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 8089048 9894864 22634496 140721397605401 140721397605477 140721397605477 140721397612492 0
/proc/862221/statm: 510356 36767 1543 439 0 505785 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 147068 KiB

[startup+1.50066 s]
/proc/loadavg: 4.59 4.26 4.15 5/256 862222
/proc/meminfo: memFree=106348432/131524600 swapFree=131071996/131071996
[pid=862221] ppid=862218 vsize=2172656 memory=366228 CPUtime=1.45 cores=4,6
/proc/862221/stat : 862221 (pb_picat) R 862218 862221 860180 0 -1 4194304 5433 0 0 0 139 6 0 0 20 0 1 0 167172998 2224799744 91557 134679101440 4194304 5989780 140721397603792 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 8089048 9894864 22634496 140721397605401 140721397605477 140721397605477 140721397612492 0
/proc/862221/statm: 543164 91557 1668 439 0 538593 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 2172656 KiB
Current children cumulated memory: 366228 KiB

[startup+3.1056 s]
/proc/loadavg: 4.59 4.26 4.15 5/256 862222
/proc/meminfo: memFree=105988420/131524600 swapFree=131071996/131071996
[pid=862221] ppid=862218 vsize=2174704 memory=370748 CPUtime=3.05 cores=4,6
/proc/862221/stat : 862221 (pb_picat) R 862218 862221 860180 0 -1 4194304 10150 0 0 0 292 13 0 0 20 0 1 0 167172998 2226896896 92687 134679101440 4194304 5989780 140721397603792 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 22634496 140721397605401 140721397605477 140721397605477 140721397612492 0
/proc/862221/statm: 543676 92687 1716 439 0 539105 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 2174704 KiB
Current children cumulated memory: 370748 KiB

[startup+6.30023 s]
/proc/loadavg: 4.54 4.25 4.15 5/256 862268
/proc/meminfo: memFree=120804048/131524600 swapFree=131071996/131071996
[pid=862221] ppid=862218 vsize=2391676 memory=543220 CPUtime=6.24 cores=4,6
/proc/862221/stat : 862221 (pb_picat) R 862218 862221 860180 0 -1 4194304 13973 0 0 0 604 20 0 0 20 0 1 0 167172998 2449076224 135805 134679101440 4194304 5989780 140721397603792 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 22634496 140721397605401 140721397605477 140721397605477 140721397612492 0
/proc/862221/statm: 597919 135805 1716 439 0 593348 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 2391676 KiB
Current children cumulated memory: 543220 KiB

[startup+12.7002 s]
/proc/loadavg: 4.50 4.25 4.15 5/256 862270
/proc/meminfo: memFree=120762880/131524600 swapFree=131071996/131071996
[pid=862221] ppid=862218 vsize=2393972 memory=544880 CPUtime=12.62 cores=4,6
/proc/862221/stat : 862221 (pb_picat) R 862218 862221 860180 0 -1 4194304 22148 0 0 0 1234 28 0 0 20 0 1 0 167172998 2451427328 136220 134679101440 4194304 5989780 140721397603792 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 22634496 140721397605401 140721397605477 140721397605477 140721397612492 0
/proc/862221/statm: 598493 136220 1716 439 0 593922 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 2393972 KiB
Current children cumulated memory: 544880 KiB

[startup+25.5003 s]
/proc/loadavg: 4.39 4.24 4.14 5/256 862271
/proc/meminfo: memFree=120785188/131524600 swapFree=131071996/131071996
[pid=862221] ppid=862218 vsize=2404748 memory=553528 CPUtime=25.39 cores=4,6
/proc/862221/stat : 862221 (pb_picat) R 862218 862221 860180 0 -1 4194304 32341 0 0 0 2502 37 0 0 20 0 1 0 167172998 2462461952 138382 134679101440 4194304 5989780 140721397603792 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 22634496 140721397605401 140721397605477 140721397605477 140721397612492 0
/proc/862221/statm: 601187 138382 1716 439 0 596616 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 2404748 KiB
Current children cumulated memory: 553528 KiB

[startup+51.1055 s]
/proc/loadavg: 4.33 4.23 4.14 5/254 862276
/proc/meminfo: memFree=120805496/131524600 swapFree=131071996/131071996
[pid=862221] ppid=862218 vsize=2339212 memory=528864 CPUtime=50.91 cores=4,6
/proc/862221/stat : 862221 (pb_picat) R 862218 862221 860180 0 -1 4194304 40095 0 0 0 5047 44 0 0 20 0 1 0 167172998 2395353088 132216 134679101440 4194304 5989780 140721397603792 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 22634496 140721397605401 140721397605477 140721397605477 140721397612492 0
/proc/862221/statm: 584803 132216 1716 439 0 580232 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 2339212 KiB
Current children cumulated memory: 528864 KiB

[startup+102.3 s]
/proc/loadavg: 4.21 4.21 4.14 5/255 862331
/proc/meminfo: memFree=124302144/131524600 swapFree=131071996/131071996
[pid=862221] ppid=862218 vsize=2404748 memory=543400 CPUtime=101.95 cores=4,6
/proc/862221/stat : 862221 (pb_picat) R 862218 862221 860180 0 -1 4194304 50933 0 0 0 10142 53 0 0 20 0 1 0 167172998 2462461952 135850 134679101440 4194304 5989780 140721397603792 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 22634496 140721397605401 140721397605477 140721397605477 140721397612492 0
/proc/862221/statm: 601187 135850 1716 439 0 596616 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 2404748 KiB
Current children cumulated memory: 543400 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.19 4.13 5/256 862342
/proc/meminfo: memFree=124118932/131524600 swapFree=131071996/131071996
[pid=862221] ppid=862218 vsize=2339212 memory=504288 CPUtime=161.77 cores=4,6
/proc/862221/stat : 862221 (pb_picat) R 862218 862221 860180 0 -1 4194304 61997 0 0 0 16116 61 0 0 20 0 1 0 167172998 2395353088 126072 134679101440 4194304 5989780 140721397603792 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 22634496 140721397605401 140721397605477 140721397605477 140721397612492 0
/proc/862221/statm: 584803 126072 1716 439 0 580232 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 2339212 KiB
Current children cumulated memory: 504288 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.16 4.13 5/256 862353
/proc/meminfo: memFree=123928848/131524600 swapFree=131071996/131071996
[pid=862221] ppid=862218 vsize=2413308 memory=559620 CPUtime=221.59 cores=4,6
/proc/862221/stat : 862221 (pb_picat) R 862218 862221 860180 0 -1 4194304 84756 0 0 0 22079 80 0 0 20 0 1 0 167172998 2471227392 139905 134679101440 4194304 5989780 140721397603792 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 22634496 140721397605401 140721397605477 140721397605477 140721397612492 0
/proc/862221/statm: 603327 139905 1716 439 0 598756 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 2413308 KiB
Current children cumulated memory: 559620 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.15 4.12 5/256 862363
/proc/meminfo: memFree=123990596/131524600 swapFree=131071996/131071996
[pid=862221] ppid=862218 vsize=2298620 memory=490160 CPUtime=281.42 cores=4,6
/proc/862221/stat : 862221 (pb_picat) R 862218 862221 860180 0 -1 4194304 95446 0 0 0 28054 88 0 0 20 0 1 0 167172998 2353786880 122540 134679101440 4194304 5989780 140721397603792 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 22634496 140721397605401 140721397605477 140721397605477 140721397612492 0
/proc/862221/statm: 574655 122540 1716 439 0 570084 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 2298620 KiB
Current children cumulated memory: 490160 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.13 4.12 5/259 862378
/proc/meminfo: memFree=123998268/131524600 swapFree=131071996/131071996
[pid=862221] ppid=862218 vsize=2315004 memory=510844 CPUtime=341.24 cores=4,6
/proc/862221/stat : 862221 (pb_picat) R 862218 862221 860180 0 -1 4194304 103618 0 0 0 34030 94 0 0 20 0 1 0 167172998 2370564096 127711 134679101440 4194304 5989780 140721397603792 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 22634496 140721397605401 140721397605477 140721397605477 140721397612492 0
/proc/862221/statm: 578751 127711 1716 439 0 574180 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 2315004 KiB
Current children cumulated memory: 510844 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.14 4.12 5/258 862389
/proc/meminfo: memFree=123982808/131524600 swapFree=131071996/131071996
[pid=862221] ppid=862218 vsize=2413308 memory=553672 CPUtime=401.06 cores=4,6
/proc/862221/stat : 862221 (pb_picat) R 862218 862221 860180 0 -1 4194304 111007 0 0 0 40008 98 0 0 20 0 1 0 167172998 2471227392 138418 134679101440 4194304 5989780 140721397603792 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 22634496 140721397605401 140721397605477 140721397605477 140721397612492 0
/proc/862221/statm: 603327 138418 1716 439 0 598756 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 2413308 KiB
Current children cumulated memory: 553672 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.13 4.11 5/257 862399
/proc/meminfo: memFree=123917408/131524600 swapFree=131071996/131071996
[pid=862221] ppid=862218 vsize=2347772 memory=512108 CPUtime=460.88 cores=4,6
/proc/862221/stat : 862221 (pb_picat) R 862218 862221 860180 0 -1 4194304 117350 0 0 0 45985 103 0 0 20 0 1 0 167172998 2404118528 128027 134679101440 4194304 5989780 140721397603792 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 22634496 140721397605401 140721397605477 140721397605477 140721397612492 0
/proc/862221/statm: 586943 128027 1716 439 0 582372 0

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

Current children cumulated memory: 550856 KiB

[startup+2862.3 s]
/proc/loadavg: 4.23 4.17 4.11 5/256 864012
/proc/meminfo: memFree=123868240/131524600 swapFree=131071996/131071996
[pid=862221] ppid=862218 vsize=2305156 memory=508020 CPUtime=2854.11 cores=4,6
/proc/862221/stat : 862221 (pb_picat) R 862218 862221 860180 0 -1 4194304 427201 0 0 0 285029 382 0 0 20 0 1 0 167172998 2360479744 127005 134679101440 4194304 5989780 140721397603792 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 22634496 140721397605401 140721397605477 140721397605477 140721397612492 0
/proc/862221/statm: 576289 127005 1716 439 0 571718 0
Current children cumulated CPU time: 2854.11 s
Current children cumulated vsize: 2305156 KiB
Current children cumulated memory: 508020 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/255 864023
/proc/meminfo: memFree=123885568/131524600 swapFree=131071996/131071996
[pid=862221] ppid=862218 vsize=2305156 memory=499828 CPUtime=2913.95 cores=4,6
/proc/862221/stat : 862221 (pb_picat) R 862218 862221 860180 0 -1 4194304 433917 0 0 0 291007 388 0 0 20 0 1 0 167172998 2360479744 124957 134679101440 4194304 5989780 140721397603792 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 22634496 140721397605401 140721397605477 140721397605477 140721397612492 0
/proc/862221/statm: 576289 124957 1716 439 0 571718 0
Current children cumulated CPU time: 2913.95 s
Current children cumulated vsize: 2305156 KiB
Current children cumulated memory: 499828 KiB

[startup+2982.3 s]
/proc/loadavg: 4.19 4.17 4.11 5/255 864034
/proc/meminfo: memFree=124398236/131524600 swapFree=131071996/131071996
[pid=862221] ppid=862218 vsize=2337924 memory=528320 CPUtime=2973.79 cores=4,6
/proc/862221/stat : 862221 (pb_picat) R 862218 862221 860180 0 -1 4194304 440748 0 0 0 296985 394 0 0 20 0 1 0 167172998 2394034176 132080 134679101440 4194304 5989780 140721397603792 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 22634496 140721397605401 140721397605477 140721397605477 140721397612492 0
/proc/862221/statm: 584481 132080 1716 439 0 579910 0
Current children cumulated CPU time: 2973.79 s
Current children cumulated vsize: 2337924 KiB
Current children cumulated memory: 528320 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/254 864044
/proc/meminfo: memFree=123939324/131524600 swapFree=131071996/131071996
[pid=862221] ppid=862218 vsize=2370692 memory=525080 CPUtime=3033.64 cores=4,6
/proc/862221/stat : 862221 (pb_picat) R 862218 862221 860180 0 -1 4194304 447477 0 0 0 302963 401 0 0 20 0 1 0 167172998 2427588608 131270 134679101440 4194304 5989780 140721397603792 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 22634496 140721397605401 140721397605477 140721397605477 140721397612492 0
/proc/862221/statm: 592673 131270 1716 439 0 588102 0
Current children cumulated CPU time: 3033.64 s
Current children cumulated vsize: 2370692 KiB
Current children cumulated memory: 525080 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/255 864055
/proc/meminfo: memFree=123949652/131524600 swapFree=131071996/131071996
[pid=862221] ppid=862218 vsize=2305156 memory=475104 CPUtime=3093.49 cores=4,6
/proc/862221/stat : 862221 (pb_picat) R 862218 862221 860180 0 -1 4194304 453376 0 0 0 308943 406 0 0 20 0 1 0 167172998 2360479744 118776 134679101440 4194304 5989780 140721397603792 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 22634496 140721397605401 140721397605477 140721397605477 140721397612492 0
/proc/862221/statm: 576289 118776 1716 439 0 571718 0
Current children cumulated CPU time: 3093.49 s
Current children cumulated vsize: 2305156 KiB
Current children cumulated memory: 475104 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/255 864065
/proc/meminfo: memFree=123725728/131524600 swapFree=131071996/131071996
[pid=862221] ppid=862218 vsize=2305156 memory=466912 CPUtime=3153.34 cores=4,6
/proc/862221/stat : 862221 (pb_picat) R 862218 862221 860180 0 -1 4194304 458414 0 0 0 314924 410 0 0 20 0 1 0 167172998 2360479744 116728 134679101440 4194304 5989780 140721397603792 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 22634496 140721397605401 140721397605477 140721397605477 140721397612492 0
/proc/862221/statm: 576289 116728 1716 439 0 571718 0
Current children cumulated CPU time: 3153.34 s
Current children cumulated vsize: 2305156 KiB
Current children cumulated memory: 466912 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/255 864076
/proc/meminfo: memFree=124474400/131524600 swapFree=131071996/131071996
[pid=862221] ppid=862218 vsize=2305156 memory=482060 CPUtime=3213.18 cores=4,6
/proc/862221/stat : 862221 (pb_picat) R 862218 862221 860180 0 -1 4194304 466153 0 0 0 320902 416 0 0 20 0 1 0 167172998 2360479744 120515 134679101440 4194304 5989780 140721397603792 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 22634496 140721397605401 140721397605477 140721397605477 140721397612492 0
/proc/862221/statm: 576289 120515 1716 439 0 571718 0
Current children cumulated CPU time: 3213.18 s
Current children cumulated vsize: 2305156 KiB
Current children cumulated memory: 482060 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/255 864086
/proc/meminfo: memFree=124239408/131524600 swapFree=131071996/131071996
[pid=862221] ppid=862218 vsize=2305156 memory=486156 CPUtime=3273.03 cores=4,6
/proc/862221/stat : 862221 (pb_picat) R 862218 862221 860180 0 -1 4194304 466178 0 0 0 326887 416 0 0 20 0 1 0 167172998 2360479744 121539 134679101440 4194304 5989780 140721397603792 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 22634496 140721397605401 140721397605477 140721397605477 140721397612492 0
/proc/862221/statm: 576289 121539 1716 439 0 571718 0
Current children cumulated CPU time: 3273.03 s
Current children cumulated vsize: 2305156 KiB
Current children cumulated memory: 486156 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 864100
/proc/meminfo: memFree=124204264/131524600 swapFree=131071996/131071996
[pid=862221] ppid=862218 vsize=2305156 memory=477964 CPUtime=3332.87 cores=4,6
/proc/862221/stat : 862221 (pb_picat) R 862218 862221 860180 0 -1 4194304 469224 0 0 0 332869 418 0 0 20 0 1 0 167172998 2360479744 119491 134679101440 4194304 5989780 140721397603792 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 22634496 140721397605401 140721397605477 140721397605477 140721397612492 0
/proc/862221/statm: 576289 119491 1716 439 0 571718 0
Current children cumulated CPU time: 3332.87 s
Current children cumulated vsize: 2305156 KiB
Current children cumulated memory: 477964 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/257 864112
/proc/meminfo: memFree=124165368/131524600 swapFree=131071996/131071996
[pid=862221] ppid=862218 vsize=2403460 memory=567964 CPUtime=3392.71 cores=4,6
/proc/862221/stat : 862221 (pb_picat) R 862218 862221 860180 0 -1 4194304 476440 0 0 0 338845 426 0 0 20 0 1 0 167172998 2461143040 141991 134679101440 4194304 5989780 140721397603792 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 22634496 140721397605401 140721397605477 140721397605477 140721397612492 0
/proc/862221/statm: 600865 141991 1716 439 0 596294 0
Current children cumulated CPU time: 3392.71 s
Current children cumulated vsize: 2403460 KiB
Current children cumulated memory: 567964 KiB

[startup+3462.3 s]
/proc/loadavg: 4.48 4.20 4.12 5/256 864122
/proc/meminfo: memFree=123826316/131524600 swapFree=131071996/131071996
[pid=862221] ppid=862218 vsize=2370692 memory=557860 CPUtime=3452.55 cores=4,6
/proc/862221/stat : 862221 (pb_picat) R 862218 862221 860180 0 -1 4194304 487095 0 0 0 344818 437 0 0 20 0 1 0 167172998 2427588608 139465 134679101440 4194304 5989780 140721397603792 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 22634496 140721397605401 140721397605477 140721397605477 140721397612492 0
/proc/862221/statm: 592673 139465 1716 439 0 588102 0
Current children cumulated CPU time: 3452.55 s
Current children cumulated vsize: 2370692 KiB
Current children cumulated memory: 557860 KiB

[startup+3522.3 s]
/proc/loadavg: 4.36 4.22 4.13 5/256 864133
/proc/meminfo: memFree=123904068/131524600 swapFree=131071996/131071996
[pid=862221] ppid=862218 vsize=2247812 memory=438788 CPUtime=3512.39 cores=4,6
/proc/862221/stat : 862221 (pb_picat) R 862218 862221 860180 0 -1 4194304 496929 0 0 0 350790 449 0 0 20 0 1 0 167172998 2301759488 109697 134679101440 4194304 5989780 140721397603792 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 22634496 140721397605401 140721397605477 140721397605477 140721397612492 0
/proc/862221/statm: 561953 109697 1716 439 0 557382 0
Current children cumulated CPU time: 3512.39 s
Current children cumulated vsize: 2247812 KiB
Current children cumulated memory: 438788 KiB

[startup+3582.3 s]
/proc/loadavg: 4.67 4.32 4.17 5/256 864144
/proc/meminfo: memFree=123782212/131524600 swapFree=131071996/131071996
[pid=862221] ppid=862218 vsize=2256004 memory=451544 CPUtime=3572.22 cores=4,6
/proc/862221/stat : 862221 (pb_picat) R 862218 862221 860180 0 -1 4194304 506983 0 0 0 356764 458 0 0 20 0 1 0 167172998 2310148096 112886 134679101440 4194304 5989780 140721397603792 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 22634496 140721397605401 140721397605477 140721397605477 140721397612492 0
/proc/862221/statm: 564001 112886 1716 439 0 559430 0
Current children cumulated CPU time: 3572.22 s
Current children cumulated vsize: 2256004 KiB
Current children cumulated memory: 451544 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 4.44 4.29 4.17 5/256 864148
/proc/meminfo: memFree=123905588/131524600 swapFree=131071996/131071996
[pid=862221] ppid=862218 vsize=2272388 memory=457484 CPUtime=3600.04 cores=4,6
/proc/862221/stat : 862221 (pb_picat) R 862218 862221 860180 0 -1 4194304 507452 0 0 0 359545 459 0 0 20 0 1 0 167172998 2326925312 114371 134679101440 4194304 5989780 140721397603792 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 22634496 140721397605401 140721397605477 140721397605477 140721397612492 0
/proc/862221/statm: 568097 114371 1716 439 0 563526 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2272388 KiB
Current children cumulated memory: 457484 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.46 s, system=4.59852 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.2
CPU time (s): 3600.06
CPU user time (s): 3595.46
CPU system time (s): 4.59852
CPU usage (%): 99.719
Max. virtual memory (cumulated for all children) (KiB): 2603136
Max. memory (cumulated for all children) (KiB): 718424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.46
system time used= 4.59852
maximum resident set size= 718424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 507452
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= 21
involuntary context switches= 3148


# summary of solver processes directly reported to runsolver:
#   pid: 862221
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3595.46
#   total CPU system time (s): 4.59852

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.8732 second user time and 16.2849 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2024-07-16 19:14:32
IDJOB=4436183
IDBENCH=156528
IDSOLVER=3068
FILE ID=nodeC028/4436183-1721150060
RUNJOBID= nodeC028-1721146460-860191
SLURM_JOB_ID= 7505739
Free space on /tmp= 889736 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_10null10mast_rapportOE1.0_TMAX120_K67_cod1.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436183-1721150060/watcher-4436183-1721150060 -o /tmp/evaluation-result-4436183-1721150060/solver-4436183-1721150060 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721146460-860191 --watchdog 3760  pb_picat HOME/instance-4436183-1721150060.opb

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

MD5SUM BENCH= 062a8ee8fd391209ed47aa3cd3325d2f
RANDOM SEED=1244262353

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		: 3645.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.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		: 3664.065
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		: 3599.818
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		: 3599.791
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		: 3639.443
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		: 3664.076
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		: 3650.651
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.845
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:        106720656 kB
MemAvailable:   107659224 kB
Buffers:          414928 kB
Cached:          1357548 kB
SwapCached:            0 kB
Active:          1047340 kB
Inactive:       23115224 kB
Active(anon):       1544 kB
Inactive(anon): 22425936 kB
Active(file):    1045796 kB
Inactive(file):   689288 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             12616 kB
Writeback:             0 kB
AnonPages:      22387008 kB
Mapped:           113868 kB
Shmem:             37720 kB
KReclaimable:      86612 kB
Slab:             190792 kB
SReclaimable:      86612 kB
SUnreclaim:       104180 kB
KernelStack:        4112 kB
PageTables:        52484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   34769080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62048 kB
HardwareCorrupted:     0 kB
AnonHugePages:  18393088 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= 890016 MiB
End job on nodeC028 at 2024-07-16 20:14:42