Trace number 4445170

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
RoundingSat nolog (1)Wrong Cert. 3600.06 3614.8

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww4.opb
MD5SUM13439fe0222d33319b9169d149c100b9
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.00553
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables82
Total number of constraints2
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2
Minimum length of a constraint82
Maximum length of a constraint82
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 104723596
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 1078440737
Number of bits of the biggest sum of numbers31
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.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c #variables 82 #constraints 2
0.00/0.00	c rational objective 1.12346
0.79/0.86	c #Conflicts:       1000 | #Constraints:       1493
0.79/0.86	c #Conflicts:       2000 | #Constraints:       3018
0.79/0.86	c INPROCESSING
0.79/0.86	c GARBAGE COLLECT
0.79/0.86	c rational objective 1.21756
2.48/2.51	c #Conflicts:       3000 | #Constraints:       3184
2.48/2.51	c #Conflicts:       4000 | #Constraints:       4948
2.48/2.51	c INPROCESSING
2.48/2.51	c GARBAGE COLLECT
2.48/2.51	c rational objective 2
4.28/4.36	c #Conflicts:       5000 | #Constraints:       3468
4.28/4.36	c #Conflicts:       6000 | #Constraints:       4468
4.28/4.36	c INPROCESSING
4.28/4.36	c GARBAGE COLLECT
4.28/4.36	c rational objective 2
6.98/7.07	c #Conflicts:       7000 | #Constraints:       2955
6.98/7.07	c #Conflicts:       8000 | #Constraints:       4065
6.98/7.07	c #Conflicts:       9000 | #Constraints:       5155
6.98/7.07	c INPROCESSING
6.98/7.07	c GARBAGE COLLECT
6.98/7.07	c rational objective 2
12.26/12.34	c #Conflicts:      10000 | #Constraints:       3570
12.26/12.34	c #Conflicts:      11000 | #Constraints:       4701
12.26/12.34	c #Conflicts:      12000 | #Constraints:       5864
12.26/12.34	c INPROCESSING
12.26/12.34	c GARBAGE COLLECT
12.26/12.34	c #Conflicts:      13000 | #Constraints:       3973
12.26/12.34	c #Conflicts:      14000 | #Constraints:       5570
12.26/12.34	c #Conflicts:      15000 | #Constraints:       7258
12.26/12.34	c INPROCESSING
12.26/12.34	c GARBAGE COLLECT
12.26/12.34	c rational objective 2
17.55/17.68	c #Conflicts:      16000 | #Constraints:       5049
17.55/17.68	c #Conflicts:      17000 | #Constraints:       6345
17.55/17.68	c #Conflicts:      18000 | #Constraints:       7681
17.55/17.68	c INPROCESSING
17.55/17.68	c GARBAGE COLLECT
17.55/17.68	c rational objective 1.24862
22.95/23.10	c #Conflicts:      19000 | #Constraints:       4966
22.95/23.10	c #Conflicts:      20000 | #Constraints:       6097
22.95/23.10	c #Conflicts:      21000 | #Constraints:       7118
22.95/23.10	c INPROCESSING
22.95/23.10	c GARBAGE COLLECT
22.95/23.10	c rational objective 1.68086
27.94/28.07	c #Conflicts:      22000 | #Constraints:       4681
27.94/28.07	c #Conflicts:      23000 | #Constraints:       6011
27.94/28.07	c #Conflicts:      24000 | #Constraints:       7237
27.94/28.07	c #Conflicts:      25000 | #Constraints:       8399
27.94/28.07	c INPROCESSING
27.94/28.07	c GARBAGE COLLECT
27.94/28.07	c rational objective 1.44805
33.21/33.36	c #Conflicts:      26000 | #Constraints:       5641
33.21/33.36	c #Conflicts:      27000 | #Constraints:       6945
33.21/33.36	c #Conflicts:      28000 | #Constraints:       8244
33.21/33.36	c #Conflicts:      29000 | #Constraints:       9469
33.21/33.36	c INPROCESSING
33.21/33.36	c GARBAGE COLLECT
33.21/33.36	c rational objective 1.84017
39.60/39.77	c #Conflicts:      30000 | #Constraints:       5858
39.60/39.77	c #Conflicts:      31000 | #Constraints:       6858
39.60/39.77	c #Conflicts:      32000 | #Constraints:       7895
39.60/39.77	c #Conflicts:      33000 | #Constraints:       9078
39.60/39.77	c INPROCESSING
39.60/39.77	c GARBAGE COLLECT
39.60/39.77	c rational objective 1.96087
75.29/75.50	c #Conflicts:      34000 | #Constraints:       6079
75.29/75.50	c #Conflicts:      35000 | #Constraints:       7165
75.29/75.50	c #Conflicts:      36000 | #Constraints:       8405
75.29/75.50	c #Conflicts:      37000 | #Constraints:       9405
75.29/75.50	c #Conflicts:      38000 | #Constraints:      10405
75.29/75.50	c #Conflicts:      39000 | #Constraints:      11405
75.29/75.50	c #Conflicts:      40000 | #Constraints:      12405
75.29/75.50	c #Conflicts:      41000 | #Constraints:      13405
75.29/75.50	c #Conflicts:      42000 | #Constraints:      14405
75.29/75.50	c #Conflicts:      43000 | #Constraints:      15405
75.29/75.50	c #Conflicts:      44000 | #Constraints:      16405
75.29/75.50	c #Conflicts:      45000 | #Constraints:      17405
75.29/75.50	c #Conflicts:      46000 | #Constraints:      18405
75.29/75.50	c #Conflicts:      47000 | #Constraints:      19405
75.29/75.50	c #Conflicts:      48000 | #Constraints:      20405
75.29/75.50	c INPROCESSING
75.29/75.50	c GARBAGE COLLECT
75.29/75.50	c rational objective 1.42615
100.50/100.88	c #Conflicts:      49000 | #Constraints:      11710
100.50/100.88	c #Conflicts:      50000 | #Constraints:      13430
100.50/100.88	c #Conflicts:      51000 | #Constraints:      15004
100.50/100.88	c #Conflicts:      52000 | #Constraints:      16356
100.50/100.88	c #Conflicts:      53000 | #Constraints:      17738
100.50/100.88	c INPROCESSING
100.50/100.88	c GARBAGE COLLECT
100.50/100.88	c rational objective 1.49603
117.33/117.76	c #Conflicts:      54000 | #Constraints:       9857
117.33/117.76	c #Conflicts:      55000 | #Constraints:      10857
117.33/117.76	c #Conflicts:      56000 | #Constraints:      11857
117.33/117.76	c #Conflicts:      57000 | #Constraints:      12857
117.33/117.76	c #Conflicts:      58000 | #Constraints:      13857
117.33/117.76	c INPROCESSING
117.33/117.76	c GARBAGE COLLECT
117.33/117.76	c rational objective 1.45389
216.15/216.91	c #Conflicts:      59000 | #Constraints:       7588
216.15/216.91	c #Conflicts:      60000 | #Constraints:       8832
216.15/216.91	c #Conflicts:      61000 | #Constraints:       9950
216.15/216.91	c #Conflicts:      62000 | #Constraints:      11038
216.15/216.91	c #Conflicts:      63000 | #Constraints:      12038
216.15/216.91	c #Conflicts:      64000 | #Constraints:      13038
216.15/216.91	c #Conflicts:      65000 | #Constraints:      14416
216.15/216.91	c #Conflicts:      66000 | #Constraints:      15600
216.15/216.91	c #Conflicts:      67000 | #Constraints:      16606
216.15/216.91	c #Conflicts:      68000 | #Constraints:      17606
216.15/216.91	c #Conflicts:      69000 | #Constraints:      18606
216.15/216.91	c #Conflicts:      70000 | #Constraints:      19606
216.15/216.91	c #Conflicts:      71000 | #Constraints:      20618
216.15/216.91	c #Conflicts:      72000 | #Constraints:      21827
216.15/216.91	c #Conflicts:      73000 | #Constraints:      23092
216.15/216.91	c #Conflicts:      74000 | #Constraints:      24173
216.15/216.91	c #Conflicts:      75000 | #Constraints:      25173
216.15/216.91	c #Conflicts:      76000 | #Constraints:      26173
216.15/216.91	c #Conflicts:      77000 | #Constraints:      27173
216.15/216.91	c #Conflicts:      78000 | #Constraints:      28173
216.15/216.91	c INPROCESSING
216.15/216.91	c GARBAGE COLLECT
216.15/216.91	c rational objective 1.63019
265.54/266.57	c #Conflicts:      79000 | #Constraints:      15367
265.54/266.57	c #Conflicts:      80000 | #Constraints:      16631
265.54/266.57	c #Conflicts:      81000 | #Constraints:      17921
265.54/266.57	c #Conflicts:      82000 | #Constraints:      19280
265.54/266.57	c #Conflicts:      83000 | #Constraints:      20572
265.54/266.57	c #Conflicts:      84000 | #Constraints:      21599
265.54/266.57	c INPROCESSING
265.54/266.57	c GARBAGE COLLECT
265.54/266.57	c rational objective 1.6376
297.10/298.23	c #Conflicts:      85000 | #Constraints:      11468
297.10/298.23	c #Conflicts:      86000 | #Constraints:      12488
297.10/298.23	c #Conflicts:      87000 | #Constraints:      13488
297.10/298.23	c #Conflicts:      88000 | #Constraints:      14689
297.10/298.23	c #Conflicts:      89000 | #Constraints:      15861
297.10/298.23	c #Conflicts:      90000 | #Constraints:      17204
297.10/298.23	c #Conflicts:      91000 | #Constraints:      18698
297.10/298.23	c INPROCESSING
297.10/298.23	c GARBAGE COLLECT
297.10/298.23	c rational objective 2.32479
473.53/475.41	c #Conflicts:      92000 | #Constraints:      10103
473.53/475.41	c #Conflicts:      93000 | #Constraints:      11330
473.53/475.41	c #Conflicts:      94000 | #Constraints:      12588
473.53/475.41	c #Conflicts:      95000 | #Constraints:      13777
473.53/475.41	c #Conflicts:      96000 | #Constraints:      14881
473.53/475.41	c #Conflicts:      97000 | #Constraints:      15881
473.53/475.41	c #Conflicts:      98000 | #Constraints:      16881
473.53/475.41	c #Conflicts:      99000 | #Constraints:      17894
473.53/475.41	c #Conflicts:     100000 | #Constraints:      19089
473.53/475.41	c #Conflicts:     101000 | #Constraints:      20273
473.53/475.41	c #Conflicts:     102000 | #Constraints:      21273
473.53/475.41	c #Conflicts:     103000 | #Constraints:      22330
473.53/475.41	c #Conflicts:     104000 | #Constraints:      23488
473.53/475.41	c #Conflicts:     105000 | #Constraints:      24585
473.53/475.41	c #Conflicts:     106000 | #Constraints:      25585
473.53/475.41	c #Conflicts:     107000 | #Constraints:      26630
473.53/475.41	c #Conflicts:     108000 | #Constraints:      27891
473.53/475.41	c #Conflicts:     109000 | #Constraints:      29258
473.53/475.41	c #Conflicts:     110000 | #Constraints:      30297
473.53/475.41	c #Conflicts:     111000 | #Constraints:      31356
473.53/475.41	c #Conflicts:     112000 | #Constraints:      32528
473.53/475.41	c #Conflicts:     113000 | #Constraints:      33632
473.53/475.41	c #Conflicts:     114000 | #Constraints:      34875
473.53/475.41	c #Conflicts:     115000 | #Constraints:      36250
473.53/475.41	c INPROCESSING
473.53/475.41	c GARBAGE COLLECT
473.53/475.41	c rational objective 1.72545
562.34/564.65	c #Conflicts:     116000 | #Constraints:      19208
562.34/564.65	c #Conflicts:     117000 | #Constraints:      20393
562.34/564.65	c #Conflicts:     118000 | #Constraints:      21578
562.34/564.65	c #Conflicts:     119000 | #Constraints:      22748
562.34/564.65	c #Conflicts:     120000 | #Constraints:      24019
562.34/564.65	c #Conflicts:     121000 | #Constraints:      25322
562.34/564.65	c #Conflicts:     122000 | #Constraints:      26520
562.34/564.65	c #Conflicts:     123000 | #Constraints:      27520
562.34/564.65	c INPROCESSING
562.34/564.65	c GARBAGE COLLECT
562.34/564.65	c rational objective 1.78426
867.21/870.85	c #Conflicts:     124000 | #Constraints:      14845
867.21/870.85	c #Conflicts:     125000 | #Constraints:      15914
867.21/870.85	c #Conflicts:     126000 | #Constraints:      17107
867.21/870.85	c #Conflicts:     127000 | #Constraints:      18180
867.21/870.85	c #Conflicts:     128000 | #Constraints:      19182
867.21/870.85	c #Conflicts:     129000 | #Constraints:      20260
867.21/870.85	c #Conflicts:     130000 | #Constraints:      21260
867.21/870.85	c #Conflicts:     131000 | #Constraints:      22404
867.21/870.85	c #Conflicts:     132000 | #Constraints:      23496
867.21/870.85	c #Conflicts:     133000 | #Constraints:      24599
867.21/870.85	c #Conflicts:     134000 | #Constraints:      25735
867.21/870.85	c #Conflicts:     135000 | #Constraints:      26825
867.21/870.85	c #Conflicts:     136000 | #Constraints:      27933
867.21/870.85	c #Conflicts:     137000 | #Constraints:      29055
867.21/870.85	c #Conflicts:     138000 | #Constraints:      30109
867.21/870.85	c #Conflicts:     139000 | #Constraints:      31209
867.21/870.85	c #Conflicts:     140000 | #Constraints:      32309
867.21/870.85	c #Conflicts:     141000 | #Constraints:      33391
867.21/870.85	c #Conflicts:     142000 | #Constraints:      34470
867.21/870.85	c #Conflicts:     143000 | #Constraints:      35470
867.21/870.85	c #Conflicts:     144000 | #Constraints:      36470
867.21/870.85	c #Conflicts:     145000 | #Constraints:      37470
867.21/870.85	c #Conflicts:     146000 | #Constraints:      38470
867.21/870.85	c #Conflicts:     147000 | #Constraints:      39470
867.21/870.85	c #Conflicts:     148000 | #Constraints:      40513
867.21/870.85	c #Conflicts:     149000 | #Constraints:      41513
867.21/870.85	c #Conflicts:     150000 | #Constraints:      42513
867.21/870.85	c INPROCESSING
867.21/870.85	c GARBAGE COLLECT
867.21/870.85	c rational objective 1.74531
1005.00/1009.19	c #Conflicts:     151000 | #Constraints:      22566
1005.00/1009.19	c #Conflicts:     152000 | #Constraints:      23652
1005.00/1009.19	c #Conflicts:     153000 | #Constraints:      24652
1005.00/1009.19	c #Conflicts:     154000 | #Constraints:      25652
1005.00/1009.19	c #Conflicts:     155000 | #Constraints:      26652
1005.00/1009.19	c #Conflicts:     156000 | #Constraints:      27766
1005.00/1009.19	c #Conflicts:     157000 | #Constraints:      28962
1005.00/1009.19	c #Conflicts:     158000 | #Constraints:      29962
1005.00/1009.19	c #Conflicts:     159000 | #Constraints:      30962
1005.00/1009.19	c INPROCESSING
1005.00/1009.19	c GARBAGE COLLECT
1005.00/1009.19	c rational objective 1.81078
1403.42/1409.21	c #Conflicts:     160000 | #Constraints:      16447
1403.42/1409.21	c #Conflicts:     161000 | #Constraints:      17523
1403.42/1409.21	c #Conflicts:     162000 | #Constraints:      18592
1403.42/1409.21	c #Conflicts:     163000 | #Constraints:      19686
1403.42/1409.21	c #Conflicts:     164000 | #Constraints:      20792
1403.42/1409.21	c #Conflicts:     165000 | #Constraints:      21952
1403.42/1409.21	c #Conflicts:     166000 | #Constraints:      23220
1403.42/1409.21	c #Conflicts:     167000 | #Constraints:      24284
1403.42/1409.21	c #Conflicts:     168000 | #Constraints:      25345
1403.42/1409.21	c #Conflicts:     169000 | #Constraints:      26492
1403.42/1409.21	c #Conflicts:     170000 | #Constraints:      27558
1403.42/1409.21	c #Conflicts:     171000 | #Constraints:      28824
1403.42/1409.21	c #Conflicts:     172000 | #Constraints:      29922
1403.42/1409.21	c #Conflicts:     173000 | #Constraints:      31009
1403.42/1409.21	c #Conflicts:     174000 | #Constraints:      32040
1403.42/1409.21	c #Conflicts:     175000 | #Constraints:      33151
1403.42/1409.21	c #Conflicts:     176000 | #Constraints:      34190
1403.42/1409.21	c #Conflicts:     177000 | #Constraints:      35198
1403.42/1409.21	c #Conflicts:     178000 | #Constraints:      36303
1403.42/1409.21	c #Conflicts:     179000 | #Constraints:      37360
1403.42/1409.21	c #Conflicts:     180000 | #Constraints:      38488
1403.42/1409.21	c #Conflicts:     181000 | #Constraints:      39619
1403.42/1409.21	c #Conflicts:     182000 | #Constraints:      41053
1403.42/1409.21	c #Conflicts:     183000 | #Constraints:      42115
1403.42/1409.21	c #Conflicts:     184000 | #Constraints:      43168
1403.42/1409.21	c #Conflicts:     185000 | #Constraints:      44202
1403.42/1409.21	c #Conflicts:     186000 | #Constraints:      45466
1403.42/1409.21	c #Conflicts:     187000 | #Constraints:      46776
1403.42/1409.21	c #Conflicts:     188000 | #Constraints:      47933
1403.42/1409.21	c #Conflicts:     189000 | #Constraints:      49112
1403.42/1409.21	c INPROCESSING
1403.42/1409.21	c GARBAGE COLLECT
1403.42/1409.21	c rational objective 1.79578
1591.58/1598.16	c #Conflicts:     190000 | #Constraints:      25493
1591.58/1598.16	c #Conflicts:     191000 | #Constraints:      26551
1591.58/1598.16	c #Conflicts:     192000 | #Constraints:      27649
1591.58/1598.16	c #Conflicts:     193000 | #Constraints:      28697
1591.58/1598.16	c #Conflicts:     194000 | #Constraints:      29740
1591.58/1598.16	c #Conflicts:     195000 | #Constraints:      30768
1591.58/1598.16	c #Conflicts:     196000 | #Constraints:      31768
1591.58/1598.16	c #Conflicts:     197000 | #Constraints:      32768
1591.58/1598.16	c #Conflicts:     198000 | #Constraints:      33768
1591.58/1598.16	c #Conflicts:     199000 | #Constraints:      34812
1591.58/1598.16	c #Conflicts:     200000 | #Constraints:      35897
1591.58/1598.16	c INPROCESSING
1591.58/1598.16	c GARBAGE COLLECT
1591.58/1598.16	c rational objective 1.94821
2175.45/2184.43	c #Conflicts:     201000 | #Constraints:      20788
2175.45/2184.43	c #Conflicts:     202000 | #Constraints:      22090
2175.45/2184.43	c #Conflicts:     203000 | #Constraints:      23249
2175.45/2184.43	c #Conflicts:     204000 | #Constraints:      24249
2175.45/2184.43	c #Conflicts:     205000 | #Constraints:      25249
2175.45/2184.43	c #Conflicts:     206000 | #Constraints:      26303
2175.45/2184.43	c #Conflicts:     207000 | #Constraints:      27304
2175.45/2184.43	c #Conflicts:     208000 | #Constraints:      28304
2175.45/2184.43	c #Conflicts:     209000 | #Constraints:      29304
2175.45/2184.43	c #Conflicts:     210000 | #Constraints:      30304
2175.45/2184.43	c #Conflicts:     211000 | #Constraints:      31304
2175.45/2184.43	c #Conflicts:     212000 | #Constraints:      32304
2175.45/2184.43	c #Conflicts:     213000 | #Constraints:      33304
2175.45/2184.43	c #Conflicts:     214000 | #Constraints:      34419
2175.45/2184.43	c #Conflicts:     215000 | #Constraints:      35468
2175.45/2184.43	c #Conflicts:     216000 | #Constraints:      36554
2175.45/2184.43	c #Conflicts:     217000 | #Constraints:      37621
2175.45/2184.43	c #Conflicts:     218000 | #Constraints:      38661
2175.45/2184.43	c #Conflicts:     219000 | #Constraints:      39666
2175.45/2184.43	c #Conflicts:     220000 | #Constraints:      40666
2175.45/2184.43	c #Conflicts:     221000 | #Constraints:      41666
2175.45/2184.43	c #Conflicts:     222000 | #Constraints:      42666
2175.45/2184.43	c #Conflicts:     223000 | #Constraints:      43666
2175.45/2184.43	c #Conflicts:     224000 | #Constraints:      44711
2175.45/2184.43	c #Conflicts:     225000 | #Constraints:      45814
2175.45/2184.43	c #Conflicts:     226000 | #Constraints:      46836
2175.45/2184.43	c #Conflicts:     227000 | #Constraints:      47859
2175.45/2184.43	c #Conflicts:     228000 | #Constraints:      48915
2175.45/2184.43	c #Conflicts:     229000 | #Constraints:      49942
2175.45/2184.43	c #Conflicts:     230000 | #Constraints:      50942
2175.45/2184.43	c #Conflicts:     231000 | #Constraints:      51942
2175.45/2184.43	c #Conflicts:     232000 | #Constraints:      53193
2175.45/2184.43	c INPROCESSING
2175.45/2184.43	c GARBAGE COLLECT
2175.45/2184.43	c rational objective 1.7598
2178.63/2187.64	c #Conflicts:     233000 | #Constraints:      27217
2178.63/2187.64	ELEAVE56 ERROR! Tried to put a fixed column variable into the basis. idx=82, lower=0, upper=0
2366.38/2376.12	c #Conflicts:     234000 | #Constraints:      28221
2366.38/2376.12	c #Conflicts:     235000 | #Constraints:      29221
2366.38/2376.12	c #Conflicts:     236000 | #Constraints:      30292
2366.38/2376.12	c #Conflicts:     237000 | #Constraints:      31373
2366.38/2376.12	c #Conflicts:     238000 | #Constraints:      32461
2366.38/2376.12	c #Conflicts:     239000 | #Constraints:      33543
2366.38/2376.12	c #Conflicts:     240000 | #Constraints:      34626
2366.38/2376.12	c #Conflicts:     241000 | #Constraints:      35632
2366.38/2376.12	c #Conflicts:     242000 | #Constraints:      36710
2366.38/2376.12	c #Conflicts:     243000 | #Constraints:      37819
2366.38/2376.12	c #Conflicts:     244000 | #Constraints:      38869
2366.38/2376.12	c #Conflicts:     245000 | #Constraints:      39880
2366.38/2376.12	c INPROCESSING
2366.38/2376.12	c GARBAGE COLLECT
2366.38/2376.12	c rational objective 1.76158
3317.51/3331.24	c #Conflicts:     246000 | #Constraints:      27925
3317.51/3331.24	c #Conflicts:     247000 | #Constraints:      29335
3317.51/3331.24	c #Conflicts:     248000 | #Constraints:      30470
3317.51/3331.24	c #Conflicts:     249000 | #Constraints:      31591
3317.51/3331.24	c #Conflicts:     250000 | #Constraints:      32850
3317.51/3331.24	c #Conflicts:     251000 | #Constraints:      34048
3317.51/3331.24	c #Conflicts:     252000 | #Constraints:      35181
3317.51/3331.24	c #Conflicts:     253000 | #Constraints:      36864
3317.51/3331.24	c #Conflicts:     254000 | #Constraints:      38004
3317.51/3331.24	c #Conflicts:     255000 | #Constraints:      39195
3317.51/3331.24	c #Conflicts:     256000 | #Constraints:      40372
3317.51/3331.24	c #Conflicts:     257000 | #Constraints:      41447
3317.51/3331.24	c #Conflicts:     258000 | #Constraints:      42447
3317.51/3331.24	c #Conflicts:     259000 | #Constraints:      43447
3317.51/3331.24	c #Conflicts:     260000 | #Constraints:      44447
3317.51/3331.24	c #Conflicts:     261000 | #Constraints:      45447
3317.51/3331.24	c #Conflicts:     262000 | #Constraints:      46600
3317.51/3331.24	c #Conflicts:     263000 | #Constraints:      47865
3317.51/3331.24	c #Conflicts:     264000 | #Constraints:      48935
3317.51/3331.24	c #Conflicts:     265000 | #Constraints:      49935
3317.51/3331.24	c #Conflicts:     266000 | #Constraints:      50935
3317.51/3331.24	c #Conflicts:     267000 | #Constraints:      51935
3317.51/3331.24	c #Conflicts:     268000 | #Constraints:      52935
3317.51/3331.24	c #Conflicts:     269000 | #Constraints:      53935
3317.51/3331.24	c #Conflicts:     270000 | #Constraints:      54935
3317.51/3331.24	c #Conflicts:     271000 | #Constraints:      55935
3317.51/3331.24	c #Conflicts:     272000 | #Constraints:      56935
3317.51/3331.24	c #Conflicts:     273000 | #Constraints:      57935
3317.51/3331.24	c #Conflicts:     274000 | #Constraints:      58935
3317.51/3331.24	c #Conflicts:     275000 | #Constraints:      59935
3317.51/3331.24	c #Conflicts:     276000 | #Constraints:      61214
3317.51/3331.24	c #Conflicts:     277000 | #Constraints:      62435
3317.51/3331.24	c #Conflicts:     278000 | #Constraints:      63785
3317.51/3331.24	c #Conflicts:     279000 | #Constraints:      65143
3317.51/3331.24	c #Conflicts:     280000 | #Constraints:      66370
3317.51/3331.24	c INPROCESSING
3317.51/3331.24	c GARBAGE COLLECT
3317.51/3331.24	c rational objective 1.83399
3600.05/3614.80	c
3600.05/3614.80	s SATISFIABLE
3600.05/3614.80	v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 ~x28 x29 x30 x31 x32 ~x33 x34 ~x35 ~x36 ~x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 ~x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82
3600.05/3614.80	c #Conflicts:     281000 | #Constraints:      33898
3600.05/3614.80	c #Conflicts:     282000 | #Constraints:      34907
3600.05/3614.80	c #Conflicts:     283000 | #Constraints:      35907
3600.05/3614.80	c #Conflicts:     284000 | #Constraints:      36930
3600.05/3614.80	c #Conflicts:     285000 | #Constraints:      38052
3600.05/3614.80	c #Conflicts:     286000 | #Constraints:      39127
3600.05/3614.80	c #Conflicts:     287000 | #Constraints:      40249
3600.05/3614.80	c #Conflicts:     288000 | #Constraints:      41249
3600.05/3614.80	c #Conflicts:     289000 | #Constraints:      42249
3600.05/3614.80	c #Conflicts:     290000 | #Constraints:      43338
3600.05/3614.80	c #Conflicts:     291000 | #Constraints:      44559
3600.05/3614.80	c #Conflicts:     292000 | #Constraints:      45711

