Trace number 4440794

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Exact_veripb2_no_SoPlex 2024-07-05? (TO) 3600.13 3633.08

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_4.opb
MD5SUMdbdf528b135cde252d8c4b9633a10d5c
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark3600.06
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables99789
Total number of constraints388956
Number of constraints which are clauses388925
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints30
Minimum length of a constraint1
Maximum length of a constraint3140
Number of terms in the objective function 3140
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 3140
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 3178
Number of bits of the biggest sum of numbers12
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/3633.00	c Program interrupted by user.
3600.05/3633.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: 63968 MiB (16911 MiB free)
  memory of node 1: 64473 MiB (31073 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440794-1721805220/watcher-4440794-1721805220 -o /tmp/evaluation-result-4440794-1721805220/solver-4440794-1721805220 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721801546-183918 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440794-1721805220 --seed=1432644719 HOME/instance-4440794-1721805220.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=186488, runsolver pid=186485

[startup+0.100097 s]*
/proc/loadavg: 4.22 4.19 4.12 5/258 186489
/proc/meminfo: memFree=49045180/131524600 swapFree=131071996/131071996
[pid=186488] ppid=186485 vsize=118136 memory=90384 CPUtime=0.09 cores=0,2
/proc/186488/stat : 186488 (Exact_veripb2_n) R 186485 186488 183908 0 -1 4194304 13262 0 0 0 7 2 0 0 20 0 1 0 17050395 120971264 22596 134679101440 4194304 7250417 140735855025536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 43663360 140735855027002 140735855027291 140735855027291 140735855034302 0
/proc/186488/statm: 29534 22596 738 747 0 28597 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 118136 KiB
Current children cumulated memory: 90384 KiB

[startup+0.205919 s]*
/proc/loadavg: 4.28 4.20 4.13 5/258 186489
/proc/meminfo: memFree=49020504/131524600 swapFree=131071996/131071996
[pid=186488] ppid=186485 vsize=149960 memory=118020 CPUtime=0.2 cores=0,2
/proc/186488/stat : 186488 (Exact_veripb2_n) R 186485 186488 183908 0 -1 4194304 18135 0 0 0 17 3 0 0 20 0 1 0 17050395 153559040 29505 134679101440 4194304 7250417 140735855025536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 43663360 140735855027002 140735855027291 140735855027291 140735855034302 0
/proc/186488/statm: 37490 29505 738 747 0 36553 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 149960 KiB
Current children cumulated memory: 118020 KiB

[startup+0.30574 s]*
/proc/loadavg: 4.28 4.20 4.13 5/258 186489
/proc/meminfo: memFree=48971340/131524600 swapFree=131071996/131071996
[pid=186488] ppid=186485 vsize=233492 memory=178960 CPUtime=0.3 cores=0,2
/proc/186488/stat : 186488 (Exact_veripb2_n) R 186485 186488 183908 0 -1 4194304 25218 0 0 0 26 4 0 0 20 0 1 0 17050395 239095808 44740 134679101440 4194304 7250417 140735855025536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 43663360 140735855027002 140735855027291 140735855027291 140735855034302 0
/proc/186488/statm: 58373 44740 738 747 0 57436 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 233492 KiB
Current children cumulated memory: 178960 KiB

[startup+0.700242 s]
/proc/loadavg: 4.28 4.20 4.13 5/258 186489
/proc/meminfo: memFree=48956264/131524600 swapFree=131071996/131071996
[pid=186488] ppid=186485 vsize=213528 memory=189392 CPUtime=0.68 cores=0,2
/proc/186488/stat : 186488 (Exact_veripb2_n) R 186485 186488 183908 0 -1 4194304 27834 0 0 0 63 5 0 0 20 0 1 0 17050395 218652672 47348 134679101440 4194304 7250417 140735855025536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 43663360 140735855027002 140735855027291 140735855027291 140735855034302 0
/proc/186488/statm: 53382 47348 770 747 0 52445 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 213528 KiB
Current children cumulated memory: 189392 KiB

[startup+1.50024 s]
/proc/loadavg: 4.28 4.20 4.13 5/258 186489
/proc/meminfo: memFree=48972792/131524600 swapFree=131071996/131071996
[pid=186488] ppid=186485 vsize=184868 memory=170564 CPUtime=1.48 cores=0,2
/proc/186488/stat : 186488 (Exact_veripb2_n) R 186485 186488 183908 0 -1 4194304 32171 0 0 0 141 7 0 0 20 0 1 0 17050395 189304832 42641 134679101440 4194304 7250417 140735855025536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 43663360 140735855027002 140735855027291 140735855027291 140735855034302 0
/proc/186488/statm: 46217 42641 850 747 0 45280 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 184868 KiB
Current children cumulated memory: 170564 KiB

[startup+3.10588 s]
/proc/loadavg: 4.28 4.20 4.13 5/258 186489
/proc/meminfo: memFree=48941000/131524600 swapFree=131071996/131071996
[pid=186488] ppid=186485 vsize=187920 memory=177468 CPUtime=3.09 cores=0,2
/proc/186488/stat : 186488 (Exact_veripb2_n) R 186485 186488 183908 0 -1 4194304 32934 0 0 0 301 8 0 0 20 0 1 0 17050395 192430080 44367 134679101440 4194304 7250417 140735855025536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 43663360 140735855027002 140735855027291 140735855027291 140735855034302 0
/proc/186488/statm: 46980 44367 850 747 0 46043 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 187920 KiB
Current children cumulated memory: 177468 KiB

[startup+6.30022 s]
/proc/loadavg: 4.26 4.20 4.13 5/258 186489
/proc/meminfo: memFree=48848636/131524600 swapFree=131071996/131071996
[pid=186488] ppid=186485 vsize=206568 memory=200728 CPUtime=6.27 cores=0,2
/proc/186488/stat : 186488 (Exact_veripb2_n) R 186485 186488 183908 0 -1 4194304 37733 0 0 0 618 9 0 0 20 0 1 0 17050395 211525632 50182 134679101440 4194304 7250417 140735855025536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 43663360 140735855027002 140735855027291 140735855027291 140735855034302 0
/proc/186488/statm: 51642 50182 850 747 0 50705 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 206568 KiB
Current children cumulated memory: 200728 KiB

[startup+12.7002 s]
/proc/loadavg: 4.24 4.19 4.13 5/258 186490
/proc/meminfo: memFree=48680640/131524600 swapFree=131071996/131071996
[pid=186488] ppid=186485 vsize=236116 memory=218032 CPUtime=12.65 cores=0,2
/proc/186488/stat : 186488 (Exact_veripb2_n) R 186485 186488 183908 0 -1 4194304 39450 0 0 0 1254 11 0 0 20 0 1 0 17050395 241782784 54508 134679101440 4194304 7250417 140735855025536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 43663360 140735855027002 140735855027291 140735855027291 140735855034302 0
/proc/186488/statm: 59029 54508 850 747 0 58092 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 236116 KiB
Current children cumulated memory: 218032 KiB

[startup+25.5002 s]
/proc/loadavg: 4.20 4.19 4.12 4/252 186518
/proc/meminfo: memFree=49237072/131524600 swapFree=131071996/131071996
[pid=186488] ppid=186485 vsize=322216 memory=258748 CPUtime=25.4 cores=0,2
/proc/186488/stat : 186488 (Exact_veripb2_n) R 186485 186488 183908 0 -1 4194304 47922 0 0 0 2525 15 0 0 20 0 1 0 17050395 329949184 64687 134679101440 4194304 7250417 140735855025536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 43663360 140735855027002 140735855027291 140735855027291 140735855034302 0
/proc/186488/statm: 80554 64687 850 747 0 79617 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 322216 KiB
Current children cumulated memory: 258748 KiB

[startup+51.1058 s]
/proc/loadavg: 4.17 4.18 4.12 5/258 186543
/proc/meminfo: memFree=105631136/131524600 swapFree=131071996/131071996
[pid=186488] ppid=186485 vsize=326288 memory=280892 CPUtime=45.73 cores=0,2
/proc/186488/stat : 186488 (Exact_veripb2_n) R 186485 186488 183908 0 -1 4194304 49447 0 0 0 4555 18 0 0 20 0 1 0 17050395 334118912 70223 134679101440 4194304 7250417 140735855025536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 521 0 0 7950792 8015128 43663360 140735855027002 140735855027291 140735855027291 140735855034302 0
/proc/186488/statm: 81572 70223 850 747 0 80635 0
Current children cumulated CPU time: 45.73 s
Current children cumulated vsize: 326288 KiB
Current children cumulated memory: 280892 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.18 4.13 5/257 186550
/proc/meminfo: memFree=102503180/131524600 swapFree=131071996/131071996
[pid=186488] ppid=186485 vsize=409156 memory=340856 CPUtime=96.4 cores=0,2
/proc/186488/stat : 186488 (Exact_veripb2_n) R 186485 186488 183908 0 -1 4194304 53378 0 0 0 9614 26 0 0 20 0 1 0 17050395 418975744 85214 134679101440 4194304 7250417 140735855025536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 556 0 0 7950792 8015128 43663360 140735855027002 140735855027291 140735855027291 140735855034302 0
/proc/186488/statm: 102289 85214 850 747 0 101352 0
Current children cumulated CPU time: 96.4 s
Current children cumulated vsize: 409156 KiB
Current children cumulated memory: 340856 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.18 4.13 5/258 186563
/proc/meminfo: memFree=98651476/131524600 swapFree=131071996/131071996
[pid=186488] ppid=186485 vsize=623516 memory=537624 CPUtime=155.81 cores=0,2
/proc/186488/stat : 186488 (Exact_veripb2_n) R 186485 186488 183908 0 -1 4194304 73652 0 0 0 15538 43 0 0 20 0 1 0 17050395 638480384 134406 134679101440 4194304 7250417 140735855025536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 594 0 0 7950792 8015128 43663360 140735855027002 140735855027291 140735855027291 140735855034302 0
/proc/186488/statm: 155879 134406 850 747 0 154942 0
Current children cumulated CPU time: 155.81 s
Current children cumulated vsize: 623516 KiB
Current children cumulated memory: 537624 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.16 4.12 5/258 186573
/proc/meminfo: memFree=95436516/131524600 swapFree=131071996/131071996
[pid=186488] ppid=186485 vsize=882248 memory=657760 CPUtime=215.4 cores=0,2
/proc/186488/stat : 186488 (Exact_veripb2_n) R 186485 186488 183908 0 -1 4194304 82564 0 0 0 21475 65 0 0 20 0 1 0 17050395 903421952 164440 134679101440 4194304 7250417 140735855025536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 615 0 0 7950792 8015128 43663360 140735855027002 140735855027291 140735855027291 140735855034302 0
/proc/186488/statm: 220562 164440 850 747 0 219625 0
Current children cumulated CPU time: 215.4 s
Current children cumulated vsize: 882248 KiB
Current children cumulated memory: 657760 KiB

[startup+282.3 s]
/proc/loadavg: 4.19 4.17 4.13 5/258 186583
/proc/meminfo: memFree=93325676/131524600 swapFree=131071996/131071996
[pid=186488] ppid=186485 vsize=889632 memory=665664 CPUtime=274.45 cores=0,2
/proc/186488/stat : 186488 (Exact_veripb2_n) R 186485 186488 183908 0 -1 4194304 84741 0 0 0 27371 74 0 0 20 0 1 0 17050395 910983168 166416 134679101440 4194304 7250417 140735855025536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 690 0 0 7950792 8015128 43663360 140735855027002 140735855027291 140735855027291 140735855034302 0
/proc/186488/statm: 222408 166416 850 747 0 221471 0
Current children cumulated CPU time: 274.45 s
Current children cumulated vsize: 889632 KiB
Current children cumulated memory: 665664 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 4.17 4.13 5/256 186594
/proc/meminfo: memFree=89130800/131524600 swapFree=131071996/131071996
[pid=186488] ppid=186485 vsize=903188 memory=683588 CPUtime=333.56 cores=0,2
/proc/186488/stat : 186488 (Exact_veripb2_n) R 186485 186488 183908 0 -1 4194304 88790 0 0 0 33269 87 0 0 20 0 1 0 17050395 924864512 170897 134679101440 4194304 7250417 140735855025536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 757 0 0 7950792 8015128 43663360 140735855027002 140735855027291 140735855027291 140735855034302 0
/proc/186488/statm: 225797 170897 850 747 0 224860 0
Current children cumulated CPU time: 333.56 s
Current children cumulated vsize: 903188 KiB
Current children cumulated memory: 683588 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.15 4.12 5/259 186609
/proc/meminfo: memFree=86228828/131524600 swapFree=131071996/131071996
[pid=186488] ppid=186485 vsize=916436 memory=715192 CPUtime=393.1 cores=0,2
/proc/186488/stat : 186488 (Exact_veripb2_n) R 186485 186488 183908 0 -1 4194304 92723 0 0 0 39209 101 0 0 20 0 1 0 17050395 938430464 178798 134679101440 4194304 7250417 140735855025536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 783 0 0 7950792 8015128 43663360 140735855027002 140735855027291 140735855027291 140735855034302 0
/proc/186488/statm: 229109 178798 850 747 0 228172 0
Current children cumulated CPU time: 393.1 s
Current children cumulated vsize: 916436 KiB
Current children cumulated memory: 715192 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/259 186619
/proc/meminfo: memFree=84484400/131524600 swapFree=131071996/131071996
[pid=186488] ppid=186485 vsize=916436 memory=731908 CPUtime=452.79 cores=0,2
/proc/186488/stat : 186488 (Exact_veripb2_n) R 186485 186488 183908 0 -1 4194304 92937 0 0 0 45171 108 0 0 20 0 1 0 17050395 938430464 182977 134679101440 4194304 7250417 140735855025536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 794 0 0 7950792 8015128 43663360 140735855027002 140735855027291 140735855027291 140735855034302 0
/proc/186488/statm: 229109 182977 850 747 0 228172 0

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

Current children cumulated memory: 1017876 KiB

[startup+2862.3 s]
/proc/loadavg: 4.04 4.12 4.15 5/262 188376
/proc/meminfo: memFree=68671948/131524600 swapFree=131071996/131071996
[pid=186488] ppid=186485 vsize=1364816 memory=1019868 CPUtime=2832.94 cores=0,2
/proc/186488/stat : 186488 (Exact_veripb2_n) R 186485 186488 183908 0 -1 4194304 112675 0 0 0 282664 630 0 0 20 0 1 0 17050395 1397571584 254967 134679101440 4194304 7250417 140735855025536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1788 0 0 7950792 8015128 43663360 140735855027002 140735855027291 140735855027291 140735855034302 0
/proc/186488/statm: 341204 254967 850 747 0 340267 0
Current children cumulated CPU time: 2832.94 s
Current children cumulated vsize: 1364816 KiB
Current children cumulated memory: 1019868 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.12 4.15 5/261 188387
/proc/meminfo: memFree=66857464/131524600 swapFree=131071996/131071996
[pid=186488] ppid=186485 vsize=1364816 memory=1019984 CPUtime=2892.63 cores=0,2
/proc/186488/stat : 186488 (Exact_veripb2_n) R 186485 186488 183908 0 -1 4194304 112854 0 0 0 288625 638 0 0 20 0 1 0 17050395 1397571584 254996 134679101440 4194304 7250417 140735855025536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1796 0 0 7950792 8015128 43663360 140735855027002 140735855027291 140735855027291 140735855034302 0
/proc/186488/statm: 341204 254996 850 747 0 340267 0
Current children cumulated CPU time: 2892.63 s
Current children cumulated vsize: 1364816 KiB
Current children cumulated memory: 1019984 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.15 5/259 188398
/proc/meminfo: memFree=65839940/131524600 swapFree=131071996/131071996
[pid=186488] ppid=186485 vsize=1364816 memory=1019984 CPUtime=2952.38 cores=0,2
/proc/186488/stat : 186488 (Exact_veripb2_n) R 186485 186488 183908 0 -1 4194304 113077 0 0 0 294590 648 0 0 20 0 1 0 17050395 1397571584 254996 134679101440 4194304 7250417 140735855025536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1796 0 0 7950792 8015128 43663360 140735855027002 140735855027291 140735855027291 140735855034302 0
/proc/186488/statm: 341204 254996 850 747 0 340267 0
Current children cumulated CPU time: 2952.38 s
Current children cumulated vsize: 1364816 KiB
Current children cumulated memory: 1019984 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.15 5/259 188408
/proc/meminfo: memFree=64641060/131524600 swapFree=131071996/131071996
[pid=186488] ppid=186485 vsize=1364816 memory=1019984 CPUtime=3011.87 cores=0,2
/proc/186488/stat : 186488 (Exact_veripb2_n) R 186485 186488 183908 0 -1 4194304 113339 0 0 0 300531 656 0 0 20 0 1 0 17050395 1397571584 254996 134679101440 4194304 7250417 140735855025536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1825 0 0 7950792 8015128 43663360 140735855027002 140735855027291 140735855027291 140735855034302 0
/proc/186488/statm: 341204 254996 850 747 0 340267 0
Current children cumulated CPU time: 3011.87 s
Current children cumulated vsize: 1364816 KiB
Current children cumulated memory: 1019984 KiB

[startup+3102.3 s]
/proc/loadavg: 4.56 4.22 4.18 5/258 188418
/proc/meminfo: memFree=63602768/131524600 swapFree=131071996/131071996
[pid=186488] ppid=186485 vsize=1367728 memory=1022896 CPUtime=3071.36 cores=0,2
/proc/186488/stat : 186488 (Exact_veripb2_n) R 186485 186488 183908 0 -1 4194304 114196 0 0 0 306467 669 0 0 20 0 1 0 17050395 1400553472 255724 134679101440 4194304 7250417 140735855025536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1855 0 0 7950792 8015128 43663360 140735855027002 140735855027291 140735855027291 140735855034302 0
/proc/186488/statm: 341932 255724 850 747 0 340995 0
Current children cumulated CPU time: 3071.36 s
Current children cumulated vsize: 1367728 KiB
Current children cumulated memory: 1022896 KiB

[startup+3162.3 s]
/proc/loadavg: 4.25 4.20 4.17 5/257 188430
/proc/meminfo: memFree=62783276/131524600 swapFree=131071996/131071996
[pid=186488] ppid=186485 vsize=1367728 memory=1022896 CPUtime=3131.17 cores=0,2
/proc/186488/stat : 186488 (Exact_veripb2_n) R 186485 186488 183908 0 -1 4194304 114323 0 0 0 312444 673 0 0 20 0 1 0 17050395 1400553472 255724 134679101440 4194304 7250417 140735855025536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1855 0 0 7950792 8015128 43663360 140735855027002 140735855027291 140735855027291 140735855034302 0
/proc/186488/statm: 341932 255724 850 747 0 340995 0
Current children cumulated CPU time: 3131.17 s
Current children cumulated vsize: 1367728 KiB
Current children cumulated memory: 1022896 KiB

[startup+3222.3 s]
/proc/loadavg: 4.20 4.19 4.17 4/255 188440
/proc/meminfo: memFree=61623884/131524600 swapFree=131071996/131071996
[pid=186488] ppid=186485 vsize=1367728 memory=1022896 CPUtime=3190.96 cores=0,2
/proc/186488/stat : 186488 (Exact_veripb2_n) R 186485 186488 183908 0 -1 4194304 114429 0 0 0 318421 675 0 0 20 0 1 0 17050395 1400553472 255724 134679101440 4194304 7250417 140735855025536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1857 0 0 7950792 8015128 43663360 140735855027002 140735855027291 140735855027291 140735855034302 0
/proc/186488/statm: 341932 255724 850 747 0 340995 0
Current children cumulated CPU time: 3190.96 s
Current children cumulated vsize: 1367728 KiB
Current children cumulated memory: 1022896 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.15 4.16 5/257 188454
/proc/meminfo: memFree=58668252/131524600 swapFree=131071996/131071996
[pid=186488] ppid=186485 vsize=1367728 memory=1022896 CPUtime=3250.75 cores=0,2
/proc/186488/stat : 186488 (Exact_veripb2_n) R 186485 186488 183908 0 -1 4194304 114513 0 0 0 324395 680 0 0 20 0 1 0 17050395 1400553472 255724 134679101440 4194304 7250417 140735855025536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1857 0 0 7950792 8015128 43663360 140735855027002 140735855027291 140735855027291 140735855034302 0
/proc/186488/statm: 341932 255724 850 747 0 340995 0
Current children cumulated CPU time: 3250.75 s
Current children cumulated vsize: 1367728 KiB
Current children cumulated memory: 1022896 KiB

[startup+3342.3 s]
/proc/loadavg: 4.24 4.18 4.17 5/257 188465
/proc/meminfo: memFree=56854116/131524600 swapFree=131071996/131071996
[pid=186488] ppid=186485 vsize=1367728 memory=1022896 CPUtime=3310.49 cores=0,2
/proc/186488/stat : 186488 (Exact_veripb2_n) R 186485 186488 183908 0 -1 4194304 114849 0 0 0 330361 688 0 0 20 0 1 0 17050395 1400553472 255724 134679101440 4194304 7250417 140735855025536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1857 0 0 7950792 8015128 43663360 140735855027002 140735855027291 140735855027291 140735855034302 0
/proc/186488/statm: 341932 255724 850 747 0 340995 0
Current children cumulated CPU time: 3310.49 s
Current children cumulated vsize: 1367728 KiB
Current children cumulated memory: 1022896 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.18 4.17 5/258 188478
/proc/meminfo: memFree=55768444/131524600 swapFree=131071996/131071996
[pid=186488] ppid=186485 vsize=1367728 memory=1022896 CPUtime=3370.23 cores=0,2
/proc/186488/stat : 186488 (Exact_veripb2_n) R 186485 186488 183908 0 -1 4194304 115111 0 0 0 336333 690 0 0 20 0 1 0 17050395 1400553472 255724 134679101440 4194304 7250417 140735855025536 0 0 0 0 0 8404994 0 0 0 17 2 0 0 1858 0 0 7950792 8015128 43663360 140735855027002 140735855027291 140735855027291 140735855034302 0
/proc/186488/statm: 341932 255724 850 747 0 340995 0
Current children cumulated CPU time: 3370.23 s
Current children cumulated vsize: 1367728 KiB
Current children cumulated memory: 1022896 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.16 4.17 5/258 188488
/proc/meminfo: memFree=54265976/131524600 swapFree=131071996/131071996
[pid=186488] ppid=186485 vsize=1369664 memory=1024832 CPUtime=3429.88 cores=0,2
/proc/186488/stat : 186488 (Exact_veripb2_n) R 186485 186488 183908 0 -1 4194304 115748 0 0 0 342284 704 0 0 20 0 1 0 17050395 1402535936 256208 134679101440 4194304 7250417 140735855025536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1858 0 0 7950792 8015128 43663360 140735855027002 140735855027291 140735855027291 140735855034302 0
/proc/186488/statm: 342416 256208 850 747 0 341479 0
Current children cumulated CPU time: 3429.88 s
Current children cumulated vsize: 1369664 KiB
Current children cumulated memory: 1024832 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.16 4.17 5/258 188499
/proc/meminfo: memFree=53327452/131524600 swapFree=131071996/131071996
[pid=186488] ppid=186485 vsize=1369664 memory=1024832 CPUtime=3489.71 cores=0,2
/proc/186488/stat : 186488 (Exact_veripb2_n) R 186485 186488 183908 0 -1 4194304 115832 0 0 0 348264 707 0 0 20 0 1 0 17050395 1402535936 256208 134679101440 4194304 7250417 140735855025536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1858 0 0 7950792 8015128 43663360 140735855027002 140735855027291 140735855027291 140735855034302 0
/proc/186488/statm: 342416 256208 850 747 0 341479 0
Current children cumulated CPU time: 3489.71 s
Current children cumulated vsize: 1369664 KiB
Current children cumulated memory: 1024832 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/259 188511
/proc/meminfo: memFree=52410036/131524600 swapFree=131071996/131071996
[pid=186488] ppid=186485 vsize=1369664 memory=1024832 CPUtime=3549.52 cores=0,2
/proc/186488/stat : 186488 (Exact_veripb2_n) R 186485 186488 183908 0 -1 4194304 115916 0 0 0 354245 707 0 0 20 0 1 0 17050395 1402535936 256208 134679101440 4194304 7250417 140735855025536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1858 0 0 7950792 8015128 43663360 140735855027002 140735855027291 140735855027291 140735855034302 0
/proc/186488/statm: 342416 256208 850 747 0 341479 0
Current children cumulated CPU time: 3549.52 s
Current children cumulated vsize: 1369664 KiB
Current children cumulated memory: 1024832 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3633 s]*
/proc/loadavg: 4.10 4.14 4.16 5/259 188566
/proc/meminfo: memFree=84375764/131524600 swapFree=131071996/131071996
[pid=186488] ppid=186485 vsize=1369664 memory=1024836 CPUtime=3600.05 cores=0,2
/proc/186488/stat : 186488 (Exact_veripb2_n) R 186485 186488 183908 0 -1 4194304 115967 0 0 0 359297 708 0 0 20 0 1 0 17050395 1402535936 256209 134679101440 4194304 7250417 140735855025536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1858 0 0 7950792 8015128 43663360 140735855027002 140735855027291 140735855027291 140735855034302 0
/proc/186488/statm: 342416 256209 850 747 0 341479 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1369664 KiB
Current children cumulated memory: 1024836 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.02 s, system=7.10663 s

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

