Trace number 4484723

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ihs-log 63f22ad? (TO) 3600.14 3610.94

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb
MD5SUM71e47456366b2ddac308424c74922847
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-56
Best CPU time to get the best result obtained on this benchmark3587
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1400
Total number of constraints110038
Number of constraints which are clauses110038
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1400
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 1400
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1400
Number of bits of the biggest sum of numbers11
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.59/0.69	c #variables 1400 #constraints 110038
0.59/0.69	c objective is ce32 
0.99/1.05	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.99/1.05	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.99/1.05	c GLOBAL bounds - >= -1400 @ 0.791751
0.99/1.05	c GLOBAL bounds - >= -1400 @ 0.792562
0.99/1.05	c GLOBAL bounds - >= -1400 @ 0.793093
0.99/1.06	c GLOBAL bounds - >= -1400 @ 0.794063
0.99/1.08	c GLOBAL bounds - >= -1400 @ 0.815315
0.99/1.09	c GLOBAL bounds - >= -1400 @ 0.828376
0.99/1.09	c GLOBAL bounds - >= -1400 @ 0.829158
0.99/1.09	c GLOBAL bounds - >= -1400 @ 0.830831
0.99/1.10	c GLOBAL bounds - >= -1400 @ 0.831482
0.99/1.10	c GLOBAL bounds - >= -1400 @ 0.832736
0.99/1.10	c GLOBAL bounds - >= -1400 @ 0.834
0.99/1.10	c GLOBAL bounds - >= -1400 @ 0.834486
0.99/1.10	c GLOBAL bounds - >= -1400 @ 0.835933
0.99/1.10	c GLOBAL bounds - >= -1400 @ 0.837355
0.99/1.11	c GLOBAL bounds - >= -1400 @ 0.838261
1.09/1.14	c GLOBAL bounds - >= -1400 @ 0.873866
1.09/1.15	c GLOBAL bounds - >= -1400 @ 0.875206
1.09/1.15	c GLOBAL bounds - >= -1400 @ 0.879953
1.09/1.16	c GLOBAL bounds - >= -1400 @ 0.886421
1.09/1.16	c GLOBAL bounds - >= -1400 @ 0.887798
1.09/1.18	c GLOBAL bounds - >= -1400 @ 0.903743
1.09/1.18	c GLOBAL bounds - >= -1400 @ 0.907939
1.09/1.18	c GLOBAL bounds - >= -1400 @ 0.91295
1.17/1.20	c GLOBAL bounds - >= -1400 @ 0.929283
1.17/1.20	c GLOBAL bounds - >= -1400 @ 0.931251
1.17/1.21	c GLOBAL bounds - >= -1400 @ 0.932543
1.17/1.21	c GLOBAL bounds - >= -1400 @ 0.935301
1.17/1.21	c GLOBAL bounds - >= -1400 @ 0.937435
1.17/1.21	c GLOBAL bounds - >= -1400 @ 0.939063
1.17/1.21	c GLOBAL bounds - >= -1400 @ 0.940293
1.17/1.22	c GLOBAL bounds - >= -1400 @ 0.945487
1.17/1.22	c GLOBAL bounds - >= -1400 @ 0.94689
1.17/1.22	c GLOBAL bounds - >= -1400 @ 0.949055
1.17/1.23	c GLOBAL bounds - >= -1400 @ 0.952209
1.17/1.23	c GLOBAL bounds - >= -1400 @ 0.959326
1.17/1.23	c GLOBAL bounds - >= -1400 @ 0.960461
1.17/1.23	c GLOBAL bounds - >= -1400 @ 0.961365
1.17/1.24	c GLOBAL bounds - >= -1400 @ 0.96266
1.17/1.24	c GLOBAL bounds - >= -1400 @ 0.963692
1.17/1.24	c GLOBAL bounds - >= -1400 @ 0.965014
1.17/1.24	c GLOBAL bounds - >= -1400 @ 0.966101
1.17/1.24	c GLOBAL bounds - >= -1400 @ 0.968852
1.17/1.24	c GLOBAL bounds - >= -1400 @ 0.97035
1.17/1.28	c GLOBAL bounds - >= -1400 @ 1.00355
1.17/1.28	c GLOBAL bounds - >= -1400 @ 1.00718
1.87/1.96	c #Conflicts:       1000 | #Constraints:     111124
1.87/1.96	c GLOBAL bounds - >= -1400 @ 1.67496
228.63/229.30	c #Conflicts:       2000 | #Constraints:     112126
228.63/229.30	c INPROCESSING
228.63/229.30	c GARBAGE COLLECT
228.63/229.30	c #Conflicts:       3000 | #Constraints:     112132
228.63/229.30	c #Conflicts:       4000 | #Constraints:     113132
228.63/229.30	c INPROCESSING
228.63/229.30	c GARBAGE COLLECT
228.63/229.30	c #Conflicts:       5000 | #Constraints:     112538
228.63/229.30	c #Conflicts:       6000 | #Constraints:     113538
228.63/229.30	c INPROCESSING
228.63/229.30	c GARBAGE COLLECT
228.63/229.30	c #Conflicts:       7000 | #Constraints:     112544
228.63/229.30	c #Conflicts:       8000 | #Constraints:     113544
228.63/229.30	c #Conflicts:       9000 | #Constraints:     114544
228.63/229.30	c INPROCESSING
228.63/229.30	c GARBAGE COLLECT
228.63/229.30	c #Conflicts:      10000 | #Constraints:     113243
228.63/229.30	c #Conflicts:      11000 | #Constraints:     114243
228.63/229.30	c #Conflicts:      12000 | #Constraints:     115243
228.63/229.30	c INPROCESSING
228.63/229.30	c GARBAGE COLLECT
228.63/229.30	c #Conflicts:      13000 | #Constraints:     113691
228.63/229.30	c #Conflicts:      14000 | #Constraints:     114691
228.63/229.30	c #Conflicts:      15000 | #Constraints:     115691
228.63/229.30	c INPROCESSING
228.63/229.30	c GARBAGE COLLECT
228.63/229.30	c #Conflicts:      16000 | #Constraints:     113919
228.63/229.30	c #Conflicts:      17000 | #Constraints:     114919
228.63/229.30	c #Conflicts:      18000 | #Constraints:     115919
228.63/229.30	c INPROCESSING
228.63/229.30	c GARBAGE COLLECT
228.63/229.30	c #Conflicts:      19000 | #Constraints:     113932
228.63/229.30	c #Conflicts:      20000 | #Constraints:     114932
228.63/229.30	c #Conflicts:      21000 | #Constraints:     115932
228.63/229.30	c INPROCESSING
228.63/229.30	c GARBAGE COLLECT
228.63/229.30	c #Conflicts:      22000 | #Constraints:     113738
228.63/229.30	c #Conflicts:      23000 | #Constraints:     114738
228.63/229.30	c #Conflicts:      24000 | #Constraints:     115738
228.63/229.30	c #Conflicts:      25000 | #Constraints:     116738
228.63/229.30	c INPROCESSING
228.63/229.30	c GARBAGE COLLECT
228.63/229.30	c #Conflicts:      26000 | #Constraints:     114343
228.63/229.30	c #Conflicts:      27000 | #Constraints:     115343
228.63/229.30	c #Conflicts:      28000 | #Constraints:     116343
228.63/229.30	c #Conflicts:      29000 | #Constraints:     117343
228.63/229.30	c INPROCESSING
228.63/229.30	c GARBAGE COLLECT
228.63/229.30	c #Conflicts:      30000 | #Constraints:     114746
228.63/229.30	c #Conflicts:      31000 | #Constraints:     115746
228.63/229.30	c #Conflicts:      32000 | #Constraints:     116746
228.63/229.30	c #Conflicts:      33000 | #Constraints:     117746
228.63/229.30	c INPROCESSING
228.63/229.30	c GARBAGE COLLECT
228.63/229.30	c #Conflicts:      34000 | #Constraints:     114944
228.63/229.30	c #Conflicts:      35000 | #Constraints:     115944
228.63/229.30	c #Conflicts:      36000 | #Constraints:     116944
228.63/229.30	c #Conflicts:      37000 | #Constraints:     117944
228.63/229.30	c INPROCESSING
228.63/229.30	c GARBAGE COLLECT
228.63/229.30	c #Conflicts:      38000 | #Constraints:     114942
228.63/229.30	c #Conflicts:      39000 | #Constraints:     115942
228.63/229.30	c #Conflicts:      40000 | #Constraints:     116942
228.63/229.30	c #Conflicts:      41000 | #Constraints:     117942
228.63/229.30	c INPROCESSING
228.63/229.30	c GARBAGE COLLECT
228.63/229.30	c #Conflicts:      42000 | #Constraints:     114743
228.63/229.30	c #Conflicts:      43000 | #Constraints:     115743
228.63/229.30	c #Conflicts:      44000 | #Constraints:     116743
228.63/229.30	c #Conflicts:      45000 | #Constraints:     117743
228.63/229.30	c #Conflicts:      46000 | #Constraints:     118743
228.63/229.30	c INPROCESSING
228.63/229.30	c GARBAGE COLLECT
228.63/229.30	c #Conflicts:      47000 | #Constraints:     115341
228.63/229.30	c #Conflicts:      48000 | #Constraints:     116341
228.63/229.30	c #Conflicts:      49000 | #Constraints:     117341
228.63/229.30	c #Conflicts:      50000 | #Constraints:     118341
228.63/229.30	c #Conflicts:      51000 | #Constraints:     119341
228.63/229.30	c INPROCESSING
228.63/229.30	c GARBAGE COLLECT
228.63/229.30	c #Conflicts:      52000 | #Constraints:     115742
228.63/229.30	c #Conflicts:      53000 | #Constraints:     116742
228.63/229.30	c #Conflicts:      54000 | #Constraints:     117742
228.63/229.30	c #Conflicts:      55000 | #Constraints:     118742
228.63/229.30	c #Conflicts:      56000 | #Constraints:     119742
228.63/229.30	c INPROCESSING
228.63/229.30	c GARBAGE COLLECT
228.63/229.30	c #Conflicts:      57000 | #Constraints:     115942
228.63/229.30	c #Conflicts:      58000 | #Constraints:     116942
228.63/229.30	c #Conflicts:      59000 | #Constraints:     117942
228.63/229.30	c #Conflicts:      60000 | #Constraints:     118942
228.63/229.30	c #Conflicts:      61000 | #Constraints:     119942
228.63/229.30	c INPROCESSING
228.63/229.30	c GARBAGE COLLECT
228.63/229.30	c #Conflicts:      62000 | #Constraints:     115943
228.63/229.30	c #Conflicts:      63000 | #Constraints:     116943
228.63/229.30	c #Conflicts:      64000 | #Constraints:     117943
228.63/229.30	c #Conflicts:      65000 | #Constraints:     118943
228.63/229.30	c #Conflicts:      66000 | #Constraints:     119943
228.63/229.30	c INPROCESSING
228.63/229.30	c GARBAGE COLLECT
228.63/229.30	c #Conflicts:      67000 | #Constraints:     115744
228.63/229.30	c #Conflicts:      68000 | #Constraints:     116744
228.63/229.30	c #Conflicts:      69000 | #Constraints:     117744
661.68/663.73	c #Conflicts:      70000 | #Constraints:     118744
661.68/663.73	c #Conflicts:      71000 | #Constraints:     119744
661.68/663.73	c #Conflicts:      72000 | #Constraints:     120744
661.68/663.73	c INPROCESSING
661.68/663.73	c GARBAGE COLLECT
661.68/663.73	c #Conflicts:      73000 | #Constraints:     116339
661.68/663.73	c #Conflicts:      74000 | #Constraints:     117339
661.68/663.73	c #Conflicts:      75000 | #Constraints:     118339
661.68/663.73	c #Conflicts:      76000 | #Constraints:     119339
661.68/663.73	c #Conflicts:      77000 | #Constraints:     120339
661.68/663.73	c #Conflicts:      78000 | #Constraints:     121339
661.68/663.73	c INPROCESSING
661.68/663.73	c GARBAGE COLLECT
661.68/663.73	c #Conflicts:      79000 | #Constraints:     116744
661.68/663.73	c #Conflicts:      80000 | #Constraints:     117744
661.68/663.73	c #Conflicts:      81000 | #Constraints:     118744
661.68/663.73	c #Conflicts:      82000 | #Constraints:     119744
661.68/663.73	c #Conflicts:      83000 | #Constraints:     120744
661.68/663.73	c #Conflicts:      84000 | #Constraints:     121744
661.68/663.73	c INPROCESSING
661.68/663.73	c GARBAGE COLLECT
661.68/663.73	c #Conflicts:      85000 | #Constraints:     116942
661.68/663.73	c #Conflicts:      86000 | #Constraints:     117942
661.68/663.73	c #Conflicts:      87000 | #Constraints:     118942
661.68/663.73	c #Conflicts:      88000 | #Constraints:     119942
661.68/663.73	c #Conflicts:      89000 | #Constraints:     120942
661.68/663.73	c #Conflicts:      90000 | #Constraints:     121942
661.68/663.73	c INPROCESSING
661.68/663.73	c GARBAGE COLLECT
661.68/663.73	c #Conflicts:      91000 | #Constraints:     116944
661.68/663.73	c #Conflicts:      92000 | #Constraints:     117944
661.68/663.73	c #Conflicts:      93000 | #Constraints:     118944
661.68/663.73	c #Conflicts:      94000 | #Constraints:     119944
661.68/663.73	c #Conflicts:      95000 | #Constraints:     120944
661.68/663.73	c #Conflicts:      96000 | #Constraints:     121944
661.68/663.73	c INPROCESSING
661.68/663.73	c GARBAGE COLLECT
661.68/663.73	c #Conflicts:      97000 | #Constraints:     116742
661.68/663.73	c #Conflicts:      98000 | #Constraints:     117742
661.68/663.73	c #Conflicts:      99000 | #Constraints:     118742
661.68/663.73	c #Conflicts:     100000 | #Constraints:     119742
661.68/663.73	c #Conflicts:     101000 | #Constraints:     120742
661.68/663.73	c #Conflicts:     102000 | #Constraints:     121742
661.68/663.73	c #Conflicts:     103000 | #Constraints:     122742
661.68/663.73	c INPROCESSING
661.68/663.73	c GARBAGE COLLECT
661.68/663.73	c #Conflicts:     104000 | #Constraints:     117344
661.68/663.73	c #Conflicts:     105000 | #Constraints:     118344
661.68/663.73	c #Conflicts:     106000 | #Constraints:     119344
661.68/663.73	c #Conflicts:     107000 | #Constraints:     120344
661.68/663.73	c #Conflicts:     108000 | #Constraints:     121344
661.68/663.73	c #Conflicts:     109000 | #Constraints:     122344
661.68/663.73	c #Conflicts:     110000 | #Constraints:     123344
661.68/663.73	c INPROCESSING
661.68/663.73	c GARBAGE COLLECT
661.68/663.73	c #Conflicts:     111000 | #Constraints:     117744
661.68/663.73	c #Conflicts:     112000 | #Constraints:     118744
661.68/663.73	c #Conflicts:     113000 | #Constraints:     119744
661.68/663.73	c #Conflicts:     114000 | #Constraints:     120744
661.68/663.73	c #Conflicts:     115000 | #Constraints:     121744
661.68/663.73	c #Conflicts:     116000 | #Constraints:     122744
661.68/663.73	c #Conflicts:     117000 | #Constraints:     123744
661.68/663.73	c INPROCESSING
661.68/663.73	c GARBAGE COLLECT
661.68/663.73	c #Conflicts:     118000 | #Constraints:     117945
661.68/663.73	c #Conflicts:     119000 | #Constraints:     118945
661.68/663.73	c #Conflicts:     120000 | #Constraints:     119945
661.68/663.73	c #Conflicts:     121000 | #Constraints:     120945
661.68/663.73	c #Conflicts:     122000 | #Constraints:     121945
661.68/663.73	c #Conflicts:     123000 | #Constraints:     122945
661.68/663.73	c #Conflicts:     124000 | #Constraints:     123945
661.68/663.73	c INPROCESSING
661.68/663.73	c GARBAGE COLLECT
661.68/663.73	c #Conflicts:     125000 | #Constraints:     117943
661.68/663.73	c #Conflicts:     126000 | #Constraints:     118943
661.68/663.73	c #Conflicts:     127000 | #Constraints:     119943
661.68/663.73	c #Conflicts:     128000 | #Constraints:     120943
661.68/663.73	c #Conflicts:     129000 | #Constraints:     121943
661.68/663.73	c #Conflicts:     130000 | #Constraints:     122943
661.68/663.73	c #Conflicts:     131000 | #Constraints:     123943
661.68/663.73	c INPROCESSING
661.68/663.73	c GARBAGE COLLECT
661.68/663.73	c #Conflicts:     132000 | #Constraints:     117742
661.68/663.73	c #Conflicts:     133000 | #Constraints:     118742
661.68/663.73	c #Conflicts:     134000 | #Constraints:     119742
661.68/663.73	c #Conflicts:     135000 | #Constraints:     120742
661.68/663.73	c #Conflicts:     136000 | #Constraints:     121742
661.68/663.73	c #Conflicts:     137000 | #Constraints:     122742
661.68/663.73	c #Conflicts:     138000 | #Constraints:     123742
661.68/663.73	c #Conflicts:     139000 | #Constraints:     124742
661.68/663.73	c INPROCESSING
661.68/663.73	c GARBAGE COLLECT
661.68/663.73	c #Conflicts:     140000 | #Constraints:     118345
661.68/663.73	c #Conflicts:     141000 | #Constraints:     119345
1214.04/1217.78	c #Conflicts:     142000 | #Constraints:     120345
1214.04/1217.78	c #Conflicts:     143000 | #Constraints:     121345
1214.04/1217.78	c #Conflicts:     144000 | #Constraints:     122345
1214.04/1217.78	c #Conflicts:     145000 | #Constraints:     123345
1214.04/1217.78	c #Conflicts:     146000 | #Constraints:     124345
1214.04/1217.78	c #Conflicts:     147000 | #Constraints:     125345
1214.04/1217.78	c INPROCESSING
1214.04/1217.78	c GARBAGE COLLECT
1214.04/1217.78	c #Conflicts:     148000 | #Constraints:     118746
1214.04/1217.78	c #Conflicts:     149000 | #Constraints:     119746
1214.04/1217.78	c #Conflicts:     150000 | #Constraints:     120746
1214.04/1217.78	c #Conflicts:     151000 | #Constraints:     121746
1214.04/1217.78	c #Conflicts:     152000 | #Constraints:     122746
1214.04/1217.78	c #Conflicts:     153000 | #Constraints:     123746
1214.04/1217.78	c #Conflicts:     154000 | #Constraints:     124746
1214.04/1217.78	c #Conflicts:     155000 | #Constraints:     125746
1214.04/1217.78	c INPROCESSING
1214.04/1217.78	c GARBAGE COLLECT
1214.04/1217.78	c #Conflicts:     156000 | #Constraints:     118945
1214.04/1217.78	c #Conflicts:     157000 | #Constraints:     119945
1214.04/1217.78	c #Conflicts:     158000 | #Constraints:     120945
1214.04/1217.78	c #Conflicts:     159000 | #Constraints:     121945
1214.04/1217.78	c #Conflicts:     160000 | #Constraints:     122945
1214.04/1217.78	c #Conflicts:     161000 | #Constraints:     123945
1214.04/1217.78	c #Conflicts:     162000 | #Constraints:     124945
1214.04/1217.78	c #Conflicts:     163000 | #Constraints:     125945
1214.04/1217.78	c INPROCESSING
1214.04/1217.78	c GARBAGE COLLECT
1214.04/1217.78	c #Conflicts:     164000 | #Constraints:     118947
1214.04/1217.78	c #Conflicts:     165000 | #Constraints:     119947
1214.04/1217.78	c #Conflicts:     166000 | #Constraints:     120947
1214.04/1217.78	c #Conflicts:     167000 | #Constraints:     121947
1214.04/1217.78	c #Conflicts:     168000 | #Constraints:     122947
1214.04/1217.78	c #Conflicts:     169000 | #Constraints:     123947
1214.04/1217.78	c #Conflicts:     170000 | #Constraints:     124947
1214.04/1217.78	c #Conflicts:     171000 | #Constraints:     125947
1214.04/1217.78	c INPROCESSING
1214.04/1217.78	c GARBAGE COLLECT
1214.04/1217.78	c #Conflicts:     172000 | #Constraints:     118746
1214.04/1217.78	c #Conflicts:     173000 | #Constraints:     119746
1214.04/1217.78	c #Conflicts:     174000 | #Constraints:     120746
1214.04/1217.78	c #Conflicts:     175000 | #Constraints:     121746
1214.04/1217.78	c #Conflicts:     176000 | #Constraints:     122746
1214.04/1217.78	c #Conflicts:     177000 | #Constraints:     123746
1214.04/1217.78	c #Conflicts:     178000 | #Constraints:     124746
1214.04/1217.78	c #Conflicts:     179000 | #Constraints:     125746
1214.04/1217.78	c #Conflicts:     180000 | #Constraints:     126746
1214.04/1217.78	c INPROCESSING
1214.04/1217.78	c GARBAGE COLLECT
1214.04/1217.78	c #Conflicts:     181000 | #Constraints:     119345
1214.04/1217.78	c #Conflicts:     182000 | #Constraints:     120345
1214.04/1217.78	c #Conflicts:     183000 | #Constraints:     121345
1214.04/1217.78	c #Conflicts:     184000 | #Constraints:     122345
1214.04/1217.78	c #Conflicts:     185000 | #Constraints:     123345
1214.04/1217.78	c #Conflicts:     186000 | #Constraints:     124345
1214.04/1217.78	c #Conflicts:     187000 | #Constraints:     125345
1214.04/1217.78	c #Conflicts:     188000 | #Constraints:     126345
1214.04/1217.78	c #Conflicts:     189000 | #Constraints:     127345
1214.04/1217.78	c INPROCESSING
1214.04/1217.78	c GARBAGE COLLECT
1214.04/1217.78	c #Conflicts:     190000 | #Constraints:     119745
1214.04/1217.78	c #Conflicts:     191000 | #Constraints:     120745
1214.04/1217.78	c #Conflicts:     192000 | #Constraints:     121745
1214.04/1217.78	c #Conflicts:     193000 | #Constraints:     122745
1214.04/1217.78	c #Conflicts:     194000 | #Constraints:     123745
1214.04/1217.78	c #Conflicts:     195000 | #Constraints:     124745
1214.04/1217.78	c #Conflicts:     196000 | #Constraints:     125745
1214.04/1217.78	c #Conflicts:     197000 | #Constraints:     126745
1214.04/1217.78	c #Conflicts:     198000 | #Constraints:     127745
1214.04/1217.78	c INPROCESSING
1214.04/1217.78	c GARBAGE COLLECT
1214.04/1217.78	c #Conflicts:     199000 | #Constraints:     119942
1214.04/1217.78	c #Conflicts:     200000 | #Constraints:     120942
1214.04/1217.78	c #Conflicts:     201000 | #Constraints:     121942
1214.04/1217.78	c #Conflicts:     202000 | #Constraints:     122942
1214.04/1217.78	c #Conflicts:     203000 | #Constraints:     123942
1214.04/1217.78	c #Conflicts:     204000 | #Constraints:     124942
1214.04/1217.78	c #Conflicts:     205000 | #Constraints:     125942
1214.04/1217.78	c #Conflicts:     206000 | #Constraints:     126942
1214.04/1217.78	c #Conflicts:     207000 | #Constraints:     127942
1214.04/1217.78	c INPROCESSING
1214.04/1217.78	c GARBAGE COLLECT
1214.04/1217.78	c #Conflicts:     208000 | #Constraints:     119941
1214.04/1217.78	c #Conflicts:     209000 | #Constraints:     120941
1214.04/1217.78	c #Conflicts:     210000 | #Constraints:     121941
1214.04/1217.78	c #Conflicts:     211000 | #Constraints:     122941
1214.04/1217.78	c #Conflicts:     212000 | #Constraints:     123941
1214.04/1217.78	c #Conflicts:     213000 | #Constraints:     124941
1214.04/1217.78	c #Conflicts:     214000 | #Constraints:     125941
1834.88/1840.35	c #Conflicts:     215000 | #Constraints:     126941
1834.88/1840.35	c #Conflicts:     216000 | #Constraints:     127941
1834.88/1840.35	c INPROCESSING
1834.88/1840.35	c GARBAGE COLLECT
1834.88/1840.35	c #Conflicts:     217000 | #Constraints:     119742
1834.88/1840.35	c #Conflicts:     218000 | #Constraints:     120742
1834.88/1840.35	c #Conflicts:     219000 | #Constraints:     121742
1834.88/1840.35	c #Conflicts:     220000 | #Constraints:     122742
1834.88/1840.35	c #Conflicts:     221000 | #Constraints:     123742
1834.88/1840.35	c #Conflicts:     222000 | #Constraints:     124742
1834.88/1840.35	c #Conflicts:     223000 | #Constraints:     125742
1834.88/1840.35	c #Conflicts:     224000 | #Constraints:     126742
1834.88/1840.35	c #Conflicts:     225000 | #Constraints:     127742
1834.88/1840.35	c #Conflicts:     226000 | #Constraints:     128742
1834.88/1840.35	c INPROCESSING
1834.88/1840.35	c GARBAGE COLLECT
1834.88/1840.35	c #Conflicts:     227000 | #Constraints:     120344
1834.88/1840.35	c #Conflicts:     228000 | #Constraints:     121344
1834.88/1840.35	c #Conflicts:     229000 | #Constraints:     122344
1834.88/1840.35	c #Conflicts:     230000 | #Constraints:     123344
1834.88/1840.35	c #Conflicts:     231000 | #Constraints:     124344
1834.88/1840.35	c #Conflicts:     232000 | #Constraints:     125344
1834.88/1840.35	c #Conflicts:     233000 | #Constraints:     126344
1834.88/1840.36	c #Conflicts:     234000 | #Constraints:     127344
1834.88/1840.36	c #Conflicts:     235000 | #Constraints:     128344
1834.88/1840.36	c #Conflicts:     236000 | #Constraints:     129344
1834.88/1840.36	c INPROCESSING
1834.88/1840.36	c GARBAGE COLLECT
1834.88/1840.36	c #Conflicts:     237000 | #Constraints:     120746
1834.88/1840.36	c #Conflicts:     238000 | #Constraints:     121746
1834.88/1840.36	c #Conflicts:     239000 | #Constraints:     122746
1834.88/1840.36	c #Conflicts:     240000 | #Constraints:     123746
1834.88/1840.36	c #Conflicts:     241000 | #Constraints:     124746
1834.88/1840.36	c #Conflicts:     242000 | #Constraints:     125746
1834.88/1840.36	c #Conflicts:     243000 | #Constraints:     126746
1834.88/1840.36	c #Conflicts:     244000 | #Constraints:     127746
1834.88/1840.36	c #Conflicts:     245000 | #Constraints:     128746
1834.88/1840.36	c #Conflicts:     246000 | #Constraints:     129746
1834.88/1840.36	c INPROCESSING
1834.88/1840.36	c GARBAGE COLLECT
1834.88/1840.36	c #Conflicts:     247000 | #Constraints:     120944
1834.88/1840.36	c #Conflicts:     248000 | #Constraints:     121944
1834.88/1840.36	c #Conflicts:     249000 | #Constraints:     122944
1834.88/1840.36	c #Conflicts:     250000 | #Constraints:     123944
1834.88/1840.36	c #Conflicts:     251000 | #Constraints:     124944
1834.88/1840.36	c #Conflicts:     252000 | #Constraints:     125944
1834.88/1840.36	c #Conflicts:     253000 | #Constraints:     126944
1834.88/1840.36	c #Conflicts:     254000 | #Constraints:     127944
1834.88/1840.36	c #Conflicts:     255000 | #Constraints:     128944
1834.88/1840.36	c #Conflicts:     256000 | #Constraints:     129944
1834.88/1840.36	c INPROCESSING
1834.88/1840.36	c GARBAGE COLLECT
1834.88/1840.36	c #Conflicts:     257000 | #Constraints:     120946
1834.88/1840.36	c #Conflicts:     258000 | #Constraints:     121946
1834.88/1840.36	c #Conflicts:     259000 | #Constraints:     122946
1834.88/1840.36	c #Conflicts:     260000 | #Constraints:     123946
1834.88/1840.36	c #Conflicts:     261000 | #Constraints:     124946
1834.88/1840.36	c #Conflicts:     262000 | #Constraints:     125946
1834.88/1840.36	c #Conflicts:     263000 | #Constraints:     126946
1834.88/1840.36	c #Conflicts:     264000 | #Constraints:     127946
1834.88/1840.36	c #Conflicts:     265000 | #Constraints:     128946
1834.88/1840.36	c #Conflicts:     266000 | #Constraints:     129946
1834.88/1840.36	c INPROCESSING
1834.88/1840.36	c GARBAGE COLLECT
1834.88/1840.36	c #Conflicts:     267000 | #Constraints:     120745
1834.88/1840.36	c #Conflicts:     268000 | #Constraints:     121745
1834.88/1840.36	c #Conflicts:     269000 | #Constraints:     122745
1834.88/1840.36	c #Conflicts:     270000 | #Constraints:     123745
1834.88/1840.36	c #Conflicts:     271000 | #Constraints:     124745
1834.88/1840.36	c #Conflicts:     272000 | #Constraints:     125745
1834.88/1840.36	c #Conflicts:     273000 | #Constraints:     126745
1834.88/1840.36	c #Conflicts:     274000 | #Constraints:     127745
1834.88/1840.36	c #Conflicts:     275000 | #Constraints:     128745
1834.88/1840.36	c #Conflicts:     276000 | #Constraints:     129745
1834.88/1840.36	c #Conflicts:     277000 | #Constraints:     130745
1834.88/1840.36	c INPROCESSING
1834.88/1840.36	c GARBAGE COLLECT
1834.88/1840.36	c #Conflicts:     278000 | #Constraints:     121347
1834.88/1840.36	c #Conflicts:     279000 | #Constraints:     122347
1834.88/1840.36	c #Conflicts:     280000 | #Constraints:     123347
1834.88/1840.36	c #Conflicts:     281000 | #Constraints:     124347
1834.88/1840.36	c #Conflicts:     282000 | #Constraints:     125347
1834.88/1840.36	c #Conflicts:     283000 | #Constraints:     126347
1834.88/1840.36	c #Conflicts:     284000 | #Constraints:     127347
1834.88/1840.36	c #Conflicts:     285000 | #Constraints:     128347
1834.88/1840.36	c #Conflicts:     286000 | #Constraints:     129347
1834.88/1840.36	c #Conflicts:     287000 | #Constraints:     130347
1834.88/1840.36	c #Conflicts:     288000 | #Constraints:     131347
1834.88/1840.36	c INPROCESSING
2513.79/2521.28	c GARBAGE COLLECT
2513.79/2521.28	c #Conflicts:     289000 | #Constraints:     121745
2513.79/2521.28	c #Conflicts:     290000 | #Constraints:     122745
2513.79/2521.28	c #Conflicts:     291000 | #Constraints:     123745
2513.79/2521.28	c #Conflicts:     292000 | #Constraints:     124745
2513.79/2521.28	c #Conflicts:     293000 | #Constraints:     125745
2513.79/2521.28	c #Conflicts:     294000 | #Constraints:     126745
2513.79/2521.28	c #Conflicts:     295000 | #Constraints:     127745
2513.79/2521.28	c #Conflicts:     296000 | #Constraints:     128745
2513.79/2521.28	c #Conflicts:     297000 | #Constraints:     129745
2513.79/2521.28	c #Conflicts:     298000 | #Constraints:     130745
2513.79/2521.28	c #Conflicts:     299000 | #Constraints:     131745
2513.79/2521.28	c INPROCESSING
2513.79/2521.28	c GARBAGE COLLECT
2513.79/2521.28	c #Conflicts:     300000 | #Constraints:     121946
2513.79/2521.28	c #Conflicts:     301000 | #Constraints:     122946
2513.79/2521.28	c #Conflicts:     302000 | #Constraints:     123946
2513.79/2521.28	c #Conflicts:     303000 | #Constraints:     124946
2513.79/2521.28	c #Conflicts:     304000 | #Constraints:     125946
2513.79/2521.28	c #Conflicts:     305000 | #Constraints:     126946
2513.79/2521.28	c #Conflicts:     306000 | #Constraints:     127946
2513.79/2521.28	c #Conflicts:     307000 | #Constraints:     128946
2513.79/2521.28	c #Conflicts:     308000 | #Constraints:     129946
2513.79/2521.28	c #Conflicts:     309000 | #Constraints:     130946
2513.79/2521.28	c #Conflicts:     310000 | #Constraints:     131946
2513.79/2521.28	c INPROCESSING
2513.79/2521.28	c GARBAGE COLLECT
2513.79/2521.28	c #Conflicts:     311000 | #Constraints:     121947
2513.79/2521.28	c #Conflicts:     312000 | #Constraints:     122947
2513.79/2521.28	c #Conflicts:     313000 | #Constraints:     123947
2513.79/2521.28	c #Conflicts:     314000 | #Constraints:     124947
2513.79/2521.28	c #Conflicts:     315000 | #Constraints:     125947
2513.79/2521.28	c #Conflicts:     316000 | #Constraints:     126947
2513.79/2521.28	c #Conflicts:     317000 | #Constraints:     127947
2513.79/2521.28	c #Conflicts:     318000 | #Constraints:     128947
2513.79/2521.28	c #Conflicts:     319000 | #Constraints:     129947
2513.79/2521.28	c #Conflicts:     320000 | #Constraints:     130947
2513.79/2521.28	c #Conflicts:     321000 | #Constraints:     131947
2513.79/2521.28	c INPROCESSING
2513.79/2521.28	c GARBAGE COLLECT
2513.79/2521.28	c #Conflicts:     322000 | #Constraints:     121749
2513.79/2521.28	c #Conflicts:     323000 | #Constraints:     122749
2513.79/2521.28	c #Conflicts:     324000 | #Constraints:     123749
2513.79/2521.28	c #Conflicts:     325000 | #Constraints:     124749
2513.79/2521.28	c #Conflicts:     326000 | #Constraints:     125749
2513.79/2521.28	c #Conflicts:     327000 | #Constraints:     126749
2513.79/2521.28	c #Conflicts:     328000 | #Constraints:     127749
2513.79/2521.28	c #Conflicts:     329000 | #Constraints:     128749
2513.79/2521.28	c #Conflicts:     330000 | #Constraints:     129749
2513.79/2521.28	c #Conflicts:     331000 | #Constraints:     130749
2513.79/2521.28	c #Conflicts:     332000 | #Constraints:     131749
2513.79/2521.28	c #Conflicts:     333000 | #Constraints:     132749
2513.79/2521.28	c INPROCESSING
2513.79/2521.28	c GARBAGE COLLECT
2513.79/2521.28	c #Conflicts:     334000 | #Constraints:     122351
2513.79/2521.28	c #Conflicts:     335000 | #Constraints:     123351
2513.79/2521.28	c #Conflicts:     336000 | #Constraints:     124351
2513.79/2521.28	c #Conflicts:     337000 | #Constraints:     125351
2513.79/2521.28	c #Conflicts:     338000 | #Constraints:     126351
2513.79/2521.28	c #Conflicts:     339000 | #Constraints:     127351
2513.79/2521.28	c #Conflicts:     340000 | #Constraints:     128351
2513.79/2521.28	c #Conflicts:     341000 | #Constraints:     129351
2513.79/2521.28	c #Conflicts:     342000 | #Constraints:     130351
2513.79/2521.28	c #Conflicts:     343000 | #Constraints:     131351
2513.79/2521.28	c #Conflicts:     344000 | #Constraints:     132351
2513.79/2521.28	c #Conflicts:     345000 | #Constraints:     133351
2513.79/2521.28	c INPROCESSING
2513.79/2521.28	c GARBAGE COLLECT
2513.79/2521.28	c #Conflicts:     346000 | #Constraints:     122750
2513.79/2521.28	c #Conflicts:     347000 | #Constraints:     123750
2513.79/2521.28	c #Conflicts:     348000 | #Constraints:     124750
2513.79/2521.28	c #Conflicts:     349000 | #Constraints:     125750
2513.79/2521.28	c #Conflicts:     350000 | #Constraints:     126750
2513.79/2521.28	c #Conflicts:     351000 | #Constraints:     127750
2513.79/2521.28	c #Conflicts:     352000 | #Constraints:     128750
2513.79/2521.28	c #Conflicts:     353000 | #Constraints:     129750
2513.79/2521.28	c #Conflicts:     354000 | #Constraints:     130750
2513.79/2521.28	c #Conflicts:     355000 | #Constraints:     131750
2513.79/2521.28	c #Conflicts:     356000 | #Constraints:     132750
2513.79/2521.28	c #Conflicts:     357000 | #Constraints:     133750
2513.79/2521.28	c INPROCESSING
2513.79/2521.28	c GARBAGE COLLECT
2513.79/2521.28	c #Conflicts:     358000 | #Constraints:     122948
2513.79/2521.28	c #Conflicts:     359000 | #Constraints:     123948
2513.79/2521.28	c #Conflicts:     360000 | #Constraints:     124948
2513.79/2521.28	c #Conflicts:     361000 | #Constraints:     125948
2513.79/2521.28	c #Conflicts:     362000 | #Constraints:     126948
2513.79/2521.28	c #Conflicts:     363000 | #Constraints:     127948
3264.26/3274.00	c #Conflicts:     364000 | #Constraints:     128948
3264.26/3274.00	c #Conflicts:     365000 | #Constraints:     129948
3264.26/3274.00	c #Conflicts:     366000 | #Constraints:     130948
3264.26/3274.00	c #Conflicts:     367000 | #Constraints:     131948
3264.26/3274.00	c #Conflicts:     368000 | #Constraints:     132948
3264.26/3274.00	c #Conflicts:     369000 | #Constraints:     133948
3264.26/3274.00	c INPROCESSING
3264.26/3274.00	c GARBAGE COLLECT
3264.26/3274.00	c #Conflicts:     370000 | #Constraints:     122947
3264.26/3274.00	c #Conflicts:     371000 | #Constraints:     123947
3264.26/3274.00	c #Conflicts:     372000 | #Constraints:     124947
3264.26/3274.00	c #Conflicts:     373000 | #Constraints:     125947
3264.26/3274.00	c #Conflicts:     374000 | #Constraints:     126947
3264.26/3274.00	c #Conflicts:     375000 | #Constraints:     127947
3264.26/3274.00	c #Conflicts:     376000 | #Constraints:     128947
3264.26/3274.00	c #Conflicts:     377000 | #Constraints:     129947
3264.26/3274.00	c #Conflicts:     378000 | #Constraints:     130947
3264.26/3274.00	c #Conflicts:     379000 | #Constraints:     131947
3264.26/3274.00	c #Conflicts:     380000 | #Constraints:     132947
3264.26/3274.00	c #Conflicts:     381000 | #Constraints:     133947
3264.26/3274.00	c INPROCESSING
3264.26/3274.00	c GARBAGE COLLECT
3264.26/3274.00	c #Conflicts:     382000 | #Constraints:     122743
3264.26/3274.00	c #Conflicts:     383000 | #Constraints:     123743
3264.26/3274.00	c #Conflicts:     384000 | #Constraints:     124743
3264.26/3274.00	c #Conflicts:     385000 | #Constraints:     125743
3264.26/3274.00	c #Conflicts:     386000 | #Constraints:     126743
3264.26/3274.00	c #Conflicts:     387000 | #Constraints:     127743
3264.26/3274.00	c #Conflicts:     388000 | #Constraints:     128743
3264.26/3274.00	c #Conflicts:     389000 | #Constraints:     129743
3264.26/3274.00	c #Conflicts:     390000 | #Constraints:     130743
3264.26/3274.00	c #Conflicts:     391000 | #Constraints:     131743
3264.26/3274.00	c #Conflicts:     392000 | #Constraints:     132743
3264.26/3274.00	c #Conflicts:     393000 | #Constraints:     133743
3264.26/3274.00	c #Conflicts:     394000 | #Constraints:     134743
3264.26/3274.00	c INPROCESSING
3264.26/3274.00	c GARBAGE COLLECT
3264.26/3274.00	c #Conflicts:     395000 | #Constraints:     123342
3264.26/3274.00	c #Conflicts:     396000 | #Constraints:     124342
3264.26/3274.00	c #Conflicts:     397000 | #Constraints:     125342
3264.26/3274.00	c #Conflicts:     398000 | #Constraints:     126342
3264.26/3274.00	c #Conflicts:     399000 | #Constraints:     127342
3264.26/3274.00	c #Conflicts:     400000 | #Constraints:     128342
3264.26/3274.00	c #Conflicts:     401000 | #Constraints:     129342
3264.26/3274.00	c #Conflicts:     402000 | #Constraints:     130342
3264.26/3274.00	c #Conflicts:     403000 | #Constraints:     131342
3264.26/3274.00	c #Conflicts:     404000 | #Constraints:     132342
3264.26/3274.00	c #Conflicts:     405000 | #Constraints:     133342
3264.26/3274.00	c #Conflicts:     406000 | #Constraints:     134342
3264.26/3274.00	c #Conflicts:     407000 | #Constraints:     135342
3264.26/3274.00	c INPROCESSING
3264.26/3274.00	c GARBAGE COLLECT
3264.26/3274.00	c #Conflicts:     408000 | #Constraints:     123743
3264.26/3274.00	c #Conflicts:     409000 | #Constraints:     124743
3264.26/3274.00	c #Conflicts:     410000 | #Constraints:     125743
3264.26/3274.00	c #Conflicts:     411000 | #Constraints:     126743
3264.26/3274.00	c #Conflicts:     412000 | #Constraints:     127743
3264.26/3274.00	c #Conflicts:     413000 | #Constraints:     128743
3264.26/3274.00	c #Conflicts:     414000 | #Constraints:     129743
3264.26/3274.00	c #Conflicts:     415000 | #Constraints:     130743
3264.26/3274.00	c #Conflicts:     416000 | #Constraints:     131743
3264.26/3274.00	c #Conflicts:     417000 | #Constraints:     132743
3264.26/3274.00	c #Conflicts:     418000 | #Constraints:     133743
3264.26/3274.00	c #Conflicts:     419000 | #Constraints:     134743
3264.26/3274.00	c #Conflicts:     420000 | #Constraints:     135743
3264.26/3274.00	c INPROCESSING
3264.26/3274.00	c GARBAGE COLLECT
3264.26/3274.00	c #Conflicts:     421000 | #Constraints:     123943
3264.26/3274.00	c #Conflicts:     422000 | #Constraints:     124943
3264.26/3274.00	c #Conflicts:     423000 | #Constraints:     125943
3264.26/3274.00	c #Conflicts:     424000 | #Constraints:     126943
3264.26/3274.00	c #Conflicts:     425000 | #Constraints:     127943
3264.26/3274.00	c #Conflicts:     426000 | #Constraints:     128943
3264.26/3274.00	c #Conflicts:     427000 | #Constraints:     129943
3264.26/3274.00	c #Conflicts:     428000 | #Constraints:     130943
3264.26/3274.00	c #Conflicts:     429000 | #Constraints:     131943
3264.26/3274.00	c #Conflicts:     430000 | #Constraints:     132943
3264.26/3274.00	c #Conflicts:     431000 | #Constraints:     133943
3264.26/3274.00	c #Conflicts:     432000 | #Constraints:     134943
3264.26/3274.00	c #Conflicts:     433000 | #Constraints:     135943
3264.26/3274.00	c INPROCESSING
3264.26/3274.00	c GARBAGE COLLECT
3264.26/3274.00	c #Conflicts:     434000 | #Constraints:     123946
3264.26/3274.00	c #Conflicts:     435000 | #Constraints:     124946
3264.26/3274.00	c #Conflicts:     436000 | #Constraints:     125946
3264.26/3274.00	c #Conflicts:     437000 | #Constraints:     126946
3264.26/3274.00	c #Conflicts:     438000 | #Constraints:     127946
3600.09/3610.91	c #Conflicts:     439000 | #Constraints:     128946
3600.09/3610.91	c #Conflicts:     440000 | #Constraints:     129946
3600.09/3610.91	c #Conflicts:     441000 | #Constraints:     130946
3600.09/3610.91	c #Conflicts:     442000 | #Constraints:     131946
3600.09/3610.91	c #Conflicts:     443000 | #Constraints:     132946
3600.09/3610.91	c #Conflicts:     444000 | #Constraints:     133946
3600.09/3610.91	c #Conflicts:     445000 | #Constraints:     134946
3600.09/3610.91	c #Conflicts:     446000 | #Constraints:     135946
3600.09/3610.91	c INPROCESSING
3600.09/3610.91	c GARBAGE COLLECT
3600.09/3610.91	c #Conflicts:     447000 | #Constraints:     123747
3600.09/3610.91	c #Conflicts:     448000 | #Constraints:     124747
3600.09/3610.91	c #Conflicts:     449000 | #Constraints:     125747
3600.09/3610.91	c #Conflicts:     450000 | #Constraints:     126747
3600.09/3610.91	c #Conflicts:     451000 | #Constraints:     127747
3600.09/3610.91	c #Conflicts:     452000 | #Constraints:     128747
3600.09/3610.91	c #Conflicts:     453000 | #Constraints:     129747
3600.09/3610.91	c #Conflicts:     454000 | #Constraints:     130747
3600.09/3610.91	c #Conflicts:     455000 | #Constraints:     131747
3600.09/3610.91	c #Conflicts:     456000 | #Constraints:     132747
3600.09/3610.91	c #Conflicts:     457000 | #Constraints:     133747
3600.09/3610.91	c #Conflicts:     458000 | #Constraints:     134747
3600.09/3610.91	c #Conflicts:     459000 | #Constraints:     135747
3600.09/3610.91	c #Conflicts:     460000 | #Constraints:     136747
3600.09/3610.91	c INPROCESSING
3600.09/3610.91	c GARBAGE COLLECT
3600.09/3610.91	c #Conflicts:     461000 | #Constraints:     124345
3600.09/3610.91	c #Conflicts:     462000 | #Constraints:     125345
3600.09/3610.91	c #Conflicts:     463000 | #Constraints:     126345
3600.09/3610.91	c #Conflicts:     464000 | #Constraints:     127345
3600.09/3610.91	c #Conflicts:     465000 | #Constraints:     128345
3600.09/3610.91	c cpu time 3596.03 s
3600.09/3610.91	c deterministic time 1 1.00e+00
3600.09/3610.91	c optimization time 3595.48 s
3600.09/3610.91	c total solve time 0 s
3600.09/3610.91	c core-guided solve time 0 s
3600.09/3610.91	c propagation time 0.049497 s
3600.09/3610.91	c conflict analysis time 0 s
3600.09/3610.91	c propagations 0
3600.09/3610.91	c resolve steps 0
3600.09/3610.91	c decisions 0
3600.09/3610.91	c conflicts 0
3600.09/3610.91	c restarts 0
3600.09/3610.91	c inprocessing phases 0
3600.09/3610.91	c garbage collections 0 ,( -nan )
3600.09/3610.91	c input clauses 110038 ,( 100.00 )
3600.09/3610.91	c input cardinalities 0 ,( 0.00 )
3600.09/3610.91	c input general constraints 0 ,( 0.00 )
3600.09/3610.91	c input average constraint length 2.00
3600.09/3610.91	c input average constraint degree 1.00
3600.09/3610.91	c learned clauses 0 ,( 0.00 )
3600.09/3610.91	c learned cardinalities 0 ,( 0.00 )
3600.09/3610.91	c learned general constraints 0 ,( 0.00 )
3600.09/3610.91	c learned average constraint length 0.00
3600.09/3610.91	c learned average constraint degree 0.00
3600.09/3610.91	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.09/3610.91	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.09/3610.91	c watched   constraints 0 ,( -nan ) 
3600.09/3610.91	c counting  constraints 0 ,( -nan ) 
3600.09/3610.91	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.09/3610.91	c gcd simplifications 0
3600.09/3610.91	c detected cardinalities 0
3600.09/3610.91	c weakened non-implied lits 0
3600.09/3610.91	c weakened non-implying lits 0
3600.09/3610.91	c original variables 1400
3600.09/3610.91	c clausal propagations 0
3600.09/3610.91	c cardinality propagations 0
3600.09/3610.91	c watched propagations 0
3600.09/3610.91	c counting propagations 0
3600.09/3610.91	c watch lookups 0
3600.09/3610.91	c watch backjump lookups 0
3600.09/3610.91	c watch checks 0
3600.09/3610.91	c propagation checks 0
3600.09/3610.91	c constraint additions 0
3600.09/3610.91	c trail pops 0
3600.09/3610.91	c formula constraints 110038
3600.09/3610.91	c learned constraints 0
3600.09/3610.91	c bound constraints 0
3600.09/3610.91	c core-guided constraints 0
3600.09/3610.91	c encountered formula constraints 0
3600.09/3610.91	c encountered learned constraints 0
3600.09/3610.91	c encountered bound constraints 0
3600.09/3610.91	c encountered core-guided constraints 0
3600.09/3610.91	c LP total time 0 s
3600.09/3610.91	c LP solve time 0 s
3600.09/3610.91	c LP constraints added 0
3600.09/3610.91	c LP constraints removed 0
3600.09/3610.91	c LP pivots internal 0
3600.09/3610.91	c LP pivots root 0
3600.09/3610.91	c LP calls 0
3600.09/3610.91	c LP optimalities 0
3600.09/3610.91	c LP no pivot count 0
3600.09/3610.91	c LP infeasibilities 0
3600.09/3610.91	c LP valid Farkas constraints 0
3600.09/3610.91	c LP learned Farkas constraints 0
3600.09/3610.91	c LP basis resets 0
3600.09/3610.91	c LP cycling count 0
3600.09/3610.91	c LP singular count 0
3600.09/3610.91	c LP no primal count 0
3600.09/3610.91	c LP no farkas count 0
3600.09/3610.91	c LP other issue count 0
3600.09/3610.91	c LP Gomory cuts 0
3600.09/3610.91	c LP learned cuts 0
3600.09/3610.91	c LP deleted cuts 0
3600.09/3610.91	c LP encountered Gomory constraints 0
3600.09/3610.91	c LP encountered Farkas constraints 0
3600.09/3610.91	c LP encountered learned Farkas constraints 0
3600.09/3610.91	c CG auxiliary variables introduced 0
3600.09/3610.91	c CG solutions found 0
3600.09/3610.91	c CG cores constructed 0
3600.09/3610.91	c CG core cardinality constraints returned 0
3600.09/3610.91	c CG unit cores 0
3600.09/3610.91	c CG single cores 0
3600.09/3610.91	c CG blocks removed during cardinality reduction 0
3600.09/3610.91	c CG first core best 0
3600.09/3610.91	c CG decision core best 0
3600.09/3610.91	c CG core reduction tie 0
3600.09/3610.91	c CG core degree average 0.00
3600.09/3610.91	c CG core slack average 0.00
3600.09/3610.91	c CG core upper bound improvements 0
3600.09/3610.91	c STR number of successful calls 0
3600.09/3610.91	c STR number of unsuccessful calls 0
3600.09/3610.91	c STR number of inconclusive calls 0
3600.09/3610.91	c STR number of successful attempts 0
3600.09/3610.91	c STR number of unsuccessful attempts 0
3600.09/3610.91	c STR number of inconclusive attempts 0
3600.09/3610.91	c STR average degree increase per successful call inf
3600.09/3610.91	c STR average degree increase per successful attempt inf
3600.09/3610.91	c STR total number of conflicts for successful attempts 0
3600.09/3610.91	c STR total number of conflicts for unsuccessful attempts 0
3600.09/3610.91	c STR total number of conflicts for inconclusive attempts 0
3600.09/3610.91	c STR average number of conflicts per successful attempt inf
3600.09/3610.91	c STR average number of conflicts per unsuccessful attempt inf
3600.09/3610.91	c STR average number of conflicts per inconclusive attempt inf
3600.09/3610.91	c AVG.sumWPerc -nan 
3600.09/3610.91	c bigint constraints 0 
3600.09/3610.91	s UNKNOWN
3600.09/3610.91	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: 63837 MiB (59437 MiB free)
  memory of node 1: 64465 MiB (61029 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100108 s]*
