Trace number 4496779

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ihs-log 63f22ad? (exit code) 2998.7 3020.61

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir10_trarea_ac.opb
MD5SUM743a21341a4102c561f444f57f0a4e7a
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark73649
Best CPU time to get the best result obtained on this benchmark11.4014
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables26836
Total number of constraints55586
Number of constraints which are clauses55586
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint359
Number of terms in the objective function 13364
Biggest coefficient in the objective function 2444
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 23768999
Number of bits of the sum of numbers in the objective function 25
Biggest number in a constraint 2444
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 23768999
Number of bits of the biggest sum of numbers25
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.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.17/0.29	c #variables 26836 #constraints 55586
0.17/0.29	c objective is ce32 
0.27/0.31	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.27/0.31	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.27/0.31	c GLOBAL bounds - >= 0 @ 0.224364
0.27/0.34	c GLOBAL bounds - >= 0 @ 0.239679
0.27/0.37	c GLOBAL bounds - >= 0 @ 0.256411
0.27/0.37	c GLOBAL bounds - >= 9868 @ 0.256807
0.57/0.64	c GLOBAL bounds - >= 9868 @ 0.511353
0.57/0.68	c GLOBAL bounds - >= 9868 @ 0.526772
0.57/0.69	c GLOBAL bounds - >= 9868 @ 0.534503
0.66/0.72	c GLOBAL bounds - >= 9868 @ 0.551931
0.66/0.73	c GLOBAL bounds - >= 9868 @ 0.554888
0.66/0.76	c GLOBAL bounds - >= 9868 @ 0.570712
0.66/0.77	c GLOBAL bounds - >= 9868 @ 0.577562
0.76/0.80	c GLOBAL bounds - >= 9868 @ 0.599033
0.76/0.81	c GLOBAL bounds - >= 9868 @ 0.604459
0.76/0.84	c GLOBAL bounds - >= 9868 @ 0.623759
0.76/0.85	c GLOBAL bounds - >= 9868 @ 0.630681
0.76/0.89	c GLOBAL bounds - >= 9868 @ 0.646995
0.87/0.90	c GLOBAL bounds - >= 9868 @ 0.651816
0.87/0.93	c GLOBAL bounds - >= 9868 @ 0.671311
0.87/0.94	c GLOBAL bounds - >= 9868 @ 0.679222
0.87/0.97	c GLOBAL bounds - >= 9868 @ 0.690182
0.87/0.98	c GLOBAL bounds - >= 9868 @ 0.694854
0.97/1.02	c GLOBAL bounds - >= 9868 @ 0.712589
0.97/1.03	c GLOBAL bounds - >= 9868 @ 0.71877
0.97/1.06	c GLOBAL bounds - >= 9868 @ 0.737651
0.97/1.09	c GLOBAL bounds - >= 9868 @ 0.756759
1.06/1.12	c GLOBAL bounds - >= 9868 @ 0.769273
1.06/1.14	c GLOBAL bounds - >= 9868 @ 0.783446
1.06/1.18	c GLOBAL bounds - >= 9868 @ 0.801812
1.16/1.21	c GLOBAL bounds - >= 9868 @ 0.825754
1.16/1.24	c GLOBAL bounds - >= 9868 @ 0.844653
1.16/1.27	c GLOBAL bounds - >= 9868 @ 0.862497
1.26/1.31	c GLOBAL bounds - >= 9868 @ 0.88478
1.26/1.34	c GLOBAL bounds - >= 9868 @ 0.90729
2.36/2.45	c GLOBAL bounds - >= 19601 @ 1.98312
2.36/2.47	c GLOBAL bounds - >= 19601 @ 1.9991
2.36/2.48	c GLOBAL bounds - >= 19601 @ 2.00575
2.36/2.49	c GLOBAL bounds - >= 19601 @ 2.01015
2.46/2.53	c GLOBAL bounds - >= 19601 @ 2.02628
2.46/2.54	c GLOBAL bounds - >= 19601 @ 2.03011
2.46/2.57	c GLOBAL bounds - >= 19601 @ 2.04747
2.46/2.58	c GLOBAL bounds - >= 19601 @ 2.0525
2.56/2.61	c GLOBAL bounds - >= 19601 @ 2.0701
2.56/2.63	c GLOBAL bounds - >= 19601 @ 2.07645
2.56/2.66	c GLOBAL bounds - >= 19601 @ 2.08893
2.56/2.67	c GLOBAL bounds - >= 19601 @ 2.09428
2.66/2.70	c GLOBAL bounds - >= 19601 @ 2.10954
2.66/2.72	c GLOBAL bounds - >= 19601 @ 2.11943
2.66/2.75	c GLOBAL bounds - >= 19601 @ 2.13491
2.66/2.76	c GLOBAL bounds - >= 19601 @ 2.13784
2.76/2.80	c GLOBAL bounds - >= 19601 @ 2.15642
2.76/2.81	c GLOBAL bounds - >= 19601 @ 2.16479
2.76/2.84	c GLOBAL bounds - >= 19601 @ 2.18228
2.76/2.86	c GLOBAL bounds - >= 19601 @ 2.18954
2.76/2.89	c GLOBAL bounds - >= 19601 @ 2.20584
2.85/2.90	c GLOBAL bounds - >= 19601 @ 2.21107
2.85/2.94	c GLOBAL bounds - >= 19601 @ 2.22608
2.85/2.98	c GLOBAL bounds - >= 19601 @ 2.25557
2.96/3.02	c GLOBAL bounds - >= 19601 @ 2.28194
2.96/3.07	c GLOBAL bounds - >= 19601 @ 2.30763
3.75/3.81	c GLOBAL bounds - >= 19601 @ 3.00694
3.75/3.84	c GLOBAL bounds - >= 19601 @ 3.0306
3.95/4.06	c GLOBAL bounds - >= 19601 @ 3.2301
3.95/4.09	c GLOBAL bounds - >= 19601 @ 3.24954
4.06/4.16	c GLOBAL bounds - >= 19601 @ 3.30008
4.06/4.19	c GLOBAL bounds - >= 19601 @ 3.32353
4.25/4.32	c GLOBAL bounds - >= 19601 @ 3.4347
33.37/33.54	c #Conflicts:       1000 | #Constraints:       1131
33.37/33.54	c #Conflicts:       2000 | #Constraints:       2131
33.37/33.54	c INPROCESSING
33.37/33.54	c GARBAGE COLLECT
33.37/33.54	c #Conflicts:       3000 | #Constraints:       2118
33.37/33.54	c #Conflicts:       4000 | #Constraints:       3118
33.37/33.54	c INPROCESSING
33.37/33.54	c GARBAGE COLLECT
33.37/33.54	c GLOBAL bounds - >= 19601 @ 31.4228
149.67/150.14	c #Conflicts:       5000 | #Constraints:       2524
149.67/150.14	c #Conflicts:       6000 | #Constraints:       3524
149.67/150.14	c INPROCESSING
149.67/150.14	c GARBAGE COLLECT
149.67/150.14	c #Conflicts:       7000 | #Constraints:       2528
149.67/150.14	c #Conflicts:       8000 | #Constraints:       3528
149.67/150.14	c #Conflicts:       9000 | #Constraints:       4528
149.67/150.14	c INPROCESSING
149.67/150.14	c GARBAGE COLLECT
149.67/150.14	c #Conflicts:      10000 | #Constraints:       3230
149.67/150.14	c #Conflicts:      11000 | #Constraints:       4230
149.67/150.14	c #Conflicts:      12000 | #Constraints:       5230
149.67/150.14	c INPROCESSING
149.67/150.14	c GARBAGE COLLECT
149.67/150.14	c #Conflicts:      13000 | #Constraints:       3683
149.67/150.14	c #Conflicts:      14000 | #Constraints:       4683
149.67/150.14	c #Conflicts:      15000 | #Constraints:       5683
149.67/150.14	c INPROCESSING
149.67/150.14	c GARBAGE COLLECT
149.67/150.14	c #Conflicts:      16000 | #Constraints:       3906
149.67/150.14	c #Conflicts:      17000 | #Constraints:       4906
149.67/150.14	c #Conflicts:      18000 | #Constraints:       5906
149.67/150.14	c INPROCESSING
149.67/150.14	c GARBAGE COLLECT
149.67/150.14	c GLOBAL bounds - >= 22665 @ 144.403
149.67/150.17	c GLOBAL bounds - >= 22665 @ 144.423
149.67/150.19	c GLOBAL bounds - >= 22665 @ 144.425
149.77/150.20	c GLOBAL bounds - >= 22665 @ 144.427
149.77/150.21	c GLOBAL bounds - >= 22665 @ 144.434
149.77/150.22	c GLOBAL bounds - >= 22665 @ 144.444
149.77/150.23	c GLOBAL bounds - >= 22665 @ 144.453
150.16/150.66	c GLOBAL bounds - >= 22665 @ 144.853
150.16/150.67	c GLOBAL bounds - >= 22665 @ 144.857
150.26/150.71	c GLOBAL bounds - >= 22665 @ 144.877
150.26/150.72	c GLOBAL bounds - >= 22665 @ 144.883
150.26/150.75	c GLOBAL bounds - >= 22665 @ 144.9
150.26/150.77	c GLOBAL bounds - >= 22665 @ 144.905
150.37/150.80	c GLOBAL bounds - >= 22665 @ 144.918
150.37/150.82	c GLOBAL bounds - >= 22665 @ 144.925
150.37/150.85	c GLOBAL bounds - >= 22665 @ 144.942
150.37/150.86	c GLOBAL bounds - >= 22665 @ 144.947
150.47/150.90	c GLOBAL bounds - >= 22665 @ 144.965
150.47/150.91	c GLOBAL bounds - >= 22665 @ 144.97
150.47/150.95	c GLOBAL bounds - >= 22665 @ 144.991
150.47/150.96	c GLOBAL bounds - >= 22665 @ 144.997
150.47/150.99	c GLOBAL bounds - >= 22665 @ 145.016
150.57/151.01	c GLOBAL bounds - >= 22665 @ 145.024
150.57/151.04	c GLOBAL bounds - >= 22665 @ 145.04
150.57/151.06	c GLOBAL bounds - >= 22665 @ 145.049
150.57/151.09	c GLOBAL bounds - >= 22665 @ 145.064
150.67/151.12	c GLOBAL bounds - >= 22665 @ 145.077
150.67/151.16	c GLOBAL bounds - >= 22665 @ 145.1
150.76/151.20	c GLOBAL bounds - >= 22665 @ 145.126
150.76/151.27	c GLOBAL bounds - >= 22665 @ 145.176
150.87/151.31	c GLOBAL bounds - >= 22665 @ 145.204
151.06/151.54	c GLOBAL bounds - >= 22665 @ 145.411
151.17/151.62	c GLOBAL bounds - >= 22665 @ 145.478
151.26/151.70	c GLOBAL bounds - >= 22665 @ 145.539
155.05/155.52	c #Conflicts:      19000 | #Constraints:       3986
155.05/155.52	c GLOBAL bounds - >= 22665 @ 149.254
155.46/155.97	c GLOBAL bounds - >= 22665 @ 149.673
155.56/156.02	c GLOBAL bounds - >= 22665 @ 149.705
156.25/156.77	c GLOBAL bounds - >= 22665 @ 150.418
158.65/159.11	c GLOBAL bounds - >= 22665 @ 152.666
167.82/168.36	c #Conflicts:      20000 | #Constraints:       5001
167.82/168.36	c GLOBAL bounds - >= 22665 @ 161.565
266.58/267.34	c #Conflicts:      21000 | #Constraints:       6004
266.58/267.34	c INPROCESSING
266.58/267.34	c GARBAGE COLLECT
266.58/267.34	c #Conflicts:      22000 | #Constraints:       3783
266.58/267.34	c #Conflicts:      23000 | #Constraints:       4783
266.58/267.34	c #Conflicts:      24000 | #Constraints:       5783
266.58/267.34	c #Conflicts:      25000 | #Constraints:       6783
266.58/267.34	c INPROCESSING
266.58/267.34	c GARBAGE COLLECT
266.58/267.34	c #Conflicts:      26000 | #Constraints:       4394
266.58/267.34	c #Conflicts:      27000 | #Constraints:       5394
266.58/267.34	c #Conflicts:      28000 | #Constraints:       6394
266.58/267.34	c #Conflicts:      29000 | #Constraints:       7394
266.58/267.34	c INPROCESSING
266.58/267.34	c GARBAGE COLLECT
266.58/267.34	c #Conflicts:      30000 | #Constraints:       4800
266.58/267.34	c #Conflicts:      31000 | #Constraints:       5800
266.58/267.34	c #Conflicts:      32000 | #Constraints:       6800
266.58/267.34	c #Conflicts:      33000 | #Constraints:       7800
266.58/267.34	c INPROCESSING
266.58/267.34	c GARBAGE COLLECT
266.58/267.34	c GLOBAL bounds - >= 28123 @ 257.851
266.58/267.39	c GLOBAL bounds - >= 28123 @ 257.889
266.68/267.40	c GLOBAL bounds - >= 28123 @ 257.896
266.68/267.41	c GLOBAL bounds - >= 28123 @ 257.902
266.68/267.42	c GLOBAL bounds - >= 28123 @ 257.907
266.68/267.43	c GLOBAL bounds - >= 28123 @ 257.915
266.68/267.45	c GLOBAL bounds - >= 28123 @ 257.918
266.68/267.46	c GLOBAL bounds - >= 28123 @ 257.924
266.78/267.52	c GLOBAL bounds - >= 28123 @ 257.967
266.78/267.54	c GLOBAL bounds - >= 28123 @ 257.976
266.78/267.57	c GLOBAL bounds - >= 28123 @ 257.996
266.78/267.59	c GLOBAL bounds - >= 28123 @ 258.005
266.87/267.62	c GLOBAL bounds - >= 28123 @ 258.021
266.87/267.64	c GLOBAL bounds - >= 28123 @ 258.028
266.87/267.67	c GLOBAL bounds - >= 28123 @ 258.042
266.87/267.68	c GLOBAL bounds - >= 28123 @ 258.052
266.98/267.72	c GLOBAL bounds - >= 28123 @ 258.071
266.98/267.73	c GLOBAL bounds - >= 28123 @ 258.08
266.98/267.77	c GLOBAL bounds - >= 28123 @ 258.102
266.98/267.78	c GLOBAL bounds - >= 28123 @ 258.108
267.07/267.82	c GLOBAL bounds - >= 28123 @ 258.13
267.07/267.83	c GLOBAL bounds - >= 28123 @ 258.139
267.07/267.86	c GLOBAL bounds - >= 28123 @ 258.159
267.07/267.88	c GLOBAL bounds - >= 28123 @ 258.165
267.17/267.91	c GLOBAL bounds - >= 28123 @ 258.18
267.17/267.93	c GLOBAL bounds - >= 28123 @ 258.186
267.17/267.96	c GLOBAL bounds - >= 28123 @ 258.204
267.38/268.15	c GLOBAL bounds - >= 28123 @ 258.371
267.48/268.20	c GLOBAL bounds - >= 28123 @ 258.409
267.48/268.26	c GLOBAL bounds - >= 28123 @ 258.449
267.57/268.32	c GLOBAL bounds - >= 28123 @ 258.493
267.57/268.37	c GLOBAL bounds - >= 28123 @ 258.526
267.67/268.42	c GLOBAL bounds - >= 28123 @ 258.562
294.91/295.75	c #Conflicts:      34000 | #Constraints:       5062
294.91/295.75	c #Conflicts:      35000 | #Constraints:       6062
294.91/295.75	c #Conflicts:      36000 | #Constraints:       7062
294.91/295.75	c #Conflicts:      37000 | #Constraints:       8062
294.91/295.75	c INPROCESSING
294.91/295.75	c GARBAGE COLLECT
294.91/295.75	c GLOBAL bounds - >= 28123 @ 285.078
294.91/295.79	c GLOBAL bounds - >= 28123 @ 285.108
295.00/295.82	c GLOBAL bounds - >= 28123 @ 285.124
897.53/899.82	c #Conflicts:      38000 | #Constraints:       5056
897.53/899.82	c #Conflicts:      39000 | #Constraints:       6056
897.53/899.82	c #Conflicts:      40000 | #Constraints:       7056
897.53/899.82	c #Conflicts:      41000 | #Constraints:       8056
897.53/899.82	c INPROCESSING
897.53/899.82	c GARBAGE COLLECT
897.53/899.82	c #Conflicts:      42000 | #Constraints:       4854
897.53/899.82	c #Conflicts:      43000 | #Constraints:       5854
897.53/899.82	c #Conflicts:      44000 | #Constraints:       6854
897.53/899.82	c #Conflicts:      45000 | #Constraints:       7854
897.53/899.82	c #Conflicts:      46000 | #Constraints:       8854
897.53/899.82	c INPROCESSING
897.53/899.82	c GARBAGE COLLECT
897.53/899.82	c #Conflicts:      47000 | #Constraints:       5450
897.53/899.82	c #Conflicts:      48000 | #Constraints:       6450
897.53/899.82	c #Conflicts:      49000 | #Constraints:       7450
897.53/899.82	c #Conflicts:      50000 | #Constraints:       8450
897.53/899.82	c #Conflicts:      51000 | #Constraints:       9450
897.53/899.82	c INPROCESSING
897.53/899.82	c GARBAGE COLLECT
897.53/899.82	c #Conflicts:      52000 | #Constraints:       5852
897.53/899.82	c #Conflicts:      53000 | #Constraints:       6852
897.53/899.82	c #Conflicts:      54000 | #Constraints:       7852
897.53/899.82	c #Conflicts:      55000 | #Constraints:       8852
897.53/899.82	c #Conflicts:      56000 | #Constraints:       9852
897.53/899.82	c INPROCESSING
897.53/899.82	c GARBAGE COLLECT
897.53/899.82	c #Conflicts:      57000 | #Constraints:       6051
897.53/899.82	c #Conflicts:      58000 | #Constraints:       7051
897.53/899.82	c #Conflicts:      59000 | #Constraints:       8051
897.53/899.82	c #Conflicts:      60000 | #Constraints:       9051
897.53/899.82	c #Conflicts:      61000 | #Constraints:      10051
897.53/899.82	c INPROCESSING
897.53/899.82	c GARBAGE COLLECT
897.53/899.82	c #Conflicts:      62000 | #Constraints:       6050
897.53/899.82	c #Conflicts:      63000 | #Constraints:       7050
897.53/899.82	c #Conflicts:      64000 | #Constraints:       8050
897.53/899.82	c #Conflicts:      65000 | #Constraints:       9050
897.53/899.82	c #Conflicts:      66000 | #Constraints:      10050
897.53/899.82	c INPROCESSING
897.53/899.82	c GARBAGE COLLECT
897.53/899.82	c #Conflicts:      67000 | #Constraints:       5851
897.53/899.82	c #Conflicts:      68000 | #Constraints:       6851
897.53/899.82	c #Conflicts:      69000 | #Constraints:       7851
897.53/899.82	c #Conflicts:      70000 | #Constraints:       8851
897.53/899.82	c #Conflicts:      71000 | #Constraints:       9851
897.53/899.82	c #Conflicts:      72000 | #Constraints:      10851
897.53/899.82	c INPROCESSING
897.53/899.82	c GARBAGE COLLECT
897.53/899.82	c #Conflicts:      73000 | #Constraints:       6456
897.53/899.82	c #Conflicts:      74000 | #Constraints:       7456
897.53/899.82	c #Conflicts:      75000 | #Constraints:       8456
897.53/899.82	c #Conflicts:      76000 | #Constraints:       9456
897.53/899.82	c #Conflicts:      77000 | #Constraints:      10456
897.53/899.82	c #Conflicts:      78000 | #Constraints:      11456
897.53/899.82	c INPROCESSING
897.53/899.82	c GARBAGE COLLECT
897.53/899.82	c #Conflicts:      79000 | #Constraints:       6862
897.53/899.82	c #Conflicts:      80000 | #Constraints:       7862
897.53/899.82	c #Conflicts:      81000 | #Constraints:       8862
897.53/899.82	c #Conflicts:      82000 | #Constraints:       9862
897.53/899.82	c #Conflicts:      83000 | #Constraints:      10862
897.53/899.82	c #Conflicts:      84000 | #Constraints:      11862
897.53/899.82	c INPROCESSING
897.53/899.82	c GARBAGE COLLECT
897.53/899.82	c #Conflicts:      85000 | #Constraints:       7070
897.53/899.82	c #Conflicts:      86000 | #Constraints:       8070
897.53/899.82	c #Conflicts:      87000 | #Constraints:       9070
897.53/899.82	c #Conflicts:      88000 | #Constraints:      10070
897.53/899.82	c #Conflicts:      89000 | #Constraints:      11070
897.53/899.82	c #Conflicts:      90000 | #Constraints:      12070
897.53/899.82	c INPROCESSING
897.53/899.82	c GARBAGE COLLECT
897.53/899.82	c #Conflicts:      91000 | #Constraints:       7066
897.53/899.82	c #Conflicts:      92000 | #Constraints:       8066
897.53/899.82	c #Conflicts:      93000 | #Constraints:       9066
897.53/899.82	c #Conflicts:      94000 | #Constraints:      10066
897.53/899.82	c #Conflicts:      95000 | #Constraints:      11066
897.53/899.82	c #Conflicts:      96000 | #Constraints:      12066
897.53/899.82	c INPROCESSING
897.53/899.82	c GARBAGE COLLECT
897.53/899.82	c #Conflicts:      97000 | #Constraints:       6869
897.53/899.82	c #Conflicts:      98000 | #Constraints:       7869
897.53/899.82	c #Conflicts:      99000 | #Constraints:       8869
897.53/899.82	c #Conflicts:     100000 | #Constraints:       9869
897.53/899.82	c #Conflicts:     101000 | #Constraints:      10869
897.53/899.82	c #Conflicts:     102000 | #Constraints:      11869
897.53/899.82	c #Conflicts:     103000 | #Constraints:      12869
897.53/899.82	c INPROCESSING
897.53/899.82	c GARBAGE COLLECT
897.53/899.82	c #Conflicts:     104000 | #Constraints:       7475
897.53/899.82	c #Conflicts:     105000 | #Constraints:       8475
897.53/899.82	c GLOBAL bounds - >= 28123 @ 874.208
907.71/910.02	c #Conflicts:     106000 | #Constraints:       9478
907.71/910.02	c GLOBAL bounds - >= 28123 @ 884.176
917.58/919.98	c #Conflicts:     107000 | #Constraints:      10481
917.58/919.98	c #Conflicts:     108000 | #Constraints:      11481
917.58/919.98	c GLOBAL bounds - >= 28123 @ 893.905
1586.71/1590.90	c #Conflicts:     109000 | #Constraints:      12484
1586.71/1590.90	c #Conflicts:     110000 | #Constraints:      13484
1586.71/1590.90	c INPROCESSING
1586.71/1590.90	c GARBAGE COLLECT
1586.71/1590.90	c #Conflicts:     111000 | #Constraints:       7875
1586.71/1590.90	c #Conflicts:     112000 | #Constraints:       8875
1586.71/1590.90	c #Conflicts:     113000 | #Constraints:       9875
1586.71/1590.90	c #Conflicts:     114000 | #Constraints:      10875
1586.71/1590.90	c #Conflicts:     115000 | #Constraints:      11875
1586.71/1590.90	c #Conflicts:     116000 | #Constraints:      12875
1586.71/1590.90	c #Conflicts:     117000 | #Constraints:      13875
1586.71/1590.90	c INPROCESSING
1586.71/1590.90	c GARBAGE COLLECT
1586.71/1590.90	c #Conflicts:     118000 | #Constraints:       8072
1586.71/1590.90	c #Conflicts:     119000 | #Constraints:       9072
1586.71/1590.90	c #Conflicts:     120000 | #Constraints:      10072
1586.71/1590.90	c #Conflicts:     121000 | #Constraints:      11072
1586.71/1590.90	c #Conflicts:     122000 | #Constraints:      12072
1586.71/1590.90	c #Conflicts:     123000 | #Constraints:      13072
1586.71/1590.90	c #Conflicts:     124000 | #Constraints:      14072
1586.71/1590.90	c INPROCESSING
1586.71/1590.90	c GARBAGE COLLECT
1586.71/1590.90	c #Conflicts:     125000 | #Constraints:       8079
1586.71/1590.90	c #Conflicts:     126000 | #Constraints:       9079
1586.71/1590.90	c #Conflicts:     127000 | #Constraints:      10079
1586.71/1590.90	c #Conflicts:     128000 | #Constraints:      11079
1586.71/1590.90	c #Conflicts:     129000 | #Constraints:      12079
1586.71/1590.90	c #Conflicts:     130000 | #Constraints:      13079
1586.71/1590.90	c #Conflicts:     131000 | #Constraints:      14079
1586.71/1590.90	c INPROCESSING
1586.71/1590.90	c GARBAGE COLLECT
1586.71/1590.90	c #Conflicts:     132000 | #Constraints:       7873
1586.71/1590.90	c #Conflicts:     133000 | #Constraints:       8873
1586.71/1590.90	c #Conflicts:     134000 | #Constraints:       9873
1586.71/1590.90	c #Conflicts:     135000 | #Constraints:      10873
1586.71/1590.90	c #Conflicts:     136000 | #Constraints:      11873
1586.71/1590.90	c #Conflicts:     137000 | #Constraints:      12873
1586.71/1590.90	c #Conflicts:     138000 | #Constraints:      13873
1586.71/1590.90	c #Conflicts:     139000 | #Constraints:      14873
1586.71/1590.90	c INPROCESSING
1586.71/1590.90	c GARBAGE COLLECT
1586.71/1590.90	c #Conflicts:     140000 | #Constraints:       8472
1586.71/1590.90	c #Conflicts:     141000 | #Constraints:       9472
1586.71/1590.90	c #Conflicts:     142000 | #Constraints:      10472
1586.71/1590.90	c #Conflicts:     143000 | #Constraints:      11472
1586.71/1590.90	c #Conflicts:     144000 | #Constraints:      12472
1586.71/1590.90	c #Conflicts:     145000 | #Constraints:      13472
1586.71/1590.90	c #Conflicts:     146000 | #Constraints:      14472
1586.71/1590.90	c #Conflicts:     147000 | #Constraints:      15472
1586.71/1590.90	c INPROCESSING
1586.71/1590.90	c GARBAGE COLLECT
1586.71/1590.90	c #Conflicts:     148000 | #Constraints:       8871
1586.71/1590.90	c #Conflicts:     149000 | #Constraints:       9871
1586.71/1590.90	c #Conflicts:     150000 | #Constraints:      10871
1586.71/1590.90	c #Conflicts:     151000 | #Constraints:      11871
1586.71/1590.90	c #Conflicts:     152000 | #Constraints:      12871
1586.71/1590.90	c #Conflicts:     153000 | #Constraints:      13871
1586.71/1590.90	c #Conflicts:     154000 | #Constraints:      14871
1586.71/1590.90	c #Conflicts:     155000 | #Constraints:      15871
1586.71/1590.90	c INPROCESSING
1586.71/1590.90	c GARBAGE COLLECT
1586.71/1590.90	c #Conflicts:     156000 | #Constraints:       9068
1586.71/1590.90	c #Conflicts:     157000 | #Constraints:      10068
1586.71/1590.90	c #Conflicts:     158000 | #Constraints:      11068
1586.71/1590.90	c #Conflicts:     159000 | #Constraints:      12068
1586.71/1590.90	c #Conflicts:     160000 | #Constraints:      13068
1586.71/1590.90	c #Conflicts:     161000 | #Constraints:      14068
1586.71/1590.90	c #Conflicts:     162000 | #Constraints:      15068
1586.71/1590.90	c #Conflicts:     163000 | #Constraints:      16068
1586.71/1590.90	c INPROCESSING
1586.71/1590.90	c GARBAGE COLLECT
1586.71/1590.90	c #Conflicts:     164000 | #Constraints:       9087
1586.71/1590.90	c #Conflicts:     165000 | #Constraints:      10087
1586.71/1590.90	c #Conflicts:     166000 | #Constraints:      11087
1586.71/1590.90	c #Conflicts:     167000 | #Constraints:      12087
1586.71/1590.90	c #Conflicts:     168000 | #Constraints:      13087
1586.71/1590.90	c #Conflicts:     169000 | #Constraints:      14087
1586.71/1590.90	c #Conflicts:     170000 | #Constraints:      15087
1586.71/1590.90	c #Conflicts:     171000 | #Constraints:      16087
1586.71/1590.90	c INPROCESSING
1586.71/1590.90	c GARBAGE COLLECT
1586.71/1590.90	c #Conflicts:     172000 | #Constraints:       8876
1586.71/1590.90	c #Conflicts:     173000 | #Constraints:       9876
1586.71/1590.90	c #Conflicts:     174000 | #Constraints:      10876
1586.71/1590.90	c #Conflicts:     175000 | #Constraints:      11876
1586.71/1590.90	c #Conflicts:     176000 | #Constraints:      12876
1586.71/1590.90	c #Conflicts:     177000 | #Constraints:      13876
1586.71/1590.90	c #Conflicts:     178000 | #Constraints:      14876
1586.71/1590.90	c #Conflicts:     179000 | #Constraints:      15876
1586.71/1590.90	c #Conflicts:     180000 | #Constraints:      16876
1586.71/1590.90	c INPROCESSING
1586.71/1590.90	c GARBAGE COLLECT
1586.71/1590.90	c #Conflicts:     181000 | #Constraints:       9481
2317.97/2324.02	c #Conflicts:     182000 | #Constraints:      10481
2317.97/2324.02	c #Conflicts:     183000 | #Constraints:      11481
2317.97/2324.02	c #Conflicts:     184000 | #Constraints:      12481
2317.97/2324.02	c #Conflicts:     185000 | #Constraints:      13481
2317.97/2324.02	c #Conflicts:     186000 | #Constraints:      14481
2317.97/2324.02	c #Conflicts:     187000 | #Constraints:      15481
2317.97/2324.02	c #Conflicts:     188000 | #Constraints:      16481
2317.97/2324.02	c #Conflicts:     189000 | #Constraints:      17481
2317.97/2324.02	c INPROCESSING
2317.97/2324.02	c GARBAGE COLLECT
2317.97/2324.02	c #Conflicts:     190000 | #Constraints:       9878
2317.97/2324.02	c #Conflicts:     191000 | #Constraints:      10878
2317.97/2324.02	c #Conflicts:     192000 | #Constraints:      11878
2317.97/2324.02	c #Conflicts:     193000 | #Constraints:      12878
2317.97/2324.02	c #Conflicts:     194000 | #Constraints:      13878
2317.97/2324.02	c #Conflicts:     195000 | #Constraints:      14878
2317.97/2324.02	c #Conflicts:     196000 | #Constraints:      15878
2317.97/2324.02	c #Conflicts:     197000 | #Constraints:      16878
2317.97/2324.02	c #Conflicts:     198000 | #Constraints:      17878
2317.97/2324.02	c INPROCESSING
2317.97/2324.02	c GARBAGE COLLECT
2317.97/2324.02	c #Conflicts:     199000 | #Constraints:      10082
2317.97/2324.02	c #Conflicts:     200000 | #Constraints:      11082
2317.97/2324.02	c #Conflicts:     201000 | #Constraints:      12082
2317.97/2324.02	c #Conflicts:     202000 | #Constraints:      13082
2317.97/2324.02	c #Conflicts:     203000 | #Constraints:      14082
2317.97/2324.02	c #Conflicts:     204000 | #Constraints:      15082
2317.97/2324.02	c #Conflicts:     205000 | #Constraints:      16082
2317.97/2324.02	c #Conflicts:     206000 | #Constraints:      17082
2317.97/2324.02	c #Conflicts:     207000 | #Constraints:      18082
2317.97/2324.02	c INPROCESSING
2317.97/2324.02	c GARBAGE COLLECT
2317.97/2324.02	c #Conflicts:     208000 | #Constraints:      10081
2317.97/2324.02	c #Conflicts:     209000 | #Constraints:      11081
2317.97/2324.02	c #Conflicts:     210000 | #Constraints:      12081
2317.97/2324.02	c #Conflicts:     211000 | #Constraints:      13081
2317.97/2324.02	c #Conflicts:     212000 | #Constraints:      14081
2317.97/2324.02	c #Conflicts:     213000 | #Constraints:      15081
2317.97/2324.02	c #Conflicts:     214000 | #Constraints:      16081
2317.97/2324.02	c #Conflicts:     215000 | #Constraints:      17081
2317.97/2324.02	c #Conflicts:     216000 | #Constraints:      18081
2317.97/2324.02	c INPROCESSING
2317.97/2324.02	c GARBAGE COLLECT
2317.97/2324.02	c #Conflicts:     217000 | #Constraints:       9887
2317.97/2324.02	c #Conflicts:     218000 | #Constraints:      10887
2317.97/2324.02	c #Conflicts:     219000 | #Constraints:      11887
2317.97/2324.02	c #Conflicts:     220000 | #Constraints:      12887
2317.97/2324.02	c #Conflicts:     221000 | #Constraints:      13887
2317.97/2324.02	c #Conflicts:     222000 | #Constraints:      14887
2317.97/2324.02	c #Conflicts:     223000 | #Constraints:      15887
2317.97/2324.02	c #Conflicts:     224000 | #Constraints:      16887
2317.97/2324.02	c #Conflicts:     225000 | #Constraints:      17887
2317.97/2324.02	c #Conflicts:     226000 | #Constraints:      18887
2317.97/2324.02	c INPROCESSING
2317.97/2324.02	c GARBAGE COLLECT
2317.97/2324.02	c #Conflicts:     227000 | #Constraints:      10490
2317.97/2324.02	c #Conflicts:     228000 | #Constraints:      11490
2317.97/2324.02	c #Conflicts:     229000 | #Constraints:      12490
2317.97/2324.02	c #Conflicts:     230000 | #Constraints:      13490
2317.97/2324.02	c #Conflicts:     231000 | #Constraints:      14490
2317.97/2324.02	c #Conflicts:     232000 | #Constraints:      15490
2317.97/2324.02	c #Conflicts:     233000 | #Constraints:      16490
2317.97/2324.02	c #Conflicts:     234000 | #Constraints:      17490
2317.97/2324.02	c #Conflicts:     235000 | #Constraints:      18490
2317.97/2324.02	c #Conflicts:     236000 | #Constraints:      19490
2317.97/2324.02	c INPROCESSING
2317.97/2324.02	c GARBAGE COLLECT
2317.97/2324.02	c #Conflicts:     237000 | #Constraints:      10889
2317.97/2324.02	c #Conflicts:     238000 | #Constraints:      11889
2317.97/2324.02	c #Conflicts:     239000 | #Constraints:      12889
2317.97/2324.02	c #Conflicts:     240000 | #Constraints:      13889
2317.97/2324.02	c #Conflicts:     241000 | #Constraints:      14889
2317.97/2324.02	c #Conflicts:     242000 | #Constraints:      15889
2317.97/2324.02	c #Conflicts:     243000 | #Constraints:      16889
2317.97/2324.02	c #Conflicts:     244000 | #Constraints:      17889
2317.97/2324.02	c #Conflicts:     245000 | #Constraints:      18889
2317.97/2324.02	c #Conflicts:     246000 | #Constraints:      19889
2317.97/2324.02	c INPROCESSING
2317.97/2324.02	c GARBAGE COLLECT
2317.97/2324.02	c #Conflicts:     247000 | #Constraints:      11095
2317.97/2324.02	c #Conflicts:     248000 | #Constraints:      12095
2317.97/2324.02	c #Conflicts:     249000 | #Constraints:      13095
2317.97/2324.02	c #Conflicts:     250000 | #Constraints:      14095
2317.97/2324.02	c #Conflicts:     251000 | #Constraints:      15095
2317.97/2324.02	c #Conflicts:     252000 | #Constraints:      16095
2317.97/2324.02	c #Conflicts:     253000 | #Constraints:      17095
2317.97/2324.02	c #Conflicts:     254000 | #Constraints:      18095
2317.97/2324.02	c #Conflicts:     255000 | #Constraints:      19095
2485.94/2492.49	c #Conflicts:     256000 | #Constraints:      20095
2485.94/2492.49	c INPROCESSING
2485.94/2492.49	c GARBAGE COLLECT
2485.94/2492.49	c #Conflicts:     257000 | #Constraints:      11099
2485.94/2492.49	c #Conflicts:     258000 | #Constraints:      12099
2485.94/2492.49	c #Conflicts:     259000 | #Constraints:      13099
2485.94/2492.49	c #Conflicts:     260000 | #Constraints:      14099
2485.94/2492.49	c #Conflicts:     261000 | #Constraints:      15099
2485.94/2492.49	c #Conflicts:     262000 | #Constraints:      16099
2485.94/2492.49	c #Conflicts:     263000 | #Constraints:      17099
2485.94/2492.49	c #Conflicts:     264000 | #Constraints:      18099
2485.94/2492.49	c #Conflicts:     265000 | #Constraints:      19099
2485.94/2492.49	c #Conflicts:     266000 | #Constraints:      20099
2485.94/2492.49	c INPROCESSING
2485.94/2492.49	c GARBAGE COLLECT
2485.94/2492.49	c #Conflicts:     267000 | #Constraints:      10896
2485.94/2492.49	c #Conflicts:     268000 | #Constraints:      11896
2485.94/2492.49	c #Conflicts:     269000 | #Constraints:      12896
2485.94/2492.49	c #Conflicts:     270000 | #Constraints:      13896
2485.94/2492.49	c GLOBAL bounds - >= 33942 @ 2430.12
2486.05/2492.54	c GLOBAL bounds - >= 33942 @ 2430.16
2486.05/2492.56	c GLOBAL bounds - >= 33942 @ 2430.17
2486.05/2492.57	c GLOBAL bounds - >= 33942 @ 2430.17
2486.05/2492.58	c GLOBAL bounds - >= 33942 @ 2430.18
2486.05/2492.59	c GLOBAL bounds - >= 33942 @ 2430.18
2486.14/2492.61	c GLOBAL bounds - >= 33942 @ 2430.19
2495.72/2502.28	c #Conflicts:     271000 | #Constraints:      14901
2495.72/2502.28	c GLOBAL bounds - >= 33942 @ 2439.61
2495.72/2502.29	c GLOBAL bounds - >= 33942 @ 2439.62
2496.42/2502.95	c #Conflicts:     272000 | #Constraints:      15905
2496.42/2502.95	c GLOBAL bounds - >= 33942 @ 2440.23
2496.42/2502.96	c GLOBAL bounds - >= 33942 @ 2440.24
2496.42/2503.00	c GLOBAL bounds - >= 33942 @ 2440.26
2496.53/2503.01	c GLOBAL bounds - >= 33942 @ 2440.27
2496.53/2503.05	c GLOBAL bounds - >= 33942 @ 2440.3
2496.53/2503.06	c GLOBAL bounds - >= 33942 @ 2440.3
2496.53/2503.10	c GLOBAL bounds - >= 33942 @ 2440.32
2496.63/2503.11	c GLOBAL bounds - >= 33942 @ 2440.33
2496.63/2503.15	c GLOBAL bounds - >= 33942 @ 2440.36
2496.63/2503.16	c GLOBAL bounds - >= 33942 @ 2440.37
2496.72/2503.20	c GLOBAL bounds - >= 33942 @ 2440.39
2496.72/2503.22	c GLOBAL bounds - >= 33942 @ 2440.4
2496.72/2503.25	c GLOBAL bounds - >= 33942 @ 2440.42
2496.72/2503.27	c GLOBAL bounds - >= 33942 @ 2440.43
2496.82/2503.30	c GLOBAL bounds - >= 33942 @ 2440.45
2496.82/2503.32	c GLOBAL bounds - >= 33942 @ 2440.46
2496.82/2503.35	c GLOBAL bounds - >= 33942 @ 2440.48
2497.22/2503.79	c GLOBAL bounds - >= 33942 @ 2440.89
2497.53/2504.03	c GLOBAL bounds - >= 33942 @ 2441.12
2515.48/2522.02	c #Conflicts:     273000 | #Constraints:      16943
2515.48/2522.02	c #Conflicts:     274000 | #Constraints:      17943
2515.48/2522.02	c GLOBAL bounds - >= 33942 @ 2458.64
2523.56/2530.18	c #Conflicts:     275000 | #Constraints:      18946
2523.56/2530.18	c GLOBAL bounds - >= 33942 @ 2466.52
2524.06/2530.66	c GLOBAL bounds - >= 33942 @ 2466.95
2524.66/2531.25	c GLOBAL bounds - >= 33942 @ 2467.49
2529.83/2536.44	c #Conflicts:     276000 | #Constraints:      19955
2529.83/2536.44	c GLOBAL bounds - >= 33942 @ 2472.47
2536.02/2542.65	c #Conflicts:     277000 | #Constraints:      20958
2536.02/2542.65	c INPROCESSING
2536.02/2542.65	c GARBAGE COLLECT
2536.02/2542.65	c GLOBAL bounds - >= 33942 @ 2478.38
2539.22/2545.88	c GLOBAL bounds - >= 33942 @ 2481.47
2549.50/2556.14	c #Conflicts:     278000 | #Constraints:      11529
2549.50/2556.14	c #Conflicts:     279000 | #Constraints:      12529
2549.50/2556.14	c GLOBAL bounds - >= 33942 @ 2491.31
0.00/3020.60	HOME/run-opt-log.sh: line 2: 56838 File size limit exceeded(core dumped) ./roundingsat "$1" --lp-maxconstr=1000000 --opt-mode=ihs --reified-ub=1 --proof-log="$2"

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62713 MiB free)
  memory of node 1: 64465 MiB (63550 MiB free)
  node distances:
     10  21
     21  10

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

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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=56836, runsolver pid=56818