Verifier Data 

FAILED
ERROR: unsatisfied constraint on line 7
	-873013609>=-104723596

Falsified constraint is:
-13211*x1[=1] -26422*x2[=1] -52844*x3[=1] -105688*x4[=1] -211376*x5[=1] -422752*x6[=1] -845504*x7[=1] -1691008*x8[=1] -3382016*x9[=1] -6764032*x10[=1] -13528064*x11[=1] -27056128*x12[=1] -54112256*x13[=1] -13212*x14[=1] -26424*x15[=1] -52848*x16[=1] -105696*x17[=1] -211392*x18[=1] -422784*x19[=1] -845568*x20[=1] -1691136*x21[=1] -3382272*x22[=1] -6764544*x23[=1] -13529088*x24[=1] -27058176*x25[=1] -54116352*x26[=1] -39638*x27[=1] -79276*x28[=0] -158552*x29[=1] -317104*x30[=1] -634208*x31[=1] -1268416*x32[=1] -2536832*x33[=0] -5073664*x34[=1] -10147328*x35[=0] -20294656*x36[=0] -40589312*x37[=0] -81178624*x38[=1] -52844*x39[=1] -105688*x40[=1] -211376*x41[=1] -422752*x42[=1] -845504*x43[=1] -1691008*x44[=1] -3382016*x45[=1] -6764032*x46[=1] -13528064*x47[=1] -27056128*x48[=0] -54112256*x49[=1] -66060*x50[=1] -132120*x51[=1] -264240*x52[=1] -528480*x53[=1] -1056960*x54[=1] -2113920*x55[=1] -4227840*x56[=1] -8455680*x57[=1] -16911360*x58[=1] -33822720*x59[=1] -67645440*x60[=1] -79268*x61[=1] -158536*x62[=1] -317072*x63[=1] -634144*x64[=1] -1268288*x65[=1] -2536576*x66[=1] -5073152*x67[=1] -10146304*x68[=1] -20292608*x69[=1] -40585216*x70[=1] -81170432*x71[=1] -92482*x72[=1] -184964*x73[=1] -369928*x74[=1] -739856*x75[=1] -1479712*x76[=1] -2959424*x77[=1] -5918848*x78[=1] -11837696*x79[=1] -23675392*x80[=1] -47350784*x81[=1] -94701568*x82[=1] >= -104723596

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: 64059 MiB (63038 MiB free)
  memory of node 1: 64510 MiB (62409 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445170-1721317989/watcher-4445170-1721317989 -o /tmp/evaluation-result-4445170-1721317989/solver-4445170-1721317989 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721317952-963715 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4445170-1721317989.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=965348, runsolver pid=965345
Current StackSize limit: 8192 KiB


[startup+0.100094 s]*
/proc/loadavg: 3.44 3.73 3.98 5/244 965349
/proc/meminfo: memFree=128457032/131655788 swapFree=131071996/131071996
[pid=965348] ppid=965345 vsize=37664 memory=8372 CPUtime=0.1 cores=1,3
/proc/965348/stat : 965348 (roundingsat) R 965345 965348 963703 0 -1 4194304 526 0 0 0 9 1 0 0 20 0 1 0 183956975 38567936 2093 134679101440 4194304 7968869 140735617987936 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26030080 140735617995709 140735617995873 140735617995873 140735618002889 0
/proc/965348/statm: 9416 2093 1788 922 0 1368 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37664 KiB
Current children cumulated memory: 8372 KiB

[startup+0.212934 s]*
/proc/loadavg: 3.44 3.73 3.98 5/244 965349
/proc/meminfo: memFree=128456500/131655788 swapFree=131071996/131071996
[pid=965348] ppid=965345 vsize=37932 memory=8900 CPUtime=0.21 cores=1,3
/proc/965348/stat : 965348 (roundingsat) R 965345 965348 963703 0 -1 4194304 645 0 0 0 19 2 0 0 20 0 1 0 183956975 38842368 2225 134679101440 4194304 7968869 140735617987936 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26030080 140735617995709 140735617995873 140735617995873 140735618002889 0
/proc/965348/statm: 9483 2225 1788 922 0 1435 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37932 KiB
Current children cumulated memory: 8900 KiB

[startup+0.311972 s]*
/proc/loadavg: 3.44 3.73 3.98 5/244 965349
/proc/meminfo: memFree=128456024/131655788 swapFree=131071996/131071996
[pid=965348] ppid=965345 vsize=38068 memory=9164 CPUtime=0.32 cores=1,3
/proc/965348/stat : 965348 (roundingsat) R 965345 965348 963703 0 -1 4194304 692 0 0 0 29 3 0 0 20 0 1 0 183956975 38981632 2291 134679101440 4194304 7968869 140735617987936 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26030080 140735617995709 140735617995873 140735617995873 140735618002889 0
/proc/965348/statm: 9517 2291 1788 922 0 1469 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 38068 KiB
Current children cumulated memory: 9164 KiB

[startup+0.700247 s]
/proc/loadavg: 3.44 3.73 3.98 5/244 965349
/proc/meminfo: memFree=128455548/131655788 swapFree=131071996/131071996
[pid=965348] ppid=965345 vsize=38492 memory=9956 CPUtime=0.69 cores=1,3
/proc/965348/stat : 965348 (roundingsat) R 965345 965348 963703 0 -1 4194304 885 0 0 0 64 5 0 0 20 0 1 0 183956975 39415808 2489 134679101440 4194304 7968869 140735617987936 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26030080 140735617995709 140735617995873 140735617995873 140735618002889 0
/proc/965348/statm: 9623 2489 1788 922 0 1575 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38492 KiB
Current children cumulated memory: 9956 KiB

[startup+1.50024 s]
/proc/loadavg: 3.44 3.73 3.98 5/244 965349
/proc/meminfo: memFree=128453532/131655788 swapFree=131071996/131071996
[pid=965348] ppid=965345 vsize=39184 memory=12792 CPUtime=1.49 cores=1,3
/proc/965348/stat : 965348 (roundingsat) R 965345 965348 963703 0 -1 4194304 1128 0 0 0 142 7 0 0 20 0 1 0 183956975 40124416 3198 134679101440 4194304 7968869 140735617987936 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26030080 140735617995709 140735617995873 140735617995873 140735618002889 0
/proc/965348/statm: 9796 3198 1788 922 0 1748 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 39184 KiB
Current children cumulated memory: 12792 KiB

[startup+3.11315 s]
/proc/loadavg: 3.44 3.73 3.98 5/244 965349
/proc/meminfo: memFree=128449900/131655788 swapFree=131071996/131071996
[pid=965348] ppid=965345 vsize=40520 memory=14060 CPUtime=3.09 cores=1,3
/proc/965348/stat : 965348 (roundingsat) R 965345 965348 963703 0 -1 4194304 1399 0 0 0 295 14 0 0 20 0 1 0 183956975 41492480 3515 134679101440 4194304 7968869 140735617987936 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26030080 140735617995709 140735617995873 140735617995873 140735618002889 0
/proc/965348/statm: 10130 3515 1788 922 0 2082 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40520 KiB
Current children cumulated memory: 14060 KiB

[startup+6.30024 s]
/proc/loadavg: 3.48 3.73 3.98 5/244 965351
/proc/meminfo: memFree=128448844/131655788 swapFree=131071996/131071996
[pid=965348] ppid=965345 vsize=40936 memory=14460 CPUtime=6.28 cores=1,3
/proc/965348/stat : 965348 (roundingsat) R 965345 965348 963703 0 -1 4194304 1507 0 0 0 599 29 0 0 20 0 1 0 183956975 41918464 3615 134679101440 4194304 7968869 140735617987936 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26030080 140735617995709 140735617995873 140735617995873 140735618002889 0
/proc/965348/statm: 10234 3615 1804 922 0 2186 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 40936 KiB
Current children cumulated memory: 14460 KiB

[startup+12.7003 s]
/proc/loadavg: 3.52 3.74 3.98 5/244 965397
/proc/meminfo: memFree=128451424/131655788 swapFree=131071996/131071996
[pid=965348] ppid=965345 vsize=42456 memory=16524 CPUtime=12.66 cores=1,3
/proc/965348/stat : 965348 (roundingsat) R 965345 965348 963703 0 -1 4194304 1947 0 0 0 1211 55 0 0 20 0 1 0 183956975 43474944 4131 134679101440 4194304 7968869 140735617987936 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26030080 140735617995709 140735617995873 140735617995873 140735618002889 0
/proc/965348/statm: 10614 4131 1922 922 0 2566 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 42456 KiB
Current children cumulated memory: 16524 KiB

[startup+25.5003 s]
/proc/loadavg: 3.63 3.75 3.98 5/244 965400
/proc/meminfo: memFree=128440976/131655788 swapFree=131071996/131071996
[pid=965348] ppid=965345 vsize=45304 memory=17556 CPUtime=25.43 cores=1,3
/proc/965348/stat : 965348 (roundingsat) R 965345 965348 963703 0 -1 4194304 2154 0 0 0 2458 85 0 0 20 0 1 0 183956975 46391296 4389 134679101440 4194304 7968869 140735617987936 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26030080 140735617995709 140735617995873 140735617995873 140735618002889 0
/proc/965348/statm: 11326 4389 1922 922 0 3278 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 45304 KiB
Current children cumulated memory: 17556 KiB

[startup+51.1131 s]
/proc/loadavg: 3.76 3.77 3.99 5/244 965449
/proc/meminfo: memFree=128432148/131655788 swapFree=131071996/131071996
[pid=965348] ppid=965345 vsize=47768 memory=21172 CPUtime=50.98 cores=1,3
/proc/965348/stat : 965348 (roundingsat) R 965345 965348 963703 0 -1 4194304 2586 0 0 0 4941 157 0 0 20 0 1 0 183956975 48914432 5293 134679101440 4194304 7968869 140735617987936 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26030080 140735617995709 140735617995873 140735617995873 140735618002889 0
/proc/965348/statm: 11942 5293 1922 922 0 3894 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 47768 KiB
Current children cumulated memory: 21172 KiB

[startup+102.3 s]
/proc/loadavg: 3.95 3.82 4.00 5/244 965458
/proc/meminfo: memFree=128399516/131655788 swapFree=131071996/131071996
[pid=965348] ppid=965345 vsize=58376 memory=29544 CPUtime=101.99 cores=1,3
/proc/965348/stat : 965348 (roundingsat) R 965345 965348 963703 0 -1 4194304 4180 0 0 0 9966 233 0 0 20 0 1 0 183956975 59777024 7386 134679101440 4194304 7968869 140735617987936 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26030080 140735617995709 140735617995873 140735617995873 140735618002889 0
/proc/965348/statm: 14594 7386 1922 922 0 6546 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 58376 KiB
Current children cumulated memory: 29544 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 3.89 4.01 5/244 965854
/proc/meminfo: memFree=128386172/131655788 swapFree=131071996/131071996
[pid=965348] ppid=965345 vsize=59564 memory=30592 CPUtime=161.77 cores=1,3
/proc/965348/stat : 965348 (roundingsat) R 965345 965348 963703 0 -1 4194304 4465 0 0 0 15844 333 0 0 20 0 1 0 183956975 60993536 7648 134679101440 4194304 7968869 140735617987936 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26030080 140735617995709 140735617995873 140735617995873 140735618002889 0
/proc/965348/statm: 14891 7648 1922 922 0 6843 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 59564 KiB
Current children cumulated memory: 30592 KiB

[startup+222.3 s]
/proc/loadavg: 5.13 4.22 4.11 5/244 965864
/proc/meminfo: memFree=128352560/131655788 swapFree=131071996/131071996
[pid=965348] ppid=965345 vsize=68040 memory=36912 CPUtime=221.53 cores=1,3
/proc/965348/stat : 965348 (roundingsat) R 965345 965348 963703 0 -1 4194304 5291 0 0 0 21767 386 0 0 20 0 1 0 183956975 69672960 9228 134679101440 4194304 7968869 140735617987936 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26030080 140735617995709 140735617995873 140735617995873 140735618002889 0
/proc/965348/statm: 17010 9228 1922 922 0 8962 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 68040 KiB
Current children cumulated memory: 36912 KiB

[startup+282.3 s]
/proc/loadavg: 4.87 4.33 4.16 5/243 965875
/proc/meminfo: memFree=128342216/131655788 swapFree=131071996/131071996
[pid=965348] ppid=965345 vsize=68348 memory=37128 CPUtime=281.28 cores=1,3
/proc/965348/stat : 965348 (roundingsat) R 965345 965348 963703 0 -1 4194304 5421 0 0 0 27684 444 0 0 20 0 1 0 183956975 69988352 9282 134679101440 4194304 7968869 140735617987936 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26030080 140735617995709 140735617995873 140735617995873 140735618002889 0
/proc/965348/statm: 17087 9282 1922 922 0 9039 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 68348 KiB
Current children cumulated memory: 37128 KiB

[startup+342.3 s]
/proc/loadavg: 4.66 4.37 4.18 5/244 966054
/proc/meminfo: memFree=128340704/131655788 swapFree=131071996/131071996
[pid=965348] ppid=965345 vsize=68348 memory=37388 CPUtime=341 cores=1,3
/proc/965348/stat : 965348 (roundingsat) R 965345 965348 963703 0 -1 4194304 5431 0 0 0 33591 509 0 0 20 0 1 0 183956975 69988352 9347 134679101440 4194304 7968869 140735617987936 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26030080 140735617995709 140735617995873 140735617995873 140735618002889 0
/proc/965348/statm: 17087 9347 1922 922 0 9039 0
Current children cumulated CPU time: 341 s
Current children cumulated vsize: 68348 KiB
Current children cumulated memory: 37388 KiB

[startup+402.3 s]
/proc/loadavg: 4.66 4.43 4.21 5/244 966066
/proc/meminfo: memFree=128337452/131655788 swapFree=131071996/131071996
[pid=965348] ppid=965345 vsize=69080 memory=39876 CPUtime=400.73 cores=1,3
/proc/965348/stat : 965348 (roundingsat) R 965345 965348 963703 0 -1 4194304 5616 0 0 0 39516 557 0 0 20 0 1 0 183956975 70737920 9969 134679101440 4194304 7968869 140735617987936 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26030080 140735617995709 140735617995873 140735617995873 140735618002889 0
/proc/965348/statm: 17270 9969 1922 922 0 9222 0
Current children cumulated CPU time: 400.73 s
Current children cumulated vsize: 69080 KiB
Current children cumulated memory: 39876 KiB

[startup+462.3 s]
/proc/loadavg: 4.63 4.47 4.24 5/244 966090
/proc/meminfo: memFree=128328288/131655788 swapFree=131071996/131071996
[pid=965348] ppid=965345 vsize=71256 memory=43724 CPUtime=460.49 cores=1,3
/proc/965348/stat : 965348 (roundingsat) R 965345 965348 963703 0 -1 4194304 6096 0 0 0 45461 588 0 0 20 0 1 0 183956975 72966144 10931 134679101440 4194304 7968869 140735617987936 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26030080 140735617995709 140735617995873 140735617995873 140735618002889 0
/proc/965348/statm: 17814 10931 1922 922 0 9766 0

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

Current children cumulated memory: 66928 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/242 967372
/proc/meminfo: memFree=128129456/131655788 swapFree=131071996/131071996
[pid=965348] ppid=965345 vsize=96664 memory=67312 CPUtime=2850.5 cores=1,3
/proc/965348/stat : 965348 (roundingsat) R 965345 965348 963703 0 -1 4194304 11110 0 0 0 283438 1612 0 0 20 0 1 0 183956975 98983936 16828 134679101440 4194304 7968869 140735617987936 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26030080 140735617995709 140735617995873 140735617995873 140735618002889 0
/proc/965348/statm: 24166 16828 1922 922 0 16118 0
Current children cumulated CPU time: 2850.5 s
Current children cumulated vsize: 96664 KiB
Current children cumulated memory: 67312 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/242 967383
/proc/meminfo: memFree=128097912/131655788 swapFree=131071996/131071996
[pid=965348] ppid=965345 vsize=96920 memory=69736 CPUtime=2910.25 cores=1,3
/proc/965348/stat : 965348 (roundingsat) R 965345 965348 963703 0 -1 4194304 11203 0 0 0 289393 1632 0 0 20 0 1 0 183956975 99246080 17434 134679101440 4194304 7968869 140735617987936 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26030080 140735617995709 140735617995873 140735617995873 140735618002889 0
/proc/965348/statm: 24230 17434 1922 922 0 16182 0
Current children cumulated CPU time: 2910.25 s
Current children cumulated vsize: 96920 KiB
Current children cumulated memory: 69736 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/242 967395
/proc/meminfo: memFree=128075612/131655788 swapFree=131071996/131071996
[pid=965348] ppid=965345 vsize=96920 memory=69908 CPUtime=2970 cores=1,3
/proc/965348/stat : 965348 (roundingsat) R 965345 965348 963703 0 -1 4194304 11271 0 0 0 295345 1655 0 0 20 0 1 0 183956975 99246080 17477 134679101440 4194304 7968869 140735617987936 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26030080 140735617995709 140735617995873 140735617995873 140735618002889 0
/proc/965348/statm: 24230 17477 1922 922 0 16182 0
Current children cumulated CPU time: 2970 s
Current children cumulated vsize: 96920 KiB
Current children cumulated memory: 69908 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/242 967406
/proc/meminfo: memFree=128072584/131655788 swapFree=131071996/131071996
[pid=965348] ppid=965345 vsize=96920 memory=70328 CPUtime=3029.75 cores=1,3
/proc/965348/stat : 965348 (roundingsat) R 965345 965348 963703 0 -1 4194304 11425 0 0 0 301298 1677 0 0 20 0 1 0 183956975 99246080 17582 134679101440 4194304 7968869 140735617987936 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26030080 140735617995709 140735617995873 140735617995873 140735618002889 0
/proc/965348/statm: 24230 17582 1922 922 0 16182 0
Current children cumulated CPU time: 3029.75 s
Current children cumulated vsize: 96920 KiB
Current children cumulated memory: 70328 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/242 967417
/proc/meminfo: memFree=128067576/131655788 swapFree=131071996/131071996
[pid=965348] ppid=965345 vsize=116656 memory=71932 CPUtime=3089.48 cores=1,3
/proc/965348/stat : 965348 (roundingsat) R 965345 965348 963703 0 -1 4194304 11836 0 0 0 307249 1699 0 0 20 0 1 0 183956975 119455744 17983 134679101440 4194304 7968869 140735617987936 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26030080 140735617995709 140735617995873 140735617995873 140735618002889 0
/proc/965348/statm: 29164 17983 1922 922 0 21116 0
Current children cumulated CPU time: 3089.48 s
Current children cumulated vsize: 116656 KiB
Current children cumulated memory: 71932 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/241 967429
/proc/meminfo: memFree=128059544/131655788 swapFree=131071996/131071996
[pid=965348] ppid=965345 vsize=124092 memory=77456 CPUtime=3149.25 cores=1,3
/proc/965348/stat : 965348 (roundingsat) R 965345 965348 963703 0 -1 4194304 13557 0 0 0 313211 1714 0 0 20 0 1 0 183956975 127070208 19364 134679101440 4194304 7968869 140735617987936 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26030080 140735617995709 140735617995873 140735617995873 140735618002889 0
/proc/965348/statm: 31023 19364 1922 922 0 22975 0
Current children cumulated CPU time: 3149.25 s
Current children cumulated vsize: 124092 KiB
Current children cumulated memory: 77456 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/241 967439
/proc/meminfo: memFree=128050372/131655788 swapFree=131071996/131071996
[pid=965348] ppid=965345 vsize=128444 memory=79908 CPUtime=3209.01 cores=1,3
/proc/965348/stat : 965348 (roundingsat) R 965345 965348 963703 0 -1 4194304 14662 0 0 0 319174 1727 0 0 20 0 1 0 183956975 131526656 19977 134679101440 4194304 7968869 140735617987936 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26030080 140735617995709 140735617995873 140735617995873 140735618002889 0
/proc/965348/statm: 32111 19977 1922 922 0 24063 0
Current children cumulated CPU time: 3209.01 s
Current children cumulated vsize: 128444 KiB
Current children cumulated memory: 79908 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/241 967450
/proc/meminfo: memFree=128039612/131655788 swapFree=131071996/131071996
[pid=965348] ppid=965345 vsize=129980 memory=82556 CPUtime=3268.79 cores=1,3
/proc/965348/stat : 965348 (roundingsat) R 965345 965348 963703 0 -1 4194304 15037 0 0 0 325141 1738 0 0 20 0 1 0 183956975 133099520 20639 134679101440 4194304 7968869 140735617987936 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26030080 140735617995709 140735617995873 140735617995873 140735618002889 0
/proc/965348/statm: 32495 20639 1922 922 0 24447 0
Current children cumulated CPU time: 3268.79 s
Current children cumulated vsize: 129980 KiB
Current children cumulated memory: 82556 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/241 967461
/proc/meminfo: memFree=128034468/131655788 swapFree=131071996/131071996
[pid=965348] ppid=965345 vsize=131260 memory=83104 CPUtime=3328.56 cores=1,3
/proc/965348/stat : 965348 (roundingsat) R 965345 965348 963703 0 -1 4194304 15477 0 0 0 331107 1749 0 0 20 0 1 0 183956975 134410240 20776 134679101440 4194304 7968869 140735617987936 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26030080 140735617995709 140735617995873 140735617995873 140735618002889 0
/proc/965348/statm: 32815 20776 1922 922 0 24767 0
Current children cumulated CPU time: 3328.56 s
Current children cumulated vsize: 131260 KiB
Current children cumulated memory: 83104 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/241 967473
/proc/meminfo: memFree=128030268/131655788 swapFree=131071996/131071996
[pid=965348] ppid=965345 vsize=131260 memory=83104 CPUtime=3388.34 cores=1,3
/proc/965348/stat : 965348 (roundingsat) R 965345 965348 963703 0 -1 4194304 15501 0 0 0 337061 1773 0 0 20 0 1 0 183956975 134410240 20776 134679101440 4194304 7968869 140735617987936 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26030080 140735617995709 140735617995873 140735617995873 140735618002889 0
/proc/965348/statm: 32815 20776 1922 922 0 24767 0
Current children cumulated CPU time: 3388.34 s
Current children cumulated vsize: 131260 KiB
Current children cumulated memory: 83104 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/244 967489
/proc/meminfo: memFree=128027380/131655788 swapFree=131071996/131071996
[pid=965348] ppid=965345 vsize=131260 memory=83104 CPUtime=3448.11 cores=1,3
/proc/965348/stat : 965348 (roundingsat) R 965345 965348 963703 0 -1 4194304 15526 0 0 0 343025 1786 0 0 20 0 1 0 183956975 134410240 20776 134679101440 4194304 7968869 140735617987936 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26030080 140735617995709 140735617995873 140735617995873 140735618002889 0
/proc/965348/statm: 32815 20776 1922 922 0 24767 0
Current children cumulated CPU time: 3448.11 s
Current children cumulated vsize: 131260 KiB
Current children cumulated memory: 83104 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.09 7/244 967500
/proc/meminfo: memFree=128023676/131655788 swapFree=131071996/131071996
[pid=965348] ppid=965345 vsize=131260 memory=83104 CPUtime=3507.88 cores=1,3
/proc/965348/stat : 965348 (roundingsat) R 965345 965348 963703 0 -1 4194304 15550 0 0 0 348979 1809 0 0 20 0 1 0 183956975 134410240 20776 134679101440 4194304 7968869 140735617987936 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26030080 140735617995709 140735617995873 140735617995873 140735618002889 0
/proc/965348/statm: 32815 20776 1922 922 0 24767 0
Current children cumulated CPU time: 3507.88 s
Current children cumulated vsize: 131260 KiB
Current children cumulated memory: 83104 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/244 967511
/proc/meminfo: memFree=128021056/131655788 swapFree=131071996/131071996
[pid=965348] ppid=965345 vsize=131260 memory=83104 CPUtime=3567.65 cores=1,3
/proc/965348/stat : 965348 (roundingsat) R 965345 965348 963703 0 -1 4194304 15589 0 0 0 354942 1823 0 0 20 0 1 0 183956975 134410240 20776 134679101440 4194304 7968869 140735617987936 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26030080 140735617995709 140735617995873 140735617995873 140735618002889 0
/proc/965348/statm: 32815 20776 1922 922 0 24767 0
Current children cumulated CPU time: 3567.65 s
Current children cumulated vsize: 131260 KiB
Current children cumulated memory: 83104 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3614.8 s]
/proc/loadavg: 4.13 4.11 4.09 5/244 967563
/proc/meminfo: memFree=127919656/131655788 swapFree=131071996/131071996
[pid=965348] ppid=965345 vsize=131260 memory=84008 CPUtime=3600.05 cores=1,3
/proc/965348/stat : 965348 (roundingsat) R 965345 965348 963703 0 -1 4194304 15609 0 0 0 358175 1830 0 0 20 0 1 0 183956975 134410240 21002 134679101440 4194304 7968869 140735617987936 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26030080 140735617995709 140735617995873 140735617995873 140735618002889 0
/proc/965348/statm: 32815 21002 1922 922 0 24767 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 131260 KiB
Current children cumulated memory: 84008 KiB

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