/proc/loadavg: 5.49 4.23 4.15 5/259 39366
/proc/meminfo: memFree=123354240/131382116 swapFree=33010684/33010684
[pid=39364] ppid=39361 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/39364/stat : 39364 (run-opt-log.sh) S 39361 39364 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44916117 4292608 736 18446744073709551615 94507405365248 94507406259781 140735659250080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94507406498832 94507406546576 94507407360000 140735659252001 140735659252196 140735659252196 140735659257798 0
/proc/39364/statm: 1048 736 672 219 0 110 0
[pid=39366] ppid=39364 vsize=58440 memory=13644 CPUtime=0.09 cores=5,7
/proc/39366/stat : 39366 (roundingsat) R 39364 39364 39143 0 -1 4194304 1256 0 0 0 7 2 0 0 20 0 1 0 44916117 59842560 3411 18446744073709551615 4227072 8923433 140730182424336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15851520 140730182429010 140730182429224 140730182429224 140730182434794 0
/proc/39366/statm: 14610 3411 1952 1147 0 2037 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 62632 KiB
Current children cumulated memory: 16588 KiB

[startup+0.214188 s]*
/proc/loadavg: 5.49 4.23 4.15 5/259 39366
/proc/meminfo: memFree=123346176/131382116 swapFree=33010684/33010684
[pid=39364] ppid=39361 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/39364/stat : 39364 (run-opt-log.sh) S 39361 39364 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44916117 4292608 736 18446744073709551615 94507405365248 94507406259781 140735659250080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94507406498832 94507406546576 94507407360000 140735659252001 140735659252196 140735659252196 140735659257798 0
/proc/39364/statm: 1048 736 672 219 0 110 0
[pid=39366] ppid=39364 vsize=61728 memory=18944 CPUtime=0.21 cores=5,7
/proc/39366/stat : 39366 (roundingsat) R 39364 39364 39143 0 -1 4194304 2231 0 0 0 16 5 0 0 20 0 1 0 44916117 63209472 4736 18446744073709551615 4227072 8923433 140730182424336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15851520 140730182429010 140730182429224 140730182429224 140730182434794 0
/proc/39366/statm: 15432 4736 1952 1147 0 2859 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 65920 KiB
Current children cumulated memory: 21888 KiB