[startup+0.100058 s]*
/proc/loadavg: 1.84 3.47 3.88 5/270 56838
/proc/meminfo: memFree=129249436/131249988 swapFree=33010684/33010684
[pid=56836] ppid=56818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56836/stat : 56836 (run-opt-log.sh) S 56818 56836 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097749 4292608 768 18446744073709551615 93966131941376 93966132835909 140727128270368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93966133074960 93966133122704 93966141657088 140727128275233 140727128275428 140727128275428 140727128281030 0
/proc/56836/statm: 1048 768 704 219 0 110 0
[pid=56838] ppid=56836 vsize=62728 memory=18052 CPUtime=0.07 cores=1,3
/proc/56838/stat : 56838 (roundingsat) R 56836 56836 56765 0 -1 4194304 2757 0 0 0 6 1 0 0 20 0 1 0 55097750 64233472 4513 18446744073709551615 4227072 8923433 140729946601088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22007808 140729946610002 140729946610216 140729946610216 140729946615786 0
/proc/56838/statm: 15682 4513 1984 1147 0 3109 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 66920 KiB
Current children cumulated memory: 21124 KiB

[startup+0.205139 s]*
/proc/loadavg: 1.84 3.47 3.88 5/270 56838
/proc/meminfo: memFree=129184852/131249988 swapFree=33010684/33010684
[pid=56836] ppid=56818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56836/stat : 56836 (run-opt-log.sh) S 56818 56836 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097749 4292608 768 18446744073709551615 93966131941376 93966132835909 140727128270368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93966133074960 93966133122704 93966141657088 140727128275233 140727128275428 140727128275428 140727128281030 0
/proc/56836/statm: 1048 768 704 219 0 110 0
[pid=56838] ppid=56836 vsize=78916 memory=36548 CPUtime=0.17 cores=1,3
/proc/56838/stat : 56838 (roundingsat) R 56836 56836 56765 0 -1 4194304 6678 0 0 0 13 4 0 0 20 0 1 0 55097750 80809984 9137 18446744073709551615 4227072 8923433 140729946601088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22007808 140729946610002 140729946610216 140729946610216 140729946615786 0
/proc/56838/statm: 19729 9137 2272 1147 0 7156 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 83108 KiB
Current children cumulated memory: 39620 KiB

