Trace number 4515241

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
roundingsat-ls-log 63f22ad? (TO) 3600.04 3609.45

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-ab71-20-100.0.u.opb
MD5SUM5a0bcd4a9e5bc1c51804f47b1691eae0
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark39.0848
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6689
Total number of constraints6377
Number of constraints which are clauses6255
Number of constraints which are cardinality constraints (but not clauses)121
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint6255
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1966006
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 501966013
Number of bits of the biggest sum of numbers29
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
0.00/0.06	c #variables 6689 #constraints 6377
123.37/123.74	c #Conflicts:       1000 | #Constraints:       7376
123.37/123.74	c #Conflicts:       2000 | #Constraints:       8376
123.37/123.74	c INPROCESSING
123.37/123.74	c GARBAGE COLLECT
123.37/123.74	c #Conflicts:       3000 | #Constraints:       8386
123.37/123.74	c #Conflicts:       4000 | #Constraints:       9386
123.37/123.74	c INPROCESSING
123.37/123.74	c GARBAGE COLLECT
123.37/123.74	c #Conflicts:       5000 | #Constraints:       8793
123.37/123.74	c #Conflicts:       6000 | #Constraints:       9793
123.37/123.74	c INPROCESSING
123.37/123.74	c GARBAGE COLLECT
123.37/123.74	c #Conflicts:       7000 | #Constraints:       8792
123.37/123.74	c #Conflicts:       8000 | #Constraints:       9792
123.37/123.74	c #Conflicts:       9000 | #Constraints:      10792
123.37/123.74	c INPROCESSING
123.37/123.74	c GARBAGE COLLECT
123.37/123.74	c #Conflicts:      10000 | #Constraints:       9490
123.37/123.74	c #Conflicts:      11000 | #Constraints:      10490
123.37/123.74	c #Conflicts:      12000 | #Constraints:      11490
123.37/123.74	c INPROCESSING
123.37/123.74	c GARBAGE COLLECT
123.37/123.74	c rational objective 18.4918
816.28/818.31	c #Conflicts:      13000 | #Constraints:       9943
816.28/818.31	c #Conflicts:      14000 | #Constraints:      10943
816.28/818.31	c #Conflicts:      15000 | #Constraints:      11943
816.28/818.31	c INPROCESSING
816.28/818.31	c GARBAGE COLLECT
816.28/818.31	c #Conflicts:      16000 | #Constraints:      10168
816.28/818.31	c #Conflicts:      17000 | #Constraints:      11168
816.28/818.31	c #Conflicts:      18000 | #Constraints:      12168
816.28/818.31	c INPROCESSING
816.28/818.31	c GARBAGE COLLECT
816.28/818.31	c #Conflicts:      19000 | #Constraints:      10187
816.28/818.31	c #Conflicts:      20000 | #Constraints:      11187
816.28/818.31	c #Conflicts:      21000 | #Constraints:      12188
816.28/818.31	c INPROCESSING
816.28/818.31	c GARBAGE COLLECT
816.28/818.31	c #Conflicts:      22000 | #Constraints:       9994
816.28/818.31	c #Conflicts:      23000 | #Constraints:      10994
816.28/818.31	c #Conflicts:      24000 | #Constraints:      11994
816.28/818.31	c #Conflicts:      25000 | #Constraints:      12994
816.28/818.31	c INPROCESSING
816.28/818.31	c GARBAGE COLLECT
816.28/818.31	c #Conflicts:      26000 | #Constraints:      10593
816.28/818.31	c #Conflicts:      27000 | #Constraints:      11593
816.28/818.31	c #Conflicts:      28000 | #Constraints:      12593
816.28/818.31	c #Conflicts:      29000 | #Constraints:      13593
816.28/818.31	c INPROCESSING
816.28/818.31	c GARBAGE COLLECT
816.28/818.31	c #Conflicts:      30000 | #Constraints:      10995
816.28/818.31	c #Conflicts:      31000 | #Constraints:      11995
816.28/818.31	c #Conflicts:      32000 | #Constraints:      12995
816.28/818.31	c #Conflicts:      33000 | #Constraints:      13995
816.28/818.31	c INPROCESSING
816.28/818.31	c GARBAGE COLLECT
816.28/818.31	c #Conflicts:      34000 | #Constraints:      11197
816.28/818.31	c #Conflicts:      35000 | #Constraints:      12197
816.28/818.31	c #Conflicts:      36000 | #Constraints:      13197
816.28/818.31	c #Conflicts:      37000 | #Constraints:      14197
816.28/818.31	c INPROCESSING
816.28/818.31	c GARBAGE COLLECT
816.28/818.31	c #Conflicts:      38000 | #Constraints:      11197
816.28/818.31	c #Conflicts:      39000 | #Constraints:      12197
816.28/818.31	c #Conflicts:      40000 | #Constraints:      13197
816.28/818.31	c #Conflicts:      41000 | #Constraints:      14198
816.28/818.31	c INPROCESSING
816.28/818.31	c GARBAGE COLLECT
816.28/818.31	c #Conflicts:      42000 | #Constraints:      11003
816.28/818.31	c #Conflicts:      43000 | #Constraints:      12003
816.28/818.31	c #Conflicts:      44000 | #Constraints:      13003
816.28/818.31	c #Conflicts:      45000 | #Constraints:      14003
816.28/818.31	c #Conflicts:      46000 | #Constraints:      15003
816.28/818.31	c INPROCESSING
816.28/818.31	c GARBAGE COLLECT
816.28/818.31	c #Conflicts:      47000 | #Constraints:      11601
816.28/818.31	c #Conflicts:      48000 | #Constraints:      12601
816.28/818.31	c #Conflicts:      49000 | #Constraints:      13601
816.28/818.31	c #Conflicts:      50000 | #Constraints:      14601
816.28/818.31	c #Conflicts:      51000 | #Constraints:      15602
816.28/818.31	c INPROCESSING
816.28/818.31	c GARBAGE COLLECT
816.28/818.31	c #Conflicts:      52000 | #Constraints:      12005
816.28/818.31	c #Conflicts:      53000 | #Constraints:      13005
816.28/818.31	c #Conflicts:      54000 | #Constraints:      14006
816.28/818.31	c #Conflicts:      55000 | #Constraints:      15006
816.28/818.31	c #Conflicts:      56000 | #Constraints:      16008
816.28/818.31	c INPROCESSING
816.28/818.31	c GARBAGE COLLECT
816.28/818.31	c #Conflicts:      57000 | #Constraints:      12203
816.28/818.31	c #Conflicts:      58000 | #Constraints:      13204
816.28/818.31	c #Conflicts:      59000 | #Constraints:      14204
816.28/818.31	c #Conflicts:      60000 | #Constraints:      15205
816.28/818.31	c #Conflicts:      61000 | #Constraints:      16205
816.28/818.31	c INPROCESSING
816.28/818.31	c GARBAGE COLLECT
816.28/818.31	c #Conflicts:      62000 | #Constraints:      12207
816.28/818.31	c #Conflicts:      63000 | #Constraints:      13208
816.28/818.31	c #Conflicts:      64000 | #Constraints:      14208
816.28/818.31	c #Conflicts:      65000 | #Constraints:      15208
816.28/818.31	c #Conflicts:      66000 | #Constraints:      16208
816.28/818.31	c INPROCESSING
816.28/818.31	c GARBAGE COLLECT
816.28/818.31	c #Conflicts:      67000 | #Constraints:      12008
816.28/818.31	c #Conflicts:      68000 | #Constraints:      13009
816.28/818.31	c #Conflicts:      69000 | #Constraints:      14009
816.28/818.31	c #Conflicts:      70000 | #Constraints:      15010
816.28/818.31	c #Conflicts:      71000 | #Constraints:      16010
816.28/818.31	c #Conflicts:      72000 | #Constraints:      17011
816.28/818.31	c INPROCESSING
816.28/818.31	c GARBAGE COLLECT
816.28/818.31	c #Conflicts:      73000 | #Constraints:      12606
816.28/818.31	c #Conflicts:      74000 | #Constraints:      13606
816.28/818.31	c #Conflicts:      75000 | #Constraints:      14607
816.28/818.31	c #Conflicts:      76000 | #Constraints:      15608
816.28/818.31	c #Conflicts:      77000 | #Constraints:      16608
816.28/818.31	c #Conflicts:      78000 | #Constraints:      17609
816.28/818.31	c INPROCESSING
816.28/818.31	c GARBAGE COLLECT
816.28/818.31	c #Conflicts:      79000 | #Constraints:      13005
816.28/818.31	c #Conflicts:      80000 | #Constraints:      14005
816.28/818.31	c #Conflicts:      81000 | #Constraints:      15005
816.28/818.31	c #Conflicts:      82000 | #Constraints:      16005
1464.83/1468.56	c #Conflicts:      83000 | #Constraints:      17005
1464.83/1468.56	c #Conflicts:      84000 | #Constraints:      18005
1464.83/1468.56	c INPROCESSING
1464.83/1468.56	c GARBAGE COLLECT
1464.83/1468.56	c #Conflicts:      85000 | #Constraints:      13211
1464.83/1468.56	c #Conflicts:      86000 | #Constraints:      14212
1464.83/1468.56	c #Conflicts:      87000 | #Constraints:      15213
1464.83/1468.56	c #Conflicts:      88000 | #Constraints:      16213
1464.83/1468.56	c #Conflicts:      89000 | #Constraints:      17214
1464.83/1468.56	c #Conflicts:      90000 | #Constraints:      18215
1464.83/1468.56	c INPROCESSING
1464.83/1468.56	c GARBAGE COLLECT
1464.83/1468.56	c #Conflicts:      91000 | #Constraints:      13219
1464.83/1468.56	c #Conflicts:      92000 | #Constraints:      14219
1464.83/1468.56	c #Conflicts:      93000 | #Constraints:      15220
1464.83/1468.56	c #Conflicts:      94000 | #Constraints:      16220
1464.83/1468.56	c #Conflicts:      95000 | #Constraints:      17220
1464.83/1468.56	c #Conflicts:      96000 | #Constraints:      18220
1464.83/1468.56	c INPROCESSING
1464.83/1468.56	c GARBAGE COLLECT
1464.83/1468.56	c #Conflicts:      97000 | #Constraints:      13021
1464.83/1468.56	c #Conflicts:      98000 | #Constraints:      14021
1464.83/1468.56	c #Conflicts:      99000 | #Constraints:      15022
1464.83/1468.56	c #Conflicts:     100000 | #Constraints:      16022
1464.83/1468.56	c #Conflicts:     101000 | #Constraints:      17023
1464.83/1468.56	c #Conflicts:     102000 | #Constraints:      18023
1464.83/1468.56	c #Conflicts:     103000 | #Constraints:      19023
1464.83/1468.56	c INPROCESSING
1464.83/1468.56	c GARBAGE COLLECT
1464.83/1468.56	c #Conflicts:     104000 | #Constraints:      13621
1464.83/1468.56	c #Conflicts:     105000 | #Constraints:      14621
1464.83/1468.56	c #Conflicts:     106000 | #Constraints:      15621
1464.83/1468.56	c #Conflicts:     107000 | #Constraints:      16621
1464.83/1468.56	c #Conflicts:     108000 | #Constraints:      17621
1464.83/1468.56	c #Conflicts:     109000 | #Constraints:      18622
1464.83/1468.56	c #Conflicts:     110000 | #Constraints:      19623
1464.83/1468.56	c INPROCESSING
1464.83/1468.56	c GARBAGE COLLECT
1464.83/1468.56	c #Conflicts:     111000 | #Constraints:      14020
1464.83/1468.56	c #Conflicts:     112000 | #Constraints:      15020
1464.83/1468.56	c #Conflicts:     113000 | #Constraints:      16020
1464.83/1468.56	c #Conflicts:     114000 | #Constraints:      17021
1464.83/1468.56	c #Conflicts:     115000 | #Constraints:      18021
1464.83/1468.56	c #Conflicts:     116000 | #Constraints:      19021
1464.83/1468.56	c #Conflicts:     117000 | #Constraints:      20022
1464.83/1468.56	c INPROCESSING
1464.83/1468.56	c GARBAGE COLLECT
1464.83/1468.56	c #Conflicts:     118000 | #Constraints:      14215
1464.83/1468.56	c #Conflicts:     119000 | #Constraints:      15216
1464.83/1468.56	c #Conflicts:     120000 | #Constraints:      16216
1464.83/1468.56	c #Conflicts:     121000 | #Constraints:      17216
1464.83/1468.56	c #Conflicts:     122000 | #Constraints:      18216
1464.83/1468.56	c #Conflicts:     123000 | #Constraints:      19217
1464.83/1468.56	c #Conflicts:     124000 | #Constraints:      20217
1464.83/1468.56	c INPROCESSING
1464.83/1468.56	c GARBAGE COLLECT
1464.83/1468.56	c #Conflicts:     125000 | #Constraints:      14214
1464.83/1468.56	c #Conflicts:     126000 | #Constraints:      15215
1464.83/1468.56	c #Conflicts:     127000 | #Constraints:      16216
1464.83/1468.56	c #Conflicts:     128000 | #Constraints:      17217
1464.83/1468.56	c #Conflicts:     129000 | #Constraints:      18217
1464.83/1468.56	c #Conflicts:     130000 | #Constraints:      19218
1464.83/1468.56	c #Conflicts:     131000 | #Constraints:      20218
1464.83/1468.56	c INPROCESSING
1464.83/1468.56	c GARBAGE COLLECT
1464.83/1468.56	c #Conflicts:     132000 | #Constraints:      14013
1464.83/1468.56	c #Conflicts:     133000 | #Constraints:      15014
1464.83/1468.56	c #Conflicts:     134000 | #Constraints:      16014
1464.83/1468.56	c #Conflicts:     135000 | #Constraints:      17014
1464.83/1468.56	c #Conflicts:     136000 | #Constraints:      18014
1464.83/1468.56	c #Conflicts:     137000 | #Constraints:      19014
1464.83/1468.56	c #Conflicts:     138000 | #Constraints:      20015
1464.83/1468.56	c #Conflicts:     139000 | #Constraints:      21015
1464.83/1468.56	c INPROCESSING
1464.83/1468.56	c GARBAGE COLLECT
1464.83/1468.56	c #Conflicts:     140000 | #Constraints:      14610
1464.83/1468.56	c #Conflicts:     141000 | #Constraints:      15610
1464.83/1468.56	c #Conflicts:     142000 | #Constraints:      16610
1464.83/1468.56	c #Conflicts:     143000 | #Constraints:      17610
1464.83/1468.56	c #Conflicts:     144000 | #Constraints:      18611
1464.83/1468.56	c #Conflicts:     145000 | #Constraints:      19611
1464.83/1468.56	c #Conflicts:     146000 | #Constraints:      20611
1464.83/1468.56	c #Conflicts:     147000 | #Constraints:      21611
1464.83/1468.56	c INPROCESSING
1464.83/1468.56	c GARBAGE COLLECT
1464.83/1468.56	c #Conflicts:     148000 | #Constraints:      15014
1464.83/1468.56	c #Conflicts:     149000 | #Constraints:      16014
1464.83/1468.56	c #Conflicts:     150000 | #Constraints:      17014
1464.83/1468.56	c #Conflicts:     151000 | #Constraints:      18014
1464.83/1468.56	c #Conflicts:     152000 | #Constraints:      19014
1464.83/1468.56	c #Conflicts:     153000 | #Constraints:      20014
1464.83/1468.56	c #Conflicts:     154000 | #Constraints:      21015
1477.49/1481.23	c #Conflicts:     155000 | #Constraints:      22016
1477.49/1481.23	c INPROCESSING
1477.49/1481.23	c GARBAGE COLLECT
1477.49/1481.23	c rational objective 18.6441
2272.16/2278.28	c #Conflicts:     156000 | #Constraints:      15215
2272.16/2278.28	c #Conflicts:     157000 | #Constraints:      16215
2272.16/2278.28	c #Conflicts:     158000 | #Constraints:      17215
2272.16/2278.28	c #Conflicts:     159000 | #Constraints:      18215
2272.16/2278.28	c #Conflicts:     160000 | #Constraints:      19215
2272.16/2278.28	c #Conflicts:     161000 | #Constraints:      20216
2272.16/2278.28	c #Conflicts:     162000 | #Constraints:      21216
2272.16/2278.28	c #Conflicts:     163000 | #Constraints:      22216
2272.16/2278.28	c INPROCESSING
2272.16/2278.28	c GARBAGE COLLECT
2272.16/2278.28	c #Conflicts:     164000 | #Constraints:      15223
2272.16/2278.28	c #Conflicts:     165000 | #Constraints:      16224
2272.16/2278.28	c #Conflicts:     166000 | #Constraints:      17224
2272.16/2278.28	c #Conflicts:     167000 | #Constraints:      18224
2272.16/2278.28	c #Conflicts:     168000 | #Constraints:      19224
2272.16/2278.28	c #Conflicts:     169000 | #Constraints:      20225
2272.16/2278.28	c #Conflicts:     170000 | #Constraints:      21225
2272.16/2278.28	c #Conflicts:     171000 | #Constraints:      22225
2272.16/2278.28	c INPROCESSING
2272.16/2278.28	c GARBAGE COLLECT
2272.16/2278.28	c #Conflicts:     172000 | #Constraints:      15019
2272.16/2278.28	c #Conflicts:     173000 | #Constraints:      16019
2272.16/2278.28	c #Conflicts:     174000 | #Constraints:      17019
2272.16/2278.28	c #Conflicts:     175000 | #Constraints:      18020
2272.16/2278.28	c #Conflicts:     176000 | #Constraints:      19020
2272.16/2278.28	c #Conflicts:     177000 | #Constraints:      20020
2272.16/2278.28	c #Conflicts:     178000 | #Constraints:      21020
2272.16/2278.28	c #Conflicts:     179000 | #Constraints:      22020
2272.16/2278.28	c #Conflicts:     180000 | #Constraints:      23020
2272.16/2278.28	c INPROCESSING
2272.16/2278.28	c GARBAGE COLLECT
2272.16/2278.28	c #Conflicts:     181000 | #Constraints:      15623
2272.16/2278.28	c #Conflicts:     182000 | #Constraints:      16623
2272.16/2278.28	c #Conflicts:     183000 | #Constraints:      17623
2272.16/2278.28	c #Conflicts:     184000 | #Constraints:      18624
2272.16/2278.28	c #Conflicts:     185000 | #Constraints:      19625
2272.16/2278.28	c #Conflicts:     186000 | #Constraints:      20625
2272.16/2278.28	c #Conflicts:     187000 | #Constraints:      21625
2272.16/2278.28	c #Conflicts:     188000 | #Constraints:      22628
2272.16/2278.28	c #Conflicts:     189000 | #Constraints:      23629
2272.16/2278.28	c INPROCESSING
2272.16/2278.28	c GARBAGE COLLECT
2272.16/2278.28	c #Conflicts:     190000 | #Constraints:      16030
2272.16/2278.28	c #Conflicts:     191000 | #Constraints:      17030
2272.16/2278.28	c #Conflicts:     192000 | #Constraints:      18030
2272.16/2278.28	c #Conflicts:     193000 | #Constraints:      19030
2272.16/2278.28	c #Conflicts:     194000 | #Constraints:      20031
2272.16/2278.28	c #Conflicts:     195000 | #Constraints:      21031
2272.16/2278.28	c #Conflicts:     196000 | #Constraints:      22031
2272.16/2278.28	c #Conflicts:     197000 | #Constraints:      23031
2272.16/2278.28	c #Conflicts:     198000 | #Constraints:      24031
2272.16/2278.28	c INPROCESSING
2272.16/2278.28	c GARBAGE COLLECT
2272.16/2278.28	c #Conflicts:     199000 | #Constraints:      16224
2272.16/2278.28	c #Conflicts:     200000 | #Constraints:      17224
2272.16/2278.28	c #Conflicts:     201000 | #Constraints:      18224
2272.16/2278.28	c #Conflicts:     202000 | #Constraints:      19224
2272.16/2278.28	c #Conflicts:     203000 | #Constraints:      20224
2272.16/2278.28	c #Conflicts:     204000 | #Constraints:      21224
2272.16/2278.28	c #Conflicts:     205000 | #Constraints:      22224
2272.16/2278.28	c #Conflicts:     206000 | #Constraints:      23224
2272.16/2278.28	c #Conflicts:     207000 | #Constraints:      24225
2272.16/2278.28	c INPROCESSING
2272.16/2278.28	c GARBAGE COLLECT
2272.16/2278.28	c #Conflicts:     208000 | #Constraints:      16223
2272.16/2278.28	c #Conflicts:     209000 | #Constraints:      17223
2272.16/2278.28	c #Conflicts:     210000 | #Constraints:      18223
2272.16/2278.28	c #Conflicts:     211000 | #Constraints:      19223
2272.16/2278.28	c #Conflicts:     212000 | #Constraints:      20224
2272.16/2278.28	c #Conflicts:     213000 | #Constraints:      21224
2272.16/2278.28	c #Conflicts:     214000 | #Constraints:      22225
2272.16/2278.28	c #Conflicts:     215000 | #Constraints:      23225
2272.16/2278.28	c #Conflicts:     216000 | #Constraints:      24225
2272.16/2278.28	c INPROCESSING
2272.16/2278.28	c GARBAGE COLLECT
2272.16/2278.28	c #Conflicts:     217000 | #Constraints:      16026
2272.16/2278.28	c #Conflicts:     218000 | #Constraints:      17026
2272.16/2278.28	c #Conflicts:     219000 | #Constraints:      18027
2272.16/2278.28	c #Conflicts:     220000 | #Constraints:      19027
2272.16/2278.28	c #Conflicts:     221000 | #Constraints:      20027
2272.16/2278.28	c #Conflicts:     222000 | #Constraints:      21027
2272.16/2278.28	c #Conflicts:     223000 | #Constraints:      22027
2272.16/2278.28	c #Conflicts:     224000 | #Constraints:      23027
2272.16/2278.28	c #Conflicts:     225000 | #Constraints:      24028
2272.16/2278.28	c #Conflicts:     226000 | #Constraints:      25028
2272.16/2278.28	c INPROCESSING
2272.16/2278.28	c GARBAGE COLLECT
2272.16/2278.28	c #Conflicts:     227000 | #Constraints:      16627
2272.16/2278.28	c #Conflicts:     228000 | #Constraints:      17627
2272.16/2278.28	c #Conflicts:     229000 | #Constraints:      18627
3136.58/3144.92	c #Conflicts:     230000 | #Constraints:      19627
3136.58/3144.92	c #Conflicts:     231000 | #Constraints:      20627
3136.58/3144.92	c #Conflicts:     232000 | #Constraints:      21627
3136.58/3144.92	c #Conflicts:     233000 | #Constraints:      22627
3136.58/3144.92	c #Conflicts:     234000 | #Constraints:      23628
3136.58/3144.92	c #Conflicts:     235000 | #Constraints:      24628
3136.58/3144.92	c #Conflicts:     236000 | #Constraints:      25628
3136.58/3144.92	c INPROCESSING
3136.58/3144.92	c GARBAGE COLLECT
3136.58/3144.92	c #Conflicts:     237000 | #Constraints:      17023
3136.58/3144.92	c #Conflicts:     238000 | #Constraints:      18023
3136.58/3144.92	c #Conflicts:     239000 | #Constraints:      19023
3136.58/3144.92	c #Conflicts:     240000 | #Constraints:      20024
3136.58/3144.92	c #Conflicts:     241000 | #Constraints:      21024
3136.58/3144.92	c #Conflicts:     242000 | #Constraints:      22024
3136.58/3144.92	c #Conflicts:     243000 | #Constraints:      23024
3136.58/3144.92	c #Conflicts:     244000 | #Constraints:      24024
3136.58/3144.92	c #Conflicts:     245000 | #Constraints:      25024
3136.58/3144.92	c #Conflicts:     246000 | #Constraints:      26024
3136.58/3144.92	c INPROCESSING
3136.58/3144.92	c GARBAGE COLLECT
3136.58/3144.92	c #Conflicts:     247000 | #Constraints:      17232
3136.58/3144.92	c #Conflicts:     248000 | #Constraints:      18232
3136.58/3144.92	c #Conflicts:     249000 | #Constraints:      19232
3136.58/3144.92	c #Conflicts:     250000 | #Constraints:      20232
3136.58/3144.92	c #Conflicts:     251000 | #Constraints:      21232
3136.58/3144.92	c #Conflicts:     252000 | #Constraints:      22233
3136.58/3144.92	c #Conflicts:     253000 | #Constraints:      23233
3136.58/3144.92	c #Conflicts:     254000 | #Constraints:      24233
3136.58/3144.92	c #Conflicts:     255000 | #Constraints:      25233
3136.58/3144.92	c #Conflicts:     256000 | #Constraints:      26234
3136.58/3144.92	c INPROCESSING
3136.58/3144.92	c GARBAGE COLLECT
3136.58/3144.92	c #Conflicts:     257000 | #Constraints:      17224
3136.58/3144.92	c #Conflicts:     258000 | #Constraints:      18224
3136.58/3144.92	c #Conflicts:     259000 | #Constraints:      19225
3136.58/3144.92	c #Conflicts:     260000 | #Constraints:      20225
3136.58/3144.92	c #Conflicts:     261000 | #Constraints:      21226
3136.58/3144.92	c #Conflicts:     262000 | #Constraints:      22226
3136.58/3144.92	c #Conflicts:     263000 | #Constraints:      23226
3136.58/3144.92	c #Conflicts:     264000 | #Constraints:      24226
3136.58/3144.92	c #Conflicts:     265000 | #Constraints:      25226
3136.58/3144.92	c #Conflicts:     266000 | #Constraints:      26226
3136.58/3144.92	c INPROCESSING
3136.58/3144.92	c GARBAGE COLLECT
3136.58/3144.92	c #Conflicts:     267000 | #Constraints:      17028
3136.58/3144.92	c #Conflicts:     268000 | #Constraints:      18028
3136.58/3144.92	c #Conflicts:     269000 | #Constraints:      19029
3136.58/3144.92	c #Conflicts:     270000 | #Constraints:      20029
3136.58/3144.92	c #Conflicts:     271000 | #Constraints:      21030
3136.58/3144.92	c #Conflicts:     272000 | #Constraints:      22030
3136.58/3144.92	c #Conflicts:     273000 | #Constraints:      23031
3136.58/3144.92	c #Conflicts:     274000 | #Constraints:      24032
3136.58/3144.92	c #Conflicts:     275000 | #Constraints:      25032
3136.58/3144.92	c #Conflicts:     276000 | #Constraints:      26033
3136.58/3144.92	c #Conflicts:     277000 | #Constraints:      27033
3136.58/3144.92	c INPROCESSING
3136.58/3144.92	c GARBAGE COLLECT
3136.58/3144.92	c #Conflicts:     278000 | #Constraints:      17632
3136.58/3144.92	c #Conflicts:     279000 | #Constraints:      18632
3136.58/3144.92	c #Conflicts:     280000 | #Constraints:      19632
3136.58/3144.92	c #Conflicts:     281000 | #Constraints:      20632
3136.58/3144.92	c #Conflicts:     282000 | #Constraints:      21632
3136.58/3144.92	c #Conflicts:     283000 | #Constraints:      22632
3136.58/3144.92	c #Conflicts:     284000 | #Constraints:      23632
3136.58/3144.92	c #Conflicts:     285000 | #Constraints:      24632
3136.58/3144.92	c #Conflicts:     286000 | #Constraints:      25632
3136.58/3144.92	c #Conflicts:     287000 | #Constraints:      26632
3136.58/3144.92	c #Conflicts:     288000 | #Constraints:      27632
3136.58/3144.92	c INPROCESSING
3136.58/3144.92	c GARBAGE COLLECT
3136.58/3144.92	c #Conflicts:     289000 | #Constraints:      18035
3136.58/3144.92	c #Conflicts:     290000 | #Constraints:      19035
3136.58/3144.92	c #Conflicts:     291000 | #Constraints:      20035
3136.58/3144.92	c #Conflicts:     292000 | #Constraints:      21035
3136.58/3144.92	c #Conflicts:     293000 | #Constraints:      22035
3136.58/3144.92	c #Conflicts:     294000 | #Constraints:      23035
3136.58/3144.92	c #Conflicts:     295000 | #Constraints:      24036
3136.58/3144.92	c #Conflicts:     296000 | #Constraints:      25036
3136.58/3144.92	c #Conflicts:     297000 | #Constraints:      26036
3136.58/3144.92	c #Conflicts:     298000 | #Constraints:      27037
3136.58/3144.92	c #Conflicts:     299000 | #Constraints:      28037
3136.58/3144.92	c INPROCESSING
3136.58/3144.92	c GARBAGE COLLECT
3136.58/3144.92	c rational objective 18.6998
3600.00/3609.40	c #Conflicts:     300000 | #Constraints:      18236
3600.00/3609.40	c #Conflicts:     301000 | #Constraints:      19236
3600.00/3609.40	c #Conflicts:     302000 | #Constraints:      20236
3600.00/3609.40	c #Conflicts:     303000 | #Constraints:      21236
3600.00/3609.40	c #Conflicts:     304000 | #Constraints:      22236
3600.00/3609.40	c #Conflicts:     305000 | #Constraints:      23236
3600.00/3609.40	c #Conflicts:     306000 | #Constraints:      24236
3600.00/3609.40	c #Conflicts:     307000 | #Constraints:      25236
3600.00/3609.40	c #Conflicts:     308000 | #Constraints:      26236
3600.00/3609.40	c #Conflicts:     309000 | #Constraints:      27236
3600.00/3609.40	c #Conflicts:     310000 | #Constraints:      28236
3600.00/3609.40	c INPROCESSING
3600.00/3609.40	c GARBAGE COLLECT
3600.00/3609.40	c #Conflicts:     311000 | #Constraints:      18233
3600.00/3609.40	c #Conflicts:     312000 | #Constraints:      19233
3600.00/3609.40	c #Conflicts:     313000 | #Constraints:      20233
3600.00/3609.40	c #Conflicts:     314000 | #Constraints:      21233
3600.00/3609.40	c #Conflicts:     315000 | #Constraints:      22233
3600.00/3609.40	c #Conflicts:     316000 | #Constraints:      23233
3600.00/3609.40	c #Conflicts:     317000 | #Constraints:      24233
3600.00/3609.40	c #Conflicts:     318000 | #Constraints:      25233
3600.00/3609.40	c #Conflicts:     319000 | #Constraints:      26233
3600.00/3609.40	c #Conflicts:     320000 | #Constraints:      27233
3600.00/3609.40	c #Conflicts:     321000 | #Constraints:      28233
3600.00/3609.40	c INPROCESSING
3600.00/3609.40	c GARBAGE COLLECT
3600.00/3609.40	c #Conflicts:     322000 | #Constraints:      18030
3600.00/3609.40	c #Conflicts:     323000 | #Constraints:      19030
3600.00/3609.40	c #Conflicts:     324000 | #Constraints:      20030
3600.00/3609.40	c #Conflicts:     325000 | #Constraints:      21030
3600.00/3609.40	c #Conflicts:     326000 | #Constraints:      22030
3600.00/3609.40	c #Conflicts:     327000 | #Constraints:      23030
3600.00/3609.40	c #Conflicts:     328000 | #Constraints:      24030
3600.00/3609.40	c #Conflicts:     329000 | #Constraints:      25030
3600.00/3609.40	c #Conflicts:     330000 | #Constraints:      26030
3600.00/3609.40	c #Conflicts:     331000 | #Constraints:      27030
3600.00/3609.40	c #Conflicts:     332000 | #Constraints:      28030
3600.00/3609.40	c #Conflicts:     333000 | #Constraints:      29030
3600.00/3609.40	c INPROCESSING
3600.00/3609.40	c GARBAGE COLLECT
3600.00/3609.40	c #Conflicts:     334000 | #Constraints:      18639
3600.00/3609.40	c #Conflicts:     335000 | #Constraints:      19639
3600.00/3609.40	c #Conflicts:     336000 | #Constraints:      20639
3600.00/3609.40	c cpu time 3581.03 s
3600.00/3609.40	c deterministic time 428514587032 4.29e+11
3600.00/3609.40	c optimization time 32.4334 s
3600.00/3609.40	c total solve time 3548.56 s
3600.00/3609.40	c core-guided solve time 0 s
3600.00/3609.40	c propagation time 1961.54 s
3600.00/3609.40	c conflict analysis time 1030.81 s
3600.00/3609.40	c propagations 170907673
3600.00/3609.40	c resolve steps 6969711
3600.00/3609.40	c decisions 2638483
3600.00/3609.40	c conflicts 336009
3600.00/3609.40	c restarts 780
3600.00/3609.40	c inprocessing phases 49
3600.00/3609.40	c garbage collections 49 ,( 100.00 )
3600.00/3609.40	c input clauses 6255 ,( 98.09 )
3600.00/3609.40	c input cardinalities 121 ,( 1.90 )
3600.00/3609.40	c input general constraints 1 ,( 0.02 )
3600.00/3609.40	c input average constraint length 7.56
3600.00/3609.40	c input average constraint degree 313.88
3600.00/3609.40	c learned clauses 58850 ,( 17.51 )
3600.00/3609.40	c learned cardinalities 3989 ,( 1.19 )
3600.00/3609.40	c learned general constraints 273252 ,( 81.30 )
3600.00/3609.40	c learned average constraint length 2928.17
3600.00/3609.40	c learned average constraint degree 19908458206.62
3600.00/3609.40	c watched  CF 32, 64, 128, Arb: 133536 , 0 , 0 , 0
3600.00/3609.40	c counting CF 32, 64, 128, Arb: 139717 , 0 , 0 , 0
3600.00/3609.40	c watched   constraints 133536 ,( 48.87 ) 
3600.00/3609.40	c counting  constraints 139717 ,( 51.13 ) 
3600.00/3609.40	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 60893684 , 5039070 , 3391469788 ,( 870351738 , 2521118050 )
3600.00/3609.40	c gcd simplifications 23143
3600.00/3609.40	c detected cardinalities 2
3600.00/3609.40	c weakened non-implied lits 332085404
3600.00/3609.40	c weakened non-implying lits 2820922
3600.00/3609.40	c original variables 6689
3600.00/3609.40	c clausal propagations 45262020
3600.00/3609.40	c cardinality propagations 40460551
3600.00/3609.40	c watched propagations 3065800
3600.00/3609.40	c counting propagations 77697564
3600.00/3609.40	c watch lookups 154788598973
3600.00/3609.40	c watch backjump lookups 0
3600.00/3609.40	c watch checks 169592890324
3600.00/3609.40	c propagation checks 100138789152
3600.00/3609.40	c constraint additions 3646801587
3600.00/3609.40	c trail pops 173879551
3600.00/3609.40	c formula constraints 6377
3600.00/3609.40	c learned constraints 335950
3600.00/3609.40	c bound constraints 0
3600.00/3609.40	c core-guided constraints 0
3600.00/3609.40	c encountered formula constraints 6381690
3600.00/3609.40	c encountered learned constraints 838620
3600.00/3609.40	c encountered bound constraints 0
3600.00/3609.40	c encountered core-guided constraints 0
3600.00/3609.40	c LP total time 26.5852 s
3600.00/3609.40	c LP solve time 17.98 s
3600.00/3609.40	c LP constraints added 6383
3600.00/3609.40	c LP constraints removed 0
3600.00/3609.40	c LP pivots internal 37393
3600.00/3609.40	c LP pivots root 43895
3600.00/3609.40	c LP calls 84
3600.00/3609.40	c LP optimalities 3
3600.00/3609.40	c LP no pivot count 0
3600.00/3609.40	c LP infeasibilities 76
3600.00/3609.40	c LP valid Farkas constraints 76
3600.00/3609.40	c LP learned Farkas constraints 59
3600.00/3609.40	c LP basis resets 1
3600.00/3609.40	c LP cycling count 1
3600.00/3609.40	c LP singular count 0
3600.00/3609.40	c LP no primal count 0
3600.00/3609.40	c LP no farkas count 0
3600.00/3609.40	c LP other issue count 0
3600.00/3609.40	c LP Gomory cuts 6
3600.00/3609.40	c LP learned cuts 0
3600.00/3609.40	c LP deleted cuts 0
3600.00/3609.40	c LP encountered Gomory constraints 0
3600.00/3609.40	c LP encountered Farkas constraints 85243
3600.00/3609.40	c LP encountered learned Farkas constraints 108
3600.00/3609.40	c CG auxiliary variables introduced 0
3600.00/3609.40	c CG solutions found 0
3600.00/3609.40	c CG cores constructed 0
3600.00/3609.40	c CG core cardinality constraints returned 0
3600.00/3609.40	c CG unit cores 0
3600.00/3609.40	c CG single cores 0
3600.00/3609.40	c CG blocks removed during cardinality reduction 0
3600.00/3609.40	c CG first core best 0
3600.00/3609.40	c CG decision core best 0
3600.00/3609.40	c CG core reduction tie 0
3600.00/3609.40	c CG core degree average 0.00
3600.00/3609.40	c CG core slack average 0.00
3600.00/3609.40	c CG core upper bound improvements 0
3600.00/3609.40	c STR number of successful calls 0
3600.00/3609.40	c STR number of unsuccessful calls 0
3600.00/3609.40	c STR number of inconclusive calls 0
3600.00/3609.40	c STR number of successful attempts 0
3600.00/3609.40	c STR number of unsuccessful attempts 0
3600.00/3609.40	c STR number of inconclusive attempts 0
3600.00/3609.40	c STR average degree increase per successful call inf
3600.00/3609.40	c STR average degree increase per successful attempt inf
3600.00/3609.40	c STR total number of conflicts for successful attempts 0
3600.00/3609.40	c STR total number of conflicts for unsuccessful attempts 0
3600.00/3609.40	c STR total number of conflicts for inconclusive attempts 0
3600.00/3609.40	c STR average number of conflicts per successful attempt inf
3600.00/3609.40	c STR average number of conflicts per unsuccessful attempt inf
3600.00/3609.40	c STR average number of conflicts per inconclusive attempt inf
3600.00/3609.40	c AVG.sumWPerc 41.32 
3600.00/3609.40	c bigint constraints 0 
3600.00/3609.40	s UNKNOWN
3600.00/3609.40	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: 63665 MiB (38614 MiB free)
  memory of node 1: 64507 MiB (62143 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=26525, runsolver pid=26522

[startup+0.100064 s]*
/proc/loadavg: 4.08 4.09 4.09 5/275 26527
/proc/meminfo: memFree=103154580/131249996 swapFree=33010684/33010684
[pid=26525] ppid=26522 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26525/stat : 26525 (run-dec-ls-log.) S 26522 26525 23715 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 36156271 4292608 768 18446744073709551615 94846812577792 94846813472325 140730605817056 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94846813711376 94846813759120 94846815125504 140730605824283 140730605824481 140730605824481 140730605830083 0
/proc/26525/statm: 1048 768 704 219 0 110 0
[pid=26527] ppid=26525 vsize=72460 memory=26184 CPUtime=0.08 cores=1,3
/proc/26527/stat : 26527 (roundingsat) R 26525 26525 23715 0 -1 4194304 5183 0 0 0 7 1 0 0 20 0 1 0 36156271 74199040 6546 18446744073709551615 4227072 8923433 140721658940400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36032512 140721658943824 140721658944040 140721658944040 140721658949610 0
/proc/26527/statm: 18115 6546 2272 1147 0 5542 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 76652 KiB
Current children cumulated memory: 29256 KiB

[startup+0.205721 s]*
/proc/loadavg: 4.08 4.09 4.09 5/275 26527
/proc/meminfo: memFree=103154608/131249996 swapFree=33010684/33010684
[pid=26525] ppid=26522 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26525/stat : 26525 (run-dec-ls-log.) S 26522 26525 23715 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 36156271 4292608 768 18446744073709551615 94846812577792 94846813472325 140730605817056 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94846813711376 94846813759120 94846815125504 140730605824283 140730605824481 140730605824481 140730605830083 0
/proc/26525/statm: 1048 768 704 219 0 110 0
[pid=26527] ppid=26525 vsize=73820 memory=26952 CPUtime=0.18 cores=1,3
/proc/26527/stat : 26527 (roundingsat) R 26525 26525 23715 0 -1 4194304 5364 0 0 0 17 1 0 0 20 0 1 0 36156271 75591680 6738 18446744073709551615 4227072 8923433 140721658940400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36032512 140721658943824 140721658944040 140721658944040 140721658949610 0
/proc/26527/statm: 18455 6738 2272 1147 0 5882 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 78012 KiB
Current children cumulated memory: 30024 KiB

[startup+0.305733 s]*
/proc/loadavg: 4.08 4.09 4.09 5/275 26527
/proc/meminfo: memFree=103154608/131249996 swapFree=33010684/33010684
[pid=26525] ppid=26522 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26525/stat : 26525 (run-dec-ls-log.) S 26522 26525 23715 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 36156271 4292608 768 18446744073709551615 94846812577792 94846813472325 140730605817056 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94846813711376 94846813759120 94846815125504 140730605824283 140730605824481 140730605824481 140730605830083 0
/proc/26525/statm: 1048 768 704 219 0 110 0
[pid=26527] ppid=26525 vsize=73820 memory=27080 CPUtime=0.29 cores=1,3
/proc/26527/stat : 26527 (roundingsat) R 26525 26525 23715 0 -1 4194304 5383 0 0 0 27 2 0 0 20 0 1 0 36156271 75591680 6770 18446744073709551615 4227072 8923433 140721658940400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36032512 140721658943824 140721658944040 140721658944040 140721658949610 0
/proc/26527/statm: 18455 6770 2272 1147 0 5882 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 78012 KiB
Current children cumulated memory: 30152 KiB

[startup+0.7002 s]
/proc/loadavg: 4.08 4.09 4.09 5/275 26527
/proc/meminfo: memFree=103150576/131249996 swapFree=33010684/33010684
[pid=26525] ppid=26522 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26525/stat : 26525 (run-dec-ls-log.) S 26522 26525 23715 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 36156271 4292608 768 18446744073709551615 94846812577792 94846813472325 140730605817056 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94846813711376 94846813759120 94846815125504 140730605824283 140730605824481 140730605824481 140730605830083 0
/proc/26525/statm: 1048 768 704 219 0 110 0
[pid=26527] ppid=26525 vsize=73820 memory=27080 CPUtime=0.68 cores=1,3
/proc/26527/stat : 26527 (roundingsat) R 26525 26525 23715 0 -1 4194304 5385 0 0 0 66 2 0 0 20 0 1 0 36156271 75591680 6770 18446744073709551615 4227072 8923433 140721658940400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36032512 140721658943824 140721658944040 140721658944040 140721658949610 0
/proc/26527/statm: 18455 6770 2272 1147 0 5882 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 78012 KiB
Current children cumulated memory: 30152 KiB

[startup+1.50019 s]
/proc/loadavg: 4.08 4.09 4.09 6/275 26527
/proc/meminfo: memFree=103134448/131249996 swapFree=33010684/33010684
[pid=26525] ppid=26522 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26525/stat : 26525 (run-dec-ls-log.) S 26522 26525 23715 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 36156271 4292608 768 18446744073709551615 94846812577792 94846813472325 140730605817056 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94846813711376 94846813759120 94846815125504 140730605824283 140730605824481 140730605824481 140730605830083 0
/proc/26525/statm: 1048 768 704 219 0 110 0
[pid=26527] ppid=26525 vsize=73820 memory=27080 CPUtime=1.48 cores=1,3
/proc/26527/stat : 26527 (roundingsat) R 26525 26525 23715 0 -1 4194304 5385 0 0 0 146 2 0 0 20 0 1 0 36156271 75591680 6770 18446744073709551615 4227072 8923433 140721658940400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36032512 140721658943824 140721658944040 140721658944040 140721658949610 0
/proc/26527/statm: 18455 6770 2272 1147 0 5882 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 78012 KiB
Current children cumulated memory: 30152 KiB

[startup+3.10577 s]
/proc/loadavg: 4.08 4.09 4.09 6/275 26527
/proc/meminfo: memFree=103073768/131249996 swapFree=33010684/33010684
[pid=26525] ppid=26522 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26525/stat : 26525 (run-dec-ls-log.) S 26522 26525 23715 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 36156271 4292608 768 18446744073709551615 94846812577792 94846813472325 140730605817056 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94846813711376 94846813759120 94846815125504 140730605824283 140730605824481 140730605824481 140730605830083 0
/proc/26525/statm: 1048 768 704 219 0 110 0
[pid=26527] ppid=26525 vsize=73820 memory=27080 CPUtime=3.08 cores=1,3
/proc/26527/stat : 26527 (roundingsat) R 26525 26525 23715 0 -1 4194304 5385 0 0 0 306 2 0 0 20 0 1 0 36156271 75591680 6770 18446744073709551615 4227072 8923433 140721658940400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36032512 140721658943824 140721658944040 140721658944040 140721658949610 0
/proc/26527/statm: 18455 6770 2272 1147 0 5882 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 78012 KiB
Current children cumulated memory: 30152 KiB

[startup+6.3002 s]
/proc/loadavg: 4.15 4.11 4.09 6/274 26527
/proc/meminfo: memFree=103034888/131249996 swapFree=33010684/33010684
[pid=26525] ppid=26522 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26525/stat : 26525 (run-dec-ls-log.) S 26522 26525 23715 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 36156271 4292608 768 18446744073709551615 94846812577792 94846813472325 140730605817056 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94846813711376 94846813759120 94846815125504 140730605824283 140730605824481 140730605824481 140730605830083 0
/proc/26525/statm: 1048 768 704 219 0 110 0
[pid=26527] ppid=26525 vsize=73820 memory=27080 CPUtime=6.27 cores=1,3
/proc/26527/stat : 26527 (roundingsat) R 26525 26525 23715 0 -1 4194304 5385 0 0 0 625 2 0 0 20 0 1 0 36156271 75591680 6770 18446744073709551615 4227072 8923433 140721658940400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36032512 140721658943824 140721658944040 140721658944040 140721658949610 0
/proc/26527/statm: 18455 6770 2272 1147 0 5882 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 78012 KiB
Current children cumulated memory: 30152 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.11 4.09 6/274 26527
/proc/meminfo: memFree=102882408/131249996 swapFree=33010684/33010684
[pid=26525] ppid=26522 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26525/stat : 26525 (run-dec-ls-log.) S 26522 26525 23715 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 36156271 4292608 768 18446744073709551615 94846812577792 94846813472325 140730605817056 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94846813711376 94846813759120 94846815125504 140730605824283 140730605824481 140730605824481 140730605830083 0
/proc/26525/statm: 1048 768 704 219 0 110 0
[pid=26527] ppid=26525 vsize=122376 memory=76020 CPUtime=12.64 cores=1,3
/proc/26527/stat : 26527 (roundingsat) R 26525 26525 23715 0 -1 4194304 8865 0 0 0 1259 5 0 0 20 0 1 0 36156271 125313024 19005 18446744073709551615 4227072 8923433 140721658940400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36032512 140721658943824 140721658944040 140721658944040 140721658949610 0
/proc/26527/statm: 30594 19005 2336 1147 0 18021 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 126568 KiB
Current children cumulated memory: 79092 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.10 4.09 6/274 26527
/proc/meminfo: memFree=102467036/131249996 swapFree=33010684/33010684
[pid=26525] ppid=26522 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26525/stat : 26525 (run-dec-ls-log.) S 26522 26525 23715 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 36156271 4292608 768 18446744073709551615 94846812577792 94846813472325 140730605817056 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94846813711376 94846813759120 94846815125504 140730605824283 140730605824481 140730605824481 140730605830083 0
/proc/26525/statm: 1048 768 704 219 0 110 0
[pid=26527] ppid=26525 vsize=160408 memory=111832 CPUtime=25.42 cores=1,3
/proc/26527/stat : 26527 (roundingsat) R 26525 26525 23715 0 -1 4194304 11189 0 0 0 2531 11 0 0 20 0 1 0 36156271 164257792 27958 18446744073709551615 4227072 8923433 140721658940400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36032512 140721658943824 140721658944040 140721658944040 140721658949610 0
/proc/26527/statm: 40102 27958 2336 1147 0 27529 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 164600 KiB
Current children cumulated memory: 114904 KiB

[startup+51.1057 s]
/proc/loadavg: 4.15 4.11 4.09 6/274 26528
/proc/meminfo: memFree=102040196/131249996 swapFree=33010684/33010684
[pid=26525] ppid=26522 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26525/stat : 26525 (run-dec-ls-log.) S 26522 26525 23715 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 36156271 4292608 768 18446744073709551615 94846812577792 94846813472325 140730605817056 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94846813711376 94846813759120 94846815125504 140730605824283 140730605824481 140730605824481 140730605830083 0
/proc/26525/statm: 1048 768 704 219 0 110 0
[pid=26527] ppid=26525 vsize=225000 memory=171900 CPUtime=50.96 cores=1,3
/proc/26527/stat : 26527 (roundingsat) R 26525 26525 23715 0 -1 4194304 14973 0 0 0 5077 19 0 0 20 0 1 0 36156271 230400000 42975 18446744073709551615 4227072 8923433 140721658940400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36032512 140721658943824 140721658944040 140721658944040 140721658949610 0
/proc/26527/statm: 56250 42975 2336 1147 0 43677 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 229192 KiB
Current children cumulated memory: 174972 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.12 4.10 6/274 26530
/proc/meminfo: memFree=101494040/131249996 swapFree=33010684/33010684
[pid=26525] ppid=26522 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26525/stat : 26525 (run-dec-ls-log.) S 26522 26525 23715 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 36156271 4292608 768 18446744073709551615 94846812577792 94846813472325 140730605817056 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94846813711376 94846813759120 94846815125504 140730605824283 140730605824481 140730605824481 140730605830083 0
/proc/26525/statm: 1048 768 704 219 0 110 0
[pid=26527] ppid=26525 vsize=331548 memory=249096 CPUtime=102.03 cores=1,3
/proc/26527/stat : 26527 (roundingsat) R 26525 26525 23715 0 -1 4194304 21015 0 0 0 10171 32 0 0 20 0 1 0 36156271 339505152 62274 18446744073709551615 4227072 8923433 140721658940400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36032512 140721658943824 140721658944040 140721658944040 140721658949610 0
/proc/26527/statm: 82887 62274 2336 1147 0 70314 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 335740 KiB
Current children cumulated memory: 252168 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/273 26533
/proc/meminfo: memFree=100942136/131249996 swapFree=33010684/33010684
[pid=26525] ppid=26522 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26525/stat : 26525 (run-dec-ls-log.) S 26522 26525 23715 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 36156271 4292608 768 18446744073709551615 94846812577792 94846813472325 140730605817056 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94846813711376 94846813759120 94846815125504 140730605824283 140730605824481 140730605824481 140730605830083 0
/proc/26525/statm: 1048 768 704 219 0 110 0
[pid=26527] ppid=26525 vsize=363872 memory=303580 CPUtime=161.89 cores=1,3
/proc/26527/stat : 26527 (roundingsat) R 26525 26525 23715 0 -1 4194304 28509 0 0 0 16140 49 0 0 20 0 1 0 36156271 372604928 75895 18446744073709551615 4227072 8923433 140721658940400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36032512 140721658943824 140721658944040 140721658944040 140721658949610 0
/proc/26527/statm: 90968 75895 2368 1147 0 78395 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 368064 KiB
Current children cumulated memory: 306652 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.12 4.09 6/275 26543
/proc/meminfo: memFree=100060732/131249996 swapFree=33010684/33010684
[pid=26525] ppid=26522 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26525/stat : 26525 (run-dec-ls-log.) S 26522 26525 23715 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 36156271 4292608 768 18446744073709551615 94846812577792 94846813472325 140730605817056 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94846813711376 94846813759120 94846815125504 140730605824283 140730605824481 140730605824481 140730605830083 0
/proc/26525/statm: 1048 768 704 219 0 110 0
[pid=26527] ppid=26525 vsize=532052 memory=362520 CPUtime=221.74 cores=1,3
/proc/26527/stat : 26527 (roundingsat) R 26525 26525 23715 0 -1 4194304 37123 0 0 0 22108 66 0 0 20 0 1 0 36156271 544821248 90630 18446744073709551615 4227072 8923433 140721658940400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36032512 140721658943824 140721658944040 140721658944040 140721658949610 0
/proc/26527/statm: 133013 90630 2368 1147 0 120440 0

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

/proc/26527/statm: 493344 430420 2368 1147 0 480771 0
Current children cumulated CPU time: 3034.24 s
Current children cumulated vsize: 1977568 KiB
Current children cumulated memory: 1724752 KiB

[startup+3102.3 s]
/proc/loadavg: 1.74 2.02 2.35 2/253 26793
/proc/meminfo: memFree=112195332/131249996 swapFree=33010684/33010684
[pid=26525] ppid=26522 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26525/stat : 26525 (run-dec-ls-log.) S 26522 26525 23715 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 36156271 4292608 768 18446744073709551615 94846812577792 94846813472325 140730605817056 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94846813711376 94846813759120 94846815125504 140730605824283 140730605824481 140730605824481 140730605830083 0
/proc/26525/statm: 1048 768 704 219 0 110 0
[pid=26527] ppid=26525 vsize=1973632 memory=1755344 CPUtime=3094.08 cores=1,3
/proc/26527/stat : 26527 (roundingsat) R 26525 26525 23715 0 -1 4194304 294114 0 0 0 307790 1618 0 0 20 0 1 0 36156271 2020999168 438836 18446744073709551615 4227072 8923433 140721658940400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36032512 140721658943824 140721658944040 140721658944040 140721658949610 0
/proc/26527/statm: 493408 438836 2368 1147 0 480835 0
Current children cumulated CPU time: 3094.08 s
Current children cumulated vsize: 1977824 KiB
Current children cumulated memory: 1758416 KiB

[startup+3162.3 s]
/proc/loadavg: 1.30 1.85 2.27 2/250 26795
/proc/meminfo: memFree=111906820/131249996 swapFree=33010684/33010684
[pid=26525] ppid=26522 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26525/stat : 26525 (run-dec-ls-log.) S 26522 26525 23715 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 36156271 4292608 768 18446744073709551615 94846812577792 94846813472325 140730605817056 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94846813711376 94846813759120 94846815125504 140730605824283 140730605824481 140730605824481 140730605830083 0
/proc/26525/statm: 1048 768 704 219 0 110 0
[pid=26527] ppid=26525 vsize=1975672 memory=1780688 CPUtime=3153.95 cores=1,3
/proc/26527/stat : 26527 (roundingsat) R 26525 26525 23715 0 -1 4194304 294437 0 0 0 313747 1648 0 0 20 0 1 0 36156271 2023088128 445172 18446744073709551615 4227072 8923433 140721658940400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36032512 140721658943824 140721658944040 140721658944040 140721658949610 0
/proc/26527/statm: 493918 445172 2368 1147 0 481345 0
Current children cumulated CPU time: 3153.95 s
Current children cumulated vsize: 1979864 KiB
Current children cumulated memory: 1783760 KiB

[startup+3222.3 s]
/proc/loadavg: 1.20 1.72 2.20 2/252 26805
/proc/meminfo: memFree=111409984/131249996 swapFree=33010684/33010684
[pid=26525] ppid=26522 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26525/stat : 26525 (run-dec-ls-log.) S 26522 26525 23715 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 36156271 4292608 768 18446744073709551615 94846812577792 94846813472325 140730605817056 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94846813711376 94846813759120 94846815125504 140730605824283 140730605824481 140730605824481 140730605830083 0
/proc/26525/statm: 1048 768 704 219 0 110 0
[pid=26527] ppid=26525 vsize=1977104 memory=1782096 CPUtime=3213.8 cores=1,3
/proc/26527/stat : 26527 (roundingsat) R 26525 26525 23715 0 -1 4194304 294793 0 0 0 319691 1689 0 0 20 0 1 0 36156271 2024554496 445524 18446744073709551615 4227072 8923433 140721658940400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36032512 140721658943824 140721658944040 140721658944040 140721658949610 0
/proc/26527/statm: 494276 445524 2368 1147 0 481703 0
Current children cumulated CPU time: 3213.8 s
Current children cumulated vsize: 1981296 KiB
Current children cumulated memory: 1785168 KiB

[startup+3282.3 s]
/proc/loadavg: 1.18 1.62 2.13 2/252 26807
/proc/meminfo: memFree=111191628/131249996 swapFree=33010684/33010684
[pid=26525] ppid=26522 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26525/stat : 26525 (run-dec-ls-log.) S 26522 26525 23715 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 36156271 4292608 768 18446744073709551615 94846812577792 94846813472325 140730605817056 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94846813711376 94846813759120 94846815125504 140730605824283 140730605824481 140730605824481 140730605830083 0
/proc/26525/statm: 1048 768 704 219 0 110 0
[pid=26527] ppid=26525 vsize=1977104 memory=1782096 CPUtime=3273.66 cores=1,3
/proc/26527/stat : 26527 (roundingsat) R 26525 26525 23715 0 -1 4194304 294885 0 0 0 325652 1714 0 0 20 0 1 0 36156271 2024554496 445524 18446744073709551615 4227072 8923433 140721658940400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36032512 140721658943824 140721658944040 140721658944040 140721658949610 0
/proc/26527/statm: 494276 445524 2368 1147 0 481703 0
Current children cumulated CPU time: 3273.66 s
Current children cumulated vsize: 1981296 KiB
Current children cumulated memory: 1785168 KiB

[startup+3342.3 s]
/proc/loadavg: 1.12 1.52 2.06 2/253 26811
/proc/meminfo: memFree=110708180/131249996 swapFree=33010684/33010684
[pid=26525] ppid=26522 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26525/stat : 26525 (run-dec-ls-log.) S 26522 26525 23715 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 36156271 4292608 768 18446744073709551615 94846812577792 94846813472325 140730605817056 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94846813711376 94846813759120 94846815125504 140730605824283 140730605824481 140730605824481 140730605830083 0
/proc/26525/statm: 1048 768 704 219 0 110 0
[pid=26527] ppid=26525 vsize=1994768 memory=1791568 CPUtime=3333.53 cores=1,3
/proc/26527/stat : 26527 (roundingsat) R 26525 26525 23715 0 -1 4194304 297321 0 0 0 331601 1752 0 0 20 0 1 0 36156271 2042642432 447892 18446744073709551615 4227072 8923433 140721658940400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36032512 140721658943824 140721658944040 140721658944040 140721658949610 0
/proc/26527/statm: 498692 447892 2368 1147 0 486119 0
Current children cumulated CPU time: 3333.53 s
Current children cumulated vsize: 1998960 KiB
Current children cumulated memory: 1794640 KiB

[startup+3402.3 s]
/proc/loadavg: 1.17 1.46 2.00 2/255 26815
/proc/meminfo: memFree=110538468/131249996 swapFree=33010684/33010684
[pid=26525] ppid=26522 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26525/stat : 26525 (run-dec-ls-log.) S 26522 26525 23715 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 36156271 4292608 768 18446744073709551615 94846812577792 94846813472325 140730605817056 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94846813711376 94846813759120 94846815125504 140730605824283 140730605824481 140730605824481 140730605830083 0
/proc/26525/statm: 1048 768 704 219 0 110 0
[pid=26527] ppid=26525 vsize=1994768 memory=1791568 CPUtime=3393.38 cores=1,3
/proc/26527/stat : 26527 (roundingsat) R 26525 26525 23715 0 -1 4194304 297321 0 0 0 337563 1775 0 0 20 0 1 0 36156271 2042642432 447892 18446744073709551615 4227072 8923433 140721658940400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36032512 140721658943824 140721658944040 140721658944040 140721658949610 0
/proc/26527/statm: 498692 447892 2368 1147 0 486119 0
Current children cumulated CPU time: 3393.38 s
Current children cumulated vsize: 1998960 KiB
Current children cumulated memory: 1794640 KiB

[startup+3462.3 s]
/proc/loadavg: 1.12 1.39 1.94 2/255 26817
/proc/meminfo: memFree=110327436/131249996 swapFree=33010684/33010684
[pid=26525] ppid=26522 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26525/stat : 26525 (run-dec-ls-log.) S 26522 26525 23715 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 36156271 4292608 768 18446744073709551615 94846812577792 94846813472325 140730605817056 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94846813711376 94846813759120 94846815125504 140730605824283 140730605824481 140730605824481 140730605830083 0
/proc/26525/statm: 1048 768 704 219 0 110 0
[pid=26527] ppid=26525 vsize=1994768 memory=1791568 CPUtime=3453.24 cores=1,3
/proc/26527/stat : 26527 (roundingsat) R 26525 26525 23715 0 -1 4194304 297327 0 0 0 343527 1797 0 0 20 0 1 0 36156271 2042642432 447892 18446744073709551615 4227072 8923433 140721658940400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36032512 140721658943824 140721658944040 140721658944040 140721658949610 0
/proc/26527/statm: 498692 447892 2368 1147 0 486119 0
Current children cumulated CPU time: 3453.24 s
Current children cumulated vsize: 1998960 KiB
Current children cumulated memory: 1794640 KiB

[startup+3522.3 s]
/proc/loadavg: 1.09 1.33 1.89 2/252 26819
/proc/meminfo: memFree=109769088/131249996 swapFree=33010684/33010684
[pid=26525] ppid=26522 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26525/stat : 26525 (run-dec-ls-log.) S 26522 26525 23715 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 36156271 4292608 768 18446744073709551615 94846812577792 94846813472325 140730605817056 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94846813711376 94846813759120 94846815125504 140730605824283 140730605824481 140730605824481 140730605830083 0
/proc/26525/statm: 1048 768 704 219 0 110 0
[pid=26527] ppid=26525 vsize=2040084 memory=1816656 CPUtime=3513.1 cores=1,3
/proc/26527/stat : 26527 (roundingsat) R 26525 26525 23715 0 -1 4194304 303752 0 0 0 349470 1840 0 0 20 0 1 0 36156271 2089046016 454164 18446744073709551615 4227072 8923433 140721658940400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36032512 140721658943824 140721658944040 140721658944040 140721658949610 0
/proc/26527/statm: 510021 454164 2368 1147 0 497448 0
Current children cumulated CPU time: 3513.1 s
Current children cumulated vsize: 2044276 KiB
Current children cumulated memory: 1819728 KiB

[startup+3582.3 s]
/proc/loadavg: 1.43 1.41 1.88 2/254 26823
/proc/meminfo: memFree=109239104/131249996 swapFree=33010684/33010684
[pid=26525] ppid=26522 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26525/stat : 26525 (run-dec-ls-log.) S 26522 26525 23715 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 36156271 4292608 768 18446744073709551615 94846812577792 94846813472325 140730605817056 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94846813711376 94846813759120 94846815125504 140730605824283 140730605824481 140730605824481 140730605830083 0
/proc/26525/statm: 1048 768 704 219 0 110 0
[pid=26527] ppid=26525 vsize=2211868 memory=1988860 CPUtime=3572.96 cores=1,3
/proc/26527/stat : 26527 (roundingsat) R 26525 26525 23715 0 -1 4194304 331007 0 0 0 355418 1878 0 0 20 0 1 0 36156271 2264952832 497215 18446744073709551615 4227072 8923433 140721658940400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36032512 140721658943824 140721658944040 140721658944040 140721658949610 0
/proc/26527/statm: 552967 497215 2368 1147 0 540394 0
Current children cumulated CPU time: 3572.96 s
Current children cumulated vsize: 2216060 KiB
Current children cumulated memory: 1991932 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 1.29 1.38 1.86 2/254 26824
/proc/meminfo: memFree=108996260/131249996 swapFree=33010684/33010684
[pid=26525] ppid=26522 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26525/stat : 26525 (run-dec-ls-log.) S 26522 26525 23715 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 36156271 4292608 768 18446744073709551615 94846812577792 94846813472325 140730605817056 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94846813711376 94846813759120 94846815125504 140730605824283 140730605824481 140730605824481 140730605830083 0
/proc/26525/statm: 1048 768 704 219 0 110 0
[pid=26527] ppid=26525 vsize=2211868 memory=1988860 CPUtime=3600 cores=1,3
/proc/26527/stat : 26527 (roundingsat) R 26525 26525 23715 0 -1 4194304 331007 0 0 0 358102 1898 0 0 20 0 1 0 36156271 2264952832 497215 18446744073709551615 4227072 8923433 140721658940400 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36032512 140721658943824 140721658944040 140721658944040 140721658949610 0
/proc/26527/statm: 552967 497215 2368 1147 0 540394 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2216060 KiB
Current children cumulated memory: 1991932 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3609.4 s]
# the end of solver process 26525 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.002436 s
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3581.04 s, system=19.0001 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