[startup+0.314101 s]*
/proc/loadavg: 5.49 4.23 4.15 5/259 39366
/proc/meminfo: memFree=123346176/131382116 swapFree=33010684/33010684
[pid=39364] ppid=39361 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/39364/stat : 39364 (run-opt-log.sh) S 39361 39364 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44916117 4292608 736 18446744073709551615 94507405365248 94507406259781 140735659250080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94507406498832 94507406546576 94507407360000 140735659252001 140735659252196 140735659252196 140735659257798 0
/proc/39364/statm: 1048 736 672 219 0 110 0
[pid=39366] ppid=39364 vsize=65812 memory=22456 CPUtime=0.3 cores=5,7
/proc/39366/stat : 39366 (roundingsat) R 39364 39364 39143 0 -1 4194304 3254 0 0 0 23 7 0 0 20 0 1 0 44916117 67391488 5614 18446744073709551615 4227072 8923433 140730182424336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15851520 140730182429010 140730182429224 140730182429224 140730182434794 0
/proc/39366/statm: 16453 5614 1952 1147 0 3880 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 70004 KiB
Current children cumulated memory: 25400 KiB

[startup+0.700337 s]
/proc/loadavg: 5.49 4.23 4.15 5/259 39366
/proc/meminfo: memFree=123296588/131382116 swapFree=33010684/33010684
[pid=39364] ppid=39361 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/39364/stat : 39364 (run-opt-log.sh) S 39361 39364 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44916117 4292608 736 18446744073709551615 94507405365248 94507406259781 140735659250080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94507406498832 94507406546576 94507407360000 140735659252001 140735659252196 140735659252196 140735659257798 0
/proc/39364/statm: 1048 736 672 219 0 110 0
[pid=39366] ppid=39364 vsize=150492 memory=94384 CPUtime=0.68 cores=5,7
/proc/39366/stat : 39366 (roundingsat) R 39364 39364 39143 0 -1 4194304 9629 0 0 0 55 13 0 0 20 0 1 0 44916117 154103808 23596 18446744073709551615 4227072 8923433 140730182424336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15851520 140730182429010 140730182429224 140730182429224 140730182434794 0
/proc/39366/statm: 37623 23596 2272 1147 0 25050 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 154684 KiB
Current children cumulated memory: 97328 KiB

