Trace number 4504989

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ls+pbsuma-log 63f22adUNSAT cert. 6.96909 7.14103

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat25_6_3_3_ic.opb
MD5SUM9beff3f3155855feaa4c9645b72566dc
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/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.277731
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15725
Total number of constraints31332
Number of constraints which are clauses14450
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints16875
Minimum length of a constraint2
Maximum length of a constraint300
Number of terms in the objective function 1825
Biggest coefficient in the objective function 111980168
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 9113142699
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 111980168
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 9113142699
Number of bits of the biggest sum of numbers34
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.05	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.05	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.05	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.05	c │      (c) 2025 Markus Anders                                    │
0.00/0.05	c └────────────────────────────────────────────────────────────────┘
0.00/0.05	c parse 'HOME/instance-4504989-1751450801.opb'
0.00/0.08	c 	read 1.42MB  (25.08ms)
0.00/0.08	c	 [cnf: #variables 15725 #clauses 31333 #duplicates 0 #arr 122850]
0.01/0.13	c output proof to 'PROOFDIR/proof-4504989-1751450801'
0.01/0.13	c 
0.01/0.13	c make graph and approximate orbits
0.01/0.17	c	 [group: #orbits ~= 14402] (53.57ms)
0.01/0.17	c 
0.01/0.17	c detect special group actions
0.01/0.17	c 	probe for Johnson action (limit=64)
0.01/0.17	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.01/0.18	c 	probe for row symmetry (limit=64, splits=16.78M)
0.01/0.18	c 	 (13.69ms)
0.01/0.18	c 
0.01/0.18	c detect symmetries on remainder
0.01/0.18	c 	[graph: #vertices 111133 #edges 373850]
0.01/0.18	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.13/0.27	c 	 [group: #symmetries 3.16*10^115 #generators 324] (90.44ms)
0.13/0.27	c 
0.13/0.27	c optimize generators (opt_passes=64, conjugate_limit=256)
0.13/0.27	c 	ran it=0, +gens=1 
0.42/0.58	c 	con best_support=4, best_gens=24, +gens=246
0.42/0.58	c 	(303.39ms)
0.42/0.58	c 
0.42/0.58	c finalize break order and special generators
0.42/0.58	c 
0.42/0.58	c add generic predicates (break_depth=20)
0.42/0.58	c 	added predicates for 571 generators (0.57ms)
0.52/0.63	c 
0.52/0.63	c generation finished
0.52/0.63	c 	[sbp: #constraints 17728 #add_vars 5719]
0.52/0.63	c 
0.52/0.63	c write result to 'HOME/instance-4504989-1751450801.opb.pre'
0.52/0.64	c 	wrote 2.11MB (6.64ms)
0.52/0.64	c ------------------------------------------------------------------
0.52/0.64	c                 303.39ms 51.80% optimize_gens
0.52/0.64	c                  90.78ms 15.50% other
0.52/0.64	c                  90.44ms 15.44% detect_generic
0.52/0.64	c                  53.57ms  9.15% approx_orbits
0.52/0.64	c                  25.08ms  4.28% parse
0.52/0.64	c                  13.69ms  2.34% detect_special
0.52/0.64	c                   6.64ms  1.13% output
0.52/0.64	c                   1.50ms  0.26% finalize_order
0.52/0.64	c                   0.57ms  0.10% break_generic
0.52/0.64	c         ───────────────────────────────────────────────
0.52/0.64	c                 585.65ms   100% total
0.52/0.64	c ------------------------------------------------------------------
0.52/0.68	c RoundingSat 2
0.52/0.68	c branch pb25
0.52/0.68	c commit 63f22ad
1.25/1.48	c #variables 21444 #constraints 50594
1.25/1.48	c objective is ce32 
1.45/1.67	c initial watched  CF 32, 64, 128, Arb: 25 , 0 , 0 , 0
1.45/1.67	c initial counting CF 32, 64, 128, Arb: 14751 , 0 , 0 , 0
1.45/1.67	c bounds - >= -25 @ 0.837534
6.93/7.13	c #Conflicts:       1000 | #Constraints:      51593
6.93/7.13	c #Conflicts:       2000 | #Constraints:      52593
6.93/7.13	c INPROCESSING
6.93/7.13	c GARBAGE COLLECT
6.93/7.13	c #Conflicts:       3000 | #Constraints:      52596
6.93/7.13	c #Conflicts:       4000 | #Constraints:      53596
6.93/7.13	c INPROCESSING
6.93/7.13	c GARBAGE COLLECT
6.93/7.13	c #Conflicts:       5000 | #Constraints:      53002
6.93/7.13	c #Conflicts:       6000 | #Constraints:      54004
6.93/7.13	c INPROCESSING
6.93/7.13	c GARBAGE COLLECT
6.93/7.13	c cpu time 6.13967 s
6.93/7.13	c deterministic time 168145254 1.68e+08
6.93/7.13	c optimization time 0.184746 s
6.93/7.13	c total solve time 5.30195 s
6.93/7.13	c core-guided solve time 1.41491 s
6.93/7.13	c propagation time 2.89996 s
6.93/7.13	c conflict analysis time 0.96735 s
6.93/7.13	c propagations 8128557
6.93/7.13	c resolve steps 96245
6.93/7.13	c decisions 23087
6.93/7.13	c conflicts 6601
6.93/7.13	c restarts 30
6.93/7.13	c inprocessing phases 3
6.93/7.13	c garbage collections 3 ,( 100.00 )
6.93/7.13	c input clauses 35809 ,( 70.78 )
6.93/7.13	c input cardinalities 10 ,( 0.02 )
6.93/7.13	c input general constraints 14775 ,( 29.20 )
6.93/7.13	c input average constraint length 3.49
6.93/7.13	c input average constraint degree 1.58
6.93/7.13	c learned clauses 1709 ,( 25.88 )
6.93/7.13	c learned cardinalities 208 ,( 3.15 )
6.93/7.13	c learned general constraints 4687 ,( 70.97 )
6.93/7.13	c learned average constraint length 264.65
6.93/7.13	c learned average constraint degree 8420849.50
6.93/7.13	c watched  CF 32, 64, 128, Arb: 4230 , 0 , 0 , 0
6.93/7.13	c counting CF 32, 64, 128, Arb: 15233 , 0 , 0 , 0
6.93/7.13	c watched   constraints 4230 ,( 21.73 ) 
6.93/7.13	c counting  constraints 15232 ,( 78.27 ) 
6.93/7.13	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2971573 , 254434 , 15597525 ,( 2701152 , 12896373 )
6.93/7.13	c gcd simplifications 72
6.93/7.13	c detected cardinalities 8
6.93/7.13	c weakened non-implied lits 217740
6.93/7.13	c weakened non-implying lits 309
6.93/7.13	c original variables 21444
6.93/7.13	c clausal propagations 2386263
6.93/7.13	c cardinality propagations 23484
6.93/7.13	c watched propagations 69271
6.93/7.13	c counting propagations 5591443
6.93/7.13	c watch lookups 36571469
6.93/7.13	c watch backjump lookups 0
6.93/7.13	c watch checks 70125933
6.93/7.13	c propagation checks 41746723
6.93/7.13	c constraint additions 3378088
6.93/7.13	c trail pops 8158165
6.93/7.13	c formula constraints 50594
6.93/7.13	c learned constraints 6596
6.93/7.13	c bound constraints 0
6.93/7.13	c core-guided constraints 0
6.93/7.13	c encountered formula constraints 86907
6.93/7.13	c encountered learned constraints 15841
6.93/7.13	c encountered bound constraints 0
6.93/7.13	c encountered core-guided constraints 0
6.93/7.13	c LP total time 1.92305 s
6.93/7.13	c LP solve time 1.89 s
6.93/7.13	c LP constraints added 50594
6.93/7.13	c LP constraints removed 0
6.93/7.13	c LP pivots internal 6994
6.93/7.13	c LP pivots root 6237
6.93/7.13	c LP calls 8
6.93/7.13	c LP optimalities 0
6.93/7.13	c LP no pivot count 0
6.93/7.13	c LP infeasibilities 5
6.93/7.13	c LP valid Farkas constraints 4
6.93/7.13	c LP learned Farkas constraints 4
6.93/7.13	c LP basis resets 0
6.93/7.13	c LP cycling count 0
6.93/7.13	c LP singular count 0
6.93/7.13	c LP no primal count 0
6.93/7.13	c LP no farkas count 0
6.93/7.13	c LP other issue count 0
6.93/7.13	c LP Gomory cuts 0
6.93/7.13	c LP learned cuts 0
6.93/7.13	c LP deleted cuts 0
6.93/7.13	c LP encountered Gomory constraints 0
6.93/7.13	c LP encountered Farkas constraints 69
6.93/7.13	c LP encountered learned Farkas constraints 24
6.93/7.13	c CG auxiliary variables introduced 0
6.93/7.13	c CG solutions found 0
6.93/7.13	c CG cores constructed 0
6.93/7.13	c CG core cardinality constraints returned 0
6.93/7.13	c CG unit cores 0
6.93/7.13	c CG single cores 0
6.93/7.13	c CG blocks removed during cardinality reduction 0
6.93/7.13	c CG first core best 0
6.93/7.13	c CG decision core best 0
6.93/7.13	c CG core reduction tie 0
6.93/7.13	c CG core degree average 0.00
6.93/7.13	c CG core slack average 0.00
6.93/7.13	c CG core upper bound improvements 0
6.93/7.13	c STR number of successful calls 0
6.93/7.13	c STR number of unsuccessful calls 0
6.93/7.13	c STR number of inconclusive calls 0
6.93/7.13	c STR number of successful attempts 0
6.93/7.13	c STR number of unsuccessful attempts 0
6.93/7.13	c STR number of inconclusive attempts 0
6.93/7.13	c STR average degree increase per successful call inf
6.93/7.13	c STR average degree increase per successful attempt inf
6.93/7.13	c STR total number of conflicts for successful attempts 0
6.93/7.13	c STR total number of conflicts for unsuccessful attempts 0
6.93/7.13	c STR total number of conflicts for inconclusive attempts 0
6.93/7.13	c STR average number of conflicts per successful attempt inf
6.93/7.13	c STR average number of conflicts per unsuccessful attempt inf
6.93/7.13	c STR average number of conflicts per inconclusive attempt inf
6.93/7.13	c AVG.sumWPerc 80.87 
6.93/7.13	c bigint constraints 0 
6.93/7.13	s UNSATISFIABLE

Verifier Data

ERROR: no interpretation found !

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Wed Jul  2 14:10:50 CEST 2025
extraparms=--no-checkDeletion
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED BOUNDS INF <= obj <= INF
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS INF <= obj <= INF
--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: 63837 MiB (39299 MiB free)
  memory of node 1: 64465 MiB (49916 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504989-1751450801/watcher-4504989-1751450801 -o /tmp/evaluation-result-4504989-1751450801/solver-4504989-1751450801 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751443065-64809 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4504989-1751450801.opb PROOFDIR/proof-4504989-1751450801 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Current StackSize limit: 8192 KiB

solver pid=65842, runsolver pid=65839

[startup+0.100068 s]*
/proc/loadavg: 4.25 4.25 4.27 4/270 65844
/proc/meminfo: memFree=91346192/131382112 swapFree=33010416/33010684
[pid=65842] ppid=65839 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/65842/stat : 65842 (run-opt-ls-log.) S 65839 65842 64796 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 60759511 4292608 704 18446744073709551615 93896891494400 93896892388933 140726643512768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93896892627984 93896892675728 93896912871424 140726643517723 140726643517921 140726643517921 140726643523523 0
/proc/65842/statm: 1048 704 640 219 0 110 0
[pid=65844] ppid=65842 vsize=22076 memory=13716 CPUtime=0.01 cores=5,7
/proc/65844/stat : 65844 (pbsuma) R 65842 65842 64796 0 -1 4194304 2359 0 0 0 1 0 0 0 20 0 1 0 60759514 22605824 3397 18446744073709551615 4210688 4653049 140736356134496 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 35442688 140736356141283 140736356141618 140736356141618 140736356147183 0
/proc/65844/statm: 5519 3429 992 108 0 2927 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 26268 KiB
Current children cumulated memory: 16532 KiB

[startup+0.21957 s]*
/proc/loadavg: 4.25 4.25 4.27 5/270 65844
/proc/meminfo: memFree=91286892/131382112 swapFree=33010416/33010684
[pid=65842] ppid=65839 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/65842/stat : 65842 (run-opt-ls-log.) S 65839 65842 64796 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 60759511 4292608 704 18446744073709551615 93896891494400 93896892388933 140726643512768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93896892627984 93896892675728 93896912871424 140726643517723 140726643517921 140726643517921 140726643523523 0
/proc/65842/statm: 1048 704 640 219 0 110 0
[pid=65844] ppid=65842 vsize=68572 memory=46236 CPUtime=0.13 cores=5,7
/proc/65844/stat : 65844 (pbsuma) R 65842 65842 64796 0 -1 4194304 13244 0 0 0 11 2 0 0 20 0 1 0 60759514 70217728 11559 18446744073709551615 4210688 4653049 140736356134496 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 35442688 140736356141283 140736356141618 140736356141618 140736356147183 0
/proc/65844/statm: 17143 11559 992 108 0 14551 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 72764 KiB
Current children cumulated memory: 49052 KiB

[startup+0.313209 s]*
/proc/loadavg: 4.25 4.25 4.27 5/270 65844
/proc/meminfo: memFree=91274232/131382112 swapFree=33010416/33010684
[pid=65842] ppid=65839 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/65842/stat : 65842 (run-opt-ls-log.) S 65839 65842 64796 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 60759511 4292608 704 18446744073709551615 93896891494400 93896892388933 140726643512768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93896892627984 93896892675728 93896912871424 140726643517723 140726643517921 140726643517921 140726643523523 0
/proc/65842/statm: 1048 704 640 219 0 110 0
[pid=65844] ppid=65842 vsize=63356 memory=42368 CPUtime=0.22 cores=5,7
/proc/65844/stat : 65844 (pbsuma) R 65842 65842 64796 0 -1 4194304 13888 0 0 0 20 2 0 0 20 0 1 0 60759514 64876544 10592 18446744073709551615 4210688 4653049 140736356134496 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 35442688 140736356141283 140736356141618 140736356141618 140736356147183 0
/proc/65844/statm: 15839 10592 992 108 0 13247 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 67548 KiB
Current children cumulated memory: 45184 KiB

[startup+0.700343 s]
/proc/loadavg: 4.25 4.25 4.27 5/270 65844
/proc/meminfo: memFree=91250040/131382112 swapFree=33010416/33010684
[pid=65842] ppid=65839 vsize=4192 memory=2944 CPUtime=0.55 cores=5,7
/proc/65842/stat : 65842 (run-opt-ls-log.) S 65839 65842 64796 0 -1 4194304 243 14070 0 0 0 0 52 3 20 0 1 0 60759511 4292608 736 18446744073709551615 93896891494400 93896892388933 140726643512768 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93896892627984 93896892675728 93896912871424 140726643517723 140726643517921 140726643517921 140726643523523 0
/proc/65842/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

[startup+1.50025 s]
/proc/loadavg: 4.25 4.25 4.27 5/270 65845
/proc/meminfo: memFree=91196148/131382112 swapFree=33010416/33010684
[pid=65842] ppid=65839 vsize=4192 memory=2944 CPUtime=0.55 cores=5,7
/proc/65842/stat : 65842 (run-opt-ls-log.) S 65839 65842 64796 0 -1 4194304 243 14070 0 0 0 0 52 3 20 0 1 0 60759511 4292608 736 18446744073709551615 93896891494400 93896892388933 140726643512768 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93896892627984 93896892675728 93896912871424 140726643517723 140726643517921 140726643517921 140726643523523 0
/proc/65842/statm: 1048 736 672 219 0 110 0
[pid=65845] ppid=65842 vsize=123928 memory=72944 CPUtime=0.8 cores=5,7
/proc/65845/stat : 65845 (roundingsat) R 65842 65842 64796 0 -1 4194304 12135 0 0 0 67 13 0 0 20 0 1 0 60759577 126902272 18236 18446744073709551615 4227072 8923433 140735198524576 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 43290624 140735198533878 140735198534184 140735198534184 140735198539754 0
/proc/65845/statm: 30982 18236 2336 1147 0 18409 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 128120 KiB
Current children cumulated memory: 75888 KiB

[startup+3.10618 s]
/proc/loadavg: 4.23 4.24 4.27 5/270 65845
/proc/meminfo: memFree=90895692/131382112 swapFree=33010416/33010684
[pid=65842] ppid=65839 vsize=4192 memory=2944 CPUtime=0.55 cores=5,7
/proc/65842/stat : 65842 (run-opt-ls-log.) S 65839 65842 64796 0 -1 4194304 243 14070 0 0 0 0 52 3 20 0 1 0 60759511 4292608 736 18446744073709551615 93896891494400 93896892388933 140726643512768 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93896892627984 93896892675728 93896912871424 140726643517723 140726643517921 140726643517921 140726643523523 0
/proc/65842/statm: 1048 736 672 219 0 110 0
[pid=65845] ppid=65842 vsize=161784 memory=111348 CPUtime=2.39 cores=5,7
/proc/65845/stat : 65845 (roundingsat) R 65842 65842 64796 0 -1 4194304 20831 0 0 0 220 19 0 0 20 0 1 0 60759577 165666816 27837 18446744073709551615 4227072 8923433 140735198524576 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 43290624 140735198533878 140735198534184 140735198534184 140735198539754 0
/proc/65845/statm: 40446 27837 2400 1147 0 27873 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 165976 KiB
Current children cumulated memory: 114292 KiB

[startup+6.30034 s]
/proc/loadavg: 4.23 4.24 4.27 5/270 65845
/proc/meminfo: memFree=90540088/131382112 swapFree=33010416/33010684
[pid=65842] ppid=65839 vsize=4192 memory=2944 CPUtime=0.55 cores=5,7
/proc/65842/stat : 65842 (run-opt-ls-log.) S 65839 65842 64796 0 -1 4194304 243 14070 0 0 0 0 52 3 20 0 1 0 60759511 4292608 736 18446744073709551615 93896891494400 93896892388933 140726643512768 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93896892627984 93896892675728 93896912871424 140726643517723 140726643517921 140726643517921 140726643523523 0
/proc/65842/statm: 1048 736 672 219 0 110 0
[pid=65845] ppid=65842 vsize=171856 memory=118648 CPUtime=5.57 cores=5,7
/proc/65845/stat : 65845 (roundingsat) R 65842 65842 64796 0 -1 4194304 22125 0 0 0 534 23 0 0 20 0 1 0 60759577 175980544 29662 18446744073709551615 4227072 8923433 140735198524576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43290624 140735198533878 140735198534184 140735198534184 140735198539754 0
/proc/65845/statm: 42964 29662 2400 1147 0 30391 0
Current children cumulated CPU time: 6.12 s
Current children cumulated vsize: 176048 KiB
Current children cumulated memory: 121592 KiB

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

# cumulated CPU time of all completed processes:  user=6.6781 s, system=0.290991 s

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

[startup+6.40042 s]
/proc/loadavg: 4.23 4.24 4.27 5/270 65845
/proc/meminfo: memFree=90540088/131382112 swapFree=33010416/33010684
[pid=65842] ppid=65839 vsize=4192 memory=2944 CPUtime=0.55 cores=5,7
/proc/65842/stat : 65842 (run-opt-ls-log.) S 65839 65842 64796 0 -1 4194304 243 14070 0 0 0 0 52 3 20 0 1 0 60759511 4292608 736 18446744073709551615 93896891494400 93896892388933 140726643512768 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93896892627984 93896892675728 93896912871424 140726643517723 140726643517921 140726643517921 140726643523523 0
/proc/65842/statm: 1048 736 672 219 0 110 0
[pid=65845] ppid=65842 vsize=171856 memory=118648 CPUtime=5.67 cores=5,7
/proc/65845/stat : 65845 (roundingsat) R 65842 65842 64796 0 -1 4194304 22125 0 0 0 544 23 0 0 20 0 1 0 60759577 175980544 29662 18446744073709551615 4227072 8923433 140735198524576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43290624 140735198533878 140735198534184 140735198534184 140735198539754 0
/proc/65845/statm: 42964 29662 2400 1147 0 30391 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 176048 KiB
Current children cumulated memory: 121592 KiB

[startup+6.80032 s]
/proc/loadavg: 4.23 4.24 4.27 5/270 65845
/proc/meminfo: memFree=90540088/131382112 swapFree=33010416/33010684
[pid=65842] ppid=65839 vsize=4192 memory=2944 CPUtime=0.55 cores=5,7
/proc/65842/stat : 65842 (run-opt-ls-log.) S 65839 65842 64796 0 -1 4194304 243 14070 0 0 0 0 52 3 20 0 1 0 60759511 4292608 736 18446744073709551615 93896891494400 93896892388933 140726643512768 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93896892627984 93896892675728 93896912871424 140726643517723 140726643517921 140726643517921 140726643523523 0
/proc/65842/statm: 1048 736 672 219 0 110 0
[pid=65845] ppid=65842 vsize=172812 memory=120696 CPUtime=6.06 cores=5,7
/proc/65845/stat : 65845 (roundingsat) R 65842 65842 64796 0 -1 4194304 22659 0 0 0 583 23 0 0 20 0 1 0 60759577 176959488 30174 18446744073709551615 4227072 8923433 140735198524576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43290624 140735198533878 140735198534184 140735198534184 140735198539754 0
/proc/65845/statm: 43203 30174 2400 1147 0 30630 0
Current children cumulated CPU time: 6.61 s
Current children cumulated vsize: 177004 KiB
Current children cumulated memory: 123640 KiB

[startup+7.00031 s]*
/proc/loadavg: 4.21 4.24 4.26 5/270 65845
/proc/meminfo: memFree=90394280/131382112 swapFree=33010416/33010684
[pid=65842] ppid=65839 vsize=4192 memory=2944 CPUtime=0.55 cores=5,7
/proc/65842/stat : 65842 (run-opt-ls-log.) S 65839 65842 64796 0 -1 4194304 243 14070 0 0 0 0 52 3 20 0 1 0 60759511 4292608 736 18446744073709551615 93896891494400 93896892388933 140726643512768 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93896892627984 93896892675728 93896912871424 140726643517723 140726643517921 140726643517921 140726643523523 0
/proc/65842/statm: 1048 736 672 219 0 110 0
[pid=65845] ppid=65842 vsize=174964 memory=122232 CPUtime=6.27 cores=5,7
/proc/65845/stat : 65845 (roundingsat) R 65842 65842 64796 0 -1 4194304 23041 0 0 0 604 23 0 0 20 0 1 0 60759577 179163136 30558 18446744073709551615 4227072 8923433 140735198524576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43290624 140735198533878 140735198534184 140735198534184 140735198539754 0
/proc/65845/statm: 43741 30558 2400 1147 0 31168 0
Current children cumulated CPU time: 6.82 s
Current children cumulated vsize: 179156 KiB
Current children cumulated memory: 125176 KiB

[startup+7.11388 s]
/proc/loadavg: 4.21 4.24 4.26 5/270 65845
/proc/meminfo: memFree=90394280/131382112 swapFree=33010416/33010684
[pid=65842] ppid=65839 vsize=4192 memory=2944 CPUtime=0.55 cores=5,7
/proc/65842/stat : 65842 (run-opt-ls-log.) S 65839 65842 64796 0 -1 4194304 243 14070 0 0 0 0 52 3 20 0 1 0 60759511 4292608 736 18446744073709551615 93896891494400 93896892388933 140726643512768 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93896892627984 93896892675728 93896912871424 140726643517723 140726643517921 140726643517921 140726643523523 0
/proc/65842/statm: 1048 736 672 219 0 110 0
[pid=65845] ppid=65842 vsize=175264 memory=123256 CPUtime=6.38 cores=5,7
/proc/65845/stat : 65845 (roundingsat) D 65842 65842 64796 0 -1 4194304 23301 0 0 0 614 24 0 0 20 0 1 0 60759577 179470336 30814 18446744073709551615 4227072 8923433 140735198524576 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 43290624 140735198533878 140735198534184 140735198534184 140735198539754 0
/proc/65845/statm: 43816 30814 2400 1147 0 31243 0
Current children cumulated CPU time: 6.93 s
Current children cumulated vsize: 179456 KiB
Current children cumulated memory: 126200 KiB

Child status: 0

Real time (s): 7.14103
CPU time (s): 6.96909
CPU user time (s): 6.6781
CPU system time (s): 0.290991
CPU usage (%): 97.5923
Max. virtual memory (cumulated for all children) (KiB): 179456
Max. memory (cumulated for all children) (KiB): 126200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.6781
system time used= 0.290991
maximum resident set size= 123256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37636
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 688
involuntary context switches= 80


# summary of solver processes directly reported to runsolver:
#   pid: 65842
#   total CPU time (s): 6.96909
#   total CPU user time (s): 6.6781
#   total CPU system time (s): 0.290991

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.0681 second user time and 0.122438 second system time

The end

Launcher Data

Begin job on nodeC005 at 2025-07-02 12:06:41
IDJOB=4504989
IDBENCH=155719
IDSOLVER=3356
FILE ID=nodeC005/4504989-1751450801
RUNJOBID= nodeC005-1751443065-64809
SLURM_JOB_ID= 9598416
Free space on /tmp= 429708 MiB

SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/IC/normalized-minisat25_6_3_3_ic.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504989-1751450801/watcher-4504989-1751450801 -o /tmp/evaluation-result-4504989-1751450801/solver-4504989-1751450801 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751443065-64809 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4504989-1751450801.opb PROOFDIR/proof-4504989-1751450801

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

MD5SUM BENCH= 9beff3f3155855feaa4c9645b72566dc
RANDOM SEED=964311336

nodeC005 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	: 0xb00001f
cpu MHz		: 3660.018
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 3591.918
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 1197.444
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 1197.396
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 3659.940
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 2693.810
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 1197.512
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 1197.278
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        91366772 kB
MemAvailable:   123235324 kB
Buffers:            2128 kB
Cached:         32630264 kB
SwapCached:           24 kB
Active:          7013076 kB
Inactive:       31983740 kB
Active(anon):    6379308 kB
Inactive(anon):     3164 kB
Active(file):     633768 kB
Inactive(file): 31980576 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:          11734932 kB
Writeback:        606208 kB
AnonPages:       6367908 kB
Mapped:           117952 kB
Shmem:             17936 kB
KReclaimable:     187668 kB
Slab:             662556 kB
SReclaimable:     187668 kB
SUnreclaim:       474888 kB
KernelStack:        4368 kB
PageTables:        16180 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    7552964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149752 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2473984 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:      201544 kB
DirectMap2M:     8089600 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 429696 MiB
End job on nodeC005 at 2025-07-02 12:06:49