[startup+0.3056 s]*
/proc/loadavg: 1.84 3.47 3.88 5/270 56838
/proc/meminfo: memFree=129112092/131249988 swapFree=33010684/33010684
[pid=56836] ppid=56818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56836/stat : 56836 (run-opt-log.sh) S 56818 56836 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097749 4292608 768 18446744073709551615 93966131941376 93966132835909 140727128270368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93966133074960 93966133122704 93966141657088 140727128275233 140727128275428 140727128275428 140727128281030 0
/proc/56836/statm: 1048 768 704 219 0 110 0
[pid=56838] ppid=56836 vsize=117308 memory=68376 CPUtime=0.27 cores=1,3
/proc/56838/stat : 56838 (roundingsat) R 56836 56836 56765 0 -1 4194304 9704 0 0 0 22 5 0 0 20 0 1 0 55097750 120123392 17094 18446744073709551615 4227072 8923433 140729946601088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22007808 140729946610002 140729946610216 140729946610216 140729946615786 0
/proc/56838/statm: 29327 17094 2336 1147 0 16754 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 121500 KiB
Current children cumulated memory: 71448 KiB

[startup+0.700171 s]
/proc/loadavg: 1.84 3.47 3.88 5/270 56838
/proc/meminfo: memFree=129053636/131249988 swapFree=33010684/33010684
[pid=56836] ppid=56818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56836/stat : 56836 (run-opt-log.sh) S 56818 56836 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097749 4292608 768 18446744073709551615 93966131941376 93966132835909 140727128270368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93966133074960 93966133122704 93966141657088 140727128275233 140727128275428 140727128275428 140727128281030 0
/proc/56836/statm: 1048 768 704 219 0 110 0
[pid=56838] ppid=56836 vsize=159360 memory=104648 CPUtime=0.66 cores=1,3
/proc/56838/stat : 56838 (roundingsat) R 56836 56836 56765 0 -1 4194304 17717 0 0 0 53 13 0 0 20 0 1 0 55097750 163184640 26162 18446744073709551615 4227072 8923433 140729946601088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22007808 140729946610002 140729946610216 140729946610216 140729946615786 0
/proc/56838/statm: 39840 26162 2368 1147 0 27267 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 163552 KiB
Current children cumulated memory: 107720 KiB

