Trace number 4442614

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.11 3653.81

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-45-40.opb
MD5SUM2590c1209b8f449ade71ad316e08b5f7
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 benchmark1.32104
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1800
Total number of constraints39645
Number of constraints which are clauses39645
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 constraint40
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 41
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.08/3653.70	c Program interrupted by user.
3600.08/3653.70	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 (59098 MiB free)
  memory of node 1: 64510 MiB (60270 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442614-1721801554/watcher-4442614-1721801554 -o /tmp/evaluation-result-4442614-1721801554/solver-4442614-1721801554 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721801549-163249 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4442614-1721801554 --seed=1938885705 HOME/instance-4442614-1721801554.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=163492, runsolver pid=163486
Current StackSize limit: 8192 KiB


[startup+0.100089 s]*
/proc/loadavg: 1.92 1.89 1.99 6/258 163495
/proc/meminfo: memFree=122184504/131524600 swapFree=131064012/131071996
[pid=163492] ppid=163486 vsize=34892 memory=15544 CPUtime=0.09 cores=5,7
/proc/163492/stat : 163492 (Exact_veripb2) R 163486 163492 163236 0 -1 4194304 4330 0 0 0 9 0 0 0 20 0 1 0 16685665 35729408 3886 134679101440 4194304 8311665 140732990490176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 35889152 140732990497608 140732990497888 140732990497888 140732990504903 0
/proc/163492/statm: 8723 3886 883 1006 0 7484 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34892 KiB
Current children cumulated memory: 15544 KiB

[startup+0.205973 s]*
/proc/loadavg: 1.92 1.89 1.99 4/256 163497
/proc/meminfo: memFree=122172760/131524600 swapFree=131064012/131071996
[pid=163492] ppid=163486 vsize=58048 memory=39492 CPUtime=0.2 cores=5,7
/proc/163492/stat : 163492 (Exact_veripb2) R 163486 163492 163236 0 -1 4194304 8610 0 0 0 19 1 0 0 20 0 1 0 16685665 59441152 9873 134679101440 4194304 8311665 140732990490176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 35889152 140732990497608 140732990497888 140732990497888 140732990504903 0
/proc/163492/statm: 14512 9873 1059 1006 0 13273 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 58048 KiB
Current children cumulated memory: 39492 KiB

[startup+0.30588 s]*
/proc/loadavg: 1.92 1.89 1.99 3/250 163513
/proc/meminfo: memFree=122173040/131524600 swapFree=131064012/131071996
[pid=163492] ppid=163486 vsize=58048 memory=41540 CPUtime=0.3 cores=5,7
/proc/163492/stat : 163492 (Exact_veripb2) R 163486 163492 163236 0 -1 4194304 8611 0 0 0 29 1 0 0 20 0 1 0 16685665 59441152 10385 134679101440 4194304 8311665 140732990490176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 35889152 140732990497608 140732990497888 140732990497888 140732990504903 0
/proc/163492/statm: 14512 10385 1059 1006 0 13273 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 58048 KiB
Current children cumulated memory: 41540 KiB

[startup+0.700205 s]
/proc/loadavg: 1.92 1.89 1.99 3/250 163513
/proc/meminfo: memFree=122168076/131524600 swapFree=131064012/131071996
[pid=163492] ppid=163486 vsize=58048 memory=45636 CPUtime=0.68 cores=5,7
/proc/163492/stat : 163492 (Exact_veripb2) R 163486 163492 163236 0 -1 4194304 8613 0 0 0 67 1 0 0 20 0 1 0 16685665 59441152 11409 134679101440 4194304 8311665 140732990490176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 35889152 140732990497608 140732990497888 140732990497888 140732990504903 0
/proc/163492/statm: 14512 11409 1059 1006 0 13273 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 58048 KiB
Current children cumulated memory: 45636 KiB

[startup+1.50019 s]
/proc/loadavg: 1.92 1.89 1.99 5/250 163551
/proc/meminfo: memFree=122156644/131524600 swapFree=131064012/131071996
[pid=163492] ppid=163486 vsize=63024 memory=57396 CPUtime=1.49 cores=5,7
/proc/163492/stat : 163492 (Exact_veripb2) R 163486 163492 163236 0 -1 4194304 9924 0 0 0 147 2 0 0 20 0 1 0 16685665 64536576 14349 134679101440 4194304 8311665 140732990490176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 35889152 140732990497608 140732990497888 140732990497888 140732990504903 0
/proc/163492/statm: 15756 14349 1155 1006 0 14517 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 63024 KiB
Current children cumulated memory: 57396 KiB

[startup+3.10559 s]
/proc/loadavg: 2.09 1.93 2.00 5/260 163591
/proc/meminfo: memFree=122044192/131524600 swapFree=131064012/131071996
[pid=163492] ppid=163486 vsize=84796 memory=74228 CPUtime=3.09 cores=5,7
/proc/163492/stat : 163492 (Exact_veripb2) R 163486 163492 163236 0 -1 4194304 12381 0 0 0 305 4 0 0 20 0 1 0 16685665 86831104 18557 134679101440 4194304 8311665 140732990490176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 35889152 140732990497608 140732990497888 140732990497888 140732990504903 0
/proc/163492/statm: 21199 18557 1155 1006 0 19960 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 84796 KiB
Current children cumulated memory: 74228 KiB

[startup+6.30022 s]
/proc/loadavg: 2.09 1.93 2.00 5/260 163593
/proc/meminfo: memFree=121911144/131524600 swapFree=131064012/131071996
[pid=163492] ppid=163486 vsize=122796 memory=107528 CPUtime=6.27 cores=5,7
/proc/163492/stat : 163492 (Exact_veripb2) R 163486 163492 163236 0 -1 4194304 16493 0 0 0 621 6 0 0 20 0 1 0 16685665 125743104 26882 134679101440 4194304 8311665 140732990490176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 35889152 140732990497608 140732990497888 140732990497888 140732990504903 0
/proc/163492/statm: 30699 26882 1155 1006 0 29460 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 122796 KiB
Current children cumulated memory: 107528 KiB

[startup+12.7002 s]
/proc/loadavg: 2.38 2.00 2.02 5/260 163639
/proc/meminfo: memFree=121485476/131524600 swapFree=131064012/131071996
[pid=163492] ppid=163486 vsize=172588 memory=128148 CPUtime=12.66 cores=5,7
/proc/163492/stat : 163492 (Exact_veripb2) R 163486 163492 163236 0 -1 4194304 19575 0 0 0 1255 11 0 0 20 0 1 0 16685665 176730112 32037 134679101440 4194304 8311665 140732990490176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 35889152 140732990497608 140732990497888 140732990497888 140732990504903 0
/proc/163492/statm: 43147 32037 1155 1006 0 41908 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 172588 KiB
Current children cumulated memory: 128148 KiB

[startup+25.5002 s]
/proc/loadavg: 2.63 2.07 2.04 5/260 163688
/proc/meminfo: memFree=120285052/131524600 swapFree=131064012/131071996
[pid=163492] ppid=163486 vsize=190432 memory=169108 CPUtime=25.41 cores=5,7
/proc/163492/stat : 163492 (Exact_veripb2) R 163486 163492 163236 0 -1 4194304 24274 0 0 0 2521 20 0 0 20 0 1 0 16685665 195002368 42277 134679101440 4194304 8311665 140732990490176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 35889152 140732990497608 140732990497888 140732990497888 140732990504903 0
/proc/163492/statm: 47608 42277 1155 1006 0 46369 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 190432 KiB
Current children cumulated memory: 169108 KiB

[startup+51.1056 s]
/proc/loadavg: 3.16 2.24 2.10 5/260 163691
/proc/meminfo: memFree=118850824/131524600 swapFree=131064012/131071996
[pid=163492] ppid=163486 vsize=202232 memory=181212 CPUtime=46.94 cores=5,7
/proc/163492/stat : 163492 (Exact_veripb2) R 163486 163492 163236 0 -1 4194304 27342 0 0 0 4663 31 0 0 20 0 1 0 16685665 207085568 45303 134679101440 4194304 8311665 140732990490176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 402 0 0 9173656 9252184 35889152 140732990497608 140732990497888 140732990497888 140732990504903 0
/proc/163492/statm: 50558 45303 1155 1006 0 49319 0
Current children cumulated CPU time: 46.94 s
Current children cumulated vsize: 202232 KiB
Current children cumulated memory: 181212 KiB

[startup+102.3 s]
/proc/loadavg: 3.77 2.57 2.23 5/261 163700
/proc/meminfo: memFree=117806060/131524600 swapFree=131064012/131071996
[pid=163492] ppid=163486 vsize=211912 memory=195508 CPUtime=92.14 cores=5,7
/proc/163492/stat : 163492 (Exact_veripb2) R 163486 163492 163236 0 -1 4194304 29888 0 0 0 9158 56 0 0 20 0 1 0 16685665 216997888 48877 134679101440 4194304 8311665 140732990490176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 987 0 0 9173656 9252184 35889152 140732990497608 140732990497888 140732990497888 140732990504903 0
/proc/163492/statm: 52978 48877 1155 1006 0 51739 0
Current children cumulated CPU time: 92.14 s
Current children cumulated vsize: 211912 KiB
Current children cumulated memory: 195508 KiB

[startup+162.3 s]
/proc/loadavg: 3.98 2.85 2.34 5/261 163803
/proc/meminfo: memFree=118294528/131524600 swapFree=131064012/131071996
[pid=163492] ppid=163486 vsize=226564 memory=210196 CPUtime=149.23 cores=5,7
/proc/163492/stat : 163492 (Exact_veripb2) R 163486 163492 163236 0 -1 4194304 33650 0 0 0 14834 89 0 0 20 0 1 0 16685665 232001536 52549 134679101440 4194304 8311665 140732990490176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1260 0 0 9173656 9252184 35889152 140732990497608 140732990497888 140732990497888 140732990504903 0
/proc/163492/statm: 56641 52549 1155 1006 0 55402 0
Current children cumulated CPU time: 149.23 s
Current children cumulated vsize: 226564 KiB
Current children cumulated memory: 210196 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 3.07 2.46 5/256 163843
/proc/meminfo: memFree=116907508/131524600 swapFree=131064012/131071996
[pid=163492] ppid=163486 vsize=237032 memory=220612 CPUtime=208.7 cores=5,7
/proc/163492/stat : 163492 (Exact_veripb2) R 163486 163492 163236 0 -1 4194304 36438 0 0 0 20746 124 0 0 20 0 1 0 16685665 242720768 55153 134679101440 4194304 8311665 140732990490176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1296 0 0 9173656 9252184 35889152 140732990497608 140732990497888 140732990497888 140732990504903 0
/proc/163492/statm: 59258 55153 1155 1006 0 58019 0
Current children cumulated CPU time: 208.7 s
Current children cumulated vsize: 237032 KiB
Current children cumulated memory: 220612 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 3.27 2.57 5/261 163872
/proc/meminfo: memFree=115532336/131524600 swapFree=131064012/131071996
[pid=163492] ppid=163486 vsize=248300 memory=232064 CPUtime=267.95 cores=5,7
/proc/163492/stat : 163492 (Exact_veripb2) R 163486 163492 163236 0 -1 4194304 39324 0 0 0 26636 159 0 0 20 0 1 0 16685665 254259200 58016 134679101440 4194304 8311665 140732990490176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1352 0 0 9173656 9252184 35889152 140732990497608 140732990497888 140732990497888 140732990504903 0
/proc/163492/statm: 62075 58016 1155 1006 0 60836 0
Current children cumulated CPU time: 267.95 s
Current children cumulated vsize: 248300 KiB
Current children cumulated memory: 232064 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.42 2.66 6/260 163883
/proc/meminfo: memFree=114044552/131524600 swapFree=131064012/131071996
[pid=163492] ppid=163486 vsize=259728 memory=253608 CPUtime=327.33 cores=5,7
/proc/163492/stat : 163492 (Exact_veripb2) R 163486 163492 163236 0 -1 4194304 42298 0 0 0 32539 194 0 0 20 0 1 0 16685665 265961472 63402 134679101440 4194304 8311665 140732990490176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1396 0 0 9173656 9252184 35889152 140732990497608 140732990497888 140732990497888 140732990504903 0
/proc/163492/statm: 64932 63402 1155 1006 0 63693 0
Current children cumulated CPU time: 327.33 s
Current children cumulated vsize: 259728 KiB
Current children cumulated memory: 253608 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 3.56 2.76 5/260 163895
/proc/meminfo: memFree=112642252/131524600 swapFree=131064012/131071996
[pid=163492] ppid=163486 vsize=264408 memory=258324 CPUtime=386.92 cores=5,7
/proc/163492/stat : 163492 (Exact_veripb2) R 163486 163492 163236 0 -1 4194304 43520 0 0 0 38467 225 0 0 20 0 1 0 16685665 270753792 64581 134679101440 4194304 8311665 140732990490176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1420 0 0 9173656 9252184 35889152 140732990497608 140732990497888 140732990497888 140732990504903 0
/proc/163492/statm: 66102 64581 1155 1006 0 64863 0
Current children cumulated CPU time: 386.92 s
Current children cumulated vsize: 264408 KiB
Current children cumulated memory: 258324 KiB

[startup+462.3 s]
/proc/loadavg: 4.05 3.64 2.84 5/260 163905
/proc/meminfo: memFree=111047272/131524600 swapFree=131064012/131071996
[pid=163492] ppid=163486 vsize=269204 memory=263188 CPUtime=446.38 cores=5,7
/proc/163492/stat : 163492 (Exact_veripb2) R 163486 163492 163236 0 -1 4194304 44842 0 0 0 44375 263 0 0 20 0 1 0 16685665 275664896 65797 134679101440 4194304 8311665 140732990490176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1457 0 0 9173656 9252184 35889152 140732990497608 140732990497888 140732990497888 140732990504903 0
/proc/163492/statm: 67301 65797 1155 1006 0 66062 0

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

Current children cumulated memory: 333648 KiB

[startup+2982.3 s]
/proc/loadavg: 4.27 4.17 4.05 5/263 165648
/proc/meminfo: memFree=60631344/131524600 swapFree=131064012/131071996
[pid=163492] ppid=163486 vsize=400788 memory=333844 CPUtime=2935.87 cores=5,7
/proc/163492/stat : 163492 (Exact_veripb2) R 163486 163492 163236 0 -1 4194304 66368 0 0 0 291914 1673 0 0 20 0 1 0 16685665 410406912 83461 134679101440 4194304 8311665 140732990490176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3762 0 0 9173656 9252184 35889152 140732990497608 140732990497888 140732990497888 140732990504903 0
/proc/163492/statm: 100197 83461 1155 1006 0 98958 0
Current children cumulated CPU time: 2935.87 s
Current children cumulated vsize: 400788 KiB
Current children cumulated memory: 333844 KiB

[startup+3042.3 s]
/proc/loadavg: 4.20 4.17 4.06 5/262 165659
/proc/meminfo: memFree=59139584/131524600 swapFree=131064012/131071996
[pid=163492] ppid=163486 vsize=404900 memory=337524 CPUtime=2994.62 cores=5,7
/proc/163492/stat : 163492 (Exact_veripb2) R 163486 163492 163236 0 -1 4194304 67408 0 0 0 297757 1705 0 0 20 0 1 0 16685665 414617600 84381 134679101440 4194304 8311665 140732990490176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3870 0 0 9173656 9252184 35889152 140732990497608 140732990497888 140732990497888 140732990504903 0
/proc/163492/statm: 101225 84381 1155 1006 0 99986 0
Current children cumulated CPU time: 2994.62 s
Current children cumulated vsize: 404900 KiB
Current children cumulated memory: 337524 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.13 4.05 5/260 165670
/proc/meminfo: memFree=57338032/131524600 swapFree=131064012/131071996
[pid=163492] ppid=163486 vsize=404900 memory=337620 CPUtime=3053.82 cores=5,7
/proc/163492/stat : 163492 (Exact_veripb2) R 163486 163492 163236 0 -1 4194304 67557 0 0 0 303645 1737 0 0 20 0 1 0 16685665 414617600 84405 134679101440 4194304 8311665 140732990490176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3934 0 0 9173656 9252184 35889152 140732990497608 140732990497888 140732990497888 140732990504903 0
/proc/163492/statm: 101225 84405 1155 1006 0 99986 0
Current children cumulated CPU time: 3053.82 s
Current children cumulated vsize: 404900 KiB
Current children cumulated memory: 337620 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.14 4.06 5/259 165680
/proc/meminfo: memFree=55539648/131524600 swapFree=131064012/131071996
[pid=163492] ppid=163486 vsize=404900 memory=337620 CPUtime=3113.35 cores=5,7
/proc/163492/stat : 163492 (Exact_veripb2) R 163486 163492 163236 0 -1 4194304 67703 0 0 0 309563 1772 0 0 20 0 1 0 16685665 414617600 84405 134679101440 4194304 8311665 140732990490176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3963 0 0 9173656 9252184 35889152 140732990497608 140732990497888 140732990497888 140732990504903 0
/proc/163492/statm: 101225 84405 1155 1006 0 99986 0
Current children cumulated CPU time: 3113.35 s
Current children cumulated vsize: 404900 KiB
Current children cumulated memory: 337620 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.06 5/258 165691
/proc/meminfo: memFree=53802236/131524600 swapFree=131064012/131071996
[pid=163492] ppid=163486 vsize=405444 memory=338164 CPUtime=3172.85 cores=5,7
/proc/163492/stat : 163492 (Exact_veripb2) R 163486 163492 163236 0 -1 4194304 67980 0 0 0 315475 1810 0 0 20 0 1 0 16685665 415174656 84541 134679101440 4194304 8311665 140732990490176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3996 0 0 9173656 9252184 35889152 140732990497608 140732990497888 140732990497888 140732990504903 0
/proc/163492/statm: 101361 84541 1155 1006 0 100122 0
Current children cumulated CPU time: 3172.85 s
Current children cumulated vsize: 405444 KiB
Current children cumulated memory: 338164 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.12 4.06 6/260 165703
/proc/meminfo: memFree=52058884/131524600 swapFree=131064012/131071996
[pid=163492] ppid=163486 vsize=405444 memory=338164 CPUtime=3232.4 cores=5,7
/proc/163492/stat : 163492 (Exact_veripb2) R 163486 163492 163236 0 -1 4194304 68140 0 0 0 321401 1839 0 0 20 0 1 0 16685665 415174656 84541 134679101440 4194304 8311665 140732990490176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4023 0 0 9173656 9252184 35889152 140732990497608 140732990497888 140732990497888 140732990504903 0
/proc/163492/statm: 101361 84541 1155 1006 0 100122 0
Current children cumulated CPU time: 3232.4 s
Current children cumulated vsize: 405444 KiB
Current children cumulated memory: 338164 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.14 4.07 5/261 165714
/proc/meminfo: memFree=49412036/131524600 swapFree=131064012/131071996
[pid=163492] ppid=163486 vsize=406108 memory=338828 CPUtime=3291.96 cores=5,7
/proc/163492/stat : 163492 (Exact_veripb2) R 163486 163492 163236 0 -1 4194304 68451 0 0 0 327323 1873 0 0 20 0 1 0 16685665 415854592 84707 134679101440 4194304 8311665 140732990490176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4051 0 0 9173656 9252184 35889152 140732990497608 140732990497888 140732990497888 140732990504903 0
/proc/163492/statm: 101527 84707 1155 1006 0 100288 0
Current children cumulated CPU time: 3291.96 s
Current children cumulated vsize: 406108 KiB
Current children cumulated memory: 338828 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.13 4.07 5/260 165727
/proc/meminfo: memFree=47722064/131524600 swapFree=131064012/131071996
[pid=163492] ppid=163486 vsize=406108 memory=338828 CPUtime=3351.35 cores=5,7
/proc/163492/stat : 163492 (Exact_veripb2) R 163486 163492 163236 0 -1 4194304 68608 0 0 0 333225 1910 0 0 20 0 1 0 16685665 415854592 84707 134679101440 4194304 8311665 140732990490176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4095 0 0 9173656 9252184 35889152 140732990497608 140732990497888 140732990497888 140732990504903 0
/proc/163492/statm: 101527 84707 1155 1006 0 100288 0
Current children cumulated CPU time: 3351.35 s
Current children cumulated vsize: 406108 KiB
Current children cumulated memory: 338828 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.13 4.07 6/261 165738
/proc/meminfo: memFree=46231700/131524600 swapFree=131064012/131071996
[pid=163492] ppid=163486 vsize=406496 memory=339164 CPUtime=3410.64 cores=5,7
/proc/163492/stat : 163492 (Exact_veripb2) R 163486 163492 163236 0 -1 4194304 68847 0 0 0 339120 1944 0 0 20 0 1 0 16685665 416251904 84791 134679101440 4194304 8311665 140732990490176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4148 0 0 9173656 9252184 35889152 140732990497608 140732990497888 140732990497888 140732990504903 0
/proc/163492/statm: 101624 84791 1155 1006 0 100385 0
Current children cumulated CPU time: 3410.64 s
Current children cumulated vsize: 406496 KiB
Current children cumulated memory: 339164 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.11 4.07 5/262 165752
/proc/meminfo: memFree=44241324/131524600 swapFree=131064012/131071996
[pid=163492] ppid=163486 vsize=407456 memory=339984 CPUtime=3470.01 cores=5,7
/proc/163492/stat : 163492 (Exact_veripb2) R 163486 163492 163236 0 -1 4194304 69214 0 0 0 345025 1976 0 0 20 0 1 0 16685665 417234944 84996 134679101440 4194304 8311665 140732990490176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4194 0 0 9173656 9252184 35889152 140732990497608 140732990497888 140732990497888 140732990504903 0
/proc/163492/statm: 101864 84996 1155 1006 0 100625 0
Current children cumulated CPU time: 3470.01 s
Current children cumulated vsize: 407456 KiB
Current children cumulated memory: 339984 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.10 4.07 5/263 165767
/proc/meminfo: memFree=43197212/131524600 swapFree=131064012/131071996
[pid=163492] ppid=163486 vsize=408992 memory=341508 CPUtime=3529.22 cores=5,7
/proc/163492/stat : 163492 (Exact_veripb2) R 163486 163492 163236 0 -1 4194304 69755 0 0 0 350913 2009 0 0 20 0 1 0 16685665 418807808 85377 134679101440 4194304 8311665 140732990490176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4256 0 0 9173656 9252184 35889152 140732990497608 140732990497888 140732990497888 140732990504903 0
/proc/163492/statm: 102248 85377 1155 1006 0 101009 0
Current children cumulated CPU time: 3529.22 s
Current children cumulated vsize: 408992 KiB
Current children cumulated memory: 341508 KiB

[startup+3642.3 s]
/proc/loadavg: 4.32 4.16 4.09 6/262 165823
/proc/meminfo: memFree=62276512/131524600 swapFree=131064012/131071996
[pid=163492] ppid=163486 vsize=410400 memory=347216 CPUtime=3588.7 cores=5,7
/proc/163492/stat : 163492 (Exact_veripb2) R 163486 163492 163236 0 -1 4194304 70272 0 0 0 356829 2041 0 0 20 0 1 0 16685665 420249600 86804 134679101440 4194304 8311665 140732990490176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4291 0 0 9173656 9252184 35889152 140732990497608 140732990497888 140732990497888 140732990504903 0
/proc/163492/statm: 102600 86804 1155 1006 0 101361 0
Current children cumulated CPU time: 3588.7 s
Current children cumulated vsize: 410400 KiB
Current children cumulated memory: 347216 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3653.7 s]
/proc/loadavg: 4.25 4.15 4.09 5/262 165825
/proc/meminfo: memFree=61942892/131524600 swapFree=131064012/131071996
[pid=163492] ppid=163486 vsize=410400 memory=347216 CPUtime=3600.08 cores=5,7
/proc/163492/stat : 163492 (Exact_veripb2) R 163486 163492 163236 0 -1 4194304 70282 0 0 0 357959 2049 0 0 20 0 1 0 16685665 420249600 86804 134679101440 4194304 8311665 140732990490176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4291 0 0 9173656 9252184 35889152 140732990497608 140732990497888 140732990497888 140732990504903 0
/proc/163492/statm: 102600 86804 1155 1006 0 101361 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 410400 KiB
Current children cumulated memory: 347216 KiB

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

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

