Trace number 4445782

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.03 3610.3

General information on the benchmark

NamePB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12011_1-unsat.opb
MD5SUMcdcb4d035b8e87f1109f75a28aea48eb
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables37510
Total number of constraints119740
Number of constraints which are clauses119124
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints616
Minimum length of a constraint1
Maximum length of a constraint95
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 19
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 556
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

Solver Data 

0.00/0.00	c solving HOME/instance-4445782-1721327492.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: 63968 MiB (62707 MiB free)
  memory of node 1: 64473 MiB (63308 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445782-1721327492/watcher-4445782-1721327492 -o /tmp/evaluation-result-4445782-1721327492/solver-4445782-1721327492 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721327502-976182 --watchdog 3760 pb_picat HOME/instance-4445782-1721327492.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100183 s]*
/proc/loadavg: 1.18 1.29 2.19 5/253 976741
/proc/meminfo: memFree=129003716/131524600 swapFree=131071996/131071996
[pid=976730] ppid=976725 vsize=2033608 memory=38808 CPUtime=0.09 cores=4,6
/proc/976730/stat : 976730 (pb_picat) R 976725 976730 976171 0 -1 4194304 1221 0 0 0 9 0 0 0 20 0 1 0 184915384 2082414592 9702 134679101440 4194304 5989780 140724227773664 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 38207488 140724227777560 140724227777636 140724227777636 140724227784652 0
/proc/976730/statm: 508402 9702 1507 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 38808 KiB

[startup+0.205628 s]*
/proc/loadavg: 1.18 1.29 2.19 4/257 976751
/proc/meminfo: memFree=128996568/131524600 swapFree=131071996/131071996
[pid=976730] ppid=976725 vsize=2033608 memory=57240 CPUtime=0.2 cores=4,6
/proc/976730/stat : 976730 (pb_picat) R 976725 976730 976171 0 -1 4194304 1230 0 0 0 19 1 0 0 20 0 1 0 184915384 2082414592 14310 134679101440 4194304 5989780 140724227773664 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 38207488 140724227777560 140724227777636 140724227777636 140724227784652 0
/proc/976730/statm: 508402 14310 1507 439 0 503831 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 57240 KiB

[startup+0.305594 s]*
/proc/loadavg: 1.18 1.29 2.19 5/257 976765
/proc/meminfo: memFree=128966552/131524600 swapFree=131071996/131071996
[pid=976730] ppid=976725 vsize=2033608 memory=69528 CPUtime=0.3 cores=4,6
/proc/976730/stat : 976730 (pb_picat) R 976725 976730 976171 0 -1 4194304 1236 0 0 0 29 1 0 0 20 0 1 0 184915384 2082414592 17382 134679101440 4194304 5989780 140724227773664 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 38207488 140724227777560 140724227777636 140724227777636 140724227784652 0
/proc/976730/statm: 508402 17382 1507 439 0 503831 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 69528 KiB

[startup+0.700217 s]
/proc/loadavg: 1.18 1.29 2.19 4/252 976800
/proc/meminfo: memFree=128973776/131524600 swapFree=131071996/131071996
[pid=976730] ppid=976725 vsize=2033608 memory=135172 CPUtime=0.68 cores=4,6
/proc/976730/stat : 976730 (pb_picat) R 976725 976730 976171 0 -1 4194304 1268 0 0 0 66 2 0 0 20 0 1 0 184915384 2082414592 33793 134679101440 4194304 5989780 140724227773664 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 38207488 140724227777560 140724227777636 140724227777636 140724227784652 0
/proc/976730/statm: 508402 33793 1507 439 0 503831 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 135172 KiB

[startup+1.50023 s]
/proc/loadavg: 1.33 1.32 2.20 4/253 976874
/proc/meminfo: memFree=128806340/131524600 swapFree=131071996/131071996
[pid=976730] ppid=976725 vsize=2257448 memory=331172 CPUtime=1.48 cores=4,6
/proc/976730/stat : 976730 (pb_picat) R 976725 976730 976171 0 -1 4194304 3161 0 0 0 142 6 0 0 20 0 1 0 184915384 2311626752 82793 134679101440 4194304 5989780 140724227773664 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 38207488 140724227777560 140724227777636 140724227777636 140724227784652 0
/proc/976730/statm: 564362 82793 1617 439 0 559791 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2257448 KiB
Current children cumulated memory: 331172 KiB

