Trace number 4455492

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 (2)SAT 3336.24 3346.36

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.79/0.87	c #Conflicts:       1000 | #Constraints:       1189
0.79/0.87	c #Conflicts:       2000 | #Constraints:       2936
0.79/0.87	c INPROCESSING
0.79/0.87	c GARBAGE COLLECT
0.79/0.87	c rational objective 1.28073
3.58/3.65	c #Conflicts:       3000 | #Constraints:       3018
3.58/3.65	c #Conflicts:       4000 | #Constraints:       4518
3.58/3.65	c INPROCESSING
3.58/3.65	c GARBAGE COLLECT
3.58/3.65	c rational objective 1.60975
5.68/5.79	c #Conflicts:       5000 | #Constraints:       3826
5.68/5.79	c #Conflicts:       6000 | #Constraints:       5339
5.68/5.79	c INPROCESSING
5.68/5.79	c GARBAGE COLLECT
5.68/5.79	c rational objective 1.61926
9.37/9.45	c #Conflicts:       7000 | #Constraints:       3571
9.37/9.45	c #Conflicts:       8000 | #Constraints:       4866
9.37/9.45	c #Conflicts:       9000 | #Constraints:       6230
9.37/9.45	c INPROCESSING
9.37/9.45	c GARBAGE COLLECT
9.37/9.45	c rational objective 1.61965
13.26/13.31	c #Conflicts:      10000 | #Constraints:       4475
13.26/13.31	c #Conflicts:      11000 | #Constraints:       5881
13.26/13.31	c #Conflicts:      12000 | #Constraints:       7247
13.26/13.31	c INPROCESSING
13.26/13.31	c GARBAGE COLLECT
13.26/13.31	c rational objective 2.04615
18.65/18.78	c #Conflicts:      13000 | #Constraints:       5063
18.65/18.78	c #Conflicts:      14000 | #Constraints:       6706
18.65/18.78	c #Conflicts:      15000 | #Constraints:       8518
18.65/18.78	c INPROCESSING
18.65/18.78	c GARBAGE COLLECT
18.65/18.78	c rational objective 2.46035
24.43/24.56	c #Conflicts:      16000 | #Constraints:       5616
24.43/24.56	c #Conflicts:      17000 | #Constraints:       6616
24.43/24.56	c #Conflicts:      18000 | #Constraints:       7616
24.43/24.56	c INPROCESSING
24.43/24.56	c GARBAGE COLLECT
24.43/24.56	c rational objective 1.61932
28.92/29.05	c #Conflicts:      19000 | #Constraints:       4987
28.92/29.05	c #Conflicts:      20000 | #Constraints:       6462
28.92/29.05	c #Conflicts:      21000 | #Constraints:       8068
28.92/29.05	c INPROCESSING
28.92/29.05	c GARBAGE COLLECT
28.92/29.05	c rational objective 1.78268
34.01/34.15	c #Conflicts:      22000 | #Constraints:       5074
34.01/34.15	c #Conflicts:      23000 | #Constraints:       6225
34.01/34.15	c #Conflicts:      24000 | #Constraints:       7225
34.01/34.15	c #Conflicts:      25000 | #Constraints:       8225
34.01/34.15	c INPROCESSING
34.01/34.15	c GARBAGE COLLECT
34.01/34.15	c rational objective 1.62244
39.29/39.47	c #Conflicts:      26000 | #Constraints:       5394
39.29/39.47	c #Conflicts:      27000 | #Constraints:       7035
39.29/39.47	c #Conflicts:      28000 | #Constraints:       8792
39.29/39.47	c #Conflicts:      29000 | #Constraints:      10575
39.29/39.47	c INPROCESSING
39.29/39.47	c GARBAGE COLLECT
39.29/39.47	c rational objective 1.97572
47.87/48.08	c #Conflicts:      30000 | #Constraints:       7074
47.87/48.08	c #Conflicts:      31000 | #Constraints:       8496
47.87/48.08	c #Conflicts:      32000 | #Constraints:       9700
47.87/48.08	c #Conflicts:      33000 | #Constraints:      10988
47.87/48.08	c INPROCESSING
47.87/48.08	c GARBAGE COLLECT
47.87/48.08	c rational objective 2.18292
52.36/52.51	c #Conflicts:      34000 | #Constraints:       6684
52.36/52.51	c #Conflicts:      35000 | #Constraints:       7722
52.36/52.51	ELEAVE56 ERROR! Tried to put a fixed column variable into the basis. idx=69, lower=0, upper=0
58.54/58.76	c #Conflicts:      36000 | #Constraints:       8722
58.54/58.76	c #Conflicts:      37000 | #Constraints:       9722
58.54/58.76	c INPROCESSING
58.54/58.76	c GARBAGE COLLECT
58.54/58.76	c rational objective 1.62368
67.11/67.32	c #Conflicts:      38000 | #Constraints:       6297
67.11/67.32	c #Conflicts:      39000 | #Constraints:       7849
67.11/67.32	c #Conflicts:      40000 | #Constraints:       9508
67.11/67.32	c #Conflicts:      41000 | #Constraints:      11211
67.11/67.32	c INPROCESSING
67.11/67.32	c GARBAGE COLLECT
67.11/67.32	c rational objective 1.80531
78.38/78.63	c #Conflicts:      42000 | #Constraints:       6751
78.38/78.63	c #Conflicts:      43000 | #Constraints:       8492
78.38/78.63	c #Conflicts:      44000 | #Constraints:      10271
78.38/78.63	c #Conflicts:      45000 | #Constraints:      11955
78.38/78.63	c #Conflicts:      46000 | #Constraints:      13703
78.38/78.63	c INPROCESSING
78.38/78.63	c GARBAGE COLLECT
78.38/78.63	c rational objective 1.62915
85.66/85.95	c #Conflicts:      47000 | #Constraints:       8347
85.66/85.95	c #Conflicts:      48000 | #Constraints:      10028
85.66/85.95	c #Conflicts:      49000 | #Constraints:      11495
85.66/85.95	c #Conflicts:      50000 | #Constraints:      13032
85.66/85.95	c #Conflicts:      51000 | #Constraints:      14594
85.66/85.95	c INPROCESSING
85.66/85.95	c GARBAGE COLLECT
85.66/85.95	c rational objective 1.75108
101.41/101.70	c #Conflicts:      52000 | #Constraints:       8550
101.41/101.70	c #Conflicts:      53000 | #Constraints:       9740
101.41/101.70	c #Conflicts:      54000 | #Constraints:      11215
101.41/101.70	c #Conflicts:      55000 | #Constraints:      12354
101.41/101.70	c #Conflicts:      56000 | #Constraints:      13354
101.41/101.70	c INPROCESSING
101.41/101.70	c GARBAGE COLLECT
101.41/101.70	c rational objective 1.62453
222.84/223.59	c #Conflicts:      57000 | #Constraints:       8218
222.84/223.59	c #Conflicts:      58000 | #Constraints:       9603
222.84/223.59	c #Conflicts:      59000 | #Constraints:      11083
222.84/223.59	c #Conflicts:      60000 | #Constraints:      12378
222.84/223.59	c #Conflicts:      61000 | #Constraints:      13649
222.84/223.59	c #Conflicts:      62000 | #Constraints:      14742
222.84/223.59	c #Conflicts:      63000 | #Constraints:      15742
222.84/223.59	c #Conflicts:      64000 | #Constraints:      16742
222.84/223.59	c #Conflicts:      65000 | #Constraints:      17742
222.84/223.59	c #Conflicts:      66000 | #Constraints:      18854
222.84/223.59	c #Conflicts:      67000 | #Constraints:      19854
222.84/223.59	c #Conflicts:      68000 | #Constraints:      21237
222.84/223.59	c #Conflicts:      69000 | #Constraints:      22237
222.84/223.59	c #Conflicts:      70000 | #Constraints:      23237
222.84/223.59	c #Conflicts:      71000 | #Constraints:      24237
222.84/223.59	c #Conflicts:      72000 | #Constraints:      25237
222.84/223.59	c #Conflicts:      73000 | #Constraints:      26621
222.84/223.59	c #Conflicts:      74000 | #Constraints:      28406
222.84/223.59	c #Conflicts:      75000 | #Constraints:      29466
222.84/223.59	c #Conflicts:      76000 | #Constraints:      30466
222.84/223.59	c INPROCESSING
222.84/223.59	c GARBAGE COLLECT
222.84/223.59	c rational objective 1.62437
252.83/253.63	c #Conflicts:      77000 | #Constraints:      16357
252.83/253.63	c #Conflicts:      78000 | #Constraints:      18084
252.83/253.63	c #Conflicts:      79000 | #Constraints:      19778
252.83/253.63	c #Conflicts:      80000 | #Constraints:      21133
252.83/253.63	c #Conflicts:      81000 | #Constraints:      22898
252.83/253.63	c #Conflicts:      82000 | #Constraints:      24656
252.83/253.63	c INPROCESSING
252.83/253.63	c GARBAGE COLLECT
252.83/253.63	c rational objective 1.62428
277.74/278.61	c #Conflicts:      83000 | #Constraints:      13389
277.74/278.61	c #Conflicts:      84000 | #Constraints:      15180
277.74/278.61	c #Conflicts:      85000 | #Constraints:      16935
277.74/278.61	c #Conflicts:      86000 | #Constraints:      18667
277.74/278.61	c #Conflicts:      87000 | #Constraints:      20408
277.74/278.61	c #Conflicts:      88000 | #Constraints:      22146
277.74/278.61	c #Conflicts:      89000 | #Constraints:      23880
277.74/278.61	c INPROCESSING
277.74/278.61	c GARBAGE COLLECT
277.74/278.61	c rational objective 2.88062
318.77/319.81	c #Conflicts:      90000 | #Constraints:      13483
318.77/319.81	c #Conflicts:      91000 | #Constraints:      14704
318.77/319.81	c #Conflicts:      92000 | #Constraints:      15704
318.77/319.81	c #Conflicts:      93000 | #Constraints:      16704
318.77/319.81	c #Conflicts:      94000 | #Constraints:      17704
318.77/319.81	c #Conflicts:      95000 | #Constraints:      19126
318.77/319.81	c #Conflicts:      96000 | #Constraints:      20415
318.77/319.81	c INPROCESSING
318.77/319.81	c GARBAGE COLLECT
318.77/319.81	c rational objective 3.03449
521.34/523.06	c #Conflicts:      97000 | #Constraints:      11286
521.34/523.06	c #Conflicts:      98000 | #Constraints:      12286
521.34/523.06	c #Conflicts:      99000 | #Constraints:      13286
521.34/523.06	c #Conflicts:     100000 | #Constraints:      14286
521.34/523.06	c #Conflicts:     101000 | #Constraints:      15286
521.34/523.06	c #Conflicts:     102000 | #Constraints:      16286
521.34/523.06	c #Conflicts:     103000 | #Constraints:      17286
521.34/523.06	c #Conflicts:     104000 | #Constraints:      18286
521.34/523.06	c #Conflicts:     105000 | #Constraints:      19286
521.34/523.06	c #Conflicts:     106000 | #Constraints:      20459
521.34/523.06	c #Conflicts:     107000 | #Constraints:      21786
521.34/523.06	c #Conflicts:     108000 | #Constraints:      23092
521.34/523.06	c #Conflicts:     109000 | #Constraints:      24342
521.34/523.06	c #Conflicts:     110000 | #Constraints:      26129
521.34/523.06	c #Conflicts:     111000 | #Constraints:      27527
521.34/523.06	c #Conflicts:     112000 | #Constraints:      28582
521.34/523.06	c #Conflicts:     113000 | #Constraints:      30291
521.34/523.06	c #Conflicts:     114000 | #Constraints:      32062
521.34/523.06	c #Conflicts:     115000 | #Constraints:      33165
521.34/523.06	c #Conflicts:     116000 | #Constraints:      34660
521.34/523.06	c #Conflicts:     117000 | #Constraints:      36250
521.34/523.06	c #Conflicts:     118000 | #Constraints:      37570
521.34/523.06	c #Conflicts:     119000 | #Constraints:      38570
521.34/523.06	c #Conflicts:     120000 | #Constraints:      39570
521.34/523.06	c #Conflicts:     121000 | #Constraints:      40570
521.34/523.06	c INPROCESSING
521.34/523.06	c GARBAGE COLLECT
521.34/523.06	c rational objective 1.63055
605.87/607.83	c #Conflicts:     122000 | #Constraints:      20945
605.87/607.83	c #Conflicts:     123000 | #Constraints:      22371
605.87/607.83	c #Conflicts:     124000 | #Constraints:      23727
605.87/607.83	c #Conflicts:     125000 | #Constraints:      24861
605.87/607.83	c #Conflicts:     126000 | #Constraints:      25861
605.87/607.83	c #Conflicts:     127000 | #Constraints:      26861
605.87/607.83	c #Conflicts:     128000 | #Constraints:      27861
605.87/607.83	c #Conflicts:     129000 | #Constraints:      28861
605.87/607.83	c INPROCESSING
605.87/607.83	c GARBAGE COLLECT
605.87/607.83	c rational objective 1.62139
654.20/656.35	c #Conflicts:     130000 | #Constraints:      15197
654.20/656.35	c #Conflicts:     131000 | #Constraints:      17026
654.20/656.35	c #Conflicts:     132000 | #Constraints:      18792
654.20/656.35	c #Conflicts:     133000 | #Constraints:      20509
654.20/656.35	c #Conflicts:     134000 | #Constraints:      22286
654.20/656.35	c #Conflicts:     135000 | #Constraints:      23912
654.20/656.35	c #Conflicts:     136000 | #Constraints:      25249
654.20/656.35	c #Conflicts:     137000 | #Constraints:      26899
654.20/656.35	c #Conflicts:     138000 | #Constraints:      28322
654.20/656.35	c INPROCESSING
654.20/656.35	c GARBAGE COLLECT
654.20/656.35	c rational objective 2.22572
713.59/715.96	c #Conflicts:     139000 | #Constraints:      15650
713.59/715.96	c #Conflicts:     140000 | #Constraints:      17235
713.59/715.96	c #Conflicts:     141000 | #Constraints:      19011
713.59/715.96	c #Conflicts:     142000 | #Constraints:      20407
713.59/715.96	c #Conflicts:     143000 | #Constraints:      21865
713.59/715.96	c #Conflicts:     144000 | #Constraints:      23570
713.59/715.96	c #Conflicts:     145000 | #Constraints:      24984
713.59/715.96	c #Conflicts:     146000 | #Constraints:      26703
713.59/715.96	c INPROCESSING
713.59/715.96	c GARBAGE COLLECT
713.59/715.96	c rational objective 2.5464
1071.84/1075.58	c #Conflicts:     147000 | #Constraints:      14756
1071.84/1075.58	c #Conflicts:     148000 | #Constraints:      16471
1071.84/1075.58	c #Conflicts:     149000 | #Constraints:      18257
1071.84/1075.58	c #Conflicts:     150000 | #Constraints:      20023
1071.84/1075.58	c #Conflicts:     151000 | #Constraints:      21836
1071.84/1075.58	c #Conflicts:     152000 | #Constraints:      23654
1071.84/1075.58	c #Conflicts:     153000 | #Constraints:      25373
1071.84/1075.58	c #Conflicts:     154000 | #Constraints:      27141
1071.84/1075.58	c #Conflicts:     155000 | #Constraints:      28947
1071.84/1075.58	c #Conflicts:     156000 | #Constraints:      30714
1071.84/1075.58	c #Conflicts:     157000 | #Constraints:      32251
1071.84/1075.58	c #Conflicts:     158000 | #Constraints:      33976
1071.84/1075.58	c #Conflicts:     159000 | #Constraints:      35705
1071.84/1075.58	c #Conflicts:     160000 | #Constraints:      37520
1071.84/1075.58	c #Conflicts:     161000 | #Constraints:      39246
1071.84/1075.58	c #Conflicts:     162000 | #Constraints:      40557
1071.84/1075.58	c #Conflicts:     163000 | #Constraints:      41778
1071.84/1075.58	c #Conflicts:     164000 | #Constraints:      43081
1071.84/1075.58	c #Conflicts:     165000 | #Constraints:      44432
1071.84/1075.58	c #Conflicts:     166000 | #Constraints:      45788
1071.84/1075.58	c #Conflicts:     167000 | #Constraints:      47131
1071.84/1075.58	c #Conflicts:     168000 | #Constraints:      48639
1071.84/1075.58	c #Conflicts:     169000 | #Constraints:      50176
1071.84/1075.58	c #Conflicts:     170000 | #Constraints:      51554
1071.84/1075.58	c #Conflicts:     171000 | #Constraints:      53002
1071.84/1075.58	c #Conflicts:     172000 | #Constraints:      54262
1071.84/1075.58	c #Conflicts:     173000 | #Constraints:      55495
1071.84/1075.58	c #Conflicts:     174000 | #Constraints:      56909
1071.84/1075.58	c #Conflicts:     175000 | #Constraints:      58226
1071.84/1075.58	c #Conflicts:     176000 | #Constraints:      59814
1071.84/1075.58	c #Conflicts:     177000 | #Constraints:      61566
1071.84/1075.58	c INPROCESSING
1071.84/1075.58	c GARBAGE COLLECT
1071.84/1075.58	c rational objective 2.64773
1258.76/1263.01	c #Conflicts:     178000 | #Constraints:      31795
1258.76/1263.01	c #Conflicts:     179000 | #Constraints:      32795
1258.76/1263.01	c #Conflicts:     180000 | #Constraints:      34134
1258.76/1263.01	c #Conflicts:     181000 | #Constraints:      35134
1258.76/1263.01	c #Conflicts:     182000 | #Constraints:      36134
1258.76/1263.01	c #Conflicts:     183000 | #Constraints:      37134
1258.76/1263.01	c #Conflicts:     184000 | #Constraints:      38134
1258.76/1263.01	c #Conflicts:     185000 | #Constraints:      39134
1258.76/1263.01	c #Conflicts:     186000 | #Constraints:      40134
1258.76/1263.01	c #Conflicts:     187000 | #Constraints:      41134
1258.76/1263.01	c INPROCESSING
1258.76/1263.01	c GARBAGE COLLECT
1258.76/1263.01	c rational objective 1.62623
1368.92/1373.52	c #Conflicts:     188000 | #Constraints:      21507
1368.92/1373.52	c #Conflicts:     189000 | #Constraints:      22507
1368.92/1373.52	c #Conflicts:     190000 | #Constraints:      23507
1368.92/1373.52	c #Conflicts:     191000 | #Constraints:      24507
1368.92/1373.52	c #Conflicts:     192000 | #Constraints:      25507
1368.92/1373.52	c #Conflicts:     193000 | #Constraints:      26507
1368.92/1373.52	c #Conflicts:     194000 | #Constraints:      27507
1368.92/1373.52	c #Conflicts:     195000 | #Constraints:      28507
1368.92/1373.52	c #Conflicts:     196000 | #Constraints:      29507
1368.92/1373.52	c #Conflicts:     197000 | #Constraints:      30507
1368.92/1373.52	c INPROCESSING
1368.92/1373.52	c GARBAGE COLLECT
1368.92/1373.52	c rational objective 1.62634
2127.32/2134.05	c #Conflicts:     198000 | #Constraints:      17750
2127.32/2134.05	c #Conflicts:     199000 | #Constraints:      19213
2127.32/2134.05	c #Conflicts:     200000 | #Constraints:      20213
2127.32/2134.05	c #Conflicts:     201000 | #Constraints:      21213
2127.32/2134.05	c #Conflicts:     202000 | #Constraints:      22461
2127.32/2134.05	c #Conflicts:     203000 | #Constraints:      23881
2127.32/2134.05	c #Conflicts:     204000 | #Constraints:      25360
2127.32/2134.05	c #Conflicts:     205000 | #Constraints:      26379
2127.32/2134.05	c #Conflicts:     206000 | #Constraints:      27379
2127.32/2134.05	c #Conflicts:     207000 | #Constraints:      28726
2127.32/2134.05	c #Conflicts:     208000 | #Constraints:      30181
2127.32/2134.05	c #Conflicts:     209000 | #Constraints:      31732
2127.32/2134.05	c #Conflicts:     210000 | #Constraints:      32861
2127.32/2134.05	c #Conflicts:     211000 | #Constraints:      34200
2127.32/2134.05	c #Conflicts:     212000 | #Constraints:      35623
2127.32/2134.05	c #Conflicts:     213000 | #Constraints:      37223
2127.32/2134.05	c #Conflicts:     214000 | #Constraints:      38465
2127.32/2134.05	c #Conflicts:     215000 | #Constraints:      39796
2127.32/2134.05	c #Conflicts:     216000 | #Constraints:      40824
2127.32/2134.05	c #Conflicts:     217000 | #Constraints:      42120
2127.32/2134.05	c #Conflicts:     218000 | #Constraints:      43370
2127.32/2134.05	c #Conflicts:     219000 | #Constraints:      44910
2127.32/2134.05	c #Conflicts:     220000 | #Constraints:      46255
2127.32/2134.05	c #Conflicts:     221000 | #Constraints:      47392
2127.32/2134.05	c #Conflicts:     222000 | #Constraints:      48392
2127.32/2134.05	c #Conflicts:     223000 | #Constraints:      49392
2127.32/2134.05	c #Conflicts:     224000 | #Constraints:      50630
2127.32/2134.05	c #Conflicts:     225000 | #Constraints:      52018
2127.32/2134.05	c #Conflicts:     226000 | #Constraints:      53157
2127.32/2134.05	c #Conflicts:     227000 | #Constraints:      54264
2127.32/2134.05	c #Conflicts:     228000 | #Constraints:      55313
2127.32/2134.05	c #Conflicts:     229000 | #Constraints:      56313
2127.32/2134.05	c #Conflicts:     230000 | #Constraints:      57728
2127.32/2134.05	c #Conflicts:     231000 | #Constraints:      59412
2127.32/2134.05	c #Conflicts:     232000 | #Constraints:      61176
2127.32/2134.05	c INPROCESSING
2127.32/2134.05	c GARBAGE COLLECT
2127.32/2134.05	c rational objective 1.64754
2358.06/2365.45	c #Conflicts:     233000 | #Constraints:      31528
2358.06/2365.45	c #Conflicts:     234000 | #Constraints:      32541
2358.06/2365.45	c #Conflicts:     235000 | #Constraints:      33542
2358.06/2365.45	c #Conflicts:     236000 | #Constraints:      34754
2358.06/2365.45	c #Conflicts:     237000 | #Constraints:      35754
2358.06/2365.45	c #Conflicts:     238000 | #Constraints:      36754
2358.06/2365.45	c #Conflicts:     239000 | #Constraints:      37830
2358.06/2365.45	c #Conflicts:     240000 | #Constraints:      39233
2358.06/2365.45	c #Conflicts:     241000 | #Constraints:      40809
2358.06/2365.45	c #Conflicts:     242000 | #Constraints:      42553
2358.06/2365.45	c #Conflicts:     243000 | #Constraints:      43729
2358.06/2365.45	c INPROCESSING
2358.06/2365.45	c GARBAGE COLLECT
2358.06/2365.45	c rational objective 1.62705
3321.03/3331.18	c #Conflicts:     244000 | #Constraints:      28231
3321.03/3331.18	c #Conflicts:     245000 | #Constraints:      29267
3321.03/3331.18	c #Conflicts:     246000 | #Constraints:      30308
3321.03/3331.18	c #Conflicts:     247000 | #Constraints:      31454
3321.03/3331.18	c #Conflicts:     248000 | #Constraints:      32561
3321.03/3331.18	c #Conflicts:     249000 | #Constraints:      33582
3321.03/3331.18	c #Conflicts:     250000 | #Constraints:      34582
3321.03/3331.18	c #Conflicts:     251000 | #Constraints:      35582
3321.03/3331.18	c #Conflicts:     252000 | #Constraints:      36582
3321.03/3331.18	c #Conflicts:     253000 | #Constraints:      37582
3321.03/3331.18	c #Conflicts:     254000 | #Constraints:      38582
3321.03/3331.18	c #Conflicts:     255000 | #Constraints:      39582
3321.03/3331.18	c #Conflicts:     256000 | #Constraints:      40582
3321.03/3331.18	c #Conflicts:     257000 | #Constraints:      42308
3321.03/3331.18	c #Conflicts:     258000 | #Constraints:      43843
3321.03/3331.18	c #Conflicts:     259000 | #Constraints:      44843
3321.03/3331.18	c #Conflicts:     260000 | #Constraints:      45843
3321.03/3331.18	c #Conflicts:     261000 | #Constraints:      46843
3321.03/3331.18	c #Conflicts:     262000 | #Constraints:      47843
3321.03/3331.18	c #Conflicts:     263000 | #Constraints:      48843
3321.03/3331.18	c #Conflicts:     264000 | #Constraints:      49843
3321.03/3331.18	c #Conflicts:     265000 | #Constraints:      50843
3321.03/3331.18	c #Conflicts:     266000 | #Constraints:      51843
3321.03/3331.18	c #Conflicts:     267000 | #Constraints:      52843
3321.03/3331.18	c #Conflicts:     268000 | #Constraints:      53843
3321.03/3331.18	c #Conflicts:     269000 | #Constraints:      54843
3321.03/3331.18	c #Conflicts:     270000 | #Constraints:      55843
3321.03/3331.18	c #Conflicts:     271000 | #Constraints:      56843
3321.03/3331.18	c #Conflicts:     272000 | #Constraints:      57843
3321.03/3331.18	c #Conflicts:     273000 | #Constraints:      58843
3321.03/3331.18	c #Conflicts:     274000 | #Constraints:      59843
3321.03/3331.18	c #Conflicts:     275000 | #Constraints:      60843
3321.03/3331.18	c #Conflicts:     276000 | #Constraints:      61843
3321.03/3331.18	c #Conflicts:     277000 | #Constraints:      62843
3321.03/3331.18	c #Conflicts:     278000 | #Constraints:      64059
3321.03/3331.18	c #Conflicts:     279000 | #Constraints:      65344
3321.03/3331.18	c #Conflicts:     280000 | #Constraints:      66744
3321.03/3331.18	c #Conflicts:     281000 | #Constraints:      68003
3321.03/3331.18	c #Conflicts:     282000 | #Constraints:      69489
3321.03/3331.18	c INPROCESSING
3321.03/3331.18	c GARBAGE COLLECT
3321.03/3331.18	c rational objective 1.68555
3336.17/3346.35	c cpu time 3320.68 s
3336.17/3346.35	c deterministic time 324026126146 3.24e+11
3336.17/3346.35	c optimization time 4.8e-05 s
3336.17/3346.35	c total solve time 3320.68 s
3336.17/3346.35	c core-guided solve time 0 s
3336.17/3346.35	c propagation time 3223.83 s
3336.17/3346.35	c conflict analysis time 85.0585 s
3336.17/3346.35	c propagations 2781239
3336.17/3346.35	c resolve steps 865360
3336.17/3346.35	c decisions 4184235
3336.17/3346.35	c conflicts 282901
3336.17/3346.35	c restarts 668
3336.17/3346.35	c inprocessing phases 30
3336.17/3346.35	c input clauses 0
3336.17/3346.35	c input cardinalities 0
3336.17/3346.35	c input general constraints 2
3336.17/3346.35	c input average constraint length 86.00
3336.17/3346.35	c input average constraint degree 139154376.00
3336.17/3346.35	c learned clauses 62995
3336.17/3346.35	c learned cardinalities 2
3336.17/3346.35	c learned general constraints 308845
3336.17/3346.35	c learned average constraint length 80.30
3336.17/3346.35	c learned average constraint degree 415256817.31
3336.17/3346.35	c watched constraints 211855
3336.17/3346.35	c counting constraints 96992
3336.17/3346.35	c gcd simplifications 74852
3336.17/3346.35	c detected cardinalities 2
3336.17/3346.35	c weakened non-implied lits 254002
3336.17/3346.35	c weakened non-implying lits 275355
3336.17/3346.35	c original variables 86
3336.17/3346.35	c clausal propagations 32364
3336.17/3346.35	c cardinality propagations 1
3336.17/3346.35	c watched propagations 1209448
3336.17/3346.35	c counting propagations 1429507
3336.17/3346.35	c watch lookups 55306758891
3336.17/3346.35	c watch backjump lookups 54727240656
3336.17/3346.35	c watch checks 41289420235
3336.17/3346.35	c propagation checks 172591995211
3336.17/3346.35	c constraint additions 96213771
3336.17/3346.35	c trail pops 7248375
3336.17/3346.35	c formula constraints 2
3336.17/3346.35	c learned constraints 282901
3336.17/3346.35	c bound constraints 0
3336.17/3346.35	c core-guided constraints 0
3336.17/3346.35	c encountered formula constraints 526170
3336.17/3346.35	c encountered learned constraints 326389
3336.17/3346.35	c encountered bound constraints 0
3336.17/3346.35	c encountered core-guided constraints 0
3336.17/3346.35	c LP total time 25.3612 s
3336.17/3346.35	c LP solve time 18.25 s
3336.17/3346.35	c LP constraints added 45
3336.17/3346.35	c LP constraints removed 36
3336.17/3346.35	c LP pivots internal 282893
3336.17/3346.35	c LP pivots root 639
3336.17/3346.35	c LP calls 171757
3336.17/3346.35	c LP optimalities 82471
3336.17/3346.35	c LP no pivot count 28772
3336.17/3346.35	c LP infeasibilities 89202
3336.17/3346.35	c LP valid Farkas constraints 88909
3336.17/3346.35	c LP learned Farkas constraints 0
3336.17/3346.35	c LP basis resets 83
3336.17/3346.35	c LP cycling count 28
3336.17/3346.35	c LP singular count 54
3336.17/3346.35	c LP no primal count 0
3336.17/3346.35	c LP no farkas count 0
3336.17/3346.35	c LP other issue count 1
3336.17/3346.35	c LP Gomory cuts 32
3336.17/3346.35	c LP learned cuts 11
3336.17/3346.35	c LP deleted cuts 36
3336.17/3346.35	c LP encountered Gomory constraints 186
3336.17/3346.35	c LP encountered Farkas constraints 295516
3336.17/3346.35	c LP encountered learned Farkas constraints 0
3336.17/3346.35	c CG auxiliary variables introduced 0
3336.17/3346.35	c CG solutions found 0
3336.17/3346.35	c CG cores constructed 0
3336.17/3346.35	c CG core cardinality constraints returned 0
3336.17/3346.35	c CG unit cores 0
3336.17/3346.35	c CG single cores 0
3336.17/3346.35	c CG blocks removed during cardinality reduction 0
3336.17/3346.35	c CG first core best 0
3336.17/3346.35	c CG decision core best 0
3336.17/3346.35	c CG core reduction tie 0
3336.17/3346.35	c CG core degree average 0.00
3336.17/3346.35	c CG core slack average 0.00
3336.17/3346.35	s SATISFIABLE
3336.17/3346.35	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