[startup+1.50039 s]
/proc/loadavg: 5.49 4.23 4.15 5/259 39366
/proc/meminfo: memFree=123185612/131382116 swapFree=33010684/33010684
[pid=39364] ppid=39361 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/39364/stat : 39364 (run-opt-log.sh) S 39361 39364 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44916117 4292608 736 18446744073709551615 94507405365248 94507406259781 140735659250080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94507406498832 94507406546576 94507407360000 140735659252001 140735659252196 140735659252196 140735659257798 0
/proc/39364/statm: 1048 736 672 219 0 110 0
[pid=39366] ppid=39364 vsize=219512 memory=167752 CPUtime=1.47 cores=5,7
/proc/39366/stat : 39366 (roundingsat) R 39364 39364 39143 0 -1 4194304 27607 0 0 0 121 26 0 0 20 0 1 0 44916117 224780288 41938 18446744073709551615 4227072 8923433 140730182424336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15851520 140730182429010 140730182429224 140730182429224 140730182434794 0
/proc/39366/statm: 54878 41938 2336 1147 0 42305 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 223704 KiB
Current children cumulated memory: 170696 KiB

[startup+3.11384 s]
/proc/loadavg: 5.49 4.23 4.15 5/259 39366
/proc/meminfo: memFree=123096524/131382116 swapFree=33010684/33010684
[pid=39364] ppid=39361 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/39364/stat : 39364 (run-opt-log.sh) S 39361 39364 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44916117 4292608 736 18446744073709551615 94507405365248 94507406259781 140735659250080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94507406498832 94507406546576 94507407360000 140735659252001 140735659252196 140735659252196 140735659257798 0
/proc/39364/statm: 1048 736 672 219 0 110 0
[pid=39366] ppid=39364 vsize=219512 memory=167880 CPUtime=3.08 cores=5,7
/proc/39366/stat : 39366 (roundingsat) R 39364 39364 39143 0 -1 4194304 27650 0 0 0 281 27 0 0 20 0 1 0 44916117 224780288 41970 18446744073709551615 4227072 8923433 140730182424336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15851520 140730182429010 140730182429224 140730182429224 140730182434794 0
/proc/39366/statm: 54878 41970 2336 1147 0 42305 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 223704 KiB
Current children cumulated memory: 170824 KiB