[startup+3.10551 s]
/proc/loadavg: 1.33 1.32 2.20 5/259 976891
/proc/meminfo: memFree=128330660/131524600 swapFree=131071996/131071996
[pid=976730] ppid=976725 vsize=2305840 memory=382616 CPUtime=3.08 cores=4,6
/proc/976730/stat : 976730 (pb_picat) R 976725 976730 976171 0 -1 4194304 5205 0 0 0 298 10 0 0 20 0 1 0 184915384 2361180160 95654 134679101440 4194304 5989780 140724227773664 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 38207488 140724227777560 140724227777636 140724227777636 140724227784652 0
/proc/976730/statm: 576460 95654 1729 439 0 571889 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2305840 KiB
Current children cumulated memory: 382616 KiB

[startup+6.30022 s]
/proc/loadavg: 1.54 1.36 2.21 5/259 976891
/proc/meminfo: memFree=128269936/131524600 swapFree=131071996/131071996
[pid=976730] ppid=976725 vsize=2327740 memory=414456 CPUtime=6.27 cores=4,6
/proc/976730/stat : 976730 (pb_picat) R 976725 976730 976171 0 -1 4194304 8508 0 0 0 604 23 0 0 20 0 1 0 184915384 2383605760 103614 134679101440 4194304 5989780 140724227773664 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 38207488 140724227777560 140724227777636 140724227777636 140724227784652 0
/proc/976730/statm: 581935 103614 1745 439 0 577364 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2327740 KiB
Current children cumulated memory: 414456 KiB

[startup+12.7002 s]
/proc/loadavg: 1.74 1.41 2.22 5/259 976937
/proc/meminfo: memFree=128420504/131524600 swapFree=131071996/131071996
[pid=976730] ppid=976725 vsize=2346636 memory=411376 CPUtime=12.66 cores=4,6
/proc/976730/stat : 976730 (pb_picat) R 976725 976730 976171 0 -1 4194304 13705 0 0 0 1241 25 0 0 20 0 1 0 184915384 2402955264 102844 134679101440 4194304 5989780 140724227773664 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 38207488 140724227777560 140724227777636 140724227777636 140724227784652 0
/proc/976730/statm: 586659 102844 1745 439 0 582088 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2346636 KiB
Current children cumulated memory: 411376 KiB

[startup+25.5002 s]
/proc/loadavg: 2.17 1.51 2.24 5/259 976940
/proc/meminfo: memFree=128410968/131524600 swapFree=131071996/131071996
[pid=976730] ppid=976725 vsize=2346636 memory=419600 CPUtime=25.42 cores=4,6
/proc/976730/stat : 976730 (pb_picat) R 976725 976730 976171 0 -1 4194304 17956 0 0 0 2515 27 0 0 20 0 1 0 184915384 2402955264 104900 134679101440 4194304 5989780 140724227773664 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 38207488 140724227777560 140724227777636 140724227777636 140724227784652 0
/proc/976730/statm: 586659 104900 1745 439 0 582088 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2346636 KiB
Current children cumulated memory: 419600 KiB

[startup+51.1055 s]
/proc/loadavg: 3.07 1.80 2.32 5/259 977035
/proc/meminfo: memFree=128601536/131524600 swapFree=131071996/131071996
[pid=976730] ppid=976725 vsize=2346636 memory=419840 CPUtime=50.95 cores=4,6
/proc/976730/stat : 976730 (pb_picat) R 976725 976730 976171 0 -1 4194304 23632 0 0 0 5065 30 0 0 20 0 1 0 184915384 2402955264 104960 134679101440 4194304 5989780 140724227773664 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 38207488 140724227777560 140724227777636 140724227777636 140724227784652 0
/proc/976730/statm: 586659 104960 1745 439 0 582088 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2346636 KiB
Current children cumulated memory: 419840 KiB