Child status: 2

Real time (s): 3609.45
CPU time (s): 3600.04
CPU user time (s): 3581.04
CPU system time (s): 19.0001
CPU usage (%): 99.7393
Max. virtual memory (cumulated for all children) (KiB): 2216060
Max. memory (cumulated for all children) (KiB): 1991932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.04
system time used= 19.0001
maximum resident set size= 1989244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 331237
page faults= 0
swaps= 0
block input operations= 0
block output operations= 36318176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 599
involuntary context switches= 4612


# summary of solver processes directly reported to runsolver:
#   pid: 26525,26527
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3581.04
#   total CPU system time (s): 19.0001

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.94255 second user time and 16.0405 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-06-29 15:46:25
IDJOB=4515241
IDBENCH=164254
IDSOLVER=3354
FILE ID=nodeC022/4515241-1751204785
RUNJOBID= nodeC022-1751195206-23727
SLURM_JOB_ID= 9587602
Free space on /tmp= 433040 MiB

SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-ab71-20-100.0.u.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515241-1751204785/watcher-4515241-1751204785 -o /tmp/evaluation-result-4515241-1751204785/solver-4515241-1751204785 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751195206-23727 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4515241-1751204785.opb PROOFDIR/proof-4515241-1751204785

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

MD5SUM BENCH= 5a0bcd4a9e5bc1c51804f47b1691eae0
RANDOM SEED=1073353056

nodeC022 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        103176552 kB
MemAvailable:   127964796 kB
Buffers:            3280 kB
Cached:         25569560 kB
SwapCached:            0 kB
Active:          2144368 kB
Inactive:       25321156 kB
Active(anon):    1910788 kB
Inactive(anon):        0 kB
Active(file):     233580 kB
Inactive(file): 25321156 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            127528 kB
Writeback:           136 kB
AnonPages:       1892480 kB
Mapped:           116432 kB
Shmem:             18060 kB
KReclaimable:     145096 kB
Slab:             236032 kB
SReclaimable:     145096 kB
SUnreclaim:        90936 kB
KernelStack:        4464 kB
PageTables:         7012 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    2487980 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150696 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1204224 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC022 at 2025-06-29 16:46:35