Trace number 4457143

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 log (1)? (TO) 3602.36 3611.22

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_0null10mast_rapportOE1.0_TMAX15_K192_cod1.opb
MD5SUMa5274e1c72a2d92e948354f429ab410b
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 benchmark-12494
Best CPU time to get the best result obtained on this benchmark1514.15
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables399113
Total number of constraints400980
Number of constraints which are clauses399002
Number of constraints which are cardinality constraints (but not clauses)1977
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint397089
Number of terms in the objective function 340553
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 185655820
Number of bits of the sum of numbers in the objective function 28
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 185655820
Number of bits of the biggest sum of numbers28
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 
2.19/2.20	c #variables 399113 #constraints 400980
42.47/42.67	c bounds - >= -185655820 @ 1.82121
42.47/42.67	c bounds 0 >= -185655820 @ 28.9186
42.47/42.67	c bounds 0 >= -185654820 @ 29.0336
42.47/42.67	c bounds 0 >= -184691403 @ 29.1154
42.47/42.67	c bounds 0 >= -184690403 @ 29.2095
42.47/42.67	c bounds 0 >= -184086447 @ 29.2951
42.47/42.67	c bounds 0 >= -184085447 @ 29.3874
42.47/42.67	c bounds 0 >= -183137979 @ 29.4727
42.47/42.67	c bounds 0 >= -183136979 @ 29.5642
42.47/42.67	c bounds 0 >= -182578878 @ 29.6519
42.47/42.67	c bounds 0 >= -182577878 @ 29.7441
42.47/42.67	c bounds 0 >= -181773345 @ 29.831
42.47/42.67	c bounds 0 >= -181588345 @ 29.9394
42.47/42.67	c bounds 0 >= -181587345 @ 30.0473
42.47/42.67	c bounds 0 >= -181586345 @ 30.1546
42.47/42.67	c bounds 0 >= -181585345 @ 30.265
42.47/42.67	c bounds 0 >= -181584345 @ 30.3722
42.47/42.67	c bounds 0 >= -181399345 @ 30.4825
42.47/42.67	c bounds 0 >= -181398345 @ 30.597
42.47/42.67	c bounds 0 >= -181106374 @ 30.7017
42.47/42.67	c bounds 0 >= -181105374 @ 30.791
42.47/42.67	c bounds 0 >= -180572098 @ 30.8994
42.47/42.67	c bounds 0 >= -180571098 @ 31.0101
42.47/42.67	c bounds 0 >= -180409304 @ 31.1163
42.47/42.67	c bounds 0 >= -180408304 @ 31.225
42.47/42.67	c bounds 0 >= -180284581 @ 31.3314
42.47/42.67	c bounds 0 >= -180103581 @ 31.4389
42.47/42.67	c bounds 0 >= -180102581 @ 31.5458
42.47/42.67	c bounds 0 >= -180101581 @ 31.6526
42.47/42.67	c bounds 0 >= -180100581 @ 31.758
42.47/42.67	c bounds 0 >= -179919581 @ 31.8653
42.47/42.67	c bounds 0 >= -179736581 @ 31.9739
42.47/42.67	c bounds 0 >= -179553581 @ 32.0823
42.47/42.67	c bounds 0 >= -179370581 @ 32.1895
42.47/42.67	c bounds 0 >= -179187581 @ 32.3002
42.47/42.67	c bounds 0 >= -179004581 @ 32.4094
42.47/42.67	c bounds 0 >= -178821581 @ 32.5158
42.47/42.67	c bounds 0 >= -178637581 @ 32.6239
42.47/42.67	c bounds 0 >= -178453581 @ 32.7314
42.47/42.67	c bounds 0 >= -178269581 @ 32.837
42.47/42.67	c bounds 0 >= -178084581 @ 32.9493
42.47/42.67	c bounds 0 >= -177899581 @ 33.0591
42.47/42.67	c bounds 0 >= -177898581 @ 33.169
42.47/42.67	c bounds 0 >= -177711581 @ 33.2766
42.47/42.67	c bounds 0 >= -177524581 @ 33.3788
42.47/42.67	c bounds 0 >= -177339581 @ 33.4808
42.47/42.67	c bounds 0 >= -177154581 @ 33.5856
42.47/42.67	c bounds 0 >= -176969581 @ 33.6911
42.47/42.67	c bounds 0 >= -176785581 @ 33.7965
42.47/42.67	c bounds 0 >= -176600581 @ 33.902
42.47/42.67	c bounds 0 >= -176415581 @ 34.0027
42.47/42.67	c bounds 0 >= -176230581 @ 34.1054
42.47/42.67	c bounds 0 >= -176045581 @ 34.2088
42.47/42.67	c bounds 0 >= -175860581 @ 34.3154
42.47/42.67	c bounds 0 >= -175675581 @ 34.426
42.47/42.67	c bounds 0 >= -175490581 @ 34.5329
42.47/42.67	c bounds 0 >= -175305581 @ 34.6392
42.47/42.67	c bounds 0 >= -175120581 @ 34.7472
42.47/42.67	c bounds 0 >= -174935581 @ 34.8542
42.47/42.67	c bounds 0 >= -174750581 @ 34.9613
42.47/42.67	c bounds 0 >= -174565581 @ 35.066
42.47/42.67	c bounds 0 >= -174380581 @ 35.1726
42.47/42.67	c bounds 0 >= -174195581 @ 35.2802
42.47/42.67	c bounds 0 >= -174009581 @ 35.3859
42.47/42.67	c bounds 0 >= -173823581 @ 35.4966
42.47/42.67	c bounds 0 >= -173637581 @ 35.6041
42.47/42.67	c bounds 0 >= -173451581 @ 35.7106
42.47/42.67	c bounds 0 >= -173265581 @ 35.814
42.47/42.67	c bounds 0 >= -173079581 @ 35.9167
42.47/42.67	c bounds 0 >= -172893581 @ 36.023
42.47/42.67	c bounds 0 >= -172707581 @ 36.1307
42.47/42.67	c bounds 0 >= -172521581 @ 36.2347
42.47/42.67	c bounds 0 >= -172335581 @ 36.3403
42.47/42.67	c bounds 0 >= -172149581 @ 36.4407
42.47/42.67	c bounds 0 >= -171963581 @ 36.5452
42.47/42.67	c bounds 0 >= -171777581 @ 36.6498
42.47/42.67	c bounds 0 >= -171592581 @ 36.7549
42.47/42.67	c bounds 0 >= -171407581 @ 36.8666
42.47/42.67	c bounds 0 >= -171222581 @ 36.9729
42.47/42.67	c bounds 0 >= -171038581 @ 37.0804
42.47/42.67	c bounds 0 >= -170854581 @ 37.1918
42.47/42.67	c bounds 0 >= -170669581 @ 37.2991
42.47/42.67	c bounds 0 >= -170484581 @ 37.4067
42.47/42.67	c bounds 0 >= -170299581 @ 37.5159
42.47/42.67	c bounds 0 >= -170114581 @ 37.6227
42.47/42.67	c bounds 0 >= -169929581 @ 37.7326
42.47/42.67	c bounds 0 >= -169744581 @ 37.8401
42.47/42.67	c bounds 0 >= -169557581 @ 37.9472
42.47/42.67	c bounds 0 >= -169371581 @ 38.0546
42.47/42.67	c bounds 0 >= -169185581 @ 38.1635
42.47/42.67	c bounds 0 >= -168999581 @ 38.2726
42.47/42.67	c bounds 0 >= -168815581 @ 38.3787
42.47/42.67	c bounds 0 >= -168631581 @ 38.4842
42.47/42.67	c bounds 0 >= -168447581 @ 38.5897
42.47/42.67	c bounds 0 >= -168263581 @ 38.6927
42.47/42.67	c bounds 0 >= -168079581 @ 38.7946
42.47/42.67	c bounds 0 >= -167895581 @ 38.8951
42.47/42.67	c bounds 0 >= -167710581 @ 38.9997
42.47/42.67	c bounds 0 >= -167524581 @ 39.1066
42.47/42.67	c bounds 0 >= -167337581 @ 39.2097
42.47/42.67	c bounds 0 >= -167150581 @ 39.3127
42.47/42.67	c bounds 0 >= -166962581 @ 39.421
42.47/42.67	c bounds 0 >= -166774581 @ 39.5295
42.47/42.67	c bounds 0 >= -166591581 @ 39.6344
42.47/42.67	c bounds 0 >= -166408581 @ 39.7439
42.47/42.67	c bounds 0 >= -166225581 @ 39.8481
42.47/42.67	c bounds 0 >= -166043581 @ 39.9542
42.47/42.67	c bounds 0 >= -165861581 @ 40.0601
42.47/42.67	c bounds 0 >= -165679581 @ 40.1666
42.47/42.67	c bounds 0 >= -165497581 @ 40.2763
42.47/42.67	c bounds 0 >= -165315581 @ 40.3849
42.47/42.67	c bounds 0 >= -165133581 @ 40.4943
42.47/42.67	c bounds 0 >= -164951581 @ 40.6036
42.47/42.67	c bounds 0 >= -164769581 @ 40.7098
42.47/42.67	c bounds 0 >= -164587581 @ 40.8152
42.47/42.67	c bounds 0 >= -164405581 @ 40.9174
42.47/42.67	c bounds 0 >= -164224581 @ 41.0219
42.47/42.67	c bounds 0 >= -164043581 @ 41.1279
809.62/811.75	c bounds 0 >= -163862581 @ 41.229
809.62/811.75	c bounds 0 >= -163681581 @ 41.3297
809.62/811.75	c bounds 0 >= -163500581 @ 41.4394
809.62/811.75	c bounds 0 >= -163319581 @ 41.5446
809.62/811.75	c bounds 0 >= -163138581 @ 41.6511
809.62/811.75	c bounds 0 >= -162957581 @ 41.7603
809.62/811.75	c bounds 0 >= -162776581 @ 41.8681
809.62/811.75	c bounds -784 >= -162776581 @ 796.002
809.62/811.75	c bounds -784 >= -162595581 @ 796.108
809.62/811.75	c bounds -784 >= -162414581 @ 796.21
809.62/811.75	c bounds -784 >= -162232581 @ 796.313
809.62/811.75	c bounds -784 >= -162050581 @ 796.419
809.62/811.75	c bounds -784 >= -161868581 @ 796.524
809.62/811.75	c bounds -784 >= -161686581 @ 796.631
809.62/811.75	c bounds -784 >= -161504581 @ 796.737
809.62/811.75	c bounds -784 >= -161322581 @ 796.84
809.62/811.75	c bounds -784 >= -161140581 @ 796.948
809.62/811.75	c bounds -784 >= -160958581 @ 797.05
809.62/811.75	c bounds -784 >= -160777581 @ 797.157
809.62/811.75	c bounds -784 >= -160596581 @ 797.258
809.62/811.75	c bounds -784 >= -160415581 @ 797.361
809.62/811.75	c bounds -784 >= -160234581 @ 797.465
809.62/811.75	c bounds -784 >= -160053581 @ 797.567
809.62/811.75	c bounds -784 >= -159872581 @ 797.669
809.62/811.75	c bounds -784 >= -159691581 @ 797.769
809.62/811.75	c bounds -784 >= -159510581 @ 797.876
809.62/811.75	c bounds -784 >= -159329581 @ 797.979
809.62/811.75	c bounds -784 >= -159148581 @ 798.082
809.62/811.75	c bounds -784 >= -158962581 @ 798.19
809.62/811.75	c bounds -784 >= -158776581 @ 798.292
809.62/811.75	c bounds -784 >= -158590581 @ 798.395
809.62/811.75	c bounds -784 >= -158404581 @ 798.496
809.62/811.75	c bounds -784 >= -158218581 @ 798.598
809.62/811.75	c bounds -784 >= -158032581 @ 798.7
809.62/811.75	c bounds -784 >= -157846581 @ 798.804
809.62/811.75	c bounds -784 >= -157660581 @ 798.908
809.62/811.75	c bounds -784 >= -157474581 @ 799.007
809.62/811.75	c bounds -784 >= -157288581 @ 799.108
809.62/811.75	c bounds -784 >= -157102581 @ 799.212
809.62/811.75	c bounds -784 >= -156916581 @ 799.312
809.62/811.75	c bounds -784 >= -156730581 @ 799.416
809.62/811.75	c bounds -784 >= -156544581 @ 799.526
809.62/811.75	c bounds -784 >= -156358581 @ 799.631
809.62/811.75	c bounds -784 >= -156172581 @ 799.736
809.62/811.75	c bounds -784 >= -155986581 @ 799.842
809.62/811.75	c bounds -784 >= -155800581 @ 799.949
809.62/811.75	c bounds -784 >= -155614581 @ 800.054
809.62/811.75	c bounds -784 >= -155428581 @ 800.158
809.62/811.75	c bounds -784 >= -155242581 @ 800.259
809.62/811.75	c bounds -784 >= -155056581 @ 800.364
809.62/811.75	c bounds -784 >= -154870581 @ 800.464
809.62/811.75	c bounds -784 >= -154684581 @ 800.567
809.62/811.75	c bounds -784 >= -154498581 @ 800.668
809.62/811.75	c bounds -784 >= -154312581 @ 800.77
809.62/811.75	c bounds -784 >= -154126581 @ 800.875
809.62/811.75	c bounds -784 >= -153940581 @ 800.983
809.62/811.75	c bounds -784 >= -153754581 @ 801.091
809.62/811.75	c bounds -784 >= -153568581 @ 801.197
809.62/811.75	c bounds -784 >= -153382581 @ 801.302
809.62/811.75	c bounds -784 >= -153196581 @ 801.406
809.62/811.75	c bounds -784 >= -153010581 @ 801.515
809.62/811.75	c bounds -784 >= -152824581 @ 801.617
809.62/811.75	c bounds -784 >= -152638581 @ 801.721
809.62/811.75	c bounds -784 >= -152452581 @ 801.828
809.62/811.75	c bounds -784 >= -152266581 @ 801.93
809.62/811.75	c bounds -784 >= -152080581 @ 802.035
809.62/811.75	c bounds -784 >= -151894581 @ 802.142
809.62/811.75	c bounds -784 >= -151708581 @ 802.249
809.62/811.75	c bounds -784 >= -151522581 @ 802.354
809.62/811.75	c bounds -784 >= -151336581 @ 802.46
809.62/811.75	c bounds -784 >= -151150581 @ 802.564
809.62/811.75	c bounds -784 >= -150964581 @ 802.67
809.62/811.75	c bounds -784 >= -150778581 @ 802.773
809.62/811.75	c bounds -784 >= -150592581 @ 802.876
809.62/811.75	c bounds -784 >= -150406581 @ 802.982
809.62/811.75	c bounds -784 >= -150220581 @ 803.088
809.62/811.75	c bounds -784 >= -150034581 @ 803.189
809.62/811.75	c bounds -784 >= -149848581 @ 803.294
809.62/811.75	c bounds -784 >= -149662581 @ 803.398
809.62/811.75	c bounds -784 >= -149476581 @ 803.499
809.62/811.75	c bounds -784 >= -149290581 @ 803.602
809.62/811.75	c bounds -784 >= -149104581 @ 803.706
809.62/811.75	c bounds -784 >= -148917581 @ 803.809
809.62/811.75	c bounds -784 >= -148730581 @ 803.913
809.62/811.75	c bounds -784 >= -148545581 @ 804.018
809.62/811.75	c bounds -784 >= -148360581 @ 804.119
809.62/811.75	c bounds -784 >= -148175581 @ 804.221
809.62/811.75	c bounds -784 >= -147990581 @ 804.327
809.62/811.75	c bounds -784 >= -147805581 @ 804.436
809.62/811.75	c bounds -784 >= -147621765 @ 804.543
809.62/811.75	c bounds -784 >= -147620766 @ 804.65
809.62/811.75	c bounds -784 >= -147580250 @ 804.76
809.62/811.75	c bounds -784 >= -147571572 @ 804.873
809.62/811.75	c bounds -784 >= -147393750 @ 804.984
809.62/811.75	c bounds -784 >= -147207936 @ 805.087
809.62/811.75	c bounds -784 >= -147206936 @ 805.342
809.62/811.75	c bounds -784 >= -147205936 @ 805.458
809.62/811.75	c bounds -784 >= -147204936 @ 805.619
809.62/811.75	c bounds -784 >= -147203936 @ 805.74
809.62/811.75	c bounds -784 >= -147202936 @ 805.909
809.62/811.75	c bounds -784 >= -147201936 @ 806.029
809.62/811.75	c bounds -784 >= -147200936 @ 806.157
809.62/811.75	c bounds -784 >= -147199936 @ 806.312
809.62/811.75	c bounds -784 >= -147198936 @ 806.427
809.62/811.75	c bounds -784 >= -147197936 @ 806.571
809.62/811.75	c bounds -784 >= -147196936 @ 806.712
809.62/811.75	c bounds -784 >= -147195936 @ 806.883
809.62/811.75	c bounds -784 >= -147194936 @ 807.015
809.62/811.75	c bounds -784 >= -147193936 @ 807.291
893.42/895.76	c bounds -784 >= -147192936 @ 807.426
893.42/895.76	c bounds -784 >= -147191936 @ 807.632
893.42/895.76	c bounds -784 >= -147190936 @ 807.771
893.42/895.76	c bounds -784 >= -147189936 @ 807.978
893.42/895.76	c bounds -784 >= -147188936 @ 808.15
893.42/895.76	c bounds -1726 >= -147188936 @ 810.864
893.42/895.76	c bounds -1726 >= -147187936 @ 810.999
893.42/895.76	c bounds -1726 >= -147186936 @ 811.48
893.42/895.76	c bounds -1726 >= -147185936 @ 811.614
893.42/895.76	c bounds -1726 >= -147184936 @ 812.023
893.42/895.76	c bounds -1726 >= -147183936 @ 812.158
893.42/895.76	c bounds -1726 >= -147182936 @ 812.445
893.42/895.76	c bounds -1726 >= -147181936 @ 812.582
893.42/895.76	c bounds -1726 >= -147180936 @ 812.87
893.42/895.76	c bounds -1726 >= -147179936 @ 813.005
893.42/895.76	c bounds -1726 >= -147178936 @ 813.181
893.42/895.76	c bounds -1726 >= -147177936 @ 813.466
893.42/895.76	c bounds -1726 >= -147176936 @ 813.601
893.42/895.76	c bounds -1726 >= -147175936 @ 813.792
893.42/895.76	c bounds -1726 >= -147174936 @ 813.928
893.42/895.76	c bounds -1726 >= -147173936 @ 814.216
893.42/895.76	c bounds -2394 >= -147173936 @ 814.381
893.42/895.76	c bounds -2695 >= -147173936 @ 814.552
893.42/895.76	c bounds -2695 >= -147172936 @ 814.687
893.42/895.76	c bounds -2723 >= -147172936 @ 814.863
893.42/895.76	c bounds -2723 >= -147171936 @ 815.345
893.42/895.76	c bounds -3209 >= -147171936 @ 815.515
893.42/895.76	c bounds -3623 >= -147171936 @ 815.695
893.42/895.76	c bounds -4291 >= -147171936 @ 815.863
893.42/895.76	c bounds -4291 >= -147170936 @ 815.984
893.42/895.76	c bounds -4291 >= -147169936 @ 816.387
893.42/895.76	c bounds -4355 >= -147169936 @ 816.555
893.42/895.76	c bounds -4360 >= -147169936 @ 816.968
893.42/895.76	c bounds -4360 >= -147168936 @ 817.085
893.42/895.76	c bounds -4360 >= -147167936 @ 817.864
893.42/895.76	c bounds -5081 >= -147167936 @ 848.189
893.42/895.76	c bounds -5081 >= -147166936 @ 848.307
893.42/895.76	c bounds -5081 >= -147165936 @ 849.516
893.42/895.76	c bounds -5081 >= -147164936 @ 849.632
893.42/895.76	c bounds -5081 >= -147163936 @ 850.134
893.42/895.76	c bounds -5081 >= -147162936 @ 850.25
893.42/895.76	c bounds -5081 >= -147161936 @ 850.562
893.42/895.76	c bounds -5081 >= -147160936 @ 850.68
893.42/895.76	c bounds -5081 >= -147159936 @ 850.997
893.42/895.76	c bounds -5081 >= -147158936 @ 851.116
893.42/895.76	c bounds -5081 >= -147157936 @ 851.853
893.42/895.76	c bounds -5081 >= -147156936 @ 851.971
893.42/895.76	c bounds -5081 >= -147155936 @ 852.538
893.42/895.76	c bounds -5081 >= -147154936 @ 852.654
893.42/895.76	c bounds -5081 >= -147153936 @ 852.999
893.42/895.76	c bounds -5081 >= -147152936 @ 853.114
893.42/895.76	c bounds -5081 >= -147151936 @ 853.458
893.42/895.76	c bounds -5081 >= -147150936 @ 853.573
893.42/895.76	c bounds -5081 >= -147149936 @ 853.771
893.42/895.76	c bounds -5081 >= -147148936 @ 853.887
893.42/895.76	c bounds -5081 >= -147147936 @ 864.347
893.42/895.76	c bounds -5081 >= -147146936 @ 864.467
893.42/895.76	c bounds -5081 >= -147145936 @ 864.731
893.42/895.76	c bounds -5081 >= -147144936 @ 864.851
893.42/895.76	c bounds -5081 >= -147143936 @ 865.043
893.42/895.76	c bounds -5081 >= -147142936 @ 865.192
893.42/895.76	c bounds -5081 >= -147141936 @ 865.328
893.42/895.76	c bounds -5081 >= -147140936 @ 865.642
893.42/895.76	c bounds -5081 >= -147139936 @ 865.789
893.42/895.76	c bounds -5081 >= -147138936 @ 866.005
893.42/895.76	c bounds -5081 >= -147137936 @ 866.139
893.42/895.76	c bounds -5081 >= -147136936 @ 866.526
893.42/895.76	c bounds -5081 >= -147135936 @ 866.787
893.42/895.76	c bounds -5081 >= -147134936 @ 867.068
893.42/895.76	c bounds -5081 >= -147133936 @ 867.287
893.42/895.76	c bounds -5081 >= -147132936 @ 867.471
893.42/895.76	c bounds -5081 >= -147131936 @ 867.75
893.42/895.76	c bounds -5081 >= -147130936 @ 868.456
893.42/895.76	c bounds -5081 >= -147129936 @ 868.859
893.42/895.76	c bounds -5081 >= -147128936 @ 869.011
893.42/895.76	c bounds -5081 >= -147127936 @ 869.16
893.42/895.76	c bounds -5081 >= -147126936 @ 869.388
893.42/895.76	c bounds -5081 >= -147125936 @ 869.572
893.42/895.76	c bounds -5081 >= -147124936 @ 870.027
893.42/895.76	c bounds -5081 >= -143976940 @ 871.907
893.42/895.76	c bounds -5081 >= -143975940 @ 872.133
893.42/895.76	c bounds -5081 >= -143974940 @ 872.637
893.42/895.76	c bounds -5081 >= -143973940 @ 873.162
893.42/895.76	c bounds -5081 >= -143972940 @ 873.85
893.42/895.76	c bounds -5081 >= -143971940 @ 875.271
893.42/895.76	c bounds -5081 >= -143970940 @ 875.781
893.42/895.76	c bounds -5081 >= -143969940 @ 876.805
893.42/895.76	c bounds -5081 >= -143968940 @ 877.044
893.42/895.76	c bounds -5081 >= -143967940 @ 877.323
893.42/895.76	c bounds -5081 >= -143966940 @ 877.454
893.42/895.76	c bounds -5081 >= -143965940 @ 878.024
893.42/895.76	c bounds -5081 >= -143964940 @ 878.474
893.42/895.76	c bounds -5081 >= -143963940 @ 878.802
893.42/895.76	c #Conflicts:       1000 | #Constraints:     403201
893.42/895.76	c bounds -5081 >= -143962940 @ 879.421
893.42/895.76	c bounds -5081 >= -143961940 @ 879.661
893.42/895.76	c bounds -5081 >= -143960940 @ 880.096
893.42/895.76	c bounds -5081 >= -143959940 @ 882.838
893.42/895.76	c bounds -5081 >= -143958940 @ 883.006
893.42/895.76	c bounds -5081 >= -143957940 @ 883.781
893.42/895.76	c bounds -5081 >= -143956940 @ 883.902
893.42/895.76	c bounds -5081 >= -143955940 @ 884.17
893.42/895.76	c bounds -5081 >= -143954940 @ 884.4
893.42/895.76	c bounds -5081 >= -143953940 @ 884.71
893.42/895.76	c bounds -5081 >= -143952940 @ 884.955
1819.10/1824.02	c bounds -5081 >= -143951940 @ 885.126
1819.10/1824.02	c bounds -5081 >= -143950940 @ 885.516
1819.10/1824.02	c bounds -5081 >= -143949940 @ 885.887
1819.10/1824.02	c bounds -5081 >= -143948940 @ 886.132
1819.10/1824.02	c bounds -5081 >= -143947940 @ 886.279
1819.10/1824.02	c bounds -5081 >= -143946940 @ 886.986
1819.10/1824.02	c bounds -5081 >= -143945940 @ 887.78
1819.10/1824.02	c bounds -5081 >= -143944940 @ 888.751
1819.10/1824.02	c bounds -5081 >= -143943940 @ 889.086
1819.10/1824.02	c bounds -5081 >= -143942940 @ 889.526
1819.10/1824.02	c bounds -5081 >= -143941940 @ 891.023
1819.10/1824.02	c bounds -5081 >= -143940940 @ 891.466
1819.10/1824.02	c bounds -5081 >= -143939940 @ 892.174
1819.10/1824.02	c bounds -5081 >= -143938940 @ 892.824
1819.10/1824.02	c bounds -5081 >= -143937940 @ 894.114
1819.10/1824.02	c bounds -5081 >= -143936940 @ 894.926
1819.10/1824.02	c #Conflicts:       2000 | #Constraints:     404448
1819.10/1824.02	c INPROCESSING
1819.10/1824.02	c GARBAGE COLLECT
1819.10/1824.02	c bounds -5081 >= -143935940 @ 1088.82
1819.10/1824.02	c bounds -5081 >= -143934940 @ 1089.28
1819.10/1824.02	c bounds -5081 >= -143933940 @ 1090.27
1819.10/1824.02	c bounds -5081 >= -143932940 @ 1090.67
1819.10/1824.02	c bounds -5081 >= -143931940 @ 1092.85
1819.10/1824.02	c bounds -5081 >= -143930940 @ 1094.67
1819.10/1824.02	c bounds -5081 >= -143929940 @ 1095.16
1819.10/1824.02	c #Conflicts:       3000 | #Constraints:     384938
1819.10/1824.02	c bounds -5081 >= -143928940 @ 1100.7
1819.10/1824.02	c bounds -5081 >= -143927940 @ 1104.85
1819.10/1824.02	c bounds -5178 >= -143927940 @ 1105.24
1819.10/1824.02	c bounds -5313 >= -143927940 @ 1105.83
1819.10/1824.02	c bounds -5839 >= -143927940 @ 1106.46
1819.10/1824.02	c bounds -6235 >= -143927940 @ 1123.14
1819.10/1824.02	c bounds -6235 >= -143926940 @ 1125.91
1819.10/1824.02	c #Conflicts:       4000 | #Constraints:     385978
1819.10/1824.02	c bounds -6235 >= -143925940 @ 1130.62
1819.10/1824.02	c bounds -6235 >= -143924940 @ 1138.25
1819.10/1824.02	c #Conflicts:       5000 | #Constraints:     387005
1819.10/1824.02	c bounds -6235 >= -143923940 @ 1145.65
1819.10/1824.02	c #Conflicts:       6000 | #Constraints:     388020
1819.10/1824.02	c INPROCESSING
1819.10/1824.02	c GARBAGE COLLECT
1819.10/1824.02	c bounds -6235 >= -143922940 @ 1394.13
1819.10/1824.02	c #Conflicts:       7000 | #Constraints:     386453
1819.10/1824.02	c bounds -6235 >= -143921940 @ 1404.73
1819.10/1824.02	c bounds -6382 >= -143921940 @ 1422.37
1819.10/1824.02	c #Conflicts:       8000 | #Constraints:     387484
1819.10/1824.02	c bounds -6382 >= -143920940 @ 1430.15
1819.10/1824.02	c bounds -6382 >= -143919940 @ 1435.2
1819.10/1824.02	c #Conflicts:       9000 | #Constraints:     388517
1819.10/1824.02	c bounds -6598 >= -143919940 @ 1537.86
1819.10/1824.02	c INPROCESSING
1819.10/1824.02	c GARBAGE COLLECT
1819.10/1824.02	c rational objective -13455
2544.09/2550.61	c bounds -6598 >= -143918940 @ 1793.5
2544.09/2550.61	c #Conflicts:      10000 | #Constraints:     386645
2544.09/2550.61	c bounds -6598 >= -143917940 @ 1808.02
2544.09/2550.61	c #Conflicts:      11000 | #Constraints:     387669
2544.09/2550.61	c bounds -6598 >= -143916940 @ 1816.47
2544.09/2550.61	c #Conflicts:      12000 | #Constraints:     388684
2544.09/2550.61	c bounds -6598 >= -143915940 @ 1831.61
2544.09/2550.61	c INPROCESSING
2544.09/2550.61	c GARBAGE COLLECT
2544.09/2550.61	c #Conflicts:      13000 | #Constraints:     386556
2544.09/2550.61	c #Conflicts:      14000 | #Constraints:     387556
2544.09/2550.61	c bounds -6598 >= -143914940 @ 1850.51
2544.09/2550.61	c #Conflicts:      15000 | #Constraints:     388571
2544.09/2550.61	c bounds -6598 >= -143913940 @ 1864.08
2544.09/2550.61	c #Conflicts:      16000 | #Constraints:     389595
2544.09/2550.61	c bounds -6598 >= -143912940 @ 1880.14
2544.09/2550.61	c #Conflicts:      17000 | #Constraints:     390610
2544.09/2550.61	c #Conflicts:      18000 | #Constraints:     391610
2544.09/2550.61	c #Conflicts:      19000 | #Constraints:     392610
2544.09/2550.61	c #Conflicts:      20000 | #Constraints:     393610
2544.09/2550.61	c bounds -6598 >= -143911940 @ 2179.71
2544.09/2550.61	c #Conflicts:      21000 | #Constraints:     394634
2544.09/2550.61	c INPROCESSING
2544.09/2550.61	c GARBAGE COLLECT
2544.09/2550.61	c #Conflicts:      22000 | #Constraints:     389981
2544.09/2550.61	c #Conflicts:      23000 | #Constraints:     390981
2544.09/2550.61	c bounds -6598 >= -143910940 @ 2211.73
2544.09/2550.61	c #Conflicts:      24000 | #Constraints:     391999
2544.09/2550.61	c bounds -6598 >= -143909940 @ 2231.46
2544.09/2550.61	c #Conflicts:      25000 | #Constraints:     393011
2544.09/2550.61	c INPROCESSING
2544.09/2550.61	c GARBAGE COLLECT
2544.09/2550.61	c rational objective -13455

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457143-1721825182/watcher-4457143-1721825182 -o /tmp/evaluation-result-4457143-1721825182/solver-4457143-1721825182 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721817186-228037 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457143-1721825182 --lp-cut-gomory=0 HOME/instance-4457143-1721825182.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.10009 s]*
/proc/loadavg: 4.16 4.20 4.18 5/263 235399
/proc/meminfo: memFree=13970080/131524600 swapFree=131069412/131071996
[pid=235398] ppid=235395 vsize=103020 memory=59684 CPUtime=0.09 cores=1,3
/proc/235398/stat : 235398 (roundingsat) R 235395 235398 228025 0 -1 4194304 8247 0 1 0 7 2 0 0 20 0 1 0 19046485 105492480 14921 134679101440 4194304 8254037 140733260045168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15560704 140733260047200 140733260047462 140733260047462 140733260054473 0
/proc/235398/statm: 25755 14921 1329 992 0 17613 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 103020 KiB
Current children cumulated memory: 59684 KiB