# cumulated CPU time of all completed processes:  user=3579.59 s, system=20.5123 s

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

[startup+3653.8 s]
/proc/loadavg: 4.25 4.15 4.09 5/262 165825
/proc/meminfo: memFree=61942892/131524600 swapFree=131064012/131071996
[pid=163492] ppid=163486 vsize=240280 memory=235536 CPUtime=3600.09 cores=5,7
/proc/163492/stat : 163492 (Exact_veripb2) R 163486 163492 163236 0 -1 4194304 70283 0 0 0 357959 2050 0 0 20 0 1 0 16685665 246046720 58884 134679101440 4194304 8311665 140732990490176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4305 0 0 9173656 9252184 35889152 140732990497608 140732990497888 140732990497888 140732990504903 0
/proc/163492/statm: 60070 58884 1170 1006 0 58831 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 240280 KiB
Current children cumulated memory: 235536 KiB

Child status: 0

Real time (s): 3653.81
CPU time (s): 3600.11
CPU user time (s): 3579.59
CPU system time (s): 20.5123
CPU usage (%): 98.5303
Max. virtual memory (cumulated for all children) (KiB): 410400
Max. memory (cumulated for all children) (KiB): 347216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.59
system time used= 20.5123
maximum resident set size= 378216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70284
page faults= 0
swaps= 0
block input operations= 0
block output operations= 43376656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2041
involuntary context switches= 4880