[startup+102.3 s]
/proc/loadavg: 3.64 2.15 2.41 5/259 977045
/proc/meminfo: memFree=128601032/131524600 swapFree=131071996/131071996
[pid=976730] ppid=976725 vsize=2346636 memory=415740 CPUtime=102.01 cores=4,6
/proc/976730/stat : 976730 (pb_picat) R 976725 976730 976171 0 -1 4194304 32037 0 0 0 10167 34 0 0 20 0 1 0 184915384 2402955264 103935 134679101440 4194304 5989780 140724227773664 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 38207488 140724227777560 140724227777636 140724227777636 140724227784652 0
/proc/976730/statm: 586659 103935 1745 439 0 582088 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2346636 KiB
Current children cumulated memory: 415740 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 2.51 2.52 5/258 977056
/proc/meminfo: memFree=128589560/131524600 swapFree=131071996/131071996
[pid=976730] ppid=976725 vsize=2379404 memory=429060 CPUtime=161.86 cores=4,6
/proc/976730/stat : 976730 (pb_picat) R 976725 976730 976171 0 -1 4194304 38594 0 0 0 16148 38 0 0 20 0 1 0 184915384 2436509696 107265 134679101440 4194304 5989780 140724227773664 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 38207488 140724227777560 140724227777636 140724227777636 140724227784652 0
/proc/976730/statm: 594851 107265 1745 439 0 590280 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 2379404 KiB
Current children cumulated memory: 429060 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 2.81 2.63 5/255 977066
/proc/meminfo: memFree=128565672/131524600 swapFree=131071996/131071996
[pid=976730] ppid=976725 vsize=2379404 memory=442020 CPUtime=221.71 cores=4,6
/proc/976730/stat : 976730 (pb_picat) R 976725 976730 976171 0 -1 4194304 43163 0 0 0 22130 41 0 0 20 0 1 0 184915384 2436509696 110505 134679101440 4194304 5989780 140724227773664 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 38207488 140724227777560 140724227777636 140724227777636 140724227784652 0
/proc/976730/statm: 594851 110505 1745 439 0 590280 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 2379404 KiB
Current children cumulated memory: 442020 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 3.06 2.73 5/255 977077
/proc/meminfo: memFree=128558548/131524600 swapFree=131071996/131071996
[pid=976730] ppid=976725 vsize=2379404 memory=444060 CPUtime=281.55 cores=4,6
/proc/976730/stat : 976730 (pb_picat) R 976725 976730 976171 0 -1 4194304 47938 0 0 0 28112 43 0 0 20 0 1 0 184915384 2436509696 111015 134679101440 4194304 5989780 140724227773664 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 38207488 140724227777560 140724227777636 140724227777636 140724227784652 0
/proc/976730/statm: 594851 111015 1745 439 0 590280 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 2379404 KiB
Current children cumulated memory: 444060 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 3.25 2.81 5/254 977087
/proc/meminfo: memFree=128559180/131524600 swapFree=131071996/131071996
[pid=976730] ppid=976725 vsize=2346636 memory=433860 CPUtime=341.4 cores=4,6
/proc/976730/stat : 976730 (pb_picat) R 976725 976730 976171 0 -1 4194304 50380 0 0 0 34096 44 0 0 20 0 1 0 184915384 2402955264 108465 134679101440 4194304 5989780 140724227773664 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 38207488 140724227777560 140724227777636 140724227777636 140724227784652 0
/proc/976730/statm: 586659 108465 1745 439 0 582088 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 2346636 KiB
Current children cumulated memory: 433860 KiB

[startup+402.3 s]
/proc/loadavg: 4.04 3.39 2.89 5/254 977098
/proc/meminfo: memFree=128567892/131524600 swapFree=131071996/131071996
[pid=976730] ppid=976725 vsize=2346968 memory=429912 CPUtime=401.24 cores=4,6
/proc/976730/stat : 976730 (pb_picat) R 976725 976730 976171 0 -1 4194304 56219 0 0 0 40076 48 0 0 20 0 1 0 184915384 2403295232 107478 134679101440 4194304 5989780 140724227773664 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 38207488 140724227777560 140724227777636 140724227777636 140724227784652 0
/proc/976730/statm: 586742 107478 1745 439 0 582171 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 2346968 KiB
Current children cumulated memory: 429912 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.53 2.97 5/254 977108
/proc/meminfo: memFree=128568932/131524600 swapFree=131071996/131071996
[pid=976730] ppid=976725 vsize=2346968 memory=431960 CPUtime=461.09 cores=4,6
/proc/976730/stat : 976730 (pb_picat) R 976725 976730 976171 0 -1 4194304 58574 0 0 0 46059 50 0 0 20 0 1 0 184915384 2403295232 107990 134679101440 4194304 5989780 140724227773664 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 38207488 140724227777560 140724227777636 140724227777636 140724227784652 0
/proc/976730/statm: 586742 107990 1745 439 0 582171 0

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