[startup+0.205745 s]*
/proc/loadavg: 4.16 4.20 4.18 5/263 235399
/proc/meminfo: memFree=13889968/131524600 swapFree=131069412/131071996
[pid=235398] ppid=235395 vsize=189036 memory=135936 CPUtime=0.2 cores=1,3
/proc/235398/stat : 235398 (roundingsat) R 235395 235398 228025 0 -1 4194304 10929 0 1 0 16 4 0 0 20 0 1 0 19046485 193572864 33984 134679101440 4194304 8254037 140733260045168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15560704 140733260047200 140733260047462 140733260047462 140733260054473 0
/proc/235398/statm: 47259 33984 1329 992 0 39117 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 189036 KiB
Current children cumulated memory: 135936 KiB

[startup+0.305715 s]*
/proc/loadavg: 4.16 4.20 4.18 5/263 235399
/proc/meminfo: memFree=13899064/131524600 swapFree=131069412/131071996
[pid=235398] ppid=235395 vsize=152048 memory=117420 CPUtime=0.3 cores=1,3
/proc/235398/stat : 235398 (roundingsat) R 235395 235398 228025 0 -1 4194304 11162 0 1 0 24 6 0 0 20 0 1 0 19046485 155697152 29355 134679101440 4194304 8254037 140733260045168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15560704 140733260047200 140733260047462 140733260047462 140733260054473 0
/proc/235398/statm: 38012 29355 1377 992 0 29870 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 152048 KiB
Current children cumulated memory: 117420 KiB