[startup+1.50016 s]
/proc/loadavg: 1.84 3.47 3.88 5/270 56838
/proc/meminfo: memFree=128997188/131249988 swapFree=33010684/33010684
[pid=56836] ppid=56818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56836/stat : 56836 (run-opt-log.sh) S 56818 56836 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097749 4292608 768 18446744073709551615 93966131941376 93966132835909 140727128270368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93966133074960 93966133122704 93966141657088 140727128275233 140727128275428 140727128275428 140727128281030 0
/proc/56836/statm: 1048 768 704 219 0 110 0
[pid=56838] ppid=56836 vsize=164620 memory=114076 CPUtime=1.46 cores=1,3
/proc/56838/stat : 56838 (roundingsat) R 56836 56836 56765 0 -1 4194304 19565 0 0 0 105 41 0 0 20 0 1 0 55097750 168570880 28519 18446744073709551615 4227072 8923433 140729946601088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22007808 140729946610002 140729946610216 140729946610216 140729946615786 0
/proc/56838/statm: 41155 28519 2368 1147 0 28582 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 168812 KiB
Current children cumulated memory: 117148 KiB

[startup+3.10494 s]
/proc/loadavg: 2.02 3.48 3.88 5/270 56838
/proc/meminfo: memFree=128735792/131249988 swapFree=33010684/33010684
[pid=56836] ppid=56818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56836/stat : 56836 (run-opt-log.sh) S 56818 56836 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097749 4292608 768 18446744073709551615 93966131941376 93966132835909 140727128270368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93966133074960 93966133122704 93966141657088 140727128275233 140727128275428 140727128275428 140727128281030 0
/proc/56836/statm: 1048 768 704 219 0 110 0
[pid=56838] ppid=56836 vsize=191304 memory=137656 CPUtime=3.06 cores=1,3
/proc/56838/stat : 56838 (roundingsat) R 56836 56836 56765 0 -1 4194304 23153 0 0 0 233 73 0 0 20 0 1 0 55097750 195895296 34414 18446744073709551615 4227072 8923433 140729946601088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22007808 140729946610002 140729946610216 140729946610216 140729946615786 0
/proc/56838/statm: 47826 34414 2400 1147 0 35253 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 195496 KiB
Current children cumulated memory: 140728 KiB

