Trace number 4445260

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.09 3611.6

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob8.opb
MD5SUM3f61e6943d6ec76e40473bfb8d86b810
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.264688
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables86
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 constraint86
Maximum length of a constraint86
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 21733991
Number of bits of the biggest number in a constraint 25
Biggest sum of numbers in a constraint 300042743
Number of bits of the biggest sum of numbers29
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c #variables 86 #constraints 2
0.00/0.00	c rational objective 1.25844
0.77/0.89	c #Conflicts:       1000 | #Constraints:       1189
0.77/0.89	c #Conflicts:       2000 | #Constraints:       2936
0.77/0.89	c INPROCESSING
0.77/0.89	c GARBAGE COLLECT
0.77/0.89	c rational objective 1.28073
3.57/3.67	c #Conflicts:       3000 | #Constraints:       3018
3.57/3.67	c #Conflicts:       4000 | #Constraints:       4518
3.57/3.67	c INPROCESSING
3.57/3.67	c GARBAGE COLLECT
3.57/3.67	c rational objective 1.60975
5.76/5.81	c #Conflicts:       5000 | #Constraints:       3826
5.76/5.81	c #Conflicts:       6000 | #Constraints:       5339
5.76/5.81	c INPROCESSING
5.76/5.81	c GARBAGE COLLECT
5.76/5.81	c rational objective 1.61926
9.36/9.47	c #Conflicts:       7000 | #Constraints:       3571
9.36/9.47	c #Conflicts:       8000 | #Constraints:       4866
9.36/9.47	c #Conflicts:       9000 | #Constraints:       6230
9.36/9.47	c INPROCESSING
9.36/9.47	c GARBAGE COLLECT
9.36/9.47	c rational objective 1.61965
13.25/13.35	c #Conflicts:      10000 | #Constraints:       4475
13.25/13.35	c #Conflicts:      11000 | #Constraints:       5881
13.25/13.35	c #Conflicts:      12000 | #Constraints:       7247
13.25/13.35	c INPROCESSING
13.25/13.35	c GARBAGE COLLECT
13.25/13.35	c rational objective 2.04615
18.63/18.71	c #Conflicts:      13000 | #Constraints:       5063
18.63/18.71	c #Conflicts:      14000 | #Constraints:       6706
18.63/18.71	c #Conflicts:      15000 | #Constraints:       8518
18.63/18.71	c INPROCESSING
18.63/18.71	c GARBAGE COLLECT
18.63/18.71	c rational objective 2.46035
24.32/24.47	c #Conflicts:      16000 | #Constraints:       5616
24.32/24.47	c #Conflicts:      17000 | #Constraints:       6616
24.32/24.47	c #Conflicts:      18000 | #Constraints:       7616
24.32/24.47	c INPROCESSING
24.32/24.47	c GARBAGE COLLECT
24.32/24.47	c rational objective 1.61932
28.81/28.96	c #Conflicts:      19000 | #Constraints:       4987
28.81/28.96	c #Conflicts:      20000 | #Constraints:       6462
28.81/28.96	c #Conflicts:      21000 | #Constraints:       8068
28.81/28.96	c INPROCESSING
28.81/28.96	c GARBAGE COLLECT
28.81/28.96	c rational objective 1.78268
33.90/34.06	c #Conflicts:      22000 | #Constraints:       5074
33.90/34.06	c #Conflicts:      23000 | #Constraints:       6225
33.90/34.06	c #Conflicts:      24000 | #Constraints:       7225
33.90/34.06	c #Conflicts:      25000 | #Constraints:       8225
33.90/34.06	c INPROCESSING
33.90/34.06	c GARBAGE COLLECT
33.90/34.06	c rational objective 1.62244
39.18/39.37	c #Conflicts:      26000 | #Constraints:       5394
39.18/39.37	c #Conflicts:      27000 | #Constraints:       7035
39.18/39.37	c #Conflicts:      28000 | #Constraints:       8792
39.18/39.37	c #Conflicts:      29000 | #Constraints:      10575
39.18/39.37	c INPROCESSING
39.18/39.37	c GARBAGE COLLECT
39.18/39.37	c rational objective 1.97572
47.56/47.76	c #Conflicts:      30000 | #Constraints:       7074
47.56/47.76	c #Conflicts:      31000 | #Constraints:       8496
47.56/47.76	c #Conflicts:      32000 | #Constraints:       9700
47.56/47.76	c #Conflicts:      33000 | #Constraints:      10988
47.56/47.76	c INPROCESSING
47.56/47.76	c GARBAGE COLLECT
47.56/47.76	c rational objective 2.18292
52.06/52.22	c #Conflicts:      34000 | #Constraints:       6684
52.06/52.22	c #Conflicts:      35000 | #Constraints:       7722
52.06/52.22	ELEAVE56 ERROR! Tried to put a fixed column variable into the basis. idx=69, lower=0, upper=0
58.34/58.51	c #Conflicts:      36000 | #Constraints:       8722
58.34/58.51	c #Conflicts:      37000 | #Constraints:       9722
58.34/58.51	c INPROCESSING
58.34/58.51	c GARBAGE COLLECT
58.34/58.51	c rational objective 1.62368
67.02/67.26	c #Conflicts:      38000 | #Constraints:       6297
67.02/67.26	c #Conflicts:      39000 | #Constraints:       7849
67.02/67.26	c #Conflicts:      40000 | #Constraints:       9508
67.02/67.26	c #Conflicts:      41000 | #Constraints:      11211
67.02/67.26	c INPROCESSING
67.02/67.26	c GARBAGE COLLECT
67.02/67.26	c rational objective 1.80531
78.19/78.50	c #Conflicts:      42000 | #Constraints:       6751
78.19/78.50	c #Conflicts:      43000 | #Constraints:       8492
78.19/78.50	c #Conflicts:      44000 | #Constraints:      10271
78.19/78.50	c #Conflicts:      45000 | #Constraints:      11955
78.19/78.50	c #Conflicts:      46000 | #Constraints:      13703
78.19/78.50	c INPROCESSING
78.19/78.50	c GARBAGE COLLECT
78.19/78.50	c rational objective 1.62915
85.67/85.93	c #Conflicts:      47000 | #Constraints:       8347
85.67/85.93	c #Conflicts:      48000 | #Constraints:      10028
85.67/85.93	c #Conflicts:      49000 | #Constraints:      11495
85.67/85.93	c #Conflicts:      50000 | #Constraints:      13032
85.67/85.93	c #Conflicts:      51000 | #Constraints:      14594
85.67/85.93	c INPROCESSING
85.67/85.93	c GARBAGE COLLECT
85.67/85.93	c rational objective 1.75108
101.53/101.89	c #Conflicts:      52000 | #Constraints:       8550
101.53/101.89	c #Conflicts:      53000 | #Constraints:       9740
101.53/101.89	c #Conflicts:      54000 | #Constraints:      11215
101.53/101.89	c #Conflicts:      55000 | #Constraints:      12354
101.53/101.89	c #Conflicts:      56000 | #Constraints:      13354
101.53/101.89	c INPROCESSING
101.53/101.89	c GARBAGE COLLECT
101.53/101.89	c rational objective 1.62453
240.29/241.07	c #Conflicts:      57000 | #Constraints:       8218
240.29/241.07	c #Conflicts:      58000 | #Constraints:       9603
240.29/241.07	c #Conflicts:      59000 | #Constraints:      11083
240.29/241.07	c #Conflicts:      60000 | #Constraints:      12378
240.29/241.07	c #Conflicts:      61000 | #Constraints:      13649
240.29/241.07	c #Conflicts:      62000 | #Constraints:      14742
240.29/241.07	c #Conflicts:      63000 | #Constraints:      15742
240.29/241.07	c #Conflicts:      64000 | #Constraints:      16742
240.29/241.07	c #Conflicts:      65000 | #Constraints:      17742
240.29/241.07	c #Conflicts:      66000 | #Constraints:      18854
240.29/241.07	c #Conflicts:      67000 | #Constraints:      19854
240.29/241.07	c #Conflicts:      68000 | #Constraints:      21237
240.29/241.07	c #Conflicts:      69000 | #Constraints:      22237
240.29/241.07	c #Conflicts:      70000 | #Constraints:      23237
240.29/241.07	c #Conflicts:      71000 | #Constraints:      24237
240.29/241.07	c #Conflicts:      72000 | #Constraints:      25237
240.29/241.07	c #Conflicts:      73000 | #Constraints:      26621
240.29/241.07	c #Conflicts:      74000 | #Constraints:      28406
240.29/241.07	c #Conflicts:      75000 | #Constraints:      29466
240.29/241.07	c #Conflicts:      76000 | #Constraints:      30466
240.29/241.07	c INPROCESSING
240.29/241.07	c GARBAGE COLLECT
240.29/241.07	c rational objective 1.62437
275.76/276.61	c #Conflicts:      77000 | #Constraints:      16357
275.76/276.61	c #Conflicts:      78000 | #Constraints:      18084
275.76/276.61	c #Conflicts:      79000 | #Constraints:      19778
275.76/276.61	c #Conflicts:      80000 | #Constraints:      21133
275.76/276.61	c #Conflicts:      81000 | #Constraints:      22898
275.76/276.61	c #Conflicts:      82000 | #Constraints:      24656
275.76/276.61	c INPROCESSING
275.76/276.61	c GARBAGE COLLECT
275.76/276.61	c rational objective 1.62428
302.28/303.27	c #Conflicts:      83000 | #Constraints:      13389
302.28/303.27	c #Conflicts:      84000 | #Constraints:      15180
302.28/303.27	c #Conflicts:      85000 | #Constraints:      16935
302.28/303.27	c #Conflicts:      86000 | #Constraints:      18667
302.28/303.27	c #Conflicts:      87000 | #Constraints:      20408
302.28/303.27	c #Conflicts:      88000 | #Constraints:      22146
302.28/303.27	c #Conflicts:      89000 | #Constraints:      23880
302.28/303.27	c INPROCESSING
302.28/303.27	c GARBAGE COLLECT
302.28/303.27	c rational objective 2.88062
345.75/346.81	c #Conflicts:      90000 | #Constraints:      13483
345.75/346.81	c #Conflicts:      91000 | #Constraints:      14704
345.75/346.81	c #Conflicts:      92000 | #Constraints:      15704
345.75/346.81	c #Conflicts:      93000 | #Constraints:      16704
345.75/346.81	c #Conflicts:      94000 | #Constraints:      17704
345.75/346.81	c #Conflicts:      95000 | #Constraints:      19126
345.75/346.81	c #Conflicts:      96000 | #Constraints:      20415
345.75/346.81	c INPROCESSING
345.75/346.81	c GARBAGE COLLECT
345.75/346.81	c rational objective 3.03449
594.66/596.57	c #Conflicts:      97000 | #Constraints:      11286
594.66/596.57	c #Conflicts:      98000 | #Constraints:      12286
594.66/596.57	c #Conflicts:      99000 | #Constraints:      13286
594.66/596.57	c #Conflicts:     100000 | #Constraints:      14286
594.66/596.57	c #Conflicts:     101000 | #Constraints:      15286
594.66/596.57	c #Conflicts:     102000 | #Constraints:      16286
594.66/596.57	c #Conflicts:     103000 | #Constraints:      17286
594.66/596.57	c #Conflicts:     104000 | #Constraints:      18286
594.66/596.57	c #Conflicts:     105000 | #Constraints:      19286
594.66/596.57	c #Conflicts:     106000 | #Constraints:      20459
594.66/596.57	c #Conflicts:     107000 | #Constraints:      21786
594.66/596.57	c #Conflicts:     108000 | #Constraints:      23092
594.66/596.57	c #Conflicts:     109000 | #Constraints:      24342
594.66/596.57	c #Conflicts:     110000 | #Constraints:      26129
594.66/596.57	c #Conflicts:     111000 | #Constraints:      27527
594.66/596.57	c #Conflicts:     112000 | #Constraints:      28582
594.66/596.57	c #Conflicts:     113000 | #Constraints:      30291
594.66/596.57	c #Conflicts:     114000 | #Constraints:      32062
594.66/596.57	c #Conflicts:     115000 | #Constraints:      33165
594.66/596.57	c #Conflicts:     116000 | #Constraints:      34660
594.66/596.57	c #Conflicts:     117000 | #Constraints:      36250
594.66/596.57	c #Conflicts:     118000 | #Constraints:      37570
594.66/596.57	c #Conflicts:     119000 | #Constraints:      38570
594.66/596.57	c #Conflicts:     120000 | #Constraints:      39570
594.66/596.57	c #Conflicts:     121000 | #Constraints:      40570
594.66/596.57	c INPROCESSING
594.66/596.57	c GARBAGE COLLECT
594.66/596.57	c rational objective 1.63055
700.60/702.85	c #Conflicts:     122000 | #Constraints:      20945
700.60/702.85	c #Conflicts:     123000 | #Constraints:      22371
700.60/702.85	c #Conflicts:     124000 | #Constraints:      23727
700.60/702.85	c #Conflicts:     125000 | #Constraints:      24861
700.60/702.85	c #Conflicts:     126000 | #Constraints:      25861
700.60/702.85	c #Conflicts:     127000 | #Constraints:      26861
700.60/702.85	c #Conflicts:     128000 | #Constraints:      27861
700.60/702.85	c #Conflicts:     129000 | #Constraints:      28861
700.60/702.85	c INPROCESSING
700.60/702.85	c GARBAGE COLLECT
700.60/702.85	c rational objective 1.62139
762.70/765.13	c #Conflicts:     130000 | #Constraints:      15197
762.70/765.13	c #Conflicts:     131000 | #Constraints:      17026
762.70/765.13	c #Conflicts:     132000 | #Constraints:      18792
762.70/765.13	c #Conflicts:     133000 | #Constraints:      20509
762.70/765.13	c #Conflicts:     134000 | #Constraints:      22286
762.70/765.13	c #Conflicts:     135000 | #Constraints:      23912
762.70/765.13	c #Conflicts:     136000 | #Constraints:      25249
762.70/765.13	c #Conflicts:     137000 | #Constraints:      26899
762.70/765.13	c #Conflicts:     138000 | #Constraints:      28322
762.70/765.13	c INPROCESSING
762.70/765.13	c GARBAGE COLLECT
762.70/765.13	c rational objective 2.22572
841.24/843.95	c #Conflicts:     139000 | #Constraints:      15650
841.24/843.95	c #Conflicts:     140000 | #Constraints:      17235
841.24/843.95	c #Conflicts:     141000 | #Constraints:      19011
841.24/843.95	c #Conflicts:     142000 | #Constraints:      20407
841.24/843.95	c #Conflicts:     143000 | #Constraints:      21865
841.24/843.95	c #Conflicts:     144000 | #Constraints:      23570
841.24/843.95	c #Conflicts:     145000 | #Constraints:      24984
841.24/843.95	c #Conflicts:     146000 | #Constraints:      26703
841.24/843.95	c INPROCESSING
841.24/843.95	c GARBAGE COLLECT
841.24/843.95	c rational objective 2.5464
1277.31/1281.47	c #Conflicts:     147000 | #Constraints:      14756
1277.31/1281.47	c #Conflicts:     148000 | #Constraints:      16471
1277.31/1281.47	c #Conflicts:     149000 | #Constraints:      18257
1277.31/1281.47	c #Conflicts:     150000 | #Constraints:      20023
1277.31/1281.47	c #Conflicts:     151000 | #Constraints:      21836
1277.31/1281.47	c #Conflicts:     152000 | #Constraints:      23654
1277.31/1281.47	c #Conflicts:     153000 | #Constraints:      25373
1277.31/1281.47	c #Conflicts:     154000 | #Constraints:      27141
1277.31/1281.47	c #Conflicts:     155000 | #Constraints:      28947
1277.31/1281.47	c #Conflicts:     156000 | #Constraints:      30714
1277.31/1281.47	c #Conflicts:     157000 | #Constraints:      32251
1277.31/1281.47	c #Conflicts:     158000 | #Constraints:      33976
1277.31/1281.47	c #Conflicts:     159000 | #Constraints:      35705
1277.31/1281.47	c #Conflicts:     160000 | #Constraints:      37520
1277.31/1281.47	c #Conflicts:     161000 | #Constraints:      39246
1277.31/1281.47	c #Conflicts:     162000 | #Constraints:      40557
1277.31/1281.47	c #Conflicts:     163000 | #Constraints:      41778
1277.31/1281.47	c #Conflicts:     164000 | #Constraints:      43081
1277.31/1281.47	c #Conflicts:     165000 | #Constraints:      44432
1277.31/1281.47	c #Conflicts:     166000 | #Constraints:      45788
1277.31/1281.47	c #Conflicts:     167000 | #Constraints:      47131
1277.31/1281.47	c #Conflicts:     168000 | #Constraints:      48639
1277.31/1281.47	c #Conflicts:     169000 | #Constraints:      50176
1277.31/1281.47	c #Conflicts:     170000 | #Constraints:      51554
1277.31/1281.47	c #Conflicts:     171000 | #Constraints:      53002
1277.31/1281.47	c #Conflicts:     172000 | #Constraints:      54262
1277.31/1281.47	c #Conflicts:     173000 | #Constraints:      55495
1277.31/1281.47	c #Conflicts:     174000 | #Constraints:      56909
1277.31/1281.47	c #Conflicts:     175000 | #Constraints:      58226
1277.31/1281.47	c #Conflicts:     176000 | #Constraints:      59814
1277.31/1281.47	c #Conflicts:     177000 | #Constraints:      61566
1277.31/1281.47	c INPROCESSING
1277.31/1281.47	c GARBAGE COLLECT
1277.31/1281.47	c rational objective 2.64773
1502.28/1507.10	c #Conflicts:     178000 | #Constraints:      31795
1502.28/1507.10	c #Conflicts:     179000 | #Constraints:      32795
1502.28/1507.10	c #Conflicts:     180000 | #Constraints:      34134
1502.28/1507.10	c #Conflicts:     181000 | #Constraints:      35134
1502.28/1507.10	c #Conflicts:     182000 | #Constraints:      36134
1502.28/1507.10	c #Conflicts:     183000 | #Constraints:      37134
1502.28/1507.10	c #Conflicts:     184000 | #Constraints:      38134
1502.28/1507.10	c #Conflicts:     185000 | #Constraints:      39134
1502.28/1507.10	c #Conflicts:     186000 | #Constraints:      40134
1502.28/1507.10	c #Conflicts:     187000 | #Constraints:      41134
1502.28/1507.10	c INPROCESSING
1502.28/1507.10	c GARBAGE COLLECT
1502.28/1507.10	c rational objective 1.62623
1643.22/1648.57	c #Conflicts:     188000 | #Constraints:      21507
1643.22/1648.57	c #Conflicts:     189000 | #Constraints:      22507
1643.22/1648.57	c #Conflicts:     190000 | #Constraints:      23507
1643.22/1648.57	c #Conflicts:     191000 | #Constraints:      24507
1643.22/1648.57	c #Conflicts:     192000 | #Constraints:      25507
1643.22/1648.57	c #Conflicts:     193000 | #Constraints:      26507
1643.22/1648.57	c #Conflicts:     194000 | #Constraints:      27507
1643.22/1648.57	c #Conflicts:     195000 | #Constraints:      28507
1643.22/1648.57	c #Conflicts:     196000 | #Constraints:      29507
1643.22/1648.57	c #Conflicts:     197000 | #Constraints:      30507
1643.22/1648.57	c INPROCESSING
1643.22/1648.57	c GARBAGE COLLECT
1643.22/1648.57	c rational objective 1.62634
2568.26/2576.42	c #Conflicts:     198000 | #Constraints:      17750
2568.26/2576.42	c #Conflicts:     199000 | #Constraints:      19213
2568.26/2576.42	c #Conflicts:     200000 | #Constraints:      20213
2568.26/2576.42	c #Conflicts:     201000 | #Constraints:      21213
2568.26/2576.42	c #Conflicts:     202000 | #Constraints:      22461
2568.26/2576.42	c #Conflicts:     203000 | #Constraints:      23881
2568.26/2576.42	c #Conflicts:     204000 | #Constraints:      25360
2568.26/2576.42	c #Conflicts:     205000 | #Constraints:      26379
2568.26/2576.42	c #Conflicts:     206000 | #Constraints:      27379
2568.26/2576.42	c #Conflicts:     207000 | #Constraints:      28726
2568.26/2576.42	c #Conflicts:     208000 | #Constraints:      30181
2568.26/2576.42	c #Conflicts:     209000 | #Constraints:      31732
2568.26/2576.42	c #Conflicts:     210000 | #Constraints:      32861
2568.26/2576.42	c #Conflicts:     211000 | #Constraints:      34200
2568.26/2576.42	c #Conflicts:     212000 | #Constraints:      35623
2568.26/2576.42	c #Conflicts:     213000 | #Constraints:      37223
2568.26/2576.42	c #Conflicts:     214000 | #Constraints:      38465
2568.26/2576.42	c #Conflicts:     215000 | #Constraints:      39796
2568.26/2576.42	c #Conflicts:     216000 | #Constraints:      40824
2568.26/2576.42	c #Conflicts:     217000 | #Constraints:      42120
2568.26/2576.42	c #Conflicts:     218000 | #Constraints:      43370
2568.26/2576.42	c #Conflicts:     219000 | #Constraints:      44910
2568.26/2576.42	c #Conflicts:     220000 | #Constraints:      46255
2568.26/2576.42	c #Conflicts:     221000 | #Constraints:      47392
2568.26/2576.42	c #Conflicts:     222000 | #Constraints:      48392
2568.26/2576.42	c #Conflicts:     223000 | #Constraints:      49392
2568.26/2576.42	c #Conflicts:     224000 | #Constraints:      50630
2568.26/2576.42	c #Conflicts:     225000 | #Constraints:      52018
2568.26/2576.42	c #Conflicts:     226000 | #Constraints:      53157
2568.26/2576.42	c #Conflicts:     227000 | #Constraints:      54264
2568.26/2576.42	c #Conflicts:     228000 | #Constraints:      55313
2568.26/2576.42	c #Conflicts:     229000 | #Constraints:      56313
2568.26/2576.42	c #Conflicts:     230000 | #Constraints:      57728
2568.26/2576.42	c #Conflicts:     231000 | #Constraints:      59412
2568.26/2576.42	c #Conflicts:     232000 | #Constraints:      61176
2568.26/2576.42	c INPROCESSING
2568.26/2576.42	c GARBAGE COLLECT
2568.26/2576.42	c rational objective 1.64754
2842.48/2851.53	c #Conflicts:     233000 | #Constraints:      31528
2842.48/2851.53	c #Conflicts:     234000 | #Constraints:      32541
2842.48/2851.53	c #Conflicts:     235000 | #Constraints:      33542
2842.48/2851.53	c #Conflicts:     236000 | #Constraints:      34754
2842.48/2851.53	c #Conflicts:     237000 | #Constraints:      35754
2842.48/2851.53	c #Conflicts:     238000 | #Constraints:      36754
2842.48/2851.53	c #Conflicts:     239000 | #Constraints:      37830
2842.48/2851.53	c #Conflicts:     240000 | #Constraints:      39233
2842.48/2851.53	c #Conflicts:     241000 | #Constraints:      40809
2842.48/2851.53	c #Conflicts:     242000 | #Constraints:      42553
2842.48/2851.53	c #Conflicts:     243000 | #Constraints:      43729
2842.48/2851.53	c INPROCESSING
2842.48/2851.53	c GARBAGE COLLECT
2842.48/2851.53	c rational objective 1.62705
3600.07/3611.60	c
3600.07/3611.60	s SATISFIABLE
3600.07/3611.60	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 x83 x84 x85 x86
3600.07/3611.60	c #Conflicts:     244000 | #Constraints:      28231
3600.07/3611.60	c #Conflicts:     245000 | #Constraints:      29267
3600.07/3611.60	c #Conflicts:     246000 | #Constraints:      30308
3600.07/3611.60	c #Conflicts:     247000 | #Constraints:      31454
3600.07/3611.60	c #Conflicts:     248000 | #Constraints:      32561
3600.07/3611.60	c #Conflicts:     249000 | #Constraints:      33582
3600.07/3611.60	c #Conflicts:     250000 | #Constraints:      34582
3600.07/3611.60	c #Conflicts:     251000 | #Constraints:      35582
3600.07/3611.60	c #Conflicts:     252000 | #Constraints:      36582
3600.07/3611.60	c #Conflicts:     253000 | #Constraints:      37582
3600.07/3611.60	c #Conflicts:     254000 | #Constraints:      38582
3600.07/3611.60	c #Conflicts:     255000 | #Constraints:      39582
3600.07/3611.60	c #Conflicts:     256000 | #Constraints:      40582
3600.07/3611.60	c #Conflicts:     257000 | #Constraints:      42308
3600.07/3611.60	c #Conflicts:     258000 | #Constraints:      43843
3600.07/3611.60	c #Conflicts:     259000 | #Constraints:      44843
3600.07/3611.60	c #Conflicts:     260000 | #Constraints:      45843
3600.07/3611.60	c #Conflicts:     261000 | #Constraints:      46843
3600.07/3611.60	c #Conflicts:     262000 | #Constraints:      47843
3600.07/3611.60	c #Conflicts:     263000 | #Constraints:      48843
3600.07/3611.60	c #Conflicts:     264000 | #Constraints:      49843
3600.07/3611.60	c #Conflicts:     265000 | #Constraints:      50843
3600.07/3611.60	c #Conflicts:     266000 | #Constraints:      51843
3600.07/3611.60	c #Conflicts:     267000 | #Constraints:      52843
3600.07/3611.60	c #Conflicts:     268000 | #Constraints:      53843
3600.07/3611.60	c #Conflicts:     269000 | #Constraints:      54843
3600.07/3611.60	c #Conflicts:     270000 | #Constraints:      55843
3600.07/3611.60	c #Conflicts:     271000 | #Constraints:      56843
3600.07/3611.60	c #Conflicts:     272000 | #Constraints:      57843