Child status: 0

Real time (s): 3633.08
CPU time (s): 3600.13
CPU user time (s): 3593.02
CPU system time (s): 7.10663
CPU usage (%): 99.0932
Max. virtual memory (cumulated for all children) (KiB): 1798492
Max. memory (cumulated for all children) (KiB): 1287552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.02
system time used= 7.10663
maximum resident set size= 1394048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116042
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12698536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 171
involuntary context switches= 26302


# summary of solver processes directly reported to runsolver:
#   pid: 186488
#   total CPU time (s): 3600.13
#   total CPU user time (s): 3593.02
#   total CPU system time (s): 7.10663

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.08492 second user time and 17.9704 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-07-24 09:13:40
IDJOB=4440794
IDBENCH=148190
IDSOLVER=3080
FILE ID=nodeC020/4440794-1721805220
RUNJOBID= nodeC020-1721801546-183918
SLURM_JOB_ID= 7770683
Free space on /tmp= 890036 MiB

SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_4.opb
COMMAND LINE= HOME/Exact_veripb2_nosoplex --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-4440794-1721805220/watcher-4440794-1721805220 -o /tmp/evaluation-result-4440794-1721805220/solver-4440794-1721805220 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721801546-183918 --watchdog 3760  HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440794-1721805220 --seed=1432644719 HOME/instance-4440794-1721805220.opb

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

