Trace number 4509378

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ihs 63f22ad? (TO) 3600.39 3609.61

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm85p-opt.opb.negationfix.opb
MD5SUM6fdf9a7d79ebf074d013716e2aa9fa25
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark54
Best CPU time to get the best result obtained on this benchmark19.1004
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40320
Total number of constraints1388
Number of constraints which are clauses629
Number of constraints which are cardinality constraints (but not clauses)629
Number of constraints which are nor clauses,nor cardinality constraints130
Minimum length of a constraint64
Maximum length of a constraint630
Number of terms in the objective function 64
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 64
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 228799
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 550916
Number of bits of the biggest sum of numbers20
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.08	c #variables 40320 #constraints 1388
0.00/0.08	c objective is ce32 
0.00/0.09	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.09	c initial counting CF 32, 64, 128, Arb: 131 , 0 , 0 , 0
0.00/0.09	c GLOBAL bounds - >= 0 @ 0.06517
0.08/0.13	c GLOBAL bounds - >= 0 @ 0.085262
0.08/0.16	c GLOBAL bounds - >= 54 @ 0.0962
3.47/3.54	c #Conflicts:       1000 | #Constraints:       2388
3.47/3.54	c #Conflicts:       2000 | #Constraints:       3388
3.47/3.54	c INPROCESSING
3.47/3.54	c GARBAGE COLLECT
3.47/3.54	c rational objective 54
14.44/14.54	c #Conflicts:       3000 | #Constraints:       3417
14.44/14.54	c #Conflicts:       4000 | #Constraints:       4418
14.44/14.54	c INPROCESSING
14.44/14.54	c GARBAGE COLLECT
14.44/14.54	c rational objective 54
27.41/27.57	c #Conflicts:       5000 | #Constraints:       3848
27.41/27.57	c #Conflicts:       6000 | #Constraints:       4852
27.41/27.57	c INPROCESSING
27.41/27.57	c GARBAGE COLLECT
27.41/27.57	c rational objective 54
58.13/58.36	c #Conflicts:       7000 | #Constraints:       3850
58.13/58.36	c #Conflicts:       8000 | #Constraints:       4852
58.13/58.36	c #Conflicts:       9000 | #Constraints:       5857
58.13/58.36	c INPROCESSING
58.13/58.36	c GARBAGE COLLECT
58.13/58.36	c rational objective 54
75.68/75.90	c #Conflicts:      10000 | #Constraints:       4571
75.68/75.90	c #Conflicts:      11000 | #Constraints:       5574
75.68/75.90	c #Conflicts:      12000 | #Constraints:       6575
75.68/75.90	c INPROCESSING
75.68/75.90	c GARBAGE COLLECT
75.68/75.90	c rational objective 54
92.35/92.68	c #Conflicts:      13000 | #Constraints:       5008
92.35/92.68	c #Conflicts:      14000 | #Constraints:       6015
92.35/92.68	c #Conflicts:      15000 | #Constraints:       7033
92.35/92.68	c INPROCESSING
92.35/92.68	c GARBAGE COLLECT
92.35/92.68	c rational objective 54
116.59/116.93	c #Conflicts:      16000 | #Constraints:       5236
116.59/116.93	c #Conflicts:      17000 | #Constraints:       6238
116.59/116.93	c #Conflicts:      18000 | #Constraints:       7238
116.59/116.93	c INPROCESSING
116.59/116.93	c GARBAGE COLLECT
116.59/116.93	c rational objective 54
334.35/335.21	c #Conflicts:      19000 | #Constraints:       5240
334.35/335.21	c #Conflicts:      20000 | #Constraints:       6240
334.35/335.21	c #Conflicts:      21000 | #Constraints:       7240
334.35/335.21	c INPROCESSING
334.35/335.21	c GARBAGE COLLECT
334.35/335.21	c #Conflicts:      22000 | #Constraints:       5024
334.35/335.21	c #Conflicts:      23000 | #Constraints:       6024
334.35/335.21	c #Conflicts:      24000 | #Constraints:       7024
334.35/335.21	c #Conflicts:      25000 | #Constraints:       8024
334.35/335.21	c INPROCESSING
334.35/335.21	c GARBAGE COLLECT
334.35/335.21	c #Conflicts:      26000 | #Constraints:       5616
334.35/335.21	c #Conflicts:      27000 | #Constraints:       6616
334.35/335.21	c #Conflicts:      28000 | #Constraints:       7616
334.35/335.21	c #Conflicts:      29000 | #Constraints:       8616
334.35/335.21	c INPROCESSING
334.35/335.21	c GARBAGE COLLECT
334.35/335.21	c #Conflicts:      30000 | #Constraints:       6012
334.35/335.21	c #Conflicts:      31000 | #Constraints:       7012
334.35/335.21	c #Conflicts:      32000 | #Constraints:       8012
334.35/335.21	c #Conflicts:      33000 | #Constraints:       9013
334.35/335.21	c INPROCESSING
334.35/335.21	c GARBAGE COLLECT
334.35/335.21	c #Conflicts:      34000 | #Constraints:       6217
334.35/335.21	c #Conflicts:      35000 | #Constraints:       7217
334.35/335.21	c #Conflicts:      36000 | #Constraints:       8217
334.35/335.21	c #Conflicts:      37000 | #Constraints:       9217
334.35/335.21	c INPROCESSING
334.35/335.21	c GARBAGE COLLECT
334.35/335.21	c #Conflicts:      38000 | #Constraints:       6404
334.35/335.21	c #Conflicts:      39000 | #Constraints:       7503
334.35/335.21	c #Conflicts:      40000 | #Constraints:       8503
334.35/335.21	c #Conflicts:      41000 | #Constraints:       9503
334.35/335.21	c INPROCESSING
334.35/335.21	c GARBAGE COLLECT
334.35/335.21	c #Conflicts:      42000 | #Constraints:       6164
334.35/335.21	c #Conflicts:      43000 | #Constraints:       7164
334.35/335.21	c #Conflicts:      44000 | #Constraints:       8165
334.35/335.21	c #Conflicts:      45000 | #Constraints:       9166
334.35/335.21	c #Conflicts:      46000 | #Constraints:      10166
334.35/335.21	c INPROCESSING
334.35/335.21	c GARBAGE COLLECT
334.35/335.21	c #Conflicts:      47000 | #Constraints:       6686
334.35/335.21	c #Conflicts:      48000 | #Constraints:       7686
334.35/335.21	c #Conflicts:      49000 | #Constraints:       8687
334.35/335.21	c #Conflicts:      50000 | #Constraints:       9688
334.35/335.21	c #Conflicts:      51000 | #Constraints:      10689
334.35/335.21	c INPROCESSING
334.35/335.21	c GARBAGE COLLECT
334.35/335.21	c #Conflicts:      52000 | #Constraints:       7060
334.35/335.21	c #Conflicts:      53000 | #Constraints:       8070
334.35/335.21	c #Conflicts:      54000 | #Constraints:       9070
334.35/335.21	c #Conflicts:      55000 | #Constraints:      10070
334.35/335.21	c #Conflicts:      56000 | #Constraints:      11071
334.35/335.21	c INPROCESSING
334.35/335.21	c GARBAGE COLLECT
334.35/335.21	c #Conflicts:      57000 | #Constraints:       7236
334.35/335.21	c #Conflicts:      58000 | #Constraints:       8237
334.35/335.21	c #Conflicts:      59000 | #Constraints:       9237
334.35/335.21	c #Conflicts:      60000 | #Constraints:      10243
334.35/335.21	c #Conflicts:      61000 | #Constraints:      11250
334.35/335.21	c INPROCESSING
334.35/335.21	c GARBAGE COLLECT
334.35/335.21	c #Conflicts:      62000 | #Constraints:       7265
334.35/335.21	c #Conflicts:      63000 | #Constraints:       8268
334.35/335.21	c #Conflicts:      64000 | #Constraints:       9272
334.35/335.21	c #Conflicts:      65000 | #Constraints:      10274
334.35/335.21	c #Conflicts:      66000 | #Constraints:      11274
334.35/335.21	c INPROCESSING
334.35/335.21	c GARBAGE COLLECT
334.35/335.21	c rational objective 54
361.50/362.48	c #Conflicts:      67000 | #Constraints:       7056
361.50/362.48	c #Conflicts:      68000 | #Constraints:       8084
361.50/362.48	c #Conflicts:      69000 | #Constraints:       9091
361.50/362.48	c #Conflicts:      70000 | #Constraints:      10097
361.50/362.48	c #Conflicts:      71000 | #Constraints:      11099
361.50/362.48	c #Conflicts:      72000 | #Constraints:      12103
361.50/362.48	c INPROCESSING
361.50/362.48	c GARBAGE COLLECT
361.50/362.48	c rational objective 54
406.39/407.46	c #Conflicts:      73000 | #Constraints:       7711
406.39/407.46	c #Conflicts:      74000 | #Constraints:       8716
406.39/407.46	c #Conflicts:      75000 | #Constraints:       9716
406.39/407.46	c #Conflicts:      76000 | #Constraints:      10716
406.39/407.46	c #Conflicts:      77000 | #Constraints:      11719
406.39/407.46	c #Conflicts:      78000 | #Constraints:      12724
406.39/407.46	c INPROCESSING
406.39/407.46	c GARBAGE COLLECT
406.39/407.46	c rational objective 54
443.10/444.21	c #Conflicts:      79000 | #Constraints:       8095
443.10/444.21	c #Conflicts:      80000 | #Constraints:       9095
443.10/444.21	c #Conflicts:      81000 | #Constraints:      10114
443.10/444.21	c #Conflicts:      82000 | #Constraints:      11116
443.10/444.21	c #Conflicts:      83000 | #Constraints:      12116
443.10/444.21	c #Conflicts:      84000 | #Constraints:      13189
443.10/444.21	c INPROCESSING
443.10/444.21	c GARBAGE COLLECT
443.10/444.21	c rational objective 54
491.38/492.66	c #Conflicts:      85000 | #Constraints:       8316
491.38/492.66	c #Conflicts:      86000 | #Constraints:       9316
491.38/492.66	c #Conflicts:      87000 | #Constraints:      10316
491.38/492.66	c #Conflicts:      88000 | #Constraints:      11316
491.38/492.66	c #Conflicts:      89000 | #Constraints:      12316
491.38/492.66	c #Conflicts:      90000 | #Constraints:      13316
491.38/492.66	c INPROCESSING
491.38/492.66	c GARBAGE COLLECT
491.38/492.66	c rational objective 54
505.64/506.94	c #Conflicts:      91000 | #Constraints:       8268
505.64/506.94	c #Conflicts:      92000 | #Constraints:       9268
505.64/506.94	c #Conflicts:      93000 | #Constraints:      10268
505.64/506.94	c #Conflicts:      94000 | #Constraints:      11268
505.64/506.94	c #Conflicts:      95000 | #Constraints:      12268
505.64/506.94	c #Conflicts:      96000 | #Constraints:      13268
505.64/506.94	c INPROCESSING
505.64/506.94	c GARBAGE COLLECT
505.64/506.94	c rational objective 54
558.92/560.34	c #Conflicts:      97000 | #Constraints:       8057
558.92/560.34	c #Conflicts:      98000 | #Constraints:       9057
558.92/560.34	c #Conflicts:      99000 | #Constraints:      10058
558.92/560.34	c #Conflicts:     100000 | #Constraints:      11058
558.92/560.34	c #Conflicts:     101000 | #Constraints:      12059
558.92/560.34	c #Conflicts:     102000 | #Constraints:      13060
558.92/560.34	c #Conflicts:     103000 | #Constraints:      14060
558.92/560.34	c INPROCESSING
558.92/560.34	c GARBAGE COLLECT
558.92/560.34	c rational objective 54
604.90/606.43	c #Conflicts:     104000 | #Constraints:       8648
604.90/606.43	c #Conflicts:     105000 | #Constraints:       9701
604.90/606.43	c #Conflicts:     106000 | #Constraints:      10704
604.90/606.43	c #Conflicts:     107000 | #Constraints:      11705
604.90/606.43	c #Conflicts:     108000 | #Constraints:      12721
604.90/606.43	c #Conflicts:     109000 | #Constraints:      13723
604.90/606.43	c #Conflicts:     110000 | #Constraints:      14724
604.90/606.43	c INPROCESSING
604.90/606.43	c GARBAGE COLLECT
604.90/606.43	c rational objective 54
772.28/774.23	c #Conflicts:     111000 | #Constraints:       9081
772.28/774.23	c #Conflicts:     112000 | #Constraints:      10081
772.28/774.23	c #Conflicts:     113000 | #Constraints:      11081
772.28/774.23	c #Conflicts:     114000 | #Constraints:      12081
772.28/774.23	c #Conflicts:     115000 | #Constraints:      13081
772.28/774.23	c #Conflicts:     116000 | #Constraints:      14082
772.28/774.23	c #Conflicts:     117000 | #Constraints:      15162
772.28/774.23	c INPROCESSING
772.28/774.23	c GARBAGE COLLECT
772.28/774.23	c #Conflicts:     118000 | #Constraints:       9288
772.28/774.23	c #Conflicts:     119000 | #Constraints:      10290
772.28/774.23	c #Conflicts:     120000 | #Constraints:      11291
772.28/774.23	c #Conflicts:     121000 | #Constraints:      12291
772.28/774.23	c #Conflicts:     122000 | #Constraints:      13301
772.28/774.23	c #Conflicts:     123000 | #Constraints:      14316
772.28/774.23	c #Conflicts:     124000 | #Constraints:      15318
772.28/774.23	c INPROCESSING
772.28/774.23	c GARBAGE COLLECT
772.28/774.23	c rational objective 54
905.55/907.87	c #Conflicts:     125000 | #Constraints:       9273
905.55/907.87	c #Conflicts:     126000 | #Constraints:      10273
905.55/907.87	c #Conflicts:     127000 | #Constraints:      11273
905.55/907.87	c #Conflicts:     128000 | #Constraints:      12273
905.55/907.87	c #Conflicts:     129000 | #Constraints:      13273
905.55/907.87	c #Conflicts:     130000 | #Constraints:      14273
905.55/907.87	c #Conflicts:     131000 | #Constraints:      15273
905.55/907.87	c INPROCESSING
905.55/907.87	c GARBAGE COLLECT
905.55/907.87	c #Conflicts:     132000 | #Constraints:       9040
905.55/907.87	c #Conflicts:     133000 | #Constraints:      10040
905.55/907.87	c #Conflicts:     134000 | #Constraints:      11040
905.55/907.87	c #Conflicts:     135000 | #Constraints:      12040
905.55/907.87	c #Conflicts:     136000 | #Constraints:      13089
905.55/907.87	c #Conflicts:     137000 | #Constraints:      14091
905.55/907.87	c #Conflicts:     138000 | #Constraints:      15152
905.55/907.87	c #Conflicts:     139000 | #Constraints:      16155
905.55/907.87	c INPROCESSING
905.55/907.87	c GARBAGE COLLECT
905.55/907.87	c #Conflicts:     140000 | #Constraints:      10024
905.55/907.87	c #Conflicts:     141000 | #Constraints:      11541
905.55/907.87	c #Conflicts:     142000 | #Constraints:      13066
905.55/907.87	c #Conflicts:     143000 | #Constraints:      14606
905.55/907.87	c #Conflicts:     144000 | #Constraints:      16097
905.55/907.87	c #Conflicts:     145000 | #Constraints:      17585
905.55/907.87	c #Conflicts:     146000 | #Constraints:      19090
905.55/907.87	c #Conflicts:     147000 | #Constraints:      20556
905.55/907.87	c INPROCESSING
905.55/907.87	c GARBAGE COLLECT
905.55/907.87	c rational objective 54
1607.55/1611.63	c #Conflicts:     148000 | #Constraints:      11996
1607.55/1611.63	c #Conflicts:     149000 | #Constraints:      12996
1607.55/1611.63	c #Conflicts:     150000 | #Constraints:      13996
1607.55/1611.63	c #Conflicts:     151000 | #Constraints:      14996
1607.55/1611.63	c #Conflicts:     152000 | #Constraints:      15996
1607.55/1611.63	c #Conflicts:     153000 | #Constraints:      16996
1607.55/1611.63	c #Conflicts:     154000 | #Constraints:      17996
1607.55/1611.63	c #Conflicts:     155000 | #Constraints:      18996
1607.55/1611.63	c INPROCESSING
1607.55/1611.63	c GARBAGE COLLECT
1607.55/1611.63	c #Conflicts:     156000 | #Constraints:      11208
1607.55/1611.63	c #Conflicts:     157000 | #Constraints:      12224
1607.55/1611.63	c #Conflicts:     158000 | #Constraints:      13298
1607.55/1611.63	c #Conflicts:     159000 | #Constraints:      14364
1607.55/1611.63	c #Conflicts:     160000 | #Constraints:      15372
1607.55/1611.63	c #Conflicts:     161000 | #Constraints:      16377
1607.55/1611.63	c #Conflicts:     162000 | #Constraints:      17377
1607.55/1611.63	c #Conflicts:     163000 | #Constraints:      18377
1607.55/1611.63	c INPROCESSING
1607.55/1611.63	c GARBAGE COLLECT
1607.55/1611.63	c #Conflicts:     164000 | #Constraints:      10799
1607.55/1611.63	c #Conflicts:     165000 | #Constraints:      11799
1607.55/1611.63	c #Conflicts:     166000 | #Constraints:      12799
1607.55/1611.63	c #Conflicts:     167000 | #Constraints:      13799
1607.55/1611.63	c #Conflicts:     168000 | #Constraints:      14799
1607.55/1611.63	c #Conflicts:     169000 | #Constraints:      15855
1607.55/1611.63	c #Conflicts:     170000 | #Constraints:      16909
1607.55/1611.63	c #Conflicts:     171000 | #Constraints:      17916
1607.55/1611.63	c INPROCESSING
1607.55/1611.63	c GARBAGE COLLECT
1607.55/1611.63	c #Conflicts:     172000 | #Constraints:      10369
1607.55/1611.63	c #Conflicts:     173000 | #Constraints:      11370
1607.55/1611.63	c #Conflicts:     174000 | #Constraints:      12372
1607.55/1611.63	c #Conflicts:     175000 | #Constraints:      13374
1607.55/1611.63	c #Conflicts:     176000 | #Constraints:      14376
1607.55/1611.63	c #Conflicts:     177000 | #Constraints:      15657
1607.55/1611.63	c #Conflicts:     178000 | #Constraints:      16869
1607.55/1611.63	c #Conflicts:     179000 | #Constraints:      17913
1607.55/1611.63	c #Conflicts:     180000 | #Constraints:      18942
1607.55/1611.63	c INPROCESSING
1607.55/1611.63	c GARBAGE COLLECT
1607.55/1611.63	c #Conflicts:     181000 | #Constraints:      11431
1607.55/1611.63	c #Conflicts:     182000 | #Constraints:      12475
1607.55/1611.63	c #Conflicts:     183000 | #Constraints:      13561
1607.55/1611.63	c #Conflicts:     184000 | #Constraints:      14771
1607.55/1611.63	c #Conflicts:     185000 | #Constraints:      15794
1607.55/1611.63	c #Conflicts:     186000 | #Constraints:      16798
1607.55/1611.63	c #Conflicts:     187000 | #Constraints:      17803
1607.55/1611.63	c #Conflicts:     188000 | #Constraints:      18824
1607.55/1611.63	c #Conflicts:     189000 | #Constraints:      19843
1607.55/1611.63	c INPROCESSING
1607.55/1611.63	c GARBAGE COLLECT
1607.55/1611.63	c #Conflicts:     190000 | #Constraints:      11636
1607.55/1611.63	c #Conflicts:     191000 | #Constraints:      12636
1607.55/1611.63	c #Conflicts:     192000 | #Constraints:      13640
1607.55/1611.63	c #Conflicts:     193000 | #Constraints:      14663
1607.55/1611.63	c #Conflicts:     194000 | #Constraints:      15663
1607.55/1611.63	c #Conflicts:     195000 | #Constraints:      16808
1607.55/1611.63	c #Conflicts:     196000 | #Constraints:      17839
1607.55/1611.63	c #Conflicts:     197000 | #Constraints:      18841
1607.55/1611.63	c #Conflicts:     198000 | #Constraints:      19853
1607.55/1611.63	c INPROCESSING
1607.55/1611.63	c GARBAGE COLLECT
1607.55/1611.63	c #Conflicts:     199000 | #Constraints:      11680
1607.55/1611.63	c #Conflicts:     200000 | #Constraints:      12695
1607.55/1611.63	c #Conflicts:     201000 | #Constraints:      13696
1607.55/1611.63	c #Conflicts:     202000 | #Constraints:      14697
1607.55/1611.63	c #Conflicts:     203000 | #Constraints:      15697
1607.55/1611.63	c #Conflicts:     204000 | #Constraints:      16698
1607.55/1611.63	c #Conflicts:     205000 | #Constraints:      17698
1607.55/1611.63	c #Conflicts:     206000 | #Constraints:      18699
1607.55/1611.63	c #Conflicts:     207000 | #Constraints:      19699
1607.55/1611.63	c INPROCESSING
1607.55/1611.63	c GARBAGE COLLECT
1607.55/1611.63	c #Conflicts:     208000 | #Constraints:      11458
1607.55/1611.63	c #Conflicts:     209000 | #Constraints:      12459
1607.55/1611.63	c #Conflicts:     210000 | #Constraints:      13460
1607.55/1611.63	c #Conflicts:     211000 | #Constraints:      14460
1607.55/1611.63	c #Conflicts:     212000 | #Constraints:      15460
1607.55/1611.63	c #Conflicts:     213000 | #Constraints:      16460
1607.55/1611.63	c #Conflicts:     214000 | #Constraints:      17465
1607.55/1611.63	c #Conflicts:     215000 | #Constraints:      18467
1607.55/1611.63	c #Conflicts:     216000 | #Constraints:      19468
1607.55/1611.63	c INPROCESSING
1607.55/1611.63	c GARBAGE COLLECT
1607.55/1611.63	c #Conflicts:     217000 | #Constraints:      11154
1607.55/1611.63	c #Conflicts:     218000 | #Constraints:      12164
1607.55/1611.63	c #Conflicts:     219000 | #Constraints:      13169
1607.55/1611.63	c #Conflicts:     220000 | #Constraints:      14171
1607.55/1611.63	c #Conflicts:     221000 | #Constraints:      15174
1738.90/1743.30	c #Conflicts:     222000 | #Constraints:      16181
1738.90/1743.30	c #Conflicts:     223000 | #Constraints:      17190
1738.90/1743.30	c #Conflicts:     224000 | #Constraints:      18192
1738.90/1743.30	c #Conflicts:     225000 | #Constraints:      19198
1738.90/1743.30	c #Conflicts:     226000 | #Constraints:      20204
1738.90/1743.30	c INPROCESSING
1738.90/1743.30	c GARBAGE COLLECT
1738.90/1743.30	c #Conflicts:     227000 | #Constraints:      11724
1738.90/1743.30	c #Conflicts:     228000 | #Constraints:      12724
1738.90/1743.30	c #Conflicts:     229000 | #Constraints:      13727
1738.90/1743.30	c #Conflicts:     230000 | #Constraints:      14731
1738.90/1743.30	c #Conflicts:     231000 | #Constraints:      15743
1738.90/1743.30	c #Conflicts:     232000 | #Constraints:      16744
1738.90/1743.30	c #Conflicts:     233000 | #Constraints:      17746
1738.90/1743.30	c #Conflicts:     234000 | #Constraints:      18764
1738.90/1743.30	c #Conflicts:     235000 | #Constraints:      19767
1738.90/1743.30	c #Conflicts:     236000 | #Constraints:      20768
1738.90/1743.30	c INPROCESSING
1738.90/1743.30	c GARBAGE COLLECT
1738.90/1743.30	c rational objective 54
1813.01/1817.63	c #Conflicts:     237000 | #Constraints:      12099
1813.01/1817.63	c #Conflicts:     238000 | #Constraints:      13101
1813.01/1817.63	c #Conflicts:     239000 | #Constraints:      14113
1813.01/1817.63	c #Conflicts:     240000 | #Constraints:      15118
1813.01/1817.63	c #Conflicts:     241000 | #Constraints:      16121
1813.01/1817.63	c #Conflicts:     242000 | #Constraints:      17122
1813.01/1817.63	c #Conflicts:     243000 | #Constraints:      18122
1813.01/1817.63	c #Conflicts:     244000 | #Constraints:      19123
1813.01/1817.63	c #Conflicts:     245000 | #Constraints:      20124
1813.01/1817.63	c #Conflicts:     246000 | #Constraints:      21126
1813.01/1817.63	c INPROCESSING
1813.01/1817.63	c GARBAGE COLLECT
1813.01/1817.63	c rational objective 54
1892.02/1896.85	c #Conflicts:     247000 | #Constraints:      12303
1892.02/1896.85	c #Conflicts:     248000 | #Constraints:      13304
1892.02/1896.85	c #Conflicts:     249000 | #Constraints:      14307
1892.02/1896.85	c #Conflicts:     250000 | #Constraints:      15314
1892.02/1896.85	c #Conflicts:     251000 | #Constraints:      16329
1892.02/1896.85	c #Conflicts:     252000 | #Constraints:      17344
1892.02/1896.85	c #Conflicts:     253000 | #Constraints:      18358
1892.02/1896.85	c #Conflicts:     254000 | #Constraints:      19378
1892.02/1896.85	c #Conflicts:     255000 | #Constraints:      20399
1892.02/1896.85	c #Conflicts:     256000 | #Constraints:      21413
1892.02/1896.85	c INPROCESSING
1892.02/1896.85	c GARBAGE COLLECT
1892.02/1896.85	c rational objective 54
1952.76/1957.79	c #Conflicts:     257000 | #Constraints:      12345
1952.76/1957.79	c #Conflicts:     258000 | #Constraints:      13349
1952.76/1957.79	c #Conflicts:     259000 | #Constraints:      14349
1952.76/1957.79	c #Conflicts:     260000 | #Constraints:      15350
1952.76/1957.79	c #Conflicts:     261000 | #Constraints:      16350
1952.76/1957.79	c #Conflicts:     262000 | #Constraints:      17351
1952.76/1957.79	c #Conflicts:     263000 | #Constraints:      18353
1952.76/1957.79	c #Conflicts:     264000 | #Constraints:      19360
1952.76/1957.79	c #Conflicts:     265000 | #Constraints:      20396
1952.76/1957.79	c #Conflicts:     266000 | #Constraints:      21410
1952.76/1957.79	c INPROCESSING
1952.76/1957.79	c GARBAGE COLLECT
1952.76/1957.79	c rational objective 54
2061.08/2066.31	c #Conflicts:     267000 | #Constraints:      12166
2061.08/2066.31	c #Conflicts:     268000 | #Constraints:      13166
2061.08/2066.31	c #Conflicts:     269000 | #Constraints:      14166
2061.08/2066.31	c #Conflicts:     270000 | #Constraints:      15166
2061.08/2066.31	c #Conflicts:     271000 | #Constraints:      16170
2061.08/2066.31	c #Conflicts:     272000 | #Constraints:      17179
2061.08/2066.31	c #Conflicts:     273000 | #Constraints:      18190
2061.08/2066.31	c #Conflicts:     274000 | #Constraints:      19200
2061.08/2066.31	c #Conflicts:     275000 | #Constraints:      20203
2061.08/2066.31	c #Conflicts:     276000 | #Constraints:      21213
2061.08/2066.31	c #Conflicts:     277000 | #Constraints:      22229
2061.08/2066.31	c INPROCESSING
2061.08/2066.31	c GARBAGE COLLECT
2061.08/2066.31	c rational objective 54
2134.88/2140.35	c #Conflicts:     278000 | #Constraints:      12747
2134.88/2140.35	c #Conflicts:     279000 | #Constraints:      13747
2134.88/2140.35	c #Conflicts:     280000 | #Constraints:      14748
2134.88/2140.35	c #Conflicts:     281000 | #Constraints:      15749
2134.88/2140.35	c #Conflicts:     282000 | #Constraints:      16750
2134.88/2140.35	c #Conflicts:     283000 | #Constraints:      17755
2134.88/2140.35	c #Conflicts:     284000 | #Constraints:      18765
2134.88/2140.35	c #Conflicts:     285000 | #Constraints:      19771
2134.88/2140.35	c #Conflicts:     286000 | #Constraints:      20773
2134.88/2140.35	c #Conflicts:     287000 | #Constraints:      21778
2134.88/2140.35	c #Conflicts:     288000 | #Constraints:      22780
2134.88/2140.35	c INPROCESSING
2134.88/2140.35	c GARBAGE COLLECT
2134.88/2140.35	c rational objective 54
2244.09/2249.81	c #Conflicts:     289000 | #Constraints:      13125
2244.09/2249.81	c #Conflicts:     290000 | #Constraints:      14143
2244.09/2249.81	c #Conflicts:     291000 | #Constraints:      15148
2244.09/2249.81	c #Conflicts:     292000 | #Constraints:      16151
2244.09/2249.81	c #Conflicts:     293000 | #Constraints:      17153
2244.09/2249.81	c #Conflicts:     294000 | #Constraints:      18153
2244.09/2249.81	c #Conflicts:     295000 | #Constraints:      19154
2244.09/2249.81	c #Conflicts:     296000 | #Constraints:      20154
2244.09/2249.81	c #Conflicts:     297000 | #Constraints:      21154
2244.09/2249.81	c #Conflicts:     298000 | #Constraints:      22154
2244.09/2249.81	c #Conflicts:     299000 | #Constraints:      23155
2244.09/2249.81	c INPROCESSING
2244.09/2249.81	c GARBAGE COLLECT
2244.09/2249.81	c rational objective 54
2306.14/2312.01	c #Conflicts:     300000 | #Constraints:      13338
2306.14/2312.01	c #Conflicts:     301000 | #Constraints:      14338
2306.14/2312.01	c #Conflicts:     302000 | #Constraints:      15338
2306.14/2312.01	c #Conflicts:     303000 | #Constraints:      16338
2306.14/2312.01	c #Conflicts:     304000 | #Constraints:      17338
2306.14/2312.01	c #Conflicts:     305000 | #Constraints:      18338
2306.14/2312.01	c #Conflicts:     306000 | #Constraints:      19338
2306.14/2312.01	c #Conflicts:     307000 | #Constraints:      20338
2306.14/2312.01	c #Conflicts:     308000 | #Constraints:      21338
2306.14/2312.01	c #Conflicts:     309000 | #Constraints:      22338
2306.14/2312.01	c #Conflicts:     310000 | #Constraints:      23338
2306.14/2312.01	c INPROCESSING
2306.14/2312.01	c GARBAGE COLLECT
2306.14/2312.01	c rational objective 54
2347.22/2353.29	c #Conflicts:     311000 | #Constraints:      13297
2347.22/2353.29	c #Conflicts:     312000 | #Constraints:      14297
2347.22/2353.29	c #Conflicts:     313000 | #Constraints:      15297
2347.22/2353.29	c #Conflicts:     314000 | #Constraints:      16297
2347.22/2353.29	c #Conflicts:     315000 | #Constraints:      17297
2347.22/2353.29	c #Conflicts:     316000 | #Constraints:      18297
2347.22/2353.29	c #Conflicts:     317000 | #Constraints:      19297
2347.22/2353.29	c #Conflicts:     318000 | #Constraints:      20298
2347.22/2353.29	c #Conflicts:     319000 | #Constraints:      21298
2347.22/2353.29	c #Conflicts:     320000 | #Constraints:      22298
2347.22/2353.29	c #Conflicts:     321000 | #Constraints:      23299
2347.22/2353.29	c INPROCESSING
2347.22/2353.29	c GARBAGE COLLECT
2347.22/2353.29	c rational objective 54
2428.62/2434.81	c #Conflicts:     322000 | #Constraints:      13077
2428.62/2434.81	c #Conflicts:     323000 | #Constraints:      14086
2428.62/2434.81	c #Conflicts:     324000 | #Constraints:      15088
2428.62/2434.81	c #Conflicts:     325000 | #Constraints:      16089
2428.62/2434.81	c #Conflicts:     326000 | #Constraints:      17090
2428.62/2434.81	c #Conflicts:     327000 | #Constraints:      18091
2428.62/2434.81	c #Conflicts:     328000 | #Constraints:      19092
2428.62/2434.81	c #Conflicts:     329000 | #Constraints:      20093
2428.62/2434.81	c #Conflicts:     330000 | #Constraints:      21093
2428.62/2434.81	c #Conflicts:     331000 | #Constraints:      22094
2428.62/2434.81	c #Conflicts:     332000 | #Constraints:      23095
2428.62/2434.81	c #Conflicts:     333000 | #Constraints:      24096
2428.62/2434.81	c INPROCESSING
2428.62/2434.81	c GARBAGE COLLECT
2428.62/2434.81	c rational objective 54
2529.57/2536.07	c #Conflicts:     334000 | #Constraints:      13713
2529.57/2536.07	c #Conflicts:     335000 | #Constraints:      14714
2529.57/2536.07	c #Conflicts:     336000 | #Constraints:      15718
2529.57/2536.07	c #Conflicts:     337000 | #Constraints:      16726
2529.57/2536.07	c #Conflicts:     338000 | #Constraints:      17732
2529.57/2536.07	c #Conflicts:     339000 | #Constraints:      18734
2529.57/2536.07	c #Conflicts:     340000 | #Constraints:      19735
2529.57/2536.07	c #Conflicts:     341000 | #Constraints:      20738
2529.57/2536.07	c #Conflicts:     342000 | #Constraints:      21742
2529.57/2536.07	c #Conflicts:     343000 | #Constraints:      22744
2529.57/2536.07	c #Conflicts:     344000 | #Constraints:      23747
2529.57/2536.07	c #Conflicts:     345000 | #Constraints:      24754
2529.57/2536.07	c INPROCESSING
2529.57/2536.07	c GARBAGE COLLECT
2529.57/2536.07	c rational objective 54
2602.58/2609.26	c #Conflicts:     346000 | #Constraints:      14105
2602.58/2609.26	c #Conflicts:     347000 | #Constraints:      15105
2602.58/2609.26	c #Conflicts:     348000 | #Constraints:      16107
2602.58/2609.26	c #Conflicts:     349000 | #Constraints:      17107
2602.58/2609.26	c #Conflicts:     350000 | #Constraints:      18117
2602.58/2609.26	c #Conflicts:     351000 | #Constraints:      19117
2602.58/2609.26	c #Conflicts:     352000 | #Constraints:      20118
2602.58/2609.26	c #Conflicts:     353000 | #Constraints:      21120
2602.58/2609.26	c #Conflicts:     354000 | #Constraints:      22120
2602.58/2609.26	c #Conflicts:     355000 | #Constraints:      23123
2602.58/2609.26	c #Conflicts:     356000 | #Constraints:      24128
2602.58/2609.26	c #Conflicts:     357000 | #Constraints:      25144
2602.58/2609.26	c INPROCESSING
2602.58/2609.26	c GARBAGE COLLECT
2602.58/2609.26	c rational objective 54
2703.21/2710.18	c #Conflicts:     358000 | #Constraints:      14314
2703.21/2710.18	c #Conflicts:     359000 | #Constraints:      15327
2703.21/2710.18	c #Conflicts:     360000 | #Constraints:      16335
2703.21/2710.18	c #Conflicts:     361000 | #Constraints:      17343
2703.21/2710.18	c #Conflicts:     362000 | #Constraints:      18367
2703.21/2710.18	c #Conflicts:     363000 | #Constraints:      19398
2703.21/2710.18	c #Conflicts:     364000 | #Constraints:      20408
2703.21/2710.18	c #Conflicts:     365000 | #Constraints:      21424
2703.21/2710.18	c #Conflicts:     366000 | #Constraints:      22435
2703.21/2710.18	c #Conflicts:     367000 | #Constraints:      23448
2703.21/2710.18	c #Conflicts:     368000 | #Constraints:      24459
2703.21/2710.18	c #Conflicts:     369000 | #Constraints:      25475
2703.21/2710.18	c INPROCESSING
2703.21/2710.18	c GARBAGE COLLECT
2703.21/2710.18	c rational objective 54
2834.26/2841.56	c #Conflicts:     370000 | #Constraints:      14379
2834.26/2841.56	c #Conflicts:     371000 | #Constraints:      15388
2834.26/2841.56	c #Conflicts:     372000 | #Constraints:      16407
2834.26/2841.56	c #Conflicts:     373000 | #Constraints:      17409
2834.26/2841.56	c #Conflicts:     374000 | #Constraints:      18411
2834.26/2841.56	c #Conflicts:     375000 | #Constraints:      19413
2834.26/2841.56	c #Conflicts:     376000 | #Constraints:      20413
2834.26/2841.56	c #Conflicts:     377000 | #Constraints:      21414
2834.26/2841.56	c #Conflicts:     378000 | #Constraints:      22416
2834.26/2841.56	c #Conflicts:     379000 | #Constraints:      23436
2834.26/2841.56	c #Conflicts:     380000 | #Constraints:      24452
2834.26/2841.56	c #Conflicts:     381000 | #Constraints:      25478
2834.26/2841.56	c INPROCESSING
2834.26/2841.56	c GARBAGE COLLECT
2834.26/2841.56	c rational objective 54
2927.22/2934.79	c #Conflicts:     382000 | #Constraints:      14161
2927.22/2934.79	c #Conflicts:     383000 | #Constraints:      15161
2927.22/2934.79	c #Conflicts:     384000 | #Constraints:      16163
2927.22/2934.79	c #Conflicts:     385000 | #Constraints:      17164
2927.22/2934.79	c #Conflicts:     386000 | #Constraints:      18164
2927.22/2934.79	c #Conflicts:     387000 | #Constraints:      19166
2927.22/2934.79	c #Conflicts:     388000 | #Constraints:      20173
2927.22/2934.79	c #Conflicts:     389000 | #Constraints:      21178
2927.22/2934.79	c #Conflicts:     390000 | #Constraints:      22186
2927.22/2934.79	c #Conflicts:     391000 | #Constraints:      23186
2927.22/2934.79	c #Conflicts:     392000 | #Constraints:      24186
2927.22/2934.79	c #Conflicts:     393000 | #Constraints:      25186
2927.22/2934.79	c #Conflicts:     394000 | #Constraints:      26186
2927.22/2934.79	c INPROCESSING
2927.22/2934.79	c GARBAGE COLLECT
2927.22/2934.79	c rational objective 54
3124.71/3132.75	c #Conflicts:     395000 | #Constraints:      14717
3124.71/3132.75	c #Conflicts:     396000 | #Constraints:      15717
3124.71/3132.75	c #Conflicts:     397000 | #Constraints:      16721
3124.71/3132.75	c #Conflicts:     398000 | #Constraints:      17723
3124.71/3132.75	c #Conflicts:     399000 | #Constraints:      18725
3124.71/3132.75	c #Conflicts:     400000 | #Constraints:      19726
3124.71/3132.75	c #Conflicts:     401000 | #Constraints:      20727
3124.71/3132.75	c #Conflicts:     402000 | #Constraints:      21727
3124.71/3132.75	c #Conflicts:     403000 | #Constraints:      22728
3124.71/3132.75	c #Conflicts:     404000 | #Constraints:      23728
3124.71/3132.75	c #Conflicts:     405000 | #Constraints:      24728
3124.71/3132.75	c #Conflicts:     406000 | #Constraints:      25728
3124.71/3132.75	c #Conflicts:     407000 | #Constraints:      26728
3124.71/3132.75	c INPROCESSING
3124.71/3132.75	c GARBAGE COLLECT
3124.71/3132.75	c rational objective 54
3206.00/3214.29	c #Conflicts:     408000 | #Constraints:      15076
3206.00/3214.29	c #Conflicts:     409000 | #Constraints:      16079
3206.00/3214.29	c #Conflicts:     410000 | #Constraints:      17082
3206.00/3214.29	c #Conflicts:     411000 | #Constraints:      18084
3206.00/3214.29	c #Conflicts:     412000 | #Constraints:      19084
3206.00/3214.29	c #Conflicts:     413000 | #Constraints:      20085
3206.00/3214.29	c #Conflicts:     414000 | #Constraints:      21092
3206.00/3214.29	c #Conflicts:     415000 | #Constraints:      22097
3206.00/3214.29	c #Conflicts:     416000 | #Constraints:      23099
3206.00/3214.29	c #Conflicts:     417000 | #Constraints:      24112
3206.00/3214.29	c #Conflicts:     418000 | #Constraints:      25114
3206.00/3214.29	c #Conflicts:     419000 | #Constraints:      26119
3206.00/3214.29	c #Conflicts:     420000 | #Constraints:      27120
3206.00/3214.29	c INPROCESSING
3206.00/3214.29	c GARBAGE COLLECT
3206.00/3214.29	c rational objective 54
3322.70/3331.22	c #Conflicts:     421000 | #Constraints:      15287
3322.70/3331.22	c #Conflicts:     422000 | #Constraints:      16287
3322.70/3331.22	c #Conflicts:     423000 | #Constraints:      17287
3322.70/3331.22	c #Conflicts:     424000 | #Constraints:      18287
3322.70/3331.22	c #Conflicts:     425000 | #Constraints:      19287
3322.70/3331.22	c #Conflicts:     426000 | #Constraints:      20555
3322.70/3331.22	c #Conflicts:     427000 | #Constraints:      22094
3322.70/3331.22	c #Conflicts:     428000 | #Constraints:      23317
3322.70/3331.22	c #Conflicts:     429000 | #Constraints:      24863
3322.70/3331.22	c #Conflicts:     430000 | #Constraints:      25871
3322.70/3331.22	c #Conflicts:     431000 | #Constraints:      26919
3322.70/3331.22	c #Conflicts:     432000 | #Constraints:      28051
3322.70/3331.22	c #Conflicts:     433000 | #Constraints:      29153
3322.70/3331.22	c INPROCESSING
3322.70/3331.22	c GARBAGE COLLECT
3322.70/3331.22	c rational objective 54
3600.07/3609.30	c #Conflicts:     434000 | #Constraints:      16219
3600.07/3609.30	c #Conflicts:     435000 | #Constraints:      17497
3600.07/3609.30	c #Conflicts:     436000 | #Constraints:      18499
3600.07/3609.30	c #Conflicts:     437000 | #Constraints:      19500
3600.07/3609.30	c #Conflicts:     438000 | #Constraints:      20501
3600.07/3609.30	c #Conflicts:     439000 | #Constraints:      21501
3600.07/3609.30	c #Conflicts:     440000 | #Constraints:      22501
3600.07/3609.30	c #Conflicts:     441000 | #Constraints:      23501
3600.07/3609.30	c #Conflicts:     442000 | #Constraints:      24501
3600.07/3609.30	c #Conflicts:     443000 | #Constraints:      25501
3600.07/3609.30	c #Conflicts:     444000 | #Constraints:      26501
3600.07/3609.30	c #Conflicts:     445000 | #Constraints:      27501
3600.07/3609.30	c #Conflicts:     446000 | #Constraints:      28502
3600.07/3609.30	c INPROCESSING
3600.07/3609.30	c GARBAGE COLLECT
3600.07/3609.30	c #Conflicts:     447000 | #Constraints:      15656
3600.07/3609.30	c #Conflicts:     448000 | #Constraints:      16656
3600.07/3609.30	c #Conflicts:     449000 | #Constraints:      17656
3600.07/3609.30	c #Conflicts:     450000 | #Constraints:      18656
3600.07/3609.30	c #Conflicts:     451000 | #Constraints:      19656
3600.07/3609.30	c cpu time 3577 s
3600.07/3609.30	c deterministic time 408480914389 4.08e+11
3600.07/3609.30	c optimization time 32.5818 s
3600.07/3609.30	c total solve time 3544.36 s
3600.07/3609.30	c core-guided solve time 0 s
3600.07/3609.30	c propagation time 2126.8 s
3600.07/3609.30	c conflict analysis time 774.933 s
3600.07/3609.30	c propagations 145069173
3600.07/3609.30	c resolve steps 1765335
3600.07/3609.30	c decisions 18603272
3600.07/3609.30	c conflicts 451180
3600.07/3609.30	c restarts 1021
3600.07/3609.30	c inprocessing phases 58
3600.07/3609.30	c garbage collections 58 ,( 100.00 )
3600.07/3609.30	c input clauses 629 ,( 45.28 )
3600.07/3609.30	c input cardinalities 629 ,( 45.28 )
3600.07/3609.30	c input general constraints 131 ,( 9.43 )
3600.07/3609.30	c input average constraint length 116.16
3600.07/3609.30	c input average constraint degree 24247.88
3600.07/3609.30	c learned clauses 274 ,( 0.06 )
3600.07/3609.30	c learned cardinalities 30 ,( 0.01 )
3600.07/3609.30	c learned general constraints 461221 ,( 99.93 )
3600.07/3609.30	c learned average constraint length 6770.21
3600.07/3609.30	c learned average constraint degree 10243825494.55
3600.07/3609.30	c watched  CF 32, 64, 128, Arb: 190382 , 0 , 0 , 0
3600.07/3609.30	c counting CF 32, 64, 128, Arb: 270971 , 0 , 0 , 0
3600.07/3609.30	c watched   constraints 190382 ,( 41.27 ) 
3600.07/3609.30	c counting  constraints 270970 ,( 58.73 ) 
3600.07/3609.30	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2815363 , 2090634 , 1134163652 ,( 167490999 , 966672653 )
3600.07/3609.30	c gcd simplifications 622
3600.07/3609.30	c detected cardinalities 2
3600.07/3609.30	c weakened non-implied lits 512365421
3600.07/3609.30	c weakened non-implying lits 1022597
3600.07/3609.30	c original variables 40320
3600.07/3609.30	c clausal propagations 912543
3600.07/3609.30	c cardinality propagations 23127840
3600.07/3609.30	c watched propagations 1178394
3600.07/3609.30	c counting propagations 109177500
3600.07/3609.30	c watch lookups 42405165941
3600.07/3609.30	c watch backjump lookups 0
3600.07/3609.30	c watch checks 58676007087
3600.07/3609.30	c propagation checks 299640915625
3600.07/3609.30	c constraint additions 7430196413
3600.07/3609.30	c trail pops 164107420
3600.07/3609.30	c formula constraints 1388
3600.07/3609.30	c learned constraints 450020
3600.07/3609.30	c bound constraints 0
3600.07/3609.30	c core-guided constraints 0
3600.07/3609.30	c encountered formula constraints 1266611
3600.07/3609.30	c encountered learned constraints 813645
3600.07/3609.30	c encountered bound constraints 0
3600.07/3609.30	c encountered core-guided constraints 0
3600.07/3609.30	c LP total time 918.191 s
3600.07/3609.30	c LP solve time 807.75 s
3600.07/3609.30	c LP constraints added 1911
3600.07/3609.30	c LP constraints removed 499
3600.07/3609.30	c LP pivots internal 476655
3600.07/3609.30	c LP pivots root 372802
3600.07/3609.30	c LP calls 27926
3600.07/3609.30	c LP optimalities 17936
3600.07/3609.30	c LP no pivot count 6796
3600.07/3609.30	c LP infeasibilities 9978
3600.07/3609.30	c LP valid Farkas constraints 9834
3600.07/3609.30	c LP learned Farkas constraints 1159
3600.07/3609.30	c LP basis resets 8
3600.07/3609.30	c LP cycling count 0
3600.07/3609.30	c LP singular count 5
3600.07/3609.30	c LP no primal count 0
3600.07/3609.30	c LP no farkas count 3
3600.07/3609.30	c LP other issue count 0
3600.07/3609.30	c LP Gomory cuts 512
3600.07/3609.30	c LP learned cuts 11
3600.07/3609.30	c LP deleted cuts 499
3600.07/3609.30	c LP encountered Gomory constraints 438
3600.07/3609.30	c LP encountered Farkas constraints 124492
3600.07/3609.30	c LP encountered learned Farkas constraints 10170
3600.07/3609.30	c CG auxiliary variables introduced 1
3600.07/3609.30	c CG solutions found 0
3600.07/3609.30	c CG cores constructed 0
3600.07/3609.30	c CG core cardinality constraints returned 0
3600.07/3609.30	c CG unit cores 0
3600.07/3609.30	c CG single cores 0
3600.07/3609.30	c CG blocks removed during cardinality reduction 0
3600.07/3609.30	c CG first core best 0
3600.07/3609.30	c CG decision core best 0
3600.07/3609.30	c CG core reduction tie 0
3600.07/3609.30	c CG core degree average 0.00
3600.07/3609.30	c CG core slack average 0.00
3600.07/3609.30	c CG core upper bound improvements 0
3600.07/3609.30	c STR number of successful calls 0
3600.07/3609.30	c STR number of unsuccessful calls 0
3600.07/3609.30	c STR number of inconclusive calls 0
3600.07/3609.30	c STR number of successful attempts 0
3600.07/3609.30	c STR number of unsuccessful attempts 0
3600.07/3609.30	c STR number of inconclusive attempts 0
3600.07/3609.30	c STR average degree increase per successful call inf
3600.07/3609.30	c STR average degree increase per successful attempt inf
3600.07/3609.30	c STR total number of conflicts for successful attempts 0
3600.07/3609.30	c STR total number of conflicts for unsuccessful attempts 0
3600.07/3609.30	c STR total number of conflicts for inconclusive attempts 0
3600.07/3609.30	c STR average number of conflicts per successful attempt inf
3600.07/3609.30	c STR average number of conflicts per unsuccessful attempt inf
3600.07/3609.30	c STR average number of conflicts per inconclusive attempt inf
3600.07/3609.30	c AVG.sumWPerc 49.03 
3600.07/3609.30	c bigint constraints 0 
3600.07/3609.30	s UNKNOWN
3600.07/3609.30	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 (58274 MiB free)
  memory of node 1: 64507 MiB (57189 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509378-1751525180/watcher-4509378-1751525180 -o /tmp/evaluation-result-4509378-1751525180/solver-4509378-1751525180 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751521021-72983 --watchdog 3760 run-opt.sh HOME/instance-4509378-1751525180.opb 

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 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=73535, runsolver pid=73532

[startup+0.10006 s]*
/proc/loadavg: 4.11 4.10 4.08 5/266 73537
/proc/meminfo: memFree=118212368/131249996 swapFree=33010416/33010684
[pid=73535] ppid=73532 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73535/stat : 73535 (run-opt.sh) S 73532 73535 72970 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 68197631 4292608 736 18446744073709551615 94528543813632 94528544708165 140733076425104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94528544947216 94528544994960 94528555884544 140733076429165 140733076429288 140733076429288 140733076434890 0
/proc/73535/statm: 1048 736 672 219 0 110 0
[pid=73537] ppid=73535 vsize=87048 memory=41072 CPUtime=0.08 cores=5,7
/proc/73537/stat : 73537 (roundingsat) R 73535 73535 72970 0 -1 4194304 7838 0 0 0 7 1 0 0 20 0 1 0 68197631 89137152 10268 18446744073709551615 4227072 8923433 140726440646576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31281152 140726440651170 140726440651304 140726440651304 140726440656874 0
/proc/73537/statm: 21762 10268 2336 1147 0 9189 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 91240 KiB
Current children cumulated memory: 44016 KiB

[startup+0.205645 s]*
/proc/loadavg: 4.10 4.10 4.08 5/266 73537
/proc/meminfo: memFree=118189436/131249996 swapFree=33010416/33010684
[pid=73535] ppid=73532 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73535/stat : 73535 (run-opt.sh) S 73532 73535 72970 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 68197631 4292608 736 18446744073709551615 94528543813632 94528544708165 140733076425104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94528544947216 94528544994960 94528555884544 140733076429165 140733076429288 140733076429288 140733076434890 0
/proc/73535/statm: 1048 736 672 219 0 110 0
[pid=73537] ppid=73535 vsize=118104 memory=62744 CPUtime=0.19 cores=5,7
/proc/73537/stat : 73537 (roundingsat) R 73535 73535 72970 0 -1 4194304 14530 0 0 0 12 7 0 0 20 0 1 0 68197631 120938496 15686 18446744073709551615 4227072 8923433 140726440646576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31281152 140726440651170 140726440651304 140726440651304 140726440656874 0
/proc/73537/statm: 29526 15686 2368 1147 0 16953 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 122296 KiB
Current children cumulated memory: 65688 KiB

[startup+0.305691 s]*
/proc/loadavg: 4.10 4.10 4.08 5/266 73537
/proc/meminfo: memFree=118189436/131249996 swapFree=33010416/33010684
[pid=73535] ppid=73532 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73535/stat : 73535 (run-opt.sh) S 73532 73535 72970 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 68197631 4292608 736 18446744073709551615 94528543813632 94528544708165 140733076425104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94528544947216 94528544994960 94528555884544 140733076429165 140733076429288 140733076429288 140733076434890 0
/proc/73535/statm: 1048 736 672 219 0 110 0
[pid=73537] ppid=73535 vsize=118292 memory=62872 CPUtime=0.29 cores=5,7
/proc/73537/stat : 73537 (roundingsat) R 73535 73535 72970 0 -1 4194304 14592 0 0 0 22 7 0 0 20 0 1 0 68197631 121131008 15718 18446744073709551615 4227072 8923433 140726440646576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31281152 140726440651170 140726440651304 140726440651304 140726440656874 0
/proc/73537/statm: 29573 15718 2368 1147 0 17000 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 122484 KiB
Current children cumulated memory: 65816 KiB

[startup+0.700204 s]
/proc/loadavg: 4.10 4.10 4.08 5/266 73537
/proc/meminfo: memFree=118189436/131249996 swapFree=33010416/33010684
[pid=73535] ppid=73532 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73535/stat : 73535 (run-opt.sh) S 73532 73535 72970 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 68197631 4292608 736 18446744073709551615 94528543813632 94528544708165 140733076425104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94528544947216 94528544994960 94528555884544 140733076429165 140733076429288 140733076429288 140733076434890 0
/proc/73535/statm: 1048 736 672 219 0 110 0
[pid=73537] ppid=73535 vsize=118292 memory=63000 CPUtime=0.68 cores=5,7
/proc/73537/stat : 73537 (roundingsat) R 73535 73535 72970 0 -1 4194304 14599 0 0 0 61 7 0 0 20 0 1 0 68197631 121131008 15750 18446744073709551615 4227072 8923433 140726440646576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31281152 140726440651170 140726440651304 140726440651304 140726440656874 0
/proc/73537/statm: 29573 15750 2368 1147 0 17000 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 122484 KiB
Current children cumulated memory: 65944 KiB

[startup+1.5002 s]
/proc/loadavg: 4.10 4.10 4.08 6/266 73537
/proc/meminfo: memFree=118189436/131249996 swapFree=33010416/33010684
[pid=73535] ppid=73532 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73535/stat : 73535 (run-opt.sh) S 73532 73535 72970 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 68197631 4292608 736 18446744073709551615 94528543813632 94528544708165 140733076425104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94528544947216 94528544994960 94528555884544 140733076429165 140733076429288 140733076429288 140733076434890 0
/proc/73535/statm: 1048 736 672 219 0 110 0
[pid=73537] ppid=73535 vsize=120148 memory=67072 CPUtime=1.47 cores=5,7
/proc/73537/stat : 73537 (roundingsat) R 73535 73535 72970 0 -1 4194304 15073 0 0 0 138 9 0 0 20 0 1 0 68197631 123031552 16768 18446744073709551615 4227072 8923433 140726440646576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31281152 140726440651170 140726440651304 140726440651304 140726440656874 0
/proc/73537/statm: 30037 16768 2400 1147 0 17464 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 124340 KiB
Current children cumulated memory: 70016 KiB

[startup+3.10544 s]
/proc/loadavg: 4.10 4.10 4.08 6/266 73537
/proc/meminfo: memFree=118144216/131249996 swapFree=33010416/33010684
[pid=73535] ppid=73532 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73535/stat : 73535 (run-opt.sh) S 73532 73535 72970 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 68197631 4292608 736 18446744073709551615 94528543813632 94528544708165 140733076425104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94528544947216 94528544994960 94528555884544 140733076429165 140733076429288 140733076429288 140733076434890 0
/proc/73535/statm: 1048 736 672 219 0 110 0
[pid=73537] ppid=73535 vsize=170016 memory=108244 CPUtime=3.07 cores=5,7
/proc/73537/stat : 73537 (roundingsat) R 73535 73535 72970 0 -1 4194304 23223 0 0 0 286 21 0 0 20 0 1 0 68197631 174096384 27061 18446744073709551615 4227072 8923433 140726440646576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31281152 140726440651170 140726440651304 140726440651304 140726440656874 0
/proc/73537/statm: 42504 27061 2400 1147 0 29931 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 174208 KiB
Current children cumulated memory: 111188 KiB

[startup+6.30019 s]
/proc/loadavg: 4.09 4.10 4.08 6/266 73537
/proc/meminfo: memFree=118075568/131249996 swapFree=33010416/33010684
[pid=73535] ppid=73532 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73535/stat : 73535 (run-opt.sh) S 73532 73535 72970 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 68197631 4292608 736 18446744073709551615 94528543813632 94528544708165 140733076425104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94528544947216 94528544994960 94528555884544 140733076429165 140733076429288 140733076429288 140733076434890 0
/proc/73535/statm: 1048 736 672 219 0 110 0
[pid=73537] ppid=73535 vsize=235488 memory=177844 CPUtime=6.27 cores=5,7
/proc/73537/stat : 73537 (roundingsat) R 73535 73535 72970 0 -1 4194304 37656 0 0 0 596 31 0 0 20 0 1 0 68197631 241139712 44461 18446744073709551615 4227072 8923433 140726440646576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31281152 140726440651170 140726440651304 140726440651304 140726440656874 0
/proc/73537/statm: 58872 44461 2400 1147 0 46299 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 239680 KiB
Current children cumulated memory: 180788 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 4.08 6/266 73537
/proc/meminfo: memFree=117816636/131249996 swapFree=33010416/33010684
[pid=73535] ppid=73532 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73535/stat : 73535 (run-opt.sh) S 73532 73535 72970 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 68197631 4292608 736 18446744073709551615 94528543813632 94528544708165 140733076425104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94528544947216 94528544994960 94528555884544 140733076429165 140733076429288 140733076429288 140733076434890 0
/proc/73535/statm: 1048 736 672 219 0 110 0
[pid=73537] ppid=73535 vsize=507632 memory=428204 CPUtime=12.64 cores=5,7
/proc/73537/stat : 73537 (roundingsat) R 73535 73535 72970 0 -1 4194304 82410 0 0 0 1219 45 0 0 20 0 1 0 68197631 519815168 107051 18446744073709551615 4227072 8923433 140726440646576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31281152 140726440651170 140726440651304 140726440651304 140726440656874 0
/proc/73537/statm: 126908 107051 2400 1147 0 114335 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 511824 KiB
Current children cumulated memory: 431148 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.11 4.08 6/266 73537
/proc/meminfo: memFree=117357236/131249996 swapFree=33010416/33010684
[pid=73535] ppid=73532 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73535/stat : 73535 (run-opt.sh) S 73532 73535 72970 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 68197631 4292608 736 18446744073709551615 94528543813632 94528544708165 140733076425104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94528544947216 94528544994960 94528555884544 140733076429165 140733076429288 140733076429288 140733076434890 0
/proc/73535/statm: 1048 736 672 219 0 110 0
[pid=73537] ppid=73535 vsize=815356 memory=696024 CPUtime=25.42 cores=5,7
/proc/73537/stat : 73537 (roundingsat) R 73535 73535 72970 0 -1 4194304 137864 0 0 0 2473 69 0 0 20 0 1 0 68197631 834924544 174006 18446744073709551615 4227072 8923433 140726440646576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31281152 140726440651170 140726440651304 140726440651304 140726440656874 0
/proc/73537/statm: 203839 174006 2400 1147 0 191266 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 819548 KiB
Current children cumulated memory: 698968 KiB

[startup+51.1059 s]
/proc/loadavg: 4.46 4.19 4.11 6/266 73538
/proc/meminfo: memFree=116216768/131249996 swapFree=33010416/33010684
[pid=73535] ppid=73532 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73535/stat : 73535 (run-opt.sh) S 73532 73535 72970 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 68197631 4292608 736 18446744073709551615 94528543813632 94528544708165 140733076425104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94528544947216 94528544994960 94528555884544 140733076429165 140733076429288 140733076429288 140733076434890 0
/proc/73535/statm: 1048 736 672 219 0 110 0
[pid=73537] ppid=73535 vsize=1442356 memory=1205824 CPUtime=50.96 cores=5,7
/proc/73537/stat : 73537 (roundingsat) R 73535 73535 72970 0 -1 4194304 247936 0 0 0 4998 98 0 0 20 0 1 0 68197631 1476972544 301456 18446744073709551615 4227072 8923433 140726440646576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31281152 140726440651170 140726440651304 140726440651304 140726440656874 0
/proc/73537/statm: 360589 301456 2400 1147 0 348016 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1446548 KiB
Current children cumulated memory: 1208768 KiB

[startup+102.3 s]
/proc/loadavg: 4.25 4.18 4.11 6/266 73540
/proc/meminfo: memFree=115377500/131249996 swapFree=33010416/33010684
[pid=73535] ppid=73532 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73535/stat : 73535 (run-opt.sh) S 73532 73535 72970 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 68197631 4292608 736 18446744073709551615 94528543813632 94528544708165 140733076425104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94528544947216 94528544994960 94528555884544 140733076429165 140733076429288 140733076429288 140733076434890 0
/proc/73535/statm: 1048 736 672 219 0 110 0
[pid=73537] ppid=73535 vsize=1688060 memory=1562272 CPUtime=102.02 cores=5,7
/proc/73537/stat : 73537 (roundingsat) R 73535 73535 72970 0 -1 4194304 316091 0 0 0 10047 155 0 0 20 0 1 0 68197631 1728573440 390568 18446744073709551615 4227072 8923433 140726440646576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31281152 140726440651170 140726440651304 140726440651304 140726440656874 0
/proc/73537/statm: 422015 390568 2400 1147 0 409442 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 1692252 KiB
Current children cumulated memory: 1565216 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.16 4.10 6/267 73545
/proc/meminfo: memFree=114657276/131249996 swapFree=33010416/33010684
[pid=73535] ppid=73532 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73535/stat : 73535 (run-opt.sh) S 73532 73535 72970 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 68197631 4292608 736 18446744073709551615 94528543813632 94528544708165 140733076425104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94528544947216 94528544994960 94528555884544 140733076429165 140733076429288 140733076429288 140733076434890 0
/proc/73535/statm: 1048 736 672 219 0 110 0
[pid=73537] ppid=73535 vsize=1795240 memory=1661912 CPUtime=161.87 cores=5,7
/proc/73537/stat : 73537 (roundingsat) R 73535 73535 72970 0 -1 4194304 342762 0 0 0 15977 210 0 0 20 0 1 0 68197631 1838325760 415478 18446744073709551615 4227072 8923433 140726440646576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31281152 140726440651170 140726440651304 140726440651304 140726440656874 0
/proc/73537/statm: 448810 415478 2496 1147 0 436237 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 1799432 KiB
Current children cumulated memory: 1664856 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.14 4.10 6/268 73548
/proc/meminfo: memFree=113349160/131249996 swapFree=33010416/33010684
[pid=73535] ppid=73532 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73535/stat : 73535 (run-opt.sh) S 73532 73535 72970 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 68197631 4292608 736 18446744073709551615 94528543813632 94528544708165 140733076425104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94528544947216 94528544994960 94528555884544 140733076429165 140733076429288 140733076429288 140733076434890 0
/proc/73535/statm: 1048 736 672 219 0 110 0
[pid=73537] ppid=73535 vsize=1825156 memory=1687640 CPUtime=221.73 cores=5,7
/proc/73537/stat : 73537 (roundingsat) R 73535 73535 72970 0 -1 4194304 349219 0 0 0 21910 263 0 0 20 0 1 0 68197631 1868959744 421910 18446744073709551615 4227072 8923433 140726440646576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31281152 140726440651170 140726440651304 140726440651304 140726440656874 0
/proc/73537/statm: 456289 421910 2496 1147 0 443716 0
Current children cumulated CPU time: 221.73 s

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

[pid=73535] ppid=73532 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73535/stat : 73535 (run-opt.sh) S 73532 73535 72970 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 68197631 4292608 736 18446744073709551615 94528543813632 94528544708165 140733076425104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94528544947216 94528544994960 94528555884544 140733076429165 140733076429288 140733076429288 140733076434890 0
/proc/73535/statm: 1048 736 672 219 0 110 0
[pid=73537] ppid=73535 vsize=8865164 memory=7922316 CPUtime=3094.38 cores=5,7
/proc/73537/stat : 73537 (roundingsat) R 73535 73535 72970 0 -1 4194304 1634248 0 0 0 307363 2075 0 0 20 0 1 0 68197631 9077927936 1980579 18446744073709551615 4227072 8923433 140726440646576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31281152 140726440651170 140726440651304 140726440651304 140726440656874 0
/proc/73537/statm: 2216291 1980579 2496 1147 0 2203718 0
Current children cumulated CPU time: 3094.38 s
Current children cumulated vsize: 8869356 KiB
Current children cumulated memory: 7925260 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/268 73792
/proc/meminfo: memFree=110551708/131249996 swapFree=33010416/33010684
[pid=73535] ppid=73532 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73535/stat : 73535 (run-opt.sh) S 73532 73535 72970 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 68197631 4292608 736 18446744073709551615 94528543813632 94528544708165 140733076425104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94528544947216 94528544994960 94528555884544 140733076429165 140733076429288 140733076429288 140733076434890 0
/proc/73535/statm: 1048 736 672 219 0 110 0
[pid=73537] ppid=73535 vsize=9933372 memory=8169744 CPUtime=3154.24 cores=5,7
/proc/73537/stat : 73537 (roundingsat) R 73535 73535 72970 0 -1 4194304 1664593 0 0 0 313300 2124 0 0 20 0 1 0 68197631 10171772928 2042436 18446744073709551615 4227072 8923433 140726440646576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31281152 140726440651170 140726440651304 140726440651304 140726440656874 0
/proc/73537/statm: 2483343 2042436 2496 1147 0 2470770 0
Current children cumulated CPU time: 3154.24 s
Current children cumulated vsize: 9937564 KiB
Current children cumulated memory: 8172688 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/267 73794
/proc/meminfo: memFree=109868020/131249996 swapFree=33010416/33010684
[pid=73535] ppid=73532 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73535/stat : 73535 (run-opt.sh) S 73532 73535 72970 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 68197631 4292608 736 18446744073709551615 94528543813632 94528544708165 140733076425104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94528544947216 94528544994960 94528555884544 140733076429165 140733076429288 140733076429288 140733076434890 0
/proc/73535/statm: 1048 736 672 219 0 110 0
[pid=73537] ppid=73535 vsize=9993284 memory=8229648 CPUtime=3214.08 cores=5,7
/proc/73537/stat : 73537 (roundingsat) R 73535 73535 72970 0 -1 4194304 1679742 0 0 0 319264 2144 0 0 20 0 1 0 68197631 10233122816 2057412 18446744073709551615 4227072 8923433 140726440646576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31281152 140726440651170 140726440651304 140726440651304 140726440656874 0
/proc/73537/statm: 2498321 2057412 2496 1147 0 2485748 0
Current children cumulated CPU time: 3214.08 s
Current children cumulated vsize: 9997476 KiB
Current children cumulated memory: 8232592 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/266 73796
/proc/meminfo: memFree=109376616/131249996 swapFree=33010416/33010684
[pid=73535] ppid=73532 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73535/stat : 73535 (run-opt.sh) S 73532 73535 72970 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 68197631 4292608 736 18446744073709551615 94528543813632 94528544708165 140733076425104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94528544947216 94528544994960 94528555884544 140733076429165 140733076429288 140733076429288 140733076434890 0
/proc/73535/statm: 1048 736 672 219 0 110 0
[pid=73537] ppid=73535 vsize=10041428 memory=8272016 CPUtime=3273.93 cores=5,7
/proc/73537/stat : 73537 (roundingsat) R 73535 73535 72970 0 -1 4194304 1691204 0 0 0 325236 2157 0 0 20 0 1 0 68197631 10282422272 2068004 18446744073709551615 4227072 8923433 140726440646576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31281152 140726440651170 140726440651304 140726440651304 140726440656874 0
/proc/73537/statm: 2510357 2068004 2496 1147 0 2497784 0
Current children cumulated CPU time: 3273.93 s
Current children cumulated vsize: 10045620 KiB
Current children cumulated memory: 8274960 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/267 73803
/proc/meminfo: memFree=108924488/131249996 swapFree=33010416/33010684
[pid=73535] ppid=73532 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73535/stat : 73535 (run-opt.sh) S 73532 73535 72970 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 68197631 4292608 736 18446744073709551615 94528543813632 94528544708165 140733076425104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94528544947216 94528544994960 94528555884544 140733076429165 140733076429288 140733076429288 140733076434890 0
/proc/73535/statm: 1048 736 672 219 0 110 0
[pid=73537] ppid=73535 vsize=10271592 memory=8446736 CPUtime=3333.78 cores=5,7
/proc/73537/stat : 73537 (roundingsat) R 73535 73535 72970 0 -1 4194304 1735851 0 0 0 331196 2182 0 0 20 0 1 0 68197631 10518110208 2111684 18446744073709551615 4227072 8923433 140726440646576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31281152 140726440651170 140726440651304 140726440651304 140726440656874 0
/proc/73537/statm: 2567898 2111684 2496 1147 0 2555325 0
Current children cumulated CPU time: 3333.78 s
Current children cumulated vsize: 10275784 KiB
Current children cumulated memory: 8449680 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/267 73805
/proc/meminfo: memFree=107815136/131249996 swapFree=33010416/33010684
[pid=73535] ppid=73532 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73535/stat : 73535 (run-opt.sh) S 73532 73535 72970 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 68197631 4292608 736 18446744073709551615 94528543813632 94528544708165 140733076425104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94528544947216 94528544994960 94528555884544 140733076429165 140733076429288 140733076429288 140733076434890 0
/proc/73535/statm: 1048 736 672 219 0 110 0
[pid=73537] ppid=73535 vsize=10536108 memory=8665360 CPUtime=3393.63 cores=5,7
/proc/73537/stat : 73537 (roundingsat) R 73535 73535 72970 0 -1 4194304 1791449 0 0 0 337158 2205 0 0 20 0 1 0 68197631 10788974592 2166340 18446744073709551615 4227072 8923433 140726440646576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31281152 140726440651170 140726440651304 140726440651304 140726440656874 0
/proc/73537/statm: 2634027 2166340 2496 1147 0 2621454 0
Current children cumulated CPU time: 3393.63 s
Current children cumulated vsize: 10540300 KiB
Current children cumulated memory: 8668304 KiB

[startup+3462.3 s]
/proc/loadavg: 4.04 4.08 4.08 6/267 73807
/proc/meminfo: memFree=106438332/131249996 swapFree=33010416/33010684
[pid=73535] ppid=73532 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73535/stat : 73535 (run-opt.sh) S 73532 73535 72970 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 68197631 4292608 736 18446744073709551615 94528543813632 94528544708165 140733076425104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94528544947216 94528544994960 94528555884544 140733076429165 140733076429288 140733076429288 140733076434890 0
/proc/73535/statm: 1048 736 672 219 0 110 0
[pid=73537] ppid=73535 vsize=11696496 memory=9488656 CPUtime=3453.48 cores=5,7
/proc/73537/stat : 73537 (roundingsat) R 73535 73535 72970 0 -1 4194304 1998136 0 0 0 343101 2247 0 0 20 0 1 0 68197631 11977211904 2372164 18446744073709551615 4227072 8923433 140726440646576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31281152 140726440651170 140726440651304 140726440651304 140726440656874 0
/proc/73537/statm: 2924124 2372164 2496 1147 0 2911551 0
Current children cumulated CPU time: 3453.48 s
Current children cumulated vsize: 11700688 KiB
Current children cumulated memory: 9491600 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/267 73854
/proc/meminfo: memFree=115563464/131249996 swapFree=33010416/33010684
[pid=73535] ppid=73532 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73535/stat : 73535 (run-opt.sh) S 73532 73535 72970 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 68197631 4292608 736 18446744073709551615 94528543813632 94528544708165 140733076425104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94528544947216 94528544994960 94528555884544 140733076429165 140733076429288 140733076429288 140733076434890 0
/proc/73535/statm: 1048 736 672 219 0 110 0
[pid=73537] ppid=73535 vsize=11720052 memory=9595152 CPUtime=3513.32 cores=5,7
/proc/73537/stat : 73537 (roundingsat) R 73535 73535 72970 0 -1 4194304 2025023 0 0 0 349062 2270 0 0 20 0 1 0 68197631 12001333248 2398788 18446744073709551615 4227072 8923433 140726440646576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31281152 140726440651170 140726440651304 140726440651304 140726440656874 0
/proc/73537/statm: 2930013 2398788 2496 1147 0 2917440 0
Current children cumulated CPU time: 3513.32 s
Current children cumulated vsize: 11724244 KiB
Current children cumulated memory: 9598096 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 73857
/proc/meminfo: memFree=114605276/131249996 swapFree=33010416/33010684
[pid=73535] ppid=73532 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73535/stat : 73535 (run-opt.sh) S 73532 73535 72970 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 68197631 4292608 736 18446744073709551615 94528543813632 94528544708165 140733076425104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94528544947216 94528544994960 94528555884544 140733076429165 140733076429288 140733076429288 140733076434890 0
/proc/73535/statm: 1048 736 672 219 0 110 0
[pid=73537] ppid=73535 vsize=11720052 memory=9595152 CPUtime=3573.15 cores=5,7
/proc/73537/stat : 73537 (roundingsat) R 73535 73535 72970 0 -1 4194304 2025831 0 0 0 355021 2294 0 0 20 0 1 0 68197631 12001333248 2398788 18446744073709551615 4227072 8923433 140726440646576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31281152 140726440651170 140726440651304 140726440651304 140726440656874 0
/proc/73537/statm: 2930013 2398788 2496 1147 0 2917440 0
Current children cumulated CPU time: 3573.15 s
Current children cumulated vsize: 11724244 KiB
Current children cumulated memory: 9598096 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 4.23 4.11 4.10 5/268 73859
/proc/meminfo: memFree=114367848/131249996 swapFree=33010416/33010684
[pid=73535] ppid=73532 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73535/stat : 73535 (run-opt.sh) S 73532 73535 72970 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 68197631 4292608 736 18446744073709551615 94528543813632 94528544708165 140733076425104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94528544947216 94528544994960 94528555884544 140733076429165 140733076429288 140733076429288 140733076434890 0
/proc/73535/statm: 1048 736 672 219 0 110 0
[pid=73537] ppid=73535 vsize=11720052 memory=9595152 CPUtime=3600.07 cores=5,7
/proc/73537/stat : 73537 (roundingsat) R 73535 73535 72970 0 -1 4194304 2026713 0 0 0 357700 2307 0 0 20 0 1 0 68197631 12001333248 2398788 18446744073709551615 4227072 8923433 140726440646576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31281152 140726440651170 140726440651304 140726440651304 140726440656874 0
/proc/73537/statm: 2930013 2398788 2496 1147 0 2917440 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 11724244 KiB
Current children cumulated memory: 9598096 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3609.3 s]
# the end of solver process 73535 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.002191 s
Sleeping 2 seconds

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

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

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

