Trace number 4436541

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.08 3609.2

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug6.5.opb
MD5SUM83ba36613360d6ce9be489830858dbc7
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 benchmark48
Best CPU time to get the best result obtained on this benchmark3558.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9632
Total number of constraints29620
Number of constraints which are clauses27555
Number of constraints which are cardinality constraints (but not clauses)245
Number of constraints which are nor clauses,nor cardinality constraints1820
Minimum length of a constraint2
Maximum length of a constraint248
Number of terms in the objective function 26
Biggest coefficient in the objective function 20
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 211
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 160
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 687
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c solving HOME/instance-4436541-1721163349.opb (Picat 3.6#12)
9.97/10.09	o 211
20.84/20.95	o 201
33.92/34.06	o 129
60.44/60.65	o 84
536.54/537.95	o 55

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436541-1721163349/watcher-4436541-1721163349 -o /tmp/evaluation-result-4436541-1721163349/solver-4436541-1721163349 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721158273-865375 --watchdog 3760 pb_picat HOME/instance-4436541-1721163349.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
Current StackSize limit: 8192 KiB

solver pid=868421, runsolver pid=868418

[startup+0.100099 s]*
/proc/loadavg: 4.14 4.25 4.20 5/245 868422
/proc/meminfo: memFree=123699328/131655788 swapFree=131071996/131071996
[pid=868421] ppid=868418 vsize=2033608 memory=37032 CPUtime=0.1 cores=4,6
/proc/868421/stat : 868421 (pb_picat) R 868418 868421 865364 0 -1 4194304 747 0 0 0 10 0 0 0 20 0 1 0 168492053 2082414592 9258 134679101440 4194304 5989780 140721054764784 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33423360 140721054770201 140721054770277 140721054770277 140721054777292 0
/proc/868421/statm: 508402 9258 1525 439 0 503831 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 37032 KiB

[startup+0.212885 s]*
/proc/loadavg: 4.14 4.25 4.20 5/245 868422
/proc/meminfo: memFree=123680564/131655788 swapFree=131071996/131071996
[pid=868421] ppid=868418 vsize=2033608 memory=55464 CPUtime=0.22 cores=4,6
/proc/868421/stat : 868421 (pb_picat) R 868418 868421 865364 0 -1 4194304 758 0 0 0 21 1 0 0 20 0 1 0 168492053 2082414592 13866 134679101440 4194304 5989780 140721054764784 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33423360 140721054770201 140721054770277 140721054770277 140721054777292 0
/proc/868421/statm: 508402 13866 1525 439 0 503831 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 55464 KiB

[startup+0.312847 s]*
/proc/loadavg: 4.14 4.25 4.20 5/245 868422
/proc/meminfo: memFree=123663620/131655788 swapFree=131071996/131071996
[pid=868421] ppid=868418 vsize=2041424 memory=72720 CPUtime=0.32 cores=4,6
/proc/868421/stat : 868421 (pb_picat) R 868418 868421 865364 0 -1 4194304 931 0 0 0 31 1 0 0 20 0 1 0 168492053 2090418176 18180 134679101440 4194304 5989780 140721054764784 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33423360 140721054770201 140721054770277 140721054770277 140721054777292 0
/proc/868421/statm: 510356 18180 1573 439 0 505785 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 72720 KiB

[startup+0.700306 s]
/proc/loadavg: 4.14 4.25 4.20 5/245 868422
/proc/meminfo: memFree=123622080/131655788 swapFree=131071996/131071996
[pid=868421] ppid=868418 vsize=2063884 memory=124672 CPUtime=0.68 cores=4,6
/proc/868421/stat : 868421 (pb_picat) R 868418 868421 865364 0 -1 4194304 6125 0 0 0 65 3 0 0 20 0 1 0 168492053 2113417216 31168 134679101440 4194304 5989780 140721054764784 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33423360 140721054770201 140721054770277 140721054770277 140721054777292 0
/proc/868421/statm: 515971 31168 1762 439 0 511400 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2063884 KiB
Current children cumulated memory: 124672 KiB

[startup+1.50033 s]
/proc/loadavg: 4.14 4.25 4.20 5/245 868422
/proc/meminfo: memFree=123582372/131655788 swapFree=131071996/131071996
[pid=868421] ppid=868418 vsize=2088092 memory=150988 CPUtime=1.49 cores=4,6
/proc/868421/stat : 868421 (pb_picat) R 868418 868421 865364 0 -1 4194304 11037 0 0 0 142 7 0 0 20 0 1 0 168492053 2138206208 37747 134679101440 4194304 5989780 140721054764784 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33423360 140721054770201 140721054770277 140721054770277 140721054777292 0
/proc/868421/statm: 522023 37747 1777 439 0 517452 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2088092 KiB
Current children cumulated memory: 150988 KiB

[startup+3.11244 s]
/proc/loadavg: 4.13 4.24 4.20 5/245 868422
/proc/meminfo: memFree=123611988/131655788 swapFree=131071996/131071996
[pid=868421] ppid=868418 vsize=2103220 memory=159500 CPUtime=3.1 cores=4,6
/proc/868421/stat : 868421 (pb_picat) R 868418 868421 865364 0 -1 4194304 14681 0 0 0 302 8 0 0 20 0 1 0 168492053 2153697280 39875 134679101440 4194304 5989780 140721054764784 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33423360 140721054770201 140721054770277 140721054770277 140721054777292 0
/proc/868421/statm: 525805 39875 1777 439 0 521234 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2103220 KiB
Current children cumulated memory: 159500 KiB

[startup+6.30025 s]
/proc/loadavg: 4.13 4.24 4.20 5/246 868424
/proc/meminfo: memFree=123605752/131655788 swapFree=131071996/131071996
[pid=868421] ppid=868418 vsize=2104736 memory=163824 CPUtime=6.28 cores=4,6
/proc/868421/stat : 868421 (pb_picat) R 868418 868421 865364 0 -1 4194304 19367 0 0 0 619 9 0 0 20 0 1 0 168492053 2155249664 40956 134679101440 4194304 5989780 140721054764784 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33423360 140721054770201 140721054770277 140721054770277 140721054777292 0
/proc/868421/statm: 526184 40956 1777 439 0 521613 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2104736 KiB
Current children cumulated memory: 163824 KiB

[startup+12.7003 s]
/proc/loadavg: 4.11 4.23 4.20 5/246 868424
/proc/meminfo: memFree=123567508/131655788 swapFree=131071996/131071996
[pid=868421] ppid=868418 vsize=2108004 memory=166204 CPUtime=12.66 cores=4,6
/proc/868421/stat : 868421 (pb_picat) R 868418 868421 865364 0 -1 4194304 31466 0 0 0 1250 16 0 0 20 0 1 0 168492053 2158596096 41551 134679101440 4194304 5989780 140721054764784 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33423360 140721054770201 140721054770277 140721054770277 140721054777292 0
/proc/868421/statm: 527001 41551 1777 439 0 522430 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2108004 KiB
Current children cumulated memory: 166204 KiB

[startup+25.5004 s]
/proc/loadavg: 4.17 4.24 4.20 5/244 868426
/proc/meminfo: memFree=123594676/131655788 swapFree=131071996/131071996
[pid=868421] ppid=868418 vsize=2124436 memory=179216 CPUtime=25.43 cores=4,6
/proc/868421/stat : 868421 (pb_picat) R 868418 868421 865364 0 -1 4194304 53556 0 0 0 2517 26 0 0 20 0 1 0 168492053 2175422464 44804 134679101440 4194304 5989780 140721054764784 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33423360 140721054770201 140721054770277 140721054770277 140721054777292 0
/proc/868421/statm: 531109 44804 1777 439 0 526538 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2124436 KiB
Current children cumulated memory: 179216 KiB

[startup+51.1126 s]
/proc/loadavg: 4.17 4.24 4.20 5/244 868430
/proc/meminfo: memFree=123575036/131655788 swapFree=131071996/131071996
[pid=868421] ppid=868418 vsize=2124596 memory=179396 CPUtime=50.98 cores=4,6
/proc/868421/stat : 868421 (pb_picat) R 868418 868421 865364 0 -1 4194304 85700 0 0 0 5057 41 0 0 20 0 1 0 168492053 2175586304 44849 134679101440 4194304 5989780 140721054764784 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33423360 140721054770201 140721054770277 140721054770277 140721054777292 0
/proc/868421/statm: 531149 44849 1777 439 0 526578 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 2124596 KiB
Current children cumulated memory: 179396 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.21 4.19 5/244 868439
/proc/meminfo: memFree=123563448/131655788 swapFree=131071996/131071996
[pid=868421] ppid=868418 vsize=2116276 memory=177432 CPUtime=102.04 cores=4,6
/proc/868421/stat : 868421 (pb_picat) R 868418 868421 865364 0 -1 4194304 128949 0 0 0 10144 60 0 0 20 0 1 0 168492053 2167066624 44358 134679101440 4194304 5989780 140721054764784 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33423360 140721054770201 140721054770277 140721054770277 140721054777292 0
/proc/868421/statm: 529069 44358 1777 439 0 524498 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 2116276 KiB
Current children cumulated memory: 177432 KiB

[startup+162.3 s]
/proc/loadavg: 4.25 4.23 4.20 5/244 868449
/proc/meminfo: memFree=123542424/131655788 swapFree=131071996/131071996
[pid=868421] ppid=868418 vsize=2116276 memory=179480 CPUtime=161.89 cores=4,6
/proc/868421/stat : 868421 (pb_picat) R 868418 868421 865364 0 -1 4194304 158305 0 0 0 16119 70 0 0 20 0 1 0 168492053 2167066624 44870 134679101440 4194304 5989780 140721054764784 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33423360 140721054770201 140721054770277 140721054770277 140721054777292 0
/proc/868421/statm: 529069 44870 1777 439 0 524498 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 2116276 KiB
Current children cumulated memory: 179480 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.20 4.18 5/245 868629
/proc/meminfo: memFree=123591524/131655788 swapFree=131071996/131071996
[pid=868421] ppid=868418 vsize=2116276 memory=174980 CPUtime=221.74 cores=4,6
/proc/868421/stat : 868421 (pb_picat) R 868418 868421 865364 0 -1 4194304 179709 0 0 0 22094 80 0 0 20 0 1 0 168492053 2167066624 43745 134679101440 4194304 5989780 140721054764784 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33423360 140721054770201 140721054770277 140721054770277 140721054777292 0
/proc/868421/statm: 529069 43745 1777 439 0 524498 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 2116276 KiB
Current children cumulated memory: 174980 KiB

[startup+282.3 s]
/proc/loadavg: 4.27 4.23 4.19 5/246 868642
/proc/meminfo: memFree=123600748/131655788 swapFree=131071996/131071996
[pid=868421] ppid=868418 vsize=2108088 memory=169392 CPUtime=281.58 cores=4,6
/proc/868421/stat : 868421 (pb_picat) R 868418 868421 865364 0 -1 4194304 205993 0 0 0 28067 91 0 0 20 0 1 0 168492053 2158682112 42348 134679101440 4194304 5989780 140721054764784 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33423360 140721054770201 140721054770277 140721054770277 140721054777292 0
/proc/868421/statm: 527022 42348 1777 439 0 522451 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 2108088 KiB
Current children cumulated memory: 169392 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.20 4.18 5/243 868663
/proc/meminfo: memFree=123508292/131655788 swapFree=131071996/131071996
[pid=868421] ppid=868418 vsize=2116280 memory=166660 CPUtime=341.43 cores=4,6
/proc/868421/stat : 868421 (pb_picat) R 868418 868421 865364 0 -1 4194304 241578 0 0 0 34037 106 0 0 20 0 1 0 168492053 2167070720 41665 134679101440 4194304 5989780 140721054764784 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33423360 140721054770201 140721054770277 140721054770277 140721054777292 0
/proc/868421/statm: 529070 41665 1777 439 0 524499 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 2116280 KiB
Current children cumulated memory: 166660 KiB

[startup+402.3 s]
/proc/loadavg: 4.21 4.21 4.18 5/243 868674
/proc/meminfo: memFree=123598080/131655788 swapFree=131071996/131071996
[pid=868421] ppid=868418 vsize=2116280 memory=169236 CPUtime=401.28 cores=4,6
/proc/868421/stat : 868421 (pb_picat) R 868418 868421 865364 0 -1 4194304 278516 0 0 0 40007 121 0 0 20 0 1 0 168492053 2167070720 42309 134679101440 4194304 5989780 140721054764784 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33423360 140721054770201 140721054770277 140721054770277 140721054777292 0
/proc/868421/statm: 529070 42309 1777 439 0 524499 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 2116280 KiB
Current children cumulated memory: 169236 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 4.20 4.18 5/243 868684
/proc/meminfo: memFree=123555364/131655788 swapFree=131071996/131071996
[pid=868421] ppid=868418 vsize=2116280 memory=165136 CPUtime=461.13 cores=4,6
/proc/868421/stat : 868421 (pb_picat) R 868418 868421 865364 0 -1 4194304 315588 0 0 0 45976 137 0 0 20 0 1 0 168492053 2167070720 41284 134679101440 4194304 5989780 140721054764784 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33423360 140721054770201 140721054770277 140721054770277 140721054777292 0
/proc/868421/statm: 529070 41284 1777 439 0 524499 0

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

Current children cumulated memory: 195296 KiB

[startup+2862.3 s]
/proc/loadavg: 4.12 4.09 4.13 5/244 870137
/proc/meminfo: memFree=124790640/131655788 swapFree=131071996/131071996
[pid=868421] ppid=868418 vsize=2132664 memory=189116 CPUtime=2855.18 cores=4,6
/proc/868421/stat : 868421 (pb_picat) R 868418 868421 865364 0 -1 4194304 1134449 0 0 0 284993 525 0 0 20 0 1 0 168492053 2183847936 47279 134679101440 4194304 5989780 140721054764784 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33423360 140721054770201 140721054770277 140721054770277 140721054777292 0
/proc/868421/statm: 533166 47279 1777 439 0 528595 0
Current children cumulated CPU time: 2855.18 s
Current children cumulated vsize: 2132664 KiB
Current children cumulated memory: 189116 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.09 4.13 5/244 870147
/proc/meminfo: memFree=124746184/131655788 swapFree=131071996/131071996
[pid=868421] ppid=868418 vsize=2132664 memory=203584 CPUtime=2915.04 cores=4,6
/proc/868421/stat : 868421 (pb_picat) R 868418 868421 865364 0 -1 4194304 1158324 0 0 0 290965 539 0 0 20 0 1 0 168492053 2183847936 50896 134679101440 4194304 5989780 140721054764784 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33423360 140721054770201 140721054770277 140721054770277 140721054777292 0
/proc/868421/statm: 533166 50896 1777 439 0 528595 0
Current children cumulated CPU time: 2915.04 s
Current children cumulated vsize: 2132664 KiB
Current children cumulated memory: 203584 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.10 4.13 5/244 870158
/proc/meminfo: memFree=124761700/131655788 swapFree=131071996/131071996
[pid=868421] ppid=868418 vsize=2165432 memory=205536 CPUtime=2974.89 cores=4,6
/proc/868421/stat : 868421 (pb_picat) R 868418 868421 865364 0 -1 4194304 1170096 0 0 0 296943 546 0 0 20 0 1 0 168492053 2217402368 51384 134679101440 4194304 5989780 140721054764784 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33423360 140721054770201 140721054770277 140721054770277 140721054777292 0
/proc/868421/statm: 541358 51384 1777 439 0 536787 0
Current children cumulated CPU time: 2974.89 s
Current children cumulated vsize: 2165432 KiB
Current children cumulated memory: 205536 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.10 4.12 5/241 870169
/proc/meminfo: memFree=124785720/131655788 swapFree=131071996/131071996
[pid=868421] ppid=868418 vsize=2165432 memory=201388 CPUtime=3034.73 cores=4,6
/proc/868421/stat : 868421 (pb_picat) R 868418 868421 865364 0 -1 4194304 1180682 0 0 0 302922 551 0 0 20 0 1 0 168492053 2217402368 50347 134679101440 4194304 5989780 140721054764784 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33423360 140721054770201 140721054770277 140721054770277 140721054777292 0
/proc/868421/statm: 541358 50347 1777 439 0 536787 0
Current children cumulated CPU time: 3034.73 s
Current children cumulated vsize: 2165432 KiB
Current children cumulated memory: 201388 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.11 4.12 5/241 870179
/proc/meminfo: memFree=124763532/131655788 swapFree=131071996/131071996
[pid=868421] ppid=868418 vsize=2165432 memory=199336 CPUtime=3094.6 cores=4,6
/proc/868421/stat : 868421 (pb_picat) R 868418 868421 865364 0 -1 4194304 1205746 0 0 0 308895 565 0 0 20 0 1 0 168492053 2217402368 49834 134679101440 4194304 5989780 140721054764784 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33423360 140721054770201 140721054770277 140721054770277 140721054777292 0
/proc/868421/statm: 541358 49834 1777 439 0 536787 0
Current children cumulated CPU time: 3094.6 s
Current children cumulated vsize: 2165432 KiB
Current children cumulated memory: 199336 KiB

[startup+3162.3 s]
/proc/loadavg: 4.54 4.22 4.16 5/241 870189
/proc/meminfo: memFree=124772256/131655788 swapFree=131071996/131071996
[pid=868421] ppid=868418 vsize=2132664 memory=193128 CPUtime=3154.46 cores=4,6
/proc/868421/stat : 868421 (pb_picat) R 868418 868421 865364 0 -1 4194304 1230457 0 0 0 314864 582 0 0 20 0 1 0 168492053 2183847936 48282 134679101440 4194304 5989780 140721054764784 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33423360 140721054770201 140721054770277 140721054770277 140721054777292 0
/proc/868421/statm: 533166 48282 1777 439 0 528595 0
Current children cumulated CPU time: 3154.46 s
Current children cumulated vsize: 2132664 KiB
Current children cumulated memory: 193128 KiB

[startup+3222.3 s]
/proc/loadavg: 4.50 4.28 4.18 5/241 870200
/proc/meminfo: memFree=124777540/131655788 swapFree=131071996/131071996
[pid=868421] ppid=868418 vsize=2132664 memory=193248 CPUtime=3214.32 cores=4,6
/proc/868421/stat : 868421 (pb_picat) R 868418 868421 865364 0 -1 4194304 1249103 0 0 0 320840 592 0 0 20 0 1 0 168492053 2183847936 48312 134679101440 4194304 5989780 140721054764784 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33423360 140721054770201 140721054770277 140721054770277 140721054777292 0
/proc/868421/statm: 533166 48312 1777 439 0 528595 0
Current children cumulated CPU time: 3214.32 s
Current children cumulated vsize: 2132664 KiB
Current children cumulated memory: 193248 KiB

[startup+3282.3 s]
/proc/loadavg: 4.82 4.41 4.24 5/241 870210
/proc/meminfo: memFree=124717364/131655788 swapFree=131071996/131071996
[pid=868421] ppid=868418 vsize=2132664 memory=195296 CPUtime=3274.14 cores=4,6
/proc/868421/stat : 868421 (pb_picat) R 868418 868421 865364 0 -1 4194304 1259078 0 0 0 326818 596 0 0 20 0 1 0 168492053 2183847936 48824 134679101440 4194304 5989780 140721054764784 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33423360 140721054770201 140721054770277 140721054770277 140721054777292 0
/proc/868421/statm: 533166 48824 1777 439 0 528595 0
Current children cumulated CPU time: 3274.14 s
Current children cumulated vsize: 2132664 KiB
Current children cumulated memory: 195296 KiB

[startup+3342.3 s]
/proc/loadavg: 4.42 4.37 4.23 5/243 870362
/proc/meminfo: memFree=124757428/131655788 swapFree=131071996/131071996
[pid=868421] ppid=868418 vsize=2132664 memory=191192 CPUtime=3333.96 cores=4,6
/proc/868421/stat : 868421 (pb_picat) R 868418 868421 865364 0 -1 4194304 1275713 0 0 0 332790 606 0 0 20 0 1 0 168492053 2183847936 47798 134679101440 4194304 5989780 140721054764784 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33423360 140721054770201 140721054770277 140721054770277 140721054777292 0
/proc/868421/statm: 533166 47798 1777 439 0 528595 0
Current children cumulated CPU time: 3333.96 s
Current children cumulated vsize: 2132664 KiB
Current children cumulated memory: 191192 KiB

[startup+3402.3 s]
/proc/loadavg: 4.21 4.31 4.22 5/243 870373
/proc/meminfo: memFree=124721412/131655788 swapFree=131071996/131071996
[pid=868421] ppid=868418 vsize=2165432 memory=230088 CPUtime=3393.78 cores=4,6
/proc/868421/stat : 868421 (pb_picat) R 868418 868421 865364 0 -1 4194304 1301680 0 0 0 338758 620 0 0 20 0 1 0 168492053 2217402368 57522 134679101440 4194304 5989780 140721054764784 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33423360 140721054770201 140721054770277 140721054770277 140721054777292 0
/proc/868421/statm: 541358 57522 1777 439 0 536787 0
Current children cumulated CPU time: 3393.78 s
Current children cumulated vsize: 2165432 KiB
Current children cumulated memory: 230088 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.27 4.21 5/243 870383
/proc/meminfo: memFree=124767200/131655788 swapFree=131071996/131071996
[pid=868421] ppid=868418 vsize=2132664 memory=199496 CPUtime=3453.61 cores=4,6
/proc/868421/stat : 868421 (pb_picat) R 868418 868421 865364 0 -1 4194304 1327688 0 0 0 344726 635 0 0 20 0 1 0 168492053 2183847936 49874 134679101440 4194304 5989780 140721054764784 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33423360 140721054770201 140721054770277 140721054770277 140721054777292 0
/proc/868421/statm: 533166 49874 1777 439 0 528595 0
Current children cumulated CPU time: 3453.61 s
Current children cumulated vsize: 2132664 KiB
Current children cumulated memory: 199496 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.25 4.20 5/243 870393
/proc/meminfo: memFree=124730604/131655788 swapFree=131071996/131071996
[pid=868421] ppid=868418 vsize=2132664 memory=199392 CPUtime=3513.43 cores=4,6
/proc/868421/stat : 868421 (pb_picat) R 868418 868421 865364 0 -1 4194304 1338192 0 0 0 350702 641 0 0 20 0 1 0 168492053 2183847936 49848 134679101440 4194304 5989780 140721054764784 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33423360 140721054770201 140721054770277 140721054770277 140721054777292 0
/proc/868421/statm: 533166 49848 1777 439 0 528595 0
Current children cumulated CPU time: 3513.43 s
Current children cumulated vsize: 2132664 KiB
Current children cumulated memory: 199392 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.22 4.19 5/243 870406
/proc/meminfo: memFree=124740876/131655788 swapFree=131071996/131071996
[pid=868421] ppid=868418 vsize=2165432 memory=204248 CPUtime=3573.25 cores=4,6
/proc/868421/stat : 868421 (pb_picat) R 868418 868421 865364 0 -1 4194304 1346821 0 0 0 356680 645 0 0 20 0 1 0 168492053 2217402368 51062 134679101440 4194304 5989780 140721054764784 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33423360 140721054770201 140721054770277 140721054770277 140721054777292 0
/proc/868421/statm: 541358 51062 1777 439 0 536787 0
Current children cumulated CPU time: 3573.25 s
Current children cumulated vsize: 2165432 KiB
Current children cumulated memory: 204248 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 4.13 4.21 4.19 5/244 870796
/proc/meminfo: memFree=124711920/131655788 swapFree=131071996/131071996
[pid=868421] ppid=868418 vsize=2165432 memory=232220 CPUtime=3600.06 cores=4,6
/proc/868421/stat : 868421 (pb_picat) R 868418 868421 865364 0 -1 4194304 1351782 0 0 0 359358 648 0 0 20 0 1 0 168492053 2217402368 58055 134679101440 4194304 5989780 140721054764784 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33423360 140721054770201 140721054770277 140721054770277 140721054777292 0
/proc/868421/statm: 541358 58055 1777 439 0 536787 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2165432 KiB
Current children cumulated memory: 232220 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.59 s, system=6.48806 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): 3609.2
CPU time (s): 3600.08
CPU user time (s): 3593.59
CPU system time (s): 6.48806
CPU usage (%): 99.7472
Max. virtual memory (cumulated for all children) (KiB): 2263736
Max. memory (cumulated for all children) (KiB): 265020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.59
system time used= 6.48806
maximum resident set size= 265020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1351782
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= 4601