Verifier Data 

OK	0

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: 63931 MiB (62067 MiB free)
  memory of node 1: 64510 MiB (63167 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100086 s]*
/proc/loadavg: 4.13 4.12 4.06 5/255 1058853
/proc/meminfo: memFree=128239168/131524600 swapFree=131071996/131071996
[pid=1058852] ppid=1058849 vsize=37660 memory=8504 CPUtime=0.1 cores=5,7
/proc/1058852/stat : 1058852 (roundingsat) R 1058849 1058852 1055149 0 -1 4194304 532 0 0 0 9 1 0 0 20 0 1 0 198230579 38563840 2126 134679101440 4194304 7968373 140725890478576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22257664 140725890487228 140725890487392 140725890487392 140725890494409 0
/proc/1058852/statm: 9415 2126 1819 922 0 1367 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37660 KiB
Current children cumulated memory: 8504 KiB

[startup+0.205521 s]*
/proc/loadavg: 4.13 4.12 4.06 5/255 1058853
/proc/meminfo: memFree=128236456/131524600 swapFree=131071996/131071996
[pid=1058852] ppid=1058849 vsize=38188 memory=11076 CPUtime=0.2 cores=5,7
/proc/1058852/stat : 1058852 (roundingsat) R 1058849 1058852 1055149 0 -1 4194304 667 0 0 0 19 1 0 0 20 0 1 0 198230579 39104512 2769 134679101440 4194304 7968373 140725890478576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22257664 140725890487228 140725890487392 140725890487392 140725890494409 0
/proc/1058852/statm: 9547 2769 1819 922 0 1499 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38188 KiB
Current children cumulated memory: 11076 KiB