[startup+6.30038 s]
/proc/loadavg: 5.53 4.26 4.16 5/259 39366
/proc/meminfo: memFree=123003660/131382116 swapFree=33010684/33010684
[pid=39364] ppid=39361 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/39364/stat : 39364 (run-opt-log.sh) S 39361 39364 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44916117 4292608 736 18446744073709551615 94507405365248 94507406259781 140735659250080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94507406498832 94507406546576 94507407360000 140735659252001 140735659252196 140735659252196 140735659257798 0
/proc/39364/statm: 1048 736 672 219 0 110 0
[pid=39366] ppid=39364 vsize=219512 memory=167880 CPUtime=6.26 cores=5,7
/proc/39366/stat : 39366 (roundingsat) R 39364 39364 39143 0 -1 4194304 27654 0 0 0 598 28 0 0 20 0 1 0 44916117 224780288 41970 18446744073709551615 4227072 8923433 140730182424336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15851520 140730182429010 140730182429224 140730182429224 140730182434794 0
/proc/39366/statm: 54878 41970 2336 1147 0 42305 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 223704 KiB
Current children cumulated memory: 170824 KiB

[startup+12.7004 s]
/proc/loadavg: 5.57 4.29 4.17 5/259 39366
/proc/meminfo: memFree=122833400/131382116 swapFree=33010684/33010684
[pid=39364] ppid=39361 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/39364/stat : 39364 (run-opt-log.sh) S 39361 39364 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44916117 4292608 736 18446744073709551615 94507405365248 94507406259781 140735659250080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94507406498832 94507406546576 94507407360000 140735659252001 140735659252196 140735659252196 140735659257798 0
/proc/39364/statm: 1048 736 672 219 0 110 0
[pid=39366] ppid=39364 vsize=268832 memory=206156 CPUtime=12.65 cores=5,7
/proc/39366/stat : 39366 (roundingsat) R 39364 39364 39143 0 -1 4194304 28026 0 0 0 1234 31 0 0 20 0 1 0 44916117 275283968 51539 18446744073709551615 4227072 8923433 140730182424336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15851520 140730182429010 140730182429224 140730182429224 140730182434794 0
/proc/39366/statm: 67208 51539 2336 1147 0 54635 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 273024 KiB
Current children cumulated memory: 209100 KiB

