Trace number 4524161

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-ihs-log 63f22ad? (TO) 3600.2 3614.29

General information on the benchmark

NamePB25/normalized-PB25/OPT-LIN/wallon/
normalized-FoolSolitaire-table-2-0_c24.opb
MD5SUM2e656679a8d40db5005d825083b376ef
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark9
Best CPU time to get the best result obtained on this benchmark948.994
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables887342
Total number of constraints892924
Number of constraints which are clauses195370
Number of constraints which are cardinality constraints (but not clauses)32
Number of constraints which are nor clauses,nor cardinality constraints697522
Minimum length of a constraint1
Maximum length of a constraint2713
Number of terms in the objective function 5
Biggest coefficient in the objective function 16
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 31
Number of bits of the sum of numbers in the objective function 5
Biggest number in a constraint 76
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 3053
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
6.30/10.81	c #variables 887342 #constraints 892912
6.30/10.81	c objective is ce32 
6.60/11.13	c initial watched  CF 32, 64, 128, Arb: 32 , 0 , 0 , 0
6.60/11.13	c initial counting CF 32, 64, 128, Arb: 697489 , 0 , 0 , 0
6.60/11.13	c GLOBAL bounds - >= 0 @ 5.38952
7.50/12.03	c GLOBAL bounds - >= 0 @ 5.71873
12.49/17.11	c GLOBAL bounds - >= 0 @ 10.4805
13.38/18.01	c GLOBAL bounds - >= 0 @ 10.802
195.32/200.35	c #Conflicts:       1000 | #Constraints:     893912
195.32/200.35	c #Conflicts:       2000 | #Constraints:     894912
195.32/200.35	c INPROCESSING
195.32/200.35	c #Conflicts:       3000 | #Constraints:     884353
195.32/200.35	c #Conflicts:       4000 | #Constraints:     885353
195.32/200.35	c INPROCESSING
195.32/200.35	c GARBAGE COLLECT
195.32/200.35	c #Conflicts:       5000 | #Constraints:     882365
195.32/200.35	c #Conflicts:       6000 | #Constraints:     883365
195.32/200.35	c INPROCESSING
195.32/200.35	c GARBAGE COLLECT
195.32/200.35	c #Conflicts:       7000 | #Constraints:     864756
195.32/200.35	c #Conflicts:       8000 | #Constraints:     865756
195.32/200.35	c #Conflicts:       9000 | #Constraints:     866756
195.32/200.35	c INPROCESSING
195.32/200.35	c GARBAGE COLLECT
195.32/200.35	c rational objective 1
332.81/338.12	c #Conflicts:      10000 | #Constraints:     862518
332.81/338.12	c #Conflicts:      11000 | #Constraints:     863518
332.81/338.12	c #Conflicts:      12000 | #Constraints:     864518
332.81/338.12	c INPROCESSING
332.81/338.12	c GARBAGE COLLECT
332.81/338.12	c #Conflicts:      13000 | #Constraints:     850610
332.81/338.12	c #Conflicts:      14000 | #Constraints:     851610
332.81/338.12	c #Conflicts:      15000 | #Constraints:     852610
332.81/338.12	c INPROCESSING
332.81/338.12	c GARBAGE COLLECT
332.81/338.12	c rational objective 1
540.08/546.09	c #Conflicts:      16000 | #Constraints:     847393
540.08/546.09	c #Conflicts:      17000 | #Constraints:     848393
540.08/546.09	c #Conflicts:      18000 | #Constraints:     849393
540.08/546.09	c INPROCESSING
540.08/546.09	c GARBAGE COLLECT
540.08/546.09	c rational objective 1
790.93/797.53	c #Conflicts:      19000 | #Constraints:     847043
790.93/797.53	c #Conflicts:      20000 | #Constraints:     848043
790.93/797.53	c #Conflicts:      21000 | #Constraints:     849043
790.93/797.53	c INPROCESSING
790.93/797.53	c GARBAGE COLLECT
790.93/797.53	c #Conflicts:      22000 | #Constraints:     841979
790.93/797.53	c #Conflicts:      23000 | #Constraints:     842979
790.93/797.53	c #Conflicts:      24000 | #Constraints:     843979
790.93/797.53	c #Conflicts:      25000 | #Constraints:     844979
790.93/797.53	c INPROCESSING
790.93/797.53	c GARBAGE COLLECT
790.93/797.53	c #Conflicts:      26000 | #Constraints:     840408
790.93/797.53	c #Conflicts:      27000 | #Constraints:     841408
790.93/797.53	c #Conflicts:      28000 | #Constraints:     842408
790.93/797.53	c #Conflicts:      29000 | #Constraints:     843408
790.93/797.53	c INPROCESSING
790.93/797.53	c GARBAGE COLLECT
790.93/797.53	c rational objective 1
887.20/894.06	c #Conflicts:      30000 | #Constraints:     837285
887.20/894.06	c #Conflicts:      31000 | #Constraints:     838285
887.20/894.06	c #Conflicts:      32000 | #Constraints:     839285
887.20/894.06	c #Conflicts:      33000 | #Constraints:     840285
887.20/894.06	c INPROCESSING
887.20/894.06	c GARBAGE COLLECT
887.20/894.06	c rational objective 1
2480.46/2491.80	c #Conflicts:      34000 | #Constraints:     832497
2480.46/2491.80	c #Conflicts:      35000 | #Constraints:     833497
2480.46/2491.80	c #Conflicts:      36000 | #Constraints:     834497
2480.46/2491.80	c #Conflicts:      37000 | #Constraints:     835497
2480.46/2491.80	c INPROCESSING
2480.46/2491.80	c GARBAGE COLLECT
2480.46/2491.80	c #Conflicts:      38000 | #Constraints:     831668
2480.46/2491.80	c #Conflicts:      39000 | #Constraints:     832668
2480.46/2491.80	c #Conflicts:      40000 | #Constraints:     833668
2480.46/2491.80	c #Conflicts:      41000 | #Constraints:     834668
2480.46/2491.80	c INPROCESSING
2480.46/2491.80	c GARBAGE COLLECT
2480.46/2491.80	c #Conflicts:      42000 | #Constraints:     829051
2480.46/2491.80	c #Conflicts:      43000 | #Constraints:     830051
2480.46/2491.80	c #Conflicts:      44000 | #Constraints:     831051
2480.46/2491.80	c #Conflicts:      45000 | #Constraints:     832051
2480.46/2491.80	c #Conflicts:      46000 | #Constraints:     833051
2480.46/2491.80	c INPROCESSING
2480.46/2491.80	c GARBAGE COLLECT
2480.46/2491.80	c #Conflicts:      47000 | #Constraints:     829406
2480.46/2491.80	c #Conflicts:      48000 | #Constraints:     830406
2480.46/2491.80	c #Conflicts:      49000 | #Constraints:     831406
2480.46/2491.80	c #Conflicts:      50000 | #Constraints:     832406
2480.46/2491.80	c #Conflicts:      51000 | #Constraints:     833406
2480.46/2491.80	c #Conflicts:      52000 | #Constraints:     834406
2480.46/2491.80	c #Conflicts:      53000 | #Constraints:     835406
2480.46/2491.80	c #Conflicts:      54000 | #Constraints:     836406
2480.46/2491.80	c #Conflicts:      55000 | #Constraints:     837406
2480.46/2491.80	c #Conflicts:      56000 | #Constraints:     838406
2480.46/2491.80	c #Conflicts:      57000 | #Constraints:     839406
2480.46/2491.80	c #Conflicts:      58000 | #Constraints:     840406
2480.46/2491.80	c #Conflicts:      59000 | #Constraints:     841406
2480.46/2491.80	c #Conflicts:      60000 | #Constraints:     842406
2480.46/2491.80	c #Conflicts:      61000 | #Constraints:     843406
2480.46/2491.80	c #Conflicts:      62000 | #Constraints:     844406
2480.46/2491.80	c #Conflicts:      63000 | #Constraints:     845406
2480.46/2491.80	c #Conflicts:      64000 | #Constraints:     846406
2480.46/2491.80	c INPROCESSING
2480.46/2491.80	c GARBAGE COLLECT
2480.46/2491.80	c rational objective 1
2687.74/2699.66	c #Conflicts:      65000 | #Constraints:     832435
2687.74/2699.66	c #Conflicts:      66000 | #Constraints:     833435
2687.74/2699.66	c #Conflicts:      67000 | #Constraints:     834435
2687.74/2699.66	c #Conflicts:      68000 | #Constraints:     835435
2687.74/2699.66	c #Conflicts:      69000 | #Constraints:     836435
2687.74/2699.66	c #Conflicts:      70000 | #Constraints:     837435
2687.74/2699.66	c INPROCESSING
2687.74/2699.66	c GARBAGE COLLECT
2687.74/2699.66	c rational objective 1
2879.46/2891.89	c #Conflicts:      71000 | #Constraints:     827842
2879.46/2891.89	c #Conflicts:      72000 | #Constraints:     828842
2879.46/2891.89	c #Conflicts:      73000 | #Constraints:     829842
2879.46/2891.89	c #Conflicts:      74000 | #Constraints:     830842
2879.46/2891.89	c #Conflicts:      75000 | #Constraints:     831842
2879.46/2891.89	c #Conflicts:      76000 | #Constraints:     832842
2879.46/2891.89	c INPROCESSING
2879.46/2891.89	c GARBAGE COLLECT
2879.46/2891.89	c rational objective 1
3600.01/3614.11	c #Conflicts:      77000 | #Constraints:     824526
3600.01/3614.11	c #Conflicts:      78000 | #Constraints:     825526
3600.01/3614.11	c #Conflicts:      79000 | #Constraints:     826526
3600.01/3614.11	c #Conflicts:      80000 | #Constraints:     827526
3600.01/3614.11	c #Conflicts:      81000 | #Constraints:     828526
3600.01/3614.11	c #Conflicts:      82000 | #Constraints:     829526
3600.01/3614.11	c #Conflicts:      83000 | #Constraints:     830526
3600.01/3614.11	c #Conflicts:      84000 | #Constraints:     831526
3600.01/3614.11	c #Conflicts:      85000 | #Constraints:     832526
3600.01/3614.11	c #Conflicts:      86000 | #Constraints:     833526
3600.01/3614.11	c cpu time 3584.79 s
3600.01/3614.11	c deterministic time 44727923283 4.47e+10
3600.01/3614.11	c optimization time 715.346 s
3600.01/3614.11	c total solve time 2864.33 s
3600.01/3614.11	c core-guided solve time 0 s
3600.01/3614.11	c propagation time 590.513 s
3600.01/3614.11	c conflict analysis time 2683.82 s
3600.01/3614.11	c propagations 1515815298
3600.01/3614.11	c resolve steps 29840249
3600.01/3614.11	c decisions 1703060
3600.01/3614.11	c conflicts 86605
3600.01/3614.11	c restarts 253
3600.01/3614.11	c inprocessing phases 17
3600.01/3614.11	c garbage collections 16 ,( 94.12 )
3600.01/3614.11	c input clauses 195361 ,( 21.88 )
3600.01/3614.11	c input cardinalities 32 ,( 0.00 )
3600.01/3614.11	c input general constraints 697520 ,( 78.12 )
3600.01/3614.11	c input average constraint length 4.43
3600.01/3614.11	c input average constraint degree 2.57
3600.01/3614.11	c learned clauses 49945 ,( 57.65 )
3600.01/3614.11	c learned cardinalities 13520 ,( 15.61 )
3600.01/3614.11	c learned general constraints 23165 ,( 26.74 )
3600.01/3614.11	c learned average constraint length 6222.15
3600.01/3614.11	c learned average constraint degree 61256999.52
3600.01/3614.11	c watched  CF 32, 64, 128, Arb: 16810 , 0 , 0 , 0
3600.01/3614.11	c counting CF 32, 64, 128, Arb: 703876 , 0 , 0 , 0
3600.01/3614.11	c watched   constraints 16810 ,( 2.33 ) 
3600.01/3614.11	c counting  constraints 703875 ,( 97.67 ) 
3600.01/3614.11	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 412494231 , 33226130 , 2205484146 ,( 31709066 , 2173775080 )
3600.01/3614.11	c gcd simplifications 3433
3600.01/3614.11	c detected cardinalities 855
3600.01/3614.11	c weakened non-implied lits 4790010
3600.01/3614.11	c weakened non-implying lits 358979
3600.01/3614.11	c original variables 887342
3600.01/3614.11	c clausal propagations 359825090
3600.01/3614.11	c cardinality propagations 4057946
3600.01/3614.11	c watched propagations 769881
3600.01/3614.11	c counting propagations 1150724363
3600.01/3614.11	c watch lookups 7112754320
3600.01/3614.11	c watch backjump lookups 0
3600.01/3614.11	c watch checks 27659657460
3600.01/3614.11	c propagation checks 5992827499
3600.01/3614.11	c constraint additions 928275413
3600.01/3614.11	c trail pops 1516740579
3600.01/3614.11	c formula constraints 892912
3600.01/3614.11	c learned constraints 86604
3600.01/3614.11	c bound constraints 0
3600.01/3614.11	c core-guided constraints 0
3600.01/3614.11	c encountered formula constraints 29605748
3600.01/3614.11	c encountered learned constraints 321103
3600.01/3614.11	c encountered bound constraints 0
3600.01/3614.11	c encountered core-guided constraints 0
3600.01/3614.11	c LP total time 434.892 s
3600.01/3614.11	c LP solve time 393 s
3600.01/3614.11	c LP constraints added 893285
3600.01/3614.11	c LP constraints removed 329
3600.01/3614.11	c LP pivots internal 89757
3600.01/3614.11	c LP pivots root 59896
3600.01/3614.11	c LP calls 32
3600.01/3614.11	c LP optimalities 27
3600.01/3614.11	c LP no pivot count 0
3600.01/3614.11	c LP infeasibilities 0
3600.01/3614.11	c LP valid Farkas constraints 0
3600.01/3614.11	c LP learned Farkas constraints 0
3600.01/3614.11	c LP basis resets 0
3600.01/3614.11	c LP cycling count 0
3600.01/3614.11	c LP singular count 0
3600.01/3614.11	c LP no primal count 0
3600.01/3614.11	c LP no farkas count 0
3600.01/3614.11	c LP other issue count 0
3600.01/3614.11	c LP Gomory cuts 26
3600.01/3614.11	c LP learned cuts 347
3600.01/3614.11	c LP deleted cuts 329
3600.01/3614.11	c LP encountered Gomory constraints 3
3600.01/3614.11	c LP encountered Farkas constraints 0
3600.01/3614.11	c LP encountered learned Farkas constraints 0
3600.01/3614.11	c CG auxiliary variables introduced 2
3600.01/3614.11	c CG solutions found 0
3600.01/3614.11	c CG cores constructed 1
3600.01/3614.11	c CG core cardinality constraints returned 0
3600.01/3614.11	c CG unit cores 0
3600.01/3614.11	c CG single cores 0
3600.01/3614.11	c CG blocks removed during cardinality reduction 0
3600.01/3614.11	c CG first core best 0
3600.01/3614.11	c CG decision core best 0
3600.01/3614.11	c CG core reduction tie 0
3600.01/3614.11	c CG core degree average 0.00
3600.01/3614.11	c CG core slack average 0.00
3600.01/3614.11	c CG core upper bound improvements 0
3600.01/3614.11	c STR number of successful calls 0
3600.01/3614.11	c STR number of unsuccessful calls 0
3600.01/3614.11	c STR number of inconclusive calls 0
3600.01/3614.11	c STR number of successful attempts 0
3600.01/3614.11	c STR number of unsuccessful attempts 0
3600.01/3614.11	c STR number of inconclusive attempts 0
3600.01/3614.11	c STR average degree increase per successful call inf
3600.01/3614.11	c STR average degree increase per successful attempt inf
3600.01/3614.11	c STR total number of conflicts for successful attempts 0
3600.01/3614.11	c STR total number of conflicts for unsuccessful attempts 0
3600.01/3614.11	c STR total number of conflicts for inconclusive attempts 0
3600.01/3614.11	c STR average number of conflicts per successful attempt inf
3600.01/3614.11	c STR average number of conflicts per unsuccessful attempt inf
3600.01/3614.11	c STR average number of conflicts per inconclusive attempt inf
3600.01/3614.11	c AVG.sumWPerc 97.64 
3600.01/3614.11	c bigint constraints 0 
3600.01/3614.11	s UNKNOWN
3600.01/3614.11	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (52892 MiB free)
  memory of node 1: 64507 MiB (55515 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4524161-1751610227/watcher-4524161-1751610227 -o /tmp/evaluation-result-4524161-1751610227/solver-4524161-1751610227 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751606131-90789 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4524161-1751610227.opb PROOFDIR/proof-4524161-1751610227 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
solver pid=91593, runsolver pid=91590
Current StackSize limit: 8192 KiB


[startup+0.100099 s]*
/proc/loadavg: 4.67 4.27 4.15 4/260 91595
/proc/meminfo: memFree=111009056/131382116 swapFree=33010684/33010684
[pid=91593] ppid=91590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/91593/stat : 91593 (run-opt-log.sh) S 91590 91593 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76702530 4292608 736 18446744073709551615 93836366094336 93836366988869 140736816504368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93836367227920 93836367275664 93836371959808 140736816507169 140736816507364 140736816507364 140736816512966 0
/proc/91593/statm: 1048 736 672 219 0 110 0
[pid=91595] ppid=91593 vsize=50796 memory=7424 CPUtime=0 cores=4,6
/proc/91595/stat : 91595 (roundingsat) D 91593 91593 90778 0 -1 4456448 298 0 0 0 0 0 0 0 20 0 1 0 76702531 52015104 1856 18446744073709551615 4227072 8923433 140721133068208 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 20586496 140721133070674 140721133070888 140721133070888 140721133076458 0
/proc/91595/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10368 KiB

[startup+0.21412 s]*
/proc/loadavg: 4.67 4.27 4.15 4/260 91595
/proc/meminfo: memFree=111009056/131382116 swapFree=33010684/33010684
[pid=91593] ppid=91590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/91593/stat : 91593 (run-opt-log.sh) S 91590 91593 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76702530 4292608 736 18446744073709551615 93836366094336 93836366988869 140736816504368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93836367227920 93836367275664 93836371959808 140736816507169 140736816507364 140736816507364 140736816512966 0
/proc/91593/statm: 1048 736 672 219 0 110 0
[pid=91595] ppid=91593 vsize=50796 memory=7424 CPUtime=0 cores=4,6
/proc/91595/stat : 91595 (roundingsat) D 91593 91593 90778 0 -1 4456448 298 0 0 0 0 0 0 0 20 0 1 0 76702531 52015104 1856 18446744073709551615 4227072 8923433 140721133068208 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 20586496 140721133070674 140721133070888 140721133070888 140721133076458 0
/proc/91595/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10368 KiB

[startup+0.314111 s]*
/proc/loadavg: 4.67 4.27 4.15 4/260 91595
/proc/meminfo: memFree=111000992/131382116 swapFree=33010684/33010684
[pid=91593] ppid=91590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/91593/stat : 91593 (run-opt-log.sh) S 91590 91593 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76702530 4292608 736 18446744073709551615 93836366094336 93836366988869 140736816504368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93836367227920 93836367275664 93836371959808 140736816507169 140736816507364 140736816507364 140736816512966 0
/proc/91593/statm: 1048 736 672 219 0 110 0
[pid=91595] ppid=91593 vsize=50796 memory=7424 CPUtime=0 cores=4,6
/proc/91595/stat : 91595 (roundingsat) D 91593 91593 90778 0 -1 4456448 298 0 0 0 0 0 0 0 20 0 1 0 76702531 52015104 1856 18446744073709551615 4227072 8923433 140721133068208 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 20586496 140721133070674 140721133070888 140721133070888 140721133076458 0
/proc/91595/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10368 KiB

[startup+0.700384 s]
/proc/loadavg: 4.67 4.27 4.15 4/260 91595
/proc/meminfo: memFree=111000992/131382116 swapFree=33010684/33010684
[pid=91593] ppid=91590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/91593/stat : 91593 (run-opt-log.sh) S 91590 91593 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76702530 4292608 736 18446744073709551615 93836366094336 93836366988869 140736816504368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93836367227920 93836367275664 93836371959808 140736816507169 140736816507364 140736816507364 140736816512966 0
/proc/91593/statm: 1048 736 672 219 0 110 0
[pid=91595] ppid=91593 vsize=50796 memory=7424 CPUtime=0 cores=4,6
/proc/91595/stat : 91595 (roundingsat) D 91593 91593 90778 0 -1 4456448 298 0 0 0 0 0 0 0 20 0 1 0 76702531 52015104 1856 18446744073709551615 4227072 8923433 140721133068208 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 20586496 140721133070674 140721133070888 140721133070888 140721133076458 0
/proc/91595/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10368 KiB

[startup+1.50071 s]
/proc/loadavg: 4.67 4.27 4.15 4/260 91595
/proc/meminfo: memFree=111001104/131382116 swapFree=33010684/33010684
[pid=91593] ppid=91590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/91593/stat : 91593 (run-opt-log.sh) S 91590 91593 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76702530 4292608 736 18446744073709551615 93836366094336 93836366988869 140736816504368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93836367227920 93836367275664 93836371959808 140736816507169 140736816507364 140736816507364 140736816512966 0
/proc/91593/statm: 1048 736 672 219 0 110 0
[pid=91595] ppid=91593 vsize=50796 memory=7424 CPUtime=0 cores=4,6
/proc/91595/stat : 91595 (roundingsat) D 91593 91593 90778 0 -1 4456448 298 0 0 0 0 0 0 0 20 0 1 0 76702531 52015104 1856 18446744073709551615 4227072 8923433 140721133068208 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 20586496 140721133070674 140721133070888 140721133070888 140721133076458 0
/proc/91595/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10368 KiB

[startup+3.11351 s]
/proc/loadavg: 4.67 4.27 4.15 4/260 91595
/proc/meminfo: memFree=110992996/131382116 swapFree=33010684/33010684
[pid=91593] ppid=91590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/91593/stat : 91593 (run-opt-log.sh) S 91590 91593 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76702530 4292608 736 18446744073709551615 93836366094336 93836366988869 140736816504368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93836367227920 93836367275664 93836371959808 140736816507169 140736816507364 140736816507364 140736816512966 0
/proc/91593/statm: 1048 736 672 219 0 110 0
[pid=91595] ppid=91593 vsize=50796 memory=7424 CPUtime=0 cores=4,6
/proc/91595/stat : 91595 (roundingsat) D 91593 91593 90778 0 -1 4456448 298 0 0 0 0 0 0 0 20 0 1 0 76702531 52015104 1856 18446744073709551615 4227072 8923433 140721133068208 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 20586496 140721133070674 140721133070888 140721133070888 140721133076458 0
/proc/91595/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10368 KiB
heavy processes:

[startup+6.3002 s]
/proc/loadavg: 4.70 4.28 4.15 5/260 91595
/proc/meminfo: memFree=110704308/131382116 swapFree=33010684/33010684
[pid=91593] ppid=91590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/91593/stat : 91593 (run-opt-log.sh) S 91590 91593 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76702530 4292608 736 18446744073709551615 93836366094336 93836366988869 140736816504368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93836367227920 93836367275664 93836371959808 140736816507169 140736816507364 140736816507364 140736816512966 0
/proc/91593/statm: 1048 736 672 219 0 110 0
[pid=91595] ppid=91593 vsize=262440 memory=215800 CPUtime=1.85 cores=4,6
/proc/91595/stat : 91595 (roundingsat) R 91593 91593 90778 0 -1 4194304 19878 0 0 0 143 42 0 0 20 0 1 0 76702531 268738560 53950 18446744073709551615 4227072 8923433 140721133068208 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 20586496 140721133070674 140721133070888 140721133070888 140721133076458 0
/proc/91595/statm: 65610 53950 1984 1147 0 53037 0
Current children cumulated CPU time: 1.85 s
Current children cumulated vsize: 266632 KiB
Current children cumulated memory: 218744 KiB
heavy processes:

[startup+12.7004 s]
/proc/loadavg: 4.72 4.29 4.16 5/260 91595
/proc/meminfo: memFree=109656596/131382116 swapFree=33010684/33010684
[pid=91593] ppid=91590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/91593/stat : 91593 (run-opt-log.sh) S 91590 91593 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76702530 4292608 736 18446744073709551615 93836366094336 93836366988869 140736816504368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93836367227920 93836367275664 93836371959808 140736816507169 140736816507364 140736816507364 140736816512966 0
/proc/91593/statm: 1048 736 672 219 0 110 0
[pid=91595] ppid=91593 vsize=1928908 memory=1613396 CPUtime=8.19 cores=4,6
/proc/91595/stat : 91595 (roundingsat) R 91593 91593 90778 0 -1 4194304 107093 0 0 0 625 194 0 0 20 0 1 0 76702531 1975201792 403349 18446744073709551615 4227072 8923433 140721133068208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20586496 140721133070674 140721133070888 140721133070888 140721133076458 0
/proc/91595/statm: 482227 403349 2336 1147 0 469654 0
Current children cumulated CPU time: 8.19 s
Current children cumulated vsize: 1933100 KiB
Current children cumulated memory: 1616340 KiB
heavy processes:

[startup+25.5004 s]
/proc/loadavg: 4.71 4.31 4.16 5/261 91596
/proc/meminfo: memFree=108722564/131382116 swapFree=33010684/33010684
[pid=91593] ppid=91590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/91593/stat : 91593 (run-opt-log.sh) S 91590 91593 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76702530 4292608 736 18446744073709551615 93836366094336 93836366988869 140736816504368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93836367227920 93836367275664 93836371959808 140736816507169 140736816507364 140736816507364 140736816512966 0
/proc/91593/statm: 1048 736 672 219 0 110 0
[pid=91595] ppid=91593 vsize=2537612 memory=2024000 CPUtime=20.96 cores=4,6
/proc/91595/stat : 91595 (roundingsat) R 91593 91593 90778 0 -1 4194304 141773 0 0 0 1823 273 0 0 20 0 1 0 76702531 2598514688 506000 18446744073709551615 4227072 8923433 140721133068208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20586496 140721133070674 140721133070888 140721133070888 140721133076458 0
/proc/91595/statm: 634403 506000 2400 1147 0 621830 0
Current children cumulated CPU time: 20.96 s
Current children cumulated vsize: 2541804 KiB
Current children cumulated memory: 2026944 KiB

[startup+51.1138 s]
/proc/loadavg: 4.46 4.29 4.16 5/262 91598
/proc/meminfo: memFree=108110704/131382116 swapFree=33010684/33010684
[pid=91593] ppid=91590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/91593/stat : 91593 (run-opt-log.sh) S 91590 91593 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76702530 4292608 736 18446744073709551615 93836366094336 93836366988869 140736816504368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93836367227920 93836367275664 93836371959808 140736816507169 140736816507364 140736816507364 140736816512966 0
/proc/91593/statm: 1048 736 672 219 0 110 0
[pid=91595] ppid=91593 vsize=2758236 memory=2246896 CPUtime=46.51 cores=4,6
/proc/91595/stat : 91595 (roundingsat) R 91593 91593 90778 0 -1 4194304 162959 0 0 0 4340 311 0 0 20 0 1 0 76702531 2824433664 561724 18446744073709551615 4227072 8923433 140721133068208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20586496 140721133070674 140721133070888 140721133070888 140721133076458 0
/proc/91595/statm: 689559 561724 2400 1147 0 676986 0
Current children cumulated CPU time: 46.51 s
Current children cumulated vsize: 2762428 KiB
Current children cumulated memory: 2249840 KiB

[startup+102.3 s]
/proc/loadavg: 4.53 4.32 4.18 5/263 91601
/proc/meminfo: memFree=107385272/131382116 swapFree=33010684/33010684
[pid=91593] ppid=91590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/91593/stat : 91593 (run-opt-log.sh) S 91590 91593 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76702530 4292608 736 18446744073709551615 93836366094336 93836366988869 140736816504368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93836367227920 93836367275664 93836371959808 140736816507169 140736816507364 140736816507364 140736816512966 0
/proc/91593/statm: 1048 736 672 219 0 110 0
[pid=91595] ppid=91593 vsize=2880128 memory=2293328 CPUtime=97.57 cores=4,6
/proc/91595/stat : 91595 (roundingsat) R 91593 91593 90778 0 -1 4194304 175891 0 0 0 9409 348 0 0 20 0 1 0 76702531 2949251072 573332 18446744073709551615 4227072 8923433 140721133068208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20586496 140721133070674 140721133070888 140721133070888 140721133076458 0
/proc/91595/statm: 720032 573332 2400 1147 0 707459 0
Current children cumulated CPU time: 97.57 s
Current children cumulated vsize: 2884320 KiB
Current children cumulated memory: 2296272 KiB

[startup+162.3 s]
/proc/loadavg: 4.78 4.44 4.23 5/263 91607
/proc/meminfo: memFree=106486596/131382116 swapFree=33010684/33010684
[pid=91593] ppid=91590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/91593/stat : 91593 (run-opt-log.sh) S 91590 91593 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76702530 4292608 736 18446744073709551615 93836366094336 93836366988869 140736816504368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93836367227920 93836367275664 93836371959808 140736816507169 140736816507364 140736816507364 140736816512966 0
/proc/91593/statm: 1048 736 672 219 0 110 0
[pid=91595] ppid=91593 vsize=2880128 memory=2293672 CPUtime=157.43 cores=4,6
/proc/91595/stat : 91595 (roundingsat) R 91593 91593 90778 0 -1 4194304 176995 0 0 0 15373 370 0 0 20 0 1 0 76702531 2949251072 573418 18446744073709551615 4227072 8923433 140721133068208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20586496 140721133070674 140721133070888 140721133070888 140721133076458 0
/proc/91595/statm: 720032 573418 2400 1147 0 707459 0
Current children cumulated CPU time: 157.43 s
Current children cumulated vsize: 2884320 KiB
Current children cumulated memory: 2296616 KiB

[startup+222.3 s]
/proc/loadavg: 4.34 4.38 4.22 5/263 91609
/proc/meminfo: memFree=105804484/131382116 swapFree=33010684/33010684
[pid=91593] ppid=91590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/91593/stat : 91593 (run-opt-log.sh) S 91590 91593 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76702530 4292608 736 18446744073709551615 93836366094336 93836366988869 140736816504368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93836367227920 93836367275664 93836371959808 140736816507169 140736816507364 140736816507364 140736816512966 0

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

[pid=91595] ppid=91593 vsize=4143428 memory=3402712 CPUtime=3089.44 cores=4,6
/proc/91595/stat : 91595 (roundingsat) R 91593 91593 90778 0 -1 4194304 261401 0 0 0 307450 1494 0 0 20 0 1 0 76702531 4242870272 850678 18446744073709551615 4227072 8923433 140721133068208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20586496 140721133070674 140721133070888 140721133070888 140721133076458 0
/proc/91595/statm: 1035857 850678 2400 1147 0 1023284 0
Current children cumulated CPU time: 3089.44 s
Current children cumulated vsize: 4147620 KiB
Current children cumulated memory: 3405656 KiB

[startup+3162.3 s]
/proc/loadavg: 4.28 4.29 4.18 6/266 91913
/proc/meminfo: memFree=105429964/131382116 swapFree=33010684/33010684
[pid=91593] ppid=91590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/91593/stat : 91593 (run-opt-log.sh) S 91590 91593 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76702530 4292608 736 18446744073709551615 93836366094336 93836366988869 140736816504368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93836367227920 93836367275664 93836371959808 140736816507169 140736816507364 140736816507364 140736816512966 0
/proc/91593/statm: 1048 736 672 219 0 110 0
[pid=91595] ppid=91593 vsize=4143428 memory=3407960 CPUtime=3149.28 cores=4,6
/proc/91595/stat : 91595 (roundingsat) R 91593 91593 90778 0 -1 4194304 261791 0 0 0 313428 1500 0 0 20 0 1 0 76702531 4242870272 851990 18446744073709551615 4227072 8923433 140721133068208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20586496 140721133070674 140721133070888 140721133070888 140721133076458 0
/proc/91595/statm: 1035857 851990 2400 1147 0 1023284 0
Current children cumulated CPU time: 3149.28 s
Current children cumulated vsize: 4147620 KiB
Current children cumulated memory: 3410904 KiB

[startup+3222.3 s]
/proc/loadavg: 4.24 4.28 4.18 5/267 91921
/proc/meminfo: memFree=102511764/131382116 swapFree=33010684/33010684
[pid=91593] ppid=91590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/91593/stat : 91593 (run-opt-log.sh) S 91590 91593 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76702530 4292608 736 18446744073709551615 93836366094336 93836366988869 140736816504368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93836367227920 93836367275664 93836371959808 140736816507169 140736816507364 140736816507364 140736816512966 0
/proc/91593/statm: 1048 736 672 219 0 110 0
[pid=91595] ppid=91593 vsize=4143428 memory=3407960 CPUtime=3209.13 cores=4,6
/proc/91595/stat : 91595 (roundingsat) R 91593 91593 90778 0 -1 4194304 261797 0 0 0 319408 1505 0 0 20 0 1 0 76702531 4242870272 851990 18446744073709551615 4227072 8923433 140721133068208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20586496 140721133070674 140721133070888 140721133070888 140721133076458 0
/proc/91595/statm: 1035857 851990 2400 1147 0 1023284 0
Current children cumulated CPU time: 3209.13 s
Current children cumulated vsize: 4147620 KiB
Current children cumulated memory: 3410904 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.24 4.18 5/267 91923
/proc/meminfo: memFree=102116596/131382116 swapFree=33010684/33010684
[pid=91593] ppid=91590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/91593/stat : 91593 (run-opt-log.sh) S 91590 91593 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76702530 4292608 736 18446744073709551615 93836366094336 93836366988869 140736816504368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93836367227920 93836367275664 93836371959808 140736816507169 140736816507364 140736816507364 140736816512966 0
/proc/91593/statm: 1048 736 672 219 0 110 0
[pid=91595] ppid=91593 vsize=4143428 memory=3407960 CPUtime=3268.98 cores=4,6
/proc/91595/stat : 91595 (roundingsat) R 91593 91593 90778 0 -1 4194304 263137 0 0 0 325389 1509 0 0 20 0 1 0 76702531 4242870272 851990 18446744073709551615 4227072 8923433 140721133068208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20586496 140721133070674 140721133070888 140721133070888 140721133076458 0
/proc/91595/statm: 1035857 851990 2400 1147 0 1023284 0
Current children cumulated CPU time: 3268.98 s
Current children cumulated vsize: 4147620 KiB
Current children cumulated memory: 3410904 KiB

[startup+3342.3 s]
/proc/loadavg: 4.25 4.26 4.18 5/265 91940
/proc/meminfo: memFree=103126008/131382116 swapFree=33010684/33010684
[pid=91593] ppid=91590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/91593/stat : 91593 (run-opt-log.sh) S 91590 91593 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76702530 4292608 736 18446744073709551615 93836366094336 93836366988869 140736816504368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93836367227920 93836367275664 93836371959808 140736816507169 140736816507364 140736816507364 140736816512966 0
/proc/91593/statm: 1048 736 672 219 0 110 0
[pid=91595] ppid=91593 vsize=4143428 memory=3407960 CPUtime=3328.83 cores=4,6
/proc/91595/stat : 91595 (roundingsat) R 91593 91593 90778 0 -1 4194304 265005 0 0 0 331369 1514 0 0 20 0 1 0 76702531 4242870272 851990 18446744073709551615 4227072 8923433 140721133068208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20586496 140721133070674 140721133070888 140721133070888 140721133076458 0
/proc/91595/statm: 1035857 851990 2400 1147 0 1023284 0
Current children cumulated CPU time: 3328.83 s
Current children cumulated vsize: 4147620 KiB
Current children cumulated memory: 3410904 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.23 4.18 5/267 91974
/proc/meminfo: memFree=103011136/131382116 swapFree=33010684/33010684
[pid=91593] ppid=91590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/91593/stat : 91593 (run-opt-log.sh) S 91590 91593 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76702530 4292608 736 18446744073709551615 93836366094336 93836366988869 140736816504368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93836367227920 93836367275664 93836371959808 140736816507169 140736816507364 140736816507364 140736816512966 0
/proc/91593/statm: 1048 736 672 219 0 110 0
[pid=91595] ppid=91593 vsize=4143428 memory=3407960 CPUtime=3388.69 cores=4,6
/proc/91595/stat : 91595 (roundingsat) R 91593 91593 90778 0 -1 4194304 268307 0 0 0 337352 1517 0 0 20 0 1 0 76702531 4242870272 851990 18446744073709551615 4227072 8923433 140721133068208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20586496 140721133070674 140721133070888 140721133070888 140721133076458 0
/proc/91595/statm: 1035857 851990 2400 1147 0 1023284 0
Current children cumulated CPU time: 3388.69 s
Current children cumulated vsize: 4147620 KiB
Current children cumulated memory: 3410904 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.23 4.18 5/261 91976
/proc/meminfo: memFree=102694592/131382116 swapFree=33010684/33010684
[pid=91593] ppid=91590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/91593/stat : 91593 (run-opt-log.sh) S 91590 91593 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76702530 4292608 736 18446744073709551615 93836366094336 93836366988869 140736816504368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93836367227920 93836367275664 93836371959808 140736816507169 140736816507364 140736816507364 140736816512966 0
/proc/91593/statm: 1048 736 672 219 0 110 0
[pid=91595] ppid=91593 vsize=4143428 memory=3407960 CPUtime=3448.55 cores=4,6
/proc/91595/stat : 91595 (roundingsat) R 91593 91593 90778 0 -1 4194304 268738 0 0 0 343336 1519 0 0 20 0 1 0 76702531 4242870272 851990 18446744073709551615 4227072 8923433 140721133068208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20586496 140721133070674 140721133070888 140721133070888 140721133076458 0
/proc/91595/statm: 1035857 851990 2400 1147 0 1023284 0
Current children cumulated CPU time: 3448.55 s
Current children cumulated vsize: 4147620 KiB
Current children cumulated memory: 3410904 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.22 4.18 5/258 91978
/proc/meminfo: memFree=102391440/131382116 swapFree=33010684/33010684
[pid=91593] ppid=91590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/91593/stat : 91593 (run-opt-log.sh) S 91590 91593 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76702530 4292608 736 18446744073709551615 93836366094336 93836366988869 140736816504368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93836367227920 93836367275664 93836371959808 140736816507169 140736816507364 140736816507364 140736816512966 0
/proc/91593/statm: 1048 736 672 219 0 110 0
[pid=91595] ppid=91593 vsize=4143428 memory=3407960 CPUtime=3508.41 cores=4,6
/proc/91595/stat : 91595 (roundingsat) R 91593 91593 90778 0 -1 4194304 268743 0 0 0 349320 1521 0 0 20 0 1 0 76702531 4242870272 851990 18446744073709551615 4227072 8923433 140721133068208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20586496 140721133070674 140721133070888 140721133070888 140721133076458 0
/proc/91595/statm: 1035857 851990 2400 1147 0 1023284 0
Current children cumulated CPU time: 3508.41 s
Current children cumulated vsize: 4147620 KiB
Current children cumulated memory: 3410904 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.19 4.18 5/258 91980
/proc/meminfo: memFree=102130400/131382116 swapFree=33010684/33010684
[pid=91593] ppid=91590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/91593/stat : 91593 (run-opt-log.sh) S 91590 91593 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76702530 4292608 736 18446744073709551615 93836366094336 93836366988869 140736816504368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93836367227920 93836367275664 93836371959808 140736816507169 140736816507364 140736816507364 140736816512966 0
/proc/91593/statm: 1048 736 672 219 0 110 0
[pid=91595] ppid=91593 vsize=4143428 memory=3407960 CPUtime=3568.27 cores=4,6
/proc/91595/stat : 91595 (roundingsat) R 91593 91593 90778 0 -1 4194304 269277 0 0 0 355305 1522 0 0 20 0 1 0 76702531 4242870272 851990 18446744073709551615 4227072 8923433 140721133068208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20586496 140721133070674 140721133070888 140721133070888 140721133076458 0
/proc/91595/statm: 1035857 851990 2400 1147 0 1023284 0
Current children cumulated CPU time: 3568.27 s
Current children cumulated vsize: 4147620 KiB
Current children cumulated memory: 3410904 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3614.11 s]
/proc/loadavg: 4.13 4.18 4.17 5/259 91983
/proc/meminfo: memFree=101972552/131382116 swapFree=33010684/33010684
[pid=91593] ppid=91590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/91593/stat : 91593 (run-opt-log.sh) S 91590 91593 90778 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76702530 4292608 736 18446744073709551615 93836366094336 93836366988869 140736816504368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93836367227920 93836367275664 93836371959808 140736816507169 140736816507364 140736816507364 140736816512966 0
/proc/91593/statm: 1048 736 672 219 0 110 0
[pid=91595] ppid=91593 vsize=4143428 memory=3407960 CPUtime=3600.01 cores=4,6
/proc/91595/stat : 91595 (roundingsat) R 91593 91593 90778 0 -1 4194304 269320 0 0 0 358478 1523 0 0 20 0 1 0 76702531 4242870272 851990 18446744073709551615 4227072 8923433 140721133068208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20586496 140721133070674 140721133070888 140721133070888 140721133076458 0
/proc/91595/statm: 1035857 851990 2400 1147 0 1023284 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 4147620 KiB
Current children cumulated memory: 3410904 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001251 s, system=0.002504 s