[startup+0.305254 s]*
/proc/loadavg: 4.13 4.12 4.06 5/255 1058853
/proc/meminfo: memFree=128236316/131524600 swapFree=131071996/131071996
[pid=1058852] ppid=1058849 vsize=38324 memory=11340 CPUtime=0.3 cores=5,7
/proc/1058852/stat : 1058852 (roundingsat) R 1058849 1058852 1055149 0 -1 4194304 705 0 0 0 28 2 0 0 20 0 1 0 198230579 39243776 2835 134679101440 4194304 7968373 140725890478576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22257664 140725890487228 140725890487392 140725890487392 140725890494409 0
/proc/1058852/statm: 9581 2835 1819 922 0 1533 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38324 KiB
Current children cumulated memory: 11340 KiB

[startup+0.700161 s]
/proc/loadavg: 4.13 4.12 4.06 5/255 1058853
/proc/meminfo: memFree=128235504/131524600 swapFree=131071996/131071996
[pid=1058852] ppid=1058849 vsize=39028 memory=11868 CPUtime=0.69 cores=5,7
/proc/1058852/stat : 1058852 (roundingsat) R 1058849 1058852 1055149 0 -1 4194304 846 0 0 0 65 4 0 0 20 0 1 0 198230579 39964672 2967 134679101440 4194304 7968373 140725890478576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22257664 140725890487228 140725890487392 140725890487392 140725890494409 0
/proc/1058852/statm: 9757 2967 1819 922 0 1709 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39028 KiB
Current children cumulated memory: 11868 KiB