Current children cumulated memory: 467428 KiB

[startup+2922.3 s]
/proc/loadavg: 4.17 4.18 4.08 5/258 978359
/proc/meminfo: memFree=128330492/131524600 swapFree=131071996/131071996
[pid=976730] ppid=976725 vsize=2398472 memory=463784 CPUtime=2914.12 cores=4,6
/proc/976730/stat : 976730 (pb_picat) R 976725 976730 976171 0 -1 4194304 141803 0 0 0 291303 109 0 0 20 0 1 0 184915384 2456035328 115946 134679101440 4194304 5989780 140724227773664 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 38207488 140724227777560 140724227777636 140724227777636 140724227784652 0
/proc/976730/statm: 599618 115946 1745 439 0 595047 0
Current children cumulated CPU time: 2914.12 s
Current children cumulated vsize: 2398472 KiB
Current children cumulated memory: 463784 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.16 4.08 5/258 978370
/proc/meminfo: memFree=128344344/131524600 swapFree=131071996/131071996
[pid=976730] ppid=976725 vsize=2431240 memory=471924 CPUtime=2973.94 cores=4,6
/proc/976730/stat : 976730 (pb_picat) R 976725 976730 976171 0 -1 4194304 142353 0 0 0 297284 110 0 0 20 0 1 0 184915384 2489589760 117981 134679101440 4194304 5989780 140724227773664 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 38207488 140724227777560 140724227777636 140724227777636 140724227784652 0
/proc/976730/statm: 607810 117981 1745 439 0 603239 0
Current children cumulated CPU time: 2973.94 s
Current children cumulated vsize: 2431240 KiB
Current children cumulated memory: 471924 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.15 4.08 5/259 978383
/proc/meminfo: memFree=128318104/131524600 swapFree=131071996/131071996
[pid=976730] ppid=976725 vsize=2398472 memory=465832 CPUtime=3033.76 cores=4,6
/proc/976730/stat : 976730 (pb_picat) R 976725 976730 976171 0 -1 4194304 144714 0 0 0 303264 112 0 0 20 0 1 0 184915384 2456035328 116458 134679101440 4194304 5989780 140724227773664 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 38207488 140724227777560 140724227777636 140724227777636 140724227784652 0
/proc/976730/statm: 599618 116458 1745 439 0 595047 0
Current children cumulated CPU time: 3033.76 s
Current children cumulated vsize: 2398472 KiB
Current children cumulated memory: 465832 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.13 4.08 5/259 978394
/proc/meminfo: memFree=128320016/131524600 swapFree=131071996/131071996
[pid=976730] ppid=976725 vsize=2431240 memory=490408 CPUtime=3093.57 cores=4,6
/proc/976730/stat : 976730 (pb_picat) R 976725 976730 976171 0 -1 4194304 146693 0 0 0 309243 114 0 0 20 0 1 0 184915384 2489589760 122602 134679101440 4194304 5989780 140724227773664 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 38207488 140724227777560 140724227777636 140724227777636 140724227784652 0
/proc/976730/statm: 607810 122602 1745 439 0 603239 0
Current children cumulated CPU time: 3093.57 s
Current children cumulated vsize: 2431240 KiB
Current children cumulated memory: 490408 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.12 4.08 6/259 978405
/proc/meminfo: memFree=128251036/131524600 swapFree=131071996/131071996
[pid=976730] ppid=976725 vsize=2431240 memory=467612 CPUtime=3153.38 cores=4,6
/proc/976730/stat : 976730 (pb_picat) R 976725 976730 976171 0 -1 4194304 147602 0 0 0 315223 115 0 0 20 0 1 0 184915384 2489589760 116903 134679101440 4194304 5989780 140724227773664 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 38207488 140724227777560 140724227777636 140724227777636 140724227784652 0
/proc/976730/statm: 607810 116903 1745 439 0 603239 0
Current children cumulated CPU time: 3153.38 s
Current children cumulated vsize: 2431240 KiB
Current children cumulated memory: 467612 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.11 4.08 5/260 978799
/proc/meminfo: memFree=128263592/131524600 swapFree=131071996/131071996
[pid=976730] ppid=976725 vsize=2431240 memory=466860 CPUtime=3213.2 cores=4,6
/proc/976730/stat : 976730 (pb_picat) R 976725 976730 976171 0 -1 4194304 148837 0 0 0 321204 116 0 0 20 0 1 0 184915384 2489589760 116715 134679101440 4194304 5989780 140724227773664 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 38207488 140724227777560 140724227777636 140724227777636 140724227784652 0
/proc/976730/statm: 607810 116715 1745 439 0 603239 0
Current children cumulated CPU time: 3213.2 s
Current children cumulated vsize: 2431240 KiB
Current children cumulated memory: 466860 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.10 4.08 5/258 978809
/proc/meminfo: memFree=128321940/131524600 swapFree=131071996/131071996
[pid=976730] ppid=976725 vsize=2398472 memory=469928 CPUtime=3273.02 cores=4,6
/proc/976730/stat : 976730 (pb_picat) R 976725 976730 976171 0 -1 4194304 151118 0 0 0 327184 118 0 0 20 0 1 0 184915384 2456035328 117482 134679101440 4194304 5989780 140724227773664 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 38207488 140724227777560 140724227777636 140724227777636 140724227784652 0
/proc/976730/statm: 599618 117482 1745 439 0 595047 0
Current children cumulated CPU time: 3273.02 s
Current children cumulated vsize: 2398472 KiB
Current children cumulated memory: 469928 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.13 4.09 5/256 978819
/proc/meminfo: memFree=128323180/131524600 swapFree=131071996/131071996
[pid=976730] ppid=976725 vsize=2382088 memory=446732 CPUtime=3332.84 cores=4,6
/proc/976730/stat : 976730 (pb_picat) R 976725 976730 976171 0 -1 4194304 152413 0 0 0 333165 119 0 0 20 0 1 0 184915384 2439258112 111683 134679101440 4194304 5989780 140724227773664 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 38207488 140724227777560 140724227777636 140724227777636 140724227784652 0
/proc/976730/statm: 595522 111683 1745 439 0 590951 0
Current children cumulated CPU time: 3332.84 s
Current children cumulated vsize: 2382088 KiB
Current children cumulated memory: 446732 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/258 979000
/proc/meminfo: memFree=128326876/131524600 swapFree=131071996/131071996
[pid=976730] ppid=976725 vsize=2398472 memory=469928 CPUtime=3392.66 cores=4,6
/proc/976730/stat : 976730 (pb_picat) R 976725 976730 976171 0 -1 4194304 154037 0 0 0 339146 120 0 0 20 0 1 0 184915384 2456035328 117482 134679101440 4194304 5989780 140724227773664 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 38207488 140724227777560 140724227777636 140724227777636 140724227784652 0
/proc/976730/statm: 599618 117482 1745 439 0 595047 0
Current children cumulated CPU time: 3392.66 s
Current children cumulated vsize: 2398472 KiB
Current children cumulated memory: 469928 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/258 979010
/proc/meminfo: memFree=128275396/131524600 swapFree=131071996/131071996
[pid=976730] ppid=976725 vsize=2431240 memory=496552 CPUtime=3452.47 cores=4,6
/proc/976730/stat : 976730 (pb_picat) R 976725 976730 976171 0 -1 4194304 156027 0 0 0 345125 122 0 0 20 0 1 0 184915384 2489589760 124138 134679101440 4194304 5989780 140724227773664 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 38207488 140724227777560 140724227777636 140724227777636 140724227784652 0
/proc/976730/statm: 607810 124138 1745 439 0 603239 0
Current children cumulated CPU time: 3452.47 s
Current children cumulated vsize: 2431240 KiB
Current children cumulated memory: 496552 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/260 979079
/proc/meminfo: memFree=128216324/131524600 swapFree=131071996/131071996
[pid=976730] ppid=976725 vsize=2431240 memory=474024 CPUtime=3512.29 cores=4,6
/proc/976730/stat : 976730 (pb_picat) R 976725 976730 976171 0 -1 4194304 156960 0 0 0 351106 123 0 0 20 0 1 0 184915384 2489589760 118506 134679101440 4194304 5989780 140724227773664 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 38207488 140724227777560 140724227777636 140724227777636 140724227784652 0
/proc/976730/statm: 607810 118506 1745 439 0 603239 0
Current children cumulated CPU time: 3512.29 s
Current children cumulated vsize: 2431240 KiB
Current children cumulated memory: 474024 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/260 979090
/proc/meminfo: memFree=128278940/131524600 swapFree=131071996/131071996
[pid=976730] ppid=976725 vsize=2431240 memory=498600 CPUtime=3572.11 cores=4,6
/proc/976730/stat : 976730 (pb_picat) R 976725 976730 976171 0 -1 4194304 158944 0 0 0 357086 125 0 0 20 0 1 0 184915384 2489589760 124650 134679101440 4194304 5989780 140724227773664 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 38207488 140724227777560 140724227777636 140724227777636 140724227784652 0
/proc/976730/statm: 607810 124650 1745 439 0 603239 0
Current children cumulated CPU time: 3572.11 s
Current children cumulated vsize: 2431240 KiB
Current children cumulated memory: 498600 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.35 4.16 4.11 5/260 979095
/proc/meminfo: memFree=128278936/131524600 swapFree=131071996/131071996
[pid=976730] ppid=976725 vsize=2431240 memory=500648 CPUtime=3600.02 cores=4,6
/proc/976730/stat : 976730 (pb_picat) R 976725 976730 976171 0 -1 4194304 158954 0 0 0 359877 125 0 0 20 0 1 0 184915384 2489589760 125162 134679101440 4194304 5989780 140724227773664 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 38207488 140724227777560 140724227777636 140724227777636 140724227784652 0
/proc/976730/statm: 607810 125162 1745 439 0 603239 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2431240 KiB
Current children cumulated memory: 500648 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.78 s, system=1.25665 s

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