[startup+0.700166 s]
/proc/loadavg: 4.16 4.20 4.18 5/263 235399
/proc/meminfo: memFree=13888532/131524600 swapFree=131069412/131071996
[pid=235398] ppid=235395 vsize=159188 memory=121676 CPUtime=0.69 cores=1,3
/proc/235398/stat : 235398 (roundingsat) R 235395 235398 228025 0 -1 4194304 12240 0 1 0 56 13 0 0 20 0 1 0 19046485 163008512 30419 134679101440 4194304 8254037 140733260045168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15560704 140733260047200 140733260047462 140733260047462 140733260054473 0
/proc/235398/statm: 39797 30419 1377 992 0 31655 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 159188 KiB
Current children cumulated memory: 121676 KiB

[startup+1.50019 s]
/proc/loadavg: 4.16 4.20 4.18 5/263 235399
/proc/meminfo: memFree=13860292/131524600 swapFree=131069412/131071996
[pid=235398] ppid=235395 vsize=178044 memory=133280 CPUtime=1.48 cores=1,3
/proc/235398/stat : 235398 (roundingsat) R 235395 235398 228025 0 -1 4194304 12551 0 1 0 118 30 0 0 20 0 1 0 19046485 182317056 33320 134679101440 4194304 8254037 140733260045168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15560704 140733260047200 140733260047462 140733260047462 140733260054473 0
/proc/235398/statm: 44511 33320 1377 992 0 36369 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 178044 KiB
Current children cumulated memory: 133280 KiB