[startup+1.50015 s]
/proc/loadavg: 4.12 4.12 4.06 5/255 1058853
/proc/meminfo: memFree=128235168/131524600 swapFree=131071996/131071996
[pid=1058852] ppid=1058849 vsize=39308 memory=12132 CPUtime=1.49 cores=5,7
/proc/1058852/stat : 1058852 (roundingsat) R 1058849 1058852 1055149 0 -1 4194304 925 0 0 0 143 6 0 0 20 0 1 0 198230579 40251392 3033 134679101440 4194304 7968373 140725890478576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22257664 140725890487228 140725890487392 140725890487392 140725890494409 0
/proc/1058852/statm: 9827 3033 1819 922 0 1779 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 39308 KiB
Current children cumulated memory: 12132 KiB

[startup+3.1051 s]
/proc/loadavg: 4.12 4.12 4.06 5/255 1058853
/proc/meminfo: memFree=128233456/131524600 swapFree=131071996/131071996
[pid=1058852] ppid=1058849 vsize=40988 memory=13976 CPUtime=3.09 cores=5,7
/proc/1058852/stat : 1058852 (roundingsat) R 1058849 1058852 1055149 0 -1 4194304 1344 0 0 0 299 10 0 0 20 0 1 0 198230579 41971712 3494 134679101440 4194304 7968373 140725890478576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22257664 140725890487228 140725890487392 140725890487392 140725890494409 0
/proc/1058852/statm: 10247 3494 1819 922 0 2199 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40988 KiB
Current children cumulated memory: 13976 KiB

