Trace number 4450254

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) 3533.2 3701.06

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l100-r099-n1.cnf-extracted.pb.metafix.opb
MD5SUM4aca60576f41ce0be442f97c9c36c82a
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 variables5421
Total number of constraints12679
Number of constraints which are clauses6001
Number of constraints which are cardinality constraints (but not clauses)6678
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
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 4
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3533.16/3700.00	c Program interrupted by user.
3533.16/3700.00	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 (1135 MiB free)
  memory of node 1: 64510 MiB (12124 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450254-1721835888/watcher-4450254-1721835888 -o /tmp/evaluation-result-4450254-1721835888/solver-4450254-1721835888 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721829513-189781 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4450254-1721835888 --seed=875872910 HOME/instance-4450254-1721835888.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
Current StackSize limit: 8192 KiB

solver pid=193122, runsolver pid=193119

[startup+0.100353 s]*
/proc/loadavg: 4.19 4.16 4.17 5/265 193123
/proc/meminfo: memFree=13555252/131524600 swapFree=131061428/131071996
[pid=193122] ppid=193119 vsize=45280 memory=23468 CPUtime=0.08 cores=5,7
/proc/193122/stat : 193122 (Exact_veripb2) R 193119 193122 189768 0 -1 4194304 5714 0 0 0 8 0 0 0 20 0 1 0 20111708 46366720 5867 134679101440 4194304 8311665 140733039431872 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9173656 9252184 18366464 140733039440713 140733039440992 140733039440992 140733039448007 0
/proc/193122/statm: 11320 5867 1075 1006 0 10081 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 45280 KiB
Current children cumulated memory: 23468 KiB

[startup+0.206353 s]*
/proc/loadavg: 4.19 4.16 4.17 5/265 193123
/proc/meminfo: memFree=13552900/131524600 swapFree=131061428/131071996
[pid=193122] ppid=193119 vsize=45280 memory=23912 CPUtime=0.18 cores=5,7
/proc/193122/stat : 193122 (Exact_veripb2) R 193119 193122 189768 0 -1 4194304 5723 0 0 0 18 0 0 0 20 0 1 0 20111708 46366720 5978 134679101440 4194304 8311665 140733039431872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 18366464 140733039440713 140733039440992 140733039440992 140733039448007 0
/proc/193122/statm: 11320 5978 1123 1006 0 10081 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 45280 KiB
Current children cumulated memory: 23912 KiB

[startup+0.305836 s]*
/proc/loadavg: 4.19 4.16 4.17 5/265 193123
/proc/meminfo: memFree=13546180/131524600 swapFree=131061428/131071996
[pid=193122] ppid=193119 vsize=45280 memory=23912 CPUtime=0.28 cores=5,7
/proc/193122/stat : 193122 (Exact_veripb2) R 193119 193122 189768 0 -1 4194304 5730 0 0 0 28 0 0 0 20 0 1 0 20111708 46366720 5978 134679101440 4194304 8311665 140733039431872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 18366464 140733039440713 140733039440992 140733039440992 140733039448007 0
/proc/193122/statm: 11320 5978 1123 1006 0 10081 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 45280 KiB
Current children cumulated memory: 23912 KiB

[startup+0.700229 s]
/proc/loadavg: 4.19 4.16 4.17 5/265 193123
/proc/meminfo: memFree=13538452/131524600 swapFree=131061428/131071996
[pid=193122] ppid=193119 vsize=45412 memory=26752 CPUtime=0.68 cores=5,7
/proc/193122/stat : 193122 (Exact_veripb2) R 193119 193122 189768 0 -1 4194304 5926 0 0 0 67 1 0 0 20 0 1 0 20111708 46501888 6688 134679101440 4194304 8311665 140733039431872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 18366464 140733039440713 140733039440992 140733039440992 140733039448007 0
/proc/193122/statm: 11353 6688 1123 1006 0 10114 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45412 KiB
Current children cumulated memory: 26752 KiB

[startup+1.50024 s]
/proc/loadavg: 4.19 4.16 4.17 4/265 193123
/proc/meminfo: memFree=13519060/131524600 swapFree=131061428/131071996
[pid=193122] ppid=193119 vsize=46188 memory=29320 CPUtime=1.47 cores=5,7
/proc/193122/stat : 193122 (Exact_veripb2) R 193119 193122 189768 0 -1 4194304 6108 0 0 0 146 1 0 0 20 0 1 0 20111708 47296512 7330 134679101440 4194304 8311665 140733039431872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 18366464 140733039440713 140733039440992 140733039440992 140733039448007 0
/proc/193122/statm: 11547 7330 1123 1006 0 10308 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 46188 KiB
Current children cumulated memory: 29320 KiB

[startup+3.10574 s]
/proc/loadavg: 4.19 4.16 4.17 5/265 193125
/proc/meminfo: memFree=13446100/131524600 swapFree=131061428/131071996
[pid=193122] ppid=193119 vsize=47796 memory=33320 CPUtime=3.07 cores=5,7
/proc/193122/stat : 193122 (Exact_veripb2) R 193119 193122 189768 0 -1 4194304 6522 0 0 0 305 2 0 0 20 0 1 0 20111708 48943104 8330 134679101440 4194304 8311665 140733039431872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 18366464 140733039440713 140733039440992 140733039440992 140733039448007 0
/proc/193122/statm: 11949 8330 1155 1006 0 10710 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 47796 KiB
Current children cumulated memory: 33320 KiB

[startup+6.30014 s]
/proc/loadavg: 4.17 4.15 4.17 3/265 193125
/proc/meminfo: memFree=13333044/131524600 swapFree=131061428/131071996
[pid=193122] ppid=193119 vsize=49228 memory=34628 CPUtime=6.26 cores=5,7
/proc/193122/stat : 193122 (Exact_veripb2) R 193119 193122 189768 0 -1 4194304 6890 0 0 0 622 4 0 0 20 0 1 0 20111708 50409472 8657 134679101440 4194304 8311665 140733039431872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 18366464 140733039440713 140733039440992 140733039440992 140733039448007 0
/proc/193122/statm: 12307 8657 1155 1006 0 11068 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 49228 KiB
Current children cumulated memory: 34628 KiB

[startup+12.7002 s]
/proc/loadavg: 4.32 4.18 4.18 5/265 193125
/proc/meminfo: memFree=13189788/131524600 swapFree=131061428/131071996
[pid=193122] ppid=193119 vsize=50544 memory=37720 CPUtime=12.63 cores=5,7
/proc/193122/stat : 193122 (Exact_veripb2) R 193119 193122 189768 0 -1 4194304 7162 0 0 0 1255 8 0 0 20 0 1 0 20111708 51757056 9430 134679101440 4194304 8311665 140733039431872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 18366464 140733039440713 140733039440992 140733039440992 140733039448007 0
/proc/193122/statm: 12636 9430 1155 1006 0 11397 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 50544 KiB
Current children cumulated memory: 37720 KiB

[startup+25.5002 s]
/proc/loadavg: 4.25 4.17 4.18 5/265 193128
/proc/meminfo: memFree=12721396/131524600 swapFree=131061428/131071996
[pid=193122] ppid=193119 vsize=51424 memory=38756 CPUtime=25.4 cores=5,7
/proc/193122/stat : 193122 (Exact_veripb2) R 193119 193122 189768 0 -1 4194304 7386 0 0 0 2522 18 0 0 20 0 1 0 20111708 52658176 9689 134679101440 4194304 8311665 140733039431872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 18366464 140733039440713 140733039440992 140733039440992 140733039448007 0
/proc/193122/statm: 12856 9689 1155 1006 0 11617 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 51424 KiB
Current children cumulated memory: 38756 KiB

[startup+51.1057 s]
/proc/loadavg: 4.16 4.16 4.17 5/263 193131
/proc/meminfo: memFree=11755504/131524600 swapFree=131061428/131071996
[pid=193122] ppid=193119 vsize=51932 memory=38964 CPUtime=50.3 cores=5,7
/proc/193122/stat : 193122 (Exact_veripb2) R 193119 193122 189768 0 -1 4194304 7489 0 0 0 4995 35 0 0 20 0 1 0 20111708 53178368 9741 134679101440 4194304 8311665 140733039431872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 63 0 0 9173656 9252184 18366464 140733039440713 140733039440992 140733039440992 140733039448007 0
/proc/193122/statm: 12983 9741 1155 1006 0 11744 0
Current children cumulated CPU time: 50.3 s
Current children cumulated vsize: 51932 KiB
Current children cumulated memory: 38964 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.16 4.17 5/265 193142
/proc/meminfo: memFree=10022604/131524600 swapFree=131061428/131071996
[pid=193122] ppid=193119 vsize=53212 memory=40236 CPUtime=100.86 cores=5,7
/proc/193122/stat : 193122 (Exact_veripb2) R 193119 193122 189768 0 -1 4194304 7818 0 0 0 10015 71 0 0 20 0 1 0 20111708 54489088 10059 134679101440 4194304 8311665 140733039431872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 112 0 0 9173656 9252184 18366464 140733039440713 140733039440992 140733039440992 140733039448007 0
/proc/193122/statm: 13303 10059 1155 1006 0 12064 0
Current children cumulated CPU time: 100.86 s
Current children cumulated vsize: 53212 KiB
Current children cumulated memory: 40236 KiB

[startup+162.3 s]
/proc/loadavg: 4.20 4.16 4.17 5/265 193153
/proc/meminfo: memFree=6201296/131524600 swapFree=131061428/131071996
[pid=193122] ppid=193119 vsize=54080 memory=41260 CPUtime=158.76 cores=5,7
/proc/193122/stat : 193122 (Exact_veripb2) R 193119 193122 189768 0 -1 4194304 8081 0 0 0 15766 110 0 0 20 0 1 0 20111708 55377920 10315 134679101440 4194304 8311665 140733039431872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 307 0 0 9173656 9252184 18366464 140733039440713 140733039440992 140733039440992 140733039448007 0
/proc/193122/statm: 13520 10315 1155 1006 0 12281 0
Current children cumulated CPU time: 158.76 s
Current children cumulated vsize: 54080 KiB
Current children cumulated memory: 41260 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.15 4.17 5/264 193164
/proc/meminfo: memFree=1152096/131524600 swapFree=131061428/131071996
[pid=193122] ppid=193119 vsize=55264 memory=42580 CPUtime=215.84 cores=5,7
/proc/193122/stat : 193122 (Exact_veripb2) R 193119 193122 189768 0 -1 4194304 8386 0 0 0 21433 151 0 0 20 0 1 0 20111708 56590336 10645 134679101440 4194304 8311665 140733039431872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 581 0 0 9173656 9252184 18366464 140733039440713 140733039440992 140733039440992 140733039448007 0
/proc/193122/statm: 13816 10645 1155 1006 0 12577 0
Current children cumulated CPU time: 215.84 s
Current children cumulated vsize: 55264 KiB
Current children cumulated memory: 42580 KiB

[startup+282.3 s]
/proc/loadavg: 4.19 4.16 4.17 5/264 193177
/proc/meminfo: memFree=548868/131524600 swapFree=131061428/131071996
[pid=193122] ppid=193119 vsize=55944 memory=43092 CPUtime=273.42 cores=5,7
/proc/193122/stat : 193122 (Exact_veripb2) R 193119 193122 189768 0 -1 4194304 8524 0 0 0 27148 194 0 0 20 0 1 0 20111708 57286656 10773 134679101440 4194304 8311665 140733039431872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 806 0 0 9173656 9252184 18366464 140733039440713 140733039440992 140733039440992 140733039448007 0
/proc/193122/statm: 13986 10773 1155 1006 0 12747 0
Current children cumulated CPU time: 273.42 s
Current children cumulated vsize: 55944 KiB
Current children cumulated memory: 43092 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.15 4.17 5/265 193188
/proc/meminfo: memFree=506276/131524600 swapFree=131061428/131071996
[pid=193122] ppid=193119 vsize=56084 memory=43340 CPUtime=331.87 cores=5,7
/proc/193122/stat : 193122 (Exact_veripb2) R 193119 193122 189768 0 -1 4194304 8604 0 0 0 32951 236 0 0 20 0 1 0 20111708 57430016 10835 134679101440 4194304 8311665 140733039431872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 944 0 0 9173656 9252184 18366464 140733039440713 140733039440992 140733039440992 140733039448007 0
/proc/193122/statm: 14021 10835 1155 1006 0 12782 0
Current children cumulated CPU time: 331.87 s
Current children cumulated vsize: 56084 KiB
Current children cumulated memory: 43340 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.15 4.17 7/265 193202
/proc/meminfo: memFree=578880/131524600 swapFree=131061428/131071996
[pid=193122] ppid=193119 vsize=56808 memory=44016 CPUtime=390.53 cores=5,7
/proc/193122/stat : 193122 (Exact_veripb2) D 193119 193122 189768 0 -1 4194304 8770 0 0 0 38773 280 0 0 20 0 1 0 20111708 58171392 11004 134679101440 4194304 8311665 140733039431872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1034 0 0 9173656 9252184 18366464 140733039440713 140733039440992 140733039440992 140733039448007 0
/proc/193122/statm: 14202 11004 1155 1006 0 12963 0
Current children cumulated CPU time: 390.53 s
Current children cumulated vsize: 56808 KiB
Current children cumulated memory: 44016 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/265 193213
/proc/meminfo: memFree=575040/131524600 swapFree=131061428/131071996
[pid=193122] ppid=193119 vsize=57132 memory=44440 CPUtime=447.61 cores=5,7
/proc/193122/stat : 193122 (Exact_veripb2) R 193119 193122 189768 0 -1 4194304 8900 0 0 0 44438 323 0 0 20 0 1 0 20111708 58503168 11110 134679101440 4194304 8311665 140733039431872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1337 0 0 9173656 9252184 18366464 140733039440713 140733039440992 140733039440992 140733039448007 0
/proc/193122/statm: 14283 11110 1155 1006 0 13044 0

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

Current children cumulated memory: 56972 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.18 4.17 5/263 195075
/proc/meminfo: memFree=70232920/131524600 swapFree=131061428/131071996
[pid=193122] ppid=193119 vsize=67220 memory=56980 CPUtime=2907.63 cores=5,7
/proc/193122/stat : 193122 (Exact_veripb2) R 193119 193122 189768 0 -1 4194304 12324 0 0 0 288603 2160 0 0 20 0 1 0 20111708 68833280 14245 134679101440 4194304 8311665 140733039431872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 12656 0 0 9173656 9252184 18366464 140733039440713 140733039440992 140733039440992 140733039448007 0
/proc/193122/statm: 16805 14245 1155 1006 0 15566 0
Current children cumulated CPU time: 2907.63 s
Current children cumulated vsize: 67220 KiB
Current children cumulated memory: 56980 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.16 4.16 5/259 195087
/proc/meminfo: memFree=68842428/131524600 swapFree=131061428/131071996
[pid=193122] ppid=193119 vsize=67220 memory=56980 CPUtime=2963.14 cores=5,7
/proc/193122/stat : 193122 (Exact_veripb2) R 193119 193122 189768 0 -1 4194304 12354 0 0 0 294111 2203 0 0 20 0 1 0 20111708 68833280 14245 134679101440 4194304 8311665 140733039431872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 13091 0 0 9173656 9252184 18366464 140733039440713 140733039440992 140733039440992 140733039448007 0
/proc/193122/statm: 16805 14245 1155 1006 0 15566 0
Current children cumulated CPU time: 2963.14 s
Current children cumulated vsize: 67220 KiB
Current children cumulated memory: 56980 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.16 4.16 5/260 195099
/proc/meminfo: memFree=67475848/131524600 swapFree=131061428/131071996
[pid=193122] ppid=193119 vsize=67548 memory=57136 CPUtime=3017.14 cores=5,7
/proc/193122/stat : 193122 (Exact_veripb2) R 193119 193122 189768 0 -1 4194304 12415 0 0 0 299471 2243 0 0 20 0 1 0 20111708 69169152 14284 134679101440 4194304 8311665 140733039431872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 13676 0 0 9173656 9252184 18366464 140733039440713 140733039440992 140733039440992 140733039448007 0
/proc/193122/statm: 16887 14284 1155 1006 0 15648 0
Current children cumulated CPU time: 3017.14 s
Current children cumulated vsize: 67548 KiB
Current children cumulated memory: 57136 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.14 4.16 5/260 195109
/proc/meminfo: memFree=66005448/131524600 swapFree=131061428/131071996
[pid=193122] ppid=193119 vsize=67548 memory=57136 CPUtime=3071.87 cores=5,7
/proc/193122/stat : 193122 (Exact_veripb2) R 193119 193122 189768 0 -1 4194304 12447 0 0 0 304904 2283 0 0 20 0 1 0 20111708 69169152 14284 134679101440 4194304 8311665 140733039431872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 14189 0 0 9173656 9252184 18366464 140733039440713 140733039440992 140733039440992 140733039448007 0
/proc/193122/statm: 16887 14284 1155 1006 0 15648 0
Current children cumulated CPU time: 3071.87 s
Current children cumulated vsize: 67548 KiB
Current children cumulated memory: 57136 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.15 4.16 5/259 195120
/proc/meminfo: memFree=64585972/131524600 swapFree=131061428/131071996
[pid=193122] ppid=193119 vsize=67548 memory=57304 CPUtime=3128.78 cores=5,7
/proc/193122/stat : 193122 (Exact_veripb2) R 193119 193122 189768 0 -1 4194304 12490 0 0 0 310549 2329 0 0 20 0 1 0 20111708 69169152 14326 134679101440 4194304 8311665 140733039431872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 14484 0 0 9173656 9252184 18366464 140733039440713 140733039440992 140733039440992 140733039448007 0
/proc/193122/statm: 16887 14326 1155 1006 0 15648 0
Current children cumulated CPU time: 3128.78 s
Current children cumulated vsize: 67548 KiB
Current children cumulated memory: 57304 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.13 4.15 5/260 195132
/proc/meminfo: memFree=63101436/131524600 swapFree=131061428/131071996
[pid=193122] ppid=193119 vsize=67744 memory=57376 CPUtime=3184.83 cores=5,7
/proc/193122/stat : 193122 (Exact_veripb2) R 193119 193122 189768 0 -1 4194304 12538 0 0 0 316112 2371 0 0 20 0 1 0 20111708 69369856 14344 134679101440 4194304 8311665 140733039431872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 14866 0 0 9173656 9252184 18366464 140733039440713 140733039440992 140733039440992 140733039448007 0
/proc/193122/statm: 16936 14344 1155 1006 0 15697 0
Current children cumulated CPU time: 3184.83 s
Current children cumulated vsize: 67744 KiB
Current children cumulated memory: 57376 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.12 4.14 5/262 195146
/proc/meminfo: memFree=61566280/131524600 swapFree=131061428/131071996
[pid=193122] ppid=193119 vsize=67912 memory=57548 CPUtime=3242.31 cores=5,7
/proc/193122/stat : 193122 (Exact_veripb2) R 193119 193122 189768 0 -1 4194304 12603 0 0 0 321813 2418 0 0 20 0 1 0 20111708 69541888 14387 134679101440 4194304 8311665 140733039431872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 15103 0 0 9173656 9252184 18366464 140733039440713 140733039440992 140733039440992 140733039448007 0
/proc/193122/statm: 16978 14387 1155 1006 0 15739 0
Current children cumulated CPU time: 3242.31 s
Current children cumulated vsize: 67912 KiB
Current children cumulated memory: 57548 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.14 5/262 195158
/proc/meminfo: memFree=60212840/131524600 swapFree=131061428/131071996
[pid=193122] ppid=193119 vsize=68108 memory=59760 CPUtime=3298.91 cores=5,7
/proc/193122/stat : 193122 (Exact_veripb2) R 193119 193122 189768 0 -1 4194304 12678 0 0 0 327441 2450 0 0 20 0 1 0 20111708 69742592 14940 134679101440 4194304 8311665 140733039431872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 15428 0 0 9173656 9252184 18366464 140733039440713 140733039440992 140733039440992 140733039448007 0
/proc/193122/statm: 17027 14940 1155 1006 0 15788 0
Current children cumulated CPU time: 3298.91 s
Current children cumulated vsize: 68108 KiB
Current children cumulated memory: 59760 KiB

[startup+3522.3 s]
/proc/loadavg: 4.50 4.22 4.17 5/262 195169
/proc/meminfo: memFree=58751364/131524600 swapFree=131061428/131071996
[pid=193122] ppid=193119 vsize=68108 memory=59944 CPUtime=3358.4 cores=5,7
/proc/193122/stat : 193122 (Exact_veripb2) R 193119 193122 189768 0 -1 4194304 12728 0 0 0 333349 2491 0 0 20 0 1 0 20111708 69742592 14986 134679101440 4194304 8311665 140733039431872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 15462 0 0 9173656 9252184 18366464 140733039440713 140733039440992 140733039440992 140733039448007 0
/proc/193122/statm: 17027 14986 1155 1006 0 15788 0
Current children cumulated CPU time: 3358.4 s
Current children cumulated vsize: 68108 KiB
Current children cumulated memory: 59944 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.19 4.17 5/262 195180
/proc/meminfo: memFree=57392120/131524600 swapFree=131061428/131071996
[pid=193122] ppid=193119 vsize=68268 memory=59944 CPUtime=3417.67 cores=5,7
/proc/193122/stat : 193122 (Exact_veripb2) R 193119 193122 189768 0 -1 4194304 12770 0 0 0 339235 2532 0 0 20 0 1 0 20111708 69906432 14986 134679101440 4194304 8311665 140733039431872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 15519 0 0 9173656 9252184 18366464 140733039440713 140733039440992 140733039440992 140733039448007 0
/proc/193122/statm: 17067 14986 1155 1006 0 15828 0
Current children cumulated CPU time: 3417.67 s
Current children cumulated vsize: 68268 KiB
Current children cumulated memory: 59944 KiB

[startup+3642.3 s]
/proc/loadavg: 4.14 4.17 4.16 5/262 195190
/proc/meminfo: memFree=56054812/131524600 swapFree=131061428/131071996
[pid=193122] ppid=193119 vsize=68268 memory=60044 CPUtime=3476.98 cores=5,7
/proc/193122/stat : 193122 (Exact_veripb2) R 193119 193122 189768 0 -1 4194304 12824 0 0 0 345128 2570 0 0 20 0 1 0 20111708 69906432 15011 134679101440 4194304 8311665 140733039431872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 15572 0 0 9173656 9252184 18366464 140733039440713 140733039440992 140733039440992 140733039448007 0
/proc/193122/statm: 17067 15011 1155 1006 0 15828 0
Current children cumulated CPU time: 3476.98 s
Current children cumulated vsize: 68268 KiB
Current children cumulated memory: 60044 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+3700 s]*
/proc/loadavg: 4.09 4.15 4.16 5/261 195204
/proc/meminfo: memFree=54708216/131524600 swapFree=131061428/131071996
[pid=193122] ppid=193119 vsize=68488 memory=60144 CPUtime=3533.16 cores=5,7
/proc/193122/stat : 193122 (Exact_veripb2) R 193119 193122 189768 0 -1 4194304 12878 0 0 0 350706 2610 0 0 20 0 1 0 20111708 70131712 15036 134679101440 4194304 8311665 140733039431872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 15710 0 0 9173656 9252184 18366464 140733039440713 140733039440992 140733039440992 140733039448007 0
/proc/193122/statm: 17122 15036 1155 1006 0 15883 0
Current children cumulated CPU time: 3533.16 s
Current children cumulated vsize: 68488 KiB
Current children cumulated memory: 60144 KiB

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

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

