Trace number 4516969

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-ls-log 63f22adUNSAT cert. 101.097 101.454

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-27array_alg_ineq8.opb
MD5SUM46e13717bac6b321047b73f582d6b3f7
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.214415
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1701
Total number of constraints4566
Number of constraints which are clauses4536
Number of constraints which are cardinality constraints (but not clauses)27
Number of constraints which are nor clauses,nor cardinality constraints3
Minimum length of a constraint1
Maximum length of a constraint783
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 9007199254740992
Number of bits of the biggest number in a constraint 54
Biggest sum of numbers in a constraint 36028797018963967
Number of bits of the biggest sum of numbers55
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
0.00/0.03	c #variables 1701 #constraints 2759
2.67/2.71	c #Conflicts:       1000 | #Constraints:       3761
2.67/2.71	c #Conflicts:       2000 | #Constraints:       4761
2.67/2.71	c INPROCESSING
2.67/2.71	c GARBAGE COLLECT
2.67/2.71	c rational objective 390.887
11.35/11.49	c #Conflicts:       3000 | #Constraints:       4021
11.35/11.49	c #Conflicts:       4000 | #Constraints:       5021
11.35/11.49	c INPROCESSING
11.35/11.49	c GARBAGE COLLECT
11.35/11.49	c #Conflicts:       5000 | #Constraints:       4423
11.35/11.49	c #Conflicts:       6000 | #Constraints:       5423
11.35/11.49	c INPROCESSING
11.35/11.49	c GARBAGE COLLECT
11.35/11.49	c rational objective 394.117
41.16/41.36	c #Conflicts:       7000 | #Constraints:       4428
41.16/41.36	c #Conflicts:       8000 | #Constraints:       5428
41.16/41.36	c #Conflicts:       9000 | #Constraints:       6428
41.16/41.36	c INPROCESSING
41.16/41.36	c GARBAGE COLLECT
41.16/41.36	c #Conflicts:      10000 | #Constraints:       5129
41.16/41.36	c #Conflicts:      11000 | #Constraints:       6129
41.16/41.36	c #Conflicts:      12000 | #Constraints:       7129
41.16/41.36	c INPROCESSING
41.16/41.36	c GARBAGE COLLECT
41.16/41.36	c #Conflicts:      13000 | #Constraints:       5580
41.16/41.36	c #Conflicts:      14000 | #Constraints:       6580
41.16/41.36	c #Conflicts:      15000 | #Constraints:       7580
41.16/41.36	c INPROCESSING
41.16/41.36	c GARBAGE COLLECT
41.16/41.36	c #Conflicts:      16000 | #Constraints:       5809
41.16/41.36	c #Conflicts:      17000 | #Constraints:       6809
41.16/41.36	c #Conflicts:      18000 | #Constraints:       7809
41.16/41.36	c INPROCESSING
41.16/41.36	c GARBAGE COLLECT
41.16/41.36	c rational objective 394.186
61.02/61.27	c #Conflicts:      19000 | #Constraints:       5826
61.02/61.27	c #Conflicts:      20000 | #Constraints:       6826
61.02/61.27	c #Conflicts:      21000 | #Constraints:       7826
61.02/61.27	c INPROCESSING
61.02/61.27	c GARBAGE COLLECT
61.02/61.27	c #Conflicts:      22000 | #Constraints:       5504
61.02/61.27	c #Conflicts:      23000 | #Constraints:       6504
61.02/61.27	c #Conflicts:      24000 | #Constraints:       7504
61.02/61.27	c #Conflicts:      25000 | #Constraints:       8504
61.02/61.27	c INPROCESSING
61.02/61.27	c GARBAGE COLLECT
61.02/61.27	c rational objective 394.257
101.00/101.36	c #Conflicts:      26000 | #Constraints:       6111
101.00/101.36	c #Conflicts:      27000 | #Constraints:       7111
101.00/101.36	c #Conflicts:      28000 | #Constraints:       8111
101.00/101.36	c #Conflicts:      29000 | #Constraints:       9111
101.00/101.36	c INPROCESSING
101.00/101.36	c GARBAGE COLLECT
101.00/101.36	c #Conflicts:      30000 | #Constraints:       6514
101.00/101.36	c #Conflicts:      31000 | #Constraints:       7515
101.00/101.36	c #Conflicts:      32000 | #Constraints:       8515
101.00/101.36	c #Conflicts:      33000 | #Constraints:       9515
101.00/101.36	c INPROCESSING
101.00/101.36	c GARBAGE COLLECT
101.00/101.36	c #Conflicts:      34000 | #Constraints:       6715
101.00/101.36	c #Conflicts:      35000 | #Constraints:       7715
101.00/101.36	c #Conflicts:      36000 | #Constraints:       8715
101.00/101.36	c #Conflicts:      37000 | #Constraints:       9715
101.00/101.36	c INPROCESSING
101.00/101.36	c GARBAGE COLLECT
101.00/101.36	c #Conflicts:      38000 | #Constraints:       6343
101.00/101.36	c cpu time 100.136 s
101.00/101.36	c deterministic time 24767872852 2.48e+10
101.00/101.36	c optimization time 2.6e-05 s
101.00/101.36	c total solve time 100.118 s
101.00/101.36	c core-guided solve time 0 s
101.00/101.36	c propagation time 63.2891 s
101.00/101.36	c conflict analysis time 24.3416 s
101.00/101.36	c propagations 5171740
101.00/101.36	c resolve steps 1070715
101.00/101.36	c decisions 49896
101.00/101.36	c conflicts 38354
101.00/101.36	c restarts 125
101.00/101.36	c inprocessing phases 12
101.00/101.36	c garbage collections 12 ,( 100.00 )
101.00/101.36	c input clauses 2754 ,( 99.82 )
101.00/101.36	c input cardinalities 0 ,( 0.00 )
101.00/101.36	c input general constraints 5 ,( 0.18 )
101.00/101.36	c input average constraint length 3.05
101.00/101.36	c input average constraint degree 32646608195194.55
101.00/101.36	c learned clauses 250 ,( 0.65 )
101.00/101.36	c learned cardinalities 3 ,( 0.01 )
101.00/101.36	c learned general constraints 38113 ,( 99.34 )
101.00/101.36	c learned average constraint length 388.16
101.00/101.36	c learned average constraint degree 1287724953.05
101.00/101.36	c watched  CF 32, 64, 128, Arb: 11 , 0 , 0 , 0
101.00/101.36	c counting CF 32, 64, 128, Arb: 38102 , 5 , 0 , 0
101.00/101.36	c watched   constraints 11 ,( 0.03 ) 
101.00/101.36	c counting  constraints 38107 ,( 99.97 ) 
101.00/101.36	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 3616845 , 1 , 1168632481 ,( 711 , 1168631770 )
101.00/101.36	c gcd simplifications 132
101.00/101.36	c detected cardinalities 3
101.00/101.36	c weakened non-implied lits 3300760
101.00/101.36	c weakened non-implying lits 39090
101.00/101.36	c original variables 1701
101.00/101.36	c clausal propagations 3508838
101.00/101.36	c cardinality propagations 0
101.00/101.36	c watched propagations 0
101.00/101.36	c counting propagations 1628877
101.00/101.36	c watch lookups 1181334689
101.00/101.36	c watch backjump lookups 0
101.00/101.36	c watch checks 276891
101.00/101.36	c propagation checks 23496357084
101.00/101.36	c constraint additions 79416867
101.00/101.36	c trail pops 5258302
101.00/101.36	c formula constraints 2759
101.00/101.36	c learned constraints 38353
101.00/101.36	c bound constraints 0
101.00/101.36	c core-guided constraints 0
101.00/101.36	c encountered formula constraints 1051562
101.00/101.36	c encountered learned constraints 55098
101.00/101.36	c encountered bound constraints 0
101.00/101.36	c encountered core-guided constraints 0
101.00/101.36	c LP total time 1.797 s
101.00/101.36	c LP solve time 0.88 s
101.00/101.36	c LP constraints added 2766
101.00/101.36	c LP constraints removed 0
101.00/101.36	c LP pivots internal 3852
101.00/101.36	c LP pivots root 3530
101.00/101.36	c LP calls 52
101.00/101.36	c LP optimalities 40
101.00/101.36	c LP no pivot count 3
101.00/101.36	c LP infeasibilities 8
101.00/101.36	c LP valid Farkas constraints 8
101.00/101.36	c LP learned Farkas constraints 0
101.00/101.36	c LP basis resets 3
101.00/101.36	c LP cycling count 1
101.00/101.36	c LP singular count 0
101.00/101.36	c LP no primal count 0
101.00/101.36	c LP no farkas count 0
101.00/101.36	c LP other issue count 2
101.00/101.36	c LP Gomory cuts 5
101.00/101.36	c LP learned cuts 2
101.00/101.36	c LP deleted cuts 0
101.00/101.36	c LP encountered Gomory constraints 0
101.00/101.36	c LP encountered Farkas constraints 2409
101.00/101.36	c LP encountered learned Farkas constraints 0
101.00/101.36	c CG auxiliary variables introduced 0
101.00/101.36	c CG solutions found 0
101.00/101.36	c CG cores constructed 0
101.00/101.36	c CG core cardinality constraints returned 0
101.00/101.36	c CG unit cores 0
101.00/101.36	c CG single cores 0
101.00/101.36	c CG blocks removed during cardinality reduction 0
101.00/101.36	c CG first core best 0
101.00/101.36	c CG decision core best 0
101.00/101.36	c CG core reduction tie 0
101.00/101.36	c CG core degree average 0.00
101.00/101.36	c CG core slack average 0.00
101.00/101.36	c CG core upper bound improvements 0
101.00/101.36	c STR number of successful calls 0
101.00/101.36	c STR number of unsuccessful calls 0
101.00/101.36	c STR number of inconclusive calls 0
101.00/101.36	c STR number of successful attempts 0
101.00/101.36	c STR number of unsuccessful attempts 0
101.00/101.36	c STR number of inconclusive attempts 0
101.00/101.36	c STR average degree increase per successful call inf
101.00/101.36	c STR average degree increase per successful attempt inf
101.00/101.36	c STR total number of conflicts for successful attempts 0
101.00/101.36	c STR total number of conflicts for unsuccessful attempts 0
101.00/101.36	c STR total number of conflicts for inconclusive attempts 0
101.00/101.36	c STR average number of conflicts per successful attempt inf
101.08/101.45	c STR average number of conflicts per unsuccessful attempt inf
101.08/101.45	c STR average number of conflicts per inconclusive attempt inf
101.08/101.45	c AVG.sumWPerc 99.82 
101.08/101.45	c bigint constraints 5 
101.08/101.45	s UNSATISFIABLE

