Trace number 4544416

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. 169.479 169.88

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_04_280.opb
MD5SUM9594ac6881a98589fd35bafe025917a8
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.145039
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6723
Total number of constraints5604
Number of constraints which are clauses4482
Number of constraints which are cardinality constraints (but not clauses)1121
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint4482
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 4482
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 13446
Number of bits of the biggest sum of numbers14
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.05	c #variables 6723 #constraints 6725
123.29/123.67	c #Conflicts:       1000 | #Constraints:       7724
123.29/123.67	c #Conflicts:       2000 | #Constraints:       8724
123.29/123.67	c INPROCESSING
123.29/123.67	c GARBAGE COLLECT
123.29/123.67	c #Conflicts:       3000 | #Constraints:       8914
123.29/123.67	c #Conflicts:       4000 | #Constraints:       9914
123.29/123.67	c INPROCESSING
123.29/123.67	c GARBAGE COLLECT
123.29/123.67	c #Conflicts:       5000 | #Constraints:       9409
123.29/123.67	c #Conflicts:       6000 | #Constraints:      10409
123.29/123.67	c INPROCESSING
123.29/123.67	c GARBAGE COLLECT
123.29/123.67	c #Conflicts:       7000 | #Constraints:       9389
123.29/123.67	c #Conflicts:       8000 | #Constraints:      10389
123.29/123.67	c #Conflicts:       9000 | #Constraints:      11389
123.29/123.67	c INPROCESSING
123.29/123.67	c GARBAGE COLLECT
123.29/123.67	c #Conflicts:      10000 | #Constraints:      10173
123.29/123.67	c #Conflicts:      11000 | #Constraints:      11173
123.29/123.67	c #Conflicts:      12000 | #Constraints:      12173
123.29/123.67	c INPROCESSING
123.29/123.67	c GARBAGE COLLECT
123.29/123.67	c #Conflicts:      13000 | #Constraints:      10531
123.29/123.67	c #Conflicts:      14000 | #Constraints:      11531
123.29/123.67	c #Conflicts:      15000 | #Constraints:      12531
123.29/123.67	c INPROCESSING
123.29/123.67	c GARBAGE COLLECT
123.29/123.67	c #Conflicts:      16000 | #Constraints:      10824
123.29/123.67	c #Conflicts:      17000 | #Constraints:      11824
123.29/123.67	c #Conflicts:      18000 | #Constraints:      12824
123.29/123.67	c INPROCESSING
123.29/123.67	c GARBAGE COLLECT
123.29/123.67	c #Conflicts:      19000 | #Constraints:      10872
123.29/123.67	c #Conflicts:      20000 | #Constraints:      11872
123.29/123.67	c #Conflicts:      21000 | #Constraints:      12873
123.29/123.67	c INPROCESSING
123.29/123.67	c GARBAGE COLLECT
123.29/123.67	c #Conflicts:      22000 | #Constraints:      10641
123.29/123.67	c #Conflicts:      23000 | #Constraints:      11641
123.29/123.67	c #Conflicts:      24000 | #Constraints:      12641
123.29/123.67	c #Conflicts:      25000 | #Constraints:      13641
123.29/123.67	c INPROCESSING
123.29/123.67	c GARBAGE COLLECT
123.29/123.67	c #Conflicts:      26000 | #Constraints:      11233
123.29/123.67	c #Conflicts:      27000 | #Constraints:      12233
123.29/123.67	c #Conflicts:      28000 | #Constraints:      13233
123.29/123.67	c #Conflicts:      29000 | #Constraints:      14233
123.29/123.67	c INPROCESSING
123.29/123.67	c GARBAGE COLLECT
123.29/123.67	c #Conflicts:      30000 | #Constraints:      11614
123.29/123.67	c #Conflicts:      31000 | #Constraints:      12615
123.29/123.67	c #Conflicts:      32000 | #Constraints:      13615
123.29/123.67	c #Conflicts:      33000 | #Constraints:      14615
123.29/123.67	c INPROCESSING
123.29/123.67	c GARBAGE COLLECT
123.29/123.67	c #Conflicts:      34000 | #Constraints:      11802
123.29/123.67	c #Conflicts:      35000 | #Constraints:      12802
123.29/123.67	c #Conflicts:      36000 | #Constraints:      13803
123.29/123.67	c #Conflicts:      37000 | #Constraints:      14803
123.29/123.67	c INPROCESSING
123.29/123.67	c GARBAGE COLLECT
123.29/123.67	c #Conflicts:      38000 | #Constraints:      11796
123.29/123.67	c #Conflicts:      39000 | #Constraints:      12796
123.29/123.67	c #Conflicts:      40000 | #Constraints:      13796
123.29/123.67	c #Conflicts:      41000 | #Constraints:      14797
123.29/123.67	c INPROCESSING
123.29/123.67	c GARBAGE COLLECT
123.29/123.67	c #Conflicts:      42000 | #Constraints:      11587
123.29/123.67	c #Conflicts:      43000 | #Constraints:      12587
123.29/123.67	c #Conflicts:      44000 | #Constraints:      13588
123.29/123.67	c #Conflicts:      45000 | #Constraints:      14588
123.29/123.67	c #Conflicts:      46000 | #Constraints:      15588
123.29/123.67	c INPROCESSING
123.29/123.67	c GARBAGE COLLECT
123.29/123.67	c #Conflicts:      47000 | #Constraints:      12194
123.29/123.67	c #Conflicts:      48000 | #Constraints:      13194
123.29/123.67	c #Conflicts:      49000 | #Constraints:      14195
123.29/123.67	c #Conflicts:      50000 | #Constraints:      15195
123.29/123.67	c #Conflicts:      51000 | #Constraints:      16196
123.29/123.67	c INPROCESSING
123.29/123.67	c GARBAGE COLLECT
123.29/123.67	c rational objective 3361.5
169.38/169.86	c #Conflicts:      52000 | #Constraints:      12591
169.38/169.86	c #Conflicts:      53000 | #Constraints:      13591
169.38/169.86	c #Conflicts:      54000 | #Constraints:      14592
169.38/169.86	c #Conflicts:      55000 | #Constraints:      15592
169.38/169.86	c #Conflicts:      56000 | #Constraints:      16592
169.38/169.86	c INPROCESSING
169.38/169.86	c GARBAGE COLLECT
169.38/169.86	c #Conflicts:      57000 | #Constraints:      12715
169.38/169.86	c #Conflicts:      58000 | #Constraints:      13715
169.38/169.86	c #Conflicts:      59000 | #Constraints:      14715
169.38/169.86	c #Conflicts:      60000 | #Constraints:      15715
169.38/169.86	c #Conflicts:      61000 | #Constraints:      16715
169.38/169.86	c INPROCESSING
169.38/169.86	c GARBAGE COLLECT
169.38/169.86	c #Conflicts:      62000 | #Constraints:      12680
169.38/169.86	c #Conflicts:      63000 | #Constraints:      13680
169.38/169.86	c #Conflicts:      64000 | #Constraints:      14680
169.38/169.86	c #Conflicts:      65000 | #Constraints:      15681
169.38/169.86	c #Conflicts:      66000 | #Constraints:      16682
169.38/169.86	c INPROCESSING
169.38/169.86	c GARBAGE COLLECT
169.38/169.86	c #Conflicts:      67000 | #Constraints:      12473
169.38/169.86	c #Conflicts:      68000 | #Constraints:      13473
169.38/169.86	c #Conflicts:      69000 | #Constraints:      14473
169.38/169.86	c #Conflicts:      70000 | #Constraints:      15474
169.38/169.86	c #Conflicts:      71000 | #Constraints:      16474
169.38/169.86	c #Conflicts:      72000 | #Constraints:      17474
169.38/169.86	c INPROCESSING
169.38/169.86	c GARBAGE COLLECT
169.38/169.86	c #Conflicts:      73000 | #Constraints:      13082
169.38/169.86	c #Conflicts:      74000 | #Constraints:      14082
169.38/169.86	c #Conflicts:      75000 | #Constraints:      15082
169.38/169.86	c #Conflicts:      76000 | #Constraints:      16082
169.38/169.86	c #Conflicts:      77000 | #Constraints:      17082
169.38/169.86	c #Conflicts:      78000 | #Constraints:      18082
169.38/169.86	c INPROCESSING
169.38/169.86	c GARBAGE COLLECT
169.38/169.86	c cpu time 168.364 s
169.38/169.86	c deterministic time 4585009022 4.59e+09
169.38/169.86	c optimization time 4.5e-05 s
169.38/169.86	c total solve time 168.337 s
169.38/169.86	c core-guided solve time 0 s
169.38/169.86	c propagation time 32.9437 s
169.38/169.86	c conflict analysis time 21.5697 s
169.38/169.86	c propagations 33093967
169.38/169.86	c resolve steps 622576
169.38/169.86	c decisions 675207
169.38/169.86	c conflicts 78001
169.38/169.86	c restarts 250
169.38/169.86	c inprocessing phases 20
169.38/169.86	c garbage collections 20 ,( 100.00 )
169.38/169.86	c input clauses 4484 ,( 66.68 )
169.38/169.86	c input cardinalities 2240 ,( 33.31 )
169.38/169.86	c input general constraints 1 ,( 0.01 )
169.38/169.86	c input average constraint length 3.33
169.38/169.86	c input average constraint degree 2.00
169.38/169.86	c learned clauses 12466 ,( 15.98 )
169.38/169.86	c learned cardinalities 1739 ,( 2.23 )
169.38/169.86	c learned general constraints 63810 ,( 81.79 )
169.38/169.86	c learned average constraint length 1060.65
169.38/169.86	c learned average constraint degree 1528220615.37
169.38/169.86	c watched  CF 32, 64, 128, Arb: 55606 , 0 , 0 , 0
169.38/169.86	c counting CF 32, 64, 128, Arb: 8205 , 0 , 0 , 0
169.38/169.86	c watched   constraints 55606 ,( 87.14 ) 
169.38/169.86	c counting  constraints 8205 ,( 12.86 ) 
169.38/169.86	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 9783160 , 10167928 , 23507534 ,( 22618317 , 889217 )
169.38/169.86	c gcd simplifications 1006
169.38/169.86	c detected cardinalities 39
169.38/169.86	c weakened non-implied lits 17904303
169.38/169.86	c weakened non-implying lits 1560
169.38/169.86	c original variables 6723
169.38/169.86	c clausal propagations 9446771
169.38/169.86	c cardinality propagations 5449000
169.38/169.86	c watched propagations 7301402
169.38/169.86	c counting propagations 5738862
169.38/169.86	c watch lookups 375824917
169.38/169.86	c watch backjump lookups 0
169.38/169.86	c watch checks 3120086007
169.38/169.86	c propagation checks 856894954
169.38/169.86	c constraint additions 164570447
169.38/169.86	c trail pops 33847160
169.38/169.86	c formula constraints 6725
169.38/169.86	c learned constraints 77986
169.38/169.86	c bound constraints 0
169.38/169.86	c core-guided constraints 0
169.38/169.86	c encountered formula constraints 544509
169.38/169.86	c encountered learned constraints 152167
169.38/169.86	c encountered bound constraints 0
169.38/169.86	c encountered core-guided constraints 0
169.38/169.86	c LP total time 2.03452 s
169.38/169.86	c LP solve time 1.36 s
169.38/169.86	c LP constraints added 6726
169.38/169.86	c LP constraints removed 0
169.38/169.86	c LP pivots internal 7965
169.38/169.86	c LP pivots root 8397
169.38/169.86	c LP calls 19
169.38/169.86	c LP optimalities 1
169.38/169.86	c LP no pivot count 0
169.38/169.86	c LP infeasibilities 15
169.38/169.86	c LP valid Farkas constraints 14
169.38/169.86	c LP learned Farkas constraints 14
169.38/169.86	c LP basis resets 0
169.38/169.86	c LP cycling count 0
169.38/169.86	c LP singular count 0
169.38/169.86	c LP no primal count 0
169.38/169.86	c LP no farkas count 0
169.38/169.86	c LP other issue count 0
169.38/169.86	c LP Gomory cuts 1
169.38/169.86	c LP learned cuts 0
169.38/169.86	c LP deleted cuts 0
169.38/169.86	c LP encountered Gomory constraints 0
169.38/169.86	c LP encountered Farkas constraints 3622
169.38/169.86	c LP encountered learned Farkas constraints 264
169.38/169.86	c CG auxiliary variables introduced 0
169.38/169.86	c CG solutions found 0
169.38/169.86	c CG cores constructed 0
169.38/169.86	c CG core cardinality constraints returned 0
169.38/169.86	c CG unit cores 0
169.38/169.87	c CG single cores 0
169.38/169.87	c CG blocks removed during cardinality reduction 0
169.38/169.87	c CG first core best 0
169.38/169.87	c CG decision core best 0
169.38/169.87	c CG core reduction tie 0
169.38/169.87	c CG core degree average 0.00
169.38/169.87	c CG core slack average 0.00
169.38/169.87	c CG core upper bound improvements 0
169.38/169.87	c STR number of successful calls 0
169.38/169.87	c STR number of unsuccessful calls 0
169.38/169.87	c STR number of inconclusive calls 0
169.38/169.87	c STR number of successful attempts 0
169.38/169.87	c STR number of unsuccessful attempts 0
169.38/169.87	c STR number of inconclusive attempts 0
169.38/169.87	c STR average degree increase per successful call inf
169.38/169.87	c STR average degree increase per successful attempt inf
169.38/169.87	c STR total number of conflicts for successful attempts 0
169.38/169.87	c STR total number of conflicts for unsuccessful attempts 0
169.38/169.87	c STR total number of conflicts for inconclusive attempts 0
169.38/169.87	c STR average number of conflicts per successful attempt inf
169.38/169.87	c STR average number of conflicts per unsuccessful attempt inf
169.38/169.87	c STR average number of conflicts per inconclusive attempt inf
169.38/169.87	c AVG.sumWPerc 19.48 
169.38/169.87	c bigint constraints 0 
169.38/169.87	s UNSATISFIABLE

