Trace number 4511697

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
roundingsat-log 63f22ad? (MO) 3483.3 3494.15

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm95p-dec.opb.negationfix.opb
MD5SUM4a42be2aaf272439af058ac9b796a856
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark2.94313
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables661504
Total number of constraints5680
Number of constraints which are clauses2583
Number of constraints which are cardinality constraints (but not clauses)2583
Number of constraints which are nor clauses,nor cardinality constraints514
Minimum length of a constraint256
Maximum length of a constraint2584
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 935283
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 2150318
Number of bits of the biggest sum of numbers22
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
1.16/1.25	c #variables 661504 #constraints 5680
3481.52/3491.19	terminate called after throwing an instance of 'std::bad_alloc'
3481.52/3491.19	  what():  std::bad_alloc

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: 63708 MiB (60147 MiB free)
  memory of node 1: 64465 MiB (60791 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4511697-1751199885/watcher-4511697-1751199885 -o /tmp/evaluation-result-4511697-1751199885/solver-4511697-1751199885 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751193766-27547 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4511697-1751199885.opb PROOFDIR/proof-4511697-1751199885 

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 FSIZE limit: 102400000 KiB
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=30160, runsolver pid=30157

[startup+0.100064 s]*
/proc/loadavg: 4.09 4.18 4.14 5/278 30162
/proc/meminfo: memFree=123717424/131250000 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/30160/stat : 30160 (run-dec-log.sh) S 30157 30160 27537 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35667990 4292608 768 18446744073709551615 94172327206912 94172328101445 140736660905536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94172328340496 94172328388240 94172334034944 140736660912417 140736660912612 140736660912612 140736660918214 0
/proc/30160/statm: 1048 768 704 219 0 110 0
[pid=30162] ppid=30160 vsize=189160 memory=144112 CPUtime=0.08 cores=0,2
/proc/30162/stat : 30162 (roundingsat) R 30160 30160 27537 0 -1 4194304 9082 0 0 0 5 3 0 0 20 0 1 0 35667991 193699840 36028 18446744073709551615 4227072 8923433 140722782707296 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 29310976 140722782710119 140722782710312 140722782710312 140722782715882 0
/proc/30162/statm: 47290 36028 1920 1147 0 34717 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 193352 KiB
Current children cumulated memory: 147184 KiB

[startup+0.205811 s]*
/proc/loadavg: 4.09 4.18 4.14 5/278 30162
/proc/meminfo: memFree=123704508/131250000 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/30160/stat : 30160 (run-dec-log.sh) S 30157 30160 27537 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35667990 4292608 768 18446744073709551615 94172327206912 94172328101445 140736660905536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94172328340496 94172328388240 94172334034944 140736660912417 140736660912612 140736660912612 140736660918214 0
/proc/30160/statm: 1048 768 704 219 0 110 0
[pid=30162] ppid=30160 vsize=198388 memory=155420 CPUtime=0.18 cores=0,2
/proc/30162/stat : 30162 (roundingsat) R 30160 30160 27537 0 -1 4194304 17448 0 0 0 14 4 0 0 20 0 1 0 35667991 203149312 38855 18446744073709551615 4227072 8923433 140722782707296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29310976 140722782710119 140722782710312 140722782710312 140722782715882 0
/proc/30162/statm: 49597 38855 1920 1147 0 37024 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 202580 KiB
Current children cumulated memory: 158492 KiB

[startup+0.305779 s]*
/proc/loadavg: 4.09 4.18 4.14 6/278 30162
/proc/meminfo: memFree=123704328/131250000 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/30160/stat : 30160 (run-dec-log.sh) S 30157 30160 27537 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35667990 4292608 768 18446744073709551615 94172327206912 94172328101445 140736660905536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94172328340496 94172328388240 94172334034944 140736660912417 140736660912612 140736660912612 140736660918214 0
/proc/30160/statm: 1048 768 704 219 0 110 0
[pid=30162] ppid=30160 vsize=209880 memory=165264 CPUtime=0.28 cores=0,2
/proc/30162/stat : 30162 (roundingsat) R 30160 30160 27537 0 -1 4194304 25603 0 0 0 23 5 0 0 20 0 1 0 35667991 214917120 41316 18446744073709551615 4227072 8923433 140722782707296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29310976 140722782710119 140722782710312 140722782710312 140722782715882 0
/proc/30162/statm: 52470 41316 1952 1147 0 39897 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 214072 KiB
Current children cumulated memory: 168336 KiB

[startup+0.7002 s]
/proc/loadavg: 4.09 4.18 4.14 5/278 30162
/proc/meminfo: memFree=123696772/131250000 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/30160/stat : 30160 (run-dec-log.sh) S 30157 30160 27537 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35667990 4292608 768 18446744073709551615 94172327206912 94172328101445 140736660905536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94172328340496 94172328388240 94172334034944 140736660912417 140736660912612 140736660912612 140736660918214 0
/proc/30160/statm: 1048 768 704 219 0 110 0
[pid=30162] ppid=30160 vsize=241148 memory=191776 CPUtime=0.67 cores=0,2
/proc/30162/stat : 30162 (roundingsat) R 30160 30160 27537 0 -1 4194304 41537 0 0 0 58 9 0 0 20 0 1 0 35667991 246935552 47944 18446744073709551615 4227072 8923433 140722782707296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29310976 140722782710119 140722782710312 140722782710312 140722782715882 0
/proc/30162/statm: 60287 47944 1952 1147 0 47714 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 245340 KiB
Current children cumulated memory: 194848 KiB

[startup+1.50022 s]
/proc/loadavg: 4.09 4.18 4.14 5/278 30162
/proc/meminfo: memFree=123662436/131250000 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/30160/stat : 30160 (run-dec-log.sh) S 30157 30160 27537 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35667990 4292608 768 18446744073709551615 94172327206912 94172328101445 140736660905536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94172328340496 94172328388240 94172334034944 140736660912417 140736660912612 140736660912612 140736660918214 0
/proc/30160/statm: 1048 768 704 219 0 110 0
[pid=30162] ppid=30160 vsize=533004 memory=488224 CPUtime=1.47 cores=0,2
/proc/30162/stat : 30162 (roundingsat) R 30160 30160 27537 0 -1 4194304 80370 0 0 0 124 23 0 0 20 0 1 0 35667991 545796096 122056 18446744073709551615 4227072 8923433 140722782707296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29310976 140722782710119 140722782710312 140722782710312 140722782715882 0
/proc/30162/statm: 133251 122056 2208 1147 0 120678 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 537196 KiB
Current children cumulated memory: 491296 KiB

[startup+3.10556 s]
/proc/loadavg: 4.16 4.20 4.15 5/278 30162
/proc/meminfo: memFree=123237372/131250000 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/30160/stat : 30160 (run-dec-log.sh) S 30157 30160 27537 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35667990 4292608 768 18446744073709551615 94172327206912 94172328101445 140736660905536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94172328340496 94172328388240 94172334034944 140736660912417 140736660912612 140736660912612 140736660918214 0
/proc/30160/statm: 1048 768 704 219 0 110 0
[pid=30162] ppid=30160 vsize=688648 memory=620300 CPUtime=3.07 cores=0,2
/proc/30162/stat : 30162 (roundingsat) R 30160 30160 27537 0 -1 4194304 102606 0 0 0 265 42 0 0 20 0 1 0 35667991 705175552 155075 18446744073709551615 4227072 8923433 140722782707296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29310976 140722782710119 140722782710312 140722782710312 140722782715882 0
/proc/30162/statm: 172162 155075 2272 1147 0 159589 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 692840 KiB
Current children cumulated memory: 623372 KiB

[startup+6.30019 s]
/proc/loadavg: 4.16 4.20 4.15 5/278 30162
/proc/meminfo: memFree=123156692/131250000 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/30160/stat : 30160 (run-dec-log.sh) S 30157 30160 27537 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35667990 4292608 768 18446744073709551615 94172327206912 94172328101445 140736660905536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94172328340496 94172328388240 94172334034944 140736660912417 140736660912612 140736660912612 140736660918214 0
/proc/30160/statm: 1048 768 704 219 0 110 0
[pid=30162] ppid=30160 vsize=756348 memory=680228 CPUtime=6.25 cores=0,2
/proc/30162/stat : 30162 (roundingsat) R 30160 30160 27537 0 -1 4194304 105363 0 0 0 510 115 0 0 20 0 1 0 35667991 774500352 170057 18446744073709551615 4227072 8923433 140722782707296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29310976 140722782710119 140722782710312 140722782710312 140722782715882 0
/proc/30162/statm: 189087 170057 2272 1147 0 176514 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 760540 KiB
Current children cumulated memory: 683300 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.19 4.15 5/278 30162
/proc/meminfo: memFree=123018808/131250000 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/30160/stat : 30160 (run-dec-log.sh) S 30157 30160 27537 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35667990 4292608 768 18446744073709551615 94172327206912 94172328101445 140736660905536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94172328340496 94172328388240 94172334034944 140736660912417 140736660912612 140736660912612 140736660918214 0
/proc/30160/statm: 1048 768 704 219 0 110 0
[pid=30162] ppid=30160 vsize=837256 memory=745960 CPUtime=12.64 cores=0,2
/proc/30162/stat : 30162 (roundingsat) R 30160 30160 27537 0 -1 4194304 106007 0 0 0 1027 237 0 0 20 0 1 0 35667991 857350144 186490 18446744073709551615 4227072 8923433 140722782707296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29310976 140722782710119 140722782710312 140722782710312 140722782715882 0
/proc/30162/statm: 209314 186490 2304 1147 0 196741 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 841448 KiB
Current children cumulated memory: 749032 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.18 4.14 5/279 30163
/proc/meminfo: memFree=122841732/131250000 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/30160/stat : 30160 (run-dec-log.sh) S 30157 30160 27537 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35667990 4292608 768 18446744073709551615 94172327206912 94172328101445 140736660905536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94172328340496 94172328388240 94172334034944 140736660912417 140736660912612 140736660912612 140736660918214 0
/proc/30160/statm: 1048 768 704 219 0 110 0
[pid=30162] ppid=30160 vsize=945432 memory=813740 CPUtime=25.4 cores=0,2
/proc/30162/stat : 30162 (roundingsat) R 30160 30160 27537 0 -1 4194304 113754 0 0 0 2283 257 0 0 20 0 1 0 35667991 968122368 203435 18446744073709551615 4227072 8923433 140722782707296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29310976 140722782710119 140722782710312 140722782710312 140722782715882 0
/proc/30162/statm: 236358 203435 2304 1147 0 223785 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 949624 KiB
Current children cumulated memory: 816812 KiB

[startup+51.1057 s]
/proc/loadavg: 4.14 4.18 4.15 5/277 30164
/proc/meminfo: memFree=122295576/131250000 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/30160/stat : 30160 (run-dec-log.sh) S 30157 30160 27537 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35667990 4292608 768 18446744073709551615 94172327206912 94172328101445 140736660905536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94172328340496 94172328388240 94172334034944 140736660912417 140736660912612 140736660912612 140736660918214 0
/proc/30160/statm: 1048 768 704 219 0 110 0
[pid=30162] ppid=30160 vsize=1211768 memory=1104540 CPUtime=50.94 cores=0,2
/proc/30162/stat : 30162 (roundingsat) R 30160 30160 27537 0 -1 4194304 147646 0 0 0 4689 405 0 0 20 0 1 0 35667991 1240850432 276135 18446744073709551615 4227072 8923433 140722782707296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29310976 140722782710119 140722782710312 140722782710312 140722782715882 0
/proc/30162/statm: 302942 276135 2304 1147 0 290369 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1215960 KiB
Current children cumulated memory: 1107612 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.17 4.14 5/276 30167
/proc/meminfo: memFree=120806152/131250000 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/30160/stat : 30160 (run-dec-log.sh) S 30157 30160 27537 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35667990 4292608 768 18446744073709551615 94172327206912 94172328101445 140736660905536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94172328340496 94172328388240 94172334034944 140736660912417 140736660912612 140736660912612 140736660918214 0
/proc/30160/statm: 1048 768 704 219 0 110 0
[pid=30162] ppid=30160 vsize=2333308 memory=1992784 CPUtime=101.99 cores=0,2
/proc/30162/stat : 30162 (roundingsat) R 30160 30160 27537 0 -1 4194304 355992 0 0 0 9441 758 0 0 20 0 1 0 35667991 2389307392 498196 18446744073709551615 4227072 8923433 140722782707296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29310976 140722782710119 140722782710312 140722782710312 140722782715882 0
/proc/30162/statm: 583327 498196 2304 1147 0 570754 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 2337500 KiB
Current children cumulated memory: 1995856 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.15 4.14 5/275 30169
/proc/meminfo: memFree=120082068/131250000 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/30160/stat : 30160 (run-dec-log.sh) S 30157 30160 27537 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35667990 4292608 768 18446744073709551615 94172327206912 94172328101445 140736660905536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94172328340496 94172328388240 94172334034944 140736660912417 140736660912612 140736660912612 140736660918214 0
/proc/30160/statm: 1048 768 704 219 0 110 0
[pid=30162] ppid=30160 vsize=2836280 memory=2423572 CPUtime=161.82 cores=0,2
/proc/30162/stat : 30162 (roundingsat) R 30160 30160 27537 0 -1 4194304 394539 0 0 0 15382 800 0 0 20 0 1 0 35667991 2904350720 605893 18446744073709551615 4227072 8923433 140722782707296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29310976 140722782710119 140722782710312 140722782710312 140722782715882 0
/proc/30162/statm: 709070 605893 2304 1147 0 696497 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 2840472 KiB
Current children cumulated memory: 2426644 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.16 4.14 5/275 30218
/proc/meminfo: memFree=119656184/131250000 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/30160/stat : 30160 (run-dec-log.sh) S 30157 30160 27537 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35667990 4292608 768 18446744073709551615 94172327206912 94172328101445 140736660905536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94172328340496 94172328388240 94172334034944 140736660912417 140736660912612 140736660912612 140736660918214 0
/proc/30160/statm: 1048 768 704 219 0 110 0
[pid=30162] ppid=30160 vsize=2918820 memory=2678396 CPUtime=221.65 cores=0,2
/proc/30162/stat : 30162 (roundingsat) R 30160 30160 27537 0 -1 4194304 414519 0 0 0 21321 844 0 0 20 0 1 0 35667991 2988871680 669599 18446744073709551615 4227072 8923433 140722782707296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29310976 140722782710119 140722782710312 140722782710312 140722782715882 0

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

/proc/30160/stat : 30160 (run-dec-log.sh) S 30157 30160 27537 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35667990 4292608 768 18446744073709551615 94172327206912 94172328101445 140736660905536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94172328340496 94172328388240 94172334034944 140736660912417 140736660912612 140736660912612 140736660918214 0
/proc/30160/statm: 1048 768 704 219 0 110 0
[pid=30162] ppid=30160 vsize=27279060 memory=22894968 CPUtime=3093.85 cores=0,2
/proc/30162/stat : 30162 (roundingsat) R 30160 30160 27537 0 -1 4194304 4494951 0 0 0 305736 3649 0 0 20 0 1 0 35667991 27933757440 5723742 18446744073709551615 4227072 8923433 140722782707296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29310976 140722782710119 140722782710312 140722782710312 140722782715882 0
/proc/30162/statm: 6819765 5723742 2304 1147 0 6807192 0
Current children cumulated CPU time: 3093.85 s
Current children cumulated vsize: 27283252 KiB
Current children cumulated memory: 22898040 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.19 4.12 5/276 30616
/proc/meminfo: memFree=46948300/131250000 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/30160/stat : 30160 (run-dec-log.sh) S 30157 30160 27537 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35667990 4292608 768 18446744073709551615 94172327206912 94172328101445 140736660905536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94172328340496 94172328388240 94172334034944 140736660912417 140736660912612 140736660912612 140736660918214 0
/proc/30160/statm: 1048 768 704 219 0 110 0
[pid=30162] ppid=30160 vsize=27279232 memory=22912248 CPUtime=3153.69 cores=0,2
/proc/30162/stat : 30162 (roundingsat) R 30160 30160 27537 0 -1 4194304 4599751 0 0 0 311681 3688 0 0 20 0 1 0 35667991 27933933568 5728062 18446744073709551615 4227072 8923433 140722782707296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29310976 140722782710119 140722782710312 140722782710312 140722782715882 0
/proc/30162/statm: 6819808 5728062 2304 1147 0 6807235 0
Current children cumulated CPU time: 3153.69 s
Current children cumulated vsize: 27283424 KiB
Current children cumulated memory: 22915320 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.16 4.11 5/275 30619
/proc/meminfo: memFree=44248088/131250000 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/30160/stat : 30160 (run-dec-log.sh) S 30157 30160 27537 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35667990 4292608 768 18446744073709551615 94172327206912 94172328101445 140736660905536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94172328340496 94172328388240 94172334034944 140736660912417 140736660912612 140736660912612 140736660918214 0
/proc/30160/statm: 1048 768 704 219 0 110 0
[pid=30162] ppid=30160 vsize=27279232 memory=22924920 CPUtime=3213.51 cores=0,2
/proc/30162/stat : 30162 (roundingsat) R 30160 30160 27537 0 -1 4194304 4683721 0 0 0 317600 3751 0 0 20 0 1 0 35667991 27933933568 5731230 18446744073709551615 4227072 8923433 140722782707296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29310976 140722782710119 140722782710312 140722782710312 140722782715882 0
/proc/30162/statm: 6819808 5731230 2304 1147 0 6807235 0
Current children cumulated CPU time: 3213.51 s
Current children cumulated vsize: 27283424 KiB
Current children cumulated memory: 22927992 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/276 30622
/proc/meminfo: memFree=42600824/131250000 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/30160/stat : 30160 (run-dec-log.sh) S 30157 30160 27537 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35667990 4292608 768 18446744073709551615 94172327206912 94172328101445 140736660905536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94172328340496 94172328388240 94172334034944 140736660912417 140736660912612 140736660912612 140736660918214 0
/proc/30160/statm: 1048 768 704 219 0 110 0
[pid=30162] ppid=30160 vsize=27279232 memory=22939512 CPUtime=3273.34 cores=0,2
/proc/30162/stat : 30162 (roundingsat) R 30160 30160 27537 0 -1 4194304 4763245 0 0 0 323532 3802 0 0 20 0 1 0 35667991 27933933568 5734878 18446744073709551615 4227072 8923433 140722782707296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29310976 140722782710119 140722782710312 140722782710312 140722782715882 0
/proc/30162/statm: 6819808 5734878 2304 1147 0 6807235 0
Current children cumulated CPU time: 3273.34 s
Current children cumulated vsize: 27283424 KiB
Current children cumulated memory: 22942584 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/273 30624
/proc/meminfo: memFree=41444560/131250000 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/30160/stat : 30160 (run-dec-log.sh) S 30157 30160 27537 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35667990 4292608 768 18446744073709551615 94172327206912 94172328101445 140736660905536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94172328340496 94172328388240 94172334034944 140736660912417 140736660912612 140736660912612 140736660918214 0
/proc/30160/statm: 1048 768 704 219 0 110 0
[pid=30162] ppid=30160 vsize=27279232 memory=22955896 CPUtime=3333.16 cores=0,2
/proc/30162/stat : 30162 (roundingsat) R 30160 30160 27537 0 -1 4194304 4817020 0 0 0 329446 3870 0 0 20 0 1 0 35667991 27933933568 5738974 18446744073709551615 4227072 8923433 140722782707296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29310976 140722782710119 140722782710312 140722782710312 140722782715882 0
/proc/30162/statm: 6819808 5738974 2304 1147 0 6807235 0
Current children cumulated CPU time: 3333.16 s
Current children cumulated vsize: 27283424 KiB
Current children cumulated memory: 22958968 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/273 30626
/proc/meminfo: memFree=40087804/131250000 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/30160/stat : 30160 (run-dec-log.sh) S 30157 30160 27537 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35667990 4292608 768 18446744073709551615 94172327206912 94172328101445 140736660905536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94172328340496 94172328388240 94172334034944 140736660912417 140736660912612 140736660912612 140736660918214 0
/proc/30160/statm: 1048 768 704 219 0 110 0
[pid=30162] ppid=30160 vsize=27279232 memory=23149432 CPUtime=3392.98 cores=0,2
/proc/30162/stat : 30162 (roundingsat) R 30160 30160 27537 0 -1 4194304 4889309 0 0 0 335362 3936 0 0 20 0 1 0 35667991 27933933568 5787358 18446744073709551615 4227072 8923433 140722782707296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29310976 140722782710119 140722782710312 140722782710312 140722782715882 0
/proc/30162/statm: 6819808 5787358 2304 1147 0 6807235 0
Current children cumulated CPU time: 3392.98 s
Current children cumulated vsize: 27283424 KiB
Current children cumulated memory: 23152504 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/273 30631
/proc/meminfo: memFree=38464240/131250000 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/30160/stat : 30160 (run-dec-log.sh) S 30157 30160 27537 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35667990 4292608 768 18446744073709551615 94172327206912 94172328101445 140736660905536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94172328340496 94172328388240 94172334034944 140736660912417 140736660912612 140736660912612 140736660918214 0
/proc/30160/statm: 1048 768 704 219 0 110 0
[pid=30162] ppid=30160 vsize=27319728 memory=23668400 CPUtime=3452.81 cores=0,2
/proc/30162/stat : 30162 (roundingsat) R 30160 30160 27537 0 -1 4194304 4940841 0 0 0 341291 3990 0 0 20 0 1 0 35667991 27975401472 5917100 18446744073709551615 4227072 8923433 140722782707296 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29310976 140722782710119 140722782710312 140722782710312 140722782715882 0
/proc/30162/statm: 6829932 5917100 2304 1147 0 6817359 0
Current children cumulated CPU time: 3452.81 s
Current children cumulated vsize: 27323920 KiB
Current children cumulated memory: 23671472 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+3491.2 s]
/proc/loadavg: 4.15 4.14 4.10 5/273 30631
/proc/meminfo: memFree=35423936/131250000 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/30160/stat : 30160 (run-dec-log.sh) S 30157 30160 27537 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35667990 4292608 768 18446744073709551615 94172327206912 94172328101445 140736660905536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94172328340496 94172328388240 94172334034944 140736660912417 140736660912612 140736660912612 140736660918214 0
/proc/30160/statm: 1048 768 704 219 0 110 0
[pid=30162] ppid=30160 vsize=31795044 memory=26307380 CPUtime=3481.61 cores=0,2
/proc/30162/stat : 30162 (roundingsat) D 30160 30160 27537 0 -1 4195840 5557079 0 1 0 344052 4109 0 0 20 0 1 0 35667991 32558125056 6576845 18446744073709551615 4227072 8923433 140722782707296 140722782704080 140012539132524 0 0 0 8404994 1 0 0 17 0 0 0 0 0 0 9823104 9832592 29310976 140722782710119 140722782710312 140722782710312 140722782715882 6
/proc/30162/statm: 7948761 6576845 2464 1147 0 7936188 0
Current children cumulated CPU time: 3481.61 s
Current children cumulated vsize: 31799236 KiB
Current children cumulated memory: 26310452 KiB

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

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