# summary of solver processes directly reported to runsolver:
#   pid: 868421
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3593.59
#   total CPU system time (s): 6.48806

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.277 second user time and 33.7064 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-16 22:56:02
IDJOB=4436541
IDBENCH=158395
IDSOLVER=3068
FILE ID=nodeC011/4436541-1721163349
RUNJOBID= nodeC011-1721158273-865375
SLURM_JOB_ID= 7505769
Free space on /tmp= 723744 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-aug6.5.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436541-1721163349/watcher-4436541-1721163349 -o /tmp/evaluation-result-4436541-1721163349/solver-4436541-1721163349 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721158273-865375 --watchdog 3760  pb_picat HOME/instance-4436541-1721163349.opb

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

MD5SUM BENCH= 83ba36613360d6ce9be489830858dbc7
RANDOM SEED=2103571429

nodeC011.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		: 3660.493
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.20
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		: 3612.828
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.31
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.298
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.20
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.316
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.31
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		: 3491.620
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.20
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		: 3599.721
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.31
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.131
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.20
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.189
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        123728764 kB
MemAvailable:   128420376 kB
Buffers:          454748 kB
Cached:          5020756 kB
SwapCached:            0 kB
Active:           898940 kB
Inactive:        6367504 kB
Active(anon):       1460 kB
Inactive(anon):  1827212 kB
Active(file):     897480 kB
Inactive(file):  4540292 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4848 kB
Writeback:             0 kB
AnonPages:       1783656 kB
Mapped:           115020 kB
Shmem:             37704 kB
KReclaimable:     188076 kB
Slab:             297696 kB
SReclaimable:     188076 kB
SUnreclaim:       109620 kB
KernelStack:        4000 kB
PageTables:        13036 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7206968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            53824 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1550336 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:      277320 kB
DirectMap2M:    33181696 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723764 MiB
End job on nodeC011 at 2024-07-16 23:56:11