[startup+25.5004 s]
/proc/loadavg: 5.51 4.34 4.19 5/259 39366
/proc/meminfo: memFree=122493364/131382116 swapFree=33010684/33010684
[pid=39364] ppid=39361 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/39364/stat : 39364 (run-opt-log.sh) S 39361 39364 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44916117 4292608 736 18446744073709551615 94507405365248 94507406259781 140735659250080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94507406498832 94507406546576 94507407360000 140735659252001 140735659252196 140735659252196 140735659257798 0
/proc/39364/statm: 1048 736 672 219 0 110 0
[pid=39366] ppid=39364 vsize=268832 memory=216404 CPUtime=25.41 cores=5,7
/proc/39366/stat : 39366 (roundingsat) R 39364 39364 39143 0 -1 4194304 28035 0 0 0 2506 35 0 0 20 0 1 0 44916117 275283968 54101 18446744073709551615 4227072 8923433 140730182424336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15851520 140730182429010 140730182429224 140730182429224 140730182434794 0
/proc/39366/statm: 67208 54101 2336 1147 0 54635 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 273024 KiB
Current children cumulated memory: 219348 KiB

[startup+51.1139 s]
/proc/loadavg: 5.18 4.36 4.20 5/259 39367
/proc/meminfo: memFree=121824680/131382116 swapFree=33010684/33010684
[pid=39364] ppid=39361 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/39364/stat : 39364 (run-opt-log.sh) S 39361 39364 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44916117 4292608 736 18446744073709551615 94507405365248 94507406259781 140735659250080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94507406498832 94507406546576 94507407360000 140735659252001 140735659252196 140735659252196 140735659257798 0
/proc/39364/statm: 1048 736 672 219 0 110 0
[pid=39366] ppid=39364 vsize=299652 memory=225728 CPUtime=50.95 cores=5,7
/proc/39366/stat : 39366 (roundingsat) R 39364 39364 39143 0 -1 4194304 28322 0 0 0 5053 42 0 0 20 0 1 0 44916117 306843648 56432 18446744073709551615 4227072 8923433 140730182424336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15851520 140730182429010 140730182429224 140730182429224 140730182434794 0
/proc/39366/statm: 74913 56432 2336 1147 0 62340 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 303844 KiB
Current children cumulated memory: 228672 KiB