[startup+6.30014 s]
/proc/loadavg: 2.02 3.48 3.88 5/271 56839
/proc/meminfo: memFree=128357716/131249988 swapFree=33010684/33010684
[pid=56836] ppid=56818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56836/stat : 56836 (run-opt-log.sh) S 56818 56836 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097749 4292608 768 18446744073709551615 93966131941376 93966132835909 140727128270368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93966133074960 93966133122704 93966141657088 140727128275233 140727128275428 140727128275428 140727128281030 0
/proc/56836/statm: 1048 768 704 219 0 110 0
[pid=56838] ppid=56836 vsize=222720 memory=171976 CPUtime=6.25 cores=1,3
/proc/56838/stat : 56838 (roundingsat) R 56836 56836 56765 0 -1 4194304 26653 0 0 0 533 92 0 0 20 0 1 0 55097750 228065280 42994 18446744073709551615 4227072 8923433 140729946601088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22007808 140729946610002 140729946610216 140729946610216 140729946615786 0
/proc/56838/statm: 55680 42994 2400 1147 0 43107 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 226912 KiB
Current children cumulated memory: 175048 KiB

[startup+12.7001 s]
/proc/loadavg: 2.17 3.49 3.88 5/273 56841
/proc/meminfo: memFree=127564800/131249988 swapFree=33010684/33010684
[pid=56836] ppid=56818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56836/stat : 56836 (run-opt-log.sh) S 56818 56836 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097749 4292608 768 18446744073709551615 93966131941376 93966132835909 140727128270368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93966133074960 93966133122704 93966141657088 140727128275233 140727128275428 140727128275428 140727128281030 0
/proc/56836/statm: 1048 768 704 219 0 110 0
[pid=56838] ppid=56836 vsize=286536 memory=218976 CPUtime=12.62 cores=1,3
/proc/56838/stat : 56838 (roundingsat) R 56836 56836 56765 0 -1 4194304 35382 0 0 0 1141 121 0 0 20 0 1 0 55097750 293412864 54744 18446744073709551615 4227072 8923433 140729946601088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22007808 140729946610002 140729946610216 140729946610216 140729946615786 0
/proc/56838/statm: 71634 54744 2400 1147 0 59061 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 290728 KiB
Current children cumulated memory: 222048 KiB