Verifier Data 

ERROR: no interpretation found !

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Wed Jul  2 19:45:00 CEST 2025
extraparms=--no-checkDeletion
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED UNSATISFIABLE
Verification succeeded.
-- cakepb --
s VERIFIED UNSATISFIABLE
--summary--
ALL OK

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4516969-1751231184/watcher-4516969-1751231184 -o /tmp/evaluation-result-4516969-1751231184/solver-4516969-1751231184 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751231030-29267 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4516969-1751231184.opb PROOFDIR/proof-4516969-1751231184 

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
Starting watchdog thread
solver pid=31401, runsolver pid=31398
Current StackSize limit: 8192 KiB


[startup+0.100055 s]*
/proc/loadavg: 3.94 2.36 2.33 5/270 31403
/proc/meminfo: memFree=127677600/131249996 swapFree=33010684/33010684
[pid=31401] ppid=31398 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/31401/stat : 31401 (run-dec-ls-log.) S 31398 31401 29257 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 38796251 4292608 768 18446744073709551615 94849342717952 94849343612485 140733537783264 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94849343851536 94849343899280 94849367830528 140733537786139 140733537786337 140733537786337 140733537791939 0
/proc/31401/statm: 1048 768 704 219 0 110 0
[pid=31403] ppid=31401 vsize=61272 memory=15332 CPUtime=0.08 cores=0,2
/proc/31403/stat : 31403 (roundingsat) R 31401 31401 29257 0 -1 4194304 2236 0 0 0 8 0 0 0 20 0 1 0 38796252 62742528 3833 18446744073709551615 4227072 8923433 140727789025008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31494144 140727789029712 140727789029928 140727789029928 140727789035498 0
/proc/31403/statm: 15318 3833 2368 1147 0 2745 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 65464 KiB
Current children cumulated memory: 18404 KiB