[startup+102.3 s]
/proc/loadavg: 4.55 4.32 4.19 5/260 39369
/proc/meminfo: memFree=120280284/131382116 swapFree=33010684/33010684
[pid=39364] ppid=39361 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/39364/stat : 39364 (run-opt-log.sh) S 39361 39364 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44916117 4292608 736 18446744073709551615 94507405365248 94507406259781 140735659250080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94507406498832 94507406546576 94507407360000 140735659252001 140735659252196 140735659252196 140735659257798 0
/proc/39364/statm: 1048 736 672 219 0 110 0
[pid=39366] ppid=39364 vsize=299652 memory=238028 CPUtime=101.99 cores=5,7
/proc/39366/stat : 39366 (roundingsat) R 39364 39364 39143 0 -1 4194304 28338 0 0 0 10146 53 0 0 20 0 1 0 44916117 306843648 59507 18446744073709551615 4227072 8923433 140730182424336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15851520 140730182429010 140730182429224 140730182429224 140730182434794 0
/proc/39366/statm: 74913 59507 2336 1147 0 62340 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 303844 KiB
Current children cumulated memory: 240972 KiB

[startup+162.3 s]
/proc/loadavg: 4.37 4.30 4.19 5/260 39371
/proc/meminfo: memFree=118589776/131382116 swapFree=33010684/33010684
[pid=39364] ppid=39361 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/39364/stat : 39364 (run-opt-log.sh) S 39361 39364 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44916117 4292608 736 18446744073709551615 94507405365248 94507406259781 140735659250080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94507406498832 94507406546576 94507407360000 140735659252001 140735659252196 140735659252196 140735659257798 0
/proc/39364/statm: 1048 736 672 219 0 110 0
[pid=39366] ppid=39364 vsize=301076 memory=248148 CPUtime=161.82 cores=5,7
/proc/39366/stat : 39366 (roundingsat) R 39364 39364 39143 0 -1 4194304 28840 0 0 0 16118 64 0 0 20 0 1 0 44916117 308301824 62037 18446744073709551615 4227072 8923433 140730182424336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15851520 140730182429010 140730182429224 140730182429224 140730182434794 0
/proc/39366/statm: 75269 62037 2336 1147 0 62696 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 305268 KiB
Current children cumulated memory: 251092 KiB

[startup+222.302 s]
/proc/loadavg: 4.19 4.26 4.18 5/259 39373
/proc/meminfo: memFree=117252140/131382116 swapFree=33010684/33010684
[pid=39364] ppid=39361 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/39364/stat : 39364 (run-opt-log.sh) S 39361 39364 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44916117 4292608 736 18446744073709551615 94507405365248 94507406259781 140735659250080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94507406498832 94507406546576 94507407360000 140735659252001 140735659252196 140735659252196 140735659257798 0
/proc/39364/statm: 1048 736 672 219 0 110 0
[pid=39366] ppid=39364 vsize=359792 memory=267068 CPUtime=221.66 cores=5,7
/proc/39366/stat : 39366 (roundingsat) R 39364 39364 39143 0 -1 4194304 31525 0 0 0 22091 75 0 0 20 0 1 0 44916117 368427008 66767 18446744073709551615 4227072 8923433 140730182424336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15851520 140730182429010 140730182429224 140730182429224 140730182434794 0

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

/proc/39366/statm: 141838 124965 2336 1147 0 129265 0
Current children cumulated CPU time: 3093.2 s
Current children cumulated vsize: 571544 KiB
Current children cumulated memory: 502804 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.11 5/260 39528
/proc/meminfo: memFree=63076044/131382116 swapFree=33010684/33010684
[pid=39364] ppid=39361 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/39364/stat : 39364 (run-opt-log.sh) S 39361 39364 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44916117 4292608 736 18446744073709551615 94507405365248 94507406259781 140735659250080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94507406498832 94507406546576 94507407360000 140735659252001 140735659252196 140735659252196 140735659257798 0
/proc/39364/statm: 1048 736 672 219 0 110 0
[pid=39366] ppid=39364 vsize=567612 memory=504220 CPUtime=3153.03 cores=5,7
/proc/39366/stat : 39366 (roundingsat) R 39364 39364 39143 0 -1 4194304 61318 0 0 0 314929 374 0 0 20 0 1 0 44916117 581234688 126055 18446744073709551615 4227072 8923433 140730182424336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15851520 140730182429010 140730182429224 140730182429224 140730182434794 0
/proc/39366/statm: 141903 126055 2336 1147 0 129330 0
Current children cumulated CPU time: 3153.03 s
Current children cumulated vsize: 571804 KiB
Current children cumulated memory: 507164 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.10 5/259 39530
/proc/meminfo: memFree=62120420/131382116 swapFree=33010684/33010684
[pid=39364] ppid=39361 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/39364/stat : 39364 (run-opt-log.sh) S 39361 39364 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44916117 4292608 736 18446744073709551615 94507405365248 94507406259781 140735659250080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94507406498832 94507406546576 94507407360000 140735659252001 140735659252196 140735659252196 140735659257798 0
/proc/39364/statm: 1048 736 672 219 0 110 0
[pid=39366] ppid=39364 vsize=567612 memory=504348 CPUtime=3212.86 cores=5,7
/proc/39366/stat : 39366 (roundingsat) R 39364 39364 39143 0 -1 4194304 61352 0 0 0 320908 378 0 0 20 0 1 0 44916117 581234688 126087 18446744073709551615 4227072 8923433 140730182424336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15851520 140730182429010 140730182429224 140730182429224 140730182434794 0
/proc/39366/statm: 141903 126087 2336 1147 0 129330 0
Current children cumulated CPU time: 3212.86 s
Current children cumulated vsize: 571804 KiB
Current children cumulated memory: 507292 KiB

