Trace number 4502324

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 63f22ad? (TO) 3600.1 3609.52

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
heinz/normalized-neos-544324.opb
MD5SUM8c6c1213a1160c9558cfabfe880ab91b
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 benchmark15
Best CPU time to get the best result obtained on this benchmark17.6804
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10080
Total number of constraints732
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)732
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint168
Maximum length of a constraint3680
Number of terms in the objective function 10080
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 10080
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 5
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 10080
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.03	c RoundingSat 2
0.00/0.03	c branch pb25
0.00/0.03	c commit 63f22ad
0.46/0.53	c #variables 10080 #constraints 732
0.46/0.53	c objective is ce32 
0.56/0.69	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.56/0.69	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.56/0.69	c GLOBAL bounds - >= 0 @ 0.605454
1.55/1.60	c GLOBAL bounds - >= 0 @ 1.46589
1.65/1.77	c GLOBAL bounds - >= 0 @ 1.62845
2.75/2.89	c #Conflicts:       1000 | #Constraints:       1734
2.75/2.89	c GLOBAL bounds - >= 0 @ 2.71698
503.98/505.40	c #Conflicts:       2000 | #Constraints:       2736
503.98/505.40	c INPROCESSING
503.98/505.40	c GARBAGE COLLECT
503.98/505.40	c #Conflicts:       3000 | #Constraints:       2764
503.98/505.40	c #Conflicts:       4000 | #Constraints:       3764
503.98/505.40	c INPROCESSING
503.98/505.40	c GARBAGE COLLECT
503.98/505.40	c #Conflicts:       5000 | #Constraints:       3168
503.98/505.40	c #Conflicts:       6000 | #Constraints:       4168
503.98/505.40	c INPROCESSING
503.98/505.40	c GARBAGE COLLECT
503.98/505.40	c #Conflicts:       7000 | #Constraints:       3168
503.98/505.40	c #Conflicts:       8000 | #Constraints:       4168
503.98/505.40	c #Conflicts:       9000 | #Constraints:       5168
503.98/505.40	c INPROCESSING
503.98/505.40	c GARBAGE COLLECT
503.98/505.40	c #Conflicts:      10000 | #Constraints:       3874
503.98/505.40	c #Conflicts:      11000 | #Constraints:       4874
503.98/505.40	c #Conflicts:      12000 | #Constraints:       5874
503.98/505.40	c INPROCESSING
503.98/505.40	c GARBAGE COLLECT
503.98/505.40	c #Conflicts:      13000 | #Constraints:       4339
503.98/505.40	c #Conflicts:      14000 | #Constraints:       5339
503.98/505.40	c #Conflicts:      15000 | #Constraints:       6339
503.98/505.40	c INPROCESSING
503.98/505.40	c GARBAGE COLLECT
503.98/505.40	c #Conflicts:      16000 | #Constraints:       4560
503.98/505.40	c #Conflicts:      17000 | #Constraints:       5560
503.98/505.40	c #Conflicts:      18000 | #Constraints:       6560
503.98/505.40	c INPROCESSING
503.98/505.40	c GARBAGE COLLECT
503.98/505.40	c #Conflicts:      19000 | #Constraints:       4573
503.98/505.40	c #Conflicts:      20000 | #Constraints:       5573
503.98/505.40	c #Conflicts:      21000 | #Constraints:       6573
503.98/505.40	c INPROCESSING
503.98/505.40	c GARBAGE COLLECT
503.98/505.40	c #Conflicts:      22000 | #Constraints:       4373
503.98/505.40	c #Conflicts:      23000 | #Constraints:       5373
503.98/505.40	c #Conflicts:      24000 | #Constraints:       6373
503.98/505.40	c #Conflicts:      25000 | #Constraints:       7373
503.98/505.40	c INPROCESSING
503.98/505.40	c GARBAGE COLLECT
503.98/505.40	c #Conflicts:      26000 | #Constraints:       4967
503.98/505.40	c #Conflicts:      27000 | #Constraints:       5967
503.98/505.40	c #Conflicts:      28000 | #Constraints:       6967
503.98/505.40	c #Conflicts:      29000 | #Constraints:       7967
503.98/505.40	c INPROCESSING
503.98/505.40	c GARBAGE COLLECT
503.98/505.40	c #Conflicts:      30000 | #Constraints:       5369
503.98/505.40	c #Conflicts:      31000 | #Constraints:       6369
503.98/505.40	c #Conflicts:      32000 | #Constraints:       7369
503.98/505.40	c #Conflicts:      33000 | #Constraints:       8369
503.98/505.40	c INPROCESSING
503.98/505.40	c GARBAGE COLLECT
503.98/505.40	c #Conflicts:      34000 | #Constraints:       5588
503.98/505.40	c #Conflicts:      35000 | #Constraints:       6588
503.98/505.40	c #Conflicts:      36000 | #Constraints:       7588
503.98/505.40	c #Conflicts:      37000 | #Constraints:       8588
503.98/505.40	c INPROCESSING
503.98/505.40	c GARBAGE COLLECT
503.98/505.40	c #Conflicts:      38000 | #Constraints:       5584
503.98/505.40	c #Conflicts:      39000 | #Constraints:       6584
503.98/505.40	c #Conflicts:      40000 | #Constraints:       7584
503.98/505.40	c #Conflicts:      41000 | #Constraints:       8584
503.98/505.40	c INPROCESSING
503.98/505.40	c GARBAGE COLLECT
503.98/505.40	c #Conflicts:      42000 | #Constraints:       5383
503.98/505.40	c #Conflicts:      43000 | #Constraints:       6383
503.98/505.40	c #Conflicts:      44000 | #Constraints:       7383
503.98/505.40	c #Conflicts:      45000 | #Constraints:       8383
503.98/505.40	c #Conflicts:      46000 | #Constraints:       9383
503.98/505.40	c INPROCESSING
503.98/505.40	c GARBAGE COLLECT
503.98/505.40	c #Conflicts:      47000 | #Constraints:       5974
503.98/505.40	c #Conflicts:      48000 | #Constraints:       6974
503.98/505.40	c #Conflicts:      49000 | #Constraints:       7974
503.98/505.40	c #Conflicts:      50000 | #Constraints:       8974
503.98/505.40	c #Conflicts:      51000 | #Constraints:       9974
503.98/505.40	c INPROCESSING
503.98/505.40	c GARBAGE COLLECT
503.98/505.40	c #Conflicts:      52000 | #Constraints:       6382
503.98/505.40	c #Conflicts:      53000 | #Constraints:       7382
503.98/505.40	c #Conflicts:      54000 | #Constraints:       8382
503.98/505.40	c #Conflicts:      55000 | #Constraints:       9382
503.98/505.40	c #Conflicts:      56000 | #Constraints:      10382
503.98/505.40	c INPROCESSING
503.98/505.40	c GARBAGE COLLECT
503.98/505.40	c #Conflicts:      57000 | #Constraints:       6590
503.98/505.40	c #Conflicts:      58000 | #Constraints:       7590
503.98/505.40	c #Conflicts:      59000 | #Constraints:       8590
503.98/505.40	c #Conflicts:      60000 | #Constraints:       9590
503.98/505.40	c #Conflicts:      61000 | #Constraints:      10590
503.98/505.40	c INPROCESSING
503.98/505.40	c GARBAGE COLLECT
503.98/505.40	c #Conflicts:      62000 | #Constraints:       6579
503.98/505.40	c #Conflicts:      63000 | #Constraints:       7579
503.98/505.40	c #Conflicts:      64000 | #Constraints:       8579
503.98/505.40	c #Conflicts:      65000 | #Constraints:       9579
503.98/505.40	c #Conflicts:      66000 | #Constraints:      10579
503.98/505.40	c INPROCESSING
503.98/505.40	c GARBAGE COLLECT
503.98/505.40	c #Conflicts:      67000 | #Constraints:       6421
503.98/505.40	c #Conflicts:      68000 | #Constraints:       7421
503.98/505.40	c #Conflicts:      69000 | #Constraints:       8421
1191.52/1194.85	c #Conflicts:      70000 | #Constraints:       9421
1191.52/1194.85	c #Conflicts:      71000 | #Constraints:      10421
1191.52/1194.85	c #Conflicts:      72000 | #Constraints:      11421
1191.52/1194.85	c INPROCESSING
1191.52/1194.85	c GARBAGE COLLECT
1191.52/1194.85	c #Conflicts:      73000 | #Constraints:       6997
1191.52/1194.85	c #Conflicts:      74000 | #Constraints:       7997
1191.52/1194.85	c #Conflicts:      75000 | #Constraints:       8997
1191.52/1194.85	c #Conflicts:      76000 | #Constraints:       9997
1191.52/1194.85	c #Conflicts:      77000 | #Constraints:      10997
1191.52/1194.85	c #Conflicts:      78000 | #Constraints:      11997
1191.52/1194.85	c INPROCESSING
1191.52/1194.85	c GARBAGE COLLECT
1191.52/1194.85	c #Conflicts:      79000 | #Constraints:       7426
1191.52/1194.85	c #Conflicts:      80000 | #Constraints:       8426
1191.52/1194.85	c #Conflicts:      81000 | #Constraints:       9426
1191.52/1194.85	c #Conflicts:      82000 | #Constraints:      10426
1191.52/1194.85	c #Conflicts:      83000 | #Constraints:      11426
1191.52/1194.85	c #Conflicts:      84000 | #Constraints:      12426
1191.52/1194.85	c INPROCESSING
1191.52/1194.85	c GARBAGE COLLECT
1191.52/1194.85	c #Conflicts:      85000 | #Constraints:       7620
1191.52/1194.85	c #Conflicts:      86000 | #Constraints:       8620
1191.52/1194.85	c #Conflicts:      87000 | #Constraints:       9620
1191.52/1194.85	c #Conflicts:      88000 | #Constraints:      10620
1191.52/1194.85	c #Conflicts:      89000 | #Constraints:      11620
1191.52/1194.85	c #Conflicts:      90000 | #Constraints:      12620
1191.52/1194.85	c INPROCESSING
1191.52/1194.85	c GARBAGE COLLECT
1191.52/1194.85	c #Conflicts:      91000 | #Constraints:       7597
1191.52/1194.85	c #Conflicts:      92000 | #Constraints:       8597
1191.52/1194.85	c #Conflicts:      93000 | #Constraints:       9597
1191.52/1194.85	c #Conflicts:      94000 | #Constraints:      10597
1191.52/1194.85	c #Conflicts:      95000 | #Constraints:      11597
1191.52/1194.85	c #Conflicts:      96000 | #Constraints:      12597
1191.52/1194.85	c INPROCESSING
1191.52/1194.85	c GARBAGE COLLECT
1191.52/1194.85	c #Conflicts:      97000 | #Constraints:       7422
1191.52/1194.85	c #Conflicts:      98000 | #Constraints:       8422
1191.52/1194.85	c #Conflicts:      99000 | #Constraints:       9422
1191.52/1194.85	c #Conflicts:     100000 | #Constraints:      10422
1191.52/1194.85	c #Conflicts:     101000 | #Constraints:      11422
1191.52/1194.85	c #Conflicts:     102000 | #Constraints:      12422
1191.52/1194.85	c #Conflicts:     103000 | #Constraints:      13422
1191.52/1194.85	c INPROCESSING
1191.52/1194.85	c GARBAGE COLLECT
1191.52/1194.85	c #Conflicts:     104000 | #Constraints:       8007
1191.52/1194.85	c #Conflicts:     105000 | #Constraints:       9007
1191.52/1194.85	c #Conflicts:     106000 | #Constraints:      10007
1191.52/1194.85	c #Conflicts:     107000 | #Constraints:      11007
1191.52/1194.85	c #Conflicts:     108000 | #Constraints:      12007
1191.52/1194.85	c #Conflicts:     109000 | #Constraints:      13007
1191.52/1194.85	c #Conflicts:     110000 | #Constraints:      14007
1191.52/1194.85	c INPROCESSING
1191.52/1194.85	c GARBAGE COLLECT
1191.52/1194.85	c #Conflicts:     111000 | #Constraints:       8391
1191.52/1194.85	c #Conflicts:     112000 | #Constraints:       9391
1191.52/1194.85	c #Conflicts:     113000 | #Constraints:      10391
1191.52/1194.85	c #Conflicts:     114000 | #Constraints:      11391
1191.52/1194.85	c #Conflicts:     115000 | #Constraints:      12391
1191.52/1194.85	c #Conflicts:     116000 | #Constraints:      13391
1191.52/1194.85	c #Conflicts:     117000 | #Constraints:      14391
1191.52/1194.85	c INPROCESSING
1191.52/1194.85	c GARBAGE COLLECT
1191.52/1194.85	c #Conflicts:     118000 | #Constraints:       8584
1191.52/1194.85	c #Conflicts:     119000 | #Constraints:       9584
1191.52/1194.85	c #Conflicts:     120000 | #Constraints:      10584
1191.52/1194.85	c #Conflicts:     121000 | #Constraints:      11584
1191.52/1194.85	c #Conflicts:     122000 | #Constraints:      12584
1191.52/1194.85	c #Conflicts:     123000 | #Constraints:      13584
1191.52/1194.85	c #Conflicts:     124000 | #Constraints:      14584
1191.52/1194.85	c INPROCESSING
1191.52/1194.85	c GARBAGE COLLECT
1191.52/1194.85	c #Conflicts:     125000 | #Constraints:       8581
1191.52/1194.85	c #Conflicts:     126000 | #Constraints:       9581
1191.52/1194.85	c #Conflicts:     127000 | #Constraints:      10581
1191.52/1194.85	c #Conflicts:     128000 | #Constraints:      11581
1191.52/1194.85	c #Conflicts:     129000 | #Constraints:      12581
1191.52/1194.85	c #Conflicts:     130000 | #Constraints:      13581
1191.52/1194.85	c #Conflicts:     131000 | #Constraints:      14581
1191.52/1194.85	c INPROCESSING
1191.52/1194.85	c GARBAGE COLLECT
1191.52/1194.85	c #Conflicts:     132000 | #Constraints:       8381
1191.52/1194.85	c #Conflicts:     133000 | #Constraints:       9381
1191.52/1194.85	c #Conflicts:     134000 | #Constraints:      10381
1191.52/1194.85	c #Conflicts:     135000 | #Constraints:      11381
1191.52/1194.85	c #Conflicts:     136000 | #Constraints:      12381
1191.52/1194.85	c #Conflicts:     137000 | #Constraints:      13381
1191.52/1194.85	c #Conflicts:     138000 | #Constraints:      14381
1191.52/1194.85	c #Conflicts:     139000 | #Constraints:      15381
1191.52/1194.85	c INPROCESSING
1191.52/1194.85	c GARBAGE COLLECT
1191.52/1194.85	c #Conflicts:     140000 | #Constraints:       8979
1191.52/1194.85	c #Conflicts:     141000 | #Constraints:       9979
1911.87/1916.93	c #Conflicts:     142000 | #Constraints:      10979
1911.87/1916.93	c #Conflicts:     143000 | #Constraints:      11979
1911.87/1916.93	c #Conflicts:     144000 | #Constraints:      12979
1911.87/1916.93	c #Conflicts:     145000 | #Constraints:      13979
1911.87/1916.93	c #Conflicts:     146000 | #Constraints:      14979
1911.87/1916.93	c #Conflicts:     147000 | #Constraints:      15979
1911.87/1916.93	c INPROCESSING
1911.87/1916.93	c GARBAGE COLLECT
1911.87/1916.93	c #Conflicts:     148000 | #Constraints:       9397
1911.87/1916.93	c #Conflicts:     149000 | #Constraints:      10397
1911.87/1916.93	c #Conflicts:     150000 | #Constraints:      11397
1911.87/1916.93	c #Conflicts:     151000 | #Constraints:      12397
1911.87/1916.93	c #Conflicts:     152000 | #Constraints:      13397
1911.87/1916.93	c #Conflicts:     153000 | #Constraints:      14397
1911.87/1916.93	c #Conflicts:     154000 | #Constraints:      15397
1911.87/1916.93	c #Conflicts:     155000 | #Constraints:      16397
1911.87/1916.93	c INPROCESSING
1911.87/1916.93	c GARBAGE COLLECT
1911.87/1916.93	c #Conflicts:     156000 | #Constraints:       9590
1911.87/1916.93	c #Conflicts:     157000 | #Constraints:      10590
1911.87/1916.93	c #Conflicts:     158000 | #Constraints:      11590
1911.87/1916.93	c #Conflicts:     159000 | #Constraints:      12590
1911.87/1916.93	c #Conflicts:     160000 | #Constraints:      13590
1911.87/1916.93	c #Conflicts:     161000 | #Constraints:      14590
1911.87/1916.93	c #Conflicts:     162000 | #Constraints:      15590
1911.87/1916.93	c #Conflicts:     163000 | #Constraints:      16590
1911.87/1916.93	c INPROCESSING
1911.87/1916.93	c GARBAGE COLLECT
1911.87/1916.93	c #Conflicts:     164000 | #Constraints:       9592
1911.87/1916.93	c #Conflicts:     165000 | #Constraints:      10592
1911.87/1916.93	c #Conflicts:     166000 | #Constraints:      11592
1911.87/1916.93	c #Conflicts:     167000 | #Constraints:      12592
1911.87/1916.93	c #Conflicts:     168000 | #Constraints:      13592
1911.87/1916.93	c #Conflicts:     169000 | #Constraints:      14592
1911.87/1916.93	c #Conflicts:     170000 | #Constraints:      15592
1911.87/1916.93	c #Conflicts:     171000 | #Constraints:      16592
1911.87/1916.93	c INPROCESSING
1911.87/1916.93	c GARBAGE COLLECT
1911.87/1916.93	c #Conflicts:     172000 | #Constraints:       9388
1911.87/1916.93	c #Conflicts:     173000 | #Constraints:      10388
1911.87/1916.93	c #Conflicts:     174000 | #Constraints:      11388
1911.87/1916.93	c #Conflicts:     175000 | #Constraints:      12388
1911.87/1916.93	c #Conflicts:     176000 | #Constraints:      13388
1911.87/1916.93	c #Conflicts:     177000 | #Constraints:      14388
1911.87/1916.93	c #Conflicts:     178000 | #Constraints:      15388
1911.87/1916.93	c #Conflicts:     179000 | #Constraints:      16388
1911.87/1916.93	c #Conflicts:     180000 | #Constraints:      17388
1911.87/1916.93	c INPROCESSING
1911.87/1916.93	c GARBAGE COLLECT
1911.87/1916.93	c #Conflicts:     181000 | #Constraints:       9990
1911.87/1916.93	c #Conflicts:     182000 | #Constraints:      10990
1911.87/1916.93	c #Conflicts:     183000 | #Constraints:      11990
1911.87/1916.93	c #Conflicts:     184000 | #Constraints:      12990
1911.87/1916.93	c #Conflicts:     185000 | #Constraints:      13990
1911.87/1916.93	c #Conflicts:     186000 | #Constraints:      14990
1911.87/1916.93	c #Conflicts:     187000 | #Constraints:      15990
1911.87/1916.93	c #Conflicts:     188000 | #Constraints:      16990
1911.87/1916.93	c #Conflicts:     189000 | #Constraints:      17990
1911.87/1916.93	c INPROCESSING
1911.87/1916.93	c GARBAGE COLLECT
1911.87/1916.93	c #Conflicts:     190000 | #Constraints:      10388
1911.87/1916.93	c #Conflicts:     191000 | #Constraints:      11388
1911.87/1916.93	c #Conflicts:     192000 | #Constraints:      12388
1911.87/1916.93	c #Conflicts:     193000 | #Constraints:      13388
1911.87/1916.93	c #Conflicts:     194000 | #Constraints:      14388
1911.87/1916.93	c #Conflicts:     195000 | #Constraints:      15388
1911.87/1916.93	c #Conflicts:     196000 | #Constraints:      16388
1911.87/1916.93	c #Conflicts:     197000 | #Constraints:      17388
1911.87/1916.93	c #Conflicts:     198000 | #Constraints:      18388
1911.87/1916.93	c INPROCESSING
1911.87/1916.93	c GARBAGE COLLECT
1911.87/1916.93	c #Conflicts:     199000 | #Constraints:      10619
1911.87/1916.93	c #Conflicts:     200000 | #Constraints:      11619
1911.87/1916.93	c #Conflicts:     201000 | #Constraints:      12619
1911.87/1916.93	c #Conflicts:     202000 | #Constraints:      13619
1911.87/1916.93	c #Conflicts:     203000 | #Constraints:      14619
1911.87/1916.93	c #Conflicts:     204000 | #Constraints:      15619
1911.87/1916.93	c #Conflicts:     205000 | #Constraints:      16619
1911.87/1916.93	c #Conflicts:     206000 | #Constraints:      17619
1911.87/1916.93	c #Conflicts:     207000 | #Constraints:      18619
1911.87/1916.93	c INPROCESSING
1911.87/1916.93	c GARBAGE COLLECT
1911.87/1916.93	c #Conflicts:     208000 | #Constraints:      10600
1911.87/1916.93	c #Conflicts:     209000 | #Constraints:      11600
1911.87/1916.93	c #Conflicts:     210000 | #Constraints:      12600
1911.87/1916.93	c #Conflicts:     211000 | #Constraints:      13600
1911.87/1916.93	c #Conflicts:     212000 | #Constraints:      14600
1911.87/1916.93	c #Conflicts:     213000 | #Constraints:      15600
1911.87/1916.93	c #Conflicts:     214000 | #Constraints:      16600
2973.16/2981.01	c #Conflicts:     215000 | #Constraints:      17600
2973.16/2981.01	c #Conflicts:     216000 | #Constraints:      18600
2973.16/2981.01	c INPROCESSING
2973.16/2981.01	c GARBAGE COLLECT
2973.16/2981.01	c #Conflicts:     217000 | #Constraints:      10392
2973.16/2981.01	c #Conflicts:     218000 | #Constraints:      11392
2973.16/2981.01	c #Conflicts:     219000 | #Constraints:      12392
2973.16/2981.01	c #Conflicts:     220000 | #Constraints:      13392
2973.16/2981.01	c #Conflicts:     221000 | #Constraints:      14392
2973.16/2981.01	c #Conflicts:     222000 | #Constraints:      15392
2973.16/2981.01	c #Conflicts:     223000 | #Constraints:      16392
2973.16/2981.01	c #Conflicts:     224000 | #Constraints:      17392
2973.16/2981.01	c #Conflicts:     225000 | #Constraints:      18392
2973.16/2981.01	c #Conflicts:     226000 | #Constraints:      19392
2973.16/2981.01	c INPROCESSING
2973.16/2981.01	c GARBAGE COLLECT
2973.16/2981.01	c #Conflicts:     227000 | #Constraints:      10992
2973.16/2981.01	c #Conflicts:     228000 | #Constraints:      11992
2973.16/2981.01	c #Conflicts:     229000 | #Constraints:      12992
2973.16/2981.01	c #Conflicts:     230000 | #Constraints:      13992
2973.16/2981.01	c #Conflicts:     231000 | #Constraints:      14992
2973.16/2981.01	c #Conflicts:     232000 | #Constraints:      15992
2973.16/2981.01	c #Conflicts:     233000 | #Constraints:      16992
2973.16/2981.01	c #Conflicts:     234000 | #Constraints:      17992
2973.16/2981.01	c #Conflicts:     235000 | #Constraints:      18992
2973.16/2981.01	c #Conflicts:     236000 | #Constraints:      19992
2973.16/2981.01	c INPROCESSING
2973.16/2981.01	c GARBAGE COLLECT
2973.16/2981.01	c #Conflicts:     237000 | #Constraints:      11381
2973.16/2981.01	c #Conflicts:     238000 | #Constraints:      12381
2973.16/2981.01	c #Conflicts:     239000 | #Constraints:      13381
2973.16/2981.01	c #Conflicts:     240000 | #Constraints:      14381
2973.16/2981.01	c #Conflicts:     241000 | #Constraints:      15381
2973.16/2981.01	c #Conflicts:     242000 | #Constraints:      16381
2973.16/2981.01	c #Conflicts:     243000 | #Constraints:      17381
2973.16/2981.01	c #Conflicts:     244000 | #Constraints:      18381
2973.16/2981.01	c #Conflicts:     245000 | #Constraints:      19381
2973.16/2981.01	c #Conflicts:     246000 | #Constraints:      20381
2973.16/2981.01	c INPROCESSING
2973.16/2981.01	c GARBAGE COLLECT
2973.16/2981.01	c #Conflicts:     247000 | #Constraints:      11601
2973.16/2981.01	c #Conflicts:     248000 | #Constraints:      12601
2973.16/2981.01	c #Conflicts:     249000 | #Constraints:      13601
2973.16/2981.01	c #Conflicts:     250000 | #Constraints:      14601
2973.16/2981.01	c #Conflicts:     251000 | #Constraints:      15601
2973.16/2981.01	c #Conflicts:     252000 | #Constraints:      16601
2973.16/2981.01	c #Conflicts:     253000 | #Constraints:      17601
2973.16/2981.01	c #Conflicts:     254000 | #Constraints:      18601
2973.16/2981.01	c #Conflicts:     255000 | #Constraints:      19601
2973.16/2981.01	c #Conflicts:     256000 | #Constraints:      20601
2973.16/2981.01	c INPROCESSING
2973.16/2981.01	c GARBAGE COLLECT
2973.16/2981.01	c #Conflicts:     257000 | #Constraints:      11594
2973.16/2981.01	c #Conflicts:     258000 | #Constraints:      12594
2973.16/2981.01	c #Conflicts:     259000 | #Constraints:      13594
2973.16/2981.01	c #Conflicts:     260000 | #Constraints:      14594
2973.16/2981.01	c #Conflicts:     261000 | #Constraints:      15594
2973.16/2981.01	c #Conflicts:     262000 | #Constraints:      16594
2973.16/2981.01	c #Conflicts:     263000 | #Constraints:      17594
2973.16/2981.01	c #Conflicts:     264000 | #Constraints:      18594
2973.16/2981.01	c #Conflicts:     265000 | #Constraints:      19594
2973.16/2981.01	c #Conflicts:     266000 | #Constraints:      20594
2973.16/2981.01	c INPROCESSING
2973.16/2981.01	c GARBAGE COLLECT
2973.16/2981.01	c #Conflicts:     267000 | #Constraints:      11387
2973.16/2981.01	c #Conflicts:     268000 | #Constraints:      12387
2973.16/2981.01	c #Conflicts:     269000 | #Constraints:      13387
2973.16/2981.01	c #Conflicts:     270000 | #Constraints:      14387
2973.16/2981.01	c #Conflicts:     271000 | #Constraints:      15387
2973.16/2981.01	c #Conflicts:     272000 | #Constraints:      16387
2973.16/2981.01	c #Conflicts:     273000 | #Constraints:      17387
2973.16/2981.01	c #Conflicts:     274000 | #Constraints:      18387
2973.16/2981.01	c #Conflicts:     275000 | #Constraints:      19387
2973.16/2981.01	c #Conflicts:     276000 | #Constraints:      20387
2973.16/2981.01	c #Conflicts:     277000 | #Constraints:      21387
2973.16/2981.01	c INPROCESSING
2973.16/2981.01	c GARBAGE COLLECT
2973.16/2981.01	c #Conflicts:     278000 | #Constraints:      11973
2973.16/2981.01	c #Conflicts:     279000 | #Constraints:      12973
2973.16/2981.01	c #Conflicts:     280000 | #Constraints:      13973
2973.16/2981.01	c #Conflicts:     281000 | #Constraints:      14973
2973.16/2981.01	c #Conflicts:     282000 | #Constraints:      15973
2973.16/2981.01	c #Conflicts:     283000 | #Constraints:      16973
2973.16/2981.01	c #Conflicts:     284000 | #Constraints:      17973
2973.16/2981.01	c #Conflicts:     285000 | #Constraints:      18973
2973.16/2981.01	c #Conflicts:     286000 | #Constraints:      19973
2973.16/2981.01	c #Conflicts:     287000 | #Constraints:      20973
2973.16/2981.01	c #Conflicts:     288000 | #Constraints:      21973
2973.16/2981.01	c INPROCESSING
3600.06/3609.51	c GARBAGE COLLECT
3600.06/3609.51	c #Conflicts:     289000 | #Constraints:      12375
3600.06/3609.51	c #Conflicts:     290000 | #Constraints:      13375
3600.06/3609.51	c #Conflicts:     291000 | #Constraints:      14375
3600.06/3609.51	c #Conflicts:     292000 | #Constraints:      15375
3600.06/3609.51	c #Conflicts:     293000 | #Constraints:      16375
3600.06/3609.51	c #Conflicts:     294000 | #Constraints:      17375
3600.06/3609.51	c #Conflicts:     295000 | #Constraints:      18375
3600.06/3609.51	c #Conflicts:     296000 | #Constraints:      19375
3600.06/3609.51	c #Conflicts:     297000 | #Constraints:      20375
3600.06/3609.51	c #Conflicts:     298000 | #Constraints:      21375
3600.06/3609.51	c #Conflicts:     299000 | #Constraints:      22375
3600.06/3609.51	c INPROCESSING
3600.06/3609.51	c GARBAGE COLLECT
3600.06/3609.51	c #Conflicts:     300000 | #Constraints:      12585
3600.06/3609.51	c #Conflicts:     301000 | #Constraints:      13585
3600.06/3609.51	c #Conflicts:     302000 | #Constraints:      14585
3600.06/3609.51	c #Conflicts:     303000 | #Constraints:      15585
3600.06/3609.51	c #Conflicts:     304000 | #Constraints:      16585
3600.06/3609.51	c #Conflicts:     305000 | #Constraints:      17585
3600.06/3609.51	c #Conflicts:     306000 | #Constraints:      18585
3600.06/3609.51	c #Conflicts:     307000 | #Constraints:      19585
3600.06/3609.51	c #Conflicts:     308000 | #Constraints:      20585
3600.06/3609.51	c #Conflicts:     309000 | #Constraints:      21585
3600.06/3609.51	c #Conflicts:     310000 | #Constraints:      22585
3600.06/3609.51	c INPROCESSING
3600.06/3609.51	c GARBAGE COLLECT
3600.06/3609.51	c #Conflicts:     311000 | #Constraints:      12596
3600.06/3609.51	c #Conflicts:     312000 | #Constraints:      13596
3600.06/3609.51	c #Conflicts:     313000 | #Constraints:      14596
3600.06/3609.51	c #Conflicts:     314000 | #Constraints:      15596
3600.06/3609.51	c #Conflicts:     315000 | #Constraints:      16596
3600.06/3609.51	c #Conflicts:     316000 | #Constraints:      17596
3600.06/3609.51	c #Conflicts:     317000 | #Constraints:      18596
3600.06/3609.51	c #Conflicts:     318000 | #Constraints:      19596
3600.06/3609.51	c #Conflicts:     319000 | #Constraints:      20596
3600.06/3609.51	c #Conflicts:     320000 | #Constraints:      21596
3600.06/3609.51	c #Conflicts:     321000 | #Constraints:      22596
3600.06/3609.51	c INPROCESSING
3600.06/3609.51	c GARBAGE COLLECT
3600.06/3609.51	c #Conflicts:     322000 | #Constraints:      12399
3600.06/3609.51	c #Conflicts:     323000 | #Constraints:      13399
3600.06/3609.51	c #Conflicts:     324000 | #Constraints:      14399
3600.06/3609.51	c #Conflicts:     325000 | #Constraints:      15399
3600.06/3609.51	c #Conflicts:     326000 | #Constraints:      16399
3600.06/3609.51	c #Conflicts:     327000 | #Constraints:      17399
3600.06/3609.51	c #Conflicts:     328000 | #Constraints:      18399
3600.06/3609.51	c #Conflicts:     329000 | #Constraints:      19399
3600.06/3609.51	c #Conflicts:     330000 | #Constraints:      20399
3600.06/3609.51	c #Conflicts:     331000 | #Constraints:      21399
3600.06/3609.51	c #Conflicts:     332000 | #Constraints:      22399
3600.06/3609.51	c #Conflicts:     333000 | #Constraints:      23399
3600.06/3609.51	c INPROCESSING
3600.06/3609.51	c GARBAGE COLLECT
3600.06/3609.51	c #Conflicts:     334000 | #Constraints:      12984
3600.06/3609.51	c #Conflicts:     335000 | #Constraints:      13984
3600.06/3609.51	c cpu time 3583.53 s
3600.06/3609.51	c deterministic time 1 1.00e+00
3600.06/3609.51	c optimization time 3583.06 s
3600.06/3609.51	c total solve time 0 s
3600.06/3609.51	c core-guided solve time 0 s
3600.06/3609.51	c propagation time 0.000526 s
3600.06/3609.51	c conflict analysis time 0 s
3600.06/3609.51	c propagations 0
3600.06/3609.51	c resolve steps 0
3600.06/3609.51	c decisions 0
3600.06/3609.51	c conflicts 0
3600.06/3609.51	c restarts 0
3600.06/3609.51	c inprocessing phases 0
3600.06/3609.51	c garbage collections 0 ,( -nan )
3600.06/3609.51	c input clauses 0 ,( 0.00 )
3600.06/3609.51	c input cardinalities 732 ,( 100.00 )
3600.06/3609.51	c input general constraints 0 ,( 0.00 )
3600.06/3609.51	c input average constraint length 2400.66
3600.06/3609.51	c input average constraint degree 1206.26
3600.06/3609.51	c learned clauses 0 ,( 0.00 )
3600.06/3609.51	c learned cardinalities 0 ,( 0.00 )
3600.06/3609.51	c learned general constraints 0 ,( 0.00 )
3600.06/3609.51	c learned average constraint length 0.00
3600.06/3609.51	c learned average constraint degree 0.00
3600.06/3609.51	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.06/3609.51	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.06/3609.51	c watched   constraints 0 ,( -nan ) 
3600.06/3609.51	c counting  constraints 0 ,( -nan ) 
3600.06/3609.51	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.06/3609.51	c gcd simplifications 0
3600.06/3609.51	c detected cardinalities 0
3600.06/3609.51	c weakened non-implied lits 0
3600.06/3609.51	c weakened non-implying lits 0
3600.06/3609.51	c original variables 10080
3600.06/3609.51	c clausal propagations 0
3600.06/3609.51	c cardinality propagations 0
3600.06/3609.51	c watched propagations 0
3600.06/3609.51	c counting propagations 0
3600.06/3609.51	c watch lookups 0
3600.06/3609.51	c watch backjump lookups 0
3600.06/3609.51	c watch checks 0
3600.06/3609.51	c propagation checks 0
3600.06/3609.51	c constraint additions 0
3600.06/3609.51	c trail pops 0
3600.06/3609.51	c formula constraints 732
3600.06/3609.51	c learned constraints 0
3600.06/3609.51	c bound constraints 0
3600.06/3609.51	c core-guided constraints 0
3600.06/3609.51	c encountered formula constraints 0
3600.06/3609.51	c encountered learned constraints 0
3600.06/3609.51	c encountered bound constraints 0
3600.06/3609.51	c encountered core-guided constraints 0
3600.06/3609.51	c LP total time 0 s
3600.06/3609.51	c LP solve time 0 s
3600.06/3609.51	c LP constraints added 0
3600.06/3609.51	c LP constraints removed 0
3600.06/3609.51	c LP pivots internal 0
3600.06/3609.51	c LP pivots root 0
3600.06/3609.51	c LP calls 0
3600.06/3609.51	c LP optimalities 0
3600.06/3609.51	c LP no pivot count 0
3600.06/3609.51	c LP infeasibilities 0
3600.06/3609.51	c LP valid Farkas constraints 0
3600.06/3609.51	c LP learned Farkas constraints 0
3600.06/3609.51	c LP basis resets 0
3600.06/3609.51	c LP cycling count 0
3600.06/3609.51	c LP singular count 0
3600.06/3609.51	c LP no primal count 0
3600.06/3609.51	c LP no farkas count 0
3600.06/3609.51	c LP other issue count 0
3600.06/3609.51	c LP Gomory cuts 0
3600.06/3609.51	c LP learned cuts 0
3600.06/3609.51	c LP deleted cuts 0
3600.06/3609.51	c LP encountered Gomory constraints 0
3600.06/3609.51	c LP encountered Farkas constraints 0
3600.06/3609.51	c LP encountered learned Farkas constraints 0
3600.06/3609.51	c CG auxiliary variables introduced 0
3600.06/3609.51	c CG solutions found 0
3600.06/3609.51	c CG cores constructed 0
3600.06/3609.51	c CG core cardinality constraints returned 0
3600.06/3609.51	c CG unit cores 0
3600.06/3609.51	c CG single cores 0
3600.06/3609.51	c CG blocks removed during cardinality reduction 0
3600.06/3609.51	c CG first core best 0
3600.06/3609.51	c CG decision core best 0
3600.06/3609.51	c CG core reduction tie 0
3600.06/3609.51	c CG core degree average 0.00
3600.06/3609.51	c CG core slack average 0.00
3600.06/3609.51	c CG core upper bound improvements 0
3600.06/3609.51	c STR number of successful calls 0
3600.06/3609.51	c STR number of unsuccessful calls 0
3600.06/3609.51	c STR number of inconclusive calls 0
3600.06/3609.51	c STR number of successful attempts 0
3600.06/3609.51	c STR number of unsuccessful attempts 0
3600.06/3609.51	c STR number of inconclusive attempts 0
3600.06/3609.51	c STR average degree increase per successful call inf
3600.06/3609.51	c STR average degree increase per successful attempt inf
3600.06/3609.51	c STR total number of conflicts for successful attempts 0
3600.06/3609.51	c STR total number of conflicts for unsuccessful attempts 0
3600.06/3609.51	c STR total number of conflicts for inconclusive attempts 0
3600.06/3609.51	c STR average number of conflicts per successful attempt inf
3600.06/3609.51	c STR average number of conflicts per unsuccessful attempt inf
3600.06/3609.51	c STR average number of conflicts per inconclusive attempt inf
3600.06/3609.51	c AVG.sumWPerc -nan 
3600.06/3609.51	c bigint constraints 0 
3600.06/3609.51	s UNKNOWN
3600.06/3609.51	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: 63708 MiB (62026 MiB free)
  memory of node 1: 64465 MiB (63442 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502324-1751423353/watcher-4502324-1751423353 -o /tmp/evaluation-result-4502324-1751423353/solver-4502324-1751423353 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751419668-61263 --watchdog 3760 run-opt.sh HOME/instance-4502324-1751423353.opb 

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 VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=62351, runsolver pid=62348
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 1.02 1.07 1.08 2/246 62353
/proc/meminfo: memFree=128479964/131249988 swapFree=33010672/33010684
[pid=62351] ppid=62348 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/62351/stat : 62351 (run-opt.sh) S 62348 62351 59515 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 58012863 4292608 768 18446744073709551615 94017418084352 94017418978885 140729220044048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94017419217936 94017419265680 94017439387648 140729220049261 140729220049384 140729220049384 140729220054986 0
/proc/62351/statm: 1048 768 704 219 0 110 0
[pid=62353] ppid=62351 vsize=57976 memory=13164 CPUtime=0.06 cores=4,6
/proc/62353/stat : 62353 (roundingsat) R 62351 62351 59515 0 -1 4194304 1431 0 0 0 6 0 0 0 20 0 1 0 58012864 59367424 3291 18446744073709551615 4227072 8923433 140734103607136 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 14684160 140734103615906 140734103616040 140734103616040 140734103621610 0
/proc/62353/statm: 14494 3291 1920 1147 0 1921 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 62168 KiB
Current children cumulated memory: 16236 KiB

[startup+0.205026 s]*
/proc/loadavg: 1.02 1.07 1.08 2/246 62353
/proc/meminfo: memFree=128479964/131249988 swapFree=33010672/33010684
[pid=62351] ppid=62348 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/62351/stat : 62351 (run-opt.sh) S 62348 62351 59515 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 58012863 4292608 768 18446744073709551615 94017418084352 94017418978885 140729220044048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94017419217936 94017419265680 94017439387648 140729220049261 140729220049384 140729220049384 140729220054986 0
/proc/62351/statm: 1048 768 704 219 0 110 0
[pid=62353] ppid=62351 vsize=58112 memory=15260 CPUtime=0.16 cores=4,6
/proc/62353/stat : 62353 (roundingsat) R 62351 62351 59515 0 -1 4194304 1454 0 0 0 16 0 0 0 20 0 1 0 58012864 59506688 3815 18446744073709551615 4227072 8923433 140734103607136 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14684160 140734103615906 140734103616040 140734103616040 140734103621610 0
/proc/62353/statm: 14528 3815 1920 1147 0 1955 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 62304 KiB
Current children cumulated memory: 18332 KiB

[startup+0.304574 s]*
/proc/loadavg: 1.02 1.07 1.08 2/246 62353
/proc/meminfo: memFree=128476188/131249988 swapFree=33010672/33010684
[pid=62351] ppid=62348 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/62351/stat : 62351 (run-opt.sh) S 62348 62351 59515 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 58012863 4292608 768 18446744073709551615 94017418084352 94017418978885 140729220044048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94017419217936 94017419265680 94017439387648 140729220049261 140729220049384 140729220049384 140729220054986 0
/proc/62351/statm: 1048 768 704 219 0 110 0
[pid=62353] ppid=62351 vsize=66156 memory=20636 CPUtime=0.27 cores=4,6
/proc/62353/stat : 62353 (roundingsat) R 62351 62351 59515 0 -1 4194304 2822 0 0 0 26 1 0 0 20 0 1 0 58012864 67743744 5159 18446744073709551615 4227072 8923433 140734103607136 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14684160 140734103615906 140734103616040 140734103616040 140734103621610 0
/proc/62353/statm: 16539 5159 1920 1147 0 3966 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 70348 KiB
Current children cumulated memory: 23708 KiB

[startup+0.7002 s]
/proc/loadavg: 1.02 1.07 1.08 2/246 62353
/proc/meminfo: memFree=128428560/131249988 swapFree=33010672/33010684
[pid=62351] ppid=62348 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/62351/stat : 62351 (run-opt.sh) S 62348 62351 59515 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 58012863 4292608 768 18446744073709551615 94017418084352 94017418978885 140729220044048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94017419217936 94017419265680 94017439387648 140729220049261 140729220049384 140729220049384 140729220054986 0
/proc/62351/statm: 1048 768 704 219 0 110 0
[pid=62353] ppid=62351 vsize=155100 memory=113476 CPUtime=0.66 cores=4,6
/proc/62353/stat : 62353 (roundingsat) R 62351 62351 59515 0 -1 4194304 24939 0 0 0 61 5 0 0 20 0 1 0 58012864 158822400 28369 18446744073709551615 4227072 8923433 140734103607136 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14684160 140734103615906 140734103616040 140734103616040 140734103621610 0
/proc/62353/statm: 38775 28369 2336 1147 0 26202 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 159292 KiB
Current children cumulated memory: 116548 KiB

[startup+1.5002 s]
/proc/loadavg: 1.02 1.07 1.08 2/246 62353
/proc/meminfo: memFree=128380176/131249988 swapFree=33010672/33010684
[pid=62351] ppid=62348 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/62351/stat : 62351 (run-opt.sh) S 62348 62351 59515 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 58012863 4292608 768 18446744073709551615 94017418084352 94017418978885 140729220044048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94017419217936 94017419265680 94017439387648 140729220049261 140729220049384 140729220049384 140729220054986 0
/proc/62351/statm: 1048 768 704 219 0 110 0
[pid=62353] ppid=62351 vsize=188832 memory=139192 CPUtime=1.45 cores=4,6
/proc/62353/stat : 62353 (roundingsat) R 62351 62351 59515 0 -1 4194304 28247 0 0 0 137 8 0 0 20 0 1 0 58012864 193363968 34798 18446744073709551615 4227072 8923433 140734103607136 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14684160 140734103615906 140734103616040 140734103616040 140734103621610 0
/proc/62353/statm: 47208 34798 2368 1147 0 34635 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 193024 KiB
Current children cumulated memory: 142264 KiB

[startup+3.10502 s]
/proc/loadavg: 1.02 1.07 1.08 2/246 62353
/proc/meminfo: memFree=128307976/131249988 swapFree=33010672/33010684
[pid=62351] ppid=62348 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/62351/stat : 62351 (run-opt.sh) S 62348 62351 59515 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 58012863 4292608 768 18446744073709551615 94017418084352 94017418978885 140729220044048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94017419217936 94017419265680 94017439387648 140729220049261 140729220049384 140729220049384 140729220054986 0
/proc/62351/statm: 1048 768 704 219 0 110 0
[pid=62353] ppid=62351 vsize=257240 memory=206700 CPUtime=3.05 cores=4,6
/proc/62353/stat : 62353 (roundingsat) R 62351 62351 59515 0 -1 4194304 41067 0 0 0 291 14 0 0 20 0 1 0 58012864 263413760 51675 18446744073709551615 4227072 8923433 140734103607136 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14684160 140734103615906 140734103616040 140734103616040 140734103621610 0
/proc/62353/statm: 64310 51675 2368 1147 0 51737 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 261432 KiB
Current children cumulated memory: 209772 KiB

[startup+6.3002 s]
/proc/loadavg: 1.02 1.07 1.08 2/246 62353
/proc/meminfo: memFree=128234532/131249988 swapFree=33010672/33010684
[pid=62351] ppid=62348 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/62351/stat : 62351 (run-opt.sh) S 62348 62351 59515 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 58012863 4292608 768 18446744073709551615 94017418084352 94017418978885 140729220044048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94017419217936 94017419265680 94017439387648 140729220049261 140729220049384 140729220049384 140729220054986 0
/proc/62351/statm: 1048 768 704 219 0 110 0
[pid=62353] ppid=62351 vsize=344276 memory=283072 CPUtime=6.24 cores=4,6
/proc/62353/stat : 62353 (roundingsat) R 62351 62351 59515 0 -1 4194304 55028 0 0 0 602 22 0 0 20 0 1 0 58012864 352538624 70768 18446744073709551615 4227072 8923433 140734103607136 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14684160 140734103615906 140734103616040 140734103616040 140734103621610 0
/proc/62353/statm: 86069 70768 2368 1147 0 73496 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 348468 KiB
Current children cumulated memory: 286144 KiB

[startup+12.7002 s]
/proc/loadavg: 1.10 1.08 1.09 2/247 62355
/proc/meminfo: memFree=128133112/131249988 swapFree=33010672/33010684
[pid=62351] ppid=62348 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/62351/stat : 62351 (run-opt.sh) S 62348 62351 59515 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 58012863 4292608 768 18446744073709551615 94017418084352 94017418978885 140729220044048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94017419217936 94017419265680 94017439387648 140729220049261 140729220049384 140729220049384 140729220054986 0
/proc/62351/statm: 1048 768 704 219 0 110 0
[pid=62353] ppid=62351 vsize=495728 memory=394956 CPUtime=12.63 cores=4,6
/proc/62353/stat : 62353 (roundingsat) R 62351 62351 59515 0 -1 4194304 77914 0 0 0 1227 36 0 0 20 0 1 0 58012864 507625472 98739 18446744073709551615 4227072 8923433 140734103607136 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14684160 140734103615906 140734103616040 140734103616040 140734103621610 0
/proc/62353/statm: 123932 98739 2368 1147 0 111359 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 499920 KiB
Current children cumulated memory: 398028 KiB

[startup+25.5002 s]
/proc/loadavg: 1.07 1.08 1.08 2/247 62355
/proc/meminfo: memFree=128038380/131249988 swapFree=33010672/33010684
[pid=62351] ppid=62348 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/62351/stat : 62351 (run-opt.sh) S 62348 62351 59515 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 58012863 4292608 768 18446744073709551615 94017418084352 94017418978885 140729220044048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94017419217936 94017419265680 94017439387648 140729220049261 140729220049384 140729220049384 140729220054986 0
/proc/62351/statm: 1048 768 704 219 0 110 0
[pid=62353] ppid=62351 vsize=562972 memory=483832 CPUtime=25.39 cores=4,6
/proc/62353/stat : 62353 (roundingsat) R 62351 62351 59515 0 -1 4194304 93492 0 0 0 2488 51 0 0 20 0 1 0 58012864 576483328 120958 18446744073709551615 4227072 8923433 140734103607136 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14684160 140734103615906 140734103616040 140734103616040 140734103621610 0
/proc/62353/statm: 140743 120958 2368 1147 0 128170 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 567164 KiB
Current children cumulated memory: 486904 KiB

[startup+51.1051 s]
/proc/loadavg: 1.05 1.07 1.08 2/247 62355
/proc/meminfo: memFree=127807724/131249988 swapFree=33010672/33010684
[pid=62351] ppid=62348 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/62351/stat : 62351 (run-opt.sh) S 62348 62351 59515 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 58012863 4292608 768 18446744073709551615 94017418084352 94017418978885 140729220044048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94017419217936 94017419265680 94017439387648 140729220049261 140729220049384 140729220049384 140729220054986 0
/proc/62351/statm: 1048 768 704 219 0 110 0
[pid=62353] ppid=62351 vsize=846780 memory=710696 CPUtime=50.93 cores=4,6
/proc/62353/stat : 62353 (roundingsat) R 62351 62351 59515 0 -1 4194304 137445 0 0 0 5011 82 0 0 20 0 1 0 58012864 867102720 177674 18446744073709551615 4227072 8923433 140734103607136 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14684160 140734103615906 140734103616040 140734103616040 140734103621610 0
/proc/62353/statm: 211695 177674 2368 1147 0 199122 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 850972 KiB
Current children cumulated memory: 713768 KiB

[startup+102.3 s]
/proc/loadavg: 1.14 1.09 1.09 2/249 62359
/proc/meminfo: memFree=127551392/131249988 swapFree=33010672/33010684
[pid=62351] ppid=62348 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/62351/stat : 62351 (run-opt.sh) S 62348 62351 59515 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 58012863 4292608 768 18446744073709551615 94017418084352 94017418978885 140729220044048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94017419217936 94017419265680 94017439387648 140729220049261 140729220049384 140729220049384 140729220054986 0
/proc/62351/statm: 1048 768 704 219 0 110 0
[pid=62353] ppid=62351 vsize=1083636 memory=965108 CPUtime=101.98 cores=4,6
/proc/62353/stat : 62353 (roundingsat) R 62351 62351 59515 0 -1 4194304 189847 0 0 0 10075 123 0 0 20 0 1 0 58012864 1109643264 241277 18446744073709551615 4227072 8923433 140734103607136 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14684160 140734103615906 140734103616040 140734103616040 140734103621610 0
/proc/62353/statm: 270909 241277 2368 1147 0 258336 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1087828 KiB
Current children cumulated memory: 968180 KiB

[startup+162.3 s]
/proc/loadavg: 1.11 1.09 1.09 2/249 62361
/proc/meminfo: memFree=127524792/131249988 swapFree=33010672/33010684
[pid=62351] ppid=62348 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/62351/stat : 62351 (run-opt.sh) S 62348 62351 59515 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 58012863 4292608 768 18446744073709551615 94017418084352 94017418978885 140729220044048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94017419217936 94017419265680 94017439387648 140729220049261 140729220049384 140729220049384 140729220054986 0
/proc/62351/statm: 1048 768 704 219 0 110 0
[pid=62353] ppid=62351 vsize=1105528 memory=984820 CPUtime=161.81 cores=4,6
/proc/62353/stat : 62353 (roundingsat) R 62351 62351 59515 0 -1 4194304 194676 0 0 0 16011 170 0 0 20 0 1 0 58012864 1132060672 246205 18446744073709551615 4227072 8923433 140734103607136 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14684160 140734103615906 140734103616040 140734103616040 140734103621610 0
/proc/62353/statm: 276382 246205 2368 1147 0 263809 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 1109720 KiB
Current children cumulated memory: 987892 KiB

[startup+222.3 s]
/proc/loadavg: 1.04 1.07 1.08 2/249 62365
/proc/meminfo: memFree=127461952/131249988 swapFree=33010672/33010684
[pid=62351] ppid=62348 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/62351/stat : 62351 (run-opt.sh) S 62348 62351 59515 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 58012863 4292608 768 18446744073709551615 94017418084352 94017418978885 140729220044048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94017419217936 94017419265680 94017439387648 140729220049261 140729220049384 140729220049384 140729220054986 0
/proc/62351/statm: 1048 768 704 219 0 110 0
[pid=62353] ppid=62351 vsize=1297420 memory=1053840 CPUtime=221.66 cores=4,6
/proc/62353/stat : 62353 (roundingsat) R 62351 62351 59515 0 -1 4194304 206841 0 0 0 21951 215 0 0 20 0 1 0 58012864 1328558080 263460 18446744073709551615 4227072 8923433 140734103607136 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14684160 140734103615906 140734103616040 140734103616040 140734103621610 0
/proc/62353/statm: 324355 263460 2368 1147 0 311782 0
Current children cumulated CPU time: 221.66 s

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

/proc/62353/statm: 817576 727446 2368 1147 0 805003 0
Current children cumulated CPU time: 3094.13 s
Current children cumulated vsize: 3274496 KiB
Current children cumulated memory: 2912856 KiB

[startup+3162.3 s]
/proc/loadavg: 1.14 1.13 1.10 2/246 62513
/proc/meminfo: memFree=125591596/131249988 swapFree=33010672/33010684
[pid=62351] ppid=62348 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/62351/stat : 62351 (run-opt.sh) S 62348 62351 59515 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 58012863 4292608 768 18446744073709551615 94017418084352 94017418978885 140729220044048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94017419217936 94017419265680 94017439387648 140729220049261 140729220049384 140729220049384 140729220054986 0
/proc/62351/statm: 1048 768 704 219 0 110 0
[pid=62353] ppid=62351 vsize=3292160 memory=2921432 CPUtime=3153.95 cores=4,6
/proc/62353/stat : 62353 (roundingsat) R 62351 62351 59515 0 -1 4194304 471515 0 0 0 313905 1490 0 0 20 0 1 0 58012864 3371171840 730358 18446744073709551615 4227072 8923433 140734103607136 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14684160 140734103615906 140734103616040 140734103616040 140734103621610 0
/proc/62353/statm: 823040 730358 2368 1147 0 810467 0
Current children cumulated CPU time: 3153.95 s
Current children cumulated vsize: 3296352 KiB
Current children cumulated memory: 2924504 KiB

[startup+3222.3 s]
/proc/loadavg: 1.11 1.12 1.09 2/246 62517
/proc/meminfo: memFree=125578832/131249988 swapFree=33010672/33010684
[pid=62351] ppid=62348 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/62351/stat : 62351 (run-opt.sh) S 62348 62351 59515 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 58012863 4292608 768 18446744073709551615 94017418084352 94017418978885 140729220044048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94017419217936 94017419265680 94017439387648 140729220049261 140729220049384 140729220049384 140729220054986 0
/proc/62351/statm: 1048 768 704 219 0 110 0
[pid=62353] ppid=62351 vsize=3305040 memory=2936784 CPUtime=3213.8 cores=4,6
/proc/62353/stat : 62353 (roundingsat) R 62351 62351 59515 0 -1 4194304 473988 0 0 0 319862 1518 0 0 20 0 1 0 58012864 3384360960 734196 18446744073709551615 4227072 8923433 140734103607136 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14684160 140734103615906 140734103616040 140734103616040 140734103621610 0
/proc/62353/statm: 826260 734196 2368 1147 0 813687 0
Current children cumulated CPU time: 3213.8 s
Current children cumulated vsize: 3309232 KiB
Current children cumulated memory: 2939856 KiB

[startup+3282.3 s]
/proc/loadavg: 1.12 1.11 1.09 2/245 62519
/proc/meminfo: memFree=125580124/131249988 swapFree=33010672/33010684
[pid=62351] ppid=62348 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/62351/stat : 62351 (run-opt.sh) S 62348 62351 59515 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 58012863 4292608 768 18446744073709551615 94017418084352 94017418978885 140729220044048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94017419217936 94017419265680 94017439387648 140729220049261 140729220049384 140729220049384 140729220054986 0
/proc/62351/statm: 1048 768 704 219 0 110 0
[pid=62353] ppid=62351 vsize=3305040 memory=2936784 CPUtime=3273.65 cores=4,6
/proc/62353/stat : 62353 (roundingsat) R 62351 62351 59515 0 -1 4194304 474006 0 0 0 325821 1544 0 0 20 0 1 0 58012864 3384360960 734196 18446744073709551615 4227072 8923433 140734103607136 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14684160 140734103615906 140734103616040 140734103616040 140734103621610 0
/proc/62353/statm: 826260 734196 2368 1147 0 813687 0
Current children cumulated CPU time: 3273.65 s
Current children cumulated vsize: 3309232 KiB
Current children cumulated memory: 2939856 KiB

[startup+3342.3 s]
/proc/loadavg: 1.10 1.11 1.09 2/245 62521
/proc/meminfo: memFree=125580736/131249988 swapFree=33010672/33010684
[pid=62351] ppid=62348 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/62351/stat : 62351 (run-opt.sh) S 62348 62351 59515 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 58012863 4292608 768 18446744073709551615 94017418084352 94017418978885 140729220044048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94017419217936 94017419265680 94017439387648 140729220049261 140729220049384 140729220049384 140729220054986 0
/proc/62351/statm: 1048 768 704 219 0 110 0
[pid=62353] ppid=62351 vsize=3305040 memory=2936784 CPUtime=3333.5 cores=4,6
/proc/62353/stat : 62353 (roundingsat) R 62351 62351 59515 0 -1 4194304 474534 0 0 0 331784 1566 0 0 20 0 1 0 58012864 3384360960 734196 18446744073709551615 4227072 8923433 140734103607136 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14684160 140734103615906 140734103616040 140734103616040 140734103621610 0
/proc/62353/statm: 826260 734196 2368 1147 0 813687 0
Current children cumulated CPU time: 3333.5 s
Current children cumulated vsize: 3309232 KiB
Current children cumulated memory: 2939856 KiB

[startup+3402.3 s]
/proc/loadavg: 1.08 1.10 1.09 2/245 62523
/proc/meminfo: memFree=125581588/131249988 swapFree=33010672/33010684
[pid=62351] ppid=62348 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/62351/stat : 62351 (run-opt.sh) S 62348 62351 59515 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 58012863 4292608 768 18446744073709551615 94017418084352 94017418978885 140729220044048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94017419217936 94017419265680 94017439387648 140729220049261 140729220049384 140729220049384 140729220054986 0
/proc/62351/statm: 1048 768 704 219 0 110 0
[pid=62353] ppid=62351 vsize=3305040 memory=2936784 CPUtime=3393.35 cores=4,6
/proc/62353/stat : 62353 (roundingsat) R 62351 62351 59515 0 -1 4194304 475388 0 0 0 337753 1582 0 0 20 0 1 0 58012864 3384360960 734196 18446744073709551615 4227072 8923433 140734103607136 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14684160 140734103615906 140734103616040 140734103616040 140734103621610 0
/proc/62353/statm: 826260 734196 2368 1147 0 813687 0
Current children cumulated CPU time: 3393.35 s
Current children cumulated vsize: 3309232 KiB
Current children cumulated memory: 2939856 KiB

[startup+3462.3 s]
/proc/loadavg: 1.07 1.10 1.09 2/245 62525
/proc/meminfo: memFree=125558248/131249988 swapFree=33010672/33010684
[pid=62351] ppid=62348 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/62351/stat : 62351 (run-opt.sh) S 62348 62351 59515 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 58012863 4292608 768 18446744073709551615 94017418084352 94017418978885 140729220044048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94017419217936 94017419265680 94017439387648 140729220049261 140729220049384 140729220049384 140729220054986 0
/proc/62351/statm: 1048 768 704 219 0 110 0
[pid=62353] ppid=62351 vsize=3352796 memory=2964304 CPUtime=3453.21 cores=4,6
/proc/62353/stat : 62353 (roundingsat) R 62351 62351 59515 0 -1 4194304 482321 0 0 0 343721 1600 0 0 20 0 1 0 58012864 3433263104 741076 18446744073709551615 4227072 8923433 140734103607136 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14684160 140734103615906 140734103616040 140734103616040 140734103621610 0
/proc/62353/statm: 838199 741076 2368 1147 0 825626 0
Current children cumulated CPU time: 3453.21 s
Current children cumulated vsize: 3356988 KiB
Current children cumulated memory: 2967376 KiB

[startup+3522.3 s]
/proc/loadavg: 1.08 1.09 1.09 2/245 62527
/proc/meminfo: memFree=125558608/131249988 swapFree=33010672/33010684
[pid=62351] ppid=62348 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/62351/stat : 62351 (run-opt.sh) S 62348 62351 59515 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 58012863 4292608 768 18446744073709551615 94017418084352 94017418978885 140729220044048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94017419217936 94017419265680 94017439387648 140729220049261 140729220049384 140729220049384 140729220054986 0
/proc/62351/statm: 1048 768 704 219 0 110 0
[pid=62353] ppid=62351 vsize=3352796 memory=2964304 CPUtime=3513.07 cores=4,6
/proc/62353/stat : 62353 (roundingsat) R 62351 62351 59515 0 -1 4194304 482690 0 0 0 349684 1623 0 0 20 0 1 0 58012864 3433263104 741076 18446744073709551615 4227072 8923433 140734103607136 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14684160 140734103615906 140734103616040 140734103616040 140734103621610 0
/proc/62353/statm: 838199 741076 2368 1147 0 825626 0
Current children cumulated CPU time: 3513.07 s
Current children cumulated vsize: 3356988 KiB
Current children cumulated memory: 2967376 KiB

[startup+3582.3 s]
/proc/loadavg: 1.07 1.09 1.09 2/246 62534
/proc/meminfo: memFree=125559236/131249988 swapFree=33010672/33010684
[pid=62351] ppid=62348 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/62351/stat : 62351 (run-opt.sh) S 62348 62351 59515 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 58012863 4292608 768 18446744073709551615 94017418084352 94017418978885 140729220044048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94017419217936 94017419265680 94017439387648 140729220049261 140729220049384 140729220049384 140729220054986 0
/proc/62351/statm: 1048 768 704 219 0 110 0
[pid=62353] ppid=62351 vsize=3356548 memory=2966480 CPUtime=3572.92 cores=4,6
/proc/62353/stat : 62353 (roundingsat) R 62351 62351 59515 0 -1 4194304 484217 0 0 0 355653 1639 0 0 20 0 1 0 58012864 3437105152 741620 18446744073709551615 4227072 8923433 140734103607136 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14684160 140734103615906 140734103616040 140734103616040 140734103621610 0
/proc/62353/statm: 839137 741620 2368 1147 0 826564 0
Current children cumulated CPU time: 3572.92 s
Current children cumulated vsize: 3360740 KiB
Current children cumulated memory: 2969552 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 1.09 1.09 1.09 2/246 62535
/proc/meminfo: memFree=125551520/131249988 swapFree=33010672/33010684
[pid=62351] ppid=62348 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/62351/stat : 62351 (run-opt.sh) S 62348 62351 59515 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 58012863 4292608 768 18446744073709551615 94017418084352 94017418978885 140729220044048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94017419217936 94017419265680 94017439387648 140729220049261 140729220049384 140729220049384 140729220054986 0
/proc/62351/statm: 1048 768 704 219 0 110 0
[pid=62353] ppid=62351 vsize=3360444 memory=2968656 CPUtime=3600.06 cores=4,6
/proc/62353/stat : 62353 (roundingsat) R 62351 62351 59515 0 -1 4194304 484762 0 0 0 358351 1655 0 0 20 0 1 0 58012864 3441094656 742164 18446744073709551615 4227072 8923433 140734103607136 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14684160 140734103615906 140734103616040 140734103616040 140734103621610 0
/proc/62353/statm: 840111 742164 2368 1147 0 827538 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 3364636 KiB
Current children cumulated memory: 2971728 KiB

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

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

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

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

# cumulated CPU time of all completed processes:  user=3583.53 s, system=16.5664 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+3609.5 s]
/proc/loadavg: 1.09 1.09 1.09 2/246 62535
/proc/meminfo: memFree=125551520/131249988 swapFree=33010672/33010684
[pid=62351] ppid=62348 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/62351/stat : 62351 (run-opt.sh) S 62348 62351 59515 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 58012863 4292608 768 18446744073709551615 94017418084352 94017418978885 140729220044048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94017419217936 94017419265680 94017439387648 140729220049261 140729220049384 140729220049384 140729220054986 0
/proc/62351/statm: 1048 768 704 219 0 110 0
[pid=62353] ppid=62351 vsize=3360444 memory=2968656 CPUtime=3600.06 cores=4,6
/proc/62353/stat : 62353 (roundingsat) R 62351 62351 59515 0 -1 4194304 484762 0 0 0 358351 1655 0 0 20 0 1 0 58012864 3441094656 742164 18446744073709551615 4227072 8923433 140734103607136 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14684160 140734103615906 140734103616040 140734103616040 140734103621610 0
/proc/62353/statm: 840111 742164 2368 1147 0 827538 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 3364636 KiB
Current children cumulated memory: 2971728 KiB

Child status: 2

Real time (s): 3609.52
CPU time (s): 3600.1
CPU user time (s): 3583.53
CPU system time (s): 16.5664
CPU usage (%): 99.7388
Max. virtual memory (cumulated for all children) (KiB): 3364636
Max. memory (cumulated for all children) (KiB): 2971728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.53
system time used= 16.5664
maximum resident set size= 2968912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 485000
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 565
involuntary context switches= 19947


# summary of solver processes directly reported to runsolver:
#   pid: 62351,62353
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3583.53
#   total CPU system time (s): 16.5664

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.62414 second user time and 16.5869 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-07-02 04:29:13
IDJOB=4502324
IDBENCH=155319
IDSOLVER=3350
FILE ID=nodeC020/4502324-1751423353
RUNJOBID= nodeC020-1751419668-61263
SLURM_JOB_ID= 9598327
Free space on /tmp= 432204 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-neos-544324.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502324-1751423353/watcher-4502324-1751423353 -o /tmp/evaluation-result-4502324-1751423353/solver-4502324-1751423353 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751419668-61263 --watchdog 3760  run-opt.sh HOME/instance-4502324-1751423353.opb

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

MD5SUM BENCH= 8c6c1213a1160c9558cfabfe880ab91b
RANDOM SEED=864843771

nodeC020 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		: 3598.361
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.79
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		: 1199.443
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.79
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		: 3700.000
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.79
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		: 1250.271
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.79
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.885
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.79
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		: 1199.376
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.79
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		: 3628.507
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.79
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		: 3700.000
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        128480720 kB
MemAvailable:   129649664 kB
Buffers:            2128 kB
Cached:          1972320 kB
SwapCached:            8 kB
Active:           514672 kB
Inactive:        1534472 kB
Active(anon):      70232 kB
Inactive(anon):    22512 kB
Active(file):     444440 kB
Inactive(file):  1511960 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             22384 kB
Writeback:             0 kB
AnonPages:         78084 kB
Mapped:           103596 kB
Shmem:             18048 kB
KReclaimable:     103564 kB
Slab:             192900 kB
SReclaimable:     103564 kB
SUnreclaim:        89336 kB
KernelStack:        3972 kB
PageTables:         2476 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     337328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150328 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432200 MiB
End job on nodeC020 at 2025-07-02 05:29:23