[startup+0.205563 s]*
/proc/loadavg: 3.95 2.39 2.34 5/270 31403
/proc/meminfo: memFree=127677600/131249996 swapFree=33010684/33010684
[pid=31401] ppid=31398 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/31401/stat : 31401 (run-dec-ls-log.) S 31398 31401 29257 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 38796251 4292608 768 18446744073709551615 94849342717952 94849343612485 140733537783264 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94849343851536 94849343899280 94849367830528 140733537786139 140733537786337 140733537786337 140733537791939 0
/proc/31401/statm: 1048 768 704 219 0 110 0
[pid=31403] ppid=31401 vsize=61272 memory=15332 CPUtime=0.19 cores=0,2
/proc/31403/stat : 31403 (roundingsat) R 31401 31401 29257 0 -1 4194304 2236 0 0 0 19 0 0 0 20 0 1 0 38796252 62742528 3833 18446744073709551615 4227072 8923433 140727789025008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31494144 140727789029712 140727789029928 140727789029928 140727789035498 0
/proc/31403/statm: 15318 3833 2368 1147 0 2745 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 65464 KiB
Current children cumulated memory: 18404 KiB

[startup+0.304574 s]*
/proc/loadavg: 3.95 2.39 2.34 5/270 31403
/proc/meminfo: memFree=127677760/131249996 swapFree=33010684/33010684
[pid=31401] ppid=31398 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/31401/stat : 31401 (run-dec-ls-log.) S 31398 31401 29257 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 38796251 4292608 768 18446744073709551615 94849342717952 94849343612485 140733537783264 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94849343851536 94849343899280 94849367830528 140733537786139 140733537786337 140733537786337 140733537791939 0
/proc/31401/statm: 1048 768 704 219 0 110 0
[pid=31403] ppid=31401 vsize=61272 memory=15332 CPUtime=0.29 cores=0,2
/proc/31403/stat : 31403 (roundingsat) R 31401 31401 29257 0 -1 4194304 2236 0 0 0 29 0 0 0 20 0 1 0 38796252 62742528 3833 18446744073709551615 4227072 8923433 140727789025008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31494144 140727789029712 140727789029928 140727789029928 140727789035498 0
/proc/31403/statm: 15318 3833 2368 1147 0 2745 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 65464 KiB
Current children cumulated memory: 18404 KiB