[startup+3282.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/261 39534
/proc/meminfo: memFree=61220524/131382116 swapFree=33010684/33010684
[pid=39364] ppid=39361 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/39364/stat : 39364 (run-opt-log.sh) S 39361 39364 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44916117 4292608 736 18446744073709551615 94507405365248 94507406259781 140735659250080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94507406498832 94507406546576 94507407360000 140735659252001 140735659252196 140735659252196 140735659257798 0
/proc/39364/statm: 1048 736 672 219 0 110 0
[pid=39366] ppid=39364 vsize=701664 memory=512488 CPUtime=3272.63 cores=5,7
/proc/39366/stat : 39366 (roundingsat) R 39364 39364 39143 0 -1 4194304 62350 0 0 0 326878 385 0 0 20 0 1 0 44916117 718503936 128122 18446744073709551615 4227072 8923433 140730182424336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15851520 140730182429010 140730182429224 140730182429224 140730182434794 0
/proc/39366/statm: 175416 128122 2336 1147 0 162843 0
Current children cumulated CPU time: 3272.63 s
Current children cumulated vsize: 705856 KiB
Current children cumulated memory: 515432 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/261 39553
/proc/meminfo: memFree=60317288/131382116 swapFree=33010684/33010684
[pid=39364] ppid=39361 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/39364/stat : 39364 (run-opt-log.sh) S 39361 39364 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44916117 4292608 736 18446744073709551615 94507405365248 94507406259781 140735659250080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94507406498832 94507406546576 94507407360000 140735659252001 140735659252196 140735659252196 140735659257798 0
/proc/39364/statm: 1048 736 672 219 0 110 0
[pid=39366] ppid=39364 vsize=701664 memory=512488 CPUtime=3332.43 cores=5,7
/proc/39366/stat : 39366 (roundingsat) R 39364 39364 39143 0 -1 4194304 62375 0 0 0 332855 388 0 0 20 0 1 0 44916117 718503936 128122 18446744073709551615 4227072 8923433 140730182424336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15851520 140730182429010 140730182429224 140730182429224 140730182434794 0
/proc/39366/statm: 175416 128122 2336 1147 0 162843 0
Current children cumulated CPU time: 3332.43 s
Current children cumulated vsize: 705856 KiB
Current children cumulated memory: 515432 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/261 39556
/proc/meminfo: memFree=59316584/131382116 swapFree=33010684/33010684
[pid=39364] ppid=39361 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/39364/stat : 39364 (run-opt-log.sh) S 39361 39364 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44916117 4292608 736 18446744073709551615 94507405365248 94507406259781 140735659250080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94507406498832 94507406546576 94507407360000 140735659252001 140735659252196 140735659252196 140735659257798 0
/proc/39364/statm: 1048 736 672 219 0 110 0
[pid=39366] ppid=39364 vsize=704228 memory=517252 CPUtime=3392.23 cores=5,7
/proc/39366/stat : 39366 (roundingsat) R 39364 39364 39143 0 -1 4194304 63032 0 0 0 338831 392 0 0 20 0 1 0 44916117 721129472 129313 18446744073709551615 4227072 8923433 140730182424336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15851520 140730182429010 140730182429224 140730182429224 140730182434794 0
/proc/39366/statm: 176057 129313 2336 1147 0 163484 0
Current children cumulated CPU time: 3392.23 s
Current children cumulated vsize: 708420 KiB
Current children cumulated memory: 520196 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/260 39558
/proc/meminfo: memFree=58456364/131382116 swapFree=33010684/33010684
[pid=39364] ppid=39361 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/39364/stat : 39364 (run-opt-log.sh) S 39361 39364 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44916117 4292608 736 18446744073709551615 94507405365248 94507406259781 140735659250080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94507406498832 94507406546576 94507407360000 140735659252001 140735659252196 140735659252196 140735659257798 0
/proc/39364/statm: 1048 736 672 219 0 110 0
[pid=39366] ppid=39364 vsize=704228 memory=517252 CPUtime=3452.03 cores=5,7
/proc/39366/stat : 39366 (roundingsat) R 39364 39364 39143 0 -1 4194304 63043 0 0 0 344808 395 0 0 20 0 1 0 44916117 721129472 129313 18446744073709551615 4227072 8923433 140730182424336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15851520 140730182429010 140730182429224 140730182429224 140730182434794 0
/proc/39366/statm: 176057 129313 2336 1147 0 163484 0
Current children cumulated CPU time: 3452.03 s
Current children cumulated vsize: 708420 KiB
Current children cumulated memory: 520196 KiB

[startup+3522.3 s]
/proc/loadavg: 4.25 4.14 4.11 6/260 39697
/proc/meminfo: memFree=128340708/131382116 swapFree=33010684/33010684
[pid=39364] ppid=39361 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/39364/stat : 39364 (run-opt-log.sh) S 39361 39364 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44916117 4292608 736 18446744073709551615 94507405365248 94507406259781 140735659250080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94507406498832 94507406546576 94507407360000 140735659252001 140735659252196 140735659252196 140735659257798 0
/proc/39364/statm: 1048 736 672 219 0 110 0
[pid=39366] ppid=39364 vsize=704228 memory=517380 CPUtime=3511.78 cores=5,7
/proc/39366/stat : 39366 (roundingsat) R 39364 39364 39143 0 -1 4194304 63074 0 0 0 350777 401 0 0 20 0 1 0 44916117 721129472 129345 18446744073709551615 4227072 8923433 140730182424336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15851520 140730182429010 140730182429224 140730182429224 140730182434794 0
/proc/39366/statm: 176057 129345 2336 1147 0 163484 0
Current children cumulated CPU time: 3511.78 s
Current children cumulated vsize: 708420 KiB
Current children cumulated memory: 520324 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.10 6/259 39699
/proc/meminfo: memFree=128271644/131382116 swapFree=33010684/33010684
[pid=39364] ppid=39361 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/39364/stat : 39364 (run-opt-log.sh) S 39361 39364 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44916117 4292608 736 18446744073709551615 94507405365248 94507406259781 140735659250080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94507406498832 94507406546576 94507407360000 140735659252001 140735659252196 140735659252196 140735659257798 0
/proc/39364/statm: 1048 736 672 219 0 110 0
[pid=39366] ppid=39364 vsize=707488 memory=521860 CPUtime=3571.58 cores=5,7
/proc/39366/stat : 39366 (roundingsat) R 39364 39364 39143 0 -1 4194304 63785 0 0 0 356753 405 0 0 20 0 1 0 44916117 724467712 130465 18446744073709551615 4227072 8923433 140730182424336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15851520 140730182429010 140730182429224 140730182429224 140730182434794 0
/proc/39366/statm: 176872 130465 2336 1147 0 164299 0
Current children cumulated CPU time: 3571.58 s
Current children cumulated vsize: 711680 KiB
Current children cumulated memory: 524804 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.9 s]
/proc/loadavg: 4.14 4.13 4.10 6/259 39700
/proc/meminfo: memFree=128240996/131382116 swapFree=33010684/33010684
[pid=39364] ppid=39361 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/39364/stat : 39364 (run-opt-log.sh) S 39361 39364 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44916117 4292608 736 18446744073709551615 94507405365248 94507406259781 140735659250080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94507406498832 94507406546576 94507407360000 140735659252001 140735659252196 140735659252196 140735659257798 0
/proc/39364/statm: 1048 736 672 219 0 110 0
[pid=39366] ppid=39364 vsize=707488 memory=525956 CPUtime=3600.09 cores=5,7
/proc/39366/stat : 39366 (roundingsat) R 39364 39364 39143 0 -1 4194304 63791 0 0 0 359602 407 0 0 20 0 1 0 44916117 724467712 131489 18446744073709551615 4227072 8923433 140730182424336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15851520 140730182429010 140730182429224 140730182429224 140730182434794 0
/proc/39366/statm: 176872 131489 2336 1147 0 164299 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 711680 KiB
Current children cumulated memory: 528900 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001239 s, system=0.001237 s

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

# cumulated CPU time of all completed processes:  user=3596.05 s, system=4.08618 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+3610.9 s]
/proc/loadavg: 4.14 4.13 4.10 6/259 39700
/proc/meminfo: memFree=128240996/131382116 swapFree=33010684/33010684
[pid=39364] ppid=39361 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/39364/stat : 39364 (run-opt-log.sh) S 39361 39364 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44916117 4292608 736 18446744073709551615 94507405365248 94507406259781 140735659250080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94507406498832 94507406546576 94507407360000 140735659252001 140735659252196 140735659252196 140735659257798 0
/proc/39364/statm: 1048 736 672 219 0 110 0
[pid=39366] ppid=39364 vsize=707488 memory=525956 CPUtime=3600.09 cores=5,7
/proc/39366/stat : 39366 (roundingsat) R 39364 39364 39143 0 -1 4194304 63791 0 0 0 359602 407 0 0 20 0 1 0 44916117 724467712 131489 18446744073709551615 4227072 8923433 140730182424336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15851520 140730182429010 140730182429224 140730182429224 140730182434794 0
/proc/39366/statm: 176872 131489 2336 1147 0 164299 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 711680 KiB
Current children cumulated memory: 528900 KiB

Child status: 2

Real time (s): 3610.94
CPU time (s): 3600.14
CPU user time (s): 3596.05
CPU system time (s): 4.08618
CPU usage (%): 99.7009
Max. virtual memory (cumulated for all children) (KiB): 711680
Max. memory (cumulated for all children) (KiB): 528900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.05
system time used= 4.08618
maximum resident set size= 526468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64048
page faults= 0
swaps= 0
block input operations= 0
block output operations= 178720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 203
involuntary context switches= 7006


# summary of solver processes directly reported to runsolver:
#   pid: 39364,39366
#   total CPU time (s): 3600.14
#   total CPU user time (s): 3596.05
#   total CPU system time (s): 4.08618

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.6464 second user time and 37.8361 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2025-06-30 16:06:07
IDJOB=4484723
IDBENCH=146666
IDSOLVER=3351
FILE ID=nodeC010/4484723-1751292367
RUNJOBID= nodeC010-1751292234-39156
SLURM_JOB_ID= 9594261
Free space on /tmp= 432668 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484723-1751292367/watcher-4484723-1751292367 -o /tmp/evaluation-result-4484723-1751292367/solver-4484723-1751292367 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751292234-39156 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4484723-1751292367.opb PROOFDIR/proof-4484723-1751292367

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

MD5SUM BENCH= 71e47456366b2ddac308424c74922847
RANDOM SEED=310512475

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3661.181
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3661.405
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.412
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.201
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3661.235
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 2793.346
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.505
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.712
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        123358336 kB
MemAvailable:   127040804 kB
Buffers:            3280 kB
Cached:          4487236 kB
SwapCached:            0 kB
Active:          3261356 kB
Inactive:        4182468 kB
Active(anon):    2971372 kB
Inactive(anon):        0 kB
Active(file):     289984 kB
Inactive(file):  4182468 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           1492820 kB
Writeback:             0 kB
AnonPages:       2956540 kB
Mapped:           117120 kB
Shmem:             17960 kB
KReclaimable:      99288 kB
Slab:             228252 kB
SReclaimable:      99288 kB
SUnreclaim:       128964 kB
KernelStack:        4176 kB
PageTables:         9860 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    3839564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149496 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    342016 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:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 432656 MiB
End job on nodeC010 at 2025-06-30 17:06:18