MD5SUM BENCH= dbdf528b135cde252d8c4b9633a10d5c
RANDOM SEED=1432644719

nodeC020.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		: 3664.906
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.31
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		: 3683.263
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.25
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		: 3650.208
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.31
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		: 3599.909
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.25
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		: 3664.581
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.31
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		: 3683.257
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.25
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		: 3607.784
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.31
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		: 3600.043
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        49137744 kB
MemAvailable:   125743408 kB
Buffers:          240044 kB
Cached:         76996668 kB
SwapCached:            0 kB
Active:          2629508 kB
Inactive:       78757300 kB
Active(anon):       1536 kB
Inactive(anon):  4202416 kB
Active(file):    2627972 kB
Inactive(file): 74554884 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            541760 kB
Writeback:             0 kB
AnonPages:       4148924 kB
Mapped:           130280 kB
Shmem:             54096 kB
KReclaimable:     484216 kB
Slab:             631192 kB
SReclaimable:     484216 kB
SUnreclaim:       146976 kB
KernelStack:        4144 kB
PageTables:        17800 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    4851280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            22592 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3461120 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:      359124 kB
DirectMap2M:    43454464 kB
DirectMap1G:    92274688 kB

Free space on /tmp at the end= 889992 MiB
End job on nodeC020 at 2024-07-24 10:14:14