[startup+0.700124 s]
/proc/loadavg: 3.95 2.39 2.34 5/270 31403
/proc/meminfo: memFree=127677760/131249996 swapFree=33010684/33010684
[pid=31401] ppid=31398 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/31401/stat : 31401 (run-dec-ls-log.) S 31398 31401 29257 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 38796251 4292608 768 18446744073709551615 94849342717952 94849343612485 140733537783264 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94849343851536 94849343899280 94849367830528 140733537786139 140733537786337 140733537786337 140733537791939 0
/proc/31401/statm: 1048 768 704 219 0 110 0
[pid=31403] ppid=31401 vsize=62784 memory=18852 CPUtime=0.67 cores=0,2
/proc/31403/stat : 31403 (roundingsat) R 31401 31401 29257 0 -1 4194304 2621 0 0 0 67 0 0 0 20 0 1 0 38796252 64290816 4713 18446744073709551615 4227072 8923433 140727789025008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31494144 140727789029712 140727789029928 140727789029928 140727789035498 0
/proc/31403/statm: 15696 4713 2368 1147 0 3123 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 66976 KiB
Current children cumulated memory: 21924 KiB

[startup+1.50014 s]
/proc/loadavg: 3.95 2.39 2.34 5/270 31403
/proc/meminfo: memFree=127669696/131249996 swapFree=33010684/33010684
[pid=31401] ppid=31398 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/31401/stat : 31401 (run-dec-ls-log.) S 31398 31401 29257 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 38796251 4292608 768 18446744073709551615 94849342717952 94849343612485 140733537783264 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94849343851536 94849343899280 94849367830528 140733537786139 140733537786337 140733537786337 140733537791939 0
/proc/31401/statm: 1048 768 704 219 0 110 0
[pid=31403] ppid=31401 vsize=71252 memory=29208 CPUtime=1.48 cores=0,2
/proc/31403/stat : 31403 (roundingsat) R 31401 31401 29257 0 -1 4194304 4706 0 0 0 145 3 0 0 20 0 1 0 38796252 72962048 7302 18446744073709551615 4227072 8923433 140727789025008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31494144 140727789029712 140727789029928 140727789029928 140727789035498 0
/proc/31403/statm: 17813 7302 2368 1147 0 5240 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 75444 KiB
Current children cumulated memory: 32280 KiB