[startup+3614.8 s]
# the end of solver process 965348 was just reported to runsolver
# Child status: 1

# cumulated CPU time of all completed processes:  user=3581.76 s, system=18.3061 s

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

Child status: 1

Real time (s): 3614.8
CPU time (s): 3600.06
CPU user time (s): 3581.76
CPU system time (s): 18.3061
CPU usage (%): 99.5922
Max. virtual memory (cumulated for all children) (KiB): 131852
Max. memory (cumulated for all children) (KiB): 84008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.76
system time used= 18.3061
maximum resident set size= 84008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15618
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= 34
involuntary context switches= 3048


# summary of solver processes directly reported to runsolver:
#   pid: 965348
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3581.76
#   total CPU system time (s): 18.3061

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.236 second user time and 36.9491 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2024-07-18 17:53:22
IDJOB=4445170
IDBENCH=148102
IDSOLVER=3051
FILE ID=nodeC002/4445170-1721317989
RUNJOBID= nodeC002-1721317952-963715
SLURM_JOB_ID= 7542670
Free space on /tmp= 723768 MiB

SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-cuww4.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445170-1721317989/watcher-4445170-1721317989 -o /tmp/evaluation-result-4445170-1721317989/solver-4445170-1721317989 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721317952-963715 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4445170-1721317989.opb

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

MD5SUM BENCH= 13439fe0222d33319b9169d149c100b9
RANDOM SEED=2126586861

nodeC002.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3682.528
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.38
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		: 3621.428
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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.433
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.38
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.155
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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		: 3682.766
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.38
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		: 3654.313
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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.334
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.38
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.267
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128459220 kB
MemAvailable:   129858056 kB
Buffers:          522028 kB
Cached:          1704752 kB
SwapCached:            0 kB
Active:           933604 kB
Inactive:        1689648 kB
Active(anon):       2692 kB
Inactive(anon):   431812 kB
Active(file):     930912 kB
Inactive(file):  1257836 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             21076 kB
Writeback:            32 kB
AnonPages:        396680 kB
Mapped:           115776 kB
Shmem:             37704 kB
KReclaimable:     100236 kB
Slab:             203412 kB
SReclaimable:     100236 kB
SUnreclaim:       103176 kB
KernelStack:        4000 kB
PageTables:        10016 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     766328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59456 kB
HardwareCorrupted:     0 kB
AnonHugePages:    239616 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205640 kB
DirectMap2M:    21719040 kB
DirectMap1G:    114294784 kB

Free space on /tmp at the end= 723748 MiB
End job on nodeC002 at 2024-07-18 18:53:37