[startup+3610.3 s]
/proc/loadavg: 4.35 4.16 4.11 5/260 979095
/proc/meminfo: memFree=128278936/131524600 swapFree=131071996/131071996
[pid=976730] ppid=976725 vsize=2431240 memory=500648 CPUtime=3600.02 cores=4,6
/proc/976730/stat : 976730 (pb_picat) R 976725 976730 976171 0 -1 4194304 158954 0 0 0 359877 125 0 0 20 0 1 0 184915384 2489589760 125162 134679101440 4194304 5989780 140724227773664 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 38207488 140724227777560 140724227777636 140724227777636 140724227784652 0
/proc/976730/statm: 607810 125162 1745 439 0 603239 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2431240 KiB
Current children cumulated memory: 500648 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3610.3
CPU time (s): 3600.03
CPU user time (s): 3598.78
CPU system time (s): 1.25665
CPU usage (%): 99.7156
Max. virtual memory (cumulated for all children) (KiB): 2431240
Max. memory (cumulated for all children) (KiB): 500648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.78
system time used= 1.25665
maximum resident set size= 500648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158954
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= 15
involuntary context switches= 2443


# summary of solver processes directly reported to runsolver:
#   pid: 976730
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3598.78
#   total CPU system time (s): 1.25665

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.93976 second user time and 16.7813 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2024-07-18 20:31:45
IDJOB=4445782
IDBENCH=154365
IDSOLVER=3068
FILE ID=nodeC026/4445782-1721327492
RUNJOBID= nodeC026-1721327502-976182
SLURM_JOB_ID= 7542685
Free space on /tmp= 890068 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB10/DEC-LIN/oliveras/j120/normalized-j12011_1-unsat.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445782-1721327492/watcher-4445782-1721327492 -o /tmp/evaluation-result-4445782-1721327492/solver-4445782-1721327492 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721327502-976182 --watchdog 3760  pb_picat HOME/instance-4445782-1721327492.opb

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

MD5SUM BENCH= cdcb4d035b8e87f1109f75a28aea48eb
RANDOM SEED=211621263

nodeC026.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		: 3668.788
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3686.611
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.45
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		: 3673.322
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.74
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		: 3633.884
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.45
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		: 3660.329
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.74
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		: 3674.878
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.45
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		: 3668.577
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.74
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		: 3686.291
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.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129041292 kB
MemAvailable:   129688080 kB
Buffers:          526348 kB
Cached:           957120 kB
SwapCached:            0 kB
Active:          1036496 kB
Inactive:         835132 kB
Active(anon):       1548 kB
Inactive(anon):   424312 kB
Active(file):    1034948 kB
Inactive(file):   410820 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             18924 kB
Writeback:             8 kB
AnonPages:        385292 kB
Mapped:           112832 kB
Shmem:             37720 kB
KReclaimable:      81684 kB
Slab:             191808 kB
SReclaimable:      81684 kB
SUnreclaim:       110124 kB
KernelStack:        4112 kB
PageTables:        10236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    4568256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            67808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    249856 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:      260820 kB
DirectMap2M:    27824128 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC026 at 2024-07-18 21:31:55