[startup+25.5002 s]
/proc/loadavg: 2.58 3.52 3.88 5/273 56841
/proc/meminfo: memFree=125927792/131249988 swapFree=33010684/33010684
[pid=56836] ppid=56818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56836/stat : 56836 (run-opt-log.sh) S 56818 56836 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097749 4292608 768 18446744073709551615 93966131941376 93966132835909 140727128270368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93966133074960 93966133122704 93966141657088 140727128275233 140727128275428 140727128275428 140727128281030 0
/proc/56836/statm: 1048 768 704 219 0 110 0
[pid=56838] ppid=56836 vsize=355300 memory=289392 CPUtime=25.39 cores=1,3
/proc/56838/stat : 56838 (roundingsat) R 56836 56836 56765 0 -1 4194304 49921 0 0 0 2369 170 0 0 20 0 1 0 55097750 363827200 72348 18446744073709551615 4227072 8923433 140729946601088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22007808 140729946610002 140729946610216 140729946610216 140729946615786 0
/proc/56838/statm: 88825 72348 2400 1147 0 76252 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 359492 KiB
Current children cumulated memory: 292464 KiB

[startup+51.105 s]
/proc/loadavg: 3.12 3.57 3.89 5/275 56844
/proc/meminfo: memFree=122921148/131249988 swapFree=33010684/33010684
[pid=56836] ppid=56818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56836/stat : 56836 (run-opt-log.sh) S 56818 56836 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097749 4292608 768 18446744073709551615 93966131941376 93966132835909 140727128270368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93966133074960 93966133122704 93966141657088 140727128275233 140727128275428 140727128275428 140727128281030 0
/proc/56836/statm: 1048 768 704 219 0 110 0
[pid=56838] ppid=56836 vsize=396444 memory=332256 CPUtime=50.93 cores=1,3
/proc/56838/stat : 56838 (roundingsat) R 56836 56836 56765 0 -1 4194304 55518 0 0 0 4839 254 0 0 20 0 1 0 55097750 405958656 83064 18446744073709551615 4227072 8923433 140729946601088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22007808 140729946610002 140729946610216 140729946610216 140729946615786 0
/proc/56838/statm: 99111 83064 2400 1147 0 86538 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 400636 KiB
Current children cumulated memory: 335328 KiB