[startup+3.10521 s]
/proc/loadavg: 3.95 2.39 2.34 5/270 31403
/proc/meminfo: memFree=127615408/131249996 swapFree=33010684/33010684
[pid=31401] ppid=31398 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/31401/stat : 31401 (run-dec-ls-log.) S 31398 31401 29257 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 38796251 4292608 768 18446744073709551615 94849342717952 94849343612485 140733537783264 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94849343851536 94849343899280 94849367830528 140733537786139 140733537786337 140733537786337 140733537791939 0
/proc/31401/statm: 1048 768 704 219 0 110 0
[pid=31403] ppid=31401 vsize=83252 memory=39320 CPUtime=3.08 cores=0,2
/proc/31403/stat : 31403 (roundingsat) R 31401 31401 29257 0 -1 4194304 7221 0 0 0 302 6 0 0 20 0 1 0 38796252 85250048 9830 18446744073709551615 4227072 8923433 140727789025008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31494144 140727789029712 140727789029928 140727789029928 140727789035498 0
/proc/31403/statm: 20813 9830 2368 1147 0 8240 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 87444 KiB
Current children cumulated memory: 42392 KiB

[startup+6.30016 s]
/proc/loadavg: 3.95 2.41 2.35 5/270 31403
/proc/meminfo: memFree=127514940/131249996 swapFree=33010684/33010684
[pid=31401] ppid=31398 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/31401/stat : 31401 (run-dec-ls-log.) S 31398 31401 29257 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 38796251 4292608 768 18446744073709551615 94849342717952 94849343612485 140733537783264 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94849343851536 94849343899280 94849367830528 140733537786139 140733537786337 140733537786337 140733537791939 0
/proc/31401/statm: 1048 768 704 219 0 110 0
[pid=31403] ppid=31401 vsize=103688 memory=55964 CPUtime=6.26 cores=0,2
/proc/31403/stat : 31403 (roundingsat) R 31401 31401 29257 0 -1 4194304 10900 0 0 0 616 10 0 0 20 0 1 0 38796252 106176512 13991 18446744073709551615 4227072 8923433 140727789025008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31494144 140727789029712 140727789029928 140727789029928 140727789035498 0
/proc/31403/statm: 25922 13991 2368 1147 0 13349 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 107880 KiB
Current children cumulated memory: 59036 KiB

[startup+12.7002 s]
/proc/loadavg: 3.96 2.44 2.36 5/270 31403
/proc/meminfo: memFree=127378164/131249996 swapFree=33010684/33010684
[pid=31401] ppid=31398 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/31401/stat : 31401 (run-dec-ls-log.) S 31398 31401 29257 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 38796251 4292608 768 18446744073709551615 94849342717952 94849343612485 140733537783264 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94849343851536 94849343899280 94849367830528 140733537786139 140733537786337 140733537786337 140733537791939 0
/proc/31401/statm: 1048 768 704 219 0 110 0
[pid=31403] ppid=31401 vsize=115424 memory=65740 CPUtime=12.64 cores=0,2
/proc/31403/stat : 31403 (roundingsat) R 31401 31401 29257 0 -1 4194304 12847 0 0 0 1249 15 0 0 20 0 1 0 38796252 118194176 16435 18446744073709551615 4227072 8923433 140727789025008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31494144 140727789029712 140727789029928 140727789029928 140727789035498 0
/proc/31403/statm: 28856 16435 2368 1147 0 16283 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 119616 KiB
Current children cumulated memory: 68812 KiB

[startup+25.5002 s]
/proc/loadavg: 3.96 2.49 2.38 5/270 31403
/proc/meminfo: memFree=127096632/131249996 swapFree=33010684/33010684
[pid=31401] ppid=31398 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/31401/stat : 31401 (run-dec-ls-log.) S 31398 31401 29257 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 38796251 4292608 768 18446744073709551615 94849342717952 94849343612485 140733537783264 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94849343851536 94849343899280 94849367830528 140733537786139 140733537786337 140733537786337 140733537791939 0
/proc/31401/statm: 1048 768 704 219 0 110 0
[pid=31403] ppid=31401 vsize=137084 memory=85024 CPUtime=25.42 cores=0,2
/proc/31403/stat : 31403 (roundingsat) R 31401 31401 29257 0 -1 4194304 16617 0 0 0 2514 28 0 0 20 0 1 0 38796252 140374016 21256 18446744073709551615 4227072 8923433 140727789025008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31494144 140727789029712 140727789029928 140727789029928 140727789035498 0
/proc/31403/statm: 34271 21256 2368 1147 0 21698 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 141276 KiB
Current children cumulated memory: 88096 KiB

