Trace number 4442752

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Picat 2024-06-18? (TO) 3600.06 3610.2

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-45-40.opb
MD5SUMc29178bae55e2a953331375c03582f77
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.016246
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1800
Total number of constraints85
Number of constraints which are clauses45
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint45
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
Number of bits of the biggest sum of numbers6
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-4442752-1721301139.opb (Picat 3.6#12)

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: 64059 MiB (58467 MiB free)
  memory of node 1: 64510 MiB (61602 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442752-1721301139/watcher-4442752-1721301139 -o /tmp/evaluation-result-4442752-1721301139/solver-4442752-1721301139 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721293773-946212 --watchdog 3760 pb_picat HOME/instance-4442752-1721301139.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=951843, runsolver pid=951840

[startup+0.100462 s]*
/proc/loadavg: 4.30 4.19 4.18 5/245 951844
/proc/meminfo: memFree=122928704/131655788 swapFree=131071996/131071996
[pid=951843] ppid=951840 vsize=2035836 memory=24984 CPUtime=0.1 cores=1,3
/proc/951843/stat : 951843 (pb_picat) R 951840 951843 946200 0 -1 4194304 1807 0 0 0 9 1 0 0 20 0 1 0 182272583 2084696064 6246 134679101440 4194304 5989780 140728984358768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 18862080 140728984359960 140728984360036 140728984360036 140728984367052 0
/proc/951843/statm: 508959 6246 1633 439 0 504388 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2035836 KiB
Current children cumulated memory: 24984 KiB

[startup+0.213446 s]*
/proc/loadavg: 4.30 4.19 4.18 5/245 951844
/proc/meminfo: memFree=123017920/131655788 swapFree=131071996/131071996
[pid=951843] ppid=951840 vsize=2036092 memory=25232 CPUtime=0.21 cores=1,3
/proc/951843/stat : 951843 (pb_picat) R 951840 951843 946200 0 -1 4194304 2954 0 0 0 20 1 0 0 20 0 1 0 182272583 2084958208 6308 134679101440 4194304 5989780 140728984358768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 18862080 140728984359960 140728984360036 140728984360036 140728984367052 0
/proc/951843/statm: 509023 6308 1649 439 0 504452 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2036092 KiB
Current children cumulated memory: 25232 KiB

[startup+0.312881 s]*
/proc/loadavg: 4.30 4.19 4.18 5/245 951844
/proc/meminfo: memFree=123011344/131655788 swapFree=131071996/131071996
[pid=951843] ppid=951840 vsize=2036604 memory=25340 CPUtime=0.31 cores=1,3
/proc/951843/stat : 951843 (pb_picat) R 951840 951843 946200 0 -1 4194304 3821 0 0 0 30 1 0 0 20 0 1 0 182272583 2085482496 6335 134679101440 4194304 5989780 140728984358768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 18862080 140728984359960 140728984360036 140728984360036 140728984367052 0
/proc/951843/statm: 509151 6335 1649 439 0 504580 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2036604 KiB
Current children cumulated memory: 25340 KiB

[startup+0.700334 s]
/proc/loadavg: 4.30 4.19 4.18 5/245 951844
/proc/meminfo: memFree=122996548/131655788 swapFree=131071996/131071996
[pid=951843] ppid=951840 vsize=2036636 memory=25324 CPUtime=0.69 cores=1,3
/proc/951843/stat : 951843 (pb_picat) R 951840 951843 946200 0 -1 4194304 6272 0 0 0 67 2 0 0 20 0 1 0 182272583 2085515264 6331 134679101440 4194304 5989780 140728984358768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 18862080 140728984359960 140728984360036 140728984360036 140728984367052 0
/proc/951843/statm: 509159 6331 1649 439 0 504588 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2036636 KiB
Current children cumulated memory: 25324 KiB

[startup+1.50034 s]
/proc/loadavg: 4.30 4.19 4.18 5/245 951844
/proc/meminfo: memFree=122964556/131655788 swapFree=131071996/131071996
[pid=951843] ppid=951840 vsize=2043292 memory=29008 CPUtime=1.48 cores=1,3
/proc/951843/stat : 951843 (pb_picat) R 951840 951843 946200 0 -1 4194304 11551 0 0 0 145 3 0 0 20 0 1 0 182272583 2092331008 7252 134679101440 4194304 5989780 140728984358768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 18862080 140728984359960 140728984360036 140728984360036 140728984367052 0
/proc/951843/statm: 510823 7252 1649 439 0 506252 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2043292 KiB
Current children cumulated memory: 29008 KiB

[startup+3.1128 s]
/proc/loadavg: 4.30 4.19 4.18 5/245 951844
/proc/meminfo: memFree=122861128/131655788 swapFree=131071996/131071996
[pid=951843] ppid=951840 vsize=2037692 memory=26740 CPUtime=3.09 cores=1,3
/proc/951843/stat : 951843 (pb_picat) R 951840 951843 946200 0 -1 4194304 22146 0 0 0 304 5 0 0 20 0 1 0 182272583 2086596608 6685 134679101440 4194304 5989780 140728984358768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 18862080 140728984359960 140728984360036 140728984360036 140728984367052 0
/proc/951843/statm: 509423 6685 1649 439 0 504852 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2037692 KiB
Current children cumulated memory: 26740 KiB

[startup+6.30031 s]
/proc/loadavg: 4.36 4.20 4.18 5/245 951844
/proc/meminfo: memFree=122861532/131655788 swapFree=131071996/131071996
[pid=951843] ppid=951840 vsize=2040192 memory=28312 CPUtime=6.27 cores=1,3
/proc/951843/stat : 951843 (pb_picat) R 951840 951843 946200 0 -1 4194304 46219 0 0 0 618 9 0 0 20 0 1 0 182272583 2089156608 7078 134679101440 4194304 5989780 140728984358768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 18862080 140728984359960 140728984360036 140728984360036 140728984367052 0
/proc/951843/statm: 510048 7078 1649 439 0 505477 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2040192 KiB
Current children cumulated memory: 28312 KiB

[startup+12.7003 s]
/proc/loadavg: 4.41 4.22 4.19 5/245 951845
/proc/meminfo: memFree=122918756/131655788 swapFree=131071996/131071996
[pid=951843] ppid=951840 vsize=2044288 memory=32504 CPUtime=12.66 cores=1,3
/proc/951843/stat : 951843 (pb_picat) R 951840 951843 946200 0 -1 4194304 84064 0 0 0 1248 18 0 0 20 0 1 0 182272583 2093350912 8126 134679101440 4194304 5989780 140728984358768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 18862080 140728984359960 140728984360036 140728984360036 140728984367052 0
/proc/951843/statm: 511072 8126 1649 439 0 506501 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2044288 KiB
Current children cumulated memory: 32504 KiB

[startup+25.5004 s]
/proc/loadavg: 4.54 4.26 4.20 5/245 951847
/proc/meminfo: memFree=122973224/131655788 swapFree=131071996/131071996
[pid=951843] ppid=951840 vsize=2052864 memory=37480 CPUtime=25.42 cores=1,3
/proc/951843/stat : 951843 (pb_picat) R 951840 951843 946200 0 -1 4194304 162255 0 0 0 2508 34 0 0 20 0 1 0 182272583 2102132736 9370 134679101440 4194304 5989780 140728984358768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 18862080 140728984359960 140728984360036 140728984360036 140728984367052 0
/proc/951843/statm: 513216 9370 1649 439 0 508645 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2052864 KiB
Current children cumulated memory: 37480 KiB

[startup+51.113 s]
/proc/loadavg: 4.81 4.35 4.24 5/245 951851
/proc/meminfo: memFree=122870360/131655788 swapFree=131071996/131071996
[pid=951843] ppid=951840 vsize=2053140 memory=39784 CPUtime=50.97 cores=1,3
/proc/951843/stat : 951843 (pb_picat) R 951840 951843 946200 0 -1 4194304 406112 0 0 0 5017 80 0 0 20 0 1 0 182272583 2102415360 9946 134679101440 4194304 5989780 140728984358768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 18862080 140728984359960 140728984360036 140728984360036 140728984367052 0
/proc/951843/statm: 513285 9946 1649 439 0 508714 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 2053140 KiB
Current children cumulated memory: 39784 KiB

[startup+102.3 s]
/proc/loadavg: 4.44 4.32 4.23 5/245 951860
/proc/meminfo: memFree=122857828/131655788 swapFree=131071996/131071996
[pid=951843] ppid=951840 vsize=2070548 memory=56736 CPUtime=102.02 cores=1,3
/proc/951843/stat : 951843 (pb_picat) R 951840 951843 946200 0 -1 4194304 806951 0 0 0 10042 160 0 0 20 0 1 0 182272583 2120241152 14184 134679101440 4194304 5989780 140728984358768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 18862080 140728984359960 140728984360036 140728984360036 140728984367052 0
/proc/951843/statm: 517637 14184 1649 439 0 513066 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2070548 KiB
Current children cumulated memory: 56736 KiB

[startup+162.3 s]
/proc/loadavg: 4.20 4.28 4.22 5/245 951871
/proc/meminfo: memFree=122853040/131655788 swapFree=131071996/131071996
[pid=951843] ppid=951840 vsize=2070548 memory=43296 CPUtime=161.87 cores=1,3
/proc/951843/stat : 951843 (pb_picat) R 951840 951843 946200 0 -1 4194304 1367390 0 0 0 15925 262 0 0 20 0 1 0 182272583 2120241152 10824 134679101440 4194304 5989780 140728984358768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 18862080 140728984359960 140728984360036 140728984360036 140728984367052 0
/proc/951843/statm: 517637 10824 1649 439 0 513066 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 2070548 KiB
Current children cumulated memory: 43296 KiB

[startup+222.3 s]
/proc/loadavg: 4.41 4.34 4.25 5/241 951928
/proc/meminfo: memFree=122524212/131655788 swapFree=131071996/131071996
[pid=951843] ppid=951840 vsize=2054912 memory=38400 CPUtime=221.71 cores=1,3
/proc/951843/stat : 951843 (pb_picat) R 951840 951843 946200 0 -1 4194304 2004071 0 0 0 21787 384 0 0 20 0 1 0 182272583 2104229888 9600 134679101440 4194304 5989780 140728984358768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 18862080 140728984359960 140728984360036 140728984360036 140728984367052 0
/proc/951843/statm: 513728 9600 1649 439 0 509157 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 2054912 KiB
Current children cumulated memory: 38400 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.28 4.23 5/242 951939
/proc/meminfo: memFree=122623136/131655788 swapFree=131071996/131071996
[pid=951843] ppid=951840 vsize=2071296 memory=57752 CPUtime=281.56 cores=1,3
/proc/951843/stat : 951843 (pb_picat) R 951840 951843 946200 0 -1 4194304 2647728 0 0 0 27639 517 0 0 20 0 1 0 182272583 2121007104 14438 134679101440 4194304 5989780 140728984358768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 18862080 140728984359960 140728984360036 140728984360036 140728984367052 0
/proc/951843/statm: 517824 14438 1649 439 0 513253 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 2071296 KiB
Current children cumulated memory: 57752 KiB

[startup+342.3 s]
/proc/loadavg: 4.21 4.27 4.23 5/242 951949
/proc/meminfo: memFree=122512136/131655788 swapFree=131071996/131071996
[pid=951843] ppid=951840 vsize=2104212 memory=72160 CPUtime=341.4 cores=1,3
/proc/951843/stat : 951843 (pb_picat) R 951840 951843 946200 0 -1 4194304 3181193 0 0 0 33512 628 0 0 20 0 1 0 182272583 2154713088 18040 134679101440 4194304 5989780 140728984358768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 18862080 140728984359960 140728984360036 140728984360036 140728984367052 0
/proc/951843/statm: 526053 18040 1649 439 0 521482 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 2104212 KiB
Current children cumulated memory: 72160 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.24 4.22 5/242 951960
/proc/meminfo: memFree=122433364/131655788 swapFree=131071996/131071996
[pid=951843] ppid=951840 vsize=2071444 memory=58132 CPUtime=401.25 cores=1,3
/proc/951843/stat : 951843 (pb_picat) R 951840 951843 946200 0 -1 4194304 4135535 0 0 0 39323 802 0 0 20 0 1 0 182272583 2121158656 14533 134679101440 4194304 5989780 140728984358768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 18862080 140728984359960 140728984360036 140728984360036 140728984367052 0
/proc/951843/statm: 517861 14533 1649 439 0 513290 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 2071444 KiB
Current children cumulated memory: 58132 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.20 4.21 5/242 951970
/proc/meminfo: memFree=122496028/131655788 swapFree=131071996/131071996
[pid=951843] ppid=951840 vsize=2054036 memory=36284 CPUtime=461.09 cores=1,3
/proc/951843/stat : 951843 (pb_picat) R 951840 951843 946200 0 -1 4194304 4290700 0 0 0 45257 852 0 0 20 0 1 0 182272583 2103332864 9071 134679101440 4194304 5989780 140728984358768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 18862080 140728984359960 140728984360036 140728984360036 140728984367052 0
/proc/951843/statm: 513509 9071 1649 439 0 508938 0

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

Current children cumulated memory: 117512 KiB

[startup+2862.3 s]
/proc/loadavg: 4.20 4.17 4.16 5/246 953574
/proc/meminfo: memFree=122354236/131655788 swapFree=131071996/131071996
[pid=951843] ppid=951840 vsize=2174020 memory=125828 CPUtime=2854.14 cores=1,3
/proc/951843/stat : 951843 (pb_picat) R 951840 951843 946200 0 -1 4194304 30165503 0 0 0 279168 6246 0 0 20 0 1 0 182272583 2226196480 31457 134679101440 4194304 5989780 140728984358768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 18862080 140728984359960 140728984360036 140728984360036 140728984367052 0
/proc/951843/statm: 543505 31457 1649 439 0 538934 0
Current children cumulated CPU time: 2854.14 s
Current children cumulated vsize: 2174020 KiB
Current children cumulated memory: 125828 KiB

[startup+2922.3 s]
/proc/loadavg: 4.18 4.17 4.16 5/244 953597
/proc/meminfo: memFree=122075616/131655788 swapFree=131071996/131071996
[pid=951843] ppid=951840 vsize=2075716 memory=59796 CPUtime=2913.99 cores=1,3
/proc/951843/stat : 951843 (pb_picat) R 951840 951843 946200 0 -1 4194304 30327715 0 0 0 285102 6297 0 0 20 0 1 0 182272583 2125533184 14949 134679101440 4194304 5989780 140728984358768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 18862080 140728984359960 140728984360036 140728984360036 140728984367052 0
/proc/951843/statm: 518929 14949 1649 439 0 514358 0
Current children cumulated CPU time: 2913.99 s
Current children cumulated vsize: 2075716 KiB
Current children cumulated memory: 59796 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.15 4.15 5/244 953607
/proc/meminfo: memFree=122252772/131655788 swapFree=131071996/131071996
[pid=951843] ppid=951840 vsize=2108484 memory=93324 CPUtime=2973.82 cores=1,3
/proc/951843/stat : 951843 (pb_picat) R 951840 951843 946200 0 -1 4194304 31625213 0 0 0 290822 6560 0 0 20 0 1 0 182272583 2159087616 23331 134679101440 4194304 5989780 140728984358768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 18862080 140728984359960 140728984360036 140728984360036 140728984367052 0
/proc/951843/statm: 527121 23331 1649 439 0 522550 0
Current children cumulated CPU time: 2973.82 s
Current children cumulated vsize: 2108484 KiB
Current children cumulated memory: 93324 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.14 4.15 5/243 953618
/proc/meminfo: memFree=122291100/131655788 swapFree=131071996/131071996
[pid=951843] ppid=951840 vsize=2057284 memory=48828 CPUtime=3033.66 cores=1,3
/proc/951843/stat : 951843 (pb_picat) R 951840 951843 946200 0 -1 4194304 32550551 0 0 0 296597 6769 0 0 20 0 1 0 182272583 2106658816 12207 134679101440 4194304 5989780 140728984358768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 18862080 140728984359960 140728984360036 140728984360036 140728984367052 0
/proc/951843/statm: 514321 12207 1649 439 0 509750 0
Current children cumulated CPU time: 3033.66 s
Current children cumulated vsize: 2057284 KiB
Current children cumulated memory: 48828 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.14 4.15 5/242 953628
/proc/meminfo: memFree=122117600/131655788 swapFree=131071996/131071996
[pid=951843] ppid=951840 vsize=2108484 memory=98704 CPUtime=3093.51 cores=1,3
/proc/951843/stat : 951843 (pb_picat) R 951840 951843 946200 0 -1 4194304 33902710 0 0 0 302304 7047 0 0 20 0 1 0 182272583 2159087616 24676 134679101440 4194304 5989780 140728984358768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 18862080 140728984359960 140728984360036 140728984360036 140728984367052 0
/proc/951843/statm: 527121 24676 1649 439 0 522550 0
Current children cumulated CPU time: 3093.51 s
Current children cumulated vsize: 2108484 KiB
Current children cumulated memory: 98704 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.16 4.15 5/242 953639
/proc/meminfo: memFree=121801940/131655788 swapFree=131071996/131071996
[pid=951843] ppid=951840 vsize=2309336 memory=180520 CPUtime=3153.35 cores=1,3
/proc/951843/stat : 951843 (pb_picat) R 951840 951843 946200 0 -1 4194304 33967137 0 0 0 308254 7081 0 0 20 0 1 0 182272583 2364760064 45130 134679101440 4194304 5989780 140728984358768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 18862080 140728984359960 140728984360036 140728984360036 140728984367052 0
/proc/951843/statm: 577334 45130 1649 439 0 572763 0
Current children cumulated CPU time: 3153.35 s
Current children cumulated vsize: 2309336 KiB
Current children cumulated memory: 180520 KiB

[startup+3222.3 s]
/proc/loadavg: 4.18 4.16 4.15 5/241 953650
/proc/meminfo: memFree=122327916/131655788 swapFree=131071996/131071996
[pid=951843] ppid=951840 vsize=2108632 memory=81904 CPUtime=3213.19 cores=1,3
/proc/951843/stat : 951843 (pb_picat) R 951840 951843 946200 0 -1 4194304 34041238 0 0 0 314202 7117 0 0 20 0 1 0 182272583 2159239168 20476 134679101440 4194304 5989780 140728984358768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 18862080 140728984359960 140728984360036 140728984360036 140728984367052 0
/proc/951843/statm: 527158 20476 1649 439 0 522587 0
Current children cumulated CPU time: 3213.19 s
Current children cumulated vsize: 2108632 KiB
Current children cumulated memory: 81904 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.16 4.15 5/242 953661
/proc/meminfo: memFree=121969840/131655788 swapFree=131071996/131071996
[pid=951843] ppid=951840 vsize=2174168 memory=117524 CPUtime=3273.04 cores=1,3
/proc/951843/stat : 951843 (pb_picat) R 951840 951843 946200 0 -1 4194304 34101527 0 0 0 320157 7147 0 0 20 0 1 0 182272583 2226348032 29381 134679101440 4194304 5989780 140728984358768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 18862080 140728984359960 140728984360036 140728984360036 140728984367052 0
/proc/951843/statm: 543542 29381 1649 439 0 538971 0
Current children cumulated CPU time: 3273.04 s
Current children cumulated vsize: 2174168 KiB
Current children cumulated memory: 117524 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.16 4.15 5/242 953671
/proc/meminfo: memFree=122159392/131655788 swapFree=131071996/131071996
[pid=951843] ppid=951840 vsize=2108632 memory=79400 CPUtime=3332.87 cores=1,3
/proc/951843/stat : 951843 (pb_picat) R 951840 951843 946200 0 -1 4194304 34448722 0 0 0 326055 7232 0 0 20 0 1 0 182272583 2159239168 19850 134679101440 4194304 5989780 140728984358768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 18862080 140728984359960 140728984360036 140728984360036 140728984367052 0
/proc/951843/statm: 527158 19850 1649 439 0 522587 0
Current children cumulated CPU time: 3332.87 s
Current children cumulated vsize: 2108632 KiB
Current children cumulated memory: 79400 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.16 4.15 5/242 953682
/proc/meminfo: memFree=122244280/131655788 swapFree=131071996/131071996
[pid=951843] ppid=951840 vsize=2112728 memory=101204 CPUtime=3392.71 cores=1,3
/proc/951843/stat : 951843 (pb_picat) R 951840 951843 946200 0 -1 4194304 35794555 0 0 0 331746 7525 0 0 20 0 1 0 182272583 2163433472 25301 134679101440 4194304 5989780 140728984358768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 18862080 140728984359960 140728984360036 140728984360036 140728984367052 0
/proc/951843/statm: 528182 25301 1649 439 0 523611 0
Current children cumulated CPU time: 3392.71 s
Current children cumulated vsize: 2112728 KiB
Current children cumulated memory: 101204 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.14 4.15 5/242 953693
/proc/meminfo: memFree=122254096/131655788 swapFree=131071996/131071996
[pid=951843] ppid=951840 vsize=2108632 memory=93944 CPUtime=3452.55 cores=1,3
/proc/951843/stat : 951843 (pb_picat) R 951840 951843 946200 0 -1 4194304 37069603 0 0 0 337457 7798 0 0 20 0 1 0 182272583 2159239168 23486 134679101440 4194304 5989780 140728984358768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 18862080 140728984359960 140728984360036 140728984360036 140728984367052 0
/proc/951843/statm: 527158 23486 1649 439 0 522587 0
Current children cumulated CPU time: 3452.55 s
Current children cumulated vsize: 2108632 KiB
Current children cumulated memory: 93944 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.14 4.15 5/245 953708
/proc/meminfo: memFree=121974872/131655788 swapFree=131071996/131071996
[pid=951843] ppid=951840 vsize=2174168 memory=104184 CPUtime=3512.38 cores=1,3
/proc/951843/stat : 951843 (pb_picat) R 951840 951843 946200 0 -1 4194304 38147765 0 0 0 343210 8028 0 0 20 0 1 0 182272583 2226348032 26046 134679101440 4194304 5989780 140728984358768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 18862080 140728984359960 140728984360036 140728984360036 140728984367052 0
/proc/951843/statm: 543542 26046 1649 439 0 538971 0
Current children cumulated CPU time: 3512.38 s
Current children cumulated vsize: 2174168 KiB
Current children cumulated memory: 104184 KiB

[startup+3582.3 s]
/proc/loadavg: 3.83 4.07 4.12 4/237 953749
/proc/meminfo: memFree=122506468/131655788 swapFree=131071996/131071996
[pid=951843] ppid=951840 vsize=2305240 memory=168744 CPUtime=3572.22 cores=1,3
/proc/951843/stat : 951843 (pb_picat) R 951840 951843 946200 0 -1 4194304 38213029 0 0 0 349158 8064 0 0 20 0 1 0 182272583 2360565760 42186 134679101440 4194304 5989780 140728984358768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 18862080 140728984359960 140728984360036 140728984360036 140728984367052 0
/proc/951843/statm: 576310 42186 1649 439 0 571739 0
Current children cumulated CPU time: 3572.22 s
Current children cumulated vsize: 2305240 KiB
Current children cumulated memory: 168744 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 3.18 3.88 4.06 3/230 953785
/proc/meminfo: memFree=123140780/131655788 swapFree=131071996/131071996
[pid=951843] ppid=951840 vsize=2309336 memory=198992 CPUtime=3600.05 cores=1,3
/proc/951843/stat : 951843 (pb_picat) R 951840 951843 946200 0 -1 4194304 38251800 0 0 0 351922 8083 0 0 20 0 1 0 182272583 2364760064 49748 134679101440 4194304 5989780 140728984358768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 18862080 140728984359960 140728984360036 140728984360036 140728984367052 0
/proc/951843/statm: 577334 49748 1649 439 0 572763 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2309336 KiB
Current children cumulated memory: 198992 KiB

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

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

# cumulated CPU time of all completed processes:  user=3519.22 s, system=80.8329 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): 3519.22
CPU system time (s): 80.8329
CPU usage (%): 99.7189
Max. virtual memory (cumulated for all children) (KiB): 2571332
Max. memory (cumulated for all children) (KiB): 312336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3519.22
system time used= 80.8329
maximum resident set size= 312336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38251800
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= 14
involuntary context switches= 4816


# summary of solver processes directly reported to runsolver:
#   pid: 951843
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3519.22
#   total CPU system time (s): 80.8329

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5374 second user time and 34.474 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2024-07-18 13:12:31
IDJOB=4442752
IDBENCH=147846
IDSOLVER=3068
FILE ID=nodeC006/4442752-1721301139
RUNJOBID= nodeC006-1721293773-946212
SLURM_JOB_ID= 7542603
Free space on /tmp= 723756 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-cardinality-45-40.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442752-1721301139/watcher-4442752-1721301139 -o /tmp/evaluation-result-4442752-1721301139/solver-4442752-1721301139 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721293773-946212 --watchdog 3760  pb_picat HOME/instance-4442752-1721301139.opb

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

MD5SUM BENCH= c29178bae55e2a953331375c03582f77
RANDOM SEED=1439633790

nodeC006.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	: 0xb00001f
cpu MHz		: 3675.128
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.94
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	: 0xb00001f
cpu MHz		: 3630.436
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.26
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	: 0xb00001f
cpu MHz		: 1197.522
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.94
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	: 0xb00001f
cpu MHz		: 1197.252
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.26
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	: 0xb00001f
cpu MHz		: 3675.128
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.94
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	: 0xb00001f
cpu MHz		: 3634.808
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.26
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	: 0xb00001f
cpu MHz		: 1197.501
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.94
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	: 0xb00001f
cpu MHz		: 1197.427
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        122952732 kB
MemAvailable:   129129864 kB
Buffers:          482280 kB
Cached:          6457048 kB
SwapCached:            0 kB
Active:           936728 kB
Inactive:        7046040 kB
Active(anon):       1468 kB
Inactive(anon):  1079668 kB
Active(file):     935260 kB
Inactive(file):  5966372 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             17692 kB
Writeback:             8 kB
AnonPages:       1041712 kB
Mapped:           114500 kB
Shmem:             37704 kB
KReclaimable:     231064 kB
Slab:             349340 kB
SReclaimable:     231064 kB
SUnreclaim:       118276 kB
KernelStack:        3968 kB
PageTables:        10920 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    6967512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            57952 kB
HardwareCorrupted:     0 kB
AnonHugePages:    847872 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:      310088 kB
DirectMap2M:    40488960 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723764 MiB
End job on nodeC006 at 2024-07-18 14:12:41