# cumulated CPU time of all completed processes:  user=3507.07 s, system=26.1293 s

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

[startup+3700.8 s]
/proc/loadavg: 4.09 4.15 4.16 5/261 195204
/proc/meminfo: memFree=54708216/131524600 swapFree=131061428/131071996
[pid=193122] ppid=193119 vsize=46388 memory=41792 CPUtime=3533.18 cores=5,7
/proc/193122/stat : 193122 (Exact_veripb2) D 193119 193122 189768 0 -1 4194304 12879 0 0 0 350706 2612 0 0 20 0 1 0 20111708 47501312 10448 134679101440 4194304 8311665 140733039431872 0 0 0 0 0 8404994 0 0 0 17 7 0 0 15860 0 0 9173656 9252184 18366464 140733039440713 140733039440992 140733039440992 140733039448007 0
/proc/193122/statm: 11597 10448 1170 1006 0 10358 0
Current children cumulated CPU time: 3533.18 s
Current children cumulated vsize: 46388 KiB
Current children cumulated memory: 41792 KiB

[startup+3701 s]*
/proc/loadavg: 4.09 4.15 4.16 4/262 195205
/proc/meminfo: memFree=54710744/131524600 swapFree=131061428/131071996
[pid=193122] ppid=193119 vsize=46388 memory=41792 CPUtime=3533.18 cores=5,7
/proc/193122/stat : 193122 (Exact_veripb2) D 193119 193122 189768 0 -1 4194304 12879 0 0 0 350706 2612 0 0 20 0 1 0 20111708 47501312 10448 134679101440 4194304 8311665 140733039431872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 15899 0 0 9173656 9252184 18366464 140733039440713 140733039440992 140733039440992 140733039448007 0
/proc/193122/statm: 11597 10448 1170 1006 0 10358 0
Current children cumulated CPU time: 3533.18 s
Current children cumulated vsize: 46388 KiB
Current children cumulated memory: 41792 KiB