[startup+3614.29 s]
# the end of solver process 91595 was just reported to runsolver
# Child status: 2

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

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

[startup+3614.2 s]*
/proc/loadavg: 4.13 4.18 4.17 5/258 91983
/proc/meminfo: memFree=102901796/131382116 swapFree=33010684/33010684
[pid=91595] ppid=91590 vsize=3019940 memory=2481124 CPUtime=3600.11 cores=4,6
/proc/91595/stat : 91595 (roundingsat) R 91590 91593 90778 0 -1 4194304 269467 0 0 0 358488 1523 0 0 20 0 1 0 76702531 3092418560 620281 18446744073709551615 4227072 8923433 140721133068208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20586496 140721133070674 140721133070888 140721133070888 140721133076458 0
/proc/91595/statm: 754985 620281 2496 1147 0 742412 0
Current cumulated CPU time of completed processes: 0.003755 s
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 3019940 KiB
Current children cumulated memory: 2481124 KiB

Child status: 2

Real time (s): 3614.29
CPU time (s): 3600.2
CPU user time (s): 3584.95
CPU system time (s): 15.2481
CPU usage (%): 99.61
Max. virtual memory (cumulated for all children) (KiB): 4245208
Max. memory (cumulated for all children) (KiB): 3453740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.95
system time used= 15.2481
maximum resident set size= 3454812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269731
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3481104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 331
involuntary context switches= 4982