[startup+51.1057 s]
/proc/loadavg: 4.04 2.65 2.44 5/271 31404
/proc/meminfo: memFree=126484020/131249996 swapFree=33010684/33010684
[pid=31401] ppid=31398 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/31401/stat : 31401 (run-dec-ls-log.) S 31398 31401 29257 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 38796251 4292608 768 18446744073709551615 94849342717952 94849343612485 140733537783264 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94849343851536 94849343899280 94849367830528 140733537786139 140733537786337 140733537786337 140733537791939 0
/proc/31401/statm: 1048 768 704 219 0 110 0
[pid=31403] ppid=31401 vsize=158244 memory=94880 CPUtime=50.95 cores=0,2
/proc/31403/stat : 31403 (roundingsat) R 31401 31401 29257 0 -1 4194304 19090 0 0 0 5045 50 0 0 20 0 1 0 38796252 162041856 23720 18446744073709551615 4227072 8923433 140727789025008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31494144 140727789029712 140727789029928 140727789029928 140727789035498 0
/proc/31403/statm: 39561 23720 2368 1147 0 26988 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 162436 KiB
Current children cumulated memory: 97952 KiB

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

# cumulated CPU time of all completed processes:  user=100.137 s, system=0.959977 s

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

[startup+51.2002 s]
/proc/loadavg: 4.04 2.65 2.44 5/271 31404
/proc/meminfo: memFree=126484020/131249996 swapFree=33010684/33010684
[pid=31401] ppid=31398 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/31401/stat : 31401 (run-dec-ls-log.) S 31398 31401 29257 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 38796251 4292608 768 18446744073709551615 94849342717952 94849343612485 140733537783264 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94849343851536 94849343899280 94849367830528 140733537786139 140733537786337 140733537786337 140733537791939 0
/proc/31401/statm: 1048 768 704 219 0 110 0
[pid=31403] ppid=31401 vsize=158244 memory=95008 CPUtime=51.04 cores=0,2
/proc/31403/stat : 31403 (roundingsat) R 31401 31401 29257 0 -1 4194304 19121 0 0 0 5054 50 0 0 20 0 1 0 38796252 162041856 23752 18446744073709551615 4227072 8923433 140727789025008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31494144 140727789029712 140727789029928 140727789029928 140727789035498 0
/proc/31403/statm: 39561 23752 2368 1147 0 26988 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 162436 KiB
Current children cumulated memory: 98080 KiB

[startup+76.8002 s]
/proc/loadavg: 4.02 2.76 2.48 5/272 31408
/proc/meminfo: memFree=125970904/131249996 swapFree=33010684/33010684
[pid=31401] ppid=31398 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/31401/stat : 31401 (run-dec-ls-log.) S 31398 31401 29257 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 38796251 4292608 768 18446744073709551615 94849342717952 94849343612485 140733537783264 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94849343851536 94849343899280 94849367830528 140733537786139 140733537786337 140733537786337 140733537791939 0
/proc/31401/statm: 1048 768 704 219 0 110 0
[pid=31403] ppid=31401 vsize=162188 memory=104876 CPUtime=76.57 cores=0,2
/proc/31403/stat : 31403 (roundingsat) R 31401 31401 29257 0 -1 4194304 20481 0 0 0 7586 71 0 0 20 0 1 0 38796252 166080512 26219 18446744073709551615 4227072 8923433 140727789025008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31494144 140727789029712 140727789029928 140727789029928 140727789035498 0
/proc/31403/statm: 40547 26219 2464 1147 0 27974 0
Current children cumulated CPU time: 76.57 s
Current children cumulated vsize: 166380 KiB
Current children cumulated memory: 107948 KiB

[startup+89.6002 s]
/proc/loadavg: 4.02 2.80 2.50 5/272 31408
/proc/meminfo: memFree=125755008/131249996 swapFree=33010684/33010684
[pid=31401] ppid=31398 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/31401/stat : 31401 (run-dec-ls-log.) S 31398 31401 29257 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 38796251 4292608 768 18446744073709551615 94849342717952 94849343612485 140733537783264 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94849343851536 94849343899280 94849367830528 140733537786139 140733537786337 140733537786337 140733537791939 0
/proc/31401/statm: 1048 768 704 219 0 110 0
[pid=31403] ppid=31401 vsize=164308 memory=107820 CPUtime=89.33 cores=0,2
/proc/31403/stat : 31403 (roundingsat) R 31401 31401 29257 0 -1 4194304 21235 0 0 0 8850 83 0 0 20 0 1 0 38796252 168251392 26955 18446744073709551615 4227072 8923433 140727789025008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31494144 140727789029712 140727789029928 140727789029928 140727789035498 0
/proc/31403/statm: 41077 26955 2464 1147 0 28504 0
Current children cumulated CPU time: 89.33 s
Current children cumulated vsize: 168500 KiB
Current children cumulated memory: 110892 KiB