# cumulated CPU time of all completed processes:  user=0 s, system=0.001766 s

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+3494.15 s]
# the end of solver process 30162 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3440.53 s, system=42.7692 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
Dumping a history of the last processes samples

[startup+3492 s]*
/proc/loadavg: 4.15 4.14 4.10 5/274 30637
/proc/meminfo: memFree=34198828/131250000 swapFree=33010684/33010684
[pid=30162] ppid=30157 vsize=31795044 memory=26307380 CPUtime=3482.34 cores=0,2
/proc/30162/stat : 30162 (roundingsat) R 30157 30160 27537 0 -1 4195840 5557079 0 1 0 344052 4182 0 0 20 0 1 0 35667991 32558125056 6576845 18446744073709551615 4227072 8923433 140722782707296 140722782704080 140012539132524 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9823104 9832592 29310976 140722782710119 140722782710312 140722782710312 140722782715882 6
/proc/30162/statm: 7948761 6576845 2464 1147 0 7936188 0
Current cumulated CPU time of completed processes: 0.001766 s
Current children cumulated CPU time: 3482.34 s
Current children cumulated vsize: 31795044 KiB
Current children cumulated memory: 26307380 KiB

[startup+3492.8 s]
/proc/loadavg: 4.15 4.14 4.10 5/274 30637
/proc/meminfo: memFree=34198828/131250000 swapFree=33010684/33010684
[pid=30162] ppid=30157 vsize=31795044 memory=26307380 CPUtime=3482.41 cores=0,2
/proc/30162/stat : 30162 (roundingsat) S 30157 30160 27537 0 -1 4195840 5557079 0 1 0 344052 4189 0 0 20 0 1 0 35667991 32558125056 6576845 18446744073709551615 4227072 8923433 140722782707296 140722782704080 140012539132524 0 0 0 8404994 1 0 0 17 2 0 0 0 0 0 9823104 9832592 29310976 140722782710119 140722782710312 140722782710312 140722782715882 6
/proc/30162/statm: 7948761 6576845 2464 1147 0 7936188 0
Current cumulated CPU time of completed processes: 0.001766 s
Current children cumulated CPU time: 3482.41 s
Current children cumulated vsize: 31795044 KiB
Current children cumulated memory: 26307380 KiB