[startup+3.10587 s]
/proc/loadavg: 4.16 4.20 4.18 5/263 235399
/proc/meminfo: memFree=13365308/131524600 swapFree=131069412/131071996
[pid=235398] ppid=235395 vsize=653952 memory=588512 CPUtime=3.08 cores=1,3
/proc/235398/stat : 235398 (roundingsat) R 235395 235398 228025 0 -1 4194304 56827 0 1 0 262 46 0 0 20 0 1 0 19046485 669646848 147128 134679101440 4194304 8254037 140733260045168 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15560704 140733260047200 140733260047462 140733260047462 140733260054473 0
/proc/235398/statm: 163488 147128 1760 992 0 155346 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 653952 KiB
Current children cumulated memory: 588512 KiB

[startup+6.30022 s]
/proc/loadavg: 4.22 4.22 4.19 5/263 235400
/proc/meminfo: memFree=13279400/131524600 swapFree=131069412/131071996
[pid=235398] ppid=235395 vsize=664896 memory=596688 CPUtime=6.27 cores=1,3
/proc/235398/stat : 235398 (roundingsat) R 235395 235398 228025 0 -1 4194304 57743 0 1 0 580 47 0 0 20 0 1 0 19046485 680853504 149172 134679101440 4194304 8254037 140733260045168 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15560704 140733260047200 140733260047462 140733260047462 140733260054473 0
/proc/235398/statm: 166224 149172 1760 992 0 158082 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 664896 KiB
Current children cumulated memory: 596688 KiB