[startup+96.0002 s]*
/proc/loadavg: 4.02 2.84 2.51 5/272 31408
/proc/meminfo: memFree=125639684/131249996 swapFree=33010684/33010684
[pid=31401] ppid=31398 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/31401/stat : 31401 (run-dec-ls-log.) S 31398 31401 29257 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 38796251 4292608 768 18446744073709551615 94849342717952 94849343612485 140733537783264 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94849343851536 94849343899280 94849367830528 140733537786139 140733537786337 140733537786337 140733537791939 0
/proc/31401/statm: 1048 768 704 219 0 110 0
[pid=31403] ppid=31401 vsize=164308 memory=107948 CPUtime=95.72 cores=0,2
/proc/31403/stat : 31403 (roundingsat) R 31401 31401 29257 0 -1 4194304 21255 0 0 0 9485 87 0 0 20 0 1 0 38796252 168251392 26987 18446744073709551615 4227072 8923433 140727789025008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31494144 140727789029712 140727789029928 140727789029928 140727789035498 0
/proc/31403/statm: 41077 26987 2464 1147 0 28504 0
Current children cumulated CPU time: 95.72 s
Current children cumulated vsize: 168500 KiB
Current children cumulated memory: 111020 KiB

[startup+99.2002 s]
/proc/loadavg: 4.02 2.84 2.51 5/272 31408
/proc/meminfo: memFree=125585216/131249996 swapFree=33010684/33010684
[pid=31401] ppid=31398 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/31401/stat : 31401 (run-dec-ls-log.) S 31398 31401 29257 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 38796251 4292608 768 18446744073709551615 94849342717952 94849343612485 140733537783264 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94849343851536 94849343899280 94849367830528 140733537786139 140733537786337 140733537786337 140733537791939 0
/proc/31401/statm: 1048 768 704 219 0 110 0
[pid=31403] ppid=31401 vsize=164564 memory=108716 CPUtime=98.91 cores=0,2
/proc/31403/stat : 31403 (roundingsat) R 31401 31401 29257 0 -1 4194304 21438 0 0 0 9800 91 0 0 20 0 1 0 38796252 168513536 27179 18446744073709551615 4227072 8923433 140727789025008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31494144 140727789029712 140727789029928 140727789029928 140727789035498 0
/proc/31403/statm: 41141 27179 2464 1147 0 28568 0
Current children cumulated CPU time: 98.91 s
Current children cumulated vsize: 168756 KiB
Current children cumulated memory: 111788 KiB

[startup+100.8 s]
/proc/loadavg: 4.02 2.84 2.51 5/272 31408
/proc/meminfo: memFree=125552960/131249996 swapFree=33010684/33010684
[pid=31401] ppid=31398 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/31401/stat : 31401 (run-dec-ls-log.) S 31398 31401 29257 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 38796251 4292608 768 18446744073709551615 94849342717952 94849343612485 140733537783264 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94849343851536 94849343899280 94849367830528 140733537786139 140733537786337 140733537786337 140733537791939 0
/proc/31401/statm: 1048 768 704 219 0 110 0
[pid=31403] ppid=31401 vsize=165264 memory=109228 CPUtime=100.5 cores=0,2
/proc/31403/stat : 31403 (roundingsat) R 31401 31401 29257 0 -1 4194304 21581 0 0 0 9957 93 0 0 20 0 1 0 38796252 169230336 27307 18446744073709551615 4227072 8923433 140727789025008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31494144 140727789029712 140727789029928 140727789029928 140727789035498 0
/proc/31403/statm: 41316 27307 2464 1147 0 28743 0
Current children cumulated CPU time: 100.5 s
Current children cumulated vsize: 169456 KiB
Current children cumulated memory: 112300 KiB