[startup+3493.2 s]
/proc/loadavg: 4.14 4.14 4.10 5/274 30637
/proc/meminfo: memFree=34021504/131250000 swapFree=33010684/33010684
[pid=30162] ppid=30157 vsize=31795044 memory=26307380 CPUtime=3482.41 cores=0,2
/proc/30162/stat : 30162 (roundingsat) S 30157 30160 27537 0 -1 4195840 5557079 0 1 0 344052 4189 0 0 20 0 1 0 35667991 32558125056 6576845 18446744073709551615 4227072 8923433 140722782707296 140722782704080 140012539132524 0 0 0 8404994 1 0 0 17 2 0 0 0 0 0 9823104 9832592 29310976 140722782710119 140722782710312 140722782710312 140722782715882 6
/proc/30162/statm: 7948761 6576845 2464 1147 0 7936188 0
Current cumulated CPU time of completed processes: 0.001766 s
Current children cumulated CPU time: 3482.41 s
Current children cumulated vsize: 31795044 KiB
Current children cumulated memory: 26307380 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3494.15
CPU time (s): 3483.3
CPU user time (s): 3440.53
CPU system time (s): 42.7692
CPU usage (%): 99.6896
Max. virtual memory (cumulated for all children) (KiB): 31799236
Max. memory (cumulated for all children) (KiB): 26310452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3440.53
system time used= 42.7692
maximum resident set size= 26307380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5557284
page faults= 1
swaps= 0
block input operations= 184
block output operations= 27740720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 621
involuntary context switches= 9230