[startup+12.7002 s]
/proc/loadavg: 4.21 4.21 4.18 5/263 235400
/proc/meminfo: memFree=13056232/131524600 swapFree=131069412/131071996
[pid=235398] ppid=235395 vsize=725808 memory=639236 CPUtime=12.66 cores=1,3
/proc/235398/stat : 235398 (roundingsat) R 235395 235398 228025 0 -1 4194304 58233 0 1 0 1217 49 0 0 20 0 1 0 19046485 743227392 159809 134679101440 4194304 8254037 140733260045168 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15560704 140733260047200 140733260047462 140733260047462 140733260054473 0
/proc/235398/statm: 181452 159809 1760 992 0 173310 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 725808 KiB
Current children cumulated memory: 639236 KiB

[startup+25.5002 s]
/proc/loadavg: 4.23 4.22 4.19 5/262 235403
/proc/meminfo: memFree=12614540/131524600 swapFree=131069412/131071996
[pid=235398] ppid=235395 vsize=758216 memory=659664 CPUtime=25.42 cores=1,3
/proc/235398/stat : 235398 (roundingsat) R 235395 235398 228025 0 -1 4194304 59436 0 1 0 2491 51 0 0 20 0 1 0 19046485 776413184 164916 134679101440 4194304 8254037 140733260045168 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15560704 140733260047200 140733260047462 140733260047462 140733260054473 0
/proc/235398/statm: 189554 164916 1760 992 0 181412 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 758216 KiB
Current children cumulated memory: 659664 KiB