[startup+6.30014 s]
/proc/loadavg: 4.11 4.12 4.06 5/255 1058853
/proc/meminfo: memFree=128230516/131524600 swapFree=131071996/131071996
[pid=1058852] ppid=1058849 vsize=42428 memory=16348 CPUtime=6.27 cores=5,7
/proc/1058852/stat : 1058852 (roundingsat) R 1058849 1058852 1055149 0 -1 4194304 1958 0 0 0 610 17 0 0 20 0 1 0 198230579 43446272 4087 134679101440 4194304 7968373 140725890478576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22257664 140725890487228 140725890487392 140725890487392 140725890494409 0
/proc/1058852/statm: 10607 4087 1819 922 0 2559 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 42428 KiB
Current children cumulated memory: 16348 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.06 5/255 1058855
/proc/meminfo: memFree=128220804/131524600 swapFree=131071996/131071996
[pid=1058852] ppid=1058849 vsize=45628 memory=18356 CPUtime=12.66 cores=5,7
/proc/1058852/stat : 1058852 (roundingsat) R 1058849 1058852 1055149 0 -1 4194304 2250 0 0 0 1236 30 0 0 20 0 1 0 198230579 46723072 4589 134679101440 4194304 7968373 140725890478576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22257664 140725890487228 140725890487392 140725890487392 140725890494409 0
/proc/1058852/statm: 11407 4589 1962 922 0 3359 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 45628 KiB
Current children cumulated memory: 18356 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.11 4.06 5/255 1058857
/proc/meminfo: memFree=128214356/131524600 swapFree=131071996/131071996
[pid=1058852] ppid=1058849 vsize=48800 memory=21748 CPUtime=25.43 cores=5,7
/proc/1058852/stat : 1058852 (roundingsat) R 1058849 1058852 1055149 0 -1 4194304 3092 0 0 0 2478 65 0 0 20 0 1 0 198230579 49971200 5437 134679101440 4194304 7968373 140725890478576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22257664 140725890487228 140725890487392 140725890487392 140725890494409 0
/proc/1058852/statm: 12200 5437 1962 922 0 4152 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 48800 KiB
Current children cumulated memory: 21748 KiB