# summary of solver processes directly reported to runsolver:
#   pid: 30160,30162
#   total CPU time (s): 3483.3
#   total CPU user time (s): 3440.53
#   total CPU system time (s): 42.7692

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.07556 second user time and 16.0521 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-06-29 14:24:46
IDJOB=4511697
IDBENCH=160480
IDSOLVER=3352
FILE ID=nodeC033/4511697-1751199885
RUNJOBID= nodeC033-1751193766-27547
SLURM_JOB_ID= 9587591
Free space on /tmp= 433012 MiB

SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm95p-dec.opb.negationfix.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4511697-1751199885/watcher-4511697-1751199885 -o /tmp/evaluation-result-4511697-1751199885/solver-4511697-1751199885 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751193766-27547 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4511697-1751199885.opb PROOFDIR/proof-4511697-1751199885

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

MD5SUM BENCH= 4a42be2aaf272439af058ac9b796a856
RANDOM SEED=457155496

nodeC033 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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.070
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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		: 3600.036
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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		: 3601.623
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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		: 3655.984
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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		: 3600.066
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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.039
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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		: 3684.601
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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		: 3509.761
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        123841684 kB
MemAvailable:   129553248 kB
Buffers:            3280 kB
Cached:          6511900 kB
SwapCached:            0 kB
Active:           572880 kB
Inactive:        6253736 kB
Active(anon):     329660 kB
Inactive(anon):        0 kB
Active(file):     243220 kB
Inactive(file):  6253736 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            100992 kB
Writeback:             0 kB
AnonPages:        314396 kB
Mapped:           113708 kB
Shmem:             18120 kB
KReclaimable:     107692 kB
Slab:             195924 kB
SReclaimable:     107692 kB
SUnreclaim:        88232 kB
KernelStack:        4464 kB
PageTables:         3844 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     681384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150728 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:    200704 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 430744 MiB
End job on nodeC033 at 2025-06-29 15:23:00