[startup+51.1059 s]
/proc/loadavg: 4.15 4.20 4.18 5/261 235409
/proc/meminfo: memFree=10334896/131524600 swapFree=131069412/131071996
[pid=235398] ppid=235395 vsize=1106856 memory=1010348 CPUtime=50.96 cores=1,3
/proc/235398/stat : 235398 (roundingsat) R 235395 235398 228025 0 -1 4194304 68552 0 1 0 4950 146 0 0 20 0 1 0 19046485 1133420544 252587 134679101440 4194304 8254037 140733260045168 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15560704 140733260047200 140733260047462 140733260047462 140733260054473 0
/proc/235398/statm: 276714 252587 1808 992 0 268572 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1106856 KiB
Current children cumulated memory: 1010348 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.18 4.17 5/261 235417
/proc/meminfo: memFree=8878244/131524600 swapFree=131069412/131071996
[pid=235398] ppid=235395 vsize=1106856 memory=1010588 CPUtime=102.01 cores=1,3
/proc/235398/stat : 235398 (roundingsat) R 235395 235398 228025 0 -1 4194304 68606 0 1 0 10055 146 0 0 20 0 1 0 19046485 1133420544 252647 134679101440 4194304 8254037 140733260045168 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15560704 140733260047200 140733260047462 140733260047462 140733260054473 0
/proc/235398/statm: 276714 252647 1808 992 0 268572 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1106856 KiB
Current children cumulated memory: 1010588 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.18 4.17 5/260 235428
/proc/meminfo: memFree=7068588/131524600 swapFree=131069412/131071996
[pid=235398] ppid=235395 vsize=1106856 memory=1010588 CPUtime=161.87 cores=1,3
/proc/235398/stat : 235398 (roundingsat) R 235395 235398 228025 0 -1 4194304 68642 0 1 0 16041 146 0 0 20 0 1 0 19046485 1133420544 252647 134679101440 4194304 8254037 140733260045168 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15560704 140733260047200 140733260047462 140733260047462 140733260054473 0
/proc/235398/statm: 276714 252647 1808 992 0 268572 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 1106856 KiB
Current children cumulated memory: 1010588 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 4.14 4.16 5/258 235440
/proc/meminfo: memFree=4978560/131524600 swapFree=131069412/131071996
[pid=235398] ppid=235395 vsize=1106856 memory=1010588 CPUtime=221.72 cores=1,3
/proc/235398/stat : 235398 (roundingsat) R 235395 235398 228025 0 -1 4194304 68675 0 1 0 22025 147 0 0 20 0 1 0 19046485 1133420544 252647 134679101440 4194304 8254037 140733260045168 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15560704 140733260047200 140733260047462 140733260047462 140733260054473 0
/proc/235398/statm: 276714 252647 1808 992 0 268572 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 1106856 KiB
Current children cumulated memory: 1010588 KiB

[startup+282.3 s]
/proc/loadavg: 4.23 4.18 4.17 5/260 235454
/proc/meminfo: memFree=2261556/131524600 swapFree=131069412/131071996
[pid=235398] ppid=235395 vsize=1106856 memory=1010588 CPUtime=281.56 cores=1,3
/proc/235398/stat : 235398 (roundingsat) R 235395 235398 228025 0 -1 4194304 68701 0 1 0 28009 147 0 0 20 0 1 0 19046485 1133420544 252647 134679101440 4194304 8254037 140733260045168 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15560704 140733260047200 140733260047462 140733260047462 140733260054473 0
/proc/235398/statm: 276714 252647 1808 992 0 268572 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 1106856 KiB
Current children cumulated memory: 1010588 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.16 4.17 5/262 235469
/proc/meminfo: memFree=512924/131524600 swapFree=131069412/131071996
[pid=235398] ppid=235395 vsize=1106856 memory=1010588 CPUtime=341.41 cores=1,3
/proc/235398/stat : 235398 (roundingsat) R 235395 235398 228025 0 -1 4194304 68737 0 1 0 33994 147 0 0 20 0 1 0 19046485 1133420544 252647 134679101440 4194304 8254037 140733260045168 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15560704 140733260047200 140733260047462 140733260047462 140733260054473 0
/proc/235398/statm: 276714 252647 1808 992 0 268572 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 1106856 KiB
Current children cumulated memory: 1010588 KiB

[startup+402.3 s]
/proc/loadavg: 4.22 4.19 4.18 5/263 235480
/proc/meminfo: memFree=571628/131524600 swapFree=131069412/131071996
[pid=235398] ppid=235395 vsize=1106856 memory=1010588 CPUtime=401.25 cores=1,3
/proc/235398/stat : 235398 (roundingsat) R 235395 235398 228025 0 -1 4194304 68769 0 1 0 39978 147 0 0 20 0 1 0 19046485 1133420544 252647 134679101440 4194304 8254037 140733260045168 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15560704 140733260047200 140733260047462 140733260047462 140733260054473 0
/proc/235398/statm: 276714 252647 1808 992 0 268572 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 1106856 KiB
Current children cumulated memory: 1010588 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 4.18 4.18 5/263 235490
/proc/meminfo: memFree=562340/131524600 swapFree=131069412/131071996
[pid=235398] ppid=235395 vsize=1106856 memory=1010588 CPUtime=461.09 cores=1,3
/proc/235398/stat : 235398 (roundingsat) R 235395 235398 228025 0 -1 4194304 68796 0 1 0 45962 147 0 0 20 0 1 0 19046485 1133420544 252647 134679101440 4194304 8254037 140733260045168 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15560704 140733260047200 140733260047462 140733260047462 140733260054473 0
/proc/235398/statm: 276714 252647 1808 992 0 268572 0

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

