Trace number 4442644

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
Exact_veripb2 2024-07-05? (TO) 3600.08 3654.24

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-35-30.opb
MD5SUMda953313a09cceac0c8e3e7fb7d08ab4
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.469038
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1050
Total number of constraints17885
Number of constraints which are clauses17885
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint30
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 31
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.05/3654.10	c Program interrupted by user.
3600.05/3654.10	s UNKNOWN

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: 63931 MiB (51945 MiB free)
  memory of node 1: 64510 MiB (52351 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442644-1721801554/watcher-4442644-1721801554 -o /tmp/evaluation-result-4442644-1721801554/solver-4442644-1721801554 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721801549-182806 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4442644-1721801554 --seed=1938885705 HOME/instance-4442644-1721801554.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=183037, runsolver pid=183034

[startup+0.100443 s]*
/proc/loadavg: 2.07 1.96 2.01 2/247 183049
/proc/meminfo: memFree=106777904/131524600 swapFree=131071996/131071996
[pid=183037] ppid=183034 vsize=42004 memory=21316 CPUtime=0.09 cores=4,6
/proc/183037/stat : 183037 (Exact_veripb2) R 183034 183037 182795 0 -1 4194304 4937 0 0 0 9 0 0 0 20 0 1 0 16684055 43012096 5329 134679101440 4194304 8311665 140731895125200 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9173656 9252184 38989824 140731895133000 140731895133280 140731895133280 140731895140295 0
/proc/183037/statm: 10501 5329 1155 1006 0 9262 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42004 KiB
Current children cumulated memory: 21316 KiB

[startup+0.206449 s]*
/proc/loadavg: 2.07 1.96 2.01 4/244 183062
/proc/meminfo: memFree=106762236/131524600 swapFree=131071996/131071996
[pid=183037] ppid=183034 vsize=42004 memory=23892 CPUtime=0.19 cores=4,6
/proc/183037/stat : 183037 (Exact_veripb2) R 183034 183037 182795 0 -1 4194304 5076 0 0 0 18 1 0 0 20 0 1 0 16684055 43012096 5973 134679101440 4194304 8311665 140731895125200 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9173656 9252184 38989824 140731895133000 140731895133280 140731895133280 140731895140295 0
/proc/183037/statm: 10501 5973 1155 1006 0 9262 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 42004 KiB
Current children cumulated memory: 23892 KiB

[startup+0.306445 s]*
/proc/loadavg: 2.07 1.96 2.01 3/250 183072
/proc/meminfo: memFree=106734356/131524600 swapFree=131071996/131071996
[pid=183037] ppid=183034 vsize=42004 memory=23892 CPUtime=0.28 cores=4,6
/proc/183037/stat : 183037 (Exact_veripb2) R 183034 183037 182795 0 -1 4194304 5076 0 0 0 27 1 0 0 20 0 1 0 16684055 43012096 5973 134679101440 4194304 8311665 140731895125200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 38989824 140731895133000 140731895133280 140731895133280 140731895140295 0
/proc/183037/statm: 10501 5973 1155 1006 0 9262 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 42004 KiB
Current children cumulated memory: 23892 KiB

[startup+0.70023 s]
/proc/loadavg: 2.07 1.96 2.01 3/250 183072
/proc/meminfo: memFree=106662412/131524600 swapFree=131071996/131071996
[pid=183037] ppid=183034 vsize=45324 memory=31144 CPUtime=0.66 cores=4,6
/proc/183037/stat : 183037 (Exact_veripb2) R 183034 183037 182795 0 -1 4194304 5845 0 0 0 65 1 0 0 20 0 1 0 16684055 46411776 7786 134679101440 4194304 8311665 140731895125200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 38989824 140731895133000 140731895133280 140731895133280 140731895140295 0
/proc/183037/statm: 11331 7786 1155 1006 0 10092 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 45324 KiB
Current children cumulated memory: 31144 KiB

[startup+1.50021 s]
/proc/loadavg: 2.07 1.96 2.01 5/257 183143
/proc/meminfo: memFree=106525968/131524600 swapFree=131071996/131071996
[pid=183037] ppid=183034 vsize=48380 memory=40180 CPUtime=1.47 cores=4,6
/proc/183037/stat : 183037 (Exact_veripb2) R 183034 183037 182795 0 -1 4194304 6614 0 0 0 145 2 0 0 20 0 1 0 16684055 49541120 10045 134679101440 4194304 8311665 140731895125200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 38989824 140731895133000 140731895133280 140731895133280 140731895140295 0
/proc/183037/statm: 12095 10045 1155 1006 0 10856 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 48380 KiB
Current children cumulated memory: 40180 KiB

[startup+3.1055 s]
/proc/loadavg: 2.22 2.00 2.02 5/260 183149
/proc/meminfo: memFree=106109448/131524600 swapFree=131071996/131071996
[pid=183037] ppid=183034 vsize=69460 memory=56176 CPUtime=3.07 cores=4,6
/proc/183037/stat : 183037 (Exact_veripb2) R 183034 183037 182795 0 -1 4194304 9260 0 0 0 303 4 0 0 20 0 1 0 16684055 71127040 14044 134679101440 4194304 8311665 140731895125200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 38989824 140731895133000 140731895133280 140731895133280 140731895140295 0
/proc/183037/statm: 17365 14044 1155 1006 0 16126 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 69460 KiB
Current children cumulated memory: 56176 KiB

[startup+6.30021 s]
/proc/loadavg: 2.22 2.00 2.02 5/260 183149
/proc/meminfo: memFree=105830648/131524600 swapFree=131071996/131071996
[pid=183037] ppid=183034 vsize=103324 memory=83080 CPUtime=6.25 cores=4,6
/proc/183037/stat : 183037 (Exact_veripb2) R 183034 183037 182795 0 -1 4194304 12829 0 0 0 617 8 0 0 20 0 1 0 16684055 105803776 20770 134679101440 4194304 8311665 140731895125200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 38989824 140731895133000 140731895133280 140731895133280 140731895140295 0
/proc/183037/statm: 25831 20770 1155 1006 0 24592 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 103324 KiB
Current children cumulated memory: 83080 KiB

[startup+12.7002 s]
/proc/loadavg: 2.37 2.03 2.03 5/260 183150
/proc/meminfo: memFree=105556552/131524600 swapFree=131071996/131071996
[pid=183037] ppid=183034 vsize=106896 memory=86688 CPUtime=12.63 cores=4,6
/proc/183037/stat : 183037 (Exact_veripb2) R 183034 183037 182795 0 -1 4194304 13749 0 0 0 1250 13 0 0 20 0 1 0 16684055 109461504 21672 134679101440 4194304 8311665 140731895125200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 38989824 140731895133000 140731895133280 140731895133280 140731895140295 0
/proc/183037/statm: 26724 21672 1155 1006 0 25485 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 106896 KiB
Current children cumulated memory: 86688 KiB

[startup+25.5002 s]
/proc/loadavg: 2.81 2.14 2.07 5/260 183152
/proc/meminfo: memFree=105023616/131524600 swapFree=131071996/131071996
[pid=183037] ppid=183034 vsize=109628 memory=89624 CPUtime=25.17 cores=4,6
/proc/183037/stat : 183037 (Exact_veripb2) R 183034 183037 182795 0 -1 4194304 14483 0 0 0 2494 23 0 0 20 0 1 0 16684055 112259072 22406 134679101440 4194304 8311665 140731895125200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 22 0 0 9173656 9252184 38989824 140731895133000 140731895133280 140731895133280 140731895140295 0
/proc/183037/statm: 27407 22406 1155 1006 0 26168 0
Current children cumulated CPU time: 25.17 s
Current children cumulated vsize: 109628 KiB
Current children cumulated memory: 89624 KiB

[startup+51.1055 s]
/proc/loadavg: 3.22 2.29 2.12 5/260 183157
/proc/meminfo: memFree=104037516/131524600 swapFree=131071996/131071996
[pid=183037] ppid=183034 vsize=115044 memory=95192 CPUtime=48.44 cores=4,6
/proc/183037/stat : 183037 (Exact_veripb2) R 183034 183037 182795 0 -1 4194304 15850 0 0 0 4804 40 0 0 20 0 1 0 16684055 117805056 23798 134679101440 4194304 8311665 140731895125200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 249 0 0 9173656 9252184 38989824 140731895133000 140731895133280 140731895133280 140731895140295 0
/proc/183037/statm: 28761 23798 1155 1006 0 27522 0
Current children cumulated CPU time: 48.44 s
Current children cumulated vsize: 115044 KiB
Current children cumulated memory: 95192 KiB

[startup+102.3 s]
/proc/loadavg: 3.71 2.57 2.22 5/262 183168
/proc/meminfo: memFree=102185532/131524600 swapFree=131071996/131071996
[pid=183037] ppid=183034 vsize=121600 memory=102108 CPUtime=95.49 cores=4,6
/proc/183037/stat : 183037 (Exact_veripb2) R 183034 183037 182795 0 -1 4194304 17662 0 0 0 9468 81 0 0 20 0 1 0 16684055 124518400 25527 134679101440 4194304 8311665 140731895125200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 645 0 0 9173656 9252184 38989824 140731895133000 140731895133280 140731895133280 140731895140295 0
/proc/183037/statm: 30400 25527 1155 1006 0 29161 0
Current children cumulated CPU time: 95.49 s
Current children cumulated vsize: 121600 KiB
Current children cumulated memory: 102108 KiB

[startup+162.3 s]
/proc/loadavg: 4.00 2.87 2.35 5/260 183178
/proc/meminfo: memFree=100167892/131524600 swapFree=131071996/131071996
[pid=183037] ppid=183034 vsize=123444 memory=104072 CPUtime=153.94 cores=4,6
/proc/183037/stat : 183037 (Exact_veripb2) R 183034 183037 182795 0 -1 4194304 18193 0 0 0 15267 127 0 0 20 0 1 0 16684055 126406656 26018 134679101440 4194304 8311665 140731895125200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 778 0 0 9173656 9252184 38989824 140731895133000 140731895133280 140731895133280 140731895140295 0
/proc/183037/statm: 30861 26018 1155 1006 0 29622 0
Current children cumulated CPU time: 153.94 s
Current children cumulated vsize: 123444 KiB
Current children cumulated memory: 104072 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 3.09 2.46 5/260 183191
/proc/meminfo: memFree=97982884/131524600 swapFree=131071996/131071996
[pid=183037] ppid=183034 vsize=126680 memory=107212 CPUtime=213.38 cores=4,6
/proc/183037/stat : 183037 (Exact_veripb2) R 183034 183037 182795 0 -1 4194304 19028 0 0 0 21166 172 0 0 20 0 1 0 16684055 129720320 26803 134679101440 4194304 8311665 140731895125200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 812 0 0 9173656 9252184 38989824 140731895133000 140731895133280 140731895133280 140731895140295 0
/proc/183037/statm: 31670 26803 1155 1006 0 30431 0
Current children cumulated CPU time: 213.38 s
Current children cumulated vsize: 126680 KiB
Current children cumulated memory: 107212 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 3.27 2.56 5/260 183201
/proc/meminfo: memFree=96591060/131524600 swapFree=131071996/131071996
[pid=183037] ppid=183034 vsize=127832 memory=108468 CPUtime=272.79 cores=4,6
/proc/183037/stat : 183037 (Exact_veripb2) R 183034 183037 182795 0 -1 4194304 19371 0 0 0 27057 222 0 0 20 0 1 0 16684055 130899968 27117 134679101440 4194304 8311665 140731895125200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 851 0 0 9173656 9252184 38989824 140731895133000 140731895133280 140731895133280 140731895140295 0
/proc/183037/statm: 31958 27117 1155 1006 0 30719 0
Current children cumulated CPU time: 272.79 s
Current children cumulated vsize: 127832 KiB
Current children cumulated memory: 108468 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 3.45 2.67 5/260 183211
/proc/meminfo: memFree=94725244/131524600 swapFree=131071996/131071996
[pid=183037] ppid=183034 vsize=128024 memory=108596 CPUtime=328.82 cores=4,6
/proc/183037/stat : 183037 (Exact_veripb2) R 183034 183037 182795 0 -1 4194304 19439 0 0 0 32610 272 0 0 20 0 1 0 16684055 131096576 27149 134679101440 4194304 8311665 140731895125200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1227 0 0 9173656 9252184 38989824 140731895133000 140731895133280 140731895133280 140731895140295 0
/proc/183037/statm: 32006 27149 1155 1006 0 30767 0
Current children cumulated CPU time: 328.82 s
Current children cumulated vsize: 128024 KiB
Current children cumulated memory: 108596 KiB

[startup+402.3 s]
/proc/loadavg: 4.26 3.60 2.77 5/260 183223
/proc/meminfo: memFree=92811796/131524600 swapFree=131071996/131071996
[pid=183037] ppid=183034 vsize=128024 memory=108724 CPUtime=388.01 cores=4,6
/proc/183037/stat : 183037 (Exact_veripb2) R 183034 183037 182795 0 -1 4194304 19508 0 0 0 38480 321 0 0 20 0 1 0 16684055 131096576 27181 134679101440 4194304 8311665 140731895125200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1284 0 0 9173656 9252184 38989824 140731895133000 140731895133280 140731895133280 140731895140295 0
/proc/183037/statm: 32006 27181 1155 1006 0 30767 0
Current children cumulated CPU time: 388.01 s
Current children cumulated vsize: 128024 KiB
Current children cumulated memory: 108724 KiB

[startup+462.3 s]
/proc/loadavg: 4.35 3.76 2.88 5/260 183233
/proc/meminfo: memFree=90651900/131524600 swapFree=131071996/131071996
[pid=183037] ppid=183034 vsize=128472 memory=109000 CPUtime=447.18 cores=4,6
/proc/183037/stat : 183037 (Exact_veripb2) R 183034 183037 182795 0 -1 4194304 19656 0 0 0 44346 372 0 0 20 0 1 0 16684055 131555328 27250 134679101440 4194304 8311665 140731895125200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1349 0 0 9173656 9252184 38989824 140731895133000 140731895133280 140731895133280 140731895140295 0
/proc/183037/statm: 32118 27250 1155 1006 0 30879 0

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

Current children cumulated memory: 124936 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.19 4.17 5/264 185042
/proc/meminfo: memFree=36814984/131524600 swapFree=131071996/131071996
[pid=183037] ppid=183034 vsize=145340 memory=126016 CPUtime=2935.93 cores=4,6
/proc/183037/stat : 183037 (Exact_veripb2) R 183034 183037 182795 0 -1 4194304 25217 0 0 0 291148 2445 0 0 20 0 1 0 16684055 148828160 31504 134679101440 4194304 8311665 140731895125200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3458 0 0 9173656 9252184 38989824 140731895133000 140731895133280 140731895133280 140731895140295 0
/proc/183037/statm: 36335 31504 1155 1006 0 35096 0
Current children cumulated CPU time: 2935.93 s
Current children cumulated vsize: 145340 KiB
Current children cumulated memory: 126016 KiB

[startup+3042.3 s]
/proc/loadavg: 4.19 4.20 4.18 5/258 185080
/proc/meminfo: memFree=35438112/131524600 swapFree=131071996/131071996
[pid=183037] ppid=183034 vsize=145340 memory=126016 CPUtime=2994.99 cores=4,6
/proc/183037/stat : 183037 (Exact_veripb2) R 183034 183037 182795 0 -1 4194304 25287 0 0 0 297005 2494 0 0 20 0 1 0 16684055 148828160 31504 134679101440 4194304 8311665 140731895125200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3535 0 0 9173656 9252184 38989824 140731895133000 140731895133280 140731895133280 140731895140295 0
/proc/183037/statm: 36335 31504 1155 1006 0 35096 0
Current children cumulated CPU time: 2994.99 s
Current children cumulated vsize: 145340 KiB
Current children cumulated memory: 126016 KiB

[startup+3102.3 s]
/proc/loadavg: 4.21 4.20 4.18 5/260 185156
/proc/meminfo: memFree=33656144/131524600 swapFree=131071996/131071996
[pid=183037] ppid=183034 vsize=145340 memory=126080 CPUtime=3053.7 cores=4,6
/proc/183037/stat : 183037 (Exact_veripb2) R 183034 183037 182795 0 -1 4194304 25341 0 0 0 302826 2544 0 0 20 0 1 0 16684055 148828160 31520 134679101440 4194304 8311665 140731895125200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3647 0 0 9173656 9252184 38989824 140731895133000 140731895133280 140731895133280 140731895140295 0
/proc/183037/statm: 36335 31520 1155 1006 0 35096 0
Current children cumulated CPU time: 3053.7 s
Current children cumulated vsize: 145340 KiB
Current children cumulated memory: 126080 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.19 4.18 5/260 185168
/proc/meminfo: memFree=31621304/131524600 swapFree=131071996/131071996
[pid=183037] ppid=183034 vsize=145340 memory=126080 CPUtime=3112.82 cores=4,6
/proc/183037/stat : 183037 (Exact_veripb2) R 183034 183037 182795 0 -1 4194304 25396 0 0 0 308685 2597 0 0 20 0 1 0 16684055 148828160 31520 134679101440 4194304 8311665 140731895125200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3719 0 0 9173656 9252184 38989824 140731895133000 140731895133280 140731895133280 140731895140295 0
/proc/183037/statm: 36335 31520 1155 1006 0 35096 0
Current children cumulated CPU time: 3112.82 s
Current children cumulated vsize: 145340 KiB
Current children cumulated memory: 126080 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.18 4.18 5/259 185180
/proc/meminfo: memFree=30806900/131524600 swapFree=131071996/131071996
[pid=183037] ppid=183034 vsize=145340 memory=126080 CPUtime=3172.31 cores=4,6
/proc/183037/stat : 183037 (Exact_veripb2) R 183034 183037 182795 0 -1 4194304 25450 0 0 0 314582 2649 0 0 20 0 1 0 16684055 148828160 31520 134679101440 4194304 8311665 140731895125200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3755 0 0 9173656 9252184 38989824 140731895133000 140731895133280 140731895133280 140731895140295 0
/proc/183037/statm: 36335 31520 1155 1006 0 35096 0
Current children cumulated CPU time: 3172.31 s
Current children cumulated vsize: 145340 KiB
Current children cumulated memory: 126080 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/259 185191
/proc/meminfo: memFree=28099036/131524600 swapFree=131071996/131071996
[pid=183037] ppid=183034 vsize=145340 memory=126080 CPUtime=3231.54 cores=4,6
/proc/183037/stat : 183037 (Exact_veripb2) R 183034 183037 182795 0 -1 4194304 25503 0 0 0 320456 2698 0 0 20 0 1 0 16684055 148828160 31520 134679101440 4194304 8311665 140731895125200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3817 0 0 9173656 9252184 38989824 140731895133000 140731895133280 140731895133280 140731895140295 0
/proc/183037/statm: 36335 31520 1155 1006 0 35096 0
Current children cumulated CPU time: 3231.54 s
Current children cumulated vsize: 145340 KiB
Current children cumulated memory: 126080 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.16 4.17 5/259 185201
/proc/meminfo: memFree=25220636/131524600 swapFree=131071996/131071996
[pid=183037] ppid=183034 vsize=145592 memory=126268 CPUtime=3291.01 cores=4,6
/proc/183037/stat : 183037 (Exact_veripb2) R 183034 183037 182795 0 -1 4194304 25604 0 0 0 326351 2750 0 0 20 0 1 0 16684055 149086208 31567 134679101440 4194304 8311665 140731895125200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3853 0 0 9173656 9252184 38989824 140731895133000 140731895133280 140731895133280 140731895140295 0
/proc/183037/statm: 36398 31567 1155 1006 0 35159 0
Current children cumulated CPU time: 3291.01 s
Current children cumulated vsize: 145592 KiB
Current children cumulated memory: 126268 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.17 4.18 5/259 185212
/proc/meminfo: memFree=23269564/131524600 swapFree=131071996/131071996
[pid=183037] ppid=183034 vsize=146492 memory=127164 CPUtime=3350.42 cores=4,6
/proc/183037/stat : 183037 (Exact_veripb2) R 183034 183037 182795 0 -1 4194304 25883 0 0 0 332243 2799 0 0 20 0 1 0 16684055 150007808 31791 134679101440 4194304 8311665 140731895125200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3895 0 0 9173656 9252184 38989824 140731895133000 140731895133280 140731895133280 140731895140295 0
/proc/183037/statm: 36623 31791 1155 1006 0 35384 0
Current children cumulated CPU time: 3350.42 s
Current children cumulated vsize: 146492 KiB
Current children cumulated memory: 127164 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.16 4.17 4/259 185224
/proc/meminfo: memFree=21878188/131524600 swapFree=131071996/131071996
[pid=183037] ppid=183034 vsize=146492 memory=127164 CPUtime=3409.93 cores=4,6
/proc/183037/stat : 183037 (Exact_veripb2) R 183034 183037 182795 0 -1 4194304 25939 0 0 0 338142 2851 0 0 20 0 1 0 16684055 150007808 31791 134679101440 4194304 8311665 140731895125200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3927 0 0 9173656 9252184 38989824 140731895133000 140731895133280 140731895133280 140731895140295 0
/proc/183037/statm: 36623 31791 1155 1006 0 35384 0
Current children cumulated CPU time: 3409.93 s
Current children cumulated vsize: 146492 KiB
Current children cumulated memory: 127164 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/263 185244
/proc/meminfo: memFree=19600280/131524600 swapFree=131071996/131071996
[pid=183037] ppid=183034 vsize=146492 memory=127168 CPUtime=3469.46 cores=4,6
/proc/183037/stat : 183037 (Exact_veripb2) R 183034 183037 182795 0 -1 4194304 25995 0 0 0 344043 2903 0 0 20 0 1 0 16684055 150007808 31792 134679101440 4194304 8311665 140731895125200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3959 0 0 9173656 9252184 38989824 140731895133000 140731895133280 140731895133280 140731895140295 0
/proc/183037/statm: 36623 31792 1155 1006 0 35384 0
Current children cumulated CPU time: 3469.46 s
Current children cumulated vsize: 146492 KiB
Current children cumulated memory: 127168 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/263 185255
/proc/meminfo: memFree=18559244/131524600 swapFree=131071996/131071996
[pid=183037] ppid=183034 vsize=146492 memory=127296 CPUtime=3529.01 cores=4,6
/proc/183037/stat : 183037 (Exact_veripb2) R 183034 183037 182795 0 -1 4194304 26081 0 0 0 349945 2956 0 0 20 0 1 0 16684055 150007808 31824 134679101440 4194304 8311665 140731895125200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3986 0 0 9173656 9252184 38989824 140731895133000 140731895133280 140731895133280 140731895140295 0
/proc/183037/statm: 36623 31824 1155 1006 0 35384 0
Current children cumulated CPU time: 3529.01 s
Current children cumulated vsize: 146492 KiB
Current children cumulated memory: 127296 KiB

[startup+3642.3 s]
/proc/loadavg: 4.23 4.16 4.17 5/263 185266
/proc/meminfo: memFree=17329628/131524600 swapFree=131071996/131071996
[pid=183037] ppid=183034 vsize=146492 memory=127296 CPUtime=3588.28 cores=4,6
/proc/183037/stat : 183037 (Exact_veripb2) R 183034 183037 182795 0 -1 4194304 26137 0 0 0 355823 3005 0 0 20 0 1 0 16684055 150007808 31824 134679101440 4194304 8311665 140731895125200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4044 0 0 9173656 9252184 38989824 140731895133000 140731895133280 140731895133280 140731895140295 0
/proc/183037/statm: 36623 31824 1155 1006 0 35384 0
Current children cumulated CPU time: 3588.28 s
Current children cumulated vsize: 146492 KiB
Current children cumulated memory: 127296 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3654.11 s]
/proc/loadavg: 4.32 4.19 4.18 5/263 185268
/proc/meminfo: memFree=17095600/131524600 swapFree=131071996/131071996
[pid=183037] ppid=183034 vsize=146492 memory=127296 CPUtime=3600.05 cores=4,6
/proc/183037/stat : 183037 (Exact_veripb2) R 183034 183037 182795 0 -1 4194304 26137 0 0 0 356992 3013 0 0 20 0 1 0 16684055 150007808 31824 134679101440 4194304 8311665 140731895125200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4044 0 0 9173656 9252184 38989824 140731895133000 140731895133280 140731895133280 140731895140295 0
/proc/183037/statm: 36623 31824 1155 1006 0 35384 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 146492 KiB
Current children cumulated memory: 127296 KiB

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