[startup+51.1052 s]
/proc/loadavg: 4.11 4.11 4.06 5/255 1058862
/proc/meminfo: memFree=128201784/131524600 swapFree=131071996/131071996
[pid=1058852] ppid=1058849 vsize=53988 memory=24460 CPUtime=50.96 cores=5,7
/proc/1058852/stat : 1058852 (roundingsat) R 1058849 1058852 1055149 0 -1 4194304 3751 0 0 0 4969 127 0 0 20 0 1 0 198230579 55283712 6115 134679101440 4194304 7968373 140725890478576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22257664 140725890487228 140725890487392 140725890487392 140725890494409 0
/proc/1058852/statm: 13497 6115 1962 922 0 5449 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 53988 KiB
Current children cumulated memory: 24460 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.14 4.07 5/255 1058870
/proc/meminfo: memFree=128182388/131524600 swapFree=131071996/131071996
[pid=1058852] ppid=1058849 vsize=59696 memory=31568 CPUtime=102.02 cores=5,7
/proc/1058852/stat : 1058852 (roundingsat) R 1058849 1058852 1055149 0 -1 4194304 5071 0 0 0 9992 210 0 0 20 0 1 0 198230579 61128704 7892 134679101440 4194304 7968373 140725890478576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22257664 140725890487228 140725890487392 140725890487392 140725890494409 0
/proc/1058852/statm: 14924 7892 1962 922 0 6876 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 59696 KiB
Current children cumulated memory: 31568 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 4.14 4.08 5/255 1058883
/proc/meminfo: memFree=128158532/131524600 swapFree=131071996/131071996
[pid=1058852] ppid=1058849 vsize=68988 memory=38072 CPUtime=161.84 cores=5,7
/proc/1058852/stat : 1058852 (roundingsat) R 1058849 1058852 1055149 0 -1 4194304 6165 0 0 0 15893 291 0 0 20 0 1 0 198230579 70643712 9518 134679101440 4194304 7968373 140725890478576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22257664 140725890487228 140725890487392 140725890487392 140725890494409 0
/proc/1058852/statm: 17247 9518 1962 922 0 9199 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 68988 KiB
Current children cumulated memory: 38072 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.15 4.08 5/254 1058893
/proc/meminfo: memFree=128131648/131524600 swapFree=131071996/131071996
[pid=1058852] ppid=1058849 vsize=85284 memory=48820 CPUtime=221.65 cores=5,7
/proc/1058852/stat : 1058852 (roundingsat) R 1058849 1058852 1055149 0 -1 4194304 7839 0 0 0 21823 342 0 0 20 0 1 0 198230579 87330816 12205 134679101440 4194304 7968373 140725890478576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22257664 140725890487228 140725890487392 140725890487392 140725890494409 0
/proc/1058852/statm: 21321 12205 1962 922 0 13273 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 85284 KiB
Current children cumulated memory: 48820 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.13 4.08 5/254 1058903
/proc/meminfo: memFree=128123200/131524600 swapFree=131071996/131071996
[pid=1058852] ppid=1058849 vsize=85572 memory=49480 CPUtime=281.43 cores=5,7
/proc/1058852/stat : 1058852 (roundingsat) R 1058849 1058852 1055149 0 -1 4194304 8079 0 0 0 27763 380 0 0 20 0 1 0 198230579 87625728 12370 134679101440 4194304 7968373 140725890478576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22257664 140725890487228 140725890487392 140725890487392 140725890494409 0
/proc/1058852/statm: 21393 12370 1962 922 0 13345 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 85572 KiB
Current children cumulated memory: 49480 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/254 1058915
/proc/meminfo: memFree=128115488/131524600 swapFree=131071996/131071996
[pid=1058852] ppid=1058849 vsize=85572 memory=49480 CPUtime=341.18 cores=5,7
/proc/1058852/stat : 1058852 (roundingsat) R 1058849 1058852 1055149 0 -1 4194304 8081 0 0 0 33635 483 0 0 20 0 1 0 198230579 87625728 12370 134679101440 4194304 7968373 140725890478576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22257664 140725890487228 140725890487392 140725890487392 140725890494409 0
/proc/1058852/statm: 21393 12370 1962 922 0 13345 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 85572 KiB
Current children cumulated memory: 49480 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/254 1058925
/proc/meminfo: memFree=128106024/131524600 swapFree=131071996/131071996
[pid=1058852] ppid=1058849 vsize=85572 memory=50900 CPUtime=400.99 cores=5,7
/proc/1058852/stat : 1058852 (roundingsat) R 1058849 1058852 1055149 0 -1 4194304 8118 0 0 0 39565 534 0 0 20 0 1 0 198230579 87625728 12725 134679101440 4194304 7968373 140725890478576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22257664 140725890487228 140725890487392 140725890487392 140725890494409 0
/proc/1058852/statm: 21393 12725 1962 922 0 13345 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 85572 KiB
Current children cumulated memory: 50900 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/255 1058937
/proc/meminfo: memFree=128094668/131524600 swapFree=131071996/131071996
[pid=1058852] ppid=1058849 vsize=93788 memory=55684 CPUtime=460.81 cores=5,7
/proc/1058852/stat : 1058852 (roundingsat) R 1058849 1058852 1055149 0 -1 4194304 9946 0 0 0 45521 560 0 0 20 0 1 0 198230579 96038912 13921 134679101440 4194304 7968373 140725890478576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22257664 140725890487228 140725890487392 140725890487392 140725890494409 0
/proc/1058852/statm: 23447 13921 1962 922 0 15399 0

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