[startup+3102.3 s]
/proc/loadavg: 4.14 4.13 4.14 5/257 237350
/proc/meminfo: memFree=94015080/131524600 swapFree=131069412/131071996
[pid=235398] ppid=235395 vsize=5876620 memory=4918340 CPUtime=3094.58 cores=1,3
/proc/235398/stat : 235398 (roundingsat) R 235395 235398 228025 0 -1 4194304 1833962 0 1 0 303011 6447 0 0 20 0 1 0 19046485 6017658880 1229585 134679101440 4194304 8254037 140733260045168 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15560704 140733260047200 140733260047462 140733260047462 140733260054473 0
/proc/235398/statm: 1469155 1229585 1887 992 0 1461013 0
Current children cumulated CPU time: 3094.58 s
Current children cumulated vsize: 5876620 KiB
Current children cumulated memory: 4918340 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/257 237360
/proc/meminfo: memFree=93547648/131524600 swapFree=131069412/131071996
[pid=235398] ppid=235395 vsize=5882896 memory=5029220 CPUtime=3154.45 cores=1,3
/proc/235398/stat : 235398 (roundingsat) R 235395 235398 228025 0 -1 4194304 1841850 0 1 0 308815 6630 0 0 20 0 1 0 19046485 6024085504 1257305 134679101440 4194304 8254037 140733260045168 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15560704 140733260047200 140733260047462 140733260047462 140733260054473 0
/proc/235398/statm: 1470724 1257305 1887 992 0 1462582 0
Current children cumulated CPU time: 3154.45 s
Current children cumulated vsize: 5882896 KiB
Current children cumulated memory: 5029220 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.14 4.14 5/257 237371
/proc/meminfo: memFree=90499440/131524600 swapFree=131069412/131071996
[pid=235398] ppid=235395 vsize=9043976 memory=7794876 CPUtime=3214.32 cores=1,3
/proc/235398/stat : 235398 (roundingsat) R 235395 235398 228025 0 -1 4194304 2245805 0 1 0 314721 6711 0 0 20 0 1 0 19046485 9261031424 1948719 134679101440 4194304 8254037 140733260045168 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15560704 140733260047200 140733260047462 140733260047462 140733260054473 0
/proc/235398/statm: 2260994 1948719 1887 992 0 2252852 0
Current children cumulated CPU time: 3214.32 s
Current children cumulated vsize: 9043976 KiB
Current children cumulated memory: 7794876 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.14 4.14 5/259 237386
/proc/meminfo: memFree=87802916/131524600 swapFree=131069412/131071996
[pid=235398] ppid=235395 vsize=10864452 memory=10256684 CPUtime=3274.18 cores=1,3
/proc/235398/stat : 235398 (roundingsat) R 235395 235398 228025 0 -1 4194304 2594390 0 1 0 320633 6785 0 0 20 0 1 0 19046485 11125198848 2564171 134679101440 4194304 8254037 140733260045168 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15560704 140733260047200 140733260047462 140733260047462 140733260054473 0
/proc/235398/statm: 2716113 2564171 1887 992 0 2707971 0
Current children cumulated CPU time: 3274.18 s
Current children cumulated vsize: 10864452 KiB
Current children cumulated memory: 10256684 KiB

[startup+3342.3 s]
/proc/loadavg: 4.30 4.19 4.16 5/258 237397
/proc/meminfo: memFree=84613652/131524600 swapFree=131069412/131071996
[pid=235398] ppid=235395 vsize=15022628 memory=13081580 CPUtime=3334.04 cores=1,3
/proc/235398/stat : 235398 (roundingsat) R 235395 235398 228025 0 -1 4194304 3029484 0 1 0 326518 6886 0 0 20 0 1 0 19046485 15383171072 3270395 134679101440 4194304 8254037 140733260045168 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15560704 140733260047200 140733260047462 140733260047462 140733260054473 0
/proc/235398/statm: 3755657 3270395 1887 992 0 3747515 0
Current children cumulated CPU time: 3334.04 s
Current children cumulated vsize: 15022628 KiB
Current children cumulated memory: 13081580 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.17 4.15 5/258 237407
/proc/meminfo: memFree=82906720/131524600 swapFree=131069412/131071996
[pid=235398] ppid=235395 vsize=15246972 memory=14347952 CPUtime=3393.91 cores=1,3
/proc/235398/stat : 235398 (roundingsat) R 235395 235398 228025 0 -1 4194304 3183723 0 1 0 332459 6932 0 0 20 0 1 0 19046485 15612899328 3586988 134679101440 4194304 8254037 140733260045168 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15560704 140733260047200 140733260047462 140733260047462 140733260054473 0
/proc/235398/statm: 3811743 3586988 1887 992 0 3803601 0
Current children cumulated CPU time: 3393.91 s
Current children cumulated vsize: 15246972 KiB
Current children cumulated memory: 14347952 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.17 4.15 5/258 237419
/proc/meminfo: memFree=81250868/131524600 swapFree=131069412/131071996
[pid=235398] ppid=235395 vsize=15323860 memory=14656528 CPUtime=3453.77 cores=1,3
/proc/235398/stat : 235398 (roundingsat) R 235395 235398 228025 0 -1 4194304 3262690 0 1 0 338281 7096 0 0 20 0 1 0 19046485 15691632640 3664132 134679101440 4194304 8254037 140733260045168 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15560704 140733260047200 140733260047462 140733260047462 140733260054473 0
/proc/235398/statm: 3830965 3664132 1887 992 0 3822823 0
Current children cumulated CPU time: 3453.77 s
Current children cumulated vsize: 15323860 KiB
Current children cumulated memory: 14656528 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.15 4.14 5/259 237430
/proc/meminfo: memFree=78494820/131524600 swapFree=131069412/131071996
[pid=235398] ppid=235395 vsize=15391496 memory=14773616 CPUtime=3513.63 cores=1,3
/proc/235398/stat : 235398 (roundingsat) R 235395 235398 228025 0 -1 4194304 3295168 0 1 0 344057 7306 0 0 20 0 1 0 19046485 15760891904 3693404 134679101440 4194304 8254037 140733260045168 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15560704 140733260047200 140733260047462 140733260047462 140733260054473 0
/proc/235398/statm: 3847874 3693404 1887 992 0 3839732 0
Current children cumulated CPU time: 3513.63 s
Current children cumulated vsize: 15391496 KiB
Current children cumulated memory: 14773616 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.14 4.14 5/259 237440
/proc/meminfo: memFree=77649532/131524600 swapFree=131069412/131071996
[pid=235398] ppid=235395 vsize=15403732 memory=14775120 CPUtime=3573.5 cores=1,3
/proc/235398/stat : 235398 (roundingsat) R 235395 235398 228025 0 -1 4194304 3296082 0 1 0 350035 7315 0 0 20 0 1 0 19046485 15773421568 3693780 134679101440 4194304 8254037 140733260045168 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15560704 140733260047200 140733260047462 140733260047462 140733260054473 0
/proc/235398/statm: 3850933 3693780 1887 992 0 3842791 0
Current children cumulated CPU time: 3573.5 s
Current children cumulated vsize: 15403732 KiB
Current children cumulated memory: 14775120 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.9 s]
/proc/loadavg: 4.13 4.14 4.14 5/257 237448
/proc/meminfo: memFree=77525524/131524600 swapFree=131069412/131071996
[pid=235398] ppid=235395 vsize=15403732 memory=14775568 CPUtime=3600.04 cores=1,3
/proc/235398/stat : 235398 (roundingsat) R 235395 235398 228025 0 -1 4194304 3296485 0 1 0 352684 7320 0 0 20 0 1 0 19046485 15773421568 3693892 134679101440 4194304 8254037 140733260045168 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15560704 140733260047200 140733260047462 140733260047462 140733260054473 0
/proc/235398/statm: 3850933 3693892 1887 992 0 3842791 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 15403732 KiB
Current children cumulated memory: 14775568 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+3611.22 s]
# the end of solver process 235398 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3528.83 s, system=73.5275 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3609.6 s]
/proc/loadavg: 4.12 4.14 4.14 5/257 237448
/proc/meminfo: memFree=77520044/131524600 swapFree=131069412/131071996
[pid=235398] ppid=235395 vsize=15403732 memory=14775568 CPUtime=3600.74 cores=1,3
/proc/235398/stat : 235398 (roundingsat) R 235395 235398 228025 0 -1 4194304 3296488 0 1 0 352754 7320 0 0 20 0 1 0 19046485 15773421568 3693892 134679101440 4194304 8254037 140733260045168 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15560704 140733260047200 140733260047462 140733260047462 140733260054473 0
/proc/235398/statm: 3850933 3693892 1887 992 0 3842791 0
Current children cumulated CPU time: 3600.74 s
Current children cumulated vsize: 15403732 KiB
Current children cumulated memory: 14775568 KiB