[startup+102.3 s]
/proc/loadavg: 3.67 3.65 3.91 5/273 56846
/proc/meminfo: memFree=117006268/131249988 swapFree=33010684/33010684
[pid=56836] ppid=56818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56836/stat : 56836 (run-opt-log.sh) S 56818 56836 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097749 4292608 768 18446744073709551615 93966131941376 93966132835909 140727128270368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93966133074960 93966133122704 93966141657088 140727128275233 140727128275428 140727128275428 140727128281030 0
/proc/56836/statm: 1048 768 704 219 0 110 0
[pid=56838] ppid=56836 vsize=396592 memory=337120 CPUtime=101.98 cores=1,3
/proc/56838/stat : 56838 (roundingsat) R 56836 56836 56765 0 -1 4194304 55578 0 0 0 9784 414 0 0 20 0 1 0 55097750 406110208 84280 18446744073709551615 4227072 8923433 140729946601088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22007808 140729946610002 140729946610216 140729946610216 140729946615786 0
/proc/56838/statm: 99148 84280 2400 1147 0 86575 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 400784 KiB
Current children cumulated memory: 340192 KiB

[startup+162.3 s]
/proc/loadavg: 3.96 3.74 3.92 5/274 56851
/proc/meminfo: memFree=110366088/131249988 swapFree=33010684/33010684
[pid=56836] ppid=56818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56836/stat : 56836 (run-opt-log.sh) S 56818 56836 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097749 4292608 768 18446744073709551615 93966131941376 93966132835909 140727128270368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93966133074960 93966133122704 93966141657088 140727128275233 140727128275428 140727128275428 140727128281030 0
/proc/56836/statm: 1048 768 704 219 0 110 0
[pid=56838] ppid=56836 vsize=590312 memory=463372 CPUtime=161.84 cores=1,3
/proc/56838/stat : 56838 (roundingsat) R 56836 56836 56765 0 -1 4194304 82122 0 0 0 15572 612 0 0 20 0 1 0 55097750 604479488 115843 18446744073709551615 4227072 8923433 140729946601088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22007808 140729946610002 140729946610216 140729946610216 140729946615786 0
/proc/56838/statm: 147578 115843 2400 1147 0 135005 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 594504 KiB
Current children cumulated memory: 466444 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 3.80 3.93 5/274 56852
/proc/meminfo: memFree=103895532/131249988 swapFree=33010684/33010684
[pid=56836] ppid=56818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56836/stat : 56836 (run-opt-log.sh) S 56818 56836 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097749 4292608 768 18446744073709551615 93966131941376 93966132835909 140727128270368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93966133074960 93966133122704 93966141657088 140727128275233 140727128275428 140727128275428 140727128281030 0
/proc/56836/statm: 1048 768 704 219 0 110 0
[pid=56838] ppid=56836 vsize=611176 memory=536100 CPUtime=221.68 cores=1,3
/proc/56838/stat : 56838 (roundingsat) R 56836 56836 56765 0 -1 4194304 92451 0 0 0 21387 781 0 0 20 0 1 0 55097750 625844224 134025 18446744073709551615 4227072 8923433 140729946601088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22007808 140729946610002 140729946610216 140729946610216 140729946615786 0
/proc/56838/statm: 152794 134025 2400 1147 0 140221 0

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

/proc/meminfo: memFree=1365372/131249988 swapFree=33010672/33010684
[pid=56836] ppid=56818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56836/stat : 56836 (run-opt-log.sh) S 56818 56836 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097749 4292608 768 18446744073709551615 93966131941376 93966132835909 140727128270368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93966133074960 93966133122704 93966141657088 140727128275233 140727128275428 140727128275428 140727128281030 0
/proc/56836/statm: 1048 768 704 219 0 110 0
[pid=56838] ppid=56836 vsize=1969492 memory=1628936 CPUtime=2735.23 cores=1,3
/proc/56838/stat : 56838 (roundingsat) R 56836 56836 56765 0 -1 4194304 588686 0 0 0 267173 6350 0 0 20 0 1 0 55097750 2016759808 407234 18446744073709551615 4227072 8923433 140729946601088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22007808 140729946610002 140729946610216 140729946610216 140729946615786 0
/proc/56838/statm: 492373 407234 2400 1147 0 479800 0
Current children cumulated CPU time: 2735.23 s
Current children cumulated vsize: 1973684 KiB
Current children cumulated memory: 1632008 KiB

[startup+2802.3 s]
/proc/loadavg: 4.17 4.20 4.18 6/273 57000
/proc/meminfo: memFree=1220700/131249988 swapFree=33010672/33010684
[pid=56836] ppid=56818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56836/stat : 56836 (run-opt-log.sh) S 56818 56836 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097749 4292608 768 18446744073709551615 93966131941376 93966132835909 140727128270368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93966133074960 93966133122704 93966141657088 140727128275233 140727128275428 140727128275428 140727128281030 0
/proc/56836/statm: 1048 768 704 219 0 110 0
[pid=56838] ppid=56836 vsize=1969492 memory=1628936 CPUtime=2795.07 cores=1,3
/proc/56838/stat : 56838 (roundingsat) R 56836 56836 56765 0 -1 4194304 588686 0 0 0 273010 6497 0 0 20 0 1 0 55097750 2016759808 407234 18446744073709551615 4227072 8923433 140729946601088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22007808 140729946610002 140729946610216 140729946610216 140729946615786 0
/proc/56838/statm: 492373 407234 2400 1147 0 479800 0
Current children cumulated CPU time: 2795.07 s
Current children cumulated vsize: 1973684 KiB
Current children cumulated memory: 1632008 KiB

[startup+2862.3 s]
/proc/loadavg: 4.14 4.19 4.18 5/276 57009
/proc/meminfo: memFree=1347376/131249988 swapFree=33010672/33010684
[pid=56836] ppid=56818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56836/stat : 56836 (run-opt-log.sh) S 56818 56836 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097749 4292608 768 18446744073709551615 93966131941376 93966132835909 140727128270368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93966133074960 93966133122704 93966141657088 140727128275233 140727128275428 140727128275428 140727128281030 0
/proc/56836/statm: 1048 768 704 219 0 110 0
[pid=56838] ppid=56836 vsize=2067812 memory=1766032 CPUtime=2854.92 cores=1,3
/proc/56838/stat : 56838 (roundingsat) R 56836 56836 56765 0 -1 4194304 611724 0 0 0 278851 6641 0 0 20 0 1 0 55097750 2117439488 441508 18446744073709551615 4227072 8923433 140729946601088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22007808 140729946610002 140729946610216 140729946610216 140729946615786 0
/proc/56838/statm: 516953 441508 2400 1147 0 504380 0
Current children cumulated CPU time: 2854.92 s
Current children cumulated vsize: 2072004 KiB
Current children cumulated memory: 1769104 KiB

[startup+2922.3 s]
/proc/loadavg: 4.16 4.18 4.18 5/276 57011
/proc/meminfo: memFree=1529556/131249988 swapFree=33010672/33010684
[pid=56836] ppid=56818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56836/stat : 56836 (run-opt-log.sh) S 56818 56836 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097749 4292608 768 18446744073709551615 93966131941376 93966132835909 140727128270368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93966133074960 93966133122704 93966141657088 140727128275233 140727128275428 140727128275428 140727128281030 0
/proc/56836/statm: 1048 768 704 219 0 110 0
[pid=56838] ppid=56836 vsize=2067812 memory=1766032 CPUtime=2914.77 cores=1,3
/proc/56838/stat : 56838 (roundingsat) R 56836 56836 56765 0 -1 4194304 624837 0 0 0 284703 6774 0 0 20 0 1 0 55097750 2117439488 441508 18446744073709551615 4227072 8923433 140729946601088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22007808 140729946610002 140729946610216 140729946610216 140729946615786 0
/proc/56838/statm: 516953 441508 2400 1147 0 504380 0
Current children cumulated CPU time: 2914.77 s
Current children cumulated vsize: 2072004 KiB
Current children cumulated memory: 1769104 KiB