# summary of solver processes directly reported to runsolver:
#   pid: 91593,91595
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3584.95
#   total CPU system time (s): 15.2481

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4483 second user time and 39.0935 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2025-07-04 08:23:48
IDJOB=4524161
IDBENCH=180565
IDSOLVER=3351
FILE ID=nodeC011/4524161-1751610227
RUNJOBID= nodeC011-1751606131-90789
SLURM_JOB_ID= 9598893
Free space on /tmp= 430380 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-FoolSolitaire-table-2-0_c24.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4524161-1751610227/watcher-4524161-1751610227 -o /tmp/evaluation-result-4524161-1751610227/solver-4524161-1751610227 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751606131-90789 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4524161-1751610227.opb PROOFDIR/proof-4524161-1751610227

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

MD5SUM BENCH= 2e656679a8d40db5005d825083b376ef
RANDOM SEED=637056057

nodeC011 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.799
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	: 6984.20
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		: 3691.677
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	: 6984.20
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.805
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	: 6984.20
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.292
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	: 6984.20
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		: 1795.922
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	: 6984.20
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		: 3691.635
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	: 6984.20
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.593
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	: 6984.20
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.594
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	: 6984.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        111009068 kB
MemAvailable:   128364088 kB
Buffers:            3276 kB
Cached:         18124328 kB
SwapCached:            0 kB
Active:          1887588 kB
Inactive:       17682536 kB
Active(anon):    1458396 kB
Inactive(anon):     2104 kB
Active(file):     429192 kB
Inactive(file): 17680432 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            998868 kB
Writeback:             0 kB
AnonPages:       1442244 kB
Mapped:           117780 kB
Shmem:             17960 kB
KReclaimable:     169660 kB
Slab:             286684 kB
SReclaimable:     169660 kB
SUnreclaim:       117024 kB
KernelStack:        4192 kB
PageTables:         6096 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    1961492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149528 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    874496 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:      191304 kB
DirectMap2M:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 429712 MiB
End job on nodeC011 at 2025-07-04 09:24:03