[startup+3609.61 s]
/proc/loadavg: 4.23 4.11 4.10 5/267 73859
/proc/meminfo: memFree=121493296/131249996 swapFree=33010416/33010684
Current cumulated CPU time of completed processes: 0.002191 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3609.61
CPU time (s): 3600.39
CPU user time (s): 3577.02
CPU system time (s): 23.3686
CPU usage (%): 99.7446
Max. virtual memory (cumulated for all children) (KiB): 11724244
Max. memory (cumulated for all children) (KiB): 9598096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.02
system time used= 23.3686
maximum resident set size= 9595408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2027025
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 343
involuntary context switches= 3902


# summary of solver processes directly reported to runsolver:
#   pid: 73535,73537
#   total CPU time (s): 3600.39
#   total CPU user time (s): 3577.02
#   total CPU system time (s): 23.3686

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.35351 second user time and 16.528 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2025-07-03 08:46:21
IDJOB=4509378
IDBENCH=158614
IDSOLVER=3350
FILE ID=nodeC030/4509378-1751525180
RUNJOBID= nodeC030-1751521021-72983
SLURM_JOB_ID= 9598643
Free space on /tmp= 432468 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm85p-opt.opb.negationfix.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509378-1751525180/watcher-4509378-1751525180 -o /tmp/evaluation-result-4509378-1751525180/solver-4509378-1751525180 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751521021-72983 --watchdog 3760  run-opt.sh HOME/instance-4509378-1751525180.opb

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

MD5SUM BENCH= 6fdf9a7d79ebf074d013716e2aa9fa25
RANDOM SEED=1669554265

nodeC030 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		: 3600.353
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	: 7000.62
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		: 3600.296
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	: 7000.62
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        118235788 kB
MemAvailable:   118935344 kB
Buffers:            2564 kB
Cached:          1491308 kB
SwapCached:           16 kB
Active:         11294804 kB
Inactive:        1047780 kB
Active(anon):   10862212 kB
Inactive(anon):     4548 kB
Active(file):     432592 kB
Inactive(file):  1043232 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              8800 kB
Writeback:             0 kB
AnonPages:      10851840 kB
Mapped:           117528 kB
Shmem:             18048 kB
KReclaimable:     125540 kB
Slab:             214048 kB
SReclaimable:     125540 kB
SUnreclaim:        88508 kB
KernelStack:        4316 kB
PageTables:        25508 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   12903592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1470464 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:      189140 kB
DirectMap2M:     9019392 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432476 MiB
End job on nodeC030 at 2025-07-03 09:46:30