[startup+3610.4 s]
/proc/loadavg: 4.12 4.14 4.14 5/257 237448
/proc/meminfo: memFree=77517944/131524600 swapFree=131069412/131071996
[pid=235398] ppid=235395 vsize=15403732 memory=14775568 CPUtime=3601.54 cores=1,3
/proc/235398/stat : 235398 (roundingsat) R 235395 235398 228025 0 -1 4194304 3296490 0 1 0 352833 7321 0 0 20 0 1 0 19046485 15773421568 3693892 134679101440 4194304 8254037 140733260045168 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15560704 140733260047200 140733260047462 140733260047462 140733260054473 0
/proc/235398/statm: 3850933 3693892 1887 992 0 3842791 0
Current children cumulated CPU time: 3601.54 s
Current children cumulated vsize: 15403732 KiB
Current children cumulated memory: 14775568 KiB

[startup+3610.8 s]
/proc/loadavg: 4.12 4.14 4.14 5/257 237448
/proc/meminfo: memFree=77517944/131524600 swapFree=131069412/131071996
[pid=235398] ppid=235395 vsize=15403732 memory=14775568 CPUtime=3601.94 cores=1,3
/proc/235398/stat : 235398 (roundingsat) R 235395 235398 228025 0 -1 4194304 3296490 0 1 0 352873 7321 0 0 20 0 1 0 19046485 15773421568 3693892 134679101440 4194304 8254037 140733260045168 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15560704 140733260047200 140733260047462 140733260047462 140733260054473 0
/proc/235398/statm: 3850933 3693892 1887 992 0 3842791 0
Current children cumulated CPU time: 3601.94 s
Current children cumulated vsize: 15403732 KiB
Current children cumulated memory: 14775568 KiB

[startup+3610.9 s]
/proc/loadavg: 4.12 4.14 4.14 5/257 237448
/proc/meminfo: memFree=77517944/131524600 swapFree=131069412/131071996
[pid=235398] ppid=235395 vsize=15403732 memory=14775568 CPUtime=3602.04 cores=1,3
/proc/235398/stat : 235398 (roundingsat) R 235395 235398 228025 0 -1 4194304 3296490 0 1 0 352883 7321 0 0 20 0 1 0 19046485 15773421568 3693892 134679101440 4194304 8254037 140733260045168 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15560704 140733260047200 140733260047462 140733260047462 140733260054473 0
/proc/235398/statm: 3850933 3693892 1887 992 0 3842791 0
Current children cumulated CPU time: 3602.04 s
Current children cumulated vsize: 15403732 KiB
Current children cumulated memory: 14775568 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3611.22
CPU time (s): 3602.36
CPU user time (s): 3528.83
CPU system time (s): 73.5275
CPU usage (%): 99.7548
Max. virtual memory (cumulated for all children) (KiB): 15403732
Max. memory (cumulated for all children) (KiB): 14775568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3528.83
system time used= 73.5275
maximum resident set size= 14775568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3296490
page faults= 1
swaps= 0
block input operations= 96
block output operations= 43279328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55
involuntary context switches= 3596


# summary of solver processes directly reported to runsolver:
#   pid: 235398
#   total CPU time (s): 3602.36
#   total CPU user time (s): 3528.83
#   total CPU system time (s): 73.5275

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.95346 second user time and 16.424 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-24 14:46:22
IDJOB=4457143
IDBENCH=157490
IDSOLVER=3085
FILE ID=nodeC018/4457143-1721825182
RUNJOBID= nodeC018-1721817186-228037
SLURM_JOB_ID= 7816872
Free space on /tmp= 890004 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_unif_0null10mast_rapportOE1.0_TMAX15_K192_cod1.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457143-1721825182/watcher-4457143-1721825182 -o /tmp/evaluation-result-4457143-1721825182/solver-4457143-1721825182 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721817186-228037 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457143-1721825182 --lp-cut-gomory=0 HOME/instance-4457143-1721825182.opb

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

MD5SUM BENCH= a5274e1c72a2d92e948354f429ab410b
RANDOM SEED=1886964621

nodeC018.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		: 3670.883
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.43
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		: 3655.975
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        14030140 kB
MemAvailable:   118102664 kB
Buffers:          248768 kB
Cached:         104434424 kB
SwapCached:           44 kB
Active:          2465736 kB
Inactive:       113994416 kB
Active(anon):       2000 kB
Inactive(anon): 11828780 kB
Active(file):    2463736 kB
Inactive(file): 102165636 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131069412 kB
Dirty:           1023840 kB
Writeback:             0 kB
AnonPages:      11775960 kB
Mapped:           120632 kB
Shmem:             53772 kB
KReclaimable:     504560 kB
Slab:             660704 kB
SReclaimable:     504560 kB
SUnreclaim:       156144 kB
KernelStack:        4240 kB
PageTables:        32900 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   13571640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17152 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4337664 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:      375508 kB
DirectMap2M:    43438080 kB
DirectMap1G:    92274688 kB

Free space on /tmp at the end= 890028 MiB
End job on nodeC018 at 2024-07-24 15:46:33