# summary of solver processes directly reported to runsolver:
#   pid: 163492
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3579.59
#   total CPU system time (s): 20.5123

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.99651 second user time and 16.0272 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2024-07-24 08:12:34
IDJOB=4442614
IDBENCH=147833
IDSOLVER=3081
FILE ID=nodeC035/4442614-1721801554
RUNJOBID= nodeC035-1721801549-163249
SLURM_JOB_ID= 7770690
Free space on /tmp= 890048 MiB

SOLVER NAME= Exact_veripb2 2024-07-05
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-45-40.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-4442614-1721801554/watcher-4442614-1721801554 -o /tmp/evaluation-result-4442614-1721801554/solver-4442614-1721801554 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721801549-163249 --watchdog 3760  HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4442614-1721801554 --seed=1938885705 HOME/instance-4442614-1721801554.opb

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

MD5SUM BENCH= 2590c1209b8f449ade71ad316e08b5f7
RANDOM SEED=1938885705

nodeC035.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		: 3661.419
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.54
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		: 3657.523
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	: 7006.93
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		: 3619.002
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.54
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		: 3664.776
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	: 7006.93
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		: 3658.517
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.54
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		: 3600.270
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	: 7006.93
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		: 3600.402
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.54
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		: 3662.388
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	: 7006.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        122238408 kB
MemAvailable:   129601220 kB
Buffers:          231176 kB
Cached:          7885444 kB
SwapCached:          256 kB
Active:          2308964 kB
Inactive:        6236400 kB
Active(anon):       1716 kB
Inactive(anon):   471760 kB
Active(file):    2307248 kB
Inactive(file):  5764640 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131064012 kB
Dirty:             62460 kB
Writeback:             0 kB
AnonPages:        427172 kB
Mapped:           116608 kB
Shmem:             45336 kB
KReclaimable:     261140 kB
Slab:             385856 kB
SReclaimable:     261140 kB
SUnreclaim:       124716 kB
KernelStack:        3968 kB
PageTables:        10220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     863044 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16992 kB
HardwareCorrupted:     0 kB
AnonHugePages:    266240 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:      414420 kB
DirectMap2M:    48642048 kB
DirectMap1G:    87031808 kB

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