[startup+101.2 s]
/proc/loadavg: 4.01 2.86 2.52 5/272 31408
/proc/meminfo: memFree=125528584/131249996 swapFree=33010684/33010684
[pid=31401] ppid=31398 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/31401/stat : 31401 (run-dec-ls-log.) S 31398 31401 29257 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 38796251 4292608 768 18446744073709551615 94849342717952 94849343612485 140733537783264 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94849343851536 94849343899280 94849367830528 140733537786139 140733537786337 140733537786337 140733537791939 0
/proc/31401/statm: 1048 768 704 219 0 110 0
[pid=31403] ppid=31401 vsize=165264 memory=109228 CPUtime=100.91 cores=0,2
/proc/31403/stat : 31403 (roundingsat) R 31401 31401 29257 0 -1 4194304 21581 0 0 0 9997 94 0 0 20 0 1 0 38796252 169230336 27307 18446744073709551615 4227072 8923433 140727789025008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31494144 140727789029712 140727789029928 140727789029928 140727789035498 0
/proc/31403/statm: 41316 27307 2464 1147 0 28743 0
Current children cumulated CPU time: 100.91 s
Current children cumulated vsize: 169456 KiB
Current children cumulated memory: 112300 KiB

[startup+101.4 s]
/proc/loadavg: 4.01 2.86 2.52 5/272 31408
/proc/meminfo: memFree=125528584/131249996 swapFree=33010684/33010684
[pid=31401] ppid=31398 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/31401/stat : 31401 (run-dec-ls-log.) S 31398 31401 29257 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 38796251 4292608 768 18446744073709551615 94849342717952 94849343612485 140733537783264 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94849343851536 94849343899280 94849367830528 140733537786139 140733537786337 140733537786337 140733537791939 0
/proc/31401/statm: 1048 768 704 219 0 110 0
[pid=31403] ppid=31401 vsize=165264 memory=109228 CPUtime=101.08 cores=0,2
/proc/31403/stat : 31403 (roundingsat) D 31401 31401 29257 0 -1 4194304 21581 0 0 0 10013 95 0 0 20 0 1 0 38796252 169230336 27307 18446744073709551615 4227072 8923433 140727789025008 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 31494144 140727789029712 140727789029928 140727789029928 140727789035498 0
/proc/31403/statm: 41316 27307 2464 1147 0 28743 0
Current children cumulated CPU time: 101.08 s
Current children cumulated vsize: 169456 KiB
Current children cumulated memory: 112300 KiB

Child status: 0

Real time (s): 101.454
CPU time (s): 101.097
CPU user time (s): 100.137
CPU system time (s): 0.959977
CPU usage (%): 99.6481
Max. virtual memory (cumulated for all children) (KiB): 169456
Max. memory (cumulated for all children) (KiB): 112300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 100.137
system time used= 0.959977
maximum resident set size= 109228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21813
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1802728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1158
involuntary context switches= 287


# summary of solver processes directly reported to runsolver:
#   pid: 31401
#   total CPU time (s): 101.097
#   total CPU user time (s): 100.137
#   total CPU system time (s): 0.959977

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.175937 second user time and 0.515528 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-06-29 23:06:24
IDJOB=4516969
IDBENCH=175943
IDSOLVER=3354
FILE ID=nodeC023/4516969-1751231184
RUNJOBID= nodeC023-1751231030-29267
SLURM_JOB_ID= 9587704
Free space on /tmp= 433032 MiB

SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/inequalities/ineq8/normalized-27array_alg_ineq8.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4516969-1751231184/watcher-4516969-1751231184 -o /tmp/evaluation-result-4516969-1751231184/solver-4516969-1751231184 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751231030-29267 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4516969-1751231184.opb PROOFDIR/proof-4516969-1751231184

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

MD5SUM BENCH= 46e13717bac6b321047b73f582d6b3f7
RANDOM SEED=293704938

nodeC023 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		: 3599.924
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	: 6999.78
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		: 3599.879
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	: 6999.78
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		: 3600.727
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	: 6999.78
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		: 3674.609
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	: 6999.78
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		: 3599.901
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	: 6999.78
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		: 3599.949
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	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.153
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	: 6999.78
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		: 3602.756
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	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        127685664 kB
MemAvailable:   128942092 kB
Buffers:            3280 kB
Cached:          2060092 kB
SwapCached:            0 kB
Active:          1195584 kB
Inactive:        1755004 kB
Active(anon):     905320 kB
Inactive(anon):        0 kB
Active(file):     290264 kB
Inactive(file):  1755004 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            240552 kB
Writeback:             0 kB
AnonPages:        890392 kB
Mapped:           116712 kB
Shmem:             18064 kB
KReclaimable:     100800 kB
Slab:             195236 kB
SReclaimable:     100800 kB
SUnreclaim:        94436 kB
KernelStack:        4384 kB
PageTables:         5040 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1324676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    385024 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:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433024 MiB
End job on nodeC023 at 2025-06-29 23:08:06