[startup+3654.24 s]
# the end of solver process 183037 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3569.93 s, system=30.1494 s

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

[startup+3654.2 s]
/proc/loadavg: 4.32 4.19 4.18 5/263 185268
/proc/meminfo: memFree=17095600/131524600 swapFree=131071996/131071996
[pid=183037] ppid=183034 vsize=89228 memory=84884 CPUtime=3600.06 cores=4,6
/proc/183037/stat : 183037 (Exact_veripb2) D 183034 183037 182795 0 -1 4194304 26138 0 0 0 356992 3014 0 0 20 0 1 0 16684055 91369472 21221 134679101440 4194304 8311665 140731895125200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4055 0 0 9173656 9252184 38989824 140731895133000 140731895133280 140731895133280 140731895140295 0
/proc/183037/statm: 22307 21221 1170 1006 0 21068 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 89228 KiB
Current children cumulated memory: 84884 KiB

Child status: 0

Real time (s): 3654.24
CPU time (s): 3600.08
CPU user time (s): 3569.93
CPU system time (s): 30.1494
CPU usage (%): 98.518
Max. virtual memory (cumulated for all children) (KiB): 146492
Max. memory (cumulated for all children) (KiB): 127296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.93
system time used= 30.1494
maximum resident set size= 127296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26139
page faults= 0
swaps= 0
block input operations= 0
block output operations= 53000240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3457
involuntary context switches= 12668