Child status: 0

Real time (s): 3701.06
CPU time (s): 3533.2
CPU user time (s): 3507.07
CPU system time (s): 26.1293
CPU usage (%): 95.4645
Max. virtual memory (cumulated for all children) (KiB): 68488
Max. memory (cumulated for all children) (KiB): 60144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3507.07
system time used= 26.1293
maximum resident set size= 60144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12880
page faults= 0
swaps= 0
block input operations= 0
block output operations= 45920976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3218
involuntary context switches= 4760


# summary of solver processes directly reported to runsolver:
#   pid: 193122
#   total CPU time (s): 3533.2
#   total CPU user time (s): 3507.07
#   total CPU system time (s): 26.1293

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.99869 second user time and 17.1821 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-24 17:44:48
IDJOB=4450254
IDBENCH=160415
IDSOLVER=3081
FILE ID=nodeC022/4450254-1721835888
RUNJOBID= nodeC022-1721829513-189781
SLURM_JOB_ID= 7891498
Free space on /tmp= 890060 MiB

SOLVER NAME= Exact_veripb2 2024-07-05
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-almost3reg-l100-r099-n1.cnf-extracted.pb.metafix.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-4450254-1721835888/watcher-4450254-1721835888 -o /tmp/evaluation-result-4450254-1721835888/solver-4450254-1721835888 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721829513-189781 --watchdog 3760  HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4450254-1721835888 --seed=875872910 HOME/instance-4450254-1721835888.opb

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

MD5SUM BENCH= 4aca60576f41ce0be442f97c9c36c82a
RANDOM SEED=875872910

nodeC022.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		: 3600.404
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.87
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		: 3659.572
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.75
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		: 3651.335
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.87
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		: 3600.234
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.75
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		: 3651.361
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.87
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		: 3655.421
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.75
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.194
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.87
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		: 3661.304
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        13577796 kB
MemAvailable:   124015644 kB
Buffers:          265008 kB
Cached:         110735256 kB
SwapCached:         1404 kB
Active:          2535920 kB
Inactive:       114341820 kB
Active(anon):       2064 kB
Inactive(anon):  5928880 kB
Active(file):    2533856 kB
Inactive(file): 108412940 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061428 kB
Dirty:            710024 kB
Writeback:             0 kB
AnonPages:       5875504 kB
Mapped:           128412 kB
Shmem:             53732 kB
KReclaimable:     552284 kB
Slab:             700816 kB
SReclaimable:     552284 kB
SUnreclaim:       148532 kB
KernelStack:        4236 kB
PageTables:        21156 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    8192088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17248 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5130240 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:      334548 kB
DirectMap2M:    36139008 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC022 at 2024-07-24 18:46:29