Verifier Data 

FAILED
ERROR: unsatisfied constraint on line 7
	-278108396>=-21733991

Falsified constraint is:
-17035*x1[=1] -34070*x2[=1] -68140*x3[=1] -136280*x4[=1] -272560*x5[=1] -545120*x6[=1] -1090240*x7[=1] -2180480*x8[=1] -4360960*x9[=1] -8721920*x10[=1] -17443840*x11[=1] -45529*x12[=1] -91058*x13[=1] -182116*x14[=1] -364232*x15[=1] -728464*x16[=1] -1456928*x17[=1] -2913856*x18[=1] -5827712*x19[=1] -11655424*x20[=1] -48317*x21[=1] -96634*x22[=1] -193268*x23[=1] -386536*x24[=1] -773072*x25[=1] -1546144*x26[=1] -3092288*x27[=1] -6184576*x28[=1] -12369152*x29[=1] -48506*x30[=1] -97012*x31[=1] -194024*x32[=1] -388048*x33[=1] -776096*x34[=1] -1552192*x35[=1] -3104384*x36[=1] -6208768*x37[=1] -12417536*x38[=1] -86120*x39[=1] -172240*x40[=1] -344480*x41[=1] -688960*x42[=1] -1377920*x43[=1] -2755840*x44[=1] -5511680*x45[=1] -11023360*x46[=1] -100178*x47[=1] -200356*x48[=0] -400712*x49[=1] -801424*x50[=1] -1602848*x51[=1] -3205696*x52[=1] -6411392*x53[=1] -12822784*x54[=1] -112464*x55[=1] -224928*x56[=1] -449856*x57[=1] -899712*x58[=1] -1799424*x59[=1] -3598848*x60[=1] -7197696*x61[=1] -14395392*x62[=1] -115819*x63[=1] -231638*x64[=1] -463276*x65[=1] -926552*x66[=1] -1853104*x67[=1] -3706208*x68[=1] -7412416*x69[=1] -14824832*x70[=1] -125128*x71[=1] -250256*x72[=1] -500512*x73[=1] -1001024*x74[=1] -2002048*x75[=1] -4004096*x76[=1] -8008192*x77[=1] -16016384*x78[=1] -129688*x79[=1] -259376*x80[=1] -518752*x81[=1] -1037504*x82[=1] -2075008*x83[=1] -4150016*x84[=1] -8300032*x85[=1] -16600064*x86[=1] >= -21733991

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: 63968 MiB (62437 MiB free)
  memory of node 1: 64473 MiB (63051 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445260-1721319137/watcher-4445260-1721319137 -o /tmp/evaluation-result-4445260-1721319137/solver-4445260-1721319137 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721315527-968206 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4445260-1721319137.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
Current StackSize limit: 8192 KiB

solver pid=970472, runsolver pid=970469

[startup+0.100647 s]*
/proc/loadavg: 4.21 4.23 4.15 5/256 970473
/proc/meminfo: memFree=128498140/131524600 swapFree=131071996/131071996
[pid=970472] ppid=970469 vsize=37664 memory=8524 CPUtime=0.09 cores=1,3
/proc/970472/stat : 970472 (roundingsat) R 970469 970472 968194 0 -1 4194304 524 0 0 0 8 1 0 0 20 0 1 0 184079915 38567936 2131 134679101440 4194304 7968869 140721342054944 0 0 0 0 0 25182210 0 0 0 17 3 0 0 0 0 0 8652288 8659944 8847360 140721342059453 140721342059617 140721342059617 140721342066633 0
/proc/970472/statm: 9416 2131 1826 922 0 1368 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37664 KiB
Current children cumulated memory: 8524 KiB

[startup+0.205645 s]*
/proc/loadavg: 4.21 4.23 4.15 5/256 970473
/proc/meminfo: memFree=128497132/131524600 swapFree=131071996/131071996
[pid=970472] ppid=970469 vsize=38192 memory=9580 CPUtime=0.19 cores=1,3
/proc/970472/stat : 970472 (roundingsat) R 970469 970472 968194 0 -1 4194304 755 0 0 0 18 1 0 0 20 0 1 0 184079915 39108608 2395 134679101440 4194304 7968869 140721342054944 0 0 0 0 0 25182210 0 0 0 17 3 0 0 0 0 0 8652288 8659944 8847360 140721342059453 140721342059617 140721342059617 140721342066633 0
/proc/970472/statm: 9548 2395 1826 922 0 1500 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 38192 KiB
Current children cumulated memory: 9580 KiB

[startup+0.305645 s]*
/proc/loadavg: 4.21 4.23 4.15 5/256 970473
/proc/meminfo: memFree=128494636/131524600 swapFree=131071996/131071996
[pid=970472] ppid=970469 vsize=38328 memory=11892 CPUtime=0.29 cores=1,3
/proc/970472/stat : 970472 (roundingsat) R 970469 970472 968194 0 -1 4194304 819 0 0 0 27 2 0 0 20 0 1 0 184079915 39247872 2973 134679101440 4194304 7968869 140721342054944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 8847360 140721342059453 140721342059617 140721342059617 140721342066633 0
/proc/970472/statm: 9582 2973 1826 922 0 1534 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 38328 KiB
Current children cumulated memory: 11892 KiB

[startup+0.700198 s]
/proc/loadavg: 4.21 4.23 4.15 5/256 970473
/proc/meminfo: memFree=128494160/131524600 swapFree=131071996/131071996
[pid=970472] ppid=970469 vsize=39032 memory=12416 CPUtime=0.68 cores=1,3
/proc/970472/stat : 970472 (roundingsat) R 970469 970472 968194 0 -1 4194304 962 0 0 0 64 4 0 0 20 0 1 0 184079915 39968768 3104 134679101440 4194304 7968869 140721342054944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 8847360 140721342059453 140721342059617 140721342059617 140721342066633 0
/proc/970472/statm: 9758 3104 1826 922 0 1710 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39032 KiB
Current children cumulated memory: 12416 KiB

[startup+1.50023 s]
/proc/loadavg: 4.21 4.23 4.15 5/256 970473
/proc/meminfo: memFree=128493924/131524600 swapFree=131071996/131071996
[pid=970472] ppid=970469 vsize=39312 memory=12680 CPUtime=1.47 cores=1,3
/proc/970472/stat : 970472 (roundingsat) R 970469 970472 968194 0 -1 4194304 1028 0 0 0 141 6 0 0 20 0 1 0 184079915 40255488 3170 134679101440 4194304 7968869 140721342054944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 8847360 140721342059453 140721342059617 140721342059617 140721342066633 0
/proc/970472/statm: 9828 3170 1826 922 0 1780 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 39312 KiB
Current children cumulated memory: 12680 KiB

[startup+3.10536 s]
/proc/loadavg: 4.21 4.23 4.15 5/256 970473
/proc/meminfo: memFree=128492328/131524600 swapFree=131071996/131071996
[pid=970472] ppid=970469 vsize=40992 memory=13996 CPUtime=3.08 cores=1,3
/proc/970472/stat : 970472 (roundingsat) R 970469 970472 968194 0 -1 4194304 1388 0 0 0 297 11 0 0 20 0 1 0 184079915 41975808 3499 134679101440 4194304 7968869 140721342054944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 8847360 140721342059453 140721342059617 140721342059617 140721342066633 0
/proc/970472/statm: 10248 3499 1826 922 0 2200 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 40992 KiB
Current children cumulated memory: 13996 KiB

[startup+6.3002 s]
/proc/loadavg: 4.19 4.23 4.15 5/256 970473
/proc/meminfo: memFree=128490052/131524600 swapFree=131071996/131071996
[pid=970472] ppid=970469 vsize=42432 memory=16368 CPUtime=6.26 cores=1,3
/proc/970472/stat : 970472 (roundingsat) R 970469 970472 968194 0 -1 4194304 1959 0 0 0 607 19 0 0 20 0 1 0 184079915 43450368 4092 134679101440 4194304 7968869 140721342054944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 8847360 140721342059453 140721342059617 140721342059617 140721342066633 0
/proc/970472/statm: 10608 4092 1826 922 0 2560 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 42432 KiB
Current children cumulated memory: 16368 KiB

[startup+12.7002 s]
/proc/loadavg: 4.18 4.23 4.15 5/256 970474
/proc/meminfo: memFree=128488948/131524600 swapFree=131071996/131071996
[pid=970472] ppid=970469 vsize=45632 memory=18064 CPUtime=12.65 cores=1,3
/proc/970472/stat : 970472 (roundingsat) R 970469 970472 968194 0 -1 4194304 2265 0 0 0 1233 32 0 0 20 0 1 0 184079915 46727168 4516 134679101440 4194304 7968869 140721342054944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 8847360 140721342059453 140721342059617 140721342059617 140721342066633 0
/proc/970472/statm: 11408 4516 1964 922 0 3360 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 45632 KiB
Current children cumulated memory: 18064 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.21 4.14 5/256 970522
/proc/meminfo: memFree=128746332/131524600 swapFree=131071996/131071996
[pid=970472] ppid=970469 vsize=48804 memory=21488 CPUtime=25.42 cores=1,3
/proc/970472/stat : 970472 (roundingsat) R 970469 970472 968194 0 -1 4194304 3149 0 0 0 2475 67 0 0 20 0 1 0 184079915 49975296 5372 134679101440 4194304 7968869 140721342054944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 8847360 140721342059453 140721342059617 140721342059617 140721342066633 0
/proc/970472/statm: 12201 5372 1964 922 0 4153 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 48804 KiB
Current children cumulated memory: 21488 KiB

[startup+51.105 s]
/proc/loadavg: 4.09 4.20 4.14 5/256 970527
/proc/meminfo: memFree=128737464/131524600 swapFree=131071996/131071996
[pid=970472] ppid=970469 vsize=53992 memory=26352 CPUtime=50.96 cores=1,3
/proc/970472/stat : 970472 (roundingsat) R 970469 970472 968194 0 -1 4194304 3794 0 0 0 4965 131 0 0 20 0 1 0 184079915 55287808 6588 134679101440 4194304 7968869 140721342054944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 8847360 140721342059453 140721342059617 140721342059617 140721342066633 0
/proc/970472/statm: 13498 6588 1964 922 0 5450 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 53992 KiB
Current children cumulated memory: 26352 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.18 4.14 5/256 970537
/proc/meminfo: memFree=128726104/131524600 swapFree=131071996/131071996
[pid=970472] ppid=970469 vsize=59700 memory=32028 CPUtime=102.03 cores=1,3
/proc/970472/stat : 970472 (roundingsat) R 970469 970472 968194 0 -1 4194304 4748 0 0 0 9997 206 0 0 20 0 1 0 184079915 61132800 8007 134679101440 4194304 7968869 140721342054944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 8847360 140721342059453 140721342059617 140721342059617 140721342066633 0
/proc/970472/statm: 14925 8007 1964 922 0 6877 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 59700 KiB
Current children cumulated memory: 32028 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.18 4.14 5/256 970547
/proc/meminfo: memFree=128704484/131524600 swapFree=131071996/131071996
[pid=970472] ppid=970469 vsize=68332 memory=38020 CPUtime=161.85 cores=1,3
/proc/970472/stat : 970472 (roundingsat) R 970469 970472 968194 0 -1 4194304 5741 0 0 0 15902 283 0 0 20 0 1 0 184079915 69971968 9505 134679101440 4194304 7968869 140721342054944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 8847360 140721342059453 140721342059617 140721342059617 140721342066633 0
/proc/970472/statm: 17083 9505 1964 922 0 9035 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 68332 KiB
Current children cumulated memory: 38020 KiB

[startup+222.3 s]
/proc/loadavg: 4.53 4.26 4.16 5/254 970557
/proc/meminfo: memFree=128691152/131524600 swapFree=131071996/131071996
[pid=970472] ppid=970469 vsize=73348 memory=45312 CPUtime=221.65 cores=1,3
/proc/970472/stat : 970472 (roundingsat) R 970469 970472 968194 0 -1 4194304 7042 0 0 0 21841 324 0 0 20 0 1 0 184079915 75108352 11328 134679101440 4194304 7968869 140721342054944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 8847360 140721342059453 140721342059617 140721342059617 140721342066633 0
/proc/970472/statm: 18337 11328 1964 922 0 10289 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 73348 KiB
Current children cumulated memory: 45312 KiB

[startup+282.3 s]
/proc/loadavg: 4.23 4.22 4.16 5/256 970617
/proc/meminfo: memFree=128806516/131524600 swapFree=131071996/131071996
[pid=970472] ppid=970469 vsize=85576 memory=48908 CPUtime=281.44 cores=1,3
/proc/970472/stat : 970472 (roundingsat) R 970469 970472 968194 0 -1 4194304 7651 0 0 0 27784 360 0 0 20 0 1 0 184079915 87629824 12227 134679101440 4194304 7968869 140721342054944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 8847360 140721342059453 140721342059617 140721342059617 140721342066633 0
/proc/970472/statm: 21394 12227 1964 922 0 13346 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 85576 KiB
Current children cumulated memory: 48908 KiB

[startup+342.3 s]
/proc/loadavg: 4.39 4.28 4.18 5/256 970629
/proc/meminfo: memFree=128790236/131524600 swapFree=131071996/131071996
[pid=970472] ppid=970469 vsize=85576 memory=49116 CPUtime=341.26 cores=1,3
/proc/970472/stat : 970472 (roundingsat) R 970469 970472 968194 0 -1 4194304 7699 0 0 0 33709 417 0 0 20 0 1 0 184079915 87629824 12279 134679101440 4194304 7968869 140721342054944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 8847360 140721342059453 140721342059617 140721342059617 140721342066633 0
/proc/970472/statm: 21394 12279 1964 922 0 13346 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 85576 KiB
Current children cumulated memory: 49116 KiB

[startup+402.3 s]
/proc/loadavg: 4.43 4.33 4.21 5/256 970640
/proc/meminfo: memFree=128781288/131524600 swapFree=131071996/131071996
[pid=970472] ppid=970469 vsize=85576 memory=49116 CPUtime=401.07 cores=1,3
/proc/970472/stat : 970472 (roundingsat) R 970469 970472 968194 0 -1 4194304 7711 0 0 0 39609 498 0 0 20 0 1 0 184079915 87629824 12279 134679101440 4194304 7968869 140721342054944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 8847360 140721342059453 140721342059617 140721342059617 140721342066633 0
/proc/970472/statm: 21394 12279 1964 922 0 13346 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 85576 KiB
Current children cumulated memory: 49116 KiB

[startup+462.3 s]
/proc/loadavg: 4.20 4.29 4.20 5/258 970699
/proc/meminfo: memFree=128791084/131524600 swapFree=131071996/131071996
[pid=970472] ppid=970469 vsize=87376 memory=49620 CPUtime=460.87 cores=1,3
/proc/970472/stat : 970472 (roundingsat) R 970469 970472 968194 0 -1 4194304 8167 0 0 0 45560 527 0 0 20 0 1 0 184079915 89473024 12405 134679101440 4194304 7968869 140721342054944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 8847360 140721342059453 140721342059617 140721342059617 140721342066633 0
/proc/970472/statm: 21844 12405 1964 922 0 13796 0
Current children cumulated CPU time: 460.87 s

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

Current children cumulated memory: 92920 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 973036
/proc/meminfo: memFree=128691104/131524600 swapFree=131071996/131071996
[pid=970472] ppid=970469 vsize=133780 memory=93360 CPUtime=2853.25 cores=1,3
/proc/970472/stat : 970472 (roundingsat) R 970469 970472 968194 0 -1 4194304 16926 0 0 0 284032 1293 0 0 20 0 1 0 184079915 136990720 23340 134679101440 4194304 7968869 140721342054944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 8847360 140721342059453 140721342059617 140721342059617 140721342066633 0
/proc/970472/statm: 33445 23340 1964 922 0 25397 0
Current children cumulated CPU time: 2853.25 s
Current children cumulated vsize: 133780 KiB
Current children cumulated memory: 93360 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 973059
/proc/meminfo: memFree=128685280/131524600 swapFree=131071996/131071996
[pid=970472] ppid=970469 vsize=133780 memory=93360 CPUtime=2913.03 cores=1,3
/proc/970472/stat : 970472 (roundingsat) R 970469 970472 968194 0 -1 4194304 16948 0 0 0 289993 1310 0 0 20 0 1 0 184079915 136990720 23340 134679101440 4194304 7968869 140721342054944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 8847360 140721342059453 140721342059617 140721342059617 140721342066633 0
/proc/970472/statm: 33445 23340 1964 922 0 25397 0
Current children cumulated CPU time: 2913.03 s
Current children cumulated vsize: 133780 KiB
Current children cumulated memory: 93360 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 973069
/proc/meminfo: memFree=128683140/131524600 swapFree=131071996/131071996
[pid=970472] ppid=970469 vsize=133780 memory=93360 CPUtime=2972.83 cores=1,3
/proc/970472/stat : 970472 (roundingsat) R 970469 970472 968194 0 -1 4194304 16971 0 0 0 295953 1330 0 0 20 0 1 0 184079915 136990720 23340 134679101440 4194304 7968869 140721342054944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 8847360 140721342059453 140721342059617 140721342059617 140721342066633 0
/proc/970472/statm: 33445 23340 1964 922 0 25397 0
Current children cumulated CPU time: 2972.83 s
Current children cumulated vsize: 133780 KiB
Current children cumulated memory: 93360 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 973081
/proc/meminfo: memFree=128682480/131524600 swapFree=131071996/131071996
[pid=970472] ppid=970469 vsize=133780 memory=93360 CPUtime=3032.64 cores=1,3
/proc/970472/stat : 970472 (roundingsat) R 970469 970472 968194 0 -1 4194304 16995 0 0 0 301907 1357 0 0 20 0 1 0 184079915 136990720 23340 134679101440 4194304 7968869 140721342054944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 8847360 140721342059453 140721342059617 140721342059617 140721342066633 0
/proc/970472/statm: 33445 23340 1964 922 0 25397 0
Current children cumulated CPU time: 3032.64 s
Current children cumulated vsize: 133780 KiB
Current children cumulated memory: 93360 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/256 973092
/proc/meminfo: memFree=128681672/131524600 swapFree=131071996/131071996
[pid=970472] ppid=970469 vsize=133780 memory=93360 CPUtime=3092.44 cores=1,3
/proc/970472/stat : 970472 (roundingsat) R 970469 970472 968194 0 -1 4194304 17023 0 0 0 307862 1382 0 0 20 0 1 0 184079915 136990720 23340 134679101440 4194304 7968869 140721342054944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 8847360 140721342059453 140721342059617 140721342059617 140721342066633 0
/proc/970472/statm: 33445 23340 1964 922 0 25397 0
Current children cumulated CPU time: 3092.44 s
Current children cumulated vsize: 133780 KiB
Current children cumulated memory: 93360 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/255 973102
/proc/meminfo: memFree=128662648/131524600 swapFree=131071996/131071996
[pid=970472] ppid=970469 vsize=134548 memory=97096 CPUtime=3152.24 cores=1,3
/proc/970472/stat : 970472 (roundingsat) R 970469 970472 968194 0 -1 4194304 17266 0 0 0 313825 1399 0 0 20 0 1 0 184079915 137777152 24274 134679101440 4194304 7968869 140721342054944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 8847360 140721342059453 140721342059617 140721342059617 140721342066633 0
/proc/970472/statm: 33637 24274 1964 922 0 25589 0
Current children cumulated CPU time: 3152.24 s
Current children cumulated vsize: 134548 KiB
Current children cumulated memory: 97096 KiB

[startup+3222.3 s]
/proc/loadavg: 4.41 4.18 4.11 5/254 973112
/proc/meminfo: memFree=128657200/131524600 swapFree=131071996/131071996
[pid=970472] ppid=970469 vsize=140188 memory=97692 CPUtime=3212.03 cores=1,3
/proc/970472/stat : 970472 (roundingsat) R 970469 970472 968194 0 -1 4194304 18629 0 0 0 319784 1419 0 0 20 0 1 0 184079915 143552512 24423 134679101440 4194304 7968869 140721342054944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 8847360 140721342059453 140721342059617 140721342059617 140721342066633 0
/proc/970472/statm: 35047 24423 1964 922 0 26999 0
Current children cumulated CPU time: 3212.03 s
Current children cumulated vsize: 140188 KiB
Current children cumulated memory: 97692 KiB

[startup+3282.3 s]
/proc/loadavg: 4.21 4.16 4.11 5/254 973122
/proc/meminfo: memFree=128654264/131524600 swapFree=131071996/131071996
[pid=970472] ppid=970469 vsize=142236 memory=97972 CPUtime=3271.84 cores=1,3
/proc/970472/stat : 970472 (roundingsat) R 970469 970472 968194 0 -1 4194304 19236 0 0 0 325742 1442 0 0 20 0 1 0 184079915 145649664 24493 134679101440 4194304 7968869 140721342054944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 8847360 140721342059453 140721342059617 140721342059617 140721342066633 0
/proc/970472/statm: 35559 24493 1964 922 0 27511 0
Current children cumulated CPU time: 3271.84 s
Current children cumulated vsize: 142236 KiB
Current children cumulated memory: 97972 KiB

[startup+3342.3 s]
/proc/loadavg: 4.23 4.16 4.11 5/254 973133
/proc/meminfo: memFree=128652496/131524600 swapFree=131071996/131071996
[pid=970472] ppid=970469 vsize=143520 memory=98468 CPUtime=3331.64 cores=1,3
/proc/970472/stat : 970472 (roundingsat) R 970469 970472 968194 0 -1 4194304 19594 0 0 0 331701 1463 0 0 20 0 1 0 184079915 146964480 24617 134679101440 4194304 7968869 140721342054944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 8847360 140721342059453 140721342059617 140721342059617 140721342066633 0
/proc/970472/statm: 35880 24617 1964 922 0 27832 0
Current children cumulated CPU time: 3331.64 s
Current children cumulated vsize: 143520 KiB
Current children cumulated memory: 98468 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/254 973144
/proc/meminfo: memFree=128649168/131524600 swapFree=131071996/131071996
[pid=970472] ppid=970469 vsize=144544 memory=98840 CPUtime=3391.46 cores=1,3
/proc/970472/stat : 970472 (roundingsat) R 970469 970472 968194 0 -1 4194304 19967 0 0 0 337665 1481 0 0 20 0 1 0 184079915 148013056 24710 134679101440 4194304 7968869 140721342054944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 8847360 140721342059453 140721342059617 140721342059617 140721342066633 0
/proc/970472/statm: 36136 24710 1964 922 0 28088 0
Current children cumulated CPU time: 3391.46 s
Current children cumulated vsize: 144544 KiB
Current children cumulated memory: 98840 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/257 973159
/proc/meminfo: memFree=128647840/131524600 swapFree=131071996/131071996
[pid=970472] ppid=970469 vsize=144544 memory=98976 CPUtime=3451.26 cores=1,3
/proc/970472/stat : 970472 (roundingsat) R 970469 970472 968194 0 -1 4194304 20042 0 0 0 343629 1497 0 0 20 0 1 0 184079915 148013056 24744 134679101440 4194304 7968869 140721342054944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 8847360 140721342059453 140721342059617 140721342059617 140721342066633 0
/proc/970472/statm: 36136 24744 1964 922 0 28088 0
Current children cumulated CPU time: 3451.26 s
Current children cumulated vsize: 144544 KiB
Current children cumulated memory: 98976 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/257 973170
/proc/meminfo: memFree=128642840/131524600 swapFree=131071996/131071996
[pid=970472] ppid=970469 vsize=145056 memory=99244 CPUtime=3511.06 cores=1,3
/proc/970472/stat : 970472 (roundingsat) R 970469 970472 968194 0 -1 4194304 20268 0 0 0 349592 1514 0 0 20 0 1 0 184079915 148537344 24811 134679101440 4194304 7968869 140721342054944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 8847360 140721342059453 140721342059617 140721342059617 140721342066633 0
/proc/970472/statm: 36264 24811 1964 922 0 28216 0
Current children cumulated CPU time: 3511.06 s
Current children cumulated vsize: 145056 KiB
Current children cumulated memory: 99244 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 973180
/proc/meminfo: memFree=128640248/131524600 swapFree=131071996/131071996
[pid=970472] ppid=970469 vsize=145568 memory=99488 CPUtime=3570.87 cores=1,3
/proc/970472/stat : 970472 (roundingsat) R 970469 970472 968194 0 -1 4194304 20483 0 0 0 355556 1531 0 0 20 0 1 0 184079915 149061632 24872 134679101440 4194304 7968869 140721342054944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 8847360 140721342059453 140721342059617 140721342059617 140721342066633 0
/proc/970472/statm: 36392 24872 1964 922 0 28344 0
Current children cumulated CPU time: 3570.87 s
Current children cumulated vsize: 145568 KiB
Current children cumulated memory: 99488 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.6 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 973186
/proc/meminfo: memFree=128639672/131524600 swapFree=131071996/131071996
[pid=970472] ppid=970469 vsize=145568 memory=99488 CPUtime=3600.07 cores=1,3
/proc/970472/stat : 970472 (roundingsat) R 970469 970472 968194 0 -1 4194304 20546 0 0 0 358467 1540 0 0 20 0 1 0 184079915 149061632 24872 134679101440 4194304 7968869 140721342054944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 8847360 140721342059453 140721342059617 140721342059617 140721342066633 0
/proc/970472/statm: 36392 24872 1964 922 0 28344 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 145568 KiB
Current children cumulated memory: 99488 KiB

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

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

# cumulated CPU time of all completed processes:  user=3584.68 s, system=15.4062 s

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

Child status: 1

Real time (s): 3611.6
CPU time (s): 3600.09
CPU user time (s): 3584.68
CPU system time (s): 15.4062
CPU usage (%): 99.6811
Max. virtual memory (cumulated for all children) (KiB): 145568
Max. memory (cumulated for all children) (KiB): 99488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.68
system time used= 15.4062
maximum resident set size= 99544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20554
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= 25
involuntary context switches= 2953


# summary of solver processes directly reported to runsolver:
#   pid: 970472
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3584.68
#   total CPU system time (s): 15.4062

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.71578 second user time and 16.0717 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2024-07-18 18:12:30
IDJOB=4445260
IDBENCH=148105
IDSOLVER=3051
FILE ID=nodeC026/4445260-1721319137
RUNJOBID= nodeC026-1721315527-968206
SLURM_JOB_ID= 7542650
Free space on /tmp= 890068 MiB

SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob8.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-4445260-1721319137/watcher-4445260-1721319137 -o /tmp/evaluation-result-4445260-1721319137/solver-4445260-1721319137 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721315527-968206 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4445260-1721319137.opb

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

MD5SUM BENCH= 3f61e6943d6ec76e40473bfb8d86b810
RANDOM SEED=1031581121

nodeC026.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	: 0xb00002a
cpu MHz		: 3668.546
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.74
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		: 3659.616
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.45
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		: 3599.893
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.74
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		: 3658.236
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.45
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		: 3668.621
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.74
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		: 3677.732
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.45
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		: 3599.981
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.74
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		: 3622.316
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128500380 kB
MemAvailable:   129149276 kB
Buffers:          520372 kB
Cached:           965752 kB
SwapCached:            0 kB
Active:          1022420 kB
Inactive:        1390676 kB
Active(anon):       1548 kB
Inactive(anon):   963176 kB
Active(file):    1020872 kB
Inactive(file):   427500 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              5352 kB
Writeback:             0 kB
AnonPages:        919048 kB
Mapped:           116376 kB
Shmem:             37720 kB
KReclaimable:      80692 kB
Slab:             191012 kB
SReclaimable:      80692 kB
SUnreclaim:       110320 kB
KernelStack:        4128 kB
PageTables:        11244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1424584 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            67808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    768000 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:      260820 kB
DirectMap2M:    27824128 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC026 at 2024-07-18 19:12:42