# summary of solver processes directly reported to runsolver:
#   pid: 183037
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3569.93
#   total CPU system time (s): 30.1494

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.00598 second user time and 17.9954 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2024-07-24 08:12:34
IDJOB=4442644
IDBENCH=147834
IDSOLVER=3081
FILE ID=nodeC021/4442644-1721801554
RUNJOBID= nodeC021-1721801549-182806
SLURM_JOB_ID= 7770694
Free space on /tmp= 890076 MiB

SOLVER NAME= Exact_veripb2 2024-07-05
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-35-30.opb
COMMAND LINE= HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442644-1721801554/watcher-4442644-1721801554 -o /tmp/evaluation-result-4442644-1721801554/solver-4442644-1721801554 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721801549-182806 --watchdog 3760  HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4442644-1721801554 --seed=1938885705 HOME/instance-4442644-1721801554.opb

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

MD5SUM BENCH= da953313a09cceac0c8e3e7fb7d08ab4
RANDOM SEED=1938885705

nodeC021.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		: 2569.394
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	: 7000.35
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		: 1974.578
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	: 7007.41
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		: 3035.139
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	: 7000.35
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		: 2391.878
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	: 7007.41
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		: 3408.788
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	: 7000.35
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		: 3248.531
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	: 7007.41
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		: 3365.464
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	: 7000.35
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		: 3447.098
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	: 7007.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        106806928 kB
MemAvailable:   129601576 kB
Buffers:          245456 kB
Cached:         23266864 kB
SwapCached:            0 kB
Active:          2649500 kB
Inactive:       21235756 kB
Active(anon):       1492 kB
Inactive(anon):   425512 kB
Active(file):    2648008 kB
Inactive(file): 20810244 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             12680 kB
Writeback:             0 kB
AnonPages:        372636 kB
Mapped:           119652 kB
Shmem:             54104 kB
KReclaimable:     352084 kB
Slab:             476976 kB
SReclaimable:     352084 kB
SUnreclaim:       124892 kB
KernelStack:        3904 kB
PageTables:         9748 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     786764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20640 kB
HardwareCorrupted:     0 kB
AnonHugePages:    256000 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:      322260 kB
DirectMap2M:    40345600 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 890024 MiB
End job on nodeC021 at 2024-07-24 09:13:28