/proc/loadavg: 4.34 4.21 4.13 5/257 1059986
/proc/meminfo: memFree=127699260/131524600 swapFree=131071996/131071996
[pid=1058852] ppid=1058849 vsize=144028 memory=100004 CPUtime=2793.69 cores=5,7
/proc/1058852/stat : 1058852 (roundingsat) R 1058849 1058852 1055149 0 -1 4194304 20734 0 0 0 277959 1410 0 0 20 0 1 0 198230579 147484672 25001 134679101440 4194304 7968373 140725890478576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22257664 140725890487228 140725890487392 140725890487392 140725890494409 0
/proc/1058852/statm: 36007 25001 1962 922 0 27959 0
Current children cumulated CPU time: 2793.69 s
Current children cumulated vsize: 144028 KiB
Current children cumulated memory: 100004 KiB

[startup+2862.3 s]
/proc/loadavg: 4.17 4.18 4.12 5/257 1059996
/proc/meminfo: memFree=127695156/131524600 swapFree=131071996/131071996
[pid=1058852] ppid=1058849 vsize=144540 memory=100300 CPUtime=2853.5 cores=5,7
/proc/1058852/stat : 1058852 (roundingsat) R 1058849 1058852 1055149 0 -1 4194304 20958 0 0 0 283919 1431 0 0 20 0 1 0 198230579 148008960 25075 134679101440 4194304 7968373 140725890478576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22257664 140725890487228 140725890487392 140725890487392 140725890494409 0
/proc/1058852/statm: 36135 25075 1962 922 0 28087 0
Current children cumulated CPU time: 2853.5 s
Current children cumulated vsize: 144540 KiB
Current children cumulated memory: 100300 KiB

[startup+2922.3 s]
/proc/loadavg: 4.17 4.18 4.12 5/258 1060010
/proc/meminfo: memFree=127687472/131524600 swapFree=131071996/131071996
[pid=1058852] ppid=1058849 vsize=144796 memory=100684 CPUtime=2913.34 cores=5,7
/proc/1058852/stat : 1058852 (roundingsat) R 1058849 1058852 1055149 0 -1 4194304 21133 0 0 0 289882 1452 0 0 20 0 1 0 198230579 148271104 25171 134679101440 4194304 7968373 140725890478576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22257664 140725890487228 140725890487392 140725890487392 140725890494409 0
/proc/1058852/statm: 36199 25171 1962 922 0 28151 0
Current children cumulated CPU time: 2913.34 s
Current children cumulated vsize: 144796 KiB
Current children cumulated memory: 100684 KiB

[startup+2982.3 s]
/proc/loadavg: 4.06 4.14 4.11 5/258 1060022
/proc/meminfo: memFree=127683548/131524600 swapFree=131071996/131071996
[pid=1058852] ppid=1058849 vsize=145564 memory=100968 CPUtime=2973.16 cores=5,7
/proc/1058852/stat : 1058852 (roundingsat) R 1058849 1058852 1055149 0 -1 4194304 21427 0 0 0 295848 1468 0 0 20 0 1 0 198230579 149057536 25242 134679101440 4194304 7968373 140725890478576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22257664 140725890487228 140725890487392 140725890487392 140725890494409 0
/proc/1058852/statm: 36391 25242 1962 922 0 28343 0
Current children cumulated CPU time: 2973.16 s
Current children cumulated vsize: 145564 KiB
Current children cumulated memory: 100968 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/258 1060032
/proc/meminfo: memFree=127681656/131524600 swapFree=131071996/131071996
[pid=1058852] ppid=1058849 vsize=145820 memory=101156 CPUtime=3033 cores=5,7
/proc/1058852/stat : 1058852 (roundingsat) R 1058849 1058852 1055149 0 -1 4194304 21602 0 0 0 301815 1485 0 0 20 0 1 0 198230579 149319680 25289 134679101440 4194304 7968373 140725890478576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22257664 140725890487228 140725890487392 140725890487392 140725890494409 0
/proc/1058852/statm: 36455 25289 1962 922 0 28407 0
Current children cumulated CPU time: 3033 s
Current children cumulated vsize: 145820 KiB
Current children cumulated memory: 101156 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.13 4.11 5/255 1060042
/proc/meminfo: memFree=127663528/131524600 swapFree=131071996/131071996
[pid=1058852] ppid=1058849 vsize=146076 memory=101528 CPUtime=3092.84 cores=5,7
/proc/1058852/stat : 1058852 (roundingsat) R 1058849 1058852 1055149 0 -1 4194304 21778 0 0 0 307779 1505 0 0 20 0 1 0 198230579 149581824 25382 134679101440 4194304 7968373 140725890478576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22257664 140725890487228 140725890487392 140725890487392 140725890494409 0
/proc/1058852/statm: 36519 25382 1962 922 0 28471 0
Current children cumulated CPU time: 3092.84 s
Current children cumulated vsize: 146076 KiB
Current children cumulated memory: 101528 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/255 1060054
/proc/meminfo: memFree=127672996/131524600 swapFree=131071996/131071996
[pid=1058852] ppid=1058849 vsize=146332 memory=107044 CPUtime=3152.67 cores=5,7
/proc/1058852/stat : 1058852 (roundingsat) R 1058849 1058852 1055149 0 -1 4194304 21950 0 0 0 313748 1519 0 0 20 0 1 0 198230579 149843968 26761 134679101440 4194304 7968373 140725890478576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22257664 140725890487228 140725890487392 140725890487392 140725890494409 0
/proc/1058852/statm: 36583 26761 1962 922 0 28535 0
Current children cumulated CPU time: 3152.67 s
Current children cumulated vsize: 146332 KiB
Current children cumulated memory: 107044 KiB

[startup+3222.3 s]
/proc/loadavg: 4.18 4.14 4.11 5/256 1060451
/proc/meminfo: memFree=127765200/131524600 swapFree=131071996/131071996
[pid=1058852] ppid=1058849 vsize=146844 memory=109316 CPUtime=3212.52 cores=5,7
/proc/1058852/stat : 1058852 (roundingsat) R 1058849 1058852 1055149 0 -1 4194304 22173 0 0 0 319720 1532 0 0 20 0 1 0 198230579 150368256 27329 134679101440 4194304 7968373 140725890478576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22257664 140725890487228 140725890487392 140725890487392 140725890494409 0
/proc/1058852/statm: 36711 27329 1962 922 0 28663 0
Current children cumulated CPU time: 3212.52 s
Current children cumulated vsize: 146844 KiB
Current children cumulated memory: 109316 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.16 4.11 5/256 1060461
/proc/meminfo: memFree=127760144/131524600 swapFree=131071996/131071996
[pid=1058852] ppid=1058849 vsize=146844 memory=109416 CPUtime=3272.35 cores=5,7
/proc/1058852/stat : 1058852 (roundingsat) R 1058849 1058852 1055149 0 -1 4194304 22244 0 0 0 325695 1540 0 0 20 0 1 0 198230579 150368256 27354 134679101440 4194304 7968373 140725890478576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22257664 140725890487228 140725890487392 140725890487392 140725890494409 0
/proc/1058852/statm: 36711 27354 1962 922 0 28663 0
Current children cumulated CPU time: 3272.35 s
Current children cumulated vsize: 146844 KiB
Current children cumulated memory: 109416 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/256 1060473
/proc/meminfo: memFree=127756624/131524600 swapFree=131071996/131071996
[pid=1058852] ppid=1058849 vsize=147360 memory=111820 CPUtime=3332.19 cores=5,7
/proc/1058852/stat : 1058852 (roundingsat) R 1058849 1058852 1055149 0 -1 4194304 22383 0 0 0 331666 1553 0 0 20 0 1 0 198230579 150896640 27955 134679101440 4194304 7968373 140725890478576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22257664 140725890487228 140725890487392 140725890487392 140725890494409 0
/proc/1058852/statm: 36840 27955 1962 922 0 28792 0
Current children cumulated CPU time: 3332.19 s
Current children cumulated vsize: 147360 KiB
Current children cumulated memory: 111820 KiB