Verifier Data 

ERROR: no interpretation found !

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Tue Jul 22 23:41:09 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 (57151 MiB free)
  memory of node 1: 64465 MiB (59258 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4544416-1753207478/watcher-4544416-1753207478 -o /tmp/evaluation-result-4544416-1753207478/solver-4544416-1753207478 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1753198973-183312 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4544416-1753207478.opb /tmp/proof-4544416-1753207478 

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

solver pid=184570, runsolver pid=184567

[startup+0.100064 s]*
/proc/loadavg: 4.21 4.18 4.16 5/267 184572
/proc/meminfo: memFree=119190708/131249996 swapFree=33010160/33010684
[pid=184570] ppid=184567 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/184570/stat : 184570 (run-dec-ls-log.) S 184567 184570 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236426204 4292608 768 18446744073709551615 94292027596800 94292028491333 140735770602432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94292028730384 94292028778128 94292048936960 140735770609983 140735770610143 140735770610143 140735770615747 0
/proc/184570/statm: 1048 768 704 219 0 110 0
[pid=184572] ppid=184570 vsize=72252 memory=27080 CPUtime=0.08 cores=5,7
/proc/184572/stat : 184572 (roundingsat) R 184570 184570 183292 0 -1 4194304 4898 0 0 0 7 1 0 0 20 0 1 0 236426205 73986048 6770 18446744073709551615 4227072 8923433 140736169308464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33984512 140736169314676 140736169314854 140736169314854 140736169320426 0
/proc/184572/statm: 18063 6770 2272 1147 0 5490 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 76444 KiB
Current children cumulated memory: 30152 KiB

[startup+0.205521 s]*
/proc/loadavg: 4.21 4.18 4.16 5/267 184572
/proc/meminfo: memFree=119190708/131249996 swapFree=33010160/33010684
[pid=184570] ppid=184567 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/184570/stat : 184570 (run-dec-ls-log.) S 184567 184570 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236426204 4292608 768 18446744073709551615 94292027596800 94292028491333 140735770602432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94292028730384 94292028778128 94292048936960 140735770609983 140735770610143 140735770610143 140735770615747 0
/proc/184570/statm: 1048 768 704 219 0 110 0
[pid=184572] ppid=184570 vsize=72252 memory=27080 CPUtime=0.18 cores=5,7
/proc/184572/stat : 184572 (roundingsat) R 184570 184570 183292 0 -1 4194304 4898 0 0 0 17 1 0 0 20 0 1 0 236426205 73986048 6770 18446744073709551615 4227072 8923433 140736169308464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33984512 140736169314676 140736169314854 140736169314854 140736169320426 0
/proc/184572/statm: 18063 6770 2272 1147 0 5490 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 76444 KiB
Current children cumulated memory: 30152 KiB

[startup+0.305448 s]*
/proc/loadavg: 4.21 4.18 4.16 5/267 184572
/proc/meminfo: memFree=119190708/131249996 swapFree=33010160/33010684
[pid=184570] ppid=184567 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/184570/stat : 184570 (run-dec-ls-log.) S 184567 184570 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236426204 4292608 768 18446744073709551615 94292027596800 94292028491333 140735770602432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94292028730384 94292028778128 94292048936960 140735770609983 140735770610143 140735770610143 140735770615747 0
/proc/184570/statm: 1048 768 704 219 0 110 0
[pid=184572] ppid=184570 vsize=72252 memory=27080 CPUtime=0.28 cores=5,7
/proc/184572/stat : 184572 (roundingsat) R 184570 184570 183292 0 -1 4194304 4898 0 0 0 27 1 0 0 20 0 1 0 236426205 73986048 6770 18446744073709551615 4227072 8923433 140736169308464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33984512 140736169314676 140736169314854 140736169314854 140736169320426 0
/proc/184572/statm: 18063 6770 2272 1147 0 5490 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 76444 KiB
Current children cumulated memory: 30152 KiB

[startup+0.700204 s]
/proc/loadavg: 4.21 4.18 4.16 5/267 184572
/proc/meminfo: memFree=119190708/131249996 swapFree=33010160/33010684
[pid=184570] ppid=184567 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/184570/stat : 184570 (run-dec-ls-log.) S 184567 184570 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236426204 4292608 768 18446744073709551615 94292027596800 94292028491333 140735770602432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94292028730384 94292028778128 94292048936960 140735770609983 140735770610143 140735770610143 140735770615747 0
/proc/184570/statm: 1048 768 704 219 0 110 0
[pid=184572] ppid=184570 vsize=72252 memory=27080 CPUtime=0.67 cores=5,7
/proc/184572/stat : 184572 (roundingsat) R 184570 184570 183292 0 -1 4194304 4898 0 0 0 66 1 0 0 20 0 1 0 236426205 73986048 6770 18446744073709551615 4227072 8923433 140736169308464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33984512 140736169314676 140736169314854 140736169314854 140736169320426 0
/proc/184572/statm: 18063 6770 2272 1147 0 5490 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 76444 KiB
Current children cumulated memory: 30152 KiB

[startup+1.5002 s]
/proc/loadavg: 4.19 4.18 4.16 5/267 184572
/proc/meminfo: memFree=119190708/131249996 swapFree=33010160/33010684
[pid=184570] ppid=184567 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/184570/stat : 184570 (run-dec-ls-log.) S 184567 184570 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236426204 4292608 768 18446744073709551615 94292027596800 94292028491333 140735770602432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94292028730384 94292028778128 94292048936960 140735770609983 140735770610143 140735770610143 140735770615747 0
/proc/184570/statm: 1048 768 704 219 0 110 0
[pid=184572] ppid=184570 vsize=72252 memory=27080 CPUtime=1.47 cores=5,7
/proc/184572/stat : 184572 (roundingsat) R 184570 184570 183292 0 -1 4194304 4900 0 0 0 146 1 0 0 20 0 1 0 236426205 73986048 6770 18446744073709551615 4227072 8923433 140736169308464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33984512 140736169314676 140736169314854 140736169314854 140736169320426 0
/proc/184572/statm: 18063 6770 2272 1147 0 5490 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 76444 KiB
Current children cumulated memory: 30152 KiB

[startup+3.10524 s]
/proc/loadavg: 4.19 4.18 4.16 5/267 184572
/proc/meminfo: memFree=119190868/131249996 swapFree=33010160/33010684
[pid=184570] ppid=184567 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/184570/stat : 184570 (run-dec-ls-log.) S 184567 184570 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236426204 4292608 768 18446744073709551615 94292027596800 94292028491333 140735770602432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94292028730384 94292028778128 94292048936960 140735770609983 140735770610143 140735770610143 140735770615747 0
/proc/184570/statm: 1048 768 704 219 0 110 0
[pid=184572] ppid=184570 vsize=72252 memory=27080 CPUtime=3.07 cores=5,7
/proc/184572/stat : 184572 (roundingsat) R 184570 184570 183292 0 -1 4194304 4900 0 0 0 306 1 0 0 20 0 1 0 236426205 73986048 6770 18446744073709551615 4227072 8923433 140736169308464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33984512 140736169314676 140736169314854 140736169314854 140736169320426 0
/proc/184572/statm: 18063 6770 2272 1147 0 5490 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 76444 KiB
Current children cumulated memory: 30152 KiB

[startup+6.30018 s]
/proc/loadavg: 4.25 4.19 4.17 5/267 184572
/proc/meminfo: memFree=119178220/131249996 swapFree=33010160/33010684
[pid=184570] ppid=184567 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/184570/stat : 184570 (run-dec-ls-log.) S 184567 184570 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236426204 4292608 768 18446744073709551615 94292027596800 94292028491333 140735770602432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94292028730384 94292028778128 94292048936960 140735770609983 140735770610143 140735770610143 140735770615747 0
/proc/184570/statm: 1048 768 704 219 0 110 0
[pid=184572] ppid=184570 vsize=97772 memory=54656 CPUtime=6.26 cores=5,7
/proc/184572/stat : 184572 (roundingsat) R 184570 184570 183292 0 -1 4194304 8673 0 0 0 621 5 0 0 20 0 1 0 236426205 100118528 13664 18446744073709551615 4227072 8923433 140736169308464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33984512 140736169314676 140736169314854 140736169314854 140736169320426 0
/proc/184572/statm: 24443 13664 2336 1147 0 11870 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 101964 KiB
Current children cumulated memory: 57728 KiB

[startup+12.7002 s]
/proc/loadavg: 4.23 4.19 4.17 5/267 184572
/proc/meminfo: memFree=119126052/131249996 swapFree=33010160/33010684
[pid=184570] ppid=184567 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/184570/stat : 184570 (run-dec-ls-log.) S 184567 184570 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236426204 4292608 768 18446744073709551615 94292027596800 94292028491333 140735770602432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94292028730384 94292028778128 94292048936960 140735770609983 140735770610143 140735770610143 140735770615747 0
/proc/184570/statm: 1048 768 704 219 0 110 0
[pid=184572] ppid=184570 vsize=152168 memory=94088 CPUtime=12.65 cores=5,7
/proc/184572/stat : 184572 (roundingsat) R 184570 184570 183292 0 -1 4194304 15477 0 0 0 1255 10 0 0 20 0 1 0 236426205 155820032 23522 18446744073709551615 4227072 8923433 140736169308464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33984512 140736169314676 140736169314854 140736169314854 140736169320426 0
/proc/184572/statm: 38042 23522 2336 1147 0 25469 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 156360 KiB
Current children cumulated memory: 97160 KiB

[startup+25.5002 s]
/proc/loadavg: 4.20 4.18 4.17 5/267 184573
/proc/meminfo: memFree=119033392/131249996 swapFree=33010160/33010684
[pid=184570] ppid=184567 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/184570/stat : 184570 (run-dec-ls-log.) S 184567 184570 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236426204 4292608 768 18446744073709551615 94292027596800 94292028491333 140735770602432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94292028730384 94292028778128 94292048936960 140735770609983 140735770610143 140735770610143 140735770615747 0
/proc/184570/statm: 1048 768 704 219 0 110 0
[pid=184572] ppid=184570 vsize=222528 memory=161020 CPUtime=25.42 cores=5,7
/proc/184572/stat : 184572 (roundingsat) R 184570 184570 183292 0 -1 4194304 24051 0 0 0 2522 20 0 0 20 0 1 0 236426205 227868672 40255 18446744073709551615 4227072 8923433 140736169308464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33984512 140736169314676 140736169314854 140736169314854 140736169320426 0
/proc/184572/statm: 55632 40255 2336 1147 0 43059 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 226720 KiB
Current children cumulated memory: 164092 KiB

[startup+51.1054 s]
/proc/loadavg: 4.20 4.18 4.17 5/267 184574
/proc/meminfo: memFree=118955832/131249996 swapFree=33010160/33010684
[pid=184570] ppid=184567 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/184570/stat : 184570 (run-dec-ls-log.) S 184567 184570 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236426204 4292608 768 18446744073709551615 94292027596800 94292028491333 140735770602432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94292028730384 94292028778128 94292048936960 140735770609983 140735770610143 140735770610143 140735770615747 0
/proc/184570/statm: 1048 768 704 219 0 110 0
[pid=184572] ppid=184570 vsize=309032 memory=209396 CPUtime=50.96 cores=5,7
/proc/184572/stat : 184572 (roundingsat) R 184570 184570 183292 0 -1 4194304 32027 0 0 0 5058 38 0 0 20 0 1 0 236426205 316448768 52349 18446744073709551615 4227072 8923433 140736169308464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33984512 140736169314676 140736169314854 140736169314854 140736169320426 0
/proc/184572/statm: 77258 52349 2336 1147 0 64685 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 313224 KiB
Current children cumulated memory: 212468 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.15 4.16 5/267 184576
/proc/meminfo: memFree=118718464/131249996 swapFree=33010160/33010684
[pid=184570] ppid=184567 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/184570/stat : 184570 (run-dec-ls-log.) S 184567 184570 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236426204 4292608 768 18446744073709551615 94292027596800 94292028491333 140735770602432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94292028730384 94292028778128 94292048936960 140735770609983 140735770610143 140735770610143 140735770615747 0
/proc/184570/statm: 1048 768 704 219 0 110 0
[pid=184572] ppid=184570 vsize=352508 memory=249712 CPUtime=102.04 cores=5,7
/proc/184572/stat : 184572 (roundingsat) R 184570 184570 183292 0 -1 4194304 41070 0 0 0 10136 68 0 0 20 0 1 0 236426205 360968192 62428 18446744073709551615 4227072 8923433 140736169308464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33984512 140736169314676 140736169314854 140736169314854 140736169320426 0
/proc/184572/statm: 88127 62428 2368 1147 0 75554 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 356700 KiB
Current children cumulated memory: 252784 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.15 4.16 5/267 184578
/proc/meminfo: memFree=118524824/131249996 swapFree=33010160/33010684
[pid=184570] ppid=184567 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/184570/stat : 184570 (run-dec-ls-log.) S 184567 184570 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236426204 4292608 768 18446744073709551615 94292027596800 94292028491333 140735770602432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94292028730384 94292028778128 94292048936960 140735770609983 140735770610143 140735770610143 140735770615747 0
/proc/184570/statm: 1048 768 704 219 0 110 0
[pid=184572] ppid=184570 vsize=389056 memory=283248 CPUtime=161.9 cores=5,7
/proc/184572/stat : 184572 (roundingsat) R 184570 184570 183292 0 -1 4194304 49455 0 0 0 16085 105 0 0 20 0 1 0 236426205 398393344 70812 18446744073709551615 4227072 8923433 140736169308464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33984512 140736169314676 140736169314854 140736169314854 140736169320426 0
/proc/184572/statm: 97264 70812 2368 1147 0 84691 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 393248 KiB
Current children cumulated memory: 286320 KiB

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

# cumulated CPU time of all completed processes:  user=168.37 s, system=1.10917 s

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

[startup+166.4 s]
/proc/loadavg: 4.12 4.15 4.15 5/267 184578
/proc/meminfo: memFree=118516520/131249996 swapFree=33010160/33010684
[pid=184570] ppid=184567 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/184570/stat : 184570 (run-dec-ls-log.) S 184567 184570 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236426204 4292608 768 18446744073709551615 94292027596800 94292028491333 140735770602432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94292028730384 94292028778128 94292048936960 140735770609983 140735770610143 140735770610143 140735770615747 0
/proc/184570/statm: 1048 768 704 219 0 110 0
[pid=184572] ppid=184570 vsize=393380 memory=286320 CPUtime=165.99 cores=5,7
/proc/184572/stat : 184572 (roundingsat) R 184570 184570 183292 0 -1 4194304 50224 0 0 0 16490 109 0 0 20 0 1 0 236426205 402821120 71580 18446744073709551615 4227072 8923433 140736169308464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33984512 140736169314676 140736169314854 140736169314854 140736169320426 0
/proc/184572/statm: 98345 71580 2368 1147 0 85772 0
Current children cumulated CPU time: 165.99 s
Current children cumulated vsize: 397572 KiB
Current children cumulated memory: 289392 KiB

[startup+168 s]*
/proc/loadavg: 4.12 4.15 4.15 5/267 184578
/proc/meminfo: memFree=118515016/131249996 swapFree=33010160/33010684
[pid=184570] ppid=184567 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/184570/stat : 184570 (run-dec-ls-log.) S 184567 184570 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236426204 4292608 768 18446744073709551615 94292027596800 94292028491333 140735770602432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94292028730384 94292028778128 94292048936960 140735770609983 140735770610143 140735770610143 140735770615747 0
/proc/184570/statm: 1048 768 704 219 0 110 0
[pid=184572] ppid=184570 vsize=393380 memory=286320 CPUtime=167.59 cores=5,7
/proc/184572/stat : 184572 (roundingsat) R 184570 184570 183292 0 -1 4194304 50224 0 0 0 16650 109 0 0 20 0 1 0 236426205 402821120 71580 18446744073709551615 4227072 8923433 140736169308464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33984512 140736169314676 140736169314854 140736169314854 140736169320426 0
/proc/184572/statm: 98345 71580 2368 1147 0 85772 0
Current children cumulated CPU time: 167.59 s
Current children cumulated vsize: 397572 KiB
Current children cumulated memory: 289392 KiB

[startup+168.8 s]
/proc/loadavg: 4.12 4.15 4.15 5/267 184578
/proc/meminfo: memFree=118515016/131249996 swapFree=33010160/33010684
[pid=184570] ppid=184567 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/184570/stat : 184570 (run-dec-ls-log.) S 184567 184570 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236426204 4292608 768 18446744073709551615 94292027596800 94292028491333 140735770602432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94292028730384 94292028778128 94292048936960 140735770609983 140735770610143 140735770610143 140735770615747 0
/proc/184570/statm: 1048 768 704 219 0 110 0
[pid=184572] ppid=184570 vsize=393380 memory=286320 CPUtime=168.39 cores=5,7
/proc/184572/stat : 184572 (roundingsat) R 184570 184570 183292 0 -1 4194304 50224 0 0 0 16730 109 0 0 20 0 1 0 236426205 402821120 71580 18446744073709551615 4227072 8923433 140736169308464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33984512 140736169314676 140736169314854 140736169314854 140736169320426 0
/proc/184572/statm: 98345 71580 2368 1147 0 85772 0
Current children cumulated CPU time: 168.39 s
Current children cumulated vsize: 397572 KiB
Current children cumulated memory: 289392 KiB

[startup+169.6 s]
/proc/loadavg: 4.12 4.15 4.15 5/267 184578
/proc/meminfo: memFree=118515032/131249996 swapFree=33010160/33010684
[pid=184570] ppid=184567 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/184570/stat : 184570 (run-dec-ls-log.) S 184567 184570 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236426204 4292608 768 18446744073709551615 94292027596800 94292028491333 140735770602432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94292028730384 94292028778128 94292048936960 140735770609983 140735770610143 140735770610143 140735770615747 0
/proc/184570/statm: 1048 768 704 219 0 110 0
[pid=184572] ppid=184570 vsize=393380 memory=286320 CPUtime=169.19 cores=5,7
/proc/184572/stat : 184572 (roundingsat) R 184570 184570 183292 0 -1 4194304 50224 0 0 0 16810 109 0 0 20 0 1 0 236426205 402821120 71580 18446744073709551615 4227072 8923433 140736169308464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33984512 140736169314676 140736169314854 140736169314854 140736169320426 0
/proc/184572/statm: 98345 71580 2368 1147 0 85772 0
Current children cumulated CPU time: 169.19 s
Current children cumulated vsize: 397572 KiB
Current children cumulated memory: 289392 KiB

[startup+169.8 s]
/proc/loadavg: 4.12 4.15 4.15 5/267 184578
/proc/meminfo: memFree=118515032/131249996 swapFree=33010160/33010684
[pid=184570] ppid=184567 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/184570/stat : 184570 (run-dec-ls-log.) S 184567 184570 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236426204 4292608 768 18446744073709551615 94292027596800 94292028491333 140735770602432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94292028730384 94292028778128 94292048936960 140735770609983 140735770610143 140735770610143 140735770615747 0
/proc/184570/statm: 1048 768 704 219 0 110 0
[pid=184572] ppid=184570 vsize=393380 memory=286320 CPUtime=169.38 cores=5,7
/proc/184572/stat : 184572 (roundingsat) R 184570 184570 183292 0 -1 4194304 50224 0 0 0 16829 109 0 0 20 0 1 0 236426205 402821120 71580 18446744073709551615 4227072 8923433 140736169308464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33984512 140736169314676 140736169314854 140736169314854 140736169320426 0
/proc/184572/statm: 98345 71580 2368 1147 0 85772 0
Current children cumulated CPU time: 169.38 s
Current children cumulated vsize: 397572 KiB
Current children cumulated memory: 289392 KiB

Child status: 0

Real time (s): 169.88
CPU time (s): 169.479
CPU user time (s): 168.37
CPU system time (s): 1.10917
CPU usage (%): 99.7637
Max. virtual memory (cumulated for all children) (KiB): 397572
Max. memory (cumulated for all children) (KiB): 289392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 168.37
system time used= 1.10918
maximum resident set size= 286320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50456
page faults= 0
swaps= 0
block input operations= 0
block output operations= 629440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145
involuntary context switches= 227


# summary of solver processes directly reported to runsolver:
#   pid: 184570
#   total CPU time (s): 169.479
#   total CPU user time (s): 168.37
#   total CPU system time (s): 1.10917

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.363161 second user time and 0.724217 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-07-22 20:04:38
IDJOB=4544416
IDBENCH=175404
IDSOLVER=3354
FILE ID=nodeC029/4544416-1753207478
RUNJOBID= nodeC029-1753198973-183312
SLURM_JOB_ID= 9687762
Free space on /tmp= 432840 MiB

SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_04_280.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4544416-1753207478/watcher-4544416-1753207478 -o /tmp/evaluation-result-4544416-1753207478/solver-4544416-1753207478 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1753198973-183312 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4544416-1753207478.opb /tmp/proof-4544416-1753207478

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

MD5SUM BENCH= 9594ac6881a98589fd35bafe025917a8
RANDOM SEED=2096608680

nodeC029 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.727
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.46
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.723
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.46
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.635
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.46
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		: 3598.837
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.46
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.727
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.46
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		: 3544.035
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.46
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		: 3592.498
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.46
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		: 3599.723
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        119203752 kB
MemAvailable:   122417396 kB
Buffers:            2128 kB
Cached:          3974600 kB
SwapCached:           36 kB
Active:          8582892 kB
Inactive:        2734812 kB
Active(anon):    7362476 kB
Inactive(anon):     4716 kB
Active(file):    1220416 kB
Inactive(file):  2730096 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7260 kB
Writeback:             0 kB
AnonPages:       7337120 kB
Mapped:           122864 kB
Shmem:             26216 kB
KReclaimable:     204744 kB
Slab:             302036 kB
SReclaimable:     204744 kB
SUnreclaim:        97292 kB
KernelStack:        4368 kB
PageTables:        17792 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    8007208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3968 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5689344 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:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432524 MiB
End job on nodeC029 at 2025-07-22 20:07:28