[startup+2982.3 s]
/proc/loadavg: 4.06 4.15 4.17 5/276 57013
/proc/meminfo: memFree=1234736/131249988 swapFree=33010672/33010684
[pid=56836] ppid=56818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56836/stat : 56836 (run-opt-log.sh) S 56818 56836 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097749 4292608 768 18446744073709551615 93966131941376 93966132835909 140727128270368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93966133074960 93966133122704 93966141657088 140727128275233 140727128275428 140727128275428 140727128281030 0
/proc/56836/statm: 1048 768 704 219 0 110 0
[pid=56838] ppid=56836 vsize=2067812 memory=1766032 CPUtime=2974.61 cores=1,3
/proc/56838/stat : 56838 (roundingsat) R 56836 56836 56765 0 -1 4194304 701103 0 0 0 290521 6940 0 0 20 0 1 0 55097750 2117439488 441508 18446744073709551615 4227072 8923433 140729946601088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22007808 140729946610002 140729946610216 140729946610216 140729946615786 0
/proc/56838/statm: 516953 441508 2400 1147 0 504380 0
Current children cumulated CPU time: 2974.61 s
Current children cumulated vsize: 2072004 KiB
Current children cumulated memory: 1769104 KiB

[startup+3020.61 s]
# the end of solver process 56836 was just reported to runsolver
# Child status: 153

# cumulated CPU time of all completed processes:  user=2926.75 s, system=71.9503 s

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

[startup+2995.2 s]
/proc/loadavg: 4.12 4.16 4.17 5/276 57014
/proc/meminfo: memFree=1355076/131249988 swapFree=33010672/33010684
[pid=56836] ppid=56818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56836/stat : 56836 (run-opt-log.sh) S 56818 56836 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097749 4292608 768 18446744073709551615 93966131941376 93966132835909 140727128270368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93966133074960 93966133122704 93966141657088 140727128275233 140727128275428 140727128275428 140727128281030 0
/proc/56836/statm: 1048 768 704 219 0 110 0
[pid=56838] ppid=56836 vsize=2067812 memory=1766032 CPUtime=2987.48 cores=1,3
/proc/56838/stat : 56838 (roundingsat) R 56836 56836 56765 0 -1 4194304 704794 0 0 0 291781 6967 0 0 20 0 1 0 55097750 2117439488 441508 18446744073709551615 4227072 8923433 140729946601088 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22007808 140729946610002 140729946610216 140729946610216 140729946615786 0
/proc/56838/statm: 516953 441508 2400 1147 0 504380 0
Current children cumulated CPU time: 2987.48 s
Current children cumulated vsize: 2072004 KiB
Current children cumulated memory: 1769104 KiB

[startup+3008 s]*
/proc/loadavg: 4.10 4.15 4.17 6/277 57018
/proc/meminfo: memFree=1280796/131249988 swapFree=33010672/33010684
[pid=56836] ppid=56818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56836/stat : 56836 (run-opt-log.sh) S 56818 56836 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097749 4292608 768 18446744073709551615 93966131941376 93966132835909 140727128270368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93966133074960 93966133122704 93966141657088 140727128275233 140727128275428 140727128275428 140727128281030 0
/proc/56836/statm: 1048 768 704 219 0 110 0
[pid=56838] ppid=56836 vsize=2067812 memory=1766032 CPUtime=2997.45 cores=1,3
/proc/56838/stat : 56838 (roundingsat) S 56836 56836 56765 0 -1 4195840 705143 0 0 0 292674 7071 0 0 20 0 1 0 55097750 2117439488 441508 18446744073709551615 4227072 8923433 140729946601088 140729946596584 140440964708183 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 22007808 140729946610002 140729946610216 140729946610216 140729946615786 25
/proc/56838/statm: 516953 441508 2400 1147 0 504380 0
Current children cumulated CPU time: 2997.45 s
Current children cumulated vsize: 2072004 KiB
Current children cumulated memory: 1769104 KiB

[startup+3014.4 s]
/proc/loadavg: 4.48 4.23 4.19 4/278 57024
/proc/meminfo: memFree=3878924/131249988 swapFree=33010672/33010684
[pid=56836] ppid=56818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56836/stat : 56836 (run-opt-log.sh) S 56818 56836 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097749 4292608 768 18446744073709551615 93966131941376 93966132835909 140727128270368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93966133074960 93966133122704 93966141657088 140727128275233 140727128275428 140727128275428 140727128281030 0
/proc/56836/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+3017.6 s]
/proc/loadavg: 4.48 4.23 4.19 5/277 57024
/proc/meminfo: memFree=3737020/131249988 swapFree=33010672/33010684
[pid=56836] ppid=56818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56836/stat : 56836 (run-opt-log.sh) S 56818 56836 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097749 4292608 768 18446744073709551615 93966131941376 93966132835909 140727128270368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93966133074960 93966133122704 93966141657088 140727128275233 140727128275428 140727128275428 140727128281030 0
/proc/56836/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+3019.2 s]
/proc/loadavg: 4.44 4.22 4.19 4/277 57024
/proc/meminfo: memFree=3633584/131249988 swapFree=33010672/33010684
[pid=56836] ppid=56818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56836/stat : 56836 (run-opt-log.sh) S 56818 56836 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097749 4292608 768 18446744073709551615 93966131941376 93966132835909 140727128270368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93966133074960 93966133122704 93966141657088 140727128275233 140727128275428 140727128275428 140727128281030 0
/proc/56836/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+3020.01 s]*
/proc/loadavg: 4.44 4.22 4.19 5/277 57024
/proc/meminfo: memFree=3571136/131249988 swapFree=33010672/33010684
[pid=56836] ppid=56818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56836/stat : 56836 (run-opt-log.sh) S 56818 56836 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097749 4292608 768 18446744073709551615 93966131941376 93966132835909 140727128270368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93966133074960 93966133122704 93966141657088 140727128275233 140727128275428 140727128275428 140727128281030 0
/proc/56836/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+3020.4 s]
/proc/loadavg: 4.44 4.22 4.19 5/277 57024
/proc/meminfo: memFree=3571136/131249988 swapFree=33010672/33010684
[pid=56836] ppid=56818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56836/stat : 56836 (run-opt-log.sh) S 56818 56836 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097749 4292608 768 18446744073709551615 93966131941376 93966132835909 140727128270368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93966133074960 93966133122704 93966141657088 140727128275233 140727128275428 140727128275428 140727128281030 0
/proc/56836/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+3020.6 s]
/proc/loadavg: 4.44 4.22 4.19 5/277 57024
/proc/meminfo: memFree=3571136/131249988 swapFree=33010672/33010684
[pid=56836] ppid=56818 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56836/stat : 56836 (run-opt-log.sh) S 56818 56836 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097749 4292608 768 18446744073709551615 93966131941376 93966132835909 140727128270368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93966133074960 93966133122704 93966141657088 140727128275233 140727128275428 140727128275428 140727128281030 0
/proc/56836/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

Child status: 153

Real time (s): 3020.61
CPU time (s): 2998.7
CPU user time (s): 2926.75
CPU system time (s): 71.9503
CPU usage (%): 99.2748
Max. virtual memory (cumulated for all children) (KiB): 2072004
Max. memory (cumulated for all children) (KiB): 1769104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2926.75
system time used= 71.9503
maximum resident set size= 1766032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 705363
page faults= 0
swaps= 0
block input operations= 0
block output operations= 204800000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 199412
involuntary context switches= 7041


# summary of solver processes directly reported to runsolver:
#   pid: 56836
#   total CPU time (s): 2998.7
#   total CPU user time (s): 2926.75
#   total CPU system time (s): 71.9503

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.86018 second user time and 13.0552 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-07-01 20:23:22
IDJOB=4496779
IDBENCH=148146
IDSOLVER=3351
FILE ID=nodeC020/4496779-1751394202
RUNJOBID= nodeC020-1751394202-56777
SLURM_JOB_ID= 9598261
Free space on /tmp= 432948 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir10_trarea_ac.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496779-1751394202/watcher-4496779-1751394202 -o /tmp/evaluation-result-4496779-1751394202/solver-4496779-1751394202 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751394202-56777 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4496779-1751394202.opb PROOFDIR/proof-4496779-1751394202

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

MD5SUM BENCH= 743a21341a4102c561f444f57f0a4e7a
RANDOM SEED=912983212

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        129298808 kB
MemAvailable:   129780152 kB
Buffers:            3280 kB
Cached:          1285232 kB
SwapCached:            0 kB
Active:           388192 kB
Inactive:         976180 kB
Active(anon):      93916 kB
Inactive(anon):        0 kB
Active(file):     294276 kB
Inactive(file):   976180 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             31428 kB
Writeback:             0 kB
AnonPages:         78868 kB
Mapped:           102996 kB
Shmem:             18056 kB
KReclaimable:     100256 kB
Slab:             188640 kB
SReclaimable:     100256 kB
SUnreclaim:        88384 kB
KernelStack:        4056 kB
PageTables:         2720 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     341208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432784 MiB
End job on nodeC020 at 2025-07-01 21:13:43