[startup+3346.36 s]
# the end of solver process 1058852 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3320.68 s, system=15.5609 s

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

[startup+3344 s]*
/proc/loadavg: 4.11 4.14 4.11 5/256 1060473
/proc/meminfo: memFree=127756624/131524600 swapFree=131071996/131071996
[pid=1058852] ppid=1058849 vsize=147360 memory=111820 CPUtime=3333.89 cores=5,7
/proc/1058852/stat : 1058852 (roundingsat) R 1058849 1058852 1055149 0 -1 4194304 22383 0 0 0 331835 1554 0 0 20 0 1 0 198230579 150896640 27955 134679101440 4194304 7968373 140725890478576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22257664 140725890487228 140725890487392 140725890487392 140725890494409 0
/proc/1058852/statm: 36840 27955 1962 922 0 28792 0
Current children cumulated CPU time: 3333.89 s
Current children cumulated vsize: 147360 KiB
Current children cumulated memory: 111820 KiB

[startup+3345.6 s]
/proc/loadavg: 4.11 4.14 4.11 5/256 1060473
/proc/meminfo: memFree=127756624/131524600 swapFree=131071996/131071996
[pid=1058852] ppid=1058849 vsize=147360 memory=111820 CPUtime=3335.48 cores=5,7
/proc/1058852/stat : 1058852 (roundingsat) R 1058849 1058852 1055149 0 -1 4194304 22383 0 0 0 331993 1555 0 0 20 0 1 0 198230579 150896640 27955 134679101440 4194304 7968373 140725890478576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22257664 140725890487228 140725890487392 140725890487392 140725890494409 0
/proc/1058852/statm: 36840 27955 1962 922 0 28792 0
Current children cumulated CPU time: 3335.48 s
Current children cumulated vsize: 147360 KiB
Current children cumulated memory: 111820 KiB

[startup+3346 s]*
/proc/loadavg: 4.11 4.14 4.11 5/256 1060473
/proc/meminfo: memFree=127756624/131524600 swapFree=131071996/131071996
[pid=1058852] ppid=1058849 vsize=147360 memory=111820 CPUtime=3335.88 cores=5,7
/proc/1058852/stat : 1058852 (roundingsat) R 1058849 1058852 1055149 0 -1 4194304 22383 0 0 0 332033 1555 0 0 20 0 1 0 198230579 150896640 27955 134679101440 4194304 7968373 140725890478576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22257664 140725890487228 140725890487392 140725890487392 140725890494409 0
/proc/1058852/statm: 36840 27955 1962 922 0 28792 0
Current children cumulated CPU time: 3335.88 s
Current children cumulated vsize: 147360 KiB
Current children cumulated memory: 111820 KiB

[startup+3346.2 s]
/proc/loadavg: 4.11 4.14 4.11 5/256 1060473
/proc/meminfo: memFree=127756624/131524600 swapFree=131071996/131071996
[pid=1058852] ppid=1058849 vsize=147360 memory=111820 CPUtime=3336.07 cores=5,7
/proc/1058852/stat : 1058852 (roundingsat) R 1058849 1058852 1055149 0 -1 4194304 22383 0 0 0 332052 1555 0 0 20 0 1 0 198230579 150896640 27955 134679101440 4194304 7968373 140725890478576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22257664 140725890487228 140725890487392 140725890487392 140725890494409 0
/proc/1058852/statm: 36840 27955 1962 922 0 28792 0
Current children cumulated CPU time: 3336.07 s
Current children cumulated vsize: 147360 KiB
Current children cumulated memory: 111820 KiB

[startup+3346.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/256 1060473
/proc/meminfo: memFree=127756624/131524600 swapFree=131071996/131071996
[pid=1058852] ppid=1058849 vsize=147360 memory=111820 CPUtime=3336.17 cores=5,7
/proc/1058852/stat : 1058852 (roundingsat) R 1058849 1058852 1055149 0 -1 4194304 22383 0 0 0 332062 1555 0 0 20 0 1 0 198230579 150896640 27955 134679101440 4194304 7968373 140725890478576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22257664 140725890487228 140725890487392 140725890487392 140725890494409 0
/proc/1058852/statm: 36840 27955 1962 922 0 28792 0
Current children cumulated CPU time: 3336.17 s
Current children cumulated vsize: 147360 KiB
Current children cumulated memory: 111820 KiB

Child status: 0

Real time (s): 3346.36
CPU time (s): 3336.24
CPU user time (s): 3320.68
CPU system time (s): 15.5609
CPU usage (%): 99.6977
Max. virtual memory (cumulated for all children) (KiB): 147360
Max. memory (cumulated for all children) (KiB): 111820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3320.68
system time used= 15.5609
maximum resident set size= 111820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22392
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= 29
involuntary context switches= 3767


# summary of solver processes directly reported to runsolver:
#   pid: 1058852
#   total CPU time (s): 3336.24
#   total CPU user time (s): 3320.68
#   total CPU system time (s): 15.5609

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.69057 second user time and 15.8994 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2024-07-20 09:31:56
IDJOB=4455492
IDBENCH=148105
IDSOLVER=3084
FILE ID=nodeC015/4455492-1721460704
RUNJOBID= nodeC015-1721456928-1055162
SLURM_JOB_ID= 7545695
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-4455492-1721460704/watcher-4455492-1721460704 -o /tmp/evaluation-result-4455492-1721460704/solver-4455492-1721460704 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721456928-1055162 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455492-1721460704.opb

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

MD5SUM BENCH= 3f61e6943d6ec76e40473bfb8d86b810
RANDOM SEED=388850067

nodeC015.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		: 3657.042
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.61
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		: 3660.318
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	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128241408 kB
MemAvailable:   129597752 kB
Buffers:          557840 kB
Cached:          1632424 kB
SwapCached:            0 kB
Active:          1718472 kB
Inactive:         928572 kB
Active(anon):       1564 kB
Inactive(anon):   501128 kB
Active(file):    1716908 kB
Inactive(file):   427444 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             16108 kB
Writeback:             0 kB
AnonPages:        455168 kB
Mapped:           117564 kB
Shmem:             45912 kB
KReclaimable:     103280 kB
Slab:             216276 kB
SReclaimable:     103280 kB
SUnreclaim:       112996 kB
KernelStack:        4128 kB
PageTables:        10288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     845864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            68224 kB
HardwareCorrupted:     0 kB
AnonHugePages:    301056 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:      291540 kB
DirectMap2M:    38279168 kB
DirectMap1G:    97517568 kB

Free space on /tmp at the end= 890052 MiB
End job on nodeC015 at 2024-07-20 10:27:42